0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.77/0.80	c #variables 81322 #constraints 201866
0.77/0.80	c objective is ce32 
0.77/0.82	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.77/0.82	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.77/0.82	c GLOBAL bounds - >= -262661 @ 0.590134
0.86/0.90	c GLOBAL bounds - >= -262661 @ 0.62448
0.86/0.97	c GLOBAL bounds - >= -262661 @ 0.650288
0.97/1.05	c GLOBAL bounds - >= -262661 @ 0.667945
1.07/1.13	c GLOBAL bounds - >= -262661 @ 0.686379
1.17/1.20	c GLOBAL bounds - >= -262661 @ 0.714995
1.17/1.28	c GLOBAL bounds - >= -262661 @ 0.747485
1.26/1.35	c GLOBAL bounds - >= -262661 @ 0.781823
1.36/1.43	c GLOBAL bounds - >= -262661 @ 0.812257
1.46/1.50	c GLOBAL bounds - >= -262661 @ 0.839016
1.46/1.58	c GLOBAL bounds - >= -262661 @ 0.868027
1.56/1.65	c GLOBAL bounds - >= -262661 @ 0.896427
1.66/1.73	c GLOBAL bounds - >= -262661 @ 0.922007
1.76/1.80	c GLOBAL bounds - >= -262661 @ 0.942241
1.76/1.88	c GLOBAL bounds - >= -262661 @ 0.968539
1.86/1.96	c GLOBAL bounds - >= -262661 @ 0.995038
1.97/2.03	c GLOBAL bounds - >= -262661 @ 1.02498
2.07/2.11	c GLOBAL bounds - >= -262661 @ 1.0547
2.07/2.18	c GLOBAL bounds - >= -262661 @ 1.07888
2.16/2.26	c GLOBAL bounds - >= -262661 @ 1.10321
2.26/2.33	c GLOBAL bounds - >= -262661 @ 1.13469
2.37/2.41	c GLOBAL bounds - >= -262661 @ 1.15442
2.37/2.48	c GLOBAL bounds - >= -262661 @ 1.18835
2.46/2.56	c GLOBAL bounds - >= -262661 @ 1.21533
2.56/2.64	c GLOBAL bounds - >= -262661 @ 1.24647
2.66/2.71	c GLOBAL bounds - >= -262661 @ 1.27273
2.66/2.79	c GLOBAL bounds - >= -262661 @ 1.29734
2.77/2.86	c GLOBAL bounds - >= -262661 @ 1.3316
2.86/2.94	c GLOBAL bounds - >= -262661 @ 1.35922
2.96/3.01	c GLOBAL bounds - >= -262661 @ 1.39498
2.96/3.09	c GLOBAL bounds - >= -262661 @ 1.42413
3.06/3.16	c GLOBAL bounds - >= -262661 @ 1.4549
3.16/3.24	c GLOBAL bounds - >= -262661 @ 1.47509
3.26/3.31	c GLOBAL bounds - >= -262661 @ 1.50684
3.26/3.39	c GLOBAL bounds - >= -262661 @ 1.53301
3.36/3.47	c GLOBAL bounds - >= -262661 @ 1.56076
3.46/3.54	c GLOBAL bounds - >= -262661 @ 1.58884
3.56/3.62	c GLOBAL bounds - >= -262661 @ 1.6184
3.56/3.69	c GLOBAL bounds - >= -262661 @ 1.65181
3.66/3.77	c GLOBAL bounds - >= -262661 @ 1.67859
3.75/3.84	c GLOBAL bounds - >= -262661 @ 1.70433
3.86/3.92	c GLOBAL bounds - >= -262661 @ 1.72657
3.86/3.99	c GLOBAL bounds - >= -262661 @ 1.75782
3.97/4.07	c GLOBAL bounds - >= -262661 @ 1.78733
4.06/4.15	c GLOBAL bounds - >= -262661 @ 1.81553
4.16/4.22	c GLOBAL bounds - >= -262661 @ 1.84611
4.26/4.30	c GLOBAL bounds - >= -262661 @ 1.87457
4.26/4.37	c GLOBAL bounds - >= -262661 @ 1.90524
4.35/4.45	c GLOBAL bounds - >= -262661 @ 1.92598
4.46/4.52	c GLOBAL bounds - >= -262661 @ 1.9532
4.56/4.60	c GLOBAL bounds - >= -262661 @ 1.9767
4.56/4.68	c GLOBAL bounds - >= -262661 @ 2.01027
4.65/4.75	c GLOBAL bounds - >= -262661 @ 2.0389
4.76/4.83	c GLOBAL bounds - >= -262661 @ 2.06466
4.85/4.90	c GLOBAL bounds - >= -262661 @ 2.08977
4.85/4.98	c GLOBAL bounds - >= -262661 @ 2.12162
4.96/5.05	c GLOBAL bounds - >= -262661 @ 2.14302
5.06/5.13	c GLOBAL bounds - >= -262661 @ 2.16873
5.16/5.21	c GLOBAL bounds - >= -262661 @ 2.19236
5.16/5.28	c GLOBAL bounds - >= -262661 @ 2.21837
5.25/5.36	c GLOBAL bounds - >= -262661 @ 2.24861
5.35/5.43	c GLOBAL bounds - >= -262661 @ 2.27436
5.45/5.51	c GLOBAL bounds - >= -262661 @ 2.29412
5.45/5.59	c GLOBAL bounds - >= -262661 @ 2.32517
5.56/5.66	c GLOBAL bounds - >= -262661 @ 2.34822
5.66/5.74	c GLOBAL bounds - >= -262661 @ 2.37921
5.75/5.82	c GLOBAL bounds - >= -262661 @ 2.40211
5.85/5.90	c GLOBAL bounds - >= -262661 @ 2.42695
5.85/5.98	c GLOBAL bounds - >= -262661 @ 2.45386
5.96/6.06	c GLOBAL bounds - >= -262661 @ 2.48374
6.06/6.14	c GLOBAL bounds - >= -262661 @ 2.5039
6.15/6.22	c GLOBAL bounds - >= -262661 @ 2.53459
6.15/6.29	c GLOBAL bounds - >= -262661 @ 2.55902
6.26/6.37	c GLOBAL bounds - >= -262661 @ 2.59278
6.35/6.45	c GLOBAL bounds - >= -262661 @ 2.62376
6.46/6.53	c GLOBAL bounds - >= -262661 @ 2.65661
6.56/6.61	c GLOBAL bounds - >= -262661 @ 2.68549
6.56/6.69	c GLOBAL bounds - >= -262661 @ 2.71222
6.65/6.77	c GLOBAL bounds - >= -262661 @ 2.7382
6.75/6.85	c GLOBAL bounds - >= -262661 @ 2.75589
6.85/6.93	c GLOBAL bounds - >= -262661 @ 2.78891
6.96/7.01	c GLOBAL bounds - >= -262661 @ 2.81521
6.96/7.09	c GLOBAL bounds - >= -262661 @ 2.83617
7.05/7.16	c GLOBAL bounds - >= -262661 @ 2.86014
7.15/7.24	c GLOBAL bounds - >= -262661 @ 2.88936
7.25/7.32	c GLOBAL bounds - >= -262661 @ 2.91256
7.35/7.40	c GLOBAL bounds - >= -262661 @ 2.93389
7.35/7.48	c GLOBAL bounds - >= -262661 @ 2.95984
7.45/7.56	c GLOBAL bounds - >= -262661 @ 2.98981
7.55/7.64	c GLOBAL bounds - >= -262661 @ 3.02059
7.65/7.72	c GLOBAL bounds - >= -262661 @ 3.05073
7.75/7.80	c GLOBAL bounds - >= -262661 @ 3.08243
7.75/7.88	c GLOBAL bounds - >= -262661 @ 3.1166
7.85/7.96	c GLOBAL bounds - >= -262661 @ 3.13878
7.96/8.04	c GLOBAL bounds - >= -262661 @ 3.16737
8.05/8.12	c GLOBAL bounds - >= -262661 @ 3.20037
8.05/8.19	c GLOBAL bounds - >= -262661 @ 3.22708
8.15/8.27	c GLOBAL bounds - >= -262661 @ 3.25411
8.24/8.35	c GLOBAL bounds - >= -262661 @ 3.27413
8.35/8.43	c GLOBAL bounds - >= -262661 @ 3.30217
8.45/8.51	c GLOBAL bounds - >= -262661 @ 3.32845
8.45/8.59	c GLOBAL bounds - >= -262661 @ 3.34894
8.55/8.67	c GLOBAL bounds - >= -262661 @ 3.37138
8.64/8.75	c GLOBAL bounds - >= -262661 @ 3.40283
8.75/8.83	c GLOBAL bounds - >= -262661 @ 3.42594
8.85/8.91	c GLOBAL bounds - >= -262661 @ 3.45907
8.85/8.99	c GLOBAL bounds - >= -262661 @ 3.4886
8.95/9.07	c GLOBAL bounds - >= -262661 @ 3.52545
9.05/9.15	c GLOBAL bounds - >= -262661 @ 3.5497
9.15/9.23	c GLOBAL bounds - >= -262661 @ 3.58133
9.25/9.31	c GLOBAL bounds - >= -262661 @ 3.60943
9.25/9.39	c GLOBAL bounds - >= -262661 @ 3.63589
9.35/9.47	c GLOBAL bounds - >= -262661 @ 3.66601
9.45/9.54	c GLOBAL bounds - >= -262661 @ 3.7043
9.54/9.62	c GLOBAL bounds - >= -262661 @ 3.72602
9.64/9.70	c GLOBAL bounds - >= -262661 @ 3.75791
9.64/9.78	c GLOBAL bounds - >= -262661 @ 3.78393
9.75/9.86	c GLOBAL bounds - >= -262661 @ 3.80787
9.85/9.94	c GLOBAL bounds - >= -262661 @ 3.84094
9.95/10.02	c GLOBAL bounds - >= -262661 @ 3.87191
10.05/10.10	c GLOBAL bounds - >= -262661 @ 3.89601
10.05/10.18	c GLOBAL bounds - >= -262661 @ 3.93172
10.14/10.26	c GLOBAL bounds - >= -262661 @ 3.95866
10.24/10.34	c GLOBAL bounds - >= -262661 @ 3.99441
10.34/10.42	c GLOBAL bounds - >= -262661 @ 4.03274
10.45/10.50	c GLOBAL bounds - >= -262661 @ 4.0644
10.45/10.58	c GLOBAL bounds - >= -262661 @ 4.10238
10.54/10.66	c GLOBAL bounds - >= -262661 @ 4.1371
10.64/10.74	c GLOBAL bounds - >= -262661 @ 4.16608
10.74/10.82	c GLOBAL bounds - >= -262661 @ 4.19166
10.84/10.90	c GLOBAL bounds - >= -262661 @ 4.21622
10.84/10.98	c GLOBAL bounds - >= -262661 @ 4.2483
10.95/11.06	c GLOBAL bounds - >= -262661 @ 4.27429
11.05/11.14	c GLOBAL bounds - >= -262661 @ 4.3078
11.14/11.22	c GLOBAL bounds - >= -262661 @ 4.33584
11.24/11.30	c GLOBAL bounds - >= -262661 @ 4.36762
11.24/11.38	c GLOBAL bounds - >= -262661 @ 4.40049
11.34/11.46	c GLOBAL bounds - >= -262661 @ 4.43326
11.44/11.54	c GLOBAL bounds - >= -262661 @ 4.47133
11.54/11.62	c GLOBAL bounds - >= -262661 @ 4.50496
11.64/11.70	c GLOBAL bounds - >= -262661 @ 4.52956
11.64/11.78	c GLOBAL bounds - >= -262661 @ 4.56861
11.74/11.87	c GLOBAL bounds - >= -262661 @ 4.5949
11.84/11.95	c GLOBAL bounds - >= -262661 @ 4.61718
11.95/12.03	c GLOBAL bounds - >= -262661 @ 4.65004
12.05/12.11	c GLOBAL bounds - >= -262661 @ 4.68186
12.05/12.19	c GLOBAL bounds - >= -262661 @ 4.70606
12.14/12.27	c GLOBAL bounds - >= -262661 @ 4.72764
12.24/12.35	c GLOBAL bounds - >= -262661 @ 4.75122
12.33/12.43	c GLOBAL bounds - >= -262661 @ 4.78256
12.44/12.51	c GLOBAL bounds - >= -262661 @ 4.8132
12.44/12.59	c GLOBAL bounds - >= -262661 @ 4.84143
12.54/12.67	c GLOBAL bounds - >= -262661 @ 4.87055
12.63/12.75	c GLOBAL bounds - >= -262661 @ 4.89352
12.73/12.83	c GLOBAL bounds - >= -262661 @ 4.9214
12.84/12.91	c GLOBAL bounds - >= -262661 @ 4.95823
12.84/12.99	c GLOBAL bounds - >= -262661 @ 4.98518
12.94/13.07	c GLOBAL bounds - >= -262661 @ 5.01565
13.04/13.15	c GLOBAL bounds - >= -262661 @ 5.04356
13.13/13.23	c GLOBAL bounds - >= -262661 @ 5.07203
13.24/13.32	c GLOBAL bounds - >= -262661 @ 5.09937
13.34/13.40	c GLOBAL bounds - >= -262661 @ 5.13075
13.34/13.48	c GLOBAL bounds - >= -262661 @ 5.16412
13.44/13.56	c GLOBAL bounds - >= -262661 @ 5.19514
13.53/13.64	c GLOBAL bounds - >= -262661 @ 5.22155
13.64/13.72	c GLOBAL bounds - >= -262661 @ 5.25369
13.74/13.80	c GLOBAL bounds - >= -262661 @ 5.28894
13.74/13.88	c GLOBAL bounds - >= -262661 @ 5.32095
13.83/13.96	c GLOBAL bounds - >= -262661 @ 5.34686
13.94/14.05	c GLOBAL bounds - >= -262661 @ 5.38019
14.04/14.13	c GLOBAL bounds - >= -262661 @ 5.40708
14.13/14.21	c GLOBAL bounds - >= -262661 @ 5.43815
14.13/14.29	c GLOBAL bounds - >= -262661 @ 5.46516
14.23/14.37	c GLOBAL bounds - >= -262661 @ 5.49207
14.34/14.45	c GLOBAL bounds - >= -262661 @ 5.52309
14.44/14.53	c GLOBAL bounds - >= -262661 @ 5.55003
14.53/14.61	c GLOBAL bounds - >= -262661 @ 5.57835
14.53/14.69	c GLOBAL bounds - >= -262661 @ 5.60428
14.64/14.77	c GLOBAL bounds - >= -262661 @ 5.63364
14.74/14.85	c GLOBAL bounds - >= -262661 @ 5.66525
14.83/14.93	c GLOBAL bounds - >= -262661 @ 5.69747
14.94/15.01	c GLOBAL bounds - >= -262661 @ 5.7245
14.94/15.09	c GLOBAL bounds - >= -262661 @ 5.74846
15.04/15.17	c GLOBAL bounds - >= -262661 @ 5.77743
15.13/15.25	c GLOBAL bounds - >= -262661 @ 5.80876
15.24/15.33	c GLOBAL bounds - >= -262661 @ 5.82974
15.34/15.41	c GLOBAL bounds - >= -262661 @ 5.86633
15.34/15.49	c GLOBAL bounds - >= -262661 @ 5.89258
15.43/15.57	c GLOBAL bounds - >= -262661 @ 5.92066
15.53/15.65	c GLOBAL bounds - >= -262661 @ 5.95791
15.63/15.73	c GLOBAL bounds - >= -262661 @ 5.98666
15.73/15.81	c GLOBAL bounds - >= -262661 @ 6.01787
15.73/15.89	c GLOBAL bounds - >= -262661 @ 6.04573
15.83/15.97	c GLOBAL bounds - >= -262661 @ 6.07086
15.94/16.05	c GLOBAL bounds - >= -262661 @ 6.09619
16.04/16.13	c GLOBAL bounds - >= -262661 @ 6.13152
16.13/16.21	c GLOBAL bounds - >= -262661 @ 6.16496
16.13/16.29	c GLOBAL bounds - >= -262661 @ 6.19477
16.23/16.37	c GLOBAL bounds - >= -262661 @ 6.22033
16.33/16.45	c GLOBAL bounds - >= -262661 @ 6.25315
16.43/16.53	c GLOBAL bounds - >= -262661 @ 6.28735
16.53/16.61	c GLOBAL bounds - >= -262661 @ 6.31849
16.53/16.69	c GLOBAL bounds - >= -262661 @ 6.35391
16.63/16.77	c GLOBAL bounds - >= -262661 @ 6.38482
16.73/16.85	c GLOBAL bounds - >= -262661 @ 6.41444
16.83/16.94	c GLOBAL bounds - >= -262661 @ 6.44581
16.93/17.02	c GLOBAL bounds - >= -262661 @ 6.47644
17.03/17.10	c GLOBAL bounds - >= -262661 @ 6.50959
17.03/17.18	c GLOBAL bounds - >= -262661 @ 6.53125
17.12/17.26	c GLOBAL bounds - >= -262661 @ 6.56291
17.23/17.34	c GLOBAL bounds - >= -262661 @ 6.58826
17.33/17.43	c GLOBAL bounds - >= -262661 @ 6.61538
17.43/17.51	c GLOBAL bounds - >= -262661 @ 6.64608
17.43/17.59	c GLOBAL bounds - >= -262661 @ 6.67467
17.53/17.67	c GLOBAL bounds - >= -262661 @ 6.70576
17.62/17.75	c GLOBAL bounds - >= -262661 @ 6.73875
17.73/17.83	c GLOBAL bounds - >= -262661 @ 6.7651
17.83/17.91	c GLOBAL bounds - >= -262661 @ 6.79916
17.83/17.99	c GLOBAL bounds - >= -262661 @ 6.82188
17.93/18.07	c GLOBAL bounds - >= -262661 @ 6.85348
18.03/18.16	c GLOBAL bounds - >= -262661 @ 6.87974
18.13/18.24	c GLOBAL bounds - >= -262661 @ 6.90644
18.23/18.32	c GLOBAL bounds - >= -262661 @ 6.94323
18.33/18.40	c GLOBAL bounds - >= -262661 @ 6.97059
18.33/18.48	c GLOBAL bounds - >= -262661 @ 7.00221
18.42/18.56	c GLOBAL bounds - >= -262661 @ 7.03253
18.53/18.64	c GLOBAL bounds - >= -262661 @ 7.05334
18.62/18.72	c GLOBAL bounds - >= -262661 @ 7.07568
18.73/18.80	c GLOBAL bounds - >= -262661 @ 7.10746
18.73/18.88	c GLOBAL bounds - >= -262661 @ 7.13327
18.82/18.96	c GLOBAL bounds - >= -262661 @ 7.15815
18.93/19.05	c GLOBAL bounds - >= -262661 @ 7.19272
19.03/19.13	c GLOBAL bounds - >= -262661 @ 7.22188
19.12/19.21	c GLOBAL bounds - >= -262661 @ 7.25296
19.12/19.29	c GLOBAL bounds - >= -262661 @ 7.27392
19.22/19.37	c GLOBAL bounds - >= -262661 @ 7.2958
19.32/19.45	c GLOBAL bounds - >= -262661 @ 7.32302
19.43/19.54	c GLOBAL bounds - >= -262661 @ 7.35467
19.52/19.62	c GLOBAL bounds - >= -262661 @ 7.38723
19.62/19.70	c GLOBAL bounds - >= -262661 @ 7.41719
19.62/19.78	c GLOBAL bounds - >= -262661 @ 7.45179
19.73/19.86	c GLOBAL bounds - >= -262661 @ 7.48615
19.82/19.95	c GLOBAL bounds - >= -262661 @ 7.51604
19.92/20.03	c GLOBAL bounds - >= -262661 @ 7.54528
20.03/20.11	c GLOBAL bounds - >= -262661 @ 7.57493
20.03/20.19	c GLOBAL bounds - >= -262661 @ 7.60408
20.12/20.27	c GLOBAL bounds - >= -262661 @ 7.63694
20.22/20.36	c GLOBAL bounds - >= -262661 @ 7.66946
20.32/20.44	c GLOBAL bounds - >= -262661 @ 7.69188
20.42/20.52	c GLOBAL bounds - >= -262661 @ 7.72949
20.52/20.60	c GLOBAL bounds - >= -262661 @ 7.7654
20.52/20.68	c GLOBAL bounds - >= -262661 @ 7.79681
20.62/20.76	c GLOBAL bounds - >= -262661 @ 7.82426
20.72/20.84	c GLOBAL bounds - >= -262661 @ 7.85166
20.82/20.92	c GLOBAL bounds - >= -262661 @ 7.88269
20.93/21.00	c GLOBAL bounds - >= -262661 @ 7.91339
20.93/21.09	c GLOBAL bounds - >= -262661 @ 7.94427
21.02/21.17	c GLOBAL bounds - >= -262661 @ 7.97037
21.12/21.25	c GLOBAL bounds - >= -262661 @ 7.99917
21.22/21.33	c GLOBAL bounds - >= -262661 @ 8.02624
21.32/21.41	c GLOBAL bounds - >= -262661 @ 8.05998
21.32/21.49	c GLOBAL bounds - >= -262661 @ 8.08574
21.41/21.57	c GLOBAL bounds - >= -262661 @ 8.11957
21.51/21.65	c GLOBAL bounds - >= -262661 @ 8.14527
21.62/21.74	c GLOBAL bounds - >= -262661 @ 8.17046
21.72/21.82	c GLOBAL bounds - >= -262661 @ 8.20042
21.82/21.90	c GLOBAL bounds - >= -262661 @ 8.23307
21.82/21.98	c GLOBAL bounds - >= -262661 @ 8.2637
21.92/22.06	c GLOBAL bounds - >= -262661 @ 8.29222
22.02/22.14	c GLOBAL bounds - >= -262661 @ 8.31714
22.12/22.22	c GLOBAL bounds - >= -262661 @ 8.34611
22.22/22.30	c GLOBAL bounds - >= -262661 @ 8.37631
22.22/22.39	c GLOBAL bounds - >= -262661 @ 8.41539
22.32/22.47	c GLOBAL bounds - >= -262661 @ 8.44485
22.41/22.55	c GLOBAL bounds - >= -262661 @ 8.47411
22.51/22.63	c GLOBAL bounds - >= -262661 @ 8.49804
22.62/22.71	c GLOBAL bounds - >= -262661 @ 8.52695
22.72/22.80	c GLOBAL bounds - >= -262661 @ 8.56258
22.72/22.88	c GLOBAL bounds - >= -262661 @ 8.59349
22.82/22.96	c GLOBAL bounds - >= -262661 @ 8.61747
22.92/23.04	c GLOBAL bounds - >= -262661 @ 8.64989
23.02/23.12	c GLOBAL bounds - >= -262661 @ 8.67932
23.11/23.20	c GLOBAL bounds - >= -262661 @ 8.71117
23.11/23.28	c GLOBAL bounds - >= -262661 @ 8.73813
23.21/23.37	c GLOBAL bounds - >= -262661 @ 8.77105
23.31/23.45	c GLOBAL bounds - >= -262661 @ 8.80925
23.41/23.53	c GLOBAL bounds - >= -262661 @ 8.83932
23.52/23.61	c GLOBAL bounds - >= -262661 @ 8.86833
23.52/23.69	c GLOBAL bounds - >= -262661 @ 8.89477
23.61/23.77	c GLOBAL bounds - >= -262661 @ 8.92129
23.71/23.85	c GLOBAL bounds - >= -262661 @ 8.94995
23.81/23.93	c GLOBAL bounds - >= -262661 @ 8.97759
23.92/24.02	c GLOBAL bounds - >= -262661 @ 9.00322
23.92/24.10	c GLOBAL bounds - >= -262661 @ 9.02343
24.02/24.18	c GLOBAL bounds - >= -262661 @ 9.05844
24.11/24.26	c GLOBAL bounds - >= -262661 @ 9.09237
24.21/24.35	c GLOBAL bounds - >= -262661 @ 9.12061
24.31/24.43	c GLOBAL bounds - >= -262661 @ 9.15622
24.41/24.51	c GLOBAL bounds - >= -262661 @ 9.19356
24.41/24.59	c GLOBAL bounds - >= -262661 @ 9.22701
24.51/24.67	c GLOBAL bounds - >= -262661 @ 9.2599
24.61/24.75	c GLOBAL bounds - >= -262661 @ 9.28902
24.71/24.84	c GLOBAL bounds - >= -262661 @ 9.31448
24.81/24.92	c GLOBAL bounds - >= -262661 @ 9.35116
24.81/25.00	c GLOBAL bounds - >= -262661 @ 9.37864
24.91/25.08	c GLOBAL bounds - >= -262661 @ 9.40782
25.02/25.17	c GLOBAL bounds - >= -262661 @ 9.44641
25.10/25.25	c GLOBAL bounds - >= -262661 @ 9.48233
25.21/25.34	c GLOBAL bounds - >= -262661 @ 9.51904
25.30/25.42	c GLOBAL bounds - >= -262661 @ 9.55222
25.41/25.50	c GLOBAL bounds - >= -262661 @ 9.57803
25.41/25.58	c GLOBAL bounds - >= -262661 @ 9.61001
25.51/25.66	c GLOBAL bounds - >= -262661 @ 9.63805
25.61/25.74	c GLOBAL bounds - >= -262661 @ 9.66873
25.70/25.83	c GLOBAL bounds - >= -262661 @ 9.70142
25.81/25.91	c GLOBAL bounds - >= -262661 @ 9.72887
25.81/25.99	c GLOBAL bounds - >= -262661 @ 9.76058
25.91/26.08	c GLOBAL bounds - >= -262661 @ 9.79246
26.01/26.16	c GLOBAL bounds - >= -262661 @ 9.82243
26.10/26.24	c GLOBAL bounds - >= -262661 @ 9.85243
26.21/26.32	c GLOBAL bounds - >= -262661 @ 9.88745
26.31/26.40	c GLOBAL bounds - >= -262661 @ 9.91552
26.31/26.49	c GLOBAL bounds - >= -262661 @ 9.94833
26.41/26.57	c GLOBAL bounds - >= -262661 @ 9.98796
26.50/26.65	c GLOBAL bounds - >= -262661 @ 10.0181
26.60/26.73	c GLOBAL bounds - >= -262661 @ 10.0458
26.71/26.82	c GLOBAL bounds - >= -262661 @ 10.0718
26.81/26.90	c GLOBAL bounds - >= -262661 @ 10.1021
26.81/26.98	c GLOBAL bounds - >= -262661 @ 10.1299
26.91/27.06	c GLOBAL bounds - >= -262661 @ 10.1566
27.01/27.15	c GLOBAL bounds - >= -262661 @ 10.1924
27.11/27.24	c GLOBAL bounds - >= -262661 @ 10.2299
27.21/27.32	c GLOBAL bounds - >= -262661 @ 10.2613
27.30/27.41	c GLOBAL bounds - >= -262661 @ 10.3032
27.30/27.49	c GLOBAL bounds - >= -262661 @ 10.3292
27.40/27.57	c GLOBAL bounds - >= -262661 @ 10.3624
27.50/27.66	c GLOBAL bounds - >= -262661 @ 10.3912
27.60/27.74	c GLOBAL bounds - >= -262661 @ 10.4249
27.71/27.82	c GLOBAL bounds - >= -262661 @ 10.4499
27.80/27.90	c GLOBAL bounds - >= -262661 @ 10.4791
27.80/27.99	c GLOBAL bounds - >= -262661 @ 10.5118
27.90/28.07	c GLOBAL bounds - >= -262661 @ 10.543
28.00/28.15	c GLOBAL bounds - >= -262661 @ 10.5785
28.10/28.23	c GLOBAL bounds - >= -262661 @ 10.6096
28.20/28.32	c GLOBAL bounds - >= -262661 @ 10.6395
28.30/28.40	c GLOBAL bounds - >= -262661 @ 10.6666
28.30/28.48	c GLOBAL bounds - >= -262661 @ 10.6936
28.41/28.56	c GLOBAL bounds - >= -262661 @ 10.7252
28.50/28.64	c GLOBAL bounds - >= -262661 @ 10.7502
28.60/28.72	c GLOBAL bounds - >= -262661 @ 10.7892
28.70/28.81	c GLOBAL bounds - >= -262661 @ 10.813
28.70/28.89	c GLOBAL bounds - >= -262661 @ 10.8411
28.80/28.97	c GLOBAL bounds - >= -262661 @ 10.8749
28.91/29.05	c GLOBAL bounds - >= -262661 @ 10.9121
29.00/29.14	c GLOBAL bounds - >= -262661 @ 10.9401
29.10/29.22	c GLOBAL bounds - >= -262661 @ 10.97
29.20/29.30	c GLOBAL bounds - >= -262661 @ 10.9893
29.20/29.38	c GLOBAL bounds - >= -262661 @ 11.0186
29.30/29.47	c GLOBAL bounds - >= -262661 @ 11.0506
29.39/29.55	c GLOBAL bounds - >= -262661 @ 11.0774
29.50/29.63	c GLOBAL bounds - >= -262661 @ 11.1073
29.60/29.72	c GLOBAL bounds - >= -262661 @ 11.1414
29.70/29.80	c GLOBAL bounds - >= -262661 @ 11.1792
29.70/29.89	c GLOBAL bounds - >= -262661 @ 11.2149
29.80/29.97	c GLOBAL bounds - >= -262661 @ 11.2406
29.90/30.05	c GLOBAL bounds - >= -262661 @ 11.2701
30.00/30.13	c GLOBAL bounds - >= -262661 @ 11.3026
30.10/30.22	c GLOBAL bounds - >= -262661 @ 11.3328
30.19/30.30	c GLOBAL bounds - >= -262661 @ 11.3698
30.19/30.38	c GLOBAL bounds - >= -262661 @ 11.4037
30.30/30.47	c GLOBAL bounds - >= -262661 @ 11.4323
30.40/30.55	c GLOBAL bounds - >= -262661 @ 11.4644
30.50/30.63	c GLOBAL bounds - >= -262661 @ 11.4977
30.59/30.71	c GLOBAL bounds - >= -262661 @ 11.5324
30.59/30.79	c GLOBAL bounds - >= -262661 @ 11.5632
30.70/30.88	c GLOBAL bounds - >= -262661 @ 11.5901
30.79/30.96	c GLOBAL bounds - >= -262661 @ 11.6173
30.90/31.04	c GLOBAL bounds - >= -262661 @ 11.6491
31.00/31.12	c GLOBAL bounds - >= -262661 @ 11.6857
31.10/31.20	c GLOBAL bounds - >= -262661 @ 11.7149
31.10/31.29	c GLOBAL bounds - >= -262661 @ 11.7439
31.20/31.37	c GLOBAL bounds - >= -262661 @ 11.7756
31.30/31.45	c GLOBAL bounds - >= -262661 @ 11.8036
31.40/31.53	c GLOBAL bounds - >= -262661 @ 11.8316
31.50/31.62	c GLOBAL bounds - >= -262661 @ 11.8595
31.59/31.70	c GLOBAL bounds - >= -262661 @ 11.8855
31.59/31.78	c GLOBAL bounds - >= -262661 @ 11.9134
31.70/31.86	c GLOBAL bounds - >= -262661 @ 11.9473
31.80/31.95	c GLOBAL bounds - >= -262661 @ 11.9737
31.89/32.03	c GLOBAL bounds - >= -262661 @ 12.0111
31.99/32.11	c GLOBAL bounds - >= -262661 @ 12.0417
31.99/32.19	c GLOBAL bounds - >= -262661 @ 12.07
32.09/32.27	c GLOBAL bounds - >= -262661 @ 12.0989
32.19/32.36	c GLOBAL bounds - >= -262661 @ 12.127
32.29/32.44	c GLOBAL bounds - >= -262661 @ 12.1577
32.39/32.52	c GLOBAL bounds - >= -262661 @ 12.1843
32.50/32.60	c GLOBAL bounds - >= -262661 @ 12.2163
32.50/32.69	c GLOBAL bounds - >= -262661 @ 12.2522
32.59/32.77	c GLOBAL bounds - >= -262661 @ 12.2784
32.69/32.85	c GLOBAL bounds - >= -262661 @ 12.3034
32.79/32.94	c GLOBAL bounds - >= -262661 @ 12.3384
32.89/33.02	c GLOBAL bounds - >= -262661 @ 12.3632
32.99/33.11	c GLOBAL bounds - >= -262661 @ 12.3893
32.99/33.19	c GLOBAL bounds - >= -262661 @ 12.4161
33.09/33.27	c GLOBAL bounds - >= -262661 @ 12.4471
33.19/33.35	c GLOBAL bounds - >= -262661 @ 12.4789
33.29/33.44	c GLOBAL bounds - >= -262661 @ 12.5067
33.39/33.52	c GLOBAL bounds - >= -262661 @ 12.5376
33.49/33.60	c GLOBAL bounds - >= -262661 @ 12.5677
33.49/33.68	c GLOBAL bounds - >= -262661 @ 12.592
33.58/33.77	c GLOBAL bounds - >= -262661 @ 12.6235
33.69/33.85	c GLOBAL bounds - >= -262661 @ 12.6594
33.79/33.93	c GLOBAL bounds - >= -262661 @ 12.6868
33.89/34.01	c GLOBAL bounds - >= -262661 @ 12.7212
33.89/34.09	c GLOBAL bounds - >= -262661 @ 12.7547
33.99/34.18	c GLOBAL bounds - >= -262661 @ 12.7822
34.09/34.26	c GLOBAL bounds - >= -262661 @ 12.8042
34.18/34.34	c GLOBAL bounds - >= -262661 @ 12.8334
34.28/34.42	c GLOBAL bounds - >= -262661 @ 12.8591
34.39/34.51	c GLOBAL bounds - >= -262661 @ 12.8978
34.39/34.59	c GLOBAL bounds - >= -262661 @ 12.928
34.49/34.67	c GLOBAL bounds - >= -262661 @ 12.96
34.58/34.76	c GLOBAL bounds - >= -262661 @ 12.9986
34.69/34.84	c GLOBAL bounds - >= -262661 @ 13.0327
34.79/34.92	c GLOBAL bounds - >= -262661 @ 13.0585
34.89/35.00	c GLOBAL bounds - >= -262661 @ 13.0876
34.89/35.09	c GLOBAL bounds - >= -262661 @ 13.1124
34.99/35.17	c GLOBAL bounds - >= -262661 @ 13.1375
35.09/35.25	c GLOBAL bounds - >= -262661 @ 13.1752
35.19/35.34	c GLOBAL bounds - >= -262661 @ 13.2122
35.28/35.42	c GLOBAL bounds - >= -262661 @ 13.2352
35.39/35.50	c GLOBAL bounds - >= -262661 @ 13.2653
35.39/35.58	c GLOBAL bounds - >= -262661 @ 13.291
35.48/35.67	c GLOBAL bounds - >= -262661 @ 13.3243
35.58/35.75	c GLOBAL bounds - >= -262661 @ 13.3599
35.68/35.83	c GLOBAL bounds - >= -262661 @ 13.3906
35.78/35.92	c GLOBAL bounds - >= -262661 @ 13.4268
35.89/36.00	c GLOBAL bounds - >= -262661 @ 13.4595
35.89/36.09	c GLOBAL bounds - >= -262661 @ 13.4987
35.99/36.17	c GLOBAL bounds - >= -262661 @ 13.5254
36.08/36.25	c GLOBAL bounds - >= -262661 @ 13.5581
36.18/36.34	c GLOBAL bounds - >= -262661 @ 13.5914
36.28/36.42	c GLOBAL bounds - >= -262661 @ 13.6201
36.38/36.51	c GLOBAL bounds - >= -262661 @ 13.6482
36.38/36.59	c GLOBAL bounds - >= -262661 @ 13.6763
36.48/36.67	c GLOBAL bounds - >= -262661 @ 13.7068
36.58/36.75	c GLOBAL bounds - >= -262661 @ 13.7297
36.68/36.84	c GLOBAL bounds - >= -262661 @ 13.7585
36.79/36.93	c GLOBAL bounds - >= -262661 @ 13.7878
36.89/37.01	c GLOBAL bounds - >= -262661 @ 13.8296
36.89/37.09	c GLOBAL bounds - >= -262661 @ 13.8585
36.99/37.18	c GLOBAL bounds - >= -262661 @ 13.8886
37.08/37.26	c GLOBAL bounds - >= -262661 @ 13.9271
37.18/37.34	c GLOBAL bounds - >= -262661 @ 13.9593
37.28/37.42	c GLOBAL bounds - >= -262661 @ 13.9911
37.38/37.51	c GLOBAL bounds - >= -262661 @ 14.0191
37.38/37.59	c GLOBAL bounds - >= -262661 @ 14.0447
37.48/37.67	c GLOBAL bounds - >= -262661 @ 14.0788
37.58/37.75	c GLOBAL bounds - >= -262661 @ 14.1163
37.68/37.84	c GLOBAL bounds - >= -262661 @ 14.1447
37.78/37.92	c GLOBAL bounds - >= -262661 @ 14.1801
37.78/38.00	c GLOBAL bounds - >= -262661 @ 14.2058
37.88/38.08	c GLOBAL bounds - >= -262661 @ 14.2392
37.99/38.17	c GLOBAL bounds - >= -262661 @ 14.2726
38.08/38.25	c GLOBAL bounds - >= -262661 @ 14.3035
38.18/38.33	c GLOBAL bounds - >= -262661 @ 14.3362
38.28/38.41	c GLOBAL bounds - >= -262661 @ 14.3663
38.28/38.50	c GLOBAL bounds - >= -262661 @ 14.3913
38.38/38.58	c GLOBAL bounds - >= -262661 @ 14.4371
38.48/38.67	c GLOBAL bounds - >= -262661 @ 14.468
38.58/38.75	c GLOBAL bounds - >= -262661 @ 14.5041
38.67/38.84	c GLOBAL bounds - >= -262661 @ 14.5291
38.77/38.92	c GLOBAL bounds - >= -262661 @ 14.5628
38.77/39.00	c GLOBAL bounds - >= -262661 @ 14.5918
38.88/39.08	c GLOBAL bounds - >= -262661 @ 14.6237
38.98/39.16	c GLOBAL bounds - >= -262661 @ 14.6555
39.07/39.25	c GLOBAL bounds - >= -262661 @ 14.6851
39.18/39.33	c GLOBAL bounds - >= -262661 @ 14.7283
39.28/39.41	c GLOBAL bounds - >= -262661 @ 14.7573
39.28/39.50	c GLOBAL bounds - >= -262661 @ 14.7892
39.38/39.58	c GLOBAL bounds - >= -262661 @ 14.8159
39.47/39.66	c GLOBAL bounds - >= -262661 @ 14.8491
39.57/39.75	c GLOBAL bounds - >= -262661 @ 14.8841
39.68/39.83	c GLOBAL bounds - >= -262661 @ 14.919
39.77/39.91	c GLOBAL bounds - >= -262661 @ 14.9548
39.88/40.00	c GLOBAL bounds - >= -262661 @ 14.9924
39.88/40.09	c GLOBAL bounds - >= -262661 @ 15.0348
39.97/40.18	c GLOBAL bounds - >= -262661 @ 15.0567
40.07/40.26	c GLOBAL bounds - >= -262661 @ 15.0827
40.17/40.34	c GLOBAL bounds - >= -262661 @ 15.1185
40.27/40.42	c GLOBAL bounds - >= -262661 @ 15.1602
40.38/40.51	c GLOBAL bounds - >= -262661 @ 15.1952
40.38/40.59	c GLOBAL bounds - >= -262661 @ 15.2231
40.47/40.67	c GLOBAL bounds - >= -262661 @ 15.2548
40.57/40.76	c GLOBAL bounds - >= -262661 @ 15.2823
40.67/40.84	c GLOBAL bounds - >= -262661 @ 15.315
40.77/40.92	c GLOBAL bounds - >= -262661 @ 15.3464
40.87/41.00	c GLOBAL bounds - >= -262661 @ 15.3788
40.87/41.09	c GLOBAL bounds - >= -262661 @ 15.4168
40.98/41.17	c GLOBAL bounds - >= -262661 @ 15.4517
41.07/41.25	c GLOBAL bounds - >= -262661 @ 15.4807
41.17/41.34	c GLOBAL bounds - >= -262661 @ 15.5113
41.27/41.42	c GLOBAL bounds - >= -262661 @ 15.5463
41.37/41.50	c GLOBAL bounds - >= -262661 @ 15.5806
41.37/41.59	c GLOBAL bounds - >= -262661 @ 15.6261
41.47/41.67	c GLOBAL bounds - >= -262661 @ 15.6608
41.57/41.75	c GLOBAL bounds - >= -262661 @ 15.6911
41.66/41.83	c GLOBAL bounds - >= -262661 @ 15.7281
41.77/41.92	c GLOBAL bounds - >= -262661 @ 15.764
41.87/42.00	c GLOBAL bounds - >= -262661 @ 15.7938
41.87/42.08	c GLOBAL bounds - >= -262661 @ 15.8198
41.97/42.17	c GLOBAL bounds - >= -262661 @ 15.8544
42.07/42.25	c GLOBAL bounds - >= -262661 @ 15.8936
42.16/42.33	c GLOBAL bounds - >= -262661 @ 15.9276
42.27/42.41	c GLOBAL bounds - >= -262661 @ 15.9585
42.36/42.50	c GLOBAL bounds - >= -262661 @ 15.9899
42.36/42.58	c GLOBAL bounds - >= -262661 @ 16.0205
42.46/42.66	c GLOBAL bounds - >= -262661 @ 16.0542
42.57/42.74	c GLOBAL bounds - >= -262661 @ 16.0852
42.67/42.83	c GLOBAL bounds - >= -262661 @ 16.119
42.77/42.91	c #Conflicts:       1000 | #Constraints:       2037
42.77/42.91	c GLOBAL bounds - >= -262661 @ 16.1573
42.77/42.99	c GLOBAL bounds - >= -262661 @ 16.188
42.87/43.07	c GLOBAL bounds - >= -262661 @ 16.2227
42.97/43.16	c GLOBAL bounds - >= -262661 @ 16.2519
43.06/43.24	c GLOBAL bounds - >= -262661 @ 16.2855
43.17/43.33	c GLOBAL bounds - >= -262661 @ 16.3296
43.27/43.41	c GLOBAL bounds - >= -262661 @ 16.3577
43.27/43.49	c GLOBAL bounds - >= -262661 @ 16.389
43.37/43.57	c GLOBAL bounds - >= -262661 @ 16.4204
43.47/43.66	c GLOBAL bounds - >= -262661 @ 16.4495
43.56/43.74	c GLOBAL bounds - >= -262661 @ 16.4842
43.66/43.83	c GLOBAL bounds - >= -262661 @ 16.5251
43.76/43.92	c GLOBAL bounds - >= -262661 @ 16.5639
43.87/44.00	c GLOBAL bounds - >= -262661 @ 16.5931
43.87/44.09	c GLOBAL bounds - >= -262661 @ 16.6208
43.97/44.17	c GLOBAL bounds - >= -262661 @ 16.6574
44.06/44.26	c GLOBAL bounds - >= -262661 @ 16.6947
44.17/44.34	c GLOBAL bounds - >= -262661 @ 16.7255
44.27/44.43	c GLOBAL bounds - >= -262661 @ 16.7505
44.36/44.51	c GLOBAL bounds - >= -262661 @ 16.7796
44.36/44.59	c GLOBAL bounds - >= -262661 @ 16.8164
44.46/44.68	c GLOBAL bounds - >= -262661 @ 16.8452
44.57/44.76	c GLOBAL bounds - >= -262661 @ 16.8704
44.66/44.84	c GLOBAL bounds - >= -262661 @ 16.9029
44.76/44.92	c GLOBAL bounds - >= -262661 @ 16.934
44.86/45.01	c GLOBAL bounds - >= -262661 @ 16.9704
44.97/45.11	c GLOBAL bounds - >= -262661 @ 17.0171
44.97/45.19	c GLOBAL bounds - >= -262661 @ 17.0518
45.06/45.27	c GLOBAL bounds - >= -262661 @ 17.0869
45.16/45.36	c GLOBAL bounds - >= -262661 @ 17.1267
45.26/45.45	c GLOBAL bounds - >= -262661 @ 17.1672
45.36/45.53	c GLOBAL bounds - >= -262661 @ 17.2063
45.46/45.62	c GLOBAL bounds - >= -262661 @ 17.2534
45.56/45.72	c GLOBAL bounds - >= -262661 @ 17.2943
45.66/45.80	c GLOBAL bounds - >= -262661 @ 17.3272
45.66/45.88	c GLOBAL bounds - >= -262661 @ 17.356
45.76/45.96	c GLOBAL bounds - >= -262661 @ 17.3845
45.86/46.05	c GLOBAL bounds - >= -262661 @ 17.4169
45.96/46.13	c GLOBAL bounds - >= -262661 @ 17.4425
46.06/46.21	c GLOBAL bounds - >= -262661 @ 17.4812
46.16/46.30	c GLOBAL bounds - >= -262661 @ 17.5159
46.16/46.38	c GLOBAL bounds - >= -262661 @ 17.5411
46.26/46.46	c GLOBAL bounds - >= -262661 @ 17.5647
46.36/46.55	c GLOBAL bounds - >= -262661 @ 17.5978
46.46/46.63	c GLOBAL bounds - >= -262661 @ 17.6364
46.56/46.71	c GLOBAL bounds - >= -262661 @ 17.6685
46.56/46.80	c GLOBAL bounds - >= -262661 @ 17.6994
46.66/46.88	c GLOBAL bounds - >= -262661 @ 17.7359
46.76/46.96	c GLOBAL bounds - >= -262661 @ 17.7651
46.87/47.04	c GLOBAL bounds - >= -262661 @ 17.7949
46.96/47.13	c GLOBAL bounds - >= -262661 @ 17.8331
47.06/47.21	c GLOBAL bounds - >= -262661 @ 17.8607
47.06/47.29	c GLOBAL bounds - >= -262661 @ 17.8919
47.26/47.40	c GLOBAL bounds - >= -262661 @ 17.943
47.36/47.51	c GLOBAL bounds - >= -262661 @ 17.9896
47.45/47.62	c GLOBAL bounds - >= -262661 @ 18.0435
47.55/47.72	c GLOBAL bounds - >= -262661 @ 18.0973
47.65/47.82	c GLOBAL bounds - >= -262661 @ 18.1491
47.76/47.90	c GLOBAL bounds - >= -262661 @ 18.1769
47.76/47.99	c GLOBAL bounds - >= -262661 @ 18.207
47.86/48.07	c GLOBAL bounds - >= -262661 @ 18.2325
47.96/48.15	c GLOBAL bounds - >= -262661 @ 18.266
48.05/48.24	c GLOBAL bounds - >= -262661 @ 18.2969
48.16/48.33	c GLOBAL bounds - >= -262661 @ 18.3357
48.25/48.41	c GLOBAL bounds - >= -262661 @ 18.3716
48.25/48.49	c GLOBAL bounds - >= -262661 @ 18.4008
48.36/48.58	c GLOBAL bounds - >= -262661 @ 18.4352
48.45/48.67	c GLOBAL bounds - >= -262661 @ 18.4756
48.55/48.75	c GLOBAL bounds - >= -262661 @ 18.5052
48.65/48.84	c GLOBAL bounds - >= -262661 @ 18.5422
48.75/48.92	c GLOBAL bounds - >= -262661 @ 18.5678
48.85/49.00	c GLOBAL bounds - >= -262661 @ 18.5978
48.85/49.08	c GLOBAL bounds - >= -262661 @ 18.621
48.95/49.17	c GLOBAL bounds - >= -262661 @ 18.6465
49.05/49.25	c GLOBAL bounds - >= -262661 @ 18.6782
49.15/49.33	c GLOBAL bounds - >= -262661 @ 18.7099
49.25/49.42	c GLOBAL bounds - >= -262661 @ 18.7408
49.35/49.50	c GLOBAL bounds - >= -262661 @ 18.7748
49.35/49.58	c GLOBAL bounds - >= -262661 @ 18.8022
49.45/49.67	c GLOBAL bounds - >= -262661 @ 18.837
49.55/49.76	c GLOBAL bounds - >= -262661 @ 18.8749
49.65/49.84	c GLOBAL bounds - >= -262661 @ 18.9073
49.75/49.93	c GLOBAL bounds - >= -262661 @ 18.9422
49.86/50.01	c GLOBAL bounds - >= -262661 @ 18.9762
49.86/50.10	c GLOBAL bounds - >= -262661 @ 19.0041
49.95/50.18	c GLOBAL bounds - >= -262661 @ 19.032
50.04/50.26	c GLOBAL bounds - >= -262661 @ 19.063
50.15/50.35	c GLOBAL bounds - >= -262661 @ 19.0929
50.25/50.43	c GLOBAL bounds - >= -262661 @ 19.1258
50.35/50.51	c GLOBAL bounds - >= -262661 @ 19.1577
50.45/50.60	c GLOBAL bounds - >= -262661 @ 19.1926
50.45/50.68	c GLOBAL bounds - >= -262661 @ 19.2227
50.54/50.77	c GLOBAL bounds - >= -262661 @ 19.2555
50.65/50.86	c GLOBAL bounds - >= -262661 @ 19.287
50.75/50.94	c GLOBAL bounds - >= -262661 @ 19.3211
50.86/51.02	c GLOBAL bounds - >= -262661 @ 19.3515
50.95/51.11	c GLOBAL bounds - >= -262661 @ 19.3903
50.95/51.19	c GLOBAL bounds - >= -262661 @ 19.4222
51.05/51.27	c GLOBAL bounds - >= -262661 @ 19.451
51.14/51.36	c GLOBAL bounds - >= -262661 @ 19.4962
51.24/51.44	c GLOBAL bounds - >= -262661 @ 19.5254
51.34/51.53	c GLOBAL bounds - >= -262661 @ 19.5589
51.45/51.61	c GLOBAL bounds - >= -262661 @ 19.5907
51.55/51.70	c GLOBAL bounds - >= -262661 @ 19.6257
51.55/51.78	c GLOBAL bounds - >= -262661 @ 19.6587
51.65/51.86	c GLOBAL bounds - >= -262661 @ 19.6871
51.75/51.95	c GLOBAL bounds - >= -262661 @ 19.7279
51.86/52.04	c GLOBAL bounds - >= -262661 @ 19.7642
51.95/52.12	c GLOBAL bounds - >= -262661 @ 19.7944
52.04/52.20	c GLOBAL bounds - >= -262661 @ 19.8293
52.04/52.29	c GLOBAL bounds - >= -262661 @ 19.8691
52.15/52.37	c GLOBAL bounds - >= -262661 @ 19.899
52.25/52.46	c GLOBAL bounds - >= -262661 @ 19.934
52.35/52.54	c GLOBAL bounds - >= -262661 @ 19.9727
52.45/52.63	c GLOBAL bounds - >= -262661 @ 20.0005
52.54/52.71	c GLOBAL bounds - >= -262661 @ 20.0276
52.54/52.79	c GLOBAL bounds - >= -262661 @ 20.0587
52.65/52.88	c GLOBAL bounds - >= -262661 @ 20.0935
52.75/52.96	c GLOBAL bounds - >= -262661 @ 20.1215
52.85/53.05	c GLOBAL bounds - >= -262661 @ 20.1505
52.95/53.13	c GLOBAL bounds - >= -262661 @ 20.1982
53.04/53.22	c GLOBAL bounds - >= -262661 @ 20.2263
53.14/53.30	c GLOBAL bounds - >= -262661 @ 20.2541
53.14/53.39	c GLOBAL bounds - >= -262661 @ 20.2861
53.25/53.47	c GLOBAL bounds - >= -262661 @ 20.3212
53.34/53.55	c GLOBAL bounds - >= -262661 @ 20.3533
53.45/53.64	c GLOBAL bounds - >= -262661 @ 20.3858
53.54/53.72	c GLOBAL bounds - >= -262661 @ 20.4123
53.64/53.81	c GLOBAL bounds - >= -262661 @ 20.4474
53.64/53.89	c GLOBAL bounds - >= -262661 @ 20.4826
53.74/53.98	c GLOBAL bounds - >= -262661 @ 20.5105
53.85/54.06	c GLOBAL bounds - >= -262661 @ 20.542
53.94/54.15	c GLOBAL bounds - >= -262661 @ 20.5743
54.04/54.23	c GLOBAL bounds - >= -262661 @ 20.6093
54.14/54.34	c GLOBAL bounds - >= -262661 @ 20.6631
54.24/54.42	c GLOBAL bounds - >= -262661 @ 20.6946
54.34/54.51	c GLOBAL bounds - >= -262661 @ 20.73
54.34/54.59	c GLOBAL bounds - >= -262661 @ 20.758
54.44/54.68	c GLOBAL bounds - >= -262661 @ 20.7938
54.54/54.76	c GLOBAL bounds - >= -262661 @ 20.828
54.64/54.84	c GLOBAL bounds - >= -262661 @ 20.8592
54.74/54.93	c GLOBAL bounds - >= -262661 @ 20.8906
54.84/55.01	c GLOBAL bounds - >= -262661 @ 20.9325
54.84/55.10	c GLOBAL bounds - >= -262661 @ 20.968
54.95/55.18	c GLOBAL bounds - >= -262661 @ 21.0024
55.04/55.27	c GLOBAL bounds - >= -262661 @ 21.0386
55.14/55.35	c GLOBAL bounds - >= -262661 @ 21.0702
55.23/55.44	c GLOBAL bounds - >= -262661 @ 21.1011
55.34/55.52	c GLOBAL bounds - >= -262661 @ 21.1381
55.43/55.60	c GLOBAL bounds - >= -262661 @ 21.1625
55.43/55.69	c GLOBAL bounds - >= -262661 @ 21.1938
55.54/55.78	c GLOBAL bounds - >= -262661 @ 21.2362
55.64/55.87	c GLOBAL bounds - >= -262661 @ 21.267
55.74/55.95	c GLOBAL bounds - >= -262661 @ 21.3014
55.84/56.03	c GLOBAL bounds - >= -262661 @ 21.334
55.94/56.12	c GLOBAL bounds - >= -262661 @ 21.3623
56.04/56.20	c GLOBAL bounds - >= -262661 @ 21.3952
56.04/56.28	c GLOBAL bounds - >= -262661 @ 21.4262
56.14/56.37	c GLOBAL bounds - >= -262661 @ 21.4572
56.24/56.45	c GLOBAL bounds - >= -262661 @ 21.4904
56.33/56.54	c GLOBAL bounds - >= -262661 @ 21.5256
56.44/56.62	c GLOBAL bounds - >= -262661 @ 21.562
56.54/56.70	c GLOBAL bounds - >= -262661 @ 21.5984
56.54/56.79	c GLOBAL bounds - >= -262661 @ 21.6273
56.63/56.87	c GLOBAL bounds - >= -262661 @ 21.6583
56.73/56.98	c GLOBAL bounds - >= -262661 @ 21.7096
56.84/57.08	c GLOBAL bounds - >= -262661 @ 21.762
56.94/57.17	c GLOBAL bounds - >= -262661 @ 21.8064
57.03/57.26	c GLOBAL bounds - >= -262661 @ 21.8284
57.13/57.34	c GLOBAL bounds - >= -262661 @ 21.8607
57.23/57.43	c GLOBAL bounds - >= -262661 @ 21.8972
57.33/57.52	c GLOBAL bounds - >= -262661 @ 21.9358
57.43/57.61	c GLOBAL bounds - >= -262661 @ 21.9632
57.43/57.69	c GLOBAL bounds - >= -262661 @ 21.999
57.54/57.78	c GLOBAL bounds - >= -262661 @ 22.0354
57.64/57.87	c GLOBAL bounds - >= -262661 @ 22.0844
57.74/57.96	c GLOBAL bounds - >= -262661 @ 22.1253
57.84/58.05	c GLOBAL bounds - >= -262661 @ 22.1614
57.93/58.14	c GLOBAL bounds - >= -262661 @ 22.1895
58.03/58.22	c GLOBAL bounds - >= -262661 @ 22.2329
58.14/58.31	c GLOBAL bounds - >= -262661 @ 22.2641
58.23/58.40	c GLOBAL bounds - >= -262661 @ 22.3038
58.33/58.50	c GLOBAL bounds - >= -262661 @ 22.3497
58.33/58.58	c GLOBAL bounds - >= -262661 @ 22.3922
58.43/58.68	c GLOBAL bounds - >= -262661 @ 22.4434
58.53/58.77	c GLOBAL bounds - >= -262661 @ 22.4939
58.63/58.86	c GLOBAL bounds - >= -262661 @ 22.5264
58.73/58.94	c GLOBAL bounds - >= -262661 @ 22.5549
58.83/59.07	c GLOBAL bounds - >= -262661 @ 22.6306
58.93/59.16	c GLOBAL bounds - >= -262661 @ 22.6709
59.03/59.24	c GLOBAL bounds - >= -262661 @ 22.7015
59.13/59.37	c GLOBAL bounds - >= -262661 @ 22.7744
59.23/59.46	c GLOBAL bounds - >= -262661 @ 22.799
59.33/59.55	c GLOBAL bounds - >= -262661 @ 22.8409
59.43/59.64	c GLOBAL bounds - >= -262661 @ 22.8787
59.53/59.75	c GLOBAL bounds - >= -262661 @ 22.9434
59.62/59.86	c GLOBAL bounds - >= -262661 @ 23.0131
59.72/59.95	c GLOBAL bounds - >= -262661 @ 23.0422
59.84/60.04	c GLOBAL bounds - >= -262661 @ 23.0864
59.94/60.14	c GLOBAL bounds - >= -262661 @ 23.1291
60.02/60.23	c GLOBAL bounds - >= -262661 @ 23.1601
60.12/60.32	c GLOBAL bounds - >= -262661 @ 23.1997
60.23/60.40	c GLOBAL bounds - >= -262661 @ 23.2329
60.23/60.49	c GLOBAL bounds - >= -262661 @ 23.2617
60.32/60.59	c GLOBAL bounds - >= -262661 @ 23.3124
60.42/60.67	c GLOBAL bounds - >= -262661 @ 23.3477
60.52/60.76	c GLOBAL bounds - >= -262661 @ 23.3812
60.63/60.84	c GLOBAL bounds - >= -262661 @ 23.4155
60.73/60.93	c GLOBAL bounds - >= -262661 @ 23.4421
60.83/61.01	c GLOBAL bounds - >= -262661 @ 23.4805
60.83/61.09	c GLOBAL bounds - >= -262661 @ 23.5119
60.93/61.18	c GLOBAL bounds - >= -262661 @ 23.5438
61.03/61.27	c GLOBAL bounds - >= -262661 @ 23.5807
61.12/61.35	c GLOBAL bounds - >= -262661 @ 23.6148
61.22/61.44	c GLOBAL bounds - >= -262661 @ 23.6545
61.32/61.52	c GLOBAL bounds - >= -262661 @ 23.6849
61.42/61.61	c GLOBAL bounds - >= -262661 @ 23.7134
61.53/61.70	c GLOBAL bounds - >= -262661 @ 23.7436
61.53/61.78	c GLOBAL bounds - >= -262661 @ 23.7775
61.62/61.87	c GLOBAL bounds - >= -262661 @ 23.8145
61.73/61.96	c GLOBAL bounds - >= -262661 @ 23.8401
61.82/62.05	c GLOBAL bounds - >= -262661 @ 23.888
61.93/62.17	c #Conflicts:       2000 | #Constraints:       3481
61.93/62.17	c INPROCESSING
61.93/62.17	c GARBAGE COLLECT
61.93/62.17	c GLOBAL bounds - >= -262661 @ 23.959
62.02/62.25	c GLOBAL bounds - >= -262661 @ 23.9906
62.12/62.35	c GLOBAL bounds - >= -262661 @ 24.0317
62.22/62.43	c GLOBAL bounds - >= -262661 @ 24.0665
62.32/62.51	c GLOBAL bounds - >= -262661 @ 24.0914
62.42/62.60	c GLOBAL bounds - >= -262661 @ 24.1288
62.42/62.68	c GLOBAL bounds - >= -262661 @ 24.1591
62.52/62.77	c GLOBAL bounds - >= -262661 @ 24.1912
62.62/62.85	c GLOBAL bounds - >= -262661 @ 24.2258
62.72/62.93	c GLOBAL bounds - >= -262661 @ 24.2559
62.82/63.01	c GLOBAL bounds - >= -262661 @ 24.2932
62.93/63.10	c GLOBAL bounds - >= -262661 @ 24.3236
62.93/63.18	c GLOBAL bounds - >= -262661 @ 24.3599
63.02/63.27	c GLOBAL bounds - >= -262661 @ 24.3932
63.12/63.36	c GLOBAL bounds - >= -262661 @ 24.4241
63.21/63.44	c GLOBAL bounds - >= -262661 @ 24.4573
63.32/63.52	c GLOBAL bounds - >= -262661 @ 24.4836
63.41/63.60	c GLOBAL bounds - >= -262661 @ 24.5119
63.41/63.68	c GLOBAL bounds - >= -262661 @ 24.5366
63.52/63.77	c GLOBAL bounds - >= -262661 @ 24.5681
63.62/63.85	c GLOBAL bounds - >= -262661 @ 24.5974
63.72/63.93	c GLOBAL bounds - >= -262661 @ 24.6233
63.82/64.02	c GLOBAL bounds - >= -262661 @ 24.6614
63.92/64.10	c GLOBAL bounds - >= -262661 @ 24.7101
63.92/64.19	c GLOBAL bounds - >= -262661 @ 24.7461
64.02/64.27	c GLOBAL bounds - >= -262661 @ 24.7743
64.12/64.35	c GLOBAL bounds - >= -262661 @ 24.81
64.21/64.44	c GLOBAL bounds - >= -262661 @ 24.8449
64.31/64.52	c GLOBAL bounds - >= -262661 @ 24.8799
64.41/64.60	c GLOBAL bounds - >= -262661 @ 24.9198
64.41/64.69	c GLOBAL bounds - >= -262661 @ 24.9517
64.52/64.78	c GLOBAL bounds - >= -262661 @ 24.9945
64.62/64.86	c GLOBAL bounds - >= -262661 @ 25.0245
64.71/64.94	c GLOBAL bounds - >= -262661 @ 25.0575
64.82/65.03	c GLOBAL bounds - >= -262661 @ 25.0944
64.92/65.11	c GLOBAL bounds - >= -262661 @ 25.1284
65.01/65.20	c GLOBAL bounds - >= -262661 @ 25.168
65.01/65.28	c GLOBAL bounds - >= -262661 @ 25.197
65.12/65.36	c GLOBAL bounds - >= -262661 @ 25.221
65.22/65.45	c GLOBAL bounds - >= -262661 @ 25.2593
65.31/65.53	c GLOBAL bounds - >= -262661 @ 25.2849
65.42/65.61	c GLOBAL bounds - >= -262661 @ 25.3168
65.51/65.71	c GLOBAL bounds - >= -262661 @ 25.3556
65.51/65.79	c GLOBAL bounds - >= -262661 @ 25.3858
65.61/65.87	c GLOBAL bounds - >= -262661 @ 25.4204
65.71/65.96	c GLOBAL bounds - >= -262661 @ 25.4614
65.81/66.05	c GLOBAL bounds - >= -262661 @ 25.4917
65.92/66.13	c GLOBAL bounds - >= -262661 @ 25.5183
66.01/66.22	c GLOBAL bounds - >= -262661 @ 25.5531
66.11/66.30	c GLOBAL bounds - >= -262661 @ 25.5852
66.11/66.38	c GLOBAL bounds - >= -262661 @ 25.6159
66.21/66.46	c GLOBAL bounds - >= -262661 @ 25.648
66.31/66.55	c GLOBAL bounds - >= -262661 @ 25.6792
66.41/66.63	c GLOBAL bounds - >= -262661 @ 25.7149
66.52/66.72	c GLOBAL bounds - >= -262661 @ 25.7537
66.61/66.80	c GLOBAL bounds - >= -262661 @ 25.7777
66.61/66.89	c GLOBAL bounds - >= -262661 @ 25.8087
66.71/66.98	c GLOBAL bounds - >= -262661 @ 25.854
66.82/67.07	c GLOBAL bounds - >= -262661 @ 25.8898
66.92/67.15	c GLOBAL bounds - >= -262661 @ 25.9196
67.01/67.23	c GLOBAL bounds - >= -262661 @ 25.9533
67.11/67.33	c GLOBAL bounds - >= -262661 @ 25.9986
67.21/67.42	c GLOBAL bounds - >= -262661 @ 26.0352
67.31/67.50	c GLOBAL bounds - >= -262661 @ 26.0699
67.41/67.60	c GLOBAL bounds - >= -262661 @ 26.1151
67.41/67.68	c GLOBAL bounds - >= -262661 @ 26.1538
67.51/67.76	c GLOBAL bounds - >= -262661 @ 26.1878
67.61/67.86	c GLOBAL bounds - >= -262661 @ 26.2258
67.71/67.94	c GLOBAL bounds - >= -262661 @ 26.2565
67.81/68.02	c GLOBAL bounds - >= -262661 @ 26.288
67.91/68.11	c GLOBAL bounds - >= -262661 @ 26.3213
67.91/68.19	c GLOBAL bounds - >= -262661 @ 26.3564
68.00/68.28	c GLOBAL bounds - >= -262661 @ 26.3889
68.11/68.36	c GLOBAL bounds - >= -262661 @ 26.414
68.20/68.45	c GLOBAL bounds - >= -262661 @ 26.4472
68.30/68.53	c GLOBAL bounds - >= -262661 @ 26.472
68.40/68.61	c GLOBAL bounds - >= -262661 @ 26.5041
68.50/68.70	c GLOBAL bounds - >= -262661 @ 26.538
68.50/68.78	c GLOBAL bounds - >= -262661 @ 26.5691
68.60/68.86	c GLOBAL bounds - >= -262661 @ 26.6056
68.71/68.95	c GLOBAL bounds - >= -262661 @ 26.6367
68.81/69.04	c GLOBAL bounds - >= -262661 @ 26.6716
68.91/69.12	c GLOBAL bounds - >= -262661 @ 26.704
69.01/69.20	c GLOBAL bounds - >= -262661 @ 26.7376
69.01/69.28	c GLOBAL bounds - >= -262661 @ 26.7727
69.11/69.37	c GLOBAL bounds - >= -262661 @ 26.8037
69.20/69.46	c GLOBAL bounds - >= -262661 @ 26.8405
69.30/69.54	c GLOBAL bounds - >= -262661 @ 26.8751
69.40/69.63	c GLOBAL bounds - >= -262661 @ 26.9082
69.51/69.71	c GLOBAL bounds - >= -262661 @ 26.9412
69.51/69.79	c GLOBAL bounds - >= -262661 @ 26.969
69.61/69.89	c GLOBAL bounds - >= -262661 @ 27.0076
69.70/69.97	c GLOBAL bounds - >= -262661 @ 27.0418
69.80/70.05	c GLOBAL bounds - >= -262661 @ 27.0815
69.91/70.14	c GLOBAL bounds - >= -262661 @ 27.1095
70.00/70.22	c GLOBAL bounds - >= -262661 @ 27.1347
70.10/70.31	c GLOBAL bounds - >= -262661 @ 27.1697
70.10/70.39	c GLOBAL bounds - >= -262661 @ 27.2083
70.21/70.49	c GLOBAL bounds - >= -262661 @ 27.2512
70.30/70.57	c GLOBAL bounds - >= -262661 @ 27.2786
70.40/70.65	c GLOBAL bounds - >= -262661 @ 27.3061
70.50/70.75	c GLOBAL bounds - >= -262661 @ 27.3597
70.60/70.83	c GLOBAL bounds - >= -262661 @ 27.391
70.70/70.91	c GLOBAL bounds - >= -262661 @ 27.4198
70.81/71.01	c GLOBAL bounds - >= -262661 @ 27.4668
70.81/71.10	c GLOBAL bounds - >= -262661 @ 27.511
70.91/71.18	c GLOBAL bounds - >= -262661 @ 27.5465
71.01/71.26	c GLOBAL bounds - >= -262661 @ 27.5774
71.10/71.35	c GLOBAL bounds - >= -262661 @ 27.6036
71.20/71.45	c GLOBAL bounds - >= -262661 @ 27.6592
71.30/71.53	c GLOBAL bounds - >= -262661 @ 27.6929
71.40/71.61	c GLOBAL bounds - >= -262661 @ 27.728
71.50/71.71	c GLOBAL bounds - >= -262661 @ 27.7772
71.50/71.79	c GLOBAL bounds - >= -262661 @ 27.8158
71.70/71.90	c GLOBAL bounds - >= -262661 @ 27.8664
71.70/71.99	c GLOBAL bounds - >= -262661 @ 27.8994
71.80/72.08	c GLOBAL bounds - >= -262661 @ 27.9416
71.90/72.16	c GLOBAL bounds - >= -262661 @ 27.9787
72.00/72.25	c GLOBAL bounds - >= -262661 @ 28.0093
72.09/72.33	c GLOBAL bounds - >= -262661 @ 28.0432
72.19/72.41	c GLOBAL bounds - >= -262661 @ 28.082
72.29/72.50	c GLOBAL bounds - >= -262661 @ 28.109
72.29/72.58	c GLOBAL bounds - >= -262661 @ 28.1411
72.40/72.67	c GLOBAL bounds - >= -262661 @ 28.1673
72.49/72.76	c GLOBAL bounds - >= -262661 @ 28.1987
72.60/72.86	c GLOBAL bounds - >= -262661 @ 28.2457
72.70/72.95	c GLOBAL bounds - >= -262661 @ 28.2816
72.80/73.03	c GLOBAL bounds - >= -262661 @ 28.3137
72.90/73.11	c GLOBAL bounds - >= -262661 @ 28.3548
72.90/73.20	c GLOBAL bounds - >= -262661 @ 28.3843
73.00/73.28	c GLOBAL bounds - >= -262661 @ 28.4212
73.10/73.36	c GLOBAL bounds - >= -262661 @ 28.4466
73.20/73.45	c GLOBAL bounds - >= -262661 @ 28.481
73.30/73.53	c GLOBAL bounds - >= -262661 @ 28.5151
73.40/73.61	c GLOBAL bounds - >= -262661 @ 28.546
73.49/73.70	c GLOBAL bounds - >= -262661 @ 28.5757
73.49/73.78	c GLOBAL bounds - >= -262661 @ 28.6092
73.69/73.92	c GLOBAL bounds - >= -262661 @ 28.692
73.80/74.02	c GLOBAL bounds - >= -262661 @ 28.7404
73.90/74.11	c GLOBAL bounds - >= -262661 @ 28.7852
73.90/74.19	c GLOBAL bounds - >= -262661 @ 28.8132
73.99/74.28	c GLOBAL bounds - >= -262661 @ 28.8501
74.10/74.36	c GLOBAL bounds - >= -262661 @ 28.8838
74.19/74.45	c GLOBAL bounds - >= -262661 @ 28.9151
74.29/74.53	c GLOBAL bounds - >= -262661 @ 28.9518
74.39/74.61	c GLOBAL bounds - >= -262661 @ 28.99
74.49/74.70	c GLOBAL bounds - >= -262661 @ 29.0149
74.49/74.79	c GLOBAL bounds - >= -262661 @ 29.0507
74.59/74.87	c GLOBAL bounds - >= -262661 @ 29.0848
74.69/74.96	c GLOBAL bounds - >= -262661 @ 29.1186
74.80/75.04	c GLOBAL bounds - >= -262661 @ 29.151
74.89/75.13	c GLOBAL bounds - >= -262661 @ 29.1874
74.99/75.22	c GLOBAL bounds - >= -262661 @ 29.2205
75.09/75.31	c GLOBAL bounds - >= -262661 @ 29.2595
75.09/75.39	c GLOBAL bounds - >= -262661 @ 29.2901
75.19/75.48	c GLOBAL bounds - >= -262661 @ 29.3302
75.29/75.57	c GLOBAL bounds - >= -262661 @ 29.3644
75.39/75.65	c GLOBAL bounds - >= -262661 @ 29.3983
75.49/75.74	c GLOBAL bounds - >= -262661 @ 29.4262
75.59/75.83	c GLOBAL bounds - >= -262661 @ 29.4752
75.69/75.92	c GLOBAL bounds - >= -262661 @ 29.5024
75.79/76.01	c GLOBAL bounds - >= -262661 @ 29.5491
75.79/76.10	c GLOBAL bounds - >= -262661 @ 29.5822
75.89/76.18	c GLOBAL bounds - >= -262661 @ 29.6111
75.98/76.26	c GLOBAL bounds - >= -262661 @ 29.6448
76.08/76.35	c GLOBAL bounds - >= -262661 @ 29.685
76.19/76.44	c GLOBAL bounds - >= -262661 @ 29.7091
76.29/76.53	c GLOBAL bounds - >= -262661 @ 29.7569
76.29/76.53	c GLOBAL bounds - >= -90946 @ 29.7589
76.89/77.19	c GLOBAL bounds - >= -90946 @ 30.3684
76.98/77.20	c GLOBAL bounds - >= -90946 @ 30.3792
76.98/77.21	c GLOBAL bounds - >= -90946 @ 30.3878
76.98/77.22	c GLOBAL bounds - >= -90946 @ 30.3964
76.98/77.22	c GLOBAL bounds - >= -90946 @ 30.4037
76.98/77.23	c GLOBAL bounds - >= -90946 @ 30.4106
76.98/77.24	c GLOBAL bounds - >= -90946 @ 30.4194
76.98/77.25	c GLOBAL bounds - >= -90946 @ 30.4281
76.98/77.25	c GLOBAL bounds - >= -90946 @ 30.4353
76.98/77.26	c GLOBAL bounds - >= -90946 @ 30.4422
76.98/77.27	c GLOBAL bounds - >= -90946 @ 30.4507
76.98/77.28	c GLOBAL bounds - >= -90946 @ 30.4597
76.98/77.29	c GLOBAL bounds - >= -90946 @ 30.4668
76.98/77.29	c GLOBAL bounds - >= -90946 @ 30.4726
77.08/77.30	c GLOBAL bounds - >= -90946 @ 30.4794
77.08/77.31	c GLOBAL bounds - >= -90946 @ 30.4863
77.08/77.31	c GLOBAL bounds - >= -90946 @ 30.4934
77.08/77.32	c GLOBAL bounds - >= -90946 @ 30.5022
77.08/77.33	c GLOBAL bounds - >= -90946 @ 30.5111
77.08/77.34	c GLOBAL bounds - >= -90946 @ 30.5212
77.08/77.35	c GLOBAL bounds - >= -90946 @ 30.5292
77.08/77.36	c GLOBAL bounds - >= -90946 @ 30.5366
77.08/77.37	c GLOBAL bounds - >= -90946 @ 30.5451
77.08/77.37	c GLOBAL bounds - >= -90946 @ 30.5525
77.08/77.38	c GLOBAL bounds - >= -90946 @ 30.5596
77.08/77.39	c GLOBAL bounds - >= -90946 @ 30.5668
77.08/77.39	c GLOBAL bounds - >= -90946 @ 30.574
77.18/77.40	c GLOBAL bounds - >= -90946 @ 30.5813
77.18/77.41	c GLOBAL bounds - >= -90946 @ 30.5889
77.18/77.42	c GLOBAL bounds - >= -90946 @ 30.5964
77.18/77.42	c GLOBAL bounds - >= -90946 @ 30.6032
77.18/77.43	c GLOBAL bounds - >= -90946 @ 30.6102
77.18/77.44	c GLOBAL bounds - >= -90946 @ 30.6197
77.18/77.45	c GLOBAL bounds - >= -90946 @ 30.6291
77.18/77.46	c GLOBAL bounds - >= -90946 @ 30.6361
77.18/77.46	c GLOBAL bounds - >= -90946 @ 30.6424
77.18/77.47	c GLOBAL bounds - >= -90946 @ 30.6492
77.18/77.48	c GLOBAL bounds - >= -90946 @ 30.6559
77.18/77.48	c GLOBAL bounds - >= -90946 @ 30.661
77.18/77.49	c GLOBAL bounds - >= -90946 @ 30.6684
77.29/77.50	c GLOBAL bounds - >= -90946 @ 30.6753
77.29/77.50	c GLOBAL bounds - >= -90946 @ 30.6809
77.29/77.51	c GLOBAL bounds - >= -90946 @ 30.6893
77.29/77.52	c GLOBAL bounds - >= -90946 @ 30.698
77.29/77.53	c GLOBAL bounds - >= -90946 @ 30.7056
77.29/77.54	c GLOBAL bounds - >= -90946 @ 30.7146
77.29/77.54	c GLOBAL bounds - >= -90946 @ 30.7216
77.29/77.55	c GLOBAL bounds - >= -90946 @ 30.7284
77.29/77.56	c GLOBAL bounds - >= -90946 @ 30.7347
77.29/77.56	c GLOBAL bounds - >= -90946 @ 30.7408
77.29/77.57	c GLOBAL bounds - >= -90946 @ 30.7469
77.29/77.58	c GLOBAL bounds - >= -90946 @ 30.7539
77.29/77.58	c GLOBAL bounds - >= -90946 @ 30.7614
77.29/77.59	c GLOBAL bounds - >= -90946 @ 30.7683
77.39/77.60	c GLOBAL bounds - >= -90946 @ 30.7747
77.39/77.61	c GLOBAL bounds - >= -90946 @ 30.7825
77.39/77.61	c GLOBAL bounds - >= -90946 @ 30.7892
77.39/77.62	c GLOBAL bounds - >= -90946 @ 30.7978
77.39/77.63	c GLOBAL bounds - >= -90946 @ 30.8063
77.39/77.64	c GLOBAL bounds - >= -90946 @ 30.8128
77.39/77.64	c GLOBAL bounds - >= -90946 @ 30.819
77.39/77.65	c GLOBAL bounds - >= -90946 @ 30.8251
77.39/77.66	c GLOBAL bounds - >= -90946 @ 30.832
77.39/77.66	c GLOBAL bounds - >= -90946 @ 30.8382
77.39/77.67	c GLOBAL bounds - >= -90946 @ 30.8469
77.39/77.68	c GLOBAL bounds - >= -90946 @ 30.855
77.39/77.69	c GLOBAL bounds - >= -90946 @ 30.8615
77.39/77.69	c GLOBAL bounds - >= -90946 @ 30.8677
77.49/77.70	c GLOBAL bounds - >= -90946 @ 30.8758
77.49/77.71	c GLOBAL bounds - >= -90946 @ 30.8847
77.49/77.72	c GLOBAL bounds - >= -90946 @ 30.8916
77.49/77.72	c GLOBAL bounds - >= -90946 @ 30.8974
77.49/77.73	c GLOBAL bounds - >= -90946 @ 30.9039
77.49/77.74	c GLOBAL bounds - >= -90946 @ 30.9119
77.49/77.75	c GLOBAL bounds - >= -90946 @ 30.9219
77.49/77.76	c GLOBAL bounds - >= -90946 @ 30.9314
77.49/77.77	c GLOBAL bounds - >= -90946 @ 30.94
77.49/77.77	c GLOBAL bounds - >= -90946 @ 30.9488
77.49/77.78	c GLOBAL bounds - >= -90946 @ 30.9573
77.58/77.84	c GLOBAL bounds - >= -90946 @ 31.0124
77.58/77.85	c GLOBAL bounds - >= -90946 @ 31.0206
77.58/77.86	c GLOBAL bounds - >= -90946 @ 31.0288
77.58/77.87	c GLOBAL bounds - >= -90946 @ 31.0375
77.58/77.87	c GLOBAL bounds - >= -90946 @ 31.045
77.58/77.88	c GLOBAL bounds - >= -90946 @ 31.0529
77.58/77.89	c GLOBAL bounds - >= -90946 @ 31.0613
77.68/77.90	c GLOBAL bounds - >= -90946 @ 31.0677
77.68/77.90	c GLOBAL bounds - >= -90946 @ 31.0738
77.68/77.91	c GLOBAL bounds - >= -90946 @ 31.0811
77.68/77.92	c GLOBAL bounds - >= -90946 @ 31.0888
77.68/77.93	c GLOBAL bounds - >= -90946 @ 31.0967
77.68/77.94	c GLOBAL bounds - >= -90946 @ 31.1069
77.68/77.95	c GLOBAL bounds - >= -90946 @ 31.116
77.68/77.96	c GLOBAL bounds - >= -90946 @ 31.1242
77.68/77.96	c GLOBAL bounds - >= -90946 @ 31.1313
77.68/77.97	c GLOBAL bounds - >= -90946 @ 31.1378
77.68/77.98	c GLOBAL bounds - >= -90946 @ 31.1443
77.68/77.98	c GLOBAL bounds - >= -90946 @ 31.1521
77.68/77.99	c GLOBAL bounds - >= -90946 @ 31.16
77.68/78.00	c GLOBAL bounds - >= -90946 @ 31.1667
77.78/78.01	c GLOBAL bounds - >= -90946 @ 31.1756
77.78/78.02	c GLOBAL bounds - >= -90946 @ 31.1845
77.78/78.02	c GLOBAL bounds - >= -90946 @ 31.1909
77.78/78.03	c GLOBAL bounds - >= -90946 @ 31.2015
77.78/78.08	c GLOBAL bounds - >= -90946 @ 31.2476
77.78/78.09	c GLOBAL bounds - >= -90946 @ 31.256
77.89/78.10	c GLOBAL bounds - >= -90946 @ 31.265
77.89/78.11	c GLOBAL bounds - >= -90946 @ 31.2737
77.89/78.12	c GLOBAL bounds - >= -90946 @ 31.2823
77.89/78.13	c GLOBAL bounds - >= -90946 @ 31.2905
77.89/78.14	c GLOBAL bounds - >= -90946 @ 31.2977
77.89/78.15	c GLOBAL bounds - >= -90946 @ 31.3063
77.89/78.15	c GLOBAL bounds - >= -90946 @ 31.3147
77.89/78.16	c GLOBAL bounds - >= -90946 @ 31.3223
77.89/78.17	c GLOBAL bounds - >= -90946 @ 31.3318
77.89/78.18	c GLOBAL bounds - >= -90946 @ 31.3409
77.89/78.19	c GLOBAL bounds - >= -90946 @ 31.3491
77.98/78.20	c GLOBAL bounds - >= -90946 @ 31.3573
77.98/78.21	c GLOBAL bounds - >= -90946 @ 31.364
77.98/78.22	c GLOBAL bounds - >= -90946 @ 31.3735
77.98/78.22	c GLOBAL bounds - >= -90946 @ 31.3818
77.98/78.23	c GLOBAL bounds - >= -90946 @ 31.3881
77.98/78.24	c GLOBAL bounds - >= -90946 @ 31.3951
77.98/78.25	c GLOBAL bounds - >= -90946 @ 31.4027
77.98/78.26	c GLOBAL bounds - >= -90946 @ 31.4118
77.98/78.26	c GLOBAL bounds - >= -90946 @ 31.4202
77.98/78.27	c GLOBAL bounds - >= -90946 @ 31.4307
77.98/78.28	c GLOBAL bounds - >= -90946 @ 31.439
77.98/78.29	c GLOBAL bounds - >= -90946 @ 31.4467
78.08/78.30	c GLOBAL bounds - >= -90946 @ 31.4537
78.08/78.31	c GLOBAL bounds - >= -90946 @ 31.4637
78.08/78.32	c GLOBAL bounds - >= -90946 @ 31.4725
78.08/78.33	c GLOBAL bounds - >= -90946 @ 31.4803
78.08/78.33	c GLOBAL bounds - >= -90946 @ 31.488
78.08/78.34	c GLOBAL bounds - >= -90946 @ 31.4965
78.08/78.35	c GLOBAL bounds - >= -90946 @ 31.5041
78.08/78.36	c GLOBAL bounds - >= -90946 @ 31.5115
78.08/78.37	c GLOBAL bounds - >= -90946 @ 31.5187
78.08/78.37	c GLOBAL bounds - >= -90946 @ 31.5275
78.08/78.38	c GLOBAL bounds - >= -90946 @ 31.5379
78.08/78.39	c GLOBAL bounds - >= -90946 @ 31.546
78.18/78.40	c GLOBAL bounds - >= -90946 @ 31.5549
78.18/78.41	c GLOBAL bounds - >= -90946 @ 31.5642
78.18/78.42	c GLOBAL bounds - >= -90946 @ 31.5741
78.18/78.43	c GLOBAL bounds - >= -90946 @ 31.5822
78.18/78.44	c GLOBAL bounds - >= -90946 @ 31.5902
78.18/78.44	c GLOBAL bounds - >= -90946 @ 31.5974
78.18/78.45	c GLOBAL bounds - >= -90946 @ 31.6055
78.18/78.46	c GLOBAL bounds - >= -90946 @ 31.6138
78.18/78.47	c GLOBAL bounds - >= -90946 @ 31.6222
78.18/78.48	c GLOBAL bounds - >= -90946 @ 31.63
78.18/78.48	c GLOBAL bounds - >= -90946 @ 31.6377
78.18/78.49	c GLOBAL bounds - >= -90946 @ 31.6453
78.28/78.50	c GLOBAL bounds - >= -90946 @ 31.6552
78.28/78.51	c GLOBAL bounds - >= -90946 @ 31.6643
78.28/78.52	c GLOBAL bounds - >= -90946 @ 31.6748
78.28/78.53	c GLOBAL bounds - >= -90946 @ 31.6842
78.28/78.54	c GLOBAL bounds - >= -90946 @ 31.6931
78.28/78.55	c GLOBAL bounds - >= -90946 @ 31.702
78.28/78.56	c GLOBAL bounds - >= -90946 @ 31.7119
78.28/78.57	c GLOBAL bounds - >= -90946 @ 31.7198
78.28/78.58	c GLOBAL bounds - >= -90946 @ 31.7273
78.28/78.58	c GLOBAL bounds - >= -90946 @ 31.7349
78.28/78.59	c GLOBAL bounds - >= -90946 @ 31.7423
78.38/78.60	c GLOBAL bounds - >= -90946 @ 31.7515
78.38/78.61	c GLOBAL bounds - >= -90946 @ 31.7614
78.38/78.62	c GLOBAL bounds - >= -90946 @ 31.7711
78.38/78.63	c GLOBAL bounds - >= -90946 @ 31.7792
78.38/78.64	c GLOBAL bounds - >= -90946 @ 31.7879
78.38/78.65	c GLOBAL bounds - >= -90946 @ 31.7973
78.38/78.65	c GLOBAL bounds - >= -90946 @ 31.805
78.38/78.66	c GLOBAL bounds - >= -90946 @ 31.8135
78.38/78.67	c GLOBAL bounds - >= -90946 @ 31.8235
78.38/78.68	c GLOBAL bounds - >= -90946 @ 31.8326
78.38/78.69	c GLOBAL bounds - >= -90946 @ 31.8407
78.48/78.70	c GLOBAL bounds - >= -90946 @ 31.8493
78.48/78.71	c GLOBAL bounds - >= -90946 @ 31.8585
78.48/78.71	c GLOBAL bounds - >= -90946 @ 31.8655
78.48/78.72	c GLOBAL bounds - >= -90946 @ 31.8722
78.48/78.73	c GLOBAL bounds - >= -90946 @ 31.8787
78.48/78.73	c GLOBAL bounds - >= -90946 @ 31.8853
78.48/78.74	c GLOBAL bounds - >= -90946 @ 31.8918
78.48/78.75	c GLOBAL bounds - >= -90946 @ 31.9
78.48/78.76	c GLOBAL bounds - >= -90946 @ 31.9069
78.48/78.76	c GLOBAL bounds - >= -90946 @ 31.9136
78.48/78.77	c GLOBAL bounds - >= -90946 @ 31.9202
78.48/78.78	c GLOBAL bounds - >= -90946 @ 31.9269
78.48/78.78	c GLOBAL bounds - >= -90946 @ 31.935
78.48/78.79	c GLOBAL bounds - >= -90946 @ 31.942
78.58/78.80	c GLOBAL bounds - >= -90946 @ 31.9495
78.58/78.80	c GLOBAL bounds - >= -90946 @ 31.9539
78.58/78.81	c GLOBAL bounds - >= -90946 @ 31.9575
78.58/78.81	c GLOBAL bounds - >= -90946 @ 31.9612
78.58/78.81	c GLOBAL bounds - >= -90946 @ 31.9651
78.58/78.82	c GLOBAL bounds - >= -90946 @ 31.9728
78.58/78.83	c GLOBAL bounds - >= -90946 @ 31.9781
78.58/78.83	c GLOBAL bounds - >= -90946 @ 31.9828
78.58/78.84	c GLOBAL bounds - >= -90946 @ 31.9892
78.58/78.85	c GLOBAL bounds - >= -90946 @ 31.9975
78.58/78.86	c GLOBAL bounds - >= -90946 @ 32.0065
78.58/78.86	c GLOBAL bounds - >= -90946 @ 32.0135
78.58/78.87	c GLOBAL bounds - >= -90946 @ 32.0201
78.58/78.88	c GLOBAL bounds - >= -90946 @ 32.0263
78.58/78.88	c GLOBAL bounds - >= -90946 @ 32.0322
78.58/78.89	c GLOBAL bounds - >= -90946 @ 32.0403
78.68/78.90	c GLOBAL bounds - >= -90946 @ 32.0493
78.68/78.91	c GLOBAL bounds - >= -90946 @ 32.0599
78.68/78.92	c GLOBAL bounds - >= -90946 @ 32.0684
78.68/78.93	c GLOBAL bounds - >= -90946 @ 32.0769
78.68/78.94	c GLOBAL bounds - >= -90946 @ 32.0859
78.68/78.95	c GLOBAL bounds - >= -90946 @ 32.0942
78.68/78.96	c GLOBAL bounds - >= -90946 @ 32.1043
78.68/78.96	c GLOBAL bounds - >= -90946 @ 32.1125
78.68/78.97	c GLOBAL bounds - >= -90946 @ 32.1207
78.68/78.98	c GLOBAL bounds - >= -90946 @ 32.1286
78.68/78.99	c GLOBAL bounds - >= -90946 @ 32.1364
78.68/79.00	c GLOBAL bounds - >= -90946 @ 32.1442
78.78/79.00	c GLOBAL bounds - >= -90946 @ 32.1534
78.78/79.01	c GLOBAL bounds - >= -90946 @ 32.1627
78.78/79.02	c GLOBAL bounds - >= -90946 @ 32.1718
78.78/79.03	c GLOBAL bounds - >= -90946 @ 32.182
78.78/79.04	c GLOBAL bounds - >= -90946 @ 32.1907
78.78/79.05	c GLOBAL bounds - >= -90946 @ 32.1993
78.78/79.06	c GLOBAL bounds - >= -90946 @ 32.2085
78.78/79.07	c GLOBAL bounds - >= -90946 @ 32.2177
78.78/79.08	c GLOBAL bounds - >= -90946 @ 32.2266
78.78/79.09	c GLOBAL bounds - >= -90946 @ 32.2346
78.78/79.10	c GLOBAL bounds - >= -90946 @ 32.2435
78.88/79.11	c GLOBAL bounds - >= -90946 @ 32.2525
78.88/79.11	c GLOBAL bounds - >= -90946 @ 32.261
78.88/79.12	c GLOBAL bounds - >= -90946 @ 32.2701
78.88/79.13	c GLOBAL bounds - >= -90946 @ 32.2802
78.88/79.14	c GLOBAL bounds - >= -90946 @ 32.2911
78.88/79.15	c GLOBAL bounds - >= -90946 @ 32.3005
78.88/79.16	c GLOBAL bounds - >= -90946 @ 32.3098
78.88/79.17	c GLOBAL bounds - >= -90946 @ 32.3189
78.88/79.18	c GLOBAL bounds - >= -90946 @ 32.3276
78.88/79.19	c GLOBAL bounds - >= -90946 @ 32.3361
78.98/79.20	c GLOBAL bounds - >= -90946 @ 32.3446
78.98/79.21	c GLOBAL bounds - >= -90946 @ 32.3522
78.98/79.21	c GLOBAL bounds - >= -90946 @ 32.3613
78.98/79.22	c GLOBAL bounds - >= -90946 @ 32.3703
78.98/79.23	c GLOBAL bounds - >= -90946 @ 32.3793
78.98/79.24	c GLOBAL bounds - >= -90946 @ 32.3884
78.98/79.25	c GLOBAL bounds - >= -90946 @ 32.3981
78.98/79.26	c GLOBAL bounds - >= -90946 @ 32.4086
78.98/79.27	c GLOBAL bounds - >= -90946 @ 32.417
78.98/79.28	c GLOBAL bounds - >= -90946 @ 32.4241
78.98/79.29	c GLOBAL bounds - >= -90946 @ 32.4316
78.98/79.29	c GLOBAL bounds - >= -90946 @ 32.439
79.08/79.30	c GLOBAL bounds - >= -90946 @ 32.4486
79.08/79.31	c GLOBAL bounds - >= -90946 @ 32.4586
79.08/79.32	c GLOBAL bounds - >= -90946 @ 32.467
79.08/79.33	c GLOBAL bounds - >= -90946 @ 32.4758
79.08/79.34	c GLOBAL bounds - >= -90946 @ 32.4857
79.08/79.35	c GLOBAL bounds - >= -90946 @ 32.4935
79.08/79.36	c GLOBAL bounds - >= -90946 @ 32.5011
79.08/79.36	c GLOBAL bounds - >= -90946 @ 32.5085
79.08/79.37	c GLOBAL bounds - >= -90946 @ 32.5166
79.08/79.38	c GLOBAL bounds - >= -90946 @ 32.5249
79.08/79.39	c GLOBAL bounds - >= -90946 @ 32.5322
79.17/79.40	c GLOBAL bounds - >= -90946 @ 32.5405
79.17/79.41	c GLOBAL bounds - >= -90946 @ 32.5497
79.17/79.42	c GLOBAL bounds - >= -90946 @ 32.56
79.17/79.42	c GLOBAL bounds - >= -90946 @ 32.568
79.17/79.43	c GLOBAL bounds - >= -90946 @ 32.5755
79.17/79.44	c GLOBAL bounds - >= -90946 @ 32.5831
79.17/79.45	c GLOBAL bounds - >= -90946 @ 32.5907
79.17/79.46	c GLOBAL bounds - >= -90946 @ 32.5982
79.17/79.46	c GLOBAL bounds - >= -90946 @ 32.6057
79.17/79.47	c GLOBAL bounds - >= -90946 @ 32.6139
79.17/79.48	c GLOBAL bounds - >= -90946 @ 32.6223
79.17/79.49	c GLOBAL bounds - >= -90946 @ 32.6296
79.28/79.50	c GLOBAL bounds - >= -90946 @ 32.6392
79.28/79.51	c GLOBAL bounds - >= -90946 @ 32.6489
79.28/79.51	c GLOBAL bounds - >= -90946 @ 32.6567
79.28/79.52	c GLOBAL bounds - >= -90946 @ 32.6643
79.28/79.53	c GLOBAL bounds - >= -90946 @ 32.6709
79.28/79.54	c GLOBAL bounds - >= -90946 @ 32.6793
79.28/79.55	c GLOBAL bounds - >= -90946 @ 32.6872
79.28/79.55	c GLOBAL bounds - >= -90946 @ 32.6947
79.28/79.56	c GLOBAL bounds - >= -90946 @ 32.7027
79.28/79.57	c GLOBAL bounds - >= -90946 @ 32.7125
79.28/79.58	c GLOBAL bounds - >= -90946 @ 32.7202
79.28/79.59	c GLOBAL bounds - >= -90946 @ 32.7274
79.28/79.59	c GLOBAL bounds - >= -90946 @ 32.7347
79.38/79.60	c GLOBAL bounds - >= -90946 @ 32.7439
79.38/79.61	c GLOBAL bounds - >= -90946 @ 32.7538
79.38/79.62	c GLOBAL bounds - >= -90946 @ 32.7617
79.38/79.63	c GLOBAL bounds - >= -90946 @ 32.7692
79.38/79.64	c GLOBAL bounds - >= -90946 @ 32.7766
79.38/79.64	c GLOBAL bounds - >= -90946 @ 32.7842
79.38/79.65	c GLOBAL bounds - >= -90946 @ 32.7916
79.38/79.66	c GLOBAL bounds - >= -90946 @ 32.8004
79.38/79.67	c GLOBAL bounds - >= -90946 @ 32.8094
79.38/79.68	c GLOBAL bounds - >= -90946 @ 32.8187
79.38/79.69	c GLOBAL bounds - >= -90946 @ 32.828
79.48/79.70	c GLOBAL bounds - >= -90946 @ 32.8356
79.48/79.70	c GLOBAL bounds - >= -90946 @ 32.843
79.48/79.71	c GLOBAL bounds - >= -90946 @ 32.8503
79.48/79.72	c GLOBAL bounds - >= -90946 @ 32.8575
79.48/79.73	c GLOBAL bounds - >= -90946 @ 32.8646
79.48/79.73	c GLOBAL bounds - >= -90946 @ 32.8717
79.48/79.74	c GLOBAL bounds - >= -90946 @ 32.8787
79.48/79.75	c GLOBAL bounds - >= -90946 @ 32.8847
79.48/79.75	c GLOBAL bounds - >= -90946 @ 32.8932
79.48/79.76	c GLOBAL bounds - >= -90946 @ 32.9025
79.48/79.77	c GLOBAL bounds - >= -90946 @ 32.91
79.48/79.78	c GLOBAL bounds - >= -90946 @ 32.9177
79.48/79.79	c GLOBAL bounds - >= -90946 @ 32.9252
79.48/79.79	c GLOBAL bounds - >= -90946 @ 32.9329
79.58/79.80	c GLOBAL bounds - >= -90946 @ 32.9424
79.58/79.81	c GLOBAL bounds - >= -90946 @ 32.9521
79.58/79.82	c GLOBAL bounds - >= -90946 @ 32.96
79.58/79.83	c GLOBAL bounds - >= -90946 @ 32.9695
79.58/79.84	c GLOBAL bounds - >= -90946 @ 32.9797
79.58/79.85	c GLOBAL bounds - >= -90946 @ 32.9883
79.58/79.86	c GLOBAL bounds - >= -90946 @ 32.9967
79.58/79.87	c GLOBAL bounds - >= -90946 @ 33.005
79.58/79.88	c GLOBAL bounds - >= -90946 @ 33.0145
79.58/79.89	c GLOBAL bounds - >= -90946 @ 33.0242
79.58/79.89	c GLOBAL bounds - >= -90946 @ 33.0328
79.68/79.90	c GLOBAL bounds - >= -90946 @ 33.0424
79.68/79.91	c GLOBAL bounds - >= -90946 @ 33.0502
79.68/79.92	c GLOBAL bounds - >= -90946 @ 33.0579
79.68/79.93	c GLOBAL bounds - >= -90946 @ 33.0655
79.68/79.94	c GLOBAL bounds - >= -90946 @ 33.0731
79.68/79.94	c GLOBAL bounds - >= -90946 @ 33.0807
79.68/79.95	c GLOBAL bounds - >= -90946 @ 33.0881
79.68/79.96	c GLOBAL bounds - >= -90946 @ 33.0957
79.68/79.97	c GLOBAL bounds - >= -90946 @ 33.105
79.68/79.98	c GLOBAL bounds - >= -90946 @ 33.1129
79.68/79.98	c GLOBAL bounds - >= -90946 @ 33.1216
79.68/79.99	c GLOBAL bounds - >= -90946 @ 33.1292
79.78/80.00	c GLOBAL bounds - >= -90946 @ 33.1386
79.78/80.01	c GLOBAL bounds - >= -90946 @ 33.1486
79.78/80.02	c GLOBAL bounds - >= -90946 @ 33.1567
79.78/80.03	c GLOBAL bounds - >= -90946 @ 33.1663
79.78/80.04	c GLOBAL bounds - >= -90946 @ 33.1742
79.78/80.05	c GLOBAL bounds - >= -90946 @ 33.1819
79.78/80.05	c GLOBAL bounds - >= -90946 @ 33.1895
79.78/80.06	c GLOBAL bounds - >= -90946 @ 33.1972
79.78/80.07	c GLOBAL bounds - >= -90946 @ 33.2048
79.78/80.08	c GLOBAL bounds - >= -90946 @ 33.2125
79.78/80.08	c GLOBAL bounds - >= -90946 @ 33.2201
79.78/80.09	c GLOBAL bounds - >= -90946 @ 33.2278
79.88/80.10	c GLOBAL bounds - >= -90946 @ 33.2373
79.88/80.11	c GLOBAL bounds - >= -90946 @ 33.2472
79.88/80.12	c GLOBAL bounds - >= -90946 @ 33.2555
79.88/80.13	c GLOBAL bounds - >= -90946 @ 33.2626
79.88/80.14	c GLOBAL bounds - >= -90946 @ 33.2706
79.88/80.14	c GLOBAL bounds - >= -90946 @ 33.279
79.88/80.15	c GLOBAL bounds - >= -90946 @ 33.2876
79.88/80.16	c GLOBAL bounds - >= -90946 @ 33.2949
79.88/80.17	c GLOBAL bounds - >= -90946 @ 33.3037
79.88/80.18	c GLOBAL bounds - >= -90946 @ 33.3114
79.88/80.18	c GLOBAL bounds - >= -90946 @ 33.3189
79.88/80.19	c GLOBAL bounds - >= -90946 @ 33.3264
79.98/80.20	c GLOBAL bounds - >= -90946 @ 33.334
79.98/80.21	c GLOBAL bounds - >= -90946 @ 33.3425
79.98/80.22	c GLOBAL bounds - >= -90946 @ 33.3492
79.98/80.22	c GLOBAL bounds - >= -90946 @ 33.3575
79.98/80.23	c GLOBAL bounds - >= -90946 @ 33.3673
79.98/80.24	c GLOBAL bounds - >= -90946 @ 33.3779
79.98/80.25	c GLOBAL bounds - >= -90946 @ 33.3866
79.98/80.26	c GLOBAL bounds - >= -90946 @ 33.3945
79.98/80.27	c GLOBAL bounds - >= -90946 @ 33.4021
79.98/80.28	c GLOBAL bounds - >= -90946 @ 33.4097
79.98/80.28	c GLOBAL bounds - >= -90946 @ 33.4173
79.98/80.29	c GLOBAL bounds - >= -90946 @ 33.4248
80.07/80.30	c GLOBAL bounds - >= -90946 @ 33.4328
80.07/80.31	c GLOBAL bounds - >= -90946 @ 33.4408
80.07/80.32	c GLOBAL bounds - >= -90946 @ 33.4493
80.07/80.32	c GLOBAL bounds - >= -90946 @ 33.4579
80.07/80.33	c GLOBAL bounds - >= -90946 @ 33.4677
80.07/80.34	c GLOBAL bounds - >= -90946 @ 33.4782
80.07/80.35	c GLOBAL bounds - >= -90946 @ 33.4874
80.07/80.36	c GLOBAL bounds - >= -90946 @ 33.4927
80.07/80.37	c GLOBAL bounds - >= -90946 @ 33.5032
80.07/80.38	c GLOBAL bounds - >= -90946 @ 33.5119
80.07/80.39	c GLOBAL bounds - >= -90946 @ 33.5215
80.17/80.40	c GLOBAL bounds - >= -90946 @ 33.5318
80.17/80.41	c GLOBAL bounds - >= -90946 @ 33.5399
80.17/80.41	c GLOBAL bounds - >= -90946 @ 33.5467
80.17/80.42	c GLOBAL bounds - >= -90946 @ 33.5543
80.17/80.43	c GLOBAL bounds - >= -90946 @ 33.5621
80.17/80.45	c GLOBAL bounds - >= -90946 @ 33.5716
80.17/80.45	c GLOBAL bounds - >= -90946 @ 33.581
80.17/80.46	c GLOBAL bounds - >= -90946 @ 33.5894
80.17/80.47	c GLOBAL bounds - >= -90946 @ 33.5978
80.17/80.48	c GLOBAL bounds - >= -90946 @ 33.607
80.17/80.49	c GLOBAL bounds - >= -90946 @ 33.6172
80.28/80.50	c GLOBAL bounds - >= -90946 @ 33.6252
80.28/80.51	c GLOBAL bounds - >= -90946 @ 33.6329
80.28/80.51	c GLOBAL bounds - >= -90946 @ 33.6405
80.28/80.52	c GLOBAL bounds - >= -90946 @ 33.648
80.28/80.53	c GLOBAL bounds - >= -90946 @ 33.6555
80.28/80.54	c GLOBAL bounds - >= -90946 @ 33.663
80.28/80.55	c GLOBAL bounds - >= -90946 @ 33.6725
80.28/80.56	c GLOBAL bounds - >= -90946 @ 33.6821
80.28/80.57	c GLOBAL bounds - >= -90946 @ 33.6916
80.28/80.58	c GLOBAL bounds - >= -90946 @ 33.7024
80.28/80.58	c GLOBAL bounds - >= -90946 @ 33.7108
80.28/80.59	c GLOBAL bounds - >= -90946 @ 33.7199
80.38/80.60	c GLOBAL bounds - >= -90946 @ 33.7299
80.38/80.61	c GLOBAL bounds - >= -90946 @ 33.7385
80.38/80.62	c GLOBAL bounds - >= -90946 @ 33.7463
80.38/80.63	c GLOBAL bounds - >= -90946 @ 33.7538
80.38/80.64	c GLOBAL bounds - >= -90946 @ 33.7613
80.38/80.64	c GLOBAL bounds - >= -90946 @ 33.7689
80.38/80.65	c GLOBAL bounds - >= -90946 @ 33.7773
80.38/80.66	c GLOBAL bounds - >= -90946 @ 33.7874
80.38/80.67	c GLOBAL bounds - >= -90946 @ 33.796
80.38/80.68	c GLOBAL bounds - >= -90946 @ 33.8047
80.38/80.69	c GLOBAL bounds - >= -90946 @ 33.8131
80.48/80.70	c GLOBAL bounds - >= -90946 @ 33.8214
80.48/80.70	c GLOBAL bounds - >= -90946 @ 33.8298
80.48/80.71	c GLOBAL bounds - >= -90946 @ 33.8369
80.48/80.72	c GLOBAL bounds - >= -90946 @ 33.8458
80.48/80.73	c GLOBAL bounds - >= -90946 @ 33.8545
80.48/80.74	c GLOBAL bounds - >= -90946 @ 33.8623
80.48/80.75	c GLOBAL bounds - >= -90946 @ 33.8718
80.48/80.76	c GLOBAL bounds - >= -90946 @ 33.8822
80.48/80.77	c GLOBAL bounds - >= -90946 @ 33.8909
80.48/80.78	c GLOBAL bounds - >= -90946 @ 33.8983
80.48/80.78	c GLOBAL bounds - >= -90946 @ 33.9069
80.48/80.79	c GLOBAL bounds - >= -90946 @ 33.9161
80.57/80.80	c GLOBAL bounds - >= -90946 @ 33.9259
80.57/80.81	c GLOBAL bounds - >= -90946 @ 33.9361
80.57/80.82	c GLOBAL bounds - >= -90946 @ 33.9449
80.57/80.83	c GLOBAL bounds - >= -90946 @ 33.9572
80.57/80.84	c GLOBAL bounds - >= -90946 @ 33.9655
80.57/80.85	c GLOBAL bounds - >= -90946 @ 33.9736
80.57/80.86	c GLOBAL bounds - >= -90946 @ 33.9809
80.57/80.87	c GLOBAL bounds - >= -90946 @ 33.9897
80.57/80.88	c GLOBAL bounds - >= -90946 @ 33.9978
80.57/80.88	c GLOBAL bounds - >= -90946 @ 34.0058
80.57/80.89	c GLOBAL bounds - >= -90946 @ 34.0134
80.67/80.90	c GLOBAL bounds - >= -90946 @ 34.0211
80.67/80.91	c GLOBAL bounds - >= -90946 @ 34.0286
80.67/80.92	c GLOBAL bounds - >= -90946 @ 34.0373
80.67/80.93	c GLOBAL bounds - >= -90946 @ 34.0472
80.67/80.93	c GLOBAL bounds - >= -90946 @ 34.0551
80.67/80.94	c GLOBAL bounds - >= -90946 @ 34.0625
80.67/80.95	c GLOBAL bounds - >= -90946 @ 34.07
80.67/80.96	c GLOBAL bounds - >= -90946 @ 34.0773
80.67/80.96	c GLOBAL bounds - >= -90946 @ 34.0838
80.67/80.97	c GLOBAL bounds - >= -90946 @ 34.0911
80.67/80.98	c GLOBAL bounds - >= -90946 @ 34.0984
80.67/80.99	c GLOBAL bounds - >= -90946 @ 34.1076
80.67/81.00	c GLOBAL bounds - >= -90946 @ 34.1202
80.77/81.01	c GLOBAL bounds - >= -90946 @ 34.1294
80.77/81.02	c GLOBAL bounds - >= -90946 @ 34.1383
80.77/81.03	c GLOBAL bounds - >= -90946 @ 34.1484
80.77/81.04	c GLOBAL bounds - >= -90946 @ 34.1575
80.77/81.05	c GLOBAL bounds - >= -90946 @ 34.1675
80.77/81.06	c GLOBAL bounds - >= -90946 @ 34.1753
80.77/81.06	c GLOBAL bounds - >= -90946 @ 34.1828
80.77/81.07	c GLOBAL bounds - >= -90946 @ 34.1904
80.77/81.08	c GLOBAL bounds - >= -90946 @ 34.1998
80.77/81.09	c GLOBAL bounds - >= -90946 @ 34.2074
80.77/81.10	c GLOBAL bounds - >= -90946 @ 34.2149
80.88/81.11	c GLOBAL bounds - >= -90946 @ 34.2245
80.88/81.11	c GLOBAL bounds - >= -90946 @ 34.2343
80.88/81.12	c GLOBAL bounds - >= -90946 @ 34.2428
80.88/81.13	c GLOBAL bounds - >= -90946 @ 34.2507
80.88/81.14	c GLOBAL bounds - >= -90946 @ 34.2584
80.88/81.15	c GLOBAL bounds - >= -90946 @ 34.2667
80.88/81.16	c GLOBAL bounds - >= -90946 @ 34.2738
80.88/81.16	c GLOBAL bounds - >= -90946 @ 34.2816
80.88/81.17	c GLOBAL bounds - >= -90946 @ 34.2895
80.88/81.18	c GLOBAL bounds - >= -90946 @ 34.2966
80.88/81.19	c GLOBAL bounds - >= -90946 @ 34.304
80.98/81.20	c GLOBAL bounds - >= -90946 @ 34.3123
80.98/81.20	c GLOBAL bounds - >= -90946 @ 34.3205
80.98/81.21	c GLOBAL bounds - >= -90946 @ 34.3286
80.98/81.22	c GLOBAL bounds - >= -90946 @ 34.3357
80.98/81.23	c GLOBAL bounds - >= -90946 @ 34.3438
80.98/81.24	c GLOBAL bounds - >= -90946 @ 34.3519
80.98/81.24	c GLOBAL bounds - >= -90946 @ 34.36
80.98/81.25	c GLOBAL bounds - >= -90946 @ 34.3696
80.98/81.27	c GLOBAL bounds - >= -90946 @ 34.3824
80.98/81.28	c GLOBAL bounds - >= -90946 @ 34.3913
80.98/81.29	c GLOBAL bounds - >= -90946 @ 34.4001
80.98/81.29	c GLOBAL bounds - >= -90946 @ 34.4087
81.08/81.30	c GLOBAL bounds - >= -90946 @ 34.4175
81.08/81.31	c GLOBAL bounds - >= -90946 @ 34.4262
81.08/81.32	c GLOBAL bounds - >= -90946 @ 34.4348
81.08/81.33	c GLOBAL bounds - >= -90946 @ 34.4435
81.08/81.34	c GLOBAL bounds - >= -90946 @ 34.4521
81.08/81.35	c GLOBAL bounds - >= -90946 @ 34.4611
81.08/81.36	c GLOBAL bounds - >= -90946 @ 34.473
81.08/81.37	c GLOBAL bounds - >= -90946 @ 34.4812
81.08/81.38	c GLOBAL bounds - >= -90946 @ 34.4892
81.08/81.38	c GLOBAL bounds - >= -90946 @ 34.4972
81.08/81.39	c GLOBAL bounds - >= -90946 @ 34.5052
81.17/81.40	c GLOBAL bounds - >= -90946 @ 34.5132
81.17/81.41	c GLOBAL bounds - >= -90946 @ 34.5211
81.17/81.42	c GLOBAL bounds - >= -90946 @ 34.5296
81.17/81.43	c GLOBAL bounds - >= -90946 @ 34.5376
81.17/81.43	c GLOBAL bounds - >= -90946 @ 34.5454
81.17/81.44	c GLOBAL bounds - >= -90946 @ 34.5535
81.17/81.45	c GLOBAL bounds - >= -90946 @ 34.5622
81.17/81.46	c GLOBAL bounds - >= -90946 @ 34.5699
81.17/81.47	c GLOBAL bounds - >= -90946 @ 34.5785
81.17/81.48	c GLOBAL bounds - >= -90946 @ 34.5872
81.17/81.49	c GLOBAL bounds - >= -90946 @ 34.597
81.27/81.50	c GLOBAL bounds - >= -90946 @ 34.6093
81.27/81.51	c GLOBAL bounds - >= -90946 @ 34.6176
81.27/81.51	c GLOBAL bounds - >= -90946 @ 34.6247
81.27/81.52	c GLOBAL bounds - >= -90946 @ 34.6314
81.27/81.53	c GLOBAL bounds - >= -90946 @ 34.6392
81.27/81.54	c GLOBAL bounds - >= -90946 @ 34.647
81.27/81.55	c GLOBAL bounds - >= -90946 @ 34.6556
81.27/81.56	c GLOBAL bounds - >= -90946 @ 34.6647
81.27/81.57	c GLOBAL bounds - >= -90946 @ 34.6749
81.27/81.58	c GLOBAL bounds - >= -90946 @ 34.6843
81.27/81.59	c GLOBAL bounds - >= -90946 @ 34.6942
81.37/81.60	c GLOBAL bounds - >= -90946 @ 34.7069
81.37/81.61	c GLOBAL bounds - >= -90946 @ 34.7152
81.37/81.61	c GLOBAL bounds - >= -90946 @ 34.7231
81.37/81.62	c GLOBAL bounds - >= -90946 @ 34.7312
81.37/81.63	c GLOBAL bounds - >= -90946 @ 34.7398
81.37/81.64	c GLOBAL bounds - >= -90946 @ 34.7482
81.37/81.65	c GLOBAL bounds - >= -90946 @ 34.7579
81.37/81.66	c GLOBAL bounds - >= -90946 @ 34.7683
81.37/81.67	c GLOBAL bounds - >= -90946 @ 34.7771
81.37/81.68	c GLOBAL bounds - >= -90946 @ 34.7857
81.37/81.69	c GLOBAL bounds - >= -90946 @ 34.7954
81.47/81.70	c GLOBAL bounds - >= -90946 @ 34.8081
81.47/81.71	c GLOBAL bounds - >= -90946 @ 34.8165
81.47/81.72	c GLOBAL bounds - >= -90946 @ 34.8286
81.47/81.73	c GLOBAL bounds - >= -90946 @ 34.8375
81.47/81.74	c GLOBAL bounds - >= -90946 @ 34.8461
81.47/81.75	c GLOBAL bounds - >= -90946 @ 34.8548
81.47/81.76	c GLOBAL bounds - >= -90946 @ 34.8633
81.47/81.77	c GLOBAL bounds - >= -90946 @ 34.8719
81.47/81.78	c GLOBAL bounds - >= -90946 @ 34.8819
81.47/81.79	c GLOBAL bounds - >= -90946 @ 34.8948
81.58/81.80	c GLOBAL bounds - >= -90946 @ 34.9032
81.58/81.81	c GLOBAL bounds - >= -90946 @ 34.9122
81.58/81.81	c GLOBAL bounds - >= -90946 @ 34.92
81.58/81.82	c GLOBAL bounds - >= -90946 @ 34.9285
81.58/81.83	c GLOBAL bounds - >= -90946 @ 34.9372
81.58/81.84	c GLOBAL bounds - >= -90946 @ 34.9458
81.58/81.85	c GLOBAL bounds - >= -90946 @ 34.9544
81.58/81.86	c GLOBAL bounds - >= -90946 @ 34.963
81.58/81.87	c GLOBAL bounds - >= -90946 @ 34.9715
81.58/81.87	c GLOBAL bounds - >= -90946 @ 34.9801
81.58/81.88	c GLOBAL bounds - >= -90946 @ 34.9894
81.58/81.89	c GLOBAL bounds - >= -90946 @ 34.9982
81.68/81.90	c GLOBAL bounds - >= -90946 @ 35.0064
81.68/81.91	c GLOBAL bounds - >= -90946 @ 35.0151
81.68/81.92	c GLOBAL bounds - >= -90946 @ 35.0239
81.68/81.93	c GLOBAL bounds - >= -90946 @ 35.0327
81.68/81.94	c GLOBAL bounds - >= -90946 @ 35.0408
81.68/81.95	c GLOBAL bounds - >= -90946 @ 35.0502
81.68/81.96	c GLOBAL bounds - >= -90946 @ 35.0601
81.68/81.96	c GLOBAL bounds - >= -90946 @ 35.0684
81.68/81.97	c GLOBAL bounds - >= -90946 @ 35.0781
81.68/81.98	c GLOBAL bounds - >= -90946 @ 35.0857
81.68/81.99	c GLOBAL bounds - >= -90946 @ 35.0903
81.68/81.99	c GLOBAL bounds - >= -90946 @ 35.0944
81.68/81.99	c GLOBAL bounds - >= -90946 @ 35.0985
81.68/82.00	c GLOBAL bounds - >= -90946 @ 35.1029
81.78/82.00	c GLOBAL bounds - >= -90946 @ 35.1077
81.78/82.01	c GLOBAL bounds - >= -90946 @ 35.1173
81.78/82.02	c GLOBAL bounds - >= -90946 @ 35.127
81.78/82.03	c GLOBAL bounds - >= -90946 @ 35.1378
81.78/82.04	c GLOBAL bounds - >= -90946 @ 35.1428
81.78/82.05	c GLOBAL bounds - >= -90946 @ 35.1514
81.78/82.05	c GLOBAL bounds - >= -90946 @ 35.1589
81.78/82.06	c GLOBAL bounds - >= -90946 @ 35.1634
81.78/82.07	c GLOBAL bounds - >= -90946 @ 35.1706
81.78/82.07	c GLOBAL bounds - >= -90946 @ 35.1779
81.78/82.08	c GLOBAL bounds - >= -90946 @ 35.1857
81.78/82.09	c GLOBAL bounds - >= -90946 @ 35.1962
81.78/82.10	c GLOBAL bounds - >= -90946 @ 35.201
81.88/82.10	c GLOBAL bounds - >= -90946 @ 35.2051
81.88/82.10	c GLOBAL bounds - >= -90946 @ 35.2093
81.88/82.11	c GLOBAL bounds - >= -90946 @ 35.2187
81.88/82.12	c GLOBAL bounds - >= -90946 @ 35.2236
81.88/82.12	c GLOBAL bounds - >= -90946 @ 35.2277
81.88/82.13	c GLOBAL bounds - >= -90946 @ 35.2317
81.88/82.13	c GLOBAL bounds - >= -90946 @ 35.2356
81.88/82.14	c GLOBAL bounds - >= -90946 @ 35.2396
81.88/82.14	c GLOBAL bounds - >= -90946 @ 35.2436
81.88/82.15	c GLOBAL bounds - >= -90946 @ 35.2529
81.88/82.16	c GLOBAL bounds - >= -90946 @ 35.2657
81.88/82.17	c GLOBAL bounds - >= -90946 @ 35.2698
81.88/82.17	c GLOBAL bounds - >= -90946 @ 35.2739
81.88/82.17	c GLOBAL bounds - >= -90946 @ 35.2779
81.88/82.18	c GLOBAL bounds - >= -90946 @ 35.2853
81.88/82.19	c GLOBAL bounds - >= -90946 @ 35.2903
81.88/82.19	c GLOBAL bounds - >= -90946 @ 35.2948
81.97/82.20	c GLOBAL bounds - >= -90946 @ 35.299
81.97/82.20	c GLOBAL bounds - >= -90946 @ 35.3035
81.97/82.20	c GLOBAL bounds - >= -90946 @ 35.3078
81.97/82.21	c GLOBAL bounds - >= -90946 @ 35.3119
81.97/82.21	c GLOBAL bounds - >= -90946 @ 35.3162
81.97/82.22	c GLOBAL bounds - >= -90946 @ 35.3204
81.97/82.22	c GLOBAL bounds - >= -90946 @ 35.3243
81.97/82.23	c GLOBAL bounds - >= -90946 @ 35.3286
81.97/82.23	c GLOBAL bounds - >= -90946 @ 35.3317
81.97/82.24	c GLOBAL bounds - >= -90946 @ 35.3383
81.97/82.24	c GLOBAL bounds - >= -90946 @ 35.3457
81.97/82.25	c GLOBAL bounds - >= -90946 @ 35.3529
81.97/82.26	c GLOBAL bounds - >= -90946 @ 35.3604
81.97/82.27	c GLOBAL bounds - >= -90946 @ 35.3674
81.97/82.27	c GLOBAL bounds - >= -90946 @ 35.376
81.97/82.28	c GLOBAL bounds - >= -90946 @ 35.3847
81.97/82.29	c GLOBAL bounds - >= -90946 @ 35.3945
82.07/82.30	c GLOBAL bounds - >= -90946 @ 35.403
82.07/82.31	c GLOBAL bounds - >= -90946 @ 35.4099
82.07/82.31	c GLOBAL bounds - >= -90946 @ 35.4154
82.07/82.32	c GLOBAL bounds - >= -90946 @ 35.4211
82.07/82.33	c GLOBAL bounds - >= -90946 @ 35.4269
82.07/82.33	c GLOBAL bounds - >= -90946 @ 35.4356
82.07/82.34	c GLOBAL bounds - >= -90946 @ 35.4459
82.07/82.36	c GLOBAL bounds - >= -90946 @ 35.4561
82.07/82.36	c GLOBAL bounds - >= -90946 @ 35.4645
82.07/82.37	c GLOBAL bounds - >= -90946 @ 35.4728
82.07/82.38	c GLOBAL bounds - >= -90946 @ 35.4808
82.07/82.39	c GLOBAL bounds - >= -90946 @ 35.4892
82.17/82.40	c GLOBAL bounds - >= -90946 @ 35.4971
82.17/82.41	c GLOBAL bounds - >= -90946 @ 35.5059
82.17/82.41	c GLOBAL bounds - >= -90946 @ 35.5144
82.17/82.42	c GLOBAL bounds - >= -90946 @ 35.5222
82.17/82.43	c GLOBAL bounds - >= -90946 @ 35.5298
82.17/82.44	c GLOBAL bounds - >= -90946 @ 35.5374
82.17/82.45	c GLOBAL bounds - >= -90946 @ 35.5467
82.17/82.46	c GLOBAL bounds - >= -90946 @ 35.5556
82.17/82.47	c GLOBAL bounds - >= -90946 @ 35.5663
82.17/82.48	c GLOBAL bounds - >= -90946 @ 35.5778
82.17/82.48	c GLOBAL bounds - >= -90946 @ 35.5854
82.17/82.49	c GLOBAL bounds - >= -90946 @ 35.5925
82.27/82.50	c GLOBAL bounds - >= -90946 @ 35.6029
82.27/82.51	c GLOBAL bounds - >= -90946 @ 35.6111
82.27/82.52	c GLOBAL bounds - >= -90946 @ 35.6189
82.27/82.53	c GLOBAL bounds - >= -90946 @ 35.6297
82.27/82.54	c GLOBAL bounds - >= -90946 @ 35.6387
82.27/82.55	c GLOBAL bounds - >= -90946 @ 35.6483
82.27/82.56	c GLOBAL bounds - >= -90946 @ 35.6594
82.27/82.57	c GLOBAL bounds - >= -90946 @ 35.6696
82.27/82.58	c GLOBAL bounds - >= -90946 @ 35.6808
82.27/82.59	c GLOBAL bounds - >= -90946 @ 35.6914
82.37/82.60	c GLOBAL bounds - >= -90946 @ 35.6955
82.37/82.61	c GLOBAL bounds - >= -90946 @ 35.7023
82.37/82.61	c GLOBAL bounds - >= -90946 @ 35.7093
82.37/82.62	c GLOBAL bounds - >= -90946 @ 35.7163
82.37/82.63	c GLOBAL bounds - >= -90946 @ 35.7233
82.37/82.63	c GLOBAL bounds - >= -90946 @ 35.7303
82.37/82.64	c GLOBAL bounds - >= -90946 @ 35.7375
82.37/82.65	c GLOBAL bounds - >= -90946 @ 35.7421
82.37/82.65	c GLOBAL bounds - >= -90946 @ 35.751
82.37/82.66	c GLOBAL bounds - >= -90946 @ 35.7614
82.37/82.67	c GLOBAL bounds - >= -90946 @ 35.7705
82.37/82.68	c GLOBAL bounds - >= -90946 @ 35.7793
82.37/82.69	c GLOBAL bounds - >= -90946 @ 35.79
82.47/82.70	c GLOBAL bounds - >= -90946 @ 35.7983
82.47/82.71	c GLOBAL bounds - >= -90946 @ 35.8053
82.47/82.72	c GLOBAL bounds - >= -90946 @ 35.8159
82.47/82.73	c GLOBAL bounds - >= -90946 @ 35.8266
82.47/82.74	c GLOBAL bounds - >= -90946 @ 35.8373
82.47/82.75	c GLOBAL bounds - >= -90946 @ 35.845
82.47/82.75	c GLOBAL bounds - >= -90946 @ 35.8504
82.47/82.76	c GLOBAL bounds - >= -90946 @ 35.8557
82.47/82.77	c GLOBAL bounds - >= -90946 @ 35.8629
82.47/82.78	c GLOBAL bounds - >= -90946 @ 35.8722
82.47/82.78	c GLOBAL bounds - >= -90946 @ 35.8791
82.47/82.79	c GLOBAL bounds - >= -90946 @ 35.8885
82.57/82.80	c GLOBAL bounds - >= -90946 @ 35.8936
82.57/82.80	c GLOBAL bounds - >= -90946 @ 35.8979
82.57/82.81	c GLOBAL bounds - >= -90946 @ 35.903
82.57/82.81	c GLOBAL bounds - >= -90946 @ 35.9074
82.57/82.82	c GLOBAL bounds - >= -90946 @ 35.9181
82.57/82.83	c GLOBAL bounds - >= -90946 @ 35.9256
82.57/82.85	c GLOBAL bounds - >= -90946 @ 35.9391
82.57/82.85	c GLOBAL bounds - >= -90946 @ 35.9456
82.57/82.86	c GLOBAL bounds - >= -90946 @ 35.9514
82.57/82.86	c GLOBAL bounds - >= -90946 @ 35.9568
82.57/82.87	c GLOBAL bounds - >= -90946 @ 35.9622
82.57/82.87	c GLOBAL bounds - >= -90946 @ 35.9665
82.57/82.88	c GLOBAL bounds - >= -90946 @ 35.9698
82.57/82.88	c GLOBAL bounds - >= -90946 @ 35.9718
82.57/82.88	c GLOBAL bounds - >= -90946 @ 35.9748
82.57/82.89	c GLOBAL bounds - >= -90946 @ 35.9778
82.57/82.89	c GLOBAL bounds - >= -90946 @ 35.983
82.67/82.90	c GLOBAL bounds - >= -90946 @ 35.9884
82.67/82.90	c GLOBAL bounds - >= -90946 @ 35.9928
82.67/82.90	c GLOBAL bounds - >= -90946 @ 35.9961
82.67/82.92	c GLOBAL bounds - >= -90946 @ 36.0088
82.67/82.92	c GLOBAL bounds - >= -90946 @ 36.0131
82.67/82.92	c GLOBAL bounds - >= -90946 @ 36.0164
82.67/82.93	c GLOBAL bounds - >= -90946 @ 36.0206
82.67/82.93	c GLOBAL bounds - >= -90946 @ 36.0239
82.67/82.94	c GLOBAL bounds - >= -90946 @ 36.0279
82.67/82.95	c GLOBAL bounds - >= -90946 @ 36.0425
82.67/82.96	c GLOBAL bounds - >= -90946 @ 36.0488
82.67/82.96	c GLOBAL bounds - >= -90946 @ 36.0544
82.67/82.97	c GLOBAL bounds - >= -90946 @ 36.0588
82.67/82.97	c GLOBAL bounds - >= -90946 @ 36.0629
82.67/82.99	c GLOBAL bounds - >= -90946 @ 36.0765
82.67/82.99	c GLOBAL bounds - >= -90946 @ 36.0784
82.67/82.99	c GLOBAL bounds - >= -90946 @ 36.0827
82.78/83.00	c GLOBAL bounds - >= -90946 @ 36.0905
82.78/83.01	c GLOBAL bounds - >= -90946 @ 36.1048
82.78/83.02	c GLOBAL bounds - >= -90946 @ 36.1076
82.78/83.02	c GLOBAL bounds - >= -90946 @ 36.1096
82.78/83.02	c GLOBAL bounds - >= -90946 @ 36.1116
82.78/83.03	c GLOBAL bounds - >= -90946 @ 36.1159
82.78/83.03	c GLOBAL bounds - >= -90946 @ 36.1193
82.78/83.03	c GLOBAL bounds - >= -90946 @ 36.1244
82.78/83.04	c GLOBAL bounds - >= -90946 @ 36.1301
82.78/83.05	c GLOBAL bounds - >= -90946 @ 36.1345
82.78/83.05	c GLOBAL bounds - >= -90946 @ 36.139
82.78/83.05	c GLOBAL bounds - >= -90946 @ 36.1423
82.78/83.06	c GLOBAL bounds - >= -90946 @ 36.1462
82.78/83.06	c GLOBAL bounds - >= -90946 @ 36.1516
82.78/83.07	c GLOBAL bounds - >= -90946 @ 36.1567
82.78/83.07	c GLOBAL bounds - >= -90946 @ 36.161
82.78/83.08	c GLOBAL bounds - >= -90946 @ 36.165
82.78/83.08	c GLOBAL bounds - >= -90946 @ 36.1689
82.78/83.09	c GLOBAL bounds - >= -90946 @ 36.1729
82.78/83.09	c GLOBAL bounds - >= -90946 @ 36.1768
82.78/83.09	c GLOBAL bounds - >= -90946 @ 36.1807
82.78/83.10	c GLOBAL bounds - >= -90946 @ 36.1839
82.87/83.11	c GLOBAL bounds - >= -90946 @ 36.1974
82.87/83.12	c GLOBAL bounds - >= -90946 @ 36.205
82.87/83.12	c GLOBAL bounds - >= -90946 @ 36.2121
82.87/83.13	c GLOBAL bounds - >= -90946 @ 36.2192
82.87/83.14	c GLOBAL bounds - >= -90946 @ 36.2263
82.87/83.14	c GLOBAL bounds - >= -90946 @ 36.2309
82.87/83.15	c GLOBAL bounds - >= -90946 @ 36.2347
82.87/83.15	c GLOBAL bounds - >= -90946 @ 36.2395
82.87/83.17	c GLOBAL bounds - >= -90946 @ 36.253
82.87/83.17	c GLOBAL bounds - >= -90946 @ 36.2581
82.87/83.18	c GLOBAL bounds - >= -90946 @ 36.2652
82.87/83.19	c GLOBAL bounds - >= -90946 @ 36.2724
82.87/83.19	c GLOBAL bounds - >= -90946 @ 36.2779
82.97/83.20	c GLOBAL bounds - >= -90946 @ 36.2832
82.97/83.20	c GLOBAL bounds - >= -90946 @ 36.2884
82.97/83.21	c GLOBAL bounds - >= -90946 @ 36.2936
82.97/83.21	c GLOBAL bounds - >= -90946 @ 36.2986
82.97/83.22	c GLOBAL bounds - >= -90946 @ 36.3028
82.97/83.22	c GLOBAL bounds - >= -90946 @ 36.3078
82.97/83.23	c GLOBAL bounds - >= -90946 @ 36.3129
82.97/83.24	c GLOBAL bounds - >= -90946 @ 36.3266
82.97/83.24	c GLOBAL bounds - >= -90946 @ 36.3313
82.97/83.25	c GLOBAL bounds - >= -90946 @ 36.335
82.97/83.25	c GLOBAL bounds - >= -90946 @ 36.3387
82.97/83.26	c GLOBAL bounds - >= -90946 @ 36.3456
82.97/83.27	c GLOBAL bounds - >= -90946 @ 36.3528
82.97/83.27	c GLOBAL bounds - >= -90946 @ 36.3601
82.97/83.29	c GLOBAL bounds - >= -90946 @ 36.3741
83.07/83.30	c GLOBAL bounds - >= -90946 @ 36.3833
83.07/83.31	c GLOBAL bounds - >= -90946 @ 36.3924
83.07/83.32	c GLOBAL bounds - >= -90946 @ 36.4013
83.07/83.32	c GLOBAL bounds - >= -90946 @ 36.4057
83.07/83.32	c GLOBAL bounds - >= -90946 @ 36.4094
83.07/83.33	c GLOBAL bounds - >= -90946 @ 36.4159
83.07/83.34	c GLOBAL bounds - >= -90946 @ 36.4235
83.07/83.35	c GLOBAL bounds - >= -90946 @ 36.4312
83.07/83.35	c GLOBAL bounds - >= -90946 @ 36.4385
83.07/83.36	c GLOBAL bounds - >= -90946 @ 36.4471
83.07/83.37	c GLOBAL bounds - >= -90946 @ 36.4561
83.07/83.38	c GLOBAL bounds - >= -90946 @ 36.4636
83.07/83.39	c GLOBAL bounds - >= -90946 @ 36.4707
83.07/83.39	c GLOBAL bounds - >= -90946 @ 36.478
83.17/83.41	c GLOBAL bounds - >= -90946 @ 36.4919
83.17/83.41	c GLOBAL bounds - >= -90946 @ 36.4994
83.17/83.42	c GLOBAL bounds - >= -90946 @ 36.5063
83.17/83.43	c GLOBAL bounds - >= -90946 @ 36.5135
83.17/83.44	c GLOBAL bounds - >= -90946 @ 36.5207
83.17/83.44	c GLOBAL bounds - >= -90946 @ 36.5262
83.17/83.45	c GLOBAL bounds - >= -90946 @ 36.5341
83.17/83.46	c GLOBAL bounds - >= -90946 @ 36.5425
83.17/83.47	c GLOBAL bounds - >= -90946 @ 36.5565
83.17/83.48	c GLOBAL bounds - >= -90946 @ 36.5625
83.17/83.48	c GLOBAL bounds - >= -90946 @ 36.5677
83.26/83.50	c GLOBAL bounds - >= -90946 @ 36.5816
83.26/83.50	c GLOBAL bounds - >= -90946 @ 36.5864
83.26/83.51	c GLOBAL bounds - >= -90946 @ 36.5902
83.26/83.51	c GLOBAL bounds - >= -90946 @ 36.5942
83.26/83.51	c GLOBAL bounds - >= -90946 @ 36.5982
83.26/83.52	c GLOBAL bounds - >= -90946 @ 36.6033
83.26/83.53	c GLOBAL bounds - >= -90946 @ 36.6111
83.26/83.53	c GLOBAL bounds - >= -90946 @ 36.6185
83.26/83.54	c GLOBAL bounds - >= -90946 @ 36.6258
83.26/83.55	c GLOBAL bounds - >= -90946 @ 36.633
83.26/83.56	c GLOBAL bounds - >= -90946 @ 36.6405
83.26/83.56	c GLOBAL bounds - >= -90946 @ 36.6481
83.26/83.57	c GLOBAL bounds - >= -90946 @ 36.6556
83.26/83.58	c GLOBAL bounds - >= -90946 @ 36.6633
83.26/83.59	c GLOBAL bounds - >= -90946 @ 36.6702
83.26/83.59	c GLOBAL bounds - >= -90946 @ 36.6771
83.36/83.60	c GLOBAL bounds - >= -90946 @ 36.6841
83.36/83.61	c GLOBAL bounds - >= -90946 @ 36.6921
83.36/83.61	c GLOBAL bounds - >= -90946 @ 36.6968
83.36/83.62	c GLOBAL bounds - >= -90946 @ 36.701
83.36/83.62	c GLOBAL bounds - >= -90946 @ 36.7051
83.36/83.63	c GLOBAL bounds - >= -90946 @ 36.7103
83.36/83.63	c GLOBAL bounds - >= -90946 @ 36.713
83.36/83.63	c GLOBAL bounds - >= -90946 @ 36.7153
83.36/83.63	c GLOBAL bounds - >= -90946 @ 36.7176
83.36/83.64	c GLOBAL bounds - >= -90946 @ 36.7198
83.36/83.64	c GLOBAL bounds - >= -90946 @ 36.7221
83.36/83.64	c GLOBAL bounds - >= -90946 @ 36.7244
83.36/83.64	c GLOBAL bounds - >= -90946 @ 36.7276
83.36/83.65	c GLOBAL bounds - >= -90946 @ 36.7306
83.36/83.65	c GLOBAL bounds - >= -90946 @ 36.7372
83.36/83.66	c GLOBAL bounds - >= -90946 @ 36.7426
83.36/83.67	c GLOBAL bounds - >= -90946 @ 36.7561
83.36/83.68	c GLOBAL bounds - >= -90946 @ 36.761
83.36/83.68	c GLOBAL bounds - >= -90946 @ 36.7651
83.36/83.68	c GLOBAL bounds - >= -90946 @ 36.7674
83.36/83.69	c GLOBAL bounds - >= -90946 @ 36.7696
83.36/83.69	c GLOBAL bounds - >= -90946 @ 36.7718
83.36/83.69	c GLOBAL bounds - >= -90946 @ 36.7739
83.36/83.69	c GLOBAL bounds - >= -90946 @ 36.7761
83.36/83.69	c GLOBAL bounds - >= -90946 @ 36.7783
83.46/83.70	c GLOBAL bounds - >= -90946 @ 36.7823
83.46/83.71	c GLOBAL bounds - >= -90946 @ 36.7973
83.46/83.72	c GLOBAL bounds - >= -90946 @ 36.7994
83.46/83.72	c GLOBAL bounds - >= -90946 @ 36.8062
83.46/83.73	c GLOBAL bounds - >= -90946 @ 36.8124
83.46/83.74	c GLOBAL bounds - >= -90946 @ 36.8192
83.46/83.74	c GLOBAL bounds - >= -90946 @ 36.8247
83.46/83.74	c GLOBAL bounds - >= -90946 @ 36.8271
83.46/83.75	c GLOBAL bounds - >= -90946 @ 36.8286
83.46/83.75	c GLOBAL bounds - >= -90946 @ 36.8301
83.46/83.75	c GLOBAL bounds - >= -90946 @ 36.8333
83.46/83.75	c GLOBAL bounds - >= -90946 @ 36.834
83.46/83.77	c GLOBAL bounds - >= -90946 @ 36.8484
83.46/83.77	c GLOBAL bounds - >= -90946 @ 36.8505
83.46/83.77	c GLOBAL bounds - >= -90946 @ 36.8551
83.46/83.79	c GLOBAL bounds - >= -90946 @ 36.8699
83.46/83.79	c GLOBAL bounds - >= -90946 @ 36.872
83.46/83.79	c GLOBAL bounds - >= -90946 @ 36.8735
83.46/83.79	c GLOBAL bounds - >= -90946 @ 36.875
83.56/83.80	c GLOBAL bounds - >= -90946 @ 36.8816
83.56/83.81	c GLOBAL bounds - >= -90946 @ 36.8878
83.56/83.81	c GLOBAL bounds - >= -90946 @ 36.8942
83.56/83.82	c GLOBAL bounds - >= -90946 @ 36.9006
83.56/83.82	c GLOBAL bounds - >= -90946 @ 36.906
83.56/83.83	c GLOBAL bounds - >= -90946 @ 36.9102
83.56/83.83	c GLOBAL bounds - >= -90946 @ 36.9143
83.56/83.84	c GLOBAL bounds - >= -90946 @ 36.9204
83.56/83.84	c GLOBAL bounds - >= -90946 @ 36.9257
83.56/83.85	c GLOBAL bounds - >= -90946 @ 36.9307
83.56/83.85	c GLOBAL bounds - >= -90946 @ 36.9358
83.56/83.86	c GLOBAL bounds - >= -90946 @ 36.9383
83.56/83.86	c GLOBAL bounds - >= -90946 @ 36.9425
83.56/83.86	c GLOBAL bounds - >= -90946 @ 36.9447
91.25/91.57	c #Conflicts:       1000 | #Constraints:     203914
91.25/91.57	c GLOBAL bounds - >= -90946 @ 44.5205
557.27/558.86	c #Conflicts:       2000 | #Constraints:     204915
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:       3000 | #Constraints:     201122
557.27/558.86	c #Conflicts:       4000 | #Constraints:     202122
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:       5000 | #Constraints:     201494
557.27/558.86	c #Conflicts:       6000 | #Constraints:     202494
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:       7000 | #Constraints:     201488
557.27/558.86	c #Conflicts:       8000 | #Constraints:     202488
557.27/558.86	c #Conflicts:       9000 | #Constraints:     203488
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      10000 | #Constraints:     202197
557.27/558.86	c #Conflicts:      11000 | #Constraints:     203197
557.27/558.86	c #Conflicts:      12000 | #Constraints:     204198
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      13000 | #Constraints:     202643
557.27/558.86	c #Conflicts:      14000 | #Constraints:     203643
557.27/558.86	c #Conflicts:      15000 | #Constraints:     204643
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      16000 | #Constraints:     202874
557.27/558.86	c #Conflicts:      17000 | #Constraints:     203874
557.27/558.86	c #Conflicts:      18000 | #Constraints:     204874
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      19000 | #Constraints:     202923
557.27/558.86	c #Conflicts:      20000 | #Constraints:     203923
557.27/558.86	c #Conflicts:      21000 | #Constraints:     204923
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      22000 | #Constraints:     202747
557.27/558.86	c #Conflicts:      23000 | #Constraints:     203747
557.27/558.86	c #Conflicts:      24000 | #Constraints:     204747
557.27/558.86	c #Conflicts:      25000 | #Constraints:     205748
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      26000 | #Constraints:     203340
557.27/558.86	c #Conflicts:      27000 | #Constraints:     204340
557.27/558.86	c #Conflicts:      28000 | #Constraints:     205340
557.27/558.86	c #Conflicts:      29000 | #Constraints:     206340
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      30000 | #Constraints:     203746
557.27/558.86	c #Conflicts:      31000 | #Constraints:     204746
557.27/558.86	c #Conflicts:      32000 | #Constraints:     205746
557.27/558.86	c #Conflicts:      33000 | #Constraints:     206746
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      34000 | #Constraints:     203962
557.27/558.86	c #Conflicts:      35000 | #Constraints:     204962
557.27/558.86	c #Conflicts:      36000 | #Constraints:     205962
557.27/558.86	c #Conflicts:      37000 | #Constraints:     206962
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      38000 | #Constraints:     203988
557.27/558.86	c #Conflicts:      39000 | #Constraints:     204988
557.27/558.86	c #Conflicts:      40000 | #Constraints:     205988
557.27/558.86	c #Conflicts:      41000 | #Constraints:     206988
557.27/558.86	c INPROCESSING
557.27/558.86	c GARBAGE COLLECT
557.27/558.86	c #Conflicts:      42000 | #Constraints:     203844
557.27/558.86	c GLOBAL bounds - >= -90946 @ 508.247
1397.42/1401.05	c #Conflicts:      43000 | #Constraints:     204846
1397.42/1401.05	c #Conflicts:      44000 | #Constraints:     205846
1397.42/1401.05	c #Conflicts:      45000 | #Constraints:     206846
1397.42/1401.05	c #Conflicts:      46000 | #Constraints:     207846
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      47000 | #Constraints:     204399
1397.42/1401.05	c #Conflicts:      48000 | #Constraints:     205399
1397.42/1401.05	c #Conflicts:      49000 | #Constraints:     206399
1397.42/1401.05	c #Conflicts:      50000 | #Constraints:     207399
1397.42/1401.05	c #Conflicts:      51000 | #Constraints:     208400
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      52000 | #Constraints:     204761
1397.42/1401.05	c #Conflicts:      53000 | #Constraints:     205762
1397.42/1401.05	c #Conflicts:      54000 | #Constraints:     206762
1397.42/1401.05	c #Conflicts:      55000 | #Constraints:     207762
1397.42/1401.05	c #Conflicts:      56000 | #Constraints:     208762
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      57000 | #Constraints:     204965
1397.42/1401.05	c #Conflicts:      58000 | #Constraints:     205965
1397.42/1401.05	c #Conflicts:      59000 | #Constraints:     206965
1397.42/1401.05	c #Conflicts:      60000 | #Constraints:     207966
1397.42/1401.05	c #Conflicts:      61000 | #Constraints:     208966
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      62000 | #Constraints:     204956
1397.42/1401.05	c #Conflicts:      63000 | #Constraints:     205956
1397.42/1401.05	c #Conflicts:      64000 | #Constraints:     206956
1397.42/1401.05	c #Conflicts:      65000 | #Constraints:     207956
1397.42/1401.05	c #Conflicts:      66000 | #Constraints:     208956
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      67000 | #Constraints:     204802
1397.42/1401.05	c #Conflicts:      68000 | #Constraints:     205802
1397.42/1401.05	c #Conflicts:      69000 | #Constraints:     206802
1397.42/1401.05	c #Conflicts:      70000 | #Constraints:     207802
1397.42/1401.05	c #Conflicts:      71000 | #Constraints:     208802
1397.42/1401.05	c #Conflicts:      72000 | #Constraints:     209802
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      73000 | #Constraints:     205411
1397.42/1401.05	c #Conflicts:      74000 | #Constraints:     206411
1397.42/1401.05	c #Conflicts:      75000 | #Constraints:     207411
1397.42/1401.05	c #Conflicts:      76000 | #Constraints:     208411
1397.42/1401.05	c #Conflicts:      77000 | #Constraints:     209411
1397.42/1401.05	c #Conflicts:      78000 | #Constraints:     210411
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      79000 | #Constraints:     205854
1397.42/1401.05	c #Conflicts:      80000 | #Constraints:     206854
1397.42/1401.05	c #Conflicts:      81000 | #Constraints:     207855
1397.42/1401.05	c #Conflicts:      82000 | #Constraints:     208855
1397.42/1401.05	c #Conflicts:      83000 | #Constraints:     209855
1397.42/1401.05	c #Conflicts:      84000 | #Constraints:     210856
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      85000 | #Constraints:     206016
1397.42/1401.05	c #Conflicts:      86000 | #Constraints:     207016
1397.42/1401.05	c #Conflicts:      87000 | #Constraints:     208016
1397.42/1401.05	c #Conflicts:      88000 | #Constraints:     209016
1397.42/1401.05	c #Conflicts:      89000 | #Constraints:     210016
1397.42/1401.05	c #Conflicts:      90000 | #Constraints:     211016
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      91000 | #Constraints:     206021
1397.42/1401.05	c #Conflicts:      92000 | #Constraints:     207021
1397.42/1401.05	c #Conflicts:      93000 | #Constraints:     208021
1397.42/1401.05	c #Conflicts:      94000 | #Constraints:     209021
1397.42/1401.05	c #Conflicts:      95000 | #Constraints:     210021
1397.42/1401.05	c #Conflicts:      96000 | #Constraints:     211021
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:      97000 | #Constraints:     205835
1397.42/1401.05	c #Conflicts:      98000 | #Constraints:     206835
1397.42/1401.05	c #Conflicts:      99000 | #Constraints:     207835
1397.42/1401.05	c #Conflicts:     100000 | #Constraints:     208835
1397.42/1401.05	c #Conflicts:     101000 | #Constraints:     209835
1397.42/1401.05	c #Conflicts:     102000 | #Constraints:     210835
1397.42/1401.05	c #Conflicts:     103000 | #Constraints:     211835
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:     104000 | #Constraints:     206466
1397.42/1401.05	c #Conflicts:     105000 | #Constraints:     207467
1397.42/1401.05	c #Conflicts:     106000 | #Constraints:     208468
1397.42/1401.05	c #Conflicts:     107000 | #Constraints:     209468
1397.42/1401.05	c #Conflicts:     108000 | #Constraints:     210468
1397.42/1401.05	c #Conflicts:     109000 | #Constraints:     211468
1397.42/1401.05	c #Conflicts:     110000 | #Constraints:     212468
1397.42/1401.05	c INPROCESSING
1397.42/1401.05	c GARBAGE COLLECT
1397.42/1401.05	c #Conflicts:     111000 | #Constraints:     206892
1397.42/1401.05	c #Conflicts:     112000 | #Constraints:     207893
1397.42/1401.05	c #Conflicts:     113000 | #Constraints:     208893
1397.42/1401.05	c #Conflicts:     114000 | #Constraints:     209893
1679.42/1683.77	c #Conflicts:     115000 | #Constraints:     210893
1679.42/1683.77	c #Conflicts:     116000 | #Constraints:     211893
1679.42/1683.77	c #Conflicts:     117000 | #Constraints:     212894
1679.42/1683.77	c INPROCESSING
1679.42/1683.77	c GARBAGE COLLECT
1679.42/1683.77	c rational objective -89032.4
2555.31/2561.87	c #Conflicts:     118000 | #Constraints:     207054
2555.31/2561.87	c #Conflicts:     119000 | #Constraints:     208054
2555.31/2561.87	c #Conflicts:     120000 | #Constraints:     209054
2555.31/2561.87	c #Conflicts:     121000 | #Constraints:     210055
2555.31/2561.87	c #Conflicts:     122000 | #Constraints:     211055
2555.31/2561.87	c #Conflicts:     123000 | #Constraints:     212055
2555.31/2561.87	c #Conflicts:     124000 | #Constraints:     213055
2555.31/2561.87	c INPROCESSING
2555.31/2561.87	c GARBAGE COLLECT
2555.31/2561.87	c #Conflicts:     125000 | #Constraints:     207048
2555.31/2561.87	c #Conflicts:     126000 | #Constraints:     208048
2555.31/2561.87	c #Conflicts:     127000 | #Constraints:     209048
2555.31/2561.87	c #Conflicts:     128000 | #Constraints:     210049
2555.31/2561.87	c #Conflicts:     129000 | #Constraints:     211049
2555.31/2561.87	c #Conflicts:     130000 | #Constraints:     212049
2555.31/2561.87	c #Conflicts:     131000 | #Constraints:     213049
2555.31/2561.87	c INPROCESSING
2555.31/2561.87	c GARBAGE COLLECT
2555.31/2561.87	c #Conflicts:     132000 | #Constraints:     206826
2555.31/2561.87	c #Conflicts:     133000 | #Constraints:     207826
2555.31/2561.87	c #Conflicts:     134000 | #Constraints:     208826
2555.31/2561.87	c #Conflicts:     135000 | #Constraints:     209827
2555.31/2561.87	c #Conflicts:     136000 | #Constraints:     210827
2555.31/2561.87	c #Conflicts:     137000 | #Constraints:     211827
2555.31/2561.87	c #Conflicts:     138000 | #Constraints:     212828
2555.31/2561.87	c #Conflicts:     139000 | #Constraints:     213828
2555.31/2561.87	c INPROCESSING
2555.31/2561.87	c GARBAGE COLLECT
2555.31/2561.87	c #Conflicts:     140000 | #Constraints:     207509
2555.31/2561.87	c #Conflicts:     141000 | #Constraints:     208509
2555.31/2561.87	c #Conflicts:     142000 | #Constraints:     209510
2555.31/2561.87	c #Conflicts:     143000 | #Constraints:     210510
2555.31/2561.87	c #Conflicts:     144000 | #Constraints:     211510
2555.31/2561.87	c #Conflicts:     145000 | #Constraints:     212510
2555.31/2561.87	c #Conflicts:     146000 | #Constraints:     213510
2555.31/2561.87	c #Conflicts:     147000 | #Constraints:     214511
2555.31/2561.87	c INPROCESSING
2555.31/2561.87	c GARBAGE COLLECT
2555.31/2561.87	c #Conflicts:     148000 | #Constraints:     207859
2555.31/2561.87	c #Conflicts:     149000 | #Constraints:     208859
2555.31/2561.87	c #Conflicts:     150000 | #Constraints:     209859
2555.31/2561.87	c #Conflicts:     151000 | #Constraints:     210859
2555.31/2561.87	c #Conflicts:     152000 | #Constraints:     211860
2555.31/2561.87	c #Conflicts:     153000 | #Constraints:     212860
2555.31/2561.87	c #Conflicts:     154000 | #Constraints:     213860
2555.31/2561.87	c #Conflicts:     155000 | #Constraints:     214860
2555.31/2561.87	c INPROCESSING
2555.31/2561.87	c GARBAGE COLLECT
2555.31/2561.87	c #Conflicts:     156000 | #Constraints:     208067
2555.31/2561.87	c #Conflicts:     157000 | #Constraints:     209068
2555.31/2561.87	c #Conflicts:     158000 | #Constraints:     210068
2555.31/2561.87	c #Conflicts:     159000 | #Constraints:     211068
2555.31/2561.87	c #Conflicts:     160000 | #Constraints:     212068
2555.31/2561.87	c #Conflicts:     161000 | #Constraints:     213069
2555.31/2561.87	c #Conflicts:     162000 | #Constraints:     214069
2555.31/2561.87	c #Conflicts:     163000 | #Constraints:     215069
2555.31/2561.87	c INPROCESSING
2555.31/2561.87	c GARBAGE COLLECT
2555.31/2561.87	c #Conflicts:     164000 | #Constraints:     208065
2555.31/2561.87	c #Conflicts:     165000 | #Constraints:     209065
2555.31/2561.87	c #Conflicts:     166000 | #Constraints:     210065
2555.31/2561.87	c #Conflicts:     167000 | #Constraints:     211065
2555.31/2561.87	c #Conflicts:     168000 | #Constraints:     212066
2555.31/2561.87	c #Conflicts:     169000 | #Constraints:     213066
2555.31/2561.87	c #Conflicts:     170000 | #Constraints:     214066
2555.31/2561.87	c #Conflicts:     171000 | #Constraints:     215066
2555.31/2561.87	c INPROCESSING
2555.31/2561.87	c GARBAGE COLLECT
2555.31/2561.87	c #Conflicts:     172000 | #Constraints:     207908
2555.31/2561.87	c #Conflicts:     173000 | #Constraints:     208909
2555.31/2561.87	c #Conflicts:     174000 | #Constraints:     209909
2555.31/2561.87	c #Conflicts:     175000 | #Constraints:     210909
2555.31/2561.87	c #Conflicts:     176000 | #Constraints:     211909
2555.31/2561.87	c #Conflicts:     177000 | #Constraints:     212909
2555.31/2561.87	c #Conflicts:     178000 | #Constraints:     213909
2555.31/2561.87	c #Conflicts:     179000 | #Constraints:     214910
2555.31/2561.87	c #Conflicts:     180000 | #Constraints:     215910
2555.31/2561.87	c INPROCESSING
2555.31/2561.87	c GARBAGE COLLECT
2555.31/2561.87	c rational objective -88413.1
3120.72/3128.65	c #Conflicts:     181000 | #Constraints:     208540
3120.72/3128.65	c #Conflicts:     182000 | #Constraints:     209540
3120.72/3128.65	c #Conflicts:     183000 | #Constraints:     210540
3120.72/3128.65	c #Conflicts:     184000 | #Constraints:     211540
3120.72/3128.65	c #Conflicts:     185000 | #Constraints:     212540
3120.72/3128.65	c #Conflicts:     186000 | #Constraints:     213540
3120.72/3128.65	c #Conflicts:     187000 | #Constraints:     214540
3120.72/3128.65	c #Conflicts:     188000 | #Constraints:     215540
3120.72/3128.65	c #Conflicts:     189000 | #Constraints:     216540
3120.72/3128.65	c INPROCESSING
3120.72/3128.65	c GARBAGE COLLECT
3120.72/3128.65	c #Conflicts:     190000 | #Constraints:     208926
3120.72/3128.65	c #Conflicts:     191000 | #Constraints:     209927
3120.72/3128.65	c #Conflicts:     192000 | #Constraints:     210927
3120.72/3128.65	c #Conflicts:     193000 | #Constraints:     211927
3120.72/3128.65	c #Conflicts:     194000 | #Constraints:     212928
3120.72/3128.65	c #Conflicts:     195000 | #Constraints:     213928
3120.72/3128.65	c #Conflicts:     196000 | #Constraints:     214930
3120.72/3128.65	c #Conflicts:     197000 | #Constraints:     215931
3120.72/3128.65	c #Conflicts:     198000 | #Constraints:     216932
3120.72/3128.65	c INPROCESSING
3120.72/3128.65	c GARBAGE COLLECT
3120.72/3128.65	c #Conflicts:     199000 | #Constraints:     209123
3120.72/3128.65	c #Conflicts:     200000 | #Constraints:     210123
3120.72/3128.65	c #Conflicts:     201000 | #Constraints:     211123
3120.72/3128.65	c #Conflicts:     202000 | #Constraints:     212124
3120.72/3128.65	c #Conflicts:     203000 | #Constraints:     213124
3120.72/3128.65	c #Conflicts:     204000 | #Constraints:     214124
3120.72/3128.65	c #Conflicts:     205000 | #Constraints:     215125
3120.72/3128.65	c #Conflicts:     206000 | #Constraints:     216125
3120.72/3128.65	c #Conflicts:     207000 | #Constraints:     217126
3120.72/3128.65	c INPROCESSING
3120.72/3128.65	c GARBAGE COLLECT
3120.72/3128.65	c #Conflicts:     208000 | #Constraints:     209109
3120.72/3128.65	c #Conflicts:     209000 | #Constraints:     210109
3120.72/3128.65	c #Conflicts:     210000 | #Constraints:     211109
3120.72/3128.65	c #Conflicts:     211000 | #Constraints:     212109
3120.72/3128.65	c #Conflicts:     212000 | #Constraints:     213110
3120.72/3128.65	c #Conflicts:     213000 | #Constraints:     214110
3120.72/3128.65	c #Conflicts:     214000 | #Constraints:     215110
3120.72/3128.65	c #Conflicts:     215000 | #Constraints:     216111
3120.72/3128.65	c #Conflicts:     216000 | #Constraints:     217111
3120.72/3128.65	c INPROCESSING
3120.72/3128.65	c GARBAGE COLLECT
3120.72/3128.65	c #Conflicts:     217000 | #Constraints:     208933
3120.72/3128.65	c #Conflicts:     218000 | #Constraints:     209934
3120.72/3128.65	c #Conflicts:     219000 | #Constraints:     210934
3120.72/3128.65	c #Conflicts:     220000 | #Constraints:     211935
3120.72/3128.65	c #Conflicts:     221000 | #Constraints:     212935
3120.72/3128.65	c #Conflicts:     222000 | #Constraints:     213936
3120.72/3128.65	c #Conflicts:     223000 | #Constraints:     214936
3120.72/3128.65	c #Conflicts:     224000 | #Constraints:     215936
3120.72/3128.65	c #Conflicts:     225000 | #Constraints:     216936
3120.72/3128.65	c #Conflicts:     226000 | #Constraints:     217937
3120.72/3128.65	c INPROCESSING
3120.72/3128.65	c GARBAGE COLLECT
3120.72/3128.65	c #Conflicts:     227000 | #Constraints:     209567
3120.72/3128.65	c #Conflicts:     228000 | #Constraints:     210567
3120.72/3128.65	c #Conflicts:     229000 | #Constraints:     211568
3120.72/3128.65	c #Conflicts:     230000 | #Constraints:     212568
3120.72/3128.65	c #Conflicts:     231000 | #Constraints:     213568
3120.72/3128.65	c #Conflicts:     232000 | #Constraints:     214568
3120.72/3128.65	c #Conflicts:     233000 | #Constraints:     215568
3120.72/3128.65	c #Conflicts:     234000 | #Constraints:     216569
3120.72/3128.65	c #Conflicts:     235000 | #Constraints:     217569
3120.72/3128.65	c #Conflicts:     236000 | #Constraints:     218569
3120.72/3128.65	c INPROCESSING
3120.72/3128.65	c GARBAGE COLLECT
3120.72/3128.65	c #Conflicts:     237000 | #Constraints:     209933
3120.72/3128.65	c #Conflicts:     238000 | #Constraints:     210933
3120.72/3128.65	c #Conflicts:     239000 | #Constraints:     211934
3120.72/3128.65	c #Conflicts:     240000 | #Constraints:     212934
3120.72/3128.65	c #Conflicts:     241000 | #Constraints:     213934
3120.72/3128.65	c #Conflicts:     242000 | #Constraints:     214935
3120.72/3128.65	c #Conflicts:     243000 | #Constraints:     215935
3120.72/3128.65	c #Conflicts:     244000 | #Constraints:     216935
3120.72/3128.65	c #Conflicts:     245000 | #Constraints:     217935
3120.72/3128.65	c #Conflicts:     246000 | #Constraints:     218935
3120.72/3128.65	c INPROCESSING
3120.72/3128.65	c GARBAGE COLLECT
3120.72/3128.65	c #Conflicts:     247000 | #Constraints:     210149
3120.72/3128.65	c #Conflicts:     248000 | #Constraints:     211149
3120.72/3128.65	c #Conflicts:     249000 | #Constraints:     212149
3120.72/3128.65	c #Conflicts:     250000 | #Constraints:     213149
3120.72/3128.65	c #Conflicts:     251000 | #Constraints:     214149
3120.72/3128.65	c #Conflicts:     252000 | #Constraints:     215150
3120.72/3128.65	c #Conflicts:     253000 | #Constraints:     216151
3120.72/3128.65	c #Conflicts:     254000 | #Constraints:     217152
3120.72/3128.65	c #Conflicts:     255000 | #Constraints:     218152
3393.88/3402.43	c #Conflicts:     256000 | #Constraints:     219152
3393.88/3402.43	c INPROCESSING
3393.88/3402.43	c GARBAGE COLLECT
3393.88/3402.43	c rational objective -88369.5
3600.08/3609.10	c #Conflicts:     257000 | #Constraints:     210202
3600.08/3609.10	c #Conflicts:     258000 | #Constraints:     211203
3600.08/3609.10	c #Conflicts:     259000 | #Constraints:     212204
3600.08/3609.10	c #Conflicts:     260000 | #Constraints:     213204
3600.08/3609.10	c #Conflicts:     261000 | #Constraints:     214204
3600.08/3609.10	c #Conflicts:     262000 | #Constraints:     215204
3600.08/3609.10	c #Conflicts:     263000 | #Constraints:     216204
3600.08/3609.10	c #Conflicts:     264000 | #Constraints:     217205
3600.08/3609.10	c #Conflicts:     265000 | #Constraints:     218205
3600.08/3609.10	c #Conflicts:     266000 | #Constraints:     219205
3600.08/3609.10	c INPROCESSING
3600.08/3609.10	c GARBAGE COLLECT
3600.08/3609.10	c #Conflicts:     267000 | #Constraints:     209978
3600.08/3609.10	c #Conflicts:     268000 | #Constraints:     210978
3600.08/3609.10	c #Conflicts:     269000 | #Constraints:     211978
3600.08/3609.10	c #Conflicts:     270000 | #Constraints:     212978
3600.08/3609.10	c #Conflicts:     271000 | #Constraints:     213978
3600.08/3609.10	c #Conflicts:     272000 | #Constraints:     214979
3600.08/3609.10	c #Conflicts:     273000 | #Constraints:     215980
3600.08/3609.10	c #Conflicts:     274000 | #Constraints:     216980
3600.08/3609.10	c #Conflicts:     275000 | #Constraints:     217980
3600.08/3609.10	c #Conflicts:     276000 | #Constraints:     218980
3600.08/3609.10	c #Conflicts:     277000 | #Constraints:     219982
3600.08/3609.10	c INPROCESSING
3600.08/3609.10	c GARBAGE COLLECT
3600.08/3609.10	c #Conflicts:     278000 | #Constraints:     210609
3600.08/3609.10	c #Conflicts:     279000 | #Constraints:     211609
3600.08/3609.10	c #Conflicts:     280000 | #Constraints:     212610
3600.08/3609.10	c #Conflicts:     281000 | #Constraints:     213610
3600.08/3609.10	c #Conflicts:     282000 | #Constraints:     214610
3600.08/3609.10	c #Conflicts:     283000 | #Constraints:     215611
3600.08/3609.10	c #Conflicts:     284000 | #Constraints:     216611
3600.08/3609.10	c #Conflicts:     285000 | #Constraints:     217611
3600.08/3609.10	c #Conflicts:     286000 | #Constraints:     218612
3600.08/3609.10	c cpu time 3538.18 s
3600.08/3609.10	c deterministic time 64854352805 6.49e+10
3600.08/3609.10	c optimization time 90.8618 s
3600.08/3609.10	c total solve time 3446.73 s
3600.08/3609.10	c core-guided solve time 0 s
3600.08/3609.10	c propagation time 912.009 s
3600.08/3609.10	c conflict analysis time 1091.71 s
3600.08/3609.10	c propagations 2661188054
3600.08/3609.10	c resolve steps 17022646
3600.08/3609.10	c decisions 16086864
3600.08/3609.10	c conflicts 286033
3600.08/3609.10	c restarts 682
3600.08/3609.10	c inprocessing phases 44
3600.08/3609.10	c garbage collections 44 ,( 100.00 )
3600.08/3609.10	c input clauses 202721 ,( 100.00 )
3600.08/3609.10	c input cardinalities 0 ,( 0.00 )
3600.08/3609.10	c input general constraints 3 ,( 0.00 )
3600.08/3609.10	c input average constraint length 2.89
3600.08/3609.10	c input average constraint degree 1.53
3600.08/3609.10	c learned clauses 82564 ,( 28.84 )
3600.08/3609.10	c learned cardinalities 3 ,( 0.00 )
3600.08/3609.10	c learned general constraints 203734 ,( 71.16 )
3600.08/3609.10	c learned average constraint length 1240.25
3600.08/3609.10	c learned average constraint degree 1749870946.57
3600.08/3609.10	c watched  CF 32, 64, 128, Arb: 4143 , 0 , 0 , 0
3600.08/3609.10	c counting CF 32, 64, 128, Arb: 199595 , 0 , 0 , 0
3600.08/3609.10	c watched   constraints 4143 ,( 2.03 ) 
3600.08/3609.10	c counting  constraints 199594 ,( 97.97 ) 
3600.08/3609.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1813286547 , 872 , 259282148 ,( 1391053 , 257891095 )
3600.08/3609.10	c gcd simplifications 2995
3600.08/3609.10	c detected cardinalities 0
3600.08/3609.10	c weakened non-implied lits 1208972004
3600.08/3609.10	c weakened non-implying lits 32845
3600.08/3609.10	c original variables 81322
3600.08/3609.10	c clausal propagations 1742776790
3600.08/3609.10	c cardinality propagations 0
3600.08/3609.10	c watched propagations 8504
3600.08/3609.10	c counting propagations 814396649
3600.08/3609.10	c watch lookups 7158582655
3600.08/3609.10	c watch backjump lookups 0
3600.08/3609.10	c watch checks 1675725397
3600.08/3609.10	c propagation checks 48292356674
3600.08/3609.10	c constraint additions 2372294534
3600.08/3609.10	c trail pops 2677525925
3600.08/3609.10	c formula constraints 201866
3600.08/3609.10	c learned constraints 286159
3600.08/3609.10	c bound constraints 0
3600.08/3609.10	c core-guided constraints 0
3600.08/3609.10	c encountered formula constraints 15801894
3600.08/3609.10	c encountered learned constraints 1476895
3600.08/3609.10	c encountered bound constraints 0
3600.08/3609.10	c encountered core-guided constraints 0
3600.08/3609.10	c LP total time 1965.38 s
3600.08/3609.10	c LP solve time 1960.77 s
3600.08/3609.10	c LP constraints added 201928
3600.08/3609.10	c LP constraints removed 18
3600.08/3609.10	c LP pivots internal 287957
3600.08/3609.10	c LP pivots root 304744
3600.08/3609.10	c LP calls 78
3600.08/3609.10	c LP optimalities 4
3600.08/3609.10	c LP no pivot count 0
3600.08/3609.10	c LP infeasibilities 67
3600.08/3609.10	c LP valid Farkas constraints 66
3600.08/3609.10	c LP learned Farkas constraints 66
3600.08/3609.10	c LP basis resets 1
3600.08/3609.10	c LP cycling count 0
3600.08/3609.10	c LP singular count 0
3600.08/3609.10	c LP no primal count 0
3600.08/3609.10	c LP no farkas count 1
3600.08/3609.10	c LP other issue count 0
3600.08/3609.10	c LP Gomory cuts 10
3600.08/3609.10	c LP learned cuts 52
3600.08/3609.10	c LP deleted cuts 18
3600.08/3609.10	c LP encountered Gomory constraints 0
3600.08/3609.10	c LP encountered Farkas constraints 29716
3600.08/3609.10	c LP encountered learned Farkas constraints 108
3600.08/3609.10	c CG auxiliary variables introduced 909
3600.08/3609.10	c CG solutions found 0
3600.08/3609.10	c CG cores constructed 856
3600.08/3609.10	c CG core cardinality constraints returned 0
3600.08/3609.10	c CG unit cores 0
3600.08/3609.10	c CG single cores 0
3600.08/3609.10	c CG blocks removed during cardinality reduction 0
3600.08/3609.10	c CG first core best 0
3600.08/3609.10	c CG decision core best 0
3600.08/3609.10	c CG core reduction tie 0
3600.08/3609.10	c CG core degree average 0.00
3600.08/3609.10	c CG core slack average 0.00
3600.08/3609.10	c CG core upper bound improvements 0
3600.08/3609.10	c STR number of successful calls 0
3600.08/3609.10	c STR number of unsuccessful calls 0
3600.08/3609.10	c STR number of inconclusive calls 0
3600.08/3609.10	c STR number of successful attempts 0
3600.08/3609.10	c STR number of unsuccessful attempts 0
3600.08/3609.10	c STR number of inconclusive attempts 0
3600.08/3609.10	c STR average degree increase per successful call inf
3600.08/3609.10	c STR average degree increase per successful attempt inf
3600.08/3609.10	c STR total number of conflicts for successful attempts 0
3600.08/3609.10	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.10	c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.10	c STR average number of conflicts per successful attempt inf
3600.08/3609.10	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.10	c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.10	c AVG.sumWPerc 88.88 
3600.08/3609.10	c bigint constraints 0 
3600.08/3609.10	s UNKNOWN
3600.08/3609.10	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: 63708 MiB (62817 MiB free)
  memory of node 1: 64465 MiB (63732 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4483756-1751280053/watcher-4483756-1751280053 -o /tmp/evaluation-result-4483756-1751280053/solver-4483756-1751280053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37510 --watchdog 3760 run-opt.sh HOME/instance-4483756-1751280053.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
Current StackSize limit: 8192 KiB

solver pid=37560, runsolver pid=37551

[startup+0.100057 s]*
/proc/loadavg: 0.74 1.66 2.89 6/268 37574
/proc/meminfo: memFree=129515528/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=73164 memory=28180 CPUtime=0.07 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 3339 0 0 0 5 2 0 0 20 0 1 0 43682868 74919936 7045 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 18291 7045 1920 1147 0 5718 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 77356 KiB
Current children cumulated memory: 31252 KiB

[startup+0.205286 s]*
/proc/loadavg: 0.74 1.66 2.89 6/268 37574
/proc/meminfo: memFree=129513816/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=76588 memory=33084 CPUtime=0.18 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 4261 0 0 0 12 6 0 0 20 0 1 0 43682868 78426112 8271 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 19147 8271 1920 1147 0 6574 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 80780 KiB
Current children cumulated memory: 36156 KiB

[startup+0.305697 s]*
/proc/loadavg: 0.74 1.66 2.89 6/268 37574
/proc/meminfo: memFree=129512052/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=81684 memory=38712 CPUtime=0.27 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 5196 0 0 0 19 8 0 0 20 0 1 0 43682868 83644416 9678 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 20421 9678 1920 1147 0 7848 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 85876 KiB
Current children cumulated memory: 41784 KiB

[startup+0.700203 s]
/proc/loadavg: 0.74 1.66 2.89 6/268 37574
/proc/meminfo: memFree=129395496/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=323436 memory=163368 CPUtime=0.67 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 15630 0 0 0 49 18 0 0 20 0 1 0 43682868 331198464 40842 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 80859 40842 2272 1147 0 68286 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 327628 KiB
Current children cumulated memory: 166440 KiB

[startup+1.50014 s]
/proc/loadavg: 0.74 1.66 2.89 6/268 37574
/proc/meminfo: memFree=128775392/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=285580 memory=204632 CPUtime=1.46 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 20316 0 0 0 83 63 0 0 20 0 1 0 43682868 292433920 51158 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 71395 51158 2336 1147 0 58822 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 289772 KiB
Current children cumulated memory: 207704 KiB

[startup+3.10493 s]
/proc/loadavg: 0.74 1.66 2.89 6/268 37574
/proc/meminfo: memFree=128661440/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=285900 memory=205016 CPUtime=3.06 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 20399 0 0 0 142 164 0 0 20 0 1 0 43682868 292761600 51254 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 71475 51254 2336 1147 0 58902 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 290092 KiB
Current children cumulated memory: 208088 KiB

[startup+6.30014 s]
/proc/loadavg: 1.00 1.70 2.89 6/268 37574
/proc/meminfo: memFree=128471204/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=290932 memory=208728 CPUtime=6.26 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 21348 0 0 0 256 370 0 0 20 0 1 0 43682868 297914368 52182 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 72733 52182 2336 1147 0 60160 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 295124 KiB
Current children cumulated memory: 211800 KiB

[startup+12.7001 s]
/proc/loadavg: 1.32 1.76 2.90 6/268 37574
/proc/meminfo: memFree=128390692/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=292892 memory=211672 CPUtime=12.63 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 22047 0 0 0 487 776 0 0 20 0 1 0 43682868 299921408 52918 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 73223 52918 2368 1147 0 60650 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 297084 KiB
Current children cumulated memory: 214744 KiB

[startup+25.5002 s]
/proc/loadavg: 1.92 1.87 2.92 6/268 37574
/proc/meminfo: memFree=128231492/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=299328 memory=220880 CPUtime=25.41 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 23838 0 0 0 957 1584 0 0 20 0 1 0 43682868 306511872 55220 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 74832 55220 2368 1147 0 62259 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 303520 KiB
Current children cumulated memory: 223952 KiB

[startup+51.1051 s]
/proc/loadavg: 2.63 2.04 2.95 6/269 37576
/proc/meminfo: memFree=128112560/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=316196 memory=237900 CPUtime=50.95 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 27082 0 0 0 1938 3157 0 0 20 0 1 0 43682868 323784704 59475 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 79049 59475 2368 1147 0 66476 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 320388 KiB
Current children cumulated memory: 240972 KiB

[startup+102.3 s]
/proc/loadavg: 3.44 2.36 3.01 6/270 37579
/proc/meminfo: memFree=127791568/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=574224 memory=466688 CPUtime=102.01 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 69983 0 0 0 5503 4698 0 0 20 0 1 0 43682868 588005376 116672 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 143556 116672 2400 1147 0 130983 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 578416 KiB
Current children cumulated memory: 469760 KiB

[startup+162.3 s]
/proc/loadavg: 3.85 2.68 3.08 6/271 37582
/proc/meminfo: memFree=127538624/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=686888 memory=563604 CPUtime=161.85 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 89107 0 0 0 11454 4731 0 0 20 0 1 0 43682868 703373312 140901 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 171722 140901 2400 1147 0 159149 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 691080 KiB
Current children cumulated memory: 566676 KiB

[startup+222.3 s]
/proc/loadavg: 3.99 2.93 3.15 6/271 37584
/proc/meminfo: memFree=127484508/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=690128 memory=565908 CPUtime=221.68 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 89723 0 0 0 17413 4755 0 0 20 0 1 0 43682868 706691072 141477 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 172532 141477 2400 1147 0 159959 0
Current children cumulated CPU time: 221.68 s

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

/proc/37563/statm: 256585 223268 2400 1147 0 244012 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 1030532 KiB
Current children cumulated memory: 896144 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.10 4.08 6/267 37736
/proc/meminfo: memFree=124230484/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1029296 memory=895760 CPUtime=3154.34 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 148790 0 0 0 309403 6031 0 0 20 0 1 0 43682868 1053999104 223940 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 257324 223940 2400 1147 0 244751 0
Current children cumulated CPU time: 3154.34 s
Current children cumulated vsize: 1033488 KiB
Current children cumulated memory: 898832 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.11 4.08 6/267 37738
/proc/meminfo: memFree=124222312/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1029596 memory=898064 CPUtime=3214.21 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 149425 0 0 0 315375 6046 0 0 20 0 1 0 43682868 1054306304 224516 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 257399 224516 2400 1147 0 244826 0
Current children cumulated CPU time: 3214.21 s
Current children cumulated vsize: 1033788 KiB
Current children cumulated memory: 901136 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.12 4.09 6/267 37740
/proc/meminfo: memFree=124173436/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1030140 memory=899088 CPUtime=3274.06 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 149715 0 0 0 321353 6053 0 0 20 0 1 0 43682868 1054863360 224772 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 257535 224772 2400 1147 0 244962 0
Current children cumulated CPU time: 3274.06 s
Current children cumulated vsize: 1034332 KiB
Current children cumulated memory: 902160 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 6/267 37742
/proc/meminfo: memFree=124128912/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1030272 memory=899728 CPUtime=3333.91 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 149876 0 0 0 327329 6062 0 0 20 0 1 0 43682868 1054998528 224932 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 257568 224932 2400 1147 0 244995 0
Current children cumulated CPU time: 3333.91 s
Current children cumulated vsize: 1034464 KiB
Current children cumulated memory: 902800 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.09 4.08 6/267 37744
/proc/meminfo: memFree=124092652/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1030272 memory=899856 CPUtime=3393.78 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 149930 0 0 0 333296 6082 0 0 20 0 1 0 43682868 1054998528 224964 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 257568 224964 2400 1147 0 244995 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 1034464 KiB
Current children cumulated memory: 902928 KiB

[startup+3462.3 s]
/proc/loadavg: 4.11 4.10 4.09 6/268 37754
/proc/meminfo: memFree=123993288/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1077480 memory=955816 CPUtime=3453.63 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 153574 0 0 0 339239 6124 0 0 20 0 1 0 43682868 1103339520 238954 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 269370 238954 2400 1147 0 256797 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 1081672 KiB
Current children cumulated memory: 958888 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.09 4.09 6/269 37757
/proc/meminfo: memFree=123968344/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1077480 memory=973864 CPUtime=3513.5 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 153580 0 0 0 345201 6149 0 0 20 0 1 0 43682868 1103339520 243466 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 269370 243466 2400 1147 0 256797 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 1081672 KiB
Current children cumulated memory: 976936 KiB

[startup+3582.3 s]
/proc/loadavg: 4.07 4.09 4.09 6/269 37759
/proc/meminfo: memFree=123955260/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1077480 memory=985384 CPUtime=3573.34 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 153583 0 0 0 351152 6182 0 0 20 0 1 0 43682868 1103339520 246346 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 269370 246346 2400 1147 0 256797 0
Current children cumulated CPU time: 3573.34 s
Current children cumulated vsize: 1081672 KiB
Current children cumulated memory: 988456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 37777
/proc/meminfo: memFree=127612708/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1077480 memory=985384 CPUtime=3600.08 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 153587 0 0 0 353817 6191 0 0 20 0 1 0 43682868 1103339520 246346 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 269370 246346 2400 1147 0 256797 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1081672 KiB
Current children cumulated memory: 988456 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002145 s

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

# cumulated CPU time of all completed processes:  user=3538.19 s, system=61.9199 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+3609.11 s]
/proc/loadavg: 4.05 4.08 4.09 5/259 37777
/proc/meminfo: memFree=127612708/131249988 swapFree=33010684/33010684
[pid=37560] ppid=37551 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/37560/stat : 37560 (run-opt.sh) S 37551 37560 37500 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 43682867 4292608 768 18446744073709551615 93833973972992 93833974867525 140737134493808 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 93833975106576 93833975154320 93834004103168 140737134496109 140737134496232 140737134496232 140737134501834 0
/proc/37560/statm: 1048 768 704 219 0 110 0
[pid=37563] ppid=37560 vsize=1077480 memory=985384 CPUtime=3600.08 cores=0,2
/proc/37563/stat : 37563 (roundingsat) R 37560 37560 37500 0 -1 4194304 153587 0 0 0 353817 6191 0 0 20 0 1 0 43682868 1103339520 246346 18446744073709551615 4227072 8923433 140730760378912 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 17629184 140730760386978 140730760387112 140730760387112 140730760392682 0
/proc/37563/statm: 269370 246346 2400 1147 0 256797 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1081672 KiB
Current children cumulated memory: 988456 KiB

Child status: 2

Real time (s): 3609.12
CPU time (s): 3600.11
CPU user time (s): 3538.19
CPU system time (s): 61.9199
CPU usage (%): 99.7503
Max. virtual memory (cumulated for all children) (KiB): 1081672
Max. memory (cumulated for all children) (KiB): 988456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3538.19
system time used= 61.9199
maximum resident set size= 985768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153827
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= 240
involuntary context switches= 4865


# summary of solver processes directly reported to runsolver:
#   pid: 37560,37563
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3538.19
#   total CPU system time (s): 61.9199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.36799 second user time and 13.5248 second system time

The end

Begin job on nodeC020 at 2025-06-30 12:40:53
IDJOB=4483756
IDBENCH=144501
IDSOLVER=3350
FILE ID=nodeC020/4483756-1751280053
RUNJOBID= nodeC020-1751280053-37510
SLURM_JOB_ID= 9594223
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-extraPB12/OPT-LIN/sroussel/benchsMusee/opb_Equals1_cod2_ladder/normalized-BA_RDC4.dot_unif_0null10mast_rapportOE2.0_TMAX300_K67_cod2_pbEq1_newVersion_ladder.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4483756-1751280053/watcher-4483756-1751280053 -o /tmp/evaluation-result-4483756-1751280053/solver-4483756-1751280053 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751280053-37510 --watchdog 3760  run-opt.sh HOME/instance-4483756-1751280053.opb

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

MD5SUM BENCH= 09dba01427439390f7d02c92f076240e
RANDOM SEED=1582763643

nodeC020 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.925
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.79
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		: 2402.508
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.79
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		: 3606.710
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.889
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.79
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		: 3600.921
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.79
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.885
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.79
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		: 3600.010
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.482
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129591032 kB
MemAvailable:   129774012 kB
Buffers:            3280 kB
Cached:           988456 kB
SwapCached:            0 kB
Active:           386960 kB
Inactive:         681176 kB
Active(anon):      94456 kB
Inactive(anon):        0 kB
Active(file):     292504 kB
Inactive(file):   681176 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             55088 kB
Writeback:             0 kB
AnonPages:         79444 kB
Mapped:           102612 kB
Shmem:             18056 kB
KReclaimable:      97076 kB
Slab:             183452 kB
SReclaimable:      97076 kB
SUnreclaim:        86376 kB
KernelStack:        4008 kB
PageTables:         2376 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     341620 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150360 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433000 MiB
End job on nodeC020 at 2025-06-30 13:41:02