0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.03 c #variables 225 #constraints 350
0.00/0.03 c objective is ce32
0.00/0.03 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03 c initial counting CF 32, 64, 128, Arb: 151 , 0 , 0 , 0
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.003997
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.004233
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.00441
0.00/0.03 c GLOBAL bounds - >= -75 @ 0.005144
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.005864
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006197
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.006374
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007096
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.00719
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.007587
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.008186
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.008186
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.008186
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.008186
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.008331
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.009044
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.009743
0.00/0.04 c GLOBAL bounds - >= -75 @ 0.010143
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.01031
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.01105
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.01115
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.01115
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.011291
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.012027
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.012134
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.012134
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.012298
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.012995
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.013115
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.013115
0.00/0.05 c GLOBAL bounds - >= -75 @ 0.013313
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.014086
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.0141
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.014583
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.015095
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.015095
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.015095
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.015482
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.016238
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.016916
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.017625
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.018077
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.018238
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.018906
0.00/0.06 c GLOBAL bounds - >= -75 @ 0.019493
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.020009
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.020009
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.020562
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.021035
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.021035
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.021045
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.021045
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.021188
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.02183
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.022506
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.023149
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.023875
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.024021
0.00/0.07 c GLOBAL bounds - >= -75 @ 0.024275
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.024897
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.025025
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.025364
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.026002
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.026619
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.027015
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.027015
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.027634
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.028017
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.028017
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.028017
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.028017
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.028017
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.028017
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.028017
0.00/0.08 c GLOBAL bounds - >= -75 @ 0.028017
0.00/0.09 c GLOBAL bounds - >= -75 @ 0.028159
0.00/0.09 c GLOBAL bounds - >= -75 @ 0.028978
0.00/0.10 c rational objective -25
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054408
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054484
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054539
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054589
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054638
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054686
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054734
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054782
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054805
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054823
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054854
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054883
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054911
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.11 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.054935
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.055345
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.055745
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.055958
0.08/0.12 c GLOBAL bounds - >= -75 @ 0.056236
0.08/0.13 c GLOBAL bounds - >= -75 @ 0.056502
0.08/0.13 c GLOBAL bounds - >= -75 @ 0.056761
0.08/0.13 c GLOBAL bounds - >= -75 @ 0.056837
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056837
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056837
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056837
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056837
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056837
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056837
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056837
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056851
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056851
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056851
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056851
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056851
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056851
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056851
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056851
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056909
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.056998
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057607
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057691
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057835
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.057864
0.08/0.13 c GLOBAL bounds - >= -73 @ 0.058274
0.08/0.14 c GLOBAL bounds - >= -73 @ 0.058679
0.08/0.14 c GLOBAL bounds - >= -73 @ 0.059159
0.08/0.14 c GLOBAL bounds - >= -73 @ 0.059551
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.059943
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060183
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060259
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060324
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060413
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060481
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060543
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060603
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060663
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060724
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.060795
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.061427
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.061524
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.061801
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.061801
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.061877
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.061969
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.062587
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.062673
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.063291
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.063381
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.063793
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.063793
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.063793
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.063847
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.064541
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.064654
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.064765
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.064765
0.08/0.14 c GLOBAL bounds - >= -71 @ 0.064769
0.08/0.15 c GLOBAL bounds - >= -71 @ 0.064769
0.08/0.15 c GLOBAL bounds - >= -71 @ 0.064769
0.08/0.15 c GLOBAL bounds - >= -71 @ 0.064769
0.08/0.15 c GLOBAL bounds - >= -71 @ 0.064769
0.08/0.15 c GLOBAL bounds - >= -71 @ 0.065072
0.08/0.15 c GLOBAL bounds - >= -71 @ 0.065419
0.08/0.15 c GLOBAL bounds - >= -71 @ 0.065761
0.08/0.15 c GLOBAL bounds - >= -71 @ 0.065761
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.065812
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066084
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.06616
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066226
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066314
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066383
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066446
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066508
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066755
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066755
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066755
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066755
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066755
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.066755
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.067304
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.067412
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.067745
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.067745
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.067855
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.06798
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.068605
0.08/0.15 c GLOBAL bounds - >= -68 @ 0.068722
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.06874
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.06874
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.06874
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.06874
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.06874
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.06874
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.0692
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.069841
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.070208
0.08/0.16 c GLOBAL bounds - >= -68 @ 0.071066
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.071938
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.072428
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.072527
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.0726
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.072668
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.072765
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.073406
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.073523
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.073704
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.073704
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.073944
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.074065
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.0747
0.08/0.16 c GLOBAL bounds - >= -63 @ 0.074829
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.075474
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.075594
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.076236
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.076363
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.076696
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.076696
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.076701
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.076701
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.076701
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.076754
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.077407
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.077694
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.077694
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.077694
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.077694
0.08/0.17 c GLOBAL bounds - >= -63 @ 0.079364
0.08/0.18 c GLOBAL bounds - >= -63 @ 0.080675
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.081022
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.081504
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.081591
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.081664
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.08174
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.081832
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.081907
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.081977
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.082732
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.08286
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.083764
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.083898
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.08456
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.084679
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.085339
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.085484
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.085647
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.085647
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.08597
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.086126
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.086593
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.086593
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.086704
0.08/0.18 c GLOBAL bounds - >= -59 @ 0.086883
0.08/0.19 c GLOBAL bounds - >= -59 @ 0.087554
0.08/0.19 c GLOBAL bounds - >= -59 @ 0.08773
0.08/0.19 c GLOBAL bounds - >= -59 @ 0.088409
0.08/0.19 c GLOBAL bounds - >= -59 @ 0.089087
0.08/0.19 c GLOBAL bounds - >= -59 @ 0.08988
0.08/0.19 c GLOBAL bounds - >= -59 @ 0.091237
0.08/0.19 c GLOBAL bounds - >= -59 @ 0.092754
0.08/0.19 c GLOBAL bounds - >= -59 @ 0.095533
0.08/0.20 c GLOBAL bounds - >= -59 @ 0.096544
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.09745
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.097931
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.09802
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.098097
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.098172
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.098246
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.098533
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.098533
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.098876
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.099017
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.099528
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.099528
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.099534
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.099685
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.100387
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.100529
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.101245
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.101368
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.101512
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.101512
0.08/0.20 c GLOBAL bounds - >= -56 @ 0.101945
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.102124
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.10285
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.103027
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.103502
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.103576
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.104422
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.105442
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.106908
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.107961
0.08/0.21 c GLOBAL bounds - >= -56 @ 0.10969
0.08/0.22 c GLOBAL bounds - >= -56 @ 0.11037
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.112991
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.113604
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.11371
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.113801
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.11391
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.114115
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.114284
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.114442
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.114596
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.114752
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.115503
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.115631
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.115644
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.115686
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.115733
0.08/0.22 c GLOBAL bounds - >= -53 @ 0.115733
0.19/0.22 c GLOBAL bounds - >= -53 @ 0.116393
0.19/0.22 c GLOBAL bounds - >= -53 @ 0.116569
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.116693
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.116693
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.117298
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.117477
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.117672
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.117672
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.117672
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.117672
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.118217
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.118385
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.11866
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.11914
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.119653
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.120681
0.19/0.23 c GLOBAL bounds - >= -53 @ 0.121641
0.19/0.24 c GLOBAL bounds - >= -53 @ 0.122435
0.19/0.24 c GLOBAL bounds - >= -53 @ 0.124275
0.19/0.24 c GLOBAL bounds - >= -53 @ 0.125152
0.19/0.24 c GLOBAL bounds - >= -53 @ 0.127002
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.130598
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.131156
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.131266
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.131359
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.131426
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.131487
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.131546
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.131624
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.132423
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.132564
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.133375
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.133537
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.133578
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.133583
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.133592
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.133592
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.133592
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.133655
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.134493
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.134583
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.134583
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.134583
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.134583
0.19/0.25 c GLOBAL bounds - >= -50 @ 0.134583
0.19/0.26 c GLOBAL bounds - >= -50 @ 0.134692
0.19/0.26 c GLOBAL bounds - >= -50 @ 0.134898
0.19/0.26 c GLOBAL bounds - >= -50 @ 0.13557
0.19/0.26 c GLOBAL bounds - >= -50 @ 0.135676
0.19/0.26 c GLOBAL bounds - >= -50 @ 0.136892
0.19/0.26 c GLOBAL bounds - >= -50 @ 0.138255
0.19/0.26 c GLOBAL bounds - >= -50 @ 0.139651
0.19/0.26 c GLOBAL bounds - >= -50 @ 0.141474
0.19/0.27 c GLOBAL bounds - >= -50 @ 0.142599
0.19/0.27 c GLOBAL bounds - >= -50 @ 0.144615
0.19/0.28 c GLOBAL bounds - >= -47 @ 0.158944
0.19/0.28 c GLOBAL bounds - >= -47 @ 0.15985
0.19/0.28 c GLOBAL bounds - >= -47 @ 0.160002
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.160139
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.160274
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.160431
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.161338
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.161449
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.161464
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.161663
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.16257
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.162764
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.164466
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.164663
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.165436
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.165436
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.165701
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.165912
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.166833
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.167044
0.19/0.29 c GLOBAL bounds - >= -47 @ 0.16798
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.168195
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.168421
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.168421
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.168424
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.169327
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.170413
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.171486
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.172742
0.19/0.30 c GLOBAL bounds - >= -47 @ 0.175106
0.19/0.31 c GLOBAL bounds - >= -47 @ 0.176965
0.19/0.31 c GLOBAL bounds - >= -47 @ 0.179757
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.193696
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194236
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194236
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194236
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194236
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194236
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194248
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194396
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194602
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.194803
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.196297
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.196517
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.197522
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.19774
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.198757
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.198974
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.199218
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.199279
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.200331
0.29/0.33 c GLOBAL bounds - >= -45 @ 0.200545
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.20161
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.201821
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.202911
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.20312
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.204228
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.204439
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.205172
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.205172
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.20518
0.29/0.34 c GLOBAL bounds - >= -45 @ 0.20698
0.29/0.35 c GLOBAL bounds - >= -45 @ 0.208856
0.29/0.35 c GLOBAL bounds - >= -45 @ 0.211617
0.29/0.35 c GLOBAL bounds - >= -45 @ 0.212331
0.29/0.35 c GLOBAL bounds - >= -45 @ 0.214692
0.29/0.36 c GLOBAL bounds - >= -45 @ 0.217151
0.29/0.36 c GLOBAL bounds - >= -45 @ 0.219555
0.29/0.36 c GLOBAL bounds - >= -45 @ 0.221637
0.29/0.36 c GLOBAL bounds - >= -45 @ 0.223165
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.273463
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.274831
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.27506
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.275289
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.275495
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.275689
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.275689
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.275689
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.275689
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.275689
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.275854
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.276064
0.29/0.42 c GLOBAL bounds - >= -41 @ 0.279815
0.39/0.42 c GLOBAL bounds - >= -41 @ 0.280007
0.39/0.42 c GLOBAL bounds - >= -41 @ 0.280838
0.39/0.42 c GLOBAL bounds - >= -41 @ 0.281017
0.39/0.42 c GLOBAL bounds - >= -41 @ 0.281579
0.39/0.42 c GLOBAL bounds - >= -41 @ 0.281579
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.281898
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.282073
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.282933
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.283107
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.283985
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.28417
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.284575
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.284575
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.284576
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.284576
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.285344
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.285569
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.286518
0.39/0.43 c GLOBAL bounds - >= -41 @ 0.287906
0.39/0.44 c GLOBAL bounds - >= -41 @ 0.288558
0.39/0.44 c GLOBAL bounds - >= -41 @ 0.289154
0.39/0.44 c GLOBAL bounds - >= -41 @ 0.290149
0.39/0.44 c GLOBAL bounds - >= -41 @ 0.291694
0.39/0.44 c GLOBAL bounds - >= -41 @ 0.293803
0.39/0.44 c GLOBAL bounds - >= -41 @ 0.294635
0.39/0.45 c GLOBAL bounds - >= -41 @ 0.297502
0.39/0.45 c GLOBAL bounds - >= -41 @ 0.298498
0.39/0.47 c #Conflicts: 1000 | #Constraints: 1360
0.39/0.47 c GLOBAL bounds - >= -41 @ 0.317417
0.49/0.52 c GLOBAL bounds - >= -39 @ 0.366422
0.49/0.52 c GLOBAL bounds - >= -39 @ 0.367529
0.49/0.52 c GLOBAL bounds - >= -39 @ 0.367651
0.49/0.52 c GLOBAL bounds - >= -39 @ 0.367788
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.367903
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.36801
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.368116
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.368225
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.368351
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.368479
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.368585
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.368697
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.369624
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.369761
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.370676
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.370822
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.372651
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.372801
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.373745
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.37392
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.374861
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.375041
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.376008
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.376187
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.377189
0.49/0.53 c GLOBAL bounds - >= -39 @ 0.377386
0.49/0.54 c GLOBAL bounds - >= -39 @ 0.378148
0.49/0.54 c GLOBAL bounds - >= -39 @ 0.378148
0.49/0.54 c GLOBAL bounds - >= -39 @ 0.378683
0.49/0.54 c GLOBAL bounds - >= -39 @ 0.378874
0.49/0.54 c GLOBAL bounds - >= -39 @ 0.379158
0.49/0.54 c GLOBAL bounds - >= -39 @ 0.380751
0.49/0.54 c GLOBAL bounds - >= -39 @ 0.382803
0.49/0.54 c GLOBAL bounds - >= -39 @ 0.383778
0.49/0.55 c GLOBAL bounds - >= -39 @ 0.38492
0.49/0.55 c GLOBAL bounds - >= -39 @ 0.387485
0.49/0.56 c GLOBAL bounds - >= -39 @ 0.394808
0.57/0.62 c GLOBAL bounds - >= -39 @ 0.45444
0.57/0.63 c GLOBAL bounds - >= -38 @ 0.469385
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.470605
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.470728
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.471809
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.471958
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.473187
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.473334
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.47444
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.474584
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.475695
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.475738
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.475745
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.475745
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.476317
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.476532
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.477717
0.57/0.64 c GLOBAL bounds - >= -38 @ 0.477736
0.57/0.65 c GLOBAL bounds - >= -38 @ 0.478156
0.57/0.65 c GLOBAL bounds - >= -38 @ 0.478374
0.57/0.65 c GLOBAL bounds - >= -38 @ 0.479609
0.57/0.65 c GLOBAL bounds - >= -38 @ 0.479725
0.57/0.65 c GLOBAL bounds - >= -38 @ 0.480163
0.57/0.65 c GLOBAL bounds - >= -38 @ 0.481607
0.57/0.65 c GLOBAL bounds - >= -38 @ 0.483316
0.57/0.66 c GLOBAL bounds - >= -38 @ 0.486293
0.57/0.66 c GLOBAL bounds - >= -38 @ 0.488709
0.57/0.66 c GLOBAL bounds - >= -38 @ 0.490399
0.57/0.66 c GLOBAL bounds - >= -38 @ 0.493722
0.57/0.68 c #Conflicts: 2000 | #Constraints: 2389
0.57/0.68 c INPROCESSING
0.57/0.68 c GARBAGE COLLECT
0.57/0.68 c GLOBAL bounds - >= -38 @ 0.506149
0.86/0.92 c #Conflicts: 3000 | #Constraints: 2407
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.743785
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.744619
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.744681
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.744837
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.74497
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.745081
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.745198
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.745331
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.745499
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.74568
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.746639
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.746639
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.746639
0.86/0.92 c GLOBAL bounds - >= -35 @ 0.746639
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.747375
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.7475
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.748326
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.748465
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.74932
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.749467
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.750321
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.750493
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.75137
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.751543
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.752417
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.75258
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.753479
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.753656
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.754576
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.755569
0.86/0.93 c GLOBAL bounds - >= -35 @ 0.756603
0.86/0.94 c GLOBAL bounds - >= -35 @ 0.757016
0.86/0.94 c GLOBAL bounds - >= -35 @ 0.758157
0.86/0.94 c GLOBAL bounds - >= -35 @ 0.759384
0.86/0.94 c GLOBAL bounds - >= -35 @ 0.761378
0.86/0.94 c GLOBAL bounds - >= -35 @ 0.76264
0.86/0.94 c GLOBAL bounds - >= -35 @ 0.763967
0.86/0.95 c GLOBAL bounds - >= -35 @ 0.766277
0.86/0.95 c GLOBAL bounds - >= -35 @ 0.767324
0.86/0.96 c GLOBAL bounds - >= -35 @ 0.778485
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.800697
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.801183
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802066
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802117
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802162
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802205
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802249
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802343
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802415
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802485
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802552
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802618
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802684
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.80275
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.802815
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.803761
0.86/0.98 c GLOBAL bounds - >= -35 @ 0.803868
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.816397
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.816397
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.816862
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.81699
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.817324
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.817324
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.817908
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.81808
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.818981
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.819193
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.819238
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.819346
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.820329
0.86/1.00 c GLOBAL bounds - >= -35 @ 0.820517
0.86/1.01 c GLOBAL bounds - >= -35 @ 0.821178
0.86/1.01 c GLOBAL bounds - >= -35 @ 0.821178
0.86/1.01 c GLOBAL bounds - >= -35 @ 0.821802
0.86/1.01 c GLOBAL bounds - >= -35 @ 0.82239
0.97/1.01 c GLOBAL bounds - >= -35 @ 0.827983
0.97/1.02 c GLOBAL bounds - >= -35 @ 0.831965
0.97/1.02 c GLOBAL bounds - >= -35 @ 0.834826
0.97/1.02 c GLOBAL bounds - >= -35 @ 0.836152
0.97/1.03 c GLOBAL bounds - >= -35 @ 0.841538
0.97/1.04 c GLOBAL bounds - >= -35 @ 0.84905
1.08/1.17 c #Conflicts: 4000 | #Constraints: 3445
1.08/1.17 c INPROCESSING
1.08/1.17 c GARBAGE COLLECT
1.08/1.17 c GLOBAL bounds - >= -34 @ 0.979334
1.08/1.17 c GLOBAL bounds - >= -34 @ 0.980265
1.08/1.17 c GLOBAL bounds - >= -34 @ 0.98037
1.08/1.17 c GLOBAL bounds - >= -34 @ 0.980504
1.08/1.17 c GLOBAL bounds - >= -34 @ 0.980613
1.08/1.17 c GLOBAL bounds - >= -34 @ 0.98072
1.08/1.17 c GLOBAL bounds - >= -34 @ 0.980825
1.08/1.17 c GLOBAL bounds - >= -34 @ 0.980929
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.982245
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.982363
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.983062
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.983217
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.983922
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.984104
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.984834
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.985016
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.985759
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.985946
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.986246
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.986246
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.986653
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.986837
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.9876
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.987792
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.988561
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.988748
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.989532
1.08/1.18 c GLOBAL bounds - >= -34 @ 0.99038
1.08/1.19 c GLOBAL bounds - >= -34 @ 0.991278
1.08/1.19 c GLOBAL bounds - >= -34 @ 0.992161
1.08/1.19 c GLOBAL bounds - >= -34 @ 0.993113
1.08/1.19 c GLOBAL bounds - >= -34 @ 0.996542
1.08/1.19 c GLOBAL bounds - >= -34 @ 0.997859
1.08/1.19 c GLOBAL bounds - >= -34 @ 0.998205
1.16/1.23 c #Conflicts: 5000 | #Constraints: 2871
1.16/1.23 c GLOBAL bounds - >= -34 @ 1.03405
1.86/1.98 c #Conflicts: 6000 | #Constraints: 3871
1.86/1.98 c INPROCESSING
1.86/1.98 c GARBAGE COLLECT
1.86/1.98 c #Conflicts: 7000 | #Constraints: 2880
1.86/1.98 c #Conflicts: 8000 | #Constraints: 3880
1.86/1.98 c #Conflicts: 9000 | #Constraints: 4880
1.86/1.98 c INPROCESSING
1.86/1.98 c GARBAGE COLLECT
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.77189
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.77231
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.77233
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.77243
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.77252
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.7726
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.77264
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.77267
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.7739
1.86/1.98 c GLOBAL bounds - >= -31 @ 1.77401
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77463
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77463
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77463
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77464
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77523
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77537
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77596
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77611
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77672
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77685
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77745
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77759
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.7782
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77833
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77896
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.7791
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77957
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.77957
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.78027
1.86/1.99 c GLOBAL bounds - >= -31 @ 1.78056
1.86/2.00 c GLOBAL bounds - >= -31 @ 1.7813
1.86/2.00 c GLOBAL bounds - >= -31 @ 1.78207
1.86/2.00 c GLOBAL bounds - >= -31 @ 1.78396
1.86/2.00 c GLOBAL bounds - >= -31 @ 1.78994
1.86/2.01 c GLOBAL bounds - >= -31 @ 1.79109
1.86/2.01 c GLOBAL bounds - >= -31 @ 1.79238
2.07/2.17 c #Conflicts: 10000 | #Constraints: 3606
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94613
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94718
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94724
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94729
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94735
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94739
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94744
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94748
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94751
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94755
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94759
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94776
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94857
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.9487
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94948
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.94961
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.9504
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95057
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95135
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95151
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95229
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95245
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95326
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95342
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95424
2.07/2.17 c GLOBAL bounds - >= -30 @ 1.95443
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.95528
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.95545
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.95634
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.95652
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.95742
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.95837
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.95938
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.9604
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.96132
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.96244
2.07/2.18 c GLOBAL bounds - >= -30 @ 1.96379
2.07/2.19 c GLOBAL bounds - >= -30 @ 1.96521
2.07/2.19 c GLOBAL bounds - >= -30 @ 1.96706
2.26/2.35 c #Conflicts: 11000 | #Constraints: 4625
2.26/2.35 c #Conflicts: 12000 | #Constraints: 5625
2.26/2.35 c INPROCESSING
2.26/2.35 c GARBAGE COLLECT
2.26/2.35 c GLOBAL bounds - >= -30 @ 2.12213
3.25/3.36 c #Conflicts: 13000 | #Constraints: 4074
3.25/3.36 c #Conflicts: 14000 | #Constraints: 5074
3.25/3.36 c #Conflicts: 15000 | #Constraints: 6074
3.25/3.36 c INPROCESSING
3.25/3.36 c GARBAGE COLLECT
3.25/3.36 c #Conflicts: 16000 | #Constraints: 4301
3.25/3.36 c #Conflicts: 17000 | #Constraints: 5301
3.25/3.36 c #Conflicts: 18000 | #Constraints: 6301
3.25/3.36 c INPROCESSING
3.25/3.36 c GARBAGE COLLECT
3.25/3.36 c GLOBAL bounds - >= -30 @ 3.09798
3.64/3.72 c #Conflicts: 19000 | #Constraints: 4310
3.64/3.72 c #Conflicts: 20000 | #Constraints: 5310
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.4596
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46082
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46087
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.4609
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46093
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46096
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46099
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46102
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46105
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46108
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46117
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46135
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.4615
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46327
3.64/3.72 c GLOBAL bounds - >= -29 @ 3.46336
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.4646
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46473
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46567
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46583
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46671
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46688
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46776
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46792
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46885
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.469
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46917
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.46917
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.47005
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.47024
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.4712
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.47141
3.64/3.73 c GLOBAL bounds - >= -29 @ 3.47242
3.64/3.74 c GLOBAL bounds - >= -29 @ 3.4734
3.64/3.74 c GLOBAL bounds - >= -29 @ 3.47465
3.64/3.74 c GLOBAL bounds - >= -29 @ 3.47584
3.64/3.74 c GLOBAL bounds - >= -29 @ 3.47694
3.64/3.74 c GLOBAL bounds - >= -29 @ 3.48089
3.64/3.74 c GLOBAL bounds - >= -29 @ 3.48244
3.64/3.75 c GLOBAL bounds - >= -29 @ 3.48401
3.64/3.75 c GLOBAL bounds - >= -29 @ 3.48516
3.64/3.77 c GLOBAL bounds - >= -29 @ 3.50003
4.15/4.20 c #Conflicts: 21000 | #Constraints: 6330
4.15/4.20 c INPROCESSING
4.15/4.20 c GARBAGE COLLECT
4.15/4.20 c #Conflicts: 22000 | #Constraints: 4137
4.15/4.20 c #Conflicts: 23000 | #Constraints: 5137
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92217
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92304
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92415
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92422
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92497
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92505
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92584
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92598
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92682
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92696
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92786
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92801
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92889
4.15/4.20 c GLOBAL bounds - >= -28 @ 3.92905
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.92993
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.9301
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.93098
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.93116
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.93208
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.93224
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.93317
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.93401
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.93447
4.15/4.21 c GLOBAL bounds - >= -28 @ 3.93632
4.15/4.22 c GLOBAL bounds - >= -28 @ 3.94374
4.15/4.22 c GLOBAL bounds - >= -28 @ 3.94556
4.15/4.22 c GLOBAL bounds - >= -28 @ 3.94698
4.15/4.23 c GLOBAL bounds - >= -28 @ 3.95301
4.15/4.24 c GLOBAL bounds - >= -28 @ 3.95912
4.15/4.28 c #Conflicts: 24000 | #Constraints: 6156
4.15/4.28 c GLOBAL bounds - >= -28 @ 3.99766
4.45/4.52 c #Conflicts: 25000 | #Constraints: 7156
4.45/4.52 c INPROCESSING
4.45/4.52 c GARBAGE COLLECT
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23022
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23074
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23158
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23163
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23167
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23174
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23181
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23187
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23192
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.232
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23206
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23213
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23489
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23496
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23565
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23572
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23639
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23646
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23714
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23723
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.2379
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23799
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23867
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23882
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23952
4.45/4.52 c GLOBAL bounds - >= -28 @ 4.23971
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24043
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24064
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24137
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24157
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.2423
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24309
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24396
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24428
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24476
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24579
4.45/4.53 c GLOBAL bounds - >= -28 @ 4.24674
4.45/4.54 c GLOBAL bounds - >= -28 @ 4.24991
4.45/4.54 c GLOBAL bounds - >= -28 @ 4.25166
4.45/4.57 c GLOBAL bounds - >= -28 @ 4.28756
5.75/5.80 c #Conflicts: 26000 | #Constraints: 4775
5.75/5.80 c #Conflicts: 27000 | #Constraints: 5775
5.75/5.80 c #Conflicts: 28000 | #Constraints: 6775
5.75/5.80 c #Conflicts: 29000 | #Constraints: 7775
5.75/5.80 c INPROCESSING
5.75/5.80 c GARBAGE COLLECT
5.75/5.80 c #Conflicts: 30000 | #Constraints: 5180
5.75/5.80 c #Conflicts: 31000 | #Constraints: 6180
5.75/5.80 c #Conflicts: 32000 | #Constraints: 7180
5.75/5.80 c GLOBAL bounds - >= -28 @ 5.49305
8.43/8.55 c #Conflicts: 33000 | #Constraints: 8180
8.43/8.55 c INPROCESSING
8.43/8.55 c GARBAGE COLLECT
8.43/8.55 c #Conflicts: 34000 | #Constraints: 5380
8.43/8.55 c #Conflicts: 35000 | #Constraints: 6380
8.43/8.55 c #Conflicts: 36000 | #Constraints: 7380
8.43/8.55 c #Conflicts: 37000 | #Constraints: 8380
8.43/8.55 c INPROCESSING
8.43/8.55 c GARBAGE COLLECT
8.43/8.55 c #Conflicts: 38000 | #Constraints: 5381
8.43/8.55 c #Conflicts: 39000 | #Constraints: 6381
8.43/8.55 c #Conflicts: 40000 | #Constraints: 7381
8.43/8.55 c #Conflicts: 41000 | #Constraints: 8381
8.43/8.55 c INPROCESSING
8.43/8.55 c GARBAGE COLLECT
8.43/8.55 c #Conflicts: 42000 | #Constraints: 5181
8.43/8.55 c #Conflicts: 43000 | #Constraints: 6181
8.43/8.55 c #Conflicts: 44000 | #Constraints: 7181
8.43/8.55 c #Conflicts: 45000 | #Constraints: 8181
8.43/8.55 c #Conflicts: 46000 | #Constraints: 9181
8.43/8.55 c INPROCESSING
8.43/8.55 c GARBAGE COLLECT
8.43/8.55 c #Conflicts: 47000 | #Constraints: 5782
8.43/8.55 c GLOBAL bounds - >= -27 @ 8.1895
8.43/8.55 c GLOBAL bounds - >= -27 @ 8.1906
8.43/8.55 c GLOBAL bounds - >= -27 @ 8.19065
8.43/8.55 c GLOBAL bounds - >= -27 @ 8.1907
8.43/8.55 c GLOBAL bounds - >= -27 @ 8.19077
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19211
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.1922
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19302
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19311
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19343
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19343
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19378
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19397
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19479
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19499
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19581
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19601
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19642
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19642
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19642
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19642
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19642
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19642
8.43/8.56 c GLOBAL bounds - >= -27 @ 8.19694
8.43/8.57 c GLOBAL bounds - >= -27 @ 8.19778
8.43/8.57 c GLOBAL bounds - >= -27 @ 8.19862
8.43/8.57 c GLOBAL bounds - >= -27 @ 8.19955
8.43/8.57 c GLOBAL bounds - >= -27 @ 8.20108
8.43/8.57 c GLOBAL bounds - >= -27 @ 8.20207
8.43/8.57 c GLOBAL bounds - >= -27 @ 8.20241
8.43/8.57 c GLOBAL bounds - >= -27 @ 8.20241
8.53/8.62 c GLOBAL bounds - >= -27 @ 8.25011
8.74/8.87 c #Conflicts: 48000 | #Constraints: 6794
8.74/8.87 c #Conflicts: 49000 | #Constraints: 7794
8.74/8.87 c GLOBAL bounds - >= -27 @ 8.49066
12.73/12.82 c #Conflicts: 50000 | #Constraints: 8794
12.73/12.82 c #Conflicts: 51000 | #Constraints: 9794
12.73/12.82 c INPROCESSING
12.73/12.82 c GARBAGE COLLECT
12.73/12.82 c #Conflicts: 52000 | #Constraints: 6197
12.73/12.82 c #Conflicts: 53000 | #Constraints: 7197
12.73/12.82 c #Conflicts: 54000 | #Constraints: 8197
12.73/12.82 c #Conflicts: 55000 | #Constraints: 9197
12.73/12.82 c #Conflicts: 56000 | #Constraints: 10197
12.73/12.82 c INPROCESSING
12.73/12.82 c GARBAGE COLLECT
12.73/12.82 c #Conflicts: 57000 | #Constraints: 6396
12.73/12.82 c #Conflicts: 58000 | #Constraints: 7396
12.73/12.82 c #Conflicts: 59000 | #Constraints: 8396
12.73/12.82 c #Conflicts: 60000 | #Constraints: 9396
12.73/12.82 c #Conflicts: 61000 | #Constraints: 10396
12.73/12.82 c INPROCESSING
12.73/12.82 c GARBAGE COLLECT
12.73/12.82 c #Conflicts: 62000 | #Constraints: 6395
12.73/12.82 c #Conflicts: 63000 | #Constraints: 7395
12.73/12.82 c #Conflicts: 64000 | #Constraints: 8395
12.73/12.82 c #Conflicts: 65000 | #Constraints: 9395
12.73/12.82 c #Conflicts: 66000 | #Constraints: 10395
12.73/12.82 c INPROCESSING
12.73/12.82 c GARBAGE COLLECT
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3646
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3658
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.366
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3661
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3661
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3661
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3661
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3661
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3661
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3661
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3662
12.73/12.82 c GLOBAL bounds - >= -26 @ 12.3664
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3678
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.368
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3688
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.369
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3698
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.37
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3708
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.371
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3718
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3721
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3729
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3731
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3739
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3742
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.375
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3752
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3761
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3763
12.73/12.83 c GLOBAL bounds - >= -26 @ 12.3772
12.73/12.84 c GLOBAL bounds - >= -26 @ 12.3781
12.73/12.84 c GLOBAL bounds - >= -26 @ 12.3782
12.73/12.84 c GLOBAL bounds - >= -26 @ 12.3795
12.73/12.84 c GLOBAL bounds - >= -26 @ 12.3806
12.73/12.84 c GLOBAL bounds - >= -26 @ 12.3816
12.73/12.84 c GLOBAL bounds - >= -26 @ 12.3824
12.73/12.84 c GLOBAL bounds - >= -26 @ 12.3835
12.73/12.84 c GLOBAL bounds - >= -26 @ 12.3844
12.83/12.97 c #Conflicts: 67000 | #Constraints: 6218
12.83/12.97 c GLOBAL bounds - >= -26 @ 12.5084
13.03/13.11 c #Conflicts: 68000 | #Constraints: 7218
13.03/13.11 c GLOBAL bounds - >= -26 @ 12.6467
13.13/13.27 c #Conflicts: 69000 | #Constraints: 8218
13.13/13.27 c GLOBAL bounds - >= -26 @ 12.799
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9398
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9411
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9428
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9428
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9429
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.943
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.943
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9431
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9432
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9433
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9433
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9434
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9435
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9436
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.9438
13.32/13.41 c GLOBAL bounds - >= -26 @ 12.944
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.9464
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.9465
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.9479
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.948
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.9495
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.9496
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.951
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.9512
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.9525
13.32/13.42 c GLOBAL bounds - >= -26 @ 12.9527
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9536
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9536
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9548
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.955
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9564
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9566
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9581
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9584
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9598
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9606
13.32/13.43 c GLOBAL bounds - >= -26 @ 12.9616
13.32/13.44 c GLOBAL bounds - >= -26 @ 12.9627
13.32/13.44 c GLOBAL bounds - >= -26 @ 12.9638
13.32/13.44 c #Conflicts: 70000 | #Constraints: 9240
13.32/13.44 c GLOBAL bounds - >= -26 @ 12.9688
13.32/13.45 c GLOBAL bounds - >= -26 @ 12.9728
13.32/13.45 c GLOBAL bounds - >= -26 @ 12.975
13.32/13.45 c GLOBAL bounds - >= -26 @ 12.9798
20.30/20.49 c #Conflicts: 71000 | #Constraints: 10240
20.30/20.49 c #Conflicts: 72000 | #Constraints: 11240
20.30/20.49 c INPROCESSING
20.30/20.49 c GARBAGE COLLECT
20.30/20.49 c #Conflicts: 73000 | #Constraints: 6842
20.30/20.49 c #Conflicts: 74000 | #Constraints: 7842
20.30/20.49 c #Conflicts: 75000 | #Constraints: 8842
20.30/20.49 c #Conflicts: 76000 | #Constraints: 9842
20.30/20.49 c #Conflicts: 77000 | #Constraints: 10842
20.30/20.49 c #Conflicts: 78000 | #Constraints: 11842
20.30/20.49 c INPROCESSING
20.30/20.49 c GARBAGE COLLECT
20.30/20.49 c #Conflicts: 79000 | #Constraints: 7241
20.30/20.49 c #Conflicts: 80000 | #Constraints: 8241
20.30/20.49 c #Conflicts: 81000 | #Constraints: 9241
20.30/20.49 c #Conflicts: 82000 | #Constraints: 10241
20.30/20.49 c #Conflicts: 83000 | #Constraints: 11241
20.30/20.49 c #Conflicts: 84000 | #Constraints: 12241
20.30/20.49 c INPROCESSING
20.30/20.49 c GARBAGE COLLECT
20.30/20.49 c #Conflicts: 85000 | #Constraints: 7441
20.30/20.49 c #Conflicts: 86000 | #Constraints: 8441
20.30/20.49 c #Conflicts: 87000 | #Constraints: 9441
20.30/20.49 c #Conflicts: 88000 | #Constraints: 10441
20.30/20.49 c #Conflicts: 89000 | #Constraints: 11441
20.30/20.49 c #Conflicts: 90000 | #Constraints: 12441
20.30/20.49 c INPROCESSING
20.30/20.49 c GARBAGE COLLECT
20.30/20.49 c #Conflicts: 91000 | #Constraints: 7440
20.30/20.49 c #Conflicts: 92000 | #Constraints: 8440
20.30/20.49 c #Conflicts: 93000 | #Constraints: 9440
20.30/20.49 c #Conflicts: 94000 | #Constraints: 10440
20.30/20.49 c #Conflicts: 95000 | #Constraints: 11440
20.30/20.49 c #Conflicts: 96000 | #Constraints: 12440
20.30/20.49 c INPROCESSING
20.30/20.49 c GARBAGE COLLECT
20.30/20.49 c #Conflicts: 97000 | #Constraints: 7241
20.30/20.49 c #Conflicts: 98000 | #Constraints: 8241
20.30/20.49 c #Conflicts: 99000 | #Constraints: 9241
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8936
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8953
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8954
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8954
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8955
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8956
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8958
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8959
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.896
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8973
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8974
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8985
20.30/20.49 c GLOBAL bounds - >= -25 @ 19.8986
20.30/20.50 c GLOBAL bounds - >= -25 @ 19.8994
20.30/20.50 c GLOBAL bounds - >= -25 @ 19.8994
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9001
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9002
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9015
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9016
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9024
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9024
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9032
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9034
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9048
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.905
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9063
20.41/20.50 c GLOBAL bounds - >= -25 @ 19.9065
20.41/20.51 c GLOBAL bounds - >= -25 @ 19.9078
20.41/20.51 c GLOBAL bounds - >= -25 @ 19.9093
20.41/20.51 c GLOBAL bounds - >= -25 @ 19.9107
20.41/20.51 c GLOBAL bounds - >= -25 @ 19.9122
20.41/20.51 c GLOBAL bounds - >= -25 @ 19.915
20.41/20.52 c GLOBAL bounds - >= -25 @ 19.9212
20.41/20.53 c GLOBAL bounds - >= -25 @ 19.927
20.41/20.55 c GLOBAL bounds - >= -25 @ 19.9483
20.50/20.65 c #Conflicts: 100000 | #Constraints: 10257
20.50/20.65 c GLOBAL bounds - >= -25 @ 20.0473
20.50/20.65 c GLOBAL bounds - >= -25 @ 20.0519
24.69/24.88 c #Conflicts: 101000 | #Constraints: 11257
24.69/24.88 c #Conflicts: 102000 | #Constraints: 12257
24.69/24.88 c #Conflicts: 103000 | #Constraints: 13257
24.69/24.88 c INPROCESSING
24.69/24.88 c GARBAGE COLLECT
24.69/24.88 c #Conflicts: 104000 | #Constraints: 7851
24.69/24.88 c #Conflicts: 105000 | #Constraints: 8851
24.69/24.88 c #Conflicts: 106000 | #Constraints: 9851
24.69/24.88 c #Conflicts: 107000 | #Constraints: 10851
24.69/24.88 c #Conflicts: 108000 | #Constraints: 11851
24.69/24.88 c #Conflicts: 109000 | #Constraints: 12851
24.69/24.88 c #Conflicts: 110000 | #Constraints: 13851
24.69/24.88 c INPROCESSING
24.69/24.88 c GARBAGE COLLECT
24.69/24.88 c #Conflicts: 111000 | #Constraints: 8255
24.69/24.88 c #Conflicts: 112000 | #Constraints: 9255
24.69/24.88 c #Conflicts: 113000 | #Constraints: 10255
24.69/24.88 c #Conflicts: 114000 | #Constraints: 11255
24.69/24.88 c #Conflicts: 115000 | #Constraints: 12255
24.69/24.88 c #Conflicts: 116000 | #Constraints: 13255
24.69/24.88 c #Conflicts: 117000 | #Constraints: 14255
24.69/24.88 c INPROCESSING
24.69/24.88 c GARBAGE COLLECT
24.69/24.88 c GLOBAL bounds - >= -25 @ 24.2146
24.69/24.88 c GLOBAL bounds - >= -25 @ 24.2155
24.69/24.88 c GLOBAL bounds - >= -25 @ 24.2168
24.69/24.88 c GLOBAL bounds - >= -25 @ 24.2169
24.69/24.88 c GLOBAL bounds - >= -25 @ 24.2202
24.69/24.88 c GLOBAL bounds - >= -25 @ 24.2202
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2209
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.221
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.222
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2221
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2232
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2234
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2242
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2242
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2242
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2242
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2252
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2254
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2266
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2268
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.228
24.69/24.89 c GLOBAL bounds - >= -25 @ 24.2282
24.69/24.90 c GLOBAL bounds - >= -25 @ 24.2294
24.79/24.90 c GLOBAL bounds - >= -25 @ 24.2307
24.79/24.90 c GLOBAL bounds - >= -25 @ 24.2324
24.79/24.90 c GLOBAL bounds - >= -25 @ 24.2338
24.79/24.90 c GLOBAL bounds - >= -25 @ 24.2364
24.79/24.90 c GLOBAL bounds - >= -25 @ 24.238
24.79/24.91 c GLOBAL bounds - >= -25 @ 24.2401
24.79/24.91 c GLOBAL bounds - >= -25 @ 24.2424
24.79/24.91 c GLOBAL bounds - >= -25 @ 24.2438
26.09/26.26 c #Conflicts: 118000 | #Constraints: 8469
26.09/26.26 c #Conflicts: 119000 | #Constraints: 9469
26.09/26.26 c #Conflicts: 120000 | #Constraints: 10469
26.09/26.26 c #Conflicts: 121000 | #Constraints: 11469
26.09/26.26 c #Conflicts: 122000 | #Constraints: 12469
26.09/26.26 c #Conflicts: 123000 | #Constraints: 13469
26.09/26.26 c GLOBAL bounds - >= -25 @ 25.5684
35.56/35.70 c #Conflicts: 124000 | #Constraints: 14469
35.56/35.70 c INPROCESSING
35.56/35.70 c GARBAGE COLLECT
35.56/35.70 c #Conflicts: 125000 | #Constraints: 8465
35.56/35.70 c #Conflicts: 126000 | #Constraints: 9465
35.56/35.70 c #Conflicts: 127000 | #Constraints: 10465
35.56/35.70 c #Conflicts: 128000 | #Constraints: 11465
35.56/35.70 c #Conflicts: 129000 | #Constraints: 12465
35.56/35.70 c #Conflicts: 130000 | #Constraints: 13465
35.56/35.70 c #Conflicts: 131000 | #Constraints: 14465
35.56/35.70 c INPROCESSING
35.56/35.70 c GARBAGE COLLECT
35.56/35.70 c #Conflicts: 132000 | #Constraints: 8268
35.56/35.70 c #Conflicts: 133000 | #Constraints: 9268
35.56/35.70 c #Conflicts: 134000 | #Constraints: 10268
35.56/35.70 c #Conflicts: 135000 | #Constraints: 11268
35.56/35.70 c #Conflicts: 136000 | #Constraints: 12268
35.56/35.70 c #Conflicts: 137000 | #Constraints: 13268
35.56/35.70 c #Conflicts: 138000 | #Constraints: 14268
35.56/35.70 c #Conflicts: 139000 | #Constraints: 15268
35.56/35.70 c INPROCESSING
35.56/35.70 c GARBAGE COLLECT
35.56/35.70 c #Conflicts: 140000 | #Constraints: 8874
35.56/35.70 c #Conflicts: 141000 | #Constraints: 9874
35.56/35.70 c #Conflicts: 142000 | #Constraints: 10874
35.56/35.70 c #Conflicts: 143000 | #Constraints: 11874
35.56/35.70 c #Conflicts: 144000 | #Constraints: 12874
35.56/35.70 c #Conflicts: 145000 | #Constraints: 13874
35.56/35.70 c #Conflicts: 146000 | #Constraints: 14874
35.56/35.70 c #Conflicts: 147000 | #Constraints: 15874
35.56/35.70 c INPROCESSING
35.56/35.70 c GARBAGE COLLECT
35.56/35.70 c #Conflicts: 148000 | #Constraints: 9268
35.56/35.70 c #Conflicts: 149000 | #Constraints: 10268
35.56/35.70 c #Conflicts: 150000 | #Constraints: 11268
35.56/35.70 c #Conflicts: 151000 | #Constraints: 12268
35.56/35.70 c #Conflicts: 152000 | #Constraints: 13268
35.56/35.70 c #Conflicts: 153000 | #Constraints: 14268
35.56/35.70 c #Conflicts: 154000 | #Constraints: 15268
35.56/35.70 c #Conflicts: 155000 | #Constraints: 16268
35.56/35.70 c INPROCESSING
35.56/35.70 c GARBAGE COLLECT
35.56/35.70 c #Conflicts: 156000 | #Constraints: 9471
35.56/35.70 c #Conflicts: 157000 | #Constraints: 10471
35.56/35.70 c #Conflicts: 158000 | #Constraints: 11471
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8609
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8629
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.863
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8631
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8632
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8633
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8646
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8648
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8661
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8663
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8675
35.56/35.70 c GLOBAL bounds - >= -24 @ 34.8678
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.869
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.8692
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.87
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.87
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.871
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.8712
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.872
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.872
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.873
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.8732
35.56/35.71 c GLOBAL bounds - >= -24 @ 34.8745
35.56/35.71 c GLOBAL bounds -17 >= -24 @ 34.8749
35.56/35.71 c GLOBAL bounds -17 >= -24 @ 34.8762
35.56/35.71 c GLOBAL bounds -17 >= -24 @ 34.8765
35.56/35.72 c GLOBAL bounds -17 >= -24 @ 34.8777
35.56/35.72 c GLOBAL bounds -17 >= -24 @ 34.879
35.56/35.72 c GLOBAL bounds -17 >= -24 @ 34.8847
35.56/35.73 c GLOBAL bounds -17 >= -24 @ 34.8881
35.56/35.75 c GLOBAL bounds -17 >= -24 @ 34.9078
57.11/57.30 c #Conflicts: 159000 | #Constraints: 12486
57.11/57.30 c #Conflicts: 160000 | #Constraints: 13486
57.11/57.30 c #Conflicts: 161000 | #Constraints: 14486
57.11/57.30 c #Conflicts: 162000 | #Constraints: 15486
57.11/57.30 c #Conflicts: 163000 | #Constraints: 16486
57.11/57.30 c INPROCESSING
57.11/57.30 c GARBAGE COLLECT
57.11/57.30 c #Conflicts: 164000 | #Constraints: 9451
57.11/57.30 c #Conflicts: 165000 | #Constraints: 10451
57.11/57.30 c #Conflicts: 166000 | #Constraints: 11451
57.11/57.30 c #Conflicts: 167000 | #Constraints: 12451
57.11/57.30 c #Conflicts: 168000 | #Constraints: 13451
57.11/57.30 c #Conflicts: 169000 | #Constraints: 14451
57.11/57.30 c #Conflicts: 170000 | #Constraints: 15451
57.11/57.30 c #Conflicts: 171000 | #Constraints: 16451
57.11/57.30 c INPROCESSING
57.11/57.30 c GARBAGE COLLECT
57.11/57.30 c #Conflicts: 172000 | #Constraints: 9249
57.11/57.30 c #Conflicts: 173000 | #Constraints: 10249
57.11/57.30 c #Conflicts: 174000 | #Constraints: 11249
57.11/57.30 c #Conflicts: 175000 | #Constraints: 12249
57.11/57.30 c #Conflicts: 176000 | #Constraints: 13249
57.11/57.30 c #Conflicts: 177000 | #Constraints: 14249
57.11/57.30 c #Conflicts: 178000 | #Constraints: 15249
57.11/57.30 c #Conflicts: 179000 | #Constraints: 16249
57.11/57.30 c #Conflicts: 180000 | #Constraints: 17249
57.11/57.30 c INPROCESSING
57.11/57.30 c GARBAGE COLLECT
57.11/57.30 c #Conflicts: 181000 | #Constraints: 9848
57.11/57.30 c #Conflicts: 182000 | #Constraints: 10848
57.11/57.30 c #Conflicts: 183000 | #Constraints: 11848
57.11/57.30 c #Conflicts: 184000 | #Constraints: 12848
57.11/57.30 c #Conflicts: 185000 | #Constraints: 13848
57.11/57.30 c #Conflicts: 186000 | #Constraints: 14848
57.11/57.30 c #Conflicts: 187000 | #Constraints: 15848
57.11/57.30 c #Conflicts: 188000 | #Constraints: 16848
57.11/57.30 c #Conflicts: 189000 | #Constraints: 17848
57.11/57.30 c INPROCESSING
57.11/57.30 c GARBAGE COLLECT
57.11/57.30 c #Conflicts: 190000 | #Constraints: 10242
57.11/57.30 c #Conflicts: 191000 | #Constraints: 11242
57.11/57.30 c #Conflicts: 192000 | #Constraints: 12242
57.11/57.30 c #Conflicts: 193000 | #Constraints: 13242
57.11/57.30 c #Conflicts: 194000 | #Constraints: 14242
57.11/57.30 c #Conflicts: 195000 | #Constraints: 15242
57.11/57.30 c #Conflicts: 196000 | #Constraints: 16242
57.11/57.30 c #Conflicts: 197000 | #Constraints: 17242
57.11/57.30 c #Conflicts: 198000 | #Constraints: 18242
57.11/57.30 c INPROCESSING
57.11/57.30 c GARBAGE COLLECT
57.11/57.30 c #Conflicts: 199000 | #Constraints: 10441
57.11/57.30 c #Conflicts: 200000 | #Constraints: 11441
57.11/57.30 c #Conflicts: 201000 | #Constraints: 12441
57.11/57.30 c #Conflicts: 202000 | #Constraints: 13441
57.11/57.30 c #Conflicts: 203000 | #Constraints: 14441
57.11/57.30 c #Conflicts: 204000 | #Constraints: 15441
57.11/57.30 c #Conflicts: 205000 | #Constraints: 16441
57.11/57.30 c #Conflicts: 206000 | #Constraints: 17441
57.11/57.30 c #Conflicts: 207000 | #Constraints: 18441
57.11/57.30 c INPROCESSING
57.11/57.30 c GARBAGE COLLECT
57.11/57.30 c #Conflicts: 208000 | #Constraints: 10444
57.11/57.30 c #Conflicts: 209000 | #Constraints: 11444
57.11/57.30 c #Conflicts: 210000 | #Constraints: 12444
57.11/57.30 c #Conflicts: 211000 | #Constraints: 13444
57.11/57.30 c #Conflicts: 212000 | #Constraints: 14444
57.11/57.30 c #Conflicts: 213000 | #Constraints: 15444
57.11/57.30 c #Conflicts: 214000 | #Constraints: 16444
57.11/57.30 c #Conflicts: 215000 | #Constraints: 17444
57.11/57.30 c #Conflicts: 216000 | #Constraints: 18444
57.11/57.30 c INPROCESSING
57.11/57.30 c GARBAGE COLLECT
57.11/57.30 c #Conflicts: 217000 | #Constraints: 10245
57.11/57.30 c #Conflicts: 218000 | #Constraints: 11245
57.11/57.30 c #Conflicts: 219000 | #Constraints: 12245
57.11/57.30 c #Conflicts: 220000 | #Constraints: 13245
57.11/57.30 c #Conflicts: 221000 | #Constraints: 14245
57.11/57.30 c #Conflicts: 222000 | #Constraints: 15245
57.11/57.30 c #Conflicts: 223000 | #Constraints: 16245
57.11/57.30 c #Conflicts: 224000 | #Constraints: 17245
57.11/57.30 c #Conflicts: 225000 | #Constraints: 18245
57.11/57.30 c #Conflicts: 226000 | #Constraints: 19245
57.11/57.30 c INPROCESSING
57.11/57.30 c GARBAGE COLLECT
57.11/57.30 c #Conflicts: 227000 | #Constraints: 10848
57.11/57.30 c #Conflicts: 228000 | #Constraints: 11848
57.11/57.30 c #Conflicts: 229000 | #Constraints: 12848
57.11/57.30 c #Conflicts: 230000 | #Constraints: 13848
57.11/57.30 c #Conflicts: 231000 | #Constraints: 14848
57.11/57.30 c #Conflicts: 232000 | #Constraints: 15848
71.07/71.34 c #Conflicts: 233000 | #Constraints: 16848
71.07/71.34 c #Conflicts: 234000 | #Constraints: 17848
71.07/71.34 c #Conflicts: 235000 | #Constraints: 18848
71.07/71.34 c #Conflicts: 236000 | #Constraints: 19848
71.07/71.34 c INPROCESSING
71.07/71.34 c GARBAGE COLLECT
71.07/71.34 c #Conflicts: 237000 | #Constraints: 11252
71.07/71.34 c #Conflicts: 238000 | #Constraints: 12252
71.07/71.34 c #Conflicts: 239000 | #Constraints: 13252
71.07/71.34 c #Conflicts: 240000 | #Constraints: 14252
71.07/71.34 c #Conflicts: 241000 | #Constraints: 15252
71.07/71.34 c #Conflicts: 242000 | #Constraints: 16252
71.07/71.34 c #Conflicts: 243000 | #Constraints: 17252
71.07/71.34 c #Conflicts: 244000 | #Constraints: 18252
71.07/71.34 c #Conflicts: 245000 | #Constraints: 19252
71.07/71.34 c #Conflicts: 246000 | #Constraints: 20252
71.07/71.34 c INPROCESSING
71.07/71.34 c GARBAGE COLLECT
71.07/71.34 c #Conflicts: 247000 | #Constraints: 11454
71.07/71.34 c #Conflicts: 248000 | #Constraints: 12454
71.07/71.34 c #Conflicts: 249000 | #Constraints: 13454
71.07/71.34 c #Conflicts: 250000 | #Constraints: 14454
71.07/71.34 c #Conflicts: 251000 | #Constraints: 15454
71.07/71.34 c #Conflicts: 252000 | #Constraints: 16454
71.07/71.34 c #Conflicts: 253000 | #Constraints: 17454
71.07/71.34 c #Conflicts: 254000 | #Constraints: 18454
71.07/71.34 c #Conflicts: 255000 | #Constraints: 19454
71.07/71.34 c #Conflicts: 256000 | #Constraints: 20454
71.07/71.34 c INPROCESSING
71.07/71.34 c GARBAGE COLLECT
71.07/71.34 c #Conflicts: 257000 | #Constraints: 11451
71.07/71.34 c #Conflicts: 258000 | #Constraints: 12451
71.07/71.34 c #Conflicts: 259000 | #Constraints: 13451
71.07/71.34 c #Conflicts: 260000 | #Constraints: 14451
71.07/71.34 c #Conflicts: 261000 | #Constraints: 15451
71.07/71.34 c #Conflicts: 262000 | #Constraints: 16451
71.07/71.34 c #Conflicts: 263000 | #Constraints: 17451
71.07/71.34 c #Conflicts: 264000 | #Constraints: 18451
71.07/71.34 c #Conflicts: 265000 | #Constraints: 19451
71.07/71.34 c #Conflicts: 266000 | #Constraints: 20451
71.07/71.34 c INPROCESSING
71.07/71.34 c GARBAGE COLLECT
71.07/71.34 c #Conflicts: 267000 | #Constraints: 11256
71.07/71.34 c #Conflicts: 268000 | #Constraints: 12256
71.07/71.34 c #Conflicts: 269000 | #Constraints: 13256
71.07/71.34 c #Conflicts: 270000 | #Constraints: 14256
71.07/71.34 c #Conflicts: 271000 | #Constraints: 15256
71.07/71.34 c #Conflicts: 272000 | #Constraints: 16256
71.07/71.34 c GLOBAL bounds -17 >= -24 @ 69.9738
91.02/91.31 c #Conflicts: 273000 | #Constraints: 17256
91.02/91.31 c #Conflicts: 274000 | #Constraints: 18256
91.02/91.31 c #Conflicts: 275000 | #Constraints: 19256
91.02/91.31 c #Conflicts: 276000 | #Constraints: 20256
91.02/91.31 c #Conflicts: 277000 | #Constraints: 21256
91.02/91.31 c INPROCESSING
91.02/91.31 c GARBAGE COLLECT
91.02/91.31 c #Conflicts: 278000 | #Constraints: 11852
91.02/91.31 c #Conflicts: 279000 | #Constraints: 12852
91.02/91.31 c #Conflicts: 280000 | #Constraints: 13852
91.02/91.31 c #Conflicts: 281000 | #Constraints: 14852
91.02/91.31 c #Conflicts: 282000 | #Constraints: 15852
91.02/91.31 c #Conflicts: 283000 | #Constraints: 16852
91.02/91.31 c #Conflicts: 284000 | #Constraints: 17852
91.02/91.31 c #Conflicts: 285000 | #Constraints: 18852
91.02/91.31 c #Conflicts: 286000 | #Constraints: 19852
91.02/91.31 c #Conflicts: 287000 | #Constraints: 20852
91.02/91.31 c #Conflicts: 288000 | #Constraints: 21852
91.02/91.31 c INPROCESSING
91.02/91.31 c GARBAGE COLLECT
91.02/91.31 c #Conflicts: 289000 | #Constraints: 12248
91.02/91.31 c #Conflicts: 290000 | #Constraints: 13248
91.02/91.31 c #Conflicts: 291000 | #Constraints: 14248
91.02/91.31 c #Conflicts: 292000 | #Constraints: 15248
91.02/91.31 c #Conflicts: 293000 | #Constraints: 16248
91.02/91.31 c #Conflicts: 294000 | #Constraints: 17248
91.02/91.31 c #Conflicts: 295000 | #Constraints: 18248
91.02/91.31 c #Conflicts: 296000 | #Constraints: 19248
91.02/91.31 c #Conflicts: 297000 | #Constraints: 20248
91.02/91.31 c #Conflicts: 298000 | #Constraints: 21248
91.02/91.31 c #Conflicts: 299000 | #Constraints: 22248
91.02/91.31 c INPROCESSING
91.02/91.31 c GARBAGE COLLECT
91.02/91.31 c #Conflicts: 300000 | #Constraints: 12448
91.02/91.31 c #Conflicts: 301000 | #Constraints: 13448
91.02/91.31 c #Conflicts: 302000 | #Constraints: 14448
91.02/91.31 c #Conflicts: 303000 | #Constraints: 15448
91.02/91.31 c #Conflicts: 304000 | #Constraints: 16448
91.02/91.31 c #Conflicts: 305000 | #Constraints: 17448
91.02/91.31 c #Conflicts: 306000 | #Constraints: 18448
91.02/91.31 c #Conflicts: 307000 | #Constraints: 19448
91.02/91.31 c #Conflicts: 308000 | #Constraints: 20448
91.02/91.31 c #Conflicts: 309000 | #Constraints: 21448
91.02/91.31 c #Conflicts: 310000 | #Constraints: 22448
91.02/91.31 c INPROCESSING
91.02/91.31 c GARBAGE COLLECT
91.02/91.31 c #Conflicts: 311000 | #Constraints: 12455
91.02/91.31 c #Conflicts: 312000 | #Constraints: 13455
91.02/91.31 c #Conflicts: 313000 | #Constraints: 14455
91.02/91.31 c #Conflicts: 314000 | #Constraints: 15455
91.02/91.31 c #Conflicts: 315000 | #Constraints: 16455
91.02/91.31 c #Conflicts: 316000 | #Constraints: 17455
91.02/91.31 c #Conflicts: 317000 | #Constraints: 18455
91.02/91.31 c #Conflicts: 318000 | #Constraints: 19455
91.02/91.31 c #Conflicts: 319000 | #Constraints: 20455
91.02/91.31 c #Conflicts: 320000 | #Constraints: 21455
91.02/91.31 c #Conflicts: 321000 | #Constraints: 22455
91.02/91.31 c INPROCESSING
91.02/91.31 c GARBAGE COLLECT
91.02/91.31 c #Conflicts: 322000 | #Constraints: 12254
91.02/91.31 c #Conflicts: 323000 | #Constraints: 13254
91.02/91.31 c #Conflicts: 324000 | #Constraints: 14254
91.02/91.31 c GLOBAL bounds -17 >= -23 @ 89.68
91.02/91.31 c GLOBAL bounds -17 >= -23 @ 89.6825
91.02/91.31 c GLOBAL bounds -17 >= -23 @ 89.6825
91.02/91.31 c GLOBAL bounds -17 >= -23 @ 89.6825
91.02/91.31 c GLOBAL bounds -17 >= -23 @ 89.6825
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6825
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.684
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6841
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6857
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6859
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6874
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6876
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6892
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6894
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6911
91.02/91.32 c GLOBAL bounds -17 >= -23 @ 89.6913
91.02/91.33 c GLOBAL bounds -17 >= -23 @ 89.693
91.02/91.33 c GLOBAL bounds -17 >= -23 @ 89.6932
91.02/91.33 c GLOBAL bounds -17 >= -23 @ 89.6948
91.02/91.33 c GLOBAL bounds -20 >= -23 @ 89.6952
91.02/91.33 c GLOBAL bounds -20 >= -23 @ 89.7006
91.02/91.33 c GLOBAL bounds -20 >= -23 @ 89.7008
91.02/91.35 c GLOBAL bounds -20 >= -23 @ 89.7146
91.02/91.35 c GLOBAL bounds -20 >= -23 @ 89.7147
91.12/91.42 c #Conflicts: 325000 | #Constraints: 15268
91.12/91.42 c GLOBAL bounds -20 >= -23 @ 89.7797
91.12/91.42 c GLOBAL bounds -20 >= -23 @ 89.7799
91.12/91.42 c GLOBAL bounds -20 >= -23 @ 89.7856
91.22/91.53 c GLOBAL bounds -20 >= -23 @ 89.8922
91.22/91.57 c #Conflicts: 326000 | #Constraints: 16269
91.22/91.57 c GLOBAL bounds -20 >= -23 @ 89.9313
91.22/91.57 c GLOBAL bounds -20 >= -23 @ 89.9335
91.22/91.58 c GLOBAL bounds -20 >= -23 @ 89.9359
91.22/91.58 c GLOBAL bounds -20 >= -23 @ 89.9359
91.22/91.58 c GLOBAL bounds -20 >= -23 @ 89.936
91.22/91.58 c GLOBAL bounds -20 >= -23 @ 89.9361
91.22/91.58 c GLOBAL bounds -20 >= -23 @ 89.9416
91.22/91.58 c GLOBAL bounds -20 >= -23 @ 89.9418
91.22/91.58 c GLOBAL bounds -20 >= -23 @ 89.9437
91.22/91.58 c GLOBAL bounds -20 >= -23 @ 89.9439
91.22/91.59 c GLOBAL bounds -20 >= -23 @ 89.9459
91.22/91.59 c GLOBAL bounds -20 >= -23 @ 89.9461
91.22/91.59 c GLOBAL bounds -20 >= -23 @ 89.9485
91.22/91.59 c GLOBAL bounds -20 >= -23 @ 89.9488
91.22/91.59 c GLOBAL bounds -20 >= -23 @ 89.9507
91.22/91.59 c GLOBAL bounds -20 >= -23 @ 89.951
91.31/91.68 c GLOBAL bounds -20 >= -23 @ 90.0396
91.31/91.68 c GLOBAL bounds -20 >= -23 @ 90.0398
91.83/92.12 c #Conflicts: 327000 | #Constraints: 17278
91.83/92.12 c #Conflicts: 328000 | #Constraints: 18278
91.83/92.12 c GLOBAL bounds -20 >= -23 @ 90.4733
91.83/92.12 c GLOBAL bounds -20 >= -23 @ 90.4735
91.83/92.15 c GLOBAL bounds -20 >= -23 @ 90.5064
91.83/92.15 c GLOBAL bounds -20 >= -23 @ 90.5065
91.83/92.16 c GLOBAL bounds -20 >= -23 @ 90.5104
91.83/92.16 c GLOBAL bounds -20 >= -23 @ 90.5106
91.92/92.24 c GLOBAL bounds -20 >= -23 @ 90.5911
93.51/93.88 c #Conflicts: 329000 | #Constraints: 19281
93.51/93.88 c #Conflicts: 330000 | #Constraints: 20281
93.51/93.88 c #Conflicts: 331000 | #Constraints: 21281
93.51/93.88 c #Conflicts: 332000 | #Constraints: 22281
93.51/93.88 c #Conflicts: 333000 | #Constraints: 23281
93.51/93.88 c INPROCESSING
93.51/93.88 c GARBAGE COLLECT
93.51/93.88 c GLOBAL bounds -20 >= -23 @ 92.212
117.35/117.77 c #Conflicts: 334000 | #Constraints: 12876
117.35/117.77 c #Conflicts: 335000 | #Constraints: 13876
117.35/117.77 c #Conflicts: 336000 | #Constraints: 14876
117.35/117.77 c #Conflicts: 337000 | #Constraints: 15876
117.35/117.77 c #Conflicts: 338000 | #Constraints: 16876
117.35/117.77 c #Conflicts: 339000 | #Constraints: 17876
117.35/117.77 c #Conflicts: 340000 | #Constraints: 18876
117.35/117.77 c #Conflicts: 341000 | #Constraints: 19876
117.35/117.77 c #Conflicts: 342000 | #Constraints: 20876
117.35/117.77 c #Conflicts: 343000 | #Constraints: 21876
117.35/117.77 c #Conflicts: 344000 | #Constraints: 22876
117.35/117.77 c #Conflicts: 345000 | #Constraints: 23876
117.35/117.77 c INPROCESSING
117.35/117.77 c GARBAGE COLLECT
117.35/117.77 c #Conflicts: 346000 | #Constraints: 13273
117.35/117.77 c #Conflicts: 347000 | #Constraints: 14273
117.35/117.77 c #Conflicts: 348000 | #Constraints: 15273
117.35/117.77 c #Conflicts: 349000 | #Constraints: 16273
117.35/117.77 c #Conflicts: 350000 | #Constraints: 17273
117.35/117.77 c #Conflicts: 351000 | #Constraints: 18273
117.35/117.77 c #Conflicts: 352000 | #Constraints: 19273
117.35/117.77 c #Conflicts: 353000 | #Constraints: 20273
117.35/117.77 c #Conflicts: 354000 | #Constraints: 21273
117.35/117.77 c #Conflicts: 355000 | #Constraints: 22273
117.35/117.77 c #Conflicts: 356000 | #Constraints: 23273
117.35/117.77 c #Conflicts: 357000 | #Constraints: 24273
117.35/117.77 c INPROCESSING
117.35/117.77 c GARBAGE COLLECT
117.35/117.77 c #Conflicts: 358000 | #Constraints: 13467
117.35/117.77 c #Conflicts: 359000 | #Constraints: 14467
117.35/117.77 c #Conflicts: 360000 | #Constraints: 15467
117.35/117.77 c #Conflicts: 361000 | #Constraints: 16467
117.35/117.77 c #Conflicts: 362000 | #Constraints: 17467
117.35/117.77 c #Conflicts: 363000 | #Constraints: 18467
117.35/117.77 c #Conflicts: 364000 | #Constraints: 19467
117.35/117.77 c #Conflicts: 365000 | #Constraints: 20467
117.35/117.77 c #Conflicts: 366000 | #Constraints: 21467
117.35/117.77 c #Conflicts: 367000 | #Constraints: 22467
117.35/117.77 c #Conflicts: 368000 | #Constraints: 23467
117.35/117.77 c #Conflicts: 369000 | #Constraints: 24467
117.35/117.77 c INPROCESSING
117.35/117.77 c GARBAGE COLLECT
117.35/117.77 c #Conflicts: 370000 | #Constraints: 13473
117.35/117.77 c #Conflicts: 371000 | #Constraints: 14473
117.35/117.77 c #Conflicts: 372000 | #Constraints: 15473
117.35/117.77 c #Conflicts: 373000 | #Constraints: 16473
117.35/117.77 c #Conflicts: 374000 | #Constraints: 17473
117.35/117.77 c #Conflicts: 375000 | #Constraints: 18473
117.35/117.77 c #Conflicts: 376000 | #Constraints: 19473
117.35/117.77 c #Conflicts: 377000 | #Constraints: 20473
117.35/117.77 c #Conflicts: 378000 | #Constraints: 21473
117.35/117.77 c #Conflicts: 379000 | #Constraints: 22473
117.35/117.77 c #Conflicts: 380000 | #Constraints: 23473
117.35/117.77 c #Conflicts: 381000 | #Constraints: 24473
117.35/117.77 c INPROCESSING
117.35/117.77 c GARBAGE COLLECT
117.35/117.77 c #Conflicts: 382000 | #Constraints: 13276
117.35/117.77 c #Conflicts: 383000 | #Constraints: 14276
117.35/117.77 c #Conflicts: 384000 | #Constraints: 15276
117.35/117.77 c #Conflicts: 385000 | #Constraints: 16276
117.35/117.77 c #Conflicts: 386000 | #Constraints: 17276
117.35/117.77 c #Conflicts: 387000 | #Constraints: 18276
117.35/117.77 c #Conflicts: 388000 | #Constraints: 19276
117.35/117.77 c #Conflicts: 389000 | #Constraints: 20276
117.35/117.77 c #Conflicts: 390000 | #Constraints: 21276
117.35/117.77 c #Conflicts: 391000 | #Constraints: 22276
117.35/117.77 c #Conflicts: 392000 | #Constraints: 23276
117.35/117.77 c GLOBAL bounds -20 >= -22 @ 115.788
117.35/117.78 c GLOBAL bounds -20 >= -22 @ 115.792
117.35/117.78 c GLOBAL bounds -20 >= -22 @ 115.793
117.35/117.78 c GLOBAL bounds -20 >= -22 @ 115.793
117.35/117.78 c GLOBAL bounds -20 >= -22 @ 115.796
117.35/117.78 c GLOBAL bounds -20 >= -22 @ 115.796
117.45/117.88 c #Conflicts: 393000 | #Constraints: 24279
117.45/117.88 c GLOBAL bounds -20 >= -22 @ 115.894
117.45/117.88 c GLOBAL bounds -20 >= -22 @ 115.895
117.45/117.88 c GLOBAL bounds -20 >= -22 @ 115.897
117.45/117.88 c GLOBAL bounds -20 >= -22 @ 115.898
117.66/118.11 c GLOBAL bounds -20 >= -22 @ 116.118
117.66/118.11 c GLOBAL bounds -20 >= -22 @ 116.118
117.85/118.21 c #Conflicts: 394000 | #Constraints: 25282
117.85/118.21 c INPROCESSING
117.85/118.21 c GARBAGE COLLECT
117.85/118.21 c GLOBAL bounds -20 >= -22 @ 116.222
117.85/118.21 c GLOBAL bounds -20 >= -22 @ 116.222
117.85/118.21 c GLOBAL bounds -20 >= -22 @ 116.225
117.85/118.21 c GLOBAL bounds -20 >= -22 @ 116.225
121.14/121.55 c #Conflicts: 395000 | #Constraints: 13881
121.14/121.55 c #Conflicts: 396000 | #Constraints: 14881
121.14/121.55 c #Conflicts: 397000 | #Constraints: 15881
121.14/121.55 c #Conflicts: 398000 | #Constraints: 16881
121.14/121.55 c #Conflicts: 399000 | #Constraints: 17881
121.14/121.55 c #Conflicts: 400000 | #Constraints: 18881
121.14/121.55 c #Conflicts: 401000 | #Constraints: 19881
121.14/121.55 c #Conflicts: 402000 | #Constraints: 20881
121.14/121.55 c #Conflicts: 403000 | #Constraints: 21881
121.14/121.55 c #Conflicts: 404000 | #Constraints: 22881
121.14/121.55 c #Conflicts: 405000 | #Constraints: 23881
121.14/121.55 c #Conflicts: 406000 | #Constraints: 24881
121.14/121.55 c GLOBAL bounds -20 >= -22 @ 119.508
121.14/121.55 c GLOBAL bounds -20 >= -22 @ 119.508
121.34/121.70 c GLOBAL bounds -20 >= -22 @ 119.664
121.34/121.70 c GLOBAL bounds -20 >= -22 @ 119.664
121.43/121.86 c #Conflicts: 407000 | #Constraints: 25883
121.43/121.86 c INPROCESSING
121.43/121.86 c GARBAGE COLLECT
121.43/121.86 c GLOBAL bounds -20 >= -22 @ 119.818
121.43/121.86 c GLOBAL bounds -20 >= -22 @ 119.818
121.65/122.04 c #Conflicts: 408000 | #Constraints: 14283
121.65/122.04 c GLOBAL bounds -20 >= -22 @ 119.987
150.96/151.43 c #Conflicts: 409000 | #Constraints: 15283
150.96/151.43 c #Conflicts: 410000 | #Constraints: 16283
150.96/151.43 c #Conflicts: 411000 | #Constraints: 17283
150.96/151.43 c #Conflicts: 412000 | #Constraints: 18283
150.96/151.43 c #Conflicts: 413000 | #Constraints: 19283
150.96/151.43 c #Conflicts: 414000 | #Constraints: 20283
150.96/151.43 c #Conflicts: 415000 | #Constraints: 21283
150.96/151.43 c #Conflicts: 416000 | #Constraints: 22283
150.96/151.43 c #Conflicts: 417000 | #Constraints: 23283
150.96/151.43 c #Conflicts: 418000 | #Constraints: 24283
150.96/151.43 c #Conflicts: 419000 | #Constraints: 25283
150.96/151.43 c #Conflicts: 420000 | #Constraints: 26283
150.96/151.43 c INPROCESSING
150.96/151.43 c GARBAGE COLLECT
150.96/151.43 c #Conflicts: 421000 | #Constraints: 14481
150.96/151.43 c #Conflicts: 422000 | #Constraints: 15481
150.96/151.43 c #Conflicts: 423000 | #Constraints: 16481
150.96/151.43 c #Conflicts: 424000 | #Constraints: 17481
150.96/151.43 c #Conflicts: 425000 | #Constraints: 18481
150.96/151.43 c #Conflicts: 426000 | #Constraints: 19481
150.96/151.43 c #Conflicts: 427000 | #Constraints: 20481
150.96/151.43 c #Conflicts: 428000 | #Constraints: 21481
150.96/151.43 c #Conflicts: 429000 | #Constraints: 22481
150.96/151.43 c #Conflicts: 430000 | #Constraints: 23481
150.96/151.43 c #Conflicts: 431000 | #Constraints: 24481
150.96/151.43 c #Conflicts: 432000 | #Constraints: 25481
150.96/151.43 c #Conflicts: 433000 | #Constraints: 26481
150.96/151.43 c INPROCESSING
150.96/151.43 c GARBAGE COLLECT
150.96/151.43 c #Conflicts: 434000 | #Constraints: 14483
150.96/151.43 c #Conflicts: 435000 | #Constraints: 15483
150.96/151.43 c #Conflicts: 436000 | #Constraints: 16483
150.96/151.43 c #Conflicts: 437000 | #Constraints: 17483
150.96/151.43 c #Conflicts: 438000 | #Constraints: 18483
150.96/151.43 c #Conflicts: 439000 | #Constraints: 19483
150.96/151.43 c #Conflicts: 440000 | #Constraints: 20483
150.96/151.43 c #Conflicts: 441000 | #Constraints: 21483
150.96/151.43 c #Conflicts: 442000 | #Constraints: 22483
150.96/151.43 c #Conflicts: 443000 | #Constraints: 23483
150.96/151.43 c #Conflicts: 444000 | #Constraints: 24483
150.96/151.43 c #Conflicts: 445000 | #Constraints: 25483
150.96/151.43 c #Conflicts: 446000 | #Constraints: 26483
150.96/151.43 c INPROCESSING
150.96/151.43 c GARBAGE COLLECT
150.96/151.43 c #Conflicts: 447000 | #Constraints: 14279
150.96/151.43 c #Conflicts: 448000 | #Constraints: 15279
150.96/151.43 c #Conflicts: 449000 | #Constraints: 16279
150.96/151.43 c #Conflicts: 450000 | #Constraints: 17279
150.96/151.43 c #Conflicts: 451000 | #Constraints: 18279
150.96/151.43 c #Conflicts: 452000 | #Constraints: 19279
150.96/151.43 c #Conflicts: 453000 | #Constraints: 20279
150.96/151.43 c #Conflicts: 454000 | #Constraints: 21279
150.96/151.43 c #Conflicts: 455000 | #Constraints: 22279
150.96/151.43 c #Conflicts: 456000 | #Constraints: 23279
150.96/151.43 c #Conflicts: 457000 | #Constraints: 24279
150.96/151.43 c #Conflicts: 458000 | #Constraints: 25279
150.96/151.43 c #Conflicts: 459000 | #Constraints: 26279
150.96/151.43 c #Conflicts: 460000 | #Constraints: 27279
150.96/151.43 c INPROCESSING
150.96/151.43 c GARBAGE COLLECT
150.96/151.43 c #Conflicts: 461000 | #Constraints: 14881
150.96/151.43 c #Conflicts: 462000 | #Constraints: 15881
150.96/151.43 c #Conflicts: 463000 | #Constraints: 16881
150.96/151.43 c #Conflicts: 464000 | #Constraints: 17881
150.96/151.43 c #Conflicts: 465000 | #Constraints: 18881
150.96/151.43 c #Conflicts: 466000 | #Constraints: 19881
150.96/151.43 c #Conflicts: 467000 | #Constraints: 20881
150.96/151.43 c #Conflicts: 468000 | #Constraints: 21881
150.96/151.43 c #Conflicts: 469000 | #Constraints: 22881
150.96/151.43 c #Conflicts: 470000 | #Constraints: 23881
150.96/151.43 c #Conflicts: 471000 | #Constraints: 24881
150.96/151.43 c #Conflicts: 472000 | #Constraints: 25881
150.96/151.43 c #Conflicts: 473000 | #Constraints: 26881
150.96/151.43 c #Conflicts: 474000 | #Constraints: 27881
150.96/151.43 c INPROCESSING
150.96/151.43 c GARBAGE COLLECT
150.96/151.43 c #Conflicts: 475000 | #Constraints: 15281
150.96/151.43 c #Conflicts: 476000 | #Constraints: 16281
150.96/151.43 c #Conflicts: 477000 | #Constraints: 17281
150.96/151.43 c #Conflicts: 478000 | #Constraints: 18281
150.96/151.43 c #Conflicts: 479000 | #Constraints: 19281
150.96/151.43 c #Conflicts: 480000 | #Constraints: 20281
150.96/151.43 c #Conflicts: 481000 | #Constraints: 21281
150.96/151.43 c #Conflicts: 482000 | #Constraints: 22281
150.96/151.43 c #Conflicts: 483000 | #Constraints: 23281
150.96/151.43 c #Conflicts: 484000 | #Constraints: 24281
151.86/152.34 c #Conflicts: 485000 | #Constraints: 25281
151.86/152.34 c GLOBAL bounds -20 >= -22 @ 149.886
151.86/152.35 c GLOBAL bounds -20 >= -22 @ 149.892
151.86/152.35 c GLOBAL bounds -20 >= -22 @ 149.896
151.86/152.35 c GLOBAL bounds -20 >= -22 @ 149.896
151.86/152.35 c GLOBAL bounds -20 >= -22 @ 149.897
151.86/152.36 c GLOBAL bounds -20 >= -22 @ 149.901
151.86/152.36 c GLOBAL bounds -20 >= -22 @ 149.901
151.86/152.37 c GLOBAL bounds -20 >= -22 @ 149.908
151.86/152.37 c GLOBAL bounds -20 >= -22 @ 149.908
151.86/152.37 c GLOBAL bounds -20 >= -22 @ 149.912
151.86/152.37 c GLOBAL bounds -20 >= -22 @ 149.912
151.96/152.41 c GLOBAL bounds -20 >= -22 @ 149.953
151.96/152.41 c GLOBAL bounds -20 >= -22 @ 149.953
151.96/152.46 c #Conflicts: 486000 | #Constraints: 26287
151.96/152.46 c GLOBAL bounds -20 >= -22 @ 149.999
151.96/152.46 c GLOBAL bounds -20 >= -22 @ 149.999
152.06/152.54 c GLOBAL bounds -20 >= -22 @ 150.083
152.06/152.54 c GLOBAL bounds -20 >= -22 @ 150.083
152.06/152.55 c GLOBAL bounds -20 >= -22 @ 150.089
152.06/152.55 c GLOBAL bounds -20 >= -22 @ 150.089
152.86/153.37 c #Conflicts: 487000 | #Constraints: 27290
152.86/153.37 c #Conflicts: 488000 | #Constraints: 28290
152.86/153.37 c INPROCESSING
152.86/153.37 c GARBAGE COLLECT
152.86/153.37 c GLOBAL bounds -20 >= -22 @ 150.899
152.86/153.37 c GLOBAL bounds -20 >= -22 @ 150.899
161.64/162.19 c #Conflicts: 489000 | #Constraints: 15496
161.64/162.19 c #Conflicts: 490000 | #Constraints: 16496
161.64/162.19 c #Conflicts: 491000 | #Constraints: 17496
161.64/162.19 c #Conflicts: 492000 | #Constraints: 18496
161.64/162.19 c #Conflicts: 493000 | #Constraints: 19496
161.64/162.19 c #Conflicts: 494000 | #Constraints: 20496
161.64/162.19 c #Conflicts: 495000 | #Constraints: 21496
161.64/162.19 c #Conflicts: 496000 | #Constraints: 22496
161.64/162.19 c #Conflicts: 497000 | #Constraints: 23496
161.64/162.19 c #Conflicts: 498000 | #Constraints: 24496
161.64/162.19 c #Conflicts: 499000 | #Constraints: 25496
161.64/162.19 c #Conflicts: 500000 | #Constraints: 26496
161.64/162.19 c #Conflicts: 501000 | #Constraints: 27496
161.64/162.19 c #Conflicts: 502000 | #Constraints: 28496
161.64/162.19 c INPROCESSING
161.64/162.19 c GARBAGE COLLECT
161.64/162.19 c #Conflicts: 503000 | #Constraints: 15494
161.64/162.19 c #Conflicts: 504000 | #Constraints: 16494
161.64/162.19 c #Conflicts: 505000 | #Constraints: 17494
161.64/162.19 c #Conflicts: 506000 | #Constraints: 18494
161.64/162.19 c #Conflicts: 507000 | #Constraints: 19494
161.64/162.19 c #Conflicts: 508000 | #Constraints: 20494
161.64/162.19 c #Conflicts: 509000 | #Constraints: 21494
161.64/162.19 c #Conflicts: 510000 | #Constraints: 22494
161.64/162.19 c #Conflicts: 511000 | #Constraints: 23494
161.64/162.19 c #Conflicts: 512000 | #Constraints: 24494
161.64/162.19 c #Conflicts: 513000 | #Constraints: 25494
161.64/162.19 c #Conflicts: 514000 | #Constraints: 26494
161.64/162.19 c #Conflicts: 515000 | #Constraints: 27494
161.64/162.19 c #Conflicts: 516000 | #Constraints: 28494
161.64/162.19 c INPROCESSING
161.64/162.19 c GARBAGE COLLECT
161.64/162.19 c #Conflicts: 517000 | #Constraints: 15289
161.64/162.19 c #Conflicts: 518000 | #Constraints: 16289
161.64/162.19 c GLOBAL bounds -20 >= -22 @ 159.58
161.64/162.19 c GLOBAL bounds -20 >= -22 @ 159.58
162.03/162.50 c #Conflicts: 519000 | #Constraints: 17290
162.03/162.50 c #Conflicts: 520000 | #Constraints: 18290
162.03/162.50 c GLOBAL bounds -20 >= -22 @ 159.889
193.85/194.41 c #Conflicts: 521000 | #Constraints: 19290
193.85/194.41 c #Conflicts: 522000 | #Constraints: 20290
193.85/194.41 c #Conflicts: 523000 | #Constraints: 21290
193.85/194.41 c #Conflicts: 524000 | #Constraints: 22290
193.85/194.41 c #Conflicts: 525000 | #Constraints: 23290
193.85/194.41 c #Conflicts: 526000 | #Constraints: 24290
193.85/194.41 c #Conflicts: 527000 | #Constraints: 25290
193.85/194.41 c #Conflicts: 528000 | #Constraints: 26290
193.85/194.41 c #Conflicts: 529000 | #Constraints: 27290
193.85/194.41 c #Conflicts: 530000 | #Constraints: 28290
193.85/194.41 c #Conflicts: 531000 | #Constraints: 29290
193.85/194.41 c INPROCESSING
193.85/194.41 c GARBAGE COLLECT
193.85/194.41 c #Conflicts: 532000 | #Constraints: 15886
193.85/194.41 c #Conflicts: 533000 | #Constraints: 16886
193.85/194.41 c #Conflicts: 534000 | #Constraints: 17886
193.85/194.41 c #Conflicts: 535000 | #Constraints: 18886
193.85/194.41 c #Conflicts: 536000 | #Constraints: 19886
193.85/194.41 c #Conflicts: 537000 | #Constraints: 20886
193.85/194.41 c #Conflicts: 538000 | #Constraints: 21886
193.85/194.41 c #Conflicts: 539000 | #Constraints: 22886
193.85/194.41 c #Conflicts: 540000 | #Constraints: 23886
193.85/194.41 c #Conflicts: 541000 | #Constraints: 24886
193.85/194.41 c #Conflicts: 542000 | #Constraints: 25886
193.85/194.41 c #Conflicts: 543000 | #Constraints: 26886
193.85/194.41 c #Conflicts: 544000 | #Constraints: 27886
193.85/194.41 c #Conflicts: 545000 | #Constraints: 28886
193.85/194.41 c #Conflicts: 546000 | #Constraints: 29886
193.85/194.41 c INPROCESSING
193.85/194.41 c GARBAGE COLLECT
193.85/194.41 c #Conflicts: 547000 | #Constraints: 16292
193.85/194.41 c #Conflicts: 548000 | #Constraints: 17292
193.85/194.41 c #Conflicts: 549000 | #Constraints: 18292
193.85/194.41 c #Conflicts: 550000 | #Constraints: 19292
193.85/194.41 c #Conflicts: 551000 | #Constraints: 20292
193.85/194.41 c #Conflicts: 552000 | #Constraints: 21292
193.85/194.41 c #Conflicts: 553000 | #Constraints: 22292
193.85/194.41 c #Conflicts: 554000 | #Constraints: 23292
193.85/194.41 c #Conflicts: 555000 | #Constraints: 24292
193.85/194.41 c #Conflicts: 556000 | #Constraints: 25292
193.85/194.41 c #Conflicts: 557000 | #Constraints: 26292
193.85/194.41 c #Conflicts: 558000 | #Constraints: 27292
193.85/194.41 c #Conflicts: 559000 | #Constraints: 28292
193.85/194.41 c #Conflicts: 560000 | #Constraints: 29292
193.85/194.41 c #Conflicts: 561000 | #Constraints: 30292
193.85/194.41 c INPROCESSING
193.85/194.41 c GARBAGE COLLECT
193.85/194.41 c #Conflicts: 562000 | #Constraints: 16494
193.85/194.41 c #Conflicts: 563000 | #Constraints: 17494
193.85/194.41 c #Conflicts: 564000 | #Constraints: 18494
193.85/194.41 c #Conflicts: 565000 | #Constraints: 19494
193.85/194.41 c #Conflicts: 566000 | #Constraints: 20494
193.85/194.41 c #Conflicts: 567000 | #Constraints: 21494
193.85/194.41 c #Conflicts: 568000 | #Constraints: 22494
193.85/194.41 c #Conflicts: 569000 | #Constraints: 23494
193.85/194.41 c #Conflicts: 570000 | #Constraints: 24494
193.85/194.41 c #Conflicts: 571000 | #Constraints: 25494
193.85/194.41 c #Conflicts: 572000 | #Constraints: 26494
193.85/194.41 c #Conflicts: 573000 | #Constraints: 27494
193.85/194.41 c #Conflicts: 574000 | #Constraints: 28494
193.85/194.41 c #Conflicts: 575000 | #Constraints: 29494
193.85/194.41 c #Conflicts: 576000 | #Constraints: 30494
193.85/194.41 c INPROCESSING
193.85/194.41 c GARBAGE COLLECT
193.85/194.41 c #Conflicts: 577000 | #Constraints: 16495
193.85/194.41 c #Conflicts: 578000 | #Constraints: 17495
193.85/194.41 c #Conflicts: 579000 | #Constraints: 18495
193.85/194.41 c #Conflicts: 580000 | #Constraints: 19495
193.85/194.41 c #Conflicts: 581000 | #Constraints: 20495
193.85/194.41 c #Conflicts: 582000 | #Constraints: 21495
193.85/194.41 c #Conflicts: 583000 | #Constraints: 22495
193.85/194.41 c #Conflicts: 584000 | #Constraints: 23495
193.85/194.41 c #Conflicts: 585000 | #Constraints: 24495
193.85/194.41 c #Conflicts: 586000 | #Constraints: 25495
193.85/194.41 c #Conflicts: 587000 | #Constraints: 26495
193.85/194.41 c #Conflicts: 588000 | #Constraints: 27495
193.85/194.41 c #Conflicts: 589000 | #Constraints: 28495
193.85/194.41 c #Conflicts: 590000 | #Constraints: 29495
193.85/194.41 c #Conflicts: 591000 | #Constraints: 30495
193.85/194.41 c INPROCESSING
193.85/194.41 c GARBAGE COLLECT
193.85/194.41 c #Conflicts: 592000 | #Constraints: 16297
193.85/194.41 c #Conflicts: 593000 | #Constraints: 17297
193.85/194.41 c #Conflicts: 594000 | #Constraints: 18297
193.85/194.41 c #Conflicts: 595000 | #Constraints: 19297
193.85/194.41 c #Conflicts: 596000 | #Constraints: 20297
232.14/232.84 c #Conflicts: 597000 | #Constraints: 21297
232.14/232.84 c #Conflicts: 598000 | #Constraints: 22297
232.14/232.84 c #Conflicts: 599000 | #Constraints: 23297
232.14/232.84 c #Conflicts: 600000 | #Constraints: 24297
232.14/232.84 c #Conflicts: 601000 | #Constraints: 25297
232.14/232.84 c #Conflicts: 602000 | #Constraints: 26297
232.14/232.84 c #Conflicts: 603000 | #Constraints: 27297
232.14/232.84 c #Conflicts: 604000 | #Constraints: 28297
232.14/232.84 c #Conflicts: 605000 | #Constraints: 29297
232.14/232.84 c #Conflicts: 606000 | #Constraints: 30297
232.14/232.84 c #Conflicts: 607000 | #Constraints: 31297
232.14/232.84 c INPROCESSING
232.14/232.84 c GARBAGE COLLECT
232.14/232.84 c #Conflicts: 608000 | #Constraints: 16895
232.14/232.84 c #Conflicts: 609000 | #Constraints: 17895
232.14/232.84 c #Conflicts: 610000 | #Constraints: 18895
232.14/232.84 c #Conflicts: 611000 | #Constraints: 19895
232.14/232.84 c #Conflicts: 612000 | #Constraints: 20895
232.14/232.84 c #Conflicts: 613000 | #Constraints: 21895
232.14/232.84 c #Conflicts: 614000 | #Constraints: 22895
232.14/232.84 c #Conflicts: 615000 | #Constraints: 23895
232.14/232.84 c #Conflicts: 616000 | #Constraints: 24895
232.14/232.84 c #Conflicts: 617000 | #Constraints: 25895
232.14/232.84 c #Conflicts: 618000 | #Constraints: 26895
232.14/232.84 c #Conflicts: 619000 | #Constraints: 27895
232.14/232.84 c #Conflicts: 620000 | #Constraints: 28895
232.14/232.84 c #Conflicts: 621000 | #Constraints: 29895
232.14/232.84 c #Conflicts: 622000 | #Constraints: 30895
232.14/232.84 c #Conflicts: 623000 | #Constraints: 31895
232.14/232.84 c INPROCESSING
232.14/232.84 c GARBAGE COLLECT
232.14/232.84 c #Conflicts: 624000 | #Constraints: 17299
232.14/232.84 c #Conflicts: 625000 | #Constraints: 18299
232.14/232.84 c #Conflicts: 626000 | #Constraints: 19299
232.14/232.84 c #Conflicts: 627000 | #Constraints: 20299
232.14/232.84 c #Conflicts: 628000 | #Constraints: 21299
232.14/232.84 c #Conflicts: 629000 | #Constraints: 22299
232.14/232.84 c #Conflicts: 630000 | #Constraints: 23299
232.14/232.84 c #Conflicts: 631000 | #Constraints: 24299
232.14/232.84 c #Conflicts: 632000 | #Constraints: 25299
232.14/232.84 c #Conflicts: 633000 | #Constraints: 26299
232.14/232.84 c #Conflicts: 634000 | #Constraints: 27299
232.14/232.84 c #Conflicts: 635000 | #Constraints: 28299
232.14/232.84 c #Conflicts: 636000 | #Constraints: 29299
232.14/232.84 c #Conflicts: 637000 | #Constraints: 30299
232.14/232.84 c #Conflicts: 638000 | #Constraints: 31299
232.14/232.84 c #Conflicts: 639000 | #Constraints: 32299
232.14/232.84 c INPROCESSING
232.14/232.84 c GARBAGE COLLECT
232.14/232.84 c #Conflicts: 640000 | #Constraints: 17498
232.14/232.84 c #Conflicts: 641000 | #Constraints: 18498
232.14/232.84 c #Conflicts: 642000 | #Constraints: 19498
232.14/232.84 c #Conflicts: 643000 | #Constraints: 20498
232.14/232.84 c #Conflicts: 644000 | #Constraints: 21498
232.14/232.84 c #Conflicts: 645000 | #Constraints: 22498
232.14/232.84 c #Conflicts: 646000 | #Constraints: 23498
232.14/232.84 c #Conflicts: 647000 | #Constraints: 24498
232.14/232.84 c #Conflicts: 648000 | #Constraints: 25498
232.14/232.84 c #Conflicts: 649000 | #Constraints: 26498
232.14/232.84 c #Conflicts: 650000 | #Constraints: 27498
232.14/232.84 c #Conflicts: 651000 | #Constraints: 28498
232.14/232.84 c #Conflicts: 652000 | #Constraints: 29498
232.14/232.84 c #Conflicts: 653000 | #Constraints: 30498
232.14/232.84 c #Conflicts: 654000 | #Constraints: 31498
232.14/232.84 c #Conflicts: 655000 | #Constraints: 32498
232.14/232.84 c INPROCESSING
232.14/232.84 c GARBAGE COLLECT
232.14/232.84 c #Conflicts: 656000 | #Constraints: 17497
232.14/232.84 c #Conflicts: 657000 | #Constraints: 18497
232.14/232.84 c #Conflicts: 658000 | #Constraints: 19497
232.14/232.84 c #Conflicts: 659000 | #Constraints: 20497
232.14/232.84 c #Conflicts: 660000 | #Constraints: 21497
232.14/232.84 c #Conflicts: 661000 | #Constraints: 22497
232.14/232.84 c #Conflicts: 662000 | #Constraints: 23497
232.14/232.84 c #Conflicts: 663000 | #Constraints: 24497
232.14/232.84 c #Conflicts: 664000 | #Constraints: 25497
232.14/232.84 c #Conflicts: 665000 | #Constraints: 26497
232.14/232.84 c #Conflicts: 666000 | #Constraints: 27497
232.14/232.84 c #Conflicts: 667000 | #Constraints: 28497
232.14/232.84 c #Conflicts: 668000 | #Constraints: 29497
232.14/232.84 c #Conflicts: 669000 | #Constraints: 30497
232.14/232.84 c #Conflicts: 670000 | #Constraints: 31497
232.14/232.84 c #Conflicts: 671000 | #Constraints: 32497
232.14/232.84 c INPROCESSING
232.14/232.84 c GARBAGE COLLECT
232.14/232.84 c #Conflicts: 672000 | #Constraints: 17300
262.27/263.05 c #Conflicts: 673000 | #Constraints: 18300
262.27/263.05 c #Conflicts: 674000 | #Constraints: 19300
262.27/263.05 c #Conflicts: 675000 | #Constraints: 20300
262.27/263.05 c #Conflicts: 676000 | #Constraints: 21300
262.27/263.05 c #Conflicts: 677000 | #Constraints: 22300
262.27/263.05 c #Conflicts: 678000 | #Constraints: 23300
262.27/263.05 c #Conflicts: 679000 | #Constraints: 24300
262.27/263.05 c #Conflicts: 680000 | #Constraints: 25300
262.27/263.05 c #Conflicts: 681000 | #Constraints: 26300
262.27/263.05 c #Conflicts: 682000 | #Constraints: 27300
262.27/263.05 c #Conflicts: 683000 | #Constraints: 28300
262.27/263.05 c #Conflicts: 684000 | #Constraints: 29300
262.27/263.05 c #Conflicts: 685000 | #Constraints: 30300
262.27/263.05 c #Conflicts: 686000 | #Constraints: 31300
262.27/263.05 c #Conflicts: 687000 | #Constraints: 32300
262.27/263.05 c #Conflicts: 688000 | #Constraints: 33300
262.27/263.05 c INPROCESSING
262.27/263.05 c GARBAGE COLLECT
262.27/263.05 c #Conflicts: 689000 | #Constraints: 17905
262.27/263.05 c #Conflicts: 690000 | #Constraints: 18905
262.27/263.05 c #Conflicts: 691000 | #Constraints: 19905
262.27/263.05 c #Conflicts: 692000 | #Constraints: 20905
262.27/263.05 c #Conflicts: 693000 | #Constraints: 21905
262.27/263.05 c #Conflicts: 694000 | #Constraints: 22905
262.27/263.05 c #Conflicts: 695000 | #Constraints: 23905
262.27/263.05 c #Conflicts: 696000 | #Constraints: 24905
262.27/263.05 c #Conflicts: 697000 | #Constraints: 25905
262.27/263.05 c #Conflicts: 698000 | #Constraints: 26905
262.27/263.05 c #Conflicts: 699000 | #Constraints: 27905
262.27/263.05 c #Conflicts: 700000 | #Constraints: 28905
262.27/263.05 c #Conflicts: 701000 | #Constraints: 29905
262.27/263.05 c #Conflicts: 702000 | #Constraints: 30905
262.27/263.05 c #Conflicts: 703000 | #Constraints: 31905
262.27/263.05 c #Conflicts: 704000 | #Constraints: 32905
262.27/263.05 c #Conflicts: 705000 | #Constraints: 33905
262.27/263.05 c INPROCESSING
262.27/263.05 c GARBAGE COLLECT
262.27/263.05 c #Conflicts: 706000 | #Constraints: 18299
262.27/263.05 c #Conflicts: 707000 | #Constraints: 19299
262.27/263.05 c #Conflicts: 708000 | #Constraints: 20299
262.27/263.05 c #Conflicts: 709000 | #Constraints: 21299
262.27/263.05 c #Conflicts: 710000 | #Constraints: 22299
262.27/263.05 c #Conflicts: 711000 | #Constraints: 23299
262.27/263.05 c #Conflicts: 712000 | #Constraints: 24299
262.27/263.05 c #Conflicts: 713000 | #Constraints: 25299
262.27/263.05 c #Conflicts: 714000 | #Constraints: 26299
262.27/263.05 c #Conflicts: 715000 | #Constraints: 27299
262.27/263.05 c #Conflicts: 716000 | #Constraints: 28299
262.27/263.05 c #Conflicts: 717000 | #Constraints: 29299
262.27/263.05 c #Conflicts: 718000 | #Constraints: 30299
262.27/263.05 c #Conflicts: 719000 | #Constraints: 31299
262.27/263.05 c #Conflicts: 720000 | #Constraints: 32299
262.27/263.05 c #Conflicts: 721000 | #Constraints: 33299
262.27/263.05 c #Conflicts: 722000 | #Constraints: 34299
262.27/263.05 c INPROCESSING
262.27/263.05 c GARBAGE COLLECT
262.27/263.05 c #Conflicts: 723000 | #Constraints: 18497
262.27/263.05 c #Conflicts: 724000 | #Constraints: 19497
262.27/263.05 c #Conflicts: 725000 | #Constraints: 20497
262.27/263.05 c #Conflicts: 726000 | #Constraints: 21497
262.27/263.05 c #Conflicts: 727000 | #Constraints: 22497
262.27/263.05 c #Conflicts: 728000 | #Constraints: 23497
262.27/263.05 c #Conflicts: 729000 | #Constraints: 24497
262.27/263.05 c #Conflicts: 730000 | #Constraints: 25497
262.27/263.05 c #Conflicts: 731000 | #Constraints: 26497
262.27/263.05 c #Conflicts: 732000 | #Constraints: 27497
262.27/263.05 c GLOBAL bounds -20 >= -22 @ 259.253
262.27/263.06 c GLOBAL bounds -20 >= -22 @ 259.254
262.27/263.06 c GLOBAL bounds -20 >= -22 @ 259.258
262.27/263.06 c GLOBAL bounds -20 >= -22 @ 259.258
262.27/263.06 c GLOBAL bounds -20 >= -22 @ 259.258
262.27/263.07 c GLOBAL bounds -20 >= -22 @ 259.266
262.27/263.07 c GLOBAL bounds -20 >= -22 @ 259.267
262.27/263.08 c GLOBAL bounds -20 >= -22 @ 259.276
262.27/263.08 c GLOBAL bounds -20 >= -22 @ 259.276
262.27/263.10 c GLOBAL bounds -20 >= -22 @ 259.302
262.27/263.10 c GLOBAL bounds -20 >= -22 @ 259.303
262.27/263.11 c GLOBAL bounds -20 >= -22 @ 259.306
262.27/263.11 c GLOBAL bounds -20 >= -22 @ 259.306
263.06/263.85 c #Conflicts: 733000 | #Constraints: 28503
263.06/263.85 c #Conflicts: 734000 | #Constraints: 29503
263.06/263.85 c GLOBAL bounds -20 >= -22 @ 260.037
263.06/263.85 c GLOBAL bounds -20 >= -22 @ 260.038
287.88/288.79 c #Conflicts: 735000 | #Constraints: 30504
287.88/288.79 c #Conflicts: 736000 | #Constraints: 31504
287.88/288.79 c #Conflicts: 737000 | #Constraints: 32504
287.88/288.79 c #Conflicts: 738000 | #Constraints: 33504
287.88/288.79 c #Conflicts: 739000 | #Constraints: 34504
287.88/288.79 c INPROCESSING
287.88/288.79 c GARBAGE COLLECT
287.88/288.79 c #Conflicts: 740000 | #Constraints: 18501
287.88/288.79 c #Conflicts: 741000 | #Constraints: 19501
287.88/288.79 c #Conflicts: 742000 | #Constraints: 20501
287.88/288.79 c #Conflicts: 743000 | #Constraints: 21501
287.88/288.79 c #Conflicts: 744000 | #Constraints: 22501
287.88/288.79 c #Conflicts: 745000 | #Constraints: 23501
287.88/288.79 c #Conflicts: 746000 | #Constraints: 24501
287.88/288.79 c #Conflicts: 747000 | #Constraints: 25501
287.88/288.79 c #Conflicts: 748000 | #Constraints: 26501
287.88/288.79 c #Conflicts: 749000 | #Constraints: 27501
287.88/288.79 c #Conflicts: 750000 | #Constraints: 28501
287.88/288.79 c #Conflicts: 751000 | #Constraints: 29501
287.88/288.79 c #Conflicts: 752000 | #Constraints: 30501
287.88/288.79 c #Conflicts: 753000 | #Constraints: 31501
287.88/288.79 c #Conflicts: 754000 | #Constraints: 32501
287.88/288.79 c #Conflicts: 755000 | #Constraints: 33501
287.88/288.79 c #Conflicts: 756000 | #Constraints: 34501
287.88/288.79 c INPROCESSING
287.88/288.79 c GARBAGE COLLECT
287.88/288.79 c #Conflicts: 757000 | #Constraints: 18299
287.88/288.79 c #Conflicts: 758000 | #Constraints: 19299
287.88/288.79 c #Conflicts: 759000 | #Constraints: 20299
287.88/288.79 c #Conflicts: 760000 | #Constraints: 21299
287.88/288.79 c #Conflicts: 761000 | #Constraints: 22299
287.88/288.79 c #Conflicts: 762000 | #Constraints: 23299
287.88/288.79 c #Conflicts: 763000 | #Constraints: 24299
287.88/288.79 c #Conflicts: 764000 | #Constraints: 25299
287.88/288.79 c #Conflicts: 765000 | #Constraints: 26299
287.88/288.79 c #Conflicts: 766000 | #Constraints: 27299
287.88/288.79 c #Conflicts: 767000 | #Constraints: 28299
287.88/288.79 c #Conflicts: 768000 | #Constraints: 29299
287.88/288.79 c #Conflicts: 769000 | #Constraints: 30299
287.88/288.79 c #Conflicts: 770000 | #Constraints: 31299
287.88/288.79 c #Conflicts: 771000 | #Constraints: 32299
287.88/288.79 c #Conflicts: 772000 | #Constraints: 33299
287.88/288.79 c #Conflicts: 773000 | #Constraints: 34299
287.88/288.79 c #Conflicts: 774000 | #Constraints: 35299
287.88/288.79 c INPROCESSING
287.88/288.79 c GARBAGE COLLECT
287.88/288.79 c #Conflicts: 775000 | #Constraints: 18902
287.88/288.79 c #Conflicts: 776000 | #Constraints: 19902
287.88/288.79 c #Conflicts: 777000 | #Constraints: 20902
287.88/288.79 c #Conflicts: 778000 | #Constraints: 21902
287.88/288.79 c #Conflicts: 779000 | #Constraints: 22902
287.88/288.79 c #Conflicts: 780000 | #Constraints: 23902
287.88/288.79 c #Conflicts: 781000 | #Constraints: 24902
287.88/288.79 c #Conflicts: 782000 | #Constraints: 25902
287.88/288.79 c #Conflicts: 783000 | #Constraints: 26902
287.88/288.79 c #Conflicts: 784000 | #Constraints: 27902
287.88/288.79 c #Conflicts: 785000 | #Constraints: 28902
287.88/288.79 c #Conflicts: 786000 | #Constraints: 29902
287.88/288.79 c #Conflicts: 787000 | #Constraints: 30902
287.88/288.79 c #Conflicts: 788000 | #Constraints: 31902
287.88/288.79 c #Conflicts: 789000 | #Constraints: 32902
287.88/288.79 c #Conflicts: 790000 | #Constraints: 33902
287.88/288.79 c #Conflicts: 791000 | #Constraints: 34902
287.88/288.79 c #Conflicts: 792000 | #Constraints: 35902
287.88/288.79 c INPROCESSING
287.88/288.79 c GARBAGE COLLECT
287.88/288.79 c #Conflicts: 793000 | #Constraints: 19307
287.88/288.79 c #Conflicts: 794000 | #Constraints: 20307
287.88/288.79 c #Conflicts: 795000 | #Constraints: 21307
287.88/288.79 c #Conflicts: 796000 | #Constraints: 22307
287.88/288.79 c #Conflicts: 797000 | #Constraints: 23307
287.88/288.79 c #Conflicts: 798000 | #Constraints: 24307
287.88/288.79 c #Conflicts: 799000 | #Constraints: 25307
287.88/288.79 c #Conflicts: 800000 | #Constraints: 26307
287.88/288.79 c #Conflicts: 801000 | #Constraints: 27307
287.88/288.79 c #Conflicts: 802000 | #Constraints: 28307
287.88/288.79 c #Conflicts: 803000 | #Constraints: 29307
287.88/288.79 c #Conflicts: 804000 | #Constraints: 30307
287.88/288.79 c #Conflicts: 805000 | #Constraints: 31307
287.88/288.79 c #Conflicts: 806000 | #Constraints: 32307
287.88/288.79 c #Conflicts: 807000 | #Constraints: 33307
287.88/288.79 c #Conflicts: 808000 | #Constraints: 34307
287.88/288.79 c #Conflicts: 809000 | #Constraints: 35307
287.88/288.79 c #Conflicts: 810000 | #Constraints: 36307
287.88/288.79 c INPROCESSING
312.51/313.48 c GARBAGE COLLECT
312.51/313.48 c #Conflicts: 811000 | #Constraints: 19503
312.51/313.48 c #Conflicts: 812000 | #Constraints: 20503
312.51/313.48 c #Conflicts: 813000 | #Constraints: 21503
312.51/313.48 c #Conflicts: 814000 | #Constraints: 22503
312.51/313.48 c #Conflicts: 815000 | #Constraints: 23503
312.51/313.48 c #Conflicts: 816000 | #Constraints: 24503
312.51/313.48 c #Conflicts: 817000 | #Constraints: 25503
312.51/313.48 c #Conflicts: 818000 | #Constraints: 26503
312.51/313.48 c #Conflicts: 819000 | #Constraints: 27503
312.51/313.48 c #Conflicts: 820000 | #Constraints: 28503
312.51/313.48 c #Conflicts: 821000 | #Constraints: 29503
312.51/313.48 c #Conflicts: 822000 | #Constraints: 30503
312.51/313.48 c #Conflicts: 823000 | #Constraints: 31503
312.51/313.48 c #Conflicts: 824000 | #Constraints: 32503
312.51/313.48 c #Conflicts: 825000 | #Constraints: 33503
312.51/313.48 c #Conflicts: 826000 | #Constraints: 34503
312.51/313.48 c #Conflicts: 827000 | #Constraints: 35503
312.51/313.48 c #Conflicts: 828000 | #Constraints: 36503
312.51/313.48 c INPROCESSING
312.51/313.48 c GARBAGE COLLECT
312.51/313.48 c #Conflicts: 829000 | #Constraints: 19503
312.51/313.48 c #Conflicts: 830000 | #Constraints: 20503
312.51/313.48 c #Conflicts: 831000 | #Constraints: 21503
312.51/313.48 c #Conflicts: 832000 | #Constraints: 22503
312.51/313.48 c #Conflicts: 833000 | #Constraints: 23503
312.51/313.48 c #Conflicts: 834000 | #Constraints: 24503
312.51/313.48 c #Conflicts: 835000 | #Constraints: 25503
312.51/313.48 c #Conflicts: 836000 | #Constraints: 26503
312.51/313.48 c #Conflicts: 837000 | #Constraints: 27503
312.51/313.48 c #Conflicts: 838000 | #Constraints: 28503
312.51/313.48 c #Conflicts: 839000 | #Constraints: 29503
312.51/313.48 c #Conflicts: 840000 | #Constraints: 30503
312.51/313.48 c #Conflicts: 841000 | #Constraints: 31503
312.51/313.48 c #Conflicts: 842000 | #Constraints: 32503
312.51/313.48 c #Conflicts: 843000 | #Constraints: 33503
312.51/313.48 c #Conflicts: 844000 | #Constraints: 34503
312.51/313.48 c #Conflicts: 845000 | #Constraints: 35503
312.51/313.48 c #Conflicts: 846000 | #Constraints: 36503
312.51/313.48 c INPROCESSING
312.51/313.48 c GARBAGE COLLECT
312.51/313.48 c #Conflicts: 847000 | #Constraints: 19308
312.51/313.48 c #Conflicts: 848000 | #Constraints: 20308
312.51/313.48 c #Conflicts: 849000 | #Constraints: 21308
312.51/313.48 c #Conflicts: 850000 | #Constraints: 22308
312.51/313.48 c #Conflicts: 851000 | #Constraints: 23308
312.51/313.48 c #Conflicts: 852000 | #Constraints: 24308
312.51/313.48 c #Conflicts: 853000 | #Constraints: 25308
312.51/313.48 c #Conflicts: 854000 | #Constraints: 26308
312.51/313.48 c #Conflicts: 855000 | #Constraints: 27308
312.51/313.48 c #Conflicts: 856000 | #Constraints: 28308
312.51/313.48 c #Conflicts: 857000 | #Constraints: 29308
312.51/313.48 c #Conflicts: 858000 | #Constraints: 30308
312.51/313.48 c #Conflicts: 859000 | #Constraints: 31308
312.51/313.48 c #Conflicts: 860000 | #Constraints: 32308
312.51/313.48 c #Conflicts: 861000 | #Constraints: 33308
312.51/313.48 c #Conflicts: 862000 | #Constraints: 34308
312.51/313.48 c #Conflicts: 863000 | #Constraints: 35308
312.51/313.48 c #Conflicts: 864000 | #Constraints: 36308
312.51/313.48 c #Conflicts: 865000 | #Constraints: 37308
312.51/313.48 c INPROCESSING
312.51/313.48 c GARBAGE COLLECT
312.51/313.48 c #Conflicts: 866000 | #Constraints: 19902
312.51/313.48 c #Conflicts: 867000 | #Constraints: 20902
312.51/313.48 c #Conflicts: 868000 | #Constraints: 21902
312.51/313.48 c #Conflicts: 869000 | #Constraints: 22902
312.51/313.48 c #Conflicts: 870000 | #Constraints: 23902
312.51/313.48 c #Conflicts: 871000 | #Constraints: 24902
312.51/313.48 c #Conflicts: 872000 | #Constraints: 25902
312.51/313.48 c #Conflicts: 873000 | #Constraints: 26902
312.51/313.48 c #Conflicts: 874000 | #Constraints: 27902
312.51/313.48 c #Conflicts: 875000 | #Constraints: 28902
312.51/313.48 c #Conflicts: 876000 | #Constraints: 29902
312.51/313.48 c #Conflicts: 877000 | #Constraints: 30902
312.51/313.48 c #Conflicts: 878000 | #Constraints: 31902
312.51/313.48 c #Conflicts: 879000 | #Constraints: 32902
312.51/313.48 c #Conflicts: 880000 | #Constraints: 33902
312.51/313.48 c #Conflicts: 881000 | #Constraints: 34902
312.51/313.48 c #Conflicts: 882000 | #Constraints: 35902
312.51/313.48 c #Conflicts: 883000 | #Constraints: 36902
312.51/313.48 c #Conflicts: 884000 | #Constraints: 37902
312.51/313.48 c INPROCESSING
312.51/313.48 c GARBAGE COLLECT
312.51/313.48 c GLOBAL bounds -20 >= -22 @ 308.971
312.51/313.48 c GLOBAL bounds -20 >= -22 @ 308.971
339.14/340.16 c #Conflicts: 885000 | #Constraints: 20304
339.14/340.16 c #Conflicts: 886000 | #Constraints: 21304
339.14/340.16 c #Conflicts: 887000 | #Constraints: 22304
339.14/340.16 c #Conflicts: 888000 | #Constraints: 23304
339.14/340.16 c #Conflicts: 889000 | #Constraints: 24304
339.14/340.16 c #Conflicts: 890000 | #Constraints: 25304
339.14/340.16 c #Conflicts: 891000 | #Constraints: 26304
339.14/340.16 c #Conflicts: 892000 | #Constraints: 27304
339.14/340.16 c #Conflicts: 893000 | #Constraints: 28304
339.14/340.16 c #Conflicts: 894000 | #Constraints: 29304
339.14/340.16 c #Conflicts: 895000 | #Constraints: 30304
339.14/340.16 c #Conflicts: 896000 | #Constraints: 31304
339.14/340.16 c #Conflicts: 897000 | #Constraints: 32304
339.14/340.16 c #Conflicts: 898000 | #Constraints: 33304
339.14/340.16 c #Conflicts: 899000 | #Constraints: 34304
339.14/340.16 c #Conflicts: 900000 | #Constraints: 35304
339.14/340.16 c #Conflicts: 901000 | #Constraints: 36304
339.14/340.16 c #Conflicts: 902000 | #Constraints: 37304
339.14/340.16 c #Conflicts: 903000 | #Constraints: 38304
339.14/340.16 c INPROCESSING
339.14/340.16 c GARBAGE COLLECT
339.14/340.16 c #Conflicts: 904000 | #Constraints: 20503
339.14/340.16 c #Conflicts: 905000 | #Constraints: 21503
339.14/340.16 c #Conflicts: 906000 | #Constraints: 22503
339.14/340.16 c #Conflicts: 907000 | #Constraints: 23503
339.14/340.16 c #Conflicts: 908000 | #Constraints: 24503
339.14/340.16 c #Conflicts: 909000 | #Constraints: 25503
339.14/340.16 c #Conflicts: 910000 | #Constraints: 26503
339.14/340.16 c #Conflicts: 911000 | #Constraints: 27503
339.14/340.16 c #Conflicts: 912000 | #Constraints: 28503
339.14/340.16 c #Conflicts: 913000 | #Constraints: 29503
339.14/340.16 c #Conflicts: 914000 | #Constraints: 30503
339.14/340.16 c #Conflicts: 915000 | #Constraints: 31503
339.14/340.16 c #Conflicts: 916000 | #Constraints: 32503
339.14/340.16 c #Conflicts: 917000 | #Constraints: 33503
339.14/340.16 c #Conflicts: 918000 | #Constraints: 34503
339.14/340.16 c #Conflicts: 919000 | #Constraints: 35503
339.14/340.16 c #Conflicts: 920000 | #Constraints: 36503
339.14/340.16 c #Conflicts: 921000 | #Constraints: 37503
339.14/340.16 c #Conflicts: 922000 | #Constraints: 38503
339.14/340.16 c INPROCESSING
339.14/340.16 c GARBAGE COLLECT
339.14/340.16 c #Conflicts: 923000 | #Constraints: 20502
339.14/340.16 c #Conflicts: 924000 | #Constraints: 21502
339.14/340.16 c #Conflicts: 925000 | #Constraints: 22502
339.14/340.16 c #Conflicts: 926000 | #Constraints: 23502
339.14/340.16 c #Conflicts: 927000 | #Constraints: 24502
339.14/340.16 c #Conflicts: 928000 | #Constraints: 25502
339.14/340.16 c #Conflicts: 929000 | #Constraints: 26502
339.14/340.16 c #Conflicts: 930000 | #Constraints: 27502
339.14/340.16 c #Conflicts: 931000 | #Constraints: 28502
339.14/340.16 c #Conflicts: 932000 | #Constraints: 29502
339.14/340.16 c #Conflicts: 933000 | #Constraints: 30502
339.14/340.16 c #Conflicts: 934000 | #Constraints: 31502
339.14/340.16 c #Conflicts: 935000 | #Constraints: 32502
339.14/340.16 c #Conflicts: 936000 | #Constraints: 33502
339.14/340.16 c #Conflicts: 937000 | #Constraints: 34502
339.14/340.16 c #Conflicts: 938000 | #Constraints: 35502
339.14/340.16 c #Conflicts: 939000 | #Constraints: 36502
339.14/340.16 c #Conflicts: 940000 | #Constraints: 37502
339.14/340.16 c #Conflicts: 941000 | #Constraints: 38502
339.14/340.16 c INPROCESSING
339.14/340.16 c GARBAGE COLLECT
339.14/340.16 c #Conflicts: 942000 | #Constraints: 20303
339.14/340.16 c #Conflicts: 943000 | #Constraints: 21303
339.14/340.16 c #Conflicts: 944000 | #Constraints: 22303
339.14/340.16 c #Conflicts: 945000 | #Constraints: 23303
339.14/340.16 c #Conflicts: 946000 | #Constraints: 24303
339.14/340.16 c #Conflicts: 947000 | #Constraints: 25303
339.14/340.16 c #Conflicts: 948000 | #Constraints: 26303
339.14/340.16 c #Conflicts: 949000 | #Constraints: 27303
339.14/340.16 c #Conflicts: 950000 | #Constraints: 28303
339.14/340.16 c #Conflicts: 951000 | #Constraints: 29303
339.14/340.16 c #Conflicts: 952000 | #Constraints: 30303
339.14/340.16 c #Conflicts: 953000 | #Constraints: 31303
339.14/340.16 c #Conflicts: 954000 | #Constraints: 32303
339.14/340.16 c #Conflicts: 955000 | #Constraints: 33303
339.14/340.16 c #Conflicts: 956000 | #Constraints: 34303
339.14/340.16 c #Conflicts: 957000 | #Constraints: 35303
339.14/340.16 c #Conflicts: 958000 | #Constraints: 36303
339.14/340.16 c #Conflicts: 959000 | #Constraints: 37303
339.14/340.16 c #Conflicts: 960000 | #Constraints: 38303
339.14/340.16 c #Conflicts: 961000 | #Constraints: 39303
366.45/367.55 c INPROCESSING
366.45/367.55 c GARBAGE COLLECT
366.45/367.55 c #Conflicts: 962000 | #Constraints: 20906
366.45/367.55 c #Conflicts: 963000 | #Constraints: 21906
366.45/367.55 c #Conflicts: 964000 | #Constraints: 22906
366.45/367.55 c #Conflicts: 965000 | #Constraints: 23906
366.45/367.55 c #Conflicts: 966000 | #Constraints: 24906
366.45/367.55 c #Conflicts: 967000 | #Constraints: 25906
366.45/367.55 c #Conflicts: 968000 | #Constraints: 26906
366.45/367.55 c #Conflicts: 969000 | #Constraints: 27906
366.45/367.55 c #Conflicts: 970000 | #Constraints: 28906
366.45/367.55 c #Conflicts: 971000 | #Constraints: 29906
366.45/367.55 c #Conflicts: 972000 | #Constraints: 30906
366.45/367.55 c #Conflicts: 973000 | #Constraints: 31906
366.45/367.55 c #Conflicts: 974000 | #Constraints: 32906
366.45/367.55 c #Conflicts: 975000 | #Constraints: 33906
366.45/367.55 c #Conflicts: 976000 | #Constraints: 34906
366.45/367.55 c #Conflicts: 977000 | #Constraints: 35906
366.45/367.55 c #Conflicts: 978000 | #Constraints: 36906
366.45/367.55 c #Conflicts: 979000 | #Constraints: 37906
366.45/367.55 c #Conflicts: 980000 | #Constraints: 38906
366.45/367.55 c #Conflicts: 981000 | #Constraints: 39906
366.45/367.55 c INPROCESSING
366.45/367.55 c GARBAGE COLLECT
366.45/367.55 c #Conflicts: 982000 | #Constraints: 21308
366.45/367.55 c #Conflicts: 983000 | #Constraints: 22308
366.45/367.55 c #Conflicts: 984000 | #Constraints: 23308
366.45/367.55 c #Conflicts: 985000 | #Constraints: 24308
366.45/367.55 c #Conflicts: 986000 | #Constraints: 25308
366.45/367.55 c #Conflicts: 987000 | #Constraints: 26308
366.45/367.55 c #Conflicts: 988000 | #Constraints: 27308
366.45/367.55 c #Conflicts: 989000 | #Constraints: 28308
366.45/367.55 c #Conflicts: 990000 | #Constraints: 29308
366.45/367.55 c #Conflicts: 991000 | #Constraints: 30308
366.45/367.55 c #Conflicts: 992000 | #Constraints: 31308
366.45/367.55 c #Conflicts: 993000 | #Constraints: 32308
366.45/367.55 c #Conflicts: 994000 | #Constraints: 33308
366.45/367.55 c #Conflicts: 995000 | #Constraints: 34308
366.45/367.55 c #Conflicts: 996000 | #Constraints: 35308
366.45/367.55 c #Conflicts: 997000 | #Constraints: 36308
366.45/367.55 c #Conflicts: 998000 | #Constraints: 37308
366.45/367.55 c #Conflicts: 999000 | #Constraints: 38308
366.45/367.55 c #Conflicts: 1000000 | #Constraints: 39308
366.45/367.55 c #Conflicts: 1001000 | #Constraints: 40308
366.45/367.55 c INPROCESSING
366.45/367.55 c GARBAGE COLLECT
366.45/367.55 c #Conflicts: 1002000 | #Constraints: 21502
366.45/367.55 c #Conflicts: 1003000 | #Constraints: 22502
366.45/367.55 c #Conflicts: 1004000 | #Constraints: 23502
366.45/367.55 c #Conflicts: 1005000 | #Constraints: 24502
366.45/367.55 c #Conflicts: 1006000 | #Constraints: 25502
366.45/367.55 c #Conflicts: 1007000 | #Constraints: 26502
366.45/367.55 c #Conflicts: 1008000 | #Constraints: 27502
366.45/367.55 c #Conflicts: 1009000 | #Constraints: 28502
366.45/367.55 c #Conflicts: 1010000 | #Constraints: 29502
366.45/367.55 c #Conflicts: 1011000 | #Constraints: 30502
366.45/367.55 c #Conflicts: 1012000 | #Constraints: 31502
366.45/367.55 c #Conflicts: 1013000 | #Constraints: 32502
366.45/367.55 c #Conflicts: 1014000 | #Constraints: 33502
366.45/367.55 c #Conflicts: 1015000 | #Constraints: 34502
366.45/367.55 c #Conflicts: 1016000 | #Constraints: 35502
366.45/367.55 c #Conflicts: 1017000 | #Constraints: 36502
366.45/367.55 c #Conflicts: 1018000 | #Constraints: 37502
366.45/367.55 c #Conflicts: 1019000 | #Constraints: 38502
366.45/367.55 c #Conflicts: 1020000 | #Constraints: 39502
366.45/367.55 c #Conflicts: 1021000 | #Constraints: 40502
366.45/367.55 c INPROCESSING
366.45/367.55 c GARBAGE COLLECT
366.45/367.55 c #Conflicts: 1022000 | #Constraints: 21498
366.45/367.55 c #Conflicts: 1023000 | #Constraints: 22498
366.45/367.55 c #Conflicts: 1024000 | #Constraints: 23498
366.45/367.55 c #Conflicts: 1025000 | #Constraints: 24498
366.45/367.55 c #Conflicts: 1026000 | #Constraints: 25498
366.45/367.55 c #Conflicts: 1027000 | #Constraints: 26498
366.45/367.55 c #Conflicts: 1028000 | #Constraints: 27498
366.45/367.55 c #Conflicts: 1029000 | #Constraints: 28498
366.45/367.55 c #Conflicts: 1030000 | #Constraints: 29498
366.45/367.55 c #Conflicts: 1031000 | #Constraints: 30498
366.45/367.55 c #Conflicts: 1032000 | #Constraints: 31498
366.45/367.55 c #Conflicts: 1033000 | #Constraints: 32498
366.45/367.55 c #Conflicts: 1034000 | #Constraints: 33498
366.45/367.55 c #Conflicts: 1035000 | #Constraints: 34498
366.45/367.55 c #Conflicts: 1036000 | #Constraints: 35498
366.45/367.55 c #Conflicts: 1037000 | #Constraints: 36498
366.45/367.55 c #Conflicts: 1038000 | #Constraints: 37498
375.11/376.22 c #Conflicts: 1039000 | #Constraints: 38498
375.11/376.22 c #Conflicts: 1040000 | #Constraints: 39498
375.11/376.22 c #Conflicts: 1041000 | #Constraints: 40498
375.11/376.22 c INPROCESSING
375.11/376.22 c GARBAGE COLLECT
375.11/376.22 c #Conflicts: 1042000 | #Constraints: 21302
375.11/376.22 c #Conflicts: 1043000 | #Constraints: 22302
375.11/376.22 c #Conflicts: 1044000 | #Constraints: 23302
375.11/376.22 c #Conflicts: 1045000 | #Constraints: 24302
375.11/376.22 c #Conflicts: 1046000 | #Constraints: 25302
375.11/376.22 c #Conflicts: 1047000 | #Constraints: 26302
375.11/376.22 c #Conflicts: 1048000 | #Constraints: 27302
375.11/376.22 c #Conflicts: 1049000 | #Constraints: 28302
375.11/376.22 c #Conflicts: 1050000 | #Constraints: 29302
375.11/376.22 c #Conflicts: 1051000 | #Constraints: 30302
375.11/376.22 c #Conflicts: 1052000 | #Constraints: 31302
375.11/376.22 c #Conflicts: 1053000 | #Constraints: 32302
375.11/376.22 c #Conflicts: 1054000 | #Constraints: 33302
375.11/376.22 c #Conflicts: 1055000 | #Constraints: 34302
375.11/376.22 c #Conflicts: 1056000 | #Constraints: 35302
375.11/376.22 c #Conflicts: 1057000 | #Constraints: 36302
375.11/376.22 c #Conflicts: 1058000 | #Constraints: 37302
375.11/376.22 c #Conflicts: 1059000 | #Constraints: 38302
375.11/376.22 c #Conflicts: 1060000 | #Constraints: 39302
375.11/376.22 c #Conflicts: 1061000 | #Constraints: 40302
375.11/376.22 c GLOBAL bounds -20 >= -22 @ 370.794
375.11/376.22 c GLOBAL bounds -20 >= -22 @ 370.794
375.11/376.23 c GLOBAL bounds -20 >= -22 @ 370.798
375.11/376.23 c GLOBAL bounds -20 >= -22 @ 370.798
396.25/397.44 c #Conflicts: 1062000 | #Constraints: 41304
396.25/397.44 c INPROCESSING
396.25/397.44 c GARBAGE COLLECT
396.25/397.44 c #Conflicts: 1063000 | #Constraints: 21905
396.25/397.44 c #Conflicts: 1064000 | #Constraints: 22905
396.25/397.44 c #Conflicts: 1065000 | #Constraints: 23905
396.25/397.44 c #Conflicts: 1066000 | #Constraints: 24905
396.25/397.44 c #Conflicts: 1067000 | #Constraints: 25905
396.25/397.44 c #Conflicts: 1068000 | #Constraints: 26905
396.25/397.44 c #Conflicts: 1069000 | #Constraints: 27905
396.25/397.44 c #Conflicts: 1070000 | #Constraints: 28905
396.25/397.44 c #Conflicts: 1071000 | #Constraints: 29905
396.25/397.44 c #Conflicts: 1072000 | #Constraints: 30905
396.25/397.44 c #Conflicts: 1073000 | #Constraints: 31905
396.25/397.44 c #Conflicts: 1074000 | #Constraints: 32905
396.25/397.44 c #Conflicts: 1075000 | #Constraints: 33905
396.25/397.44 c #Conflicts: 1076000 | #Constraints: 34905
396.25/397.44 c #Conflicts: 1077000 | #Constraints: 35905
396.25/397.44 c #Conflicts: 1078000 | #Constraints: 36905
396.25/397.44 c #Conflicts: 1079000 | #Constraints: 37905
396.25/397.44 c #Conflicts: 1080000 | #Constraints: 38905
396.25/397.44 c #Conflicts: 1081000 | #Constraints: 39905
396.25/397.44 c #Conflicts: 1082000 | #Constraints: 40905
396.25/397.44 c #Conflicts: 1083000 | #Constraints: 41905
396.25/397.44 c INPROCESSING
396.25/397.44 c GARBAGE COLLECT
396.25/397.44 c #Conflicts: 1084000 | #Constraints: 22310
396.25/397.44 c #Conflicts: 1085000 | #Constraints: 23310
396.25/397.44 c #Conflicts: 1086000 | #Constraints: 24310
396.25/397.44 c #Conflicts: 1087000 | #Constraints: 25310
396.25/397.44 c #Conflicts: 1088000 | #Constraints: 26310
396.25/397.44 c #Conflicts: 1089000 | #Constraints: 27310
396.25/397.44 c #Conflicts: 1090000 | #Constraints: 28310
396.25/397.44 c #Conflicts: 1091000 | #Constraints: 29310
396.25/397.44 c #Conflicts: 1092000 | #Constraints: 30310
396.25/397.44 c #Conflicts: 1093000 | #Constraints: 31310
396.25/397.44 c #Conflicts: 1094000 | #Constraints: 32310
396.25/397.44 c #Conflicts: 1095000 | #Constraints: 33310
396.25/397.44 c #Conflicts: 1096000 | #Constraints: 34310
396.25/397.44 c #Conflicts: 1097000 | #Constraints: 35310
396.25/397.44 c #Conflicts: 1098000 | #Constraints: 36310
396.25/397.44 c #Conflicts: 1099000 | #Constraints: 37310
396.25/397.44 c #Conflicts: 1100000 | #Constraints: 38310
396.25/397.44 c #Conflicts: 1101000 | #Constraints: 39310
396.25/397.44 c #Conflicts: 1102000 | #Constraints: 40310
396.25/397.44 c #Conflicts: 1103000 | #Constraints: 41310
396.25/397.44 c #Conflicts: 1104000 | #Constraints: 42310
396.25/397.44 c INPROCESSING
396.25/397.44 c GARBAGE COLLECT
396.25/397.44 c #Conflicts: 1105000 | #Constraints: 22508
396.25/397.44 c #Conflicts: 1106000 | #Constraints: 23508
396.25/397.44 c #Conflicts: 1107000 | #Constraints: 24508
396.25/397.44 c #Conflicts: 1108000 | #Constraints: 25508
396.25/397.44 c #Conflicts: 1109000 | #Constraints: 26508
396.25/397.44 c #Conflicts: 1110000 | #Constraints: 27508
396.25/397.44 c #Conflicts: 1111000 | #Constraints: 28508
396.25/397.44 c #Conflicts: 1112000 | #Constraints: 29508
396.25/397.44 c #Conflicts: 1113000 | #Constraints: 30508
396.25/397.44 c #Conflicts: 1114000 | #Constraints: 31508
396.25/397.44 c #Conflicts: 1115000 | #Constraints: 32508
396.25/397.44 c #Conflicts: 1116000 | #Constraints: 33508
396.25/397.44 c #Conflicts: 1117000 | #Constraints: 34508
396.25/397.44 c #Conflicts: 1118000 | #Constraints: 35508
396.25/397.44 c GLOBAL bounds -20 >= -22 @ 391.706
396.25/397.44 c GLOBAL bounds -20 >= -22 @ 391.706
400.04/401.24 c #Conflicts: 1119000 | #Constraints: 36509
400.04/401.24 c #Conflicts: 1120000 | #Constraints: 37509
400.04/401.24 c #Conflicts: 1121000 | #Constraints: 38509
400.04/401.24 c #Conflicts: 1122000 | #Constraints: 39509
400.04/401.24 c #Conflicts: 1123000 | #Constraints: 40509
400.04/401.24 c #Conflicts: 1124000 | #Constraints: 41509
400.04/401.24 c #Conflicts: 1125000 | #Constraints: 42509
400.04/401.24 c INPROCESSING
400.04/401.24 c GARBAGE COLLECT
400.04/401.24 c #Conflicts: 1126000 | #Constraints: 17420
400.04/401.24 c #Conflicts: 1127000 | #Constraints: 18420
400.04/401.24 c GLOBAL bounds -20 >= -22 @ 395.456
400.04/401.30 c #Conflicts: 1128000 | #Constraints: 19420
400.04/401.30 c GLOBAL bounds -20 >= -21 @ 395.514
400.13/401.30 c GLOBAL bounds -20 >= -21 @ 395.517
400.13/401.30 c GLOBAL bounds -20 >= -21 @ 395.517
400.24/401.40 c GLOBAL bounds -20 >= -21 @ 395.614
400.24/401.40 c GLOBAL bounds -20 >= -21 @ 395.614
400.24/401.40 c GLOBAL bounds -20 >= -21 @ 395.617
400.24/401.40 c GLOBAL bounds -20 >= -21 @ 395.617
429.55/430.84 c #Conflicts: 1129000 | #Constraints: 20423
429.55/430.84 c #Conflicts: 1130000 | #Constraints: 21423
429.55/430.84 c #Conflicts: 1131000 | #Constraints: 22423
429.55/430.84 c #Conflicts: 1132000 | #Constraints: 23423
429.55/430.84 c #Conflicts: 1133000 | #Constraints: 24423
429.55/430.84 c #Conflicts: 1134000 | #Constraints: 25423
429.55/430.84 c #Conflicts: 1135000 | #Constraints: 26423
429.55/430.84 c #Conflicts: 1136000 | #Constraints: 27423
429.55/430.84 c #Conflicts: 1137000 | #Constraints: 28423
429.55/430.84 c #Conflicts: 1138000 | #Constraints: 29423
429.55/430.84 c #Conflicts: 1139000 | #Constraints: 30423
429.55/430.84 c #Conflicts: 1140000 | #Constraints: 31423
429.55/430.84 c #Conflicts: 1141000 | #Constraints: 32423
429.55/430.84 c #Conflicts: 1142000 | #Constraints: 33423
429.55/430.84 c #Conflicts: 1143000 | #Constraints: 34423
429.55/430.84 c #Conflicts: 1144000 | #Constraints: 35423
429.55/430.84 c #Conflicts: 1145000 | #Constraints: 36423
429.55/430.84 c #Conflicts: 1146000 | #Constraints: 37423
429.55/430.84 c INPROCESSING
429.55/430.84 c GARBAGE COLLECT
429.55/430.84 c #Conflicts: 1147000 | #Constraints: 19062
429.55/430.84 c #Conflicts: 1148000 | #Constraints: 20062
429.55/430.84 c #Conflicts: 1149000 | #Constraints: 21062
429.55/430.84 c #Conflicts: 1150000 | #Constraints: 22062
429.55/430.84 c #Conflicts: 1151000 | #Constraints: 23062
429.55/430.84 c #Conflicts: 1152000 | #Constraints: 24062
429.55/430.84 c #Conflicts: 1153000 | #Constraints: 25062
429.55/430.84 c #Conflicts: 1154000 | #Constraints: 26062
429.55/430.84 c #Conflicts: 1155000 | #Constraints: 27062
429.55/430.84 c #Conflicts: 1156000 | #Constraints: 28062
429.55/430.84 c #Conflicts: 1157000 | #Constraints: 29062
429.55/430.84 c #Conflicts: 1158000 | #Constraints: 30062
429.55/430.84 c #Conflicts: 1159000 | #Constraints: 31062
429.55/430.84 c #Conflicts: 1160000 | #Constraints: 32062
429.55/430.84 c #Conflicts: 1161000 | #Constraints: 33062
429.55/430.84 c #Conflicts: 1162000 | #Constraints: 34062
429.55/430.84 c #Conflicts: 1163000 | #Constraints: 35062
429.55/430.84 c #Conflicts: 1164000 | #Constraints: 36062
429.55/430.84 c #Conflicts: 1165000 | #Constraints: 37062
429.55/430.84 c #Conflicts: 1166000 | #Constraints: 38062
429.55/430.84 c #Conflicts: 1167000 | #Constraints: 39062
429.55/430.84 c #Conflicts: 1168000 | #Constraints: 40062
429.55/430.84 c INPROCESSING
429.55/430.84 c GARBAGE COLLECT
429.55/430.84 c #Conflicts: 1169000 | #Constraints: 19299
429.55/430.84 c #Conflicts: 1170000 | #Constraints: 20299
429.55/430.84 c #Conflicts: 1171000 | #Constraints: 21299
429.55/430.84 c #Conflicts: 1172000 | #Constraints: 22299
429.55/430.84 c #Conflicts: 1173000 | #Constraints: 23299
429.55/430.84 c #Conflicts: 1174000 | #Constraints: 24299
429.55/430.84 c #Conflicts: 1175000 | #Constraints: 25299
429.55/430.84 c #Conflicts: 1176000 | #Constraints: 26299
429.55/430.84 c #Conflicts: 1177000 | #Constraints: 27299
429.55/430.84 c #Conflicts: 1178000 | #Constraints: 28299
429.55/430.84 c #Conflicts: 1179000 | #Constraints: 29299
429.55/430.84 c #Conflicts: 1180000 | #Constraints: 30299
429.55/430.84 c #Conflicts: 1181000 | #Constraints: 31299
429.55/430.84 c #Conflicts: 1182000 | #Constraints: 32299
429.55/430.84 c #Conflicts: 1183000 | #Constraints: 33299
429.55/430.84 c #Conflicts: 1184000 | #Constraints: 34299
429.55/430.84 c #Conflicts: 1185000 | #Constraints: 35299
429.55/430.84 c #Conflicts: 1186000 | #Constraints: 36299
429.55/430.84 c #Conflicts: 1187000 | #Constraints: 37299
429.55/430.84 c #Conflicts: 1188000 | #Constraints: 38299
429.55/430.84 c #Conflicts: 1189000 | #Constraints: 39299
429.55/430.84 c #Conflicts: 1190000 | #Constraints: 40299
429.55/430.84 c INPROCESSING
429.55/430.84 c GARBAGE COLLECT
429.55/430.84 c #Conflicts: 1191000 | #Constraints: 21500
429.55/430.84 c #Conflicts: 1192000 | #Constraints: 22500
429.55/430.84 c #Conflicts: 1193000 | #Constraints: 23500
429.55/430.84 c #Conflicts: 1194000 | #Constraints: 24500
429.55/430.84 c #Conflicts: 1195000 | #Constraints: 25500
429.55/430.84 c #Conflicts: 1196000 | #Constraints: 26500
429.55/430.84 c #Conflicts: 1197000 | #Constraints: 27500
429.55/430.84 c #Conflicts: 1198000 | #Constraints: 28500
429.55/430.84 c #Conflicts: 1199000 | #Constraints: 29500
429.55/430.84 c #Conflicts: 1200000 | #Constraints: 30500
429.55/430.84 c #Conflicts: 1201000 | #Constraints: 31500
429.55/430.84 c #Conflicts: 1202000 | #Constraints: 32500
429.55/430.84 c #Conflicts: 1203000 | #Constraints: 33500
429.55/430.84 c #Conflicts: 1204000 | #Constraints: 34500
429.55/430.84 c #Conflicts: 1205000 | #Constraints: 35500
430.44/431.75 c #Conflicts: 1206000 | #Constraints: 36500
430.44/431.75 c GLOBAL bounds -20 >= -20 @ 425.57
430.44/431.75 c cpu time 425.57 s
430.44/431.75 c deterministic time 1955666 1.96e+06
430.44/431.75 c optimization time 425.49 s
430.44/431.75 c total solve time 0.075296 s
430.44/431.75 c core-guided solve time 0 s
430.44/431.75 c propagation time 0.031345 s
430.44/431.75 c conflict analysis time 0.011757 s
430.44/431.75 c propagations 80444
430.44/431.75 c resolve steps 0
430.44/431.75 c decisions 36169
430.44/431.75 c conflicts 0
430.44/431.75 c restarts 1
430.44/431.75 c inprocessing phases 0
430.44/431.75 c garbage collections 0 ,( -nan )
430.44/431.75 c input clauses 1042 ,( 72.46 )
430.44/431.75 c input cardinalities 25 ,( 1.74 )
430.44/431.75 c input general constraints 371 ,( 25.80 )
430.44/431.75 c input average constraint length 21.77
430.44/431.75 c input average constraint degree 21.99
430.44/431.75 c learned clauses 1 ,( 0.28 )
430.44/431.75 c learned cardinalities 19 ,( 5.23 )
430.44/431.75 c learned general constraints 343 ,( 94.49 )
430.44/431.75 c learned average constraint length 5.75
430.44/431.75 c learned average constraint degree 17747737.85
430.44/431.75 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
430.44/431.75 c counting CF 32, 64, 128, Arb: 715 , 0 , 0 , 0
430.44/431.75 c watched constraints 0 ,( 0.00 )
430.44/431.75 c counting constraints 714 ,( 100.00 )
430.44/431.75 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 16181 , 5793 , 637315 ,( 0 , 637315 )
430.44/431.75 c gcd simplifications 59
430.44/431.75 c detected cardinalities 3
430.44/431.75 c weakened non-implied lits 0
430.44/431.75 c weakened non-implying lits 0
430.44/431.75 c original variables 225
430.44/431.75 c clausal propagations 10322
430.44/431.75 c cardinality propagations 4657
430.44/431.75 c watched propagations 0
430.44/431.75 c counting propagations 32714
430.44/431.75 c watch lookups 1482977
430.44/431.75 c watch backjump lookups 0
430.44/431.75 c watch checks 10913
430.44/431.75 c propagation checks 223884
430.44/431.75 c constraint additions 4382
430.44/431.75 c trail pops 116613
430.44/431.75 c formula constraints 350
430.44/431.75 c learned constraints 358
430.44/431.75 c bound constraints 0
430.44/431.75 c core-guided constraints 0
430.44/431.75 c encountered formula constraints 0
430.44/431.75 c encountered learned constraints 0
430.44/431.75 c encountered bound constraints 0
430.44/431.75 c encountered core-guided constraints 0
430.44/431.75 c LP total time 0.025846 s
430.44/431.75 c LP solve time 0.01 s
430.44/431.75 c LP constraints added 355
430.44/431.75 c LP constraints removed 0
430.44/431.75 c LP pivots internal 13
430.44/431.75 c LP pivots root 270
430.44/431.75 c LP calls 2
430.44/431.75 c LP optimalities 2
430.44/431.75 c LP no pivot count 0
430.44/431.75 c LP infeasibilities 0
430.44/431.75 c LP valid Farkas constraints 0
430.44/431.75 c LP learned Farkas constraints 0
430.44/431.75 c LP basis resets 0
430.44/431.75 c LP cycling count 0
430.44/431.75 c LP singular count 0
430.44/431.75 c LP no primal count 0
430.44/431.75 c LP no farkas count 0
430.44/431.75 c LP other issue count 0
430.44/431.75 c LP Gomory cuts 5
430.44/431.75 c LP learned cuts 0
430.44/431.75 c LP deleted cuts 0
430.44/431.75 c LP encountered Gomory constraints 0
430.44/431.75 c LP encountered Farkas constraints 0
430.44/431.75 c LP encountered learned Farkas constraints 0
430.44/431.75 c CG auxiliary variables introduced 76
430.44/431.75 c CG solutions found 2
430.44/431.75 c CG cores constructed 569
430.44/431.75 c CG core cardinality constraints returned 0
430.44/431.75 c CG unit cores 0
430.44/431.75 c CG single cores 0
430.44/431.75 c CG blocks removed during cardinality reduction 0
430.44/431.75 c CG first core best 0
430.44/431.75 c CG decision core best 0
430.44/431.75 c CG core reduction tie 0
430.44/431.75 c CG core degree average 0.00
430.44/431.75 c CG core slack average 0.00
430.44/431.75 c CG core upper bound improvements 0
430.44/431.75 c STR number of successful calls 0
430.44/431.75 c STR number of unsuccessful calls 0
430.44/431.75 c STR number of inconclusive calls 0
430.44/431.75 c STR number of successful attempts 0
430.44/431.75 c STR number of unsuccessful attempts 0
430.44/431.75 c STR number of inconclusive attempts 0
430.44/431.75 c STR average degree increase per successful call inf
430.44/431.75 c STR average degree increase per successful attempt inf
430.44/431.75 c STR total number of conflicts for successful attempts 0
430.44/431.75 c STR total number of conflicts for unsuccessful attempts 0
430.44/431.75 c STR total number of conflicts for inconclusive attempts 0
430.44/431.75 c STR average number of conflicts per successful attempt inf
430.44/431.75 c STR average number of conflicts per unsuccessful attempt inf
430.44/431.75 c STR average number of conflicts per inconclusive attempt inf
430.44/431.75 c AVG.sumWPerc 89.56
430.44/431.75 c bigint constraints 0
430.44/431.75 o -20
430.44/431.75 s OPTIMUM FOUND
430.44/431.76 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: 63837 MiB (45555 MiB free)
memory of node 1: 64465 MiB (63800 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509011-1751518395/watcher-4509011-1751518395 -o /tmp/evaluation-result-4509011-1751518395/solver-4509011-1751518395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82246 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509011-1751518395.opb PROOFDIR/proof-4509011-1751518395
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=83004, runsolver pid=83000
[startup+0.100064 s]*
/proc/loadavg: 5.07 4.45 4.21 5/259 83011
/proc/meminfo: memFree=111959152/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=61396 memory=11648 CPUtime=0.08 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 822 0 0 0 5 3 0 0 20 0 1 0 67518662 62869504 2912 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 15349 2912 2368 1147 0 2776 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 65588 KiB
Current children cumulated memory: 14720 KiB
[startup+0.214471 s]*
/proc/loadavg: 5.07 4.45 4.21 5/259 83011
/proc/meminfo: memFree=111957136/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=62332 memory=12928 CPUtime=0.19 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 1131 0 0 0 11 8 0 0 20 0 1 0 67518662 63827968 3232 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 15583 3232 2368 1147 0 3010 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 66524 KiB
Current children cumulated memory: 16000 KiB
[startup+0.313512 s]*
/proc/loadavg: 5.07 4.45 4.21 5/259 83011
/proc/meminfo: memFree=111948820/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=63552 memory=16172 CPUtime=0.29 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 1440 0 0 0 19 10 0 0 20 0 1 0 67518662 65077248 4043 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 15888 4043 2368 1147 0 3315 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 67744 KiB
Current children cumulated memory: 19244 KiB
[startup+0.700337 s]
/proc/loadavg: 5.07 4.45 4.21 6/259 83011
/proc/meminfo: memFree=111940692/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=66108 memory=18732 CPUtime=0.66 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 2067 0 0 0 52 14 0 0 20 0 1 0 67518662 67694592 4683 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 16527 4683 2368 1147 0 3954 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 70300 KiB
Current children cumulated memory: 21804 KiB
[startup+1.50041 s]
/proc/loadavg: 5.07 4.45 4.21 5/259 83011
/proc/meminfo: memFree=111908688/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=69704 memory=21420 CPUtime=1.46 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 2747 0 0 0 129 17 0 0 20 0 1 0 67518662 71376896 5355 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 17426 5355 2368 1147 0 4853 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 73896 KiB
Current children cumulated memory: 24492 KiB
[startup+3.1134 s]
/proc/loadavg: 5.07 4.45 4.21 4/253 83037
/proc/meminfo: memFree=111985668/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=70568 memory=24772 CPUtime=3.06 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 3087 0 0 0 285 21 0 0 20 0 1 0 67518662 72261632 6193 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 17642 6193 2368 1147 0 5069 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 74760 KiB
Current children cumulated memory: 27844 KiB
[startup+6.30032 s]
/proc/loadavg: 4.98 4.44 4.21 4/254 83039
/proc/meminfo: memFree=111955072/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=72908 memory=27588 CPUtime=6.24 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 3803 0 0 0 597 27 0 0 20 0 1 0 67518662 74657792 6897 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 18227 6897 2368 1147 0 5654 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 77100 KiB
Current children cumulated memory: 30660 KiB
[startup+12.7003 s]
/proc/loadavg: 4.90 4.44 4.21 5/260 83059
/proc/meminfo: memFree=117531856/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=76752 memory=30916 CPUtime=12.62 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 4644 0 0 0 1224 38 0 0 20 0 1 0 67518662 78594048 7729 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 19188 7729 2368 1147 0 6615 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 80944 KiB
Current children cumulated memory: 33988 KiB
[startup+25.5004 s]
/proc/loadavg: 4.70 4.41 4.21 5/260 83059
/proc/meminfo: memFree=117417512/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=82976 memory=36420 CPUtime=25.39 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 6006 0 0 0 2482 57 0 0 20 0 1 0 67518662 84967424 9105 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 20744 9105 2368 1147 0 8171 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 87168 KiB
Current children cumulated memory: 39492 KiB
[startup+51.1135 s]
/proc/loadavg: 4.58 4.41 4.21 5/260 83059
/proc/meminfo: memFree=117263920/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=90732 memory=41668 CPUtime=50.94 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 7364 0 0 0 5002 92 0 0 20 0 1 0 67518662 92909568 10417 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 22683 10417 2368 1147 0 10110 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 94924 KiB
Current children cumulated memory: 44740 KiB
[startup+102.3 s]
/proc/loadavg: 4.30 4.36 4.20 5/259 83063
/proc/meminfo: memFree=116892776/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=104272 memory=53692 CPUtime=101.98 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 10094 0 0 0 10050 148 0 0 20 0 1 0 67518662 106774528 13423 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 26068 13423 2368 1147 0 13495 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 108464 KiB
Current children cumulated memory: 56764 KiB
[startup+162.3 s]
/proc/loadavg: 4.67 4.44 4.24 5/259 83065
/proc/meminfo: memFree=116397880/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=117908 memory=61640 CPUtime=161.84 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 12395 0 0 0 15969 215 0 0 20 0 1 0 67518662 120737792 15410 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 29477 15410 2368 1147 0 16904 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 122100 KiB
Current children cumulated memory: 64712 KiB
[startup+222.3 s]
/proc/loadavg: 4.49 4.45 4.26 5/259 83067
/proc/meminfo: memFree=115476004/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=118468 memory=62564 CPUtime=221.68 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 12943 0 0 0 21896 272 0 0 20 0 1 0 67518662 121311232 15641 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 29617 15641 2368 1147 0 17044 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 122660 KiB
Current children cumulated memory: 65636 KiB
[startup+282.3 s]
/proc/loadavg: 4.22 4.38 4.24 5/259 83069
/proc/meminfo: memFree=115149632/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=120732 memory=67536 CPUtime=281.51 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 13927 0 0 0 27825 326 0 0 20 0 1 0 67518662 123629568 16884 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 30183 16884 2368 1147 0 17610 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 124924 KiB
Current children cumulated memory: 70608 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.32 4.23 5/258 83071
/proc/meminfo: memFree=114801196/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=121948 memory=71296 CPUtime=341.32 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 14670 0 0 0 33736 396 0 0 20 0 1 0 67518662 124874752 17824 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 30487 17824 2368 1147 0 17914 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 126140 KiB
Current children cumulated memory: 74368 KiB
[startup+402.3 s]
/proc/loadavg: 4.09 4.27 4.22 5/258 83078
/proc/meminfo: memFree=114394052/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124460 memory=73576 CPUtime=401.14 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16274 0 0 0 39649 465 0 0 20 0 1 0 67518662 127447040 18394 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31115 18394 2368 1147 0 18542 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 128652 KiB
Current children cumulated memory: 76648 KiB
[startup+431.764 s]
# the end of solver process 83004 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=425.579 s, system=4.9375 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+409.6 s]
/proc/loadavg: 4.08 4.27 4.22 5/258 83078
/proc/meminfo: memFree=114311156/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124996 memory=73960 CPUtime=408.41 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16371 0 0 0 40369 472 0 0 20 0 1 0 67518662 127995904 18490 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31249 18490 2368 1147 0 18676 0
Current children cumulated CPU time: 408.41 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 77032 KiB
[startup+422.4 s]
/proc/loadavg: 4.14 4.27 4.22 5/258 83078
/proc/meminfo: memFree=114232608/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124996 memory=73960 CPUtime=421.17 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16377 0 0 0 41632 485 0 0 20 0 1 0 67518662 127995904 18490 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31249 18490 2368 1147 0 18676 0
Current children cumulated CPU time: 421.17 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 77032 KiB
[startup+425.6 s]
/proc/loadavg: 4.13 4.27 4.22 5/258 83078
/proc/meminfo: memFree=114200352/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124996 memory=73960 CPUtime=424.36 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16390 0 0 0 41948 488 0 0 20 0 1 0 67518662 127995904 18490 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31249 18490 2368 1147 0 18676 0
Current children cumulated CPU time: 424.36 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 77032 KiB
[startup+428.8 s]
/proc/loadavg: 4.13 4.27 4.22 5/258 83078
/proc/meminfo: memFree=114192764/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124996 memory=73960 CPUtime=427.55 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16390 0 0 0 42264 491 0 0 20 0 1 0 67518662 127995904 18490 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31249 18490 2368 1147 0 18676 0
Current children cumulated CPU time: 427.55 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 77032 KiB
[startup+430.4 s]
/proc/loadavg: 4.12 4.26 4.22 5/258 83078
/proc/meminfo: memFree=114160768/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124996 memory=73960 CPUtime=429.14 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16390 0 0 0 42423 491 0 0 20 0 1 0 67518662 127995904 18490 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31249 18490 2368 1147 0 18676 0
Current children cumulated CPU time: 429.14 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 77032 KiB
[startup+431.2 s]
/proc/loadavg: 4.12 4.26 4.22 5/258 83078
/proc/meminfo: memFree=114152704/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124996 memory=73960 CPUtime=429.94 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16390 0 0 0 42502 492 0 0 20 0 1 0 67518662 127995904 18490 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31249 18490 2368 1147 0 18676 0
Current children cumulated CPU time: 429.94 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 77032 KiB
[startup+431.6 s]
/proc/loadavg: 4.12 4.26 4.22 5/258 83078
/proc/meminfo: memFree=114152704/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124996 memory=73960 CPUtime=430.34 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16390 0 0 0 42542 492 0 0 20 0 1 0 67518662 127995904 18490 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31249 18490 2368 1147 0 18676 0
Current children cumulated CPU time: 430.34 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 77032 KiB
[startup+431.7 s]
/proc/loadavg: 4.12 4.26 4.22 5/258 83078
/proc/meminfo: memFree=114152704/131382112 swapFree=33005784/33010684
[pid=83004] ppid=83000 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/83004/stat : 83004 (run-opt-log.sh) S 83000 83004 82234 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 67518660 4292608 768 18446744073709551615 93859828715520 93859829610053 140729627785648 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93859829849104 93859829896848 93859862388736 140729627793697 140729627793892 140729627793892 140729627799494 0
/proc/83004/statm: 1048 768 704 219 0 110 0
[pid=83010] ppid=83004 vsize=124996 memory=73960 CPUtime=430.44 cores=1,3
/proc/83010/stat : 83010 (roundingsat) R 83004 83004 82234 0 -1 4194304 16390 0 0 0 42552 492 0 0 20 0 1 0 67518662 127995904 18490 18446744073709551615 4227072 8923433 140727106072496 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 39890944 140727106074962 140727106075176 140727106075176 140727106080746 0
/proc/83010/statm: 31249 18490 2368 1147 0 18676 0
Current children cumulated CPU time: 430.44 s
Current children cumulated vsize: 129188 KiB
Current children cumulated memory: 77032 KiB
Child status: 0
Real time (s): 431.764
CPU time (s): 430.516
CPU user time (s): 425.579
CPU system time (s): 4.9375
CPU usage (%): 99.711
Max. virtual memory (cumulated for all children) (KiB): 129188
Max. memory (cumulated for all children) (KiB): 77032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 425.579
system time used= 4.9375
maximum resident set size= 73960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1138720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 283
involuntary context switches= 703
# summary of solver processes directly reported to runsolver:
# pid: 83004
# total CPU time (s): 430.516
# total CPU user time (s): 425.579
# total CPU system time (s): 4.9375
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.47093 second user time and 4.3068 second system time
The end
Begin job on nodeC007 at 2025-07-03 06:53:15
IDJOB=4509011
IDBENCH=158553
IDSOLVER=3351
FILE ID=nodeC007/4509011-1751518395
RUNJOBID= nodeC007-1751514781-82246
SLURM_JOB_ID= 9598624
Free space on /tmp= 431012 MiB
SOLVER NAME= roundingsat-ihs-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4509011-1751518395/watcher-4509011-1751518395 -o /tmp/evaluation-result-4509011-1751518395/solver-4509011-1751518395 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751514781-82246 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4509011-1751518395.opb PROOFDIR/proof-4509011-1751518395
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 4718f12bebdf91368a48e005d35af6ac
RANDOM SEED=362668600
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.446
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.356
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.346
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.206
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.415
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.585
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1198.004
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.200
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 111981892 kB
MemAvailable: 122784012 kB
Buffers: 16 kB
Cached: 11471672 kB
SwapCached: 252 kB
Active: 7290028 kB
Inactive: 11246272 kB
Active(anon): 7030260 kB
Inactive(anon): 47904 kB
Active(file): 259768 kB
Inactive(file): 11198368 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005784 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 132444 kB
Writeback: 4 kB
AnonPages: 7060648 kB
Mapped: 107520 kB
Shmem: 13504 kB
KReclaimable: 367224 kB
Slab: 460840 kB
SReclaimable: 367224 kB
SUnreclaim: 93616 kB
KernelStack: 4032 kB
PageTables: 18500 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 8830364 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 2263040 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: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 430996 MiB
End job on nodeC007 at 2025-07-03 07:00:27