0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
1.27/1.34	c #variables 126385 #constraints 290547
1.27/1.34	c objective is ce32 
1.47/1.56	c initial watched  CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
1.47/1.56	c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
1.47/1.56	c GLOBAL bounds - >= -35 @ 1.12896
1.57/1.70	c GLOBAL bounds - >= -35 @ 1.1863
1.77/1.82	c GLOBAL bounds - >= -35 @ 1.25073
1.87/1.93	c GLOBAL bounds - >= -35 @ 1.31731
1.98/2.05	c GLOBAL bounds - >= -35 @ 1.38687
2.07/2.16	c GLOBAL bounds - >= -35 @ 1.44263
2.17/2.28	c GLOBAL bounds - >= -35 @ 1.51122
2.37/2.40	c GLOBAL bounds - >= -35 @ 1.59402
2.47/2.51	c GLOBAL bounds - >= -35 @ 1.65886
2.57/2.64	c GLOBAL bounds - >= -35 @ 1.73705
2.67/2.76	c GLOBAL bounds - >= -35 @ 1.80016
2.77/2.87	c GLOBAL bounds - >= -35 @ 1.86967
2.87/2.99	c GLOBAL bounds - >= -35 @ 1.93716
3.07/3.11	c GLOBAL bounds - >= -35 @ 2.00868
3.17/3.28	c GLOBAL bounds - >= -35 @ 2.13149
3.37/3.46	c GLOBAL bounds - >= -35 @ 2.26578
3.46/3.58	c GLOBAL bounds - >= -35 @ 2.33116
3.66/3.70	c GLOBAL bounds - >= -35 @ 2.4053
3.76/3.86	c GLOBAL bounds - >= -35 @ 2.51007
3.97/4.00	c GLOBAL bounds - >= -35 @ 2.60234
4.07/4.14	c GLOBAL bounds - >= -35 @ 2.68743
4.17/4.29	c GLOBAL bounds - >= -35 @ 2.78453
4.36/4.45	c GLOBAL bounds - >= -35 @ 2.89565
4.66/4.74	c GLOBAL bounds - >= -35 @ 3.10949
5.07/5.11	c GLOBAL bounds - >= -35 @ 3.40768
5.17/5.23	c GLOBAL bounds - >= 93885 @ 3.52392
7.16/7.26	c GLOBAL bounds - >= 93885 @ 5.48505
7.16/7.29	c GLOBAL bounds - >= 93885 @ 5.50241
7.35/7.41	c GLOBAL bounds - >= 93885 @ 5.56355
7.35/7.45	c GLOBAL bounds - >= 93885 @ 5.58919
7.46/7.57	c GLOBAL bounds - >= 93885 @ 5.63905
7.55/7.61	c GLOBAL bounds - >= 93885 @ 5.66725
7.66/7.73	c GLOBAL bounds - >= 93885 @ 5.7198
7.66/7.76	c GLOBAL bounds - >= 93885 @ 5.74712
7.75/7.89	c GLOBAL bounds - >= 93885 @ 5.80789
7.75/7.89	c GLOBAL bounds - >= 93885 @ 5.81047
7.96/8.01	c GLOBAL bounds - >= 93885 @ 5.86663
7.96/8.02	c GLOBAL bounds - >= 93885 @ 5.87012
8.06/8.14	c GLOBAL bounds - >= 93885 @ 5.92064
8.06/8.18	c GLOBAL bounds - >= 93885 @ 5.9456
8.26/8.30	c GLOBAL bounds - >= 93885 @ 6.00294
8.26/8.32	c GLOBAL bounds - >= 93885 @ 6.0125
8.36/8.46	c GLOBAL bounds - >= 93885 @ 6.09551
8.36/8.49	c GLOBAL bounds - >= 93885 @ 6.11993
8.55/8.62	c GLOBAL bounds - >= 93885 @ 6.17485
8.55/8.66	c GLOBAL bounds - >= 93885 @ 6.19918
8.66/8.76	c GLOBAL bounds - >= 93885 @ 6.25411
8.85/8.90	c GLOBAL bounds - >= 93885 @ 6.34318
8.96/9.07	c GLOBAL bounds - >= 93885 @ 6.45718
9.15/9.23	c GLOBAL bounds - >= 93885 @ 6.55649
9.35/9.40	c GLOBAL bounds - >= 93885 @ 6.67043
9.45/9.59	c GLOBAL bounds - >= 93885 @ 6.80725
9.65/9.77	c GLOBAL bounds - >= 93885 @ 6.932
9.95/10.02	c GLOBAL bounds - >= 93885 @ 7.12449
10.15/10.22	c GLOBAL bounds - >= 93885 @ 7.2545
10.35/10.44	c GLOBAL bounds - >= 93885 @ 7.41071
10.55/10.65	c GLOBAL bounds - >= 93885 @ 7.56127
10.85/10.91	c GLOBAL bounds - >= 93885 @ 7.73787
11.05/11.14	c GLOBAL bounds - >= 93885 @ 7.89047
11.15/11.25	c GLOBAL bounds - >= 115517 @ 7.99747
11.25/11.30	c GLOBAL bounds - >= 115517 @ 8.03492
11.35/11.44	c GLOBAL bounds - >= 115517 @ 8.09221
11.35/11.47	c GLOBAL bounds - >= 115517 @ 8.11178
11.55/11.61	c GLOBAL bounds - >= 115517 @ 8.19245
11.55/11.65	c GLOBAL bounds - >= 115517 @ 8.21687
11.65/11.77	c GLOBAL bounds - >= 115517 @ 8.28541
11.75/11.81	c GLOBAL bounds - >= 115517 @ 8.31432
11.85/11.94	c GLOBAL bounds - >= 115517 @ 8.37916
11.85/11.98	c GLOBAL bounds - >= 115517 @ 8.40819
12.05/12.11	c GLOBAL bounds - >= 115517 @ 8.47988
12.05/12.15	c GLOBAL bounds - >= 115517 @ 8.50959
12.15/12.29	c GLOBAL bounds - >= 115517 @ 8.57667
12.25/12.33	c GLOBAL bounds - >= 115517 @ 8.6012
12.34/12.46	c GLOBAL bounds - >= 115517 @ 8.67736
12.44/12.50	c GLOBAL bounds - >= 115517 @ 8.70886
12.55/12.64	c GLOBAL bounds - >= 115517 @ 8.77467
12.55/12.68	c GLOBAL bounds - >= 115517 @ 8.80285
12.74/12.81	c GLOBAL bounds - >= 115517 @ 8.85895
12.74/12.85	c GLOBAL bounds - >= 115517 @ 8.88807
12.85/12.99	c GLOBAL bounds - >= 115517 @ 8.95268
13.15/13.20	c GLOBAL bounds - >= 115517 @ 9.09034
13.15/13.22	c GLOBAL bounds - >= 121855 @ 9.11681
13.15/13.29	c GLOBAL bounds - >= 121855 @ 9.16734
13.24/13.33	c GLOBAL bounds - >= 121855 @ 9.19668
13.34/13.48	c GLOBAL bounds - >= 121855 @ 9.27151
13.44/13.52	c GLOBAL bounds - >= 121855 @ 9.29862
13.54/13.65	c GLOBAL bounds - >= 121855 @ 9.37355
13.54/13.69	c GLOBAL bounds - >= 121855 @ 9.40205
13.74/13.82	c GLOBAL bounds - >= 121855 @ 9.46135
13.74/13.86	c GLOBAL bounds - >= 121855 @ 9.49128
13.84/13.98	c GLOBAL bounds - >= 121855 @ 9.55319
13.95/14.02	c GLOBAL bounds - >= 121855 @ 9.58368
14.05/14.14	c GLOBAL bounds - >= 121855 @ 9.64489
14.05/14.19	c GLOBAL bounds - >= 121855 @ 9.67487
14.25/14.31	c GLOBAL bounds - >= 121855 @ 9.73147
14.25/14.35	c GLOBAL bounds - >= 121855 @ 9.76144
14.34/14.48	c GLOBAL bounds - >= 121855 @ 9.83226
14.44/14.52	c GLOBAL bounds - >= 121855 @ 9.86206
14.54/14.64	c GLOBAL bounds - >= 121855 @ 9.92812
14.54/14.69	c GLOBAL bounds - >= 121855 @ 9.95937
14.74/14.82	c GLOBAL bounds - >= 121855 @ 10.0229
14.74/14.86	c GLOBAL bounds - >= 121855 @ 10.0532
14.84/14.98	c GLOBAL bounds - >= 121855 @ 10.1219
15.04/15.17	c GLOBAL bounds - >= 121855 @ 10.2513
15.24/15.40	c GLOBAL bounds - >= 121855 @ 10.4119
15.54/15.63	c GLOBAL bounds - >= 121855 @ 10.5748
15.84/15.90	c GLOBAL bounds - >= 121855 @ 10.7729
16.04/16.16	c GLOBAL bounds - >= 121855 @ 10.9608
16.24/16.33	c GLOBAL bounds - >= 121855 @ 11.0498
16.44/16.50	c GLOBAL bounds - >= 121855 @ 11.1519
16.83/16.93	c GLOBAL bounds - >= 121855 @ 11.5051
17.04/17.19	c GLOBAL bounds - >= 121855 @ 11.6904
17.34/17.46	c GLOBAL bounds - >= 128589 @ 11.9464
17.34/17.49	c GLOBAL bounds - >= 128589 @ 11.9768
17.54/17.60	c GLOBAL bounds - >= 128589 @ 12.0336
17.54/17.61	c GLOBAL bounds - >= 128589 @ 12.0431
17.64/17.73	c GLOBAL bounds - >= 128589 @ 12.0989
17.64/17.77	c GLOBAL bounds - >= 128589 @ 12.1308
17.74/17.88	c GLOBAL bounds - >= 128589 @ 12.196
17.74/17.89	c GLOBAL bounds - >= 128589 @ 12.204
17.93/18.01	c GLOBAL bounds - >= 128589 @ 12.255
17.93/18.02	c GLOBAL bounds - >= 128589 @ 12.2616
18.04/18.14	c GLOBAL bounds - >= 128589 @ 12.3127
18.04/18.18	c GLOBAL bounds - >= 128589 @ 12.3487
18.23/18.30	c GLOBAL bounds - >= 128589 @ 12.4059
18.23/18.30	c GLOBAL bounds - >= 128589 @ 12.4077
18.33/18.40	c GLOBAL bounds - >= 128589 @ 12.4532
18.33/18.41	c GLOBAL bounds - >= 128589 @ 12.459
18.43/18.51	c GLOBAL bounds - >= 128589 @ 12.4923
18.43/18.52	c GLOBAL bounds - >= 128589 @ 12.4973
18.53/18.63	c GLOBAL bounds - >= 128589 @ 12.5591
18.53/18.64	c GLOBAL bounds - >= 128589 @ 12.5674
18.63/18.76	c GLOBAL bounds - >= 128589 @ 12.6206
18.73/18.88	c GLOBAL bounds - >= 128589 @ 12.6951
18.94/19.01	c GLOBAL bounds - >= 128589 @ 12.7576
19.03/19.13	c GLOBAL bounds - >= 128589 @ 12.8262
19.23/19.32	c GLOBAL bounds - >= 128589 @ 12.9577
19.33/19.48	c GLOBAL bounds - >= 128589 @ 13.0489
19.53/19.64	c GLOBAL bounds - >= 128589 @ 13.1436
20.03/20.10	c GLOBAL bounds - >= 128589 @ 13.523
20.22/20.30	c GLOBAL bounds - >= 128589 @ 13.637
20.43/20.59	c GLOBAL bounds - >= 128589 @ 13.8506
20.73/20.88	c GLOBAL bounds - >= 128589 @ 14.0601
20.73/20.88	c GLOBAL bounds - >= 128589 @ 14.0685
20.83/20.95	c GLOBAL bounds - >= 128589 @ 14.1156
20.93/21.10	c GLOBAL bounds - >= 128589 @ 14.2002
21.03/21.12	c GLOBAL bounds - >= 128589 @ 14.215
21.12/21.26	c GLOBAL bounds - >= 128589 @ 14.2941
21.22/21.31	c GLOBAL bounds - >= 128589 @ 14.3271
21.32/21.43	c GLOBAL bounds - >= 128589 @ 14.3843
21.32/21.47	c GLOBAL bounds - >= 128589 @ 14.4137
21.52/21.60	c GLOBAL bounds - >= 128589 @ 14.4811
21.52/21.62	c GLOBAL bounds - >= 128589 @ 14.4988
21.62/21.73	c GLOBAL bounds - >= 128589 @ 14.5549
21.62/21.74	c GLOBAL bounds - >= 128589 @ 14.5611
21.72/21.86	c GLOBAL bounds - >= 128589 @ 14.6207
21.72/21.89	c GLOBAL bounds - >= 128589 @ 14.6438
21.92/22.00	c GLOBAL bounds - >= 128589 @ 14.7003
21.92/22.04	c GLOBAL bounds - >= 128589 @ 14.7261
22.02/22.15	c GLOBAL bounds - >= 128589 @ 14.7833
22.02/22.18	c GLOBAL bounds - >= 128589 @ 14.8078
22.12/22.29	c GLOBAL bounds - >= 128589 @ 14.8641
22.22/22.33	c GLOBAL bounds - >= 128589 @ 14.8851
22.32/22.44	c GLOBAL bounds - >= 128589 @ 14.9395
22.52/22.65	c GLOBAL bounds - >= 128589 @ 15.0876
22.72/22.88	c GLOBAL bounds - >= 128589 @ 15.2551
22.92/23.02	c GLOBAL bounds - >= 128589 @ 15.3408
23.03/23.16	c GLOBAL bounds - >= 128589 @ 15.4288
23.42/23.57	c GLOBAL bounds - >= 128589 @ 15.7894
23.62/23.75	c GLOBAL bounds - >= 128589 @ 15.9137
23.81/23.94	c GLOBAL bounds - >= 128589 @ 16.057
24.03/24.15	c GLOBAL bounds - >= 128589 @ 16.2045
24.22/24.37	c GLOBAL bounds - >= 128589 @ 16.3761
24.52/24.65	c GLOBAL bounds - >= 128589 @ 16.6075
24.81/24.95	c GLOBAL bounds - >= 128589 @ 16.8486
25.12/25.25	c GLOBAL bounds - >= 128589 @ 17.0852
25.52/25.61	c GLOBAL bounds - >= 128589 @ 17.3725
25.71/25.86	c GLOBAL bounds - >= 128589 @ 17.5639
26.02/26.16	c GLOBAL bounds - >= 128589 @ 17.7953
26.51/26.61	c GLOBAL bounds - >= 128589 @ 18.1698
26.61/26.75	c GLOBAL bounds - >= 184463 @ 18.3076
26.71/26.82	c GLOBAL bounds - >= 184463 @ 18.3726
26.71/26.85	c GLOBAL bounds - >= 184463 @ 18.3922
26.71/26.88	c GLOBAL bounds - >= 184463 @ 18.4086
26.80/26.92	c GLOBAL bounds - >= 184463 @ 18.4364
26.91/27.07	c GLOBAL bounds - >= 184463 @ 18.5204
27.02/27.11	c GLOBAL bounds - >= 184463 @ 18.5461
27.10/27.22	c GLOBAL bounds - >= 184463 @ 18.5961
27.10/27.26	c GLOBAL bounds - >= 184463 @ 18.6289
27.20/27.38	c GLOBAL bounds - >= 184463 @ 18.688
27.30/27.41	c GLOBAL bounds - >= 184463 @ 18.7073
27.41/27.52	c GLOBAL bounds - >= 184463 @ 18.7645
27.41/27.57	c GLOBAL bounds - >= 184463 @ 18.7973
27.51/27.68	c GLOBAL bounds - >= 184463 @ 18.8541
27.61/27.72	c GLOBAL bounds - >= 184463 @ 18.8858
27.71/27.84	c GLOBAL bounds - >= 184463 @ 18.9443
27.71/27.85	c GLOBAL bounds - >= 184463 @ 18.95
27.81/27.95	c GLOBAL bounds - >= 184463 @ 18.9856
27.81/27.96	c GLOBAL bounds - >= 184463 @ 18.9903
27.92/28.07	c GLOBAL bounds - >= 184463 @ 19.0418
27.92/28.09	c GLOBAL bounds - >= 184463 @ 19.0583
28.01/28.19	c GLOBAL bounds - >= 184463 @ 19.1006
28.10/28.21	c GLOBAL bounds - >= 184463 @ 19.1123
28.20/28.33	c GLOBAL bounds - >= 184463 @ 19.1704
28.31/28.48	c GLOBAL bounds - >= 184463 @ 19.2723
28.50/28.60	c GLOBAL bounds - >= 184463 @ 19.3383
28.61/28.79	c GLOBAL bounds - >= 184463 @ 19.4743
28.91/29.01	c GLOBAL bounds - >= 184463 @ 19.6254
29.00/29.13	c GLOBAL bounds - >= 184463 @ 19.7015
29.21/29.35	c GLOBAL bounds - >= 184463 @ 19.8568
29.30/29.49	c GLOBAL bounds - >= 184463 @ 19.9525
29.80/30.00	c GLOBAL bounds - >= 184463 @ 20.4063
30.20/30.31	c GLOBAL bounds - >= 184463 @ 20.6416
30.60/30.73	c GLOBAL bounds - >= 184463 @ 20.9987
30.90/31.09	c GLOBAL bounds - >= 184463 @ 21.2879
31.01/31.15	c GLOBAL bounds - >= 208995 @ 21.3422
31.10/31.24	c GLOBAL bounds - >= 208995 @ 21.4174
31.10/31.26	c GLOBAL bounds - >= 208995 @ 21.4339
31.20/31.39	c GLOBAL bounds - >= 208995 @ 21.5083
31.30/31.43	c GLOBAL bounds - >= 208995 @ 21.536
31.40/31.55	c GLOBAL bounds - >= 208995 @ 21.5977
31.40/31.59	c GLOBAL bounds - >= 208995 @ 21.6287
31.59/31.70	c GLOBAL bounds - >= 208995 @ 21.6808
31.59/31.75	c GLOBAL bounds - >= 208995 @ 21.7106
31.69/31.86	c GLOBAL bounds - >= 208995 @ 21.7731
31.80/31.90	c GLOBAL bounds - >= 208995 @ 21.8039
31.90/32.01	c GLOBAL bounds - >= 208995 @ 21.8574
31.90/32.06	c GLOBAL bounds - >= 208995 @ 21.8866
32.00/32.17	c GLOBAL bounds - >= 208995 @ 21.9401
32.09/32.21	c GLOBAL bounds - >= 208995 @ 21.9725
32.20/32.33	c GLOBAL bounds - >= 208995 @ 22.0314
32.20/32.37	c GLOBAL bounds - >= 208995 @ 22.0625
32.30/32.48	c GLOBAL bounds - >= 208995 @ 22.1107
32.40/32.51	c GLOBAL bounds - >= 208995 @ 22.1306
32.49/32.62	c GLOBAL bounds - >= 208995 @ 22.1972
32.49/32.64	c GLOBAL bounds - >= 208995 @ 22.2027
32.60/32.75	c GLOBAL bounds - >= 208995 @ 22.2611
32.69/32.87	c GLOBAL bounds - >= 208995 @ 22.3322
32.90/33.03	c GLOBAL bounds - >= 208995 @ 22.4339
32.99/33.16	c GLOBAL bounds - >= 208995 @ 22.5026
33.29/33.49	c GLOBAL bounds - >= 208995 @ 22.7809
33.59/33.73	c GLOBAL bounds - >= 208995 @ 22.9634
33.79/33.96	c GLOBAL bounds - >= 208995 @ 23.1404
34.09/34.21	c GLOBAL bounds - >= 208995 @ 23.3328
34.28/34.45	c GLOBAL bounds - >= 208995 @ 23.5169
34.59/34.74	c GLOBAL bounds - >= 208995 @ 23.734
34.99/35.14	c GLOBAL bounds - >= 231227 @ 24.1191
35.09/35.25	c GLOBAL bounds - >= 231227 @ 24.2141
35.09/35.29	c GLOBAL bounds - >= 231227 @ 24.2422
35.29/35.43	c GLOBAL bounds - >= 231227 @ 24.3117
35.29/35.47	c GLOBAL bounds - >= 231227 @ 24.338
35.48/35.60	c GLOBAL bounds - >= 231227 @ 24.398
35.48/35.65	c GLOBAL bounds - >= 231227 @ 24.4271
35.59/35.78	c GLOBAL bounds - >= 231227 @ 24.4882
35.69/35.82	c GLOBAL bounds - >= 231227 @ 24.5207
35.79/35.96	c GLOBAL bounds - >= 231227 @ 24.5851
35.79/36.00	c GLOBAL bounds - >= 231227 @ 24.6145
35.99/36.12	c GLOBAL bounds - >= 231227 @ 24.6597
35.99/36.17	c GLOBAL bounds - >= 231227 @ 24.6875
36.08/36.29	c GLOBAL bounds - >= 231227 @ 24.7552
36.18/36.34	c GLOBAL bounds - >= 231227 @ 24.783
36.28/36.46	c GLOBAL bounds - >= 231227 @ 24.8364
36.38/36.50	c GLOBAL bounds - >= 231227 @ 24.869
36.48/36.62	c GLOBAL bounds - >= 231227 @ 24.9251
36.48/36.67	c GLOBAL bounds - >= 231227 @ 24.9561
36.58/36.79	c GLOBAL bounds - >= 231227 @ 25.0168
36.68/36.83	c GLOBAL bounds - >= 231227 @ 25.0451
36.78/36.96	c GLOBAL bounds - >= 231227 @ 25.1088
36.98/37.12	c GLOBAL bounds - >= 231227 @ 25.2043
37.28/37.48	c GLOBAL bounds - >= 231227 @ 25.5025
37.48/37.66	c GLOBAL bounds - >= 231227 @ 25.6122
37.89/38.07	c GLOBAL bounds - >= 231227 @ 25.9483
38.18/38.34	c GLOBAL bounds - >= 231227 @ 26.1637
38.48/38.60	c GLOBAL bounds - >= 244653 @ 26.4198
38.57/38.70	c GLOBAL bounds - >= 244653 @ 26.5003
38.57/38.72	c GLOBAL bounds - >= 244653 @ 26.516
38.57/38.76	c GLOBAL bounds - >= 244653 @ 26.5422
38.78/38.90	c GLOBAL bounds - >= 244653 @ 26.6095
38.78/38.94	c GLOBAL bounds - >= 244653 @ 26.6385
38.89/39.07	c GLOBAL bounds - >= 244653 @ 26.7007
38.99/39.11	c GLOBAL bounds - >= 244653 @ 26.7269
39.08/39.23	c GLOBAL bounds - >= 244653 @ 26.7907
39.08/39.27	c GLOBAL bounds - >= 244653 @ 26.8224
39.27/39.40	c GLOBAL bounds - >= 244653 @ 26.8848
39.27/39.44	c GLOBAL bounds - >= 244653 @ 26.9131
39.37/39.56	c GLOBAL bounds - >= 244653 @ 26.9767
39.47/39.60	c GLOBAL bounds - >= 244653 @ 27.0086
39.58/39.73	c GLOBAL bounds - >= 244653 @ 27.0779
39.58/39.77	c GLOBAL bounds - >= 244653 @ 27.1106
39.68/39.89	c GLOBAL bounds - >= 244653 @ 27.1693
39.78/39.94	c GLOBAL bounds - >= 244653 @ 27.2003
39.88/40.06	c GLOBAL bounds - >= 244653 @ 27.2549
39.98/40.11	c GLOBAL bounds - >= 244653 @ 27.2855
40.07/40.24	c GLOBAL bounds - >= 244653 @ 27.3516
40.07/40.28	c GLOBAL bounds - >= 244653 @ 27.3834
40.28/40.41	c GLOBAL bounds - >= 244653 @ 27.4453
40.48/40.63	c GLOBAL bounds - >= 244653 @ 27.6061
40.67/40.86	c GLOBAL bounds - >= 244653 @ 27.7775
40.98/41.11	c GLOBAL bounds - >= 244653 @ 27.954
41.27/41.44	c GLOBAL bounds - >= 244653 @ 28.2263
41.37/41.57	c GLOBAL bounds - >= 244653 @ 28.2891
41.57/41.77	c GLOBAL bounds - >= 244653 @ 28.4238
41.77/41.91	c GLOBAL bounds - >= 244653 @ 28.4976
41.77/41.92	c GLOBAL bounds - >= 244653 @ 28.5111
41.77/41.99	c GLOBAL bounds - >= 244653 @ 28.5657
41.97/42.13	c GLOBAL bounds - >= 244653 @ 28.6457
41.97/42.17	c GLOBAL bounds - >= 244653 @ 28.6632
42.17/42.30	c GLOBAL bounds - >= 244653 @ 28.7279
42.17/42.34	c GLOBAL bounds - >= 244653 @ 28.757
42.27/42.46	c GLOBAL bounds - >= 244653 @ 28.8097
42.36/42.51	c GLOBAL bounds - >= 244653 @ 28.8356
42.47/42.63	c GLOBAL bounds - >= 244653 @ 28.8948
42.47/42.67	c GLOBAL bounds - >= 244653 @ 28.9212
42.57/42.79	c GLOBAL bounds - >= 244653 @ 28.9803
42.67/42.83	c GLOBAL bounds - >= 244653 @ 29.0157
42.77/42.96	c GLOBAL bounds - >= 244653 @ 29.085
42.87/43.00	c GLOBAL bounds - >= 244653 @ 29.1137
42.97/43.11	c GLOBAL bounds - >= 244653 @ 29.1708
42.97/43.16	c GLOBAL bounds - >= 244653 @ 29.2016
43.07/43.28	c GLOBAL bounds - >= 244653 @ 29.2625
43.17/43.32	c GLOBAL bounds - >= 244653 @ 29.2927
43.27/43.45	c GLOBAL bounds - >= 244653 @ 29.3628
43.27/43.49	c GLOBAL bounds - >= 244653 @ 29.3901
43.46/43.60	c GLOBAL bounds - >= 244653 @ 29.4511
43.57/43.72	c GLOBAL bounds - >= 244653 @ 29.5287
43.67/43.85	c GLOBAL bounds - >= 244653 @ 29.6027
43.87/44.01	c GLOBAL bounds - >= 244653 @ 29.7126
43.97/44.19	c GLOBAL bounds - >= 244653 @ 29.8408
44.17/44.36	c GLOBAL bounds - >= 244653 @ 29.9537
44.37/44.50	c GLOBAL bounds - >= 244653 @ 30.0326
44.46/44.68	c GLOBAL bounds - >= 244653 @ 30.1533
44.76/44.91	c GLOBAL bounds - >= 244653 @ 30.3067
44.97/45.10	c GLOBAL bounds - >= 244653 @ 30.4425
45.26/45.44	c GLOBAL bounds - >= 244653 @ 30.7287
45.56/45.72	c GLOBAL bounds - >= 244653 @ 30.9338
45.76/45.99	c GLOBAL bounds - >= 244653 @ 31.1246
45.87/46.01	c GLOBAL bounds - >= 244653 @ 31.1374
45.87/46.06	c GLOBAL bounds - >= 244653 @ 31.1818
45.87/46.09	c GLOBAL bounds - >= 244653 @ 31.1963
46.06/46.21	c GLOBAL bounds - >= 244653 @ 31.2589
46.06/46.25	c GLOBAL bounds - >= 244653 @ 31.2883
46.16/46.38	c GLOBAL bounds - >= 244653 @ 31.345
46.26/46.42	c GLOBAL bounds - >= 244653 @ 31.3764
46.36/46.53	c GLOBAL bounds - >= 244653 @ 31.4258
46.36/46.57	c GLOBAL bounds - >= 244653 @ 31.4565
46.45/46.69	c GLOBAL bounds - >= 244653 @ 31.5212
46.56/46.73	c GLOBAL bounds - >= 244653 @ 31.5501
46.66/46.85	c GLOBAL bounds - >= 244653 @ 31.6114
46.66/46.89	c GLOBAL bounds - >= 244653 @ 31.6428
46.87/47.00	c GLOBAL bounds - >= 244653 @ 31.6888
46.87/47.04	c GLOBAL bounds - >= 244653 @ 31.7149
46.97/47.16	c GLOBAL bounds - >= 244653 @ 31.7679
47.06/47.20	c GLOBAL bounds - >= 244653 @ 31.7967
47.15/47.31	c GLOBAL bounds - >= 244653 @ 31.8528
47.15/47.35	c GLOBAL bounds - >= 244653 @ 31.8805
47.25/47.47	c GLOBAL bounds - >= 244653 @ 31.9303
47.36/47.51	c GLOBAL bounds - >= 244653 @ 31.9612
47.45/47.62	c GLOBAL bounds - >= 244653 @ 32.0134
47.55/47.75	c GLOBAL bounds - >= 244653 @ 32.093
47.66/47.87	c GLOBAL bounds - >= 244653 @ 32.1645
47.86/48.08	c GLOBAL bounds - >= 244653 @ 32.3085
48.05/48.27	c GLOBAL bounds - >= 244653 @ 32.4342
48.35/48.59	c GLOBAL bounds - >= 244653 @ 32.6959
48.65/48.83	c GLOBAL bounds - >= 244653 @ 32.868
49.05/49.22	c GLOBAL bounds - >= 244653 @ 33.1953
49.25/49.47	c GLOBAL bounds - >= 244653 @ 33.3747
49.55/49.78	c GLOBAL bounds - >= 271603 @ 33.6846
49.75/49.92	c GLOBAL bounds - >= 271603 @ 33.8107
49.75/49.95	c GLOBAL bounds - >= 271603 @ 33.8306
49.86/50.10	c GLOBAL bounds - >= 271603 @ 33.9161
49.96/50.14	c GLOBAL bounds - >= 271603 @ 33.9438
50.05/50.27	c GLOBAL bounds - >= 271603 @ 34.0149
50.15/50.32	c GLOBAL bounds - >= 271603 @ 34.0416
50.24/50.45	c GLOBAL bounds - >= 271603 @ 34.1215
50.24/50.49	c GLOBAL bounds - >= 271603 @ 34.1499
50.45/50.62	c GLOBAL bounds - >= 271603 @ 34.2123
50.45/50.66	c GLOBAL bounds - >= 271603 @ 34.2454
50.55/50.77	c GLOBAL bounds - >= 271603 @ 34.2945
50.65/50.81	c GLOBAL bounds - >= 271603 @ 34.3239
50.75/50.93	c GLOBAL bounds - >= 271603 @ 34.376
50.75/50.97	c GLOBAL bounds - >= 271603 @ 34.4049
50.85/51.09	c GLOBAL bounds - >= 271603 @ 34.4753
50.95/51.13	c GLOBAL bounds - >= 271603 @ 34.5054
51.04/51.25	c GLOBAL bounds - >= 271603 @ 34.5695
51.15/51.30	c GLOBAL bounds - >= 271603 @ 34.6006
51.25/51.42	c GLOBAL bounds - >= 271603 @ 34.6713
51.25/51.47	c GLOBAL bounds - >= 271603 @ 34.7024
51.35/51.58	c GLOBAL bounds - >= 271603 @ 34.7637
51.75/51.98	c GLOBAL bounds - >= 271603 @ 35.1021
52.04/52.25	c GLOBAL bounds - >= 271603 @ 35.2976
52.25/52.41	c GLOBAL bounds - >= 271603 @ 35.3878
52.34/52.59	c GLOBAL bounds - >= 271603 @ 35.498
52.54/52.75	c GLOBAL bounds - >= 271603 @ 35.5951
52.94/53.19	c GLOBAL bounds - >= 315283 @ 36.0393
53.24/53.40	c GLOBAL bounds - >= 315283 @ 36.2158
53.34/53.53	c GLOBAL bounds - >= 315283 @ 36.2809
53.34/53.57	c GLOBAL bounds - >= 315283 @ 36.3108
53.54/53.70	c GLOBAL bounds - >= 315283 @ 36.3806
53.54/53.74	c GLOBAL bounds - >= 315283 @ 36.4087
53.64/53.86	c GLOBAL bounds - >= 315283 @ 36.4714
53.74/53.90	c GLOBAL bounds - >= 315283 @ 36.4998
53.85/54.02	c GLOBAL bounds - >= 315283 @ 36.5575
53.85/54.07	c GLOBAL bounds - >= 315283 @ 36.5906
53.94/54.19	c GLOBAL bounds - >= 315283 @ 36.651
54.04/54.23	c GLOBAL bounds - >= 315283 @ 36.6863
54.14/54.35	c GLOBAL bounds - >= 315283 @ 36.7436
54.14/54.39	c GLOBAL bounds - >= 315283 @ 36.7758
54.34/54.50	c GLOBAL bounds - >= 315283 @ 36.8364
54.34/54.55	c GLOBAL bounds - >= 315283 @ 36.8625
54.44/54.66	c GLOBAL bounds - >= 315283 @ 36.9172
54.53/54.71	c GLOBAL bounds - >= 315283 @ 36.9452
54.64/54.82	c GLOBAL bounds - >= 315283 @ 37.0118
54.64/54.86	c GLOBAL bounds - >= 315283 @ 37.0431
54.73/54.98	c GLOBAL bounds - >= 315283 @ 37.1004
54.94/55.17	c GLOBAL bounds - >= 315283 @ 37.2229
55.13/55.30	c GLOBAL bounds - >= 315283 @ 37.3075
55.24/55.44	c GLOBAL bounds - >= 315283 @ 37.3858
55.74/55.97	c GLOBAL bounds - >= 315283 @ 37.8647
55.94/56.11	c GLOBAL bounds - >= 315283 @ 37.9345
56.03/56.24	c GLOBAL bounds - >= 315283 @ 38.0043
56.53/56.72	c GLOBAL bounds - >= 322987 @ 38.4782
56.63/56.82	c GLOBAL bounds - >= 322987 @ 38.5613
56.63/56.86	c GLOBAL bounds - >= 322987 @ 38.5918
56.73/56.91	c GLOBAL bounds - >= 322987 @ 38.6257
56.73/56.95	c GLOBAL bounds - >= 322987 @ 38.6529
56.73/56.99	c GLOBAL bounds - >= 322987 @ 38.6829
56.84/57.03	c GLOBAL bounds - >= 322987 @ 38.7121
56.94/57.17	c GLOBAL bounds - >= 322987 @ 38.7912
57.03/57.21	c GLOBAL bounds - >= 322987 @ 38.8219
57.14/57.33	c GLOBAL bounds - >= 322987 @ 38.8844
57.14/57.37	c GLOBAL bounds - >= 322987 @ 38.9143
57.33/57.50	c GLOBAL bounds - >= 322987 @ 38.9776
57.33/57.54	c GLOBAL bounds - >= 322987 @ 39.0077
57.43/57.66	c GLOBAL bounds - >= 322987 @ 39.0754
57.53/57.70	c GLOBAL bounds - >= 322987 @ 39.1054
57.63/57.83	c GLOBAL bounds - >= 322987 @ 39.1761
57.63/57.87	c GLOBAL bounds - >= 322987 @ 39.2024
57.73/57.99	c GLOBAL bounds - >= 322987 @ 39.2698
57.83/58.03	c GLOBAL bounds - >= 322987 @ 39.3013
57.93/58.16	c GLOBAL bounds - >= 322987 @ 39.3636
58.03/58.20	c GLOBAL bounds - >= 322987 @ 39.3936
58.13/58.33	c GLOBAL bounds - >= 322987 @ 39.4608
58.13/58.38	c GLOBAL bounds - >= 322987 @ 39.4921
58.33/58.50	c GLOBAL bounds - >= 322987 @ 39.5511
58.33/58.54	c GLOBAL bounds - >= 322987 @ 39.5844
58.43/58.66	c GLOBAL bounds - >= 322987 @ 39.6359
58.52/58.79	c GLOBAL bounds - >= 322987 @ 39.713
58.73/58.93	c GLOBAL bounds - >= 322987 @ 39.8035
58.93/59.16	c GLOBAL bounds - >= 322987 @ 39.977
59.23/59.41	c GLOBAL bounds - >= 322987 @ 40.1656
59.33/59.54	c GLOBAL bounds - >= 322987 @ 40.2432
59.62/59.80	c GLOBAL bounds - >= 322987 @ 40.4474
59.83/60.02	c GLOBAL bounds - >= 322987 @ 40.6042
60.22/60.41	c GLOBAL bounds - >= 322987 @ 40.9273
60.32/60.56	c GLOBAL bounds - >= 322987 @ 41.0235
60.62/60.85	c GLOBAL bounds - >= 322987 @ 41.2584
60.82/61.01	c GLOBAL bounds - >= 322987 @ 41.3602
61.02/61.22	c GLOBAL bounds - >= 322987 @ 41.5028
61.12/61.38	c GLOBAL bounds - >= 322987 @ 41.6019
61.32/61.60	c GLOBAL bounds - >= 322987 @ 41.7602
61.83/62.06	c GLOBAL bounds - >= 327039 @ 42.2156
61.93/62.17	c GLOBAL bounds - >= 327039 @ 42.3172
62.02/62.21	c GLOBAL bounds - >= 327039 @ 42.3479
62.02/62.25	c GLOBAL bounds - >= 327039 @ 42.3804
62.02/62.29	c GLOBAL bounds - >= 327039 @ 42.4116
62.12/62.33	c GLOBAL bounds - >= 327039 @ 42.441
62.12/62.35	c GLOBAL bounds - >= 327039 @ 42.4482
62.22/62.48	c GLOBAL bounds - >= 327039 @ 42.5169
62.31/62.52	c GLOBAL bounds - >= 327039 @ 42.548
62.42/62.65	c GLOBAL bounds - >= 327039 @ 42.6129
62.42/62.69	c GLOBAL bounds - >= 327039 @ 42.64
62.61/62.81	c GLOBAL bounds - >= 327039 @ 42.695
62.61/62.85	c GLOBAL bounds - >= 327039 @ 42.7289
62.72/62.97	c GLOBAL bounds - >= 327039 @ 42.7859
62.82/63.02	c GLOBAL bounds - >= 327039 @ 42.8132
62.93/63.14	c GLOBAL bounds - >= 327039 @ 42.8819
62.93/63.18	c GLOBAL bounds - >= 327039 @ 42.9142
63.11/63.30	c GLOBAL bounds - >= 327039 @ 42.9731
63.11/63.35	c GLOBAL bounds - >= 327039 @ 43.0022
63.22/63.47	c GLOBAL bounds - >= 327039 @ 43.0655
63.31/63.51	c GLOBAL bounds - >= 327039 @ 43.0969
63.41/63.62	c GLOBAL bounds - >= 327039 @ 43.1574
63.41/63.67	c GLOBAL bounds - >= 327039 @ 43.185
63.52/63.78	c GLOBAL bounds - >= 327039 @ 43.2354
63.62/63.82	c GLOBAL bounds - >= 327039 @ 43.2695
63.72/63.94	c GLOBAL bounds - >= 327039 @ 43.3249
63.82/64.09	c GLOBAL bounds - >= 327039 @ 43.4313
64.01/64.22	c GLOBAL bounds - >= 327039 @ 43.5157
64.11/64.34	c GLOBAL bounds - >= 327039 @ 43.5878
64.31/64.57	c GLOBAL bounds - >= 327039 @ 43.7437
64.52/64.73	c GLOBAL bounds - >= 327039 @ 43.8551
64.62/64.88	c GLOBAL bounds - >= 327039 @ 43.9437
64.81/65.08	c GLOBAL bounds - >= 327039 @ 44.0829
65.01/65.23	c GLOBAL bounds - >= 327039 @ 44.1686
65.51/65.74	c GLOBAL bounds - >= 327039 @ 44.6224
65.61/65.90	c GLOBAL bounds - >= 327039 @ 44.7131
66.01/66.27	c GLOBAL bounds - >= 327039 @ 45.0293
66.30/66.55	c GLOBAL bounds - >= 327039 @ 45.2413
66.81/67.06	c GLOBAL bounds - >= 334815 @ 45.7444
66.91/67.14	c GLOBAL bounds - >= 334815 @ 45.8091
66.91/67.16	c GLOBAL bounds - >= 334815 @ 45.8274
67.00/67.28	c GLOBAL bounds - >= 334815 @ 45.8895
67.11/67.31	c GLOBAL bounds - >= 334815 @ 45.9104
67.21/67.43	c GLOBAL bounds - >= 334815 @ 45.9706
67.21/67.46	c GLOBAL bounds - >= 334815 @ 45.9875
67.30/67.57	c GLOBAL bounds - >= 334815 @ 46.0366
67.30/67.58	c GLOBAL bounds - >= 334815 @ 46.0433
67.40/67.68	c GLOBAL bounds - >= 334815 @ 46.0893
67.50/67.71	c GLOBAL bounds - >= 334815 @ 46.1042
67.60/67.81	c GLOBAL bounds - >= 334815 @ 46.1472
67.60/67.84	c GLOBAL bounds - >= 334815 @ 46.1668
67.70/67.94	c GLOBAL bounds - >= 334815 @ 46.2176
67.70/67.97	c GLOBAL bounds - >= 334815 @ 46.236
67.81/68.08	c GLOBAL bounds - >= 334815 @ 46.2931
67.91/68.11	c GLOBAL bounds - >= 334815 @ 46.3088
68.00/68.23	c GLOBAL bounds - >= 334815 @ 46.3654
68.00/68.26	c GLOBAL bounds - >= 334815 @ 46.3854
68.10/68.38	c GLOBAL bounds - >= 334815 @ 46.4534
68.20/68.41	c GLOBAL bounds - >= 334815 @ 46.4731
68.30/68.52	c GLOBAL bounds - >= 334815 @ 46.5282
68.40/68.68	c GLOBAL bounds - >= 334815 @ 46.6239
68.60/68.83	c #Conflicts:       1000 | #Constraints:    2752989
68.60/68.83	c GLOBAL bounds - >= 334815 @ 46.733
68.70/68.97	c GLOBAL bounds - >= 334815 @ 46.8134
68.80/69.09	c GLOBAL bounds - >= 334815 @ 46.8881
69.00/69.22	c GLOBAL bounds - >= 334815 @ 46.958
69.10/69.38	c GLOBAL bounds - >= 334815 @ 47.0638
69.30/69.55	c GLOBAL bounds - >= 334815 @ 47.1804
69.50/69.79	c GLOBAL bounds - >= 334815 @ 47.366
69.70/69.96	c GLOBAL bounds - >= 334815 @ 47.4796
70.00/70.23	c GLOBAL bounds - >= 334815 @ 47.6931
70.19/70.42	c GLOBAL bounds - >= 334815 @ 47.829
70.70/71.00	c GLOBAL bounds - >= 334815 @ 48.3433
71.10/71.35	c GLOBAL bounds - >= 334815 @ 48.6385
71.50/71.73	c GLOBAL bounds - >= 334815 @ 48.9572
71.50/71.76	c GLOBAL bounds - >= 341153 @ 48.9797
71.59/71.83	c GLOBAL bounds - >= 341153 @ 49.0478
71.59/71.88	c GLOBAL bounds - >= 341153 @ 49.0781
71.70/71.92	c GLOBAL bounds - >= 341153 @ 49.108
71.70/71.96	c GLOBAL bounds - >= 341153 @ 49.1369
71.79/72.00	c GLOBAL bounds - >= 341153 @ 49.1697
71.79/72.05	c GLOBAL bounds - >= 341153 @ 49.2025
71.79/72.09	c GLOBAL bounds - >= 341153 @ 49.2336
71.90/72.13	c GLOBAL bounds - >= 341153 @ 49.2612
71.90/72.18	c GLOBAL bounds - >= 341153 @ 49.2945
71.99/72.22	c GLOBAL bounds - >= 341153 @ 49.3236
71.99/72.25	c GLOBAL bounds - >= 341153 @ 49.3459
71.99/72.29	c GLOBAL bounds - >= 341153 @ 49.3761
72.19/72.44	c GLOBAL bounds - >= 341153 @ 49.4671
72.19/72.48	c GLOBAL bounds - >= 341153 @ 49.4983
72.39/72.62	c GLOBAL bounds - >= 341153 @ 49.5788
72.39/72.66	c GLOBAL bounds - >= 341153 @ 49.6074
72.49/72.80	c GLOBAL bounds - >= 341153 @ 49.6847
72.59/72.84	c GLOBAL bounds - >= 341153 @ 49.7115
72.69/72.97	c GLOBAL bounds - >= 341153 @ 49.7832
72.79/73.01	c GLOBAL bounds - >= 341153 @ 49.813
72.90/73.13	c GLOBAL bounds - >= 341153 @ 49.877
72.90/73.18	c GLOBAL bounds - >= 341153 @ 49.9038
73.09/73.31	c GLOBAL bounds - >= 341153 @ 49.9787
73.09/73.35	c GLOBAL bounds - >= 341153 @ 50.013
73.19/73.48	c GLOBAL bounds - >= 341153 @ 50.0754
73.29/73.52	c GLOBAL bounds - >= 341153 @ 50.1015
73.39/73.65	c GLOBAL bounds - >= 341153 @ 50.1713
73.39/73.69	c GLOBAL bounds - >= 341153 @ 50.2002
73.59/73.81	c GLOBAL bounds - >= 341153 @ 50.256
73.59/73.85	c GLOBAL bounds - >= 341153 @ 50.2838
73.69/73.98	c GLOBAL bounds - >= 341153 @ 50.3528
73.89/74.12	c GLOBAL bounds - >= 341153 @ 50.4395
74.39/74.61	c GLOBAL bounds - >= 341153 @ 50.8644
74.79/75.04	c GLOBAL bounds - >= 341153 @ 51.2279
74.89/75.17	c GLOBAL bounds - >= 341153 @ 51.3032
75.08/75.32	c GLOBAL bounds - >= 341153 @ 51.3876
75.39/75.63	c GLOBAL bounds - >= 341153 @ 51.6428
75.58/75.83	c GLOBAL bounds - >= 341153 @ 51.779
75.79/76.02	c GLOBAL bounds - >= 341153 @ 51.9014
76.08/76.35	c GLOBAL bounds - >= 341153 @ 52.1671
76.98/77.21	c GLOBAL bounds - >= 373803 @ 53.0169
77.08/77.37	c GLOBAL bounds - >= 373803 @ 53.1578
77.18/77.41	c GLOBAL bounds - >= 373803 @ 53.1867
77.18/77.45	c GLOBAL bounds - >= 373803 @ 53.2177
77.18/77.49	c GLOBAL bounds - >= 373803 @ 53.2479
77.38/77.64	c GLOBAL bounds - >= 373803 @ 53.3314
77.38/77.68	c GLOBAL bounds - >= 373803 @ 53.3579
77.58/77.82	c GLOBAL bounds - >= 373803 @ 53.4415
77.58/77.87	c GLOBAL bounds - >= 373803 @ 53.47
77.68/77.99	c GLOBAL bounds - >= 373803 @ 53.5389
77.78/78.04	c GLOBAL bounds - >= 373803 @ 53.5669
77.88/78.16	c GLOBAL bounds - >= 373803 @ 53.6257
77.98/78.20	c GLOBAL bounds - >= 373803 @ 53.6564
78.08/78.33	c GLOBAL bounds - >= 373803 @ 53.7136
78.08/78.37	c GLOBAL bounds - >= 373803 @ 53.7458
78.17/78.49	c GLOBAL bounds - >= 373803 @ 53.8109
78.28/78.54	c GLOBAL bounds - >= 373803 @ 53.8428
78.37/78.66	c GLOBAL bounds - >= 373803 @ 53.9146
78.47/78.70	c GLOBAL bounds - >= 373803 @ 53.951
78.58/78.83	c GLOBAL bounds - >= 373803 @ 54.0171
78.58/78.87	c GLOBAL bounds - >= 373803 @ 54.0479
78.67/79.00	c GLOBAL bounds - >= 373803 @ 54.1208
78.78/79.04	c GLOBAL bounds - >= 373803 @ 54.1535
78.88/79.16	c GLOBAL bounds - >= 373803 @ 54.2231
79.07/79.31	c GLOBAL bounds - >= 373803 @ 54.3122
79.67/79.90	c GLOBAL bounds - >= 373803 @ 54.8374
79.78/80.07	c GLOBAL bounds - >= 373803 @ 54.9508
79.97/80.25	c GLOBAL bounds - >= 373803 @ 55.0772
80.37/80.62	c GLOBAL bounds - >= 373803 @ 55.3777
80.57/80.87	c GLOBAL bounds - >= 373803 @ 55.5684
81.27/81.53	c GLOBAL bounds - >= 373803 @ 56.1478
81.57/81.87	c GLOBAL bounds - >= 373803 @ 56.421
82.06/82.38	c GLOBAL bounds - >= 373803 @ 56.8587
82.36/82.68	c GLOBAL bounds - >= 373803 @ 57.1048
82.36/82.69	c GLOBAL bounds - >= 379333 @ 57.1176
82.47/82.79	c GLOBAL bounds - >= 379333 @ 57.1944
82.66/82.92	c GLOBAL bounds - >= 379333 @ 57.2696
82.66/82.97	c GLOBAL bounds - >= 379333 @ 57.2953
82.77/83.09	c GLOBAL bounds - >= 379333 @ 57.3653
82.87/83.14	c GLOBAL bounds - >= 379333 @ 57.392
82.97/83.26	c GLOBAL bounds - >= 379333 @ 57.4527
83.07/83.30	c GLOBAL bounds - >= 379333 @ 57.4833
83.16/83.42	c GLOBAL bounds - >= 379333 @ 57.5438
83.16/83.46	c GLOBAL bounds - >= 379333 @ 57.575
83.26/83.59	c GLOBAL bounds - >= 379333 @ 57.6426
83.37/83.63	c GLOBAL bounds - >= 379333 @ 57.6697
83.46/83.75	c GLOBAL bounds - >= 379333 @ 57.7314
83.56/83.80	c GLOBAL bounds - >= 379333 @ 57.7638
83.66/83.92	c GLOBAL bounds - >= 379333 @ 57.8161
83.66/83.96	c GLOBAL bounds - >= 379333 @ 57.8478
83.76/84.08	c GLOBAL bounds - >= 379333 @ 57.922
83.86/84.13	c GLOBAL bounds - >= 379333 @ 57.955
83.96/84.24	c GLOBAL bounds - >= 379333 @ 58.0079
83.96/84.28	c GLOBAL bounds - >= 379333 @ 58.0411
84.06/84.40	c GLOBAL bounds - >= 379333 @ 58.1005
84.26/84.53	c GLOBAL bounds - >= 379333 @ 58.1771
84.36/84.65	c GLOBAL bounds - >= 379333 @ 58.25
84.56/84.84	c GLOBAL bounds - >= 379333 @ 58.3902
84.66/85.00	c GLOBAL bounds - >= 379333 @ 58.4913
84.87/85.12	c GLOBAL bounds - >= 379333 @ 58.5662
84.96/85.25	c GLOBAL bounds - >= 379333 @ 58.639
85.16/85.45	c GLOBAL bounds - >= 379333 @ 58.7884
85.36/85.65	c GLOBAL bounds - >= 379333 @ 58.9382
85.66/85.92	c GLOBAL bounds - >= 379333 @ 59.1523
85.76/86.09	c GLOBAL bounds - >= 379333 @ 59.2661
86.05/86.35	c GLOBAL bounds - >= 379333 @ 59.4673
86.15/86.45	c GLOBAL bounds - >= 379333 @ 59.5176
86.36/86.66	c GLOBAL bounds - >= 379333 @ 59.6652
86.55/86.80	c GLOBAL bounds - >= 379333 @ 59.7514
86.76/87.03	c GLOBAL bounds - >= 379333 @ 59.9245
86.96/87.28	c GLOBAL bounds - >= 379333 @ 60.1137
87.35/87.64	c GLOBAL bounds - >= 379333 @ 60.4
87.65/87.98	c GLOBAL bounds - >= 379333 @ 60.6804
87.85/88.16	c GLOBAL bounds - >= 379333 @ 60.8054
88.05/88.38	c GLOBAL bounds - >= 379333 @ 60.9551
88.15/88.48	c GLOBAL bounds - >= 382731 @ 61.063
88.25/88.56	c GLOBAL bounds - >= 382731 @ 61.1277
88.45/88.70	c GLOBAL bounds - >= 382731 @ 61.2114
88.45/88.74	c GLOBAL bounds - >= 382731 @ 61.2377
88.55/88.88	c GLOBAL bounds - >= 382731 @ 61.3226
88.65/88.92	c GLOBAL bounds - >= 382731 @ 61.3555
88.76/89.05	c GLOBAL bounds - >= 382731 @ 61.4224
88.76/89.09	c GLOBAL bounds - >= 382731 @ 61.4524
88.95/89.21	c GLOBAL bounds - >= 382731 @ 61.5171
88.95/89.25	c GLOBAL bounds - >= 382731 @ 61.5472
89.04/89.37	c GLOBAL bounds - >= 382731 @ 61.6173
89.14/89.41	c GLOBAL bounds - >= 382731 @ 61.6404
89.24/89.53	c GLOBAL bounds - >= 382731 @ 61.7086
89.24/89.58	c GLOBAL bounds - >= 382731 @ 61.7365
89.44/89.70	c GLOBAL bounds - >= 382731 @ 61.8069
89.44/89.74	c GLOBAL bounds - >= 382731 @ 61.8362
89.54/89.87	c GLOBAL bounds - >= 382731 @ 61.9043
89.64/89.91	c GLOBAL bounds - >= 382731 @ 61.9375
89.76/90.03	c GLOBAL bounds - >= 382731 @ 62.0009
89.76/90.07	c GLOBAL bounds - >= 382731 @ 62.0311
89.85/90.19	c GLOBAL bounds - >= 382731 @ 62.0872
90.04/90.31	c GLOBAL bounds - >= 382731 @ 62.1582
90.15/90.48	c GLOBAL bounds - >= 382731 @ 62.2671
90.34/90.60	c GLOBAL bounds - >= 382731 @ 62.3497
90.44/90.75	c GLOBAL bounds - >= 382731 @ 62.4445
90.55/90.89	c GLOBAL bounds - >= 382731 @ 62.5381
90.75/91.01	c GLOBAL bounds - >= 382731 @ 62.5878
90.94/91.21	c GLOBAL bounds - >= 382731 @ 62.725
91.15/91.40	c GLOBAL bounds - >= 382731 @ 62.8651
91.24/91.50	c GLOBAL bounds - >= 382731 @ 62.915
91.34/91.65	c GLOBAL bounds - >= 382731 @ 63.0185
91.54/91.80	c GLOBAL bounds - >= 382731 @ 63.1019
91.64/91.99	c GLOBAL bounds - >= 382731 @ 63.2345
91.94/92.21	c GLOBAL bounds - >= 382731 @ 63.3991
92.34/92.66	c GLOBAL bounds - >= 382731 @ 63.7939
93.04/93.35	c GLOBAL bounds - >= 382731 @ 64.4112
93.24/93.54	c GLOBAL bounds - >= 382731 @ 64.551
93.44/93.76	c GLOBAL bounds - >= 382731 @ 64.7174
93.84/94.19	c GLOBAL bounds - >= 382731 @ 65.0855
94.23/94.53	c GLOBAL bounds - >= 382731 @ 65.3665
94.53/94.84	c GLOBAL bounds - >= 382731 @ 65.6148
94.84/95.10	c GLOBAL bounds - >= 382731 @ 65.8151
94.84/95.13	c GLOBAL bounds - >= 382731 @ 65.845
94.94/95.23	c GLOBAL bounds - >= 382731 @ 65.9189
94.94/95.27	c GLOBAL bounds - >= 382731 @ 65.9495
95.03/95.31	c GLOBAL bounds - >= 382731 @ 65.9792
95.14/95.45	c GLOBAL bounds - >= 382731 @ 66.0376
95.14/95.49	c GLOBAL bounds - >= 382731 @ 66.0707
95.33/95.63	c GLOBAL bounds - >= 382731 @ 66.1472
95.33/95.67	c GLOBAL bounds - >= 382731 @ 66.1806
95.53/95.80	c GLOBAL bounds - >= 382731 @ 66.2488
95.53/95.85	c GLOBAL bounds - >= 382731 @ 66.2833
95.63/95.97	c GLOBAL bounds - >= 382731 @ 66.3549
95.73/96.01	c GLOBAL bounds - >= 382731 @ 66.3871
95.83/96.13	c GLOBAL bounds - >= 382731 @ 66.4482
95.83/96.18	c GLOBAL bounds - >= 382731 @ 66.4801
95.93/96.30	c GLOBAL bounds - >= 382731 @ 66.5403
96.03/96.34	c GLOBAL bounds - >= 382731 @ 66.5719
96.13/96.46	c GLOBAL bounds - >= 382731 @ 66.63
96.23/96.50	c GLOBAL bounds - >= 382731 @ 66.661
96.33/96.62	c GLOBAL bounds - >= 382731 @ 66.7239
96.33/96.67	c GLOBAL bounds - >= 382731 @ 66.7576
96.42/96.79	c GLOBAL bounds - >= 382731 @ 66.8137
96.53/96.83	c GLOBAL bounds - >= 382731 @ 66.8482
96.63/96.95	c GLOBAL bounds - >= 382731 @ 66.9028
96.83/97.13	c GLOBAL bounds - >= 382731 @ 67.023
97.03/97.33	c GLOBAL bounds - >= 382731 @ 67.1643
97.52/97.86	c GLOBAL bounds - >= 382731 @ 67.6353
97.63/97.98	c GLOBAL bounds - >= 382731 @ 67.7101
97.83/98.14	c GLOBAL bounds - >= 382731 @ 67.8137
98.12/98.44	c GLOBAL bounds - >= 382731 @ 68.0532
98.32/98.69	c GLOBAL bounds - >= 382731 @ 68.2417
98.53/98.86	c GLOBAL bounds - >= 382731 @ 68.3728
98.73/99.01	c GLOBAL bounds - >= 382731 @ 68.4654
98.92/99.24	c GLOBAL bounds - >= 382731 @ 68.6398
99.22/99.52	c GLOBAL bounds - >= 382731 @ 68.859
99.42/99.78	c GLOBAL bounds - >= 382731 @ 69.0551
99.72/100.06	c GLOBAL bounds - >= 382731 @ 69.2708
100.02/100.39	c GLOBAL bounds - >= 382731 @ 69.5371
100.12/100.44	c GLOBAL bounds - >= 397271 @ 69.5915
100.22/100.58	c GLOBAL bounds - >= 397271 @ 69.7052
100.32/100.62	c GLOBAL bounds - >= 397271 @ 69.7347
100.32/100.65	c GLOBAL bounds - >= 397271 @ 69.7543
100.42/100.70	c GLOBAL bounds - >= 397271 @ 69.7856
100.42/100.74	c GLOBAL bounds - >= 397271 @ 69.8139
100.42/100.78	c GLOBAL bounds - >= 397271 @ 69.8434
100.62/100.93	c GLOBAL bounds - >= 397271 @ 69.924
100.62/100.97	c GLOBAL bounds - >= 397271 @ 69.9543
100.82/101.10	c GLOBAL bounds - >= 397271 @ 70.0217
100.82/101.15	c GLOBAL bounds - >= 397271 @ 70.0548
100.91/101.27	c GLOBAL bounds - >= 397271 @ 70.112
101.01/101.32	c GLOBAL bounds - >= 397271 @ 70.1444
101.12/101.44	c GLOBAL bounds - >= 397271 @ 70.2019
101.12/101.48	c GLOBAL bounds - >= 397271 @ 70.2308
101.32/101.60	c GLOBAL bounds - >= 397271 @ 70.288
101.32/101.65	c GLOBAL bounds - >= 397271 @ 70.3175
101.41/101.77	c GLOBAL bounds - >= 397271 @ 70.3768
101.51/101.81	c GLOBAL bounds - >= 397271 @ 70.4067
101.61/101.93	c GLOBAL bounds - >= 397271 @ 70.468
101.61/101.97	c GLOBAL bounds - >= 397271 @ 70.4979
101.72/102.09	c GLOBAL bounds - >= 397271 @ 70.561
101.82/102.13	c GLOBAL bounds - >= 397271 @ 70.5919
101.92/102.25	c GLOBAL bounds - >= 397271 @ 70.663
102.01/102.30	c GLOBAL bounds - >= 397271 @ 70.695
102.12/102.42	c GLOBAL bounds - >= 397271 @ 70.7568
102.21/102.55	c GLOBAL bounds - >= 397271 @ 70.8431
102.41/102.77	c GLOBAL bounds - >= 397271 @ 70.9951
102.82/103.12	c GLOBAL bounds - >= 397271 @ 71.2974
103.11/103.48	c GLOBAL bounds - >= 397271 @ 71.5827
103.61/103.96	c GLOBAL bounds - >= 397271 @ 72.0086
104.51/104.83	c GLOBAL bounds - >= 397271 @ 72.8226
105.11/105.43	c GLOBAL bounds - >= 397271 @ 73.3572
105.40/105.72	c GLOBAL bounds - >= 397271 @ 73.5818
105.60/105.94	c GLOBAL bounds - >= 397271 @ 73.7354
105.60/105.98	c GLOBAL bounds - >= 401213 @ 73.7772
105.71/106.05	c GLOBAL bounds - >= 401213 @ 73.8362
105.71/106.05	c GLOBAL bounds - >= 401213 @ 73.8371
105.90/106.21	c GLOBAL bounds - >= 401213 @ 73.9318
105.90/106.26	c GLOBAL bounds - >= 401213 @ 73.9635
106.01/106.39	c GLOBAL bounds - >= 401213 @ 74.0355
106.11/106.43	c GLOBAL bounds - >= 401213 @ 74.0643
106.20/106.56	c GLOBAL bounds - >= 401213 @ 74.1233
106.30/106.60	c GLOBAL bounds - >= 401213 @ 74.1592
106.40/106.74	c GLOBAL bounds - >= 401213 @ 74.229
106.40/106.78	c GLOBAL bounds - >= 401213 @ 74.2588
106.60/106.90	c GLOBAL bounds - >= 401213 @ 74.3176
106.60/106.95	c GLOBAL bounds - >= 401213 @ 74.3496
106.70/107.07	c GLOBAL bounds - >= 401213 @ 74.4205
106.81/107.11	c GLOBAL bounds - >= 401213 @ 74.4519
106.90/107.23	c GLOBAL bounds - >= 401213 @ 74.5177
106.90/107.28	c GLOBAL bounds - >= 401213 @ 74.5509
107.10/107.40	c GLOBAL bounds - >= 401213 @ 74.6113
107.10/107.44	c GLOBAL bounds - >= 401213 @ 74.6425
107.19/107.56	c GLOBAL bounds - >= 401213 @ 74.7009
107.30/107.61	c GLOBAL bounds - >= 401213 @ 74.7312
107.40/107.73	c GLOBAL bounds - >= 401213 @ 74.7945
107.60/107.91	c GLOBAL bounds - >= 401213 @ 74.9123
107.70/108.09	c GLOBAL bounds - >= 401213 @ 75.0398
107.90/108.23	c GLOBAL bounds - >= 401213 @ 75.1246
108.10/108.44	c GLOBAL bounds - >= 401213 @ 75.2731
108.39/108.71	c GLOBAL bounds - >= 401213 @ 75.4799
108.70/109.04	c GLOBAL bounds - >= 401213 @ 75.7598
108.99/109.35	c GLOBAL bounds - >= 401213 @ 76.017
109.20/109.54	c GLOBAL bounds - >= 420367 @ 76.2036
109.29/109.67	c GLOBAL bounds - >= 420367 @ 76.3233
109.50/109.81	c GLOBAL bounds - >= 420367 @ 76.4079
109.50/109.85	c GLOBAL bounds - >= 420367 @ 76.439
109.59/109.98	c GLOBAL bounds - >= 420367 @ 76.5067
109.70/110.02	c GLOBAL bounds - >= 420367 @ 76.5386
109.80/110.15	c GLOBAL bounds - >= 420367 @ 76.5993
109.80/110.19	c GLOBAL bounds - >= 420367 @ 76.6281
109.99/110.32	c GLOBAL bounds - >= 420367 @ 76.7062
109.99/110.36	c GLOBAL bounds - >= 420367 @ 76.7319
110.09/110.49	c GLOBAL bounds - >= 420367 @ 76.7959
110.19/110.53	c GLOBAL bounds - >= 420367 @ 76.8249
110.29/110.65	c GLOBAL bounds - >= 420367 @ 76.892
110.29/110.69	c GLOBAL bounds - >= 420367 @ 76.9218
110.49/110.81	c GLOBAL bounds - >= 420367 @ 76.9824
110.49/110.83	c GLOBAL bounds - >= 420367 @ 76.9904
110.59/110.93	c GLOBAL bounds - >= 420367 @ 77.0413
110.59/110.94	c GLOBAL bounds - >= 420367 @ 77.0462
110.69/111.06	c GLOBAL bounds - >= 420367 @ 77.111
110.69/111.07	c GLOBAL bounds - >= 420367 @ 77.1186
110.79/111.19	c GLOBAL bounds - >= 420367 @ 77.174
110.99/111.32	c GLOBAL bounds - >= 420367 @ 77.2487
111.09/111.45	c GLOBAL bounds - >= 420367 @ 77.3211
111.18/111.57	c GLOBAL bounds - >= 420367 @ 77.3923
111.39/111.76	c GLOBAL bounds - >= 420367 @ 77.527
111.48/111.88	c GLOBAL bounds - >= 420367 @ 77.5918
111.79/112.11	c GLOBAL bounds - >= 420367 @ 77.7604
111.89/112.24	c GLOBAL bounds - >= 420367 @ 77.8298
112.09/112.44	c GLOBAL bounds - >= 420367 @ 77.9797
112.19/112.59	c GLOBAL bounds - >= 420367 @ 78.0735
112.39/112.74	c GLOBAL bounds - >= 420367 @ 78.1652
112.58/112.90	c GLOBAL bounds - >= 420367 @ 78.2697
112.79/113.15	c GLOBAL bounds - >= 420367 @ 78.4614
113.08/113.44	c GLOBAL bounds - >= 420367 @ 78.6983
113.38/113.76	c GLOBAL bounds - >= 420367 @ 78.9539
113.58/113.96	c GLOBAL bounds - >= 420367 @ 79.1005
113.58/114.00	c GLOBAL bounds - >= 420367 @ 79.1346
113.79/114.11	c GLOBAL bounds - >= 420367 @ 79.2382
113.79/114.15	c GLOBAL bounds - >= 420367 @ 79.2681
113.79/114.19	c GLOBAL bounds - >= 420367 @ 79.2981
113.88/114.24	c GLOBAL bounds - >= 420367 @ 79.3304
113.88/114.28	c GLOBAL bounds - >= 420367 @ 79.3538
113.98/114.32	c GLOBAL bounds - >= 420367 @ 79.3842
113.98/114.36	c GLOBAL bounds - >= 420367 @ 79.4167
114.08/114.40	c GLOBAL bounds - >= 420367 @ 79.4458
114.08/114.44	c GLOBAL bounds - >= 420367 @ 79.4709
114.18/114.57	c GLOBAL bounds - >= 420367 @ 79.5489
114.28/114.62	c GLOBAL bounds - >= 420367 @ 79.5827
114.38/114.73	c GLOBAL bounds - >= 420367 @ 79.6429
114.38/114.78	c GLOBAL bounds - >= 420367 @ 79.6787
114.58/114.90	c GLOBAL bounds - >= 420367 @ 79.7423
114.58/114.95	c GLOBAL bounds - >= 420367 @ 79.775
114.69/115.07	c GLOBAL bounds - >= 420367 @ 79.8276
114.79/115.11	c GLOBAL bounds - >= 420367 @ 79.8621
114.88/115.23	c GLOBAL bounds - >= 420367 @ 79.9282
114.88/115.28	c GLOBAL bounds - >= 420367 @ 79.9628
114.97/115.39	c GLOBAL bounds - >= 420367 @ 80.0146
115.08/115.43	c GLOBAL bounds - >= 420367 @ 80.0488
115.18/115.55	c GLOBAL bounds - >= 420367 @ 80.1137
115.28/115.60	c GLOBAL bounds - >= 420367 @ 80.1414
115.38/115.72	c GLOBAL bounds - >= 420367 @ 80.2075
115.38/115.76	c GLOBAL bounds - >= 420367 @ 80.2437
115.47/115.87	c GLOBAL bounds - >= 420367 @ 80.2903
115.58/115.91	c GLOBAL bounds - >= 420367 @ 80.3247
115.68/116.03	c GLOBAL bounds - >= 420367 @ 80.389
115.78/116.17	c GLOBAL bounds - >= 420367 @ 80.4748
115.98/116.31	c GLOBAL bounds - >= 420367 @ 80.5606
116.18/116.52	c GLOBAL bounds - >= 420367 @ 80.7201
116.38/116.78	c GLOBAL bounds - >= 420367 @ 80.922
116.78/117.18	c GLOBAL bounds - >= 420367 @ 81.2626
117.07/117.40	c GLOBAL bounds - >= 420367 @ 81.4261
117.27/117.61	c GLOBAL bounds - >= 420367 @ 81.5854
117.78/118.12	c GLOBAL bounds - >= 420367 @ 82.0295
118.07/118.42	c GLOBAL bounds - >= 425515 @ 82.335
118.17/118.52	c GLOBAL bounds - >= 425515 @ 82.426
118.17/118.57	c GLOBAL bounds - >= 425515 @ 82.4537
118.27/118.61	c GLOBAL bounds - >= 425515 @ 82.4831
118.27/118.66	c GLOBAL bounds - >= 425515 @ 82.5148
118.37/118.70	c GLOBAL bounds - >= 425515 @ 82.543
118.47/118.82	c GLOBAL bounds - >= 425515 @ 82.6095
118.47/118.86	c GLOBAL bounds - >= 425515 @ 82.6392
118.57/118.99	c GLOBAL bounds - >= 425515 @ 82.7134
118.68/119.03	c GLOBAL bounds - >= 425515 @ 82.7403
118.77/119.16	c GLOBAL bounds - >= 425515 @ 82.8093
118.86/119.20	c GLOBAL bounds - >= 425515 @ 82.8403
118.97/119.33	c GLOBAL bounds - >= 425515 @ 82.91
118.97/119.37	c GLOBAL bounds - >= 425515 @ 82.9399
119.07/119.49	c GLOBAL bounds - >= 425515 @ 83.0038
119.16/119.54	c GLOBAL bounds - >= 425515 @ 83.0378
119.27/119.67	c GLOBAL bounds - >= 425515 @ 83.1114
119.36/119.71	c GLOBAL bounds - >= 425515 @ 83.1394
119.47/119.84	c GLOBAL bounds - >= 425515 @ 83.208
119.47/119.88	c GLOBAL bounds - >= 425515 @ 83.2362
119.67/120.00	c GLOBAL bounds - >= 425515 @ 83.293
119.67/120.04	c GLOBAL bounds - >= 425515 @ 83.3238
119.77/120.16	c GLOBAL bounds - >= 425515 @ 83.3738
119.87/120.20	c GLOBAL bounds - >= 425515 @ 83.4037
119.96/120.33	c GLOBAL bounds - >= 425515 @ 83.471
120.67/121.04	c GLOBAL bounds - >= 425515 @ 84.1234
120.86/121.26	c GLOBAL bounds - >= 425515 @ 84.2875
121.16/121.59	c GLOBAL bounds - >= 425515 @ 84.5565
121.46/121.81	c GLOBAL bounds - >= 425515 @ 84.7188
122.77/123.14	c GLOBAL bounds - >= 459584 @ 86.0397
123.06/123.41	c GLOBAL bounds - >= 459584 @ 86.2856
123.06/123.45	c GLOBAL bounds - >= 459584 @ 86.3171
123.06/123.50	c GLOBAL bounds - >= 459584 @ 86.3491
123.16/123.54	c GLOBAL bounds - >= 459584 @ 86.3763
123.16/123.58	c GLOBAL bounds - >= 459584 @ 86.4077
123.36/123.72	c GLOBAL bounds - >= 459584 @ 86.4872
123.36/123.76	c GLOBAL bounds - >= 459584 @ 86.5144
123.45/123.89	c GLOBAL bounds - >= 459584 @ 86.5846
123.56/123.93	c GLOBAL bounds - >= 459584 @ 86.6118
123.67/124.05	c GLOBAL bounds - >= 459584 @ 86.682
123.67/124.10	c GLOBAL bounds - >= 459584 @ 86.7193
123.85/124.22	c GLOBAL bounds - >= 459584 @ 86.7849
123.85/124.26	c GLOBAL bounds - >= 459584 @ 86.8207
123.96/124.38	c GLOBAL bounds - >= 459584 @ 86.8968
124.05/124.42	c GLOBAL bounds - >= 459584 @ 86.9262
124.15/124.54	c GLOBAL bounds - >= 459584 @ 86.9924
124.15/124.58	c GLOBAL bounds - >= 459584 @ 87.023
124.36/124.70	c GLOBAL bounds - >= 459584 @ 87.0843
124.36/124.74	c GLOBAL bounds - >= 459584 @ 87.1185
124.45/124.86	c GLOBAL bounds - >= 459584 @ 87.1761
124.56/124.90	c GLOBAL bounds - >= 459584 @ 87.2095
124.66/125.02	c GLOBAL bounds - >= 459584 @ 87.2692
124.66/125.07	c GLOBAL bounds - >= 459584 @ 87.2991
124.76/125.18	c GLOBAL bounds - >= 459584 @ 87.3595
124.85/125.29	c GLOBAL bounds - >= 459584 @ 87.4154
125.05/125.42	c GLOBAL bounds - >= 459584 @ 87.4937
125.15/125.56	c GLOBAL bounds - >= 459584 @ 87.584
125.36/125.72	c GLOBAL bounds - >= 459584 @ 87.6897
125.45/125.85	c GLOBAL bounds - >= 459584 @ 87.759
125.55/125.99	c GLOBAL bounds - >= 459584 @ 87.8464
125.85/126.21	c GLOBAL bounds - >= 459584 @ 88.0213
125.95/126.34	c GLOBAL bounds - >= 459584 @ 88.0936
126.15/126.58	c GLOBAL bounds - >= 459584 @ 88.2764
126.34/126.73	c GLOBAL bounds - >= 459584 @ 88.3673
126.45/126.87	c GLOBAL bounds - >= 459584 @ 88.446
126.85/127.26	c GLOBAL bounds - >= 459584 @ 88.7737
127.15/127.55	c GLOBAL bounds - >= 459584 @ 89.0081
127.85/128.20	c GLOBAL bounds - >= 459584 @ 89.5784
128.14/128.56	c GLOBAL bounds - >= 459584 @ 89.8786
129.04/129.44	c GLOBAL bounds - >= 459584 @ 90.6973
129.24/129.66	c GLOBAL bounds - >= 459584 @ 90.8538
134.42/134.86	c #Conflicts:       2000 | #Constraints:    3970766
134.42/134.86	c INPROCESSING
134.42/134.86	c GARBAGE COLLECT
134.42/134.86	c GLOBAL bounds - >= 459584 @ 95.9427
136.12/136.54	c GLOBAL bounds - >= 490904 @ 97.6085
136.32/136.79	c GLOBAL bounds - >= 490904 @ 97.8417
136.42/136.83	c GLOBAL bounds - >= 490904 @ 97.8682
136.42/136.87	c GLOBAL bounds - >= 490904 @ 97.9001
136.52/136.91	c GLOBAL bounds - >= 490904 @ 97.9278
136.52/136.96	c GLOBAL bounds - >= 490904 @ 97.9605
136.52/137.00	c GLOBAL bounds - >= 490904 @ 97.9914
136.62/137.04	c GLOBAL bounds - >= 490904 @ 98.0194
136.62/137.08	c GLOBAL bounds - >= 490904 @ 98.0491
136.73/137.12	c GLOBAL bounds - >= 490904 @ 98.0744
136.73/137.16	c GLOBAL bounds - >= 490904 @ 98.105
136.73/137.17	c GLOBAL bounds - >= 490904 @ 98.1102
136.91/137.31	c GLOBAL bounds - >= 490904 @ 98.1848
136.91/137.35	c GLOBAL bounds - >= 490904 @ 98.219
137.02/137.47	c GLOBAL bounds - >= 490904 @ 98.2762
137.11/137.52	c GLOBAL bounds - >= 490904 @ 98.3053
137.22/137.64	c GLOBAL bounds - >= 490904 @ 98.3685
137.22/137.68	c GLOBAL bounds - >= 490904 @ 98.3958
137.42/137.80	c GLOBAL bounds - >= 490904 @ 98.4503
137.42/137.84	c GLOBAL bounds - >= 490904 @ 98.4838
137.52/137.96	c GLOBAL bounds - >= 490904 @ 98.549
137.52/138.00	c GLOBAL bounds - >= 490904 @ 98.5769
137.72/138.13	c GLOBAL bounds - >= 490904 @ 98.6518
137.72/138.17	c GLOBAL bounds - >= 490904 @ 98.6865
137.81/138.29	c GLOBAL bounds - >= 490904 @ 98.7484
137.92/138.33	c GLOBAL bounds - >= 490904 @ 98.7793
138.02/138.45	c GLOBAL bounds - >= 490904 @ 98.8516
138.12/138.50	c GLOBAL bounds - >= 490904 @ 98.8817
138.22/138.62	c GLOBAL bounds - >= 490904 @ 98.9392
138.22/138.66	c GLOBAL bounds - >= 490904 @ 98.9693
138.31/138.78	c GLOBAL bounds - >= 490904 @ 99.0315
138.72/139.17	c GLOBAL bounds - >= 490904 @ 99.3682
139.02/139.41	c GLOBAL bounds - >= 490904 @ 99.5507
139.11/139.59	c GLOBAL bounds - >= 490904 @ 99.6624
139.71/140.19	c GLOBAL bounds - >= 490904 @ 100.204
139.91/140.35	c GLOBAL bounds - >= 490904 @ 100.31
140.91/141.34	c GLOBAL bounds - >= 490904 @ 101.237
140.91/141.37	c GLOBAL bounds - >= 490904 @ 101.263
141.01/141.45	c GLOBAL bounds - >= 490904 @ 101.335
141.01/141.49	c GLOBAL bounds - >= 490904 @ 101.367
141.11/141.53	c GLOBAL bounds - >= 490904 @ 101.395
141.11/141.57	c GLOBAL bounds - >= 490904 @ 101.424
141.21/141.62	c GLOBAL bounds - >= 490904 @ 101.45
141.31/141.74	c GLOBAL bounds - >= 490904 @ 101.518
141.31/141.79	c GLOBAL bounds - >= 490904 @ 101.551
141.51/141.91	c GLOBAL bounds - >= 490904 @ 101.619
141.51/141.95	c GLOBAL bounds - >= 490904 @ 101.65
141.61/142.07	c GLOBAL bounds - >= 490904 @ 101.717
141.71/142.11	c GLOBAL bounds - >= 490904 @ 101.743
141.80/142.22	c GLOBAL bounds - >= 490904 @ 101.788
141.80/142.26	c GLOBAL bounds - >= 490904 @ 101.817
141.91/142.36	c GLOBAL bounds - >= 490904 @ 101.874
142.00/142.41	c GLOBAL bounds - >= 490904 @ 101.902
142.11/142.51	c GLOBAL bounds - >= 490904 @ 101.958
142.11/142.55	c GLOBAL bounds - >= 490904 @ 101.99
142.20/142.67	c GLOBAL bounds - >= 490904 @ 102.052
142.31/142.72	c GLOBAL bounds - >= 490904 @ 102.08
142.40/142.84	c GLOBAL bounds - >= 490904 @ 102.143
142.40/142.88	c GLOBAL bounds - >= 490904 @ 102.175
142.61/143.00	c GLOBAL bounds - >= 490904 @ 102.243
142.61/143.04	c GLOBAL bounds - >= 490904 @ 102.273
142.71/143.17	c GLOBAL bounds - >= 490904 @ 102.331
143.21/143.63	c GLOBAL bounds - >= 490904 @ 102.733
144.00/144.45	c GLOBAL bounds - >= 490904 @ 103.49
144.80/145.28	c GLOBAL bounds - >= 490904 @ 104.266
145.29/145.79	c GLOBAL bounds - >= 490904 @ 104.728
146.99/147.48	c GLOBAL bounds - >= 490904 @ 106.354
147.19/147.64	c GLOBAL bounds - >= 490904 @ 106.464
148.29/148.73	c GLOBAL bounds - >= 490904 @ 107.484
148.59/149.03	c GLOBAL bounds - >= 490904 @ 107.727
148.79/149.27	c GLOBAL bounds - >= 490904 @ 107.915
149.78/150.28	c GLOBAL bounds - >= 491816 @ 108.914
149.88/150.34	c GLOBAL bounds - >= 491816 @ 108.97
149.88/150.38	c GLOBAL bounds - >= 491816 @ 109.001
149.99/150.43	c GLOBAL bounds - >= 491816 @ 109.032
149.99/150.47	c GLOBAL bounds - >= 491816 @ 109.062
150.08/150.51	c GLOBAL bounds - >= 491816 @ 109.09
150.08/150.55	c GLOBAL bounds - >= 491816 @ 109.119
150.08/150.60	c GLOBAL bounds - >= 491816 @ 109.151
150.18/150.64	c GLOBAL bounds - >= 491816 @ 109.182
150.28/150.77	c GLOBAL bounds - >= 491816 @ 109.257
150.39/150.81	c GLOBAL bounds - >= 491816 @ 109.292
150.48/150.93	c GLOBAL bounds - >= 491816 @ 109.355
150.48/150.97	c GLOBAL bounds - >= 491816 @ 109.387
150.59/151.09	c GLOBAL bounds - >= 491816 @ 109.453
150.68/151.14	c GLOBAL bounds - >= 491816 @ 109.484
150.78/151.26	c GLOBAL bounds - >= 491816 @ 109.537
150.88/151.30	c GLOBAL bounds - >= 491816 @ 109.571
150.98/151.42	c GLOBAL bounds - >= 491816 @ 109.634
150.98/151.47	c GLOBAL bounds - >= 491816 @ 109.668
151.08/151.59	c GLOBAL bounds - >= 491816 @ 109.722
151.18/151.63	c GLOBAL bounds - >= 491816 @ 109.751
151.28/151.75	c GLOBAL bounds - >= 491816 @ 109.817
151.28/151.79	c GLOBAL bounds - >= 491816 @ 109.851
151.48/151.91	c GLOBAL bounds - >= 491816 @ 109.916
151.48/151.95	c GLOBAL bounds - >= 491816 @ 109.951
151.58/152.07	c GLOBAL bounds - >= 491816 @ 110.014
151.68/152.11	c GLOBAL bounds - >= 491816 @ 110.043
151.78/152.23	c GLOBAL bounds - >= 491816 @ 110.107
151.98/152.41	c GLOBAL bounds - >= 491816 @ 110.238
152.18/152.64	c GLOBAL bounds - >= 491816 @ 110.411
152.28/152.78	c GLOBAL bounds - >= 491816 @ 110.509
152.68/153.17	c GLOBAL bounds - >= 491816 @ 110.849
152.87/153.33	c GLOBAL bounds - >= 491816 @ 110.947
152.98/153.47	c GLOBAL bounds - >= 491816 @ 111.037
153.17/153.63	c GLOBAL bounds - >= 491816 @ 111.137
154.07/154.54	c GLOBAL bounds - >= 491816 @ 111.997
155.17/155.68	c GLOBAL bounds - >= 491816 @ 113.08
155.57/156.07	c GLOBAL bounds - >= 491816 @ 113.413
156.57/157.06	c GLOBAL bounds - >= 491816 @ 114.356
156.77/157.28	c GLOBAL bounds - >= 491816 @ 114.519
159.16/159.62	c GLOBAL bounds - >= 491816 @ 116.799
159.25/159.79	c GLOBAL bounds - >= 491816 @ 116.914
160.66/161.14	c GLOBAL bounds - >= 546657 @ 118.259
161.15/161.68	c GLOBAL bounds - >= 546657 @ 118.757
161.25/161.72	c GLOBAL bounds - >= 546657 @ 118.783
161.25/161.77	c GLOBAL bounds - >= 546657 @ 118.816
161.35/161.81	c GLOBAL bounds - >= 546657 @ 118.85
161.35/161.85	c GLOBAL bounds - >= 546657 @ 118.88
161.35/161.89	c GLOBAL bounds - >= 546657 @ 118.906
161.45/161.94	c GLOBAL bounds - >= 546657 @ 118.938
161.45/161.98	c GLOBAL bounds - >= 546657 @ 118.966
161.66/162.11	c GLOBAL bounds - >= 546657 @ 119.036
161.66/162.15	c GLOBAL bounds - >= 546657 @ 119.066
161.75/162.28	c GLOBAL bounds - >= 546657 @ 119.131
161.85/162.32	c GLOBAL bounds - >= 546657 @ 119.165
161.95/162.44	c GLOBAL bounds - >= 546657 @ 119.224
161.95/162.49	c GLOBAL bounds - >= 546657 @ 119.257
162.15/162.61	c GLOBAL bounds - >= 546657 @ 119.321
162.15/162.65	c GLOBAL bounds - >= 546657 @ 119.352
162.25/162.77	c GLOBAL bounds - >= 546657 @ 119.41
162.35/162.81	c GLOBAL bounds - >= 546657 @ 119.437
162.45/162.93	c GLOBAL bounds - >= 546657 @ 119.494
162.45/162.98	c GLOBAL bounds - >= 546657 @ 119.527
162.56/163.10	c GLOBAL bounds - >= 546657 @ 119.6
162.65/163.14	c GLOBAL bounds - >= 546657 @ 119.631
162.75/163.26	c GLOBAL bounds - >= 546657 @ 119.696
162.85/163.30	c GLOBAL bounds - >= 546657 @ 119.727
162.94/163.42	c GLOBAL bounds - >= 546657 @ 119.788
162.94/163.46	c GLOBAL bounds - >= 546657 @ 119.821
163.05/163.58	c GLOBAL bounds - >= 546657 @ 119.873
163.25/163.72	c GLOBAL bounds - >= 546657 @ 119.959
163.44/163.94	c GLOBAL bounds - >= 546657 @ 120.126
163.55/164.10	c GLOBAL bounds - >= 546657 @ 120.227
163.74/164.26	c GLOBAL bounds - >= 546657 @ 120.34
163.95/164.43	c GLOBAL bounds - >= 546657 @ 120.453
164.05/164.58	c GLOBAL bounds - >= 546657 @ 120.55
164.24/164.72	c GLOBAL bounds - >= 546657 @ 120.632
164.34/164.88	c GLOBAL bounds - >= 546657 @ 120.743
164.55/165.03	c GLOBAL bounds - >= 546657 @ 120.834
164.74/165.22	c GLOBAL bounds - >= 546657 @ 120.964
164.84/165.36	c GLOBAL bounds - >= 546657 @ 121.057
165.34/165.83	c GLOBAL bounds - >= 546657 @ 121.458
165.65/166.14	c GLOBAL bounds - >= 546657 @ 121.705
166.24/166.76	c GLOBAL bounds - >= 546657 @ 122.259
166.54/167.08	c GLOBAL bounds - >= 546657 @ 122.5
166.74/167.22	c GLOBAL bounds - >= 546657 @ 122.591
166.83/167.37	c GLOBAL bounds - >= 546657 @ 122.684
167.33/167.81	c GLOBAL bounds - >= 546657 @ 123.073
167.73/168.26	c GLOBAL bounds - >= 546657 @ 123.46
167.94/168.43	c GLOBAL bounds - >= 546657 @ 123.564
169.33/169.87	c GLOBAL bounds - >= 546657 @ 124.944
170.23/170.77	c GLOBAL bounds - >= 548231 @ 125.841
170.33/170.86	c GLOBAL bounds - >= 548231 @ 125.916
170.43/170.90	c GLOBAL bounds - >= 548231 @ 125.946
170.43/170.91	c GLOBAL bounds - >= 548231 @ 125.95
170.53/171.05	c GLOBAL bounds - >= 548231 @ 126.035
170.53/171.10	c GLOBAL bounds - >= 548231 @ 126.066
170.72/171.21	c GLOBAL bounds - >= 548231 @ 126.131
170.72/171.25	c GLOBAL bounds - >= 548231 @ 126.156
170.82/171.37	c GLOBAL bounds - >= 548231 @ 126.219
170.92/171.41	c GLOBAL bounds - >= 548231 @ 126.249
171.02/171.53	c GLOBAL bounds - >= 548231 @ 126.307
171.02/171.57	c GLOBAL bounds - >= 548231 @ 126.341
171.13/171.69	c GLOBAL bounds - >= 548231 @ 126.403
171.23/171.73	c GLOBAL bounds - >= 548231 @ 126.438
171.32/171.85	c GLOBAL bounds - >= 548231 @ 126.492
171.32/171.89	c GLOBAL bounds - >= 548231 @ 126.519
171.53/172.02	c GLOBAL bounds - >= 548231 @ 126.586
171.53/172.06	c GLOBAL bounds - >= 548231 @ 126.617
171.63/172.18	c GLOBAL bounds - >= 548231 @ 126.678
171.73/172.22	c GLOBAL bounds - >= 548231 @ 126.707
171.82/172.34	c GLOBAL bounds - >= 548231 @ 126.776
171.82/172.38	c GLOBAL bounds - >= 548231 @ 126.811
171.92/172.49	c GLOBAL bounds - >= 548231 @ 126.862
172.12/172.62	c GLOBAL bounds - >= 548231 @ 126.941
172.22/172.76	c GLOBAL bounds - >= 548231 @ 127.027
172.42/172.90	c GLOBAL bounds - >= 548231 @ 127.115
172.53/173.08	c GLOBAL bounds - >= 548231 @ 127.243
172.72/173.22	c GLOBAL bounds - >= 548231 @ 127.323
172.82/173.37	c GLOBAL bounds - >= 548231 @ 127.421
173.02/173.53	c GLOBAL bounds - >= 548231 @ 127.534
173.12/173.67	c GLOBAL bounds - >= 548231 @ 127.626
173.53/174.04	c GLOBAL bounds - >= 548231 @ 127.938
173.82/174.36	c GLOBAL bounds - >= 548231 @ 128.205
174.21/174.73	c GLOBAL bounds - >= 548231 @ 128.523
180.00/180.57	c #Conflicts:       3000 | #Constraints:    4254597
180.00/180.57	c GLOBAL bounds - >= 548231 @ 134.24
182.29/182.81	c GLOBAL bounds - >= 548231 @ 136.399
183.09/183.63	c GLOBAL bounds - >= 548231 @ 137.168
185.38/186.00	c GLOBAL bounds - >= 599039 @ 139.516
185.88/186.46	c GLOBAL bounds - >= 599039 @ 139.946
185.88/186.47	c GLOBAL bounds - >= 599039 @ 139.957
186.08/186.60	c GLOBAL bounds - >= 599039 @ 140.024
186.08/186.64	c GLOBAL bounds - >= 599039 @ 140.057
186.18/186.76	c GLOBAL bounds - >= 599039 @ 140.114
186.29/186.81	c GLOBAL bounds - >= 599039 @ 140.149
186.39/186.94	c GLOBAL bounds - >= 599039 @ 140.219
186.39/186.98	c GLOBAL bounds - >= 599039 @ 140.249
186.49/187.10	c GLOBAL bounds - >= 599039 @ 140.315
186.58/187.14	c GLOBAL bounds - >= 599039 @ 140.344
186.68/187.27	c GLOBAL bounds - >= 599039 @ 140.416
186.78/187.32	c GLOBAL bounds - >= 599039 @ 140.45
186.88/187.44	c GLOBAL bounds - >= 599039 @ 140.511
186.88/187.48	c GLOBAL bounds - >= 599039 @ 140.542
187.08/187.60	c GLOBAL bounds - >= 599039 @ 140.613
187.08/187.65	c GLOBAL bounds - >= 599039 @ 140.648
187.18/187.76	c GLOBAL bounds - >= 599039 @ 140.703
187.28/187.80	c GLOBAL bounds - >= 599039 @ 140.734
187.38/187.92	c GLOBAL bounds - >= 599039 @ 140.801
187.38/187.96	c GLOBAL bounds - >= 599039 @ 140.833
187.49/188.08	c GLOBAL bounds - >= 599039 @ 140.896
187.68/188.23	c GLOBAL bounds - >= 599039 @ 140.992
187.88/188.48	c GLOBAL bounds - >= 599039 @ 141.185
188.08/188.63	c GLOBAL bounds - >= 599039 @ 141.281
188.27/188.81	c GLOBAL bounds - >= 599039 @ 141.409
188.38/188.99	c GLOBAL bounds - >= 599039 @ 141.532
188.58/189.19	c GLOBAL bounds - >= 599039 @ 141.68
188.78/189.36	c GLOBAL bounds - >= 599039 @ 141.801
188.97/189.51	c GLOBAL bounds - >= 599039 @ 141.897
189.08/189.65	c GLOBAL bounds - >= 599039 @ 141.987
189.28/189.84	c GLOBAL bounds - >= 599039 @ 142.126
189.37/189.99	c GLOBAL bounds - >= 599039 @ 142.223
189.58/190.12	c GLOBAL bounds - >= 599039 @ 142.312
189.68/190.25	c GLOBAL bounds - >= 599039 @ 142.39
189.88/190.48	c GLOBAL bounds - >= 599039 @ 142.561
190.08/190.63	c GLOBAL bounds - >= 599039 @ 142.65
190.48/191.00	c GLOBAL bounds - >= 599039 @ 142.964
190.57/191.14	c GLOBAL bounds - >= 599039 @ 143.042
190.77/191.32	c GLOBAL bounds - >= 599039 @ 143.159
191.58/192.14	c GLOBAL bounds - >= 599039 @ 143.916
191.67/192.28	c GLOBAL bounds - >= 599039 @ 144.001
192.07/192.66	c GLOBAL bounds - >= 599039 @ 144.319
192.27/192.88	c GLOBAL bounds - >= 599039 @ 144.482
196.46/197.09	c GLOBAL bounds - >= 632439 @ 148.658
196.86/197.41	c GLOBAL bounds - >= 632439 @ 148.969
196.86/197.46	c GLOBAL bounds - >= 632439 @ 149
196.95/197.50	c GLOBAL bounds - >= 632439 @ 149.033
196.95/197.55	c GLOBAL bounds - >= 632439 @ 149.063
196.95/197.59	c GLOBAL bounds - >= 632439 @ 149.096
197.06/197.63	c GLOBAL bounds - >= 632439 @ 149.127
197.06/197.64	c GLOBAL bounds - >= 632439 @ 149.134
197.15/197.77	c GLOBAL bounds - >= 632439 @ 149.202
197.25/197.81	c GLOBAL bounds - >= 632439 @ 149.229
197.35/197.93	c GLOBAL bounds - >= 632439 @ 149.3
197.35/197.97	c GLOBAL bounds - >= 632439 @ 149.329
197.46/198.10	c GLOBAL bounds - >= 632439 @ 149.393
197.56/198.14	c GLOBAL bounds - >= 632439 @ 149.422
197.66/198.26	c GLOBAL bounds - >= 632439 @ 149.481
197.76/198.30	c GLOBAL bounds - >= 632439 @ 149.51
197.85/198.41	c GLOBAL bounds - >= 632439 @ 149.565
197.85/198.44	c GLOBAL bounds - >= 632439 @ 149.589
197.96/198.56	c GLOBAL bounds - >= 632439 @ 149.652
198.05/198.60	c GLOBAL bounds - >= 632439 @ 149.679
198.15/198.72	c GLOBAL bounds - >= 632439 @ 149.736
198.15/198.76	c GLOBAL bounds - >= 632439 @ 149.768
198.25/198.88	c GLOBAL bounds - >= 632439 @ 149.838
198.35/198.93	c GLOBAL bounds - >= 632439 @ 149.87
198.46/199.05	c GLOBAL bounds - >= 632439 @ 149.927
198.46/199.09	c GLOBAL bounds - >= 632439 @ 149.958
198.65/199.21	c GLOBAL bounds - >= 632439 @ 150.018
198.75/199.38	c GLOBAL bounds - >= 632439 @ 150.13
199.15/199.78	c GLOBAL bounds - >= 632439 @ 150.473
199.34/199.95	c GLOBAL bounds - >= 632439 @ 150.577
199.64/200.20	c GLOBAL bounds - >= 632439 @ 150.781
200.45/201.03	c GLOBAL bounds - >= 632439 @ 151.546
204.93/205.50	c GLOBAL bounds - >= 632439 @ 155.932
205.73/206.31	c GLOBAL bounds - >= 632439 @ 156.689
207.43/208.02	c GLOBAL bounds - >= 632439 @ 158.335
212.12/212.72	c GLOBAL bounds - >= 641655 @ 162.982
212.21/212.88	c GLOBAL bounds - >= 641655 @ 163.125
212.42/213.01	c GLOBAL bounds - >= 641655 @ 163.195
212.42/213.05	c GLOBAL bounds - >= 641655 @ 163.227
212.52/213.18	c GLOBAL bounds - >= 641655 @ 163.299
212.62/213.22	c GLOBAL bounds - >= 641655 @ 163.33
212.72/213.35	c GLOBAL bounds - >= 641655 @ 163.399
212.72/213.39	c GLOBAL bounds - >= 641655 @ 163.43
212.91/213.52	c GLOBAL bounds - >= 641655 @ 163.491
212.91/213.56	c GLOBAL bounds - >= 641655 @ 163.526
213.01/213.68	c GLOBAL bounds - >= 641655 @ 163.599
213.11/213.73	c GLOBAL bounds - >= 641655 @ 163.633
213.21/213.85	c GLOBAL bounds - >= 641655 @ 163.706
213.31/213.90	c GLOBAL bounds - >= 641655 @ 163.739
213.41/214.02	c GLOBAL bounds - >= 641655 @ 163.802
213.41/214.07	c GLOBAL bounds - >= 641655 @ 163.835
213.52/214.19	c GLOBAL bounds - >= 641655 @ 163.899
213.61/214.23	c GLOBAL bounds - >= 641655 @ 163.936
213.71/214.36	c GLOBAL bounds - >= 641655 @ 164.005
213.80/214.40	c GLOBAL bounds - >= 641655 @ 164.034
213.91/214.53	c GLOBAL bounds - >= 641655 @ 164.102
214.01/214.65	c GLOBAL bounds - >= 641655 @ 164.167
214.11/214.77	c GLOBAL bounds - >= 641655 @ 164.236
214.31/214.91	c #Conflicts:       4000 | #Constraints:    4359486
214.31/214.91	c GLOBAL bounds - >= 641655 @ 164.309
214.42/215.06	c GLOBAL bounds - >= 641655 @ 164.391
214.61/215.20	c GLOBAL bounds - >= 641655 @ 164.469
214.71/215.38	c GLOBAL bounds - >= 641655 @ 164.594
215.01/215.62	c GLOBAL bounds - >= 641655 @ 164.771
215.10/215.76	c GLOBAL bounds - >= 641655 @ 164.857
215.30/215.96	c GLOBAL bounds - >= 641655 @ 165.008
215.81/216.43	c GLOBAL bounds - >= 641655 @ 165.415
216.30/216.93	c GLOBAL bounds - >= 641655 @ 165.867
216.51/217.12	c GLOBAL bounds - >= 641655 @ 166.002
216.80/217.44	c GLOBAL bounds - >= 641655 @ 166.27
218.30/218.91	c GLOBAL bounds - >= 641655 @ 167.675
226.18/226.83	c INPROCESSING
226.18/226.83	c GARBAGE COLLECT
226.18/226.83	c GLOBAL bounds - >= 641655 @ 175.475
229.27/229.98	c GLOBAL bounds - >= 641655 @ 178.566
229.76/230.43	c GLOBAL bounds - >= 641655 @ 178.961
247.22/248.00	c #Conflicts:       5000 | #Constraints:    4382659
247.22/248.00	c GLOBAL bounds - >= 689233 @ 196.473
247.61/248.35	c GLOBAL bounds - >= 689233 @ 196.805
247.61/248.39	c GLOBAL bounds - >= 689233 @ 196.84
247.71/248.43	c GLOBAL bounds - >= 689233 @ 196.871
247.71/248.47	c GLOBAL bounds - >= 689233 @ 196.903
247.82/248.51	c GLOBAL bounds - >= 689233 @ 196.933
248.01/248.75	c GLOBAL bounds - >= 689233 @ 197.114
248.01/248.79	c GLOBAL bounds - >= 689233 @ 197.141
248.21/248.91	c GLOBAL bounds - >= 689233 @ 197.207
248.21/248.95	c GLOBAL bounds - >= 689233 @ 197.236
248.32/249.08	c GLOBAL bounds - >= 689233 @ 197.313
248.42/249.12	c GLOBAL bounds - >= 689233 @ 197.341
248.51/249.24	c GLOBAL bounds - >= 689233 @ 197.416
248.51/249.28	c GLOBAL bounds - >= 689233 @ 197.442
248.71/249.40	c GLOBAL bounds - >= 689233 @ 197.515
248.71/249.44	c GLOBAL bounds - >= 689233 @ 197.544
248.81/249.56	c GLOBAL bounds - >= 689233 @ 197.612
248.91/249.60	c GLOBAL bounds - >= 689233 @ 197.647
249.01/249.72	c GLOBAL bounds - >= 689233 @ 197.713
249.01/249.76	c GLOBAL bounds - >= 689233 @ 197.741
249.11/249.88	c GLOBAL bounds - >= 689233 @ 197.81
249.21/249.92	c GLOBAL bounds - >= 689233 @ 197.836
249.31/250.03	c GLOBAL bounds - >= 689233 @ 197.887
249.31/250.07	c GLOBAL bounds - >= 689233 @ 197.913
249.42/250.19	c GLOBAL bounds - >= 689233 @ 197.972
249.71/250.47	c GLOBAL bounds - >= 689233 @ 198.204
250.01/250.70	c GLOBAL bounds - >= 689233 @ 198.38
250.21/250.95	c GLOBAL bounds - >= 689233 @ 198.584
250.80/251.58	c GLOBAL bounds - >= 689233 @ 199.165
252.00/252.75	c GLOBAL bounds - >= 689233 @ 200.278
255.49/256.21	c GLOBAL bounds - >= 689233 @ 203.669
255.80/256.52	c GLOBAL bounds - >= 689233 @ 203.929
261.87/262.61	c GLOBAL bounds - >= 689233 @ 209.941
262.57/263.31	c GLOBAL bounds - >= 689233 @ 210.589
264.07/264.80	c GLOBAL bounds - >= 689233 @ 212.024
267.66/268.40	c GLOBAL bounds - >= 689233 @ 215.563
267.96/268.73	c GLOBAL bounds - >= 689233 @ 215.839
268.45/269.28	c GLOBAL bounds - >= 689233 @ 216.331
268.66/269.42	c GLOBAL bounds - >= 689233 @ 216.424
282.51/283.35	c #Conflicts:       6000 | #Constraints:    4424815
282.51/283.35	c GLOBAL bounds - >= 708387 @ 230.291
282.72/283.54	c GLOBAL bounds - >= 708387 @ 230.469
282.72/283.58	c GLOBAL bounds - >= 708387 @ 230.502
282.82/283.62	c GLOBAL bounds - >= 708387 @ 230.535
283.61/284.46	c GLOBAL bounds - >= 708387 @ 231.308
283.61/284.49	c GLOBAL bounds - >= 708387 @ 231.328
283.81/284.62	c GLOBAL bounds - >= 708387 @ 231.399
283.81/284.66	c GLOBAL bounds - >= 708387 @ 231.42
283.91/284.78	c GLOBAL bounds - >= 708387 @ 231.483
284.01/284.82	c GLOBAL bounds - >= 708387 @ 231.512
284.12/284.95	c GLOBAL bounds - >= 708387 @ 231.579
284.12/284.99	c GLOBAL bounds - >= 708387 @ 231.61
284.22/285.10	c GLOBAL bounds - >= 708387 @ 231.67
284.32/285.14	c GLOBAL bounds - >= 708387 @ 231.701
284.41/285.26	c GLOBAL bounds - >= 708387 @ 231.771
284.41/285.30	c GLOBAL bounds - >= 708387 @ 231.794
284.61/285.42	c GLOBAL bounds - >= 708387 @ 231.87
284.61/285.46	c GLOBAL bounds - >= 708387 @ 231.899
284.71/285.58	c GLOBAL bounds - >= 708387 @ 231.958
284.81/285.62	c GLOBAL bounds - >= 708387 @ 231.986
284.92/285.74	c GLOBAL bounds - >= 708387 @ 232.048
284.92/285.76	c GLOBAL bounds - >= 708387 @ 232.055
285.01/285.88	c GLOBAL bounds - >= 708387 @ 232.118
285.21/286.06	c GLOBAL bounds - >= 708387 @ 232.241
285.41/286.27	c GLOBAL bounds - >= 708387 @ 232.398
285.61/286.49	c GLOBAL bounds - >= 708387 @ 232.564
286.01/286.80	c GLOBAL bounds - >= 708387 @ 232.814
286.11/286.93	c GLOBAL bounds - >= 708387 @ 232.891
286.32/287.11	c GLOBAL bounds - >= 708387 @ 233.022
286.41/287.24	c GLOBAL bounds - >= 708387 @ 233.103
286.50/287.39	c GLOBAL bounds - >= 708387 @ 233.201
286.70/287.56	c GLOBAL bounds - >= 708387 @ 233.31
286.91/287.71	c GLOBAL bounds - >= 708387 @ 233.402
287.31/288.18	c GLOBAL bounds - >= 708387 @ 233.819
287.80/288.63	c GLOBAL bounds - >= 708387 @ 234.208
288.80/289.67	c GLOBAL bounds - >= 708387 @ 235.179
289.00/289.89	c GLOBAL bounds - >= 708387 @ 235.344
289.40/290.20	c GLOBAL bounds - >= 708387 @ 235.605
289.49/290.38	c GLOBAL bounds - >= 708387 @ 235.727
290.10/291.00	c GLOBAL bounds - >= 708387 @ 236.284
290.30/291.13	c GLOBAL bounds - >= 708387 @ 236.362
290.40/291.26	c GLOBAL bounds - >= 708387 @ 236.436
290.60/291.44	c GLOBAL bounds - >= 708387 @ 236.562
290.70/291.56	c GLOBAL bounds - >= 708387 @ 236.621
291.00/291.83	c GLOBAL bounds - >= 708387 @ 236.824
291.50/292.32	c GLOBAL bounds - >= 708387 @ 237.259
291.59/292.49	c GLOBAL bounds - >= 708387 @ 237.369
291.79/292.61	c GLOBAL bounds - >= 708387 @ 237.429
291.89/292.75	c GLOBAL bounds - >= 708387 @ 237.521
292.09/292.99	c GLOBAL bounds - >= 708387 @ 237.705
292.29/293.16	c GLOBAL bounds - >= 708387 @ 237.818
292.49/293.30	c GLOBAL bounds - >= 708387 @ 237.895
292.59/293.47	c GLOBAL bounds - >= 708387 @ 238.011
292.79/293.64	c GLOBAL bounds - >= 708387 @ 238.132
292.99/293.84	c GLOBAL bounds - >= 708387 @ 238.274
293.29/294.14	c GLOBAL bounds - >= 708387 @ 238.516
293.39/294.28	c GLOBAL bounds - >= 708387 @ 238.6
293.99/294.84	c GLOBAL bounds - >= 708387 @ 239.107
296.38/297.29	c GLOBAL bounds - >= 708387 @ 241.476
297.18/298.03	c GLOBAL bounds - >= 708387 @ 242.148
297.38/298.21	c GLOBAL bounds - >= 708387 @ 242.28
309.04/309.93	c INPROCESSING
309.04/309.93	c GARBAGE COLLECT
309.04/309.93	c GLOBAL bounds - >= 708387 @ 253.861
309.25/310.19	c GLOBAL bounds - >= 708387 @ 254.055
309.44/310.33	c GLOBAL bounds - >= 708387 @ 254.143
318.51/319.40	c #Conflicts:       7000 | #Constraints:    4476002
318.51/319.40	c GLOBAL bounds - >= 708387 @ 263.125
318.61/319.56	c GLOBAL bounds - >= 708387 @ 263.229
319.12/320.02	c GLOBAL bounds - >= 708387 @ 263.639
334.47/335.44	c GLOBAL bounds - >= 732729 @ 279.002
334.67/335.60	c GLOBAL bounds - >= 732729 @ 279.144
334.67/335.64	c GLOBAL bounds - >= 732729 @ 279.173
334.67/335.68	c GLOBAL bounds - >= 732729 @ 279.202
334.67/335.69	c GLOBAL bounds - >= 732729 @ 279.208
335.37/336.30	c GLOBAL bounds - >= 732729 @ 279.754
335.37/336.35	c GLOBAL bounds - >= 732729 @ 279.791
335.47/336.47	c GLOBAL bounds - >= 732729 @ 279.861
335.57/336.52	c GLOBAL bounds - >= 732729 @ 279.892
335.67/336.64	c GLOBAL bounds - >= 732729 @ 279.957
335.67/336.68	c GLOBAL bounds - >= 732729 @ 279.985
335.87/336.81	c GLOBAL bounds - >= 732729 @ 280.062
335.87/336.85	c GLOBAL bounds - >= 732729 @ 280.091
335.97/336.97	c GLOBAL bounds - >= 732729 @ 280.149
336.07/337.02	c GLOBAL bounds - >= 732729 @ 280.18
336.18/337.14	c GLOBAL bounds - >= 732729 @ 280.247
336.18/337.18	c GLOBAL bounds - >= 732729 @ 280.274
336.36/337.31	c GLOBAL bounds - >= 732729 @ 280.336
336.36/337.35	c GLOBAL bounds - >= 732729 @ 280.363
336.47/337.47	c GLOBAL bounds - >= 732729 @ 280.424
336.57/337.52	c GLOBAL bounds - >= 732729 @ 280.457
336.67/337.64	c GLOBAL bounds - >= 732729 @ 280.529
336.67/337.68	c GLOBAL bounds - >= 732729 @ 280.563
336.76/337.79	c GLOBAL bounds - >= 732729 @ 280.614
337.07/338.05	c GLOBAL bounds - >= 732729 @ 280.824
337.66/338.68	c GLOBAL bounds - >= 732729 @ 281.393
337.86/338.82	c GLOBAL bounds - >= 732729 @ 281.484
339.56/340.56	c GLOBAL bounds - >= 732729 @ 283.176
340.17/341.17	c GLOBAL bounds - >= 732729 @ 283.734
343.84/344.84	c #Conflicts:       8000 | #Constraints:    4501991
343.84/344.84	c GLOBAL bounds - >= 732729 @ 287.335
344.24/345.20	c GLOBAL bounds - >= 732729 @ 287.651
353.22/354.29	c GLOBAL bounds - >= 732729 @ 296.645
353.52/354.54	c GLOBAL bounds - >= 732729 @ 296.844
354.12/355.14	c GLOBAL bounds - >= 732729 @ 297.375
359.40/360.49	c GLOBAL bounds - >= 732729 @ 302.657
363.39/364.41	c GLOBAL bounds - >= 749015 @ 306.557
363.59/364.63	c GLOBAL bounds - >= 749015 @ 306.735
363.59/364.67	c GLOBAL bounds - >= 749015 @ 306.767
363.69/364.71	c GLOBAL bounds - >= 749015 @ 306.8
363.69/364.76	c GLOBAL bounds - >= 749015 @ 306.83
363.79/364.80	c GLOBAL bounds - >= 749015 @ 306.86
363.79/364.84	c GLOBAL bounds - >= 749015 @ 306.886
364.00/365.01	c GLOBAL bounds - >= 749015 @ 306.995
364.00/365.05	c GLOBAL bounds - >= 749015 @ 307.026
364.09/365.18	c GLOBAL bounds - >= 749015 @ 307.092
364.19/365.23	c GLOBAL bounds - >= 749015 @ 307.123
364.29/365.35	c GLOBAL bounds - >= 749015 @ 307.186
364.38/365.40	c GLOBAL bounds - >= 749015 @ 307.22
364.49/365.52	c GLOBAL bounds - >= 749015 @ 307.286
364.49/365.57	c GLOBAL bounds - >= 749015 @ 307.319
364.59/365.70	c GLOBAL bounds - >= 749015 @ 307.388
364.69/365.74	c GLOBAL bounds - >= 749015 @ 307.421
364.79/365.86	c GLOBAL bounds - >= 749015 @ 307.49
364.89/365.91	c GLOBAL bounds - >= 749015 @ 307.523
364.99/366.04	c GLOBAL bounds - >= 749015 @ 307.589
364.99/366.08	c GLOBAL bounds - >= 749015 @ 307.622
365.19/366.21	c GLOBAL bounds - >= 749015 @ 307.695
365.19/366.26	c GLOBAL bounds - >= 749015 @ 307.726
365.29/366.38	c GLOBAL bounds - >= 749015 @ 307.791
365.39/366.43	c GLOBAL bounds - >= 749015 @ 307.82
365.49/366.55	c GLOBAL bounds - >= 749015 @ 307.892
365.58/366.67	c GLOBAL bounds - >= 749015 @ 307.959
365.69/366.79	c GLOBAL bounds - >= 749015 @ 308.031
365.99/367.03	c GLOBAL bounds - >= 749015 @ 308.217
366.09/367.17	c GLOBAL bounds - >= 749015 @ 308.31
366.29/367.39	c GLOBAL bounds - >= 749015 @ 308.468
366.48/367.53	c GLOBAL bounds - >= 749015 @ 308.554
366.78/367.80	c GLOBAL bounds - >= 749015 @ 308.776
367.68/368.73	c GLOBAL bounds - >= 749015 @ 309.635
369.98/371.02	c GLOBAL bounds - >= 749015 @ 311.861
370.37/371.44	c GLOBAL bounds - >= 749015 @ 312.221
370.68/371.74	c GLOBAL bounds - >= 749015 @ 312.48
370.97/372.09	c GLOBAL bounds - >= 749015 @ 312.78
371.17/372.27	c GLOBAL bounds - >= 749015 @ 312.901
371.47/372.56	c GLOBAL bounds - >= 749015 @ 313.143
373.07/374.18	c GLOBAL bounds - >= 749015 @ 314.69
375.46/376.54	c #Conflicts:       9000 | #Constraints:    4543385
375.46/376.54	c GLOBAL bounds - >= 749015 @ 316.965
375.56/376.69	c GLOBAL bounds - >= 749015 @ 317.065
375.86/376.95	c GLOBAL bounds - >= 749015 @ 317.27
376.75/377.81	c GLOBAL bounds - >= 749015 @ 318.063
381.74/382.81	c GLOBAL bounds - >= 751931 @ 323.038
381.84/382.90	c GLOBAL bounds - >= 751931 @ 323.12
381.84/382.95	c GLOBAL bounds - >= 751931 @ 323.149
381.84/382.99	c GLOBAL bounds - >= 751931 @ 323.176
381.95/383.03	c GLOBAL bounds - >= 751931 @ 323.199
381.95/383.07	c GLOBAL bounds - >= 751931 @ 323.232
382.14/383.21	c GLOBAL bounds - >= 751931 @ 323.303
382.14/383.26	c GLOBAL bounds - >= 751931 @ 323.337
382.34/383.40	c GLOBAL bounds - >= 751931 @ 323.422
382.34/383.44	c GLOBAL bounds - >= 751931 @ 323.453
382.44/383.58	c GLOBAL bounds - >= 751931 @ 323.54
382.54/383.63	c GLOBAL bounds - >= 751931 @ 323.571
382.64/383.77	c GLOBAL bounds - >= 751931 @ 323.645
382.74/383.82	c GLOBAL bounds - >= 751931 @ 323.679
382.83/383.95	c GLOBAL bounds - >= 751931 @ 323.75
382.83/384.00	c GLOBAL bounds - >= 751931 @ 323.784
383.04/384.13	c GLOBAL bounds - >= 751931 @ 323.854
383.04/384.18	c GLOBAL bounds - >= 751931 @ 323.887
383.23/384.33	c GLOBAL bounds - >= 751931 @ 323.971
383.23/384.38	c GLOBAL bounds - >= 751931 @ 324.005
383.43/384.50	c GLOBAL bounds - >= 751931 @ 324.08
383.43/384.55	c GLOBAL bounds - >= 751931 @ 324.114
383.53/384.67	c GLOBAL bounds - >= 751931 @ 324.183
383.63/384.72	c GLOBAL bounds - >= 751931 @ 324.217
383.74/384.83	c GLOBAL bounds - >= 751931 @ 324.262
383.83/384.97	c GLOBAL bounds - >= 751931 @ 324.347
384.04/385.11	c GLOBAL bounds - >= 751931 @ 324.426
384.14/385.25	c GLOBAL bounds - >= 751931 @ 324.506
384.33/385.40	c GLOBAL bounds - >= 751931 @ 324.61
384.53/385.60	c GLOBAL bounds - >= 751931 @ 324.751
384.63/385.74	c GLOBAL bounds - >= 751931 @ 324.839
384.73/385.88	c GLOBAL bounds - >= 751931 @ 324.922
391.41/392.51	c INPROCESSING
391.41/392.51	c GARBAGE COLLECT
391.41/392.51	c GLOBAL bounds - >= 751931 @ 331.462
391.61/392.71	c GLOBAL bounds - >= 751931 @ 331.61
391.81/392.92	c GLOBAL bounds - >= 751931 @ 331.763
391.91/393.08	c GLOBAL bounds - >= 751931 @ 331.873
392.11/393.22	c GLOBAL bounds - >= 751931 @ 331.959
392.21/393.35	c GLOBAL bounds - >= 751931 @ 332.037
392.51/393.63	c GLOBAL bounds - >= 751931 @ 332.263
392.71/393.82	c GLOBAL bounds - >= 751931 @ 332.401
392.81/393.96	c GLOBAL bounds - >= 751931 @ 332.488
392.91/394.08	c GLOBAL bounds - >= 751931 @ 332.556
393.91/395.04	c GLOBAL bounds - >= 751931 @ 333.459
394.91/396.07	c GLOBAL bounds - >= 751931 @ 334.425
395.10/396.21	c GLOBAL bounds - >= 751931 @ 334.522
396.30/397.41	c GLOBAL bounds - >= 751931 @ 335.665
404.27/405.47	c GLOBAL bounds - >= 751931 @ 343.662
404.57/405.78	c GLOBAL bounds - >= 751931 @ 343.913
425.61/426.89	c #Conflicts:      10000 | #Constraints:    4588219
425.61/426.89	c GLOBAL bounds - >= 751931 @ 364.879
426.32/427.51	c GLOBAL bounds - >= 751931 @ 365.445
426.42/427.68	c GLOBAL bounds - >= 751931 @ 365.566
460.72/462.07	c #Conflicts:      11000 | #Constraints:    4594976
460.72/462.07	c GLOBAL bounds - >= 751931 @ 399.743
463.20/464.58	c GLOBAL bounds - >= 751931 @ 402.187
464.01/465.35	c GLOBAL bounds - >= 751931 @ 402.89
464.20/465.58	c GLOBAL bounds - >= 751931 @ 403.061
464.60/465.94	c GLOBAL bounds - >= 755599 @ 403.42
464.81/466.13	c GLOBAL bounds - >= 755599 @ 403.583
464.81/466.17	c GLOBAL bounds - >= 755599 @ 403.612
464.81/466.17	c GLOBAL bounds - >= 755599 @ 403.615
465.00/466.30	c GLOBAL bounds - >= 755599 @ 403.689
465.00/466.35	c GLOBAL bounds - >= 755599 @ 403.719
465.10/466.48	c GLOBAL bounds - >= 755599 @ 403.784
465.20/466.52	c GLOBAL bounds - >= 755599 @ 403.821
465.31/466.65	c GLOBAL bounds - >= 755599 @ 403.891
465.40/466.70	c GLOBAL bounds - >= 755599 @ 403.926
465.50/466.83	c GLOBAL bounds - >= 755599 @ 403.989
465.50/466.87	c GLOBAL bounds - >= 755599 @ 404.024
465.60/467.00	c GLOBAL bounds - >= 755599 @ 404.089
465.71/467.05	c GLOBAL bounds - >= 755599 @ 404.118
465.81/467.17	c GLOBAL bounds - >= 755599 @ 404.196
465.91/467.22	c GLOBAL bounds - >= 755599 @ 404.233
466.00/467.35	c GLOBAL bounds - >= 755599 @ 404.306
466.00/467.39	c GLOBAL bounds - >= 755599 @ 404.342
466.20/467.52	c GLOBAL bounds - >= 755599 @ 404.406
466.20/467.57	c GLOBAL bounds - >= 755599 @ 404.442
466.30/467.69	c GLOBAL bounds - >= 755599 @ 404.494
466.40/467.74	c GLOBAL bounds - >= 755599 @ 404.529
466.50/467.86	c GLOBAL bounds - >= 755599 @ 404.591
466.60/468.00	c GLOBAL bounds - >= 755599 @ 404.672
466.81/468.14	c GLOBAL bounds - >= 755599 @ 404.752
466.90/468.28	c GLOBAL bounds - >= 755599 @ 404.838
467.10/468.42	c GLOBAL bounds - >= 755599 @ 404.918
467.29/468.68	c GLOBAL bounds - >= 755599 @ 405.117
467.50/468.84	c GLOBAL bounds - >= 755599 @ 405.23
467.60/468.99	c GLOBAL bounds - >= 755599 @ 405.323
467.89/469.23	c GLOBAL bounds - >= 755599 @ 405.509
468.39/469.75	c GLOBAL bounds - >= 755599 @ 405.965
468.70/470.02	c GLOBAL bounds - >= 755599 @ 406.175
475.78/477.17	c GLOBAL bounds - >= 755599 @ 413.199
476.58/477.92	c GLOBAL bounds - >= 755599 @ 413.889
479.16/480.53	c #Conflicts:      12000 | #Constraints:    4628178
479.16/480.53	c GLOBAL bounds - >= 755599 @ 416.436
479.46/480.81	c GLOBAL bounds - >= 755599 @ 416.667
513.77/515.26	c #Conflicts:      13000 | #Constraints:    4632804
513.77/515.26	c GLOBAL bounds - >= 755599 @ 450.825
513.96/515.42	c GLOBAL bounds - >= 755599 @ 450.932
515.67/517.17	c GLOBAL bounds - >= 795462 @ 452.68
516.05/517.52	c GLOBAL bounds - >= 795462 @ 452.998
516.05/517.55	c GLOBAL bounds - >= 795462 @ 453.019
516.26/517.70	c GLOBAL bounds - >= 795462 @ 453.116
516.26/517.75	c GLOBAL bounds - >= 795462 @ 453.148
516.35/517.89	c GLOBAL bounds - >= 795462 @ 453.243
516.46/517.94	c GLOBAL bounds - >= 795462 @ 453.271
516.56/518.07	c GLOBAL bounds - >= 795462 @ 453.343
516.66/518.12	c GLOBAL bounds - >= 795462 @ 453.375
516.75/518.25	c GLOBAL bounds - >= 795462 @ 453.46
516.75/518.29	c GLOBAL bounds - >= 795462 @ 453.489
516.95/518.43	c GLOBAL bounds - >= 795462 @ 453.574
516.95/518.47	c GLOBAL bounds - >= 795462 @ 453.605
517.15/518.61	c GLOBAL bounds - >= 795462 @ 453.684
517.15/518.65	c GLOBAL bounds - >= 795462 @ 453.712
517.25/518.79	c GLOBAL bounds - >= 795462 @ 453.792
517.36/518.83	c GLOBAL bounds - >= 795462 @ 453.824
517.45/518.96	c GLOBAL bounds - >= 795462 @ 453.901
517.56/519.01	c GLOBAL bounds - >= 795462 @ 453.932
517.65/519.14	c GLOBAL bounds - >= 795462 @ 454.002
517.65/519.19	c GLOBAL bounds - >= 795462 @ 454.037
517.85/519.32	c GLOBAL bounds - >= 795462 @ 454.119
517.95/519.45	c GLOBAL bounds - >= 795462 @ 454.194
518.06/519.59	c GLOBAL bounds - >= 795462 @ 454.281
518.26/519.72	c GLOBAL bounds - >= 795462 @ 454.35
518.35/519.87	c GLOBAL bounds - >= 795462 @ 454.45
518.56/520.03	c GLOBAL bounds - >= 795462 @ 454.542
519.15/520.67	c GLOBAL bounds - >= 795462 @ 455.104
519.56/521.06	c GLOBAL bounds - >= 795462 @ 455.449
519.95/521.46	c GLOBAL bounds - >= 795462 @ 455.789
520.14/521.64	c GLOBAL bounds - >= 795462 @ 455.924
521.04/522.52	c GLOBAL bounds - >= 795462 @ 456.738
530.22/531.76	c GLOBAL bounds - >= 795462 @ 465.809
591.05/592.76	c #Conflicts:      14000 | #Constraints:    4661967
591.05/592.76	c #Conflicts:      15000 | #Constraints:    4662967
591.05/592.76	c GLOBAL bounds - >= 795462 @ 526.274
595.93/597.68	c GLOBAL bounds - >= 795462 @ 531.119
619.17/620.90	c #Conflicts:      16000 | #Constraints:    4667232
619.17/620.90	c GLOBAL bounds - >= 795462 @ 554.133
639.31/641.19	c INPROCESSING
639.31/641.19	c GARBAGE COLLECT
639.31/641.19	c GLOBAL bounds - >= 802975 @ 574.312
639.41/641.25	c GLOBAL bounds - >= 802975 @ 574.377
639.71/641.58	c GLOBAL bounds - >= 802975 @ 574.64
639.71/641.59	c GLOBAL bounds - >= 802975 @ 574.648
639.90/641.72	c GLOBAL bounds - >= 802975 @ 574.726
639.90/641.73	c GLOBAL bounds - >= 802975 @ 574.734
640.00/641.86	c GLOBAL bounds - >= 802975 @ 574.803
640.00/641.89	c GLOBAL bounds - >= 802975 @ 574.824
640.21/642.02	c GLOBAL bounds - >= 802975 @ 574.891
640.21/642.03	c GLOBAL bounds - >= 802975 @ 574.901
640.31/642.16	c GLOBAL bounds - >= 802975 @ 574.968
640.31/642.19	c GLOBAL bounds - >= 802975 @ 574.99
640.50/642.31	c GLOBAL bounds - >= 802975 @ 575.049
640.50/642.34	c GLOBAL bounds - >= 802975 @ 575.071
640.60/642.47	c GLOBAL bounds - >= 802975 @ 575.15
640.70/642.51	c GLOBAL bounds - >= 802975 @ 575.184
640.80/642.63	c GLOBAL bounds - >= 802975 @ 575.251
640.80/642.67	c GLOBAL bounds - >= 802975 @ 575.277
640.91/642.78	c GLOBAL bounds - >= 802975 @ 575.332
640.91/642.79	c GLOBAL bounds - >= 802975 @ 575.34
641.10/642.91	c GLOBAL bounds - >= 802975 @ 575.404
641.20/643.03	c GLOBAL bounds - >= 802975 @ 575.465
641.31/643.16	c GLOBAL bounds - >= 802975 @ 575.551
641.50/643.37	c GLOBAL bounds - >= 802975 @ 575.715
641.70/643.51	c GLOBAL bounds - >= 802975 @ 575.793
642.00/643.83	c GLOBAL bounds - >= 802975 @ 576.069
642.21/644.07	c GLOBAL bounds - >= 802975 @ 576.24
642.31/644.20	c GLOBAL bounds - >= 802975 @ 576.314
642.50/644.35	c GLOBAL bounds - >= 802975 @ 576.414
642.70/644.51	c GLOBAL bounds - >= 802975 @ 576.511
643.00/644.83	c GLOBAL bounds - >= 802975 @ 576.774
643.10/644.98	c GLOBAL bounds - >= 802975 @ 576.874
643.70/645.53	c GLOBAL bounds - >= 802975 @ 577.365
643.90/645.70	c GLOBAL bounds - >= 802975 @ 577.495
644.49/646.33	c GLOBAL bounds - >= 802975 @ 578.065
645.30/647.13	c GLOBAL bounds - >= 802975 @ 578.815
645.69/647.54	c GLOBAL bounds - >= 802975 @ 579.171
645.79/647.68	c GLOBAL bounds - >= 802975 @ 579.269
647.19/649.06	c GLOBAL bounds - >= 802975 @ 580.588
652.18/654.10	c #Conflicts:      17000 | #Constraints:    4692164
652.18/654.10	c GLOBAL bounds - >= 802975 @ 585.54
652.37/654.26	c GLOBAL bounds - >= 802975 @ 585.64
664.93/666.89	c GLOBAL bounds - >= 802975 @ 598.178
666.13/668.06	c GLOBAL bounds - >= 802975 @ 599.301
668.02/669.97	c GLOBAL bounds - >= 802975 @ 601.158
675.91/677.80	c GLOBAL bounds - >= 802975 @ 608.909
693.85/695.80	c #Conflicts:      18000 | #Constraints:    4701650
693.85/695.80	c GLOBAL bounds - >= 802975 @ 626.801
694.05/696.02	c GLOBAL bounds - >= 802975 @ 626.968
719.08/721.12	c #Conflicts:      19000 | #Constraints:    4705633
719.08/721.12	c GLOBAL bounds - >= 802975 @ 651.916
730.25/732.31	c GLOBAL bounds - >= 802975 @ 663.022
738.32/740.45	c GLOBAL bounds - >= 802975 @ 671.073
739.32/741.45	c GLOBAL bounds - >= 802975 @ 672.023
739.61/741.70	c GLOBAL bounds - >= 802975 @ 672.218
749.99/752.13	c GLOBAL bounds - >= 806601 @ 682.609
750.09/752.29	c GLOBAL bounds - >= 806601 @ 682.765
750.18/752.34	c GLOBAL bounds - >= 806601 @ 682.794
750.18/752.38	c GLOBAL bounds - >= 806601 @ 682.83
750.29/752.43	c GLOBAL bounds - >= 806601 @ 682.861
750.29/752.47	c GLOBAL bounds - >= 806601 @ 682.891
750.38/752.51	c GLOBAL bounds - >= 806601 @ 682.921
750.38/752.56	c GLOBAL bounds - >= 806601 @ 682.957
750.48/752.60	c GLOBAL bounds - >= 806601 @ 682.991
750.79/752.95	c #Conflicts:      20000 | #Constraints:    4715090
750.79/752.95	c GLOBAL bounds - >= 806601 @ 683.274
750.79/752.99	c GLOBAL bounds - >= 806601 @ 683.304
750.99/753.13	c GLOBAL bounds - >= 806601 @ 683.379
750.99/753.17	c GLOBAL bounds - >= 806601 @ 683.409
751.18/753.31	c GLOBAL bounds - >= 806601 @ 683.487
751.18/753.35	c GLOBAL bounds - >= 806601 @ 683.519
751.29/753.48	c GLOBAL bounds - >= 806601 @ 683.594
751.38/753.52	c GLOBAL bounds - >= 806601 @ 683.626
751.49/753.66	c GLOBAL bounds - >= 806601 @ 683.712
751.58/753.70	c GLOBAL bounds - >= 806601 @ 683.742
751.68/753.83	c GLOBAL bounds - >= 806601 @ 683.814
751.68/753.87	c GLOBAL bounds - >= 806601 @ 683.839
751.89/754.01	c GLOBAL bounds - >= 806601 @ 683.919
751.89/754.05	c GLOBAL bounds - >= 806601 @ 683.949
751.99/754.19	c GLOBAL bounds - >= 806601 @ 684.027
752.08/754.23	c GLOBAL bounds - >= 806601 @ 684.056
752.18/754.36	c GLOBAL bounds - >= 806601 @ 684.117
752.28/754.40	c GLOBAL bounds - >= 806601 @ 684.148
752.38/754.52	c GLOBAL bounds - >= 806601 @ 684.215
752.89/755.09	c GLOBAL bounds - >= 806601 @ 684.722
753.18/755.36	c GLOBAL bounds - >= 806601 @ 684.939
754.37/756.51	c GLOBAL bounds - >= 806601 @ 686.032
754.67/756.84	c GLOBAL bounds - >= 806601 @ 686.311
755.87/758.03	c GLOBAL bounds - >= 806601 @ 687.442
761.96/764.17	c GLOBAL bounds - >= 806601 @ 693.492
782.39/784.63	c INPROCESSING
782.39/784.63	c GARBAGE COLLECT
782.39/784.63	c GLOBAL bounds - >= 806601 @ 713.791
782.80/785.03	c GLOBAL bounds - >= 806601 @ 714.141
878.32/880.84	c #Conflicts:      21000 | #Constraints:    4734536
878.32/880.84	c #Conflicts:      22000 | #Constraints:    4735536
878.32/880.84	c #Conflicts:      23000 | #Constraints:    4736536
878.32/880.84	c GLOBAL bounds - >= 806601 @ 809.541
878.82/881.32	c GLOBAL bounds - >= 806601 @ 809.976
880.71/883.20	c GLOBAL bounds - >= 817029 @ 811.848
880.92/883.43	c GLOBAL bounds - >= 817029 @ 812.063
881.01/883.57	c GLOBAL bounds - >= 817029 @ 812.135
881.11/883.61	c GLOBAL bounds - >= 817029 @ 812.165
881.21/883.74	c GLOBAL bounds - >= 817029 @ 812.235
881.21/883.78	c GLOBAL bounds - >= 817029 @ 812.269
881.41/883.91	c GLOBAL bounds - >= 817029 @ 812.338
881.41/883.95	c GLOBAL bounds - >= 817029 @ 812.369
881.51/884.09	c GLOBAL bounds - >= 817029 @ 812.444
881.62/884.13	c GLOBAL bounds - >= 817029 @ 812.476
881.71/884.26	c GLOBAL bounds - >= 817029 @ 812.538
881.81/884.30	c GLOBAL bounds - >= 817029 @ 812.571
881.91/884.43	c GLOBAL bounds - >= 817029 @ 812.637
881.91/884.47	c GLOBAL bounds - >= 817029 @ 812.671
882.11/884.60	c GLOBAL bounds - >= 817029 @ 812.738
882.11/884.64	c GLOBAL bounds - >= 817029 @ 812.775
882.21/884.77	c GLOBAL bounds - >= 817029 @ 812.846
882.31/884.82	c GLOBAL bounds - >= 817029 @ 812.877
882.40/884.94	c GLOBAL bounds - >= 817029 @ 812.942
882.40/884.99	c GLOBAL bounds - >= 817029 @ 812.972
882.61/885.11	c GLOBAL bounds - >= 817029 @ 813.041
883.10/885.65	c GLOBAL bounds - >= 817029 @ 813.526
883.31/885.81	c GLOBAL bounds - >= 817029 @ 813.627
883.41/885.94	c GLOBAL bounds - >= 817029 @ 813.71
883.61/886.18	c GLOBAL bounds - >= 817029 @ 813.888
883.90/886.43	c GLOBAL bounds - >= 817029 @ 814.088
884.00/886.59	c GLOBAL bounds - >= 817029 @ 814.186
884.20/886.80	c GLOBAL bounds - >= 817029 @ 814.334
923.29/925.91	c #Conflicts:      24000 | #Constraints:    4756146
923.29/925.91	c INPROCESSING
923.29/925.91	c GARBAGE COLLECT
923.29/925.91	c GLOBAL bounds - >= 817029 @ 853.236
972.25/975.09	c #Conflicts:      25000 | #Constraints:    4754336
972.25/975.09	c #Conflicts:      26000 | #Constraints:    4755336
972.25/975.09	c GLOBAL bounds - >= 817029 @ 902.163
989.40/992.27	c GLOBAL bounds - >= 817029 @ 919.229
1024.10/1027.04	c #Conflicts:      27000 | #Constraints:    4759178
1024.10/1027.04	c GLOBAL bounds - >= 817029 @ 953.819
1024.69/1027.60	c GLOBAL bounds - >= 817029 @ 954.318
1024.99/1027.98	c GLOBAL bounds - >= 843374 @ 954.696
1025.29/1028.23	c GLOBAL bounds - >= 843374 @ 954.945
1025.39/1028.37	c GLOBAL bounds - >= 843374 @ 955.029
1025.49/1028.41	c GLOBAL bounds - >= 843374 @ 955.056
1025.59/1028.54	c GLOBAL bounds - >= 843374 @ 955.135
1025.59/1028.58	c GLOBAL bounds - >= 843374 @ 955.165
1025.78/1028.71	c GLOBAL bounds - >= 843374 @ 955.229
1025.78/1028.75	c GLOBAL bounds - >= 843374 @ 955.253
1025.89/1028.88	c GLOBAL bounds - >= 843374 @ 955.324
1025.99/1028.92	c GLOBAL bounds - >= 843374 @ 955.354
1026.09/1029.04	c GLOBAL bounds - >= 843374 @ 955.423
1026.09/1029.09	c GLOBAL bounds - >= 843374 @ 955.462
1026.29/1029.21	c GLOBAL bounds - >= 843374 @ 955.522
1026.29/1029.26	c GLOBAL bounds - >= 843374 @ 955.554
1026.39/1029.38	c GLOBAL bounds - >= 843374 @ 955.628
1026.48/1029.43	c GLOBAL bounds - >= 843374 @ 955.666
1026.59/1029.55	c GLOBAL bounds - >= 843374 @ 955.738
1026.68/1029.60	c GLOBAL bounds - >= 843374 @ 955.769
1026.79/1029.72	c GLOBAL bounds - >= 843374 @ 955.838
1026.79/1029.77	c GLOBAL bounds - >= 843374 @ 955.867
1026.89/1029.88	c GLOBAL bounds - >= 843374 @ 955.931
1027.09/1030.08	c GLOBAL bounds - >= 843374 @ 956.077
1027.38/1030.36	c GLOBAL bounds - >= 843374 @ 956.3
1027.59/1030.51	c GLOBAL bounds - >= 843374 @ 956.391
1028.48/1031.45	c GLOBAL bounds - >= 843374 @ 957.276
1028.88/1031.80	c GLOBAL bounds - >= 843374 @ 957.569
1029.78/1032.78	c #Conflicts:      28000 | #Constraints:    4778537
1029.78/1032.78	c GLOBAL bounds - >= 843374 @ 958.495
1033.07/1036.09	c GLOBAL bounds - >= 843374 @ 961.725
1033.27/1036.24	c GLOBAL bounds - >= 843374 @ 961.831
1042.74/1045.75	c GLOBAL bounds - >= 843374 @ 971.254
1043.34/1046.36	c GLOBAL bounds - >= 843374 @ 971.801
1043.63/1046.68	c GLOBAL bounds - >= 843374 @ 972.061
1053.50/1056.55	c GLOBAL bounds - >= 843374 @ 981.844
1055.10/1058.12	c GLOBAL bounds - >= 864517 @ 983.407
1055.30/1058.38	c GLOBAL bounds - >= 864517 @ 983.636
1055.40/1058.42	c GLOBAL bounds - >= 864517 @ 983.665
1055.40/1058.47	c GLOBAL bounds - >= 864517 @ 983.701
1055.50/1058.51	c GLOBAL bounds - >= 864517 @ 983.73
1055.50/1058.52	c GLOBAL bounds - >= 864517 @ 983.737
1057.60/1060.68	c GLOBAL bounds - >= 864517 @ 985.836
1057.69/1060.73	c GLOBAL bounds - >= 864517 @ 985.87
1057.79/1060.86	c GLOBAL bounds - >= 864517 @ 985.937
1057.90/1060.91	c GLOBAL bounds - >= 864517 @ 985.972
1058.00/1061.04	c GLOBAL bounds - >= 864517 @ 986.044
1058.00/1061.09	c GLOBAL bounds - >= 864517 @ 986.079
1058.19/1061.22	c GLOBAL bounds - >= 864517 @ 986.161
1058.19/1061.27	c GLOBAL bounds - >= 864517 @ 986.196
1058.30/1061.39	c GLOBAL bounds - >= 864517 @ 986.257
1058.39/1061.43	c GLOBAL bounds - >= 864517 @ 986.291
1058.49/1061.56	c GLOBAL bounds - >= 864517 @ 986.361
1058.59/1061.61	c GLOBAL bounds - >= 864517 @ 986.397
1058.69/1061.74	c GLOBAL bounds - >= 864517 @ 986.473
1058.69/1061.79	c GLOBAL bounds - >= 864517 @ 986.505
1058.89/1061.92	c GLOBAL bounds - >= 864517 @ 986.574
1058.89/1061.97	c GLOBAL bounds - >= 864517 @ 986.603
1059.00/1062.10	c GLOBAL bounds - >= 864517 @ 986.678
1059.10/1062.15	c GLOBAL bounds - >= 864517 @ 986.714
1059.19/1062.28	c GLOBAL bounds - >= 864517 @ 986.793
1059.39/1062.41	c GLOBAL bounds - >= 864517 @ 986.868
1059.49/1062.54	c GLOBAL bounds - >= 864517 @ 986.941
1059.59/1062.68	c GLOBAL bounds - >= 864517 @ 987.034
1059.78/1062.83	c GLOBAL bounds - >= 864517 @ 987.12
1059.99/1063.03	c GLOBAL bounds - >= 864517 @ 987.256
1060.18/1063.21	c GLOBAL bounds - >= 864517 @ 987.378
1060.28/1063.38	c GLOBAL bounds - >= 864517 @ 987.497
1060.48/1063.58	c GLOBAL bounds - >= 864517 @ 987.64
1061.09/1064.17	c GLOBAL bounds - >= 864517 @ 988.176
1061.38/1064.42	c GLOBAL bounds - >= 864517 @ 988.365
1061.58/1064.69	c GLOBAL bounds - >= 864517 @ 988.573
1061.78/1064.84	c GLOBAL bounds - >= 864517 @ 988.681
1062.37/1065.44	c GLOBAL bounds - >= 864517 @ 989.226
1062.48/1065.57	c GLOBAL bounds - >= 864517 @ 989.308
1062.67/1065.76	c GLOBAL bounds - >= 864517 @ 989.447
1063.37/1066.48	c GLOBAL bounds - >= 864517 @ 990.109
1063.87/1067.00	c GLOBAL bounds - >= 864517 @ 990.577
1064.08/1067.13	c GLOBAL bounds - >= 864517 @ 990.658
1066.97/1070.01	c #Conflicts:      29000 | #Constraints:    4817777
1066.97/1070.01	c GLOBAL bounds - >= 864517 @ 993.481
1068.07/1071.17	c GLOBAL bounds - >= 864517 @ 994.575
1068.56/1071.68	c GLOBAL bounds - >= 864517 @ 995.042
1068.76/1071.82	c GLOBAL bounds - >= 864517 @ 995.131
1070.56/1073.61	c GLOBAL bounds - >= 864517 @ 996.856
1081.22/1084.36	c GLOBAL bounds - >= 864517 @ 1007.49
1104.05/1107.24	c #Conflicts:      30000 | #Constraints:    4826519
1104.05/1107.24	c GLOBAL bounds - >= 864517 @ 1030.08
1132.17/1135.48	c #Conflicts:      31000 | #Constraints:    4828940
1132.17/1135.48	c GLOBAL bounds - >= 864517 @ 1058.04
1159.69/1163.06	c GLOBAL bounds - >= 874064 @ 1085.45
1159.88/1163.21	c GLOBAL bounds - >= 874064 @ 1085.58
1159.88/1163.25	c GLOBAL bounds - >= 874064 @ 1085.62
1159.98/1163.30	c GLOBAL bounds - >= 874064 @ 1085.65
1159.98/1163.34	c GLOBAL bounds - >= 874064 @ 1085.69
1159.98/1163.39	c GLOBAL bounds - >= 874064 @ 1085.72
1160.08/1163.43	c GLOBAL bounds - >= 874064 @ 1085.75
1160.08/1163.48	c GLOBAL bounds - >= 874064 @ 1085.79
1160.18/1163.52	c GLOBAL bounds - >= 874064 @ 1085.82
1160.18/1163.57	c GLOBAL bounds - >= 874064 @ 1085.85
1160.28/1163.61	c GLOBAL bounds - >= 874064 @ 1085.88
1160.28/1163.66	c GLOBAL bounds - >= 874064 @ 1085.92
1160.38/1163.70	c GLOBAL bounds - >= 874064 @ 1085.96
1160.38/1163.75	c GLOBAL bounds - >= 874064 @ 1086
1160.38/1163.80	c GLOBAL bounds - >= 874064 @ 1086.04
1160.48/1163.84	c GLOBAL bounds - >= 874064 @ 1086.07
1160.48/1163.89	c GLOBAL bounds - >= 874064 @ 1086.1
1161.48/1164.83	c GLOBAL bounds - >= 874064 @ 1086.97
1161.48/1164.87	c GLOBAL bounds - >= 874064 @ 1087.01
1161.69/1165.01	c GLOBAL bounds - >= 874064 @ 1087.1
1161.69/1165.06	c GLOBAL bounds - >= 874064 @ 1087.13
1161.88/1165.20	c GLOBAL bounds - >= 874064 @ 1087.22
1161.88/1165.24	c GLOBAL bounds - >= 874064 @ 1087.25
1161.97/1165.37	c GLOBAL bounds - >= 874064 @ 1087.33
1162.08/1165.42	c GLOBAL bounds - >= 874064 @ 1087.37
1162.18/1165.55	c GLOBAL bounds - >= 874064 @ 1087.45
1162.28/1165.60	c GLOBAL bounds - >= 874064 @ 1087.48
1162.37/1165.74	c GLOBAL bounds - >= 874064 @ 1087.56
1162.37/1165.78	c GLOBAL bounds - >= 874064 @ 1087.58
1162.57/1165.92	c GLOBAL bounds - >= 874064 @ 1087.66
1162.57/1165.96	c GLOBAL bounds - >= 874064 @ 1087.69
1162.68/1166.10	c GLOBAL bounds - >= 874064 @ 1087.77
1162.78/1166.15	c GLOBAL bounds - >= 874064 @ 1087.8
1162.87/1166.28	c GLOBAL bounds - >= 874064 @ 1087.88
1162.97/1166.33	c GLOBAL bounds - >= 874064 @ 1087.92
1163.07/1166.47	c GLOBAL bounds - >= 874064 @ 1088.02
1163.37/1166.77	c GLOBAL bounds - >= 874064 @ 1088.25
1163.68/1167.01	c GLOBAL bounds - >= 874064 @ 1088.44
1163.97/1167.38	c GLOBAL bounds - >= 874064 @ 1088.75
1164.17/1167.58	c GLOBAL bounds - >= 874064 @ 1088.9
1164.77/1168.12	c GLOBAL bounds - >= 874064 @ 1089.38
1165.17/1168.50	c GLOBAL bounds - >= 874064 @ 1089.71
1165.36/1168.76	c GLOBAL bounds - >= 874064 @ 1089.92
1165.67/1169.08	c GLOBAL bounds - >= 874064 @ 1090.19
1168.55/1171.99	c GLOBAL bounds - >= 874064 @ 1093.01
1172.45/1175.80	c #Conflicts:      32000 | #Constraints:    4851787
1172.45/1175.80	c GLOBAL bounds - >= 874064 @ 1096.73
1172.55/1175.97	c GLOBAL bounds - >= 874064 @ 1096.84
1173.25/1176.66	c GLOBAL bounds - >= 874064 @ 1097.47
1186.20/1189.67	c GLOBAL bounds - >= 874064 @ 1110.31
1186.61/1190.02	c GLOBAL bounds - >= 874064 @ 1110.61
1187.20/1190.61	c GLOBAL bounds - >= 874064 @ 1111.13
1187.71/1191.12	c GLOBAL bounds - >= 874064 @ 1111.59
1188.70/1192.16	c GLOBAL bounds - >= 874064 @ 1112.57
1347.30/1351.26	c #Conflicts:      33000 | #Constraints:    4863060
1347.30/1351.26	c #Conflicts:      34000 | #Constraints:    4864060
1347.30/1351.26	c #Conflicts:      35000 | #Constraints:    4865060
1347.30/1351.26	c #Conflicts:      36000 | #Constraints:    4866060
1347.30/1351.26	c INPROCESSING
1347.30/1351.26	c GARBAGE COLLECT
1347.30/1351.26	c GLOBAL bounds - >= 889035 @ 1270.65
1347.51/1351.49	c GLOBAL bounds - >= 889035 @ 1270.87
1347.61/1351.53	c GLOBAL bounds - >= 889035 @ 1270.89
1347.61/1351.58	c GLOBAL bounds - >= 889035 @ 1270.92
1347.70/1351.62	c GLOBAL bounds - >= 889035 @ 1270.96
1347.70/1351.66	c GLOBAL bounds - >= 889035 @ 1270.99
1347.81/1351.70	c GLOBAL bounds - >= 889035 @ 1271.02
1347.81/1351.75	c GLOBAL bounds - >= 889035 @ 1271.04
1347.81/1351.79	c GLOBAL bounds - >= 889035 @ 1271.08
1347.91/1351.84	c GLOBAL bounds - >= 889035 @ 1271.11
1347.91/1351.88	c GLOBAL bounds - >= 889035 @ 1271.14
1348.81/1352.79	c GLOBAL bounds - >= 889035 @ 1271.98
1348.90/1352.84	c GLOBAL bounds - >= 889035 @ 1272.01
1349.00/1352.97	c GLOBAL bounds - >= 889035 @ 1272.09
1349.11/1353.02	c GLOBAL bounds - >= 889035 @ 1272.12
1349.21/1353.15	c GLOBAL bounds - >= 889035 @ 1272.19
1349.30/1353.20	c GLOBAL bounds - >= 889035 @ 1272.22
1349.40/1353.33	c GLOBAL bounds - >= 889035 @ 1272.3
1349.40/1353.37	c GLOBAL bounds - >= 889035 @ 1272.33
1349.60/1353.50	c GLOBAL bounds - >= 889035 @ 1272.4
1349.60/1353.55	c GLOBAL bounds - >= 889035 @ 1272.43
1349.70/1353.68	c GLOBAL bounds - >= 889035 @ 1272.51
1349.80/1353.72	c GLOBAL bounds - >= 889035 @ 1272.54
1349.91/1353.85	c GLOBAL bounds - >= 889035 @ 1272.62
1349.91/1353.89	c GLOBAL bounds - >= 889035 @ 1272.65
1350.10/1354.02	c GLOBAL bounds - >= 889035 @ 1272.71
1350.10/1354.07	c GLOBAL bounds - >= 889035 @ 1272.74
1350.20/1354.19	c GLOBAL bounds - >= 889035 @ 1272.81
1350.30/1354.24	c GLOBAL bounds - >= 889035 @ 1272.84
1350.39/1354.36	c GLOBAL bounds - >= 889035 @ 1272.91
1350.70/1354.60	c GLOBAL bounds - >= 889035 @ 1273.08
1350.80/1354.77	c GLOBAL bounds - >= 889035 @ 1273.19
1351.00/1354.96	c GLOBAL bounds - >= 889035 @ 1273.34
1351.20/1355.10	c GLOBAL bounds - >= 889035 @ 1273.42
1351.30/1355.25	c GLOBAL bounds - >= 889035 @ 1273.51
1351.50/1355.41	c GLOBAL bounds - >= 889035 @ 1273.62
1351.80/1355.72	c GLOBAL bounds - >= 889035 @ 1273.87
1351.89/1355.86	c GLOBAL bounds - >= 889035 @ 1273.96
1352.10/1356.02	c GLOBAL bounds - >= 889035 @ 1274.05
1352.59/1356.54	c GLOBAL bounds - >= 889035 @ 1274.52
1352.80/1356.76	c GLOBAL bounds - >= 889035 @ 1274.68
1352.99/1356.91	c GLOBAL bounds - >= 889035 @ 1274.79
1353.39/1357.31	c GLOBAL bounds - >= 889035 @ 1275.13
1353.88/1357.82	c GLOBAL bounds - >= 889035 @ 1275.6
1356.78/1360.73	c GLOBAL bounds - >= 889035 @ 1278.44
1356.98/1360.99	c GLOBAL bounds - >= 889035 @ 1278.65
1369.34/1373.38	c GLOBAL bounds - >= 889035 @ 1290.95
1382.11/1386.11	c #Conflicts:      37000 | #Constraints:    4888970
1382.11/1386.11	c GLOBAL bounds - >= 889035 @ 1303.57
1382.50/1386.55	c GLOBAL bounds - >= 889035 @ 1303.96
1406.73/1410.84	c #Conflicts:      38000 | #Constraints:    4892648
1406.73/1410.84	c GLOBAL bounds - >= 889035 @ 1328.1
1588.12/1592.73	c #Conflicts:      39000 | #Constraints:    4895059
1588.12/1592.73	c #Conflicts:      40000 | #Constraints:    4896059
1588.12/1592.73	c #Conflicts:      41000 | #Constraints:    4897059
1588.12/1592.73	c INPROCESSING
1588.12/1592.73	c GARBAGE COLLECT
1588.12/1592.73	c #Conflicts:      42000 | #Constraints:    4891405
1588.12/1592.73	c GLOBAL bounds - >= 890001 @ 1509.29
1588.22/1592.84	c GLOBAL bounds - >= 890001 @ 1509.38
1588.22/1592.88	c GLOBAL bounds - >= 890001 @ 1509.4
1588.32/1592.91	c GLOBAL bounds - >= 890001 @ 1509.43
1588.32/1592.95	c GLOBAL bounds - >= 890001 @ 1509.45
1588.32/1592.99	c GLOBAL bounds - >= 890001 @ 1509.48
1588.42/1593.03	c GLOBAL bounds - >= 890001 @ 1509.5
1588.42/1593.07	c GLOBAL bounds - >= 890001 @ 1509.53
1588.53/1593.10	c GLOBAL bounds - >= 890001 @ 1509.55
1588.53/1593.14	c GLOBAL bounds - >= 890001 @ 1509.57
1588.53/1593.17	c GLOBAL bounds - >= 890001 @ 1509.6
1588.72/1593.30	c GLOBAL bounds - >= 890001 @ 1509.66
1588.72/1593.34	c GLOBAL bounds - >= 890001 @ 1509.69
1588.82/1593.47	c GLOBAL bounds - >= 890001 @ 1509.75
1588.92/1593.51	c GLOBAL bounds - >= 890001 @ 1509.78
1589.01/1593.63	c GLOBAL bounds - >= 890001 @ 1509.83
1589.01/1593.67	c GLOBAL bounds - >= 890001 @ 1509.86
1589.22/1593.80	c GLOBAL bounds - >= 890001 @ 1509.93
1589.22/1593.84	c GLOBAL bounds - >= 890001 @ 1509.96
1589.32/1593.96	c GLOBAL bounds - >= 890001 @ 1510.04
1589.42/1594.00	c GLOBAL bounds - >= 890001 @ 1510.06
1589.52/1594.12	c GLOBAL bounds - >= 890001 @ 1510.13
1589.52/1594.16	c GLOBAL bounds - >= 890001 @ 1510.16
1589.62/1594.29	c GLOBAL bounds - >= 890001 @ 1510.23
1589.72/1594.33	c GLOBAL bounds - >= 890001 @ 1510.26
1589.82/1594.45	c GLOBAL bounds - >= 890001 @ 1510.33
1589.82/1594.49	c GLOBAL bounds - >= 890001 @ 1510.35
1590.01/1594.62	c GLOBAL bounds - >= 890001 @ 1510.42
1590.01/1594.66	c GLOBAL bounds - >= 890001 @ 1510.46
1590.11/1594.77	c GLOBAL bounds - >= 890001 @ 1510.52
1590.32/1594.96	c GLOBAL bounds - >= 890001 @ 1510.64
1590.71/1595.30	c GLOBAL bounds - >= 890001 @ 1510.93
1591.21/1595.81	c GLOBAL bounds - >= 890001 @ 1511.38
1591.91/1596.57	c GLOBAL bounds - >= 890001 @ 1512.09
1592.11/1596.71	c GLOBAL bounds - >= 890001 @ 1512.18
1592.51/1597.17	c GLOBAL bounds - >= 890001 @ 1512.59
1592.81/1597.49	c GLOBAL bounds - >= 890001 @ 1512.85
1595.71/1600.32	c GLOBAL bounds - >= 890001 @ 1515.62
1599.50/1604.13	c GLOBAL bounds - >= 890001 @ 1519.35
1600.09/1604.70	c #Conflicts:      43000 | #Constraints:    4912240
1600.09/1604.70	c GLOBAL bounds - >= 890001 @ 1519.87
1601.50/1606.19	c GLOBAL bounds - >= 890001 @ 1521.3
1603.18/1607.84	c GLOBAL bounds - >= 890001 @ 1522.89
1620.94/1625.63	c GLOBAL bounds - >= 890001 @ 1540.55
1622.35/1627.05	c GLOBAL bounds - >= 890001 @ 1541.91
1622.44/1627.19	c GLOBAL bounds - >= 890001 @ 1542.01
1622.83/1627.51	c GLOBAL bounds - >= 890001 @ 1542.27
1628.52/1633.28	c #Conflicts:      44000 | #Constraints:    4921363
1628.52/1633.28	c GLOBAL bounds - >= 890001 @ 1547.97
1710.13/1715.07	c #Conflicts:      45000 | #Constraints:    4923702
1710.13/1715.07	c #Conflicts:      46000 | #Constraints:    4924702
1710.13/1715.07	c GLOBAL bounds - >= 890001 @ 1629.37
1710.32/1715.28	c GLOBAL bounds - >= 890001 @ 1629.53
1790.12/1795.29	c #Conflicts:      47000 | #Constraints:    4928380
1790.12/1795.29	c INPROCESSING
1790.12/1795.29	c GARBAGE COLLECT
1790.12/1795.29	c #Conflicts:      48000 | #Constraints:    4923232
1790.12/1795.29	c #Conflicts:      49000 | #Constraints:    4924232
1790.12/1795.29	c GLOBAL bounds - >= 890001 @ 1709.2
1813.66/1818.81	c GLOBAL bounds - >= 890001 @ 1732.57
1814.16/1819.39	c GLOBAL bounds - >= 890001 @ 1733.1
1895.66/1901.09	c #Conflicts:      50000 | #Constraints:    4929321
1895.66/1901.09	c #Conflicts:      51000 | #Constraints:    4930321
1895.66/1901.09	c #Conflicts:      52000 | #Constraints:    4931321
1895.66/1901.09	c GLOBAL bounds - >= 890001 @ 1814.45
1921.88/1927.35	c GLOBAL bounds - >= 902854 @ 1840.63
1922.08/1927.51	c GLOBAL bounds - >= 902854 @ 1840.77
1922.08/1927.54	c GLOBAL bounds - >= 902854 @ 1840.8
1922.08/1927.58	c GLOBAL bounds - >= 902854 @ 1840.82
1922.18/1927.62	c GLOBAL bounds - >= 902854 @ 1840.85
1922.18/1927.65	c GLOBAL bounds - >= 902854 @ 1840.88
1922.18/1927.69	c GLOBAL bounds - >= 902854 @ 1840.9
1922.28/1927.73	c GLOBAL bounds - >= 902854 @ 1840.93
1922.28/1927.76	c GLOBAL bounds - >= 902854 @ 1840.96
1922.38/1927.80	c GLOBAL bounds - >= 902854 @ 1840.98
1922.38/1927.83	c GLOBAL bounds - >= 902854 @ 1841
1922.38/1927.87	c GLOBAL bounds - >= 902854 @ 1841.03
1922.58/1928.10	c GLOBAL bounds - >= 902854 @ 1841.2
1922.69/1928.13	c GLOBAL bounds - >= 902854 @ 1841.22
1922.78/1928.27	c GLOBAL bounds - >= 902854 @ 1841.3
1922.88/1928.30	c GLOBAL bounds - >= 902854 @ 1841.32
1922.98/1928.44	c GLOBAL bounds - >= 902854 @ 1841.4
1922.98/1928.47	c GLOBAL bounds - >= 902854 @ 1841.43
1923.17/1928.61	c GLOBAL bounds - >= 902854 @ 1841.51
1923.17/1928.64	c GLOBAL bounds - >= 902854 @ 1841.53
1923.28/1928.77	c GLOBAL bounds - >= 902854 @ 1841.61
1923.37/1928.81	c GLOBAL bounds - >= 902854 @ 1841.63
1923.48/1928.93	c GLOBAL bounds - >= 902854 @ 1841.69
1923.48/1928.96	c GLOBAL bounds - >= 902854 @ 1841.71
1923.59/1929.10	c GLOBAL bounds - >= 902854 @ 1841.79
1923.68/1929.13	c GLOBAL bounds - >= 902854 @ 1841.81
1923.78/1929.26	c GLOBAL bounds - >= 902854 @ 1841.9
1923.88/1929.30	c GLOBAL bounds - >= 902854 @ 1841.92
1923.98/1929.42	c GLOBAL bounds - >= 902854 @ 1841.98
1923.98/1929.45	c GLOBAL bounds - >= 902854 @ 1842.01
1924.08/1929.58	c GLOBAL bounds - >= 902854 @ 1842.08
1924.28/1929.75	c GLOBAL bounds - >= 902854 @ 1842.19
1924.38/1929.89	c GLOBAL bounds - >= 902854 @ 1842.28
1925.38/1930.84	c GLOBAL bounds - >= 902854 @ 1843.18
1925.77/1931.24	c GLOBAL bounds - >= 902854 @ 1843.53
1926.07/1931.52	c GLOBAL bounds - >= 902854 @ 1843.76
1926.87/1932.30	c GLOBAL bounds - >= 902854 @ 1844.47
1928.46/1933.92	c GLOBAL bounds - >= 902854 @ 1846.02
1930.67/1936.15	c GLOBAL bounds - >= 902854 @ 1848.19
1930.76/1936.29	c GLOBAL bounds - >= 902854 @ 1848.28
1932.66/1938.16	c #Conflicts:      53000 | #Constraints:    4953792
1932.66/1938.16	c GLOBAL bounds - >= 902854 @ 1850.09
1933.36/1938.81	c GLOBAL bounds - >= 902854 @ 1850.68
1935.26/1940.76	c GLOBAL bounds - >= 902854 @ 1852.56
1944.03/1949.57	c GLOBAL bounds - >= 902854 @ 1861.29
1962.29/1967.88	c GLOBAL bounds - >= 902854 @ 1879.49
1973.65/1979.27	c #Conflicts:      54000 | #Constraints:    4961193
1973.65/1979.27	c GLOBAL bounds - >= 902854 @ 1890.79
2052.35/2058.18	c #Conflicts:      55000 | #Constraints:    4963532
2052.35/2058.18	c #Conflicts:      56000 | #Constraints:    4964532
2052.35/2058.18	c GLOBAL bounds - >= 902854 @ 1969.31
2059.83/2065.60	c GLOBAL bounds - >= 902854 @ 1976.63
2067.50/2073.38	c GLOBAL bounds - >= 908491 @ 1984.38
2067.60/2073.47	c GLOBAL bounds - >= 908491 @ 1984.47
2068.10/2073.97	c GLOBAL bounds - >= 908491 @ 1984.89
2068.10/2074.00	c GLOBAL bounds - >= 908491 @ 1984.9
2068.31/2074.15	c GLOBAL bounds - >= 908491 @ 1984.99
2068.31/2074.17	c GLOBAL bounds - >= 908491 @ 1985.01
2068.51/2074.31	c GLOBAL bounds - >= 908491 @ 1985.1
2068.51/2074.34	c GLOBAL bounds - >= 908491 @ 1985.11
2068.60/2074.48	c GLOBAL bounds - >= 908491 @ 1985.19
2068.70/2074.51	c GLOBAL bounds - >= 908491 @ 1985.21
2068.80/2074.65	c GLOBAL bounds - >= 908491 @ 1985.29
2068.80/2074.67	c GLOBAL bounds - >= 908491 @ 1985.31
2069.00/2074.81	c GLOBAL bounds - >= 908491 @ 1985.39
2069.00/2074.84	c GLOBAL bounds - >= 908491 @ 1985.4
2069.10/2074.99	c GLOBAL bounds - >= 908491 @ 1985.5
2069.21/2075.02	c GLOBAL bounds - >= 908491 @ 1985.51
2069.30/2075.16	c GLOBAL bounds - >= 908491 @ 1985.59
2069.30/2075.19	c GLOBAL bounds - >= 908491 @ 1985.61
2069.51/2075.33	c GLOBAL bounds - >= 908491 @ 1985.69
2069.51/2075.33	c GLOBAL bounds - >= 908491 @ 1985.7
2069.60/2075.47	c GLOBAL bounds - >= 908491 @ 1985.78
2069.81/2075.64	c GLOBAL bounds - >= 908491 @ 1985.89
2069.90/2075.78	c GLOBAL bounds - >= 908491 @ 1985.98
2070.10/2075.92	c GLOBAL bounds - >= 908491 @ 1986.06
2071.90/2077.70	c GLOBAL bounds - >= 908491 @ 1987.77
2072.00/2077.85	c GLOBAL bounds - >= 908491 @ 1987.87
2072.50/2078.31	c GLOBAL bounds - >= 908491 @ 1988.28
2072.69/2078.56	c GLOBAL bounds - >= 908491 @ 1988.47
2073.60/2079.49	c GLOBAL bounds - >= 908491 @ 1989.35
2073.99/2079.81	c GLOBAL bounds - >= 908491 @ 1989.61
2074.09/2079.96	c GLOBAL bounds - >= 908491 @ 1989.7
2074.39/2080.24	c GLOBAL bounds - >= 908491 @ 1989.93
2074.49/2080.39	c GLOBAL bounds - >= 908491 @ 1990.04
2074.69/2080.54	c GLOBAL bounds - >= 908491 @ 1990.13
2075.39/2081.26	c GLOBAL bounds - >= 908491 @ 1990.79
2076.38/2082.29	c GLOBAL bounds - >= 908491 @ 1991.76
2076.59/2082.49	c GLOBAL bounds - >= 908491 @ 1991.91
2076.78/2082.65	c GLOBAL bounds - >= 908491 @ 1992.01
2077.19/2083.02	c GLOBAL bounds - >= 908491 @ 1992.33
2077.49/2083.35	c GLOBAL bounds - >= 908491 @ 1992.6
2081.08/2086.91	c GLOBAL bounds - >= 908491 @ 1996.07
2081.28/2087.19	c GLOBAL bounds - >= 908491 @ 1996.29
2081.87/2087.71	c GLOBAL bounds - >= 908491 @ 1996.76
2082.08/2087.96	c GLOBAL bounds - >= 908491 @ 1996.95
2082.37/2088.20	c GLOBAL bounds - >= 908491 @ 1997.14
2083.87/2089.78	c #Conflicts:      57000 | #Constraints:    4996949
2083.87/2089.78	c GLOBAL bounds - >= 908491 @ 1998.66
2084.18/2090.01	c GLOBAL bounds - >= 908491 @ 1998.84
2085.36/2091.21	c GLOBAL bounds - >= 908491 @ 1999.99
2086.28/2092.10	c GLOBAL bounds - >= 908491 @ 2000.83
2086.76/2092.67	c GLOBAL bounds - >= 908491 @ 2001.34
2087.17/2093.05	c GLOBAL bounds - >= 908491 @ 2001.68
2087.46/2093.37	c GLOBAL bounds - >= 908491 @ 2001.94
2116.79/2122.77	c GLOBAL bounds - >= 908491 @ 2031.07
2117.68/2123.60	c GLOBAL bounds - >= 908491 @ 2031.86
2126.37/2132.35	c #Conflicts:      58000 | #Constraints:    5008966
2126.37/2132.35	c GLOBAL bounds - >= 918125 @ 2040.56
2126.56/2132.50	c GLOBAL bounds - >= 918125 @ 2040.69
2126.56/2132.53	c GLOBAL bounds - >= 918125 @ 2040.72
2126.56/2132.57	c GLOBAL bounds - >= 918125 @ 2040.75
2126.67/2132.60	c GLOBAL bounds - >= 918125 @ 2040.77
2126.67/2132.62	c GLOBAL bounds - >= 918125 @ 2040.79
2126.67/2132.64	c GLOBAL bounds - >= 918125 @ 2040.8
2126.67/2132.67	c GLOBAL bounds - >= 918125 @ 2040.81
2126.67/2132.69	c GLOBAL bounds - >= 918125 @ 2040.83
2127.07/2133.06	c GLOBAL bounds - >= 918125 @ 2041.14
2127.07/2133.10	c GLOBAL bounds - >= 918125 @ 2041.17
2127.26/2133.25	c GLOBAL bounds - >= 918125 @ 2041.25
2127.26/2133.29	c GLOBAL bounds - >= 918125 @ 2041.28
2127.46/2133.43	c GLOBAL bounds - >= 918125 @ 2041.37
2127.46/2133.47	c GLOBAL bounds - >= 918125 @ 2041.4
2127.66/2133.62	c GLOBAL bounds - >= 918125 @ 2041.49
2127.66/2133.66	c GLOBAL bounds - >= 918125 @ 2041.51
2127.86/2133.80	c GLOBAL bounds - >= 918125 @ 2041.6
2127.86/2133.84	c GLOBAL bounds - >= 918125 @ 2041.63
2127.96/2133.99	c GLOBAL bounds - >= 918125 @ 2041.72
2128.07/2134.03	c GLOBAL bounds - >= 918125 @ 2041.74
2128.16/2134.16	c GLOBAL bounds - >= 918125 @ 2041.81
2128.26/2134.20	c GLOBAL bounds - >= 918125 @ 2041.84
2128.36/2134.35	c GLOBAL bounds - >= 918125 @ 2041.93
2128.36/2134.39	c GLOBAL bounds - >= 918125 @ 2041.95
2128.56/2134.53	c GLOBAL bounds - >= 918125 @ 2042.04
2128.56/2134.57	c GLOBAL bounds - >= 918125 @ 2042.06
2128.76/2134.72	c GLOBAL bounds - >= 918125 @ 2042.15
2128.95/2134.91	c GLOBAL bounds - >= 918125 @ 2042.28
2129.06/2135.08	c GLOBAL bounds - >= 918125 @ 2042.39
2129.36/2135.33	c GLOBAL bounds - >= 918125 @ 2042.59
2129.55/2135.51	c GLOBAL bounds - >= 918125 @ 2042.72
2133.75/2139.76	c GLOBAL bounds - >= 918125 @ 2046.87
2134.25/2140.23	c GLOBAL bounds - >= 918125 @ 2047.29
2134.44/2140.48	c GLOBAL bounds - >= 918125 @ 2047.48
2138.24/2144.24	c GLOBAL bounds - >= 918125 @ 2051.15
2138.44/2144.42	c GLOBAL bounds - >= 918125 @ 2051.28
2138.63/2144.60	c GLOBAL bounds - >= 918125 @ 2051.41
2139.33/2145.34	c GLOBAL bounds - >= 918125 @ 2052.1
2149.01/2155.03	c GLOBAL bounds - >= 918125 @ 2061.65
2149.50/2155.52	c GLOBAL bounds - >= 918125 @ 2062.1
2149.60/2155.69	c GLOBAL bounds - >= 918125 @ 2062.22
2157.29/2163.37	c GLOBAL bounds - >= 918125 @ 2069.78
2158.99/2165.01	c GLOBAL bounds - >= 918125 @ 2071.36
2159.58/2165.64	c GLOBAL bounds - >= 918125 @ 2071.93
2159.88/2165.94	c #Conflicts:      59000 | #Constraints:    5039192
2159.88/2165.94	c GLOBAL bounds - >= 918125 @ 2072.18
2254.63/2260.97	c #Conflicts:      60000 | #Constraints:    5041528
2254.63/2260.97	c GLOBAL bounds - >= 925062 @ 2166.56
2254.84/2261.13	c GLOBAL bounds - >= 925062 @ 2166.7
2254.84/2261.17	c GLOBAL bounds - >= 925062 @ 2166.72
2254.93/2261.21	c GLOBAL bounds - >= 925062 @ 2166.75
2254.93/2261.24	c GLOBAL bounds - >= 925062 @ 2166.77
2254.93/2261.28	c GLOBAL bounds - >= 925062 @ 2166.8
2262.32/2268.60	c #Conflicts:      61000 | #Constraints:    5042532
2262.32/2268.60	c GLOBAL bounds - >= 925062 @ 2174
2262.32/2268.64	c GLOBAL bounds - >= 925062 @ 2174.02
2262.51/2268.80	c GLOBAL bounds - >= 925062 @ 2174.12
2262.51/2268.84	c GLOBAL bounds - >= 925062 @ 2174.15
2262.62/2268.99	c GLOBAL bounds - >= 925062 @ 2174.25
2262.72/2269.03	c GLOBAL bounds - >= 925062 @ 2174.28
2262.82/2269.19	c GLOBAL bounds - >= 925062 @ 2174.38
2262.92/2269.23	c GLOBAL bounds - >= 925062 @ 2174.41
2263.02/2269.38	c GLOBAL bounds - >= 925062 @ 2174.49
2263.12/2269.42	c GLOBAL bounds - >= 925062 @ 2174.52
2263.21/2269.57	c GLOBAL bounds - >= 925062 @ 2174.6
2263.31/2269.61	c GLOBAL bounds - >= 925062 @ 2174.63
2263.42/2269.76	c GLOBAL bounds - >= 925062 @ 2174.72
2263.51/2269.80	c GLOBAL bounds - >= 925062 @ 2174.75
2263.61/2269.95	c GLOBAL bounds - >= 925062 @ 2174.85
2263.61/2269.99	c GLOBAL bounds - >= 925062 @ 2174.87
2263.82/2270.14	c GLOBAL bounds - >= 925062 @ 2174.97
2263.82/2270.18	c GLOBAL bounds - >= 925062 @ 2175
2264.02/2270.33	c GLOBAL bounds - >= 925062 @ 2175.09
2264.12/2270.48	c GLOBAL bounds - >= 925062 @ 2175.19
2264.31/2270.63	c GLOBAL bounds - >= 925062 @ 2175.29
2264.62/2270.93	c GLOBAL bounds - >= 925062 @ 2175.52
2265.41/2271.71	c GLOBAL bounds - >= 925062 @ 2176.23
2266.31/2272.67	c GLOBAL bounds - >= 925062 @ 2177.11
2266.82/2273.12	c GLOBAL bounds - >= 925062 @ 2177.52
2267.40/2273.72	c GLOBAL bounds - >= 925062 @ 2178.05
2267.81/2274.17	c GLOBAL bounds - >= 925062 @ 2178.45
2268.51/2274.83	c GLOBAL bounds - >= 925062 @ 2179.05
2269.40/2275.71	c GLOBAL bounds - >= 925062 @ 2179.87
2269.60/2275.91	c GLOBAL bounds - >= 925062 @ 2180.01
2270.00/2276.37	c GLOBAL bounds - >= 925062 @ 2180.42
2270.60/2276.98	c GLOBAL bounds - >= 925062 @ 2180.98
2270.99/2277.30	c GLOBAL bounds - >= 925062 @ 2181.25
2271.90/2278.29	c GLOBAL bounds - >= 925062 @ 2182.18
2277.69/2284.09	c GLOBAL bounds - >= 925062 @ 2187.87
2277.98/2284.34	c GLOBAL bounds - >= 925062 @ 2188.06
2283.86/2290.27	c GLOBAL bounds - >= 925062 @ 2193.9
2293.44/2299.85	c GLOBAL bounds - >= 925062 @ 2203.36
2305.71/2312.11	c #Conflicts:      62000 | #Constraints:    5075156
2305.71/2312.11	c GLOBAL bounds - >= 925062 @ 2215.46
2348.00/2354.59	c INPROCESSING
2348.00/2354.59	c GARBAGE COLLECT
2348.00/2354.59	c GLOBAL bounds - >= 925062 @ 2257.64
2437.37/2444.14	c #Conflicts:      63000 | #Constraints:    5067785
2437.37/2444.14	c #Conflicts:      64000 | #Constraints:    5068785
2437.37/2444.14	c #Conflicts:      65000 | #Constraints:    5069785
2437.37/2444.14	c GLOBAL bounds - >= 925062 @ 2346.79
2541.79/2548.80	c #Conflicts:      66000 | #Constraints:    5072124
2541.79/2548.80	c #Conflicts:      67000 | #Constraints:    5073124
2541.79/2548.80	c GLOBAL bounds - >= 926874 @ 2451.06
2541.89/2548.91	c GLOBAL bounds - >= 926874 @ 2451.16
2541.89/2548.94	c GLOBAL bounds - >= 926874 @ 2451.18
2541.89/2548.98	c GLOBAL bounds - >= 926874 @ 2451.2
2542.59/2549.70	c GLOBAL bounds - >= 926874 @ 2451.86
2542.69/2549.73	c GLOBAL bounds - >= 926874 @ 2451.89
2542.79/2549.88	c GLOBAL bounds - >= 926874 @ 2451.98
2542.89/2549.92	c GLOBAL bounds - >= 926874 @ 2452.01
2542.99/2550.05	c GLOBAL bounds - >= 926874 @ 2452.09
2542.99/2550.09	c GLOBAL bounds - >= 926874 @ 2452.12
2543.19/2550.23	c GLOBAL bounds - >= 926874 @ 2452.2
2543.19/2550.27	c GLOBAL bounds - >= 926874 @ 2452.23
2543.39/2550.40	c GLOBAL bounds - >= 926874 @ 2452.31
2543.39/2550.44	c GLOBAL bounds - >= 926874 @ 2452.34
2543.49/2550.57	c GLOBAL bounds - >= 926874 @ 2452.42
2543.59/2550.61	c GLOBAL bounds - >= 926874 @ 2452.45
2543.68/2550.75	c GLOBAL bounds - >= 926874 @ 2452.53
2543.68/2550.78	c GLOBAL bounds - >= 926874 @ 2452.56
2543.89/2550.92	c GLOBAL bounds - >= 926874 @ 2452.64
2543.89/2550.96	c GLOBAL bounds - >= 926874 @ 2452.66
2543.99/2551.10	c GLOBAL bounds - >= 926874 @ 2452.75
2544.09/2551.14	c GLOBAL bounds - >= 926874 @ 2452.77
2544.19/2551.27	c GLOBAL bounds - >= 926874 @ 2452.85
2544.59/2551.63	c GLOBAL bounds - >= 926874 @ 2453.15
2547.38/2554.43	c GLOBAL bounds - >= 926874 @ 2455.89
2547.58/2554.60	c GLOBAL bounds - >= 926874 @ 2456.02
2547.78/2554.85	c GLOBAL bounds - >= 926874 @ 2456.2
2547.88/2554.96	c GLOBAL bounds - >= 926874 @ 2456.31
2547.98/2555.04	c GLOBAL bounds - >= 926874 @ 2456.37
2548.08/2555.19	c GLOBAL bounds - >= 926874 @ 2456.47
2548.18/2555.23	c GLOBAL bounds - >= 926874 @ 2456.5
2548.27/2555.37	c GLOBAL bounds - >= 926874 @ 2456.59
2548.38/2555.41	c GLOBAL bounds - >= 926874 @ 2456.62
2548.48/2555.55	c GLOBAL bounds - >= 926874 @ 2456.7
2548.48/2555.59	c GLOBAL bounds - >= 926874 @ 2456.73
2548.68/2555.72	c GLOBAL bounds - >= 926874 @ 2456.81
2548.68/2555.76	c GLOBAL bounds - >= 926874 @ 2456.83
2548.88/2555.90	c GLOBAL bounds - >= 926874 @ 2456.92
2548.88/2555.94	c GLOBAL bounds - >= 926874 @ 2456.94
2548.98/2556.07	c GLOBAL bounds - >= 926874 @ 2457.02
2549.08/2556.11	c GLOBAL bounds - >= 926874 @ 2457.05
2549.17/2556.25	c GLOBAL bounds - >= 926874 @ 2457.13
2549.17/2556.29	c GLOBAL bounds - >= 926874 @ 2457.16
2549.38/2556.42	c GLOBAL bounds - >= 926874 @ 2457.23
2549.38/2556.46	c GLOBAL bounds - >= 926874 @ 2457.26
2549.57/2556.60	c GLOBAL bounds - >= 926874 @ 2457.33
2549.57/2556.64	c GLOBAL bounds - >= 926874 @ 2457.37
2549.67/2556.77	c GLOBAL bounds - >= 926874 @ 2457.44
2549.78/2556.89	c GLOBAL bounds - >= 926874 @ 2457.52
2549.98/2557.02	c GLOBAL bounds - >= 926874 @ 2457.59
2550.08/2557.15	c GLOBAL bounds - >= 926874 @ 2457.66
2550.18/2557.28	c GLOBAL bounds - >= 926874 @ 2457.74
2550.37/2557.47	c GLOBAL bounds - >= 926874 @ 2457.88
2550.68/2557.73	c GLOBAL bounds - >= 926874 @ 2458.09
2550.77/2557.88	c GLOBAL bounds - >= 926874 @ 2458.19
2551.08/2558.17	c GLOBAL bounds - >= 926874 @ 2458.43
2551.67/2558.73	c GLOBAL bounds - >= 926874 @ 2458.92
2551.97/2559.01	c GLOBAL bounds - >= 926874 @ 2459.14
2552.08/2559.17	c GLOBAL bounds - >= 926874 @ 2459.26
2552.27/2559.33	c GLOBAL bounds - >= 926874 @ 2459.38
2552.97/2560.06	c GLOBAL bounds - >= 926874 @ 2460.05
2553.27/2560.33	c GLOBAL bounds - >= 926874 @ 2460.26
2553.36/2560.47	c GLOBAL bounds - >= 926874 @ 2460.35
2553.76/2560.80	c GLOBAL bounds - >= 926874 @ 2460.63
2672.97/2680.33	c #Conflicts:      68000 | #Constraints:    5116673
2672.97/2680.33	c #Conflicts:      69000 | #Constraints:    5117673
2672.97/2680.33	c INPROCESSING
2672.97/2680.33	c GARBAGE COLLECT
2672.97/2680.33	c #Conflicts:      70000 | #Constraints:    5109743
2672.97/2680.33	c #Conflicts:      71000 | #Constraints:    5110743
2672.97/2680.33	c GLOBAL bounds - >= 926874 @ 2579.65
2676.55/2683.94	c GLOBAL bounds - >= 926874 @ 2583.18
3021.24/3029.56	c #Conflicts:      72000 | #Constraints:    5114415
3021.24/3029.56	c #Conflicts:      73000 | #Constraints:    5115415
3021.24/3029.56	c #Conflicts:      74000 | #Constraints:    5116415
3021.24/3029.56	c #Conflicts:      75000 | #Constraints:    5117415
3021.24/3029.56	c #Conflicts:      76000 | #Constraints:    5118415
3021.24/3029.56	c INPROCESSING
3021.24/3029.56	c GARBAGE COLLECT
3021.24/3029.56	c #Conflicts:      77000 | #Constraints:    5111430
3021.24/3029.56	c #Conflicts:      78000 | #Constraints:    5112430
3021.24/3029.56	c #Conflicts:      79000 | #Constraints:    5113430
3021.24/3029.56	c GLOBAL bounds - >= 926874 @ 2927.46
3027.92/3036.23	c GLOBAL bounds - >= 934497 @ 2934.12
3028.02/3036.34	c GLOBAL bounds - >= 934497 @ 2934.21
3028.02/3036.37	c GLOBAL bounds - >= 934497 @ 2934.24
3028.12/3036.41	c GLOBAL bounds - >= 934497 @ 2934.27
3028.12/3036.45	c GLOBAL bounds - >= 934497 @ 2934.29
3028.12/3036.48	c GLOBAL bounds - >= 934497 @ 2934.32
3028.22/3036.52	c GLOBAL bounds - >= 934497 @ 2934.34
3028.22/3036.56	c GLOBAL bounds - >= 934497 @ 2934.37
3028.22/3036.59	c GLOBAL bounds - >= 934497 @ 2934.39
3028.32/3036.63	c GLOBAL bounds - >= 934497 @ 2934.42
3028.32/3036.67	c GLOBAL bounds - >= 934497 @ 2934.44
3030.12/3038.49	c GLOBAL bounds - >= 934497 @ 2936.21
3030.22/3038.53	c GLOBAL bounds - >= 934497 @ 2936.24
3030.32/3038.67	c GLOBAL bounds - >= 934497 @ 2936.32
3030.41/3038.71	c GLOBAL bounds - >= 934497 @ 2936.34
3030.51/3038.85	c GLOBAL bounds - >= 934497 @ 2936.43
3030.51/3038.89	c GLOBAL bounds - >= 934497 @ 2936.46
3030.72/3039.02	c GLOBAL bounds - >= 934497 @ 2936.55
3030.72/3039.06	c GLOBAL bounds - >= 934497 @ 2936.58
3030.91/3039.20	c GLOBAL bounds - >= 934497 @ 2936.66
3030.91/3039.24	c GLOBAL bounds - >= 934497 @ 2936.68
3031.01/3039.37	c GLOBAL bounds - >= 934497 @ 2936.76
3031.11/3039.41	c GLOBAL bounds - >= 934497 @ 2936.78
3031.21/3039.54	c GLOBAL bounds - >= 934497 @ 2936.85
3031.21/3039.58	c GLOBAL bounds - >= 934497 @ 2936.87
3031.41/3039.71	c GLOBAL bounds - >= 934497 @ 2936.94
3031.41/3039.75	c GLOBAL bounds - >= 934497 @ 2936.97
3031.51/3039.88	c GLOBAL bounds - >= 934497 @ 2937.05
3031.61/3039.92	c GLOBAL bounds - >= 934497 @ 2937.08
3031.71/3040.05	c GLOBAL bounds - >= 934497 @ 2937.15
3031.91/3040.20	c GLOBAL bounds - >= 934497 @ 2937.24
3032.01/3040.34	c GLOBAL bounds - >= 934497 @ 2937.33
3032.11/3040.49	c GLOBAL bounds - >= 934497 @ 2937.43
3032.31/3040.63	c GLOBAL bounds - >= 934497 @ 2937.52
3032.41/3040.79	c GLOBAL bounds - >= 934497 @ 2937.62
3032.61/3040.95	c GLOBAL bounds - >= 934497 @ 2937.73
3032.81/3041.19	c GLOBAL bounds - >= 934497 @ 2937.92
3034.10/3042.41	c GLOBAL bounds - >= 934497 @ 2939.08
3034.21/3042.56	c GLOBAL bounds - >= 934497 @ 2939.18
3034.51/3042.84	c GLOBAL bounds - >= 934497 @ 2939.41
3046.68/3055.07	c GLOBAL bounds - >= 934497 @ 2951.54
3545.17/3554.80	c #Conflicts:      80000 | #Constraints:    5139461
3545.17/3554.80	c #Conflicts:      81000 | #Constraints:    5140461
3545.17/3554.80	c #Conflicts:      82000 | #Constraints:    5141461
3545.17/3554.80	c #Conflicts:      83000 | #Constraints:    5142461
3545.17/3554.80	c #Conflicts:      84000 | #Constraints:    5143461
3545.17/3554.80	c #Conflicts:      85000 | #Constraints:    5144461
3545.17/3554.80	c #Conflicts:      86000 | #Constraints:    5145461
3545.17/3554.80	c #Conflicts:      87000 | #Constraints:    5146461
3545.17/3554.80	c #Conflicts:      88000 | #Constraints:    5147461
3545.17/3554.80	c #Conflicts:      89000 | #Constraints:    5148461
3545.17/3554.80	c GLOBAL bounds - >= 939162 @ 3449.36
3545.26/3554.94	c GLOBAL bounds - >= 939162 @ 3449.48
3545.26/3554.98	c GLOBAL bounds - >= 939162 @ 3449.51
3545.36/3555.01	c GLOBAL bounds - >= 939162 @ 3449.53
3545.36/3555.05	c GLOBAL bounds - >= 939162 @ 3449.55
3545.36/3555.09	c GLOBAL bounds - >= 939162 @ 3449.58
3545.47/3555.13	c GLOBAL bounds - >= 939162 @ 3449.6
3545.47/3555.16	c GLOBAL bounds - >= 939162 @ 3449.63
3545.57/3555.20	c GLOBAL bounds - >= 939162 @ 3449.65
3545.97/3555.65	c GLOBAL bounds - >= 939162 @ 3450.05
3545.97/3555.69	c GLOBAL bounds - >= 939162 @ 3450.07
3546.16/3555.86	c GLOBAL bounds - >= 939162 @ 3450.19
3546.26/3555.90	c GLOBAL bounds - >= 939162 @ 3450.23
3546.37/3556.06	c GLOBAL bounds - >= 939162 @ 3450.33
3546.37/3556.10	c GLOBAL bounds - >= 939162 @ 3450.35
3546.56/3556.25	c GLOBAL bounds - >= 939162 @ 3450.45
3546.56/3556.28	c GLOBAL bounds - >= 939162 @ 3450.48
3546.76/3556.43	c GLOBAL bounds - >= 939162 @ 3450.57
3546.76/3556.47	c GLOBAL bounds - >= 939162 @ 3450.6
3546.96/3556.62	c GLOBAL bounds - >= 939162 @ 3450.69
3546.96/3556.66	c GLOBAL bounds - >= 939162 @ 3450.72
3547.16/3556.81	c GLOBAL bounds - >= 939162 @ 3450.81
3547.16/3556.85	c GLOBAL bounds - >= 939162 @ 3450.84
3547.26/3556.99	c GLOBAL bounds - >= 939162 @ 3450.92
3547.36/3557.03	c GLOBAL bounds - >= 939162 @ 3450.95
3547.47/3557.18	c GLOBAL bounds - >= 939162 @ 3451.04
3547.56/3557.22	c GLOBAL bounds - >= 939162 @ 3451.06
3547.66/3557.36	c GLOBAL bounds - >= 939162 @ 3451.14
3547.85/3557.53	c GLOBAL bounds - >= 939162 @ 3451.25
3548.06/3557.74	c GLOBAL bounds - >= 939162 @ 3451.41
3548.25/3557.93	c GLOBAL bounds - >= 939162 @ 3451.54
3548.36/3558.07	c GLOBAL bounds - >= 939162 @ 3451.64
3548.56/3558.26	c GLOBAL bounds - >= 939162 @ 3451.77
3550.55/3560.26	c GLOBAL bounds - >= 939162 @ 3453.71
3550.95/3560.63	c GLOBAL bounds - >= 939162 @ 3454.03
3551.25/3560.96	c GLOBAL bounds - >= 939162 @ 3454.3
3553.65/3563.39	c GLOBAL bounds - >= 939162 @ 3456.66
3553.84/3563.55	c GLOBAL bounds - >= 939162 @ 3456.76
3554.34/3564.09	c GLOBAL bounds - >= 939162 @ 3457.25
3557.24/3566.91	c GLOBAL bounds - >= 939162 @ 3460.01
3598.62/3608.47	c #Conflicts:      90000 | #Constraints:    5173094
3598.62/3608.47	c GLOBAL bounds - >= 939162 @ 3501.18
3600.02/3609.82	c cpu time 3502.52 s
3600.02/3609.82	c deterministic time 838096253 8.38e+08
3600.02/3609.82	c optimization time 3478.83 s
3600.02/3609.82	c total solve time 22.7022 s
3600.02/3609.82	c core-guided solve time 0 s
3600.02/3609.82	c propagation time 11.9573 s
3600.02/3609.82	c conflict analysis time 6.55859 s
3600.02/3609.82	c propagations 125784043
3600.02/3609.82	c resolve steps 0
3600.02/3609.82	c decisions 45011128
3600.02/3609.82	c conflicts 256
3600.02/3609.82	c restarts 2
3600.02/3609.82	c inprocessing phases 0
3600.02/3609.82	c garbage collections 0 ,( -nan )
3600.02/3609.82	c input clauses 209990 ,( 71.80 )
3600.02/3609.82	c input cardinalities 48 ,( 0.02 )
3600.02/3609.82	c input general constraints 82409 ,( 28.18 )
3600.02/3609.82	c input average constraint length 121.13
3600.02/3609.82	c input average constraint degree 78929032.01
3600.02/3609.82	c learned clauses 272 ,( 34.04 )
3600.02/3609.82	c learned cardinalities 3 ,( 0.38 )
3600.02/3609.82	c learned general constraints 524 ,( 65.58 )
3600.02/3609.82	c learned average constraint length 716.21
3600.02/3609.82	c learned average constraint degree 3.96
3600.02/3609.82	c watched  CF 32, 64, 128, Arb: 559 , 0 , 0 , 0
3600.02/3609.82	c counting CF 32, 64, 128, Arb: 81832 , 543 , 0 , 0
3600.02/3609.82	c watched   constraints 559 ,( 0.67 ) 
3600.02/3609.82	c counting  constraints 82374 ,( 99.33 ) 
3600.02/3609.82	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 15236875 , 2965 , 89385831 ,( 516759 , 88869072 )
3600.02/3609.82	c gcd simplifications 1
3600.02/3609.82	c detected cardinalities 0
3600.02/3609.82	c weakened non-implied lits 0
3600.02/3609.82	c weakened non-implying lits 0
3600.02/3609.82	c original variables 126385
3600.02/3609.82	c clausal propagations 15085060
3600.02/3609.82	c cardinality propagations 309
3600.02/3609.82	c watched propagations 48361
3600.02/3609.82	c counting propagations 58123783
3600.02/3609.82	c watch lookups 115509275
3600.02/3609.82	c watch backjump lookups 0
3600.02/3609.82	c watch checks 125171898
3600.02/3609.82	c propagation checks 255152596
3600.02/3609.82	c constraint additions 669025
3600.02/3609.82	c trail pops 170795287
3600.02/3609.82	c formula constraints 290547
3600.02/3609.82	c learned constraints 799
3600.02/3609.82	c bound constraints 0
3600.02/3609.82	c core-guided constraints 0
3600.02/3609.82	c encountered formula constraints 82
3600.02/3609.82	c encountered learned constraints 88
3600.02/3609.82	c encountered bound constraints 0
3600.02/3609.82	c encountered core-guided constraints 0
3600.02/3609.82	c LP total time 1.93953 s
3600.02/3609.82	c LP solve time 1.79 s
3600.02/3609.82	c LP constraints added 290547
3600.02/3609.82	c LP constraints removed 0
3600.02/3609.82	c LP pivots internal 2000
3600.02/3609.82	c LP pivots root 1000
3600.02/3609.82	c LP calls 2
3600.02/3609.82	c LP optimalities 0
3600.02/3609.82	c LP no pivot count 0
3600.02/3609.82	c LP infeasibilities 0
3600.02/3609.82	c LP valid Farkas constraints 0
3600.02/3609.82	c LP learned Farkas constraints 0
3600.02/3609.82	c LP basis resets 0
3600.02/3609.82	c LP cycling count 0
3600.02/3609.82	c LP singular count 0
3600.02/3609.82	c LP no primal count 0
3600.02/3609.82	c LP no farkas count 0
3600.02/3609.82	c LP other issue count 0
3600.02/3609.82	c LP Gomory cuts 0
3600.02/3609.82	c LP learned cuts 0
3600.02/3609.82	c LP deleted cuts 0
3600.02/3609.82	c LP encountered Gomory constraints 0
3600.02/3609.82	c LP encountered Farkas constraints 0
3600.02/3609.82	c LP encountered learned Farkas constraints 0
3600.02/3609.82	c CG auxiliary variables introduced 1276
3600.02/3609.82	c CG solutions found 0
3600.02/3609.82	c CG cores constructed 781
3600.02/3609.82	c CG core cardinality constraints returned 0
3600.02/3609.82	c CG unit cores 0
3600.02/3609.82	c CG single cores 0
3600.02/3609.82	c CG blocks removed during cardinality reduction 0
3600.02/3609.82	c CG first core best 0
3600.02/3609.82	c CG decision core best 0
3600.02/3609.82	c CG core reduction tie 0
3600.02/3609.82	c CG core degree average 0.00
3600.02/3609.82	c CG core slack average 0.00
3600.02/3609.82	c CG core upper bound improvements 0
3600.02/3609.82	c STR number of successful calls 0
3600.02/3609.82	c STR number of unsuccessful calls 0
3600.02/3609.82	c STR number of inconclusive calls 0
3600.02/3609.82	c STR number of successful attempts 0
3600.02/3609.82	c STR number of unsuccessful attempts 0
3600.02/3609.82	c STR number of inconclusive attempts 0
3600.02/3609.82	c STR average degree increase per successful call inf
3600.02/3609.82	c STR average degree increase per successful attempt inf
3600.02/3609.82	c STR total number of conflicts for successful attempts 0
3600.02/3609.82	c STR total number of conflicts for unsuccessful attempts 0
3600.02/3609.82	c STR total number of conflicts for inconclusive attempts 0
3600.02/3609.82	c STR average number of conflicts per successful attempt inf
3600.02/3609.82	c STR average number of conflicts per unsuccessful attempt inf
3600.02/3609.82	c STR average number of conflicts per inconclusive attempt inf
3600.02/3609.82	c AVG.sumWPerc 99.05 
3600.02/3609.82	c bigint constraints 543 
3600.02/3609.82	s UNKNOWN
3600.02/3609.82	c Program interrupted by user.

ERROR: no interpretation found !

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100011 s]*
/proc/loadavg: 3.99 4.07 4.08 5/266 63187
/proc/meminfo: memFree=87040776/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=79428 memory=34460 CPUtime=0.08 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 6180 0 0 0 6 2 0 0 20 0 1 0 62289662 81334272 8615 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 19857 8615 1920 1147 0 7284 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 83620 KiB
Current children cumulated memory: 37404 KiB

[startup+0.205662 s]*
/proc/loadavg: 3.99 4.07 4.08 5/266 63187
/proc/meminfo: memFree=86988632/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=83472 memory=38556 CPUtime=0.19 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 7207 0 0 0 14 5 0 0 20 0 1 0 62289662 85475328 9639 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 20868 9639 1920 1147 0 8295 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 87664 KiB
Current children cumulated memory: 41500 KiB

[startup+0.305649 s]*
/proc/loadavg: 3.99 4.07 4.08 5/266 63187
/proc/meminfo: memFree=86976536/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=88132 memory=42140 CPUtime=0.29 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 8117 0 0 0 20 9 0 0 20 0 1 0 62289662 90247168 10535 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 22033 10535 1920 1147 0 9460 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 92324 KiB
Current children cumulated memory: 45084 KiB

[startup+0.700193 s]
/proc/loadavg: 3.99 4.07 4.08 5/266 63187
/proc/meminfo: memFree=86965448/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=111544 memory=64272 CPUtime=0.67 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 12704 0 0 0 48 19 0 0 20 0 1 0 62289662 114221056 16068 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 27886 16068 1920 1147 0 15313 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 115736 KiB
Current children cumulated memory: 67216 KiB

[startup+1.5002 s]
/proc/loadavg: 3.99 4.07 4.08 5/266 63187
/proc/meminfo: memFree=86909440/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=510820 memory=345004 CPUtime=1.47 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 43740 0 0 0 109 38 0 0 20 0 1 0 62289662 523079680 86251 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 127705 86251 2336 1147 0 115132 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 515012 KiB
Current children cumulated memory: 347948 KiB

[startup+3.10541 s]
/proc/loadavg: 3.99 4.07 4.08 5/266 63187
/proc/meminfo: memFree=86669572/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=520204 memory=353764 CPUtime=3.07 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 44863 0 0 0 200 107 0 0 20 0 1 0 62289662 532688896 88441 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 130051 88441 2368 1147 0 117478 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 524396 KiB
Current children cumulated memory: 356708 KiB

[startup+6.3002 s]
/proc/loadavg: 3.99 4.07 4.08 5/266 63187
/proc/meminfo: memFree=86456316/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=776104 memory=569992 CPUtime=6.26 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 75537 0 0 0 453 173 0 0 20 0 1 0 62289662 794730496 142498 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 194026 142498 2400 1147 0 181453 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 780296 KiB
Current children cumulated memory: 572936 KiB

[startup+12.7002 s]
/proc/loadavg: 4.07 4.08 4.09 5/266 63188
/proc/meminfo: memFree=86241932/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=894264 memory=707680 CPUtime=12.64 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 101937 0 0 0 881 383 0 0 20 0 1 0 62289662 915726336 176920 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 223566 176920 2400 1147 0 210993 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 898456 KiB
Current children cumulated memory: 710624 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.09 5/266 63188
/proc/meminfo: memFree=85600248/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=1239052 memory=1023936 CPUtime=25.42 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 162928 0 0 0 1733 809 0 0 20 0 1 0 62289662 1268789248 255984 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 309763 255984 2400 1147 0 297190 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1243244 KiB
Current children cumulated memory: 1026880 KiB

[startup+51.1055 s]
/proc/loadavg: 4.04 4.07 4.08 5/266 63188
/proc/meminfo: memFree=84533740/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=1834728 memory=1610756 CPUtime=50.95 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 276628 0 0 0 3448 1647 0 0 20 0 1 0 62289662 1878761472 402689 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 458682 402689 2400 1147 0 446109 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1838920 KiB
Current children cumulated memory: 1613700 KiB

[startup+102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 63190
/proc/meminfo: memFree=82758340/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=3117132 memory=2639572 CPUtime=102.01 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 489805 0 0 0 7069 3132 0 0 20 0 1 0 62289662 3191943168 659893 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 779283 659893 2400 1147 0 766710 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 3121324 KiB
Current children cumulated memory: 2642516 KiB

[startup+162.3 s]
/proc/loadavg: 4.42 4.18 4.12 5/267 63195
/proc/meminfo: memFree=81566244/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=3802996 memory=3388288 CPUtime=161.85 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 639171 0 0 0 11914 4271 0 0 20 0 1 0 62289662 3894267904 847072 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 950749 847072 2400 1147 0 938176 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 3807188 KiB
Current children cumulated memory: 3391232 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/267 63197
/proc/meminfo: memFree=80203380/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=5335228 memory=4603020 CPUtime=221.69 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 874962 0 0 0 17100 5069 0 0 20 0 1 0 62289662 5463273472 1150755 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 1333807 1150755 2400 1147 0 1321234 0
Current children cumulated CPU time: 221.69 s

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

Current children cumulated CPU time: 3153.71 s
Current children cumulated vsize: 16369704 KiB
Current children cumulated memory: 13686716 KiB

[startup+3222.3 s]
/proc/loadavg: 1.07 1.08 1.46 2/246 63437
/proc/meminfo: memFree=115665348/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=16777708 memory=13960124 CPUtime=3213.55 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 2630538 0 0 0 311805 9550 0 0 20 0 1 0 62289662 17180372992 3490031 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4194427 3490031 2400 1147 0 4181854 0
Current children cumulated CPU time: 3213.55 s
Current children cumulated vsize: 16781900 KiB
Current children cumulated memory: 13963068 KiB

[startup+3282.3 s]
/proc/loadavg: 1.14 1.10 1.44 2/246 63439
/proc/meminfo: memFree=115663288/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=16777900 memory=13960380 CPUtime=3273.39 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 2631967 0 0 0 317784 9555 0 0 20 0 1 0 62289662 17180569600 3490095 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4194475 3490095 2400 1147 0 4181902 0
Current children cumulated CPU time: 3273.39 s
Current children cumulated vsize: 16782092 KiB
Current children cumulated memory: 13963324 KiB

[startup+3342.3 s]
/proc/loadavg: 1.11 1.09 1.42 2/246 63445
/proc/meminfo: memFree=115662700/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=16777900 memory=13960764 CPUtime=3333.23 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 2633530 0 0 0 323762 9561 0 0 20 0 1 0 62289662 17180569600 3490191 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4194475 3490191 2400 1147 0 4181902 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 16782092 KiB
Current children cumulated memory: 13963708 KiB

[startup+3402.3 s]
/proc/loadavg: 1.04 1.07 1.39 2/246 63447
/proc/meminfo: memFree=115646644/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=16798928 memory=13973692 CPUtime=3393.07 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 2638364 0 0 0 329740 9567 0 0 20 0 1 0 62289662 17202102272 3493423 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4199732 3493423 2400 1147 0 4187159 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 16803120 KiB
Current children cumulated memory: 13976636 KiB

[startup+3462.3 s]
/proc/loadavg: 1.11 1.09 1.37 2/246 63449
/proc/meminfo: memFree=115641112/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=16818992 memory=13985724 CPUtime=3452.91 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 2643080 0 0 0 335718 9573 0 0 20 0 1 0 62289662 17222647808 3496431 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4204748 3496431 2400 1147 0 4192175 0
Current children cumulated CPU time: 3452.91 s
Current children cumulated vsize: 16823184 KiB
Current children cumulated memory: 13988668 KiB

[startup+3522.3 s]
/proc/loadavg: 1.09 1.09 1.35 2/246 63452
/proc/meminfo: memFree=115641640/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=16819928 memory=13986876 CPUtime=3512.75 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 2645175 0 0 0 341697 9578 0 0 20 0 1 0 62289662 17223606272 3496719 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4204982 3496719 2400 1147 0 4192409 0
Current children cumulated CPU time: 3512.75 s
Current children cumulated vsize: 16824120 KiB
Current children cumulated memory: 13989820 KiB

[startup+3582.3 s]
/proc/loadavg: 1.07 1.08 1.33 2/246 63454
/proc/meminfo: memFree=115306476/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=17141496 memory=14324448 CPUtime=3572.59 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 2700824 0 0 0 347523 9736 0 0 20 0 1 0 62289662 17552891904 3581112 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4285374 3581112 2400 1147 0 4272801 0
Current children cumulated CPU time: 3572.59 s
Current children cumulated vsize: 17145688 KiB
Current children cumulated memory: 14327392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.8 s]
/proc/loadavg: 1.04 1.07 1.32 2/246 63455
/proc/meminfo: memFree=115047292/131250000 swapFree=33010416/33010684
[pid=63185] ppid=63182 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63185/stat : 63185 (run-opt.sh) S 63182 63185 62186 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 62289661 4292608 736 18446744073709551615 94379537457152 94379538351685 140727375442336 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94379538590736 94379538638480 94379562270720 140727375444333 140727375444456 140727375444456 140727375450058 0
/proc/63185/statm: 1048 736 672 219 0 110 0
[pid=63187] ppid=63185 vsize=17318652 memory=14586784 CPUtime=3600.02 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63185 63185 62186 0 -1 4194304 2744889 0 0 0 350250 9752 0 0 20 0 1 0 62289662 17734299648 3646696 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4329663 3646696 2400 1147 0 4317090 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 17322844 KiB
Current children cumulated memory: 14589728 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001114 s, system=0.00111 s

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

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

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

[startup+3610.01 s]*
/proc/loadavg: 1.04 1.07 1.32 2/245 63455
/proc/meminfo: memFree=116686572/131250000 swapFree=33010416/33010684
[pid=63187] ppid=63182 vsize=16739528 memory=12528460 CPUtime=3600.23 cores=0,2
/proc/63187/stat : 63187 (roundingsat) R 63182 63185 62186 0 -1 4194304 2745044 0 0 0 350267 9756 0 0 20 0 1 0 62289662 17141276672 3132627 18446744073709551615 4227072 8923433 140733737993312 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 19939328 140733737994658 140733737994792 140733737994792 140733738000362 0
/proc/63187/statm: 4184882 3132627 2464 1147 0 4172309 0
Current cumulated CPU time of completed processes: 0.002224 s
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 16739528 KiB
Current children cumulated memory: 12528460 KiB

[startup+3610.21 s]
/proc/loadavg: 1.04 1.07 1.32 2/245 63455
/proc/meminfo: memFree=123637476/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002224 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

[startup+3610.3 s]
/proc/loadavg: 1.04 1.07 1.32 2/245 63455
/proc/meminfo: memFree=123637476/131250000 swapFree=33010416/33010684
Current cumulated CPU time of completed processes: 0.002224 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 2

Real time (s): 3610.36
CPU time (s): 3600.59
CPU user time (s): 3502.68
CPU system time (s): 97.9054
CPU usage (%): 99.7294
Max. virtual memory (cumulated for all children) (KiB): 17322844
Max. memory (cumulated for all children) (KiB): 14589728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3502.68
system time used= 97.9054
maximum resident set size= 14587296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2745510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 256
involuntary context switches= 8066


# summary of solver processes directly reported to runsolver:
#   pid: 63185,63187
#   total CPU time (s): 3600.59
#   total CPU user time (s): 3502.68
#   total CPU system time (s): 97.9054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.0809 second user time and 15.8701 second system time

The end

Begin job on nodeC027 at 2025-07-02 16:21:38
IDJOB=4504756
IDBENCH=155675
IDSOLVER=3350
FILE ID=nodeC027/4504756-1751466098
RUNJOBID= nodeC027-1751456689-62201
SLURM_JOB_ID= 9598455
Free space on /tmp= 431112 MiB

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

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

MD5SUM BENCH= c58a3671c6a952d1c163a29e0b4e832b
RANDOM SEED=51942942

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        87046636 kB
MemAvailable:   87148696 kB
Buffers:            2488 kB
Cached:           902812 kB
SwapCached:           12 kB
Active:         42938620 kB
Inactive:         363104 kB
Active(anon):   42411688 kB
Inactive(anon):     2792 kB
Active(file):     526932 kB
Inactive(file):   360312 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             19444 kB
Writeback:            24 kB
AnonPages:      42399536 kB
Mapped:           117636 kB
Shmem:             18056 kB
KReclaimable:     107712 kB
Slab:             196500 kB
SReclaimable:     107712 kB
SUnreclaim:        88788 kB
KernelStack:        4304 kB
PageTables:        95364 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   49399852 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5748736 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     9005056 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 431164 MiB
End job on nodeC027 at 2025-07-02 17:21:48