0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
2.44/2.50 c #variables 14300 #constraints 65280
2.44/2.50 c objective is ce32
2.84/2.97 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.84/2.97 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.84/2.97 c GLOBAL bounds - >= 0 @ 2.66272
3.15/3.25 c GLOBAL bounds - >= 0 @ 2.92689
3.15/3.26 c GLOBAL bounds - >= 0 @ 2.93998
3.15/3.29 c GLOBAL bounds - >= 0 @ 2.95545
3.24/3.30 c GLOBAL bounds - >= 0 @ 2.96518
3.24/3.33 c GLOBAL bounds - >= 0 @ 2.9864
3.24/3.36 c GLOBAL bounds - >= 0 @ 3.0053
3.24/3.38 c GLOBAL bounds - >= 0 @ 3.02643
3.34/3.41 c GLOBAL bounds - >= 0 @ 3.04398
3.34/3.43 c GLOBAL bounds - >= 0 @ 3.06063
3.34/3.46 c GLOBAL bounds - >= 0 @ 3.09376
3.34/3.49 c GLOBAL bounds - >= 0 @ 3.11354
3.44/3.51 c GLOBAL bounds - >= 0 @ 3.12225
3.44/3.53 c GLOBAL bounds - >= 0 @ 3.13734
3.44/3.55 c GLOBAL bounds - >= 0 @ 3.14334
3.44/3.56 c GLOBAL bounds - >= 0 @ 3.14996
3.44/3.58 c GLOBAL bounds - >= 0 @ 3.16016
3.54/3.61 c GLOBAL bounds - >= 0 @ 3.18263
3.54/3.64 c GLOBAL bounds - >= 0 @ 3.19923
3.54/3.66 c GLOBAL bounds - >= 0 @ 3.21807
3.54/3.69 c GLOBAL bounds - >= 0 @ 3.23647
3.64/3.72 c GLOBAL bounds - >= 0 @ 3.26157
3.64/3.75 c GLOBAL bounds - >= 0 @ 3.28218
3.64/3.77 c GLOBAL bounds - >= 0 @ 3.29911
3.74/3.80 c GLOBAL bounds - >= 0 @ 3.31657
3.74/3.82 c GLOBAL bounds - >= 0 @ 3.33021
3.74/3.85 c GLOBAL bounds - >= 0 @ 3.34679
3.74/3.87 c GLOBAL bounds - >= 0 @ 3.35898
3.84/3.90 c GLOBAL bounds - >= 0 @ 3.37511
3.84/3.92 c GLOBAL bounds - >= 0 @ 3.38991
3.84/3.94 c GLOBAL bounds - >= 0 @ 3.3971
3.84/3.96 c GLOBAL bounds - >= 0 @ 3.4097
3.84/3.99 c GLOBAL bounds - >= 0 @ 3.42912
3.95/4.01 c GLOBAL bounds - >= 0 @ 3.44626
3.95/4.04 c GLOBAL bounds - >= 0 @ 3.4624
3.95/4.06 c GLOBAL bounds - >= 0 @ 3.47525
3.95/4.08 c GLOBAL bounds - >= 0 @ 3.48419
3.95/4.09 c GLOBAL bounds - >= 0 @ 3.49362
4.05/4.12 c GLOBAL bounds - >= 0 @ 3.50302
4.05/4.14 c GLOBAL bounds - >= 0 @ 3.52001
4.05/4.16 c GLOBAL bounds - >= 0 @ 3.52924
4.05/4.17 c GLOBAL bounds - >= 0 @ 3.54115
4.05/4.19 c GLOBAL bounds - >= 0 @ 3.54702
4.14/4.21 c GLOBAL bounds - >= 0 @ 3.55602
4.14/4.23 c GLOBAL bounds - >= 0 @ 3.56676
4.14/4.25 c GLOBAL bounds - >= 0 @ 3.58194
4.14/4.27 c GLOBAL bounds - >= 0 @ 3.59324
4.14/4.29 c GLOBAL bounds - >= 0 @ 3.6007
4.24/4.31 c GLOBAL bounds - >= 0 @ 3.60908
4.24/4.32 c GLOBAL bounds - >= 0 @ 3.61928
4.24/4.34 c GLOBAL bounds - >= 0 @ 3.62916
4.24/4.36 c GLOBAL bounds - >= 0 @ 3.63972
4.24/4.38 c GLOBAL bounds - >= 0 @ 3.6472
4.33/4.40 c GLOBAL bounds - >= 0 @ 3.65723
4.33/4.41 c GLOBAL bounds - >= 0 @ 3.66449
4.33/4.45 c GLOBAL bounds - >= 0 @ 3.68737
4.33/4.47 c GLOBAL bounds - >= 0 @ 3.69667
4.33/4.50 c GLOBAL bounds - >= 0 @ 3.71103
4.44/4.52 c GLOBAL bounds - >= 0 @ 3.7261
4.44/4.55 c GLOBAL bounds - >= 0 @ 3.75174
4.44/4.58 c GLOBAL bounds - >= 0 @ 3.77312
4.53/4.62 c GLOBAL bounds - >= 0 @ 3.81421
4.53/4.66 c GLOBAL bounds - >= 0 @ 3.84259
4.64/4.71 c GLOBAL bounds - >= 0 @ 3.87809
4.73/4.83 c GLOBAL bounds - >= 0 @ 3.98777
4.73/4.86 c GLOBAL bounds - >= 0 @ 4.00764
4.73/4.89 c GLOBAL bounds - >= 0 @ 4.03305
4.83/4.94 c GLOBAL bounds - >= 0 @ 4.07291
4.83/4.97 c GLOBAL bounds - >= 0 @ 4.09494
4.83/5.00 c GLOBAL bounds - >= 0 @ 4.11305
4.95/5.02 c GLOBAL bounds - >= 0 @ 4.13348
4.95/5.10 c GLOBAL bounds - >= 0 @ 4.19946
5.13/5.20 c GLOBAL bounds - >= 0 @ 4.27499
5.13/5.24 c GLOBAL bounds - >= 0 @ 4.2998
5.13/5.27 c GLOBAL bounds - >= 0 @ 4.32697
5.24/5.31 c GLOBAL bounds - >= 0 @ 4.35402
5.24/5.34 c GLOBAL bounds - >= 0 @ 4.3845
5.24/5.38 c GLOBAL bounds - >= 0 @ 4.41319
5.33/5.41 c GLOBAL bounds - >= 0 @ 4.43788
5.33/5.44 c GLOBAL bounds - >= 0 @ 4.46286
5.33/5.47 c GLOBAL bounds - >= 0 @ 4.48358
5.43/5.50 c GLOBAL bounds - >= 0 @ 4.49855
5.43/5.53 c GLOBAL bounds - >= 0 @ 4.52695
5.43/5.57 c GLOBAL bounds - >= 0 @ 4.55677
5.54/5.65 c GLOBAL bounds - >= 0 @ 4.62115
5.54/5.69 c GLOBAL bounds - >= 0 @ 4.65891
5.64/5.72 c GLOBAL bounds - >= 0 @ 4.68127
5.64/5.75 c GLOBAL bounds - >= 0 @ 4.70704
5.64/5.78 c GLOBAL bounds - >= 0 @ 4.7231
5.74/5.81 c GLOBAL bounds - >= 0 @ 4.74903
5.74/5.83 c GLOBAL bounds - >= 0 @ 4.7671
5.74/5.86 c GLOBAL bounds - >= 0 @ 4.78369
5.74/5.89 c GLOBAL bounds - >= 0 @ 4.80792
5.84/5.94 c GLOBAL bounds - >= 0 @ 4.84685
5.84/5.98 c GLOBAL bounds - >= 0 @ 4.88187
5.95/6.02 c GLOBAL bounds - >= 0 @ 4.91838
5.95/6.06 c GLOBAL bounds - >= 0 @ 4.94822
5.95/6.09 c GLOBAL bounds - >= 0 @ 4.97303
6.05/6.12 c GLOBAL bounds - >= 0 @ 4.99464
6.05/6.15 c GLOBAL bounds - >= 0 @ 5.01786
6.05/6.19 c GLOBAL bounds - >= 0 @ 5.04539
6.14/6.28 c GLOBAL bounds - >= 0 @ 5.11255
6.23/6.32 c GLOBAL bounds - >= 0 @ 5.14777
6.23/6.36 c GLOBAL bounds - >= 0 @ 5.17429
6.23/6.39 c GLOBAL bounds - >= 0 @ 5.20465
6.33/6.46 c GLOBAL bounds - >= 0 @ 5.25762
6.43/6.57 c GLOBAL bounds - >= 0 @ 5.36489
6.53/6.60 c GLOBAL bounds - >= 0 @ 5.38977
6.53/6.65 c GLOBAL bounds - >= 0 @ 5.42466
6.53/6.68 c GLOBAL bounds - >= 0 @ 5.45195
6.63/6.72 c GLOBAL bounds - >= 0 @ 5.48141
6.63/6.75 c GLOBAL bounds - >= 0 @ 5.50792
6.63/6.78 c GLOBAL bounds - >= 0 @ 5.53217
6.73/6.81 c GLOBAL bounds - >= 0 @ 5.55534
6.73/6.84 c GLOBAL bounds - >= 0 @ 5.57716
6.73/6.87 c GLOBAL bounds - >= 0 @ 5.60054
6.83/6.90 c GLOBAL bounds - >= 0 @ 5.62083
6.83/6.93 c GLOBAL bounds - >= 0 @ 5.64114
6.83/6.95 c GLOBAL bounds - >= 0 @ 5.66073
6.83/6.98 c GLOBAL bounds - >= 0 @ 5.67658
6.83/7.00 c GLOBAL bounds - >= 0 @ 5.69283
6.94/7.03 c GLOBAL bounds - >= 0 @ 5.70985
6.94/7.05 c GLOBAL bounds - >= 0 @ 5.72611
6.94/7.08 c GLOBAL bounds - >= 0 @ 5.7474
6.94/7.11 c GLOBAL bounds - >= 0 @ 5.76668
7.04/7.13 c GLOBAL bounds - >= 0 @ 5.77929
7.04/7.16 c GLOBAL bounds - >= 0 @ 5.80432
7.04/7.18 c GLOBAL bounds - >= 0 @ 5.82224
7.13/7.21 c GLOBAL bounds - >= 0 @ 5.83818
7.13/7.23 c GLOBAL bounds - >= 0 @ 5.85148
7.13/7.29 c GLOBAL bounds - >= 0 @ 5.87781
7.23/7.32 c GLOBAL bounds - >= 0 @ 5.89937
7.23/7.35 c GLOBAL bounds - >= 0 @ 5.9197
7.23/7.38 c GLOBAL bounds - >= 0 @ 5.93895
7.33/7.41 c GLOBAL bounds - >= 0 @ 5.95613
7.33/7.43 c GLOBAL bounds - >= 0 @ 5.97223
7.33/7.47 c GLOBAL bounds - >= 0 @ 6.00462
7.43/7.55 c GLOBAL bounds - >= 0 @ 6.06359
7.43/7.59 c GLOBAL bounds - >= 0 @ 6.08677
7.53/7.62 c GLOBAL bounds - >= 0 @ 6.10729
7.53/7.66 c GLOBAL bounds - >= 0 @ 6.14041
7.63/7.70 c GLOBAL bounds - >= 0 @ 6.1779
7.63/7.74 c GLOBAL bounds - >= 0 @ 6.21103
7.73/7.80 c GLOBAL bounds - >= 0 @ 6.26259
7.73/7.84 c GLOBAL bounds - >= 0 @ 6.28675
7.73/7.87 c GLOBAL bounds - >= 0 @ 6.31348
7.83/7.91 c GLOBAL bounds - >= 0 @ 6.34136
7.83/7.94 c GLOBAL bounds - >= 0 @ 6.36875
7.83/7.98 c GLOBAL bounds - >= 0 @ 6.39425
7.83/8.01 c GLOBAL bounds - >= 0 @ 6.41685
7.94/8.04 c GLOBAL bounds - >= 0 @ 6.44236
7.94/8.07 c GLOBAL bounds - >= 0 @ 6.46359
7.94/8.10 c GLOBAL bounds - >= 0 @ 6.48826
8.04/8.14 c GLOBAL bounds - >= 0 @ 6.5196
8.04/8.18 c GLOBAL bounds - >= 0 @ 6.55038
8.12/8.21 c GLOBAL bounds - >= 0 @ 6.57489
8.12/8.24 c GLOBAL bounds - >= 0 @ 6.59898
8.12/8.28 c GLOBAL bounds - >= 0 @ 6.62462
8.23/8.31 c GLOBAL bounds - >= 0 @ 6.64843
8.23/8.34 c GLOBAL bounds - >= 0 @ 6.67337
8.23/8.37 c GLOBAL bounds - >= 0 @ 6.69876
8.33/8.40 c GLOBAL bounds - >= 0 @ 6.71972
8.33/8.44 c GLOBAL bounds - >= 0 @ 6.74494
8.33/8.47 c GLOBAL bounds - >= 0 @ 6.77344
8.43/8.50 c GLOBAL bounds - >= 0 @ 6.79689
8.43/8.53 c GLOBAL bounds - >= 0 @ 6.82283
8.43/8.56 c GLOBAL bounds - >= 0 @ 6.84671
8.43/8.58 c GLOBAL bounds - >= 0 @ 6.86456
8.52/8.62 c GLOBAL bounds - >= 0 @ 6.88904
8.52/8.65 c GLOBAL bounds - >= 0 @ 6.91462
8.52/8.69 c GLOBAL bounds - >= 0 @ 6.93943
8.63/8.72 c GLOBAL bounds - >= 0 @ 6.96212
8.63/8.74 c GLOBAL bounds - >= 0 @ 6.98273
8.63/8.77 c GLOBAL bounds - >= 0 @ 7.00002
8.72/8.80 c GLOBAL bounds - >= 0 @ 7.01857
8.72/8.83 c GLOBAL bounds - >= 0 @ 7.04134
8.72/8.85 c GLOBAL bounds - >= 0 @ 7.06352
8.72/8.88 c GLOBAL bounds - >= 0 @ 7.0796
8.83/8.91 c GLOBAL bounds - >= 0 @ 7.10064
8.83/8.94 c GLOBAL bounds - >= 0 @ 7.12705
8.83/8.98 c GLOBAL bounds - >= 0 @ 7.1561
8.83/9.01 c GLOBAL bounds - >= 0 @ 7.18129
8.94/9.04 c GLOBAL bounds - >= 0 @ 7.20353
8.94/9.08 c GLOBAL bounds - >= 0 @ 7.22679
9.04/9.11 c GLOBAL bounds - >= 0 @ 7.2522
9.04/9.14 c GLOBAL bounds - >= 0 @ 7.27176
9.04/9.17 c GLOBAL bounds - >= 0 @ 7.29767
9.04/9.19 c GLOBAL bounds - >= 0 @ 7.32053
9.13/9.23 c GLOBAL bounds - >= 0 @ 7.34303
9.13/9.25 c GLOBAL bounds - >= 0 @ 7.35934
9.13/9.28 c GLOBAL bounds - >= 0 @ 7.37893
9.23/9.31 c GLOBAL bounds - >= 0 @ 7.3993
9.23/9.34 c GLOBAL bounds - >= 0 @ 7.4193
9.23/9.37 c GLOBAL bounds - >= 0 @ 7.4503
9.32/9.41 c GLOBAL bounds - >= 0 @ 7.47912
9.32/9.44 c GLOBAL bounds - >= 0 @ 7.5069
9.32/9.48 c GLOBAL bounds - >= 0 @ 7.53467
9.43/9.51 c GLOBAL bounds - >= 0 @ 7.55899
9.43/9.54 c GLOBAL bounds - >= 0 @ 7.58034
9.52/9.61 c GLOBAL bounds - >= 0 @ 7.62774
9.52/9.65 c GLOBAL bounds - >= 0 @ 7.66196
9.52/9.68 c GLOBAL bounds - >= 0 @ 7.68663
9.63/9.72 c GLOBAL bounds - >= 0 @ 7.71536
9.63/9.76 c GLOBAL bounds - >= 0 @ 7.74629
9.63/9.79 c GLOBAL bounds - >= 0 @ 7.76706
9.73/9.83 c GLOBAL bounds - >= 0 @ 7.78636
9.73/9.86 c GLOBAL bounds - >= 0 @ 7.81081
9.73/9.89 c GLOBAL bounds - >= 0 @ 7.83021
9.82/9.92 c GLOBAL bounds - >= 0 @ 7.85353
9.82/9.95 c GLOBAL bounds - >= 0 @ 7.87467
9.82/9.98 c GLOBAL bounds - >= 0 @ 7.89746
9.82/10.01 c GLOBAL bounds - >= 0 @ 7.91802
9.94/10.04 c GLOBAL bounds - >= 0 @ 7.94564
9.94/10.08 c GLOBAL bounds - >= 0 @ 7.97518
10.04/10.12 c GLOBAL bounds - >= 0 @ 8.00086
10.04/10.15 c GLOBAL bounds - >= 0 @ 8.02838
10.04/10.19 c GLOBAL bounds - >= 0 @ 8.05766
10.13/10.22 c GLOBAL bounds - >= 0 @ 8.08473
10.13/10.26 c GLOBAL bounds - >= 0 @ 8.11053
10.13/10.29 c GLOBAL bounds - >= 0 @ 8.13406
10.22/10.32 c GLOBAL bounds - >= 0 @ 8.1583
10.22/10.36 c GLOBAL bounds - >= 0 @ 8.18473
10.22/10.39 c GLOBAL bounds - >= 0 @ 8.20951
10.33/10.43 c GLOBAL bounds - >= 0 @ 8.23621
10.33/10.46 c GLOBAL bounds - >= 0 @ 8.26482
10.33/10.49 c GLOBAL bounds - >= 0 @ 8.28696
10.42/10.52 c GLOBAL bounds - >= 0 @ 8.3091
10.42/10.56 c GLOBAL bounds - >= 0 @ 8.33994
10.42/10.59 c GLOBAL bounds - >= 0 @ 8.3648
10.52/10.62 c GLOBAL bounds - >= 0 @ 8.38605
10.52/10.65 c GLOBAL bounds - >= 0 @ 8.40918
10.52/10.68 c GLOBAL bounds - >= 0 @ 8.43235
10.62/10.71 c GLOBAL bounds - >= 0 @ 8.45681
10.62/10.74 c GLOBAL bounds - >= 0 @ 8.48466
10.62/10.78 c GLOBAL bounds - >= 0 @ 8.51223
10.72/10.81 c GLOBAL bounds - >= 0 @ 8.53863
10.72/10.85 c GLOBAL bounds - >= 0 @ 8.56191
10.72/10.88 c GLOBAL bounds - >= 0 @ 8.58419
10.83/10.91 c GLOBAL bounds - >= 0 @ 8.60734
10.83/10.93 c GLOBAL bounds - >= 0 @ 8.62948
10.83/10.96 c GLOBAL bounds - >= 0 @ 8.65549
10.83/10.99 c GLOBAL bounds - >= 0 @ 8.67765
10.93/11.02 c GLOBAL bounds - >= 0 @ 8.69641
10.93/11.05 c GLOBAL bounds - >= 0 @ 8.71554
10.93/11.08 c GLOBAL bounds - >= 0 @ 8.73884
11.03/11.11 c GLOBAL bounds - >= 0 @ 8.75864
11.03/11.14 c GLOBAL bounds - >= 0 @ 8.78361
11.03/11.17 c GLOBAL bounds - >= 0 @ 8.80596
11.12/11.20 c GLOBAL bounds - >= 0 @ 8.8277
11.12/11.23 c GLOBAL bounds - >= 0 @ 8.84889
11.12/11.26 c GLOBAL bounds - >= 0 @ 8.86897
11.12/11.29 c GLOBAL bounds - >= 0 @ 8.89038
11.22/11.32 c GLOBAL bounds - >= 0 @ 8.91249
11.22/11.35 c GLOBAL bounds - >= 0 @ 8.9374
11.22/11.38 c GLOBAL bounds - >= 0 @ 8.95567
11.32/11.41 c GLOBAL bounds - >= 0 @ 8.97903
11.32/11.44 c GLOBAL bounds - >= 0 @ 8.99987
11.32/11.47 c GLOBAL bounds - >= 0 @ 9.02195
11.42/11.50 c GLOBAL bounds - >= 0 @ 9.04137
11.42/11.53 c GLOBAL bounds - >= 0 @ 9.06659
11.42/11.56 c GLOBAL bounds - >= 0 @ 9.09148
11.42/11.59 c GLOBAL bounds - >= 0 @ 9.1161
11.52/11.63 c GLOBAL bounds - >= 0 @ 9.14587
11.52/11.69 c GLOBAL bounds - >= 0 @ 9.19076
11.62/11.74 c GLOBAL bounds - >= 0 @ 9.23489
11.62/11.79 c GLOBAL bounds - >= 0 @ 9.27356
11.72/11.84 c GLOBAL bounds - >= 0 @ 9.31424
11.72/11.89 c GLOBAL bounds - >= 0 @ 9.35661
11.82/11.93 c GLOBAL bounds - >= 0 @ 9.39283
11.82/11.98 c GLOBAL bounds - >= 0 @ 9.43352
11.93/12.02 c GLOBAL bounds - >= 0 @ 9.45831
11.93/12.05 c GLOBAL bounds - >= 0 @ 9.48669
11.93/12.10 c GLOBAL bounds - >= 0 @ 9.52217
12.03/12.14 c GLOBAL bounds - >= 0 @ 9.55786
12.03/12.18 c GLOBAL bounds - >= 0 @ 9.59956
12.12/12.23 c GLOBAL bounds - >= 0 @ 9.63486
12.22/12.31 c GLOBAL bounds - >= 0 @ 9.70856
12.22/12.35 c GLOBAL bounds - >= 0 @ 9.74033
12.32/12.41 c GLOBAL bounds - >= 0 @ 9.78559
12.32/12.45 c GLOBAL bounds - >= 0 @ 9.81679
12.32/12.49 c GLOBAL bounds - >= 0 @ 9.85235
12.42/12.53 c GLOBAL bounds - >= 0 @ 9.88358
12.42/12.57 c GLOBAL bounds - >= 0 @ 9.9203
12.52/12.61 c GLOBAL bounds - >= 0 @ 9.95487
12.52/12.65 c GLOBAL bounds - >= 0 @ 9.98441
12.52/12.69 c GLOBAL bounds - >= 0 @ 10.0168
12.62/12.73 c GLOBAL bounds - >= 0 @ 10.0545
12.62/12.77 c GLOBAL bounds - >= 0 @ 10.0838
12.72/12.81 c GLOBAL bounds - >= 0 @ 10.1139
12.72/12.84 c GLOBAL bounds - >= 0 @ 10.1365
12.72/12.87 c GLOBAL bounds - >= 0 @ 10.1573
12.82/12.90 c GLOBAL bounds - >= 0 @ 10.1859
12.82/12.94 c GLOBAL bounds - >= 0 @ 10.2142
12.82/12.97 c GLOBAL bounds - >= 0 @ 10.2363
12.93/13.02 c GLOBAL bounds - >= 0 @ 10.2775
12.93/13.07 c GLOBAL bounds - >= 0 @ 10.313
13.03/13.12 c GLOBAL bounds - >= 0 @ 10.3572
13.03/13.16 c GLOBAL bounds - >= 0 @ 10.38
13.03/13.20 c GLOBAL bounds - >= 0 @ 10.4128
13.12/13.23 c GLOBAL bounds - >= 0 @ 10.4413
13.12/13.27 c GLOBAL bounds - >= 0 @ 10.4688
13.22/13.32 c GLOBAL bounds - >= 0 @ 10.5086
13.22/13.36 c GLOBAL bounds - >= 0 @ 10.5405
13.32/13.40 c GLOBAL bounds - >= 0 @ 10.5749
13.32/13.44 c GLOBAL bounds - >= 0 @ 10.6035
13.32/13.47 c GLOBAL bounds - >= 0 @ 10.633
13.42/13.51 c GLOBAL bounds - >= 0 @ 10.6574
13.42/13.54 c GLOBAL bounds - >= 0 @ 10.6858
13.42/13.58 c GLOBAL bounds - >= 0 @ 10.7185
13.51/13.61 c GLOBAL bounds - >= 0 @ 10.7437
13.51/13.65 c GLOBAL bounds - >= 0 @ 10.7703
13.62/13.73 c GLOBAL bounds - >= 0 @ 10.8395
13.62/13.78 c GLOBAL bounds - >= 0 @ 10.8801
13.72/13.83 c GLOBAL bounds - >= 0 @ 10.9253
13.72/13.87 c GLOBAL bounds - >= 0 @ 10.96
13.82/13.91 c GLOBAL bounds - >= 0 @ 10.9881
13.93/14.01 c GLOBAL bounds - >= 0 @ 11.0426
13.93/14.06 c GLOBAL bounds - >= 0 @ 11.0798
14.02/14.11 c GLOBAL bounds - >= 0 @ 11.117
14.02/14.16 c GLOBAL bounds - >= 0 @ 11.1596
14.11/14.21 c GLOBAL bounds - >= 0 @ 11.1973
14.11/14.26 c GLOBAL bounds - >= 0 @ 11.232
14.21/14.30 c GLOBAL bounds - >= 0 @ 11.2736
14.21/14.35 c GLOBAL bounds - >= 0 @ 11.3145
14.31/14.40 c GLOBAL bounds - >= 0 @ 11.3465
14.31/14.44 c GLOBAL bounds - >= 0 @ 11.3794
14.31/14.48 c GLOBAL bounds - >= 0 @ 11.4076
14.41/14.52 c GLOBAL bounds - >= 0 @ 11.4352
14.41/14.55 c GLOBAL bounds - >= 0 @ 11.4661
14.51/14.60 c GLOBAL bounds - >= 0 @ 11.5091
14.51/14.65 c GLOBAL bounds - >= 0 @ 11.5449
14.61/14.75 c GLOBAL bounds - >= 0 @ 11.6334
14.71/14.81 c GLOBAL bounds - >= 0 @ 11.6747
14.71/14.85 c GLOBAL bounds - >= 0 @ 11.7077
14.81/14.91 c GLOBAL bounds - >= 0 @ 11.7544
14.81/14.96 c GLOBAL bounds - >= 0 @ 11.7941
14.81/14.99 c GLOBAL bounds - >= 0 @ 11.8196
14.92/15.03 c GLOBAL bounds - >= 0 @ 11.847
14.92/15.07 c GLOBAL bounds - >= 0 @ 11.8701
15.03/15.12 c GLOBAL bounds - >= 0 @ 11.9125
15.03/15.16 c GLOBAL bounds - >= 0 @ 11.9455
15.11/15.20 c GLOBAL bounds - >= 0 @ 11.979
15.11/15.24 c GLOBAL bounds - >= 0 @ 12.0095
15.11/15.27 c GLOBAL bounds - >= 0 @ 12.0394
15.21/15.32 c GLOBAL bounds - >= 0 @ 12.0748
15.21/15.36 c GLOBAL bounds - >= 0 @ 12.1099
15.31/15.40 c GLOBAL bounds - >= 0 @ 12.1469
15.31/15.44 c GLOBAL bounds - >= 0 @ 12.1825
15.31/15.47 c GLOBAL bounds - >= 0 @ 12.2092
15.41/15.51 c GLOBAL bounds - >= 0 @ 12.2399
15.41/15.55 c GLOBAL bounds - >= 0 @ 12.2736
15.41/15.59 c GLOBAL bounds - >= 0 @ 12.3058
15.51/15.63 c GLOBAL bounds - >= 0 @ 12.3313
15.51/15.66 c GLOBAL bounds - >= 0 @ 12.3575
15.61/15.70 c GLOBAL bounds - >= 0 @ 12.392
15.61/15.74 c GLOBAL bounds - >= 0 @ 12.4264
15.61/15.78 c GLOBAL bounds - >= 0 @ 12.4525
15.71/15.81 c GLOBAL bounds - >= 0 @ 12.482
15.71/15.85 c GLOBAL bounds - >= 0 @ 12.5123
15.71/15.89 c GLOBAL bounds - >= 0 @ 12.5431
15.81/15.92 c GLOBAL bounds - >= 0 @ 12.5737
15.81/15.96 c GLOBAL bounds - >= 0 @ 12.606
15.81/15.99 c GLOBAL bounds - >= 0 @ 12.6347
15.92/16.03 c GLOBAL bounds - >= 0 @ 12.6609
15.92/16.07 c GLOBAL bounds - >= 0 @ 12.6882
15.92/16.10 c GLOBAL bounds - >= 0 @ 12.7181
16.02/16.14 c GLOBAL bounds - >= 0 @ 12.7458
16.02/16.17 c GLOBAL bounds - >= 0 @ 12.776
16.11/16.21 c GLOBAL bounds - >= 0 @ 12.8021
16.11/16.25 c GLOBAL bounds - >= 0 @ 12.834
16.11/16.28 c GLOBAL bounds - >= 0 @ 12.8587
16.21/16.32 c GLOBAL bounds - >= 0 @ 12.8912
16.21/16.35 c GLOBAL bounds - >= 0 @ 12.9182
16.31/16.40 c GLOBAL bounds - >= 0 @ 12.9577
16.31/16.45 c GLOBAL bounds - >= 0 @ 12.9964
16.31/16.49 c GLOBAL bounds - >= 0 @ 13.0299
16.41/16.53 c GLOBAL bounds - >= 0 @ 13.0604
16.41/16.57 c GLOBAL bounds - >= 0 @ 13.0951
16.51/16.61 c GLOBAL bounds - >= 0 @ 13.1263
16.51/16.65 c GLOBAL bounds - >= 0 @ 13.1577
16.51/16.69 c GLOBAL bounds - >= 0 @ 13.1929
16.60/16.73 c GLOBAL bounds - >= 0 @ 13.2261
16.60/16.78 c GLOBAL bounds - >= 0 @ 13.2668
16.70/16.83 c GLOBAL bounds - >= 0 @ 13.3048
16.70/16.87 c GLOBAL bounds - >= 0 @ 13.3383
16.81/16.91 c GLOBAL bounds - >= 0 @ 13.369
16.81/16.94 c GLOBAL bounds - >= 0 @ 13.3951
16.81/16.99 c GLOBAL bounds - >= 0 @ 13.43
16.92/17.03 c GLOBAL bounds - >= 0 @ 13.462
16.92/17.07 c GLOBAL bounds - >= 0 @ 13.494
16.92/17.10 c GLOBAL bounds - >= 0 @ 13.5197
17.02/17.14 c GLOBAL bounds - >= 0 @ 13.5513
17.02/17.19 c GLOBAL bounds - >= 0 @ 13.5835
17.11/17.22 c GLOBAL bounds - >= 0 @ 13.6101
17.11/17.26 c GLOBAL bounds - >= 0 @ 13.642
17.21/17.30 c GLOBAL bounds - >= 0 @ 13.6704
17.21/17.34 c GLOBAL bounds - >= 0 @ 13.7022
17.21/17.38 c GLOBAL bounds - >= 0 @ 13.7304
17.31/17.41 c GLOBAL bounds - >= 0 @ 13.7545
17.31/17.45 c GLOBAL bounds - >= 0 @ 13.7822
17.31/17.49 c GLOBAL bounds - >= 0 @ 13.8118
17.40/17.53 c GLOBAL bounds - >= 0 @ 13.8439
17.40/17.56 c GLOBAL bounds - >= 0 @ 13.8756
17.50/17.61 c GLOBAL bounds - >= 0 @ 13.9064
17.50/17.64 c GLOBAL bounds - >= 0 @ 13.9368
17.50/17.68 c GLOBAL bounds - >= 0 @ 13.964
17.61/17.72 c GLOBAL bounds - >= 0 @ 13.9896
17.61/17.76 c GLOBAL bounds - >= 0 @ 14.0207
17.70/17.80 c GLOBAL bounds - >= 0 @ 14.0559
17.70/17.83 c GLOBAL bounds - >= 0 @ 14.0877
17.70/17.87 c GLOBAL bounds - >= 0 @ 14.1155
17.81/17.91 c GLOBAL bounds - >= 0 @ 14.1432
17.81/17.94 c GLOBAL bounds - >= 0 @ 14.1747
17.81/17.98 c GLOBAL bounds - >= 0 @ 14.2063
17.92/18.02 c GLOBAL bounds - >= 0 @ 14.2334
17.92/18.05 c GLOBAL bounds - >= 0 @ 14.2609
17.92/18.09 c GLOBAL bounds - >= 0 @ 14.2893
18.02/18.13 c GLOBAL bounds - >= 0 @ 14.323
18.02/18.17 c GLOBAL bounds - >= 0 @ 14.3508
18.10/18.20 c GLOBAL bounds - >= 0 @ 14.3814
18.10/18.24 c GLOBAL bounds - >= 0 @ 14.4109
18.10/18.28 c GLOBAL bounds - >= 0 @ 14.4406
18.20/18.31 c GLOBAL bounds - >= 0 @ 14.4692
18.20/18.35 c GLOBAL bounds - >= 0 @ 14.4975
18.20/18.39 c GLOBAL bounds - >= 0 @ 14.5261
18.30/18.42 c GLOBAL bounds - >= 0 @ 14.5536
18.30/18.46 c GLOBAL bounds - >= 0 @ 14.5799
18.40/18.50 c GLOBAL bounds - >= 0 @ 14.6125
18.40/18.53 c GLOBAL bounds - >= 0 @ 14.6392
18.40/18.57 c GLOBAL bounds - >= 0 @ 14.6653
18.50/18.61 c GLOBAL bounds - >= 0 @ 14.6974
18.50/18.65 c GLOBAL bounds - >= 0 @ 14.7328
18.50/18.69 c GLOBAL bounds - >= 0 @ 14.7633
18.61/18.72 c GLOBAL bounds - >= 0 @ 14.7913
18.61/18.76 c GLOBAL bounds - >= 0 @ 14.8189
18.71/18.81 c GLOBAL bounds - >= 0 @ 14.8496
18.71/18.85 c GLOBAL bounds - >= 0 @ 14.8817
18.71/18.88 c GLOBAL bounds - >= 0 @ 14.9115
18.81/18.92 c GLOBAL bounds - >= 0 @ 14.9403
18.81/18.96 c GLOBAL bounds - >= 0 @ 14.9739
18.81/18.99 c GLOBAL bounds - >= 0 @ 15.0026
18.92/19.03 c GLOBAL bounds - >= 0 @ 15.0299
18.92/19.07 c GLOBAL bounds - >= 0 @ 15.0576
18.92/19.11 c GLOBAL bounds - >= 0 @ 15.0849
19.01/19.14 c GLOBAL bounds - >= 0 @ 15.1158
19.01/19.18 c GLOBAL bounds - >= 0 @ 15.1424
19.10/19.22 c GLOBAL bounds - >= 0 @ 15.1809
19.10/19.26 c GLOBAL bounds - >= 0 @ 15.2129
19.10/19.29 c GLOBAL bounds - >= 0 @ 15.2401
19.20/19.33 c GLOBAL bounds - >= 0 @ 15.2708
19.20/19.37 c GLOBAL bounds - >= 0 @ 15.3012
19.30/19.41 c GLOBAL bounds - >= 0 @ 15.3261
19.30/19.44 c GLOBAL bounds - >= 0 @ 15.3546
19.30/19.48 c GLOBAL bounds - >= 0 @ 15.3834
19.40/19.53 c GLOBAL bounds - >= 0 @ 15.421
19.40/19.57 c GLOBAL bounds - >= 0 @ 15.4566
19.50/19.61 c GLOBAL bounds - >= 0 @ 15.4882
19.50/19.65 c GLOBAL bounds - >= 0 @ 15.5245
19.50/19.69 c GLOBAL bounds - >= 0 @ 15.5575
19.60/19.73 c GLOBAL bounds - >= 0 @ 15.5876
19.60/19.77 c GLOBAL bounds - >= 0 @ 15.6171
19.70/19.81 c GLOBAL bounds - >= 0 @ 15.6453
19.70/19.84 c GLOBAL bounds - >= 0 @ 15.6752
19.70/19.88 c GLOBAL bounds - >= 0 @ 15.7072
19.80/19.92 c GLOBAL bounds - >= 0 @ 15.7376
19.80/19.96 c GLOBAL bounds - >= 0 @ 15.7631
19.80/20.00 c GLOBAL bounds - >= 0 @ 15.7948
19.91/20.03 c GLOBAL bounds - >= 0 @ 15.8281
19.91/20.07 c GLOBAL bounds - >= 0 @ 15.8557
19.91/20.11 c GLOBAL bounds - >= 0 @ 15.8841
20.01/20.15 c GLOBAL bounds - >= 0 @ 15.9158
20.01/20.19 c GLOBAL bounds - >= 0 @ 15.9501
20.10/20.23 c GLOBAL bounds - >= 0 @ 15.9778
20.10/20.26 c GLOBAL bounds - >= 0 @ 16.0085
20.20/20.31 c GLOBAL bounds - >= 0 @ 16.0453
20.20/20.35 c GLOBAL bounds - >= 0 @ 16.0782
20.20/20.39 c GLOBAL bounds - >= 0 @ 16.1103
20.29/20.42 c GLOBAL bounds - >= 0 @ 16.14
20.29/20.46 c GLOBAL bounds - >= 0 @ 16.176
20.40/20.50 c GLOBAL bounds - >= 0 @ 16.2017
20.40/20.53 c GLOBAL bounds - >= 0 @ 16.2294
20.40/20.57 c GLOBAL bounds - >= 0 @ 16.2592
20.50/20.61 c GLOBAL bounds - >= 0 @ 16.2897
20.50/20.64 c GLOBAL bounds - >= 0 @ 16.3179
20.50/20.68 c GLOBAL bounds - >= 0 @ 16.35
20.60/20.73 c GLOBAL bounds - >= 0 @ 16.3898
20.60/20.78 c GLOBAL bounds - >= 0 @ 16.4314
20.70/20.82 c GLOBAL bounds - >= 0 @ 16.47
20.70/20.87 c GLOBAL bounds - >= 0 @ 16.5098
20.79/20.92 c GLOBAL bounds - >= 0 @ 16.5451
20.79/20.96 c GLOBAL bounds - >= 0 @ 16.5797
20.79/21.00 c GLOBAL bounds - >= 0 @ 16.6092
20.91/21.04 c GLOBAL bounds - >= 0 @ 16.6453
20.91/21.08 c GLOBAL bounds - >= 0 @ 16.6752
21.01/21.11 c GLOBAL bounds - >= 0 @ 16.7067
21.01/21.15 c GLOBAL bounds - >= 0 @ 16.7345
21.01/21.19 c GLOBAL bounds - >= 0 @ 16.7633
21.10/21.23 c GLOBAL bounds - >= 0 @ 16.7942
21.10/21.26 c GLOBAL bounds - >= 0 @ 16.8211
21.19/21.30 c GLOBAL bounds - >= 0 @ 16.8507
21.19/21.35 c GLOBAL bounds - >= 0 @ 16.892
21.29/21.41 c GLOBAL bounds - >= 0 @ 16.936
21.29/21.46 c GLOBAL bounds - >= 0 @ 16.9856
21.40/21.56 c GLOBAL bounds - >= 0 @ 17.0678
21.50/21.62 c GLOBAL bounds - >= 0 @ 17.1251
21.50/21.68 c GLOBAL bounds - >= 0 @ 17.1742
21.59/21.73 c GLOBAL bounds - >= 0 @ 17.2212
21.70/21.80 c GLOBAL bounds - >= 0 @ 17.2728
21.70/21.85 c GLOBAL bounds - >= 0 @ 17.3146
21.80/21.90 c GLOBAL bounds - >= 0 @ 17.3584
21.91/22.10 c GLOBAL bounds - >= 0 @ 17.5414
22.01/22.15 c GLOBAL bounds - >= 0 @ 17.5903
22.10/22.20 c GLOBAL bounds - >= 0 @ 17.6244
22.10/22.24 c GLOBAL bounds - >= 0 @ 17.6618
22.10/22.29 c GLOBAL bounds - >= 0 @ 17.6999
22.19/22.33 c GLOBAL bounds - >= 0 @ 17.7396
22.19/22.38 c GLOBAL bounds - >= 0 @ 17.7742
22.29/22.42 c GLOBAL bounds - >= 0 @ 17.8114
22.29/22.47 c GLOBAL bounds - >= 0 @ 17.847
22.39/22.51 c GLOBAL bounds - >= 0 @ 17.8857
22.39/22.55 c GLOBAL bounds - >= 0 @ 17.9161
22.49/22.60 c GLOBAL bounds - >= 0 @ 17.9521
22.49/22.64 c GLOBAL bounds - >= 0 @ 17.9884
22.49/22.68 c GLOBAL bounds - >= 0 @ 18.0297
22.60/22.72 c GLOBAL bounds - >= 0 @ 18.0645
22.60/22.78 c GLOBAL bounds - >= 0 @ 18.108
22.69/22.83 c GLOBAL bounds - >= 0 @ 18.1515
22.69/22.87 c GLOBAL bounds - >= 0 @ 18.1848
22.79/22.91 c GLOBAL bounds - >= 0 @ 18.2215
22.79/22.96 c GLOBAL bounds - >= 0 @ 18.2539
22.79/22.99 c GLOBAL bounds - >= 0 @ 18.2853
22.90/23.04 c #Conflicts: 1000 | #Constraints: 67338
22.90/23.04 c GLOBAL bounds - >= 0 @ 18.3224
22.90/23.08 c GLOBAL bounds - >= 0 @ 18.3561
23.01/23.13 c GLOBAL bounds - >= 0 @ 18.3959
23.01/23.17 c GLOBAL bounds - >= 0 @ 18.4313
23.09/23.21 c GLOBAL bounds - >= 0 @ 18.4631
23.09/23.24 c GLOBAL bounds - >= 0 @ 18.4923
23.09/23.28 c GLOBAL bounds - >= 0 @ 18.525
23.19/23.32 c GLOBAL bounds - >= 0 @ 18.5605
23.19/23.37 c GLOBAL bounds - >= 0 @ 18.6009
23.29/23.42 c GLOBAL bounds - >= 0 @ 18.6434
23.29/23.47 c GLOBAL bounds - >= 0 @ 18.6832
23.39/23.51 c GLOBAL bounds - >= 0 @ 18.722
23.39/23.56 c GLOBAL bounds - >= 0 @ 18.7579
23.50/23.60 c GLOBAL bounds - >= 0 @ 18.7958
23.50/23.65 c GLOBAL bounds - >= 0 @ 18.8326
23.50/23.69 c GLOBAL bounds - >= 0 @ 18.866
23.59/23.73 c GLOBAL bounds - >= 0 @ 18.8938
23.59/23.77 c GLOBAL bounds - >= 0 @ 18.9277
23.69/23.80 c GLOBAL bounds - >= 0 @ 18.9576
23.69/23.85 c GLOBAL bounds - >= 0 @ 18.9911
23.69/23.88 c GLOBAL bounds - >= 0 @ 19.0213
23.79/23.93 c GLOBAL bounds - >= 0 @ 19.061
23.79/23.98 c GLOBAL bounds - >= 0 @ 19.1
23.90/24.03 c GLOBAL bounds - >= 0 @ 19.1389
23.90/24.08 c GLOBAL bounds - >= 0 @ 19.1831
24.01/24.14 c GLOBAL bounds - >= 0 @ 19.2444
24.09/24.20 c GLOBAL bounds - >= 0 @ 19.2866
24.09/24.25 c GLOBAL bounds - >= 0 @ 19.3278
24.09/24.29 c GLOBAL bounds - >= 0 @ 19.3667
24.19/24.34 c GLOBAL bounds - >= 0 @ 19.4051
24.19/24.38 c GLOBAL bounds - >= 0 @ 19.4421
24.29/24.42 c GLOBAL bounds - >= 0 @ 19.4767
24.29/24.46 c GLOBAL bounds - >= 0 @ 19.5104
24.39/24.51 c GLOBAL bounds - >= 0 @ 19.5452
24.39/24.55 c GLOBAL bounds - >= 0 @ 19.5838
24.39/24.59 c GLOBAL bounds - >= 0 @ 19.6203
24.49/24.63 c GLOBAL bounds - >= 0 @ 19.6544
24.49/24.67 c GLOBAL bounds - >= 0 @ 19.6925
24.59/24.72 c GLOBAL bounds - >= 0 @ 19.7325
24.59/24.76 c GLOBAL bounds - >= 0 @ 19.7669
24.69/24.80 c GLOBAL bounds - >= 0 @ 19.7968
24.69/24.84 c GLOBAL bounds - >= 0 @ 19.8237
24.69/24.88 c GLOBAL bounds - >= 0 @ 19.8623
24.79/24.93 c GLOBAL bounds - >= 0 @ 19.8999
24.79/24.97 c GLOBAL bounds - >= 0 @ 19.9356
24.90/25.02 c GLOBAL bounds - >= 0 @ 19.9709
24.90/25.06 c GLOBAL bounds - >= 0 @ 20.007
24.90/25.10 c GLOBAL bounds - >= 0 @ 20.0337
25.00/25.14 c GLOBAL bounds - >= 0 @ 20.0708
25.00/25.19 c GLOBAL bounds - >= 0 @ 20.1098
25.09/25.24 c GLOBAL bounds - >= 0 @ 20.1528
25.09/25.29 c GLOBAL bounds - >= 0 @ 20.1924
25.18/25.34 c GLOBAL bounds - >= 0 @ 20.2331
25.18/25.38 c GLOBAL bounds - >= 0 @ 20.2704
25.29/25.43 c GLOBAL bounds - >= 0 @ 20.31
25.29/25.47 c GLOBAL bounds - >= 0 @ 20.3474
25.38/25.52 c GLOBAL bounds - >= 0 @ 20.3878
25.38/25.57 c GLOBAL bounds - >= 0 @ 20.4277
25.48/25.62 c GLOBAL bounds - >= 0 @ 20.4689
25.48/25.66 c GLOBAL bounds - >= 0 @ 20.5056
25.58/25.70 c GLOBAL bounds - >= 0 @ 20.5316
25.58/25.74 c GLOBAL bounds - >= 0 @ 20.5614
25.58/25.78 c GLOBAL bounds - >= 0 @ 20.5934
25.69/25.82 c GLOBAL bounds - >= 0 @ 20.6251
25.69/25.86 c GLOBAL bounds - >= 0 @ 20.6557
25.79/25.91 c GLOBAL bounds - >= 0 @ 20.6884
25.79/25.95 c GLOBAL bounds - >= 0 @ 20.72
25.79/25.99 c GLOBAL bounds - >= 0 @ 20.7496
25.90/26.03 c GLOBAL bounds - >= 0 @ 20.7849
25.90/26.07 c GLOBAL bounds - >= 0 @ 20.8203
26.00/26.12 c GLOBAL bounds - >= 0 @ 20.8523
26.00/26.16 c GLOBAL bounds - >= 0 @ 20.8916
26.08/26.21 c GLOBAL bounds - >= 0 @ 20.9251
26.08/26.25 c GLOBAL bounds - >= 0 @ 20.956
26.08/26.29 c GLOBAL bounds - >= 0 @ 20.9834
26.19/26.33 c GLOBAL bounds - >= 0 @ 21.022
26.19/26.37 c GLOBAL bounds - >= 0 @ 21.0558
26.28/26.42 c GLOBAL bounds - >= 0 @ 21.0922
26.38/26.50 c GLOBAL bounds - >= 0 @ 21.1611
26.38/26.55 c GLOBAL bounds - >= 0 @ 21.1995
26.48/26.60 c GLOBAL bounds - >= 0 @ 21.2395
26.48/26.65 c GLOBAL bounds - >= 0 @ 21.2763
26.48/26.69 c GLOBAL bounds - >= 0 @ 21.3154
26.59/26.74 c GLOBAL bounds - >= 0 @ 21.3536
26.59/26.78 c GLOBAL bounds - >= 0 @ 21.3831
26.68/26.82 c GLOBAL bounds - >= 0 @ 21.4138
26.68/26.86 c GLOBAL bounds - >= 0 @ 21.444
26.78/26.91 c GLOBAL bounds - >= 0 @ 21.4828
26.78/26.94 c GLOBAL bounds - >= 0 @ 21.5175
26.78/26.99 c GLOBAL bounds - >= 0 @ 21.5533
26.89/27.03 c GLOBAL bounds - >= 0 @ 21.5857
26.89/27.07 c GLOBAL bounds - >= 0 @ 21.6167
26.99/27.11 c GLOBAL bounds - >= 0 @ 21.6493
26.99/27.15 c GLOBAL bounds - >= 0 @ 21.6763
26.99/27.19 c GLOBAL bounds - >= 0 @ 21.7109
27.08/27.23 c GLOBAL bounds - >= 0 @ 21.7444
27.08/27.27 c GLOBAL bounds - >= 0 @ 21.7722
27.19/27.31 c GLOBAL bounds - >= 0 @ 21.8037
27.19/27.35 c GLOBAL bounds - >= 0 @ 21.8319
27.19/27.40 c GLOBAL bounds - >= 0 @ 21.8692
27.28/27.44 c GLOBAL bounds - >= 0 @ 21.897
27.28/27.48 c GLOBAL bounds - >= 0 @ 21.9256
27.38/27.51 c GLOBAL bounds - >= 0 @ 21.9596
27.38/27.55 c GLOBAL bounds - >= 0 @ 21.9895
27.48/27.60 c GLOBAL bounds - >= 0 @ 22.0246
27.48/27.64 c GLOBAL bounds - >= 0 @ 22.057
27.48/27.68 c GLOBAL bounds - >= 0 @ 22.0935
27.58/27.72 c GLOBAL bounds - >= 0 @ 22.1276
27.58/27.76 c GLOBAL bounds - >= 0 @ 22.1606
27.68/27.81 c GLOBAL bounds - >= 0 @ 22.2021
27.68/27.86 c GLOBAL bounds - >= 0 @ 22.2421
27.78/27.91 c GLOBAL bounds - >= 0 @ 22.2807
27.78/27.95 c GLOBAL bounds - >= 0 @ 22.313
27.78/28.00 c GLOBAL bounds - >= 0 @ 22.3478
27.89/28.04 c GLOBAL bounds - >= 0 @ 22.3792
27.89/28.08 c GLOBAL bounds - >= 0 @ 22.4124
27.99/28.12 c GLOBAL bounds - >= 0 @ 22.4525
27.99/28.17 c GLOBAL bounds - >= 0 @ 22.4898
28.08/28.21 c GLOBAL bounds - >= 0 @ 22.5256
28.08/28.25 c GLOBAL bounds - >= 0 @ 22.5638
28.08/28.29 c GLOBAL bounds - >= 0 @ 22.5974
28.18/28.34 c GLOBAL bounds - >= 0 @ 22.6312
28.18/28.38 c GLOBAL bounds - >= 0 @ 22.6728
28.28/28.43 c GLOBAL bounds - >= 0 @ 22.7142
28.28/28.48 c GLOBAL bounds - >= 0 @ 22.7528
28.38/28.53 c GLOBAL bounds - >= 0 @ 22.7953
28.38/28.57 c GLOBAL bounds - >= 0 @ 22.8366
28.48/28.62 c GLOBAL bounds - >= 0 @ 22.8763
28.48/28.67 c GLOBAL bounds - >= 0 @ 22.9154
28.58/28.71 c GLOBAL bounds - >= 0 @ 22.948
28.58/28.75 c GLOBAL bounds - >= 0 @ 22.9773
28.58/28.79 c GLOBAL bounds - >= 0 @ 23.0154
28.67/28.84 c GLOBAL bounds - >= 0 @ 23.0562
28.77/28.91 c GLOBAL bounds - >= 0 @ 23.1149
28.77/29.00 c GLOBAL bounds - >= 0 @ 23.1935
28.89/29.05 c GLOBAL bounds - >= 0 @ 23.2331
28.99/29.14 c GLOBAL bounds - >= 0 @ 23.3107
28.99/29.19 c GLOBAL bounds - >= 0 @ 23.3531
29.08/29.23 c GLOBAL bounds - >= 0 @ 23.3935
29.08/29.28 c GLOBAL bounds - >= 0 @ 23.429
29.18/29.37 c GLOBAL bounds - >= 0 @ 23.4993
29.27/29.42 c GLOBAL bounds - >= 0 @ 23.5359
29.27/29.46 c GLOBAL bounds - >= 0 @ 23.5734
29.38/29.52 c GLOBAL bounds - >= 0 @ 23.617
29.38/29.56 c GLOBAL bounds - >= 0 @ 23.6544
29.47/29.61 c GLOBAL bounds - >= 0 @ 23.6888
29.47/29.66 c GLOBAL bounds - >= 0 @ 23.7321
29.58/29.71 c GLOBAL bounds - >= 0 @ 23.7706
29.58/29.76 c GLOBAL bounds - >= 0 @ 23.8132
29.67/29.81 c GLOBAL bounds - >= 0 @ 23.8608
29.67/29.87 c GLOBAL bounds - >= 0 @ 23.9133
29.78/29.91 c GLOBAL bounds - >= 0 @ 23.9493
29.78/29.97 c GLOBAL bounds - >= 0 @ 24.0014
29.89/30.02 c GLOBAL bounds - >= 0 @ 24.0395
29.89/30.08 c GLOBAL bounds - >= 0 @ 24.0924
29.99/30.12 c GLOBAL bounds - >= 0 @ 24.129
29.99/30.16 c GLOBAL bounds - >= 0 @ 24.1591
30.07/30.20 c GLOBAL bounds - >= 0 @ 24.1947
30.07/30.24 c GLOBAL bounds - >= 0 @ 24.2241
30.07/30.28 c GLOBAL bounds - >= 0 @ 24.2608
30.17/30.32 c GLOBAL bounds - >= 0 @ 24.2887
30.17/30.36 c GLOBAL bounds - >= 0 @ 24.3205
30.28/30.40 c GLOBAL bounds - >= 0 @ 24.354
30.28/30.44 c GLOBAL bounds - >= 0 @ 24.3848
30.28/30.48 c GLOBAL bounds - >= 0 @ 24.421
30.38/30.52 c GLOBAL bounds - >= 0 @ 24.4552
30.38/30.56 c GLOBAL bounds - >= 0 @ 24.4799
30.47/30.60 c GLOBAL bounds - >= 0 @ 24.5117
30.47/30.64 c GLOBAL bounds - >= 0 @ 24.5402
30.47/30.68 c GLOBAL bounds - >= 0 @ 24.5748
30.57/30.72 c GLOBAL bounds - >= 0 @ 24.6099
30.57/30.76 c GLOBAL bounds - >= 0 @ 24.6422
30.67/30.80 c GLOBAL bounds - >= 0 @ 24.6802
30.67/30.84 c GLOBAL bounds - >= 0 @ 24.7077
30.67/30.88 c GLOBAL bounds - >= 0 @ 24.7415
30.78/30.92 c GLOBAL bounds - >= 0 @ 24.77
30.78/30.96 c GLOBAL bounds - >= 0 @ 24.7999
30.78/30.99 c GLOBAL bounds - >= 0 @ 24.8252
30.88/31.03 c GLOBAL bounds - >= 0 @ 24.8621
30.88/31.07 c GLOBAL bounds - >= 0 @ 24.8925
30.99/31.11 c GLOBAL bounds - >= 0 @ 24.9226
30.99/31.15 c GLOBAL bounds - >= 0 @ 24.9547
30.99/31.18 c GLOBAL bounds - >= 0 @ 24.9828
31.08/31.22 c GLOBAL bounds - >= 0 @ 25.0119
31.08/31.26 c GLOBAL bounds - >= 0 @ 25.0389
31.17/31.30 c GLOBAL bounds - >= 0 @ 25.071
31.17/31.33 c GLOBAL bounds - >= 0 @ 25.106
31.17/31.38 c GLOBAL bounds - >= 0 @ 25.1435
31.27/31.41 c GLOBAL bounds - >= 0 @ 25.173
31.27/31.45 c GLOBAL bounds - >= 0 @ 25.2022
31.27/31.49 c GLOBAL bounds - >= 0 @ 25.233
31.37/31.53 c GLOBAL bounds - >= 0 @ 25.2643
31.37/31.57 c GLOBAL bounds - >= 0 @ 25.2943
31.48/31.61 c GLOBAL bounds - >= 0 @ 25.3283
31.48/31.64 c GLOBAL bounds - >= 0 @ 25.3531
31.48/31.68 c GLOBAL bounds - >= 0 @ 25.3848
31.57/31.72 c GLOBAL bounds - >= 0 @ 25.41
31.57/31.76 c GLOBAL bounds - >= 0 @ 25.4371
31.57/31.79 c GLOBAL bounds - >= 0 @ 25.4682
31.67/31.83 c GLOBAL bounds - >= 0 @ 25.501
31.67/31.87 c GLOBAL bounds - >= 0 @ 25.5266
31.77/31.90 c GLOBAL bounds - >= 0 @ 25.5596
31.77/31.95 c GLOBAL bounds - >= 0 @ 25.5982
31.77/32.00 c GLOBAL bounds - >= 0 @ 25.6355
31.88/32.04 c GLOBAL bounds - >= 0 @ 25.6761
31.88/32.09 c GLOBAL bounds - >= 0 @ 25.7178
31.98/32.13 c GLOBAL bounds - >= 0 @ 25.7532
31.98/32.17 c GLOBAL bounds - >= 0 @ 25.7868
32.07/32.21 c GLOBAL bounds - >= 0 @ 25.8161
32.07/32.25 c GLOBAL bounds - >= 0 @ 25.8426
32.17/32.31 c GLOBAL bounds - >= 0 @ 25.8867
32.17/32.35 c GLOBAL bounds - >= 0 @ 25.9207
32.17/32.39 c GLOBAL bounds - >= 0 @ 25.9592
32.27/32.44 c GLOBAL bounds - >= 0 @ 25.9915
32.27/32.48 c GLOBAL bounds - >= 0 @ 26.0265
32.37/32.53 c GLOBAL bounds - >= 0 @ 26.0649
32.37/32.58 c GLOBAL bounds - >= 0 @ 26.1069
32.47/32.62 c GLOBAL bounds - >= 0 @ 26.1453
32.47/32.67 c GLOBAL bounds - >= 0 @ 26.181
32.57/32.71 c GLOBAL bounds - >= 0 @ 26.2156
32.57/32.75 c GLOBAL bounds - >= 0 @ 26.2434
32.57/32.78 c GLOBAL bounds - >= 0 @ 26.2756
32.67/32.82 c GLOBAL bounds - >= 0 @ 26.3047
32.67/32.86 c GLOBAL bounds - >= 0 @ 26.3346
32.67/32.90 c GLOBAL bounds - >= 0 @ 26.3628
32.77/32.93 c GLOBAL bounds - >= 0 @ 26.3907
32.77/32.97 c GLOBAL bounds - >= 0 @ 26.4219
32.77/33.01 c GLOBAL bounds - >= 0 @ 26.4508
32.88/33.04 c GLOBAL bounds - >= 0 @ 26.4848
32.88/33.08 c GLOBAL bounds - >= 0 @ 26.5103
32.98/33.12 c GLOBAL bounds - >= 0 @ 26.5414
32.98/33.15 c GLOBAL bounds - >= 0 @ 26.5716
32.98/33.19 c GLOBAL bounds - >= 0 @ 26.5941
33.07/33.23 c GLOBAL bounds - >= 0 @ 26.6266
33.07/33.26 c GLOBAL bounds - >= 0 @ 26.6566
33.17/33.30 c GLOBAL bounds - >= 0 @ 26.6873
33.17/33.34 c GLOBAL bounds - >= 0 @ 26.7238
33.27/33.44 c GLOBAL bounds - >= 0 @ 26.7836
33.36/33.50 c GLOBAL bounds - >= 0 @ 26.8291
33.36/33.55 c GLOBAL bounds - >= 0 @ 26.864
33.46/33.60 c GLOBAL bounds - >= 0 @ 26.9089
33.46/33.66 c GLOBAL bounds - >= 0 @ 26.9453
33.56/33.70 c GLOBAL bounds - >= 0 @ 26.9792
33.56/33.74 c GLOBAL bounds - >= 0 @ 27.009
33.56/33.78 c GLOBAL bounds - >= 0 @ 27.0439
33.66/33.83 c GLOBAL bounds - >= 0 @ 27.0806
33.66/33.87 c GLOBAL bounds - >= 0 @ 27.1099
33.77/33.99 c GLOBAL bounds - >= 0 @ 27.2035
33.88/34.06 c GLOBAL bounds - >= 0 @ 27.2661
33.98/34.14 c GLOBAL bounds - >= 0 @ 27.3359
34.06/34.25 c GLOBAL bounds - >= 0 @ 27.422
34.16/34.31 c GLOBAL bounds - >= 0 @ 27.4784
34.16/34.37 c GLOBAL bounds - >= 0 @ 27.5345
34.26/34.42 c GLOBAL bounds - >= 0 @ 27.5704
34.26/34.49 c GLOBAL bounds - >= 0 @ 27.6361
34.37/34.54 c GLOBAL bounds - >= 0 @ 27.6781
34.37/34.59 c GLOBAL bounds - >= 0 @ 27.7196
34.46/34.64 c GLOBAL bounds - >= 0 @ 27.7596
34.46/34.68 c GLOBAL bounds - >= 0 @ 27.7994
34.57/34.73 c GLOBAL bounds - >= 0 @ 27.8421
34.57/34.79 c GLOBAL bounds - >= 0 @ 27.8878
34.66/34.83 c GLOBAL bounds - >= 0 @ 27.9316
34.66/34.89 c GLOBAL bounds - >= 0 @ 27.9745
34.77/34.93 c GLOBAL bounds - >= 0 @ 28.0123
34.77/34.98 c GLOBAL bounds - >= 0 @ 28.0585
34.87/35.02 c GLOBAL bounds - >= 0 @ 28.096
34.87/35.06 c GLOBAL bounds - >= 0 @ 28.1286
34.87/35.11 c GLOBAL bounds - >= 0 @ 28.1623
34.97/35.15 c GLOBAL bounds - >= 0 @ 28.1953
34.97/35.19 c GLOBAL bounds - >= 0 @ 28.2303
35.06/35.24 c GLOBAL bounds - >= 0 @ 28.2676
35.06/35.28 c GLOBAL bounds - >= 0 @ 28.3006
35.17/35.32 c GLOBAL bounds - >= 0 @ 28.3306
35.17/35.36 c GLOBAL bounds - >= 0 @ 28.3633
35.26/35.40 c GLOBAL bounds - >= 0 @ 28.3922
35.26/35.43 c GLOBAL bounds - >= 0 @ 28.4236
35.26/35.48 c GLOBAL bounds - >= 0 @ 28.461
35.36/35.53 c GLOBAL bounds - >= 0 @ 28.5013
35.36/35.57 c GLOBAL bounds - >= 0 @ 28.537
35.47/35.61 c GLOBAL bounds - >= 0 @ 28.5743
35.47/35.65 c GLOBAL bounds - >= 0 @ 28.6065
35.47/35.69 c GLOBAL bounds - >= 0 @ 28.6357
35.57/35.73 c GLOBAL bounds - >= 0 @ 28.6644
35.57/35.76 c GLOBAL bounds - >= 0 @ 28.6909
35.66/35.80 c GLOBAL bounds - >= 0 @ 28.7174
35.66/35.84 c GLOBAL bounds - >= 0 @ 28.7468
35.66/35.88 c GLOBAL bounds - >= 0 @ 28.7897
35.76/35.94 c GLOBAL bounds - >= 0 @ 28.8337
35.76/35.99 c GLOBAL bounds - >= 0 @ 28.88
35.87/36.04 c GLOBAL bounds - >= 0 @ 28.9245
35.87/36.10 c GLOBAL bounds - >= 0 @ 28.9722
35.98/36.16 c GLOBAL bounds - >= 0 @ 29.0257
36.06/36.21 c GLOBAL bounds - >= 0 @ 29.0711
36.06/36.26 c GLOBAL bounds - >= 0 @ 29.1122
36.16/36.32 c GLOBAL bounds - >= 0 @ 29.1699
36.16/36.37 c GLOBAL bounds - >= 0 @ 29.2103
36.26/36.43 c GLOBAL bounds - >= 0 @ 29.2664
36.26/36.48 c GLOBAL bounds - >= 0 @ 29.3069
36.36/36.53 c GLOBAL bounds - >= 0 @ 29.344
36.36/36.57 c GLOBAL bounds - >= 0 @ 29.3805
36.46/36.62 c GLOBAL bounds - >= 0 @ 29.4214
36.46/36.66 c GLOBAL bounds - >= 0 @ 29.4557
36.56/36.70 c GLOBAL bounds - >= 0 @ 29.4879
36.56/36.74 c GLOBAL bounds - >= 0 @ 29.5274
36.56/36.79 c GLOBAL bounds - >= 0 @ 29.5616
36.65/36.83 c GLOBAL bounds - >= 0 @ 29.5938
36.76/36.90 c GLOBAL bounds - >= 0 @ 29.6554
36.87/37.02 c GLOBAL bounds - >= 0 @ 29.7538
36.87/37.06 c GLOBAL bounds - >= 0 @ 29.7905
36.87/37.11 c GLOBAL bounds - >= 0 @ 29.8292
36.97/37.16 c GLOBAL bounds - >= 0 @ 29.8722
37.06/37.21 c GLOBAL bounds - >= 0 @ 29.9116
37.06/37.25 c GLOBAL bounds - >= 0 @ 29.9466
37.16/37.30 c GLOBAL bounds - >= 0 @ 29.9896
37.16/37.35 c GLOBAL bounds - >= 0 @ 30.033
37.26/37.40 c GLOBAL bounds - >= 0 @ 30.0789
37.26/37.45 c GLOBAL bounds - >= 0 @ 30.1199
37.35/37.50 c GLOBAL bounds - >= 0 @ 30.153
37.35/37.55 c GLOBAL bounds - >= 0 @ 30.194
37.55/37.70 c GLOBAL bounds - >= 0 @ 30.3321
37.55/37.77 c GLOBAL bounds - >= 0 @ 30.3895
37.65/37.83 c GLOBAL bounds - >= 0 @ 30.4379
37.65/37.88 c GLOBAL bounds - >= 0 @ 30.4832
37.75/37.93 c GLOBAL bounds - >= 0 @ 30.5239
37.75/37.98 c GLOBAL bounds - >= 0 @ 30.5603
37.87/38.06 c GLOBAL bounds - >= 0 @ 30.6257
37.97/38.11 c GLOBAL bounds - >= 0 @ 30.6718
37.97/38.15 c GLOBAL bounds - >= 0 @ 30.7096
38.05/38.20 c GLOBAL bounds - >= 0 @ 30.7467
38.05/38.24 c GLOBAL bounds - >= 0 @ 30.7818
38.05/38.29 c GLOBAL bounds - >= 0 @ 30.8268
38.16/38.34 c GLOBAL bounds - >= 0 @ 30.8693
38.26/38.41 c GLOBAL bounds - >= 0 @ 30.9301
38.26/38.45 c GLOBAL bounds - >= 0 @ 30.961
38.26/38.49 c GLOBAL bounds - >= 0 @ 30.999
38.36/38.54 c GLOBAL bounds - >= 0 @ 31.0311
38.36/38.58 c GLOBAL bounds - >= 0 @ 31.0665
38.46/38.62 c GLOBAL bounds - >= 0 @ 31.0965
38.46/38.67 c GLOBAL bounds - >= 0 @ 31.1348
38.55/38.72 c GLOBAL bounds - >= 0 @ 31.1757
38.55/38.76 c GLOBAL bounds - >= 0 @ 31.2127
38.66/38.81 c GLOBAL bounds - >= 0 @ 31.2533
38.66/38.86 c GLOBAL bounds - >= 0 @ 31.297
38.76/38.90 c GLOBAL bounds - >= 0 @ 31.3347
38.76/38.95 c GLOBAL bounds - >= 0 @ 31.3709
38.76/38.99 c GLOBAL bounds - >= 0 @ 31.414
38.86/39.04 c GLOBAL bounds - >= 0 @ 31.4569
38.86/39.09 c GLOBAL bounds - >= 0 @ 31.4924
38.96/39.14 c GLOBAL bounds - >= 0 @ 31.5336
39.05/39.21 c GLOBAL bounds - >= 0 @ 31.5947
39.25/39.46 c GLOBAL bounds - >= 0 @ 31.8203
39.36/39.56 c GLOBAL bounds - >= 0 @ 31.9068
39.45/39.64 c GLOBAL bounds - >= 0 @ 31.9872
39.75/39.94 c GLOBAL bounds - >= 0 @ 32.2692
39.96/40.12 c GLOBAL bounds - >= 0 @ 32.4316
40.15/40.31 c GLOBAL bounds - >= 0 @ 32.6049
42.04/42.22 c #Conflicts: 2000 | #Constraints: 69050
42.04/42.22 c INPROCESSING
42.04/42.22 c GARBAGE COLLECT
42.04/42.22 c GLOBAL bounds - >= 0 @ 34.5059
45.73/46.00 c GLOBAL bounds - >= 0 @ 38.2366
46.14/46.31 c #Conflicts: 3000 | #Constraints: 69063
46.14/46.31 c GLOBAL bounds - >= 0 @ 38.538
46.43/46.60 c GLOBAL bounds - >= 0 @ 38.8189
46.43/46.65 c GLOBAL bounds - >= 0 @ 38.8738
46.53/46.70 c GLOBAL bounds - >= 0 @ 38.9187
46.53/46.75 c GLOBAL bounds - >= 0 @ 38.9643
46.63/46.83 c GLOBAL bounds - >= 0 @ 39.0435
46.74/46.93 c GLOBAL bounds - >= 0 @ 39.1428
46.84/47.02 c GLOBAL bounds - >= 0 @ 39.2338
46.84/47.09 c GLOBAL bounds - >= 0 @ 39.2933
46.95/47.13 c GLOBAL bounds - >= 0 @ 39.3357
46.95/47.17 c GLOBAL bounds - >= 0 @ 39.3737
47.03/47.24 c GLOBAL bounds - >= 0 @ 39.4291
47.03/47.28 c GLOBAL bounds - >= 0 @ 39.4667
47.13/47.32 c GLOBAL bounds - >= 0 @ 39.5056
47.13/47.35 c GLOBAL bounds - >= 0 @ 39.5348
47.13/47.39 c GLOBAL bounds - >= 0 @ 39.5667
47.23/47.43 c GLOBAL bounds - >= 0 @ 39.6016
47.23/47.46 c GLOBAL bounds - >= 0 @ 39.6348
47.33/47.50 c GLOBAL bounds - >= 0 @ 39.6715
47.33/47.54 c GLOBAL bounds - >= 0 @ 39.7067
47.33/47.58 c GLOBAL bounds - >= 0 @ 39.737
47.43/47.62 c GLOBAL bounds - >= 0 @ 39.7726
47.43/47.65 c GLOBAL bounds - >= 0 @ 39.8093
47.43/47.69 c GLOBAL bounds - >= 0 @ 39.8421
47.53/47.72 c GLOBAL bounds - >= 0 @ 39.8708
47.53/47.75 c GLOBAL bounds - >= 0 @ 39.8965
47.53/47.78 c GLOBAL bounds - >= 0 @ 39.9256
47.62/47.82 c GLOBAL bounds - >= 0 @ 39.9626
47.62/47.86 c GLOBAL bounds - >= 0 @ 39.9949
47.73/47.90 c GLOBAL bounds - >= 0 @ 40.0411
47.73/47.97 c GLOBAL bounds - >= 0 @ 40.0896
47.73/48.01 c GLOBAL bounds - >= 0 @ 40.1284
47.85/48.04 c GLOBAL bounds - >= 0 @ 40.1623
47.85/48.07 c GLOBAL bounds - >= 0 @ 40.1901
47.94/48.11 c GLOBAL bounds - >= 0 @ 40.2267
47.94/48.15 c GLOBAL bounds - >= 0 @ 40.2633
47.94/48.18 c GLOBAL bounds - >= 0 @ 40.2903
48.03/48.21 c GLOBAL bounds - >= 0 @ 40.319
48.03/48.25 c GLOBAL bounds - >= 0 @ 40.3528
48.03/48.29 c GLOBAL bounds - >= 0 @ 40.3921
48.12/48.33 c GLOBAL bounds - >= 0 @ 40.4334
48.12/48.38 c GLOBAL bounds - >= 0 @ 40.4713
48.23/48.41 c GLOBAL bounds - >= 0 @ 40.5068
48.23/48.46 c GLOBAL bounds - >= 0 @ 40.5533
48.32/48.57 c GLOBAL bounds - >= 0 @ 40.6505
48.42/48.61 c GLOBAL bounds - >= 0 @ 40.6952
48.42/48.66 c GLOBAL bounds - >= 0 @ 40.7404
48.53/48.71 c GLOBAL bounds - >= 0 @ 40.7845
48.53/48.77 c GLOBAL bounds - >= 0 @ 40.8425
48.62/48.85 c GLOBAL bounds - >= 0 @ 40.9237
48.72/48.92 c GLOBAL bounds - >= 0 @ 40.9879
48.72/48.99 c GLOBAL bounds - >= 0 @ 41.0462
48.84/49.04 c GLOBAL bounds - >= 0 @ 41.0858
48.84/49.08 c GLOBAL bounds - >= 0 @ 41.1265
48.93/49.14 c GLOBAL bounds - >= 0 @ 41.1714
48.93/49.18 c GLOBAL bounds - >= 0 @ 41.2099
49.03/49.23 c GLOBAL bounds - >= 0 @ 41.2523
49.03/49.28 c GLOBAL bounds - >= 0 @ 41.2919
49.12/49.32 c GLOBAL bounds - >= 0 @ 41.3284
49.12/49.39 c GLOBAL bounds - >= 0 @ 41.3882
49.22/49.45 c GLOBAL bounds - >= 0 @ 41.4352
49.32/49.50 c GLOBAL bounds - >= 0 @ 41.4761
49.32/49.54 c GLOBAL bounds - >= 0 @ 41.5153
49.32/49.59 c GLOBAL bounds - >= 0 @ 41.5514
49.42/49.64 c GLOBAL bounds - >= 0 @ 41.5893
49.42/49.68 c GLOBAL bounds - >= 0 @ 41.6273
49.52/49.73 c GLOBAL bounds - >= 0 @ 41.6603
49.52/49.77 c GLOBAL bounds - >= 0 @ 41.6964
49.62/49.82 c GLOBAL bounds - >= 0 @ 41.7358
49.62/49.86 c GLOBAL bounds - >= 0 @ 41.772
49.72/49.93 c GLOBAL bounds - >= 0 @ 41.8298
49.72/49.98 c GLOBAL bounds - >= 0 @ 41.8664
49.83/50.02 c GLOBAL bounds - >= 0 @ 41.9068
49.83/50.07 c GLOBAL bounds - >= 0 @ 41.9576
49.93/50.13 c GLOBAL bounds - >= 0 @ 42.0025
49.93/50.18 c GLOBAL bounds - >= 0 @ 42.0464
50.03/50.23 c GLOBAL bounds - >= 0 @ 42.095
50.03/50.28 c GLOBAL bounds - >= 0 @ 42.1357
50.32/50.51 c GLOBAL bounds - >= 0 @ 42.3533
50.52/50.76 c GLOBAL bounds - >= 0 @ 42.5887
51.12/51.36 c GLOBAL bounds - >= 0 @ 43.1615
51.22/51.44 c GLOBAL bounds - >= 0 @ 43.2249
51.31/51.56 c GLOBAL bounds - >= 0 @ 43.3357
51.42/51.62 c GLOBAL bounds - >= 0 @ 43.3873
51.52/51.71 c GLOBAL bounds - >= 0 @ 43.4598
51.52/51.76 c GLOBAL bounds - >= 0 @ 43.5017
51.62/51.81 c GLOBAL bounds - >= 0 @ 43.5422
51.62/51.86 c GLOBAL bounds - >= 0 @ 43.5869
51.72/51.91 c GLOBAL bounds - >= 0 @ 43.6292
51.72/51.95 c GLOBAL bounds - >= 0 @ 43.6705
51.72/52.00 c GLOBAL bounds - >= 0 @ 43.7094
51.83/52.05 c GLOBAL bounds - >= 0 @ 43.7534
51.93/52.13 c GLOBAL bounds - >= 0 @ 43.8231
52.02/52.23 c GLOBAL bounds - >= 0 @ 43.9157
52.11/52.36 c GLOBAL bounds - >= 0 @ 44.0291
52.22/52.45 c GLOBAL bounds - >= 0 @ 44.1014
52.32/52.57 c GLOBAL bounds - >= 0 @ 44.2082
52.42/52.63 c GLOBAL bounds - >= 0 @ 44.2651
52.83/53.05 c GLOBAL bounds - >= 0 @ 44.6623
53.01/53.25 c GLOBAL bounds - >= 0 @ 44.846
55.61/55.83 c #Conflicts: 4000 | #Constraints: 70263
55.61/55.83 c INPROCESSING
55.61/55.83 c GARBAGE COLLECT
55.61/55.83 c GLOBAL bounds - >= 0 @ 47.3864
56.11/56.38 c GLOBAL bounds - >= 0 @ 47.9215
56.21/56.49 c GLOBAL bounds - >= 0 @ 48.0203
56.50/56.70 c GLOBAL bounds - >= 0 @ 48.2297
56.50/56.76 c GLOBAL bounds - >= 0 @ 48.2847
56.70/56.99 c GLOBAL bounds - >= 0 @ 48.4997
57.20/57.42 c GLOBAL bounds - >= 0 @ 48.9136
58.20/58.45 c GLOBAL bounds - >= 0 @ 49.9125
58.30/58.59 c GLOBAL bounds - >= 0 @ 50.0404
59.00/59.25 c GLOBAL bounds - >= 0 @ 50.667
62.19/62.47 c #Conflicts: 5000 | #Constraints: 69689
62.19/62.47 c GLOBAL bounds - >= 0 @ 53.8294
66.38/66.67 c #Conflicts: 6000 | #Constraints: 70691
66.38/66.67 c GLOBAL bounds - >= 0 @ 57.8118
69.07/69.30 c INPROCESSING
69.07/69.30 c GARBAGE COLLECT
69.07/69.30 c GLOBAL bounds - >= 0 @ 60.399
69.07/69.38 c GLOBAL bounds - >= 0 @ 60.4721
69.17/69.44 c GLOBAL bounds - >= 0 @ 60.5309
69.17/69.49 c GLOBAL bounds - >= 0 @ 60.5778
69.27/69.53 c GLOBAL bounds - >= 0 @ 60.6173
69.27/69.57 c GLOBAL bounds - >= 0 @ 60.6531
69.37/69.61 c GLOBAL bounds - >= 0 @ 60.6925
69.37/69.65 c GLOBAL bounds - >= 0 @ 60.7316
69.37/69.69 c GLOBAL bounds - >= 0 @ 60.7691
69.47/69.75 c GLOBAL bounds - >= 0 @ 60.8247
69.47/69.78 c GLOBAL bounds - >= 0 @ 60.8578
69.57/69.82 c GLOBAL bounds - >= 0 @ 60.8887
69.57/69.85 c GLOBAL bounds - >= 0 @ 60.924
69.57/69.89 c GLOBAL bounds - >= 0 @ 60.9588
69.67/69.92 c GLOBAL bounds - >= 0 @ 60.9883
69.67/69.95 c GLOBAL bounds - >= 0 @ 61.0158
69.67/69.98 c GLOBAL bounds - >= 0 @ 61.0498
69.78/70.02 c GLOBAL bounds - >= 0 @ 61.0814
69.78/70.04 c GLOBAL bounds - >= 0 @ 61.1078
69.78/70.08 c GLOBAL bounds - >= 0 @ 61.1407
69.88/70.11 c GLOBAL bounds - >= 0 @ 61.172
69.88/70.14 c GLOBAL bounds - >= 0 @ 61.2022
69.88/70.17 c GLOBAL bounds - >= 0 @ 61.2289
69.88/70.20 c GLOBAL bounds - >= 0 @ 61.2542
69.97/70.23 c GLOBAL bounds - >= 0 @ 61.2864
69.97/70.26 c GLOBAL bounds - >= 0 @ 61.3149
69.97/70.29 c GLOBAL bounds - >= 0 @ 61.3417
70.07/70.32 c GLOBAL bounds - >= 0 @ 61.3755
70.07/70.35 c GLOBAL bounds - >= 0 @ 61.4066
70.07/70.38 c GLOBAL bounds - >= 0 @ 61.4278
70.17/70.40 c GLOBAL bounds - >= 0 @ 61.4499
70.17/70.42 c GLOBAL bounds - >= 0 @ 61.4725
70.17/70.45 c GLOBAL bounds - >= 0 @ 61.501
70.17/70.48 c GLOBAL bounds - >= 0 @ 61.5211
70.27/70.50 c GLOBAL bounds - >= 0 @ 61.5427
70.27/70.52 c GLOBAL bounds - >= 0 @ 61.5639
70.27/70.55 c GLOBAL bounds - >= 0 @ 61.5908
70.27/70.58 c GLOBAL bounds - >= 0 @ 61.6159
70.37/70.60 c GLOBAL bounds - >= 0 @ 61.6368
70.37/70.62 c GLOBAL bounds - >= 0 @ 61.6573
70.37/70.65 c GLOBAL bounds - >= 0 @ 61.6869
70.37/70.68 c GLOBAL bounds - >= 0 @ 61.7109
70.46/70.71 c GLOBAL bounds - >= 0 @ 61.7369
70.46/70.73 c GLOBAL bounds - >= 0 @ 61.7606
70.46/70.77 c GLOBAL bounds - >= 0 @ 61.7926
70.46/70.79 c GLOBAL bounds - >= 0 @ 61.813
70.56/70.81 c GLOBAL bounds - >= 0 @ 61.831
70.56/70.83 c GLOBAL bounds - >= 0 @ 61.8509
70.56/70.85 c GLOBAL bounds - >= 0 @ 61.8718
70.56/70.89 c GLOBAL bounds - >= 0 @ 61.9025
70.67/70.92 c GLOBAL bounds - >= 0 @ 61.932
70.67/70.95 c GLOBAL bounds - >= 0 @ 61.959
70.67/70.97 c GLOBAL bounds - >= 0 @ 61.9847
70.67/71.00 c GLOBAL bounds - >= 0 @ 62.0055
70.78/71.02 c GLOBAL bounds - >= 0 @ 62.0254
70.78/71.05 c GLOBAL bounds - >= 0 @ 62.0539
70.78/71.07 c GLOBAL bounds - >= 0 @ 62.0781
70.78/71.10 c GLOBAL bounds - >= 0 @ 62.0988
70.88/71.12 c GLOBAL bounds - >= 0 @ 62.1189
70.88/71.15 c GLOBAL bounds - >= 0 @ 62.1461
70.88/71.17 c GLOBAL bounds - >= 0 @ 62.1694
70.88/71.19 c GLOBAL bounds - >= 0 @ 62.188
70.97/71.23 c GLOBAL bounds - >= 0 @ 62.2187
70.97/71.28 c GLOBAL bounds - >= 0 @ 62.2661
71.07/71.34 c GLOBAL bounds - >= 0 @ 62.3146
71.07/71.39 c GLOBAL bounds - >= 0 @ 62.3573
71.17/71.43 c GLOBAL bounds - >= 0 @ 62.3897
71.17/71.47 c GLOBAL bounds - >= 0 @ 62.4267
71.27/71.51 c GLOBAL bounds - >= 0 @ 62.4663
71.27/71.56 c GLOBAL bounds - >= 0 @ 62.5155
71.36/71.62 c GLOBAL bounds - >= 0 @ 62.5657
71.36/71.66 c GLOBAL bounds - >= 0 @ 62.6071
71.47/71.71 c GLOBAL bounds - >= 0 @ 62.6516
71.47/71.76 c GLOBAL bounds - >= 0 @ 62.6918
71.56/71.83 c GLOBAL bounds - >= 0 @ 62.7632
71.56/71.89 c GLOBAL bounds - >= 0 @ 62.8046
71.66/71.93 c GLOBAL bounds - >= 0 @ 62.8429
71.78/72.03 c GLOBAL bounds - >= 0 @ 62.9461
71.78/72.07 c GLOBAL bounds - >= 0 @ 62.9829
71.88/72.11 c GLOBAL bounds - >= 0 @ 63.02
71.88/72.17 c GLOBAL bounds - >= 0 @ 63.0709
71.96/72.21 c GLOBAL bounds - >= 0 @ 63.1086
71.96/72.24 c GLOBAL bounds - >= 0 @ 63.1421
71.96/72.28 c GLOBAL bounds - >= 0 @ 63.175
72.06/72.31 c GLOBAL bounds - >= 0 @ 63.2037
72.06/72.35 c GLOBAL bounds - >= 0 @ 63.2355
72.06/72.39 c GLOBAL bounds - >= 0 @ 63.2696
72.16/72.42 c GLOBAL bounds - >= 0 @ 63.2982
72.16/72.45 c GLOBAL bounds - >= 0 @ 63.3258
72.16/72.48 c GLOBAL bounds - >= 0 @ 63.3562
72.27/72.51 c GLOBAL bounds - >= 0 @ 63.3853
72.27/72.54 c GLOBAL bounds - >= 0 @ 63.4077
72.36/72.66 c GLOBAL bounds - >= 0 @ 63.5307
72.66/72.91 c GLOBAL bounds - >= 0 @ 63.7716
73.36/73.64 c #Conflicts: 7000 | #Constraints: 69884
73.36/73.64 c GLOBAL bounds - >= 0 @ 64.4831
78.35/78.69 c #Conflicts: 8000 | #Constraints: 70886
78.35/78.69 c GLOBAL bounds - >= 0 @ 69.4151
78.75/79.05 c GLOBAL bounds - >= 0 @ 69.7554
78.95/79.22 c GLOBAL bounds - >= 0 @ 69.91
78.95/79.27 c GLOBAL bounds - >= 0 @ 69.9538
79.05/79.36 c GLOBAL bounds - >= 0 @ 70.034
83.53/83.86 c #Conflicts: 9000 | #Constraints: 71896
83.53/83.86 c GLOBAL bounds - >= 0 @ 74.3723
85.63/85.94 c INPROCESSING
85.63/85.94 c GARBAGE COLLECT
85.63/85.94 c GLOBAL bounds - >= 0 @ 76.4308
85.63/85.97 c GLOBAL bounds - >= 0 @ 76.4641
85.74/86.01 c GLOBAL bounds - >= 0 @ 76.5035
85.74/86.07 c GLOBAL bounds - >= 0 @ 76.5605
85.84/86.14 c GLOBAL bounds - >= 0 @ 76.6298
85.84/86.18 c GLOBAL bounds - >= 0 @ 76.6637
85.93/86.21 c GLOBAL bounds - >= 0 @ 76.6906
85.93/86.25 c GLOBAL bounds - >= 0 @ 76.7302
85.93/86.29 c GLOBAL bounds - >= 0 @ 76.7657
87.22/87.50 c GLOBAL bounds - >= 0 @ 77.918
87.83/88.17 c GLOBAL bounds - >= 0 @ 78.5489
88.02/88.34 c GLOBAL bounds - >= 0 @ 78.7068
88.12/88.49 c GLOBAL bounds - >= 0 @ 78.8507
88.22/88.59 c GLOBAL bounds - >= 0 @ 78.9487
88.32/88.67 c GLOBAL bounds - >= 0 @ 79.0238
88.52/88.80 c GLOBAL bounds - >= 0 @ 79.1373
88.52/88.89 c GLOBAL bounds - >= 0 @ 79.2284
88.62/88.95 c GLOBAL bounds - >= 0 @ 79.28
89.83/90.17 c #Conflicts: 10000 | #Constraints: 70635
89.83/90.17 c GLOBAL bounds - >= 0 @ 80.4626
91.11/91.49 c GLOBAL bounds - >= 0 @ 81.7352
91.61/92.01 c GLOBAL bounds - >= 0 @ 82.2294
91.82/92.12 c GLOBAL bounds - >= 0 @ 82.3232
91.82/92.17 c GLOBAL bounds - >= 0 @ 82.3718
91.91/92.21 c GLOBAL bounds - >= 0 @ 82.4154
92.01/92.32 c GLOBAL bounds - >= 0 @ 82.5234
92.01/92.37 c GLOBAL bounds - >= 0 @ 82.5667
92.11/92.40 c GLOBAL bounds - >= 0 @ 82.6002
92.11/92.44 c GLOBAL bounds - >= 0 @ 82.6346
92.11/92.48 c GLOBAL bounds - >= 0 @ 82.6724
92.31/92.60 c GLOBAL bounds - >= 0 @ 82.7894
92.31/92.68 c GLOBAL bounds - >= 0 @ 82.8604
92.51/92.83 c GLOBAL bounds - >= 0 @ 83.0156
92.51/92.87 c GLOBAL bounds - >= 0 @ 83.0479
92.61/92.97 c GLOBAL bounds - >= 0 @ 83.1445
92.72/93.03 c GLOBAL bounds - >= 0 @ 83.1988
92.72/93.07 c GLOBAL bounds - >= 0 @ 83.2286
93.41/93.70 c GLOBAL bounds - >= 0 @ 83.8503
93.60/93.90 c GLOBAL bounds - >= 0 @ 84.0368
93.91/94.22 c GLOBAL bounds - >= 0 @ 84.3481
94.10/94.48 c #Conflicts: 11000 | #Constraints: 71677
94.10/94.48 c GLOBAL bounds - >= 0 @ 84.5957
94.21/94.52 c GLOBAL bounds - >= 0 @ 84.6332
94.21/94.57 c GLOBAL bounds - >= 0 @ 84.668
94.90/95.23 c GLOBAL bounds - >= 0 @ 85.3104
96.00/96.31 c GLOBAL bounds - >= 0 @ 86.3226
96.20/96.55 c GLOBAL bounds - >= 0 @ 86.5419
96.39/96.71 c GLOBAL bounds - >= 0 @ 86.6858
96.39/96.76 c GLOBAL bounds - >= 0 @ 86.7301
96.50/96.80 c GLOBAL bounds - >= 0 @ 86.7684
96.50/96.85 c GLOBAL bounds - >= 0 @ 86.8133
96.60/96.94 c GLOBAL bounds - >= 0 @ 86.88
96.71/97.01 c GLOBAL bounds - >= 0 @ 86.9431
97.80/98.17 c GLOBAL bounds - >= 0 @ 88.0557
97.90/98.23 c GLOBAL bounds - >= 0 @ 88.1061
148.57/149.04 c #Conflicts: 12000 | #Constraints: 72705
148.57/149.04 c INPROCESSING
148.57/149.04 c GARBAGE COLLECT
148.57/149.04 c #Conflicts: 13000 | #Constraints: 71155
148.57/149.04 c #Conflicts: 14000 | #Constraints: 72155
148.57/149.04 c #Conflicts: 15000 | #Constraints: 73155
148.57/149.04 c INPROCESSING
148.57/149.04 c GARBAGE COLLECT
148.57/149.04 c #Conflicts: 16000 | #Constraints: 71387
148.57/149.04 c #Conflicts: 17000 | #Constraints: 72387
148.57/149.04 c #Conflicts: 18000 | #Constraints: 73387
148.57/149.04 c INPROCESSING
148.57/149.04 c GARBAGE COLLECT
148.57/149.04 c #Conflicts: 19000 | #Constraints: 71407
148.57/149.04 c GLOBAL bounds - >= 0 @ 137.716
615.10/616.85 c #Conflicts: 20000 | #Constraints: 72409
615.10/616.85 c #Conflicts: 21000 | #Constraints: 73409
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 22000 | #Constraints: 71209
615.10/616.85 c #Conflicts: 23000 | #Constraints: 72209
615.10/616.85 c #Conflicts: 24000 | #Constraints: 73209
615.10/616.85 c #Conflicts: 25000 | #Constraints: 74209
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 26000 | #Constraints: 71817
615.10/616.85 c #Conflicts: 27000 | #Constraints: 72817
615.10/616.85 c #Conflicts: 28000 | #Constraints: 73817
615.10/616.85 c #Conflicts: 29000 | #Constraints: 74817
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 30000 | #Constraints: 72221
615.10/616.85 c #Conflicts: 31000 | #Constraints: 73221
615.10/616.85 c #Conflicts: 32000 | #Constraints: 74221
615.10/616.85 c #Conflicts: 33000 | #Constraints: 75221
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 34000 | #Constraints: 72422
615.10/616.85 c #Conflicts: 35000 | #Constraints: 73422
615.10/616.85 c #Conflicts: 36000 | #Constraints: 74422
615.10/616.85 c #Conflicts: 37000 | #Constraints: 75422
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 38000 | #Constraints: 72435
615.10/616.85 c #Conflicts: 39000 | #Constraints: 73435
615.10/616.85 c #Conflicts: 40000 | #Constraints: 74435
615.10/616.85 c #Conflicts: 41000 | #Constraints: 75435
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 42000 | #Constraints: 72230
615.10/616.85 c #Conflicts: 43000 | #Constraints: 73230
615.10/616.85 c #Conflicts: 44000 | #Constraints: 74230
615.10/616.85 c #Conflicts: 45000 | #Constraints: 75230
615.10/616.85 c #Conflicts: 46000 | #Constraints: 76230
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 47000 | #Constraints: 72824
615.10/616.85 c #Conflicts: 48000 | #Constraints: 73824
615.10/616.85 c #Conflicts: 49000 | #Constraints: 74824
615.10/616.85 c #Conflicts: 50000 | #Constraints: 75824
615.10/616.85 c #Conflicts: 51000 | #Constraints: 76824
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 52000 | #Constraints: 73229
615.10/616.85 c #Conflicts: 53000 | #Constraints: 74229
615.10/616.85 c #Conflicts: 54000 | #Constraints: 75229
615.10/616.85 c #Conflicts: 55000 | #Constraints: 76229
615.10/616.85 c #Conflicts: 56000 | #Constraints: 77229
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 57000 | #Constraints: 73429
615.10/616.85 c #Conflicts: 58000 | #Constraints: 74429
615.10/616.85 c #Conflicts: 59000 | #Constraints: 75429
615.10/616.85 c #Conflicts: 60000 | #Constraints: 76429
615.10/616.85 c #Conflicts: 61000 | #Constraints: 77429
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 62000 | #Constraints: 73432
615.10/616.85 c #Conflicts: 63000 | #Constraints: 74432
615.10/616.85 c #Conflicts: 64000 | #Constraints: 75432
615.10/616.85 c #Conflicts: 65000 | #Constraints: 76432
615.10/616.85 c #Conflicts: 66000 | #Constraints: 77432
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 67000 | #Constraints: 73228
615.10/616.85 c #Conflicts: 68000 | #Constraints: 74228
615.10/616.85 c #Conflicts: 69000 | #Constraints: 75228
615.10/616.85 c #Conflicts: 70000 | #Constraints: 76228
615.10/616.85 c #Conflicts: 71000 | #Constraints: 77228
615.10/616.85 c #Conflicts: 72000 | #Constraints: 78228
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 73000 | #Constraints: 73824
615.10/616.85 c #Conflicts: 74000 | #Constraints: 74824
615.10/616.85 c #Conflicts: 75000 | #Constraints: 75824
615.10/616.85 c #Conflicts: 76000 | #Constraints: 76824
615.10/616.85 c #Conflicts: 77000 | #Constraints: 77824
615.10/616.85 c #Conflicts: 78000 | #Constraints: 78824
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 79000 | #Constraints: 74231
615.10/616.85 c #Conflicts: 80000 | #Constraints: 75231
615.10/616.85 c #Conflicts: 81000 | #Constraints: 76231
615.10/616.85 c #Conflicts: 82000 | #Constraints: 77231
615.10/616.85 c #Conflicts: 83000 | #Constraints: 78231
615.10/616.85 c #Conflicts: 84000 | #Constraints: 79231
615.10/616.85 c INPROCESSING
615.10/616.85 c GARBAGE COLLECT
615.10/616.85 c #Conflicts: 85000 | #Constraints: 74431
615.10/616.85 c #Conflicts: 86000 | #Constraints: 75431
615.10/616.85 c #Conflicts: 87000 | #Constraints: 76431
615.10/616.85 c #Conflicts: 88000 | #Constraints: 77431
615.10/616.85 c #Conflicts: 89000 | #Constraints: 78431
1175.33/1178.79 c #Conflicts: 90000 | #Constraints: 79431
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 91000 | #Constraints: 74429
1175.33/1178.79 c #Conflicts: 92000 | #Constraints: 75429
1175.33/1178.79 c #Conflicts: 93000 | #Constraints: 76429
1175.33/1178.79 c #Conflicts: 94000 | #Constraints: 77429
1175.33/1178.79 c #Conflicts: 95000 | #Constraints: 78429
1175.33/1178.79 c #Conflicts: 96000 | #Constraints: 79429
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 97000 | #Constraints: 74236
1175.33/1178.79 c #Conflicts: 98000 | #Constraints: 75236
1175.33/1178.79 c #Conflicts: 99000 | #Constraints: 76236
1175.33/1178.79 c #Conflicts: 100000 | #Constraints: 77236
1175.33/1178.79 c #Conflicts: 101000 | #Constraints: 78236
1175.33/1178.79 c #Conflicts: 102000 | #Constraints: 79236
1175.33/1178.79 c #Conflicts: 103000 | #Constraints: 80236
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 104000 | #Constraints: 74830
1175.33/1178.79 c #Conflicts: 105000 | #Constraints: 75830
1175.33/1178.79 c #Conflicts: 106000 | #Constraints: 76830
1175.33/1178.79 c #Conflicts: 107000 | #Constraints: 77830
1175.33/1178.79 c #Conflicts: 108000 | #Constraints: 78830
1175.33/1178.79 c #Conflicts: 109000 | #Constraints: 79830
1175.33/1178.79 c #Conflicts: 110000 | #Constraints: 80830
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 111000 | #Constraints: 75232
1175.33/1178.79 c #Conflicts: 112000 | #Constraints: 76232
1175.33/1178.79 c #Conflicts: 113000 | #Constraints: 77232
1175.33/1178.79 c #Conflicts: 114000 | #Constraints: 78232
1175.33/1178.79 c #Conflicts: 115000 | #Constraints: 79232
1175.33/1178.79 c #Conflicts: 116000 | #Constraints: 80232
1175.33/1178.79 c #Conflicts: 117000 | #Constraints: 81232
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 118000 | #Constraints: 75425
1175.33/1178.79 c #Conflicts: 119000 | #Constraints: 76425
1175.33/1178.79 c #Conflicts: 120000 | #Constraints: 77425
1175.33/1178.79 c #Conflicts: 121000 | #Constraints: 78425
1175.33/1178.79 c #Conflicts: 122000 | #Constraints: 79425
1175.33/1178.79 c #Conflicts: 123000 | #Constraints: 80425
1175.33/1178.79 c #Conflicts: 124000 | #Constraints: 81425
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 125000 | #Constraints: 75437
1175.33/1178.79 c #Conflicts: 126000 | #Constraints: 76437
1175.33/1178.79 c #Conflicts: 127000 | #Constraints: 77437
1175.33/1178.79 c #Conflicts: 128000 | #Constraints: 78437
1175.33/1178.79 c #Conflicts: 129000 | #Constraints: 79437
1175.33/1178.79 c #Conflicts: 130000 | #Constraints: 80437
1175.33/1178.79 c #Conflicts: 131000 | #Constraints: 81437
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 132000 | #Constraints: 75229
1175.33/1178.79 c #Conflicts: 133000 | #Constraints: 76229
1175.33/1178.79 c #Conflicts: 134000 | #Constraints: 77229
1175.33/1178.79 c #Conflicts: 135000 | #Constraints: 78229
1175.33/1178.79 c #Conflicts: 136000 | #Constraints: 79229
1175.33/1178.79 c #Conflicts: 137000 | #Constraints: 80229
1175.33/1178.79 c #Conflicts: 138000 | #Constraints: 81229
1175.33/1178.79 c #Conflicts: 139000 | #Constraints: 82229
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 140000 | #Constraints: 75825
1175.33/1178.79 c #Conflicts: 141000 | #Constraints: 76825
1175.33/1178.79 c #Conflicts: 142000 | #Constraints: 77825
1175.33/1178.79 c #Conflicts: 143000 | #Constraints: 78825
1175.33/1178.79 c #Conflicts: 144000 | #Constraints: 79825
1175.33/1178.79 c #Conflicts: 145000 | #Constraints: 80825
1175.33/1178.79 c #Conflicts: 146000 | #Constraints: 81825
1175.33/1178.79 c #Conflicts: 147000 | #Constraints: 82825
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 148000 | #Constraints: 76227
1175.33/1178.79 c #Conflicts: 149000 | #Constraints: 77227
1175.33/1178.79 c #Conflicts: 150000 | #Constraints: 78227
1175.33/1178.79 c #Conflicts: 151000 | #Constraints: 79227
1175.33/1178.79 c #Conflicts: 152000 | #Constraints: 80227
1175.33/1178.79 c #Conflicts: 153000 | #Constraints: 81227
1175.33/1178.79 c #Conflicts: 154000 | #Constraints: 82227
1175.33/1178.79 c #Conflicts: 155000 | #Constraints: 83227
1175.33/1178.79 c INPROCESSING
1175.33/1178.79 c GARBAGE COLLECT
1175.33/1178.79 c #Conflicts: 156000 | #Constraints: 76429
1175.33/1178.79 c #Conflicts: 157000 | #Constraints: 77429
1175.33/1178.79 c #Conflicts: 158000 | #Constraints: 78429
1175.33/1178.79 c #Conflicts: 159000 | #Constraints: 79429
1175.33/1178.79 c #Conflicts: 160000 | #Constraints: 80429
1175.33/1178.79 c #Conflicts: 161000 | #Constraints: 81429
1175.33/1178.79 c #Conflicts: 162000 | #Constraints: 82429
1773.73/1779.01 c #Conflicts: 163000 | #Constraints: 83429
1773.73/1779.01 c INPROCESSING
1773.73/1779.01 c GARBAGE COLLECT
1773.73/1779.01 c #Conflicts: 164000 | #Constraints: 76430
1773.73/1779.01 c #Conflicts: 165000 | #Constraints: 77430
1773.73/1779.01 c #Conflicts: 166000 | #Constraints: 78430
1773.73/1779.01 c #Conflicts: 167000 | #Constraints: 79430
1773.73/1779.01 c #Conflicts: 168000 | #Constraints: 80430
1773.73/1779.01 c #Conflicts: 169000 | #Constraints: 81430
1773.73/1779.01 c #Conflicts: 170000 | #Constraints: 82430
1773.73/1779.01 c #Conflicts: 171000 | #Constraints: 83430
1773.73/1779.01 c INPROCESSING
1773.73/1779.01 c GARBAGE COLLECT
1773.73/1779.01 c #Conflicts: 172000 | #Constraints: 76237
1773.73/1779.01 c #Conflicts: 173000 | #Constraints: 77237
1773.73/1779.01 c #Conflicts: 174000 | #Constraints: 78237
1773.73/1779.01 c #Conflicts: 175000 | #Constraints: 79237
1773.73/1779.01 c #Conflicts: 176000 | #Constraints: 80237
1773.73/1779.01 c #Conflicts: 177000 | #Constraints: 81237
1773.73/1779.01 c #Conflicts: 178000 | #Constraints: 82237
1773.73/1779.01 c #Conflicts: 179000 | #Constraints: 83237
1773.73/1779.01 c #Conflicts: 180000 | #Constraints: 84237
1773.73/1779.01 c INPROCESSING
1773.73/1779.01 c GARBAGE COLLECT
1773.73/1779.01 c #Conflicts: 181000 | #Constraints: 76836
1773.73/1779.01 c #Conflicts: 182000 | #Constraints: 77836
1773.73/1779.01 c #Conflicts: 183000 | #Constraints: 78836
1773.73/1779.01 c #Conflicts: 184000 | #Constraints: 79836
1773.73/1779.01 c #Conflicts: 185000 | #Constraints: 80836
1773.73/1779.01 c #Conflicts: 186000 | #Constraints: 81836
1773.73/1779.01 c #Conflicts: 187000 | #Constraints: 82836
1773.73/1779.01 c #Conflicts: 188000 | #Constraints: 83836
1773.73/1779.01 c #Conflicts: 189000 | #Constraints: 84836
1773.73/1779.01 c INPROCESSING
1773.73/1779.01 c GARBAGE COLLECT
1773.73/1779.01 c #Conflicts: 190000 | #Constraints: 77237
1773.73/1779.01 c #Conflicts: 191000 | #Constraints: 78237
1773.73/1779.01 c #Conflicts: 192000 | #Constraints: 79237
1773.73/1779.01 c #Conflicts: 193000 | #Constraints: 80237
1773.73/1779.01 c #Conflicts: 194000 | #Constraints: 81237
1773.73/1779.01 c #Conflicts: 195000 | #Constraints: 82237
1773.73/1779.01 c #Conflicts: 196000 | #Constraints: 83237
1773.73/1779.01 c #Conflicts: 197000 | #Constraints: 84237
1773.73/1779.01 c #Conflicts: 198000 | #Constraints: 85237
1773.73/1779.01 c INPROCESSING
1773.73/1779.01 c GARBAGE COLLECT
1773.73/1779.01 c #Conflicts: 199000 | #Constraints: 77436
1773.73/1779.01 c #Conflicts: 200000 | #Constraints: 78436
1773.73/1779.01 c #Conflicts: 201000 | #Constraints: 79436
1773.73/1779.01 c #Conflicts: 202000 | #Constraints: 80436
1773.73/1779.01 c #Conflicts: 203000 | #Constraints: 81436
1773.73/1779.01 c #Conflicts: 204000 | #Constraints: 82436
1773.73/1779.01 c #Conflicts: 205000 | #Constraints: 83436
1773.73/1779.01 c #Conflicts: 206000 | #Constraints: 84436
1773.73/1779.01 c #Conflicts: 207000 | #Constraints: 85436
1773.73/1779.01 c INPROCESSING
1773.73/1779.01 c GARBAGE COLLECT
1773.73/1779.01 c #Conflicts: 208000 | #Constraints: 77441
1773.73/1779.01 c #Conflicts: 209000 | #Constraints: 78441
1773.73/1779.01 c #Conflicts: 210000 | #Constraints: 79441
1773.73/1779.01 c #Conflicts: 211000 | #Constraints: 80441
1773.73/1779.01 c #Conflicts: 212000 | #Constraints: 81441
1773.73/1779.01 c #Conflicts: 213000 | #Constraints: 82441
1773.73/1779.01 c #Conflicts: 214000 | #Constraints: 83441
1773.73/1779.01 c #Conflicts: 215000 | #Constraints: 84441
1773.73/1779.01 c #Conflicts: 216000 | #Constraints: 85441
1773.73/1779.01 c INPROCESSING
1773.73/1779.01 c GARBAGE COLLECT
1773.73/1779.01 c #Conflicts: 217000 | #Constraints: 77243
1773.73/1779.01 c #Conflicts: 218000 | #Constraints: 78243
1773.73/1779.01 c #Conflicts: 219000 | #Constraints: 79243
1773.73/1779.01 c #Conflicts: 220000 | #Constraints: 80243
1773.73/1779.01 c #Conflicts: 221000 | #Constraints: 81243
1773.73/1779.01 c #Conflicts: 222000 | #Constraints: 82243
1773.73/1779.01 c #Conflicts: 223000 | #Constraints: 83243
1773.73/1779.01 c #Conflicts: 224000 | #Constraints: 84243
1773.73/1779.01 c #Conflicts: 225000 | #Constraints: 85243
1773.73/1779.01 c #Conflicts: 226000 | #Constraints: 86243
1773.73/1779.01 c INPROCESSING
1773.73/1779.01 c GARBAGE COLLECT
1773.73/1779.01 c #Conflicts: 227000 | #Constraints: 77848
1773.73/1779.01 c #Conflicts: 228000 | #Constraints: 78848
1773.73/1779.01 c #Conflicts: 229000 | #Constraints: 79848
1773.73/1779.01 c #Conflicts: 230000 | #Constraints: 80848
1773.73/1779.01 c #Conflicts: 231000 | #Constraints: 81848
1773.73/1779.01 c #Conflicts: 232000 | #Constraints: 82848
1773.73/1779.01 c #Conflicts: 233000 | #Constraints: 83848
1773.73/1779.01 c #Conflicts: 234000 | #Constraints: 84848
1773.73/1779.01 c #Conflicts: 235000 | #Constraints: 85848
2449.21/2456.45 c #Conflicts: 236000 | #Constraints: 86848
2449.21/2456.45 c INPROCESSING
2449.21/2456.45 c GARBAGE COLLECT
2449.21/2456.45 c #Conflicts: 237000 | #Constraints: 78242
2449.21/2456.45 c #Conflicts: 238000 | #Constraints: 79242
2449.21/2456.45 c #Conflicts: 239000 | #Constraints: 80242
2449.21/2456.45 c #Conflicts: 240000 | #Constraints: 81242
2449.21/2456.45 c #Conflicts: 241000 | #Constraints: 82242
2449.21/2456.45 c #Conflicts: 242000 | #Constraints: 83242
2449.21/2456.45 c #Conflicts: 243000 | #Constraints: 84242
2449.21/2456.45 c #Conflicts: 244000 | #Constraints: 85242
2449.21/2456.45 c #Conflicts: 245000 | #Constraints: 86242
2449.21/2456.45 c #Conflicts: 246000 | #Constraints: 87242
2449.21/2456.45 c INPROCESSING
2449.21/2456.45 c GARBAGE COLLECT
2449.21/2456.45 c #Conflicts: 247000 | #Constraints: 78434
2449.21/2456.45 c #Conflicts: 248000 | #Constraints: 79434
2449.21/2456.45 c #Conflicts: 249000 | #Constraints: 80434
2449.21/2456.45 c #Conflicts: 250000 | #Constraints: 81434
2449.21/2456.45 c #Conflicts: 251000 | #Constraints: 82434
2449.21/2456.45 c #Conflicts: 252000 | #Constraints: 83434
2449.21/2456.45 c #Conflicts: 253000 | #Constraints: 84434
2449.21/2456.45 c #Conflicts: 254000 | #Constraints: 85434
2449.21/2456.45 c #Conflicts: 255000 | #Constraints: 86434
2449.21/2456.45 c #Conflicts: 256000 | #Constraints: 87434
2449.21/2456.45 c INPROCESSING
2449.21/2456.45 c GARBAGE COLLECT
2449.21/2456.45 c #Conflicts: 257000 | #Constraints: 78425
2449.21/2456.45 c #Conflicts: 258000 | #Constraints: 79425
2449.21/2456.45 c #Conflicts: 259000 | #Constraints: 80425
2449.21/2456.45 c #Conflicts: 260000 | #Constraints: 81425
2449.21/2456.45 c #Conflicts: 261000 | #Constraints: 82425
2449.21/2456.45 c #Conflicts: 262000 | #Constraints: 83425
2449.21/2456.45 c #Conflicts: 263000 | #Constraints: 84425
2449.21/2456.45 c #Conflicts: 264000 | #Constraints: 85425
2449.21/2456.45 c #Conflicts: 265000 | #Constraints: 86425
2449.21/2456.45 c #Conflicts: 266000 | #Constraints: 87425
2449.21/2456.45 c INPROCESSING
2449.21/2456.45 c GARBAGE COLLECT
2449.21/2456.45 c #Conflicts: 267000 | #Constraints: 78226
2449.21/2456.45 c #Conflicts: 268000 | #Constraints: 79226
2449.21/2456.45 c #Conflicts: 269000 | #Constraints: 80226
2449.21/2456.45 c #Conflicts: 270000 | #Constraints: 81226
2449.21/2456.45 c #Conflicts: 271000 | #Constraints: 82226
2449.21/2456.45 c #Conflicts: 272000 | #Constraints: 83226
2449.21/2456.45 c #Conflicts: 273000 | #Constraints: 84226
2449.21/2456.45 c #Conflicts: 274000 | #Constraints: 85226
2449.21/2456.45 c #Conflicts: 275000 | #Constraints: 86226
2449.21/2456.45 c #Conflicts: 276000 | #Constraints: 87226
2449.21/2456.45 c #Conflicts: 277000 | #Constraints: 88226
2449.21/2456.45 c INPROCESSING
2449.21/2456.45 c GARBAGE COLLECT
2449.21/2456.45 c #Conflicts: 278000 | #Constraints: 78832
2449.21/2456.45 c #Conflicts: 279000 | #Constraints: 79832
2449.21/2456.45 c #Conflicts: 280000 | #Constraints: 80832
2449.21/2456.45 c #Conflicts: 281000 | #Constraints: 81832
2449.21/2456.45 c #Conflicts: 282000 | #Constraints: 82832
2449.21/2456.45 c #Conflicts: 283000 | #Constraints: 83832
2449.21/2456.45 c #Conflicts: 284000 | #Constraints: 84832
2449.21/2456.45 c #Conflicts: 285000 | #Constraints: 85832
2449.21/2456.45 c #Conflicts: 286000 | #Constraints: 86832
2449.21/2456.45 c #Conflicts: 287000 | #Constraints: 87832
2449.21/2456.45 c #Conflicts: 288000 | #Constraints: 88832
2449.21/2456.45 c INPROCESSING
2449.21/2456.45 c GARBAGE COLLECT
2449.21/2456.45 c #Conflicts: 289000 | #Constraints: 79231
2449.21/2456.45 c #Conflicts: 290000 | #Constraints: 80231
2449.21/2456.45 c #Conflicts: 291000 | #Constraints: 81231
2449.21/2456.45 c #Conflicts: 292000 | #Constraints: 82231
2449.21/2456.45 c #Conflicts: 293000 | #Constraints: 83231
2449.21/2456.45 c #Conflicts: 294000 | #Constraints: 84231
2449.21/2456.45 c #Conflicts: 295000 | #Constraints: 85231
2449.21/2456.45 c #Conflicts: 296000 | #Constraints: 86231
2449.21/2456.45 c #Conflicts: 297000 | #Constraints: 87231
2449.21/2456.45 c #Conflicts: 298000 | #Constraints: 88231
2449.21/2456.45 c #Conflicts: 299000 | #Constraints: 89231
2449.21/2456.45 c INPROCESSING
2449.21/2456.45 c GARBAGE COLLECT
2449.21/2456.45 c #Conflicts: 300000 | #Constraints: 79440
2449.21/2456.45 c #Conflicts: 301000 | #Constraints: 80440
2449.21/2456.45 c #Conflicts: 302000 | #Constraints: 81440
2449.21/2456.45 c #Conflicts: 303000 | #Constraints: 82440
2449.21/2456.45 c #Conflicts: 304000 | #Constraints: 83440
2449.21/2456.45 c #Conflicts: 305000 | #Constraints: 84440
2449.21/2456.45 c #Conflicts: 306000 | #Constraints: 85440
2449.21/2456.45 c #Conflicts: 307000 | #Constraints: 86440
2449.21/2456.45 c #Conflicts: 308000 | #Constraints: 87440
2449.21/2456.45 c #Conflicts: 309000 | #Constraints: 88440
2449.21/2456.45 c #Conflicts: 310000 | #Constraints: 89440
3165.11/3174.44 c INPROCESSING
3165.11/3174.44 c GARBAGE COLLECT
3165.11/3174.44 c #Conflicts: 311000 | #Constraints: 79443
3165.11/3174.44 c #Conflicts: 312000 | #Constraints: 80443
3165.11/3174.44 c #Conflicts: 313000 | #Constraints: 81443
3165.11/3174.44 c #Conflicts: 314000 | #Constraints: 82443
3165.11/3174.44 c #Conflicts: 315000 | #Constraints: 83443
3165.11/3174.44 c #Conflicts: 316000 | #Constraints: 84443
3165.11/3174.44 c #Conflicts: 317000 | #Constraints: 85443
3165.11/3174.44 c #Conflicts: 318000 | #Constraints: 86443
3165.11/3174.44 c #Conflicts: 319000 | #Constraints: 87443
3165.11/3174.44 c #Conflicts: 320000 | #Constraints: 88443
3165.11/3174.44 c #Conflicts: 321000 | #Constraints: 89443
3165.11/3174.44 c INPROCESSING
3165.11/3174.44 c GARBAGE COLLECT
3165.11/3174.44 c #Conflicts: 322000 | #Constraints: 79246
3165.11/3174.44 c #Conflicts: 323000 | #Constraints: 80246
3165.11/3174.44 c #Conflicts: 324000 | #Constraints: 81246
3165.11/3174.44 c #Conflicts: 325000 | #Constraints: 82246
3165.11/3174.44 c #Conflicts: 326000 | #Constraints: 83246
3165.11/3174.44 c #Conflicts: 327000 | #Constraints: 84246
3165.11/3174.44 c #Conflicts: 328000 | #Constraints: 85246
3165.11/3174.44 c #Conflicts: 329000 | #Constraints: 86246
3165.11/3174.44 c #Conflicts: 330000 | #Constraints: 87246
3165.11/3174.44 c #Conflicts: 331000 | #Constraints: 88246
3165.11/3174.44 c #Conflicts: 332000 | #Constraints: 89246
3165.11/3174.44 c #Conflicts: 333000 | #Constraints: 90246
3165.11/3174.44 c INPROCESSING
3165.11/3174.44 c GARBAGE COLLECT
3165.11/3174.44 c #Conflicts: 334000 | #Constraints: 79848
3165.11/3174.44 c #Conflicts: 335000 | #Constraints: 80848
3165.11/3174.44 c #Conflicts: 336000 | #Constraints: 81848
3165.11/3174.44 c #Conflicts: 337000 | #Constraints: 82848
3165.11/3174.44 c #Conflicts: 338000 | #Constraints: 83848
3165.11/3174.44 c #Conflicts: 339000 | #Constraints: 84848
3165.11/3174.44 c #Conflicts: 340000 | #Constraints: 85848
3165.11/3174.44 c #Conflicts: 341000 | #Constraints: 86848
3165.11/3174.44 c #Conflicts: 342000 | #Constraints: 87848
3165.11/3174.44 c #Conflicts: 343000 | #Constraints: 88848
3165.11/3174.44 c #Conflicts: 344000 | #Constraints: 89848
3165.11/3174.44 c #Conflicts: 345000 | #Constraints: 90848
3165.11/3174.44 c INPROCESSING
3165.11/3174.44 c GARBAGE COLLECT
3165.11/3174.44 c #Conflicts: 346000 | #Constraints: 80239
3165.11/3174.44 c #Conflicts: 347000 | #Constraints: 81239
3165.11/3174.44 c #Conflicts: 348000 | #Constraints: 82239
3165.11/3174.44 c #Conflicts: 349000 | #Constraints: 83239
3165.11/3174.44 c #Conflicts: 350000 | #Constraints: 84239
3165.11/3174.44 c #Conflicts: 351000 | #Constraints: 85239
3165.11/3174.44 c #Conflicts: 352000 | #Constraints: 86239
3165.11/3174.44 c #Conflicts: 353000 | #Constraints: 87239
3165.11/3174.44 c #Conflicts: 354000 | #Constraints: 88239
3165.11/3174.44 c #Conflicts: 355000 | #Constraints: 89239
3165.11/3174.44 c #Conflicts: 356000 | #Constraints: 90239
3165.11/3174.44 c #Conflicts: 357000 | #Constraints: 91239
3165.11/3174.44 c INPROCESSING
3165.11/3174.44 c GARBAGE COLLECT
3165.11/3174.44 c #Conflicts: 358000 | #Constraints: 80432
3165.11/3174.44 c #Conflicts: 359000 | #Constraints: 81432
3165.11/3174.44 c #Conflicts: 360000 | #Constraints: 82432
3165.11/3174.44 c #Conflicts: 361000 | #Constraints: 83432
3165.11/3174.44 c #Conflicts: 362000 | #Constraints: 84432
3165.11/3174.44 c #Conflicts: 363000 | #Constraints: 85432
3165.11/3174.44 c #Conflicts: 364000 | #Constraints: 86432
3165.11/3174.44 c #Conflicts: 365000 | #Constraints: 87432
3165.11/3174.44 c #Conflicts: 366000 | #Constraints: 88432
3165.11/3174.44 c #Conflicts: 367000 | #Constraints: 89432
3165.11/3174.44 c #Conflicts: 368000 | #Constraints: 90432
3165.11/3174.44 c #Conflicts: 369000 | #Constraints: 91432
3165.11/3174.44 c INPROCESSING
3165.11/3174.44 c GARBAGE COLLECT
3165.11/3174.44 c #Conflicts: 370000 | #Constraints: 80436
3165.11/3174.44 c #Conflicts: 371000 | #Constraints: 81436
3165.11/3174.44 c #Conflicts: 372000 | #Constraints: 82436
3165.11/3174.44 c #Conflicts: 373000 | #Constraints: 83436
3165.11/3174.44 c #Conflicts: 374000 | #Constraints: 84436
3165.11/3174.44 c #Conflicts: 375000 | #Constraints: 85436
3165.11/3174.44 c #Conflicts: 376000 | #Constraints: 86436
3165.11/3174.44 c #Conflicts: 377000 | #Constraints: 87436
3165.11/3174.44 c #Conflicts: 378000 | #Constraints: 88436
3165.11/3174.44 c #Conflicts: 379000 | #Constraints: 89436
3165.11/3174.44 c #Conflicts: 380000 | #Constraints: 90436
3165.11/3174.44 c #Conflicts: 381000 | #Constraints: 91436
3165.11/3174.44 c INPROCESSING
3165.11/3174.44 c GARBAGE COLLECT
3165.11/3174.44 c #Conflicts: 382000 | #Constraints: 80230
3165.11/3174.44 c #Conflicts: 383000 | #Constraints: 81230
3165.11/3174.44 c #Conflicts: 384000 | #Constraints: 82230
3600.08/3610.70 c #Conflicts: 385000 | #Constraints: 83230
3600.08/3610.70 c #Conflicts: 386000 | #Constraints: 84230
3600.08/3610.70 c #Conflicts: 387000 | #Constraints: 85230
3600.08/3610.70 c #Conflicts: 388000 | #Constraints: 86230
3600.08/3610.70 c #Conflicts: 389000 | #Constraints: 87230
3600.08/3610.70 c #Conflicts: 390000 | #Constraints: 88230
3600.08/3610.70 c #Conflicts: 391000 | #Constraints: 89230
3600.08/3610.70 c #Conflicts: 392000 | #Constraints: 90230
3600.08/3610.70 c #Conflicts: 393000 | #Constraints: 91230
3600.08/3610.70 c #Conflicts: 394000 | #Constraints: 92230
3600.08/3610.70 c INPROCESSING
3600.08/3610.70 c GARBAGE COLLECT
3600.08/3610.70 c #Conflicts: 395000 | #Constraints: 80838
3600.08/3610.70 c #Conflicts: 396000 | #Constraints: 81838
3600.08/3610.70 c #Conflicts: 397000 | #Constraints: 82838
3600.08/3610.70 c #Conflicts: 398000 | #Constraints: 83838
3600.08/3610.70 c #Conflicts: 399000 | #Constraints: 84838
3600.08/3610.70 c #Conflicts: 400000 | #Constraints: 85838
3600.08/3610.70 c #Conflicts: 401000 | #Constraints: 86838
3600.08/3610.70 c #Conflicts: 402000 | #Constraints: 87838
3600.08/3610.70 c #Conflicts: 403000 | #Constraints: 88838
3600.08/3610.70 c #Conflicts: 404000 | #Constraints: 89838
3600.08/3610.70 c #Conflicts: 405000 | #Constraints: 90838
3600.08/3610.70 c #Conflicts: 406000 | #Constraints: 91838
3600.08/3610.70 c #Conflicts: 407000 | #Constraints: 92838
3600.08/3610.70 c INPROCESSING
3600.08/3610.70 c GARBAGE COLLECT
3600.08/3610.70 c #Conflicts: 408000 | #Constraints: 81233
3600.08/3610.70 c #Conflicts: 409000 | #Constraints: 82233
3600.08/3610.70 c #Conflicts: 410000 | #Constraints: 83233
3600.08/3610.70 c #Conflicts: 411000 | #Constraints: 84233
3600.08/3610.70 c #Conflicts: 412000 | #Constraints: 85233
3600.08/3610.70 c #Conflicts: 413000 | #Constraints: 86233
3600.08/3610.70 c #Conflicts: 414000 | #Constraints: 87233
3600.08/3610.70 c #Conflicts: 415000 | #Constraints: 88233
3600.08/3610.70 c #Conflicts: 416000 | #Constraints: 89233
3600.08/3610.70 c #Conflicts: 417000 | #Constraints: 90233
3600.08/3610.70 c #Conflicts: 418000 | #Constraints: 91233
3600.08/3610.70 c #Conflicts: 419000 | #Constraints: 92233
3600.08/3610.70 c #Conflicts: 420000 | #Constraints: 93233
3600.08/3610.70 c INPROCESSING
3600.08/3610.70 c GARBAGE COLLECT
3600.08/3610.70 c #Conflicts: 421000 | #Constraints: 81433
3600.08/3610.70 c #Conflicts: 422000 | #Constraints: 82433
3600.08/3610.70 c #Conflicts: 423000 | #Constraints: 83433
3600.08/3610.70 c #Conflicts: 424000 | #Constraints: 84433
3600.08/3610.70 c #Conflicts: 425000 | #Constraints: 85433
3600.08/3610.70 c #Conflicts: 426000 | #Constraints: 86433
3600.08/3610.70 c #Conflicts: 427000 | #Constraints: 87433
3600.08/3610.70 c cpu time 3554.03 s
3600.08/3610.70 c deterministic time 1 1.00e+00
3600.08/3610.70 c optimization time 3551.75 s
3600.08/3610.70 c total solve time 0 s
3600.08/3610.70 c core-guided solve time 0 s
3600.08/3610.70 c propagation time 0.050714 s
3600.08/3610.70 c conflict analysis time 0 s
3600.08/3610.70 c propagations 0
3600.08/3610.70 c resolve steps 0
3600.08/3610.70 c decisions 0
3600.08/3610.70 c conflicts 0
3600.08/3610.70 c restarts 0
3600.08/3610.70 c inprocessing phases 0
3600.08/3610.70 c garbage collections 0 ,( -nan )
3600.08/3610.70 c input clauses 65280 ,( 100.00 )
3600.08/3610.70 c input cardinalities 0 ,( 0.00 )
3600.08/3610.70 c input general constraints 0 ,( 0.00 )
3600.08/3610.70 c input average constraint length 78.31
3600.08/3610.70 c input average constraint degree 1.00
3600.08/3610.70 c learned clauses 0 ,( 0.00 )
3600.08/3610.70 c learned cardinalities 0 ,( 0.00 )
3600.08/3610.70 c learned general constraints 0 ,( 0.00 )
3600.08/3610.70 c learned average constraint length 0.00
3600.08/3610.70 c learned average constraint degree 0.00
3600.08/3610.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3610.70 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3610.70 c watched constraints 0 ,( -nan )
3600.08/3610.70 c counting constraints 0 ,( -nan )
3600.08/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3610.70 c gcd simplifications 0
3600.08/3610.70 c detected cardinalities 0
3600.08/3610.70 c weakened non-implied lits 0
3600.08/3610.70 c weakened non-implying lits 0
3600.08/3610.70 c original variables 14300
3600.08/3610.70 c clausal propagations 0
3600.08/3610.70 c cardinality propagations 0
3600.08/3610.70 c watched propagations 0
3600.08/3610.70 c counting propagations 0
3600.08/3610.70 c watch lookups 0
3600.08/3610.70 c watch backjump lookups 0
3600.08/3610.70 c watch checks 0
3600.08/3610.70 c propagation checks 0
3600.08/3610.70 c constraint additions 0
3600.08/3610.70 c trail pops 0
3600.08/3610.70 c formula constraints 65280
3600.08/3610.70 c learned constraints 0
3600.08/3610.70 c bound constraints 0
3600.08/3610.70 c core-guided constraints 0
3600.08/3610.70 c encountered formula constraints 0
3600.08/3610.70 c encountered learned constraints 0
3600.08/3610.70 c encountered bound constraints 0
3600.08/3610.70 c encountered core-guided constraints 0
3600.08/3610.70 c LP total time 0 s
3600.08/3610.70 c LP solve time 0 s
3600.08/3610.70 c LP constraints added 0
3600.08/3610.70 c LP constraints removed 0
3600.08/3610.70 c LP pivots internal 0
3600.08/3610.70 c LP pivots root 0
3600.08/3610.70 c LP calls 0
3600.08/3610.70 c LP optimalities 0
3600.08/3610.70 c LP no pivot count 0
3600.08/3610.70 c LP infeasibilities 0
3600.08/3610.70 c LP valid Farkas constraints 0
3600.08/3610.70 c LP learned Farkas constraints 0
3600.08/3610.70 c LP basis resets 0
3600.08/3610.70 c LP cycling count 0
3600.08/3610.70 c LP singular count 0
3600.08/3610.70 c LP no primal count 0
3600.08/3610.70 c LP no farkas count 0
3600.08/3610.70 c LP other issue count 0
3600.08/3610.70 c LP Gomory cuts 0
3600.08/3610.70 c LP learned cuts 0
3600.08/3610.70 c LP deleted cuts 0
3600.08/3610.70 c LP encountered Gomory constraints 0
3600.08/3610.70 c LP encountered Farkas constraints 0
3600.08/3610.70 c LP encountered learned Farkas constraints 0
3600.08/3610.70 c CG auxiliary variables introduced 0
3600.08/3610.70 c CG solutions found 0
3600.08/3610.70 c CG cores constructed 0
3600.08/3610.70 c CG core cardinality constraints returned 0
3600.08/3610.70 c CG unit cores 0
3600.08/3610.70 c CG single cores 0
3600.08/3610.70 c CG blocks removed during cardinality reduction 0
3600.08/3610.70 c CG first core best 0
3600.08/3610.70 c CG decision core best 0
3600.08/3610.70 c CG core reduction tie 0
3600.08/3610.70 c CG core degree average 0.00
3600.08/3610.70 c CG core slack average 0.00
3600.08/3610.70 c CG core upper bound improvements 0
3600.08/3610.70 c STR number of successful calls 0
3600.08/3610.70 c STR number of unsuccessful calls 0
3600.08/3610.70 c STR number of inconclusive calls 0
3600.08/3610.70 c STR number of successful attempts 0
3600.08/3610.70 c STR number of unsuccessful attempts 0
3600.08/3610.70 c STR number of inconclusive attempts 0
3600.08/3610.70 c STR average degree increase per successful call inf
3600.08/3610.70 c STR average degree increase per successful attempt inf
3600.08/3610.70 c STR total number of conflicts for successful attempts 0
3600.08/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3610.70 c STR average number of conflicts per successful attempt inf
3600.08/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3610.70 c AVG.sumWPerc -nan
3600.08/3610.70 c bigint constraints 0
3600.08/3610.70 s UNKNOWN
3600.08/3610.70 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: 63837 MiB (61660 MiB free)
memory of node 1: 64465 MiB (63107 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502968-1751440305/watcher-4502968-1751440305 -o /tmp/evaluation-result-4502968-1751440305/solver-4502968-1751440305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751440305-60311 --watchdog 3760 run-opt.sh HOME/instance-4502968-1751440305.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=60354, runsolver pid=60350
Current StackSize limit: 8192 KiB
[startup+0.100064 s]*
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127741848/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=58112 memory=13260 CPUtime=0.07 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1548 0 0 0 6 1 0 0 20 0 1 0 59709237 59506688 3315 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 14528 3315 1920 1147 0 1955 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 16204 KiB
[startup+0.208783 s]*
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127717656/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=58112 memory=13260 CPUtime=0.17 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1549 0 0 0 16 1 0 0 20 0 1 0 59709237 59506688 3315 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 14528 3315 1920 1147 0 1955 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 16204 KiB
[startup+0.308932 s]*
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127693212/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=58112 memory=15420 CPUtime=0.27 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1578 0 0 0 25 2 0 0 20 0 1 0 59709237 59506688 3855 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 14528 3855 1920 1147 0 1955 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 18364 KiB
[startup+0.700238 s]
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127643320/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=61280 memory=15932 CPUtime=0.65 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1737 0 0 0 62 3 0 0 20 0 1 0 59709237 62750720 3983 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 15320 3983 1920 1147 0 2747 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 65472 KiB
Current children cumulated memory: 18876 KiB
[startup+1.50039 s]
/proc/loadavg: 3.48 4.15 4.12 5/250 60361
/proc/meminfo: memFree=127504720/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=74520 memory=26676 CPUtime=1.44 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 2913 0 0 0 137 7 0 0 20 0 1 0 59709237 76308480 6669 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 18630 6669 1920 1147 0 6057 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 78712 KiB
Current children cumulated memory: 29620 KiB
[startup+3.11283 s]
/proc/loadavg: 3.52 4.15 4.12 5/248 60362
/proc/meminfo: memFree=126615272/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=336164 memory=281688 CPUtime=3.05 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 49182 0 0 0 279 26 0 0 20 0 1 0 59709237 344231936 70422 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 84041 70422 2336 1147 0 71468 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 340356 KiB
Current children cumulated memory: 284632 KiB
[startup+6.30037 s]
/proc/loadavg: 3.52 4.15 4.12 5/255 60374
/proc/meminfo: memFree=126210664/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=477948 memory=418680 CPUtime=6.23 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 73187 0 0 0 512 111 0 0 20 0 1 0 59709237 489418752 104670 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 119487 104670 2368 1147 0 106914 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 482140 KiB
Current children cumulated memory: 421624 KiB
[startup+12.7004 s]
/proc/loadavg: 3.56 4.15 4.12 5/255 60374
/proc/meminfo: memFree=125623208/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=651808 memory=601928 CPUtime=12.62 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 104699 0 0 0 1002 260 0 0 20 0 1 0 59709237 667451392 150482 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 162952 150482 2368 1147 0 150379 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 656000 KiB
Current children cumulated memory: 604872 KiB
[startup+25.5004 s]
/proc/loadavg: 3.66 4.14 4.12 5/255 60374
/proc/meminfo: memFree=122882072/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=984412 memory=913308 CPUtime=25.38 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 163688 0 0 0 2036 502 0 0 20 0 1 0 59709237 1008037888 228327 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 246103 228327 2368 1147 0 233530 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 988604 KiB
Current children cumulated memory: 916252 KiB
[startup+51.113 s]
/proc/loadavg: 3.96 4.17 4.13 5/255 60374
/proc/meminfo: memFree=120085624/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=1844868 memory=1533768 CPUtime=50.94 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 277916 0 0 0 4291 803 0 0 20 0 1 0 59709237 1889144832 383442 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 461217 383442 2368 1147 0 448644 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 1849060 KiB
Current children cumulated memory: 1536712 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.18 4.13 5/255 60376
/proc/meminfo: memFree=114117252/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=3206924 memory=2481268 CPUtime=101.98 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 463775 0 0 0 9208 990 0 0 20 0 1 0 59709237 3283890176 620317 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 801731 620317 2368 1147 0 789158 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 3211116 KiB
Current children cumulated memory: 2484212 KiB
[startup+162.3 s]
/proc/loadavg: 4.15 4.17 4.13 5/255 60378
/proc/meminfo: memFree=112467792/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=3215896 memory=2544100 CPUtime=161.82 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 477434 0 0 0 15060 1122 0 0 20 0 1 0 59709237 3293077504 636025 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 803974 636025 2368 1147 0 791401 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 3220088 KiB
Current children cumulated memory: 2547044 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.16 4.12 5/255 60380
/proc/meminfo: memFree=109486236/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=3217312 memory=2620904 CPUtime=221.66 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 487560 0 0 0 20905 1261 0 0 20 0 1 0 59709237 3294527488 655226 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 804328 655226 2368 1147 0 791755 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
[pid=60360] ppid=60354 vsize=9885356 memory=7955124 CPUtime=3093.22 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1510901 0 0 0 305070 4252 0 0 20 0 1 0 59709237 10122604544 1988781 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2471339 1988781 2368 1147 0 2458766 0
Current children cumulated CPU time: 3093.22 s
Current children cumulated vsize: 9889548 KiB
Current children cumulated memory: 7958068 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.11 5/253 60526
/proc/meminfo: memFree=81641756/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9920684 memory=8033236 CPUtime=3153.04 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1525320 0 0 0 311003 4301 0 0 20 0 1 0 59709237 10158780416 2008309 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2480171 2008309 2368 1147 0 2467598 0
Current children cumulated CPU time: 3153.04 s
Current children cumulated vsize: 9924876 KiB
Current children cumulated memory: 8036180 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/253 60528
/proc/meminfo: memFree=81627900/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9920684 memory=8037332 CPUtime=3212.86 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1525661 0 0 0 316933 4353 0 0 20 0 1 0 59709237 10158780416 2009333 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2480171 2009333 2368 1147 0 2467598 0
Current children cumulated CPU time: 3212.86 s
Current children cumulated vsize: 9924876 KiB
Current children cumulated memory: 8040276 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.11 4.11 5/253 60530
/proc/meminfo: memFree=81444856/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9939116 memory=8115436 CPUtime=3272.69 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1534897 0 0 0 322872 4397 0 0 20 0 1 0 59709237 10177654784 2028859 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2484779 2028859 2368 1147 0 2472206 0
Current children cumulated CPU time: 3272.69 s
Current children cumulated vsize: 9943308 KiB
Current children cumulated memory: 8118380 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/254 60535
/proc/meminfo: memFree=81407036/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9939116 memory=8133740 CPUtime=3332.51 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1535228 0 0 0 328799 4452 0 0 20 0 1 0 59709237 10177654784 2033435 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2484779 2033435 2368 1147 0 2472206 0
Current children cumulated CPU time: 3332.51 s
Current children cumulated vsize: 9943308 KiB
Current children cumulated memory: 8136684 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/254 60537
/proc/meminfo: memFree=81249080/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9956524 memory=8231508 CPUtime=3392.32 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1545398 0 0 0 334734 4498 0 0 20 0 1 0 59709237 10195480576 2057877 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2489131 2057877 2368 1147 0 2476558 0
Current children cumulated CPU time: 3392.32 s
Current children cumulated vsize: 9960716 KiB
Current children cumulated memory: 8234452 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/254 60543
/proc/meminfo: memFree=81229904/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9956524 memory=8267860 CPUtime=3452.13 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1545737 0 0 0 340668 4545 0 0 20 0 1 0 59709237 10195480576 2066965 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2489131 2066965 2368 1147 0 2476558 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 9960716 KiB
Current children cumulated memory: 8270804 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/255 60547
/proc/meminfo: memFree=81016732/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9967636 memory=8321632 CPUtime=3511.95 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1549633 0 0 0 346629 4566 0 0 20 0 1 0 59709237 10206859264 2080408 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2491909 2080408 2368 1147 0 2479336 0
Current children cumulated CPU time: 3511.95 s
Current children cumulated vsize: 9971828 KiB
Current children cumulated memory: 8324576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 60549
/proc/meminfo: memFree=80246340/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9995948 memory=8500572 CPUtime=3571.76 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1568422 0 0 0 352582 4594 0 0 20 0 1 0 59709237 10235850752 2125143 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2498987 2125143 2368 1147 0 2486414 0
Current children cumulated CPU time: 3571.76 s
Current children cumulated vsize: 10000140 KiB
Current children cumulated memory: 8503516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.16 4.12 4.10 5/255 60550
/proc/meminfo: memFree=80227020/131382120 swapFree=33010684/33010684
[pid=60354] ppid=60350 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/60354/stat : 60354 (run-opt.sh) S 60350 60354 60299 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 59709236 4292608 736 18446744073709551615 93861050884096 93861051778629 140728891485376 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93861052017680 93861052065424 93861063155712 140728891492717 140728891492840 140728891492840 140728891498442 0
/proc/60354/statm: 1048 736 672 219 0 110 0
[pid=60360] ppid=60354 vsize=9995948 memory=8517852 CPUtime=3600.08 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60354 60354 60299 0 -1 4194304 1569790 0 0 0 355402 4606 0 0 20 0 1 0 59709237 10235850752 2129463 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2498987 2129463 2368 1147 0 2486414 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 10000140 KiB
Current children cumulated memory: 8520796 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 60354 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001811 s, system=0.003454 s
[startup+3610.86 s]
# the end of solver process 60360 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3554.05 s, system=46.2051 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.8 s]*
/proc/loadavg: 4.16 4.12 4.10 4/249 60558
/proc/meminfo: memFree=87500480/131382120 swapFree=33010684/33010684
[pid=60360] ppid=60350 vsize=8033240 memory=4318400 CPUtime=3600.2 cores=1,3
/proc/60360/stat : 60360 (roundingsat) R 60350 60354 60299 0 -1 4194304 1569798 0 0 0 355403 4617 0 0 20 0 1 0 59709237 8226037760 1080262 18446744073709551615 4227072 8923433 140734988457584 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 36708352 140734988466594 140734988466728 140734988466728 140734988472298 0
/proc/60360/statm: 2008310 1079932 2432 1147 0 1995737 0
Current cumulated CPU time of completed processes: 0.005265 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 8033240 KiB
Current children cumulated memory: 4318400 KiB
Child status: 2
Real time (s): 3610.86
CPU time (s): 3600.26
CPU user time (s): 3554.05
CPU system time (s): 46.2051
CPU usage (%): 99.7065
Max. virtual memory (cumulated for all children) (KiB): 10000140
Max. memory (cumulated for all children) (KiB): 8520796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3554.05
system time used= 46.2051
maximum resident set size= 8518108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1570075
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 914
involuntary context switches= 2356
# summary of solver processes directly reported to runsolver:
# pid: 60354,60360
# total CPU time (s): 3600.26
# total CPU user time (s): 3554.05
# total CPU system time (s): 46.2051
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.6361 second user time and 36.4934 second system time
The end
Begin job on nodeC003 at 2025-07-02 09:11:46
IDJOB=4502968
IDBENCH=155402
IDSOLVER=3350
FILE ID=nodeC003/4502968-1751440305
RUNJOBID= nodeC003-1751440305-60311
SLURM_JOB_ID= 9598398
Free space on /tmp= 431772 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502968-1751440305/watcher-4502968-1751440305 -o /tmp/evaluation-result-4502968-1751440305/solver-4502968-1751440305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751440305-60311 --watchdog 3760 run-opt.sh HOME/instance-4502968-1751440305.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=1719328969
nodeC003 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 : 0xb00001f
cpu MHz : 1197.318
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.163
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1795.743
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1795.790
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1795.841
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.170
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.147
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
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 : 0xb00001f
cpu MHz : 1197.161
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 127779552 kB
MemAvailable: 129886448 kB
Buffers: 3280 kB
Cached: 2905836 kB
SwapCached: 0 kB
Active: 338940 kB
Inactive: 2652312 kB
Active(anon): 100112 kB
Inactive(anon): 0 kB
Active(file): 238828 kB
Inactive(file): 2652312 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 257748 kB
Writeback: 0 kB
AnonPages: 85624 kB
Mapped: 107664 kB
Shmem: 17960 kB
KReclaimable: 110764 kB
Slab: 195712 kB
SReclaimable: 110764 kB
SUnreclaim: 84948 kB
KernelStack: 3952 kB
PageTables: 3044 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 372412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149304 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 20480 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: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 431304 MiB
End job on nodeC003 at 2025-07-02 10:11:57