0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.08/1.10 c #variables 7840 #constraints 65280
1.08/1.10 c objective is ce32
1.37/1.42 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
1.37/1.42 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
1.37/1.42 c GLOBAL bounds - >= 0 @ 1.23823
1.57/1.66 c GLOBAL bounds - >= 0 @ 1.47408
1.57/1.67 c GLOBAL bounds - >= 0 @ 1.47736
1.57/1.68 c GLOBAL bounds - >= 0 @ 1.48653
1.57/1.69 c GLOBAL bounds - >= 0 @ 1.49294
1.67/1.71 c GLOBAL bounds - >= 0 @ 1.49963
1.67/1.71 c GLOBAL bounds - >= 0 @ 1.50547
1.67/1.73 c GLOBAL bounds - >= 0 @ 1.51483
1.67/1.74 c GLOBAL bounds - >= 0 @ 1.52306
1.67/1.75 c GLOBAL bounds - >= 0 @ 1.53316
1.67/1.77 c GLOBAL bounds - >= 0 @ 1.54117
1.67/1.78 c GLOBAL bounds - >= 0 @ 1.54863
1.67/1.79 c GLOBAL bounds - >= 0 @ 1.55279
1.77/1.80 c GLOBAL bounds - >= 0 @ 1.56003
1.77/1.82 c GLOBAL bounds - >= 0 @ 1.57422
1.77/1.84 c GLOBAL bounds - >= 0 @ 1.5916
1.77/1.86 c GLOBAL bounds - >= 0 @ 1.60567
1.77/1.88 c GLOBAL bounds - >= 0 @ 1.62364
1.87/1.90 c GLOBAL bounds - >= 0 @ 1.64056
1.87/1.92 c GLOBAL bounds - >= 0 @ 1.66069
1.87/1.94 c GLOBAL bounds - >= 0 @ 1.67638
1.87/1.96 c GLOBAL bounds - >= 0 @ 1.69116
1.87/1.99 c GLOBAL bounds - >= 0 @ 1.71555
1.97/2.01 c GLOBAL bounds - >= 0 @ 1.7271
1.97/2.03 c GLOBAL bounds - >= 0 @ 1.74139
1.97/2.04 c GLOBAL bounds - >= 0 @ 1.7484
1.97/2.05 c GLOBAL bounds - >= 0 @ 1.75376
1.97/2.07 c GLOBAL bounds - >= 0 @ 1.76497
1.97/2.08 c GLOBAL bounds - >= 0 @ 1.77171
1.97/2.10 c GLOBAL bounds - >= 0 @ 1.78216
2.07/2.11 c GLOBAL bounds - >= 0 @ 1.79015
2.07/2.12 c GLOBAL bounds - >= 0 @ 1.7962
2.07/2.14 c GLOBAL bounds - >= 0 @ 1.80371
2.07/2.16 c GLOBAL bounds - >= 0 @ 1.81731
2.07/2.18 c GLOBAL bounds - >= 0 @ 1.82817
2.07/2.19 c GLOBAL bounds - >= 0 @ 1.83586
2.17/2.20 c GLOBAL bounds - >= 0 @ 1.84194
2.17/2.21 c GLOBAL bounds - >= 0 @ 1.84663
2.17/2.22 c GLOBAL bounds - >= 0 @ 1.85182
2.17/2.24 c GLOBAL bounds - >= 0 @ 1.85795
2.17/2.25 c GLOBAL bounds - >= 0 @ 1.86301
2.17/2.26 c GLOBAL bounds - >= 0 @ 1.86717
2.17/2.27 c GLOBAL bounds - >= 0 @ 1.87381
2.17/2.29 c GLOBAL bounds - >= 0 @ 1.89008
2.26/2.30 c GLOBAL bounds - >= 0 @ 1.89923
2.26/2.32 c GLOBAL bounds - >= 0 @ 1.91134
2.26/2.34 c GLOBAL bounds - >= 0 @ 1.92971
2.26/2.36 c GLOBAL bounds - >= 0 @ 1.94441
2.26/2.37 c GLOBAL bounds - >= 0 @ 1.95617
2.26/2.39 c GLOBAL bounds - >= 0 @ 1.96851
2.37/2.41 c GLOBAL bounds - >= 0 @ 1.98065
2.37/2.42 c GLOBAL bounds - >= 0 @ 1.99179
2.37/2.43 c GLOBAL bounds - >= 0 @ 2.00004
2.37/2.44 c GLOBAL bounds - >= 0 @ 2.00824
2.37/2.45 c GLOBAL bounds - >= 0 @ 2.01737
2.37/2.46 c GLOBAL bounds - >= 0 @ 2.02777
2.37/2.47 c GLOBAL bounds - >= 0 @ 2.03558
2.37/2.48 c GLOBAL bounds - >= 0 @ 2.04216
2.37/2.49 c GLOBAL bounds - >= 0 @ 2.04782
2.47/2.50 c GLOBAL bounds - >= 0 @ 2.05736
2.47/2.52 c GLOBAL bounds - >= 0 @ 2.0669
2.47/2.53 c GLOBAL bounds - >= 0 @ 2.07376
2.47/2.54 c GLOBAL bounds - >= 0 @ 2.08147
2.47/2.55 c GLOBAL bounds - >= 0 @ 2.08825
2.47/2.56 c GLOBAL bounds - >= 0 @ 2.09834
2.47/2.57 c GLOBAL bounds - >= 0 @ 2.1085
2.47/2.58 c GLOBAL bounds - >= 0 @ 2.11744
2.47/2.59 c GLOBAL bounds - >= 0 @ 2.12807
2.57/2.60 c GLOBAL bounds - >= 0 @ 2.13624
2.57/2.61 c GLOBAL bounds - >= 0 @ 2.14501
2.57/2.62 c GLOBAL bounds - >= 0 @ 2.15327
2.57/2.63 c GLOBAL bounds - >= 0 @ 2.16102
2.57/2.64 c GLOBAL bounds - >= 0 @ 2.1681
2.57/2.65 c GLOBAL bounds - >= 0 @ 2.17712
2.57/2.67 c GLOBAL bounds - >= 0 @ 2.18647
2.57/2.68 c GLOBAL bounds - >= 0 @ 2.19607
2.57/2.69 c GLOBAL bounds - >= 0 @ 2.2042
2.66/2.70 c GLOBAL bounds - >= 0 @ 2.21144
2.66/2.71 c GLOBAL bounds - >= 0 @ 2.21666
2.66/2.72 c GLOBAL bounds - >= 0 @ 2.22393
2.66/2.74 c GLOBAL bounds - >= 0 @ 2.23644
2.66/2.75 c GLOBAL bounds - >= 0 @ 2.24758
2.66/2.77 c GLOBAL bounds - >= 0 @ 2.25619
2.66/2.78 c GLOBAL bounds - >= 0 @ 2.27011
2.76/2.81 c GLOBAL bounds - >= 0 @ 2.28499
2.76/2.82 c GLOBAL bounds - >= 0 @ 2.29676
2.76/2.85 c GLOBAL bounds - >= 0 @ 2.31637
2.76/2.86 c GLOBAL bounds - >= 0 @ 2.32366
2.76/2.88 c GLOBAL bounds - >= 0 @ 2.3344
2.76/2.89 c GLOBAL bounds - >= 0 @ 2.34368
2.86/2.90 c GLOBAL bounds - >= 0 @ 2.35692
2.86/2.91 c GLOBAL bounds - >= 0 @ 2.36644
2.86/2.92 c GLOBAL bounds - >= 0 @ 2.37488
2.86/2.94 c GLOBAL bounds - >= 0 @ 2.38502
2.86/2.95 c GLOBAL bounds - >= 0 @ 2.39333
2.86/2.96 c GLOBAL bounds - >= 0 @ 2.40168
2.86/2.97 c GLOBAL bounds - >= 0 @ 2.41095
2.86/2.98 c GLOBAL bounds - >= 0 @ 2.41921
2.86/3.00 c GLOBAL bounds - >= 0 @ 2.42757
2.97/3.01 c GLOBAL bounds - >= 0 @ 2.434
2.97/3.02 c GLOBAL bounds - >= 0 @ 2.44167
2.97/3.03 c GLOBAL bounds - >= 0 @ 2.45104
2.97/3.04 c GLOBAL bounds - >= 0 @ 2.46135
2.97/3.06 c GLOBAL bounds - >= 0 @ 2.47037
2.97/3.07 c GLOBAL bounds - >= 0 @ 2.47578
2.97/3.08 c GLOBAL bounds - >= 0 @ 2.48665
2.97/3.09 c GLOBAL bounds - >= 0 @ 2.49504
3.07/3.11 c GLOBAL bounds - >= 0 @ 2.50785
3.07/3.12 c GLOBAL bounds - >= 0 @ 2.51722
3.07/3.14 c GLOBAL bounds - >= 0 @ 2.52941
3.07/3.15 c GLOBAL bounds - >= 0 @ 2.5424
3.07/3.17 c GLOBAL bounds - >= 0 @ 2.56035
3.07/3.19 c GLOBAL bounds - >= 0 @ 2.57438
3.17/3.21 c GLOBAL bounds - >= 0 @ 2.58817
3.17/3.22 c GLOBAL bounds - >= 0 @ 2.59859
3.17/3.24 c GLOBAL bounds - >= 0 @ 2.61256
3.17/3.26 c GLOBAL bounds - >= 0 @ 2.62474
3.17/3.28 c GLOBAL bounds - >= 0 @ 2.63991
3.17/3.29 c GLOBAL bounds - >= 0 @ 2.65559
3.26/3.31 c GLOBAL bounds - >= 0 @ 2.67066
3.26/3.34 c GLOBAL bounds - >= 0 @ 2.68749
3.26/3.35 c GLOBAL bounds - >= 0 @ 2.70351
3.26/3.37 c GLOBAL bounds - >= 0 @ 2.71752
3.26/3.39 c GLOBAL bounds - >= 0 @ 2.73308
3.37/3.41 c GLOBAL bounds - >= 0 @ 2.7484
3.37/3.42 c GLOBAL bounds - >= 0 @ 2.76192
3.37/3.44 c GLOBAL bounds - >= 0 @ 2.7725
3.37/3.45 c GLOBAL bounds - >= 0 @ 2.78227
3.37/3.46 c GLOBAL bounds - >= 0 @ 2.79459
3.37/3.48 c GLOBAL bounds - >= 0 @ 2.80451
3.37/3.49 c GLOBAL bounds - >= 0 @ 2.81557
3.47/3.51 c GLOBAL bounds - >= 0 @ 2.82428
3.47/3.52 c GLOBAL bounds - >= 0 @ 2.83439
3.47/3.54 c GLOBAL bounds - >= 0 @ 2.84803
3.47/3.55 c GLOBAL bounds - >= 0 @ 2.86053
3.47/3.57 c GLOBAL bounds - >= 0 @ 2.87429
3.47/3.59 c GLOBAL bounds - >= 0 @ 2.88811
3.56/3.61 c GLOBAL bounds - >= 0 @ 2.90155
3.56/3.62 c GLOBAL bounds - >= 0 @ 2.91293
3.56/3.64 c GLOBAL bounds - >= 0 @ 2.92526
3.56/3.65 c GLOBAL bounds - >= 0 @ 2.93651
3.56/3.67 c GLOBAL bounds - >= 0 @ 2.95965
3.67/3.70 c GLOBAL bounds - >= 0 @ 2.98044
3.67/3.71 c GLOBAL bounds - >= 0 @ 2.99545
3.67/3.73 c GLOBAL bounds - >= 0 @ 3.00952
3.67/3.75 c GLOBAL bounds - >= 0 @ 3.02677
3.67/3.77 c GLOBAL bounds - >= 0 @ 3.04243
3.67/3.78 c GLOBAL bounds - >= 0 @ 3.05549
3.76/3.81 c GLOBAL bounds - >= 0 @ 3.07085
3.76/3.82 c GLOBAL bounds - >= 0 @ 3.08501
3.76/3.84 c GLOBAL bounds - >= 0 @ 3.0985
3.76/3.86 c GLOBAL bounds - >= 0 @ 3.11221
3.76/3.88 c GLOBAL bounds - >= 0 @ 3.12644
3.76/3.89 c GLOBAL bounds - >= 0 @ 3.13851
3.87/3.91 c GLOBAL bounds - >= 0 @ 3.15056
3.87/3.93 c GLOBAL bounds - >= 0 @ 3.17027
3.87/3.97 c GLOBAL bounds - >= 0 @ 3.19649
3.87/3.99 c GLOBAL bounds - >= 0 @ 3.2132
3.97/4.01 c GLOBAL bounds - >= 0 @ 3.2283
3.97/4.03 c GLOBAL bounds - >= 0 @ 3.24497
3.97/4.05 c GLOBAL bounds - >= 0 @ 3.25954
3.97/4.06 c GLOBAL bounds - >= 0 @ 3.27212
3.97/4.08 c GLOBAL bounds - >= 0 @ 3.28731
3.97/4.10 c GLOBAL bounds - >= 0 @ 3.29988
4.07/4.11 c GLOBAL bounds - >= 0 @ 3.31377
4.07/4.13 c GLOBAL bounds - >= 0 @ 3.3274
4.07/4.14 c GLOBAL bounds - >= 0 @ 3.33888
4.07/4.16 c GLOBAL bounds - >= 0 @ 3.34906
4.07/4.18 c GLOBAL bounds - >= 0 @ 3.36192
4.07/4.19 c GLOBAL bounds - >= 0 @ 3.3709
4.16/4.21 c GLOBAL bounds - >= 0 @ 3.38152
4.16/4.22 c GLOBAL bounds - >= 0 @ 3.39517
4.16/4.24 c GLOBAL bounds - >= 0 @ 3.40373
4.16/4.25 c GLOBAL bounds - >= 0 @ 3.41531
4.16/4.27 c GLOBAL bounds - >= 0 @ 3.42714
4.16/4.28 c GLOBAL bounds - >= 0 @ 3.43881
4.26/4.30 c GLOBAL bounds - >= 0 @ 3.45055
4.26/4.31 c GLOBAL bounds - >= 0 @ 3.45954
4.26/4.33 c GLOBAL bounds - >= 0 @ 3.46839
4.26/4.34 c GLOBAL bounds - >= 0 @ 3.4812
4.26/4.36 c GLOBAL bounds - >= 0 @ 3.49508
4.26/4.37 c GLOBAL bounds - >= 0 @ 3.50497
4.26/4.39 c GLOBAL bounds - >= 0 @ 3.51771
4.36/4.40 c GLOBAL bounds - >= 0 @ 3.5306
4.36/4.42 c GLOBAL bounds - >= 0 @ 3.54437
4.36/4.43 c GLOBAL bounds - >= 0 @ 3.55545
4.36/4.45 c GLOBAL bounds - >= 0 @ 3.56745
4.36/4.47 c GLOBAL bounds - >= 0 @ 3.58863
4.46/4.50 c GLOBAL bounds - >= 0 @ 3.61234
4.46/4.54 c GLOBAL bounds - >= 0 @ 3.64555
4.46/4.56 c GLOBAL bounds - >= 0 @ 3.66235
4.46/4.59 c GLOBAL bounds - >= 0 @ 3.67834
4.57/4.61 c GLOBAL bounds - >= 0 @ 3.69658
4.57/4.62 c GLOBAL bounds - >= 0 @ 3.71064
4.57/4.65 c GLOBAL bounds - >= 0 @ 3.72874
4.57/4.66 c GLOBAL bounds - >= 0 @ 3.74573
4.57/4.68 c GLOBAL bounds - >= 0 @ 3.75649
4.57/4.70 c GLOBAL bounds - >= 0 @ 3.76921
4.66/4.71 c GLOBAL bounds - >= 0 @ 3.77897
4.66/4.73 c GLOBAL bounds - >= 0 @ 3.78769
4.66/4.74 c GLOBAL bounds - >= 0 @ 3.80246
4.66/4.76 c GLOBAL bounds - >= 0 @ 3.81328
4.66/4.78 c GLOBAL bounds - >= 0 @ 3.82189
4.66/4.79 c GLOBAL bounds - >= 0 @ 3.83447
4.76/4.81 c GLOBAL bounds - >= 0 @ 3.85094
4.76/4.83 c GLOBAL bounds - >= 0 @ 3.86075
4.76/4.84 c GLOBAL bounds - >= 0 @ 3.87263
4.76/4.86 c GLOBAL bounds - >= 0 @ 3.88571
4.76/4.88 c GLOBAL bounds - >= 0 @ 3.89912
4.86/4.90 c GLOBAL bounds - >= 0 @ 3.91653
4.86/4.92 c GLOBAL bounds - >= 0 @ 3.93052
4.86/4.94 c GLOBAL bounds - >= 0 @ 3.94972
4.86/4.97 c GLOBAL bounds - >= 0 @ 3.96947
4.86/4.99 c GLOBAL bounds - >= 0 @ 3.99046
4.97/5.01 c GLOBAL bounds - >= 0 @ 4.00875
4.97/5.04 c GLOBAL bounds - >= 0 @ 4.02821
4.97/5.06 c GLOBAL bounds - >= 0 @ 4.04611
4.97/5.08 c GLOBAL bounds - >= 0 @ 4.06114
4.97/5.10 c GLOBAL bounds - >= 0 @ 4.07907
5.07/5.12 c GLOBAL bounds - >= 0 @ 4.09816
5.07/5.14 c GLOBAL bounds - >= 0 @ 4.11604
5.07/5.16 c GLOBAL bounds - >= 0 @ 4.1373
5.07/5.19 c GLOBAL bounds - >= 0 @ 4.16164
5.16/5.22 c GLOBAL bounds - >= 0 @ 4.18778
5.16/5.25 c GLOBAL bounds - >= 0 @ 4.20777
5.16/5.29 c GLOBAL bounds - >= 0 @ 4.2496
5.26/5.33 c GLOBAL bounds - >= 0 @ 4.2752
5.26/5.36 c GLOBAL bounds - >= 0 @ 4.30803
5.26/5.39 c GLOBAL bounds - >= 0 @ 4.32653
5.36/5.41 c GLOBAL bounds - >= 0 @ 4.34703
5.36/5.44 c GLOBAL bounds - >= 0 @ 4.3665
5.36/5.46 c GLOBAL bounds - >= 0 @ 4.3869
5.36/5.48 c GLOBAL bounds - >= 0 @ 4.40597
5.45/5.50 c GLOBAL bounds - >= 0 @ 4.42509
5.45/5.52 c GLOBAL bounds - >= 0 @ 4.44132
5.45/5.55 c GLOBAL bounds - >= 0 @ 4.46071
5.45/5.57 c GLOBAL bounds - >= 0 @ 4.47865
5.45/5.59 c GLOBAL bounds - >= 0 @ 4.49455
5.56/5.61 c GLOBAL bounds - >= 0 @ 4.51145
5.56/5.63 c GLOBAL bounds - >= 0 @ 4.52846
5.56/5.65 c GLOBAL bounds - >= 0 @ 4.5412
5.56/5.67 c GLOBAL bounds - >= 0 @ 4.55947
5.56/5.69 c GLOBAL bounds - >= 0 @ 4.57499
5.66/5.71 c GLOBAL bounds - >= 0 @ 4.59032
5.66/5.73 c GLOBAL bounds - >= 0 @ 4.60755
5.66/5.75 c GLOBAL bounds - >= 0 @ 4.62078
5.66/5.76 c GLOBAL bounds - >= 0 @ 4.63397
5.66/5.78 c GLOBAL bounds - >= 0 @ 4.65029
5.76/5.80 c GLOBAL bounds - >= 0 @ 4.6656
5.76/5.82 c GLOBAL bounds - >= 0 @ 4.68008
5.76/5.84 c GLOBAL bounds - >= 0 @ 4.69453
5.76/5.86 c GLOBAL bounds - >= 0 @ 4.712
5.76/5.88 c GLOBAL bounds - >= 0 @ 4.72926
5.86/5.90 c GLOBAL bounds - >= 0 @ 4.74505
5.86/5.92 c GLOBAL bounds - >= 0 @ 4.76254
5.86/5.94 c GLOBAL bounds - >= 0 @ 4.78221
5.86/5.97 c GLOBAL bounds - >= 0 @ 4.80175
5.86/5.99 c GLOBAL bounds - >= 0 @ 4.82262
5.96/6.01 c GLOBAL bounds - >= 0 @ 4.8434
5.96/6.04 c GLOBAL bounds - >= 0 @ 4.86591
5.96/6.06 c GLOBAL bounds - >= 0 @ 4.88531
5.96/6.08 c GLOBAL bounds - >= 0 @ 4.89935
6.06/6.10 c GLOBAL bounds - >= 0 @ 4.91525
6.06/6.12 c GLOBAL bounds - >= 0 @ 4.93138
6.06/6.15 c GLOBAL bounds - >= 0 @ 4.94841
6.06/6.17 c GLOBAL bounds - >= 0 @ 4.96986
6.06/6.19 c GLOBAL bounds - >= 0 @ 4.98912
6.16/6.22 c GLOBAL bounds - >= 0 @ 5.00675
6.16/6.24 c GLOBAL bounds - >= 0 @ 5.02431
6.16/6.26 c GLOBAL bounds - >= 0 @ 5.04399
6.16/6.28 c GLOBAL bounds - >= 0 @ 5.05913
6.26/6.30 c GLOBAL bounds - >= 0 @ 5.07672
6.26/6.32 c GLOBAL bounds - >= 0 @ 5.09783
6.26/6.34 c GLOBAL bounds - >= 0 @ 5.11431
6.26/6.37 c GLOBAL bounds - >= 0 @ 5.13823
6.36/6.43 c GLOBAL bounds - >= 0 @ 5.18675
6.36/6.47 c GLOBAL bounds - >= 0 @ 5.21807
6.46/6.50 c GLOBAL bounds - >= 0 @ 5.24215
6.46/6.53 c GLOBAL bounds - >= 0 @ 5.27107
6.46/6.56 c GLOBAL bounds - >= 0 @ 5.29401
6.46/6.58 c GLOBAL bounds - >= 0 @ 5.31661
6.56/6.61 c GLOBAL bounds - >= 0 @ 5.33787
6.56/6.63 c GLOBAL bounds - >= 0 @ 5.36047
6.56/6.66 c GLOBAL bounds - >= 0 @ 5.37991
6.56/6.68 c GLOBAL bounds - >= 0 @ 5.3998
6.65/6.70 c GLOBAL bounds - >= 0 @ 5.42039
6.65/6.73 c GLOBAL bounds - >= 0 @ 5.43772
6.65/6.75 c GLOBAL bounds - >= 0 @ 5.45545
6.65/6.77 c GLOBAL bounds - >= 0 @ 5.47537
6.65/6.79 c GLOBAL bounds - >= 0 @ 5.49529
6.76/6.82 c GLOBAL bounds - >= 0 @ 5.51267
6.76/6.84 c GLOBAL bounds - >= 0 @ 5.53252
6.76/6.86 c GLOBAL bounds - >= 0 @ 5.54919
6.76/6.88 c GLOBAL bounds - >= 0 @ 5.56546
6.86/6.90 c GLOBAL bounds - >= 0 @ 5.58505
6.86/6.92 c GLOBAL bounds - >= 0 @ 5.60057
6.86/6.94 c GLOBAL bounds - >= 0 @ 5.61817
6.86/6.97 c GLOBAL bounds - >= 0 @ 5.63725
6.86/6.99 c GLOBAL bounds - >= 0 @ 5.65757
6.96/7.01 c GLOBAL bounds - >= 0 @ 5.67652
6.96/7.04 c GLOBAL bounds - >= 0 @ 5.69196
6.96/7.06 c GLOBAL bounds - >= 0 @ 5.71666
6.96/7.08 c GLOBAL bounds - >= 0 @ 5.73451
7.06/7.11 c GLOBAL bounds - >= 0 @ 5.75136
7.06/7.13 c GLOBAL bounds - >= 0 @ 5.76918
7.06/7.15 c GLOBAL bounds - >= 0 @ 5.78732
7.06/7.17 c GLOBAL bounds - >= 0 @ 5.80439
7.06/7.19 c GLOBAL bounds - >= 0 @ 5.82287
7.15/7.21 c GLOBAL bounds - >= 0 @ 5.83784
7.15/7.23 c GLOBAL bounds - >= 0 @ 5.85682
7.15/7.25 c GLOBAL bounds - >= 0 @ 5.87341
7.15/7.27 c GLOBAL bounds - >= 0 @ 5.89386
7.25/7.30 c GLOBAL bounds - >= 0 @ 5.91566
7.25/7.32 c GLOBAL bounds - >= 0 @ 5.9314
7.25/7.34 c GLOBAL bounds - >= 0 @ 5.94903
7.25/7.36 c GLOBAL bounds - >= 0 @ 5.96374
7.25/7.38 c GLOBAL bounds - >= 0 @ 5.98146
7.35/7.40 c GLOBAL bounds - >= 0 @ 6.00021
7.35/7.42 c GLOBAL bounds - >= 0 @ 6.01707
7.35/7.44 c GLOBAL bounds - >= 0 @ 6.03539
7.35/7.47 c GLOBAL bounds - >= 0 @ 6.05599
7.35/7.49 c GLOBAL bounds - >= 0 @ 6.07544
7.45/7.51 c GLOBAL bounds - >= 0 @ 6.0972
7.45/7.53 c GLOBAL bounds - >= 0 @ 6.11498
7.45/7.56 c GLOBAL bounds - >= 0 @ 6.1341
7.45/7.58 c GLOBAL bounds - >= 0 @ 6.15502
7.55/7.60 c GLOBAL bounds - >= 0 @ 6.1743
7.55/7.62 c GLOBAL bounds - >= 0 @ 6.19223
7.55/7.64 c GLOBAL bounds - >= 0 @ 6.20895
7.55/7.66 c GLOBAL bounds - >= 0 @ 6.22703
7.55/7.69 c GLOBAL bounds - >= 0 @ 6.25387
7.65/7.72 c GLOBAL bounds - >= 0 @ 6.27716
7.65/7.74 c GLOBAL bounds - >= 0 @ 6.29581
7.65/7.77 c GLOBAL bounds - >= 0 @ 6.314
7.65/7.79 c GLOBAL bounds - >= 0 @ 6.33163
7.75/7.81 c GLOBAL bounds - >= 0 @ 6.3472
7.75/7.83 c GLOBAL bounds - >= 0 @ 6.36381
7.75/7.85 c GLOBAL bounds - >= 0 @ 6.38035
7.75/7.87 c GLOBAL bounds - >= 0 @ 6.39401
7.75/7.89 c GLOBAL bounds - >= 0 @ 6.40916
7.85/7.91 c GLOBAL bounds - >= 0 @ 6.42455
7.85/7.93 c GLOBAL bounds - >= 0 @ 6.43961
7.85/7.95 c GLOBAL bounds - >= 0 @ 6.45571
7.85/7.97 c GLOBAL bounds - >= 0 @ 6.47399
7.85/7.99 c GLOBAL bounds - >= 0 @ 6.48915
7.95/8.01 c GLOBAL bounds - >= 0 @ 6.50654
7.95/8.03 c GLOBAL bounds - >= 0 @ 6.52538
7.95/8.05 c GLOBAL bounds - >= 0 @ 6.54071
7.95/8.07 c GLOBAL bounds - >= 0 @ 6.55787
7.95/8.09 c GLOBAL bounds - >= 0 @ 6.57619
8.05/8.12 c GLOBAL bounds - >= 0 @ 6.59322
8.05/8.14 c GLOBAL bounds - >= 0 @ 6.60844
8.15/8.26 c GLOBAL bounds - >= 0 @ 6.66917
8.15/8.28 c GLOBAL bounds - >= 0 @ 6.68481
8.25/8.30 c GLOBAL bounds - >= 0 @ 6.7052
8.25/8.32 c GLOBAL bounds - >= 0 @ 6.72057
8.25/8.34 c GLOBAL bounds - >= 0 @ 6.73695
8.25/8.36 c GLOBAL bounds - >= 0 @ 6.75424
8.25/8.38 c GLOBAL bounds - >= 0 @ 6.76886
8.35/8.40 c GLOBAL bounds - >= 0 @ 6.78822
8.35/8.42 c GLOBAL bounds - >= 0 @ 6.80585
8.35/8.44 c GLOBAL bounds - >= 0 @ 6.82244
8.35/8.47 c GLOBAL bounds - >= 0 @ 6.83885
8.35/8.49 c GLOBAL bounds - >= 0 @ 6.85866
8.44/8.51 c GLOBAL bounds - >= 0 @ 6.87535
8.44/8.53 c GLOBAL bounds - >= 0 @ 6.89155
8.44/8.55 c GLOBAL bounds - >= 0 @ 6.90991
8.44/8.57 c GLOBAL bounds - >= 0 @ 6.92821
8.44/8.59 c GLOBAL bounds - >= 0 @ 6.94557
8.54/8.62 c GLOBAL bounds - >= 0 @ 6.96291
8.54/8.64 c GLOBAL bounds - >= 0 @ 6.97622
8.54/8.66 c GLOBAL bounds - >= 0 @ 6.9926
8.54/8.68 c GLOBAL bounds - >= 0 @ 7.00901
8.64/8.70 c GLOBAL bounds - >= 0 @ 7.02753
8.64/8.72 c GLOBAL bounds - >= 0 @ 7.04654
8.64/8.74 c GLOBAL bounds - >= 0 @ 7.06598
8.64/8.77 c GLOBAL bounds - >= 0 @ 7.08411
8.64/8.79 c GLOBAL bounds - >= 0 @ 7.10464
8.75/8.82 c GLOBAL bounds - >= 0 @ 7.1279
8.75/8.84 c GLOBAL bounds - >= 0 @ 7.14502
8.75/8.86 c GLOBAL bounds - >= 0 @ 7.16486
8.75/8.88 c GLOBAL bounds - >= 0 @ 7.18486
8.84/8.91 c GLOBAL bounds - >= 0 @ 7.20363
8.84/8.94 c GLOBAL bounds - >= 0 @ 7.22523
8.84/8.96 c GLOBAL bounds - >= 0 @ 7.24466
8.84/8.99 c GLOBAL bounds - >= 0 @ 7.26769
8.95/9.01 c GLOBAL bounds - >= 0 @ 7.29003
8.95/9.04 c GLOBAL bounds - >= 0 @ 7.31275
8.95/9.06 c GLOBAL bounds - >= 0 @ 7.32953
8.95/9.09 c GLOBAL bounds - >= 0 @ 7.34805
9.05/9.11 c GLOBAL bounds - >= 0 @ 7.36812
9.05/9.14 c GLOBAL bounds - >= 0 @ 7.38862
9.05/9.17 c GLOBAL bounds - >= 0 @ 7.41334
9.05/9.19 c GLOBAL bounds - >= 0 @ 7.43534
9.14/9.21 c GLOBAL bounds - >= 0 @ 7.45725
9.14/9.24 c GLOBAL bounds - >= 0 @ 7.47852
9.14/9.27 c GLOBAL bounds - >= 0 @ 7.5017
9.14/9.29 c GLOBAL bounds - >= 0 @ 7.52166
9.23/9.31 c GLOBAL bounds - >= 0 @ 7.53954
9.23/9.33 c GLOBAL bounds - >= 0 @ 7.55784
9.23/9.36 c GLOBAL bounds - >= 0 @ 7.5763
9.23/9.38 c GLOBAL bounds - >= 0 @ 7.59776
9.33/9.40 c GLOBAL bounds - >= 0 @ 7.61717
9.33/9.42 c GLOBAL bounds - >= 0 @ 7.6357
9.33/9.44 c GLOBAL bounds - >= 0 @ 7.65399
9.33/9.47 c GLOBAL bounds - >= 0 @ 7.67032
9.33/9.49 c GLOBAL bounds - >= 0 @ 7.68869
9.43/9.51 c GLOBAL bounds - >= 0 @ 7.71014
9.43/9.53 c GLOBAL bounds - >= 0 @ 7.73083
9.43/9.56 c GLOBAL bounds - >= 0 @ 7.74726
9.43/9.58 c GLOBAL bounds - >= 0 @ 7.76498
9.54/9.60 c GLOBAL bounds - >= 0 @ 7.78289
9.54/9.62 c GLOBAL bounds - >= 0 @ 7.79884
9.54/9.65 c GLOBAL bounds - >= 0 @ 7.81976
9.54/9.67 c GLOBAL bounds - >= 0 @ 7.84064
9.54/9.69 c GLOBAL bounds - >= 0 @ 7.86118
9.63/9.72 c GLOBAL bounds - >= 0 @ 7.87917
9.63/9.74 c GLOBAL bounds - >= 0 @ 7.89887
9.63/9.76 c GLOBAL bounds - >= 0 @ 7.91459
9.63/9.78 c GLOBAL bounds - >= 0 @ 7.93232
9.73/9.80 c GLOBAL bounds - >= 0 @ 7.95001
9.73/9.82 c GLOBAL bounds - >= 0 @ 7.96778
9.73/9.85 c GLOBAL bounds - >= 0 @ 7.98555
9.73/9.87 c GLOBAL bounds - >= 0 @ 8.00893
9.83/9.90 c GLOBAL bounds - >= 0 @ 8.03683
9.83/9.93 c GLOBAL bounds - >= 0 @ 8.06683
9.83/9.96 c GLOBAL bounds - >= 0 @ 8.08933
9.83/9.98 c GLOBAL bounds - >= 0 @ 8.11138
9.93/10.01 c GLOBAL bounds - >= 0 @ 8.13259
9.93/10.03 c GLOBAL bounds - >= 0 @ 8.15249
9.93/10.05 c GLOBAL bounds - >= 0 @ 8.17145
9.93/10.08 c GLOBAL bounds - >= 0 @ 8.19332
9.93/10.10 c GLOBAL bounds - >= 0 @ 8.21019
10.04/10.12 c GLOBAL bounds - >= 0 @ 8.23005
10.04/10.14 c GLOBAL bounds - >= 0 @ 8.24919
10.04/10.17 c GLOBAL bounds - >= 0 @ 8.27034
10.04/10.19 c GLOBAL bounds - >= 0 @ 8.29149
10.13/10.22 c GLOBAL bounds - >= 0 @ 8.31538
10.13/10.24 c GLOBAL bounds - >= 0 @ 8.33573
10.13/10.26 c GLOBAL bounds - >= 0 @ 8.35703
10.13/10.29 c GLOBAL bounds - >= 0 @ 8.37748
10.23/10.31 c GLOBAL bounds - >= 0 @ 8.40196
10.23/10.34 c GLOBAL bounds - >= 0 @ 8.42572
10.23/10.37 c GLOBAL bounds - >= 0 @ 8.44602
10.23/10.39 c GLOBAL bounds - >= 0 @ 8.46684
10.33/10.42 c GLOBAL bounds - >= 0 @ 8.48869
10.33/10.44 c GLOBAL bounds - >= 0 @ 8.50881
10.33/10.47 c GLOBAL bounds - >= 0 @ 8.53331
10.33/10.49 c GLOBAL bounds - >= 0 @ 8.55512
10.44/10.51 c GLOBAL bounds - >= 0 @ 8.57285
10.44/10.54 c GLOBAL bounds - >= 0 @ 8.59029
10.44/10.56 c GLOBAL bounds - >= 0 @ 8.60973
10.44/10.58 c GLOBAL bounds - >= 0 @ 8.62935
10.53/10.61 c GLOBAL bounds - >= 0 @ 8.6499
10.53/10.63 c GLOBAL bounds - >= 0 @ 8.66835
10.53/10.65 c GLOBAL bounds - >= 0 @ 8.68295
10.53/10.67 c GLOBAL bounds - >= 0 @ 8.70133
10.53/10.70 c GLOBAL bounds - >= 0 @ 8.71979
10.63/10.72 c GLOBAL bounds - >= 0 @ 8.73829
10.63/10.74 c GLOBAL bounds - >= 0 @ 8.75871
10.63/10.76 c GLOBAL bounds - >= 0 @ 8.77823
10.63/10.79 c GLOBAL bounds - >= 0 @ 8.8007
10.73/10.81 c GLOBAL bounds - >= 0 @ 8.81624
10.73/10.83 c GLOBAL bounds - >= 0 @ 8.83562
10.73/10.85 c GLOBAL bounds - >= 0 @ 8.853
10.73/10.88 c GLOBAL bounds - >= 0 @ 8.87151
10.83/10.90 c GLOBAL bounds - >= 0 @ 8.88975
10.83/10.92 c GLOBAL bounds - >= 0 @ 8.90725
10.83/10.94 c GLOBAL bounds - >= 0 @ 8.92818
10.83/10.97 c GLOBAL bounds - >= 0 @ 8.94589
10.83/10.99 c GLOBAL bounds - >= 0 @ 8.96652
10.93/11.01 c GLOBAL bounds - >= 0 @ 8.98328
10.93/11.03 c GLOBAL bounds - >= 0 @ 8.99987
10.93/11.06 c GLOBAL bounds - >= 0 @ 9.02068
10.93/11.08 c GLOBAL bounds - >= 0 @ 9.04204
11.04/11.10 c GLOBAL bounds - >= 0 @ 9.06136
11.04/11.12 c GLOBAL bounds - >= 0 @ 9.08072
11.04/11.15 c GLOBAL bounds - >= 0 @ 9.098
11.04/11.17 c GLOBAL bounds - >= 0 @ 9.11727
11.04/11.19 c GLOBAL bounds - >= 0 @ 9.13648
11.13/11.21 c GLOBAL bounds - >= 0 @ 9.15403
11.13/11.24 c GLOBAL bounds - >= 0 @ 9.17529
11.13/11.26 c GLOBAL bounds - >= 0 @ 9.19557
11.13/11.28 c GLOBAL bounds - >= 0 @ 9.21298
11.23/11.30 c GLOBAL bounds - >= 0 @ 9.23035
11.23/11.33 c GLOBAL bounds - >= 0 @ 9.25073
11.23/11.35 c GLOBAL bounds - >= 0 @ 9.27045
11.23/11.37 c GLOBAL bounds - >= 0 @ 9.291
11.33/11.40 c GLOBAL bounds - >= 0 @ 9.30967
11.33/11.42 c GLOBAL bounds - >= 0 @ 9.32709
11.33/11.44 c GLOBAL bounds - >= 0 @ 9.34466
11.33/11.47 c GLOBAL bounds - >= 0 @ 9.36426
11.33/11.49 c GLOBAL bounds - >= 0 @ 9.38537
11.43/11.52 c GLOBAL bounds - >= 0 @ 9.40416
11.43/11.54 c GLOBAL bounds - >= 0 @ 9.42659
11.43/11.56 c GLOBAL bounds - >= 0 @ 9.44383
11.43/11.59 c GLOBAL bounds - >= 0 @ 9.4633
11.53/11.61 c GLOBAL bounds - >= 0 @ 9.47965
11.53/11.63 c GLOBAL bounds - >= 0 @ 9.49694
11.53/11.66 c GLOBAL bounds - >= 0 @ 9.52154
11.53/11.68 c GLOBAL bounds - >= 0 @ 9.54196
11.63/11.71 c GLOBAL bounds - >= 0 @ 9.56272
11.63/11.73 c GLOBAL bounds - >= 0 @ 9.58047
11.63/11.75 c GLOBAL bounds - >= 0 @ 9.5989
11.63/11.78 c GLOBAL bounds - >= 0 @ 9.61744
11.73/11.80 c GLOBAL bounds - >= 0 @ 9.6369
11.73/11.82 c GLOBAL bounds - >= 0 @ 9.65327
11.73/11.84 c GLOBAL bounds - >= 0 @ 9.67366
11.73/11.87 c GLOBAL bounds - >= 0 @ 9.69386
11.73/11.89 c GLOBAL bounds - >= 0 @ 9.71657
11.83/11.92 c GLOBAL bounds - >= 0 @ 9.7383
11.83/11.95 c GLOBAL bounds - >= 0 @ 9.76256
11.83/11.97 c GLOBAL bounds - >= 0 @ 9.78607
11.83/12.00 c GLOBAL bounds - >= 0 @ 9.80855
11.93/12.03 c GLOBAL bounds - >= 0 @ 9.82875
11.93/12.05 c GLOBAL bounds - >= 0 @ 9.85209
11.93/12.08 c GLOBAL bounds - >= 0 @ 9.87151
12.04/12.10 c GLOBAL bounds - >= 0 @ 9.89131
12.04/12.13 c GLOBAL bounds - >= 0 @ 9.90824
12.04/12.15 c GLOBAL bounds - >= 0 @ 9.92955
12.04/12.18 c GLOBAL bounds - >= 0 @ 9.95086
12.12/12.20 c GLOBAL bounds - >= 0 @ 9.96955
12.12/12.23 c GLOBAL bounds - >= 0 @ 9.99154
12.12/12.25 c GLOBAL bounds - >= 0 @ 10.0135
12.12/12.28 c GLOBAL bounds - >= 0 @ 10.036
12.23/12.30 c GLOBAL bounds - >= 0 @ 10.0528
12.23/12.32 c GLOBAL bounds - >= 0 @ 10.0734
12.23/12.35 c GLOBAL bounds - >= 0 @ 10.0948
12.23/12.37 c GLOBAL bounds - >= 0 @ 10.1149
12.32/12.40 c GLOBAL bounds - >= 0 @ 10.1346
12.32/12.42 c GLOBAL bounds - >= 0 @ 10.1538
12.32/12.44 c GLOBAL bounds - >= 0 @ 10.1745
12.32/12.47 c GLOBAL bounds - >= 0 @ 10.1958
12.41/12.50 c GLOBAL bounds - >= 0 @ 10.2182
12.41/12.52 c GLOBAL bounds - >= 0 @ 10.2366
12.41/12.54 c GLOBAL bounds - >= 0 @ 10.2563
12.41/12.57 c GLOBAL bounds - >= 0 @ 10.2736
12.41/12.59 c GLOBAL bounds - >= 0 @ 10.2911
12.51/12.61 c GLOBAL bounds - >= 0 @ 10.3143
12.51/12.64 c GLOBAL bounds - >= 0 @ 10.3347
12.51/12.66 c GLOBAL bounds - >= 0 @ 10.3546
12.51/12.68 c GLOBAL bounds - >= 0 @ 10.3733
12.62/12.71 c GLOBAL bounds - >= 0 @ 10.3907
12.62/12.73 c GLOBAL bounds - >= 0 @ 10.4099
12.62/12.78 c GLOBAL bounds - >= 0 @ 10.4471
12.71/12.80 c GLOBAL bounds - >= 0 @ 10.4681
12.71/12.83 c GLOBAL bounds - >= 0 @ 10.488
12.71/12.85 c GLOBAL bounds - >= 0 @ 10.5046
12.71/12.87 c GLOBAL bounds - >= 0 @ 10.5219
12.71/12.89 c GLOBAL bounds - >= 0 @ 10.5424
12.81/12.92 c GLOBAL bounds - >= 0 @ 10.5652
12.81/12.94 c GLOBAL bounds - >= 0 @ 10.5861
12.81/12.97 c GLOBAL bounds - >= 0 @ 10.6082
12.81/13.00 c GLOBAL bounds - >= 0 @ 10.6307
12.92/13.02 c GLOBAL bounds - >= 0 @ 10.6465
12.92/13.05 c GLOBAL bounds - >= 0 @ 10.6647
12.92/13.07 c GLOBAL bounds - >= 0 @ 10.6835
12.92/13.10 c GLOBAL bounds - >= 0 @ 10.7101
13.02/13.13 c GLOBAL bounds - >= 0 @ 10.7339
13.02/13.16 c GLOBAL bounds - >= 0 @ 10.7564
13.02/13.19 c GLOBAL bounds - >= 0 @ 10.7804
13.11/13.21 c GLOBAL bounds - >= 0 @ 10.8024
13.11/13.24 c GLOBAL bounds - >= 0 @ 10.8263
13.11/13.27 c GLOBAL bounds - >= 0 @ 10.8544
13.11/13.29 c GLOBAL bounds - >= 0 @ 10.88
13.21/13.32 c GLOBAL bounds - >= 0 @ 10.9021
13.21/13.35 c GLOBAL bounds - >= 0 @ 10.9236
13.21/13.37 c GLOBAL bounds - >= 0 @ 10.9462
13.31/13.40 c GLOBAL bounds - >= 0 @ 10.9671
13.31/13.43 c GLOBAL bounds - >= 0 @ 10.9925
13.31/13.46 c GLOBAL bounds - >= 0 @ 11.0178
13.31/13.49 c GLOBAL bounds - >= 0 @ 11.0503
13.41/13.53 c GLOBAL bounds - >= 0 @ 11.0785
13.41/13.56 c GLOBAL bounds - >= 0 @ 11.1019
13.41/13.58 c GLOBAL bounds - >= 0 @ 11.1252
13.50/13.61 c GLOBAL bounds - >= 0 @ 11.1491
13.50/13.64 c GLOBAL bounds - >= 0 @ 11.1712
13.50/13.66 c GLOBAL bounds - >= 0 @ 11.1918
13.50/13.69 c GLOBAL bounds - >= 0 @ 11.2147
13.61/13.71 c GLOBAL bounds - >= 0 @ 11.2361
13.61/13.74 c GLOBAL bounds - >= 0 @ 11.2602
13.61/13.77 c GLOBAL bounds - >= 0 @ 11.2828
13.61/13.79 c GLOBAL bounds - >= 0 @ 11.307
13.71/13.82 c GLOBAL bounds - >= 0 @ 11.3288
13.71/13.85 c GLOBAL bounds - >= 0 @ 11.3517
13.71/13.88 c GLOBAL bounds - >= 0 @ 11.3773
13.81/13.91 c GLOBAL bounds - >= 0 @ 11.4026
13.81/13.94 c GLOBAL bounds - >= 0 @ 11.4275
13.81/13.97 c GLOBAL bounds - >= 0 @ 11.4613
13.81/14.00 c GLOBAL bounds - >= 0 @ 11.4813
13.91/14.02 c GLOBAL bounds - >= 0 @ 11.5009
13.91/14.05 c GLOBAL bounds - >= 0 @ 11.5176
13.91/14.07 c GLOBAL bounds - >= 0 @ 11.539
14.01/14.10 c GLOBAL bounds - >= 0 @ 11.5594
14.01/14.13 c GLOBAL bounds - >= 0 @ 11.5798
14.01/14.15 c GLOBAL bounds - >= 0 @ 11.5978
14.01/14.18 c GLOBAL bounds - >= 0 @ 11.6185
14.11/14.20 c GLOBAL bounds - >= 0 @ 11.6329
14.11/14.22 c GLOBAL bounds - >= 0 @ 11.6563
14.11/14.25 c GLOBAL bounds - >= 0 @ 11.6757
14.11/14.27 c GLOBAL bounds - >= 0 @ 11.6972
14.11/14.29 c GLOBAL bounds - >= 0 @ 11.7169
14.21/14.32 c GLOBAL bounds - >= 0 @ 11.7363
14.21/14.34 c GLOBAL bounds - >= 0 @ 11.7567
14.21/14.36 c GLOBAL bounds - >= 0 @ 11.7742
14.21/14.39 c GLOBAL bounds - >= 0 @ 11.7955
14.30/14.41 c GLOBAL bounds - >= 0 @ 11.8158
14.30/14.44 c GLOBAL bounds - >= 0 @ 11.8361
14.30/14.46 c GLOBAL bounds - >= 0 @ 11.8555
14.30/14.48 c GLOBAL bounds - >= 0 @ 11.8749
14.40/14.51 c GLOBAL bounds - >= 0 @ 11.8932
14.40/14.53 c GLOBAL bounds - >= 0 @ 11.9134
14.40/14.55 c GLOBAL bounds - >= 0 @ 11.9323
14.40/14.58 c GLOBAL bounds - >= 0 @ 11.9517
14.50/14.60 c GLOBAL bounds - >= 0 @ 11.9729
14.50/14.63 c GLOBAL bounds - >= 0 @ 11.9931
14.50/14.65 c GLOBAL bounds - >= 0 @ 12.0134
14.50/14.67 c GLOBAL bounds - >= 0 @ 12.0346
14.50/14.70 c GLOBAL bounds - >= 0 @ 12.0548
14.60/14.72 c GLOBAL bounds - >= 0 @ 12.0756
14.60/14.74 c GLOBAL bounds - >= 0 @ 12.095
14.60/14.77 c GLOBAL bounds - >= 0 @ 12.115
14.60/14.79 c GLOBAL bounds - >= 0 @ 12.132
14.70/14.81 c GLOBAL bounds - >= 0 @ 12.153
14.70/14.84 c GLOBAL bounds - >= 0 @ 12.1761
14.70/14.86 c GLOBAL bounds - >= 0 @ 12.1953
14.70/14.89 c GLOBAL bounds - >= 0 @ 12.2156
14.80/14.91 c GLOBAL bounds - >= 0 @ 12.2347
14.80/14.93 c GLOBAL bounds - >= 0 @ 12.2536
14.80/14.96 c GLOBAL bounds - >= 0 @ 12.2744
14.80/14.98 c GLOBAL bounds - >= 0 @ 12.2955
14.91/15.00 c GLOBAL bounds - >= 0 @ 12.3145
14.91/15.03 c GLOBAL bounds - >= 0 @ 12.336
14.91/15.05 c GLOBAL bounds - >= 0 @ 12.3559
14.91/15.07 c GLOBAL bounds - >= 0 @ 12.3762
14.91/15.10 c GLOBAL bounds - >= 0 @ 12.3943
15.00/15.12 c GLOBAL bounds - >= 0 @ 12.4151
15.00/15.15 c GLOBAL bounds - >= 0 @ 12.4384
15.00/15.18 c GLOBAL bounds - >= 0 @ 12.4576
15.10/15.20 c GLOBAL bounds - >= 0 @ 12.4815
15.10/15.23 c GLOBAL bounds - >= 0 @ 12.5001
15.10/15.26 c GLOBAL bounds - >= 0 @ 12.5236
15.10/15.28 c GLOBAL bounds - >= 0 @ 12.5447
15.20/15.31 c GLOBAL bounds - >= 0 @ 12.5669
15.20/15.34 c GLOBAL bounds - >= 0 @ 12.5869
15.20/15.36 c GLOBAL bounds - >= 0 @ 12.6028
15.20/15.38 c GLOBAL bounds - >= 0 @ 12.6207
15.30/15.41 c GLOBAL bounds - >= 0 @ 12.6412
15.30/15.43 c GLOBAL bounds - >= 0 @ 12.6631
15.30/15.45 c GLOBAL bounds - >= 0 @ 12.6858
15.30/15.48 c GLOBAL bounds - >= 0 @ 12.7083
15.40/15.50 c GLOBAL bounds - >= 0 @ 12.7292
15.40/15.52 c GLOBAL bounds - >= 0 @ 12.747
15.40/15.55 c GLOBAL bounds - >= 0 @ 12.767
15.40/15.57 c GLOBAL bounds - >= 0 @ 12.7877
15.40/15.59 c GLOBAL bounds - >= 0 @ 12.8074
15.50/15.62 c GLOBAL bounds - >= 0 @ 12.825
15.50/15.64 c GLOBAL bounds - >= 0 @ 12.8424
15.50/15.66 c GLOBAL bounds - >= 0 @ 12.8629
15.50/15.69 c GLOBAL bounds - >= 0 @ 12.8855
15.60/15.72 c GLOBAL bounds - >= 0 @ 12.9097
15.60/15.74 c GLOBAL bounds - >= 0 @ 12.9304
15.60/15.76 c GLOBAL bounds - >= 0 @ 12.9498
15.60/15.79 c GLOBAL bounds - >= 0 @ 12.9732
15.70/15.82 c GLOBAL bounds - >= 0 @ 12.9949
15.70/15.84 c GLOBAL bounds - >= 0 @ 13.0158
15.70/15.87 c GLOBAL bounds - >= 0 @ 13.0349
15.79/15.90 c GLOBAL bounds - >= 0 @ 13.0608
15.79/15.93 c GLOBAL bounds - >= 0 @ 13.084
15.79/15.95 c GLOBAL bounds - >= 0 @ 13.1057
15.79/15.98 c GLOBAL bounds - >= 0 @ 13.1276
15.90/16.00 c GLOBAL bounds - >= 0 @ 13.1497
15.90/16.03 c GLOBAL bounds - >= 0 @ 13.1713
15.90/16.06 c GLOBAL bounds - >= 0 @ 13.1932
15.90/16.08 c GLOBAL bounds - >= 0 @ 13.2144
16.01/16.11 c GLOBAL bounds - >= 0 @ 13.2341
16.01/16.13 c GLOBAL bounds - >= 0 @ 13.2524
16.01/16.16 c GLOBAL bounds - >= 0 @ 13.2735
16.01/16.18 c GLOBAL bounds - >= 0 @ 13.2935
16.10/16.20 c GLOBAL bounds - >= 0 @ 13.3135
16.10/16.23 c GLOBAL bounds - >= 0 @ 13.3326
16.10/16.25 c GLOBAL bounds - >= 0 @ 13.3522
16.10/16.27 c GLOBAL bounds - >= 0 @ 13.3713
16.20/16.30 c GLOBAL bounds - >= 0 @ 13.3921
16.20/16.32 c GLOBAL bounds - >= 0 @ 13.4099
16.20/16.34 c GLOBAL bounds - >= 0 @ 13.4298
16.20/16.37 c GLOBAL bounds - >= 0 @ 13.4504
16.20/16.39 c GLOBAL bounds - >= 0 @ 13.4713
16.30/16.41 c GLOBAL bounds - >= 0 @ 13.4901
16.30/16.44 c GLOBAL bounds - >= 0 @ 13.5099
16.30/16.46 c GLOBAL bounds - >= 0 @ 13.5276
16.30/16.48 c GLOBAL bounds - >= 0 @ 13.5444
16.40/16.51 c GLOBAL bounds - >= 0 @ 13.5632
16.40/16.53 c GLOBAL bounds - >= 0 @ 13.5798
16.40/16.55 c GLOBAL bounds - >= 0 @ 13.6014
16.40/16.57 c GLOBAL bounds - >= 0 @ 13.6162
16.50/16.60 c GLOBAL bounds - >= 0 @ 13.6345
16.50/16.62 c GLOBAL bounds - >= 0 @ 13.6551
16.50/16.64 c GLOBAL bounds - >= 0 @ 13.6718
16.50/16.67 c GLOBAL bounds - >= 0 @ 13.6913
16.50/16.69 c GLOBAL bounds - >= 0 @ 13.7118
16.59/16.71 c GLOBAL bounds - >= 0 @ 13.7306
16.59/16.74 c GLOBAL bounds - >= 0 @ 13.7512
16.59/16.76 c GLOBAL bounds - >= 0 @ 13.7706
16.59/16.79 c GLOBAL bounds - >= 0 @ 13.7886
16.70/16.81 c GLOBAL bounds - >= 0 @ 13.8094
16.70/16.83 c GLOBAL bounds - >= 0 @ 13.8298
16.70/16.85 c GLOBAL bounds - >= 0 @ 13.8476
16.70/16.88 c GLOBAL bounds - >= 0 @ 13.8648
16.80/16.90 c GLOBAL bounds - >= 0 @ 13.8833
16.80/16.92 c GLOBAL bounds - >= 0 @ 13.9006
16.80/16.94 c GLOBAL bounds - >= 0 @ 13.9168
16.80/16.96 c GLOBAL bounds - >= 0 @ 13.9342
16.80/16.99 c GLOBAL bounds - >= 0 @ 13.9556
16.90/17.01 c GLOBAL bounds - >= 0 @ 13.9769
16.90/17.03 c GLOBAL bounds - >= 0 @ 13.9944
16.90/17.05 c GLOBAL bounds - >= 0 @ 14.0116
16.90/17.07 c GLOBAL bounds - >= 0 @ 14.028
16.90/17.09 c GLOBAL bounds - >= 0 @ 14.0434
17.01/17.12 c GLOBAL bounds - >= 0 @ 14.0595
17.01/17.14 c GLOBAL bounds - >= 0 @ 14.0796
17.01/17.16 c GLOBAL bounds - >= 0 @ 14.0984
17.01/17.18 c GLOBAL bounds - >= 0 @ 14.1174
17.09/17.21 c GLOBAL bounds - >= 0 @ 14.1368
17.09/17.23 c GLOBAL bounds - >= 0 @ 14.155
17.09/17.25 c GLOBAL bounds - >= 0 @ 14.172
17.09/17.27 c GLOBAL bounds - >= 0 @ 14.1939
17.20/17.30 c GLOBAL bounds - >= 0 @ 14.2119
17.20/17.32 c GLOBAL bounds - >= 0 @ 14.2304
17.20/17.34 c GLOBAL bounds - >= 0 @ 14.2504
17.20/17.36 c GLOBAL bounds - >= 0 @ 14.2668
17.20/17.39 c GLOBAL bounds - >= 0 @ 14.2855
17.29/17.41 c GLOBAL bounds - >= 0 @ 14.3082
17.29/17.44 c GLOBAL bounds - >= 0 @ 14.3303
17.29/17.46 c GLOBAL bounds - >= 0 @ 14.3515
17.29/17.49 c GLOBAL bounds - >= 0 @ 14.3685
17.39/17.51 c GLOBAL bounds - >= 0 @ 14.3873
17.39/17.53 c GLOBAL bounds - >= 0 @ 14.406
17.39/17.56 c GLOBAL bounds - >= 0 @ 14.4266
17.39/17.58 c GLOBAL bounds - >= 0 @ 14.4485
17.50/17.61 c GLOBAL bounds - >= 0 @ 14.4695
17.50/17.63 c GLOBAL bounds - >= 0 @ 14.4858
17.50/17.65 c GLOBAL bounds - >= 0 @ 14.5012
17.50/17.68 c GLOBAL bounds - >= 0 @ 14.5183
17.59/17.70 c GLOBAL bounds - >= 0 @ 14.536
17.59/17.72 c GLOBAL bounds - >= 0 @ 14.5521
17.59/17.74 c GLOBAL bounds - >= 0 @ 14.571
17.59/17.77 c GLOBAL bounds - >= 0 @ 14.5899
17.59/17.79 c GLOBAL bounds - >= 0 @ 14.6073
17.70/17.81 c GLOBAL bounds - >= 0 @ 14.6251
17.70/17.84 c GLOBAL bounds - >= 0 @ 14.6461
17.70/17.86 c GLOBAL bounds - >= 0 @ 14.6619
17.70/17.88 c GLOBAL bounds - >= 0 @ 14.6807
17.80/17.90 c GLOBAL bounds - >= 0 @ 14.7014
17.80/17.92 c GLOBAL bounds - >= 0 @ 14.7181
17.80/17.94 c GLOBAL bounds - >= 0 @ 14.7349
17.80/17.97 c GLOBAL bounds - >= 0 @ 14.7568
17.80/17.99 c GLOBAL bounds - >= 0 @ 14.7745
17.90/18.01 c GLOBAL bounds - >= 0 @ 14.7885
17.90/18.04 c GLOBAL bounds - >= 0 @ 14.8043
17.90/18.06 c GLOBAL bounds - >= 0 @ 14.8227
17.90/18.08 c GLOBAL bounds - >= 0 @ 14.8398
18.00/18.10 c GLOBAL bounds - >= 0 @ 14.8553
18.00/18.13 c GLOBAL bounds - >= 0 @ 14.871
18.00/18.15 c GLOBAL bounds - >= 0 @ 14.8897
18.00/18.17 c GLOBAL bounds - >= 0 @ 14.9058
18.00/18.19 c GLOBAL bounds - >= 0 @ 14.9244
18.10/18.21 c GLOBAL bounds - >= 0 @ 14.9434
18.10/18.24 c GLOBAL bounds - >= 0 @ 14.9609
18.10/18.26 c GLOBAL bounds - >= 0 @ 14.9803
18.10/18.28 c GLOBAL bounds - >= 0 @ 14.9992
18.20/18.30 c GLOBAL bounds - >= 0 @ 15.0138
18.20/18.32 c GLOBAL bounds - >= 0 @ 15.0322
18.20/18.35 c GLOBAL bounds - >= 0 @ 15.0502
18.20/18.38 c GLOBAL bounds - >= 0 @ 15.0735
18.29/18.41 c GLOBAL bounds - >= 0 @ 15.1011
18.29/18.44 c GLOBAL bounds - >= 0 @ 15.1343
18.29/18.47 c GLOBAL bounds - >= 0 @ 15.1626
18.40/18.50 c GLOBAL bounds - >= 0 @ 15.1842
18.40/18.53 c GLOBAL bounds - >= 0 @ 15.21
18.40/18.56 c GLOBAL bounds - >= 0 @ 15.2329
18.40/18.58 c GLOBAL bounds - >= 0 @ 15.2531
18.49/18.62 c GLOBAL bounds - >= 0 @ 15.2878
18.49/18.65 c GLOBAL bounds - >= 0 @ 15.309
18.49/18.68 c GLOBAL bounds - >= 0 @ 15.3356
18.59/18.72 c GLOBAL bounds - >= 0 @ 15.3642
18.59/18.75 c GLOBAL bounds - >= 0 @ 15.3955
18.69/18.80 c GLOBAL bounds - >= 0 @ 15.4391
18.69/18.85 c #Conflicts: 1000 | #Constraints: 67852
18.69/18.85 c GLOBAL bounds - >= 0 @ 15.4841
18.69/18.88 c GLOBAL bounds - >= 0 @ 15.5114
18.79/18.93 c GLOBAL bounds - >= 0 @ 15.5527
18.79/18.97 c GLOBAL bounds - >= 0 @ 15.5773
18.89/19.00 c GLOBAL bounds - >= 0 @ 15.6085
18.89/19.07 c GLOBAL bounds - >= 0 @ 15.6529
18.89/19.10 c GLOBAL bounds - >= 0 @ 15.6795
18.99/19.17 c GLOBAL bounds - >= 0 @ 15.7264
19.09/19.21 c GLOBAL bounds - >= 0 @ 15.7504
19.09/19.23 c GLOBAL bounds - >= 0 @ 15.7732
19.09/19.26 c GLOBAL bounds - >= 0 @ 15.7942
19.09/19.29 c GLOBAL bounds - >= 0 @ 15.8202
19.19/19.31 c GLOBAL bounds - >= 0 @ 15.8435
19.19/19.34 c GLOBAL bounds - >= 0 @ 15.8652
19.19/19.37 c GLOBAL bounds - >= 0 @ 15.8884
19.19/19.40 c GLOBAL bounds - >= 0 @ 15.9138
19.29/19.42 c GLOBAL bounds - >= 0 @ 15.9398
19.29/19.45 c GLOBAL bounds - >= 0 @ 15.9622
19.29/19.48 c GLOBAL bounds - >= 0 @ 15.9851
19.39/19.51 c GLOBAL bounds - >= 0 @ 16.0096
19.39/19.53 c GLOBAL bounds - >= 0 @ 16.0314
19.39/19.57 c GLOBAL bounds - >= 0 @ 16.0579
19.49/19.62 c GLOBAL bounds - >= 0 @ 16.1046
19.49/19.68 c GLOBAL bounds - >= 0 @ 16.1585
19.59/19.71 c GLOBAL bounds - >= 0 @ 16.1868
19.59/19.74 c GLOBAL bounds - >= 0 @ 16.2172
19.59/19.78 c GLOBAL bounds - >= 0 @ 16.2493
19.69/19.81 c GLOBAL bounds - >= 0 @ 16.2765
19.69/19.84 c GLOBAL bounds - >= 0 @ 16.3007
19.69/19.88 c GLOBAL bounds - >= 0 @ 16.3334
19.79/19.91 c GLOBAL bounds - >= 0 @ 16.3624
19.79/19.94 c GLOBAL bounds - >= 0 @ 16.3911
19.79/19.97 c GLOBAL bounds - >= 0 @ 16.4181
19.90/20.01 c GLOBAL bounds - >= 0 @ 16.4429
19.90/20.04 c GLOBAL bounds - >= 0 @ 16.4679
19.90/20.07 c GLOBAL bounds - >= 0 @ 16.4962
19.90/20.10 c GLOBAL bounds - >= 0 @ 16.5201
19.99/20.13 c GLOBAL bounds - >= 0 @ 16.5448
19.99/20.16 c GLOBAL bounds - >= 0 @ 16.5707
19.99/20.18 c GLOBAL bounds - >= 0 @ 16.5931
20.08/20.22 c GLOBAL bounds - >= 0 @ 16.6208
20.08/20.24 c GLOBAL bounds - >= 0 @ 16.6453
20.08/20.27 c GLOBAL bounds - >= 0 @ 16.6687
20.18/20.30 c GLOBAL bounds - >= 0 @ 16.6892
20.18/20.33 c GLOBAL bounds - >= 0 @ 16.71
20.18/20.35 c GLOBAL bounds - >= 0 @ 16.73
20.18/20.38 c GLOBAL bounds - >= 0 @ 16.7539
20.29/20.40 c GLOBAL bounds - >= 0 @ 16.7772
20.29/20.43 c GLOBAL bounds - >= 0 @ 16.7996
20.29/20.45 c GLOBAL bounds - >= 0 @ 16.8178
20.29/20.48 c GLOBAL bounds - >= 0 @ 16.8354
20.38/20.50 c GLOBAL bounds - >= 0 @ 16.8591
20.38/20.53 c GLOBAL bounds - >= 0 @ 16.8764
20.38/20.55 c GLOBAL bounds - >= 0 @ 16.8964
20.38/20.58 c GLOBAL bounds - >= 0 @ 16.9239
20.49/20.61 c GLOBAL bounds - >= 0 @ 16.9473
20.49/20.63 c GLOBAL bounds - >= 0 @ 16.972
20.49/20.66 c GLOBAL bounds - >= 0 @ 16.9929
20.49/20.68 c GLOBAL bounds - >= 0 @ 17.0101
20.58/20.71 c GLOBAL bounds - >= 0 @ 17.032
20.58/20.73 c GLOBAL bounds - >= 0 @ 17.0536
20.58/20.75 c GLOBAL bounds - >= 0 @ 17.0696
20.58/20.78 c GLOBAL bounds - >= 0 @ 17.0911
20.68/20.80 c GLOBAL bounds - >= 0 @ 17.1118
20.68/20.82 c GLOBAL bounds - >= 0 @ 17.1323
20.68/20.85 c GLOBAL bounds - >= 0 @ 17.1517
20.68/20.87 c GLOBAL bounds - >= 0 @ 17.1711
20.68/20.89 c GLOBAL bounds - >= 0 @ 17.1925
20.78/20.91 c GLOBAL bounds - >= 0 @ 17.2098
20.78/20.94 c GLOBAL bounds - >= 0 @ 17.2309
20.78/20.96 c GLOBAL bounds - >= 0 @ 17.2532
20.78/20.98 c GLOBAL bounds - >= 0 @ 17.2735
20.89/21.01 c GLOBAL bounds - >= 0 @ 17.2898
20.89/21.03 c GLOBAL bounds - >= 0 @ 17.3163
20.89/21.06 c GLOBAL bounds - >= 0 @ 17.3376
20.89/21.09 c GLOBAL bounds - >= 0 @ 17.362
20.99/21.11 c GLOBAL bounds - >= 0 @ 17.3848
20.99/21.16 c GLOBAL bounds - >= 0 @ 17.4144
21.08/21.22 c GLOBAL bounds - >= 0 @ 17.4685
21.08/21.25 c GLOBAL bounds - >= 0 @ 17.4981
21.08/21.28 c GLOBAL bounds - >= 0 @ 17.5268
21.18/21.31 c GLOBAL bounds - >= 0 @ 17.5597
21.18/21.34 c GLOBAL bounds - >= 0 @ 17.588
21.18/21.37 c GLOBAL bounds - >= 0 @ 17.6134
21.28/21.40 c GLOBAL bounds - >= 0 @ 17.6406
21.28/21.43 c GLOBAL bounds - >= 0 @ 17.6654
21.28/21.46 c GLOBAL bounds - >= 0 @ 17.6907
21.28/21.49 c GLOBAL bounds - >= 0 @ 17.7155
21.38/21.52 c GLOBAL bounds - >= 0 @ 17.7406
21.38/21.54 c GLOBAL bounds - >= 0 @ 17.7667
21.38/21.57 c GLOBAL bounds - >= 0 @ 17.792
21.48/21.60 c GLOBAL bounds - >= 0 @ 17.8174
21.48/21.63 c GLOBAL bounds - >= 0 @ 17.8448
21.48/21.65 c GLOBAL bounds - >= 0 @ 17.871
21.48/21.68 c GLOBAL bounds - >= 0 @ 17.8945
21.59/21.71 c GLOBAL bounds - >= 0 @ 17.9191
21.59/21.73 c GLOBAL bounds - >= 0 @ 17.9425
21.59/21.76 c GLOBAL bounds - >= 0 @ 17.9631
21.59/21.78 c GLOBAL bounds - >= 0 @ 17.9842
21.68/21.81 c GLOBAL bounds - >= 0 @ 18.0034
21.68/21.83 c GLOBAL bounds - >= 0 @ 18.0237
21.68/21.85 c GLOBAL bounds - >= 0 @ 18.0438
21.68/21.88 c GLOBAL bounds - >= 0 @ 18.0676
21.78/21.90 c GLOBAL bounds - >= 0 @ 18.0888
21.78/21.92 c GLOBAL bounds - >= 0 @ 18.1078
21.78/21.95 c GLOBAL bounds - >= 0 @ 18.133
21.78/21.98 c GLOBAL bounds - >= 0 @ 18.1615
21.89/22.03 c GLOBAL bounds - >= 0 @ 18.2012
21.89/22.08 c GLOBAL bounds - >= 0 @ 18.2451
21.99/22.10 c GLOBAL bounds - >= 0 @ 18.2719
21.99/22.14 c GLOBAL bounds - >= 0 @ 18.304
21.99/22.17 c GLOBAL bounds - >= 0 @ 18.3311
22.08/22.20 c GLOBAL bounds - >= 0 @ 18.3605
22.08/22.24 c GLOBAL bounds - >= 0 @ 18.3952
22.08/22.27 c GLOBAL bounds - >= 0 @ 18.4246
22.19/22.30 c GLOBAL bounds - >= 0 @ 18.4554
22.19/22.33 c GLOBAL bounds - >= 0 @ 18.4808
22.19/22.36 c GLOBAL bounds - >= 0 @ 18.5048
22.19/22.39 c GLOBAL bounds - >= 0 @ 18.5288
22.28/22.42 c GLOBAL bounds - >= 0 @ 18.5563
22.28/22.44 c GLOBAL bounds - >= 0 @ 18.5756
22.28/22.47 c GLOBAL bounds - >= 0 @ 18.6007
22.28/22.49 c GLOBAL bounds - >= 0 @ 18.6193
22.38/22.52 c GLOBAL bounds - >= 0 @ 18.6415
22.38/22.54 c GLOBAL bounds - >= 0 @ 18.6624
22.38/22.56 c GLOBAL bounds - >= 0 @ 18.6827
22.38/22.58 c GLOBAL bounds - >= 0 @ 18.7017
22.48/22.61 c GLOBAL bounds - >= 0 @ 18.7234
22.48/22.63 c GLOBAL bounds - >= 0 @ 18.7422
22.48/22.66 c GLOBAL bounds - >= 0 @ 18.7631
22.48/22.68 c GLOBAL bounds - >= 0 @ 18.785
22.58/22.71 c GLOBAL bounds - >= 0 @ 18.8121
22.58/22.74 c GLOBAL bounds - >= 0 @ 18.8438
22.58/22.77 c GLOBAL bounds - >= 0 @ 18.8683
22.67/22.80 c GLOBAL bounds - >= 0 @ 18.8916
22.67/22.83 c GLOBAL bounds - >= 0 @ 18.9177
22.67/22.87 c GLOBAL bounds - >= 0 @ 18.9609
22.78/22.90 c GLOBAL bounds - >= 0 @ 18.9846
22.78/22.92 c GLOBAL bounds - >= 0 @ 19.0057
22.78/22.95 c GLOBAL bounds - >= 0 @ 19.0337
22.78/22.98 c GLOBAL bounds - >= 0 @ 19.0606
22.89/23.01 c GLOBAL bounds - >= 0 @ 19.0843
22.89/23.03 c GLOBAL bounds - >= 0 @ 19.106
22.89/23.05 c GLOBAL bounds - >= 0 @ 19.1244
22.89/23.08 c GLOBAL bounds - >= 0 @ 19.1496
22.98/23.10 c GLOBAL bounds - >= 0 @ 19.1669
22.98/23.13 c GLOBAL bounds - >= 0 @ 19.1886
22.98/23.15 c GLOBAL bounds - >= 0 @ 19.2056
22.98/23.18 c GLOBAL bounds - >= 0 @ 19.2304
23.08/23.20 c GLOBAL bounds - >= 0 @ 19.2515
23.08/23.22 c GLOBAL bounds - >= 0 @ 19.2694
23.08/23.24 c GLOBAL bounds - >= 0 @ 19.2923
23.08/23.27 c GLOBAL bounds - >= 0 @ 19.3124
23.08/23.29 c GLOBAL bounds - >= 0 @ 19.3319
23.18/23.31 c GLOBAL bounds - >= 0 @ 19.3515
23.18/23.33 c GLOBAL bounds - >= 0 @ 19.3672
23.18/23.35 c GLOBAL bounds - >= 0 @ 19.3842
23.18/23.39 c GLOBAL bounds - >= 0 @ 19.4183
23.28/23.42 c GLOBAL bounds - >= 0 @ 19.4377
23.28/23.45 c GLOBAL bounds - >= 0 @ 19.4708
23.28/23.48 c GLOBAL bounds - >= 0 @ 19.4908
23.38/23.50 c GLOBAL bounds - >= 0 @ 19.5087
23.38/23.53 c GLOBAL bounds - >= 0 @ 19.5348
23.38/23.55 c GLOBAL bounds - >= 0 @ 19.5529
23.38/23.58 c GLOBAL bounds - >= 0 @ 19.5766
23.48/23.60 c GLOBAL bounds - >= 0 @ 19.5941
23.48/23.62 c GLOBAL bounds - >= 0 @ 19.611
23.48/23.64 c GLOBAL bounds - >= 0 @ 19.6263
23.48/23.66 c GLOBAL bounds - >= 0 @ 19.6452
23.48/23.68 c GLOBAL bounds - >= 0 @ 19.6626
23.57/23.70 c GLOBAL bounds - >= 0 @ 19.6797
23.57/23.72 c GLOBAL bounds - >= 0 @ 19.6947
23.57/23.73 c GLOBAL bounds - >= 0 @ 19.7095
23.57/23.75 c GLOBAL bounds - >= 0 @ 19.7242
23.57/23.77 c GLOBAL bounds - >= 0 @ 19.7377
23.57/23.79 c GLOBAL bounds - >= 0 @ 19.7546
23.68/23.81 c GLOBAL bounds - >= 0 @ 19.7712
23.68/23.83 c GLOBAL bounds - >= 0 @ 19.7877
23.68/23.84 c GLOBAL bounds - >= 0 @ 19.8022
23.68/23.86 c GLOBAL bounds - >= 0 @ 19.8195
23.68/23.88 c GLOBAL bounds - >= 0 @ 19.8366
23.77/23.92 c GLOBAL bounds - >= 0 @ 19.8679
23.77/23.94 c GLOBAL bounds - >= 0 @ 19.8822
23.77/23.96 c GLOBAL bounds - >= 0 @ 19.8992
23.77/23.97 c GLOBAL bounds - >= 0 @ 19.9125
23.77/23.99 c GLOBAL bounds - >= 0 @ 19.9286
23.88/24.01 c GLOBAL bounds - >= 0 @ 19.9438
23.88/24.03 c GLOBAL bounds - >= 0 @ 19.9589
23.88/24.04 c GLOBAL bounds - >= 0 @ 19.9756
23.88/24.06 c GLOBAL bounds - >= 0 @ 19.9921
23.88/24.08 c GLOBAL bounds - >= 0 @ 20.0095
23.98/24.10 c GLOBAL bounds - >= 0 @ 20.0256
23.98/24.12 c GLOBAL bounds - >= 0 @ 20.0385
23.98/24.14 c GLOBAL bounds - >= 0 @ 20.0557
23.98/24.16 c GLOBAL bounds - >= 0 @ 20.0767
23.98/24.19 c GLOBAL bounds - >= 0 @ 20.1075
24.08/24.24 c GLOBAL bounds - >= 0 @ 20.1483
24.38/24.53 c GLOBAL bounds - >= 0 @ 20.4207
24.47/24.69 c GLOBAL bounds - >= 0 @ 20.574
24.58/24.77 c GLOBAL bounds - >= 0 @ 20.6408
24.67/24.81 c GLOBAL bounds - >= 0 @ 20.6851
24.78/24.90 c GLOBAL bounds - >= 0 @ 20.7633
24.78/24.98 c GLOBAL bounds - >= 0 @ 20.8461
24.88/25.01 c GLOBAL bounds - >= 0 @ 20.8716
24.88/25.05 c GLOBAL bounds - >= 0 @ 20.9126
24.88/25.08 c GLOBAL bounds - >= 0 @ 20.9395
24.97/25.11 c GLOBAL bounds - >= 0 @ 20.9646
24.97/25.13 c GLOBAL bounds - >= 0 @ 20.9859
24.97/25.16 c GLOBAL bounds - >= 0 @ 21.0105
24.97/25.19 c GLOBAL bounds - >= 0 @ 21.0352
25.07/25.22 c GLOBAL bounds - >= 0 @ 21.0585
25.07/25.26 c GLOBAL bounds - >= 0 @ 21.0951
25.07/25.29 c GLOBAL bounds - >= 0 @ 21.1185
25.17/25.31 c GLOBAL bounds - >= 0 @ 21.1405
25.17/25.34 c GLOBAL bounds - >= 0 @ 21.1657
25.17/25.36 c GLOBAL bounds - >= 0 @ 21.1866
25.17/25.39 c GLOBAL bounds - >= 0 @ 21.2101
25.27/25.41 c GLOBAL bounds - >= 0 @ 21.2293
25.27/25.44 c GLOBAL bounds - >= 0 @ 21.249
25.27/25.46 c GLOBAL bounds - >= 0 @ 21.2683
25.27/25.48 c GLOBAL bounds - >= 0 @ 21.2854
25.37/25.51 c GLOBAL bounds - >= 0 @ 21.3074
25.37/25.55 c GLOBAL bounds - >= 0 @ 21.3449
25.37/25.57 c GLOBAL bounds - >= 0 @ 21.3681
25.48/25.60 c GLOBAL bounds - >= 0 @ 21.3978
25.48/25.65 c GLOBAL bounds - >= 0 @ 21.4348
26.17/26.35 c #Conflicts: 2000 | #Constraints: 69304
26.17/26.35 c INPROCESSING
26.17/26.35 c GARBAGE COLLECT
26.17/26.35 c GLOBAL bounds - >= 0 @ 22.1299
26.17/26.39 c GLOBAL bounds - >= 0 @ 22.1693
26.27/26.44 c GLOBAL bounds - >= 0 @ 22.2112
26.37/26.55 c GLOBAL bounds - >= 0 @ 22.3173
26.47/26.60 c GLOBAL bounds - >= 0 @ 22.3591
26.47/26.63 c GLOBAL bounds - >= 0 @ 22.3899
26.47/26.67 c GLOBAL bounds - >= 0 @ 22.4183
26.57/26.70 c GLOBAL bounds - >= 0 @ 22.4474
26.57/26.72 c GLOBAL bounds - >= 0 @ 22.4702
26.57/26.75 c GLOBAL bounds - >= 0 @ 22.498
26.57/26.78 c GLOBAL bounds - >= 0 @ 22.5216
26.67/26.80 c GLOBAL bounds - >= 0 @ 22.5446
26.67/26.83 c GLOBAL bounds - >= 0 @ 22.5667
26.67/26.85 c GLOBAL bounds - >= 0 @ 22.5838
26.67/26.87 c GLOBAL bounds - >= 0 @ 22.6017
26.67/26.89 c GLOBAL bounds - >= 0 @ 22.6178
26.77/26.91 c GLOBAL bounds - >= 0 @ 22.6343
26.77/26.92 c GLOBAL bounds - >= 0 @ 22.6521
26.77/26.94 c GLOBAL bounds - >= 0 @ 22.6688
26.77/26.96 c GLOBAL bounds - >= 0 @ 22.6845
26.77/26.98 c GLOBAL bounds - >= 0 @ 22.7014
26.77/27.00 c GLOBAL bounds - >= 0 @ 22.7195
26.88/27.02 c GLOBAL bounds - >= 0 @ 22.7353
26.88/27.04 c GLOBAL bounds - >= 0 @ 22.7503
26.88/27.05 c GLOBAL bounds - >= 0 @ 22.7629
26.88/27.07 c GLOBAL bounds - >= 0 @ 22.7754
26.88/27.09 c GLOBAL bounds - >= 0 @ 22.7894
26.98/27.11 c GLOBAL bounds - >= 0 @ 22.8096
26.98/27.14 c GLOBAL bounds - >= 0 @ 22.831
26.98/27.15 c GLOBAL bounds - >= 0 @ 22.8469
26.98/27.17 c GLOBAL bounds - >= 0 @ 22.8634
26.98/27.19 c GLOBAL bounds - >= 0 @ 22.8786
27.07/27.20 c GLOBAL bounds - >= 0 @ 22.8904
27.07/27.22 c GLOBAL bounds - >= 0 @ 22.9051
27.07/27.25 c GLOBAL bounds - >= 0 @ 22.933
27.07/27.28 c GLOBAL bounds - >= 0 @ 22.9627
27.17/27.31 c GLOBAL bounds - >= 0 @ 22.9894
27.17/27.34 c GLOBAL bounds - >= 0 @ 23.0163
27.17/27.37 c GLOBAL bounds - >= 0 @ 23.0319
27.17/27.39 c GLOBAL bounds - >= 0 @ 23.0484
27.27/27.40 c GLOBAL bounds - >= 0 @ 23.0665
27.27/27.42 c GLOBAL bounds - >= 0 @ 23.0809
27.27/27.45 c GLOBAL bounds - >= 0 @ 23.106
27.27/27.48 c GLOBAL bounds - >= 0 @ 23.1284
27.37/27.50 c GLOBAL bounds - >= 0 @ 23.1472
27.37/27.52 c GLOBAL bounds - >= 0 @ 23.1623
27.37/27.54 c GLOBAL bounds - >= 0 @ 23.1751
27.37/27.55 c GLOBAL bounds - >= 0 @ 23.1902
27.37/27.57 c GLOBAL bounds - >= 0 @ 23.2044
27.37/27.59 c GLOBAL bounds - >= 0 @ 23.2159
27.47/27.60 c GLOBAL bounds - >= 0 @ 23.2267
27.47/27.62 c GLOBAL bounds - >= 0 @ 23.2402
27.47/27.64 c GLOBAL bounds - >= 0 @ 23.2523
27.47/27.65 c GLOBAL bounds - >= 0 @ 23.2672
27.47/27.67 c GLOBAL bounds - >= 0 @ 23.2811
27.47/27.69 c GLOBAL bounds - >= 0 @ 23.2964
27.57/27.73 c GLOBAL bounds - >= 0 @ 23.3309
27.57/27.75 c GLOBAL bounds - >= 0 @ 23.3542
27.57/27.78 c GLOBAL bounds - >= 0 @ 23.3728
27.67/27.80 c GLOBAL bounds - >= 0 @ 23.3945
27.67/27.83 c GLOBAL bounds - >= 0 @ 23.4227
27.67/27.85 c GLOBAL bounds - >= 0 @ 23.4449
27.67/27.88 c GLOBAL bounds - >= 0 @ 23.4703
27.77/27.92 c GLOBAL bounds - >= 0 @ 23.4984
27.77/27.95 c GLOBAL bounds - >= 0 @ 23.5284
27.88/28.03 c GLOBAL bounds - >= 0 @ 23.606
27.88/28.06 c GLOBAL bounds - >= 0 @ 23.6325
27.97/28.12 c GLOBAL bounds - >= 0 @ 23.6879
27.97/28.15 c GLOBAL bounds - >= 0 @ 23.7211
27.97/28.19 c GLOBAL bounds - >= 0 @ 23.7563
28.07/28.22 c GLOBAL bounds - >= 0 @ 23.7866
28.07/28.26 c GLOBAL bounds - >= 0 @ 23.8206
28.07/28.28 c GLOBAL bounds - >= 0 @ 23.8455
28.16/28.30 c GLOBAL bounds - >= 0 @ 23.8619
28.16/28.34 c GLOBAL bounds - >= 0 @ 23.8959
28.16/28.36 c GLOBAL bounds - >= 0 @ 23.9127
28.16/28.37 c GLOBAL bounds - >= 0 @ 23.9274
28.16/28.39 c GLOBAL bounds - >= 0 @ 23.943
28.26/28.41 c GLOBAL bounds - >= 0 @ 23.959
28.26/28.43 c GLOBAL bounds - >= 0 @ 23.9728
28.26/28.45 c GLOBAL bounds - >= 0 @ 23.9863
28.26/28.46 c GLOBAL bounds - >= 0 @ 23.9992
28.26/28.48 c GLOBAL bounds - >= 0 @ 24.0176
28.37/28.51 c GLOBAL bounds - >= 0 @ 24.0415
28.37/28.55 c GLOBAL bounds - >= 0 @ 24.0843
28.37/28.57 c GLOBAL bounds - >= 0 @ 24.0974
28.37/28.59 c GLOBAL bounds - >= 0 @ 24.116
28.46/28.61 c GLOBAL bounds - >= 0 @ 24.1394
28.46/28.63 c GLOBAL bounds - >= 0 @ 24.1557
28.46/28.66 c GLOBAL bounds - >= 0 @ 24.1773
28.56/28.78 c GLOBAL bounds - >= 0 @ 24.2998
28.67/28.84 c GLOBAL bounds - >= 0 @ 24.3453
29.46/29.63 c #Conflicts: 3000 | #Constraints: 69490
29.46/29.63 c GLOBAL bounds - >= 0 @ 25.0944
29.67/29.81 c GLOBAL bounds - >= 0 @ 25.2557
30.56/30.77 c GLOBAL bounds - >= 0 @ 26.1469
33.35/33.51 c #Conflicts: 4000 | #Constraints: 70496
33.35/33.51 c INPROCESSING
33.35/33.51 c GARBAGE COLLECT
33.35/33.51 c GLOBAL bounds - >= 0 @ 28.7343
43.73/43.97 c #Conflicts: 5000 | #Constraints: 69913
43.73/43.97 c #Conflicts: 6000 | #Constraints: 70913
43.73/43.97 c INPROCESSING
43.73/43.97 c GARBAGE COLLECT
43.73/43.97 c #Conflicts: 7000 | #Constraints: 69921
43.73/43.97 c #Conflicts: 8000 | #Constraints: 70921
43.73/43.97 c GLOBAL bounds - >= 0 @ 38.736
44.33/44.50 c GLOBAL bounds - >= 0 @ 39.2426
272.42/273.20 c #Conflicts: 9000 | #Constraints: 71925
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 10000 | #Constraints: 70626
272.42/273.20 c #Conflicts: 11000 | #Constraints: 71626
272.42/273.20 c #Conflicts: 12000 | #Constraints: 72626
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 13000 | #Constraints: 71074
272.42/273.20 c #Conflicts: 14000 | #Constraints: 72074
272.42/273.20 c #Conflicts: 15000 | #Constraints: 73074
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 16000 | #Constraints: 71306
272.42/273.20 c #Conflicts: 17000 | #Constraints: 72306
272.42/273.20 c #Conflicts: 18000 | #Constraints: 73306
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 19000 | #Constraints: 71321
272.42/273.20 c #Conflicts: 20000 | #Constraints: 72321
272.42/273.20 c #Conflicts: 21000 | #Constraints: 73321
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 22000 | #Constraints: 71127
272.42/273.20 c #Conflicts: 23000 | #Constraints: 72127
272.42/273.20 c #Conflicts: 24000 | #Constraints: 73127
272.42/273.20 c #Conflicts: 25000 | #Constraints: 74127
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 26000 | #Constraints: 71730
272.42/273.20 c #Conflicts: 27000 | #Constraints: 72730
272.42/273.20 c #Conflicts: 28000 | #Constraints: 73730
272.42/273.20 c #Conflicts: 29000 | #Constraints: 74730
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 30000 | #Constraints: 72132
272.42/273.20 c #Conflicts: 31000 | #Constraints: 73132
272.42/273.20 c #Conflicts: 32000 | #Constraints: 74132
272.42/273.20 c #Conflicts: 33000 | #Constraints: 75132
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 34000 | #Constraints: 72333
272.42/273.20 c #Conflicts: 35000 | #Constraints: 73333
272.42/273.20 c #Conflicts: 36000 | #Constraints: 74333
272.42/273.20 c #Conflicts: 37000 | #Constraints: 75333
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 38000 | #Constraints: 72341
272.42/273.20 c #Conflicts: 39000 | #Constraints: 73341
272.42/273.20 c #Conflicts: 40000 | #Constraints: 74341
272.42/273.20 c #Conflicts: 41000 | #Constraints: 75341
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 42000 | #Constraints: 72150
272.42/273.20 c #Conflicts: 43000 | #Constraints: 73150
272.42/273.20 c #Conflicts: 44000 | #Constraints: 74150
272.42/273.20 c #Conflicts: 45000 | #Constraints: 75150
272.42/273.20 c #Conflicts: 46000 | #Constraints: 76150
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 47000 | #Constraints: 72741
272.42/273.20 c #Conflicts: 48000 | #Constraints: 73741
272.42/273.20 c #Conflicts: 49000 | #Constraints: 74741
272.42/273.20 c #Conflicts: 50000 | #Constraints: 75741
272.42/273.20 c #Conflicts: 51000 | #Constraints: 76741
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 52000 | #Constraints: 73135
272.42/273.20 c #Conflicts: 53000 | #Constraints: 74135
272.42/273.20 c #Conflicts: 54000 | #Constraints: 75135
272.42/273.20 c #Conflicts: 55000 | #Constraints: 76135
272.42/273.20 c #Conflicts: 56000 | #Constraints: 77135
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 57000 | #Constraints: 73337
272.42/273.20 c #Conflicts: 58000 | #Constraints: 74337
272.42/273.20 c #Conflicts: 59000 | #Constraints: 75337
272.42/273.20 c #Conflicts: 60000 | #Constraints: 76337
272.42/273.20 c #Conflicts: 61000 | #Constraints: 77337
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 62000 | #Constraints: 73336
272.42/273.20 c #Conflicts: 63000 | #Constraints: 74336
272.42/273.20 c #Conflicts: 64000 | #Constraints: 75336
272.42/273.20 c #Conflicts: 65000 | #Constraints: 76336
272.42/273.20 c #Conflicts: 66000 | #Constraints: 77336
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 67000 | #Constraints: 73136
272.42/273.20 c #Conflicts: 68000 | #Constraints: 74136
272.42/273.20 c #Conflicts: 69000 | #Constraints: 75136
272.42/273.20 c #Conflicts: 70000 | #Constraints: 76136
272.42/273.20 c #Conflicts: 71000 | #Constraints: 77136
272.42/273.20 c #Conflicts: 72000 | #Constraints: 78136
272.42/273.20 c INPROCESSING
272.42/273.20 c GARBAGE COLLECT
272.42/273.20 c #Conflicts: 73000 | #Constraints: 73742
272.42/273.20 c #Conflicts: 74000 | #Constraints: 74742
272.42/273.20 c #Conflicts: 75000 | #Constraints: 75742
272.42/273.20 c #Conflicts: 76000 | #Constraints: 76742
272.42/273.20 c #Conflicts: 77000 | #Constraints: 77742
551.70/553.21 c #Conflicts: 78000 | #Constraints: 78742
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 79000 | #Constraints: 74139
551.70/553.21 c #Conflicts: 80000 | #Constraints: 75139
551.70/553.21 c #Conflicts: 81000 | #Constraints: 76139
551.70/553.21 c #Conflicts: 82000 | #Constraints: 77139
551.70/553.21 c #Conflicts: 83000 | #Constraints: 78139
551.70/553.21 c #Conflicts: 84000 | #Constraints: 79139
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 85000 | #Constraints: 74335
551.70/553.21 c #Conflicts: 86000 | #Constraints: 75335
551.70/553.21 c #Conflicts: 87000 | #Constraints: 76335
551.70/553.21 c #Conflicts: 88000 | #Constraints: 77335
551.70/553.21 c #Conflicts: 89000 | #Constraints: 78335
551.70/553.21 c #Conflicts: 90000 | #Constraints: 79335
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 91000 | #Constraints: 74335
551.70/553.21 c #Conflicts: 92000 | #Constraints: 75335
551.70/553.21 c #Conflicts: 93000 | #Constraints: 76335
551.70/553.21 c #Conflicts: 94000 | #Constraints: 77335
551.70/553.21 c #Conflicts: 95000 | #Constraints: 78335
551.70/553.21 c #Conflicts: 96000 | #Constraints: 79335
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 97000 | #Constraints: 74148
551.70/553.21 c #Conflicts: 98000 | #Constraints: 75148
551.70/553.21 c #Conflicts: 99000 | #Constraints: 76148
551.70/553.21 c #Conflicts: 100000 | #Constraints: 77148
551.70/553.21 c #Conflicts: 101000 | #Constraints: 78148
551.70/553.21 c #Conflicts: 102000 | #Constraints: 79148
551.70/553.21 c #Conflicts: 103000 | #Constraints: 80148
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 104000 | #Constraints: 74751
551.70/553.21 c #Conflicts: 105000 | #Constraints: 75751
551.70/553.21 c #Conflicts: 106000 | #Constraints: 76751
551.70/553.21 c #Conflicts: 107000 | #Constraints: 77751
551.70/553.21 c #Conflicts: 108000 | #Constraints: 78751
551.70/553.21 c #Conflicts: 109000 | #Constraints: 79751
551.70/553.21 c #Conflicts: 110000 | #Constraints: 80751
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 111000 | #Constraints: 75147
551.70/553.21 c #Conflicts: 112000 | #Constraints: 76147
551.70/553.21 c #Conflicts: 113000 | #Constraints: 77147
551.70/553.21 c #Conflicts: 114000 | #Constraints: 78147
551.70/553.21 c #Conflicts: 115000 | #Constraints: 79147
551.70/553.21 c #Conflicts: 116000 | #Constraints: 80147
551.70/553.21 c #Conflicts: 117000 | #Constraints: 81147
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 118000 | #Constraints: 75348
551.70/553.21 c #Conflicts: 119000 | #Constraints: 76348
551.70/553.21 c #Conflicts: 120000 | #Constraints: 77348
551.70/553.21 c #Conflicts: 121000 | #Constraints: 78348
551.70/553.21 c #Conflicts: 122000 | #Constraints: 79348
551.70/553.21 c #Conflicts: 123000 | #Constraints: 80348
551.70/553.21 c #Conflicts: 124000 | #Constraints: 81348
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 125000 | #Constraints: 75339
551.70/553.21 c #Conflicts: 126000 | #Constraints: 76339
551.70/553.21 c #Conflicts: 127000 | #Constraints: 77339
551.70/553.21 c #Conflicts: 128000 | #Constraints: 78339
551.70/553.21 c #Conflicts: 129000 | #Constraints: 79339
551.70/553.21 c #Conflicts: 130000 | #Constraints: 80339
551.70/553.21 c #Conflicts: 131000 | #Constraints: 81339
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 132000 | #Constraints: 75134
551.70/553.21 c #Conflicts: 133000 | #Constraints: 76134
551.70/553.21 c #Conflicts: 134000 | #Constraints: 77134
551.70/553.21 c #Conflicts: 135000 | #Constraints: 78134
551.70/553.21 c #Conflicts: 136000 | #Constraints: 79134
551.70/553.21 c #Conflicts: 137000 | #Constraints: 80134
551.70/553.21 c #Conflicts: 138000 | #Constraints: 81134
551.70/553.21 c #Conflicts: 139000 | #Constraints: 82134
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 140000 | #Constraints: 75742
551.70/553.21 c #Conflicts: 141000 | #Constraints: 76742
551.70/553.21 c #Conflicts: 142000 | #Constraints: 77742
551.70/553.21 c #Conflicts: 143000 | #Constraints: 78742
551.70/553.21 c #Conflicts: 144000 | #Constraints: 79742
551.70/553.21 c #Conflicts: 145000 | #Constraints: 80742
551.70/553.21 c #Conflicts: 146000 | #Constraints: 81742
551.70/553.21 c #Conflicts: 147000 | #Constraints: 82742
551.70/553.21 c INPROCESSING
551.70/553.21 c GARBAGE COLLECT
551.70/553.21 c #Conflicts: 148000 | #Constraints: 76143
551.70/553.21 c #Conflicts: 149000 | #Constraints: 77143
851.00/853.36 c #Conflicts: 150000 | #Constraints: 78143
851.00/853.36 c #Conflicts: 151000 | #Constraints: 79143
851.00/853.36 c #Conflicts: 152000 | #Constraints: 80143
851.00/853.36 c #Conflicts: 153000 | #Constraints: 81143
851.00/853.36 c #Conflicts: 154000 | #Constraints: 82143
851.00/853.36 c #Conflicts: 155000 | #Constraints: 83143
851.00/853.36 c INPROCESSING
851.00/853.36 c GARBAGE COLLECT
851.00/853.36 c #Conflicts: 156000 | #Constraints: 76342
851.00/853.36 c #Conflicts: 157000 | #Constraints: 77342
851.00/853.36 c #Conflicts: 158000 | #Constraints: 78342
851.00/853.36 c #Conflicts: 159000 | #Constraints: 79342
851.00/853.36 c #Conflicts: 160000 | #Constraints: 80342
851.00/853.36 c #Conflicts: 161000 | #Constraints: 81342
851.00/853.36 c #Conflicts: 162000 | #Constraints: 82342
851.00/853.36 c #Conflicts: 163000 | #Constraints: 83342
851.00/853.36 c INPROCESSING
851.00/853.36 c GARBAGE COLLECT
851.00/853.36 c #Conflicts: 164000 | #Constraints: 76350
851.00/853.36 c #Conflicts: 165000 | #Constraints: 77350
851.00/853.36 c #Conflicts: 166000 | #Constraints: 78350
851.00/853.36 c #Conflicts: 167000 | #Constraints: 79350
851.00/853.36 c #Conflicts: 168000 | #Constraints: 80350
851.00/853.36 c #Conflicts: 169000 | #Constraints: 81350
851.00/853.36 c #Conflicts: 170000 | #Constraints: 82350
851.00/853.36 c #Conflicts: 171000 | #Constraints: 83350
851.00/853.36 c INPROCESSING
851.00/853.36 c GARBAGE COLLECT
851.00/853.36 c #Conflicts: 172000 | #Constraints: 76137
851.00/853.36 c #Conflicts: 173000 | #Constraints: 77137
851.00/853.36 c #Conflicts: 174000 | #Constraints: 78137
851.00/853.36 c #Conflicts: 175000 | #Constraints: 79137
851.00/853.36 c #Conflicts: 176000 | #Constraints: 80137
851.00/853.36 c #Conflicts: 177000 | #Constraints: 81137
851.00/853.36 c #Conflicts: 178000 | #Constraints: 82137
851.00/853.36 c #Conflicts: 179000 | #Constraints: 83137
851.00/853.36 c #Conflicts: 180000 | #Constraints: 84137
851.00/853.36 c INPROCESSING
851.00/853.36 c GARBAGE COLLECT
851.00/853.36 c #Conflicts: 181000 | #Constraints: 76744
851.00/853.36 c #Conflicts: 182000 | #Constraints: 77744
851.00/853.36 c #Conflicts: 183000 | #Constraints: 78744
851.00/853.36 c #Conflicts: 184000 | #Constraints: 79744
851.00/853.36 c #Conflicts: 185000 | #Constraints: 80744
851.00/853.36 c #Conflicts: 186000 | #Constraints: 81744
851.00/853.36 c #Conflicts: 187000 | #Constraints: 82744
851.00/853.36 c #Conflicts: 188000 | #Constraints: 83744
851.00/853.36 c #Conflicts: 189000 | #Constraints: 84744
851.00/853.36 c INPROCESSING
851.00/853.36 c GARBAGE COLLECT
851.00/853.36 c #Conflicts: 190000 | #Constraints: 77147
851.00/853.36 c #Conflicts: 191000 | #Constraints: 78147
851.00/853.36 c #Conflicts: 192000 | #Constraints: 79147
851.00/853.36 c #Conflicts: 193000 | #Constraints: 80147
851.00/853.36 c #Conflicts: 194000 | #Constraints: 81147
851.00/853.36 c #Conflicts: 195000 | #Constraints: 82147
851.00/853.36 c #Conflicts: 196000 | #Constraints: 83147
851.00/853.36 c #Conflicts: 197000 | #Constraints: 84147
851.00/853.36 c #Conflicts: 198000 | #Constraints: 85147
851.00/853.36 c INPROCESSING
851.00/853.36 c GARBAGE COLLECT
851.00/853.36 c #Conflicts: 199000 | #Constraints: 77346
851.00/853.36 c #Conflicts: 200000 | #Constraints: 78346
851.00/853.36 c #Conflicts: 201000 | #Constraints: 79346
851.00/853.36 c #Conflicts: 202000 | #Constraints: 80346
851.00/853.36 c #Conflicts: 203000 | #Constraints: 81346
851.00/853.36 c #Conflicts: 204000 | #Constraints: 82346
851.00/853.36 c #Conflicts: 205000 | #Constraints: 83346
851.00/853.36 c #Conflicts: 206000 | #Constraints: 84346
851.00/853.36 c #Conflicts: 207000 | #Constraints: 85346
851.00/853.36 c INPROCESSING
851.00/853.36 c GARBAGE COLLECT
851.00/853.36 c #Conflicts: 208000 | #Constraints: 77344
851.00/853.36 c #Conflicts: 209000 | #Constraints: 78344
851.00/853.36 c #Conflicts: 210000 | #Constraints: 79344
851.00/853.36 c #Conflicts: 211000 | #Constraints: 80344
851.00/853.36 c #Conflicts: 212000 | #Constraints: 81344
851.00/853.36 c #Conflicts: 213000 | #Constraints: 82344
851.00/853.36 c #Conflicts: 214000 | #Constraints: 83344
851.00/853.36 c #Conflicts: 215000 | #Constraints: 84344
851.00/853.36 c #Conflicts: 216000 | #Constraints: 85344
851.00/853.36 c INPROCESSING
851.00/853.36 c GARBAGE COLLECT
851.00/853.36 c #Conflicts: 217000 | #Constraints: 77148
851.00/853.36 c #Conflicts: 218000 | #Constraints: 78148
851.00/853.36 c #Conflicts: 219000 | #Constraints: 79148
851.00/853.36 c #Conflicts: 220000 | #Constraints: 80148
851.00/853.36 c #Conflicts: 221000 | #Constraints: 81148
851.00/853.36 c #Conflicts: 222000 | #Constraints: 82148
851.00/853.36 c #Conflicts: 223000 | #Constraints: 83148
1176.03/1179.24 c #Conflicts: 224000 | #Constraints: 84148
1176.03/1179.24 c #Conflicts: 225000 | #Constraints: 85148
1176.03/1179.24 c #Conflicts: 226000 | #Constraints: 86148
1176.03/1179.24 c INPROCESSING
1176.03/1179.24 c GARBAGE COLLECT
1176.03/1179.24 c #Conflicts: 227000 | #Constraints: 77747
1176.03/1179.24 c #Conflicts: 228000 | #Constraints: 78747
1176.03/1179.24 c #Conflicts: 229000 | #Constraints: 79747
1176.03/1179.24 c #Conflicts: 230000 | #Constraints: 80747
1176.03/1179.24 c #Conflicts: 231000 | #Constraints: 81747
1176.03/1179.24 c #Conflicts: 232000 | #Constraints: 82747
1176.03/1179.24 c #Conflicts: 233000 | #Constraints: 83747
1176.03/1179.24 c #Conflicts: 234000 | #Constraints: 84747
1176.03/1179.24 c #Conflicts: 235000 | #Constraints: 85747
1176.03/1179.24 c #Conflicts: 236000 | #Constraints: 86747
1176.03/1179.24 c INPROCESSING
1176.03/1179.24 c GARBAGE COLLECT
1176.03/1179.24 c #Conflicts: 237000 | #Constraints: 78150
1176.03/1179.24 c #Conflicts: 238000 | #Constraints: 79150
1176.03/1179.24 c #Conflicts: 239000 | #Constraints: 80150
1176.03/1179.24 c #Conflicts: 240000 | #Constraints: 81150
1176.03/1179.24 c #Conflicts: 241000 | #Constraints: 82150
1176.03/1179.24 c #Conflicts: 242000 | #Constraints: 83150
1176.03/1179.24 c #Conflicts: 243000 | #Constraints: 84150
1176.03/1179.24 c #Conflicts: 244000 | #Constraints: 85150
1176.03/1179.24 c #Conflicts: 245000 | #Constraints: 86150
1176.03/1179.24 c #Conflicts: 246000 | #Constraints: 87150
1176.03/1179.24 c INPROCESSING
1176.03/1179.24 c GARBAGE COLLECT
1176.03/1179.24 c #Conflicts: 247000 | #Constraints: 78342
1176.03/1179.24 c #Conflicts: 248000 | #Constraints: 79342
1176.03/1179.24 c #Conflicts: 249000 | #Constraints: 80342
1176.03/1179.24 c #Conflicts: 250000 | #Constraints: 81342
1176.03/1179.24 c #Conflicts: 251000 | #Constraints: 82342
1176.03/1179.24 c #Conflicts: 252000 | #Constraints: 83342
1176.03/1179.24 c #Conflicts: 253000 | #Constraints: 84342
1176.03/1179.24 c #Conflicts: 254000 | #Constraints: 85342
1176.03/1179.24 c #Conflicts: 255000 | #Constraints: 86342
1176.03/1179.24 c #Conflicts: 256000 | #Constraints: 87342
1176.03/1179.24 c INPROCESSING
1176.03/1179.24 c GARBAGE COLLECT
1176.03/1179.24 c #Conflicts: 257000 | #Constraints: 78337
1176.03/1179.24 c #Conflicts: 258000 | #Constraints: 79337
1176.03/1179.24 c #Conflicts: 259000 | #Constraints: 80337
1176.03/1179.24 c #Conflicts: 260000 | #Constraints: 81337
1176.03/1179.24 c #Conflicts: 261000 | #Constraints: 82337
1176.03/1179.24 c #Conflicts: 262000 | #Constraints: 83337
1176.03/1179.24 c #Conflicts: 263000 | #Constraints: 84337
1176.03/1179.24 c #Conflicts: 264000 | #Constraints: 85337
1176.03/1179.24 c #Conflicts: 265000 | #Constraints: 86337
1176.03/1179.24 c #Conflicts: 266000 | #Constraints: 87337
1176.03/1179.24 c INPROCESSING
1176.03/1179.24 c GARBAGE COLLECT
1176.03/1179.24 c #Conflicts: 267000 | #Constraints: 78133
1176.03/1179.24 c #Conflicts: 268000 | #Constraints: 79133
1176.03/1179.24 c #Conflicts: 269000 | #Constraints: 80133
1176.03/1179.24 c #Conflicts: 270000 | #Constraints: 81133
1176.03/1179.24 c #Conflicts: 271000 | #Constraints: 82133
1176.03/1179.24 c #Conflicts: 272000 | #Constraints: 83133
1176.03/1179.24 c #Conflicts: 273000 | #Constraints: 84133
1176.03/1179.24 c #Conflicts: 274000 | #Constraints: 85133
1176.03/1179.24 c #Conflicts: 275000 | #Constraints: 86133
1176.03/1179.24 c #Conflicts: 276000 | #Constraints: 87133
1176.03/1179.24 c #Conflicts: 277000 | #Constraints: 88133
1176.03/1179.24 c INPROCESSING
1176.03/1179.24 c GARBAGE COLLECT
1176.03/1179.24 c #Conflicts: 278000 | #Constraints: 78739
1176.03/1179.24 c #Conflicts: 279000 | #Constraints: 79739
1176.03/1179.24 c #Conflicts: 280000 | #Constraints: 80739
1176.03/1179.24 c #Conflicts: 281000 | #Constraints: 81739
1176.03/1179.24 c #Conflicts: 282000 | #Constraints: 82739
1176.03/1179.24 c #Conflicts: 283000 | #Constraints: 83739
1176.03/1179.24 c #Conflicts: 284000 | #Constraints: 84739
1176.03/1179.24 c #Conflicts: 285000 | #Constraints: 85739
1176.03/1179.24 c #Conflicts: 286000 | #Constraints: 86739
1176.03/1179.24 c #Conflicts: 287000 | #Constraints: 87739
1176.03/1179.24 c #Conflicts: 288000 | #Constraints: 88739
1176.03/1179.24 c INPROCESSING
1176.03/1179.24 c GARBAGE COLLECT
1176.03/1179.24 c #Conflicts: 289000 | #Constraints: 79144
1176.03/1179.24 c #Conflicts: 290000 | #Constraints: 80144
1176.03/1179.24 c #Conflicts: 291000 | #Constraints: 81144
1176.03/1179.24 c #Conflicts: 292000 | #Constraints: 82144
1176.03/1179.24 c #Conflicts: 293000 | #Constraints: 83144
1176.03/1179.24 c #Conflicts: 294000 | #Constraints: 84144
1176.03/1179.24 c #Conflicts: 295000 | #Constraints: 85144
1176.03/1179.24 c #Conflicts: 296000 | #Constraints: 86144
1176.03/1179.24 c #Conflicts: 297000 | #Constraints: 87144
1505.33/1509.41 c #Conflicts: 298000 | #Constraints: 88144
1505.33/1509.41 c #Conflicts: 299000 | #Constraints: 89144
1505.33/1509.41 c INPROCESSING
1505.33/1509.41 c GARBAGE COLLECT
1505.33/1509.41 c #Conflicts: 300000 | #Constraints: 79343
1505.33/1509.41 c #Conflicts: 301000 | #Constraints: 80343
1505.33/1509.41 c #Conflicts: 302000 | #Constraints: 81343
1505.33/1509.41 c #Conflicts: 303000 | #Constraints: 82343
1505.33/1509.41 c #Conflicts: 304000 | #Constraints: 83343
1505.33/1509.41 c #Conflicts: 305000 | #Constraints: 84343
1505.33/1509.41 c #Conflicts: 306000 | #Constraints: 85343
1505.33/1509.41 c #Conflicts: 307000 | #Constraints: 86343
1505.33/1509.41 c #Conflicts: 308000 | #Constraints: 87343
1505.33/1509.41 c #Conflicts: 309000 | #Constraints: 88343
1505.33/1509.41 c #Conflicts: 310000 | #Constraints: 89343
1505.33/1509.41 c INPROCESSING
1505.33/1509.41 c GARBAGE COLLECT
1505.33/1509.41 c #Conflicts: 311000 | #Constraints: 79344
1505.33/1509.41 c #Conflicts: 312000 | #Constraints: 80344
1505.33/1509.41 c #Conflicts: 313000 | #Constraints: 81344
1505.33/1509.41 c #Conflicts: 314000 | #Constraints: 82344
1505.33/1509.41 c #Conflicts: 315000 | #Constraints: 83344
1505.33/1509.41 c #Conflicts: 316000 | #Constraints: 84344
1505.33/1509.41 c #Conflicts: 317000 | #Constraints: 85344
1505.33/1509.41 c #Conflicts: 318000 | #Constraints: 86344
1505.33/1509.41 c #Conflicts: 319000 | #Constraints: 87344
1505.33/1509.41 c #Conflicts: 320000 | #Constraints: 88344
1505.33/1509.41 c #Conflicts: 321000 | #Constraints: 89344
1505.33/1509.41 c INPROCESSING
1505.33/1509.41 c GARBAGE COLLECT
1505.33/1509.41 c #Conflicts: 322000 | #Constraints: 79137
1505.33/1509.41 c #Conflicts: 323000 | #Constraints: 80137
1505.33/1509.41 c #Conflicts: 324000 | #Constraints: 81137
1505.33/1509.41 c #Conflicts: 325000 | #Constraints: 82137
1505.33/1509.41 c #Conflicts: 326000 | #Constraints: 83137
1505.33/1509.41 c #Conflicts: 327000 | #Constraints: 84137
1505.33/1509.41 c #Conflicts: 328000 | #Constraints: 85137
1505.33/1509.41 c #Conflicts: 329000 | #Constraints: 86137
1505.33/1509.41 c #Conflicts: 330000 | #Constraints: 87137
1505.33/1509.41 c #Conflicts: 331000 | #Constraints: 88137
1505.33/1509.41 c #Conflicts: 332000 | #Constraints: 89137
1505.33/1509.41 c #Conflicts: 333000 | #Constraints: 90137
1505.33/1509.41 c INPROCESSING
1505.33/1509.41 c GARBAGE COLLECT
1505.33/1509.41 c #Conflicts: 334000 | #Constraints: 79743
1505.33/1509.41 c #Conflicts: 335000 | #Constraints: 80743
1505.33/1509.41 c #Conflicts: 336000 | #Constraints: 81743
1505.33/1509.41 c #Conflicts: 337000 | #Constraints: 82743
1505.33/1509.41 c #Conflicts: 338000 | #Constraints: 83743
1505.33/1509.41 c #Conflicts: 339000 | #Constraints: 84743
1505.33/1509.41 c #Conflicts: 340000 | #Constraints: 85743
1505.33/1509.41 c #Conflicts: 341000 | #Constraints: 86743
1505.33/1509.41 c #Conflicts: 342000 | #Constraints: 87743
1505.33/1509.41 c #Conflicts: 343000 | #Constraints: 88743
1505.33/1509.41 c #Conflicts: 344000 | #Constraints: 89743
1505.33/1509.41 c #Conflicts: 345000 | #Constraints: 90743
1505.33/1509.41 c INPROCESSING
1505.33/1509.41 c GARBAGE COLLECT
1505.33/1509.41 c #Conflicts: 346000 | #Constraints: 80141
1505.33/1509.41 c #Conflicts: 347000 | #Constraints: 81141
1505.33/1509.41 c #Conflicts: 348000 | #Constraints: 82141
1505.33/1509.41 c #Conflicts: 349000 | #Constraints: 83141
1505.33/1509.41 c #Conflicts: 350000 | #Constraints: 84141
1505.33/1509.41 c #Conflicts: 351000 | #Constraints: 85141
1505.33/1509.41 c #Conflicts: 352000 | #Constraints: 86141
1505.33/1509.41 c #Conflicts: 353000 | #Constraints: 87141
1505.33/1509.41 c #Conflicts: 354000 | #Constraints: 88141
1505.33/1509.41 c #Conflicts: 355000 | #Constraints: 89141
1505.33/1509.41 c #Conflicts: 356000 | #Constraints: 90141
1505.33/1509.41 c #Conflicts: 357000 | #Constraints: 91141
1505.33/1509.41 c INPROCESSING
1505.33/1509.41 c GARBAGE COLLECT
1505.33/1509.41 c #Conflicts: 358000 | #Constraints: 80345
1505.33/1509.41 c #Conflicts: 359000 | #Constraints: 81345
1505.33/1509.41 c #Conflicts: 360000 | #Constraints: 82345
1505.33/1509.41 c #Conflicts: 361000 | #Constraints: 83345
1505.33/1509.41 c #Conflicts: 362000 | #Constraints: 84345
1505.33/1509.41 c #Conflicts: 363000 | #Constraints: 85345
1505.33/1509.41 c #Conflicts: 364000 | #Constraints: 86345
1505.33/1509.41 c #Conflicts: 365000 | #Constraints: 87345
1505.33/1509.41 c #Conflicts: 366000 | #Constraints: 88345
1505.33/1509.41 c #Conflicts: 367000 | #Constraints: 89345
1505.33/1509.41 c #Conflicts: 368000 | #Constraints: 90345
1505.33/1509.41 c #Conflicts: 369000 | #Constraints: 91345
1505.33/1509.41 c INPROCESSING
1505.33/1509.41 c GARBAGE COLLECT
1505.33/1509.41 c #Conflicts: 370000 | #Constraints: 80336
1505.33/1509.41 c #Conflicts: 371000 | #Constraints: 81336
1875.03/1880.16 c #Conflicts: 372000 | #Constraints: 82336
1875.03/1880.16 c #Conflicts: 373000 | #Constraints: 83336
1875.03/1880.16 c #Conflicts: 374000 | #Constraints: 84336
1875.03/1880.16 c #Conflicts: 375000 | #Constraints: 85336
1875.03/1880.16 c #Conflicts: 376000 | #Constraints: 86336
1875.03/1880.16 c #Conflicts: 377000 | #Constraints: 87336
1875.03/1880.16 c #Conflicts: 378000 | #Constraints: 88336
1875.03/1880.16 c #Conflicts: 379000 | #Constraints: 89336
1875.03/1880.16 c #Conflicts: 380000 | #Constraints: 90336
1875.03/1880.16 c #Conflicts: 381000 | #Constraints: 91336
1875.03/1880.16 c INPROCESSING
1875.03/1880.16 c GARBAGE COLLECT
1875.03/1880.16 c #Conflicts: 382000 | #Constraints: 80136
1875.03/1880.16 c #Conflicts: 383000 | #Constraints: 81136
1875.03/1880.16 c #Conflicts: 384000 | #Constraints: 82136
1875.03/1880.16 c #Conflicts: 385000 | #Constraints: 83136
1875.03/1880.16 c #Conflicts: 386000 | #Constraints: 84136
1875.03/1880.16 c #Conflicts: 387000 | #Constraints: 85136
1875.03/1880.16 c #Conflicts: 388000 | #Constraints: 86136
1875.03/1880.16 c #Conflicts: 389000 | #Constraints: 87136
1875.03/1880.16 c #Conflicts: 390000 | #Constraints: 88136
1875.03/1880.16 c #Conflicts: 391000 | #Constraints: 89136
1875.03/1880.16 c #Conflicts: 392000 | #Constraints: 90136
1875.03/1880.16 c #Conflicts: 393000 | #Constraints: 91136
1875.03/1880.16 c #Conflicts: 394000 | #Constraints: 92136
1875.03/1880.16 c INPROCESSING
1875.03/1880.16 c GARBAGE COLLECT
1875.03/1880.16 c #Conflicts: 395000 | #Constraints: 80734
1875.03/1880.16 c #Conflicts: 396000 | #Constraints: 81734
1875.03/1880.16 c #Conflicts: 397000 | #Constraints: 82734
1875.03/1880.16 c #Conflicts: 398000 | #Constraints: 83734
1875.03/1880.16 c #Conflicts: 399000 | #Constraints: 84734
1875.03/1880.16 c #Conflicts: 400000 | #Constraints: 85734
1875.03/1880.16 c #Conflicts: 401000 | #Constraints: 86734
1875.03/1880.16 c #Conflicts: 402000 | #Constraints: 87734
1875.03/1880.16 c #Conflicts: 403000 | #Constraints: 88734
1875.03/1880.16 c #Conflicts: 404000 | #Constraints: 89734
1875.03/1880.16 c #Conflicts: 405000 | #Constraints: 90734
1875.03/1880.16 c #Conflicts: 406000 | #Constraints: 91734
1875.03/1880.16 c #Conflicts: 407000 | #Constraints: 92734
1875.03/1880.16 c INPROCESSING
1875.03/1880.16 c GARBAGE COLLECT
1875.03/1880.16 c #Conflicts: 408000 | #Constraints: 81132
1875.03/1880.16 c #Conflicts: 409000 | #Constraints: 82132
1875.03/1880.16 c #Conflicts: 410000 | #Constraints: 83132
1875.03/1880.16 c #Conflicts: 411000 | #Constraints: 84132
1875.03/1880.16 c #Conflicts: 412000 | #Constraints: 85132
1875.03/1880.16 c #Conflicts: 413000 | #Constraints: 86132
1875.03/1880.16 c #Conflicts: 414000 | #Constraints: 87132
1875.03/1880.16 c #Conflicts: 415000 | #Constraints: 88132
1875.03/1880.16 c #Conflicts: 416000 | #Constraints: 89132
1875.03/1880.16 c #Conflicts: 417000 | #Constraints: 90132
1875.03/1880.16 c #Conflicts: 418000 | #Constraints: 91132
1875.03/1880.16 c #Conflicts: 419000 | #Constraints: 92132
1875.03/1880.16 c #Conflicts: 420000 | #Constraints: 93132
1875.03/1880.16 c INPROCESSING
1875.03/1880.16 c GARBAGE COLLECT
1875.03/1880.16 c #Conflicts: 421000 | #Constraints: 81339
1875.03/1880.16 c #Conflicts: 422000 | #Constraints: 82339
1875.03/1880.16 c #Conflicts: 423000 | #Constraints: 83339
1875.03/1880.16 c #Conflicts: 424000 | #Constraints: 84339
1875.03/1880.16 c #Conflicts: 425000 | #Constraints: 85339
1875.03/1880.16 c #Conflicts: 426000 | #Constraints: 86339
1875.03/1880.16 c #Conflicts: 427000 | #Constraints: 87339
1875.03/1880.16 c #Conflicts: 428000 | #Constraints: 88339
1875.03/1880.16 c #Conflicts: 429000 | #Constraints: 89339
1875.03/1880.16 c #Conflicts: 430000 | #Constraints: 90339
1875.03/1880.16 c #Conflicts: 431000 | #Constraints: 91339
1875.03/1880.16 c #Conflicts: 432000 | #Constraints: 92339
1875.03/1880.16 c #Conflicts: 433000 | #Constraints: 93339
1875.03/1880.16 c INPROCESSING
1875.03/1880.16 c GARBAGE COLLECT
1875.03/1880.16 c #Conflicts: 434000 | #Constraints: 81338
1875.03/1880.16 c #Conflicts: 435000 | #Constraints: 82338
1875.03/1880.16 c #Conflicts: 436000 | #Constraints: 83338
1875.03/1880.16 c #Conflicts: 437000 | #Constraints: 84338
1875.03/1880.16 c #Conflicts: 438000 | #Constraints: 85338
1875.03/1880.16 c #Conflicts: 439000 | #Constraints: 86338
1875.03/1880.16 c #Conflicts: 440000 | #Constraints: 87338
1875.03/1880.16 c #Conflicts: 441000 | #Constraints: 88338
1875.03/1880.16 c #Conflicts: 442000 | #Constraints: 89338
1875.03/1880.16 c #Conflicts: 443000 | #Constraints: 90338
1875.03/1880.16 c #Conflicts: 444000 | #Constraints: 91338
1875.03/1880.16 c #Conflicts: 445000 | #Constraints: 92338
1875.03/1880.16 c #Conflicts: 446000 | #Constraints: 93338
1875.03/1880.16 c INPROCESSING
1875.03/1880.16 c GARBAGE COLLECT
2260.47/2266.68 c #Conflicts: 447000 | #Constraints: 81137
2260.47/2266.68 c #Conflicts: 448000 | #Constraints: 82137
2260.47/2266.68 c #Conflicts: 449000 | #Constraints: 83137
2260.47/2266.68 c #Conflicts: 450000 | #Constraints: 84137
2260.47/2266.68 c #Conflicts: 451000 | #Constraints: 85137
2260.47/2266.68 c #Conflicts: 452000 | #Constraints: 86137
2260.47/2266.68 c #Conflicts: 453000 | #Constraints: 87137
2260.47/2266.68 c #Conflicts: 454000 | #Constraints: 88137
2260.47/2266.68 c #Conflicts: 455000 | #Constraints: 89137
2260.47/2266.68 c #Conflicts: 456000 | #Constraints: 90137
2260.47/2266.68 c #Conflicts: 457000 | #Constraints: 91137
2260.47/2266.68 c #Conflicts: 458000 | #Constraints: 92137
2260.47/2266.68 c #Conflicts: 459000 | #Constraints: 93137
2260.47/2266.68 c #Conflicts: 460000 | #Constraints: 94137
2260.47/2266.68 c INPROCESSING
2260.47/2266.68 c GARBAGE COLLECT
2260.47/2266.68 c #Conflicts: 461000 | #Constraints: 81740
2260.47/2266.68 c #Conflicts: 462000 | #Constraints: 82740
2260.47/2266.68 c #Conflicts: 463000 | #Constraints: 83740
2260.47/2266.68 c #Conflicts: 464000 | #Constraints: 84740
2260.47/2266.68 c #Conflicts: 465000 | #Constraints: 85740
2260.47/2266.68 c #Conflicts: 466000 | #Constraints: 86740
2260.47/2266.68 c #Conflicts: 467000 | #Constraints: 87740
2260.47/2266.68 c #Conflicts: 468000 | #Constraints: 88740
2260.47/2266.68 c #Conflicts: 469000 | #Constraints: 89740
2260.47/2266.68 c #Conflicts: 470000 | #Constraints: 90740
2260.47/2266.68 c #Conflicts: 471000 | #Constraints: 91740
2260.47/2266.68 c #Conflicts: 472000 | #Constraints: 92740
2260.47/2266.68 c #Conflicts: 473000 | #Constraints: 93740
2260.47/2266.68 c #Conflicts: 474000 | #Constraints: 94740
2260.47/2266.68 c INPROCESSING
2260.47/2266.68 c GARBAGE COLLECT
2260.47/2266.68 c #Conflicts: 475000 | #Constraints: 82150
2260.47/2266.68 c #Conflicts: 476000 | #Constraints: 83150
2260.47/2266.68 c #Conflicts: 477000 | #Constraints: 84150
2260.47/2266.68 c #Conflicts: 478000 | #Constraints: 85150
2260.47/2266.68 c #Conflicts: 479000 | #Constraints: 86150
2260.47/2266.68 c #Conflicts: 480000 | #Constraints: 87150
2260.47/2266.68 c #Conflicts: 481000 | #Constraints: 88150
2260.47/2266.68 c #Conflicts: 482000 | #Constraints: 89150
2260.47/2266.68 c #Conflicts: 483000 | #Constraints: 90150
2260.47/2266.68 c #Conflicts: 484000 | #Constraints: 91150
2260.47/2266.68 c #Conflicts: 485000 | #Constraints: 92150
2260.47/2266.68 c #Conflicts: 486000 | #Constraints: 93150
2260.47/2266.68 c #Conflicts: 487000 | #Constraints: 94150
2260.47/2266.68 c #Conflicts: 488000 | #Constraints: 95150
2260.47/2266.68 c INPROCESSING
2260.47/2266.68 c GARBAGE COLLECT
2260.47/2266.68 c #Conflicts: 489000 | #Constraints: 82347
2260.47/2266.68 c #Conflicts: 490000 | #Constraints: 83347
2260.47/2266.68 c #Conflicts: 491000 | #Constraints: 84347
2260.47/2266.68 c #Conflicts: 492000 | #Constraints: 85347
2260.47/2266.68 c #Conflicts: 493000 | #Constraints: 86347
2260.47/2266.68 c #Conflicts: 494000 | #Constraints: 87347
2260.47/2266.68 c #Conflicts: 495000 | #Constraints: 88347
2260.47/2266.68 c #Conflicts: 496000 | #Constraints: 89347
2260.47/2266.68 c #Conflicts: 497000 | #Constraints: 90347
2260.47/2266.68 c #Conflicts: 498000 | #Constraints: 91347
2260.47/2266.68 c #Conflicts: 499000 | #Constraints: 92347
2260.47/2266.68 c #Conflicts: 500000 | #Constraints: 93347
2260.47/2266.68 c #Conflicts: 501000 | #Constraints: 94347
2260.47/2266.68 c #Conflicts: 502000 | #Constraints: 95347
2260.47/2266.68 c INPROCESSING
2260.47/2266.68 c GARBAGE COLLECT
2260.47/2266.68 c #Conflicts: 503000 | #Constraints: 82337
2260.47/2266.68 c #Conflicts: 504000 | #Constraints: 83337
2260.47/2266.68 c #Conflicts: 505000 | #Constraints: 84337
2260.47/2266.68 c #Conflicts: 506000 | #Constraints: 85337
2260.47/2266.68 c #Conflicts: 507000 | #Constraints: 86337
2260.47/2266.68 c #Conflicts: 508000 | #Constraints: 87337
2260.47/2266.68 c #Conflicts: 509000 | #Constraints: 88337
2260.47/2266.68 c #Conflicts: 510000 | #Constraints: 89337
2260.47/2266.68 c #Conflicts: 511000 | #Constraints: 90337
2260.47/2266.68 c #Conflicts: 512000 | #Constraints: 91337
2260.47/2266.68 c #Conflicts: 513000 | #Constraints: 92337
2260.47/2266.68 c #Conflicts: 514000 | #Constraints: 93337
2260.47/2266.68 c #Conflicts: 515000 | #Constraints: 94337
2260.47/2266.68 c #Conflicts: 516000 | #Constraints: 95337
2260.47/2266.68 c INPROCESSING
2260.47/2266.68 c GARBAGE COLLECT
2260.47/2266.68 c #Conflicts: 517000 | #Constraints: 82142
2260.47/2266.68 c #Conflicts: 518000 | #Constraints: 83142
2260.47/2266.68 c #Conflicts: 519000 | #Constraints: 84142
2260.47/2266.68 c #Conflicts: 520000 | #Constraints: 85142
2260.47/2266.68 c #Conflicts: 521000 | #Constraints: 86142
2260.47/2266.68 c #Conflicts: 522000 | #Constraints: 87142
2645.94/2653.16 c #Conflicts: 523000 | #Constraints: 88142
2645.94/2653.16 c #Conflicts: 524000 | #Constraints: 89142
2645.94/2653.16 c #Conflicts: 525000 | #Constraints: 90142
2645.94/2653.16 c #Conflicts: 526000 | #Constraints: 91142
2645.94/2653.16 c #Conflicts: 527000 | #Constraints: 92142
2645.94/2653.16 c #Conflicts: 528000 | #Constraints: 93142
2645.94/2653.16 c #Conflicts: 529000 | #Constraints: 94142
2645.94/2653.16 c #Conflicts: 530000 | #Constraints: 95142
2645.94/2653.16 c #Conflicts: 531000 | #Constraints: 96142
2645.94/2653.16 c INPROCESSING
2645.94/2653.16 c GARBAGE COLLECT
2645.94/2653.16 c #Conflicts: 532000 | #Constraints: 82745
2645.94/2653.16 c #Conflicts: 533000 | #Constraints: 83745
2645.94/2653.16 c #Conflicts: 534000 | #Constraints: 84745
2645.94/2653.16 c #Conflicts: 535000 | #Constraints: 85745
2645.94/2653.16 c #Conflicts: 536000 | #Constraints: 86745
2645.94/2653.16 c #Conflicts: 537000 | #Constraints: 87745
2645.94/2653.16 c #Conflicts: 538000 | #Constraints: 88745
2645.94/2653.16 c #Conflicts: 539000 | #Constraints: 89745
2645.94/2653.16 c #Conflicts: 540000 | #Constraints: 90745
2645.94/2653.16 c #Conflicts: 541000 | #Constraints: 91745
2645.94/2653.16 c #Conflicts: 542000 | #Constraints: 92745
2645.94/2653.16 c #Conflicts: 543000 | #Constraints: 93745
2645.94/2653.16 c #Conflicts: 544000 | #Constraints: 94745
2645.94/2653.16 c #Conflicts: 545000 | #Constraints: 95745
2645.94/2653.16 c #Conflicts: 546000 | #Constraints: 96745
2645.94/2653.16 c INPROCESSING
2645.94/2653.16 c GARBAGE COLLECT
2645.94/2653.16 c #Conflicts: 547000 | #Constraints: 83139
2645.94/2653.16 c #Conflicts: 548000 | #Constraints: 84139
2645.94/2653.16 c #Conflicts: 549000 | #Constraints: 85139
2645.94/2653.16 c #Conflicts: 550000 | #Constraints: 86139
2645.94/2653.16 c #Conflicts: 551000 | #Constraints: 87139
2645.94/2653.16 c #Conflicts: 552000 | #Constraints: 88139
2645.94/2653.16 c #Conflicts: 553000 | #Constraints: 89139
2645.94/2653.16 c #Conflicts: 554000 | #Constraints: 90139
2645.94/2653.16 c #Conflicts: 555000 | #Constraints: 91139
2645.94/2653.16 c #Conflicts: 556000 | #Constraints: 92139
2645.94/2653.16 c #Conflicts: 557000 | #Constraints: 93139
2645.94/2653.16 c #Conflicts: 558000 | #Constraints: 94139
2645.94/2653.16 c #Conflicts: 559000 | #Constraints: 95139
2645.94/2653.16 c #Conflicts: 560000 | #Constraints: 96139
2645.94/2653.16 c #Conflicts: 561000 | #Constraints: 97139
2645.94/2653.16 c INPROCESSING
2645.94/2653.16 c GARBAGE COLLECT
2645.94/2653.16 c #Conflicts: 562000 | #Constraints: 83341
2645.94/2653.16 c #Conflicts: 563000 | #Constraints: 84341
2645.94/2653.16 c #Conflicts: 564000 | #Constraints: 85341
2645.94/2653.16 c #Conflicts: 565000 | #Constraints: 86341
2645.94/2653.16 c #Conflicts: 566000 | #Constraints: 87341
2645.94/2653.16 c #Conflicts: 567000 | #Constraints: 88341
2645.94/2653.16 c #Conflicts: 568000 | #Constraints: 89341
2645.94/2653.16 c #Conflicts: 569000 | #Constraints: 90341
2645.94/2653.16 c #Conflicts: 570000 | #Constraints: 91341
2645.94/2653.16 c #Conflicts: 571000 | #Constraints: 92341
2645.94/2653.16 c #Conflicts: 572000 | #Constraints: 93341
2645.94/2653.16 c #Conflicts: 573000 | #Constraints: 94341
2645.94/2653.16 c #Conflicts: 574000 | #Constraints: 95341
2645.94/2653.16 c #Conflicts: 575000 | #Constraints: 96341
2645.94/2653.16 c #Conflicts: 576000 | #Constraints: 97341
2645.94/2653.16 c INPROCESSING
2645.94/2653.16 c GARBAGE COLLECT
2645.94/2653.16 c #Conflicts: 577000 | #Constraints: 83332
2645.94/2653.16 c #Conflicts: 578000 | #Constraints: 84332
2645.94/2653.16 c #Conflicts: 579000 | #Constraints: 85332
2645.94/2653.16 c #Conflicts: 580000 | #Constraints: 86332
2645.94/2653.16 c #Conflicts: 581000 | #Constraints: 87332
2645.94/2653.16 c #Conflicts: 582000 | #Constraints: 88332
2645.94/2653.16 c #Conflicts: 583000 | #Constraints: 89332
2645.94/2653.16 c #Conflicts: 584000 | #Constraints: 90332
2645.94/2653.16 c #Conflicts: 585000 | #Constraints: 91332
2645.94/2653.16 c #Conflicts: 586000 | #Constraints: 92332
2645.94/2653.16 c #Conflicts: 587000 | #Constraints: 93332
2645.94/2653.16 c #Conflicts: 588000 | #Constraints: 94332
2645.94/2653.16 c #Conflicts: 589000 | #Constraints: 95332
2645.94/2653.16 c #Conflicts: 590000 | #Constraints: 96332
2645.94/2653.16 c #Conflicts: 591000 | #Constraints: 97332
2645.94/2653.16 c INPROCESSING
2645.94/2653.16 c GARBAGE COLLECT
2645.94/2653.16 c #Conflicts: 592000 | #Constraints: 83143
2645.94/2653.16 c #Conflicts: 593000 | #Constraints: 84143
2645.94/2653.16 c #Conflicts: 594000 | #Constraints: 85143
2645.94/2653.16 c #Conflicts: 595000 | #Constraints: 86143
2645.94/2653.16 c #Conflicts: 596000 | #Constraints: 87143
2645.94/2653.16 c #Conflicts: 597000 | #Constraints: 88143
3049.24/3057.55 c #Conflicts: 598000 | #Constraints: 89143
3049.24/3057.55 c #Conflicts: 599000 | #Constraints: 90143
3049.24/3057.55 c #Conflicts: 600000 | #Constraints: 91143
3049.24/3057.55 c #Conflicts: 601000 | #Constraints: 92143
3049.24/3057.55 c #Conflicts: 602000 | #Constraints: 93143
3049.24/3057.55 c #Conflicts: 603000 | #Constraints: 94143
3049.24/3057.55 c #Conflicts: 604000 | #Constraints: 95143
3049.24/3057.55 c #Conflicts: 605000 | #Constraints: 96143
3049.24/3057.55 c #Conflicts: 606000 | #Constraints: 97143
3049.24/3057.55 c #Conflicts: 607000 | #Constraints: 98143
3049.24/3057.55 c INPROCESSING
3049.24/3057.55 c GARBAGE COLLECT
3049.24/3057.55 c #Conflicts: 608000 | #Constraints: 83746
3049.24/3057.55 c #Conflicts: 609000 | #Constraints: 84746
3049.24/3057.55 c #Conflicts: 610000 | #Constraints: 85746
3049.24/3057.55 c #Conflicts: 611000 | #Constraints: 86746
3049.24/3057.55 c #Conflicts: 612000 | #Constraints: 87746
3049.24/3057.55 c #Conflicts: 613000 | #Constraints: 88746
3049.24/3057.55 c #Conflicts: 614000 | #Constraints: 89746
3049.24/3057.55 c #Conflicts: 615000 | #Constraints: 90746
3049.24/3057.55 c #Conflicts: 616000 | #Constraints: 91746
3049.24/3057.55 c #Conflicts: 617000 | #Constraints: 92746
3049.24/3057.55 c #Conflicts: 618000 | #Constraints: 93746
3049.24/3057.55 c #Conflicts: 619000 | #Constraints: 94746
3049.24/3057.55 c #Conflicts: 620000 | #Constraints: 95746
3049.24/3057.55 c #Conflicts: 621000 | #Constraints: 96746
3049.24/3057.55 c #Conflicts: 622000 | #Constraints: 97746
3049.24/3057.55 c #Conflicts: 623000 | #Constraints: 98746
3049.24/3057.55 c INPROCESSING
3049.24/3057.55 c GARBAGE COLLECT
3049.24/3057.55 c #Conflicts: 624000 | #Constraints: 84144
3049.24/3057.55 c #Conflicts: 625000 | #Constraints: 85144
3049.24/3057.55 c #Conflicts: 626000 | #Constraints: 86144
3049.24/3057.55 c #Conflicts: 627000 | #Constraints: 87144
3049.24/3057.55 c #Conflicts: 628000 | #Constraints: 88144
3049.24/3057.55 c #Conflicts: 629000 | #Constraints: 89144
3049.24/3057.55 c #Conflicts: 630000 | #Constraints: 90144
3049.24/3057.55 c #Conflicts: 631000 | #Constraints: 91144
3049.24/3057.55 c #Conflicts: 632000 | #Constraints: 92144
3049.24/3057.55 c #Conflicts: 633000 | #Constraints: 93144
3049.24/3057.55 c #Conflicts: 634000 | #Constraints: 94144
3049.24/3057.55 c #Conflicts: 635000 | #Constraints: 95144
3049.24/3057.55 c #Conflicts: 636000 | #Constraints: 96144
3049.24/3057.55 c #Conflicts: 637000 | #Constraints: 97144
3049.24/3057.55 c #Conflicts: 638000 | #Constraints: 98144
3049.24/3057.55 c #Conflicts: 639000 | #Constraints: 99144
3049.24/3057.55 c INPROCESSING
3049.24/3057.55 c GARBAGE COLLECT
3049.24/3057.55 c #Conflicts: 640000 | #Constraints: 84341
3049.24/3057.55 c #Conflicts: 641000 | #Constraints: 85341
3049.24/3057.55 c #Conflicts: 642000 | #Constraints: 86341
3049.24/3057.55 c #Conflicts: 643000 | #Constraints: 87341
3049.24/3057.55 c #Conflicts: 644000 | #Constraints: 88341
3049.24/3057.55 c #Conflicts: 645000 | #Constraints: 89341
3049.24/3057.55 c #Conflicts: 646000 | #Constraints: 90341
3049.24/3057.55 c #Conflicts: 647000 | #Constraints: 91341
3049.24/3057.55 c #Conflicts: 648000 | #Constraints: 92341
3049.24/3057.55 c #Conflicts: 649000 | #Constraints: 93341
3049.24/3057.55 c #Conflicts: 650000 | #Constraints: 94341
3049.24/3057.55 c #Conflicts: 651000 | #Constraints: 95341
3049.24/3057.55 c #Conflicts: 652000 | #Constraints: 96341
3049.24/3057.55 c #Conflicts: 653000 | #Constraints: 97341
3049.24/3057.55 c #Conflicts: 654000 | #Constraints: 98341
3049.24/3057.55 c #Conflicts: 655000 | #Constraints: 99341
3049.24/3057.55 c INPROCESSING
3049.24/3057.55 c GARBAGE COLLECT
3049.24/3057.55 c #Conflicts: 656000 | #Constraints: 84345
3049.24/3057.55 c #Conflicts: 657000 | #Constraints: 85345
3049.24/3057.55 c #Conflicts: 658000 | #Constraints: 86345
3049.24/3057.55 c #Conflicts: 659000 | #Constraints: 87345
3049.24/3057.55 c #Conflicts: 660000 | #Constraints: 88345
3049.24/3057.55 c #Conflicts: 661000 | #Constraints: 89345
3049.24/3057.55 c #Conflicts: 662000 | #Constraints: 90345
3049.24/3057.55 c #Conflicts: 663000 | #Constraints: 91345
3049.24/3057.55 c #Conflicts: 664000 | #Constraints: 92345
3049.24/3057.55 c #Conflicts: 665000 | #Constraints: 93345
3049.24/3057.55 c #Conflicts: 666000 | #Constraints: 94345
3049.24/3057.55 c #Conflicts: 667000 | #Constraints: 95345
3049.24/3057.55 c #Conflicts: 668000 | #Constraints: 96345
3049.24/3057.55 c #Conflicts: 669000 | #Constraints: 97345
3049.24/3057.55 c #Conflicts: 670000 | #Constraints: 98345
3049.24/3057.55 c #Conflicts: 671000 | #Constraints: 99345
3049.24/3057.55 c INPROCESSING
3049.24/3057.55 c GARBAGE COLLECT
3049.24/3057.55 c #Conflicts: 672000 | #Constraints: 84140
3049.24/3057.55 c #Conflicts: 673000 | #Constraints: 85140
3453.06/3462.40 c #Conflicts: 674000 | #Constraints: 86140
3453.06/3462.40 c #Conflicts: 675000 | #Constraints: 87140
3453.06/3462.40 c #Conflicts: 676000 | #Constraints: 88140
3453.06/3462.40 c #Conflicts: 677000 | #Constraints: 89140
3453.06/3462.40 c #Conflicts: 678000 | #Constraints: 90140
3453.06/3462.40 c #Conflicts: 679000 | #Constraints: 91140
3453.06/3462.40 c #Conflicts: 680000 | #Constraints: 92140
3453.06/3462.40 c #Conflicts: 681000 | #Constraints: 93140
3453.06/3462.40 c #Conflicts: 682000 | #Constraints: 94140
3453.06/3462.40 c #Conflicts: 683000 | #Constraints: 95140
3453.06/3462.40 c #Conflicts: 684000 | #Constraints: 96140
3453.06/3462.40 c #Conflicts: 685000 | #Constraints: 97140
3453.06/3462.40 c #Conflicts: 686000 | #Constraints: 98140
3453.06/3462.40 c #Conflicts: 687000 | #Constraints: 99140
3453.06/3462.40 c #Conflicts: 688000 | #Constraints: 100140
3453.06/3462.40 c INPROCESSING
3453.06/3462.40 c GARBAGE COLLECT
3453.06/3462.40 c #Conflicts: 689000 | #Constraints: 84740
3453.06/3462.40 c #Conflicts: 690000 | #Constraints: 85740
3453.06/3462.40 c #Conflicts: 691000 | #Constraints: 86740
3453.06/3462.40 c #Conflicts: 692000 | #Constraints: 87740
3453.06/3462.40 c #Conflicts: 693000 | #Constraints: 88740
3453.06/3462.40 c #Conflicts: 694000 | #Constraints: 89740
3453.06/3462.40 c #Conflicts: 695000 | #Constraints: 90740
3453.06/3462.40 c #Conflicts: 696000 | #Constraints: 91740
3453.06/3462.40 c #Conflicts: 697000 | #Constraints: 92740
3453.06/3462.40 c #Conflicts: 698000 | #Constraints: 93740
3453.06/3462.40 c #Conflicts: 699000 | #Constraints: 94740
3453.06/3462.40 c #Conflicts: 700000 | #Constraints: 95740
3453.06/3462.40 c #Conflicts: 701000 | #Constraints: 96740
3453.06/3462.40 c #Conflicts: 702000 | #Constraints: 97740
3453.06/3462.40 c #Conflicts: 703000 | #Constraints: 98740
3453.06/3462.40 c #Conflicts: 704000 | #Constraints: 99740
3453.06/3462.40 c #Conflicts: 705000 | #Constraints: 100740
3453.06/3462.40 c INPROCESSING
3453.06/3462.40 c GARBAGE COLLECT
3453.06/3462.40 c #Conflicts: 706000 | #Constraints: 85139
3453.06/3462.40 c #Conflicts: 707000 | #Constraints: 86139
3453.06/3462.40 c #Conflicts: 708000 | #Constraints: 87139
3453.06/3462.40 c #Conflicts: 709000 | #Constraints: 88139
3453.06/3462.40 c #Conflicts: 710000 | #Constraints: 89139
3453.06/3462.40 c #Conflicts: 711000 | #Constraints: 90139
3453.06/3462.40 c #Conflicts: 712000 | #Constraints: 91139
3453.06/3462.40 c #Conflicts: 713000 | #Constraints: 92139
3453.06/3462.40 c #Conflicts: 714000 | #Constraints: 93139
3453.06/3462.40 c #Conflicts: 715000 | #Constraints: 94139
3453.06/3462.40 c #Conflicts: 716000 | #Constraints: 95139
3453.06/3462.40 c #Conflicts: 717000 | #Constraints: 96139
3453.06/3462.40 c #Conflicts: 718000 | #Constraints: 97139
3453.06/3462.40 c #Conflicts: 719000 | #Constraints: 98139
3453.06/3462.40 c #Conflicts: 720000 | #Constraints: 99139
3453.06/3462.40 c #Conflicts: 721000 | #Constraints: 100139
3453.06/3462.40 c #Conflicts: 722000 | #Constraints: 101139
3453.06/3462.40 c INPROCESSING
3453.06/3462.40 c GARBAGE COLLECT
3453.06/3462.40 c #Conflicts: 723000 | #Constraints: 85340
3453.06/3462.40 c #Conflicts: 724000 | #Constraints: 86340
3453.06/3462.40 c #Conflicts: 725000 | #Constraints: 87340
3453.06/3462.40 c #Conflicts: 726000 | #Constraints: 88340
3453.06/3462.40 c #Conflicts: 727000 | #Constraints: 89340
3453.06/3462.40 c #Conflicts: 728000 | #Constraints: 90340
3453.06/3462.40 c #Conflicts: 729000 | #Constraints: 91340
3453.06/3462.40 c #Conflicts: 730000 | #Constraints: 92340
3453.06/3462.40 c #Conflicts: 731000 | #Constraints: 93340
3453.06/3462.40 c #Conflicts: 732000 | #Constraints: 94340
3453.06/3462.40 c #Conflicts: 733000 | #Constraints: 95340
3453.06/3462.40 c #Conflicts: 734000 | #Constraints: 96340
3453.06/3462.40 c #Conflicts: 735000 | #Constraints: 97340
3453.06/3462.40 c #Conflicts: 736000 | #Constraints: 98340
3453.06/3462.40 c #Conflicts: 737000 | #Constraints: 99340
3453.06/3462.40 c #Conflicts: 738000 | #Constraints: 100340
3453.06/3462.40 c #Conflicts: 739000 | #Constraints: 101340
3453.06/3462.40 c INPROCESSING
3453.06/3462.40 c GARBAGE COLLECT
3453.06/3462.40 c #Conflicts: 740000 | #Constraints: 85338
3453.06/3462.40 c #Conflicts: 741000 | #Constraints: 86338
3453.06/3462.40 c #Conflicts: 742000 | #Constraints: 87338
3453.06/3462.40 c #Conflicts: 743000 | #Constraints: 88338
3453.06/3462.40 c #Conflicts: 744000 | #Constraints: 89338
3453.06/3462.40 c #Conflicts: 745000 | #Constraints: 90338
3453.06/3462.40 c #Conflicts: 746000 | #Constraints: 91338
3453.06/3462.40 c #Conflicts: 747000 | #Constraints: 92338
3453.06/3462.40 c #Conflicts: 748000 | #Constraints: 93338
3453.06/3462.40 c #Conflicts: 749000 | #Constraints: 94338
3600.05/3609.80 c #Conflicts: 750000 | #Constraints: 95338
3600.05/3609.80 c #Conflicts: 751000 | #Constraints: 96338
3600.05/3609.80 c #Conflicts: 752000 | #Constraints: 97338
3600.05/3609.80 c #Conflicts: 753000 | #Constraints: 98338
3600.05/3609.80 c #Conflicts: 754000 | #Constraints: 99338
3600.05/3609.80 c #Conflicts: 755000 | #Constraints: 100338
3600.05/3609.80 c #Conflicts: 756000 | #Constraints: 101338
3600.05/3609.80 c INPROCESSING
3600.05/3609.80 c GARBAGE COLLECT
3600.05/3609.80 c #Conflicts: 757000 | #Constraints: 85136
3600.05/3609.80 c #Conflicts: 758000 | #Constraints: 86136
3600.05/3609.80 c #Conflicts: 759000 | #Constraints: 87136
3600.05/3609.80 c #Conflicts: 760000 | #Constraints: 88136
3600.05/3609.80 c #Conflicts: 761000 | #Constraints: 89136
3600.05/3609.80 c #Conflicts: 762000 | #Constraints: 90136
3600.05/3609.80 c #Conflicts: 763000 | #Constraints: 91136
3600.05/3609.80 c #Conflicts: 764000 | #Constraints: 92136
3600.05/3609.80 c #Conflicts: 765000 | #Constraints: 93136
3600.05/3609.80 c #Conflicts: 766000 | #Constraints: 94136
3600.05/3609.80 c #Conflicts: 767000 | #Constraints: 95136
3600.05/3609.80 c #Conflicts: 768000 | #Constraints: 96136
3600.05/3609.80 c #Conflicts: 769000 | #Constraints: 97136
3600.05/3609.80 c #Conflicts: 770000 | #Constraints: 98136
3600.05/3609.80 c #Conflicts: 771000 | #Constraints: 99136
3600.05/3609.80 c #Conflicts: 772000 | #Constraints: 100136
3600.05/3609.80 c #Conflicts: 773000 | #Constraints: 101136
3600.05/3609.80 c #Conflicts: 774000 | #Constraints: 102136
3600.05/3609.80 c INPROCESSING
3600.05/3609.80 c GARBAGE COLLECT
3600.05/3609.80 c #Conflicts: 775000 | #Constraints: 85739
3600.05/3609.80 c cpu time 3560.35 s
3600.05/3609.80 c deterministic time 1 1.00e+00
3600.05/3609.80 c optimization time 3559.36 s
3600.05/3609.80 c total solve time 0 s
3600.05/3609.80 c core-guided solve time 0 s
3600.05/3609.80 c propagation time 0.027322 s
3600.05/3609.80 c conflict analysis time 0 s
3600.05/3609.80 c propagations 0
3600.05/3609.80 c resolve steps 0
3600.05/3609.80 c decisions 0
3600.05/3609.80 c conflicts 0
3600.05/3609.80 c restarts 0
3600.05/3609.80 c inprocessing phases 0
3600.05/3609.80 c garbage collections 0 ,( -nan )
3600.05/3609.80 c input clauses 65280 ,( 100.00 )
3600.05/3609.80 c input cardinalities 0 ,( 0.00 )
3600.05/3609.80 c input general constraints 0 ,( 0.00 )
3600.05/3609.80 c input average constraint length 54.71
3600.05/3609.80 c input average constraint degree 1.00
3600.05/3609.80 c learned clauses 0 ,( 0.00 )
3600.05/3609.80 c learned cardinalities 0 ,( 0.00 )
3600.05/3609.80 c learned general constraints 0 ,( 0.00 )
3600.05/3609.80 c learned average constraint length 0.00
3600.05/3609.80 c learned average constraint degree 0.00
3600.05/3609.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.05/3609.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.05/3609.80 c watched constraints 0 ,( -nan )
3600.05/3609.80 c counting constraints 0 ,( -nan )
3600.05/3609.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.05/3609.80 c gcd simplifications 0
3600.05/3609.80 c detected cardinalities 0
3600.05/3609.80 c weakened non-implied lits 0
3600.05/3609.80 c weakened non-implying lits 0
3600.05/3609.80 c original variables 7840
3600.05/3609.80 c clausal propagations 0
3600.05/3609.80 c cardinality propagations 0
3600.05/3609.80 c watched propagations 0
3600.05/3609.80 c counting propagations 0
3600.05/3609.80 c watch lookups 0
3600.05/3609.80 c watch backjump lookups 0
3600.05/3609.80 c watch checks 0
3600.05/3609.80 c propagation checks 0
3600.05/3609.80 c constraint additions 0
3600.05/3609.80 c trail pops 0
3600.05/3609.80 c formula constraints 65280
3600.05/3609.80 c learned constraints 0
3600.05/3609.80 c bound constraints 0
3600.05/3609.80 c core-guided constraints 0
3600.05/3609.80 c encountered formula constraints 0
3600.05/3609.80 c encountered learned constraints 0
3600.05/3609.80 c encountered bound constraints 0
3600.05/3609.80 c encountered core-guided constraints 0
3600.05/3609.80 c LP total time 0 s
3600.05/3609.80 c LP solve time 0 s
3600.05/3609.80 c LP constraints added 0
3600.05/3609.80 c LP constraints removed 0
3600.05/3609.80 c LP pivots internal 0
3600.05/3609.80 c LP pivots root 0
3600.05/3609.80 c LP calls 0
3600.05/3609.80 c LP optimalities 0
3600.05/3609.80 c LP no pivot count 0
3600.05/3609.80 c LP infeasibilities 0
3600.05/3609.80 c LP valid Farkas constraints 0
3600.05/3609.80 c LP learned Farkas constraints 0
3600.05/3609.80 c LP basis resets 0
3600.05/3609.80 c LP cycling count 0
3600.05/3609.80 c LP singular count 0
3600.05/3609.80 c LP no primal count 0
3600.05/3609.80 c LP no farkas count 0
3600.05/3609.80 c LP other issue count 0
3600.05/3609.80 c LP Gomory cuts 0
3600.05/3609.80 c LP learned cuts 0
3600.05/3609.80 c LP deleted cuts 0
3600.05/3609.80 c LP encountered Gomory constraints 0
3600.05/3609.80 c LP encountered Farkas constraints 0
3600.05/3609.80 c LP encountered learned Farkas constraints 0
3600.05/3609.80 c CG auxiliary variables introduced 0
3600.05/3609.80 c CG solutions found 0
3600.05/3609.80 c CG cores constructed 0
3600.05/3609.80 c CG core cardinality constraints returned 0
3600.05/3609.80 c CG unit cores 0
3600.05/3609.80 c CG single cores 0
3600.05/3609.80 c CG blocks removed during cardinality reduction 0
3600.05/3609.80 c CG first core best 0
3600.05/3609.80 c CG decision core best 0
3600.05/3609.80 c CG core reduction tie 0
3600.05/3609.80 c CG core degree average 0.00
3600.05/3609.80 c CG core slack average 0.00
3600.05/3609.80 c CG core upper bound improvements 0
3600.05/3609.80 c STR number of successful calls 0
3600.05/3609.80 c STR number of unsuccessful calls 0
3600.05/3609.80 c STR number of inconclusive calls 0
3600.05/3609.80 c STR number of successful attempts 0
3600.05/3609.80 c STR number of unsuccessful attempts 0
3600.05/3609.80 c STR number of inconclusive attempts 0
3600.05/3609.80 c STR average degree increase per successful call inf
3600.05/3609.80 c STR average degree increase per successful attempt inf
3600.05/3609.80 c STR total number of conflicts for successful attempts 0
3600.05/3609.80 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3609.80 c STR total number of conflicts for inconclusive attempts 0
3600.05/3609.80 c STR average number of conflicts per successful attempt inf
3600.05/3609.80 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3609.80 c STR average number of conflicts per inconclusive attempt inf
3600.05/3609.80 c AVG.sumWPerc -nan
3600.05/3609.80 c bigint constraints 0
3600.05/3609.80 s UNKNOWN
3600.05/3609.80 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: 63708 MiB (51946 MiB free)
memory of node 1: 64465 MiB (62623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502876-1751481248/watcher-4502876-1751481248 -o /tmp/evaluation-result-4502876-1751481248/solver-4502876-1751481248 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67544 --watchdog 3760 run-opt.sh HOME/instance-4502876-1751481248.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68034, runsolver pid=68031
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.10 4.10 4.08 3/258 68036
/proc/meminfo: memFree=117315696/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=56940 memory=12008 CPUtime=0.08 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 1016 0 0 0 8 0 0 0 20 0 1 0 63801433 58306560 3002 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 14235 3002 1920 1147 0 1662 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61132 KiB
Current children cumulated memory: 15080 KiB
[startup+0.20569 s]*
/proc/loadavg: 4.10 4.10 4.08 4/258 68037
/proc/meminfo: memFree=117315696/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=57392 memory=14616 CPUtime=0.19 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 1135 0 0 0 18 1 0 0 20 0 1 0 63801433 58769408 3654 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 14348 3654 1920 1147 0 1775 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61584 KiB
Current children cumulated memory: 17688 KiB
[startup+0.30555 s]*
/proc/loadavg: 4.10 4.10 4.08 3/258 68037
/proc/meminfo: memFree=117315696/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=60608 memory=15896 CPUtime=0.28 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 1463 0 0 0 27 1 0 0 20 0 1 0 63801433 62062592 3974 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 15152 3974 1920 1147 0 2579 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64800 KiB
Current children cumulated memory: 18968 KiB
[startup+0.700221 s]
/proc/loadavg: 4.10 4.10 4.08 3/258 68037
/proc/meminfo: memFree=117310924/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=73944 memory=24364 CPUtime=0.67 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 3124 0 0 0 63 4 0 0 20 0 1 0 63801433 75718656 6091 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 18486 6091 1920 1147 0 5913 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 78136 KiB
Current children cumulated memory: 27436 KiB
[startup+1.50019 s]
/proc/loadavg: 4.10 4.10 4.08 4/257 68083
/proc/meminfo: memFree=117276272/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=255496 memory=211224 CPUtime=1.47 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 38490 0 0 0 131 16 0 0 20 0 1 0 63801433 261627904 52806 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 63874 52806 2368 1147 0 51301 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 259688 KiB
Current children cumulated memory: 214296 KiB
[startup+3.10536 s]
/proc/loadavg: 4.10 4.10 4.08 5/268 68113
/proc/meminfo: memFree=116976996/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=345856 memory=287684 CPUtime=3.07 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 49993 0 0 0 250 57 0 0 20 0 1 0 63801433 354156544 71921 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 86464 71921 2368 1147 0 73891 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 350048 KiB
Current children cumulated memory: 290756 KiB
[startup+6.30019 s]
/proc/loadavg: 4.17 4.11 4.08 5/268 68159
/proc/meminfo: memFree=116855740/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=447428 memory=383868 CPUtime=6.26 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 67402 0 0 0 507 119 0 0 20 0 1 0 63801433 458166272 95967 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 111857 95967 2368 1147 0 99284 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 451620 KiB
Current children cumulated memory: 386940 KiB
[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.08 4/266 68206
/proc/meminfo: memFree=126985688/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=694448 memory=590484 CPUtime=12.62 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 111900 0 0 0 1038 224 0 0 20 0 1 0 63801433 711114752 147621 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 173612 147621 2368 1147 0 161039 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 698640 KiB
Current children cumulated memory: 593556 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.10 4.08 5/269 68252
/proc/meminfo: memFree=125649596/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=1032568 memory=934068 CPUtime=25.37 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 173272 0 0 0 2129 408 0 0 20 0 1 0 63801433 1057349632 233517 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 258142 233517 2368 1147 0 245569 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 1036760 KiB
Current children cumulated memory: 937140 KiB
[startup+51.1054 s]
/proc/loadavg: 4.22 4.13 4.09 5/269 68252
/proc/meminfo: memFree=124991016/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=1586792 memory=1271952 CPUtime=50.91 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 245472 0 0 0 4562 529 0 0 20 0 1 0 63801433 1624875008 317988 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 396698 317988 2368 1147 0 384125 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1590984 KiB
Current children cumulated memory: 1275024 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 68254
/proc/meminfo: memFree=123829808/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=1642516 memory=1482188 CPUtime=101.97 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 277707 0 0 0 9562 635 0 0 20 0 1 0 63801433 1681936384 370547 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 410629 370547 2368 1147 0 398056 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1646708 KiB
Current children cumulated memory: 1485260 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/270 68257
/proc/meminfo: memFree=122497720/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=2300036 memory=1838672 CPUtime=161.81 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 351407 0 0 0 15455 726 0 0 20 0 1 0 63801433 2355236864 459668 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 575009 459668 2368 1147 0 562436 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 2304228 KiB
Current children cumulated memory: 1841744 KiB
[startup+222.3 s]
/proc/loadavg: 4.22 4.15 4.10 5/269 68265
/proc/meminfo: memFree=121107200/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=2538296 memory=2046292 CPUtime=221.65 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 393141 0 0 0 21338 827 0 0 20 0 1 0 63801433 2599215104 511573 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 634574 511573 2368 1147 0 622001 0
################
# More data... #
################
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5292380 memory=4531444 CPUtime=3093.92 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 837414 0 0 0 305834 3558 0 0 20 0 1 0 63801433 5419397120 1132861 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1323095 1132861 2368 1147 0 1310522 0
Current children cumulated CPU time: 3093.92 s
Current children cumulated vsize: 5296572 KiB
Current children cumulated memory: 4534516 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 68408
/proc/meminfo: memFree=113873344/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5296008 memory=4537460 CPUtime=3153.76 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 839038 0 0 0 311761 3615 0 0 20 0 1 0 63801433 5423112192 1134365 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1324002 1134365 2368 1147 0 1311429 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 5300200 KiB
Current children cumulated memory: 4540532 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 68417
/proc/meminfo: memFree=113798120/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5313916 memory=4583216 CPUtime=3213.6 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 845992 0 0 0 317692 3668 0 0 20 0 1 0 63801433 5441449984 1145804 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1328479 1145804 2368 1147 0 1315906 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 5318108 KiB
Current children cumulated memory: 4586288 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 68419
/proc/meminfo: memFree=113797696/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5313916 memory=4583344 CPUtime=3273.44 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 846027 0 0 0 323639 3705 0 0 20 0 1 0 63801433 5441449984 1145836 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1328479 1145836 2368 1147 0 1315906 0
Current children cumulated CPU time: 3273.44 s
Current children cumulated vsize: 5318108 KiB
Current children cumulated memory: 4586416 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 68421
/proc/meminfo: memFree=113754688/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5345968 memory=4623356 CPUtime=3333.27 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 853587 0 0 0 329578 3749 0 0 20 0 1 0 63801433 5474271232 1155839 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1336492 1155839 2368 1147 0 1323919 0
Current children cumulated CPU time: 3333.27 s
Current children cumulated vsize: 5350160 KiB
Current children cumulated memory: 4626428 KiB
[startup+3402.3 s]
/proc/loadavg: 4.48 4.18 4.12 5/269 68424
/proc/meminfo: memFree=113752804/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5345968 memory=4623612 CPUtime=3393.12 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 853755 0 0 0 335512 3800 0 0 20 0 1 0 63801433 5474271232 1155903 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1336492 1155903 2368 1147 0 1323919 0
Current children cumulated CPU time: 3393.12 s
Current children cumulated vsize: 5350160 KiB
Current children cumulated memory: 4626684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.27 4.17 4.12 5/267 68426
/proc/meminfo: memFree=113567528/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5348232 memory=4627452 CPUtime=3452.96 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 854796 0 0 0 341447 3849 0 0 20 0 1 0 63801433 5476589568 1156863 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1337058 1156863 2368 1147 0 1324485 0
Current children cumulated CPU time: 3452.96 s
Current children cumulated vsize: 5352424 KiB
Current children cumulated memory: 4630524 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.17 4.12 5/267 68428
/proc/meminfo: memFree=113259164/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5349536 memory=4664104 CPUtime=3512.79 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 860542 0 0 0 347387 3892 0 0 20 0 1 0 63801433 5477924864 1166026 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1337384 1166026 2368 1147 0 1324811 0
Current children cumulated CPU time: 3512.79 s
Current children cumulated vsize: 5353728 KiB
Current children cumulated memory: 4667176 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.15 4.11 5/267 68430
/proc/meminfo: memFree=113166956/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5349536 memory=4664104 CPUtime=3572.63 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 860586 0 0 0 353313 3950 0 0 20 0 1 0 63801433 5477924864 1166026 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1337384 1166026 2368 1147 0 1324811 0
Current children cumulated CPU time: 3572.63 s
Current children cumulated vsize: 5353728 KiB
Current children cumulated memory: 4667176 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 4.09 4.14 4.11 5/267 68430
/proc/meminfo: memFree=113115240/131250000 swapFree=33010672/33010684
[pid=68034] ppid=68031 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/68034/stat : 68034 (run-opt.sh) S 68031 68034 67533 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 63801432 4292608 768 18446744073709551615 94225084043264 94225084937797 140728155570512 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94225085176848 94225085224592 94225108434944 140728155576685 140728155576808 140728155576808 140728155582410 0
/proc/68034/statm: 1048 768 704 219 0 110 0
[pid=68036] ppid=68034 vsize=5354276 memory=4725240 CPUtime=3600.05 cores=4,6
/proc/68036/stat : 68036 (roundingsat) R 68034 68034 67533 0 -1 4194304 868376 0 0 0 356034 3971 0 0 20 0 1 0 63801433 5482778624 1181310 18446744073709551615 4227072 8923433 140728047960688 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 26542080 140728047966626 140728047966760 140728047966760 140728047972330 0
/proc/68036/statm: 1338569 1181310 2368 1147 0 1325996 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 5358468 KiB
Current children cumulated memory: 4728312 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 68034 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000751 s, system=0.001568 s
[startup+3610.02 s]
# the end of solver process 68036 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3560.37 s, system=39.9173 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.01 s]*
/proc/loadavg: 4.16 4.15 4.11 5/266 68430
/proc/meminfo: memFree=117630684/131250000 swapFree=33010672/33010684
Current cumulated CPU time of completed processes: 0.002319 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3610.02
CPU time (s): 3600.29
CPU user time (s): 3560.37
CPU system time (s): 39.9173
CPU usage (%): 99.7304
Max. virtual memory (cumulated for all children) (KiB): 5358468
Max. memory (cumulated for all children) (KiB): 4728312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3560.37
system time used= 39.9173
maximum resident set size= 4725624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 868665
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216
involuntary context switches= 3676
# summary of solver processes directly reported to runsolver:
# pid: 68034,68036
# total CPU time (s): 3600.29
# total CPU user time (s): 3560.37
# total CPU system time (s): 39.9173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.49033 second user time and 16.1794 second system time
The end
Begin job on nodeC014 at 2025-07-02 20:34:08
IDJOB=4502876
IDBENCH=155400
IDSOLVER=3350
FILE ID=nodeC014/4502876-1751481248
RUNJOBID= nodeC014-1751477637-67544
SLURM_JOB_ID= 9598515
Free space on /tmp= 430440 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_9_shg.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502876-1751481248/watcher-4502876-1751481248 -o /tmp/evaluation-result-4502876-1751481248/solver-4502876-1751481248 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751477637-67544 --watchdog 3760 run-opt.sh HOME/instance-4502876-1751481248.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6ff458260e5cc7a1e00e7b04a599a648
RANDOM SEED=820872541
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.075
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3161.276
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.957
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 1199.944
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.974
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.449
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 2825.705
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 117320016 kB
MemAvailable: 119136660 kB
Buffers: 2508 kB
Cached: 2612008 kB
SwapCached: 4 kB
Active: 11200564 kB
Inactive: 2064908 kB
Active(anon): 10664852 kB
Inactive(anon): 3852 kB
Active(file): 535712 kB
Inactive(file): 2061056 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 38208 kB
Writeback: 0 kB
AnonPages: 10653940 kB
Mapped: 110212 kB
Shmem: 18064 kB
KReclaimable: 118228 kB
Slab: 208720 kB
SReclaimable: 118228 kB
SUnreclaim: 90492 kB
KernelStack: 4192 kB
PageTables: 25220 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 11775320 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4599808 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430372 MiB
End job on nodeC014 at 2025-07-02 21:34:19