0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.02 c #variables 225 #constraints 350
0.00/0.02 c objective is ce32
0.00/0.02 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.02 c initial counting CF 32, 64, 128, Arb: 151 , 0 , 0 , 0
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.001764
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.002012
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.002086
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.002086
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.002086
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.002086
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.002261
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.00249
0.00/0.02 c GLOBAL bounds - >= -75 @ 0.002719
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002949
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002993
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002993
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002993
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002993
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002995
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002995
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002995
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.002995
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.003081
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.003309
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.003542
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.003761
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.00423
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004456
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004673
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004867
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004867
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004867
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004867
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004896
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004909
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004909
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004909
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004909
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005089
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005316
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005523
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.00575
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005894
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005894
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005894
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005894
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005911
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.006145
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.006346
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.006571
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.00677
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006831
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006895
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007113
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007299
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007492
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007751
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007824
0.00/0.04 c rational objective -25
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.01404
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014065
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014081
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014096
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.01411
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014124
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014138
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014152
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014167
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014181
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014195
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014209
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014223
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014238
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014252
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014266
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.01428
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014293
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014307
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014321
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014335
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014349
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014363
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014377
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014395
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.01441
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014424
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014438
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014455
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014471
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014485
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014499
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014552
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014552
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014552
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014552
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014552
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014552
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014589
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014641
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014661
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014879
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.014898
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.015116
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.015135
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.01535
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.015369
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.015572
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.015598
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.015812
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.015835
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.016049
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.016073
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.016286
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.016308
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.016523
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.016544
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.016759
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.016935
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.017049
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.017159
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.017264
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.017404
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.017543
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.017715
0.00/0.05 c GLOBAL bounds - >= -73 @ 0.017858
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.017976
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018052
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018075
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018095
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018123
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018143
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018162
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.01818
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018198
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018217
0.00/0.05 c GLOBAL bounds - >= -71 @ 0.018239
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018463
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018489
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018552
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018552
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018552
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018552
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018552
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018552
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018552
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018552
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018735
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018764
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.018982
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.019011
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.019257
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.019285
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.019503
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.019533
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.019784
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.01993
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.020069
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.020204
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.020334
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.020464
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -71 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020747
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020776
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.020998
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.021032
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.021253
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.021284
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.021504
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.021542
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.02179
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.021828
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.02205
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022086
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022334
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.02237
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022572
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -68 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022576
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022728
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022765
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.022993
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.023032
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.02326
0.00/0.06 c GLOBAL bounds - >= -63 @ 0.023306
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.023534
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.023568
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.023806
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.023845
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.024077
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.024311
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.024578
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.024844
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.025163
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.025779
0.00/0.07 c GLOBAL bounds - >= -63 @ 0.02624
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.026611
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.026762
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.026789
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.026822
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.026846
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.026873
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.026896
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.026918
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027182
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027219
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027524
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027555
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027555
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027555
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027555
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027555
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027555
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027555
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027637
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.02768
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027916
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.027972
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.028213
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.028268
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.028505
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.028559
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.028801
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.029041
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.029315
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.029566
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.029566
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.030352
0.00/0.07 c GLOBAL bounds - >= -59 @ 0.030856
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031387
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031539
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031565
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031569
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031778
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.031825
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.032074
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.032119
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.032372
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.032411
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.032664
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.032705
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.03296
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.033018
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.033275
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.03333
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.033564
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.033564
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.033564
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.033564
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.034011
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.034362
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.034921
0.00/0.08 c GLOBAL bounds - >= -56 @ 0.035447
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036426
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036614
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036644
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036669
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036693
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036753
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036804
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036852
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036899
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.036945
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.037211
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.037245
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.037509
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.037543
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.037808
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.037844
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.03811
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.038164
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.038432
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.038485
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.038552
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.038552
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.038552
0.00/0.08 c GLOBAL bounds - >= -53 @ 0.038552
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.038552
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.038552
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.038799
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.038852
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.039145
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.039468
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.039561
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.039561
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.039774
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.04029
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.040887
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.041498
0.00/0.09 c GLOBAL bounds - >= -53 @ 0.04155
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042254
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042436
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042472
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042498
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042518
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042536
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042555
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042577
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.04286
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.042904
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.043189
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.043241
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.043528
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.043596
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.043887
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.043954
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.044249
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.044315
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.044614
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.044679
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.044977
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.045045
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.045351
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.045414
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.04572
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.045787
0.00/0.09 c GLOBAL bounds - >= -50 @ 0.046098
0.00/0.10 c GLOBAL bounds - >= -50 @ 0.046414
0.06/0.10 c GLOBAL bounds - >= -50 @ 0.046883
0.06/0.10 c GLOBAL bounds - >= -50 @ 0.047356
0.06/0.10 c GLOBAL bounds - >= -50 @ 0.04783
0.06/0.10 c GLOBAL bounds - >= -50 @ 0.048774
0.06/0.10 c GLOBAL bounds - >= -50 @ 0.049159
0.06/0.10 c GLOBAL bounds - >= -50 @ 0.049803
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.054194
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.054497
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.054547
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.054592
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.054637
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.054687
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.05501
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.05504
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.05504
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.05504
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.05504
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.05504
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.055458
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.055522
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.055843
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.055913
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.056236
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.056306
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.056633
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.056701
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.057034
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.057106
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.057444
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.057512
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.057862
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.05803
0.06/0.11 c GLOBAL bounds - >= -47 @ 0.05803
0.06/0.12 c GLOBAL bounds - >= -47 @ 0.05803
0.06/0.12 c GLOBAL bounds - >= -47 @ 0.058033
0.06/0.12 c GLOBAL bounds - >= -47 @ 0.058218
0.06/0.12 c GLOBAL bounds - >= -47 @ 0.059157
0.06/0.12 c GLOBAL bounds - >= -47 @ 0.060086
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065078
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065367
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065411
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065451
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065505
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065553
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065601
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065648
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065714
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.065778
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.066285
0.06/0.12 c GLOBAL bounds - >= -45 @ 0.066355
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.066713
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.066784
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.067146
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.067215
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.067589
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.067657
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.067942
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.067942
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.067942
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.067942
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.068002
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.06807
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.068464
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.068533
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.068904
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.068958
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.06937
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.070052
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.070687
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.071611
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.072453
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.073298
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.074117
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.074922
0.06/0.13 c GLOBAL bounds - >= -45 @ 0.075609
0.06/0.14 c GLOBAL bounds - >= -45 @ 0.076445
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.093158
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.093616
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.093687
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.093755
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.093818
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.093879
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.09394
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.093999
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.094059
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.094119
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.094192
0.06/0.15 c GLOBAL bounds - >= -41 @ 0.094257
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.09574
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.095824
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.096269
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.096359
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.09681
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.09685
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.09685
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.09685
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.096943
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.097029
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.097503
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.097594
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.098057
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.098148
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.098639
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.098729
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.099264
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.09937
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.099889
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.1006
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.101526
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.102245
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.102789
0.06/0.16 c GLOBAL bounds - >= -41 @ 0.103581
0.06/0.17 c GLOBAL bounds - >= -41 @ 0.104645
0.06/0.17 c GLOBAL bounds - >= -41 @ 0.105554
0.06/0.17 c GLOBAL bounds - >= -41 @ 0.107014
0.06/0.17 c GLOBAL bounds - >= -41 @ 0.108151
0.06/0.18 c #Conflicts: 1000 | #Constraints: 1360
0.06/0.18 c GLOBAL bounds - >= -41 @ 0.119087
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.144281
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.144843
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.144904
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.144971
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145029
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145083
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145137
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.14519
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145248
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145302
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145355
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145412
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145915
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.145981
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.146355
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.146355
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.14646
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.146531
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.147041
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.147124
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.147638
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.147726
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.148252
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.148338
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.148884
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.148979
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.149533
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.149627
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.150192
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.150286
0.17/0.21 c GLOBAL bounds - >= -39 @ 0.150867
0.17/0.22 c GLOBAL bounds - >= -39 @ 0.15182
0.17/0.22 c GLOBAL bounds - >= -39 @ 0.152872
0.17/0.22 c GLOBAL bounds - >= -39 @ 0.153894
0.17/0.22 c GLOBAL bounds - >= -39 @ 0.154984
0.17/0.22 c GLOBAL bounds - >= -39 @ 0.15674
0.17/0.22 c GLOBAL bounds - >= -39 @ 0.160365
0.17/0.25 c GLOBAL bounds - >= -39 @ 0.19062
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.198023
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.198664
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.198724
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.199313
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.199384
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.200026
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.200095
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.200691
0.17/0.26 c GLOBAL bounds - >= -38 @ 0.200759
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.201226
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.201226
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.201226
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.201226
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.201816
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.201924
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.202554
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.202662
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.20332
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.20343
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.204106
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.20422
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.204918
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.205691
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.206217
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.207174
0.17/0.27 c GLOBAL bounds - >= -38 @ 0.208225
0.17/0.28 c GLOBAL bounds - >= -38 @ 0.208225
0.17/0.28 c GLOBAL bounds - >= -38 @ 0.209503
0.17/0.28 c #Conflicts: 2000 | #Constraints: 2389
0.17/0.28 c INPROCESSING
0.17/0.28 c GARBAGE COLLECT
0.17/0.28 c GLOBAL bounds - >= -38 @ 0.215953
0.27/0.40 c #Conflicts: 3000 | #Constraints: 2407
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.327629
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.328464
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.328546
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.328631
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.328709
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.328787
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.328871
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.32896
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.329075
0.27/0.40 c GLOBAL bounds - >= -35 @ 0.329196
0.27/0.41 c GLOBAL bounds - >= -35 @ 0.330385
0.27/0.41 c GLOBAL bounds - >= -35 @ 0.33048
0.27/0.41 c GLOBAL bounds - >= -35 @ 0.331062
0.27/0.41 c GLOBAL bounds - >= -35 @ 0.331152
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.331757
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.331779
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.331779
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.331779
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.332141
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.332231
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.332836
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.332949
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.333565
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.333673
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.334297
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.334399
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.33502
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.335133
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.335786
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.336485
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.337339
0.37/0.41 c GLOBAL bounds - >= -35 @ 0.338164
0.37/0.42 c GLOBAL bounds - >= -35 @ 0.338982
0.37/0.42 c GLOBAL bounds - >= -35 @ 0.339824
0.37/0.42 c GLOBAL bounds - >= -35 @ 0.341202
0.37/0.42 c GLOBAL bounds - >= -35 @ 0.342081
0.37/0.42 c GLOBAL bounds - >= -35 @ 0.342977
0.37/0.42 c GLOBAL bounds - >= -35 @ 0.344464
0.37/0.42 c GLOBAL bounds - >= -35 @ 0.344894
0.37/0.43 c GLOBAL bounds - >= -35 @ 0.351992
0.37/0.44 c GLOBAL bounds - >= -35 @ 0.367066
0.37/0.44 c GLOBAL bounds - >= -35 @ 0.367403
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.36803
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368061
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368088
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368114
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368139
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368198
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368243
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368286
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368328
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.36837
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368413
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368455
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.368496
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.369157
0.37/0.45 c GLOBAL bounds - >= -35 @ 0.369223
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.376459
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.376552
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.377198
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.377273
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.377903
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.377977
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.378618
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.378723
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.379368
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.379499
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.380161
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.380278
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.380969
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.381085
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.381815
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.381925
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.382664
0.37/0.46 c GLOBAL bounds - >= -35 @ 0.382812
0.37/0.47 c GLOBAL bounds - >= -35 @ 0.386395
0.37/0.47 c GLOBAL bounds - >= -35 @ 0.389022
0.37/0.47 c GLOBAL bounds - >= -35 @ 0.390907
0.37/0.47 c GLOBAL bounds - >= -35 @ 0.391647
0.37/0.47 c GLOBAL bounds - >= -35 @ 0.394386
0.37/0.48 c GLOBAL bounds - >= -35 @ 0.398432
0.47/0.57 c #Conflicts: 4000 | #Constraints: 3445
0.47/0.57 c INPROCESSING
0.47/0.57 c GARBAGE COLLECT
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.485153
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.485778
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.485843
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.485925
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.485996
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.486066
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.486134
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.486203
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.48707
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.487135
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.487629
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.487724
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.488223
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.488333
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.488845
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.488961
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.489493
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.48961
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.490138
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.490272
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.490802
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.49092
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.491463
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.491587
0.47/0.57 c GLOBAL bounds - >= -34 @ 0.492128
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.492246
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.492795
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.493384
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.494008
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.49463
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.49528
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.497397
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.497502
0.47/0.58 c GLOBAL bounds - >= -34 @ 0.498263
0.56/0.61 c #Conflicts: 5000 | #Constraints: 2871
0.56/0.61 c GLOBAL bounds - >= -34 @ 0.522274
1.07/1.17 c #Conflicts: 6000 | #Constraints: 3871
1.07/1.17 c INPROCESSING
1.07/1.17 c GARBAGE COLLECT
1.07/1.17 c #Conflicts: 7000 | #Constraints: 2880
1.07/1.17 c #Conflicts: 8000 | #Constraints: 3880
1.07/1.17 c #Conflicts: 9000 | #Constraints: 4880
1.07/1.17 c INPROCESSING
1.07/1.17 c GARBAGE COLLECT
1.07/1.17 c GLOBAL bounds - >= -31 @ 1.07345
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07384
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07384
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07384
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07387
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07394
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07398
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07401
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07507
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07516
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07585
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07594
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07649
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07658
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07713
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07725
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07781
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07794
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07852
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07864
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07895
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07895
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07895
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07895
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07895
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07895
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07895
1.07/1.18 c GLOBAL bounds - >= -31 @ 1.07905
1.07/1.19 c GLOBAL bounds - >= -31 @ 1.07978
1.07/1.19 c GLOBAL bounds - >= -31 @ 1.08064
1.07/1.19 c GLOBAL bounds - >= -31 @ 1.0816
1.07/1.19 c GLOBAL bounds - >= -31 @ 1.08231
1.07/1.19 c GLOBAL bounds - >= -31 @ 1.084
1.07/1.19 c GLOBAL bounds - >= -31 @ 1.08899
1.07/1.20 c GLOBAL bounds - >= -31 @ 1.09002
1.16/1.20 c GLOBAL bounds - >= -31 @ 1.09116
1.25/1.33 c #Conflicts: 10000 | #Constraints: 3606
1.25/1.33 c GLOBAL bounds - >= -30 @ 1.22729
1.25/1.33 c GLOBAL bounds - >= -30 @ 1.22823
1.25/1.33 c GLOBAL bounds - >= -30 @ 1.22828
1.25/1.33 c GLOBAL bounds - >= -30 @ 1.22833
1.25/1.33 c GLOBAL bounds - >= -30 @ 1.22837
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22841
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22844
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22846
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22849
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22853
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22856
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22871
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22948
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.22959
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23034
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23045
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23121
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23136
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23211
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23225
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23301
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23314
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23391
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23404
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23461
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23461
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.2348
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23495
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23578
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23593
1.25/1.34 c GLOBAL bounds - >= -30 @ 1.23678
1.25/1.35 c GLOBAL bounds - >= -30 @ 1.2377
1.25/1.35 c GLOBAL bounds - >= -30 @ 1.23867
1.25/1.35 c GLOBAL bounds - >= -30 @ 1.23962
1.25/1.35 c GLOBAL bounds - >= -30 @ 1.24051
1.25/1.35 c GLOBAL bounds - >= -30 @ 1.24156
1.25/1.35 c GLOBAL bounds - >= -30 @ 1.24281
1.25/1.35 c GLOBAL bounds - >= -30 @ 1.24411
1.25/1.35 c GLOBAL bounds - >= -30 @ 1.24577
1.35/1.49 c #Conflicts: 11000 | #Constraints: 4625
1.35/1.49 c #Conflicts: 12000 | #Constraints: 5625
1.35/1.49 c INPROCESSING
1.35/1.49 c GARBAGE COLLECT
1.35/1.49 c GLOBAL bounds - >= -30 @ 1.38201
2.26/2.38 c #Conflicts: 13000 | #Constraints: 4074
2.26/2.38 c #Conflicts: 14000 | #Constraints: 5074
2.26/2.38 c #Conflicts: 15000 | #Constraints: 6074
2.26/2.38 c INPROCESSING
2.26/2.38 c GARBAGE COLLECT
2.26/2.38 c #Conflicts: 16000 | #Constraints: 4301
2.26/2.38 c #Conflicts: 17000 | #Constraints: 5301
2.26/2.38 c #Conflicts: 18000 | #Constraints: 6301
2.26/2.38 c INPROCESSING
2.26/2.38 c GARBAGE COLLECT
2.26/2.38 c GLOBAL bounds - >= -30 @ 2.24354
2.65/2.73 c #Conflicts: 19000 | #Constraints: 4310
2.65/2.73 c #Conflicts: 20000 | #Constraints: 5310
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57822
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57934
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57937
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.5794
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57943
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57945
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57948
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57949
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57949
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57949
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57949
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57949
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.57949
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58062
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.5807
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58187
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58198
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58248
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58248
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.5829
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58303
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.5839
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58404
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58498
2.65/2.73 c GLOBAL bounds - >= -29 @ 2.58511
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.58548
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.58548
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.58611
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.58626
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.58722
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.5874
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.58838
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.58934
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.59055
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.5917
2.65/2.74 c GLOBAL bounds - >= -29 @ 2.59246
2.65/2.75 c GLOBAL bounds - >= -29 @ 2.59548
2.65/2.75 c GLOBAL bounds - >= -29 @ 2.59697
2.65/2.75 c GLOBAL bounds - >= -29 @ 2.59849
2.65/2.75 c GLOBAL bounds - >= -29 @ 2.59987
2.65/2.77 c GLOBAL bounds - >= -29 @ 2.6174
3.06/3.17 c #Conflicts: 21000 | #Constraints: 6330
3.06/3.17 c INPROCESSING
3.06/3.17 c GARBAGE COLLECT
3.06/3.17 c #Conflicts: 22000 | #Constraints: 4137
3.06/3.17 c #Conflicts: 23000 | #Constraints: 5137
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01122
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01224
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01228
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01231
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01234
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01237
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.0124
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01243
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01246
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01249
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01249
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01249
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01296
3.06/3.17 c GLOBAL bounds - >= -28 @ 3.01302
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01379
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01385
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01465
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01478
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01562
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01574
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01663
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01676
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01765
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01778
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01867
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01881
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01948
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01948
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01948
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01948
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.01979
3.06/3.18 c GLOBAL bounds - >= -28 @ 3.02088
3.06/3.19 c GLOBAL bounds - >= -28 @ 3.02199
3.06/3.19 c GLOBAL bounds - >= -28 @ 3.02373
3.06/3.19 c GLOBAL bounds - >= -28 @ 3.03046
3.15/3.20 c GLOBAL bounds - >= -28 @ 3.03217
3.15/3.20 c GLOBAL bounds - >= -28 @ 3.03394
3.15/3.20 c GLOBAL bounds - >= -28 @ 3.0401
3.15/3.21 c GLOBAL bounds - >= -28 @ 3.04574
3.15/3.25 c #Conflicts: 24000 | #Constraints: 6156
3.15/3.25 c GLOBAL bounds - >= -28 @ 3.08094
3.35/3.47 c #Conflicts: 25000 | #Constraints: 7156
3.35/3.47 c INPROCESSING
3.35/3.47 c GARBAGE COLLECT
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30041
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30091
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30168
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30171
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30174
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30181
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30183
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30183
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30183
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30183
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30183
3.35/3.47 c GLOBAL bounds - >= -28 @ 3.30183
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30375
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.3038
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30446
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30451
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30517
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30522
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30588
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30594
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30661
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30667
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30735
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30747
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30816
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30832
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30882
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30882
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30895
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30912
3.35/3.48 c GLOBAL bounds - >= -28 @ 3.30983
3.35/3.49 c GLOBAL bounds - >= -28 @ 3.3106
3.35/3.49 c GLOBAL bounds - >= -28 @ 3.31144
3.35/3.49 c GLOBAL bounds - >= -28 @ 3.31233
3.35/3.49 c GLOBAL bounds - >= -28 @ 3.31317
3.35/3.49 c GLOBAL bounds - >= -28 @ 3.31417
3.35/3.49 c GLOBAL bounds - >= -28 @ 3.31508
3.35/3.49 c GLOBAL bounds - >= -28 @ 3.31808
3.35/3.49 c GLOBAL bounds - >= -28 @ 3.31967
3.45/3.53 c GLOBAL bounds - >= -28 @ 3.35134
4.55/4.69 c #Conflicts: 26000 | #Constraints: 4775
4.55/4.69 c #Conflicts: 27000 | #Constraints: 5775
4.55/4.69 c #Conflicts: 28000 | #Constraints: 6775
4.55/4.69 c #Conflicts: 29000 | #Constraints: 7775
4.55/4.69 c INPROCESSING
4.55/4.69 c GARBAGE COLLECT
4.55/4.69 c #Conflicts: 30000 | #Constraints: 5180
4.55/4.69 c #Conflicts: 31000 | #Constraints: 6180
4.55/4.69 c #Conflicts: 32000 | #Constraints: 7180
4.55/4.69 c GLOBAL bounds - >= -28 @ 4.49102
7.24/7.30 c #Conflicts: 33000 | #Constraints: 8180
7.24/7.30 c INPROCESSING
7.24/7.30 c GARBAGE COLLECT
7.24/7.30 c #Conflicts: 34000 | #Constraints: 5380
7.24/7.30 c #Conflicts: 35000 | #Constraints: 6380
7.24/7.30 c #Conflicts: 36000 | #Constraints: 7380
7.24/7.30 c #Conflicts: 37000 | #Constraints: 8380
7.24/7.30 c INPROCESSING
7.24/7.30 c GARBAGE COLLECT
7.24/7.30 c #Conflicts: 38000 | #Constraints: 5381
7.24/7.30 c #Conflicts: 39000 | #Constraints: 6381
7.24/7.30 c #Conflicts: 40000 | #Constraints: 7381
7.24/7.30 c #Conflicts: 41000 | #Constraints: 8381
7.24/7.30 c INPROCESSING
7.24/7.30 c GARBAGE COLLECT
7.24/7.30 c #Conflicts: 42000 | #Constraints: 5181
7.24/7.30 c #Conflicts: 43000 | #Constraints: 6181
7.24/7.30 c #Conflicts: 44000 | #Constraints: 7181
7.24/7.30 c #Conflicts: 45000 | #Constraints: 8181
7.24/7.30 c #Conflicts: 46000 | #Constraints: 9181
7.24/7.30 c INPROCESSING
7.24/7.30 c GARBAGE COLLECT
7.24/7.30 c #Conflicts: 47000 | #Constraints: 5782
7.24/7.30 c GLOBAL bounds - >= -27 @ 7.0568
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.05782
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.05785
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.05788
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.05795
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.05922
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.05929
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.0601
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06016
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06094
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06101
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06179
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06195
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06276
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06294
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06374
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06391
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06473
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06489
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.0657
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06587
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06668
7.24/7.31 c GLOBAL bounds - >= -27 @ 7.06686
7.24/7.32 c GLOBAL bounds - >= -27 @ 7.06768
7.24/7.32 c GLOBAL bounds - >= -27 @ 7.0685
7.24/7.32 c GLOBAL bounds - >= -27 @ 7.06933
7.24/7.32 c GLOBAL bounds - >= -27 @ 7.07023
7.24/7.32 c GLOBAL bounds - >= -27 @ 7.07165
7.24/7.32 c GLOBAL bounds - >= -27 @ 7.07261
7.24/7.32 c GLOBAL bounds - >= -27 @ 7.07357
7.24/7.32 c GLOBAL bounds - >= -27 @ 7.07453
7.24/7.37 c GLOBAL bounds - >= -27 @ 7.11758
7.54/7.60 c #Conflicts: 48000 | #Constraints: 6794
7.54/7.60 c #Conflicts: 49000 | #Constraints: 7794
7.54/7.60 c GLOBAL bounds - >= -27 @ 7.34229
11.23/11.37 c #Conflicts: 50000 | #Constraints: 8794
11.23/11.37 c #Conflicts: 51000 | #Constraints: 9794
11.23/11.37 c INPROCESSING
11.23/11.37 c GARBAGE COLLECT
11.23/11.37 c #Conflicts: 52000 | #Constraints: 6197
11.23/11.37 c #Conflicts: 53000 | #Constraints: 7197
11.23/11.37 c #Conflicts: 54000 | #Constraints: 8197
11.23/11.37 c #Conflicts: 55000 | #Constraints: 9197
11.23/11.37 c #Conflicts: 56000 | #Constraints: 10197
11.23/11.37 c INPROCESSING
11.23/11.37 c GARBAGE COLLECT
11.23/11.37 c #Conflicts: 57000 | #Constraints: 6396
11.23/11.37 c #Conflicts: 58000 | #Constraints: 7396
11.23/11.37 c #Conflicts: 59000 | #Constraints: 8396
11.23/11.37 c #Conflicts: 60000 | #Constraints: 9396
11.23/11.37 c #Conflicts: 61000 | #Constraints: 10396
11.23/11.37 c INPROCESSING
11.23/11.37 c GARBAGE COLLECT
11.23/11.37 c #Conflicts: 62000 | #Constraints: 6395
11.23/11.37 c #Conflicts: 63000 | #Constraints: 7395
11.23/11.37 c #Conflicts: 64000 | #Constraints: 8395
11.23/11.37 c #Conflicts: 65000 | #Constraints: 9395
11.23/11.37 c #Conflicts: 66000 | #Constraints: 10395
11.23/11.37 c INPROCESSING
11.23/11.37 c GARBAGE COLLECT
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0453
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0463
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0465
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0466
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0467
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0468
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.047
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0471
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0473
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0475
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0477
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0478
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0492
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0494
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0501
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0503
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0511
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0513
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.052
11.23/11.37 c GLOBAL bounds - >= -26 @ 11.0522
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.053
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0532
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.054
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0542
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.055
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0553
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0561
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0563
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0571
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0573
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0582
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0591
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0601
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0613
11.23/11.38 c GLOBAL bounds - >= -26 @ 11.0624
11.23/11.39 c GLOBAL bounds - >= -26 @ 11.0633
11.23/11.39 c GLOBAL bounds - >= -26 @ 11.0641
11.23/11.39 c GLOBAL bounds - >= -26 @ 11.0652
11.23/11.39 c GLOBAL bounds - >= -26 @ 11.066
11.43/11.51 c #Conflicts: 67000 | #Constraints: 6218
11.43/11.51 c GLOBAL bounds - >= -26 @ 11.1849
11.53/11.64 c #Conflicts: 68000 | #Constraints: 7218
11.53/11.64 c GLOBAL bounds - >= -26 @ 11.3129
11.63/11.79 c #Conflicts: 69000 | #Constraints: 8218
11.63/11.79 c GLOBAL bounds - >= -26 @ 11.459
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5938
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5946
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5961
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5962
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5962
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5963
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5963
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5964
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5965
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5965
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5966
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5967
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5967
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5968
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.597
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5972
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5994
11.83/11.93 c GLOBAL bounds - >= -26 @ 11.5995
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6008
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6009
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6018
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6018
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6026
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6028
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6042
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6043
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6057
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6058
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6063
11.83/11.94 c GLOBAL bounds - >= -26 @ 11.6064
11.83/11.95 c GLOBAL bounds - >= -26 @ 11.6078
11.83/11.95 c GLOBAL bounds - >= -26 @ 11.608
11.83/11.95 c GLOBAL bounds - >= -26 @ 11.6088
11.83/11.95 c GLOBAL bounds - >= -26 @ 11.6088
11.83/11.95 c GLOBAL bounds - >= -26 @ 11.6102
11.83/11.95 c GLOBAL bounds - >= -26 @ 11.6116
11.83/11.95 c GLOBAL bounds - >= -26 @ 11.6134
11.83/11.95 c GLOBAL bounds - >= -26 @ 11.615
11.83/11.96 c GLOBAL bounds - >= -26 @ 11.617
11.83/11.96 c #Conflicts: 70000 | #Constraints: 9240
11.83/11.96 c GLOBAL bounds - >= -26 @ 11.6209
11.83/11.96 c GLOBAL bounds - >= -26 @ 11.6247
11.83/11.97 c GLOBAL bounds - >= -26 @ 11.6269
11.83/11.97 c GLOBAL bounds - >= -26 @ 11.6306
18.61/18.72 c #Conflicts: 71000 | #Constraints: 10240
18.61/18.72 c #Conflicts: 72000 | #Constraints: 11240
18.61/18.72 c INPROCESSING
18.61/18.72 c GARBAGE COLLECT
18.61/18.72 c #Conflicts: 73000 | #Constraints: 6842
18.61/18.72 c #Conflicts: 74000 | #Constraints: 7842
18.61/18.72 c #Conflicts: 75000 | #Constraints: 8842
18.61/18.72 c #Conflicts: 76000 | #Constraints: 9842
18.61/18.72 c #Conflicts: 77000 | #Constraints: 10842
18.61/18.72 c #Conflicts: 78000 | #Constraints: 11842
18.61/18.72 c INPROCESSING
18.61/18.72 c GARBAGE COLLECT
18.61/18.72 c #Conflicts: 79000 | #Constraints: 7241
18.61/18.72 c #Conflicts: 80000 | #Constraints: 8241
18.61/18.72 c #Conflicts: 81000 | #Constraints: 9241
18.61/18.72 c #Conflicts: 82000 | #Constraints: 10241
18.61/18.72 c #Conflicts: 83000 | #Constraints: 11241
18.61/18.72 c #Conflicts: 84000 | #Constraints: 12241
18.61/18.72 c INPROCESSING
18.61/18.72 c GARBAGE COLLECT
18.61/18.72 c #Conflicts: 85000 | #Constraints: 7441
18.61/18.72 c #Conflicts: 86000 | #Constraints: 8441
18.61/18.72 c #Conflicts: 87000 | #Constraints: 9441
18.61/18.72 c #Conflicts: 88000 | #Constraints: 10441
18.61/18.72 c #Conflicts: 89000 | #Constraints: 11441
18.61/18.72 c #Conflicts: 90000 | #Constraints: 12441
18.61/18.72 c INPROCESSING
18.61/18.72 c GARBAGE COLLECT
18.61/18.72 c #Conflicts: 91000 | #Constraints: 7440
18.61/18.72 c #Conflicts: 92000 | #Constraints: 8440
18.61/18.72 c #Conflicts: 93000 | #Constraints: 9440
18.61/18.72 c #Conflicts: 94000 | #Constraints: 10440
18.61/18.72 c #Conflicts: 95000 | #Constraints: 11440
18.61/18.72 c #Conflicts: 96000 | #Constraints: 12440
18.61/18.72 c INPROCESSING
18.61/18.72 c GARBAGE COLLECT
18.61/18.72 c #Conflicts: 97000 | #Constraints: 7241
18.61/18.72 c #Conflicts: 98000 | #Constraints: 8241
18.61/18.72 c #Conflicts: 99000 | #Constraints: 9241
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2651
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2667
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2668
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2669
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.267
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.267
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2672
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2673
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2674
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2682
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2682
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2688
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2689
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2701
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2702
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2714
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2714
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2727
18.61/18.72 c GLOBAL bounds - >= -25 @ 18.2728
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.274
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2741
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2754
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2756
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2768
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.277
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2783
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2785
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2798
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2812
18.61/18.73 c GLOBAL bounds - >= -25 @ 18.2825
18.61/18.74 c GLOBAL bounds - >= -25 @ 18.2849
18.61/18.74 c GLOBAL bounds - >= -25 @ 18.2875
18.61/18.74 c GLOBAL bounds - >= -25 @ 18.2932
18.61/18.75 c GLOBAL bounds - >= -25 @ 18.2987
18.61/18.77 c GLOBAL bounds - >= -25 @ 18.3171
18.72/18.87 c #Conflicts: 100000 | #Constraints: 10257
18.72/18.87 c GLOBAL bounds - >= -25 @ 18.4099
18.72/18.87 c GLOBAL bounds - >= -25 @ 18.4138
22.80/22.92 c #Conflicts: 101000 | #Constraints: 11257
22.80/22.92 c #Conflicts: 102000 | #Constraints: 12257
22.80/22.92 c #Conflicts: 103000 | #Constraints: 13257
22.80/22.92 c INPROCESSING
22.80/22.92 c GARBAGE COLLECT
22.80/22.92 c #Conflicts: 104000 | #Constraints: 7851
22.80/22.92 c #Conflicts: 105000 | #Constraints: 8851
22.80/22.92 c #Conflicts: 106000 | #Constraints: 9851
22.80/22.92 c #Conflicts: 107000 | #Constraints: 10851
22.80/22.92 c #Conflicts: 108000 | #Constraints: 11851
22.80/22.92 c #Conflicts: 109000 | #Constraints: 12851
22.80/22.92 c #Conflicts: 110000 | #Constraints: 13851
22.80/22.92 c INPROCESSING
22.80/22.92 c GARBAGE COLLECT
22.80/22.92 c #Conflicts: 111000 | #Constraints: 8255
22.80/22.92 c #Conflicts: 112000 | #Constraints: 9255
22.80/22.92 c #Conflicts: 113000 | #Constraints: 10255
22.80/22.92 c #Conflicts: 114000 | #Constraints: 11255
22.80/22.92 c #Conflicts: 115000 | #Constraints: 12255
22.80/22.92 c #Conflicts: 116000 | #Constraints: 13255
22.80/22.92 c #Conflicts: 117000 | #Constraints: 14255
22.80/22.92 c INPROCESSING
22.80/22.92 c GARBAGE COLLECT
22.80/22.92 c GLOBAL bounds - >= -25 @ 22.3885
22.80/22.92 c GLOBAL bounds - >= -25 @ 22.3894
22.80/22.92 c GLOBAL bounds - >= -25 @ 22.3907
22.80/22.92 c GLOBAL bounds - >= -25 @ 22.3907
22.80/22.92 c GLOBAL bounds - >= -25 @ 22.3943
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3944
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3954
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3955
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3966
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3966
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3968
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3969
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.398
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3982
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3993
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.3995
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.4006
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.4008
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.402
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.4022
22.80/22.93 c GLOBAL bounds - >= -25 @ 22.4033
22.80/22.94 c GLOBAL bounds - >= -25 @ 22.4035
22.80/22.94 c GLOBAL bounds - >= -25 @ 22.4047
22.80/22.94 c GLOBAL bounds - >= -25 @ 22.406
22.80/22.94 c GLOBAL bounds - >= -25 @ 22.4076
22.80/22.94 c GLOBAL bounds - >= -25 @ 22.4086
22.80/22.94 c GLOBAL bounds - >= -25 @ 22.4103
22.80/22.94 c GLOBAL bounds - >= -25 @ 22.4118
22.80/22.95 c GLOBAL bounds - >= -25 @ 22.4138
22.80/22.95 c GLOBAL bounds - >= -25 @ 22.416
22.80/22.95 c GLOBAL bounds - >= -25 @ 22.4165
24.10/24.25 c #Conflicts: 118000 | #Constraints: 8469
24.10/24.25 c #Conflicts: 119000 | #Constraints: 9469
24.10/24.25 c #Conflicts: 120000 | #Constraints: 10469
24.10/24.25 c #Conflicts: 121000 | #Constraints: 11469
24.10/24.25 c #Conflicts: 122000 | #Constraints: 12469
24.10/24.25 c #Conflicts: 123000 | #Constraints: 13469
24.10/24.25 c GLOBAL bounds - >= -25 @ 23.698
33.18/33.33 c #Conflicts: 124000 | #Constraints: 14469
33.18/33.33 c INPROCESSING
33.18/33.33 c GARBAGE COLLECT
33.18/33.33 c #Conflicts: 125000 | #Constraints: 8465
33.18/33.33 c #Conflicts: 126000 | #Constraints: 9465
33.18/33.33 c #Conflicts: 127000 | #Constraints: 10465
33.18/33.33 c #Conflicts: 128000 | #Constraints: 11465
33.18/33.33 c #Conflicts: 129000 | #Constraints: 12465
33.18/33.33 c #Conflicts: 130000 | #Constraints: 13465
33.18/33.33 c #Conflicts: 131000 | #Constraints: 14465
33.18/33.33 c INPROCESSING
33.18/33.33 c GARBAGE COLLECT
33.18/33.33 c #Conflicts: 132000 | #Constraints: 8268
33.18/33.33 c #Conflicts: 133000 | #Constraints: 9268
33.18/33.33 c #Conflicts: 134000 | #Constraints: 10268
33.18/33.33 c #Conflicts: 135000 | #Constraints: 11268
33.18/33.33 c #Conflicts: 136000 | #Constraints: 12268
33.18/33.33 c #Conflicts: 137000 | #Constraints: 13268
33.18/33.33 c #Conflicts: 138000 | #Constraints: 14268
33.18/33.33 c #Conflicts: 139000 | #Constraints: 15268
33.18/33.33 c INPROCESSING
33.18/33.33 c GARBAGE COLLECT
33.18/33.33 c #Conflicts: 140000 | #Constraints: 8874
33.18/33.33 c #Conflicts: 141000 | #Constraints: 9874
33.18/33.33 c #Conflicts: 142000 | #Constraints: 10874
33.18/33.33 c #Conflicts: 143000 | #Constraints: 11874
33.18/33.33 c #Conflicts: 144000 | #Constraints: 12874
33.18/33.33 c #Conflicts: 145000 | #Constraints: 13874
33.18/33.33 c #Conflicts: 146000 | #Constraints: 14874
33.18/33.33 c #Conflicts: 147000 | #Constraints: 15874
33.18/33.33 c INPROCESSING
33.18/33.33 c GARBAGE COLLECT
33.18/33.33 c #Conflicts: 148000 | #Constraints: 9268
33.18/33.33 c #Conflicts: 149000 | #Constraints: 10268
33.18/33.33 c #Conflicts: 150000 | #Constraints: 11268
33.18/33.33 c #Conflicts: 151000 | #Constraints: 12268
33.18/33.33 c #Conflicts: 152000 | #Constraints: 13268
33.18/33.33 c #Conflicts: 153000 | #Constraints: 14268
33.18/33.33 c #Conflicts: 154000 | #Constraints: 15268
33.18/33.33 c #Conflicts: 155000 | #Constraints: 16268
33.18/33.33 c INPROCESSING
33.18/33.33 c GARBAGE COLLECT
33.18/33.33 c #Conflicts: 156000 | #Constraints: 9471
33.18/33.33 c #Conflicts: 157000 | #Constraints: 10471
33.18/33.33 c #Conflicts: 158000 | #Constraints: 11471
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.6454
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.6473
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.6474
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.6475
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.6475
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.6476
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.6498
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.65
33.18/33.33 c GLOBAL bounds - >= -24 @ 32.6512
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6514
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6526
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6528
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.654
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6542
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6555
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6557
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6569
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6571
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6584
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6586
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6599
33.18/33.34 c GLOBAL bounds - >= -24 @ 32.6601
33.18/33.35 c GLOBAL bounds - >= -24 @ 32.6613
33.18/33.35 c GLOBAL bounds -17 >= -24 @ 32.6616
33.18/33.35 c GLOBAL bounds -17 >= -24 @ 32.6629
33.18/33.35 c GLOBAL bounds -17 >= -24 @ 32.6631
33.18/33.35 c GLOBAL bounds -17 >= -24 @ 32.6644
33.18/33.35 c GLOBAL bounds -17 >= -24 @ 32.6657
33.18/33.35 c GLOBAL bounds -17 >= -24 @ 32.671
33.18/33.36 c GLOBAL bounds -17 >= -24 @ 32.6742
33.18/33.38 c GLOBAL bounds -17 >= -24 @ 32.6907
53.93/54.17 c #Conflicts: 159000 | #Constraints: 12486
53.93/54.17 c #Conflicts: 160000 | #Constraints: 13486
53.93/54.17 c #Conflicts: 161000 | #Constraints: 14486
53.93/54.17 c #Conflicts: 162000 | #Constraints: 15486
53.93/54.17 c #Conflicts: 163000 | #Constraints: 16486
53.93/54.17 c INPROCESSING
53.93/54.17 c GARBAGE COLLECT
53.93/54.17 c #Conflicts: 164000 | #Constraints: 9451
53.93/54.17 c #Conflicts: 165000 | #Constraints: 10451
53.93/54.17 c #Conflicts: 166000 | #Constraints: 11451
53.93/54.17 c #Conflicts: 167000 | #Constraints: 12451
53.93/54.17 c #Conflicts: 168000 | #Constraints: 13451
53.93/54.17 c #Conflicts: 169000 | #Constraints: 14451
53.93/54.17 c #Conflicts: 170000 | #Constraints: 15451
53.93/54.17 c #Conflicts: 171000 | #Constraints: 16451
53.93/54.17 c INPROCESSING
53.93/54.17 c GARBAGE COLLECT
53.93/54.17 c #Conflicts: 172000 | #Constraints: 9249
53.93/54.17 c #Conflicts: 173000 | #Constraints: 10249
53.93/54.17 c #Conflicts: 174000 | #Constraints: 11249
53.93/54.17 c #Conflicts: 175000 | #Constraints: 12249
53.93/54.17 c #Conflicts: 176000 | #Constraints: 13249
53.93/54.17 c #Conflicts: 177000 | #Constraints: 14249
53.93/54.17 c #Conflicts: 178000 | #Constraints: 15249
53.93/54.17 c #Conflicts: 179000 | #Constraints: 16249
53.93/54.17 c #Conflicts: 180000 | #Constraints: 17249
53.93/54.17 c INPROCESSING
53.93/54.17 c GARBAGE COLLECT
53.93/54.17 c #Conflicts: 181000 | #Constraints: 9848
53.93/54.17 c #Conflicts: 182000 | #Constraints: 10848
53.93/54.17 c #Conflicts: 183000 | #Constraints: 11848
53.93/54.17 c #Conflicts: 184000 | #Constraints: 12848
53.93/54.17 c #Conflicts: 185000 | #Constraints: 13848
53.93/54.17 c #Conflicts: 186000 | #Constraints: 14848
53.93/54.17 c #Conflicts: 187000 | #Constraints: 15848
53.93/54.17 c #Conflicts: 188000 | #Constraints: 16848
53.93/54.17 c #Conflicts: 189000 | #Constraints: 17848
53.93/54.17 c INPROCESSING
53.93/54.17 c GARBAGE COLLECT
53.93/54.17 c #Conflicts: 190000 | #Constraints: 10242
53.93/54.17 c #Conflicts: 191000 | #Constraints: 11242
53.93/54.17 c #Conflicts: 192000 | #Constraints: 12242
53.93/54.17 c #Conflicts: 193000 | #Constraints: 13242
53.93/54.17 c #Conflicts: 194000 | #Constraints: 14242
53.93/54.17 c #Conflicts: 195000 | #Constraints: 15242
53.93/54.17 c #Conflicts: 196000 | #Constraints: 16242
53.93/54.17 c #Conflicts: 197000 | #Constraints: 17242
53.93/54.17 c #Conflicts: 198000 | #Constraints: 18242
53.93/54.17 c INPROCESSING
53.93/54.17 c GARBAGE COLLECT
53.93/54.17 c #Conflicts: 199000 | #Constraints: 10441
53.93/54.17 c #Conflicts: 200000 | #Constraints: 11441
53.93/54.17 c #Conflicts: 201000 | #Constraints: 12441
53.93/54.17 c #Conflicts: 202000 | #Constraints: 13441
53.93/54.17 c #Conflicts: 203000 | #Constraints: 14441
53.93/54.17 c #Conflicts: 204000 | #Constraints: 15441
53.93/54.17 c #Conflicts: 205000 | #Constraints: 16441
53.93/54.17 c #Conflicts: 206000 | #Constraints: 17441
53.93/54.17 c #Conflicts: 207000 | #Constraints: 18441
53.93/54.17 c INPROCESSING
53.93/54.17 c GARBAGE COLLECT
53.93/54.17 c #Conflicts: 208000 | #Constraints: 10444
53.93/54.17 c #Conflicts: 209000 | #Constraints: 11444
53.93/54.17 c #Conflicts: 210000 | #Constraints: 12444
53.93/54.17 c #Conflicts: 211000 | #Constraints: 13444
53.93/54.17 c #Conflicts: 212000 | #Constraints: 14444
53.93/54.17 c #Conflicts: 213000 | #Constraints: 15444
53.93/54.17 c #Conflicts: 214000 | #Constraints: 16444
53.93/54.17 c #Conflicts: 215000 | #Constraints: 17444
53.93/54.17 c #Conflicts: 216000 | #Constraints: 18444
53.93/54.17 c INPROCESSING
53.93/54.17 c GARBAGE COLLECT
53.93/54.17 c #Conflicts: 217000 | #Constraints: 10245
53.93/54.17 c #Conflicts: 218000 | #Constraints: 11245
53.93/54.17 c #Conflicts: 219000 | #Constraints: 12245
53.93/54.17 c #Conflicts: 220000 | #Constraints: 13245
53.93/54.17 c #Conflicts: 221000 | #Constraints: 14245
53.93/54.17 c #Conflicts: 222000 | #Constraints: 15245
53.93/54.17 c #Conflicts: 223000 | #Constraints: 16245
53.93/54.17 c #Conflicts: 224000 | #Constraints: 17245
53.93/54.17 c #Conflicts: 225000 | #Constraints: 18245
53.93/54.17 c #Conflicts: 226000 | #Constraints: 19245
53.93/54.17 c INPROCESSING
53.93/54.17 c GARBAGE COLLECT
53.93/54.17 c #Conflicts: 227000 | #Constraints: 10848
53.93/54.17 c #Conflicts: 228000 | #Constraints: 11848
53.93/54.17 c #Conflicts: 229000 | #Constraints: 12848
53.93/54.17 c #Conflicts: 230000 | #Constraints: 13848
53.93/54.17 c #Conflicts: 231000 | #Constraints: 14848
53.93/54.17 c #Conflicts: 232000 | #Constraints: 15848
67.29/67.51 c #Conflicts: 233000 | #Constraints: 16848
67.29/67.51 c #Conflicts: 234000 | #Constraints: 17848
67.29/67.51 c #Conflicts: 235000 | #Constraints: 18848
67.29/67.51 c #Conflicts: 236000 | #Constraints: 19848
67.29/67.51 c INPROCESSING
67.29/67.51 c GARBAGE COLLECT
67.29/67.51 c #Conflicts: 237000 | #Constraints: 11252
67.29/67.51 c #Conflicts: 238000 | #Constraints: 12252
67.29/67.51 c #Conflicts: 239000 | #Constraints: 13252
67.29/67.51 c #Conflicts: 240000 | #Constraints: 14252
67.29/67.51 c #Conflicts: 241000 | #Constraints: 15252
67.29/67.51 c #Conflicts: 242000 | #Constraints: 16252
67.29/67.51 c #Conflicts: 243000 | #Constraints: 17252
67.29/67.51 c #Conflicts: 244000 | #Constraints: 18252
67.29/67.51 c #Conflicts: 245000 | #Constraints: 19252
67.29/67.51 c #Conflicts: 246000 | #Constraints: 20252
67.29/67.51 c INPROCESSING
67.29/67.51 c GARBAGE COLLECT
67.29/67.51 c #Conflicts: 247000 | #Constraints: 11454
67.29/67.51 c #Conflicts: 248000 | #Constraints: 12454
67.29/67.51 c #Conflicts: 249000 | #Constraints: 13454
67.29/67.51 c #Conflicts: 250000 | #Constraints: 14454
67.29/67.51 c #Conflicts: 251000 | #Constraints: 15454
67.29/67.51 c #Conflicts: 252000 | #Constraints: 16454
67.29/67.51 c #Conflicts: 253000 | #Constraints: 17454
67.29/67.51 c #Conflicts: 254000 | #Constraints: 18454
67.29/67.51 c #Conflicts: 255000 | #Constraints: 19454
67.29/67.51 c #Conflicts: 256000 | #Constraints: 20454
67.29/67.51 c INPROCESSING
67.29/67.51 c GARBAGE COLLECT
67.29/67.51 c #Conflicts: 257000 | #Constraints: 11451
67.29/67.51 c #Conflicts: 258000 | #Constraints: 12451
67.29/67.51 c #Conflicts: 259000 | #Constraints: 13451
67.29/67.51 c #Conflicts: 260000 | #Constraints: 14451
67.29/67.51 c #Conflicts: 261000 | #Constraints: 15451
67.29/67.51 c #Conflicts: 262000 | #Constraints: 16451
67.29/67.51 c #Conflicts: 263000 | #Constraints: 17451
67.29/67.51 c #Conflicts: 264000 | #Constraints: 18451
67.29/67.51 c #Conflicts: 265000 | #Constraints: 19451
67.29/67.51 c #Conflicts: 266000 | #Constraints: 20451
67.29/67.51 c INPROCESSING
67.29/67.51 c GARBAGE COLLECT
67.29/67.51 c #Conflicts: 267000 | #Constraints: 11256
67.29/67.51 c #Conflicts: 268000 | #Constraints: 12256
67.29/67.51 c #Conflicts: 269000 | #Constraints: 13256
67.29/67.51 c #Conflicts: 270000 | #Constraints: 14256
67.29/67.51 c #Conflicts: 271000 | #Constraints: 15256
67.29/67.51 c #Conflicts: 272000 | #Constraints: 16256
67.29/67.51 c GLOBAL bounds -17 >= -24 @ 66.336
86.15/86.41 c #Conflicts: 273000 | #Constraints: 17256
86.15/86.41 c #Conflicts: 274000 | #Constraints: 18256
86.15/86.41 c #Conflicts: 275000 | #Constraints: 19256
86.15/86.41 c #Conflicts: 276000 | #Constraints: 20256
86.15/86.41 c #Conflicts: 277000 | #Constraints: 21256
86.15/86.41 c INPROCESSING
86.15/86.41 c GARBAGE COLLECT
86.15/86.41 c #Conflicts: 278000 | #Constraints: 11852
86.15/86.41 c #Conflicts: 279000 | #Constraints: 12852
86.15/86.41 c #Conflicts: 280000 | #Constraints: 13852
86.15/86.41 c #Conflicts: 281000 | #Constraints: 14852
86.15/86.41 c #Conflicts: 282000 | #Constraints: 15852
86.15/86.41 c #Conflicts: 283000 | #Constraints: 16852
86.15/86.41 c #Conflicts: 284000 | #Constraints: 17852
86.15/86.41 c #Conflicts: 285000 | #Constraints: 18852
86.15/86.41 c #Conflicts: 286000 | #Constraints: 19852
86.15/86.41 c #Conflicts: 287000 | #Constraints: 20852
86.15/86.41 c #Conflicts: 288000 | #Constraints: 21852
86.15/86.41 c INPROCESSING
86.15/86.41 c GARBAGE COLLECT
86.15/86.41 c #Conflicts: 289000 | #Constraints: 12248
86.15/86.41 c #Conflicts: 290000 | #Constraints: 13248
86.15/86.41 c #Conflicts: 291000 | #Constraints: 14248
86.15/86.41 c #Conflicts: 292000 | #Constraints: 15248
86.15/86.41 c #Conflicts: 293000 | #Constraints: 16248
86.15/86.41 c #Conflicts: 294000 | #Constraints: 17248
86.15/86.41 c #Conflicts: 295000 | #Constraints: 18248
86.15/86.41 c #Conflicts: 296000 | #Constraints: 19248
86.15/86.41 c #Conflicts: 297000 | #Constraints: 20248
86.15/86.41 c #Conflicts: 298000 | #Constraints: 21248
86.15/86.41 c #Conflicts: 299000 | #Constraints: 22248
86.15/86.41 c INPROCESSING
86.15/86.41 c GARBAGE COLLECT
86.15/86.41 c #Conflicts: 300000 | #Constraints: 12448
86.15/86.41 c #Conflicts: 301000 | #Constraints: 13448
86.15/86.41 c #Conflicts: 302000 | #Constraints: 14448
86.15/86.41 c #Conflicts: 303000 | #Constraints: 15448
86.15/86.41 c #Conflicts: 304000 | #Constraints: 16448
86.15/86.41 c #Conflicts: 305000 | #Constraints: 17448
86.15/86.41 c #Conflicts: 306000 | #Constraints: 18448
86.15/86.41 c #Conflicts: 307000 | #Constraints: 19448
86.15/86.41 c #Conflicts: 308000 | #Constraints: 20448
86.15/86.41 c #Conflicts: 309000 | #Constraints: 21448
86.15/86.41 c #Conflicts: 310000 | #Constraints: 22448
86.15/86.41 c INPROCESSING
86.15/86.41 c GARBAGE COLLECT
86.15/86.41 c #Conflicts: 311000 | #Constraints: 12455
86.15/86.41 c #Conflicts: 312000 | #Constraints: 13455
86.15/86.41 c #Conflicts: 313000 | #Constraints: 14455
86.15/86.41 c #Conflicts: 314000 | #Constraints: 15455
86.15/86.41 c #Conflicts: 315000 | #Constraints: 16455
86.15/86.41 c #Conflicts: 316000 | #Constraints: 17455
86.15/86.41 c #Conflicts: 317000 | #Constraints: 18455
86.15/86.41 c #Conflicts: 318000 | #Constraints: 19455
86.15/86.41 c #Conflicts: 319000 | #Constraints: 20455
86.15/86.41 c #Conflicts: 320000 | #Constraints: 21455
86.15/86.41 c #Conflicts: 321000 | #Constraints: 22455
86.15/86.41 c INPROCESSING
86.15/86.41 c GARBAGE COLLECT
86.15/86.41 c #Conflicts: 322000 | #Constraints: 12254
86.15/86.41 c #Conflicts: 323000 | #Constraints: 13254
86.15/86.41 c #Conflicts: 324000 | #Constraints: 14254
86.15/86.41 c GLOBAL bounds -17 >= -23 @ 85.012
86.15/86.41 c GLOBAL bounds -17 >= -23 @ 85.0145
86.15/86.41 c GLOBAL bounds -17 >= -23 @ 85.0146
86.15/86.41 c GLOBAL bounds -17 >= -23 @ 85.0148
86.15/86.41 c GLOBAL bounds -17 >= -23 @ 85.0148
86.15/86.41 c GLOBAL bounds -17 >= -23 @ 85.015
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0167
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0169
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0185
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0186
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0201
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0203
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0219
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0221
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.0238
86.15/86.42 c GLOBAL bounds -17 >= -23 @ 85.024
86.15/86.43 c GLOBAL bounds -17 >= -23 @ 85.0256
86.15/86.43 c GLOBAL bounds -17 >= -23 @ 85.0259
86.15/86.43 c GLOBAL bounds -17 >= -23 @ 85.0275
86.15/86.43 c GLOBAL bounds -20 >= -23 @ 85.0278
86.15/86.43 c GLOBAL bounds -20 >= -23 @ 85.0331
86.15/86.43 c GLOBAL bounds -20 >= -23 @ 85.0333
86.15/86.45 c GLOBAL bounds -20 >= -23 @ 85.0464
86.15/86.45 c GLOBAL bounds -20 >= -23 @ 85.0465
86.25/86.51 c #Conflicts: 325000 | #Constraints: 15268
86.25/86.51 c GLOBAL bounds -20 >= -23 @ 85.1122
86.25/86.51 c GLOBAL bounds -20 >= -23 @ 85.1123
86.25/86.52 c GLOBAL bounds -20 >= -23 @ 85.1176
86.35/86.62 c GLOBAL bounds -20 >= -23 @ 85.2196
86.35/86.66 c #Conflicts: 326000 | #Constraints: 16269
86.35/86.66 c GLOBAL bounds -20 >= -23 @ 85.2581
86.35/86.66 c GLOBAL bounds -20 >= -23 @ 85.2602
86.35/86.66 c GLOBAL bounds -20 >= -23 @ 85.2626
86.35/86.66 c GLOBAL bounds -20 >= -23 @ 85.2626
86.35/86.66 c GLOBAL bounds -20 >= -23 @ 85.2626
86.35/86.66 c GLOBAL bounds -20 >= -23 @ 85.2627
86.35/86.67 c GLOBAL bounds -20 >= -23 @ 85.268
86.35/86.67 c GLOBAL bounds -20 >= -23 @ 85.2682
86.35/86.67 c GLOBAL bounds -20 >= -23 @ 85.2701
86.35/86.67 c GLOBAL bounds -20 >= -23 @ 85.2702
86.35/86.67 c GLOBAL bounds -20 >= -23 @ 85.2722
86.35/86.67 c GLOBAL bounds -20 >= -23 @ 85.2724
86.35/86.68 c GLOBAL bounds -20 >= -23 @ 85.2748
86.35/86.68 c GLOBAL bounds -20 >= -23 @ 85.275
86.35/86.68 c GLOBAL bounds -20 >= -23 @ 85.2769
86.35/86.68 c GLOBAL bounds -20 >= -23 @ 85.2771
86.45/86.76 c GLOBAL bounds -20 >= -23 @ 85.36
86.45/86.76 c GLOBAL bounds -20 >= -23 @ 85.3602
86.86/87.18 c #Conflicts: 327000 | #Constraints: 17278
86.86/87.18 c #Conflicts: 328000 | #Constraints: 18278
86.86/87.18 c GLOBAL bounds -20 >= -23 @ 85.7741
86.86/87.18 c GLOBAL bounds -20 >= -23 @ 85.7743
86.95/87.22 c GLOBAL bounds -20 >= -23 @ 85.8053
86.95/87.22 c GLOBAL bounds -20 >= -23 @ 85.8054
86.95/87.22 c GLOBAL bounds -20 >= -23 @ 85.8091
86.95/87.22 c GLOBAL bounds -20 >= -23 @ 85.8093
87.05/87.30 c GLOBAL bounds -20 >= -23 @ 85.8843
88.55/88.86 c #Conflicts: 329000 | #Constraints: 19281
88.55/88.86 c #Conflicts: 330000 | #Constraints: 20281
88.55/88.86 c #Conflicts: 331000 | #Constraints: 21281
88.55/88.86 c #Conflicts: 332000 | #Constraints: 22281
88.55/88.86 c #Conflicts: 333000 | #Constraints: 23281
88.55/88.86 c INPROCESSING
88.55/88.86 c GARBAGE COLLECT
88.55/88.86 c GLOBAL bounds -20 >= -23 @ 87.4248
111.09/111.40 c #Conflicts: 334000 | #Constraints: 12876
111.09/111.40 c #Conflicts: 335000 | #Constraints: 13876
111.09/111.40 c #Conflicts: 336000 | #Constraints: 14876
111.09/111.40 c #Conflicts: 337000 | #Constraints: 15876
111.09/111.40 c #Conflicts: 338000 | #Constraints: 16876
111.09/111.40 c #Conflicts: 339000 | #Constraints: 17876
111.09/111.40 c #Conflicts: 340000 | #Constraints: 18876
111.09/111.40 c #Conflicts: 341000 | #Constraints: 19876
111.09/111.40 c #Conflicts: 342000 | #Constraints: 20876
111.09/111.40 c #Conflicts: 343000 | #Constraints: 21876
111.09/111.40 c #Conflicts: 344000 | #Constraints: 22876
111.09/111.40 c #Conflicts: 345000 | #Constraints: 23876
111.09/111.40 c INPROCESSING
111.09/111.40 c GARBAGE COLLECT
111.09/111.40 c #Conflicts: 346000 | #Constraints: 13273
111.09/111.40 c #Conflicts: 347000 | #Constraints: 14273
111.09/111.40 c #Conflicts: 348000 | #Constraints: 15273
111.09/111.40 c #Conflicts: 349000 | #Constraints: 16273
111.09/111.40 c #Conflicts: 350000 | #Constraints: 17273
111.09/111.40 c #Conflicts: 351000 | #Constraints: 18273
111.09/111.40 c #Conflicts: 352000 | #Constraints: 19273
111.09/111.40 c #Conflicts: 353000 | #Constraints: 20273
111.09/111.40 c #Conflicts: 354000 | #Constraints: 21273
111.09/111.40 c #Conflicts: 355000 | #Constraints: 22273
111.09/111.40 c #Conflicts: 356000 | #Constraints: 23273
111.09/111.40 c #Conflicts: 357000 | #Constraints: 24273
111.09/111.40 c INPROCESSING
111.09/111.40 c GARBAGE COLLECT
111.09/111.40 c #Conflicts: 358000 | #Constraints: 13467
111.09/111.40 c #Conflicts: 359000 | #Constraints: 14467
111.09/111.40 c #Conflicts: 360000 | #Constraints: 15467
111.09/111.40 c #Conflicts: 361000 | #Constraints: 16467
111.09/111.40 c #Conflicts: 362000 | #Constraints: 17467
111.09/111.40 c #Conflicts: 363000 | #Constraints: 18467
111.09/111.40 c #Conflicts: 364000 | #Constraints: 19467
111.09/111.40 c #Conflicts: 365000 | #Constraints: 20467
111.09/111.40 c #Conflicts: 366000 | #Constraints: 21467
111.09/111.40 c #Conflicts: 367000 | #Constraints: 22467
111.09/111.40 c #Conflicts: 368000 | #Constraints: 23467
111.09/111.40 c #Conflicts: 369000 | #Constraints: 24467
111.09/111.40 c INPROCESSING
111.09/111.40 c GARBAGE COLLECT
111.09/111.40 c #Conflicts: 370000 | #Constraints: 13473
111.09/111.40 c #Conflicts: 371000 | #Constraints: 14473
111.09/111.40 c #Conflicts: 372000 | #Constraints: 15473
111.09/111.40 c #Conflicts: 373000 | #Constraints: 16473
111.09/111.40 c #Conflicts: 374000 | #Constraints: 17473
111.09/111.40 c #Conflicts: 375000 | #Constraints: 18473
111.09/111.40 c #Conflicts: 376000 | #Constraints: 19473
111.09/111.40 c #Conflicts: 377000 | #Constraints: 20473
111.09/111.40 c #Conflicts: 378000 | #Constraints: 21473
111.09/111.40 c #Conflicts: 379000 | #Constraints: 22473
111.09/111.40 c #Conflicts: 380000 | #Constraints: 23473
111.09/111.40 c #Conflicts: 381000 | #Constraints: 24473
111.09/111.40 c INPROCESSING
111.09/111.40 c GARBAGE COLLECT
111.09/111.40 c #Conflicts: 382000 | #Constraints: 13276
111.09/111.40 c #Conflicts: 383000 | #Constraints: 14276
111.09/111.40 c #Conflicts: 384000 | #Constraints: 15276
111.09/111.40 c #Conflicts: 385000 | #Constraints: 16276
111.09/111.40 c #Conflicts: 386000 | #Constraints: 17276
111.09/111.40 c #Conflicts: 387000 | #Constraints: 18276
111.09/111.40 c #Conflicts: 388000 | #Constraints: 19276
111.09/111.40 c #Conflicts: 389000 | #Constraints: 20276
111.09/111.40 c #Conflicts: 390000 | #Constraints: 21276
111.09/111.40 c #Conflicts: 391000 | #Constraints: 22276
111.09/111.40 c #Conflicts: 392000 | #Constraints: 23276
111.09/111.40 c GLOBAL bounds -20 >= -22 @ 109.724
111.09/111.41 c GLOBAL bounds -20 >= -22 @ 109.728
111.09/111.41 c GLOBAL bounds -20 >= -22 @ 109.728
111.09/111.41 c GLOBAL bounds -20 >= -22 @ 109.728
111.09/111.41 c GLOBAL bounds -20 >= -22 @ 109.731
111.09/111.41 c GLOBAL bounds -20 >= -22 @ 109.732
111.19/111.51 c #Conflicts: 393000 | #Constraints: 24279
111.19/111.51 c GLOBAL bounds -20 >= -22 @ 109.825
111.19/111.51 c GLOBAL bounds -20 >= -22 @ 109.825
111.19/111.51 c GLOBAL bounds -20 >= -22 @ 109.827
111.19/111.51 c GLOBAL bounds -20 >= -22 @ 109.828
111.39/111.72 c GLOBAL bounds -20 >= -22 @ 110.038
111.39/111.72 c GLOBAL bounds -20 >= -22 @ 110.038
111.49/111.82 c #Conflicts: 394000 | #Constraints: 25282
111.49/111.82 c INPROCESSING
111.49/111.82 c GARBAGE COLLECT
111.49/111.82 c GLOBAL bounds -20 >= -22 @ 110.135
111.49/111.82 c GLOBAL bounds -20 >= -22 @ 110.135
111.49/111.82 c GLOBAL bounds -20 >= -22 @ 110.138
111.49/111.82 c GLOBAL bounds -20 >= -22 @ 110.138
114.58/114.99 c #Conflicts: 395000 | #Constraints: 13881
114.58/114.99 c #Conflicts: 396000 | #Constraints: 14881
114.58/114.99 c #Conflicts: 397000 | #Constraints: 15881
114.58/114.99 c #Conflicts: 398000 | #Constraints: 16881
114.58/114.99 c #Conflicts: 399000 | #Constraints: 17881
114.58/114.99 c #Conflicts: 400000 | #Constraints: 18881
114.58/114.99 c #Conflicts: 401000 | #Constraints: 19881
114.58/114.99 c #Conflicts: 402000 | #Constraints: 20881
114.58/114.99 c #Conflicts: 403000 | #Constraints: 21881
114.58/114.99 c #Conflicts: 404000 | #Constraints: 22881
114.58/114.99 c #Conflicts: 405000 | #Constraints: 23881
114.58/114.99 c #Conflicts: 406000 | #Constraints: 24881
114.58/114.99 c GLOBAL bounds -20 >= -22 @ 113.263
114.58/114.99 c GLOBAL bounds -20 >= -22 @ 113.264
114.79/115.14 c GLOBAL bounds -20 >= -22 @ 113.41
114.79/115.14 c GLOBAL bounds -20 >= -22 @ 113.41
114.88/115.28 c #Conflicts: 407000 | #Constraints: 25883
114.88/115.28 c INPROCESSING
114.88/115.28 c GARBAGE COLLECT
114.88/115.28 c GLOBAL bounds -20 >= -22 @ 113.552
114.88/115.28 c GLOBAL bounds -20 >= -22 @ 113.552
115.08/115.45 c #Conflicts: 408000 | #Constraints: 14283
115.08/115.45 c GLOBAL bounds -20 >= -22 @ 113.714
143.40/143.85 c #Conflicts: 409000 | #Constraints: 15283
143.40/143.85 c #Conflicts: 410000 | #Constraints: 16283
143.40/143.85 c #Conflicts: 411000 | #Constraints: 17283
143.40/143.85 c #Conflicts: 412000 | #Constraints: 18283
143.40/143.85 c #Conflicts: 413000 | #Constraints: 19283
143.40/143.85 c #Conflicts: 414000 | #Constraints: 20283
143.40/143.85 c #Conflicts: 415000 | #Constraints: 21283
143.40/143.85 c #Conflicts: 416000 | #Constraints: 22283
143.40/143.85 c #Conflicts: 417000 | #Constraints: 23283
143.40/143.85 c #Conflicts: 418000 | #Constraints: 24283
143.40/143.85 c #Conflicts: 419000 | #Constraints: 25283
143.40/143.85 c #Conflicts: 420000 | #Constraints: 26283
143.40/143.85 c INPROCESSING
143.40/143.85 c GARBAGE COLLECT
143.40/143.85 c #Conflicts: 421000 | #Constraints: 14481
143.40/143.85 c #Conflicts: 422000 | #Constraints: 15481
143.40/143.85 c #Conflicts: 423000 | #Constraints: 16481
143.40/143.85 c #Conflicts: 424000 | #Constraints: 17481
143.40/143.85 c #Conflicts: 425000 | #Constraints: 18481
143.40/143.85 c #Conflicts: 426000 | #Constraints: 19481
143.40/143.85 c #Conflicts: 427000 | #Constraints: 20481
143.40/143.85 c #Conflicts: 428000 | #Constraints: 21481
143.40/143.85 c #Conflicts: 429000 | #Constraints: 22481
143.40/143.85 c #Conflicts: 430000 | #Constraints: 23481
143.40/143.85 c #Conflicts: 431000 | #Constraints: 24481
143.40/143.85 c #Conflicts: 432000 | #Constraints: 25481
143.40/143.85 c #Conflicts: 433000 | #Constraints: 26481
143.40/143.85 c INPROCESSING
143.40/143.85 c GARBAGE COLLECT
143.40/143.85 c #Conflicts: 434000 | #Constraints: 14483
143.40/143.85 c #Conflicts: 435000 | #Constraints: 15483
143.40/143.85 c #Conflicts: 436000 | #Constraints: 16483
143.40/143.85 c #Conflicts: 437000 | #Constraints: 17483
143.40/143.85 c #Conflicts: 438000 | #Constraints: 18483
143.40/143.85 c #Conflicts: 439000 | #Constraints: 19483
143.40/143.85 c #Conflicts: 440000 | #Constraints: 20483
143.40/143.85 c #Conflicts: 441000 | #Constraints: 21483
143.40/143.85 c #Conflicts: 442000 | #Constraints: 22483
143.40/143.85 c #Conflicts: 443000 | #Constraints: 23483
143.40/143.85 c #Conflicts: 444000 | #Constraints: 24483
143.40/143.85 c #Conflicts: 445000 | #Constraints: 25483
143.40/143.85 c #Conflicts: 446000 | #Constraints: 26483
143.40/143.85 c INPROCESSING
143.40/143.85 c GARBAGE COLLECT
143.40/143.85 c #Conflicts: 447000 | #Constraints: 14279
143.40/143.85 c #Conflicts: 448000 | #Constraints: 15279
143.40/143.85 c #Conflicts: 449000 | #Constraints: 16279
143.40/143.85 c #Conflicts: 450000 | #Constraints: 17279
143.40/143.85 c #Conflicts: 451000 | #Constraints: 18279
143.40/143.85 c #Conflicts: 452000 | #Constraints: 19279
143.40/143.85 c #Conflicts: 453000 | #Constraints: 20279
143.40/143.85 c #Conflicts: 454000 | #Constraints: 21279
143.40/143.85 c #Conflicts: 455000 | #Constraints: 22279
143.40/143.85 c #Conflicts: 456000 | #Constraints: 23279
143.40/143.85 c #Conflicts: 457000 | #Constraints: 24279
143.40/143.85 c #Conflicts: 458000 | #Constraints: 25279
143.40/143.85 c #Conflicts: 459000 | #Constraints: 26279
143.40/143.85 c #Conflicts: 460000 | #Constraints: 27279
143.40/143.85 c INPROCESSING
143.40/143.85 c GARBAGE COLLECT
143.40/143.85 c #Conflicts: 461000 | #Constraints: 14881
143.40/143.85 c #Conflicts: 462000 | #Constraints: 15881
143.40/143.85 c #Conflicts: 463000 | #Constraints: 16881
143.40/143.85 c #Conflicts: 464000 | #Constraints: 17881
143.40/143.85 c #Conflicts: 465000 | #Constraints: 18881
143.40/143.85 c #Conflicts: 466000 | #Constraints: 19881
143.40/143.85 c #Conflicts: 467000 | #Constraints: 20881
143.40/143.85 c #Conflicts: 468000 | #Constraints: 21881
143.40/143.85 c #Conflicts: 469000 | #Constraints: 22881
143.40/143.85 c #Conflicts: 470000 | #Constraints: 23881
143.40/143.85 c #Conflicts: 471000 | #Constraints: 24881
143.40/143.85 c #Conflicts: 472000 | #Constraints: 25881
143.40/143.85 c #Conflicts: 473000 | #Constraints: 26881
143.40/143.85 c #Conflicts: 474000 | #Constraints: 27881
143.40/143.85 c INPROCESSING
143.40/143.85 c GARBAGE COLLECT
143.40/143.85 c #Conflicts: 475000 | #Constraints: 15281
143.40/143.85 c #Conflicts: 476000 | #Constraints: 16281
143.40/143.85 c #Conflicts: 477000 | #Constraints: 17281
143.40/143.85 c #Conflicts: 478000 | #Constraints: 18281
143.40/143.85 c #Conflicts: 479000 | #Constraints: 19281
143.40/143.85 c #Conflicts: 480000 | #Constraints: 20281
143.40/143.85 c #Conflicts: 481000 | #Constraints: 21281
143.40/143.85 c #Conflicts: 482000 | #Constraints: 22281
143.40/143.85 c #Conflicts: 483000 | #Constraints: 23281
143.40/143.85 c #Conflicts: 484000 | #Constraints: 24281
144.30/144.74 c #Conflicts: 485000 | #Constraints: 25281
144.30/144.74 c GLOBAL bounds -20 >= -22 @ 142.687
144.30/144.75 c GLOBAL bounds -20 >= -22 @ 142.693
144.30/144.75 c GLOBAL bounds -20 >= -22 @ 142.697
144.30/144.75 c GLOBAL bounds -20 >= -22 @ 142.698
144.30/144.75 c GLOBAL bounds -20 >= -22 @ 142.698
144.30/144.76 c GLOBAL bounds -20 >= -22 @ 142.7
144.30/144.76 c GLOBAL bounds -20 >= -22 @ 142.701
144.30/144.76 c GLOBAL bounds -20 >= -22 @ 142.707
144.30/144.76 c GLOBAL bounds -20 >= -22 @ 142.707
144.30/144.77 c GLOBAL bounds -20 >= -22 @ 142.711
144.30/144.77 c GLOBAL bounds -20 >= -22 @ 142.711
144.40/144.81 c GLOBAL bounds -20 >= -22 @ 142.75
144.40/144.81 c GLOBAL bounds -20 >= -22 @ 142.751
144.40/144.85 c #Conflicts: 486000 | #Constraints: 26287
144.40/144.85 c GLOBAL bounds -20 >= -22 @ 142.795
144.40/144.85 c GLOBAL bounds -20 >= -22 @ 142.795
144.49/144.93 c GLOBAL bounds -20 >= -22 @ 142.875
144.49/144.93 c GLOBAL bounds -20 >= -22 @ 142.875
144.49/144.94 c GLOBAL bounds -20 >= -22 @ 142.882
144.49/144.94 c GLOBAL bounds -20 >= -22 @ 142.882
145.29/145.73 c #Conflicts: 487000 | #Constraints: 27290
145.29/145.73 c #Conflicts: 488000 | #Constraints: 28290
145.29/145.73 c INPROCESSING
145.29/145.73 c GARBAGE COLLECT
145.29/145.73 c GLOBAL bounds -20 >= -22 @ 143.666
145.29/145.74 c GLOBAL bounds -20 >= -22 @ 143.666
153.77/154.23 c #Conflicts: 489000 | #Constraints: 15496
153.77/154.23 c #Conflicts: 490000 | #Constraints: 16496
153.77/154.23 c #Conflicts: 491000 | #Constraints: 17496
153.77/154.23 c #Conflicts: 492000 | #Constraints: 18496
153.77/154.23 c #Conflicts: 493000 | #Constraints: 19496
153.77/154.23 c #Conflicts: 494000 | #Constraints: 20496
153.77/154.23 c #Conflicts: 495000 | #Constraints: 21496
153.77/154.23 c #Conflicts: 496000 | #Constraints: 22496
153.77/154.23 c #Conflicts: 497000 | #Constraints: 23496
153.77/154.23 c #Conflicts: 498000 | #Constraints: 24496
153.77/154.23 c #Conflicts: 499000 | #Constraints: 25496
153.77/154.23 c #Conflicts: 500000 | #Constraints: 26496
153.77/154.23 c #Conflicts: 501000 | #Constraints: 27496
153.77/154.23 c #Conflicts: 502000 | #Constraints: 28496
153.77/154.23 c INPROCESSING
153.77/154.23 c GARBAGE COLLECT
153.77/154.23 c #Conflicts: 503000 | #Constraints: 15494
153.77/154.23 c #Conflicts: 504000 | #Constraints: 16494
153.77/154.23 c #Conflicts: 505000 | #Constraints: 17494
153.77/154.23 c #Conflicts: 506000 | #Constraints: 18494
153.77/154.23 c #Conflicts: 507000 | #Constraints: 19494
153.77/154.23 c #Conflicts: 508000 | #Constraints: 20494
153.77/154.23 c #Conflicts: 509000 | #Constraints: 21494
153.77/154.23 c #Conflicts: 510000 | #Constraints: 22494
153.77/154.23 c #Conflicts: 511000 | #Constraints: 23494
153.77/154.23 c #Conflicts: 512000 | #Constraints: 24494
153.77/154.23 c #Conflicts: 513000 | #Constraints: 25494
153.77/154.23 c #Conflicts: 514000 | #Constraints: 26494
153.77/154.23 c #Conflicts: 515000 | #Constraints: 27494
153.77/154.23 c #Conflicts: 516000 | #Constraints: 28494
153.77/154.23 c INPROCESSING
153.77/154.23 c GARBAGE COLLECT
153.77/154.23 c #Conflicts: 517000 | #Constraints: 15289
153.77/154.23 c #Conflicts: 518000 | #Constraints: 16289
153.77/154.23 c GLOBAL bounds -20 >= -22 @ 152.048
153.77/154.23 c GLOBAL bounds -20 >= -22 @ 152.049
154.07/154.53 c #Conflicts: 519000 | #Constraints: 17290
154.07/154.53 c #Conflicts: 520000 | #Constraints: 18290
154.07/154.53 c GLOBAL bounds -20 >= -22 @ 152.345
184.98/185.56 c #Conflicts: 521000 | #Constraints: 19290
184.98/185.56 c #Conflicts: 522000 | #Constraints: 20290
184.98/185.56 c #Conflicts: 523000 | #Constraints: 21290
184.98/185.56 c #Conflicts: 524000 | #Constraints: 22290
184.98/185.56 c #Conflicts: 525000 | #Constraints: 23290
184.98/185.56 c #Conflicts: 526000 | #Constraints: 24290
184.98/185.56 c #Conflicts: 527000 | #Constraints: 25290
184.98/185.56 c #Conflicts: 528000 | #Constraints: 26290
184.98/185.56 c #Conflicts: 529000 | #Constraints: 27290
184.98/185.56 c #Conflicts: 530000 | #Constraints: 28290
184.98/185.56 c #Conflicts: 531000 | #Constraints: 29290
184.98/185.56 c INPROCESSING
184.98/185.56 c GARBAGE COLLECT
184.98/185.56 c #Conflicts: 532000 | #Constraints: 15886
184.98/185.56 c #Conflicts: 533000 | #Constraints: 16886
184.98/185.56 c #Conflicts: 534000 | #Constraints: 17886
184.98/185.56 c #Conflicts: 535000 | #Constraints: 18886
184.98/185.56 c #Conflicts: 536000 | #Constraints: 19886
184.98/185.56 c #Conflicts: 537000 | #Constraints: 20886
184.98/185.56 c #Conflicts: 538000 | #Constraints: 21886
184.98/185.56 c #Conflicts: 539000 | #Constraints: 22886
184.98/185.56 c #Conflicts: 540000 | #Constraints: 23886
184.98/185.56 c #Conflicts: 541000 | #Constraints: 24886
184.98/185.56 c #Conflicts: 542000 | #Constraints: 25886
184.98/185.56 c #Conflicts: 543000 | #Constraints: 26886
184.98/185.56 c #Conflicts: 544000 | #Constraints: 27886
184.98/185.56 c #Conflicts: 545000 | #Constraints: 28886
184.98/185.56 c #Conflicts: 546000 | #Constraints: 29886
184.98/185.56 c INPROCESSING
184.98/185.56 c GARBAGE COLLECT
184.98/185.56 c #Conflicts: 547000 | #Constraints: 16292
184.98/185.56 c #Conflicts: 548000 | #Constraints: 17292
184.98/185.56 c #Conflicts: 549000 | #Constraints: 18292
184.98/185.56 c #Conflicts: 550000 | #Constraints: 19292
184.98/185.56 c #Conflicts: 551000 | #Constraints: 20292
184.98/185.56 c #Conflicts: 552000 | #Constraints: 21292
184.98/185.56 c #Conflicts: 553000 | #Constraints: 22292
184.98/185.56 c #Conflicts: 554000 | #Constraints: 23292
184.98/185.56 c #Conflicts: 555000 | #Constraints: 24292
184.98/185.56 c #Conflicts: 556000 | #Constraints: 25292
184.98/185.56 c #Conflicts: 557000 | #Constraints: 26292
184.98/185.56 c #Conflicts: 558000 | #Constraints: 27292
184.98/185.56 c #Conflicts: 559000 | #Constraints: 28292
184.98/185.56 c #Conflicts: 560000 | #Constraints: 29292
184.98/185.56 c #Conflicts: 561000 | #Constraints: 30292
184.98/185.56 c INPROCESSING
184.98/185.56 c GARBAGE COLLECT
184.98/185.56 c #Conflicts: 562000 | #Constraints: 16494
184.98/185.56 c #Conflicts: 563000 | #Constraints: 17494
184.98/185.56 c #Conflicts: 564000 | #Constraints: 18494
184.98/185.56 c #Conflicts: 565000 | #Constraints: 19494
184.98/185.56 c #Conflicts: 566000 | #Constraints: 20494
184.98/185.56 c #Conflicts: 567000 | #Constraints: 21494
184.98/185.56 c #Conflicts: 568000 | #Constraints: 22494
184.98/185.56 c #Conflicts: 569000 | #Constraints: 23494
184.98/185.56 c #Conflicts: 570000 | #Constraints: 24494
184.98/185.56 c #Conflicts: 571000 | #Constraints: 25494
184.98/185.56 c #Conflicts: 572000 | #Constraints: 26494
184.98/185.56 c #Conflicts: 573000 | #Constraints: 27494
184.98/185.56 c #Conflicts: 574000 | #Constraints: 28494
184.98/185.56 c #Conflicts: 575000 | #Constraints: 29494
184.98/185.56 c #Conflicts: 576000 | #Constraints: 30494
184.98/185.56 c INPROCESSING
184.98/185.56 c GARBAGE COLLECT
184.98/185.56 c #Conflicts: 577000 | #Constraints: 16495
184.98/185.56 c #Conflicts: 578000 | #Constraints: 17495
184.98/185.56 c #Conflicts: 579000 | #Constraints: 18495
184.98/185.56 c #Conflicts: 580000 | #Constraints: 19495
184.98/185.56 c #Conflicts: 581000 | #Constraints: 20495
184.98/185.56 c #Conflicts: 582000 | #Constraints: 21495
184.98/185.56 c #Conflicts: 583000 | #Constraints: 22495
184.98/185.56 c #Conflicts: 584000 | #Constraints: 23495
184.98/185.56 c #Conflicts: 585000 | #Constraints: 24495
184.98/185.56 c #Conflicts: 586000 | #Constraints: 25495
184.98/185.56 c #Conflicts: 587000 | #Constraints: 26495
184.98/185.56 c #Conflicts: 588000 | #Constraints: 27495
184.98/185.56 c #Conflicts: 589000 | #Constraints: 28495
184.98/185.56 c #Conflicts: 590000 | #Constraints: 29495
184.98/185.56 c #Conflicts: 591000 | #Constraints: 30495
184.98/185.56 c INPROCESSING
184.98/185.56 c GARBAGE COLLECT
184.98/185.56 c #Conflicts: 592000 | #Constraints: 16297
184.98/185.56 c #Conflicts: 593000 | #Constraints: 17297
184.98/185.56 c #Conflicts: 594000 | #Constraints: 18297
184.98/185.56 c #Conflicts: 595000 | #Constraints: 19297
184.98/185.56 c #Conflicts: 596000 | #Constraints: 20297
222.07/222.70 c #Conflicts: 597000 | #Constraints: 21297
222.07/222.70 c #Conflicts: 598000 | #Constraints: 22297
222.07/222.70 c #Conflicts: 599000 | #Constraints: 23297
222.07/222.70 c #Conflicts: 600000 | #Constraints: 24297
222.07/222.70 c #Conflicts: 601000 | #Constraints: 25297
222.07/222.70 c #Conflicts: 602000 | #Constraints: 26297
222.07/222.70 c #Conflicts: 603000 | #Constraints: 27297
222.07/222.70 c #Conflicts: 604000 | #Constraints: 28297
222.07/222.70 c #Conflicts: 605000 | #Constraints: 29297
222.07/222.70 c #Conflicts: 606000 | #Constraints: 30297
222.07/222.70 c #Conflicts: 607000 | #Constraints: 31297
222.07/222.70 c INPROCESSING
222.07/222.70 c GARBAGE COLLECT
222.07/222.70 c #Conflicts: 608000 | #Constraints: 16895
222.07/222.70 c #Conflicts: 609000 | #Constraints: 17895
222.07/222.70 c #Conflicts: 610000 | #Constraints: 18895
222.07/222.70 c #Conflicts: 611000 | #Constraints: 19895
222.07/222.70 c #Conflicts: 612000 | #Constraints: 20895
222.07/222.70 c #Conflicts: 613000 | #Constraints: 21895
222.07/222.70 c #Conflicts: 614000 | #Constraints: 22895
222.07/222.70 c #Conflicts: 615000 | #Constraints: 23895
222.07/222.70 c #Conflicts: 616000 | #Constraints: 24895
222.07/222.70 c #Conflicts: 617000 | #Constraints: 25895
222.07/222.70 c #Conflicts: 618000 | #Constraints: 26895
222.07/222.70 c #Conflicts: 619000 | #Constraints: 27895
222.07/222.70 c #Conflicts: 620000 | #Constraints: 28895
222.07/222.70 c #Conflicts: 621000 | #Constraints: 29895
222.07/222.70 c #Conflicts: 622000 | #Constraints: 30895
222.07/222.70 c #Conflicts: 623000 | #Constraints: 31895
222.07/222.70 c INPROCESSING
222.07/222.70 c GARBAGE COLLECT
222.07/222.70 c #Conflicts: 624000 | #Constraints: 17299
222.07/222.70 c #Conflicts: 625000 | #Constraints: 18299
222.07/222.70 c #Conflicts: 626000 | #Constraints: 19299
222.07/222.70 c #Conflicts: 627000 | #Constraints: 20299
222.07/222.70 c #Conflicts: 628000 | #Constraints: 21299
222.07/222.70 c #Conflicts: 629000 | #Constraints: 22299
222.07/222.70 c #Conflicts: 630000 | #Constraints: 23299
222.07/222.70 c #Conflicts: 631000 | #Constraints: 24299
222.07/222.70 c #Conflicts: 632000 | #Constraints: 25299
222.07/222.70 c #Conflicts: 633000 | #Constraints: 26299
222.07/222.70 c #Conflicts: 634000 | #Constraints: 27299
222.07/222.70 c #Conflicts: 635000 | #Constraints: 28299
222.07/222.70 c #Conflicts: 636000 | #Constraints: 29299
222.07/222.70 c #Conflicts: 637000 | #Constraints: 30299
222.07/222.70 c #Conflicts: 638000 | #Constraints: 31299
222.07/222.70 c #Conflicts: 639000 | #Constraints: 32299
222.07/222.70 c INPROCESSING
222.07/222.70 c GARBAGE COLLECT
222.07/222.70 c #Conflicts: 640000 | #Constraints: 17498
222.07/222.70 c #Conflicts: 641000 | #Constraints: 18498
222.07/222.70 c #Conflicts: 642000 | #Constraints: 19498
222.07/222.70 c #Conflicts: 643000 | #Constraints: 20498
222.07/222.70 c #Conflicts: 644000 | #Constraints: 21498
222.07/222.70 c #Conflicts: 645000 | #Constraints: 22498
222.07/222.70 c #Conflicts: 646000 | #Constraints: 23498
222.07/222.70 c #Conflicts: 647000 | #Constraints: 24498
222.07/222.70 c #Conflicts: 648000 | #Constraints: 25498
222.07/222.70 c #Conflicts: 649000 | #Constraints: 26498
222.07/222.70 c #Conflicts: 650000 | #Constraints: 27498
222.07/222.70 c #Conflicts: 651000 | #Constraints: 28498
222.07/222.70 c #Conflicts: 652000 | #Constraints: 29498
222.07/222.70 c #Conflicts: 653000 | #Constraints: 30498
222.07/222.70 c #Conflicts: 654000 | #Constraints: 31498
222.07/222.70 c #Conflicts: 655000 | #Constraints: 32498
222.07/222.70 c INPROCESSING
222.07/222.70 c GARBAGE COLLECT
222.07/222.70 c #Conflicts: 656000 | #Constraints: 17497
222.07/222.70 c #Conflicts: 657000 | #Constraints: 18497
222.07/222.70 c #Conflicts: 658000 | #Constraints: 19497
222.07/222.70 c #Conflicts: 659000 | #Constraints: 20497
222.07/222.70 c #Conflicts: 660000 | #Constraints: 21497
222.07/222.70 c #Conflicts: 661000 | #Constraints: 22497
222.07/222.70 c #Conflicts: 662000 | #Constraints: 23497
222.07/222.70 c #Conflicts: 663000 | #Constraints: 24497
222.07/222.70 c #Conflicts: 664000 | #Constraints: 25497
222.07/222.70 c #Conflicts: 665000 | #Constraints: 26497
222.07/222.70 c #Conflicts: 666000 | #Constraints: 27497
222.07/222.70 c #Conflicts: 667000 | #Constraints: 28497
222.07/222.70 c #Conflicts: 668000 | #Constraints: 29497
222.07/222.70 c #Conflicts: 669000 | #Constraints: 30497
222.07/222.70 c #Conflicts: 670000 | #Constraints: 31497
222.07/222.70 c #Conflicts: 671000 | #Constraints: 32497
222.07/222.70 c INPROCESSING
222.07/222.70 c GARBAGE COLLECT
222.07/222.70 c #Conflicts: 672000 | #Constraints: 17300
251.49/252.26 c #Conflicts: 673000 | #Constraints: 18300
251.49/252.26 c #Conflicts: 674000 | #Constraints: 19300
251.49/252.26 c #Conflicts: 675000 | #Constraints: 20300
251.49/252.26 c #Conflicts: 676000 | #Constraints: 21300
251.49/252.26 c #Conflicts: 677000 | #Constraints: 22300
251.49/252.26 c #Conflicts: 678000 | #Constraints: 23300
251.49/252.26 c #Conflicts: 679000 | #Constraints: 24300
251.49/252.26 c #Conflicts: 680000 | #Constraints: 25300
251.49/252.26 c #Conflicts: 681000 | #Constraints: 26300
251.49/252.26 c #Conflicts: 682000 | #Constraints: 27300
251.49/252.26 c #Conflicts: 683000 | #Constraints: 28300
251.49/252.26 c #Conflicts: 684000 | #Constraints: 29300
251.49/252.26 c #Conflicts: 685000 | #Constraints: 30300
251.49/252.26 c #Conflicts: 686000 | #Constraints: 31300
251.49/252.26 c #Conflicts: 687000 | #Constraints: 32300
251.49/252.26 c #Conflicts: 688000 | #Constraints: 33300
251.49/252.26 c INPROCESSING
251.49/252.26 c GARBAGE COLLECT
251.49/252.26 c #Conflicts: 689000 | #Constraints: 17905
251.49/252.26 c #Conflicts: 690000 | #Constraints: 18905
251.49/252.26 c #Conflicts: 691000 | #Constraints: 19905
251.49/252.26 c #Conflicts: 692000 | #Constraints: 20905
251.49/252.26 c #Conflicts: 693000 | #Constraints: 21905
251.49/252.26 c #Conflicts: 694000 | #Constraints: 22905
251.49/252.26 c #Conflicts: 695000 | #Constraints: 23905
251.49/252.26 c #Conflicts: 696000 | #Constraints: 24905
251.49/252.26 c #Conflicts: 697000 | #Constraints: 25905
251.49/252.26 c #Conflicts: 698000 | #Constraints: 26905
251.49/252.26 c #Conflicts: 699000 | #Constraints: 27905
251.49/252.26 c #Conflicts: 700000 | #Constraints: 28905
251.49/252.26 c #Conflicts: 701000 | #Constraints: 29905
251.49/252.26 c #Conflicts: 702000 | #Constraints: 30905
251.49/252.26 c #Conflicts: 703000 | #Constraints: 31905
251.49/252.26 c #Conflicts: 704000 | #Constraints: 32905
251.49/252.26 c #Conflicts: 705000 | #Constraints: 33905
251.49/252.26 c INPROCESSING
251.49/252.26 c GARBAGE COLLECT
251.49/252.26 c #Conflicts: 706000 | #Constraints: 18299
251.49/252.26 c #Conflicts: 707000 | #Constraints: 19299
251.49/252.26 c #Conflicts: 708000 | #Constraints: 20299
251.49/252.26 c #Conflicts: 709000 | #Constraints: 21299
251.49/252.26 c #Conflicts: 710000 | #Constraints: 22299
251.49/252.26 c #Conflicts: 711000 | #Constraints: 23299
251.49/252.26 c #Conflicts: 712000 | #Constraints: 24299
251.49/252.26 c #Conflicts: 713000 | #Constraints: 25299
251.49/252.26 c #Conflicts: 714000 | #Constraints: 26299
251.49/252.26 c #Conflicts: 715000 | #Constraints: 27299
251.49/252.26 c #Conflicts: 716000 | #Constraints: 28299
251.49/252.26 c #Conflicts: 717000 | #Constraints: 29299
251.49/252.26 c #Conflicts: 718000 | #Constraints: 30299
251.49/252.26 c #Conflicts: 719000 | #Constraints: 31299
251.49/252.26 c #Conflicts: 720000 | #Constraints: 32299
251.49/252.26 c #Conflicts: 721000 | #Constraints: 33299
251.49/252.26 c #Conflicts: 722000 | #Constraints: 34299
251.49/252.26 c INPROCESSING
251.49/252.26 c GARBAGE COLLECT
251.49/252.26 c #Conflicts: 723000 | #Constraints: 18497
251.49/252.26 c #Conflicts: 724000 | #Constraints: 19497
251.49/252.26 c #Conflicts: 725000 | #Constraints: 20497
251.49/252.26 c #Conflicts: 726000 | #Constraints: 21497
251.49/252.26 c #Conflicts: 727000 | #Constraints: 22497
251.49/252.26 c #Conflicts: 728000 | #Constraints: 23497
251.49/252.26 c #Conflicts: 729000 | #Constraints: 24497
251.49/252.26 c #Conflicts: 730000 | #Constraints: 25497
251.49/252.26 c #Conflicts: 731000 | #Constraints: 26497
251.49/252.26 c #Conflicts: 732000 | #Constraints: 27497
251.49/252.26 c GLOBAL bounds -20 >= -22 @ 248.997
251.49/252.26 c GLOBAL bounds -20 >= -22 @ 248.999
251.49/252.26 c GLOBAL bounds -20 >= -22 @ 249.003
251.49/252.26 c GLOBAL bounds -20 >= -22 @ 249.003
251.49/252.26 c GLOBAL bounds -20 >= -22 @ 249.003
251.49/252.27 c GLOBAL bounds -20 >= -22 @ 249.012
251.49/252.27 c GLOBAL bounds -20 >= -22 @ 249.012
251.49/252.28 c GLOBAL bounds -20 >= -22 @ 249.021
251.49/252.28 c GLOBAL bounds -20 >= -22 @ 249.021
251.59/252.30 c GLOBAL bounds -20 >= -22 @ 249.047
251.59/252.31 c GLOBAL bounds -20 >= -22 @ 249.047
251.59/252.31 c GLOBAL bounds -20 >= -22 @ 249.05
251.59/252.31 c GLOBAL bounds -20 >= -22 @ 249.05
252.30/253.03 c #Conflicts: 733000 | #Constraints: 28503
252.30/253.03 c #Conflicts: 734000 | #Constraints: 29503
252.30/253.03 c GLOBAL bounds -20 >= -22 @ 249.771
252.30/253.04 c GLOBAL bounds -20 >= -22 @ 249.771
276.43/277.24 c #Conflicts: 735000 | #Constraints: 30504
276.43/277.24 c #Conflicts: 736000 | #Constraints: 31504
276.43/277.24 c #Conflicts: 737000 | #Constraints: 32504
276.43/277.24 c #Conflicts: 738000 | #Constraints: 33504
276.43/277.24 c #Conflicts: 739000 | #Constraints: 34504
276.43/277.24 c INPROCESSING
276.43/277.24 c GARBAGE COLLECT
276.43/277.24 c #Conflicts: 740000 | #Constraints: 18501
276.43/277.24 c #Conflicts: 741000 | #Constraints: 19501
276.43/277.24 c #Conflicts: 742000 | #Constraints: 20501
276.43/277.24 c #Conflicts: 743000 | #Constraints: 21501
276.43/277.24 c #Conflicts: 744000 | #Constraints: 22501
276.43/277.24 c #Conflicts: 745000 | #Constraints: 23501
276.43/277.24 c #Conflicts: 746000 | #Constraints: 24501
276.43/277.24 c #Conflicts: 747000 | #Constraints: 25501
276.43/277.24 c #Conflicts: 748000 | #Constraints: 26501
276.43/277.24 c #Conflicts: 749000 | #Constraints: 27501
276.43/277.24 c #Conflicts: 750000 | #Constraints: 28501
276.43/277.24 c #Conflicts: 751000 | #Constraints: 29501
276.43/277.24 c #Conflicts: 752000 | #Constraints: 30501
276.43/277.24 c #Conflicts: 753000 | #Constraints: 31501
276.43/277.24 c #Conflicts: 754000 | #Constraints: 32501
276.43/277.24 c #Conflicts: 755000 | #Constraints: 33501
276.43/277.24 c #Conflicts: 756000 | #Constraints: 34501
276.43/277.24 c INPROCESSING
276.43/277.24 c GARBAGE COLLECT
276.43/277.24 c #Conflicts: 757000 | #Constraints: 18299
276.43/277.24 c #Conflicts: 758000 | #Constraints: 19299
276.43/277.24 c #Conflicts: 759000 | #Constraints: 20299
276.43/277.24 c #Conflicts: 760000 | #Constraints: 21299
276.43/277.24 c #Conflicts: 761000 | #Constraints: 22299
276.43/277.24 c #Conflicts: 762000 | #Constraints: 23299
276.43/277.24 c #Conflicts: 763000 | #Constraints: 24299
276.43/277.24 c #Conflicts: 764000 | #Constraints: 25299
276.43/277.24 c #Conflicts: 765000 | #Constraints: 26299
276.43/277.24 c #Conflicts: 766000 | #Constraints: 27299
276.43/277.24 c #Conflicts: 767000 | #Constraints: 28299
276.43/277.24 c #Conflicts: 768000 | #Constraints: 29299
276.43/277.24 c #Conflicts: 769000 | #Constraints: 30299
276.43/277.24 c #Conflicts: 770000 | #Constraints: 31299
276.43/277.24 c #Conflicts: 771000 | #Constraints: 32299
276.43/277.24 c #Conflicts: 772000 | #Constraints: 33299
276.43/277.24 c #Conflicts: 773000 | #Constraints: 34299
276.43/277.24 c #Conflicts: 774000 | #Constraints: 35299
276.43/277.24 c INPROCESSING
276.43/277.24 c GARBAGE COLLECT
276.43/277.24 c #Conflicts: 775000 | #Constraints: 18902
276.43/277.24 c #Conflicts: 776000 | #Constraints: 19902
276.43/277.24 c #Conflicts: 777000 | #Constraints: 20902
276.43/277.24 c #Conflicts: 778000 | #Constraints: 21902
276.43/277.24 c #Conflicts: 779000 | #Constraints: 22902
276.43/277.24 c #Conflicts: 780000 | #Constraints: 23902
276.43/277.24 c #Conflicts: 781000 | #Constraints: 24902
276.43/277.24 c #Conflicts: 782000 | #Constraints: 25902
276.43/277.24 c #Conflicts: 783000 | #Constraints: 26902
276.43/277.24 c #Conflicts: 784000 | #Constraints: 27902
276.43/277.24 c #Conflicts: 785000 | #Constraints: 28902
276.43/277.24 c #Conflicts: 786000 | #Constraints: 29902
276.43/277.24 c #Conflicts: 787000 | #Constraints: 30902
276.43/277.24 c #Conflicts: 788000 | #Constraints: 31902
276.43/277.24 c #Conflicts: 789000 | #Constraints: 32902
276.43/277.24 c #Conflicts: 790000 | #Constraints: 33902
276.43/277.24 c #Conflicts: 791000 | #Constraints: 34902
276.43/277.24 c #Conflicts: 792000 | #Constraints: 35902
276.43/277.24 c INPROCESSING
276.43/277.24 c GARBAGE COLLECT
276.43/277.24 c #Conflicts: 793000 | #Constraints: 19307
276.43/277.24 c #Conflicts: 794000 | #Constraints: 20307
276.43/277.24 c #Conflicts: 795000 | #Constraints: 21307
276.43/277.24 c #Conflicts: 796000 | #Constraints: 22307
276.43/277.24 c #Conflicts: 797000 | #Constraints: 23307
276.43/277.24 c #Conflicts: 798000 | #Constraints: 24307
276.43/277.24 c #Conflicts: 799000 | #Constraints: 25307
276.43/277.24 c #Conflicts: 800000 | #Constraints: 26307
276.43/277.24 c #Conflicts: 801000 | #Constraints: 27307
276.43/277.24 c #Conflicts: 802000 | #Constraints: 28307
276.43/277.24 c #Conflicts: 803000 | #Constraints: 29307
276.43/277.24 c #Conflicts: 804000 | #Constraints: 30307
276.43/277.24 c #Conflicts: 805000 | #Constraints: 31307
276.43/277.24 c #Conflicts: 806000 | #Constraints: 32307
276.43/277.24 c #Conflicts: 807000 | #Constraints: 33307
276.43/277.24 c #Conflicts: 808000 | #Constraints: 34307
276.43/277.24 c #Conflicts: 809000 | #Constraints: 35307
276.43/277.24 c #Conflicts: 810000 | #Constraints: 36307
276.43/277.24 c INPROCESSING
300.27/301.18 c GARBAGE COLLECT
300.27/301.18 c #Conflicts: 811000 | #Constraints: 19503
300.27/301.18 c #Conflicts: 812000 | #Constraints: 20503
300.27/301.18 c #Conflicts: 813000 | #Constraints: 21503
300.27/301.18 c #Conflicts: 814000 | #Constraints: 22503
300.27/301.18 c #Conflicts: 815000 | #Constraints: 23503
300.27/301.18 c #Conflicts: 816000 | #Constraints: 24503
300.27/301.18 c #Conflicts: 817000 | #Constraints: 25503
300.27/301.18 c #Conflicts: 818000 | #Constraints: 26503
300.27/301.18 c #Conflicts: 819000 | #Constraints: 27503
300.27/301.18 c #Conflicts: 820000 | #Constraints: 28503
300.27/301.18 c #Conflicts: 821000 | #Constraints: 29503
300.27/301.18 c #Conflicts: 822000 | #Constraints: 30503
300.27/301.18 c #Conflicts: 823000 | #Constraints: 31503
300.27/301.18 c #Conflicts: 824000 | #Constraints: 32503
300.27/301.18 c #Conflicts: 825000 | #Constraints: 33503
300.27/301.18 c #Conflicts: 826000 | #Constraints: 34503
300.27/301.18 c #Conflicts: 827000 | #Constraints: 35503
300.27/301.18 c #Conflicts: 828000 | #Constraints: 36503
300.27/301.18 c INPROCESSING
300.27/301.18 c GARBAGE COLLECT
300.27/301.18 c #Conflicts: 829000 | #Constraints: 19503
300.27/301.18 c #Conflicts: 830000 | #Constraints: 20503
300.27/301.18 c #Conflicts: 831000 | #Constraints: 21503
300.27/301.18 c #Conflicts: 832000 | #Constraints: 22503
300.27/301.18 c #Conflicts: 833000 | #Constraints: 23503
300.27/301.18 c #Conflicts: 834000 | #Constraints: 24503
300.27/301.18 c #Conflicts: 835000 | #Constraints: 25503
300.27/301.18 c #Conflicts: 836000 | #Constraints: 26503
300.27/301.18 c #Conflicts: 837000 | #Constraints: 27503
300.27/301.18 c #Conflicts: 838000 | #Constraints: 28503
300.27/301.18 c #Conflicts: 839000 | #Constraints: 29503
300.27/301.18 c #Conflicts: 840000 | #Constraints: 30503
300.27/301.18 c #Conflicts: 841000 | #Constraints: 31503
300.27/301.18 c #Conflicts: 842000 | #Constraints: 32503
300.27/301.18 c #Conflicts: 843000 | #Constraints: 33503
300.27/301.18 c #Conflicts: 844000 | #Constraints: 34503
300.27/301.18 c #Conflicts: 845000 | #Constraints: 35503
300.27/301.18 c #Conflicts: 846000 | #Constraints: 36503
300.27/301.18 c INPROCESSING
300.27/301.18 c GARBAGE COLLECT
300.27/301.18 c #Conflicts: 847000 | #Constraints: 19308
300.27/301.18 c #Conflicts: 848000 | #Constraints: 20308
300.27/301.18 c #Conflicts: 849000 | #Constraints: 21308
300.27/301.18 c #Conflicts: 850000 | #Constraints: 22308
300.27/301.18 c #Conflicts: 851000 | #Constraints: 23308
300.27/301.18 c #Conflicts: 852000 | #Constraints: 24308
300.27/301.18 c #Conflicts: 853000 | #Constraints: 25308
300.27/301.18 c #Conflicts: 854000 | #Constraints: 26308
300.27/301.18 c #Conflicts: 855000 | #Constraints: 27308
300.27/301.18 c #Conflicts: 856000 | #Constraints: 28308
300.27/301.18 c #Conflicts: 857000 | #Constraints: 29308
300.27/301.18 c #Conflicts: 858000 | #Constraints: 30308
300.27/301.18 c #Conflicts: 859000 | #Constraints: 31308
300.27/301.18 c #Conflicts: 860000 | #Constraints: 32308
300.27/301.18 c #Conflicts: 861000 | #Constraints: 33308
300.27/301.18 c #Conflicts: 862000 | #Constraints: 34308
300.27/301.18 c #Conflicts: 863000 | #Constraints: 35308
300.27/301.18 c #Conflicts: 864000 | #Constraints: 36308
300.27/301.18 c #Conflicts: 865000 | #Constraints: 37308
300.27/301.18 c INPROCESSING
300.27/301.18 c GARBAGE COLLECT
300.27/301.18 c #Conflicts: 866000 | #Constraints: 19902
300.27/301.18 c #Conflicts: 867000 | #Constraints: 20902
300.27/301.18 c #Conflicts: 868000 | #Constraints: 21902
300.27/301.18 c #Conflicts: 869000 | #Constraints: 22902
300.27/301.18 c #Conflicts: 870000 | #Constraints: 23902
300.27/301.18 c #Conflicts: 871000 | #Constraints: 24902
300.27/301.18 c #Conflicts: 872000 | #Constraints: 25902
300.27/301.18 c #Conflicts: 873000 | #Constraints: 26902
300.27/301.18 c #Conflicts: 874000 | #Constraints: 27902
300.27/301.18 c #Conflicts: 875000 | #Constraints: 28902
300.27/301.18 c #Conflicts: 876000 | #Constraints: 29902
300.27/301.18 c #Conflicts: 877000 | #Constraints: 30902
300.27/301.18 c #Conflicts: 878000 | #Constraints: 31902
300.27/301.18 c #Conflicts: 879000 | #Constraints: 32902
300.27/301.18 c #Conflicts: 880000 | #Constraints: 33902
300.27/301.18 c #Conflicts: 881000 | #Constraints: 34902
300.27/301.18 c #Conflicts: 882000 | #Constraints: 35902
300.27/301.18 c #Conflicts: 883000 | #Constraints: 36902
300.27/301.18 c #Conflicts: 884000 | #Constraints: 37902
300.27/301.18 c INPROCESSING
300.27/301.18 c GARBAGE COLLECT
300.27/301.18 c GLOBAL bounds -20 >= -22 @ 297.264
300.27/301.18 c GLOBAL bounds -20 >= -22 @ 297.264
326.09/327.07 c #Conflicts: 885000 | #Constraints: 20304
326.09/327.07 c #Conflicts: 886000 | #Constraints: 21304
326.09/327.07 c #Conflicts: 887000 | #Constraints: 22304
326.09/327.07 c #Conflicts: 888000 | #Constraints: 23304
326.09/327.07 c #Conflicts: 889000 | #Constraints: 24304
326.09/327.07 c #Conflicts: 890000 | #Constraints: 25304
326.09/327.07 c #Conflicts: 891000 | #Constraints: 26304
326.09/327.07 c #Conflicts: 892000 | #Constraints: 27304
326.09/327.07 c #Conflicts: 893000 | #Constraints: 28304
326.09/327.07 c #Conflicts: 894000 | #Constraints: 29304
326.09/327.07 c #Conflicts: 895000 | #Constraints: 30304
326.09/327.07 c #Conflicts: 896000 | #Constraints: 31304
326.09/327.07 c #Conflicts: 897000 | #Constraints: 32304
326.09/327.07 c #Conflicts: 898000 | #Constraints: 33304
326.09/327.07 c #Conflicts: 899000 | #Constraints: 34304
326.09/327.07 c #Conflicts: 900000 | #Constraints: 35304
326.09/327.07 c #Conflicts: 901000 | #Constraints: 36304
326.09/327.07 c #Conflicts: 902000 | #Constraints: 37304
326.09/327.07 c #Conflicts: 903000 | #Constraints: 38304
326.09/327.07 c INPROCESSING
326.09/327.07 c GARBAGE COLLECT
326.09/327.07 c #Conflicts: 904000 | #Constraints: 20503
326.09/327.07 c #Conflicts: 905000 | #Constraints: 21503
326.09/327.07 c #Conflicts: 906000 | #Constraints: 22503
326.09/327.07 c #Conflicts: 907000 | #Constraints: 23503
326.09/327.07 c #Conflicts: 908000 | #Constraints: 24503
326.09/327.07 c #Conflicts: 909000 | #Constraints: 25503
326.09/327.07 c #Conflicts: 910000 | #Constraints: 26503
326.09/327.07 c #Conflicts: 911000 | #Constraints: 27503
326.09/327.07 c #Conflicts: 912000 | #Constraints: 28503
326.09/327.07 c #Conflicts: 913000 | #Constraints: 29503
326.09/327.07 c #Conflicts: 914000 | #Constraints: 30503
326.09/327.07 c #Conflicts: 915000 | #Constraints: 31503
326.09/327.07 c #Conflicts: 916000 | #Constraints: 32503
326.09/327.07 c #Conflicts: 917000 | #Constraints: 33503
326.09/327.07 c #Conflicts: 918000 | #Constraints: 34503
326.09/327.07 c #Conflicts: 919000 | #Constraints: 35503
326.09/327.07 c #Conflicts: 920000 | #Constraints: 36503
326.09/327.07 c #Conflicts: 921000 | #Constraints: 37503
326.09/327.07 c #Conflicts: 922000 | #Constraints: 38503
326.09/327.07 c INPROCESSING
326.09/327.07 c GARBAGE COLLECT
326.09/327.07 c #Conflicts: 923000 | #Constraints: 20502
326.09/327.07 c #Conflicts: 924000 | #Constraints: 21502
326.09/327.07 c #Conflicts: 925000 | #Constraints: 22502
326.09/327.07 c #Conflicts: 926000 | #Constraints: 23502
326.09/327.07 c #Conflicts: 927000 | #Constraints: 24502
326.09/327.07 c #Conflicts: 928000 | #Constraints: 25502
326.09/327.07 c #Conflicts: 929000 | #Constraints: 26502
326.09/327.07 c #Conflicts: 930000 | #Constraints: 27502
326.09/327.07 c #Conflicts: 931000 | #Constraints: 28502
326.09/327.07 c #Conflicts: 932000 | #Constraints: 29502
326.09/327.07 c #Conflicts: 933000 | #Constraints: 30502
326.09/327.07 c #Conflicts: 934000 | #Constraints: 31502
326.09/327.07 c #Conflicts: 935000 | #Constraints: 32502
326.09/327.07 c #Conflicts: 936000 | #Constraints: 33502
326.09/327.07 c #Conflicts: 937000 | #Constraints: 34502
326.09/327.07 c #Conflicts: 938000 | #Constraints: 35502
326.09/327.07 c #Conflicts: 939000 | #Constraints: 36502
326.09/327.07 c #Conflicts: 940000 | #Constraints: 37502
326.09/327.07 c #Conflicts: 941000 | #Constraints: 38502
326.09/327.07 c INPROCESSING
326.09/327.07 c GARBAGE COLLECT
326.09/327.07 c #Conflicts: 942000 | #Constraints: 20303
326.09/327.07 c #Conflicts: 943000 | #Constraints: 21303
326.09/327.07 c #Conflicts: 944000 | #Constraints: 22303
326.09/327.07 c #Conflicts: 945000 | #Constraints: 23303
326.09/327.07 c #Conflicts: 946000 | #Constraints: 24303
326.09/327.07 c #Conflicts: 947000 | #Constraints: 25303
326.09/327.07 c #Conflicts: 948000 | #Constraints: 26303
326.09/327.07 c #Conflicts: 949000 | #Constraints: 27303
326.09/327.07 c #Conflicts: 950000 | #Constraints: 28303
326.09/327.07 c #Conflicts: 951000 | #Constraints: 29303
326.09/327.07 c #Conflicts: 952000 | #Constraints: 30303
326.09/327.07 c #Conflicts: 953000 | #Constraints: 31303
326.09/327.07 c #Conflicts: 954000 | #Constraints: 32303
326.09/327.07 c #Conflicts: 955000 | #Constraints: 33303
326.09/327.07 c #Conflicts: 956000 | #Constraints: 34303
326.09/327.07 c #Conflicts: 957000 | #Constraints: 35303
326.09/327.07 c #Conflicts: 958000 | #Constraints: 36303
326.09/327.07 c #Conflicts: 959000 | #Constraints: 37303
326.09/327.07 c #Conflicts: 960000 | #Constraints: 38303
326.09/327.07 c #Conflicts: 961000 | #Constraints: 39303
352.62/353.63 c INPROCESSING
352.62/353.63 c GARBAGE COLLECT
352.62/353.63 c #Conflicts: 962000 | #Constraints: 20906
352.62/353.63 c #Conflicts: 963000 | #Constraints: 21906
352.62/353.63 c #Conflicts: 964000 | #Constraints: 22906
352.62/353.63 c #Conflicts: 965000 | #Constraints: 23906
352.62/353.63 c #Conflicts: 966000 | #Constraints: 24906
352.62/353.63 c #Conflicts: 967000 | #Constraints: 25906
352.62/353.63 c #Conflicts: 968000 | #Constraints: 26906
352.62/353.63 c #Conflicts: 969000 | #Constraints: 27906
352.62/353.63 c #Conflicts: 970000 | #Constraints: 28906
352.62/353.63 c #Conflicts: 971000 | #Constraints: 29906
352.62/353.63 c #Conflicts: 972000 | #Constraints: 30906
352.62/353.63 c #Conflicts: 973000 | #Constraints: 31906
352.62/353.63 c #Conflicts: 974000 | #Constraints: 32906
352.62/353.63 c #Conflicts: 975000 | #Constraints: 33906
352.62/353.63 c #Conflicts: 976000 | #Constraints: 34906
352.62/353.63 c #Conflicts: 977000 | #Constraints: 35906
352.62/353.63 c #Conflicts: 978000 | #Constraints: 36906
352.62/353.63 c #Conflicts: 979000 | #Constraints: 37906
352.62/353.63 c #Conflicts: 980000 | #Constraints: 38906
352.62/353.63 c #Conflicts: 981000 | #Constraints: 39906
352.62/353.63 c INPROCESSING
352.62/353.63 c GARBAGE COLLECT
352.62/353.63 c #Conflicts: 982000 | #Constraints: 21308
352.62/353.63 c #Conflicts: 983000 | #Constraints: 22308
352.62/353.63 c #Conflicts: 984000 | #Constraints: 23308
352.62/353.63 c #Conflicts: 985000 | #Constraints: 24308
352.62/353.63 c #Conflicts: 986000 | #Constraints: 25308
352.62/353.63 c #Conflicts: 987000 | #Constraints: 26308
352.62/353.63 c #Conflicts: 988000 | #Constraints: 27308
352.62/353.63 c #Conflicts: 989000 | #Constraints: 28308
352.62/353.63 c #Conflicts: 990000 | #Constraints: 29308
352.62/353.63 c #Conflicts: 991000 | #Constraints: 30308
352.62/353.63 c #Conflicts: 992000 | #Constraints: 31308
352.62/353.63 c #Conflicts: 993000 | #Constraints: 32308
352.62/353.63 c #Conflicts: 994000 | #Constraints: 33308
352.62/353.63 c #Conflicts: 995000 | #Constraints: 34308
352.62/353.63 c #Conflicts: 996000 | #Constraints: 35308
352.62/353.63 c #Conflicts: 997000 | #Constraints: 36308
352.62/353.63 c #Conflicts: 998000 | #Constraints: 37308
352.62/353.63 c #Conflicts: 999000 | #Constraints: 38308
352.62/353.63 c #Conflicts: 1000000 | #Constraints: 39308
352.62/353.63 c #Conflicts: 1001000 | #Constraints: 40308
352.62/353.63 c INPROCESSING
352.62/353.63 c GARBAGE COLLECT
352.62/353.63 c #Conflicts: 1002000 | #Constraints: 21502
352.62/353.63 c #Conflicts: 1003000 | #Constraints: 22502
352.62/353.63 c #Conflicts: 1004000 | #Constraints: 23502
352.62/353.63 c #Conflicts: 1005000 | #Constraints: 24502
352.62/353.63 c #Conflicts: 1006000 | #Constraints: 25502
352.62/353.63 c #Conflicts: 1007000 | #Constraints: 26502
352.62/353.63 c #Conflicts: 1008000 | #Constraints: 27502
352.62/353.63 c #Conflicts: 1009000 | #Constraints: 28502
352.62/353.63 c #Conflicts: 1010000 | #Constraints: 29502
352.62/353.63 c #Conflicts: 1011000 | #Constraints: 30502
352.62/353.63 c #Conflicts: 1012000 | #Constraints: 31502
352.62/353.63 c #Conflicts: 1013000 | #Constraints: 32502
352.62/353.63 c #Conflicts: 1014000 | #Constraints: 33502
352.62/353.63 c #Conflicts: 1015000 | #Constraints: 34502
352.62/353.63 c #Conflicts: 1016000 | #Constraints: 35502
352.62/353.63 c #Conflicts: 1017000 | #Constraints: 36502
352.62/353.63 c #Conflicts: 1018000 | #Constraints: 37502
352.62/353.63 c #Conflicts: 1019000 | #Constraints: 38502
352.62/353.63 c #Conflicts: 1020000 | #Constraints: 39502
352.62/353.63 c #Conflicts: 1021000 | #Constraints: 40502
352.62/353.63 c INPROCESSING
352.62/353.63 c GARBAGE COLLECT
352.62/353.63 c #Conflicts: 1022000 | #Constraints: 21498
352.62/353.63 c #Conflicts: 1023000 | #Constraints: 22498
352.62/353.63 c #Conflicts: 1024000 | #Constraints: 23498
352.62/353.63 c #Conflicts: 1025000 | #Constraints: 24498
352.62/353.63 c #Conflicts: 1026000 | #Constraints: 25498
352.62/353.63 c #Conflicts: 1027000 | #Constraints: 26498
352.62/353.63 c #Conflicts: 1028000 | #Constraints: 27498
352.62/353.63 c #Conflicts: 1029000 | #Constraints: 28498
352.62/353.63 c #Conflicts: 1030000 | #Constraints: 29498
352.62/353.63 c #Conflicts: 1031000 | #Constraints: 30498
352.62/353.63 c #Conflicts: 1032000 | #Constraints: 31498
352.62/353.63 c #Conflicts: 1033000 | #Constraints: 32498
352.62/353.63 c #Conflicts: 1034000 | #Constraints: 33498
352.62/353.63 c #Conflicts: 1035000 | #Constraints: 34498
352.62/353.63 c #Conflicts: 1036000 | #Constraints: 35498
352.62/353.63 c #Conflicts: 1037000 | #Constraints: 36498
352.62/353.63 c #Conflicts: 1038000 | #Constraints: 37498
361.00/362.05 c #Conflicts: 1039000 | #Constraints: 38498
361.00/362.05 c #Conflicts: 1040000 | #Constraints: 39498
361.00/362.05 c #Conflicts: 1041000 | #Constraints: 40498
361.00/362.05 c INPROCESSING
361.00/362.05 c GARBAGE COLLECT
361.00/362.05 c #Conflicts: 1042000 | #Constraints: 21302
361.00/362.05 c #Conflicts: 1043000 | #Constraints: 22302
361.00/362.05 c #Conflicts: 1044000 | #Constraints: 23302
361.00/362.05 c #Conflicts: 1045000 | #Constraints: 24302
361.00/362.05 c #Conflicts: 1046000 | #Constraints: 25302
361.00/362.05 c #Conflicts: 1047000 | #Constraints: 26302
361.00/362.05 c #Conflicts: 1048000 | #Constraints: 27302
361.00/362.05 c #Conflicts: 1049000 | #Constraints: 28302
361.00/362.05 c #Conflicts: 1050000 | #Constraints: 29302
361.00/362.05 c #Conflicts: 1051000 | #Constraints: 30302
361.00/362.05 c #Conflicts: 1052000 | #Constraints: 31302
361.00/362.05 c #Conflicts: 1053000 | #Constraints: 32302
361.00/362.05 c #Conflicts: 1054000 | #Constraints: 33302
361.00/362.05 c #Conflicts: 1055000 | #Constraints: 34302
361.00/362.05 c #Conflicts: 1056000 | #Constraints: 35302
361.00/362.05 c #Conflicts: 1057000 | #Constraints: 36302
361.00/362.05 c #Conflicts: 1058000 | #Constraints: 37302
361.00/362.05 c #Conflicts: 1059000 | #Constraints: 38302
361.00/362.05 c #Conflicts: 1060000 | #Constraints: 39302
361.00/362.05 c #Conflicts: 1061000 | #Constraints: 40302
361.00/362.05 c GLOBAL bounds -20 >= -22 @ 357.375
361.00/362.05 c GLOBAL bounds -20 >= -22 @ 357.376
361.00/362.05 c GLOBAL bounds -20 >= -22 @ 357.38
361.00/362.05 c GLOBAL bounds -20 >= -22 @ 357.38
381.53/382.64 c #Conflicts: 1062000 | #Constraints: 41304
381.53/382.64 c INPROCESSING
381.53/382.64 c GARBAGE COLLECT
381.53/382.64 c #Conflicts: 1063000 | #Constraints: 21905
381.53/382.64 c #Conflicts: 1064000 | #Constraints: 22905
381.53/382.64 c #Conflicts: 1065000 | #Constraints: 23905
381.53/382.64 c #Conflicts: 1066000 | #Constraints: 24905
381.53/382.64 c #Conflicts: 1067000 | #Constraints: 25905
381.53/382.64 c #Conflicts: 1068000 | #Constraints: 26905
381.53/382.64 c #Conflicts: 1069000 | #Constraints: 27905
381.53/382.64 c #Conflicts: 1070000 | #Constraints: 28905
381.53/382.64 c #Conflicts: 1071000 | #Constraints: 29905
381.53/382.64 c #Conflicts: 1072000 | #Constraints: 30905
381.53/382.64 c #Conflicts: 1073000 | #Constraints: 31905
381.53/382.64 c #Conflicts: 1074000 | #Constraints: 32905
381.53/382.64 c #Conflicts: 1075000 | #Constraints: 33905
381.53/382.64 c #Conflicts: 1076000 | #Constraints: 34905
381.53/382.64 c #Conflicts: 1077000 | #Constraints: 35905
381.53/382.64 c #Conflicts: 1078000 | #Constraints: 36905
381.53/382.64 c #Conflicts: 1079000 | #Constraints: 37905
381.53/382.64 c #Conflicts: 1080000 | #Constraints: 38905
381.53/382.64 c #Conflicts: 1081000 | #Constraints: 39905
381.53/382.64 c #Conflicts: 1082000 | #Constraints: 40905
381.53/382.64 c #Conflicts: 1083000 | #Constraints: 41905
381.53/382.64 c INPROCESSING
381.53/382.64 c GARBAGE COLLECT
381.53/382.64 c #Conflicts: 1084000 | #Constraints: 22310
381.53/382.64 c #Conflicts: 1085000 | #Constraints: 23310
381.53/382.64 c #Conflicts: 1086000 | #Constraints: 24310
381.53/382.64 c #Conflicts: 1087000 | #Constraints: 25310
381.53/382.64 c #Conflicts: 1088000 | #Constraints: 26310
381.53/382.64 c #Conflicts: 1089000 | #Constraints: 27310
381.53/382.64 c #Conflicts: 1090000 | #Constraints: 28310
381.53/382.64 c #Conflicts: 1091000 | #Constraints: 29310
381.53/382.64 c #Conflicts: 1092000 | #Constraints: 30310
381.53/382.64 c #Conflicts: 1093000 | #Constraints: 31310
381.53/382.64 c #Conflicts: 1094000 | #Constraints: 32310
381.53/382.64 c #Conflicts: 1095000 | #Constraints: 33310
381.53/382.64 c #Conflicts: 1096000 | #Constraints: 34310
381.53/382.64 c #Conflicts: 1097000 | #Constraints: 35310
381.53/382.64 c #Conflicts: 1098000 | #Constraints: 36310
381.53/382.64 c #Conflicts: 1099000 | #Constraints: 37310
381.53/382.64 c #Conflicts: 1100000 | #Constraints: 38310
381.53/382.64 c #Conflicts: 1101000 | #Constraints: 39310
381.53/382.64 c #Conflicts: 1102000 | #Constraints: 40310
381.53/382.64 c #Conflicts: 1103000 | #Constraints: 41310
381.53/382.64 c #Conflicts: 1104000 | #Constraints: 42310
381.53/382.64 c INPROCESSING
381.53/382.64 c GARBAGE COLLECT
381.53/382.64 c #Conflicts: 1105000 | #Constraints: 22508
381.53/382.64 c #Conflicts: 1106000 | #Constraints: 23508
381.53/382.64 c #Conflicts: 1107000 | #Constraints: 24508
381.53/382.64 c #Conflicts: 1108000 | #Constraints: 25508
381.53/382.64 c #Conflicts: 1109000 | #Constraints: 26508
381.53/382.64 c #Conflicts: 1110000 | #Constraints: 27508
381.53/382.64 c #Conflicts: 1111000 | #Constraints: 28508
381.53/382.64 c #Conflicts: 1112000 | #Constraints: 29508
381.53/382.64 c #Conflicts: 1113000 | #Constraints: 30508
381.53/382.64 c #Conflicts: 1114000 | #Constraints: 31508
381.53/382.64 c #Conflicts: 1115000 | #Constraints: 32508
381.53/382.64 c #Conflicts: 1116000 | #Constraints: 33508
381.53/382.64 c #Conflicts: 1117000 | #Constraints: 34508
381.53/382.64 c #Conflicts: 1118000 | #Constraints: 35508
381.53/382.64 c GLOBAL bounds -20 >= -22 @ 377.711
381.53/382.64 c GLOBAL bounds -20 >= -22 @ 377.711
385.22/386.35 c #Conflicts: 1119000 | #Constraints: 36509
385.22/386.35 c #Conflicts: 1120000 | #Constraints: 37509
385.22/386.35 c #Conflicts: 1121000 | #Constraints: 38509
385.22/386.35 c #Conflicts: 1122000 | #Constraints: 39509
385.22/386.35 c #Conflicts: 1123000 | #Constraints: 40509
385.22/386.35 c #Conflicts: 1124000 | #Constraints: 41509
385.22/386.35 c #Conflicts: 1125000 | #Constraints: 42509
385.22/386.35 c INPROCESSING
385.22/386.35 c GARBAGE COLLECT
385.22/386.35 c #Conflicts: 1126000 | #Constraints: 17420
385.22/386.35 c #Conflicts: 1127000 | #Constraints: 18420
385.22/386.35 c GLOBAL bounds -20 >= -22 @ 381.379
385.33/386.41 c #Conflicts: 1128000 | #Constraints: 19420
385.33/386.41 c GLOBAL bounds -20 >= -21 @ 381.437
385.33/386.41 c GLOBAL bounds -20 >= -21 @ 381.44
385.33/386.41 c GLOBAL bounds -20 >= -21 @ 381.44
385.43/386.51 c GLOBAL bounds -20 >= -21 @ 381.535
385.43/386.51 c GLOBAL bounds -20 >= -21 @ 381.536
385.43/386.51 c GLOBAL bounds -20 >= -21 @ 381.538
385.43/386.51 c GLOBAL bounds -20 >= -21 @ 381.538
413.85/415.10 c #Conflicts: 1129000 | #Constraints: 20423
413.85/415.10 c #Conflicts: 1130000 | #Constraints: 21423
413.85/415.10 c #Conflicts: 1131000 | #Constraints: 22423
413.85/415.10 c #Conflicts: 1132000 | #Constraints: 23423
413.85/415.10 c #Conflicts: 1133000 | #Constraints: 24423
413.85/415.10 c #Conflicts: 1134000 | #Constraints: 25423
413.85/415.10 c #Conflicts: 1135000 | #Constraints: 26423
413.85/415.10 c #Conflicts: 1136000 | #Constraints: 27423
413.85/415.10 c #Conflicts: 1137000 | #Constraints: 28423
413.85/415.10 c #Conflicts: 1138000 | #Constraints: 29423
413.85/415.10 c #Conflicts: 1139000 | #Constraints: 30423
413.85/415.10 c #Conflicts: 1140000 | #Constraints: 31423
413.85/415.10 c #Conflicts: 1141000 | #Constraints: 32423
413.85/415.10 c #Conflicts: 1142000 | #Constraints: 33423
413.85/415.10 c #Conflicts: 1143000 | #Constraints: 34423
413.85/415.10 c #Conflicts: 1144000 | #Constraints: 35423
413.85/415.10 c #Conflicts: 1145000 | #Constraints: 36423
413.85/415.10 c #Conflicts: 1146000 | #Constraints: 37423
413.85/415.10 c INPROCESSING
413.85/415.10 c GARBAGE COLLECT
413.85/415.10 c #Conflicts: 1147000 | #Constraints: 19062
413.85/415.10 c #Conflicts: 1148000 | #Constraints: 20062
413.85/415.10 c #Conflicts: 1149000 | #Constraints: 21062
413.85/415.10 c #Conflicts: 1150000 | #Constraints: 22062
413.85/415.10 c #Conflicts: 1151000 | #Constraints: 23062
413.85/415.10 c #Conflicts: 1152000 | #Constraints: 24062
413.85/415.10 c #Conflicts: 1153000 | #Constraints: 25062
413.85/415.10 c #Conflicts: 1154000 | #Constraints: 26062
413.85/415.10 c #Conflicts: 1155000 | #Constraints: 27062
413.85/415.10 c #Conflicts: 1156000 | #Constraints: 28062
413.85/415.10 c #Conflicts: 1157000 | #Constraints: 29062
413.85/415.10 c #Conflicts: 1158000 | #Constraints: 30062
413.85/415.10 c #Conflicts: 1159000 | #Constraints: 31062
413.85/415.10 c #Conflicts: 1160000 | #Constraints: 32062
413.85/415.10 c #Conflicts: 1161000 | #Constraints: 33062
413.85/415.10 c #Conflicts: 1162000 | #Constraints: 34062
413.85/415.10 c #Conflicts: 1163000 | #Constraints: 35062
413.85/415.10 c #Conflicts: 1164000 | #Constraints: 36062
413.85/415.10 c #Conflicts: 1165000 | #Constraints: 37062
413.85/415.10 c #Conflicts: 1166000 | #Constraints: 38062
413.85/415.10 c #Conflicts: 1167000 | #Constraints: 39062
413.85/415.10 c #Conflicts: 1168000 | #Constraints: 40062
413.85/415.10 c INPROCESSING
413.85/415.10 c GARBAGE COLLECT
413.85/415.10 c #Conflicts: 1169000 | #Constraints: 19299
413.85/415.10 c #Conflicts: 1170000 | #Constraints: 20299
413.85/415.10 c #Conflicts: 1171000 | #Constraints: 21299
413.85/415.10 c #Conflicts: 1172000 | #Constraints: 22299
413.85/415.10 c #Conflicts: 1173000 | #Constraints: 23299
413.85/415.10 c #Conflicts: 1174000 | #Constraints: 24299
413.85/415.10 c #Conflicts: 1175000 | #Constraints: 25299
413.85/415.10 c #Conflicts: 1176000 | #Constraints: 26299
413.85/415.10 c #Conflicts: 1177000 | #Constraints: 27299
413.85/415.10 c #Conflicts: 1178000 | #Constraints: 28299
413.85/415.10 c #Conflicts: 1179000 | #Constraints: 29299
413.85/415.10 c #Conflicts: 1180000 | #Constraints: 30299
413.85/415.10 c #Conflicts: 1181000 | #Constraints: 31299
413.85/415.10 c #Conflicts: 1182000 | #Constraints: 32299
413.85/415.10 c #Conflicts: 1183000 | #Constraints: 33299
413.85/415.10 c #Conflicts: 1184000 | #Constraints: 34299
413.85/415.10 c #Conflicts: 1185000 | #Constraints: 35299
413.85/415.10 c #Conflicts: 1186000 | #Constraints: 36299
413.85/415.10 c #Conflicts: 1187000 | #Constraints: 37299
413.85/415.10 c #Conflicts: 1188000 | #Constraints: 38299
413.85/415.10 c #Conflicts: 1189000 | #Constraints: 39299
413.85/415.10 c #Conflicts: 1190000 | #Constraints: 40299
413.85/415.10 c INPROCESSING
413.85/415.10 c GARBAGE COLLECT
413.85/415.10 c #Conflicts: 1191000 | #Constraints: 21500
413.85/415.10 c #Conflicts: 1192000 | #Constraints: 22500
413.85/415.10 c #Conflicts: 1193000 | #Constraints: 23500
413.85/415.10 c #Conflicts: 1194000 | #Constraints: 24500
413.85/415.10 c #Conflicts: 1195000 | #Constraints: 25500
413.85/415.10 c #Conflicts: 1196000 | #Constraints: 26500
413.85/415.10 c #Conflicts: 1197000 | #Constraints: 27500
413.85/415.10 c #Conflicts: 1198000 | #Constraints: 28500
413.85/415.10 c #Conflicts: 1199000 | #Constraints: 29500
413.85/415.10 c #Conflicts: 1200000 | #Constraints: 30500
413.85/415.10 c #Conflicts: 1201000 | #Constraints: 31500
413.85/415.10 c #Conflicts: 1202000 | #Constraints: 32500
413.85/415.10 c #Conflicts: 1203000 | #Constraints: 33500
413.85/415.10 c #Conflicts: 1204000 | #Constraints: 34500
413.85/415.10 c #Conflicts: 1205000 | #Constraints: 35500
414.74/415.97 c #Conflicts: 1206000 | #Constraints: 36500
414.74/415.97 c GLOBAL bounds -20 >= -20 @ 410.631
414.74/415.97 c cpu time 410.631 s
414.74/415.97 c deterministic time 1955844 1.96e+06
414.74/415.97 c optimization time 410.584 s
414.74/415.97 c total solve time 0.044981 s
414.74/415.97 c core-guided solve time 0 s
414.74/415.97 c propagation time 0.024999 s
414.74/415.97 c conflict analysis time 0.008603 s
414.74/415.97 c propagations 80444
414.74/415.97 c resolve steps 0
414.74/415.97 c decisions 36169
414.74/415.97 c conflicts 0
414.74/415.97 c restarts 1
414.74/415.97 c inprocessing phases 0
414.74/415.97 c garbage collections 0 ,( -nan )
414.74/415.97 c input clauses 1056 ,( 72.73 )
414.74/415.97 c input cardinalities 25 ,( 1.72 )
414.74/415.97 c input general constraints 371 ,( 25.55 )
414.74/415.97 c input average constraint length 21.59
414.74/415.97 c input average constraint degree 21.79
414.74/415.97 c learned clauses 1 ,( 0.28 )
414.74/415.97 c learned cardinalities 19 ,( 5.23 )
414.74/415.97 c learned general constraints 343 ,( 94.49 )
414.74/415.97 c learned average constraint length 5.75
414.74/415.97 c learned average constraint degree 17747737.85
414.74/415.97 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
414.74/415.97 c counting CF 32, 64, 128, Arb: 715 , 0 , 0 , 0
414.74/415.97 c watched constraints 0 ,( 0.00 )
414.74/415.97 c counting constraints 714 ,( 100.00 )
414.74/415.97 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 16274 , 5793 , 637315 ,( 0 , 637315 )
414.74/415.97 c gcd simplifications 59
414.74/415.97 c detected cardinalities 3
414.74/415.97 c weakened non-implied lits 0
414.74/415.97 c weakened non-implying lits 0
414.74/415.97 c original variables 225
414.74/415.97 c clausal propagations 10322
414.74/415.97 c cardinality propagations 4657
414.74/415.97 c watched propagations 0
414.74/415.97 c counting propagations 32714
414.74/415.97 c watch lookups 1483070
414.74/415.97 c watch backjump lookups 0
414.74/415.97 c watch checks 10998
414.74/415.97 c propagation checks 223884
414.74/415.97 c constraint additions 4382
414.74/415.97 c trail pops 116613
414.74/415.97 c formula constraints 350
414.74/415.97 c learned constraints 358
414.74/415.97 c bound constraints 0
414.74/415.97 c core-guided constraints 0
414.74/415.97 c encountered formula constraints 0
414.74/415.97 c encountered learned constraints 0
414.74/415.97 c encountered bound constraints 0
414.74/415.97 c encountered core-guided constraints 0
414.74/415.97 c LP total time 0.006381 s
414.74/415.97 c LP solve time 0.01 s
414.74/415.97 c LP constraints added 355
414.74/415.97 c LP constraints removed 0
414.74/415.97 c LP pivots internal 13
414.74/415.97 c LP pivots root 270
414.74/415.97 c LP calls 2
414.74/415.97 c LP optimalities 2
414.74/415.97 c LP no pivot count 0
414.74/415.97 c LP infeasibilities 0
414.74/415.97 c LP valid Farkas constraints 0
414.74/415.97 c LP learned Farkas constraints 0
414.74/415.97 c LP basis resets 0
414.74/415.97 c LP cycling count 0
414.74/415.97 c LP singular count 0
414.74/415.97 c LP no primal count 0
414.74/415.97 c LP no farkas count 0
414.74/415.97 c LP other issue count 0
414.74/415.97 c LP Gomory cuts 5
414.74/415.97 c LP learned cuts 0
414.74/415.97 c LP deleted cuts 0
414.74/415.97 c LP encountered Gomory constraints 0
414.74/415.97 c LP encountered Farkas constraints 0
414.74/415.97 c LP encountered learned Farkas constraints 0
414.74/415.97 c CG auxiliary variables introduced 76
414.74/415.97 c CG solutions found 2
414.74/415.97 c CG cores constructed 569
414.74/415.97 c CG core cardinality constraints returned 0
414.74/415.97 c CG unit cores 0
414.74/415.97 c CG single cores 0
414.74/415.97 c CG blocks removed during cardinality reduction 0
414.74/415.97 c CG first core best 0
414.74/415.97 c CG decision core best 0
414.74/415.97 c CG core reduction tie 0
414.74/415.97 c CG core degree average 0.00
414.74/415.97 c CG core slack average 0.00
414.74/415.97 c CG core upper bound improvements 0
414.74/415.97 c STR number of successful calls 0
414.74/415.97 c STR number of unsuccessful calls 0
414.74/415.97 c STR number of inconclusive calls 0
414.74/415.97 c STR number of successful attempts 0
414.74/415.97 c STR number of unsuccessful attempts 0
414.74/415.97 c STR number of inconclusive attempts 0
414.74/415.97 c STR average degree increase per successful call inf
414.74/415.97 c STR average degree increase per successful attempt inf
414.74/415.97 c STR total number of conflicts for successful attempts 0
414.74/415.97 c STR total number of conflicts for unsuccessful attempts 0
414.74/415.97 c STR total number of conflicts for inconclusive attempts 0
414.74/415.97 c STR average number of conflicts per successful attempt inf
414.74/415.97 c STR average number of conflicts per unsuccessful attempt inf
414.74/415.97 c STR average number of conflicts per inconclusive attempt inf
414.74/415.97 c AVG.sumWPerc 89.56
414.74/415.97 c bigint constraints 0
414.74/415.97 o -20
414.74/415.97 s OPTIMUM FOUND
414.74/415.97 v -x1 -x2 x3 -x4 x5 -x6 -x7 x8 -x9 x10 -x11 -x12 -x13 -x14 x15 x16 -x17 -x18 x19 -x20 -x21 -x22 x23 -x24 -x25 x26 -x27 -x28 -x29 x30 -x31 -x32 x33 -x34 x35 -x36 -x37 x38 -x39 -x40 x41 -x42 x43 -x44 -x45 -x46 -x47 x48 -x49 -x50 x51 -x52 x53 -x54 -x55 x56 -x57 -x58 x59 -x60 -x61 -x62 x63 x64 -x65 -x66 -x67 x68 -x69 -x70 x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 x162 -x163 -x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 x199 -x200 -x201 -x202 -x203 x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 -x222 -x223 -x224 -x225
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 (62537 MiB free)
memory of node 1: 64507 MiB (63488 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509010-1751521021/watcher-4509010-1751521021 -o /tmp/evaluation-result-4509010-1751521021/solver-4509010-1751521021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72981 --watchdog 3760 run-opt.sh HOME/instance-4509010-1751521021.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=73024, runsolver pid=73020
[startup+0.100017 s]*
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=129028568/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=62380 memory=12928 CPUtime=0.06 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 1171 0 0 0 4 2 0 0 20 0 1 0 67781675 63877120 3232 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 15595 3232 2368 1147 0 3022 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 66572 KiB
Current children cumulated memory: 15872 KiB
[startup+0.205823 s]*
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=129020188/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=65440 memory=17712 CPUtime=0.17 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 1841 0 0 0 14 3 0 0 20 0 1 0 67781675 67010560 4428 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 16360 4428 2368 1147 0 3787 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 69632 KiB
Current children cumulated memory: 20656 KiB
[startup+0.305547 s]*
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=129009352/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=65892 memory=18352 CPUtime=0.27 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 2014 0 0 0 23 4 0 0 20 0 1 0 67781675 67473408 4588 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 16473 4588 2368 1147 0 3900 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 70084 KiB
Current children cumulated memory: 21296 KiB
[startup+0.700201 s]
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=128877352/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=68760 memory=20528 CPUtime=0.65 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 2547 0 0 0 60 5 0 0 20 0 1 0 67781675 70410240 5132 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 17190 5132 2368 1147 0 4617 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 72952 KiB
Current children cumulated memory: 23472 KiB
[startup+1.50019 s]
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=128828212/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=70028 memory=24292 CPUtime=1.45 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 2974 0 0 0 138 7 0 0 20 0 1 0 67781675 71708672 6073 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 17507 6073 2368 1147 0 4934 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 74220 KiB
Current children cumulated memory: 27236 KiB
[startup+3.10548 s]
/proc/loadavg: 0.52 1.21 1.94 5/269 73044
/proc/meminfo: memFree=128819536/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=70392 memory=24804 CPUtime=3.06 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 3114 0 0 0 294 12 0 0 20 0 1 0 67781675 72081408 6201 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 17598 6201 2368 1147 0 5025 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 74584 KiB
Current children cumulated memory: 27748 KiB
[startup+6.30013 s]
/proc/loadavg: 0.80 1.25 1.95 5/269 73044
/proc/meminfo: memFree=128798208/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=74288 memory=28388 CPUtime=6.24 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 3996 0 0 0 606 18 0 0 20 0 1 0 67781675 76070912 7097 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 18572 7097 2368 1147 0 5999 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 78480 KiB
Current children cumulated memory: 31332 KiB
[startup+12.7001 s]
/proc/loadavg: 1.06 1.30 1.97 5/268 73044
/proc/meminfo: memFree=128768708/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=81180 memory=33380 CPUtime=12.63 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 5256 0 0 0 1234 29 0 0 20 0 1 0 67781675 83128320 8345 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 20295 8345 2368 1147 0 7722 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 85372 KiB
Current children cumulated memory: 36324 KiB
[startup+25.5001 s]
/proc/loadavg: 1.78 1.45 2.01 5/268 73045
/proc/meminfo: memFree=128755904/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=83116 memory=36836 CPUtime=25.4 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 6143 0 0 0 2492 48 0 0 20 0 1 0 67781675 85110784 9209 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 20779 9209 2368 1147 0 8206 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 87308 KiB
Current children cumulated memory: 39780 KiB
[startup+51.1055 s]
/proc/loadavg: 2.54 1.65 2.06 5/268 73045
/proc/meminfo: memFree=128733924/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=89524 memory=41572 CPUtime=50.94 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 7079 0 0 0 5013 81 0 0 20 0 1 0 67781675 91672576 10393 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 22381 10393 2368 1147 0 9808 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 93716 KiB
Current children cumulated memory: 44516 KiB
[startup+102.3 s]
/proc/loadavg: 3.41 2.03 2.17 5/269 73050
/proc/meminfo: memFree=128664420/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=102148 memory=52596 CPUtime=102.02 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 9224 0 0 0 10071 131 0 0 20 0 1 0 67781675 104599552 13149 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 25537 13149 2368 1147 0 12964 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 106340 KiB
Current children cumulated memory: 55540 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.42 2.30 5/268 73052
/proc/meminfo: memFree=128634304/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=116100 memory=60040 CPUtime=161.85 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 11350 0 0 0 16000 185 0 0 20 0 1 0 67781675 118886400 15010 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 29025 15010 2368 1147 0 16452 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 120292 KiB
Current children cumulated memory: 62984 KiB
[startup+222.3 s]
/proc/loadavg: 3.96 2.71 2.41 5/269 73055
/proc/meminfo: memFree=128610372/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=116848 memory=63176 CPUtime=221.67 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 11899 0 0 0 21934 233 0 0 20 0 1 0 67781675 119652352 15794 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 29212 15794 2368 1147 0 16639 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 121040 KiB
Current children cumulated memory: 66120 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 2.99 2.52 5/270 73062
/proc/meminfo: memFree=128553312/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=118620 memory=65404 CPUtime=281.51 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 12814 0 0 0 27863 288 0 0 20 0 1 0 67781675 121466880 16351 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 29655 16351 2368 1147 0 17082 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 122812 KiB
Current children cumulated memory: 68348 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 3.19 2.62 5/269 73064
/proc/meminfo: memFree=128521672/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=119400 memory=68980 CPUtime=341.34 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 13526 0 0 0 33788 346 0 0 20 0 1 0 67781675 122265600 17245 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 29850 17245 2368 1147 0 17277 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 123592 KiB
Current children cumulated memory: 71924 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 3.36 2.72 5/268 73066
/proc/meminfo: memFree=128522428/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=121804 memory=70520 CPUtime=401.18 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 14665 0 0 0 39710 408 0 0 20 0 1 0 67781675 124727296 17630 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 30451 17630 2368 1147 0 17878 0
Current children cumulated CPU time: 401.18 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 73464 KiB
[startup+415.978 s]
# the end of solver process 73024 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=410.633 s, system=4.19914 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.07 3.38 2.73 5/268 73066
/proc/meminfo: memFree=128522492/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=121804 memory=70520 CPUtime=408.46 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 14678 0 0 0 40431 415 0 0 20 0 1 0 67781675 124727296 17630 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 30451 17630 2368 1147 0 17878 0
Current children cumulated CPU time: 408.46 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 73464 KiB
[startup+412.8 s]
/proc/loadavg: 4.07 3.38 2.73 5/268 73066
/proc/meminfo: memFree=128522524/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=121804 memory=70520 CPUtime=411.65 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 14678 0 0 0 40748 417 0 0 20 0 1 0 67781675 124727296 17630 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 30451 17630 2368 1147 0 17878 0
Current children cumulated CPU time: 411.65 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 73464 KiB
[startup+414.4 s]
/proc/loadavg: 4.06 3.39 2.74 5/268 73066
/proc/meminfo: memFree=128522572/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=121804 memory=70520 CPUtime=413.24 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 14678 0 0 0 40906 418 0 0 20 0 1 0 67781675 124727296 17630 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 30451 17630 2368 1147 0 17878 0
Current children cumulated CPU time: 413.24 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 73464 KiB
[startup+415.2 s]
/proc/loadavg: 4.06 3.39 2.74 5/268 73066
/proc/meminfo: memFree=128522572/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=121804 memory=70520 CPUtime=414.05 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 14678 0 0 0 40986 419 0 0 20 0 1 0 67781675 124727296 17630 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 30451 17630 2368 1147 0 17878 0
Current children cumulated CPU time: 414.05 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 73464 KiB
[startup+415.6 s]
/proc/loadavg: 4.06 3.39 2.74 5/268 73066
/proc/meminfo: memFree=128522572/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=121804 memory=70520 CPUtime=414.45 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 14678 0 0 0 41026 419 0 0 20 0 1 0 67781675 124727296 17630 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 30451 17630 2368 1147 0 17878 0
Current children cumulated CPU time: 414.45 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 73464 KiB
[startup+415.8 s]
/proc/loadavg: 4.06 3.39 2.74 5/268 73066
/proc/meminfo: memFree=128522572/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=121804 memory=70520 CPUtime=414.64 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 14678 0 0 0 41045 419 0 0 20 0 1 0 67781675 124727296 17630 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 30451 17630 2368 1147 0 17878 0
Current children cumulated CPU time: 414.64 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 73464 KiB
[startup+415.9 s]
/proc/loadavg: 4.06 3.39 2.74 5/268 73066
/proc/meminfo: memFree=128522572/131249996 swapFree=33010416/33010684
[pid=73024] ppid=73020 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/73024/stat : 73024 (run-opt.sh) S 73020 73024 72970 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 67781674 4292608 736 18446744073709551615 94907932438528 94907933333061 140725290752720 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94907933572112 94907933619856 94907942637568 140725290760557 140725290760680 140725290760680 140725290766282 0
/proc/73024/statm: 1048 736 672 219 0 110 0
[pid=73028] ppid=73024 vsize=121804 memory=70520 CPUtime=414.74 cores=4,6
/proc/73028/stat : 73028 (roundingsat) R 73024 73024 72970 0 -1 4194304 14678 0 0 0 41055 419 0 0 20 0 1 0 67781675 124727296 17630 18446744073709551615 4227072 8923433 140734593022896 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 27414528 140734593030562 140734593030696 140734593030696 140734593036266 0
/proc/73028/statm: 30451 17630 2368 1147 0 17878 0
Current children cumulated CPU time: 414.74 s
Current children cumulated vsize: 125996 KiB
Current children cumulated memory: 73464 KiB
Child status: 0
Real time (s): 415.978
CPU time (s): 414.832
CPU user time (s): 410.633
CPU system time (s): 4.19914
CPU usage (%): 99.7247
Max. virtual memory (cumulated for all children) (KiB): 125996
Max. memory (cumulated for all children) (KiB): 73464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 410.633
system time used= 4.19914
maximum resident set size= 70520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14908
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 194
involuntary context switches= 466
# summary of solver processes directly reported to runsolver:
# pid: 73024
# total CPU time (s): 414.832
# total CPU user time (s): 410.633
# total CPU system time (s): 4.19914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.816299 second user time and 1.79859 second system time
The end
Begin job on nodeC030 at 2025-07-03 07:37:01
IDJOB=4509010
IDBENCH=158553
IDSOLVER=3350
FILE ID=nodeC030/4509010-1751521021
RUNJOBID= nodeC030-1751521021-72981
SLURM_JOB_ID= 9598643
Free space on /tmp= 432508 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/minlplib2-pb-0.1.0/opb/normalized-graphpart_2pm-0055-0055.lin.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509010-1751521021/watcher-4509010-1751521021 -o /tmp/evaluation-result-4509010-1751521021/solver-4509010-1751521021 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1751521021-72981 --watchdog 3760 run-opt.sh HOME/instance-4509010-1751521021.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4718f12bebdf91368a48e005d35af6ac
RANDOM SEED=1683089071
nodeC030 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 : 3602.602
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3598.781
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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.317
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.292
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.209
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3511.314
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.326
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
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 : 3600.331
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.62
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129043212 kB
MemAvailable: 129724724 kB
Buffers: 2564 kB
Cached: 1473288 kB
SwapCached: 16 kB
Active: 506796 kB
Inactive: 1029780 kB
Active(anon): 74224 kB
Inactive(anon): 4548 kB
Active(file): 432572 kB
Inactive(file): 1025232 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 32400 kB
Writeback: 0 kB
AnonPages: 63696 kB
Mapped: 103100 kB
Shmem: 18048 kB
KReclaimable: 125496 kB
Slab: 214332 kB
SReclaimable: 125496 kB
SUnreclaim: 88836 kB
KernelStack: 4024 kB
PageTables: 2660 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 328896 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 6144 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: 189140 kB
DirectMap2M: 9019392 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432476 MiB
End job on nodeC030 at 2025-07-03 07:43:57