0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
1.16/1.28	c #variables 126385 #constraints 290547
1.16/1.28	c objective is ce32 
1.37/1.50	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
1.37/1.50	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
1.37/1.50	c GLOBAL bounds - >= -35 @ 1.08272
1.57/1.63	c GLOBAL bounds - >= -35 @ 1.13418
1.67/1.74	c GLOBAL bounds - >= -35 @ 1.20242
1.77/1.86	c GLOBAL bounds - >= -35 @ 1.26913
1.87/1.97	c GLOBAL bounds - >= -35 @ 1.33172
1.97/2.10	c GLOBAL bounds - >= -35 @ 1.41562
2.17/2.24	c GLOBAL bounds - >= -35 @ 1.50532
2.27/2.35	c GLOBAL bounds - >= -35 @ 1.56726
2.36/2.48	c GLOBAL bounds - >= -35 @ 1.6511
2.57/2.60	c GLOBAL bounds - >= -35 @ 1.71199
2.66/2.79	c GLOBAL bounds - >= -35 @ 1.84662
2.87/2.93	c GLOBAL bounds - >= -35 @ 1.93742
3.07/3.12	c GLOBAL bounds - >= -35 @ 2.07414
3.26/3.36	c GLOBAL bounds - >= -35 @ 2.2433
3.66/3.75	c GLOBAL bounds - >= -35 @ 2.56129
4.46/4.54	c GLOBAL bounds - >= 32543 @ 3.32336
6.76/6.88	c GLOBAL bounds - >= 32543 @ 5.59083
6.96/7.01	c GLOBAL bounds - >= 32543 @ 5.65404
6.96/7.03	c GLOBAL bounds - >= 32543 @ 5.66678
7.06/7.17	c GLOBAL bounds - >= 32543 @ 5.73287
7.15/7.20	c GLOBAL bounds - >= 32543 @ 5.74832
7.26/7.34	c GLOBAL bounds - >= 32543 @ 5.80276
7.26/7.36	c GLOBAL bounds - >= 32543 @ 5.81712
7.35/7.49	c GLOBAL bounds - >= 32543 @ 5.88137
7.46/7.53	c GLOBAL bounds - >= 32543 @ 5.90899
7.56/7.69	c GLOBAL bounds - >= 32543 @ 5.97938
7.66/7.73	c GLOBAL bounds - >= 32543 @ 6.00597
7.75/7.83	c GLOBAL bounds - >= 32543 @ 6.0635
7.75/7.87	c GLOBAL bounds - >= 32543 @ 6.089
7.85/7.98	c GLOBAL bounds - >= 32543 @ 6.14664
7.95/8.02	c GLOBAL bounds - >= 32543 @ 6.17563
8.06/8.13	c GLOBAL bounds - >= 32543 @ 6.22984
8.06/8.17	c GLOBAL bounds - >= 32543 @ 6.26168
8.15/8.27	c GLOBAL bounds - >= 32543 @ 6.31366
8.25/8.31	c GLOBAL bounds - >= 32543 @ 6.34312
8.35/8.41	c GLOBAL bounds - >= 32543 @ 6.39869
8.45/8.51	c GLOBAL bounds - >= 32543 @ 6.44939
8.56/8.61	c GLOBAL bounds - >= 32543 @ 6.49829
8.66/8.72	c GLOBAL bounds - >= 32543 @ 6.54819
8.75/8.82	c GLOBAL bounds - >= 32543 @ 6.59894
8.85/8.93	c GLOBAL bounds - >= 32543 @ 6.64789
9.25/9.32	c GLOBAL bounds - >= 32543 @ 6.99209
9.36/9.44	c GLOBAL bounds - >= 32543 @ 7.0667
9.45/9.60	c GLOBAL bounds - >= 32543 @ 7.16955
9.65/9.77	c GLOBAL bounds - >= 32543 @ 7.26949
9.95/10.04	c GLOBAL bounds - >= 32543 @ 7.44209
10.85/10.91	c GLOBAL bounds - >= 42873 @ 8.28429
10.85/10.94	c GLOBAL bounds - >= 42873 @ 8.3182
10.95/11.09	c GLOBAL bounds - >= 42873 @ 8.37593
10.95/11.09	c GLOBAL bounds - >= 42873 @ 8.37848
11.15/11.24	c GLOBAL bounds - >= 42873 @ 8.4547
11.15/11.24	c GLOBAL bounds - >= 42873 @ 8.45714
11.24/11.38	c GLOBAL bounds - >= 42873 @ 8.52757
11.24/11.40	c GLOBAL bounds - >= 42873 @ 8.53427
11.44/11.53	c GLOBAL bounds - >= 42873 @ 8.61099
11.44/11.53	c GLOBAL bounds - >= 42873 @ 8.61259
11.55/11.67	c GLOBAL bounds - >= 42873 @ 8.68526
11.55/11.67	c GLOBAL bounds - >= 42873 @ 8.68726
11.65/11.78	c GLOBAL bounds - >= 42873 @ 8.74914
11.65/11.78	c GLOBAL bounds - >= 42873 @ 8.7534
11.75/11.88	c GLOBAL bounds - >= 42873 @ 8.79729
11.75/11.88	c GLOBAL bounds - >= 42873 @ 8.8009
11.85/11.99	c GLOBAL bounds - >= 42873 @ 8.86691
11.85/11.99	c GLOBAL bounds - >= 42873 @ 8.87229
11.95/12.09	c GLOBAL bounds - >= 42873 @ 8.91535
11.95/12.09	c GLOBAL bounds - >= 42873 @ 8.92002
12.15/12.20	c GLOBAL bounds - >= 42873 @ 8.9757
12.24/12.32	c GLOBAL bounds - >= 42873 @ 9.04663
12.54/12.62	c GLOBAL bounds - >= 42873 @ 9.29898
12.65/12.75	c GLOBAL bounds - >= 42873 @ 9.37034
12.75/12.87	c GLOBAL bounds - >= 42873 @ 9.43299
13.24/13.30	c GLOBAL bounds - >= 42873 @ 9.81471
13.35/13.44	c GLOBAL bounds - >= 42873 @ 9.89454
14.54/14.61	c GLOBAL bounds - >= 42873 @ 10.985
16.04/16.15	c GLOBAL bounds - >= 42873 @ 12.4044
16.33/16.45	c GLOBAL bounds - >= 42873 @ 12.6284
16.63/16.74	c GLOBAL bounds - >= 42873 @ 12.8504
16.84/16.96	c GLOBAL bounds - >= 42873 @ 13.0039
16.84/16.97	c GLOBAL bounds - >= 42873 @ 13.0125
16.94/17.02	c GLOBAL bounds - >= 42873 @ 13.0501
16.94/17.04	c GLOBAL bounds - >= 42873 @ 13.0634
17.14/17.20	c GLOBAL bounds - >= 42873 @ 13.1417
17.14/17.24	c GLOBAL bounds - >= 42873 @ 13.1697
17.23/17.39	c GLOBAL bounds - >= 42873 @ 13.2482
17.33/17.43	c GLOBAL bounds - >= 42873 @ 13.2767
17.44/17.55	c GLOBAL bounds - >= 42873 @ 13.3472
17.44/17.59	c GLOBAL bounds - >= 42873 @ 13.3812
17.63/17.71	c GLOBAL bounds - >= 42873 @ 13.4314
17.63/17.75	c GLOBAL bounds - >= 42873 @ 13.4646
17.73/17.88	c GLOBAL bounds - >= 42873 @ 13.5289
17.83/17.91	c GLOBAL bounds - >= 42873 @ 13.5567
17.94/18.03	c GLOBAL bounds - >= 42873 @ 13.6168
17.94/18.07	c GLOBAL bounds - >= 42873 @ 13.6466
18.04/18.19	c GLOBAL bounds - >= 42873 @ 13.7095
18.13/18.23	c GLOBAL bounds - >= 42873 @ 13.7395
18.24/18.35	c GLOBAL bounds - >= 42873 @ 13.7977
18.24/18.39	c GLOBAL bounds - >= 42873 @ 13.8333
18.43/18.50	c GLOBAL bounds - >= 42873 @ 13.886
18.43/18.54	c GLOBAL bounds - >= 42873 @ 13.9176
18.53/18.65	c GLOBAL bounds - >= 42873 @ 13.9739
18.63/18.76	c GLOBAL bounds - >= 42873 @ 14.0285
18.73/18.88	c GLOBAL bounds - >= 42873 @ 14.0976
18.93/19.01	c GLOBAL bounds - >= 42873 @ 14.1666
19.03/19.14	c GLOBAL bounds - >= 42873 @ 14.2369
19.13/19.25	c GLOBAL bounds - >= 42873 @ 14.292
19.23/19.35	c GLOBAL bounds - >= 42873 @ 14.3556
19.32/19.49	c GLOBAL bounds - >= 42873 @ 14.4398
19.53/19.62	c GLOBAL bounds - >= 42873 @ 14.5142
19.73/19.83	c GLOBAL bounds - >= 42873 @ 14.6619
19.82/19.96	c GLOBAL bounds - >= 42873 @ 14.736
20.22/20.32	c GLOBAL bounds - >= 42873 @ 15.0522
20.33/20.45	c GLOBAL bounds - >= 42873 @ 15.1291
20.53/20.69	c GLOBAL bounds - >= 42873 @ 15.3047
20.73/20.85	c GLOBAL bounds - >= 42873 @ 15.4125
21.43/21.53	c GLOBAL bounds - >= 42873 @ 16.0358
21.63/21.78	c GLOBAL bounds - >= 42873 @ 16.2367
22.03/22.12	c GLOBAL bounds - >= 42873 @ 16.5018
23.31/23.44	c GLOBAL bounds - >= 42873 @ 17.731
23.51/23.60	c GLOBAL bounds - >= 42873 @ 17.8307
23.82/23.92	c GLOBAL bounds - >= 125337 @ 18.1366
23.93/24.01	c GLOBAL bounds - >= 125337 @ 18.2146
24.02/24.15	c GLOBAL bounds - >= 125337 @ 18.278
24.02/24.16	c GLOBAL bounds - >= 125337 @ 18.2885
24.12/24.28	c GLOBAL bounds - >= 125337 @ 18.3492
24.21/24.30	c GLOBAL bounds - >= 125337 @ 18.3678
24.32/24.44	c GLOBAL bounds - >= 125337 @ 18.4281
24.32/24.47	c GLOBAL bounds - >= 125337 @ 18.4517
24.52/24.60	c GLOBAL bounds - >= 125337 @ 18.5149
24.52/24.64	c GLOBAL bounds - >= 125337 @ 18.5465
24.61/24.76	c GLOBAL bounds - >= 125337 @ 18.6146
24.72/24.80	c GLOBAL bounds - >= 125337 @ 18.6382
24.82/24.92	c GLOBAL bounds - >= 125337 @ 18.6971
24.82/24.94	c GLOBAL bounds - >= 125337 @ 18.7125
24.92/25.04	c GLOBAL bounds - >= 125337 @ 18.7604
24.92/25.06	c GLOBAL bounds - >= 125337 @ 18.7776
25.02/25.18	c GLOBAL bounds - >= 125337 @ 18.8392
25.11/25.21	c GLOBAL bounds - >= 125337 @ 18.8596
25.22/25.33	c GLOBAL bounds - >= 125337 @ 18.918
25.22/25.36	c GLOBAL bounds - >= 125337 @ 18.9454
25.32/25.48	c GLOBAL bounds - >= 125337 @ 19.0033
25.42/25.59	c GLOBAL bounds - >= 125337 @ 19.0643
25.81/25.90	c GLOBAL bounds - >= 125337 @ 19.3211
25.92/26.03	c GLOBAL bounds - >= 125337 @ 19.393
26.11/26.29	c GLOBAL bounds - >= 125337 @ 19.5856
26.51/26.64	c GLOBAL bounds - >= 125337 @ 19.8707
26.81/26.90	c GLOBAL bounds - >= 125337 @ 20.0852
27.21/27.35	c GLOBAL bounds - >= 125337 @ 20.4764
27.41/27.57	c GLOBAL bounds - >= 125337 @ 20.6348
28.31/28.49	c GLOBAL bounds - >= 125337 @ 21.4631
28.51/28.63	c GLOBAL bounds - >= 125337 @ 21.5419
29.60/29.71	c GLOBAL bounds - >= 125337 @ 22.546
29.70/29.87	c GLOBAL bounds - >= 125337 @ 22.6301
29.91/30.09	c GLOBAL bounds - >= 125337 @ 22.7869
31.80/31.93	c GLOBAL bounds - >= 216358 @ 24.5846
31.90/32.06	c GLOBAL bounds - >= 216358 @ 24.7064
32.01/32.19	c GLOBAL bounds - >= 216358 @ 24.7694
32.10/32.22	c GLOBAL bounds - >= 216358 @ 24.795
32.20/32.36	c GLOBAL bounds - >= 216358 @ 24.8608
32.30/32.40	c GLOBAL bounds - >= 216358 @ 24.8875
32.40/32.53	c GLOBAL bounds - >= 216358 @ 24.956
32.40/32.57	c GLOBAL bounds - >= 216358 @ 24.9849
32.49/32.69	c GLOBAL bounds - >= 216358 @ 25.0404
32.60/32.73	c GLOBAL bounds - >= 216358 @ 25.07
32.69/32.84	c GLOBAL bounds - >= 216358 @ 25.1181
32.69/32.88	c GLOBAL bounds - >= 216358 @ 25.1445
32.80/32.99	c GLOBAL bounds - >= 216358 @ 25.189
32.90/33.03	c GLOBAL bounds - >= 216358 @ 25.2176
33.00/33.13	c GLOBAL bounds - >= 216358 @ 25.2597
33.00/33.18	c GLOBAL bounds - >= 216358 @ 25.2931
33.10/33.29	c GLOBAL bounds - >= 216358 @ 25.3596
33.20/33.34	c GLOBAL bounds - >= 216358 @ 25.3884
33.30/33.44	c GLOBAL bounds - >= 216358 @ 25.4411
33.30/33.48	c GLOBAL bounds - >= 216358 @ 25.4685
33.40/33.59	c GLOBAL bounds - >= 216358 @ 25.5186
33.59/33.76	c GLOBAL bounds - >= 216358 @ 25.6288
33.90/34.02	c GLOBAL bounds - >= 216358 @ 25.8315
34.09/34.23	c GLOBAL bounds - >= 216358 @ 25.9881
34.29/34.44	c GLOBAL bounds - >= 216358 @ 26.1308
34.50/34.60	c GLOBAL bounds - >= 216358 @ 26.233
34.60/34.74	c GLOBAL bounds - >= 216358 @ 26.3164
34.80/34.99	c GLOBAL bounds - >= 216358 @ 26.5147
35.09/35.24	c GLOBAL bounds - >= 216358 @ 26.6976
35.29/35.42	c GLOBAL bounds - >= 216358 @ 26.8276
35.79/35.91	c GLOBAL bounds - >= 216358 @ 27.252
36.00/36.19	c GLOBAL bounds - >= 216358 @ 27.4792
36.29/36.48	c GLOBAL bounds - >= 216358 @ 27.7079
36.49/36.61	c GLOBAL bounds - >= 216358 @ 27.7708
36.59/36.74	c GLOBAL bounds - >= 216358 @ 27.8456
37.59/37.76	c GLOBAL bounds - >= 216358 @ 28.7864
42.58/42.71	c #Conflicts:       1000 | #Constraints:    1400058
42.58/42.71	c GLOBAL bounds - >= 282614 @ 33.6622
42.68/42.81	c GLOBAL bounds - >= 282614 @ 33.7553
42.68/42.85	c GLOBAL bounds - >= 282614 @ 33.7829
43.27/43.47	c GLOBAL bounds - >= 282614 @ 34.3166
43.37/43.51	c GLOBAL bounds - >= 282614 @ 34.3485
43.47/43.64	c GLOBAL bounds - >= 282614 @ 34.4175
43.47/43.68	c GLOBAL bounds - >= 282614 @ 34.4491
43.68/43.81	c GLOBAL bounds - >= 282614 @ 34.5221
43.68/43.86	c GLOBAL bounds - >= 282614 @ 34.557
43.77/43.98	c GLOBAL bounds - >= 282614 @ 34.6229
43.87/44.02	c GLOBAL bounds - >= 282614 @ 34.6532
43.98/44.14	c GLOBAL bounds - >= 282614 @ 34.7167
43.98/44.19	c GLOBAL bounds - >= 282614 @ 34.745
44.17/44.31	c GLOBAL bounds - >= 282614 @ 34.8005
44.17/44.35	c GLOBAL bounds - >= 282614 @ 34.8285
44.27/44.47	c GLOBAL bounds - >= 282614 @ 34.8915
44.37/44.51	c GLOBAL bounds - >= 282614 @ 34.9225
44.47/44.62	c GLOBAL bounds - >= 282614 @ 34.9732
44.47/44.65	c GLOBAL bounds - >= 282614 @ 34.9976
44.57/44.76	c GLOBAL bounds - >= 282614 @ 35.0359
44.67/44.80	c GLOBAL bounds - >= 282614 @ 35.0687
44.77/44.95	c GLOBAL bounds - >= 282614 @ 35.1526
44.88/45.08	c GLOBAL bounds - >= 282614 @ 35.227
45.07/45.25	c GLOBAL bounds - >= 282614 @ 35.3422
45.16/45.38	c GLOBAL bounds - >= 282614 @ 35.4161
45.47/45.67	c GLOBAL bounds - >= 282614 @ 35.6136
45.67/45.86	c GLOBAL bounds - >= 282614 @ 35.7393
45.97/46.13	c GLOBAL bounds - >= 282614 @ 35.9468
46.07/46.29	c GLOBAL bounds - >= 282614 @ 36.0616
46.26/46.45	c GLOBAL bounds - >= 282614 @ 36.1679
46.37/46.60	c GLOBAL bounds - >= 282614 @ 36.2559
46.56/46.74	c GLOBAL bounds - >= 282614 @ 36.3449
46.77/46.95	c GLOBAL bounds - >= 282614 @ 36.4991
49.87/50.00	c GLOBAL bounds - >= 282614 @ 39.4716
50.16/50.34	c GLOBAL bounds - >= 282614 @ 39.7423
59.23/59.43	c GLOBAL bounds - >= 303071 @ 48.7407
59.33/59.58	c GLOBAL bounds - >= 303071 @ 48.8722
59.44/59.62	c GLOBAL bounds - >= 303071 @ 48.8991
59.44/59.66	c GLOBAL bounds - >= 303071 @ 48.9235
59.53/59.80	c GLOBAL bounds - >= 303071 @ 48.9943
59.63/59.83	c GLOBAL bounds - >= 303071 @ 49.0239
59.73/59.97	c GLOBAL bounds - >= 303071 @ 49.1009
59.84/60.01	c GLOBAL bounds - >= 303071 @ 49.1304
59.94/60.14	c GLOBAL bounds - >= 303071 @ 49.1994
59.94/60.18	c GLOBAL bounds - >= 303071 @ 49.2263
60.13/60.30	c GLOBAL bounds - >= 303071 @ 49.2882
60.13/60.34	c GLOBAL bounds - >= 303071 @ 49.3158
60.23/60.46	c GLOBAL bounds - >= 303071 @ 49.3741
60.33/60.50	c GLOBAL bounds - >= 303071 @ 49.4091
60.43/60.62	c GLOBAL bounds - >= 303071 @ 49.4702
60.43/60.66	c GLOBAL bounds - >= 303071 @ 49.4989
60.53/60.78	c GLOBAL bounds - >= 303071 @ 49.5599
60.63/60.82	c GLOBAL bounds - >= 303071 @ 49.5872
60.74/60.94	c GLOBAL bounds - >= 303071 @ 49.6433
60.74/60.98	c GLOBAL bounds - >= 303071 @ 49.6717
60.83/61.09	c GLOBAL bounds - >= 303071 @ 49.7282
60.94/61.13	c GLOBAL bounds - >= 303071 @ 49.7586
61.03/61.25	c GLOBAL bounds - >= 303071 @ 49.8234
61.23/61.42	c GLOBAL bounds - >= 303071 @ 49.9315
61.33/61.59	c GLOBAL bounds - >= 303071 @ 50.0465
61.53/61.74	c GLOBAL bounds - >= 303071 @ 50.1323
61.63/61.88	c GLOBAL bounds - >= 303071 @ 50.2212
62.12/62.38	c GLOBAL bounds - >= 303071 @ 50.6534
62.33/62.53	c GLOBAL bounds - >= 303071 @ 50.746
65.42/65.69	c GLOBAL bounds - >= 303071 @ 53.8082
66.01/66.20	c GLOBAL bounds - >= 303071 @ 54.2521
70.61/70.86	c GLOBAL bounds - >= 314710 @ 58.855
70.71/70.96	c GLOBAL bounds - >= 314710 @ 58.9482
70.81/71.08	c GLOBAL bounds - >= 314710 @ 59.0071
70.91/71.11	c GLOBAL bounds - >= 314710 @ 59.0286
71.01/71.23	c GLOBAL bounds - >= 314710 @ 59.095
71.01/71.26	c GLOBAL bounds - >= 314710 @ 59.1156
71.10/71.37	c GLOBAL bounds - >= 314710 @ 59.1776
71.20/71.40	c GLOBAL bounds - >= 314710 @ 59.1992
71.30/71.51	c GLOBAL bounds - >= 314710 @ 59.261
71.30/71.54	c GLOBAL bounds - >= 314710 @ 59.2837
71.40/71.65	c GLOBAL bounds - >= 314710 @ 59.3366
71.40/71.68	c GLOBAL bounds - >= 314710 @ 59.3564
71.50/71.79	c GLOBAL bounds - >= 314710 @ 59.4211
71.61/71.84	c GLOBAL bounds - >= 314710 @ 59.4567
71.70/71.96	c GLOBAL bounds - >= 314710 @ 59.5179
71.70/71.99	c GLOBAL bounds - >= 314710 @ 59.5394
71.91/72.10	c GLOBAL bounds - >= 314710 @ 59.6026
71.91/72.13	c GLOBAL bounds - >= 314710 @ 59.6242
72.00/72.25	c GLOBAL bounds - >= 314710 @ 59.6822
72.00/72.28	c GLOBAL bounds - >= 314710 @ 59.7045
72.10/72.38	c GLOBAL bounds - >= 314710 @ 59.7514
72.50/72.76	c GLOBAL bounds - >= 314710 @ 60.0793
72.81/73.00	c GLOBAL bounds - >= 314710 @ 60.257
72.91/73.19	c GLOBAL bounds - >= 314710 @ 60.3794
73.10/73.32	c GLOBAL bounds - >= 314710 @ 60.4583
73.20/73.44	c GLOBAL bounds - >= 314710 @ 60.5353
73.39/73.60	c GLOBAL bounds - >= 314710 @ 60.6314
73.50/73.73	c GLOBAL bounds - >= 314710 @ 60.71
73.60/73.85	c GLOBAL bounds - >= 314710 @ 60.7867
74.00/74.28	c GLOBAL bounds - >= 314710 @ 61.1529
77.29/77.54	c #Conflicts:       2000 | #Constraints:    1651582
77.29/77.54	c INPROCESSING
77.29/77.54	c GARBAGE COLLECT
77.29/77.54	c GLOBAL bounds - >= 314710 @ 64.3314
77.59/77.85	c GLOBAL bounds - >= 314710 @ 64.5862
77.98/78.28	c GLOBAL bounds - >= 314710 @ 64.9673
78.80/79.10	c GLOBAL bounds - >= 314710 @ 65.7283
79.29/79.53	c GLOBAL bounds - >= 314710 @ 66.1035
79.49/79.74	c GLOBAL bounds - >= 314710 @ 66.2519
79.68/79.97	c GLOBAL bounds - >= 314710 @ 66.4186
82.28/82.54	c GLOBAL bounds - >= 314710 @ 68.9194
87.46/87.76	c GLOBAL bounds - >= 314710 @ 74.0696
88.26/88.50	c GLOBAL bounds - >= 314710 @ 74.7517
89.26/89.54	c GLOBAL bounds - >= 314710 @ 75.7239
97.84/98.13	c GLOBAL bounds - >= 337286 @ 84.29
97.94/98.21	c GLOBAL bounds - >= 337286 @ 84.3547
97.94/98.24	c GLOBAL bounds - >= 337286 @ 84.3782
97.94/98.24	c GLOBAL bounds - >= 337286 @ 84.3809
98.04/98.39	c GLOBAL bounds - >= 337286 @ 84.4631
98.14/98.43	c GLOBAL bounds - >= 337286 @ 84.4947
98.43/98.76	c GLOBAL bounds - >= 337286 @ 84.7623
98.53/98.80	c GLOBAL bounds - >= 337286 @ 84.7902
98.64/98.96	c GLOBAL bounds - >= 337286 @ 84.901
98.74/99.00	c GLOBAL bounds - >= 337286 @ 84.9331
98.84/99.14	c GLOBAL bounds - >= 337286 @ 85.0067
98.84/99.18	c GLOBAL bounds - >= 337286 @ 85.0325
99.03/99.30	c GLOBAL bounds - >= 337286 @ 85.0912
99.03/99.34	c GLOBAL bounds - >= 337286 @ 85.1218
99.14/99.48	c GLOBAL bounds - >= 337286 @ 85.2017
99.23/99.52	c GLOBAL bounds - >= 337286 @ 85.2299
99.33/99.64	c GLOBAL bounds - >= 337286 @ 85.287
99.33/99.68	c GLOBAL bounds - >= 337286 @ 85.3128
99.53/99.80	c GLOBAL bounds - >= 337286 @ 85.377
99.53/99.84	c GLOBAL bounds - >= 337286 @ 85.4029
99.63/99.96	c GLOBAL bounds - >= 337286 @ 85.4707
99.63/100.00	c GLOBAL bounds - >= 337286 @ 85.5033
99.83/100.10	c GLOBAL bounds - >= 337286 @ 85.5503
99.93/100.24	c GLOBAL bounds - >= 337286 @ 85.6234
100.03/100.38	c GLOBAL bounds - >= 337286 @ 85.7047
100.24/100.57	c GLOBAL bounds - >= 337286 @ 85.8349
100.43/100.73	c GLOBAL bounds - >= 337286 @ 85.9367
100.63/100.93	c GLOBAL bounds - >= 337286 @ 86.0722
101.13/101.42	c GLOBAL bounds - >= 337286 @ 86.5082
108.91/109.22	c #Conflicts:       3000 | #Constraints:    1847110
108.91/109.22	c GLOBAL bounds - >= 346233 @ 94.2556
109.01/109.31	c GLOBAL bounds - >= 346233 @ 94.3389
109.01/109.35	c GLOBAL bounds - >= 346233 @ 94.3677
109.11/109.49	c GLOBAL bounds - >= 346233 @ 94.4485
109.21/109.53	c GLOBAL bounds - >= 346233 @ 94.4812
109.31/109.67	c GLOBAL bounds - >= 346233 @ 94.5623
109.41/109.71	c GLOBAL bounds - >= 346233 @ 94.5914
109.51/109.85	c GLOBAL bounds - >= 346233 @ 94.663
109.51/109.89	c GLOBAL bounds - >= 346233 @ 94.6927
109.71/110.06	c GLOBAL bounds - >= 346233 @ 94.7998
109.71/110.10	c GLOBAL bounds - >= 346233 @ 94.8272
109.91/110.26	c GLOBAL bounds - >= 346233 @ 94.9262
110.01/110.30	c GLOBAL bounds - >= 346233 @ 94.9562
110.11/110.44	c GLOBAL bounds - >= 346233 @ 95.0383
110.11/110.48	c GLOBAL bounds - >= 346233 @ 95.0707
110.31/110.62	c GLOBAL bounds - >= 346233 @ 95.1479
110.31/110.65	c GLOBAL bounds - >= 346233 @ 95.1743
110.40/110.79	c GLOBAL bounds - >= 346233 @ 95.2376
110.51/110.82	c GLOBAL bounds - >= 346233 @ 95.2655
110.61/110.96	c GLOBAL bounds - >= 346233 @ 95.3314
110.61/111.00	c GLOBAL bounds - >= 346233 @ 95.3585
110.81/111.12	c GLOBAL bounds - >= 346233 @ 95.4196
111.70/112.09	c GLOBAL bounds - >= 346233 @ 96.3265
112.30/112.66	c GLOBAL bounds - >= 346233 @ 96.8244
113.10/113.48	c GLOBAL bounds - >= 346233 @ 97.5807
120.97/121.36	c GLOBAL bounds - >= 346233 @ 105.299
121.57/121.95	c GLOBAL bounds - >= 346233 @ 105.83
123.17/123.59	c GLOBAL bounds - >= 359550 @ 107.462
123.37/123.72	c GLOBAL bounds - >= 359550 @ 107.576
123.47/123.87	c GLOBAL bounds - >= 359550 @ 107.664
123.57/123.91	c GLOBAL bounds - >= 359550 @ 107.695
123.67/124.10	c GLOBAL bounds - >= 359550 @ 107.826
123.78/124.14	c GLOBAL bounds - >= 359550 @ 107.854
123.87/124.27	c GLOBAL bounds - >= 359550 @ 107.919
123.97/124.31	c GLOBAL bounds - >= 359550 @ 107.948
124.17/124.53	c GLOBAL bounds - >= 359550 @ 108.11
124.17/124.57	c GLOBAL bounds - >= 359550 @ 108.139
124.37/124.71	c GLOBAL bounds - >= 359550 @ 108.221
124.37/124.75	c GLOBAL bounds - >= 359550 @ 108.252
124.47/124.89	c GLOBAL bounds - >= 359550 @ 108.339
124.57/124.93	c GLOBAL bounds - >= 359550 @ 108.371
124.67/125.07	c GLOBAL bounds - >= 359550 @ 108.44
124.78/125.11	c GLOBAL bounds - >= 359550 @ 108.466
124.87/125.24	c GLOBAL bounds - >= 359550 @ 108.536
124.87/125.28	c GLOBAL bounds - >= 359550 @ 108.567
125.07/125.40	c GLOBAL bounds - >= 359550 @ 108.63
125.07/125.44	c GLOBAL bounds - >= 359550 @ 108.664
125.17/125.58	c GLOBAL bounds - >= 359550 @ 108.744
125.96/126.32	c GLOBAL bounds - >= 359550 @ 109.418
126.16/126.50	c GLOBAL bounds - >= 359550 @ 109.54
126.37/126.71	c GLOBAL bounds - >= 359550 @ 109.696
126.46/126.88	c GLOBAL bounds - >= 359550 @ 109.806
130.05/130.48	c GLOBAL bounds - >= 359550 @ 113.298
130.25/130.65	c GLOBAL bounds - >= 359550 @ 113.401
130.45/130.85	c GLOBAL bounds - >= 359550 @ 113.549
131.35/131.74	c GLOBAL bounds - >= 359550 @ 114.382
133.34/133.75	c GLOBAL bounds - >= 359550 @ 116.318
135.04/135.49	c GLOBAL bounds - >= 359550 @ 117.982
137.33/137.75	c GLOBAL bounds - >= 359550 @ 120.171
137.64/138.05	c GLOBAL bounds - >= 359550 @ 120.404
140.02/140.44	c #Conflicts:       4000 | #Constraints:    2149402
140.02/140.44	c GLOBAL bounds - >= 365247 @ 122.777
140.12/140.57	c GLOBAL bounds - >= 365247 @ 122.888
140.23/140.61	c GLOBAL bounds - >= 365247 @ 122.916
140.23/140.64	c GLOBAL bounds - >= 365247 @ 122.947
140.23/140.68	c GLOBAL bounds - >= 365247 @ 122.977
140.32/140.72	c GLOBAL bounds - >= 365247 @ 123.01
140.32/140.76	c GLOBAL bounds - >= 365247 @ 123.041
140.42/140.80	c GLOBAL bounds - >= 365247 @ 123.072
140.42/140.84	c GLOBAL bounds - >= 365247 @ 123.098
140.63/141.00	c GLOBAL bounds - >= 365247 @ 123.192
140.63/141.04	c GLOBAL bounds - >= 365247 @ 123.226
140.83/141.25	c GLOBAL bounds - >= 365247 @ 123.364
140.83/141.29	c GLOBAL bounds - >= 365247 @ 123.396
141.02/141.41	c GLOBAL bounds - >= 365247 @ 123.45
141.02/141.45	c GLOBAL bounds - >= 365247 @ 123.483
141.13/141.57	c GLOBAL bounds - >= 365247 @ 123.553
141.23/141.61	c GLOBAL bounds - >= 365247 @ 123.583
141.33/141.74	c GLOBAL bounds - >= 365247 @ 123.654
141.33/141.78	c GLOBAL bounds - >= 365247 @ 123.686
141.53/141.90	c GLOBAL bounds - >= 365247 @ 123.747
141.53/141.94	c GLOBAL bounds - >= 365247 @ 123.781
141.63/142.07	c GLOBAL bounds - >= 365247 @ 123.846
141.73/142.11	c GLOBAL bounds - >= 365247 @ 123.878
141.82/142.24	c GLOBAL bounds - >= 365247 @ 123.936
141.82/142.28	c GLOBAL bounds - >= 365247 @ 123.964
142.02/142.40	c GLOBAL bounds - >= 365247 @ 124.037
142.02/142.44	c GLOBAL bounds - >= 365247 @ 124.067
142.13/142.57	c GLOBAL bounds - >= 365247 @ 124.125
142.32/142.79	c GLOBAL bounds - >= 365247 @ 124.29
142.63/143.06	c GLOBAL bounds - >= 365247 @ 124.511
142.83/143.26	c GLOBAL bounds - >= 365247 @ 124.646
143.02/143.48	c GLOBAL bounds - >= 365247 @ 124.81
143.23/143.63	c GLOBAL bounds - >= 365247 @ 124.903
143.42/143.84	c GLOBAL bounds - >= 365247 @ 125.056
144.41/144.81	c GLOBAL bounds - >= 365247 @ 125.968
144.72/145.13	c GLOBAL bounds - >= 365247 @ 126.237
144.91/145.33	c GLOBAL bounds - >= 365247 @ 126.374
145.62/146.03	c GLOBAL bounds - >= 365247 @ 127.006
145.82/146.26	c GLOBAL bounds - >= 365247 @ 127.191
146.41/146.88	c GLOBAL bounds - >= 365247 @ 127.747
151.70/152.15	c INPROCESSING
151.70/152.15	c GARBAGE COLLECT
151.70/152.15	c GLOBAL bounds - >= 365247 @ 132.92
152.10/152.52	c GLOBAL bounds - >= 365247 @ 133.222
156.09/156.51	c GLOBAL bounds - >= 365247 @ 137.145
156.28/156.73	c GLOBAL bounds - >= 365247 @ 137.304
162.57/163.01	c GLOBAL bounds - >= 365247 @ 143.504
163.06/163.51	c GLOBAL bounds - >= 365247 @ 143.942
163.37/163.83	c GLOBAL bounds - >= 365247 @ 144.201
164.07/164.55	c GLOBAL bounds - >= 365247 @ 144.864
169.26/169.73	c GLOBAL bounds - >= 370038 @ 150.027
169.36/169.85	c GLOBAL bounds - >= 370038 @ 150.145
170.35/170.89	c GLOBAL bounds - >= 370038 @ 151.117
170.45/170.93	c GLOBAL bounds - >= 370038 @ 151.149
170.55/171.07	c GLOBAL bounds - >= 370038 @ 151.229
170.66/171.11	c GLOBAL bounds - >= 370038 @ 151.258
170.75/171.25	c GLOBAL bounds - >= 370038 @ 151.331
170.75/171.29	c GLOBAL bounds - >= 370038 @ 151.362
170.94/171.42	c GLOBAL bounds - >= 370038 @ 151.432
170.94/171.46	c GLOBAL bounds - >= 370038 @ 151.465
171.15/171.60	c GLOBAL bounds - >= 370038 @ 151.542
171.15/171.64	c GLOBAL bounds - >= 370038 @ 151.574
171.25/171.77	c GLOBAL bounds - >= 370038 @ 151.648
171.35/171.81	c GLOBAL bounds - >= 370038 @ 151.68
171.45/171.95	c GLOBAL bounds - >= 370038 @ 151.759
171.45/171.99	c GLOBAL bounds - >= 370038 @ 151.79
171.65/172.11	c GLOBAL bounds - >= 370038 @ 151.85
171.65/172.15	c GLOBAL bounds - >= 370038 @ 151.88
171.74/172.27	c GLOBAL bounds - >= 370038 @ 151.933
171.84/172.31	c GLOBAL bounds - >= 370038 @ 151.959
171.94/172.43	c GLOBAL bounds - >= 370038 @ 152.009
172.15/172.60	c GLOBAL bounds - >= 370038 @ 152.127
172.34/172.88	c GLOBAL bounds - >= 370038 @ 152.351
176.73/177.27	c GLOBAL bounds - >= 370038 @ 156.677
181.12/181.60	c #Conflicts:       5000 | #Constraints:    2435474
181.12/181.60	c GLOBAL bounds - >= 370038 @ 160.939
181.32/181.83	c GLOBAL bounds - >= 370038 @ 161.113
181.42/182.00	c GLOBAL bounds - >= 370038 @ 161.222
189.80/190.33	c GLOBAL bounds - >= 370038 @ 169.483
198.58/199.16	c GLOBAL bounds - >= 370038 @ 178.222
198.97/199.59	c GLOBAL bounds - >= 370038 @ 178.587
208.84/209.44	c GLOBAL bounds - >= 391447 @ 188.38
209.05/209.68	c GLOBAL bounds - >= 391447 @ 188.6
209.15/209.71	c GLOBAL bounds - >= 391447 @ 188.631
209.15/209.75	c GLOBAL bounds - >= 391447 @ 188.661
209.15/209.79	c GLOBAL bounds - >= 391447 @ 188.693
209.25/209.83	c GLOBAL bounds - >= 391447 @ 188.724
209.25/209.88	c GLOBAL bounds - >= 391447 @ 188.757
211.14/211.74	c GLOBAL bounds - >= 391447 @ 190.541
211.14/211.78	c GLOBAL bounds - >= 391447 @ 190.569
211.34/211.91	c GLOBAL bounds - >= 391447 @ 190.638
211.34/211.96	c GLOBAL bounds - >= 391447 @ 190.67
211.45/212.09	c GLOBAL bounds - >= 391447 @ 190.744
211.55/212.13	c GLOBAL bounds - >= 391447 @ 190.773
211.64/212.25	c GLOBAL bounds - >= 391447 @ 190.83
211.64/212.29	c GLOBAL bounds - >= 391447 @ 190.858
211.84/212.42	c GLOBAL bounds - >= 391447 @ 190.927
211.84/212.46	c GLOBAL bounds - >= 391447 @ 190.958
211.94/212.58	c GLOBAL bounds - >= 391447 @ 191.014
212.04/212.62	c GLOBAL bounds - >= 391447 @ 191.048
212.14/212.76	c GLOBAL bounds - >= 391447 @ 191.12
212.23/212.80	c GLOBAL bounds - >= 391447 @ 191.15
212.33/212.94	c GLOBAL bounds - >= 391447 @ 191.23
212.33/212.98	c GLOBAL bounds - >= 391447 @ 191.261
212.54/213.11	c GLOBAL bounds - >= 391447 @ 191.336
212.54/213.15	c GLOBAL bounds - >= 391447 @ 191.366
212.64/213.27	c GLOBAL bounds - >= 391447 @ 191.426
213.14/213.75	c GLOBAL bounds - >= 391447 @ 191.837
213.33/213.90	c GLOBAL bounds - >= 391447 @ 191.93
213.44/214.05	c GLOBAL bounds - >= 391447 @ 192.022
216.43/217.01	c #Conflicts:       6000 | #Constraints:    2566664
216.43/217.01	c GLOBAL bounds - >= 391447 @ 194.886
216.63/217.29	c GLOBAL bounds - >= 391447 @ 195.113
220.71/221.30	c GLOBAL bounds - >= 391447 @ 199.012
221.42/222.05	c GLOBAL bounds - >= 391447 @ 199.696
226.20/226.88	c GLOBAL bounds - >= 391447 @ 204.403
227.40/228.04	c GLOBAL bounds - >= 391447 @ 205.5
229.29/229.93	c GLOBAL bounds - >= 393092 @ 207.377
229.40/230.08	c GLOBAL bounds - >= 393092 @ 207.504
229.50/230.11	c GLOBAL bounds - >= 393092 @ 207.537
229.50/230.15	c GLOBAL bounds - >= 393092 @ 207.565
229.50/230.19	c GLOBAL bounds - >= 393092 @ 207.596
229.59/230.23	c GLOBAL bounds - >= 393092 @ 207.63
229.59/230.27	c GLOBAL bounds - >= 393092 @ 207.655
229.79/230.42	c GLOBAL bounds - >= 393092 @ 207.748
229.79/230.46	c GLOBAL bounds - >= 393092 @ 207.778
229.99/230.61	c GLOBAL bounds - >= 393092 @ 207.855
229.99/230.65	c GLOBAL bounds - >= 393092 @ 207.885
230.09/230.79	c GLOBAL bounds - >= 393092 @ 207.952
230.19/230.83	c GLOBAL bounds - >= 393092 @ 207.984
230.29/230.95	c GLOBAL bounds - >= 393092 @ 208.054
230.29/230.99	c GLOBAL bounds - >= 393092 @ 208.087
230.49/231.13	c GLOBAL bounds - >= 393092 @ 208.155
230.49/231.17	c GLOBAL bounds - >= 393092 @ 208.189
230.59/231.29	c GLOBAL bounds - >= 393092 @ 208.254
230.69/231.33	c GLOBAL bounds - >= 393092 @ 208.289
230.79/231.44	c GLOBAL bounds - >= 393092 @ 208.346
230.79/231.48	c GLOBAL bounds - >= 393092 @ 208.375
230.99/231.60	c GLOBAL bounds - >= 393092 @ 208.439
230.99/231.64	c GLOBAL bounds - >= 393092 @ 208.474
231.09/231.75	c GLOBAL bounds - >= 393092 @ 208.516
231.09/231.79	c GLOBAL bounds - >= 393092 @ 208.55
231.29/231.91	c GLOBAL bounds - >= 393092 @ 208.615
231.40/232.02	c GLOBAL bounds - >= 393092 @ 208.677
231.59/232.21	c GLOBAL bounds - >= 393092 @ 208.81
231.69/232.34	c GLOBAL bounds - >= 393092 @ 208.882
231.79/232.48	c GLOBAL bounds - >= 393092 @ 208.972
231.99/232.61	c GLOBAL bounds - >= 393092 @ 209.052
232.19/232.80	c GLOBAL bounds - >= 393092 @ 209.182
232.29/232.95	c GLOBAL bounds - >= 393092 @ 209.271
242.37/243.10	c INPROCESSING
242.37/243.10	c GARBAGE COLLECT
242.37/243.10	c GLOBAL bounds - >= 393092 @ 219.296
242.76/243.41	c GLOBAL bounds - >= 393092 @ 219.546
242.85/243.57	c GLOBAL bounds - >= 393092 @ 219.644
253.73/254.46	c #Conflicts:       7000 | #Constraints:    2675751
253.73/254.46	c GLOBAL bounds - >= 393092 @ 230.445
253.92/254.62	c GLOBAL bounds - >= 393092 @ 230.552
277.27/278.01	c GLOBAL bounds - >= 393092 @ 253.801
277.37/278.19	c GLOBAL bounds - >= 393092 @ 253.923
277.86/278.67	c GLOBAL bounds - >= 393092 @ 254.359
278.16/278.94	c GLOBAL bounds - >= 393092 @ 254.567
292.72/293.57	c #Conflicts:       8000 | #Constraints:    2718624
292.72/293.57	c GLOBAL bounds - >= 407360 @ 269.146
292.92/293.78	c GLOBAL bounds - >= 407360 @ 269.346
293.02/293.81	c GLOBAL bounds - >= 407360 @ 269.374
293.02/293.86	c GLOBAL bounds - >= 407360 @ 269.407
293.02/293.90	c GLOBAL bounds - >= 407360 @ 269.438
293.12/293.93	c GLOBAL bounds - >= 407360 @ 269.468
293.12/293.97	c GLOBAL bounds - >= 407360 @ 269.497
293.33/294.13	c GLOBAL bounds - >= 407360 @ 269.596
293.33/294.17	c GLOBAL bounds - >= 407360 @ 269.628
294.42/295.22	c GLOBAL bounds - >= 407360 @ 270.615
294.42/295.26	c GLOBAL bounds - >= 407360 @ 270.646
294.62/295.42	c GLOBAL bounds - >= 407360 @ 270.739
294.62/295.46	c GLOBAL bounds - >= 407360 @ 270.772
294.82/295.62	c GLOBAL bounds - >= 407360 @ 270.868
294.82/295.66	c GLOBAL bounds - >= 407360 @ 270.897
294.92/295.79	c GLOBAL bounds - >= 407360 @ 270.97
295.02/295.83	c GLOBAL bounds - >= 407360 @ 271.002
295.11/295.96	c GLOBAL bounds - >= 407360 @ 271.074
295.22/296.01	c GLOBAL bounds - >= 407360 @ 271.102
295.32/296.13	c GLOBAL bounds - >= 407360 @ 271.177
295.32/296.17	c GLOBAL bounds - >= 407360 @ 271.21
295.51/296.31	c GLOBAL bounds - >= 407360 @ 271.286
295.51/296.35	c GLOBAL bounds - >= 407360 @ 271.32
295.61/296.46	c GLOBAL bounds - >= 407360 @ 271.37
295.71/296.50	c GLOBAL bounds - >= 407360 @ 271.402
295.81/296.62	c GLOBAL bounds - >= 407360 @ 271.466
295.91/296.76	c GLOBAL bounds - >= 407360 @ 271.552
296.11/296.99	c GLOBAL bounds - >= 407360 @ 271.736
296.51/297.37	c GLOBAL bounds - >= 407360 @ 272.054
296.71/297.51	c GLOBAL bounds - >= 407360 @ 272.138
296.91/297.75	c GLOBAL bounds - >= 407360 @ 272.331
299.70/300.54	c GLOBAL bounds - >= 407360 @ 275.047
313.57/314.48	c GLOBAL bounds - >= 407360 @ 288.806
314.46/315.39	c GLOBAL bounds - >= 407360 @ 289.658
332.01/332.95	c #Conflicts:       9000 | #Constraints:    2809148
332.01/332.95	c INPROCESSING
332.01/332.95	c GARBAGE COLLECT
332.01/332.95	c GLOBAL bounds - >= 417959 @ 307.089
332.22/333.14	c GLOBAL bounds - >= 417959 @ 307.268
332.22/333.18	c GLOBAL bounds - >= 417959 @ 307.304
332.31/333.22	c GLOBAL bounds - >= 417959 @ 307.339
332.31/333.26	c GLOBAL bounds - >= 417959 @ 307.368
332.41/333.30	c GLOBAL bounds - >= 417959 @ 307.404
332.41/333.34	c GLOBAL bounds - >= 417959 @ 307.438
333.61/334.53	c GLOBAL bounds - >= 417959 @ 308.569
333.61/334.57	c GLOBAL bounds - >= 417959 @ 308.598
333.81/334.71	c GLOBAL bounds - >= 417959 @ 308.677
333.81/334.75	c GLOBAL bounds - >= 417959 @ 308.707
333.92/334.89	c GLOBAL bounds - >= 417959 @ 308.788
334.02/334.94	c GLOBAL bounds - >= 417959 @ 308.819
334.12/335.07	c GLOBAL bounds - >= 417959 @ 308.891
334.22/335.11	c GLOBAL bounds - >= 417959 @ 308.923
334.31/335.24	c GLOBAL bounds - >= 417959 @ 308.99
334.31/335.28	c GLOBAL bounds - >= 417959 @ 309.022
334.51/335.40	c GLOBAL bounds - >= 417959 @ 309.084
334.51/335.44	c GLOBAL bounds - >= 417959 @ 309.115
334.61/335.56	c GLOBAL bounds - >= 417959 @ 309.187
334.71/335.61	c GLOBAL bounds - >= 417959 @ 309.219
334.81/335.73	c GLOBAL bounds - >= 417959 @ 309.289
334.81/335.77	c GLOBAL bounds - >= 417959 @ 309.319
334.91/335.88	c GLOBAL bounds - >= 417959 @ 309.369
335.01/335.92	c GLOBAL bounds - >= 417959 @ 309.401
335.12/336.04	c GLOBAL bounds - >= 417959 @ 309.461
335.22/336.16	c GLOBAL bounds - >= 417959 @ 309.53
335.41/336.30	c GLOBAL bounds - >= 417959 @ 309.603
335.51/336.44	c GLOBAL bounds - >= 417959 @ 309.683
335.81/336.70	c GLOBAL bounds - >= 417959 @ 309.875
335.91/336.87	c GLOBAL bounds - >= 417959 @ 309.992
336.31/337.21	c GLOBAL bounds - >= 417959 @ 310.286
336.50/337.41	c GLOBAL bounds - >= 417959 @ 310.428
336.61/337.58	c GLOBAL bounds - >= 417959 @ 310.539
336.80/337.73	c GLOBAL bounds - >= 417959 @ 310.634
337.11/338.01	c GLOBAL bounds - >= 417959 @ 310.85
338.60/339.51	c GLOBAL bounds - >= 417959 @ 312.291
344.59/345.55	c GLOBAL bounds - >= 417959 @ 318.265
371.71/372.79	c #Conflicts:      10000 | #Constraints:    2895867
371.71/372.79	c GLOBAL bounds - >= 417959 @ 345.34
372.31/373.38	c GLOBAL bounds - >= 417959 @ 345.869
384.67/385.75	c GLOBAL bounds - >= 428939 @ 358.205
384.87/385.98	c GLOBAL bounds - >= 428939 @ 358.419
384.98/386.02	c GLOBAL bounds - >= 428939 @ 358.45
384.98/386.06	c GLOBAL bounds - >= 428939 @ 358.486
384.98/386.10	c GLOBAL bounds - >= 428939 @ 358.515
385.08/386.14	c GLOBAL bounds - >= 428939 @ 358.544
385.08/386.18	c GLOBAL bounds - >= 428939 @ 358.577
385.67/386.73	c GLOBAL bounds - >= 428939 @ 359.063
385.67/386.77	c GLOBAL bounds - >= 428939 @ 359.1
385.97/387.02	c GLOBAL bounds - >= 428939 @ 359.283
385.97/387.06	c GLOBAL bounds - >= 428939 @ 359.316
386.17/387.22	c GLOBAL bounds - >= 428939 @ 359.403
386.17/387.26	c GLOBAL bounds - >= 428939 @ 359.435
386.37/387.40	c GLOBAL bounds - >= 428939 @ 359.508
386.37/387.44	c GLOBAL bounds - >= 428939 @ 359.544
386.47/387.58	c GLOBAL bounds - >= 428939 @ 359.618
386.57/387.62	c GLOBAL bounds - >= 428939 @ 359.652
386.77/387.81	c GLOBAL bounds - >= 428939 @ 359.774
386.77/387.85	c GLOBAL bounds - >= 428939 @ 359.804
386.87/387.99	c GLOBAL bounds - >= 428939 @ 359.883
386.98/388.03	c GLOBAL bounds - >= 428939 @ 359.918
387.07/388.16	c GLOBAL bounds - >= 428939 @ 359.994
387.17/388.20	c GLOBAL bounds - >= 428939 @ 360.026
387.27/388.33	c GLOBAL bounds - >= 428939 @ 360.099
387.27/388.37	c GLOBAL bounds - >= 428939 @ 360.131
387.46/388.50	c GLOBAL bounds - >= 428939 @ 360.209
387.56/388.64	c GLOBAL bounds - >= 428939 @ 360.297
387.66/388.79	c GLOBAL bounds - >= 428939 @ 360.392
387.87/388.99	c GLOBAL bounds - >= 428939 @ 360.544
388.26/389.32	c GLOBAL bounds - >= 428939 @ 360.82
388.67/389.80	c GLOBAL bounds - >= 428939 @ 361.239
388.86/389.97	c GLOBAL bounds - >= 428939 @ 361.355
390.36/391.49	c GLOBAL bounds - >= 428939 @ 362.815
391.26/392.35	c GLOBAL bounds - >= 428939 @ 363.62
391.65/392.71	c GLOBAL bounds - >= 428939 @ 363.92
398.74/399.81	c #Conflicts:      11000 | #Constraints:    3016400
398.74/399.81	c GLOBAL bounds - >= 430381 @ 370.999
398.84/399.90	c GLOBAL bounds - >= 430381 @ 371.078
398.84/399.94	c GLOBAL bounds - >= 430381 @ 371.108
398.84/399.98	c GLOBAL bounds - >= 430381 @ 371.14
398.94/400.03	c GLOBAL bounds - >= 430381 @ 371.171
398.94/400.07	c GLOBAL bounds - >= 430381 @ 371.2
399.04/400.11	c GLOBAL bounds - >= 430381 @ 371.23
399.04/400.15	c GLOBAL bounds - >= 430381 @ 371.262
399.94/401.07	c GLOBAL bounds - >= 430381 @ 372.121
400.04/401.11	c GLOBAL bounds - >= 430381 @ 372.154
400.23/401.34	c GLOBAL bounds - >= 430381 @ 372.319
400.23/401.38	c GLOBAL bounds - >= 430381 @ 372.35
400.43/401.50	c GLOBAL bounds - >= 430381 @ 372.407
400.43/401.54	c GLOBAL bounds - >= 430381 @ 372.441
400.54/401.68	c GLOBAL bounds - >= 430381 @ 372.508
400.63/401.72	c GLOBAL bounds - >= 430381 @ 372.54
400.73/401.85	c GLOBAL bounds - >= 430381 @ 372.623
400.73/401.89	c GLOBAL bounds - >= 430381 @ 372.656
400.93/402.03	c GLOBAL bounds - >= 430381 @ 372.718
400.93/402.07	c GLOBAL bounds - >= 430381 @ 372.754
401.13/402.20	c GLOBAL bounds - >= 430381 @ 372.818
401.13/402.24	c GLOBAL bounds - >= 430381 @ 372.853
401.23/402.37	c GLOBAL bounds - >= 430381 @ 372.934
401.33/402.42	c GLOBAL bounds - >= 430381 @ 372.966
401.43/402.54	c GLOBAL bounds - >= 430381 @ 373.033
401.43/402.59	c GLOBAL bounds - >= 430381 @ 373.065
401.63/402.71	c GLOBAL bounds - >= 430381 @ 373.136
401.73/402.85	c GLOBAL bounds - >= 430381 @ 373.22
401.83/402.99	c GLOBAL bounds - >= 430381 @ 373.304
402.03/403.13	c GLOBAL bounds - >= 430381 @ 373.4
402.22/403.38	c GLOBAL bounds - >= 430381 @ 373.589
403.03/404.19	c GLOBAL bounds - >= 430381 @ 374.339
406.62/407.78	c GLOBAL bounds - >= 430381 @ 377.863
407.03/408.15	c GLOBAL bounds - >= 430381 @ 378.175
407.21/408.34	c GLOBAL bounds - >= 430381 @ 378.307
409.11/410.28	c GLOBAL bounds - >= 430381 @ 380.189
413.10/414.26	c GLOBAL bounds - >= 430381 @ 384.102
415.19/416.32	c GLOBAL bounds - >= 430381 @ 386.09
418.79/419.96	c GLOBAL bounds - >= 430381 @ 389.653
422.47/423.67	c GLOBAL bounds - >= 430381 @ 393.263
483.50/484.83	c #Conflicts:      12000 | #Constraints:    3138629
483.50/484.83	c INPROCESSING
483.50/484.83	c GARBAGE COLLECT
483.50/484.83	c #Conflicts:      13000 | #Constraints:    3137057
483.50/484.83	c GLOBAL bounds - >= 437941 @ 454.107
483.71/485.04	c GLOBAL bounds - >= 437941 @ 454.307
483.71/485.08	c GLOBAL bounds - >= 437941 @ 454.337
483.80/485.12	c GLOBAL bounds - >= 437941 @ 454.366
483.80/485.16	c GLOBAL bounds - >= 437941 @ 454.401
483.90/485.21	c GLOBAL bounds - >= 437941 @ 454.434
483.90/485.25	c GLOBAL bounds - >= 437941 @ 454.468
483.90/485.29	c GLOBAL bounds - >= 437941 @ 454.506
483.99/485.33	c GLOBAL bounds - >= 437941 @ 454.541
483.99/485.37	c GLOBAL bounds - >= 437941 @ 454.575
484.10/485.42	c GLOBAL bounds - >= 437941 @ 454.607
484.10/485.46	c GLOBAL bounds - >= 437941 @ 454.634
484.30/485.68	c GLOBAL bounds - >= 437941 @ 454.8
484.39/485.72	c GLOBAL bounds - >= 437941 @ 454.829
486.79/488.12	c GLOBAL bounds - >= 437941 @ 457.16
486.79/488.16	c GLOBAL bounds - >= 437941 @ 457.191
486.99/488.30	c GLOBAL bounds - >= 437941 @ 457.277
486.99/488.35	c GLOBAL bounds - >= 437941 @ 457.309
487.09/488.49	c GLOBAL bounds - >= 437941 @ 457.393
487.19/488.53	c GLOBAL bounds - >= 437941 @ 457.425
487.29/488.65	c GLOBAL bounds - >= 437941 @ 457.496
487.29/488.70	c GLOBAL bounds - >= 437941 @ 457.53
487.48/488.82	c GLOBAL bounds - >= 437941 @ 457.589
487.48/488.86	c GLOBAL bounds - >= 437941 @ 457.621
487.59/488.98	c GLOBAL bounds - >= 437941 @ 457.689
487.70/489.02	c GLOBAL bounds - >= 437941 @ 457.724
487.79/489.13	c GLOBAL bounds - >= 437941 @ 457.779
487.79/489.18	c GLOBAL bounds - >= 437941 @ 457.81
487.99/489.30	c GLOBAL bounds - >= 437941 @ 457.877
487.99/489.34	c GLOBAL bounds - >= 437941 @ 457.907
488.09/489.46	c GLOBAL bounds - >= 437941 @ 457.968
488.28/489.60	c GLOBAL bounds - >= 437941 @ 458.045
488.39/489.76	c GLOBAL bounds - >= 437941 @ 458.144
488.58/490.00	c GLOBAL bounds - >= 437941 @ 458.313
488.79/490.15	c GLOBAL bounds - >= 437941 @ 458.419
488.99/490.38	c GLOBAL bounds - >= 437941 @ 458.598
489.29/490.64	c GLOBAL bounds - >= 437941 @ 458.802
489.48/490.85	c GLOBAL bounds - >= 437941 @ 458.959
489.79/491.18	c GLOBAL bounds - >= 437941 @ 459.231
492.38/493.72	c GLOBAL bounds - >= 437941 @ 461.716
518.31/519.71	c #Conflicts:      14000 | #Constraints:    3225231
518.31/519.71	c GLOBAL bounds - >= 439663 @ 487.614
518.31/519.79	c GLOBAL bounds - >= 439663 @ 487.686
518.40/519.83	c GLOBAL bounds - >= 439663 @ 487.716
518.40/519.88	c GLOBAL bounds - >= 439663 @ 487.751
518.50/519.92	c GLOBAL bounds - >= 439663 @ 487.786
518.50/519.96	c GLOBAL bounds - >= 439663 @ 487.821
518.71/520.17	c GLOBAL bounds - >= 439663 @ 487.974
518.80/520.22	c GLOBAL bounds - >= 439663 @ 488.002
519.80/521.29	c GLOBAL bounds - >= 439663 @ 489.016
519.90/521.33	c GLOBAL bounds - >= 439663 @ 489.045
520.00/521.47	c GLOBAL bounds - >= 439663 @ 489.124
520.10/521.51	c GLOBAL bounds - >= 439663 @ 489.156
520.19/521.64	c GLOBAL bounds - >= 439663 @ 489.227
520.19/521.68	c GLOBAL bounds - >= 439663 @ 489.259
520.40/521.81	c GLOBAL bounds - >= 439663 @ 489.33
520.40/521.85	c GLOBAL bounds - >= 439663 @ 489.363
520.50/521.98	c GLOBAL bounds - >= 439663 @ 489.434
520.61/522.03	c GLOBAL bounds - >= 439663 @ 489.464
520.70/522.15	c GLOBAL bounds - >= 439663 @ 489.538
520.70/522.19	c GLOBAL bounds - >= 439663 @ 489.575
520.89/522.32	c GLOBAL bounds - >= 439663 @ 489.641
520.89/522.36	c GLOBAL bounds - >= 439663 @ 489.672
520.99/522.48	c GLOBAL bounds - >= 439663 @ 489.739
521.09/522.53	c GLOBAL bounds - >= 439663 @ 489.772
521.19/522.65	c GLOBAL bounds - >= 439663 @ 489.84
521.29/522.78	c GLOBAL bounds - >= 439663 @ 489.923
521.60/523.09	c GLOBAL bounds - >= 439663 @ 490.169
521.79/523.29	c GLOBAL bounds - >= 439663 @ 490.32
522.49/523.94	c GLOBAL bounds - >= 439663 @ 490.904
523.99/525.45	c GLOBAL bounds - >= 439663 @ 492.358
525.69/527.15	c GLOBAL bounds - >= 439663 @ 494.001
527.48/528.94	c GLOBAL bounds - >= 439663 @ 495.734
530.47/531.92	c GLOBAL bounds - >= 439663 @ 498.652
590.00/591.62	c #Conflicts:      15000 | #Constraints:    3312197
590.00/591.62	c INPROCESSING
590.00/591.62	c GARBAGE COLLECT
590.00/591.62	c GLOBAL bounds - >= 443471 @ 558.065
590.10/591.77	c GLOBAL bounds - >= 443471 @ 558.21
590.20/591.81	c GLOBAL bounds - >= 443471 @ 558.24
590.20/591.86	c GLOBAL bounds - >= 443471 @ 558.274
590.30/591.90	c GLOBAL bounds - >= 443471 @ 558.306
590.30/591.94	c GLOBAL bounds - >= 443471 @ 558.338
590.30/591.98	c GLOBAL bounds - >= 443471 @ 558.37
590.41/592.02	c GLOBAL bounds - >= 443471 @ 558.404
590.41/592.06	c GLOBAL bounds - >= 443471 @ 558.437
590.50/592.11	c GLOBAL bounds - >= 443471 @ 558.471
590.60/592.26	c GLOBAL bounds - >= 443471 @ 558.551
590.70/592.30	c GLOBAL bounds - >= 443471 @ 558.583
594.09/595.74	c #Conflicts:      16000 | #Constraints:    3316831
594.09/595.74	c GLOBAL bounds - >= 443471 @ 561.948
594.09/595.78	c GLOBAL bounds - >= 443471 @ 561.985
594.29/595.92	c GLOBAL bounds - >= 443471 @ 562.057
594.29/595.96	c GLOBAL bounds - >= 443471 @ 562.087
594.39/596.10	c GLOBAL bounds - >= 443471 @ 562.161
594.49/596.14	c GLOBAL bounds - >= 443471 @ 562.191
594.59/596.26	c GLOBAL bounds - >= 443471 @ 562.259
594.69/596.30	c GLOBAL bounds - >= 443471 @ 562.291
594.79/596.44	c GLOBAL bounds - >= 443471 @ 562.37
594.79/596.48	c GLOBAL bounds - >= 443471 @ 562.403
594.98/596.62	c GLOBAL bounds - >= 443471 @ 562.488
594.98/596.66	c GLOBAL bounds - >= 443471 @ 562.522
595.09/596.79	c GLOBAL bounds - >= 443471 @ 562.592
595.19/596.84	c GLOBAL bounds - >= 443471 @ 562.624
595.29/596.96	c GLOBAL bounds - >= 443471 @ 562.687
595.29/597.00	c GLOBAL bounds - >= 443471 @ 562.719
595.49/597.13	c GLOBAL bounds - >= 443471 @ 562.789
595.59/597.27	c GLOBAL bounds - >= 443471 @ 562.875
596.49/598.19	c GLOBAL bounds - >= 443471 @ 563.737
596.69/598.38	c GLOBAL bounds - >= 443471 @ 563.867
598.68/600.39	c GLOBAL bounds - >= 443471 @ 565.81
690.12/692.10	c #Conflicts:      17000 | #Constraints:    3383801
690.12/692.10	c #Conflicts:      18000 | #Constraints:    3384801
690.12/692.10	c GLOBAL bounds - >= 443471 @ 656.972
690.52/692.40	c GLOBAL bounds - >= 443471 @ 657.218
700.20/702.13	c GLOBAL bounds - >= 450662 @ 666.906
700.49/702.41	c GLOBAL bounds - >= 450662 @ 667.163
700.49/702.45	c GLOBAL bounds - >= 450662 @ 667.195
700.49/702.49	c GLOBAL bounds - >= 450662 @ 667.229
700.59/702.53	c GLOBAL bounds - >= 450662 @ 667.262
700.59/702.58	c GLOBAL bounds - >= 450662 @ 667.293
700.68/702.62	c GLOBAL bounds - >= 450662 @ 667.327
700.68/702.66	c GLOBAL bounds - >= 450662 @ 667.362
700.79/702.70	c GLOBAL bounds - >= 450662 @ 667.39
705.67/707.61	c #Conflicts:      19000 | #Constraints:    3398408
705.67/707.61	c GLOBAL bounds - >= 450662 @ 672.204
705.67/707.65	c GLOBAL bounds - >= 450662 @ 672.237
705.78/707.78	c GLOBAL bounds - >= 450662 @ 672.309
705.87/707.82	c GLOBAL bounds - >= 450662 @ 672.338
705.97/707.95	c GLOBAL bounds - >= 450662 @ 672.416
705.97/707.99	c GLOBAL bounds - >= 450662 @ 672.443
706.18/708.11	c GLOBAL bounds - >= 450662 @ 672.516
706.18/708.15	c GLOBAL bounds - >= 450662 @ 672.543
706.27/708.28	c GLOBAL bounds - >= 450662 @ 672.612
706.38/708.32	c GLOBAL bounds - >= 450662 @ 672.641
706.47/708.44	c GLOBAL bounds - >= 450662 @ 672.709
706.47/708.48	c GLOBAL bounds - >= 450662 @ 672.74
706.67/708.61	c GLOBAL bounds - >= 450662 @ 672.807
706.67/708.65	c GLOBAL bounds - >= 450662 @ 672.84
706.77/708.76	c GLOBAL bounds - >= 450662 @ 672.901
706.86/708.80	c GLOBAL bounds - >= 450662 @ 672.936
706.97/708.93	c GLOBAL bounds - >= 450662 @ 673.004
706.97/708.97	c GLOBAL bounds - >= 450662 @ 673.037
707.07/709.09	c GLOBAL bounds - >= 450662 @ 673.107
707.27/709.23	c GLOBAL bounds - >= 450662 @ 673.191
707.47/709.41	c GLOBAL bounds - >= 450662 @ 673.315
707.67/709.67	c GLOBAL bounds - >= 450662 @ 673.522
707.96/709.97	c GLOBAL bounds - >= 450662 @ 673.772
708.47/710.41	c GLOBAL bounds - >= 450662 @ 674.168
708.57/710.59	c GLOBAL bounds - >= 450662 @ 674.291
712.56/714.50	c GLOBAL bounds - >= 450662 @ 678.116
712.65/714.65	c GLOBAL bounds - >= 450662 @ 678.212
712.95/714.98	c GLOBAL bounds - >= 450662 @ 678.479
713.25/715.22	c GLOBAL bounds - >= 450662 @ 678.669
714.85/716.82	c GLOBAL bounds - >= 450662 @ 680.203
726.71/728.70	c GLOBAL bounds - >= 450662 @ 691.919
726.92/728.98	c GLOBAL bounds - >= 450662 @ 692.144
737.48/739.53	c #Conflicts:      20000 | #Constraints:    3451923
737.48/739.53	c GLOBAL bounds - >= 450662 @ 702.487
737.68/739.70	c GLOBAL bounds - >= 450662 @ 702.598
737.78/739.86	c GLOBAL bounds - >= 450662 @ 702.71
739.09/741.15	c GLOBAL bounds - >= 450662 @ 703.928
740.98/743.03	c GLOBAL bounds - >= 450662 @ 705.738
741.17/743.25	c GLOBAL bounds - >= 450662 @ 705.888
746.27/748.36	c GLOBAL bounds - >= 450662 @ 710.865
746.86/748.98	c GLOBAL bounds - >= 450662 @ 711.421
747.16/749.27	c GLOBAL bounds - >= 450662 @ 711.644
748.46/750.53	c GLOBAL bounds - >= 450662 @ 712.842
748.96/751.07	c GLOBAL bounds - >= 450662 @ 713.314
759.42/761.53	c GLOBAL bounds - >= 450662 @ 723.593
765.70/767.87	c GLOBAL bounds - >= 450662 @ 729.808
820.94/823.20	c #Conflicts:      21000 | #Constraints:    3517260
820.94/823.20	c #Conflicts:      22000 | #Constraints:    3518260
820.94/823.20	c GLOBAL bounds - >= 450662 @ 784.587
843.18/845.58	c GLOBAL bounds - >= 456974 @ 806.837
843.38/845.77	c GLOBAL bounds - >= 456974 @ 807.004
843.48/845.82	c GLOBAL bounds - >= 456974 @ 807.036
843.48/845.86	c GLOBAL bounds - >= 456974 @ 807.069
843.59/845.90	c GLOBAL bounds - >= 456974 @ 807.103
843.59/845.94	c GLOBAL bounds - >= 456974 @ 807.135
843.59/845.98	c GLOBAL bounds - >= 456974 @ 807.166
843.69/846.02	c GLOBAL bounds - >= 456974 @ 807.199
843.69/846.06	c GLOBAL bounds - >= 456974 @ 807.23
843.79/846.10	c GLOBAL bounds - >= 456974 @ 807.261
843.79/846.14	c GLOBAL bounds - >= 456974 @ 807.292
843.79/846.18	c GLOBAL bounds - >= 456974 @ 807.326
843.88/846.22	c GLOBAL bounds - >= 456974 @ 807.357
843.88/846.26	c GLOBAL bounds - >= 456974 @ 807.39
843.98/846.30	c GLOBAL bounds - >= 456974 @ 807.422
843.98/846.34	c GLOBAL bounds - >= 456974 @ 807.452
846.58/848.91	c GLOBAL bounds - >= 456974 @ 809.942
846.58/848.95	c GLOBAL bounds - >= 456974 @ 809.971
846.78/849.10	c GLOBAL bounds - >= 456974 @ 810.059
846.78/849.14	c GLOBAL bounds - >= 456974 @ 810.091
846.88/849.28	c GLOBAL bounds - >= 456974 @ 810.168
846.98/849.32	c GLOBAL bounds - >= 456974 @ 810.199
847.08/849.44	c GLOBAL bounds - >= 456974 @ 810.268
847.08/849.48	c GLOBAL bounds - >= 456974 @ 810.299
847.27/849.61	c GLOBAL bounds - >= 456974 @ 810.369
847.27/849.65	c GLOBAL bounds - >= 456974 @ 810.398
847.38/849.77	c GLOBAL bounds - >= 456974 @ 810.475
847.48/849.81	c GLOBAL bounds - >= 456974 @ 810.506
847.57/849.94	c GLOBAL bounds - >= 456974 @ 810.584
847.57/849.98	c GLOBAL bounds - >= 456974 @ 810.616
847.77/850.10	c GLOBAL bounds - >= 456974 @ 810.682
847.77/850.15	c GLOBAL bounds - >= 456974 @ 810.711
847.87/850.27	c GLOBAL bounds - >= 456974 @ 810.777
847.97/850.31	c GLOBAL bounds - >= 456974 @ 810.807
848.07/850.44	c GLOBAL bounds - >= 456974 @ 810.874
848.17/850.58	c GLOBAL bounds - >= 456974 @ 810.96
848.37/850.79	c GLOBAL bounds - >= 456974 @ 811.106
848.57/850.98	c GLOBAL bounds - >= 456974 @ 811.228
848.78/851.14	c GLOBAL bounds - >= 456974 @ 811.333
848.87/851.28	c GLOBAL bounds - >= 456974 @ 811.418
849.07/851.47	c GLOBAL bounds - >= 456974 @ 811.552
849.27/851.65	c GLOBAL bounds - >= 456974 @ 811.681
849.47/851.87	c GLOBAL bounds - >= 456974 @ 811.844
849.68/852.08	c GLOBAL bounds - >= 456974 @ 812.005
849.87/852.26	c GLOBAL bounds - >= 456974 @ 812.129
850.07/852.41	c GLOBAL bounds - >= 456974 @ 812.234
850.27/852.60	c GLOBAL bounds - >= 456974 @ 812.374
850.37/852.74	c GLOBAL bounds - >= 456974 @ 812.462
850.46/852.89	c GLOBAL bounds - >= 456974 @ 812.549
850.67/853.07	c GLOBAL bounds - >= 456974 @ 812.682
850.86/853.22	c GLOBAL bounds - >= 456974 @ 812.768
851.46/853.86	c GLOBAL bounds - >= 456974 @ 813.346
854.36/856.75	c GLOBAL bounds - >= 456974 @ 816.154
858.24/860.64	c GLOBAL bounds - >= 456974 @ 819.957
858.45/860.84	c GLOBAL bounds - >= 456974 @ 820.091
900.32/902.81	c #Conflicts:      23000 | #Constraints:    3584542
900.32/902.81	c GLOBAL bounds - >= 456974 @ 861.636
924.36/926.91	c #Conflicts:      24000 | #Constraints:    3591505
924.36/926.91	c GLOBAL bounds - >= 456974 @ 885.516
926.06/928.60	c GLOBAL bounds - >= 456974 @ 887.142
930.64/933.21	c GLOBAL bounds - >= 457386 @ 891.727
930.74/933.34	c GLOBAL bounds - >= 457386 @ 891.844
930.74/933.39	c GLOBAL bounds - >= 457386 @ 891.879
930.84/933.42	c GLOBAL bounds - >= 457386 @ 891.908
931.04/933.63	c GLOBAL bounds - >= 457386 @ 892.048
931.04/933.67	c GLOBAL bounds - >= 457386 @ 892.077
945.41/948.09	c INPROCESSING
945.41/948.09	c GARBAGE COLLECT
945.41/948.09	c GLOBAL bounds - >= 457386 @ 906.33
945.50/948.13	c GLOBAL bounds - >= 457386 @ 906.358
945.60/948.25	c GLOBAL bounds - >= 457386 @ 906.418
945.60/948.28	c GLOBAL bounds - >= 457386 @ 906.447
945.80/948.40	c GLOBAL bounds - >= 457386 @ 906.515
945.80/948.44	c GLOBAL bounds - >= 457386 @ 906.538
945.90/948.56	c GLOBAL bounds - >= 457386 @ 906.593
946.00/948.60	c GLOBAL bounds - >= 457386 @ 906.621
946.09/948.72	c GLOBAL bounds - >= 457386 @ 906.68
946.09/948.76	c GLOBAL bounds - >= 457386 @ 906.712
946.20/948.88	c GLOBAL bounds - >= 457386 @ 906.772
946.30/948.92	c GLOBAL bounds - >= 457386 @ 906.807
946.40/949.03	c GLOBAL bounds - >= 457386 @ 906.861
946.40/949.07	c GLOBAL bounds - >= 457386 @ 906.888
946.50/949.17	c GLOBAL bounds - >= 457386 @ 906.93
946.60/949.21	c GLOBAL bounds - >= 457386 @ 906.962
946.69/949.33	c GLOBAL bounds - >= 457386 @ 907.019
946.80/949.45	c GLOBAL bounds - >= 457386 @ 907.085
947.10/949.72	c GLOBAL bounds - >= 457386 @ 907.293
947.29/949.96	c GLOBAL bounds - >= 457386 @ 907.474
947.70/950.30	c GLOBAL bounds - >= 457386 @ 907.765
948.09/950.71	c GLOBAL bounds - >= 457386 @ 908.123
948.39/951.06	c GLOBAL bounds - >= 457386 @ 908.418
948.69/951.30	c GLOBAL bounds - >= 457386 @ 908.597
948.79/951.44	c GLOBAL bounds - >= 457386 @ 908.675
954.97/957.63	c GLOBAL bounds - >= 457386 @ 914.779
959.06/961.76	c GLOBAL bounds - >= 457386 @ 918.835
966.05/968.71	c #Conflicts:      25000 | #Constraints:    3654734
966.05/968.71	c GLOBAL bounds - >= 457386 @ 925.705
966.35/969.07	c GLOBAL bounds - >= 457386 @ 926.006
1005.24/1008.06	c #Conflicts:      26000 | #Constraints:    3667348
1005.24/1008.06	c GLOBAL bounds - >= 457386 @ 964.807
1034.55/1037.43	c GLOBAL bounds - >= 457386 @ 993.997
1038.64/1041.52	c GLOBAL bounds - >= 462085 @ 998.067
1038.83/1041.72	c GLOBAL bounds - >= 462085 @ 998.255
1038.83/1041.76	c GLOBAL bounds - >= 462085 @ 998.29
1038.93/1041.80	c GLOBAL bounds - >= 462085 @ 998.321
1038.93/1041.84	c GLOBAL bounds - >= 462085 @ 998.35
1038.93/1041.88	c GLOBAL bounds - >= 462085 @ 998.379
1039.04/1041.92	c GLOBAL bounds - >= 462085 @ 998.411
1039.04/1041.96	c GLOBAL bounds - >= 462085 @ 998.441
1039.04/1042.00	c GLOBAL bounds - >= 462085 @ 998.472
1039.14/1042.04	c GLOBAL bounds - >= 462085 @ 998.505
1044.52/1047.41	c #Conflicts:      27000 | #Constraints:    3680282
1044.52/1047.41	c GLOBAL bounds - >= 462085 @ 1003.8
1044.52/1047.45	c GLOBAL bounds - >= 462085 @ 1003.83
1044.72/1047.60	c GLOBAL bounds - >= 462085 @ 1003.92
1044.72/1047.64	c GLOBAL bounds - >= 462085 @ 1003.95
1044.82/1047.78	c GLOBAL bounds - >= 462085 @ 1004.03
1044.93/1047.82	c GLOBAL bounds - >= 462085 @ 1004.06
1045.02/1047.96	c GLOBAL bounds - >= 462085 @ 1004.15
1045.12/1048.01	c GLOBAL bounds - >= 462085 @ 1004.18
1045.22/1048.15	c GLOBAL bounds - >= 462085 @ 1004.27
1045.22/1048.19	c GLOBAL bounds - >= 462085 @ 1004.3
1045.42/1048.32	c GLOBAL bounds - >= 462085 @ 1004.37
1045.42/1048.36	c GLOBAL bounds - >= 462085 @ 1004.4
1045.52/1048.49	c GLOBAL bounds - >= 462085 @ 1004.47
1045.62/1048.54	c GLOBAL bounds - >= 462085 @ 1004.5
1045.72/1048.66	c GLOBAL bounds - >= 462085 @ 1004.57
1045.82/1048.71	c GLOBAL bounds - >= 462085 @ 1004.61
1045.92/1048.83	c GLOBAL bounds - >= 462085 @ 1004.67
1045.92/1048.88	c GLOBAL bounds - >= 462085 @ 1004.71
1046.12/1049.00	c GLOBAL bounds - >= 462085 @ 1004.78
1046.41/1049.31	c GLOBAL bounds - >= 462085 @ 1005.03
1046.62/1049.57	c GLOBAL bounds - >= 462085 @ 1005.24
1046.82/1049.77	c GLOBAL bounds - >= 462085 @ 1005.38
1047.12/1050.01	c GLOBAL bounds - >= 462085 @ 1005.57
1047.22/1050.16	c GLOBAL bounds - >= 462085 @ 1005.67
1047.71/1050.64	c GLOBAL bounds - >= 462085 @ 1006.09
1047.82/1050.79	c GLOBAL bounds - >= 462085 @ 1006.2
1049.22/1052.12	c GLOBAL bounds - >= 462085 @ 1007.47
1051.40/1054.38	c GLOBAL bounds - >= 462085 @ 1009.67
1056.79/1059.70	c GLOBAL bounds - >= 462085 @ 1014.91
1060.09/1063.01	c GLOBAL bounds - >= 462085 @ 1018.16
1082.12/1085.12	c GLOBAL bounds - >= 465347 @ 1040.19
1082.22/1085.25	c GLOBAL bounds - >= 465347 @ 1040.3
1082.22/1085.29	c GLOBAL bounds - >= 465347 @ 1040.33
1082.32/1085.33	c GLOBAL bounds - >= 465347 @ 1040.36
1082.32/1085.37	c GLOBAL bounds - >= 465347 @ 1040.4
1082.42/1085.41	c GLOBAL bounds - >= 465347 @ 1040.43
1082.42/1085.45	c GLOBAL bounds - >= 465347 @ 1040.45
1082.42/1085.49	c GLOBAL bounds - >= 465347 @ 1040.49
1082.51/1085.53	c GLOBAL bounds - >= 465347 @ 1040.52
1082.51/1085.58	c GLOBAL bounds - >= 465347 @ 1040.55
1082.61/1085.62	c GLOBAL bounds - >= 465347 @ 1040.58
1085.71/1088.71	c GLOBAL bounds - >= 465347 @ 1043.59
1085.71/1088.76	c GLOBAL bounds - >= 465347 @ 1043.63
1085.91/1088.92	c GLOBAL bounds - >= 465347 @ 1043.72
1085.91/1088.96	c GLOBAL bounds - >= 465347 @ 1043.76
1086.11/1089.10	c GLOBAL bounds - >= 465347 @ 1043.84
1086.11/1089.15	c GLOBAL bounds - >= 465347 @ 1043.87
1086.21/1089.29	c GLOBAL bounds - >= 465347 @ 1043.96
1086.30/1089.33	c GLOBAL bounds - >= 465347 @ 1043.99
1086.40/1089.46	c GLOBAL bounds - >= 465347 @ 1044.06
1086.50/1089.50	c GLOBAL bounds - >= 465347 @ 1044.09
1086.60/1089.63	c GLOBAL bounds - >= 465347 @ 1044.16
1086.60/1089.67	c GLOBAL bounds - >= 465347 @ 1044.2
1086.80/1089.80	c GLOBAL bounds - >= 465347 @ 1044.27
1086.80/1089.84	c GLOBAL bounds - >= 465347 @ 1044.31
1086.90/1089.97	c GLOBAL bounds - >= 465347 @ 1044.38
1087.00/1090.01	c GLOBAL bounds - >= 465347 @ 1044.41
1087.11/1090.14	c GLOBAL bounds - >= 465347 @ 1044.48
1087.11/1090.18	c GLOBAL bounds - >= 465347 @ 1044.51
1087.30/1090.31	c GLOBAL bounds - >= 465347 @ 1044.58
1087.40/1090.47	c GLOBAL bounds - >= 465347 @ 1044.69
1087.90/1090.94	c GLOBAL bounds - >= 465347 @ 1045.11
1088.00/1091.08	c GLOBAL bounds - >= 465347 @ 1045.2
1088.20/1091.28	c GLOBAL bounds - >= 465347 @ 1045.34
1088.60/1091.67	c GLOBAL bounds - >= 465347 @ 1045.68
1088.89/1091.95	c #Conflicts:      28000 | #Constraints:    3809470
1088.89/1091.95	c GLOBAL bounds - >= 465347 @ 1045.9
1089.40/1092.45	c GLOBAL bounds - >= 465347 @ 1046.34
1089.60/1092.67	c GLOBAL bounds - >= 465347 @ 1046.5
1089.79/1092.85	c GLOBAL bounds - >= 465347 @ 1046.63
1091.10/1094.18	c GLOBAL bounds - >= 465347 @ 1047.89
1092.10/1095.12	c GLOBAL bounds - >= 465347 @ 1048.78
1093.98/1097.05	c GLOBAL bounds - >= 465347 @ 1050.64
1094.18/1097.27	c GLOBAL bounds - >= 465347 @ 1050.81
1103.75/1106.84	c GLOBAL bounds - >= 465347 @ 1060.29
1121.30/1124.44	c GLOBAL bounds - >= 465347 @ 1077.77
1125.10/1128.29	c GLOBAL bounds - >= 465557 @ 1081.61
1125.20/1128.39	c GLOBAL bounds - >= 465557 @ 1081.7
1125.29/1128.44	c GLOBAL bounds - >= 465557 @ 1081.73
1125.29/1128.48	c GLOBAL bounds - >= 465557 @ 1081.77
1125.39/1128.52	c GLOBAL bounds - >= 465557 @ 1081.8
1125.39/1128.56	c GLOBAL bounds - >= 465557 @ 1081.83
1125.49/1128.60	c GLOBAL bounds - >= 465557 @ 1081.86
1125.49/1128.64	c GLOBAL bounds - >= 465557 @ 1081.89
1125.49/1128.68	c GLOBAL bounds - >= 465557 @ 1081.92
1125.59/1128.73	c GLOBAL bounds - >= 465557 @ 1081.95
1125.59/1128.77	c GLOBAL bounds - >= 465557 @ 1081.98
1125.69/1128.81	c GLOBAL bounds - >= 465557 @ 1082.02
1125.69/1128.85	c GLOBAL bounds - >= 465557 @ 1082.05
1126.39/1129.52	c GLOBAL bounds - >= 465557 @ 1082.65
1126.39/1129.56	c GLOBAL bounds - >= 465557 @ 1082.68
1126.59/1129.71	c GLOBAL bounds - >= 465557 @ 1082.79
1126.59/1129.75	c GLOBAL bounds - >= 465557 @ 1082.82
1126.78/1129.90	c GLOBAL bounds - >= 465557 @ 1082.91
1126.78/1129.95	c GLOBAL bounds - >= 465557 @ 1082.95
1126.89/1130.09	c GLOBAL bounds - >= 465557 @ 1083.03
1126.99/1130.14	c GLOBAL bounds - >= 465557 @ 1083.07
1127.09/1130.27	c GLOBAL bounds - >= 465557 @ 1083.14
1127.19/1130.32	c GLOBAL bounds - >= 465557 @ 1083.18
1127.29/1130.45	c GLOBAL bounds - >= 465557 @ 1083.25
1127.38/1130.50	c GLOBAL bounds - >= 465557 @ 1083.28
1127.49/1130.63	c GLOBAL bounds - >= 465557 @ 1083.36
1127.49/1130.67	c GLOBAL bounds - >= 465557 @ 1083.39
1127.69/1130.80	c GLOBAL bounds - >= 465557 @ 1083.46
1127.69/1130.85	c GLOBAL bounds - >= 465557 @ 1083.49
1127.79/1130.98	c GLOBAL bounds - >= 465557 @ 1083.56
1127.89/1131.02	c GLOBAL bounds - >= 465557 @ 1083.6
1127.99/1131.15	c GLOBAL bounds - >= 465557 @ 1083.66
1128.19/1131.30	c GLOBAL bounds - >= 465557 @ 1083.76
1128.28/1131.46	c GLOBAL bounds - >= 465557 @ 1083.85
1128.48/1131.70	c GLOBAL bounds - >= 465557 @ 1084.04
1128.99/1132.16	c GLOBAL bounds - >= 465557 @ 1084.45
1129.38/1132.50	c GLOBAL bounds - >= 465557 @ 1084.74
1129.48/1132.68	c GLOBAL bounds - >= 465557 @ 1084.85
1129.88/1133.09	c GLOBAL bounds - >= 465557 @ 1085.21
1141.54/1144.71	c INPROCESSING
1141.54/1144.71	c GARBAGE COLLECT
1141.54/1144.71	c GLOBAL bounds - >= 465557 @ 1096.71
1153.02/1156.24	c #Conflicts:      29000 | #Constraints:    3926350
1153.02/1156.24	c GLOBAL bounds - >= 465557 @ 1108.14
1172.06/1175.38	c GLOBAL bounds - >= 469891 @ 1127.2
1172.26/1175.53	c GLOBAL bounds - >= 469891 @ 1127.34
1172.26/1175.57	c GLOBAL bounds - >= 469891 @ 1127.37
1172.36/1175.61	c GLOBAL bounds - >= 469891 @ 1127.4
1172.36/1175.65	c GLOBAL bounds - >= 469891 @ 1127.43
1172.36/1175.69	c GLOBAL bounds - >= 469891 @ 1127.47
1172.46/1175.73	c GLOBAL bounds - >= 469891 @ 1127.5
1172.46/1175.78	c GLOBAL bounds - >= 469891 @ 1127.53
1172.56/1175.82	c GLOBAL bounds - >= 469891 @ 1127.56
1173.05/1176.35	c GLOBAL bounds - >= 469891 @ 1128.02
1173.05/1176.39	c GLOBAL bounds - >= 469891 @ 1128.05
1173.26/1176.54	c GLOBAL bounds - >= 469891 @ 1128.14
1173.26/1176.58	c GLOBAL bounds - >= 469891 @ 1128.18
1173.46/1176.73	c GLOBAL bounds - >= 469891 @ 1128.27
1173.46/1176.77	c GLOBAL bounds - >= 469891 @ 1128.3
1173.66/1176.91	c GLOBAL bounds - >= 469891 @ 1128.38
1173.66/1176.95	c GLOBAL bounds - >= 469891 @ 1128.42
1173.77/1177.09	c GLOBAL bounds - >= 469891 @ 1128.5
1173.86/1177.14	c GLOBAL bounds - >= 469891 @ 1128.53
1173.96/1177.27	c GLOBAL bounds - >= 469891 @ 1128.61
1174.05/1177.32	c GLOBAL bounds - >= 469891 @ 1128.64
1174.15/1177.45	c GLOBAL bounds - >= 469891 @ 1128.72
1174.15/1177.49	c GLOBAL bounds - >= 469891 @ 1128.75
1174.35/1177.63	c GLOBAL bounds - >= 469891 @ 1128.82
1174.35/1177.67	c GLOBAL bounds - >= 469891 @ 1128.85
1174.55/1177.80	c GLOBAL bounds - >= 469891 @ 1128.92
1174.55/1177.85	c GLOBAL bounds - >= 469891 @ 1128.96
1174.65/1177.98	c GLOBAL bounds - >= 469891 @ 1129.02
1174.86/1178.12	c GLOBAL bounds - >= 469891 @ 1129.12
1174.96/1178.28	c GLOBAL bounds - >= 469891 @ 1129.21
1175.15/1178.44	c GLOBAL bounds - >= 469891 @ 1129.31
1175.35/1178.60	c GLOBAL bounds - >= 469891 @ 1129.43
1175.76/1179.09	c GLOBAL bounds - >= 469891 @ 1129.86
1176.54/1179.87	c GLOBAL bounds - >= 469891 @ 1130.58
1176.76/1180.08	c GLOBAL bounds - >= 469891 @ 1130.74
1180.44/1183.78	c GLOBAL bounds - >= 469891 @ 1134.38
1202.58/1206.00	c #Conflicts:      30000 | #Constraints:    4008711
1202.58/1206.00	c GLOBAL bounds - >= 469891 @ 1156.48
1210.85/1214.27	c GLOBAL bounds - >= 469891 @ 1164.66
1234.69/1238.13	c #Conflicts:      31000 | #Constraints:    4021325
1234.69/1238.13	c GLOBAL bounds - >= 471026 @ 1188.42
1234.79/1238.23	c GLOBAL bounds - >= 471026 @ 1188.52
1236.08/1239.52	c GLOBAL bounds - >= 471026 @ 1189.74
1236.08/1239.52	c GLOBAL bounds - >= 471026 @ 1189.74
1236.18/1239.65	c GLOBAL bounds - >= 471026 @ 1189.82
1236.18/1239.69	c GLOBAL bounds - >= 471026 @ 1189.84
1236.38/1239.82	c GLOBAL bounds - >= 471026 @ 1189.92
1236.38/1239.86	c GLOBAL bounds - >= 471026 @ 1189.95
1236.47/1239.98	c GLOBAL bounds - >= 471026 @ 1190.02
1236.58/1240.02	c GLOBAL bounds - >= 471026 @ 1190.05
1236.68/1240.14	c GLOBAL bounds - >= 471026 @ 1190.12
1236.68/1240.18	c GLOBAL bounds - >= 471026 @ 1190.15
1236.87/1240.31	c GLOBAL bounds - >= 471026 @ 1190.21
1236.87/1240.35	c GLOBAL bounds - >= 471026 @ 1190.24
1236.97/1240.48	c GLOBAL bounds - >= 471026 @ 1190.31
1237.07/1240.51	c GLOBAL bounds - >= 471026 @ 1190.34
1237.17/1240.62	c GLOBAL bounds - >= 471026 @ 1190.39
1237.17/1240.66	c GLOBAL bounds - >= 471026 @ 1190.41
1237.28/1240.78	c GLOBAL bounds - >= 471026 @ 1190.48
1237.38/1240.81	c GLOBAL bounds - >= 471026 @ 1190.5
1237.47/1240.91	c GLOBAL bounds - >= 471026 @ 1190.55
1237.58/1241.05	c GLOBAL bounds - >= 471026 @ 1190.62
1237.68/1241.19	c GLOBAL bounds - >= 471026 @ 1190.71
1237.97/1241.41	c GLOBAL bounds - >= 471026 @ 1190.87
1238.08/1241.52	c GLOBAL bounds - >= 471026 @ 1190.92
1238.27/1241.72	c GLOBAL bounds - >= 471026 @ 1191.07
1238.77/1242.24	c GLOBAL bounds - >= 471026 @ 1191.53
1238.87/1242.38	c GLOBAL bounds - >= 471026 @ 1191.61
1239.17/1242.66	c GLOBAL bounds - >= 471026 @ 1191.84
1239.37/1242.86	c GLOBAL bounds - >= 471026 @ 1191.98
1239.87/1243.35	c GLOBAL bounds - >= 471026 @ 1192.42
1240.07/1243.55	c GLOBAL bounds - >= 471026 @ 1192.56
1240.36/1243.88	c GLOBAL bounds - >= 471026 @ 1192.85
1240.57/1244.01	c GLOBAL bounds - >= 471026 @ 1192.91
1240.67/1244.14	c GLOBAL bounds - >= 471026 @ 1192.99
1240.76/1244.26	c GLOBAL bounds - >= 471026 @ 1193.05
1242.16/1245.62	c GLOBAL bounds - >= 471026 @ 1194.35
1244.76/1248.25	c GLOBAL bounds - >= 471026 @ 1196.91
1245.16/1248.66	c GLOBAL bounds - >= 471026 @ 1197.27
1245.55/1249.04	c GLOBAL bounds - >= 471026 @ 1197.6
1251.74/1255.29	c GLOBAL bounds - >= 471026 @ 1203.78
1261.61/1265.16	c GLOBAL bounds - >= 471026 @ 1213.56
1261.80/1265.37	c GLOBAL bounds - >= 471026 @ 1213.71
1299.20/1302.86	c #Conflicts:      32000 | #Constraints:    4086357
1299.20/1302.86	c GLOBAL bounds - >= 471026 @ 1250.98
1301.00/1304.66	c GLOBAL bounds - >= 471026 @ 1252.72
1304.68/1308.38	c GLOBAL bounds - >= 471026 @ 1256.38
1305.57/1309.25	c GLOBAL bounds - >= 471026 @ 1257.19
1313.25/1316.96	c #Conflicts:      33000 | #Constraints:    4110579
1313.25/1316.96	c GLOBAL bounds - >= 472038 @ 1264.88
1313.46/1317.11	c GLOBAL bounds - >= 472038 @ 1265.02
1313.46/1317.15	c GLOBAL bounds - >= 472038 @ 1265.05
1313.46/1317.19	c GLOBAL bounds - >= 472038 @ 1265.09
1313.55/1317.23	c GLOBAL bounds - >= 472038 @ 1265.12
1313.55/1317.27	c GLOBAL bounds - >= 472038 @ 1265.15
1313.65/1317.32	c GLOBAL bounds - >= 472038 @ 1265.19
1313.65/1317.36	c GLOBAL bounds - >= 472038 @ 1265.22
1313.75/1317.40	c GLOBAL bounds - >= 472038 @ 1265.25
1313.75/1317.42	c GLOBAL bounds - >= 472038 @ 1265.27
1319.24/1322.97	c GLOBAL bounds - >= 472038 @ 1270.73
1319.34/1323.01	c GLOBAL bounds - >= 472038 @ 1270.77
1320.14/1323.80	c GLOBAL bounds - >= 472038 @ 1271.51
1320.14/1323.85	c GLOBAL bounds - >= 472038 @ 1271.54
1320.23/1323.99	c GLOBAL bounds - >= 472038 @ 1271.63
1320.33/1324.03	c GLOBAL bounds - >= 472038 @ 1271.67
1320.44/1324.17	c GLOBAL bounds - >= 472038 @ 1271.74
1320.53/1324.21	c GLOBAL bounds - >= 472038 @ 1271.78
1320.63/1324.34	c GLOBAL bounds - >= 472038 @ 1271.85
1320.63/1324.38	c GLOBAL bounds - >= 472038 @ 1271.88
1320.83/1324.51	c GLOBAL bounds - >= 472038 @ 1271.96
1320.83/1324.56	c GLOBAL bounds - >= 472038 @ 1271.99
1320.93/1324.69	c GLOBAL bounds - >= 472038 @ 1272.06
1321.03/1324.73	c GLOBAL bounds - >= 472038 @ 1272.09
1321.13/1324.86	c GLOBAL bounds - >= 472038 @ 1272.16
1321.23/1324.90	c GLOBAL bounds - >= 472038 @ 1272.2
1321.33/1325.03	c GLOBAL bounds - >= 472038 @ 1272.27
1321.33/1325.07	c GLOBAL bounds - >= 472038 @ 1272.31
1321.44/1325.19	c GLOBAL bounds - >= 472038 @ 1272.37
1321.73/1325.46	c GLOBAL bounds - >= 472038 @ 1272.59
1322.03/1325.72	c GLOBAL bounds - >= 472038 @ 1272.79
1322.12/1325.86	c GLOBAL bounds - >= 472038 @ 1272.89
1322.44/1326.18	c GLOBAL bounds - >= 472038 @ 1273.16
1322.63/1326.33	c GLOBAL bounds - >= 472038 @ 1273.25
1322.82/1326.58	c GLOBAL bounds - >= 472038 @ 1273.44
1323.02/1326.80	c GLOBAL bounds - >= 472038 @ 1273.61
1323.52/1327.20	c GLOBAL bounds - >= 472038 @ 1273.95
1323.72/1327.47	c GLOBAL bounds - >= 472038 @ 1274.17
1324.52/1328.23	c GLOBAL bounds - >= 472038 @ 1274.87
1326.02/1329.78	c GLOBAL bounds - >= 472038 @ 1276.37
1339.39/1343.19	c INPROCESSING
1339.39/1343.19	c GARBAGE COLLECT
1339.39/1343.19	c GLOBAL bounds - >= 472038 @ 1289.66
1340.38/1344.13	c GLOBAL bounds - >= 472038 @ 1290.52
1358.93/1362.79	c GLOBAL bounds - >= 472038 @ 1309.06
1364.80/1368.64	c GLOBAL bounds - >= 472038 @ 1314.84
1403.89/1407.88	c #Conflicts:      34000 | #Constraints:    4189650
1403.89/1407.88	c GLOBAL bounds - >= 473579 @ 1353.94
1404.09/1408.02	c GLOBAL bounds - >= 473579 @ 1354.06
1404.09/1408.06	c GLOBAL bounds - >= 473579 @ 1354.1
1404.09/1408.10	c GLOBAL bounds - >= 473579 @ 1354.12
1404.19/1408.14	c GLOBAL bounds - >= 473579 @ 1354.16
1404.19/1408.18	c GLOBAL bounds - >= 473579 @ 1354.19
1404.29/1408.22	c GLOBAL bounds - >= 473579 @ 1354.21
1404.29/1408.26	c GLOBAL bounds - >= 473579 @ 1354.24
1404.39/1408.31	c GLOBAL bounds - >= 473579 @ 1354.27
1404.39/1408.35	c GLOBAL bounds - >= 473579 @ 1354.3
1408.27/1412.20	c GLOBAL bounds - >= 473579 @ 1358.07
1408.27/1412.24	c GLOBAL bounds - >= 473579 @ 1358.1
1408.58/1412.59	c GLOBAL bounds - >= 473579 @ 1358.39
1408.68/1412.63	c GLOBAL bounds - >= 473579 @ 1358.42
1408.78/1412.78	c GLOBAL bounds - >= 473579 @ 1358.51
1408.88/1412.82	c GLOBAL bounds - >= 473579 @ 1358.54
1408.97/1412.96	c GLOBAL bounds - >= 473579 @ 1358.62
1409.08/1413.01	c GLOBAL bounds - >= 473579 @ 1358.65
1409.18/1413.14	c GLOBAL bounds - >= 473579 @ 1358.72
1409.18/1413.18	c GLOBAL bounds - >= 473579 @ 1358.76
1409.37/1413.31	c GLOBAL bounds - >= 473579 @ 1358.83
1409.37/1413.35	c GLOBAL bounds - >= 473579 @ 1358.86
1409.48/1413.48	c GLOBAL bounds - >= 473579 @ 1358.93
1409.57/1413.52	c GLOBAL bounds - >= 473579 @ 1358.96
1409.67/1413.64	c GLOBAL bounds - >= 473579 @ 1359.03
1409.67/1413.68	c GLOBAL bounds - >= 473579 @ 1359.07
1409.87/1413.81	c GLOBAL bounds - >= 473579 @ 1359.14
1409.87/1413.85	c GLOBAL bounds - >= 473579 @ 1359.18
1409.97/1413.97	c GLOBAL bounds - >= 473579 @ 1359.25
1410.27/1414.25	c GLOBAL bounds - >= 473579 @ 1359.44
1410.47/1414.43	c GLOBAL bounds - >= 473579 @ 1359.55
1410.57/1414.56	c GLOBAL bounds - >= 473579 @ 1359.62
1410.77/1414.79	c GLOBAL bounds - >= 473579 @ 1359.78
1410.97/1414.93	c GLOBAL bounds - >= 473579 @ 1359.87
1411.08/1415.08	c GLOBAL bounds - >= 473579 @ 1359.94
1411.27/1415.22	c GLOBAL bounds - >= 473579 @ 1360.03
1411.47/1415.41	c GLOBAL bounds - >= 473579 @ 1360.17
1411.57/1415.56	c GLOBAL bounds - >= 473579 @ 1360.27
1416.55/1420.58	c #Conflicts:      35000 | #Constraints:    4240840
1416.55/1420.58	c GLOBAL bounds - >= 473579 @ 1365.21
1417.25/1421.25	c GLOBAL bounds - >= 473579 @ 1365.82
1420.25/1424.22	c GLOBAL bounds - >= 473579 @ 1368.72
1425.73/1429.71	c GLOBAL bounds - >= 473579 @ 1374.13
1425.93/1429.95	c GLOBAL bounds - >= 473579 @ 1374.32
1476.19/1480.30	c #Conflicts:      36000 | #Constraints:    4269295
1476.19/1480.30	c GLOBAL bounds - >= 473579 @ 1424.44
1499.22/1503.41	c GLOBAL bounds - >= 477543 @ 1447.47
1499.32/1503.59	c GLOBAL bounds - >= 477543 @ 1447.64
1499.42/1503.63	c GLOBAL bounds - >= 477543 @ 1447.68
1499.42/1503.68	c GLOBAL bounds - >= 477543 @ 1447.71
1499.52/1503.72	c GLOBAL bounds - >= 477543 @ 1447.74
1499.52/1503.76	c GLOBAL bounds - >= 477543 @ 1447.77
1499.62/1503.80	c GLOBAL bounds - >= 477543 @ 1447.8
1499.62/1503.84	c GLOBAL bounds - >= 477543 @ 1447.84
1499.62/1503.88	c GLOBAL bounds - >= 477543 @ 1447.87
1499.72/1503.92	c GLOBAL bounds - >= 477543 @ 1447.9
1499.72/1503.96	c GLOBAL bounds - >= 477543 @ 1447.93
1499.72/1504.00	c GLOBAL bounds - >= 477543 @ 1447.97
1499.82/1504.04	c GLOBAL bounds - >= 477543 @ 1448
1501.11/1505.31	c #Conflicts:      37000 | #Constraints:    4276109
1501.11/1505.31	c GLOBAL bounds - >= 477543 @ 1449.21
1501.11/1505.35	c GLOBAL bounds - >= 477543 @ 1449.24
1501.31/1505.53	c GLOBAL bounds - >= 477543 @ 1449.36
1501.31/1505.57	c GLOBAL bounds - >= 477543 @ 1449.4
1501.51/1505.72	c GLOBAL bounds - >= 477543 @ 1449.49
1501.51/1505.76	c GLOBAL bounds - >= 477543 @ 1449.52
1501.71/1505.90	c GLOBAL bounds - >= 477543 @ 1449.6
1501.71/1505.94	c GLOBAL bounds - >= 477543 @ 1449.63
1501.82/1506.08	c GLOBAL bounds - >= 477543 @ 1449.7
1501.91/1506.12	c GLOBAL bounds - >= 477543 @ 1449.73
1502.01/1506.26	c GLOBAL bounds - >= 477543 @ 1449.81
1502.11/1506.30	c GLOBAL bounds - >= 477543 @ 1449.85
1502.21/1506.43	c GLOBAL bounds - >= 477543 @ 1449.92
1502.21/1506.47	c GLOBAL bounds - >= 477543 @ 1449.95
1502.41/1506.61	c GLOBAL bounds - >= 477543 @ 1450.02
1502.41/1506.65	c GLOBAL bounds - >= 477543 @ 1450.06
1502.51/1506.77	c GLOBAL bounds - >= 477543 @ 1450.13
1502.61/1506.82	c GLOBAL bounds - >= 477543 @ 1450.16
1502.71/1506.94	c GLOBAL bounds - >= 477543 @ 1450.22
1502.92/1507.15	c GLOBAL bounds - >= 477543 @ 1450.38
1503.11/1507.36	c GLOBAL bounds - >= 477543 @ 1450.53
1503.31/1507.50	c GLOBAL bounds - >= 477543 @ 1450.62
1503.41/1507.64	c GLOBAL bounds - >= 477543 @ 1450.71
1503.51/1507.79	c GLOBAL bounds - >= 477543 @ 1450.82
1503.82/1508.00	c GLOBAL bounds - >= 477543 @ 1450.98
1504.01/1508.20	c GLOBAL bounds - >= 477543 @ 1451.14
1505.01/1509.20	c GLOBAL bounds - >= 477543 @ 1452.07
1505.50/1509.73	c GLOBAL bounds - >= 477543 @ 1452.54
1506.50/1510.72	c GLOBAL bounds - >= 477543 @ 1453.48
1506.69/1511.00	c GLOBAL bounds - >= 477543 @ 1453.71
1507.00/1511.21	c GLOBAL bounds - >= 477543 @ 1453.86
1507.90/1512.16	c GLOBAL bounds - >= 477543 @ 1454.76
1509.50/1513.74	c GLOBAL bounds - >= 477543 @ 1456.27
1511.09/1515.34	c GLOBAL bounds - >= 477543 @ 1457.81
1511.29/1515.52	c GLOBAL bounds - >= 477543 @ 1457.94
1511.48/1515.71	c GLOBAL bounds - >= 477543 @ 1458.07
1512.08/1516.38	c GLOBAL bounds - >= 477543 @ 1458.69
1512.28/1516.59	c GLOBAL bounds - >= 477543 @ 1458.84
1522.56/1526.87	c GLOBAL bounds - >= 477543 @ 1469.04
1560.75/1565.19	c #Conflicts:      38000 | #Constraints:    4371316
1560.75/1565.19	c INPROCESSING
1560.75/1565.19	c GARBAGE COLLECT
1560.75/1565.19	c GLOBAL bounds - >= 477543 @ 1507.12
1561.44/1565.81	c GLOBAL bounds - >= 477543 @ 1507.69
1614.49/1619.03	c #Conflicts:      39000 | #Constraints:    4379091
1614.49/1619.03	c GLOBAL bounds - >= 479587 @ 1560.72
1614.59/1619.16	c GLOBAL bounds - >= 479587 @ 1560.83
1614.69/1619.20	c GLOBAL bounds - >= 479587 @ 1560.86
1614.69/1619.24	c GLOBAL bounds - >= 479587 @ 1560.9
1614.69/1619.28	c GLOBAL bounds - >= 479587 @ 1560.93
1614.78/1619.32	c GLOBAL bounds - >= 479587 @ 1560.96
1614.78/1619.36	c GLOBAL bounds - >= 479587 @ 1560.99
1614.89/1619.40	c GLOBAL bounds - >= 479587 @ 1561.02
1614.89/1619.44	c GLOBAL bounds - >= 479587 @ 1561.05
1614.89/1619.48	c GLOBAL bounds - >= 479587 @ 1561.09
1614.99/1619.52	c GLOBAL bounds - >= 479587 @ 1561.12
1614.99/1619.56	c GLOBAL bounds - >= 479587 @ 1561.15
1618.38/1622.99	c GLOBAL bounds - >= 479587 @ 1564.5
1618.48/1623.03	c GLOBAL bounds - >= 479587 @ 1564.53
1618.59/1623.18	c GLOBAL bounds - >= 479587 @ 1564.62
1618.68/1623.22	c GLOBAL bounds - >= 479587 @ 1564.65
1618.78/1623.37	c GLOBAL bounds - >= 479587 @ 1564.74
1618.88/1623.41	c GLOBAL bounds - >= 479587 @ 1564.77
1618.98/1623.54	c GLOBAL bounds - >= 479587 @ 1564.85
1618.98/1623.58	c GLOBAL bounds - >= 479587 @ 1564.88
1619.17/1623.71	c GLOBAL bounds - >= 479587 @ 1564.95
1619.17/1623.76	c GLOBAL bounds - >= 479587 @ 1564.98
1619.27/1623.89	c GLOBAL bounds - >= 479587 @ 1565.05
1619.38/1623.93	c GLOBAL bounds - >= 479587 @ 1565.09
1619.48/1624.05	c GLOBAL bounds - >= 479587 @ 1565.17
1619.48/1624.10	c GLOBAL bounds - >= 479587 @ 1565.21
1619.67/1624.22	c GLOBAL bounds - >= 479587 @ 1565.27
1619.67/1624.26	c GLOBAL bounds - >= 479587 @ 1565.3
1619.77/1624.38	c GLOBAL bounds - >= 479587 @ 1565.38
1619.88/1624.43	c GLOBAL bounds - >= 479587 @ 1565.41
1619.98/1624.55	c GLOBAL bounds - >= 479587 @ 1565.47
1620.08/1624.68	c GLOBAL bounds - >= 479587 @ 1565.55
1620.28/1624.82	c GLOBAL bounds - >= 479587 @ 1565.64
1620.48/1625.09	c GLOBAL bounds - >= 479587 @ 1565.86
1620.77/1625.38	c GLOBAL bounds - >= 479587 @ 1566.1
1621.08/1625.67	c GLOBAL bounds - >= 479587 @ 1566.33
1621.27/1625.83	c GLOBAL bounds - >= 479587 @ 1566.44
1621.48/1626.08	c GLOBAL bounds - >= 479587 @ 1566.64
1621.67/1626.24	c GLOBAL bounds - >= 479587 @ 1566.74
1623.07/1627.62	c GLOBAL bounds - >= 479587 @ 1568.06
1623.36/1627.93	c GLOBAL bounds - >= 479587 @ 1568.31
1623.87/1628.44	c GLOBAL bounds - >= 479587 @ 1568.76
1626.46/1631.09	c GLOBAL bounds - >= 479587 @ 1571.34
1648.40/1653.07	c #Conflicts:      40000 | #Constraints:    4440054
1648.40/1653.07	c GLOBAL bounds - >= 479587 @ 1593.19
1678.51/1683.22	c #Conflicts:      41000 | #Constraints:    4446503
1678.51/1683.22	c GLOBAL bounds - >= 479587 @ 1623.18
1678.80/1683.57	c GLOBAL bounds - >= 479587 @ 1623.48
1733.35/1738.25	c #Conflicts:      42000 | #Constraints:    4458541
1733.35/1738.25	c GLOBAL bounds - >= 481902 @ 1677.97
1733.54/1738.42	c GLOBAL bounds - >= 481902 @ 1678.13
1733.54/1738.46	c GLOBAL bounds - >= 481902 @ 1678.16
1733.64/1738.51	c GLOBAL bounds - >= 481902 @ 1678.19
1733.64/1738.55	c GLOBAL bounds - >= 481902 @ 1678.22
1733.64/1738.59	c GLOBAL bounds - >= 481902 @ 1678.26
1733.74/1738.63	c GLOBAL bounds - >= 481902 @ 1678.3
1733.74/1738.67	c GLOBAL bounds - >= 481902 @ 1678.33
1733.84/1738.71	c GLOBAL bounds - >= 481902 @ 1678.36
1733.84/1738.75	c GLOBAL bounds - >= 481902 @ 1678.39
1734.15/1739.09	c GLOBAL bounds - >= 481902 @ 1678.68
1734.25/1739.13	c GLOBAL bounds - >= 481902 @ 1678.71
1734.64/1739.59	c GLOBAL bounds - >= 481902 @ 1679.13
1734.74/1739.63	c GLOBAL bounds - >= 481902 @ 1679.16
1734.93/1739.82	c GLOBAL bounds - >= 481902 @ 1679.28
1734.93/1739.86	c GLOBAL bounds - >= 481902 @ 1679.31
1735.14/1740.02	c GLOBAL bounds - >= 481902 @ 1679.41
1735.14/1740.06	c GLOBAL bounds - >= 481902 @ 1679.45
1735.34/1740.21	c GLOBAL bounds - >= 481902 @ 1679.55
1735.34/1740.26	c GLOBAL bounds - >= 481902 @ 1679.59
1735.53/1740.41	c GLOBAL bounds - >= 481902 @ 1679.69
1735.53/1740.45	c GLOBAL bounds - >= 481902 @ 1679.73
1735.74/1740.61	c GLOBAL bounds - >= 481902 @ 1679.83
1735.74/1740.65	c GLOBAL bounds - >= 481902 @ 1679.86
1735.84/1740.79	c GLOBAL bounds - >= 481902 @ 1679.94
1735.94/1740.83	c GLOBAL bounds - >= 481902 @ 1679.98
1736.03/1740.97	c GLOBAL bounds - >= 481902 @ 1680.06
1736.14/1741.02	c GLOBAL bounds - >= 481902 @ 1680.1
1736.24/1741.16	c GLOBAL bounds - >= 481902 @ 1680.18
1738.63/1743.59	c GLOBAL bounds - >= 481902 @ 1682.55
1739.03/1743.98	c GLOBAL bounds - >= 481902 @ 1682.89
1739.23/1744.17	c GLOBAL bounds - >= 481902 @ 1683.03
1739.43/1744.36	c GLOBAL bounds - >= 481902 @ 1683.16
1741.62/1746.52	c GLOBAL bounds - >= 481902 @ 1685.26
1741.82/1746.72	c GLOBAL bounds - >= 481902 @ 1685.41
1815.50/1820.62	c #Conflicts:      43000 | #Constraints:    4538914
1815.50/1820.62	c GLOBAL bounds - >= 481902 @ 1758.97
1816.20/1821.39	c GLOBAL bounds - >= 481902 @ 1759.68
1822.68/1827.84	c #Conflicts:      44000 | #Constraints:    4550882
1822.68/1827.84	c GLOBAL bounds - >= 483008 @ 1766.1
1822.89/1828.02	c GLOBAL bounds - >= 483008 @ 1766.28
1823.28/1828.49	c GLOBAL bounds - >= 483008 @ 1766.68
1823.38/1828.52	c GLOBAL bounds - >= 483008 @ 1766.71
1824.68/1829.84	c GLOBAL bounds - >= 483008 @ 1767.97
1824.68/1829.88	c GLOBAL bounds - >= 483008 @ 1767.99
1824.89/1830.03	c GLOBAL bounds - >= 483008 @ 1768.09
1824.89/1830.06	c GLOBAL bounds - >= 483008 @ 1768.11
1825.08/1830.20	c GLOBAL bounds - >= 483008 @ 1768.19
1825.08/1830.23	c GLOBAL bounds - >= 483008 @ 1768.22
1825.17/1830.37	c GLOBAL bounds - >= 483008 @ 1768.3
1825.28/1830.41	c GLOBAL bounds - >= 483008 @ 1768.32
1825.38/1830.55	c GLOBAL bounds - >= 483008 @ 1768.4
1825.38/1830.58	c GLOBAL bounds - >= 483008 @ 1768.43
1825.58/1830.72	c GLOBAL bounds - >= 483008 @ 1768.51
1825.58/1830.76	c GLOBAL bounds - >= 483008 @ 1768.54
1825.67/1830.88	c GLOBAL bounds - >= 483008 @ 1768.62
1825.78/1830.93	c GLOBAL bounds - >= 483008 @ 1768.65
1825.88/1831.06	c GLOBAL bounds - >= 483008 @ 1768.73
1825.88/1831.10	c GLOBAL bounds - >= 483008 @ 1768.76
1826.08/1831.21	c GLOBAL bounds - >= 483008 @ 1768.81
1826.18/1831.33	c GLOBAL bounds - >= 483008 @ 1768.88
1826.27/1831.49	c GLOBAL bounds - >= 483008 @ 1768.98
1826.48/1831.66	c GLOBAL bounds - >= 483008 @ 1769.11
1826.67/1831.80	c GLOBAL bounds - >= 483008 @ 1769.21
1826.77/1831.94	c GLOBAL bounds - >= 483008 @ 1769.29
1826.98/1832.14	c GLOBAL bounds - >= 483008 @ 1769.42
1827.17/1832.36	c GLOBAL bounds - >= 483008 @ 1769.59
1827.28/1832.48	c GLOBAL bounds - >= 483008 @ 1769.66
1827.57/1832.72	c GLOBAL bounds - >= 483008 @ 1769.84
1827.68/1832.88	c GLOBAL bounds - >= 483008 @ 1769.94
1827.88/1833.08	c GLOBAL bounds - >= 483008 @ 1770.09
1828.07/1833.28	c GLOBAL bounds - >= 483008 @ 1770.24
1838.04/1843.21	c GLOBAL bounds - >= 483008 @ 1780.08
1838.24/1843.41	c GLOBAL bounds - >= 483008 @ 1780.22
1838.54/1843.79	c GLOBAL bounds - >= 483008 @ 1780.54
1838.85/1844.00	c GLOBAL bounds - >= 483008 @ 1780.69
1839.94/1845.16	c GLOBAL bounds - >= 483008 @ 1781.79
1846.92/1852.12	c GLOBAL bounds - >= 483008 @ 1788.66
1856.98/1862.22	c GLOBAL bounds - >= 483008 @ 1798.69
1859.38/1864.60	c GLOBAL bounds - >= 486440 @ 1801.06
1859.47/1864.79	c GLOBAL bounds - >= 486440 @ 1801.23
1859.58/1864.83	c GLOBAL bounds - >= 486440 @ 1801.27
1859.58/1864.87	c GLOBAL bounds - >= 486440 @ 1801.3
1859.67/1864.91	c GLOBAL bounds - >= 486440 @ 1801.33
1859.67/1864.95	c GLOBAL bounds - >= 486440 @ 1801.36
1859.67/1864.99	c GLOBAL bounds - >= 486440 @ 1801.39
1859.78/1865.04	c GLOBAL bounds - >= 486440 @ 1801.42
1859.78/1865.08	c GLOBAL bounds - >= 486440 @ 1801.46
1859.88/1865.12	c GLOBAL bounds - >= 486440 @ 1801.49
1862.57/1867.81	c GLOBAL bounds - >= 486440 @ 1804.11
1862.57/1867.85	c GLOBAL bounds - >= 486440 @ 1804.14
1862.78/1868.01	c GLOBAL bounds - >= 486440 @ 1804.24
1862.78/1868.05	c GLOBAL bounds - >= 486440 @ 1804.27
1862.96/1868.22	c GLOBAL bounds - >= 486440 @ 1804.39
1862.96/1868.27	c GLOBAL bounds - >= 486440 @ 1804.42
1863.16/1868.44	c GLOBAL bounds - >= 486440 @ 1804.52
1863.16/1868.48	c GLOBAL bounds - >= 486440 @ 1804.56
1863.37/1868.63	c GLOBAL bounds - >= 486440 @ 1804.65
1863.37/1868.68	c GLOBAL bounds - >= 486440 @ 1804.68
1863.56/1868.83	c GLOBAL bounds - >= 486440 @ 1804.77
1863.56/1868.87	c GLOBAL bounds - >= 486440 @ 1804.8
1863.77/1869.03	c GLOBAL bounds - >= 486440 @ 1804.89
1863.77/1869.07	c GLOBAL bounds - >= 486440 @ 1804.92
1863.96/1869.22	c GLOBAL bounds - >= 486440 @ 1805.02
1863.96/1869.27	c GLOBAL bounds - >= 486440 @ 1805.05
1864.17/1869.42	c GLOBAL bounds - >= 486440 @ 1805.14
1864.17/1869.46	c GLOBAL bounds - >= 486440 @ 1805.17
1864.37/1869.62	c GLOBAL bounds - >= 486440 @ 1805.28
1866.36/1871.69	c GLOBAL bounds - >= 486440 @ 1807.28
1866.66/1871.90	c GLOBAL bounds - >= 486440 @ 1807.43
1866.96/1872.26	c GLOBAL bounds - >= 486440 @ 1807.75
1867.86/1873.10	c GLOBAL bounds - >= 486440 @ 1808.54
1961.08/1966.60	c #Conflicts:      45000 | #Constraints:    4700890
1961.08/1966.60	c #Conflicts:      46000 | #Constraints:    4701890
1961.08/1966.60	c GLOBAL bounds - >= 486440 @ 1901.39
1961.58/1967.19	c GLOBAL bounds - >= 486440 @ 1901.92
1984.01/1989.66	c #Conflicts:      47000 | #Constraints:    4713352
1984.01/1989.66	c GLOBAL bounds - >= 489693 @ 1924.27
1984.31/1989.91	c GLOBAL bounds - >= 489693 @ 1924.51
1984.31/1989.95	c GLOBAL bounds - >= 489693 @ 1924.54
1984.31/1989.99	c GLOBAL bounds - >= 489693 @ 1924.57
1984.41/1990.03	c GLOBAL bounds - >= 489693 @ 1924.61
1985.70/1991.33	c GLOBAL bounds - >= 489693 @ 1925.83
1985.70/1991.37	c GLOBAL bounds - >= 489693 @ 1925.86
1985.90/1991.53	c GLOBAL bounds - >= 489693 @ 1925.95
1985.90/1991.57	c GLOBAL bounds - >= 489693 @ 1925.99
1986.10/1991.72	c GLOBAL bounds - >= 489693 @ 1926.09
1986.10/1991.76	c GLOBAL bounds - >= 489693 @ 1926.12
1986.30/1991.91	c GLOBAL bounds - >= 489693 @ 1926.21
1986.30/1991.95	c GLOBAL bounds - >= 489693 @ 1926.24
1986.40/1992.09	c GLOBAL bounds - >= 489693 @ 1926.32
1986.50/1992.13	c GLOBAL bounds - >= 489693 @ 1926.35
1986.60/1992.26	c GLOBAL bounds - >= 489693 @ 1926.43
1986.70/1992.30	c GLOBAL bounds - >= 489693 @ 1926.45
1986.80/1992.44	c GLOBAL bounds - >= 489693 @ 1926.53
1986.80/1992.48	c GLOBAL bounds - >= 489693 @ 1926.57
1987.00/1992.62	c GLOBAL bounds - >= 489693 @ 1926.65
1987.00/1992.66	c GLOBAL bounds - >= 489693 @ 1926.68
1987.19/1992.80	c GLOBAL bounds - >= 489693 @ 1926.76
1987.19/1992.84	c GLOBAL bounds - >= 489693 @ 1926.79
1987.29/1992.97	c GLOBAL bounds - >= 489693 @ 1926.87
1987.50/1993.12	c GLOBAL bounds - >= 489693 @ 1926.97
1987.59/1993.25	c GLOBAL bounds - >= 489693 @ 1927.05
1987.80/1993.41	c GLOBAL bounds - >= 489693 @ 1927.15
1988.00/1993.67	c GLOBAL bounds - >= 489693 @ 1927.35
1988.20/1993.80	c GLOBAL bounds - >= 489693 @ 1927.43
1988.40/1994.01	c GLOBAL bounds - >= 489693 @ 1927.57
1988.50/1994.16	c GLOBAL bounds - >= 489693 @ 1927.68
1988.89/1994.52	c GLOBAL bounds - >= 489693 @ 1927.97
1989.29/1994.91	c GLOBAL bounds - >= 489693 @ 1928.31
1989.40/1995.10	c GLOBAL bounds - >= 489693 @ 1928.45
1989.69/1995.31	c GLOBAL bounds - >= 489693 @ 1928.6
1990.09/1995.79	c GLOBAL bounds - >= 489693 @ 1929.03
1990.50/1996.13	c GLOBAL bounds - >= 489693 @ 1929.32
1991.29/1996.97	c GLOBAL bounds - >= 489693 @ 1930.09
1991.59/1997.21	c GLOBAL bounds - >= 489693 @ 1930.27
1992.39/1998.01	c GLOBAL bounds - >= 489693 @ 1931.01
1992.58/1998.21	c GLOBAL bounds - >= 489693 @ 1931.16
1992.88/1998.57	c GLOBAL bounds - >= 489693 @ 1931.46
1993.78/1999.40	c GLOBAL bounds - >= 489693 @ 1932.24
1999.47/2005.11	c GLOBAL bounds - >= 489693 @ 1937.85
2053.40/2059.21	c #Conflicts:      48000 | #Constraints:    4790568
2053.40/2059.21	c GLOBAL bounds - >= 491625 @ 1991.56
2053.50/2059.36	c GLOBAL bounds - >= 491625 @ 1991.69
2053.60/2059.40	c GLOBAL bounds - >= 491625 @ 1991.72
2053.60/2059.44	c GLOBAL bounds - >= 491625 @ 1991.76
2053.60/2059.48	c GLOBAL bounds - >= 491625 @ 1991.79
2053.70/2059.52	c GLOBAL bounds - >= 491625 @ 1991.82
2053.70/2059.56	c GLOBAL bounds - >= 491625 @ 1991.85
2053.80/2059.60	c GLOBAL bounds - >= 491625 @ 1991.88
2053.80/2059.64	c GLOBAL bounds - >= 491625 @ 1991.92
2053.80/2059.68	c GLOBAL bounds - >= 491625 @ 1991.95
2054.31/2060.10	c GLOBAL bounds - >= 491625 @ 1992.31
2054.31/2060.14	c GLOBAL bounds - >= 491625 @ 1992.34
2054.40/2060.29	c GLOBAL bounds - >= 491625 @ 1992.44
2054.50/2060.34	c GLOBAL bounds - >= 491625 @ 1992.47
2054.59/2060.48	c GLOBAL bounds - >= 491625 @ 1992.56
2054.69/2060.53	c GLOBAL bounds - >= 491625 @ 1992.59
2054.80/2060.68	c GLOBAL bounds - >= 491625 @ 1992.68
2054.90/2060.72	c GLOBAL bounds - >= 491625 @ 1992.71
2055.00/2060.86	c GLOBAL bounds - >= 491625 @ 1992.81
2055.09/2060.90	c GLOBAL bounds - >= 491625 @ 1992.84
2055.20/2061.05	c GLOBAL bounds - >= 491625 @ 1992.92
2055.20/2061.09	c GLOBAL bounds - >= 491625 @ 1992.96
2055.39/2061.24	c GLOBAL bounds - >= 491625 @ 1993.05
2055.39/2061.28	c GLOBAL bounds - >= 491625 @ 1993.08
2055.59/2061.43	c GLOBAL bounds - >= 491625 @ 1993.17
2055.59/2061.47	c GLOBAL bounds - >= 491625 @ 1993.2
2055.79/2061.61	c GLOBAL bounds - >= 491625 @ 1993.29
2055.79/2061.66	c GLOBAL bounds - >= 491625 @ 1993.32
2055.99/2061.80	c GLOBAL bounds - >= 491625 @ 1993.41
2056.09/2061.96	c GLOBAL bounds - >= 491625 @ 1993.51
2056.30/2062.12	c GLOBAL bounds - >= 491625 @ 1993.62
2056.39/2062.28	c GLOBAL bounds - >= 491625 @ 1993.73
2056.59/2062.48	c GLOBAL bounds - >= 491625 @ 1993.88
2058.29/2064.12	c GLOBAL bounds - >= 491625 @ 1995.44
2064.27/2070.11	c GLOBAL bounds - >= 491625 @ 2001.32
2064.56/2070.43	c GLOBAL bounds - >= 491625 @ 2001.58
2066.76/2072.67	c GLOBAL bounds - >= 491625 @ 2003.75
2098.46/2104.41	c #Conflicts:      49000 | #Constraints:    4844728
2098.46/2104.41	c GLOBAL bounds - >= 491625 @ 2035.2
2113.41/2119.40	c GLOBAL bounds - >= 492395 @ 2050.08
2113.51/2119.53	c GLOBAL bounds - >= 492395 @ 2050.21
2113.51/2119.58	c GLOBAL bounds - >= 492395 @ 2050.24
2113.61/2119.62	c GLOBAL bounds - >= 492395 @ 2050.27
2113.61/2119.66	c GLOBAL bounds - >= 492395 @ 2050.3
2113.81/2119.87	c GLOBAL bounds - >= 492395 @ 2050.46
2113.91/2119.91	c GLOBAL bounds - >= 492395 @ 2050.49
2114.20/2120.21	c GLOBAL bounds - >= 492395 @ 2050.73
2114.20/2120.25	c GLOBAL bounds - >= 492395 @ 2050.76
2117.19/2123.20	c GLOBAL bounds - >= 492395 @ 2053.62
2117.19/2123.24	c GLOBAL bounds - >= 492395 @ 2053.65
2117.39/2123.41	c GLOBAL bounds - >= 492395 @ 2053.76
2117.39/2123.45	c GLOBAL bounds - >= 492395 @ 2053.79
2117.59/2123.62	c GLOBAL bounds - >= 492395 @ 2053.89
2117.59/2123.66	c GLOBAL bounds - >= 492395 @ 2053.93
2117.79/2123.82	c GLOBAL bounds - >= 492395 @ 2054.03
2117.79/2123.87	c GLOBAL bounds - >= 492395 @ 2054.06
2118.00/2124.02	c GLOBAL bounds - >= 492395 @ 2054.15
2118.00/2124.06	c GLOBAL bounds - >= 492395 @ 2054.19
2118.19/2124.21	c GLOBAL bounds - >= 492395 @ 2054.29
2118.19/2124.25	c GLOBAL bounds - >= 492395 @ 2054.32
2118.39/2124.40	c GLOBAL bounds - >= 492395 @ 2054.41
2118.39/2124.44	c GLOBAL bounds - >= 492395 @ 2054.44
2118.49/2124.58	c GLOBAL bounds - >= 492395 @ 2054.53
2118.69/2124.75	c GLOBAL bounds - >= 492395 @ 2054.64
2119.10/2125.17	c GLOBAL bounds - >= 492395 @ 2055
2119.28/2125.33	c GLOBAL bounds - >= 492395 @ 2055.11
2119.59/2125.66	c GLOBAL bounds - >= 492395 @ 2055.38
2120.39/2126.43	c GLOBAL bounds - >= 492395 @ 2056.1
2120.58/2126.62	c GLOBAL bounds - >= 492395 @ 2056.22
2120.99/2127.07	c GLOBAL bounds - >= 492395 @ 2056.61
2122.88/2128.96	c GLOBAL bounds - >= 492395 @ 2058.43
2128.66/2134.77	c GLOBAL bounds - >= 492395 @ 2064.12
2162.75/2168.91	c #Conflicts:      50000 | #Constraints:    4915288
2162.75/2168.91	c GLOBAL bounds - >= 492395 @ 2097.95
2163.34/2169.50	c GLOBAL bounds - >= 492395 @ 2098.48
2196.04/2202.33	c GLOBAL bounds - >= 493733 @ 2131
2196.24/2202.50	c GLOBAL bounds - >= 493733 @ 2131.16
2196.24/2202.54	c GLOBAL bounds - >= 493733 @ 2131.19
2196.24/2202.58	c GLOBAL bounds - >= 493733 @ 2131.23
2196.34/2202.62	c GLOBAL bounds - >= 493733 @ 2131.26
2196.34/2202.66	c GLOBAL bounds - >= 493733 @ 2131.29
2196.43/2202.70	c GLOBAL bounds - >= 493733 @ 2131.32
2197.93/2204.23	c GLOBAL bounds - >= 493733 @ 2132.79
2197.93/2204.27	c GLOBAL bounds - >= 493733 @ 2132.82
2198.13/2204.46	c GLOBAL bounds - >= 493733 @ 2132.96
2198.24/2204.51	c GLOBAL bounds - >= 493733 @ 2132.99
2198.34/2204.68	c GLOBAL bounds - >= 493733 @ 2133.1
2198.44/2204.72	c GLOBAL bounds - >= 493733 @ 2133.13
2198.53/2204.89	c GLOBAL bounds - >= 493733 @ 2133.24
2198.63/2204.94	c GLOBAL bounds - >= 493733 @ 2133.27
2198.84/2205.11	c GLOBAL bounds - >= 493733 @ 2133.39
2198.84/2205.15	c GLOBAL bounds - >= 493733 @ 2133.42
2199.03/2205.32	c GLOBAL bounds - >= 493733 @ 2133.53
2199.03/2205.36	c GLOBAL bounds - >= 493733 @ 2133.57
2199.23/2205.53	c GLOBAL bounds - >= 493733 @ 2133.68
2199.23/2205.58	c GLOBAL bounds - >= 493733 @ 2133.71
2199.43/2205.73	c GLOBAL bounds - >= 493733 @ 2133.81
2199.43/2205.77	c GLOBAL bounds - >= 493733 @ 2133.84
2199.63/2205.94	c GLOBAL bounds - >= 493733 @ 2133.96
2199.63/2205.99	c GLOBAL bounds - >= 493733 @ 2133.99
2199.83/2206.16	c GLOBAL bounds - >= 493733 @ 2134.11
2201.83/2208.19	c #Conflicts:      51000 | #Constraints:    4969244
2201.83/2208.19	c GLOBAL bounds - >= 493733 @ 2136.06
2209.89/2216.28	c GLOBAL bounds - >= 493733 @ 2144.03
2227.94/2234.31	c GLOBAL bounds - >= 493733 @ 2161.84
2228.53/2235.00	c GLOBAL bounds - >= 493733 @ 2162.47
2242.60/2249.01	c GLOBAL bounds - >= 493948 @ 2176.37
2242.70/2249.16	c GLOBAL bounds - >= 493948 @ 2176.51
2242.78/2249.21	c GLOBAL bounds - >= 493948 @ 2176.55
2242.78/2249.25	c GLOBAL bounds - >= 493948 @ 2176.58
2242.78/2249.29	c GLOBAL bounds - >= 493948 @ 2176.61
2242.88/2249.33	c GLOBAL bounds - >= 493948 @ 2176.65
2245.28/2251.75	c GLOBAL bounds - >= 493948 @ 2178.99
2245.28/2251.79	c GLOBAL bounds - >= 493948 @ 2179.02
2245.48/2251.95	c GLOBAL bounds - >= 493948 @ 2179.12
2245.48/2251.99	c GLOBAL bounds - >= 493948 @ 2179.15
2245.69/2252.15	c GLOBAL bounds - >= 493948 @ 2179.24
2245.69/2252.19	c GLOBAL bounds - >= 493948 @ 2179.28
2245.88/2252.33	c GLOBAL bounds - >= 493948 @ 2179.36
2245.88/2252.37	c GLOBAL bounds - >= 493948 @ 2179.4
2246.08/2252.53	c GLOBAL bounds - >= 493948 @ 2179.5
2246.08/2252.57	c GLOBAL bounds - >= 493948 @ 2179.53
2246.27/2252.73	c GLOBAL bounds - >= 493948 @ 2179.64
2246.27/2252.78	c GLOBAL bounds - >= 493948 @ 2179.67
2246.47/2252.92	c GLOBAL bounds - >= 493948 @ 2179.76
2246.47/2252.96	c GLOBAL bounds - >= 493948 @ 2179.79
2246.58/2253.10	c GLOBAL bounds - >= 493948 @ 2179.87
2246.68/2253.14	c GLOBAL bounds - >= 493948 @ 2179.9
2246.87/2253.30	c GLOBAL bounds - >= 493948 @ 2180
2246.87/2253.34	c GLOBAL bounds - >= 493948 @ 2180.03
2246.97/2253.48	c GLOBAL bounds - >= 493948 @ 2180.11
2247.47/2253.97	c GLOBAL bounds - >= 493948 @ 2180.54
2247.68/2254.13	c GLOBAL bounds - >= 493948 @ 2180.65
2247.97/2254.43	c GLOBAL bounds - >= 493948 @ 2180.9
2248.17/2254.66	c GLOBAL bounds - >= 493948 @ 2181.08
2248.97/2255.42	c GLOBAL bounds - >= 493948 @ 2181.77
2382.14/2389.10	c #Conflicts:      52000 | #Constraints:    5026975
2382.14/2389.10	c INPROCESSING
2382.14/2389.10	c GARBAGE COLLECT
2382.14/2389.10	c #Conflicts:      53000 | #Constraints:    5018028
2382.14/2389.10	c #Conflicts:      54000 | #Constraints:    5019028
2382.14/2389.10	c #Conflicts:      55000 | #Constraints:    5020028
2382.14/2389.10	c GLOBAL bounds - >= 493948 @ 2314.6
2382.54/2389.40	c GLOBAL bounds - >= 493948 @ 2314.84
2399.48/2406.48	c GLOBAL bounds - >= 493948 @ 2331.8
2401.98/2408.91	c GLOBAL bounds - >= 493948 @ 2334.16
2419.62/2426.66	c GLOBAL bounds - >= 493948 @ 2351.76
2420.02/2427.04	c GLOBAL bounds - >= 493948 @ 2352.08
2432.08/2439.10	c #Conflicts:      56000 | #Constraints:    5048154
2432.08/2439.10	c GLOBAL bounds - >= 496751 @ 2364.11
2432.27/2439.30	c GLOBAL bounds - >= 496751 @ 2364.28
2432.27/2439.34	c GLOBAL bounds - >= 496751 @ 2364.32
2432.27/2439.38	c GLOBAL bounds - >= 496751 @ 2364.35
2432.37/2439.42	c GLOBAL bounds - >= 496751 @ 2364.39
2432.37/2439.46	c GLOBAL bounds - >= 496751 @ 2364.42
2432.47/2439.50	c GLOBAL bounds - >= 496751 @ 2364.46
2432.47/2439.55	c GLOBAL bounds - >= 496751 @ 2364.49
2434.36/2441.42	c GLOBAL bounds - >= 496751 @ 2366.3
2434.36/2441.46	c GLOBAL bounds - >= 496751 @ 2366.33
2434.57/2441.61	c GLOBAL bounds - >= 496751 @ 2366.43
2434.57/2441.65	c GLOBAL bounds - >= 496751 @ 2366.46
2434.67/2441.79	c GLOBAL bounds - >= 496751 @ 2366.54
2434.77/2441.83	c GLOBAL bounds - >= 496751 @ 2366.57
2434.87/2441.97	c GLOBAL bounds - >= 496751 @ 2366.65
2434.97/2442.01	c GLOBAL bounds - >= 496751 @ 2366.68
2435.07/2442.14	c GLOBAL bounds - >= 496751 @ 2366.76
2435.07/2442.18	c GLOBAL bounds - >= 496751 @ 2366.78
2435.26/2442.31	c GLOBAL bounds - >= 496751 @ 2366.85
2435.26/2442.35	c GLOBAL bounds - >= 496751 @ 2366.88
2435.36/2442.48	c GLOBAL bounds - >= 496751 @ 2366.95
2435.46/2442.52	c GLOBAL bounds - >= 496751 @ 2366.98
2435.56/2442.64	c GLOBAL bounds - >= 496751 @ 2367.04
2435.56/2442.68	c GLOBAL bounds - >= 496751 @ 2367.07
2435.77/2442.81	c GLOBAL bounds - >= 496751 @ 2367.14
2435.77/2442.85	c GLOBAL bounds - >= 496751 @ 2367.17
2435.86/2442.99	c GLOBAL bounds - >= 496751 @ 2367.25
2436.07/2443.13	c GLOBAL bounds - >= 496751 @ 2367.34
2436.17/2443.28	c GLOBAL bounds - >= 496751 @ 2367.43
2436.56/2443.65	c GLOBAL bounds - >= 496751 @ 2367.72
2436.66/2443.79	c GLOBAL bounds - >= 496751 @ 2367.81
2436.86/2443.99	c GLOBAL bounds - >= 496751 @ 2367.95
2437.16/2444.22	c GLOBAL bounds - >= 496751 @ 2368.12
2437.46/2444.50	c GLOBAL bounds - >= 496751 @ 2368.35
2438.25/2445.38	c GLOBAL bounds - >= 496751 @ 2369.18
2438.86/2445.93	c GLOBAL bounds - >= 496751 @ 2369.67
2439.65/2446.77	c GLOBAL bounds - >= 496751 @ 2370.46
2439.96/2447.04	c GLOBAL bounds - >= 496751 @ 2370.66
2441.55/2448.63	c GLOBAL bounds - >= 496751 @ 2372.2
2443.05/2450.17	c GLOBAL bounds - >= 496751 @ 2373.68
2444.14/2451.23	c GLOBAL bounds - >= 496751 @ 2374.68
2444.43/2451.53	c GLOBAL bounds - >= 496751 @ 2374.94
2446.13/2453.25	c GLOBAL bounds - >= 496751 @ 2376.59
2446.73/2453.89	c GLOBAL bounds - >= 496751 @ 2377.18
2447.03/2454.14	c GLOBAL bounds - >= 496751 @ 2377.38
2475.54/2482.77	c GLOBAL bounds - >= 496751 @ 2405.82
2488.69/2495.96	c #Conflicts:      57000 | #Constraints:    5115302
2488.69/2495.96	c GLOBAL bounds - >= 510819 @ 2418.96
2489.19/2496.47	c GLOBAL bounds - >= 510819 @ 2419.4
2489.29/2496.51	c GLOBAL bounds - >= 510819 @ 2419.42
2489.29/2496.55	c GLOBAL bounds - >= 510819 @ 2419.46
2489.29/2496.59	c GLOBAL bounds - >= 510819 @ 2419.49
2489.39/2496.63	c GLOBAL bounds - >= 510819 @ 2419.52
2489.39/2496.67	c GLOBAL bounds - >= 510819 @ 2419.55
2489.49/2496.71	c GLOBAL bounds - >= 510819 @ 2419.59
2489.69/2496.94	c GLOBAL bounds - >= 510819 @ 2419.74
2489.69/2496.98	c GLOBAL bounds - >= 510819 @ 2419.78
2489.98/2497.20	c GLOBAL bounds - >= 510819 @ 2419.94
2489.98/2497.25	c GLOBAL bounds - >= 510819 @ 2419.98
2490.59/2497.87	c GLOBAL bounds - >= 510819 @ 2420.54
2490.68/2497.92	c GLOBAL bounds - >= 510819 @ 2420.58
2490.79/2498.08	c GLOBAL bounds - >= 510819 @ 2420.69
2490.89/2498.13	c GLOBAL bounds - >= 510819 @ 2420.72
2490.98/2498.29	c GLOBAL bounds - >= 510819 @ 2420.83
2491.09/2498.33	c GLOBAL bounds - >= 510819 @ 2420.86
2491.18/2498.49	c GLOBAL bounds - >= 510819 @ 2420.95
2491.28/2498.53	c GLOBAL bounds - >= 510819 @ 2420.99
2491.39/2498.68	c GLOBAL bounds - >= 510819 @ 2421.09
2491.49/2498.73	c GLOBAL bounds - >= 510819 @ 2421.12
2491.58/2498.88	c GLOBAL bounds - >= 510819 @ 2421.2
2491.69/2498.92	c GLOBAL bounds - >= 510819 @ 2421.24
2491.79/2499.06	c GLOBAL bounds - >= 510819 @ 2421.32
2491.89/2499.11	c GLOBAL bounds - >= 510819 @ 2421.35
2491.98/2499.24	c GLOBAL bounds - >= 510819 @ 2421.44
2492.18/2499.40	c GLOBAL bounds - >= 510819 @ 2421.53
2492.28/2499.55	c GLOBAL bounds - >= 510819 @ 2421.63
2492.48/2499.70	c GLOBAL bounds - >= 510819 @ 2421.72
2492.58/2499.85	c GLOBAL bounds - >= 510819 @ 2421.81
2492.78/2500.00	c GLOBAL bounds - >= 510819 @ 2421.91
2493.08/2500.32	c GLOBAL bounds - >= 510819 @ 2422.16
2493.18/2500.47	c GLOBAL bounds - >= 510819 @ 2422.26
2493.37/2500.62	c GLOBAL bounds - >= 510819 @ 2422.35
2493.57/2500.83	c GLOBAL bounds - >= 510819 @ 2422.51
2493.78/2501.00	c GLOBAL bounds - >= 510819 @ 2422.62
2493.98/2501.24	c GLOBAL bounds - >= 510819 @ 2422.81
2495.07/2502.34	c GLOBAL bounds - >= 510819 @ 2423.85
2497.77/2505.09	c GLOBAL bounds - >= 510819 @ 2426.53
2499.76/2507.03	c GLOBAL bounds - >= 510819 @ 2428.41
2537.75/2545.17	c GLOBAL bounds - >= 522461 @ 2466.38
2538.23/2545.63	c GLOBAL bounds - >= 522461 @ 2466.81
2538.23/2545.67	c GLOBAL bounds - >= 522461 @ 2466.85
2538.34/2545.71	c GLOBAL bounds - >= 522461 @ 2466.88
2538.34/2545.76	c GLOBAL bounds - >= 522461 @ 2466.91
2538.44/2545.80	c GLOBAL bounds - >= 522461 @ 2466.95
2538.44/2545.84	c GLOBAL bounds - >= 522461 @ 2466.98
2538.44/2545.89	c GLOBAL bounds - >= 522461 @ 2467.01
2538.53/2545.93	c GLOBAL bounds - >= 522461 @ 2467.05
2538.53/2545.97	c GLOBAL bounds - >= 522461 @ 2467.08
2538.64/2546.02	c GLOBAL bounds - >= 522461 @ 2467.12
2538.64/2546.06	c GLOBAL bounds - >= 522461 @ 2467.16
2538.74/2546.11	c GLOBAL bounds - >= 522461 @ 2467.2
2538.74/2546.15	c GLOBAL bounds - >= 522461 @ 2467.23
2538.74/2546.19	c GLOBAL bounds - >= 522461 @ 2467.27
2538.93/2546.34	c GLOBAL bounds - >= 522461 @ 2467.36
2538.93/2546.38	c GLOBAL bounds - >= 522461 @ 2467.39
2539.13/2546.52	c GLOBAL bounds - >= 522461 @ 2467.47
2539.13/2546.56	c GLOBAL bounds - >= 522461 @ 2467.5
2539.33/2546.70	c GLOBAL bounds - >= 522461 @ 2467.58
2539.33/2546.74	c GLOBAL bounds - >= 522461 @ 2467.61
2539.43/2546.88	c GLOBAL bounds - >= 522461 @ 2467.68
2539.54/2546.92	c GLOBAL bounds - >= 522461 @ 2467.72
2539.64/2547.05	c GLOBAL bounds - >= 522461 @ 2467.79
2539.64/2547.09	c GLOBAL bounds - >= 522461 @ 2467.82
2539.84/2547.22	c GLOBAL bounds - >= 522461 @ 2467.9
2539.84/2547.26	c GLOBAL bounds - >= 522461 @ 2467.93
2539.94/2547.40	c GLOBAL bounds - >= 522461 @ 2468
2540.03/2547.44	c GLOBAL bounds - >= 522461 @ 2468.03
2540.13/2547.57	c GLOBAL bounds - >= 522461 @ 2468.1
2540.24/2547.61	c GLOBAL bounds - >= 522461 @ 2468.13
2540.34/2547.74	c GLOBAL bounds - >= 522461 @ 2468.21
2540.34/2547.77	c GLOBAL bounds - >= 522461 @ 2468.23
2540.43/2547.89	c GLOBAL bounds - >= 522461 @ 2468.29
2540.74/2548.16	c GLOBAL bounds - >= 522461 @ 2468.53
2540.93/2548.35	c GLOBAL bounds - >= 522461 @ 2468.66
2541.23/2548.61	c GLOBAL bounds - >= 522461 @ 2468.87
2541.53/2548.90	c GLOBAL bounds - >= 522461 @ 2469.11
2542.02/2549.49	c GLOBAL bounds - >= 522461 @ 2469.63
2542.42/2549.81	c GLOBAL bounds - >= 522461 @ 2469.9
2542.83/2550.24	c #Conflicts:      58000 | #Constraints:    5199108
2542.83/2550.24	c GLOBAL bounds - >= 522461 @ 2470.27
2543.03/2550.47	c GLOBAL bounds - >= 522461 @ 2470.45
2543.22/2550.60	c GLOBAL bounds - >= 522461 @ 2470.53
2543.32/2550.73	c GLOBAL bounds - >= 522461 @ 2470.6
2543.73/2551.11	c GLOBAL bounds - >= 522461 @ 2470.93
2544.02/2551.44	c GLOBAL bounds - >= 522461 @ 2471.2
2544.72/2552.16	c GLOBAL bounds - >= 522461 @ 2471.86
2546.12/2553.50	c GLOBAL bounds - >= 522461 @ 2473.15
2547.71/2555.16	c GLOBAL bounds - >= 522461 @ 2474.75
2548.01/2555.43	c GLOBAL bounds - >= 522461 @ 2474.96
2548.90/2556.39	c GLOBAL bounds - >= 522461 @ 2475.87
2549.51/2556.90	c GLOBAL bounds - >= 522461 @ 2476.31
2549.80/2557.21	c GLOBAL bounds - >= 522461 @ 2476.58
2550.10/2557.57	c GLOBAL bounds - >= 522461 @ 2476.89
2551.39/2558.85	c GLOBAL bounds - >= 522461 @ 2478.11
2557.08/2564.50	c GLOBAL bounds - >= 522461 @ 2483.67
2564.46/2572.00	c GLOBAL bounds - >= 522461 @ 2491.08
2565.75/2573.20	c GLOBAL bounds - >= 522461 @ 2492.22
2569.94/2577.49	c GLOBAL bounds - >= 522461 @ 2496.44
2596.16/2603.70	c INPROCESSING
2596.16/2603.70	c GARBAGE COLLECT
2596.16/2603.70	c #Conflicts:      59000 | #Constraints:    5226321
2596.16/2603.70	c GLOBAL bounds - >= 522461 @ 2522.44
2596.56/2604.15	c GLOBAL bounds - >= 522461 @ 2522.84
2596.75/2604.32	c GLOBAL bounds - >= 522461 @ 2522.95
2597.85/2605.43	c GLOBAL bounds - >= 522461 @ 2524
2603.53/2611.12	c GLOBAL bounds - >= 522461 @ 2529.62
2622.08/2629.75	c GLOBAL bounds - >= 522461 @ 2548.13
2675.90/2683.76	c #Conflicts:      60000 | #Constraints:    5248489
2675.90/2683.76	c GLOBAL bounds - >= 522461 @ 2601.86
2713.67/2721.60	c #Conflicts:      61000 | #Constraints:    5253764
2713.67/2721.60	c GLOBAL bounds - >= 523302 @ 2639.55
2713.78/2721.71	c GLOBAL bounds - >= 523302 @ 2639.64
2713.78/2721.76	c GLOBAL bounds - >= 523302 @ 2639.67
2713.78/2721.79	c GLOBAL bounds - >= 523302 @ 2639.7
2713.88/2721.84	c GLOBAL bounds - >= 523302 @ 2639.74
2713.88/2721.87	c GLOBAL bounds - >= 523302 @ 2639.77
2713.98/2721.91	c GLOBAL bounds - >= 523302 @ 2639.8
2713.98/2721.95	c GLOBAL bounds - >= 523302 @ 2639.83
2713.98/2721.96	c GLOBAL bounds - >= 523302 @ 2639.84
2716.18/2724.14	c GLOBAL bounds - >= 523302 @ 2641.96
2716.18/2724.19	c GLOBAL bounds - >= 523302 @ 2642
2716.37/2724.35	c GLOBAL bounds - >= 523302 @ 2642.1
2716.47/2724.40	c GLOBAL bounds - >= 523302 @ 2642.13
2716.56/2724.56	c GLOBAL bounds - >= 523302 @ 2642.25
2716.66/2724.61	c GLOBAL bounds - >= 523302 @ 2642.29
2716.77/2724.75	c GLOBAL bounds - >= 523302 @ 2642.38
2716.86/2724.80	c GLOBAL bounds - >= 523302 @ 2642.41
2716.97/2724.94	c GLOBAL bounds - >= 523302 @ 2642.49
2716.97/2724.99	c GLOBAL bounds - >= 523302 @ 2642.53
2717.17/2725.13	c GLOBAL bounds - >= 523302 @ 2642.61
2717.17/2725.17	c GLOBAL bounds - >= 523302 @ 2642.64
2717.37/2725.31	c GLOBAL bounds - >= 523302 @ 2642.72
2717.37/2725.35	c GLOBAL bounds - >= 523302 @ 2642.75
2717.47/2725.49	c GLOBAL bounds - >= 523302 @ 2642.84
2717.57/2725.53	c GLOBAL bounds - >= 523302 @ 2642.87
2717.66/2725.66	c GLOBAL bounds - >= 523302 @ 2642.94
2717.76/2725.71	c GLOBAL bounds - >= 523302 @ 2642.98
2717.86/2725.84	c GLOBAL bounds - >= 523302 @ 2643.06
2717.97/2725.99	c GLOBAL bounds - >= 523302 @ 2643.16
2718.17/2726.13	c GLOBAL bounds - >= 523302 @ 2643.24
2718.26/2726.28	c GLOBAL bounds - >= 523302 @ 2643.35
2718.46/2726.43	c GLOBAL bounds - >= 523302 @ 2643.44
2718.86/2726.80	c GLOBAL bounds - >= 523302 @ 2643.74
2718.96/2726.97	c GLOBAL bounds - >= 523302 @ 2643.86
2719.16/2727.12	c GLOBAL bounds - >= 523302 @ 2643.95
2719.26/2727.26	c GLOBAL bounds - >= 523302 @ 2644.05
2719.46/2727.41	c GLOBAL bounds - >= 523302 @ 2644.15
2719.66/2727.68	c GLOBAL bounds - >= 523302 @ 2644.36
2719.85/2727.84	c GLOBAL bounds - >= 523302 @ 2644.46
2720.06/2728.03	c GLOBAL bounds - >= 523302 @ 2644.59
2720.26/2728.27	c GLOBAL bounds - >= 523302 @ 2644.78
2720.45/2728.45	c GLOBAL bounds - >= 523302 @ 2644.9
2726.15/2734.12	c GLOBAL bounds - >= 523302 @ 2650.48
2726.34/2734.30	c GLOBAL bounds - >= 523302 @ 2650.62
2727.43/2735.48	c GLOBAL bounds - >= 523302 @ 2651.75
2727.83/2735.89	c GLOBAL bounds - >= 523302 @ 2652.1
2730.82/2738.88	c GLOBAL bounds - >= 523302 @ 2655.03
2731.22/2739.26	c GLOBAL bounds - >= 523302 @ 2655.35
2735.02/2743.01	c GLOBAL bounds - >= 523302 @ 2659.03
2794.02/2802.26	c #Conflicts:      62000 | #Constraints:    5336877
2794.02/2802.26	c GLOBAL bounds - >= 525679 @ 2718.05
2794.21/2802.46	c GLOBAL bounds - >= 525679 @ 2718.23
2794.32/2802.50	c GLOBAL bounds - >= 525679 @ 2718.26
2794.32/2802.54	c GLOBAL bounds - >= 525679 @ 2718.3
2794.32/2802.59	c GLOBAL bounds - >= 525679 @ 2718.33
2794.41/2802.63	c GLOBAL bounds - >= 525679 @ 2718.36
2794.41/2802.67	c GLOBAL bounds - >= 525679 @ 2718.39
2794.51/2802.72	c GLOBAL bounds - >= 525679 @ 2718.43
2794.51/2802.76	c GLOBAL bounds - >= 525679 @ 2718.46
2794.61/2802.81	c GLOBAL bounds - >= 525679 @ 2718.5
2794.61/2802.85	c GLOBAL bounds - >= 525679 @ 2718.54
2794.61/2802.89	c GLOBAL bounds - >= 525679 @ 2718.57
2794.72/2802.94	c GLOBAL bounds - >= 525679 @ 2718.6
2794.72/2802.98	c GLOBAL bounds - >= 525679 @ 2718.64
2794.82/2803.03	c GLOBAL bounds - >= 525679 @ 2718.67
2794.82/2803.07	c GLOBAL bounds - >= 525679 @ 2718.71
2794.92/2803.12	c GLOBAL bounds - >= 525679 @ 2718.75
2795.71/2803.92	c GLOBAL bounds - >= 525679 @ 2719.48
2795.71/2803.96	c GLOBAL bounds - >= 525679 @ 2719.52
2796.01/2804.28	c GLOBAL bounds - >= 525679 @ 2719.77
2796.11/2804.33	c GLOBAL bounds - >= 525679 @ 2719.8
2796.20/2804.47	c GLOBAL bounds - >= 525679 @ 2719.89
2796.31/2804.51	c GLOBAL bounds - >= 525679 @ 2719.92
2796.41/2804.65	c GLOBAL bounds - >= 525679 @ 2719.99
2796.41/2804.69	c GLOBAL bounds - >= 525679 @ 2720.03
2796.61/2804.83	c GLOBAL bounds - >= 525679 @ 2720.11
2796.61/2804.87	c GLOBAL bounds - >= 525679 @ 2720.14
2796.81/2805.01	c GLOBAL bounds - >= 525679 @ 2720.23
2796.81/2805.05	c GLOBAL bounds - >= 525679 @ 2720.26
2796.91/2805.19	c GLOBAL bounds - >= 525679 @ 2720.35
2797.01/2805.23	c GLOBAL bounds - >= 525679 @ 2720.38
2797.11/2805.36	c GLOBAL bounds - >= 525679 @ 2720.46
2797.21/2805.40	c GLOBAL bounds - >= 525679 @ 2720.5
2797.30/2805.54	c GLOBAL bounds - >= 525679 @ 2720.57
2797.30/2805.58	c GLOBAL bounds - >= 525679 @ 2720.6
2797.50/2805.71	c GLOBAL bounds - >= 525679 @ 2720.68
2797.61/2805.86	c GLOBAL bounds - >= 525679 @ 2720.76
2797.81/2806.00	c GLOBAL bounds - >= 525679 @ 2720.86
2797.91/2806.15	c GLOBAL bounds - >= 525679 @ 2720.95
2798.01/2806.29	c GLOBAL bounds - >= 525679 @ 2721.04
2798.20/2806.44	c GLOBAL bounds - >= 525679 @ 2721.13
2798.41/2806.63	c GLOBAL bounds - >= 525679 @ 2721.27
2798.90/2807.17	c GLOBAL bounds - >= 525679 @ 2721.73
2799.40/2807.60	c GLOBAL bounds - >= 525679 @ 2722.1
2799.50/2807.76	c GLOBAL bounds - >= 525679 @ 2722.22
2799.91/2808.11	c GLOBAL bounds - >= 525679 @ 2722.51
2800.29/2808.56	c GLOBAL bounds - >= 525679 @ 2722.91
2800.50/2808.76	c GLOBAL bounds - >= 525679 @ 2723.06
2800.70/2808.93	c GLOBAL bounds - >= 525679 @ 2723.18
2800.90/2809.12	c GLOBAL bounds - >= 525679 @ 2723.31
2801.40/2809.67	c GLOBAL bounds - >= 525679 @ 2723.8
2801.90/2810.17	c GLOBAL bounds - >= 525679 @ 2724.24
2802.79/2811.02	c GLOBAL bounds - >= 525679 @ 2725.04
2804.08/2812.30	c GLOBAL bounds - >= 525679 @ 2726.26
2804.38/2812.61	c GLOBAL bounds - >= 525679 @ 2726.52
2928.58/2937.20	c #Conflicts:      63000 | #Constraints:    5400114
2928.58/2937.20	c #Conflicts:      64000 | #Constraints:    5401114
2928.58/2937.20	c GLOBAL bounds - >= 525679 @ 2850.47
2931.48/2940.17	c GLOBAL bounds - >= 525679 @ 2853.38
3034.23/3043.23	c #Conflicts:      65000 | #Constraints:    5410006
3034.23/3043.23	c INPROCESSING
3034.23/3043.23	c GARBAGE COLLECT
3034.23/3043.23	c #Conflicts:      66000 | #Constraints:    5403916
3034.23/3043.23	c GLOBAL bounds - >= 530223 @ 2955.98
3034.44/3043.49	c GLOBAL bounds - >= 530223 @ 2956.22
3034.54/3043.53	c GLOBAL bounds - >= 530223 @ 2956.25
3034.54/3043.57	c GLOBAL bounds - >= 530223 @ 2956.28
3034.64/3043.61	c GLOBAL bounds - >= 530223 @ 2956.31
3034.73/3043.79	c GLOBAL bounds - >= 530223 @ 2956.42
3034.83/3043.84	c GLOBAL bounds - >= 530223 @ 2956.46
3035.04/3044.02	c GLOBAL bounds - >= 530223 @ 2956.58
3035.04/3044.06	c GLOBAL bounds - >= 530223 @ 2956.62
3036.93/3045.95	c GLOBAL bounds - >= 530223 @ 2958.44
3036.93/3046.00	c GLOBAL bounds - >= 530223 @ 2958.48
3037.13/3046.17	c GLOBAL bounds - >= 530223 @ 2958.6
3037.23/3046.22	c GLOBAL bounds - >= 530223 @ 2958.63
3037.33/3046.39	c GLOBAL bounds - >= 530223 @ 2958.76
3037.43/3046.43	c GLOBAL bounds - >= 530223 @ 2958.79
3037.53/3046.59	c GLOBAL bounds - >= 530223 @ 2958.89
3037.62/3046.63	c GLOBAL bounds - >= 530223 @ 2958.93
3037.73/3046.78	c GLOBAL bounds - >= 530223 @ 2959.02
3037.83/3046.82	c GLOBAL bounds - >= 530223 @ 2959.05
3037.92/3046.97	c GLOBAL bounds - >= 530223 @ 2959.14
3038.03/3047.01	c GLOBAL bounds - >= 530223 @ 2959.17
3038.13/3047.14	c GLOBAL bounds - >= 530223 @ 2959.26
3038.13/3047.19	c GLOBAL bounds - >= 530223 @ 2959.29
3038.32/3047.32	c GLOBAL bounds - >= 530223 @ 2959.37
3038.42/3047.47	c GLOBAL bounds - >= 530223 @ 2959.46
3038.62/3047.61	c GLOBAL bounds - >= 530223 @ 2959.55
3038.73/3047.76	c GLOBAL bounds - >= 530223 @ 2959.65
3038.93/3047.94	c GLOBAL bounds - >= 530223 @ 2959.77
3039.03/3048.09	c GLOBAL bounds - >= 530223 @ 2959.86
3039.23/3048.24	c GLOBAL bounds - >= 530223 @ 2959.96
3039.42/3048.47	c GLOBAL bounds - >= 530223 @ 2960.14
3039.63/3048.66	c GLOBAL bounds - >= 530223 @ 2960.27
3040.51/3049.56	c GLOBAL bounds - >= 530223 @ 2961.11
3042.41/3051.49	c GLOBAL bounds - >= 530223 @ 2962.97
3043.21/3052.22	c GLOBAL bounds - >= 530223 @ 2963.65
3046.70/3055.73	c GLOBAL bounds - >= 530223 @ 2967.08
3047.29/3056.31	c GLOBAL bounds - >= 530223 @ 2967.6
3062.74/3071.87	c GLOBAL bounds - >= 530223 @ 2983.05
3062.95/3072.08	c GLOBAL bounds - >= 530223 @ 2983.2
3063.25/3072.37	c GLOBAL bounds - >= 530223 @ 2983.44
3063.84/3072.95	c GLOBAL bounds - >= 530223 @ 2983.96
3108.70/3117.91	c #Conflicts:      67000 | #Constraints:    5488809
3108.70/3117.91	c GLOBAL bounds - >= 534534 @ 3028.74
3108.90/3118.11	c GLOBAL bounds - >= 534534 @ 3028.93
3108.90/3118.15	c GLOBAL bounds - >= 534534 @ 3028.96
3109.00/3118.20	c GLOBAL bounds - >= 534534 @ 3029
3109.00/3118.24	c GLOBAL bounds - >= 534534 @ 3029.03
3109.00/3118.29	c GLOBAL bounds - >= 534534 @ 3029.07
3109.09/3118.33	c GLOBAL bounds - >= 534534 @ 3029.11
3109.09/3118.38	c GLOBAL bounds - >= 534534 @ 3029.14
3109.20/3118.42	c GLOBAL bounds - >= 534534 @ 3029.17
3109.20/3118.46	c GLOBAL bounds - >= 534534 @ 3029.2
3109.30/3118.51	c GLOBAL bounds - >= 534534 @ 3029.24
3109.30/3118.55	c GLOBAL bounds - >= 534534 @ 3029.27
3109.30/3118.59	c GLOBAL bounds - >= 534534 @ 3029.3
3109.40/3118.64	c GLOBAL bounds - >= 534534 @ 3029.34
3109.40/3118.68	c GLOBAL bounds - >= 534534 @ 3029.37
3109.80/3119.01	c GLOBAL bounds - >= 534534 @ 3029.63
3109.80/3119.05	c GLOBAL bounds - >= 534534 @ 3029.66
3109.99/3119.20	c GLOBAL bounds - >= 534534 @ 3029.76
3109.99/3119.24	c GLOBAL bounds - >= 534534 @ 3029.79
3110.09/3119.38	c GLOBAL bounds - >= 534534 @ 3029.88
3110.20/3119.42	c GLOBAL bounds - >= 534534 @ 3029.91
3110.29/3119.55	c GLOBAL bounds - >= 534534 @ 3029.98
3110.29/3119.59	c GLOBAL bounds - >= 534534 @ 3030.01
3110.49/3119.72	c GLOBAL bounds - >= 534534 @ 3030.08
3110.49/3119.77	c GLOBAL bounds - >= 534534 @ 3030.11
3110.59/3119.89	c GLOBAL bounds - >= 534534 @ 3030.18
3110.70/3119.94	c GLOBAL bounds - >= 534534 @ 3030.21
3110.79/3120.07	c GLOBAL bounds - >= 534534 @ 3030.28
3110.90/3120.11	c GLOBAL bounds - >= 534534 @ 3030.31
3110.99/3120.23	c GLOBAL bounds - >= 534534 @ 3030.38
3110.99/3120.28	c GLOBAL bounds - >= 534534 @ 3030.41
3111.19/3120.40	c GLOBAL bounds - >= 534534 @ 3030.48
3111.19/3120.45	c GLOBAL bounds - >= 534534 @ 3030.52
3111.29/3120.58	c GLOBAL bounds - >= 534534 @ 3030.6
3111.49/3120.78	c GLOBAL bounds - >= 534534 @ 3030.72
3111.69/3120.96	c GLOBAL bounds - >= 534534 @ 3030.86
3111.99/3121.24	c GLOBAL bounds - >= 534534 @ 3031.08
3112.59/3121.81	c GLOBAL bounds - >= 534534 @ 3031.59
3114.29/3123.50	c GLOBAL bounds - >= 534534 @ 3033.22
3114.38/3123.65	c GLOBAL bounds - >= 534534 @ 3033.31
3114.58/3123.84	c GLOBAL bounds - >= 534534 @ 3033.45
3115.08/3124.36	c GLOBAL bounds - >= 534534 @ 3033.91
3120.56/3129.81	c #Conflicts:      68000 | #Constraints:    5513601
3120.56/3129.81	c GLOBAL bounds - >= 534534 @ 3039.28
3120.96/3130.28	c GLOBAL bounds - >= 534534 @ 3039.69
3122.15/3131.42	c GLOBAL bounds - >= 534534 @ 3040.77
3122.66/3131.90	c GLOBAL bounds - >= 534534 @ 3041.2
3124.65/3133.97	c GLOBAL bounds - >= 534534 @ 3043.21
3125.25/3134.53	c GLOBAL bounds - >= 534534 @ 3043.72
3131.42/3140.72	c GLOBAL bounds - >= 534534 @ 3049.82
3135.51/3144.82	c GLOBAL bounds - >= 534534 @ 3053.84
3136.51/3145.80	c GLOBAL bounds - >= 534534 @ 3054.75
3145.58/3154.94	c GLOBAL bounds - >= 534534 @ 3063.8
3145.98/3155.31	c GLOBAL bounds - >= 534534 @ 3064.11
3148.07/3157.41	c GLOBAL bounds - >= 534534 @ 3066.14
3165.32/3174.75	c #Conflicts:      69000 | #Constraints:    5545131
3165.32/3174.75	c GLOBAL bounds - >= 534534 @ 3083.35
3165.52/3174.98	c GLOBAL bounds - >= 534534 @ 3083.53
3165.92/3175.38	c GLOBAL bounds - >= 534534 @ 3083.87
3175.19/3184.67	c GLOBAL bounds - >= 534534 @ 3093.07
3175.78/3185.26	c GLOBAL bounds - >= 534534 @ 3093.61
3176.08/3185.58	c GLOBAL bounds - >= 534534 @ 3093.86
3195.12/3204.61	c GLOBAL bounds - >= 534534 @ 3112.74
3195.32/3204.88	c GLOBAL bounds - >= 534534 @ 3112.95
3235.19/3244.87	c #Conflicts:      70000 | #Constraints:    5576219
3235.19/3244.87	c GLOBAL bounds - >= 540284 @ 3152.79
3235.50/3245.14	c GLOBAL bounds - >= 540284 @ 3153.04
3235.50/3245.18	c GLOBAL bounds - >= 540284 @ 3153.08
3235.59/3245.23	c GLOBAL bounds - >= 540284 @ 3153.11
3235.59/3245.27	c GLOBAL bounds - >= 540284 @ 3153.15
3235.69/3245.31	c GLOBAL bounds - >= 540284 @ 3153.18
3235.69/3245.35	c GLOBAL bounds - >= 540284 @ 3153.2
3235.69/3245.39	c GLOBAL bounds - >= 540284 @ 3153.23
3235.79/3245.43	c GLOBAL bounds - >= 540284 @ 3153.26
3235.79/3245.47	c GLOBAL bounds - >= 540284 @ 3153.29
3235.89/3245.51	c GLOBAL bounds - >= 540284 @ 3153.33
3236.29/3245.96	c GLOBAL bounds - >= 540284 @ 3153.72
3236.39/3246.00	c GLOBAL bounds - >= 540284 @ 3153.75
3236.59/3246.28	c GLOBAL bounds - >= 540284 @ 3153.97
3236.69/3246.33	c GLOBAL bounds - >= 540284 @ 3154.01
3236.88/3246.53	c GLOBAL bounds - >= 540284 @ 3154.16
3236.88/3246.58	c GLOBAL bounds - >= 540284 @ 3154.19
3237.08/3246.77	c GLOBAL bounds - >= 540284 @ 3154.32
3237.18/3246.81	c GLOBAL bounds - >= 540284 @ 3154.35
3237.29/3246.98	c GLOBAL bounds - >= 540284 @ 3154.46
3237.39/3247.03	c GLOBAL bounds - >= 540284 @ 3154.5
3237.49/3247.19	c GLOBAL bounds - >= 540284 @ 3154.6
3237.59/3247.23	c GLOBAL bounds - >= 540284 @ 3154.63
3237.69/3247.39	c GLOBAL bounds - >= 540284 @ 3154.73
3237.78/3247.43	c GLOBAL bounds - >= 540284 @ 3154.77
3237.89/3247.58	c GLOBAL bounds - >= 540284 @ 3154.86
3237.98/3247.63	c GLOBAL bounds - >= 540284 @ 3154.89
3238.08/3247.77	c GLOBAL bounds - >= 540284 @ 3154.98
3238.19/3247.82	c GLOBAL bounds - >= 540284 @ 3155.02
3238.28/3247.97	c GLOBAL bounds - >= 540284 @ 3155.1
3238.49/3248.15	c GLOBAL bounds - >= 540284 @ 3155.22
3238.68/3248.33	c GLOBAL bounds - >= 540284 @ 3155.34
3238.88/3248.51	c GLOBAL bounds - >= 540284 @ 3155.47
3239.18/3248.83	c GLOBAL bounds - >= 540284 @ 3155.73
3239.39/3249.00	c GLOBAL bounds - >= 540284 @ 3155.84
3239.48/3249.17	c GLOBAL bounds - >= 540284 @ 3155.96
3240.07/3249.78	c GLOBAL bounds - >= 540284 @ 3156.5
3243.77/3253.45	c GLOBAL bounds - >= 540284 @ 3160.11
3248.75/3258.43	c GLOBAL bounds - >= 540284 @ 3165
3251.24/3260.96	c GLOBAL bounds - >= 540284 @ 3167.46
3266.29/3276.09	c GLOBAL bounds - >= 540284 @ 3182.48
3267.59/3277.39	c GLOBAL bounds - >= 540284 @ 3183.72
3268.78/3278.50	c GLOBAL bounds - >= 540284 @ 3184.78
3274.67/3284.47	c #Conflicts:      71000 | #Constraints:    5641072
3274.67/3284.47	c GLOBAL bounds - >= 540284 @ 3190.67
3291.51/3301.32	c GLOBAL bounds - >= 540284 @ 3207.39
3291.70/3301.57	c GLOBAL bounds - >= 540284 @ 3207.58
3292.91/3302.70	c GLOBAL bounds - >= 540284 @ 3208.64
3340.35/3350.31	c #Conflicts:      72000 | #Constraints:    5656784
3340.35/3350.31	c GLOBAL bounds - >= 540284 @ 3256.01
3455.69/3466.01	c #Conflicts:      73000 | #Constraints:    5661541
3455.69/3466.01	c #Conflicts:      74000 | #Constraints:    5662541
3455.69/3466.01	c GLOBAL bounds - >= 540284 @ 3371.18
3456.88/3467.20	c GLOBAL bounds - >= 540284 @ 3372.3
3457.98/3468.30	c GLOBAL bounds - >= 540284 @ 3373.36
3467.85/3478.27	c GLOBAL bounds - >= 543318 @ 3383.29
3468.14/3478.51	c GLOBAL bounds - >= 543318 @ 3383.51
3468.14/3478.55	c GLOBAL bounds - >= 543318 @ 3383.55
3468.24/3478.60	c GLOBAL bounds - >= 543318 @ 3383.58
3468.24/3478.64	c GLOBAL bounds - >= 543318 @ 3383.61
3468.24/3478.68	c GLOBAL bounds - >= 543318 @ 3383.64
3468.35/3478.72	c GLOBAL bounds - >= 543318 @ 3383.67
3468.35/3478.76	c GLOBAL bounds - >= 543318 @ 3383.71
3468.45/3478.80	c GLOBAL bounds - >= 543318 @ 3383.74
3468.45/3478.85	c GLOBAL bounds - >= 543318 @ 3383.77
3468.45/3478.89	c GLOBAL bounds - >= 543318 @ 3383.8
3468.54/3478.93	c GLOBAL bounds - >= 543318 @ 3383.84
3468.54/3478.97	c GLOBAL bounds - >= 543318 @ 3383.87
3468.65/3479.02	c GLOBAL bounds - >= 543318 @ 3383.91
3468.65/3479.06	c GLOBAL bounds - >= 543318 @ 3383.94
3468.75/3479.11	c GLOBAL bounds - >= 543318 @ 3383.97
3468.94/3479.30	c GLOBAL bounds - >= 543318 @ 3384.11
3468.94/3479.35	c GLOBAL bounds - >= 543318 @ 3384.14
3469.15/3479.51	c GLOBAL bounds - >= 543318 @ 3384.23
3469.15/3479.55	c GLOBAL bounds - >= 543318 @ 3384.27
3469.35/3479.70	c GLOBAL bounds - >= 543318 @ 3384.35
3469.35/3479.74	c GLOBAL bounds - >= 543318 @ 3384.39
3469.45/3479.88	c GLOBAL bounds - >= 543318 @ 3384.48
3469.54/3479.93	c GLOBAL bounds - >= 543318 @ 3384.51
3469.65/3480.07	c GLOBAL bounds - >= 543318 @ 3384.6
3469.75/3480.11	c GLOBAL bounds - >= 543318 @ 3384.63
3469.85/3480.26	c GLOBAL bounds - >= 543318 @ 3384.72
3469.94/3480.30	c GLOBAL bounds - >= 543318 @ 3384.75
3470.04/3480.44	c GLOBAL bounds - >= 543318 @ 3384.84
3470.04/3480.49	c GLOBAL bounds - >= 543318 @ 3384.88
3470.25/3480.63	c GLOBAL bounds - >= 543318 @ 3384.97
3470.25/3480.67	c GLOBAL bounds - >= 543318 @ 3385
3470.44/3480.81	c GLOBAL bounds - >= 543318 @ 3385.08
3470.44/3480.86	c GLOBAL bounds - >= 543318 @ 3385.12
3470.54/3481.00	c GLOBAL bounds - >= 543318 @ 3385.19
3470.84/3481.26	c GLOBAL bounds - >= 543318 @ 3385.4
3471.04/3481.42	c GLOBAL bounds - >= 543318 @ 3385.5
3471.43/3481.81	c GLOBAL bounds - >= 543318 @ 3385.83
3471.64/3482.05	c GLOBAL bounds - >= 543318 @ 3386.02
3471.83/3482.22	c GLOBAL bounds - >= 543318 @ 3386.14
3472.04/3482.44	c GLOBAL bounds - >= 543318 @ 3386.3
3472.14/3482.57	c GLOBAL bounds - >= 543318 @ 3386.39
3472.34/3482.71	c GLOBAL bounds - >= 543318 @ 3386.47
3472.94/3483.33	c GLOBAL bounds - >= 543318 @ 3387.05
3473.23/3483.60	c GLOBAL bounds - >= 543318 @ 3387.28
3474.13/3484.52	c GLOBAL bounds - >= 543318 @ 3388.15
3474.33/3484.78	c GLOBAL bounds - >= 543318 @ 3388.34
3475.12/3485.50	c GLOBAL bounds - >= 543318 @ 3389
3475.23/3485.68	c GLOBAL bounds - >= 543318 @ 3389.13
3475.73/3486.15	c GLOBAL bounds - >= 543318 @ 3389.54
3476.63/3487.06	c GLOBAL bounds - >= 543318 @ 3390.39
3476.83/3487.24	c GLOBAL bounds - >= 543318 @ 3390.52
3478.12/3488.52	c GLOBAL bounds - >= 543318 @ 3391.74
3478.31/3488.74	c GLOBAL bounds - >= 543318 @ 3391.9
3493.08/3503.52	c GLOBAL bounds - >= 543318 @ 3406.57
3493.27/3503.72	c GLOBAL bounds - >= 543318 @ 3406.72
3496.46/3506.94	c #Conflicts:      75000 | #Constraints:    5717044
3496.46/3506.94	c GLOBAL bounds - >= 543318 @ 3409.87
3496.77/3507.25	c GLOBAL bounds - >= 543318 @ 3410.12
3497.06/3507.55	c GLOBAL bounds - >= 543318 @ 3410.36
3498.86/3509.30	c GLOBAL bounds - >= 543318 @ 3412.06
3500.56/3511.09	c GLOBAL bounds - >= 543318 @ 3413.79
3501.05/3511.55	c GLOBAL bounds - >= 543318 @ 3414.19
3501.56/3512.01	c GLOBAL bounds - >= 543318 @ 3414.59
3511.12/3521.69	c GLOBAL bounds - >= 543318 @ 3424.17
3525.18/3535.78	c GLOBAL bounds - >= 543318 @ 3438.14
3525.58/3536.18	c GLOBAL bounds - >= 543318 @ 3438.48
3531.07/3541.66	c GLOBAL bounds - >= 543318 @ 3443.89
3531.56/3542.17	c GLOBAL bounds - >= 543318 @ 3444.33
3600.07/3610.81	c #Conflicts:      76000 | #Constraints:    5749708
3600.07/3610.81	c cpu time 3512.72 s
3600.07/3610.81	c deterministic time 1532283406 1.53e+09
3600.07/3610.81	c optimization time 3486.09 s
3600.07/3610.81	c total solve time 25.6695 s
3600.07/3610.81	c core-guided solve time 0 s
3600.07/3610.81	c propagation time 13.9091 s
3600.07/3610.81	c conflict analysis time 7.8595 s
3600.07/3610.81	c propagations 138596403
3600.07/3610.81	c resolve steps 0
3600.07/3610.81	c decisions 44204954
3600.07/3610.81	c conflicts 539
3600.07/3610.81	c restarts 5
3600.07/3610.81	c inprocessing phases 0
3600.07/3610.81	c garbage collections 0 ,( -nan )
3600.07/3610.81	c input clauses 209979 ,( 71.83 )
3600.07/3610.81	c input cardinalities 49 ,( 0.02 )
3600.07/3610.81	c input general constraints 82296 ,( 28.15 )
3600.07/3610.81	c input average constraint length 114.01
3600.07/3610.81	c input average constraint degree 54297671.20
3600.07/3610.81	c learned clauses 70 ,( 6.47 )
3600.07/3610.81	c learned cardinalities 0 ,( 0.00 )
3600.07/3610.81	c learned general constraints 1012 ,( 93.53 )
3600.07/3610.81	c learned average constraint length 1244.07
3600.07/3610.81	c learned average constraint degree 11.09
3600.07/3610.81	c watched  CF 32, 64, 128, Arb: 1046 , 0 , 0 , 0
3600.07/3610.81	c counting CF 32, 64, 128, Arb: 81781 , 482 , 0 , 0
3600.07/3610.81	c watched   constraints 1046 ,( 1.26 ) 
3600.07/3610.81	c counting  constraints 82262 ,( 98.74 ) 
3600.07/3610.81	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 20226984 , 2575 , 98529372 ,( 1864305 , 96665067 )
3600.07/3610.81	c gcd simplifications 0
3600.07/3610.81	c detected cardinalities 0
3600.07/3610.81	c weakened non-implied lits 0
3600.07/3610.81	c weakened non-implying lits 0
3600.07/3610.81	c original variables 126385
3600.07/3610.81	c clausal propagations 20121562
3600.07/3610.81	c cardinality propagations 207
3600.07/3610.81	c watched propagations 52320
3600.07/3610.81	c counting propagations 61075550
3600.07/3610.81	c watch lookups 136639317
3600.07/3610.81	c watch backjump lookups 0
3600.07/3610.81	c watch checks 454026124
3600.07/3610.81	c propagation checks 574042584
3600.07/3610.81	c constraint additions 1969267
3600.07/3610.81	c trail pops 182801756
3600.07/3610.81	c formula constraints 290547
3600.07/3610.81	c learned constraints 1082
3600.07/3610.81	c bound constraints 0
3600.07/3610.81	c core-guided constraints 0
3600.07/3610.81	c encountered formula constraints 67
3600.07/3610.81	c encountered learned constraints 298
3600.07/3610.81	c encountered bound constraints 0
3600.07/3610.81	c encountered core-guided constraints 0
3600.07/3610.81	c LP total time 2.23606 s
3600.07/3610.81	c LP solve time 2.09 s
3600.07/3610.81	c LP constraints added 290547
3600.07/3610.81	c LP constraints removed 0
3600.07/3610.81	c LP pivots internal 2000
3600.07/3610.81	c LP pivots root 1000
3600.07/3610.81	c LP calls 2
3600.07/3610.81	c LP optimalities 0
3600.07/3610.81	c LP no pivot count 0
3600.07/3610.81	c LP infeasibilities 0
3600.07/3610.81	c LP valid Farkas constraints 0
3600.07/3610.81	c LP learned Farkas constraints 0
3600.07/3610.81	c LP basis resets 0
3600.07/3610.81	c LP cycling count 0
3600.07/3610.81	c LP singular count 0
3600.07/3610.81	c LP no primal count 0
3600.07/3610.81	c LP no farkas count 0
3600.07/3610.81	c LP other issue count 0
3600.07/3610.81	c LP Gomory cuts 0
3600.07/3610.81	c LP learned cuts 0
3600.07/3610.81	c LP deleted cuts 0
3600.07/3610.81	c LP encountered Gomory constraints 0
3600.07/3610.81	c LP encountered Farkas constraints 0
3600.07/3610.81	c LP encountered learned Farkas constraints 0
3600.07/3610.81	c CG auxiliary variables introduced 1132
3600.07/3610.81	c CG solutions found 0
3600.07/3610.81	c CG cores constructed 797
3600.07/3610.81	c CG core cardinality constraints returned 0
3600.07/3610.81	c CG unit cores 0
3600.07/3610.81	c CG single cores 0
3600.07/3610.81	c CG blocks removed during cardinality reduction 0
3600.07/3610.81	c CG first core best 0
3600.07/3610.81	c CG decision core best 0
3600.07/3610.81	c CG core reduction tie 0
3600.07/3610.81	c CG core degree average 0.00
3600.07/3610.81	c CG core slack average 0.00
3600.07/3610.81	c CG core upper bound improvements 0
3600.07/3610.81	c STR number of successful calls 0
3600.07/3610.81	c STR number of unsuccessful calls 0
3600.07/3610.81	c STR number of inconclusive calls 0
3600.07/3610.81	c STR number of successful attempts 0
3600.07/3610.81	c STR number of unsuccessful attempts 0
3600.07/3610.81	c STR number of inconclusive attempts 0
3600.07/3610.81	c STR average degree increase per successful call inf
3600.07/3610.81	c STR average degree increase per successful attempt inf
3600.07/3610.81	c STR total number of conflicts for successful attempts 0
3600.07/3610.81	c STR total number of conflicts for unsuccessful attempts 0
3600.07/3610.81	c STR total number of conflicts for inconclusive attempts 0
3600.07/3610.81	c STR average number of conflicts per successful attempt inf
3600.07/3610.81	c STR average number of conflicts per unsuccessful attempt inf
3600.07/3610.81	c STR average number of conflicts per inconclusive attempt inf
3600.07/3610.81	c AVG.sumWPerc 98.48 
3600.07/3610.81	c bigint constraints 482 
3600.07/3610.81	s UNKNOWN
3600.07/3610.81	c Program interrupted by user.

ERROR: no interpretation found !

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62355 MiB free)
  memory of node 1: 64465 MiB (62581 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504894-1751466415/watcher-4504894-1751466415 -o /tmp/evaluation-result-4504894-1751466415/solver-4504894-1751466415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66043 --watchdog 3760 run-opt.sh HOME/instance-4504894-1751466415.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=66093, runsolver pid=66090

[startup+0.10006 s]*
/proc/loadavg: 0.71 1.01 1.35 5/263 66096
/proc/meminfo: memFree=127896168/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=79428 memory=34456 CPUtime=0.07 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 6171 0 0 0 5 2 0 0 20 0 1 0 62318104 81334272 8614 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 19857 8614 1920 1147 0 7284 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 83620 KiB
Current children cumulated memory: 37528 KiB

[startup+0.20576 s]*
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127821092/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=83492 memory=38808 CPUtime=0.18 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 7232 0 0 0 13 5 0 0 20 0 1 0 62318104 85495808 9702 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 20873 9702 1920 1147 0 8300 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 87684 KiB
Current children cumulated memory: 41880 KiB

[startup+0.305531 s]*
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127740440/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=88532 memory=42648 CPUtime=0.28 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 8259 0 0 0 19 9 0 0 20 0 1 0 62318104 90656768 10662 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 22133 10662 1920 1147 0 9560 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 92724 KiB
Current children cumulated memory: 45720 KiB

[startup+0.700177 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127668360/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=115800 memory=66188 CPUtime=0.67 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 12130 0 0 0 49 18 0 0 20 0 1 0 62318104 118579200 16547 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 28950 16547 1920 1147 0 16377 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 119992 KiB
Current children cumulated memory: 69260 KiB

[startup+1.50019 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127467300/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=518984 memory=352176 CPUtime=1.47 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 41881 0 0 0 108 39 0 0 20 0 1 0 62318104 531439616 88044 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 129746 88044 2368 1147 0 117173 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 523176 KiB
Current children cumulated memory: 355248 KiB

[startup+3.10539 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=126666704/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=530476 memory=362660 CPUtime=3.07 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 42498 0 0 0 206 101 0 0 20 0 1 0 62318104 543207424 90665 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 132619 90665 2368 1147 0 120046 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 534668 KiB
Current children cumulated memory: 365732 KiB

[startup+6.30021 s]
/proc/loadavg: 0.98 1.06 1.36 5/269 66106
/proc/meminfo: memFree=125845652/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=794656 memory=599300 CPUtime=6.26 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 74329 0 0 0 502 124 0 0 20 0 1 0 62318104 813727744 149825 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 198664 149825 2400 1147 0 186091 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 798848 KiB
Current children cumulated memory: 602372 KiB

[startup+12.7002 s]
/proc/loadavg: 1.22 1.11 1.38 5/269 66106
/proc/meminfo: memFree=125341564/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=961196 memory=762204 CPUtime=12.65 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 104698 0 0 0 934 331 0 0 20 0 1 0 62318104 984264704 190551 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 240299 190551 2400 1147 0 227726 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 965388 KiB
Current children cumulated memory: 765276 KiB

[startup+25.5002 s]
/proc/loadavg: 1.91 1.27 1.42 5/269 66106
/proc/meminfo: memFree=123845064/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=1416904 memory=1159368 CPUtime=25.42 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 177429 0 0 0 1902 640 0 0 20 0 1 0 62318104 1450909696 289842 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 354226 289842 2400 1147 0 341653 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1421096 KiB
Current children cumulated memory: 1162440 KiB

[startup+51.1055 s]
/proc/loadavg: 2.62 1.49 1.49 5/268 66107
/proc/meminfo: memFree=121771056/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=2227324 memory=1914664 CPUtime=50.96 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 322866 0 0 0 4049 1047 0 0 20 0 1 0 62318104 2280779776 478666 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 556831 478666 2400 1147 0 544258 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 2231516 KiB
Current children cumulated memory: 1917736 KiB

[startup+102.3 s]
/proc/loadavg: 3.45 1.89 1.63 5/268 66109
/proc/meminfo: memFree=119296108/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=2862388 memory=2462912 CPUtime=102.02 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 421774 0 0 0 8737 1465 0 0 20 0 1 0 62318104 2931085312 615728 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 715597 615728 2400 1147 0 703024 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2866580 KiB
Current children cumulated memory: 2465984 KiB

[startup+162.3 s]
/proc/loadavg: 3.91 2.31 1.79 5/269 66112
/proc/meminfo: memFree=116560848/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=4044160 memory=3406588 CPUtime=161.87 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 591841 0 0 0 14284 1903 0 0 20 0 1 0 62318104 4141219840 851647 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 1011040 851647 2400 1147 0 998467 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 4048352 KiB
Current children cumulated memory: 3409660 KiB

[startup+222.3 s]
/proc/loadavg: 3.97 2.62 1.93 5/269 66114
/proc/meminfo: memFree=114963380/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=4350452 memory=3824436 CPUtime=221.71 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 664672 0 0 0 19993 2178 0 0 20 0 1 0 62318104 4454862848 956109 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 1087613 956109 2400 1147 0 1075040 0

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

Current children cumulated memory: 14738224 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/266 66263
/proc/meminfo: memFree=77422392/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17484220 memory=14779312 CPUtime=3152.95 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2725697 0 0 0 307099 8196 0 0 20 0 1 0 62318104 17903841280 3694828 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4371055 3694828 2400 1147 0 4358482 0
Current children cumulated CPU time: 3152.95 s
Current children cumulated vsize: 17488412 KiB
Current children cumulated memory: 14782384 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/267 66266
/proc/meminfo: memFree=77150872/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17492532 memory=14787376 CPUtime=3212.76 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2729280 0 0 0 313029 8247 0 0 20 0 1 0 62318104 17912352768 3696844 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4373133 3696844 2400 1147 0 4360560 0
Current children cumulated CPU time: 3212.76 s
Current children cumulated vsize: 17496724 KiB
Current children cumulated memory: 14790448 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/267 66267
/proc/meminfo: memFree=76836344/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17530012 memory=14834624 CPUtime=3272.57 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2741704 0 0 0 318856 8401 0 0 20 0 1 0 62318104 17950732288 3708656 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4382503 3708656 2400 1147 0 4369930 0
Current children cumulated CPU time: 3272.57 s
Current children cumulated vsize: 17534204 KiB
Current children cumulated memory: 14837696 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/268 66270
/proc/meminfo: memFree=76227592/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17534436 memory=14838592 CPUtime=3332.37 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2744317 0 0 0 324807 8430 0 0 20 0 1 0 62318104 17955262464 3709648 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4383609 3709648 2400 1147 0 4371036 0
Current children cumulated CPU time: 3332.37 s
Current children cumulated vsize: 17538628 KiB
Current children cumulated memory: 14841664 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/268 66272
/proc/meminfo: memFree=75917664/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17535164 memory=14839232 CPUtime=3392.18 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2746218 0 0 0 330777 8441 0 0 20 0 1 0 62318104 17956007936 3709808 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4383791 3709808 2400 1147 0 4371218 0
Current children cumulated CPU time: 3392.18 s
Current children cumulated vsize: 17539356 KiB
Current children cumulated memory: 14842304 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103750200/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17535164 memory=14839360 CPUtime=3451.99 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2747979 0 0 0 336752 8447 0 0 20 0 1 0 62318104 17956007936 3709840 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4383791 3709840 2400 1147 0 4371218 0
Current children cumulated CPU time: 3451.99 s
Current children cumulated vsize: 17539356 KiB
Current children cumulated memory: 14842432 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/268 66329
/proc/meminfo: memFree=103370128/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17582208 memory=14894804 CPUtime=3511.82 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2762468 0 0 0 342477 8705 0 0 20 0 1 0 62318104 18004180992 3723701 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4395552 3723701 2400 1147 0 4382979 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 17586400 KiB
Current children cumulated memory: 14897876 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/269 66332
/proc/meminfo: memFree=103060340/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17585608 memory=14898260 CPUtime=3571.66 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2765186 0 0 0 348433 8733 0 0 20 0 1 0 62318104 18007662592 3724565 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4396402 3724565 2400 1147 0 4383829 0
Current children cumulated CPU time: 3571.66 s
Current children cumulated vsize: 17589800 KiB
Current children cumulated memory: 14901332 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.12 4.11 4.08 5/269 66334
/proc/meminfo: memFree=102933700/131250000 swapFree=33010672/33010684
[pid=66093] ppid=66090 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/66093/stat : 66093 (run-opt.sh) S 66090 66093 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318103 4292608 768 18446744073709551615 93976004681728 93976005576261 140724617387536 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 93976005815312 93976005863056 93976013873152 140724617394541 140724617394664 140724617394664 140724617400266 0
/proc/66093/statm: 1048 768 704 219 0 110 0
[pid=66095] ppid=66093 vsize=17585608 memory=14900820 CPUtime=3600.07 cores=4,6
/proc/66095/stat : 66095 (roundingsat) R 66093 66093 66032 0 -1 4194304 2767084 0 0 0 351270 8737 0 0 20 0 1 0 62318104 18007662592 3725205 18446744073709551615 4227072 8923433 140730904552224 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 31145984 140730904557986 140730904558120 140730904558120 140730904563690 0
/proc/66095/statm: 4396402 3725205 2400 1147 0 4383829 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 17589800 KiB
Current children cumulated memory: 14903892 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3610.8 s]
# the end of solver process 66093 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0 s, system=0.002118 s
Sleeping 2 seconds

[startup+3611.42 s]
# the end of solver process 66095 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3512.91 s, system=87.7924 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3611.21 s]
/proc/loadavg: 4.12 4.11 4.08 5/262 66342
/proc/meminfo: memFree=118628300/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002118 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3611.4 s]
/proc/loadavg: 4.12 4.11 4.08 5/262 66342
/proc/meminfo: memFree=118628300/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002118 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3611.42
CPU time (s): 3600.7
CPU user time (s): 3512.91
CPU system time (s): 87.7924
CPU usage (%): 99.7032
Max. virtual memory (cumulated for all children) (KiB): 17589800
Max. memory (cumulated for all children) (KiB): 14903892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3512.91
system time used= 87.7924
maximum resident set size= 14901204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2767453
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213
involuntary context switches= 4117


# summary of solver processes directly reported to runsolver:
#   pid: 66093,66095
#   total CPU time (s): 3600.7
#   total CPU user time (s): 3512.91
#   total CPU system time (s): 87.7924

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.99597 second user time and 18.2419 second system time

The end

Begin job on nodeC014 at 2025-07-02 16:26:55
IDJOB=4504894
IDBENCH=155700
IDSOLVER=3350
FILE ID=nodeC014/4504894-1751466415
RUNJOBID= nodeC014-1751466415-66043
SLURM_JOB_ID= 9598484
Free space on /tmp= 430492 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_2_mh_ic.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504894-1751466415/watcher-4504894-1751466415 -o /tmp/evaluation-result-4504894-1751466415/solver-4504894-1751466415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66043 --watchdog 3760  run-opt.sh HOME/instance-4504894-1751466415.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 5a166d04cd3e9d201c89375e6d39e5e9
RANDOM SEED=1285562696

nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3598.797
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.122
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.119
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3479.553
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.215
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.238
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.119
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.256
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        127958988 kB
MemAvailable:   129722076 kB
Buffers:            2508 kB
Cached:          2558968 kB
SwapCached:            4 kB
Active:           638652 kB
Inactive:        2011496 kB
Active(anon):     102948 kB
Inactive(anon):     3852 kB
Active(file):     535704 kB
Inactive(file):  2007644 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010672 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             67768 kB
Writeback:             4 kB
AnonPages:         91848 kB
Mapped:           107688 kB
Shmem:             18064 kB
KReclaimable:     117960 kB
Slab:             208480 kB
SReclaimable:     117960 kB
SUnreclaim:        90520 kB
KernelStack:        4176 kB
PageTables:         3060 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     391024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430492 MiB
End job on nodeC014 at 2025-07-02 17:27:07