0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.29/0.31 c #variables 21883 #constraints 61140
0.29/0.31 c objective is ce64
0.29/0.33 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.29/0.33 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.29/0.33 c GLOBAL bounds - >= -10029909935960 @ 0.257206
0.29/0.36 c GLOBAL bounds - >= -10029909935960 @ 0.268212
0.29/0.38 c GLOBAL bounds - >= -10029909935960 @ 0.27902
0.29/0.40 c GLOBAL bounds - >= -10029909935960 @ 0.290274
0.38/0.43 c GLOBAL bounds - >= -10029909935960 @ 0.302375
0.38/0.45 c GLOBAL bounds - >= -10029909935960 @ 0.311081
0.38/0.47 c GLOBAL bounds - >= -10029909935960 @ 0.319589
0.38/0.49 c GLOBAL bounds - >= -10029909935960 @ 0.328018
0.48/0.52 c GLOBAL bounds - >= -10029909935960 @ 0.339
0.48/0.54 c GLOBAL bounds - >= -10029909935960 @ 0.347921
0.48/0.56 c GLOBAL bounds - >= -10029909935960 @ 0.35764
0.48/0.58 c GLOBAL bounds - >= -10029909935960 @ 0.367279
0.57/0.60 c GLOBAL bounds - >= -10029909935960 @ 0.378438
0.57/0.63 c GLOBAL bounds - >= -10029909935960 @ 0.38669
0.57/0.65 c GLOBAL bounds - >= -10029909935960 @ 0.397187
0.57/0.67 c GLOBAL bounds - >= -10029909935960 @ 0.405722
0.57/0.69 c GLOBAL bounds - >= -10029909935960 @ 0.41657
0.68/0.71 c GLOBAL bounds - >= -10029909935960 @ 0.426696
0.68/0.73 c GLOBAL bounds - >= -10029909935960 @ 0.43458
0.68/0.75 c GLOBAL bounds - >= -10029909935960 @ 0.442651
0.68/0.78 c GLOBAL bounds - >= -10029909935960 @ 0.451614
0.77/0.80 c GLOBAL bounds - >= -10029909935960 @ 0.456878
0.77/0.82 c GLOBAL bounds - >= -10029909935960 @ 0.469068
0.77/0.84 c GLOBAL bounds - >= -10029909935960 @ 0.478549
0.77/0.86 c GLOBAL bounds - >= -10029909935960 @ 0.487929
0.77/0.88 c GLOBAL bounds - >= -10029909935960 @ 0.492412
0.88/0.90 c GLOBAL bounds - >= -10029909935960 @ 0.503488
0.88/0.92 c GLOBAL bounds - >= -10029909935960 @ 0.510156
0.88/0.94 c GLOBAL bounds - >= -10029909935960 @ 0.520081
0.88/0.97 c GLOBAL bounds - >= -10029909935960 @ 0.53092
0.88/0.99 c GLOBAL bounds - >= -10029909935960 @ 0.539878
0.97/1.01 c GLOBAL bounds - >= -10029909935960 @ 0.546826
0.97/1.03 c GLOBAL bounds - >= -10029909935960 @ 0.554802
0.97/1.05 c GLOBAL bounds - >= -10029909935960 @ 0.565649
0.97/1.07 c GLOBAL bounds - >= -10029909935960 @ 0.573666
0.97/1.09 c GLOBAL bounds - >= -10029909935960 @ 0.582601
1.08/1.11 c GLOBAL bounds - >= -10029909935960 @ 0.592649
1.08/1.13 c GLOBAL bounds - >= -10029909935960 @ 0.596602
1.08/1.15 c GLOBAL bounds - >= -10029909935960 @ 0.609542
1.08/1.18 c GLOBAL bounds - >= -10029909935960 @ 0.616541
1.17/1.20 c GLOBAL bounds - >= -10029909935960 @ 0.62851
1.17/1.22 c GLOBAL bounds - >= -10029909935960 @ 0.638514
1.17/1.24 c GLOBAL bounds - >= -10029909935960 @ 0.645482
1.17/1.26 c GLOBAL bounds - >= -10029909935960 @ 0.656495
1.17/1.28 c GLOBAL bounds - >= -10029909935960 @ 0.661525
1.27/1.30 c GLOBAL bounds - >= -10029909935960 @ 0.669504
1.27/1.32 c GLOBAL bounds - >= -10029909935960 @ 0.67658
1.27/1.34 c GLOBAL bounds - >= -10029909935960 @ 0.685542
1.27/1.36 c GLOBAL bounds - >= -10029909935960 @ 0.698693
1.27/1.39 c GLOBAL bounds - >= -10029909935960 @ 0.706679
1.37/1.41 c GLOBAL bounds - >= -10029909935960 @ 0.714036
1.37/1.43 c GLOBAL bounds - >= -10029909935960 @ 0.72163
1.37/1.45 c GLOBAL bounds - >= -10029909935960 @ 0.733698
1.37/1.47 c GLOBAL bounds - >= -10029909935960 @ 0.740729
1.37/1.49 c GLOBAL bounds - >= -10029909935960 @ 0.751005
1.47/1.51 c GLOBAL bounds - >= -10029909935960 @ 0.760295
1.47/1.53 c GLOBAL bounds - >= -10029909935960 @ 0.76766
1.47/1.55 c GLOBAL bounds - >= -10029909935960 @ 0.77658
1.47/1.58 c GLOBAL bounds - >= -10029909935960 @ 0.781663
1.57/1.60 c GLOBAL bounds - >= -10029909935960 @ 0.791725
1.57/1.62 c GLOBAL bounds - >= -10029909935960 @ 0.800107
1.57/1.64 c GLOBAL bounds - >= -10029909935960 @ 0.811968
1.57/1.66 c GLOBAL bounds - >= -10029909935960 @ 0.820086
1.57/1.68 c GLOBAL bounds - >= -10029909935960 @ 0.830139
1.67/1.70 c GLOBAL bounds - >= -10029909935960 @ 0.839484
1.67/1.72 c GLOBAL bounds - >= -10029909935960 @ 0.847855
1.67/1.75 c GLOBAL bounds - >= -10029909935960 @ 0.856044
1.67/1.77 c GLOBAL bounds - >= -10029909935960 @ 0.867542
1.67/1.79 c GLOBAL bounds - >= -10029909935960 @ 0.880774
1.77/1.81 c GLOBAL bounds - >= -10029909935960 @ 0.889642
1.77/1.83 c GLOBAL bounds - >= -10029909935960 @ 0.899756
1.77/1.85 c GLOBAL bounds - >= -10029909935960 @ 0.907715
1.77/1.87 c GLOBAL bounds - >= -10029909935960 @ 0.918051
1.77/1.89 c GLOBAL bounds - >= -10029909935960 @ 0.925413
1.87/1.92 c GLOBAL bounds - >= -10029909935960 @ 0.934708
1.87/1.94 c GLOBAL bounds - >= -10029909935960 @ 0.942773
1.87/1.96 c GLOBAL bounds - >= -10029909935960 @ 0.952038
1.87/1.98 c GLOBAL bounds - >= -10029909935960 @ 0.958322
1.98/2.00 c GLOBAL bounds - >= -10029909935960 @ 0.962643
1.98/2.02 c GLOBAL bounds - >= -10029909935960 @ 0.972256
1.98/2.04 c GLOBAL bounds - >= -10029909935960 @ 0.978588
1.98/2.07 c GLOBAL bounds - >= -10029909935960 @ 0.985835
1.98/2.09 c GLOBAL bounds - >= -10029909935960 @ 0.994323
2.08/2.11 c GLOBAL bounds - >= -10029909935960 @ 1.00358
2.08/2.13 c GLOBAL bounds - >= -10029909935960 @ 1.0116
2.08/2.15 c GLOBAL bounds - >= -10029909935960 @ 1.01977
2.08/2.17 c GLOBAL bounds - >= -10029909935960 @ 1.02617
2.08/2.19 c GLOBAL bounds - >= -10029909935960 @ 1.03525
2.17/2.22 c GLOBAL bounds - >= -10029909935960 @ 1.04171
2.17/2.24 c GLOBAL bounds - >= -10029909935960 @ 1.04884
2.17/2.26 c GLOBAL bounds - >= -10029909935960 @ 1.0612
2.17/2.28 c GLOBAL bounds - >= -10029909935960 @ 1.07143
2.26/2.30 c GLOBAL bounds - >= -10029909935960 @ 1.08166
2.26/2.32 c GLOBAL bounds - >= -10029909935960 @ 1.09105
2.26/2.34 c GLOBAL bounds - >= -10029909935960 @ 1.10047
2.26/2.36 c GLOBAL bounds - >= -10029909935960 @ 1.10868
2.26/2.39 c GLOBAL bounds - >= -10029909935960 @ 1.11708
2.37/2.41 c GLOBAL bounds - >= -10029909935960 @ 1.12356
2.37/2.43 c GLOBAL bounds - >= -10029909935960 @ 1.12906
2.37/2.45 c GLOBAL bounds - >= -10029909935960 @ 1.13711
2.37/2.47 c GLOBAL bounds - >= -10029909935960 @ 1.1455
2.37/2.49 c GLOBAL bounds - >= -10029909935960 @ 1.15184
2.47/2.51 c GLOBAL bounds - >= -10029909935960 @ 1.15923
2.47/2.54 c GLOBAL bounds - >= -10029909935960 @ 1.17102
2.47/2.56 c GLOBAL bounds - >= -10029909935960 @ 1.17749
2.47/2.58 c GLOBAL bounds - >= -10029909935960 @ 1.18783
2.57/2.60 c GLOBAL bounds - >= -10029909935960 @ 1.19713
2.57/2.62 c GLOBAL bounds - >= -10029909935960 @ 1.20311
2.57/2.64 c GLOBAL bounds - >= -10029909935960 @ 1.21438
2.57/2.66 c GLOBAL bounds - >= -10029909935960 @ 1.22073
2.57/2.68 c GLOBAL bounds - >= -10029909935960 @ 1.2349
2.67/2.71 c GLOBAL bounds - >= -10029909935960 @ 1.24231
2.67/2.73 c GLOBAL bounds - >= -10029909935960 @ 1.24952
2.67/2.75 c GLOBAL bounds - >= -10029909935960 @ 1.25202
2.67/2.77 c GLOBAL bounds - >= -10029909935960 @ 1.26029
2.67/2.79 c GLOBAL bounds - >= -10029909935960 @ 1.26869
2.77/2.81 c GLOBAL bounds - >= -10029909935960 @ 1.27879
2.77/2.83 c GLOBAL bounds - >= -10029909935960 @ 1.28624
2.77/2.86 c GLOBAL bounds - >= -10029909935960 @ 1.29762
2.77/2.88 c GLOBAL bounds - >= -10029909935960 @ 1.30493
2.87/2.90 c GLOBAL bounds - >= -10029909935960 @ 1.31016
2.87/2.92 c GLOBAL bounds - >= -10029909935960 @ 1.32062
2.87/2.94 c GLOBAL bounds - >= -10029909935960 @ 1.32889
2.87/2.96 c GLOBAL bounds - >= -10029909935960 @ 1.33725
2.87/2.98 c GLOBAL bounds - >= -10029909935960 @ 1.34987
2.97/3.01 c GLOBAL bounds - >= -10029909935960 @ 1.35801
2.97/3.03 c GLOBAL bounds - >= -10029909935960 @ 1.36687
2.97/3.05 c GLOBAL bounds - >= -10029909935960 @ 1.3752
2.97/3.07 c GLOBAL bounds - >= -10029909935960 @ 1.38281
2.97/3.09 c GLOBAL bounds - >= -10029909935960 @ 1.39217
3.07/3.11 c GLOBAL bounds - >= -10029909935960 @ 1.3998
3.07/3.13 c GLOBAL bounds - >= -10029909935960 @ 1.41006
3.07/3.16 c GLOBAL bounds - >= -10029909935960 @ 1.41855
3.07/3.18 c GLOBAL bounds - >= -10029909935960 @ 1.42707
3.17/3.20 c GLOBAL bounds - >= -10029909935960 @ 1.43649
3.17/3.22 c GLOBAL bounds - >= -10029909935960 @ 1.44491
3.17/3.24 c GLOBAL bounds - >= -10029909935960 @ 1.45541
3.17/3.26 c GLOBAL bounds - >= -10029909935960 @ 1.45898
3.17/3.28 c GLOBAL bounds - >= -10029909935960 @ 1.46879
3.27/3.31 c GLOBAL bounds - >= -10029909935960 @ 1.48087
3.27/3.33 c GLOBAL bounds - >= -10029909935960 @ 1.49041
3.27/3.35 c GLOBAL bounds - >= -10029909935960 @ 1.49694
3.27/3.37 c GLOBAL bounds - >= -10029909935960 @ 1.50561
3.27/3.39 c GLOBAL bounds - >= -10029909935960 @ 1.5149
3.36/3.41 c GLOBAL bounds - >= -10029909935960 @ 1.52244
3.36/3.44 c GLOBAL bounds - >= -10029909935960 @ 1.53094
3.36/3.46 c GLOBAL bounds - >= -10029909935960 @ 1.54357
3.36/3.48 c GLOBAL bounds - >= -10029909935960 @ 1.55232
3.46/3.50 c GLOBAL bounds - >= -10029909935960 @ 1.55867
3.46/3.52 c GLOBAL bounds - >= -10029909935960 @ 1.56666
3.46/3.54 c GLOBAL bounds - >= -10029909935960 @ 1.57883
3.46/3.57 c GLOBAL bounds - >= -10029909935960 @ 1.58939
3.46/3.59 c GLOBAL bounds - >= -10029909935960 @ 1.60017
3.56/3.61 c GLOBAL bounds - >= -10029909935960 @ 1.61179
3.56/3.63 c GLOBAL bounds - >= -10029909935960 @ 1.61944
3.56/3.65 c GLOBAL bounds - >= -10029909935960 @ 1.63017
3.56/3.67 c GLOBAL bounds - >= -10029909935960 @ 1.63873
3.56/3.70 c GLOBAL bounds - >= -10029909935960 @ 1.64639
3.66/3.72 c GLOBAL bounds - >= -10029909935960 @ 1.65613
3.66/3.74 c GLOBAL bounds - >= -10029909935960 @ 1.66255
3.66/3.76 c GLOBAL bounds - >= -10029909935960 @ 1.67031
3.66/3.78 c GLOBAL bounds - >= -10029909935960 @ 1.67613
3.76/3.80 c GLOBAL bounds - >= -10029909935960 @ 1.68771
3.76/3.83 c GLOBAL bounds - >= -10029909935960 @ 1.69634
3.76/3.85 c GLOBAL bounds - >= -10029909935960 @ 1.71001
3.76/3.87 c GLOBAL bounds - >= -10029909935960 @ 1.71763
3.76/3.89 c GLOBAL bounds - >= -10029909935960 @ 1.72952
3.87/3.91 c GLOBAL bounds - >= -10029909935960 @ 1.73803
3.87/3.93 c GLOBAL bounds - >= -10029909935960 @ 1.74776
3.87/3.96 c GLOBAL bounds - >= -10029909935960 @ 1.75853
3.87/3.98 c GLOBAL bounds - >= -10029909935960 @ 1.76519
3.87/4.00 c GLOBAL bounds - >= -10029909935960 @ 1.774
3.97/4.02 c GLOBAL bounds - >= -10029909935960 @ 1.78492
3.97/4.04 c GLOBAL bounds - >= -10029909935960 @ 1.79852
3.97/4.06 c GLOBAL bounds - >= -10029909935960 @ 1.81027
3.97/4.09 c GLOBAL bounds - >= -10029909935960 @ 1.82209
4.07/4.11 c GLOBAL bounds - >= -10029909935960 @ 1.83305
4.07/4.13 c GLOBAL bounds - >= -10029909935960 @ 1.84182
4.07/4.15 c GLOBAL bounds - >= -10029909935960 @ 1.85235
4.07/4.17 c GLOBAL bounds - >= -10029909935960 @ 1.86109
4.07/4.20 c GLOBAL bounds - >= -10029909935960 @ 1.86993
4.17/4.22 c GLOBAL bounds - >= -10029909935960 @ 1.87573
4.17/4.24 c GLOBAL bounds - >= -10029909935960 @ 1.88645
4.17/4.26 c GLOBAL bounds - >= -10029909935960 @ 1.89518
4.17/4.28 c GLOBAL bounds - >= -10029909935960 @ 1.90319
4.27/4.31 c GLOBAL bounds - >= -10029909935960 @ 1.91393
4.27/4.33 c GLOBAL bounds - >= -10029909935960 @ 1.9258
4.27/4.35 c GLOBAL bounds - >= -10029909935960 @ 1.93559
4.27/4.37 c GLOBAL bounds - >= -10029909935960 @ 1.94669
4.27/4.39 c GLOBAL bounds - >= -10029909935960 @ 1.96133
4.37/4.41 c GLOBAL bounds - >= -10029909935960 @ 1.97159
4.37/4.44 c GLOBAL bounds - >= -10029909935960 @ 1.98117
4.37/4.46 c GLOBAL bounds - >= -10029909935960 @ 1.98914
4.37/4.48 c GLOBAL bounds - >= -10029909935960 @ 2.00102
4.46/4.50 c GLOBAL bounds - >= -10029909935960 @ 2.00882
4.46/4.52 c GLOBAL bounds - >= -10029909935960 @ 2.01961
4.46/4.55 c GLOBAL bounds - >= -10029909935960 @ 2.0264
4.46/4.57 c GLOBAL bounds - >= -10029909935960 @ 2.0329
4.46/4.59 c GLOBAL bounds - >= -10029909935960 @ 2.04475
4.57/4.61 c GLOBAL bounds - >= -10029909935960 @ 2.05859
4.57/4.64 c GLOBAL bounds - >= -10029909935960 @ 2.07052
4.57/4.66 c GLOBAL bounds - >= -10029909935960 @ 2.08117
4.57/4.68 c GLOBAL bounds - >= -10029909935960 @ 2.09548
4.67/4.70 c GLOBAL bounds - >= -10029909935960 @ 2.10521
4.67/4.72 c GLOBAL bounds - >= -10029909935960 @ 2.11641
4.67/4.75 c GLOBAL bounds - >= -10029909935960 @ 2.12743
4.67/4.77 c GLOBAL bounds - >= -10029909935960 @ 2.13643
4.67/4.79 c GLOBAL bounds - >= -10029909935960 @ 2.14737
4.77/4.81 c GLOBAL bounds - >= -10029909935960 @ 2.16161
4.77/4.83 c GLOBAL bounds - >= -10029909935960 @ 2.16651
4.77/4.86 c GLOBAL bounds - >= -10029909935960 @ 2.17848
4.77/4.88 c GLOBAL bounds - >= -10029909935960 @ 2.18244
4.87/4.90 c GLOBAL bounds - >= -10029909935960 @ 2.19166
4.87/4.92 c GLOBAL bounds - >= -10029909935960 @ 2.19966
4.87/4.94 c GLOBAL bounds - >= -10029909935960 @ 2.21068
4.87/4.97 c GLOBAL bounds - >= -10029909935960 @ 2.22354
4.87/4.99 c GLOBAL bounds - >= -10029909935960 @ 2.23069
4.97/5.01 c GLOBAL bounds - >= -10029909935960 @ 2.24485
4.97/5.03 c GLOBAL bounds - >= -10029909935960 @ 2.25017
4.97/5.05 c GLOBAL bounds - >= -10029909935960 @ 2.25901
4.97/5.08 c GLOBAL bounds - >= -10029909935960 @ 2.27035
4.97/5.10 c GLOBAL bounds - >= -10029909935960 @ 2.27765
5.07/5.12 c GLOBAL bounds - >= -10029909935960 @ 2.29217
5.07/5.15 c GLOBAL bounds - >= -10029909935960 @ 2.30315
5.07/5.17 c GLOBAL bounds - >= -10029909935960 @ 2.31288
5.16/5.20 c GLOBAL bounds - >= -10029909935960 @ 2.32555
5.16/5.22 c GLOBAL bounds - >= -10029909935960 @ 2.33713
5.16/5.25 c GLOBAL bounds - >= -10029909935960 @ 2.34497
5.16/5.27 c GLOBAL bounds - >= -10029909935960 @ 2.35332
5.16/5.29 c GLOBAL bounds - >= -10029909935960 @ 2.36311
5.26/5.32 c GLOBAL bounds - >= -10029909935960 @ 2.37045
5.26/5.34 c GLOBAL bounds - >= -10029909935960 @ 2.38281
5.26/5.36 c GLOBAL bounds - >= -10029909935960 @ 2.39185
5.26/5.39 c GLOBAL bounds - >= -10029909935960 @ 2.40403
5.37/5.41 c GLOBAL bounds - >= -10029909935960 @ 2.41628
5.37/5.44 c GLOBAL bounds - >= -10029909935960 @ 2.42872
5.37/5.46 c GLOBAL bounds - >= -10029909935960 @ 2.44106
5.37/5.49 c GLOBAL bounds - >= -10029909935960 @ 2.45482
5.47/5.51 c GLOBAL bounds - >= -10029909935960 @ 2.46684
5.47/5.53 c GLOBAL bounds - >= -10029909935960 @ 2.47674
5.47/5.56 c GLOBAL bounds - >= -10029909935960 @ 2.48719
5.47/5.58 c GLOBAL bounds - >= -10029909935960 @ 2.49914
5.56/5.61 c GLOBAL bounds - >= -10029909935960 @ 2.50869
5.56/5.63 c GLOBAL bounds - >= -10029909935960 @ 2.52222
5.56/5.66 c GLOBAL bounds - >= -10029909935960 @ 2.53679
5.56/5.69 c GLOBAL bounds - >= -10029909935960 @ 2.55165
5.66/5.72 c GLOBAL bounds - >= -10029909935960 @ 2.56547
5.66/5.75 c GLOBAL bounds - >= -10029909935960 @ 2.58181
5.66/5.77 c GLOBAL bounds - >= -10029909935960 @ 2.59293
5.76/5.80 c GLOBAL bounds - >= -10029909935960 @ 2.60566
5.76/5.83 c GLOBAL bounds - >= -10029909935960 @ 2.61754
5.76/5.86 c GLOBAL bounds - >= -10029909935960 @ 2.63174
5.76/5.89 c GLOBAL bounds - >= -10029909935960 @ 2.64594
5.86/5.92 c GLOBAL bounds - >= -10029909935960 @ 2.65977
5.86/5.95 c GLOBAL bounds - >= -10029909935960 @ 2.67594
5.86/5.97 c GLOBAL bounds - >= -10029909935960 @ 2.69039
5.97/6.00 c GLOBAL bounds - >= -10029909935960 @ 2.70444
5.97/6.03 c GLOBAL bounds - >= -10029909935960 @ 2.71874
5.97/6.06 c GLOBAL bounds - >= -10029909935960 @ 2.73454
5.97/6.08 c GLOBAL bounds - >= -10029909935960 @ 2.74838
6.06/6.11 c GLOBAL bounds - >= -10029909935960 @ 2.76199
6.06/6.14 c GLOBAL bounds - >= -10029909935960 @ 2.77852
6.06/6.17 c GLOBAL bounds - >= -10029909935960 @ 2.79198
6.06/6.19 c GLOBAL bounds - >= -10029909935960 @ 2.8111
6.16/6.22 c GLOBAL bounds - >= -10029909935960 @ 2.82561
6.16/6.25 c GLOBAL bounds - >= -10029909935960 @ 2.84244
6.16/6.28 c GLOBAL bounds - >= -10029909935960 @ 2.85306
6.26/6.31 c GLOBAL bounds - >= -10029909935960 @ 2.86531
6.26/6.33 c GLOBAL bounds - >= -10029909935960 @ 2.87564
6.26/6.36 c GLOBAL bounds - >= -10029909935960 @ 2.88899
6.36/6.40 c GLOBAL bounds - >= -10029909935960 @ 2.90792
6.36/6.42 c GLOBAL bounds - >= -10029909935960 @ 2.92247
6.36/6.45 c GLOBAL bounds - >= -10029909935960 @ 2.93392
6.36/6.48 c GLOBAL bounds - >= -10029909935960 @ 2.94787
6.46/6.51 c GLOBAL bounds - >= -10029909935960 @ 2.95893
6.46/6.54 c GLOBAL bounds - >= -10029909935960 @ 2.9724
6.46/6.57 c GLOBAL bounds - >= -10029909935960 @ 2.98596
6.46/6.59 c GLOBAL bounds - >= -10029909935960 @ 3.00155
6.56/6.62 c GLOBAL bounds - >= -10029909935960 @ 3.0146
6.56/6.65 c GLOBAL bounds - >= -10029909935960 @ 3.03169
6.56/6.67 c GLOBAL bounds - >= -10029909935960 @ 3.04593
6.67/6.70 c GLOBAL bounds - >= -10029909935960 @ 3.05978
6.67/6.73 c GLOBAL bounds - >= -10029909935960 @ 3.07652
6.67/6.76 c GLOBAL bounds - >= -10029909935960 @ 3.08948
6.67/6.79 c GLOBAL bounds - >= -10029909935960 @ 3.1057
6.76/6.81 c GLOBAL bounds - >= -10029909935960 @ 3.11662
6.76/6.84 c GLOBAL bounds - >= -10029909935960 @ 3.12403
6.76/6.87 c GLOBAL bounds - >= -10029909935960 @ 3.14023
6.86/6.90 c GLOBAL bounds - >= -10029909935960 @ 3.15253
6.86/6.92 c GLOBAL bounds - >= -10029909935960 @ 3.16555
6.86/6.95 c GLOBAL bounds - >= -10029909935960 @ 3.17699
6.86/6.98 c GLOBAL bounds - >= -10029909935960 @ 3.19441
6.96/7.01 c GLOBAL bounds - >= -10029909935960 @ 3.20742
6.96/7.03 c GLOBAL bounds - >= -10029909935960 @ 3.22282
6.96/7.06 c GLOBAL bounds - >= -10029909935960 @ 3.23775
6.96/7.09 c GLOBAL bounds - >= -10029909935960 @ 3.24684
7.06/7.12 c GLOBAL bounds - >= -10029909935960 @ 3.25799
7.06/7.14 c GLOBAL bounds - >= -10029909935960 @ 3.26989
7.06/7.17 c GLOBAL bounds - >= -10029909935960 @ 3.27933
7.16/7.20 c GLOBAL bounds - >= -10029909935960 @ 3.29094
7.16/7.22 c GLOBAL bounds - >= -10029909935960 @ 3.30738
7.16/7.25 c GLOBAL bounds - >= -10029909935960 @ 3.3223
7.16/7.28 c GLOBAL bounds - >= -10029909935960 @ 3.33773
7.26/7.31 c GLOBAL bounds - >= -10029909935960 @ 3.35244
7.26/7.33 c GLOBAL bounds - >= -10029909935960 @ 3.36398
7.26/7.36 c GLOBAL bounds - >= -10029909935960 @ 3.37565
7.26/7.39 c GLOBAL bounds - >= -10029909935960 @ 3.39456
7.36/7.42 c GLOBAL bounds - >= -10029909935960 @ 3.40695
7.36/7.45 c GLOBAL bounds - >= -10029909935960 @ 3.42149
7.36/7.48 c GLOBAL bounds - >= -10029909935960 @ 3.43624
7.46/7.50 c GLOBAL bounds - >= -10029909935960 @ 3.44656
7.46/7.53 c GLOBAL bounds - >= -10029909935960 @ 3.45919
7.46/7.56 c GLOBAL bounds - >= -10029909935960 @ 3.47282
7.46/7.58 c GLOBAL bounds - >= -10029909935960 @ 3.48845
7.56/7.61 c GLOBAL bounds - >= -10029909935960 @ 3.50402
7.56/7.64 c GLOBAL bounds - >= -10029909935960 @ 3.51973
7.56/7.67 c GLOBAL bounds - >= -10029909935960 @ 3.53505
7.56/7.69 c GLOBAL bounds - >= -10029909935960 @ 3.54333
7.66/7.72 c GLOBAL bounds - >= -10029909935960 @ 3.55622
7.66/7.75 c GLOBAL bounds - >= -10029909935960 @ 3.57191
7.66/7.78 c GLOBAL bounds - >= -10029909935960 @ 3.58823
7.76/7.81 c GLOBAL bounds - >= -10029909935960 @ 3.60488
7.76/7.84 c GLOBAL bounds - >= -10029909935960 @ 3.62333
7.76/7.86 c GLOBAL bounds - >= -10029909935960 @ 3.63781
7.76/7.89 c GLOBAL bounds - >= -10029909935960 @ 3.65561
7.86/7.92 c GLOBAL bounds - >= -10029909935960 @ 3.67261
7.86/7.95 c GLOBAL bounds - >= -10029909935960 @ 3.68729
7.86/7.98 c GLOBAL bounds - >= -10029909935960 @ 3.69996
7.97/8.00 c GLOBAL bounds - >= -10029909935960 @ 3.71173
7.97/8.03 c GLOBAL bounds - >= -10029909935960 @ 3.72449
7.97/8.06 c GLOBAL bounds - >= -10029909935960 @ 3.7375
7.97/8.09 c GLOBAL bounds - >= -10029909935960 @ 3.75156
8.07/8.11 c GLOBAL bounds - >= -10029909935960 @ 3.7643
8.07/8.14 c GLOBAL bounds - >= -10029909935960 @ 3.77844
8.07/8.17 c GLOBAL bounds - >= -10029909935960 @ 3.78938
8.15/8.20 c GLOBAL bounds - >= -10029909935960 @ 3.808
8.15/8.23 c GLOBAL bounds - >= -10029909935960 @ 3.82186
8.15/8.26 c GLOBAL bounds - >= -10029909935960 @ 3.84554
8.15/8.29 c GLOBAL bounds - >= -10029909935960 @ 3.86143
8.25/8.34 c GLOBAL bounds - >= -10029909935960 @ 3.89828
8.35/8.40 c GLOBAL bounds - >= -10029909935960 @ 3.93897
8.35/8.43 c GLOBAL bounds - >= -10029909935960 @ 3.96327
8.46/8.52 c GLOBAL bounds - >= -10029909935960 @ 4.03313
8.46/8.58 c GLOBAL bounds - >= -10029909935960 @ 4.07397
8.56/8.62 c GLOBAL bounds - >= -10029909935960 @ 4.09896
8.56/8.66 c GLOBAL bounds - >= -10029909935960 @ 4.12779
8.56/8.69 c GLOBAL bounds - >= -10029909935960 @ 4.15166
8.65/8.73 c GLOBAL bounds - >= -10029909935960 @ 4.17138
8.65/8.77 c GLOBAL bounds - >= -10029909935960 @ 4.19405
8.75/8.80 c GLOBAL bounds - >= -10029909935960 @ 4.21863
8.75/8.85 c GLOBAL bounds - >= -10029909935960 @ 4.25062
8.86/8.93 c #Conflicts: 1000 | #Constraints: 5590
8.86/8.93 c GLOBAL bounds - >= -10029909935960 @ 4.31946
8.86/8.98 c GLOBAL bounds - >= -10029909935960 @ 4.35121
8.96/9.04 c GLOBAL bounds - >= -10029909935960 @ 4.39543
9.06/9.17 c GLOBAL bounds - >= -10029909935960 @ 4.503
9.36/9.49 c GLOBAL bounds - >= -10029909935960 @ 4.79773
9.65/9.75 c GLOBAL bounds - >= -10029909935960 @ 5.04201
9.75/9.87 c GLOBAL bounds - >= -10029909935960 @ 5.14719
9.86/9.96 c GLOBAL bounds - >= -10029909935960 @ 5.21467
9.95/10.00 c GLOBAL bounds - >= -10029909935960 @ 5.24761
9.95/10.05 c GLOBAL bounds - >= -10029909935960 @ 5.27659
9.95/10.09 c GLOBAL bounds - >= -10029909935960 @ 5.30371
10.05/10.13 c GLOBAL bounds - >= -10029909935960 @ 5.33134
10.05/10.17 c GLOBAL bounds - >= -10029909935960 @ 5.35976
10.15/10.22 c GLOBAL bounds - >= -10029909935960 @ 5.39152
10.15/10.26 c GLOBAL bounds - >= -10029909935960 @ 5.42248
10.25/10.30 c GLOBAL bounds - >= -10029909935960 @ 5.45285
10.25/10.35 c GLOBAL bounds - >= -10029909935960 @ 5.48244
10.35/10.41 c GLOBAL bounds - >= -10029909935960 @ 5.53017
10.35/10.45 c GLOBAL bounds - >= -10029909935960 @ 5.55455
10.35/10.49 c GLOBAL bounds - >= -10029909935960 @ 5.58407
10.45/10.53 c GLOBAL bounds - >= -10029909935960 @ 5.61268
10.45/10.58 c GLOBAL bounds - >= -10029909935960 @ 5.63856
10.54/10.62 c GLOBAL bounds - >= -10029909935960 @ 5.67025
10.54/10.66 c GLOBAL bounds - >= -10029909935960 @ 5.69736
10.65/10.70 c GLOBAL bounds - >= -10029909935960 @ 5.7246
10.65/10.74 c GLOBAL bounds - >= -10029909935960 @ 5.75183
10.65/10.78 c GLOBAL bounds - >= -10029909935960 @ 5.78104
10.75/10.82 c GLOBAL bounds - >= -10029909935960 @ 5.80997
10.75/10.87 c GLOBAL bounds - >= -10029909935960 @ 5.83615
10.85/10.90 c GLOBAL bounds - >= -10029909935960 @ 5.86609
10.85/10.94 c GLOBAL bounds - >= -10029909935960 @ 5.89073
10.85/10.98 c GLOBAL bounds - >= -10029909935960 @ 5.91364
10.96/11.02 c GLOBAL bounds - >= -10029909935960 @ 5.94351
10.96/11.07 c GLOBAL bounds - >= -10029909935960 @ 5.97316
11.05/11.11 c GLOBAL bounds - >= -10029909935960 @ 6.00051
11.05/11.15 c GLOBAL bounds - >= -10029909935960 @ 6.02641
11.05/11.19 c GLOBAL bounds - >= -10029909935960 @ 6.05403
11.14/11.23 c GLOBAL bounds - >= -10029909935960 @ 6.07741
11.14/11.27 c GLOBAL bounds - >= -10029909935960 @ 6.10345
11.25/11.31 c GLOBAL bounds - >= -10029909935960 @ 6.12916
11.25/11.35 c GLOBAL bounds - >= -10029909935960 @ 6.15406
11.25/11.39 c GLOBAL bounds - >= -10029909935960 @ 6.17943
11.34/11.43 c GLOBAL bounds - >= -10029909935960 @ 6.20736
11.34/11.47 c GLOBAL bounds - >= -10029909935960 @ 6.23081
11.45/11.51 c GLOBAL bounds - >= -10029909935960 @ 6.25876
11.45/11.55 c GLOBAL bounds - >= -10029909935960 @ 6.28496
11.45/11.59 c GLOBAL bounds - >= -10029909935960 @ 6.31084
11.55/11.63 c GLOBAL bounds - >= -10029909935960 @ 6.33899
11.55/11.67 c GLOBAL bounds - >= -10029909935960 @ 6.36144
11.65/11.71 c GLOBAL bounds - >= -10029909935960 @ 6.38804
11.74/11.81 c #Conflicts: 2000 | #Constraints: 6690
11.74/11.81 c INPROCESSING
11.74/11.81 c GARBAGE COLLECT
11.74/11.81 c GLOBAL bounds - >= -10029909935960 @ 6.47703
11.74/11.85 c GLOBAL bounds - >= -10029909935960 @ 6.49908
11.74/11.88 c GLOBAL bounds - >= -10029909935960 @ 6.52198
11.84/11.91 c GLOBAL bounds - >= -10029909935960 @ 6.5379
11.84/11.95 c GLOBAL bounds - >= -10029909935960 @ 6.55713
11.84/11.98 c GLOBAL bounds - >= -10029909935960 @ 6.5801
11.95/12.01 c GLOBAL bounds - >= -10029909935960 @ 6.59533
11.95/12.05 c GLOBAL bounds - >= -10029909935960 @ 6.6148
11.95/12.08 c GLOBAL bounds - >= -10029909935960 @ 6.63512
12.05/12.11 c GLOBAL bounds - >= -10029909935960 @ 6.65798
12.05/12.14 c GLOBAL bounds - >= -10029909935960 @ 6.67816
12.05/12.17 c GLOBAL bounds - >= -10029909935960 @ 6.69559
12.15/12.21 c GLOBAL bounds - >= -10029909935960 @ 6.71405
12.15/12.24 c GLOBAL bounds - >= -10029909935960 @ 6.73253
12.15/12.27 c GLOBAL bounds - >= -10029909935960 @ 6.74959
12.24/12.30 c GLOBAL bounds - >= -10029909935960 @ 6.76807
12.24/12.34 c GLOBAL bounds - >= -10029909935960 @ 6.78647
12.24/12.37 c GLOBAL bounds - >= -10029909935960 @ 6.80151
12.34/12.40 c GLOBAL bounds - >= -10029909935960 @ 6.8187
12.34/12.43 c GLOBAL bounds - >= -10029909935960 @ 6.83738
12.34/12.46 c GLOBAL bounds - >= -10029909935960 @ 6.85843
12.34/12.49 c GLOBAL bounds - >= -10029909935960 @ 6.87751
12.45/12.53 c GLOBAL bounds - >= -10029909935960 @ 6.89854
12.45/12.56 c GLOBAL bounds - >= -10029909935960 @ 6.91756
12.45/12.59 c GLOBAL bounds - >= -10029909935960 @ 6.93686
12.54/12.62 c GLOBAL bounds - >= -10029909935960 @ 6.95885
12.54/12.65 c GLOBAL bounds - >= -10029909935960 @ 6.97946
12.54/12.68 c GLOBAL bounds - >= -10029909935960 @ 6.99873
12.64/12.71 c GLOBAL bounds - >= -10029909935960 @ 7.01468
12.64/12.75 c GLOBAL bounds - >= -10029909935960 @ 7.03127
12.64/12.78 c GLOBAL bounds - >= -10029909935960 @ 7.04812
12.75/12.81 c GLOBAL bounds - >= -10029909935960 @ 7.0649
12.75/12.84 c GLOBAL bounds - >= -10029909935960 @ 7.08368
12.75/12.87 c GLOBAL bounds - >= -10029909935960 @ 7.10065
12.84/12.90 c GLOBAL bounds - >= -10029909935960 @ 7.11807
12.84/12.93 c GLOBAL bounds - >= -10029909935960 @ 7.13751
12.84/12.96 c GLOBAL bounds - >= -10029909935960 @ 7.15303
12.84/12.99 c GLOBAL bounds - >= -10029909935960 @ 7.16853
12.95/13.02 c GLOBAL bounds - >= -10029909935960 @ 7.18521
12.95/13.05 c GLOBAL bounds - >= -10029909935960 @ 7.20799
12.95/13.08 c GLOBAL bounds - >= -10029909935960 @ 7.22276
13.05/13.12 c GLOBAL bounds - >= -10029909935960 @ 7.24354
13.05/13.15 c GLOBAL bounds - >= -10029909935960 @ 7.26348
13.05/13.18 c GLOBAL bounds - >= -10029909935960 @ 7.28062
13.14/13.21 c GLOBAL bounds - >= -10029909935960 @ 7.29877
13.14/13.24 c GLOBAL bounds - >= -10029909935960 @ 7.32096
13.14/13.27 c GLOBAL bounds - >= -10029909935960 @ 7.33493
13.25/13.30 c GLOBAL bounds - >= -10029909935960 @ 7.35309
13.25/13.33 c GLOBAL bounds - >= -10029909935960 @ 7.3692
13.25/13.36 c GLOBAL bounds - >= -10029909935960 @ 7.3871
13.25/13.39 c GLOBAL bounds - >= -10029909935960 @ 7.40117
13.34/13.42 c GLOBAL bounds - >= -10029909935960 @ 7.42023
13.34/13.45 c GLOBAL bounds - >= -10029909935960 @ 7.43624
13.34/13.48 c GLOBAL bounds - >= -10029909935960 @ 7.45449
13.44/13.51 c GLOBAL bounds - >= -10029909935960 @ 7.47014
13.44/13.54 c GLOBAL bounds - >= -10029909935960 @ 7.48794
13.44/13.58 c GLOBAL bounds - >= -10029909935960 @ 7.50368
13.54/13.61 c GLOBAL bounds - >= -10029909935960 @ 7.52147
13.54/13.64 c GLOBAL bounds - >= -10029909935960 @ 7.54324
13.54/13.67 c GLOBAL bounds - >= -10029909935960 @ 7.56725
13.74/13.87 c GLOBAL bounds - >= -10029909935960 @ 7.75298
14.94/15.09 c #Conflicts: 3000 | #Constraints: 6814
14.94/15.09 c GLOBAL bounds - >= -10029909935960 @ 8.93077
16.94/17.05 c #Conflicts: 4000 | #Constraints: 7816
16.94/17.05 c INPROCESSING
16.94/17.05 c GARBAGE COLLECT
16.94/17.05 c GLOBAL bounds - >= -10029909935960 @ 10.8429
17.13/17.22 c GLOBAL bounds - >= -10029909935960 @ 10.9987
17.33/17.40 c GLOBAL bounds - >= -10029909935960 @ 11.1541
18.83/18.91 c #Conflicts: 5000 | #Constraints: 7238
18.83/18.91 c GLOBAL bounds - >= -10029909935960 @ 12.6355
19.12/19.26 c #Conflicts: 6000 | #Constraints: 8240
19.12/19.26 c GLOBAL bounds - >= -10029909935960 @ 12.9672
19.42/19.54 c GLOBAL bounds - >= -10029909935960 @ 13.2188
19.53/19.61 c GLOBAL bounds - >= -10029909935960 @ 13.2744
22.12/22.27 c INPROCESSING
22.12/22.27 c GARBAGE COLLECT
22.12/22.27 c #Conflicts: 7000 | #Constraints: 7253
22.12/22.27 c #Conflicts: 8000 | #Constraints: 8253
22.12/22.27 c GLOBAL bounds - >= -10029909935960 @ 15.8838
23.61/23.77 c #Conflicts: 9000 | #Constraints: 9255
23.61/23.77 c INPROCESSING
23.61/23.77 c GARBAGE COLLECT
23.61/23.77 c GLOBAL bounds - >= -10029909935960 @ 17.3395
23.81/24.00 c GLOBAL bounds - >= -10029909935960 @ 17.5508
26.01/26.13 c #Conflicts: 10000 | #Constraints: 7952
26.01/26.13 c GLOBAL bounds - >= -10029909935960 @ 19.6243
26.01/26.17 c GLOBAL bounds - >= -10029909935960 @ 19.6526
26.10/26.21 c GLOBAL bounds - >= -10029909935960 @ 19.6848
27.40/27.53 c #Conflicts: 11000 | #Constraints: 8958
27.40/27.53 c GLOBAL bounds - >= -10029909935960 @ 20.9771
27.69/27.84 c GLOBAL bounds - >= -10029909935960 @ 21.2655
30.18/30.37 c #Conflicts: 12000 | #Constraints: 9962
30.18/30.37 c INPROCESSING
30.18/30.37 c GARBAGE COLLECT
30.18/30.37 c #Conflicts: 13000 | #Constraints: 8424
30.18/30.37 c GLOBAL bounds - >= -10029909935960 @ 23.7481
30.38/30.51 c GLOBAL bounds - >= -10029909935960 @ 23.8718
30.58/30.72 c GLOBAL bounds - >= -10029909935960 @ 24.0634
30.58/30.77 c GLOBAL bounds - >= -10029909935960 @ 24.098
42.75/42.95 c #Conflicts: 14000 | #Constraints: 9432
42.75/42.95 c #Conflicts: 15000 | #Constraints: 10432
42.75/42.95 c INPROCESSING
42.75/42.95 c GARBAGE COLLECT
42.75/42.95 c #Conflicts: 16000 | #Constraints: 8660
42.75/42.95 c #Conflicts: 17000 | #Constraints: 9660
42.75/42.95 c #Conflicts: 18000 | #Constraints: 10660
42.75/42.95 c INPROCESSING
42.75/42.95 c GARBAGE COLLECT
42.75/42.95 c GLOBAL bounds - >= -10029909935960 @ 36.0948
63.77/64.08 c #Conflicts: 19000 | #Constraints: 8678
63.77/64.08 c #Conflicts: 20000 | #Constraints: 9678
63.77/64.08 c #Conflicts: 21000 | #Constraints: 10678
63.77/64.08 c INPROCESSING
63.77/64.08 c GARBAGE COLLECT
63.77/64.08 c #Conflicts: 22000 | #Constraints: 8485
63.77/64.08 c #Conflicts: 23000 | #Constraints: 9485
63.77/64.08 c #Conflicts: 24000 | #Constraints: 10485
63.77/64.08 c #Conflicts: 25000 | #Constraints: 11485
63.77/64.08 c INPROCESSING
63.77/64.08 c GARBAGE COLLECT
63.77/64.08 c #Conflicts: 26000 | #Constraints: 9088
63.77/64.08 c #Conflicts: 27000 | #Constraints: 10088
63.77/64.08 c GLOBAL bounds - >= -10029909935960 @ 56.9141
67.77/68.09 c #Conflicts: 28000 | #Constraints: 11090
67.77/68.09 c GLOBAL bounds - >= -10029909935960 @ 60.8725
70.35/70.60 c #Conflicts: 29000 | #Constraints: 12092
70.35/70.60 c INPROCESSING
70.35/70.60 c GARBAGE COLLECT
70.35/70.60 c GLOBAL bounds - >= -10029909935960 @ 63.3445
243.46/244.39 c #Conflicts: 30000 | #Constraints: 9516
243.46/244.39 c #Conflicts: 31000 | #Constraints: 10516
243.46/244.39 c #Conflicts: 32000 | #Constraints: 11516
243.46/244.39 c #Conflicts: 33000 | #Constraints: 12516
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 34000 | #Constraints: 9704
243.46/244.39 c #Conflicts: 35000 | #Constraints: 10704
243.46/244.39 c #Conflicts: 36000 | #Constraints: 11704
243.46/244.39 c #Conflicts: 37000 | #Constraints: 12704
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 38000 | #Constraints: 9700
243.46/244.39 c #Conflicts: 39000 | #Constraints: 10700
243.46/244.39 c #Conflicts: 40000 | #Constraints: 11700
243.46/244.39 c #Conflicts: 41000 | #Constraints: 12700
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 42000 | #Constraints: 9502
243.46/244.39 c #Conflicts: 43000 | #Constraints: 10502
243.46/244.39 c #Conflicts: 44000 | #Constraints: 11502
243.46/244.39 c #Conflicts: 45000 | #Constraints: 12502
243.46/244.39 c #Conflicts: 46000 | #Constraints: 13502
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 47000 | #Constraints: 10102
243.46/244.39 c #Conflicts: 48000 | #Constraints: 11102
243.46/244.39 c #Conflicts: 49000 | #Constraints: 12102
243.46/244.39 c #Conflicts: 50000 | #Constraints: 13102
243.46/244.39 c #Conflicts: 51000 | #Constraints: 14102
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 52000 | #Constraints: 10503
243.46/244.39 c #Conflicts: 53000 | #Constraints: 11503
243.46/244.39 c #Conflicts: 54000 | #Constraints: 12503
243.46/244.39 c #Conflicts: 55000 | #Constraints: 13503
243.46/244.39 c #Conflicts: 56000 | #Constraints: 14503
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 57000 | #Constraints: 10704
243.46/244.39 c #Conflicts: 58000 | #Constraints: 11704
243.46/244.39 c #Conflicts: 59000 | #Constraints: 12704
243.46/244.39 c #Conflicts: 60000 | #Constraints: 13704
243.46/244.39 c #Conflicts: 61000 | #Constraints: 14704
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 62000 | #Constraints: 10704
243.46/244.39 c #Conflicts: 63000 | #Constraints: 11704
243.46/244.39 c #Conflicts: 64000 | #Constraints: 12704
243.46/244.39 c #Conflicts: 65000 | #Constraints: 13704
243.46/244.39 c #Conflicts: 66000 | #Constraints: 14704
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 67000 | #Constraints: 10509
243.46/244.39 c #Conflicts: 68000 | #Constraints: 11509
243.46/244.39 c #Conflicts: 69000 | #Constraints: 12509
243.46/244.39 c #Conflicts: 70000 | #Constraints: 13509
243.46/244.39 c #Conflicts: 71000 | #Constraints: 14509
243.46/244.39 c #Conflicts: 72000 | #Constraints: 15509
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 73000 | #Constraints: 11111
243.46/244.39 c #Conflicts: 74000 | #Constraints: 12111
243.46/244.39 c #Conflicts: 75000 | #Constraints: 13111
243.46/244.39 c #Conflicts: 76000 | #Constraints: 14111
243.46/244.39 c #Conflicts: 77000 | #Constraints: 15111
243.46/244.39 c #Conflicts: 78000 | #Constraints: 16111
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 79000 | #Constraints: 11512
243.46/244.39 c #Conflicts: 80000 | #Constraints: 12512
243.46/244.39 c #Conflicts: 81000 | #Constraints: 13512
243.46/244.39 c #Conflicts: 82000 | #Constraints: 14512
243.46/244.39 c #Conflicts: 83000 | #Constraints: 15512
243.46/244.39 c #Conflicts: 84000 | #Constraints: 16512
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 85000 | #Constraints: 11716
243.46/244.39 c #Conflicts: 86000 | #Constraints: 12716
243.46/244.39 c #Conflicts: 87000 | #Constraints: 13716
243.46/244.39 c #Conflicts: 88000 | #Constraints: 14716
243.46/244.39 c #Conflicts: 89000 | #Constraints: 15716
243.46/244.39 c #Conflicts: 90000 | #Constraints: 16716
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 91000 | #Constraints: 11720
243.46/244.39 c #Conflicts: 92000 | #Constraints: 12720
243.46/244.39 c #Conflicts: 93000 | #Constraints: 13720
243.46/244.39 c #Conflicts: 94000 | #Constraints: 14720
243.46/244.39 c #Conflicts: 95000 | #Constraints: 15720
243.46/244.39 c #Conflicts: 96000 | #Constraints: 16720
243.46/244.39 c INPROCESSING
243.46/244.39 c GARBAGE COLLECT
243.46/244.39 c #Conflicts: 97000 | #Constraints: 11511
243.46/244.39 c #Conflicts: 98000 | #Constraints: 12511
243.46/244.39 c #Conflicts: 99000 | #Constraints: 13511
243.46/244.39 c #Conflicts: 100000 | #Constraints: 14511
252.73/253.67 c #Conflicts: 101000 | #Constraints: 15511
252.73/253.67 c #Conflicts: 102000 | #Constraints: 16511
252.73/253.67 c GLOBAL bounds - >= -1831606905 @ 244.64
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.794
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.795
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.796
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.797
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.798
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.799
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.84 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.8
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.801
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.802
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.803
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.804
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.805
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.806
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.807
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.808
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.809
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.85 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.81
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.86 c GLOBAL bounds - >= -1831606905 @ 244.811
252.93/253.89 c GLOBAL bounds - >= -1831606905 @ 244.828
252.93/253.89 c GLOBAL bounds - >= -1831606905 @ 244.829
253.03/253.91 c GLOBAL bounds - >= -1831606905 @ 244.843
253.03/253.91 c GLOBAL bounds - >= -1831606905 @ 244.843
253.03/253.94 c GLOBAL bounds - >= -1831606905 @ 244.858
253.03/253.94 c GLOBAL bounds - >= -1831606905 @ 244.859
253.03/253.97 c GLOBAL bounds - >= -1831606905 @ 244.872
253.03/253.97 c GLOBAL bounds - >= -1831606905 @ 244.872
253.13/254.00 c GLOBAL bounds - >= -1831606905 @ 244.89
253.13/254.00 c GLOBAL bounds - >= -1831606905 @ 244.89
253.13/254.03 c GLOBAL bounds - >= -1831606905 @ 244.904
253.13/254.03 c GLOBAL bounds - >= -1831606905 @ 244.904
253.13/254.06 c GLOBAL bounds - >= -1831606905 @ 244.92
253.13/254.06 c GLOBAL bounds - >= -1831606905 @ 244.921
253.13/254.09 c GLOBAL bounds - >= -1831606905 @ 244.934
253.13/254.09 c GLOBAL bounds - >= -1831606905 @ 244.934
253.23/254.13 c GLOBAL bounds - >= -1831606905 @ 244.953
253.23/254.13 c GLOBAL bounds - >= -1831606905 @ 244.953
253.23/254.16 c GLOBAL bounds - >= -1831606905 @ 244.968
254.03/255.00 c #Conflicts: 103000 | #Constraints: 17918
254.03/255.00 c INPROCESSING
254.03/255.00 c GARBAGE COLLECT
254.03/255.00 c GLOBAL bounds - >= -1831606905 @ 245.777
254.23/255.13 c #Conflicts: 104000 | #Constraints: 12517
254.23/255.13 c GLOBAL bounds - >= -1831606905 @ 245.901
254.33/255.26 c GLOBAL bounds - >= -1831606905 @ 246.006
254.53/255.43 c GLOBAL bounds - >= -1831606905 @ 246.163
254.62/255.53 c GLOBAL bounds - >= -1831606905 @ 246.249
254.82/255.73 c GLOBAL bounds - >= -1831606905 @ 246.424
254.92/255.84 c #Conflicts: 105000 | #Constraints: 13532
254.92/255.84 c GLOBAL bounds - >= -1831606905 @ 246.517
255.02/255.96 c GLOBAL bounds - >= -1831606905 @ 246.626
475.30/476.95 c #Conflicts: 106000 | #Constraints: 14538
475.30/476.95 c #Conflicts: 107000 | #Constraints: 15538
475.30/476.95 c #Conflicts: 108000 | #Constraints: 16538
475.30/476.95 c #Conflicts: 109000 | #Constraints: 17538
475.30/476.95 c #Conflicts: 110000 | #Constraints: 18538
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 111000 | #Constraints: 12916
475.30/476.95 c #Conflicts: 112000 | #Constraints: 13916
475.30/476.95 c #Conflicts: 113000 | #Constraints: 14916
475.30/476.95 c #Conflicts: 114000 | #Constraints: 15916
475.30/476.95 c #Conflicts: 115000 | #Constraints: 16916
475.30/476.95 c #Conflicts: 116000 | #Constraints: 17916
475.30/476.95 c #Conflicts: 117000 | #Constraints: 18916
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 118000 | #Constraints: 13117
475.30/476.95 c #Conflicts: 119000 | #Constraints: 14117
475.30/476.95 c #Conflicts: 120000 | #Constraints: 15117
475.30/476.95 c #Conflicts: 121000 | #Constraints: 16117
475.30/476.95 c #Conflicts: 122000 | #Constraints: 17117
475.30/476.95 c #Conflicts: 123000 | #Constraints: 18117
475.30/476.95 c #Conflicts: 124000 | #Constraints: 19117
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 125000 | #Constraints: 13118
475.30/476.95 c #Conflicts: 126000 | #Constraints: 14118
475.30/476.95 c #Conflicts: 127000 | #Constraints: 15118
475.30/476.95 c #Conflicts: 128000 | #Constraints: 16118
475.30/476.95 c #Conflicts: 129000 | #Constraints: 17118
475.30/476.95 c #Conflicts: 130000 | #Constraints: 18118
475.30/476.95 c #Conflicts: 131000 | #Constraints: 19118
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 132000 | #Constraints: 12916
475.30/476.95 c #Conflicts: 133000 | #Constraints: 13916
475.30/476.95 c #Conflicts: 134000 | #Constraints: 14916
475.30/476.95 c #Conflicts: 135000 | #Constraints: 15916
475.30/476.95 c #Conflicts: 136000 | #Constraints: 16916
475.30/476.95 c #Conflicts: 137000 | #Constraints: 17916
475.30/476.95 c #Conflicts: 138000 | #Constraints: 18916
475.30/476.95 c #Conflicts: 139000 | #Constraints: 19916
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 140000 | #Constraints: 13531
475.30/476.95 c #Conflicts: 141000 | #Constraints: 14531
475.30/476.95 c #Conflicts: 142000 | #Constraints: 15531
475.30/476.95 c #Conflicts: 143000 | #Constraints: 16531
475.30/476.95 c #Conflicts: 144000 | #Constraints: 17531
475.30/476.95 c #Conflicts: 145000 | #Constraints: 18531
475.30/476.95 c #Conflicts: 146000 | #Constraints: 19531
475.30/476.95 c #Conflicts: 147000 | #Constraints: 20531
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 148000 | #Constraints: 13924
475.30/476.95 c #Conflicts: 149000 | #Constraints: 14924
475.30/476.95 c #Conflicts: 150000 | #Constraints: 15924
475.30/476.95 c #Conflicts: 151000 | #Constraints: 16924
475.30/476.95 c #Conflicts: 152000 | #Constraints: 17924
475.30/476.95 c #Conflicts: 153000 | #Constraints: 18924
475.30/476.95 c #Conflicts: 154000 | #Constraints: 19924
475.30/476.95 c #Conflicts: 155000 | #Constraints: 20924
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 156000 | #Constraints: 14130
475.30/476.95 c #Conflicts: 157000 | #Constraints: 15130
475.30/476.95 c #Conflicts: 158000 | #Constraints: 16130
475.30/476.95 c #Conflicts: 159000 | #Constraints: 17130
475.30/476.95 c #Conflicts: 160000 | #Constraints: 18130
475.30/476.95 c #Conflicts: 161000 | #Constraints: 19130
475.30/476.95 c #Conflicts: 162000 | #Constraints: 20130
475.30/476.95 c #Conflicts: 163000 | #Constraints: 21130
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 164000 | #Constraints: 14126
475.30/476.95 c #Conflicts: 165000 | #Constraints: 15126
475.30/476.95 c #Conflicts: 166000 | #Constraints: 16126
475.30/476.95 c #Conflicts: 167000 | #Constraints: 17126
475.30/476.95 c #Conflicts: 168000 | #Constraints: 18126
475.30/476.95 c #Conflicts: 169000 | #Constraints: 19126
475.30/476.95 c #Conflicts: 170000 | #Constraints: 20126
475.30/476.95 c #Conflicts: 171000 | #Constraints: 21126
475.30/476.95 c INPROCESSING
475.30/476.95 c GARBAGE COLLECT
475.30/476.95 c #Conflicts: 172000 | #Constraints: 13923
475.30/476.95 c #Conflicts: 173000 | #Constraints: 14923
475.30/476.95 c #Conflicts: 174000 | #Constraints: 15923
475.30/476.95 c #Conflicts: 175000 | #Constraints: 16923
475.30/476.95 c #Conflicts: 176000 | #Constraints: 17923
475.30/476.95 c #Conflicts: 177000 | #Constraints: 18923
475.30/476.95 c #Conflicts: 178000 | #Constraints: 19923
475.30/476.95 c #Conflicts: 179000 | #Constraints: 20923
749.46/751.93 c #Conflicts: 180000 | #Constraints: 21923
749.46/751.93 c INPROCESSING
749.46/751.93 c GARBAGE COLLECT
749.46/751.93 c #Conflicts: 181000 | #Constraints: 14523
749.46/751.93 c #Conflicts: 182000 | #Constraints: 15523
749.46/751.93 c #Conflicts: 183000 | #Constraints: 16523
749.46/751.93 c #Conflicts: 184000 | #Constraints: 17523
749.46/751.93 c #Conflicts: 185000 | #Constraints: 18523
749.46/751.93 c #Conflicts: 186000 | #Constraints: 19523
749.46/751.93 c #Conflicts: 187000 | #Constraints: 20523
749.46/751.93 c #Conflicts: 188000 | #Constraints: 21523
749.46/751.93 c #Conflicts: 189000 | #Constraints: 22523
749.46/751.93 c INPROCESSING
749.46/751.93 c GARBAGE COLLECT
749.46/751.93 c #Conflicts: 190000 | #Constraints: 14926
749.46/751.93 c #Conflicts: 191000 | #Constraints: 15926
749.46/751.93 c #Conflicts: 192000 | #Constraints: 16926
749.46/751.93 c #Conflicts: 193000 | #Constraints: 17926
749.46/751.93 c #Conflicts: 194000 | #Constraints: 18926
749.46/751.93 c #Conflicts: 195000 | #Constraints: 19926
749.46/751.93 c #Conflicts: 196000 | #Constraints: 20926
749.46/751.93 c #Conflicts: 197000 | #Constraints: 21926
749.46/751.93 c #Conflicts: 198000 | #Constraints: 22926
749.46/751.93 c INPROCESSING
749.46/751.93 c GARBAGE COLLECT
749.46/751.93 c #Conflicts: 199000 | #Constraints: 15140
749.46/751.93 c #Conflicts: 200000 | #Constraints: 16140
749.46/751.93 c #Conflicts: 201000 | #Constraints: 17140
749.46/751.93 c #Conflicts: 202000 | #Constraints: 18140
749.46/751.93 c #Conflicts: 203000 | #Constraints: 19140
749.46/751.93 c #Conflicts: 204000 | #Constraints: 20140
749.46/751.93 c #Conflicts: 205000 | #Constraints: 21140
749.46/751.93 c #Conflicts: 206000 | #Constraints: 22140
749.46/751.93 c #Conflicts: 207000 | #Constraints: 23140
749.46/751.93 c INPROCESSING
749.46/751.93 c GARBAGE COLLECT
749.46/751.93 c #Conflicts: 208000 | #Constraints: 15138
749.46/751.93 c #Conflicts: 209000 | #Constraints: 16138
749.46/751.93 c #Conflicts: 210000 | #Constraints: 17138
749.46/751.93 c #Conflicts: 211000 | #Constraints: 18138
749.46/751.93 c #Conflicts: 212000 | #Constraints: 19138
749.46/751.93 c #Conflicts: 213000 | #Constraints: 20138
749.46/751.93 c #Conflicts: 214000 | #Constraints: 21138
749.46/751.93 c #Conflicts: 215000 | #Constraints: 22138
749.46/751.93 c #Conflicts: 216000 | #Constraints: 23138
749.46/751.93 c INPROCESSING
749.46/751.93 c GARBAGE COLLECT
749.46/751.93 c #Conflicts: 217000 | #Constraints: 14923
749.46/751.93 c #Conflicts: 218000 | #Constraints: 15923
749.46/751.93 c #Conflicts: 219000 | #Constraints: 16923
749.46/751.93 c #Conflicts: 220000 | #Constraints: 17923
749.46/751.93 c #Conflicts: 221000 | #Constraints: 18923
749.46/751.93 c #Conflicts: 222000 | #Constraints: 19923
749.46/751.93 c #Conflicts: 223000 | #Constraints: 20923
749.46/751.93 c #Conflicts: 224000 | #Constraints: 21923
749.46/751.93 c #Conflicts: 225000 | #Constraints: 22923
749.46/751.93 c #Conflicts: 226000 | #Constraints: 23923
749.46/751.93 c INPROCESSING
749.46/751.93 c GARBAGE COLLECT
749.46/751.93 c #Conflicts: 227000 | #Constraints: 15530
749.46/751.93 c #Conflicts: 228000 | #Constraints: 16530
749.46/751.93 c #Conflicts: 229000 | #Constraints: 17530
749.46/751.93 c #Conflicts: 230000 | #Constraints: 18530
749.46/751.93 c #Conflicts: 231000 | #Constraints: 19530
749.46/751.93 c #Conflicts: 232000 | #Constraints: 20530
749.46/751.93 c #Conflicts: 233000 | #Constraints: 21530
749.46/751.93 c #Conflicts: 234000 | #Constraints: 22530
749.46/751.93 c #Conflicts: 235000 | #Constraints: 23530
749.46/751.93 c #Conflicts: 236000 | #Constraints: 24530
749.46/751.93 c INPROCESSING
749.46/751.93 c GARBAGE COLLECT
749.46/751.93 c #Conflicts: 237000 | #Constraints: 15927
749.46/751.93 c #Conflicts: 238000 | #Constraints: 16927
749.46/751.93 c #Conflicts: 239000 | #Constraints: 17927
749.46/751.93 c #Conflicts: 240000 | #Constraints: 18927
749.46/751.93 c #Conflicts: 241000 | #Constraints: 19927
749.46/751.93 c #Conflicts: 242000 | #Constraints: 20927
749.46/751.93 c #Conflicts: 243000 | #Constraints: 21927
749.46/751.93 c #Conflicts: 244000 | #Constraints: 22927
749.46/751.93 c #Conflicts: 245000 | #Constraints: 23927
749.46/751.93 c #Conflicts: 246000 | #Constraints: 24927
749.46/751.93 c INPROCESSING
749.46/751.93 c GARBAGE COLLECT
749.46/751.93 c #Conflicts: 247000 | #Constraints: 16134
749.46/751.93 c #Conflicts: 248000 | #Constraints: 17134
749.46/751.93 c #Conflicts: 249000 | #Constraints: 18134
749.46/751.93 c #Conflicts: 250000 | #Constraints: 19134
749.46/751.93 c #Conflicts: 251000 | #Constraints: 20134
749.46/751.93 c #Conflicts: 252000 | #Constraints: 21134
1081.88/1085.25 c #Conflicts: 253000 | #Constraints: 22134
1081.88/1085.25 c #Conflicts: 254000 | #Constraints: 23134
1081.88/1085.25 c #Conflicts: 255000 | #Constraints: 24134
1081.88/1085.25 c #Conflicts: 256000 | #Constraints: 25134
1081.88/1085.25 c INPROCESSING
1081.88/1085.25 c GARBAGE COLLECT
1081.88/1085.25 c #Conflicts: 257000 | #Constraints: 16132
1081.88/1085.25 c #Conflicts: 258000 | #Constraints: 17132
1081.88/1085.25 c #Conflicts: 259000 | #Constraints: 18132
1081.88/1085.25 c #Conflicts: 260000 | #Constraints: 19132
1081.88/1085.25 c #Conflicts: 261000 | #Constraints: 20132
1081.88/1085.25 c #Conflicts: 262000 | #Constraints: 21132
1081.88/1085.25 c #Conflicts: 263000 | #Constraints: 22132
1081.88/1085.25 c #Conflicts: 264000 | #Constraints: 23132
1081.88/1085.25 c #Conflicts: 265000 | #Constraints: 24132
1081.88/1085.25 c #Conflicts: 266000 | #Constraints: 25132
1081.88/1085.25 c INPROCESSING
1081.88/1085.25 c GARBAGE COLLECT
1081.88/1085.25 c #Conflicts: 267000 | #Constraints: 15930
1081.88/1085.25 c #Conflicts: 268000 | #Constraints: 16930
1081.88/1085.25 c #Conflicts: 269000 | #Constraints: 17930
1081.88/1085.25 c #Conflicts: 270000 | #Constraints: 18930
1081.88/1085.25 c #Conflicts: 271000 | #Constraints: 19930
1081.88/1085.25 c #Conflicts: 272000 | #Constraints: 20930
1081.88/1085.25 c #Conflicts: 273000 | #Constraints: 21930
1081.88/1085.25 c #Conflicts: 274000 | #Constraints: 22930
1081.88/1085.25 c #Conflicts: 275000 | #Constraints: 23930
1081.88/1085.25 c #Conflicts: 276000 | #Constraints: 24930
1081.88/1085.25 c #Conflicts: 277000 | #Constraints: 25930
1081.88/1085.25 c INPROCESSING
1081.88/1085.25 c GARBAGE COLLECT
1081.88/1085.25 c #Conflicts: 278000 | #Constraints: 16537
1081.88/1085.25 c #Conflicts: 279000 | #Constraints: 17537
1081.88/1085.25 c #Conflicts: 280000 | #Constraints: 18537
1081.88/1085.25 c #Conflicts: 281000 | #Constraints: 19537
1081.88/1085.25 c #Conflicts: 282000 | #Constraints: 20537
1081.88/1085.25 c #Conflicts: 283000 | #Constraints: 21537
1081.88/1085.25 c #Conflicts: 284000 | #Constraints: 22537
1081.88/1085.25 c #Conflicts: 285000 | #Constraints: 23537
1081.88/1085.25 c #Conflicts: 286000 | #Constraints: 24537
1081.88/1085.25 c #Conflicts: 287000 | #Constraints: 25537
1081.88/1085.25 c #Conflicts: 288000 | #Constraints: 26537
1081.88/1085.25 c INPROCESSING
1081.88/1085.25 c GARBAGE COLLECT
1081.88/1085.25 c #Conflicts: 289000 | #Constraints: 16928
1081.88/1085.25 c #Conflicts: 290000 | #Constraints: 17928
1081.88/1085.25 c #Conflicts: 291000 | #Constraints: 18928
1081.88/1085.25 c #Conflicts: 292000 | #Constraints: 19928
1081.88/1085.25 c #Conflicts: 293000 | #Constraints: 20928
1081.88/1085.25 c #Conflicts: 294000 | #Constraints: 21928
1081.88/1085.25 c #Conflicts: 295000 | #Constraints: 22928
1081.88/1085.25 c #Conflicts: 296000 | #Constraints: 23928
1081.88/1085.25 c #Conflicts: 297000 | #Constraints: 24928
1081.88/1085.25 c #Conflicts: 298000 | #Constraints: 25928
1081.88/1085.25 c #Conflicts: 299000 | #Constraints: 26928
1081.88/1085.25 c INPROCESSING
1081.88/1085.25 c GARBAGE COLLECT
1081.88/1085.25 c #Conflicts: 300000 | #Constraints: 17140
1081.88/1085.25 c #Conflicts: 301000 | #Constraints: 18140
1081.88/1085.25 c #Conflicts: 302000 | #Constraints: 19140
1081.88/1085.25 c #Conflicts: 303000 | #Constraints: 20140
1081.88/1085.25 c #Conflicts: 304000 | #Constraints: 21140
1081.88/1085.25 c #Conflicts: 305000 | #Constraints: 22140
1081.88/1085.25 c #Conflicts: 306000 | #Constraints: 23140
1081.88/1085.25 c #Conflicts: 307000 | #Constraints: 24140
1081.88/1085.25 c #Conflicts: 308000 | #Constraints: 25140
1081.88/1085.25 c #Conflicts: 309000 | #Constraints: 26140
1081.88/1085.25 c #Conflicts: 310000 | #Constraints: 27140
1081.88/1085.25 c INPROCESSING
1081.88/1085.25 c GARBAGE COLLECT
1081.88/1085.25 c #Conflicts: 311000 | #Constraints: 17131
1081.88/1085.25 c #Conflicts: 312000 | #Constraints: 18131
1081.88/1085.25 c #Conflicts: 313000 | #Constraints: 19131
1081.88/1085.25 c #Conflicts: 314000 | #Constraints: 20131
1081.88/1085.25 c #Conflicts: 315000 | #Constraints: 21131
1081.88/1085.25 c #Conflicts: 316000 | #Constraints: 22131
1081.88/1085.25 c #Conflicts: 317000 | #Constraints: 23131
1081.88/1085.25 c #Conflicts: 318000 | #Constraints: 24131
1081.88/1085.25 c #Conflicts: 319000 | #Constraints: 25131
1081.88/1085.25 c #Conflicts: 320000 | #Constraints: 26131
1081.88/1085.25 c #Conflicts: 321000 | #Constraints: 27131
1081.88/1085.25 c INPROCESSING
1081.88/1085.25 c GARBAGE COLLECT
1081.88/1085.25 c #Conflicts: 322000 | #Constraints: 16942
1081.88/1085.25 c #Conflicts: 323000 | #Constraints: 17942
1081.88/1085.25 c #Conflicts: 324000 | #Constraints: 18942
1081.88/1085.25 c #Conflicts: 325000 | #Constraints: 19942
1081.88/1085.25 c #Conflicts: 326000 | #Constraints: 20942
1081.88/1085.25 c #Conflicts: 327000 | #Constraints: 21942
1488.58/1493.20 c #Conflicts: 328000 | #Constraints: 22942
1488.58/1493.20 c #Conflicts: 329000 | #Constraints: 23942
1488.58/1493.20 c #Conflicts: 330000 | #Constraints: 24942
1488.58/1493.20 c #Conflicts: 331000 | #Constraints: 25942
1488.58/1493.20 c #Conflicts: 332000 | #Constraints: 26942
1488.58/1493.20 c #Conflicts: 333000 | #Constraints: 27942
1488.58/1493.20 c INPROCESSING
1488.58/1493.20 c GARBAGE COLLECT
1488.58/1493.20 c #Conflicts: 334000 | #Constraints: 17534
1488.58/1493.20 c #Conflicts: 335000 | #Constraints: 18534
1488.58/1493.20 c #Conflicts: 336000 | #Constraints: 19534
1488.58/1493.20 c #Conflicts: 337000 | #Constraints: 20534
1488.58/1493.20 c #Conflicts: 338000 | #Constraints: 21534
1488.58/1493.20 c #Conflicts: 339000 | #Constraints: 22534
1488.58/1493.20 c #Conflicts: 340000 | #Constraints: 23534
1488.58/1493.20 c #Conflicts: 341000 | #Constraints: 24534
1488.58/1493.20 c #Conflicts: 342000 | #Constraints: 25534
1488.58/1493.20 c #Conflicts: 343000 | #Constraints: 26534
1488.58/1493.20 c #Conflicts: 344000 | #Constraints: 27534
1488.58/1493.20 c #Conflicts: 345000 | #Constraints: 28534
1488.58/1493.20 c INPROCESSING
1488.58/1493.20 c GARBAGE COLLECT
1488.58/1493.20 c #Conflicts: 346000 | #Constraints: 17933
1488.58/1493.20 c #Conflicts: 347000 | #Constraints: 18933
1488.58/1493.20 c #Conflicts: 348000 | #Constraints: 19933
1488.58/1493.20 c #Conflicts: 349000 | #Constraints: 20933
1488.58/1493.20 c #Conflicts: 350000 | #Constraints: 21933
1488.58/1493.20 c #Conflicts: 351000 | #Constraints: 22933
1488.58/1493.20 c #Conflicts: 352000 | #Constraints: 23933
1488.58/1493.20 c #Conflicts: 353000 | #Constraints: 24933
1488.58/1493.20 c #Conflicts: 354000 | #Constraints: 25933
1488.58/1493.20 c #Conflicts: 355000 | #Constraints: 26933
1488.58/1493.20 c #Conflicts: 356000 | #Constraints: 27933
1488.58/1493.20 c #Conflicts: 357000 | #Constraints: 28933
1488.58/1493.20 c INPROCESSING
1488.58/1493.20 c GARBAGE COLLECT
1488.58/1493.20 c #Conflicts: 358000 | #Constraints: 18135
1488.58/1493.20 c #Conflicts: 359000 | #Constraints: 19135
1488.58/1493.20 c #Conflicts: 360000 | #Constraints: 20135
1488.58/1493.20 c #Conflicts: 361000 | #Constraints: 21135
1488.58/1493.20 c #Conflicts: 362000 | #Constraints: 22135
1488.58/1493.20 c #Conflicts: 363000 | #Constraints: 23135
1488.58/1493.20 c #Conflicts: 364000 | #Constraints: 24135
1488.58/1493.20 c #Conflicts: 365000 | #Constraints: 25135
1488.58/1493.20 c #Conflicts: 366000 | #Constraints: 26135
1488.58/1493.20 c #Conflicts: 367000 | #Constraints: 27135
1488.58/1493.20 c #Conflicts: 368000 | #Constraints: 28135
1488.58/1493.20 c #Conflicts: 369000 | #Constraints: 29135
1488.58/1493.20 c INPROCESSING
1488.58/1493.20 c GARBAGE COLLECT
1488.58/1493.20 c #Conflicts: 370000 | #Constraints: 18144
1488.58/1493.20 c #Conflicts: 371000 | #Constraints: 19144
1488.58/1493.20 c #Conflicts: 372000 | #Constraints: 20144
1488.58/1493.20 c #Conflicts: 373000 | #Constraints: 21144
1488.58/1493.20 c #Conflicts: 374000 | #Constraints: 22144
1488.58/1493.20 c #Conflicts: 375000 | #Constraints: 23144
1488.58/1493.20 c #Conflicts: 376000 | #Constraints: 24144
1488.58/1493.20 c #Conflicts: 377000 | #Constraints: 25144
1488.58/1493.20 c #Conflicts: 378000 | #Constraints: 26144
1488.58/1493.20 c #Conflicts: 379000 | #Constraints: 27144
1488.58/1493.20 c #Conflicts: 380000 | #Constraints: 28144
1488.58/1493.20 c #Conflicts: 381000 | #Constraints: 29144
1488.58/1493.20 c INPROCESSING
1488.58/1493.20 c GARBAGE COLLECT
1488.58/1493.20 c #Conflicts: 382000 | #Constraints: 17937
1488.58/1493.20 c #Conflicts: 383000 | #Constraints: 18937
1488.58/1493.20 c #Conflicts: 384000 | #Constraints: 19937
1488.58/1493.20 c #Conflicts: 385000 | #Constraints: 20937
1488.58/1493.20 c #Conflicts: 386000 | #Constraints: 21937
1488.58/1493.20 c #Conflicts: 387000 | #Constraints: 22937
1488.58/1493.20 c #Conflicts: 388000 | #Constraints: 23937
1488.58/1493.20 c #Conflicts: 389000 | #Constraints: 24937
1488.58/1493.20 c #Conflicts: 390000 | #Constraints: 25937
1488.58/1493.20 c #Conflicts: 391000 | #Constraints: 26937
1488.58/1493.20 c #Conflicts: 392000 | #Constraints: 27937
1488.58/1493.20 c #Conflicts: 393000 | #Constraints: 28937
1488.58/1493.20 c #Conflicts: 394000 | #Constraints: 29937
1488.58/1493.20 c INPROCESSING
1488.58/1493.20 c GARBAGE COLLECT
1488.58/1493.20 c #Conflicts: 395000 | #Constraints: 18541
1488.58/1493.20 c #Conflicts: 396000 | #Constraints: 19541
1488.58/1493.20 c #Conflicts: 397000 | #Constraints: 20541
1488.58/1493.20 c #Conflicts: 398000 | #Constraints: 21541
1488.58/1493.20 c #Conflicts: 399000 | #Constraints: 22541
1488.58/1493.20 c #Conflicts: 400000 | #Constraints: 23541
1488.58/1493.20 c #Conflicts: 401000 | #Constraints: 24541
1488.58/1493.20 c #Conflicts: 402000 | #Constraints: 25541
1907.28/1913.95 c #Conflicts: 403000 | #Constraints: 26541
1907.28/1913.95 c #Conflicts: 404000 | #Constraints: 27541
1907.28/1913.95 c #Conflicts: 405000 | #Constraints: 28541
1907.28/1913.95 c #Conflicts: 406000 | #Constraints: 29541
1907.28/1913.95 c #Conflicts: 407000 | #Constraints: 30541
1907.28/1913.95 c INPROCESSING
1907.28/1913.95 c GARBAGE COLLECT
1907.28/1913.95 c #Conflicts: 408000 | #Constraints: 18944
1907.28/1913.95 c #Conflicts: 409000 | #Constraints: 19944
1907.28/1913.95 c #Conflicts: 410000 | #Constraints: 20944
1907.28/1913.95 c #Conflicts: 411000 | #Constraints: 21944
1907.28/1913.95 c #Conflicts: 412000 | #Constraints: 22944
1907.28/1913.95 c #Conflicts: 413000 | #Constraints: 23944
1907.28/1913.95 c #Conflicts: 414000 | #Constraints: 24944
1907.28/1913.95 c #Conflicts: 415000 | #Constraints: 25944
1907.28/1913.95 c #Conflicts: 416000 | #Constraints: 26944
1907.28/1913.95 c #Conflicts: 417000 | #Constraints: 27944
1907.28/1913.95 c #Conflicts: 418000 | #Constraints: 28944
1907.28/1913.95 c #Conflicts: 419000 | #Constraints: 29944
1907.28/1913.95 c #Conflicts: 420000 | #Constraints: 30944
1907.28/1913.95 c INPROCESSING
1907.28/1913.95 c GARBAGE COLLECT
1907.28/1913.95 c #Conflicts: 421000 | #Constraints: 19146
1907.28/1913.95 c #Conflicts: 422000 | #Constraints: 20146
1907.28/1913.95 c #Conflicts: 423000 | #Constraints: 21146
1907.28/1913.95 c #Conflicts: 424000 | #Constraints: 22146
1907.28/1913.95 c #Conflicts: 425000 | #Constraints: 23146
1907.28/1913.95 c #Conflicts: 426000 | #Constraints: 24146
1907.28/1913.95 c #Conflicts: 427000 | #Constraints: 25146
1907.28/1913.95 c #Conflicts: 428000 | #Constraints: 26146
1907.28/1913.95 c #Conflicts: 429000 | #Constraints: 27146
1907.28/1913.95 c #Conflicts: 430000 | #Constraints: 28146
1907.28/1913.95 c #Conflicts: 431000 | #Constraints: 29146
1907.28/1913.95 c #Conflicts: 432000 | #Constraints: 30146
1907.28/1913.95 c #Conflicts: 433000 | #Constraints: 31146
1907.28/1913.95 c INPROCESSING
1907.28/1913.95 c GARBAGE COLLECT
1907.28/1913.95 c #Conflicts: 434000 | #Constraints: 19144
1907.28/1913.95 c #Conflicts: 435000 | #Constraints: 20144
1907.28/1913.95 c #Conflicts: 436000 | #Constraints: 21144
1907.28/1913.95 c #Conflicts: 437000 | #Constraints: 22144
1907.28/1913.95 c #Conflicts: 438000 | #Constraints: 23144
1907.28/1913.95 c #Conflicts: 439000 | #Constraints: 24144
1907.28/1913.95 c #Conflicts: 440000 | #Constraints: 25144
1907.28/1913.95 c #Conflicts: 441000 | #Constraints: 26144
1907.28/1913.95 c #Conflicts: 442000 | #Constraints: 27144
1907.28/1913.95 c #Conflicts: 443000 | #Constraints: 28144
1907.28/1913.95 c #Conflicts: 444000 | #Constraints: 29144
1907.28/1913.95 c #Conflicts: 445000 | #Constraints: 30144
1907.28/1913.95 c #Conflicts: 446000 | #Constraints: 31144
1907.28/1913.95 c INPROCESSING
1907.28/1913.95 c GARBAGE COLLECT
1907.28/1913.95 c #Conflicts: 447000 | #Constraints: 18941
1907.28/1913.95 c #Conflicts: 448000 | #Constraints: 19941
1907.28/1913.95 c #Conflicts: 449000 | #Constraints: 20941
1907.28/1913.95 c #Conflicts: 450000 | #Constraints: 21941
1907.28/1913.95 c #Conflicts: 451000 | #Constraints: 22941
1907.28/1913.95 c #Conflicts: 452000 | #Constraints: 23941
1907.28/1913.95 c #Conflicts: 453000 | #Constraints: 24941
1907.28/1913.95 c #Conflicts: 454000 | #Constraints: 25941
1907.28/1913.95 c #Conflicts: 455000 | #Constraints: 26941
1907.28/1913.95 c #Conflicts: 456000 | #Constraints: 27941
1907.28/1913.95 c #Conflicts: 457000 | #Constraints: 28941
1907.28/1913.95 c #Conflicts: 458000 | #Constraints: 29941
1907.28/1913.95 c #Conflicts: 459000 | #Constraints: 30941
1907.28/1913.95 c #Conflicts: 460000 | #Constraints: 31941
1907.28/1913.95 c INPROCESSING
1907.28/1913.95 c GARBAGE COLLECT
1907.28/1913.95 c #Conflicts: 461000 | #Constraints: 19536
1907.28/1913.95 c #Conflicts: 462000 | #Constraints: 20536
1907.28/1913.95 c #Conflicts: 463000 | #Constraints: 21536
1907.28/1913.95 c #Conflicts: 464000 | #Constraints: 22536
1907.28/1913.95 c #Conflicts: 465000 | #Constraints: 23536
1907.28/1913.95 c #Conflicts: 466000 | #Constraints: 24536
1907.28/1913.95 c #Conflicts: 467000 | #Constraints: 25536
1907.28/1913.95 c #Conflicts: 468000 | #Constraints: 26536
1907.28/1913.95 c #Conflicts: 469000 | #Constraints: 27536
1907.28/1913.95 c #Conflicts: 470000 | #Constraints: 28536
1907.28/1913.95 c #Conflicts: 471000 | #Constraints: 29536
1907.28/1913.95 c #Conflicts: 472000 | #Constraints: 30536
1907.28/1913.95 c #Conflicts: 473000 | #Constraints: 31536
1907.28/1913.95 c #Conflicts: 474000 | #Constraints: 32536
1907.28/1913.95 c INPROCESSING
1907.28/1913.95 c GARBAGE COLLECT
1907.28/1913.95 c #Conflicts: 475000 | #Constraints: 19929
1907.28/1913.95 c #Conflicts: 476000 | #Constraints: 20929
2089.54/2096.73 c #Conflicts: 477000 | #Constraints: 21929
2089.54/2096.73 c #Conflicts: 478000 | #Constraints: 22929
2089.54/2096.73 c #Conflicts: 479000 | #Constraints: 23929
2089.54/2096.73 c #Conflicts: 480000 | #Constraints: 24929
2089.54/2096.73 c #Conflicts: 481000 | #Constraints: 25929
2089.54/2096.73 c #Conflicts: 482000 | #Constraints: 26929
2089.54/2096.73 c #Conflicts: 483000 | #Constraints: 27929
2089.54/2096.73 c #Conflicts: 484000 | #Constraints: 28929
2089.54/2096.73 c #Conflicts: 485000 | #Constraints: 29929
2089.54/2096.73 c #Conflicts: 486000 | #Constraints: 30929
2089.54/2096.73 c #Conflicts: 487000 | #Constraints: 31929
2089.54/2096.73 c #Conflicts: 488000 | #Constraints: 32929
2089.54/2096.73 c INPROCESSING
2089.54/2096.73 c GARBAGE COLLECT
2089.54/2096.73 c #Conflicts: 489000 | #Constraints: 20131
2089.54/2096.73 c #Conflicts: 490000 | #Constraints: 21131
2089.54/2096.73 c #Conflicts: 491000 | #Constraints: 22131
2089.54/2096.73 c #Conflicts: 492000 | #Constraints: 23131
2089.54/2096.73 c #Conflicts: 493000 | #Constraints: 24131
2089.54/2096.73 c #Conflicts: 494000 | #Constraints: 25131
2089.54/2096.73 c #Conflicts: 495000 | #Constraints: 26131
2089.54/2096.73 c #Conflicts: 496000 | #Constraints: 27131
2089.54/2096.73 c #Conflicts: 497000 | #Constraints: 28131
2089.54/2096.73 c #Conflicts: 498000 | #Constraints: 29131
2089.54/2096.73 c #Conflicts: 499000 | #Constraints: 30131
2089.54/2096.73 c #Conflicts: 500000 | #Constraints: 31131
2089.54/2096.73 c #Conflicts: 501000 | #Constraints: 32131
2089.54/2096.73 c #Conflicts: 502000 | #Constraints: 33131
2089.54/2096.73 c INPROCESSING
2089.54/2096.73 c GARBAGE COLLECT
2089.54/2096.73 c #Conflicts: 503000 | #Constraints: 20134
2089.54/2096.73 c #Conflicts: 504000 | #Constraints: 21134
2089.54/2096.73 c #Conflicts: 505000 | #Constraints: 22134
2089.54/2096.73 c #Conflicts: 506000 | #Constraints: 23134
2089.54/2096.73 c #Conflicts: 507000 | #Constraints: 24134
2089.54/2096.73 c #Conflicts: 508000 | #Constraints: 25134
2089.54/2096.73 c GLOBAL bounds - >= -1829902865 @ 2072.56
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.54/2096.77 c GLOBAL bounds - >= -1829902865 @ 2072.61
2089.65/2096.81 c GLOBAL bounds - >= -1829902865 @ 2072.63
2089.65/2096.81 c GLOBAL bounds - >= -1829902865 @ 2072.64
2089.65/2096.84 c GLOBAL bounds - >= -1829902865 @ 2072.66
2089.65/2096.85 c GLOBAL bounds - >= -1829902865 @ 2072.66
2089.65/2096.88 c GLOBAL bounds - >= -1829902865 @ 2072.67
2089.65/2096.88 c GLOBAL bounds - >= -1829902865 @ 2072.68
2089.74/2096.92 c GLOBAL bounds - >= -1829902865 @ 2072.7
2089.74/2096.92 c GLOBAL bounds - >= -1829902865 @ 2072.7
2089.74/2096.95 c GLOBAL bounds - >= -1829902865 @ 2072.72
2089.74/2096.95 c GLOBAL bounds - >= -1829902865 @ 2072.72
2089.74/2096.99 c GLOBAL bounds - >= -1829902865 @ 2072.74
2089.74/2096.99 c GLOBAL bounds - >= -1829902865 @ 2072.74
2089.85/2097.03 c GLOBAL bounds - >= -1829902865 @ 2072.77
2089.85/2097.03 c GLOBAL bounds - >= -1829902865 @ 2072.77
2089.85/2097.07 c GLOBAL bounds - >= -1829902865 @ 2072.79
2089.85/2097.07 c GLOBAL bounds - >= -1829902865 @ 2072.79
2089.95/2097.11 c GLOBAL bounds - >= -1829902865 @ 2072.82
2089.95/2097.11 c GLOBAL bounds - >= -1829902865 @ 2072.82
2089.95/2097.14 c GLOBAL bounds - >= -1829902865 @ 2072.84
2090.64/2097.80 c #Conflicts: 509000 | #Constraints: 26182
2090.64/2097.80 c GLOBAL bounds - >= -1829902865 @ 2073.48
2090.84/2098.03 c #Conflicts: 510000 | #Constraints: 27185
2090.84/2098.03 c GLOBAL bounds - >= -1829902865 @ 2073.69
2091.04/2098.23 c GLOBAL bounds - >= -1829902865 @ 2073.87
2091.24/2098.46 c GLOBAL bounds - >= -1829902865 @ 2074.08
2096.42/2103.66 c #Conflicts: 511000 | #Constraints: 28194
2096.42/2103.66 c #Conflicts: 512000 | #Constraints: 29194
2096.42/2103.66 c #Conflicts: 513000 | #Constraints: 30194
2096.42/2103.66 c GLOBAL bounds - >= -1829902865 @ 2079.22
2096.53/2103.75 c GLOBAL bounds - >= -1829902865 @ 2079.29
2096.83/2104.06 c GLOBAL bounds - >= -1829902865 @ 2079.59
2097.13/2104.32 c GLOBAL bounds - >= -1829902865 @ 2079.84
2097.43/2104.68 c GLOBAL bounds - >= -1829902865 @ 2080.16
2098.02/2105.21 c #Conflicts: 514000 | #Constraints: 31206
2098.02/2105.21 c GLOBAL bounds - >= -1829902865 @ 2080.67
2104.41/2111.63 c #Conflicts: 515000 | #Constraints: 32209
2104.41/2111.63 c #Conflicts: 516000 | #Constraints: 33209
2104.41/2111.63 c INPROCESSING
2104.41/2111.63 c GARBAGE COLLECT
2104.41/2111.63 c GLOBAL bounds - >= -1829902865 @ 2087.02
2104.60/2111.83 c GLOBAL bounds - >= -1829902865 @ 2087.21
2105.31/2112.59 c #Conflicts: 517000 | #Constraints: 19981
2105.31/2112.59 c GLOBAL bounds - >= -1829902865 @ 2087.94
2416.47/2424.54 c #Conflicts: 518000 | #Constraints: 20984
2416.47/2424.54 c #Conflicts: 519000 | #Constraints: 21984
2416.47/2424.54 c #Conflicts: 520000 | #Constraints: 22984
2416.47/2424.54 c #Conflicts: 521000 | #Constraints: 23984
2416.47/2424.54 c #Conflicts: 522000 | #Constraints: 24984
2416.47/2424.54 c #Conflicts: 523000 | #Constraints: 25984
2416.47/2424.54 c #Conflicts: 524000 | #Constraints: 26984
2416.47/2424.54 c #Conflicts: 525000 | #Constraints: 27984
2416.47/2424.54 c #Conflicts: 526000 | #Constraints: 28984
2416.47/2424.54 c #Conflicts: 527000 | #Constraints: 29984
2416.47/2424.54 c #Conflicts: 528000 | #Constraints: 30984
2416.47/2424.54 c #Conflicts: 529000 | #Constraints: 31984
2416.47/2424.54 c #Conflicts: 530000 | #Constraints: 32984
2416.47/2424.54 c #Conflicts: 531000 | #Constraints: 33984
2416.47/2424.54 c INPROCESSING
2416.47/2424.54 c GARBAGE COLLECT
2416.47/2424.54 c #Conflicts: 532000 | #Constraints: 20584
2416.47/2424.54 c #Conflicts: 533000 | #Constraints: 21584
2416.47/2424.54 c #Conflicts: 534000 | #Constraints: 22584
2416.47/2424.54 c #Conflicts: 535000 | #Constraints: 23584
2416.47/2424.54 c #Conflicts: 536000 | #Constraints: 24584
2416.47/2424.54 c #Conflicts: 537000 | #Constraints: 25584
2416.47/2424.54 c #Conflicts: 538000 | #Constraints: 26584
2416.47/2424.54 c #Conflicts: 539000 | #Constraints: 27584
2416.47/2424.54 c #Conflicts: 540000 | #Constraints: 28584
2416.47/2424.54 c #Conflicts: 541000 | #Constraints: 29584
2416.47/2424.54 c #Conflicts: 542000 | #Constraints: 30584
2416.47/2424.54 c #Conflicts: 543000 | #Constraints: 31584
2416.47/2424.54 c #Conflicts: 544000 | #Constraints: 32584
2416.47/2424.54 c #Conflicts: 545000 | #Constraints: 33584
2416.47/2424.54 c #Conflicts: 546000 | #Constraints: 34584
2416.47/2424.54 c INPROCESSING
2416.47/2424.54 c GARBAGE COLLECT
2416.47/2424.54 c #Conflicts: 547000 | #Constraints: 20992
2416.47/2424.54 c #Conflicts: 548000 | #Constraints: 21992
2416.47/2424.54 c #Conflicts: 549000 | #Constraints: 22992
2416.47/2424.54 c #Conflicts: 550000 | #Constraints: 23992
2416.47/2424.54 c #Conflicts: 551000 | #Constraints: 24992
2416.47/2424.54 c #Conflicts: 552000 | #Constraints: 25992
2416.47/2424.54 c #Conflicts: 553000 | #Constraints: 26992
2416.47/2424.54 c #Conflicts: 554000 | #Constraints: 27992
2416.47/2424.54 c #Conflicts: 555000 | #Constraints: 28992
2416.47/2424.54 c #Conflicts: 556000 | #Constraints: 29992
2416.47/2424.54 c #Conflicts: 557000 | #Constraints: 30992
2416.47/2424.54 c #Conflicts: 558000 | #Constraints: 31992
2416.47/2424.54 c #Conflicts: 559000 | #Constraints: 32992
2416.47/2424.54 c #Conflicts: 560000 | #Constraints: 33992
2416.47/2424.54 c #Conflicts: 561000 | #Constraints: 34992
2416.47/2424.54 c INPROCESSING
2416.47/2424.54 c GARBAGE COLLECT
2416.47/2424.54 c #Conflicts: 562000 | #Constraints: 21194
2416.47/2424.54 c #Conflicts: 563000 | #Constraints: 22194
2416.47/2424.54 c #Conflicts: 564000 | #Constraints: 23194
2416.47/2424.54 c #Conflicts: 565000 | #Constraints: 24194
2416.47/2424.54 c #Conflicts: 566000 | #Constraints: 25194
2416.47/2424.54 c #Conflicts: 567000 | #Constraints: 26194
2416.47/2424.54 c #Conflicts: 568000 | #Constraints: 27194
2416.47/2424.54 c #Conflicts: 569000 | #Constraints: 28194
2416.47/2424.54 c #Conflicts: 570000 | #Constraints: 29194
2416.47/2424.54 c #Conflicts: 571000 | #Constraints: 30194
2416.47/2424.54 c #Conflicts: 572000 | #Constraints: 31194
2416.47/2424.54 c #Conflicts: 573000 | #Constraints: 32194
2416.47/2424.54 c #Conflicts: 574000 | #Constraints: 33194
2416.47/2424.54 c #Conflicts: 575000 | #Constraints: 34194
2416.47/2424.54 c #Conflicts: 576000 | #Constraints: 35194
2416.47/2424.54 c INPROCESSING
2416.47/2424.54 c GARBAGE COLLECT
2416.47/2424.54 c #Conflicts: 577000 | #Constraints: 21196
2416.47/2424.54 c #Conflicts: 578000 | #Constraints: 22196
2416.47/2424.54 c #Conflicts: 579000 | #Constraints: 23196
2416.47/2424.54 c #Conflicts: 580000 | #Constraints: 24196
2416.47/2424.54 c #Conflicts: 581000 | #Constraints: 25196
2416.47/2424.54 c #Conflicts: 582000 | #Constraints: 26196
2416.47/2424.54 c #Conflicts: 583000 | #Constraints: 27196
2416.47/2424.54 c #Conflicts: 584000 | #Constraints: 28196
2416.47/2424.54 c #Conflicts: 585000 | #Constraints: 29196
2416.47/2424.54 c #Conflicts: 586000 | #Constraints: 30196
2416.47/2424.54 c #Conflicts: 587000 | #Constraints: 31196
2416.47/2424.54 c #Conflicts: 588000 | #Constraints: 32196
2416.47/2424.54 c #Conflicts: 589000 | #Constraints: 33196
2416.47/2424.54 c #Conflicts: 590000 | #Constraints: 34196
2416.47/2424.54 c #Conflicts: 591000 | #Constraints: 35196
2416.47/2424.54 c INPROCESSING
2416.47/2424.54 c GARBAGE COLLECT
2416.47/2424.54 c #Conflicts: 592000 | #Constraints: 20992
2416.47/2424.54 c #Conflicts: 593000 | #Constraints: 21992
2756.58/2765.55 c #Conflicts: 594000 | #Constraints: 22992
2756.58/2765.55 c #Conflicts: 595000 | #Constraints: 23992
2756.58/2765.55 c #Conflicts: 596000 | #Constraints: 24992
2756.58/2765.55 c #Conflicts: 597000 | #Constraints: 25992
2756.58/2765.55 c #Conflicts: 598000 | #Constraints: 26992
2756.58/2765.55 c #Conflicts: 599000 | #Constraints: 27992
2756.58/2765.55 c #Conflicts: 600000 | #Constraints: 28992
2756.58/2765.55 c #Conflicts: 601000 | #Constraints: 29992
2756.58/2765.55 c #Conflicts: 602000 | #Constraints: 30992
2756.58/2765.55 c #Conflicts: 603000 | #Constraints: 31992
2756.58/2765.55 c #Conflicts: 604000 | #Constraints: 32992
2756.58/2765.55 c #Conflicts: 605000 | #Constraints: 33992
2756.58/2765.55 c #Conflicts: 606000 | #Constraints: 34992
2756.58/2765.55 c #Conflicts: 607000 | #Constraints: 35992
2756.58/2765.55 c INPROCESSING
2756.58/2765.55 c GARBAGE COLLECT
2756.58/2765.55 c #Conflicts: 608000 | #Constraints: 21596
2756.58/2765.55 c #Conflicts: 609000 | #Constraints: 22596
2756.58/2765.55 c #Conflicts: 610000 | #Constraints: 23596
2756.58/2765.55 c #Conflicts: 611000 | #Constraints: 24596
2756.58/2765.55 c #Conflicts: 612000 | #Constraints: 25596
2756.58/2765.55 c #Conflicts: 613000 | #Constraints: 26596
2756.58/2765.55 c #Conflicts: 614000 | #Constraints: 27596
2756.58/2765.55 c #Conflicts: 615000 | #Constraints: 28596
2756.58/2765.55 c #Conflicts: 616000 | #Constraints: 29596
2756.58/2765.55 c #Conflicts: 617000 | #Constraints: 30596
2756.58/2765.55 c #Conflicts: 618000 | #Constraints: 31596
2756.58/2765.55 c #Conflicts: 619000 | #Constraints: 32596
2756.58/2765.55 c #Conflicts: 620000 | #Constraints: 33596
2756.58/2765.55 c #Conflicts: 621000 | #Constraints: 34596
2756.58/2765.55 c #Conflicts: 622000 | #Constraints: 35596
2756.58/2765.55 c #Conflicts: 623000 | #Constraints: 36596
2756.58/2765.55 c INPROCESSING
2756.58/2765.55 c GARBAGE COLLECT
2756.58/2765.55 c #Conflicts: 624000 | #Constraints: 21998
2756.58/2765.55 c #Conflicts: 625000 | #Constraints: 22998
2756.58/2765.55 c #Conflicts: 626000 | #Constraints: 23998
2756.58/2765.55 c #Conflicts: 627000 | #Constraints: 24998
2756.58/2765.55 c #Conflicts: 628000 | #Constraints: 25998
2756.58/2765.55 c #Conflicts: 629000 | #Constraints: 26998
2756.58/2765.55 c #Conflicts: 630000 | #Constraints: 27998
2756.58/2765.55 c #Conflicts: 631000 | #Constraints: 28998
2756.58/2765.55 c #Conflicts: 632000 | #Constraints: 29998
2756.58/2765.55 c #Conflicts: 633000 | #Constraints: 30998
2756.58/2765.55 c #Conflicts: 634000 | #Constraints: 31998
2756.58/2765.55 c #Conflicts: 635000 | #Constraints: 32998
2756.58/2765.55 c #Conflicts: 636000 | #Constraints: 33998
2756.58/2765.55 c #Conflicts: 637000 | #Constraints: 34998
2756.58/2765.55 c #Conflicts: 638000 | #Constraints: 35998
2756.58/2765.55 c #Conflicts: 639000 | #Constraints: 36998
2756.58/2765.55 c INPROCESSING
2756.58/2765.55 c GARBAGE COLLECT
2756.58/2765.55 c #Conflicts: 640000 | #Constraints: 22199
2756.58/2765.55 c #Conflicts: 641000 | #Constraints: 23199
2756.58/2765.55 c #Conflicts: 642000 | #Constraints: 24199
2756.58/2765.55 c #Conflicts: 643000 | #Constraints: 25199
2756.58/2765.55 c #Conflicts: 644000 | #Constraints: 26199
2756.58/2765.55 c #Conflicts: 645000 | #Constraints: 27199
2756.58/2765.55 c #Conflicts: 646000 | #Constraints: 28199
2756.58/2765.55 c #Conflicts: 647000 | #Constraints: 29199
2756.58/2765.55 c #Conflicts: 648000 | #Constraints: 30199
2756.58/2765.55 c #Conflicts: 649000 | #Constraints: 31199
2756.58/2765.55 c #Conflicts: 650000 | #Constraints: 32199
2756.58/2765.55 c #Conflicts: 651000 | #Constraints: 33199
2756.58/2765.55 c #Conflicts: 652000 | #Constraints: 34199
2756.58/2765.55 c #Conflicts: 653000 | #Constraints: 35199
2756.58/2765.55 c #Conflicts: 654000 | #Constraints: 36199
2756.58/2765.55 c #Conflicts: 655000 | #Constraints: 37199
2756.58/2765.55 c INPROCESSING
2756.58/2765.55 c GARBAGE COLLECT
2756.58/2765.55 c #Conflicts: 656000 | #Constraints: 22198
2756.58/2765.55 c #Conflicts: 657000 | #Constraints: 23198
2756.58/2765.55 c #Conflicts: 658000 | #Constraints: 24198
2756.58/2765.55 c #Conflicts: 659000 | #Constraints: 25198
2756.58/2765.55 c #Conflicts: 660000 | #Constraints: 26198
2756.58/2765.55 c #Conflicts: 661000 | #Constraints: 27198
2756.58/2765.55 c #Conflicts: 662000 | #Constraints: 28198
2756.58/2765.55 c #Conflicts: 663000 | #Constraints: 29198
2756.58/2765.55 c #Conflicts: 664000 | #Constraints: 30198
2756.58/2765.55 c #Conflicts: 665000 | #Constraints: 31198
2756.58/2765.55 c #Conflicts: 666000 | #Constraints: 32198
2756.58/2765.55 c #Conflicts: 667000 | #Constraints: 33198
2756.58/2765.55 c #Conflicts: 668000 | #Constraints: 34198
2756.58/2765.55 c #Conflicts: 669000 | #Constraints: 35198
3087.18/3097.07 c #Conflicts: 670000 | #Constraints: 36198
3087.18/3097.07 c #Conflicts: 671000 | #Constraints: 37198
3087.18/3097.07 c INPROCESSING
3087.18/3097.07 c GARBAGE COLLECT
3087.18/3097.07 c #Conflicts: 672000 | #Constraints: 22000
3087.18/3097.07 c #Conflicts: 673000 | #Constraints: 23000
3087.18/3097.07 c #Conflicts: 674000 | #Constraints: 24000
3087.18/3097.07 c #Conflicts: 675000 | #Constraints: 25000
3087.18/3097.07 c #Conflicts: 676000 | #Constraints: 26000
3087.18/3097.07 c #Conflicts: 677000 | #Constraints: 27000
3087.18/3097.07 c #Conflicts: 678000 | #Constraints: 28000
3087.18/3097.07 c #Conflicts: 679000 | #Constraints: 29000
3087.18/3097.07 c #Conflicts: 680000 | #Constraints: 30000
3087.18/3097.07 c #Conflicts: 681000 | #Constraints: 31000
3087.18/3097.07 c #Conflicts: 682000 | #Constraints: 32000
3087.18/3097.07 c #Conflicts: 683000 | #Constraints: 33000
3087.18/3097.07 c #Conflicts: 684000 | #Constraints: 34000
3087.18/3097.07 c #Conflicts: 685000 | #Constraints: 35000
3087.18/3097.07 c #Conflicts: 686000 | #Constraints: 36000
3087.18/3097.07 c #Conflicts: 687000 | #Constraints: 37000
3087.18/3097.07 c #Conflicts: 688000 | #Constraints: 38000
3087.18/3097.07 c INPROCESSING
3087.18/3097.07 c GARBAGE COLLECT
3087.18/3097.07 c #Conflicts: 689000 | #Constraints: 22596
3087.18/3097.07 c #Conflicts: 690000 | #Constraints: 23596
3087.18/3097.07 c #Conflicts: 691000 | #Constraints: 24596
3087.18/3097.07 c #Conflicts: 692000 | #Constraints: 25596
3087.18/3097.07 c #Conflicts: 693000 | #Constraints: 26596
3087.18/3097.07 c #Conflicts: 694000 | #Constraints: 27596
3087.18/3097.07 c #Conflicts: 695000 | #Constraints: 28596
3087.18/3097.07 c #Conflicts: 696000 | #Constraints: 29596
3087.18/3097.07 c #Conflicts: 697000 | #Constraints: 30596
3087.18/3097.07 c #Conflicts: 698000 | #Constraints: 31596
3087.18/3097.07 c #Conflicts: 699000 | #Constraints: 32596
3087.18/3097.07 c #Conflicts: 700000 | #Constraints: 33596
3087.18/3097.07 c #Conflicts: 701000 | #Constraints: 34596
3087.18/3097.07 c #Conflicts: 702000 | #Constraints: 35596
3087.18/3097.07 c #Conflicts: 703000 | #Constraints: 36596
3087.18/3097.07 c #Conflicts: 704000 | #Constraints: 37596
3087.18/3097.07 c #Conflicts: 705000 | #Constraints: 38596
3087.18/3097.07 c INPROCESSING
3087.18/3097.07 c GARBAGE COLLECT
3087.18/3097.07 c #Conflicts: 706000 | #Constraints: 22995
3087.18/3097.07 c #Conflicts: 707000 | #Constraints: 23995
3087.18/3097.07 c #Conflicts: 708000 | #Constraints: 24995
3087.18/3097.07 c #Conflicts: 709000 | #Constraints: 25995
3087.18/3097.07 c #Conflicts: 710000 | #Constraints: 26995
3087.18/3097.07 c #Conflicts: 711000 | #Constraints: 27995
3087.18/3097.07 c #Conflicts: 712000 | #Constraints: 28995
3087.18/3097.07 c #Conflicts: 713000 | #Constraints: 29995
3087.18/3097.07 c #Conflicts: 714000 | #Constraints: 30995
3087.18/3097.07 c #Conflicts: 715000 | #Constraints: 31995
3087.18/3097.07 c #Conflicts: 716000 | #Constraints: 32995
3087.18/3097.07 c #Conflicts: 717000 | #Constraints: 33995
3087.18/3097.07 c #Conflicts: 718000 | #Constraints: 34995
3087.18/3097.07 c #Conflicts: 719000 | #Constraints: 35995
3087.18/3097.07 c #Conflicts: 720000 | #Constraints: 36995
3087.18/3097.07 c #Conflicts: 721000 | #Constraints: 37995
3087.18/3097.07 c #Conflicts: 722000 | #Constraints: 38995
3087.18/3097.07 c INPROCESSING
3087.18/3097.07 c GARBAGE COLLECT
3087.18/3097.07 c #Conflicts: 723000 | #Constraints: 23197
3087.18/3097.07 c #Conflicts: 724000 | #Constraints: 24197
3087.18/3097.07 c #Conflicts: 725000 | #Constraints: 25197
3087.18/3097.07 c #Conflicts: 726000 | #Constraints: 26197
3087.18/3097.07 c #Conflicts: 727000 | #Constraints: 27197
3087.18/3097.07 c #Conflicts: 728000 | #Constraints: 28197
3087.18/3097.07 c #Conflicts: 729000 | #Constraints: 29197
3087.18/3097.07 c #Conflicts: 730000 | #Constraints: 30197
3087.18/3097.07 c #Conflicts: 731000 | #Constraints: 31197
3087.18/3097.07 c #Conflicts: 732000 | #Constraints: 32197
3087.18/3097.07 c #Conflicts: 733000 | #Constraints: 33197
3087.18/3097.07 c #Conflicts: 734000 | #Constraints: 34197
3087.18/3097.07 c #Conflicts: 735000 | #Constraints: 35197
3087.18/3097.07 c #Conflicts: 736000 | #Constraints: 36197
3087.18/3097.07 c #Conflicts: 737000 | #Constraints: 37197
3087.18/3097.07 c #Conflicts: 738000 | #Constraints: 38197
3087.18/3097.07 c #Conflicts: 739000 | #Constraints: 39197
3087.18/3097.07 c INPROCESSING
3087.18/3097.07 c GARBAGE COLLECT
3087.18/3097.07 c #Conflicts: 740000 | #Constraints: 23189
3087.18/3097.07 c #Conflicts: 741000 | #Constraints: 24189
3087.18/3097.07 c #Conflicts: 742000 | #Constraints: 25189
3087.18/3097.07 c #Conflicts: 743000 | #Constraints: 26189
3087.18/3097.07 c #Conflicts: 744000 | #Constraints: 27189
3087.18/3097.07 c #Conflicts: 745000 | #Constraints: 28189
3485.31/3496.22 c #Conflicts: 746000 | #Constraints: 29189
3485.31/3496.22 c #Conflicts: 747000 | #Constraints: 30189
3485.31/3496.22 c #Conflicts: 748000 | #Constraints: 31189
3485.31/3496.22 c #Conflicts: 749000 | #Constraints: 32189
3485.31/3496.22 c #Conflicts: 750000 | #Constraints: 33189
3485.31/3496.22 c #Conflicts: 751000 | #Constraints: 34189
3485.31/3496.22 c #Conflicts: 752000 | #Constraints: 35189
3485.31/3496.22 c #Conflicts: 753000 | #Constraints: 36189
3485.31/3496.22 c #Conflicts: 754000 | #Constraints: 37189
3485.31/3496.22 c #Conflicts: 755000 | #Constraints: 38189
3485.31/3496.22 c #Conflicts: 756000 | #Constraints: 39189
3485.31/3496.22 c INPROCESSING
3485.31/3496.22 c GARBAGE COLLECT
3485.31/3496.22 c #Conflicts: 757000 | #Constraints: 22992
3485.31/3496.22 c #Conflicts: 758000 | #Constraints: 23992
3485.31/3496.22 c #Conflicts: 759000 | #Constraints: 24992
3485.31/3496.22 c #Conflicts: 760000 | #Constraints: 25992
3485.31/3496.22 c #Conflicts: 761000 | #Constraints: 26992
3485.31/3496.22 c #Conflicts: 762000 | #Constraints: 27992
3485.31/3496.22 c #Conflicts: 763000 | #Constraints: 28992
3485.31/3496.22 c #Conflicts: 764000 | #Constraints: 29992
3485.31/3496.22 c #Conflicts: 765000 | #Constraints: 30992
3485.31/3496.22 c #Conflicts: 766000 | #Constraints: 31992
3485.31/3496.22 c #Conflicts: 767000 | #Constraints: 32992
3485.31/3496.22 c #Conflicts: 768000 | #Constraints: 33992
3485.31/3496.22 c #Conflicts: 769000 | #Constraints: 34992
3485.31/3496.22 c #Conflicts: 770000 | #Constraints: 35992
3485.31/3496.22 c #Conflicts: 771000 | #Constraints: 36992
3485.31/3496.22 c #Conflicts: 772000 | #Constraints: 37992
3485.31/3496.22 c #Conflicts: 773000 | #Constraints: 38992
3485.31/3496.22 c #Conflicts: 774000 | #Constraints: 39992
3485.31/3496.22 c INPROCESSING
3485.31/3496.22 c GARBAGE COLLECT
3485.31/3496.22 c #Conflicts: 775000 | #Constraints: 23586
3485.31/3496.22 c #Conflicts: 776000 | #Constraints: 24586
3485.31/3496.22 c #Conflicts: 777000 | #Constraints: 25586
3485.31/3496.22 c #Conflicts: 778000 | #Constraints: 26586
3485.31/3496.22 c #Conflicts: 779000 | #Constraints: 27586
3485.31/3496.22 c #Conflicts: 780000 | #Constraints: 28586
3485.31/3496.22 c #Conflicts: 781000 | #Constraints: 29586
3485.31/3496.22 c #Conflicts: 782000 | #Constraints: 30586
3485.31/3496.22 c #Conflicts: 783000 | #Constraints: 31586
3485.31/3496.22 c #Conflicts: 784000 | #Constraints: 32586
3485.31/3496.22 c #Conflicts: 785000 | #Constraints: 33586
3485.31/3496.22 c #Conflicts: 786000 | #Constraints: 34586
3485.31/3496.22 c #Conflicts: 787000 | #Constraints: 35586
3485.31/3496.22 c #Conflicts: 788000 | #Constraints: 36586
3485.31/3496.22 c #Conflicts: 789000 | #Constraints: 37586
3485.31/3496.22 c #Conflicts: 790000 | #Constraints: 38586
3485.31/3496.22 c #Conflicts: 791000 | #Constraints: 39586
3485.31/3496.22 c #Conflicts: 792000 | #Constraints: 40586
3485.31/3496.22 c INPROCESSING
3485.31/3496.22 c GARBAGE COLLECT
3485.31/3496.22 c #Conflicts: 793000 | #Constraints: 23989
3485.31/3496.22 c #Conflicts: 794000 | #Constraints: 24989
3485.31/3496.22 c #Conflicts: 795000 | #Constraints: 25989
3485.31/3496.22 c #Conflicts: 796000 | #Constraints: 26989
3485.31/3496.22 c #Conflicts: 797000 | #Constraints: 27989
3485.31/3496.22 c #Conflicts: 798000 | #Constraints: 28989
3485.31/3496.22 c #Conflicts: 799000 | #Constraints: 29989
3485.31/3496.22 c #Conflicts: 800000 | #Constraints: 30989
3485.31/3496.22 c #Conflicts: 801000 | #Constraints: 31989
3485.31/3496.22 c #Conflicts: 802000 | #Constraints: 32989
3485.31/3496.22 c #Conflicts: 803000 | #Constraints: 33989
3485.31/3496.22 c #Conflicts: 804000 | #Constraints: 34989
3485.31/3496.22 c #Conflicts: 805000 | #Constraints: 35989
3485.31/3496.22 c #Conflicts: 806000 | #Constraints: 36989
3485.31/3496.22 c #Conflicts: 807000 | #Constraints: 37989
3485.31/3496.22 c #Conflicts: 808000 | #Constraints: 38989
3485.31/3496.22 c #Conflicts: 809000 | #Constraints: 39989
3485.31/3496.22 c #Conflicts: 810000 | #Constraints: 40989
3485.31/3496.22 c INPROCESSING
3485.31/3496.22 c GARBAGE COLLECT
3485.31/3496.22 c #Conflicts: 811000 | #Constraints: 24194
3485.31/3496.22 c #Conflicts: 812000 | #Constraints: 25194
3485.31/3496.22 c #Conflicts: 813000 | #Constraints: 26194
3485.31/3496.22 c #Conflicts: 814000 | #Constraints: 27194
3485.31/3496.22 c #Conflicts: 815000 | #Constraints: 28194
3485.31/3496.22 c #Conflicts: 816000 | #Constraints: 29194
3485.31/3496.22 c #Conflicts: 817000 | #Constraints: 30194
3485.31/3496.22 c #Conflicts: 818000 | #Constraints: 31194
3485.31/3496.22 c #Conflicts: 819000 | #Constraints: 32194
3485.31/3496.22 c #Conflicts: 820000 | #Constraints: 33194
3485.31/3496.22 c #Conflicts: 821000 | #Constraints: 34194
3600.04/3611.30 c #Conflicts: 822000 | #Constraints: 35194
3600.04/3611.30 c #Conflicts: 823000 | #Constraints: 36194
3600.04/3611.30 c #Conflicts: 824000 | #Constraints: 37194
3600.04/3611.30 c #Conflicts: 825000 | #Constraints: 38194
3600.04/3611.30 c #Conflicts: 826000 | #Constraints: 39194
3600.04/3611.30 c #Conflicts: 827000 | #Constraints: 40194
3600.04/3611.30 c #Conflicts: 828000 | #Constraints: 41194
3600.04/3611.30 c INPROCESSING
3600.04/3611.30 c GARBAGE COLLECT
3600.04/3611.30 c #Conflicts: 829000 | #Constraints: 24193
3600.04/3611.30 c #Conflicts: 830000 | #Constraints: 25193
3600.04/3611.30 c #Conflicts: 831000 | #Constraints: 26193
3600.04/3611.30 c #Conflicts: 832000 | #Constraints: 27193
3600.04/3611.30 c #Conflicts: 833000 | #Constraints: 28193
3600.04/3611.30 c #Conflicts: 834000 | #Constraints: 29193
3600.04/3611.30 c #Conflicts: 835000 | #Constraints: 30193
3600.04/3611.30 c #Conflicts: 836000 | #Constraints: 31193
3600.04/3611.30 c #Conflicts: 837000 | #Constraints: 32193
3600.04/3611.30 c #Conflicts: 838000 | #Constraints: 33193
3600.04/3611.30 c #Conflicts: 839000 | #Constraints: 34193
3600.04/3611.30 c #Conflicts: 840000 | #Constraints: 35193
3600.04/3611.30 c #Conflicts: 841000 | #Constraints: 36193
3600.04/3611.30 c #Conflicts: 842000 | #Constraints: 37193
3600.04/3611.30 c #Conflicts: 843000 | #Constraints: 38193
3600.04/3611.30 c #Conflicts: 844000 | #Constraints: 39193
3600.04/3611.30 c cpu time 3577.56 s
3600.04/3611.30 c deterministic time 206669 2.07e+05
3600.04/3611.30 c optimization time 3577.17 s
3600.04/3611.30 c total solve time 0.155899 s
3600.04/3611.30 c core-guided solve time 0 s
3600.04/3611.30 c propagation time 0.102827 s
3600.04/3611.30 c conflict analysis time 0.002409 s
3600.04/3611.30 c propagations 45535
3600.04/3611.30 c resolve steps 0
3600.04/3611.30 c decisions 1690
3600.04/3611.30 c conflicts 2
3600.04/3611.30 c restarts 1
3600.04/3611.30 c inprocessing phases 0
3600.04/3611.30 c garbage collections 0 ,( -nan )
3600.04/3611.30 c input clauses 61779 ,( 99.45 )
3600.04/3611.30 c input cardinalities 73 ,( 0.12 )
3600.04/3611.30 c input general constraints 268 ,( 0.43 )
3600.04/3611.30 c input average constraint length 7.12
3600.04/3611.30 c input average constraint degree 7833182.72
3600.04/3611.30 c learned clauses 23 ,( 100.00 )
3600.04/3611.30 c learned cardinalities 0 ,( 0.00 )
3600.04/3611.30 c learned general constraints 0 ,( 0.00 )
3600.04/3611.30 c learned average constraint length 2.09
3600.04/3611.30 c learned average constraint degree 1.00
3600.04/3611.30 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.04/3611.30 c counting CF 32, 64, 128, Arb: 3 , 266 , 0 , 0
3600.04/3611.30 c watched constraints 0 ,( 0.00 )
3600.04/3611.30 c counting constraints 268 ,( 100.00 )
3600.04/3611.30 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 31250 , 0 , 40833 ,( 0 , 40833 )
3600.04/3611.30 c gcd simplifications 0
3600.04/3611.30 c detected cardinalities 0
3600.04/3611.30 c weakened non-implied lits 0
3600.04/3611.30 c weakened non-implying lits 0
3600.04/3611.30 c original variables 21883
3600.04/3611.30 c clausal propagations 30066
3600.04/3611.30 c cardinality propagations 0
3600.04/3611.30 c watched propagations 0
3600.04/3611.30 c counting propagations 5440
3600.04/3611.30 c watch lookups 72210
3600.04/3611.30 c watch backjump lookups 0
3600.04/3611.30 c watch checks 1253
3600.04/3611.30 c propagation checks 35525
3600.04/3611.30 c constraint additions 1032
3600.04/3611.30 c trail pops 46423
3600.04/3611.30 c formula constraints 61140
3600.04/3611.30 c learned constraints 23
3600.04/3611.30 c bound constraints 0
3600.04/3611.30 c core-guided constraints 0
3600.04/3611.30 c encountered formula constraints 2
3600.04/3611.30 c encountered learned constraints 0
3600.04/3611.30 c encountered bound constraints 0
3600.04/3611.30 c encountered core-guided constraints 0
3600.04/3611.30 c LP total time 0.146781 s
3600.04/3611.30 c LP solve time 0.11 s
3600.04/3611.30 c LP constraints added 61140
3600.04/3611.30 c LP constraints removed 0
3600.04/3611.30 c LP pivots internal 2000
3600.04/3611.30 c LP pivots root 1000
3600.04/3611.30 c LP calls 2
3600.04/3611.30 c LP optimalities 0
3600.04/3611.30 c LP no pivot count 0
3600.04/3611.30 c LP infeasibilities 0
3600.04/3611.30 c LP valid Farkas constraints 0
3600.04/3611.30 c LP learned Farkas constraints 0
3600.04/3611.30 c LP basis resets 0
3600.04/3611.30 c LP cycling count 0
3600.04/3611.30 c LP singular count 0
3600.04/3611.30 c LP no primal count 0
3600.04/3611.30 c LP no farkas count 0
3600.04/3611.30 c LP other issue count 0
3600.04/3611.30 c LP Gomory cuts 0
3600.04/3611.30 c LP learned cuts 0
3600.04/3611.30 c LP deleted cuts 0
3600.04/3611.30 c LP encountered Gomory constraints 0
3600.04/3611.30 c LP encountered Farkas constraints 0
3600.04/3611.30 c LP encountered learned Farkas constraints 0
3600.04/3611.30 c CG auxiliary variables introduced 511
3600.04/3611.30 c CG solutions found 0
3600.04/3611.30 c CG cores constructed 397
3600.04/3611.30 c CG core cardinality constraints returned 0
3600.04/3611.30 c CG unit cores 0
3600.04/3611.30 c CG single cores 0
3600.04/3611.30 c CG blocks removed during cardinality reduction 0
3600.04/3611.30 c CG first core best 0
3600.04/3611.30 c CG decision core best 0
3600.04/3611.30 c CG core reduction tie 0
3600.04/3611.30 c CG core degree average 0.00
3600.04/3611.30 c CG core slack average 0.00
3600.04/3611.30 c CG core upper bound improvements 0
3600.04/3611.30 c STR number of successful calls 0
3600.04/3611.30 c STR number of unsuccessful calls 0
3600.04/3611.30 c STR number of inconclusive calls 0
3600.04/3611.30 c STR number of successful attempts 0
3600.04/3611.30 c STR number of unsuccessful attempts 0
3600.04/3611.30 c STR number of inconclusive attempts 0
3600.04/3611.30 c STR average degree increase per successful call inf
3600.04/3611.30 c STR average degree increase per successful attempt inf
3600.04/3611.30 c STR total number of conflicts for successful attempts 0
3600.04/3611.30 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3611.30 c STR total number of conflicts for inconclusive attempts 0
3600.04/3611.30 c STR average number of conflicts per successful attempt inf
3600.04/3611.30 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3611.30 c STR average number of conflicts per inconclusive attempt inf
3600.04/3611.30 c AVG.sumWPerc 100.00
3600.04/3611.30 c bigint constraints 266
3600.04/3611.30 s UNKNOWN
3600.04/3611.30 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62641 MiB free)
memory of node 1: 64507 MiB (63368 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512663-1751525575/watcher-4512663-1751525575 -o /tmp/evaluation-result-4512663-1751525575/solver-4512663-1751525575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751518261-79434 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4512663-1751525575.opb PROOFDIR/proof-4512663-1751525575
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=80471, runsolver pid=80468
[startup+0.10006 s]*
/proc/loadavg: 4.14 4.19 4.14 6/273 80473
/proc/meminfo: memFree=129026388/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=62828 memory=16876 CPUtime=0.08 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 2560 0 0 0 7 1 0 0 20 0 1 0 68235401 64335872 4219 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 15707 4219 1952 1147 0 3134 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67020 KiB
Current children cumulated memory: 19692 KiB
[startup+0.205192 s]*
/proc/loadavg: 4.14 4.19 4.14 5/273 80473
/proc/meminfo: memFree=129007992/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=73972 memory=30696 CPUtime=0.18 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 6275 0 0 0 15 3 0 0 20 0 1 0 68235401 75747328 7674 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 18493 7674 2240 1147 0 5920 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 78164 KiB
Current children cumulated memory: 33512 KiB
[startup+0.30563 s]*
/proc/loadavg: 4.14 4.19 4.14 5/273 80473
/proc/meminfo: memFree=128972704/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=108692 memory=64532 CPUtime=0.29 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 8847 0 0 0 24 5 0 0 20 0 1 0 68235401 111300608 16133 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 27173 16133 2240 1147 0 14600 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 112884 KiB
Current children cumulated memory: 67348 KiB
[startup+0.700141 s]
/proc/loadavg: 4.14 4.19 4.14 5/273 80473
/proc/meminfo: memFree=128956828/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=125684 memory=78720 CPUtime=0.68 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 11824 0 0 0 42 26 0 0 20 0 1 0 68235401 128700416 19680 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 31421 19680 2304 1147 0 18848 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 129876 KiB
Current children cumulated memory: 81536 KiB
[startup+1.50015 s]
/proc/loadavg: 4.14 4.19 4.14 5/273 80473
/proc/meminfo: memFree=128949016/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=125852 memory=79232 CPUtime=1.47 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 11964 0 0 0 75 72 0 0 20 0 1 0 68235401 128872448 19808 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 31463 19808 2304 1147 0 18890 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 130044 KiB
Current children cumulated memory: 82048 KiB
[startup+3.10544 s]
/proc/loadavg: 4.13 4.18 4.14 5/273 80473
/proc/meminfo: memFree=128925076/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=128596 memory=84316 CPUtime=3.07 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 12727 0 0 0 139 168 0 0 20 0 1 0 68235401 131682304 21079 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 32149 21079 2304 1147 0 19576 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 132788 KiB
Current children cumulated memory: 87132 KiB
[startup+6.30015 s]
/proc/loadavg: 4.13 4.18 4.14 5/273 80473
/proc/meminfo: memFree=128873476/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=154176 memory=106604 CPUtime=6.26 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 17241 0 0 0 286 340 0 0 20 0 1 0 68235401 157876224 26651 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 38544 26651 2336 1147 0 25971 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 158368 KiB
Current children cumulated memory: 109420 KiB
[startup+12.7002 s]
/proc/loadavg: 4.12 4.18 4.14 5/273 80474
/proc/meminfo: memFree=128813700/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=203604 memory=155256 CPUtime=12.64 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 22273 0 0 0 700 564 0 0 20 0 1 0 68235401 208490496 38814 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 50901 38814 2336 1147 0 38328 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 207796 KiB
Current children cumulated memory: 158072 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.19 4.14 5/273 80474
/proc/meminfo: memFree=128674272/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=245388 memory=183184 CPUtime=25.41 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 28748 0 0 0 1902 639 0 0 20 0 1 0 68235401 251277312 45796 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 61347 45796 2336 1147 0 48774 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 249580 KiB
Current children cumulated memory: 186000 KiB
[startup+51.1057 s]
/proc/loadavg: 4.18 4.19 4.14 5/273 80474
/proc/meminfo: memFree=128488936/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=261400 memory=203532 CPUtime=50.92 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 32783 0 0 0 4414 678 0 0 20 0 1 0 68235401 267673600 50883 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 65350 50883 2336 1147 0 52777 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 265592 KiB
Current children cumulated memory: 206348 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.19 4.14 5/273 80476
/proc/meminfo: memFree=128161968/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=305436 memory=232932 CPUtime=101.94 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 39637 0 0 0 9475 719 0 0 20 0 1 0 68235401 312766464 58233 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 76359 58233 2336 1147 0 63786 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 309628 KiB
Current children cumulated memory: 235748 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.17 4.14 8/273 80481
/proc/meminfo: memFree=127804528/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=310556 memory=241892 CPUtime=161.74 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 41897 0 0 0 15418 756 0 0 20 0 1 0 68235401 318009344 60473 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 77639 60473 2336 1147 0 65066 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 314748 KiB
Current children cumulated memory: 244708 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.15 4.13 5/273 80488
/proc/meminfo: memFree=127226160/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=335064 memory=257712 CPUtime=221.54 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 44838 0 0 0 21355 799 0 0 20 0 1 0 68235401 343105536 64428 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 83766 64428 2336 1147 0 71193 0
################
# More data... #
################
/proc/80473/statm: 190979 149517 2368 1147 0 178406 0
Current children cumulated CPU time: 3092.46 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 600884 KiB
[startup+3162.3 s]
/proc/loadavg: 4.15 4.20 4.16 5/269 80694
/proc/meminfo: memFree=109225716/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=598196 CPUtime=3152.29 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 100365 0 0 0 313114 2115 0 0 20 0 1 0 68235401 782249984 149549 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 149549 2368 1147 0 178406 0
Current children cumulated CPU time: 3152.29 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 601012 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.18 4.15 5/270 80699
/proc/meminfo: memFree=109002872/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=598452 CPUtime=3212.13 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 100430 0 0 0 319075 2138 0 0 20 0 1 0 68235401 782249984 149613 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 149613 2368 1147 0 178406 0
Current children cumulated CPU time: 3212.13 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 601268 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.15 5/270 80705
/proc/meminfo: memFree=108783324/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=598964 CPUtime=3271.98 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 100560 0 0 0 325041 2157 0 0 20 0 1 0 68235401 782249984 149741 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 149741 2368 1147 0 178406 0
Current children cumulated CPU time: 3271.98 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 601780 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.17 4.15 5/270 80707
/proc/meminfo: memFree=108597048/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=598964 CPUtime=3331.83 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 100568 0 0 0 331013 2170 0 0 20 0 1 0 68235401 782249984 149741 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 149741 2368 1147 0 178406 0
Current children cumulated CPU time: 3331.83 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 601780 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.15 4.14 5/270 80709
/proc/meminfo: memFree=108342656/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=599348 CPUtime=3391.68 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 100692 0 0 0 336978 2190 0 0 20 0 1 0 68235401 782249984 149837 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 149837 2368 1147 0 178406 0
Current children cumulated CPU time: 3391.68 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 602164 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/270 80711
/proc/meminfo: memFree=108073864/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=599732 CPUtime=3451.52 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 100805 0 0 0 342947 2205 0 0 20 0 1 0 68235401 782249984 149933 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 149933 2368 1147 0 178406 0
Current children cumulated CPU time: 3451.52 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 602548 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.14 5/271 80716
/proc/meminfo: memFree=107731976/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=599732 CPUtime=3511.33 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 100805 0 0 0 348911 2222 0 0 20 0 1 0 68235401 782249984 149933 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 149933 2368 1147 0 178406 0
Current children cumulated CPU time: 3511.33 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 602548 KiB
[startup+3582.3 s]
/proc/loadavg: 2.95 3.81 4.02 3/257 80779
/proc/meminfo: memFree=120936728/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=601268 CPUtime=3571.13 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 101176 0 0 0 354873 2240 0 0 20 0 1 0 68235401 782249984 150317 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 150317 2368 1147 0 178406 0
Current children cumulated CPU time: 3571.13 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 604084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.3 s]
/proc/loadavg: 2.58 3.63 3.96 3/257 80780
/proc/meminfo: memFree=120872268/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=601268 CPUtime=3600.04 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 101178 0 0 0 357756 2248 0 0 20 0 1 0 68235401 782249984 150317 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 150317 2368 1147 0 178406 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 604084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.3 s]
# the end of solver process 80471 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001009 s, system=0.001005 s
[startup+3611.33 s]
# the end of solver process 80473 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3577.57 s, system=22.4989 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.3 s]
/proc/loadavg: 2.58 3.63 3.96 3/257 80780
/proc/meminfo: memFree=120872268/131250000 swapFree=33010416/33010684
[pid=80471] ppid=80468 vsize=4192 memory=2816 CPUtime=0 cores=4,6
/proc/80471/stat : 80471 (run-opt-log.sh) S 80468 80471 79423 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 68235400 4292608 704 18446744073709551615 94392152698880 94392153593413 140731491536800 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94392153832464 94392153880208 94392175153152 140731491543329 140731491543524 140731491543524 140731491549126 0
/proc/80471/statm: 1048 704 672 219 0 110 0
[pid=80473] ppid=80471 vsize=763916 memory=601268 CPUtime=3600.04 cores=4,6
/proc/80473/stat : 80473 (roundingsat) R 80471 80471 79423 0 -1 4194304 101178 0 0 0 357756 2248 0 0 20 0 1 0 68235401 782249984 150317 18446744073709551615 4227072 8923433 140729197684608 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 22016000 140729197693266 140729197693480 140729197693480 140729197699050 0
/proc/80473/statm: 190979 150317 2368 1147 0 178406 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 768108 KiB
Current children cumulated memory: 604084 KiB
Child status: 2
Real time (s): 3611.33
CPU time (s): 3600.07
CPU user time (s): 3577.57
CPU system time (s): 22.4989
CPU usage (%): 99.6881
Max. virtual memory (cumulated for all children) (KiB): 768108
Max. memory (cumulated for all children) (KiB): 604084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3577.57
system time used= 22.4989
maximum resident set size= 601780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10042232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 663
involuntary context switches= 5593
# summary of solver processes directly reported to runsolver:
# pid: 80471,80473
# total CPU time (s): 3600.07
# total CPU user time (s): 3577.57
# total CPU system time (s): 22.4989
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.38468 second user time and 17.5069 second system time
The end
Begin job on nodeC018 at 2025-07-03 08:52:56
IDJOB=4512663
IDBENCH=161945
IDSOLVER=3351
FILE ID=nodeC018/4512663-1751525575
RUNJOBID= nodeC018-1751518261-79434
SLURM_JOB_ID= 9598637
Free space on /tmp= 432900 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-EDCBAir.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4512663-1751525575/watcher-4512663-1751525575 -o /tmp/evaluation-result-4512663-1751525575/solver-4512663-1751525575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751518261-79434 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4512663-1751525575.opb PROOFDIR/proof-4512663-1751525575
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 65e611f9e9a028ee76bdf4ae9009a4c4
RANDOM SEED=1189554723
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.828
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.827
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.077
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.048
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.833
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.166
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.860
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129033948 kB
MemAvailable: 129222212 kB
Buffers: 2128 kB
Cached: 953448 kB
SwapCached: 32 kB
Active: 1043992 kB
Inactive: 492004 kB
Active(anon): 598320 kB
Inactive(anon): 288 kB
Active(file): 445672 kB
Inactive(file): 491716 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 88256 kB
Writeback: 0 kB
AnonPages: 583648 kB
Mapped: 118188 kB
Shmem: 18044 kB
KReclaimable: 179828 kB
Slab: 273080 kB
SReclaimable: 179828 kB
SUnreclaim: 93252 kB
KernelStack: 4400 kB
PageTables: 4440 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 967576 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150632 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 296960 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432916 MiB
End job on nodeC018 at 2025-07-03 09:53:07