0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
1.65/1.78	c #variables 250000 #constraints 345849
1.65/1.78	c objective is ce32 
1.76/1.86	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.76/1.86	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.76/1.86	c GLOBAL bounds - >= 0 @ 1.44889
1.97/2.08	c GLOBAL bounds - >= 0 @ 1.54956
2.06/2.15	c GLOBAL bounds - >= 4925 @ 1.57971
24.51/24.63	c GLOBAL bounds - >= 4925 @ 23.9149
24.70/24.84	c GLOBAL bounds - >= 4925 @ 24.0059
24.70/24.85	c GLOBAL bounds - >= 4925 @ 24.0094
24.91/25.08	c GLOBAL bounds - >= 4925 @ 24.1296
24.91/25.08	c GLOBAL bounds - >= 4925 @ 24.1338
25.21/25.32	c GLOBAL bounds - >= 4925 @ 24.2415
25.21/25.33	c GLOBAL bounds - >= 4925 @ 24.2464
25.41/25.54	c GLOBAL bounds - >= 4925 @ 24.3388
25.41/25.55	c GLOBAL bounds - >= 4925 @ 24.3418
25.61/25.79	c GLOBAL bounds - >= 4925 @ 24.4616
25.61/25.79	c GLOBAL bounds - >= 4925 @ 24.4646
25.91/26.01	c GLOBAL bounds - >= 4925 @ 24.5581
25.91/26.01	c GLOBAL bounds - >= 4925 @ 24.5604
26.10/26.25	c GLOBAL bounds - >= 4925 @ 24.668
26.10/26.26	c GLOBAL bounds - >= 4925 @ 24.671
26.31/26.47	c GLOBAL bounds - >= 4925 @ 24.7483
26.31/26.47	c GLOBAL bounds - >= 4925 @ 24.751
26.60/26.75	c GLOBAL bounds - >= 4925 @ 24.9083
26.60/26.75	c GLOBAL bounds - >= 4925 @ 24.9115
26.91/27.00	c GLOBAL bounds - >= 4925 @ 25.0347
27.01/27.17	c GLOBAL bounds - >= 4998 @ 25.166
27.20/27.33	c GLOBAL bounds - >= 4998 @ 25.3231
27.40/27.58	c GLOBAL bounds - >= 4998 @ 25.4436
27.40/27.58	c GLOBAL bounds - >= 4998 @ 25.4456
27.70/27.83	c GLOBAL bounds - >= 4998 @ 25.5561
27.70/27.83	c GLOBAL bounds - >= 4998 @ 25.5598
27.91/28.08	c GLOBAL bounds - >= 4998 @ 25.6834
27.91/28.08	c GLOBAL bounds - >= 4998 @ 25.6853
28.20/28.33	c GLOBAL bounds - >= 4998 @ 25.8139
28.20/28.34	c GLOBAL bounds - >= 4998 @ 25.816
28.50/28.60	c GLOBAL bounds - >= 4998 @ 25.9555
28.50/28.61	c GLOBAL bounds - >= 4998 @ 25.9587
28.70/28.85	c GLOBAL bounds - >= 4998 @ 26.0792
28.70/28.86	c GLOBAL bounds - >= 4998 @ 26.0831
29.01/29.11	c GLOBAL bounds - >= 4998 @ 26.2082
29.01/29.12	c GLOBAL bounds - >= 4998 @ 26.2146
29.20/29.37	c GLOBAL bounds - >= 4998 @ 26.3374
29.20/29.37	c GLOBAL bounds - >= 4998 @ 26.3411
29.50/29.62	c GLOBAL bounds - >= 4998 @ 26.4709
29.50/29.63	c GLOBAL bounds - >= 4998 @ 26.4738
29.70/29.88	c GLOBAL bounds - >= 4998 @ 26.6068
30.09/30.26	c GLOBAL bounds - >= 5018 @ 26.9543
30.30/30.45	c GLOBAL bounds - >= 5018 @ 27.1344
30.60/30.71	c GLOBAL bounds - >= 5018 @ 27.2387
30.60/30.71	c GLOBAL bounds - >= 5018 @ 27.2426
30.80/30.98	c GLOBAL bounds - >= 5018 @ 27.3571
30.80/30.98	c GLOBAL bounds - >= 5018 @ 27.3607
31.10/31.24	c GLOBAL bounds - >= 5018 @ 27.4752
31.10/31.25	c GLOBAL bounds - >= 5018 @ 27.48
31.39/31.51	c GLOBAL bounds - >= 5018 @ 27.5878
31.39/31.51	c GLOBAL bounds - >= 5018 @ 27.5923
31.60/31.77	c GLOBAL bounds - >= 5018 @ 27.699
31.60/31.78	c GLOBAL bounds - >= 5018 @ 27.7026
31.90/32.07	c GLOBAL bounds - >= 5018 @ 27.8298
31.90/32.07	c GLOBAL bounds - >= 5018 @ 27.8331
32.19/32.34	c GLOBAL bounds - >= 5018 @ 27.936
32.19/32.34	c GLOBAL bounds - >= 5018 @ 27.939
32.50/32.60	c GLOBAL bounds - >= 5018 @ 28.0469
32.50/32.61	c GLOBAL bounds - >= 5018 @ 28.0489
32.69/32.87	c GLOBAL bounds - >= 5018 @ 28.1574
32.69/32.87	c GLOBAL bounds - >= 5018 @ 28.1612
33.00/33.13	c GLOBAL bounds - >= 5018 @ 28.2673
33.59/33.70	c GLOBAL bounds - >= 5038 @ 28.7672
33.69/33.85	c GLOBAL bounds - >= 5038 @ 28.9188
33.99/34.12	c GLOBAL bounds - >= 5038 @ 29.0113
33.99/34.12	c GLOBAL bounds - >= 5038 @ 29.0151
34.19/34.38	c GLOBAL bounds - >= 5038 @ 29.1262
34.19/34.39	c GLOBAL bounds - >= 5038 @ 29.13
34.49/34.65	c GLOBAL bounds - >= 5038 @ 29.2299
34.49/34.65	c GLOBAL bounds - >= 5038 @ 29.233
34.79/34.91	c GLOBAL bounds - >= 5038 @ 29.363
34.79/34.92	c GLOBAL bounds - >= 5038 @ 29.3671
34.99/35.18	c GLOBAL bounds - >= 5038 @ 29.472
34.99/35.19	c GLOBAL bounds - >= 5038 @ 29.4764
35.29/35.45	c GLOBAL bounds - >= 5038 @ 29.5797
35.29/35.45	c GLOBAL bounds - >= 5038 @ 29.584
35.59/35.72	c GLOBAL bounds - >= 5038 @ 29.6963
35.59/35.72	c GLOBAL bounds - >= 5038 @ 29.6995
35.79/35.98	c GLOBAL bounds - >= 5038 @ 29.7983
35.79/35.99	c GLOBAL bounds - >= 5038 @ 29.8018
36.08/36.25	c GLOBAL bounds - >= 5038 @ 29.9143
36.08/36.26	c GLOBAL bounds - >= 5038 @ 29.9187
36.39/36.52	c GLOBAL bounds - >= 5038 @ 30.0349
37.38/37.57	c GLOBAL bounds - >= 5058 @ 30.9314
37.58/37.77	c GLOBAL bounds - >= 5058 @ 31.1112
37.89/38.03	c GLOBAL bounds - >= 5058 @ 31.2154
37.89/38.04	c GLOBAL bounds - >= 5058 @ 31.2195
38.18/38.30	c GLOBAL bounds - >= 5058 @ 31.3296
38.18/38.30	c GLOBAL bounds - >= 5058 @ 31.3332
38.38/38.57	c GLOBAL bounds - >= 5058 @ 31.4266
38.38/38.57	c GLOBAL bounds - >= 5058 @ 31.4322
38.68/38.83	c GLOBAL bounds - >= 5058 @ 31.5475
38.68/38.84	c GLOBAL bounds - >= 5058 @ 31.5525
38.99/39.10	c GLOBAL bounds - >= 5058 @ 31.6578
38.99/39.11	c GLOBAL bounds - >= 5058 @ 31.6617
39.18/39.37	c GLOBAL bounds - >= 5058 @ 31.765
39.18/39.38	c GLOBAL bounds - >= 5058 @ 31.7709
39.48/39.64	c GLOBAL bounds - >= 5058 @ 31.8827
39.48/39.65	c GLOBAL bounds - >= 5058 @ 31.8859
39.78/39.91	c GLOBAL bounds - >= 5058 @ 31.994
39.78/39.92	c GLOBAL bounds - >= 5058 @ 31.9976
39.98/40.18	c GLOBAL bounds - >= 5058 @ 32.1032
39.98/40.18	c GLOBAL bounds - >= 5058 @ 32.1085
40.28/40.45	c GLOBAL bounds - >= 5058 @ 32.215
41.28/41.49	c GLOBAL bounds - >= 5078 @ 33.1603
41.47/41.65	c GLOBAL bounds - >= 5078 @ 33.3139
41.78/41.91	c GLOBAL bounds - >= 5078 @ 33.4084
41.78/41.92	c GLOBAL bounds - >= 5078 @ 33.413
41.98/42.18	c GLOBAL bounds - >= 5078 @ 33.5193
41.98/42.19	c GLOBAL bounds - >= 5078 @ 33.523
42.27/42.45	c GLOBAL bounds - >= 5078 @ 33.6426
42.27/42.46	c GLOBAL bounds - >= 5078 @ 33.6466
42.58/42.72	c GLOBAL bounds - >= 5078 @ 33.7528
42.58/42.73	c GLOBAL bounds - >= 5078 @ 33.7569
42.78/42.99	c GLOBAL bounds - >= 5078 @ 33.8703
42.78/43.00	c GLOBAL bounds - >= 5078 @ 33.8743
43.07/43.26	c GLOBAL bounds - >= 5078 @ 33.9841
43.07/43.27	c GLOBAL bounds - >= 5078 @ 33.9891
43.38/43.53	c GLOBAL bounds - >= 5078 @ 34.0874
43.38/43.54	c GLOBAL bounds - >= 5078 @ 34.0925
43.67/43.80	c GLOBAL bounds - >= 5078 @ 34.2052
43.67/43.81	c GLOBAL bounds - >= 5078 @ 34.2112
43.88/44.07	c GLOBAL bounds - >= 5078 @ 34.3151
43.88/44.08	c GLOBAL bounds - >= 5078 @ 34.3211
44.18/44.35	c GLOBAL bounds - >= 5078 @ 34.4251
45.07/45.24	c GLOBAL bounds - >= 5098 @ 35.1804
45.27/45.40	c GLOBAL bounds - >= 5098 @ 35.3324
45.47/45.66	c GLOBAL bounds - >= 5098 @ 35.4473
45.47/45.67	c GLOBAL bounds - >= 5098 @ 35.4517
45.77/45.93	c GLOBAL bounds - >= 5098 @ 35.5659
45.77/45.94	c GLOBAL bounds - >= 5098 @ 35.5712
46.07/46.20	c GLOBAL bounds - >= 5098 @ 35.6821
46.07/46.21	c GLOBAL bounds - >= 5098 @ 35.6865
46.27/46.47	c GLOBAL bounds - >= 5098 @ 35.7937
46.27/46.48	c GLOBAL bounds - >= 5098 @ 35.7973
46.57/46.74	c GLOBAL bounds - >= 5098 @ 35.8974
46.57/46.75	c GLOBAL bounds - >= 5098 @ 35.9033
46.87/47.02	c GLOBAL bounds - >= 5098 @ 36.0207
46.87/47.02	c GLOBAL bounds - >= 5098 @ 36.0254
47.07/47.29	c GLOBAL bounds - >= 5098 @ 36.1402
47.17/47.30	c GLOBAL bounds - >= 5098 @ 36.1453
47.36/47.56	c GLOBAL bounds - >= 5098 @ 36.2654
47.36/47.57	c GLOBAL bounds - >= 5098 @ 36.2734
47.66/47.83	c GLOBAL bounds - >= 5098 @ 36.3787
47.66/47.84	c GLOBAL bounds - >= 5098 @ 36.3857
47.97/48.10	c GLOBAL bounds - >= 5098 @ 36.5027
48.97/49.13	c GLOBAL bounds - >= 5098 @ 37.3181
49.86/50.09	c GLOBAL bounds - >= 5116 @ 38.177
50.06/50.27	c GLOBAL bounds - >= 5116 @ 38.3286
50.06/50.28	c GLOBAL bounds - >= 5116 @ 38.3328
50.36/50.54	c GLOBAL bounds - >= 5116 @ 38.4486
50.36/50.55	c GLOBAL bounds - >= 5116 @ 38.4525
50.66/50.82	c GLOBAL bounds - >= 5116 @ 38.5636
50.66/50.82	c GLOBAL bounds - >= 5116 @ 38.5681
50.87/51.09	c GLOBAL bounds - >= 5116 @ 38.6718
50.87/51.10	c GLOBAL bounds - >= 5116 @ 38.677
51.15/51.36	c GLOBAL bounds - >= 5116 @ 38.794
51.15/51.37	c GLOBAL bounds - >= 5116 @ 38.7992
51.46/51.63	c GLOBAL bounds - >= 5116 @ 38.8886
51.46/51.64	c GLOBAL bounds - >= 5116 @ 38.8934
51.76/51.91	c GLOBAL bounds - >= 5116 @ 38.9918
51.76/51.92	c GLOBAL bounds - >= 5116 @ 38.9982
51.96/52.18	c GLOBAL bounds - >= 5116 @ 39.1136
51.96/52.19	c GLOBAL bounds - >= 5116 @ 39.1211
52.26/52.45	c GLOBAL bounds - >= 5116 @ 39.2332
52.26/52.46	c GLOBAL bounds - >= 5116 @ 39.239
52.55/52.73	c GLOBAL bounds - >= 5116 @ 39.3527
52.55/52.74	c GLOBAL bounds - >= 5116 @ 39.3572
52.86/53.00	c GLOBAL bounds - >= 5116 @ 39.4717
54.05/54.24	c GLOBAL bounds - >= 5116 @ 40.387
54.86/55.07	c GLOBAL bounds - >= 5136 @ 41.1609
55.05/55.27	c GLOBAL bounds - >= 5136 @ 41.358
55.35/55.52	c GLOBAL bounds - >= 5136 @ 41.4573
55.35/55.53	c GLOBAL bounds - >= 5136 @ 41.4644
55.55/55.79	c GLOBAL bounds - >= 5136 @ 41.5832
55.65/55.80	c GLOBAL bounds - >= 5136 @ 41.5892
55.85/56.07	c GLOBAL bounds - >= 5136 @ 41.7085
55.85/56.08	c GLOBAL bounds - >= 5136 @ 41.7136
56.15/56.34	c GLOBAL bounds - >= 5136 @ 41.8326
56.15/56.35	c GLOBAL bounds - >= 5136 @ 41.8396
56.44/56.62	c GLOBAL bounds - >= 5136 @ 41.9574
56.44/56.62	c GLOBAL bounds - >= 5136 @ 41.9622
56.65/56.89	c GLOBAL bounds - >= 5136 @ 42.0672
56.75/56.90	c GLOBAL bounds - >= 5136 @ 42.0711
56.95/57.16	c GLOBAL bounds - >= 5136 @ 42.1894
56.95/57.17	c GLOBAL bounds - >= 5136 @ 42.1962
57.24/57.44	c GLOBAL bounds - >= 5136 @ 42.3183
57.24/57.45	c GLOBAL bounds - >= 5136 @ 42.3244
57.54/57.71	c GLOBAL bounds - >= 5136 @ 42.437
57.54/57.72	c GLOBAL bounds - >= 5136 @ 42.4422
57.75/57.99	c GLOBAL bounds - >= 5136 @ 42.5553
58.85/59.06	c GLOBAL bounds - >= 5136 @ 43.3885
59.85/60.09	c GLOBAL bounds - >= 5154 @ 44.3389
60.04/60.24	c GLOBAL bounds - >= 5154 @ 44.4913
60.25/60.49	c GLOBAL bounds - >= 5154 @ 44.5852
60.34/60.50	c GLOBAL bounds - >= 5154 @ 44.5921
60.54/60.77	c GLOBAL bounds - >= 5154 @ 44.6914
60.54/60.78	c GLOBAL bounds - >= 5154 @ 44.6967
60.85/61.04	c GLOBAL bounds - >= 5154 @ 44.8068
60.85/61.05	c GLOBAL bounds - >= 5154 @ 44.8121
61.14/61.32	c GLOBAL bounds - >= 5154 @ 44.9206
61.14/61.33	c GLOBAL bounds - >= 5154 @ 44.9269
61.34/61.59	c GLOBAL bounds - >= 5154 @ 45.0373
61.44/61.60	c GLOBAL bounds - >= 5154 @ 45.0434
61.63/61.87	c GLOBAL bounds - >= 5154 @ 45.1565
61.63/61.88	c GLOBAL bounds - >= 5154 @ 45.1621
61.95/62.14	c GLOBAL bounds - >= 5154 @ 45.2728
61.95/62.15	c GLOBAL bounds - >= 5154 @ 45.2797
62.24/62.42	c GLOBAL bounds - >= 5154 @ 45.3835
62.24/62.43	c GLOBAL bounds - >= 5154 @ 45.3908
62.44/62.70	c GLOBAL bounds - >= 5154 @ 45.5104
62.54/62.71	c GLOBAL bounds - >= 5154 @ 45.5163
62.73/62.97	c GLOBAL bounds - >= 5154 @ 45.6416
63.84/64.03	c GLOBAL bounds - >= 5174 @ 46.6306
64.03/64.21	c GLOBAL bounds - >= 5174 @ 46.8018
64.23/64.47	c GLOBAL bounds - >= 5174 @ 46.9164
64.23/64.48	c GLOBAL bounds - >= 5174 @ 46.9227
64.53/64.75	c GLOBAL bounds - >= 5174 @ 47.0424
64.53/64.76	c GLOBAL bounds - >= 5174 @ 47.0489
64.83/65.02	c GLOBAL bounds - >= 5174 @ 47.1614
64.83/65.03	c GLOBAL bounds - >= 5174 @ 47.1688
65.13/65.30	c GLOBAL bounds - >= 5174 @ 47.2739
65.13/65.31	c GLOBAL bounds - >= 5174 @ 47.2803
65.33/65.57	c GLOBAL bounds - >= 5174 @ 47.3979
65.33/65.58	c GLOBAL bounds - >= 5174 @ 47.4025
65.63/65.85	c GLOBAL bounds - >= 5174 @ 47.5117
65.63/65.86	c GLOBAL bounds - >= 5174 @ 47.5172
65.94/66.12	c GLOBAL bounds - >= 5174 @ 47.6218
65.94/66.13	c GLOBAL bounds - >= 5174 @ 47.6294
66.13/66.40	c GLOBAL bounds - >= 5174 @ 47.7496
66.23/66.41	c GLOBAL bounds - >= 5174 @ 47.7556
66.43/66.67	c GLOBAL bounds - >= 5174 @ 47.865
66.43/66.68	c GLOBAL bounds - >= 5174 @ 47.8716
66.73/66.95	c GLOBAL bounds - >= 5174 @ 47.9875
67.83/68.08	c GLOBAL bounds - >= 5194 @ 49.0512
68.03/68.26	c GLOBAL bounds - >= 5194 @ 49.2199
68.33/68.52	c GLOBAL bounds - >= 5194 @ 49.3364
68.33/68.54	c GLOBAL bounds - >= 5194 @ 49.3424
68.63/68.80	c GLOBAL bounds - >= 5194 @ 49.4539
68.63/68.81	c GLOBAL bounds - >= 5194 @ 49.4611
68.83/69.07	c GLOBAL bounds - >= 5194 @ 49.5705
68.83/69.09	c GLOBAL bounds - >= 5194 @ 49.5745
69.13/69.35	c GLOBAL bounds - >= 5194 @ 49.6886
69.13/69.36	c GLOBAL bounds - >= 5194 @ 49.6957
69.42/69.63	c GLOBAL bounds - >= 5194 @ 49.8105
69.42/69.64	c GLOBAL bounds - >= 5194 @ 49.816
69.72/69.90	c GLOBAL bounds - >= 5194 @ 49.9328
69.72/69.91	c GLOBAL bounds - >= 5194 @ 49.9382
69.93/70.18	c GLOBAL bounds - >= 5194 @ 50.0441
69.93/70.19	c GLOBAL bounds - >= 5194 @ 50.0512
70.22/70.45	c GLOBAL bounds - >= 5194 @ 50.1576
70.22/70.46	c GLOBAL bounds - >= 5194 @ 50.1649
70.52/70.73	c GLOBAL bounds - >= 5194 @ 50.2801
70.52/70.74	c GLOBAL bounds - >= 5194 @ 50.2865
70.82/71.00	c GLOBAL bounds - >= 5194 @ 50.401
72.42/72.62	c GLOBAL bounds - >= 5214 @ 51.7333
72.52/72.79	c GLOBAL bounds - >= 5214 @ 51.8943
72.82/73.06	c GLOBAL bounds - >= 5214 @ 51.9985
72.82/73.07	c GLOBAL bounds - >= 5214 @ 52.0041
73.11/73.33	c GLOBAL bounds - >= 5214 @ 52.1152
73.11/73.35	c GLOBAL bounds - >= 5214 @ 52.1211
73.42/73.61	c GLOBAL bounds - >= 5214 @ 52.2377
73.42/73.62	c GLOBAL bounds - >= 5214 @ 52.247
73.62/73.89	c GLOBAL bounds - >= 5214 @ 52.3582
73.72/73.90	c GLOBAL bounds - >= 5214 @ 52.3623
73.92/74.17	c GLOBAL bounds - >= 5214 @ 52.4727
73.92/74.18	c GLOBAL bounds - >= 5214 @ 52.4796
74.22/74.44	c GLOBAL bounds - >= 5214 @ 52.5903
74.22/74.46	c GLOBAL bounds - >= 5214 @ 52.5967
74.51/74.72	c GLOBAL bounds - >= 5214 @ 52.7095
74.51/74.73	c GLOBAL bounds - >= 5214 @ 52.7172
74.71/75.00	c GLOBAL bounds - >= 5214 @ 52.8381
74.82/75.01	c GLOBAL bounds - >= 5214 @ 52.8477
75.01/75.28	c GLOBAL bounds - >= 5214 @ 52.9446
75.01/75.29	c GLOBAL bounds - >= 5214 @ 52.9552
75.31/75.55	c GLOBAL bounds - >= 5214 @ 53.0675
76.70/77.00	c #Conflicts:       1000 | #Constraints:       5172
76.70/77.00	c GLOBAL bounds - >= 5234 @ 54.4105
77.01/77.21	c GLOBAL bounds - >= 5234 @ 54.611
77.21/77.47	c GLOBAL bounds - >= 5234 @ 54.7224
77.21/77.49	c GLOBAL bounds - >= 5234 @ 54.7283
77.51/77.75	c GLOBAL bounds - >= 5234 @ 54.8375
77.51/77.77	c GLOBAL bounds - >= 5234 @ 54.8463
77.82/78.03	c GLOBAL bounds - >= 5234 @ 54.9653
77.82/78.04	c GLOBAL bounds - >= 5234 @ 54.9742
78.11/78.31	c GLOBAL bounds - >= 5234 @ 55.0757
78.11/78.32	c GLOBAL bounds - >= 5234 @ 55.0825
78.31/78.59	c GLOBAL bounds - >= 5234 @ 55.1908
78.41/78.60	c GLOBAL bounds - >= 5234 @ 55.1977
78.61/78.87	c GLOBAL bounds - >= 5234 @ 55.3034
78.61/78.88	c GLOBAL bounds - >= 5234 @ 55.3137
78.91/79.15	c GLOBAL bounds - >= 5234 @ 55.4084
78.91/79.16	c GLOBAL bounds - >= 5234 @ 55.4166
79.20/79.43	c GLOBAL bounds - >= 5234 @ 55.5197
79.20/79.44	c GLOBAL bounds - >= 5234 @ 55.526
79.50/79.71	c GLOBAL bounds - >= 5234 @ 55.634
79.50/79.72	c GLOBAL bounds - >= 5234 @ 55.6436
79.71/79.99	c GLOBAL bounds - >= 5234 @ 55.7681
81.30/81.51	c GLOBAL bounds - >= 5254 @ 57.2017
81.40/81.68	c GLOBAL bounds - >= 5254 @ 57.3676
81.70/81.95	c GLOBAL bounds - >= 5254 @ 57.4793
81.70/81.96	c GLOBAL bounds - >= 5254 @ 57.4864
82.00/82.23	c GLOBAL bounds - >= 5254 @ 57.5987
82.00/82.24	c GLOBAL bounds - >= 5254 @ 57.6055
82.30/82.51	c GLOBAL bounds - >= 5254 @ 57.7253
82.30/82.52	c GLOBAL bounds - >= 5254 @ 57.7322
82.50/82.79	c GLOBAL bounds - >= 5254 @ 57.835
82.59/82.80	c GLOBAL bounds - >= 5254 @ 57.842
82.80/83.07	c GLOBAL bounds - >= 5254 @ 57.9613
82.80/83.09	c GLOBAL bounds - >= 5254 @ 57.9689
83.09/83.35	c GLOBAL bounds - >= 5254 @ 58.075
83.09/83.37	c GLOBAL bounds - >= 5254 @ 58.0857
83.40/83.63	c GLOBAL bounds - >= 5254 @ 58.1883
83.40/83.65	c GLOBAL bounds - >= 5254 @ 58.1981
83.70/83.91	c GLOBAL bounds - >= 5254 @ 58.319
83.70/83.93	c GLOBAL bounds - >= 5254 @ 58.3319
83.99/84.20	c GLOBAL bounds - >= 5254 @ 58.4481
83.99/84.21	c GLOBAL bounds - >= 5254 @ 58.4561
84.20/84.48	c GLOBAL bounds - >= 5254 @ 58.5583
85.89/86.13	c GLOBAL bounds - >= 5274 @ 60.0993
86.09/86.38	c GLOBAL bounds - >= 5274 @ 60.3122
86.39/86.65	c GLOBAL bounds - >= 5274 @ 60.4273
86.39/86.66	c GLOBAL bounds - >= 5274 @ 60.432
86.69/86.93	c GLOBAL bounds - >= 5274 @ 60.5481
86.69/86.95	c GLOBAL bounds - >= 5274 @ 60.5547
86.98/87.21	c GLOBAL bounds - >= 5274 @ 60.656
86.98/87.23	c GLOBAL bounds - >= 5274 @ 60.663
87.29/87.50	c GLOBAL bounds - >= 5274 @ 60.7756
87.29/87.51	c GLOBAL bounds - >= 5274 @ 60.7835
87.49/87.78	c GLOBAL bounds - >= 5274 @ 60.8928
87.49/87.80	c GLOBAL bounds - >= 5274 @ 60.9007
87.79/88.06	c GLOBAL bounds - >= 5274 @ 61.0122
87.79/88.08	c GLOBAL bounds - >= 5274 @ 61.019
88.09/88.35	c GLOBAL bounds - >= 5274 @ 61.1351
88.09/88.36	c GLOBAL bounds - >= 5274 @ 61.143
88.38/88.63	c GLOBAL bounds - >= 5274 @ 61.255
88.38/88.65	c GLOBAL bounds - >= 5274 @ 61.265
88.68/88.91	c GLOBAL bounds - >= 5274 @ 61.394
88.68/88.93	c GLOBAL bounds - >= 5274 @ 61.4026
88.89/89.20	c GLOBAL bounds - >= 5274 @ 61.5177
90.79/91.03	c GLOBAL bounds - >= 5274 @ 63.1153
92.38/92.69	c GLOBAL bounds - >= 5292 @ 64.6786
92.58/92.86	c GLOBAL bounds - >= 5292 @ 64.832
92.88/93.11	c GLOBAL bounds - >= 5292 @ 64.9321
92.88/93.12	c GLOBAL bounds - >= 5292 @ 64.9427
93.08/93.39	c GLOBAL bounds - >= 5292 @ 65.0511
93.17/93.41	c GLOBAL bounds - >= 5292 @ 65.0609
93.38/93.67	c GLOBAL bounds - >= 5292 @ 65.1762
93.38/93.69	c GLOBAL bounds - >= 5292 @ 65.1884
93.67/93.96	c GLOBAL bounds - >= 5292 @ 65.2938
93.67/93.97	c GLOBAL bounds - >= 5292 @ 65.3028
93.97/94.24	c GLOBAL bounds - >= 5292 @ 65.4223
93.97/94.26	c GLOBAL bounds - >= 5292 @ 65.4342
94.27/94.53	c GLOBAL bounds - >= 5292 @ 65.5521
94.27/94.54	c GLOBAL bounds - >= 5292 @ 65.5623
94.57/94.81	c GLOBAL bounds - >= 5292 @ 65.6855
94.57/94.83	c GLOBAL bounds - >= 5292 @ 65.6934
94.77/95.09	c GLOBAL bounds - >= 5292 @ 65.8067
94.87/95.11	c GLOBAL bounds - >= 5292 @ 65.8159
95.07/95.38	c GLOBAL bounds - >= 5292 @ 65.9221
95.17/95.40	c GLOBAL bounds - >= 5292 @ 65.9293
95.37/95.66	c GLOBAL bounds - >= 5292 @ 66.055
97.17/97.47	c GLOBAL bounds - >= 5312 @ 67.7866
97.36/97.65	c GLOBAL bounds - >= 5312 @ 67.9491
97.67/97.91	c GLOBAL bounds - >= 5312 @ 68.0619
97.67/97.93	c GLOBAL bounds - >= 5312 @ 68.07
97.97/98.20	c GLOBAL bounds - >= 5312 @ 68.1861
97.97/98.22	c GLOBAL bounds - >= 5312 @ 68.198
98.16/98.48	c GLOBAL bounds - >= 5312 @ 68.3153
98.27/98.50	c GLOBAL bounds - >= 5312 @ 68.3246
98.47/98.77	c GLOBAL bounds - >= 5312 @ 68.4254
98.47/98.79	c GLOBAL bounds - >= 5312 @ 68.4388
98.77/99.06	c GLOBAL bounds - >= 5312 @ 68.5595
98.77/99.08	c GLOBAL bounds - >= 5312 @ 68.5726
99.06/99.34	c GLOBAL bounds - >= 5312 @ 68.6842
99.06/99.36	c GLOBAL bounds - >= 5312 @ 68.6962
99.36/99.63	c GLOBAL bounds - >= 5312 @ 68.82
99.36/99.65	c GLOBAL bounds - >= 5312 @ 68.8272
99.66/99.91	c GLOBAL bounds - >= 5312 @ 68.9381
99.66/99.93	c GLOBAL bounds - >= 5312 @ 68.9473
99.96/100.20	c GLOBAL bounds - >= 5312 @ 69.0555
99.96/100.22	c GLOBAL bounds - >= 5312 @ 69.0672
100.16/100.49	c GLOBAL bounds - >= 5312 @ 69.1742
102.56/102.87	c GLOBAL bounds - >= 5312 @ 70.9569
106.34/106.69	c #Conflicts:       2000 | #Constraints:       6318
106.34/106.69	c INPROCESSING
106.34/106.69	c GARBAGE COLLECT
106.34/106.69	c GLOBAL bounds - >= 5312 @ 74.5153
108.35/108.60	c GLOBAL bounds - >= 5312 @ 76.2002
110.14/110.47	c GLOBAL bounds - >= 5326 @ 78.0045
110.34/110.60	c GLOBAL bounds - >= 5326 @ 78.1231
110.34/110.61	c GLOBAL bounds - >= 5326 @ 78.13
110.53/110.86	c GLOBAL bounds - >= 5326 @ 78.2162
110.53/110.88	c GLOBAL bounds - >= 5326 @ 78.2283
110.84/111.13	c GLOBAL bounds - >= 5326 @ 78.3131
110.84/111.15	c GLOBAL bounds - >= 5326 @ 78.3215
111.13/111.41	c GLOBAL bounds - >= 5326 @ 78.4245
111.13/111.43	c GLOBAL bounds - >= 5326 @ 78.4314
111.33/111.69	c GLOBAL bounds - >= 5326 @ 78.5296
111.44/111.71	c GLOBAL bounds - >= 5326 @ 78.5406
111.63/111.97	c GLOBAL bounds - >= 5326 @ 78.6581
111.63/111.99	c GLOBAL bounds - >= 5326 @ 78.6664
111.93/112.26	c GLOBAL bounds - >= 5326 @ 78.7747
111.93/112.27	c GLOBAL bounds - >= 5326 @ 78.7876
112.23/112.54	c GLOBAL bounds - >= 5326 @ 78.8997
112.23/112.56	c GLOBAL bounds - >= 5326 @ 78.9108
112.53/112.82	c GLOBAL bounds - >= 5326 @ 79.0162
112.53/112.84	c GLOBAL bounds - >= 5326 @ 79.0281
112.83/113.10	c GLOBAL bounds - >= 5326 @ 79.1414
112.83/113.12	c GLOBAL bounds - >= 5326 @ 79.1521
113.04/113.39	c GLOBAL bounds - >= 5326 @ 79.2573
115.12/115.40	c GLOBAL bounds - >= 5348 @ 81.1768
115.22/115.56	c GLOBAL bounds - >= 5348 @ 81.3224
115.52/115.83	c GLOBAL bounds - >= 5348 @ 81.4338
115.52/115.85	c GLOBAL bounds - >= 5348 @ 81.444
115.83/116.11	c GLOBAL bounds - >= 5348 @ 81.5424
115.83/116.13	c GLOBAL bounds - >= 5348 @ 81.5524
116.12/116.40	c GLOBAL bounds - >= 5348 @ 81.6651
116.12/116.41	c GLOBAL bounds - >= 5348 @ 81.6781
116.32/116.68	c GLOBAL bounds - >= 5348 @ 81.7857
116.42/116.70	c GLOBAL bounds - >= 5348 @ 81.7964
116.63/116.96	c GLOBAL bounds - >= 5348 @ 81.9018
116.63/116.98	c GLOBAL bounds - >= 5348 @ 81.9144
116.92/117.25	c GLOBAL bounds - >= 5348 @ 82.0293
116.92/117.27	c GLOBAL bounds - >= 5348 @ 82.0388
117.22/117.53	c GLOBAL bounds - >= 5348 @ 82.1435
117.22/117.55	c GLOBAL bounds - >= 5348 @ 82.1535
117.52/117.81	c GLOBAL bounds - >= 5348 @ 82.2603
117.52/117.83	c GLOBAL bounds - >= 5348 @ 82.2705
117.73/118.10	c GLOBAL bounds - >= 5348 @ 82.3726
117.83/118.12	c GLOBAL bounds - >= 5348 @ 82.3853
118.02/118.38	c GLOBAL bounds - >= 5348 @ 82.5098
120.11/120.41	c GLOBAL bounds - >= 5368 @ 84.4675
120.21/120.59	c GLOBAL bounds - >= 5368 @ 84.642
120.52/120.86	c GLOBAL bounds - >= 5368 @ 84.7504
120.52/120.88	c GLOBAL bounds - >= 5368 @ 84.7569
120.82/121.14	c GLOBAL bounds - >= 5368 @ 84.8626
120.82/121.16	c GLOBAL bounds - >= 5368 @ 84.8738
121.12/121.43	c GLOBAL bounds - >= 5368 @ 84.994
121.12/121.45	c GLOBAL bounds - >= 5368 @ 85.0049
121.42/121.71	c GLOBAL bounds - >= 5368 @ 85.1111
121.42/121.73	c GLOBAL bounds - >= 5368 @ 85.1219
121.61/122.00	c GLOBAL bounds - >= 5368 @ 85.2456
121.72/122.02	c GLOBAL bounds - >= 5368 @ 85.2583
121.91/122.29	c GLOBAL bounds - >= 5368 @ 85.3661
122.02/122.31	c GLOBAL bounds - >= 5368 @ 85.3789
122.21/122.58	c GLOBAL bounds - >= 5368 @ 85.4705
122.32/122.60	c GLOBAL bounds - >= 5368 @ 85.4814
122.51/122.86	c GLOBAL bounds - >= 5368 @ 85.59
122.51/122.88	c GLOBAL bounds - >= 5368 @ 85.6036
122.82/123.15	c GLOBAL bounds - >= 5368 @ 85.7217
122.82/123.17	c GLOBAL bounds - >= 5368 @ 85.7326
123.11/123.43	c GLOBAL bounds - >= 5368 @ 85.8431
125.21/125.58	c GLOBAL bounds - >= 5388 @ 87.9179
125.41/125.76	c GLOBAL bounds - >= 5388 @ 88.0894
125.71/126.03	c GLOBAL bounds - >= 5388 @ 88.2153
125.71/126.05	c GLOBAL bounds - >= 5388 @ 88.2285
126.00/126.31	c GLOBAL bounds - >= 5388 @ 88.334
126.00/126.33	c GLOBAL bounds - >= 5388 @ 88.3441
126.30/126.60	c GLOBAL bounds - >= 5388 @ 88.4621
126.30/126.62	c GLOBAL bounds - >= 5388 @ 88.4763
126.51/126.89	c GLOBAL bounds - >= 5388 @ 88.5972
126.60/126.91	c GLOBAL bounds - >= 5388 @ 88.6082
126.81/127.17	c GLOBAL bounds - >= 5388 @ 88.7236
126.81/127.19	c GLOBAL bounds - >= 5388 @ 88.7359
127.10/127.46	c GLOBAL bounds - >= 5388 @ 88.8565
127.10/127.48	c GLOBAL bounds - >= 5388 @ 88.8666
127.40/127.74	c GLOBAL bounds - >= 5388 @ 88.9917
127.40/127.76	c GLOBAL bounds - >= 5388 @ 89.0039
127.71/128.03	c GLOBAL bounds - >= 5388 @ 89.1261
127.71/128.05	c GLOBAL bounds - >= 5388 @ 89.1364
128.00/128.32	c GLOBAL bounds - >= 5388 @ 89.2507
128.00/128.34	c GLOBAL bounds - >= 5388 @ 89.2609
128.30/128.61	c GLOBAL bounds - >= 5388 @ 89.3718
130.49/130.81	c #Conflicts:       3000 | #Constraints:       5650
130.49/130.81	c GLOBAL bounds - >= 5408 @ 91.5212
130.59/131.00	c GLOBAL bounds - >= 5408 @ 91.6944
130.89/131.26	c GLOBAL bounds - >= 5408 @ 91.8016
130.89/131.28	c GLOBAL bounds - >= 5408 @ 91.8122
131.20/131.55	c GLOBAL bounds - >= 5408 @ 91.9287
131.20/131.57	c GLOBAL bounds - >= 5408 @ 91.9437
131.50/131.84	c GLOBAL bounds - >= 5408 @ 92.0519
131.50/131.86	c GLOBAL bounds - >= 5408 @ 92.0641
131.79/132.13	c GLOBAL bounds - >= 5408 @ 92.1725
131.79/132.15	c GLOBAL bounds - >= 5408 @ 92.1839
132.09/132.41	c GLOBAL bounds - >= 5408 @ 92.2853
132.09/132.44	c GLOBAL bounds - >= 5408 @ 92.2962
132.39/132.70	c GLOBAL bounds - >= 5408 @ 92.4109
132.39/132.72	c GLOBAL bounds - >= 5408 @ 92.4241
132.59/132.99	c GLOBAL bounds - >= 5408 @ 92.5382
132.70/133.01	c GLOBAL bounds - >= 5408 @ 92.5483
132.89/133.28	c GLOBAL bounds - >= 5408 @ 92.6644
132.99/133.30	c GLOBAL bounds - >= 5408 @ 92.6779
133.19/133.57	c GLOBAL bounds - >= 5408 @ 92.8037
133.19/133.59	c GLOBAL bounds - >= 5408 @ 92.8146
133.49/133.86	c GLOBAL bounds - >= 5408 @ 92.9228
135.89/136.23	c GLOBAL bounds - >= 5428 @ 95.2257
136.09/136.42	c GLOBAL bounds - >= 5428 @ 95.3988
136.28/136.68	c GLOBAL bounds - >= 5428 @ 95.5108
136.38/136.71	c GLOBAL bounds - >= 5428 @ 95.5234
136.58/136.97	c GLOBAL bounds - >= 5428 @ 95.6446
136.58/136.99	c GLOBAL bounds - >= 5428 @ 95.658
136.88/137.26	c GLOBAL bounds - >= 5428 @ 95.7793
136.88/137.28	c GLOBAL bounds - >= 5428 @ 95.7899
137.18/137.55	c GLOBAL bounds - >= 5428 @ 95.9019
137.18/137.57	c GLOBAL bounds - >= 5428 @ 95.9147
137.47/137.84	c GLOBAL bounds - >= 5428 @ 96.0287
137.47/137.86	c GLOBAL bounds - >= 5428 @ 96.0415
137.79/138.13	c GLOBAL bounds - >= 5428 @ 96.1478
137.79/138.15	c GLOBAL bounds - >= 5428 @ 96.1578
138.08/138.42	c GLOBAL bounds - >= 5428 @ 96.2789
138.08/138.44	c GLOBAL bounds - >= 5428 @ 96.2891
138.38/138.71	c GLOBAL bounds - >= 5428 @ 96.3977
138.38/138.73	c GLOBAL bounds - >= 5428 @ 96.4089
138.58/139.00	c GLOBAL bounds - >= 5428 @ 96.5326
138.68/139.02	c GLOBAL bounds - >= 5428 @ 96.5437
138.88/139.29	c GLOBAL bounds - >= 5428 @ 96.6592
141.37/141.76	c GLOBAL bounds - >= 5448 @ 99.0702
141.57/141.96	c GLOBAL bounds - >= 5448 @ 99.2556
141.87/142.23	c GLOBAL bounds - >= 5448 @ 99.3673
141.87/142.25	c GLOBAL bounds - >= 5448 @ 99.381
142.17/142.52	c GLOBAL bounds - >= 5448 @ 99.5071
142.17/142.54	c GLOBAL bounds - >= 5448 @ 99.5202
142.47/142.81	c GLOBAL bounds - >= 5448 @ 99.6429
142.47/142.83	c GLOBAL bounds - >= 5448 @ 99.6584
142.67/143.10	c GLOBAL bounds - >= 5448 @ 99.7724
142.77/143.12	c GLOBAL bounds - >= 5448 @ 99.7817
142.97/143.39	c GLOBAL bounds - >= 5448 @ 99.8909
143.07/143.41	c GLOBAL bounds - >= 5448 @ 99.902
143.26/143.68	c GLOBAL bounds - >= 5448 @ 100.026
143.37/143.70	c GLOBAL bounds - >= 5448 @ 100.038
143.57/143.97	c GLOBAL bounds - >= 5448 @ 100.157
143.57/143.99	c GLOBAL bounds - >= 5448 @ 100.172
143.87/144.26	c GLOBAL bounds - >= 5448 @ 100.288
143.87/144.28	c GLOBAL bounds - >= 5448 @ 100.299
144.16/144.55	c GLOBAL bounds - >= 5448 @ 100.408
144.16/144.57	c GLOBAL bounds - >= 5448 @ 100.419
144.47/144.84	c GLOBAL bounds - >= 5448 @ 100.523
147.06/147.44	c GLOBAL bounds - >= 5468 @ 103.061
147.26/147.63	c GLOBAL bounds - >= 5468 @ 103.233
147.56/147.90	c GLOBAL bounds - >= 5468 @ 103.346
147.56/147.92	c GLOBAL bounds - >= 5468 @ 103.361
147.76/148.19	c GLOBAL bounds - >= 5468 @ 103.471
147.86/148.21	c GLOBAL bounds - >= 5468 @ 103.485
148.05/148.48	c GLOBAL bounds - >= 5468 @ 103.607
148.16/148.51	c GLOBAL bounds - >= 5468 @ 103.624
148.36/148.77	c GLOBAL bounds - >= 5468 @ 103.728
148.45/148.80	c GLOBAL bounds - >= 5468 @ 103.741
148.66/149.07	c GLOBAL bounds - >= 5468 @ 103.871
148.66/149.09	c GLOBAL bounds - >= 5468 @ 103.882
148.95/149.36	c GLOBAL bounds - >= 5468 @ 103.995
148.95/149.38	c GLOBAL bounds - >= 5468 @ 104.006
149.26/149.65	c GLOBAL bounds - >= 5468 @ 104.113
149.26/149.67	c GLOBAL bounds - >= 5468 @ 104.125
149.56/149.94	c GLOBAL bounds - >= 5468 @ 104.233
149.56/149.97	c GLOBAL bounds - >= 5468 @ 104.249
149.85/150.24	c GLOBAL bounds - >= 5468 @ 104.357
149.85/150.26	c GLOBAL bounds - >= 5468 @ 104.366
150.16/150.53	c GLOBAL bounds - >= 5468 @ 104.481
153.05/153.44	c GLOBAL bounds - >= 5468 @ 107.12
155.84/156.28	c #Conflicts:       4000 | #Constraints:       6766
155.84/156.28	c GLOBAL bounds - >= 5468 @ 109.707
163.02/163.41	c INPROCESSING
163.02/163.41	c GARBAGE COLLECT
163.02/163.41	c GLOBAL bounds - >= 5484 @ 116.713
163.22/163.63	c GLOBAL bounds - >= 5484 @ 116.922
163.43/163.89	c GLOBAL bounds - >= 5484 @ 117.016
163.53/163.91	c GLOBAL bounds - >= 5484 @ 117.031
163.73/164.16	c GLOBAL bounds - >= 5484 @ 117.131
163.73/164.19	c GLOBAL bounds - >= 5484 @ 117.145
164.12/164.55	c GLOBAL bounds - >= 5484 @ 117.296
164.12/164.58	c GLOBAL bounds - >= 5484 @ 117.311
164.42/164.85	c GLOBAL bounds - >= 5484 @ 117.427
164.42/164.87	c GLOBAL bounds - >= 5484 @ 117.439
164.72/165.14	c GLOBAL bounds - >= 5484 @ 117.548
164.72/165.17	c GLOBAL bounds - >= 5484 @ 117.563
165.02/165.43	c GLOBAL bounds - >= 5484 @ 117.68
165.02/165.46	c GLOBAL bounds - >= 5484 @ 117.692
165.32/165.72	c GLOBAL bounds - >= 5484 @ 117.799
165.32/165.75	c GLOBAL bounds - >= 5484 @ 117.812
165.63/166.02	c GLOBAL bounds - >= 5484 @ 117.917
165.63/166.04	c GLOBAL bounds - >= 5484 @ 117.932
165.92/166.31	c GLOBAL bounds - >= 5484 @ 118.043
165.92/166.33	c GLOBAL bounds - >= 5484 @ 118.058
166.22/166.60	c GLOBAL bounds - >= 5484 @ 118.177
167.32/167.79	c GLOBAL bounds - >= 5484 @ 119.182
170.10/170.59	c GLOBAL bounds - >= 5502 @ 121.913
170.30/170.75	c GLOBAL bounds - >= 5502 @ 122.054
170.51/171.00	c GLOBAL bounds - >= 5502 @ 122.16
170.61/171.02	c GLOBAL bounds - >= 5502 @ 122.171
170.81/171.29	c GLOBAL bounds - >= 5502 @ 122.285
170.91/171.31	c GLOBAL bounds - >= 5502 @ 122.299
171.11/171.58	c GLOBAL bounds - >= 5502 @ 122.411
171.21/171.61	c GLOBAL bounds - >= 5502 @ 122.426
171.40/171.88	c GLOBAL bounds - >= 5502 @ 122.543
171.50/171.90	c GLOBAL bounds - >= 5502 @ 122.559
171.71/172.17	c GLOBAL bounds - >= 5502 @ 122.672
171.71/172.19	c GLOBAL bounds - >= 5502 @ 122.691
172.01/172.46	c GLOBAL bounds - >= 5502 @ 122.802
172.01/172.49	c GLOBAL bounds - >= 5502 @ 122.815
172.30/172.76	c GLOBAL bounds - >= 5502 @ 122.942
172.30/172.78	c GLOBAL bounds - >= 5502 @ 122.954
172.60/173.05	c GLOBAL bounds - >= 5502 @ 123.082
172.60/173.08	c GLOBAL bounds - >= 5502 @ 123.095
172.90/173.35	c GLOBAL bounds - >= 5502 @ 123.209
172.90/173.37	c GLOBAL bounds - >= 5502 @ 123.224
173.20/173.64	c GLOBAL bounds - >= 5502 @ 123.328
176.20/176.68	c GLOBAL bounds - >= 5502 @ 126.169
179.08/179.53	c #Conflicts:       5000 | #Constraints:       6239
179.08/179.53	c GLOBAL bounds - >= 5520 @ 128.971
179.18/179.69	c GLOBAL bounds - >= 5520 @ 129.125
179.48/179.95	c GLOBAL bounds - >= 5520 @ 129.22
179.48/179.97	c GLOBAL bounds - >= 5520 @ 129.235
179.78/180.24	c GLOBAL bounds - >= 5520 @ 129.35
179.78/180.27	c GLOBAL bounds - >= 5520 @ 129.363
180.09/180.53	c GLOBAL bounds - >= 5520 @ 129.482
180.09/180.56	c GLOBAL bounds - >= 5520 @ 129.497
180.38/180.83	c GLOBAL bounds - >= 5520 @ 129.618
180.38/180.86	c GLOBAL bounds - >= 5520 @ 129.63
180.69/181.12	c GLOBAL bounds - >= 5520 @ 129.755
180.69/181.15	c GLOBAL bounds - >= 5520 @ 129.768
180.99/181.42	c GLOBAL bounds - >= 5520 @ 129.886
180.99/181.44	c GLOBAL bounds - >= 5520 @ 129.901
181.28/181.71	c GLOBAL bounds - >= 5520 @ 130.022
181.28/181.74	c GLOBAL bounds - >= 5520 @ 130.033
181.59/182.01	c GLOBAL bounds - >= 5520 @ 130.15
181.59/182.04	c GLOBAL bounds - >= 5520 @ 130.164
181.88/182.31	c GLOBAL bounds - >= 5520 @ 130.275
181.88/182.33	c GLOBAL bounds - >= 5520 @ 130.287
182.18/182.60	c GLOBAL bounds - >= 5520 @ 130.413
185.08/185.50	c GLOBAL bounds - >= 5540 @ 133.24
185.28/185.70	c GLOBAL bounds - >= 5540 @ 133.422
185.48/185.97	c GLOBAL bounds - >= 5540 @ 133.546
185.48/185.99	c GLOBAL bounds - >= 5540 @ 133.564
185.77/186.26	c GLOBAL bounds - >= 5540 @ 133.669
185.77/186.29	c GLOBAL bounds - >= 5540 @ 133.683
186.07/186.56	c GLOBAL bounds - >= 5540 @ 133.787
186.07/186.59	c GLOBAL bounds - >= 5540 @ 133.8
186.37/186.86	c GLOBAL bounds - >= 5540 @ 133.919
186.37/186.88	c GLOBAL bounds - >= 5540 @ 133.935
186.68/187.16	c GLOBAL bounds - >= 5540 @ 134.055
186.68/187.18	c GLOBAL bounds - >= 5540 @ 134.07
186.97/187.45	c GLOBAL bounds - >= 5540 @ 134.182
186.97/187.48	c GLOBAL bounds - >= 5540 @ 134.197
187.27/187.75	c GLOBAL bounds - >= 5540 @ 134.315
187.27/187.78	c GLOBAL bounds - >= 5540 @ 134.331
187.57/188.05	c GLOBAL bounds - >= 5540 @ 134.448
187.57/188.08	c GLOBAL bounds - >= 5540 @ 134.464
187.87/188.35	c GLOBAL bounds - >= 5540 @ 134.571
187.87/188.38	c GLOBAL bounds - >= 5540 @ 134.588
188.17/188.65	c GLOBAL bounds - >= 5540 @ 134.709
189.57/190.10	c GLOBAL bounds - >= 5540 @ 135.958
191.96/192.46	c GLOBAL bounds - >= 5540 @ 138.113
195.05/195.58	c #Conflicts:       6000 | #Constraints:       7296
195.05/195.58	c GLOBAL bounds - >= 5556 @ 141.133
195.25/195.75	c GLOBAL bounds - >= 5556 @ 141.284
195.56/196.02	c GLOBAL bounds - >= 5556 @ 141.397
195.56/196.04	c GLOBAL bounds - >= 5556 @ 141.408
195.85/196.30	c GLOBAL bounds - >= 5556 @ 141.501
195.85/196.32	c GLOBAL bounds - >= 5556 @ 141.515
196.15/196.60	c GLOBAL bounds - >= 5556 @ 141.628
196.15/196.62	c GLOBAL bounds - >= 5556 @ 141.647
196.45/196.90	c GLOBAL bounds - >= 5556 @ 141.779
196.45/196.92	c GLOBAL bounds - >= 5556 @ 141.794
196.75/197.20	c GLOBAL bounds - >= 5556 @ 141.917
196.75/197.22	c GLOBAL bounds - >= 5556 @ 141.933
197.05/197.50	c GLOBAL bounds - >= 5556 @ 142.047
197.05/197.52	c GLOBAL bounds - >= 5556 @ 142.062
197.35/197.80	c GLOBAL bounds - >= 5556 @ 142.173
197.35/197.83	c GLOBAL bounds - >= 5556 @ 142.19
197.55/198.10	c GLOBAL bounds - >= 5556 @ 142.313
197.65/198.13	c GLOBAL bounds - >= 5556 @ 142.331
197.94/198.40	c GLOBAL bounds - >= 5556 @ 142.451
197.94/198.43	c GLOBAL bounds - >= 5556 @ 142.467
198.25/198.70	c GLOBAL bounds - >= 5556 @ 142.578
201.34/201.90	c GLOBAL bounds - >= 5576 @ 145.627
201.55/202.08	c GLOBAL bounds - >= 5576 @ 145.798
201.84/202.36	c GLOBAL bounds - >= 5576 @ 145.914
201.84/202.38	c GLOBAL bounds - >= 5576 @ 145.928
202.14/202.66	c GLOBAL bounds - >= 5576 @ 146.043
202.14/202.69	c GLOBAL bounds - >= 5576 @ 146.059
202.44/202.96	c GLOBAL bounds - >= 5576 @ 146.181
202.44/202.99	c GLOBAL bounds - >= 5576 @ 146.197
202.74/203.26	c GLOBAL bounds - >= 5576 @ 146.304
202.74/203.29	c GLOBAL bounds - >= 5576 @ 146.322
203.03/203.56	c GLOBAL bounds - >= 5576 @ 146.442
203.03/203.59	c GLOBAL bounds - >= 5576 @ 146.454
203.33/203.87	c GLOBAL bounds - >= 5576 @ 146.568
203.44/203.90	c GLOBAL bounds - >= 5576 @ 146.584
203.64/204.17	c GLOBAL bounds - >= 5576 @ 146.69
203.74/204.20	c GLOBAL bounds - >= 5576 @ 146.705
203.93/204.47	c GLOBAL bounds - >= 5576 @ 146.816
204.03/204.50	c GLOBAL bounds - >= 5576 @ 146.832
204.24/204.78	c GLOBAL bounds - >= 5576 @ 146.945
204.33/204.81	c GLOBAL bounds - >= 5576 @ 146.962
204.54/205.09	c GLOBAL bounds - >= 5576 @ 147.077
208.03/208.51	c GLOBAL bounds - >= 5596 @ 150.332
208.32/208.84	c GLOBAL bounds - >= 5596 @ 150.581
208.62/209.11	c GLOBAL bounds - >= 5596 @ 150.69
208.62/209.14	c GLOBAL bounds - >= 5596 @ 150.707
208.92/209.42	c GLOBAL bounds - >= 5596 @ 150.832
208.92/209.45	c GLOBAL bounds - >= 5596 @ 150.845
209.22/209.72	c GLOBAL bounds - >= 5596 @ 150.954
209.22/209.75	c GLOBAL bounds - >= 5596 @ 150.972
209.52/210.03	c GLOBAL bounds - >= 5596 @ 151.083
209.52/210.05	c GLOBAL bounds - >= 5596 @ 151.098
209.82/210.33	c GLOBAL bounds - >= 5596 @ 151.224
209.82/210.36	c GLOBAL bounds - >= 5596 @ 151.237
210.12/210.63	c GLOBAL bounds - >= 5596 @ 151.353
210.12/210.66	c GLOBAL bounds - >= 5596 @ 151.367
210.42/210.94	c GLOBAL bounds - >= 5596 @ 151.49
210.42/210.97	c GLOBAL bounds - >= 5596 @ 151.504
210.72/211.24	c GLOBAL bounds - >= 5596 @ 151.627
210.72/211.27	c GLOBAL bounds - >= 5596 @ 151.644
211.02/211.55	c GLOBAL bounds - >= 5596 @ 151.761
211.02/211.58	c GLOBAL bounds - >= 5596 @ 151.773
211.32/211.85	c GLOBAL bounds - >= 5596 @ 151.897
214.91/215.43	c GLOBAL bounds - >= 5616 @ 155.312
215.11/215.64	c GLOBAL bounds - >= 5616 @ 155.508
218.80/219.37	c INPROCESSING
218.80/219.37	c GARBAGE COLLECT
218.80/219.37	c GLOBAL bounds - >= 5616 @ 159.07
218.90/219.40	c GLOBAL bounds - >= 5616 @ 159.085
219.10/219.67	c GLOBAL bounds - >= 5616 @ 159.194
219.20/219.70	c GLOBAL bounds - >= 5616 @ 159.211
219.40/219.97	c GLOBAL bounds - >= 5616 @ 159.326
219.40/220.00	c GLOBAL bounds - >= 5616 @ 159.34
219.70/220.27	c GLOBAL bounds - >= 5616 @ 159.451
219.70/220.29	c GLOBAL bounds - >= 5616 @ 159.468
220.00/220.56	c GLOBAL bounds - >= 5616 @ 159.595
220.00/220.59	c GLOBAL bounds - >= 5616 @ 159.617
220.30/220.86	c GLOBAL bounds - >= 5616 @ 159.743
220.30/220.89	c GLOBAL bounds - >= 5616 @ 159.757
220.60/221.16	c GLOBAL bounds - >= 5616 @ 159.887
220.60/221.19	c GLOBAL bounds - >= 5616 @ 159.903
220.89/221.46	c GLOBAL bounds - >= 5616 @ 160.025
220.89/221.49	c GLOBAL bounds - >= 5616 @ 160.046
221.20/221.76	c GLOBAL bounds - >= 5616 @ 160.151
221.20/221.79	c GLOBAL bounds - >= 5616 @ 160.17
221.50/222.06	c GLOBAL bounds - >= 5616 @ 160.301
222.29/222.86	c GLOBAL bounds - >= 5616 @ 160.912
225.79/226.37	c #Conflicts:       7000 | #Constraints:       5302
225.79/226.37	c GLOBAL bounds - >= 5634 @ 164.355
225.99/226.55	c GLOBAL bounds - >= 5634 @ 164.52
226.28/226.81	c GLOBAL bounds - >= 5634 @ 164.613
226.28/226.84	c GLOBAL bounds - >= 5634 @ 164.634
226.59/227.11	c GLOBAL bounds - >= 5634 @ 164.733
226.59/227.14	c GLOBAL bounds - >= 5634 @ 164.75
226.88/227.41	c GLOBAL bounds - >= 5634 @ 164.876
226.88/227.44	c GLOBAL bounds - >= 5634 @ 164.896
227.19/227.71	c GLOBAL bounds - >= 5634 @ 165.006
227.19/227.74	c GLOBAL bounds - >= 5634 @ 165.022
227.49/228.01	c GLOBAL bounds - >= 5634 @ 165.133
227.49/228.04	c GLOBAL bounds - >= 5634 @ 165.15
227.78/228.31	c GLOBAL bounds - >= 5634 @ 165.263
227.78/228.34	c GLOBAL bounds - >= 5634 @ 165.281
228.08/228.62	c GLOBAL bounds - >= 5634 @ 165.398
228.08/228.65	c GLOBAL bounds - >= 5634 @ 165.414
228.38/228.92	c GLOBAL bounds - >= 5634 @ 165.529
228.38/228.95	c GLOBAL bounds - >= 5634 @ 165.543
228.68/229.22	c GLOBAL bounds - >= 5634 @ 165.662
228.68/229.25	c GLOBAL bounds - >= 5634 @ 165.679
228.98/229.52	c GLOBAL bounds - >= 5634 @ 165.789
232.48/233.03	c GLOBAL bounds - >= 5654 @ 169.23
232.67/233.22	c GLOBAL bounds - >= 5654 @ 169.412
232.96/233.50	c GLOBAL bounds - >= 5654 @ 169.53
232.96/233.53	c GLOBAL bounds - >= 5654 @ 169.545
233.27/233.80	c GLOBAL bounds - >= 5654 @ 169.658
233.27/233.83	c GLOBAL bounds - >= 5654 @ 169.676
233.57/234.10	c GLOBAL bounds - >= 5654 @ 169.791
233.57/234.14	c GLOBAL bounds - >= 5654 @ 169.81
233.87/234.41	c GLOBAL bounds - >= 5654 @ 169.926
233.87/234.44	c GLOBAL bounds - >= 5654 @ 169.945
234.16/234.71	c GLOBAL bounds - >= 5654 @ 170.064
234.16/234.74	c GLOBAL bounds - >= 5654 @ 170.088
234.47/235.02	c GLOBAL bounds - >= 5654 @ 170.193
234.47/235.05	c GLOBAL bounds - >= 5654 @ 170.213
234.77/235.32	c GLOBAL bounds - >= 5654 @ 170.327
234.77/235.35	c GLOBAL bounds - >= 5654 @ 170.344
235.07/235.62	c GLOBAL bounds - >= 5654 @ 170.46
235.07/235.66	c GLOBAL bounds - >= 5654 @ 170.48
235.36/235.93	c GLOBAL bounds - >= 5654 @ 170.594
235.36/235.96	c GLOBAL bounds - >= 5654 @ 170.616
235.66/236.23	c GLOBAL bounds - >= 5654 @ 170.724
239.35/239.93	c GLOBAL bounds - >= 5674 @ 174.347
239.56/240.14	c GLOBAL bounds - >= 5674 @ 174.533
239.85/240.41	c GLOBAL bounds - >= 5674 @ 174.662
239.85/240.44	c GLOBAL bounds - >= 5674 @ 174.682
240.15/240.72	c GLOBAL bounds - >= 5674 @ 174.8
240.15/240.75	c GLOBAL bounds - >= 5674 @ 174.819
240.46/241.02	c GLOBAL bounds - >= 5674 @ 174.931
240.46/241.06	c GLOBAL bounds - >= 5674 @ 174.951
240.75/241.33	c GLOBAL bounds - >= 5674 @ 175.068
240.75/241.36	c GLOBAL bounds - >= 5674 @ 175.083
241.05/241.63	c GLOBAL bounds - >= 5674 @ 175.198
241.05/241.67	c GLOBAL bounds - >= 5674 @ 175.211
241.35/241.94	c GLOBAL bounds - >= 5674 @ 175.33
241.35/241.97	c GLOBAL bounds - >= 5674 @ 175.347
241.66/242.25	c GLOBAL bounds - >= 5674 @ 175.463
241.66/242.28	c GLOBAL bounds - >= 5674 @ 175.487
241.95/242.55	c GLOBAL bounds - >= 5674 @ 175.613
241.95/242.58	c GLOBAL bounds - >= 5674 @ 175.63
242.25/242.86	c GLOBAL bounds - >= 5674 @ 175.743
242.25/242.89	c GLOBAL bounds - >= 5674 @ 175.76
242.55/243.16	c GLOBAL bounds - >= 5674 @ 175.887
246.33/246.98	c #Conflicts:       8000 | #Constraints:       6394
246.33/246.98	c GLOBAL bounds - >= 5694 @ 179.63
246.55/247.18	c GLOBAL bounds - >= 5694 @ 179.814
246.84/247.46	c GLOBAL bounds - >= 5694 @ 179.938
246.84/247.49	c GLOBAL bounds - >= 5694 @ 179.954
247.14/247.76	c GLOBAL bounds - >= 5694 @ 180.082
247.23/247.80	c GLOBAL bounds - >= 5694 @ 180.099
247.44/248.07	c GLOBAL bounds - >= 5694 @ 180.23
247.54/248.10	c GLOBAL bounds - >= 5694 @ 180.249
247.74/248.38	c GLOBAL bounds - >= 5694 @ 180.37
247.83/248.41	c GLOBAL bounds - >= 5694 @ 180.389
248.04/248.69	c GLOBAL bounds - >= 5694 @ 180.51
248.13/248.72	c GLOBAL bounds - >= 5694 @ 180.532
248.33/249.00	c GLOBAL bounds - >= 5694 @ 180.643
248.44/249.03	c GLOBAL bounds - >= 5694 @ 180.662
248.73/249.30	c GLOBAL bounds - >= 5694 @ 180.787
248.73/249.34	c GLOBAL bounds - >= 5694 @ 180.806
249.03/249.61	c GLOBAL bounds - >= 5694 @ 180.929
249.03/249.65	c GLOBAL bounds - >= 5694 @ 180.95
249.33/249.92	c GLOBAL bounds - >= 5694 @ 181.07
249.33/249.95	c GLOBAL bounds - >= 5694 @ 181.087
249.64/250.23	c GLOBAL bounds - >= 5694 @ 181.198
253.53/254.19	c GLOBAL bounds - >= 5714 @ 185.082
253.73/254.39	c GLOBAL bounds - >= 5714 @ 185.274
254.02/254.67	c GLOBAL bounds - >= 5714 @ 185.392
254.12/254.70	c GLOBAL bounds - >= 5714 @ 185.413
254.32/254.98	c GLOBAL bounds - >= 5714 @ 185.541
254.43/255.02	c GLOBAL bounds - >= 5714 @ 185.558
254.62/255.29	c GLOBAL bounds - >= 5714 @ 185.673
254.72/255.32	c GLOBAL bounds - >= 5714 @ 185.69
255.02/255.60	c GLOBAL bounds - >= 5714 @ 185.815
255.02/255.63	c GLOBAL bounds - >= 5714 @ 185.834
255.32/255.91	c GLOBAL bounds - >= 5714 @ 185.955
255.32/255.95	c GLOBAL bounds - >= 5714 @ 185.973
255.62/256.22	c GLOBAL bounds - >= 5714 @ 186.082
255.62/256.26	c GLOBAL bounds - >= 5714 @ 186.101
255.92/256.53	c GLOBAL bounds - >= 5714 @ 186.235
255.92/256.57	c GLOBAL bounds - >= 5714 @ 186.252
256.22/256.84	c GLOBAL bounds - >= 5714 @ 186.369
256.22/256.88	c GLOBAL bounds - >= 5714 @ 186.391
256.52/257.15	c GLOBAL bounds - >= 5714 @ 186.512
256.52/257.19	c GLOBAL bounds - >= 5714 @ 186.535
256.82/257.46	c GLOBAL bounds - >= 5714 @ 186.66
261.00/261.62	c GLOBAL bounds - >= 5714 @ 190.624
265.00/265.64	c #Conflicts:       9000 | #Constraints:       7457
265.00/265.64	c GLOBAL bounds - >= 5732 @ 194.601
265.20/265.84	c GLOBAL bounds - >= 5732 @ 194.775
265.40/266.10	c GLOBAL bounds - >= 5732 @ 194.882
265.50/266.13	c GLOBAL bounds - >= 5732 @ 194.901
265.79/266.41	c GLOBAL bounds - >= 5732 @ 195.013
265.79/266.45	c GLOBAL bounds - >= 5732 @ 195.033
266.09/266.72	c GLOBAL bounds - >= 5732 @ 195.154
266.09/266.76	c GLOBAL bounds - >= 5732 @ 195.17
266.39/267.04	c GLOBAL bounds - >= 5732 @ 195.288
266.39/267.07	c GLOBAL bounds - >= 5732 @ 195.309
266.69/267.35	c GLOBAL bounds - >= 5732 @ 195.433
266.69/267.39	c GLOBAL bounds - >= 5732 @ 195.449
266.99/267.66	c GLOBAL bounds - >= 5732 @ 195.575
267.09/267.70	c GLOBAL bounds - >= 5732 @ 195.598
267.30/267.98	c GLOBAL bounds - >= 5732 @ 195.722
267.40/268.01	c GLOBAL bounds - >= 5732 @ 195.742
267.59/268.29	c GLOBAL bounds - >= 5732 @ 195.865
267.69/268.33	c GLOBAL bounds - >= 5732 @ 195.887
267.99/268.60	c GLOBAL bounds - >= 5732 @ 196.024
267.99/268.64	c GLOBAL bounds - >= 5732 @ 196.043
268.29/268.92	c GLOBAL bounds - >= 5732 @ 196.168
276.67/277.30	c INPROCESSING
276.67/277.30	c GARBAGE COLLECT
276.67/277.30	c GLOBAL bounds - >= 5752 @ 204.443
276.86/277.50	c GLOBAL bounds - >= 5752 @ 204.622
277.07/277.77	c GLOBAL bounds - >= 5752 @ 204.742
277.17/277.81	c GLOBAL bounds - >= 5752 @ 204.761
277.37/278.08	c GLOBAL bounds - >= 5752 @ 204.876
277.47/278.12	c GLOBAL bounds - >= 5752 @ 204.898
277.67/278.39	c GLOBAL bounds - >= 5752 @ 205.013
277.76/278.43	c GLOBAL bounds - >= 5752 @ 205.036
278.06/278.70	c GLOBAL bounds - >= 5752 @ 205.159
278.06/278.74	c GLOBAL bounds - >= 5752 @ 205.176
278.37/279.01	c GLOBAL bounds - >= 5752 @ 205.29
278.37/279.05	c GLOBAL bounds - >= 5752 @ 205.311
278.67/279.32	c GLOBAL bounds - >= 5752 @ 205.437
278.67/279.36	c GLOBAL bounds - >= 5752 @ 205.457
278.96/279.63	c GLOBAL bounds - >= 5752 @ 205.574
278.96/279.67	c GLOBAL bounds - >= 5752 @ 205.595
279.26/279.94	c GLOBAL bounds - >= 5752 @ 205.712
279.26/279.98	c GLOBAL bounds - >= 5752 @ 205.732
279.56/280.25	c GLOBAL bounds - >= 5752 @ 205.861
279.56/280.29	c GLOBAL bounds - >= 5752 @ 205.883
279.86/280.56	c GLOBAL bounds - >= 5752 @ 206.018
280.57/281.21	c GLOBAL bounds - >= 5752 @ 206.482
284.16/284.85	c GLOBAL bounds - >= 5752 @ 209.926
288.34/289.07	c #Conflicts:      10000 | #Constraints:       6103
288.34/289.07	c GLOBAL bounds - >= 5768 @ 214.053
288.54/289.24	c GLOBAL bounds - >= 5768 @ 214.21
288.54/289.27	c GLOBAL bounds - >= 5768 @ 214.229
288.84/289.53	c GLOBAL bounds - >= 5768 @ 214.329
288.84/289.57	c GLOBAL bounds - >= 5768 @ 214.347
289.14/289.84	c GLOBAL bounds - >= 5768 @ 214.47
289.14/289.88	c GLOBAL bounds - >= 5768 @ 214.491
289.44/290.15	c GLOBAL bounds - >= 5768 @ 214.599
289.44/290.19	c GLOBAL bounds - >= 5768 @ 214.623
289.74/290.46	c GLOBAL bounds - >= 5768 @ 214.753
289.84/290.50	c GLOBAL bounds - >= 5768 @ 214.771
290.04/290.78	c GLOBAL bounds - >= 5768 @ 214.89
290.14/290.81	c GLOBAL bounds - >= 5768 @ 214.91
290.35/291.09	c GLOBAL bounds - >= 5768 @ 215.019
290.44/291.13	c GLOBAL bounds - >= 5768 @ 215.04
290.74/291.40	c GLOBAL bounds - >= 5768 @ 215.153
290.74/291.44	c GLOBAL bounds - >= 5768 @ 215.173
291.03/291.71	c GLOBAL bounds - >= 5768 @ 215.305
291.03/291.75	c GLOBAL bounds - >= 5768 @ 215.323
291.34/292.03	c GLOBAL bounds - >= 5768 @ 215.448
291.34/292.07	c GLOBAL bounds - >= 5768 @ 215.472
291.64/292.34	c GLOBAL bounds - >= 5768 @ 215.582
296.12/296.81	c GLOBAL bounds - >= 5768 @ 219.849
300.42/301.13	c GLOBAL bounds - >= 5788 @ 224.108
300.61/301.33	c GLOBAL bounds - >= 5788 @ 224.278
300.82/301.59	c GLOBAL bounds - >= 5788 @ 224.376
300.92/301.62	c GLOBAL bounds - >= 5788 @ 224.388
301.21/301.90	c GLOBAL bounds - >= 5788 @ 224.503
301.21/301.94	c GLOBAL bounds - >= 5788 @ 224.522
301.52/302.22	c GLOBAL bounds - >= 5788 @ 224.65
301.52/302.25	c GLOBAL bounds - >= 5788 @ 224.669
301.82/302.53	c GLOBAL bounds - >= 5788 @ 224.778
301.82/302.57	c GLOBAL bounds - >= 5788 @ 224.802
302.11/302.85	c GLOBAL bounds - >= 5788 @ 224.927
302.11/302.89	c GLOBAL bounds - >= 5788 @ 224.951
302.42/303.16	c GLOBAL bounds - >= 5788 @ 225.075
302.51/303.20	c GLOBAL bounds - >= 5788 @ 225.1
302.71/303.48	c GLOBAL bounds - >= 5788 @ 225.215
302.81/303.52	c GLOBAL bounds - >= 5788 @ 225.239
303.01/303.80	c GLOBAL bounds - >= 5788 @ 225.36
303.11/303.83	c GLOBAL bounds - >= 5788 @ 225.382
303.41/304.11	c GLOBAL bounds - >= 5788 @ 225.51
303.41/304.15	c GLOBAL bounds - >= 5788 @ 225.531
303.71/304.43	c GLOBAL bounds - >= 5788 @ 225.661
308.20/308.94	c #Conflicts:      11000 | #Constraints:       7158
308.20/308.94	c GLOBAL bounds - >= 5808 @ 230.068
308.40/309.15	c GLOBAL bounds - >= 5808 @ 230.262
308.70/309.44	c GLOBAL bounds - >= 5808 @ 230.395
308.70/309.47	c GLOBAL bounds - >= 5808 @ 230.415
309.00/309.75	c GLOBAL bounds - >= 5808 @ 230.53
309.00/309.79	c GLOBAL bounds - >= 5808 @ 230.56
309.30/310.07	c GLOBAL bounds - >= 5808 @ 230.69
309.40/310.11	c GLOBAL bounds - >= 5808 @ 230.713
309.59/310.39	c GLOBAL bounds - >= 5808 @ 230.831
309.69/310.43	c GLOBAL bounds - >= 5808 @ 230.854
309.99/310.71	c GLOBAL bounds - >= 5808 @ 230.971
309.99/310.75	c GLOBAL bounds - >= 5808 @ 230.99
310.29/311.03	c GLOBAL bounds - >= 5808 @ 231.125
310.29/311.07	c GLOBAL bounds - >= 5808 @ 231.15
310.59/311.35	c GLOBAL bounds - >= 5808 @ 231.287
310.59/311.39	c GLOBAL bounds - >= 5808 @ 231.308
310.89/311.67	c GLOBAL bounds - >= 5808 @ 231.439
310.99/311.71	c GLOBAL bounds - >= 5808 @ 231.463
311.19/311.99	c GLOBAL bounds - >= 5808 @ 231.576
311.30/312.03	c GLOBAL bounds - >= 5808 @ 231.6
311.59/312.31	c GLOBAL bounds - >= 5808 @ 231.719
315.68/316.47	c GLOBAL bounds - >= 5808 @ 235.655
320.47/321.28	c GLOBAL bounds - >= 5808 @ 240.241
330.54/331.37	c #Conflicts:      12000 | #Constraints:       8188
330.54/331.37	c INPROCESSING
330.54/331.37	c GARBAGE COLLECT
330.54/331.37	c GLOBAL bounds - >= 5824 @ 250.204
330.74/331.55	c GLOBAL bounds - >= 5824 @ 250.362
331.05/331.82	c GLOBAL bounds - >= 5824 @ 250.482
331.05/331.86	c GLOBAL bounds - >= 5824 @ 250.502
331.35/332.12	c GLOBAL bounds - >= 5824 @ 250.604
331.35/332.16	c GLOBAL bounds - >= 5824 @ 250.629
331.64/332.43	c GLOBAL bounds - >= 5824 @ 250.752
331.64/332.47	c GLOBAL bounds - >= 5824 @ 250.776
331.95/332.75	c GLOBAL bounds - >= 5824 @ 250.881
331.95/332.79	c GLOBAL bounds - >= 5824 @ 250.902
332.24/333.06	c GLOBAL bounds - >= 5824 @ 251.034
332.24/333.10	c GLOBAL bounds - >= 5824 @ 251.056
332.54/333.37	c GLOBAL bounds - >= 5824 @ 251.164
332.64/333.42	c GLOBAL bounds - >= 5824 @ 251.189
332.84/333.69	c GLOBAL bounds - >= 5824 @ 251.316
332.94/333.73	c GLOBAL bounds - >= 5824 @ 251.346
333.24/334.01	c GLOBAL bounds - >= 5824 @ 251.471
333.24/334.05	c GLOBAL bounds - >= 5824 @ 251.494
333.54/334.32	c GLOBAL bounds - >= 5824 @ 251.611
333.54/334.36	c GLOBAL bounds - >= 5824 @ 251.636
333.84/334.64	c GLOBAL bounds - >= 5824 @ 251.744
334.83/335.64	c GLOBAL bounds - >= 5824 @ 252.539
339.53/340.34	c GLOBAL bounds - >= 5824 @ 257.02
344.51/345.38	c #Conflicts:      13000 | #Constraints:       6599
344.51/345.38	c GLOBAL bounds - >= 5840 @ 261.959
344.71/345.54	c GLOBAL bounds - >= 5840 @ 262.103
345.01/345.80	c GLOBAL bounds - >= 5840 @ 262.192
345.01/345.84	c GLOBAL bounds - >= 5840 @ 262.215
345.31/346.10	c GLOBAL bounds - >= 5840 @ 262.31
345.31/346.14	c GLOBAL bounds - >= 5840 @ 262.331
345.60/346.42	c GLOBAL bounds - >= 5840 @ 262.455
345.60/346.46	c GLOBAL bounds - >= 5840 @ 262.477
345.91/346.74	c GLOBAL bounds - >= 5840 @ 262.596
345.91/346.79	c GLOBAL bounds - >= 5840 @ 262.614
346.21/347.06	c GLOBAL bounds - >= 5840 @ 262.749
346.32/347.10	c GLOBAL bounds - >= 5840 @ 262.773
346.51/347.38	c GLOBAL bounds - >= 5840 @ 262.898
346.61/347.42	c GLOBAL bounds - >= 5840 @ 262.919
346.91/347.70	c GLOBAL bounds - >= 5840 @ 263.039
346.91/347.75	c GLOBAL bounds - >= 5840 @ 263.068
347.22/348.02	c GLOBAL bounds - >= 5840 @ 263.202
347.22/348.07	c GLOBAL bounds - >= 5840 @ 263.224
347.50/348.34	c GLOBAL bounds - >= 5840 @ 263.343
347.50/348.39	c GLOBAL bounds - >= 5840 @ 263.365
347.81/348.66	c GLOBAL bounds - >= 5840 @ 263.492
353.29/354.11	c GLOBAL bounds - >= 5860 @ 268.832
353.39/354.29	c GLOBAL bounds - >= 5860 @ 268.988
353.69/354.57	c GLOBAL bounds - >= 5860 @ 269.111
353.79/354.61	c GLOBAL bounds - >= 5860 @ 269.139
353.99/354.89	c GLOBAL bounds - >= 5860 @ 269.257
354.09/354.93	c GLOBAL bounds - >= 5860 @ 269.279
354.39/355.21	c GLOBAL bounds - >= 5860 @ 269.406
354.39/355.25	c GLOBAL bounds - >= 5860 @ 269.429
354.69/355.53	c GLOBAL bounds - >= 5860 @ 269.555
354.69/355.57	c GLOBAL bounds - >= 5860 @ 269.575
354.99/355.86	c GLOBAL bounds - >= 5860 @ 269.696
355.09/355.91	c GLOBAL bounds - >= 5860 @ 269.718
355.29/356.18	c GLOBAL bounds - >= 5860 @ 269.849
355.39/356.23	c GLOBAL bounds - >= 5860 @ 269.873
355.69/356.51	c GLOBAL bounds - >= 5860 @ 269.998
355.69/356.55	c GLOBAL bounds - >= 5860 @ 270.022
355.99/356.83	c GLOBAL bounds - >= 5860 @ 270.161
355.99/356.87	c GLOBAL bounds - >= 5860 @ 270.182
356.29/357.15	c GLOBAL bounds - >= 5860 @ 270.302
356.38/357.20	c GLOBAL bounds - >= 5860 @ 270.327
356.59/357.48	c GLOBAL bounds - >= 5860 @ 270.445
359.67/360.50	c GLOBAL bounds - >= 5860 @ 273.237
364.67/365.54	c #Conflicts:      14000 | #Constraints:       7654
364.67/365.54	c GLOBAL bounds - >= 5860 @ 278.034
370.16/371.01	c GLOBAL bounds - >= 5876 @ 283.413
370.26/371.18	c GLOBAL bounds - >= 5876 @ 283.572
370.55/371.46	c GLOBAL bounds - >= 5876 @ 283.676
370.66/371.51	c GLOBAL bounds - >= 5876 @ 283.698
370.85/371.77	c GLOBAL bounds - >= 5876 @ 283.8
370.96/371.82	c GLOBAL bounds - >= 5876 @ 283.82
371.15/372.10	c GLOBAL bounds - >= 5876 @ 283.947
371.26/372.14	c GLOBAL bounds - >= 5876 @ 283.97
371.55/372.42	c GLOBAL bounds - >= 5876 @ 284.109
371.55/372.47	c GLOBAL bounds - >= 5876 @ 284.133
371.85/372.75	c GLOBAL bounds - >= 5876 @ 284.255
371.85/372.79	c GLOBAL bounds - >= 5876 @ 284.287
372.15/373.08	c GLOBAL bounds - >= 5876 @ 284.407
372.25/373.12	c GLOBAL bounds - >= 5876 @ 284.431
372.54/373.40	c GLOBAL bounds - >= 5876 @ 284.565
372.54/373.45	c GLOBAL bounds - >= 5876 @ 284.592
372.85/373.73	c GLOBAL bounds - >= 5876 @ 284.724
372.85/373.77	c GLOBAL bounds - >= 5876 @ 284.755
373.15/374.06	c GLOBAL bounds - >= 5876 @ 284.884
373.25/374.10	c GLOBAL bounds - >= 5876 @ 284.909
373.45/374.38	c GLOBAL bounds - >= 5876 @ 285.041
384.13/385.06	c #Conflicts:      15000 | #Constraints:       8680
384.13/385.06	c INPROCESSING
384.13/385.06	c GARBAGE COLLECT
384.13/385.06	c GLOBAL bounds - >= 5876 @ 295.449
388.91/389.88	c GLOBAL bounds - >= 5876 @ 300.064
394.39/395.31	c #Conflicts:      16000 | #Constraints:       6849
394.39/395.31	c GLOBAL bounds - >= 5892 @ 305.431
394.50/395.47	c GLOBAL bounds - >= 5892 @ 305.576
394.79/395.76	c GLOBAL bounds - >= 5892 @ 305.715
394.90/395.80	c GLOBAL bounds - >= 5892 @ 305.739
395.10/396.06	c GLOBAL bounds - >= 5892 @ 305.847
395.20/396.11	c GLOBAL bounds - >= 5892 @ 305.875
395.40/396.39	c GLOBAL bounds - >= 5892 @ 305.993
395.50/396.43	c GLOBAL bounds - >= 5892 @ 306.022
395.79/396.71	c GLOBAL bounds - >= 5892 @ 306.15
395.79/396.76	c GLOBAL bounds - >= 5892 @ 306.172
396.09/397.03	c GLOBAL bounds - >= 5892 @ 306.279
396.09/397.08	c GLOBAL bounds - >= 5892 @ 306.304
396.39/397.36	c GLOBAL bounds - >= 5892 @ 306.448
396.50/397.40	c GLOBAL bounds - >= 5892 @ 306.476
396.70/397.68	c GLOBAL bounds - >= 5892 @ 306.599
396.79/397.73	c GLOBAL bounds - >= 5892 @ 306.625
397.10/398.01	c GLOBAL bounds - >= 5892 @ 306.757
397.10/398.05	c GLOBAL bounds - >= 5892 @ 306.779
397.39/398.33	c GLOBAL bounds - >= 5892 @ 306.904
397.39/398.38	c GLOBAL bounds - >= 5892 @ 306.932
397.69/398.65	c GLOBAL bounds - >= 5892 @ 307.054
403.78/404.75	c GLOBAL bounds - >= 5912 @ 313.049
403.98/404.94	c GLOBAL bounds - >= 5912 @ 313.22
404.27/405.22	c GLOBAL bounds - >= 5912 @ 313.344
404.27/405.27	c GLOBAL bounds - >= 5912 @ 313.366
404.58/405.55	c GLOBAL bounds - >= 5912 @ 313.5
404.58/405.60	c GLOBAL bounds - >= 5912 @ 313.521
404.87/405.88	c GLOBAL bounds - >= 5912 @ 313.649
404.97/405.92	c GLOBAL bounds - >= 5912 @ 313.672
405.27/406.20	c GLOBAL bounds - >= 5912 @ 313.799
405.27/406.25	c GLOBAL bounds - >= 5912 @ 313.827
405.57/406.53	c GLOBAL bounds - >= 5912 @ 313.954
405.57/406.57	c GLOBAL bounds - >= 5912 @ 313.977
405.87/406.86	c GLOBAL bounds - >= 5912 @ 314.106
405.97/406.90	c GLOBAL bounds - >= 5912 @ 314.131
406.18/407.18	c GLOBAL bounds - >= 5912 @ 314.265
406.27/407.23	c GLOBAL bounds - >= 5912 @ 314.293
406.57/407.51	c GLOBAL bounds - >= 5912 @ 314.416
406.57/407.56	c GLOBAL bounds - >= 5912 @ 314.445
406.87/407.84	c GLOBAL bounds - >= 5912 @ 314.572
406.87/407.88	c GLOBAL bounds - >= 5912 @ 314.592
407.17/408.16	c GLOBAL bounds - >= 5912 @ 314.716
409.86/410.80	c GLOBAL bounds - >= 5912 @ 317.167
415.75/416.79	c #Conflicts:      17000 | #Constraints:       7904
415.75/416.79	c GLOBAL bounds - >= 5930 @ 323.077
415.95/416.99	c GLOBAL bounds - >= 5930 @ 323.25
416.25/417.25	c GLOBAL bounds - >= 5930 @ 323.37
416.35/417.30	c GLOBAL bounds - >= 5930 @ 323.396
416.54/417.58	c GLOBAL bounds - >= 5930 @ 323.518
416.64/417.63	c GLOBAL bounds - >= 5930 @ 323.55
416.94/417.91	c GLOBAL bounds - >= 5930 @ 323.684
416.94/417.96	c GLOBAL bounds - >= 5930 @ 323.708
417.24/418.24	c GLOBAL bounds - >= 5930 @ 323.831
417.24/418.29	c GLOBAL bounds - >= 5930 @ 323.857
417.54/418.57	c GLOBAL bounds - >= 5930 @ 323.978
417.65/418.62	c GLOBAL bounds - >= 5930 @ 324.002
417.94/418.90	c GLOBAL bounds - >= 5930 @ 324.132
417.94/418.95	c GLOBAL bounds - >= 5930 @ 324.162
418.24/419.23	c GLOBAL bounds - >= 5930 @ 324.285
418.24/419.28	c GLOBAL bounds - >= 5930 @ 324.31
418.54/419.56	c GLOBAL bounds - >= 5930 @ 324.429
418.64/419.61	c GLOBAL bounds - >= 5930 @ 324.456
418.84/419.89	c GLOBAL bounds - >= 5930 @ 324.587
418.94/419.94	c GLOBAL bounds - >= 5930 @ 324.613
419.24/420.22	c GLOBAL bounds - >= 5930 @ 324.749
423.63/424.61	c GLOBAL bounds - >= 5930 @ 328.881
427.92/428.96	c GLOBAL bounds - >= 5930 @ 332.981
443.88/444.97	c #Conflicts:      18000 | #Constraints:       8931
443.88/444.97	c INPROCESSING
443.88/444.97	c GARBAGE COLLECT
443.88/444.97	c GLOBAL bounds - >= 5930 @ 348.01
450.56/451.63	c GLOBAL bounds - >= 5944 @ 354.575
450.76/451.85	c GLOBAL bounds - >= 5944 @ 354.771
450.76/451.89	c GLOBAL bounds - >= 5944 @ 354.8
451.06/452.16	c GLOBAL bounds - >= 5944 @ 354.914
451.17/452.20	c GLOBAL bounds - >= 5944 @ 354.935
451.36/452.47	c GLOBAL bounds - >= 5944 @ 355.047
451.46/452.51	c GLOBAL bounds - >= 5944 @ 355.078
451.66/452.80	c GLOBAL bounds - >= 5944 @ 355.211
451.76/452.84	c GLOBAL bounds - >= 5944 @ 355.232
452.06/453.12	c GLOBAL bounds - >= 5944 @ 355.349
452.06/453.17	c GLOBAL bounds - >= 5944 @ 355.373
452.36/453.45	c GLOBAL bounds - >= 5944 @ 355.497
452.46/453.50	c GLOBAL bounds - >= 5944 @ 355.52
452.66/453.78	c GLOBAL bounds - >= 5944 @ 355.647
452.76/453.83	c GLOBAL bounds - >= 5944 @ 355.669
453.06/454.11	c GLOBAL bounds - >= 5944 @ 355.802
453.06/454.16	c GLOBAL bounds - >= 5944 @ 355.828
453.36/454.44	c GLOBAL bounds - >= 5944 @ 355.968
453.36/454.49	c GLOBAL bounds - >= 5944 @ 356
453.65/454.77	c GLOBAL bounds - >= 5944 @ 356.122
453.76/454.82	c GLOBAL bounds - >= 5944 @ 356.151
454.06/455.10	c GLOBAL bounds - >= 5944 @ 356.283
454.45/455.51	c GLOBAL bounds - >= 5944 @ 356.501
461.54/462.63	c #Conflicts:      19000 | #Constraints:       8207
461.54/462.63	c GLOBAL bounds - >= 5964 @ 363.511
461.74/462.84	c GLOBAL bounds - >= 5964 @ 363.694
461.74/462.89	c GLOBAL bounds - >= 5964 @ 363.723
462.04/463.17	c GLOBAL bounds - >= 5964 @ 363.852
462.14/463.22	c GLOBAL bounds - >= 5964 @ 363.879
462.43/463.51	c GLOBAL bounds - >= 5964 @ 364.017
462.43/463.56	c GLOBAL bounds - >= 5964 @ 364.038
462.74/463.84	c GLOBAL bounds - >= 5964 @ 364.177
462.74/463.89	c GLOBAL bounds - >= 5964 @ 364.199
463.04/464.17	c GLOBAL bounds - >= 5964 @ 364.323
463.14/464.22	c GLOBAL bounds - >= 5964 @ 364.346
463.44/464.51	c GLOBAL bounds - >= 5964 @ 364.473
463.44/464.56	c GLOBAL bounds - >= 5964 @ 364.505
463.74/464.84	c GLOBAL bounds - >= 5964 @ 364.645
463.74/464.89	c GLOBAL bounds - >= 5964 @ 364.674
464.04/465.17	c GLOBAL bounds - >= 5964 @ 364.795
464.13/465.22	c GLOBAL bounds - >= 5964 @ 364.82
464.43/465.51	c GLOBAL bounds - >= 5964 @ 364.95
464.43/465.56	c GLOBAL bounds - >= 5964 @ 364.977
464.74/465.84	c GLOBAL bounds - >= 5964 @ 365.096
464.74/465.89	c GLOBAL bounds - >= 5964 @ 365.126
465.04/466.18	c GLOBAL bounds - >= 5964 @ 365.254
469.82/470.97	c GLOBAL bounds - >= 5964 @ 369.818
478.01/479.19	c #Conflicts:      20000 | #Constraints:       9238
478.01/479.19	c GLOBAL bounds - >= 5984 @ 377.804
478.40/479.53	c GLOBAL bounds - >= 5984 @ 378.122
478.69/479.80	c GLOBAL bounds - >= 5984 @ 378.236
478.69/479.85	c GLOBAL bounds - >= 5984 @ 378.264
479.01/480.14	c GLOBAL bounds - >= 5984 @ 378.396
479.01/480.19	c GLOBAL bounds - >= 5984 @ 378.423
479.29/480.48	c GLOBAL bounds - >= 5984 @ 378.564
479.40/480.53	c GLOBAL bounds - >= 5984 @ 378.588
479.70/480.81	c GLOBAL bounds - >= 5984 @ 378.724
479.70/480.87	c GLOBAL bounds - >= 5984 @ 378.755
480.00/481.15	c GLOBAL bounds - >= 5984 @ 378.885
480.10/481.21	c GLOBAL bounds - >= 5984 @ 378.92
480.29/481.49	c GLOBAL bounds - >= 5984 @ 379.045
480.39/481.54	c GLOBAL bounds - >= 5984 @ 379.076
480.70/481.83	c GLOBAL bounds - >= 5984 @ 379.214
480.70/481.88	c GLOBAL bounds - >= 5984 @ 379.245
481.00/482.17	c GLOBAL bounds - >= 5984 @ 379.377
481.10/482.22	c GLOBAL bounds - >= 5984 @ 379.407
481.50/482.66	c GLOBAL bounds - >= 5984 @ 379.634
481.60/482.71	c GLOBAL bounds - >= 5984 @ 379.666
481.90/483.01	c GLOBAL bounds - >= 5984 @ 379.802
488.28/489.40	c GLOBAL bounds - >= 5984 @ 385.824
496.46/497.68	c #Conflicts:      21000 | #Constraints:      10266
496.46/497.68	c GLOBAL bounds - >= 6002 @ 393.765
496.75/497.90	c GLOBAL bounds - >= 6002 @ 393.965
496.96/498.18	c GLOBAL bounds - >= 6002 @ 394.086
497.06/498.23	c GLOBAL bounds - >= 6002 @ 394.109
497.35/498.52	c GLOBAL bounds - >= 6002 @ 394.239
497.35/498.57	c GLOBAL bounds - >= 6002 @ 394.269
497.65/498.86	c GLOBAL bounds - >= 6002 @ 394.404
497.75/498.93	c GLOBAL bounds - >= 6002 @ 394.432
498.05/499.22	c GLOBAL bounds - >= 6002 @ 394.579
498.05/499.27	c GLOBAL bounds - >= 6002 @ 394.608
498.35/499.56	c GLOBAL bounds - >= 6002 @ 394.747
498.46/499.61	c GLOBAL bounds - >= 6002 @ 394.778
498.75/499.90	c GLOBAL bounds - >= 6002 @ 394.916
498.75/499.96	c GLOBAL bounds - >= 6002 @ 394.944
499.06/500.25	c GLOBAL bounds - >= 6002 @ 395.09
499.15/500.30	c GLOBAL bounds - >= 6002 @ 395.12
499.35/500.59	c GLOBAL bounds - >= 6002 @ 395.255
499.45/500.64	c GLOBAL bounds - >= 6002 @ 395.285
499.75/500.94	c GLOBAL bounds - >= 6002 @ 395.419
499.75/501.00	c GLOBAL bounds - >= 6002 @ 395.447
500.05/501.29	c GLOBAL bounds - >= 6002 @ 395.58
512.62/513.85	c INPROCESSING
512.62/513.85	c GARBAGE COLLECT
512.62/513.85	c GLOBAL bounds - >= 6002 @ 407.789
520.60/521.84	c #Conflicts:      22000 | #Constraints:       6664
520.60/521.84	c GLOBAL bounds - >= 6020 @ 415.669
520.80/522.05	c GLOBAL bounds - >= 6020 @ 415.852
521.10/522.32	c GLOBAL bounds - >= 6020 @ 415.961
521.10/522.37	c GLOBAL bounds - >= 6020 @ 415.985
521.40/522.65	c GLOBAL bounds - >= 6020 @ 416.108
521.50/522.71	c GLOBAL bounds - >= 6020 @ 416.143
521.69/522.99	c GLOBAL bounds - >= 6020 @ 416.268
521.80/523.04	c GLOBAL bounds - >= 6020 @ 416.297
522.10/523.32	c GLOBAL bounds - >= 6020 @ 416.428
522.10/523.38	c GLOBAL bounds - >= 6020 @ 416.457
522.39/523.66	c GLOBAL bounds - >= 6020 @ 416.581
522.50/523.71	c GLOBAL bounds - >= 6020 @ 416.605
522.69/524.00	c GLOBAL bounds - >= 6020 @ 416.72
522.80/524.05	c GLOBAL bounds - >= 6020 @ 416.746
523.09/524.33	c GLOBAL bounds - >= 6020 @ 416.879
523.09/524.38	c GLOBAL bounds - >= 6020 @ 416.901
523.40/524.66	c GLOBAL bounds - >= 6020 @ 417.008
523.49/524.71	c GLOBAL bounds - >= 6020 @ 417.041
523.69/524.99	c GLOBAL bounds - >= 6020 @ 417.162
523.80/525.05	c GLOBAL bounds - >= 6020 @ 417.191
524.09/525.33	c GLOBAL bounds - >= 6020 @ 417.334
530.37/531.61	c #Conflicts:      23000 | #Constraints:       7694
530.37/531.61	c GLOBAL bounds - >= 6020 @ 423.419
538.46/539.76	c GLOBAL bounds - >= 6038 @ 431.485
538.66/539.97	c GLOBAL bounds - >= 6038 @ 431.675
538.96/540.24	c GLOBAL bounds - >= 6038 @ 431.796
538.96/540.29	c GLOBAL bounds - >= 6038 @ 431.835
539.25/540.58	c GLOBAL bounds - >= 6038 @ 431.963
539.36/540.63	c GLOBAL bounds - >= 6038 @ 431.994
539.66/540.92	c GLOBAL bounds - >= 6038 @ 432.123
539.66/540.97	c GLOBAL bounds - >= 6038 @ 432.155
539.95/541.26	c GLOBAL bounds - >= 6038 @ 432.289
540.05/541.31	c GLOBAL bounds - >= 6038 @ 432.32
540.35/541.60	c GLOBAL bounds - >= 6038 @ 432.452
540.35/541.66	c GLOBAL bounds - >= 6038 @ 432.478
540.66/541.94	c GLOBAL bounds - >= 6038 @ 432.605
540.66/542.00	c GLOBAL bounds - >= 6038 @ 432.639
540.95/542.28	c GLOBAL bounds - >= 6038 @ 432.766
541.05/542.34	c GLOBAL bounds - >= 6038 @ 432.804
541.35/542.63	c GLOBAL bounds - >= 6038 @ 432.937
541.35/542.68	c GLOBAL bounds - >= 6038 @ 432.969
541.65/542.97	c GLOBAL bounds - >= 6038 @ 433.097
541.75/543.02	c GLOBAL bounds - >= 6038 @ 433.133
542.05/543.31	c GLOBAL bounds - >= 6038 @ 433.259
543.54/544.88	c GLOBAL bounds - >= 6038 @ 434.626
545.54/546.82	c GLOBAL bounds - >= 6038 @ 436.372
551.33/552.63	c #Conflicts:      24000 | #Constraints:       8722
551.33/552.63	c GLOBAL bounds - >= 6038 @ 441.923
557.41/558.72	c GLOBAL bounds - >= 6038 @ 447.804
574.17/575.58	c #Conflicts:      25000 | #Constraints:       9722
574.17/575.58	c INPROCESSING
574.17/575.58	c GARBAGE COLLECT
574.17/575.58	c GLOBAL bounds - >= 6050 @ 464.533
574.37/575.75	c GLOBAL bounds - >= 6050 @ 464.673
574.46/575.80	c GLOBAL bounds - >= 6050 @ 464.706
574.46/575.86	c GLOBAL bounds - >= 6050 @ 464.729
574.77/576.12	c GLOBAL bounds - >= 6050 @ 464.837
574.77/576.18	c GLOBAL bounds - >= 6050 @ 464.864
575.07/576.44	c GLOBAL bounds - >= 6050 @ 464.983
575.17/576.50	c GLOBAL bounds - >= 6050 @ 465.015
575.36/576.78	c GLOBAL bounds - >= 6050 @ 465.134
575.46/576.84	c GLOBAL bounds - >= 6050 @ 465.158
575.77/577.12	c GLOBAL bounds - >= 6050 @ 465.281
575.77/577.18	c GLOBAL bounds - >= 6050 @ 465.317
576.07/577.46	c GLOBAL bounds - >= 6050 @ 465.434
576.17/577.52	c GLOBAL bounds - >= 6050 @ 465.465
576.46/577.80	c GLOBAL bounds - >= 6050 @ 465.593
576.46/577.86	c GLOBAL bounds - >= 6050 @ 465.628
576.77/578.14	c GLOBAL bounds - >= 6050 @ 465.76
576.87/578.20	c GLOBAL bounds - >= 6050 @ 465.794
577.06/578.48	c GLOBAL bounds - >= 6050 @ 465.918
577.16/578.54	c GLOBAL bounds - >= 6050 @ 465.958
577.46/578.82	c GLOBAL bounds - >= 6050 @ 466.081
577.46/578.88	c GLOBAL bounds - >= 6050 @ 466.119
577.77/579.16	c GLOBAL bounds - >= 6050 @ 466.259
579.76/581.15	c GLOBAL bounds - >= 6050 @ 468.046
582.95/584.35	c GLOBAL bounds - >= 6050 @ 471.052
587.14/588.59	c #Conflicts:      26000 | #Constraints:       7543
587.14/588.59	c GLOBAL bounds - >= 6050 @ 475.093
593.52/594.98	c GLOBAL bounds - >= 6050 @ 481.267
603.00/604.43	c #Conflicts:      27000 | #Constraints:       8543
603.00/604.43	c GLOBAL bounds - >= 6066 @ 490.604
603.20/604.63	c GLOBAL bounds - >= 6066 @ 490.782
603.50/604.92	c GLOBAL bounds - >= 6066 @ 490.928
603.50/604.97	c GLOBAL bounds - >= 6066 @ 490.961
603.80/605.26	c GLOBAL bounds - >= 6066 @ 491.084
603.90/605.31	c GLOBAL bounds - >= 6066 @ 491.115
604.09/605.59	c GLOBAL bounds - >= 6066 @ 491.223
604.20/605.65	c GLOBAL bounds - >= 6066 @ 491.256
604.50/605.92	c GLOBAL bounds - >= 6066 @ 491.378
604.50/605.98	c GLOBAL bounds - >= 6066 @ 491.415
604.80/606.27	c GLOBAL bounds - >= 6066 @ 491.55
604.90/606.33	c GLOBAL bounds - >= 6066 @ 491.583
605.19/606.62	c GLOBAL bounds - >= 6066 @ 491.719
605.19/606.68	c GLOBAL bounds - >= 6066 @ 491.75
605.49/606.97	c GLOBAL bounds - >= 6066 @ 491.881
605.60/607.03	c GLOBAL bounds - >= 6066 @ 491.92
605.89/607.32	c GLOBAL bounds - >= 6066 @ 492.049
605.89/607.38	c GLOBAL bounds - >= 6066 @ 492.082
606.20/607.67	c GLOBAL bounds - >= 6066 @ 492.209
606.29/607.73	c GLOBAL bounds - >= 6066 @ 492.244
606.60/608.02	c GLOBAL bounds - >= 6066 @ 492.368
610.69/612.13	c GLOBAL bounds - >= 6066 @ 496.288
614.77/616.22	c #Conflicts:      28000 | #Constraints:       9565
614.77/616.22	c GLOBAL bounds - >= 6066 @ 500.182
834.83/836.88	c #Conflicts:      29000 | #Constraints:      10565
834.83/836.88	c INPROCESSING
834.83/836.88	c GARBAGE COLLECT
834.83/836.88	c #Conflicts:      30000 | #Constraints:       8143
834.83/836.88	c #Conflicts:      31000 | #Constraints:       9143
834.83/836.88	c #Conflicts:      32000 | #Constraints:      10143
834.83/836.88	c #Conflicts:      33000 | #Constraints:      11143
834.83/836.88	c INPROCESSING
834.83/836.88	c GARBAGE COLLECT
834.83/836.88	c #Conflicts:      34000 | #Constraints:       9558
834.83/836.88	c #Conflicts:      35000 | #Constraints:      10558
834.83/836.88	c #Conflicts:      36000 | #Constraints:      11558
834.83/836.88	c #Conflicts:      37000 | #Constraints:      12558
834.83/836.88	c INPROCESSING
834.83/836.88	c GARBAGE COLLECT
834.83/836.88	c #Conflicts:      38000 | #Constraints:      10201
834.83/836.88	c #Conflicts:      39000 | #Constraints:      11201
834.83/836.88	c #Conflicts:      40000 | #Constraints:      12201
834.83/836.88	c GLOBAL bounds - >= 6082 @ 719.352
835.03/837.00	c GLOBAL bounds - >= 6082 @ 719.456
835.03/837.06	c GLOBAL bounds - >= 6082 @ 719.489
835.52/837.53	c GLOBAL bounds - >= 6082 @ 719.785
835.52/837.59	c GLOBAL bounds - >= 6082 @ 719.811
835.82/837.87	c GLOBAL bounds - >= 6082 @ 719.943
835.92/837.93	c GLOBAL bounds - >= 6082 @ 719.977
836.22/838.21	c GLOBAL bounds - >= 6082 @ 720.102
836.22/838.27	c GLOBAL bounds - >= 6082 @ 720.133
836.52/838.55	c GLOBAL bounds - >= 6082 @ 720.264
836.62/838.61	c GLOBAL bounds - >= 6082 @ 720.297
836.93/838.90	c GLOBAL bounds - >= 6082 @ 720.422
836.93/838.95	c GLOBAL bounds - >= 6082 @ 720.459
837.23/839.22	c GLOBAL bounds - >= 6082 @ 720.574
837.23/839.28	c GLOBAL bounds - >= 6082 @ 720.604
837.52/839.56	c GLOBAL bounds - >= 6082 @ 720.717
837.63/839.62	c GLOBAL bounds - >= 6082 @ 720.753
837.92/839.90	c GLOBAL bounds - >= 6082 @ 720.875
837.92/839.96	c GLOBAL bounds - >= 6082 @ 720.909
838.22/840.25	c GLOBAL bounds - >= 6082 @ 721.032
838.32/840.30	c GLOBAL bounds - >= 6082 @ 721.069
838.52/840.59	c GLOBAL bounds - >= 6082 @ 721.216
845.11/847.15	c GLOBAL bounds - >= 6082 @ 727.475
1918.53/1923.21	c #Conflicts:      41000 | #Constraints:      13229
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      42000 | #Constraints:      10171
1918.53/1923.21	c #Conflicts:      43000 | #Constraints:      11171
1918.53/1923.21	c #Conflicts:      44000 | #Constraints:      12171
1918.53/1923.21	c #Conflicts:      45000 | #Constraints:      13171
1918.53/1923.21	c #Conflicts:      46000 | #Constraints:      14171
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      47000 | #Constraints:      10846
1918.53/1923.21	c #Conflicts:      48000 | #Constraints:      11846
1918.53/1923.21	c #Conflicts:      49000 | #Constraints:      12846
1918.53/1923.21	c #Conflicts:      50000 | #Constraints:      13846
1918.53/1923.21	c #Conflicts:      51000 | #Constraints:      14846
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      52000 | #Constraints:      11345
1918.53/1923.21	c #Conflicts:      53000 | #Constraints:      12345
1918.53/1923.21	c #Conflicts:      54000 | #Constraints:      13345
1918.53/1923.21	c #Conflicts:      55000 | #Constraints:      14345
1918.53/1923.21	c #Conflicts:      56000 | #Constraints:      15345
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      57000 | #Constraints:      11557
1918.53/1923.21	c #Conflicts:      58000 | #Constraints:      12557
1918.53/1923.21	c #Conflicts:      59000 | #Constraints:      13557
1918.53/1923.21	c #Conflicts:      60000 | #Constraints:      14557
1918.53/1923.21	c #Conflicts:      61000 | #Constraints:      15557
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      62000 | #Constraints:      11607
1918.53/1923.21	c #Conflicts:      63000 | #Constraints:      12607
1918.53/1923.21	c #Conflicts:      64000 | #Constraints:      13607
1918.53/1923.21	c #Conflicts:      65000 | #Constraints:      14607
1918.53/1923.21	c #Conflicts:      66000 | #Constraints:      15607
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      67000 | #Constraints:      11437
1918.53/1923.21	c #Conflicts:      68000 | #Constraints:      12437
1918.53/1923.21	c #Conflicts:      69000 | #Constraints:      13437
1918.53/1923.21	c #Conflicts:      70000 | #Constraints:      14437
1918.53/1923.21	c #Conflicts:      71000 | #Constraints:      15437
1918.53/1923.21	c #Conflicts:      72000 | #Constraints:      16437
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      73000 | #Constraints:      11998
1918.53/1923.21	c #Conflicts:      74000 | #Constraints:      12998
1918.53/1923.21	c #Conflicts:      75000 | #Constraints:      13998
1918.53/1923.21	c #Conflicts:      76000 | #Constraints:      14998
1918.53/1923.21	c #Conflicts:      77000 | #Constraints:      15998
1918.53/1923.21	c #Conflicts:      78000 | #Constraints:      16998
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      79000 | #Constraints:      12472
1918.53/1923.21	c #Conflicts:      80000 | #Constraints:      13472
1918.53/1923.21	c #Conflicts:      81000 | #Constraints:      14472
1918.53/1923.21	c #Conflicts:      82000 | #Constraints:      15472
1918.53/1923.21	c #Conflicts:      83000 | #Constraints:      16472
1918.53/1923.21	c #Conflicts:      84000 | #Constraints:      17472
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      85000 | #Constraints:      12694
1918.53/1923.21	c #Conflicts:      86000 | #Constraints:      13694
1918.53/1923.21	c #Conflicts:      87000 | #Constraints:      14694
1918.53/1923.21	c #Conflicts:      88000 | #Constraints:      15694
1918.53/1923.21	c #Conflicts:      89000 | #Constraints:      16694
1918.53/1923.21	c #Conflicts:      90000 | #Constraints:      17694
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      91000 | #Constraints:      12722
1918.53/1923.21	c #Conflicts:      92000 | #Constraints:      13722
1918.53/1923.21	c #Conflicts:      93000 | #Constraints:      14722
1918.53/1923.21	c #Conflicts:      94000 | #Constraints:      15722
1918.53/1923.21	c #Conflicts:      95000 | #Constraints:      16722
1918.53/1923.21	c #Conflicts:      96000 | #Constraints:      17722
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:      97000 | #Constraints:      12484
1918.53/1923.21	c #Conflicts:      98000 | #Constraints:      13484
1918.53/1923.21	c #Conflicts:      99000 | #Constraints:      14484
1918.53/1923.21	c #Conflicts:     100000 | #Constraints:      15484
1918.53/1923.21	c #Conflicts:     101000 | #Constraints:      16484
1918.53/1923.21	c #Conflicts:     102000 | #Constraints:      17484
1918.53/1923.21	c #Conflicts:     103000 | #Constraints:      18484
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:     104000 | #Constraints:      13051
1918.53/1923.21	c #Conflicts:     105000 | #Constraints:      14051
1918.53/1923.21	c #Conflicts:     106000 | #Constraints:      15051
1918.53/1923.21	c #Conflicts:     107000 | #Constraints:      16051
1918.53/1923.21	c #Conflicts:     108000 | #Constraints:      17051
1918.53/1923.21	c #Conflicts:     109000 | #Constraints:      18051
1918.53/1923.21	c #Conflicts:     110000 | #Constraints:      19051
1918.53/1923.21	c INPROCESSING
1918.53/1923.21	c GARBAGE COLLECT
1918.53/1923.21	c #Conflicts:     111000 | #Constraints:      13497
2361.92/2367.72	c #Conflicts:     112000 | #Constraints:      14497
2361.92/2367.72	c #Conflicts:     113000 | #Constraints:      15497
2361.92/2367.72	c #Conflicts:     114000 | #Constraints:      16497
2361.92/2367.72	c #Conflicts:     115000 | #Constraints:      17497
2361.92/2367.72	c #Conflicts:     116000 | #Constraints:      18497
2361.92/2367.72	c #Conflicts:     117000 | #Constraints:      19497
2361.92/2367.72	c INPROCESSING
2361.92/2367.72	c GARBAGE COLLECT
2361.92/2367.72	c #Conflicts:     118000 | #Constraints:      13776
2361.92/2367.72	c #Conflicts:     119000 | #Constraints:      14776
2361.92/2367.72	c #Conflicts:     120000 | #Constraints:      15776
2361.92/2367.72	c #Conflicts:     121000 | #Constraints:      16776
2361.92/2367.72	c #Conflicts:     122000 | #Constraints:      17776
2361.92/2367.72	c #Conflicts:     123000 | #Constraints:      18776
2361.92/2367.72	c #Conflicts:     124000 | #Constraints:      19776
2361.92/2367.72	c INPROCESSING
2361.92/2367.72	c GARBAGE COLLECT
2361.92/2367.72	c #Conflicts:     125000 | #Constraints:      13822
2361.92/2367.72	c #Conflicts:     126000 | #Constraints:      14822
2361.92/2367.72	c #Conflicts:     127000 | #Constraints:      15822
2361.92/2367.72	c #Conflicts:     128000 | #Constraints:      16822
2361.92/2367.72	c #Conflicts:     129000 | #Constraints:      17822
2361.92/2367.72	c #Conflicts:     130000 | #Constraints:      18822
2361.92/2367.72	c #Conflicts:     131000 | #Constraints:      19822
2361.92/2367.72	c INPROCESSING
2361.92/2367.72	c GARBAGE COLLECT
2361.92/2367.72	c #Conflicts:     132000 | #Constraints:      13639
2361.92/2367.72	c #Conflicts:     133000 | #Constraints:      14639
2361.92/2367.72	c #Conflicts:     134000 | #Constraints:      15639
2361.92/2367.72	c #Conflicts:     135000 | #Constraints:      16639
2361.92/2367.72	c #Conflicts:     136000 | #Constraints:      17639
2361.92/2367.72	c #Conflicts:     137000 | #Constraints:      18639
2361.92/2367.72	c #Conflicts:     138000 | #Constraints:      19639
2361.92/2367.72	c GLOBAL bounds - >= 6100 @ 2233.62
2362.12/2367.99	c GLOBAL bounds - >= 6100 @ 2233.86
2362.63/2368.47	c GLOBAL bounds - >= 6100 @ 2234.14
2362.73/2368.53	c GLOBAL bounds - >= 6100 @ 2234.17
2363.02/2368.83	c GLOBAL bounds - >= 6100 @ 2234.29
2363.02/2368.89	c GLOBAL bounds - >= 6100 @ 2234.33
2363.33/2369.18	c GLOBAL bounds - >= 6100 @ 2234.47
2363.42/2369.24	c GLOBAL bounds - >= 6100 @ 2234.5
2363.72/2369.54	c GLOBAL bounds - >= 6100 @ 2234.64
2363.83/2369.60	c GLOBAL bounds - >= 6100 @ 2234.68
2364.12/2369.90	c GLOBAL bounds - >= 6100 @ 2234.82
2364.12/2369.96	c GLOBAL bounds - >= 6100 @ 2234.85
2364.42/2370.25	c GLOBAL bounds - >= 6100 @ 2235
2364.52/2370.31	c GLOBAL bounds - >= 6100 @ 2235.04
2364.82/2370.61	c GLOBAL bounds - >= 6100 @ 2235.18
2364.82/2370.67	c GLOBAL bounds - >= 6100 @ 2235.21
2365.12/2370.97	c GLOBAL bounds - >= 6100 @ 2235.36
2365.23/2371.03	c GLOBAL bounds - >= 6100 @ 2235.39
2365.52/2371.32	c GLOBAL bounds - >= 6100 @ 2235.54
2365.52/2371.39	c GLOBAL bounds - >= 6100 @ 2235.58
2365.82/2371.68	c GLOBAL bounds - >= 6100 @ 2235.71
2372.70/2378.56	c GLOBAL bounds - >= 6100 @ 2242.33
2691.32/2697.94	c #Conflicts:     139000 | #Constraints:      20666
2691.32/2697.94	c INPROCESSING
2691.32/2697.94	c GARBAGE COLLECT
2691.32/2697.94	c #Conflicts:     140000 | #Constraints:      14173
2691.32/2697.94	c #Conflicts:     141000 | #Constraints:      15173
2691.32/2697.94	c #Conflicts:     142000 | #Constraints:      16173
2691.32/2697.94	c #Conflicts:     143000 | #Constraints:      17173
2691.32/2697.94	c #Conflicts:     144000 | #Constraints:      18173
2691.32/2697.94	c #Conflicts:     145000 | #Constraints:      19173
2691.32/2697.94	c #Conflicts:     146000 | #Constraints:      20173
2691.32/2697.94	c #Conflicts:     147000 | #Constraints:      21173
2691.32/2697.94	c INPROCESSING
2691.32/2697.94	c GARBAGE COLLECT
2691.32/2697.94	c #Conflicts:     148000 | #Constraints:      14618
2691.32/2697.94	c #Conflicts:     149000 | #Constraints:      15618
2691.32/2697.94	c #Conflicts:     150000 | #Constraints:      16618
2691.32/2697.94	c #Conflicts:     151000 | #Constraints:      17618
2691.32/2697.94	c #Conflicts:     152000 | #Constraints:      18618
2691.32/2697.94	c #Conflicts:     153000 | #Constraints:      19618
2691.32/2697.94	c #Conflicts:     154000 | #Constraints:      20618
2691.32/2697.94	c #Conflicts:     155000 | #Constraints:      21618
2691.32/2697.94	c INPROCESSING
2691.32/2697.94	c GARBAGE COLLECT
2691.32/2697.94	c #Conflicts:     156000 | #Constraints:      14701
2691.32/2697.94	c #Conflicts:     157000 | #Constraints:      15701
2691.32/2697.94	c #Conflicts:     158000 | #Constraints:      16701
2691.32/2697.94	c GLOBAL bounds - >= 6118 @ 2559.12
2691.53/2698.14	c GLOBAL bounds - >= 6118 @ 2559.29
2691.61/2698.20	c GLOBAL bounds - >= 6118 @ 2559.33
2692.02/2698.69	c GLOBAL bounds - >= 6118 @ 2559.63
2692.12/2698.75	c GLOBAL bounds - >= 6118 @ 2559.66
2692.42/2699.04	c GLOBAL bounds - >= 6118 @ 2559.8
2692.52/2699.10	c GLOBAL bounds - >= 6118 @ 2559.83
2692.71/2699.39	c GLOBAL bounds - >= 6118 @ 2559.98
2692.81/2699.46	c GLOBAL bounds - >= 6118 @ 2560.01
2693.11/2699.75	c GLOBAL bounds - >= 6118 @ 2560.16
2693.21/2699.82	c GLOBAL bounds - >= 6118 @ 2560.19
2693.52/2700.11	c GLOBAL bounds - >= 6118 @ 2560.34
2693.52/2700.17	c GLOBAL bounds - >= 6118 @ 2560.38
2693.81/2700.46	c GLOBAL bounds - >= 6118 @ 2560.52
2693.91/2700.53	c GLOBAL bounds - >= 6118 @ 2560.55
2694.21/2700.82	c GLOBAL bounds - >= 6118 @ 2560.7
2694.21/2700.89	c GLOBAL bounds - >= 6118 @ 2560.73
2694.52/2701.18	c GLOBAL bounds - >= 6118 @ 2560.88
2694.61/2701.25	c GLOBAL bounds - >= 6118 @ 2560.92
2694.91/2701.54	c GLOBAL bounds - >= 6118 @ 2561.05
2695.01/2701.60	c GLOBAL bounds - >= 6118 @ 2561.09
2695.30/2701.90	c GLOBAL bounds - >= 6118 @ 2561.23
2695.71/2702.36	c GLOBAL bounds - >= 6118 @ 2561.52
2701.10/2707.72	c GLOBAL bounds - >= 6118 @ 2566.64
2708.77/2715.41	c #Conflicts:     159000 | #Constraints:      17732
2708.77/2715.41	c GLOBAL bounds - >= 6118 @ 2574.07
2721.75/2728.43	c #Conflicts:     160000 | #Constraints:      18732
2721.75/2728.43	c GLOBAL bounds - >= 6118 @ 2586.82
2930.42/2937.69	c #Conflicts:     161000 | #Constraints:      19732
2930.42/2937.69	c #Conflicts:     162000 | #Constraints:      20732
2930.42/2937.69	c #Conflicts:     163000 | #Constraints:      21732
2930.42/2937.69	c INPROCESSING
2930.42/2937.69	c GARBAGE COLLECT
2930.42/2937.69	c #Conflicts:     164000 | #Constraints:      12761
2930.42/2937.69	c #Conflicts:     165000 | #Constraints:      13761
2930.42/2937.69	c #Conflicts:     166000 | #Constraints:      14761
2930.42/2937.69	c #Conflicts:     167000 | #Constraints:      15761
2930.42/2937.69	c #Conflicts:     168000 | #Constraints:      16761
2930.42/2937.69	c #Conflicts:     169000 | #Constraints:      17761
2930.42/2937.69	c #Conflicts:     170000 | #Constraints:      18761
2930.42/2937.69	c #Conflicts:     171000 | #Constraints:      19761
2930.42/2937.69	c INPROCESSING
2930.42/2937.69	c GARBAGE COLLECT
2930.42/2937.69	c #Conflicts:     172000 | #Constraints:      13558
2930.42/2937.69	c GLOBAL bounds - >= 6132 @ 2793.78
2930.72/2937.94	c GLOBAL bounds - >= 6132 @ 2794
2930.82/2938.00	c GLOBAL bounds - >= 6132 @ 2794.04
2931.22/2938.45	c GLOBAL bounds - >= 6132 @ 2794.3
2931.32/2938.52	c GLOBAL bounds - >= 6132 @ 2794.34
2931.52/2938.79	c GLOBAL bounds - >= 6132 @ 2794.46
2931.62/2938.86	c GLOBAL bounds - >= 6132 @ 2794.5
2931.92/2939.13	c GLOBAL bounds - >= 6132 @ 2794.61
2932.02/2939.20	c GLOBAL bounds - >= 6132 @ 2794.65
2932.21/2939.49	c GLOBAL bounds - >= 6132 @ 2794.78
2932.32/2939.56	c GLOBAL bounds - >= 6132 @ 2794.82
2932.62/2939.85	c GLOBAL bounds - >= 6132 @ 2794.96
2932.71/2939.92	c GLOBAL bounds - >= 6132 @ 2795
2933.01/2940.21	c GLOBAL bounds - >= 6132 @ 2795.14
2933.01/2940.27	c GLOBAL bounds - >= 6132 @ 2795.18
2933.31/2940.56	c GLOBAL bounds - >= 6132 @ 2795.32
2933.42/2940.63	c GLOBAL bounds - >= 6132 @ 2795.36
2933.71/2940.92	c GLOBAL bounds - >= 6132 @ 2795.49
2935.41/2942.62	c GLOBAL bounds - >= 6132 @ 2797.14
2935.81/2943.07	c GLOBAL bounds - >= 6132 @ 2797.41
2937.61/2944.82	c GLOBAL bounds - >= 6132 @ 2799.1
2938.20/2945.41	c GLOBAL bounds - >= 6132 @ 2799.52
2939.50/2946.75	c GLOBAL bounds - >= 6132 @ 2800.66
2943.89/2951.14	c #Conflicts:     173000 | #Constraints:      14582
2943.89/2951.14	c GLOBAL bounds - >= 6132 @ 2804.82
2951.57/2958.89	c GLOBAL bounds - >= 6132 @ 2812.35
2996.05/3003.45	c #Conflicts:     174000 | #Constraints:      15582
2996.05/3003.45	c #Conflicts:     175000 | #Constraints:      16582
2996.05/3003.45	c #Conflicts:     176000 | #Constraints:      17582
2996.05/3003.45	c #Conflicts:     177000 | #Constraints:      18582
2996.05/3003.45	c GLOBAL bounds - >= 6132 @ 2856.46
3180.30/3188.19	terminate called after throwing an instance of 'std::bad_alloc'
3180.39/3188.20	  what():  std::bad_alloc

ERROR: no interpretation found !

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62134 MiB free)
  memory of node 1: 64507 MiB (56859 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100066 s]*
/proc/loadavg: 1.07 1.33 1.75 5/261 101096
/proc/meminfo: memFree=121788848/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=99380 memory=54416 CPUtime=0.08 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 7576 0 0 0 5 3 0 0 20 0 1 0 80395255 101765120 13604 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 24845 13604 1920 1147 0 12272 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103572 KiB
Current children cumulated memory: 57360 KiB

[startup+0.205722 s]*
/proc/loadavg: 1.07 1.33 1.75 4/264 101101
/proc/meminfo: memFree=121705992/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=105580 memory=61952 CPUtime=0.18 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 8959 0 0 0 12 6 0 0 20 0 1 0 80395255 108113920 15488 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 26395 15488 1920 1147 0 13822 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 109772 KiB
Current children cumulated memory: 64896 KiB

[startup+0.305916 s]*
/proc/loadavg: 1.07 1.33 1.75 5/267 101107
/proc/meminfo: memFree=121605812/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=111864 memory=67968 CPUtime=0.28 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 10526 0 0 0 19 9 0 0 20 0 1 0 80395255 114548736 16992 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 27966 16992 1920 1147 0 15393 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 116056 KiB
Current children cumulated memory: 70912 KiB

[startup+0.7002 s]
/proc/loadavg: 1.07 1.33 1.75 5/267 101107
/proc/meminfo: memFree=121547788/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=134392 memory=86568 CPUtime=0.66 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 14366 0 0 0 48 18 0 0 20 0 1 0 80395255 137617408 21642 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 33598 21642 1920 1147 0 21025 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 138584 KiB
Current children cumulated memory: 89512 KiB

[startup+1.50021 s]
/proc/loadavg: 1.07 1.33 1.75 5/267 101107
/proc/meminfo: memFree=121349564/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=363848 memory=281576 CPUtime=1.45 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 28025 0 0 0 113 32 0 0 20 0 1 0 80395255 372580352 70394 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 90962 70394 2240 1147 0 78389 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 368040 KiB
Current children cumulated memory: 284520 KiB

[startup+3.10591 s]
/proc/loadavg: 1.07 1.33 1.75 5/267 101107
/proc/meminfo: memFree=119987992/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=835384 memory=641152 CPUtime=3.06 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 63408 0 0 0 246 60 0 0 20 0 1 0 80395255 855433216 160288 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 208846 160288 2336 1147 0 196273 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 839576 KiB
Current children cumulated memory: 644096 KiB

[startup+6.3002 s]
/proc/loadavg: 1.38 1.39 1.77 5/267 101107
/proc/meminfo: memFree=119415444/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=846660 memory=651864 CPUtime=6.24 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 65468 0 0 0 563 61 0 0 20 0 1 0 80395255 866979840 162966 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 211665 162966 2336 1147 0 199092 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 850852 KiB
Current children cumulated memory: 654808 KiB

[startup+12.7002 s]
/proc/loadavg: 1.59 1.44 1.78 5/267 101108
/proc/meminfo: memFree=119090660/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=854108 memory=659544 CPUtime=12.64 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 67427 0 0 0 1202 62 0 0 20 0 1 0 80395255 874606592 164886 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 213527 164886 2368 1147 0 200954 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 858300 KiB
Current children cumulated memory: 662488 KiB

[startup+25.5002 s]
/proc/loadavg: 2.13 1.56 1.82 5/267 101108
/proc/meminfo: memFree=118786404/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=895064 memory=690396 CPUtime=25.41 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 71024 0 0 0 2431 110 0 0 20 0 1 0 80395255 916545536 172599 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 223766 172599 2368 1147 0 211193 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 899256 KiB
Current children cumulated memory: 693340 KiB

[startup+51.1056 s]
/proc/loadavg: 2.85 1.78 1.88 5/267 101108
/proc/meminfo: memFree=117586992/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=1989304 memory=1659688 CPUtime=50.96 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 238309 0 0 0 3867 1229 0 0 20 0 1 0 80395255 2037047296 414922 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 497326 414922 2368 1147 0 484753 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1993496 KiB
Current children cumulated memory: 1662632 KiB

[startup+102.3 s]
/proc/loadavg: 3.50 2.12 1.99 5/267 101110
/proc/meminfo: memFree=114591348/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=5389304 memory=4503600 CPUtime=102.05 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 776658 0 0 0 7064 3141 0 0 20 0 1 0 80395255 5518647296 1125900 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 1347326 1125900 2368 1147 0 1334753 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 5393496 KiB
Current children cumulated memory: 4506544 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 2.48 2.13 5/267 101119
/proc/meminfo: memFree=112692568/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=6485724 memory=5489888 CPUtime=161.92 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 938465 0 0 0 11559 4633 0 0 20 0 1 0 80395255 6641381376 1372472 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 1621431 1372472 2368 1147 0 1608858 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 6489916 KiB
Current children cumulated memory: 5492832 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 2.79 2.26 5/269 101123
/proc/meminfo: memFree=111226016/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=7892516 memory=6672088 CPUtime=221.8 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 1130883 0 0 0 16048 6132 0 0 20 0 1 0 80395255 8081936384 1668022 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 1973129 1668022 2368 1147 0 1960556 0
Current children cumulated CPU time: 221.8 s

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

/proc/meminfo: memFree=91432128/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=23039936 memory=20232684 CPUtime=2855.31 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 3651849 0 0 0 271919 13612 0 0 20 0 1 0 80395255 23592894464 5058171 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 5759984 5058171 2368 1147 0 5747411 0
Current children cumulated CPU time: 2855.31 s
Current children cumulated vsize: 23044128 KiB
Current children cumulated memory: 20235628 KiB

[startup+2922.3 s]
/proc/loadavg: 4.26 4.16 4.04 5/266 101302
/proc/meminfo: memFree=90335212/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=23048132 memory=21131276 CPUtime=2915.16 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 3780362 0 0 0 277845 13671 0 0 20 0 1 0 80395255 23601287168 5282819 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 5762033 5282819 2368 1147 0 5749460 0
Current children cumulated CPU time: 2915.16 s
Current children cumulated vsize: 23052324 KiB
Current children cumulated memory: 21134220 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.14 4.04 5/267 101305
/proc/meminfo: memFree=90099796/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=23054584 memory=21147160 CPUtime=2975.01 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 3784365 0 0 0 283557 13944 0 0 20 0 1 0 80395255 23607894016 5286790 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 5763646 5286790 2368 1147 0 5751073 0
Current children cumulated CPU time: 2975.01 s
Current children cumulated vsize: 23058776 KiB
Current children cumulated memory: 21150104 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.13 4.04 5/267 101307
/proc/meminfo: memFree=88858940/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=23078788 memory=22220276 CPUtime=3034.86 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 3934714 0 0 0 289466 14020 0 0 20 0 1 0 80395255 23632678912 5555069 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 5769697 5555069 2368 1147 0 5757124 0
Current children cumulated CPU time: 3034.86 s
Current children cumulated vsize: 23082980 KiB
Current children cumulated memory: 22223220 KiB

[startup+3102.3 s]
/proc/loadavg: 4.08 4.12 4.04 5/267 101309
/proc/meminfo: memFree=88596840/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=23079040 memory=22220532 CPUtime=3094.71 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 3936679 0 0 0 295408 14063 0 0 20 0 1 0 80395255 23632936960 5555133 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 5769760 5555133 2368 1147 0 5757187 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 23083232 KiB
Current children cumulated memory: 22223476 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.11 4.04 5/268 101318
/proc/meminfo: memFree=88473620/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=23079296 memory=22220788 CPUtime=3154.56 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101094 101094 100629 0 -1 4194304 3939915 0 0 0 301347 14109 0 0 20 0 1 0 80395255 23633199104 5555197 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 5769824 5555197 2368 1147 0 5757251 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 23083488 KiB
Current children cumulated memory: 22223732 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+3188.2 s]
/proc/loadavg: 4.12 4.12 4.04 5/268 101318
/proc/meminfo: memFree=84055956/131249996 swapFree=33010416/33010684
[pid=101094] ppid=101091 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/101094/stat : 101094 (run-opt.sh) S 101091 101094 100629 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 80395254 4292608 736 18446744073709551615 93941994094592 93941994989125 140723190222192 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93941995228176 93941995275920 93941995847680 140723190225259 140723190225382 140723190225382 140723190230986 0
/proc/101094/statm: 1048 736 672 219 0 110 0
[pid=101096] ppid=101094 vsize=31794724 memory=26884448 CPUtime=3180.39 cores=1,3
/proc/101096/stat : 101096 (roundingsat) D 101094 101094 100629 0 -1 4194304 5070342 0 0 0 303752 14287 0 0 20 0 1 0 80395255 32557797376 6721112 18446744073709551615 4227072 8923433 140724931370000 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 0
/proc/101096/statm: 7948681 6721112 2464 1147 0 7936108 0
Current children cumulated CPU time: 3180.39 s
Current children cumulated vsize: 31798916 KiB
Current children cumulated memory: 26887392 KiB

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

[startup+3188.2 s]
# the end of solver process 101094 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.002095 s

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3037.52 s, system=144.807 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+3188.8 s]
/proc/loadavg: 4.12 4.12 4.04 5/269 101321
/proc/meminfo: memFree=83653036/131249996 swapFree=33010416/33010684
[pid=101096] ppid=101091 vsize=31794724 memory=26884448 CPUtime=3180.9 cores=1,3
/proc/101096/stat : 101096 (roundingsat) R 101091 101094 100629 0 -1 4195840 5070343 0 0 0 303752 14338 0 0 20 0 1 0 80395255 32557797376 6721112 18446744073709551615 4227072 8923433 140724931370000 140724931365728 140026682325612 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 6
/proc/101096/statm: 7948681 6721112 2464 1147 0 7936108 0
Current cumulated CPU time of completed processes: 0.002095 s
Current children cumulated CPU time: 3180.9 s
Current children cumulated vsize: 31794724 KiB
Current children cumulated memory: 26884448 KiB

[startup+3189.6 s]
/proc/loadavg: 4.19 4.13 4.05 5/269 101322
/proc/meminfo: memFree=82650924/131249996 swapFree=33010416/33010684
[pid=101096] ppid=101091 vsize=31794724 memory=26884448 CPUtime=3181.1 cores=1,3
/proc/101096/stat : 101096 (roundingsat) S 101091 101094 100629 0 -1 4195840 5070343 0 0 0 303752 14358 0 0 20 0 1 0 80395255 32557797376 6721112 18446744073709551615 4227072 8923433 140724931370000 140724931365728 140026682325612 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 6
/proc/101096/statm: 7948681 6721112 2464 1147 0 7936108 0
Current cumulated CPU time of completed processes: 0.002095 s
Current children cumulated CPU time: 3181.1 s
Current children cumulated vsize: 31794724 KiB
Current children cumulated memory: 26884448 KiB

[startup+3190 s]*
/proc/loadavg: 4.19 4.13 4.05 5/269 101322
/proc/meminfo: memFree=82599452/131249996 swapFree=33010416/33010684
[pid=101096] ppid=101091 vsize=31794724 memory=26884448 CPUtime=3181.1 cores=1,3
/proc/101096/stat : 101096 (roundingsat) S 101091 101094 100629 0 -1 4195840 5070343 0 0 0 303752 14358 0 0 20 0 1 0 80395255 32557797376 6721112 18446744073709551615 4227072 8923433 140724931370000 140724931365728 140026682325612 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 6
/proc/101096/statm: 7948681 6721112 2464 1147 0 7936108 0
Current cumulated CPU time of completed processes: 0.002095 s
Current children cumulated CPU time: 3181.1 s
Current children cumulated vsize: 31794724 KiB
Current children cumulated memory: 26884448 KiB

[startup+3190.2 s]
/proc/loadavg: 4.19 4.13 4.05 5/269 101322
/proc/meminfo: memFree=82599452/131249996 swapFree=33010416/33010684
[pid=101096] ppid=101091 vsize=31794724 memory=26884448 CPUtime=3181.1 cores=1,3
/proc/101096/stat : 101096 (roundingsat) S 101091 101094 100629 0 -1 4195840 5070343 0 0 0 303752 14358 0 0 20 0 1 0 80395255 32557797376 6721112 18446744073709551615 4227072 8923433 140724931370000 140724931365728 140026682325612 0 0 0 8404994 1 0 0 17 3 0 0 0 0 0 9823104 9832592 32321536 140724931373472 140724931373606 140724931373606 140724931379178 6
/proc/101096/statm: 7948681 6721112 2464 1147 0 7936108 0
Current cumulated CPU time of completed processes: 0.002095 s
Current children cumulated CPU time: 3181.1 s
Current children cumulated vsize: 31794724 KiB
Current children cumulated memory: 26884448 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3191.43
CPU time (s): 3182.33
CPU user time (s): 3037.52
CPU system time (s): 144.807
CPU usage (%): 99.7149
Max. virtual memory (cumulated for all children) (KiB): 31798916
Max. memory (cumulated for all children) (KiB): 26887392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3037.52
system time used= 144.807
maximum resident set size= 26884448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5070547
page faults= 0
swaps= 0
block input operations= 184
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 975
involuntary context switches= 3059


# summary of solver processes directly reported to runsolver:
#   pid: 101094,101096
#   total CPU time (s): 3182.33
#   total CPU user time (s): 3037.52
#   total CPU system time (s): 144.807

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41588 second user time and 16.3353 second system time

The end

Begin job on nodeC022 at 2025-07-04 18:39:35
IDJOB=4522734
IDBENCH=179278
IDSOLVER=3350
FILE ID=nodeC022/4522734-1751647175
RUNJOBID= nodeC022-1751647175-101046
SLURM_JOB_ID= 9672327
Free space on /tmp= 432312 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/SMTI/SMTI_PBO/SMTI_50000_3_0.85_4.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522734-1751647175/watcher-4522734-1751647175 -o /tmp/evaluation-result-4522734-1751647175/solver-4522734-1751647175 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1751647175-101046 --watchdog 3760  run-opt.sh HOME/instance-4522734-1751647175.opb

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

MD5SUM BENCH= 80bbccedb85ca0271e993b8d74e189a8
RANDOM SEED=684847346

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        121873436 kB
MemAvailable:   129578284 kB
Buffers:            2128 kB
Cached:          8453756 kB
SwapCached:           32 kB
Active:           768572 kB
Inactive:        7802708 kB
Active(anon):     129248 kB
Inactive(anon):     4176 kB
Active(file):     639324 kB
Inactive(file):  7798532 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             82412 kB
Writeback:             0 kB
AnonPages:        118452 kB
Mapped:           111196 kB
Shmem:             18028 kB
KReclaimable:     212064 kB
Slab:             304504 kB
SReclaimable:     212064 kB
SUnreclaim:        92440 kB
KernelStack:        4052 kB
PageTables:         3064 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     444124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 430140 MiB
End job on nodeC022 at 2025-07-04 19:32:46