0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
1.47/1.57	c #variables 126385 #constraints 290547
1.47/1.57	c objective is ce32 
1.87/1.90	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
1.87/1.90	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
1.87/1.90	c GLOBAL bounds - >= -35 @ 1.48923
1.97/2.05	c GLOBAL bounds - >= -35 @ 1.55839
2.17/2.20	c GLOBAL bounds - >= -35 @ 1.6501
2.27/2.34	c GLOBAL bounds - >= -35 @ 1.7415
2.37/2.48	c GLOBAL bounds - >= -35 @ 1.8325
2.57/2.62	c GLOBAL bounds - >= -35 @ 1.92896
2.67/2.76	c GLOBAL bounds - >= -35 @ 2.01412
2.87/2.91	c GLOBAL bounds - >= -35 @ 2.107
2.97/3.05	c GLOBAL bounds - >= -35 @ 2.18869
3.17/3.22	c GLOBAL bounds - >= -35 @ 2.30415
3.26/3.36	c GLOBAL bounds - >= -35 @ 2.40241
3.46/3.50	c GLOBAL bounds - >= -35 @ 2.49088
3.56/3.64	c GLOBAL bounds - >= -35 @ 2.5726
3.66/3.78	c GLOBAL bounds - >= -35 @ 2.66145
3.97/4.01	c GLOBAL bounds - >= -35 @ 2.82809
4.16/4.26	c GLOBAL bounds - >= -35 @ 3.03289
4.36/4.40	c GLOBAL bounds - >= -35 @ 3.1242
4.46/4.55	c GLOBAL bounds - >= -35 @ 3.22116
4.66/4.74	c GLOBAL bounds - >= -35 @ 3.35959
4.87/4.91	c GLOBAL bounds - >= -35 @ 3.48783
4.97/5.08	c GLOBAL bounds - >= -35 @ 3.60503
5.16/5.25	c GLOBAL bounds - >= -35 @ 3.72706
5.37/5.48	c GLOBAL bounds - >= -35 @ 3.88548
5.76/5.88	c GLOBAL bounds - >= -35 @ 4.2135
6.36/6.43	c GLOBAL bounds - >= -35 @ 4.67839
6.46/6.59	c GLOBAL bounds - >= 93885 @ 4.84248
8.35/8.47	c GLOBAL bounds - >= 93885 @ 6.64405
8.35/8.49	c GLOBAL bounds - >= 93885 @ 6.65852
8.55/8.65	c GLOBAL bounds - >= 93885 @ 6.75443
8.55/8.68	c GLOBAL bounds - >= 93885 @ 6.77558
8.76/8.84	c GLOBAL bounds - >= 93885 @ 6.86195
8.76/8.87	c GLOBAL bounds - >= 93885 @ 6.88676
8.96/9.03	c GLOBAL bounds - >= 93885 @ 6.97396
8.96/9.06	c GLOBAL bounds - >= 93885 @ 6.99524
9.15/9.24	c GLOBAL bounds - >= 93885 @ 7.08183
9.15/9.24	c GLOBAL bounds - >= 93885 @ 7.08502
9.34/9.42	c GLOBAL bounds - >= 93885 @ 7.17933
9.34/9.42	c GLOBAL bounds - >= 93885 @ 7.18096
9.44/9.58	c GLOBAL bounds - >= 93885 @ 7.2713
9.54/9.62	c GLOBAL bounds - >= 93885 @ 7.29829
9.64/9.78	c GLOBAL bounds - >= 93885 @ 7.39092
9.64/9.79	c GLOBAL bounds - >= 93885 @ 7.39901
9.83/9.98	c GLOBAL bounds - >= 93885 @ 7.51608
9.94/10.02	c GLOBAL bounds - >= 93885 @ 7.54138
10.05/10.18	c GLOBAL bounds - >= 93885 @ 7.64297
10.14/10.22	c GLOBAL bounds - >= 93885 @ 7.6693
10.24/10.34	c GLOBAL bounds - >= 93885 @ 7.73676
10.44/10.51	c GLOBAL bounds - >= 93885 @ 7.8594
10.63/10.75	c GLOBAL bounds - >= 93885 @ 8.0349
10.83/10.95	c GLOBAL bounds - >= 93885 @ 8.18159
11.04/11.17	c GLOBAL bounds - >= 93885 @ 8.35932
11.34/11.41	c GLOBAL bounds - >= 93885 @ 8.54076
11.53/11.66	c GLOBAL bounds - >= 93885 @ 8.72753
11.94/12.01	c GLOBAL bounds - >= 93885 @ 9.0136
12.14/12.29	c GLOBAL bounds - >= 93885 @ 9.2211
12.53/12.60	c GLOBAL bounds - >= 93885 @ 9.47037
12.83/12.90	c GLOBAL bounds - >= 93885 @ 9.69794
13.13/13.25	c GLOBAL bounds - >= 93885 @ 9.97181
13.43/13.57	c GLOBAL bounds - >= 93885 @ 10.2147
13.63/13.71	c GLOBAL bounds - >= 115517 @ 10.3514
13.63/13.76	c GLOBAL bounds - >= 115517 @ 10.385
13.83/13.95	c GLOBAL bounds - >= 115517 @ 10.4899
13.83/13.97	c GLOBAL bounds - >= 115517 @ 10.5111
14.03/14.15	c GLOBAL bounds - >= 115517 @ 10.6177
14.03/14.19	c GLOBAL bounds - >= 115517 @ 10.6408
14.23/14.34	c GLOBAL bounds - >= 115517 @ 10.7395
14.23/14.38	c GLOBAL bounds - >= 115517 @ 10.7711
14.43/14.53	c GLOBAL bounds - >= 115517 @ 10.8534
14.43/14.57	c GLOBAL bounds - >= 115517 @ 10.8788
14.63/14.75	c GLOBAL bounds - >= 115517 @ 10.9869
14.63/14.79	c GLOBAL bounds - >= 115517 @ 11.0163
14.82/14.95	c GLOBAL bounds - >= 115517 @ 11.1165
14.82/14.99	c GLOBAL bounds - >= 115517 @ 11.1455
15.03/15.17	c GLOBAL bounds - >= 115517 @ 11.2562
15.13/15.21	c GLOBAL bounds - >= 115517 @ 11.2845
15.23/15.38	c GLOBAL bounds - >= 115517 @ 11.395
15.33/15.42	c GLOBAL bounds - >= 115517 @ 11.4193
15.43/15.59	c GLOBAL bounds - >= 115517 @ 11.5264
15.53/15.63	c GLOBAL bounds - >= 115517 @ 11.558
15.73/15.82	c GLOBAL bounds - >= 115517 @ 11.6661
16.03/16.10	c GLOBAL bounds - >= 115517 @ 11.8855
16.03/16.14	c GLOBAL bounds - >= 121855 @ 11.9196
16.13/16.20	c GLOBAL bounds - >= 121855 @ 11.9676
16.13/16.24	c GLOBAL bounds - >= 121855 @ 11.9976
16.32/16.43	c GLOBAL bounds - >= 121855 @ 12.1135
16.32/16.47	c GLOBAL bounds - >= 121855 @ 12.1405
16.52/16.65	c GLOBAL bounds - >= 121855 @ 12.2428
16.52/16.69	c GLOBAL bounds - >= 121855 @ 12.2732
16.72/16.84	c GLOBAL bounds - >= 121855 @ 12.3582
16.72/16.88	c GLOBAL bounds - >= 121855 @ 12.3883
16.92/17.04	c GLOBAL bounds - >= 121855 @ 12.4729
16.92/17.08	c GLOBAL bounds - >= 121855 @ 12.4976
17.12/17.23	c GLOBAL bounds - >= 121855 @ 12.5874
17.12/17.27	c GLOBAL bounds - >= 121855 @ 12.6194
17.32/17.42	c GLOBAL bounds - >= 121855 @ 12.7049
17.32/17.46	c GLOBAL bounds - >= 121855 @ 12.7381
17.52/17.63	c GLOBAL bounds - >= 121855 @ 12.8465
17.52/17.67	c GLOBAL bounds - >= 121855 @ 12.8816
17.72/17.83	c GLOBAL bounds - >= 121855 @ 12.9767
17.72/17.87	c GLOBAL bounds - >= 121855 @ 13.006
17.93/18.04	c GLOBAL bounds - >= 121855 @ 13.1032
17.93/18.08	c GLOBAL bounds - >= 121855 @ 13.1342
18.12/18.23	c GLOBAL bounds - >= 121855 @ 13.2255
18.32/18.48	c GLOBAL bounds - >= 121855 @ 13.4158
18.62/18.79	c GLOBAL bounds - >= 121855 @ 13.6601
19.03/19.11	c GLOBAL bounds - >= 121855 @ 13.9035
19.32/19.46	c GLOBAL bounds - >= 121855 @ 14.1829
19.72/19.82	c GLOBAL bounds - >= 121855 @ 14.4705
19.92/20.03	c GLOBAL bounds - >= 121855 @ 14.6027
20.12/20.27	c GLOBAL bounds - >= 121855 @ 14.7639
20.81/20.91	c GLOBAL bounds - >= 121855 @ 15.3379
21.11/21.28	c GLOBAL bounds - >= 121855 @ 15.6432
21.51/21.63	c GLOBAL bounds - >= 128589 @ 15.9831
21.51/21.66	c GLOBAL bounds - >= 128589 @ 16.0111
21.61/21.79	c GLOBAL bounds - >= 128589 @ 16.0784
21.71/21.80	c GLOBAL bounds - >= 128589 @ 16.0884
21.81/21.93	c GLOBAL bounds - >= 128589 @ 16.1601
21.81/21.97	c GLOBAL bounds - >= 128589 @ 16.1853
21.92/22.09	c GLOBAL bounds - >= 128589 @ 16.254
22.02/22.10	c GLOBAL bounds - >= 128589 @ 16.2615
22.11/22.24	c GLOBAL bounds - >= 128589 @ 16.3337
22.11/22.25	c GLOBAL bounds - >= 128589 @ 16.3421
22.21/22.38	c GLOBAL bounds - >= 128589 @ 16.4103
22.31/22.42	c GLOBAL bounds - >= 128589 @ 16.4385
22.41/22.55	c GLOBAL bounds - >= 128589 @ 16.5073
22.41/22.55	c GLOBAL bounds - >= 128589 @ 16.5087
22.51/22.65	c GLOBAL bounds - >= 128589 @ 16.5523
22.51/22.66	c GLOBAL bounds - >= 128589 @ 16.5609
22.61/22.76	c GLOBAL bounds - >= 128589 @ 16.5937
22.61/22.77	c GLOBAL bounds - >= 128589 @ 16.6005
22.71/22.89	c GLOBAL bounds - >= 128589 @ 16.6721
22.81/22.90	c GLOBAL bounds - >= 128589 @ 16.6782
22.91/23.03	c GLOBAL bounds - >= 128589 @ 16.7498
23.01/23.18	c GLOBAL bounds - >= 128589 @ 16.8346
23.21/23.34	c GLOBAL bounds - >= 128589 @ 16.9304
23.31/23.49	c GLOBAL bounds - >= 128589 @ 17.0254
23.61/23.72	c GLOBAL bounds - >= 128589 @ 17.2047
23.80/23.94	c GLOBAL bounds - >= 128589 @ 17.3385
24.01/24.15	c GLOBAL bounds - >= 128589 @ 17.4858
24.70/24.85	c GLOBAL bounds - >= 128589 @ 18.0997
24.91/25.09	c GLOBAL bounds - >= 128589 @ 18.2787
25.30/25.49	c GLOBAL bounds - >= 128589 @ 18.5992
25.70/25.87	c GLOBAL bounds - >= 128589 @ 18.9175
25.70/25.88	c GLOBAL bounds - >= 128589 @ 18.9255
25.80/25.94	c GLOBAL bounds - >= 128589 @ 18.97
26.01/26.12	c GLOBAL bounds - >= 128589 @ 19.0832
26.01/26.15	c GLOBAL bounds - >= 128589 @ 19.0996
26.19/26.33	c GLOBAL bounds - >= 128589 @ 19.2122
26.19/26.37	c GLOBAL bounds - >= 128589 @ 19.2393
26.40/26.55	c GLOBAL bounds - >= 128589 @ 19.3463
26.40/26.59	c GLOBAL bounds - >= 128589 @ 19.3715
26.59/26.73	c GLOBAL bounds - >= 128589 @ 19.4555
26.59/26.75	c GLOBAL bounds - >= 128589 @ 19.4705
26.70/26.87	c GLOBAL bounds - >= 128589 @ 19.5294
26.70/26.88	c GLOBAL bounds - >= 128589 @ 19.5367
26.90/27.01	c GLOBAL bounds - >= 128589 @ 19.6188
26.90/27.04	c GLOBAL bounds - >= 128589 @ 19.6418
27.00/27.17	c GLOBAL bounds - >= 128589 @ 19.7086
27.09/27.20	c GLOBAL bounds - >= 128589 @ 19.7298
27.20/27.33	c GLOBAL bounds - >= 128589 @ 19.7997
27.20/27.35	c GLOBAL bounds - >= 128589 @ 19.8177
27.30/27.48	c GLOBAL bounds - >= 128589 @ 19.887
27.39/27.51	c GLOBAL bounds - >= 128589 @ 19.9049
27.50/27.64	c GLOBAL bounds - >= 128589 @ 19.9659
27.79/27.94	c GLOBAL bounds - >= 128589 @ 20.2125
28.09/28.24	c GLOBAL bounds - >= 128589 @ 20.4599
28.30/28.43	c GLOBAL bounds - >= 128589 @ 20.5885
28.39/28.59	c GLOBAL bounds - >= 128589 @ 20.7066
29.00/29.13	c GLOBAL bounds - >= 128589 @ 21.1817
29.19/29.37	c GLOBAL bounds - >= 128589 @ 21.3635
29.49/29.60	c GLOBAL bounds - >= 128589 @ 21.5474
29.69/29.86	c GLOBAL bounds - >= 128589 @ 21.7417
30.00/30.17	c GLOBAL bounds - >= 128589 @ 21.996
30.39/30.58	c GLOBAL bounds - >= 128589 @ 22.344
30.89/31.00	c GLOBAL bounds - >= 128589 @ 22.705
31.28/31.42	c GLOBAL bounds - >= 128589 @ 23.0644
31.78/31.92	c GLOBAL bounds - >= 128589 @ 23.4904
32.08/32.27	c GLOBAL bounds - >= 128589 @ 23.773
32.48/32.68	c GLOBAL bounds - >= 128589 @ 24.1154
33.18/33.31	c GLOBAL bounds - >= 128589 @ 24.6495
33.28/33.49	c GLOBAL bounds - >= 184463 @ 24.8248
33.38/33.56	c GLOBAL bounds - >= 184463 @ 24.8802
33.38/33.58	c GLOBAL bounds - >= 184463 @ 24.8978
33.48/33.61	c GLOBAL bounds - >= 184463 @ 24.9144
33.48/33.65	c GLOBAL bounds - >= 184463 @ 24.9408
33.68/33.83	c GLOBAL bounds - >= 184463 @ 25.0564
33.68/33.87	c GLOBAL bounds - >= 184463 @ 25.084
33.89/34.00	c GLOBAL bounds - >= 184463 @ 25.1541
33.89/34.04	c GLOBAL bounds - >= 184463 @ 25.1816
33.99/34.17	c GLOBAL bounds - >= 184463 @ 25.247
34.08/34.20	c GLOBAL bounds - >= 184463 @ 25.2669
34.17/34.33	c GLOBAL bounds - >= 184463 @ 25.3405
34.17/34.37	c GLOBAL bounds - >= 184463 @ 25.3659
34.38/34.50	c GLOBAL bounds - >= 184463 @ 25.4283
34.38/34.54	c GLOBAL bounds - >= 184463 @ 25.4618
34.48/34.67	c GLOBAL bounds - >= 184463 @ 25.5313
34.48/34.68	c GLOBAL bounds - >= 184463 @ 25.5373
34.57/34.78	c GLOBAL bounds - >= 184463 @ 25.5773
34.57/34.79	c GLOBAL bounds - >= 184463 @ 25.585
34.78/34.92	c GLOBAL bounds - >= 184463 @ 25.6494
34.78/34.94	c GLOBAL bounds - >= 184463 @ 25.6635
34.88/35.04	c GLOBAL bounds - >= 184463 @ 25.7043
34.88/35.06	c GLOBAL bounds - >= 184463 @ 25.7165
34.98/35.19	c GLOBAL bounds - >= 184463 @ 25.7908
35.17/35.38	c GLOBAL bounds - >= 184463 @ 25.9297
35.37/35.53	c GLOBAL bounds - >= 184463 @ 26.0186
35.58/35.77	c GLOBAL bounds - >= 184463 @ 26.1981
35.87/36.05	c GLOBAL bounds - >= 184463 @ 26.4255
36.07/36.20	c GLOBAL bounds - >= 184463 @ 26.5197
36.27/36.49	c GLOBAL bounds - >= 184463 @ 26.7431
36.48/36.67	c GLOBAL bounds - >= 184463 @ 26.8798
37.27/37.41	c GLOBAL bounds - >= 184463 @ 27.5588
37.67/37.82	c GLOBAL bounds - >= 184463 @ 27.9124
38.27/38.42	c GLOBAL bounds - >= 184463 @ 28.4354
38.76/38.91	c GLOBAL bounds - >= 184463 @ 28.8452
38.76/38.98	c GLOBAL bounds - >= 208995 @ 28.9198
38.87/39.07	c GLOBAL bounds - >= 208995 @ 28.9919
38.87/39.09	c GLOBAL bounds - >= 208995 @ 29.0042
39.06/39.26	c GLOBAL bounds - >= 208995 @ 29.0971
39.17/39.30	c GLOBAL bounds - >= 208995 @ 29.1264
39.27/39.43	c GLOBAL bounds - >= 208995 @ 29.1914
39.27/39.47	c GLOBAL bounds - >= 208995 @ 29.2217
39.36/39.59	c GLOBAL bounds - >= 208995 @ 29.2868
39.46/39.63	c GLOBAL bounds - >= 208995 @ 29.3091
39.57/39.76	c GLOBAL bounds - >= 208995 @ 29.3692
39.66/39.81	c GLOBAL bounds - >= 208995 @ 29.3934
39.76/39.94	c GLOBAL bounds - >= 208995 @ 29.4636
39.76/39.98	c GLOBAL bounds - >= 208995 @ 29.4954
39.97/40.11	c GLOBAL bounds - >= 208995 @ 29.5653
39.97/40.15	c GLOBAL bounds - >= 208995 @ 29.5936
40.06/40.27	c GLOBAL bounds - >= 208995 @ 29.6681
40.16/40.31	c GLOBAL bounds - >= 208995 @ 29.6961
40.26/40.44	c GLOBAL bounds - >= 208995 @ 29.7697
40.26/40.47	c GLOBAL bounds - >= 208995 @ 29.7905
40.37/40.60	c GLOBAL bounds - >= 208995 @ 29.8596
40.47/40.61	c GLOBAL bounds - >= 208995 @ 29.8665
40.56/40.73	c GLOBAL bounds - >= 208995 @ 29.9304
40.66/40.88	c GLOBAL bounds - >= 208995 @ 30.0202
40.86/41.07	c GLOBAL bounds - >= 208995 @ 30.1499
41.06/41.23	c GLOBAL bounds - >= 208995 @ 30.2474
41.46/41.68	c GLOBAL bounds - >= 208995 @ 30.644
41.76/41.99	c GLOBAL bounds - >= 208995 @ 30.8911
42.16/42.30	c GLOBAL bounds - >= 208995 @ 31.1361
42.45/42.65	c GLOBAL bounds - >= 208995 @ 31.4146
42.75/42.99	c GLOBAL bounds - >= 208995 @ 31.69
43.15/43.38	c GLOBAL bounds - >= 208995 @ 32.0128
43.74/43.95	c GLOBAL bounds - >= 231227 @ 32.5642
43.86/44.05	c GLOBAL bounds - >= 231227 @ 32.6477
43.86/44.09	c GLOBAL bounds - >= 231227 @ 32.6758
44.05/44.26	c GLOBAL bounds - >= 231227 @ 32.7727
44.15/44.30	c GLOBAL bounds - >= 231227 @ 32.7981
44.25/44.47	c GLOBAL bounds - >= 231227 @ 32.8915
44.35/44.50	c GLOBAL bounds - >= 231227 @ 32.9188
44.44/44.67	c GLOBAL bounds - >= 231227 @ 33.0009
44.54/44.71	c GLOBAL bounds - >= 231227 @ 33.0375
44.64/44.88	c GLOBAL bounds - >= 231227 @ 33.1339
44.74/44.92	c GLOBAL bounds - >= 231227 @ 33.1633
44.85/45.06	c GLOBAL bounds - >= 231227 @ 33.2409
44.85/45.10	c GLOBAL bounds - >= 231227 @ 33.2671
45.04/45.25	c GLOBAL bounds - >= 231227 @ 33.3575
45.04/45.29	c GLOBAL bounds - >= 231227 @ 33.383
45.24/45.43	c GLOBAL bounds - >= 231227 @ 33.4593
45.24/45.47	c GLOBAL bounds - >= 231227 @ 33.4896
45.45/45.62	c GLOBAL bounds - >= 231227 @ 33.5799
45.45/45.66	c GLOBAL bounds - >= 231227 @ 33.6103
45.65/45.80	c GLOBAL bounds - >= 231227 @ 33.6836
45.65/45.84	c GLOBAL bounds - >= 231227 @ 33.7067
45.74/45.99	c GLOBAL bounds - >= 231227 @ 33.7814
45.95/46.19	c GLOBAL bounds - >= 231227 @ 33.9072
46.55/46.71	c GLOBAL bounds - >= 231227 @ 34.3541
46.74/46.95	c GLOBAL bounds - >= 231227 @ 34.5216
47.34/47.53	c GLOBAL bounds - >= 231227 @ 35.0293
47.64/47.88	c GLOBAL bounds - >= 231227 @ 35.3022
48.04/48.24	c GLOBAL bounds - >= 244653 @ 35.647
48.14/48.34	c GLOBAL bounds - >= 244653 @ 35.7297
48.14/48.36	c GLOBAL bounds - >= 244653 @ 35.7414
48.24/48.40	c GLOBAL bounds - >= 244653 @ 35.7699
48.34/48.56	c GLOBAL bounds - >= 244653 @ 35.8653
48.43/48.60	c GLOBAL bounds - >= 244653 @ 35.893
48.54/48.75	c GLOBAL bounds - >= 244653 @ 35.9913
48.54/48.79	c GLOBAL bounds - >= 244653 @ 36.022
48.74/48.94	c GLOBAL bounds - >= 244653 @ 36.1017
48.74/48.98	c GLOBAL bounds - >= 244653 @ 36.1264
48.94/49.12	c GLOBAL bounds - >= 244653 @ 36.2084
48.94/49.16	c GLOBAL bounds - >= 244653 @ 36.2351
49.13/49.30	c GLOBAL bounds - >= 244653 @ 36.3191
49.13/49.34	c GLOBAL bounds - >= 244653 @ 36.3472
49.24/49.48	c GLOBAL bounds - >= 244653 @ 36.4414
49.33/49.53	c GLOBAL bounds - >= 244653 @ 36.4667
49.43/49.67	c GLOBAL bounds - >= 244653 @ 36.5547
49.53/49.72	c GLOBAL bounds - >= 244653 @ 36.5853
49.63/49.87	c GLOBAL bounds - >= 244653 @ 36.6691
49.73/49.91	c GLOBAL bounds - >= 244653 @ 36.6957
49.84/50.06	c GLOBAL bounds - >= 244653 @ 36.7791
49.84/50.10	c GLOBAL bounds - >= 244653 @ 36.8105
50.03/50.25	c GLOBAL bounds - >= 244653 @ 36.9009
50.33/50.55	c GLOBAL bounds - >= 244653 @ 37.1313
50.64/50.86	c GLOBAL bounds - >= 244653 @ 37.3816
50.94/51.18	c GLOBAL bounds - >= 244653 @ 37.6421
51.43/51.61	c GLOBAL bounds - >= 244653 @ 37.9978
51.53/51.76	c GLOBAL bounds - >= 244653 @ 38.0838
51.83/52.02	c GLOBAL bounds - >= 244653 @ 38.2874
51.93/52.18	c GLOBAL bounds - >= 244653 @ 38.3901
51.93/52.20	c GLOBAL bounds - >= 244653 @ 38.4034
52.03/52.26	c GLOBAL bounds - >= 244653 @ 38.4528
52.23/52.44	c GLOBAL bounds - >= 244653 @ 38.5666
52.23/52.47	c GLOBAL bounds - >= 244653 @ 38.5838
52.43/52.63	c GLOBAL bounds - >= 244653 @ 38.6783
52.43/52.67	c GLOBAL bounds - >= 244653 @ 38.707
52.63/52.81	c GLOBAL bounds - >= 244653 @ 38.7937
52.63/52.85	c GLOBAL bounds - >= 244653 @ 38.8186
52.72/52.99	c GLOBAL bounds - >= 244653 @ 38.9023
52.83/53.03	c GLOBAL bounds - >= 244653 @ 38.9246
52.94/53.17	c GLOBAL bounds - >= 244653 @ 38.9964
53.03/53.21	c GLOBAL bounds - >= 244653 @ 39.0245
53.12/53.36	c GLOBAL bounds - >= 244653 @ 39.1193
53.22/53.40	c GLOBAL bounds - >= 244653 @ 39.1504
53.33/53.52	c GLOBAL bounds - >= 244653 @ 39.2162
53.33/53.55	c GLOBAL bounds - >= 244653 @ 39.2356
53.53/53.70	c GLOBAL bounds - >= 244653 @ 39.3212
53.53/53.74	c GLOBAL bounds - >= 244653 @ 39.3505
53.63/53.89	c GLOBAL bounds - >= 244653 @ 39.4484
53.73/53.93	c GLOBAL bounds - >= 244653 @ 39.4757
53.83/54.05	c GLOBAL bounds - >= 244653 @ 39.5412
54.02/54.20	c GLOBAL bounds - >= 244653 @ 39.6383
54.12/54.34	c GLOBAL bounds - >= 244653 @ 39.7299
54.32/54.55	c GLOBAL bounds - >= 244653 @ 39.8835
54.52/54.77	c GLOBAL bounds - >= 244653 @ 40.0546
54.73/54.98	c GLOBAL bounds - >= 244653 @ 40.2037
54.93/55.16	c GLOBAL bounds - >= 244653 @ 40.3196
55.22/55.41	c GLOBAL bounds - >= 244653 @ 40.5067
55.52/55.71	c GLOBAL bounds - >= 244653 @ 40.7401
55.72/55.96	c GLOBAL bounds - >= 244653 @ 40.9307
56.22/56.42	c GLOBAL bounds - >= 244653 @ 41.3136
56.52/56.79	c GLOBAL bounds - >= 244653 @ 41.6229
56.93/57.14	c GLOBAL bounds - >= 244653 @ 41.8983
56.93/57.15	c GLOBAL bounds - >= 244653 @ 41.9109
57.02/57.21	c GLOBAL bounds - >= 244653 @ 41.9567
57.02/57.23	c GLOBAL bounds - >= 244653 @ 41.9754
57.12/57.37	c GLOBAL bounds - >= 244653 @ 42.0429
57.22/57.41	c GLOBAL bounds - >= 244653 @ 42.0749
57.32/57.55	c GLOBAL bounds - >= 244653 @ 42.1632
57.32/57.59	c GLOBAL bounds - >= 244653 @ 42.1894
57.52/57.70	c GLOBAL bounds - >= 244653 @ 42.2345
57.52/57.74	c GLOBAL bounds - >= 244653 @ 42.2619
57.62/57.88	c GLOBAL bounds - >= 244653 @ 42.3497
57.71/57.92	c GLOBAL bounds - >= 244653 @ 42.376
57.82/58.06	c GLOBAL bounds - >= 244653 @ 42.4629
57.92/58.10	c GLOBAL bounds - >= 244653 @ 42.4904
58.02/58.21	c GLOBAL bounds - >= 244653 @ 42.5345
58.02/58.25	c GLOBAL bounds - >= 244653 @ 42.5631
58.11/58.37	c GLOBAL bounds - >= 244653 @ 42.634
58.22/58.41	c GLOBAL bounds - >= 244653 @ 42.6583
58.31/58.54	c GLOBAL bounds - >= 244653 @ 42.7342
58.31/58.58	c GLOBAL bounds - >= 244653 @ 42.7594
58.51/58.71	c GLOBAL bounds - >= 244653 @ 42.8278
58.51/58.74	c GLOBAL bounds - >= 244653 @ 42.858
58.61/58.87	c GLOBAL bounds - >= 244653 @ 42.9361
58.82/59.02	c GLOBAL bounds - >= 244653 @ 43.0361
58.92/59.16	c GLOBAL bounds - >= 244653 @ 43.1202
59.21/59.42	c GLOBAL bounds - >= 244653 @ 43.3148
59.41/59.66	c GLOBAL bounds - >= 244653 @ 43.4904
59.92/60.10	c GLOBAL bounds - >= 244653 @ 43.8526
60.21/60.41	c GLOBAL bounds - >= 244653 @ 44.0814
60.71/60.98	c GLOBAL bounds - >= 244653 @ 44.575
61.10/61.30	c GLOBAL bounds - >= 244653 @ 44.8207
61.51/61.73	c GLOBAL bounds - >= 271603 @ 45.2447
61.61/61.86	c GLOBAL bounds - >= 271603 @ 45.3651
61.61/61.89	c GLOBAL bounds - >= 271603 @ 45.3849
61.81/62.06	c GLOBAL bounds - >= 271603 @ 45.4839
61.91/62.11	c GLOBAL bounds - >= 271603 @ 45.5123
62.01/62.27	c GLOBAL bounds - >= 271603 @ 45.6097
62.11/62.31	c GLOBAL bounds - >= 271603 @ 45.6427
62.20/62.47	c GLOBAL bounds - >= 271603 @ 45.7411
62.31/62.51	c GLOBAL bounds - >= 271603 @ 45.7657
62.40/62.66	c GLOBAL bounds - >= 271603 @ 45.8603
62.51/62.70	c GLOBAL bounds - >= 271603 @ 45.8859
62.60/62.81	c GLOBAL bounds - >= 271603 @ 45.9382
62.60/62.85	c GLOBAL bounds - >= 271603 @ 45.963
62.70/62.97	c GLOBAL bounds - >= 271603 @ 46.0226
62.81/63.01	c GLOBAL bounds - >= 271603 @ 46.048
62.90/63.15	c GLOBAL bounds - >= 271603 @ 46.1254
62.90/63.19	c GLOBAL bounds - >= 271603 @ 46.1493
63.10/63.33	c GLOBAL bounds - >= 271603 @ 46.2246
63.10/63.37	c GLOBAL bounds - >= 271603 @ 46.2518
63.30/63.53	c GLOBAL bounds - >= 271603 @ 46.3491
63.30/63.56	c GLOBAL bounds - >= 271603 @ 46.3733
63.50/63.70	c GLOBAL bounds - >= 271603 @ 46.4374
64.00/64.23	c GLOBAL bounds - >= 271603 @ 46.8978
64.40/64.60	c GLOBAL bounds - >= 271603 @ 47.1937
64.60/64.80	c GLOBAL bounds - >= 271603 @ 47.3261
64.80/65.01	c GLOBAL bounds - >= 271603 @ 47.4756
65.00/65.23	c GLOBAL bounds - >= 271603 @ 47.636
65.70/65.91	c GLOBAL bounds - >= 315283 @ 48.3049
65.90/66.12	c GLOBAL bounds - >= 315283 @ 48.4859
65.99/66.28	c GLOBAL bounds - >= 315283 @ 48.583
66.09/66.32	c GLOBAL bounds - >= 315283 @ 48.6087
66.19/66.47	c GLOBAL bounds - >= 315283 @ 48.6991
66.29/66.51	c GLOBAL bounds - >= 315283 @ 48.7199
66.39/66.65	c GLOBAL bounds - >= 315283 @ 48.8025
66.39/66.69	c GLOBAL bounds - >= 315283 @ 48.8339
66.59/66.83	c GLOBAL bounds - >= 315283 @ 48.913
66.59/66.86	c GLOBAL bounds - >= 315283 @ 48.9398
66.80/67.00	c GLOBAL bounds - >= 315283 @ 49.0116
66.80/67.04	c GLOBAL bounds - >= 315283 @ 49.0405
66.89/67.18	c GLOBAL bounds - >= 315283 @ 49.1167
66.99/67.22	c GLOBAL bounds - >= 315283 @ 49.1479
67.09/67.35	c GLOBAL bounds - >= 315283 @ 49.2284
67.09/67.39	c GLOBAL bounds - >= 315283 @ 49.2526
67.29/67.52	c GLOBAL bounds - >= 315283 @ 49.3402
67.29/67.56	c GLOBAL bounds - >= 315283 @ 49.3697
67.49/67.70	c GLOBAL bounds - >= 315283 @ 49.4442
67.49/67.74	c GLOBAL bounds - >= 315283 @ 49.4731
67.59/67.87	c GLOBAL bounds - >= 315283 @ 49.5467
67.89/68.11	c GLOBAL bounds - >= 315283 @ 49.7202
67.99/68.27	c GLOBAL bounds - >= 315283 @ 49.8253
68.19/68.43	c GLOBAL bounds - >= 315283 @ 49.94
68.99/69.27	c GLOBAL bounds - >= 315283 @ 50.7067
69.18/69.44	c GLOBAL bounds - >= 315283 @ 50.8141
69.28/69.59	c GLOBAL bounds - >= 315283 @ 50.8974
70.08/70.31	c GLOBAL bounds - >= 322987 @ 51.6045
70.18/70.40	c GLOBAL bounds - >= 322987 @ 51.6894
70.18/70.44	c GLOBAL bounds - >= 322987 @ 51.7178
70.18/70.48	c GLOBAL bounds - >= 322987 @ 51.7449
70.28/70.52	c GLOBAL bounds - >= 322987 @ 51.771
70.28/70.56	c GLOBAL bounds - >= 322987 @ 51.8013
70.38/70.60	c GLOBAL bounds - >= 322987 @ 51.829
70.48/70.77	c GLOBAL bounds - >= 322987 @ 51.9255
70.58/70.81	c GLOBAL bounds - >= 322987 @ 51.9528
70.68/70.95	c GLOBAL bounds - >= 322987 @ 52.0446
70.68/70.99	c GLOBAL bounds - >= 322987 @ 52.0736
70.88/71.14	c GLOBAL bounds - >= 322987 @ 52.1595
70.88/71.18	c GLOBAL bounds - >= 322987 @ 52.1897
71.08/71.32	c GLOBAL bounds - >= 322987 @ 52.2791
71.08/71.35	c GLOBAL bounds - >= 322987 @ 52.3016
71.28/71.50	c GLOBAL bounds - >= 322987 @ 52.3819
71.28/71.54	c GLOBAL bounds - >= 322987 @ 52.4109
71.37/71.68	c GLOBAL bounds - >= 322987 @ 52.4881
71.47/71.71	c GLOBAL bounds - >= 322987 @ 52.5128
71.58/71.86	c GLOBAL bounds - >= 322987 @ 52.5999
71.68/71.90	c GLOBAL bounds - >= 322987 @ 52.6301
71.78/72.05	c GLOBAL bounds - >= 322987 @ 52.7103
71.78/72.09	c GLOBAL bounds - >= 322987 @ 52.7403
71.97/72.24	c GLOBAL bounds - >= 322987 @ 52.8246
71.97/72.28	c GLOBAL bounds - >= 322987 @ 52.8492
72.17/72.41	c GLOBAL bounds - >= 322987 @ 52.919
72.27/72.56	c GLOBAL bounds - >= 322987 @ 53.0183
72.47/72.73	c GLOBAL bounds - >= 322987 @ 53.1424
72.77/73.03	c GLOBAL bounds - >= 322987 @ 53.3821
73.07/73.37	c GLOBAL bounds - >= 322987 @ 53.669
73.27/73.53	c GLOBAL bounds - >= 322987 @ 53.7763
73.57/73.86	c GLOBAL bounds - >= 322987 @ 54.0502
73.87/74.14	c GLOBAL bounds - >= 322987 @ 54.2653
74.37/74.66	c GLOBAL bounds - >= 322987 @ 54.7117
74.57/74.85	c GLOBAL bounds - >= 322987 @ 54.8443
74.97/75.23	c GLOBAL bounds - >= 322987 @ 55.1559
75.16/75.43	c GLOBAL bounds - >= 322987 @ 55.2934
75.36/75.69	c GLOBAL bounds - >= 322987 @ 55.4939
75.57/75.89	c GLOBAL bounds - >= 322987 @ 55.6358
75.87/76.17	c GLOBAL bounds - >= 322987 @ 55.849
76.57/76.89	c GLOBAL bounds - >= 327039 @ 56.5518
76.66/76.99	c GLOBAL bounds - >= 327039 @ 56.6372
76.77/77.03	c GLOBAL bounds - >= 327039 @ 56.6627
76.77/77.06	c GLOBAL bounds - >= 327039 @ 56.6883
76.87/77.10	c GLOBAL bounds - >= 327039 @ 56.7114
76.87/77.14	c GLOBAL bounds - >= 327039 @ 56.7374
76.87/77.15	c GLOBAL bounds - >= 327039 @ 56.7447
77.07/77.31	c GLOBAL bounds - >= 327039 @ 56.8299
77.07/77.35	c GLOBAL bounds - >= 327039 @ 56.8597
77.17/77.49	c GLOBAL bounds - >= 327039 @ 56.9423
77.26/77.53	c GLOBAL bounds - >= 327039 @ 56.9656
77.36/77.66	c GLOBAL bounds - >= 327039 @ 57.032
77.36/77.69	c GLOBAL bounds - >= 327039 @ 57.0571
77.56/77.84	c GLOBAL bounds - >= 327039 @ 57.1428
77.56/77.88	c GLOBAL bounds - >= 327039 @ 57.1669
77.77/78.02	c GLOBAL bounds - >= 327039 @ 57.2484
77.77/78.06	c GLOBAL bounds - >= 327039 @ 57.2762
77.96/78.20	c GLOBAL bounds - >= 327039 @ 57.3538
77.96/78.23	c GLOBAL bounds - >= 327039 @ 57.3773
78.06/78.37	c GLOBAL bounds - >= 327039 @ 57.4443
78.16/78.41	c GLOBAL bounds - >= 327039 @ 57.473
78.26/78.54	c GLOBAL bounds - >= 327039 @ 57.5406
78.26/78.58	c GLOBAL bounds - >= 327039 @ 57.5675
78.46/78.70	c GLOBAL bounds - >= 327039 @ 57.6305
78.46/78.74	c GLOBAL bounds - >= 327039 @ 57.6615
78.56/78.87	c GLOBAL bounds - >= 327039 @ 57.7343
78.76/79.06	c GLOBAL bounds - >= 327039 @ 57.8662
78.96/79.21	c GLOBAL bounds - >= 327039 @ 57.97
79.06/79.36	c GLOBAL bounds - >= 327039 @ 58.0666
79.35/79.62	c GLOBAL bounds - >= 327039 @ 58.2748
79.55/79.83	c GLOBAL bounds - >= 327039 @ 58.4202
79.76/80.01	c GLOBAL bounds - >= 327039 @ 58.5494
79.95/80.29	c GLOBAL bounds - >= 327039 @ 58.7633
80.16/80.47	c GLOBAL bounds - >= 327039 @ 58.889
80.86/81.19	c GLOBAL bounds - >= 327039 @ 59.5398
81.05/81.38	c GLOBAL bounds - >= 327039 @ 59.6727
81.55/81.87	c GLOBAL bounds - >= 327039 @ 60.0949
82.05/82.31	c GLOBAL bounds - >= 327039 @ 60.4494
82.75/83.02	c GLOBAL bounds - >= 334815 @ 61.1393
82.75/83.09	c GLOBAL bounds - >= 334815 @ 61.197
82.85/83.11	c GLOBAL bounds - >= 334815 @ 61.2142
82.95/83.24	c GLOBAL bounds - >= 334815 @ 61.2888
82.95/83.27	c GLOBAL bounds - >= 334815 @ 61.3044
83.15/83.40	c GLOBAL bounds - >= 334815 @ 61.3713
83.15/83.43	c GLOBAL bounds - >= 334815 @ 61.3893
83.25/83.55	c GLOBAL bounds - >= 334815 @ 61.4627
83.25/83.57	c GLOBAL bounds - >= 334815 @ 61.4699
83.35/83.67	c GLOBAL bounds - >= 334815 @ 61.5051
83.35/83.69	c GLOBAL bounds - >= 334815 @ 61.5178
83.45/83.79	c GLOBAL bounds - >= 334815 @ 61.5599
83.55/83.82	c GLOBAL bounds - >= 334815 @ 61.578
83.65/83.92	c GLOBAL bounds - >= 334815 @ 61.6275
83.65/83.95	c GLOBAL bounds - >= 334815 @ 61.6426
83.75/84.08	c GLOBAL bounds - >= 334815 @ 61.7226
83.85/84.10	c GLOBAL bounds - >= 334815 @ 61.7396
83.95/84.23	c GLOBAL bounds - >= 334815 @ 61.8088
83.95/84.26	c GLOBAL bounds - >= 334815 @ 61.8276
84.04/84.39	c GLOBAL bounds - >= 334815 @ 61.9051
84.14/84.42	c GLOBAL bounds - >= 334815 @ 61.9225
84.25/84.55	c GLOBAL bounds - >= 334815 @ 61.9888
84.44/84.74	c GLOBAL bounds - >= 334815 @ 62.1135
84.65/84.93	c #Conflicts:       1000 | #Constraints:    2752989
84.65/84.93	c GLOBAL bounds - >= 334815 @ 62.2446
84.75/85.09	c GLOBAL bounds - >= 334815 @ 62.3399
84.95/85.24	c GLOBAL bounds - >= 334815 @ 62.4349
85.04/85.39	c GLOBAL bounds - >= 334815 @ 62.5272
85.34/85.60	c GLOBAL bounds - >= 334815 @ 62.6752
85.55/85.81	c GLOBAL bounds - >= 334815 @ 62.8299
85.84/86.11	c GLOBAL bounds - >= 334815 @ 63.0674
86.03/86.33	c GLOBAL bounds - >= 334815 @ 63.2287
86.43/86.71	c GLOBAL bounds - >= 334815 @ 63.5308
86.63/86.95	c GLOBAL bounds - >= 334815 @ 63.7132
87.43/87.75	c GLOBAL bounds - >= 334815 @ 64.4317
87.93/88.20	c GLOBAL bounds - >= 334815 @ 64.8041
88.43/88.75	c GLOBAL bounds - >= 334815 @ 65.2822
88.43/88.77	c GLOBAL bounds - >= 341153 @ 65.3037
88.52/88.84	c GLOBAL bounds - >= 341153 @ 65.3598
88.52/88.88	c GLOBAL bounds - >= 341153 @ 65.3885
88.62/88.92	c GLOBAL bounds - >= 341153 @ 65.4147
88.62/88.96	c GLOBAL bounds - >= 341153 @ 65.4365
88.62/89.00	c GLOBAL bounds - >= 341153 @ 65.465
88.73/89.03	c GLOBAL bounds - >= 341153 @ 65.4924
88.73/89.07	c GLOBAL bounds - >= 341153 @ 65.5205
88.82/89.11	c GLOBAL bounds - >= 341153 @ 65.5501
88.82/89.15	c GLOBAL bounds - >= 341153 @ 65.5791
88.82/89.19	c GLOBAL bounds - >= 341153 @ 65.6065
88.93/89.21	c GLOBAL bounds - >= 341153 @ 65.6198
88.93/89.25	c GLOBAL bounds - >= 341153 @ 65.6436
89.13/89.44	c GLOBAL bounds - >= 341153 @ 65.76
89.13/89.48	c GLOBAL bounds - >= 341153 @ 65.7886
89.32/89.65	c GLOBAL bounds - >= 341153 @ 65.9018
89.32/89.69	c GLOBAL bounds - >= 341153 @ 65.932
89.52/89.84	c GLOBAL bounds - >= 341153 @ 66.0164
89.52/89.88	c GLOBAL bounds - >= 341153 @ 66.0425
89.73/90.03	c GLOBAL bounds - >= 341153 @ 66.1358
89.73/90.07	c GLOBAL bounds - >= 341153 @ 66.1643
89.92/90.22	c GLOBAL bounds - >= 341153 @ 66.2524
89.92/90.26	c GLOBAL bounds - >= 341153 @ 66.2773
90.12/90.42	c GLOBAL bounds - >= 341153 @ 66.3718
90.12/90.46	c GLOBAL bounds - >= 341153 @ 66.4026
90.32/90.62	c GLOBAL bounds - >= 341153 @ 66.5004
90.32/90.66	c GLOBAL bounds - >= 341153 @ 66.529
90.52/90.81	c GLOBAL bounds - >= 341153 @ 66.6235
90.52/90.85	c GLOBAL bounds - >= 341153 @ 66.6538
90.62/90.98	c GLOBAL bounds - >= 341153 @ 66.7339
90.73/91.02	c GLOBAL bounds - >= 341153 @ 66.7617
90.82/91.17	c GLOBAL bounds - >= 341153 @ 66.8499
91.02/91.34	c GLOBAL bounds - >= 341153 @ 66.9697
91.61/92.00	c GLOBAL bounds - >= 341153 @ 67.5543
92.31/92.60	c GLOBAL bounds - >= 341153 @ 68.0773
92.41/92.76	c GLOBAL bounds - >= 341153 @ 68.181
92.62/92.92	c GLOBAL bounds - >= 341153 @ 68.292
93.02/93.35	c GLOBAL bounds - >= 341153 @ 68.6542
93.22/93.59	c GLOBAL bounds - >= 341153 @ 68.8174
93.52/93.82	c GLOBAL bounds - >= 341153 @ 68.9857
93.91/94.27	c GLOBAL bounds - >= 341153 @ 69.3698
95.11/95.47	c GLOBAL bounds - >= 373803 @ 70.5509
95.30/95.61	c GLOBAL bounds - >= 373803 @ 70.6676
95.30/95.64	c GLOBAL bounds - >= 373803 @ 70.6957
95.30/95.68	c GLOBAL bounds - >= 373803 @ 70.7162
95.40/95.72	c GLOBAL bounds - >= 373803 @ 70.7488
95.60/95.90	c GLOBAL bounds - >= 373803 @ 70.8583
95.60/95.94	c GLOBAL bounds - >= 373803 @ 70.8832
95.71/96.10	c GLOBAL bounds - >= 373803 @ 70.9901
95.82/96.14	c GLOBAL bounds - >= 373803 @ 71.0209
95.90/96.29	c GLOBAL bounds - >= 373803 @ 71.1034
96.00/96.33	c GLOBAL bounds - >= 373803 @ 71.1273
96.11/96.47	c GLOBAL bounds - >= 373803 @ 71.2072
96.21/96.51	c GLOBAL bounds - >= 373803 @ 71.2374
96.31/96.66	c GLOBAL bounds - >= 373803 @ 71.3291
96.31/96.69	c GLOBAL bounds - >= 373803 @ 71.3546
96.50/96.84	c GLOBAL bounds - >= 373803 @ 71.4384
96.50/96.88	c GLOBAL bounds - >= 373803 @ 71.4656
96.71/97.03	c GLOBAL bounds - >= 373803 @ 71.556
96.71/97.07	c GLOBAL bounds - >= 373803 @ 71.585
96.90/97.22	c GLOBAL bounds - >= 373803 @ 71.682
96.90/97.27	c GLOBAL bounds - >= 373803 @ 71.709
97.09/97.41	c GLOBAL bounds - >= 373803 @ 71.791
97.09/97.45	c GLOBAL bounds - >= 373803 @ 71.8184
97.29/97.60	c GLOBAL bounds - >= 373803 @ 71.8955
97.39/97.77	c GLOBAL bounds - >= 373803 @ 72.0202
98.19/98.58	c GLOBAL bounds - >= 373803 @ 72.7548
98.39/98.78	c GLOBAL bounds - >= 373803 @ 72.8913
98.69/99.01	c GLOBAL bounds - >= 373803 @ 73.0596
99.19/99.51	c GLOBAL bounds - >= 373803 @ 73.4941
99.48/99.85	c GLOBAL bounds - >= 373803 @ 73.7605
100.39/100.73	c GLOBAL bounds - >= 373803 @ 74.562
100.79/101.15	c GLOBAL bounds - >= 373803 @ 74.9138
101.48/101.83	c GLOBAL bounds - >= 373803 @ 75.523
101.88/102.21	c GLOBAL bounds - >= 373803 @ 75.8398
101.88/102.23	c GLOBAL bounds - >= 379333 @ 75.8526
101.98/102.31	c GLOBAL bounds - >= 379333 @ 75.9242
102.08/102.45	c GLOBAL bounds - >= 379333 @ 76.0113
102.08/102.49	c GLOBAL bounds - >= 379333 @ 76.0412
102.28/102.64	c GLOBAL bounds - >= 379333 @ 76.1259
102.28/102.68	c GLOBAL bounds - >= 379333 @ 76.1561
102.48/102.81	c GLOBAL bounds - >= 379333 @ 76.2429
102.48/102.85	c GLOBAL bounds - >= 379333 @ 76.2706
102.58/102.99	c GLOBAL bounds - >= 379333 @ 76.3584
102.68/103.03	c GLOBAL bounds - >= 379333 @ 76.3913
102.78/103.17	c GLOBAL bounds - >= 379333 @ 76.4713
102.88/103.21	c GLOBAL bounds - >= 379333 @ 76.4986
102.98/103.36	c GLOBAL bounds - >= 379333 @ 76.5849
103.08/103.40	c GLOBAL bounds - >= 379333 @ 76.6098
103.18/103.53	c GLOBAL bounds - >= 379333 @ 76.6908
103.18/103.58	c GLOBAL bounds - >= 379333 @ 76.723
103.38/103.72	c GLOBAL bounds - >= 379333 @ 76.801
103.38/103.76	c GLOBAL bounds - >= 379333 @ 76.8272
103.48/103.88	c GLOBAL bounds - >= 379333 @ 76.8928
103.58/103.92	c GLOBAL bounds - >= 379333 @ 76.9176
103.68/104.04	c GLOBAL bounds - >= 379333 @ 76.9829
103.88/104.20	c GLOBAL bounds - >= 379333 @ 77.0868
103.98/104.34	c GLOBAL bounds - >= 379333 @ 77.1789
104.17/104.59	c GLOBAL bounds - >= 379333 @ 77.3648
104.38/104.78	c GLOBAL bounds - >= 379333 @ 77.4995
104.57/104.93	c GLOBAL bounds - >= 379333 @ 77.5855
104.68/105.08	c GLOBAL bounds - >= 379333 @ 77.6821
104.98/105.34	c GLOBAL bounds - >= 379333 @ 77.898
105.17/105.59	c GLOBAL bounds - >= 379333 @ 78.0904
105.58/105.95	c GLOBAL bounds - >= 379333 @ 78.3798
105.78/106.16	c GLOBAL bounds - >= 379333 @ 78.5334
106.07/106.47	c GLOBAL bounds - >= 379333 @ 78.7807
106.18/106.58	c GLOBAL bounds - >= 379333 @ 78.8417
106.47/106.83	c GLOBAL bounds - >= 379333 @ 79.0263
106.67/107.00	c GLOBAL bounds - >= 379333 @ 79.1483
106.87/107.29	c GLOBAL bounds - >= 379333 @ 79.3724
107.27/107.60	c GLOBAL bounds - >= 379333 @ 79.6267
107.67/108.06	c GLOBAL bounds - >= 379333 @ 80.0282
108.17/108.50	c GLOBAL bounds - >= 379333 @ 80.4022
108.37/108.72	c GLOBAL bounds - >= 379333 @ 80.5665
108.57/108.99	c GLOBAL bounds - >= 379333 @ 80.7739
108.77/109.14	c GLOBAL bounds - >= 382731 @ 80.9265
108.86/109.22	c GLOBAL bounds - >= 382731 @ 80.9878
108.97/109.37	c GLOBAL bounds - >= 382731 @ 81.0744
109.07/109.41	c GLOBAL bounds - >= 382731 @ 81.1027
109.16/109.58	c GLOBAL bounds - >= 382731 @ 81.2089
109.26/109.62	c GLOBAL bounds - >= 382731 @ 81.2342
109.36/109.76	c GLOBAL bounds - >= 382731 @ 81.3302
109.46/109.80	c GLOBAL bounds - >= 382731 @ 81.3582
109.57/109.93	c GLOBAL bounds - >= 382731 @ 81.4383
109.57/109.97	c GLOBAL bounds - >= 382731 @ 81.4665
109.76/110.11	c GLOBAL bounds - >= 382731 @ 81.547
109.76/110.15	c GLOBAL bounds - >= 382731 @ 81.5758
109.87/110.29	c GLOBAL bounds - >= 382731 @ 81.6537
109.97/110.33	c GLOBAL bounds - >= 382731 @ 81.6809
110.06/110.46	c GLOBAL bounds - >= 382731 @ 81.7644
110.16/110.50	c GLOBAL bounds - >= 382731 @ 81.7905
110.26/110.65	c GLOBAL bounds - >= 382731 @ 81.8815
110.26/110.69	c GLOBAL bounds - >= 382731 @ 81.9088
110.46/110.83	c GLOBAL bounds - >= 382731 @ 81.9829
110.46/110.86	c GLOBAL bounds - >= 382731 @ 82.0105
110.56/110.99	c GLOBAL bounds - >= 382731 @ 82.0796
110.77/111.14	c GLOBAL bounds - >= 382731 @ 82.1743
110.96/111.33	c GLOBAL bounds - >= 382731 @ 82.3119
111.06/111.48	c GLOBAL bounds - >= 382731 @ 82.4045
111.26/111.67	c GLOBAL bounds - >= 382731 @ 82.5357
111.46/111.83	c GLOBAL bounds - >= 382731 @ 82.6512
111.56/111.96	c GLOBAL bounds - >= 382731 @ 82.725
111.86/112.21	c GLOBAL bounds - >= 382731 @ 82.9124
112.06/112.46	c GLOBAL bounds - >= 382731 @ 83.0962
112.16/112.56	c GLOBAL bounds - >= 382731 @ 83.1381
112.36/112.75	c GLOBAL bounds - >= 382731 @ 83.2667
112.56/112.92	c GLOBAL bounds - >= 382731 @ 83.3835
112.76/113.17	c GLOBAL bounds - >= 382731 @ 83.5777
113.06/113.45	c GLOBAL bounds - >= 382731 @ 83.8003
113.65/114.05	c GLOBAL bounds - >= 382731 @ 84.3371
114.55/114.99	c GLOBAL bounds - >= 382731 @ 85.2089
114.85/115.22	c GLOBAL bounds - >= 382731 @ 85.3815
115.15/115.51	c GLOBAL bounds - >= 382731 @ 85.6079
115.66/116.09	c GLOBAL bounds - >= 382731 @ 86.1176
116.15/116.52	c GLOBAL bounds - >= 382731 @ 86.4771
116.54/116.91	c GLOBAL bounds - >= 382731 @ 86.8088
116.85/117.23	c GLOBAL bounds - >= 382731 @ 87.0699
116.85/117.26	c GLOBAL bounds - >= 382731 @ 87.0993
116.95/117.35	c GLOBAL bounds - >= 382731 @ 87.1737
116.95/117.39	c GLOBAL bounds - >= 382731 @ 87.2041
117.04/117.43	c GLOBAL bounds - >= 382731 @ 87.2311
117.15/117.57	c GLOBAL bounds - >= 382731 @ 87.3065
117.25/117.61	c GLOBAL bounds - >= 382731 @ 87.3348
117.35/117.77	c GLOBAL bounds - >= 382731 @ 87.4362
117.45/117.81	c GLOBAL bounds - >= 382731 @ 87.4651
117.54/117.96	c GLOBAL bounds - >= 382731 @ 87.5534
117.65/118.00	c GLOBAL bounds - >= 382731 @ 87.5788
117.75/118.14	c GLOBAL bounds - >= 382731 @ 87.658
117.75/118.18	c GLOBAL bounds - >= 382731 @ 87.6839
117.95/118.31	c GLOBAL bounds - >= 382731 @ 87.7573
117.95/118.36	c GLOBAL bounds - >= 382731 @ 87.7881
118.04/118.49	c GLOBAL bounds - >= 382731 @ 87.8618
118.14/118.53	c GLOBAL bounds - >= 382731 @ 87.8947
118.24/118.67	c GLOBAL bounds - >= 382731 @ 87.9669
118.34/118.71	c GLOBAL bounds - >= 382731 @ 87.9958
118.44/118.85	c GLOBAL bounds - >= 382731 @ 88.0753
118.44/118.89	c GLOBAL bounds - >= 382731 @ 88.1031
118.64/119.02	c GLOBAL bounds - >= 382731 @ 88.1788
118.64/119.06	c GLOBAL bounds - >= 382731 @ 88.2114
118.75/119.19	c GLOBAL bounds - >= 382731 @ 88.2844
119.04/119.41	c GLOBAL bounds - >= 382731 @ 88.4418
119.24/119.67	c GLOBAL bounds - >= 382731 @ 88.6287
120.04/120.40	c GLOBAL bounds - >= 382731 @ 89.288
120.13/120.53	c GLOBAL bounds - >= 382731 @ 89.3716
120.33/120.72	c GLOBAL bounds - >= 382731 @ 89.5017
120.74/121.10	c GLOBAL bounds - >= 382731 @ 89.8237
121.04/121.42	c GLOBAL bounds - >= 382731 @ 90.0869
121.24/121.64	c GLOBAL bounds - >= 382731 @ 90.2532
121.44/121.81	c GLOBAL bounds - >= 382731 @ 90.3662
121.64/122.09	c GLOBAL bounds - >= 382731 @ 90.5844
122.03/122.44	c GLOBAL bounds - >= 382731 @ 90.8718
122.33/122.74	c GLOBAL bounds - >= 382731 @ 91.1104
122.64/123.09	c GLOBAL bounds - >= 382731 @ 91.3979
123.13/123.53	c GLOBAL bounds - >= 382731 @ 91.7683
123.13/123.59	c GLOBAL bounds - >= 397271 @ 91.8262
123.33/123.72	c GLOBAL bounds - >= 397271 @ 91.9435
123.33/123.76	c GLOBAL bounds - >= 397271 @ 91.9688
123.33/123.79	c GLOBAL bounds - >= 397271 @ 91.9866
123.43/123.83	c GLOBAL bounds - >= 397271 @ 92.0071
123.43/123.86	c GLOBAL bounds - >= 397271 @ 92.0351
123.53/123.90	c GLOBAL bounds - >= 397271 @ 92.063
123.64/124.07	c GLOBAL bounds - >= 397271 @ 92.1717
123.73/124.11	c GLOBAL bounds - >= 397271 @ 92.1996
123.83/124.27	c GLOBAL bounds - >= 397271 @ 92.2964
123.93/124.31	c GLOBAL bounds - >= 397271 @ 92.3242
124.03/124.45	c GLOBAL bounds - >= 397271 @ 92.4106
124.03/124.49	c GLOBAL bounds - >= 397271 @ 92.4377
124.23/124.64	c GLOBAL bounds - >= 397271 @ 92.5175
124.23/124.68	c GLOBAL bounds - >= 397271 @ 92.5416
124.43/124.82	c GLOBAL bounds - >= 397271 @ 92.6223
124.43/124.86	c GLOBAL bounds - >= 397271 @ 92.6496
124.53/125.00	c GLOBAL bounds - >= 397271 @ 92.7322
124.63/125.04	c GLOBAL bounds - >= 397271 @ 92.7628
124.73/125.18	c GLOBAL bounds - >= 397271 @ 92.8398
124.82/125.22	c GLOBAL bounds - >= 397271 @ 92.8632
124.92/125.35	c GLOBAL bounds - >= 397271 @ 92.9449
124.92/125.39	c GLOBAL bounds - >= 397271 @ 92.9795
125.11/125.53	c GLOBAL bounds - >= 397271 @ 93.0499
125.11/125.57	c GLOBAL bounds - >= 397271 @ 93.0791
125.32/125.70	c GLOBAL bounds - >= 397271 @ 93.1474
125.42/125.86	c GLOBAL bounds - >= 397271 @ 93.2608
125.72/126.14	c GLOBAL bounds - >= 397271 @ 93.4789
126.21/126.64	c GLOBAL bounds - >= 397271 @ 93.9156
126.72/127.12	c GLOBAL bounds - >= 397271 @ 94.3258
127.31/127.75	c GLOBAL bounds - >= 397271 @ 94.8907
128.50/128.98	c GLOBAL bounds - >= 397271 @ 96.0323
129.30/129.79	c GLOBAL bounds - >= 397271 @ 96.7693
129.71/130.16	c GLOBAL bounds - >= 397271 @ 97.0708
130.00/130.41	c GLOBAL bounds - >= 397271 @ 97.2621
130.00/130.45	c GLOBAL bounds - >= 401213 @ 97.3026
130.10/130.51	c GLOBAL bounds - >= 401213 @ 97.3545
130.10/130.52	c GLOBAL bounds - >= 401213 @ 97.3559
130.30/130.70	c GLOBAL bounds - >= 401213 @ 97.4668
130.30/130.74	c GLOBAL bounds - >= 401213 @ 97.4974
130.41/130.89	c GLOBAL bounds - >= 401213 @ 97.5865
130.51/130.93	c GLOBAL bounds - >= 401213 @ 97.6098
130.61/131.07	c GLOBAL bounds - >= 401213 @ 97.694
130.70/131.12	c GLOBAL bounds - >= 401213 @ 97.7201
130.80/131.26	c GLOBAL bounds - >= 401213 @ 97.8046
130.90/131.30	c GLOBAL bounds - >= 401213 @ 97.8323
131.00/131.44	c GLOBAL bounds - >= 401213 @ 97.9075
131.00/131.48	c GLOBAL bounds - >= 401213 @ 97.9381
131.20/131.62	c GLOBAL bounds - >= 401213 @ 98.0112
131.20/131.66	c GLOBAL bounds - >= 401213 @ 98.0424
131.40/131.80	c GLOBAL bounds - >= 401213 @ 98.1199
131.40/131.84	c GLOBAL bounds - >= 401213 @ 98.151
131.50/131.97	c GLOBAL bounds - >= 401213 @ 98.2336
131.61/132.01	c GLOBAL bounds - >= 401213 @ 98.2633
131.71/132.15	c GLOBAL bounds - >= 401213 @ 98.3417
131.71/132.19	c GLOBAL bounds - >= 401213 @ 98.3678
131.89/132.33	c GLOBAL bounds - >= 401213 @ 98.4406
132.10/132.56	c GLOBAL bounds - >= 401213 @ 98.6111
132.30/132.77	c GLOBAL bounds - >= 401213 @ 98.7717
132.50/132.94	c GLOBAL bounds - >= 401213 @ 98.883
132.79/133.20	c GLOBAL bounds - >= 401213 @ 99.0816
133.10/133.53	c GLOBAL bounds - >= 401213 @ 99.3437
133.50/133.93	c GLOBAL bounds - >= 401213 @ 99.6826
133.90/134.32	c GLOBAL bounds - >= 401213 @ 100.006
134.09/134.57	c GLOBAL bounds - >= 420367 @ 100.257
134.20/134.68	c GLOBAL bounds - >= 420367 @ 100.362
134.39/134.85	c GLOBAL bounds - >= 420367 @ 100.473
134.39/134.89	c GLOBAL bounds - >= 420367 @ 100.498
134.60/135.04	c GLOBAL bounds - >= 420367 @ 100.589
134.60/135.08	c GLOBAL bounds - >= 420367 @ 100.619
134.79/135.22	c GLOBAL bounds - >= 420367 @ 100.702
134.79/135.26	c GLOBAL bounds - >= 420367 @ 100.732
134.99/135.41	c GLOBAL bounds - >= 420367 @ 100.819
134.99/135.45	c GLOBAL bounds - >= 420367 @ 100.849
135.10/135.59	c GLOBAL bounds - >= 420367 @ 100.932
135.19/135.63	c GLOBAL bounds - >= 420367 @ 100.954
135.29/135.77	c GLOBAL bounds - >= 420367 @ 101.037
135.39/135.81	c GLOBAL bounds - >= 420367 @ 101.065
135.49/135.94	c GLOBAL bounds - >= 420367 @ 101.134
135.49/135.95	c GLOBAL bounds - >= 420367 @ 101.141
135.60/136.05	c GLOBAL bounds - >= 420367 @ 101.198
135.60/136.06	c GLOBAL bounds - >= 420367 @ 101.202
135.79/136.20	c GLOBAL bounds - >= 420367 @ 101.277
135.79/136.21	c GLOBAL bounds - >= 420367 @ 101.283
135.89/136.34	c GLOBAL bounds - >= 420367 @ 101.36
135.99/136.49	c GLOBAL bounds - >= 420367 @ 101.455
136.19/136.64	c GLOBAL bounds - >= 420367 @ 101.559
136.39/136.80	c GLOBAL bounds - >= 420367 @ 101.654
136.59/137.05	c GLOBAL bounds - >= 420367 @ 101.84
136.69/137.18	c GLOBAL bounds - >= 420367 @ 101.918
136.99/137.47	c GLOBAL bounds - >= 420367 @ 102.155
137.19/137.61	c GLOBAL bounds - >= 420367 @ 102.235
137.39/137.85	c GLOBAL bounds - >= 420367 @ 102.417
137.59/138.03	c GLOBAL bounds - >= 420367 @ 102.541
137.78/138.21	c GLOBAL bounds - >= 420367 @ 102.673
137.99/138.40	c GLOBAL bounds - >= 420367 @ 102.802
138.28/138.70	c GLOBAL bounds - >= 420367 @ 103.051
138.59/139.07	c GLOBAL bounds - >= 420367 @ 103.354
138.98/139.46	c GLOBAL bounds - >= 420367 @ 103.668
139.28/139.71	c GLOBAL bounds - >= 420367 @ 103.855
139.28/139.74	c GLOBAL bounds - >= 420367 @ 103.889
139.38/139.85	c GLOBAL bounds - >= 420367 @ 103.976
139.38/139.88	c GLOBAL bounds - >= 420367 @ 104.002
139.48/139.92	c GLOBAL bounds - >= 420367 @ 104.029
139.48/139.96	c GLOBAL bounds - >= 420367 @ 104.052
139.48/139.99	c GLOBAL bounds - >= 420367 @ 104.081
139.59/140.03	c GLOBAL bounds - >= 420367 @ 104.107
139.59/140.07	c GLOBAL bounds - >= 420367 @ 104.131
139.68/140.11	c GLOBAL bounds - >= 420367 @ 104.157
139.68/140.15	c GLOBAL bounds - >= 420367 @ 104.183
139.78/140.29	c GLOBAL bounds - >= 420367 @ 104.265
139.88/140.33	c GLOBAL bounds - >= 420367 @ 104.296
139.98/140.44	c GLOBAL bounds - >= 420367 @ 104.358
139.98/140.49	c GLOBAL bounds - >= 420367 @ 104.383
140.18/140.63	c GLOBAL bounds - >= 420367 @ 104.457
140.18/140.67	c GLOBAL bounds - >= 420367 @ 104.49
140.38/140.80	c GLOBAL bounds - >= 420367 @ 104.57
140.38/140.85	c GLOBAL bounds - >= 420367 @ 104.602
140.47/140.98	c GLOBAL bounds - >= 420367 @ 104.686
140.58/141.03	c GLOBAL bounds - >= 420367 @ 104.715
140.68/141.14	c GLOBAL bounds - >= 420367 @ 104.773
140.68/141.18	c GLOBAL bounds - >= 420367 @ 104.805
140.88/141.31	c GLOBAL bounds - >= 420367 @ 104.875
140.88/141.35	c GLOBAL bounds - >= 420367 @ 104.898
140.97/141.49	c GLOBAL bounds - >= 420367 @ 104.979
141.08/141.53	c GLOBAL bounds - >= 420367 @ 105.006
141.18/141.64	c GLOBAL bounds - >= 420367 @ 105.052
141.18/141.68	c GLOBAL bounds - >= 420367 @ 105.079
141.37/141.81	c GLOBAL bounds - >= 420367 @ 105.153
141.48/141.97	c GLOBAL bounds - >= 420367 @ 105.267
141.68/142.13	c GLOBAL bounds - >= 420367 @ 105.373
141.97/142.40	c GLOBAL bounds - >= 420367 @ 105.582
142.28/142.74	c GLOBAL bounds - >= 420367 @ 105.853
142.78/143.26	c GLOBAL bounds - >= 420367 @ 106.311
143.07/143.53	c GLOBAL bounds - >= 420367 @ 106.525
143.37/143.80	c GLOBAL bounds - >= 420367 @ 106.727
143.97/144.43	c GLOBAL bounds - >= 420367 @ 107.297
144.37/144.84	c GLOBAL bounds - >= 425515 @ 107.699
144.47/144.93	c GLOBAL bounds - >= 425515 @ 107.775
144.47/144.97	c GLOBAL bounds - >= 425515 @ 107.803
144.58/145.01	c GLOBAL bounds - >= 425515 @ 107.831
144.58/145.05	c GLOBAL bounds - >= 425515 @ 107.86
144.58/145.09	c GLOBAL bounds - >= 425515 @ 107.894
144.77/145.22	c GLOBAL bounds - >= 425515 @ 107.962
144.77/145.26	c GLOBAL bounds - >= 425515 @ 107.992
144.97/145.40	c GLOBAL bounds - >= 425515 @ 108.083
144.97/145.44	c GLOBAL bounds - >= 425515 @ 108.111
145.07/145.58	c GLOBAL bounds - >= 425515 @ 108.199
145.17/145.62	c GLOBAL bounds - >= 425515 @ 108.224
145.26/145.77	c GLOBAL bounds - >= 425515 @ 108.31
145.37/145.80	c GLOBAL bounds - >= 425515 @ 108.335
145.46/145.95	c GLOBAL bounds - >= 425515 @ 108.422
145.46/145.99	c GLOBAL bounds - >= 425515 @ 108.449
145.67/146.14	c GLOBAL bounds - >= 425515 @ 108.546
145.67/146.18	c GLOBAL bounds - >= 425515 @ 108.576
145.86/146.33	c GLOBAL bounds - >= 425515 @ 108.673
145.86/146.37	c GLOBAL bounds - >= 425515 @ 108.703
145.97/146.49	c GLOBAL bounds - >= 425515 @ 108.765
146.06/146.53	c GLOBAL bounds - >= 425515 @ 108.792
146.16/146.65	c GLOBAL bounds - >= 425515 @ 108.855
146.16/146.69	c GLOBAL bounds - >= 425515 @ 108.88
146.36/146.84	c GLOBAL bounds - >= 425515 @ 108.962
147.36/147.81	c GLOBAL bounds - >= 425515 @ 109.847
147.56/148.08	c GLOBAL bounds - >= 425515 @ 110.062
148.05/148.50	c GLOBAL bounds - >= 425515 @ 110.407
148.25/148.77	c GLOBAL bounds - >= 425515 @ 110.621
150.05/150.58	c GLOBAL bounds - >= 459584 @ 112.407
150.35/150.83	c GLOBAL bounds - >= 459584 @ 112.622
150.35/150.87	c GLOBAL bounds - >= 459584 @ 112.65
150.44/150.90	c GLOBAL bounds - >= 459584 @ 112.676
150.44/150.94	c GLOBAL bounds - >= 459584 @ 112.706
150.44/150.98	c GLOBAL bounds - >= 459584 @ 112.735
150.65/151.14	c GLOBAL bounds - >= 459584 @ 112.824
150.65/151.18	c GLOBAL bounds - >= 459584 @ 112.848
150.84/151.32	c GLOBAL bounds - >= 459584 @ 112.923
150.84/151.36	c GLOBAL bounds - >= 459584 @ 112.954
151.05/151.50	c GLOBAL bounds - >= 459584 @ 113.042
151.05/151.54	c GLOBAL bounds - >= 459584 @ 113.075
151.15/151.68	c GLOBAL bounds - >= 459584 @ 113.151
151.25/151.72	c GLOBAL bounds - >= 459584 @ 113.183
151.35/151.86	c GLOBAL bounds - >= 459584 @ 113.257
151.44/151.90	c GLOBAL bounds - >= 459584 @ 113.285
151.55/152.03	c GLOBAL bounds - >= 459584 @ 113.357
151.55/152.07	c GLOBAL bounds - >= 459584 @ 113.39
151.74/152.20	c GLOBAL bounds - >= 459584 @ 113.461
151.74/152.24	c GLOBAL bounds - >= 459584 @ 113.488
151.84/152.37	c GLOBAL bounds - >= 459584 @ 113.557
151.94/152.41	c GLOBAL bounds - >= 459584 @ 113.58
152.04/152.54	c GLOBAL bounds - >= 459584 @ 113.657
152.04/152.59	c GLOBAL bounds - >= 459584 @ 113.685
152.24/152.72	c GLOBAL bounds - >= 459584 @ 113.756
152.34/152.84	c GLOBAL bounds - >= 459584 @ 113.827
152.44/152.99	c GLOBAL bounds - >= 459584 @ 113.923
152.65/153.16	c GLOBAL bounds - >= 459584 @ 114.033
152.84/153.37	c GLOBAL bounds - >= 459584 @ 114.183
153.04/153.52	c GLOBAL bounds - >= 459584 @ 114.275
153.14/153.68	c GLOBAL bounds - >= 459584 @ 114.386
153.44/153.99	c GLOBAL bounds - >= 459584 @ 114.634
153.64/154.14	c GLOBAL bounds - >= 459584 @ 114.734
153.94/154.44	c GLOBAL bounds - >= 459584 @ 114.979
154.14/154.63	c GLOBAL bounds - >= 459584 @ 115.112
154.34/154.80	c GLOBAL bounds - >= 459584 @ 115.225
154.84/155.32	c GLOBAL bounds - >= 459584 @ 115.69
155.13/155.69	c GLOBAL bounds - >= 459584 @ 115.997
156.04/156.52	c GLOBAL bounds - >= 459584 @ 116.755
156.43/157.00	c GLOBAL bounds - >= 459584 @ 117.165
157.64/158.18	c GLOBAL bounds - >= 459584 @ 118.266
157.93/158.45	c GLOBAL bounds - >= 459584 @ 118.472
162.70/163.24	c #Conflicts:       2000 | #Constraints:    3970766
162.70/163.24	c INPROCESSING
162.70/163.24	c GARBAGE COLLECT
162.70/163.24	c GLOBAL bounds - >= 459584 @ 123.094
164.99/165.51	c GLOBAL bounds - >= 490904 @ 125.329
165.19/165.74	c GLOBAL bounds - >= 490904 @ 125.544
165.19/165.77	c GLOBAL bounds - >= 490904 @ 125.571
165.29/165.81	c GLOBAL bounds - >= 490904 @ 125.598
165.29/165.85	c GLOBAL bounds - >= 490904 @ 125.62
165.29/165.89	c GLOBAL bounds - >= 490904 @ 125.647
165.39/165.93	c GLOBAL bounds - >= 490904 @ 125.674
165.39/165.97	c GLOBAL bounds - >= 490904 @ 125.699
165.50/166.00	c GLOBAL bounds - >= 490904 @ 125.725
165.50/166.04	c GLOBAL bounds - >= 490904 @ 125.751
165.50/166.08	c GLOBAL bounds - >= 490904 @ 125.774
165.50/166.09	c GLOBAL bounds - >= 490904 @ 125.778
165.69/166.25	c GLOBAL bounds - >= 490904 @ 125.878
165.69/166.29	c GLOBAL bounds - >= 490904 @ 125.907
165.89/166.42	c GLOBAL bounds - >= 490904 @ 125.988
165.89/166.47	c GLOBAL bounds - >= 490904 @ 126.014
166.08/166.60	c GLOBAL bounds - >= 490904 @ 126.09
166.08/166.64	c GLOBAL bounds - >= 490904 @ 126.115
166.19/166.77	c GLOBAL bounds - >= 490904 @ 126.189
166.29/166.81	c GLOBAL bounds - >= 490904 @ 126.216
166.39/166.94	c GLOBAL bounds - >= 490904 @ 126.287
166.39/166.98	c GLOBAL bounds - >= 490904 @ 126.314
166.60/167.12	c GLOBAL bounds - >= 490904 @ 126.39
166.60/167.16	c GLOBAL bounds - >= 490904 @ 126.42
166.79/167.30	c GLOBAL bounds - >= 490904 @ 126.504
166.79/167.34	c GLOBAL bounds - >= 490904 @ 126.536
166.89/167.48	c GLOBAL bounds - >= 490904 @ 126.614
166.99/167.52	c GLOBAL bounds - >= 490904 @ 126.644
167.09/167.66	c GLOBAL bounds - >= 490904 @ 126.719
167.19/167.70	c GLOBAL bounds - >= 490904 @ 126.752
167.29/167.83	c GLOBAL bounds - >= 490904 @ 126.826
167.79/168.37	c GLOBAL bounds - >= 490904 @ 127.299
168.09/168.67	c GLOBAL bounds - >= 490904 @ 127.547
168.38/168.90	c GLOBAL bounds - >= 490904 @ 127.719
169.18/169.72	c GLOBAL bounds - >= 490904 @ 128.467
169.38/169.91	c GLOBAL bounds - >= 490904 @ 128.597
170.58/171.18	c GLOBAL bounds - >= 490904 @ 129.807
170.68/171.20	c GLOBAL bounds - >= 490904 @ 129.832
170.68/171.28	c GLOBAL bounds - >= 490904 @ 129.898
170.77/171.32	c GLOBAL bounds - >= 490904 @ 129.923
170.77/171.35	c GLOBAL bounds - >= 490904 @ 129.948
170.77/171.39	c GLOBAL bounds - >= 490904 @ 129.972
170.88/171.43	c GLOBAL bounds - >= 490904 @ 129.999
170.98/171.57	c GLOBAL bounds - >= 490904 @ 130.09
171.08/171.61	c GLOBAL bounds - >= 490904 @ 130.116
171.18/171.75	c GLOBAL bounds - >= 490904 @ 130.19
171.18/171.79	c GLOBAL bounds - >= 490904 @ 130.214
171.38/171.92	c GLOBAL bounds - >= 490904 @ 130.291
171.38/171.96	c GLOBAL bounds - >= 490904 @ 130.319
171.48/172.06	c GLOBAL bounds - >= 490904 @ 130.372
171.58/172.10	c GLOBAL bounds - >= 490904 @ 130.398
171.67/172.21	c GLOBAL bounds - >= 490904 @ 130.444
171.67/172.25	c GLOBAL bounds - >= 490904 @ 130.475
171.78/172.35	c GLOBAL bounds - >= 490904 @ 130.524
171.78/172.39	c GLOBAL bounds - >= 490904 @ 130.55
171.98/172.53	c GLOBAL bounds - >= 490904 @ 130.628
171.98/172.57	c GLOBAL bounds - >= 490904 @ 130.657
172.17/172.70	c GLOBAL bounds - >= 490904 @ 130.734
172.17/172.74	c GLOBAL bounds - >= 490904 @ 130.761
172.27/172.88	c GLOBAL bounds - >= 490904 @ 130.835
172.37/172.92	c GLOBAL bounds - >= 490904 @ 130.859
172.48/173.05	c GLOBAL bounds - >= 490904 @ 130.942
173.07/173.66	c GLOBAL bounds - >= 490904 @ 131.491
174.17/174.75	c GLOBAL bounds - >= 490904 @ 132.524
175.26/175.89	c GLOBAL bounds - >= 490904 @ 133.601
176.07/176.61	c GLOBAL bounds - >= 490904 @ 134.258
178.36/178.90	c GLOBAL bounds - >= 490904 @ 136.463
178.46/179.10	c GLOBAL bounds - >= 490904 @ 136.608
179.95/180.51	c GLOBAL bounds - >= 490904 @ 137.942
180.25/180.88	c GLOBAL bounds - >= 490904 @ 138.261
180.56/181.19	c GLOBAL bounds - >= 490904 @ 138.502
182.05/182.61	c GLOBAL bounds - >= 491816 @ 139.906
182.05/182.67	c GLOBAL bounds - >= 491816 @ 139.96
182.15/182.71	c GLOBAL bounds - >= 491816 @ 139.987
182.15/182.75	c GLOBAL bounds - >= 491816 @ 140.02
182.15/182.79	c GLOBAL bounds - >= 491816 @ 140.044
182.24/182.83	c GLOBAL bounds - >= 491816 @ 140.072
182.24/182.87	c GLOBAL bounds - >= 491816 @ 140.106
182.35/182.91	c GLOBAL bounds - >= 491816 @ 140.134
182.35/182.95	c GLOBAL bounds - >= 491816 @ 140.164
182.45/183.10	c GLOBAL bounds - >= 491816 @ 140.25
182.55/183.14	c GLOBAL bounds - >= 491816 @ 140.279
182.64/183.28	c GLOBAL bounds - >= 491816 @ 140.356
182.74/183.32	c GLOBAL bounds - >= 491816 @ 140.387
182.84/183.46	c GLOBAL bounds - >= 491816 @ 140.466
182.94/183.50	c GLOBAL bounds - >= 491816 @ 140.5
183.04/183.64	c GLOBAL bounds - >= 491816 @ 140.58
183.04/183.68	c GLOBAL bounds - >= 491816 @ 140.605
183.24/183.82	c GLOBAL bounds - >= 491816 @ 140.683
183.24/183.86	c GLOBAL bounds - >= 491816 @ 140.711
183.34/183.99	c GLOBAL bounds - >= 491816 @ 140.798
183.45/184.03	c GLOBAL bounds - >= 491816 @ 140.828
183.55/184.16	c GLOBAL bounds - >= 491816 @ 140.896
183.64/184.20	c GLOBAL bounds - >= 491816 @ 140.917
183.74/184.34	c GLOBAL bounds - >= 491816 @ 140.989
183.74/184.38	c GLOBAL bounds - >= 491816 @ 141.017
183.94/184.51	c GLOBAL bounds - >= 491816 @ 141.096
183.94/184.55	c GLOBAL bounds - >= 491816 @ 141.126
184.04/184.68	c GLOBAL bounds - >= 491816 @ 141.195
184.34/184.92	c GLOBAL bounds - >= 491816 @ 141.382
184.64/185.24	c GLOBAL bounds - >= 491816 @ 141.647
184.84/185.41	c GLOBAL bounds - >= 491816 @ 141.767
185.34/185.95	c GLOBAL bounds - >= 491816 @ 142.244
185.55/186.15	c GLOBAL bounds - >= 491816 @ 142.378
185.74/186.32	c GLOBAL bounds - >= 491816 @ 142.498
185.94/186.52	c GLOBAL bounds - >= 491816 @ 142.647
187.13/187.78	c GLOBAL bounds - >= 491816 @ 143.839
188.83/189.42	c GLOBAL bounds - >= 491816 @ 145.397
189.33/189.92	c GLOBAL bounds - >= 491816 @ 145.833
190.63/191.23	c GLOBAL bounds - >= 491816 @ 147.068
190.92/191.50	c GLOBAL bounds - >= 491816 @ 147.291
194.11/194.70	c GLOBAL bounds - >= 491816 @ 150.396
194.21/194.89	c GLOBAL bounds - >= 491816 @ 150.541
196.11/196.76	c GLOBAL bounds - >= 546657 @ 152.384
196.61/197.25	c GLOBAL bounds - >= 546657 @ 152.833
196.61/197.29	c GLOBAL bounds - >= 546657 @ 152.865
196.71/197.33	c GLOBAL bounds - >= 546657 @ 152.89
196.71/197.37	c GLOBAL bounds - >= 546657 @ 152.922
196.81/197.41	c GLOBAL bounds - >= 546657 @ 152.95
196.81/197.45	c GLOBAL bounds - >= 546657 @ 152.977
196.81/197.49	c GLOBAL bounds - >= 546657 @ 153.005
196.91/197.53	c GLOBAL bounds - >= 546657 @ 153.036
197.01/197.67	c GLOBAL bounds - >= 546657 @ 153.122
197.11/197.71	c GLOBAL bounds - >= 546657 @ 153.152
197.21/197.86	c GLOBAL bounds - >= 546657 @ 153.241
197.30/197.90	c GLOBAL bounds - >= 546657 @ 153.271
197.42/198.03	c GLOBAL bounds - >= 546657 @ 153.361
197.42/198.08	c GLOBAL bounds - >= 546657 @ 153.395
197.61/198.21	c GLOBAL bounds - >= 546657 @ 153.479
197.61/198.26	c GLOBAL bounds - >= 546657 @ 153.51
197.71/198.39	c GLOBAL bounds - >= 546657 @ 153.59
197.81/198.43	c GLOBAL bounds - >= 546657 @ 153.617
197.90/198.57	c GLOBAL bounds - >= 546657 @ 153.696
198.00/198.61	c GLOBAL bounds - >= 546657 @ 153.728
198.11/198.75	c GLOBAL bounds - >= 546657 @ 153.812
198.11/198.79	c GLOBAL bounds - >= 546657 @ 153.844
198.31/198.92	c GLOBAL bounds - >= 546657 @ 153.922
198.31/198.96	c GLOBAL bounds - >= 546657 @ 153.949
198.41/199.09	c GLOBAL bounds - >= 546657 @ 154.027
198.51/199.13	c GLOBAL bounds - >= 546657 @ 154.055
198.60/199.26	c GLOBAL bounds - >= 546657 @ 154.129
198.80/199.43	c GLOBAL bounds - >= 546657 @ 154.248
199.11/199.71	c GLOBAL bounds - >= 546657 @ 154.47
199.30/199.91	c GLOBAL bounds - >= 546657 @ 154.609
199.51/200.12	c GLOBAL bounds - >= 546657 @ 154.758
199.70/200.34	c GLOBAL bounds - >= 546657 @ 154.928
199.90/200.53	c GLOBAL bounds - >= 546657 @ 155.054
200.01/200.69	c GLOBAL bounds - >= 546657 @ 155.155
200.30/200.90	c GLOBAL bounds - >= 546657 @ 155.306
200.41/201.08	c GLOBAL bounds - >= 546657 @ 155.436
200.70/201.33	c GLOBAL bounds - >= 546657 @ 155.623
200.90/201.51	c GLOBAL bounds - >= 546657 @ 155.748
201.50/202.17	c GLOBAL bounds - >= 546657 @ 156.347
201.90/202.57	c GLOBAL bounds - >= 546657 @ 156.694
202.89/203.50	c GLOBAL bounds - >= 546657 @ 157.549
203.20/203.89	c GLOBAL bounds - >= 546657 @ 157.877
203.40/204.06	c GLOBAL bounds - >= 546657 @ 157.998
203.60/204.23	c GLOBAL bounds - >= 546657 @ 158.122
204.19/204.84	c GLOBAL bounds - >= 546657 @ 158.666
204.79/205.40	c GLOBAL bounds - >= 546657 @ 159.154
204.99/205.60	c GLOBAL bounds - >= 546657 @ 159.29
206.98/207.65	c GLOBAL bounds - >= 546657 @ 161.247
208.28/208.92	c GLOBAL bounds - >= 548231 @ 162.499
208.38/209.03	c GLOBAL bounds - >= 548231 @ 162.577
208.38/209.07	c GLOBAL bounds - >= 548231 @ 162.608
208.38/209.08	c GLOBAL bounds - >= 548231 @ 162.615
208.57/209.25	c GLOBAL bounds - >= 548231 @ 162.715
208.57/209.29	c GLOBAL bounds - >= 548231 @ 162.744
208.77/209.42	c GLOBAL bounds - >= 548231 @ 162.818
208.77/209.46	c GLOBAL bounds - >= 548231 @ 162.846
208.97/209.60	c GLOBAL bounds - >= 548231 @ 162.921
208.97/209.64	c GLOBAL bounds - >= 548231 @ 162.952
209.07/209.77	c GLOBAL bounds - >= 548231 @ 163.037
209.17/209.82	c GLOBAL bounds - >= 548231 @ 163.068
209.27/209.96	c GLOBAL bounds - >= 548231 @ 163.137
209.38/210.00	c GLOBAL bounds - >= 548231 @ 163.173
209.48/210.14	c GLOBAL bounds - >= 548231 @ 163.245
209.48/210.18	c GLOBAL bounds - >= 548231 @ 163.278
209.67/210.32	c GLOBAL bounds - >= 548231 @ 163.358
209.67/210.36	c GLOBAL bounds - >= 548231 @ 163.389
209.87/210.50	c GLOBAL bounds - >= 548231 @ 163.464
209.87/210.54	c GLOBAL bounds - >= 548231 @ 163.496
209.97/210.67	c GLOBAL bounds - >= 548231 @ 163.571
210.07/210.72	c GLOBAL bounds - >= 548231 @ 163.603
210.17/210.82	c GLOBAL bounds - >= 548231 @ 163.653
210.27/210.97	c GLOBAL bounds - >= 548231 @ 163.75
210.48/211.14	c GLOBAL bounds - >= 548231 @ 163.853
210.67/211.32	c GLOBAL bounds - >= 548231 @ 163.97
210.87/211.56	c GLOBAL bounds - >= 548231 @ 164.158
211.07/211.72	c GLOBAL bounds - >= 548231 @ 164.261
211.27/211.91	c GLOBAL bounds - >= 548231 @ 164.388
211.47/212.11	c GLOBAL bounds - >= 548231 @ 164.536
211.57/212.27	c GLOBAL bounds - >= 548231 @ 164.638
212.07/212.78	c GLOBAL bounds - >= 548231 @ 165.093
212.56/213.20	c GLOBAL bounds - >= 548231 @ 165.45
212.97/213.69	c GLOBAL bounds - >= 548231 @ 165.881
221.24/221.96	c #Conflicts:       3000 | #Constraints:    4254597
221.24/221.96	c GLOBAL bounds - >= 548231 @ 173.945
224.44/225.16	c GLOBAL bounds - >= 548231 @ 177.024
225.53/226.22	c GLOBAL bounds - >= 548231 @ 178.012
228.72/229.49	c GLOBAL bounds - >= 599039 @ 181.221
229.22/229.94	c GLOBAL bounds - >= 599039 @ 181.636
229.22/229.95	c GLOBAL bounds - >= 599039 @ 181.641
229.32/230.09	c GLOBAL bounds - >= 599039 @ 181.724
229.42/230.13	c GLOBAL bounds - >= 599039 @ 181.752
229.52/230.27	c GLOBAL bounds - >= 599039 @ 181.827
229.62/230.31	c GLOBAL bounds - >= 599039 @ 181.856
229.72/230.46	c GLOBAL bounds - >= 599039 @ 181.945
229.82/230.50	c GLOBAL bounds - >= 599039 @ 181.974
229.92/230.63	c GLOBAL bounds - >= 599039 @ 182.053
229.92/230.67	c GLOBAL bounds - >= 599039 @ 182.075
230.12/230.82	c GLOBAL bounds - >= 599039 @ 182.15
230.12/230.86	c GLOBAL bounds - >= 599039 @ 182.174
230.21/230.99	c GLOBAL bounds - >= 599039 @ 182.256
230.32/231.03	c GLOBAL bounds - >= 599039 @ 182.288
230.42/231.17	c GLOBAL bounds - >= 599039 @ 182.371
230.51/231.21	c GLOBAL bounds - >= 599039 @ 182.4
230.61/231.32	c GLOBAL bounds - >= 599039 @ 182.446
230.61/231.36	c GLOBAL bounds - >= 599039 @ 182.47
230.72/231.49	c GLOBAL bounds - >= 599039 @ 182.56
230.81/231.53	c GLOBAL bounds - >= 599039 @ 182.592
230.91/231.67	c GLOBAL bounds - >= 599039 @ 182.67
231.11/231.85	c GLOBAL bounds - >= 599039 @ 182.798
231.42/232.18	c GLOBAL bounds - >= 599039 @ 183.058
231.62/232.36	c GLOBAL bounds - >= 599039 @ 183.181
231.81/232.58	c GLOBAL bounds - >= 599039 @ 183.343
232.11/232.82	c GLOBAL bounds - >= 599039 @ 183.525
232.31/233.07	c GLOBAL bounds - >= 599039 @ 183.723
232.50/233.27	c GLOBAL bounds - >= 599039 @ 183.875
232.71/233.45	c GLOBAL bounds - >= 599039 @ 184.001
232.91/233.62	c GLOBAL bounds - >= 599039 @ 184.118
233.11/233.88	c GLOBAL bounds - >= 599039 @ 184.326
233.31/234.06	c GLOBAL bounds - >= 599039 @ 184.441
233.50/234.21	c GLOBAL bounds - >= 599039 @ 184.544
233.61/234.37	c GLOBAL bounds - >= 599039 @ 184.641
233.90/234.66	c GLOBAL bounds - >= 599039 @ 184.861
234.10/234.85	c GLOBAL bounds - >= 599039 @ 185
234.60/235.38	c GLOBAL bounds - >= 599039 @ 185.47
234.81/235.55	c GLOBAL bounds - >= 599039 @ 185.581
235.01/235.76	c GLOBAL bounds - >= 599039 @ 185.737
236.20/236.96	c GLOBAL bounds - >= 599039 @ 186.872
236.40/237.13	c GLOBAL bounds - >= 599039 @ 186.989
236.89/237.65	c GLOBAL bounds - >= 599039 @ 187.442
237.20/237.93	c GLOBAL bounds - >= 599039 @ 187.663
243.18/243.90	c GLOBAL bounds - >= 632439 @ 193.52
243.38/244.18	c GLOBAL bounds - >= 632439 @ 193.78
243.48/244.22	c GLOBAL bounds - >= 632439 @ 193.807
243.48/244.26	c GLOBAL bounds - >= 632439 @ 193.833
243.58/244.31	c GLOBAL bounds - >= 632439 @ 193.866
243.58/244.35	c GLOBAL bounds - >= 632439 @ 193.895
243.58/244.39	c GLOBAL bounds - >= 632439 @ 193.926
243.68/244.40	c GLOBAL bounds - >= 632439 @ 193.933
243.77/244.54	c GLOBAL bounds - >= 632439 @ 194.015
243.77/244.58	c GLOBAL bounds - >= 632439 @ 194.041
243.98/244.71	c GLOBAL bounds - >= 632439 @ 194.116
243.98/244.75	c GLOBAL bounds - >= 632439 @ 194.139
244.08/244.89	c GLOBAL bounds - >= 632439 @ 194.221
244.18/244.93	c GLOBAL bounds - >= 632439 @ 194.248
244.28/245.06	c GLOBAL bounds - >= 632439 @ 194.324
244.28/245.10	c GLOBAL bounds - >= 632439 @ 194.349
244.48/245.20	c GLOBAL bounds - >= 632439 @ 194.407
244.48/245.23	c GLOBAL bounds - >= 632439 @ 194.429
244.57/245.37	c GLOBAL bounds - >= 632439 @ 194.506
244.68/245.41	c GLOBAL bounds - >= 632439 @ 194.529
244.77/245.54	c GLOBAL bounds - >= 632439 @ 194.613
244.77/245.58	c GLOBAL bounds - >= 632439 @ 194.644
244.98/245.72	c GLOBAL bounds - >= 632439 @ 194.722
244.98/245.76	c GLOBAL bounds - >= 632439 @ 194.752
245.07/245.89	c GLOBAL bounds - >= 632439 @ 194.833
245.17/245.93	c GLOBAL bounds - >= 632439 @ 194.859
245.28/246.07	c GLOBAL bounds - >= 632439 @ 194.944
245.48/246.29	c GLOBAL bounds - >= 632439 @ 195.11
246.08/246.86	c GLOBAL bounds - >= 632439 @ 195.623
246.27/247.06	c GLOBAL bounds - >= 632439 @ 195.758
246.67/247.40	c GLOBAL bounds - >= 632439 @ 196.037
247.77/248.56	c GLOBAL bounds - >= 632439 @ 197.137
254.26/255.00	c GLOBAL bounds - >= 632439 @ 203.402
255.25/256.08	c GLOBAL bounds - >= 632439 @ 204.415
257.84/258.63	c GLOBAL bounds - >= 632439 @ 206.859
264.32/265.17	c GLOBAL bounds - >= 641655 @ 213.288
264.52/265.30	c GLOBAL bounds - >= 641655 @ 213.398
264.62/265.44	c GLOBAL bounds - >= 641655 @ 213.479
264.62/265.48	c GLOBAL bounds - >= 641655 @ 213.508
264.82/265.62	c GLOBAL bounds - >= 641655 @ 213.587
264.82/265.66	c GLOBAL bounds - >= 641655 @ 213.612
265.02/265.80	c GLOBAL bounds - >= 641655 @ 213.694
265.02/265.84	c GLOBAL bounds - >= 641655 @ 213.717
265.12/265.98	c GLOBAL bounds - >= 641655 @ 213.799
265.23/266.02	c GLOBAL bounds - >= 641655 @ 213.828
265.33/266.16	c GLOBAL bounds - >= 641655 @ 213.906
265.41/266.20	c GLOBAL bounds - >= 641655 @ 213.935
265.52/266.34	c GLOBAL bounds - >= 641655 @ 214.02
265.52/266.38	c GLOBAL bounds - >= 641655 @ 214.046
265.72/266.52	c GLOBAL bounds - >= 641655 @ 214.13
265.72/266.56	c GLOBAL bounds - >= 641655 @ 214.158
265.91/266.70	c GLOBAL bounds - >= 641655 @ 214.238
265.91/266.74	c GLOBAL bounds - >= 641655 @ 214.265
266.01/266.88	c GLOBAL bounds - >= 641655 @ 214.349
266.12/266.92	c GLOBAL bounds - >= 641655 @ 214.376
266.22/267.05	c GLOBAL bounds - >= 641655 @ 214.45
266.32/267.19	c GLOBAL bounds - >= 641655 @ 214.521
266.51/267.33	c GLOBAL bounds - >= 641655 @ 214.594
266.62/267.49	c #Conflicts:       4000 | #Constraints:    4359486
266.62/267.49	c GLOBAL bounds - >= 641655 @ 214.699
266.81/267.65	c GLOBAL bounds - >= 641655 @ 214.804
267.02/267.82	c GLOBAL bounds - >= 641655 @ 214.917
267.22/268.05	c GLOBAL bounds - >= 641655 @ 215.078
267.51/268.37	c GLOBAL bounds - >= 641655 @ 215.336
267.71/268.53	c GLOBAL bounds - >= 641655 @ 215.451
267.91/268.79	c GLOBAL bounds - >= 641655 @ 215.659
268.61/269.43	c GLOBAL bounds - >= 641655 @ 216.239
269.31/270.19	c GLOBAL bounds - >= 641655 @ 216.923
269.60/270.41	c GLOBAL bounds - >= 641655 @ 217.087
270.01/270.83	c GLOBAL bounds - >= 641655 @ 217.444
272.00/272.89	c GLOBAL bounds - >= 641655 @ 219.423
279.88/280.80	c INPROCESSING
279.88/280.80	c GARBAGE COLLECT
279.88/280.80	c GLOBAL bounds - >= 641655 @ 227.149
284.55/285.40	c GLOBAL bounds - >= 641655 @ 231.62
285.16/286.01	c GLOBAL bounds - >= 641655 @ 232.158
310.74/311.71	c #Conflicts:       5000 | #Constraints:    4382659
310.74/311.71	c GLOBAL bounds - >= 689233 @ 257.368
311.03/312.03	c GLOBAL bounds - >= 689233 @ 257.668
311.03/312.07	c GLOBAL bounds - >= 689233 @ 257.699
311.13/312.11	c GLOBAL bounds - >= 689233 @ 257.725
311.13/312.15	c GLOBAL bounds - >= 689233 @ 257.749
311.13/312.19	c GLOBAL bounds - >= 689233 @ 257.779
311.53/312.50	c GLOBAL bounds - >= 689233 @ 258.027
311.53/312.54	c GLOBAL bounds - >= 689233 @ 258.054
311.63/312.67	c GLOBAL bounds - >= 689233 @ 258.134
311.73/312.71	c GLOBAL bounds - >= 689233 @ 258.157
311.83/312.86	c GLOBAL bounds - >= 689233 @ 258.25
311.93/312.91	c GLOBAL bounds - >= 689233 @ 258.284
312.04/313.04	c GLOBAL bounds - >= 689233 @ 258.357
312.04/313.08	c GLOBAL bounds - >= 689233 @ 258.386
312.23/313.22	c GLOBAL bounds - >= 689233 @ 258.465
312.23/313.25	c GLOBAL bounds - >= 689233 @ 258.486
312.33/313.39	c GLOBAL bounds - >= 689233 @ 258.56
312.43/313.43	c GLOBAL bounds - >= 689233 @ 258.588
312.53/313.57	c GLOBAL bounds - >= 689233 @ 258.673
312.63/313.61	c GLOBAL bounds - >= 689233 @ 258.705
312.73/313.75	c GLOBAL bounds - >= 689233 @ 258.781
312.73/313.79	c GLOBAL bounds - >= 689233 @ 258.803
312.93/313.90	c GLOBAL bounds - >= 689233 @ 258.865
312.93/313.94	c GLOBAL bounds - >= 689233 @ 258.893
313.04/314.07	c GLOBAL bounds - >= 689233 @ 258.969
313.43/314.44	c GLOBAL bounds - >= 689233 @ 259.286
313.73/314.74	c GLOBAL bounds - >= 689233 @ 259.533
314.03/315.07	c GLOBAL bounds - >= 689233 @ 259.805
315.02/316.01	c GLOBAL bounds - >= 689233 @ 260.666
316.71/317.75	c GLOBAL bounds - >= 689233 @ 262.328
321.89/323.00	c GLOBAL bounds - >= 689233 @ 267.453
322.30/323.38	c GLOBAL bounds - >= 689233 @ 267.786
331.45/332.58	c GLOBAL bounds - >= 689233 @ 276.752
332.44/333.50	c GLOBAL bounds - >= 689233 @ 277.608
334.44/335.58	c GLOBAL bounds - >= 689233 @ 279.62
339.31/340.49	c GLOBAL bounds - >= 689233 @ 284.372
339.81/340.90	c GLOBAL bounds - >= 689233 @ 284.73
340.41/341.57	c GLOBAL bounds - >= 689233 @ 285.353
340.61/341.73	c GLOBAL bounds - >= 689233 @ 285.46
360.34/361.50	c #Conflicts:       6000 | #Constraints:    4424815
360.34/361.50	c GLOBAL bounds - >= 708387 @ 304.888
360.44/361.66	c GLOBAL bounds - >= 708387 @ 305.035
360.54/361.70	c GLOBAL bounds - >= 708387 @ 305.066
360.54/361.74	c GLOBAL bounds - >= 708387 @ 305.094
361.63/362.89	c GLOBAL bounds - >= 708387 @ 306.18
361.74/362.92	c GLOBAL bounds - >= 708387 @ 306.199
361.84/363.07	c GLOBAL bounds - >= 708387 @ 306.283
361.94/363.10	c GLOBAL bounds - >= 708387 @ 306.307
362.03/363.24	c GLOBAL bounds - >= 708387 @ 306.384
362.03/363.28	c GLOBAL bounds - >= 708387 @ 306.413
362.24/363.43	c GLOBAL bounds - >= 708387 @ 306.5
362.24/363.47	c GLOBAL bounds - >= 708387 @ 306.53
362.33/363.58	c GLOBAL bounds - >= 708387 @ 306.586
362.43/363.62	c GLOBAL bounds - >= 708387 @ 306.613
362.54/363.76	c GLOBAL bounds - >= 708387 @ 306.692
362.54/363.79	c GLOBAL bounds - >= 708387 @ 306.713
362.73/363.92	c GLOBAL bounds - >= 708387 @ 306.791
362.73/363.96	c GLOBAL bounds - >= 708387 @ 306.816
362.84/364.10	c GLOBAL bounds - >= 708387 @ 306.896
362.93/364.14	c GLOBAL bounds - >= 708387 @ 306.924
363.03/364.27	c GLOBAL bounds - >= 708387 @ 306.999
363.03/364.28	c GLOBAL bounds - >= 708387 @ 307.006
363.23/364.42	c GLOBAL bounds - >= 708387 @ 307.083
363.43/364.68	c GLOBAL bounds - >= 708387 @ 307.285
363.73/364.97	c GLOBAL bounds - >= 708387 @ 307.52
364.02/365.26	c GLOBAL bounds - >= 708387 @ 307.752
364.42/365.67	c GLOBAL bounds - >= 708387 @ 308.102
364.62/365.83	c GLOBAL bounds - >= 708387 @ 308.199
364.82/366.07	c GLOBAL bounds - >= 708387 @ 308.381
365.02/366.22	c GLOBAL bounds - >= 708387 @ 308.476
365.22/366.41	c GLOBAL bounds - >= 708387 @ 308.617
365.42/366.62	c GLOBAL bounds - >= 708387 @ 308.761
365.62/366.80	c GLOBAL bounds - >= 708387 @ 308.882
366.32/367.51	c GLOBAL bounds - >= 708387 @ 309.526
366.92/368.10	c GLOBAL bounds - >= 708387 @ 310.058
368.51/369.76	c GLOBAL bounds - >= 708387 @ 311.617
368.82/370.04	c GLOBAL bounds - >= 708387 @ 311.835
369.21/370.46	c GLOBAL bounds - >= 708387 @ 312.19
369.50/370.71	c GLOBAL bounds - >= 708387 @ 312.37
370.30/371.59	c GLOBAL bounds - >= 708387 @ 313.18
370.50/371.75	c GLOBAL bounds - >= 708387 @ 313.276
370.70/371.91	c GLOBAL bounds - >= 708387 @ 313.382
370.91/372.13	c GLOBAL bounds - >= 708387 @ 313.551
371.00/372.26	c GLOBAL bounds - >= 708387 @ 313.627
371.39/372.61	c GLOBAL bounds - >= 708387 @ 313.922
372.00/373.26	c GLOBAL bounds - >= 708387 @ 314.507
372.20/373.49	c GLOBAL bounds - >= 708387 @ 314.681
372.39/373.62	c GLOBAL bounds - >= 708387 @ 314.757
372.49/373.78	c GLOBAL bounds - >= 708387 @ 314.865
372.90/374.12	c GLOBAL bounds - >= 708387 @ 315.14
373.10/374.36	c GLOBAL bounds - >= 708387 @ 315.332
373.30/374.52	c GLOBAL bounds - >= 708387 @ 315.434
373.49/374.75	c GLOBAL bounds - >= 708387 @ 315.603
373.69/374.97	c GLOBAL bounds - >= 708387 @ 315.765
373.99/375.22	c GLOBAL bounds - >= 708387 @ 315.969
374.39/375.64	c GLOBAL bounds - >= 708387 @ 316.331
374.59/375.81	c GLOBAL bounds - >= 708387 @ 316.435
375.28/376.58	c GLOBAL bounds - >= 708387 @ 317.131
379.07/380.34	c GLOBAL bounds - >= 708387 @ 320.739
380.06/381.36	c GLOBAL bounds - >= 708387 @ 321.664
380.26/381.58	c GLOBAL bounds - >= 708387 @ 321.827
394.40/395.77	c INPROCESSING
394.40/395.77	c GARBAGE COLLECT
394.40/395.77	c GLOBAL bounds - >= 708387 @ 335.725
394.81/396.11	c GLOBAL bounds - >= 708387 @ 336.006
394.91/396.26	c GLOBAL bounds - >= 708387 @ 336.11
408.34/409.72	c #Conflicts:       7000 | #Constraints:    4476002
408.34/409.72	c GLOBAL bounds - >= 708387 @ 349.26
408.54/409.90	c GLOBAL bounds - >= 708387 @ 349.392
409.04/410.46	c GLOBAL bounds - >= 708387 @ 349.9
430.74/432.21	c GLOBAL bounds - >= 732729 @ 371.271
430.84/432.35	c GLOBAL bounds - >= 732729 @ 371.396
430.84/432.39	c GLOBAL bounds - >= 732729 @ 371.422
430.94/432.42	c GLOBAL bounds - >= 732729 @ 371.446
430.94/432.43	c GLOBAL bounds - >= 732729 @ 371.451
431.75/433.27	c GLOBAL bounds - >= 732729 @ 372.218
431.84/433.31	c GLOBAL bounds - >= 732729 @ 372.248
431.94/433.44	c GLOBAL bounds - >= 732729 @ 372.322
431.94/433.49	c GLOBAL bounds - >= 732729 @ 372.354
432.14/433.63	c GLOBAL bounds - >= 732729 @ 372.437
432.14/433.67	c GLOBAL bounds - >= 732729 @ 372.472
432.34/433.81	c GLOBAL bounds - >= 732729 @ 372.553
432.34/433.86	c GLOBAL bounds - >= 732729 @ 372.587
432.44/434.00	c GLOBAL bounds - >= 732729 @ 372.671
432.55/434.04	c GLOBAL bounds - >= 732729 @ 372.701
432.64/434.18	c GLOBAL bounds - >= 732729 @ 372.783
432.74/434.22	c GLOBAL bounds - >= 732729 @ 372.81
432.84/434.35	c GLOBAL bounds - >= 732729 @ 372.889
432.84/434.39	c GLOBAL bounds - >= 732729 @ 372.923
433.04/434.53	c GLOBAL bounds - >= 732729 @ 373.004
433.04/434.57	c GLOBAL bounds - >= 732729 @ 373.033
433.24/434.70	c GLOBAL bounds - >= 732729 @ 373.112
433.24/434.75	c GLOBAL bounds - >= 732729 @ 373.142
433.34/434.86	c GLOBAL bounds - >= 732729 @ 373.189
433.74/435.20	c GLOBAL bounds - >= 732729 @ 373.475
434.64/436.12	c GLOBAL bounds - >= 732729 @ 374.329
434.73/436.28	c GLOBAL bounds - >= 732729 @ 374.443
437.33/438.83	c GLOBAL bounds - >= 732729 @ 376.896
438.12/439.62	c GLOBAL bounds - >= 732729 @ 377.604
443.10/444.68	c #Conflicts:       8000 | #Constraints:    4501991
443.10/444.68	c GLOBAL bounds - >= 732729 @ 382.528
443.61/445.12	c GLOBAL bounds - >= 732729 @ 382.92
456.34/457.97	c GLOBAL bounds - >= 732729 @ 395.422
456.63/458.29	c GLOBAL bounds - >= 732729 @ 395.69
457.44/459.08	c GLOBAL bounds - >= 732729 @ 396.407
464.79/466.45	c GLOBAL bounds - >= 732729 @ 403.593
469.99/471.60	c GLOBAL bounds - >= 749015 @ 408.669
470.18/471.81	c GLOBAL bounds - >= 749015 @ 408.841
470.18/471.85	c GLOBAL bounds - >= 749015 @ 408.863
470.28/471.90	c GLOBAL bounds - >= 749015 @ 408.893
470.28/471.93	c GLOBAL bounds - >= 749015 @ 408.917
470.28/471.97	c GLOBAL bounds - >= 749015 @ 408.945
470.39/472.01	c GLOBAL bounds - >= 749015 @ 408.974
470.58/472.22	c GLOBAL bounds - >= 749015 @ 409.128
470.58/472.27	c GLOBAL bounds - >= 749015 @ 409.166
470.78/472.42	c GLOBAL bounds - >= 749015 @ 409.245
470.78/472.46	c GLOBAL bounds - >= 749015 @ 409.277
470.97/472.60	c GLOBAL bounds - >= 749015 @ 409.354
470.97/472.64	c GLOBAL bounds - >= 749015 @ 409.385
471.08/472.78	c GLOBAL bounds - >= 749015 @ 409.465
471.18/472.82	c GLOBAL bounds - >= 749015 @ 409.495
471.28/472.96	c GLOBAL bounds - >= 749015 @ 409.581
471.38/473.01	c GLOBAL bounds - >= 749015 @ 409.608
471.48/473.14	c GLOBAL bounds - >= 749015 @ 409.687
471.48/473.19	c GLOBAL bounds - >= 749015 @ 409.722
471.68/473.33	c GLOBAL bounds - >= 749015 @ 409.798
471.68/473.37	c GLOBAL bounds - >= 749015 @ 409.829
471.88/473.51	c GLOBAL bounds - >= 749015 @ 409.909
471.88/473.55	c GLOBAL bounds - >= 749015 @ 409.943
471.98/473.69	c GLOBAL bounds - >= 749015 @ 410.01
472.08/473.73	c GLOBAL bounds - >= 749015 @ 410.039
472.18/473.87	c GLOBAL bounds - >= 749015 @ 410.12
472.38/474.00	c GLOBAL bounds - >= 749015 @ 410.203
472.48/474.14	c GLOBAL bounds - >= 749015 @ 410.28
472.77/474.47	c GLOBAL bounds - >= 749015 @ 410.551
472.97/474.63	c GLOBAL bounds - >= 749015 @ 410.653
473.28/474.90	c GLOBAL bounds - >= 749015 @ 410.867
473.38/475.07	c GLOBAL bounds - >= 749015 @ 410.977
473.77/475.41	c GLOBAL bounds - >= 749015 @ 411.265
475.14/476.80	c GLOBAL bounds - >= 749015 @ 412.515
478.53/480.27	c GLOBAL bounds - >= 749015 @ 415.857
479.03/480.78	c GLOBAL bounds - >= 749015 @ 416.3
479.44/481.17	c GLOBAL bounds - >= 749015 @ 416.625
479.93/481.66	c GLOBAL bounds - >= 749015 @ 417.058
480.13/481.87	c GLOBAL bounds - >= 749015 @ 417.217
480.53/482.24	c GLOBAL bounds - >= 749015 @ 417.522
482.92/484.60	c GLOBAL bounds - >= 749015 @ 419.787
486.20/487.91	c #Conflicts:       9000 | #Constraints:    4543385
486.20/487.91	c GLOBAL bounds - >= 749015 @ 422.95
486.30/488.09	c GLOBAL bounds - >= 749015 @ 423.074
486.70/488.40	c GLOBAL bounds - >= 749015 @ 423.324
487.79/489.52	c GLOBAL bounds - >= 749015 @ 424.384
494.28/496.10	c GLOBAL bounds - >= 751931 @ 430.855
494.38/496.19	c GLOBAL bounds - >= 751931 @ 430.929
494.47/496.23	c GLOBAL bounds - >= 751931 @ 430.965
494.47/496.27	c GLOBAL bounds - >= 751931 @ 430.992
494.57/496.31	c GLOBAL bounds - >= 751931 @ 431.018
494.57/496.35	c GLOBAL bounds - >= 751931 @ 431.047
494.78/496.50	c GLOBAL bounds - >= 751931 @ 431.137
494.78/496.55	c GLOBAL bounds - >= 751931 @ 431.165
494.97/496.70	c GLOBAL bounds - >= 751931 @ 431.269
494.97/496.74	c GLOBAL bounds - >= 751931 @ 431.298
495.18/496.90	c GLOBAL bounds - >= 751931 @ 431.392
495.18/496.94	c GLOBAL bounds - >= 751931 @ 431.422
495.38/497.11	c GLOBAL bounds - >= 751931 @ 431.523
495.38/497.16	c GLOBAL bounds - >= 751931 @ 431.551
495.57/497.30	c GLOBAL bounds - >= 751931 @ 431.643
495.57/497.35	c GLOBAL bounds - >= 751931 @ 431.674
495.67/497.49	c GLOBAL bounds - >= 751931 @ 431.769
495.77/497.54	c GLOBAL bounds - >= 751931 @ 431.798
495.97/497.70	c GLOBAL bounds - >= 751931 @ 431.902
495.97/497.75	c GLOBAL bounds - >= 751931 @ 431.935
496.07/497.89	c GLOBAL bounds - >= 751931 @ 432.024
496.17/497.93	c GLOBAL bounds - >= 751931 @ 432.052
496.27/498.07	c GLOBAL bounds - >= 751931 @ 432.135
496.38/498.11	c GLOBAL bounds - >= 751931 @ 432.171
496.47/498.22	c GLOBAL bounds - >= 751931 @ 432.224
496.57/498.38	c GLOBAL bounds - >= 751931 @ 432.325
496.76/498.54	c GLOBAL bounds - >= 751931 @ 432.428
496.97/498.71	c GLOBAL bounds - >= 751931 @ 432.54
497.17/498.90	c GLOBAL bounds - >= 751931 @ 432.679
497.38/499.16	c GLOBAL bounds - >= 751931 @ 432.873
497.56/499.33	c GLOBAL bounds - >= 751931 @ 432.976
497.74/499.50	c GLOBAL bounds - >= 751931 @ 433.086
503.33/505.16	c INPROCESSING
503.33/505.16	c GARBAGE COLLECT
503.33/505.16	c GLOBAL bounds - >= 751931 @ 438.616
503.63/505.42	c GLOBAL bounds - >= 751931 @ 438.823
503.83/505.69	c GLOBAL bounds - >= 751931 @ 439.039
504.03/505.89	c GLOBAL bounds - >= 751931 @ 439.191
504.23/506.05	c GLOBAL bounds - >= 751931 @ 439.307
504.43/506.21	c GLOBAL bounds - >= 751931 @ 439.413
504.83/506.60	c GLOBAL bounds - >= 751931 @ 439.734
505.02/506.84	c GLOBAL bounds - >= 751931 @ 439.916
505.23/507.00	c GLOBAL bounds - >= 751931 @ 440.035
505.33/507.14	c GLOBAL bounds - >= 751931 @ 440.123
506.72/508.59	c GLOBAL bounds - >= 751931 @ 441.5
508.23/510.05	c GLOBAL bounds - >= 751931 @ 442.889
508.42/510.22	c GLOBAL bounds - >= 751931 @ 443.007
510.01/511.83	c GLOBAL bounds - >= 751931 @ 444.543
521.86/523.71	c GLOBAL bounds - >= 751931 @ 456.149
522.16/524.09	c GLOBAL bounds - >= 751931 @ 456.482
552.41/554.40	c #Conflicts:      10000 | #Constraints:    4588219
552.41/554.40	c GLOBAL bounds - >= 751931 @ 486.146
553.20/555.23	c GLOBAL bounds - >= 751931 @ 486.907
553.40/555.40	c GLOBAL bounds - >= 751931 @ 487.033
601.14/603.36	c #Conflicts:      11000 | #Constraints:    4594976
601.14/603.36	c GLOBAL bounds - >= 751931 @ 534.138
604.33/606.55	c GLOBAL bounds - >= 751931 @ 537.257
605.32/607.51	c GLOBAL bounds - >= 751931 @ 538.164
605.53/607.78	c GLOBAL bounds - >= 751931 @ 538.378
606.03/608.24	c GLOBAL bounds - >= 755599 @ 538.833
606.23/608.42	c GLOBAL bounds - >= 755599 @ 538.992
606.23/608.46	c GLOBAL bounds - >= 755599 @ 539.02
606.23/608.46	c GLOBAL bounds - >= 755599 @ 539.023
606.42/608.61	c GLOBAL bounds - >= 755599 @ 539.116
606.42/608.65	c GLOBAL bounds - >= 755599 @ 539.144
606.53/608.79	c GLOBAL bounds - >= 755599 @ 539.225
606.62/608.83	c GLOBAL bounds - >= 755599 @ 539.257
606.73/608.98	c GLOBAL bounds - >= 755599 @ 539.344
606.83/609.02	c GLOBAL bounds - >= 755599 @ 539.372
606.93/609.16	c GLOBAL bounds - >= 755599 @ 539.455
607.02/609.20	c GLOBAL bounds - >= 755599 @ 539.485
607.13/609.34	c GLOBAL bounds - >= 755599 @ 539.569
607.13/609.39	c GLOBAL bounds - >= 755599 @ 539.598
607.32/609.53	c GLOBAL bounds - >= 755599 @ 539.683
607.32/609.57	c GLOBAL bounds - >= 755599 @ 539.715
607.52/609.71	c GLOBAL bounds - >= 755599 @ 539.792
607.52/609.76	c GLOBAL bounds - >= 755599 @ 539.825
607.72/609.90	c GLOBAL bounds - >= 755599 @ 539.91
607.72/609.95	c GLOBAL bounds - >= 755599 @ 539.939
607.82/610.10	c GLOBAL bounds - >= 755599 @ 540.023
607.92/610.14	c GLOBAL bounds - >= 755599 @ 540.058
608.01/610.29	c GLOBAL bounds - >= 755599 @ 540.142
608.21/610.45	c GLOBAL bounds - >= 755599 @ 540.25
608.41/610.62	c GLOBAL bounds - >= 755599 @ 540.355
608.51/610.78	c GLOBAL bounds - >= 755599 @ 540.461
608.71/610.95	c GLOBAL bounds - >= 755599 @ 540.563
609.01/611.27	c GLOBAL bounds - >= 755599 @ 540.834
609.21/611.47	c GLOBAL bounds - >= 755599 @ 540.978
609.41/611.63	c GLOBAL bounds - >= 755599 @ 541.091
609.71/611.95	c GLOBAL bounds - >= 755599 @ 541.353
610.41/612.69	c GLOBAL bounds - >= 755599 @ 542.03
610.81/613.04	c GLOBAL bounds - >= 755599 @ 542.315
621.17/623.45	c GLOBAL bounds - >= 755599 @ 552.446
622.16/624.44	c GLOBAL bounds - >= 755599 @ 553.364
625.76/628.08	c #Conflicts:      12000 | #Constraints:    4628178
625.76/628.08	c GLOBAL bounds - >= 755599 @ 556.896
626.16/628.41	c GLOBAL bounds - >= 755599 @ 557.174
672.57/675.08	c #Conflicts:      13000 | #Constraints:    4632804
672.57/675.08	c GLOBAL bounds - >= 755599 @ 602.912
672.77/675.23	c GLOBAL bounds - >= 755599 @ 603.022
674.95/677.46	c GLOBAL bounds - >= 795462 @ 605.215
675.25/677.78	c GLOBAL bounds - >= 795462 @ 605.507
675.35/677.80	c GLOBAL bounds - >= 795462 @ 605.52
675.45/677.97	c GLOBAL bounds - >= 795462 @ 605.624
675.56/678.01	c GLOBAL bounds - >= 795462 @ 605.653
675.66/678.19	c GLOBAL bounds - >= 795462 @ 605.768
675.76/678.23	c GLOBAL bounds - >= 795462 @ 605.794
675.85/678.38	c GLOBAL bounds - >= 795462 @ 605.887
675.96/678.42	c GLOBAL bounds - >= 795462 @ 605.922
676.05/678.57	c GLOBAL bounds - >= 795462 @ 606.014
676.15/678.61	c GLOBAL bounds - >= 795462 @ 606.045
676.25/678.76	c GLOBAL bounds - >= 795462 @ 606.139
676.35/678.80	c GLOBAL bounds - >= 795462 @ 606.169
676.45/678.95	c GLOBAL bounds - >= 795462 @ 606.253
676.45/678.99	c GLOBAL bounds - >= 795462 @ 606.281
676.66/679.14	c GLOBAL bounds - >= 795462 @ 606.375
676.66/679.18	c GLOBAL bounds - >= 795462 @ 606.406
676.85/679.33	c GLOBAL bounds - >= 795462 @ 606.494
676.85/679.37	c GLOBAL bounds - >= 795462 @ 606.528
677.05/679.52	c GLOBAL bounds - >= 795462 @ 606.613
677.05/679.56	c GLOBAL bounds - >= 795462 @ 606.642
677.25/679.71	c GLOBAL bounds - >= 795462 @ 606.727
677.35/679.85	c GLOBAL bounds - >= 795462 @ 606.824
677.45/680.00	c GLOBAL bounds - >= 795462 @ 606.915
677.66/680.14	c GLOBAL bounds - >= 795462 @ 607
677.84/680.32	c GLOBAL bounds - >= 795462 @ 607.118
678.05/680.50	c GLOBAL bounds - >= 795462 @ 607.239
678.94/681.41	c GLOBAL bounds - >= 795462 @ 608.07
679.44/681.95	c GLOBAL bounds - >= 795462 @ 608.557
679.94/682.47	c GLOBAL bounds - >= 795462 @ 609.012
680.24/682.70	c GLOBAL bounds - >= 795462 @ 609.188
681.43/683.95	c GLOBAL bounds - >= 795462 @ 610.362
694.97/697.52	c GLOBAL bounds - >= 795462 @ 623.522
781.49/784.41	c #Conflicts:      14000 | #Constraints:    4661967
781.49/784.41	c #Conflicts:      15000 | #Constraints:    4662967
781.49/784.41	c GLOBAL bounds - >= 795462 @ 708.459
787.97/790.91	c GLOBAL bounds - >= 795462 @ 714.803
819.31/822.45	c #Conflicts:      16000 | #Constraints:    4667232
819.31/822.45	c GLOBAL bounds - >= 795462 @ 745.633
842.04/845.28	c INPROCESSING
842.04/845.28	c GARBAGE COLLECT
842.04/845.28	c GLOBAL bounds - >= 802975 @ 768.191
842.14/845.34	c GLOBAL bounds - >= 802975 @ 768.251
842.54/845.73	c GLOBAL bounds - >= 802975 @ 768.58
842.54/845.74	c GLOBAL bounds - >= 802975 @ 768.587
842.64/845.89	c GLOBAL bounds - >= 802975 @ 768.674
842.73/845.90	c GLOBAL bounds - >= 802975 @ 768.679
842.84/846.04	c GLOBAL bounds - >= 802975 @ 768.762
842.84/846.07	c GLOBAL bounds - >= 802975 @ 768.783
843.03/846.21	c GLOBAL bounds - >= 802975 @ 768.874
843.03/846.23	c GLOBAL bounds - >= 802975 @ 768.884
843.13/846.37	c GLOBAL bounds - >= 802975 @ 768.968
843.23/846.40	c GLOBAL bounds - >= 802975 @ 768.986
843.33/846.55	c GLOBAL bounds - >= 802975 @ 769.064
843.33/846.58	c GLOBAL bounds - >= 802975 @ 769.087
843.52/846.73	c GLOBAL bounds - >= 802975 @ 769.178
843.52/846.77	c GLOBAL bounds - >= 802975 @ 769.209
843.72/846.90	c GLOBAL bounds - >= 802975 @ 769.3
843.72/846.94	c GLOBAL bounds - >= 802975 @ 769.323
843.83/847.05	c GLOBAL bounds - >= 802975 @ 769.374
843.83/847.06	c GLOBAL bounds - >= 802975 @ 769.379
844.03/847.20	c GLOBAL bounds - >= 802975 @ 769.46
844.12/847.33	c GLOBAL bounds - >= 802975 @ 769.541
844.22/847.49	c GLOBAL bounds - >= 802975 @ 769.642
844.52/847.77	c GLOBAL bounds - >= 802975 @ 769.875
844.72/847.93	c GLOBAL bounds - >= 802975 @ 769.976
845.22/848.40	c GLOBAL bounds - >= 802975 @ 770.391
845.52/848.72	c GLOBAL bounds - >= 802975 @ 770.642
845.62/848.87	c GLOBAL bounds - >= 802975 @ 770.748
845.82/849.06	c GLOBAL bounds - >= 802975 @ 770.893
846.01/849.24	c GLOBAL bounds - >= 802975 @ 771.017
846.41/849.66	c GLOBAL bounds - >= 802975 @ 771.374
846.62/849.83	c GLOBAL bounds - >= 802975 @ 771.499
847.31/850.57	c GLOBAL bounds - >= 802975 @ 772.177
847.51/850.78	c GLOBAL bounds - >= 802975 @ 772.339
848.40/851.68	c GLOBAL bounds - >= 802975 @ 773.168
849.51/852.79	c GLOBAL bounds - >= 802975 @ 774.219
850.10/853.30	c GLOBAL bounds - >= 802975 @ 774.668
850.20/853.46	c GLOBAL bounds - >= 802975 @ 774.784
852.20/855.44	c GLOBAL bounds - >= 802975 @ 776.676
859.68/862.91	c #Conflicts:      17000 | #Constraints:    4692164
859.68/862.91	c GLOBAL bounds - >= 802975 @ 783.965
859.78/863.09	c GLOBAL bounds - >= 802975 @ 784.091
877.90/881.29	c GLOBAL bounds - >= 802975 @ 801.929
879.60/882.91	c GLOBAL bounds - >= 802975 @ 803.468
882.18/885.54	c GLOBAL bounds - >= 802975 @ 806.006
893.25/896.68	c GLOBAL bounds - >= 802975 @ 816.912
918.73/922.27	c #Conflicts:      18000 | #Constraints:    4701650
918.73/922.27	c GLOBAL bounds - >= 802975 @ 841.968
919.03/922.54	c GLOBAL bounds - >= 802975 @ 842.187
954.21/957.83	c #Conflicts:      19000 | #Constraints:    4705633
954.21/957.83	c GLOBAL bounds - >= 802975 @ 876.836
969.84/973.51	c GLOBAL bounds - >= 802975 @ 892.167
980.10/983.86	c GLOBAL bounds - >= 802975 @ 902.322
981.40/985.12	c GLOBAL bounds - >= 802975 @ 903.499
981.60/985.39	c GLOBAL bounds - >= 802975 @ 903.714
994.95/998.78	c GLOBAL bounds - >= 806601 @ 916.928
995.14/998.93	c GLOBAL bounds - >= 806601 @ 917.059
995.14/998.97	c GLOBAL bounds - >= 806601 @ 917.091
995.25/999.01	c GLOBAL bounds - >= 806601 @ 917.124
995.25/999.05	c GLOBAL bounds - >= 806601 @ 917.149
995.25/999.09	c GLOBAL bounds - >= 806601 @ 917.175
995.35/999.13	c GLOBAL bounds - >= 806601 @ 917.205
995.35/999.17	c GLOBAL bounds - >= 806601 @ 917.233
995.45/999.21	c GLOBAL bounds - >= 806601 @ 917.27
995.84/999.62	c #Conflicts:      20000 | #Constraints:    4715090
995.84/999.62	c GLOBAL bounds - >= 806601 @ 917.611
995.84/999.67	c GLOBAL bounds - >= 806601 @ 917.642
996.04/999.82	c GLOBAL bounds - >= 806601 @ 917.74
996.04/999.87	c GLOBAL bounds - >= 806601 @ 917.772
996.25/1000.02	c GLOBAL bounds - >= 806601 @ 917.862
996.25/1000.07	c GLOBAL bounds - >= 806601 @ 917.894
996.44/1000.22	c GLOBAL bounds - >= 806601 @ 917.996
996.44/1000.27	c GLOBAL bounds - >= 806601 @ 918.025
996.63/1000.43	c GLOBAL bounds - >= 806601 @ 918.121
996.63/1000.47	c GLOBAL bounds - >= 806601 @ 918.148
996.83/1000.63	c GLOBAL bounds - >= 806601 @ 918.249
996.83/1000.67	c GLOBAL bounds - >= 806601 @ 918.274
997.03/1000.82	c GLOBAL bounds - >= 806601 @ 918.365
997.03/1000.87	c GLOBAL bounds - >= 806601 @ 918.398
997.23/1001.03	c GLOBAL bounds - >= 806601 @ 918.503
997.23/1001.07	c GLOBAL bounds - >= 806601 @ 918.531
997.33/1001.19	c GLOBAL bounds - >= 806601 @ 918.603
997.43/1001.23	c GLOBAL bounds - >= 806601 @ 918.632
997.52/1001.36	c GLOBAL bounds - >= 806601 @ 918.699
998.33/1002.12	c GLOBAL bounds - >= 806601 @ 919.408
998.63/1002.45	c GLOBAL bounds - >= 806601 @ 919.688
1000.22/1004.01	c GLOBAL bounds - >= 806601 @ 921.174
1000.62/1004.42	c GLOBAL bounds - >= 806601 @ 921.528
1002.11/1005.99	c GLOBAL bounds - >= 806601 @ 923.022
1010.59/1014.46	c GLOBAL bounds - >= 806601 @ 931.308
1034.48/1038.40	c INPROCESSING
1034.48/1038.40	c GARBAGE COLLECT
1034.48/1038.40	c GLOBAL bounds - >= 806601 @ 954.803
1034.88/1038.88	c GLOBAL bounds - >= 806601 @ 955.227
1166.35/1170.80	c #Conflicts:      21000 | #Constraints:    4734536
1166.35/1170.80	c #Conflicts:      22000 | #Constraints:    4735536
1166.35/1170.80	c #Conflicts:      23000 | #Constraints:    4736536
1166.35/1170.80	c GLOBAL bounds - >= 806601 @ 1084.66
1166.85/1171.33	c GLOBAL bounds - >= 806601 @ 1085.13
1169.23/1173.79	c GLOBAL bounds - >= 817029 @ 1087.52
1169.52/1174.04	c GLOBAL bounds - >= 817029 @ 1087.75
1169.72/1174.20	c GLOBAL bounds - >= 817029 @ 1087.85
1169.72/1174.24	c GLOBAL bounds - >= 817029 @ 1087.88
1169.82/1174.38	c GLOBAL bounds - >= 817029 @ 1087.97
1169.91/1174.42	c GLOBAL bounds - >= 817029 @ 1088
1170.02/1174.56	c GLOBAL bounds - >= 817029 @ 1088.09
1170.11/1174.61	c GLOBAL bounds - >= 817029 @ 1088.12
1170.22/1174.75	c GLOBAL bounds - >= 817029 @ 1088.2
1170.31/1174.80	c GLOBAL bounds - >= 817029 @ 1088.23
1170.41/1174.94	c GLOBAL bounds - >= 817029 @ 1088.32
1170.41/1174.98	c GLOBAL bounds - >= 817029 @ 1088.34
1170.62/1175.12	c GLOBAL bounds - >= 817029 @ 1088.42
1170.62/1175.17	c GLOBAL bounds - >= 817029 @ 1088.45
1170.82/1175.31	c GLOBAL bounds - >= 817029 @ 1088.54
1170.82/1175.35	c GLOBAL bounds - >= 817029 @ 1088.58
1171.01/1175.50	c GLOBAL bounds - >= 817029 @ 1088.67
1171.01/1175.54	c GLOBAL bounds - >= 817029 @ 1088.69
1171.11/1175.68	c GLOBAL bounds - >= 817029 @ 1088.77
1171.22/1175.72	c GLOBAL bounds - >= 817029 @ 1088.81
1171.31/1175.86	c GLOBAL bounds - >= 817029 @ 1088.89
1172.11/1176.66	c GLOBAL bounds - >= 817029 @ 1089.63
1172.31/1176.85	c GLOBAL bounds - >= 817029 @ 1089.76
1172.51/1177.01	c GLOBAL bounds - >= 817029 @ 1089.87
1172.81/1177.30	c GLOBAL bounds - >= 817029 @ 1090.1
1173.11/1177.65	c GLOBAL bounds - >= 817029 @ 1090.38
1173.30/1177.84	c GLOBAL bounds - >= 817029 @ 1090.51
1173.51/1178.08	c GLOBAL bounds - >= 817029 @ 1090.71
1224.17/1228.95	c #Conflicts:      24000 | #Constraints:    4756146
1224.17/1228.95	c INPROCESSING
1224.17/1228.95	c GARBAGE COLLECT
1224.17/1228.95	c GLOBAL bounds - >= 817029 @ 1140.5
1293.64/1298.71	c #Conflicts:      25000 | #Constraints:    4754336
1293.64/1298.71	c #Conflicts:      26000 | #Constraints:    4755336
1293.64/1298.71	c GLOBAL bounds - >= 817029 @ 1208.7
1317.60/1322.85	c GLOBAL bounds - >= 817029 @ 1232.26
1365.91/1371.38	c #Conflicts:      27000 | #Constraints:    4759178
1365.91/1371.38	c GLOBAL bounds - >= 817029 @ 1279.81
1366.61/1372.01	c GLOBAL bounds - >= 817029 @ 1280.39
1367.01/1372.44	c GLOBAL bounds - >= 843374 @ 1280.81
1367.30/1372.70	c GLOBAL bounds - >= 843374 @ 1281.05
1367.41/1372.85	c GLOBAL bounds - >= 843374 @ 1281.13
1367.41/1372.88	c GLOBAL bounds - >= 843374 @ 1281.17
1367.62/1373.03	c GLOBAL bounds - >= 843374 @ 1281.26
1367.62/1373.07	c GLOBAL bounds - >= 843374 @ 1281.28
1367.81/1373.21	c GLOBAL bounds - >= 843374 @ 1281.37
1367.81/1373.25	c GLOBAL bounds - >= 843374 @ 1281.4
1367.91/1373.39	c GLOBAL bounds - >= 843374 @ 1281.49
1368.00/1373.43	c GLOBAL bounds - >= 843374 @ 1281.52
1368.11/1373.57	c GLOBAL bounds - >= 843374 @ 1281.6
1368.20/1373.61	c GLOBAL bounds - >= 843374 @ 1281.62
1368.31/1373.75	c GLOBAL bounds - >= 843374 @ 1281.72
1368.41/1373.80	c GLOBAL bounds - >= 843374 @ 1281.75
1368.51/1373.94	c GLOBAL bounds - >= 843374 @ 1281.84
1368.51/1373.99	c GLOBAL bounds - >= 843374 @ 1281.87
1368.71/1374.13	c GLOBAL bounds - >= 843374 @ 1281.96
1368.71/1374.17	c GLOBAL bounds - >= 843374 @ 1281.99
1368.91/1374.31	c GLOBAL bounds - >= 843374 @ 1282.07
1368.91/1374.35	c GLOBAL bounds - >= 843374 @ 1282.1
1369.00/1374.47	c GLOBAL bounds - >= 843374 @ 1282.15
1369.30/1374.73	c GLOBAL bounds - >= 843374 @ 1282.36
1369.71/1375.11	c GLOBAL bounds - >= 843374 @ 1282.69
1369.80/1375.28	c GLOBAL bounds - >= 843374 @ 1282.81
1371.20/1376.65	c GLOBAL bounds - >= 843374 @ 1284.1
1371.70/1377.12	c GLOBAL bounds - >= 843374 @ 1284.52
1373.09/1378.52	c #Conflicts:      28000 | #Constraints:    4778537
1373.09/1378.52	c GLOBAL bounds - >= 843374 @ 1285.85
1377.87/1383.32	c GLOBAL bounds - >= 843374 @ 1290.48
1378.07/1383.50	c GLOBAL bounds - >= 843374 @ 1290.61
1391.60/1397.12	c GLOBAL bounds - >= 843374 @ 1303.89
1392.30/1397.85	c GLOBAL bounds - >= 843374 @ 1304.56
1392.70/1398.23	c GLOBAL bounds - >= 843374 @ 1304.89
1406.34/1411.90	c GLOBAL bounds - >= 843374 @ 1318.27
1408.33/1413.94	c GLOBAL bounds - >= 864517 @ 1320.28
1408.64/1414.20	c GLOBAL bounds - >= 864517 @ 1320.5
1408.64/1414.24	c GLOBAL bounds - >= 864517 @ 1320.53
1408.64/1414.28	c GLOBAL bounds - >= 864517 @ 1320.56
1408.74/1414.32	c GLOBAL bounds - >= 864517 @ 1320.59
1408.74/1414.33	c GLOBAL bounds - >= 864517 @ 1320.6
1411.61/1417.20	c GLOBAL bounds - >= 864517 @ 1323.35
1411.61/1417.25	c GLOBAL bounds - >= 864517 @ 1323.38
1411.71/1417.40	c GLOBAL bounds - >= 864517 @ 1323.48
1411.81/1417.44	c GLOBAL bounds - >= 864517 @ 1323.51
1411.92/1417.59	c GLOBAL bounds - >= 864517 @ 1323.6
1412.02/1417.64	c GLOBAL bounds - >= 864517 @ 1323.64
1412.11/1417.79	c GLOBAL bounds - >= 864517 @ 1323.73
1412.22/1417.84	c GLOBAL bounds - >= 864517 @ 1323.77
1412.32/1417.95	c GLOBAL bounds - >= 864517 @ 1323.83
1412.42/1418.00	c GLOBAL bounds - >= 864517 @ 1323.86
1412.52/1418.15	c GLOBAL bounds - >= 864517 @ 1323.95
1412.52/1418.19	c GLOBAL bounds - >= 864517 @ 1323.99
1412.71/1418.34	c GLOBAL bounds - >= 864517 @ 1324.07
1412.71/1418.38	c GLOBAL bounds - >= 864517 @ 1324.1
1412.91/1418.53	c GLOBAL bounds - >= 864517 @ 1324.2
1412.91/1418.58	c GLOBAL bounds - >= 864517 @ 1324.23
1413.11/1418.72	c GLOBAL bounds - >= 864517 @ 1324.33
1413.11/1418.77	c GLOBAL bounds - >= 864517 @ 1324.37
1413.31/1418.92	c GLOBAL bounds - >= 864517 @ 1324.45
1413.42/1419.06	c GLOBAL bounds - >= 864517 @ 1324.54
1413.61/1419.21	c GLOBAL bounds - >= 864517 @ 1324.64
1413.71/1419.38	c GLOBAL bounds - >= 864517 @ 1324.76
1413.91/1419.55	c GLOBAL bounds - >= 864517 @ 1324.87
1414.11/1419.79	c GLOBAL bounds - >= 864517 @ 1325.05
1414.42/1420.01	c GLOBAL bounds - >= 864517 @ 1325.21
1414.61/1420.22	c GLOBAL bounds - >= 864517 @ 1325.36
1414.81/1420.47	c GLOBAL bounds - >= 864517 @ 1325.54
1415.70/1421.35	c GLOBAL bounds - >= 864517 @ 1326.34
1416.10/1421.70	c GLOBAL bounds - >= 864517 @ 1326.62
1416.41/1422.05	c GLOBAL bounds - >= 864517 @ 1326.9
1416.60/1422.23	c GLOBAL bounds - >= 864517 @ 1327.03
1417.40/1423.08	c GLOBAL bounds - >= 864517 @ 1327.81
1417.60/1423.23	c GLOBAL bounds - >= 864517 @ 1327.91
1417.79/1423.45	c GLOBAL bounds - >= 864517 @ 1328.08
1418.79/1424.44	c GLOBAL bounds - >= 864517 @ 1329
1419.50/1425.13	c GLOBAL bounds - >= 864517 @ 1329.62
1419.59/1425.28	c GLOBAL bounds - >= 864517 @ 1329.73
1423.86/1429.55	c #Conflicts:      29000 | #Constraints:    4817777
1423.86/1429.55	c GLOBAL bounds - >= 864517 @ 1333.85
1425.56/1431.22	c GLOBAL bounds - >= 864517 @ 1335.42
1426.16/1431.88	c GLOBAL bounds - >= 864517 @ 1336.02
1426.36/1432.04	c GLOBAL bounds - >= 864517 @ 1336.13
1428.94/1434.63	c GLOBAL bounds - >= 864517 @ 1338.62
1443.97/1449.77	c GLOBAL bounds - >= 864517 @ 1353.36
1477.17/1483.07	c #Conflicts:      30000 | #Constraints:    4826519
1477.17/1483.07	c GLOBAL bounds - >= 864517 @ 1385.91
1515.01/1521.08	c #Conflicts:      31000 | #Constraints:    4828940
1515.01/1521.08	c GLOBAL bounds - >= 864517 @ 1423.13
1551.07/1557.28	c GLOBAL bounds - >= 874064 @ 1458.67
1551.27/1557.43	c GLOBAL bounds - >= 874064 @ 1458.8
1551.27/1557.47	c GLOBAL bounds - >= 874064 @ 1458.83
1551.37/1557.51	c GLOBAL bounds - >= 874064 @ 1458.86
1551.37/1557.55	c GLOBAL bounds - >= 874064 @ 1458.88
1551.37/1557.59	c GLOBAL bounds - >= 874064 @ 1458.91
1551.47/1557.63	c GLOBAL bounds - >= 874064 @ 1458.94
1551.47/1557.67	c GLOBAL bounds - >= 874064 @ 1458.97
1551.57/1557.71	c GLOBAL bounds - >= 874064 @ 1459
1551.57/1557.76	c GLOBAL bounds - >= 874064 @ 1459.02
1551.67/1557.80	c GLOBAL bounds - >= 874064 @ 1459.05
1551.67/1557.84	c GLOBAL bounds - >= 874064 @ 1459.08
1551.67/1557.88	c GLOBAL bounds - >= 874064 @ 1459.11
1551.77/1557.92	c GLOBAL bounds - >= 874064 @ 1459.13
1551.77/1557.96	c GLOBAL bounds - >= 874064 @ 1459.16
1551.87/1558.01	c GLOBAL bounds - >= 874064 @ 1459.18
1551.87/1558.05	c GLOBAL bounds - >= 874064 @ 1459.21
1553.17/1559.32	c GLOBAL bounds - >= 874064 @ 1460.41
1553.17/1559.37	c GLOBAL bounds - >= 874064 @ 1460.44
1553.36/1559.53	c GLOBAL bounds - >= 874064 @ 1460.55
1553.36/1559.57	c GLOBAL bounds - >= 874064 @ 1460.58
1553.56/1559.73	c GLOBAL bounds - >= 874064 @ 1460.69
1553.56/1559.77	c GLOBAL bounds - >= 874064 @ 1460.72
1553.76/1559.90	c GLOBAL bounds - >= 874064 @ 1460.8
1553.76/1559.94	c GLOBAL bounds - >= 874064 @ 1460.83
1553.86/1560.09	c GLOBAL bounds - >= 874064 @ 1460.91
1553.97/1560.13	c GLOBAL bounds - >= 874064 @ 1460.94
1554.06/1560.28	c GLOBAL bounds - >= 874064 @ 1461.03
1554.16/1560.33	c GLOBAL bounds - >= 874064 @ 1461.07
1554.26/1560.48	c GLOBAL bounds - >= 874064 @ 1461.16
1554.36/1560.52	c GLOBAL bounds - >= 874064 @ 1461.19
1554.46/1560.68	c GLOBAL bounds - >= 874064 @ 1461.29
1554.56/1560.72	c GLOBAL bounds - >= 874064 @ 1461.32
1554.66/1560.87	c GLOBAL bounds - >= 874064 @ 1461.42
1554.76/1560.92	c GLOBAL bounds - >= 874064 @ 1461.45
1554.86/1561.07	c GLOBAL bounds - >= 874064 @ 1461.55
1555.26/1561.47	c GLOBAL bounds - >= 874064 @ 1461.88
1555.56/1561.76	c GLOBAL bounds - >= 874064 @ 1462.11
1556.16/1562.30	c GLOBAL bounds - >= 874064 @ 1462.58
1556.36/1562.55	c GLOBAL bounds - >= 874064 @ 1462.79
1557.15/1563.33	c GLOBAL bounds - >= 874064 @ 1463.51
1557.65/1563.86	c GLOBAL bounds - >= 874064 @ 1463.96
1557.95/1564.17	c GLOBAL bounds - >= 874064 @ 1464.22
1558.34/1564.58	c GLOBAL bounds - >= 874064 @ 1464.56
1562.42/1568.66	c GLOBAL bounds - >= 874064 @ 1468.51
1567.81/1574.03	c #Conflicts:      32000 | #Constraints:    4851787
1567.81/1574.03	c GLOBAL bounds - >= 874064 @ 1473.71
1568.00/1574.23	c GLOBAL bounds - >= 874064 @ 1473.86
1568.90/1575.12	c GLOBAL bounds - >= 874064 @ 1474.67
1587.12/1593.47	c GLOBAL bounds - >= 874064 @ 1492.61
1587.62/1593.90	c GLOBAL bounds - >= 874064 @ 1492.97
1588.32/1594.63	c GLOBAL bounds - >= 874064 @ 1493.64
1588.92/1595.26	c GLOBAL bounds - >= 874064 @ 1494.22
1590.20/1596.58	c GLOBAL bounds - >= 874064 @ 1495.44
1796.94/1804.14	c #Conflicts:      33000 | #Constraints:    4863060
1796.94/1804.14	c #Conflicts:      34000 | #Constraints:    4864060
1796.94/1804.14	c #Conflicts:      35000 | #Constraints:    4865060
1796.94/1804.14	c #Conflicts:      36000 | #Constraints:    4866060
1796.94/1804.14	c INPROCESSING
1796.94/1804.14	c GARBAGE COLLECT
1796.94/1804.14	c GLOBAL bounds - >= 889035 @ 1699.15
1797.13/1804.35	c GLOBAL bounds - >= 889035 @ 1699.35
1797.13/1804.39	c GLOBAL bounds - >= 889035 @ 1699.37
1797.24/1804.43	c GLOBAL bounds - >= 889035 @ 1699.4
1797.24/1804.47	c GLOBAL bounds - >= 889035 @ 1699.43
1797.34/1804.51	c GLOBAL bounds - >= 889035 @ 1699.46
1797.34/1804.55	c GLOBAL bounds - >= 889035 @ 1699.49
1797.34/1804.58	c GLOBAL bounds - >= 889035 @ 1699.51
1797.44/1804.62	c GLOBAL bounds - >= 889035 @ 1699.54
1797.44/1804.67	c GLOBAL bounds - >= 889035 @ 1699.57
1797.54/1804.71	c GLOBAL bounds - >= 889035 @ 1699.61
1798.73/1805.98	c GLOBAL bounds - >= 889035 @ 1700.78
1798.84/1806.02	c GLOBAL bounds - >= 889035 @ 1700.81
1798.94/1806.18	c GLOBAL bounds - >= 889035 @ 1700.9
1799.03/1806.23	c GLOBAL bounds - >= 889035 @ 1700.93
1799.13/1806.38	c GLOBAL bounds - >= 889035 @ 1701.02
1799.23/1806.43	c GLOBAL bounds - >= 889035 @ 1701.05
1799.32/1806.58	c GLOBAL bounds - >= 889035 @ 1701.14
1799.42/1806.62	c GLOBAL bounds - >= 889035 @ 1701.17
1799.52/1806.77	c GLOBAL bounds - >= 889035 @ 1701.26
1799.62/1806.81	c GLOBAL bounds - >= 889035 @ 1701.29
1799.72/1806.95	c GLOBAL bounds - >= 889035 @ 1701.37
1799.72/1806.99	c GLOBAL bounds - >= 889035 @ 1701.4
1799.92/1807.14	c GLOBAL bounds - >= 889035 @ 1701.49
1799.92/1807.18	c GLOBAL bounds - >= 889035 @ 1701.51
1800.12/1807.32	c GLOBAL bounds - >= 889035 @ 1701.6
1800.12/1807.37	c GLOBAL bounds - >= 889035 @ 1701.63
1800.31/1807.51	c GLOBAL bounds - >= 889035 @ 1701.72
1800.31/1807.55	c GLOBAL bounds - >= 889035 @ 1701.75
1800.42/1807.69	c GLOBAL bounds - >= 889035 @ 1701.83
1800.71/1807.98	c GLOBAL bounds - >= 889035 @ 1702.07
1800.92/1808.19	c GLOBAL bounds - >= 889035 @ 1702.2
1801.22/1808.44	c GLOBAL bounds - >= 889035 @ 1702.39
1801.41/1808.60	c GLOBAL bounds - >= 889035 @ 1702.5
1801.51/1808.77	c GLOBAL bounds - >= 889035 @ 1702.62
1801.71/1808.97	c GLOBAL bounds - >= 889035 @ 1702.77
1802.11/1809.38	c GLOBAL bounds - >= 889035 @ 1703.12
1802.31/1809.55	c GLOBAL bounds - >= 889035 @ 1703.23
1802.51/1809.72	c GLOBAL bounds - >= 889035 @ 1703.35
1803.21/1810.41	c GLOBAL bounds - >= 889035 @ 1703.98
1803.41/1810.67	c GLOBAL bounds - >= 889035 @ 1704.19
1803.60/1810.85	c GLOBAL bounds - >= 889035 @ 1704.32
1804.11/1811.38	c GLOBAL bounds - >= 889035 @ 1704.79
1804.81/1812.07	c GLOBAL bounds - >= 889035 @ 1705.41
1808.89/1816.16	c GLOBAL bounds - >= 889035 @ 1709.37
1809.18/1816.47	c GLOBAL bounds - >= 889035 @ 1709.63
1826.30/1833.62	c GLOBAL bounds - >= 889035 @ 1726.4
1843.54/1850.95	c #Conflicts:      37000 | #Constraints:    4888970
1843.54/1850.95	c GLOBAL bounds - >= 889035 @ 1743.4
1844.13/1851.53	c GLOBAL bounds - >= 889035 @ 1743.92
1877.50/1885.07	c #Conflicts:      38000 | #Constraints:    4892648
1877.50/1885.07	c GLOBAL bounds - >= 889035 @ 1776.84
2125.39/2133.81	c #Conflicts:      39000 | #Constraints:    4895059
2125.39/2133.81	c #Conflicts:      40000 | #Constraints:    4896059
2125.39/2133.81	c #Conflicts:      41000 | #Constraints:    4897059
2125.39/2133.81	c INPROCESSING
2125.39/2133.81	c GARBAGE COLLECT
2125.39/2133.81	c #Conflicts:      42000 | #Constraints:    4891405
2125.39/2133.81	c GLOBAL bounds - >= 890001 @ 2021.67
2125.49/2133.96	c GLOBAL bounds - >= 890001 @ 2021.8
2125.49/2134.00	c GLOBAL bounds - >= 890001 @ 2021.83
2125.60/2134.04	c GLOBAL bounds - >= 890001 @ 2021.87
2125.60/2134.08	c GLOBAL bounds - >= 890001 @ 2021.9
2125.70/2134.13	c GLOBAL bounds - >= 890001 @ 2021.93
2125.70/2134.18	c GLOBAL bounds - >= 890001 @ 2021.97
2125.79/2134.22	c GLOBAL bounds - >= 890001 @ 2021.99
2125.79/2134.26	c GLOBAL bounds - >= 890001 @ 2022.02
2125.79/2134.30	c GLOBAL bounds - >= 890001 @ 2022.05
2125.89/2134.34	c GLOBAL bounds - >= 890001 @ 2022.08
2126.00/2134.49	c GLOBAL bounds - >= 890001 @ 2022.18
2126.09/2134.53	c GLOBAL bounds - >= 890001 @ 2022.21
2126.20/2134.68	c GLOBAL bounds - >= 890001 @ 2022.3
2126.29/2134.73	c GLOBAL bounds - >= 890001 @ 2022.34
2126.39/2134.88	c GLOBAL bounds - >= 890001 @ 2022.44
2126.49/2134.92	c GLOBAL bounds - >= 890001 @ 2022.47
2126.59/2135.06	c GLOBAL bounds - >= 890001 @ 2022.55
2126.69/2135.11	c GLOBAL bounds - >= 890001 @ 2022.59
2126.79/2135.26	c GLOBAL bounds - >= 890001 @ 2022.67
2126.89/2135.31	c GLOBAL bounds - >= 890001 @ 2022.71
2126.99/2135.45	c GLOBAL bounds - >= 890001 @ 2022.8
2127.09/2135.50	c GLOBAL bounds - >= 890001 @ 2022.83
2127.19/2135.65	c GLOBAL bounds - >= 890001 @ 2022.92
2127.19/2135.69	c GLOBAL bounds - >= 890001 @ 2022.96
2127.39/2135.84	c GLOBAL bounds - >= 890001 @ 2023.05
2127.39/2135.89	c GLOBAL bounds - >= 890001 @ 2023.08
2127.60/2136.03	c GLOBAL bounds - >= 890001 @ 2023.17
2127.60/2136.07	c GLOBAL bounds - >= 890001 @ 2023.2
2127.79/2136.21	c GLOBAL bounds - >= 890001 @ 2023.29
2127.98/2136.47	c GLOBAL bounds - >= 890001 @ 2023.49
2128.48/2136.97	c GLOBAL bounds - >= 890001 @ 2023.92
2129.28/2137.70	c GLOBAL bounds - >= 890001 @ 2024.59
2130.38/2138.86	c GLOBAL bounds - >= 890001 @ 2025.68
2130.58/2139.04	c GLOBAL bounds - >= 890001 @ 2025.8
2131.27/2139.73	c GLOBAL bounds - >= 890001 @ 2026.42
2131.67/2140.17	c GLOBAL bounds - >= 890001 @ 2026.8
2136.16/2144.60	c GLOBAL bounds - >= 890001 @ 2031.11
2141.94/2150.46	c GLOBAL bounds - >= 890001 @ 2036.82
2142.73/2151.27	c #Conflicts:      43000 | #Constraints:    4912240
2142.73/2151.27	c GLOBAL bounds - >= 890001 @ 2037.57
2145.03/2153.53	c GLOBAL bounds - >= 890001 @ 2039.74
2147.53/2156.05	c GLOBAL bounds - >= 890001 @ 2042.14
2174.03/2182.63	c GLOBAL bounds - >= 890001 @ 2068.2
2176.02/2184.65	c GLOBAL bounds - >= 890001 @ 2070.14
2176.21/2184.82	c GLOBAL bounds - >= 890001 @ 2070.25
2176.52/2185.19	c GLOBAL bounds - >= 890001 @ 2070.56
2184.68/2193.38	c #Conflicts:      44000 | #Constraints:    4921363
2184.68/2193.38	c GLOBAL bounds - >= 890001 @ 2078.57
2301.33/2310.49	c #Conflicts:      45000 | #Constraints:    4923702
2301.33/2310.49	c #Conflicts:      46000 | #Constraints:    4924702
2301.33/2310.49	c GLOBAL bounds - >= 890001 @ 2193.62
2301.64/2310.73	c GLOBAL bounds - >= 890001 @ 2193.81
2415.61/2425.15	c #Conflicts:      47000 | #Constraints:    4928380
2415.61/2425.15	c INPROCESSING
2415.61/2425.15	c GARBAGE COLLECT
2415.61/2425.15	c #Conflicts:      48000 | #Constraints:    4923232
2415.61/2425.15	c #Conflicts:      49000 | #Constraints:    4924232
2415.61/2425.15	c GLOBAL bounds - >= 890001 @ 2306.31
2448.99/2458.64	c GLOBAL bounds - >= 890001 @ 2339.2
2449.69/2459.37	c GLOBAL bounds - >= 890001 @ 2339.87
2563.37/2573.40	c #Conflicts:      50000 | #Constraints:    4929321
2563.37/2573.40	c #Conflicts:      51000 | #Constraints:    4930321
2563.37/2573.40	c #Conflicts:      52000 | #Constraints:    4931321
2563.37/2573.40	c GLOBAL bounds - >= 890001 @ 2452.06
2598.44/2608.64	c GLOBAL bounds - >= 902854 @ 2486.83
2598.65/2608.84	c GLOBAL bounds - >= 902854 @ 2487.02
2598.65/2608.88	c GLOBAL bounds - >= 902854 @ 2487.04
2598.75/2608.92	c GLOBAL bounds - >= 902854 @ 2487.07
2598.75/2608.96	c GLOBAL bounds - >= 902854 @ 2487.1
2598.84/2609.00	c GLOBAL bounds - >= 902854 @ 2487.13
2598.84/2609.05	c GLOBAL bounds - >= 902854 @ 2487.17
2598.84/2609.09	c GLOBAL bounds - >= 902854 @ 2487.2
2598.95/2609.13	c GLOBAL bounds - >= 902854 @ 2487.23
2598.95/2609.17	c GLOBAL bounds - >= 902854 @ 2487.25
2599.04/2609.20	c GLOBAL bounds - >= 902854 @ 2487.27
2599.04/2609.25	c GLOBAL bounds - >= 902854 @ 2487.31
2599.34/2609.52	c GLOBAL bounds - >= 902854 @ 2487.52
2599.34/2609.56	c GLOBAL bounds - >= 902854 @ 2487.54
2599.54/2609.72	c GLOBAL bounds - >= 902854 @ 2487.64
2599.54/2609.76	c GLOBAL bounds - >= 902854 @ 2487.67
2599.74/2609.91	c GLOBAL bounds - >= 902854 @ 2487.76
2599.74/2609.95	c GLOBAL bounds - >= 902854 @ 2487.79
2599.95/2610.10	c GLOBAL bounds - >= 902854 @ 2487.88
2599.95/2610.14	c GLOBAL bounds - >= 902854 @ 2487.91
2600.04/2610.29	c GLOBAL bounds - >= 902854 @ 2488.01
2600.14/2610.33	c GLOBAL bounds - >= 902854 @ 2488.04
2600.24/2610.46	c GLOBAL bounds - >= 902854 @ 2488.11
2600.34/2610.50	c GLOBAL bounds - >= 902854 @ 2488.14
2600.44/2610.65	c GLOBAL bounds - >= 902854 @ 2488.23
2600.44/2610.69	c GLOBAL bounds - >= 902854 @ 2488.25
2600.64/2610.84	c GLOBAL bounds - >= 902854 @ 2488.35
2600.64/2610.88	c GLOBAL bounds - >= 902854 @ 2488.38
2600.74/2611.00	c GLOBAL bounds - >= 902854 @ 2488.44
2600.84/2611.03	c GLOBAL bounds - >= 902854 @ 2488.47
2600.94/2611.19	c GLOBAL bounds - >= 902854 @ 2488.56
2601.24/2611.40	c GLOBAL bounds - >= 902854 @ 2488.71
2601.34/2611.57	c GLOBAL bounds - >= 902854 @ 2488.83
2602.83/2613.03	c GLOBAL bounds - >= 902854 @ 2490.22
2603.33/2613.58	c GLOBAL bounds - >= 902854 @ 2490.71
2603.73/2613.95	c GLOBAL bounds - >= 902854 @ 2491.03
2604.92/2615.11	c GLOBAL bounds - >= 902854 @ 2492.1
2607.31/2617.55	c GLOBAL bounds - >= 902854 @ 2494.44
2610.61/2620.82	c GLOBAL bounds - >= 902854 @ 2497.61
2610.70/2620.98	c GLOBAL bounds - >= 902854 @ 2497.71
2613.40/2623.66	c #Conflicts:      53000 | #Constraints:    4953792
2613.40/2623.66	c GLOBAL bounds - >= 902854 @ 2500.29
2614.30/2624.52	c GLOBAL bounds - >= 902854 @ 2501.1
2617.08/2627.34	c GLOBAL bounds - >= 902854 @ 2503.82
2629.45/2639.79	c GLOBAL bounds - >= 902854 @ 2516.01
2655.75/2666.19	c GLOBAL bounds - >= 902854 @ 2541.91
2671.90/2682.34	c #Conflicts:      54000 | #Constraints:    4961193
2671.90/2682.34	c GLOBAL bounds - >= 902854 @ 2557.79
2779.36/2790.11	c #Conflicts:      55000 | #Constraints:    4963532
2779.36/2790.11	c #Conflicts:      56000 | #Constraints:    4964532
2779.36/2790.11	c GLOBAL bounds - >= 902854 @ 2663.92
2789.13/2799.90	c GLOBAL bounds - >= 902854 @ 2673.51
2799.09/2809.99	c GLOBAL bounds - >= 908491 @ 2683.47
2799.20/2810.10	c GLOBAL bounds - >= 908491 @ 2683.57
2799.90/2810.74	c GLOBAL bounds - >= 908491 @ 2684.13
2799.90/2810.77	c GLOBAL bounds - >= 908491 @ 2684.15
2800.10/2810.94	c GLOBAL bounds - >= 908491 @ 2684.27
2800.10/2810.96	c GLOBAL bounds - >= 908491 @ 2684.29
2800.29/2811.13	c GLOBAL bounds - >= 908491 @ 2684.39
2800.29/2811.16	c GLOBAL bounds - >= 908491 @ 2684.41
2800.49/2811.32	c GLOBAL bounds - >= 908491 @ 2684.52
2800.49/2811.35	c GLOBAL bounds - >= 908491 @ 2684.54
2800.69/2811.51	c GLOBAL bounds - >= 908491 @ 2684.65
2800.69/2811.54	c GLOBAL bounds - >= 908491 @ 2684.67
2800.89/2811.70	c GLOBAL bounds - >= 908491 @ 2684.78
2800.89/2811.74	c GLOBAL bounds - >= 908491 @ 2684.8
2801.09/2811.91	c GLOBAL bounds - >= 908491 @ 2684.91
2801.09/2811.94	c GLOBAL bounds - >= 908491 @ 2684.94
2801.19/2812.10	c GLOBAL bounds - >= 908491 @ 2685.04
2801.30/2812.12	c GLOBAL bounds - >= 908491 @ 2685.05
2801.39/2812.28	c GLOBAL bounds - >= 908491 @ 2685.15
2801.39/2812.29	c GLOBAL bounds - >= 908491 @ 2685.16
2801.59/2812.44	c GLOBAL bounds - >= 908491 @ 2685.27
2801.78/2812.67	c GLOBAL bounds - >= 908491 @ 2685.44
2801.98/2812.84	c GLOBAL bounds - >= 908491 @ 2685.56
2802.09/2813.00	c GLOBAL bounds - >= 908491 @ 2685.66
2805.38/2816.24	c GLOBAL bounds - >= 908491 @ 2688.78
2805.58/2816.42	c GLOBAL bounds - >= 908491 @ 2688.9
2806.19/2817.05	c GLOBAL bounds - >= 908491 @ 2689.46
2806.48/2817.37	c GLOBAL bounds - >= 908491 @ 2689.72
2808.17/2819.08	c GLOBAL bounds - >= 908491 @ 2691.34
2808.57/2819.49	c GLOBAL bounds - >= 908491 @ 2691.7
2808.76/2819.67	c GLOBAL bounds - >= 908491 @ 2691.83
2809.18/2820.08	c GLOBAL bounds - >= 908491 @ 2692.18
2809.37/2820.26	c GLOBAL bounds - >= 908491 @ 2692.31
2809.57/2820.44	c GLOBAL bounds - >= 908491 @ 2692.43
2810.76/2821.60	c GLOBAL bounds - >= 908491 @ 2693.51
2812.27/2823.13	c GLOBAL bounds - >= 908491 @ 2694.96
2812.56/2823.40	c GLOBAL bounds - >= 908491 @ 2695.18
2812.66/2823.58	c GLOBAL bounds - >= 908491 @ 2695.31
2813.26/2824.14	c GLOBAL bounds - >= 908491 @ 2695.8
2813.75/2824.60	c GLOBAL bounds - >= 908491 @ 2696.2
2819.25/2830.17	c GLOBAL bounds - >= 908491 @ 2701.6
2819.64/2830.54	c GLOBAL bounds - >= 908491 @ 2701.9
2820.34/2831.28	c GLOBAL bounds - >= 908491 @ 2702.58
2820.73/2831.61	c GLOBAL bounds - >= 908491 @ 2702.87
2821.03/2831.90	c GLOBAL bounds - >= 908491 @ 2703.1
2823.24/2834.12	c #Conflicts:      57000 | #Constraints:    4996949
2823.24/2834.12	c GLOBAL bounds - >= 908491 @ 2705.23
2823.53/2834.42	c GLOBAL bounds - >= 908491 @ 2705.47
2825.32/2836.23	c GLOBAL bounds - >= 908491 @ 2707.18
2826.42/2837.36	c GLOBAL bounds - >= 908491 @ 2708.25
2827.23/2838.12	c GLOBAL bounds - >= 908491 @ 2708.95
2827.72/2838.61	c GLOBAL bounds - >= 908491 @ 2709.39
2828.02/2838.99	c GLOBAL bounds - >= 908491 @ 2709.71
2868.65/2879.72	c GLOBAL bounds - >= 908491 @ 2749.65
2869.56/2880.69	c GLOBAL bounds - >= 908491 @ 2750.55
2880.81/2891.96	c #Conflicts:      58000 | #Constraints:    5008966
2880.81/2891.96	c GLOBAL bounds - >= 918125 @ 2761.69
2881.02/2892.16	c GLOBAL bounds - >= 918125 @ 2761.87
2881.11/2892.21	c GLOBAL bounds - >= 918125 @ 2761.91
2881.11/2892.24	c GLOBAL bounds - >= 918125 @ 2761.93
2881.11/2892.28	c GLOBAL bounds - >= 918125 @ 2761.95
2881.21/2892.30	c GLOBAL bounds - >= 918125 @ 2761.96
2881.21/2892.32	c GLOBAL bounds - >= 918125 @ 2761.98
2881.21/2892.35	c GLOBAL bounds - >= 918125 @ 2761.99
2881.21/2892.38	c GLOBAL bounds - >= 918125 @ 2762.01
2881.71/2892.85	c GLOBAL bounds - >= 918125 @ 2762.41
2881.71/2892.89	c GLOBAL bounds - >= 918125 @ 2762.44
2881.91/2893.06	c GLOBAL bounds - >= 918125 @ 2762.56
2882.02/2893.11	c GLOBAL bounds - >= 918125 @ 2762.6
2882.11/2893.27	c GLOBAL bounds - >= 918125 @ 2762.71
2882.21/2893.31	c GLOBAL bounds - >= 918125 @ 2762.74
2882.31/2893.48	c GLOBAL bounds - >= 918125 @ 2762.86
2882.42/2893.53	c GLOBAL bounds - >= 918125 @ 2762.9
2882.52/2893.69	c GLOBAL bounds - >= 918125 @ 2763
2882.61/2893.74	c GLOBAL bounds - >= 918125 @ 2763.03
2882.82/2893.90	c GLOBAL bounds - >= 918125 @ 2763.14
2882.82/2893.95	c GLOBAL bounds - >= 918125 @ 2763.17
2882.91/2894.09	c GLOBAL bounds - >= 918125 @ 2763.25
2883.02/2894.13	c GLOBAL bounds - >= 918125 @ 2763.28
2883.21/2894.30	c GLOBAL bounds - >= 918125 @ 2763.39
2883.21/2894.35	c GLOBAL bounds - >= 918125 @ 2763.42
2883.41/2894.51	c GLOBAL bounds - >= 918125 @ 2763.54
2883.41/2894.56	c GLOBAL bounds - >= 918125 @ 2763.57
2883.61/2894.73	c GLOBAL bounds - >= 918125 @ 2763.68
2883.80/2894.96	c GLOBAL bounds - >= 918125 @ 2763.85
2884.01/2895.17	c GLOBAL bounds - >= 918125 @ 2764
2884.31/2895.49	c GLOBAL bounds - >= 918125 @ 2764.27
2884.61/2895.71	c GLOBAL bounds - >= 918125 @ 2764.42
2890.89/2902.02	c GLOBAL bounds - >= 918125 @ 2770.54
2891.49/2902.67	c GLOBAL bounds - >= 918125 @ 2771.15
2891.78/2902.98	c GLOBAL bounds - >= 918125 @ 2771.39
2897.38/2908.58	c GLOBAL bounds - >= 918125 @ 2776.82
2897.58/2908.79	c GLOBAL bounds - >= 918125 @ 2776.98
2897.88/2909.00	c GLOBAL bounds - >= 918125 @ 2777.14
2898.77/2909.96	c GLOBAL bounds - >= 918125 @ 2778.02
2912.99/2924.20	c GLOBAL bounds - >= 918125 @ 2791.85
2913.59/2924.87	c GLOBAL bounds - >= 918125 @ 2792.45
2913.78/2925.06	c GLOBAL bounds - >= 918125 @ 2792.59
2924.82/2936.14	c GLOBAL bounds - >= 918125 @ 2803.33
2927.11/2938.42	c GLOBAL bounds - >= 918125 @ 2805.52
2927.91/2939.23	c GLOBAL bounds - >= 918125 @ 2806.26
2928.21/2939.56	c #Conflicts:      59000 | #Constraints:    5039192
2928.21/2939.56	c GLOBAL bounds - >= 918125 @ 2806.55
3053.41/3065.27	c #Conflicts:      60000 | #Constraints:    5041528
3053.41/3065.27	c GLOBAL bounds - >= 925062 @ 2930.09
3053.61/3065.48	c GLOBAL bounds - >= 925062 @ 2930.28
3053.72/3065.53	c GLOBAL bounds - >= 925062 @ 2930.31
3053.72/3065.57	c GLOBAL bounds - >= 925062 @ 2930.34
3053.81/3065.61	c GLOBAL bounds - >= 925062 @ 2930.37
3053.81/3065.65	c GLOBAL bounds - >= 925062 @ 2930.4
3064.07/3075.95	c #Conflicts:      61000 | #Constraints:    5042532
3064.07/3075.95	c GLOBAL bounds - >= 925062 @ 2940.4
3064.07/3076.00	c GLOBAL bounds - >= 925062 @ 2940.43
3064.27/3076.18	c GLOBAL bounds - >= 925062 @ 2940.55
3064.37/3076.22	c GLOBAL bounds - >= 925062 @ 2940.59
3064.57/3076.40	c GLOBAL bounds - >= 925062 @ 2940.7
3064.57/3076.45	c GLOBAL bounds - >= 925062 @ 2940.74
3064.76/3076.62	c GLOBAL bounds - >= 925062 @ 2940.86
3064.76/3076.67	c GLOBAL bounds - >= 925062 @ 2940.89
3064.96/3076.85	c GLOBAL bounds - >= 925062 @ 2941
3065.06/3076.90	c GLOBAL bounds - >= 925062 @ 2941.04
3065.16/3077.07	c GLOBAL bounds - >= 925062 @ 2941.16
3065.27/3077.12	c GLOBAL bounds - >= 925062 @ 2941.2
3065.36/3077.29	c GLOBAL bounds - >= 925062 @ 2941.32
3065.47/3077.34	c GLOBAL bounds - >= 925062 @ 2941.36
3065.67/3077.51	c GLOBAL bounds - >= 925062 @ 2941.47
3065.67/3077.56	c GLOBAL bounds - >= 925062 @ 2941.5
3065.86/3077.73	c GLOBAL bounds - >= 925062 @ 2941.61
3065.86/3077.78	c GLOBAL bounds - >= 925062 @ 2941.65
3066.06/3077.95	c GLOBAL bounds - >= 925062 @ 2941.77
3066.27/3078.13	c GLOBAL bounds - >= 925062 @ 2941.88
3066.46/3078.30	c GLOBAL bounds - >= 925062 @ 2942
3066.85/3078.71	c GLOBAL bounds - >= 925062 @ 2942.34
3068.05/3079.96	c GLOBAL bounds - >= 925062 @ 2943.48
3069.55/3081.45	c GLOBAL bounds - >= 925062 @ 2944.88
3070.15/3082.08	c GLOBAL bounds - >= 925062 @ 2945.45
3071.04/3082.95	c GLOBAL bounds - >= 925062 @ 2946.25
3071.64/3083.59	c GLOBAL bounds - >= 925062 @ 2946.82
3072.63/3084.51	c GLOBAL bounds - >= 925062 @ 2947.67
3073.83/3085.79	c GLOBAL bounds - >= 925062 @ 2948.88
3074.12/3086.02	c GLOBAL bounds - >= 925062 @ 2949.06
3074.72/3086.62	c GLOBAL bounds - >= 925062 @ 2949.61
3075.52/3087.46	c GLOBAL bounds - >= 925062 @ 2950.38
3075.92/3087.85	c GLOBAL bounds - >= 925062 @ 2950.72
3077.22/3089.17	c GLOBAL bounds - >= 925062 @ 2951.96
3085.26/3097.27	c GLOBAL bounds - >= 925062 @ 2959.77
3085.56/3097.55	c GLOBAL bounds - >= 925062 @ 2959.99
3093.63/3105.68	c GLOBAL bounds - >= 925062 @ 2967.93
3106.57/3118.67	c GLOBAL bounds - >= 925062 @ 2980.63
3123.20/3135.33	c #Conflicts:      62000 | #Constraints:    5075156
3123.20/3135.33	c GLOBAL bounds - >= 925062 @ 2996.91
3179.89/3192.25	c INPROCESSING
3179.89/3192.25	c GARBAGE COLLECT
3179.89/3192.25	c GLOBAL bounds - >= 925062 @ 3052.9
3304.57/3317.46	c #Conflicts:      63000 | #Constraints:    5067785
3304.57/3317.46	c #Conflicts:      64000 | #Constraints:    5068785
3304.57/3317.46	c #Conflicts:      65000 | #Constraints:    5069785
3304.57/3317.46	c GLOBAL bounds - >= 925062 @ 3175.93
3443.84/3457.20	c #Conflicts:      66000 | #Constraints:    5072124
3443.84/3457.20	c #Conflicts:      67000 | #Constraints:    5073124
3443.84/3457.20	c GLOBAL bounds - >= 926874 @ 3313.59
3443.94/3457.32	c GLOBAL bounds - >= 926874 @ 3313.7
3443.94/3457.36	c GLOBAL bounds - >= 926874 @ 3313.73
3444.05/3457.40	c GLOBAL bounds - >= 926874 @ 3313.76
3444.93/3458.36	c GLOBAL bounds - >= 926874 @ 3314.63
3445.04/3458.40	c GLOBAL bounds - >= 926874 @ 3314.66
3445.14/3458.57	c GLOBAL bounds - >= 926874 @ 3314.76
3445.23/3458.61	c GLOBAL bounds - >= 926874 @ 3314.79
3445.33/3458.77	c GLOBAL bounds - >= 926874 @ 3314.89
3445.43/3458.82	c GLOBAL bounds - >= 926874 @ 3314.93
3445.54/3458.98	c GLOBAL bounds - >= 926874 @ 3315.04
3445.64/3459.03	c GLOBAL bounds - >= 926874 @ 3315.08
3445.74/3459.18	c GLOBAL bounds - >= 926874 @ 3315.18
3445.83/3459.23	c GLOBAL bounds - >= 926874 @ 3315.21
3445.93/3459.38	c GLOBAL bounds - >= 926874 @ 3315.3
3446.03/3459.43	c GLOBAL bounds - >= 926874 @ 3315.34
3446.13/3459.58	c GLOBAL bounds - >= 926874 @ 3315.43
3446.23/3459.63	c GLOBAL bounds - >= 926874 @ 3315.47
3446.33/3459.79	c GLOBAL bounds - >= 926874 @ 3315.57
3446.43/3459.84	c GLOBAL bounds - >= 926874 @ 3315.61
3446.63/3460.00	c GLOBAL bounds - >= 926874 @ 3315.72
3446.63/3460.05	c GLOBAL bounds - >= 926874 @ 3315.75
3446.83/3460.21	c GLOBAL bounds - >= 926874 @ 3315.86
3447.33/3460.70	c GLOBAL bounds - >= 926874 @ 3316.28
3451.22/3464.66	c GLOBAL bounds - >= 926874 @ 3320.13
3451.42/3464.86	c GLOBAL bounds - >= 926874 @ 3320.3
3451.72/3465.15	c GLOBAL bounds - >= 926874 @ 3320.53
3451.81/3465.27	c GLOBAL bounds - >= 926874 @ 3320.65
3451.91/3465.36	c GLOBAL bounds - >= 926874 @ 3320.72
3452.12/3465.53	c GLOBAL bounds - >= 926874 @ 3320.84
3452.12/3465.57	c GLOBAL bounds - >= 926874 @ 3320.87
3452.31/3465.74	c GLOBAL bounds - >= 926874 @ 3320.97
3452.31/3465.79	c GLOBAL bounds - >= 926874 @ 3321
3452.51/3465.95	c GLOBAL bounds - >= 926874 @ 3321.12
3452.51/3465.99	c GLOBAL bounds - >= 926874 @ 3321.15
3452.72/3466.15	c GLOBAL bounds - >= 926874 @ 3321.25
3452.81/3466.20	c GLOBAL bounds - >= 926874 @ 3321.29
3452.91/3466.36	c GLOBAL bounds - >= 926874 @ 3321.39
3453.01/3466.41	c GLOBAL bounds - >= 926874 @ 3321.43
3453.11/3466.57	c GLOBAL bounds - >= 926874 @ 3321.52
3453.21/3466.61	c GLOBAL bounds - >= 926874 @ 3321.56
3453.31/3466.77	c GLOBAL bounds - >= 926874 @ 3321.65
3453.41/3466.81	c GLOBAL bounds - >= 926874 @ 3321.69
3453.51/3466.97	c GLOBAL bounds - >= 926874 @ 3321.79
3453.61/3467.01	c GLOBAL bounds - >= 926874 @ 3321.83
3453.72/3467.17	c GLOBAL bounds - >= 926874 @ 3321.93
3453.81/3467.21	c GLOBAL bounds - >= 926874 @ 3321.96
3453.91/3467.37	c GLOBAL bounds - >= 926874 @ 3322.06
3454.10/3467.51	c GLOBAL bounds - >= 926874 @ 3322.15
3454.21/3467.66	c GLOBAL bounds - >= 926874 @ 3322.25
3454.41/3467.81	c GLOBAL bounds - >= 926874 @ 3322.35
3454.51/3467.96	c GLOBAL bounds - >= 926874 @ 3322.43
3454.80/3468.24	c GLOBAL bounds - >= 926874 @ 3322.66
3455.21/3468.61	c GLOBAL bounds - >= 926874 @ 3322.97
3455.40/3468.81	c GLOBAL bounds - >= 926874 @ 3323.11
3455.81/3469.23	c GLOBAL bounds - >= 926874 @ 3323.48
3456.69/3470.10	c GLOBAL bounds - >= 926874 @ 3324.24
3456.99/3470.49	c GLOBAL bounds - >= 926874 @ 3324.57
3457.19/3470.68	c GLOBAL bounds - >= 926874 @ 3324.71
3457.38/3470.88	c GLOBAL bounds - >= 926874 @ 3324.85
3458.48/3471.93	c GLOBAL bounds - >= 926874 @ 3325.84
3458.78/3472.26	c GLOBAL bounds - >= 926874 @ 3326.13
3458.98/3472.43	c GLOBAL bounds - >= 926874 @ 3326.26
3459.38/3472.85	c GLOBAL bounds - >= 926874 @ 3326.62
3600.08/3614.05	c #Conflicts:      68000 | #Constraints:    5116673
3600.08/3614.05	c #Conflicts:      69000 | #Constraints:    5117673
3600.08/3614.05	c INPROCESSING
3600.08/3614.05	c GARBAGE COLLECT
3600.08/3614.05	c #Conflicts:      70000 | #Constraints:    5109743
3600.08/3614.05	c cpu time 3465.69 s
3600.08/3614.05	c deterministic time 786976835 7.87e+08
3600.08/3614.05	c optimization time 3443.77 s
3600.08/3614.05	c total solve time 20.6949 s
3600.08/3614.05	c core-guided solve time 0 s
3600.08/3614.05	c propagation time 10.666 s
3600.08/3614.05	c conflict analysis time 6.15686 s
3600.08/3614.05	c propagations 119465006
3600.08/3614.05	c resolve steps 0
3600.08/3614.05	c decisions 42771122
3600.08/3614.05	c conflicts 228
3600.08/3614.05	c restarts 2
3600.08/3614.05	c inprocessing phases 0
3600.08/3614.05	c garbage collections 0 ,( -nan )
3600.08/3614.05	c input clauses 209941 ,( 71.80 )
3600.08/3614.05	c input cardinalities 48 ,( 0.02 )
3600.08/3614.05	c input general constraints 82389 ,( 28.18 )
3600.08/3614.05	c input average constraint length 118.03
3600.08/3614.05	c input average constraint degree 77055596.21
3600.08/3614.05	c learned clauses 260 ,( 34.12 )
3600.08/3614.05	c learned cardinalities 3 ,( 0.39 )
3600.08/3614.05	c learned general constraints 499 ,( 65.49 )
3600.08/3614.05	c learned average constraint length 718.03
3600.08/3614.05	c learned average constraint degree 3.63
3600.08/3614.05	c watched  CF 32, 64, 128, Arb: 534 , 0 , 0 , 0
3600.08/3614.05	c counting CF 32, 64, 128, Arb: 81825 , 530 , 0 , 0
3600.08/3614.05	c watched   constraints 534 ,( 0.64 ) 
3600.08/3614.05	c counting  constraints 82354 ,( 99.36 ) 
3600.08/3614.05	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 14484119 , 2715 , 84695995 ,( 474119 , 84221876 )
3600.08/3614.05	c gcd simplifications 0
3600.08/3614.05	c detected cardinalities 0
3600.08/3614.05	c weakened non-implied lits 0
3600.08/3614.05	c weakened non-implying lits 0
3600.08/3614.05	c original variables 126385
3600.08/3614.05	c clausal propagations 14346513
3600.08/3614.05	c cardinality propagations 302
3600.08/3614.05	c watched propagations 46071
3600.08/3614.05	c counting propagations 55232569
3600.08/3614.05	c watch lookups 108932108
3600.08/3614.05	c watch backjump lookups 0
3600.08/3614.05	c watch checks 114205143
3600.08/3614.05	c propagation checks 238730954
3600.08/3614.05	c constraint additions 633285
3600.08/3614.05	c trail pops 162236216
3600.08/3614.05	c formula constraints 290547
3600.08/3614.05	c learned constraints 762
3600.08/3614.05	c bound constraints 0
3600.08/3614.05	c core-guided constraints 0
3600.08/3614.05	c encountered formula constraints 77
3600.08/3614.05	c encountered learned constraints 87
3600.08/3614.05	c encountered bound constraints 0
3600.08/3614.05	c encountered core-guided constraints 0
3600.08/3614.05	c LP total time 1.78138 s
3600.08/3614.05	c LP solve time 1.65 s
3600.08/3614.05	c LP constraints added 290547
3600.08/3614.05	c LP constraints removed 0
3600.08/3614.05	c LP pivots internal 2000
3600.08/3614.05	c LP pivots root 1000
3600.08/3614.05	c LP calls 2
3600.08/3614.05	c LP optimalities 0
3600.08/3614.05	c LP no pivot count 0
3600.08/3614.05	c LP infeasibilities 0
3600.08/3614.05	c LP valid Farkas constraints 0
3600.08/3614.05	c LP learned Farkas constraints 0
3600.08/3614.05	c LP basis resets 0
3600.08/3614.05	c LP cycling count 0
3600.08/3614.05	c LP singular count 0
3600.08/3614.05	c LP no primal count 0
3600.08/3614.05	c LP no farkas count 0
3600.08/3614.05	c LP other issue count 0
3600.08/3614.05	c LP Gomory cuts 0
3600.08/3614.05	c LP learned cuts 0
3600.08/3614.05	c LP deleted cuts 0
3600.08/3614.05	c LP encountered Gomory constraints 0
3600.08/3614.05	c LP encountered Farkas constraints 0
3600.08/3614.05	c LP encountered learned Farkas constraints 0
3600.08/3614.05	c CG auxiliary variables introduced 1229
3600.08/3614.05	c CG solutions found 0
3600.08/3614.05	c CG cores constructed 745
3600.08/3614.05	c CG core cardinality constraints returned 0
3600.08/3614.05	c CG unit cores 0
3600.08/3614.05	c CG single cores 0
3600.08/3614.05	c CG blocks removed during cardinality reduction 0
3600.08/3614.05	c CG first core best 0
3600.08/3614.05	c CG decision core best 0
3600.08/3614.05	c CG core reduction tie 0
3600.08/3614.05	c CG core degree average 0.00
3600.08/3614.05	c CG core slack average 0.00
3600.08/3614.05	c CG core upper bound improvements 0
3600.08/3614.05	c STR number of successful calls 0
3600.08/3614.05	c STR number of unsuccessful calls 0
3600.08/3614.05	c STR number of inconclusive calls 0
3600.08/3614.05	c STR number of successful attempts 0
3600.08/3614.05	c STR number of unsuccessful attempts 0
3600.08/3614.05	c STR number of inconclusive attempts 0
3600.08/3614.05	c STR average degree increase per successful call inf
3600.08/3614.05	c STR average degree increase per successful attempt inf
3600.08/3614.05	c STR total number of conflicts for successful attempts 0
3600.08/3614.05	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3614.05	c STR total number of conflicts for inconclusive attempts 0
3600.08/3614.05	c STR average number of conflicts per successful attempt inf
3600.08/3614.05	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3614.05	c STR average number of conflicts per inconclusive attempt inf
3600.08/3614.05	c AVG.sumWPerc 99.08 
3600.08/3614.05	c bigint constraints 530 
3600.08/3614.05	s UNKNOWN
3600.08/3614.05	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: 63665 MiB (60621 MiB free)
  memory of node 1: 64507 MiB (61887 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504757-1751474853/watcher-4504757-1751474853 -o /tmp/evaluation-result-4504757-1751474853/solver-4504757-1751474853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72301 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504757-1751474853.opb PROOFDIR/proof-4504757-1751474853 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 FSIZE limit: 102400000 KiB
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
Starting watchdog thread
solver pid=72792, runsolver pid=72789
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 3.32 3.77 3.97 5/272 72794
/proc/meminfo: memFree=125428220/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=80508 memory=35720 CPUtime=0.08 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 6420 0 0 0 6 2 0 0 20 0 1 0 63165607 82440192 8930 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 20127 8930 1984 1147 0 7554 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 84700 KiB
Current children cumulated memory: 38664 KiB

[startup+0.205721 s]*
/proc/loadavg: 3.32 3.77 3.97 5/272 72794
/proc/meminfo: memFree=125416376/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=84716 memory=40072 CPUtime=0.18 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 7526 0 0 0 13 5 0 0 20 0 1 0 63165607 86749184 10018 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 21179 10018 1984 1147 0 8606 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 88908 KiB
Current children cumulated memory: 43016 KiB

[startup+0.305634 s]*
/proc/loadavg: 3.32 3.77 3.97 5/272 72794
/proc/meminfo: memFree=125396216/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=89148 memory=45576 CPUtime=0.28 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 8880 0 0 0 21 7 0 0 20 0 1 0 63165607 91287552 11394 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 22287 11394 1984 1147 0 9714 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 93340 KiB
Current children cumulated memory: 48520 KiB

[startup+0.700189 s]
/proc/loadavg: 3.45 3.79 3.98 5/272 72794
/proc/meminfo: memFree=125380088/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=110128 memory=65604 CPUtime=0.67 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 12976 0 0 0 51 16 0 0 20 0 1 0 63165607 112771072 16401 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 27532 16401 1984 1147 0 14959 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 114320 KiB
Current children cumulated memory: 68548 KiB

[startup+1.50019 s]
/proc/loadavg: 3.45 3.79 3.98 5/272 72794
/proc/meminfo: memFree=125275880/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=592796 memory=386016 CPUtime=1.47 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 29430 0 0 0 116 31 0 0 20 0 1 0 63165607 607023104 96504 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 148199 96504 2272 1147 0 135626 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 596988 KiB
Current children cumulated memory: 388960 KiB

[startup+3.10539 s]
/proc/loadavg: 3.45 3.79 3.98 5/272 72794
/proc/meminfo: memFree=124656388/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=541752 memory=371396 CPUtime=3.07 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 46210 0 0 0 223 84 0 0 20 0 1 0 63165607 554754048 92849 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 135438 92849 2368 1147 0 122865 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 545944 KiB
Current children cumulated memory: 374340 KiB

[startup+6.30018 s]
/proc/loadavg: 3.50 3.79 3.98 5/272 72794
/proc/meminfo: memFree=124297508/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=622264 memory=453172 CPUtime=6.26 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 60089 0 0 0 457 169 0 0 20 0 1 0 63165607 637198336 113293 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 155566 113293 2368 1147 0 142993 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 626456 KiB
Current children cumulated memory: 456116 KiB

[startup+12.7002 s]
/proc/loadavg: 3.54 3.80 3.98 5/272 72794
/proc/meminfo: memFree=123419500/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=868360 memory=667672 CPUtime=12.63 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 89692 0 0 0 956 307 0 0 20 0 1 0 63165607 889200640 166918 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 217090 166918 2400 1147 0 204517 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 872552 KiB
Current children cumulated memory: 670616 KiB

[startup+25.5002 s]
/proc/loadavg: 3.61 3.80 3.98 5/272 72794
/proc/meminfo: memFree=121281916/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=1249836 memory=1017604 CPUtime=25.4 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 157062 0 0 0 1860 680 0 0 20 0 1 0 63165607 1279832064 254401 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 312459 254401 2400 1147 0 299886 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1254028 KiB
Current children cumulated memory: 1020548 KiB

[startup+51.1055 s]
/proc/loadavg: 3.83 3.84 3.99 5/271 72795
/proc/meminfo: memFree=117778112/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=1789012 memory=1520576 CPUtime=50.94 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 257458 0 0 0 3757 1337 0 0 20 0 1 0 63165607 1831948288 380144 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 447253 380144 2400 1147 0 434680 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1793204 KiB
Current children cumulated memory: 1523520 KiB

[startup+102.3 s]
/proc/loadavg: 3.98 3.88 4.00 5/272 72798
/proc/meminfo: memFree=111374348/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=2780292 memory=2449444 CPUtime=101.98 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 438044 0 0 0 7591 2607 0 0 20 0 1 0 63165607 2847019008 612361 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 695073 612361 2400 1147 0 682500 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 2784484 KiB
Current children cumulated memory: 2452388 KiB

[startup+162.3 s]
/proc/loadavg: 4.08 3.92 4.01 5/274 72802
/proc/meminfo: memFree=103667512/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=3913556 memory=3465852 CPUtime=161.82 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 646742 0 0 0 12224 3958 0 0 20 0 1 0 63165607 4007481344 866463 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 978389 866463 2400 1147 0 965816 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 3917748 KiB
Current children cumulated memory: 3468796 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 3.96 4.01 5/274 72806
/proc/meminfo: memFree=97808212/131250000 swapFree=33010684/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=4457620 memory=3976012 CPUtime=221.64 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 751882 0 0 0 17427 4737 0 0 20 0 1 0 63165607 4564602880 994003 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 1114405 994003 2400 1147 0 1101832 0

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

Current children cumulated memory: 13741920 KiB

[startup+3342.3 s]
/proc/loadavg: 4.27 4.25 4.16 5/272 72980
/proc/meminfo: memFree=1053752/131250000 swapFree=33008100/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=16468968 memory=13742136 CPUtime=3329.37 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 2792489 0 0 0 320036 12901 0 0 20 0 1 0 63165607 16864223232 3435534 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4117242 3435534 2400 1147 0 4104669 0
Current children cumulated CPU time: 3329.37 s
Current children cumulated vsize: 16473160 KiB
Current children cumulated memory: 13745080 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.22 4.16 5/274 72988
/proc/meminfo: memFree=1019604/131250000 swapFree=33008100/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=16468968 memory=13742136 CPUtime=3389.18 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 2793831 0 0 0 325946 12972 0 0 20 0 1 0 63165607 16864223232 3435534 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4117242 3435534 2400 1147 0 4104669 0
Current children cumulated CPU time: 3389.18 s
Current children cumulated vsize: 16473160 KiB
Current children cumulated memory: 13745080 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.19 4.15 5/274 72990
/proc/meminfo: memFree=1115172/131250000 swapFree=33008100/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=16468968 memory=13755096 CPUtime=3448.92 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 2795610 0 0 0 331786 13106 0 0 20 0 1 0 63165607 16864223232 3438774 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4117242 3438774 2400 1147 0 4104669 0
Current children cumulated CPU time: 3448.92 s
Current children cumulated vsize: 16473160 KiB
Current children cumulated memory: 13758040 KiB

[startup+3522.3 s]
/proc/loadavg: 4.36 4.26 4.18 5/274 72992
/proc/meminfo: memFree=1040960/131250000 swapFree=33008100/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=16488232 memory=13780792 CPUtime=3508.69 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 2802616 0 0 0 337528 13341 0 0 20 0 1 0 63165607 16883949568 3445198 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4122058 3445198 2400 1147 0 4109485 0
Current children cumulated CPU time: 3508.69 s
Current children cumulated vsize: 16492424 KiB
Current children cumulated memory: 13783736 KiB

[startup+3582.3 s]
/proc/loadavg: 4.31 4.26 4.18 5/275 73088
/proc/meminfo: memFree=11130432/131250000 swapFree=33008100/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=16508224 memory=13782976 CPUtime=3568.49 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 2813287 0 0 0 343451 13398 0 0 20 0 1 0 63165607 16904421376 3445744 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4127056 3445744 2400 1147 0 4114483 0
Current children cumulated CPU time: 3568.49 s
Current children cumulated vsize: 16512416 KiB
Current children cumulated memory: 13785920 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3614 s]*
/proc/loadavg: 4.27 4.25 4.18 4/270 73191
/proc/meminfo: memFree=95544800/131250000 swapFree=33008100/33010684
[pid=72792] ppid=72789 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/72792/stat : 72792 (run-opt-log.sh) S 72789 72792 72291 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63165606 4292608 736 18446744073709551615 94260819435520 94260820330053 140732095675792 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94260820569104 94260820616848 94260851343360 140732095682849 140732095683044 140732095683044 140732095688646 0
/proc/72792/statm: 1048 736 672 219 0 110 0
[pid=72794] ppid=72792 vsize=16508224 memory=13782976 CPUtime=3600.08 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72792 72792 72291 0 -1 4194304 2813576 0 0 0 346567 13441 0 0 20 0 1 0 63165607 16904421376 3445744 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4127056 3445744 2400 1147 0 4114483 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 16512416 KiB
Current children cumulated memory: 13785920 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3614.01 s]
# the end of solver process 72792 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.001948 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.27 4.25 4.18 3/269 73217
/proc/meminfo: memFree=95507828/131250000 swapFree=33008100/33010684
[pid=72794] ppid=72789 vsize=16508224 memory=13783232 CPUtime=3600.72 cores=0,2
/proc/72794/stat : 72794 (roundingsat) D 72789 72792 72291 0 -1 4194304 2813582 0 1 0 346570 13502 0 0 20 0 1 0 63165607 16904421376 3445808 18446744073709551615 4227072 8923433 140730786733968 0 0 256 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 9
/proc/72794/statm: 4127056 3445808 2464 1147 0 4114483 0
??? kill 72794 sig 9
??? end of watcher thread

[startup+3622.17 s]
# the end of solver process 72794 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3614.4 s]
/proc/loadavg: 4.27 4.25 4.18 4/269 73191
/proc/meminfo: memFree=95540244/131250000 swapFree=33008100/33010684
[pid=72794] ppid=72789 vsize=16508224 memory=13783232 CPUtime=3600.43 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72789 72792 72291 0 -1 4194304 2813582 0 1 0 346569 13474 0 0 20 0 1 0 63165607 16904421376 3445808 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4127056 3445808 2464 1147 0 4114483 0
Current cumulated CPU time of completed processes: 0.001948 s
Current children cumulated CPU time: 3600.43 s
Current children cumulated vsize: 16508224 KiB
Current children cumulated memory: 13783232 KiB

[startup+3615.2 s]
/proc/loadavg: 4.27 4.25 4.18 3/269 73198
/proc/meminfo: memFree=95491688/131250000 swapFree=33008100/33010684
[pid=72794] ppid=72789 vsize=16508224 memory=13783232 CPUtime=3600.7 cores=0,2
/proc/72794/stat : 72794 (roundingsat) D 72789 72792 72291 0 -1 4194304 2813582 0 1 0 346570 13500 0 0 20 0 1 0 63165607 16904421376 3445808 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4127056 3445808 2464 1147 0 4114483 0
Current cumulated CPU time of completed processes: 0.001948 s
Current children cumulated CPU time: 3600.7 s
Current children cumulated vsize: 16508224 KiB
Current children cumulated memory: 13783232 KiB

[startup+3615.6 s]
/proc/loadavg: 4.27 4.25 4.18 3/269 73198
/proc/meminfo: memFree=95491688/131250000 swapFree=33008100/33010684
[pid=72794] ppid=72789 vsize=16508224 memory=13783232 CPUtime=3600.71 cores=0,2
/proc/72794/stat : 72794 (roundingsat) D 72789 72792 72291 0 -1 4194304 2813582 0 1 0 346570 13501 0 0 20 0 1 0 63165607 16904421376 3445808 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4127056 3445808 2464 1147 0 4114483 0
Current cumulated CPU time of completed processes: 0.001948 s
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 16508224 KiB
Current children cumulated memory: 13783232 KiB

[startup+3616 s]*
/proc/loadavg: 4.27 4.25 4.18 3/269 73217
/proc/meminfo: memFree=95507836/131250000 swapFree=33008100/33010684
[pid=72794] ppid=72789 vsize=16508224 memory=13783232 CPUtime=3600.72 cores=0,2
/proc/72794/stat : 72794 (roundingsat) R 72789 72792 72291 0 -1 4194304 2813582 0 1 0 346570 13502 0 0 20 0 1 0 63165607 16904421376 3445808 18446744073709551615 4227072 8923433 140730786733968 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 16326656 140730786736466 140730786736680 140730786736680 140730786742250 0
/proc/72794/statm: 4127056 3445808 2464 1147 0 4114483 0
Current cumulated CPU time of completed processes: 0.001948 s
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 16508224 KiB
Current children cumulated memory: 13783232 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3622.17
CPU time (s): 3601.41
CPU user time (s): 3465.72
CPU system time (s): 135.685
CPU usage (%): 99.4269
Max. virtual memory (cumulated for all children) (KiB): 16623620
Max. memory (cumulated for all children) (KiB): 13896968

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3465.72
system time used= 135.685
maximum resident set size= 13894024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2813790
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 140949336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178253
involuntary context switches= 10011


# summary of solver processes directly reported to runsolver:
#   pid: 72792,72794
#   total CPU time (s): 3601.41
#   total CPU user time (s): 3465.72
#   total CPU system time (s): 135.685

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13939 second user time and 16.6095 second system time

The end

Begin job on nodeC013 at 2025-07-02 18:47:34
IDJOB=4504757
IDBENCH=155675
IDSOLVER=3351
FILE ID=nodeC013/4504757-1751474853
RUNJOBID= nodeC013-1751474816-72301
SLURM_JOB_ID= 9598506
Free space on /tmp= 432620 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_4_mh_ic.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504757-1751474853/watcher-4504757-1751474853 -o /tmp/evaluation-result-4504757-1751474853/solver-4504757-1751474853 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC013-1751474816-72301 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504757-1751474853.opb PROOFDIR/proof-4504757-1751474853

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

MD5SUM BENCH= c58a3671c6a952d1c163a29e0b4e832b
RANDOM SEED=1347517049

nodeC013 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		: 3599.833
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	: 6999.67
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		: 3599.759
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	: 6999.67
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		: 3594.629
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	: 6999.67
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		: 3739.304
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	: 6999.67
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		: 3599.828
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	: 6999.67
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		: 3599.834
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	: 6999.67
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		: 3624.867
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	: 6999.67
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		: 3599.701
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	: 6999.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125464448 kB
MemAvailable:   127500496 kB
Buffers:            3280 kB
Cached:          2833888 kB
SwapCached:            0 kB
Active:          2418804 kB
Inactive:        2588884 kB
Active(anon):    2183888 kB
Inactive(anon):        0 kB
Active(file):     234916 kB
Inactive(file):  2588884 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            753236 kB
Writeback:         17500 kB
AnonPages:       2173704 kB
Mapped:           113188 kB
Shmem:             13284 kB
KReclaimable:     102576 kB
Slab:             215204 kB
SReclaimable:     102576 kB
SUnreclaim:       112628 kB
KernelStack:        4384 kB
PageTables:         7684 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2997920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    821248 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:      215764 kB
DirectMap2M:     8992768 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432544 MiB
End job on nodeC013 at 2025-07-02 19:47:56