0.00/0.13	c RoundingSat 2
0.00/0.13	c branch pb25
0.00/0.13	c commit 63f22ad
0.88/2.57	c #variables 81322 #constraints 201866
0.88/2.57	c objective is ce32 
0.97/2.63	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.97/2.63	c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.97/2.63	c GLOBAL bounds - >= -262661 @ 0.800447
1.08/2.70	c GLOBAL bounds - >= -262661 @ 0.831061
1.08/2.78	c GLOBAL bounds - >= -262661 @ 0.863645
1.18/2.86	c GLOBAL bounds - >= -262661 @ 0.893847
1.28/2.93	c GLOBAL bounds - >= -262661 @ 0.925023
1.39/3.01	c GLOBAL bounds - >= -262661 @ 0.951562
1.39/3.08	c GLOBAL bounds - >= -262661 @ 0.978173
1.48/3.16	c GLOBAL bounds - >= -262661 @ 1.00246
1.58/3.23	c GLOBAL bounds - >= -262661 @ 1.0227
1.68/3.31	c GLOBAL bounds - >= -262661 @ 1.05017
1.68/3.38	c GLOBAL bounds - >= -262661 @ 1.07625
1.77/3.46	c GLOBAL bounds - >= -262661 @ 1.10154
1.88/3.54	c GLOBAL bounds - >= -262661 @ 1.12094
1.97/3.61	c GLOBAL bounds - >= -262661 @ 1.14597
1.97/3.69	c GLOBAL bounds - >= -262661 @ 1.1773
2.08/3.76	c GLOBAL bounds - >= -262661 @ 1.20281
2.18/3.84	c GLOBAL bounds - >= -262661 @ 1.23091
2.28/3.91	c GLOBAL bounds - >= -262661 @ 1.25616
2.28/3.99	c GLOBAL bounds - >= -262661 @ 1.27964
2.38/4.06	c GLOBAL bounds - >= -262661 @ 1.30787
2.48/4.14	c GLOBAL bounds - >= -262661 @ 1.33846
2.58/4.21	c GLOBAL bounds - >= -262661 @ 1.37361
2.58/4.29	c GLOBAL bounds - >= -262661 @ 1.40375
2.67/4.37	c GLOBAL bounds - >= -262661 @ 1.43237
2.77/4.44	c GLOBAL bounds - >= -262661 @ 1.46935
2.87/4.52	c GLOBAL bounds - >= -262661 @ 1.49177
2.87/4.59	c GLOBAL bounds - >= -262661 @ 1.52425
2.97/4.67	c GLOBAL bounds - >= -262661 @ 1.54456
3.08/4.74	c GLOBAL bounds - >= -262661 @ 1.57506
3.18/4.82	c GLOBAL bounds - >= -262661 @ 1.60113
3.18/4.89	c GLOBAL bounds - >= -262661 @ 1.63044
3.28/4.97	c GLOBAL bounds - >= -262661 @ 1.655
3.38/5.04	c GLOBAL bounds - >= -262661 @ 1.68618
3.48/5.12	c GLOBAL bounds - >= -262661 @ 1.70963
3.48/5.19	c GLOBAL bounds - >= -262661 @ 1.741
3.58/5.27	c GLOBAL bounds - >= -262661 @ 1.7687
3.68/5.35	c GLOBAL bounds - >= -262661 @ 1.79681
3.77/5.42	c GLOBAL bounds - >= -262661 @ 1.82409
3.87/5.50	c GLOBAL bounds - >= -262661 @ 1.84863
3.87/5.57	c GLOBAL bounds - >= -262661 @ 1.87497
3.97/5.65	c GLOBAL bounds - >= -262661 @ 1.89992
4.08/5.72	c GLOBAL bounds - >= -262661 @ 1.93151
4.18/5.80	c GLOBAL bounds - >= -262661 @ 1.95266
4.18/5.87	c GLOBAL bounds - >= -262661 @ 1.97438
4.28/5.95	c GLOBAL bounds - >= -262661 @ 2.00251
4.38/6.03	c GLOBAL bounds - >= -262661 @ 2.03027
4.38/6.10	c GLOBAL bounds - >= -262661 @ 2.06033
4.48/6.18	c GLOBAL bounds - >= -262661 @ 2.08615
4.57/6.25	c GLOBAL bounds - >= -262661 @ 2.12228
4.68/6.33	c GLOBAL bounds - >= -262661 @ 2.15276
4.78/6.40	c GLOBAL bounds - >= -262661 @ 2.18322
4.78/6.48	c GLOBAL bounds - >= -262661 @ 2.21394
4.88/6.55	c GLOBAL bounds - >= -262661 @ 2.23909
4.97/6.63	c GLOBAL bounds - >= -262661 @ 2.27044
5.08/6.70	c GLOBAL bounds - >= -262661 @ 2.29395
5.08/6.78	c GLOBAL bounds - >= -262661 @ 2.31631
5.17/6.86	c GLOBAL bounds - >= -262661 @ 2.33886
5.27/6.93	c GLOBAL bounds - >= -262661 @ 2.36462
5.38/7.01	c GLOBAL bounds - >= -262661 @ 2.39369
5.38/7.08	c GLOBAL bounds - >= -262661 @ 2.42359
5.48/7.16	c GLOBAL bounds - >= -262661 @ 2.45073
5.57/7.24	c GLOBAL bounds - >= -262661 @ 2.47796
5.67/7.31	c GLOBAL bounds - >= -262661 @ 2.51259
5.67/7.39	c GLOBAL bounds - >= -262661 @ 2.54415
5.77/7.47	c GLOBAL bounds - >= -262661 @ 2.56523
5.87/7.55	c GLOBAL bounds - >= -262661 @ 2.59426
5.97/7.63	c GLOBAL bounds - >= -262661 @ 2.61819
6.07/7.70	c GLOBAL bounds - >= -262661 @ 2.64161
6.07/7.78	c GLOBAL bounds - >= -262661 @ 2.66727
6.17/7.86	c GLOBAL bounds - >= -262661 @ 2.70033
6.27/7.94	c GLOBAL bounds - >= -262661 @ 2.72311
6.37/8.02	c GLOBAL bounds - >= -262661 @ 2.75737
6.37/8.10	c GLOBAL bounds - >= -262661 @ 2.78343
6.47/8.18	c GLOBAL bounds - >= -262661 @ 2.8075
6.57/8.26	c GLOBAL bounds - >= -262661 @ 2.84
6.67/8.34	c GLOBAL bounds - >= -262661 @ 2.87469
6.77/8.42	c GLOBAL bounds - >= -262661 @ 2.90478
6.77/8.50	c GLOBAL bounds - >= -262661 @ 2.93178
6.87/8.57	c GLOBAL bounds - >= -262661 @ 2.95777
6.97/8.65	c GLOBAL bounds - >= -262661 @ 2.9798
7.07/8.73	c GLOBAL bounds - >= -262661 @ 3.0068
7.17/8.81	c GLOBAL bounds - >= -262661 @ 3.03893
7.17/8.89	c GLOBAL bounds - >= -262661 @ 3.06174
7.27/8.97	c GLOBAL bounds - >= -262661 @ 3.08287
7.37/9.05	c GLOBAL bounds - >= -262661 @ 3.10949
7.47/9.13	c GLOBAL bounds - >= -262661 @ 3.13475
7.57/9.21	c GLOBAL bounds - >= -262661 @ 3.16224
7.57/9.29	c GLOBAL bounds - >= -262661 @ 3.1903
7.67/9.37	c GLOBAL bounds - >= -262661 @ 3.21723
7.76/9.45	c GLOBAL bounds - >= -262661 @ 3.24616
7.86/9.52	c GLOBAL bounds - >= -262661 @ 3.27718
7.97/9.60	c GLOBAL bounds - >= -262661 @ 3.30212
7.97/9.68	c GLOBAL bounds - >= -262661 @ 3.33304
8.06/9.76	c GLOBAL bounds - >= -262661 @ 3.35539
8.17/9.84	c GLOBAL bounds - >= -262661 @ 3.3827
8.27/9.92	c GLOBAL bounds - >= -262661 @ 3.41202
8.37/10.00	c GLOBAL bounds - >= -262661 @ 3.44731
8.37/10.08	c GLOBAL bounds - >= -262661 @ 3.47558
8.47/10.16	c GLOBAL bounds - >= -262661 @ 3.50067
8.57/10.24	c GLOBAL bounds - >= -262661 @ 3.53602
8.67/10.32	c GLOBAL bounds - >= -262661 @ 3.55867
8.76/10.40	c GLOBAL bounds - >= -262661 @ 3.57979
8.76/10.48	c GLOBAL bounds - >= -262661 @ 3.60924
8.86/10.56	c GLOBAL bounds - >= -262661 @ 3.63707
8.97/10.64	c GLOBAL bounds - >= -262661 @ 3.66016
9.07/10.72	c GLOBAL bounds - >= -262661 @ 3.68929
9.07/10.79	c GLOBAL bounds - >= -262661 @ 3.71677
9.16/10.87	c GLOBAL bounds - >= -262661 @ 3.74389
9.26/10.95	c GLOBAL bounds - >= -262661 @ 3.77021
9.37/11.03	c GLOBAL bounds - >= -262661 @ 3.79967
9.47/11.11	c GLOBAL bounds - >= -262661 @ 3.83124
9.47/11.19	c GLOBAL bounds - >= -262661 @ 3.85775
9.57/11.27	c GLOBAL bounds - >= -262661 @ 3.88815
9.66/11.35	c GLOBAL bounds - >= -262661 @ 3.91732
9.77/11.43	c GLOBAL bounds - >= -262661 @ 3.943
9.86/11.51	c GLOBAL bounds - >= -262661 @ 3.96873
9.86/11.59	c GLOBAL bounds - >= -262661 @ 3.99801
9.97/11.67	c GLOBAL bounds - >= -262661 @ 4.028
10.06/11.75	c GLOBAL bounds - >= -262661 @ 4.05736
10.16/11.83	c GLOBAL bounds - >= -262661 @ 4.08256
10.26/11.91	c GLOBAL bounds - >= -262661 @ 4.10684
10.26/11.99	c GLOBAL bounds - >= -262661 @ 4.13569
10.37/12.07	c GLOBAL bounds - >= -262661 @ 4.16349
10.47/12.15	c GLOBAL bounds - >= -262661 @ 4.19522
10.56/12.23	c GLOBAL bounds - >= -262661 @ 4.23002
10.66/12.31	c GLOBAL bounds - >= -262661 @ 4.25686
10.66/12.39	c GLOBAL bounds - >= -262661 @ 4.28038
10.76/12.47	c GLOBAL bounds - >= -262661 @ 4.30997
10.87/12.55	c GLOBAL bounds - >= -262661 @ 4.34174
10.96/12.63	c GLOBAL bounds - >= -262661 @ 4.37052
11.06/12.71	c GLOBAL bounds - >= -262661 @ 4.39328
11.06/12.79	c GLOBAL bounds - >= -262661 @ 4.42134
11.16/12.87	c GLOBAL bounds - >= -262661 @ 4.4562
11.26/12.95	c GLOBAL bounds - >= -262661 @ 4.4905
11.36/13.03	c GLOBAL bounds - >= -262661 @ 4.51512
11.47/13.11	c GLOBAL bounds - >= -262661 @ 4.54864
11.47/13.19	c GLOBAL bounds - >= -262661 @ 4.57349
11.56/13.27	c GLOBAL bounds - >= -262661 @ 4.60789
11.66/13.35	c GLOBAL bounds - >= -262661 @ 4.62883
11.76/13.43	c GLOBAL bounds - >= -262661 @ 4.66182
11.86/13.51	c GLOBAL bounds - >= -262661 @ 4.68767
11.86/13.59	c GLOBAL bounds - >= -262661 @ 4.72369
11.96/13.68	c GLOBAL bounds - >= -262661 @ 4.75198
12.06/13.76	c GLOBAL bounds - >= -262661 @ 4.77635
12.16/13.84	c GLOBAL bounds - >= -262661 @ 4.80709
12.26/13.92	c GLOBAL bounds - >= -262661 @ 4.8434
12.26/14.00	c GLOBAL bounds - >= -262661 @ 4.87279
12.37/14.08	c GLOBAL bounds - >= -262661 @ 4.90864
12.46/14.16	c GLOBAL bounds - >= -262661 @ 4.93737
12.56/14.24	c GLOBAL bounds - >= -262661 @ 4.97259
12.66/14.32	c GLOBAL bounds - >= -262661 @ 5.00638
12.76/14.40	c GLOBAL bounds - >= -262661 @ 5.03573
12.76/14.48	c GLOBAL bounds - >= -262661 @ 5.06236
12.86/14.56	c GLOBAL bounds - >= -262661 @ 5.09933
12.96/14.64	c GLOBAL bounds - >= -262661 @ 5.1322
13.06/14.72	c GLOBAL bounds - >= -262661 @ 5.15803
13.16/14.80	c GLOBAL bounds - >= -262661 @ 5.1901
13.16/14.88	c GLOBAL bounds - >= -262661 @ 5.21489
13.26/14.96	c GLOBAL bounds - >= -262661 @ 5.23976
13.36/15.05	c GLOBAL bounds - >= -262661 @ 5.27176
13.47/15.13	c GLOBAL bounds - >= -262661 @ 5.29967
13.56/15.21	c GLOBAL bounds - >= -262661 @ 5.32963
13.56/15.29	c GLOBAL bounds - >= -262661 @ 5.3585
13.66/15.37	c GLOBAL bounds - >= -262661 @ 5.3906
13.75/15.45	c GLOBAL bounds - >= -262661 @ 5.41976
13.86/15.54	c GLOBAL bounds - >= -262661 @ 5.45268
13.96/15.62	c GLOBAL bounds - >= -262661 @ 5.47729
14.05/15.70	c GLOBAL bounds - >= -262661 @ 5.5073
14.05/15.78	c GLOBAL bounds - >= -262661 @ 5.52807
14.15/15.86	c GLOBAL bounds - >= -262661 @ 5.55946
14.25/15.94	c GLOBAL bounds - >= -262661 @ 5.58346
14.36/16.02	c GLOBAL bounds - >= -262661 @ 5.61366
14.46/16.10	c GLOBAL bounds - >= -262661 @ 5.641
14.46/16.18	c GLOBAL bounds - >= -262661 @ 5.66597
14.56/16.26	c GLOBAL bounds - >= -262661 @ 5.70216
14.66/16.34	c GLOBAL bounds - >= -262661 @ 5.727
14.75/16.42	c GLOBAL bounds - >= -262661 @ 5.76024
14.85/16.50	c GLOBAL bounds - >= -262661 @ 5.7924
14.85/16.58	c GLOBAL bounds - >= -262661 @ 5.82251
14.95/16.66	c GLOBAL bounds - >= -262661 @ 5.85562
15.05/16.74	c GLOBAL bounds - >= -262661 @ 5.87361
15.16/16.82	c GLOBAL bounds - >= -262661 @ 5.90166
15.25/16.90	c GLOBAL bounds - >= -262661 @ 5.92858
15.25/16.98	c GLOBAL bounds - >= -262661 @ 5.95873
15.36/17.06	c GLOBAL bounds - >= -262661 @ 5.98509
15.46/17.14	c GLOBAL bounds - >= -262661 @ 6.01334
15.55/17.22	c GLOBAL bounds - >= -262661 @ 6.04433
15.66/17.30	c GLOBAL bounds - >= -262661 @ 6.07452
15.66/17.38	c GLOBAL bounds - >= -262661 @ 6.09648
15.76/17.47	c GLOBAL bounds - >= -262661 @ 6.13067
15.86/17.55	c GLOBAL bounds - >= -262661 @ 6.15568
15.96/17.63	c GLOBAL bounds - >= -262661 @ 6.18804
16.05/17.71	c GLOBAL bounds - >= -262661 @ 6.22198
16.05/17.79	c GLOBAL bounds - >= -262661 @ 6.25316
16.16/17.87	c GLOBAL bounds - >= -262661 @ 6.27578
16.25/17.95	c GLOBAL bounds - >= -262661 @ 6.29986
16.36/18.03	c GLOBAL bounds - >= -262661 @ 6.33444
16.45/18.11	c GLOBAL bounds - >= -262661 @ 6.36268
16.45/18.19	c GLOBAL bounds - >= -262661 @ 6.39113
16.55/18.27	c GLOBAL bounds - >= -262661 @ 6.42212
16.65/18.35	c GLOBAL bounds - >= -262661 @ 6.44819
16.75/18.43	c GLOBAL bounds - >= -262661 @ 6.47626
16.85/18.51	c GLOBAL bounds - >= -262661 @ 6.50539
16.85/18.59	c GLOBAL bounds - >= -262661 @ 6.53805
16.95/18.67	c GLOBAL bounds - >= -262661 @ 6.56331
17.05/18.76	c GLOBAL bounds - >= -262661 @ 6.60123
17.15/18.84	c GLOBAL bounds - >= -262661 @ 6.62502
17.25/18.92	c GLOBAL bounds - >= -262661 @ 6.65904
17.35/19.00	c GLOBAL bounds - >= -262661 @ 6.68811
17.35/19.08	c GLOBAL bounds - >= -262661 @ 6.72301
17.46/19.16	c GLOBAL bounds - >= -262661 @ 6.7507
17.55/19.25	c GLOBAL bounds - >= -262661 @ 6.78464
17.65/19.33	c GLOBAL bounds - >= -262661 @ 6.8148
17.75/19.41	c GLOBAL bounds - >= -262661 @ 6.84684
17.75/19.49	c GLOBAL bounds - >= -262661 @ 6.87648
17.85/19.57	c GLOBAL bounds - >= -262661 @ 6.90186
17.94/19.65	c GLOBAL bounds - >= -262661 @ 6.93369
18.05/19.73	c GLOBAL bounds - >= -262661 @ 6.96643
18.15/19.81	c GLOBAL bounds - >= -262661 @ 6.99543
18.15/19.89	c GLOBAL bounds - >= -262661 @ 7.02954
18.25/19.98	c GLOBAL bounds - >= -262661 @ 7.05862
18.35/20.06	c GLOBAL bounds - >= -262661 @ 7.08971
18.45/20.14	c GLOBAL bounds - >= -262661 @ 7.11337
18.55/20.22	c GLOBAL bounds - >= -262661 @ 7.13903
18.64/20.30	c GLOBAL bounds - >= -262661 @ 7.16992
18.64/20.38	c GLOBAL bounds - >= -262661 @ 7.19838
18.75/20.46	c GLOBAL bounds - >= -262661 @ 7.23687
18.85/20.54	c GLOBAL bounds - >= -262661 @ 7.26449
18.94/20.62	c GLOBAL bounds - >= -262661 @ 7.29871
19.04/20.71	c GLOBAL bounds - >= -262661 @ 7.32124
19.04/20.79	c GLOBAL bounds - >= -262661 @ 7.34716
19.15/20.87	c GLOBAL bounds - >= -262661 @ 7.37783
19.24/20.95	c GLOBAL bounds - >= -262661 @ 7.39908
19.36/21.03	c GLOBAL bounds - >= -262661 @ 7.42856
19.45/21.11	c GLOBAL bounds - >= -262661 @ 7.46864
19.45/21.19	c GLOBAL bounds - >= -262661 @ 7.50157
19.55/21.28	c GLOBAL bounds - >= -262661 @ 7.53313
19.65/21.36	c GLOBAL bounds - >= -262661 @ 7.55928
19.75/21.44	c GLOBAL bounds - >= -262661 @ 7.58749
19.85/21.52	c GLOBAL bounds - >= -262661 @ 7.61645
19.95/21.60	c GLOBAL bounds - >= -262661 @ 7.6424
19.95/21.68	c GLOBAL bounds - >= -262661 @ 7.67351
20.05/21.77	c GLOBAL bounds - >= -262661 @ 7.71148
20.15/21.85	c GLOBAL bounds - >= -262661 @ 7.74741
20.25/21.93	c GLOBAL bounds - >= -262661 @ 7.77518
20.35/22.01	c GLOBAL bounds - >= -262661 @ 7.80832
20.35/22.10	c GLOBAL bounds - >= -262661 @ 7.83825
20.45/22.18	c GLOBAL bounds - >= -262661 @ 7.86722
20.55/22.26	c GLOBAL bounds - >= -262661 @ 7.90269
20.64/22.34	c GLOBAL bounds - >= -262661 @ 7.9377
20.75/22.42	c GLOBAL bounds - >= -262661 @ 7.96871
20.84/22.50	c GLOBAL bounds - >= -262661 @ 7.99354
20.84/22.59	c GLOBAL bounds - >= -262661 @ 8.01867
20.95/22.67	c GLOBAL bounds - >= -262661 @ 8.04744
21.05/22.75	c GLOBAL bounds - >= -262661 @ 8.08478
21.15/22.83	c GLOBAL bounds - >= -262661 @ 8.10752
21.25/22.91	c GLOBAL bounds - >= -262661 @ 8.1333
21.25/22.99	c GLOBAL bounds - >= -262661 @ 8.16442
21.35/23.07	c GLOBAL bounds - >= -262661 @ 8.18859
21.45/23.16	c GLOBAL bounds - >= -262661 @ 8.22082
21.54/23.24	c GLOBAL bounds - >= -262661 @ 8.25549
21.64/23.32	c GLOBAL bounds - >= -262661 @ 8.28213
21.75/23.40	c GLOBAL bounds - >= -262661 @ 8.31211
21.75/23.48	c GLOBAL bounds - >= -262661 @ 8.33803
21.85/23.56	c GLOBAL bounds - >= -262661 @ 8.36378
21.95/23.64	c GLOBAL bounds - >= -262661 @ 8.39681
22.04/23.72	c GLOBAL bounds - >= -262661 @ 8.42564
22.15/23.81	c GLOBAL bounds - >= -262661 @ 8.45542
22.15/23.89	c GLOBAL bounds - >= -262661 @ 8.48865
22.24/23.97	c GLOBAL bounds - >= -262661 @ 8.51673
22.34/24.05	c GLOBAL bounds - >= -262661 @ 8.54495
22.44/24.13	c GLOBAL bounds - >= -262661 @ 8.57846
22.54/24.21	c GLOBAL bounds - >= -262661 @ 8.60347
22.54/24.29	c GLOBAL bounds - >= -262661 @ 8.6304
22.64/24.37	c GLOBAL bounds - >= -262661 @ 8.65833
22.74/24.46	c GLOBAL bounds - >= -262661 @ 8.6926
22.84/24.54	c GLOBAL bounds - >= -262661 @ 8.72359
22.94/24.63	c GLOBAL bounds - >= -262661 @ 8.75033
23.04/24.71	c GLOBAL bounds - >= -262661 @ 8.78025
23.04/24.79	c GLOBAL bounds - >= -262661 @ 8.81323
23.15/24.87	c GLOBAL bounds - >= -262661 @ 8.85014
23.24/24.95	c GLOBAL bounds - >= -262661 @ 8.87782
23.34/25.03	c GLOBAL bounds - >= -262661 @ 8.90678
23.45/25.11	c GLOBAL bounds - >= -262661 @ 8.93473
23.45/25.19	c GLOBAL bounds - >= -262661 @ 8.96412
23.54/25.28	c GLOBAL bounds - >= -262661 @ 8.99356
23.63/25.36	c GLOBAL bounds - >= -262661 @ 9.01884
23.74/25.44	c GLOBAL bounds - >= -262661 @ 9.051
23.84/25.52	c GLOBAL bounds - >= -262661 @ 9.08258
23.94/25.60	c GLOBAL bounds - >= -262661 @ 9.11253
23.94/25.68	c GLOBAL bounds - >= -262661 @ 9.14634
24.04/25.76	c GLOBAL bounds - >= -262661 @ 9.17746
24.14/25.85	c GLOBAL bounds - >= -262661 @ 9.20834
24.23/25.93	c GLOBAL bounds - >= -262661 @ 9.23794
24.34/26.01	c GLOBAL bounds - >= -262661 @ 9.27154
24.34/26.09	c GLOBAL bounds - >= -262661 @ 9.30358
24.44/26.18	c GLOBAL bounds - >= -262661 @ 9.32944
24.54/26.26	c GLOBAL bounds - >= -262661 @ 9.36208
24.64/26.34	c GLOBAL bounds - >= -262661 @ 9.39385
24.73/26.42	c GLOBAL bounds - >= -262661 @ 9.4253
24.84/26.50	c GLOBAL bounds - >= -262661 @ 9.45797
24.84/26.59	c GLOBAL bounds - >= -262661 @ 9.48478
24.94/26.67	c GLOBAL bounds - >= -262661 @ 9.51718
25.03/26.75	c GLOBAL bounds - >= -262661 @ 9.545
25.14/26.83	c GLOBAL bounds - >= -262661 @ 9.57352
25.24/26.91	c GLOBAL bounds - >= -262661 @ 9.61046
25.24/27.00	c GLOBAL bounds - >= -262661 @ 9.64587
25.34/27.08	c GLOBAL bounds - >= -262661 @ 9.68241
25.44/27.17	c GLOBAL bounds - >= -262661 @ 9.70544
25.53/27.25	c GLOBAL bounds - >= -262661 @ 9.73116
25.64/27.33	c GLOBAL bounds - >= -262661 @ 9.76133
25.74/27.41	c GLOBAL bounds - >= -262661 @ 9.79209
25.83/27.50	c GLOBAL bounds - >= -262661 @ 9.82418
25.83/27.58	c GLOBAL bounds - >= -262661 @ 9.86193
25.94/27.66	c GLOBAL bounds - >= -262661 @ 9.89691
26.04/27.74	c GLOBAL bounds - >= -262661 @ 9.92274
26.13/27.83	c GLOBAL bounds - >= -262661 @ 9.95413
26.24/27.91	c GLOBAL bounds - >= -262661 @ 9.98912
26.24/27.99	c GLOBAL bounds - >= -262661 @ 10.0224
26.34/28.08	c GLOBAL bounds - >= -262661 @ 10.0508
26.44/28.16	c GLOBAL bounds - >= -262661 @ 10.0765
26.53/28.24	c GLOBAL bounds - >= -262661 @ 10.0979
26.64/28.32	c GLOBAL bounds - >= -262661 @ 10.1354
26.73/28.41	c GLOBAL bounds - >= -262661 @ 10.1605
26.73/28.49	c GLOBAL bounds - >= -262661 @ 10.1914
26.83/28.57	c GLOBAL bounds - >= -262661 @ 10.2227
26.94/28.65	c GLOBAL bounds - >= -262661 @ 10.2493
27.03/28.74	c GLOBAL bounds - >= -262661 @ 10.2822
27.14/28.82	c GLOBAL bounds - >= -262661 @ 10.3122
27.23/28.90	c GLOBAL bounds - >= -262661 @ 10.3491
27.23/28.99	c GLOBAL bounds - >= -262661 @ 10.3893
27.33/29.08	c GLOBAL bounds - >= -262661 @ 10.427
27.44/29.16	c GLOBAL bounds - >= -262661 @ 10.4548
27.53/29.24	c GLOBAL bounds - >= -262661 @ 10.491
27.63/29.33	c GLOBAL bounds - >= -262661 @ 10.5256
27.73/29.41	c GLOBAL bounds - >= -262661 @ 10.558
27.83/29.50	c GLOBAL bounds - >= -262661 @ 10.5836
27.83/29.58	c GLOBAL bounds - >= -262661 @ 10.6177
27.93/29.66	c GLOBAL bounds - >= -262661 @ 10.6464
28.03/29.74	c GLOBAL bounds - >= -262661 @ 10.6738
28.13/29.83	c GLOBAL bounds - >= -262661 @ 10.7027
28.23/29.91	c GLOBAL bounds - >= -262661 @ 10.7262
28.23/29.99	c GLOBAL bounds - >= -262661 @ 10.7604
28.34/30.07	c GLOBAL bounds - >= -262661 @ 10.7872
28.43/30.16	c GLOBAL bounds - >= -262661 @ 10.8116
28.53/30.24	c GLOBAL bounds - >= -262661 @ 10.8462
28.63/30.32	c GLOBAL bounds - >= -262661 @ 10.8865
28.73/30.40	c GLOBAL bounds - >= -262661 @ 10.9238
28.73/30.48	c GLOBAL bounds - >= -262661 @ 10.9563
28.83/30.57	c GLOBAL bounds - >= -262661 @ 10.9826
28.93/30.65	c GLOBAL bounds - >= -262661 @ 11.0147
29.03/30.73	c GLOBAL bounds - >= -262661 @ 11.0418
29.13/30.81	c GLOBAL bounds - >= -262661 @ 11.0693
29.23/30.90	c GLOBAL bounds - >= -262661 @ 11.1007
29.23/30.98	c GLOBAL bounds - >= -262661 @ 11.1296
29.34/31.06	c GLOBAL bounds - >= -262661 @ 11.1636
29.43/31.14	c GLOBAL bounds - >= -262661 @ 11.1999
29.52/31.23	c GLOBAL bounds - >= -262661 @ 11.2255
29.63/31.31	c GLOBAL bounds - >= -262661 @ 11.2582
29.63/31.39	c GLOBAL bounds - >= -262661 @ 11.2908
29.73/31.48	c GLOBAL bounds - >= -262661 @ 11.3206
29.83/31.56	c GLOBAL bounds - >= -262661 @ 11.3542
29.92/31.65	c GLOBAL bounds - >= -262661 @ 11.3815
30.02/31.73	c GLOBAL bounds - >= -262661 @ 11.4191
30.13/31.81	c GLOBAL bounds - >= -262661 @ 11.449
30.23/31.90	c GLOBAL bounds - >= -262661 @ 11.4861
30.23/31.98	c GLOBAL bounds - >= -262661 @ 11.5179
30.33/32.06	c GLOBAL bounds - >= -262661 @ 11.5529
30.44/32.15	c GLOBAL bounds - >= -262661 @ 11.5837
30.52/32.23	c GLOBAL bounds - >= -262661 @ 11.6127
30.63/32.31	c GLOBAL bounds - >= -262661 @ 11.6438
30.72/32.40	c GLOBAL bounds - >= -262661 @ 11.6765
30.72/32.48	c GLOBAL bounds - >= -262661 @ 11.7104
30.83/32.56	c GLOBAL bounds - >= -262661 @ 11.7435
30.93/32.64	c GLOBAL bounds - >= -262661 @ 11.7825
31.03/32.72	c GLOBAL bounds - >= -262661 @ 11.8113
31.13/32.81	c GLOBAL bounds - >= -262661 @ 11.8452
31.13/32.89	c GLOBAL bounds - >= -262661 @ 11.8737
31.23/32.97	c GLOBAL bounds - >= -262661 @ 11.9041
31.33/33.05	c GLOBAL bounds - >= -262661 @ 11.949
31.43/33.13	c GLOBAL bounds - >= -262661 @ 11.975
31.52/33.22	c GLOBAL bounds - >= -262661 @ 12.0078
31.62/33.30	c GLOBAL bounds - >= -262661 @ 12.0399
31.62/33.38	c GLOBAL bounds - >= -262661 @ 12.08
31.72/33.47	c GLOBAL bounds - >= -262661 @ 12.1136
31.82/33.55	c GLOBAL bounds - >= -262661 @ 12.1387
31.92/33.63	c GLOBAL bounds - >= -262661 @ 12.172
32.03/33.71	c GLOBAL bounds - >= -262661 @ 12.1985
32.03/33.79	c GLOBAL bounds - >= -262661 @ 12.2256
32.12/33.88	c GLOBAL bounds - >= -262661 @ 12.2568
32.22/33.96	c GLOBAL bounds - >= -262661 @ 12.2925
32.33/34.04	c GLOBAL bounds - >= -262661 @ 12.3238
32.43/34.12	c GLOBAL bounds - >= -262661 @ 12.3533
32.52/34.21	c GLOBAL bounds - >= -262661 @ 12.3823
32.52/34.29	c GLOBAL bounds - >= -262661 @ 12.4093
32.62/34.37	c GLOBAL bounds - >= -262661 @ 12.4401
32.73/34.45	c GLOBAL bounds - >= -262661 @ 12.4762
32.82/34.54	c GLOBAL bounds - >= -262661 @ 12.5064
32.92/34.62	c GLOBAL bounds - >= -262661 @ 12.538
33.03/34.70	c GLOBAL bounds - >= -262661 @ 12.5756
33.03/34.79	c GLOBAL bounds - >= -262661 @ 12.6123
33.12/34.87	c GLOBAL bounds - >= -262661 @ 12.6451
33.22/34.96	c GLOBAL bounds - >= -262661 @ 12.6764
33.33/35.04	c GLOBAL bounds - >= -262661 @ 12.7047
33.43/35.12	c GLOBAL bounds - >= -262661 @ 12.7337
33.52/35.20	c GLOBAL bounds - >= -262661 @ 12.7699
33.52/35.29	c GLOBAL bounds - >= -262661 @ 12.8026
33.62/35.37	c GLOBAL bounds - >= -262661 @ 12.8335
33.72/35.45	c GLOBAL bounds - >= -262661 @ 12.8647
33.82/35.54	c GLOBAL bounds - >= -262661 @ 12.9014
33.92/35.62	c GLOBAL bounds - >= -262661 @ 12.9336
34.02/35.70	c GLOBAL bounds - >= -262661 @ 12.9754
34.02/35.78	c GLOBAL bounds - >= -262661 @ 13.0073
34.12/35.87	c GLOBAL bounds - >= -262661 @ 13.0332
34.22/35.95	c GLOBAL bounds - >= -262661 @ 13.0642
34.32/36.03	c GLOBAL bounds - >= -262661 @ 13.094
34.42/36.11	c GLOBAL bounds - >= -262661 @ 13.1208
34.52/36.20	c GLOBAL bounds - >= -262661 @ 13.1518
34.52/36.28	c GLOBAL bounds - >= -262661 @ 13.184
34.62/36.36	c GLOBAL bounds - >= -262661 @ 13.2137
34.72/36.45	c GLOBAL bounds - >= -262661 @ 13.2466
34.82/36.53	c GLOBAL bounds - >= -262661 @ 13.2806
34.91/36.61	c GLOBAL bounds - >= -262661 @ 13.314
34.91/36.69	c GLOBAL bounds - >= -262661 @ 13.344
35.02/36.78	c GLOBAL bounds - >= -262661 @ 13.3684
35.12/36.86	c GLOBAL bounds - >= -262661 @ 13.3985
35.22/36.94	c GLOBAL bounds - >= -262661 @ 13.4338
35.32/37.02	c GLOBAL bounds - >= -262661 @ 13.468
35.43/37.11	c GLOBAL bounds - >= -262661 @ 13.5041
35.43/37.19	c GLOBAL bounds - >= -262661 @ 13.5362
35.51/37.27	c GLOBAL bounds - >= -262661 @ 13.5661
35.61/37.35	c GLOBAL bounds - >= -262661 @ 13.597
35.72/37.44	c GLOBAL bounds - >= -262661 @ 13.6221
35.82/37.52	c GLOBAL bounds - >= -262661 @ 13.6568
35.91/37.60	c GLOBAL bounds - >= -262661 @ 13.6919
35.91/37.68	c GLOBAL bounds - >= -262661 @ 13.7271
36.01/37.77	c GLOBAL bounds - >= -262661 @ 13.7649
36.12/37.85	c GLOBAL bounds - >= -262661 @ 13.8028
36.22/37.94	c GLOBAL bounds - >= -262661 @ 13.8296
36.32/38.02	c GLOBAL bounds - >= -262661 @ 13.8526
36.42/38.10	c GLOBAL bounds - >= -262661 @ 13.8844
36.42/38.19	c GLOBAL bounds - >= -262661 @ 13.9159
36.52/38.27	c GLOBAL bounds - >= -262661 @ 13.9444
36.61/38.36	c GLOBAL bounds - >= -262661 @ 13.9763
36.71/38.44	c GLOBAL bounds - >= -262661 @ 14.0134
36.82/38.52	c GLOBAL bounds - >= -262661 @ 14.0402
36.91/38.61	c GLOBAL bounds - >= -262661 @ 14.0685
36.91/38.69	c GLOBAL bounds - >= -262661 @ 14.1025
37.02/38.78	c GLOBAL bounds - >= -262661 @ 14.1434
37.11/38.87	c GLOBAL bounds - >= -262661 @ 14.1817
37.21/38.95	c GLOBAL bounds - >= -262661 @ 14.209
37.32/39.03	c GLOBAL bounds - >= -262661 @ 14.2398
37.42/39.11	c GLOBAL bounds - >= -262661 @ 14.2699
37.51/39.20	c GLOBAL bounds - >= -262661 @ 14.2973
37.51/39.28	c GLOBAL bounds - >= -262661 @ 14.3363
37.61/39.36	c GLOBAL bounds - >= -262661 @ 14.366
37.71/39.45	c GLOBAL bounds - >= -262661 @ 14.3946
37.81/39.53	c GLOBAL bounds - >= -262661 @ 14.4294
37.91/39.61	c GLOBAL bounds - >= -262661 @ 14.4614
37.91/39.69	c GLOBAL bounds - >= -262661 @ 14.4867
38.01/39.78	c GLOBAL bounds - >= -262661 @ 14.5259
38.11/39.86	c GLOBAL bounds - >= -262661 @ 14.5544
38.21/39.94	c GLOBAL bounds - >= -262661 @ 14.5823
38.32/40.03	c GLOBAL bounds - >= -262661 @ 14.6126
38.42/40.11	c GLOBAL bounds - >= -262661 @ 14.6436
38.42/40.19	c GLOBAL bounds - >= -262661 @ 14.675
38.51/40.27	c GLOBAL bounds - >= -262661 @ 14.7089
38.61/40.36	c GLOBAL bounds - >= -262661 @ 14.7409
38.71/40.45	c GLOBAL bounds - >= -262661 @ 14.7767
38.82/40.53	c GLOBAL bounds - >= -262661 @ 14.8141
38.91/40.62	c GLOBAL bounds - >= -262661 @ 14.8416
39.01/40.70	c GLOBAL bounds - >= -262661 @ 14.8697
39.01/40.78	c GLOBAL bounds - >= -262661 @ 14.9068
39.11/40.86	c GLOBAL bounds - >= -262661 @ 14.9369
39.22/40.95	c GLOBAL bounds - >= -262661 @ 14.9684
39.32/41.03	c GLOBAL bounds - >= -262661 @ 15.0023
39.41/41.11	c GLOBAL bounds - >= -262661 @ 15.0323
39.41/41.19	c GLOBAL bounds - >= -262661 @ 15.0593
39.51/41.28	c GLOBAL bounds - >= -262661 @ 15.0858
39.61/41.36	c GLOBAL bounds - >= -262661 @ 15.1261
39.71/41.44	c GLOBAL bounds - >= -262661 @ 15.1531
39.81/41.53	c GLOBAL bounds - >= -262661 @ 15.1914
39.91/41.61	c GLOBAL bounds - >= -262661 @ 15.2252
39.91/41.69	c GLOBAL bounds - >= -262661 @ 15.2555
40.01/41.78	c GLOBAL bounds - >= -262661 @ 15.2829
40.11/41.87	c GLOBAL bounds - >= -262661 @ 15.3152
40.21/41.97	c GLOBAL bounds - >= -262661 @ 15.3656
40.32/42.05	c GLOBAL bounds - >= -262661 @ 15.3977
40.41/42.13	c GLOBAL bounds - >= -262661 @ 15.4284
40.51/42.21	c GLOBAL bounds - >= -262661 @ 15.4678
40.60/42.30	c GLOBAL bounds - >= -262661 @ 15.5077
40.60/42.38	c GLOBAL bounds - >= -262661 @ 15.5345
40.71/42.46	c GLOBAL bounds - >= -262661 @ 15.5677
40.81/42.55	c GLOBAL bounds - >= -262661 @ 15.5961
40.90/42.63	c GLOBAL bounds - >= -262661 @ 15.6292
41.00/42.71	c GLOBAL bounds - >= -262661 @ 15.6655
41.00/42.79	c GLOBAL bounds - >= -262661 @ 15.6988
41.11/42.88	c GLOBAL bounds - >= -262661 @ 15.7349
41.21/42.96	c GLOBAL bounds - >= -262661 @ 15.7639
41.31/43.04	c GLOBAL bounds - >= -262661 @ 15.8049
41.41/43.13	c GLOBAL bounds - >= -262661 @ 15.8289
41.50/43.21	c GLOBAL bounds - >= -262661 @ 15.8659
41.50/43.29	c GLOBAL bounds - >= -262661 @ 15.8966
41.61/43.37	c GLOBAL bounds - >= -262661 @ 15.9157
41.70/43.46	c GLOBAL bounds - >= -262661 @ 15.9437
41.81/43.54	c GLOBAL bounds - >= -262661 @ 15.9767
41.91/43.62	c GLOBAL bounds - >= -262661 @ 15.998
42.00/43.70	c GLOBAL bounds - >= -262661 @ 16.0335
42.00/43.79	c GLOBAL bounds - >= -262661 @ 16.0674
42.11/43.87	c GLOBAL bounds - >= -262661 @ 16.1003
42.20/43.95	c GLOBAL bounds - >= -262661 @ 16.1264
42.31/44.04	c GLOBAL bounds - >= -262661 @ 16.16
42.41/44.12	c GLOBAL bounds - >= -262661 @ 16.196
42.50/44.20	c GLOBAL bounds - >= -262661 @ 16.229
42.50/44.29	c GLOBAL bounds - >= -262661 @ 16.2634
42.61/44.37	c GLOBAL bounds - >= -262661 @ 16.2891
42.71/44.45	c GLOBAL bounds - >= -262661 @ 16.321
42.81/44.53	c GLOBAL bounds - >= -262661 @ 16.3568
42.90/44.62	c GLOBAL bounds - >= -262661 @ 16.3959
43.01/44.70	c GLOBAL bounds - >= -262661 @ 16.4248
43.01/44.78	c #Conflicts:       1000 | #Constraints:       2037
43.01/44.78	c GLOBAL bounds - >= -262661 @ 16.4597
43.10/44.87	c GLOBAL bounds - >= -262661 @ 16.5045
43.20/44.95	c GLOBAL bounds - >= -262661 @ 16.5349
43.31/45.03	c GLOBAL bounds - >= -262661 @ 16.5616
43.41/45.11	c GLOBAL bounds - >= -262661 @ 16.5943
43.50/45.20	c GLOBAL bounds - >= -262661 @ 16.631
43.50/45.28	c GLOBAL bounds - >= -262661 @ 16.6622
43.61/45.36	c GLOBAL bounds - >= -262661 @ 16.6956
43.71/45.45	c GLOBAL bounds - >= -262661 @ 16.7292
43.81/45.53	c GLOBAL bounds - >= -262661 @ 16.7664
43.91/45.62	c GLOBAL bounds - >= -262661 @ 16.795
44.00/45.71	c GLOBAL bounds - >= -262661 @ 16.8285
44.00/45.79	c GLOBAL bounds - >= -262661 @ 16.8682
44.10/45.88	c GLOBAL bounds - >= -262661 @ 16.8989
44.20/45.96	c GLOBAL bounds - >= -262661 @ 16.9347
44.31/46.05	c GLOBAL bounds - >= -262661 @ 16.9697
44.41/46.14	c GLOBAL bounds - >= -262661 @ 17.0076
44.50/46.22	c GLOBAL bounds - >= -262661 @ 17.0383
44.60/46.30	c GLOBAL bounds - >= -262661 @ 17.0696
44.60/46.39	c GLOBAL bounds - >= -262661 @ 17.1074
44.70/46.47	c GLOBAL bounds - >= -262661 @ 17.1343
44.80/46.55	c GLOBAL bounds - >= -262661 @ 17.1676
44.90/46.64	c GLOBAL bounds - >= -262661 @ 17.1984
45.00/46.72	c GLOBAL bounds - >= -262661 @ 17.2252
45.10/46.80	c GLOBAL bounds - >= -262661 @ 17.2612
45.10/46.88	c GLOBAL bounds - >= -262661 @ 17.2942
45.20/46.99	c GLOBAL bounds - >= -262661 @ 17.3413
45.31/47.07	c GLOBAL bounds - >= -262661 @ 17.3708
45.40/47.15	c GLOBAL bounds - >= -262661 @ 17.4042
45.50/47.24	c GLOBAL bounds - >= -262661 @ 17.4334
45.60/47.32	c GLOBAL bounds - >= -262661 @ 17.4601
45.70/47.41	c GLOBAL bounds - >= -262661 @ 17.4907
45.80/47.50	c GLOBAL bounds - >= -262661 @ 17.5258
45.90/47.60	c GLOBAL bounds - >= -262661 @ 17.5635
45.90/47.68	c GLOBAL bounds - >= -262661 @ 17.5996
45.99/47.76	c GLOBAL bounds - >= -262661 @ 17.6385
46.10/47.85	c GLOBAL bounds - >= -262661 @ 17.6704
46.20/47.93	c GLOBAL bounds - >= -262661 @ 17.7043
46.30/48.01	c GLOBAL bounds - >= -262661 @ 17.7334
46.30/48.10	c GLOBAL bounds - >= -262661 @ 17.7663
46.41/48.18	c GLOBAL bounds - >= -262661 @ 17.8091
46.50/48.26	c GLOBAL bounds - >= -262661 @ 17.8394
46.60/48.34	c GLOBAL bounds - >= -262661 @ 17.8701
46.69/48.43	c GLOBAL bounds - >= -262661 @ 17.897
46.79/48.51	c GLOBAL bounds - >= -262661 @ 17.9219
46.90/48.60	c GLOBAL bounds - >= -262661 @ 17.9499
46.90/48.68	c GLOBAL bounds - >= -262661 @ 17.9819
47.00/48.76	c GLOBAL bounds - >= -262661 @ 18.0118
47.09/48.84	c GLOBAL bounds - >= -262661 @ 18.0405
47.20/48.93	c GLOBAL bounds - >= -262661 @ 18.0764
47.30/49.01	c GLOBAL bounds - >= -262661 @ 18.106
47.30/49.09	c GLOBAL bounds - >= -262661 @ 18.1307
47.40/49.18	c GLOBAL bounds - >= -262661 @ 18.1714
47.49/49.28	c GLOBAL bounds - >= -262661 @ 18.2254
47.59/49.39	c GLOBAL bounds - >= -262661 @ 18.2833
47.80/49.50	c GLOBAL bounds - >= -262661 @ 18.3372
47.90/49.61	c GLOBAL bounds - >= -262661 @ 18.3849
47.99/49.71	c GLOBAL bounds - >= -262661 @ 18.4399
47.99/49.79	c GLOBAL bounds - >= -262661 @ 18.4721
48.09/49.88	c GLOBAL bounds - >= -262661 @ 18.5054
48.19/49.96	c GLOBAL bounds - >= -262661 @ 18.5347
48.30/50.04	c GLOBAL bounds - >= -262661 @ 18.5707
48.40/50.13	c GLOBAL bounds - >= -262661 @ 18.604
48.49/50.22	c GLOBAL bounds - >= -262661 @ 18.6429
48.59/50.30	c GLOBAL bounds - >= -262661 @ 18.6716
48.59/50.39	c GLOBAL bounds - >= -262661 @ 18.7034
48.70/50.48	c GLOBAL bounds - >= -262661 @ 18.7354
48.79/50.56	c GLOBAL bounds - >= -262661 @ 18.7783
48.89/50.64	c GLOBAL bounds - >= -262661 @ 18.8126
49.00/50.73	c GLOBAL bounds - >= -262661 @ 18.8493
49.10/50.81	c GLOBAL bounds - >= -262661 @ 18.8752
49.10/50.89	c GLOBAL bounds - >= -262661 @ 18.9074
49.20/50.98	c GLOBAL bounds - >= -262661 @ 18.9431
49.30/51.06	c GLOBAL bounds - >= -262661 @ 18.9701
49.40/51.14	c GLOBAL bounds - >= -262661 @ 19.0049
49.49/51.23	c GLOBAL bounds - >= -262661 @ 19.0399
49.59/51.31	c GLOBAL bounds - >= -262661 @ 19.0788
49.59/51.39	c GLOBAL bounds - >= -262661 @ 19.1051
49.69/51.48	c GLOBAL bounds - >= -262661 @ 19.1437
49.80/51.56	c GLOBAL bounds - >= -262661 @ 19.1719
49.89/51.65	c GLOBAL bounds - >= -262661 @ 19.2145
50.00/51.74	c GLOBAL bounds - >= -262661 @ 19.2466
50.09/51.83	c GLOBAL bounds - >= -262661 @ 19.29
50.19/51.91	c GLOBAL bounds - >= -262661 @ 19.3232
50.19/51.99	c GLOBAL bounds - >= -262661 @ 19.3602
50.30/52.08	c GLOBAL bounds - >= -262661 @ 19.3906
50.40/52.16	c GLOBAL bounds - >= -262661 @ 19.4188
50.49/52.24	c GLOBAL bounds - >= -262661 @ 19.4501
50.59/52.33	c GLOBAL bounds - >= -262661 @ 19.482
50.69/52.41	c GLOBAL bounds - >= -262661 @ 19.52
50.69/52.49	c GLOBAL bounds - >= -262661 @ 19.5572
50.79/52.58	c GLOBAL bounds - >= -262661 @ 19.5927
50.89/52.67	c GLOBAL bounds - >= -262661 @ 19.6238
50.99/52.75	c GLOBAL bounds - >= -262661 @ 19.6658
51.09/52.84	c GLOBAL bounds - >= -262661 @ 19.697
51.19/52.92	c GLOBAL bounds - >= -262661 @ 19.7236
51.29/53.01	c GLOBAL bounds - >= -262661 @ 19.7495
51.29/53.09	c GLOBAL bounds - >= -262661 @ 19.7814
51.39/53.17	c GLOBAL bounds - >= -262661 @ 19.8155
51.48/53.26	c GLOBAL bounds - >= -262661 @ 19.8509
51.59/53.34	c GLOBAL bounds - >= -262661 @ 19.8819
51.69/53.43	c GLOBAL bounds - >= -262661 @ 19.9166
51.79/53.51	c GLOBAL bounds - >= -262661 @ 19.9492
51.89/53.60	c GLOBAL bounds - >= -262661 @ 19.9817
51.89/53.68	c GLOBAL bounds - >= -262661 @ 20.0126
51.99/53.76	c GLOBAL bounds - >= -262661 @ 20.0489
52.08/53.85	c GLOBAL bounds - >= -262661 @ 20.0822
52.19/53.94	c GLOBAL bounds - >= -262661 @ 20.1165
52.30/54.02	c GLOBAL bounds - >= -262661 @ 20.1457
52.40/54.10	c GLOBAL bounds - >= -262661 @ 20.1818
52.40/54.19	c GLOBAL bounds - >= -262661 @ 20.2207
52.49/54.27	c GLOBAL bounds - >= -262661 @ 20.2549
52.59/54.36	c GLOBAL bounds - >= -262661 @ 20.2875
52.69/54.44	c GLOBAL bounds - >= -262661 @ 20.3205
52.79/54.53	c GLOBAL bounds - >= -262661 @ 20.3568
52.89/54.61	c GLOBAL bounds - >= -262661 @ 20.382
52.98/54.70	c GLOBAL bounds - >= -262661 @ 20.4106
52.98/54.78	c GLOBAL bounds - >= -262661 @ 20.4475
53.09/54.87	c GLOBAL bounds - >= -262661 @ 20.4788
53.19/54.95	c GLOBAL bounds - >= -262661 @ 20.5097
53.29/55.04	c GLOBAL bounds - >= -262661 @ 20.551
53.39/55.12	c GLOBAL bounds - >= -262661 @ 20.5846
53.48/55.21	c GLOBAL bounds - >= -262661 @ 20.6119
53.48/55.29	c GLOBAL bounds - >= -262661 @ 20.6511
53.59/55.38	c GLOBAL bounds - >= -262661 @ 20.6901
53.69/55.46	c GLOBAL bounds - >= -262661 @ 20.7258
53.79/55.55	c GLOBAL bounds - >= -262661 @ 20.7603
53.89/55.63	c GLOBAL bounds - >= -262661 @ 20.7926
53.98/55.71	c GLOBAL bounds - >= -262661 @ 20.8236
54.08/55.80	c GLOBAL bounds - >= -262661 @ 20.8576
54.08/55.88	c GLOBAL bounds - >= -262661 @ 20.8881
54.18/55.97	c GLOBAL bounds - >= -262661 @ 20.9115
54.29/56.05	c GLOBAL bounds - >= -262661 @ 20.9564
54.39/56.14	c GLOBAL bounds - >= -262661 @ 20.9972
54.49/56.25	c GLOBAL bounds - >= -262661 @ 21.0601
54.58/56.34	c GLOBAL bounds - >= -262661 @ 21.1007
54.68/56.42	c GLOBAL bounds - >= -262661 @ 21.1312
54.78/56.51	c GLOBAL bounds - >= -262661 @ 21.1625
54.78/56.59	c GLOBAL bounds - >= -262661 @ 21.1959
54.88/56.68	c GLOBAL bounds - >= -262661 @ 21.2268
54.98/56.76	c GLOBAL bounds - >= -262661 @ 21.267
55.09/56.84	c GLOBAL bounds - >= -262661 @ 21.2963
55.18/56.93	c GLOBAL bounds - >= -262661 @ 21.3216
55.29/57.01	c GLOBAL bounds - >= -262661 @ 21.3573
55.29/57.10	c GLOBAL bounds - >= -262661 @ 21.3948
55.38/57.18	c GLOBAL bounds - >= -262661 @ 21.4333
55.49/57.27	c GLOBAL bounds - >= -262661 @ 21.4656
55.58/57.35	c GLOBAL bounds - >= -262661 @ 21.4959
55.68/57.44	c GLOBAL bounds - >= -262661 @ 21.5269
55.78/57.52	c GLOBAL bounds - >= -262661 @ 21.5512
55.88/57.60	c GLOBAL bounds - >= -262661 @ 21.5807
55.98/57.70	c GLOBAL bounds - >= -262661 @ 21.6289
55.98/57.78	c GLOBAL bounds - >= -262661 @ 21.654
56.08/57.87	c GLOBAL bounds - >= -262661 @ 21.691
56.18/57.95	c GLOBAL bounds - >= -262661 @ 21.7195
56.29/58.03	c GLOBAL bounds - >= -262661 @ 21.7499
56.38/58.12	c GLOBAL bounds - >= -262661 @ 21.7817
56.48/58.20	c GLOBAL bounds - >= -262661 @ 21.8074
56.48/58.29	c GLOBAL bounds - >= -262661 @ 21.8416
56.58/58.37	c GLOBAL bounds - >= -262661 @ 21.8731
56.68/58.45	c GLOBAL bounds - >= -262661 @ 21.9075
56.77/58.54	c GLOBAL bounds - >= -262661 @ 21.9517
56.88/58.62	c GLOBAL bounds - >= -262661 @ 21.9853
56.98/58.71	c GLOBAL bounds - >= -262661 @ 22.0163
56.98/58.79	c GLOBAL bounds - >= -262661 @ 22.0461
57.18/58.90	c GLOBAL bounds - >= -262661 @ 22.0911
57.18/59.00	c GLOBAL bounds - >= -262661 @ 22.1427
57.28/59.09	c GLOBAL bounds - >= -262661 @ 22.189
57.38/59.18	c GLOBAL bounds - >= -262661 @ 22.2251
57.47/59.26	c GLOBAL bounds - >= -262661 @ 22.2575
57.58/59.35	c GLOBAL bounds - >= -262661 @ 22.2818
57.67/59.44	c GLOBAL bounds - >= -262661 @ 22.3234
57.78/59.53	c GLOBAL bounds - >= -262661 @ 22.3628
57.88/59.61	c GLOBAL bounds - >= -262661 @ 22.3885
57.98/59.70	c GLOBAL bounds - >= -262661 @ 22.4248
57.98/59.79	c GLOBAL bounds - >= -262661 @ 22.4675
58.08/59.88	c GLOBAL bounds - >= -262661 @ 22.5064
58.18/59.97	c GLOBAL bounds - >= -262661 @ 22.547
58.29/60.06	c GLOBAL bounds - >= -262661 @ 22.5786
58.38/60.14	c GLOBAL bounds - >= -262661 @ 22.6151
58.47/60.23	c GLOBAL bounds - >= -262661 @ 22.6656
58.58/60.32	c GLOBAL bounds - >= -262661 @ 22.7019
58.67/60.42	c GLOBAL bounds - >= -262661 @ 22.7447
58.78/60.50	c GLOBAL bounds - >= -262661 @ 22.7788
58.87/60.61	c GLOBAL bounds - >= -262661 @ 22.8218
58.98/60.70	c GLOBAL bounds - >= -262661 @ 22.8675
58.98/60.79	c GLOBAL bounds - >= -262661 @ 22.8953
59.08/60.87	c GLOBAL bounds - >= -262661 @ 22.9313
59.17/61.00	c GLOBAL bounds - >= -262661 @ 23.0109
59.28/61.08	c GLOBAL bounds - >= -262661 @ 23.0463
59.38/61.17	c GLOBAL bounds - >= -262661 @ 23.0879
59.58/61.30	c GLOBAL bounds - >= -262661 @ 23.1733
59.58/61.39	c GLOBAL bounds - >= -262661 @ 23.2049
59.68/61.48	c GLOBAL bounds - >= -262661 @ 23.2419
59.78/61.57	c GLOBAL bounds - >= -262661 @ 23.2742
59.88/61.68	c GLOBAL bounds - >= -262661 @ 23.341
60.07/61.80	c GLOBAL bounds - >= -262661 @ 23.4055
60.07/61.88	c GLOBAL bounds - >= -262661 @ 23.4394
60.18/61.98	c GLOBAL bounds - >= -262661 @ 23.4811
60.28/62.08	c GLOBAL bounds - >= -262661 @ 23.5313
60.38/62.16	c GLOBAL bounds - >= -262661 @ 23.5563
60.47/62.25	c GLOBAL bounds - >= -262661 @ 23.5988
60.57/62.34	c GLOBAL bounds - >= -262661 @ 23.6311
60.67/62.43	c GLOBAL bounds - >= -262661 @ 23.6688
60.78/62.53	c GLOBAL bounds - >= -262661 @ 23.7125
60.87/62.61	c GLOBAL bounds - >= -262661 @ 23.7507
60.87/62.69	c GLOBAL bounds - >= -262661 @ 23.7846
60.97/62.78	c GLOBAL bounds - >= -262661 @ 23.8077
61.07/62.86	c GLOBAL bounds - >= -262661 @ 23.8455
61.17/62.95	c GLOBAL bounds - >= -262661 @ 23.8839
61.28/63.03	c GLOBAL bounds - >= -262661 @ 23.9194
61.38/63.12	c GLOBAL bounds - >= -262661 @ 23.95
61.47/63.20	c GLOBAL bounds - >= -262661 @ 23.9852
61.47/63.29	c GLOBAL bounds - >= -262661 @ 24.0201
61.57/63.38	c GLOBAL bounds - >= -262661 @ 24.0635
61.67/63.46	c GLOBAL bounds - >= -262661 @ 24.096
61.77/63.55	c GLOBAL bounds - >= -262661 @ 24.1314
61.87/63.64	c GLOBAL bounds - >= -262661 @ 24.1671
61.97/63.72	c GLOBAL bounds - >= -262661 @ 24.2038
62.07/63.81	c GLOBAL bounds - >= -262661 @ 24.2499
62.17/63.90	c GLOBAL bounds - >= -262661 @ 24.282
62.17/63.99	c GLOBAL bounds - >= -262661 @ 24.3276
62.37/64.12	c #Conflicts:       2000 | #Constraints:       3481
62.37/64.12	c INPROCESSING
62.37/64.12	c GARBAGE COLLECT
62.37/64.12	c GLOBAL bounds - >= -262661 @ 24.4035
62.47/64.20	c GLOBAL bounds - >= -262661 @ 24.4403
62.47/64.29	c GLOBAL bounds - >= -262661 @ 24.4824
62.57/64.38	c GLOBAL bounds - >= -262661 @ 24.5113
62.67/64.46	c GLOBAL bounds - >= -262661 @ 24.5423
62.77/64.55	c GLOBAL bounds - >= -262661 @ 24.5784
62.86/64.63	c GLOBAL bounds - >= -262661 @ 24.6131
62.97/64.71	c GLOBAL bounds - >= -262661 @ 24.6481
63.06/64.80	c GLOBAL bounds - >= -262661 @ 24.6809
63.06/64.88	c GLOBAL bounds - >= -262661 @ 24.707
63.17/64.96	c GLOBAL bounds - >= -262661 @ 24.7333
63.28/65.05	c GLOBAL bounds - >= -262661 @ 24.7716
63.38/65.13	c GLOBAL bounds - >= -262661 @ 24.8064
63.47/65.22	c GLOBAL bounds - >= -262661 @ 24.8377
63.57/65.31	c GLOBAL bounds - >= -262661 @ 24.8812
63.57/65.39	c GLOBAL bounds - >= -262661 @ 24.9105
63.67/65.47	c GLOBAL bounds - >= -262661 @ 24.9395
63.77/65.55	c GLOBAL bounds - >= -262661 @ 24.9726
63.86/65.63	c GLOBAL bounds - >= -262661 @ 25.0024
63.97/65.72	c GLOBAL bounds - >= -262661 @ 25.0317
64.07/65.80	c GLOBAL bounds - >= -262661 @ 25.0632
64.07/65.88	c GLOBAL bounds - >= -262661 @ 25.0976
64.17/65.97	c GLOBAL bounds - >= -262661 @ 25.1363
64.27/66.06	c GLOBAL bounds - >= -262661 @ 25.1774
64.37/66.14	c GLOBAL bounds - >= -262661 @ 25.2161
64.46/66.22	c GLOBAL bounds - >= -262661 @ 25.2485
64.57/66.30	c GLOBAL bounds - >= -262661 @ 25.2732
64.57/66.39	c GLOBAL bounds - >= -262661 @ 25.313
64.67/66.47	c GLOBAL bounds - >= -262661 @ 25.3411
64.77/66.56	c GLOBAL bounds - >= -262661 @ 25.3776
64.86/66.64	c GLOBAL bounds - >= -262661 @ 25.4076
64.97/66.73	c GLOBAL bounds - >= -262661 @ 25.4421
65.06/66.81	c GLOBAL bounds - >= -262661 @ 25.4763
65.16/66.90	c GLOBAL bounds - >= -262661 @ 25.5088
65.16/66.99	c GLOBAL bounds - >= -262661 @ 25.5542
65.27/67.07	c GLOBAL bounds - >= -262661 @ 25.5804
65.37/67.15	c GLOBAL bounds - >= -262661 @ 25.6113
65.46/67.23	c GLOBAL bounds - >= -262661 @ 25.6405
65.57/67.32	c GLOBAL bounds - >= -262661 @ 25.6673
65.67/67.40	c GLOBAL bounds - >= -262661 @ 25.7022
65.67/67.49	c GLOBAL bounds - >= -262661 @ 25.7351
65.77/67.57	c GLOBAL bounds - >= -262661 @ 25.7663
65.86/67.66	c GLOBAL bounds - >= -262661 @ 25.8129
65.97/67.74	c GLOBAL bounds - >= -262661 @ 25.8446
66.06/67.83	c GLOBAL bounds - >= -262661 @ 25.8877
66.16/67.92	c GLOBAL bounds - >= -262661 @ 25.9231
66.27/68.00	c GLOBAL bounds - >= -262661 @ 25.9579
66.27/68.09	c GLOBAL bounds - >= -262661 @ 25.9932
66.37/68.18	c GLOBAL bounds - >= -262661 @ 26.0314
66.46/68.26	c GLOBAL bounds - >= -262661 @ 26.0567
66.56/68.34	c GLOBAL bounds - >= -262661 @ 26.09
66.66/68.42	c GLOBAL bounds - >= -262661 @ 26.1215
66.76/68.51	c GLOBAL bounds - >= -262661 @ 26.1502
66.76/68.59	c GLOBAL bounds - >= -262661 @ 26.1835
66.86/68.68	c GLOBAL bounds - >= -262661 @ 26.2161
66.96/68.76	c GLOBAL bounds - >= -262661 @ 26.2442
67.06/68.85	c GLOBAL bounds - >= -262661 @ 26.274
67.16/68.94	c GLOBAL bounds - >= -262661 @ 26.326
67.27/69.03	c GLOBAL bounds - >= -262661 @ 26.3645
67.36/69.11	c GLOBAL bounds - >= -262661 @ 26.4007
67.36/69.19	c GLOBAL bounds - >= -262661 @ 26.4228
67.46/69.29	c GLOBAL bounds - >= -262661 @ 26.4637
67.56/69.38	c GLOBAL bounds - >= -262661 @ 26.498
67.66/69.47	c GLOBAL bounds - >= -262661 @ 26.5305
67.76/69.56	c GLOBAL bounds - >= -262661 @ 26.5756
67.86/69.65	c GLOBAL bounds - >= -262661 @ 26.611
67.95/69.73	c GLOBAL bounds - >= -262661 @ 26.6414
68.06/69.82	c GLOBAL bounds - >= -262661 @ 26.6816
68.16/69.90	c GLOBAL bounds - >= -262661 @ 26.7192
68.16/69.99	c GLOBAL bounds - >= -262661 @ 26.745
68.26/70.08	c GLOBAL bounds - >= -262661 @ 26.779
68.37/70.16	c GLOBAL bounds - >= -262661 @ 26.8153
68.45/70.24	c GLOBAL bounds - >= -262661 @ 26.8429
68.55/70.33	c GLOBAL bounds - >= -262661 @ 26.8746
68.66/70.41	c GLOBAL bounds - >= -262661 @ 26.9125
68.75/70.50	c GLOBAL bounds - >= -262661 @ 26.9401
68.75/70.58	c GLOBAL bounds - >= -262661 @ 26.9737
68.86/70.66	c GLOBAL bounds - >= -262661 @ 27.0026
68.95/70.75	c GLOBAL bounds - >= -262661 @ 27.035
69.06/70.83	c GLOBAL bounds - >= -262661 @ 27.0615
69.15/70.92	c GLOBAL bounds - >= -262661 @ 27.0945
69.27/71.00	c GLOBAL bounds - >= -262661 @ 27.1323
69.27/71.09	c GLOBAL bounds - >= -262661 @ 27.1657
69.36/71.17	c GLOBAL bounds - >= -262661 @ 27.1923
69.45/71.25	c GLOBAL bounds - >= -262661 @ 27.2237
69.56/71.34	c GLOBAL bounds - >= -262661 @ 27.2581
69.66/71.42	c GLOBAL bounds - >= -262661 @ 27.292
69.76/71.51	c GLOBAL bounds - >= -262661 @ 27.3284
69.76/71.59	c GLOBAL bounds - >= -262661 @ 27.3609
69.86/71.68	c GLOBAL bounds - >= -262661 @ 27.3997
69.96/71.76	c GLOBAL bounds - >= -262661 @ 27.4402
70.06/71.86	c GLOBAL bounds - >= -262661 @ 27.4904
70.16/71.94	c GLOBAL bounds - >= -262661 @ 27.5158
70.26/72.02	c GLOBAL bounds - >= -262661 @ 27.5557
70.36/72.10	c GLOBAL bounds - >= -262661 @ 27.5876
70.36/72.19	c GLOBAL bounds - >= -262661 @ 27.62
70.46/72.28	c GLOBAL bounds - >= -262661 @ 27.6603
70.56/72.36	c GLOBAL bounds - >= -262661 @ 27.6993
70.66/72.46	c GLOBAL bounds - >= -262661 @ 27.7444
70.75/72.54	c GLOBAL bounds - >= -262661 @ 27.7771
70.85/72.62	c GLOBAL bounds - >= -262661 @ 27.8088
70.96/72.72	c GLOBAL bounds - >= -262661 @ 27.848
71.06/72.80	c GLOBAL bounds - >= -262661 @ 27.8739
71.06/72.89	c GLOBAL bounds - >= -262661 @ 27.9073
71.15/72.98	c GLOBAL bounds - >= -262661 @ 27.9559
71.26/73.07	c GLOBAL bounds - >= -262661 @ 27.9979
71.36/73.16	c GLOBAL bounds - >= -262661 @ 28.0235
71.46/73.24	c GLOBAL bounds - >= -262661 @ 28.0525
71.55/73.33	c GLOBAL bounds - >= -262661 @ 28.0908
71.66/73.43	c GLOBAL bounds - >= -262661 @ 28.1399
71.76/73.51	c GLOBAL bounds - >= -262661 @ 28.1665
71.76/73.59	c GLOBAL bounds - >= -262661 @ 28.1963
71.86/73.69	c GLOBAL bounds - >= -262661 @ 28.2478
71.95/73.77	c GLOBAL bounds - >= -262661 @ 28.2746
72.05/73.88	c GLOBAL bounds - >= -262661 @ 28.3294
72.15/73.97	c GLOBAL bounds - >= -262661 @ 28.3647
72.26/74.06	c GLOBAL bounds - >= -262661 @ 28.4128
72.36/74.14	c GLOBAL bounds - >= -262661 @ 28.4473
72.45/74.23	c GLOBAL bounds - >= -262661 @ 28.4759
72.55/74.31	c GLOBAL bounds - >= -262661 @ 28.5076
72.55/74.39	c GLOBAL bounds - >= -262661 @ 28.5417
72.65/74.48	c GLOBAL bounds - >= -262661 @ 28.5698
72.76/74.57	c GLOBAL bounds - >= -262661 @ 28.6068
72.85/74.66	c GLOBAL bounds - >= -262661 @ 28.6446
72.95/74.74	c GLOBAL bounds - >= -262661 @ 28.6756
73.05/74.84	c GLOBAL bounds - >= -262661 @ 28.7198
73.15/74.93	c GLOBAL bounds - >= -262661 @ 28.7587
73.26/75.01	c GLOBAL bounds - >= -262661 @ 28.8029
73.26/75.10	c GLOBAL bounds - >= -262661 @ 28.8318
73.35/75.18	c GLOBAL bounds - >= -262661 @ 28.853
73.45/75.26	c GLOBAL bounds - >= -262661 @ 28.8924
73.55/75.35	c GLOBAL bounds - >= -262661 @ 28.9274
73.65/75.43	c GLOBAL bounds - >= -262661 @ 28.9583
73.75/75.51	c GLOBAL bounds - >= -262661 @ 28.9904
73.85/75.60	c GLOBAL bounds - >= -262661 @ 29.0232
73.85/75.68	c GLOBAL bounds - >= -262661 @ 29.057
73.95/75.77	c GLOBAL bounds - >= -262661 @ 29.0855
74.15/75.90	c GLOBAL bounds - >= -262661 @ 29.1772
74.25/76.01	c GLOBAL bounds - >= -262661 @ 29.2294
74.25/76.09	c GLOBAL bounds - >= -262661 @ 29.2717
74.35/76.18	c GLOBAL bounds - >= -262661 @ 29.3077
74.45/76.26	c GLOBAL bounds - >= -262661 @ 29.3449
74.55/76.35	c GLOBAL bounds - >= -262661 @ 29.3888
74.65/76.43	c GLOBAL bounds - >= -262661 @ 29.423
74.74/76.52	c GLOBAL bounds - >= -262661 @ 29.4551
74.85/76.60	c GLOBAL bounds - >= -262661 @ 29.487
74.85/76.68	c GLOBAL bounds - >= -262661 @ 29.5197
74.95/76.78	c GLOBAL bounds - >= -262661 @ 29.5599
75.04/76.86	c GLOBAL bounds - >= -262661 @ 29.5889
75.15/76.94	c GLOBAL bounds - >= -262661 @ 29.6228
75.25/77.03	c GLOBAL bounds - >= -262661 @ 29.6481
75.35/77.12	c GLOBAL bounds - >= -262661 @ 29.6897
75.45/77.20	c GLOBAL bounds - >= -262661 @ 29.7259
75.54/77.30	c GLOBAL bounds - >= -262661 @ 29.7695
75.54/77.38	c GLOBAL bounds - >= -262661 @ 29.7991
75.65/77.47	c GLOBAL bounds - >= -262661 @ 29.8411
75.75/77.56	c GLOBAL bounds - >= -262661 @ 29.8705
75.84/77.64	c GLOBAL bounds - >= -262661 @ 29.9019
75.94/77.73	c GLOBAL bounds - >= -262661 @ 29.9398
76.04/77.83	c GLOBAL bounds - >= -262661 @ 29.9918
76.15/77.91	c GLOBAL bounds - >= -262661 @ 30.0261
76.25/78.00	c GLOBAL bounds - >= -262661 @ 30.0812
76.25/78.09	c GLOBAL bounds - >= -262661 @ 30.1208
76.35/78.17	c GLOBAL bounds - >= -262661 @ 30.1549
76.45/78.26	c GLOBAL bounds - >= -262661 @ 30.1808
76.54/78.35	c GLOBAL bounds - >= -262661 @ 30.2233
76.65/78.43	c GLOBAL bounds - >= -262661 @ 30.2549
76.74/78.53	c GLOBAL bounds - >= -262661 @ 30.3145
76.74/78.53	c GLOBAL bounds - >= -90946 @ 30.3165
77.35/79.17	c GLOBAL bounds - >= -90946 @ 30.9153
77.35/79.19	c GLOBAL bounds - >= -90946 @ 30.9277
77.44/79.20	c GLOBAL bounds - >= -90946 @ 30.9391
77.44/79.21	c GLOBAL bounds - >= -90946 @ 30.949
77.44/79.22	c GLOBAL bounds - >= -90946 @ 30.9573
77.44/79.23	c GLOBAL bounds - >= -90946 @ 30.9661
77.44/79.24	c GLOBAL bounds - >= -90946 @ 30.977
77.44/79.25	c GLOBAL bounds - >= -90946 @ 30.9872
77.44/79.26	c GLOBAL bounds - >= -90946 @ 30.9953
77.44/79.26	c GLOBAL bounds - >= -90946 @ 31.0014
77.44/79.27	c GLOBAL bounds - >= -90946 @ 31.0096
77.44/79.28	c GLOBAL bounds - >= -90946 @ 31.0177
77.44/79.28	c GLOBAL bounds - >= -90946 @ 31.0236
77.44/79.29	c GLOBAL bounds - >= -90946 @ 31.0288
77.54/79.30	c GLOBAL bounds - >= -90946 @ 31.0338
77.54/79.30	c GLOBAL bounds - >= -90946 @ 31.0395
77.54/79.31	c GLOBAL bounds - >= -90946 @ 31.0458
77.54/79.32	c GLOBAL bounds - >= -90946 @ 31.055
77.54/79.33	c GLOBAL bounds - >= -90946 @ 31.0651
77.54/79.33	c GLOBAL bounds - >= -90946 @ 31.0724
77.54/79.34	c GLOBAL bounds - >= -90946 @ 31.0779
77.54/79.35	c GLOBAL bounds - >= -90946 @ 31.083
77.54/79.35	c GLOBAL bounds - >= -90946 @ 31.0922
77.54/79.36	c GLOBAL bounds - >= -90946 @ 31.0995
77.54/79.37	c GLOBAL bounds - >= -90946 @ 31.1066
77.54/79.38	c GLOBAL bounds - >= -90946 @ 31.1145
77.54/79.39	c GLOBAL bounds - >= -90946 @ 31.1232
77.64/79.40	c GLOBAL bounds - >= -90946 @ 31.1316
77.64/79.40	c GLOBAL bounds - >= -90946 @ 31.1404
77.64/79.41	c GLOBAL bounds - >= -90946 @ 31.1495
77.64/79.42	c GLOBAL bounds - >= -90946 @ 31.1568
77.64/79.43	c GLOBAL bounds - >= -90946 @ 31.164
77.64/79.44	c GLOBAL bounds - >= -90946 @ 31.1734
77.64/79.45	c GLOBAL bounds - >= -90946 @ 31.1832
77.64/79.46	c GLOBAL bounds - >= -90946 @ 31.1892
77.64/79.46	c GLOBAL bounds - >= -90946 @ 31.1941
77.64/79.47	c GLOBAL bounds - >= -90946 @ 31.2003
77.64/79.47	c GLOBAL bounds - >= -90946 @ 31.207
77.64/79.48	c GLOBAL bounds - >= -90946 @ 31.215
77.64/79.49	c GLOBAL bounds - >= -90946 @ 31.2212
77.64/79.49	c GLOBAL bounds - >= -90946 @ 31.2255
77.74/79.50	c GLOBAL bounds - >= -90946 @ 31.2307
77.74/79.50	c GLOBAL bounds - >= -90946 @ 31.236
77.74/79.51	c GLOBAL bounds - >= -90946 @ 31.2421
77.74/79.52	c GLOBAL bounds - >= -90946 @ 31.2486
77.74/79.52	c GLOBAL bounds - >= -90946 @ 31.2549
77.74/79.53	c GLOBAL bounds - >= -90946 @ 31.2633
77.74/79.54	c GLOBAL bounds - >= -90946 @ 31.271
77.74/79.55	c GLOBAL bounds - >= -90946 @ 31.2765
77.74/79.55	c GLOBAL bounds - >= -90946 @ 31.2818
77.74/79.56	c GLOBAL bounds - >= -90946 @ 31.2871
77.74/79.56	c GLOBAL bounds - >= -90946 @ 31.2929
77.74/79.57	c GLOBAL bounds - >= -90946 @ 31.2986
77.74/79.58	c GLOBAL bounds - >= -90946 @ 31.3049
77.74/79.58	c GLOBAL bounds - >= -90946 @ 31.3118
77.74/79.59	c GLOBAL bounds - >= -90946 @ 31.3211
77.84/79.60	c GLOBAL bounds - >= -90946 @ 31.3296
77.84/79.61	c GLOBAL bounds - >= -90946 @ 31.3402
77.84/79.62	c GLOBAL bounds - >= -90946 @ 31.351
77.84/79.63	c GLOBAL bounds - >= -90946 @ 31.358
77.84/79.64	c GLOBAL bounds - >= -90946 @ 31.3651
77.84/79.64	c GLOBAL bounds - >= -90946 @ 31.3721
77.84/79.65	c GLOBAL bounds - >= -90946 @ 31.3808
77.84/79.66	c GLOBAL bounds - >= -90946 @ 31.3875
77.84/79.67	c GLOBAL bounds - >= -90946 @ 31.397
77.84/79.68	c GLOBAL bounds - >= -90946 @ 31.4034
77.84/79.68	c GLOBAL bounds - >= -90946 @ 31.4091
77.84/79.69	c GLOBAL bounds - >= -90946 @ 31.4144
77.94/79.70	c GLOBAL bounds - >= -90946 @ 31.4235
77.94/79.70	c GLOBAL bounds - >= -90946 @ 31.4317
77.94/79.71	c GLOBAL bounds - >= -90946 @ 31.4375
77.94/79.72	c GLOBAL bounds - >= -90946 @ 31.4458
77.94/79.73	c GLOBAL bounds - >= -90946 @ 31.4542
77.94/79.74	c GLOBAL bounds - >= -90946 @ 31.4633
77.94/79.75	c GLOBAL bounds - >= -90946 @ 31.4725
77.94/79.75	c GLOBAL bounds - >= -90946 @ 31.4814
77.94/79.76	c GLOBAL bounds - >= -90946 @ 31.4905
77.94/79.77	c GLOBAL bounds - >= -90946 @ 31.4988
77.94/79.78	c GLOBAL bounds - >= -90946 @ 31.5091
78.04/79.86	c GLOBAL bounds - >= -90946 @ 31.582
78.04/79.87	c GLOBAL bounds - >= -90946 @ 31.5926
78.04/79.88	c GLOBAL bounds - >= -90946 @ 31.6028
78.04/79.89	c GLOBAL bounds - >= -90946 @ 31.6106
78.04/79.89	c GLOBAL bounds - >= -90946 @ 31.6175
78.14/79.90	c GLOBAL bounds - >= -90946 @ 31.6249
78.14/79.91	c GLOBAL bounds - >= -90946 @ 31.6331
78.14/79.91	c GLOBAL bounds - >= -90946 @ 31.6389
78.14/79.92	c GLOBAL bounds - >= -90946 @ 31.6442
78.14/79.93	c GLOBAL bounds - >= -90946 @ 31.6502
78.14/79.93	c GLOBAL bounds - >= -90946 @ 31.6555
78.14/79.94	c GLOBAL bounds - >= -90946 @ 31.6606
78.14/79.95	c GLOBAL bounds - >= -90946 @ 31.6701
78.14/79.95	c GLOBAL bounds - >= -90946 @ 31.6794
78.14/79.97	c GLOBAL bounds - >= -90946 @ 31.6898
78.14/79.97	c GLOBAL bounds - >= -90946 @ 31.696
78.14/79.98	c GLOBAL bounds - >= -90946 @ 31.7013
78.14/79.98	c GLOBAL bounds - >= -90946 @ 31.7065
78.14/79.99	c GLOBAL bounds - >= -90946 @ 31.714
78.14/80.00	c GLOBAL bounds - >= -90946 @ 31.7212
78.24/80.00	c GLOBAL bounds - >= -90946 @ 31.728
78.24/80.01	c GLOBAL bounds - >= -90946 @ 31.7347
78.24/80.02	c GLOBAL bounds - >= -90946 @ 31.7429
78.24/80.03	c GLOBAL bounds - >= -90946 @ 31.7478
78.24/80.03	c GLOBAL bounds - >= -90946 @ 31.7559
78.24/80.08	c GLOBAL bounds - >= -90946 @ 31.8065
78.24/80.09	c GLOBAL bounds - >= -90946 @ 31.8134
78.24/80.10	c GLOBAL bounds - >= -90946 @ 31.8198
78.35/80.10	c GLOBAL bounds - >= -90946 @ 31.8256
78.35/80.11	c GLOBAL bounds - >= -90946 @ 31.8317
78.35/80.12	c GLOBAL bounds - >= -90946 @ 31.8379
78.35/80.12	c GLOBAL bounds - >= -90946 @ 31.8449
78.35/80.13	c GLOBAL bounds - >= -90946 @ 31.8528
78.35/80.14	c GLOBAL bounds - >= -90946 @ 31.8604
78.35/80.15	c GLOBAL bounds - >= -90946 @ 31.8686
78.35/80.16	c GLOBAL bounds - >= -90946 @ 31.8765
78.35/80.17	c GLOBAL bounds - >= -90946 @ 31.8854
78.35/80.17	c GLOBAL bounds - >= -90946 @ 31.8935
78.35/80.18	c GLOBAL bounds - >= -90946 @ 31.9014
78.35/80.19	c GLOBAL bounds - >= -90946 @ 31.9076
78.44/80.20	c GLOBAL bounds - >= -90946 @ 31.9165
78.44/80.21	c GLOBAL bounds - >= -90946 @ 31.9254
78.44/80.21	c GLOBAL bounds - >= -90946 @ 31.9319
78.44/80.22	c GLOBAL bounds - >= -90946 @ 31.9374
78.44/80.22	c GLOBAL bounds - >= -90946 @ 31.942
78.44/80.23	c GLOBAL bounds - >= -90946 @ 31.9485
78.44/80.24	c GLOBAL bounds - >= -90946 @ 31.9542
78.44/80.25	c GLOBAL bounds - >= -90946 @ 31.9628
78.44/80.25	c GLOBAL bounds - >= -90946 @ 31.9699
78.44/80.26	c GLOBAL bounds - >= -90946 @ 31.9757
78.44/80.26	c GLOBAL bounds - >= -90946 @ 31.9813
78.44/80.27	c GLOBAL bounds - >= -90946 @ 31.9894
78.44/80.28	c GLOBAL bounds - >= -90946 @ 31.9985
78.44/80.29	c GLOBAL bounds - >= -90946 @ 32.0067
78.54/80.30	c GLOBAL bounds - >= -90946 @ 32.0137
78.54/80.31	c GLOBAL bounds - >= -90946 @ 32.0225
78.54/80.31	c GLOBAL bounds - >= -90946 @ 32.0293
78.54/80.32	c GLOBAL bounds - >= -90946 @ 32.0354
78.54/80.33	c GLOBAL bounds - >= -90946 @ 32.0428
78.54/80.34	c GLOBAL bounds - >= -90946 @ 32.0506
78.54/80.35	c GLOBAL bounds - >= -90946 @ 32.0611
78.54/80.36	c GLOBAL bounds - >= -90946 @ 32.0687
78.54/80.36	c GLOBAL bounds - >= -90946 @ 32.075
78.54/80.37	c GLOBAL bounds - >= -90946 @ 32.0847
78.54/80.38	c GLOBAL bounds - >= -90946 @ 32.0956
78.54/80.39	c GLOBAL bounds - >= -90946 @ 32.1031
78.64/80.40	c GLOBAL bounds - >= -90946 @ 32.1083
78.64/80.40	c GLOBAL bounds - >= -90946 @ 32.1141
78.64/80.41	c GLOBAL bounds - >= -90946 @ 32.1201
78.64/80.41	c GLOBAL bounds - >= -90946 @ 32.1261
78.64/80.42	c GLOBAL bounds - >= -90946 @ 32.1313
78.64/80.43	c GLOBAL bounds - >= -90946 @ 32.1369
78.64/80.43	c GLOBAL bounds - >= -90946 @ 32.1424
78.64/80.44	c GLOBAL bounds - >= -90946 @ 32.1479
78.64/80.45	c GLOBAL bounds - >= -90946 @ 32.1564
78.64/80.45	c GLOBAL bounds - >= -90946 @ 32.1662
78.64/80.47	c GLOBAL bounds - >= -90946 @ 32.1774
78.64/80.48	c GLOBAL bounds - >= -90946 @ 32.1881
78.64/80.49	c GLOBAL bounds - >= -90946 @ 32.1975
78.74/80.50	c GLOBAL bounds - >= -90946 @ 32.2072
78.74/80.51	c GLOBAL bounds - >= -90946 @ 32.2181
78.74/80.51	c GLOBAL bounds - >= -90946 @ 32.2257
78.74/80.52	c GLOBAL bounds - >= -90946 @ 32.2319
78.74/80.53	c GLOBAL bounds - >= -90946 @ 32.2395
78.74/80.54	c GLOBAL bounds - >= -90946 @ 32.2478
78.74/80.55	c GLOBAL bounds - >= -90946 @ 32.2584
78.74/80.56	c GLOBAL bounds - >= -90946 @ 32.2692
78.74/80.57	c GLOBAL bounds - >= -90946 @ 32.2799
78.74/80.58	c GLOBAL bounds - >= -90946 @ 32.2883
78.74/80.59	c GLOBAL bounds - >= -90946 @ 32.2962
78.74/80.59	c GLOBAL bounds - >= -90946 @ 32.305
78.84/80.60	c GLOBAL bounds - >= -90946 @ 32.3133
78.84/80.61	c GLOBAL bounds - >= -90946 @ 32.3204
78.84/80.62	c GLOBAL bounds - >= -90946 @ 32.3295
78.84/80.62	c GLOBAL bounds - >= -90946 @ 32.3356
78.84/80.63	c GLOBAL bounds - >= -90946 @ 32.341
78.84/80.64	c GLOBAL bounds - >= -90946 @ 32.3478
78.84/80.65	c GLOBAL bounds - >= -90946 @ 32.3566
78.84/80.65	c GLOBAL bounds - >= -90946 @ 32.3641
78.84/80.66	c GLOBAL bounds - >= -90946 @ 32.371
78.84/80.67	c GLOBAL bounds - >= -90946 @ 32.3783
78.84/80.68	c GLOBAL bounds - >= -90946 @ 32.3849
78.84/80.68	c GLOBAL bounds - >= -90946 @ 32.3923
78.84/80.69	c GLOBAL bounds - >= -90946 @ 32.4019
78.94/80.70	c GLOBAL bounds - >= -90946 @ 32.4088
78.94/80.71	c GLOBAL bounds - >= -90946 @ 32.4151
78.94/80.71	c GLOBAL bounds - >= -90946 @ 32.4222
78.94/80.72	c GLOBAL bounds - >= -90946 @ 32.4304
78.94/80.73	c GLOBAL bounds - >= -90946 @ 32.4411
78.94/80.74	c GLOBAL bounds - >= -90946 @ 32.4495
78.94/80.75	c GLOBAL bounds - >= -90946 @ 32.458
78.94/80.75	c GLOBAL bounds - >= -90946 @ 32.4628
78.94/80.76	c GLOBAL bounds - >= -90946 @ 32.4665
78.94/80.76	c GLOBAL bounds - >= -90946 @ 32.4703
78.94/80.77	c GLOBAL bounds - >= -90946 @ 32.4744
78.94/80.77	c GLOBAL bounds - >= -90946 @ 32.4831
78.94/80.78	c GLOBAL bounds - >= -90946 @ 32.4878
78.94/80.79	c GLOBAL bounds - >= -90946 @ 32.4936
78.94/80.79	c GLOBAL bounds - >= -90946 @ 32.5018
79.04/80.80	c GLOBAL bounds - >= -90946 @ 32.5113
79.04/80.82	c GLOBAL bounds - >= -90946 @ 32.5226
79.04/80.82	c GLOBAL bounds - >= -90946 @ 32.5311
79.04/80.83	c GLOBAL bounds - >= -90946 @ 32.5386
79.04/80.84	c GLOBAL bounds - >= -90946 @ 32.5461
79.04/80.85	c GLOBAL bounds - >= -90946 @ 32.5538
79.04/80.86	c GLOBAL bounds - >= -90946 @ 32.5638
79.04/80.87	c GLOBAL bounds - >= -90946 @ 32.5757
79.04/80.88	c GLOBAL bounds - >= -90946 @ 32.586
79.04/80.89	c GLOBAL bounds - >= -90946 @ 32.5941
79.04/80.89	c GLOBAL bounds - >= -90946 @ 32.6007
79.14/80.90	c GLOBAL bounds - >= -90946 @ 32.6076
79.14/80.91	c GLOBAL bounds - >= -90946 @ 32.6155
79.14/80.92	c GLOBAL bounds - >= -90946 @ 32.6257
79.14/80.93	c GLOBAL bounds - >= -90946 @ 32.6337
79.14/80.94	c GLOBAL bounds - >= -90946 @ 32.642
79.14/80.94	c GLOBAL bounds - >= -90946 @ 32.65
79.14/80.95	c GLOBAL bounds - >= -90946 @ 32.6579
79.14/80.96	c GLOBAL bounds - >= -90946 @ 32.6652
79.14/80.97	c GLOBAL bounds - >= -90946 @ 32.6741
79.14/80.98	c GLOBAL bounds - >= -90946 @ 32.6829
79.14/80.99	c GLOBAL bounds - >= -90946 @ 32.6921
79.14/81.00	c GLOBAL bounds - >= -90946 @ 32.703
79.24/81.01	c GLOBAL bounds - >= -90946 @ 32.7126
79.24/81.02	c GLOBAL bounds - >= -90946 @ 32.7211
79.24/81.02	c GLOBAL bounds - >= -90946 @ 32.729
79.24/81.03	c GLOBAL bounds - >= -90946 @ 32.7364
79.24/81.04	c GLOBAL bounds - >= -90946 @ 32.7443
79.24/81.05	c GLOBAL bounds - >= -90946 @ 32.7532
79.24/81.06	c GLOBAL bounds - >= -90946 @ 32.7626
79.24/81.07	c GLOBAL bounds - >= -90946 @ 32.7707
79.24/81.07	c GLOBAL bounds - >= -90946 @ 32.7784
79.24/81.08	c GLOBAL bounds - >= -90946 @ 32.7861
79.24/81.09	c GLOBAL bounds - >= -90946 @ 32.7967
79.34/81.10	c GLOBAL bounds - >= -90946 @ 32.8073
79.34/81.11	c GLOBAL bounds - >= -90946 @ 32.8155
79.34/81.12	c GLOBAL bounds - >= -90946 @ 32.8246
79.34/81.13	c GLOBAL bounds - >= -90946 @ 32.8329
79.34/81.14	c GLOBAL bounds - >= -90946 @ 32.8415
79.34/81.15	c GLOBAL bounds - >= -90946 @ 32.8506
79.34/81.15	c GLOBAL bounds - >= -90946 @ 32.8595
79.34/81.16	c GLOBAL bounds - >= -90946 @ 32.8674
79.34/81.17	c GLOBAL bounds - >= -90946 @ 32.8761
79.34/81.18	c GLOBAL bounds - >= -90946 @ 32.885
79.34/81.19	c GLOBAL bounds - >= -90946 @ 32.8941
79.44/81.20	c GLOBAL bounds - >= -90946 @ 32.9016
79.44/81.21	c GLOBAL bounds - >= -90946 @ 32.9095
79.44/81.21	c GLOBAL bounds - >= -90946 @ 32.919
79.44/81.22	c GLOBAL bounds - >= -90946 @ 32.9259
79.44/81.23	c GLOBAL bounds - >= -90946 @ 32.9323
79.44/81.23	c GLOBAL bounds - >= -90946 @ 32.9392
79.44/81.24	c GLOBAL bounds - >= -90946 @ 32.9462
79.44/81.25	c GLOBAL bounds - >= -90946 @ 32.9558
79.44/81.26	c GLOBAL bounds - >= -90946 @ 32.9665
79.44/81.27	c GLOBAL bounds - >= -90946 @ 32.9756
79.44/81.28	c GLOBAL bounds - >= -90946 @ 32.9846
79.44/81.29	c GLOBAL bounds - >= -90946 @ 32.9949
79.54/81.30	c GLOBAL bounds - >= -90946 @ 33.0025
79.54/81.31	c GLOBAL bounds - >= -90946 @ 33.0091
79.54/81.31	c GLOBAL bounds - >= -90946 @ 33.016
79.54/81.32	c GLOBAL bounds - >= -90946 @ 33.0243
79.54/81.33	c GLOBAL bounds - >= -90946 @ 33.0332
79.54/81.34	c GLOBAL bounds - >= -90946 @ 33.0419
79.54/81.35	c GLOBAL bounds - >= -90946 @ 33.0498
79.54/81.36	c GLOBAL bounds - >= -90946 @ 33.0596
79.54/81.37	c GLOBAL bounds - >= -90946 @ 33.0697
79.54/81.37	c GLOBAL bounds - >= -90946 @ 33.0775
79.54/81.38	c GLOBAL bounds - >= -90946 @ 33.0852
79.54/81.39	c GLOBAL bounds - >= -90946 @ 33.093
79.63/81.40	c GLOBAL bounds - >= -90946 @ 33.1008
79.63/81.40	c GLOBAL bounds - >= -90946 @ 33.1084
79.63/81.41	c GLOBAL bounds - >= -90946 @ 33.1153
79.63/81.42	c GLOBAL bounds - >= -90946 @ 33.1237
79.63/81.43	c GLOBAL bounds - >= -90946 @ 33.1321
79.63/81.44	c GLOBAL bounds - >= -90946 @ 33.1403
79.63/81.45	c GLOBAL bounds - >= -90946 @ 33.1495
79.63/81.46	c GLOBAL bounds - >= -90946 @ 33.1588
79.63/81.46	c GLOBAL bounds - >= -90946 @ 33.1666
79.63/81.47	c GLOBAL bounds - >= -90946 @ 33.1737
79.63/81.48	c GLOBAL bounds - >= -90946 @ 33.1807
79.63/81.48	c GLOBAL bounds - >= -90946 @ 33.1876
79.63/81.49	c GLOBAL bounds - >= -90946 @ 33.1954
79.73/81.50	c GLOBAL bounds - >= -90946 @ 33.2032
79.73/81.51	c GLOBAL bounds - >= -90946 @ 33.21
79.73/81.52	c GLOBAL bounds - >= -90946 @ 33.2199
79.73/81.53	c GLOBAL bounds - >= -90946 @ 33.2282
79.73/81.53	c GLOBAL bounds - >= -90946 @ 33.2356
79.73/81.54	c GLOBAL bounds - >= -90946 @ 33.2423
79.73/81.55	c GLOBAL bounds - >= -90946 @ 33.25
79.73/81.56	c GLOBAL bounds - >= -90946 @ 33.2593
79.73/81.57	c GLOBAL bounds - >= -90946 @ 33.267
79.73/81.57	c GLOBAL bounds - >= -90946 @ 33.274
79.73/81.58	c GLOBAL bounds - >= -90946 @ 33.2797
79.73/81.59	c GLOBAL bounds - >= -90946 @ 33.2853
79.73/81.59	c GLOBAL bounds - >= -90946 @ 33.2909
79.84/81.60	c GLOBAL bounds - >= -90946 @ 33.298
79.84/81.61	c GLOBAL bounds - >= -90946 @ 33.3042
79.84/81.61	c GLOBAL bounds - >= -90946 @ 33.3112
79.84/81.62	c GLOBAL bounds - >= -90946 @ 33.3196
79.84/81.63	c GLOBAL bounds - >= -90946 @ 33.3268
79.84/81.63	c GLOBAL bounds - >= -90946 @ 33.3333
79.84/81.64	c GLOBAL bounds - >= -90946 @ 33.339
79.84/81.65	c GLOBAL bounds - >= -90946 @ 33.3462
79.84/81.66	c GLOBAL bounds - >= -90946 @ 33.3534
79.84/81.66	c GLOBAL bounds - >= -90946 @ 33.3602
79.84/81.67	c GLOBAL bounds - >= -90946 @ 33.3669
79.84/81.68	c GLOBAL bounds - >= -90946 @ 33.3735
79.84/81.69	c GLOBAL bounds - >= -90946 @ 33.3823
79.84/81.69	c GLOBAL bounds - >= -90946 @ 33.3909
79.94/81.70	c GLOBAL bounds - >= -90946 @ 33.3974
79.94/81.71	c GLOBAL bounds - >= -90946 @ 33.4036
79.94/81.71	c GLOBAL bounds - >= -90946 @ 33.41
79.94/81.72	c GLOBAL bounds - >= -90946 @ 33.4164
79.94/81.73	c GLOBAL bounds - >= -90946 @ 33.4245
79.94/81.74	c GLOBAL bounds - >= -90946 @ 33.4331
79.94/81.74	c GLOBAL bounds - >= -90946 @ 33.4393
79.94/81.75	c GLOBAL bounds - >= -90946 @ 33.4468
79.94/81.76	c GLOBAL bounds - >= -90946 @ 33.4552
79.94/81.77	c GLOBAL bounds - >= -90946 @ 33.4626
79.94/81.77	c GLOBAL bounds - >= -90946 @ 33.4707
79.94/81.78	c GLOBAL bounds - >= -90946 @ 33.4785
79.94/81.79	c GLOBAL bounds - >= -90946 @ 33.4882
80.04/81.80	c GLOBAL bounds - >= -90946 @ 33.4985
80.04/81.81	c GLOBAL bounds - >= -90946 @ 33.5057
80.04/81.82	c GLOBAL bounds - >= -90946 @ 33.5163
80.04/81.83	c GLOBAL bounds - >= -90946 @ 33.5256
80.04/81.84	c GLOBAL bounds - >= -90946 @ 33.5342
80.04/81.85	c GLOBAL bounds - >= -90946 @ 33.5435
80.04/81.86	c GLOBAL bounds - >= -90946 @ 33.5514
80.04/81.87	c GLOBAL bounds - >= -90946 @ 33.5606
80.04/81.87	c GLOBAL bounds - >= -90946 @ 33.5688
80.04/81.88	c GLOBAL bounds - >= -90946 @ 33.5761
80.04/81.89	c GLOBAL bounds - >= -90946 @ 33.5854
80.14/81.90	c GLOBAL bounds - >= -90946 @ 33.5938
80.14/81.91	c GLOBAL bounds - >= -90946 @ 33.6063
80.14/81.92	c GLOBAL bounds - >= -90946 @ 33.6147
80.14/81.93	c GLOBAL bounds - >= -90946 @ 33.6236
80.14/81.94	c GLOBAL bounds - >= -90946 @ 33.633
80.14/81.95	c GLOBAL bounds - >= -90946 @ 33.6407
80.14/81.96	c GLOBAL bounds - >= -90946 @ 33.6502
80.14/81.96	c GLOBAL bounds - >= -90946 @ 33.6578
80.14/81.97	c GLOBAL bounds - >= -90946 @ 33.6659
80.14/81.98	c GLOBAL bounds - >= -90946 @ 33.6748
80.14/81.99	c GLOBAL bounds - >= -90946 @ 33.6845
80.14/82.00	c GLOBAL bounds - >= -90946 @ 33.6935
80.24/82.01	c GLOBAL bounds - >= -90946 @ 33.7019
80.24/82.02	c GLOBAL bounds - >= -90946 @ 33.7096
80.24/82.02	c GLOBAL bounds - >= -90946 @ 33.7167
80.24/82.03	c GLOBAL bounds - >= -90946 @ 33.7256
80.24/82.04	c GLOBAL bounds - >= -90946 @ 33.7351
80.24/82.05	c GLOBAL bounds - >= -90946 @ 33.7428
80.24/82.06	c GLOBAL bounds - >= -90946 @ 33.7501
80.24/82.06	c GLOBAL bounds - >= -90946 @ 33.7571
80.24/82.07	c GLOBAL bounds - >= -90946 @ 33.7641
80.24/82.08	c GLOBAL bounds - >= -90946 @ 33.772
80.24/82.09	c GLOBAL bounds - >= -90946 @ 33.7807
80.24/82.10	c GLOBAL bounds - >= -90946 @ 33.7898
80.34/82.10	c GLOBAL bounds - >= -90946 @ 33.7972
80.34/82.11	c GLOBAL bounds - >= -90946 @ 33.8046
80.34/82.12	c GLOBAL bounds - >= -90946 @ 33.8118
80.34/82.13	c GLOBAL bounds - >= -90946 @ 33.8181
80.34/82.13	c GLOBAL bounds - >= -90946 @ 33.8261
80.34/82.14	c GLOBAL bounds - >= -90946 @ 33.8333
80.34/82.15	c GLOBAL bounds - >= -90946 @ 33.8406
80.34/82.16	c GLOBAL bounds - >= -90946 @ 33.849
80.34/82.17	c GLOBAL bounds - >= -90946 @ 33.8613
80.34/82.18	c GLOBAL bounds - >= -90946 @ 33.8705
80.34/82.19	c GLOBAL bounds - >= -90946 @ 33.8772
80.34/82.19	c GLOBAL bounds - >= -90946 @ 33.8845
80.43/82.20	c GLOBAL bounds - >= -90946 @ 33.8921
80.43/82.21	c GLOBAL bounds - >= -90946 @ 33.8995
80.43/82.22	c GLOBAL bounds - >= -90946 @ 33.9071
80.43/82.22	c GLOBAL bounds - >= -90946 @ 33.9145
80.43/82.23	c GLOBAL bounds - >= -90946 @ 33.9212
80.43/82.24	c GLOBAL bounds - >= -90946 @ 33.9311
80.43/82.25	c GLOBAL bounds - >= -90946 @ 33.9405
80.43/82.26	c GLOBAL bounds - >= -90946 @ 33.9509
80.43/82.27	c GLOBAL bounds - >= -90946 @ 33.9615
80.43/82.28	c GLOBAL bounds - >= -90946 @ 33.971
80.43/82.29	c GLOBAL bounds - >= -90946 @ 33.9756
80.53/82.30	c GLOBAL bounds - >= -90946 @ 33.9864
80.53/82.31	c GLOBAL bounds - >= -90946 @ 33.9962
80.53/82.32	c GLOBAL bounds - >= -90946 @ 34.0056
80.53/82.33	c GLOBAL bounds - >= -90946 @ 34.0157
80.53/82.34	c GLOBAL bounds - >= -90946 @ 34.0231
80.53/82.34	c GLOBAL bounds - >= -90946 @ 34.0293
80.53/82.35	c GLOBAL bounds - >= -90946 @ 34.0362
80.53/82.36	c GLOBAL bounds - >= -90946 @ 34.0422
80.53/82.37	c GLOBAL bounds - >= -90946 @ 34.0542
80.53/82.38	c GLOBAL bounds - >= -90946 @ 34.0649
80.53/82.39	c GLOBAL bounds - >= -90946 @ 34.0747
80.63/82.40	c GLOBAL bounds - >= -90946 @ 34.0842
80.63/82.41	c GLOBAL bounds - >= -90946 @ 34.0934
80.63/82.42	c GLOBAL bounds - >= -90946 @ 34.1036
80.63/82.43	c GLOBAL bounds - >= -90946 @ 34.1111
80.63/82.44	c GLOBAL bounds - >= -90946 @ 34.1167
80.63/82.44	c GLOBAL bounds - >= -90946 @ 34.1261
80.63/82.45	c GLOBAL bounds - >= -90946 @ 34.1341
80.63/82.46	c GLOBAL bounds - >= -90946 @ 34.1414
80.63/82.47	c GLOBAL bounds - >= -90946 @ 34.1482
80.63/82.48	c GLOBAL bounds - >= -90946 @ 34.1569
80.63/82.49	c GLOBAL bounds - >= -90946 @ 34.1664
80.73/82.50	c GLOBAL bounds - >= -90946 @ 34.176
80.73/82.51	c GLOBAL bounds - >= -90946 @ 34.1882
80.73/82.52	c GLOBAL bounds - >= -90946 @ 34.1961
80.73/82.53	c GLOBAL bounds - >= -90946 @ 34.2052
80.73/82.54	c GLOBAL bounds - >= -90946 @ 34.2149
80.73/82.54	c GLOBAL bounds - >= -90946 @ 34.2226
80.73/82.55	c GLOBAL bounds - >= -90946 @ 34.23
80.73/82.56	c GLOBAL bounds - >= -90946 @ 34.2376
80.73/82.57	c GLOBAL bounds - >= -90946 @ 34.2452
80.73/82.57	c GLOBAL bounds - >= -90946 @ 34.2526
80.73/82.58	c GLOBAL bounds - >= -90946 @ 34.2614
80.73/82.59	c GLOBAL bounds - >= -90946 @ 34.2734
80.83/82.60	c GLOBAL bounds - >= -90946 @ 34.2826
80.83/82.61	c GLOBAL bounds - >= -90946 @ 34.2895
80.83/82.62	c GLOBAL bounds - >= -90946 @ 34.2975
80.83/82.63	c GLOBAL bounds - >= -90946 @ 34.3056
80.83/82.64	c GLOBAL bounds - >= -90946 @ 34.3138
80.83/82.64	c GLOBAL bounds - >= -90946 @ 34.322
80.83/82.65	c GLOBAL bounds - >= -90946 @ 34.3306
80.83/82.66	c GLOBAL bounds - >= -90946 @ 34.3392
80.83/82.67	c GLOBAL bounds - >= -90946 @ 34.3465
80.83/82.68	c GLOBAL bounds - >= -90946 @ 34.3561
80.83/82.69	c GLOBAL bounds - >= -90946 @ 34.3667
80.93/82.70	c GLOBAL bounds - >= -90946 @ 34.3754
80.93/82.71	c GLOBAL bounds - >= -90946 @ 34.3854
80.93/82.72	c GLOBAL bounds - >= -90946 @ 34.3952
80.93/82.73	c GLOBAL bounds - >= -90946 @ 34.4051
80.93/82.74	c GLOBAL bounds - >= -90946 @ 34.4144
80.93/82.75	c GLOBAL bounds - >= -90946 @ 34.4236
80.93/82.75	c GLOBAL bounds - >= -90946 @ 34.4313
80.93/82.77	c GLOBAL bounds - >= -90946 @ 34.4435
80.93/82.78	c GLOBAL bounds - >= -90946 @ 34.4519
80.93/82.78	c GLOBAL bounds - >= -90946 @ 34.4603
80.93/82.79	c GLOBAL bounds - >= -90946 @ 34.4683
81.03/82.80	c GLOBAL bounds - >= -90946 @ 34.4762
81.03/82.81	c GLOBAL bounds - >= -90946 @ 34.4832
81.03/82.82	c GLOBAL bounds - >= -90946 @ 34.4923
81.03/82.83	c GLOBAL bounds - >= -90946 @ 34.5011
81.03/82.83	c GLOBAL bounds - >= -90946 @ 34.5096
81.03/82.84	c GLOBAL bounds - >= -90946 @ 34.5169
81.03/82.85	c GLOBAL bounds - >= -90946 @ 34.5258
81.03/82.86	c GLOBAL bounds - >= -90946 @ 34.5362
81.03/82.87	c GLOBAL bounds - >= -90946 @ 34.5443
81.03/82.88	c GLOBAL bounds - >= -90946 @ 34.5521
81.03/82.88	c GLOBAL bounds - >= -90946 @ 34.5597
81.03/82.89	c GLOBAL bounds - >= -90946 @ 34.5669
81.14/82.90	c GLOBAL bounds - >= -90946 @ 34.5746
81.14/82.91	c GLOBAL bounds - >= -90946 @ 34.5822
81.14/82.91	c GLOBAL bounds - >= -90946 @ 34.5897
81.14/82.93	c GLOBAL bounds - >= -90946 @ 34.6007
81.14/82.94	c GLOBAL bounds - >= -90946 @ 34.6154
81.14/82.95	c GLOBAL bounds - >= -90946 @ 34.6244
81.14/82.96	c GLOBAL bounds - >= -90946 @ 34.633
81.14/82.97	c GLOBAL bounds - >= -90946 @ 34.6428
81.14/82.98	c GLOBAL bounds - >= -90946 @ 34.6508
81.14/82.99	c GLOBAL bounds - >= -90946 @ 34.6616
81.14/83.00	c GLOBAL bounds - >= -90946 @ 34.6694
81.24/83.01	c GLOBAL bounds - >= -90946 @ 34.6774
81.24/83.01	c GLOBAL bounds - >= -90946 @ 34.6867
81.24/83.03	c GLOBAL bounds - >= -90946 @ 34.6978
81.24/83.03	c GLOBAL bounds - >= -90946 @ 34.7056
81.24/83.04	c GLOBAL bounds - >= -90946 @ 34.713
81.24/83.05	c GLOBAL bounds - >= -90946 @ 34.7227
81.24/83.06	c GLOBAL bounds - >= -90946 @ 34.7326
81.24/83.07	c GLOBAL bounds - >= -90946 @ 34.7405
81.24/83.08	c GLOBAL bounds - >= -90946 @ 34.7471
81.24/83.08	c GLOBAL bounds - >= -90946 @ 34.7548
81.24/83.09	c GLOBAL bounds - >= -90946 @ 34.7619
81.24/83.10	c GLOBAL bounds - >= -90946 @ 34.7694
81.34/83.11	c GLOBAL bounds - >= -90946 @ 34.7776
81.34/83.12	c GLOBAL bounds - >= -90946 @ 34.7871
81.34/83.13	c GLOBAL bounds - >= -90946 @ 34.7965
81.34/83.13	c GLOBAL bounds - >= -90946 @ 34.8044
81.34/83.14	c GLOBAL bounds - >= -90946 @ 34.8121
81.34/83.15	c GLOBAL bounds - >= -90946 @ 34.8198
81.34/83.16	c GLOBAL bounds - >= -90946 @ 34.8272
81.34/83.16	c GLOBAL bounds - >= -90946 @ 34.8345
81.34/83.17	c GLOBAL bounds - >= -90946 @ 34.842
81.34/83.18	c GLOBAL bounds - >= -90946 @ 34.8498
81.34/83.19	c GLOBAL bounds - >= -90946 @ 34.8575
81.43/83.20	c GLOBAL bounds - >= -90946 @ 34.8659
81.43/83.21	c GLOBAL bounds - >= -90946 @ 34.8807
81.43/83.22	c GLOBAL bounds - >= -90946 @ 34.8901
81.43/83.23	c GLOBAL bounds - >= -90946 @ 34.8976
81.43/83.24	c GLOBAL bounds - >= -90946 @ 34.9054
81.43/83.25	c GLOBAL bounds - >= -90946 @ 34.9147
81.43/83.26	c GLOBAL bounds - >= -90946 @ 34.9244
81.43/83.27	c GLOBAL bounds - >= -90946 @ 34.9341
81.43/83.28	c GLOBAL bounds - >= -90946 @ 34.9439
81.43/83.28	c GLOBAL bounds - >= -90946 @ 34.9507
81.43/83.29	c GLOBAL bounds - >= -90946 @ 34.9601
81.53/83.31	c GLOBAL bounds - >= -90946 @ 34.9734
81.53/83.32	c GLOBAL bounds - >= -90946 @ 34.9828
81.53/83.32	c GLOBAL bounds - >= -90946 @ 34.9919
81.53/83.33	c GLOBAL bounds - >= -90946 @ 34.9988
81.53/83.34	c GLOBAL bounds - >= -90946 @ 35.006
81.53/83.35	c GLOBAL bounds - >= -90946 @ 35.0137
81.53/83.35	c GLOBAL bounds - >= -90946 @ 35.0202
81.53/83.36	c GLOBAL bounds - >= -90946 @ 35.028
81.53/83.37	c GLOBAL bounds - >= -90946 @ 35.0354
81.53/83.38	c GLOBAL bounds - >= -90946 @ 35.0424
81.53/83.38	c GLOBAL bounds - >= -90946 @ 35.0496
81.53/83.39	c GLOBAL bounds - >= -90946 @ 35.0586
81.63/83.40	c GLOBAL bounds - >= -90946 @ 35.0683
81.63/83.41	c GLOBAL bounds - >= -90946 @ 35.0781
81.63/83.42	c GLOBAL bounds - >= -90946 @ 35.0881
81.63/83.43	c GLOBAL bounds - >= -90946 @ 35.0979
81.63/83.44	c GLOBAL bounds - >= -90946 @ 35.1096
81.63/83.45	c GLOBAL bounds - >= -90946 @ 35.1175
81.63/83.46	c GLOBAL bounds - >= -90946 @ 35.1248
81.63/83.47	c GLOBAL bounds - >= -90946 @ 35.1323
81.63/83.47	c GLOBAL bounds - >= -90946 @ 35.1392
81.63/83.48	c GLOBAL bounds - >= -90946 @ 35.1465
81.63/83.49	c GLOBAL bounds - >= -90946 @ 35.1535
81.73/83.50	c GLOBAL bounds - >= -90946 @ 35.1623
81.73/83.51	c GLOBAL bounds - >= -90946 @ 35.1732
81.73/83.52	c GLOBAL bounds - >= -90946 @ 35.184
81.73/83.53	c GLOBAL bounds - >= -90946 @ 35.1934
81.73/83.54	c GLOBAL bounds - >= -90946 @ 35.2058
81.73/83.55	c GLOBAL bounds - >= -90946 @ 35.2138
81.73/83.56	c GLOBAL bounds - >= -90946 @ 35.2219
81.73/83.56	c GLOBAL bounds - >= -90946 @ 35.2291
81.73/83.57	c GLOBAL bounds - >= -90946 @ 35.2382
81.73/83.58	c GLOBAL bounds - >= -90946 @ 35.2479
81.73/83.59	c GLOBAL bounds - >= -90946 @ 35.2582
81.83/83.60	c GLOBAL bounds - >= -90946 @ 35.269
81.83/83.61	c GLOBAL bounds - >= -90946 @ 35.2769
81.83/83.62	c GLOBAL bounds - >= -90946 @ 35.2876
81.83/83.63	c GLOBAL bounds - >= -90946 @ 35.2986
81.83/83.65	c GLOBAL bounds - >= -90946 @ 35.3117
81.83/83.66	c GLOBAL bounds - >= -90946 @ 35.3195
81.83/83.67	c GLOBAL bounds - >= -90946 @ 35.3306
81.83/83.68	c GLOBAL bounds - >= -90946 @ 35.3404
81.83/83.69	c GLOBAL bounds - >= -90946 @ 35.3502
81.83/83.69	c GLOBAL bounds - >= -90946 @ 35.3577
81.93/83.70	c GLOBAL bounds - >= -90946 @ 35.3653
81.93/83.71	c GLOBAL bounds - >= -90946 @ 35.3726
81.93/83.72	c GLOBAL bounds - >= -90946 @ 35.3846
81.93/83.74	c GLOBAL bounds - >= -90946 @ 35.3997
81.93/83.75	c GLOBAL bounds - >= -90946 @ 35.4092
81.93/83.76	c GLOBAL bounds - >= -90946 @ 35.419
81.93/83.76	c GLOBAL bounds - >= -90946 @ 35.427
81.93/83.77	c GLOBAL bounds - >= -90946 @ 35.4352
81.93/83.78	c GLOBAL bounds - >= -90946 @ 35.4455
81.93/83.79	c GLOBAL bounds - >= -90946 @ 35.4553
82.03/83.80	c GLOBAL bounds - >= -90946 @ 35.4639
82.03/83.81	c GLOBAL bounds - >= -90946 @ 35.4723
82.03/83.82	c GLOBAL bounds - >= -90946 @ 35.4806
82.03/83.83	c GLOBAL bounds - >= -90946 @ 35.4876
82.03/83.84	c GLOBAL bounds - >= -90946 @ 35.4978
82.03/83.85	c GLOBAL bounds - >= -90946 @ 35.5071
82.03/83.85	c GLOBAL bounds - >= -90946 @ 35.5148
82.03/83.86	c GLOBAL bounds - >= -90946 @ 35.5239
82.03/83.87	c GLOBAL bounds - >= -90946 @ 35.5332
82.03/83.88	c GLOBAL bounds - >= -90946 @ 35.5432
82.03/83.89	c GLOBAL bounds - >= -90946 @ 35.5526
82.13/83.90	c GLOBAL bounds - >= -90946 @ 35.5629
82.13/83.91	c GLOBAL bounds - >= -90946 @ 35.5731
82.13/83.92	c GLOBAL bounds - >= -90946 @ 35.5813
82.13/83.93	c GLOBAL bounds - >= -90946 @ 35.5912
82.13/83.94	c GLOBAL bounds - >= -90946 @ 35.599
82.13/83.94	c GLOBAL bounds - >= -90946 @ 35.6037
82.13/83.95	c GLOBAL bounds - >= -90946 @ 35.6074
82.13/83.95	c GLOBAL bounds - >= -90946 @ 35.6133
82.13/83.96	c GLOBAL bounds - >= -90946 @ 35.6179
82.13/83.96	c GLOBAL bounds - >= -90946 @ 35.6223
82.13/83.97	c GLOBAL bounds - >= -90946 @ 35.6335
82.13/83.99	c GLOBAL bounds - >= -90946 @ 35.6453
82.13/84.00	c GLOBAL bounds - >= -90946 @ 35.6578
82.24/84.00	c GLOBAL bounds - >= -90946 @ 35.6634
82.24/84.01	c GLOBAL bounds - >= -90946 @ 35.6721
82.24/84.02	c GLOBAL bounds - >= -90946 @ 35.6793
82.24/84.02	c GLOBAL bounds - >= -90946 @ 35.6834
82.24/84.03	c GLOBAL bounds - >= -90946 @ 35.6902
82.24/84.04	c GLOBAL bounds - >= -90946 @ 35.6993
82.24/84.05	c GLOBAL bounds - >= -90946 @ 35.7087
82.24/84.06	c GLOBAL bounds - >= -90946 @ 35.7187
82.24/84.07	c GLOBAL bounds - >= -90946 @ 35.7237
82.24/84.07	c GLOBAL bounds - >= -90946 @ 35.7274
82.24/84.07	c GLOBAL bounds - >= -90946 @ 35.7312
82.24/84.08	c GLOBAL bounds - >= -90946 @ 35.7408
82.24/84.09	c GLOBAL bounds - >= -90946 @ 35.7448
82.24/84.09	c GLOBAL bounds - >= -90946 @ 35.7486
82.24/84.10	c GLOBAL bounds - >= -90946 @ 35.7515
82.24/84.10	c GLOBAL bounds - >= -90946 @ 35.7553
82.33/84.10	c GLOBAL bounds - >= -90946 @ 35.7596
82.33/84.11	c GLOBAL bounds - >= -90946 @ 35.7638
82.33/84.12	c GLOBAL bounds - >= -90946 @ 35.7723
82.33/84.13	c GLOBAL bounds - >= -90946 @ 35.7856
82.33/84.14	c GLOBAL bounds - >= -90946 @ 35.7906
82.33/84.14	c GLOBAL bounds - >= -90946 @ 35.7947
82.33/84.15	c GLOBAL bounds - >= -90946 @ 35.8012
82.33/84.15	c GLOBAL bounds - >= -90946 @ 35.809
82.33/84.16	c GLOBAL bounds - >= -90946 @ 35.8151
82.33/84.16	c GLOBAL bounds - >= -90946 @ 35.8188
82.33/84.17	c GLOBAL bounds - >= -90946 @ 35.8246
82.33/84.17	c GLOBAL bounds - >= -90946 @ 35.8292
82.33/84.18	c GLOBAL bounds - >= -90946 @ 35.8333
82.33/84.18	c GLOBAL bounds - >= -90946 @ 35.8373
82.33/84.19	c GLOBAL bounds - >= -90946 @ 35.8413
82.33/84.19	c GLOBAL bounds - >= -90946 @ 35.8449
82.33/84.19	c GLOBAL bounds - >= -90946 @ 35.8476
82.42/84.20	c GLOBAL bounds - >= -90946 @ 35.8512
82.42/84.20	c GLOBAL bounds - >= -90946 @ 35.8549
82.42/84.21	c GLOBAL bounds - >= -90946 @ 35.862
82.42/84.22	c GLOBAL bounds - >= -90946 @ 35.869
82.42/84.22	c GLOBAL bounds - >= -90946 @ 35.8758
82.42/84.23	c GLOBAL bounds - >= -90946 @ 35.8827
82.42/84.24	c GLOBAL bounds - >= -90946 @ 35.8897
82.42/84.25	c GLOBAL bounds - >= -90946 @ 35.8993
82.42/84.26	c GLOBAL bounds - >= -90946 @ 35.9093
82.42/84.27	c GLOBAL bounds - >= -90946 @ 35.9192
82.42/84.27	c GLOBAL bounds - >= -90946 @ 35.9282
82.42/84.28	c GLOBAL bounds - >= -90946 @ 35.9348
82.42/84.29	c GLOBAL bounds - >= -90946 @ 35.941
82.52/84.30	c GLOBAL bounds - >= -90946 @ 35.9482
82.52/84.30	c GLOBAL bounds - >= -90946 @ 35.9561
82.52/84.31	c GLOBAL bounds - >= -90946 @ 35.9666
82.52/84.33	c GLOBAL bounds - >= -90946 @ 35.9779
82.52/84.34	c GLOBAL bounds - >= -90946 @ 35.9882
82.52/84.34	c GLOBAL bounds - >= -90946 @ 35.9961
82.52/84.35	c GLOBAL bounds - >= -90946 @ 36.0029
82.52/84.36	c GLOBAL bounds - >= -90946 @ 36.0107
82.52/84.37	c GLOBAL bounds - >= -90946 @ 36.0187
82.52/84.38	c GLOBAL bounds - >= -90946 @ 36.0265
82.52/84.39	c GLOBAL bounds - >= -90946 @ 36.0356
82.52/84.39	c GLOBAL bounds - >= -90946 @ 36.045
82.63/84.40	c GLOBAL bounds - >= -90946 @ 36.0522
82.63/84.41	c GLOBAL bounds - >= -90946 @ 36.0603
82.63/84.42	c GLOBAL bounds - >= -90946 @ 36.0696
82.63/84.43	c GLOBAL bounds - >= -90946 @ 36.0817
82.63/84.44	c GLOBAL bounds - >= -90946 @ 36.0909
82.63/84.45	c GLOBAL bounds - >= -90946 @ 36.1015
82.63/84.46	c GLOBAL bounds - >= -90946 @ 36.1124
82.63/84.47	c GLOBAL bounds - >= -90946 @ 36.1199
82.63/84.48	c GLOBAL bounds - >= -90946 @ 36.1265
82.63/84.49	c GLOBAL bounds - >= -90946 @ 36.1385
82.73/84.50	c GLOBAL bounds - >= -90946 @ 36.1478
82.73/84.51	c GLOBAL bounds - >= -90946 @ 36.1552
82.73/84.52	c GLOBAL bounds - >= -90946 @ 36.1661
82.73/84.53	c GLOBAL bounds - >= -90946 @ 36.1774
82.73/84.54	c GLOBAL bounds - >= -90946 @ 36.1882
82.73/84.55	c GLOBAL bounds - >= -90946 @ 36.202
82.73/84.57	c GLOBAL bounds - >= -90946 @ 36.2155
82.73/84.58	c GLOBAL bounds - >= -90946 @ 36.2281
82.73/84.59	c GLOBAL bounds - >= -90946 @ 36.2395
82.83/84.60	c GLOBAL bounds - >= -90946 @ 36.2445
82.83/84.60	c GLOBAL bounds - >= -90946 @ 36.2515
82.83/84.61	c GLOBAL bounds - >= -90946 @ 36.259
82.83/84.62	c GLOBAL bounds - >= -90946 @ 36.2664
82.83/84.63	c GLOBAL bounds - >= -90946 @ 36.2751
82.83/84.64	c GLOBAL bounds - >= -90946 @ 36.2835
82.83/84.64	c GLOBAL bounds - >= -90946 @ 36.2904
82.83/84.65	c GLOBAL bounds - >= -90946 @ 36.2946
82.83/84.66	c GLOBAL bounds - >= -90946 @ 36.3034
82.83/84.67	c GLOBAL bounds - >= -90946 @ 36.3137
82.83/84.68	c GLOBAL bounds - >= -90946 @ 36.3227
82.83/84.68	c GLOBAL bounds - >= -90946 @ 36.331
82.83/84.70	c GLOBAL bounds - >= -90946 @ 36.3409
82.93/84.71	c GLOBAL bounds - >= -90946 @ 36.3507
82.93/84.71	c GLOBAL bounds - >= -90946 @ 36.3601
82.93/84.73	c GLOBAL bounds - >= -90946 @ 36.3711
82.93/84.74	c GLOBAL bounds - >= -90946 @ 36.3823
82.93/84.75	c GLOBAL bounds - >= -90946 @ 36.3935
82.93/84.76	c GLOBAL bounds - >= -90946 @ 36.4014
82.93/84.76	c GLOBAL bounds - >= -90946 @ 36.407
82.93/84.77	c GLOBAL bounds - >= -90946 @ 36.4111
82.93/84.77	c GLOBAL bounds - >= -90946 @ 36.4179
82.93/84.78	c GLOBAL bounds - >= -90946 @ 36.4283
82.93/84.79	c GLOBAL bounds - >= -90946 @ 36.4356
83.03/84.80	c GLOBAL bounds - >= -90946 @ 36.4459
83.03/84.81	c GLOBAL bounds - >= -90946 @ 36.4507
83.03/84.81	c GLOBAL bounds - >= -90946 @ 36.4555
83.03/84.82	c GLOBAL bounds - >= -90946 @ 36.4621
83.03/84.82	c GLOBAL bounds - >= -90946 @ 36.4669
83.03/84.84	c GLOBAL bounds - >= -90946 @ 36.479
83.03/84.84	c GLOBAL bounds - >= -90946 @ 36.4876
83.03/84.86	c GLOBAL bounds - >= -90946 @ 36.5023
83.03/84.87	c GLOBAL bounds - >= -90946 @ 36.5085
83.03/84.87	c GLOBAL bounds - >= -90946 @ 36.514
83.03/84.88	c GLOBAL bounds - >= -90946 @ 36.5195
83.03/84.88	c GLOBAL bounds - >= -90946 @ 36.5247
83.03/84.89	c GLOBAL bounds - >= -90946 @ 36.5282
83.03/84.89	c GLOBAL bounds - >= -90946 @ 36.5318
83.03/84.89	c GLOBAL bounds - >= -90946 @ 36.5347
83.12/84.90	c GLOBAL bounds - >= -90946 @ 36.5382
83.12/84.90	c GLOBAL bounds - >= -90946 @ 36.5418
83.12/84.91	c GLOBAL bounds - >= -90946 @ 36.5471
83.12/84.91	c GLOBAL bounds - >= -90946 @ 36.5525
83.12/84.92	c GLOBAL bounds - >= -90946 @ 36.557
83.12/84.92	c GLOBAL bounds - >= -90946 @ 36.5607
83.12/84.93	c GLOBAL bounds - >= -90946 @ 36.5755
83.12/84.94	c GLOBAL bounds - >= -90946 @ 36.5806
83.12/84.94	c GLOBAL bounds - >= -90946 @ 36.5838
83.12/84.95	c GLOBAL bounds - >= -90946 @ 36.589
83.12/84.95	c GLOBAL bounds - >= -90946 @ 36.5928
83.12/84.96	c GLOBAL bounds - >= -90946 @ 36.5974
83.12/84.98	c GLOBAL bounds - >= -90946 @ 36.6149
83.12/84.98	c GLOBAL bounds - >= -90946 @ 36.6221
83.12/84.99	c GLOBAL bounds - >= -90946 @ 36.6286
83.12/85.00	c GLOBAL bounds - >= -90946 @ 36.6357
83.12/85.00	c GLOBAL bounds - >= -90946 @ 36.6407
83.24/85.02	c GLOBAL bounds - >= -90946 @ 36.6571
83.24/85.02	c GLOBAL bounds - >= -90946 @ 36.6602
83.24/85.02	c GLOBAL bounds - >= -90946 @ 36.6641
83.24/85.03	c GLOBAL bounds - >= -90946 @ 36.672
83.24/85.05	c GLOBAL bounds - >= -90946 @ 36.6872
83.24/85.05	c GLOBAL bounds - >= -90946 @ 36.6903
83.24/85.05	c GLOBAL bounds - >= -90946 @ 36.6925
83.24/85.06	c GLOBAL bounds - >= -90946 @ 36.6948
83.24/85.06	c GLOBAL bounds - >= -90946 @ 36.6995
83.24/85.06	c GLOBAL bounds - >= -90946 @ 36.7032
83.24/85.07	c GLOBAL bounds - >= -90946 @ 36.7086
83.24/85.08	c GLOBAL bounds - >= -90946 @ 36.7144
83.24/85.08	c GLOBAL bounds - >= -90946 @ 36.7209
83.24/85.09	c GLOBAL bounds - >= -90946 @ 36.7255
83.24/85.09	c GLOBAL bounds - >= -90946 @ 36.7291
83.24/85.10	c GLOBAL bounds - >= -90946 @ 36.7342
83.33/85.10	c GLOBAL bounds - >= -90946 @ 36.7396
83.33/85.11	c GLOBAL bounds - >= -90946 @ 36.7449
83.33/85.11	c GLOBAL bounds - >= -90946 @ 36.7495
83.33/85.12	c GLOBAL bounds - >= -90946 @ 36.7539
83.33/85.12	c GLOBAL bounds - >= -90946 @ 36.7585
83.33/85.13	c GLOBAL bounds - >= -90946 @ 36.763
83.33/85.13	c GLOBAL bounds - >= -90946 @ 36.7676
83.33/85.13	c GLOBAL bounds - >= -90946 @ 36.7721
83.33/85.14	c GLOBAL bounds - >= -90946 @ 36.7759
83.33/85.15	c GLOBAL bounds - >= -90946 @ 36.791
83.33/85.16	c GLOBAL bounds - >= -90946 @ 36.798
83.33/85.17	c GLOBAL bounds - >= -90946 @ 36.8057
83.33/85.18	c GLOBAL bounds - >= -90946 @ 36.814
83.33/85.19	c GLOBAL bounds - >= -90946 @ 36.8209
83.33/85.19	c GLOBAL bounds - >= -90946 @ 36.826
83.43/85.20	c GLOBAL bounds - >= -90946 @ 36.8316
83.43/85.20	c GLOBAL bounds - >= -90946 @ 36.8373
83.43/85.22	c GLOBAL bounds - >= -90946 @ 36.8534
83.43/85.22	c GLOBAL bounds - >= -90946 @ 36.8597
83.43/85.23	c GLOBAL bounds - >= -90946 @ 36.8668
83.43/85.24	c GLOBAL bounds - >= -90946 @ 36.8731
83.43/85.24	c GLOBAL bounds - >= -90946 @ 36.8786
83.43/85.25	c GLOBAL bounds - >= -90946 @ 36.8838
83.43/85.25	c GLOBAL bounds - >= -90946 @ 36.889
83.43/85.26	c GLOBAL bounds - >= -90946 @ 36.8941
83.43/85.27	c GLOBAL bounds - >= -90946 @ 36.8991
83.43/85.27	c GLOBAL bounds - >= -90946 @ 36.9037
83.43/85.28	c GLOBAL bounds - >= -90946 @ 36.9084
83.43/85.28	c GLOBAL bounds - >= -90946 @ 36.9138
83.52/85.30	c GLOBAL bounds - >= -90946 @ 36.9291
83.52/85.30	c GLOBAL bounds - >= -90946 @ 36.9338
83.52/85.30	c GLOBAL bounds - >= -90946 @ 36.9374
83.52/85.31	c GLOBAL bounds - >= -90946 @ 36.9412
83.52/85.32	c GLOBAL bounds - >= -90946 @ 36.9486
83.52/85.32	c GLOBAL bounds - >= -90946 @ 36.9558
83.52/85.33	c GLOBAL bounds - >= -90946 @ 36.9636
83.52/85.35	c GLOBAL bounds - >= -90946 @ 36.9787
83.52/85.36	c GLOBAL bounds - >= -90946 @ 36.9887
83.52/85.37	c GLOBAL bounds - >= -90946 @ 36.9985
83.52/85.38	c GLOBAL bounds - >= -90946 @ 37.0077
83.52/85.38	c GLOBAL bounds - >= -90946 @ 37.0118
83.52/85.38	c GLOBAL bounds - >= -90946 @ 37.0154
83.52/85.39	c GLOBAL bounds - >= -90946 @ 37.0226
83.62/85.40	c GLOBAL bounds - >= -90946 @ 37.0291
83.62/85.41	c GLOBAL bounds - >= -90946 @ 37.0366
83.62/85.41	c GLOBAL bounds - >= -90946 @ 37.0454
83.62/85.43	c GLOBAL bounds - >= -90946 @ 37.0548
83.62/85.44	c GLOBAL bounds - >= -90946 @ 37.0651
83.62/85.44	c GLOBAL bounds - >= -90946 @ 37.0733
83.62/85.45	c GLOBAL bounds - >= -90946 @ 37.079
83.62/85.46	c GLOBAL bounds - >= -90946 @ 37.0859
83.62/85.47	c GLOBAL bounds - >= -90946 @ 37.1003
83.62/85.48	c GLOBAL bounds - >= -90946 @ 37.1073
83.62/85.48	c GLOBAL bounds - >= -90946 @ 37.1134
83.62/85.49	c GLOBAL bounds - >= -90946 @ 37.1203
83.73/85.50	c GLOBAL bounds - >= -90946 @ 37.1267
83.73/85.51	c GLOBAL bounds - >= -90946 @ 37.1328
83.73/85.51	c GLOBAL bounds - >= -90946 @ 37.1405
83.73/85.52	c GLOBAL bounds - >= -90946 @ 37.1487
83.73/85.54	c GLOBAL bounds - >= -90946 @ 37.1639
83.73/85.54	c GLOBAL bounds - >= -90946 @ 37.171
83.73/85.55	c GLOBAL bounds - >= -90946 @ 37.1788
83.73/85.57	c GLOBAL bounds - >= -90946 @ 37.1952
83.73/85.57	c GLOBAL bounds - >= -90946 @ 37.1997
83.73/85.58	c GLOBAL bounds - >= -90946 @ 37.2033
83.73/85.58	c GLOBAL bounds - >= -90946 @ 37.2077
83.73/85.58	c GLOBAL bounds - >= -90946 @ 37.2121
83.73/85.59	c GLOBAL bounds - >= -90946 @ 37.2174
83.83/85.60	c GLOBAL bounds - >= -90946 @ 37.2252
83.83/85.61	c GLOBAL bounds - >= -90946 @ 37.2328
83.83/85.61	c GLOBAL bounds - >= -90946 @ 37.2402
83.83/85.62	c GLOBAL bounds - >= -90946 @ 37.2476
83.83/85.63	c GLOBAL bounds - >= -90946 @ 37.2557
83.83/85.64	c GLOBAL bounds - >= -90946 @ 37.2641
83.83/85.65	c GLOBAL bounds - >= -90946 @ 37.2725
83.83/85.65	c GLOBAL bounds - >= -90946 @ 37.2808
83.83/85.66	c GLOBAL bounds - >= -90946 @ 37.2875
83.83/85.67	c GLOBAL bounds - >= -90946 @ 37.2952
83.83/85.68	c GLOBAL bounds - >= -90946 @ 37.303
83.83/85.69	c GLOBAL bounds - >= -90946 @ 37.3128
83.83/85.69	c GLOBAL bounds - >= -90946 @ 37.319
83.93/85.70	c GLOBAL bounds - >= -90946 @ 37.325
83.93/85.70	c GLOBAL bounds - >= -90946 @ 37.3303
83.93/85.71	c GLOBAL bounds - >= -90946 @ 37.3362
83.93/85.71	c GLOBAL bounds - >= -90946 @ 37.3396
83.93/85.72	c GLOBAL bounds - >= -90946 @ 37.3427
83.93/85.72	c GLOBAL bounds - >= -90946 @ 37.3458
83.93/85.72	c GLOBAL bounds - >= -90946 @ 37.3489
83.93/85.73	c GLOBAL bounds - >= -90946 @ 37.3521
83.93/85.73	c GLOBAL bounds - >= -90946 @ 37.3552
83.93/85.73	c GLOBAL bounds - >= -90946 @ 37.3592
83.93/85.74	c GLOBAL bounds - >= -90946 @ 37.3629
83.93/85.74	c GLOBAL bounds - >= -90946 @ 37.3705
83.93/85.75	c GLOBAL bounds - >= -90946 @ 37.378
83.93/85.77	c GLOBAL bounds - >= -90946 @ 37.3946
83.93/85.77	c GLOBAL bounds - >= -90946 @ 37.4004
83.93/85.78	c GLOBAL bounds - >= -90946 @ 37.4052
83.93/85.78	c GLOBAL bounds - >= -90946 @ 37.4084
83.93/85.79	c GLOBAL bounds - >= -90946 @ 37.4114
83.93/85.79	c GLOBAL bounds - >= -90946 @ 37.4143
83.93/85.79	c GLOBAL bounds - >= -90946 @ 37.4173
83.93/85.79	c GLOBAL bounds - >= -90946 @ 37.4202
84.03/85.80	c GLOBAL bounds - >= -90946 @ 37.4231
84.03/85.80	c GLOBAL bounds - >= -90946 @ 37.4277
84.03/85.82	c GLOBAL bounds - >= -90946 @ 37.4448
84.03/85.82	c GLOBAL bounds - >= -90946 @ 37.4474
84.03/85.83	c GLOBAL bounds - >= -90946 @ 37.4552
84.03/85.84	c GLOBAL bounds - >= -90946 @ 37.461
84.03/85.84	c GLOBAL bounds - >= -90946 @ 37.4685
84.03/85.85	c GLOBAL bounds - >= -90946 @ 37.4741
84.03/85.85	c GLOBAL bounds - >= -90946 @ 37.4775
84.03/85.86	c GLOBAL bounds - >= -90946 @ 37.4799
84.03/85.86	c GLOBAL bounds - >= -90946 @ 37.4822
84.03/85.86	c GLOBAL bounds - >= -90946 @ 37.4862
84.03/85.86	c GLOBAL bounds - >= -90946 @ 37.4885
84.03/85.88	c GLOBAL bounds - >= -90946 @ 37.505
84.03/85.88	c GLOBAL bounds - >= -90946 @ 37.5085
84.03/85.89	c GLOBAL bounds - >= -90946 @ 37.5142
84.13/85.91	c GLOBAL bounds - >= -90946 @ 37.5315
84.13/85.91	c GLOBAL bounds - >= -90946 @ 37.5343
84.13/85.91	c GLOBAL bounds - >= -90946 @ 37.5357
84.13/85.91	c GLOBAL bounds - >= -90946 @ 37.538
84.13/85.92	c GLOBAL bounds - >= -90946 @ 37.5452
84.13/85.93	c GLOBAL bounds - >= -90946 @ 37.5519
84.13/85.94	c GLOBAL bounds - >= -90946 @ 37.5592
84.13/85.94	c GLOBAL bounds - >= -90946 @ 37.5665
84.13/85.95	c GLOBAL bounds - >= -90946 @ 37.5728
84.13/85.95	c GLOBAL bounds - >= -90946 @ 37.5782
84.13/85.96	c GLOBAL bounds - >= -90946 @ 37.583
84.13/85.97	c GLOBAL bounds - >= -90946 @ 37.5898
84.13/85.97	c GLOBAL bounds - >= -90946 @ 37.5958
84.13/85.98	c GLOBAL bounds - >= -90946 @ 37.6023
84.13/85.98	c GLOBAL bounds - >= -90946 @ 37.6082
84.13/85.99	c GLOBAL bounds - >= -90946 @ 37.6117
84.13/85.99	c GLOBAL bounds - >= -90946 @ 37.6168
84.13/86.00	c GLOBAL bounds - >= -90946 @ 37.6198
93.10/94.93	c #Conflicts:       1000 | #Constraints:     203914
93.10/94.93	c GLOBAL bounds - >= -90946 @ 46.3599
592.91/596.23	c #Conflicts:       2000 | #Constraints:     204915
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:       3000 | #Constraints:     201122
592.91/596.23	c #Conflicts:       4000 | #Constraints:     202122
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:       5000 | #Constraints:     201494
592.91/596.23	c #Conflicts:       6000 | #Constraints:     202494
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:       7000 | #Constraints:     201488
592.91/596.23	c #Conflicts:       8000 | #Constraints:     202488
592.91/596.23	c #Conflicts:       9000 | #Constraints:     203488
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      10000 | #Constraints:     202197
592.91/596.23	c #Conflicts:      11000 | #Constraints:     203197
592.91/596.23	c #Conflicts:      12000 | #Constraints:     204198
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      13000 | #Constraints:     202643
592.91/596.23	c #Conflicts:      14000 | #Constraints:     203643
592.91/596.23	c #Conflicts:      15000 | #Constraints:     204643
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      16000 | #Constraints:     202874
592.91/596.23	c #Conflicts:      17000 | #Constraints:     203874
592.91/596.23	c #Conflicts:      18000 | #Constraints:     204874
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      19000 | #Constraints:     202923
592.91/596.23	c #Conflicts:      20000 | #Constraints:     203923
592.91/596.23	c #Conflicts:      21000 | #Constraints:     204923
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      22000 | #Constraints:     202747
592.91/596.23	c #Conflicts:      23000 | #Constraints:     203747
592.91/596.23	c #Conflicts:      24000 | #Constraints:     204747
592.91/596.23	c #Conflicts:      25000 | #Constraints:     205748
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      26000 | #Constraints:     203340
592.91/596.23	c #Conflicts:      27000 | #Constraints:     204340
592.91/596.23	c #Conflicts:      28000 | #Constraints:     205340
592.91/596.23	c #Conflicts:      29000 | #Constraints:     206340
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      30000 | #Constraints:     203746
592.91/596.23	c #Conflicts:      31000 | #Constraints:     204746
592.91/596.23	c #Conflicts:      32000 | #Constraints:     205746
592.91/596.23	c #Conflicts:      33000 | #Constraints:     206746
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      34000 | #Constraints:     203962
592.91/596.23	c #Conflicts:      35000 | #Constraints:     204962
592.91/596.23	c #Conflicts:      36000 | #Constraints:     205962
592.91/596.23	c #Conflicts:      37000 | #Constraints:     206962
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      38000 | #Constraints:     203988
592.91/596.23	c #Conflicts:      39000 | #Constraints:     204988
592.91/596.23	c #Conflicts:      40000 | #Constraints:     205988
592.91/596.23	c #Conflicts:      41000 | #Constraints:     206988
592.91/596.23	c INPROCESSING
592.91/596.23	c GARBAGE COLLECT
592.91/596.23	c #Conflicts:      42000 | #Constraints:     203844
592.91/596.23	c GLOBAL bounds - >= -90946 @ 542.54
1506.52/1512.62	c #Conflicts:      43000 | #Constraints:     204846
1506.52/1512.62	c #Conflicts:      44000 | #Constraints:     205846
1506.52/1512.62	c #Conflicts:      45000 | #Constraints:     206846
1506.52/1512.62	c #Conflicts:      46000 | #Constraints:     207846
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      47000 | #Constraints:     204399
1506.52/1512.62	c #Conflicts:      48000 | #Constraints:     205399
1506.52/1512.62	c #Conflicts:      49000 | #Constraints:     206399
1506.52/1512.62	c #Conflicts:      50000 | #Constraints:     207399
1506.52/1512.62	c #Conflicts:      51000 | #Constraints:     208400
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      52000 | #Constraints:     204761
1506.52/1512.62	c #Conflicts:      53000 | #Constraints:     205762
1506.52/1512.62	c #Conflicts:      54000 | #Constraints:     206762
1506.52/1512.62	c #Conflicts:      55000 | #Constraints:     207762
1506.52/1512.62	c #Conflicts:      56000 | #Constraints:     208762
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      57000 | #Constraints:     204965
1506.52/1512.62	c #Conflicts:      58000 | #Constraints:     205965
1506.52/1512.62	c #Conflicts:      59000 | #Constraints:     206965
1506.52/1512.62	c #Conflicts:      60000 | #Constraints:     207966
1506.52/1512.62	c #Conflicts:      61000 | #Constraints:     208966
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      62000 | #Constraints:     204956
1506.52/1512.62	c #Conflicts:      63000 | #Constraints:     205956
1506.52/1512.62	c #Conflicts:      64000 | #Constraints:     206956
1506.52/1512.62	c #Conflicts:      65000 | #Constraints:     207956
1506.52/1512.62	c #Conflicts:      66000 | #Constraints:     208956
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      67000 | #Constraints:     204802
1506.52/1512.62	c #Conflicts:      68000 | #Constraints:     205802
1506.52/1512.62	c #Conflicts:      69000 | #Constraints:     206802
1506.52/1512.62	c #Conflicts:      70000 | #Constraints:     207802
1506.52/1512.62	c #Conflicts:      71000 | #Constraints:     208802
1506.52/1512.62	c #Conflicts:      72000 | #Constraints:     209802
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      73000 | #Constraints:     205411
1506.52/1512.62	c #Conflicts:      74000 | #Constraints:     206411
1506.52/1512.62	c #Conflicts:      75000 | #Constraints:     207411
1506.52/1512.62	c #Conflicts:      76000 | #Constraints:     208411
1506.52/1512.62	c #Conflicts:      77000 | #Constraints:     209411
1506.52/1512.62	c #Conflicts:      78000 | #Constraints:     210411
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      79000 | #Constraints:     205854
1506.52/1512.62	c #Conflicts:      80000 | #Constraints:     206854
1506.52/1512.62	c #Conflicts:      81000 | #Constraints:     207855
1506.52/1512.62	c #Conflicts:      82000 | #Constraints:     208855
1506.52/1512.62	c #Conflicts:      83000 | #Constraints:     209855
1506.52/1512.62	c #Conflicts:      84000 | #Constraints:     210856
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      85000 | #Constraints:     206016
1506.52/1512.62	c #Conflicts:      86000 | #Constraints:     207016
1506.52/1512.62	c #Conflicts:      87000 | #Constraints:     208016
1506.52/1512.62	c #Conflicts:      88000 | #Constraints:     209016
1506.52/1512.62	c #Conflicts:      89000 | #Constraints:     210016
1506.52/1512.62	c #Conflicts:      90000 | #Constraints:     211016
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      91000 | #Constraints:     206021
1506.52/1512.62	c #Conflicts:      92000 | #Constraints:     207021
1506.52/1512.62	c #Conflicts:      93000 | #Constraints:     208021
1506.52/1512.62	c #Conflicts:      94000 | #Constraints:     209021
1506.52/1512.62	c #Conflicts:      95000 | #Constraints:     210021
1506.52/1512.62	c #Conflicts:      96000 | #Constraints:     211021
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:      97000 | #Constraints:     205835
1506.52/1512.62	c #Conflicts:      98000 | #Constraints:     206835
1506.52/1512.62	c #Conflicts:      99000 | #Constraints:     207835
1506.52/1512.62	c #Conflicts:     100000 | #Constraints:     208835
1506.52/1512.62	c #Conflicts:     101000 | #Constraints:     209835
1506.52/1512.62	c #Conflicts:     102000 | #Constraints:     210835
1506.52/1512.62	c #Conflicts:     103000 | #Constraints:     211835
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:     104000 | #Constraints:     206466
1506.52/1512.62	c #Conflicts:     105000 | #Constraints:     207467
1506.52/1512.62	c #Conflicts:     106000 | #Constraints:     208468
1506.52/1512.62	c #Conflicts:     107000 | #Constraints:     209468
1506.52/1512.62	c #Conflicts:     108000 | #Constraints:     210468
1506.52/1512.62	c #Conflicts:     109000 | #Constraints:     211468
1506.52/1512.62	c #Conflicts:     110000 | #Constraints:     212468
1506.52/1512.62	c INPROCESSING
1506.52/1512.62	c GARBAGE COLLECT
1506.52/1512.62	c #Conflicts:     111000 | #Constraints:     206892
1506.52/1512.62	c #Conflicts:     112000 | #Constraints:     207893
1506.52/1512.62	c #Conflicts:     113000 | #Constraints:     208893
1506.52/1512.62	c #Conflicts:     114000 | #Constraints:     209893
1791.46/1798.36	c #Conflicts:     115000 | #Constraints:     210893
1791.46/1798.36	c #Conflicts:     116000 | #Constraints:     211893
1791.46/1798.36	c #Conflicts:     117000 | #Constraints:     212894
1791.46/1798.36	c INPROCESSING
1791.46/1798.36	c GARBAGE COLLECT
1791.46/1798.36	c rational objective -89032.4
2725.99/2735.02	c #Conflicts:     118000 | #Constraints:     207054
2725.99/2735.02	c #Conflicts:     119000 | #Constraints:     208054
2725.99/2735.02	c #Conflicts:     120000 | #Constraints:     209054
2725.99/2735.02	c #Conflicts:     121000 | #Constraints:     210055
2725.99/2735.02	c #Conflicts:     122000 | #Constraints:     211055
2725.99/2735.02	c #Conflicts:     123000 | #Constraints:     212055
2725.99/2735.02	c #Conflicts:     124000 | #Constraints:     213055
2725.99/2735.02	c INPROCESSING
2725.99/2735.02	c GARBAGE COLLECT
2725.99/2735.02	c #Conflicts:     125000 | #Constraints:     207048
2725.99/2735.02	c #Conflicts:     126000 | #Constraints:     208048
2725.99/2735.02	c #Conflicts:     127000 | #Constraints:     209048
2725.99/2735.02	c #Conflicts:     128000 | #Constraints:     210049
2725.99/2735.02	c #Conflicts:     129000 | #Constraints:     211049
2725.99/2735.02	c #Conflicts:     130000 | #Constraints:     212049
2725.99/2735.02	c #Conflicts:     131000 | #Constraints:     213049
2725.99/2735.02	c INPROCESSING
2725.99/2735.02	c GARBAGE COLLECT
2725.99/2735.02	c #Conflicts:     132000 | #Constraints:     206826
2725.99/2735.02	c #Conflicts:     133000 | #Constraints:     207826
2725.99/2735.02	c #Conflicts:     134000 | #Constraints:     208826
2725.99/2735.02	c #Conflicts:     135000 | #Constraints:     209827
2725.99/2735.02	c #Conflicts:     136000 | #Constraints:     210827
2725.99/2735.02	c #Conflicts:     137000 | #Constraints:     211827
2725.99/2735.02	c #Conflicts:     138000 | #Constraints:     212828
2725.99/2735.02	c #Conflicts:     139000 | #Constraints:     213828
2725.99/2735.02	c INPROCESSING
2725.99/2735.02	c GARBAGE COLLECT
2725.99/2735.02	c #Conflicts:     140000 | #Constraints:     207509
2725.99/2735.02	c #Conflicts:     141000 | #Constraints:     208509
2725.99/2735.02	c #Conflicts:     142000 | #Constraints:     209510
2725.99/2735.02	c #Conflicts:     143000 | #Constraints:     210510
2725.99/2735.02	c #Conflicts:     144000 | #Constraints:     211510
2725.99/2735.02	c #Conflicts:     145000 | #Constraints:     212510
2725.99/2735.02	c #Conflicts:     146000 | #Constraints:     213510
2725.99/2735.02	c #Conflicts:     147000 | #Constraints:     214511
2725.99/2735.02	c INPROCESSING
2725.99/2735.02	c GARBAGE COLLECT
2725.99/2735.02	c #Conflicts:     148000 | #Constraints:     207859
2725.99/2735.02	c #Conflicts:     149000 | #Constraints:     208859
2725.99/2735.02	c #Conflicts:     150000 | #Constraints:     209859
2725.99/2735.02	c #Conflicts:     151000 | #Constraints:     210859
2725.99/2735.02	c #Conflicts:     152000 | #Constraints:     211860
2725.99/2735.02	c #Conflicts:     153000 | #Constraints:     212860
2725.99/2735.02	c #Conflicts:     154000 | #Constraints:     213860
2725.99/2735.02	c #Conflicts:     155000 | #Constraints:     214860
2725.99/2735.02	c INPROCESSING
2725.99/2735.02	c GARBAGE COLLECT
2725.99/2735.02	c #Conflicts:     156000 | #Constraints:     208067
2725.99/2735.02	c #Conflicts:     157000 | #Constraints:     209068
2725.99/2735.02	c #Conflicts:     158000 | #Constraints:     210068
2725.99/2735.02	c #Conflicts:     159000 | #Constraints:     211068
2725.99/2735.02	c #Conflicts:     160000 | #Constraints:     212068
2725.99/2735.02	c #Conflicts:     161000 | #Constraints:     213069
2725.99/2735.02	c #Conflicts:     162000 | #Constraints:     214069
2725.99/2735.02	c #Conflicts:     163000 | #Constraints:     215069
2725.99/2735.02	c INPROCESSING
2725.99/2735.02	c GARBAGE COLLECT
2725.99/2735.02	c #Conflicts:     164000 | #Constraints:     208065
2725.99/2735.02	c #Conflicts:     165000 | #Constraints:     209065
2725.99/2735.02	c #Conflicts:     166000 | #Constraints:     210065
2725.99/2735.02	c #Conflicts:     167000 | #Constraints:     211065
2725.99/2735.02	c #Conflicts:     168000 | #Constraints:     212066
2725.99/2735.02	c #Conflicts:     169000 | #Constraints:     213066
2725.99/2735.02	c #Conflicts:     170000 | #Constraints:     214066
2725.99/2735.02	c #Conflicts:     171000 | #Constraints:     215066
2725.99/2735.02	c INPROCESSING
2725.99/2735.02	c GARBAGE COLLECT
2725.99/2735.02	c #Conflicts:     172000 | #Constraints:     207908
2725.99/2735.02	c #Conflicts:     173000 | #Constraints:     208909
2725.99/2735.02	c #Conflicts:     174000 | #Constraints:     209909
2725.99/2735.02	c #Conflicts:     175000 | #Constraints:     210909
2725.99/2735.02	c #Conflicts:     176000 | #Constraints:     211909
2725.99/2735.02	c #Conflicts:     177000 | #Constraints:     212909
2725.99/2735.02	c #Conflicts:     178000 | #Constraints:     213909
2725.99/2735.02	c #Conflicts:     179000 | #Constraints:     214910
2725.99/2735.02	c #Conflicts:     180000 | #Constraints:     215910
2725.99/2735.02	c INPROCESSING
2725.99/2735.02	c GARBAGE COLLECT
2725.99/2735.02	c rational objective -88413.1
3355.96/3366.45	c #Conflicts:     181000 | #Constraints:     208540
3355.96/3366.45	c #Conflicts:     182000 | #Constraints:     209540
3355.96/3366.45	c #Conflicts:     183000 | #Constraints:     210540
3355.96/3366.45	c #Conflicts:     184000 | #Constraints:     211540
3355.96/3366.45	c #Conflicts:     185000 | #Constraints:     212540
3355.96/3366.45	c #Conflicts:     186000 | #Constraints:     213540
3355.96/3366.45	c #Conflicts:     187000 | #Constraints:     214540
3355.96/3366.45	c #Conflicts:     188000 | #Constraints:     215540
3355.96/3366.45	c #Conflicts:     189000 | #Constraints:     216540
3355.96/3366.45	c INPROCESSING
3355.96/3366.45	c GARBAGE COLLECT
3355.96/3366.45	c #Conflicts:     190000 | #Constraints:     208926
3355.96/3366.45	c #Conflicts:     191000 | #Constraints:     209927
3355.96/3366.45	c #Conflicts:     192000 | #Constraints:     210927
3355.96/3366.45	c #Conflicts:     193000 | #Constraints:     211927
3355.96/3366.45	c #Conflicts:     194000 | #Constraints:     212928
3355.96/3366.45	c #Conflicts:     195000 | #Constraints:     213928
3355.96/3366.45	c #Conflicts:     196000 | #Constraints:     214930
3355.96/3366.45	c #Conflicts:     197000 | #Constraints:     215931
3355.96/3366.45	c #Conflicts:     198000 | #Constraints:     216932
3355.96/3366.45	c INPROCESSING
3355.96/3366.45	c GARBAGE COLLECT
3355.96/3366.45	c #Conflicts:     199000 | #Constraints:     209123
3355.96/3366.45	c #Conflicts:     200000 | #Constraints:     210123
3355.96/3366.45	c #Conflicts:     201000 | #Constraints:     211123
3355.96/3366.45	c #Conflicts:     202000 | #Constraints:     212124
3355.96/3366.45	c #Conflicts:     203000 | #Constraints:     213124
3355.96/3366.45	c #Conflicts:     204000 | #Constraints:     214124
3355.96/3366.45	c #Conflicts:     205000 | #Constraints:     215125
3355.96/3366.45	c #Conflicts:     206000 | #Constraints:     216125
3355.96/3366.45	c #Conflicts:     207000 | #Constraints:     217126
3355.96/3366.45	c INPROCESSING
3355.96/3366.45	c GARBAGE COLLECT
3355.96/3366.45	c #Conflicts:     208000 | #Constraints:     209109
3355.96/3366.45	c #Conflicts:     209000 | #Constraints:     210109
3355.96/3366.45	c #Conflicts:     210000 | #Constraints:     211109
3355.96/3366.45	c #Conflicts:     211000 | #Constraints:     212109
3355.96/3366.45	c #Conflicts:     212000 | #Constraints:     213110
3355.96/3366.45	c #Conflicts:     213000 | #Constraints:     214110
3355.96/3366.45	c #Conflicts:     214000 | #Constraints:     215110
3355.96/3366.45	c #Conflicts:     215000 | #Constraints:     216111
3355.96/3366.45	c #Conflicts:     216000 | #Constraints:     217111
3355.96/3366.45	c INPROCESSING
3355.96/3366.45	c GARBAGE COLLECT
3355.96/3366.45	c #Conflicts:     217000 | #Constraints:     208933
3355.96/3366.45	c #Conflicts:     218000 | #Constraints:     209934
3355.96/3366.45	c #Conflicts:     219000 | #Constraints:     210934
3355.96/3366.45	c #Conflicts:     220000 | #Constraints:     211935
3355.96/3366.45	c #Conflicts:     221000 | #Constraints:     212935
3355.96/3366.45	c #Conflicts:     222000 | #Constraints:     213936
3355.96/3366.45	c #Conflicts:     223000 | #Constraints:     214936
3355.96/3366.45	c #Conflicts:     224000 | #Constraints:     215936
3355.96/3366.45	c #Conflicts:     225000 | #Constraints:     216936
3355.96/3366.45	c #Conflicts:     226000 | #Constraints:     217937
3355.96/3366.45	c INPROCESSING
3355.96/3366.45	c GARBAGE COLLECT
3355.96/3366.45	c #Conflicts:     227000 | #Constraints:     209567
3355.96/3366.45	c #Conflicts:     228000 | #Constraints:     210567
3355.96/3366.45	c #Conflicts:     229000 | #Constraints:     211568
3355.96/3366.45	c #Conflicts:     230000 | #Constraints:     212568
3355.96/3366.45	c #Conflicts:     231000 | #Constraints:     213568
3355.96/3366.45	c #Conflicts:     232000 | #Constraints:     214568
3355.96/3366.45	c #Conflicts:     233000 | #Constraints:     215568
3355.96/3366.45	c #Conflicts:     234000 | #Constraints:     216569
3355.96/3366.45	c #Conflicts:     235000 | #Constraints:     217569
3355.96/3366.45	c #Conflicts:     236000 | #Constraints:     218569
3355.96/3366.45	c INPROCESSING
3355.96/3366.45	c GARBAGE COLLECT
3355.96/3366.45	c #Conflicts:     237000 | #Constraints:     209933
3355.96/3366.45	c #Conflicts:     238000 | #Constraints:     210933
3355.96/3366.45	c #Conflicts:     239000 | #Constraints:     211934
3355.96/3366.45	c #Conflicts:     240000 | #Constraints:     212934
3355.96/3366.45	c #Conflicts:     241000 | #Constraints:     213934
3355.96/3366.45	c #Conflicts:     242000 | #Constraints:     214935
3355.96/3366.45	c #Conflicts:     243000 | #Constraints:     215935
3355.96/3366.45	c #Conflicts:     244000 | #Constraints:     216935
3355.96/3366.45	c #Conflicts:     245000 | #Constraints:     217935
3355.96/3366.45	c #Conflicts:     246000 | #Constraints:     218935
3355.96/3366.45	c INPROCESSING
3355.96/3366.45	c GARBAGE COLLECT
3355.96/3366.45	c #Conflicts:     247000 | #Constraints:     210149
3355.96/3366.45	c #Conflicts:     248000 | #Constraints:     211149
3355.96/3366.45	c #Conflicts:     249000 | #Constraints:     212149
3355.96/3366.45	c #Conflicts:     250000 | #Constraints:     213149
3355.96/3366.45	c #Conflicts:     251000 | #Constraints:     214149
3355.96/3366.45	c #Conflicts:     252000 | #Constraints:     215150
3355.96/3366.45	c #Conflicts:     253000 | #Constraints:     216151
3355.96/3366.45	c #Conflicts:     254000 | #Constraints:     217152
3355.96/3366.45	c #Conflicts:    

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 (62902 MiB free)
  memory of node 1: 64465 MiB (63674 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=39755, runsolver pid=39738

[startup+0.100064 s]*
/proc/loadavg: 1.18 3.16 3.86 3/268 39761
/proc/meminfo: memFree=129613588/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=48720 memory=1024 CPUtime=0 cores=5,7
/proc/39761/stat : 39761 (roundingsat) D 39755 39755 39688 0 -1 4194304 98 0 3 0 0 0 0 0 20 0 1 0 43687965 49889280 256 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 0 1 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 12180 256 224 1147 0 132 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 52912 KiB
Current children cumulated memory: 4096 KiB

[startup+0.205654 s]*
/proc/loadavg: 1.18 3.16 3.86 2/268 39761
/proc/meminfo: memFree=129604372/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/39761/stat : 39761 (roundingsat) D 39755 39755 39688 0 -1 4456448 314 0 8 0 0 0 0 0 20 0 1 0 43687965 52015104 1888 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+0.305107 s]*
/proc/loadavg: 1.18 3.16 3.86 2/268 39761
/proc/meminfo: memFree=129604120/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/39761/stat : 39761 (roundingsat) D 39755 39755 39688 0 -1 4456448 314 0 8 0 0 0 0 0 20 0 1 0 43687965 52015104 1888 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+0.700229 s]
/proc/loadavg: 1.18 3.16 3.86 2/268 39761
/proc/meminfo: memFree=129603868/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/39761/stat : 39761 (roundingsat) D 39755 39755 39688 0 -1 4456448 314 0 8 0 0 0 0 0 20 0 1 0 43687965 52015104 1888 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+1.50022 s]
/proc/loadavg: 1.18 3.16 3.86 2/268 39761
/proc/meminfo: memFree=129603868/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=50796 memory=7552 CPUtime=0 cores=5,7
/proc/39761/stat : 39761 (roundingsat) D 39755 39755 39688 0 -1 4194304 314 0 8 0 0 0 0 0 20 0 1 0 43687965 52015104 1888 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 12699 1888 1792 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10624 KiB

[startup+3.10563 s]
/proc/loadavg: 1.41 3.18 3.86 7/268 39761
/proc/meminfo: memFree=128596848/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=296648 memory=214552 CPUtime=1.48 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 23533 0 8 0 98 50 0 0 20 0 1 0 43687965 303767552 53638 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 74162 53638 2336 1147 0 61589 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 300840 KiB
Current children cumulated memory: 217624 KiB
heavy processes:

[startup+6.30015 s]
/proc/loadavg: 1.41 3.18 3.86 7/268 39761
/proc/meminfo: memFree=128530236/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=297284 memory=215192 CPUtime=4.68 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 23698 0 8 0 214 254 0 0 20 0 1 0 43687965 304418816 53798 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 74321 53798 2336 1147 0 61748 0
Current children cumulated CPU time: 4.68 s
Current children cumulated vsize: 301476 KiB
Current children cumulated memory: 218264 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 1.61 3.19 3.86 7/268 39761
/proc/meminfo: memFree=128261412/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=303272 memory=220184 CPUtime=11.06 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 24938 0 8 0 438 668 0 0 20 0 1 0 43687965 310550528 55046 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 75818 55046 2336 1147 0 63245 0
Current children cumulated CPU time: 11.06 s
Current children cumulated vsize: 307464 KiB
Current children cumulated memory: 223256 KiB

[startup+25.5002 s]
/proc/loadavg: 2.14 3.23 3.86 7/271 39764
/proc/meminfo: memFree=127877476/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=310132 memory=229972 CPUtime=23.84 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 26854 0 8 0 907 1477 0 0 20 0 1 0 43687965 317575168 57493 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 77533 57493 2368 1147 0 64960 0
Current children cumulated CPU time: 23.84 s
Current children cumulated vsize: 314324 KiB
Current children cumulated memory: 233044 KiB

[startup+51.1057 s]
/proc/loadavg: 2.83 3.31 3.87 7/272 39766
/proc/meminfo: memFree=126922108/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=327044 memory=247180 CPUtime=49.4 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 30123 0 8 0 1898 3042 0 0 20 0 1 0 43687965 334893056 61795 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 81761 61795 2368 1147 0 69188 0
Current children cumulated CPU time: 49.4 s
Current children cumulated vsize: 331236 KiB
Current children cumulated memory: 250252 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 3.43 3.89 7/272 39767
/proc/meminfo: memFree=125056452/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=583264 memory=473312 CPUtime=100.49 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 72944 0 8 0 5360 4689 0 0 20 0 1 0 43687965 597262336 118328 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 145816 118328 2400 1147 0 133243 0
Current children cumulated CPU time: 100.49 s
Current children cumulated vsize: 587456 KiB
Current children cumulated memory: 476384 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 3.56 3.90 7/272 39769
/proc/meminfo: memFree=123081196/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=704836 memory=580112 CPUtime=160.31 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 94563 0 8 0 11296 4735 0 0 20 0 1 0 43687965 721752064 145028 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 176209 145028 2400 1147 0 163636 0
Current children cumulated CPU time: 160.31 s
Current children cumulated vsize: 709028 KiB
Current children cumulated memory: 583184 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 3.65 3.92 7/272 39771
/proc/meminfo: memFree=121220640/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0

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

/proc/meminfo: memFree=74631004/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=1049076 memory=952308 CPUtime=3272.04 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 153635 0 8 0 320324 6880 0 0 20 0 1 0 43687965 1074253824 238077 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 262269 238077 2400 1147 0 249696 0
Current children cumulated CPU time: 3272.04 s
Current children cumulated vsize: 1053268 KiB
Current children cumulated memory: 955380 KiB

[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 7/277 39963
/proc/meminfo: memFree=73803204/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=1049524 memory=953332 CPUtime=3331.92 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 154175 0 8 0 326261 6931 0 0 20 0 1 0 43687965 1074712576 238333 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 262381 238333 2400 1147 0 249808 0
Current children cumulated CPU time: 3331.92 s
Current children cumulated vsize: 1053716 KiB
Current children cumulated memory: 956404 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 7/276 39965
/proc/meminfo: memFree=73208236/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=1051668 memory=955124 CPUtime=3391.79 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 154646 0 8 0 332206 6973 0 0 20 0 1 0 43687965 1076908032 238781 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 262917 238781 2400 1147 0 250344 0
Current children cumulated CPU time: 3391.79 s
Current children cumulated vsize: 1055860 KiB
Current children cumulated memory: 958196 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.09 4.09 7/272 39967
/proc/meminfo: memFree=72845132/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=1051968 memory=957172 CPUtime=3451.67 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 155165 0 8 0 338179 6988 0 0 20 0 1 0 43687965 1077215232 239293 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 262992 239293 2400 1147 0 250419 0
Current children cumulated CPU time: 3451.67 s
Current children cumulated vsize: 1056160 KiB
Current children cumulated memory: 960244 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.10 4.09 7/273 39970
/proc/meminfo: memFree=72591920/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=1054124 memory=960372 CPUtime=3511.54 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 155957 0 8 0 344159 6995 0 0 20 0 1 0 43687965 1079422976 240093 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 263531 240093 2400 1147 0 250958 0
Current children cumulated CPU time: 3511.54 s
Current children cumulated vsize: 1058316 KiB
Current children cumulated memory: 963444 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 7/274 39974
/proc/meminfo: memFree=72338008/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=1056252 memory=961524 CPUtime=3571.41 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 156249 0 8 0 350137 7004 0 0 20 0 1 0 43687965 1081602048 240381 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 264063 240381 2400 1147 0 251490 0
Current children cumulated CPU time: 3571.41 s
Current children cumulated vsize: 1060444 KiB
Current children cumulated memory: 964596 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611 s]*
/proc/loadavg: 4.14 4.10 4.09 4/265 40012
/proc/meminfo: memFree=76795864/131250000 swapFree=33010684/33010684
[pid=39755] ppid=39738 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/39755/stat : 39755 (run-opt-log.sh) S 39738 39755 39688 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 43687963 4292608 768 18446744073709551615 94737530347520 94737531242053 140730361955808 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94737531481104 94737531528848 94737541521408 140730361964833 140730361965028 140730361965028 140730361970630 0
/proc/39755/statm: 1048 768 704 219 0 110 0
[pid=39761] ppid=39755 vsize=1056252 memory=961524 CPUtime=3600.06 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39755 39755 39688 0 -1 4194304 156249 0 8 0 352993 7013 0 0 20 0 1 0 43687965 1081602048 240381 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 264063 240381 2400 1147 0 251490 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1060444 KiB
Current children cumulated memory: 964596 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.001468 s, system=0.001497 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3531.92 s, system=70.1521 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+3611.2 s]
/proc/loadavg: 4.14 4.10 4.09 4/264 40012
/proc/meminfo: memFree=76795864/131250000 swapFree=33010684/33010684
[pid=39761] ppid=39738 vsize=1056252 memory=961524 CPUtime=3600.26 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39738 39755 39688 0 -1 4194304 156249 0 8 0 353013 7013 0 0 20 0 1 0 43687965 1081602048 240381 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 264063 240381 2400 1147 0 251490 0
Current cumulated CPU time of completed processes: 0.002965 s
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 1056252 KiB
Current children cumulated memory: 961524 KiB

[startup+3612 s]*
/proc/loadavg: 4.14 4.10 4.09 4/260 40037
/proc/meminfo: memFree=76805580/131250000 swapFree=33010684/33010684
[pid=39761] ppid=39738 vsize=1056252 memory=961524 CPUtime=3601.06 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39738 39755 39688 0 -1 4194304 156249 0 8 0 353092 7014 0 0 20 0 1 0 43687965 1081602048 240381 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 264063 240381 2400 1147 0 251490 0
Current cumulated CPU time of completed processes: 0.002965 s
Current children cumulated CPU time: 3601.06 s
Current children cumulated vsize: 1056252 KiB
Current children cumulated memory: 961524 KiB

[startup+3612.8 s]
/proc/loadavg: 4.14 4.10 4.09 4/260 40037
/proc/meminfo: memFree=76805580/131250000 swapFree=33010684/33010684
[pid=39761] ppid=39738 vsize=1056252 memory=961524 CPUtime=3601.85 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39738 39755 39688 0 -1 4194304 156249 0 8 0 353171 7014 0 0 20 0 1 0 43687965 1081602048 240381 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 264063 240381 2400 1147 0 251490 0
Current cumulated CPU time of completed processes: 0.002965 s
Current children cumulated CPU time: 3601.85 s
Current children cumulated vsize: 1056252 KiB
Current children cumulated memory: 961524 KiB

[startup+3613 s]*
/proc/loadavg: 4.14 4.10 4.09 3/255 40054
/proc/meminfo: memFree=83003572/131250000 swapFree=33010684/33010684
[pid=39761] ppid=39738 vsize=1056252 memory=961524 CPUtime=3602.06 cores=5,7
/proc/39761/stat : 39761 (roundingsat) R 39738 39755 39688 0 -1 4194304 156249 0 8 0 353192 7014 0 0 20 0 1 0 43687965 1081602048 240381 18446744073709551615 4227072 8923433 140735681040784 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 15818752 140735681046866 140735681047080 140735681047080 140735681052650 0
/proc/39761/statm: 264063 240381 2400 1147 0 251490 0
Current cumulated CPU time of completed processes: 0.002965 s
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1056252 KiB
Current children cumulated memory: 961524 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.01
CPU time (s): 3602.08
CPU user time (s): 3531.92
CPU system time (s): 70.1521
CPU usage (%): 99.6974
Max. virtual memory (cumulated for all children) (KiB): 1060444
Max. memory (cumulated for all children) (KiB): 964596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.92
system time used= 70.1521
maximum resident set size= 961524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156458
page faults= 8
swaps= 0
block input operations= 4560
block output operations= 33132896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 390
involuntary context switches= 3959


# summary of solver processes directly reported to runsolver:
#   pid: 39755,39761
#   total CPU time (s): 3602.08
#   total CPU user time (s): 3531.92
#   total CPU system time (s): 70.1521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.41519 second user time and 16.6017 second system time

The end

Begin job on nodeC014 at 2025-06-30 12:41:54
IDJOB=4483757
IDBENCH=144501
IDSOLVER=3351
FILE ID=nodeC014/4483757-1751280113
RUNJOBID= nodeC014-1751280113-39701
SLURM_JOB_ID= 9594224
Free space on /tmp= 432984 MiB

SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4483757-1751280113/watcher-4483757-1751280113 -o /tmp/evaluation-result-4483757-1751280113/solver-4483757-1751280113 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751280113-39701 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4483757-1751280113.opb PROOFDIR/proof-4483757-1751280113

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

MD5SUM BENCH= 09dba01427439390f7d02c92f076240e
RANDOM SEED=1596750876

nodeC014 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		: 3606.034
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	: 7000.23
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		: 3602.002
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	: 7000.23
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		: 3600.110
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	: 7000.23
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		: 3600.120
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	: 7000.23
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		: 3458.362
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	: 7000.23
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		: 3601.589
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	: 7000.23
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.118
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	: 7000.23
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		: 3600.129
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	: 7000.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129611156 kB
MemAvailable:   129785124 kB
Buffers:            3280 kB
Cached:           981372 kB
SwapCached:            0 kB
Active:           322344 kB
Inactive:         737476 kB
Active(anon):      93236 kB
Inactive(anon):        0 kB
Active(file):     229108 kB
Inactive(file):   737476 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             54756 kB
Writeback:             0 kB
AnonPages:         78324 kB
Mapped:           103304 kB
Shmem:             18068 kB
KReclaimable:      93248 kB
Slab:             180024 kB
SReclaimable:      93248 kB
SUnreclaim:        86776 kB
KernelStack:        4024 kB
PageTables:         2716 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     339788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432944 MiB
End job on nodeC014 at 2025-06-30 13:42:07