0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
3.14/3.25	c #variables 250000 #constraints 345849
3.14/3.25	c objective is ce32 
3.33/3.42	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3.33/3.42	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3.33/3.42	c GLOBAL bounds - >= 0 @ 2.75581
3.53/3.68	c GLOBAL bounds - >= 0 @ 2.88764
3.64/3.75	c GLOBAL bounds - >= 4925 @ 2.92651
26.07/26.25	c GLOBAL bounds - >= 4925 @ 25.2854
26.27/26.49	c GLOBAL bounds - >= 4925 @ 25.3909
26.27/26.50	c GLOBAL bounds - >= 4925 @ 25.3971
26.57/26.76	c GLOBAL bounds - >= 4925 @ 25.5282
26.57/26.77	c GLOBAL bounds - >= 4925 @ 25.5332
26.89/27.03	c GLOBAL bounds - >= 4925 @ 25.6712
26.89/27.04	c GLOBAL bounds - >= 4925 @ 25.6751
27.08/27.28	c GLOBAL bounds - >= 4925 @ 25.7993
27.08/27.28	c GLOBAL bounds - >= 4925 @ 25.8018
27.37/27.55	c GLOBAL bounds - >= 4925 @ 25.9406
27.37/27.55	c GLOBAL bounds - >= 4925 @ 25.9437
27.57/27.79	c GLOBAL bounds - >= 4925 @ 26.0626
27.57/27.80	c GLOBAL bounds - >= 4925 @ 26.0657
27.88/28.06	c GLOBAL bounds - >= 4925 @ 26.2182
27.88/28.07	c GLOBAL bounds - >= 4925 @ 26.2209
28.07/28.28	c GLOBAL bounds - >= 4925 @ 26.2895
28.07/28.28	c GLOBAL bounds - >= 4925 @ 26.2917
28.36/28.59	c GLOBAL bounds - >= 4925 @ 26.4651
28.36/28.59	c GLOBAL bounds - >= 4925 @ 26.4674
28.67/28.87	c GLOBAL bounds - >= 4925 @ 26.6265
28.88/29.05	c GLOBAL bounds - >= 4998 @ 26.7671
29.07/29.20	c GLOBAL bounds - >= 4998 @ 26.9143
29.26/29.47	c GLOBAL bounds - >= 4998 @ 27.0579
29.26/29.48	c GLOBAL bounds - >= 4998 @ 27.0608
29.57/29.75	c GLOBAL bounds - >= 4998 @ 27.2076
29.57/29.75	c GLOBAL bounds - >= 4998 @ 27.2094
29.88/30.03	c GLOBAL bounds - >= 4998 @ 27.3574
29.88/30.03	c GLOBAL bounds - >= 4998 @ 27.3604
30.16/30.31	c GLOBAL bounds - >= 4998 @ 27.5143
30.16/30.32	c GLOBAL bounds - >= 4998 @ 27.5171
30.46/30.61	c GLOBAL bounds - >= 4998 @ 27.6759
30.46/30.61	c GLOBAL bounds - >= 4998 @ 27.678
30.66/30.89	c GLOBAL bounds - >= 4998 @ 27.8362
30.66/30.89	c GLOBAL bounds - >= 4998 @ 27.8393
30.97/31.17	c GLOBAL bounds - >= 4998 @ 27.9965
30.97/31.18	c GLOBAL bounds - >= 4998 @ 28.0024
31.26/31.46	c GLOBAL bounds - >= 4998 @ 28.1425
31.26/31.46	c GLOBAL bounds - >= 4998 @ 28.1463
31.56/31.74	c GLOBAL bounds - >= 4998 @ 28.3047
31.56/31.75	c GLOBAL bounds - >= 4998 @ 28.3086
31.87/32.02	c GLOBAL bounds - >= 4998 @ 28.4652
32.26/32.43	c GLOBAL bounds - >= 5018 @ 28.8357
32.46/32.62	c GLOBAL bounds - >= 5018 @ 29.0207
32.75/32.91	c GLOBAL bounds - >= 5018 @ 29.1574
32.75/32.91	c GLOBAL bounds - >= 5018 @ 29.1614
33.06/33.20	c GLOBAL bounds - >= 5018 @ 29.2957
33.06/33.21	c GLOBAL bounds - >= 5018 @ 29.2994
33.26/33.49	c GLOBAL bounds - >= 5018 @ 29.4229
33.36/33.50	c GLOBAL bounds - >= 5018 @ 29.4269
33.56/33.78	c GLOBAL bounds - >= 5018 @ 29.5565
33.56/33.79	c GLOBAL bounds - >= 5018 @ 29.5592
33.87/34.07	c GLOBAL bounds - >= 5018 @ 29.704
33.87/34.08	c GLOBAL bounds - >= 5018 @ 29.7085
34.15/34.40	c GLOBAL bounds - >= 5018 @ 29.8589
34.25/34.40	c GLOBAL bounds - >= 5018 @ 29.8623
34.45/34.69	c GLOBAL bounds - >= 5018 @ 29.9788
34.45/34.69	c GLOBAL bounds - >= 5018 @ 29.9821
34.76/34.98	c GLOBAL bounds - >= 5018 @ 30.1104
34.76/34.98	c GLOBAL bounds - >= 5018 @ 30.1146
35.05/35.27	c GLOBAL bounds - >= 5018 @ 30.2424
35.05/35.28	c GLOBAL bounds - >= 5018 @ 30.2463
35.35/35.56	c GLOBAL bounds - >= 5018 @ 30.3668
35.96/36.17	c GLOBAL bounds - >= 5038 @ 30.9168
36.14/36.32	c GLOBAL bounds - >= 5038 @ 31.072
36.44/36.61	c GLOBAL bounds - >= 5038 @ 31.2081
36.44/36.62	c GLOBAL bounds - >= 5038 @ 31.212
36.75/36.90	c GLOBAL bounds - >= 5038 @ 31.339
36.75/36.90	c GLOBAL bounds - >= 5038 @ 31.344
36.96/37.19	c GLOBAL bounds - >= 5038 @ 31.4819
37.05/37.20	c GLOBAL bounds - >= 5038 @ 31.4861
37.25/37.48	c GLOBAL bounds - >= 5038 @ 31.6228
37.25/37.49	c GLOBAL bounds - >= 5038 @ 31.6269
37.55/37.78	c GLOBAL bounds - >= 5038 @ 31.7537
37.55/37.78	c GLOBAL bounds - >= 5038 @ 31.7579
37.86/38.07	c GLOBAL bounds - >= 5038 @ 31.8743
37.86/38.07	c GLOBAL bounds - >= 5038 @ 31.8769
38.15/38.36	c GLOBAL bounds - >= 5038 @ 31.9981
38.15/38.37	c GLOBAL bounds - >= 5038 @ 32.0024
38.45/38.66	c GLOBAL bounds - >= 5038 @ 32.1267
38.45/38.66	c GLOBAL bounds - >= 5038 @ 32.1303
38.74/38.95	c GLOBAL bounds - >= 5038 @ 32.2622
38.74/38.95	c GLOBAL bounds - >= 5038 @ 32.2667
39.04/39.24	c GLOBAL bounds - >= 5038 @ 32.4027
40.14/40.38	c GLOBAL bounds - >= 5058 @ 33.3884
40.34/40.59	c GLOBAL bounds - >= 5058 @ 33.5808
40.64/40.87	c GLOBAL bounds - >= 5058 @ 33.7074
40.64/40.88	c GLOBAL bounds - >= 5058 @ 33.7107
40.95/41.17	c GLOBAL bounds - >= 5058 @ 33.8481
40.95/41.18	c GLOBAL bounds - >= 5058 @ 33.8519
41.23/41.46	c GLOBAL bounds - >= 5058 @ 33.989
41.23/41.47	c GLOBAL bounds - >= 5058 @ 33.9927
41.54/41.76	c GLOBAL bounds - >= 5058 @ 34.1236
41.54/41.76	c GLOBAL bounds - >= 5058 @ 34.1277
41.85/42.05	c GLOBAL bounds - >= 5058 @ 34.2613
41.85/42.06	c GLOBAL bounds - >= 5058 @ 34.2653
42.14/42.34	c GLOBAL bounds - >= 5058 @ 34.3932
42.14/42.35	c GLOBAL bounds - >= 5058 @ 34.3975
42.44/42.64	c GLOBAL bounds - >= 5058 @ 34.5393
42.44/42.64	c GLOBAL bounds - >= 5058 @ 34.5426
42.74/42.93	c GLOBAL bounds - >= 5058 @ 34.6686
42.74/42.94	c GLOBAL bounds - >= 5058 @ 34.6726
43.03/43.23	c GLOBAL bounds - >= 5058 @ 34.8121
43.03/43.23	c GLOBAL bounds - >= 5058 @ 34.8168
43.33/43.52	c GLOBAL bounds - >= 5058 @ 34.9566
44.43/44.63	c GLOBAL bounds - >= 5078 @ 35.9674
44.53/44.79	c GLOBAL bounds - >= 5078 @ 36.1166
44.84/45.07	c GLOBAL bounds - >= 5078 @ 36.248
44.84/45.08	c GLOBAL bounds - >= 5078 @ 36.2527
45.13/45.37	c GLOBAL bounds - >= 5078 @ 36.3864
45.13/45.37	c GLOBAL bounds - >= 5078 @ 36.3898
45.43/45.66	c GLOBAL bounds - >= 5078 @ 36.5243
45.43/45.67	c GLOBAL bounds - >= 5078 @ 36.5303
45.73/45.96	c GLOBAL bounds - >= 5078 @ 36.6599
45.73/45.97	c GLOBAL bounds - >= 5078 @ 36.666
46.02/46.26	c GLOBAL bounds - >= 5078 @ 36.7949
46.02/46.26	c GLOBAL bounds - >= 5078 @ 36.8007
46.33/46.55	c GLOBAL bounds - >= 5078 @ 36.9287
46.33/46.56	c GLOBAL bounds - >= 5078 @ 36.9329
46.63/46.85	c GLOBAL bounds - >= 5078 @ 37.0739
46.63/46.85	c GLOBAL bounds - >= 5078 @ 37.0789
46.93/47.14	c GLOBAL bounds - >= 5078 @ 37.216
46.93/47.15	c GLOBAL bounds - >= 5078 @ 37.2222
47.22/47.44	c GLOBAL bounds - >= 5078 @ 37.3438
47.22/47.45	c GLOBAL bounds - >= 5078 @ 37.3489
47.52/47.74	c GLOBAL bounds - >= 5078 @ 37.4783
48.52/48.71	c GLOBAL bounds - >= 5098 @ 38.3102
48.62/48.87	c GLOBAL bounds - >= 5098 @ 38.4646
48.93/49.16	c GLOBAL bounds - >= 5098 @ 38.6048
48.93/49.16	c GLOBAL bounds - >= 5098 @ 38.6103
49.22/49.45	c GLOBAL bounds - >= 5098 @ 38.7581
49.22/49.46	c GLOBAL bounds - >= 5098 @ 38.7644
49.51/49.75	c GLOBAL bounds - >= 5098 @ 38.9094
49.51/49.75	c GLOBAL bounds - >= 5098 @ 38.914
49.83/50.04	c GLOBAL bounds - >= 5098 @ 39.0406
49.83/50.05	c GLOBAL bounds - >= 5098 @ 39.0451
50.12/50.34	c GLOBAL bounds - >= 5098 @ 39.1787
50.12/50.35	c GLOBAL bounds - >= 5098 @ 39.1835
50.42/50.64	c GLOBAL bounds - >= 5098 @ 39.3181
50.42/50.64	c GLOBAL bounds - >= 5098 @ 39.3257
50.72/50.93	c GLOBAL bounds - >= 5098 @ 39.4503
50.72/50.94	c GLOBAL bounds - >= 5098 @ 39.4571
51.02/51.23	c GLOBAL bounds - >= 5098 @ 39.5916
51.02/51.24	c GLOBAL bounds - >= 5098 @ 39.5988
51.32/51.53	c GLOBAL bounds - >= 5098 @ 39.7282
51.32/51.53	c GLOBAL bounds - >= 5098 @ 39.7335
51.61/51.82	c GLOBAL bounds - >= 5098 @ 39.8592
52.71/52.91	c GLOBAL bounds - >= 5098 @ 40.7368
53.71/53.92	c GLOBAL bounds - >= 5116 @ 41.6518
53.82/54.10	c GLOBAL bounds - >= 5116 @ 41.8174
53.82/54.11	c GLOBAL bounds - >= 5116 @ 41.8194
54.20/54.40	c GLOBAL bounds - >= 5116 @ 41.9543
54.20/54.41	c GLOBAL bounds - >= 5116 @ 41.9598
54.41/54.70	c GLOBAL bounds - >= 5116 @ 42.0963
54.51/54.70	c GLOBAL bounds - >= 5116 @ 42.1013
54.71/54.99	c GLOBAL bounds - >= 5116 @ 42.2283
54.71/55.00	c GLOBAL bounds - >= 5116 @ 42.2348
55.01/55.29	c GLOBAL bounds - >= 5116 @ 42.3704
55.10/55.30	c GLOBAL bounds - >= 5116 @ 42.3771
55.31/55.59	c GLOBAL bounds - >= 5116 @ 42.5063
55.40/55.60	c GLOBAL bounds - >= 5116 @ 42.5112
55.60/55.89	c GLOBAL bounds - >= 5116 @ 42.6524
55.71/55.90	c GLOBAL bounds - >= 5116 @ 42.6601
55.92/56.19	c GLOBAL bounds - >= 5116 @ 42.8009
56.00/56.20	c GLOBAL bounds - >= 5116 @ 42.8056
56.21/56.49	c GLOBAL bounds - >= 5116 @ 42.9476
56.30/56.50	c GLOBAL bounds - >= 5116 @ 42.9545
56.51/56.79	c GLOBAL bounds - >= 5116 @ 43.088
56.51/56.80	c GLOBAL bounds - >= 5116 @ 43.0917
56.81/57.09	c GLOBAL bounds - >= 5116 @ 43.2234
58.20/58.41	c GLOBAL bounds - >= 5116 @ 44.2525
59.00/59.28	c GLOBAL bounds - >= 5136 @ 45.0677
59.19/59.48	c GLOBAL bounds - >= 5136 @ 45.2711
59.50/59.73	c GLOBAL bounds - >= 5136 @ 45.3609
59.50/59.74	c GLOBAL bounds - >= 5136 @ 45.3644
59.80/60.03	c GLOBAL bounds - >= 5136 @ 45.5126
59.80/60.04	c GLOBAL bounds - >= 5136 @ 45.5181
60.09/60.33	c GLOBAL bounds - >= 5136 @ 45.6584
60.09/60.34	c GLOBAL bounds - >= 5136 @ 45.6625
60.39/60.63	c GLOBAL bounds - >= 5136 @ 45.7944
60.39/60.64	c GLOBAL bounds - >= 5136 @ 45.7994
60.69/60.93	c GLOBAL bounds - >= 5136 @ 45.9315
60.69/60.94	c GLOBAL bounds - >= 5136 @ 45.9365
60.99/61.23	c GLOBAL bounds - >= 5136 @ 46.0666
60.99/61.24	c GLOBAL bounds - >= 5136 @ 46.0718
61.29/61.53	c GLOBAL bounds - >= 5136 @ 46.2088
61.29/61.54	c GLOBAL bounds - >= 5136 @ 46.2128
61.59/61.83	c GLOBAL bounds - >= 5136 @ 46.3554
61.59/61.84	c GLOBAL bounds - >= 5136 @ 46.3614
61.90/62.13	c GLOBAL bounds - >= 5136 @ 46.4905
61.90/62.14	c GLOBAL bounds - >= 5136 @ 46.4958
62.19/62.43	c GLOBAL bounds - >= 5136 @ 46.6265
63.28/63.56	c GLOBAL bounds - >= 5136 @ 47.5347
64.38/64.61	c GLOBAL bounds - >= 5154 @ 48.5133
64.49/64.77	c GLOBAL bounds - >= 5154 @ 48.6677
64.79/65.02	c GLOBAL bounds - >= 5154 @ 48.7588
64.79/65.03	c GLOBAL bounds - >= 5154 @ 48.7642
65.08/65.32	c GLOBAL bounds - >= 5154 @ 48.8924
65.08/65.33	c GLOBAL bounds - >= 5154 @ 48.8981
65.38/65.62	c GLOBAL bounds - >= 5154 @ 49.0294
65.38/65.63	c GLOBAL bounds - >= 5154 @ 49.0374
65.68/65.92	c GLOBAL bounds - >= 5154 @ 49.1612
65.68/65.93	c GLOBAL bounds - >= 5154 @ 49.167
65.97/66.23	c GLOBAL bounds - >= 5154 @ 49.3023
65.97/66.24	c GLOBAL bounds - >= 5154 @ 49.3094
66.27/66.53	c GLOBAL bounds - >= 5154 @ 49.4495
66.27/66.54	c GLOBAL bounds - >= 5154 @ 49.4562
66.57/66.83	c GLOBAL bounds - >= 5154 @ 49.5936
66.57/66.84	c GLOBAL bounds - >= 5154 @ 49.602
66.88/67.13	c GLOBAL bounds - >= 5154 @ 49.7372
66.88/67.14	c GLOBAL bounds - >= 5154 @ 49.7444
67.17/67.43	c GLOBAL bounds - >= 5154 @ 49.8711
67.17/67.44	c GLOBAL bounds - >= 5154 @ 49.8764
67.46/67.73	c GLOBAL bounds - >= 5154 @ 50.0204
68.56/68.83	c GLOBAL bounds - >= 5174 @ 51.0465
68.66/69.01	c GLOBAL bounds - >= 5174 @ 51.2212
69.06/69.30	c GLOBAL bounds - >= 5174 @ 51.3509
69.06/69.31	c GLOBAL bounds - >= 5174 @ 51.3561
69.36/69.60	c GLOBAL bounds - >= 5174 @ 51.4888
69.36/69.61	c GLOBAL bounds - >= 5174 @ 51.4919
69.66/69.90	c GLOBAL bounds - >= 5174 @ 51.6267
69.66/69.91	c GLOBAL bounds - >= 5174 @ 51.6343
69.96/70.20	c GLOBAL bounds - >= 5174 @ 51.7771
69.96/70.21	c GLOBAL bounds - >= 5174 @ 51.7828
70.26/70.50	c GLOBAL bounds - >= 5174 @ 51.9127
70.26/70.51	c GLOBAL bounds - >= 5174 @ 51.9206
70.56/70.80	c GLOBAL bounds - >= 5174 @ 52.063
70.56/70.81	c GLOBAL bounds - >= 5174 @ 52.0666
70.77/71.10	c GLOBAL bounds - >= 5174 @ 52.1938
70.77/71.11	c GLOBAL bounds - >= 5174 @ 52.1996
71.15/71.40	c GLOBAL bounds - >= 5174 @ 52.3268
71.15/71.41	c GLOBAL bounds - >= 5174 @ 52.3366
71.46/71.70	c GLOBAL bounds - >= 5174 @ 52.4705
71.46/71.71	c GLOBAL bounds - >= 5174 @ 52.4775
71.66/72.00	c GLOBAL bounds - >= 5174 @ 52.609
72.86/73.18	c GLOBAL bounds - >= 5194 @ 53.7222
73.06/73.36	c GLOBAL bounds - >= 5194 @ 53.8943
73.35/73.65	c GLOBAL bounds - >= 5194 @ 54.0323
73.35/73.66	c GLOBAL bounds - >= 5194 @ 54.0405
73.66/73.95	c GLOBAL bounds - >= 5194 @ 54.1859
73.66/73.96	c GLOBAL bounds - >= 5194 @ 54.1912
73.95/74.25	c GLOBAL bounds - >= 5194 @ 54.3324
73.95/74.26	c GLOBAL bounds - >= 5194 @ 54.3397
74.25/74.55	c GLOBAL bounds - >= 5194 @ 54.4734
74.25/74.56	c GLOBAL bounds - >= 5194 @ 54.4807
74.55/74.85	c GLOBAL bounds - >= 5194 @ 54.607
74.55/74.86	c GLOBAL bounds - >= 5194 @ 54.6136
74.86/75.15	c GLOBAL bounds - >= 5194 @ 54.749
74.86/75.16	c GLOBAL bounds - >= 5194 @ 54.7568
75.15/75.45	c GLOBAL bounds - >= 5194 @ 54.8946
75.15/75.46	c GLOBAL bounds - >= 5194 @ 54.9
75.45/75.75	c GLOBAL bounds - >= 5194 @ 55.0488
75.45/75.76	c GLOBAL bounds - >= 5194 @ 55.0575
75.75/76.05	c GLOBAL bounds - >= 5194 @ 55.2044
75.75/76.06	c GLOBAL bounds - >= 5194 @ 55.2102
76.05/76.35	c GLOBAL bounds - >= 5194 @ 55.3484
77.75/78.01	c GLOBAL bounds - >= 5214 @ 56.7234
77.85/78.18	c GLOBAL bounds - >= 5214 @ 56.8897
78.14/78.47	c GLOBAL bounds - >= 5214 @ 57.0355
78.14/78.48	c GLOBAL bounds - >= 5214 @ 57.0424
78.43/78.77	c GLOBAL bounds - >= 5214 @ 57.181
78.43/78.79	c GLOBAL bounds - >= 5214 @ 57.1911
78.75/79.08	c GLOBAL bounds - >= 5214 @ 57.3204
78.75/79.09	c GLOBAL bounds - >= 5214 @ 57.3283
79.04/79.38	c GLOBAL bounds - >= 5214 @ 57.46
79.04/79.39	c GLOBAL bounds - >= 5214 @ 57.4675
79.33/79.68	c GLOBAL bounds - >= 5214 @ 57.6024
79.33/79.69	c GLOBAL bounds - >= 5214 @ 57.612
79.64/79.98	c GLOBAL bounds - >= 5214 @ 57.7498
79.64/80.00	c GLOBAL bounds - >= 5214 @ 57.7557
79.93/80.29	c GLOBAL bounds - >= 5214 @ 57.8925
80.04/80.30	c GLOBAL bounds - >= 5214 @ 57.9002
80.23/80.59	c GLOBAL bounds - >= 5214 @ 58.0311
80.33/80.61	c GLOBAL bounds - >= 5214 @ 58.0392
80.53/80.90	c GLOBAL bounds - >= 5214 @ 58.1766
80.63/80.91	c GLOBAL bounds - >= 5214 @ 58.1846
80.93/81.20	c GLOBAL bounds - >= 5214 @ 58.3142
82.33/82.64	c #Conflicts:       1000 | #Constraints:       5172
82.33/82.64	c GLOBAL bounds - >= 5234 @ 59.6485
82.52/82.85	c GLOBAL bounds - >= 5234 @ 59.8557
82.84/83.15	c GLOBAL bounds - >= 5234 @ 59.9805
82.84/83.16	c GLOBAL bounds - >= 5234 @ 59.9874
83.12/83.45	c GLOBAL bounds - >= 5234 @ 60.1226
83.12/83.46	c GLOBAL bounds - >= 5234 @ 60.1306
83.43/83.75	c GLOBAL bounds - >= 5234 @ 60.2592
83.43/83.76	c GLOBAL bounds - >= 5234 @ 60.2672
83.73/84.06	c GLOBAL bounds - >= 5234 @ 60.4061
83.73/84.07	c GLOBAL bounds - >= 5234 @ 60.4135
84.03/84.36	c GLOBAL bounds - >= 5234 @ 60.5559
84.03/84.37	c GLOBAL bounds - >= 5234 @ 60.561
84.33/84.66	c GLOBAL bounds - >= 5234 @ 60.692
84.33/84.68	c GLOBAL bounds - >= 5234 @ 60.7011
84.62/84.97	c GLOBAL bounds - >= 5234 @ 60.8364
84.62/84.98	c GLOBAL bounds - >= 5234 @ 60.8438
84.92/85.27	c GLOBAL bounds - >= 5234 @ 60.9987
84.92/85.29	c GLOBAL bounds - >= 5234 @ 61.007
85.22/85.58	c GLOBAL bounds - >= 5234 @ 61.1587
85.22/85.59	c GLOBAL bounds - >= 5234 @ 61.1663
85.52/85.88	c GLOBAL bounds - >= 5234 @ 61.3076
87.12/87.49	c GLOBAL bounds - >= 5254 @ 62.8022
87.31/87.66	c GLOBAL bounds - >= 5254 @ 62.9654
87.62/87.94	c GLOBAL bounds - >= 5254 @ 63.1042
87.62/87.96	c GLOBAL bounds - >= 5254 @ 63.1115
87.91/88.25	c GLOBAL bounds - >= 5254 @ 63.256
87.91/88.27	c GLOBAL bounds - >= 5254 @ 63.2659
88.21/88.56	c GLOBAL bounds - >= 5254 @ 63.3978
88.21/88.57	c GLOBAL bounds - >= 5254 @ 63.4084
88.52/88.86	c GLOBAL bounds - >= 5254 @ 63.5364
88.52/88.88	c GLOBAL bounds - >= 5254 @ 63.5464
88.82/89.17	c GLOBAL bounds - >= 5254 @ 63.6849
88.82/89.18	c GLOBAL bounds - >= 5254 @ 63.6933
89.11/89.47	c GLOBAL bounds - >= 5254 @ 63.8285
89.11/89.49	c GLOBAL bounds - >= 5254 @ 63.8365
89.41/89.78	c GLOBAL bounds - >= 5254 @ 63.9741
89.41/89.80	c GLOBAL bounds - >= 5254 @ 63.9832
89.73/90.09	c GLOBAL bounds - >= 5254 @ 64.1241
89.73/90.10	c GLOBAL bounds - >= 5254 @ 64.1336
90.01/90.40	c GLOBAL bounds - >= 5254 @ 64.2584
90.11/90.41	c GLOBAL bounds - >= 5254 @ 64.2682
90.40/90.70	c GLOBAL bounds - >= 5254 @ 64.4103
92.10/92.44	c GLOBAL bounds - >= 5274 @ 66.0465
92.30/92.69	c GLOBAL bounds - >= 5274 @ 66.273
92.60/92.98	c GLOBAL bounds - >= 5274 @ 66.4102
92.60/93.00	c GLOBAL bounds - >= 5274 @ 66.4171
92.89/93.29	c GLOBAL bounds - >= 5274 @ 66.5636
93.00/93.31	c GLOBAL bounds - >= 5274 @ 66.5726
93.30/93.60	c GLOBAL bounds - >= 5274 @ 66.7153
93.30/93.62	c GLOBAL bounds - >= 5274 @ 66.7274
93.59/93.91	c GLOBAL bounds - >= 5274 @ 66.8647
93.59/93.92	c GLOBAL bounds - >= 5274 @ 66.874
93.90/94.22	c GLOBAL bounds - >= 5274 @ 67.0103
93.90/94.23	c GLOBAL bounds - >= 5274 @ 67.0193
94.20/94.53	c GLOBAL bounds - >= 5274 @ 67.1583
94.20/94.54	c GLOBAL bounds - >= 5274 @ 67.1664
94.50/94.83	c GLOBAL bounds - >= 5274 @ 67.292
94.50/94.85	c GLOBAL bounds - >= 5274 @ 67.2996
94.81/95.14	c GLOBAL bounds - >= 5274 @ 67.432
94.81/95.16	c GLOBAL bounds - >= 5274 @ 67.4405
95.09/95.45	c GLOBAL bounds - >= 5274 @ 67.5824
95.09/95.47	c GLOBAL bounds - >= 5274 @ 67.5918
95.39/95.76	c GLOBAL bounds - >= 5274 @ 67.7367
97.28/97.68	c GLOBAL bounds - >= 5274 @ 69.4166
99.08/99.44	c GLOBAL bounds - >= 5292 @ 71.0892
99.28/99.60	c GLOBAL bounds - >= 5292 @ 71.2419
99.48/99.85	c GLOBAL bounds - >= 5292 @ 71.3411
99.48/99.86	c GLOBAL bounds - >= 5292 @ 71.3496
99.79/100.15	c GLOBAL bounds - >= 5292 @ 71.4928
99.79/100.17	c GLOBAL bounds - >= 5292 @ 71.5018
100.07/100.46	c GLOBAL bounds - >= 5292 @ 71.6375
100.07/100.48	c GLOBAL bounds - >= 5292 @ 71.6504
100.37/100.77	c GLOBAL bounds - >= 5292 @ 71.7929
100.37/100.79	c GLOBAL bounds - >= 5292 @ 71.8028
100.68/101.08	c GLOBAL bounds - >= 5292 @ 71.9359
100.68/101.09	c GLOBAL bounds - >= 5292 @ 71.947
100.97/101.39	c GLOBAL bounds - >= 5292 @ 72.0861
101.07/101.40	c GLOBAL bounds - >= 5292 @ 72.0982
101.27/101.70	c GLOBAL bounds - >= 5292 @ 72.2333
101.37/101.71	c GLOBAL bounds - >= 5292 @ 72.2419
101.57/102.01	c GLOBAL bounds - >= 5292 @ 72.3801
101.68/102.02	c GLOBAL bounds - >= 5292 @ 72.3927
101.97/102.32	c GLOBAL bounds - >= 5292 @ 72.5218
101.97/102.33	c GLOBAL bounds - >= 5292 @ 72.5326
102.27/102.63	c GLOBAL bounds - >= 5292 @ 72.6703
104.06/104.47	c GLOBAL bounds - >= 5312 @ 74.4359
104.26/104.64	c GLOBAL bounds - >= 5312 @ 74.5943
104.56/104.93	c GLOBAL bounds - >= 5312 @ 74.7396
104.56/104.95	c GLOBAL bounds - >= 5312 @ 74.751
104.86/105.24	c GLOBAL bounds - >= 5312 @ 74.8858
104.86/105.26	c GLOBAL bounds - >= 5312 @ 74.8959
105.16/105.55	c GLOBAL bounds - >= 5312 @ 75.0422
105.16/105.57	c GLOBAL bounds - >= 5312 @ 75.0535
105.46/105.86	c GLOBAL bounds - >= 5312 @ 75.1932
105.46/105.88	c GLOBAL bounds - >= 5312 @ 75.2059
105.77/106.17	c GLOBAL bounds - >= 5312 @ 75.3504
105.77/106.19	c GLOBAL bounds - >= 5312 @ 75.3624
106.06/106.48	c GLOBAL bounds - >= 5312 @ 75.5026
106.16/106.50	c GLOBAL bounds - >= 5312 @ 75.5123
106.36/106.79	c GLOBAL bounds - >= 5312 @ 75.6506
106.45/106.81	c GLOBAL bounds - >= 5312 @ 75.6589
106.67/107.10	c GLOBAL bounds - >= 5312 @ 75.7973
106.77/107.12	c GLOBAL bounds - >= 5312 @ 75.8065
107.06/107.41	c GLOBAL bounds - >= 5312 @ 75.9537
107.06/107.43	c GLOBAL bounds - >= 5312 @ 75.9594
107.36/107.73	c GLOBAL bounds - >= 5312 @ 76.0962
109.76/110.18	c GLOBAL bounds - >= 5312 @ 77.9548
113.33/113.75	c #Conflicts:       2000 | #Constraints:       6318
113.33/113.75	c INPROCESSING
113.33/113.75	c GARBAGE COLLECT
113.33/113.75	c GLOBAL bounds - >= 5312 @ 81.2611
115.33/115.75	c GLOBAL bounds - >= 5312 @ 83.0523
117.22/117.64	c GLOBAL bounds - >= 5326 @ 84.8677
117.32/117.77	c GLOBAL bounds - >= 5326 @ 84.99
117.32/117.79	c GLOBAL bounds - >= 5326 @ 84.998
117.64/118.04	c GLOBAL bounds - >= 5326 @ 85.0801
117.64/118.05	c GLOBAL bounds - >= 5326 @ 85.0931
117.93/118.30	c GLOBAL bounds - >= 5326 @ 85.1872
117.93/118.31	c GLOBAL bounds - >= 5326 @ 85.1953
118.22/118.60	c GLOBAL bounds - >= 5326 @ 85.3469
118.22/118.62	c GLOBAL bounds - >= 5326 @ 85.3587
118.52/118.91	c GLOBAL bounds - >= 5326 @ 85.4834
118.52/118.93	c GLOBAL bounds - >= 5326 @ 85.4929
118.82/119.22	c GLOBAL bounds - >= 5326 @ 85.6229
118.82/119.24	c GLOBAL bounds - >= 5326 @ 85.6314
119.12/119.52	c GLOBAL bounds - >= 5326 @ 85.7687
119.12/119.54	c GLOBAL bounds - >= 5326 @ 85.7797
119.41/119.83	c GLOBAL bounds - >= 5326 @ 85.9101
119.41/119.85	c GLOBAL bounds - >= 5326 @ 85.924
119.73/120.14	c GLOBAL bounds - >= 5326 @ 86.0557
119.73/120.16	c GLOBAL bounds - >= 5326 @ 86.0692
120.01/120.45	c GLOBAL bounds - >= 5326 @ 86.2047
120.01/120.47	c GLOBAL bounds - >= 5326 @ 86.2143
120.32/120.76	c GLOBAL bounds - >= 5326 @ 86.3382
122.40/122.86	c GLOBAL bounds - >= 5348 @ 88.3465
122.62/123.02	c GLOBAL bounds - >= 5348 @ 88.4981
122.91/123.31	c GLOBAL bounds - >= 5348 @ 88.6224
122.91/123.33	c GLOBAL bounds - >= 5348 @ 88.6341
123.21/123.62	c GLOBAL bounds - >= 5348 @ 88.7606
123.21/123.64	c GLOBAL bounds - >= 5348 @ 88.7749
123.51/123.93	c GLOBAL bounds - >= 5348 @ 88.9111
123.51/123.95	c GLOBAL bounds - >= 5348 @ 88.9216
123.80/124.24	c GLOBAL bounds - >= 5348 @ 89.0511
123.80/124.26	c GLOBAL bounds - >= 5348 @ 89.0599
124.10/124.55	c GLOBAL bounds - >= 5348 @ 89.1965
124.10/124.56	c GLOBAL bounds - >= 5348 @ 89.2085
124.41/124.85	c GLOBAL bounds - >= 5348 @ 89.3448
124.41/124.87	c GLOBAL bounds - >= 5348 @ 89.3524
124.72/125.16	c GLOBAL bounds - >= 5348 @ 89.5019
124.72/125.18	c GLOBAL bounds - >= 5348 @ 89.509
125.01/125.47	c GLOBAL bounds - >= 5348 @ 89.6429
125.01/125.49	c GLOBAL bounds - >= 5348 @ 89.6541
125.30/125.78	c GLOBAL bounds - >= 5348 @ 89.7926
125.40/125.80	c GLOBAL bounds - >= 5348 @ 89.7997
125.62/126.09	c GLOBAL bounds - >= 5348 @ 89.9121
127.71/128.19	c GLOBAL bounds - >= 5368 @ 91.9476
127.89/128.37	c GLOBAL bounds - >= 5368 @ 92.1174
128.19/128.66	c GLOBAL bounds - >= 5368 @ 92.2634
128.19/128.68	c GLOBAL bounds - >= 5368 @ 92.2736
128.49/128.97	c GLOBAL bounds - >= 5368 @ 92.4131
128.49/128.99	c GLOBAL bounds - >= 5368 @ 92.4256
128.79/129.28	c GLOBAL bounds - >= 5368 @ 92.562
128.89/129.30	c GLOBAL bounds - >= 5368 @ 92.5771
129.08/129.59	c GLOBAL bounds - >= 5368 @ 92.7089
129.18/129.61	c GLOBAL bounds - >= 5368 @ 92.7204
129.49/129.90	c GLOBAL bounds - >= 5368 @ 92.86
129.49/129.92	c GLOBAL bounds - >= 5368 @ 92.8719
129.78/130.21	c GLOBAL bounds - >= 5368 @ 93.0055
129.78/130.23	c GLOBAL bounds - >= 5368 @ 93.0138
130.08/130.52	c GLOBAL bounds - >= 5368 @ 93.1448
130.08/130.54	c GLOBAL bounds - >= 5368 @ 93.1588
130.38/130.83	c GLOBAL bounds - >= 5368 @ 93.3003
130.38/130.85	c GLOBAL bounds - >= 5368 @ 93.3118
130.69/131.14	c GLOBAL bounds - >= 5368 @ 93.433
130.69/131.16	c GLOBAL bounds - >= 5368 @ 93.4432
130.98/131.45	c GLOBAL bounds - >= 5368 @ 93.5793
133.18/133.65	c GLOBAL bounds - >= 5388 @ 95.7139
133.38/133.83	c GLOBAL bounds - >= 5388 @ 95.8864
133.69/134.13	c GLOBAL bounds - >= 5388 @ 96.0284
133.69/134.15	c GLOBAL bounds - >= 5388 @ 96.0387
133.97/134.44	c GLOBAL bounds - >= 5388 @ 96.1711
133.97/134.46	c GLOBAL bounds - >= 5388 @ 96.1808
134.27/134.75	c GLOBAL bounds - >= 5388 @ 96.3331
134.27/134.77	c GLOBAL bounds - >= 5388 @ 96.3452
134.59/135.06	c GLOBAL bounds - >= 5388 @ 96.477
134.59/135.08	c GLOBAL bounds - >= 5388 @ 96.4889
134.87/135.37	c GLOBAL bounds - >= 5388 @ 96.6227
134.87/135.39	c GLOBAL bounds - >= 5388 @ 96.6295
135.17/135.68	c GLOBAL bounds - >= 5388 @ 96.7495
135.27/135.70	c GLOBAL bounds - >= 5388 @ 96.7633
135.47/135.99	c GLOBAL bounds - >= 5388 @ 96.8942
135.58/136.01	c GLOBAL bounds - >= 5388 @ 96.9052
135.87/136.30	c GLOBAL bounds - >= 5388 @ 97.0303
135.87/136.32	c GLOBAL bounds - >= 5388 @ 97.0448
136.16/136.61	c GLOBAL bounds - >= 5388 @ 97.1711
136.16/136.63	c GLOBAL bounds - >= 5388 @ 97.1778
136.47/136.92	c GLOBAL bounds - >= 5388 @ 97.3181
138.76/139.24	c #Conflicts:       3000 | #Constraints:       5650
138.76/139.24	c GLOBAL bounds - >= 5408 @ 99.562
138.96/139.42	c GLOBAL bounds - >= 5408 @ 99.7357
139.25/139.72	c GLOBAL bounds - >= 5408 @ 99.8641
139.25/139.74	c GLOBAL bounds - >= 5408 @ 99.8747
139.57/140.03	c GLOBAL bounds - >= 5408 @ 100.026
139.57/140.05	c GLOBAL bounds - >= 5408 @ 100.037
139.86/140.34	c GLOBAL bounds - >= 5408 @ 100.172
139.86/140.36	c GLOBAL bounds - >= 5408 @ 100.179
140.16/140.65	c GLOBAL bounds - >= 5408 @ 100.319
140.16/140.68	c GLOBAL bounds - >= 5408 @ 100.334
140.45/140.96	c GLOBAL bounds - >= 5408 @ 100.464
140.45/140.99	c GLOBAL bounds - >= 5408 @ 100.475
140.76/141.28	c GLOBAL bounds - >= 5408 @ 100.625
140.85/141.30	c GLOBAL bounds - >= 5408 @ 100.637
141.05/141.59	c GLOBAL bounds - >= 5408 @ 100.772
141.16/141.61	c GLOBAL bounds - >= 5408 @ 100.781
141.46/141.91	c GLOBAL bounds - >= 5408 @ 100.916
141.46/141.93	c GLOBAL bounds - >= 5408 @ 100.928
141.75/142.22	c GLOBAL bounds - >= 5408 @ 101.067
141.75/142.24	c GLOBAL bounds - >= 5408 @ 101.081
142.05/142.53	c GLOBAL bounds - >= 5408 @ 101.225
144.44/144.93	c GLOBAL bounds - >= 5428 @ 103.565
144.65/145.11	c GLOBAL bounds - >= 5428 @ 103.736
144.95/145.41	c GLOBAL bounds - >= 5428 @ 103.878
144.95/145.43	c GLOBAL bounds - >= 5428 @ 103.89
145.25/145.72	c GLOBAL bounds - >= 5428 @ 104.019
145.25/145.74	c GLOBAL bounds - >= 5428 @ 104.029
145.55/146.03	c GLOBAL bounds - >= 5428 @ 104.165
145.55/146.05	c GLOBAL bounds - >= 5428 @ 104.178
145.85/146.35	c GLOBAL bounds - >= 5428 @ 104.323
145.85/146.37	c GLOBAL bounds - >= 5428 @ 104.336
146.14/146.66	c GLOBAL bounds - >= 5428 @ 104.471
146.14/146.68	c GLOBAL bounds - >= 5428 @ 104.487
146.44/146.97	c GLOBAL bounds - >= 5428 @ 104.622
146.44/146.99	c GLOBAL bounds - >= 5428 @ 104.633
146.74/147.29	c GLOBAL bounds - >= 5428 @ 104.777
146.84/147.31	c GLOBAL bounds - >= 5428 @ 104.791
147.14/147.60	c GLOBAL bounds - >= 5428 @ 104.922
147.14/147.63	c GLOBAL bounds - >= 5428 @ 104.936
147.44/147.92	c GLOBAL bounds - >= 5428 @ 105.082
147.44/147.94	c GLOBAL bounds - >= 5428 @ 105.096
147.74/148.23	c GLOBAL bounds - >= 5428 @ 105.237
150.23/150.75	c GLOBAL bounds - >= 5448 @ 107.687
150.43/150.94	c GLOBAL bounds - >= 5448 @ 107.867
150.73/151.24	c GLOBAL bounds - >= 5448 @ 107.997
150.73/151.26	c GLOBAL bounds - >= 5448 @ 108.01
151.03/151.55	c GLOBAL bounds - >= 5448 @ 108.149
151.03/151.57	c GLOBAL bounds - >= 5448 @ 108.159
151.32/151.87	c GLOBAL bounds - >= 5448 @ 108.291
151.32/151.89	c GLOBAL bounds - >= 5448 @ 108.303
151.64/152.18	c GLOBAL bounds - >= 5448 @ 108.444
151.73/152.21	c GLOBAL bounds - >= 5448 @ 108.458
152.02/152.50	c GLOBAL bounds - >= 5448 @ 108.592
152.02/152.52	c GLOBAL bounds - >= 5448 @ 108.601
152.32/152.81	c GLOBAL bounds - >= 5448 @ 108.726
152.32/152.84	c GLOBAL bounds - >= 5448 @ 108.734
152.64/153.14	c GLOBAL bounds - >= 5448 @ 108.863
152.64/153.16	c GLOBAL bounds - >= 5448 @ 108.875
152.92/153.45	c GLOBAL bounds - >= 5448 @ 109.002
152.92/153.47	c GLOBAL bounds - >= 5448 @ 109.016
153.22/153.77	c GLOBAL bounds - >= 5448 @ 109.158
153.22/153.79	c GLOBAL bounds - >= 5448 @ 109.169
153.53/154.08	c GLOBAL bounds - >= 5448 @ 109.326
156.21/156.72	c GLOBAL bounds - >= 5468 @ 111.892
156.41/156.90	c GLOBAL bounds - >= 5468 @ 112.067
156.71/157.20	c GLOBAL bounds - >= 5468 @ 112.228
156.71/157.22	c GLOBAL bounds - >= 5468 @ 112.242
157.01/157.51	c GLOBAL bounds - >= 5468 @ 112.375
157.01/157.54	c GLOBAL bounds - >= 5468 @ 112.39
157.31/157.83	c GLOBAL bounds - >= 5468 @ 112.524
157.31/157.85	c GLOBAL bounds - >= 5468 @ 112.536
157.62/158.15	c GLOBAL bounds - >= 5468 @ 112.675
157.62/158.17	c GLOBAL bounds - >= 5468 @ 112.687
157.91/158.47	c GLOBAL bounds - >= 5468 @ 112.837
157.91/158.49	c GLOBAL bounds - >= 5468 @ 112.847
158.21/158.78	c GLOBAL bounds - >= 5468 @ 112.978
158.30/158.81	c GLOBAL bounds - >= 5468 @ 112.989
158.51/159.10	c GLOBAL bounds - >= 5468 @ 113.122
158.62/159.12	c GLOBAL bounds - >= 5468 @ 113.134
158.90/159.43	c GLOBAL bounds - >= 5468 @ 113.277
158.90/159.45	c GLOBAL bounds - >= 5468 @ 113.292
159.20/159.75	c GLOBAL bounds - >= 5468 @ 113.423
159.20/159.77	c GLOBAL bounds - >= 5468 @ 113.437
159.51/160.06	c GLOBAL bounds - >= 5468 @ 113.576
162.50/163.01	c GLOBAL bounds - >= 5468 @ 116.255
165.38/165.95	c #Conflicts:       4000 | #Constraints:       6766
165.38/165.95	c GLOBAL bounds - >= 5468 @ 118.947
171.96/172.55	c INPROCESSING
171.96/172.55	c GARBAGE COLLECT
171.96/172.55	c GLOBAL bounds - >= 5484 @ 125.4
172.16/172.78	c GLOBAL bounds - >= 5484 @ 125.608
172.47/173.04	c GLOBAL bounds - >= 5484 @ 125.717
172.47/173.06	c GLOBAL bounds - >= 5484 @ 125.73
172.75/173.31	c GLOBAL bounds - >= 5484 @ 125.814
172.75/173.33	c GLOBAL bounds - >= 5484 @ 125.826
173.16/173.72	c GLOBAL bounds - >= 5484 @ 126.021
173.16/173.75	c GLOBAL bounds - >= 5484 @ 126.035
173.46/174.04	c GLOBAL bounds - >= 5484 @ 126.174
173.46/174.07	c GLOBAL bounds - >= 5484 @ 126.183
173.76/174.36	c GLOBAL bounds - >= 5484 @ 126.302
173.76/174.38	c GLOBAL bounds - >= 5484 @ 126.314
174.06/174.67	c GLOBAL bounds - >= 5484 @ 126.444
174.15/174.70	c GLOBAL bounds - >= 5484 @ 126.456
174.36/174.99	c GLOBAL bounds - >= 5484 @ 126.581
174.47/175.02	c GLOBAL bounds - >= 5484 @ 126.593
174.75/175.31	c GLOBAL bounds - >= 5484 @ 126.734
174.75/175.34	c GLOBAL bounds - >= 5484 @ 126.743
175.05/175.63	c GLOBAL bounds - >= 5484 @ 126.877
175.05/175.65	c GLOBAL bounds - >= 5484 @ 126.891
175.35/175.94	c GLOBAL bounds - >= 5484 @ 127.024
176.46/177.10	c GLOBAL bounds - >= 5484 @ 127.988
179.34/179.94	c GLOBAL bounds - >= 5502 @ 130.756
179.45/180.09	c GLOBAL bounds - >= 5502 @ 130.896
179.74/180.34	c GLOBAL bounds - >= 5502 @ 130.988
179.74/180.37	c GLOBAL bounds - >= 5502 @ 131.004
180.04/180.66	c GLOBAL bounds - >= 5502 @ 131.137
180.04/180.69	c GLOBAL bounds - >= 5502 @ 131.15
180.33/180.98	c GLOBAL bounds - >= 5502 @ 131.292
180.33/181.00	c GLOBAL bounds - >= 5502 @ 131.302
180.74/181.30	c GLOBAL bounds - >= 5502 @ 131.449
180.74/181.32	c GLOBAL bounds - >= 5502 @ 131.464
181.03/181.62	c GLOBAL bounds - >= 5502 @ 131.597
181.03/181.64	c GLOBAL bounds - >= 5502 @ 131.613
181.33/181.94	c GLOBAL bounds - >= 5502 @ 131.75
181.33/181.96	c GLOBAL bounds - >= 5502 @ 131.762
181.63/182.26	c GLOBAL bounds - >= 5502 @ 131.902
181.63/182.28	c GLOBAL bounds - >= 5502 @ 131.918
181.93/182.57	c GLOBAL bounds - >= 5502 @ 132.06
182.03/182.60	c GLOBAL bounds - >= 5502 @ 132.072
182.23/182.89	c GLOBAL bounds - >= 5502 @ 132.209
182.33/182.92	c GLOBAL bounds - >= 5502 @ 132.225
182.63/183.21	c GLOBAL bounds - >= 5502 @ 132.363
185.72/186.37	c GLOBAL bounds - >= 5502 @ 135.315
188.61/189.24	c #Conflicts:       5000 | #Constraints:       6239
188.61/189.24	c GLOBAL bounds - >= 5520 @ 138.133
188.81/189.41	c GLOBAL bounds - >= 5520 @ 138.289
189.01/189.66	c GLOBAL bounds - >= 5520 @ 138.378
189.01/189.68	c GLOBAL bounds - >= 5520 @ 138.39
189.30/189.97	c GLOBAL bounds - >= 5520 @ 138.522
189.30/190.00	c GLOBAL bounds - >= 5520 @ 138.539
189.61/190.30	c GLOBAL bounds - >= 5520 @ 138.671
189.71/190.32	c GLOBAL bounds - >= 5520 @ 138.681
190.01/190.62	c GLOBAL bounds - >= 5520 @ 138.818
190.01/190.64	c GLOBAL bounds - >= 5520 @ 138.833
190.31/190.94	c GLOBAL bounds - >= 5520 @ 138.978
190.31/190.96	c GLOBAL bounds - >= 5520 @ 138.99
190.61/191.26	c GLOBAL bounds - >= 5520 @ 139.128
190.61/191.28	c GLOBAL bounds - >= 5520 @ 139.14
190.90/191.58	c GLOBAL bounds - >= 5520 @ 139.279
191.01/191.60	c GLOBAL bounds - >= 5520 @ 139.292
191.30/191.90	c GLOBAL bounds - >= 5520 @ 139.429
191.30/191.92	c GLOBAL bounds - >= 5520 @ 139.448
191.60/192.22	c GLOBAL bounds - >= 5520 @ 139.597
191.60/192.25	c GLOBAL bounds - >= 5520 @ 139.614
191.90/192.54	c GLOBAL bounds - >= 5520 @ 139.763
194.89/195.55	c GLOBAL bounds - >= 5540 @ 142.708
195.09/195.74	c GLOBAL bounds - >= 5540 @ 142.886
195.40/196.04	c GLOBAL bounds - >= 5540 @ 143.037
195.40/196.06	c GLOBAL bounds - >= 5540 @ 143.054
195.69/196.36	c GLOBAL bounds - >= 5540 @ 143.193
195.69/196.38	c GLOBAL bounds - >= 5540 @ 143.207
195.98/196.68	c GLOBAL bounds - >= 5540 @ 143.343
196.09/196.71	c GLOBAL bounds - >= 5540 @ 143.356
196.29/197.00	c GLOBAL bounds - >= 5540 @ 143.482
196.40/197.03	c GLOBAL bounds - >= 5540 @ 143.5
196.69/197.32	c GLOBAL bounds - >= 5540 @ 143.641
196.69/197.35	c GLOBAL bounds - >= 5540 @ 143.657
196.99/197.64	c GLOBAL bounds - >= 5540 @ 143.785
196.99/197.67	c GLOBAL bounds - >= 5540 @ 143.797
197.28/197.97	c GLOBAL bounds - >= 5540 @ 143.946
197.28/197.99	c GLOBAL bounds - >= 5540 @ 143.963
197.58/198.29	c GLOBAL bounds - >= 5540 @ 144.112
197.69/198.32	c GLOBAL bounds - >= 5540 @ 144.125
197.98/198.61	c GLOBAL bounds - >= 5540 @ 144.265
197.98/198.64	c GLOBAL bounds - >= 5540 @ 144.278
198.28/198.93	c GLOBAL bounds - >= 5540 @ 144.417
199.68/200.36	c GLOBAL bounds - >= 5540 @ 145.664
202.07/202.74	c GLOBAL bounds - >= 5540 @ 147.847
205.16/205.87	c #Conflicts:       6000 | #Constraints:       7296
205.16/205.87	c GLOBAL bounds - >= 5556 @ 150.889
205.37/206.04	c GLOBAL bounds - >= 5556 @ 151.047
205.66/206.30	c GLOBAL bounds - >= 5556 @ 151.157
205.66/206.33	c GLOBAL bounds - >= 5556 @ 151.168
205.86/206.58	c GLOBAL bounds - >= 5556 @ 151.269
205.95/206.61	c GLOBAL bounds - >= 5556 @ 151.282
206.26/206.90	c GLOBAL bounds - >= 5556 @ 151.416
206.26/206.93	c GLOBAL bounds - >= 5556 @ 151.427
206.56/207.23	c GLOBAL bounds - >= 5556 @ 151.577
206.56/207.25	c GLOBAL bounds - >= 5556 @ 151.589
206.85/207.55	c GLOBAL bounds - >= 5556 @ 151.735
206.85/207.58	c GLOBAL bounds - >= 5556 @ 151.748
207.16/207.87	c GLOBAL bounds - >= 5556 @ 151.901
207.26/207.90	c GLOBAL bounds - >= 5556 @ 151.916
207.55/208.20	c GLOBAL bounds - >= 5556 @ 152.058
207.55/208.23	c GLOBAL bounds - >= 5556 @ 152.073
207.86/208.53	c GLOBAL bounds - >= 5556 @ 152.214
207.86/208.55	c GLOBAL bounds - >= 5556 @ 152.23
208.15/208.85	c GLOBAL bounds - >= 5556 @ 152.362
208.15/208.88	c GLOBAL bounds - >= 5556 @ 152.376
208.46/209.18	c GLOBAL bounds - >= 5556 @ 152.509
211.74/212.44	c GLOBAL bounds - >= 5576 @ 155.619
211.94/212.61	c GLOBAL bounds - >= 5576 @ 155.781
212.24/212.91	c GLOBAL bounds - >= 5576 @ 155.932
212.24/212.94	c GLOBAL bounds - >= 5576 @ 155.949
212.54/213.24	c GLOBAL bounds - >= 5576 @ 156.089
212.54/213.27	c GLOBAL bounds - >= 5576 @ 156.106
212.84/213.57	c GLOBAL bounds - >= 5576 @ 156.239
212.84/213.59	c GLOBAL bounds - >= 5576 @ 156.252
213.14/213.89	c GLOBAL bounds - >= 5576 @ 156.395
213.24/213.92	c GLOBAL bounds - >= 5576 @ 156.413
213.53/214.22	c GLOBAL bounds - >= 5576 @ 156.56
213.53/214.25	c GLOBAL bounds - >= 5576 @ 156.575
213.84/214.55	c GLOBAL bounds - >= 5576 @ 156.723
213.84/214.58	c GLOBAL bounds - >= 5576 @ 156.736
214.14/214.88	c GLOBAL bounds - >= 5576 @ 156.87
214.24/214.91	c GLOBAL bounds - >= 5576 @ 156.886
214.53/215.21	c GLOBAL bounds - >= 5576 @ 157.023
214.53/215.24	c GLOBAL bounds - >= 5576 @ 157.04
214.83/215.54	c GLOBAL bounds - >= 5576 @ 157.172
214.83/215.57	c GLOBAL bounds - >= 5576 @ 157.189
215.13/215.86	c GLOBAL bounds - >= 5576 @ 157.317
218.52/219.23	c GLOBAL bounds - >= 5596 @ 160.522
218.82/219.57	c GLOBAL bounds - >= 5596 @ 160.768
219.12/219.87	c GLOBAL bounds - >= 5596 @ 160.908
219.23/219.90	c GLOBAL bounds - >= 5596 @ 160.919
219.52/220.20	c GLOBAL bounds - >= 5596 @ 161.064
219.52/220.23	c GLOBAL bounds - >= 5596 @ 161.083
219.82/220.53	c GLOBAL bounds - >= 5596 @ 161.223
219.82/220.56	c GLOBAL bounds - >= 5596 @ 161.239
220.12/220.86	c GLOBAL bounds - >= 5596 @ 161.386
220.12/220.89	c GLOBAL bounds - >= 5596 @ 161.404
220.43/221.19	c GLOBAL bounds - >= 5596 @ 161.545
220.52/221.22	c GLOBAL bounds - >= 5596 @ 161.563
220.81/221.52	c GLOBAL bounds - >= 5596 @ 161.684
220.81/221.55	c GLOBAL bounds - >= 5596 @ 161.696
221.11/221.85	c GLOBAL bounds - >= 5596 @ 161.851
221.11/221.88	c GLOBAL bounds - >= 5596 @ 161.871
221.43/222.18	c GLOBAL bounds - >= 5596 @ 162.009
221.52/222.21	c GLOBAL bounds - >= 5596 @ 162.025
221.82/222.51	c GLOBAL bounds - >= 5596 @ 162.189
221.82/222.54	c GLOBAL bounds - >= 5596 @ 162.204
222.11/222.83	c GLOBAL bounds - >= 5596 @ 162.34
225.60/226.39	c GLOBAL bounds - >= 5616 @ 165.746
225.90/226.61	c GLOBAL bounds - >= 5616 @ 165.941
229.09/229.82	c INPROCESSING
229.09/229.82	c GARBAGE COLLECT
229.09/229.82	c GLOBAL bounds - >= 5616 @ 168.997
229.09/229.85	c GLOBAL bounds - >= 5616 @ 169.013
229.40/230.15	c GLOBAL bounds - >= 5616 @ 169.161
229.40/230.18	c GLOBAL bounds - >= 5616 @ 169.18
229.69/230.47	c GLOBAL bounds - >= 5616 @ 169.313
229.79/230.50	c GLOBAL bounds - >= 5616 @ 169.331
229.98/230.79	c GLOBAL bounds - >= 5616 @ 169.465
230.09/230.82	c GLOBAL bounds - >= 5616 @ 169.479
230.40/231.12	c GLOBAL bounds - >= 5616 @ 169.622
230.40/231.15	c GLOBAL bounds - >= 5616 @ 169.641
230.69/231.44	c GLOBAL bounds - >= 5616 @ 169.783
230.69/231.47	c GLOBAL bounds - >= 5616 @ 169.798
230.98/231.77	c GLOBAL bounds - >= 5616 @ 169.946
231.08/231.80	c GLOBAL bounds - >= 5616 @ 169.965
231.30/232.09	c GLOBAL bounds - >= 5616 @ 170.111
231.40/232.12	c GLOBAL bounds - >= 5616 @ 170.126
231.68/232.42	c GLOBAL bounds - >= 5616 @ 170.264
231.68/232.45	c GLOBAL bounds - >= 5616 @ 170.278
231.98/232.74	c GLOBAL bounds - >= 5616 @ 170.413
232.78/233.59	c GLOBAL bounds - >= 5616 @ 171.072
236.29/237.11	c #Conflicts:       7000 | #Constraints:       5302
236.29/237.11	c GLOBAL bounds - >= 5634 @ 174.515
236.47/237.29	c GLOBAL bounds - >= 5634 @ 174.683
236.77/237.54	c GLOBAL bounds - >= 5634 @ 174.776
236.77/237.57	c GLOBAL bounds - >= 5634 @ 174.792
237.07/237.86	c GLOBAL bounds - >= 5634 @ 174.933
237.07/237.89	c GLOBAL bounds - >= 5634 @ 174.952
237.39/238.19	c GLOBAL bounds - >= 5634 @ 175.085
237.47/238.22	c GLOBAL bounds - >= 5634 @ 175.104
237.76/238.52	c GLOBAL bounds - >= 5634 @ 175.234
237.76/238.55	c GLOBAL bounds - >= 5634 @ 175.25
238.06/238.84	c GLOBAL bounds - >= 5634 @ 175.407
238.06/238.87	c GLOBAL bounds - >= 5634 @ 175.422
238.38/239.17	c GLOBAL bounds - >= 5634 @ 175.573
238.46/239.20	c GLOBAL bounds - >= 5634 @ 175.586
238.66/239.50	c GLOBAL bounds - >= 5634 @ 175.72
238.76/239.53	c GLOBAL bounds - >= 5634 @ 175.735
239.06/239.82	c GLOBAL bounds - >= 5634 @ 175.869
239.06/239.85	c GLOBAL bounds - >= 5634 @ 175.884
239.38/240.15	c GLOBAL bounds - >= 5634 @ 176.031
239.38/240.18	c GLOBAL bounds - >= 5634 @ 176.047
239.66/240.48	c GLOBAL bounds - >= 5634 @ 176.186
243.37/244.13	c GLOBAL bounds - >= 5654 @ 179.763
243.55/244.32	c GLOBAL bounds - >= 5654 @ 179.941
243.85/244.61	c GLOBAL bounds - >= 5654 @ 180.077
243.85/244.64	c GLOBAL bounds - >= 5654 @ 180.093
244.15/244.94	c GLOBAL bounds - >= 5654 @ 180.248
244.15/244.97	c GLOBAL bounds - >= 5654 @ 180.263
244.45/245.27	c GLOBAL bounds - >= 5654 @ 180.414
244.54/245.30	c GLOBAL bounds - >= 5654 @ 180.427
244.85/245.60	c GLOBAL bounds - >= 5654 @ 180.557
244.85/245.63	c GLOBAL bounds - >= 5654 @ 180.577
245.14/245.93	c GLOBAL bounds - >= 5654 @ 180.713
245.14/245.96	c GLOBAL bounds - >= 5654 @ 180.726
245.45/246.26	c GLOBAL bounds - >= 5654 @ 180.885
245.45/246.29	c GLOBAL bounds - >= 5654 @ 180.902
245.74/246.58	c GLOBAL bounds - >= 5654 @ 181.047
245.84/246.62	c GLOBAL bounds - >= 5654 @ 181.061
246.14/246.91	c GLOBAL bounds - >= 5654 @ 181.193
246.14/246.95	c GLOBAL bounds - >= 5654 @ 181.208
246.44/247.24	c GLOBAL bounds - >= 5654 @ 181.35
246.44/247.28	c GLOBAL bounds - >= 5654 @ 181.367
246.74/247.57	c GLOBAL bounds - >= 5654 @ 181.512
250.53/251.35	c GLOBAL bounds - >= 5674 @ 185.217
250.73/251.56	c GLOBAL bounds - >= 5674 @ 185.402
251.03/251.85	c GLOBAL bounds - >= 5674 @ 185.529
251.03/251.89	c GLOBAL bounds - >= 5674 @ 185.546
251.34/252.19	c GLOBAL bounds - >= 5674 @ 185.689
251.42/252.22	c GLOBAL bounds - >= 5674 @ 185.704
251.72/252.52	c GLOBAL bounds - >= 5674 @ 185.836
251.72/252.55	c GLOBAL bounds - >= 5674 @ 185.854
252.02/252.85	c GLOBAL bounds - >= 5674 @ 185.996
252.02/252.88	c GLOBAL bounds - >= 5674 @ 186.012
252.34/253.18	c GLOBAL bounds - >= 5674 @ 186.162
252.42/253.21	c GLOBAL bounds - >= 5674 @ 186.178
252.73/253.51	c GLOBAL bounds - >= 5674 @ 186.32
252.73/253.54	c GLOBAL bounds - >= 5674 @ 186.339
253.02/253.84	c GLOBAL bounds - >= 5674 @ 186.483
253.02/253.88	c GLOBAL bounds - >= 5674 @ 186.5
253.34/254.18	c GLOBAL bounds - >= 5674 @ 186.642
253.42/254.21	c GLOBAL bounds - >= 5674 @ 186.661
253.72/254.51	c GLOBAL bounds - >= 5674 @ 186.805
253.72/254.54	c GLOBAL bounds - >= 5674 @ 186.82
254.02/254.84	c GLOBAL bounds - >= 5674 @ 186.954
258.00/258.86	c #Conflicts:       8000 | #Constraints:       6394
258.00/258.86	c GLOBAL bounds - >= 5694 @ 190.905
258.22/259.07	c GLOBAL bounds - >= 5694 @ 191.097
258.50/259.37	c GLOBAL bounds - >= 5694 @ 191.241
258.61/259.41	c GLOBAL bounds - >= 5694 @ 191.267
258.90/259.70	c GLOBAL bounds - >= 5694 @ 191.412
258.90/259.74	c GLOBAL bounds - >= 5694 @ 191.429
259.21/260.04	c GLOBAL bounds - >= 5694 @ 191.587
259.21/260.07	c GLOBAL bounds - >= 5694 @ 191.608
259.50/260.37	c GLOBAL bounds - >= 5694 @ 191.75
259.60/260.40	c GLOBAL bounds - >= 5694 @ 191.766
259.90/260.70	c GLOBAL bounds - >= 5694 @ 191.912
259.90/260.74	c GLOBAL bounds - >= 5694 @ 191.928
260.21/261.04	c GLOBAL bounds - >= 5694 @ 192.085
260.21/261.07	c GLOBAL bounds - >= 5694 @ 192.108
260.50/261.37	c GLOBAL bounds - >= 5694 @ 192.245
260.60/261.41	c GLOBAL bounds - >= 5694 @ 192.267
260.89/261.71	c GLOBAL bounds - >= 5694 @ 192.414
260.89/261.74	c GLOBAL bounds - >= 5694 @ 192.434
261.21/262.04	c GLOBAL bounds - >= 5694 @ 192.583
261.21/262.07	c GLOBAL bounds - >= 5694 @ 192.606
261.49/262.37	c GLOBAL bounds - >= 5694 @ 192.748
265.68/266.52	c GLOBAL bounds - >= 5714 @ 196.811
265.88/266.71	c GLOBAL bounds - >= 5714 @ 196.989
266.20/267.01	c GLOBAL bounds - >= 5714 @ 197.121
266.20/267.05	c GLOBAL bounds - >= 5714 @ 197.139
266.48/267.35	c GLOBAL bounds - >= 5714 @ 197.301
266.48/267.38	c GLOBAL bounds - >= 5714 @ 197.323
266.78/267.68	c GLOBAL bounds - >= 5714 @ 197.452
266.88/267.72	c GLOBAL bounds - >= 5714 @ 197.471
267.19/268.02	c GLOBAL bounds - >= 5714 @ 197.615
267.19/268.05	c GLOBAL bounds - >= 5714 @ 197.632
267.48/268.36	c GLOBAL bounds - >= 5714 @ 197.784
267.48/268.39	c GLOBAL bounds - >= 5714 @ 197.805
267.77/268.69	c GLOBAL bounds - >= 5714 @ 197.953
267.88/268.72	c GLOBAL bounds - >= 5714 @ 197.972
268.19/269.02	c GLOBAL bounds - >= 5714 @ 198.115
268.19/269.06	c GLOBAL bounds - >= 5714 @ 198.135
268.47/269.36	c GLOBAL bounds - >= 5714 @ 198.275
268.47/269.39	c GLOBAL bounds - >= 5714 @ 198.297
268.78/269.69	c GLOBAL bounds - >= 5714 @ 198.434
268.88/269.73	c GLOBAL bounds - >= 5714 @ 198.45
269.18/270.03	c GLOBAL bounds - >= 5714 @ 198.591
273.36/274.29	c GLOBAL bounds - >= 5714 @ 202.646
277.54/278.44	c #Conflicts:       9000 | #Constraints:       7457
277.54/278.44	c GLOBAL bounds - >= 5732 @ 206.736
277.75/278.63	c GLOBAL bounds - >= 5732 @ 206.908
277.95/278.89	c GLOBAL bounds - >= 5732 @ 207.007
278.05/278.93	c GLOBAL bounds - >= 5732 @ 207.028
278.34/279.23	c GLOBAL bounds - >= 5732 @ 207.173
278.34/279.27	c GLOBAL bounds - >= 5732 @ 207.191
278.65/279.57	c GLOBAL bounds - >= 5732 @ 207.336
278.75/279.60	c GLOBAL bounds - >= 5732 @ 207.352
279.04/279.90	c GLOBAL bounds - >= 5732 @ 207.5
279.04/279.94	c GLOBAL bounds - >= 5732 @ 207.518
279.34/280.24	c GLOBAL bounds - >= 5732 @ 207.658
279.34/280.28	c GLOBAL bounds - >= 5732 @ 207.679
279.64/280.58	c GLOBAL bounds - >= 5732 @ 207.829
279.74/280.62	c GLOBAL bounds - >= 5732 @ 207.85
280.04/280.92	c GLOBAL bounds - >= 5732 @ 207.989
280.04/280.95	c GLOBAL bounds - >= 5732 @ 208.008
280.33/281.26	c GLOBAL bounds - >= 5732 @ 208.158
280.33/281.29	c GLOBAL bounds - >= 5732 @ 208.177
280.64/281.59	c GLOBAL bounds - >= 5732 @ 208.31
280.73/281.63	c GLOBAL bounds - >= 5732 @ 208.332
281.04/281.93	c GLOBAL bounds - >= 5732 @ 208.478
289.22/290.15	c INPROCESSING
289.22/290.15	c GARBAGE COLLECT
289.22/290.15	c GLOBAL bounds - >= 5752 @ 216.579
289.41/290.34	c GLOBAL bounds - >= 5752 @ 216.752
289.71/290.63	c GLOBAL bounds - >= 5752 @ 216.893
289.71/290.67	c GLOBAL bounds - >= 5752 @ 216.918
290.00/290.97	c GLOBAL bounds - >= 5752 @ 217.053
290.00/291.01	c GLOBAL bounds - >= 5752 @ 217.075
290.40/291.31	c GLOBAL bounds - >= 5752 @ 217.222
290.40/291.34	c GLOBAL bounds - >= 5752 @ 217.244
290.71/291.64	c GLOBAL bounds - >= 5752 @ 217.392
290.71/291.68	c GLOBAL bounds - >= 5752 @ 217.417
291.00/291.97	c GLOBAL bounds - >= 5752 @ 217.561
291.11/292.01	c GLOBAL bounds - >= 5752 @ 217.575
291.41/292.31	c GLOBAL bounds - >= 5752 @ 217.721
291.41/292.34	c GLOBAL bounds - >= 5752 @ 217.742
291.70/292.64	c GLOBAL bounds - >= 5752 @ 217.879
291.70/292.68	c GLOBAL bounds - >= 5752 @ 217.897
292.01/292.97	c GLOBAL bounds - >= 5752 @ 218.039
292.11/293.01	c GLOBAL bounds - >= 5752 @ 218.063
292.40/293.31	c GLOBAL bounds - >= 5752 @ 218.21
292.40/293.35	c GLOBAL bounds - >= 5752 @ 218.232
292.70/293.65	c GLOBAL bounds - >= 5752 @ 218.377
293.40/294.31	c GLOBAL bounds - >= 5752 @ 218.856
296.99/297.97	c GLOBAL bounds - >= 5752 @ 222.325
301.28/302.23	c #Conflicts:      10000 | #Constraints:       6103
301.28/302.23	c GLOBAL bounds - >= 5768 @ 226.496
301.47/302.41	c GLOBAL bounds - >= 5768 @ 226.662
301.47/302.44	c GLOBAL bounds - >= 5768 @ 226.679
301.77/302.70	c GLOBAL bounds - >= 5768 @ 226.782
301.77/302.73	c GLOBAL bounds - >= 5768 @ 226.799
302.08/303.03	c GLOBAL bounds - >= 5768 @ 226.942
302.08/303.07	c GLOBAL bounds - >= 5768 @ 226.958
302.37/303.37	c GLOBAL bounds - >= 5768 @ 227.106
302.47/303.41	c GLOBAL bounds - >= 5768 @ 227.125
302.77/303.71	c GLOBAL bounds - >= 5768 @ 227.269
302.77/303.74	c GLOBAL bounds - >= 5768 @ 227.291
303.09/304.04	c GLOBAL bounds - >= 5768 @ 227.437
303.09/304.08	c GLOBAL bounds - >= 5768 @ 227.454
303.37/304.38	c GLOBAL bounds - >= 5768 @ 227.586
303.47/304.42	c GLOBAL bounds - >= 5768 @ 227.611
303.77/304.72	c GLOBAL bounds - >= 5768 @ 227.751
303.77/304.76	c GLOBAL bounds - >= 5768 @ 227.774
304.08/305.06	c GLOBAL bounds - >= 5768 @ 227.927
304.08/305.10	c GLOBAL bounds - >= 5768 @ 227.949
304.36/305.40	c GLOBAL bounds - >= 5768 @ 228.101
304.46/305.44	c GLOBAL bounds - >= 5768 @ 228.126
304.77/305.73	c GLOBAL bounds - >= 5768 @ 228.263
309.35/310.32	c GLOBAL bounds - >= 5768 @ 232.641
313.83/314.80	c GLOBAL bounds - >= 5788 @ 237.062
313.93/315.00	c GLOBAL bounds - >= 5788 @ 237.239
314.23/315.26	c GLOBAL bounds - >= 5788 @ 237.359
314.33/315.30	c GLOBAL bounds - >= 5788 @ 237.381
314.63/315.60	c GLOBAL bounds - >= 5788 @ 237.525
314.63/315.64	c GLOBAL bounds - >= 5788 @ 237.548
314.93/315.94	c GLOBAL bounds - >= 5788 @ 237.708
314.93/315.98	c GLOBAL bounds - >= 5788 @ 237.728
315.23/316.28	c GLOBAL bounds - >= 5788 @ 237.877
315.33/316.32	c GLOBAL bounds - >= 5788 @ 237.896
315.63/316.62	c GLOBAL bounds - >= 5788 @ 238.04
315.63/316.66	c GLOBAL bounds - >= 5788 @ 238.06
315.93/316.96	c GLOBAL bounds - >= 5788 @ 238.202
315.93/317.00	c GLOBAL bounds - >= 5788 @ 238.225
316.32/317.30	c GLOBAL bounds - >= 5788 @ 238.383
316.32/317.34	c GLOBAL bounds - >= 5788 @ 238.409
316.63/317.64	c GLOBAL bounds - >= 5788 @ 238.555
316.63/317.69	c GLOBAL bounds - >= 5788 @ 238.578
316.93/317.99	c GLOBAL bounds - >= 5788 @ 238.731
317.04/318.03	c GLOBAL bounds - >= 5788 @ 238.757
317.33/318.33	c GLOBAL bounds - >= 5788 @ 238.89
322.02/323.07	c #Conflicts:      11000 | #Constraints:       7158
322.02/323.07	c GLOBAL bounds - >= 5808 @ 243.525
322.21/323.29	c GLOBAL bounds - >= 5808 @ 243.726
322.51/323.59	c GLOBAL bounds - >= 5808 @ 243.878
322.60/323.63	c GLOBAL bounds - >= 5808 @ 243.902
322.91/323.93	c GLOBAL bounds - >= 5808 @ 244.042
322.91/323.97	c GLOBAL bounds - >= 5808 @ 244.064
323.20/324.27	c GLOBAL bounds - >= 5808 @ 244.214
323.31/324.31	c GLOBAL bounds - >= 5808 @ 244.237
323.61/324.62	c GLOBAL bounds - >= 5808 @ 244.377
323.61/324.66	c GLOBAL bounds - >= 5808 @ 244.406
323.90/324.96	c GLOBAL bounds - >= 5808 @ 244.541
323.90/325.00	c GLOBAL bounds - >= 5808 @ 244.567
324.31/325.30	c GLOBAL bounds - >= 5808 @ 244.714
324.31/325.35	c GLOBAL bounds - >= 5808 @ 244.737
324.60/325.65	c GLOBAL bounds - >= 5808 @ 244.895
324.60/325.69	c GLOBAL bounds - >= 5808 @ 244.917
324.90/325.99	c GLOBAL bounds - >= 5808 @ 245.057
325.01/326.04	c GLOBAL bounds - >= 5808 @ 245.075
325.30/326.34	c GLOBAL bounds - >= 5808 @ 245.228
325.30/326.38	c GLOBAL bounds - >= 5808 @ 245.245
325.60/326.68	c GLOBAL bounds - >= 5808 @ 245.394
329.89/330.99	c GLOBAL bounds - >= 5808 @ 249.457
334.77/335.86	c GLOBAL bounds - >= 5808 @ 254.092
344.44/345.55	c #Conflicts:      12000 | #Constraints:       8188
344.44/345.55	c INPROCESSING
344.44/345.55	c GARBAGE COLLECT
344.44/345.55	c GLOBAL bounds - >= 5824 @ 263.635
344.64/345.73	c GLOBAL bounds - >= 5824 @ 263.801
344.84/346.00	c GLOBAL bounds - >= 5824 @ 263.91
344.95/346.04	c GLOBAL bounds - >= 5824 @ 263.933
345.13/346.29	c GLOBAL bounds - >= 5824 @ 264.035
345.24/346.33	c GLOBAL bounds - >= 5824 @ 264.056
345.54/346.63	c GLOBAL bounds - >= 5824 @ 264.204
345.54/346.67	c GLOBAL bounds - >= 5824 @ 264.229
345.84/346.97	c GLOBAL bounds - >= 5824 @ 264.391
345.94/347.02	c GLOBAL bounds - >= 5824 @ 264.42
346.23/347.32	c GLOBAL bounds - >= 5824 @ 264.573
346.23/347.36	c GLOBAL bounds - >= 5824 @ 264.591
346.54/347.65	c GLOBAL bounds - >= 5824 @ 264.728
346.54/347.69	c GLOBAL bounds - >= 5824 @ 264.744
346.83/347.99	c GLOBAL bounds - >= 5824 @ 264.874
346.94/348.04	c GLOBAL bounds - >= 5824 @ 264.899
347.23/348.34	c GLOBAL bounds - >= 5824 @ 265.051
347.23/348.38	c GLOBAL bounds - >= 5824 @ 265.077
347.53/348.68	c GLOBAL bounds - >= 5824 @ 265.229
347.63/348.72	c GLOBAL bounds - >= 5824 @ 265.252
347.94/349.02	c GLOBAL bounds - >= 5824 @ 265.409
348.94/350.02	c GLOBAL bounds - >= 5824 @ 266.182
353.62/354.77	c GLOBAL bounds - >= 5824 @ 270.689
358.91/360.09	c #Conflicts:      13000 | #Constraints:       6599
358.91/360.09	c GLOBAL bounds - >= 5840 @ 275.902
359.10/360.26	c GLOBAL bounds - >= 5840 @ 276.049
359.39/360.52	c GLOBAL bounds - >= 5840 @ 276.146
359.39/360.56	c GLOBAL bounds - >= 5840 @ 276.164
359.70/360.81	c GLOBAL bounds - >= 5840 @ 276.268
359.70/360.85	c GLOBAL bounds - >= 5840 @ 276.29
360.00/361.16	c GLOBAL bounds - >= 5840 @ 276.442
360.09/361.20	c GLOBAL bounds - >= 5840 @ 276.47
360.39/361.50	c GLOBAL bounds - >= 5840 @ 276.616
360.39/361.54	c GLOBAL bounds - >= 5840 @ 276.637
360.69/361.84	c GLOBAL bounds - >= 5840 @ 276.796
360.69/361.89	c GLOBAL bounds - >= 5840 @ 276.814
361.00/362.19	c GLOBAL bounds - >= 5840 @ 276.967
361.09/362.23	c GLOBAL bounds - >= 5840 @ 276.992
361.38/362.53	c GLOBAL bounds - >= 5840 @ 277.139
361.38/362.58	c GLOBAL bounds - >= 5840 @ 277.168
361.68/362.88	c GLOBAL bounds - >= 5840 @ 277.304
361.78/362.92	c GLOBAL bounds - >= 5840 @ 277.328
362.08/363.22	c GLOBAL bounds - >= 5840 @ 277.47
362.08/363.27	c GLOBAL bounds - >= 5840 @ 277.493
362.38/363.57	c GLOBAL bounds - >= 5840 @ 277.627
367.98/369.14	c GLOBAL bounds - >= 5860 @ 283.083
368.16/369.34	c GLOBAL bounds - >= 5860 @ 283.262
368.47/369.64	c GLOBAL bounds - >= 5860 @ 283.412
368.47/369.69	c GLOBAL bounds - >= 5860 @ 283.437
368.77/369.99	c GLOBAL bounds - >= 5860 @ 283.583
368.88/370.03	c GLOBAL bounds - >= 5860 @ 283.61
369.16/370.34	c GLOBAL bounds - >= 5860 @ 283.764
369.16/370.38	c GLOBAL bounds - >= 5860 @ 283.793
369.47/370.68	c GLOBAL bounds - >= 5860 @ 283.941
369.57/370.73	c GLOBAL bounds - >= 5860 @ 283.964
369.87/371.03	c GLOBAL bounds - >= 5860 @ 284.102
369.87/371.07	c GLOBAL bounds - >= 5860 @ 284.126
370.16/371.38	c GLOBAL bounds - >= 5860 @ 284.275
370.27/371.42	c GLOBAL bounds - >= 5860 @ 284.298
370.56/371.72	c GLOBAL bounds - >= 5860 @ 284.44
370.56/371.76	c GLOBAL bounds - >= 5860 @ 284.462
370.87/372.07	c GLOBAL bounds - >= 5860 @ 284.601
370.97/372.11	c GLOBAL bounds - >= 5860 @ 284.619
371.26/372.41	c GLOBAL bounds - >= 5860 @ 284.769
371.26/372.46	c GLOBAL bounds - >= 5860 @ 284.792
371.56/372.76	c GLOBAL bounds - >= 5860 @ 284.929
374.55/375.70	c GLOBAL bounds - >= 5860 @ 287.642
379.33/380.58	c #Conflicts:      14000 | #Constraints:       7654
379.33/380.58	c GLOBAL bounds - >= 5860 @ 292.298
384.83/386.04	c GLOBAL bounds - >= 5876 @ 297.654
385.01/386.22	c GLOBAL bounds - >= 5876 @ 297.814
385.31/386.50	c GLOBAL bounds - >= 5876 @ 297.936
385.31/386.54	c GLOBAL bounds - >= 5876 @ 297.96
385.61/386.80	c GLOBAL bounds - >= 5876 @ 298.072
385.61/386.84	c GLOBAL bounds - >= 5876 @ 298.097
385.93/387.15	c GLOBAL bounds - >= 5876 @ 298.246
385.93/387.20	c GLOBAL bounds - >= 5876 @ 298.267
386.31/387.50	c GLOBAL bounds - >= 5876 @ 298.411
386.31/387.54	c GLOBAL bounds - >= 5876 @ 298.432
386.61/387.85	c GLOBAL bounds - >= 5876 @ 298.572
386.61/387.89	c GLOBAL bounds - >= 5876 @ 298.597
387.01/388.20	c GLOBAL bounds - >= 5876 @ 298.737
387.01/388.25	c GLOBAL bounds - >= 5876 @ 298.77
387.31/388.55	c GLOBAL bounds - >= 5876 @ 298.915
387.41/388.60	c GLOBAL bounds - >= 5876 @ 298.936
387.71/388.90	c GLOBAL bounds - >= 5876 @ 299.096
387.71/388.95	c GLOBAL bounds - >= 5876 @ 299.12
388.00/389.26	c GLOBAL bounds - >= 5876 @ 299.276
388.11/389.30	c GLOBAL bounds - >= 5876 @ 299.303
388.40/389.61	c GLOBAL bounds - >= 5876 @ 299.459
397.89/399.13	c #Conflicts:      15000 | #Constraints:       8680
397.89/399.13	c INPROCESSING
397.89/399.13	c GARBAGE COLLECT
397.89/399.13	c GLOBAL bounds - >= 5876 @ 308.71
402.77/404.02	c GLOBAL bounds - >= 5876 @ 313.402
408.34/409.69	c #Conflicts:      16000 | #Constraints:       6849
408.34/409.69	c GLOBAL bounds - >= 5892 @ 319.006
408.53/409.85	c GLOBAL bounds - >= 5892 @ 319.146
408.85/410.13	c GLOBAL bounds - >= 5892 @ 319.272
408.85/410.18	c GLOBAL bounds - >= 5892 @ 319.293
409.13/410.44	c GLOBAL bounds - >= 5892 @ 319.403
409.13/410.48	c GLOBAL bounds - >= 5892 @ 319.424
409.44/410.78	c GLOBAL bounds - >= 5892 @ 319.576
409.53/410.83	c GLOBAL bounds - >= 5892 @ 319.598
409.84/411.13	c GLOBAL bounds - >= 5892 @ 319.757
409.84/411.18	c GLOBAL bounds - >= 5892 @ 319.779
410.13/411.48	c GLOBAL bounds - >= 5892 @ 319.918
410.24/411.53	c GLOBAL bounds - >= 5892 @ 319.944
410.54/411.83	c GLOBAL bounds - >= 5892 @ 320.098
410.54/411.87	c GLOBAL bounds - >= 5892 @ 320.126
410.85/412.18	c GLOBAL bounds - >= 5892 @ 320.265
410.93/412.23	c GLOBAL bounds - >= 5892 @ 320.286
411.23/412.53	c GLOBAL bounds - >= 5892 @ 320.436
411.23/412.57	c GLOBAL bounds - >= 5892 @ 320.46
411.53/412.88	c GLOBAL bounds - >= 5892 @ 320.604
411.63/412.92	c GLOBAL bounds - >= 5892 @ 320.631
411.93/413.23	c GLOBAL bounds - >= 5892 @ 320.771
417.73/419.08	c GLOBAL bounds - >= 5912 @ 326.529
417.91/419.28	c GLOBAL bounds - >= 5912 @ 326.706
418.21/419.59	c GLOBAL bounds - >= 5912 @ 326.853
418.31/419.63	c GLOBAL bounds - >= 5912 @ 326.883
418.60/419.94	c GLOBAL bounds - >= 5912 @ 327.032
418.60/419.98	c GLOBAL bounds - >= 5912 @ 327.06
418.91/420.29	c GLOBAL bounds - >= 5912 @ 327.207
419.00/420.34	c GLOBAL bounds - >= 5912 @ 327.231
419.31/420.64	c GLOBAL bounds - >= 5912 @ 327.368
419.31/420.68	c GLOBAL bounds - >= 5912 @ 327.395
419.61/420.99	c GLOBAL bounds - >= 5912 @ 327.545
419.71/421.04	c GLOBAL bounds - >= 5912 @ 327.567
420.00/421.34	c GLOBAL bounds - >= 5912 @ 327.716
420.00/421.39	c GLOBAL bounds - >= 5912 @ 327.737
420.30/421.69	c GLOBAL bounds - >= 5912 @ 327.891
420.40/421.75	c GLOBAL bounds - >= 5912 @ 327.918
420.71/422.05	c GLOBAL bounds - >= 5912 @ 328.074
420.71/422.10	c GLOBAL bounds - >= 5912 @ 328.102
421.10/422.41	c GLOBAL bounds - >= 5912 @ 328.257
421.10/422.45	c GLOBAL bounds - >= 5912 @ 328.286
421.40/422.75	c GLOBAL bounds - >= 5912 @ 328.432
423.99/425.34	c GLOBAL bounds - >= 5912 @ 330.824
429.88/431.29	c #Conflicts:      17000 | #Constraints:       7904
429.88/431.29	c GLOBAL bounds - >= 5930 @ 336.694
430.17/431.51	c GLOBAL bounds - >= 5930 @ 336.882
430.37/431.77	c GLOBAL bounds - >= 5930 @ 337
430.47/431.82	c GLOBAL bounds - >= 5930 @ 337.024
430.78/432.12	c GLOBAL bounds - >= 5930 @ 337.166
430.78/432.17	c GLOBAL bounds - >= 5930 @ 337.188
431.07/432.48	c GLOBAL bounds - >= 5930 @ 337.355
431.17/432.52	c GLOBAL bounds - >= 5930 @ 337.379
431.46/432.83	c GLOBAL bounds - >= 5930 @ 337.526
431.46/432.88	c GLOBAL bounds - >= 5930 @ 337.552
431.78/433.19	c GLOBAL bounds - >= 5930 @ 337.709
431.86/433.23	c GLOBAL bounds - >= 5930 @ 337.732
432.17/433.54	c GLOBAL bounds - >= 5930 @ 337.876
432.17/433.59	c GLOBAL bounds - >= 5930 @ 337.899
432.46/433.89	c GLOBAL bounds - >= 5930 @ 338.062
432.57/433.94	c GLOBAL bounds - >= 5930 @ 338.092
432.86/434.25	c GLOBAL bounds - >= 5930 @ 338.251
432.96/434.30	c GLOBAL bounds - >= 5930 @ 338.28
433.27/434.60	c GLOBAL bounds - >= 5930 @ 338.436
433.27/434.65	c GLOBAL bounds - >= 5930 @ 338.466
433.56/434.96	c GLOBAL bounds - >= 5930 @ 338.609
437.85/439.26	c GLOBAL bounds - >= 5930 @ 342.68
442.04/443.41	c GLOBAL bounds - >= 5930 @ 346.609
456.49/457.93	c #Conflicts:      18000 | #Constraints:       8931
456.49/457.93	c INPROCESSING
456.49/457.93	c GARBAGE COLLECT
456.49/457.93	c GLOBAL bounds - >= 5930 @ 360.115
463.16/464.61	c GLOBAL bounds - >= 5944 @ 366.721
463.37/464.82	c GLOBAL bounds - >= 5944 @ 366.909
463.37/464.87	c GLOBAL bounds - >= 5944 @ 366.934
463.68/465.14	c GLOBAL bounds - >= 5944 @ 367.057
463.68/465.18	c GLOBAL bounds - >= 5944 @ 367.08
463.97/465.45	c GLOBAL bounds - >= 5944 @ 367.194
463.97/465.49	c GLOBAL bounds - >= 5944 @ 367.223
464.36/465.80	c GLOBAL bounds - >= 5944 @ 367.368
464.36/465.85	c GLOBAL bounds - >= 5944 @ 367.397
464.68/466.15	c GLOBAL bounds - >= 5944 @ 367.553
464.77/466.20	c GLOBAL bounds - >= 5944 @ 367.583
465.06/466.51	c GLOBAL bounds - >= 5944 @ 367.745
465.06/466.56	c GLOBAL bounds - >= 5944 @ 367.77
465.36/466.86	c GLOBAL bounds - >= 5944 @ 367.93
465.46/466.91	c GLOBAL bounds - >= 5944 @ 367.954
465.76/467.21	c GLOBAL bounds - >= 5944 @ 368.106
465.76/467.26	c GLOBAL bounds - >= 5944 @ 368.13
466.06/467.57	c GLOBAL bounds - >= 5944 @ 368.274
466.16/467.62	c GLOBAL bounds - >= 5944 @ 368.307
466.46/467.92	c GLOBAL bounds - >= 5944 @ 368.455
466.46/467.97	c GLOBAL bounds - >= 5944 @ 368.483
466.75/468.28	c GLOBAL bounds - >= 5944 @ 368.644
467.15/468.69	c GLOBAL bounds - >= 5944 @ 368.867
474.14/475.63	c #Conflicts:      19000 | #Constraints:       8207
474.14/475.63	c GLOBAL bounds - >= 5964 @ 375.697
474.33/475.82	c GLOBAL bounds - >= 5964 @ 375.869
474.33/475.87	c GLOBAL bounds - >= 5964 @ 375.891
474.64/476.18	c GLOBAL bounds - >= 5964 @ 376.038
474.73/476.23	c GLOBAL bounds - >= 5964 @ 376.064
475.03/476.53	c GLOBAL bounds - >= 5964 @ 376.216
475.03/476.58	c GLOBAL bounds - >= 5964 @ 376.242
475.33/476.89	c GLOBAL bounds - >= 5964 @ 376.401
475.43/476.94	c GLOBAL bounds - >= 5964 @ 376.436
475.73/477.25	c GLOBAL bounds - >= 5964 @ 376.578
475.83/477.30	c GLOBAL bounds - >= 5964 @ 376.6
476.13/477.60	c GLOBAL bounds - >= 5964 @ 376.768
476.13/477.65	c GLOBAL bounds - >= 5964 @ 376.798
476.43/477.96	c GLOBAL bounds - >= 5964 @ 376.936
476.54/478.01	c GLOBAL bounds - >= 5964 @ 376.964
476.82/478.32	c GLOBAL bounds - >= 5964 @ 377.135
476.82/478.37	c GLOBAL bounds - >= 5964 @ 377.152
477.13/478.68	c GLOBAL bounds - >= 5964 @ 377.31
477.22/478.72	c GLOBAL bounds - >= 5964 @ 377.342
477.54/479.03	c GLOBAL bounds - >= 5964 @ 377.5
477.54/479.08	c GLOBAL bounds - >= 5964 @ 377.525
477.82/479.39	c GLOBAL bounds - >= 5964 @ 377.674
482.62/484.19	c GLOBAL bounds - >= 5964 @ 382.247
491.08/492.61	c #Conflicts:      20000 | #Constraints:       9238
491.08/492.61	c GLOBAL bounds - >= 5984 @ 390.418
491.38/492.96	c GLOBAL bounds - >= 5984 @ 390.738
491.68/493.23	c GLOBAL bounds - >= 5984 @ 390.857
491.68/493.28	c GLOBAL bounds - >= 5984 @ 390.885
491.98/493.58	c GLOBAL bounds - >= 5984 @ 391.047
492.08/493.63	c GLOBAL bounds - >= 5984 @ 391.069
492.37/493.94	c GLOBAL bounds - >= 5984 @ 391.24
492.37/493.99	c GLOBAL bounds - >= 5984 @ 391.264
492.77/494.31	c GLOBAL bounds - >= 5984 @ 391.414
492.77/494.36	c GLOBAL bounds - >= 5984 @ 391.443
493.07/494.67	c GLOBAL bounds - >= 5984 @ 391.591
493.17/494.72	c GLOBAL bounds - >= 5984 @ 391.619
493.49/495.03	c GLOBAL bounds - >= 5984 @ 391.766
493.49/495.09	c GLOBAL bounds - >= 5984 @ 391.797
493.88/495.40	c GLOBAL bounds - >= 5984 @ 391.959
493.88/495.45	c GLOBAL bounds - >= 5984 @ 391.978
494.17/495.76	c GLOBAL bounds - >= 5984 @ 392.138
494.27/495.81	c GLOBAL bounds - >= 5984 @ 392.17
494.67/496.28	c GLOBAL bounds - >= 5984 @ 392.404
494.78/496.33	c GLOBAL bounds - >= 5984 @ 392.443
495.07/496.66	c GLOBAL bounds - >= 5984 @ 392.622
501.25/502.81	c GLOBAL bounds - >= 5984 @ 398.408
509.32/510.97	c #Conflicts:      21000 | #Constraints:      10266
509.32/510.97	c GLOBAL bounds - >= 6002 @ 406.287
509.54/511.19	c GLOBAL bounds - >= 6002 @ 406.485
509.83/511.46	c GLOBAL bounds - >= 6002 @ 406.606
509.92/511.51	c GLOBAL bounds - >= 6002 @ 406.635
510.23/511.83	c GLOBAL bounds - >= 6002 @ 406.779
510.23/511.88	c GLOBAL bounds - >= 6002 @ 406.811
510.62/512.20	c GLOBAL bounds - >= 6002 @ 406.963
510.62/512.25	c GLOBAL bounds - >= 6002 @ 406.99
510.92/512.56	c GLOBAL bounds - >= 6002 @ 407.159
511.02/512.62	c GLOBAL bounds - >= 6002 @ 407.189
511.32/512.93	c GLOBAL bounds - >= 6002 @ 407.359
511.32/512.98	c GLOBAL bounds - >= 6002 @ 407.391
511.72/513.30	c GLOBAL bounds - >= 6002 @ 407.548
511.72/513.35	c GLOBAL bounds - >= 6002 @ 407.585
512.02/513.67	c GLOBAL bounds - >= 6002 @ 407.742
512.12/513.72	c GLOBAL bounds - >= 6002 @ 407.77
512.43/514.04	c GLOBAL bounds - >= 6002 @ 407.942
512.43/514.09	c GLOBAL bounds - >= 6002 @ 407.974
512.81/514.40	c GLOBAL bounds - >= 6002 @ 408.132
512.81/514.45	c GLOBAL bounds - >= 6002 @ 408.162
513.12/514.77	c GLOBAL bounds - >= 6002 @ 408.32
524.49/526.14	c INPROCESSING
524.49/526.14	c GARBAGE COLLECT
524.49/526.14	c GLOBAL bounds - >= 6002 @ 419.332
532.36/534.09	c #Conflicts:      22000 | #Constraints:       6664
532.36/534.09	c GLOBAL bounds - >= 6020 @ 427.164
532.65/534.31	c GLOBAL bounds - >= 6020 @ 427.362
532.85/534.57	c GLOBAL bounds - >= 6020 @ 427.468
532.95/534.63	c GLOBAL bounds - >= 6020 @ 427.497
533.25/534.93	c GLOBAL bounds - >= 6020 @ 427.652
533.25/534.99	c GLOBAL bounds - >= 6020 @ 427.677
533.54/535.29	c GLOBAL bounds - >= 6020 @ 427.825
533.65/535.35	c GLOBAL bounds - >= 6020 @ 427.848
533.95/535.65	c GLOBAL bounds - >= 6020 @ 428.003
534.05/535.71	c GLOBAL bounds - >= 6020 @ 428.029
534.36/536.02	c GLOBAL bounds - >= 6020 @ 428.173
534.36/536.07	c GLOBAL bounds - >= 6020 @ 428.2
534.64/536.38	c GLOBAL bounds - >= 6020 @ 428.346
534.75/536.43	c GLOBAL bounds - >= 6020 @ 428.379
535.04/536.74	c GLOBAL bounds - >= 6020 @ 428.522
535.04/536.78	c GLOBAL bounds - >= 6020 @ 428.542
535.36/537.09	c GLOBAL bounds - >= 6020 @ 428.688
535.45/537.14	c GLOBAL bounds - >= 6020 @ 428.731
535.74/537.45	c GLOBAL bounds - >= 6020 @ 428.879
535.84/537.51	c GLOBAL bounds - >= 6020 @ 428.909
536.14/537.81	c GLOBAL bounds - >= 6020 @ 429.066
542.22/543.97	c #Conflicts:      23000 | #Constraints:       7694
542.22/543.97	c GLOBAL bounds - >= 6020 @ 435.01
550.41/552.16	c GLOBAL bounds - >= 6038 @ 443.108
550.59/552.39	c GLOBAL bounds - >= 6038 @ 443.302
550.89/552.65	c GLOBAL bounds - >= 6038 @ 443.401
550.99/552.71	c GLOBAL bounds - >= 6038 @ 443.432
551.30/553.02	c GLOBAL bounds - >= 6038 @ 443.578
551.30/553.07	c GLOBAL bounds - >= 6038 @ 443.609
551.59/553.38	c GLOBAL bounds - >= 6038 @ 443.763
551.69/553.44	c GLOBAL bounds - >= 6038 @ 443.792
551.99/553.75	c GLOBAL bounds - >= 6038 @ 443.942
552.09/553.80	c GLOBAL bounds - >= 6038 @ 443.973
552.40/554.11	c GLOBAL bounds - >= 6038 @ 444.113
552.40/554.17	c GLOBAL bounds - >= 6038 @ 444.146
552.69/554.48	c GLOBAL bounds - >= 6038 @ 444.301
552.79/554.53	c GLOBAL bounds - >= 6038 @ 444.327
553.09/554.84	c GLOBAL bounds - >= 6038 @ 444.489
553.09/554.90	c GLOBAL bounds - >= 6038 @ 444.517
553.49/555.21	c GLOBAL bounds - >= 6038 @ 444.692
553.49/555.26	c GLOBAL bounds - >= 6038 @ 444.724
553.78/555.57	c GLOBAL bounds - >= 6038 @ 444.854
553.89/555.63	c GLOBAL bounds - >= 6038 @ 444.889
554.19/555.94	c GLOBAL bounds - >= 6038 @ 445.041
555.68/557.46	c GLOBAL bounds - >= 6038 @ 446.373
557.58/559.33	c GLOBAL bounds - >= 6038 @ 448.047
563.37/565.11	c #Conflicts:      24000 | #Constraints:       8722
563.37/565.11	c GLOBAL bounds - >= 6038 @ 453.623
569.35/571.17	c GLOBAL bounds - >= 6038 @ 459.472
584.89/586.78	c #Conflicts:      25000 | #Constraints:       9722
584.89/586.78	c INPROCESSING
584.89/586.78	c GARBAGE COLLECT
584.89/586.78	c GLOBAL bounds - >= 6050 @ 474.942
585.09/586.94	c GLOBAL bounds - >= 6050 @ 475.082
585.09/587.00	c GLOBAL bounds - >= 6050 @ 475.113
585.20/587.06	c GLOBAL bounds - >= 6050 @ 475.143
585.48/587.32	c GLOBAL bounds - >= 6050 @ 475.247
585.48/587.37	c GLOBAL bounds - >= 6050 @ 475.282
585.78/587.63	c GLOBAL bounds - >= 6050 @ 475.381
585.78/587.69	c GLOBAL bounds - >= 6050 @ 475.402
586.09/587.99	c GLOBAL bounds - >= 6050 @ 475.546
586.19/588.05	c GLOBAL bounds - >= 6050 @ 475.581
586.49/588.36	c GLOBAL bounds - >= 6050 @ 475.741
586.58/588.42	c GLOBAL bounds - >= 6050 @ 475.769
586.88/588.73	c GLOBAL bounds - >= 6050 @ 475.926
586.88/588.78	c GLOBAL bounds - >= 6050 @ 475.958
587.19/589.09	c GLOBAL bounds - >= 6050 @ 476.118
587.29/589.15	c GLOBAL bounds - >= 6050 @ 476.152
587.58/589.45	c GLOBAL bounds - >= 6050 @ 476.303
587.68/589.51	c GLOBAL bounds - >= 6050 @ 476.33
587.98/589.82	c GLOBAL bounds - >= 6050 @ 476.488
587.98/589.87	c GLOBAL bounds - >= 6050 @ 476.52
588.29/590.18	c GLOBAL bounds - >= 6050 @ 476.68
588.38/590.24	c GLOBAL bounds - >= 6050 @ 476.71
588.68/590.55	c GLOBAL bounds - >= 6050 @ 476.868
590.67/592.50	c GLOBAL bounds - >= 6050 @ 478.634
593.75/595.60	c GLOBAL bounds - >= 6050 @ 481.546
597.85/599.75	c #Conflicts:      26000 | #Constraints:       7543
597.85/599.75	c GLOBAL bounds - >= 6050 @ 485.513
604.02/606.00	c GLOBAL bounds - >= 6050 @ 491.555
613.29/615.28	c #Conflicts:      27000 | #Constraints:       8543
613.29/615.28	c GLOBAL bounds - >= 6066 @ 500.744
613.49/615.46	c GLOBAL bounds - >= 6066 @ 500.902
613.79/615.75	c GLOBAL bounds - >= 6066 @ 501.049
613.89/615.81	c GLOBAL bounds - >= 6066 @ 501.085
614.11/616.09	c GLOBAL bounds - >= 6066 @ 501.213
614.21/616.15	c GLOBAL bounds - >= 6066 @ 501.245
614.49/616.43	c GLOBAL bounds - >= 6066 @ 501.365
614.49/616.49	c GLOBAL bounds - >= 6066 @ 501.402
614.79/616.76	c GLOBAL bounds - >= 6066 @ 501.525
614.89/616.82	c GLOBAL bounds - >= 6066 @ 501.564
615.20/617.13	c GLOBAL bounds - >= 6066 @ 501.722
615.20/617.19	c GLOBAL bounds - >= 6066 @ 501.756
615.59/617.50	c GLOBAL bounds - >= 6066 @ 501.915
615.59/617.56	c GLOBAL bounds - >= 6066 @ 501.95
615.89/617.87	c GLOBAL bounds - >= 6066 @ 502.113
615.99/617.93	c GLOBAL bounds - >= 6066 @ 502.151
616.29/618.25	c GLOBAL bounds - >= 6066 @ 502.308
616.39/618.31	c GLOBAL bounds - >= 6066 @ 502.341
616.69/618.62	c GLOBAL bounds - >= 6066 @ 502.499
616.69/618.68	c GLOBAL bounds - >= 6066 @ 502.531
616.99/618.99	c GLOBAL bounds - >= 6066 @ 502.689
621.08/623.03	c GLOBAL bounds - >= 6066 @ 506.539
625.17/627.12	c #Conflicts:      28000 | #Constraints:       9565
625.17/627.12	c GLOBAL bounds - >= 6066 @ 510.432
894.06/897.03	c #Conflicts:      29000 | #Constraints:      10565
894.06/897.03	c INPROCESSING
894.06/897.03	c GARBAGE COLLECT
894.06/897.03	c #Conflicts:      30000 | #Constraints:       8143
894.06/897.03	c #Conflicts:      31000 | #Constraints:       9143
894.06/897.03	c #Conflicts:      32000 | #Constraints:      10143
894.06/897.03	c #Conflicts:      33000 | #Constraints:      11143
894.06/897.03	c INPROCESSING
894.06/897.03	c GARBAGE COLLECT
894.06/897.03	c #Conflicts:      34000 | #Constraints:       9558
894.06/897.03	c #Conflicts:      35000 | #Constraints:      10558
894.06/897.03	c #Conflicts:      36000 | #Constraints:      11558
894.06/897.03	c #Conflicts:      37000 | #Constraints:      12558
894.06/897.03	c INPROCESSING
894.06/897.03	c GARBAGE COLLECT
894.06/897.03	c #Conflicts:      38000 | #Constraints:      10201
894.06/897.03	c #Conflicts:      39000 | #Constraints:      11201
894.06/897.03	c #Conflicts:      40000 | #Constraints:      12201
894.06/897.03	c GLOBAL bounds - >= 6082 @ 776.502
894.17/897.17	c GLOBAL bounds - >= 6082 @ 776.608
894.26/897.22	c GLOBAL bounds - >= 6082 @ 776.644
894.65/897.69	c GLOBAL bounds - >= 6082 @ 776.921
894.76/897.75	c GLOBAL bounds - >= 6082 @ 776.954
895.07/898.05	c GLOBAL bounds - >= 6082 @ 777.095
895.17/898.11	c GLOBAL bounds - >= 6082 @ 777.13
895.45/898.42	c GLOBAL bounds - >= 6082 @ 777.285
895.45/898.48	c GLOBAL bounds - >= 6082 @ 777.318
895.75/898.78	c GLOBAL bounds - >= 6082 @ 777.465
895.85/898.84	c GLOBAL bounds - >= 6082 @ 777.495
896.17/899.15	c GLOBAL bounds - >= 6082 @ 777.653
896.25/899.21	c GLOBAL bounds - >= 6082 @ 777.683
896.45/899.47	c GLOBAL bounds - >= 6082 @ 777.782
896.54/899.54	c GLOBAL bounds - >= 6082 @ 777.817
896.84/899.84	c GLOBAL bounds - >= 6082 @ 777.977
896.94/899.91	c GLOBAL bounds - >= 6082 @ 778.015
897.25/900.22	c GLOBAL bounds - >= 6082 @ 778.17
897.25/900.28	c GLOBAL bounds - >= 6082 @ 778.202
897.54/900.59	c GLOBAL bounds - >= 6082 @ 778.344
897.65/900.65	c GLOBAL bounds - >= 6082 @ 778.379
897.95/900.96	c GLOBAL bounds - >= 6082 @ 778.529
904.82/907.80	c GLOBAL bounds - >= 6082 @ 785.063
1963.32/1969.35	c #Conflicts:      41000 | #Constraints:      13229
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      42000 | #Constraints:      10171
1963.32/1969.35	c #Conflicts:      43000 | #Constraints:      11171
1963.32/1969.35	c #Conflicts:      44000 | #Constraints:      12171
1963.32/1969.35	c #Conflicts:      45000 | #Constraints:      13171
1963.32/1969.35	c #Conflicts:      46000 | #Constraints:      14171
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      47000 | #Constraints:      10846
1963.32/1969.35	c #Conflicts:      48000 | #Constraints:      11846
1963.32/1969.35	c #Conflicts:      49000 | #Constraints:      12846
1963.32/1969.35	c #Conflicts:      50000 | #Constraints:      13846
1963.32/1969.35	c #Conflicts:      51000 | #Constraints:      14846
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      52000 | #Constraints:      11345
1963.32/1969.35	c #Conflicts:      53000 | #Constraints:      12345
1963.32/1969.35	c #Conflicts:      54000 | #Constraints:      13345
1963.32/1969.35	c #Conflicts:      55000 | #Constraints:      14345
1963.32/1969.35	c #Conflicts:      56000 | #Constraints:      15345
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      57000 | #Constraints:      11557
1963.32/1969.35	c #Conflicts:      58000 | #Constraints:      12557
1963.32/1969.35	c #Conflicts:      59000 | #Constraints:      13557
1963.32/1969.35	c #Conflicts:      60000 | #Constraints:      14557
1963.32/1969.35	c #Conflicts:      61000 | #Constraints:      15557
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      62000 | #Constraints:      11607
1963.32/1969.35	c #Conflicts:      63000 | #Constraints:      12607
1963.32/1969.35	c #Conflicts:      64000 | #Constraints:      13607
1963.32/1969.35	c #Conflicts:      65000 | #Constraints:      14607
1963.32/1969.35	c #Conflicts:      66000 | #Constraints:      15607
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      67000 | #Constraints:      11437
1963.32/1969.35	c #Conflicts:      68000 | #Constraints:      12437
1963.32/1969.35	c #Conflicts:      69000 | #Constraints:      13437
1963.32/1969.35	c #Conflicts:      70000 | #Constraints:      14437
1963.32/1969.35	c #Conflicts:      71000 | #Constraints:      15437
1963.32/1969.35	c #Conflicts:      72000 | #Constraints:      16437
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      73000 | #Constraints:      11998
1963.32/1969.35	c #Conflicts:      74000 | #Constraints:      12998
1963.32/1969.35	c #Conflicts:      75000 | #Constraints:      13998
1963.32/1969.35	c #Conflicts:      76000 | #Constraints:      14998
1963.32/1969.35	c #Conflicts:      77000 | #Constraints:      15998
1963.32/1969.35	c #Conflicts:      78000 | #Constraints:      16998
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      79000 | #Constraints:      12472
1963.32/1969.35	c #Conflicts:      80000 | #Constraints:      13472
1963.32/1969.35	c #Conflicts:      81000 | #Constraints:      14472
1963.32/1969.35	c #Conflicts:      82000 | #Constraints:      15472
1963.32/1969.35	c #Conflicts:      83000 | #Constraints:      16472
1963.32/1969.35	c #Conflicts:      84000 | #Constraints:      17472
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      85000 | #Constraints:      12694
1963.32/1969.35	c #Conflicts:      86000 | #Constraints:      13694
1963.32/1969.35	c #Conflicts:      87000 | #Constraints:      14694
1963.32/1969.35	c #Conflicts:      88000 | #Constraints:      15694
1963.32/1969.35	c #Conflicts:      89000 | #Constraints:      16694
1963.32/1969.35	c #Conflicts:      90000 | #Constraints:      17694
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      91000 | #Constraints:      12722
1963.32/1969.35	c #Conflicts:      92000 | #Constraints:      13722
1963.32/1969.35	c #Conflicts:      93000 | #Constraints:      14722
1963.32/1969.35	c #Conflicts:      94000 | #Constraints:      15722
1963.32/1969.35	c #Conflicts:      95000 | #Constraints:      16722
1963.32/1969.35	c #Conflicts:      96000 | #Constraints:      17722
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:      97000 | #Constraints:      12484
1963.32/1969.35	c #Conflicts:      98000 | #Constraints:      13484
1963.32/1969.35	c #Conflicts:      99000 | #Constraints:      14484
1963.32/1969.35	c #Conflicts:     100000 | #Constraints:      15484
1963.32/1969.35	c #Conflicts:     101000 | #Constraints:      16484
1963.32/1969.35	c #Conflicts:     102000 | #Constraints:      17484
1963.32/1969.35	c #Conflicts:     103000 | #Constraints:      18484
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:     104000 | #Constraints:      13051
1963.32/1969.35	c #Conflicts:     105000 | #Constraints:      14051
1963.32/1969.35	c #Conflicts:     106000 | #Constraints:      15051
1963.32/1969.35	c #Conflicts:     107000 | #Constraints:      16051
1963.32/1969.35	c #Conflicts:     108000 | #Constraints:      17051
1963.32/1969.35	c #Conflicts:     109000 | #Constraints:      18051
1963.32/1969.35	c #Conflicts:     110000 | #Constraints:      19051
1963.32/1969.35	c INPROCESSING
1963.32/1969.35	c GARBAGE COLLECT
1963.32/1969.35	c #Conflicts:     111000 | #Constraints:      13497
2441.17/2448.59	c #Conflicts:     112000 | #Constraints:      14497
2441.17/2448.59	c #Conflicts:     113000 | #Constraints:      15497
2441.17/2448.59	c #Conflicts:     114000 | #Constraints:      16497
2441.17/2448.59	c #Conflicts:     115000 | #Constraints:      17497
2441.17/2448.59	c #Conflicts:     116000 | #Constraints:      18497
2441.17/2448.59	c #Conflicts:     117000 | #Constraints:      19497
2441.17/2448.59	c INPROCESSING
2441.17/2448.59	c GARBAGE COLLECT
2441.17/2448.59	c #Conflicts:     118000 | #Constraints:      13776
2441.17/2448.59	c #Conflicts:     119000 | #Constraints:      14776
2441.17/2448.59	c #Conflicts:     120000 | #Constraints:      15776
2441.17/2448.59	c #Conflicts:     121000 | #Constraints:      16776
2441.17/2448.59	c #Conflicts:     122000 | #Constraints:      17776
2441.17/2448.59	c #Conflicts:     123000 | #Constraints:      18776
2441.17/2448.59	c #Conflicts:     124000 | #Constraints:      19776
2441.17/2448.59	c INPROCESSING
2441.17/2448.59	c GARBAGE COLLECT
2441.17/2448.59	c #Conflicts:     125000 | #Constraints:      13822
2441.17/2448.59	c #Conflicts:     126000 | #Constraints:      14822
2441.17/2448.59	c #Conflicts:     127000 | #Constraints:      15822
2441.17/2448.59	c #Conflicts:     128000 | #Constraints:      16822
2441.17/2448.59	c #Conflicts:     129000 | #Constraints:      17822
2441.17/2448.59	c #Conflicts:     130000 | #Constraints:      18822
2441.17/2448.59	c #Conflicts:     131000 | #Constraints:      19822
2441.17/2448.59	c INPROCESSING
2441.17/2448.59	c GARBAGE COLLECT
2441.17/2448.59	c #Conflicts:     132000 | #Constraints:      13639
2441.17/2448.59	c #Conflicts:     133000 | #Constraints:      14639
2441.17/2448.59	c #Conflicts:     134000 | #Constraints:      15639
2441.17/2448.59	c #Conflicts:     135000 | #Constraints:      16639
2441.17/2448.59	c #Conflicts:     136000 | #Constraints:      17639
2441.17/2448.59	c #Conflicts:     137000 | #Constraints:      18639
2441.17/2448.59	c #Conflicts:     138000 | #Constraints:      19639
2441.17/2448.59	c GLOBAL bounds - >= 6100 @ 2309.28
2441.47/2448.88	c GLOBAL bounds - >= 6100 @ 2309.54
2441.96/2449.35	c GLOBAL bounds - >= 6100 @ 2309.84
2442.06/2449.41	c GLOBAL bounds - >= 6100 @ 2309.87
2442.37/2449.73	c GLOBAL bounds - >= 6100 @ 2310.03
2442.37/2449.79	c GLOBAL bounds - >= 6100 @ 2310.07
2442.77/2450.11	c GLOBAL bounds - >= 6100 @ 2310.25
2442.77/2450.18	c GLOBAL bounds - >= 6100 @ 2310.29
2443.16/2450.50	c GLOBAL bounds - >= 6100 @ 2310.46
2443.16/2450.57	c GLOBAL bounds - >= 6100 @ 2310.49
2443.46/2450.89	c GLOBAL bounds - >= 6100 @ 2310.66
2443.56/2450.95	c GLOBAL bounds - >= 6100 @ 2310.69
2443.86/2451.27	c GLOBAL bounds - >= 6100 @ 2310.86
2443.96/2451.33	c GLOBAL bounds - >= 6100 @ 2310.9
2444.26/2451.66	c GLOBAL bounds - >= 6100 @ 2311.06
2444.36/2451.73	c GLOBAL bounds - >= 6100 @ 2311.1
2444.67/2452.05	c GLOBAL bounds - >= 6100 @ 2311.27
2444.67/2452.11	c GLOBAL bounds - >= 6100 @ 2311.3
2445.06/2452.43	c GLOBAL bounds - >= 6100 @ 2311.46
2445.06/2452.49	c GLOBAL bounds - >= 6100 @ 2311.49
2445.45/2452.83	c GLOBAL bounds - >= 6100 @ 2311.66
2452.75/2460.12	c GLOBAL bounds - >= 6100 @ 2318.64
2780.92/2789.31	c #Conflicts:     139000 | #Constraints:      20666
2780.92/2789.31	c INPROCESSING
2780.92/2789.31	c GARBAGE COLLECT
2780.92/2789.31	c #Conflicts:     140000 | #Constraints:      14173
2780.92/2789.31	c #Conflicts:     141000 | #Constraints:      15173
2780.92/2789.31	c #Conflicts:     142000 | #Constraints:      16173
2780.92/2789.31	c #Conflicts:     143000 | #Constraints:      17173
2780.92/2789.31	c #Conflicts:     144000 | #Constraints:      18173
2780.92/2789.31	c #Conflicts:     145000 | #Constraints:      19173
2780.92/2789.31	c #Conflicts:     146000 | #Constraints:      20173
2780.92/2789.31	c #Conflicts:     147000 | #Constraints:      21173
2780.92/2789.31	c INPROCESSING
2780.92/2789.31	c GARBAGE COLLECT
2780.92/2789.31	c #Conflicts:     148000 | #Constraints:      14618
2780.92/2789.31	c #Conflicts:     149000 | #Constraints:      15618
2780.92/2789.31	c #Conflicts:     150000 | #Constraints:      16618
2780.92/2789.31	c #Conflicts:     151000 | #Constraints:      17618
2780.92/2789.31	c #Conflicts:     152000 | #Constraints:      18618
2780.92/2789.31	c #Conflicts:     153000 | #Constraints:      19618
2780.92/2789.31	c #Conflicts:     154000 | #Constraints:      20618
2780.92/2789.31	c #Conflicts:     155000 | #Constraints:      21618
2780.92/2789.31	c INPROCESSING
2780.92/2789.31	c GARBAGE COLLECT
2780.92/2789.31	c #Conflicts:     156000 | #Constraints:      14701
2780.92/2789.31	c #Conflicts:     157000 | #Constraints:      15701
2780.92/2789.31	c #Conflicts:     158000 | #Constraints:      16701
2780.92/2789.31	c GLOBAL bounds - >= 6118 @ 2644.77
2781.12/2789.51	c GLOBAL bounds - >= 6118 @ 2644.94
2781.12/2789.57	c GLOBAL bounds - >= 6118 @ 2644.97
2781.63/2790.07	c GLOBAL bounds - >= 6118 @ 2645.29
2781.73/2790.13	c GLOBAL bounds - >= 6118 @ 2645.33
2782.02/2790.45	c GLOBAL bounds - >= 6118 @ 2645.49
2782.12/2790.51	c GLOBAL bounds - >= 6118 @ 2645.52
2782.42/2790.83	c GLOBAL bounds - >= 6118 @ 2645.68
2782.42/2790.89	c GLOBAL bounds - >= 6118 @ 2645.71
2782.81/2791.21	c GLOBAL bounds - >= 6118 @ 2645.88
2782.81/2791.27	c GLOBAL bounds - >= 6118 @ 2645.92
2783.11/2791.59	c GLOBAL bounds - >= 6118 @ 2646.07
2783.21/2791.65	c GLOBAL bounds - >= 6118 @ 2646.1
2783.51/2791.97	c GLOBAL bounds - >= 6118 @ 2646.26
2783.63/2792.04	c GLOBAL bounds - >= 6118 @ 2646.3
2783.91/2792.35	c GLOBAL bounds - >= 6118 @ 2646.45
2784.01/2792.42	c GLOBAL bounds - >= 6118 @ 2646.49
2784.31/2792.73	c GLOBAL bounds - >= 6118 @ 2646.65
2784.41/2792.80	c GLOBAL bounds - >= 6118 @ 2646.68
2784.72/2793.12	c GLOBAL bounds - >= 6118 @ 2646.85
2784.72/2793.18	c GLOBAL bounds - >= 6118 @ 2646.89
2785.11/2793.50	c GLOBAL bounds - >= 6118 @ 2647.06
2785.51/2793.95	c GLOBAL bounds - >= 6118 @ 2647.33
2790.89/2799.30	c GLOBAL bounds - >= 6118 @ 2652.46
2798.77/2807.25	c #Conflicts:     159000 | #Constraints:      17732
2798.77/2807.25	c GLOBAL bounds - >= 6118 @ 2660.15
2811.94/2820.43	c #Conflicts:     160000 | #Constraints:      18732
2811.94/2820.43	c GLOBAL bounds - >= 6118 @ 2673.08
3021.85/3030.95	c #Conflicts:     161000 | #Constraints:      19732
3021.85/3030.95	c #Conflicts:     162000 | #Constraints:      20732
3021.85/3030.95	c #Conflicts:     163000 | #Constraints:      21732
3021.85/3030.95	c INPROCESSING
3021.85/3030.95	c GARBAGE COLLECT
3021.85/3030.95	c #Conflicts:     164000 | #Constraints:      12761
3021.85/3030.95	c #Conflicts:     165000 | #Constraints:      13761
3021.85/3030.95	c #Conflicts:     166000 | #Constraints:      14761
3021.85/3030.95	c #Conflicts:     167000 | #Constraints:      15761
3021.85/3030.95	c #Conflicts:     168000 | #Constraints:      16761
3021.85/3030.95	c #Conflicts:     169000 | #Constraints:      17761
3021.85/3030.95	c #Conflicts:     170000 | #Constraints:      18761
3021.85/3030.95	c #Conflicts:     171000 | #Constraints:      19761
3021.85/3030.95	c INPROCESSING
3021.85/3030.95	c GARBAGE COLLECT
3021.85/3030.95	c #Conflicts:     172000 | #Constraints:      13558
3021.85/3030.95	c GLOBAL bounds - >= 6132 @ 2881.17
3022.07/3031.19	c GLOBAL bounds - >= 6132 @ 2881.39
3022.15/3031.26	c GLOBAL bounds - >= 6132 @ 2881.44
3022.65/3031.72	c GLOBAL bounds - >= 6132 @ 2881.72
3022.65/3031.79	c GLOBAL bounds - >= 6132 @ 2881.77
3022.96/3032.06	c GLOBAL bounds - >= 6132 @ 2881.89
3023.07/3032.12	c GLOBAL bounds - >= 6132 @ 2881.93
3023.25/3032.39	c GLOBAL bounds - >= 6132 @ 2882.04
3023.35/3032.46	c GLOBAL bounds - >= 6132 @ 2882.07
3023.65/3032.77	c GLOBAL bounds - >= 6132 @ 2882.23
3023.75/3032.84	c GLOBAL bounds - >= 6132 @ 2882.26
3024.06/3033.16	c GLOBAL bounds - >= 6132 @ 2882.42
3024.15/3033.23	c GLOBAL bounds - >= 6132 @ 2882.46
3024.44/3033.54	c GLOBAL bounds - >= 6132 @ 2882.62
3024.55/3033.62	c GLOBAL bounds - >= 6132 @ 2882.67
3024.85/3033.93	c GLOBAL bounds - >= 6132 @ 2882.82
3024.85/3034.00	c GLOBAL bounds - >= 6132 @ 2882.87
3025.25/3034.32	c GLOBAL bounds - >= 6132 @ 2883.04
3026.96/3036.06	c GLOBAL bounds - >= 6132 @ 2884.72
3027.44/3036.51	c GLOBAL bounds - >= 6132 @ 2884.98
3029.13/3038.28	c GLOBAL bounds - >= 6132 @ 2886.7
3029.73/3038.87	c GLOBAL bounds - >= 6132 @ 2887.15
3031.12/3040.22	c GLOBAL bounds - >= 6132 @ 2888.3
3035.62/3044.71	c #Conflicts:     173000 | #Constraints:      14582
3035.62/3044.71	c GLOBAL bounds - >= 6132 @ 2892.58
3043.60/3052.74	c GLOBAL bounds - >= 6132 @ 2900.36
3090.36/3099.69	c #Conflicts:     174000 | #Constraints:      15582
3090.36/3099.69	c #Conflicts:     175000 | #Constraints:      16582
3090.36/3099.69	c #Conflicts:     176000 | #Constraints:      17582
3090.36/3099.69	c #Conflicts:     177000 | #Constraints:      18582
3090.36/3099.69	c GLOBAL bounds - >= 6132 @ 2946.81
3279.70/3289.56	terminate called after throwing an instance of 'std::bad_alloc'
3279.70/3289.56	  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: 63794 MiB (57079 MiB free)
  memory of node 1: 64507 MiB (61107 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=104638, runsolver pid=104635

[startup+0.100066 s]*
/proc/loadavg: 3.10 1.96 1.89 5/259 104640
/proc/meminfo: memFree=120977188/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=106620 memory=58504 CPUtime=0.07 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 7029 0 0 0 5 2 0 0 20 0 1 0 80308645 109178880 14626 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 26655 14626 1888 1147 0 14082 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 110812 KiB
Current children cumulated memory: 61448 KiB

[startup+0.209057 s]*
/proc/loadavg: 3.10 1.96 1.89 5/259 104640
/proc/meminfo: memFree=120977188/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=100948 memory=55912 CPUtime=0.18 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 7960 0 0 0 13 5 0 0 20 0 1 0 80308645 103370752 13978 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 25237 13978 1920 1147 0 12664 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 105140 KiB
Current children cumulated memory: 58856 KiB

[startup+0.309048 s]*
/proc/loadavg: 3.10 1.96 1.89 5/259 104640
/proc/meminfo: memFree=120975424/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=103864 memory=58600 CPUtime=0.26 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 8639 0 0 0 19 7 0 0 20 0 1 0 80308645 106356736 14650 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 7 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 25966 14650 1920 1147 0 13393 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 108056 KiB
Current children cumulated memory: 61544 KiB

[startup+0.700286 s]
/proc/loadavg: 3.10 1.96 1.89 5/259 104640
/proc/meminfo: memFree=120969468/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=115216 memory=69904 CPUtime=0.64 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 10992 0 0 0 48 16 0 0 20 0 1 0 80308645 117981184 17476 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 28804 17476 1920 1147 0 16231 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 119408 KiB
Current children cumulated memory: 72848 KiB

[startup+1.50039 s]
/proc/loadavg: 3.10 1.96 1.89 5/259 104640
/proc/meminfo: memFree=120950316/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=133584 memory=89880 CPUtime=1.44 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 15597 0 0 0 111 33 0 0 20 0 1 0 80308645 136790016 22470 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 33396 22470 1952 1147 0 20823 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 137776 KiB
Current children cumulated memory: 92824 KiB

[startup+3.1134 s]
/proc/loadavg: 3.10 1.96 1.89 5/259 104640
/proc/meminfo: memFree=120657120/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=529948 memory=350184 CPUtime=3.04 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 36063 0 0 0 246 58 0 0 20 0 1 0 80308645 542666752 87546 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 132487 87546 2240 1147 0 119914 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 534140 KiB
Current children cumulated memory: 353128 KiB

[startup+6.30041 s]
/proc/loadavg: 3.25 2.01 1.91 5/259 104640
/proc/meminfo: memFree=120216852/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=868352 memory=678932 CPUtime=6.23 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 61965 0 0 0 540 83 0 0 20 0 1 0 80308645 889192448 169733 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 217088 169733 2336 1147 0 204515 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 872544 KiB
Current children cumulated memory: 681876 KiB

[startup+12.7004 s]
/proc/loadavg: 3.31 2.05 1.92 5/259 104640
/proc/meminfo: memFree=120124292/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=875800 memory=686484 CPUtime=12.61 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 63941 0 0 0 1178 83 0 0 20 0 1 0 80308645 896819200 171621 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 218950 171621 2336 1147 0 206377 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 879992 KiB
Current children cumulated memory: 689428 KiB

[startup+25.5004 s]
/proc/loadavg: 3.54 2.16 1.96 5/259 104640
/proc/meminfo: memFree=119816104/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=887112 memory=695848 CPUtime=25.37 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 65613 0 0 0 2453 84 0 0 20 0 1 0 80308645 908402688 173962 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 221778 173962 2336 1147 0 209205 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 891304 KiB
Current children cumulated memory: 698792 KiB

[startup+51.1135 s]
/proc/loadavg: 3.70 2.31 2.01 5/262 104644
/proc/meminfo: memFree=118536100/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=1771812 memory=1510092 CPUtime=50.93 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 205995 0 0 0 3952 1141 0 0 20 0 1 0 80308645 1814335488 377523 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 442953 377523 2368 1147 0 430380 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 1776004 KiB
Current children cumulated memory: 1513036 KiB

[startup+102.3 s]
/proc/loadavg: 3.87 2.57 2.12 5/262 104647
/proc/meminfo: memFree=115513308/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=4150008 memory=3692792 CPUtime=101.97 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 593350 0 0 0 7250 2947 0 0 20 0 1 0 80308645 4249608192 923198 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 1037502 923198 2368 1147 0 1024929 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 4154200 KiB
Current children cumulated memory: 3695736 KiB

[startup+162.3 s]
/proc/loadavg: 4.27 2.91 2.27 5/261 104649
/proc/meminfo: memFree=113314616/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=6521596 memory=5132624 CPUtime=161.79 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 883842 0 0 0 11570 4609 0 0 20 0 1 0 80308645 6678114304 1283156 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 1630399 1283156 2368 1147 0 1617826 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 6525788 KiB
Current children cumulated memory: 5135568 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 3.17 2.40 5/261 104651
/proc/meminfo: memFree=110740732/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=7011440 memory=6469840 CPUtime=221.61 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 1098576 0 0 0 16207 5954 0 0 20 0 1 0 80308645 7179714560 1617460 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 1752860 1617460 2368 1147 0 1740287 0

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

/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=23073208 memory=20263948 CPUtime=2913.55 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 3631934 0 0 0 277377 13978 0 0 20 0 1 0 80308645 23626964992 5065987 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 5768302 5065987 2368 1147 0 5755729 0
Current children cumulated CPU time: 2913.55 s
Current children cumulated vsize: 23077400 KiB
Current children cumulated memory: 20266892 KiB

[startup+2982.3 s]
/proc/loadavg: 3.99 4.07 4.01 5/261 104854
/proc/meminfo: memFree=72730420/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=23079352 memory=20396360 CPUtime=2973.39 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 3654547 0 0 0 283309 14030 0 0 20 0 1 0 80308645 23633256448 5099090 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 5769838 5099090 2368 1147 0 5757265 0
Current children cumulated CPU time: 2973.39 s
Current children cumulated vsize: 23083544 KiB
Current children cumulated memory: 20399304 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.09 4.02 5/260 104857
/proc/meminfo: memFree=71315344/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=23094000 memory=21185600 CPUtime=3033.22 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 3768100 0 0 0 289030 14292 0 0 20 0 1 0 80308645 23648256000 5296400 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 5773500 5296400 2368 1147 0 5760927 0
Current children cumulated CPU time: 3033.22 s
Current children cumulated vsize: 23098192 KiB
Current children cumulated memory: 21188544 KiB

[startup+3102.3 s]
/proc/loadavg: 4.09 4.09 4.02 5/260 104859
/proc/meminfo: memFree=70806772/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=23094000 memory=21185728 CPUtime=3093.05 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 3770303 0 0 0 294936 14369 0 0 20 0 1 0 80308645 23648256000 5296432 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 5773500 5296432 2368 1147 0 5760927 0
Current children cumulated CPU time: 3093.05 s
Current children cumulated vsize: 23098192 KiB
Current children cumulated memory: 21188672 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.02 5/259 104860
/proc/meminfo: memFree=69175852/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=23115096 memory=22253328 CPUtime=3152.87 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 3919313 0 0 0 300861 14426 0 0 20 0 1 0 80308645 23669858304 5563332 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 5778774 5563332 2368 1147 0 5766201 0
Current children cumulated CPU time: 3152.87 s
Current children cumulated vsize: 23119288 KiB
Current children cumulated memory: 22256272 KiB

[startup+3222.3 s]
/proc/loadavg: 4.18 4.10 4.03 5/258 104862
/proc/meminfo: memFree=68518352/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=23115352 memory=22253584 CPUtime=3212.71 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 3920544 0 0 0 306785 14486 0 0 20 0 1 0 80308645 23670120448 5563396 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 5778838 5563396 2368 1147 0 5766265 0
Current children cumulated CPU time: 3212.71 s
Current children cumulated vsize: 23119544 KiB
Current children cumulated memory: 22256528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.22 4.13 4.04 5/257 104864
/proc/meminfo: memFree=67835748/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=23115864 memory=22378592 CPUtime=3272.53 cores=5,7
/proc/104640/stat : 104640 (roundingsat) R 104638 104638 104094 0 -1 4194304 3942229 0 0 0 312709 14544 0 0 20 0 1 0 80308645 23670644736 5594648 18446744073709551615 4227072 8923433 140722633310208 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 0
/proc/104640/statm: 5778966 5594648 2368 1147 0 5766393 0
Current children cumulated CPU time: 3272.53 s
Current children cumulated vsize: 23120056 KiB
Current children cumulated memory: 22381536 KiB



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+3289.6 s]
/proc/loadavg: 4.20 4.12 4.04 5/257 104865
/proc/meminfo: memFree=64136372/131382116 swapFree=33010684/33010684
[pid=104638] ppid=104635 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/104638/stat : 104638 (run-opt-log.sh) S 104635 104638 104094 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 80308645 4292608 736 18446744073709551615 93868603797504 93868604692037 140728642066496 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93868604931088 93868604978832 93868626001920 140728642070815 140728642071010 140728642071010 140728642076614 0
/proc/104638/statm: 1048 736 672 219 0 110 0
[pid=104640] ppid=104638 vsize=31795196 memory=26901112 CPUtime=3279.77 cores=5,7
/proc/104640/stat : 104640 (roundingsat) S 104638 104638 104094 0 -1 4195840 5047917 0 0 0 313272 14705 0 0 20 0 1 0 80308645 32558280704 6725278 18446744073709551615 4227072 8923433 140722633310208 140722633305936 140533406677612 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 6
/proc/104640/statm: 7948799 6725278 2496 1147 0 7936226 0
Current children cumulated CPU time: 3279.77 s
Current children cumulated vsize: 31799388 KiB
Current children cumulated memory: 26904056 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001077 s, system=0.003171 s

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

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

# cumulated CPU time of all completed processes:  user=3132.72 s, system=150.111 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+3290.4 s]
/proc/loadavg: 4.27 4.14 4.04 6/258 104868
/proc/meminfo: memFree=62956644/131382116 swapFree=33010684/33010684
[pid=104640] ppid=104635 vsize=31795196 memory=26901112 CPUtime=3280.41 cores=5,7
/proc/104640/stat : 104640 (roundingsat) S 104635 104638 104094 0 -1 4195840 5047917 0 0 0 313272 14769 0 0 20 0 1 0 80308645 32558280704 6725278 18446744073709551615 4227072 8923433 140722633310208 140722633305936 140533406677612 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 6
/proc/104640/statm: 7948799 6725278 2496 1147 0 7936226 0
Current cumulated CPU time of completed processes: 0.004248 s
Current children cumulated CPU time: 3280.41 s
Current children cumulated vsize: 31795196 KiB
Current children cumulated memory: 26901112 KiB

[startup+3291.2 s]
/proc/loadavg: 4.27 4.14 4.04 5/258 104868
/proc/meminfo: memFree=62048472/131382116 swapFree=33010684/33010684
[pid=104640] ppid=104635 vsize=31795196 memory=26901112 CPUtime=3281 cores=5,7
/proc/104640/stat : 104640 (roundingsat) S 104635 104638 104094 0 -1 4195840 5047917 0 0 0 313272 14828 0 0 20 0 1 0 80308645 32558280704 6725278 18446744073709551615 4227072 8923433 140722633310208 140722633305936 140533406677612 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 6
/proc/104640/statm: 7948799 6725278 2496 1147 0 7936226 0
Current cumulated CPU time of completed processes: 0.004248 s
Current children cumulated CPU time: 3281 s
Current children cumulated vsize: 31795196 KiB
Current children cumulated memory: 26901112 KiB

[startup+3291.6 s]
/proc/loadavg: 4.27 4.14 4.04 5/258 104868
/proc/meminfo: memFree=62048472/131382116 swapFree=33010684/33010684
[pid=104640] ppid=104635 vsize=31795196 memory=26901112 CPUtime=3281 cores=5,7
/proc/104640/stat : 104640 (roundingsat) S 104635 104638 104094 0 -1 4195840 5047917 0 0 0 313272 14828 0 0 20 0 1 0 80308645 32558280704 6725278 18446744073709551615 4227072 8923433 140722633310208 140722633305936 140533406677612 0 0 0 8404994 1 0 0 17 5 0 0 0 0 0 9823104 9832592 42393600 140722633316688 140722633316902 140722633316902 140722633322474 6
/proc/104640/statm: 7948799 6725278 2496 1147 0 7936226 0
Current cumulated CPU time of completed processes: 0.004248 s
Current children cumulated CPU time: 3281 s
Current children cumulated vsize: 31795196 KiB
Current children cumulated memory: 26901112 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3293.43
CPU time (s): 3282.84
CPU user time (s): 3132.72
CPU system time (s): 150.111
CPU usage (%): 99.6782
Max. virtual memory (cumulated for all children) (KiB): 31799388
Max. memory (cumulated for all children) (KiB): 26904056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3132.72
system time used= 150.111
maximum resident set size= 26901112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5048126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21673136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1108
involuntary context switches= 21989


# summary of solver processes directly reported to runsolver:
#   pid: 104638,104640
#   total CPU time (s): 3282.84
#   total CPU user time (s): 3132.72
#   total CPU system time (s): 150.111

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4292 second user time and 34.6052 second system time

The end

Begin job on nodeC011 at 2025-07-04 18:24:49
IDJOB=4522735
IDBENCH=179278
IDSOLVER=3351
FILE ID=nodeC011/4522735-1751646289
RUNJOBID= nodeC011-1751646221-104527
SLURM_JOB_ID= 9672316
Free space on /tmp= 430360 MiB

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

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

MD5SUM BENCH= 80bbccedb85ca0271e993b8d74e189a8
RANDOM SEED=1802732156

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        121026016 kB
MemAvailable:   127263784 kB
Buffers:            3276 kB
Cached:          7008724 kB
SwapCached:            0 kB
Active:          3161476 kB
Inactive:        6566780 kB
Active(anon):    2732188 kB
Inactive(anon):     2104 kB
Active(file):     429288 kB
Inactive(file):  6564676 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             25304 kB
Writeback:           304 kB
AnonPages:       2719424 kB
Mapped:           118484 kB
Shmem:             17960 kB
KReclaimable:     166476 kB
Slab:             254928 kB
SReclaimable:     166476 kB
SUnreclaim:        88452 kB
KernelStack:        4160 kB
PageTables:         9012 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:    3563752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    923648 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:      191304 kB
DirectMap2M:     8099840 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 428272 MiB
End job on nodeC011 at 2025-07-04 19:19:43