0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
1.16/7.60 c #variables 7840 #constraints 65280
1.16/7.60 c objective is ce32
1.46/7.99 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.46/7.99 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.46/7.99 c GLOBAL bounds - >= 0 @ 1.4069
1.77/8.23 c GLOBAL bounds - >= 0 @ 1.63809
1.77/8.23 c GLOBAL bounds - >= 0 @ 1.64572
1.77/8.25 c GLOBAL bounds - >= 0 @ 1.656
1.77/8.26 c GLOBAL bounds - >= 0 @ 1.66452
1.77/8.28 c GLOBAL bounds - >= 0 @ 1.67702
1.77/8.28 c GLOBAL bounds - >= 0 @ 1.68287
1.86/8.30 c GLOBAL bounds - >= 0 @ 1.69094
1.86/8.31 c GLOBAL bounds - >= 0 @ 1.70009
1.86/8.33 c GLOBAL bounds - >= 0 @ 1.71376
1.86/8.35 c GLOBAL bounds - >= 0 @ 1.72424
1.86/8.36 c GLOBAL bounds - >= 0 @ 1.73682
1.86/8.37 c GLOBAL bounds - >= 0 @ 1.74452
1.86/8.38 c GLOBAL bounds - >= 0 @ 1.75076
1.96/8.41 c GLOBAL bounds - >= 0 @ 1.76862
1.96/8.43 c GLOBAL bounds - >= 0 @ 1.79067
1.96/8.45 c GLOBAL bounds - >= 0 @ 1.80687
1.96/8.48 c GLOBAL bounds - >= 0 @ 1.82471
2.06/8.50 c GLOBAL bounds - >= 0 @ 1.84456
2.06/8.53 c GLOBAL bounds - >= 0 @ 1.86612
2.06/8.55 c GLOBAL bounds - >= 0 @ 1.87992
2.06/8.57 c GLOBAL bounds - >= 0 @ 1.89811
2.16/8.60 c GLOBAL bounds - >= 0 @ 1.92585
2.16/8.62 c GLOBAL bounds - >= 0 @ 1.94236
2.16/8.64 c GLOBAL bounds - >= 0 @ 1.95861
2.16/8.66 c GLOBAL bounds - >= 0 @ 1.96895
2.16/8.67 c GLOBAL bounds - >= 0 @ 1.9801
2.16/8.69 c GLOBAL bounds - >= 0 @ 1.99335
2.26/8.70 c GLOBAL bounds - >= 0 @ 2.00433
2.26/8.72 c GLOBAL bounds - >= 0 @ 2.019
2.26/8.74 c GLOBAL bounds - >= 0 @ 2.03221
2.26/8.75 c GLOBAL bounds - >= 0 @ 2.04116
2.26/8.77 c GLOBAL bounds - >= 0 @ 2.05179
2.36/8.80 c GLOBAL bounds - >= 0 @ 2.06898
2.36/8.82 c GLOBAL bounds - >= 0 @ 2.08302
2.36/8.83 c GLOBAL bounds - >= 0 @ 2.09145
2.36/8.84 c GLOBAL bounds - >= 0 @ 2.10032
2.36/8.86 c GLOBAL bounds - >= 0 @ 2.10784
2.36/8.87 c GLOBAL bounds - >= 0 @ 2.11242
2.36/8.88 c GLOBAL bounds - >= 0 @ 2.12129
2.36/8.89 c GLOBAL bounds - >= 0 @ 2.12786
2.47/8.91 c GLOBAL bounds - >= 0 @ 2.13536
2.47/8.92 c GLOBAL bounds - >= 0 @ 2.14177
2.47/8.94 c GLOBAL bounds - >= 0 @ 2.15971
2.47/8.96 c GLOBAL bounds - >= 0 @ 2.1708
2.47/8.98 c GLOBAL bounds - >= 0 @ 2.18272
2.56/9.00 c GLOBAL bounds - >= 0 @ 2.20687
2.56/9.02 c GLOBAL bounds - >= 0 @ 2.22327
2.56/9.04 c GLOBAL bounds - >= 0 @ 2.23835
2.56/9.06 c GLOBAL bounds - >= 0 @ 2.25177
2.56/9.08 c GLOBAL bounds - >= 0 @ 2.26924
2.56/9.09 c GLOBAL bounds - >= 0 @ 2.2803
2.66/9.10 c GLOBAL bounds - >= 0 @ 2.2912
2.66/9.12 c GLOBAL bounds - >= 0 @ 2.29999
2.66/9.13 c GLOBAL bounds - >= 0 @ 2.30987
2.66/9.14 c GLOBAL bounds - >= 0 @ 2.31866
2.66/9.15 c GLOBAL bounds - >= 0 @ 2.32811
2.66/9.17 c GLOBAL bounds - >= 0 @ 2.33554
2.66/9.18 c GLOBAL bounds - >= 0 @ 2.34679
2.66/9.19 c GLOBAL bounds - >= 0 @ 2.35692
2.76/9.20 c GLOBAL bounds - >= 0 @ 2.36821
2.76/9.22 c GLOBAL bounds - >= 0 @ 2.37794
2.76/9.23 c GLOBAL bounds - >= 0 @ 2.38733
2.76/9.24 c GLOBAL bounds - >= 0 @ 2.39773
2.76/9.25 c GLOBAL bounds - >= 0 @ 2.40583
2.76/9.27 c GLOBAL bounds - >= 0 @ 2.41716
2.76/9.28 c GLOBAL bounds - >= 0 @ 2.42596
2.76/9.29 c GLOBAL bounds - >= 0 @ 2.43618
2.86/9.30 c GLOBAL bounds - >= 0 @ 2.44484
2.86/9.32 c GLOBAL bounds - >= 0 @ 2.45411
2.86/9.33 c GLOBAL bounds - >= 0 @ 2.4639
2.86/9.34 c GLOBAL bounds - >= 0 @ 2.4735
2.86/9.35 c GLOBAL bounds - >= 0 @ 2.48123
2.86/9.36 c GLOBAL bounds - >= 0 @ 2.49069
2.86/9.38 c GLOBAL bounds - >= 0 @ 2.50178
2.86/9.39 c GLOBAL bounds - >= 0 @ 2.51402
2.96/9.41 c GLOBAL bounds - >= 0 @ 2.52468
2.96/9.42 c GLOBAL bounds - >= 0 @ 2.53168
2.96/9.43 c GLOBAL bounds - >= 0 @ 2.54047
2.96/9.44 c GLOBAL bounds - >= 0 @ 2.54821
2.96/9.46 c GLOBAL bounds - >= 0 @ 2.56292
2.96/9.48 c GLOBAL bounds - >= 0 @ 2.57575
2.96/9.49 c GLOBAL bounds - >= 0 @ 2.58377
3.06/9.51 c GLOBAL bounds - >= 0 @ 2.59992
3.06/9.53 c GLOBAL bounds - >= 0 @ 2.61891
3.06/9.55 c GLOBAL bounds - >= 0 @ 2.63163
3.06/9.58 c GLOBAL bounds - >= 0 @ 2.65378
3.16/9.60 c GLOBAL bounds - >= 0 @ 2.66354
3.16/9.61 c GLOBAL bounds - >= 0 @ 2.67402
3.16/9.62 c GLOBAL bounds - >= 0 @ 2.68491
3.16/9.64 c GLOBAL bounds - >= 0 @ 2.69679
3.16/9.65 c GLOBAL bounds - >= 0 @ 2.70682
3.16/9.67 c GLOBAL bounds - >= 0 @ 2.71557
3.16/9.68 c GLOBAL bounds - >= 0 @ 2.72524
3.16/9.70 c GLOBAL bounds - >= 0 @ 2.73705
3.26/9.71 c GLOBAL bounds - >= 0 @ 2.74502
3.26/9.72 c GLOBAL bounds - >= 0 @ 2.75486
3.26/9.73 c GLOBAL bounds - >= 0 @ 2.76369
3.26/9.75 c GLOBAL bounds - >= 0 @ 2.77549
3.26/9.76 c GLOBAL bounds - >= 0 @ 2.78531
3.26/9.77 c GLOBAL bounds - >= 0 @ 2.79756
3.26/9.79 c GLOBAL bounds - >= 0 @ 2.80937
3.36/9.80 c GLOBAL bounds - >= 0 @ 2.81711
3.36/9.81 c GLOBAL bounds - >= 0 @ 2.82647
3.36/9.83 c GLOBAL bounds - >= 0 @ 2.83922
3.36/9.84 c GLOBAL bounds - >= 0 @ 2.85271
3.36/9.85 c GLOBAL bounds - >= 0 @ 2.86256
3.36/9.87 c GLOBAL bounds - >= 0 @ 2.8748
3.36/9.89 c GLOBAL bounds - >= 0 @ 2.8875
3.46/9.90 c GLOBAL bounds - >= 0 @ 2.89918
3.46/9.92 c GLOBAL bounds - >= 0 @ 2.91407
3.46/9.94 c GLOBAL bounds - >= 0 @ 2.93491
3.46/9.96 c GLOBAL bounds - >= 0 @ 2.9515
3.46/9.98 c GLOBAL bounds - >= 0 @ 2.96971
3.46/10.00 c GLOBAL bounds - >= 0 @ 2.9817
3.57/10.02 c GLOBAL bounds - >= 0 @ 2.99727
3.57/10.04 c GLOBAL bounds - >= 0 @ 3.01427
3.57/10.06 c GLOBAL bounds - >= 0 @ 3.02908
3.57/10.08 c GLOBAL bounds - >= 0 @ 3.04182
3.57/10.10 c GLOBAL bounds - >= 0 @ 3.06141
3.66/10.12 c GLOBAL bounds - >= 0 @ 3.08023
3.66/10.14 c GLOBAL bounds - >= 0 @ 3.09623
3.66/10.16 c GLOBAL bounds - >= 0 @ 3.1107
3.66/10.18 c GLOBAL bounds - >= 0 @ 3.12686
3.76/10.20 c GLOBAL bounds - >= 0 @ 3.14054
3.76/10.21 c GLOBAL bounds - >= 0 @ 3.15331
3.76/10.23 c GLOBAL bounds - >= 0 @ 3.16401
3.76/10.24 c GLOBAL bounds - >= 0 @ 3.17573
3.76/10.26 c GLOBAL bounds - >= 0 @ 3.18739
3.76/10.27 c GLOBAL bounds - >= 0 @ 3.20054
3.76/10.29 c GLOBAL bounds - >= 0 @ 3.21066
3.86/10.30 c GLOBAL bounds - >= 0 @ 3.21842
3.86/10.32 c GLOBAL bounds - >= 0 @ 3.22767
3.86/10.34 c GLOBAL bounds - >= 0 @ 3.24665
3.86/10.36 c GLOBAL bounds - >= 0 @ 3.26227
3.86/10.38 c GLOBAL bounds - >= 0 @ 3.27931
3.86/10.39 c GLOBAL bounds - >= 0 @ 3.29446
3.96/10.41 c GLOBAL bounds - >= 0 @ 3.30848
3.96/10.43 c GLOBAL bounds - >= 0 @ 3.31986
3.96/10.45 c GLOBAL bounds - >= 0 @ 3.33328
3.96/10.46 c GLOBAL bounds - >= 0 @ 3.34815
3.96/10.49 c GLOBAL bounds - >= 0 @ 3.37428
4.05/10.51 c GLOBAL bounds - >= 0 @ 3.39158
4.05/10.53 c GLOBAL bounds - >= 0 @ 3.40424
4.05/10.55 c GLOBAL bounds - >= 0 @ 3.42073
4.05/10.57 c GLOBAL bounds - >= 0 @ 3.43649
4.05/10.59 c GLOBAL bounds - >= 0 @ 3.45541
4.15/10.61 c GLOBAL bounds - >= 0 @ 3.46761
4.15/10.63 c GLOBAL bounds - >= 0 @ 3.4846
4.15/10.65 c GLOBAL bounds - >= 0 @ 3.50479
4.15/10.67 c GLOBAL bounds - >= 0 @ 3.52081
4.15/10.69 c GLOBAL bounds - >= 0 @ 3.53612
4.26/10.71 c GLOBAL bounds - >= 0 @ 3.55457
4.26/10.72 c GLOBAL bounds - >= 0 @ 3.56493
4.26/10.74 c GLOBAL bounds - >= 0 @ 3.58292
4.26/10.77 c GLOBAL bounds - >= 0 @ 3.60295
4.35/10.80 c GLOBAL bounds - >= 0 @ 3.63614
4.35/10.82 c GLOBAL bounds - >= 0 @ 3.65426
4.35/10.84 c GLOBAL bounds - >= 0 @ 3.67089
4.35/10.87 c GLOBAL bounds - >= 0 @ 3.69013
4.35/10.89 c GLOBAL bounds - >= 0 @ 3.70477
4.46/10.90 c GLOBAL bounds - >= 0 @ 3.71648
4.46/10.92 c GLOBAL bounds - >= 0 @ 3.73474
4.46/10.94 c GLOBAL bounds - >= 0 @ 3.75043
4.46/10.96 c GLOBAL bounds - >= 0 @ 3.76433
4.46/10.97 c GLOBAL bounds - >= 0 @ 3.77723
4.46/10.99 c GLOBAL bounds - >= 0 @ 3.7881
4.56/11.01 c GLOBAL bounds - >= 0 @ 3.80135
4.56/11.03 c GLOBAL bounds - >= 0 @ 3.81726
4.56/11.04 c GLOBAL bounds - >= 0 @ 3.83004
4.56/11.06 c GLOBAL bounds - >= 0 @ 3.84136
4.56/11.07 c GLOBAL bounds - >= 0 @ 3.85423
4.56/11.09 c GLOBAL bounds - >= 0 @ 3.86605
4.66/11.11 c GLOBAL bounds - >= 0 @ 3.88075
4.66/11.12 c GLOBAL bounds - >= 0 @ 3.89494
4.66/11.14 c GLOBAL bounds - >= 0 @ 3.90944
4.66/11.16 c GLOBAL bounds - >= 0 @ 3.92231
4.66/11.17 c GLOBAL bounds - >= 0 @ 3.93596
4.66/11.19 c GLOBAL bounds - >= 0 @ 3.94685
4.76/11.21 c GLOBAL bounds - >= 0 @ 3.96303
4.76/11.23 c GLOBAL bounds - >= 0 @ 3.97622
4.76/11.24 c GLOBAL bounds - >= 0 @ 3.98983
4.76/11.26 c GLOBAL bounds - >= 0 @ 4.00096
4.76/11.27 c GLOBAL bounds - >= 0 @ 4.01295
4.76/11.29 c GLOBAL bounds - >= 0 @ 4.02694
4.86/11.31 c GLOBAL bounds - >= 0 @ 4.04014
4.86/11.32 c GLOBAL bounds - >= 0 @ 4.05218
4.86/11.35 c GLOBAL bounds - >= 0 @ 4.07636
4.86/11.37 c GLOBAL bounds - >= 0 @ 4.10029
4.95/11.42 c GLOBAL bounds - >= 0 @ 4.12996
4.95/11.44 c GLOBAL bounds - >= 0 @ 4.14831
4.95/11.47 c GLOBAL bounds - >= 0 @ 4.16939
4.95/11.49 c GLOBAL bounds - >= 0 @ 4.18605
5.06/11.51 c GLOBAL bounds - >= 0 @ 4.19841
5.06/11.53 c GLOBAL bounds - >= 0 @ 4.21647
5.06/11.55 c GLOBAL bounds - >= 0 @ 4.22984
5.06/11.57 c GLOBAL bounds - >= 0 @ 4.24364
5.06/11.58 c GLOBAL bounds - >= 0 @ 4.25842
5.15/11.60 c GLOBAL bounds - >= 0 @ 4.27121
5.15/11.62 c GLOBAL bounds - >= 0 @ 4.28408
5.15/11.64 c GLOBAL bounds - >= 0 @ 4.29691
5.15/11.65 c GLOBAL bounds - >= 0 @ 4.307
5.15/11.67 c GLOBAL bounds - >= 0 @ 4.31982
5.15/11.69 c GLOBAL bounds - >= 0 @ 4.33379
5.25/11.71 c GLOBAL bounds - >= 0 @ 4.34861
5.25/11.72 c GLOBAL bounds - >= 0 @ 4.36157
5.25/11.74 c GLOBAL bounds - >= 0 @ 4.37741
5.25/11.76 c GLOBAL bounds - >= 0 @ 4.39261
5.25/11.78 c GLOBAL bounds - >= 0 @ 4.40924
5.35/11.80 c GLOBAL bounds - >= 0 @ 4.42365
5.35/11.82 c GLOBAL bounds - >= 0 @ 4.44118
5.35/11.85 c GLOBAL bounds - >= 0 @ 4.4613
5.35/11.87 c GLOBAL bounds - >= 0 @ 4.48342
5.46/11.90 c GLOBAL bounds - >= 0 @ 4.50642
5.46/11.92 c GLOBAL bounds - >= 0 @ 4.52972
5.46/11.95 c GLOBAL bounds - >= 0 @ 4.54725
5.46/11.97 c GLOBAL bounds - >= 0 @ 4.5656
5.46/11.99 c GLOBAL bounds - >= 0 @ 4.58139
5.56/12.01 c GLOBAL bounds - >= 0 @ 4.60148
5.56/12.03 c GLOBAL bounds - >= 0 @ 4.61935
5.56/12.05 c GLOBAL bounds - >= 0 @ 4.63712
5.56/12.08 c GLOBAL bounds - >= 0 @ 4.65669
5.66/12.11 c GLOBAL bounds - >= 0 @ 4.68256
5.66/12.14 c GLOBAL bounds - >= 0 @ 4.71144
5.66/12.16 c GLOBAL bounds - >= 0 @ 4.73286
5.75/12.21 c GLOBAL bounds - >= 0 @ 4.7764
5.75/12.25 c GLOBAL bounds - >= 0 @ 4.80426
5.75/12.29 c GLOBAL bounds - >= 0 @ 4.83793
5.85/12.31 c GLOBAL bounds - >= 0 @ 4.8585
5.85/12.34 c GLOBAL bounds - >= 0 @ 4.88361
5.85/12.36 c GLOBAL bounds - >= 0 @ 4.90223
5.85/12.39 c GLOBAL bounds - >= 0 @ 4.92381
5.95/12.41 c GLOBAL bounds - >= 0 @ 4.94328
5.95/12.44 c GLOBAL bounds - >= 0 @ 4.96371
5.95/12.46 c GLOBAL bounds - >= 0 @ 4.98318
5.95/12.48 c GLOBAL bounds - >= 0 @ 5.00259
6.05/12.50 c GLOBAL bounds - >= 0 @ 5.01953
6.05/12.52 c GLOBAL bounds - >= 0 @ 5.03971
6.05/12.54 c GLOBAL bounds - >= 0 @ 5.05805
6.05/12.57 c GLOBAL bounds - >= 0 @ 5.07728
6.05/12.59 c GLOBAL bounds - >= 0 @ 5.09648
6.16/12.61 c GLOBAL bounds - >= 0 @ 5.11529
6.16/12.63 c GLOBAL bounds - >= 0 @ 5.13604
6.16/12.65 c GLOBAL bounds - >= 0 @ 5.15073
6.16/12.67 c GLOBAL bounds - >= 0 @ 5.16719
6.16/12.69 c GLOBAL bounds - >= 0 @ 5.1817
6.25/12.71 c GLOBAL bounds - >= 0 @ 5.19835
6.25/12.73 c GLOBAL bounds - >= 0 @ 5.21494
6.25/12.75 c GLOBAL bounds - >= 0 @ 5.23257
6.25/12.77 c GLOBAL bounds - >= 0 @ 5.24816
6.25/12.79 c GLOBAL bounds - >= 0 @ 5.26576
6.36/12.81 c GLOBAL bounds - >= 0 @ 5.28439
6.36/12.84 c GLOBAL bounds - >= 0 @ 5.30375
6.36/12.86 c GLOBAL bounds - >= 0 @ 5.32259
6.36/12.88 c GLOBAL bounds - >= 0 @ 5.33556
6.46/12.90 c GLOBAL bounds - >= 0 @ 5.35802
6.46/12.93 c GLOBAL bounds - >= 0 @ 5.37679
6.46/12.95 c GLOBAL bounds - >= 0 @ 5.39747
6.46/12.98 c GLOBAL bounds - >= 0 @ 5.41828
6.55/13.00 c GLOBAL bounds - >= 0 @ 5.44021
6.55/13.03 c GLOBAL bounds - >= 0 @ 5.45805
6.55/13.05 c GLOBAL bounds - >= 0 @ 5.4772
6.55/13.07 c GLOBAL bounds - >= 0 @ 5.4925
6.55/13.09 c GLOBAL bounds - >= 0 @ 5.50962
6.65/13.12 c GLOBAL bounds - >= 0 @ 5.53147
6.65/13.14 c GLOBAL bounds - >= 0 @ 5.55247
6.65/13.17 c GLOBAL bounds - >= 0 @ 5.57284
6.65/13.19 c GLOBAL bounds - >= 0 @ 5.59414
6.75/13.22 c GLOBAL bounds - >= 0 @ 5.61481
6.75/13.24 c GLOBAL bounds - >= 0 @ 5.63321
6.75/13.26 c GLOBAL bounds - >= 0 @ 5.65175
6.75/13.28 c GLOBAL bounds - >= 0 @ 5.6684
6.86/13.31 c GLOBAL bounds - >= 0 @ 5.68751
6.86/13.33 c GLOBAL bounds - >= 0 @ 5.70305
6.86/13.36 c GLOBAL bounds - >= 0 @ 5.72833
6.95/13.42 c GLOBAL bounds - >= 0 @ 5.77719
6.95/13.46 c GLOBAL bounds - >= 0 @ 5.81384
6.95/13.49 c GLOBAL bounds - >= 0 @ 5.84017
7.05/13.52 c GLOBAL bounds - >= 0 @ 5.86753
7.05/13.55 c GLOBAL bounds - >= 0 @ 5.89034
7.05/13.57 c GLOBAL bounds - >= 0 @ 5.91083
7.15/13.60 c GLOBAL bounds - >= 0 @ 5.93601
7.15/13.63 c GLOBAL bounds - >= 0 @ 5.95861
7.15/13.65 c GLOBAL bounds - >= 0 @ 5.98114
7.15/13.68 c GLOBAL bounds - >= 0 @ 6.00001
7.25/13.70 c GLOBAL bounds - >= 0 @ 6.01971
7.25/13.72 c GLOBAL bounds - >= 0 @ 6.04003
7.25/13.75 c GLOBAL bounds - >= 0 @ 6.0586
7.25/13.77 c GLOBAL bounds - >= 0 @ 6.08016
7.25/13.79 c GLOBAL bounds - >= 0 @ 6.0998
7.35/13.82 c GLOBAL bounds - >= 0 @ 6.12146
7.35/13.84 c GLOBAL bounds - >= 0 @ 6.14425
7.35/13.86 c GLOBAL bounds - >= 0 @ 6.16101
7.35/13.89 c GLOBAL bounds - >= 0 @ 6.1786
7.45/13.91 c GLOBAL bounds - >= 0 @ 6.19627
7.45/13.93 c GLOBAL bounds - >= 0 @ 6.21309
7.45/13.95 c GLOBAL bounds - >= 0 @ 6.23357
7.45/13.98 c GLOBAL bounds - >= 0 @ 6.25553
7.55/14.00 c GLOBAL bounds - >= 0 @ 6.27705
7.55/14.03 c GLOBAL bounds - >= 0 @ 6.2992
7.55/14.05 c GLOBAL bounds - >= 0 @ 6.31627
7.55/14.08 c GLOBAL bounds - >= 0 @ 6.34022
7.55/14.10 c GLOBAL bounds - >= 0 @ 6.36245
7.65/14.12 c GLOBAL bounds - >= 0 @ 6.38259
7.65/14.14 c GLOBAL bounds - >= 0 @ 6.40271
7.65/14.17 c GLOBAL bounds - >= 0 @ 6.42214
7.65/14.19 c GLOBAL bounds - >= 0 @ 6.44218
7.74/14.21 c GLOBAL bounds - >= 0 @ 6.46315
7.74/14.23 c GLOBAL bounds - >= 0 @ 6.48016
7.74/14.25 c GLOBAL bounds - >= 0 @ 6.49834
7.74/14.28 c GLOBAL bounds - >= 0 @ 6.51728
7.85/14.30 c GLOBAL bounds - >= 0 @ 6.54148
7.85/14.32 c GLOBAL bounds - >= 0 @ 6.56171
7.85/14.35 c GLOBAL bounds - >= 0 @ 6.58063
7.85/14.37 c GLOBAL bounds - >= 0 @ 6.60062
7.85/14.39 c GLOBAL bounds - >= 0 @ 6.61766
7.95/14.41 c GLOBAL bounds - >= 0 @ 6.63661
7.95/14.44 c GLOBAL bounds - >= 0 @ 6.65569
7.95/14.46 c GLOBAL bounds - >= 0 @ 6.67186
7.95/14.48 c GLOBAL bounds - >= 0 @ 6.68784
8.04/14.50 c GLOBAL bounds - >= 0 @ 6.70585
8.04/14.53 c GLOBAL bounds - >= 0 @ 6.72577
8.04/14.55 c GLOBAL bounds - >= 0 @ 6.74819
8.04/14.58 c GLOBAL bounds - >= 0 @ 6.76847
8.15/14.60 c GLOBAL bounds - >= 0 @ 6.78782
8.15/14.62 c GLOBAL bounds - >= 0 @ 6.80797
8.15/14.65 c GLOBAL bounds - >= 0 @ 6.82863
8.15/14.67 c GLOBAL bounds - >= 0 @ 6.84888
8.15/14.69 c GLOBAL bounds - >= 0 @ 6.86918
8.25/14.72 c GLOBAL bounds - >= 0 @ 6.89281
8.25/14.75 c GLOBAL bounds - >= 0 @ 6.91889
8.25/14.78 c GLOBAL bounds - >= 0 @ 6.94319
8.35/14.80 c GLOBAL bounds - >= 0 @ 6.96508
8.35/14.83 c GLOBAL bounds - >= 0 @ 6.98665
8.35/14.85 c GLOBAL bounds - >= 0 @ 7.00532
8.35/14.87 c GLOBAL bounds - >= 0 @ 7.0247
8.35/14.89 c GLOBAL bounds - >= 0 @ 7.04132
8.45/14.92 c GLOBAL bounds - >= 0 @ 7.0628
8.45/14.94 c GLOBAL bounds - >= 0 @ 7.08335
8.45/14.96 c GLOBAL bounds - >= 0 @ 7.10183
8.45/14.98 c GLOBAL bounds - >= 0 @ 7.1194
8.55/15.01 c GLOBAL bounds - >= 0 @ 7.13704
8.55/15.03 c GLOBAL bounds - >= 0 @ 7.15561
8.55/15.05 c GLOBAL bounds - >= 0 @ 7.17524
8.55/15.07 c GLOBAL bounds - >= 0 @ 7.19181
8.55/15.10 c GLOBAL bounds - >= 0 @ 7.21233
8.65/15.12 c GLOBAL bounds - >= 0 @ 7.23283
8.65/15.14 c GLOBAL bounds - >= 0 @ 7.25357
8.65/15.17 c GLOBAL bounds - >= 0 @ 7.27221
8.65/15.19 c GLOBAL bounds - >= 0 @ 7.2898
8.75/15.21 c GLOBAL bounds - >= 0 @ 7.30949
8.75/15.24 c GLOBAL bounds - >= 0 @ 7.32911
8.85/15.36 c GLOBAL bounds - >= 0 @ 7.38882
8.85/15.38 c GLOBAL bounds - >= 0 @ 7.4095
8.94/15.40 c GLOBAL bounds - >= 0 @ 7.4272
8.94/15.43 c GLOBAL bounds - >= 0 @ 7.44687
8.94/15.45 c GLOBAL bounds - >= 0 @ 7.46765
8.94/15.47 c GLOBAL bounds - >= 0 @ 7.48725
9.05/15.50 c GLOBAL bounds - >= 0 @ 7.50985
9.05/15.52 c GLOBAL bounds - >= 0 @ 7.52846
9.05/15.54 c GLOBAL bounds - >= 0 @ 7.54611
9.05/15.56 c GLOBAL bounds - >= 0 @ 7.5617
9.05/15.59 c GLOBAL bounds - >= 0 @ 7.58054
9.14/15.61 c GLOBAL bounds - >= 0 @ 7.60238
9.14/15.63 c GLOBAL bounds - >= 0 @ 7.62003
9.14/15.66 c GLOBAL bounds - >= 0 @ 7.63964
9.14/15.68 c GLOBAL bounds - >= 0 @ 7.6577
9.25/15.70 c GLOBAL bounds - >= 0 @ 7.67834
9.25/15.73 c GLOBAL bounds - >= 0 @ 7.70015
9.25/15.75 c GLOBAL bounds - >= 0 @ 7.71973
9.25/15.77 c GLOBAL bounds - >= 0 @ 7.74141
9.35/15.80 c GLOBAL bounds - >= 0 @ 7.76112
9.35/15.82 c GLOBAL bounds - >= 0 @ 7.78187
9.35/15.84 c GLOBAL bounds - >= 0 @ 7.8037
9.35/15.87 c GLOBAL bounds - >= 0 @ 7.82647
9.35/15.89 c GLOBAL bounds - >= 0 @ 7.84422
9.44/15.92 c GLOBAL bounds - >= 0 @ 7.86655
9.44/15.95 c GLOBAL bounds - >= 0 @ 7.88987
9.44/15.97 c GLOBAL bounds - >= 0 @ 7.91195
9.44/15.99 c GLOBAL bounds - >= 0 @ 7.92978
9.55/16.02 c GLOBAL bounds - >= 0 @ 7.95269
9.55/16.04 c GLOBAL bounds - >= 0 @ 7.97557
9.55/16.07 c GLOBAL bounds - >= 0 @ 7.99849
9.65/16.10 c GLOBAL bounds - >= 0 @ 8.02011
9.65/16.13 c GLOBAL bounds - >= 0 @ 8.04545
9.65/16.16 c GLOBAL bounds - >= 0 @ 8.06917
9.65/16.19 c GLOBAL bounds - >= 0 @ 8.09423
9.74/16.21 c GLOBAL bounds - >= 0 @ 8.11946
9.74/16.24 c GLOBAL bounds - >= 0 @ 8.14112
9.74/16.26 c GLOBAL bounds - >= 0 @ 8.16114
9.74/16.29 c GLOBAL bounds - >= 0 @ 8.18494
9.84/16.32 c GLOBAL bounds - >= 0 @ 8.20698
9.84/16.35 c GLOBAL bounds - >= 0 @ 8.23071
9.84/16.37 c GLOBAL bounds - >= 0 @ 8.24854
9.94/16.40 c GLOBAL bounds - >= 0 @ 8.26965
9.94/16.43 c GLOBAL bounds - >= 0 @ 8.29342
9.94/16.45 c GLOBAL bounds - >= 0 @ 8.314
9.94/16.48 c GLOBAL bounds - >= 0 @ 8.33454
10.04/16.50 c GLOBAL bounds - >= 0 @ 8.35308
10.04/16.53 c GLOBAL bounds - >= 0 @ 8.36948
10.04/16.55 c GLOBAL bounds - >= 0 @ 8.38887
10.04/16.57 c GLOBAL bounds - >= 0 @ 8.4063
10.14/16.60 c GLOBAL bounds - >= 0 @ 8.42679
10.14/16.62 c GLOBAL bounds - >= 0 @ 8.44919
10.14/16.64 c GLOBAL bounds - >= 0 @ 8.46863
10.14/16.67 c GLOBAL bounds - >= 0 @ 8.48899
10.14/16.69 c GLOBAL bounds - >= 0 @ 8.50937
10.24/16.72 c GLOBAL bounds - >= 0 @ 8.53184
10.24/16.74 c GLOBAL bounds - >= 0 @ 8.54946
10.24/16.77 c GLOBAL bounds - >= 0 @ 8.56799
10.24/16.79 c GLOBAL bounds - >= 0 @ 8.58865
10.34/16.81 c GLOBAL bounds - >= 0 @ 8.60949
10.34/16.84 c GLOBAL bounds - >= 0 @ 8.62823
10.34/16.86 c GLOBAL bounds - >= 0 @ 8.64934
10.34/16.89 c GLOBAL bounds - >= 0 @ 8.66959
10.44/16.92 c GLOBAL bounds - >= 0 @ 8.6937
10.44/16.94 c GLOBAL bounds - >= 0 @ 8.71266
10.44/16.97 c GLOBAL bounds - >= 0 @ 8.73262
10.44/16.99 c GLOBAL bounds - >= 0 @ 8.74783
10.55/17.01 c GLOBAL bounds - >= 0 @ 8.76673
10.55/17.04 c GLOBAL bounds - >= 0 @ 8.7906
10.55/17.06 c GLOBAL bounds - >= 0 @ 8.81346
10.55/17.09 c GLOBAL bounds - >= 0 @ 8.83433
10.65/17.11 c GLOBAL bounds - >= 0 @ 8.85736
10.65/17.15 c GLOBAL bounds - >= 0 @ 8.88127
10.65/17.18 c GLOBAL bounds - >= 0 @ 8.9091
10.74/17.21 c GLOBAL bounds - >= 0 @ 8.93422
10.74/17.24 c GLOBAL bounds - >= 0 @ 8.95764
10.74/17.26 c GLOBAL bounds - >= 0 @ 8.97919
10.74/17.29 c GLOBAL bounds - >= 0 @ 9.00354
10.84/17.31 c GLOBAL bounds - >= 0 @ 9.02271
10.84/17.34 c GLOBAL bounds - >= 0 @ 9.04378
10.84/17.36 c GLOBAL bounds - >= 0 @ 9.06483
10.84/17.39 c GLOBAL bounds - >= 0 @ 9.08793
10.94/17.41 c GLOBAL bounds - >= 0 @ 9.10911
10.94/17.44 c GLOBAL bounds - >= 0 @ 9.12829
10.94/17.46 c GLOBAL bounds - >= 0 @ 9.15426
10.94/17.49 c GLOBAL bounds - >= 0 @ 9.17371
11.04/17.51 c GLOBAL bounds - >= 0 @ 9.19195
11.04/17.54 c GLOBAL bounds - >= 0 @ 9.21531
11.04/17.57 c GLOBAL bounds - >= 0 @ 9.23661
11.04/17.60 c GLOBAL bounds - >= 0 @ 9.26438
11.14/17.62 c GLOBAL bounds - >= 0 @ 9.28344
11.14/17.65 c GLOBAL bounds - >= 0 @ 9.30484
11.14/17.68 c GLOBAL bounds - >= 0 @ 9.32546
11.24/17.71 c GLOBAL bounds - >= 0 @ 9.35005
11.24/17.73 c GLOBAL bounds - >= 0 @ 9.37059
11.24/17.76 c GLOBAL bounds - >= 0 @ 9.39734
11.24/17.79 c GLOBAL bounds - >= 0 @ 9.4213
11.34/17.81 c GLOBAL bounds - >= 0 @ 9.44287
11.34/17.84 c GLOBAL bounds - >= 0 @ 9.46124
11.34/17.86 c GLOBAL bounds - >= 0 @ 9.48453
11.34/17.89 c GLOBAL bounds - >= 0 @ 9.50488
11.44/17.91 c GLOBAL bounds - >= 0 @ 9.52431
11.44/17.93 c GLOBAL bounds - >= 0 @ 9.54554
11.44/17.96 c GLOBAL bounds - >= 0 @ 9.56484
11.44/17.98 c GLOBAL bounds - >= 0 @ 9.58226
11.54/18.01 c GLOBAL bounds - >= 0 @ 9.60053
11.54/18.03 c GLOBAL bounds - >= 0 @ 9.62082
11.54/18.06 c GLOBAL bounds - >= 0 @ 9.64119
11.54/18.08 c GLOBAL bounds - >= 0 @ 9.66251
11.65/18.10 c GLOBAL bounds - >= 0 @ 9.68475
11.65/18.13 c GLOBAL bounds - >= 0 @ 9.70611
11.65/18.15 c GLOBAL bounds - >= 0 @ 9.72868
11.65/18.18 c GLOBAL bounds - >= 0 @ 9.74696
11.74/18.20 c GLOBAL bounds - >= 0 @ 9.76637
11.74/18.23 c GLOBAL bounds - >= 0 @ 9.78565
11.74/18.25 c GLOBAL bounds - >= 0 @ 9.80689
11.74/18.28 c GLOBAL bounds - >= 0 @ 9.82769
11.84/18.30 c GLOBAL bounds - >= 0 @ 9.84495
11.84/18.32 c GLOBAL bounds - >= 0 @ 9.86229
11.84/18.35 c GLOBAL bounds - >= 0 @ 9.8815
11.84/18.37 c GLOBAL bounds - >= 0 @ 9.90377
11.94/18.40 c GLOBAL bounds - >= 0 @ 9.92405
11.94/18.42 c GLOBAL bounds - >= 0 @ 9.94327
11.94/18.45 c GLOBAL bounds - >= 0 @ 9.96458
11.94/18.47 c GLOBAL bounds - >= 0 @ 9.98285
11.94/18.49 c GLOBAL bounds - >= 0 @ 10.0041
12.04/18.52 c GLOBAL bounds - >= 0 @ 10.0243
12.04/18.54 c GLOBAL bounds - >= 0 @ 10.0436
12.04/18.57 c GLOBAL bounds - >= 0 @ 10.0608
12.04/18.59 c GLOBAL bounds - >= 0 @ 10.084
12.14/18.62 c GLOBAL bounds - >= 0 @ 10.1053
12.14/18.64 c GLOBAL bounds - >= 0 @ 10.1285
12.14/18.67 c GLOBAL bounds - >= 0 @ 10.1487
12.14/18.69 c GLOBAL bounds - >= 0 @ 10.1698
12.24/18.72 c GLOBAL bounds - >= 0 @ 10.1913
12.24/18.74 c GLOBAL bounds - >= 0 @ 10.2125
12.24/18.77 c GLOBAL bounds - >= 0 @ 10.2326
12.24/18.79 c GLOBAL bounds - >= 0 @ 10.2498
12.34/18.81 c GLOBAL bounds - >= 0 @ 10.2709
12.34/18.84 c GLOBAL bounds - >= 0 @ 10.291
12.34/18.87 c GLOBAL bounds - >= 0 @ 10.3131
12.34/18.89 c GLOBAL bounds - >= 0 @ 10.3386
12.44/18.92 c GLOBAL bounds - >= 0 @ 10.3608
12.44/18.94 c GLOBAL bounds - >= 0 @ 10.3826
12.44/18.97 c GLOBAL bounds - >= 0 @ 10.4038
12.44/18.99 c GLOBAL bounds - >= 0 @ 10.4242
12.54/19.02 c GLOBAL bounds - >= 0 @ 10.4434
12.54/19.04 c GLOBAL bounds - >= 0 @ 10.4654
12.54/19.07 c GLOBAL bounds - >= 0 @ 10.4896
12.54/19.10 c GLOBAL bounds - >= 0 @ 10.5131
12.64/19.12 c GLOBAL bounds - >= 0 @ 10.5317
12.64/19.15 c GLOBAL bounds - >= 0 @ 10.551
12.64/19.17 c GLOBAL bounds - >= 0 @ 10.5682
12.73/19.20 c GLOBAL bounds - >= 0 @ 10.5873
12.73/19.22 c GLOBAL bounds - >= 0 @ 10.6064
12.73/19.25 c GLOBAL bounds - >= 0 @ 10.6276
12.73/19.27 c GLOBAL bounds - >= 0 @ 10.6508
12.84/19.30 c GLOBAL bounds - >= 0 @ 10.6723
12.84/19.32 c GLOBAL bounds - >= 0 @ 10.6955
12.84/19.35 c GLOBAL bounds - >= 0 @ 10.7246
12.84/19.38 c GLOBAL bounds - >= 0 @ 10.7511
12.94/19.41 c GLOBAL bounds - >= 0 @ 10.7763
12.94/19.44 c GLOBAL bounds - >= 0 @ 10.8019
12.94/19.47 c GLOBAL bounds - >= 0 @ 10.8234
13.03/19.50 c GLOBAL bounds - >= 0 @ 10.8481
13.03/19.52 c GLOBAL bounds - >= 0 @ 10.8707
13.03/19.55 c GLOBAL bounds - >= 0 @ 10.8934
13.03/19.58 c GLOBAL bounds - >= 0 @ 10.9179
13.13/19.60 c GLOBAL bounds - >= 0 @ 10.9434
13.13/19.63 c GLOBAL bounds - >= 0 @ 10.963
13.13/19.65 c GLOBAL bounds - >= 0 @ 10.989
13.13/19.68 c GLOBAL bounds - >= 0 @ 11.0094
13.24/19.71 c GLOBAL bounds - >= 0 @ 11.0322
13.24/19.73 c GLOBAL bounds - >= 0 @ 11.0519
13.24/19.76 c GLOBAL bounds - >= 0 @ 11.0723
13.24/19.78 c GLOBAL bounds - >= 0 @ 11.0949
13.34/19.81 c GLOBAL bounds - >= 0 @ 11.1192
13.34/19.84 c GLOBAL bounds - >= 0 @ 11.1431
13.34/19.86 c GLOBAL bounds - >= 0 @ 11.1633
13.34/19.89 c GLOBAL bounds - >= 0 @ 11.1801
13.43/19.92 c GLOBAL bounds - >= 0 @ 11.2056
13.43/19.94 c GLOBAL bounds - >= 0 @ 11.2293
13.43/19.97 c GLOBAL bounds - >= 0 @ 11.2481
13.43/20.00 c GLOBAL bounds - >= 0 @ 11.2688
13.54/20.02 c GLOBAL bounds - >= 0 @ 11.2916
13.54/20.05 c GLOBAL bounds - >= 0 @ 11.3141
13.54/20.07 c GLOBAL bounds - >= 0 @ 11.3358
13.54/20.10 c GLOBAL bounds - >= 0 @ 11.3554
13.64/20.12 c GLOBAL bounds - >= 0 @ 11.38
13.64/20.15 c GLOBAL bounds - >= 0 @ 11.4028
13.64/20.17 c GLOBAL bounds - >= 0 @ 11.4244
13.73/20.20 c GLOBAL bounds - >= 0 @ 11.4469
13.73/20.25 c GLOBAL bounds - >= 0 @ 11.4893
13.73/20.27 c GLOBAL bounds - >= 0 @ 11.5121
13.83/20.30 c GLOBAL bounds - >= 0 @ 11.5308
13.83/20.32 c GLOBAL bounds - >= 0 @ 11.5485
13.83/20.35 c GLOBAL bounds - >= 0 @ 11.5679
13.83/20.37 c GLOBAL bounds - >= 0 @ 11.5915
13.94/20.40 c GLOBAL bounds - >= 0 @ 11.6178
13.94/20.43 c GLOBAL bounds - >= 0 @ 11.6373
13.94/20.46 c GLOBAL bounds - >= 0 @ 11.6619
13.94/20.49 c GLOBAL bounds - >= 0 @ 11.6838
14.04/20.51 c GLOBAL bounds - >= 0 @ 11.7036
14.04/20.54 c GLOBAL bounds - >= 0 @ 11.7271
14.04/20.56 c GLOBAL bounds - >= 0 @ 11.7478
14.04/20.59 c GLOBAL bounds - >= 0 @ 11.7755
14.14/20.62 c GLOBAL bounds - >= 0 @ 11.8039
14.14/20.65 c GLOBAL bounds - >= 0 @ 11.8306
14.14/20.69 c GLOBAL bounds - >= 0 @ 11.857
14.23/20.71 c GLOBAL bounds - >= 0 @ 11.882
14.23/20.74 c GLOBAL bounds - >= 0 @ 11.9082
14.23/20.77 c GLOBAL bounds - >= 0 @ 11.9343
14.33/20.80 c GLOBAL bounds - >= 0 @ 11.964
14.33/20.83 c GLOBAL bounds - >= 0 @ 11.988
14.33/20.86 c GLOBAL bounds - >= 0 @ 12.0132
14.33/20.89 c GLOBAL bounds - >= 0 @ 12.0379
14.43/20.92 c GLOBAL bounds - >= 0 @ 12.0608
14.43/20.95 c GLOBAL bounds - >= 0 @ 12.0883
14.43/20.98 c GLOBAL bounds - >= 0 @ 12.1197
14.53/21.02 c GLOBAL bounds - >= 0 @ 12.1531
14.53/21.05 c GLOBAL bounds - >= 0 @ 12.1856
14.53/21.08 c GLOBAL bounds - >= 0 @ 12.2112
14.64/21.11 c GLOBAL bounds - >= 0 @ 12.2354
14.64/21.14 c GLOBAL bounds - >= 0 @ 12.2596
14.64/21.17 c GLOBAL bounds - >= 0 @ 12.2857
14.73/21.20 c GLOBAL bounds - >= 0 @ 12.308
14.73/21.23 c GLOBAL bounds - >= 0 @ 12.3342
14.73/21.25 c GLOBAL bounds - >= 0 @ 12.3587
14.73/21.28 c GLOBAL bounds - >= 0 @ 12.3839
14.83/21.31 c GLOBAL bounds - >= 0 @ 12.4104
14.83/21.34 c GLOBAL bounds - >= 0 @ 12.4335
14.83/21.37 c GLOBAL bounds - >= 0 @ 12.4554
14.93/21.40 c GLOBAL bounds - >= 0 @ 12.4785
14.93/21.43 c GLOBAL bounds - >= 0 @ 12.5055
14.93/21.46 c GLOBAL bounds - >= 0 @ 12.5324
15.04/21.50 c GLOBAL bounds - >= 0 @ 12.5589
15.04/21.53 c GLOBAL bounds - >= 0 @ 12.5931
15.04/21.56 c GLOBAL bounds - >= 0 @ 12.6143
15.04/21.59 c GLOBAL bounds - >= 0 @ 12.6339
15.13/21.61 c GLOBAL bounds - >= 0 @ 12.6544
15.13/21.64 c GLOBAL bounds - >= 0 @ 12.6759
15.13/21.67 c GLOBAL bounds - >= 0 @ 12.6975
15.13/21.69 c GLOBAL bounds - >= 0 @ 12.719
15.23/21.72 c GLOBAL bounds - >= 0 @ 12.7395
15.23/21.74 c GLOBAL bounds - >= 0 @ 12.7594
15.23/21.77 c GLOBAL bounds - >= 0 @ 12.7781
15.23/21.79 c GLOBAL bounds - >= 0 @ 12.8015
15.33/21.82 c GLOBAL bounds - >= 0 @ 12.8229
15.33/21.84 c GLOBAL bounds - >= 0 @ 12.8432
15.33/21.87 c GLOBAL bounds - >= 0 @ 12.8645
15.33/21.90 c GLOBAL bounds - >= 0 @ 12.8819
15.43/21.92 c GLOBAL bounds - >= 0 @ 12.9053
15.43/21.95 c GLOBAL bounds - >= 0 @ 12.9286
15.43/21.97 c GLOBAL bounds - >= 0 @ 12.9518
15.43/22.00 c GLOBAL bounds - >= 0 @ 12.9731
15.53/22.02 c GLOBAL bounds - >= 0 @ 12.9955
15.53/22.05 c GLOBAL bounds - >= 0 @ 13.016
15.53/22.07 c GLOBAL bounds - >= 0 @ 13.0372
15.53/22.10 c GLOBAL bounds - >= 0 @ 13.0583
15.64/22.12 c GLOBAL bounds - >= 0 @ 13.0805
15.64/22.15 c GLOBAL bounds - >= 0 @ 13.103
15.64/22.18 c GLOBAL bounds - >= 0 @ 13.1252
15.73/22.20 c GLOBAL bounds - >= 0 @ 13.1505
15.73/22.23 c GLOBAL bounds - >= 0 @ 13.1698
15.73/22.25 c GLOBAL bounds - >= 0 @ 13.191
15.73/22.28 c GLOBAL bounds - >= 0 @ 13.212
15.83/22.30 c GLOBAL bounds - >= 0 @ 13.2331
15.83/22.33 c GLOBAL bounds - >= 0 @ 13.2563
15.83/22.36 c GLOBAL bounds - >= 0 @ 13.2795
15.83/22.38 c GLOBAL bounds - >= 0 @ 13.2995
15.93/22.41 c GLOBAL bounds - >= 0 @ 13.3215
15.93/22.43 c GLOBAL bounds - >= 0 @ 13.3407
15.93/22.46 c GLOBAL bounds - >= 0 @ 13.3628
15.93/22.49 c GLOBAL bounds - >= 0 @ 13.3835
16.03/22.51 c GLOBAL bounds - >= 0 @ 13.4037
16.03/22.54 c GLOBAL bounds - >= 0 @ 13.4277
16.03/22.56 c GLOBAL bounds - >= 0 @ 13.4488
16.03/22.59 c GLOBAL bounds - >= 0 @ 13.4717
16.13/22.61 c GLOBAL bounds - >= 0 @ 13.4919
16.13/22.64 c GLOBAL bounds - >= 0 @ 13.5156
16.13/22.66 c GLOBAL bounds - >= 0 @ 13.5365
16.13/22.69 c GLOBAL bounds - >= 0 @ 13.5554
16.22/22.71 c GLOBAL bounds - >= 0 @ 13.5774
16.22/22.74 c GLOBAL bounds - >= 0 @ 13.6003
16.22/22.77 c GLOBAL bounds - >= 0 @ 13.6223
16.33/22.80 c GLOBAL bounds - >= 0 @ 13.6482
16.33/22.83 c GLOBAL bounds - >= 0 @ 13.6719
16.33/22.86 c GLOBAL bounds - >= 0 @ 13.6943
16.33/22.88 c GLOBAL bounds - >= 0 @ 13.7172
16.42/22.91 c GLOBAL bounds - >= 0 @ 13.7452
16.42/22.94 c GLOBAL bounds - >= 0 @ 13.7728
16.42/22.97 c GLOBAL bounds - >= 0 @ 13.7984
16.54/23.00 c GLOBAL bounds - >= 0 @ 13.8221
16.54/23.03 c GLOBAL bounds - >= 0 @ 13.8412
16.54/23.05 c GLOBAL bounds - >= 0 @ 13.863
16.54/23.08 c GLOBAL bounds - >= 0 @ 13.8808
16.63/23.10 c GLOBAL bounds - >= 0 @ 13.897
16.63/23.13 c GLOBAL bounds - >= 0 @ 13.9177
16.63/23.16 c GLOBAL bounds - >= 0 @ 13.9409
16.63/23.18 c GLOBAL bounds - >= 0 @ 13.9647
16.72/23.21 c GLOBAL bounds - >= 0 @ 13.9873
16.72/23.23 c GLOBAL bounds - >= 0 @ 14.0073
16.72/23.26 c GLOBAL bounds - >= 0 @ 14.028
16.72/23.28 c GLOBAL bounds - >= 0 @ 14.0496
16.83/23.31 c GLOBAL bounds - >= 0 @ 14.0712
16.83/23.33 c GLOBAL bounds - >= 0 @ 14.0929
16.83/23.36 c GLOBAL bounds - >= 0 @ 14.1146
16.83/23.39 c GLOBAL bounds - >= 0 @ 14.1418
16.93/23.42 c GLOBAL bounds - >= 0 @ 14.1675
16.93/23.44 c GLOBAL bounds - >= 0 @ 14.1895
16.93/23.47 c GLOBAL bounds - >= 0 @ 14.211
17.03/23.50 c GLOBAL bounds - >= 0 @ 14.2372
17.03/23.53 c GLOBAL bounds - >= 0 @ 14.2635
17.03/23.56 c GLOBAL bounds - >= 0 @ 14.2857
17.03/23.58 c GLOBAL bounds - >= 0 @ 14.3101
17.12/23.62 c GLOBAL bounds - >= 0 @ 14.3356
17.12/23.65 c GLOBAL bounds - >= 0 @ 14.3614
17.12/23.68 c GLOBAL bounds - >= 0 @ 14.3844
17.22/23.70 c GLOBAL bounds - >= 0 @ 14.4039
17.22/23.73 c GLOBAL bounds - >= 0 @ 14.4251
17.22/23.76 c GLOBAL bounds - >= 0 @ 14.4491
17.22/23.79 c GLOBAL bounds - >= 0 @ 14.4735
17.33/23.81 c GLOBAL bounds - >= 0 @ 14.4936
17.33/23.84 c GLOBAL bounds - >= 0 @ 14.5174
17.33/23.87 c GLOBAL bounds - >= 0 @ 14.5392
17.42/23.90 c GLOBAL bounds - >= 0 @ 14.5586
17.42/23.92 c GLOBAL bounds - >= 0 @ 14.5778
17.42/23.95 c GLOBAL bounds - >= 0 @ 14.5998
17.42/23.97 c GLOBAL bounds - >= 0 @ 14.6208
17.42/24.00 c GLOBAL bounds - >= 0 @ 14.644
17.53/24.02 c GLOBAL bounds - >= 0 @ 14.6664
17.53/24.05 c GLOBAL bounds - >= 0 @ 14.6925
17.53/24.08 c GLOBAL bounds - >= 0 @ 14.7105
17.63/24.10 c GLOBAL bounds - >= 0 @ 14.7316
17.63/24.13 c GLOBAL bounds - >= 0 @ 14.7546
17.63/24.15 c GLOBAL bounds - >= 0 @ 14.7777
17.63/24.18 c GLOBAL bounds - >= 0 @ 14.7996
17.73/24.20 c GLOBAL bounds - >= 0 @ 14.8196
17.73/24.23 c GLOBAL bounds - >= 0 @ 14.8394
17.73/24.25 c GLOBAL bounds - >= 0 @ 14.8602
17.73/24.28 c GLOBAL bounds - >= 0 @ 14.8801
17.82/24.30 c GLOBAL bounds - >= 0 @ 14.9029
17.82/24.33 c GLOBAL bounds - >= 0 @ 14.9227
17.82/24.35 c GLOBAL bounds - >= 0 @ 14.9435
17.82/24.38 c GLOBAL bounds - >= 0 @ 14.9642
17.92/24.40 c GLOBAL bounds - >= 0 @ 14.9859
17.92/24.43 c GLOBAL bounds - >= 0 @ 15.0067
17.92/24.45 c GLOBAL bounds - >= 0 @ 15.0274
17.92/24.48 c GLOBAL bounds - >= 0 @ 15.05
18.02/24.51 c GLOBAL bounds - >= 0 @ 15.0754
18.02/24.53 c GLOBAL bounds - >= 0 @ 15.0946
18.02/24.56 c GLOBAL bounds - >= 0 @ 15.1195
18.02/24.59 c GLOBAL bounds - >= 0 @ 15.1394
18.12/24.61 c GLOBAL bounds - >= 0 @ 15.1613
18.12/24.64 c GLOBAL bounds - >= 0 @ 15.1862
18.12/24.66 c GLOBAL bounds - >= 0 @ 15.209
18.12/24.68 c GLOBAL bounds - >= 0 @ 15.2298
18.22/24.71 c GLOBAL bounds - >= 0 @ 15.2494
18.22/24.73 c GLOBAL bounds - >= 0 @ 15.2689
18.22/24.76 c GLOBAL bounds - >= 0 @ 15.2904
18.22/24.78 c GLOBAL bounds - >= 0 @ 15.3119
18.32/24.80 c GLOBAL bounds - >= 0 @ 15.3335
18.32/24.83 c GLOBAL bounds - >= 0 @ 15.3533
18.32/24.85 c GLOBAL bounds - >= 0 @ 15.3699
18.32/24.88 c GLOBAL bounds - >= 0 @ 15.3913
18.42/24.90 c GLOBAL bounds - >= 0 @ 15.4107
18.42/24.92 c GLOBAL bounds - >= 0 @ 15.4301
18.42/24.95 c GLOBAL bounds - >= 0 @ 15.4514
18.42/24.97 c GLOBAL bounds - >= 0 @ 15.47
18.42/25.00 c GLOBAL bounds - >= 0 @ 15.4906
18.53/25.02 c GLOBAL bounds - >= 0 @ 15.5103
18.53/25.05 c GLOBAL bounds - >= 0 @ 15.5298
18.53/25.07 c GLOBAL bounds - >= 0 @ 15.5503
18.53/25.10 c GLOBAL bounds - >= 0 @ 15.5705
18.63/25.12 c GLOBAL bounds - >= 0 @ 15.595
18.63/25.15 c GLOBAL bounds - >= 0 @ 15.6123
18.63/25.17 c GLOBAL bounds - >= 0 @ 15.634
18.72/25.20 c GLOBAL bounds - >= 0 @ 15.6568
18.72/25.22 c GLOBAL bounds - >= 0 @ 15.6735
18.72/25.25 c GLOBAL bounds - >= 0 @ 15.6958
18.72/25.28 c GLOBAL bounds - >= 0 @ 15.7193
18.82/25.30 c GLOBAL bounds - >= 0 @ 15.7439
18.82/25.33 c GLOBAL bounds - >= 0 @ 15.7708
18.82/25.36 c GLOBAL bounds - >= 0 @ 15.792
18.82/25.39 c GLOBAL bounds - >= 0 @ 15.8118
18.93/25.41 c GLOBAL bounds - >= 0 @ 15.8324
18.93/25.44 c GLOBAL bounds - >= 0 @ 15.8566
18.93/25.47 c GLOBAL bounds - >= 0 @ 15.8789
18.93/25.49 c GLOBAL bounds - >= 0 @ 15.8981
19.02/25.52 c GLOBAL bounds - >= 0 @ 15.9186
19.02/25.54 c GLOBAL bounds - >= 0 @ 15.9403
19.02/25.57 c GLOBAL bounds - >= 0 @ 15.9616
19.02/25.59 c GLOBAL bounds - >= 0 @ 15.9798
19.12/25.62 c GLOBAL bounds - >= 0 @ 16.001
19.12/25.64 c GLOBAL bounds - >= 0 @ 16.0202
19.12/25.66 c GLOBAL bounds - >= 0 @ 16.0393
19.12/25.69 c GLOBAL bounds - >= 0 @ 16.0623
19.22/25.72 c GLOBAL bounds - >= 0 @ 16.0844
19.22/25.74 c GLOBAL bounds - >= 0 @ 16.1019
19.22/25.77 c GLOBAL bounds - >= 0 @ 16.123
19.22/25.79 c GLOBAL bounds - >= 0 @ 16.144
19.33/25.81 c GLOBAL bounds - >= 0 @ 16.163
19.33/25.84 c GLOBAL bounds - >= 0 @ 16.182
19.33/25.86 c GLOBAL bounds - >= 0 @ 16.2022
19.33/25.89 c GLOBAL bounds - >= 0 @ 16.2247
19.42/25.92 c GLOBAL bounds - >= 0 @ 16.2468
19.42/25.94 c GLOBAL bounds - >= 0 @ 16.2667
19.42/25.96 c GLOBAL bounds - >= 0 @ 16.2866
19.42/25.99 c GLOBAL bounds - >= 0 @ 16.3045
19.53/26.01 c GLOBAL bounds - >= 0 @ 16.3226
19.53/26.04 c GLOBAL bounds - >= 0 @ 16.3434
19.53/26.06 c GLOBAL bounds - >= 0 @ 16.3643
19.53/26.08 c GLOBAL bounds - >= 0 @ 16.381
19.63/26.11 c GLOBAL bounds - >= 0 @ 16.4026
19.63/26.13 c GLOBAL bounds - >= 0 @ 16.4226
19.63/26.16 c GLOBAL bounds - >= 0 @ 16.4419
19.63/26.18 c GLOBAL bounds - >= 0 @ 16.4618
19.72/26.21 c GLOBAL bounds - >= 0 @ 16.4805
19.72/26.23 c GLOBAL bounds - >= 0 @ 16.502
19.72/26.26 c GLOBAL bounds - >= 0 @ 16.5218
19.72/26.28 c GLOBAL bounds - >= 0 @ 16.5402
19.82/26.30 c GLOBAL bounds - >= 0 @ 16.5608
19.82/26.34 c GLOBAL bounds - >= 0 @ 16.5881
19.82/26.37 c GLOBAL bounds - >= 0 @ 16.6211
19.92/26.42 c GLOBAL bounds - >= 0 @ 16.6594
19.92/26.45 c GLOBAL bounds - >= 0 @ 16.693
19.92/26.49 c GLOBAL bounds - >= 0 @ 16.7226
20.02/26.52 c GLOBAL bounds - >= 0 @ 16.7533
20.02/26.55 c GLOBAL bounds - >= 0 @ 16.7779
20.02/26.58 c GLOBAL bounds - >= 0 @ 16.804
20.12/26.62 c GLOBAL bounds - >= 0 @ 16.8448
20.12/26.66 c GLOBAL bounds - >= 0 @ 16.8736
20.12/26.69 c GLOBAL bounds - >= 0 @ 16.9058
20.21/26.73 c GLOBAL bounds - >= 0 @ 16.9371
20.21/26.77 c GLOBAL bounds - >= 0 @ 16.9736
20.32/26.83 c GLOBAL bounds - >= 0 @ 17.0234
20.32/26.89 c #Conflicts: 1000 | #Constraints: 67852
20.32/26.89 c GLOBAL bounds - >= 0 @ 17.0774
20.42/26.93 c GLOBAL bounds - >= 0 @ 17.1098
20.42/26.98 c GLOBAL bounds - >= 0 @ 17.1546
20.53/27.03 c GLOBAL bounds - >= 0 @ 17.194
20.53/27.07 c GLOBAL bounds - >= 0 @ 17.2243
20.62/27.14 c GLOBAL bounds - >= 0 @ 17.2781
20.62/27.17 c GLOBAL bounds - >= 0 @ 17.3027
20.71/27.25 c GLOBAL bounds - >= 0 @ 17.3563
20.71/27.29 c GLOBAL bounds - >= 0 @ 17.3902
20.82/27.32 c GLOBAL bounds - >= 0 @ 17.4181
20.82/27.35 c GLOBAL bounds - >= 0 @ 17.44
20.82/27.39 c GLOBAL bounds - >= 0 @ 17.4682
20.91/27.42 c GLOBAL bounds - >= 0 @ 17.4958
20.91/27.45 c GLOBAL bounds - >= 0 @ 17.5247
20.91/27.48 c GLOBAL bounds - >= 0 @ 17.5496
21.02/27.51 c GLOBAL bounds - >= 0 @ 17.5763
21.02/27.54 c GLOBAL bounds - >= 0 @ 17.6033
21.02/27.58 c GLOBAL bounds - >= 0 @ 17.6315
21.11/27.61 c GLOBAL bounds - >= 0 @ 17.6585
21.11/27.64 c GLOBAL bounds - >= 0 @ 17.6855
21.11/27.66 c GLOBAL bounds - >= 0 @ 17.7109
21.22/27.70 c GLOBAL bounds - >= 0 @ 17.747
21.22/27.76 c GLOBAL bounds - >= 0 @ 17.7982
21.32/27.82 c GLOBAL bounds - >= 0 @ 17.8576
21.32/27.86 c GLOBAL bounds - >= 0 @ 17.8925
21.41/27.90 c GLOBAL bounds - >= 0 @ 17.9278
21.41/27.94 c GLOBAL bounds - >= 0 @ 17.9639
21.41/27.97 c GLOBAL bounds - >= 0 @ 17.9948
21.52/28.00 c GLOBAL bounds - >= 0 @ 18.0186
21.52/28.04 c GLOBAL bounds - >= 0 @ 18.0535
21.52/28.08 c GLOBAL bounds - >= 0 @ 18.0833
21.62/28.11 c GLOBAL bounds - >= 0 @ 18.1168
21.62/28.15 c GLOBAL bounds - >= 0 @ 18.146
21.62/28.18 c GLOBAL bounds - >= 0 @ 18.1754
21.72/28.21 c GLOBAL bounds - >= 0 @ 18.2067
21.72/28.25 c GLOBAL bounds - >= 0 @ 18.2391
21.72/28.28 c GLOBAL bounds - >= 0 @ 18.2672
21.82/28.31 c GLOBAL bounds - >= 0 @ 18.2953
21.82/28.34 c GLOBAL bounds - >= 0 @ 18.3249
21.82/28.37 c GLOBAL bounds - >= 0 @ 18.3497
21.91/28.41 c GLOBAL bounds - >= 0 @ 18.3771
21.91/28.44 c GLOBAL bounds - >= 0 @ 18.4042
21.91/28.47 c GLOBAL bounds - >= 0 @ 18.4328
22.02/28.50 c GLOBAL bounds - >= 0 @ 18.457
22.02/28.53 c GLOBAL bounds - >= 0 @ 18.4852
22.02/28.56 c GLOBAL bounds - >= 0 @ 18.5124
22.02/28.59 c GLOBAL bounds - >= 0 @ 18.5378
22.12/28.62 c GLOBAL bounds - >= 0 @ 18.5636
22.12/28.65 c GLOBAL bounds - >= 0 @ 18.5849
22.12/28.67 c GLOBAL bounds - >= 0 @ 18.6081
22.21/28.70 c GLOBAL bounds - >= 0 @ 18.6312
22.21/28.73 c GLOBAL bounds - >= 0 @ 18.6576
22.21/28.76 c GLOBAL bounds - >= 0 @ 18.6831
22.21/28.78 c GLOBAL bounds - >= 0 @ 18.706
22.31/28.82 c GLOBAL bounds - >= 0 @ 18.7363
22.31/28.85 c GLOBAL bounds - >= 0 @ 18.7612
22.31/28.88 c GLOBAL bounds - >= 0 @ 18.7886
22.42/28.91 c GLOBAL bounds - >= 0 @ 18.8101
22.42/28.93 c GLOBAL bounds - >= 0 @ 18.8322
22.42/28.96 c GLOBAL bounds - >= 0 @ 18.8572
22.42/28.99 c GLOBAL bounds - >= 0 @ 18.8833
22.52/29.01 c GLOBAL bounds - >= 0 @ 18.907
22.52/29.04 c GLOBAL bounds - >= 0 @ 18.9282
22.52/29.07 c GLOBAL bounds - >= 0 @ 18.951
22.52/29.09 c GLOBAL bounds - >= 0 @ 18.9724
22.62/29.12 c GLOBAL bounds - >= 0 @ 18.9959
22.62/29.14 c GLOBAL bounds - >= 0 @ 19.0164
22.62/29.17 c GLOBAL bounds - >= 0 @ 19.0368
22.62/29.20 c GLOBAL bounds - >= 0 @ 19.0591
22.72/29.22 c GLOBAL bounds - >= 0 @ 19.0838
22.72/29.25 c GLOBAL bounds - >= 0 @ 19.1075
22.72/29.28 c GLOBAL bounds - >= 0 @ 19.1297
22.81/29.30 c GLOBAL bounds - >= 0 @ 19.1517
22.81/29.33 c GLOBAL bounds - >= 0 @ 19.179
22.81/29.36 c GLOBAL bounds - >= 0 @ 19.2033
22.81/29.39 c GLOBAL bounds - >= 0 @ 19.2295
22.91/29.42 c GLOBAL bounds - >= 0 @ 19.2574
22.91/29.47 c GLOBAL bounds - >= 0 @ 19.2991
23.01/29.53 c GLOBAL bounds - >= 0 @ 19.3502
23.01/29.57 c GLOBAL bounds - >= 0 @ 19.3767
23.11/29.60 c GLOBAL bounds - >= 0 @ 19.4102
23.11/29.64 c GLOBAL bounds - >= 0 @ 19.4446
23.11/29.67 c GLOBAL bounds - >= 0 @ 19.4753
23.21/29.70 c GLOBAL bounds - >= 0 @ 19.5059
23.21/29.74 c GLOBAL bounds - >= 0 @ 19.5383
23.21/29.77 c GLOBAL bounds - >= 0 @ 19.5657
23.31/29.80 c GLOBAL bounds - >= 0 @ 19.5931
23.31/29.83 c GLOBAL bounds - >= 0 @ 19.6191
23.31/29.86 c GLOBAL bounds - >= 0 @ 19.6446
23.31/29.90 c GLOBAL bounds - >= 0 @ 19.673
23.41/29.93 c GLOBAL bounds - >= 0 @ 19.7014
23.41/29.96 c GLOBAL bounds - >= 0 @ 19.7291
23.41/29.99 c GLOBAL bounds - >= 0 @ 19.7576
23.52/30.02 c GLOBAL bounds - >= 0 @ 19.7872
23.52/30.05 c GLOBAL bounds - >= 0 @ 19.8148
23.52/30.08 c GLOBAL bounds - >= 0 @ 19.8397
23.62/30.11 c GLOBAL bounds - >= 0 @ 19.8622
23.62/30.13 c GLOBAL bounds - >= 0 @ 19.8868
23.62/30.16 c GLOBAL bounds - >= 0 @ 19.9142
23.62/30.19 c GLOBAL bounds - >= 0 @ 19.9391
23.71/30.22 c GLOBAL bounds - >= 0 @ 19.9626
23.71/30.24 c GLOBAL bounds - >= 0 @ 19.9845
23.71/30.27 c GLOBAL bounds - >= 0 @ 20.0103
23.81/30.30 c GLOBAL bounds - >= 0 @ 20.0354
23.81/30.32 c GLOBAL bounds - >= 0 @ 20.0575
23.81/30.35 c GLOBAL bounds - >= 0 @ 20.084
23.81/30.39 c GLOBAL bounds - >= 0 @ 20.1139
23.91/30.44 c GLOBAL bounds - >= 0 @ 20.1592
23.91/30.49 c GLOBAL bounds - >= 0 @ 20.2018
24.01/30.52 c GLOBAL bounds - >= 0 @ 20.2289
24.01/30.56 c GLOBAL bounds - >= 0 @ 20.261
24.01/30.59 c GLOBAL bounds - >= 0 @ 20.2899
24.11/30.63 c GLOBAL bounds - >= 0 @ 20.3232
24.11/30.66 c GLOBAL bounds - >= 0 @ 20.3586
24.21/30.70 c GLOBAL bounds - >= 0 @ 20.3905
24.21/30.74 c GLOBAL bounds - >= 0 @ 20.4204
24.21/30.77 c GLOBAL bounds - >= 0 @ 20.4461
24.31/30.80 c GLOBAL bounds - >= 0 @ 20.4752
24.31/30.83 c GLOBAL bounds - >= 0 @ 20.4994
24.31/30.86 c GLOBAL bounds - >= 0 @ 20.5295
24.31/30.89 c GLOBAL bounds - >= 0 @ 20.5495
24.41/30.92 c GLOBAL bounds - >= 0 @ 20.5759
24.41/30.95 c GLOBAL bounds - >= 0 @ 20.6006
24.41/30.97 c GLOBAL bounds - >= 0 @ 20.6219
24.41/31.00 c GLOBAL bounds - >= 0 @ 20.6449
24.51/31.03 c GLOBAL bounds - >= 0 @ 20.6662
24.51/31.05 c GLOBAL bounds - >= 0 @ 20.6861
24.51/31.08 c GLOBAL bounds - >= 0 @ 20.7119
24.62/31.10 c GLOBAL bounds - >= 0 @ 20.7338
24.62/31.13 c GLOBAL bounds - >= 0 @ 20.759
24.62/31.16 c GLOBAL bounds - >= 0 @ 20.7832
24.62/31.19 c GLOBAL bounds - >= 0 @ 20.8087
24.71/31.23 c GLOBAL bounds - >= 0 @ 20.8416
24.71/31.26 c GLOBAL bounds - >= 0 @ 20.8707
24.71/31.29 c GLOBAL bounds - >= 0 @ 20.8963
24.80/31.32 c GLOBAL bounds - >= 0 @ 20.9217
24.80/31.37 c GLOBAL bounds - >= 0 @ 20.9668
24.91/31.40 c GLOBAL bounds - >= 0 @ 20.9917
24.91/31.43 c GLOBAL bounds - >= 0 @ 21.0179
24.91/31.46 c GLOBAL bounds - >= 0 @ 21.0509
25.01/31.50 c GLOBAL bounds - >= 0 @ 21.0802
25.01/31.52 c GLOBAL bounds - >= 0 @ 21.107
25.01/31.55 c GLOBAL bounds - >= 0 @ 21.1269
25.01/31.58 c GLOBAL bounds - >= 0 @ 21.1492
25.11/31.61 c GLOBAL bounds - >= 0 @ 21.1748
25.11/31.63 c GLOBAL bounds - >= 0 @ 21.1997
25.11/31.66 c GLOBAL bounds - >= 0 @ 21.2236
25.11/31.69 c GLOBAL bounds - >= 0 @ 21.2467
25.21/31.72 c GLOBAL bounds - >= 0 @ 21.269
25.21/31.74 c GLOBAL bounds - >= 0 @ 21.293
25.21/31.77 c GLOBAL bounds - >= 0 @ 21.3139
25.21/31.79 c GLOBAL bounds - >= 0 @ 21.3355
25.30/31.81 c GLOBAL bounds - >= 0 @ 21.3533
25.30/31.84 c GLOBAL bounds - >= 0 @ 21.3762
25.30/31.86 c GLOBAL bounds - >= 0 @ 21.3969
25.30/31.88 c GLOBAL bounds - >= 0 @ 21.4163
25.41/31.91 c GLOBAL bounds - >= 0 @ 21.4355
25.41/31.95 c GLOBAL bounds - >= 0 @ 21.4759
25.41/31.98 c GLOBAL bounds - >= 0 @ 21.5027
25.51/32.02 c GLOBAL bounds - >= 0 @ 21.5392
25.51/32.05 c GLOBAL bounds - >= 0 @ 21.5655
25.51/32.08 c GLOBAL bounds - >= 0 @ 21.5875
25.61/32.11 c GLOBAL bounds - >= 0 @ 21.6141
25.61/32.13 c GLOBAL bounds - >= 0 @ 21.6341
25.61/32.16 c GLOBAL bounds - >= 0 @ 21.6635
25.61/32.19 c GLOBAL bounds - >= 0 @ 21.6868
25.71/32.21 c GLOBAL bounds - >= 0 @ 21.7068
25.71/32.23 c GLOBAL bounds - >= 0 @ 21.7227
25.71/32.25 c GLOBAL bounds - >= 0 @ 21.7426
25.71/32.28 c GLOBAL bounds - >= 0 @ 21.7651
25.81/32.30 c GLOBAL bounds - >= 0 @ 21.7861
25.81/32.32 c GLOBAL bounds - >= 0 @ 21.8019
25.81/32.34 c GLOBAL bounds - >= 0 @ 21.8203
25.81/32.37 c GLOBAL bounds - >= 0 @ 21.8399
25.81/32.39 c GLOBAL bounds - >= 0 @ 21.8616
25.90/32.41 c GLOBAL bounds - >= 0 @ 21.8791
25.90/32.43 c GLOBAL bounds - >= 0 @ 21.8964
25.90/32.45 c GLOBAL bounds - >= 0 @ 21.9147
25.90/32.47 c GLOBAL bounds - >= 0 @ 21.9314
25.90/32.49 c GLOBAL bounds - >= 0 @ 21.9509
26.01/32.52 c GLOBAL bounds - >= 0 @ 21.9731
26.01/32.56 c GLOBAL bounds - >= 0 @ 22.0052
26.01/32.58 c GLOBAL bounds - >= 0 @ 22.0203
26.10/32.60 c GLOBAL bounds - >= 0 @ 22.0404
26.10/32.62 c GLOBAL bounds - >= 0 @ 22.0602
26.10/32.64 c GLOBAL bounds - >= 0 @ 22.0781
26.10/32.66 c GLOBAL bounds - >= 0 @ 22.0947
26.10/32.68 c GLOBAL bounds - >= 0 @ 22.1105
26.20/32.70 c GLOBAL bounds - >= 0 @ 22.1303
26.20/32.72 c GLOBAL bounds - >= 0 @ 22.1517
26.20/32.75 c GLOBAL bounds - >= 0 @ 22.1698
26.20/32.77 c GLOBAL bounds - >= 0 @ 22.1866
26.20/32.79 c GLOBAL bounds - >= 0 @ 22.2031
26.31/32.81 c GLOBAL bounds - >= 0 @ 22.2224
26.31/32.83 c GLOBAL bounds - >= 0 @ 22.2426
26.31/32.87 c GLOBAL bounds - >= 0 @ 22.2776
26.41/32.92 c GLOBAL bounds - >= 0 @ 22.3226
26.70/33.25 c GLOBAL bounds - >= 0 @ 22.6366
26.90/33.44 c GLOBAL bounds - >= 0 @ 22.8116
27.00/33.53 c GLOBAL bounds - >= 0 @ 22.8967
27.00/33.58 c GLOBAL bounds - >= 0 @ 22.9466
27.10/33.68 c GLOBAL bounds - >= 0 @ 23.043
27.20/33.78 c GLOBAL bounds - >= 0 @ 23.1351
27.31/33.81 c GLOBAL bounds - >= 0 @ 23.1676
27.31/33.87 c GLOBAL bounds - >= 0 @ 23.2125
27.40/33.90 c GLOBAL bounds - >= 0 @ 23.2457
27.40/33.93 c GLOBAL bounds - >= 0 @ 23.2745
27.40/33.96 c GLOBAL bounds - >= 0 @ 23.3
27.40/33.99 c GLOBAL bounds - >= 0 @ 23.3303
27.50/34.03 c GLOBAL bounds - >= 0 @ 23.3596
27.50/34.06 c GLOBAL bounds - >= 0 @ 23.3902
27.60/34.11 c GLOBAL bounds - >= 0 @ 23.4326
27.60/34.14 c GLOBAL bounds - >= 0 @ 23.4613
27.60/34.17 c GLOBAL bounds - >= 0 @ 23.4901
27.70/34.20 c GLOBAL bounds - >= 0 @ 23.5214
27.70/34.23 c GLOBAL bounds - >= 0 @ 23.5497
27.70/34.26 c GLOBAL bounds - >= 0 @ 23.5786
27.70/34.29 c GLOBAL bounds - >= 0 @ 23.6009
27.80/34.32 c GLOBAL bounds - >= 0 @ 23.6279
27.80/34.35 c GLOBAL bounds - >= 0 @ 23.6526
27.80/34.38 c GLOBAL bounds - >= 0 @ 23.6781
27.90/34.41 c GLOBAL bounds - >= 0 @ 23.7055
27.90/34.46 c GLOBAL bounds - >= 0 @ 23.7507
27.90/34.49 c GLOBAL bounds - >= 0 @ 23.7793
28.00/34.53 c GLOBAL bounds - >= 0 @ 23.8122
28.00/34.57 c GLOBAL bounds - >= 0 @ 23.857
28.70/35.29 c #Conflicts: 2000 | #Constraints: 69304
28.70/35.29 c INPROCESSING
28.70/35.29 c GARBAGE COLLECT
28.70/35.29 c GLOBAL bounds - >= 0 @ 24.5659
28.79/35.34 c GLOBAL bounds - >= 0 @ 24.6101
28.90/35.40 c GLOBAL bounds - >= 0 @ 24.6622
28.99/35.53 c GLOBAL bounds - >= 0 @ 24.7872
28.99/35.58 c GLOBAL bounds - >= 0 @ 24.841
29.10/35.63 c GLOBAL bounds - >= 0 @ 24.8827
29.10/35.67 c GLOBAL bounds - >= 0 @ 24.9223
29.19/35.70 c GLOBAL bounds - >= 0 @ 24.9558
29.19/35.74 c GLOBAL bounds - >= 0 @ 24.9867
29.19/35.77 c GLOBAL bounds - >= 0 @ 25.0171
29.29/35.80 c GLOBAL bounds - >= 0 @ 25.0448
29.29/35.83 c GLOBAL bounds - >= 0 @ 25.0684
29.29/35.86 c GLOBAL bounds - >= 0 @ 25.094
29.29/35.89 c GLOBAL bounds - >= 0 @ 25.1166
29.40/35.91 c GLOBAL bounds - >= 0 @ 25.1388
29.40/35.94 c GLOBAL bounds - >= 0 @ 25.1602
29.40/35.96 c GLOBAL bounds - >= 0 @ 25.1839
29.40/35.99 c GLOBAL bounds - >= 0 @ 25.2026
29.50/36.01 c GLOBAL bounds - >= 0 @ 25.2236
29.50/36.03 c GLOBAL bounds - >= 0 @ 25.2435
29.50/36.06 c GLOBAL bounds - >= 0 @ 25.2645
29.50/36.08 c GLOBAL bounds - >= 0 @ 25.2837
29.60/36.11 c GLOBAL bounds - >= 0 @ 25.3058
29.60/36.13 c GLOBAL bounds - >= 0 @ 25.3248
29.60/36.15 c GLOBAL bounds - >= 0 @ 25.3442
29.60/36.17 c GLOBAL bounds - >= 0 @ 25.3614
29.60/36.20 c GLOBAL bounds - >= 0 @ 25.3811
29.70/36.22 c GLOBAL bounds - >= 0 @ 25.4072
29.70/36.25 c GLOBAL bounds - >= 0 @ 25.4324
29.70/36.28 c GLOBAL bounds - >= 0 @ 25.4534
29.80/36.30 c GLOBAL bounds - >= 0 @ 25.4737
29.80/36.32 c GLOBAL bounds - >= 0 @ 25.4906
29.80/36.34 c GLOBAL bounds - >= 0 @ 25.5111
29.80/36.36 c GLOBAL bounds - >= 0 @ 25.5296
29.80/36.40 c GLOBAL bounds - >= 0 @ 25.5586
29.90/36.44 c GLOBAL bounds - >= 0 @ 25.5937
29.90/36.47 c GLOBAL bounds - >= 0 @ 25.6249
30.00/36.51 c GLOBAL bounds - >= 0 @ 25.6553
30.00/36.54 c GLOBAL bounds - >= 0 @ 25.6777
30.00/36.56 c GLOBAL bounds - >= 0 @ 25.7006
30.00/36.59 c GLOBAL bounds - >= 0 @ 25.7232
30.10/36.61 c GLOBAL bounds - >= 0 @ 25.7451
30.10/36.64 c GLOBAL bounds - >= 0 @ 25.7715
30.10/36.68 c GLOBAL bounds - >= 0 @ 25.8011
30.19/36.71 c GLOBAL bounds - >= 0 @ 25.8268
30.19/36.73 c GLOBAL bounds - >= 0 @ 25.8423
30.19/36.76 c GLOBAL bounds - >= 0 @ 25.8655
30.19/36.78 c GLOBAL bounds - >= 0 @ 25.8855
30.29/36.80 c GLOBAL bounds - >= 0 @ 25.9075
30.29/36.82 c GLOBAL bounds - >= 0 @ 25.9238
30.29/36.84 c GLOBAL bounds - >= 0 @ 25.9395
30.29/36.86 c GLOBAL bounds - >= 0 @ 25.955
30.29/36.88 c GLOBAL bounds - >= 0 @ 25.9688
30.40/36.91 c GLOBAL bounds - >= 0 @ 25.9892
30.40/36.93 c GLOBAL bounds - >= 0 @ 26.008
30.40/36.95 c GLOBAL bounds - >= 0 @ 26.0306
30.40/37.00 c GLOBAL bounds - >= 0 @ 26.0747
30.50/37.03 c GLOBAL bounds - >= 0 @ 26.104
30.50/37.06 c GLOBAL bounds - >= 0 @ 26.1298
30.50/37.09 c GLOBAL bounds - >= 0 @ 26.1562
30.59/37.13 c GLOBAL bounds - >= 0 @ 26.1926
30.59/37.15 c GLOBAL bounds - >= 0 @ 26.2198
30.59/37.19 c GLOBAL bounds - >= 0 @ 26.2538
30.69/37.23 c GLOBAL bounds - >= 0 @ 26.2893
30.69/37.27 c GLOBAL bounds - >= 0 @ 26.3233
30.80/37.36 c GLOBAL bounds - >= 0 @ 26.4166
30.89/37.40 c GLOBAL bounds - >= 0 @ 26.4483
30.89/37.47 c GLOBAL bounds - >= 0 @ 26.5149
31.00/37.51 c GLOBAL bounds - >= 0 @ 26.5544
31.00/37.55 c GLOBAL bounds - >= 0 @ 26.5959
31.00/37.59 c GLOBAL bounds - >= 0 @ 26.6351
31.09/37.63 c GLOBAL bounds - >= 0 @ 26.6719
31.09/37.66 c GLOBAL bounds - >= 0 @ 26.7007
31.09/37.69 c GLOBAL bounds - >= 0 @ 26.7229
31.19/37.73 c GLOBAL bounds - >= 0 @ 26.7654
31.19/37.76 c GLOBAL bounds - >= 0 @ 26.7869
31.19/37.78 c GLOBAL bounds - >= 0 @ 26.8026
31.29/37.80 c GLOBAL bounds - >= 0 @ 26.8239
31.29/37.82 c GLOBAL bounds - >= 0 @ 26.8436
31.29/37.85 c GLOBAL bounds - >= 0 @ 26.8642
31.29/37.87 c GLOBAL bounds - >= 0 @ 26.8826
31.29/37.88 c GLOBAL bounds - >= 0 @ 26.8987
31.39/37.91 c GLOBAL bounds - >= 0 @ 26.9207
31.39/37.94 c GLOBAL bounds - >= 0 @ 26.9464
31.39/37.99 c GLOBAL bounds - >= 0 @ 26.9984
31.50/38.01 c GLOBAL bounds - >= 0 @ 27.0159
31.50/38.04 c GLOBAL bounds - >= 0 @ 27.0393
31.50/38.07 c GLOBAL bounds - >= 0 @ 27.067
31.50/38.10 c GLOBAL bounds - >= 0 @ 27.0901
31.60/38.13 c GLOBAL bounds - >= 0 @ 27.118
31.69/38.27 c GLOBAL bounds - >= 0 @ 27.2564
31.79/38.34 c GLOBAL bounds - >= 0 @ 27.3169
32.78/39.36 c #Conflicts: 3000 | #Constraints: 69490
32.78/39.36 c GLOBAL bounds - >= 0 @ 28.3025
32.99/39.58 c GLOBAL bounds - >= 0 @ 28.4994
34.29/40.88 c GLOBAL bounds - >= 0 @ 29.7198
37.78/44.32 c #Conflicts: 4000 | #Constraints: 70496
37.78/44.32 c INPROCESSING
37.78/44.32 c GARBAGE COLLECT
37.78/44.32 c GLOBAL bounds - >= 0 @ 32.9512
52.83/59.40 c #Conflicts: 5000 | #Constraints: 69913
52.83/59.40 c #Conflicts: 6000 | #Constraints: 70913
52.83/59.40 c INPROCESSING
52.83/59.40 c GARBAGE COLLECT
52.83/59.40 c #Conflicts: 7000 | #Constraints: 69921
52.83/59.40 c #Conflicts: 8000 | #Constraints: 70921
52.83/59.40 c GLOBAL bounds - >= 0 @ 47.4024
53.44/60.05 c GLOBAL bounds - >= 0 @ 48.0285
378.74/386.37 c #Conflicts: 9000 | #Constraints: 71925
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 10000 | #Constraints: 70626
378.74/386.37 c #Conflicts: 11000 | #Constraints: 71626
378.74/386.37 c #Conflicts: 12000 | #Constraints: 72626
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 13000 | #Constraints: 71074
378.74/386.37 c #Conflicts: 14000 | #Constraints: 72074
378.74/386.37 c #Conflicts: 15000 | #Constraints: 73074
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 16000 | #Constraints: 71306
378.74/386.37 c #Conflicts: 17000 | #Constraints: 72306
378.74/386.37 c #Conflicts: 18000 | #Constraints: 73306
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 19000 | #Constraints: 71321
378.74/386.37 c #Conflicts: 20000 | #Constraints: 72321
378.74/386.37 c #Conflicts: 21000 | #Constraints: 73321
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 22000 | #Constraints: 71127
378.74/386.37 c #Conflicts: 23000 | #Constraints: 72127
378.74/386.37 c #Conflicts: 24000 | #Constraints: 73127
378.74/386.37 c #Conflicts: 25000 | #Constraints: 74127
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 26000 | #Constraints: 71730
378.74/386.37 c #Conflicts: 27000 | #Constraints: 72730
378.74/386.37 c #Conflicts: 28000 | #Constraints: 73730
378.74/386.37 c #Conflicts: 29000 | #Constraints: 74730
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 30000 | #Constraints: 72132
378.74/386.37 c #Conflicts: 31000 | #Constraints: 73132
378.74/386.37 c #Conflicts: 32000 | #Constraints: 74132
378.74/386.37 c #Conflicts: 33000 | #Constraints: 75132
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 34000 | #Constraints: 72333
378.74/386.37 c #Conflicts: 35000 | #Constraints: 73333
378.74/386.37 c #Conflicts: 36000 | #Constraints: 74333
378.74/386.37 c #Conflicts: 37000 | #Constraints: 75333
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 38000 | #Constraints: 72341
378.74/386.37 c #Conflicts: 39000 | #Constraints: 73341
378.74/386.37 c #Conflicts: 40000 | #Constraints: 74341
378.74/386.37 c #Conflicts: 41000 | #Constraints: 75341
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 42000 | #Constraints: 72150
378.74/386.37 c #Conflicts: 43000 | #Constraints: 73150
378.74/386.37 c #Conflicts: 44000 | #Constraints: 74150
378.74/386.37 c #Conflicts: 45000 | #Constraints: 75150
378.74/386.37 c #Conflicts: 46000 | #Constraints: 76150
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 47000 | #Constraints: 72741
378.74/386.37 c #Conflicts: 48000 | #Constraints: 73741
378.74/386.37 c #Conflicts: 49000 | #Constraints: 74741
378.74/386.37 c #Conflicts: 50000 | #Constraints: 75741
378.74/386.37 c #Conflicts: 51000 | #Constraints: 76741
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 52000 | #Constraints: 73135
378.74/386.37 c #Conflicts: 53000 | #Constraints: 74135
378.74/386.37 c #Conflicts: 54000 | #Constraints: 75135
378.74/386.37 c #Conflicts: 55000 | #Constraints: 76135
378.74/386.37 c #Conflicts: 56000 | #Constraints: 77135
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 57000 | #Constraints: 73337
378.74/386.37 c #Conflicts: 58000 | #Constraints: 74337
378.74/386.37 c #Conflicts: 59000 | #Constraints: 75337
378.74/386.37 c #Conflicts: 60000 | #Constraints: 76337
378.74/386.37 c #Conflicts: 61000 | #Constraints: 77337
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 62000 | #Constraints: 73336
378.74/386.37 c #Conflicts: 63000 | #Constraints: 74336
378.74/386.37 c #Conflicts: 64000 | #Constraints: 75336
378.74/386.37 c #Conflicts: 65000 | #Constraints: 76336
378.74/386.37 c #Conflicts: 66000 | #Constraints: 77336
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 67000 | #Constraints: 73136
378.74/386.37 c #Conflicts: 68000 | #Constraints: 74136
378.74/386.37 c #Conflicts: 69000 | #Constraints: 75136
378.74/386.37 c #Conflicts: 70000 | #Constraints: 76136
378.74/386.37 c #Conflicts: 71000 | #Constraints: 77136
378.74/386.37 c #Conflicts: 72000 | #Constraints: 78136
378.74/386.37 c INPROCESSING
378.74/386.37 c GARBAGE COLLECT
378.74/386.37 c #Conflicts: 73000 | #Constraints: 73742
378.74/386.37 c #Conflicts: 74000 | #Constraints: 74742
378.74/386.37 c #Conflicts: 75000 | #Constraints: 75742
378.74/386.37 c #Conflicts: 76000 | #Constraints: 76742
378.74/386.37 c #Conflicts: 77000 | #Constraints: 77742
755.98/764.79 c #Conflicts: 78000 | #Constraints: 78742
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 79000 | #Constraints: 74139
755.98/764.79 c #Conflicts: 80000 | #Constraints: 75139
755.98/764.79 c #Conflicts: 81000 | #Constraints: 76139
755.98/764.79 c #Conflicts: 82000 | #Constraints: 77139
755.98/764.79 c #Conflicts: 83000 | #Constraints: 78139
755.98/764.79 c #Conflicts: 84000 | #Constraints: 79139
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 85000 | #Constraints: 74335
755.98/764.79 c #Conflicts: 86000 | #Constraints: 75335
755.98/764.79 c #Conflicts: 87000 | #Constraints: 76335
755.98/764.79 c #Conflicts: 88000 | #Constraints: 77335
755.98/764.79 c #Conflicts: 89000 | #Constraints: 78335
755.98/764.79 c #Conflicts: 90000 | #Constraints: 79335
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 91000 | #Constraints: 74335
755.98/764.79 c #Conflicts: 92000 | #Constraints: 75335
755.98/764.79 c #Conflicts: 93000 | #Constraints: 76335
755.98/764.79 c #Conflicts: 94000 | #Constraints: 77335
755.98/764.79 c #Conflicts: 95000 | #Constraints: 78335
755.98/764.79 c #Conflicts: 96000 | #Constraints: 79335
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 97000 | #Constraints: 74148
755.98/764.79 c #Conflicts: 98000 | #Constraints: 75148
755.98/764.79 c #Conflicts: 99000 | #Constraints: 76148
755.98/764.79 c #Conflicts: 100000 | #Constraints: 77148
755.98/764.79 c #Conflicts: 101000 | #Constraints: 78148
755.98/764.79 c #Conflicts: 102000 | #Constraints: 79148
755.98/764.79 c #Conflicts: 103000 | #Constraints: 80148
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 104000 | #Constraints: 74751
755.98/764.79 c #Conflicts: 105000 | #Constraints: 75751
755.98/764.79 c #Conflicts: 106000 | #Constraints: 76751
755.98/764.79 c #Conflicts: 107000 | #Constraints: 77751
755.98/764.79 c #Conflicts: 108000 | #Constraints: 78751
755.98/764.79 c #Conflicts: 109000 | #Constraints: 79751
755.98/764.79 c #Conflicts: 110000 | #Constraints: 80751
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 111000 | #Constraints: 75147
755.98/764.79 c #Conflicts: 112000 | #Constraints: 76147
755.98/764.79 c #Conflicts: 113000 | #Constraints: 77147
755.98/764.79 c #Conflicts: 114000 | #Constraints: 78147
755.98/764.79 c #Conflicts: 115000 | #Constraints: 79147
755.98/764.79 c #Conflicts: 116000 | #Constraints: 80147
755.98/764.79 c #Conflicts: 117000 | #Constraints: 81147
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 118000 | #Constraints: 75348
755.98/764.79 c #Conflicts: 119000 | #Constraints: 76348
755.98/764.79 c #Conflicts: 120000 | #Constraints: 77348
755.98/764.79 c #Conflicts: 121000 | #Constraints: 78348
755.98/764.79 c #Conflicts: 122000 | #Constraints: 79348
755.98/764.79 c #Conflicts: 123000 | #Constraints: 80348
755.98/764.79 c #Conflicts: 124000 | #Constraints: 81348
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 125000 | #Constraints: 75339
755.98/764.79 c #Conflicts: 126000 | #Constraints: 76339
755.98/764.79 c #Conflicts: 127000 | #Constraints: 77339
755.98/764.79 c #Conflicts: 128000 | #Constraints: 78339
755.98/764.79 c #Conflicts: 129000 | #Constraints: 79339
755.98/764.79 c #Conflicts: 130000 | #Constraints: 80339
755.98/764.79 c #Conflicts: 131000 | #Constraints: 81339
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 132000 | #Constraints: 75134
755.98/764.79 c #Conflicts: 133000 | #Constraints: 76134
755.98/764.79 c #Conflicts: 134000 | #Constraints: 77134
755.98/764.79 c #Conflicts: 135000 | #Constraints: 78134
755.98/764.79 c #Conflicts: 136000 | #Constraints: 79134
755.98/764.79 c #Conflicts: 137000 | #Constraints: 80134
755.98/764.79 c #Conflicts: 138000 | #Constraints: 81134
755.98/764.79 c #Conflicts: 139000 | #Constraints: 82134
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 140000 | #Constraints: 75742
755.98/764.79 c #Conflicts: 141000 | #Constraints: 76742
755.98/764.79 c #Conflicts: 142000 | #Constraints: 77742
755.98/764.79 c #Conflicts: 143000 | #Constraints: 78742
755.98/764.79 c #Conflicts: 144000 | #Constraints: 79742
755.98/764.79 c #Conflicts: 145000 | #Constraints: 80742
755.98/764.79 c #Conflicts: 146000 | #Constraints: 81742
755.98/764.79 c #Conflicts: 147000 | #Constraints: 82742
755.98/764.79 c INPROCESSING
755.98/764.79 c GARBAGE COLLECT
755.98/764.79 c #Conflicts: 148000 | #Constraints: 76143
755.98/764.79 c #Conflicts: 149000 | #Constraints: 77143
1160.54/1170.54 c #Conflicts: 150000 | #Constraints: 78143
1160.54/1170.54 c #Conflicts: 151000 | #Constraints: 79143
1160.54/1170.54 c #Conflicts: 152000 | #Constraints: 80143
1160.54/1170.54 c #Conflicts: 153000 | #Constraints: 81143
1160.54/1170.54 c #Conflicts: 154000 | #Constraints: 82143
1160.54/1170.54 c #Conflicts: 155000 | #Constraints: 83143
1160.54/1170.54 c INPROCESSING
1160.54/1170.54 c GARBAGE COLLECT
1160.54/1170.54 c #Conflicts: 156000 | #Constraints: 76342
1160.54/1170.54 c #Conflicts: 157000 | #Constraints: 77342
1160.54/1170.54 c #Conflicts: 158000 | #Constraints: 78342
1160.54/1170.54 c #Conflicts: 159000 | #Constraints: 79342
1160.54/1170.54 c #Conflicts: 160000 | #Constraints: 80342
1160.54/1170.54 c #Conflicts: 161000 | #Constraints: 81342
1160.54/1170.54 c #Conflicts: 162000 | #Constraints: 82342
1160.54/1170.54 c #Conflicts: 163000 | #Constraints: 83342
1160.54/1170.54 c INPROCESSING
1160.54/1170.54 c GARBAGE COLLECT
1160.54/1170.54 c #Conflicts: 164000 | #Constraints: 76350
1160.54/1170.54 c #Conflicts: 165000 | #Constraints: 77350
1160.54/1170.54 c #Conflicts: 166000 | #Constraints: 78350
1160.54/1170.54 c #Conflicts: 167000 | #Constraints: 79350
1160.54/1170.54 c #Conflicts: 168000 | #Constraints: 80350
1160.54/1170.54 c #Conflicts: 169000 | #Constraints: 81350
1160.54/1170.54 c #Conflicts: 170000 | #Constraints: 82350
1160.54/1170.54 c #Conflicts: 171000 | #Constraints: 83350
1160.54/1170.54 c INPROCESSING
1160.54/1170.54 c GARBAGE COLLECT
1160.54/1170.54 c #Conflicts: 172000 | #Constraints: 76137
1160.54/1170.54 c #Conflicts: 173000 | #Constraints: 77137
1160.54/1170.54 c #Conflicts: 174000 | #Constraints: 78137
1160.54/1170.54 c #Conflicts: 175000 | #Constraints: 79137
1160.54/1170.54 c #Conflicts: 176000 | #Constraints: 80137
1160.54/1170.54 c #Conflicts: 177000 | #Constraints: 81137
1160.54/1170.54 c #Conflicts: 178000 | #Constraints: 82137
1160.54/1170.54 c #Conflicts: 179000 | #Constraints: 83137
1160.54/1170.54 c #Conflicts: 180000 | #Constraints: 84137
1160.54/1170.54 c INPROCESSING
1160.54/1170.54 c GARBAGE COLLECT
1160.54/1170.54 c #Conflicts: 181000 | #Constraints: 76744
1160.54/1170.54 c #Conflicts: 182000 | #Constraints: 77744
1160.54/1170.54 c #Conflicts: 183000 | #Constraints: 78744
1160.54/1170.54 c #Conflicts: 184000 | #Constraints: 79744
1160.54/1170.54 c #Conflicts: 185000 | #Constraints: 80744
1160.54/1170.54 c #Conflicts: 186000 | #Constraints: 81744
1160.54/1170.54 c #Conflicts: 187000 | #Constraints: 82744
1160.54/1170.54 c #Conflicts: 188000 | #Constraints: 83744
1160.54/1170.54 c #Conflicts: 189000 | #Constraints: 84744
1160.54/1170.54 c INPROCESSING
1160.54/1170.54 c GARBAGE COLLECT
1160.54/1170.54 c #Conflicts: 190000 | #Constraints: 77147
1160.54/1170.54 c #Conflicts: 191000 | #Constraints: 78147
1160.54/1170.54 c #Conflicts: 192000 | #Constraints: 79147
1160.54/1170.54 c #Conflicts: 193000 | #Constraints: 80147
1160.54/1170.54 c #Conflicts: 194000 | #Constraints: 81147
1160.54/1170.54 c #Conflicts: 195000 | #Constraints: 82147
1160.54/1170.54 c #Conflicts: 196000 | #Constraints: 83147
1160.54/1170.54 c #Conflicts: 197000 | #Constraints: 84147
1160.54/1170.54 c #Conflicts: 198000 | #Constraints: 85147
1160.54/1170.54 c INPROCESSING
1160.54/1170.54 c GARBAGE COLLECT
1160.54/1170.54 c #Conflicts: 199000 | #Constraints: 77346
1160.54/1170.54 c #Conflicts: 200000 | #Constraints: 78346
1160.54/1170.54 c #Conflicts: 201000 | #Constraints: 79346
1160.54/1170.54 c #Conflicts: 202000 | #Constraints: 80346
1160.54/1170.54 c #Conflicts: 203000 | #Constraints: 81346
1160.54/1170.54 c #Conflicts: 204000 | #Constraints: 82346
1160.54/1170.54 c #Conflicts: 205000 | #Constraints: 83346
1160.54/1170.54 c #Conflicts: 206000 | #Constraints: 84346
1160.54/1170.54 c #Conflicts: 207000 | #Constraints: 85346
1160.54/1170.54 c INPROCESSING
1160.54/1170.54 c GARBAGE COLLECT
1160.54/1170.54 c #Conflicts: 208000 | #Constraints: 77344
1160.54/1170.54 c #Conflicts: 209000 | #Constraints: 78344
1160.54/1170.54 c #Conflicts: 210000 | #Constraints: 79344
1160.54/1170.54 c #Conflicts: 211000 | #Constraints: 80344
1160.54/1170.54 c #Conflicts: 212000 | #Constraints: 81344
1160.54/1170.54 c #Conflicts: 213000 | #Constraints: 82344
1160.54/1170.54 c #Conflicts: 214000 | #Constraints: 83344
1160.54/1170.54 c #Conflicts: 215000 | #Constraints: 84344
1160.54/1170.54 c #Conflicts: 216000 | #Constraints: 85344
1160.54/1170.54 c INPROCESSING
1160.54/1170.54 c GARBAGE COLLECT
1160.54/1170.54 c #Conflicts: 217000 | #Constraints: 77148
1160.54/1170.54 c #Conflicts: 218000 | #Constraints: 78148
1160.54/1170.54 c #Conflicts: 219000 | #Constraints: 79148
1160.54/1170.54 c #Conflicts: 220000 | #Constraints: 80148
1160.54/1170.54 c #Conflicts: 221000 | #Constraints: 81148
1160.54/1170.54 c #Conflicts: 222000 | #Constraints: 82148
1160.54/1170.54 c #Conflicts: 223000 | #Constraints: 83148
1580.03/1641.19 c #Conflicts: 224000 | #Constraints: 84148
1580.03/1641.19 c #Conflicts: 225000 | #Constraints: 85148
1580.03/1641.19 c #Conflicts: 226000 | #Constraints: 86148
1580.03/1641.19 c INPROCESSING
1580.03/1641.19 c GARBAGE COLLECT
1580.03/1641.19 c #Conflicts: 227000 | #Constraints: 77747
1580.03/1641.19 c #Conflicts: 228000 | #Constraints: 78747
1580.03/1641.19 c #Conflicts: 229000 | #Constraints: 79747
1580.03/1641.19 c #Conflicts: 230000 | #Constraints: 80747
1580.03/1641.19 c #Conflicts: 231000 | #Constraints: 81747
1580.03/1641.19 c #Conflicts: 232000 | #Constraints: 82747
1580.03/1641.19 c #Conflicts: 233000 | #Constraints: 83747
1580.03/1641.19 c #Conflicts: 234000 | #Constraints: 84747
1580.03/1641.19 c #Conflicts: 235000 | #Constraints: 85747
1580.03/1641.19 c #Conflicts: 236000 | #Constraints: 86747
1580.03/1641.19 c INPROCESSING
1580.03/1641.19 c GARBAGE COLLECT
1580.03/1641.19 c #Conflicts: 237000 | #Constraints: 78150
1580.03/1641.19 c #Conflicts: 238000 | #Constraints: 79150
1580.03/1641.19 c #Conflicts: 239000 | #Constraints: 80150
1580.03/1641.19 c #Conflicts: 240000 | #Constraints: 81150
1580.03/1641.19 c #Conflicts: 241000 | #Constraints: 82150
1580.03/1641.19 c #Conflicts: 242000 | #Constraints: 83150
1580.03/1641.19 c #Conflicts: 243000 | #Constraints: 84150
1580.03/1641.19 c #Conflicts: 244000 | #Constraints: 85150
1580.03/1641.19 c #Conflicts: 245000 | #Constraints: 86150
1580.03/1641.19 c #Conflicts: 246000 | #Constraints: 87150
1580.03/1641.19 c INPROCESSING
1580.03/1641.19 c GARBAGE COLLECT
1580.03/1641.19 c #Conflicts: 247000 | #Constraints: 78342
1580.03/1641.19 c #Conflicts: 248000 | #Constraints: 79342
1580.03/1641.19 c #Conflicts: 249000 | #Constraints: 80342
1580.03/1641.19 c #Conflicts: 250000 | #Constraints: 81342
1580.03/1641.19 c #Conflicts: 251000 | #Constraints: 82342
1580.03/1641.19 c #Conflicts: 252000 | #Constraints: 83342
1580.03/1641.19 c #Conflicts: 253000 | #Constraints: 84342
1580.03/1641.19 c #Conflicts: 254000 | #Constraints: 85342
1580.03/1641.19 c #Conflicts: 255000 | #Constraints: 86342
1580.03/1641.19 c #Conflicts: 256000 | #Constraints: 87342
1580.03/1641.19 c INPROCESSING
1580.03/1641.19 c GARBAGE COLLECT
1580.03/1641.19 c #Conflicts: 257000 | #Constraints: 78337
1580.03/1641.19 c #Conflicts: 258000 | #Constraints: 79337
1580.03/1641.19 c #Conflicts: 259000 | #Constraints: 80337
1580.03/1641.19 c #Conflicts: 260000 | #Constraints: 81337
1580.03/1641.19 c #Conflicts: 261000 | #Constraints: 82337
1580.03/1641.19 c #Conflicts: 262000 | #Constraints: 83337
1580.03/1641.19 c #Conflicts: 263000 | #Constraints: 84337
1580.03/1641.19 c #Conflicts: 264000 | #Constraints: 85337
1580.03/1641.19 c #Conflicts: 265000 | #Constraints: 86337
1580.03/1641.19 c #Conflicts: 266000 | #Constraints: 87337
1580.03/1641.19 c INPROCESSING
1580.03/1641.19 c GARBAGE COLLECT
1580.03/1641.19 c #Conflicts: 267000 | #Constraints: 78133
1580.03/1641.19 c #Conflicts: 268000 | #Constraints: 79133
1580.03/1641.19 c #Conflicts: 269000 | #Constraints: 80133
1580.03/1641.19 c #Conflicts: 270000 | #Constraints: 81133
1580.03/1641.19 c #Conflicts: 271000 | #Constraints: 82133
1580.03/1641.19 c #Conflicts: 272000 | #Constraints: 83133
1580.03/1641.19 c #Conflicts: 273000 | #Constraints: 84133
1580.03/1641.19 c #Conflicts: 274000 | #Constraints: 85133
1580.03/1641.19 c #Conflicts: 275000 | #Constraints: 86133
1580.03/1641.19 c #Conflicts: 276000 | #Constraints: 87133
1580.03/1641.19 c #Conflicts: 277000 | #Constraints: 88133
1580.03/1641.19 c INPROCESSING
1580.03/1641.19 c GARBAGE COLLECT
1580.03/1641.19 c #Conflicts: 278000 | #Constraints: 78739
1580.03/1641.19 c #Conflicts: 279000 | #Constraints: 79739
1580.03/1641.19 c #Conflicts: 280000 | #Constraints: 80739
1580.03/1641.19 c #Conflicts: 281000 | #Constraints: 81739
1580.03/1641.19 c #Conflicts: 282000 | #Constraints: 82739
1580.03/1641.19 c #Conflicts: 283000 | #Constraints: 83739
1580.03/1641.19 c #Conflicts: 284000 | #Constraints: 84739
1580.03/1641.19 c #Conflicts: 285000 | #Constraints: 85739
1580.03/1641.19 c #Conflicts: 286000 | #Constraints: 86739
1580.03/1641.19 c #Conflicts: 287000 | #Constraints: 87739
1580.03/1641.19 c #Conflicts: 288000 | #Constraints: 88739
1580.03/1641.19 c INPROCESSING
1580.03/1641.19 c GARBAGE COLLECT
1580.03/1641.19 c #Conflicts: 289000 | #Constraints: 79144
1580.03/1641.19 c #Conflicts: 290000 | #Constraints: 80144
1580.03/1641.19 c #Conflicts: 291000 | #Constraints: 81144
1580.03/1641.19 c #Conflicts: 292000 | #Constraints: 82144
1580.03/1641.19 c #Conflicts: 293000 | #Constraints: 83144
1580.03/1641.19 c #Conflicts: 294000 | #Constraints: 84144
1580.03/1641.19 c #Conflicts: 295000 | #Constraints: 85144
1580.03/1641.19 c #Conflicts: 296000 | #Constraints: 86144
1580.03/1641.19 c #Conflicts: 297000 | #Constraints: 87144
2006.11/2068.55 c #Conflicts: 298000 | #Constraints: 88144
2006.11/2068.55 c #Conflicts: 299000 | #Constraints: 89144
2006.11/2068.55 c INPROCESSING
2006.11/2068.55 c GARBAGE COLLECT
2006.11/2068.55 c #Conflicts: 300000 | #Constraints: 79343
2006.11/2068.55 c #Conflicts: 301000 | #Constraints: 80343
2006.11/2068.55 c #Conflicts: 302000 | #Constraints: 81343
2006.11/2068.55 c #Conflicts: 303000 | #Constraints: 82343
2006.11/2068.55 c #Conflicts: 304000 | #Constraints: 83343
2006.11/2068.55 c #Conflicts: 305000 | #Constraints: 84343
2006.11/2068.55 c #Conflicts: 306000 | #Constraints: 85343
2006.11/2068.55 c #Conflicts: 307000 | #Constraints: 86343
2006.11/2068.55 c #Conflicts: 308000 | #Constraints: 87343
2006.11/2068.55 c #Conflicts: 309000 | #Constraints: 88343
2006.11/2068.55 c #Conflicts: 310000 | #Constraints: 89343
2006.11/2068.55 c INPROCESSING
2006.11/2068.55 c GARBAGE COLLECT
2006.11/2068.55 c #Conflicts: 311000 | #Constraints: 79344
2006.11/2068.55 c #Conflicts: 312000 | #Constraints: 80344
2006.11/2068.55 c #Conflicts: 313000 | #Constraints: 81344
2006.11/2068.55 c #Conflicts: 314000 | #Constraints: 82344
2006.11/2068.55 c #Conflicts: 315000 | #Constraints: 83344
2006.11/2068.56 c #Conflicts: 316000 | #Constraints: 84344
2006.11/2068.56 c #Conflicts: 317000 | #Constraints: 85344
2006.11/2068.56 c #Conflicts: 318000 | #Constraints: 86344
2006.11/2068.56 c #Conflicts: 319000 | #Constraints: 87344
2006.11/2068.56 c #Conflicts: 320000 | #Constraints: 88344
2006.11/2068.56 c #Conflicts: 321000 | #Constraints: 89344
2006.11/2068.56 c INPROCESSING
2006.11/2068.56 c GARBAGE COLLECT
2006.11/2068.56 c #Conflicts: 322000 | #Constraints: 79137
2006.11/2068.56 c #Conflicts: 323000 | #Constraints: 80137
2006.11/2068.56 c #Conflicts: 324000 | #Constraints: 81137
2006.11/2068.56 c #Conflicts: 325000 | #Constraints: 82137
2006.11/2068.56 c #Conflicts: 326000 | #Constraints: 83137
2006.11/2068.56 c #Conflicts: 327000 | #Constraints: 84137
2006.11/2068.56 c #Conflicts: 328000 | #Constraints: 85137
2006.11/2068.56 c #Conflicts: 329000 | #Constraints: 86137
2006.11/2068.56 c #Conflicts: 330000 | #Constraints: 87137
2006.11/2068.56 c #Conflicts: 331000 | #Constraints: 88137
2006.11/2068.56 c #Conflicts: 332000 | #Constraints: 89137
2006.11/2068.56 c #Conflicts: 333000 | #Constraints: 90137
2006.11/2068.56 c INPROCESSING
2006.11/2068.56 c GARBAGE COLLECT
2006.11/2068.56 c #Conflicts: 334000 | #Constraints: 79743
2006.11/2068.56 c #Conflicts: 335000 | #Constraints: 80743
2006.11/2068.56 c #Conflicts: 336000 | #Constraints: 81743
2006.11/2068.56 c #Conflicts: 337000 | #Constraints: 82743
2006.11/2068.56 c #Conflicts: 338000 | #Constraints: 83743
2006.11/2068.56 c #Conflicts: 339000 | #Constraints: 84743
2006.11/2068.56 c #Conflicts: 340000 | #Constraints: 85743
2006.11/2068.56 c #Conflicts: 341000 | #Constraints: 86743
2006.11/2068.56 c #Conflicts: 342000 | #Constraints: 87743
2006.11/2068.56 c #Conflicts: 343000 | #Constraints: 88743
2006.11/2068.56 c #Conflicts: 344000 | #Constraints: 89743
2006.11/2068.56 c #Conflicts: 345000 | #Constraints: 90743
2006.11/2068.56 c INPROCESSING
2006.11/2068.56 c GARBAGE COLLECT
2006.11/2068.56 c #Conflicts: 346000 | #Constraints: 80141
2006.11/2068.56 c #Conflicts: 347000 | #Constraints: 81141
2006.11/2068.56 c #Conflicts: 348000 | #Constraints: 82141
2006.11/2068.56 c #Conflicts: 349000 | #Constraints: 83141
2006.11/2068.56 c #Conflicts: 350000 | #Constraints: 84141
2006.11/2068.56 c #Conflicts: 351000 | #Constraints: 85141
2006.11/2068.56 c #Conflicts: 352000 | #Constraints: 86141
2006.11/2068.56 c #Conflicts: 353000 | #Constraints: 87141
2006.11/2068.56 c #Conflicts: 354000 | #Constraints: 88141
2006.11/2068.56 c #Conflicts: 355000 | #Constraints: 89141
2006.11/2068.56 c #Conflicts: 356000 | #Constraints: 90141
2006.11/2068.56 c #Conflicts: 357000 | #Constraints: 91141
2006.11/2068.56 c INPROCESSING
2006.11/2068.56 c GARBAGE COLLECT
2006.11/2068.56 c #Conflicts: 358000 | #Constraints: 80345
2006.11/2068.56 c #Conflicts: 359000 | #Constraints: 81345
2006.11/2068.56 c #Conflicts: 360000 | #Constraints: 82345
2006.11/2068.56 c #Conflicts: 361000 | #Constraints: 83345
2006.11/2068.56 c #Conflicts: 362000 | #Constraints: 84345
2006.11/2068.56 c #Conflicts: 363000 | #Constraints: 85345
2006.11/2068.56 c #Conflicts: 364000 | #Constraints: 86345
2006.11/2068.56 c #Conflicts: 365000 | #Constraints: 87345
2006.11/2068.56 c #Conflicts: 366000 | #Constraints: 88345
2006.11/2068.56 c #Conflicts: 367000 | #Constraints: 89345
2006.11/2068.56 c #Conflicts: 368000 | #Constraints: 90345
2006.11/2068.56 c #Conflicts: 369000 | #Constraints: 91345
2006.11/2068.56 c INPROCESSING
2006.11/2068.56 c GARBAGE COLLECT
2006.11/2068.56 c #Conflicts: 370000 | #Constraints: 80336
2006.11/2068.56 c #Conflicts: 371000 | #Constraints: 81336
2477.96/2541.82 c #Conflicts: 372000 | #Constraints: 82336
2477.96/2541.82 c #Conflicts: 373000 | #Constraints: 83336
2477.96/2541.82 c #Conflicts: 374000 | #Constraints: 84336
2477.96/2541.82 c #Conflicts: 375000 | #Constraints: 85336
2477.96/2541.82 c #Conflicts: 376000 | #Constraints: 86336
2477.96/2541.82 c #Conflicts: 377000 | #Constraints: 87336
2477.96/2541.82 c #Conflicts: 378000 | #Constraints: 88336
2477.96/2541.82 c #Conflicts: 379000 | #Constraints: 89336
2477.96/2541.82 c #Conflicts: 380000 | #Constraints: 90336
2477.96/2541.82 c #Conflicts: 381000 | #Constraints: 91336
2477.96/2541.82 c INPROCESSING
2477.96/2541.82 c GARBAGE COLLECT
2477.96/2541.82 c #Conflicts: 382000 | #Constraints: 80136
2477.96/2541.82 c #Conflicts: 383000 | #Constraints: 81136
2477.96/2541.82 c #Conflicts: 384000 | #Constraints: 82136
2477.96/2541.82 c #Conflicts: 385000 | #Constraints: 83136
2477.96/2541.82 c #Conflicts: 386000 | #Constraints: 84136
2477.96/2541.82 c #Conflicts: 387000 | #Constraints: 85136
2477.96/2541.82 c #Conflicts: 388000 | #Constraints: 86136
2477.96/2541.82 c #Conflicts: 389000 | #Constraints: 87136
2477.96/2541.82 c #Conflicts: 390000 | #Constraints: 88136
2477.96/2541.82 c #Conflicts: 391000 | #Constraints: 89136
2477.96/2541.82 c #Conflicts: 392000 | #Constraints: 90136
2477.96/2541.82 c #Conflicts: 393000 | #Constraints: 91136
2477.96/2541.82 c #Conflicts: 394000 | #Constraints: 92136
2477.96/2541.82 c INPROCESSING
2477.96/2541.82 c GARBAGE COLLECT
2477.96/2541.82 c #Conflicts: 395000 | #Constraints: 80734
2477.96/2541.82 c #Conflicts: 396000 | #Constraints: 81734
2477.96/2541.82 c #Conflicts: 397000 | #Constraints: 82734
2477.96/2541.82 c #Conflicts: 398000 | #Constraints: 83734
2477.96/2541.82 c #Conflicts: 399000 | #Constraints: 84734
2477.96/2541.82 c #Conflicts: 400000 | #Constraints: 85734
2477.96/2541.82 c #Conflicts: 401000 | #Constraints: 86734
2477.96/2541.82 c #Conflicts: 402000 | #Constraints: 87734
2477.96/2541.82 c #Conflicts: 403000 | #Constraints: 88734
2477.96/2541.82 c #Conflicts: 404000 | #Constraints: 89734
2477.96/2541.82 c #Conflicts: 405000 | #Constraints: 90734
2477.96/2541.82 c #Conflicts: 406000 | #Constraints: 91734
2477.96/2541.82 c #Conflicts: 407000 | #Constraints: 92734
2477.96/2541.82 c INPROCESSING
2477.96/2541.82 c GARBAGE COLLECT
2477.96/2541.82 c #Conflicts: 408000 | #Constraints: 81132
2477.96/2541.82 c #Conflicts: 409000 | #Constraints: 82132
2477.96/2541.82 c #Conflicts: 410000 | #Constraints: 83132
2477.96/2541.82 c #Conflicts: 411000 | #Constraints: 84132
2477.96/2541.82 c #Conflicts: 412000 | #Constraints: 85132
2477.96/2541.82 c #Conflicts: 413000 | #Constraints: 86132
2477.96/2541.82 c #Conflicts: 414000 | #Constraints: 87132
2477.96/2541.82 c #Conflicts: 415000 | #Constraints: 88132
2477.96/2541.82 c #Conflicts: 416000 | #Constraints: 89132
2477.96/2541.82 c #Conflicts: 417000 | #Constraints: 90132
2477.96/2541.82 c #Conflicts: 418000 | #Constraints: 91132
2477.96/2541.82 c #Conflicts: 419000 | #Constraints: 92132
2477.96/2541.82 c #Conflicts: 420000 | #Constraints: 93132
2477.96/2541.82 c INPROCESSING
2477.96/2541.82 c GARBAGE COLLECT
2477.96/2541.82 c #Conflicts: 421000 | #Constraints: 81339
2477.96/2541.82 c #Conflicts: 422000 | #Constraints: 82339
2477.96/2541.82 c #Conflicts: 423000 | #Constraints: 83339
2477.96/2541.82 c #Conflicts: 424000 | #Constraints: 84339
2477.96/2541.82 c #Conflicts: 425000 | #Constraints: 85339
2477.96/2541.82 c #Conflicts: 426000 | #Constraints: 86339
2477.96/2541.82 c #Conflicts: 427000 | #Constraints: 87339
2477.96/2541.82 c #Conflicts: 428000 | #Constraints: 88339
2477.96/2541.82 c #Conflicts: 429000 | #Constraints: 89339
2477.96/2541.82 c #Conflicts: 430000 | #Constraints: 90339
2477.96/2541.82 c #Conflicts: 431000 | #Constraints: 91339
2477.96/2541.82 c #Conflicts: 432000 | #Constraints: 92339
2477.96/2541.82 c #Conflicts: 433000 | #Constraints: 93339
2477.96/2541.82 c INPROCESSING
2477.96/2541.82 c GARBAGE COLLECT
2477.96/2541.82 c #Conflicts: 434000 | #Constraints: 81338
2477.96/2541.82 c #Conflicts: 435000 | #Constraints: 82338
2477.96/2541.82 c #Conflicts: 436000 | #Constraints: 83338
2477.96/2541.82 c #Conflicts: 437000 | #Constraints: 84338
2477.96/2541.82 c #Conflicts: 438000 | #Constraints: 85338
2477.96/2541.82 c #Conflicts: 439000 | #Constraints: 86338
2477.96/2541.82 c #Conflicts: 440000 | #Constraints: 87338
2477.96/2541.82 c #Conflicts: 441000 | #Constraints: 88338
2477.96/2541.82 c #Conflicts: 442000 | #Constraints: 89338
2477.96/2541.82 c #Conflicts: 443000 | #Constraints: 90338
2477.96/2541.82 c #Conflicts: 444000 | #Constraints: 91338
2477.96/2541.82 c #Conflicts: 445000 | #Constraints: 92338
2477.96/2541.82 c #Conflicts: 446000 | #Constraints: 93338
2477.96/2541.82 c INPROCESSING
2477.96/2541.82 c GARBAGE COLLECT
2972.94/3038.21 c #Conflicts: 447000 | #Constraints: 81137
2972.94/3038.21 c #Conflicts: 448000 | #Constraints: 82137
2972.94/3038.21 c #Conflicts: 449000 | #Constraints: 83137
2972.94/3038.21 c #Conflicts: 450000 | #Constraints: 84137
2972.94/3038.21 c #Conflicts: 451000 | #Constraints: 85137
2972.94/3038.21 c #Conflicts: 452000 | #Constraints: 86137
2972.94/3038.21 c #Conflicts: 453000 | #Constraints: 87137
2972.94/3038.21 c #Conflicts: 454000 | #Constraints: 88137
2972.94/3038.21 c #Conflicts: 455000 | #Constraints: 89137
2972.94/3038.21 c #Conflicts: 456000 | #Constraints: 90137
2972.94/3038.21 c #Conflicts: 457000 | #Constraints: 91137
2972.94/3038.21 c #Conflicts: 458000 | #Constraints: 92137
2972.94/3038.21 c #Conflicts: 459000 | #Constraints: 93137
2972.94/3038.21 c #Conflicts: 460000 | #Constraints: 94137
2972.94/3038.21 c INPROCESSING
2972.94/3038.21 c GARBAGE COLLECT
2972.94/3038.21 c #Conflicts: 461000 | #Constraints: 81740
2972.94/3038.21 c #Conflicts: 462000 | #Constraints: 82740
2972.94/3038.21 c #Conflicts: 463000 | #Constraints: 83740
2972.94/3038.21 c #Conflicts: 464000 | #Constraints: 84740
2972.94/3038.21 c #Conflicts: 465000 | #Constraints: 85740
2972.94/3038.21 c #Conflicts: 466000 | #Constraints: 86740
2972.94/3038.21 c #Conflicts: 467000 | #Constraints: 87740
2972.94/3038.21 c #Conflicts: 468000 | #Constraints: 88740
2972.94/3038.21 c #Conflicts: 469000 | #Constraints: 89740
2972.94/3038.21 c #Conflicts: 470000 | #Constraints: 90740
2972.94/3038.21 c #Conflicts: 471000 | #Constraints: 91740
2972.94/3038.21 c #Conflicts: 472000 | #Constraints: 92740
2972.94/3038.21 c #Conflicts: 473000 | #Constraints: 93740
2972.94/3038.21 c #Conflicts: 474000 | #Constraints: 94740
2972.94/3038.21 c INPROCESSING
2972.94/3038.21 c GARBAGE COLLECT
2972.94/3038.21 c #Conflicts: 475000 | #Constraints: 82150
2972.94/3038.21 c #Conflicts: 476000 | #Constraints: 83150
2972.94/3038.21 c #Conflicts: 477000 | #Constraints: 84150
2972.94/3038.21 c #Conflicts: 478000 | #Constraints: 85150
2972.94/3038.21 c #Conflicts: 479000 | #Constraints: 86150
2972.94/3038.21 c #Conflicts: 480000 | #Constraints: 87150
2972.94/3038.21 c #Conflicts: 481000 | #Constraints: 88150
2972.94/3038.21 c #Conflicts: 482000 | #Constraints: 89150
2972.94/3038.21 c #Conflicts: 483000 | #Constraints: 90150
2972.94/3038.21 c #Conflicts: 484000 | #Constraints: 91150
2972.94/3038.21 c #Conflicts: 485000 | #Constraints: 92150
2972.94/3038.21 c #Conflicts: 486000 | #Constraints: 93150
2972.94/3038.21 c #Conflicts: 487000 | #Constraints: 94150
2972.94/3038.21 c #Conflicts: 488000 | #Constraints: 95150
2972.94/3038.21 c INPROCESSING
2972.94/3038.21 c GARBAGE COLLECT
2972.94/3038.21 c #Conflicts: 489000 | #Constraints: 82347
2972.94/3038.21 c #Conflicts: 490000 | #Constraints: 83347
2972.94/3038.21 c #Conflicts: 491000 | #Constraints: 84347
2972.94/3038.21 c #Conflicts: 492000 | #Constraints: 85347
2972.94/3038.21 c #Conflicts: 493000 | #Constraints: 86347
2972.94/3038.21 c #Conflicts: 494000 | #Constraints: 87347
2972.94/3038.21 c #Conflicts: 495000 | #Constraints: 88347
2972.94/3038.21 c #Conflicts: 496000 | #Constraints: 89347
2972.94/3038.21 c #Conflicts: 497000 | #Constraints: 90347
2972.94/3038.21 c #Conflicts: 498000 | #Constraints: 91347
2972.94/3038.21 c #Conflicts: 499000 | #Constraints: 92347
2972.94/3038.21 c #Conflicts: 500000 | #Constraints: 93347
2972.94/3038.21 c #Conflicts: 501000 | #Constraints: 94347
2972.94/3038.21 c #Conflicts: 502000 | #Constraints: 95347
2972.94/3038.21 c INPROCESSING
2972.94/3038.21 c GARBAGE COLLECT
2972.94/3038.21 c #Conflicts: 503000 | #Constraints: 82337
2972.94/3038.21 c #Conflicts: 504000 | #Constraints: 83337
2972.94/3038.21 c #Conflicts: 505000 | #Constraints: 84337
2972.94/3038.21 c #Conflicts: 506000 | #Constraints: 85337
2972.94/3038.21 c #Conflicts: 507000 | #Constraints: 86337
2972.94/3038.21 c #Conflicts: 508000 | #Constraints: 87337
2972.94/3038.21 c #Conflicts: 509000 | #Constraints: 88337
2972.94/3038.21 c #Conflicts: 510000 | #Constraints: 89337
2972.94/3038.21 c #Conflicts: 511000 | #Constraints: 90337
2972.94/3038.21 c #Conflicts: 512000 | #Constraints: 91337
2972.94/3038.21 c #Conflicts: 513000 | #Constraints: 92337
2972.94/3038.21 c #Conflicts: 514000 | #Constraints: 93337
2972.94/3038.21 c #Conflicts: 515000 | #Constraints: 94337
2972.94/3038.21 c #Conflicts: 516000 | #Constraints: 95337
2972.94/3038.21 c INPROCESSING
2972.94/3038.21 c GARBAGE COLLECT
2972.94/3038.21 c #Conflicts: 517000 | #Constraints: 82142
2972.94/3038.21 c #Conflicts: 518000 | #Constraints: 83142
2972.94/3038.21 c #Conflicts: 519000 | #Constraints: 84142
2972.94/3038.21 c #Conflicts: 520000 | #Constraints: 85142
2972.94/3038.21 c #Conflicts: 521000 | #Constraints: 86142
2972.94/3038.21 c #Conflicts: 522000 | #Constraints: 87142
3454.52/3521.18 c #Conflicts: 523000 | #Constraints: 88142
3454.52/3521.18 c #Conflicts: 524000 | #Constraints: 89142
3454.52/3521.18 c #Conflicts: 525000 | #Constraints: 90142
3454.52/3521.18 c #Conflicts: 526000 | #Constraints: 91142
3454.52/3521.18 c #Conflicts: 527000 | #Constraints: 92142
3454.52/3521.18 c #Conflicts: 528000 | #Constraints: 93142
3454.52/3521.18 c #Conflicts: 529000 | #Constraints: 94142
3454.52/3521.18 c #Conflicts: 530000 | #Constraints: 95142
3454.52/3521.18 c #Conflicts: 531000 | #Constraints: 96142
3454.52/3521.18 c INPROCESSING
3454.52/3521.18 c GARBAGE COLLECT
3454.52/3521.18 c #Conflicts: 532000 | #Constraints: 82745
3454.52/3521.18 c #Conflicts: 533000 | #Constraints: 83745
3454.52/3521.18 c #Conflicts: 534000 | #Constraints: 84745
3454.52/3521.18 c #Conflicts: 535000 | #Constraints: 85745
3454.52/3521.18 c #Conflicts: 536000 | #Constraints: 86745
3454.52/3521.18 c #Conflicts: 537000 | #Constraints: 87745
3454.52/3521.18 c #Conflicts: 538000 | #Constraints: 88745
3454.52/3521.18 c #Conflicts: 539000 | #Constraints: 89745
3454.52/3521.18 c #Conflicts: 540000 | #Constraints: 90745
3454.52/3521.18 c #Conflicts: 541000 | #Constraints: 91745
3454.52/3521.18 c #Conflicts: 542000 | #Constraints: 92745
3454.52/3521.18 c #Conflicts: 543000 | #Constraints: 93745
3454.52/3521.18 c #Conflicts: 544000 | #Constraints: 94745
3454.52/3521.18 c #Conflicts: 545000 | #Constraints: 95745
3454.52/3521.18 c #Conflicts: 546000 | #Constraints: 96745
3454.52/3521.18 c INPROCESSING
3454.52/3521.18 c GARBAGE COLLECT
3454.52/3521.18 c #Conflicts: 547000 | #Constraints: 83139
3454.52/3521.18 c #Conflicts: 548000 | #Constraints: 84139
3454.52/3521.18 c #Conflicts: 549000 | #Constraints: 85139
3454.52/3521.18 c #Conflicts: 550000 | #Constraints: 86139
3454.52/3521.18 c #Conflicts: 551000 | #Constraints: 87139
3454.52/3521.18 c #Conflicts: 552000 | #Constraints: 88139
3454.52/3521.18 c #Conflicts: 553000 | #Constraints: 89139
3454.52/3521.18 c #Conflicts: 554000 | #Constraints: 90139
3454.52/3521.18 c #Conflicts: 555000 | #Constraints: 91139
3454.52/3521.18 c #Conflicts: 556000 | #Constraints: 92139
3454.52/3521.18 c #Conflicts: 557000 | #Constraints: 93139
3454.52/3521.18 c #Conflicts: 558000 | #Constraints: 94139
3454.52/3521.18 c #Conflicts: 559000 | #Constraints: 95139
3454.52/3521.18 c #Conflicts: 560000 | #Constraints: 96139
3454.52/3521.18 c #Conflicts: 561000 | #Constraints: 97139
3454.52/3521.18 c INPROCESSING
3454.52/3521.18 c GARBAGE COLLECT
3454.52/3521.18 c #Conflicts: 562000 | #Constraints: 83341
3454.52/3521.18 c #Conflicts: 563000 | #Constraints: 84341
3454.52/3521.18 c #Conflicts: 564000 | #Constraints: 85341
3454.52/3521.18 c #Conflicts: 565000 | #Constraints: 86341
3454.52/3521.18 c #Conflicts: 566000 | #Constraints: 87341
3454.52/3521.18 c #Conflicts: 567000 | #Constraints: 88341
3454.52/3521.18 c #Conflicts: 568000 | #Constraints: 89341
3454.52/3521.18 c #Conflicts: 569000 | #Constraints: 90341
3454.52/3521.18 c #Conflicts: 570000 | #Constraints: 91341
3454.52/3521.18 c #Conflicts: 571000 | #Constraints: 92341
3454.52/3521.18 c #Conflicts: 572000 | #Constraints: 93341
3454.52/3521.18 c #Conflicts: 573000 | #Constraints: 94341
3454.52/3521.18 c #Conflicts: 574000 | #Constraints: 95341
3454.52/3521.18 c #Conflicts: 575000 | #Constraints: 96341
3454.52/3521.18 c #Conflicts: 576000 | #Constraints: 97341
3454.52/3521.18 c INPROCESSING
3454.52/3521.18 c GARBAGE COLLECT
3454.52/3521.18 c #Conflicts: 577000 | #Constraints: 83332
3454.52/3521.18 c #Conflicts: 578000 | #Constraints: 84332
3454.52/3521.18 c #Conflicts: 579000 | #Constraints: 85332
3454.52/3521.18 c #Conflicts: 580000 | #Constraints: 86332
3454.52/3521.18 c #Conflicts: 581000 | #Constraints: 87332
3454.52/3521.18 c #Conflicts: 582000 | #Constraints: 88332
3454.52/3521.18 c #Conflicts: 583000 | #Constraints: 89332
3454.52/3521.18 c #Conflicts: 584000 | #Constraints: 90332
3454.52/3521.18 c #Conflicts: 585000 | #Constraints: 91332
3454.52/3521.18 c #Conflicts: 586000 | #Constraints: 92332
3454.52/3521.18 c #Conflicts: 587000 | #Constraints: 93332
3454.52/3521.18 c #Conflicts: 588000 | #Constraints: 94332
3454.52/3521.18 c #Conflicts: 589000 | #Constraints: 95332
3454.52/3521.18 c #Conflicts: 590000 | #Constraints: 96332
3454.52/3521.18 c #Conflicts: 591000 | #Constraints: 97332
3454.52/3521.18 c INPROCESSING
3454.52/3521.18 c GARBAGE COLLECT
3454.52/3521.18 c #Conflicts: 592000 | #Constraints: 83143
3454.52/3521.18 c #Conflicts: 593000 | #Constraints: 84143
3454.52/3521.18 c #Conflicts: 594000 | #Constraints: 85143
3454.52/3521.18 c #Conflicts: 595000 | #Constraints: 86143
3454.52/3521.18 c #Conflicts: 596000 | #Constraints: 87143
3454.52/3521.18 c #Conflicts: 597000 | #Constraints: 88143
3600.02/3667.03 c #Conflicts: 598000 | #Constraints: 89143
3600.02/3667.03 c #Conflicts: 599000 | #Constraints: 90143
3600.02/3667.03 c #Conflicts: 600000 | #Constraints: 91143
3600.02/3667.03 c #Conflicts: 601000 | #Constraints: 92143
3600.02/3667.03 c #Conflicts: 602000 | #Constraints: 93143
3600.02/3667.03 c #Conflicts: 603000 | #Constraints: 94143
3600.02/3667.03 c #Conflicts: 604000 | #Constraints: 95143
3600.02/3667.03 c #Conflicts: 605000 | #Constraints: 96143
3600.02/3667.03 c #Conflicts: 606000 | #Constraints: 97143
3600.02/3667.03 c #Conflicts: 607000 | #Constraints: 98143
3600.02/3667.03 c INPROCESSING
3600.02/3667.03 c GARBAGE COLLECT
3600.02/3667.03 c #Conflicts: 608000 | #Constraints: 83746
3600.02/3667.03 c #Conflicts: 609000 | #Constraints: 84746
3600.02/3667.03 c #Conflicts: 610000 | #Constraints: 85746
3600.02/3667.03 c #Conflicts: 611000 | #Constraints: 86746
3600.02/3667.03 c #Conflicts: 612000 | #Constraints: 87746
3600.02/3667.03 c #Conflicts: 613000 | #Constraints: 88746
3600.02/3667.03 c #Conflicts: 614000 | #Constraints: 89746
3600.02/3667.03 c #Conflicts: 615000 | #Constraints: 90746
3600.02/3667.03 c #Conflicts: 616000 | #Constraints: 91746
3600.02/3667.03 c #Conflicts: 617000 | #Constraints: 92746
3600.02/3667.03 c #Conflicts: 618000 | #Constraints: 93746
3600.02/3667.03 c #Conflicts: 619000 | #Constraints: 94746
3600.02/3667.03 c #Conflicts: 620000 | #Constraints: 95746
3600.02/3667.03 c cpu time 3530.28 s
3600.02/3667.03 c deterministic time 1 1.00e+00
3600.02/3667.03 c optimization time 3529.2 s
3600.02/3667.03 c total solve time 0 s
3600.02/3667.03 c core-guided solve time 0 s
3600.02/3667.03 c propagation time 0.027983 s
3600.02/3667.03 c conflict analysis time 0 s
3600.02/3667.03 c propagations 0
3600.02/3667.03 c resolve steps 0
3600.02/3667.03 c decisions 0
3600.02/3667.03 c conflicts 0
3600.02/3667.03 c restarts 0
3600.02/3667.03 c inprocessing phases 0
3600.02/3667.03 c garbage collections 0 ,( -nan )
3600.02/3667.03 c input clauses 65280 ,( 100.00 )
3600.02/3667.03 c input cardinalities 0 ,( 0.00 )
3600.02/3667.03 c input general constraints 0 ,( 0.00 )
3600.02/3667.03 c input average constraint length 54.71
3600.02/3667.03 c input average constraint degree 1.00
3600.02/3667.03 c learned clauses 0 ,( 0.00 )
3600.02/3667.03 c learned cardinalities 0 ,( 0.00 )
3600.02/3667.03 c learned general constraints 0 ,( 0.00 )
3600.02/3667.03 c learned average constraint length 0.00
3600.02/3667.03 c learned average constraint degree 0.00
3600.02/3667.03 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3667.03 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3667.03 c watched constraints 0 ,( -nan )
3600.02/3667.03 c counting constraints 0 ,( -nan )
3600.02/3667.03 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3667.03 c gcd simplifications 0
3600.02/3667.03 c detected cardinalities 0
3600.02/3667.03 c weakened non-implied lits 0
3600.02/3667.03 c weakened non-implying lits 0
3600.02/3667.03 c original variables 7840
3600.02/3667.03 c clausal propagations 0
3600.02/3667.03 c cardinality propagations 0
3600.02/3667.03 c watched propagations 0
3600.02/3667.03 c counting propagations 0
3600.02/3667.03 c watch lookups 0
3600.02/3667.03 c watch backjump lookups 0
3600.02/3667.03 c watch checks 0
3600.02/3667.03 c propagation checks 0
3600.02/3667.03 c constraint additions 0
3600.02/3667.03 c trail pops 0
3600.02/3667.03 c formula constraints 65280
3600.02/3667.03 c learned constraints 0
3600.02/3667.03 c bound constraints 0
3600.02/3667.03 c core-guided constraints 0
3600.02/3667.03 c encountered formula constraints 0
3600.02/3667.03 c encountered learned constraints 0
3600.02/3667.03 c encountered bound constraints 0
3600.02/3667.03 c encountered core-guided constraints 0
3600.02/3667.03 c LP total time 0 s
3600.02/3667.03 c LP solve time 0 s
3600.02/3667.03 c LP constraints added 0
3600.02/3667.03 c LP constraints removed 0
3600.02/3667.03 c LP pivots internal 0
3600.02/3667.03 c LP pivots root 0
3600.02/3667.03 c LP calls 0
3600.02/3667.03 c LP optimalities 0
3600.02/3667.03 c LP no pivot count 0
3600.02/3667.03 c LP infeasibilities 0
3600.02/3667.03 c LP valid Farkas constraints 0
3600.02/3667.03 c LP learned Farkas constraints 0
3600.02/3667.03 c LP basis resets 0
3600.02/3667.03 c LP cycling count 0
3600.02/3667.03 c LP singular count 0
3600.02/3667.03 c LP no primal count 0
3600.02/3667.03 c LP no farkas count 0
3600.02/3667.03 c LP other issue count 0
3600.02/3667.03 c LP Gomory cuts 0
3600.02/3667.03 c LP learned cuts 0
3600.02/3667.03 c LP deleted cuts 0
3600.02/3667.03 c LP encountered Gomory constraints 0
3600.02/3667.03 c LP encountered Farkas constraints 0
3600.02/3667.03 c LP encountered learned Farkas constraints 0
3600.02/3667.03 c CG auxiliary variables introduced 0
3600.02/3667.03 c CG solutions found 0
3600.02/3667.03 c CG cores constructed 0
3600.02/3667.03 c CG core cardinality constraints returned 0
3600.02/3667.03 c CG unit cores 0
3600.02/3667.03 c CG single cores 0
3600.02/3667.03 c CG blocks removed during cardinality reduction 0
3600.02/3667.03 c CG first core best 0
3600.02/3667.03 c CG decision core best 0
3600.02/3667.03 c CG core reduction tie 0
3600.02/3667.03 c CG core degree average 0.00
3600.02/3667.03 c CG core slack average 0.00
3600.02/3667.03 c CG core upper bound improvements 0
3600.02/3667.03 c STR number of successful calls 0
3600.02/3667.03 c STR number of unsuccessful calls 0
3600.02/3667.03 c STR number of inconclusive calls 0
3600.02/3667.03 c STR number of successful attempts 0
3600.02/3667.03 c STR number of unsuccessful attempts 0
3600.02/3667.03 c STR number of inconclusive attempts 0
3600.02/3667.03 c STR average degree increase per successful call inf
3600.02/3667.03 c STR average degree increase per successful attempt inf
3600.02/3667.03 c STR total number of conflicts for successful attempts 0
3600.02/3667.03 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3667.03 c STR total number of conflicts for inconclusive attempts 0
3600.02/3667.03 c STR average number of conflicts per successful attempt inf
3600.02/3667.03 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3667.03 c STR average number of conflicts per inconclusive attempt inf
3600.02/3667.03 c AVG.sumWPerc -nan
3600.02/3667.03 c bigint constraints 0
3600.02/3667.03 s UNKNOWN
3600.02/3667.03 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62220 MiB free)
memory of node 1: 64507 MiB (37276 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502877-1751446403/watcher-4502877-1751446403 -o /tmp/evaluation-result-4502877-1751446403/solver-4502877-1751446403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67591 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502877-1751446403.opb PROOFDIR/proof-4502877-1751446403
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68646, runsolver pid=68642
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 4.31 4.18 4.12 3/268 68653
/proc/meminfo: memFree=101873584/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68646 68646 67579 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 60318140 52015104 1856 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.205596 s]*
/proc/loadavg: 4.31 4.18 4.12 3/268 68653
/proc/meminfo: memFree=101869488/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68646 68646 67579 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 60318140 52015104 1856 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.305079 s]*
/proc/loadavg: 4.31 4.18 4.12 3/268 68653
/proc/meminfo: memFree=101869488/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68646 68646 67579 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 60318140 52015104 1856 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+0.70023 s]
/proc/loadavg: 4.31 4.18 4.12 3/268 68653
/proc/meminfo: memFree=101865596/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68646 68646 67579 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 60318140 52015104 1856 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+1.50026 s]
/proc/loadavg: 4.31 4.18 4.12 3/268 68653
/proc/meminfo: memFree=101853596/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68646 68646 67579 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 60318140 52015104 1856 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
[startup+3.10511 s]
/proc/loadavg: 4.31 4.18 4.12 3/268 68653
/proc/meminfo: memFree=101752480/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68646 68646 67579 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 60318140 52015104 1856 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
heavy processes:
[startup+6.30022 s]
/proc/loadavg: 4.28 4.17 4.12 3/268 68653
/proc/meminfo: memFree=101570532/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=50796 memory=7424 CPUtime=0 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68646 68646 67579 0 -1 4456448 299 0 0 0 0 0 0 0 20 0 1 0 60318140 52015104 1856 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 12699 1856 1760 1147 0 126 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 54988 KiB
Current children cumulated memory: 10496 KiB
heavy processes:
[startup+12.7002 s]
/proc/loadavg: 4.26 4.17 4.12 5/274 68673
/proc/meminfo: memFree=127635672/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=450976 memory=380860 CPUtime=6.25 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 67645 0 0 0 518 107 0 0 20 0 1 0 60318140 461799424 95215 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 112744 95215 2336 1147 0 100171 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 455168 KiB
Current children cumulated memory: 383932 KiB
heavy processes:
[startup+25.5002 s]
/proc/loadavg: 4.20 4.16 4.12 5/274 68673
/proc/meminfo: memFree=126809144/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=697508 memory=637660 CPUtime=19.02 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 118575 0 0 0 1590 312 0 0 20 0 1 0 60318140 714248192 159415 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 174377 159415 2336 1147 0 161804 0
Current children cumulated CPU time: 19.02 s
Current children cumulated vsize: 701700 KiB
Current children cumulated memory: 640732 KiB
heavy processes:
[startup+51.1061 s]
/proc/loadavg: 4.27 4.18 4.13 4/267 68700
/proc/meminfo: memFree=122294724/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=1515412 memory=1222160 CPUtime=44.57 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 233522 0 0 0 3940 517 0 0 20 0 1 0 60318140 1551781888 305540 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 378853 305540 2336 1147 0 366280 0
Current children cumulated CPU time: 44.57 s
Current children cumulated vsize: 1519604 KiB
Current children cumulated memory: 1225232 KiB
[startup+102.3 s]
/proc/loadavg: 4.24 4.18 4.13 5/273 68721
/proc/meminfo: memFree=113501680/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=1645860 memory=1443048 CPUtime=95.6 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 272998 0 0 0 8917 643 0 0 20 0 1 0 60318140 1685360640 360762 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 411465 360762 2336 1147 0 398892 0
Current children cumulated CPU time: 95.6 s
Current children cumulated vsize: 1650052 KiB
Current children cumulated memory: 1446120 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.16 4.12 5/273 68723
/proc/meminfo: memFree=107659732/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=1651020 memory=1517756 CPUtime=155.42 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 282991 0 0 0 14754 788 0 0 20 0 1 0 60318140 1690644480 379439 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 412755 379439 2336 1147 0 400182 0
Current children cumulated CPU time: 155.42 s
Current children cumulated vsize: 1655212 KiB
Current children cumulated memory: 1520828 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.16 4.12 5/273 68725
/proc/meminfo: memFree=103219644/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
################
# More data... #
################
Current children cumulated memory: 4338824 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.16 4.15 5/277 68934
/proc/meminfo: memFree=1363576/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=5288192 memory=4370824 CPUtime=3336.04 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 891325 0 0 0 327086 6518 0 0 20 0 1 0 60318140 5415108608 1092706 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1322048 1092706 2336 1147 0 1309475 0
Current children cumulated CPU time: 3336.04 s
Current children cumulated vsize: 5292384 KiB
Current children cumulated memory: 4373896 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/277 68936
/proc/meminfo: memFree=1373464/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=5288192 memory=4370824 CPUtime=3395.88 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 891928 0 0 0 332955 6633 0 0 20 0 1 0 60318140 5415108608 1092706 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1322048 1092706 2336 1147 0 1309475 0
Current children cumulated CPU time: 3395.88 s
Current children cumulated vsize: 5292384 KiB
Current children cumulated memory: 4373896 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.14 5/278 68939
/proc/meminfo: memFree=1162640/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=5294240 memory=4439768 CPUtime=3455.71 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 901313 0 0 0 338826 6745 0 0 20 0 1 0 60318140 5421301760 1109942 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1323560 1109942 2336 1147 0 1310987 0
Current children cumulated CPU time: 3455.71 s
Current children cumulated vsize: 5298432 KiB
Current children cumulated memory: 4442840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.17 4.15 5/278 68941
/proc/meminfo: memFree=1346772/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=5297764 memory=4446040 CPUtime=3515.54 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 903068 0 0 0 344717 6837 0 0 20 0 1 0 60318140 5424910336 1111510 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1324441 1111510 2336 1147 0 1311868 0
Current children cumulated CPU time: 3515.54 s
Current children cumulated vsize: 5301956 KiB
Current children cumulated memory: 4449112 KiB
[startup+3642.3 s]
/proc/loadavg: 4.30 4.21 4.17 5/276 68943
/proc/meminfo: memFree=1257764/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=5299352 memory=4448088 CPUtime=3575.38 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 903967 0 0 0 350609 6929 0 0 20 0 1 0 60318140 5426536448 1112022 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1324838 1112022 2336 1147 0 1312265 0
Current children cumulated CPU time: 3575.38 s
Current children cumulated vsize: 5303544 KiB
Current children cumulated memory: 4451160 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3667 s]*
/proc/loadavg: 4.11 4.17 4.16 4/269 68975
/proc/meminfo: memFree=25937620/131250000 swapFree=33010416/33010684
[pid=68646] ppid=68642 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/68646/stat : 68646 (run-opt-log.sh) S 68642 68646 67579 0 -1 4194304 212 0 0 0 0 0 0 0 20 0 1 0 60318139 4292608 768 18446744073709551615 94886588694528 94886589589061 140727386277296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94886589828112 94886589875856 94886615027712 140727386282273 140727386282468 140727386282468 140727386288070 0
/proc/68646/statm: 1048 768 704 219 0 110 0
[pid=68650] ppid=68646 vsize=5299352 memory=4448088 CPUtime=3600.02 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68646 68646 67579 0 -1 4194304 904024 0 0 0 353028 6974 0 0 20 0 1 0 60318140 5426536448 1112022 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1324838 1112022 2336 1147 0 1312265 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 5303544 KiB
Current children cumulated memory: 4451160 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3667.01 s]
# the end of solver process 68646 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002681 s
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.11 4.17 4.16 2/267 68975
/proc/meminfo: memFree=25836512/131250000 swapFree=33010416/33010684
[pid=68650] ppid=68642 vsize=5299352 memory=4448472 CPUtime=3600.78 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68642 68646 67579 0 -1 4194304 904030 0 1 0 353028 7050 0 0 20 0 1 0 60318140 5426536448 1112118 18446744073709551615 4227072 8923433 140724799330496 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 9
/proc/68650/statm: 1324838 1112118 2432 1147 0 1312265 0
??? kill 68650 sig 9
??? end of watcher thread
[startup+3674.38 s]
# the end of solver process 68650 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3530.29 s, system=70.9782 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3667.21 s]
/proc/loadavg: 4.11 4.17 4.16 4/268 68975
/proc/meminfo: memFree=25945920/131250000 swapFree=33010416/33010684
[pid=68650] ppid=68642 vsize=5299352 memory=4448472 CPUtime=3600.2 cores=1,3
/proc/68650/stat : 68650 (roundingsat) R 68642 68646 67579 0 -1 4194304 904030 0 1 0 353028 6992 0 0 20 0 1 0 60318140 5426536448 1112118 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1324838 1112118 2432 1147 0 1312265 0
Current cumulated CPU time of completed processes: 0.002681 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 5299352 KiB
Current children cumulated memory: 4448472 KiB
[startup+3668 s]*
/proc/loadavg: 4.11 4.17 4.16 3/268 68975
/proc/meminfo: memFree=25869476/131250000 swapFree=33010416/33010684
[pid=68650] ppid=68642 vsize=5299352 memory=4448472 CPUtime=3600.71 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68642 68646 67579 0 -1 4194304 904030 0 1 0 353028 7043 0 0 20 0 1 0 60318140 5426536448 1112118 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1324838 1112118 2432 1147 0 1312265 0
Current cumulated CPU time of completed processes: 0.002681 s
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 5299352 KiB
Current children cumulated memory: 4448472 KiB
[startup+3668.8 s]
/proc/loadavg: 4.11 4.17 4.16 3/268 68975
/proc/meminfo: memFree=25869476/131250000 swapFree=33010416/33010684
[pid=68650] ppid=68642 vsize=5299352 memory=4448472 CPUtime=3600.76 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68642 68646 67579 0 -1 4194304 904030 0 1 0 353028 7048 0 0 20 0 1 0 60318140 5426536448 1112118 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1324838 1112118 2432 1147 0 1312265 0
Current cumulated CPU time of completed processes: 0.002681 s
Current children cumulated CPU time: 3600.76 s
Current children cumulated vsize: 5299352 KiB
Current children cumulated memory: 4448472 KiB
[startup+3669 s]*
/proc/loadavg: 4.11 4.17 4.16 4/267 68975
/proc/meminfo: memFree=25837472/131250000 swapFree=33010416/33010684
[pid=68650] ppid=68642 vsize=5299352 memory=4448472 CPUtime=3600.78 cores=1,3
/proc/68650/stat : 68650 (roundingsat) D 68642 68646 67579 0 -1 4194304 904030 0 1 0 353028 7050 0 0 20 0 1 0 60318140 5426536448 1112118 18446744073709551615 4227072 8923433 140724799330496 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 34488320 140724799334738 140724799334952 140724799334952 140724799340522 0
/proc/68650/statm: 1324838 1112118 2432 1147 0 1312265 0
Current cumulated CPU time of completed processes: 0.002681 s
Current children cumulated CPU time: 3600.78 s
Current children cumulated vsize: 5299352 KiB
Current children cumulated memory: 4448472 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3674.38
CPU time (s): 3601.27
CPU user time (s): 3530.29
CPU system time (s): 70.9782
CPU usage (%): 98.0102
Max. virtual memory (cumulated for all children) (KiB): 5303544
Max. memory (cumulated for all children) (KiB): 4451160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3530.29
system time used= 70.9783
maximum resident set size= 4448472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 904242
page faults= 1
swaps= 0
block input operations= 4168
block output operations= 116566920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158026
involuntary context switches= 8150
# summary of solver processes directly reported to runsolver:
# pid: 68646,68650
# total CPU time (s): 3601.27
# total CPU user time (s): 3530.29
# total CPU system time (s): 70.9782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.19103 second user time and 19.5322 second system time
The end
Begin job on nodeC018 at 2025-07-02 10:53:23
IDJOB=4502877
IDBENCH=155400
IDSOLVER=3351
FILE ID=nodeC018/4502877-1751446403
RUNJOBID= nodeC018-1751439163-67591
SLURM_JOB_ID= 9598397
Free space on /tmp= 432832 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502877-1751446403/watcher-4502877-1751446403 -o /tmp/evaluation-result-4502877-1751446403/solver-4502877-1751446403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67591 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502877-1751446403.opb PROOFDIR/proof-4502877-1751446403
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=1755717871
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.824
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.819
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.279
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3539.716
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.508
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3654.519
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.613
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 101909092 kB
MemAvailable: 129296380 kB
Buffers: 2128 kB
Cached: 28135156 kB
SwapCached: 32 kB
Active: 917208 kB
Inactive: 27717968 kB
Active(anon): 516020 kB
Inactive(anon): 288 kB
Active(file): 401188 kB
Inactive(file): 27717680 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 109740 kB
Writeback: 0 kB
AnonPages: 501512 kB
Mapped: 113160 kB
Shmem: 18044 kB
KReclaimable: 214916 kB
Slab: 307444 kB
SReclaimable: 214916 kB
SUnreclaim: 92528 kB
KernelStack: 4320 kB
PageTables: 4072 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 846392 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 200704 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432844 MiB
End job on nodeC018 at 2025-07-02 11:54:37