0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
1.66/1.71	c #variables 126385 #constraints 290547
1.66/1.72	c objective is ce32 
1.98/2.06	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
1.98/2.06	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
1.98/2.06	c GLOBAL bounds - >= -35 @ 1.56042
2.16/2.22	c GLOBAL bounds - >= -35 @ 1.63452
2.26/2.38	c GLOBAL bounds - >= -35 @ 1.73609
2.45/2.52	c GLOBAL bounds - >= -35 @ 1.82707
2.56/2.67	c GLOBAL bounds - >= -35 @ 1.92066
2.76/2.87	c GLOBAL bounds - >= -35 @ 2.06393
2.98/3.07	c GLOBAL bounds - >= -35 @ 2.21198
3.15/3.23	c GLOBAL bounds - >= -35 @ 2.31054
3.36/3.41	c GLOBAL bounds - >= -35 @ 2.43354
3.45/3.55	c GLOBAL bounds - >= -35 @ 2.52908
3.75/3.83	c GLOBAL bounds - >= -35 @ 2.75194
3.97/4.02	c GLOBAL bounds - >= -35 @ 2.89138
4.25/4.35	c GLOBAL bounds - >= -35 @ 3.15077
4.65/4.74	c GLOBAL bounds - >= -35 @ 3.474
5.35/5.41	c GLOBAL bounds - >= -35 @ 4.05114
6.55/6.61	c GLOBAL bounds - >= 32543 @ 5.21687
9.05/9.16	c GLOBAL bounds - >= 32543 @ 7.68271
9.24/9.35	c GLOBAL bounds - >= 32543 @ 7.79856
9.24/9.37	c GLOBAL bounds - >= 32543 @ 7.81495
9.44/9.56	c GLOBAL bounds - >= 32543 @ 7.92443
9.44/9.59	c GLOBAL bounds - >= 32543 @ 7.94583
9.64/9.78	c GLOBAL bounds - >= 32543 @ 8.06394
9.74/9.81	c GLOBAL bounds - >= 32543 @ 8.08158
9.84/10.00	c GLOBAL bounds - >= 32543 @ 8.19558
9.96/10.05	c GLOBAL bounds - >= 32543 @ 8.23195
10.14/10.29	c GLOBAL bounds - >= 32543 @ 8.39619
10.24/10.34	c GLOBAL bounds - >= 32543 @ 8.43244
10.34/10.46	c GLOBAL bounds - >= 32543 @ 8.50887
10.44/10.51	c GLOBAL bounds - >= 32543 @ 8.54272
10.54/10.64	c GLOBAL bounds - >= 32543 @ 8.62462
10.54/10.69	c GLOBAL bounds - >= 32543 @ 8.65447
10.74/10.82	c GLOBAL bounds - >= 32543 @ 8.72239
10.74/10.86	c GLOBAL bounds - >= 32543 @ 8.75025
10.83/10.99	c GLOBAL bounds - >= 32543 @ 8.81904
10.95/11.03	c GLOBAL bounds - >= 32543 @ 8.85715
11.05/11.16	c GLOBAL bounds - >= 32543 @ 8.93962
11.13/11.28	c GLOBAL bounds - >= 32543 @ 9.00406
11.34/11.41	c GLOBAL bounds - >= 32543 @ 9.07264
11.44/11.53	c GLOBAL bounds - >= 32543 @ 9.14054
11.53/11.66	c GLOBAL bounds - >= 32543 @ 9.21104
11.63/11.78	c GLOBAL bounds - >= 32543 @ 9.28126
12.33/12.41	c GLOBAL bounds - >= 32543 @ 9.838
12.43/12.56	c GLOBAL bounds - >= 32543 @ 9.92729
12.63/12.77	c GLOBAL bounds - >= 32543 @ 10.0725
12.94/13.03	c GLOBAL bounds - >= 32543 @ 10.2514
13.33/13.42	c GLOBAL bounds - >= 32543 @ 10.5432
14.82/14.99	c GLOBAL bounds - >= 42873 @ 12.0734
14.94/15.03	c GLOBAL bounds - >= 42873 @ 12.1102
15.13/15.23	c GLOBAL bounds - >= 42873 @ 12.2321
15.13/15.23	c GLOBAL bounds - >= 42873 @ 12.2341
15.33/15.45	c GLOBAL bounds - >= 42873 @ 12.3749
15.33/15.45	c GLOBAL bounds - >= 42873 @ 12.3776
15.52/15.64	c GLOBAL bounds - >= 42873 @ 12.4951
15.52/15.66	c GLOBAL bounds - >= 42873 @ 12.5042
15.73/15.84	c GLOBAL bounds - >= 42873 @ 12.6144
15.73/15.84	c GLOBAL bounds - >= 42873 @ 12.6159
15.94/16.02	c GLOBAL bounds - >= 42873 @ 12.7341
15.94/16.03	c GLOBAL bounds - >= 42873 @ 12.7362
16.04/16.16	c GLOBAL bounds - >= 42873 @ 12.8025
16.04/16.16	c GLOBAL bounds - >= 42873 @ 12.8073
16.12/16.26	c GLOBAL bounds - >= 42873 @ 12.8504
16.12/16.26	c GLOBAL bounds - >= 42873 @ 12.8551
16.23/16.39	c GLOBAL bounds - >= 42873 @ 12.9276
16.33/16.40	c GLOBAL bounds - >= 42873 @ 12.9327
16.33/16.50	c GLOBAL bounds - >= 42873 @ 12.981
16.43/16.50	c GLOBAL bounds - >= 42873 @ 12.9849
16.52/16.63	c GLOBAL bounds - >= 42873 @ 13.0627
16.62/16.78	c GLOBAL bounds - >= 42873 @ 13.1575
17.12/17.26	c GLOBAL bounds - >= 42873 @ 13.5639
17.32/17.42	c GLOBAL bounds - >= 42873 @ 13.6656
17.43/17.57	c GLOBAL bounds - >= 42873 @ 13.7689
18.12/18.26	c GLOBAL bounds - >= 42873 @ 14.3946
18.32/18.44	c GLOBAL bounds - >= 42873 @ 14.5138
20.22/20.38	c GLOBAL bounds - >= 42873 @ 16.3524
22.71/22.89	c GLOBAL bounds - >= 42873 @ 18.7091
23.20/23.33	c GLOBAL bounds - >= 42873 @ 19.0803
23.61/23.75	c GLOBAL bounds - >= 42873 @ 19.4207
23.91/24.07	c GLOBAL bounds - >= 42873 @ 19.6661
23.91/24.08	c GLOBAL bounds - >= 42873 @ 19.6749
24.02/24.13	c GLOBAL bounds - >= 42873 @ 19.7172
24.02/24.15	c GLOBAL bounds - >= 42873 @ 19.7335
24.20/24.39	c GLOBAL bounds - >= 42873 @ 19.8895
24.31/24.43	c GLOBAL bounds - >= 42873 @ 19.9272
24.51/24.64	c GLOBAL bounds - >= 42873 @ 20.0713
24.51/24.69	c GLOBAL bounds - >= 42873 @ 20.1033
24.70/24.86	c GLOBAL bounds - >= 42873 @ 20.2069
24.80/24.90	c GLOBAL bounds - >= 42873 @ 20.2376
24.91/25.04	c GLOBAL bounds - >= 42873 @ 20.3119
24.91/25.08	c GLOBAL bounds - >= 42873 @ 20.3479
25.11/25.24	c GLOBAL bounds - >= 42873 @ 20.4434
25.11/25.29	c GLOBAL bounds - >= 42873 @ 20.4738
25.30/25.44	c GLOBAL bounds - >= 42873 @ 20.5562
25.30/25.48	c GLOBAL bounds - >= 42873 @ 20.5859
25.50/25.63	c GLOBAL bounds - >= 42873 @ 20.6686
25.50/25.67	c GLOBAL bounds - >= 42873 @ 20.7073
25.71/25.81	c GLOBAL bounds - >= 42873 @ 20.7816
25.71/25.85	c GLOBAL bounds - >= 42873 @ 20.8169
25.80/25.99	c GLOBAL bounds - >= 42873 @ 20.8913
25.91/26.03	c GLOBAL bounds - >= 42873 @ 20.9252
26.02/26.16	c GLOBAL bounds - >= 42873 @ 20.9951
26.11/26.29	c GLOBAL bounds - >= 42873 @ 21.0652
26.30/26.45	c GLOBAL bounds - >= 42873 @ 21.1678
26.50/26.61	c GLOBAL bounds - >= 42873 @ 21.2663
26.60/26.77	c GLOBAL bounds - >= 42873 @ 21.3705
26.80/26.90	c GLOBAL bounds - >= 42873 @ 21.4442
26.91/27.03	c GLOBAL bounds - >= 42873 @ 21.519
27.09/27.22	c GLOBAL bounds - >= 42873 @ 21.6589
27.20/27.38	c GLOBAL bounds - >= 42873 @ 21.7611
27.50/27.67	c GLOBAL bounds - >= 42873 @ 22.002
27.70/27.84	c GLOBAL bounds - >= 42873 @ 22.0986
28.19/28.40	c GLOBAL bounds - >= 42873 @ 22.6014
28.40/28.56	c GLOBAL bounds - >= 42873 @ 22.7086
28.80/28.90	c GLOBAL bounds - >= 42873 @ 22.9905
29.01/29.11	c GLOBAL bounds - >= 42873 @ 23.1511
30.00/30.14	c GLOBAL bounds - >= 42873 @ 24.1084
30.39/30.50	c GLOBAL bounds - >= 42873 @ 24.4084
30.91/31.04	c GLOBAL bounds - >= 42873 @ 24.8708
33.00/33.15	c GLOBAL bounds - >= 42873 @ 26.8815
33.18/33.38	c GLOBAL bounds - >= 42873 @ 27.0512
33.68/33.84	c GLOBAL bounds - >= 125337 @ 27.4913
33.78/33.94	c GLOBAL bounds - >= 125337 @ 27.5835
34.00/34.12	c GLOBAL bounds - >= 125337 @ 27.6902
34.00/34.13	c GLOBAL bounds - >= 125337 @ 27.7025
34.08/34.27	c GLOBAL bounds - >= 125337 @ 27.7721
34.18/34.30	c GLOBAL bounds - >= 125337 @ 27.7894
34.28/34.47	c GLOBAL bounds - >= 125337 @ 27.894
34.38/34.51	c GLOBAL bounds - >= 125337 @ 27.9237
34.48/34.67	c GLOBAL bounds - >= 125337 @ 28.0172
34.58/34.71	c GLOBAL bounds - >= 125337 @ 28.0471
34.68/34.87	c GLOBAL bounds - >= 125337 @ 28.1414
34.78/34.91	c GLOBAL bounds - >= 125337 @ 28.1676
34.89/35.05	c GLOBAL bounds - >= 125337 @ 28.2518
34.89/35.07	c GLOBAL bounds - >= 125337 @ 28.2718
34.99/35.18	c GLOBAL bounds - >= 125337 @ 28.3123
35.08/35.20	c GLOBAL bounds - >= 125337 @ 28.3311
35.18/35.34	c GLOBAL bounds - >= 125337 @ 28.4109
35.18/35.38	c GLOBAL bounds - >= 125337 @ 28.437
35.37/35.52	c GLOBAL bounds - >= 125337 @ 28.5236
35.37/35.56	c GLOBAL bounds - >= 125337 @ 28.5533
35.58/35.70	c GLOBAL bounds - >= 125337 @ 28.6387
35.68/35.84	c GLOBAL bounds - >= 125337 @ 28.7208
36.08/36.27	c GLOBAL bounds - >= 125337 @ 29.0832
36.28/36.44	c GLOBAL bounds - >= 125337 @ 29.186
36.57/36.79	c GLOBAL bounds - >= 125337 @ 29.4813
37.08/37.26	c GLOBAL bounds - >= 125337 @ 29.8715
37.47/37.62	c GLOBAL bounds - >= 125337 @ 30.1645
38.07/38.27	c GLOBAL bounds - >= 125337 @ 30.7544
38.37/38.59	c GLOBAL bounds - >= 125337 @ 31.0033
39.77/39.94	c GLOBAL bounds - >= 125337 @ 32.2662
39.98/40.13	c GLOBAL bounds - >= 125337 @ 32.4039
41.76/41.90	c GLOBAL bounds - >= 125337 @ 34.0567
41.88/42.10	c GLOBAL bounds - >= 125337 @ 34.2032
42.26/42.42	c GLOBAL bounds - >= 125337 @ 34.4428
45.06/45.29	c GLOBAL bounds - >= 216358 @ 37.2271
45.25/45.44	c GLOBAL bounds - >= 216358 @ 37.3592
45.36/45.59	c GLOBAL bounds - >= 216358 @ 37.4429
45.45/45.63	c GLOBAL bounds - >= 216358 @ 37.4707
45.66/45.81	c GLOBAL bounds - >= 216358 @ 37.5808
45.66/45.85	c GLOBAL bounds - >= 216358 @ 37.6136
45.87/46.05	c GLOBAL bounds - >= 216358 @ 37.7336
45.87/46.10	c GLOBAL bounds - >= 216358 @ 37.7658
46.05/46.24	c GLOBAL bounds - >= 216358 @ 37.8443
46.05/46.28	c GLOBAL bounds - >= 216358 @ 37.8789
46.15/46.40	c GLOBAL bounds - >= 216358 @ 37.9401
46.26/46.44	c GLOBAL bounds - >= 216358 @ 37.9776
46.35/46.55	c GLOBAL bounds - >= 216358 @ 38.0239
46.35/46.59	c GLOBAL bounds - >= 216358 @ 38.056
46.55/46.71	c GLOBAL bounds - >= 216358 @ 38.1213
46.55/46.75	c GLOBAL bounds - >= 216358 @ 38.1521
46.65/46.89	c GLOBAL bounds - >= 216358 @ 38.2369
46.75/46.94	c GLOBAL bounds - >= 216358 @ 38.2719
46.87/47.05	c GLOBAL bounds - >= 216358 @ 38.3284
46.87/47.09	c GLOBAL bounds - >= 216358 @ 38.3656
47.05/47.21	c GLOBAL bounds - >= 216358 @ 38.4244
47.25/47.43	c GLOBAL bounds - >= 216358 @ 38.5931
47.65/47.80	c GLOBAL bounds - >= 216358 @ 38.8997
47.86/48.11	c GLOBAL bounds - >= 216358 @ 39.1428
48.15/48.39	c GLOBAL bounds - >= 216358 @ 39.3576
48.44/48.60	c GLOBAL bounds - >= 216358 @ 39.4997
48.55/48.78	c GLOBAL bounds - >= 216358 @ 39.6177
48.96/49.16	c GLOBAL bounds - >= 216358 @ 39.932
49.34/49.52	c GLOBAL bounds - >= 216358 @ 40.2254
49.54/49.78	c GLOBAL bounds - >= 216358 @ 40.4174
50.34/50.57	c GLOBAL bounds - >= 216358 @ 41.1259
50.74/50.97	c GLOBAL bounds - >= 216358 @ 41.4684
51.14/51.39	c GLOBAL bounds - >= 216358 @ 41.8089
51.34/51.55	c GLOBAL bounds - >= 216358 @ 41.9166
51.54/51.73	c GLOBAL bounds - >= 216358 @ 42.0358
53.23/53.40	c GLOBAL bounds - >= 216358 @ 43.6196
61.12/61.33	c #Conflicts:       1000 | #Constraints:    1400058
61.12/61.33	c GLOBAL bounds - >= 282614 @ 51.3591
61.21/61.45	c GLOBAL bounds - >= 282614 @ 51.4603
61.21/61.49	c GLOBAL bounds - >= 282614 @ 51.4905
62.21/62.46	c GLOBAL bounds - >= 282614 @ 52.3762
62.31/62.50	c GLOBAL bounds - >= 282614 @ 52.4071
62.41/62.68	c GLOBAL bounds - >= 282614 @ 52.5167
62.51/62.72	c GLOBAL bounds - >= 282614 @ 52.5501
62.61/62.89	c GLOBAL bounds - >= 282614 @ 52.6481
62.71/62.93	c GLOBAL bounds - >= 282614 @ 52.6855
62.82/63.09	c GLOBAL bounds - >= 282614 @ 52.777
62.93/63.13	c GLOBAL bounds - >= 282614 @ 52.8106
63.01/63.28	c GLOBAL bounds - >= 282614 @ 52.9033
63.11/63.32	c GLOBAL bounds - >= 282614 @ 52.941
63.21/63.47	c GLOBAL bounds - >= 282614 @ 53.0156
63.31/63.51	c GLOBAL bounds - >= 282614 @ 53.0525
63.41/63.66	c GLOBAL bounds - >= 282614 @ 53.1352
63.51/63.70	c GLOBAL bounds - >= 282614 @ 53.1702
63.61/63.81	c GLOBAL bounds - >= 282614 @ 53.2209
63.61/63.85	c GLOBAL bounds - >= 282614 @ 53.2551
63.71/63.96	c GLOBAL bounds - >= 282614 @ 53.303
63.71/64.01	c GLOBAL bounds - >= 282614 @ 53.3401
63.92/64.19	c GLOBAL bounds - >= 282614 @ 53.463
64.11/64.36	c GLOBAL bounds - >= 282614 @ 53.5692
64.30/64.58	c GLOBAL bounds - >= 282614 @ 53.737
64.50/64.75	c GLOBAL bounds - >= 282614 @ 53.8392
64.91/65.15	c GLOBAL bounds - >= 282614 @ 54.1658
65.11/65.39	c GLOBAL bounds - >= 282614 @ 54.3454
65.50/65.79	c GLOBAL bounds - >= 282614 @ 54.6773
65.71/66.00	c GLOBAL bounds - >= 282614 @ 54.8379
66.00/66.22	c GLOBAL bounds - >= 282614 @ 54.9979
66.20/66.40	c GLOBAL bounds - >= 282614 @ 55.1225
66.30/66.58	c GLOBAL bounds - >= 282614 @ 55.2587
66.60/66.88	c GLOBAL bounds - >= 282614 @ 55.481
71.39/71.60	c GLOBAL bounds - >= 282614 @ 60.039
71.80/72.08	c GLOBAL bounds - >= 282614 @ 60.4654
86.24/86.55	c GLOBAL bounds - >= 303071 @ 74.5996
86.45/86.72	c GLOBAL bounds - >= 303071 @ 74.7524
86.45/86.76	c GLOBAL bounds - >= 303071 @ 74.7849
86.55/86.80	c GLOBAL bounds - >= 303071 @ 74.816
86.65/86.98	c GLOBAL bounds - >= 303071 @ 74.9345
86.76/87.02	c GLOBAL bounds - >= 303071 @ 74.9672
86.85/87.19	c GLOBAL bounds - >= 303071 @ 75.0691
86.95/87.24	c GLOBAL bounds - >= 303071 @ 75.1015
87.15/87.40	c GLOBAL bounds - >= 303071 @ 75.2073
87.15/87.44	c GLOBAL bounds - >= 303071 @ 75.2385
87.25/87.59	c GLOBAL bounds - >= 303071 @ 75.329
87.34/87.63	c GLOBAL bounds - >= 303071 @ 75.3633
87.44/87.78	c GLOBAL bounds - >= 303071 @ 75.4546
87.54/87.82	c GLOBAL bounds - >= 303071 @ 75.4852
87.65/87.97	c GLOBAL bounds - >= 303071 @ 75.5691
87.65/88.01	c GLOBAL bounds - >= 303071 @ 75.6019
87.86/88.15	c GLOBAL bounds - >= 303071 @ 75.6859
87.86/88.20	c GLOBAL bounds - >= 303071 @ 75.7182
88.04/88.34	c GLOBAL bounds - >= 303071 @ 75.8049
88.04/88.38	c GLOBAL bounds - >= 303071 @ 75.837
88.24/88.50	c GLOBAL bounds - >= 303071 @ 75.8896
88.24/88.54	c GLOBAL bounds - >= 303071 @ 75.9178
88.34/88.69	c GLOBAL bounds - >= 303071 @ 76.0039
88.64/88.91	c GLOBAL bounds - >= 303071 @ 76.1586
88.85/89.14	c GLOBAL bounds - >= 303071 @ 76.3421
89.04/89.33	c GLOBAL bounds - >= 303071 @ 76.4777
89.24/89.52	c GLOBAL bounds - >= 303071 @ 76.6154
89.94/90.28	c GLOBAL bounds - >= 303071 @ 77.3113
90.14/90.48	c GLOBAL bounds - >= 303071 @ 77.4478
94.92/95.27	c GLOBAL bounds - >= 303071 @ 82.0854
95.62/95.98	c GLOBAL bounds - >= 303071 @ 82.7244
102.81/103.12	c GLOBAL bounds - >= 314710 @ 89.7348
102.89/103.24	c GLOBAL bounds - >= 314710 @ 89.8364
102.99/103.38	c GLOBAL bounds - >= 314710 @ 89.9036
103.09/103.41	c GLOBAL bounds - >= 314710 @ 89.9279
103.19/103.55	c GLOBAL bounds - >= 314710 @ 90.0088
103.19/103.58	c GLOBAL bounds - >= 314710 @ 90.0339
103.39/103.71	c GLOBAL bounds - >= 314710 @ 90.1035
103.39/103.74	c GLOBAL bounds - >= 314710 @ 90.1284
103.49/103.87	c GLOBAL bounds - >= 314710 @ 90.2054
103.59/103.90	c GLOBAL bounds - >= 314710 @ 90.2307
103.70/104.04	c GLOBAL bounds - >= 314710 @ 90.3068
103.70/104.07	c GLOBAL bounds - >= 314710 @ 90.3282
103.89/104.20	c GLOBAL bounds - >= 314710 @ 90.4018
103.89/104.25	c GLOBAL bounds - >= 314710 @ 90.4348
103.99/104.39	c GLOBAL bounds - >= 314710 @ 90.5106
104.09/104.42	c GLOBAL bounds - >= 314710 @ 90.5344
104.19/104.55	c GLOBAL bounds - >= 314710 @ 90.6104
104.19/104.58	c GLOBAL bounds - >= 314710 @ 90.6367
104.38/104.72	c GLOBAL bounds - >= 314710 @ 90.7128
104.38/104.75	c GLOBAL bounds - >= 314710 @ 90.7366
104.49/104.86	c GLOBAL bounds - >= 314710 @ 90.7841
105.09/105.44	c GLOBAL bounds - >= 314710 @ 91.3114
105.39/105.77	c GLOBAL bounds - >= 314710 @ 91.568
105.59/106.01	c GLOBAL bounds - >= 314710 @ 91.7475
105.80/106.18	c GLOBAL bounds - >= 314710 @ 91.8523
105.99/106.33	c GLOBAL bounds - >= 314710 @ 91.9568
106.19/106.54	c GLOBAL bounds - >= 314710 @ 92.0975
106.38/106.71	c GLOBAL bounds - >= 314710 @ 92.2173
106.48/106.87	c GLOBAL bounds - >= 314710 @ 92.3129
107.18/107.55	c GLOBAL bounds - >= 314710 @ 92.9258
110.97/111.31	c #Conflicts:       2000 | #Constraints:    1651582
110.97/111.31	c INPROCESSING
110.97/111.31	c GARBAGE COLLECT
110.97/111.31	c GLOBAL bounds - >= 314710 @ 96.5639
111.36/111.76	c GLOBAL bounds - >= 314710 @ 96.9579
112.06/112.41	c GLOBAL bounds - >= 314710 @ 97.5376
113.26/113.67	c GLOBAL bounds - >= 314710 @ 98.723
113.96/114.32	c GLOBAL bounds - >= 314710 @ 99.3148
114.26/114.60	c GLOBAL bounds - >= 314710 @ 99.5278
114.55/114.92	c GLOBAL bounds - >= 314710 @ 99.7911
118.45/118.87	c GLOBAL bounds - >= 314710 @ 103.627
126.73/127.13	c GLOBAL bounds - >= 314710 @ 111.692
127.73/128.18	c GLOBAL bounds - >= 314710 @ 112.668
129.21/129.62	c GLOBAL bounds - >= 314710 @ 114.042
142.27/142.74	c GLOBAL bounds - >= 337286 @ 126.962
142.37/142.84	c GLOBAL bounds - >= 337286 @ 127.043
142.37/142.88	c GLOBAL bounds - >= 337286 @ 127.074
142.37/142.88	c GLOBAL bounds - >= 337286 @ 127.077
142.58/143.07	c GLOBAL bounds - >= 337286 @ 127.206
142.67/143.11	c GLOBAL bounds - >= 337286 @ 127.24
143.06/143.57	c GLOBAL bounds - >= 337286 @ 127.634
143.16/143.62	c GLOBAL bounds - >= 337286 @ 127.665
143.36/143.84	c GLOBAL bounds - >= 337286 @ 127.831
143.36/143.89	c GLOBAL bounds - >= 337286 @ 127.863
143.58/144.06	c GLOBAL bounds - >= 337286 @ 127.966
143.58/144.10	c GLOBAL bounds - >= 337286 @ 128.001
143.76/144.24	c GLOBAL bounds - >= 337286 @ 128.071
143.76/144.28	c GLOBAL bounds - >= 337286 @ 128.102
143.96/144.45	c GLOBAL bounds - >= 337286 @ 128.216
143.96/144.49	c GLOBAL bounds - >= 337286 @ 128.251
144.16/144.64	c GLOBAL bounds - >= 337286 @ 128.342
144.16/144.68	c GLOBAL bounds - >= 337286 @ 128.375
144.36/144.82	c GLOBAL bounds - >= 337286 @ 128.456
144.36/144.87	c GLOBAL bounds - >= 337286 @ 128.49
144.57/145.01	c GLOBAL bounds - >= 337286 @ 128.576
144.57/145.05	c GLOBAL bounds - >= 337286 @ 128.607
144.67/145.17	c GLOBAL bounds - >= 337286 @ 128.663
144.85/145.33	c GLOBAL bounds - >= 337286 @ 128.776
145.06/145.52	c GLOBAL bounds - >= 337286 @ 128.904
145.26/145.78	c GLOBAL bounds - >= 337286 @ 129.097
145.46/146.00	c GLOBAL bounds - >= 337286 @ 129.25
145.76/146.28	c GLOBAL bounds - >= 337286 @ 129.47
146.57/147.04	c GLOBAL bounds - >= 337286 @ 130.158
158.22/158.76	c #Conflicts:       3000 | #Constraints:    1847110
158.22/158.76	c GLOBAL bounds - >= 346233 @ 141.681
158.32/158.87	c GLOBAL bounds - >= 346233 @ 141.78
158.41/158.91	c GLOBAL bounds - >= 346233 @ 141.813
158.53/159.09	c GLOBAL bounds - >= 346233 @ 141.925
158.63/159.13	c GLOBAL bounds - >= 346233 @ 141.953
158.81/159.31	c GLOBAL bounds - >= 346233 @ 142.061
158.81/159.35	c GLOBAL bounds - >= 346233 @ 142.096
159.02/159.52	c GLOBAL bounds - >= 346233 @ 142.21
159.02/159.56	c GLOBAL bounds - >= 346233 @ 142.247
159.21/159.77	c GLOBAL bounds - >= 346233 @ 142.388
159.31/159.81	c GLOBAL bounds - >= 346233 @ 142.423
159.53/160.02	c GLOBAL bounds - >= 346233 @ 142.56
159.53/160.07	c GLOBAL bounds - >= 346233 @ 142.588
159.71/160.24	c GLOBAL bounds - >= 346233 @ 142.702
159.71/160.29	c GLOBAL bounds - >= 346233 @ 142.736
159.91/160.45	c GLOBAL bounds - >= 346233 @ 142.833
159.91/160.49	c GLOBAL bounds - >= 346233 @ 142.865
160.10/160.66	c GLOBAL bounds - >= 346233 @ 142.971
160.21/160.70	c GLOBAL bounds - >= 346233 @ 143.006
160.31/160.87	c GLOBAL bounds - >= 346233 @ 143.109
160.40/160.91	c GLOBAL bounds - >= 346233 @ 143.141
160.52/161.04	c GLOBAL bounds - >= 346233 @ 143.214
162.00/162.52	c GLOBAL bounds - >= 346233 @ 144.603
162.80/163.31	c GLOBAL bounds - >= 346233 @ 145.329
164.00/164.55	c GLOBAL bounds - >= 346233 @ 146.485
175.86/176.43	c GLOBAL bounds - >= 346233 @ 158.062
176.66/177.21	c GLOBAL bounds - >= 346233 @ 158.774
179.05/179.66	c GLOBAL bounds - >= 359550 @ 161.174
179.15/179.79	c GLOBAL bounds - >= 359550 @ 161.302
179.34/179.97	c GLOBAL bounds - >= 359550 @ 161.415
179.46/180.02	c GLOBAL bounds - >= 359550 @ 161.448
179.65/180.28	c GLOBAL bounds - >= 359550 @ 161.641
179.75/180.32	c GLOBAL bounds - >= 359550 @ 161.675
179.85/180.46	c GLOBAL bounds - >= 359550 @ 161.747
179.95/180.50	c GLOBAL bounds - >= 359550 @ 161.779
180.24/180.81	c GLOBAL bounds - >= 359550 @ 162.018
180.24/180.85	c GLOBAL bounds - >= 359550 @ 162.057
180.46/181.02	c GLOBAL bounds - >= 359550 @ 162.156
180.46/181.06	c GLOBAL bounds - >= 359550 @ 162.189
180.64/181.23	c GLOBAL bounds - >= 359550 @ 162.298
180.64/181.28	c GLOBAL bounds - >= 359550 @ 162.331
180.84/181.44	c GLOBAL bounds - >= 359550 @ 162.434
180.84/181.48	c GLOBAL bounds - >= 359550 @ 162.465
181.04/181.65	c GLOBAL bounds - >= 359550 @ 162.57
181.04/181.69	c GLOBAL bounds - >= 359550 @ 162.599
181.24/181.82	c GLOBAL bounds - >= 359550 @ 162.673
181.24/181.86	c GLOBAL bounds - >= 359550 @ 162.707
181.46/182.02	c GLOBAL bounds - >= 359550 @ 162.802
182.55/183.16	c GLOBAL bounds - >= 359550 @ 163.849
182.74/183.39	c GLOBAL bounds - >= 359550 @ 164.017
183.03/183.68	c GLOBAL bounds - >= 359550 @ 164.251
183.34/183.90	c GLOBAL bounds - >= 359550 @ 164.417
188.72/189.32	c GLOBAL bounds - >= 359550 @ 169.65
188.92/189.53	c GLOBAL bounds - >= 359550 @ 169.79
189.12/189.79	c GLOBAL bounds - >= 359550 @ 169.996
190.53/191.11	c GLOBAL bounds - >= 359550 @ 171.235
193.51/194.13	c GLOBAL bounds - >= 359550 @ 174.139
195.99/196.68	c GLOBAL bounds - >= 359550 @ 176.574
199.29/199.96	c GLOBAL bounds - >= 359550 @ 179.726
199.69/200.34	c GLOBAL bounds - >= 359550 @ 180.045
203.27/203.92	c #Conflicts:       4000 | #Constraints:    2149402
203.27/203.92	c GLOBAL bounds - >= 365247 @ 183.547
203.38/204.05	c GLOBAL bounds - >= 365247 @ 183.669
203.38/204.09	c GLOBAL bounds - >= 365247 @ 183.702
203.48/204.13	c GLOBAL bounds - >= 365247 @ 183.736
203.48/204.17	c GLOBAL bounds - >= 365247 @ 183.769
203.57/204.21	c GLOBAL bounds - >= 365247 @ 183.798
203.57/204.25	c GLOBAL bounds - >= 365247 @ 183.833
203.57/204.29	c GLOBAL bounds - >= 365247 @ 183.865
203.67/204.34	c GLOBAL bounds - >= 365247 @ 183.896
203.87/204.53	c GLOBAL bounds - >= 365247 @ 184.034
203.87/204.57	c GLOBAL bounds - >= 365247 @ 184.067
204.17/204.84	c GLOBAL bounds - >= 365247 @ 184.268
204.17/204.88	c GLOBAL bounds - >= 365247 @ 184.3
204.27/205.00	c GLOBAL bounds - >= 365247 @ 184.363
204.38/205.05	c GLOBAL bounds - >= 365247 @ 184.394
204.49/205.17	c GLOBAL bounds - >= 365247 @ 184.461
204.56/205.21	c GLOBAL bounds - >= 365247 @ 184.494
204.67/205.38	c GLOBAL bounds - >= 365247 @ 184.595
204.76/205.42	c GLOBAL bounds - >= 365247 @ 184.632
204.86/205.55	c GLOBAL bounds - >= 365247 @ 184.695
204.86/205.59	c GLOBAL bounds - >= 365247 @ 184.729
205.06/205.75	c GLOBAL bounds - >= 365247 @ 184.822
205.06/205.79	c GLOBAL bounds - >= 365247 @ 184.851
205.27/205.94	c GLOBAL bounds - >= 365247 @ 184.93
205.27/205.98	c GLOBAL bounds - >= 365247 @ 184.958
205.48/206.12	c GLOBAL bounds - >= 365247 @ 185.042
205.48/206.17	c GLOBAL bounds - >= 365247 @ 185.076
205.66/206.31	c GLOBAL bounds - >= 365247 @ 185.161
205.97/206.62	c GLOBAL bounds - >= 365247 @ 185.416
206.37/207.03	c GLOBAL bounds - >= 365247 @ 185.759
206.56/207.29	c GLOBAL bounds - >= 365247 @ 185.963
206.97/207.60	c GLOBAL bounds - >= 365247 @ 186.213
207.06/207.78	c GLOBAL bounds - >= 365247 @ 186.34
207.37/208.07	c GLOBAL bounds - >= 365247 @ 186.565
208.95/209.61	c GLOBAL bounds - >= 365247 @ 188.016
209.37/210.04	c GLOBAL bounds - >= 365247 @ 188.387
209.55/210.29	c GLOBAL bounds - >= 365247 @ 188.582
210.65/211.31	c GLOBAL bounds - >= 365247 @ 189.529
210.95/211.62	c GLOBAL bounds - >= 365247 @ 189.77
211.74/212.47	c GLOBAL bounds - >= 365247 @ 190.546
217.92/218.64	c INPROCESSING
217.92/218.64	c GARBAGE COLLECT
217.92/218.64	c GLOBAL bounds - >= 365247 @ 196.58
218.44/219.14	c GLOBAL bounds - >= 365247 @ 197.016
224.20/225.01	c GLOBAL bounds - >= 365247 @ 202.721
224.61/225.30	c GLOBAL bounds - >= 365247 @ 202.959
233.97/234.75	c GLOBAL bounds - >= 365247 @ 212.2
234.57/235.39	c GLOBAL bounds - >= 365247 @ 212.78
235.07/235.81	c GLOBAL bounds - >= 365247 @ 213.134
236.06/236.87	c GLOBAL bounds - >= 365247 @ 214.115
243.64/244.48	c GLOBAL bounds - >= 370038 @ 221.606
243.84/244.61	c GLOBAL bounds - >= 370038 @ 221.726
245.25/246.07	c GLOBAL bounds - >= 370038 @ 223.1
245.35/246.11	c GLOBAL bounds - >= 370038 @ 223.134
245.44/246.28	c GLOBAL bounds - >= 370038 @ 223.24
245.54/246.32	c GLOBAL bounds - >= 370038 @ 223.276
245.64/246.49	c GLOBAL bounds - >= 370038 @ 223.379
245.74/246.53	c GLOBAL bounds - >= 370038 @ 223.411
245.94/246.70	c GLOBAL bounds - >= 370038 @ 223.511
245.94/246.74	c GLOBAL bounds - >= 370038 @ 223.544
246.13/246.90	c GLOBAL bounds - >= 370038 @ 223.644
246.13/246.94	c GLOBAL bounds - >= 370038 @ 223.675
246.24/247.10	c GLOBAL bounds - >= 370038 @ 223.772
246.35/247.15	c GLOBAL bounds - >= 370038 @ 223.806
246.53/247.31	c GLOBAL bounds - >= 370038 @ 223.906
246.53/247.35	c GLOBAL bounds - >= 370038 @ 223.936
246.63/247.48	c GLOBAL bounds - >= 370038 @ 224
246.73/247.52	c GLOBAL bounds - >= 370038 @ 224.032
246.83/247.65	c GLOBAL bounds - >= 370038 @ 224.107
246.83/247.69	c GLOBAL bounds - >= 370038 @ 224.136
247.04/247.82	c GLOBAL bounds - >= 370038 @ 224.214
247.24/248.05	c GLOBAL bounds - >= 370038 @ 224.387
247.63/248.44	c GLOBAL bounds - >= 370038 @ 224.712
254.01/254.88	c GLOBAL bounds - >= 370038 @ 231.014
260.30/261.17	c #Conflicts:       5000 | #Constraints:    2435474
260.30/261.17	c GLOBAL bounds - >= 370038 @ 237.147
260.59/261.47	c GLOBAL bounds - >= 370038 @ 237.386
260.79/261.67	c GLOBAL bounds - >= 370038 @ 237.538
272.45/273.31	c GLOBAL bounds - >= 370038 @ 248.977
284.71/285.60	c GLOBAL bounds - >= 370038 @ 261.034
285.22/286.16	c GLOBAL bounds - >= 370038 @ 261.537
298.86/299.83	c GLOBAL bounds - >= 391447 @ 274.984
299.08/300.08	c GLOBAL bounds - >= 391447 @ 275.221
299.17/300.12	c GLOBAL bounds - >= 391447 @ 275.254
299.17/300.17	c GLOBAL bounds - >= 391447 @ 275.289
299.26/300.21	c GLOBAL bounds - >= 391447 @ 275.319
299.26/300.25	c GLOBAL bounds - >= 391447 @ 275.355
299.26/300.29	c GLOBAL bounds - >= 391447 @ 275.388
301.95/302.96	c GLOBAL bounds - >= 391447 @ 277.929
301.95/303.00	c GLOBAL bounds - >= 391447 @ 277.963
302.17/303.16	c GLOBAL bounds - >= 391447 @ 278.061
302.26/303.21	c GLOBAL bounds - >= 391447 @ 278.094
302.36/303.37	c GLOBAL bounds - >= 391447 @ 278.192
302.45/303.41	c GLOBAL bounds - >= 391447 @ 278.228
302.56/303.54	c GLOBAL bounds - >= 391447 @ 278.288
302.56/303.58	c GLOBAL bounds - >= 391447 @ 278.321
302.75/303.74	c GLOBAL bounds - >= 391447 @ 278.419
302.75/303.78	c GLOBAL bounds - >= 391447 @ 278.452
302.95/303.91	c GLOBAL bounds - >= 391447 @ 278.528
302.95/303.95	c GLOBAL bounds - >= 391447 @ 278.561
303.17/304.12	c GLOBAL bounds - >= 391447 @ 278.661
303.17/304.16	c GLOBAL bounds - >= 391447 @ 278.695
303.35/304.33	c GLOBAL bounds - >= 391447 @ 278.799
303.35/304.37	c GLOBAL bounds - >= 391447 @ 278.831
303.56/304.53	c GLOBAL bounds - >= 391447 @ 278.927
303.56/304.57	c GLOBAL bounds - >= 391447 @ 278.958
303.75/304.70	c GLOBAL bounds - >= 391447 @ 279.019
304.35/305.39	c GLOBAL bounds - >= 391447 @ 279.64
304.55/305.58	c GLOBAL bounds - >= 391447 @ 279.771
304.75/305.77	c GLOBAL bounds - >= 391447 @ 279.899
309.34/310.37	c #Conflicts:       6000 | #Constraints:    2566664
309.34/310.37	c GLOBAL bounds - >= 391447 @ 284.339
309.73/310.75	c GLOBAL bounds - >= 391447 @ 284.648
315.71/316.75	c GLOBAL bounds - >= 391447 @ 290.444
316.81/317.83	c GLOBAL bounds - >= 391447 @ 291.437
323.89/324.95	c GLOBAL bounds - >= 391447 @ 298.359
325.28/326.36	c GLOBAL bounds - >= 391447 @ 299.693
327.87/328.96	c GLOBAL bounds - >= 393092 @ 302.236
328.08/329.12	c GLOBAL bounds - >= 393092 @ 302.374
328.08/329.16	c GLOBAL bounds - >= 393092 @ 302.406
328.17/329.20	c GLOBAL bounds - >= 393092 @ 302.439
328.17/329.24	c GLOBAL bounds - >= 393092 @ 302.468
328.17/329.28	c GLOBAL bounds - >= 393092 @ 302.495
328.27/329.32	c GLOBAL bounds - >= 393092 @ 302.526
328.47/329.50	c GLOBAL bounds - >= 393092 @ 302.644
328.47/329.54	c GLOBAL bounds - >= 393092 @ 302.676
328.67/329.72	c GLOBAL bounds - >= 393092 @ 302.785
328.67/329.76	c GLOBAL bounds - >= 393092 @ 302.821
328.87/329.92	c GLOBAL bounds - >= 393092 @ 302.929
328.87/329.96	c GLOBAL bounds - >= 393092 @ 302.963
329.09/330.12	c GLOBAL bounds - >= 393092 @ 303.058
329.09/330.16	c GLOBAL bounds - >= 393092 @ 303.092
329.27/330.32	c GLOBAL bounds - >= 393092 @ 303.198
329.27/330.36	c GLOBAL bounds - >= 393092 @ 303.234
329.46/330.50	c GLOBAL bounds - >= 393092 @ 303.313
329.46/330.54	c GLOBAL bounds - >= 393092 @ 303.348
329.57/330.68	c GLOBAL bounds - >= 393092 @ 303.43
329.66/330.73	c GLOBAL bounds - >= 393092 @ 303.461
329.77/330.86	c GLOBAL bounds - >= 393092 @ 303.537
329.86/330.91	c GLOBAL bounds - >= 393092 @ 303.568
329.98/331.01	c GLOBAL bounds - >= 393092 @ 303.616
329.98/331.06	c GLOBAL bounds - >= 393092 @ 303.65
330.08/331.20	c GLOBAL bounds - >= 393092 @ 303.73
330.27/331.33	c GLOBAL bounds - >= 393092 @ 303.814
330.47/331.59	c GLOBAL bounds - >= 393092 @ 304.016
330.67/331.75	c GLOBAL bounds - >= 393092 @ 304.117
330.86/331.94	c GLOBAL bounds - >= 393092 @ 304.254
330.97/332.10	c GLOBAL bounds - >= 393092 @ 304.36
331.26/332.37	c GLOBAL bounds - >= 393092 @ 304.553
331.46/332.55	c GLOBAL bounds - >= 393092 @ 304.682
345.03/346.16	c INPROCESSING
345.03/346.16	c GARBAGE COLLECT
345.03/346.16	c GLOBAL bounds - >= 393092 @ 317.972
345.51/346.60	c GLOBAL bounds - >= 393092 @ 318.353
345.72/346.80	c GLOBAL bounds - >= 393092 @ 318.493
361.98/363.14	c #Conflicts:       7000 | #Constraints:    2675751
361.98/363.14	c GLOBAL bounds - >= 393092 @ 334.514
362.17/363.35	c GLOBAL bounds - >= 393092 @ 334.656
396.25/397.50	c GLOBAL bounds - >= 393092 @ 368.269
396.46/397.72	c GLOBAL bounds - >= 393092 @ 368.423
397.05/398.33	c GLOBAL bounds - >= 393092 @ 368.969
397.35/398.65	c GLOBAL bounds - >= 393092 @ 369.229
417.59/418.97	c #Conflicts:       8000 | #Constraints:    2718624
417.59/418.97	c GLOBAL bounds - >= 407360 @ 389.275
417.89/419.20	c GLOBAL bounds - >= 407360 @ 389.494
417.89/419.24	c GLOBAL bounds - >= 407360 @ 389.529
417.89/419.28	c GLOBAL bounds - >= 407360 @ 389.558
417.98/419.32	c GLOBAL bounds - >= 407360 @ 389.588
417.98/419.36	c GLOBAL bounds - >= 407360 @ 389.62
418.08/419.40	c GLOBAL bounds - >= 407360 @ 389.655
418.18/419.60	c GLOBAL bounds - >= 407360 @ 389.778
418.28/419.64	c GLOBAL bounds - >= 407360 @ 389.811
419.79/421.16	c GLOBAL bounds - >= 407360 @ 391.247
419.88/421.20	c GLOBAL bounds - >= 407360 @ 391.275
420.07/421.46	c GLOBAL bounds - >= 407360 @ 391.463
420.17/421.51	c GLOBAL bounds - >= 407360 @ 391.499
420.38/421.71	c GLOBAL bounds - >= 407360 @ 391.632
420.38/421.75	c GLOBAL bounds - >= 407360 @ 391.666
420.58/421.91	c GLOBAL bounds - >= 407360 @ 391.764
420.58/421.95	c GLOBAL bounds - >= 407360 @ 391.797
420.69/422.11	c GLOBAL bounds - >= 407360 @ 391.889
420.79/422.15	c GLOBAL bounds - >= 407360 @ 391.925
420.98/422.30	c GLOBAL bounds - >= 407360 @ 392.004
420.98/422.34	c GLOBAL bounds - >= 407360 @ 392.038
421.18/422.50	c GLOBAL bounds - >= 407360 @ 392.137
421.18/422.54	c GLOBAL bounds - >= 407360 @ 392.164
421.28/422.66	c GLOBAL bounds - >= 407360 @ 392.217
421.38/422.70	c GLOBAL bounds - >= 407360 @ 392.25
421.48/422.85	c GLOBAL bounds - >= 407360 @ 392.334
421.69/423.01	c GLOBAL bounds - >= 407360 @ 392.444
421.97/423.34	c GLOBAL bounds - >= 407360 @ 392.711
422.47/423.88	c GLOBAL bounds - >= 407360 @ 393.196
422.68/424.06	c GLOBAL bounds - >= 407360 @ 393.325
422.96/424.39	c GLOBAL bounds - >= 407360 @ 393.6
427.35/428.74	c GLOBAL bounds - >= 407360 @ 397.806
447.19/448.68	c GLOBAL bounds - >= 407360 @ 417.343
448.39/449.88	c GLOBAL bounds - >= 407360 @ 418.455
470.52/472.06	c #Conflicts:       9000 | #Constraints:    2809148
470.52/472.06	c INPROCESSING
470.52/472.06	c GARBAGE COLLECT
470.52/472.06	c GLOBAL bounds - >= 417959 @ 440.343
470.72/472.26	c GLOBAL bounds - >= 417959 @ 440.531
470.82/472.31	c GLOBAL bounds - >= 417959 @ 440.565
470.82/472.35	c GLOBAL bounds - >= 417959 @ 440.598
470.82/472.39	c GLOBAL bounds - >= 417959 @ 440.634
470.91/472.43	c GLOBAL bounds - >= 417959 @ 440.669
470.91/472.48	c GLOBAL bounds - >= 417959 @ 440.7
472.63/474.18	c GLOBAL bounds - >= 417959 @ 442.313
472.71/474.23	c GLOBAL bounds - >= 417959 @ 442.347
472.81/474.37	c GLOBAL bounds - >= 417959 @ 442.428
472.91/474.41	c GLOBAL bounds - >= 417959 @ 442.46
473.01/474.59	c GLOBAL bounds - >= 417959 @ 442.576
473.11/474.63	c GLOBAL bounds - >= 417959 @ 442.611
473.21/474.79	c GLOBAL bounds - >= 417959 @ 442.705
473.31/474.83	c GLOBAL bounds - >= 417959 @ 442.737
473.41/474.98	c GLOBAL bounds - >= 417959 @ 442.836
473.52/475.03	c GLOBAL bounds - >= 417959 @ 442.874
473.62/475.17	c GLOBAL bounds - >= 417959 @ 442.957
473.71/475.21	c GLOBAL bounds - >= 417959 @ 442.991
473.81/475.36	c GLOBAL bounds - >= 417959 @ 443.068
473.90/475.40	c GLOBAL bounds - >= 417959 @ 443.103
474.01/475.54	c GLOBAL bounds - >= 417959 @ 443.193
474.01/475.59	c GLOBAL bounds - >= 417959 @ 443.229
474.21/475.70	c GLOBAL bounds - >= 417959 @ 443.282
474.21/475.74	c GLOBAL bounds - >= 417959 @ 443.316
474.31/475.88	c GLOBAL bounds - >= 417959 @ 443.394
474.51/476.02	c GLOBAL bounds - >= 417959 @ 443.48
474.62/476.19	c GLOBAL bounds - >= 417959 @ 443.588
474.80/476.36	c GLOBAL bounds - >= 417959 @ 443.703
475.20/476.72	c GLOBAL bounds - >= 417959 @ 443.979
475.40/476.94	c GLOBAL bounds - >= 417959 @ 444.136
475.90/477.41	c GLOBAL bounds - >= 417959 @ 444.543
476.10/477.68	c GLOBAL bounds - >= 417959 @ 444.739
476.40/477.92	c GLOBAL bounds - >= 417959 @ 444.915
476.51/478.11	c GLOBAL bounds - >= 417959 @ 445.041
476.90/478.47	c GLOBAL bounds - >= 417959 @ 445.343
479.28/480.82	c GLOBAL bounds - >= 417959 @ 447.588
488.36/489.93	c GLOBAL bounds - >= 417959 @ 456.499
527.03/528.72	c #Conflicts:      10000 | #Constraints:    2895867
527.03/528.72	c GLOBAL bounds - >= 417959 @ 494.683
527.73/529.44	c GLOBAL bounds - >= 417959 @ 495.338
545.07/546.87	c GLOBAL bounds - >= 428939 @ 512.534
545.39/547.12	c GLOBAL bounds - >= 428939 @ 512.759
545.39/547.16	c GLOBAL bounds - >= 428939 @ 512.794
545.47/547.20	c GLOBAL bounds - >= 428939 @ 512.826
545.47/547.25	c GLOBAL bounds - >= 428939 @ 512.854
545.47/547.29	c GLOBAL bounds - >= 428939 @ 512.884
545.57/547.33	c GLOBAL bounds - >= 428939 @ 512.918
546.28/548.08	c GLOBAL bounds - >= 428939 @ 513.6
546.39/548.12	c GLOBAL bounds - >= 428939 @ 513.634
546.67/548.44	c GLOBAL bounds - >= 428939 @ 513.889
546.67/548.48	c GLOBAL bounds - >= 428939 @ 513.924
546.87/548.66	c GLOBAL bounds - >= 428939 @ 514.054
546.97/548.71	c GLOBAL bounds - >= 428939 @ 514.082
547.07/548.87	c GLOBAL bounds - >= 428939 @ 514.181
547.17/548.92	c GLOBAL bounds - >= 428939 @ 514.213
547.28/549.08	c GLOBAL bounds - >= 428939 @ 514.315
547.38/549.12	c GLOBAL bounds - >= 428939 @ 514.35
547.57/549.36	c GLOBAL bounds - >= 428939 @ 514.528
547.66/549.41	c GLOBAL bounds - >= 428939 @ 514.559
547.77/549.57	c GLOBAL bounds - >= 428939 @ 514.656
547.86/549.61	c GLOBAL bounds - >= 428939 @ 514.694
547.97/549.76	c GLOBAL bounds - >= 428939 @ 514.779
548.06/549.81	c GLOBAL bounds - >= 428939 @ 514.812
548.17/549.96	c GLOBAL bounds - >= 428939 @ 514.902
548.17/550.01	c GLOBAL bounds - >= 428939 @ 514.939
548.38/550.16	c GLOBAL bounds - >= 428939 @ 515.032
548.56/550.33	c GLOBAL bounds - >= 428939 @ 515.151
548.77/550.51	c GLOBAL bounds - >= 428939 @ 515.273
548.96/550.78	c GLOBAL bounds - >= 428939 @ 515.486
549.46/551.24	c GLOBAL bounds - >= 428939 @ 515.879
550.16/551.91	c GLOBAL bounds - >= 428939 @ 516.483
550.37/552.14	c GLOBAL bounds - >= 428939 @ 516.651
552.55/554.34	c GLOBAL bounds - >= 428939 @ 518.778
553.75/555.51	c GLOBAL bounds - >= 428939 @ 519.871
554.15/555.96	c GLOBAL bounds - >= 428939 @ 520.267
564.32/566.12	c #Conflicts:      11000 | #Constraints:    3016400
564.32/566.12	c GLOBAL bounds - >= 430381 @ 530.28
564.41/566.21	c GLOBAL bounds - >= 430381 @ 530.364
564.41/566.26	c GLOBAL bounds - >= 430381 @ 530.397
564.51/566.30	c GLOBAL bounds - >= 430381 @ 530.429
564.51/566.34	c GLOBAL bounds - >= 430381 @ 530.467
564.51/566.38	c GLOBAL bounds - >= 430381 @ 530.497
564.61/566.43	c GLOBAL bounds - >= 430381 @ 530.533
564.61/566.47	c GLOBAL bounds - >= 430381 @ 530.562
565.91/567.74	c GLOBAL bounds - >= 430381 @ 531.749
565.91/567.79	c GLOBAL bounds - >= 430381 @ 531.784
566.22/568.06	c GLOBAL bounds - >= 430381 @ 531.997
566.22/568.10	c GLOBAL bounds - >= 430381 @ 532.029
566.40/568.23	c GLOBAL bounds - >= 430381 @ 532.098
566.40/568.28	c GLOBAL bounds - >= 430381 @ 532.123
566.60/568.43	c GLOBAL bounds - >= 430381 @ 532.221
566.60/568.48	c GLOBAL bounds - >= 430381 @ 532.256
566.80/568.64	c GLOBAL bounds - >= 430381 @ 532.357
566.80/568.68	c GLOBAL bounds - >= 430381 @ 532.391
567.01/568.84	c GLOBAL bounds - >= 430381 @ 532.487
567.01/568.88	c GLOBAL bounds - >= 430381 @ 532.517
567.21/569.01	c GLOBAL bounds - >= 430381 @ 532.582
567.21/569.06	c GLOBAL bounds - >= 430381 @ 532.621
567.40/569.22	c GLOBAL bounds - >= 430381 @ 532.72
567.40/569.26	c GLOBAL bounds - >= 430381 @ 532.757
567.60/569.41	c GLOBAL bounds - >= 430381 @ 532.858
567.60/569.46	c GLOBAL bounds - >= 430381 @ 532.891
567.80/569.60	c GLOBAL bounds - >= 430381 @ 532.977
567.90/569.78	c GLOBAL bounds - >= 430381 @ 533.09
568.10/569.95	c GLOBAL bounds - >= 430381 @ 533.211
568.31/570.13	c GLOBAL bounds - >= 430381 @ 533.331
568.60/570.46	c GLOBAL bounds - >= 430381 @ 533.601
569.80/571.66	c GLOBAL bounds - >= 430381 @ 534.733
575.19/577.06	c GLOBAL bounds - >= 430381 @ 540.001
575.68/577.53	c GLOBAL bounds - >= 430381 @ 540.412
575.88/577.77	c GLOBAL bounds - >= 430381 @ 540.589
578.66/580.55	c GLOBAL bounds - >= 430381 @ 543.258
584.05/585.96	c GLOBAL bounds - >= 430381 @ 548.537
586.84/588.76	c GLOBAL bounds - >= 430381 @ 551.234
591.83/593.72	c GLOBAL bounds - >= 430381 @ 556.05
596.71/598.69	c GLOBAL bounds - >= 430381 @ 560.896
680.54/682.79	c #Conflicts:      12000 | #Constraints:    3138629
680.54/682.79	c INPROCESSING
680.54/682.79	c GARBAGE COLLECT
680.54/682.79	c #Conflicts:      13000 | #Constraints:    3137057
680.54/682.79	c GLOBAL bounds - >= 437941 @ 643.763
680.85/683.01	c GLOBAL bounds - >= 437941 @ 643.98
680.85/683.06	c GLOBAL bounds - >= 437941 @ 644.014
680.85/683.10	c GLOBAL bounds - >= 437941 @ 644.051
680.95/683.14	c GLOBAL bounds - >= 437941 @ 644.086
680.95/683.19	c GLOBAL bounds - >= 437941 @ 644.117
681.03/683.23	c GLOBAL bounds - >= 437941 @ 644.153
681.03/683.27	c GLOBAL bounds - >= 437941 @ 644.188
681.13/683.32	c GLOBAL bounds - >= 437941 @ 644.222
681.13/683.36	c GLOBAL bounds - >= 437941 @ 644.26
681.23/683.40	c GLOBAL bounds - >= 437941 @ 644.293
681.23/683.44	c GLOBAL bounds - >= 437941 @ 644.327
681.53/683.72	c GLOBAL bounds - >= 437941 @ 644.537
681.53/683.76	c GLOBAL bounds - >= 437941 @ 644.572
684.94/687.14	c GLOBAL bounds - >= 437941 @ 647.847
684.94/687.18	c GLOBAL bounds - >= 437941 @ 647.884
685.12/687.33	c GLOBAL bounds - >= 437941 @ 647.974
685.12/687.38	c GLOBAL bounds - >= 437941 @ 648.004
685.32/687.55	c GLOBAL bounds - >= 437941 @ 648.114
685.32/687.59	c GLOBAL bounds - >= 437941 @ 648.148
685.52/687.74	c GLOBAL bounds - >= 437941 @ 648.243
685.52/687.78	c GLOBAL bounds - >= 437941 @ 648.28
685.71/687.93	c GLOBAL bounds - >= 437941 @ 648.368
685.71/687.97	c GLOBAL bounds - >= 437941 @ 648.404
685.93/688.12	c GLOBAL bounds - >= 437941 @ 648.485
685.93/688.16	c GLOBAL bounds - >= 437941 @ 648.52
686.01/688.28	c GLOBAL bounds - >= 437941 @ 648.582
686.12/688.32	c GLOBAL bounds - >= 437941 @ 648.616
686.22/688.47	c GLOBAL bounds - >= 437941 @ 648.707
686.32/688.51	c GLOBAL bounds - >= 437941 @ 648.739
686.42/688.66	c GLOBAL bounds - >= 437941 @ 648.834
686.62/688.83	c GLOBAL bounds - >= 437941 @ 648.948
686.83/689.03	c GLOBAL bounds - >= 437941 @ 649.099
687.12/689.36	c GLOBAL bounds - >= 437941 @ 649.37
687.31/689.55	c GLOBAL bounds - >= 437941 @ 649.502
687.61/689.86	c GLOBAL bounds - >= 437941 @ 649.757
688.01/690.22	c GLOBAL bounds - >= 437941 @ 650.05
688.32/690.50	c GLOBAL bounds - >= 437941 @ 650.268
688.71/690.93	c GLOBAL bounds - >= 437941 @ 650.629
692.30/694.57	c GLOBAL bounds - >= 437941 @ 654.154
728.28/730.68	c #Conflicts:      14000 | #Constraints:    3225231
728.28/730.68	c GLOBAL bounds - >= 439663 @ 689.785
728.38/730.77	c GLOBAL bounds - >= 439663 @ 689.864
728.48/730.81	c GLOBAL bounds - >= 439663 @ 689.896
728.48/730.85	c GLOBAL bounds - >= 439663 @ 689.927
728.58/730.90	c GLOBAL bounds - >= 439663 @ 689.959
728.58/730.94	c GLOBAL bounds - >= 439663 @ 689.993
728.88/731.20	c GLOBAL bounds - >= 439663 @ 690.181
728.88/731.25	c GLOBAL bounds - >= 439663 @ 690.216
730.38/732.72	c GLOBAL bounds - >= 439663 @ 691.612
730.38/732.76	c GLOBAL bounds - >= 439663 @ 691.644
730.57/732.93	c GLOBAL bounds - >= 439663 @ 691.741
730.57/732.97	c GLOBAL bounds - >= 439663 @ 691.776
730.79/733.14	c GLOBAL bounds - >= 439663 @ 691.869
730.79/733.18	c GLOBAL bounds - >= 439663 @ 691.905
730.97/733.32	c GLOBAL bounds - >= 439663 @ 691.974
730.97/733.36	c GLOBAL bounds - >= 439663 @ 692.008
731.17/733.52	c GLOBAL bounds - >= 439663 @ 692.114
731.17/733.56	c GLOBAL bounds - >= 439663 @ 692.15
731.37/733.71	c GLOBAL bounds - >= 439663 @ 692.233
731.37/733.76	c GLOBAL bounds - >= 439663 @ 692.264
731.57/733.90	c GLOBAL bounds - >= 439663 @ 692.361
731.57/733.95	c GLOBAL bounds - >= 439663 @ 692.397
731.69/734.09	c GLOBAL bounds - >= 439663 @ 692.488
731.79/734.14	c GLOBAL bounds - >= 439663 @ 692.526
731.87/734.28	c GLOBAL bounds - >= 439663 @ 692.617
732.07/734.45	c GLOBAL bounds - >= 439663 @ 692.725
732.46/734.90	c GLOBAL bounds - >= 439663 @ 693.11
732.78/735.15	c GLOBAL bounds - >= 439663 @ 693.31
733.68/736.07	c GLOBAL bounds - >= 439663 @ 694.156
735.96/738.35	c GLOBAL bounds - >= 439663 @ 696.335
738.55/740.93	c GLOBAL bounds - >= 439663 @ 698.821
741.04/743.45	c GLOBAL bounds - >= 439663 @ 701.252
745.23/747.63	c GLOBAL bounds - >= 439663 @ 705.338
829.05/831.78	c #Conflicts:      15000 | #Constraints:    3312197
829.05/831.78	c INPROCESSING
829.05/831.78	c GARBAGE COLLECT
829.05/831.78	c GLOBAL bounds - >= 443471 @ 788.264
829.26/831.95	c GLOBAL bounds - >= 443471 @ 788.426
829.26/831.99	c GLOBAL bounds - >= 443471 @ 788.461
829.36/832.03	c GLOBAL bounds - >= 443471 @ 788.494
829.36/832.08	c GLOBAL bounds - >= 443471 @ 788.53
829.47/832.12	c GLOBAL bounds - >= 443471 @ 788.562
829.47/832.16	c GLOBAL bounds - >= 443471 @ 788.595
829.55/832.21	c GLOBAL bounds - >= 443471 @ 788.626
829.55/832.25	c GLOBAL bounds - >= 443471 @ 788.66
829.55/832.29	c GLOBAL bounds - >= 443471 @ 788.693
829.75/832.47	c GLOBAL bounds - >= 443471 @ 788.802
829.85/832.51	c GLOBAL bounds - >= 443471 @ 788.839
834.84/837.58	c #Conflicts:      16000 | #Constraints:    3316831
834.84/837.58	c GLOBAL bounds - >= 443471 @ 793.771
834.94/837.63	c GLOBAL bounds - >= 443471 @ 793.806
835.03/837.79	c GLOBAL bounds - >= 443471 @ 793.898
835.13/837.83	c GLOBAL bounds - >= 443471 @ 793.935
835.23/837.99	c GLOBAL bounds - >= 443471 @ 794.035
835.34/838.04	c GLOBAL bounds - >= 443471 @ 794.07
835.45/838.17	c GLOBAL bounds - >= 443471 @ 794.132
835.53/838.21	c GLOBAL bounds - >= 443471 @ 794.164
835.63/838.38	c GLOBAL bounds - >= 443471 @ 794.277
835.73/838.42	c GLOBAL bounds - >= 443471 @ 794.316
835.83/838.58	c GLOBAL bounds - >= 443471 @ 794.413
835.93/838.62	c GLOBAL bounds - >= 443471 @ 794.452
836.03/838.78	c GLOBAL bounds - >= 443471 @ 794.559
836.13/838.82	c GLOBAL bounds - >= 443471 @ 794.589
836.23/838.95	c GLOBAL bounds - >= 443471 @ 794.656
836.23/839.00	c GLOBAL bounds - >= 443471 @ 794.691
836.45/839.15	c GLOBAL bounds - >= 443471 @ 794.79
836.63/839.33	c GLOBAL bounds - >= 443471 @ 794.903
837.93/840.67	c GLOBAL bounds - >= 443471 @ 796.161
838.22/840.91	c GLOBAL bounds - >= 443471 @ 796.345
841.01/843.72	c GLOBAL bounds - >= 443471 @ 799.051
970.69/973.85	c #Conflicts:      17000 | #Constraints:    3383801
970.69/973.85	c #Conflicts:      18000 | #Constraints:    3384801
970.69/973.85	c GLOBAL bounds - >= 443471 @ 927.213
971.10/974.22	c GLOBAL bounds - >= 443471 @ 927.521
983.87/987.11	c GLOBAL bounds - >= 450662 @ 940.234
984.26/987.41	c GLOBAL bounds - >= 450662 @ 940.514
984.26/987.45	c GLOBAL bounds - >= 450662 @ 940.55
984.35/987.50	c GLOBAL bounds - >= 450662 @ 940.583
984.35/987.54	c GLOBAL bounds - >= 450662 @ 940.619
984.35/987.58	c GLOBAL bounds - >= 450662 @ 940.654
984.45/987.63	c GLOBAL bounds - >= 450662 @ 940.69
984.45/987.67	c GLOBAL bounds - >= 450662 @ 940.723
984.55/987.72	c GLOBAL bounds - >= 450662 @ 940.757
991.33/994.55	c #Conflicts:      19000 | #Constraints:    3398408
991.33/994.55	c GLOBAL bounds - >= 450662 @ 947.436
991.33/994.59	c GLOBAL bounds - >= 450662 @ 947.467
991.53/994.75	c GLOBAL bounds - >= 450662 @ 947.561
991.53/994.79	c GLOBAL bounds - >= 450662 @ 947.595
991.73/994.94	c GLOBAL bounds - >= 450662 @ 947.686
991.73/994.98	c GLOBAL bounds - >= 450662 @ 947.717
991.94/995.13	c GLOBAL bounds - >= 450662 @ 947.805
991.94/995.17	c GLOBAL bounds - >= 450662 @ 947.836
992.13/995.31	c GLOBAL bounds - >= 450662 @ 947.919
992.13/995.35	c GLOBAL bounds - >= 450662 @ 947.948
992.33/995.50	c GLOBAL bounds - >= 450662 @ 948.025
992.33/995.54	c GLOBAL bounds - >= 450662 @ 948.06
992.42/995.69	c GLOBAL bounds - >= 450662 @ 948.144
992.53/995.73	c GLOBAL bounds - >= 450662 @ 948.183
992.63/995.85	c GLOBAL bounds - >= 450662 @ 948.235
992.63/995.89	c GLOBAL bounds - >= 450662 @ 948.27
992.83/996.03	c GLOBAL bounds - >= 450662 @ 948.351
992.83/996.08	c GLOBAL bounds - >= 450662 @ 948.389
993.03/996.22	c GLOBAL bounds - >= 450662 @ 948.479
993.13/996.39	c GLOBAL bounds - >= 450662 @ 948.591
993.42/996.64	c GLOBAL bounds - >= 450662 @ 948.784
993.72/997.01	c GLOBAL bounds - >= 450662 @ 949.095
994.22/997.44	c GLOBAL bounds - >= 450662 @ 949.472
994.93/998.12	c GLOBAL bounds - >= 450662 @ 950.086
995.12/998.34	c GLOBAL bounds - >= 450662 @ 950.256
1001.39/1004.63	c GLOBAL bounds - >= 450662 @ 956.362
1001.59/1004.82	c GLOBAL bounds - >= 450662 @ 956.494
1002.00/1005.27	c GLOBAL bounds - >= 450662 @ 956.888
1002.39/1005.62	c GLOBAL bounds - >= 450662 @ 957.175
1004.80/1008.03	c GLOBAL bounds - >= 450662 @ 959.487
1022.93/1026.20	c GLOBAL bounds - >= 450662 @ 977.193
1023.23/1026.57	c GLOBAL bounds - >= 450662 @ 977.504
1039.48/1042.87	c #Conflicts:      20000 | #Constraints:    3451923
1039.48/1042.87	c GLOBAL bounds - >= 450662 @ 993.377
1039.69/1043.07	c GLOBAL bounds - >= 450662 @ 993.515
1039.87/1043.28	c GLOBAL bounds - >= 450662 @ 993.651
1041.68/1045.03	c GLOBAL bounds - >= 450662 @ 995.319
1044.36/1047.76	c GLOBAL bounds - >= 450662 @ 997.944
1044.68/1048.03	c GLOBAL bounds - >= 450662 @ 998.137
1051.94/1055.30	c GLOBAL bounds - >= 450662 @ 1005.2
1052.76/1056.11	c GLOBAL bounds - >= 450662 @ 1005.94
1053.04/1056.48	c GLOBAL bounds - >= 450662 @ 1006.25
1054.84/1058.21	c GLOBAL bounds - >= 450662 @ 1007.88
1055.53/1058.90	c GLOBAL bounds - >= 450662 @ 1008.51
1070.00/1073.48	c GLOBAL bounds - >= 450662 @ 1022.75
1078.97/1082.42	c GLOBAL bounds - >= 450662 @ 1031.47
1154.66/1158.33	c #Conflicts:      21000 | #Constraints:    3517260
1154.66/1158.33	c #Conflicts:      22000 | #Constraints:    3518260
1154.66/1158.33	c GLOBAL bounds - >= 450662 @ 1106.02
1184.08/1187.83	c GLOBAL bounds - >= 456974 @ 1135.1
1184.29/1188.04	c GLOBAL bounds - >= 456974 @ 1135.29
1184.29/1188.08	c GLOBAL bounds - >= 456974 @ 1135.32
1184.39/1188.13	c GLOBAL bounds - >= 456974 @ 1135.35
1184.39/1188.17	c GLOBAL bounds - >= 456974 @ 1135.39
1184.48/1188.21	c GLOBAL bounds - >= 456974 @ 1135.42
1184.48/1188.25	c GLOBAL bounds - >= 456974 @ 1135.46
1184.57/1188.30	c GLOBAL bounds - >= 456974 @ 1135.49
1184.57/1188.34	c GLOBAL bounds - >= 456974 @ 1135.52
1184.57/1188.38	c GLOBAL bounds - >= 456974 @ 1135.56
1184.68/1188.43	c GLOBAL bounds - >= 456974 @ 1135.59
1184.68/1188.47	c GLOBAL bounds - >= 456974 @ 1135.63
1184.78/1188.51	c GLOBAL bounds - >= 456974 @ 1135.66
1184.78/1188.56	c GLOBAL bounds - >= 456974 @ 1135.69
1184.88/1188.60	c GLOBAL bounds - >= 456974 @ 1135.73
1184.88/1188.64	c GLOBAL bounds - >= 456974 @ 1135.76
1188.38/1192.16	c GLOBAL bounds - >= 456974 @ 1139.17
1188.46/1192.21	c GLOBAL bounds - >= 456974 @ 1139.2
1188.57/1192.38	c GLOBAL bounds - >= 456974 @ 1139.31
1188.66/1192.42	c GLOBAL bounds - >= 456974 @ 1139.34
1188.77/1192.58	c GLOBAL bounds - >= 456974 @ 1139.44
1188.87/1192.62	c GLOBAL bounds - >= 456974 @ 1139.48
1188.96/1192.77	c GLOBAL bounds - >= 456974 @ 1139.57
1189.07/1192.81	c GLOBAL bounds - >= 456974 @ 1139.6
1189.16/1192.96	c GLOBAL bounds - >= 456974 @ 1139.69
1189.16/1193.00	c GLOBAL bounds - >= 456974 @ 1139.72
1189.37/1193.15	c GLOBAL bounds - >= 456974 @ 1139.81
1189.37/1193.19	c GLOBAL bounds - >= 456974 @ 1139.84
1189.57/1193.34	c GLOBAL bounds - >= 456974 @ 1139.92
1189.57/1193.38	c GLOBAL bounds - >= 456974 @ 1139.96
1189.76/1193.53	c GLOBAL bounds - >= 456974 @ 1140.05
1189.76/1193.57	c GLOBAL bounds - >= 456974 @ 1140.09
1189.96/1193.72	c GLOBAL bounds - >= 456974 @ 1140.18
1189.96/1193.76	c GLOBAL bounds - >= 456974 @ 1140.21
1190.16/1193.91	c GLOBAL bounds - >= 456974 @ 1140.3
1190.27/1194.08	c GLOBAL bounds - >= 456974 @ 1140.42
1190.56/1194.36	c GLOBAL bounds - >= 456974 @ 1140.63
1190.85/1194.60	c GLOBAL bounds - >= 456974 @ 1140.8
1191.06/1194.80	c GLOBAL bounds - >= 456974 @ 1140.95
1191.16/1194.97	c GLOBAL bounds - >= 456974 @ 1141.07
1191.46/1195.23	c GLOBAL bounds - >= 456974 @ 1141.25
1191.66/1195.48	c GLOBAL bounds - >= 456974 @ 1141.43
1192.05/1195.82	c GLOBAL bounds - >= 456974 @ 1141.7
1192.36/1196.12	c GLOBAL bounds - >= 456974 @ 1141.95
1192.55/1196.35	c GLOBAL bounds - >= 456974 @ 1142.12
1192.75/1196.55	c GLOBAL bounds - >= 456974 @ 1142.26
1193.05/1196.83	c GLOBAL bounds - >= 456974 @ 1142.47
1193.16/1197.00	c GLOBAL bounds - >= 456974 @ 1142.59
1193.36/1197.18	c GLOBAL bounds - >= 456974 @ 1142.71
1193.65/1197.43	c GLOBAL bounds - >= 456974 @ 1142.9
1193.85/1197.60	c GLOBAL bounds - >= 456974 @ 1143.01
1194.74/1198.51	c GLOBAL bounds - >= 456974 @ 1143.85
1199.03/1202.89	c GLOBAL bounds - >= 456974 @ 1148.08
1204.62/1208.44	c GLOBAL bounds - >= 456974 @ 1153.48
1204.82/1208.67	c GLOBAL bounds - >= 456974 @ 1153.66
1262.52/1266.52	c #Conflicts:      23000 | #Constraints:    3584542
1262.52/1266.52	c GLOBAL bounds - >= 456974 @ 1210.43
1294.12/1298.23	c #Conflicts:      24000 | #Constraints:    3591505
1294.12/1298.23	c GLOBAL bounds - >= 456974 @ 1241.64
1296.31/1300.40	c GLOBAL bounds - >= 456974 @ 1243.72
1302.20/1306.38	c GLOBAL bounds - >= 457386 @ 1249.61
1302.40/1306.53	c GLOBAL bounds - >= 457386 @ 1249.75
1302.40/1306.57	c GLOBAL bounds - >= 457386 @ 1249.78
1302.49/1306.61	c GLOBAL bounds - >= 457386 @ 1249.81
1302.69/1306.83	c GLOBAL bounds - >= 457386 @ 1249.98
1302.69/1306.87	c GLOBAL bounds - >= 457386 @ 1250
1319.14/1323.32	c INPROCESSING
1319.14/1323.32	c GARBAGE COLLECT
1319.14/1323.32	c GLOBAL bounds - >= 457386 @ 1266.2
1319.14/1323.36	c GLOBAL bounds - >= 457386 @ 1266.24
1319.34/1323.50	c GLOBAL bounds - >= 457386 @ 1266.33
1319.34/1323.54	c GLOBAL bounds - >= 457386 @ 1266.36
1319.44/1323.68	c GLOBAL bounds - >= 457386 @ 1266.45
1319.53/1323.72	c GLOBAL bounds - >= 457386 @ 1266.48
1319.64/1323.86	c GLOBAL bounds - >= 457386 @ 1266.56
1319.74/1323.91	c GLOBAL bounds - >= 457386 @ 1266.6
1319.85/1324.04	c GLOBAL bounds - >= 457386 @ 1266.68
1319.85/1324.09	c GLOBAL bounds - >= 457386 @ 1266.71
1320.03/1324.23	c GLOBAL bounds - >= 457386 @ 1266.8
1320.03/1324.27	c GLOBAL bounds - >= 457386 @ 1266.83
1320.13/1324.38	c GLOBAL bounds - >= 457386 @ 1266.88
1320.24/1324.43	c GLOBAL bounds - >= 457386 @ 1266.91
1320.34/1324.54	c GLOBAL bounds - >= 457386 @ 1266.96
1320.34/1324.58	c GLOBAL bounds - >= 457386 @ 1266.99
1320.53/1324.72	c GLOBAL bounds - >= 457386 @ 1267.07
1320.64/1324.86	c GLOBAL bounds - >= 457386 @ 1267.15
1321.03/1325.27	c GLOBAL bounds - >= 457386 @ 1267.5
1321.44/1325.61	c GLOBAL bounds - >= 457386 @ 1267.78
1321.95/1326.11	c GLOBAL bounds - >= 457386 @ 1268.22
1322.53/1326.72	c GLOBAL bounds - >= 457386 @ 1268.76
1323.02/1327.23	c GLOBAL bounds - >= 457386 @ 1269.21
1323.33/1327.54	c GLOBAL bounds - >= 457386 @ 1269.46
1323.52/1327.71	c GLOBAL bounds - >= 457386 @ 1269.57
1332.59/1336.84	c GLOBAL bounds - >= 457386 @ 1278.53
1338.48/1342.74	c GLOBAL bounds - >= 457386 @ 1284.28
1348.25/1352.58	c #Conflicts:      25000 | #Constraints:    3654734
1348.25/1352.58	c GLOBAL bounds - >= 457386 @ 1293.92
1348.76/1353.05	c GLOBAL bounds - >= 457386 @ 1294.32
1404.36/1408.90	c #Conflicts:      26000 | #Constraints:    3667348
1404.36/1408.90	c GLOBAL bounds - >= 457386 @ 1349.25
1444.33/1448.98	c GLOBAL bounds - >= 457386 @ 1388.74
1450.01/1454.63	c GLOBAL bounds - >= 462085 @ 1394.32
1450.21/1454.85	c GLOBAL bounds - >= 462085 @ 1394.53
1450.31/1454.90	c GLOBAL bounds - >= 462085 @ 1394.57
1450.31/1454.94	c GLOBAL bounds - >= 462085 @ 1394.6
1450.31/1454.98	c GLOBAL bounds - >= 462085 @ 1394.64
1450.42/1455.02	c GLOBAL bounds - >= 462085 @ 1394.67
1450.42/1455.07	c GLOBAL bounds - >= 462085 @ 1394.7
1450.52/1455.11	c GLOBAL bounds - >= 462085 @ 1394.73
1450.52/1455.15	c GLOBAL bounds - >= 462085 @ 1394.77
1450.60/1455.20	c GLOBAL bounds - >= 462085 @ 1394.8
1457.68/1462.32	c #Conflicts:      27000 | #Constraints:    3680282
1457.68/1462.32	c GLOBAL bounds - >= 462085 @ 1401.79
1457.68/1462.37	c GLOBAL bounds - >= 462085 @ 1401.83
1457.89/1462.54	c GLOBAL bounds - >= 462085 @ 1401.94
1457.89/1462.58	c GLOBAL bounds - >= 462085 @ 1401.97
1458.09/1462.75	c GLOBAL bounds - >= 462085 @ 1402.08
1458.09/1462.80	c GLOBAL bounds - >= 462085 @ 1402.12
1458.29/1462.96	c GLOBAL bounds - >= 462085 @ 1402.22
1458.29/1463.01	c GLOBAL bounds - >= 462085 @ 1402.26
1458.49/1463.17	c GLOBAL bounds - >= 462085 @ 1402.37
1458.58/1463.22	c GLOBAL bounds - >= 462085 @ 1402.41
1458.68/1463.36	c GLOBAL bounds - >= 462085 @ 1402.49
1458.78/1463.40	c GLOBAL bounds - >= 462085 @ 1402.52
1458.88/1463.56	c GLOBAL bounds - >= 462085 @ 1402.62
1458.98/1463.61	c GLOBAL bounds - >= 462085 @ 1402.65
1459.08/1463.76	c GLOBAL bounds - >= 462085 @ 1402.74
1459.18/1463.81	c GLOBAL bounds - >= 462085 @ 1402.77
1459.28/1463.96	c GLOBAL bounds - >= 462085 @ 1402.87
1459.28/1464.00	c GLOBAL bounds - >= 462085 @ 1402.9
1459.49/1464.15	c GLOBAL bounds - >= 462085 @ 1402.99
1459.98/1464.60	c GLOBAL bounds - >= 462085 @ 1403.38
1460.28/1464.96	c GLOBAL bounds - >= 462085 @ 1403.68
1460.57/1465.23	c GLOBAL bounds - >= 462085 @ 1403.89
1460.87/1465.57	c GLOBAL bounds - >= 462085 @ 1404.17
1461.08/1465.76	c GLOBAL bounds - >= 462085 @ 1404.31
1461.77/1466.46	c GLOBAL bounds - >= 462085 @ 1404.93
1461.97/1466.65	c GLOBAL bounds - >= 462085 @ 1405.07
1463.96/1468.68	c GLOBAL bounds - >= 462085 @ 1407.01
1467.15/1471.81	c GLOBAL bounds - >= 462085 @ 1410.05
1474.13/1478.89	c GLOBAL bounds - >= 462085 @ 1416.99
1478.71/1483.42	c GLOBAL bounds - >= 462085 @ 1421.4
1508.81/1513.61	c GLOBAL bounds - >= 465347 @ 1451.16
1508.91/1513.75	c GLOBAL bounds - >= 465347 @ 1451.29
1508.91/1513.79	c GLOBAL bounds - >= 465347 @ 1451.33
1509.02/1513.84	c GLOBAL bounds - >= 465347 @ 1451.36
1509.02/1513.88	c GLOBAL bounds - >= 465347 @ 1451.39
1509.11/1513.92	c GLOBAL bounds - >= 465347 @ 1451.43
1509.11/1513.97	c GLOBAL bounds - >= 465347 @ 1451.47
1509.22/1514.01	c GLOBAL bounds - >= 465347 @ 1451.5
1509.22/1514.06	c GLOBAL bounds - >= 465347 @ 1451.54
1509.22/1514.10	c GLOBAL bounds - >= 465347 @ 1451.57
1509.32/1514.15	c GLOBAL bounds - >= 465347 @ 1451.61
1513.50/1518.35	c GLOBAL bounds - >= 465347 @ 1455.69
1513.60/1518.40	c GLOBAL bounds - >= 465347 @ 1455.72
1513.70/1518.57	c GLOBAL bounds - >= 465347 @ 1455.84
1513.80/1518.61	c GLOBAL bounds - >= 465347 @ 1455.87
1513.90/1518.78	c GLOBAL bounds - >= 465347 @ 1455.97
1514.00/1518.83	c GLOBAL bounds - >= 465347 @ 1456.01
1514.10/1518.99	c GLOBAL bounds - >= 465347 @ 1456.11
1514.20/1519.04	c GLOBAL bounds - >= 465347 @ 1456.15
1514.31/1519.20	c GLOBAL bounds - >= 465347 @ 1456.24
1514.39/1519.24	c GLOBAL bounds - >= 465347 @ 1456.27
1514.49/1519.39	c GLOBAL bounds - >= 465347 @ 1456.36
1514.59/1519.44	c GLOBAL bounds - >= 465347 @ 1456.4
1514.70/1519.59	c GLOBAL bounds - >= 465347 @ 1456.49
1514.80/1519.63	c GLOBAL bounds - >= 465347 @ 1456.52
1514.89/1519.78	c GLOBAL bounds - >= 465347 @ 1456.61
1514.99/1519.83	c GLOBAL bounds - >= 465347 @ 1456.65
1515.09/1519.98	c GLOBAL bounds - >= 465347 @ 1456.74
1515.20/1520.02	c GLOBAL bounds - >= 465347 @ 1456.77
1515.31/1520.17	c GLOBAL bounds - >= 465347 @ 1456.86
1515.49/1520.38	c GLOBAL bounds - >= 465347 @ 1457.01
1516.21/1521.09	c GLOBAL bounds - >= 465347 @ 1457.66
1516.39/1521.27	c GLOBAL bounds - >= 465347 @ 1457.77
1516.69/1521.53	c GLOBAL bounds - >= 465347 @ 1457.98
1517.20/1522.09	c GLOBAL bounds - >= 465347 @ 1458.49
1517.59/1522.45	c #Conflicts:      28000 | #Constraints:    3809470
1517.59/1522.45	c GLOBAL bounds - >= 465347 @ 1458.8
1518.30/1523.13	c GLOBAL bounds - >= 465347 @ 1459.41
1518.58/1523.40	c GLOBAL bounds - >= 465347 @ 1459.63
1518.78/1523.62	c GLOBAL bounds - >= 465347 @ 1459.79
1520.68/1525.50	c GLOBAL bounds - >= 465347 @ 1461.59
1521.97/1526.80	c GLOBAL bounds - >= 465347 @ 1462.83
1524.56/1529.48	c GLOBAL bounds - >= 465347 @ 1465.42
1524.86/1529.74	c GLOBAL bounds - >= 465347 @ 1465.62
1537.72/1542.61	c GLOBAL bounds - >= 465347 @ 1478.27
1560.94/1565.92	c GLOBAL bounds - >= 465347 @ 1501.24
1566.04/1571.05	c GLOBAL bounds - >= 465557 @ 1506.29
1566.14/1571.16	c GLOBAL bounds - >= 465557 @ 1506.4
1566.22/1571.21	c GLOBAL bounds - >= 465557 @ 1506.43
1566.22/1571.25	c GLOBAL bounds - >= 465557 @ 1506.47
1566.33/1571.30	c GLOBAL bounds - >= 465557 @ 1506.5
1566.33/1571.34	c GLOBAL bounds - >= 465557 @ 1506.54
1566.33/1571.39	c GLOBAL bounds - >= 465557 @ 1506.58
1566.43/1571.43	c GLOBAL bounds - >= 465557 @ 1506.61
1566.43/1571.48	c GLOBAL bounds - >= 465557 @ 1506.65
1566.52/1571.52	c GLOBAL bounds - >= 465557 @ 1506.68
1566.52/1571.56	c GLOBAL bounds - >= 465557 @ 1506.72
1566.63/1571.61	c GLOBAL bounds - >= 465557 @ 1506.75
1566.63/1571.65	c GLOBAL bounds - >= 465557 @ 1506.79
1567.52/1572.50	c GLOBAL bounds - >= 465557 @ 1507.57
1567.52/1572.55	c GLOBAL bounds - >= 465557 @ 1507.6
1567.72/1572.72	c GLOBAL bounds - >= 465557 @ 1507.73
1567.72/1572.77	c GLOBAL bounds - >= 465557 @ 1507.77
1567.92/1572.94	c GLOBAL bounds - >= 465557 @ 1507.89
1567.92/1572.99	c GLOBAL bounds - >= 465557 @ 1507.93
1568.14/1573.16	c GLOBAL bounds - >= 465557 @ 1508.04
1568.22/1573.21	c GLOBAL bounds - >= 465557 @ 1508.08
1568.32/1573.35	c GLOBAL bounds - >= 465557 @ 1508.16
1568.42/1573.40	c GLOBAL bounds - >= 465557 @ 1508.2
1568.52/1573.57	c GLOBAL bounds - >= 465557 @ 1508.31
1568.62/1573.61	c GLOBAL bounds - >= 465557 @ 1508.34
1568.72/1573.77	c GLOBAL bounds - >= 465557 @ 1508.44
1568.82/1573.82	c GLOBAL bounds - >= 465557 @ 1508.48
1568.92/1573.97	c GLOBAL bounds - >= 465557 @ 1508.57
1569.03/1574.02	c GLOBAL bounds - >= 465557 @ 1508.6
1569.13/1574.17	c GLOBAL bounds - >= 465557 @ 1508.7
1569.22/1574.22	c GLOBAL bounds - >= 465557 @ 1508.74
1569.32/1574.37	c GLOBAL bounds - >= 465557 @ 1508.83
1569.52/1574.56	c GLOBAL bounds - >= 465557 @ 1508.96
1569.72/1574.76	c GLOBAL bounds - >= 465557 @ 1509.11
1570.03/1575.06	c GLOBAL bounds - >= 465557 @ 1509.35
1570.61/1575.68	c GLOBAL bounds - >= 465557 @ 1509.89
1571.12/1576.14	c GLOBAL bounds - >= 465557 @ 1510.31
1571.31/1576.35	c GLOBAL bounds - >= 465557 @ 1510.45
1571.91/1576.91	c GLOBAL bounds - >= 465557 @ 1510.94
1585.56/1590.60	c INPROCESSING
1585.56/1590.60	c GARBAGE COLLECT
1585.56/1590.60	c GLOBAL bounds - >= 465557 @ 1524.44
1602.30/1607.40	c #Conflicts:      29000 | #Constraints:    3926350
1602.30/1607.40	c GLOBAL bounds - >= 465557 @ 1540.93
1629.12/1634.32	c GLOBAL bounds - >= 469891 @ 1567.47
1629.22/1634.47	c GLOBAL bounds - >= 469891 @ 1567.62
1629.32/1634.52	c GLOBAL bounds - >= 469891 @ 1567.66
1629.32/1634.56	c GLOBAL bounds - >= 469891 @ 1567.7
1629.42/1634.61	c GLOBAL bounds - >= 469891 @ 1567.73
1629.42/1634.65	c GLOBAL bounds - >= 469891 @ 1567.77
1629.52/1634.70	c GLOBAL bounds - >= 469891 @ 1567.8
1629.52/1634.74	c GLOBAL bounds - >= 469891 @ 1567.84
1629.52/1634.79	c GLOBAL bounds - >= 469891 @ 1567.87
1630.31/1635.51	c GLOBAL bounds - >= 469891 @ 1568.52
1630.31/1635.55	c GLOBAL bounds - >= 469891 @ 1568.55
1630.52/1635.73	c GLOBAL bounds - >= 469891 @ 1568.67
1630.52/1635.77	c GLOBAL bounds - >= 469891 @ 1568.71
1630.72/1635.95	c GLOBAL bounds - >= 469891 @ 1568.82
1630.72/1636.00	c GLOBAL bounds - >= 469891 @ 1568.86
1630.93/1636.16	c GLOBAL bounds - >= 469891 @ 1568.96
1631.01/1636.21	c GLOBAL bounds - >= 469891 @ 1569
1631.11/1636.38	c GLOBAL bounds - >= 469891 @ 1569.1
1631.21/1636.42	c GLOBAL bounds - >= 469891 @ 1569.14
1631.32/1636.59	c GLOBAL bounds - >= 469891 @ 1569.25
1631.42/1636.63	c GLOBAL bounds - >= 469891 @ 1569.29
1631.51/1636.79	c GLOBAL bounds - >= 469891 @ 1569.39
1631.61/1636.84	c GLOBAL bounds - >= 469891 @ 1569.43
1631.71/1637.00	c GLOBAL bounds - >= 469891 @ 1569.53
1631.82/1637.05	c GLOBAL bounds - >= 469891 @ 1569.56
1632.01/1637.20	c GLOBAL bounds - >= 469891 @ 1569.66
1632.01/1637.25	c GLOBAL bounds - >= 469891 @ 1569.7
1632.21/1637.40	c GLOBAL bounds - >= 469891 @ 1569.8
1632.31/1637.58	c GLOBAL bounds - >= 469891 @ 1569.92
1632.51/1637.77	c GLOBAL bounds - >= 469891 @ 1570.05
1632.71/1637.97	c GLOBAL bounds - >= 469891 @ 1570.19
1632.92/1638.17	c GLOBAL bounds - >= 469891 @ 1570.33
1633.60/1638.82	c GLOBAL bounds - >= 469891 @ 1570.91
1634.70/1639.92	c GLOBAL bounds - >= 469891 @ 1571.94
1634.92/1640.20	c GLOBAL bounds - >= 469891 @ 1572.16
1640.08/1645.38	c GLOBAL bounds - >= 469891 @ 1577.22
1671.58/1676.99	c #Conflicts:      30000 | #Constraints:    4008711
1671.58/1676.99	c GLOBAL bounds - >= 469891 @ 1608.31
1683.04/1688.43	c GLOBAL bounds - >= 469891 @ 1619.55
1715.23/1720.73	c #Conflicts:      31000 | #Constraints:    4021325
1715.23/1720.73	c GLOBAL bounds - >= 471026 @ 1651.43
1715.33/1720.85	c GLOBAL bounds - >= 471026 @ 1651.55
1716.93/1722.49	c GLOBAL bounds - >= 471026 @ 1653.1
1716.93/1722.49	c GLOBAL bounds - >= 471026 @ 1653.11
1717.13/1722.65	c GLOBAL bounds - >= 471026 @ 1653.2
1717.13/1722.69	c GLOBAL bounds - >= 471026 @ 1653.23
1717.33/1722.84	c GLOBAL bounds - >= 471026 @ 1653.32
1717.33/1722.88	c GLOBAL bounds - >= 471026 @ 1653.36
1717.54/1723.03	c GLOBAL bounds - >= 471026 @ 1653.43
1717.54/1723.07	c GLOBAL bounds - >= 471026 @ 1653.47
1717.73/1723.22	c GLOBAL bounds - >= 471026 @ 1653.56
1717.73/1723.26	c GLOBAL bounds - >= 471026 @ 1653.59
1717.92/1723.40	c GLOBAL bounds - >= 471026 @ 1653.69
1717.92/1723.44	c GLOBAL bounds - >= 471026 @ 1653.71
1718.03/1723.59	c GLOBAL bounds - >= 471026 @ 1653.8
1718.13/1723.63	c GLOBAL bounds - >= 471026 @ 1653.84
1718.22/1723.75	c GLOBAL bounds - >= 471026 @ 1653.89
1718.22/1723.79	c GLOBAL bounds - >= 471026 @ 1653.92
1718.43/1723.93	c GLOBAL bounds - >= 471026 @ 1654.01
1718.43/1723.96	c GLOBAL bounds - >= 471026 @ 1654.03
1718.54/1724.07	c GLOBAL bounds - >= 471026 @ 1654.09
1718.72/1724.24	c GLOBAL bounds - >= 471026 @ 1654.19
1718.93/1724.41	c GLOBAL bounds - >= 471026 @ 1654.32
1719.22/1724.74	c GLOBAL bounds - >= 471026 @ 1654.58
1719.32/1724.87	c GLOBAL bounds - >= 471026 @ 1654.67
1719.63/1725.13	c GLOBAL bounds - >= 471026 @ 1654.88
1720.42/1725.94	c GLOBAL bounds - >= 471026 @ 1655.61
1720.53/1726.10	c GLOBAL bounds - >= 471026 @ 1655.72
1721.02/1726.51	c GLOBAL bounds - >= 471026 @ 1656.07
1721.22/1726.78	c GLOBAL bounds - >= 471026 @ 1656.29
1722.01/1727.55	c GLOBAL bounds - >= 471026 @ 1656.99
1722.31/1727.82	c GLOBAL bounds - >= 471026 @ 1657.22
1722.81/1728.33	c GLOBAL bounds - >= 471026 @ 1657.66
1722.91/1728.49	c GLOBAL bounds - >= 471026 @ 1657.77
1723.11/1728.64	c GLOBAL bounds - >= 471026 @ 1657.86
1723.21/1728.78	c GLOBAL bounds - >= 471026 @ 1657.94
1725.40/1730.94	c GLOBAL bounds - >= 471026 @ 1660
1729.39/1734.97	c GLOBAL bounds - >= 471026 @ 1663.9
1729.99/1735.53	c GLOBAL bounds - >= 471026 @ 1664.4
1730.50/1736.07	c GLOBAL bounds - >= 471026 @ 1664.88
1740.26/1745.81	c GLOBAL bounds - >= 471026 @ 1674.4
1754.31/1759.97	c GLOBAL bounds - >= 471026 @ 1688.29
1754.61/1760.21	c GLOBAL bounds - >= 471026 @ 1688.47
1806.53/1812.37	c #Conflicts:      32000 | #Constraints:    4086357
1806.53/1812.37	c GLOBAL bounds - >= 471026 @ 1739.81
1808.92/1814.72	c GLOBAL bounds - >= 471026 @ 1742.09
1813.81/1819.66	c GLOBAL bounds - >= 471026 @ 1746.91
1814.90/1820.75	c GLOBAL bounds - >= 471026 @ 1747.93
1824.77/1830.63	c #Conflicts:      33000 | #Constraints:    4110579
1824.77/1830.63	c GLOBAL bounds - >= 472038 @ 1757.69
1824.88/1830.80	c GLOBAL bounds - >= 472038 @ 1757.84
1824.97/1830.84	c GLOBAL bounds - >= 472038 @ 1757.87
1824.97/1830.89	c GLOBAL bounds - >= 472038 @ 1757.91
1825.07/1830.93	c GLOBAL bounds - >= 472038 @ 1757.94
1825.07/1830.97	c GLOBAL bounds - >= 472038 @ 1757.97
1825.19/1831.02	c GLOBAL bounds - >= 472038 @ 1758.01
1825.19/1831.06	c GLOBAL bounds - >= 472038 @ 1758.05
1825.19/1831.11	c GLOBAL bounds - >= 472038 @ 1758.08
1825.29/1831.13	c GLOBAL bounds - >= 472038 @ 1758.1
1832.65/1838.52	c GLOBAL bounds - >= 472038 @ 1765.33
1832.65/1838.57	c GLOBAL bounds - >= 472038 @ 1765.37
1833.64/1839.55	c GLOBAL bounds - >= 472038 @ 1766.28
1833.74/1839.60	c GLOBAL bounds - >= 472038 @ 1766.32
1833.84/1839.77	c GLOBAL bounds - >= 472038 @ 1766.43
1833.94/1839.81	c GLOBAL bounds - >= 472038 @ 1766.46
1834.04/1839.97	c GLOBAL bounds - >= 472038 @ 1766.56
1834.15/1840.01	c GLOBAL bounds - >= 472038 @ 1766.6
1834.25/1840.17	c GLOBAL bounds - >= 472038 @ 1766.7
1834.34/1840.21	c GLOBAL bounds - >= 472038 @ 1766.74
1834.44/1840.37	c GLOBAL bounds - >= 472038 @ 1766.84
1834.54/1840.41	c GLOBAL bounds - >= 472038 @ 1766.87
1834.64/1840.57	c GLOBAL bounds - >= 472038 @ 1766.97
1834.74/1840.61	c GLOBAL bounds - >= 472038 @ 1767.01
1834.84/1840.76	c GLOBAL bounds - >= 472038 @ 1767.1
1834.94/1840.81	c GLOBAL bounds - >= 472038 @ 1767.14
1835.03/1840.96	c GLOBAL bounds - >= 472038 @ 1767.24
1835.03/1841.00	c GLOBAL bounds - >= 472038 @ 1767.28
1835.25/1841.15	c GLOBAL bounds - >= 472038 @ 1767.38
1835.63/1841.55	c GLOBAL bounds - >= 472038 @ 1767.72
1836.04/1841.91	c GLOBAL bounds - >= 472038 @ 1768.03
1836.15/1842.09	c GLOBAL bounds - >= 472038 @ 1768.16
1836.63/1842.52	c GLOBAL bounds - >= 472038 @ 1768.53
1836.83/1842.71	c GLOBAL bounds - >= 472038 @ 1768.66
1837.14/1843.04	c GLOBAL bounds - >= 472038 @ 1768.93
1837.43/1843.33	c GLOBAL bounds - >= 472038 @ 1769.15
1838.03/1843.90	c GLOBAL bounds - >= 472038 @ 1769.65
1838.33/1844.25	c GLOBAL bounds - >= 472038 @ 1769.93
1839.42/1845.36	c GLOBAL bounds - >= 472038 @ 1770.98
1841.61/1847.54	c GLOBAL bounds - >= 472038 @ 1773.08
1857.86/1863.84	c INPROCESSING
1857.86/1863.84	c GARBAGE COLLECT
1857.86/1863.84	c GLOBAL bounds - >= 472038 @ 1789.14
1859.07/1865.06	c GLOBAL bounds - >= 472038 @ 1790.29
1885.18/1891.29	c GLOBAL bounds - >= 472038 @ 1816.13
1893.54/1899.60	c GLOBAL bounds - >= 472038 @ 1824.25
1947.47/1953.79	c #Conflicts:      34000 | #Constraints:    4189650
1947.47/1953.79	c GLOBAL bounds - >= 473579 @ 1877.69
1947.66/1953.94	c GLOBAL bounds - >= 473579 @ 1877.83
1947.66/1953.98	c GLOBAL bounds - >= 473579 @ 1877.87
1947.77/1954.03	c GLOBAL bounds - >= 473579 @ 1877.91
1947.77/1954.07	c GLOBAL bounds - >= 473579 @ 1877.94
1947.88/1954.12	c GLOBAL bounds - >= 473579 @ 1877.98
1947.88/1954.16	c GLOBAL bounds - >= 473579 @ 1878.02
1947.96/1954.21	c GLOBAL bounds - >= 473579 @ 1878.05
1947.96/1954.25	c GLOBAL bounds - >= 473579 @ 1878.09
1947.96/1954.29	c GLOBAL bounds - >= 473579 @ 1878.12
1953.34/1959.64	c GLOBAL bounds - >= 473579 @ 1883.32
1953.34/1959.69	c GLOBAL bounds - >= 473579 @ 1883.35
1953.86/1960.14	c GLOBAL bounds - >= 473579 @ 1883.74
1953.86/1960.19	c GLOBAL bounds - >= 473579 @ 1883.77
1954.04/1960.36	c GLOBAL bounds - >= 473579 @ 1883.88
1954.14/1960.41	c GLOBAL bounds - >= 473579 @ 1883.92
1954.25/1960.58	c GLOBAL bounds - >= 473579 @ 1884.03
1954.34/1960.62	c GLOBAL bounds - >= 473579 @ 1884.07
1954.44/1960.78	c GLOBAL bounds - >= 473579 @ 1884.16
1954.54/1960.82	c GLOBAL bounds - >= 473579 @ 1884.2
1954.64/1960.98	c GLOBAL bounds - >= 473579 @ 1884.29
1954.76/1961.02	c GLOBAL bounds - >= 473579 @ 1884.32
1954.85/1961.17	c GLOBAL bounds - >= 473579 @ 1884.41
1954.94/1961.22	c GLOBAL bounds - >= 473579 @ 1884.45
1955.05/1961.37	c GLOBAL bounds - >= 473579 @ 1884.53
1955.14/1961.41	c GLOBAL bounds - >= 473579 @ 1884.56
1955.24/1961.56	c GLOBAL bounds - >= 473579 @ 1884.65
1955.34/1961.60	c GLOBAL bounds - >= 473579 @ 1884.69
1955.44/1961.75	c GLOBAL bounds - >= 473579 @ 1884.78
1955.85/1962.13	c GLOBAL bounds - >= 473579 @ 1885.09
1956.04/1962.35	c GLOBAL bounds - >= 473579 @ 1885.25
1956.23/1962.52	c GLOBAL bounds - >= 473579 @ 1885.37
1956.54/1962.84	c GLOBAL bounds - >= 473579 @ 1885.59
1956.75/1963.01	c GLOBAL bounds - >= 473579 @ 1885.71
1956.85/1963.19	c GLOBAL bounds - >= 473579 @ 1885.83
1957.04/1963.37	c GLOBAL bounds - >= 473579 @ 1885.95
1957.33/1963.61	c GLOBAL bounds - >= 473579 @ 1886.15
1957.53/1963.80	c GLOBAL bounds - >= 473579 @ 1886.28
1964.61/1970.95	c #Conflicts:      35000 | #Constraints:    4240840
1964.61/1970.95	c GLOBAL bounds - >= 473579 @ 1893.27
1965.51/1971.87	c GLOBAL bounds - >= 473579 @ 1894.12
1969.49/1975.89	c GLOBAL bounds - >= 473579 @ 1898.04
1976.96/1983.32	c GLOBAL bounds - >= 473579 @ 1905.32
1977.26/1983.62	c GLOBAL bounds - >= 473579 @ 1905.55
2046.03/2052.69	c #Conflicts:      36000 | #Constraints:    4269295
2046.03/2052.69	c GLOBAL bounds - >= 473579 @ 1973.63
2077.34/2084.02	c GLOBAL bounds - >= 477543 @ 2004.5
2077.53/2084.23	c GLOBAL bounds - >= 477543 @ 2004.69
2077.53/2084.27	c GLOBAL bounds - >= 477543 @ 2004.72
2077.63/2084.31	c GLOBAL bounds - >= 477543 @ 2004.76
2077.63/2084.36	c GLOBAL bounds - >= 477543 @ 2004.8
2077.73/2084.40	c GLOBAL bounds - >= 477543 @ 2004.83
2077.73/2084.44	c GLOBAL bounds - >= 477543 @ 2004.87
2077.73/2084.49	c GLOBAL bounds - >= 477543 @ 2004.9
2077.82/2084.53	c GLOBAL bounds - >= 477543 @ 2004.94
2077.82/2084.58	c GLOBAL bounds - >= 477543 @ 2004.97
2077.93/2084.62	c GLOBAL bounds - >= 477543 @ 2005
2077.93/2084.67	c GLOBAL bounds - >= 477543 @ 2005.04
2078.03/2084.71	c GLOBAL bounds - >= 477543 @ 2005.07
2079.73/2086.45	c #Conflicts:      37000 | #Constraints:    4276109
2079.73/2086.45	c GLOBAL bounds - >= 477543 @ 2006.71
2079.73/2086.49	c GLOBAL bounds - >= 477543 @ 2006.75
2080.02/2086.72	c GLOBAL bounds - >= 477543 @ 2006.92
2080.02/2086.76	c GLOBAL bounds - >= 477543 @ 2006.95
2080.22/2086.94	c GLOBAL bounds - >= 477543 @ 2007.06
2080.22/2086.99	c GLOBAL bounds - >= 477543 @ 2007.1
2080.43/2087.15	c GLOBAL bounds - >= 477543 @ 2007.21
2080.52/2087.20	c GLOBAL bounds - >= 477543 @ 2007.24
2080.62/2087.35	c GLOBAL bounds - >= 477543 @ 2007.34
2080.72/2087.40	c GLOBAL bounds - >= 477543 @ 2007.38
2080.82/2087.56	c GLOBAL bounds - >= 477543 @ 2007.48
2080.92/2087.61	c GLOBAL bounds - >= 477543 @ 2007.52
2081.02/2087.76	c GLOBAL bounds - >= 477543 @ 2007.62
2081.11/2087.81	c GLOBAL bounds - >= 477543 @ 2007.65
2081.21/2087.97	c GLOBAL bounds - >= 477543 @ 2007.75
2081.33/2088.01	c GLOBAL bounds - >= 477543 @ 2007.78
2081.43/2088.16	c GLOBAL bounds - >= 477543 @ 2007.87
2081.52/2088.20	c GLOBAL bounds - >= 477543 @ 2007.91
2081.62/2088.35	c GLOBAL bounds - >= 477543 @ 2008
2081.92/2088.64	c GLOBAL bounds - >= 477543 @ 2008.23
2082.21/2088.94	c GLOBAL bounds - >= 477543 @ 2008.47
2082.43/2089.11	c GLOBAL bounds - >= 477543 @ 2008.58
2082.52/2089.29	c GLOBAL bounds - >= 477543 @ 2008.7
2082.71/2089.49	c GLOBAL bounds - >= 477543 @ 2008.85
2083.01/2089.76	c GLOBAL bounds - >= 477543 @ 2009.06
2083.32/2090.02	c GLOBAL bounds - >= 477543 @ 2009.26
2084.81/2091.51	c GLOBAL bounds - >= 477543 @ 2010.66
2085.50/2092.26	c GLOBAL bounds - >= 477543 @ 2011.36
2087.00/2093.72	c GLOBAL bounds - >= 477543 @ 2012.74
2087.31/2094.09	c GLOBAL bounds - >= 477543 @ 2013.06
2087.60/2094.35	c GLOBAL bounds - >= 477543 @ 2013.27
2089.00/2095.72	c GLOBAL bounds - >= 477543 @ 2014.57
2091.18/2097.96	c GLOBAL bounds - >= 477543 @ 2016.72
2093.48/2100.24	c GLOBAL bounds - >= 477543 @ 2018.9
2093.68/2100.46	c GLOBAL bounds - >= 477543 @ 2019.07
2093.87/2100.68	c GLOBAL bounds - >= 477543 @ 2019.23
2094.88/2101.61	c GLOBAL bounds - >= 477543 @ 2020.09
2095.07/2101.85	c GLOBAL bounds - >= 477543 @ 2020.28
2109.12/2115.99	c GLOBAL bounds - >= 477543 @ 2034.18
2158.97/2165.99	c #Conflicts:      38000 | #Constraints:    4371316
2158.97/2165.99	c INPROCESSING
2158.97/2165.99	c GARBAGE COLLECT
2158.97/2165.99	c GLOBAL bounds - >= 477543 @ 2083.52
2159.76/2166.75	c GLOBAL bounds - >= 477543 @ 2084.21
2234.10/2241.30	c #Conflicts:      39000 | #Constraints:    4379091
2234.10/2241.30	c GLOBAL bounds - >= 479587 @ 2157.7
2234.20/2241.44	c GLOBAL bounds - >= 479587 @ 2157.84
2234.20/2241.48	c GLOBAL bounds - >= 479587 @ 2157.87
2234.31/2241.53	c GLOBAL bounds - >= 479587 @ 2157.9
2234.31/2241.57	c GLOBAL bounds - >= 479587 @ 2157.94
2234.41/2241.61	c GLOBAL bounds - >= 479587 @ 2157.97
2234.41/2241.66	c GLOBAL bounds - >= 479587 @ 2158
2234.50/2241.70	c GLOBAL bounds - >= 479587 @ 2158.04
2234.50/2241.74	c GLOBAL bounds - >= 479587 @ 2158.08
2234.50/2241.79	c GLOBAL bounds - >= 479587 @ 2158.11
2234.60/2241.83	c GLOBAL bounds - >= 479587 @ 2158.15
2234.60/2241.87	c GLOBAL bounds - >= 479587 @ 2158.19
2239.29/2246.60	c GLOBAL bounds - >= 479587 @ 2162.78
2239.39/2246.64	c GLOBAL bounds - >= 479587 @ 2162.81
2239.59/2246.82	c GLOBAL bounds - >= 479587 @ 2162.92
2239.59/2246.86	c GLOBAL bounds - >= 479587 @ 2162.96
2239.80/2247.03	c GLOBAL bounds - >= 479587 @ 2163.06
2239.80/2247.07	c GLOBAL bounds - >= 479587 @ 2163.09
2239.99/2247.23	c GLOBAL bounds - >= 479587 @ 2163.2
2239.99/2247.28	c GLOBAL bounds - >= 479587 @ 2163.24
2240.18/2247.43	c GLOBAL bounds - >= 479587 @ 2163.33
2240.18/2247.48	c GLOBAL bounds - >= 479587 @ 2163.37
2240.38/2247.63	c GLOBAL bounds - >= 479587 @ 2163.47
2240.38/2247.67	c GLOBAL bounds - >= 479587 @ 2163.5
2240.58/2247.82	c GLOBAL bounds - >= 479587 @ 2163.6
2240.58/2247.87	c GLOBAL bounds - >= 479587 @ 2163.63
2240.80/2248.01	c GLOBAL bounds - >= 479587 @ 2163.72
2240.80/2248.06	c GLOBAL bounds - >= 479587 @ 2163.76
2240.98/2248.20	c GLOBAL bounds - >= 479587 @ 2163.85
2240.98/2248.25	c GLOBAL bounds - >= 479587 @ 2163.89
2241.08/2248.39	c GLOBAL bounds - >= 479587 @ 2163.97
2241.29/2248.56	c GLOBAL bounds - >= 479587 @ 2164.08
2241.48/2248.73	c GLOBAL bounds - >= 479587 @ 2164.19
2241.90/2249.12	c GLOBAL bounds - >= 479587 @ 2164.52
2242.28/2249.55	c GLOBAL bounds - >= 479587 @ 2164.89
2242.68/2249.96	c GLOBAL bounds - >= 479587 @ 2165.25
2242.89/2250.17	c GLOBAL bounds - >= 479587 @ 2165.4
2243.28/2250.51	c GLOBAL bounds - >= 479587 @ 2165.7
2243.47/2250.71	c GLOBAL bounds - >= 479587 @ 2165.84
2245.47/2252.70	c GLOBAL bounds - >= 479587 @ 2167.74
2245.78/2253.10	c GLOBAL bounds - >= 479587 @ 2168.09
2246.47/2253.77	c GLOBAL bounds - >= 479587 @ 2168.69
2250.16/2257.48	c GLOBAL bounds - >= 479587 @ 2172.28
2280.15/2287.51	c #Conflicts:      40000 | #Constraints:    4440054
2280.15/2287.51	c GLOBAL bounds - >= 479587 @ 2201.82
2321.42/2328.95	c #Conflicts:      41000 | #Constraints:    4446503
2321.42/2328.95	c GLOBAL bounds - >= 479587 @ 2242.65
2321.92/2329.40	c GLOBAL bounds - >= 479587 @ 2243.05
2394.47/2402.28	c #Conflicts:      42000 | #Constraints:    4458541
2394.47/2402.28	c GLOBAL bounds - >= 481902 @ 2314.99
2394.67/2402.47	c GLOBAL bounds - >= 481902 @ 2315.18
2394.77/2402.52	c GLOBAL bounds - >= 481902 @ 2315.21
2394.77/2402.56	c GLOBAL bounds - >= 481902 @ 2315.24
2394.86/2402.61	c GLOBAL bounds - >= 481902 @ 2315.28
2394.86/2402.65	c GLOBAL bounds - >= 481902 @ 2315.31
2394.86/2402.69	c GLOBAL bounds - >= 481902 @ 2315.34
2394.97/2402.74	c GLOBAL bounds - >= 481902 @ 2315.38
2394.97/2402.78	c GLOBAL bounds - >= 481902 @ 2315.41
2395.07/2402.83	c GLOBAL bounds - >= 481902 @ 2315.45
2395.46/2403.25	c GLOBAL bounds - >= 481902 @ 2315.82
2395.56/2403.30	c GLOBAL bounds - >= 481902 @ 2315.85
2396.06/2403.87	c GLOBAL bounds - >= 481902 @ 2316.36
2396.17/2403.92	c GLOBAL bounds - >= 481902 @ 2316.39
2396.38/2404.15	c GLOBAL bounds - >= 481902 @ 2316.56
2396.38/2404.19	c GLOBAL bounds - >= 481902 @ 2316.6
2396.56/2404.37	c GLOBAL bounds - >= 481902 @ 2316.72
2396.67/2404.42	c GLOBAL bounds - >= 481902 @ 2316.75
2396.86/2404.60	c GLOBAL bounds - >= 481902 @ 2316.88
2396.86/2404.65	c GLOBAL bounds - >= 481902 @ 2316.91
2397.06/2404.83	c GLOBAL bounds - >= 481902 @ 2317.03
2397.06/2404.88	c GLOBAL bounds - >= 481902 @ 2317.07
2397.27/2405.06	c GLOBAL bounds - >= 481902 @ 2317.2
2397.27/2405.10	c GLOBAL bounds - >= 481902 @ 2317.23
2397.46/2405.26	c GLOBAL bounds - >= 481902 @ 2317.32
2397.56/2405.30	c GLOBAL bounds - >= 481902 @ 2317.35
2397.66/2405.45	c GLOBAL bounds - >= 481902 @ 2317.44
2397.76/2405.50	c GLOBAL bounds - >= 481902 @ 2317.48
2397.86/2405.65	c GLOBAL bounds - >= 481902 @ 2317.57
2401.26/2409.04	c GLOBAL bounds - >= 481902 @ 2320.85
2401.74/2409.54	c GLOBAL bounds - >= 481902 @ 2321.29
2401.95/2409.77	c GLOBAL bounds - >= 481902 @ 2321.46
2402.15/2410.00	c GLOBAL bounds - >= 481902 @ 2321.63
2405.13/2412.95	c GLOBAL bounds - >= 481902 @ 2324.49
2405.34/2413.19	c GLOBAL bounds - >= 481902 @ 2324.67
2505.19/2513.36	c #Conflicts:      43000 | #Constraints:    4538914
2505.19/2513.36	c GLOBAL bounds - >= 481902 @ 2423.45
2506.19/2514.32	c GLOBAL bounds - >= 481902 @ 2424.34
2514.56/2522.71	c #Conflicts:      44000 | #Constraints:    4550882
2514.56/2522.71	c GLOBAL bounds - >= 483008 @ 2432.62
2514.76/2522.92	c GLOBAL bounds - >= 483008 @ 2432.82
2515.35/2523.51	c GLOBAL bounds - >= 483008 @ 2433.35
2515.35/2523.55	c GLOBAL bounds - >= 483008 @ 2433.39
2517.15/2525.31	c GLOBAL bounds - >= 483008 @ 2435.07
2517.15/2525.35	c GLOBAL bounds - >= 483008 @ 2435.1
2517.35/2525.54	c GLOBAL bounds - >= 483008 @ 2435.22
2517.35/2525.57	c GLOBAL bounds - >= 483008 @ 2435.25
2517.55/2525.71	c GLOBAL bounds - >= 483008 @ 2435.35
2517.55/2525.76	c GLOBAL bounds - >= 483008 @ 2435.38
2517.75/2525.92	c GLOBAL bounds - >= 483008 @ 2435.48
2517.75/2525.96	c GLOBAL bounds - >= 483008 @ 2435.5
2517.96/2526.12	c GLOBAL bounds - >= 483008 @ 2435.61
2517.96/2526.17	c GLOBAL bounds - >= 483008 @ 2435.65
2518.15/2526.33	c GLOBAL bounds - >= 483008 @ 2435.75
2518.15/2526.37	c GLOBAL bounds - >= 483008 @ 2435.78
2518.35/2526.52	c GLOBAL bounds - >= 483008 @ 2435.87
2518.35/2526.56	c GLOBAL bounds - >= 483008 @ 2435.91
2518.54/2526.72	c GLOBAL bounds - >= 483008 @ 2436.01
2518.54/2526.76	c GLOBAL bounds - >= 483008 @ 2436.04
2518.65/2526.88	c GLOBAL bounds - >= 483008 @ 2436.1
2518.86/2527.03	c GLOBAL bounds - >= 483008 @ 2436.19
2519.04/2527.23	c GLOBAL bounds - >= 483008 @ 2436.33
2519.25/2527.46	c GLOBAL bounds - >= 483008 @ 2436.51
2519.45/2527.63	c GLOBAL bounds - >= 483008 @ 2436.62
2519.64/2527.81	c GLOBAL bounds - >= 483008 @ 2436.73
2519.86/2528.08	c GLOBAL bounds - >= 483008 @ 2436.94
2520.24/2528.40	c GLOBAL bounds - >= 483008 @ 2437.21
2520.34/2528.54	c GLOBAL bounds - >= 483008 @ 2437.3
2520.64/2528.88	c GLOBAL bounds - >= 483008 @ 2437.58
2520.85/2529.09	c GLOBAL bounds - >= 483008 @ 2437.72
2521.14/2529.34	c GLOBAL bounds - >= 483008 @ 2437.92
2521.34/2529.60	c GLOBAL bounds - >= 483008 @ 2438.11
2535.59/2543.89	c GLOBAL bounds - >= 483008 @ 2452.12
2535.90/2544.13	c GLOBAL bounds - >= 483008 @ 2452.3
2536.39/2544.61	c GLOBAL bounds - >= 483008 @ 2452.72
2536.58/2544.86	c GLOBAL bounds - >= 483008 @ 2452.91
2538.08/2546.36	c GLOBAL bounds - >= 483008 @ 2454.34
2547.66/2555.90	c GLOBAL bounds - >= 483008 @ 2463.68
2561.50/2569.88	c GLOBAL bounds - >= 483008 @ 2477.42
2564.59/2572.97	c GLOBAL bounds - >= 486440 @ 2480.47
2564.80/2573.16	c GLOBAL bounds - >= 486440 @ 2480.66
2564.89/2573.21	c GLOBAL bounds - >= 486440 @ 2480.69
2564.89/2573.25	c GLOBAL bounds - >= 486440 @ 2480.72
2564.99/2573.30	c GLOBAL bounds - >= 486440 @ 2480.76
2564.99/2573.34	c GLOBAL bounds - >= 486440 @ 2480.8
2564.99/2573.39	c GLOBAL bounds - >= 486440 @ 2480.83
2565.10/2573.43	c GLOBAL bounds - >= 486440 @ 2480.86
2565.10/2573.48	c GLOBAL bounds - >= 486440 @ 2480.9
2565.19/2573.52	c GLOBAL bounds - >= 486440 @ 2480.94
2568.80/2577.14	c GLOBAL bounds - >= 486440 @ 2484.44
2568.80/2577.19	c GLOBAL bounds - >= 486440 @ 2484.47
2568.98/2577.36	c GLOBAL bounds - >= 486440 @ 2484.58
2569.08/2577.40	c GLOBAL bounds - >= 486440 @ 2484.62
2569.28/2577.61	c GLOBAL bounds - >= 486440 @ 2484.77
2569.28/2577.65	c GLOBAL bounds - >= 486440 @ 2484.8
2569.48/2577.86	c GLOBAL bounds - >= 486440 @ 2484.94
2569.58/2577.90	c GLOBAL bounds - >= 486440 @ 2484.98
2569.69/2578.06	c GLOBAL bounds - >= 486440 @ 2485.06
2569.69/2578.11	c GLOBAL bounds - >= 486440 @ 2485.1
2569.88/2578.27	c GLOBAL bounds - >= 486440 @ 2485.19
2569.98/2578.32	c GLOBAL bounds - >= 486440 @ 2485.23
2570.08/2578.49	c GLOBAL bounds - >= 486440 @ 2485.33
2570.17/2578.53	c GLOBAL bounds - >= 486440 @ 2485.37
2570.37/2578.70	c GLOBAL bounds - >= 486440 @ 2485.47
2570.37/2578.74	c GLOBAL bounds - >= 486440 @ 2485.5
2570.57/2578.90	c GLOBAL bounds - >= 486440 @ 2485.61
2570.57/2578.95	c GLOBAL bounds - >= 486440 @ 2485.64
2570.79/2579.13	c GLOBAL bounds - >= 486440 @ 2485.78
2573.78/2582.14	c GLOBAL bounds - >= 486440 @ 2488.68
2573.97/2582.39	c GLOBAL bounds - >= 486440 @ 2488.86
2574.47/2582.85	c GLOBAL bounds - >= 486440 @ 2489.26
2575.56/2583.96	c GLOBAL bounds - >= 486440 @ 2490.3
2699.45/2708.25	c #Conflicts:      45000 | #Constraints:    4700890
2699.45/2708.25	c #Conflicts:      46000 | #Constraints:    4701890
2699.45/2708.25	c GLOBAL bounds - >= 486440 @ 2612.75
2700.14/2708.95	c GLOBAL bounds - >= 486440 @ 2613.39
2729.45/2738.31	c #Conflicts:      47000 | #Constraints:    4713352
2729.45/2738.31	c GLOBAL bounds - >= 489693 @ 2642.34
2729.64/2738.58	c GLOBAL bounds - >= 489693 @ 2642.59
2729.75/2738.63	c GLOBAL bounds - >= 489693 @ 2642.63
2729.75/2738.67	c GLOBAL bounds - >= 489693 @ 2642.67
2729.84/2738.72	c GLOBAL bounds - >= 489693 @ 2642.71
2731.54/2740.41	c GLOBAL bounds - >= 489693 @ 2644.31
2731.54/2740.46	c GLOBAL bounds - >= 489693 @ 2644.35
2731.74/2740.65	c GLOBAL bounds - >= 489693 @ 2644.49
2731.74/2740.69	c GLOBAL bounds - >= 489693 @ 2644.52
2731.94/2740.87	c GLOBAL bounds - >= 489693 @ 2644.64
2732.04/2740.91	c GLOBAL bounds - >= 489693 @ 2644.68
2732.15/2741.08	c GLOBAL bounds - >= 489693 @ 2644.79
2732.25/2741.13	c GLOBAL bounds - >= 489693 @ 2644.83
2732.34/2741.29	c GLOBAL bounds - >= 489693 @ 2644.94
2732.44/2741.33	c GLOBAL bounds - >= 489693 @ 2644.97
2732.54/2741.49	c GLOBAL bounds - >= 489693 @ 2645.06
2732.63/2741.54	c GLOBAL bounds - >= 489693 @ 2645.1
2732.83/2741.70	c GLOBAL bounds - >= 489693 @ 2645.19
2732.83/2741.74	c GLOBAL bounds - >= 489693 @ 2645.23
2733.04/2741.90	c GLOBAL bounds - >= 489693 @ 2645.33
2733.04/2741.94	c GLOBAL bounds - >= 489693 @ 2645.37
2733.14/2742.10	c GLOBAL bounds - >= 489693 @ 2645.46
2733.25/2742.15	c GLOBAL bounds - >= 489693 @ 2645.5
2733.43/2742.31	c GLOBAL bounds - >= 489693 @ 2645.59
2733.53/2742.49	c GLOBAL bounds - >= 489693 @ 2645.72
2733.73/2742.64	c GLOBAL bounds - >= 489693 @ 2645.82
2733.93/2742.83	c GLOBAL bounds - >= 489693 @ 2645.95
2734.24/2743.19	c GLOBAL bounds - >= 489693 @ 2646.25
2734.43/2743.35	c GLOBAL bounds - >= 489693 @ 2646.35
2734.73/2743.62	c GLOBAL bounds - >= 489693 @ 2646.57
2734.93/2743.81	c GLOBAL bounds - >= 489693 @ 2646.7
2735.42/2744.31	c GLOBAL bounds - >= 489693 @ 2647.13
2735.92/2744.86	c GLOBAL bounds - >= 489693 @ 2647.61
2736.16/2745.11	c GLOBAL bounds - >= 489693 @ 2647.8
2736.42/2745.37	c GLOBAL bounds - >= 489693 @ 2648
2737.14/2746.04	c GLOBAL bounds - >= 489693 @ 2648.6
2737.62/2746.51	c GLOBAL bounds - >= 489693 @ 2649.01
2738.81/2747.71	c GLOBAL bounds - >= 489693 @ 2650.11
2739.13/2748.03	c GLOBAL bounds - >= 489693 @ 2650.37
2740.22/2749.11	c GLOBAL bounds - >= 489693 @ 2651.39
2740.41/2749.36	c GLOBAL bounds - >= 489693 @ 2651.58
2740.91/2749.82	c GLOBAL bounds - >= 489693 @ 2651.98
2741.90/2750.88	c GLOBAL bounds - >= 489693 @ 2652.96
2749.19/2758.16	c GLOBAL bounds - >= 489693 @ 2660.09
2820.04/2829.29	c #Conflicts:      48000 | #Constraints:    4790568
2820.04/2829.29	c GLOBAL bounds - >= 491625 @ 2730.2
2820.24/2829.46	c GLOBAL bounds - >= 491625 @ 2730.35
2820.34/2829.50	c GLOBAL bounds - >= 491625 @ 2730.38
2820.34/2829.55	c GLOBAL bounds - >= 491625 @ 2730.42
2820.34/2829.59	c GLOBAL bounds - >= 491625 @ 2730.45
2820.44/2829.64	c GLOBAL bounds - >= 491625 @ 2730.49
2820.44/2829.68	c GLOBAL bounds - >= 491625 @ 2730.52
2820.54/2829.72	c GLOBAL bounds - >= 491625 @ 2730.55
2820.54/2829.77	c GLOBAL bounds - >= 491625 @ 2730.59
2820.64/2829.81	c GLOBAL bounds - >= 491625 @ 2730.62
2821.14/2830.32	c GLOBAL bounds - >= 491625 @ 2731.07
2821.14/2830.37	c GLOBAL bounds - >= 491625 @ 2731.11
2821.34/2830.54	c GLOBAL bounds - >= 491625 @ 2731.22
2821.34/2830.59	c GLOBAL bounds - >= 491625 @ 2731.26
2821.54/2830.76	c GLOBAL bounds - >= 491625 @ 2731.37
2821.64/2830.81	c GLOBAL bounds - >= 491625 @ 2731.41
2821.74/2830.98	c GLOBAL bounds - >= 491625 @ 2731.52
2821.85/2831.03	c GLOBAL bounds - >= 491625 @ 2731.55
2821.95/2831.20	c GLOBAL bounds - >= 491625 @ 2731.67
2822.04/2831.24	c GLOBAL bounds - >= 491625 @ 2731.7
2822.23/2831.41	c GLOBAL bounds - >= 491625 @ 2731.8
2822.23/2831.45	c GLOBAL bounds - >= 491625 @ 2731.84
2822.44/2831.63	c GLOBAL bounds - >= 491625 @ 2731.95
2822.44/2831.67	c GLOBAL bounds - >= 491625 @ 2731.99
2822.63/2831.84	c GLOBAL bounds - >= 491625 @ 2732.1
2822.63/2831.89	c GLOBAL bounds - >= 491625 @ 2732.14
2822.85/2832.05	c GLOBAL bounds - >= 491625 @ 2732.25
2822.85/2832.10	c GLOBAL bounds - >= 491625 @ 2732.28
2823.03/2832.27	c GLOBAL bounds - >= 491625 @ 2732.39
2823.24/2832.46	c GLOBAL bounds - >= 491625 @ 2732.54
2823.43/2832.65	c GLOBAL bounds - >= 491625 @ 2732.67
2823.63/2832.86	c GLOBAL bounds - >= 491625 @ 2732.82
2823.84/2833.09	c GLOBAL bounds - >= 491625 @ 2733
2826.12/2835.30	c GLOBAL bounds - >= 491625 @ 2735.14
2834.20/2843.41	c GLOBAL bounds - >= 491625 @ 2743.05
2834.60/2843.82	c GLOBAL bounds - >= 491625 @ 2743.39
2837.48/2846.72	c GLOBAL bounds - >= 491625 @ 2746.18
2877.96/2887.35	c #Conflicts:      49000 | #Constraints:    4844728
2877.96/2887.35	c GLOBAL bounds - >= 491625 @ 2786.15
2896.72/2906.18	c GLOBAL bounds - >= 492395 @ 2804.71
2896.90/2906.30	c GLOBAL bounds - >= 492395 @ 2804.81
2896.90/2906.33	c GLOBAL bounds - >= 492395 @ 2804.84
2896.90/2906.37	c GLOBAL bounds - >= 492395 @ 2804.87
2897.00/2906.41	c GLOBAL bounds - >= 492395 @ 2804.9
2897.20/2906.64	c GLOBAL bounds - >= 492395 @ 2805.08
2897.20/2906.68	c GLOBAL bounds - >= 492395 @ 2805.11
2897.61/2907.02	c GLOBAL bounds - >= 492395 @ 2805.4
2897.61/2907.06	c GLOBAL bounds - >= 492395 @ 2805.43
2901.29/2910.77	c GLOBAL bounds - >= 492395 @ 2809.03
2901.39/2910.81	c GLOBAL bounds - >= 492395 @ 2809.06
2901.49/2911.00	c GLOBAL bounds - >= 492395 @ 2809.18
2901.60/2911.04	c GLOBAL bounds - >= 492395 @ 2809.21
2901.79/2911.22	c GLOBAL bounds - >= 492395 @ 2809.34
2901.79/2911.27	c GLOBAL bounds - >= 492395 @ 2809.38
2901.99/2911.45	c GLOBAL bounds - >= 492395 @ 2809.49
2901.99/2911.49	c GLOBAL bounds - >= 492395 @ 2809.53
2902.18/2911.66	c GLOBAL bounds - >= 492395 @ 2809.65
2902.28/2911.70	c GLOBAL bounds - >= 492395 @ 2809.68
2902.39/2911.87	c GLOBAL bounds - >= 492395 @ 2809.79
2902.48/2911.91	c GLOBAL bounds - >= 492395 @ 2809.82
2902.60/2912.08	c GLOBAL bounds - >= 492395 @ 2809.93
2902.69/2912.12	c GLOBAL bounds - >= 492395 @ 2809.96
2902.79/2912.28	c GLOBAL bounds - >= 492395 @ 2810.06
2902.98/2912.47	c GLOBAL bounds - >= 492395 @ 2810.2
2903.59/2913.03	c GLOBAL bounds - >= 492395 @ 2810.69
2903.78/2913.22	c GLOBAL bounds - >= 492395 @ 2810.83
2904.18/2913.64	c GLOBAL bounds - >= 492395 @ 2811.18
2905.18/2914.63	c GLOBAL bounds - >= 492395 @ 2812.11
2905.38/2914.85	c GLOBAL bounds - >= 492395 @ 2812.28
2905.97/2915.41	c GLOBAL bounds - >= 492395 @ 2812.77
2908.37/2917.80	c GLOBAL bounds - >= 492395 @ 2815.07
2915.74/2925.23	c GLOBAL bounds - >= 492395 @ 2822.33
2959.11/2968.72	c #Conflicts:      50000 | #Constraints:    4915288
2959.11/2968.72	c GLOBAL bounds - >= 492395 @ 2865.11
2959.80/2969.43	c GLOBAL bounds - >= 492395 @ 2865.75
3001.30/3011.08	c GLOBAL bounds - >= 493733 @ 2906.75
3001.48/3011.25	c GLOBAL bounds - >= 493733 @ 2906.91
3001.48/3011.29	c GLOBAL bounds - >= 493733 @ 2906.94
3001.58/3011.33	c GLOBAL bounds - >= 493733 @ 2906.98
3001.58/3011.37	c GLOBAL bounds - >= 493733 @ 2907.01
3001.68/3011.41	c GLOBAL bounds - >= 493733 @ 2907.04
3001.68/3011.45	c GLOBAL bounds - >= 493733 @ 2907.07
3003.57/3013.36	c GLOBAL bounds - >= 493733 @ 2908.91
3003.67/3013.40	c GLOBAL bounds - >= 493733 @ 2908.95
3003.88/3013.62	c GLOBAL bounds - >= 493733 @ 2909.09
3003.88/3013.66	c GLOBAL bounds - >= 493733 @ 2909.12
3004.07/3013.84	c GLOBAL bounds - >= 493733 @ 2909.24
3004.07/3013.88	c GLOBAL bounds - >= 493733 @ 2909.27
3004.29/3014.07	c GLOBAL bounds - >= 493733 @ 2909.41
3004.39/3014.11	c GLOBAL bounds - >= 493733 @ 2909.44
3004.57/3014.31	c GLOBAL bounds - >= 493733 @ 2909.57
3004.57/3014.35	c GLOBAL bounds - >= 493733 @ 2909.6
3004.76/3014.54	c GLOBAL bounds - >= 493733 @ 2909.73
3004.76/3014.59	c GLOBAL bounds - >= 493733 @ 2909.77
3004.97/3014.78	c GLOBAL bounds - >= 493733 @ 2909.9
3005.07/3014.82	c GLOBAL bounds - >= 493733 @ 2909.93
3005.17/3014.99	c GLOBAL bounds - >= 493733 @ 2910.03
3005.28/3015.03	c GLOBAL bounds - >= 493733 @ 2910.06
3005.47/3015.22	c GLOBAL bounds - >= 493733 @ 2910.2
3005.47/3015.26	c GLOBAL bounds - >= 493733 @ 2910.23
3005.67/3015.45	c GLOBAL bounds - >= 493733 @ 2910.35
3008.38/3018.18	c #Conflicts:      51000 | #Constraints:    4969244
3008.38/3018.18	c GLOBAL bounds - >= 493733 @ 2912.99
3019.12/3028.90	c GLOBAL bounds - >= 493733 @ 2923.45
3042.76/3052.66	c GLOBAL bounds - >= 493733 @ 2946.75
3043.56/3053.49	c GLOBAL bounds - >= 493733 @ 2947.52
3061.12/3071.07	c GLOBAL bounds - >= 493948 @ 2964.86
3061.32/3071.21	c GLOBAL bounds - >= 493948 @ 2965
3061.32/3071.26	c GLOBAL bounds - >= 493948 @ 2965.03
3061.41/3071.30	c GLOBAL bounds - >= 493948 @ 2965.07
3061.41/3071.34	c GLOBAL bounds - >= 493948 @ 2965.1
3061.41/3071.38	c GLOBAL bounds - >= 493948 @ 2965.13
3064.61/3074.51	c GLOBAL bounds - >= 493948 @ 2968.15
3064.61/3074.55	c GLOBAL bounds - >= 493948 @ 2968.18
3064.81/3074.73	c GLOBAL bounds - >= 493948 @ 2968.3
3064.81/3074.77	c GLOBAL bounds - >= 493948 @ 2968.33
3065.00/3074.94	c GLOBAL bounds - >= 493948 @ 2968.45
3065.00/3074.98	c GLOBAL bounds - >= 493948 @ 2968.49
3065.21/3075.13	c GLOBAL bounds - >= 493948 @ 2968.58
3065.21/3075.17	c GLOBAL bounds - >= 493948 @ 2968.61
3065.41/3075.34	c GLOBAL bounds - >= 493948 @ 2968.73
3065.41/3075.39	c GLOBAL bounds - >= 493948 @ 2968.76
3065.61/3075.57	c GLOBAL bounds - >= 493948 @ 2968.88
3065.70/3075.61	c GLOBAL bounds - >= 493948 @ 2968.91
3065.80/3075.75	c GLOBAL bounds - >= 493948 @ 2968.99
3065.80/3075.79	c GLOBAL bounds - >= 493948 @ 2969.02
3066.01/3075.93	c GLOBAL bounds - >= 493948 @ 2969.1
3066.01/3075.98	c GLOBAL bounds - >= 493948 @ 2969.14
3066.21/3076.16	c GLOBAL bounds - >= 493948 @ 2969.25
3066.30/3076.20	c GLOBAL bounds - >= 493948 @ 2969.28
3066.40/3076.34	c GLOBAL bounds - >= 493948 @ 2969.37
3067.11/3077.01	c GLOBAL bounds - >= 493948 @ 2969.98
3067.21/3077.19	c GLOBAL bounds - >= 493948 @ 2970.11
3067.60/3077.56	c GLOBAL bounds - >= 493948 @ 2970.41
3067.90/3077.84	c GLOBAL bounds - >= 493948 @ 2970.63
3068.89/3078.83	c GLOBAL bounds - >= 493948 @ 2971.55
3244.21/3254.60	c #Conflicts:      52000 | #Constraints:    5026975
3244.21/3254.60	c INPROCESSING
3244.21/3254.60	c GARBAGE COLLECT
3244.21/3254.60	c #Conflicts:      53000 | #Constraints:    5018028
3244.21/3254.60	c #Conflicts:      54000 | #Constraints:    5019028
3244.21/3254.60	c #Conflicts:      55000 | #Constraints:    5020028
3244.21/3254.60	c GLOBAL bounds - >= 493948 @ 3144.64
3244.51/3254.97	c GLOBAL bounds - >= 493948 @ 3144.96
3267.24/3277.72	c GLOBAL bounds - >= 493948 @ 3167.34
3270.22/3280.74	c GLOBAL bounds - >= 493948 @ 3170.28
3292.65/3303.29	c GLOBAL bounds - >= 493948 @ 3192.49
3293.15/3303.74	c GLOBAL bounds - >= 493948 @ 3192.9
3308.41/3319.03	c #Conflicts:      56000 | #Constraints:    5048154
3308.41/3319.03	c GLOBAL bounds - >= 496751 @ 3208.01
3308.61/3319.22	c GLOBAL bounds - >= 496751 @ 3208.19
3308.61/3319.27	c GLOBAL bounds - >= 496751 @ 3208.22
3308.70/3319.31	c GLOBAL bounds - >= 496751 @ 3208.26
3308.70/3319.35	c GLOBAL bounds - >= 496751 @ 3208.29
3308.70/3319.39	c GLOBAL bounds - >= 496751 @ 3208.32
3308.81/3319.44	c GLOBAL bounds - >= 496751 @ 3208.35
3308.81/3319.48	c GLOBAL bounds - >= 496751 @ 3208.39
3311.20/3321.82	c GLOBAL bounds - >= 496751 @ 3210.64
3311.20/3321.85	c GLOBAL bounds - >= 496751 @ 3210.67
3311.41/3322.02	c GLOBAL bounds - >= 496751 @ 3210.77
3311.41/3322.06	c GLOBAL bounds - >= 496751 @ 3210.8
3311.60/3322.22	c GLOBAL bounds - >= 496751 @ 3210.89
3311.60/3322.26	c GLOBAL bounds - >= 496751 @ 3210.92
3311.79/3322.41	c GLOBAL bounds - >= 496751 @ 3211.02
3311.79/3322.45	c GLOBAL bounds - >= 496751 @ 3211.05
3311.99/3322.60	c GLOBAL bounds - >= 496751 @ 3211.15
3311.99/3322.65	c GLOBAL bounds - >= 496751 @ 3211.17
3312.19/3322.80	c GLOBAL bounds - >= 496751 @ 3211.27
3312.19/3322.84	c GLOBAL bounds - >= 496751 @ 3211.3
3312.29/3322.99	c GLOBAL bounds - >= 496751 @ 3211.39
3312.40/3323.04	c GLOBAL bounds - >= 496751 @ 3211.43
3312.50/3323.19	c GLOBAL bounds - >= 496751 @ 3211.52
3312.59/3323.23	c GLOBAL bounds - >= 496751 @ 3211.56
3312.69/3323.38	c GLOBAL bounds - >= 496751 @ 3211.64
3312.79/3323.43	c GLOBAL bounds - >= 496751 @ 3211.67
3312.89/3323.57	c GLOBAL bounds - >= 496751 @ 3211.76
3313.09/3323.75	c GLOBAL bounds - >= 496751 @ 3211.88
3313.29/3323.92	c GLOBAL bounds - >= 496751 @ 3212
3313.79/3324.41	c GLOBAL bounds - >= 496751 @ 3212.41
3313.88/3324.59	c GLOBAL bounds - >= 496751 @ 3212.53
3314.19/3324.84	c GLOBAL bounds - >= 496751 @ 3212.72
3314.50/3325.14	c GLOBAL bounds - >= 496751 @ 3212.97
3314.89/3325.52	c GLOBAL bounds - >= 496751 @ 3213.3
3316.18/3326.82	c GLOBAL bounds - >= 496751 @ 3214.53
3316.88/3327.58	c GLOBAL bounds - >= 496751 @ 3215.22
3318.07/3328.73	c GLOBAL bounds - >= 496751 @ 3216.3
3318.38/3329.07	c GLOBAL bounds - >= 496751 @ 3216.58
3320.66/3331.31	c GLOBAL bounds - >= 496751 @ 3218.74
3322.66/3333.38	c GLOBAL bounds - >= 496751 @ 3220.72
3324.05/3334.76	c GLOBAL bounds - >= 496751 @ 3222.04
3324.48/3335.14	c GLOBAL bounds - >= 496751 @ 3222.35
3326.75/3337.46	c GLOBAL bounds - >= 496751 @ 3224.6
3327.55/3338.23	c GLOBAL bounds - >= 496751 @ 3225.31
3327.84/3338.52	c GLOBAL bounds - >= 496751 @ 3225.54
3364.35/3375.19	c GLOBAL bounds - >= 496751 @ 3261.73
3381.31/3392.17	c #Conflicts:      57000 | #Constraints:    5115302
3381.31/3392.17	c GLOBAL bounds - >= 510819 @ 3278.53
3381.80/3392.70	c GLOBAL bounds - >= 510819 @ 3278.96
3381.90/3392.74	c GLOBAL bounds - >= 510819 @ 3278.99
3381.90/3392.78	c GLOBAL bounds - >= 510819 @ 3279.02
3381.99/3392.82	c GLOBAL bounds - >= 510819 @ 3279.05
3381.99/3392.86	c GLOBAL bounds - >= 510819 @ 3279.09
3382.09/3392.90	c GLOBAL bounds - >= 510819 @ 3279.12
3382.09/3392.94	c GLOBAL bounds - >= 510819 @ 3279.15
3382.40/3393.20	c GLOBAL bounds - >= 510819 @ 3279.34
3382.40/3393.24	c GLOBAL bounds - >= 510819 @ 3279.38
3382.59/3393.49	c GLOBAL bounds - >= 510819 @ 3279.56
3382.69/3393.53	c GLOBAL bounds - >= 510819 @ 3279.6
3383.49/3394.30	c GLOBAL bounds - >= 510819 @ 3280.29
3383.49/3394.34	c GLOBAL bounds - >= 510819 @ 3280.33
3383.68/3394.53	c GLOBAL bounds - >= 510819 @ 3280.46
3383.68/3394.58	c GLOBAL bounds - >= 510819 @ 3280.5
3383.89/3394.76	c GLOBAL bounds - >= 510819 @ 3280.62
3383.99/3394.81	c GLOBAL bounds - >= 510819 @ 3280.66
3384.09/3394.99	c GLOBAL bounds - >= 510819 @ 3280.77
3384.20/3395.03	c GLOBAL bounds - >= 510819 @ 3280.81
3384.39/3395.21	c GLOBAL bounds - >= 510819 @ 3280.92
3384.39/3395.25	c GLOBAL bounds - >= 510819 @ 3280.96
3384.58/3395.42	c GLOBAL bounds - >= 510819 @ 3281.07
3384.58/3395.46	c GLOBAL bounds - >= 510819 @ 3281.11
3384.79/3395.63	c GLOBAL bounds - >= 510819 @ 3281.21
3384.79/3395.67	c GLOBAL bounds - >= 510819 @ 3281.24
3384.98/3395.83	c GLOBAL bounds - >= 510819 @ 3281.34
3385.20/3396.02	c GLOBAL bounds - >= 510819 @ 3281.46
3385.39/3396.20	c GLOBAL bounds - >= 510819 @ 3281.59
3385.49/3396.39	c GLOBAL bounds - >= 510819 @ 3281.71
3385.69/3396.57	c GLOBAL bounds - >= 510819 @ 3281.84
3385.88/3396.76	c GLOBAL bounds - >= 510819 @ 3281.96
3386.30/3397.19	c GLOBAL bounds - >= 510819 @ 3282.34
3386.48/3397.38	c GLOBAL bounds - >= 510819 @ 3282.46
3386.68/3397.56	c GLOBAL bounds - >= 510819 @ 3282.59
3386.99/3397.84	c GLOBAL bounds - >= 510819 @ 3282.8
3387.19/3398.05	c GLOBAL bounds - >= 510819 @ 3282.95
3387.48/3398.33	c GLOBAL bounds - >= 510819 @ 3283.17
3388.98/3399.85	c GLOBAL bounds - >= 510819 @ 3284.61
3392.47/3403.35	c GLOBAL bounds - >= 510819 @ 3288.02
3394.87/3405.73	c GLOBAL bounds - >= 510819 @ 3290.31
3444.73/3455.73	c GLOBAL bounds - >= 522461 @ 3339.7
3445.23/3456.21	c GLOBAL bounds - >= 522461 @ 3340.14
3445.23/3456.26	c GLOBAL bounds - >= 522461 @ 3340.17
3445.33/3456.30	c GLOBAL bounds - >= 522461 @ 3340.21
3445.33/3456.35	c GLOBAL bounds - >= 522461 @ 3340.25
3445.33/3456.39	c GLOBAL bounds - >= 522461 @ 3340.29
3445.43/3456.44	c GLOBAL bounds - >= 522461 @ 3340.32
3445.43/3456.48	c GLOBAL bounds - >= 522461 @ 3340.36
3445.53/3456.53	c GLOBAL bounds - >= 522461 @ 3340.4
3445.53/3456.57	c GLOBAL bounds - >= 522461 @ 3340.44
3445.62/3456.62	c GLOBAL bounds - >= 522461 @ 3340.47
3445.62/3456.66	c GLOBAL bounds - >= 522461 @ 3340.51
3445.73/3456.71	c GLOBAL bounds - >= 522461 @ 3340.55
3445.73/3456.75	c GLOBAL bounds - >= 522461 @ 3340.58
3445.83/3456.80	c GLOBAL bounds - >= 522461 @ 3340.62
3445.92/3456.97	c GLOBAL bounds - >= 522461 @ 3340.73
3445.92/3457.01	c GLOBAL bounds - >= 522461 @ 3340.77
3446.14/3457.17	c GLOBAL bounds - >= 522461 @ 3340.87
3446.22/3457.21	c GLOBAL bounds - >= 522461 @ 3340.89
3446.33/3457.37	c GLOBAL bounds - >= 522461 @ 3341
3446.43/3457.42	c GLOBAL bounds - >= 522461 @ 3341.03
3446.53/3457.58	c GLOBAL bounds - >= 522461 @ 3341.13
3446.62/3457.63	c GLOBAL bounds - >= 522461 @ 3341.17
3446.72/3457.78	c GLOBAL bounds - >= 522461 @ 3341.27
3446.82/3457.82	c GLOBAL bounds - >= 522461 @ 3341.3
3446.92/3457.97	c GLOBAL bounds - >= 522461 @ 3341.4
3447.03/3458.02	c GLOBAL bounds - >= 522461 @ 3341.43
3447.14/3458.17	c GLOBAL bounds - >= 522461 @ 3341.52
3447.22/3458.21	c GLOBAL bounds - >= 522461 @ 3341.55
3447.32/3458.36	c GLOBAL bounds - >= 522461 @ 3341.66
3447.43/3458.40	c GLOBAL bounds - >= 522461 @ 3341.69
3447.52/3458.56	c GLOBAL bounds - >= 522461 @ 3341.8
3447.52/3458.59	c GLOBAL bounds - >= 522461 @ 3341.82
3447.72/3458.71	c GLOBAL bounds - >= 522461 @ 3341.88
3448.13/3459.12	c GLOBAL bounds - >= 522461 @ 3342.22
3448.32/3459.37	c GLOBAL bounds - >= 522461 @ 3342.42
3448.72/3459.74	c GLOBAL bounds - >= 522461 @ 3342.75
3449.13/3460.17	c GLOBAL bounds - >= 522461 @ 3343.11
3450.03/3461.06	c GLOBAL bounds - >= 522461 @ 3343.94
3450.51/3461.53	c GLOBAL bounds - >= 522461 @ 3344.35
3451.13/3462.17	c #Conflicts:      58000 | #Constraints:    5199108
3451.13/3462.17	c GLOBAL bounds - >= 522461 @ 3344.92
3451.51/3462.52	c GLOBAL bounds - >= 522461 @ 3345.21
3451.61/3462.67	c GLOBAL bounds - >= 522461 @ 3345.3
3451.81/3462.82	c GLOBAL bounds - >= 522461 @ 3345.39
3452.31/3463.38	c GLOBAL bounds - >= 522461 @ 3345.89
3452.81/3463.84	c GLOBAL bounds - >= 522461 @ 3346.29
3453.90/3464.97	c GLOBAL bounds - >= 522461 @ 3347.35
3455.90/3466.93	c GLOBAL bounds - >= 522461 @ 3349.23
3458.39/3469.47	c GLOBAL bounds - >= 522461 @ 3351.68
3458.80/3469.80	c GLOBAL bounds - >= 522461 @ 3351.94
3460.29/3471.32	c GLOBAL bounds - >= 522461 @ 3353.38
3460.89/3472.01	c GLOBAL bounds - >= 522461 @ 3354.01
3461.38/3472.42	c GLOBAL bounds - >= 522461 @ 3354.37
3461.88/3472.92	c GLOBAL bounds - >= 522461 @ 3354.8
3463.68/3474.71	c GLOBAL bounds - >= 522461 @ 3356.5
3471.76/3482.83	c GLOBAL bounds - >= 522461 @ 3364.43
3482.33/3493.40	c GLOBAL bounds - >= 522461 @ 3374.8
3483.83/3494.92	c GLOBAL bounds - >= 522461 @ 3376.26
3489.62/3500.73	c GLOBAL bounds - >= 522461 @ 3381.93
3519.85/3531.02	c INPROCESSING
3519.85/3531.02	c GARBAGE COLLECT
3519.85/3531.02	c #Conflicts:      59000 | #Constraints:    5226321
3519.85/3531.02	c GLOBAL bounds - >= 522461 @ 3411.76
3520.34/3531.59	c GLOBAL bounds - >= 522461 @ 3412.26
3520.53/3531.79	c GLOBAL bounds - >= 522461 @ 3412.41
3522.03/3533.28	c GLOBAL bounds - >= 522461 @ 3413.83
3529.71/3540.91	c GLOBAL bounds - >= 522461 @ 3421.31
3554.65/3565.97	c GLOBAL bounds - >= 522461 @ 3446.01
3600.03/3611.45	c #Conflicts:      60000 | #Constraints:    5248489
3600.03/3611.45	c cpu time 3490.86 s
3600.03/3611.45	c deterministic time 1186488752 1.19e+09
3600.03/3611.45	c optimization time 3466.2 s
3600.03/3611.45	c total solve time 23.3685 s
3600.03/3611.45	c core-guided solve time 0 s
3600.03/3611.45	c propagation time 12.8361 s
3600.03/3611.45	c conflict analysis time 6.99856 s
3600.03/3611.45	c propagations 117136929
3600.03/3611.45	c resolve steps 0
3600.03/3611.45	c decisions 37326268
3600.03/3611.45	c conflicts 427
3600.03/3611.45	c restarts 4
3600.03/3611.45	c inprocessing phases 0
3600.03/3611.45	c garbage collections 0 ,( -nan )
3600.03/3611.45	c input clauses 209835 ,( 71.84 )
3600.03/3611.45	c input cardinalities 49 ,( 0.02 )
3600.03/3611.45	c input general constraints 82187 ,( 28.14 )
3600.03/3611.45	c input average constraint length 96.83
3600.03/3611.45	c input average constraint degree 45555580.53
3600.03/3611.45	c learned clauses 61 ,( 6.43 )
3600.03/3611.45	c learned cardinalities 0 ,( 0.00 )
3600.03/3611.45	c learned general constraints 887 ,( 93.57 )
3600.03/3611.45	c learned average constraint length 1223.92
3600.03/3611.45	c learned average constraint degree 12.06
3600.03/3611.45	c watched  CF 32, 64, 128, Arb: 921 , 0 , 0 , 0
3600.03/3611.45	c counting CF 32, 64, 128, Arb: 81750 , 404 , 0 , 0
3600.03/3611.45	c watched   constraints 921 ,( 1.11 ) 
3600.03/3611.45	c counting  constraints 82153 ,( 98.89 ) 
3600.03/3611.45	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 17119164 , 2240 , 83094267 ,( 1280516 , 81813751 )
3600.03/3611.45	c gcd simplifications 0
3600.03/3611.45	c detected cardinalities 0
3600.03/3611.45	c weakened non-implied lits 0
3600.03/3611.45	c weakened non-implying lits 0
3600.03/3611.45	c original variables 126385
3600.03/3611.45	c clausal propagations 17038209
3600.03/3611.45	c cardinality propagations 207
3600.03/3611.45	c watched propagations 44304
3600.03/3611.45	c counting propagations 51639870
3600.03/3611.45	c watch lookups 113100528
3600.03/3611.45	c watch backjump lookups 0
3600.03/3611.45	c watch checks 327622957
3600.03/3611.45	c propagation checks 435270845
3600.03/3611.45	c constraint additions 1564740
3600.03/3611.45	c trail pops 154463484
3600.03/3611.45	c formula constraints 290547
3600.03/3611.45	c learned constraints 948
3600.03/3611.45	c bound constraints 0
3600.03/3611.45	c core-guided constraints 0
3600.03/3611.45	c encountered formula constraints 60
3600.03/3611.45	c encountered learned constraints 244
3600.03/3611.45	c encountered bound constraints 0
3600.03/3611.45	c encountered core-guided constraints 0
3600.03/3611.45	c LP total time 2.43014 s
3600.03/3611.45	c LP solve time 2.29 s
3600.03/3611.45	c LP constraints added 290547
3600.03/3611.45	c LP constraints removed 0
3600.03/3611.45	c LP pivots internal 2000
3600.03/3611.45	c LP pivots root 1000
3600.03/3611.45	c LP calls 2
3600.03/3611.45	c LP optimalities 0
3600.03/3611.45	c LP no pivot count 0
3600.03/3611.45	c LP infeasibilities 0
3600.03/3611.45	c LP valid Farkas constraints 0
3600.03/3611.45	c LP learned Farkas constraints 0
3600.03/3611.45	c LP basis resets 0
3600.03/3611.45	c LP cycling count 0
3600.03/3611.45	c LP singular count 0
3600.03/3611.45	c LP no primal count 0
3600.03/3611.45	c LP no farkas count 0
3600.03/3611.45	c LP other issue count 0
3600.03/3611.45	c LP Gomory cuts 0
3600.03/3611.45	c LP learned cuts 0
3600.03/3611.45	c LP deleted cuts 0
3600.03/3611.45	c LP encountered Gomory constraints 0
3600.03/3611.45	c LP encountered Farkas constraints 0
3600.03/3611.45	c LP encountered learned Farkas constraints 0
3600.03/3611.45	c CG auxiliary variables introduced 933
3600.03/3611.45	c CG solutions found 0
3600.03/3611.45	c CG cores constructed 676
3600.03/3611.45	c CG core cardinality constraints returned 0
3600.03/3611.45	c CG unit cores 0
3600.03/3611.45	c CG single cores 0
3600.03/3611.45	c CG blocks removed during cardinality reduction 0
3600.03/3611.45	c CG first core best 0
3600.03/3611.45	c CG decision core best 0
3600.03/3611.45	c CG core reduction tie 0
3600.03/3611.45	c CG core degree average 0.00
3600.03/3611.45	c CG core slack average 0.00
3600.03/3611.45	c CG core upper bound improvements 0
3600.03/3611.45	c STR number of successful calls 0
3600.03/3611.45	c STR number of unsuccessful calls 0
3600.03/3611.45	c STR number of inconclusive calls 0
3600.03/3611.45	c STR number of successful attempts 0
3600.03/3611.45	c STR number of unsuccessful attempts 0
3600.03/3611.45	c STR number of inconclusive attempts 0
3600.03/3611.45	c STR average degree increase per successful call inf
3600.03/3611.45	c STR average degree increase per successful attempt inf
3600.03/3611.45	c STR total number of conflicts for successful attempts 0
3600.03/3611.45	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.45	c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.45	c STR average number of conflicts per successful attempt inf
3600.03/3611.45	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.45	c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.45	c AVG.sumWPerc 98.62 
3600.03/3611.45	c bigint constraints 404 
3600.03/3611.45	s UNKNOWN
3600.03/3611.45	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: 63794 MiB (49296 MiB free)
  memory of node 1: 64507 MiB (27969 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB

solver pid=63520, runsolver pid=63517

[startup+0.100104 s]*
/proc/loadavg: 4.15 4.18 4.18 5/267 63522
/proc/meminfo: memFree=79087992/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=79752 memory=35256 CPUtime=0.08 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 6497 0 0 0 5 3 0 0 20 0 1 0 63275337 81666048 8814 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 19938 8814 2016 1147 0 7365 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83944 KiB
Current children cumulated memory: 38328 KiB

[startup+0.214418 s]*
/proc/loadavg: 4.15 4.18 4.18 5/267 63522
/proc/meminfo: memFree=79076148/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=84052 memory=39352 CPUtime=0.19 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 7546 0 0 0 13 6 0 0 20 0 1 0 63275337 86069248 9838 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 21013 9838 2016 1147 0 8440 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 88244 KiB
Current children cumulated memory: 42424 KiB

[startup+0.314144 s]*
/proc/loadavg: 4.15 4.18 4.18 5/267 63522
/proc/meminfo: memFree=79072116/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=86812 memory=42936 CPUtime=0.29 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 8444 0 0 0 20 9 0 0 20 0 1 0 63275337 88895488 10734 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 21703 10734 2016 1147 0 9130 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 91004 KiB
Current children cumulated memory: 46008 KiB

[startup+0.700394 s]
/proc/loadavg: 4.15 4.18 4.18 5/267 63522
/proc/meminfo: memFree=79048368/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=108412 memory=64420 CPUtime=0.66 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 12881 0 0 0 46 20 0 0 20 0 1 0 63275337 111013888 16105 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 27103 16105 2016 1147 0 14530 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 112604 KiB
Current children cumulated memory: 67492 KiB

[startup+1.50039 s]
/proc/loadavg: 4.15 4.18 4.18 6/267 63522
/proc/meminfo: memFree=78997144/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=306704 memory=239552 CPUtime=1.46 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 26241 0 0 0 112 34 0 0 20 0 1 0 63275337 314064896 59888 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 76676 59888 2304 1147 0 64103 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 310896 KiB
Current children cumulated memory: 242624 KiB

[startup+3.11394 s]
/proc/loadavg: 4.15 4.18 4.18 5/267 63522
/proc/meminfo: memFree=78522444/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=540168 memory=372480 CPUtime=3.07 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 47217 0 0 0 224 83 0 0 20 0 1 0 63275337 553132032 93120 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 135042 93120 2400 1147 0 122469 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 544360 KiB
Current children cumulated memory: 375552 KiB

[startup+6.30038 s]
/proc/loadavg: 4.14 4.18 4.18 6/267 63522
/proc/meminfo: memFree=78281752/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=652600 memory=482676 CPUtime=6.25 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 65139 0 0 0 490 135 0 0 20 0 1 0 63275337 668262400 120669 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 163150 120669 2400 1147 0 150577 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 656792 KiB
Current children cumulated memory: 485748 KiB

[startup+12.7004 s]
/proc/loadavg: 4.12 4.18 4.17 5/267 63522
/proc/meminfo: memFree=77852024/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=876544 memory=686360 CPUtime=12.63 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 92757 0 0 0 1002 261 0 0 20 0 1 0 63275337 897581056 171590 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 219136 171590 2432 1147 0 206563 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 880736 KiB
Current children cumulated memory: 689432 KiB

[startup+25.5004 s]
/proc/loadavg: 4.10 4.17 4.17 5/267 63522
/proc/meminfo: memFree=76741944/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=1271380 memory=1074724 CPUtime=25.4 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 165833 0 0 0 2059 481 0 0 20 0 1 0 63275337 1301893120 268681 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 317845 268681 2432 1147 0 305272 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 1275572 KiB
Current children cumulated memory: 1077796 KiB

[startup+51.1141 s]
/proc/loadavg: 4.14 4.17 4.17 5/267 63522
/proc/meminfo: memFree=74883784/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=1926192 memory=1588544 CPUtime=50.96 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 260671 0 0 0 4160 936 0 0 20 0 1 0 63275337 1972420608 397136 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 481548 397136 2432 1147 0 468975 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1930384 KiB
Current children cumulated memory: 1591616 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/267 63570
/proc/meminfo: memFree=88407156/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=2799600 memory=2406020 CPUtime=102 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 408771 0 0 0 8892 1308 0 0 20 0 1 0 63275337 2866790400 601505 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 699900 601505 2432 1147 0 687327 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 2803792 KiB
Current children cumulated memory: 2409092 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.17 4.17 5/267 63572
/proc/meminfo: memFree=82798928/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=3107716 memory=2689880 CPUtime=161.8 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 467781 0 0 0 14443 1737 0 0 20 0 1 0 63275337 3182301184 672470 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 776929 672470 2432 1147 0 764356 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 3111908 KiB
Current children cumulated memory: 2692952 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/268 63579
/proc/meminfo: memFree=76505832/131382112 swapFree=33010684/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=4170796 memory=3531076 CPUtime=221.62 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 614794 0 0 0 20012 2150 0 0 20 0 1 0 63275337 4270895104 882769 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 1042699 882769 2432 1147 0 1030126 0

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

[startup+3282.3 s]
/proc/loadavg: 4.22 4.32 4.26 6/264 63827
/proc/meminfo: memFree=20879304/131382112 swapFree=33010416/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=16770976 memory=14219832 CPUtime=3271.82 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 2609713 0 0 0 317181 10001 0 0 20 0 1 0 63275337 17173479424 3554958 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4192744 3554958 2432 1147 0 4180171 0
Current children cumulated CPU time: 3271.82 s
Current children cumulated vsize: 16775168 KiB
Current children cumulated memory: 14222904 KiB

[startup+3342.3 s]
/proc/loadavg: 4.55 4.40 4.29 6/264 63840
/proc/meminfo: memFree=17291420/131382112 swapFree=33010416/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=16821064 memory=14228280 CPUtime=3331.63 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 2612081 0 0 0 322928 10235 0 0 20 0 1 0 63275337 17224769536 3557070 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4205266 3557070 2432 1147 0 4192693 0
Current children cumulated CPU time: 3331.63 s
Current children cumulated vsize: 16825256 KiB
Current children cumulated memory: 14231352 KiB

[startup+3402.3 s]
/proc/loadavg: 4.27 4.34 4.27 6/261 63842
/proc/meminfo: memFree=13720420/131382112 swapFree=33010416/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=17076184 memory=14460460 CPUtime=3391.47 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 2666425 0 0 0 328703 10444 0 0 20 0 1 0 63275337 17486012416 3615115 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4269046 3615115 2432 1147 0 4256473 0
Current children cumulated CPU time: 3391.47 s
Current children cumulated vsize: 17080376 KiB
Current children cumulated memory: 14463532 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.29 4.26 6/261 63844
/proc/meminfo: memFree=11385236/131382112 swapFree=33010416/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=17172232 memory=14556780 CPUtime=3451.31 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 2691919 0 0 0 334504 10627 0 0 20 0 1 0 63275337 17584365568 3639195 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4293058 3639195 2432 1147 0 4280485 0
Current children cumulated CPU time: 3451.31 s
Current children cumulated vsize: 17176424 KiB
Current children cumulated memory: 14559852 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.25 4.25 6/268 63853
/proc/meminfo: memFree=8950220/131382112 swapFree=33010416/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=17364936 memory=14708388 CPUtime=3511.16 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 2744124 0 0 0 340324 10792 0 0 20 0 1 0 63275337 17781694464 3677097 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4341234 3677097 2432 1147 0 4328661 0
Current children cumulated CPU time: 3511.16 s
Current children cumulated vsize: 17369128 KiB
Current children cumulated memory: 14711460 KiB

[startup+3582.3 s]
/proc/loadavg: 4.60 4.36 4.29 6/267 63855
/proc/meminfo: memFree=5651244/131382112 swapFree=33010416/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=17364936 memory=14708388 CPUtime=3571.01 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 2750982 0 0 0 346211 10890 0 0 20 0 1 0 63275337 17781694464 3677097 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4341234 3677097 2432 1147 0 4328661 0
Current children cumulated CPU time: 3571.01 s
Current children cumulated vsize: 17369128 KiB
Current children cumulated memory: 14711460 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.4 s]
/proc/loadavg: 4.76 4.42 4.31 6/267 63855
/proc/meminfo: memFree=4362260/131382112 swapFree=33010416/33010684
[pid=63520] ppid=63517 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/63520/stat : 63520 (run-opt-log.sh) S 63517 63520 62677 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 63275336 4292608 768 18446744073709551615 94543944237056 94543945131589 140726100593200 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94543945370640 94543945418384 94543970738176 140726100601121 140726100601316 140726100601316 140726100606918 0
/proc/63520/statm: 1048 768 704 219 0 110 0
[pid=63522] ppid=63520 vsize=17364936 memory=14708772 CPUtime=3600.03 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63520 63520 62677 0 -1 4194304 2752776 0 0 0 349085 10918 0 0 20 0 1 0 63275337 17781694464 3677193 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4341234 3677193 2432 1147 0 4328661 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 17369128 KiB
Current children cumulated memory: 14711844 KiB

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

[startup+3611.41 s]
# the end of solver process 63520 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.005312 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.76 4.42 4.31 4/266 63855
/proc/meminfo: memFree=4245476/131382112 swapFree=33010416/33010684
[pid=63522] ppid=63517 vsize=17364936 memory=14709156 CPUtime=3600.79 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63517 63520 62677 0 -1 4194304 2752783 0 1 0 349090 10989 0 0 20 0 1 0 63275337 17781694464 3677289 18446744073709551615 4227072 8923433 140727075475600 0 0 256 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 9
/proc/63522/statm: 4341234 3677289 2528 1147 0 4328661 0
??? kill 63522 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3490.94 s, system=111.319 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+3612.8 s]
/proc/loadavg: 4.76 4.42 4.31 8/266 63855
/proc/meminfo: memFree=4269488/131382112 swapFree=33010416/33010684
[pid=63522] ppid=63517 vsize=17364936 memory=14709156 CPUtime=3600.7 cores=4,6
/proc/63522/stat : 63522 (roundingsat) D 63517 63520 62677 0 -1 4194304 2752783 0 1 0 349089 10981 0 0 20 0 1 0 63275337 17781694464 3677289 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4341234 3677289 2528 1147 0 4328661 0
Current cumulated CPU time of completed processes: 0.005312 s
Current children cumulated CPU time: 3600.7 s
Current children cumulated vsize: 17364936 KiB
Current children cumulated memory: 14709156 KiB

[startup+3613.2 s]
/proc/loadavg: 4.76 4.42 4.31 6/266 63855
/proc/meminfo: memFree=4252904/131382112 swapFree=33010416/33010684
[pid=63522] ppid=63517 vsize=17364936 memory=14709156 CPUtime=3600.76 cores=4,6
/proc/63522/stat : 63522 (roundingsat) D 63517 63520 62677 0 -1 4194304 2752783 0 1 0 349090 10986 0 0 20 0 1 0 63275337 17781694464 3677289 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4341234 3677289 2528 1147 0 4328661 0
Current cumulated CPU time of completed processes: 0.005312 s
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 17364936 KiB
Current children cumulated memory: 14709156 KiB

[startup+3613.4 s]
/proc/loadavg: 4.76 4.42 4.31 6/266 63855
/proc/meminfo: memFree=4252904/131382112 swapFree=33010416/33010684
[pid=63522] ppid=63517 vsize=17364936 memory=14709156 CPUtime=3600.79 cores=4,6
/proc/63522/stat : 63522 (roundingsat) R 63517 63520 62677 0 -1 4194304 2752783 0 1 0 349090 10989 0 0 20 0 1 0 63275337 17781694464 3677289 18446744073709551615 4227072 8923433 140727075475600 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 37167104 140727075481938 140727075482152 140727075482152 140727075487722 0
/proc/63522/statm: 4341234 3677289 2528 1147 0 4328661 0
Current cumulated CPU time of completed processes: 0.005312 s
Current children cumulated CPU time: 3600.79 s
Current children cumulated vsize: 17364936 KiB
Current children cumulated memory: 14709156 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3620.21
CPU time (s): 3602.26
CPU user time (s): 3490.94
CPU system time (s): 111.319
CPU usage (%): 99.5042
Max. virtual memory (cumulated for all children) (KiB): 17415748
Max. memory (cumulated for all children) (KiB): 14757996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3490.94
system time used= 111.319
maximum resident set size= 14754924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2752991
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 123324024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144497
involuntary context switches= 5745


# summary of solver processes directly reported to runsolver:
#   pid: 63520,63522
#   total CPU time (s): 3602.26
#   total CPU user time (s): 3490.94
#   total CPU system time (s): 111.319

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7514 second user time and 38.9282 second system time

The end

Begin job on nodeC012 at 2025-07-02 19:05:56
IDJOB=4504895
IDBENCH=155700
IDSOLVER=3351
FILE ID=nodeC012/4504895-1751475956
RUNJOBID= nodeC012-1751471575-62688
SLURM_JOB_ID= 9598495
Free space on /tmp= 432128 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_2_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-4504895-1751475956/watcher-4504895-1751475956 -o /tmp/evaluation-result-4504895-1751475956/solver-4504895-1751475956 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62688 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504895-1751475956.opb PROOFDIR/proof-4504895-1751475956

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

MD5SUM BENCH= 5a166d04cd3e9d201c89375e6d39e5e9
RANDOM SEED=1399930071

nodeC012 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	: 0xb00001f
cpu MHz		: 3660.641
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.101
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.686
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.397
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3092.620
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 3662.255
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.470
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
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	: 0xb00001f
cpu MHz		: 1197.356
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.39
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        79127712 kB
MemAvailable:   122927612 kB
Buffers:            3280 kB
Cached:         44556044 kB
SwapCached:            0 kB
Active:          7097480 kB
Inactive:       44244180 kB
Active(anon):    6800380 kB
Inactive(anon):        0 kB
Active(file):     297100 kB
Inactive(file): 44244180 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:           9232584 kB
Writeback:             0 kB
AnonPages:       6785508 kB
Mapped:           116740 kB
Shmem:             17960 kB
KReclaimable:     196108 kB
Slab:             569916 kB
SReclaimable:     196108 kB
SUnreclaim:       373808 kB
KernelStack:        4304 kB
PageTables:        17328 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    7985864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149576 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2201600 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:      187208 kB
DirectMap2M:     8103936 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431896 MiB
End job on nodeC012 at 2025-07-02 20:06:17