0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.57/1.63 c #variables 14300 #constraints 65280
1.57/1.63 c objective is ce32
2.07/2.16 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
2.07/2.16 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
2.07/2.16 c GLOBAL bounds - >= 0 @ 1.94119
2.37/2.42 c GLOBAL bounds - >= 0 @ 2.19318
2.37/2.44 c GLOBAL bounds - >= 0 @ 2.21222
2.37/2.47 c GLOBAL bounds - >= 0 @ 2.2281
2.37/2.49 c GLOBAL bounds - >= 0 @ 2.24097
2.47/2.52 c GLOBAL bounds - >= 0 @ 2.26843
2.47/2.55 c GLOBAL bounds - >= 0 @ 2.29216
2.47/2.58 c GLOBAL bounds - >= 0 @ 2.31704
2.57/2.61 c GLOBAL bounds - >= 0 @ 2.33774
2.57/2.63 c GLOBAL bounds - >= 0 @ 2.35411
2.57/2.67 c GLOBAL bounds - >= 0 @ 2.39114
2.66/2.70 c GLOBAL bounds - >= 0 @ 2.41479
2.66/2.73 c GLOBAL bounds - >= 0 @ 2.42819
2.66/2.75 c GLOBAL bounds - >= 0 @ 2.43976
2.66/2.77 c GLOBAL bounds - >= 0 @ 2.4503
2.66/2.79 c GLOBAL bounds - >= 0 @ 2.45809
2.77/2.81 c GLOBAL bounds - >= 0 @ 2.47099
2.77/2.84 c GLOBAL bounds - >= 0 @ 2.49473
2.77/2.87 c GLOBAL bounds - >= 0 @ 2.51486
2.87/2.90 c GLOBAL bounds - >= 0 @ 2.53488
2.87/2.93 c GLOBAL bounds - >= 0 @ 2.55877
2.87/2.97 c GLOBAL bounds - >= 0 @ 2.58972
2.87/3.00 c GLOBAL bounds - >= 0 @ 2.61344
2.97/3.03 c GLOBAL bounds - >= 0 @ 2.63475
2.97/3.06 c GLOBAL bounds - >= 0 @ 2.65268
2.97/3.08 c GLOBAL bounds - >= 0 @ 2.67041
3.07/3.12 c GLOBAL bounds - >= 0 @ 2.69327
3.07/3.14 c GLOBAL bounds - >= 0 @ 2.71534
3.07/3.17 c GLOBAL bounds - >= 0 @ 2.73389
3.16/3.20 c GLOBAL bounds - >= 0 @ 2.74719
3.16/3.22 c GLOBAL bounds - >= 0 @ 2.75857
3.16/3.24 c GLOBAL bounds - >= 0 @ 2.77237
3.16/3.27 c GLOBAL bounds - >= 0 @ 2.79423
3.27/3.30 c GLOBAL bounds - >= 0 @ 2.81798
3.27/3.33 c GLOBAL bounds - >= 0 @ 2.83392
3.27/3.35 c GLOBAL bounds - >= 0 @ 2.84963
3.27/3.38 c GLOBAL bounds - >= 0 @ 2.862
3.36/3.40 c GLOBAL bounds - >= 0 @ 2.87767
3.36/3.42 c GLOBAL bounds - >= 0 @ 2.89603
3.36/3.45 c GLOBAL bounds - >= 0 @ 2.91166
3.36/3.47 c GLOBAL bounds - >= 0 @ 2.92215
3.36/3.49 c GLOBAL bounds - >= 0 @ 2.93252
3.46/3.51 c GLOBAL bounds - >= 0 @ 2.94319
3.46/3.53 c GLOBAL bounds - >= 0 @ 2.95815
3.46/3.56 c GLOBAL bounds - >= 0 @ 2.97202
3.46/3.58 c GLOBAL bounds - >= 0 @ 2.98969
3.57/3.60 c GLOBAL bounds - >= 0 @ 3.00496
3.57/3.62 c GLOBAL bounds - >= 0 @ 3.01798
3.57/3.65 c GLOBAL bounds - >= 0 @ 3.03009
3.57/3.67 c GLOBAL bounds - >= 0 @ 3.0437
3.57/3.69 c GLOBAL bounds - >= 0 @ 3.05783
3.67/3.71 c GLOBAL bounds - >= 0 @ 3.07238
3.67/3.73 c GLOBAL bounds - >= 0 @ 3.08233
3.67/3.75 c GLOBAL bounds - >= 0 @ 3.09344
3.67/3.77 c GLOBAL bounds - >= 0 @ 3.1052
3.76/3.81 c GLOBAL bounds - >= 0 @ 3.12732
3.76/3.84 c GLOBAL bounds - >= 0 @ 3.14669
3.76/3.86 c GLOBAL bounds - >= 0 @ 3.16437
3.76/3.89 c GLOBAL bounds - >= 0 @ 3.18355
3.86/3.92 c GLOBAL bounds - >= 0 @ 3.20339
3.86/3.96 c GLOBAL bounds - >= 0 @ 3.23208
3.97/4.01 c GLOBAL bounds - >= 0 @ 3.27301
3.97/4.05 c GLOBAL bounds - >= 0 @ 3.30228
3.97/4.10 c GLOBAL bounds - >= 0 @ 3.33574
4.17/4.23 c GLOBAL bounds - >= 0 @ 3.45771
4.17/4.26 c GLOBAL bounds - >= 0 @ 3.48364
4.26/4.30 c GLOBAL bounds - >= 0 @ 3.51058
4.26/4.36 c GLOBAL bounds - >= 0 @ 3.55799
4.26/4.39 c GLOBAL bounds - >= 0 @ 3.58004
4.36/4.42 c GLOBAL bounds - >= 0 @ 3.60095
4.36/4.45 c GLOBAL bounds - >= 0 @ 3.62761
4.46/4.53 c GLOBAL bounds - >= 0 @ 3.69857
4.57/4.64 c GLOBAL bounds - >= 0 @ 3.77435
4.57/4.68 c GLOBAL bounds - >= 0 @ 3.80696
4.66/4.72 c GLOBAL bounds - >= 0 @ 3.83642
4.66/4.76 c GLOBAL bounds - >= 0 @ 3.86495
4.76/4.80 c GLOBAL bounds - >= 0 @ 3.89886
4.76/4.84 c GLOBAL bounds - >= 0 @ 3.92431
4.76/4.87 c GLOBAL bounds - >= 0 @ 3.95097
4.86/4.91 c GLOBAL bounds - >= 0 @ 3.97575
4.86/4.94 c GLOBAL bounds - >= 0 @ 3.99986
4.86/4.97 c GLOBAL bounds - >= 0 @ 4.02248
4.96/5.01 c GLOBAL bounds - >= 0 @ 4.05558
4.96/5.05 c GLOBAL bounds - >= 0 @ 4.09129
5.07/5.13 c GLOBAL bounds - >= 0 @ 4.16555
5.07/5.18 c GLOBAL bounds - >= 0 @ 4.20161
5.16/5.21 c GLOBAL bounds - >= 0 @ 4.22294
5.16/5.25 c GLOBAL bounds - >= 0 @ 4.24832
5.16/5.28 c GLOBAL bounds - >= 0 @ 4.2679
5.26/5.31 c GLOBAL bounds - >= 0 @ 4.2919
5.26/5.34 c GLOBAL bounds - >= 0 @ 4.31222
5.26/5.37 c GLOBAL bounds - >= 0 @ 4.33132
5.36/5.41 c GLOBAL bounds - >= 0 @ 4.362
5.36/5.46 c GLOBAL bounds - >= 0 @ 4.39927
5.46/5.51 c GLOBAL bounds - >= 0 @ 4.43274
5.46/5.55 c GLOBAL bounds - >= 0 @ 4.47334
5.46/5.59 c GLOBAL bounds - >= 0 @ 4.50128
5.56/5.62 c GLOBAL bounds - >= 0 @ 4.52623
5.56/5.66 c GLOBAL bounds - >= 0 @ 4.55656
5.56/5.69 c GLOBAL bounds - >= 0 @ 4.58334
5.66/5.73 c GLOBAL bounds - >= 0 @ 4.61366
5.76/5.83 c GLOBAL bounds - >= 0 @ 4.69536
5.76/5.87 c GLOBAL bounds - >= 0 @ 4.73419
5.86/5.91 c GLOBAL bounds - >= 0 @ 4.76361
5.86/5.96 c GLOBAL bounds - >= 0 @ 4.79652
5.96/6.03 c GLOBAL bounds - >= 0 @ 4.85862
6.06/6.16 c GLOBAL bounds - >= 0 @ 4.98409
6.16/6.20 c GLOBAL bounds - >= 0 @ 5.01144
6.16/6.24 c GLOBAL bounds - >= 0 @ 5.05158
6.16/6.28 c GLOBAL bounds - >= 0 @ 5.08054
6.26/6.32 c GLOBAL bounds - >= 0 @ 5.11682
6.26/6.36 c GLOBAL bounds - >= 0 @ 5.14302
6.26/6.39 c GLOBAL bounds - >= 0 @ 5.17145
6.36/6.43 c GLOBAL bounds - >= 0 @ 5.19343
6.36/6.46 c GLOBAL bounds - >= 0 @ 5.21663
6.36/6.49 c GLOBAL bounds - >= 0 @ 5.24554
6.46/6.52 c GLOBAL bounds - >= 0 @ 5.27031
6.46/6.56 c GLOBAL bounds - >= 0 @ 5.29196
6.46/6.59 c GLOBAL bounds - >= 0 @ 5.31522
6.55/6.62 c GLOBAL bounds - >= 0 @ 5.33188
6.55/6.65 c GLOBAL bounds - >= 0 @ 5.35272
6.55/6.67 c GLOBAL bounds - >= 0 @ 5.37317
6.65/6.70 c GLOBAL bounds - >= 0 @ 5.39299
6.65/6.73 c GLOBAL bounds - >= 0 @ 5.41751
6.65/6.76 c GLOBAL bounds - >= 0 @ 5.43478
6.65/6.79 c GLOBAL bounds - >= 0 @ 5.45591
6.76/6.82 c GLOBAL bounds - >= 0 @ 5.4801
6.76/6.85 c GLOBAL bounds - >= 0 @ 5.50063
6.76/6.88 c GLOBAL bounds - >= 0 @ 5.52127
6.85/6.90 c GLOBAL bounds - >= 0 @ 5.54444
6.85/6.97 c GLOBAL bounds - >= 0 @ 5.57902
6.85/7.00 c GLOBAL bounds - >= 0 @ 5.60259
6.96/7.03 c GLOBAL bounds - >= 0 @ 5.62303
6.96/7.06 c GLOBAL bounds - >= 0 @ 5.64642
6.96/7.09 c GLOBAL bounds - >= 0 @ 5.66648
7.06/7.12 c GLOBAL bounds - >= 0 @ 5.68708
7.06/7.16 c GLOBAL bounds - >= 0 @ 5.72037
7.16/7.25 c GLOBAL bounds - >= 0 @ 5.7874
7.16/7.28 c GLOBAL bounds - >= 0 @ 5.81541
7.26/7.32 c GLOBAL bounds - >= 0 @ 5.84115
7.26/7.36 c GLOBAL bounds - >= 0 @ 5.88165
7.36/7.41 c GLOBAL bounds - >= 0 @ 5.91561
7.36/7.45 c GLOBAL bounds - >= 0 @ 5.94769
7.46/7.52 c GLOBAL bounds - >= 0 @ 6.00038
7.46/7.56 c GLOBAL bounds - >= 0 @ 6.03403
7.56/7.60 c GLOBAL bounds - >= 0 @ 6.06215
7.56/7.64 c GLOBAL bounds - >= 0 @ 6.09258
7.56/7.68 c GLOBAL bounds - >= 0 @ 6.12398
7.65/7.71 c GLOBAL bounds - >= 0 @ 6.15204
7.65/7.75 c GLOBAL bounds - >= 0 @ 6.17765
7.65/7.78 c GLOBAL bounds - >= 0 @ 6.20545
7.75/7.82 c GLOBAL bounds - >= 0 @ 6.23266
7.75/7.85 c GLOBAL bounds - >= 0 @ 6.25769
7.85/7.90 c GLOBAL bounds - >= 0 @ 6.29182
7.85/7.94 c GLOBAL bounds - >= 0 @ 6.3264
7.85/7.98 c GLOBAL bounds - >= 0 @ 6.35135
7.96/8.01 c GLOBAL bounds - >= 0 @ 6.37761
7.96/8.05 c GLOBAL bounds - >= 0 @ 6.40558
7.96/8.08 c GLOBAL bounds - >= 0 @ 6.43492
8.05/8.12 c GLOBAL bounds - >= 0 @ 6.46578
8.05/8.16 c GLOBAL bounds - >= 0 @ 6.4903
8.05/8.19 c GLOBAL bounds - >= 0 @ 6.51535
8.16/8.22 c GLOBAL bounds - >= 0 @ 6.54107
8.16/8.26 c GLOBAL bounds - >= 0 @ 6.5703
8.16/8.29 c GLOBAL bounds - >= 0 @ 6.59743
8.26/8.33 c GLOBAL bounds - >= 0 @ 6.62183
8.26/8.36 c GLOBAL bounds - >= 0 @ 6.64497
8.26/8.39 c GLOBAL bounds - >= 0 @ 6.66572
8.35/8.43 c GLOBAL bounds - >= 0 @ 6.69488
8.35/8.47 c GLOBAL bounds - >= 0 @ 6.72519
8.45/8.50 c GLOBAL bounds - >= 0 @ 6.75131
8.45/8.53 c GLOBAL bounds - >= 0 @ 6.77737
8.45/8.56 c GLOBAL bounds - >= 0 @ 6.80332
8.45/8.59 c GLOBAL bounds - >= 0 @ 6.82774
8.56/8.62 c GLOBAL bounds - >= 0 @ 6.85193
8.56/8.66 c GLOBAL bounds - >= 0 @ 6.87597
8.56/8.69 c GLOBAL bounds - >= 0 @ 6.90088
8.65/8.72 c GLOBAL bounds - >= 0 @ 6.92413
8.65/8.75 c GLOBAL bounds - >= 0 @ 6.94896
8.65/8.79 c GLOBAL bounds - >= 0 @ 6.97732
8.75/8.82 c GLOBAL bounds - >= 0 @ 7.00789
8.75/8.86 c GLOBAL bounds - >= 0 @ 7.03452
8.85/8.90 c GLOBAL bounds - >= 0 @ 7.06202
8.85/8.94 c GLOBAL bounds - >= 0 @ 7.09086
8.85/8.97 c GLOBAL bounds - >= 0 @ 7.119
8.96/9.00 c GLOBAL bounds - >= 0 @ 7.14006
8.96/9.04 c GLOBAL bounds - >= 0 @ 7.16768
8.96/9.07 c GLOBAL bounds - >= 0 @ 7.19022
8.96/9.10 c GLOBAL bounds - >= 0 @ 7.21743
9.05/9.13 c GLOBAL bounds - >= 0 @ 7.24263
9.05/9.16 c GLOBAL bounds - >= 0 @ 7.26722
9.05/9.19 c GLOBAL bounds - >= 0 @ 7.28874
9.15/9.22 c GLOBAL bounds - >= 0 @ 7.31139
9.15/9.27 c GLOBAL bounds - >= 0 @ 7.34214
9.25/9.31 c GLOBAL bounds - >= 0 @ 7.37876
9.25/9.35 c GLOBAL bounds - >= 0 @ 7.41289
9.25/9.39 c GLOBAL bounds - >= 0 @ 7.44467
9.35/9.42 c GLOBAL bounds - >= 0 @ 7.47342
9.35/9.45 c GLOBAL bounds - >= 0 @ 7.49831
9.45/9.52 c GLOBAL bounds - >= 0 @ 7.55339
9.45/9.57 c GLOBAL bounds - >= 0 @ 7.58683
9.54/9.60 c GLOBAL bounds - >= 0 @ 7.61486
9.54/9.65 c GLOBAL bounds - >= 0 @ 7.64919
9.54/9.69 c GLOBAL bounds - >= 0 @ 7.68231
9.65/9.73 c GLOBAL bounds - >= 0 @ 7.71211
9.65/9.76 c GLOBAL bounds - >= 0 @ 7.74198
9.75/9.80 c GLOBAL bounds - >= 0 @ 7.77011
9.75/9.83 c GLOBAL bounds - >= 0 @ 7.79266
9.75/9.87 c GLOBAL bounds - >= 0 @ 7.81744
9.84/9.90 c GLOBAL bounds - >= 0 @ 7.84246
9.84/9.93 c GLOBAL bounds - >= 0 @ 7.86752
9.84/9.96 c GLOBAL bounds - >= 0 @ 7.8933
9.95/10.00 c GLOBAL bounds - >= 0 @ 7.9267
9.95/10.05 c GLOBAL bounds - >= 0 @ 7.95994
9.95/10.09 c GLOBAL bounds - >= 0 @ 7.98936
10.06/10.13 c GLOBAL bounds - >= 0 @ 8.02385
10.06/10.17 c GLOBAL bounds - >= 0 @ 8.05469
10.15/10.20 c GLOBAL bounds - >= 0 @ 8.08717
10.15/10.24 c GLOBAL bounds - >= 0 @ 8.11735
10.15/10.28 c GLOBAL bounds - >= 0 @ 8.14753
10.24/10.31 c GLOBAL bounds - >= 0 @ 8.17189
10.24/10.35 c GLOBAL bounds - >= 0 @ 8.19837
10.24/10.39 c GLOBAL bounds - >= 0 @ 8.22618
10.35/10.43 c GLOBAL bounds - >= 0 @ 8.25334
10.35/10.46 c GLOBAL bounds - >= 0 @ 8.27721
10.45/10.50 c GLOBAL bounds - >= 0 @ 8.30066
10.45/10.53 c GLOBAL bounds - >= 0 @ 8.32642
10.45/10.58 c GLOBAL bounds - >= 0 @ 8.36586
10.55/10.61 c GLOBAL bounds - >= 0 @ 8.3908
10.55/10.65 c GLOBAL bounds - >= 0 @ 8.41358
10.55/10.68 c GLOBAL bounds - >= 0 @ 8.43597
10.64/10.71 c GLOBAL bounds - >= 0 @ 8.46008
10.64/10.75 c GLOBAL bounds - >= 0 @ 8.48352
10.64/10.79 c GLOBAL bounds - >= 0 @ 8.51288
10.74/10.83 c GLOBAL bounds - >= 0 @ 8.54764
10.74/10.87 c GLOBAL bounds - >= 0 @ 8.57883
10.84/10.91 c GLOBAL bounds - >= 0 @ 8.60684
10.84/10.94 c GLOBAL bounds - >= 0 @ 8.63442
10.84/10.97 c GLOBAL bounds - >= 0 @ 8.65774
10.95/11.00 c GLOBAL bounds - >= 0 @ 8.68457
10.95/11.04 c GLOBAL bounds - >= 0 @ 8.71019
10.95/11.07 c GLOBAL bounds - >= 0 @ 8.73356
11.04/11.10 c GLOBAL bounds - >= 0 @ 8.76033
11.04/11.14 c GLOBAL bounds - >= 0 @ 8.78691
11.04/11.17 c GLOBAL bounds - >= 0 @ 8.81531
11.14/11.20 c GLOBAL bounds - >= 0 @ 8.84093
11.14/11.24 c GLOBAL bounds - >= 0 @ 8.8693
11.14/11.27 c GLOBAL bounds - >= 0 @ 8.89379
11.24/11.30 c GLOBAL bounds - >= 0 @ 8.9169
11.24/11.34 c GLOBAL bounds - >= 0 @ 8.94145
11.24/11.37 c GLOBAL bounds - >= 0 @ 8.96774
11.34/11.40 c GLOBAL bounds - >= 0 @ 8.99102
11.34/11.43 c GLOBAL bounds - >= 0 @ 9.01464
11.34/11.47 c GLOBAL bounds - >= 0 @ 9.03958
11.44/11.50 c GLOBAL bounds - >= 0 @ 9.06334
11.44/11.54 c GLOBAL bounds - >= 0 @ 9.08988
11.44/11.57 c GLOBAL bounds - >= 0 @ 9.11038
11.54/11.60 c GLOBAL bounds - >= 0 @ 9.13114
11.54/11.63 c GLOBAL bounds - >= 0 @ 9.15274
11.54/11.67 c GLOBAL bounds - >= 0 @ 9.17873
11.64/11.70 c GLOBAL bounds - >= 0 @ 9.20012
11.64/11.74 c GLOBAL bounds - >= 0 @ 9.22679
11.64/11.78 c GLOBAL bounds - >= 0 @ 9.26533
11.74/11.84 c GLOBAL bounds - >= 0 @ 9.31351
11.84/11.90 c GLOBAL bounds - >= 0 @ 9.35699
11.84/11.95 c GLOBAL bounds - >= 0 @ 9.40318
11.94/12.01 c GLOBAL bounds - >= 0 @ 9.45106
11.94/12.06 c GLOBAL bounds - >= 0 @ 9.49715
12.04/12.11 c GLOBAL bounds - >= 0 @ 9.53668
12.04/12.17 c GLOBAL bounds - >= 0 @ 9.58195
12.14/12.20 c GLOBAL bounds - >= 0 @ 9.61134
12.14/12.25 c GLOBAL bounds - >= 0 @ 9.64385
12.14/12.29 c GLOBAL bounds - >= 0 @ 9.67836
12.24/12.33 c GLOBAL bounds - >= 0 @ 9.71152
12.24/12.39 c GLOBAL bounds - >= 0 @ 9.75649
12.34/12.43 c GLOBAL bounds - >= 0 @ 9.79708
12.44/12.52 c GLOBAL bounds - >= 0 @ 9.88014
12.44/12.57 c GLOBAL bounds - >= 0 @ 9.91767
12.54/12.63 c GLOBAL bounds - >= 0 @ 9.96848
12.54/12.67 c GLOBAL bounds - >= 0 @ 10.0071
12.64/12.72 c GLOBAL bounds - >= 0 @ 10.0423
12.64/12.76 c GLOBAL bounds - >= 0 @ 10.0743
12.74/12.81 c GLOBAL bounds - >= 0 @ 10.1146
12.74/12.85 c GLOBAL bounds - >= 0 @ 10.145
12.74/12.89 c GLOBAL bounds - >= 0 @ 10.1774
12.84/12.94 c GLOBAL bounds - >= 0 @ 10.2142
12.84/12.99 c GLOBAL bounds - >= 0 @ 10.2538
12.95/13.03 c GLOBAL bounds - >= 0 @ 10.2844
12.95/13.07 c GLOBAL bounds - >= 0 @ 10.3159
13.04/13.10 c GLOBAL bounds - >= 0 @ 10.3402
13.04/13.14 c GLOBAL bounds - >= 0 @ 10.3684
13.04/13.17 c GLOBAL bounds - >= 0 @ 10.3947
13.14/13.21 c GLOBAL bounds - >= 0 @ 10.4271
13.14/13.25 c GLOBAL bounds - >= 0 @ 10.4557
13.24/13.30 c GLOBAL bounds - >= 0 @ 10.5028
13.24/13.35 c GLOBAL bounds - >= 0 @ 10.5438
13.33/13.41 c GLOBAL bounds - >= 0 @ 10.5945
13.33/13.45 c GLOBAL bounds - >= 0 @ 10.6237
13.33/13.49 c GLOBAL bounds - >= 0 @ 10.6581
13.44/13.53 c GLOBAL bounds - >= 0 @ 10.6908
13.44/13.57 c GLOBAL bounds - >= 0 @ 10.7206
13.53/13.62 c GLOBAL bounds - >= 0 @ 10.7608
13.53/13.67 c GLOBAL bounds - >= 0 @ 10.7969
13.63/13.71 c GLOBAL bounds - >= 0 @ 10.8316
13.63/13.76 c GLOBAL bounds - >= 0 @ 10.866
13.63/13.79 c GLOBAL bounds - >= 0 @ 10.8994
13.74/13.83 c GLOBAL bounds - >= 0 @ 10.9299
13.74/13.87 c GLOBAL bounds - >= 0 @ 10.9592
13.83/13.91 c GLOBAL bounds - >= 0 @ 10.9904
13.83/13.95 c GLOBAL bounds - >= 0 @ 11.0181
13.83/13.98 c GLOBAL bounds - >= 0 @ 11.0471
13.93/14.07 c GLOBAL bounds - >= 0 @ 11.1175
14.03/14.12 c GLOBAL bounds - >= 0 @ 11.1587
14.03/14.18 c GLOBAL bounds - >= 0 @ 11.2095
14.14/14.22 c GLOBAL bounds - >= 0 @ 11.2432
14.14/14.26 c GLOBAL bounds - >= 0 @ 11.2775
14.24/14.37 c GLOBAL bounds - >= 0 @ 11.3461
14.34/14.42 c GLOBAL bounds - >= 0 @ 11.3908
14.34/14.47 c GLOBAL bounds - >= 0 @ 11.4291
14.44/14.53 c GLOBAL bounds - >= 0 @ 11.4758
14.44/14.58 c GLOBAL bounds - >= 0 @ 11.5168
14.53/14.62 c GLOBAL bounds - >= 0 @ 11.55
14.53/14.67 c GLOBAL bounds - >= 0 @ 11.5895
14.63/14.73 c GLOBAL bounds - >= 0 @ 11.6356
14.63/14.78 c GLOBAL bounds - >= 0 @ 11.6759
14.74/14.82 c GLOBAL bounds - >= 0 @ 11.7132
14.74/14.86 c GLOBAL bounds - >= 0 @ 11.7483
14.83/14.90 c GLOBAL bounds - >= 0 @ 11.781
14.83/14.94 c GLOBAL bounds - >= 0 @ 11.8115
14.83/15.00 c GLOBAL bounds - >= 0 @ 11.8547
14.93/15.05 c GLOBAL bounds - >= 0 @ 11.8942
15.04/15.16 c GLOBAL bounds - >= 0 @ 11.9941
15.13/15.21 c GLOBAL bounds - >= 0 @ 12.0372
15.13/15.26 c GLOBAL bounds - >= 0 @ 12.0769
15.23/15.32 c GLOBAL bounds - >= 0 @ 12.1254
15.23/15.37 c GLOBAL bounds - >= 0 @ 12.1676
15.33/15.41 c GLOBAL bounds - >= 0 @ 12.1978
15.33/15.45 c GLOBAL bounds - >= 0 @ 12.2294
15.33/15.49 c GLOBAL bounds - >= 0 @ 12.261
15.43/15.54 c GLOBAL bounds - >= 0 @ 12.3077
15.43/15.59 c GLOBAL bounds - >= 0 @ 12.3428
15.53/15.63 c GLOBAL bounds - >= 0 @ 12.3796
15.53/15.67 c GLOBAL bounds - >= 0 @ 12.411
15.63/15.71 c GLOBAL bounds - >= 0 @ 12.4424
15.63/15.75 c GLOBAL bounds - >= 0 @ 12.4784
15.73/15.80 c GLOBAL bounds - >= 0 @ 12.5218
15.73/15.84 c GLOBAL bounds - >= 0 @ 12.5565
15.73/15.89 c GLOBAL bounds - >= 0 @ 12.5916
15.83/15.93 c GLOBAL bounds - >= 0 @ 12.6238
15.83/15.97 c GLOBAL bounds - >= 0 @ 12.66
15.93/16.02 c GLOBAL bounds - >= 0 @ 12.6997
15.93/16.06 c GLOBAL bounds - >= 0 @ 12.732
15.93/16.10 c GLOBAL bounds - >= 0 @ 12.7654
16.04/16.13 c GLOBAL bounds - >= 0 @ 12.7959
16.04/16.18 c GLOBAL bounds - >= 0 @ 12.8317
16.12/16.22 c GLOBAL bounds - >= 0 @ 12.8701
16.12/16.26 c GLOBAL bounds - >= 0 @ 12.9045
16.22/16.30 c GLOBAL bounds - >= 0 @ 12.9378
16.22/16.34 c GLOBAL bounds - >= 0 @ 12.9704
16.22/16.38 c GLOBAL bounds - >= 0 @ 13.0018
16.33/16.42 c GLOBAL bounds - >= 0 @ 13.0304
16.33/16.46 c GLOBAL bounds - >= 0 @ 13.0588
16.33/16.49 c GLOBAL bounds - >= 0 @ 13.0914
16.43/16.53 c GLOBAL bounds - >= 0 @ 13.123
16.43/16.57 c GLOBAL bounds - >= 0 @ 13.1561
16.52/16.61 c GLOBAL bounds - >= 0 @ 13.1906
16.52/16.65 c GLOBAL bounds - >= 0 @ 13.2199
16.52/16.69 c GLOBAL bounds - >= 0 @ 13.2525
16.63/16.72 c GLOBAL bounds - >= 0 @ 13.2839
16.63/16.77 c GLOBAL bounds - >= 0 @ 13.3169
16.72/16.81 c GLOBAL bounds - >= 0 @ 13.3468
16.72/16.85 c GLOBAL bounds - >= 0 @ 13.3772
16.72/16.88 c GLOBAL bounds - >= 0 @ 13.4058
16.82/16.93 c GLOBAL bounds - >= 0 @ 13.4448
16.82/16.98 c GLOBAL bounds - >= 0 @ 13.486
16.93/17.03 c GLOBAL bounds - >= 0 @ 13.524
16.93/17.07 c GLOBAL bounds - >= 0 @ 13.5598
17.03/17.12 c GLOBAL bounds - >= 0 @ 13.5948
17.03/17.16 c GLOBAL bounds - >= 0 @ 13.6328
17.12/17.20 c GLOBAL bounds - >= 0 @ 13.6577
17.12/17.25 c GLOBAL bounds - >= 0 @ 13.6979
17.12/17.29 c GLOBAL bounds - >= 0 @ 13.7292
17.22/17.34 c GLOBAL bounds - >= 0 @ 13.7712
17.22/17.39 c GLOBAL bounds - >= 0 @ 13.8103
17.33/17.44 c GLOBAL bounds - >= 0 @ 13.8454
17.33/17.48 c GLOBAL bounds - >= 0 @ 13.8794
17.42/17.52 c GLOBAL bounds - >= 0 @ 13.9072
17.42/17.57 c GLOBAL bounds - >= 0 @ 13.9454
17.53/17.61 c GLOBAL bounds - >= 0 @ 13.9841
17.53/17.65 c GLOBAL bounds - >= 0 @ 14.0119
17.53/17.69 c GLOBAL bounds - >= 0 @ 14.0415
17.62/17.74 c GLOBAL bounds - >= 0 @ 14.0771
17.62/17.78 c GLOBAL bounds - >= 0 @ 14.1119
17.72/17.82 c GLOBAL bounds - >= 0 @ 14.1447
17.72/17.86 c GLOBAL bounds - >= 0 @ 14.1744
17.82/17.90 c GLOBAL bounds - >= 0 @ 14.204
17.82/17.95 c GLOBAL bounds - >= 0 @ 14.2385
17.82/17.99 c GLOBAL bounds - >= 0 @ 14.2661
17.92/18.03 c GLOBAL bounds - >= 0 @ 14.2987
17.92/18.07 c GLOBAL bounds - >= 0 @ 14.3285
18.02/18.11 c GLOBAL bounds - >= 0 @ 14.3654
18.02/18.15 c GLOBAL bounds - >= 0 @ 14.3931
18.02/18.19 c GLOBAL bounds - >= 0 @ 14.4256
18.13/18.24 c GLOBAL bounds - >= 0 @ 14.4627
18.13/18.28 c GLOBAL bounds - >= 0 @ 14.4972
18.23/18.32 c GLOBAL bounds - >= 0 @ 14.5319
18.23/18.36 c GLOBAL bounds - >= 0 @ 14.5631
18.32/18.40 c GLOBAL bounds - >= 0 @ 14.5997
18.32/18.45 c GLOBAL bounds - >= 0 @ 14.6364
18.32/18.49 c GLOBAL bounds - >= 0 @ 14.6658
18.42/18.53 c GLOBAL bounds - >= 0 @ 14.6963
18.42/18.57 c GLOBAL bounds - >= 0 @ 14.7303
18.52/18.61 c GLOBAL bounds - >= 0 @ 14.7627
18.52/18.65 c GLOBAL bounds - >= 0 @ 14.7977
18.52/18.69 c GLOBAL bounds - >= 0 @ 14.8326
18.62/18.73 c GLOBAL bounds - >= 0 @ 14.864
18.62/18.77 c GLOBAL bounds - >= 0 @ 14.8958
18.72/18.81 c GLOBAL bounds - >= 0 @ 14.9286
18.72/18.85 c GLOBAL bounds - >= 0 @ 14.9619
18.72/18.89 c GLOBAL bounds - >= 0 @ 14.9902
18.82/18.93 c GLOBAL bounds - >= 0 @ 15.0229
18.82/18.97 c GLOBAL bounds - >= 0 @ 15.0582
18.92/19.01 c GLOBAL bounds - >= 0 @ 15.0877
18.92/19.06 c GLOBAL bounds - >= 0 @ 15.1204
18.92/19.10 c GLOBAL bounds - >= 0 @ 15.1558
19.03/19.14 c GLOBAL bounds - >= 0 @ 15.19
19.03/19.18 c GLOBAL bounds - >= 0 @ 15.2236
19.12/19.22 c GLOBAL bounds - >= 0 @ 15.256
19.12/19.26 c GLOBAL bounds - >= 0 @ 15.2904
19.22/19.30 c GLOBAL bounds - >= 0 @ 15.3236
19.22/19.34 c GLOBAL bounds - >= 0 @ 15.3624
19.22/19.39 c GLOBAL bounds - >= 0 @ 15.3982
19.32/19.43 c GLOBAL bounds - >= 0 @ 15.4279
19.32/19.47 c GLOBAL bounds - >= 0 @ 15.463
19.42/19.51 c GLOBAL bounds - >= 0 @ 15.4949
19.42/19.56 c GLOBAL bounds - >= 0 @ 15.5358
19.52/19.61 c GLOBAL bounds - >= 0 @ 15.5742
19.52/19.65 c GLOBAL bounds - >= 0 @ 15.602
19.52/19.69 c GLOBAL bounds - >= 0 @ 15.6363
19.62/19.73 c GLOBAL bounds - >= 0 @ 15.6689
19.62/19.77 c GLOBAL bounds - >= 0 @ 15.7053
19.72/19.81 c GLOBAL bounds - >= 0 @ 15.7359
19.72/19.85 c GLOBAL bounds - >= 0 @ 15.7686
19.72/19.89 c GLOBAL bounds - >= 0 @ 15.8002
19.82/19.93 c GLOBAL bounds - >= 0 @ 15.833
19.82/19.97 c GLOBAL bounds - >= 0 @ 15.8675
19.92/20.02 c GLOBAL bounds - >= 0 @ 15.9059
19.92/20.06 c GLOBAL bounds - >= 0 @ 15.9382
19.92/20.10 c GLOBAL bounds - >= 0 @ 15.9686
20.02/20.14 c GLOBAL bounds - >= 0 @ 16.0022
20.02/20.18 c GLOBAL bounds - >= 0 @ 16.0382
20.11/20.22 c GLOBAL bounds - >= 0 @ 16.07
20.11/20.26 c GLOBAL bounds - >= 0 @ 16.1053
20.22/20.30 c GLOBAL bounds - >= 0 @ 16.1357
20.22/20.35 c GLOBAL bounds - >= 0 @ 16.1782
20.31/20.40 c GLOBAL bounds - >= 0 @ 16.2203
20.31/20.45 c GLOBAL bounds - >= 0 @ 16.2571
20.31/20.49 c GLOBAL bounds - >= 0 @ 16.2942
20.41/20.53 c GLOBAL bounds - >= 0 @ 16.3244
20.41/20.57 c GLOBAL bounds - >= 0 @ 16.3562
20.52/20.62 c GLOBAL bounds - >= 0 @ 16.3928
20.52/20.66 c GLOBAL bounds - >= 0 @ 16.422
20.61/20.70 c GLOBAL bounds - >= 0 @ 16.4513
20.61/20.74 c GLOBAL bounds - >= 0 @ 16.4909
20.61/20.78 c GLOBAL bounds - >= 0 @ 16.5164
20.72/20.82 c GLOBAL bounds - >= 0 @ 16.546
20.72/20.87 c GLOBAL bounds - >= 0 @ 16.5752
20.81/20.91 c GLOBAL bounds - >= 0 @ 16.6076
20.81/20.95 c GLOBAL bounds - >= 0 @ 16.64
20.81/20.99 c GLOBAL bounds - >= 0 @ 16.6748
20.92/21.04 c GLOBAL bounds - >= 0 @ 16.7126
20.92/21.08 c GLOBAL bounds - >= 0 @ 16.7494
21.02/21.12 c GLOBAL bounds - >= 0 @ 16.7843
21.02/21.16 c GLOBAL bounds - >= 0 @ 16.8149
21.11/21.21 c GLOBAL bounds - >= 0 @ 16.8566
21.11/21.25 c GLOBAL bounds - >= 0 @ 16.8984
21.21/21.30 c GLOBAL bounds - >= 0 @ 16.935
21.21/21.34 c GLOBAL bounds - >= 0 @ 16.9703
21.21/21.39 c GLOBAL bounds - >= 0 @ 17.0049
21.31/21.43 c GLOBAL bounds - >= 0 @ 17.0406
21.31/21.46 c GLOBAL bounds - >= 0 @ 17.0727
21.40/21.50 c GLOBAL bounds - >= 0 @ 17.1052
21.40/21.54 c GLOBAL bounds - >= 0 @ 17.1362
21.40/21.59 c GLOBAL bounds - >= 0 @ 17.1667
21.51/21.63 c GLOBAL bounds - >= 0 @ 17.2027
21.51/21.68 c GLOBAL bounds - >= 0 @ 17.2481
21.61/21.74 c GLOBAL bounds - >= 0 @ 17.2911
21.61/21.79 c GLOBAL bounds - >= 0 @ 17.3314
21.70/21.85 c GLOBAL bounds - >= 0 @ 17.3796
21.81/21.90 c GLOBAL bounds - >= 0 @ 17.4203
21.81/21.94 c GLOBAL bounds - >= 0 @ 17.4584
21.81/21.99 c GLOBAL bounds - >= 0 @ 17.4934
21.90/22.04 c GLOBAL bounds - >= 0 @ 17.5266
21.90/22.08 c GLOBAL bounds - >= 0 @ 17.5639
22.01/22.12 c GLOBAL bounds - >= 0 @ 17.5969
22.01/22.16 c GLOBAL bounds - >= 0 @ 17.6317
22.10/22.20 c GLOBAL bounds - >= 0 @ 17.6614
22.10/22.24 c GLOBAL bounds - >= 0 @ 17.6906
22.10/22.28 c GLOBAL bounds - >= 0 @ 17.7206
22.20/22.32 c GLOBAL bounds - >= 0 @ 17.7516
22.20/22.38 c GLOBAL bounds - >= 0 @ 17.7969
22.30/22.43 c GLOBAL bounds - >= 0 @ 17.845
22.40/22.50 c GLOBAL bounds - >= 0 @ 17.898
22.50/22.60 c GLOBAL bounds - >= 0 @ 17.9937
22.50/22.67 c GLOBAL bounds - >= 0 @ 18.0518
22.60/22.73 c GLOBAL bounds - >= 0 @ 18.1058
22.60/22.79 c GLOBAL bounds - >= 0 @ 18.1605
22.70/22.86 c GLOBAL bounds - >= 0 @ 18.2193
22.80/22.92 c GLOBAL bounds - >= 0 @ 18.2648
22.80/22.98 c GLOBAL bounds - >= 0 @ 18.3144
23.09/23.21 c GLOBAL bounds - >= 0 @ 18.5286
23.09/23.26 c GLOBAL bounds - >= 0 @ 18.5784
23.19/23.31 c GLOBAL bounds - >= 0 @ 18.6162
23.19/23.37 c GLOBAL bounds - >= 0 @ 18.6554
23.29/23.41 c GLOBAL bounds - >= 0 @ 18.6941
23.29/23.46 c GLOBAL bounds - >= 0 @ 18.7335
23.40/23.51 c GLOBAL bounds - >= 0 @ 18.7752
23.40/23.56 c GLOBAL bounds - >= 0 @ 18.8157
23.50/23.61 c GLOBAL bounds - >= 0 @ 18.8537
23.50/23.66 c GLOBAL bounds - >= 0 @ 18.8933
23.59/23.70 c GLOBAL bounds - >= 0 @ 18.9317
23.59/23.75 c GLOBAL bounds - >= 0 @ 18.9689
23.59/23.79 c GLOBAL bounds - >= 0 @ 19.0091
23.70/23.84 c GLOBAL bounds - >= 0 @ 19.0506
23.70/23.89 c GLOBAL bounds - >= 0 @ 19.0908
23.79/23.95 c GLOBAL bounds - >= 0 @ 19.145
23.90/24.00 c GLOBAL bounds - >= 0 @ 19.1899
23.90/24.05 c GLOBAL bounds - >= 0 @ 19.234
23.90/24.10 c GLOBAL bounds - >= 0 @ 19.2786
24.00/24.14 c GLOBAL bounds - >= 0 @ 19.3181
24.00/24.18 c GLOBAL bounds - >= 0 @ 19.349
24.09/24.23 c #Conflicts: 1000 | #Constraints: 67338
24.09/24.23 c GLOBAL bounds - >= 0 @ 19.3842
24.09/24.28 c GLOBAL bounds - >= 0 @ 19.425
24.19/24.33 c GLOBAL bounds - >= 0 @ 19.467
24.19/24.37 c GLOBAL bounds - >= 0 @ 19.5039
24.29/24.41 c GLOBAL bounds - >= 0 @ 19.5401
24.29/24.45 c GLOBAL bounds - >= 0 @ 19.5762
24.40/24.50 c GLOBAL bounds - >= 0 @ 19.6122
24.40/24.54 c GLOBAL bounds - >= 0 @ 19.6524
24.40/24.59 c GLOBAL bounds - >= 0 @ 19.6905
24.49/24.64 c GLOBAL bounds - >= 0 @ 19.7387
24.60/24.70 c GLOBAL bounds - >= 0 @ 19.7819
24.60/24.75 c GLOBAL bounds - >= 0 @ 19.8249
24.69/24.80 c GLOBAL bounds - >= 0 @ 19.8659
24.69/24.85 c GLOBAL bounds - >= 0 @ 19.907
24.69/24.89 c GLOBAL bounds - >= 0 @ 19.9493
24.80/24.94 c GLOBAL bounds - >= 0 @ 19.9904
24.80/24.98 c GLOBAL bounds - >= 0 @ 20.0289
24.90/25.02 c GLOBAL bounds - >= 0 @ 20.061
24.90/25.07 c GLOBAL bounds - >= 0 @ 20.0943
25.00/25.11 c GLOBAL bounds - >= 0 @ 20.1309
25.00/25.15 c GLOBAL bounds - >= 0 @ 20.1635
25.10/25.21 c GLOBAL bounds - >= 0 @ 20.2101
25.10/25.26 c GLOBAL bounds - >= 0 @ 20.2566
25.19/25.31 c GLOBAL bounds - >= 0 @ 20.2979
25.19/25.36 c GLOBAL bounds - >= 0 @ 20.3437
25.29/25.44 c GLOBAL bounds - >= 0 @ 20.4046
25.39/25.50 c GLOBAL bounds - >= 0 @ 20.4546
25.39/25.55 c GLOBAL bounds - >= 0 @ 20.4983
25.49/25.60 c GLOBAL bounds - >= 0 @ 20.541
25.49/25.66 c GLOBAL bounds - >= 0 @ 20.5886
25.59/25.70 c GLOBAL bounds - >= 0 @ 20.6307
25.59/25.75 c GLOBAL bounds - >= 0 @ 20.6673
25.69/25.80 c GLOBAL bounds - >= 0 @ 20.7084
25.69/25.85 c GLOBAL bounds - >= 0 @ 20.7481
25.69/25.89 c GLOBAL bounds - >= 0 @ 20.7918
25.79/25.94 c GLOBAL bounds - >= 0 @ 20.8291
25.79/25.98 c GLOBAL bounds - >= 0 @ 20.8628
25.89/26.03 c GLOBAL bounds - >= 0 @ 20.9063
25.89/26.08 c GLOBAL bounds - >= 0 @ 20.9473
25.99/26.12 c GLOBAL bounds - >= 0 @ 20.987
25.99/26.17 c GLOBAL bounds - >= 0 @ 21.0232
26.09/26.21 c GLOBAL bounds - >= 0 @ 21.0545
26.09/26.26 c GLOBAL bounds - >= 0 @ 21.0931
26.19/26.31 c GLOBAL bounds - >= 0 @ 21.1371
26.19/26.36 c GLOBAL bounds - >= 0 @ 21.1748
26.29/26.41 c GLOBAL bounds - >= 0 @ 21.215
26.29/26.45 c GLOBAL bounds - >= 0 @ 21.2551
26.39/26.50 c GLOBAL bounds - >= 0 @ 21.2896
26.39/26.55 c GLOBAL bounds - >= 0 @ 21.3302
26.48/26.60 c GLOBAL bounds - >= 0 @ 21.3705
26.48/26.65 c GLOBAL bounds - >= 0 @ 21.412
26.59/26.71 c GLOBAL bounds - >= 0 @ 21.4514
26.59/26.76 c GLOBAL bounds - >= 0 @ 21.4914
26.69/26.81 c GLOBAL bounds - >= 0 @ 21.5349
26.69/26.86 c GLOBAL bounds - >= 0 @ 21.5789
26.79/26.91 c GLOBAL bounds - >= 0 @ 21.6158
26.79/26.96 c GLOBAL bounds - >= 0 @ 21.6569
26.89/27.01 c GLOBAL bounds - >= 0 @ 21.7051
26.89/27.06 c GLOBAL bounds - >= 0 @ 21.7502
26.99/27.11 c GLOBAL bounds - >= 0 @ 21.7902
26.99/27.15 c GLOBAL bounds - >= 0 @ 21.8297
27.09/27.20 c GLOBAL bounds - >= 0 @ 21.8668
27.09/27.24 c GLOBAL bounds - >= 0 @ 21.9014
27.09/27.28 c GLOBAL bounds - >= 0 @ 21.9362
27.19/27.33 c GLOBAL bounds - >= 0 @ 21.9707
27.19/27.38 c GLOBAL bounds - >= 0 @ 22.0113
27.29/27.42 c GLOBAL bounds - >= 0 @ 22.046
27.29/27.46 c GLOBAL bounds - >= 0 @ 22.0795
27.39/27.51 c GLOBAL bounds - >= 0 @ 22.1129
27.39/27.56 c GLOBAL bounds - >= 0 @ 22.1556
27.49/27.61 c GLOBAL bounds - >= 0 @ 22.1942
27.49/27.66 c GLOBAL bounds - >= 0 @ 22.233
27.58/27.70 c GLOBAL bounds - >= 0 @ 22.2722
27.58/27.75 c GLOBAL bounds - >= 0 @ 22.3062
27.58/27.79 c GLOBAL bounds - >= 0 @ 22.3436
27.68/27.84 c GLOBAL bounds - >= 0 @ 22.3801
27.68/27.88 c GLOBAL bounds - >= 0 @ 22.4157
27.79/27.93 c GLOBAL bounds - >= 0 @ 22.4543
27.89/28.03 c GLOBAL bounds - >= 0 @ 22.5262
27.89/28.08 c GLOBAL bounds - >= 0 @ 22.5721
27.99/28.13 c GLOBAL bounds - >= 0 @ 22.6117
27.99/28.18 c GLOBAL bounds - >= 0 @ 22.6496
28.08/28.23 c GLOBAL bounds - >= 0 @ 22.6909
28.08/28.28 c GLOBAL bounds - >= 0 @ 22.7298
28.19/28.33 c GLOBAL bounds - >= 0 @ 22.7658
28.19/28.37 c GLOBAL bounds - >= 0 @ 22.8019
28.29/28.41 c GLOBAL bounds - >= 0 @ 22.8358
28.29/28.46 c GLOBAL bounds - >= 0 @ 22.8756
28.38/28.50 c GLOBAL bounds - >= 0 @ 22.9125
28.38/28.55 c GLOBAL bounds - >= 0 @ 22.9503
28.38/28.60 c GLOBAL bounds - >= 0 @ 22.9874
28.49/28.64 c GLOBAL bounds - >= 0 @ 23.0268
28.49/28.68 c GLOBAL bounds - >= 0 @ 23.0593
28.59/28.73 c GLOBAL bounds - >= 0 @ 23.0972
28.59/28.77 c GLOBAL bounds - >= 0 @ 23.1387
28.69/28.82 c GLOBAL bounds - >= 0 @ 23.1699
28.69/28.86 c GLOBAL bounds - >= 0 @ 23.2029
28.78/28.90 c GLOBAL bounds - >= 0 @ 23.2397
28.78/28.95 c GLOBAL bounds - >= 0 @ 23.274
28.78/28.99 c GLOBAL bounds - >= 0 @ 23.311
28.88/29.04 c GLOBAL bounds - >= 0 @ 23.3451
28.88/29.08 c GLOBAL bounds - >= 0 @ 23.3789
28.98/29.12 c GLOBAL bounds - >= 0 @ 23.4164
28.98/29.16 c GLOBAL bounds - >= 0 @ 23.4482
29.08/29.21 c GLOBAL bounds - >= 0 @ 23.487
29.08/29.25 c GLOBAL bounds - >= 0 @ 23.5238
29.18/29.30 c GLOBAL bounds - >= 0 @ 23.568
29.18/29.34 c GLOBAL bounds - >= 0 @ 23.6029
29.18/29.39 c GLOBAL bounds - >= 0 @ 23.6386
29.28/29.44 c GLOBAL bounds - >= 0 @ 23.6849
29.39/29.50 c GLOBAL bounds - >= 0 @ 23.7311
29.39/29.55 c GLOBAL bounds - >= 0 @ 23.7683
29.48/29.60 c GLOBAL bounds - >= 0 @ 23.8117
29.48/29.64 c GLOBAL bounds - >= 0 @ 23.8512
29.48/29.69 c GLOBAL bounds - >= 0 @ 23.8812
29.58/29.73 c GLOBAL bounds - >= 0 @ 23.9188
29.58/29.78 c GLOBAL bounds - >= 0 @ 23.9604
29.68/29.83 c GLOBAL bounds - >= 0 @ 23.9996
29.68/29.87 c GLOBAL bounds - >= 0 @ 24.0309
29.78/29.92 c GLOBAL bounds - >= 0 @ 24.0681
29.78/29.96 c GLOBAL bounds - >= 0 @ 24.102
29.89/30.01 c GLOBAL bounds - >= 0 @ 24.141
29.89/30.06 c GLOBAL bounds - >= 0 @ 24.1833
29.98/30.11 c GLOBAL bounds - >= 0 @ 24.2259
29.98/30.16 c GLOBAL bounds - >= 0 @ 24.2723
30.08/30.22 c GLOBAL bounds - >= 0 @ 24.3198
30.08/30.27 c GLOBAL bounds - >= 0 @ 24.3602
30.18/30.32 c GLOBAL bounds - >= 0 @ 24.4004
30.18/30.36 c GLOBAL bounds - >= 0 @ 24.4394
30.28/30.41 c GLOBAL bounds - >= 0 @ 24.479
30.28/30.45 c GLOBAL bounds - >= 0 @ 24.5188
30.38/30.50 c GLOBAL bounds - >= 0 @ 24.5566
30.38/30.55 c GLOBAL bounds - >= 0 @ 24.6009
30.48/30.63 c GLOBAL bounds - >= 0 @ 24.6644
30.58/30.72 c GLOBAL bounds - >= 0 @ 24.7484
30.58/30.78 c GLOBAL bounds - >= 0 @ 24.7894
30.68/30.87 c GLOBAL bounds - >= 0 @ 24.8707
30.77/30.92 c GLOBAL bounds - >= 0 @ 24.9113
30.77/30.97 c GLOBAL bounds - >= 0 @ 24.9572
30.88/31.02 c GLOBAL bounds - >= 0 @ 25.0004
30.98/31.11 c GLOBAL bounds - >= 0 @ 25.0652
30.98/31.16 c GLOBAL bounds - >= 0 @ 25.1063
31.07/31.22 c GLOBAL bounds - >= 0 @ 25.1491
31.07/31.28 c GLOBAL bounds - >= 0 @ 25.1992
31.17/31.32 c GLOBAL bounds - >= 0 @ 25.2404
31.17/31.37 c GLOBAL bounds - >= 0 @ 25.2761
31.27/31.42 c GLOBAL bounds - >= 0 @ 25.324
31.27/31.47 c GLOBAL bounds - >= 0 @ 25.3695
31.38/31.53 c GLOBAL bounds - >= 0 @ 25.4173
31.38/31.58 c GLOBAL bounds - >= 0 @ 25.4656
31.48/31.65 c GLOBAL bounds - >= 0 @ 25.5225
31.48/31.69 c GLOBAL bounds - >= 0 @ 25.5622
31.58/31.75 c GLOBAL bounds - >= 0 @ 25.6134
31.67/31.80 c GLOBAL bounds - >= 0 @ 25.6544
31.67/31.87 c GLOBAL bounds - >= 0 @ 25.715
31.77/31.92 c GLOBAL bounds - >= 0 @ 25.7554
31.77/31.96 c GLOBAL bounds - >= 0 @ 25.788
31.88/32.00 c GLOBAL bounds - >= 0 @ 25.8268
31.88/32.04 c GLOBAL bounds - >= 0 @ 25.8624
31.88/32.09 c GLOBAL bounds - >= 0 @ 25.8975
31.98/32.13 c GLOBAL bounds - >= 0 @ 25.9329
31.98/32.17 c GLOBAL bounds - >= 0 @ 25.964
32.07/32.21 c GLOBAL bounds - >= 0 @ 26.0044
32.07/32.26 c GLOBAL bounds - >= 0 @ 26.0397
32.17/32.30 c GLOBAL bounds - >= 0 @ 26.0771
32.17/32.35 c GLOBAL bounds - >= 0 @ 26.1185
32.17/32.39 c GLOBAL bounds - >= 0 @ 26.1493
32.27/32.43 c GLOBAL bounds - >= 0 @ 26.1773
32.27/32.47 c GLOBAL bounds - >= 0 @ 26.2104
32.37/32.52 c GLOBAL bounds - >= 0 @ 26.2515
32.37/32.56 c GLOBAL bounds - >= 0 @ 26.2859
32.47/32.60 c GLOBAL bounds - >= 0 @ 26.3208
32.47/32.65 c GLOBAL bounds - >= 0 @ 26.3599
32.47/32.69 c GLOBAL bounds - >= 0 @ 26.3894
32.57/32.73 c GLOBAL bounds - >= 0 @ 26.4194
32.57/32.77 c GLOBAL bounds - >= 0 @ 26.4534
32.67/32.81 c GLOBAL bounds - >= 0 @ 26.4874
32.67/32.85 c GLOBAL bounds - >= 0 @ 26.5219
32.77/32.90 c GLOBAL bounds - >= 0 @ 26.5621
32.77/32.94 c GLOBAL bounds - >= 0 @ 26.5974
32.77/32.98 c GLOBAL bounds - >= 0 @ 26.63
32.87/33.02 c GLOBAL bounds - >= 0 @ 26.6658
32.87/33.06 c GLOBAL bounds - >= 0 @ 26.7003
32.98/33.10 c GLOBAL bounds - >= 0 @ 26.7301
32.98/33.14 c GLOBAL bounds - >= 0 @ 26.7627
32.98/33.18 c GLOBAL bounds - >= 0 @ 26.7953
33.07/33.22 c GLOBAL bounds - >= 0 @ 26.8307
33.07/33.27 c GLOBAL bounds - >= 0 @ 26.8715
33.17/33.31 c GLOBAL bounds - >= 0 @ 26.9019
33.17/33.35 c GLOBAL bounds - >= 0 @ 26.9367
33.27/33.40 c GLOBAL bounds - >= 0 @ 26.9734
33.27/33.44 c GLOBAL bounds - >= 0 @ 27.0081
33.27/33.48 c GLOBAL bounds - >= 0 @ 27.0414
33.37/33.52 c GLOBAL bounds - >= 0 @ 27.0769
33.37/33.56 c GLOBAL bounds - >= 0 @ 27.1092
33.47/33.61 c GLOBAL bounds - >= 0 @ 27.1468
33.47/33.65 c GLOBAL bounds - >= 0 @ 27.1825
33.47/33.69 c GLOBAL bounds - >= 0 @ 27.2168
33.57/33.73 c GLOBAL bounds - >= 0 @ 27.249
33.57/33.77 c GLOBAL bounds - >= 0 @ 27.2823
33.67/33.81 c GLOBAL bounds - >= 0 @ 27.3106
33.67/33.85 c GLOBAL bounds - >= 0 @ 27.34
33.76/33.90 c GLOBAL bounds - >= 0 @ 27.3789
33.76/33.95 c GLOBAL bounds - >= 0 @ 27.4178
33.76/34.00 c GLOBAL bounds - >= 0 @ 27.457
33.88/34.05 c GLOBAL bounds - >= 0 @ 27.4967
33.88/34.09 c GLOBAL bounds - >= 0 @ 27.5366
33.98/34.14 c GLOBAL bounds - >= 0 @ 27.5703
33.98/34.18 c GLOBAL bounds - >= 0 @ 27.6086
34.07/34.23 c GLOBAL bounds - >= 0 @ 27.6456
34.07/34.28 c GLOBAL bounds - >= 0 @ 27.6938
34.17/34.33 c GLOBAL bounds - >= 0 @ 27.7325
34.17/34.38 c GLOBAL bounds - >= 0 @ 27.7752
34.27/34.42 c GLOBAL bounds - >= 0 @ 27.8068
34.27/34.47 c GLOBAL bounds - >= 0 @ 27.8472
34.37/34.52 c GLOBAL bounds - >= 0 @ 27.8927
34.37/34.57 c GLOBAL bounds - >= 0 @ 27.9393
34.47/34.62 c GLOBAL bounds - >= 0 @ 27.9872
34.47/34.67 c GLOBAL bounds - >= 0 @ 28.026
34.57/34.72 c GLOBAL bounds - >= 0 @ 28.0577
34.57/34.76 c GLOBAL bounds - >= 0 @ 28.0895
34.67/34.80 c GLOBAL bounds - >= 0 @ 28.1225
34.67/34.84 c GLOBAL bounds - >= 0 @ 28.1544
34.67/34.88 c GLOBAL bounds - >= 0 @ 28.1874
34.77/34.92 c GLOBAL bounds - >= 0 @ 28.2224
34.77/34.96 c GLOBAL bounds - >= 0 @ 28.255
34.77/35.00 c GLOBAL bounds - >= 0 @ 28.288
34.87/35.04 c GLOBAL bounds - >= 0 @ 28.3202
34.87/35.08 c GLOBAL bounds - >= 0 @ 28.3521
34.97/35.12 c GLOBAL bounds - >= 0 @ 28.3828
34.97/35.16 c GLOBAL bounds - >= 0 @ 28.4152
35.06/35.20 c GLOBAL bounds - >= 0 @ 28.4479
35.06/35.24 c GLOBAL bounds - >= 0 @ 28.4824
35.06/35.28 c GLOBAL bounds - >= 0 @ 28.5118
35.17/35.32 c GLOBAL bounds - >= 0 @ 28.5473
35.17/35.35 c GLOBAL bounds - >= 0 @ 28.5827
35.26/35.40 c GLOBAL bounds - >= 0 @ 28.6226
35.37/35.50 c GLOBAL bounds - >= 0 @ 28.6787
35.37/35.56 c GLOBAL bounds - >= 0 @ 28.7274
35.47/35.61 c GLOBAL bounds - >= 0 @ 28.7621
35.47/35.67 c GLOBAL bounds - >= 0 @ 28.8069
35.56/35.73 c GLOBAL bounds - >= 0 @ 28.8499
35.56/35.77 c GLOBAL bounds - >= 0 @ 28.8808
35.66/35.81 c GLOBAL bounds - >= 0 @ 28.9149
35.66/35.86 c GLOBAL bounds - >= 0 @ 28.9469
35.76/35.91 c GLOBAL bounds - >= 0 @ 28.9813
35.76/35.95 c GLOBAL bounds - >= 0 @ 29.0125
35.87/36.08 c GLOBAL bounds - >= 0 @ 29.1076
35.97/36.16 c GLOBAL bounds - >= 0 @ 29.1672
36.07/36.24 c GLOBAL bounds - >= 0 @ 29.2351
36.16/36.35 c GLOBAL bounds - >= 0 @ 29.3379
36.26/36.42 c GLOBAL bounds - >= 0 @ 29.3962
36.36/36.50 c GLOBAL bounds - >= 0 @ 29.4589
36.36/36.56 c GLOBAL bounds - >= 0 @ 29.5051
36.45/36.64 c GLOBAL bounds - >= 0 @ 29.5746
36.45/36.70 c GLOBAL bounds - >= 0 @ 29.6169
36.55/36.75 c GLOBAL bounds - >= 0 @ 29.6634
36.65/36.80 c GLOBAL bounds - >= 0 @ 29.7033
36.65/36.85 c GLOBAL bounds - >= 0 @ 29.7417
36.76/36.90 c GLOBAL bounds - >= 0 @ 29.7874
36.76/36.96 c GLOBAL bounds - >= 0 @ 29.8382
36.86/37.01 c GLOBAL bounds - >= 0 @ 29.8793
36.86/37.06 c GLOBAL bounds - >= 0 @ 29.9267
36.96/37.11 c GLOBAL bounds - >= 0 @ 29.9653
36.96/37.16 c GLOBAL bounds - >= 0 @ 30.0134
37.05/37.21 c GLOBAL bounds - >= 0 @ 30.058
37.05/37.26 c GLOBAL bounds - >= 0 @ 30.0979
37.15/37.30 c GLOBAL bounds - >= 0 @ 30.1323
37.15/37.34 c GLOBAL bounds - >= 0 @ 30.168
37.15/37.39 c GLOBAL bounds - >= 0 @ 30.212
37.25/37.44 c GLOBAL bounds - >= 0 @ 30.25
37.25/37.48 c GLOBAL bounds - >= 0 @ 30.2876
37.36/37.53 c GLOBAL bounds - >= 0 @ 30.3239
37.36/37.57 c GLOBAL bounds - >= 0 @ 30.3576
37.45/37.61 c GLOBAL bounds - >= 0 @ 30.3898
37.45/37.65 c GLOBAL bounds - >= 0 @ 30.4254
37.55/37.70 c GLOBAL bounds - >= 0 @ 30.4701
37.55/37.75 c GLOBAL bounds - >= 0 @ 30.5098
37.65/37.80 c GLOBAL bounds - >= 0 @ 30.5448
37.65/37.84 c GLOBAL bounds - >= 0 @ 30.5825
37.65/37.89 c GLOBAL bounds - >= 0 @ 30.6177
37.75/37.93 c GLOBAL bounds - >= 0 @ 30.6517
37.75/37.97 c GLOBAL bounds - >= 0 @ 30.6826
37.85/38.01 c GLOBAL bounds - >= 0 @ 30.7134
37.85/38.05 c GLOBAL bounds - >= 0 @ 30.7439
37.85/38.09 c GLOBAL bounds - >= 0 @ 30.7744
37.95/38.14 c GLOBAL bounds - >= 0 @ 30.8203
37.95/38.19 c GLOBAL bounds - >= 0 @ 30.8662
38.05/38.25 c GLOBAL bounds - >= 0 @ 30.9156
38.15/38.30 c GLOBAL bounds - >= 0 @ 30.9596
38.15/38.37 c GLOBAL bounds - >= 0 @ 31.0094
38.25/38.43 c GLOBAL bounds - >= 0 @ 31.0602
38.25/38.48 c GLOBAL bounds - >= 0 @ 31.1064
38.35/38.54 c GLOBAL bounds - >= 0 @ 31.1493
38.45/38.61 c GLOBAL bounds - >= 0 @ 31.2096
38.45/38.66 c GLOBAL bounds - >= 0 @ 31.2595
38.54/38.72 c GLOBAL bounds - >= 0 @ 31.3126
38.54/38.78 c GLOBAL bounds - >= 0 @ 31.354
38.64/38.82 c GLOBAL bounds - >= 0 @ 31.3952
38.64/38.88 c GLOBAL bounds - >= 0 @ 31.4382
38.75/38.92 c GLOBAL bounds - >= 0 @ 31.4799
38.75/38.97 c GLOBAL bounds - >= 0 @ 31.5196
38.85/39.01 c GLOBAL bounds - >= 0 @ 31.5579
38.85/39.06 c GLOBAL bounds - >= 0 @ 31.6028
38.95/39.11 c GLOBAL bounds - >= 0 @ 31.644
38.95/39.15 c GLOBAL bounds - >= 0 @ 31.6822
39.05/39.23 c GLOBAL bounds - >= 0 @ 31.7541
39.15/39.36 c GLOBAL bounds - >= 0 @ 31.8565
39.25/39.41 c GLOBAL bounds - >= 0 @ 31.8958
39.25/39.46 c GLOBAL bounds - >= 0 @ 31.9327
39.34/39.51 c GLOBAL bounds - >= 0 @ 31.9852
39.34/39.56 c GLOBAL bounds - >= 0 @ 32.0283
39.45/39.61 c GLOBAL bounds - >= 0 @ 32.0686
39.45/39.66 c GLOBAL bounds - >= 0 @ 32.1133
39.54/39.72 c GLOBAL bounds - >= 0 @ 32.1579
39.54/39.77 c GLOBAL bounds - >= 0 @ 32.2045
39.65/39.83 c GLOBAL bounds - >= 0 @ 32.2564
39.65/39.88 c GLOBAL bounds - >= 0 @ 32.3018
39.75/39.94 c GLOBAL bounds - >= 0 @ 32.3467
39.85/40.10 c GLOBAL bounds - >= 0 @ 32.4953
39.95/40.17 c GLOBAL bounds - >= 0 @ 32.5612
40.05/40.24 c GLOBAL bounds - >= 0 @ 32.6133
40.05/40.29 c GLOBAL bounds - >= 0 @ 32.6633
40.14/40.35 c GLOBAL bounds - >= 0 @ 32.7072
40.25/40.40 c GLOBAL bounds - >= 0 @ 32.7516
40.25/40.48 c GLOBAL bounds - >= 0 @ 32.8197
40.34/40.53 c GLOBAL bounds - >= 0 @ 32.8666
40.34/40.58 c GLOBAL bounds - >= 0 @ 32.9073
40.45/40.63 c GLOBAL bounds - >= 0 @ 32.9488
40.45/40.68 c GLOBAL bounds - >= 0 @ 32.9899
40.54/40.74 c GLOBAL bounds - >= 0 @ 33.0401
40.54/40.79 c GLOBAL bounds - >= 0 @ 33.0882
40.64/40.86 c GLOBAL bounds - >= 0 @ 33.1544
40.74/40.91 c GLOBAL bounds - >= 0 @ 33.1936
40.74/40.96 c GLOBAL bounds - >= 0 @ 33.2341
40.85/41.00 c GLOBAL bounds - >= 0 @ 33.2739
40.85/41.05 c GLOBAL bounds - >= 0 @ 33.3179
40.85/41.09 c GLOBAL bounds - >= 0 @ 33.3534
40.95/41.14 c GLOBAL bounds - >= 0 @ 33.3942
40.95/41.19 c GLOBAL bounds - >= 0 @ 33.4396
41.04/41.24 c GLOBAL bounds - >= 0 @ 33.4845
41.14/41.30 c GLOBAL bounds - >= 0 @ 33.5299
41.14/41.35 c GLOBAL bounds - >= 0 @ 33.5693
41.24/41.40 c GLOBAL bounds - >= 0 @ 33.6086
41.24/41.45 c GLOBAL bounds - >= 0 @ 33.6481
41.34/41.50 c GLOBAL bounds - >= 0 @ 33.696
41.34/41.56 c GLOBAL bounds - >= 0 @ 33.7386
41.44/41.61 c GLOBAL bounds - >= 0 @ 33.7811
41.44/41.67 c GLOBAL bounds - >= 0 @ 33.8343
41.53/41.75 c GLOBAL bounds - >= 0 @ 33.9018
41.83/42.06 c GLOBAL bounds - >= 0 @ 34.1713
41.93/42.17 c GLOBAL bounds - >= 0 @ 34.2711
42.03/42.27 c GLOBAL bounds - >= 0 @ 34.3573
42.42/42.61 c GLOBAL bounds - >= 0 @ 34.6933
42.63/42.81 c GLOBAL bounds - >= 0 @ 34.8771
42.83/43.02 c GLOBAL bounds - >= 0 @ 35.074
44.83/45.10 c #Conflicts: 2000 | #Constraints: 69050
44.83/45.10 c INPROCESSING
44.83/45.10 c GARBAGE COLLECT
44.83/45.10 c GLOBAL bounds - >= 0 @ 37.1215
50.01/50.20 c GLOBAL bounds - >= 0 @ 42.1247
50.31/50.56 c #Conflicts: 3000 | #Constraints: 69063
50.31/50.56 c GLOBAL bounds - >= 0 @ 42.4884
50.61/50.89 c GLOBAL bounds - >= 0 @ 42.807
50.71/50.95 c GLOBAL bounds - >= 0 @ 42.8684
50.81/51.01 c GLOBAL bounds - >= 0 @ 42.922
50.81/51.06 c GLOBAL bounds - >= 0 @ 42.9722
50.91/51.15 c GLOBAL bounds - >= 0 @ 43.0588
51.00/51.26 c GLOBAL bounds - >= 0 @ 43.1703
51.11/51.36 c GLOBAL bounds - >= 0 @ 43.2694
51.20/51.44 c GLOBAL bounds - >= 0 @ 43.3362
51.20/51.48 c GLOBAL bounds - >= 0 @ 43.3799
51.31/51.53 c GLOBAL bounds - >= 0 @ 43.4211
51.31/51.60 c GLOBAL bounds - >= 0 @ 43.4851
51.40/51.64 c GLOBAL bounds - >= 0 @ 43.528
51.40/51.69 c GLOBAL bounds - >= 0 @ 43.579
51.51/51.73 c GLOBAL bounds - >= 0 @ 43.6127
51.51/51.77 c GLOBAL bounds - >= 0 @ 43.6507
51.60/51.81 c GLOBAL bounds - >= 0 @ 43.6891
51.60/51.86 c GLOBAL bounds - >= 0 @ 43.7313
51.70/51.91 c GLOBAL bounds - >= 0 @ 43.7743
51.70/51.95 c GLOBAL bounds - >= 0 @ 43.8128
51.70/51.99 c GLOBAL bounds - >= 0 @ 43.8503
51.81/52.03 c GLOBAL bounds - >= 0 @ 43.8899
51.81/52.08 c GLOBAL bounds - >= 0 @ 43.9326
51.90/52.12 c GLOBAL bounds - >= 0 @ 43.97
51.90/52.16 c GLOBAL bounds - >= 0 @ 44.0022
51.90/52.19 c GLOBAL bounds - >= 0 @ 44.0369
52.00/52.23 c GLOBAL bounds - >= 0 @ 44.0691
52.00/52.27 c GLOBAL bounds - >= 0 @ 44.109
52.10/52.31 c GLOBAL bounds - >= 0 @ 44.1454
52.10/52.37 c GLOBAL bounds - >= 0 @ 44.1967
52.19/52.44 c GLOBAL bounds - >= 0 @ 44.2576
52.19/52.49 c GLOBAL bounds - >= 0 @ 44.3014
52.29/52.52 c GLOBAL bounds - >= 0 @ 44.3385
52.29/52.56 c GLOBAL bounds - >= 0 @ 44.3716
52.39/52.60 c GLOBAL bounds - >= 0 @ 44.4064
52.39/52.64 c GLOBAL bounds - >= 0 @ 44.4471
52.39/52.68 c GLOBAL bounds - >= 0 @ 44.4788
52.49/52.71 c GLOBAL bounds - >= 0 @ 44.51
52.49/52.75 c GLOBAL bounds - >= 0 @ 44.5456
52.59/52.80 c GLOBAL bounds - >= 0 @ 44.5858
52.59/52.85 c GLOBAL bounds - >= 0 @ 44.6333
52.59/52.89 c GLOBAL bounds - >= 0 @ 44.6754
52.69/52.93 c GLOBAL bounds - >= 0 @ 44.7136
52.69/52.98 c GLOBAL bounds - >= 0 @ 44.7649
52.80/53.10 c GLOBAL bounds - >= 0 @ 44.8707
52.89/53.15 c GLOBAL bounds - >= 0 @ 44.9189
52.99/53.20 c GLOBAL bounds - >= 0 @ 44.9675
52.99/53.25 c GLOBAL bounds - >= 0 @ 45.0175
53.09/53.32 c GLOBAL bounds - >= 0 @ 45.073
53.19/53.40 c GLOBAL bounds - >= 0 @ 45.1596
53.19/53.47 c GLOBAL bounds - >= 0 @ 45.2248
53.29/53.54 c GLOBAL bounds - >= 0 @ 45.2863
53.29/53.59 c GLOBAL bounds - >= 0 @ 45.3271
53.39/53.64 c GLOBAL bounds - >= 0 @ 45.3676
53.49/53.70 c GLOBAL bounds - >= 0 @ 45.4125
53.49/53.75 c GLOBAL bounds - >= 0 @ 45.4573
53.58/53.80 c GLOBAL bounds - >= 0 @ 45.5041
53.58/53.85 c GLOBAL bounds - >= 0 @ 45.5475
53.68/53.90 c GLOBAL bounds - >= 0 @ 45.5901
53.68/53.97 c GLOBAL bounds - >= 0 @ 45.6512
53.79/54.03 c GLOBAL bounds - >= 0 @ 45.7039
53.79/54.09 c GLOBAL bounds - >= 0 @ 45.7488
53.89/54.14 c GLOBAL bounds - >= 0 @ 45.7876
53.89/54.18 c GLOBAL bounds - >= 0 @ 45.8281
53.99/54.24 c GLOBAL bounds - >= 0 @ 45.8743
53.99/54.29 c GLOBAL bounds - >= 0 @ 45.917
54.08/54.34 c GLOBAL bounds - >= 0 @ 45.9517
54.08/54.38 c GLOBAL bounds - >= 0 @ 45.9915
54.19/54.43 c GLOBAL bounds - >= 0 @ 46.0326
54.19/54.48 c GLOBAL bounds - >= 0 @ 46.0763
54.28/54.56 c GLOBAL bounds - >= 0 @ 46.1368
54.38/54.60 c GLOBAL bounds - >= 0 @ 46.1773
54.38/54.65 c GLOBAL bounds - >= 0 @ 46.2156
54.48/54.71 c GLOBAL bounds - >= 0 @ 46.2684
54.48/54.76 c GLOBAL bounds - >= 0 @ 46.3124
54.58/54.82 c GLOBAL bounds - >= 0 @ 46.3598
54.58/54.88 c GLOBAL bounds - >= 0 @ 46.4109
54.68/54.93 c GLOBAL bounds - >= 0 @ 46.4528
54.89/55.17 c GLOBAL bounds - >= 0 @ 46.6859
55.18/55.44 c GLOBAL bounds - >= 0 @ 46.9363
55.89/56.18 c GLOBAL bounds - >= 0 @ 47.6463
55.98/56.26 c GLOBAL bounds - >= 0 @ 47.714
56.08/56.39 c GLOBAL bounds - >= 0 @ 47.8396
56.18/56.45 c GLOBAL bounds - >= 0 @ 47.8953
56.28/56.55 c GLOBAL bounds - >= 0 @ 47.9686
56.38/56.60 c GLOBAL bounds - >= 0 @ 48.0169
56.38/56.65 c GLOBAL bounds - >= 0 @ 48.0582
56.48/56.71 c GLOBAL bounds - >= 0 @ 48.1024
56.48/56.76 c GLOBAL bounds - >= 0 @ 48.1513
56.58/56.81 c GLOBAL bounds - >= 0 @ 48.1942
56.58/56.86 c GLOBAL bounds - >= 0 @ 48.2383
56.68/56.92 c GLOBAL bounds - >= 0 @ 48.2905
56.68/57.00 c GLOBAL bounds - >= 0 @ 48.3666
56.88/57.11 c GLOBAL bounds - >= 0 @ 48.4705
56.98/57.24 c GLOBAL bounds - >= 0 @ 48.5986
57.07/57.33 c GLOBAL bounds - >= 0 @ 48.6773
57.17/57.47 c GLOBAL bounds - >= 0 @ 48.7954
57.27/57.54 c GLOBAL bounds - >= 0 @ 48.8544
57.68/57.99 c GLOBAL bounds - >= 0 @ 49.2867
57.97/58.20 c GLOBAL bounds - >= 0 @ 49.4788
60.66/60.96 c #Conflicts: 4000 | #Constraints: 70263
60.66/60.96 c INPROCESSING
60.66/60.96 c GARBAGE COLLECT
60.66/60.96 c GLOBAL bounds - >= 0 @ 52.1806
61.26/61.58 c GLOBAL bounds - >= 0 @ 52.7845
61.46/61.70 c GLOBAL bounds - >= 0 @ 52.8873
61.67/61.93 c GLOBAL bounds - >= 0 @ 53.1085
61.67/61.98 c GLOBAL bounds - >= 0 @ 53.161
61.96/62.24 c GLOBAL bounds - >= 0 @ 53.3953
62.46/62.74 c GLOBAL bounds - >= 0 @ 53.8784
63.66/63.99 c GLOBAL bounds - >= 0 @ 55.0896
63.86/64.15 c GLOBAL bounds - >= 0 @ 55.2429
64.56/64.89 c GLOBAL bounds - >= 0 @ 55.9374
68.64/68.91 c #Conflicts: 5000 | #Constraints: 69689
68.64/68.91 c GLOBAL bounds - >= 0 @ 59.8419
73.90/74.24 c #Conflicts: 6000 | #Constraints: 70691
73.90/74.24 c GLOBAL bounds - >= 0 @ 64.9075
76.60/76.99 c INPROCESSING
76.60/76.99 c GARBAGE COLLECT
76.60/76.99 c GLOBAL bounds - >= 0 @ 67.5935
76.70/77.07 c GLOBAL bounds - >= 0 @ 67.6742
76.81/77.14 c GLOBAL bounds - >= 0 @ 67.7387
76.90/77.20 c GLOBAL bounds - >= 0 @ 67.7929
76.90/77.25 c GLOBAL bounds - >= 0 @ 67.8397
76.90/77.29 c GLOBAL bounds - >= 0 @ 67.8815
77.00/77.34 c GLOBAL bounds - >= 0 @ 67.927
77.00/77.39 c GLOBAL bounds - >= 0 @ 67.9711
77.09/77.43 c GLOBAL bounds - >= 0 @ 68.0101
77.19/77.50 c GLOBAL bounds - >= 0 @ 68.0729
77.19/77.54 c GLOBAL bounds - >= 0 @ 68.1098
77.19/77.58 c GLOBAL bounds - >= 0 @ 68.1457
77.29/77.62 c GLOBAL bounds - >= 0 @ 68.1851
77.29/77.66 c GLOBAL bounds - >= 0 @ 68.2246
77.38/77.70 c GLOBAL bounds - >= 0 @ 68.2601
77.38/77.73 c GLOBAL bounds - >= 0 @ 68.292
77.38/77.77 c GLOBAL bounds - >= 0 @ 68.3292
77.49/77.80 c GLOBAL bounds - >= 0 @ 68.3621
77.49/77.83 c GLOBAL bounds - >= 0 @ 68.3918
77.49/77.87 c GLOBAL bounds - >= 0 @ 68.4286
77.59/77.91 c GLOBAL bounds - >= 0 @ 68.463
77.59/77.94 c GLOBAL bounds - >= 0 @ 68.4954
77.59/77.97 c GLOBAL bounds - >= 0 @ 68.5246
77.70/78.00 c GLOBAL bounds - >= 0 @ 68.5523
77.70/78.04 c GLOBAL bounds - >= 0 @ 68.5884
77.70/78.07 c GLOBAL bounds - >= 0 @ 68.6153
77.79/78.10 c GLOBAL bounds - >= 0 @ 68.6456
77.79/78.14 c GLOBAL bounds - >= 0 @ 68.6796
77.79/78.18 c GLOBAL bounds - >= 0 @ 68.7135
77.89/78.20 c GLOBAL bounds - >= 0 @ 68.7385
77.89/78.23 c GLOBAL bounds - >= 0 @ 68.7628
77.89/78.25 c GLOBAL bounds - >= 0 @ 68.7876
77.89/78.29 c GLOBAL bounds - >= 0 @ 68.818
77.98/78.31 c GLOBAL bounds - >= 0 @ 68.843
77.98/78.34 c GLOBAL bounds - >= 0 @ 68.8676
77.98/78.36 c GLOBAL bounds - >= 0 @ 68.8921
77.98/78.39 c GLOBAL bounds - >= 0 @ 68.9201
78.09/78.42 c GLOBAL bounds - >= 0 @ 68.948
78.09/78.45 c GLOBAL bounds - >= 0 @ 68.9694
78.09/78.47 c GLOBAL bounds - >= 0 @ 68.9905
78.19/78.51 c GLOBAL bounds - >= 0 @ 69.0219
78.19/78.54 c GLOBAL bounds - >= 0 @ 69.0477
78.19/78.57 c GLOBAL bounds - >= 0 @ 69.0744
78.29/78.60 c GLOBAL bounds - >= 0 @ 69.1028
78.29/78.63 c GLOBAL bounds - >= 0 @ 69.1367
78.29/78.66 c GLOBAL bounds - >= 0 @ 69.159
78.29/78.68 c GLOBAL bounds - >= 0 @ 69.1819
78.39/78.71 c GLOBAL bounds - >= 0 @ 69.2061
78.39/78.74 c GLOBAL bounds - >= 0 @ 69.2275
78.39/78.77 c GLOBAL bounds - >= 0 @ 69.2627
78.48/78.81 c GLOBAL bounds - >= 0 @ 69.2958
78.48/78.84 c GLOBAL bounds - >= 0 @ 69.3275
78.48/78.87 c GLOBAL bounds - >= 0 @ 69.3535
78.48/78.89 c GLOBAL bounds - >= 0 @ 69.3767
78.58/78.92 c GLOBAL bounds - >= 0 @ 69.3975
78.58/78.95 c GLOBAL bounds - >= 0 @ 69.427
78.58/78.98 c GLOBAL bounds - >= 0 @ 69.4541
78.69/79.01 c GLOBAL bounds - >= 0 @ 69.4781
78.69/79.03 c GLOBAL bounds - >= 0 @ 69.5009
78.69/79.07 c GLOBAL bounds - >= 0 @ 69.5315
78.69/79.09 c GLOBAL bounds - >= 0 @ 69.5595
78.79/79.12 c GLOBAL bounds - >= 0 @ 69.5821
78.79/79.15 c GLOBAL bounds - >= 0 @ 69.615
78.88/79.21 c GLOBAL bounds - >= 0 @ 69.6674
78.88/79.27 c GLOBAL bounds - >= 0 @ 69.7174
78.98/79.33 c GLOBAL bounds - >= 0 @ 69.7674
78.98/79.37 c GLOBAL bounds - >= 0 @ 69.8074
79.08/79.41 c GLOBAL bounds - >= 0 @ 69.8458
79.08/79.46 c GLOBAL bounds - >= 0 @ 69.8883
79.18/79.52 c GLOBAL bounds - >= 0 @ 69.9429
79.18/79.57 c GLOBAL bounds - >= 0 @ 69.9951
79.28/79.62 c GLOBAL bounds - >= 0 @ 70.0418
79.28/79.68 c GLOBAL bounds - >= 0 @ 70.087
79.38/79.72 c GLOBAL bounds - >= 0 @ 70.1311
79.48/79.80 c GLOBAL bounds - >= 0 @ 70.2079
79.48/79.86 c GLOBAL bounds - >= 0 @ 70.253
79.58/79.90 c GLOBAL bounds - >= 0 @ 70.2937
79.69/80.01 c GLOBAL bounds - >= 0 @ 70.4037
79.69/80.06 c GLOBAL bounds - >= 0 @ 70.4477
79.79/80.10 c GLOBAL bounds - >= 0 @ 70.4869
79.79/80.16 c GLOBAL bounds - >= 0 @ 70.5365
79.89/80.20 c GLOBAL bounds - >= 0 @ 70.5771
79.89/80.24 c GLOBAL bounds - >= 0 @ 70.6132
79.89/80.28 c GLOBAL bounds - >= 0 @ 70.6498
79.98/80.32 c GLOBAL bounds - >= 0 @ 70.6828
79.98/80.36 c GLOBAL bounds - >= 0 @ 70.7203
80.08/80.40 c GLOBAL bounds - >= 0 @ 70.7593
80.08/80.43 c GLOBAL bounds - >= 0 @ 70.7881
80.08/80.47 c GLOBAL bounds - >= 0 @ 70.8182
80.18/80.50 c GLOBAL bounds - >= 0 @ 70.8468
80.18/80.53 c GLOBAL bounds - >= 0 @ 70.8758
80.18/80.56 c GLOBAL bounds - >= 0 @ 70.9001
80.38/80.70 c GLOBAL bounds - >= 0 @ 71.0359
80.58/80.98 c GLOBAL bounds - >= 0 @ 71.3013
81.38/81.79 c #Conflicts: 7000 | #Constraints: 69884
81.38/81.79 c GLOBAL bounds - >= 0 @ 72.0976
88.15/88.55 c #Conflicts: 8000 | #Constraints: 70886
88.15/88.55 c GLOBAL bounds - >= 0 @ 78.6641
88.55/88.96 c GLOBAL bounds - >= 0 @ 79.0479
88.75/89.16 c GLOBAL bounds - >= 0 @ 79.2415
88.84/89.23 c GLOBAL bounds - >= 0 @ 79.3037
88.95/89.32 c GLOBAL bounds - >= 0 @ 79.3873
94.43/94.86 c #Conflicts: 9000 | #Constraints: 71896
94.43/94.86 c GLOBAL bounds - >= 0 @ 84.7331
96.42/96.88 c INPROCESSING
96.42/96.88 c GARBAGE COLLECT
96.42/96.88 c GLOBAL bounds - >= 0 @ 86.7327
96.53/96.92 c GLOBAL bounds - >= 0 @ 86.7688
96.53/96.97 c GLOBAL bounds - >= 0 @ 86.8121
96.63/97.03 c GLOBAL bounds - >= 0 @ 86.8704
96.73/97.11 c GLOBAL bounds - >= 0 @ 86.9446
96.73/97.15 c GLOBAL bounds - >= 0 @ 86.9858
96.73/97.18 c GLOBAL bounds - >= 0 @ 87.0159
96.82/97.23 c GLOBAL bounds - >= 0 @ 87.0607
96.82/97.27 c GLOBAL bounds - >= 0 @ 87.0991
98.32/98.78 c GLOBAL bounds - >= 0 @ 88.5405
99.12/99.56 c GLOBAL bounds - >= 0 @ 89.2865
99.31/99.75 c GLOBAL bounds - >= 0 @ 89.4704
99.52/99.91 c GLOBAL bounds - >= 0 @ 89.6293
99.62/100.03 c GLOBAL bounds - >= 0 @ 89.7359
99.72/100.11 c GLOBAL bounds - >= 0 @ 89.8176
99.82/100.25 c GLOBAL bounds - >= 0 @ 89.9432
99.92/100.35 c GLOBAL bounds - >= 0 @ 90.0394
100.02/100.42 c GLOBAL bounds - >= 0 @ 90.1033
101.41/101.85 c #Conflicts: 10000 | #Constraints: 70635
101.41/101.85 c GLOBAL bounds - >= 0 @ 91.4999
103.10/103.51 c GLOBAL bounds - >= 0 @ 93.0822
103.70/104.10 c GLOBAL bounds - >= 0 @ 93.6447
103.79/104.24 c GLOBAL bounds - >= 0 @ 93.7727
103.89/104.30 c GLOBAL bounds - >= 0 @ 93.8265
103.89/104.35 c GLOBAL bounds - >= 0 @ 93.8784
103.99/104.48 c GLOBAL bounds - >= 0 @ 94.0053
104.09/104.53 c GLOBAL bounds - >= 0 @ 94.0546
104.09/104.57 c GLOBAL bounds - >= 0 @ 94.0927
104.19/104.62 c GLOBAL bounds - >= 0 @ 94.1329
104.19/104.66 c GLOBAL bounds - >= 0 @ 94.1769
104.39/104.80 c GLOBAL bounds - >= 0 @ 94.307
104.39/104.88 c GLOBAL bounds - >= 0 @ 94.3853
104.59/105.06 c GLOBAL bounds - >= 0 @ 94.5589
104.59/105.10 c GLOBAL bounds - >= 0 @ 94.5962
104.79/105.21 c GLOBAL bounds - >= 0 @ 94.7054
104.79/105.28 c GLOBAL bounds - >= 0 @ 94.7645
104.89/105.32 c GLOBAL bounds - >= 0 @ 94.8024
105.59/106.06 c GLOBAL bounds - >= 0 @ 95.5324
105.78/106.28 c GLOBAL bounds - >= 0 @ 95.7378
106.19/106.64 c GLOBAL bounds - >= 0 @ 96.0903
106.49/106.94 c #Conflicts: 11000 | #Constraints: 71677
106.49/106.94 c GLOBAL bounds - >= 0 @ 96.3709
106.49/106.99 c GLOBAL bounds - >= 0 @ 96.409
106.59/107.04 c GLOBAL bounds - >= 0 @ 96.4468
107.28/107.78 c GLOBAL bounds - >= 0 @ 97.1696
108.67/109.19 c GLOBAL bounds - >= 0 @ 98.4823
108.97/109.46 c GLOBAL bounds - >= 0 @ 98.7397
109.17/109.63 c GLOBAL bounds - >= 0 @ 98.8964
109.17/109.69 c GLOBAL bounds - >= 0 @ 98.9439
109.27/109.73 c GLOBAL bounds - >= 0 @ 98.9858
109.27/109.79 c GLOBAL bounds - >= 0 @ 99.0394
109.37/109.89 c GLOBAL bounds - >= 0 @ 99.1214
109.46/109.97 c GLOBAL bounds - >= 0 @ 99.1934
110.86/111.33 c GLOBAL bounds - >= 0 @ 100.509
110.96/111.40 c GLOBAL bounds - >= 0 @ 100.567
182.06/182.84 c #Conflicts: 12000 | #Constraints: 72705
182.06/182.84 c INPROCESSING
182.06/182.84 c GARBAGE COLLECT
182.06/182.84 c #Conflicts: 13000 | #Constraints: 71155
182.06/182.84 c #Conflicts: 14000 | #Constraints: 72155
182.06/182.84 c #Conflicts: 15000 | #Constraints: 73155
182.06/182.84 c INPROCESSING
182.06/182.84 c GARBAGE COLLECT
182.06/182.84 c #Conflicts: 16000 | #Constraints: 71387
182.06/182.84 c #Conflicts: 17000 | #Constraints: 72387
182.06/182.84 c #Conflicts: 18000 | #Constraints: 73387
182.06/182.84 c INPROCESSING
182.06/182.84 c GARBAGE COLLECT
182.06/182.84 c #Conflicts: 19000 | #Constraints: 71407
182.06/182.84 c GLOBAL bounds - >= 0 @ 169.836
854.44/857.89 c #Conflicts: 20000 | #Constraints: 72409
854.44/857.89 c #Conflicts: 21000 | #Constraints: 73409
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 22000 | #Constraints: 71209
854.44/857.89 c #Conflicts: 23000 | #Constraints: 72209
854.44/857.89 c #Conflicts: 24000 | #Constraints: 73209
854.44/857.89 c #Conflicts: 25000 | #Constraints: 74209
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 26000 | #Constraints: 71817
854.44/857.89 c #Conflicts: 27000 | #Constraints: 72817
854.44/857.89 c #Conflicts: 28000 | #Constraints: 73817
854.44/857.89 c #Conflicts: 29000 | #Constraints: 74817
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 30000 | #Constraints: 72221
854.44/857.89 c #Conflicts: 31000 | #Constraints: 73221
854.44/857.89 c #Conflicts: 32000 | #Constraints: 74221
854.44/857.89 c #Conflicts: 33000 | #Constraints: 75221
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 34000 | #Constraints: 72422
854.44/857.89 c #Conflicts: 35000 | #Constraints: 73422
854.44/857.89 c #Conflicts: 36000 | #Constraints: 74422
854.44/857.89 c #Conflicts: 37000 | #Constraints: 75422
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 38000 | #Constraints: 72435
854.44/857.89 c #Conflicts: 39000 | #Constraints: 73435
854.44/857.89 c #Conflicts: 40000 | #Constraints: 74435
854.44/857.89 c #Conflicts: 41000 | #Constraints: 75435
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 42000 | #Constraints: 72230
854.44/857.89 c #Conflicts: 43000 | #Constraints: 73230
854.44/857.89 c #Conflicts: 44000 | #Constraints: 74230
854.44/857.89 c #Conflicts: 45000 | #Constraints: 75230
854.44/857.89 c #Conflicts: 46000 | #Constraints: 76230
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 47000 | #Constraints: 72824
854.44/857.89 c #Conflicts: 48000 | #Constraints: 73824
854.44/857.89 c #Conflicts: 49000 | #Constraints: 74824
854.44/857.89 c #Conflicts: 50000 | #Constraints: 75824
854.44/857.89 c #Conflicts: 51000 | #Constraints: 76824
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 52000 | #Constraints: 73229
854.44/857.89 c #Conflicts: 53000 | #Constraints: 74229
854.44/857.89 c #Conflicts: 54000 | #Constraints: 75229
854.44/857.89 c #Conflicts: 55000 | #Constraints: 76229
854.44/857.89 c #Conflicts: 56000 | #Constraints: 77229
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 57000 | #Constraints: 73429
854.44/857.89 c #Conflicts: 58000 | #Constraints: 74429
854.44/857.89 c #Conflicts: 59000 | #Constraints: 75429
854.44/857.89 c #Conflicts: 60000 | #Constraints: 76429
854.44/857.89 c #Conflicts: 61000 | #Constraints: 77429
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 62000 | #Constraints: 73432
854.44/857.89 c #Conflicts: 63000 | #Constraints: 74432
854.44/857.89 c #Conflicts: 64000 | #Constraints: 75432
854.44/857.89 c #Conflicts: 65000 | #Constraints: 76432
854.44/857.89 c #Conflicts: 66000 | #Constraints: 77432
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 67000 | #Constraints: 73228
854.44/857.89 c #Conflicts: 68000 | #Constraints: 74228
854.44/857.89 c #Conflicts: 69000 | #Constraints: 75228
854.44/857.89 c #Conflicts: 70000 | #Constraints: 76228
854.44/857.89 c #Conflicts: 71000 | #Constraints: 77228
854.44/857.89 c #Conflicts: 72000 | #Constraints: 78228
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 73000 | #Constraints: 73824
854.44/857.89 c #Conflicts: 74000 | #Constraints: 74824
854.44/857.89 c #Conflicts: 75000 | #Constraints: 75824
854.44/857.89 c #Conflicts: 76000 | #Constraints: 76824
854.44/857.89 c #Conflicts: 77000 | #Constraints: 77824
854.44/857.89 c #Conflicts: 78000 | #Constraints: 78824
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 79000 | #Constraints: 74231
854.44/857.89 c #Conflicts: 80000 | #Constraints: 75231
854.44/857.89 c #Conflicts: 81000 | #Constraints: 76231
854.44/857.89 c #Conflicts: 82000 | #Constraints: 77231
854.44/857.89 c #Conflicts: 83000 | #Constraints: 78231
854.44/857.89 c #Conflicts: 84000 | #Constraints: 79231
854.44/857.89 c INPROCESSING
854.44/857.89 c GARBAGE COLLECT
854.44/857.89 c #Conflicts: 85000 | #Constraints: 74431
854.44/857.89 c #Conflicts: 86000 | #Constraints: 75431
854.44/857.89 c #Conflicts: 87000 | #Constraints: 76431
854.44/857.89 c #Conflicts: 88000 | #Constraints: 77431
854.44/857.89 c #Conflicts: 89000 | #Constraints: 78431
1644.08/1700.64 c #Conflicts: 90000 | #Constraints: 79431
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 91000 | #Constraints: 74429
1644.08/1700.64 c #Conflicts: 92000 | #Constraints: 75429
1644.08/1700.64 c #Conflicts: 93000 | #Constraints: 76429
1644.08/1700.64 c #Conflicts: 94000 | #Constraints: 77429
1644.08/1700.64 c #Conflicts: 95000 | #Constraints: 78429
1644.08/1700.64 c #Conflicts: 96000 | #Constraints: 79429
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 97000 | #Constraints: 74236
1644.08/1700.64 c #Conflicts: 98000 | #Constraints: 75236
1644.08/1700.64 c #Conflicts: 99000 | #Constraints: 76236
1644.08/1700.64 c #Conflicts: 100000 | #Constraints: 77236
1644.08/1700.64 c #Conflicts: 101000 | #Constraints: 78236
1644.08/1700.64 c #Conflicts: 102000 | #Constraints: 79236
1644.08/1700.64 c #Conflicts: 103000 | #Constraints: 80236
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 104000 | #Constraints: 74830
1644.08/1700.64 c #Conflicts: 105000 | #Constraints: 75830
1644.08/1700.64 c #Conflicts: 106000 | #Constraints: 76830
1644.08/1700.64 c #Conflicts: 107000 | #Constraints: 77830
1644.08/1700.64 c #Conflicts: 108000 | #Constraints: 78830
1644.08/1700.64 c #Conflicts: 109000 | #Constraints: 79830
1644.08/1700.64 c #Conflicts: 110000 | #Constraints: 80830
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 111000 | #Constraints: 75232
1644.08/1700.64 c #Conflicts: 112000 | #Constraints: 76232
1644.08/1700.64 c #Conflicts: 113000 | #Constraints: 77232
1644.08/1700.64 c #Conflicts: 114000 | #Constraints: 78232
1644.08/1700.64 c #Conflicts: 115000 | #Constraints: 79232
1644.08/1700.64 c #Conflicts: 116000 | #Constraints: 80232
1644.08/1700.64 c #Conflicts: 117000 | #Constraints: 81232
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 118000 | #Constraints: 75425
1644.08/1700.64 c #Conflicts: 119000 | #Constraints: 76425
1644.08/1700.64 c #Conflicts: 120000 | #Constraints: 77425
1644.08/1700.64 c #Conflicts: 121000 | #Constraints: 78425
1644.08/1700.64 c #Conflicts: 122000 | #Constraints: 79425
1644.08/1700.64 c #Conflicts: 123000 | #Constraints: 80425
1644.08/1700.64 c #Conflicts: 124000 | #Constraints: 81425
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 125000 | #Constraints: 75437
1644.08/1700.64 c #Conflicts: 126000 | #Constraints: 76437
1644.08/1700.64 c #Conflicts: 127000 | #Constraints: 77437
1644.08/1700.64 c #Conflicts: 128000 | #Constraints: 78437
1644.08/1700.64 c #Conflicts: 129000 | #Constraints: 79437
1644.08/1700.64 c #Conflicts: 130000 | #Constraints: 80437
1644.08/1700.64 c #Conflicts: 131000 | #Constraints: 81437
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 132000 | #Constraints: 75229
1644.08/1700.64 c #Conflicts: 133000 | #Constraints: 76229
1644.08/1700.64 c #Conflicts: 134000 | #Constraints: 77229
1644.08/1700.64 c #Conflicts: 135000 | #Constraints: 78229
1644.08/1700.64 c #Conflicts: 136000 | #Constraints: 79229
1644.08/1700.64 c #Conflicts: 137000 | #Constraints: 80229
1644.08/1700.64 c #Conflicts: 138000 | #Constraints: 81229
1644.08/1700.64 c #Conflicts: 139000 | #Constraints: 82229
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 140000 | #Constraints: 75825
1644.08/1700.64 c #Conflicts: 141000 | #Constraints: 76825
1644.08/1700.64 c #Conflicts: 142000 | #Constraints: 77825
1644.08/1700.64 c #Conflicts: 143000 | #Constraints: 78825
1644.08/1700.64 c #Conflicts: 144000 | #Constraints: 79825
1644.08/1700.64 c #Conflicts: 145000 | #Constraints: 80825
1644.08/1700.64 c #Conflicts: 146000 | #Constraints: 81825
1644.08/1700.64 c #Conflicts: 147000 | #Constraints: 82825
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 148000 | #Constraints: 76227
1644.08/1700.64 c #Conflicts: 149000 | #Constraints: 77227
1644.08/1700.64 c #Conflicts: 150000 | #Constraints: 78227
1644.08/1700.64 c #Conflicts: 151000 | #Constraints: 79227
1644.08/1700.64 c #Conflicts: 152000 | #Constraints: 80227
1644.08/1700.64 c #Conflicts: 153000 | #Constraints: 81227
1644.08/1700.64 c #Conflicts: 154000 | #Constraints: 82227
1644.08/1700.64 c #Conflicts: 155000 | #Constraints: 83227
1644.08/1700.64 c INPROCESSING
1644.08/1700.64 c GARBAGE COLLECT
1644.08/1700.64 c #Conflicts: 156000 | #Constraints: 76429
1644.08/1700.64 c #Conflicts: 157000 | #Constraints: 77429
1644.08/1700.64 c #Conflicts: 158000 | #Constraints: 78429
1644.08/1700.64 c #Conflicts: 159000 | #Constraints: 79429
1644.08/1700.64 c #Conflicts: 160000 | #Constraints: 80429
1644.08/1700.64 c #Conflicts: 161000 | #Constraints: 81429
1644.08/1700.64 c #Conflicts: 162000 | #Constraints: 82429
2478.99/2538.14 c #Conflicts: 163000 | #Constraints: 83429
2478.99/2538.14 c INPROCESSING
2478.99/2538.14 c GARBAGE COLLECT
2478.99/2538.14 c #Conflicts: 164000 | #Constraints: 76430
2478.99/2538.14 c #Conflicts: 165000 | #Constraints: 77430
2478.99/2538.14 c #Conflicts: 166000 | #Constraints: 78430
2478.99/2538.14 c #Conflicts: 167000 | #Constraints: 79430
2478.99/2538.14 c #Conflicts: 168000 | #Constraints: 80430
2478.99/2538.14 c #Conflicts: 169000 | #Constraints: 81430
2478.99/2538.14 c #Conflicts: 170000 | #Constraints: 82430
2478.99/2538.14 c #Conflicts: 171000 | #Constraints: 83430
2478.99/2538.14 c INPROCESSING
2478.99/2538.14 c GARBAGE COLLECT
2478.99/2538.14 c #Conflicts: 172000 | #Constraints: 76237
2478.99/2538.14 c #Conflicts: 173000 | #Constraints: 77237
2478.99/2538.14 c #Conflicts: 174000 | #Constraints: 78237
2478.99/2538.14 c #Conflicts: 175000 | #Constraints: 79237
2478.99/2538.14 c #Conflicts: 176000 | #Constraints: 80237
2478.99/2538.14 c #Conflicts: 177000 | #Constraints: 81237
2478.99/2538.14 c #Conflicts: 178000 | #Constraints: 82237
2478.99/2538.14 c #Conflicts: 179000 | #Constraints: 83237
2478.99/2538.14 c #Conflicts: 180000 | #Constraints: 84237
2478.99/2538.14 c INPROCESSING
2478.99/2538.14 c GARBAGE COLLECT
2478.99/2538.14 c #Conflicts: 181000 | #Constraints: 76836
2478.99/2538.14 c #Conflicts: 182000 | #Constraints: 77836
2478.99/2538.14 c #Conflicts: 183000 | #Constraints: 78836
2478.99/2538.14 c #Conflicts: 184000 | #Constraints: 79836
2478.99/2538.14 c #Conflicts: 185000 | #Constraints: 80836
2478.99/2538.14 c #Conflicts: 186000 | #Constraints: 81836
2478.99/2538.14 c #Conflicts: 187000 | #Constraints: 82836
2478.99/2538.14 c #Conflicts: 188000 | #Constraints: 83836
2478.99/2538.14 c #Conflicts: 189000 | #Constraints: 84836
2478.99/2538.14 c INPROCESSING
2478.99/2538.14 c GARBAGE COLLECT
2478.99/2538.14 c #Conflicts: 190000 | #Constraints: 77237
2478.99/2538.14 c #Conflicts: 191000 | #Constraints: 78237
2478.99/2538.14 c #Conflicts: 192000 | #Constraints: 79237
2478.99/2538.14 c #Conflicts: 193000 | #Constraints: 80237
2478.99/2538.14 c #Conflicts: 194000 | #Constraints: 81237
2478.99/2538.14 c #Conflicts: 195000 | #Constraints: 82237
2478.99/2538.14 c #Conflicts: 196000 | #Constraints: 83237
2478.99/2538.14 c #Conflicts: 197000 | #Constraints: 84237
2478.99/2538.14 c #Conflicts: 198000 | #Constraints: 85237
2478.99/2538.14 c INPROCESSING
2478.99/2538.14 c GARBAGE COLLECT
2478.99/2538.14 c #Conflicts: 199000 | #Constraints: 77436
2478.99/2538.14 c #Conflicts: 200000 | #Constraints: 78436
2478.99/2538.14 c #Conflicts: 201000 | #Constraints: 79436
2478.99/2538.14 c #Conflicts: 202000 | #Constraints: 80436
2478.99/2538.14 c #Conflicts: 203000 | #Constraints: 81436
2478.99/2538.14 c #Conflicts: 204000 | #Constraints: 82436
2478.99/2538.14 c #Conflicts: 205000 | #Constraints: 83436
2478.99/2538.14 c #Conflicts: 206000 | #Constraints: 84436
2478.99/2538.14 c #Conflicts: 207000 | #Constraints: 85436
2478.99/2538.14 c INPROCESSING
2478.99/2538.14 c GARBAGE COLLECT
2478.99/2538.14 c #Conflicts: 208000 | #Constraints: 77441
2478.99/2538.14 c #Conflicts: 209000 | #Constraints: 78441
2478.99/2538.14 c #Conflicts: 210000 | #Constraints: 79441
2478.99/2538.14 c #Conflicts: 211000 | #Constraints: 80441
2478.99/2538.14 c #Conflicts: 212000 | #Constraints: 81441
2478.99/2538.14 c #Conflicts: 213000 | #Constraints: 82441
2478.99/2538.14 c #Conflicts: 214000 | #Constraints: 83441
2478.99/2538.14 c #Conflicts: 215000 | #Constraints: 84441
2478.99/2538.14 c #Conflicts: 216000 | #Constraints: 85441
2478.99/2538.14 c INPROCESSING
2478.99/2538.14 c GARBAGE COLLECT
2478.99/2538.14 c #Conflicts: 217000 | #Constraints: 77243
2478.99/2538.14 c #Conflicts: 218000 | #Constraints: 78243
2478.99/2538.14 c #Conflicts: 219000 | #Constraints: 79243
2478.99/2538.14 c #Conflicts: 220000 | #Constraints: 80243
2478.99/2538.14 c #Conflicts: 221000 | #Constraints: 81243
2478.99/2538.14 c #Conflicts: 222000 | #Constraints: 82243
2478.99/2538.14 c #Conflicts: 223000 | #Constraints: 83243
2478.99/2538.14 c #Conflicts: 224000 | #Constraints: 84243
2478.99/2538.14 c #Conflicts: 225000 | #Constraints: 85243
2478.99/2538.14 c #Conflicts: 226000 | #Constraints: 86243
2478.99/2538.14 c INPROCESSING
2478.99/2538.14 c GARBAGE COLLECT
2478.99/2538.14 c #Conflicts: 227000 | #Constraints: 77848
2478.99/2538.14 c #Conflicts: 228000 | #Constraints: 78848
2478.99/2538.14 c #Conflicts: 229000 | #Constraints: 79848
2478.99/2538.14 c #Conflicts: 230000 | #Constraints: 80848
2478.99/2538.14 c #Conflicts: 231000 | #Constraints: 81848
2478.99/2538.14 c #Conflicts: 232000 | #Constraints: 82848
2478.99/2538.14 c #Conflicts: 233000 | #Constraints: 83848
2478.99/2538.14 c #Conflicts: 234000 | #Constraints: 84848
2478.99/2538.14 c #Conflicts: 235000 | #Constraints: 85848
3362.80/3424.70 c #Conflicts: 236000 | #Constraints: 86848
3362.80/3424.70 c INPROCESSING
3362.80/3424.70 c GARBAGE COLLECT
3362.80/3424.70 c #Conflicts: 237000 | #Constraints: 78242
3362.80/3424.70 c #Conflicts: 238000 | #Constraints: 79242
3362.80/3424.70 c #Conflicts: 239000 | #Constraints: 80242
3362.80/3424.70 c #Conflicts: 240000 | #Constraints: 81242
3362.80/3424.70 c #Conflicts: 241000 | #Constraints: 82242
3362.80/3424.70 c #Conflicts: 242000 | #Constraints: 83242
3362.80/3424.70 c #Conflicts: 243000 | #Constraints: 84242
3362.80/3424.70 c #Conflicts: 244000 | #Constraints: 85242
3362.80/3424.70 c #Conflicts: 245000 | #Constraints: 86242
3362.80/3424.70 c #Conflicts: 246000 | #Constraints: 87242
3362.80/3424.70 c INPROCESSING
3362.80/3424.70 c GARBAGE COLLECT
3362.80/3424.70 c #Conflicts: 247000 | #Constraints: 78434
3362.80/3424.70 c #Conflicts: 248000 | #Constraints: 79434
3362.80/3424.70 c #Conflicts: 249000 | #Constraints: 80434
3362.80/3424.70 c #Conflicts: 250000 | #Constraints: 81434
3362.80/3424.70 c #Conflicts: 251000 | #Constraints: 82434
3362.80/3424.70 c #Conflicts: 252000 | #Constraints: 83434
3362.80/3424.70 c #Conflicts: 253000 | #Constraints: 84434
3362.80/3424.70 c #Conflicts: 254000 | #Constraints: 85434
3362.80/3424.70 c #Conflicts: 255000 | #Constraints: 86434
3362.80/3424.70 c #Conflicts: 256000 | #Constraints: 87434
3362.80/3424.70 c INPROCESSING
3362.80/3424.70 c GARBAGE COLLECT
3362.80/3424.70 c #Conflicts: 257000 | #Constraints: 78425
3362.80/3424.70 c #Conflicts: 258000 | #Constraints: 79425
3362.80/3424.70 c #Conflicts: 259000 | #Constraints: 80425
3362.80/3424.70 c #Conflicts: 260000 | #Constraints: 81425
3362.80/3424.70 c #Conflicts: 261000 | #Constraints: 82425
3362.80/3424.70 c #Conflicts: 262000 | #Constraints: 83425
3362.80/3424.70 c #Conflicts: 263000 | #Constraints: 84425
3362.80/3424.70 c #Conflicts: 264000 | #Constraints: 85425
3362.80/3424.70 c #Conflicts: 265000 | #Constraints: 86425
3362.80/3424.70 c #Conflicts: 266000 | #Constraints: 87425
3362.80/3424.70 c INPROCESSING
3362.80/3424.70 c GARBAGE COLLECT
3362.80/3424.70 c #Conflicts: 267000 | #Constraints: 78226
3362.80/3424.70 c #Conflicts: 268000 | #Constraints: 79226
3362.80/3424.70 c #Conflicts: 269000 | #Constraints: 80226
3362.80/3424.70 c #Conflicts: 270000 | #Constraints: 81226
3362.80/3424.70 c #Conflicts: 271000 | #Constraints: 82226
3362.80/3424.70 c #Conflicts: 272000 | #Constraints: 83226
3362.80/3424.70 c #Conflicts: 273000 | #Constraints: 84226
3362.80/3424.70 c #Conflicts: 274000 | #Constraints: 85226
3362.80/3424.70 c #Conflicts: 275000 | #Constraints: 86226
3362.80/3424.70 c #Conflicts: 276000 | #Constraints: 87226
3362.80/3424.70 c #Conflicts: 277000 | #Constraints: 88226
3362.80/3424.70 c INPROCESSING
3362.80/3424.70 c GARBAGE COLLECT
3362.80/3424.70 c #Conflicts: 278000 | #Constraints: 78832
3362.80/3424.70 c #Conflicts: 279000 | #Constraints: 79832
3362.80/3424.70 c #Conflicts: 280000 | #Constraints: 80832
3362.80/3424.70 c #Conflicts: 281000 | #Constraints: 81832
3362.80/3424.70 c #Conflicts: 282000 | #Constraints: 82832
3362.80/3424.70 c #Conflicts: 283000 | #Constraints: 83832
3362.80/3424.70 c #Conflicts: 284000 | #Constraints: 84832
3362.80/3424.70 c #Conflicts: 285000 | #Constraints: 85832
3362.80/3424.70 c #Conflicts: 286000 | #Constraints: 86832
3362.80/3424.70 c #Conflicts: 287000 | #Constraints: 87832
3362.80/3424.70 c #Conflicts: 288000 | #Constraints: 88832
3362.80/3424.70 c INPROCESSING
3362.80/3424.70 c GARBAGE COLLECT
3362.80/3424.70 c #Conflicts: 289000 | #Constraints: 79231
3362.80/3424.70 c #Conflicts: 290000 | #Constraints: 80231
3362.80/3424.70 c #Conflicts: 291000 | #Constraints: 81231
3362.80/3424.70 c #Conflicts: 292000 | #Constraints: 82231
3362.80/3424.70 c #Conflicts: 293000 | #Constraints: 83231
3362.80/3424.70 c #Conflicts: 294000 | #Constraints: 84231
3362.80/3424.70 c #Conflicts: 295000 | #Constraints: 85231
3362.80/3424.70 c #Conflicts: 296000 | #Constraints: 86231
3362.80/3424.70 c #Conflicts: 297000 | #Constraints: 87231
3362.80/3424.70 c #Conflicts: 298000 | #Constraints: 88231
3362.80/3424.70 c #Conflicts: 299000 | #Constraints: 89231
3362.80/3424.70 c INPROCESSING
3362.80/3424.70 c GARBAGE COLLECT
3362.80/3424.70 c #Conflicts: 300000 | #Constraints: 79440
3362.80/3424.70 c #Conflicts: 301000 | #Constraints: 80440
3362.80/3424.70 c #Conflicts: 302000 | #Constraints: 81440
3362.80/3424.70 c #Conflicts: 303000 | #Constraints: 82440
3362.80/3424.70 c #Conflicts: 304000 | #Constraints: 83440
3362.80/3424.70 c #Conflicts: 305000 | #Constraints: 84440
3362.80/3424.70 c #Conflicts: 306000 | #Constraints: 85440
3362.80/3424.70 c #Conflicts: 307000 | #Constraints: 86440
3362.80/3424.70 c #Conflicts: 308000 | #Constraints: 87440
3362.80/3424.70 c #Conflicts: 309000 | #Constraints: 88440
3362.80/3424.70 c #Conflicts: 310000 | #Constraints: 89440
3600.06/3662.83 c INPROCESSING
3600.06/3662.83 c GARBAGE COLLECT
3600.06/3662.83 c #Conflicts: 311000 | #Constraints: 79443
3600.06/3662.83 c #Conflicts: 312000 | #Constraints: 80443
3600.06/3662.83 c #Conflicts: 313000 | #Constraints: 81443
3600.06/3662.83 c #Conflicts: 314000 | #Constraints: 82443
3600.06/3662.83 c #Conflicts: 315000 | #Constraints: 83443
3600.06/3662.83 c #Conflicts: 316000 | #Constraints: 84443
3600.06/3662.83 c #Conflicts: 317000 | #Constraints: 85443
3600.06/3662.83 c #Conflicts: 318000 | #Constraints: 86443
3600.06/3662.83 c #Conflicts: 319000 | #Constraints: 87443
3600.06/3662.83 c #Conflicts: 320000 | #Constraints: 88443
3600.06/3662.83 c #Conflicts: 321000 | #Constraints: 89443
3600.06/3662.83 c INPROCESSING
3600.06/3662.83 c GARBAGE COLLECT
3600.06/3662.83 c #Conflicts: 322000 | #Constraints: 79246
3600.06/3662.83 c #Conflicts: 323000 | #Constraints: 80246
3600.06/3662.83 c #Conflicts: 324000 | #Constraints: 81246
3600.06/3662.83 c #Conflicts: 325000 | #Constraints: 82246
3600.06/3662.83 c #Conflicts: 326000 | #Constraints: 83246
3600.06/3662.83 c #Conflicts: 327000 | #Constraints: 84246
3600.06/3662.83 c #Conflicts: 328000 | #Constraints: 85246
3600.06/3662.83 c #Conflicts: 329000 | #Constraints: 86246
3600.06/3662.83 c cpu time 3525.87 s
3600.06/3662.83 c deterministic time 1 1.00e+00
3600.06/3662.83 c optimization time 3524.39 s
3600.06/3662.83 c total solve time 0 s
3600.06/3662.83 c core-guided solve time 0 s
3600.06/3662.83 c propagation time 0.028755 s
3600.06/3662.83 c conflict analysis time 0 s
3600.06/3662.83 c propagations 0
3600.06/3662.83 c resolve steps 0
3600.06/3662.83 c decisions 0
3600.06/3662.83 c conflicts 0
3600.06/3662.83 c restarts 0
3600.06/3662.83 c inprocessing phases 0
3600.06/3662.83 c garbage collections 0 ,( -nan )
3600.06/3662.83 c input clauses 65280 ,( 100.00 )
3600.06/3662.83 c input cardinalities 0 ,( 0.00 )
3600.06/3662.83 c input general constraints 0 ,( 0.00 )
3600.06/3662.83 c input average constraint length 78.31
3600.06/3662.83 c input average constraint degree 1.00
3600.06/3662.83 c learned clauses 0 ,( 0.00 )
3600.06/3662.83 c learned cardinalities 0 ,( 0.00 )
3600.06/3662.83 c learned general constraints 0 ,( 0.00 )
3600.06/3662.83 c learned average constraint length 0.00
3600.06/3662.83 c learned average constraint degree 0.00
3600.06/3662.83 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.06/3662.83 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.06/3662.83 c watched constraints 0 ,( -nan )
3600.06/3662.83 c counting constraints 0 ,( -nan )
3600.06/3662.83 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.06/3662.83 c gcd simplifications 0
3600.06/3662.83 c detected cardinalities 0
3600.06/3662.83 c weakened non-implied lits 0
3600.06/3662.83 c weakened non-implying lits 0
3600.06/3662.83 c original variables 14300
3600.06/3662.83 c clausal propagations 0
3600.06/3662.83 c cardinality propagations 0
3600.06/3662.83 c watched propagations 0
3600.06/3662.83 c counting propagations 0
3600.06/3662.83 c watch lookups 0
3600.06/3662.83 c watch backjump lookups 0
3600.06/3662.83 c watch checks 0
3600.06/3662.83 c propagation checks 0
3600.06/3662.83 c constraint additions 0
3600.06/3662.83 c trail pops 0
3600.06/3662.83 c formula constraints 65280
3600.06/3662.83 c learned constraints 0
3600.06/3662.83 c bound constraints 0
3600.06/3662.83 c core-guided constraints 0
3600.06/3662.83 c encountered formula constraints 0
3600.06/3662.83 c encountered learned constraints 0
3600.06/3662.83 c encountered bound constraints 0
3600.06/3662.83 c encountered core-guided constraints 0
3600.06/3662.83 c LP total time 0 s
3600.06/3662.83 c LP solve time 0 s
3600.06/3662.83 c LP constraints added 0
3600.06/3662.83 c LP constraints removed 0
3600.06/3662.83 c LP pivots internal 0
3600.06/3662.83 c LP pivots root 0
3600.06/3662.83 c LP calls 0
3600.06/3662.83 c LP optimalities 0
3600.06/3662.83 c LP no pivot count 0
3600.06/3662.83 c LP infeasibilities 0
3600.06/3662.83 c LP valid Farkas constraints 0
3600.06/3662.83 c LP learned Farkas constraints 0
3600.06/3662.83 c LP basis resets 0
3600.06/3662.83 c LP cycling count 0
3600.06/3662.83 c LP singular count 0
3600.06/3662.83 c LP no primal count 0
3600.06/3662.83 c LP no farkas count 0
3600.06/3662.83 c LP other issue count 0
3600.06/3662.83 c LP Gomory cuts 0
3600.06/3662.83 c LP learned cuts 0
3600.06/3662.83 c LP deleted cuts 0
3600.06/3662.83 c LP encountered Gomory constraints 0
3600.06/3662.83 c LP encountered Farkas constraints 0
3600.06/3662.83 c LP encountered learned Farkas constraints 0
3600.06/3662.83 c CG auxiliary variables introduced 0
3600.06/3662.83 c CG solutions found 0
3600.06/3662.83 c CG cores constructed 0
3600.06/3662.83 c CG core cardinality constraints returned 0
3600.06/3662.83 c CG unit cores 0
3600.06/3662.83 c CG single cores 0
3600.06/3662.83 c CG blocks removed during cardinality reduction 0
3600.06/3662.83 c CG first core best 0
3600.06/3662.83 c CG decision core best 0
3600.06/3662.83 c CG core reduction tie 0
3600.06/3662.83 c CG core degree average 0.00
3600.06/3662.83 c CG core slack average 0.00
3600.06/3662.83 c CG core upper bound improvements 0
3600.06/3662.83 c STR number of successful calls 0
3600.06/3662.83 c STR number of unsuccessful calls 0
3600.06/3662.83 c STR number of inconclusive calls 0
3600.06/3662.83 c STR number of successful attempts 0
3600.06/3662.83 c STR number of unsuccessful attempts 0
3600.06/3662.83 c STR number of inconclusive attempts 0
3600.06/3662.83 c STR average degree increase per successful call inf
3600.06/3662.83 c STR average degree increase per successful attempt inf
3600.06/3662.83 c STR total number of conflicts for successful attempts 0
3600.06/3662.83 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3662.83 c STR total number of conflicts for inconclusive attempts 0
3600.06/3662.83 c STR average number of conflicts per successful attempt inf
3600.06/3662.83 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3662.83 c STR average number of conflicts per inconclusive attempt inf
3600.06/3662.83 c AVG.sumWPerc -nan
3600.06/3662.83 c bigint constraints 0
3600.06/3662.83 s UNKNOWN
3600.06/3662.83 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (60757 MiB free)
memory of node 1: 64507 MiB (58709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502969-1751446455/watcher-4502969-1751446455 -o /tmp/evaluation-result-4502969-1751446455/solver-4502969-1751446455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67589 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502969-1751446455.opb PROOFDIR/proof-4502969-1751446455
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=68718, runsolver pid=68715
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.27 4.18 4.13 5/273 68720
/proc/meminfo: memFree=122327412/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=58272 memory=13472 CPUtime=0.08 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1629 0 0 0 8 0 0 0 20 0 1 0 60323390 59670528 3368 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 14568 3368 1952 1147 0 1995 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62464 KiB
Current children cumulated memory: 16544 KiB
[startup+0.205729 s]*
/proc/loadavg: 4.27 4.18 4.13 5/273 68720
/proc/meminfo: memFree=122315252/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=58832 memory=15976 CPUtime=0.19 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1758 0 0 0 18 1 0 0 20 0 1 0 60323390 60243968 3994 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 14708 3994 1952 1147 0 2135 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63024 KiB
Current children cumulated memory: 19048 KiB
[startup+0.305857 s]*
/proc/loadavg: 4.27 4.18 4.13 5/273 68720
/proc/meminfo: memFree=122310652/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=61976 memory=16872 CPUtime=0.29 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1978 0 0 0 27 2 0 0 20 0 1 0 60323390 63463424 4218 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 15494 4218 1952 1147 0 2921 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 66168 KiB
Current children cumulated memory: 19944 KiB
[startup+0.700166 s]
/proc/loadavg: 4.27 4.18 4.13 6/273 68720
/proc/meminfo: memFree=122302272/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=68168 memory=25404 CPUtime=0.67 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 3142 0 0 0 64 3 0 0 20 0 1 0 60323390 69804032 6351 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 17042 6351 1952 1147 0 4469 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 72360 KiB
Current children cumulated memory: 28476 KiB
[startup+1.50019 s]
/proc/loadavg: 4.27 4.18 4.13 5/273 68720
/proc/meminfo: memFree=122263052/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=150384 memory=102172 CPUtime=1.47 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 17520 0 0 0 137 10 0 0 20 0 1 0 60323390 153993216 25543 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 37596 25543 2240 1147 0 25023 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 154576 KiB
Current children cumulated memory: 105244 KiB
[startup+3.1054 s]
/proc/loadavg: 4.25 4.18 4.12 5/273 68720
/proc/meminfo: memFree=121880428/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=358064 memory=291680 CPUtime=3.07 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 50251 0 0 0 268 39 0 0 20 0 1 0 60323390 366657536 72920 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 89516 72920 2304 1147 0 76943 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 362256 KiB
Current children cumulated memory: 294752 KiB
[startup+6.30017 s]
/proc/loadavg: 4.25 4.18 4.12 5/273 68720
/proc/meminfo: memFree=121573280/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=482032 memory=428568 CPUtime=6.26 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 74206 0 0 0 509 117 0 0 20 0 1 0 60323390 493600768 107142 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 120508 107142 2336 1147 0 107935 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 486224 KiB
Current children cumulated memory: 431640 KiB
[startup+12.7002 s]
/proc/loadavg: 4.21 4.17 4.12 5/273 68720
/proc/meminfo: memFree=120297152/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=656412 memory=602152 CPUtime=12.64 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 105854 0 0 0 1002 262 0 0 20 0 1 0 60323390 672165888 150538 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 164103 150538 2336 1147 0 151530 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 660604 KiB
Current children cumulated memory: 605224 KiB
[startup+25.5002 s]
/proc/loadavg: 4.26 4.18 4.13 5/273 68720
/proc/meminfo: memFree=118690860/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=991224 memory=903900 CPUtime=25.39 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 163432 0 0 0 2045 494 0 0 20 0 1 0 60323390 1015013376 225975 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 247806 225975 2336 1147 0 235233 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 995416 KiB
Current children cumulated memory: 906972 KiB
[startup+51.1056 s]
/proc/loadavg: 4.24 4.18 4.13 5/273 68721
/proc/meminfo: memFree=113372592/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=1637832 memory=1450516 CPUtime=50.91 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 266876 0 0 0 4301 790 0 0 20 0 1 0 60323390 1677139968 362629 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 409458 362629 2336 1147 0 396885 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1642024 KiB
Current children cumulated memory: 1453588 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/273 68723
/proc/meminfo: memFree=107974820/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=2821056 memory=2377680 CPUtime=101.91 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 448140 0 0 0 9193 998 0 0 20 0 1 0 60323390 2888761344 594420 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 705264 594420 2336 1147 0 692691 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 2825248 KiB
Current children cumulated memory: 2380752 KiB
[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.12 5/273 68725
/proc/meminfo: memFree=103668456/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=3221168 memory=2498400 CPUtime=161.68 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 468078 0 0 0 14997 1171 0 0 20 0 1 0 60323390 3298476032 624600 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 805292 624600 2336 1147 0 792719 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 3225360 KiB
Current children cumulated memory: 2501472 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/275 68731
/proc/meminfo: memFree=96317616/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=3221908 memory=2550292 CPUtime=221.42 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 479134 0 0 0 20802 1340 0 0 20 0 1 0 60323390 3299233792 637573 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 805477 637573 2336 1147 0 792904 0
################
# More data... #
################
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9203680 memory=7141748 CPUtime=3161.09 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1383217 0 0 0 309374 6735 0 0 20 0 1 0 60323390 9424568320 1785437 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2300920 1785437 2336 1147 0 2288347 0
Current children cumulated CPU time: 3161.09 s
Current children cumulated vsize: 9207872 KiB
Current children cumulated memory: 7144820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/276 68926
/proc/meminfo: memFree=1155932/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9203680 memory=7141748 CPUtime=3220.89 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1386953 0 0 0 315254 6835 0 0 20 0 1 0 60323390 9424568320 1785437 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2300920 1785437 2336 1147 0 2288347 0
Current children cumulated CPU time: 3220.89 s
Current children cumulated vsize: 9207872 KiB
Current children cumulated memory: 7144820 KiB
[startup+3342.3 s]
/proc/loadavg: 4.13 4.14 4.15 5/277 68934
/proc/meminfo: memFree=1271644/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9254012 memory=7171828 CPUtime=3280.69 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1430667 0 0 0 321127 6942 0 0 20 0 1 0 60323390 9476108288 1792957 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2313503 1792957 2336 1147 0 2300930 0
Current children cumulated CPU time: 3280.69 s
Current children cumulated vsize: 9258204 KiB
Current children cumulated memory: 7174900 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/277 68936
/proc/meminfo: memFree=1320028/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9254012 memory=7171828 CPUtime=3340.49 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1440214 0 0 0 327007 7042 0 0 20 0 1 0 60323390 9476108288 1792957 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2313503 1792957 2336 1147 0 2300930 0
Current children cumulated CPU time: 3340.49 s
Current children cumulated vsize: 9258204 KiB
Current children cumulated memory: 7174900 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.13 4.14 5/278 68939
/proc/meminfo: memFree=1241420/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9408488 memory=7300216 CPUtime=3400.27 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1481939 0 0 0 332889 7138 0 0 20 0 1 0 60323390 9634291712 1825054 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2352122 1825054 2336 1147 0 2339549 0
Current children cumulated CPU time: 3400.27 s
Current children cumulated vsize: 9412680 KiB
Current children cumulated memory: 7303288 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.12 4.13 5/278 68941
/proc/meminfo: memFree=1261420/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9408488 memory=7300216 CPUtime=3460.09 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1485540 0 0 0 338791 7218 0 0 20 0 1 0 60323390 9634291712 1825054 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2352122 1825054 2336 1147 0 2339549 0
Current children cumulated CPU time: 3460.09 s
Current children cumulated vsize: 9412680 KiB
Current children cumulated memory: 7303288 KiB
[startup+3582.3 s]
/proc/loadavg: 4.36 4.21 4.17 5/276 68943
/proc/meminfo: memFree=1304308/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9731724 memory=7684656 CPUtime=3519.91 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1561356 0 0 0 344697 7294 0 0 20 0 1 0 60323390 9965285376 1921164 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2432931 1921164 2336 1147 0 2420358 0
Current children cumulated CPU time: 3519.91 s
Current children cumulated vsize: 9735916 KiB
Current children cumulated memory: 7687728 KiB
[startup+3642.3 s]
/proc/loadavg: 3.23 3.96 4.09 2/254 69039
/proc/meminfo: memFree=104524784/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9731724 memory=7684656 CPUtime=3579.62 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1562330 0 0 0 350565 7397 0 0 20 0 1 0 60323390 9965285376 1921164 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2432931 1921164 2336 1147 0 2420358 0
Current children cumulated CPU time: 3579.62 s
Current children cumulated vsize: 9735916 KiB
Current children cumulated memory: 7687728 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3662.8 s]
/proc/loadavg: 2.66 3.79 4.03 2/255 69040
/proc/meminfo: memFree=104179912/131250000 swapFree=33010416/33010684
[pid=68718] ppid=68715 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/68718/stat : 68718 (run-opt-log.sh) S 68715 68718 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 60323389 4292608 768 18446744073709551615 94698602643456 94698603537989 140727830188272 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94698603777040 94698603824784 94698619621376 140727830190369 140727830190564 140727830190564 140727830196166 0
/proc/68718/statm: 1048 768 704 219 0 110 0
[pid=68720] ppid=68718 vsize=9731724 memory=7684656 CPUtime=3600.06 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68718 68718 67579 0 -1 4194304 1562783 0 0 0 352586 7420 0 0 20 0 1 0 60323390 9965285376 1921164 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 2432931 1921164 2336 1147 0 2420358 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 9735916 KiB
Current children cumulated memory: 7687728 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3662.8 s]
# the end of solver process 68718 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001002 s, system=0.000998 s
[startup+3663.35 s]
# the end of solver process 68720 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3525.89 s, system=74.5363 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+3663.2 s]
/proc/loadavg: 2.53 3.74 4.01 2/254 69040
/proc/meminfo: memFree=104185224/131250000 swapFree=33010416/33010684
[pid=68720] ppid=68715 vsize=4099744 memory=2994796 CPUtime=3600.27 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68715 68718 67579 0 -1 4194304 1562844 0 2 0 352589 7438 0 0 20 0 1 0 60323390 4198137856 748699 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 1024936 748699 2464 1147 0 1012363 0
Current cumulated CPU time of completed processes: 0.002 s
Current children cumulated CPU time: 3600.27 s
Current children cumulated vsize: 4099744 KiB
Current children cumulated memory: 2994796 KiB
[startup+3663.3 s]
/proc/loadavg: 2.53 3.74 4.01 2/254 69040
/proc/meminfo: memFree=104185224/131250000 swapFree=33010416/33010684
[pid=68720] ppid=68715 vsize=4099744 memory=1171556 CPUtime=3600.37 cores=0,2
/proc/68720/stat : 68720 (roundingsat) R 68715 68718 67579 0 -1 4194304 1562844 0 2 0 352589 7448 0 0 20 0 1 0 60323390 4198137856 292889 18446744073709551615 4227072 8923433 140733990530880 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10874880 140733990537554 140733990537768 140733990537768 140733990543338 0
/proc/68720/statm: 1024936 292889 2464 1147 0 1012363 0
Current cumulated CPU time of completed processes: 0.002 s
Current children cumulated CPU time: 3600.37 s
Current children cumulated vsize: 4099744 KiB
Current children cumulated memory: 1171556 KiB
Child status: 2
Real time (s): 3663.35
CPU time (s): 3600.43
CPU user time (s): 3525.89
CPU system time (s): 74.5363
CPU usage (%): 98.2823
Max. virtual memory (cumulated for all children) (KiB): 9735916
Max. memory (cumulated for all children) (KiB): 7687728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3525.89
system time used= 74.5363
maximum resident set size= 7685040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1563068
page faults= 2
swaps= 0
block input operations= 5832
block output operations= 123891368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4641
involuntary context switches= 24615
# summary of solver processes directly reported to runsolver:
# pid: 68718,68720
# total CPU time (s): 3600.43
# total CPU user time (s): 3525.89
# total CPU system time (s): 74.5363
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.05444 second user time and 15.7585 second system time
The end
Begin job on nodeC018 at 2025-07-02 10:54:15
IDJOB=4502969
IDBENCH=155402
IDSOLVER=3351
FILE ID=nodeC018/4502969-1751446455
RUNJOBID= nodeC018-1751439163-67589
SLURM_JOB_ID= 9598397
Free space on /tmp= 432216 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_14_shg.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502969-1751446455/watcher-4502969-1751446455 -o /tmp/evaluation-result-4502969-1751446455/solver-4502969-1751446455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67589 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502969-1751446455.opb PROOFDIR/proof-4502969-1751446455
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= c0e25a71d8726d42148f3e780c01ff44
RANDOM SEED=253591150
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3679.447
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.889
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.262
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.179
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.909
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.097
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3611.452
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 122334000 kB
MemAvailable: 123639988 kB
Buffers: 2128 kB
Cached: 2071668 kB
SwapCached: 32 kB
Active: 6564316 kB
Inactive: 1655124 kB
Active(anon): 6163128 kB
Inactive(anon): 288 kB
Active(file): 401188 kB
Inactive(file): 1654836 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 419060 kB
Writeback: 0 kB
AnonPages: 6148480 kB
Mapped: 116948 kB
Shmem: 18044 kB
KReclaimable: 178004 kB
Slab: 279920 kB
SReclaimable: 178004 kB
SUnreclaim: 101916 kB
KernelStack: 4384 kB
PageTables: 15656 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 7044656 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150648 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 651264 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432880 MiB
End job on nodeC018 at 2025-07-02 11:55:19