0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.28/0.33 c #variables 9765 #constraints 21927
0.28/0.33 c objective is ce32
0.28/0.41 c initial watched CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
0.28/0.41 c initial counting CF 32, 64, 128, Arb: 6001 , 0 , 0 , 0
0.28/0.41 c GLOBAL bounds - >= -15 @ 0.303109
0.39/0.44 c GLOBAL bounds - >= -15 @ 0.319623
0.39/0.48 c GLOBAL bounds - >= -15 @ 0.339645
0.39/0.51 c GLOBAL bounds - >= -15 @ 0.362059
0.49/0.53 c GLOBAL bounds - >= -15 @ 0.376557
0.49/0.56 c GLOBAL bounds - >= -15 @ 0.393912
0.49/0.59 c GLOBAL bounds - >= -15 @ 0.414998
0.58/0.62 c GLOBAL bounds - >= -15 @ 0.43508
0.58/0.64 c GLOBAL bounds - >= -15 @ 0.451327
0.58/0.67 c GLOBAL bounds - >= -15 @ 0.468814
0.58/0.70 c GLOBAL bounds - >= -15 @ 0.487664
0.66/0.73 c GLOBAL bounds - >= -15 @ 0.512023
0.66/0.77 c GLOBAL bounds - >= -15 @ 0.538449
0.66/0.79 c GLOBAL bounds - >= -15 @ 0.550535
0.76/0.86 c GLOBAL bounds - >= -15 @ 0.610748
0.76/0.89 c GLOBAL bounds - >= 308139 @ 0.635384
0.98/1.02 c rational objective 1.89349e+06
1.26/1.30 c GLOBAL bounds - >= 308139 @ 1.03743
1.26/1.31 c GLOBAL bounds - >= 308139 @ 1.03782
1.26/1.31 c GLOBAL bounds - >= 308139 @ 1.04104
1.26/1.32 c GLOBAL bounds - >= 308139 @ 1.04739
1.26/1.32 c GLOBAL bounds - >= 308139 @ 1.04739
1.26/1.34 c GLOBAL bounds - >= 308139 @ 1.05037
1.26/1.34 c GLOBAL bounds - >= 308139 @ 1.05084
1.26/1.35 c GLOBAL bounds - >= 308139 @ 1.05638
1.26/1.35 c GLOBAL bounds - >= 308139 @ 1.05785
1.26/1.37 c GLOBAL bounds - >= 308139 @ 1.06632
1.26/1.37 c GLOBAL bounds - >= 308139 @ 1.06805
1.26/1.38 c GLOBAL bounds - >= 308139 @ 1.07892
1.26/1.39 c GLOBAL bounds - >= 308139 @ 1.07966
1.36/1.40 c GLOBAL bounds - >= 308139 @ 1.08506
1.36/1.40 c GLOBAL bounds - >= 308139 @ 1.08695
1.36/1.42 c GLOBAL bounds - >= 308139 @ 1.09559
1.36/1.42 c GLOBAL bounds - >= 308139 @ 1.09721
1.36/1.44 c GLOBAL bounds - >= 308139 @ 1.10575
1.36/1.44 c GLOBAL bounds - >= 308139 @ 1.10726
1.36/1.45 c GLOBAL bounds - >= 308139 @ 1.11544
1.36/1.46 c GLOBAL bounds - >= 308139 @ 1.11706
1.36/1.47 c GLOBAL bounds - >= 308139 @ 1.12708
1.36/1.49 c GLOBAL bounds - >= 308139 @ 1.13826
1.45/1.50 c GLOBAL bounds - >= 308139 @ 1.14763
1.45/1.52 c GLOBAL bounds - >= 308139 @ 1.15852
1.45/1.53 c GLOBAL bounds - >= 308139 @ 1.16578
1.45/1.55 c GLOBAL bounds - >= 308139 @ 1.17851
1.45/1.57 c GLOBAL bounds - >= 308139 @ 1.19202
1.45/1.58 c GLOBAL bounds - >= 308139 @ 1.20329
1.56/1.60 c GLOBAL bounds - >= 308139 @ 1.21966
1.56/1.62 c GLOBAL bounds - >= 308139 @ 1.23088
1.56/1.65 c GLOBAL bounds - >= 308139 @ 1.26098
1.56/1.69 c GLOBAL bounds - >= 308139 @ 1.29007
1.66/1.72 c GLOBAL bounds - >= 531371 @ 1.31792
1.66/1.72 c GLOBAL bounds - >= 531371 @ 1.31901
1.66/1.73 c GLOBAL bounds - >= 531371 @ 1.32195
1.66/1.73 c GLOBAL bounds - >= 531371 @ 1.32274
1.66/1.74 c GLOBAL bounds - >= 531371 @ 1.32679
1.66/1.74 c GLOBAL bounds - >= 531371 @ 1.32764
1.66/1.75 c GLOBAL bounds - >= 531371 @ 1.33392
1.66/1.75 c GLOBAL bounds - >= 531371 @ 1.33431
1.66/1.76 c GLOBAL bounds - >= 531371 @ 1.33949
1.66/1.76 c GLOBAL bounds - >= 531371 @ 1.34039
1.66/1.77 c GLOBAL bounds - >= 531371 @ 1.3451
1.66/1.78 c GLOBAL bounds - >= 531371 @ 1.34645
1.66/1.79 c GLOBAL bounds - >= 531371 @ 1.35363
1.66/1.79 c GLOBAL bounds - >= 531371 @ 1.35513
1.76/1.80 c GLOBAL bounds - >= 531371 @ 1.3633
1.76/1.80 c GLOBAL bounds - >= 531371 @ 1.36429
1.76/1.81 c GLOBAL bounds - >= 531371 @ 1.36628
1.76/1.81 c GLOBAL bounds - >= 531371 @ 1.36663
1.76/1.83 c GLOBAL bounds - >= 531371 @ 1.37299
1.76/1.83 c GLOBAL bounds - >= 531371 @ 1.37326
1.76/1.84 c GLOBAL bounds - >= 531371 @ 1.37832
1.76/1.85 c GLOBAL bounds - >= 531371 @ 1.38694
1.76/1.87 c GLOBAL bounds - >= 531371 @ 1.39218
1.76/1.88 c GLOBAL bounds - >= 531371 @ 1.39718
1.76/1.89 c GLOBAL bounds - >= 531371 @ 1.40537
1.86/1.90 c GLOBAL bounds - >= 531371 @ 1.41216
1.86/1.92 c GLOBAL bounds - >= 531371 @ 1.42357
1.86/1.94 c GLOBAL bounds - >= 531371 @ 1.43649
1.86/1.96 c GLOBAL bounds - >= 531371 @ 1.45572
1.86/1.99 c GLOBAL bounds - >= 531371 @ 1.47791
1.86/2.00 c GLOBAL bounds - >= 531371 @ 1.48296
1.97/2.01 c GLOBAL bounds - >= 531371 @ 1.49062
1.97/2.04 c GLOBAL bounds - >= 531371 @ 1.51836
1.97/2.06 c GLOBAL bounds - >= 550525 @ 1.5305
1.97/2.06 c GLOBAL bounds - >= 550525 @ 1.53255
1.97/2.06 c GLOBAL bounds - >= 550525 @ 1.53271
1.97/2.06 c GLOBAL bounds - >= 550525 @ 1.53286
1.97/2.07 c GLOBAL bounds - >= 550525 @ 1.53824
1.97/2.07 c GLOBAL bounds - >= 550525 @ 1.53878
1.97/2.08 c GLOBAL bounds - >= 550525 @ 1.54639
1.97/2.08 c GLOBAL bounds - >= 550525 @ 1.54768
1.97/2.09 c GLOBAL bounds - >= 550525 @ 1.55385
1.97/2.09 c GLOBAL bounds - >= 550525 @ 1.55448
1.97/2.10 c GLOBAL bounds - >= 550525 @ 1.56146
1.97/2.10 c GLOBAL bounds - >= 550525 @ 1.56252
2.07/2.11 c GLOBAL bounds - >= 550525 @ 1.56563
2.07/2.11 c GLOBAL bounds - >= 550525 @ 1.56676
2.07/2.12 c GLOBAL bounds - >= 550525 @ 1.57285
2.07/2.13 c GLOBAL bounds - >= 550525 @ 1.57402
2.07/2.14 c GLOBAL bounds - >= 550525 @ 1.5809
2.07/2.14 c GLOBAL bounds - >= 550525 @ 1.58138
2.07/2.15 c GLOBAL bounds - >= 550525 @ 1.58712
2.07/2.15 c GLOBAL bounds - >= 550525 @ 1.58821
2.07/2.16 c GLOBAL bounds - >= 550525 @ 1.59085
2.07/2.16 c GLOBAL bounds - >= 550525 @ 1.59189
2.07/2.17 c GLOBAL bounds - >= 550525 @ 1.59565
2.07/2.18 c GLOBAL bounds - >= 550525 @ 1.60267
2.07/2.19 c GLOBAL bounds - >= 550525 @ 1.60936
2.15/2.20 c GLOBAL bounds - >= 550525 @ 1.61636
2.15/2.22 c GLOBAL bounds - >= 550525 @ 1.63045
2.15/2.25 c GLOBAL bounds - >= 550525 @ 1.64891
2.15/2.27 c GLOBAL bounds - >= 550525 @ 1.66636
2.15/2.27 c GLOBAL bounds - >= 704427 @ 1.66636
2.15/2.27 c GLOBAL bounds - >= 704427 @ 1.6689
2.15/2.27 c GLOBAL bounds - >= 704427 @ 1.66972
2.15/2.27 c GLOBAL bounds - >= 704427 @ 1.67055
2.15/2.27 c GLOBAL bounds - >= 704427 @ 1.67135
2.15/2.27 c GLOBAL bounds - >= 704427 @ 1.67218
2.15/2.27 c GLOBAL bounds - >= 704427 @ 1.67299
2.15/2.29 c GLOBAL bounds - >= 704427 @ 1.67923
2.15/2.29 c GLOBAL bounds - >= 704427 @ 1.68031
2.25/2.30 c GLOBAL bounds - >= 704427 @ 1.6854
2.25/2.30 c GLOBAL bounds - >= 704427 @ 1.68665
2.25/2.31 c GLOBAL bounds - >= 704427 @ 1.69505
2.25/2.31 c GLOBAL bounds - >= 704427 @ 1.69623
2.25/2.32 c GLOBAL bounds - >= 704427 @ 1.70224
2.25/2.32 c GLOBAL bounds - >= 704427 @ 1.70335
2.25/2.34 c GLOBAL bounds - >= 704427 @ 1.71225
2.25/2.34 c GLOBAL bounds - >= 704427 @ 1.71348
2.25/2.35 c GLOBAL bounds - >= 704427 @ 1.71718
2.25/2.35 c GLOBAL bounds - >= 704427 @ 1.7183
2.25/2.36 c GLOBAL bounds - >= 704427 @ 1.72576
2.25/2.36 c GLOBAL bounds - >= 704427 @ 1.72692
2.25/2.37 c GLOBAL bounds - >= 704427 @ 1.73141
2.25/2.37 c GLOBAL bounds - >= 704427 @ 1.73253
2.25/2.38 c GLOBAL bounds - >= 704427 @ 1.74014
2.25/2.38 c GLOBAL bounds - >= 704427 @ 1.74054
2.25/2.39 c GLOBAL bounds - >= 704427 @ 1.74685
2.36/2.41 c GLOBAL bounds - >= 704427 @ 1.75227
2.36/2.42 c GLOBAL bounds - >= 704427 @ 1.76173
2.36/2.44 c GLOBAL bounds - >= 704427 @ 1.77461
2.36/2.46 c GLOBAL bounds - >= 704427 @ 1.78732
2.36/2.48 c GLOBAL bounds - >= 704427 @ 1.79899
2.36/2.49 c GLOBAL bounds - >= 704427 @ 1.80613
2.45/2.50 c GLOBAL bounds - >= 704427 @ 1.81637
2.45/2.52 c GLOBAL bounds - >= 704427 @ 1.83087
2.45/2.53 c GLOBAL bounds - >= 704427 @ 1.83882
2.45/2.55 c GLOBAL bounds - >= 704427 @ 1.85203
2.45/2.57 c GLOBAL bounds - >= 704427 @ 1.86764
2.45/2.59 c GLOBAL bounds - >= 704427 @ 1.87973
2.55/2.60 c GLOBAL bounds - >= 704427 @ 1.88472
2.55/2.61 c GLOBAL bounds - >= 837157 @ 1.89631
2.55/2.61 c GLOBAL bounds - >= 837157 @ 1.8989
2.55/2.61 c GLOBAL bounds - >= 837157 @ 1.89961
2.55/2.61 c GLOBAL bounds - >= 837157 @ 1.89967
2.55/2.61 c GLOBAL bounds - >= 837157 @ 1.90018
2.55/2.62 c GLOBAL bounds - >= 837157 @ 1.90099
2.55/2.62 c GLOBAL bounds - >= 837157 @ 1.9018
2.55/2.62 c GLOBAL bounds - >= 837157 @ 1.90264
2.55/2.63 c GLOBAL bounds - >= 837157 @ 1.90902
2.55/2.63 c GLOBAL bounds - >= 837157 @ 1.9102
2.55/2.64 c GLOBAL bounds - >= 837157 @ 1.91734
2.55/2.64 c GLOBAL bounds - >= 837157 @ 1.91833
2.55/2.65 c GLOBAL bounds - >= 837157 @ 1.92229
2.55/2.65 c GLOBAL bounds - >= 837157 @ 1.92327
2.55/2.66 c GLOBAL bounds - >= 837157 @ 1.93023
2.55/2.66 c GLOBAL bounds - >= 837157 @ 1.9313
2.55/2.67 c GLOBAL bounds - >= 837157 @ 1.93733
2.55/2.67 c GLOBAL bounds - >= 837157 @ 1.93836
2.55/2.68 c GLOBAL bounds - >= 837157 @ 1.9463
2.55/2.68 c GLOBAL bounds - >= 837157 @ 1.94737
2.55/2.69 c GLOBAL bounds - >= 837157 @ 1.9543
2.55/2.70 c GLOBAL bounds - >= 837157 @ 1.95452
2.65/2.71 c GLOBAL bounds - >= 837157 @ 1.96246
2.65/2.71 c GLOBAL bounds - >= 837157 @ 1.96413
2.65/2.72 c GLOBAL bounds - >= 837157 @ 1.96844
2.65/2.72 c GLOBAL bounds - >= 837157 @ 1.96994
2.65/2.73 c GLOBAL bounds - >= 837157 @ 1.97492
2.65/2.77 c GLOBAL bounds - >= 837157 @ 2.00343
2.65/2.79 c GLOBAL bounds - >= 837157 @ 2.02816
2.76/2.82 c GLOBAL bounds - >= 837157 @ 2.04696
2.76/2.85 c GLOBAL bounds - >= 837157 @ 2.06851
2.86/2.90 c GLOBAL bounds - >= 837157 @ 2.12458
2.86/2.96 c GLOBAL bounds - >= 837157 @ 2.17137
2.86/3.00 c GLOBAL bounds - >= 973724 @ 2.21509
2.86/3.00 c GLOBAL bounds - >= 973724 @ 2.21938
2.86/3.01 c GLOBAL bounds - >= 973724 @ 2.22004
2.86/3.01 c GLOBAL bounds - >= 973724 @ 2.22065
2.97/3.02 c GLOBAL bounds - >= 973724 @ 2.2262
2.97/3.02 c GLOBAL bounds - >= 973724 @ 2.22722
2.97/3.03 c GLOBAL bounds - >= 973724 @ 2.2314
2.97/3.03 c GLOBAL bounds - >= 973724 @ 2.23231
2.97/3.04 c GLOBAL bounds - >= 973724 @ 2.2382
2.97/3.04 c GLOBAL bounds - >= 973724 @ 2.23866
2.97/3.05 c GLOBAL bounds - >= 973724 @ 2.24288
2.97/3.05 c GLOBAL bounds - >= 973724 @ 2.24379
2.97/3.06 c GLOBAL bounds - >= 973724 @ 2.24964
2.97/3.06 c GLOBAL bounds - >= 973724 @ 2.25061
2.97/3.07 c GLOBAL bounds - >= 973724 @ 2.2554
2.97/3.07 c GLOBAL bounds - >= 973724 @ 2.25629
2.97/3.08 c GLOBAL bounds - >= 973724 @ 2.26098
2.97/3.08 c GLOBAL bounds - >= 973724 @ 2.26173
2.97/3.09 c GLOBAL bounds - >= 973724 @ 2.26744
2.97/3.09 c GLOBAL bounds - >= 973724 @ 2.26843
2.97/3.10 c GLOBAL bounds - >= 973724 @ 2.27509
2.97/3.10 c GLOBAL bounds - >= 973724 @ 2.27557
3.06/3.11 c GLOBAL bounds - >= 973724 @ 2.27898
3.06/3.13 c GLOBAL bounds - >= 973724 @ 2.29245
3.06/3.16 c GLOBAL bounds - >= 973724 @ 2.31421
3.06/3.18 c GLOBAL bounds - >= 973724 @ 2.33309
3.16/3.27 c GLOBAL bounds - >= 973724 @ 2.41929
3.16/3.28 c GLOBAL bounds - >= 973724 @ 2.42597
3.26/3.32 c GLOBAL bounds - >= 973724 @ 2.45791
3.26/3.35 c GLOBAL bounds - >= 973724 @ 2.48003
3.36/3.40 c GLOBAL bounds - >= 973724 @ 2.52927
3.36/3.43 c GLOBAL bounds - >= 973724 @ 2.55371
3.36/3.46 c GLOBAL bounds - >= 973724 @ 2.57867
3.45/3.52 c GLOBAL bounds - >= 973724 @ 2.62743
3.45/3.54 c GLOBAL bounds - >= 973724 @ 2.6414
3.45/3.55 c GLOBAL bounds - >= 973724 @ 2.65633
3.55/3.61 c GLOBAL bounds - >= 1295332 @ 2.70966
3.55/3.62 c GLOBAL bounds - >= 1295332 @ 2.71781
3.55/3.62 c GLOBAL bounds - >= 1295332 @ 2.71814
3.55/3.62 c GLOBAL bounds - >= 1295332 @ 2.71846
3.55/3.62 c GLOBAL bounds - >= 1295332 @ 2.71887
3.55/3.63 c GLOBAL bounds - >= 1295332 @ 2.72404
3.55/3.63 c GLOBAL bounds - >= 1295332 @ 2.72511
3.55/3.64 c GLOBAL bounds - >= 1295332 @ 2.73299
3.55/3.64 c GLOBAL bounds - >= 1295332 @ 2.73408
3.55/3.65 c GLOBAL bounds - >= 1295332 @ 2.73984
3.55/3.65 c GLOBAL bounds - >= 1295332 @ 2.74091
3.55/3.66 c GLOBAL bounds - >= 1295332 @ 2.74687
3.55/3.66 c GLOBAL bounds - >= 1295332 @ 2.74802
3.55/3.67 c GLOBAL bounds - >= 1295332 @ 2.75398
3.55/3.68 c GLOBAL bounds - >= 1295332 @ 2.75507
3.55/3.69 c GLOBAL bounds - >= 1295332 @ 2.76094
3.55/3.69 c GLOBAL bounds - >= 1295332 @ 2.76206
3.65/3.70 c GLOBAL bounds - >= 1295332 @ 2.7698
3.65/3.70 c GLOBAL bounds - >= 1295332 @ 2.77096
3.65/3.71 c GLOBAL bounds - >= 1295332 @ 2.77805
3.65/3.71 c GLOBAL bounds - >= 1295332 @ 2.77824
3.65/3.72 c GLOBAL bounds - >= 1295332 @ 2.78399
3.65/3.72 c GLOBAL bounds - >= 1295332 @ 2.78418
3.65/3.73 c GLOBAL bounds - >= 1295332 @ 2.79096
3.65/3.74 c GLOBAL bounds - >= 1295332 @ 2.80201
3.65/3.76 c GLOBAL bounds - >= 1295332 @ 2.81295
3.75/3.80 c GLOBAL bounds - >= 1295332 @ 2.84322
3.75/3.83 c GLOBAL bounds - >= 1295332 @ 2.86821
3.75/3.86 c GLOBAL bounds - >= 1295332 @ 2.89595
3.75/3.87 c GLOBAL bounds - >= 1295332 @ 2.90266
3.86/3.90 c GLOBAL bounds - >= 1295332 @ 2.92878
3.86/3.93 c GLOBAL bounds - >= 1295332 @ 2.95102
3.86/3.97 c GLOBAL bounds - >= 1295332 @ 2.99151
3.96/4.01 c GLOBAL bounds - >= 1295332 @ 3.02356
3.96/4.04 c GLOBAL bounds - >= 1295332 @ 3.05153
3.96/4.06 c GLOBAL bounds - >= 1378779 @ 3.06492
3.96/4.06 c GLOBAL bounds - >= 1378779 @ 3.06911
3.96/4.06 c GLOBAL bounds - >= 1378779 @ 3.06996
3.96/4.06 c GLOBAL bounds - >= 1378779 @ 3.07035
3.96/4.06 c GLOBAL bounds - >= 1378779 @ 3.07077
3.96/4.07 c GLOBAL bounds - >= 1378779 @ 3.07799
3.96/4.08 c GLOBAL bounds - >= 1378779 @ 3.07921
3.96/4.09 c GLOBAL bounds - >= 1378779 @ 3.08335
3.96/4.09 c GLOBAL bounds - >= 1378779 @ 3.0847
3.96/4.10 c GLOBAL bounds - >= 1378779 @ 3.08939
3.96/4.10 c GLOBAL bounds - >= 1378779 @ 3.09033
3.96/4.11 c GLOBAL bounds - >= 1378779 @ 3.09398
4.06/4.11 c GLOBAL bounds - >= 1378779 @ 3.09579
4.06/4.12 c GLOBAL bounds - >= 1378779 @ 3.10332
4.06/4.12 c GLOBAL bounds - >= 1378779 @ 3.10427
4.06/4.13 c GLOBAL bounds - >= 1378779 @ 3.10706
4.06/4.13 c GLOBAL bounds - >= 1378779 @ 3.10803
4.06/4.14 c GLOBAL bounds - >= 1378779 @ 3.11282
4.06/4.14 c GLOBAL bounds - >= 1378779 @ 3.11393
4.06/4.15 c GLOBAL bounds - >= 1378779 @ 3.11979
4.06/4.16 c GLOBAL bounds - >= 1378779 @ 3.12088
4.06/4.17 c GLOBAL bounds - >= 1378779 @ 3.12669
4.06/4.17 c GLOBAL bounds - >= 1378779 @ 3.12785
4.06/4.18 c GLOBAL bounds - >= 1378779 @ 3.13353
4.06/4.19 c GLOBAL bounds - >= 1378779 @ 3.14116
4.15/4.21 c GLOBAL bounds - >= 1378779 @ 3.15684
4.15/4.23 c GLOBAL bounds - >= 1378779 @ 3.17151
4.15/4.26 c GLOBAL bounds - >= 1378779 @ 3.19902
4.15/4.28 c GLOBAL bounds - >= 1378779 @ 3.22131
4.25/4.30 c GLOBAL bounds - >= 1378779 @ 3.23425
4.25/4.32 c GLOBAL bounds - >= 1378779 @ 3.24836
4.25/4.36 c GLOBAL bounds - >= 1378779 @ 3.27881
4.25/4.37 c GLOBAL bounds - >= 1378779 @ 3.28273
4.25/4.38 c GLOBAL bounds - >= 1378779 @ 3.2897
4.25/4.39 c GLOBAL bounds - >= 1378779 @ 3.29476
4.35/4.40 c GLOBAL bounds - >= 1378779 @ 3.3011
4.35/4.42 c GLOBAL bounds - >= 1378779 @ 3.31495
4.35/4.43 c GLOBAL bounds - >= 1378779 @ 3.32063
4.35/4.44 c GLOBAL bounds - >= 1378779 @ 3.3336
4.35/4.47 c GLOBAL bounds - >= 1378779 @ 3.35646
4.45/4.50 c GLOBAL bounds - >= 1378779 @ 3.37925
4.45/4.53 c GLOBAL bounds - >= 1511509 @ 3.40794
4.45/4.53 c GLOBAL bounds - >= 1511509 @ 3.41491
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.41586
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.41671
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.41763
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.41827
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.41841
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.41906
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.41941
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.41991
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.42084
4.45/4.54 c GLOBAL bounds - >= 1511509 @ 3.4217
4.45/4.55 c GLOBAL bounds - >= 1511509 @ 3.42922
4.45/4.56 c GLOBAL bounds - >= 1511509 @ 3.43037
4.45/4.57 c GLOBAL bounds - >= 1511509 @ 3.43543
4.45/4.57 c GLOBAL bounds - >= 1511509 @ 3.43653
4.45/4.58 c GLOBAL bounds - >= 1511509 @ 3.44178
4.45/4.58 c GLOBAL bounds - >= 1511509 @ 3.44384
4.45/4.59 c GLOBAL bounds - >= 1511509 @ 3.4492
4.45/4.59 c GLOBAL bounds - >= 1511509 @ 3.45053
4.55/4.60 c GLOBAL bounds - >= 1511509 @ 3.45634
4.55/4.60 c GLOBAL bounds - >= 1511509 @ 3.45768
4.55/4.61 c GLOBAL bounds - >= 1511509 @ 3.46246
4.55/4.61 c GLOBAL bounds - >= 1511509 @ 3.46325
4.55/4.62 c GLOBAL bounds - >= 1511509 @ 3.46616
4.55/4.63 c GLOBAL bounds - >= 1511509 @ 3.46724
4.55/4.64 c GLOBAL bounds - >= 1511509 @ 3.47223
4.55/4.64 c GLOBAL bounds - >= 1511509 @ 3.47323
4.55/4.65 c GLOBAL bounds - >= 1511509 @ 3.47896
4.55/4.65 c GLOBAL bounds - >= 1511509 @ 3.48051
4.55/4.66 c GLOBAL bounds - >= 1511509 @ 3.48642
4.55/4.69 c GLOBAL bounds - >= 1511509 @ 3.51302
4.65/4.70 c GLOBAL bounds - >= 1511509 @ 3.51975
4.65/4.76 c GLOBAL bounds - >= 1511509 @ 3.5722
4.75/4.83 c GLOBAL bounds - >= 1511509 @ 3.63223
4.75/4.88 c GLOBAL bounds - >= 1511509 @ 3.67623
4.75/4.89 c GLOBAL bounds - >= 1511509 @ 3.68439
4.85/4.95 c GLOBAL bounds - >= 1511509 @ 3.74344
4.85/4.99 c GLOBAL bounds - >= 1727571 @ 3.78026
4.85/5.00 c GLOBAL bounds - >= 1727571 @ 3.79048
4.85/5.00 c GLOBAL bounds - >= 1727571 @ 3.79146
4.85/5.00 c GLOBAL bounds - >= 1727571 @ 3.79236
4.85/5.00 c GLOBAL bounds - >= 1727571 @ 3.7942
4.85/5.00 c GLOBAL bounds - >= 1727571 @ 3.79507
4.85/5.01 c GLOBAL bounds - >= 1727571 @ 3.79621
4.85/5.01 c GLOBAL bounds - >= 1727571 @ 3.79817
4.96/5.02 c GLOBAL bounds - >= 1727571 @ 3.80155
4.96/5.02 c GLOBAL bounds - >= 1727571 @ 3.80225
4.96/5.03 c GLOBAL bounds - >= 1727571 @ 3.80744
4.96/5.03 c GLOBAL bounds - >= 1727571 @ 3.80842
4.96/5.04 c GLOBAL bounds - >= 1727571 @ 3.81466
4.96/5.04 c GLOBAL bounds - >= 1727571 @ 3.81586
4.96/5.05 c GLOBAL bounds - >= 1727571 @ 3.82202
4.96/5.05 c GLOBAL bounds - >= 1727571 @ 3.82262
4.96/5.06 c GLOBAL bounds - >= 1727571 @ 3.82775
4.96/5.06 c GLOBAL bounds - >= 1727571 @ 3.82917
4.96/5.07 c GLOBAL bounds - >= 1727571 @ 3.83432
4.96/5.07 c GLOBAL bounds - >= 1727571 @ 3.83606
4.96/5.08 c GLOBAL bounds - >= 1727571 @ 3.84331
4.96/5.08 c GLOBAL bounds - >= 1727571 @ 3.84417
4.96/5.09 c GLOBAL bounds - >= 1727571 @ 3.84825
4.96/5.10 c GLOBAL bounds - >= 1727571 @ 3.84902
4.96/5.11 c GLOBAL bounds - >= 1727571 @ 3.85326
4.96/5.11 c GLOBAL bounds - >= 1727571 @ 3.854
5.06/5.12 c GLOBAL bounds - >= 1727571 @ 3.85799
5.06/5.13 c GLOBAL bounds - >= 1727571 @ 3.8666
5.06/5.16 c GLOBAL bounds - >= 1727571 @ 3.89697
5.06/5.19 c GLOBAL bounds - >= 1727571 @ 3.9166
5.15/5.20 c GLOBAL bounds - >= 1727571 @ 3.92381
5.15/5.21 c GLOBAL bounds - >= 1727571 @ 3.93004
5.15/5.22 c GLOBAL bounds - >= 1727571 @ 3.93727
5.15/5.23 c GLOBAL bounds - >= 1727571 @ 3.94687
5.15/5.26 c GLOBAL bounds - >= 1727571 @ 3.97506
5.15/5.27 c GLOBAL bounds - >= 1727571 @ 3.98253
5.24/5.31 c GLOBAL bounds - >= 1727571 @ 4.00996
5.24/5.37 c GLOBAL bounds - >= 1749055 @ 4.0702
5.24/5.38 c GLOBAL bounds - >= 1749055 @ 4.07458
5.24/5.38 c GLOBAL bounds - >= 1749055 @ 4.07657
5.24/5.38 c GLOBAL bounds - >= 1749055 @ 4.07783
5.24/5.38 c GLOBAL bounds - >= 1749055 @ 4.07914
5.24/5.39 c GLOBAL bounds - >= 1749055 @ 4.08587
5.24/5.39 c GLOBAL bounds - >= 1749055 @ 4.08805
5.35/5.40 c GLOBAL bounds - >= 1749055 @ 4.09317
5.35/5.41 c GLOBAL bounds - >= 1749055 @ 4.09435
5.35/5.41 c GLOBAL bounds - >= 1749055 @ 4.09713
5.35/5.42 c GLOBAL bounds - >= 1749055 @ 4.09914
5.35/5.43 c GLOBAL bounds - >= 1749055 @ 4.10524
5.35/5.43 c GLOBAL bounds - >= 1749055 @ 4.10637
5.35/5.44 c GLOBAL bounds - >= 1749055 @ 4.11247
5.35/5.44 c GLOBAL bounds - >= 1749055 @ 4.11485
5.35/5.45 c GLOBAL bounds - >= 1749055 @ 4.12218
5.35/5.45 c GLOBAL bounds - >= 1749055 @ 4.1237
5.35/5.46 c GLOBAL bounds - >= 1749055 @ 4.12801
5.35/5.47 c GLOBAL bounds - >= 1749055 @ 4.13021
5.35/5.48 c GLOBAL bounds - >= 1749055 @ 4.13852
5.35/5.48 c GLOBAL bounds - >= 1749055 @ 4.14022
5.35/5.49 c GLOBAL bounds - >= 1749055 @ 4.14742
5.35/5.49 c GLOBAL bounds - >= 1749055 @ 4.14959
5.45/5.50 c GLOBAL bounds - >= 1749055 @ 4.15559
5.45/5.51 c GLOBAL bounds - >= 1749055 @ 4.16246
5.45/5.52 c GLOBAL bounds - >= 1749055 @ 4.16897
5.45/5.54 c GLOBAL bounds - >= 1749055 @ 4.17576
5.45/5.55 c GLOBAL bounds - >= 1749055 @ 4.18206
5.45/5.57 c GLOBAL bounds - >= 1749055 @ 4.19882
5.45/5.59 c GLOBAL bounds - >= 1749055 @ 4.20817
5.54/5.60 c GLOBAL bounds - >= 1749055 @ 4.21565
5.54/5.61 c GLOBAL bounds - >= 1749055 @ 4.22288
5.54/5.63 c GLOBAL bounds - >= 1749055 @ 4.24554
5.54/5.65 c GLOBAL bounds - >= 1749055 @ 4.25258
5.54/5.68 c GLOBAL bounds - >= 1749055 @ 4.27569
5.64/5.74 c GLOBAL bounds - >= 1749055 @ 4.32965
5.96/6.01 c #Conflicts: 1000 | #Constraints: 37965
5.96/6.01 c GLOBAL bounds - >= 1817675 @ 4.59165
5.96/6.02 c GLOBAL bounds - >= 1817675 @ 4.59888
5.96/6.02 c GLOBAL bounds - >= 1817675 @ 4.59992
5.96/6.02 c GLOBAL bounds - >= 1817675 @ 4.60089
5.96/6.03 c GLOBAL bounds - >= 1817675 @ 4.60772
5.96/6.03 c GLOBAL bounds - >= 1817675 @ 4.60948
5.96/6.05 c GLOBAL bounds - >= 1817675 @ 4.61829
5.96/6.05 c GLOBAL bounds - >= 1817675 @ 4.62017
5.96/6.06 c GLOBAL bounds - >= 1817675 @ 4.62886
5.96/6.06 c GLOBAL bounds - >= 1817675 @ 4.63071
5.96/6.07 c GLOBAL bounds - >= 1817675 @ 4.6382
5.96/6.08 c GLOBAL bounds - >= 1817675 @ 4.64005
5.96/6.09 c GLOBAL bounds - >= 1817675 @ 4.64762
5.96/6.09 c GLOBAL bounds - >= 1817675 @ 4.64966
5.96/6.10 c GLOBAL bounds - >= 1817675 @ 4.65516
5.96/6.10 c GLOBAL bounds - >= 1817675 @ 4.65703
6.06/6.11 c GLOBAL bounds - >= 1817675 @ 4.66161
6.06/6.12 c GLOBAL bounds - >= 1817675 @ 4.66362
6.06/6.13 c GLOBAL bounds - >= 1817675 @ 4.66864
6.06/6.13 c GLOBAL bounds - >= 1817675 @ 4.66999
6.06/6.14 c GLOBAL bounds - >= 1817675 @ 4.67391
6.06/6.14 c GLOBAL bounds - >= 1817675 @ 4.67614
6.06/6.15 c GLOBAL bounds - >= 1817675 @ 4.68249
6.06/6.16 c GLOBAL bounds - >= 1817675 @ 4.69054
6.06/6.17 c GLOBAL bounds - >= 1817675 @ 4.698
6.06/6.19 c GLOBAL bounds - >= 1817675 @ 4.70551
6.15/6.20 c GLOBAL bounds - >= 1817675 @ 4.71048
6.15/6.21 c GLOBAL bounds - >= 1817675 @ 4.71704
6.15/6.22 c GLOBAL bounds - >= 1817675 @ 4.7224
6.15/6.23 c GLOBAL bounds - >= 1817675 @ 4.72929
6.15/6.25 c GLOBAL bounds - >= 1817675 @ 4.7407
6.15/6.28 c GLOBAL bounds - >= 1817675 @ 4.77291
6.15/6.30 c GLOBAL bounds - >= 1817675 @ 4.78304
6.35/6.40 c GLOBAL bounds - >= 1817675 @ 4.88502
6.44/6.50 c GLOBAL bounds - >= 1817675 @ 4.97956
7.15/7.28 c GLOBAL bounds - >= 1817675 @ 5.72032
7.15/7.30 c GLOBAL bounds - >= 1817675 @ 5.73604
7.25/7.36 c GLOBAL bounds - >= 1817675 @ 5.8015
7.84/7.94 c GLOBAL bounds - >= 1838843 @ 6.36961
7.84/7.95 c GLOBAL bounds - >= 1838843 @ 6.37484
7.84/7.96 c GLOBAL bounds - >= 1838843 @ 6.38435
7.84/7.96 c GLOBAL bounds - >= 1838843 @ 6.38605
7.84/7.98 c GLOBAL bounds - >= 1838843 @ 6.40276
7.84/7.99 c GLOBAL bounds - >= 1838843 @ 6.40536
7.84/8.00 c GLOBAL bounds - >= 1838843 @ 6.41168
7.84/8.00 c GLOBAL bounds - >= 1838843 @ 6.41428
7.95/8.01 c GLOBAL bounds - >= 1838843 @ 6.42021
7.95/8.01 c GLOBAL bounds - >= 1838843 @ 6.42197
7.95/8.03 c GLOBAL bounds - >= 1838843 @ 6.4308
7.95/8.03 c GLOBAL bounds - >= 1838843 @ 6.43311
7.95/8.04 c GLOBAL bounds - >= 1838843 @ 6.43911
7.95/8.04 c GLOBAL bounds - >= 1838843 @ 6.43983
7.95/8.05 c GLOBAL bounds - >= 1838843 @ 6.44657
7.95/8.05 c GLOBAL bounds - >= 1838843 @ 6.44885
7.95/8.07 c GLOBAL bounds - >= 1838843 @ 6.4561
7.95/8.07 c GLOBAL bounds - >= 1838843 @ 6.45779
7.95/8.08 c GLOBAL bounds - >= 1838843 @ 6.46799
7.95/8.08 c GLOBAL bounds - >= 1838843 @ 6.46975
7.95/8.09 c GLOBAL bounds - >= 1838843 @ 6.47583
7.95/8.11 c GLOBAL bounds - >= 1838843 @ 6.48553
8.06/8.12 c GLOBAL bounds - >= 1838843 @ 6.49306
8.06/8.14 c GLOBAL bounds - >= 1838843 @ 6.50343
8.06/8.15 c GLOBAL bounds - >= 1838843 @ 6.51315
8.06/8.17 c GLOBAL bounds - >= 1838843 @ 6.52835
8.06/8.19 c GLOBAL bounds - >= 1838843 @ 6.5522
8.14/8.22 c GLOBAL bounds - >= 1838843 @ 6.57351
8.14/8.24 c GLOBAL bounds - >= 1838843 @ 6.58762
8.14/8.25 c GLOBAL bounds - >= 1838843 @ 6.59561
8.14/8.28 c GLOBAL bounds - >= 1838843 @ 6.6156
10.33/10.49 c #Conflicts: 2000 | #Constraints: 46022
10.33/10.49 c INPROCESSING
10.33/10.49 c GARBAGE COLLECT
10.33/10.49 c GLOBAL bounds - >= 1869182 @ 8.77488
10.43/10.50 c GLOBAL bounds - >= 1869182 @ 8.78168
10.43/10.50 c GLOBAL bounds - >= 1869182 @ 8.78361
10.43/10.50 c GLOBAL bounds - >= 1869182 @ 8.78495
10.43/10.52 c GLOBAL bounds - >= 1869182 @ 8.7979
10.43/10.52 c GLOBAL bounds - >= 1869182 @ 8.7999
10.43/10.53 c GLOBAL bounds - >= 1869182 @ 8.80549
10.43/10.54 c GLOBAL bounds - >= 1869182 @ 8.81186
10.43/10.55 c GLOBAL bounds - >= 1869182 @ 8.81731
10.43/10.56 c GLOBAL bounds - >= 1869182 @ 8.82238
10.43/10.57 c GLOBAL bounds - >= 1869182 @ 8.82867
10.43/10.58 c GLOBAL bounds - >= 1869182 @ 8.83549
10.43/10.59 c GLOBAL bounds - >= 1869182 @ 8.8418
10.53/10.60 c GLOBAL bounds - >= 1869182 @ 8.84863
10.53/10.61 c GLOBAL bounds - >= 1869182 @ 8.8537
10.53/10.61 c GLOBAL bounds - >= 1869182 @ 8.85819
10.53/10.63 c GLOBAL bounds - >= 1869182 @ 8.86738
10.53/10.63 c GLOBAL bounds - >= 1869182 @ 8.87339
10.53/10.65 c GLOBAL bounds - >= 1869182 @ 8.88057
10.53/10.65 c GLOBAL bounds - >= 1869182 @ 8.88728
10.53/10.66 c GLOBAL bounds - >= 1869182 @ 8.89548
10.53/10.67 c GLOBAL bounds - >= 1869182 @ 8.9012
10.53/10.68 c GLOBAL bounds - >= 1869182 @ 8.90944
10.53/10.69 c GLOBAL bounds - >= 1869182 @ 8.91397
10.63/10.71 c GLOBAL bounds - >= 1869182 @ 8.92566
10.63/10.72 c GLOBAL bounds - >= 1869182 @ 8.93422
10.63/10.74 c GLOBAL bounds - >= 1869182 @ 8.95021
10.63/10.77 c GLOBAL bounds - >= 1869182 @ 8.97211
10.63/10.79 c GLOBAL bounds - >= 1869182 @ 8.98271
10.83/10.99 c GLOBAL bounds - >= 1869182 @ 9.17832
10.94/11.08 c GLOBAL bounds - >= 1869182 @ 9.26148
10.94/11.11 c GLOBAL bounds - >= 1869182 @ 9.2833
11.53/11.62 c GLOBAL bounds - >= 1869182 @ 9.77777
11.53/11.69 c GLOBAL bounds - >= 1869182 @ 9.83866
11.62/11.70 c GLOBAL bounds - >= 1869182 @ 9.84749
12.23/12.38 c #Conflicts: 3000 | #Constraints: 49250
12.23/12.38 c GLOBAL bounds - >= 1869182 @ 10.4983
12.32/12.41 c GLOBAL bounds - >= 1869182 @ 10.5165
12.72/12.80 c GLOBAL bounds - >= 1869182 @ 10.8964
14.12/14.25 c GLOBAL bounds - >= 1869182 @ 12.3007
14.62/14.76 c GLOBAL bounds - >= 1869182 @ 12.7934
14.93/15.08 c GLOBAL bounds - >= 1869182 @ 13.1048
16.82/16.91 c #Conflicts: 4000 | #Constraints: 51192
16.82/16.91 c INPROCESSING
16.82/16.91 c GARBAGE COLLECT
16.82/16.91 c GLOBAL bounds - >= 1883196 @ 14.8766
16.82/16.92 c GLOBAL bounds - >= 1883196 @ 14.8872
16.82/16.92 c GLOBAL bounds - >= 1883196 @ 14.892
16.82/16.93 c GLOBAL bounds - >= 1883196 @ 14.8962
16.82/16.93 c GLOBAL bounds - >= 1883196 @ 14.9011
16.82/16.94 c GLOBAL bounds - >= 1883196 @ 14.9067
16.82/16.94 c GLOBAL bounds - >= 1883196 @ 14.9122
16.82/16.95 c GLOBAL bounds - >= 1883196 @ 14.9164
16.82/16.95 c GLOBAL bounds - >= 1883196 @ 14.9212
16.82/16.96 c GLOBAL bounds - >= 1883196 @ 14.9251
16.82/16.96 c GLOBAL bounds - >= 1883196 @ 14.9292
16.92/17.01 c GLOBAL bounds - >= 1883196 @ 14.9738
16.92/17.02 c GLOBAL bounds - >= 1883196 @ 14.9797
16.92/17.03 c GLOBAL bounds - >= 1883196 @ 14.9906
16.92/17.04 c GLOBAL bounds - >= 1883196 @ 14.9963
16.92/17.05 c GLOBAL bounds - >= 1883196 @ 15.0039
16.92/17.06 c GLOBAL bounds - >= 1883196 @ 15.01
16.92/17.07 c GLOBAL bounds - >= 1883196 @ 15.0169
16.92/17.08 c GLOBAL bounds - >= 1883196 @ 15.0237
16.92/17.09 c GLOBAL bounds - >= 1883196 @ 15.0321
16.92/17.09 c GLOBAL bounds - >= 1883196 @ 15.0381
16.92/17.11 c GLOBAL bounds - >= 1883196 @ 15.0467
17.03/17.11 c GLOBAL bounds - >= 1883196 @ 15.0527
17.03/17.12 c GLOBAL bounds - >= 1883196 @ 15.0575
17.03/17.13 c GLOBAL bounds - >= 1883196 @ 15.0644
17.03/17.14 c GLOBAL bounds - >= 1883196 @ 15.0702
17.03/17.15 c GLOBAL bounds - >= 1883196 @ 15.0771
17.03/17.16 c GLOBAL bounds - >= 1883196 @ 15.0839
17.03/17.17 c GLOBAL bounds - >= 1883196 @ 15.0908
17.03/17.18 c GLOBAL bounds - >= 1883196 @ 15.0989
17.03/17.20 c GLOBAL bounds - >= 1883196 @ 15.1084
17.11/17.21 c GLOBAL bounds - >= 1883196 @ 15.1186
17.11/17.23 c GLOBAL bounds - >= 1883196 @ 15.1314
17.11/17.25 c GLOBAL bounds - >= 1883196 @ 15.1499
17.11/17.27 c GLOBAL bounds - >= 1883196 @ 15.1633
17.11/17.30 c GLOBAL bounds - >= 1883196 @ 15.1853
17.21/17.32 c GLOBAL bounds - >= 1883196 @ 15.2022
17.21/17.35 c GLOBAL bounds - >= 1883196 @ 15.2355
17.21/17.37 c GLOBAL bounds - >= 1883196 @ 15.25
17.31/17.41 c GLOBAL bounds - >= 1883196 @ 15.2818
17.31/17.48 c GLOBAL bounds - >= 1883196 @ 15.344
17.51/17.63 c GLOBAL bounds - >= 1883196 @ 15.4844
19.10/19.22 c #Conflicts: 5000 | #Constraints: 54050
19.10/19.22 c GLOBAL bounds - >= 1883196 @ 17.0447
23.39/23.54 c #Conflicts: 6000 | #Constraints: 55207
23.39/23.54 c GLOBAL bounds - >= 1900572 @ 21.2588
23.39/23.56 c GLOBAL bounds - >= 1900572 @ 21.2726
23.39/23.56 c GLOBAL bounds - >= 1900572 @ 21.277
23.39/23.57 c GLOBAL bounds - >= 1900572 @ 21.2813
24.09/24.22 c INPROCESSING
24.09/24.22 c GARBAGE COLLECT
24.09/24.22 c GLOBAL bounds - >= 1900572 @ 21.9182
24.09/24.23 c GLOBAL bounds - >= 1900572 @ 21.9233
24.09/24.24 c GLOBAL bounds - >= 1900572 @ 21.9284
24.09/24.25 c GLOBAL bounds - >= 1900572 @ 21.9333
24.09/24.26 c GLOBAL bounds - >= 1900572 @ 21.9413
24.09/24.27 c GLOBAL bounds - >= 1900572 @ 21.9473
24.09/24.28 c GLOBAL bounds - >= 1900572 @ 21.9544
24.09/24.29 c GLOBAL bounds - >= 1900572 @ 21.9614
24.18/24.30 c GLOBAL bounds - >= 1900572 @ 21.9693
24.18/24.31 c GLOBAL bounds - >= 1900572 @ 21.9752
24.18/24.32 c GLOBAL bounds - >= 1900572 @ 21.9802
24.18/24.33 c GLOBAL bounds - >= 1900572 @ 21.9872
24.18/24.34 c GLOBAL bounds - >= 1900572 @ 21.9933
24.18/24.35 c GLOBAL bounds - >= 1900572 @ 22.0002
24.18/24.36 c GLOBAL bounds - >= 1900572 @ 22.009
24.18/24.36 c GLOBAL bounds - >= 1900572 @ 22.015
24.18/24.38 c GLOBAL bounds - >= 1900572 @ 22.0221
24.18/24.38 c GLOBAL bounds - >= 1900572 @ 22.0291
24.29/24.40 c GLOBAL bounds - >= 1900572 @ 22.0373
24.29/24.41 c GLOBAL bounds - >= 1900572 @ 22.0472
24.29/24.42 c GLOBAL bounds - >= 1900572 @ 22.0562
24.29/24.44 c GLOBAL bounds - >= 1900572 @ 22.0661
24.29/24.46 c GLOBAL bounds - >= 1900572 @ 22.0816
24.29/24.48 c GLOBAL bounds - >= 1900572 @ 22.1019
24.38/24.53 c GLOBAL bounds - >= 1900572 @ 22.141
24.38/24.54 c GLOBAL bounds - >= 1900572 @ 22.1561
24.38/24.57 c GLOBAL bounds - >= 1900572 @ 22.1819
24.38/24.59 c GLOBAL bounds - >= 1900572 @ 22.1968
24.49/24.62 c GLOBAL bounds - >= 1900572 @ 22.2179
24.49/24.63 c GLOBAL bounds - >= 1900572 @ 22.2287
24.49/24.66 c GLOBAL bounds - >= 1900572 @ 22.2562
24.69/24.85 c GLOBAL bounds - >= 1900572 @ 22.4329
24.69/24.86 c GLOBAL bounds - >= 1900572 @ 22.444
24.79/24.99 c GLOBAL bounds - >= 1900572 @ 22.569
24.90/25.01 c GLOBAL bounds - >= 1900572 @ 22.5831
28.18/28.32 c #Conflicts: 7000 | #Constraints: 58223
28.18/28.32 c GLOBAL bounds - >= 1900572 @ 25.7896
29.27/29.42 c #Conflicts: 8000 | #Constraints: 59380
29.27/29.42 c GLOBAL bounds - >= 1900572 @ 26.8662
38.74/39.00 c #Conflicts: 9000 | #Constraints: 60537
38.74/39.00 c INPROCESSING
38.74/39.00 c GARBAGE COLLECT
38.74/39.00 c #Conflicts: 10000 | #Constraints: 59219
38.74/39.00 c GLOBAL bounds - >= 1910922 @ 36.2555
38.86/39.01 c GLOBAL bounds - >= 1910922 @ 36.2685
38.86/39.02 c GLOBAL bounds - >= 1910922 @ 36.2744
38.86/39.02 c GLOBAL bounds - >= 1910922 @ 36.2793
38.86/39.03 c GLOBAL bounds - >= 1910922 @ 36.2842
38.86/39.03 c GLOBAL bounds - >= 1910922 @ 36.2881
38.86/39.05 c GLOBAL bounds - >= 1910922 @ 36.2986
38.86/39.06 c GLOBAL bounds - >= 1910922 @ 36.3056
38.86/39.07 c GLOBAL bounds - >= 1910922 @ 36.3161
38.86/39.08 c GLOBAL bounds - >= 1910922 @ 36.3231
38.86/39.09 c GLOBAL bounds - >= 1910922 @ 36.3315
38.86/39.10 c GLOBAL bounds - >= 1910922 @ 36.3386
38.95/39.11 c GLOBAL bounds - >= 1910922 @ 36.3483
38.95/39.12 c GLOBAL bounds - >= 1910922 @ 36.3554
38.95/39.13 c GLOBAL bounds - >= 1910922 @ 36.3663
38.95/39.14 c GLOBAL bounds - >= 1910922 @ 36.3717
38.95/39.15 c GLOBAL bounds - >= 1910922 @ 36.3799
38.95/39.16 c GLOBAL bounds - >= 1910922 @ 36.3871
38.95/39.17 c GLOBAL bounds - >= 1910922 @ 36.3967
38.95/39.18 c GLOBAL bounds - >= 1910922 @ 36.4028
38.95/39.19 c GLOBAL bounds - >= 1910922 @ 36.4119
39.04/39.20 c GLOBAL bounds - >= 1910922 @ 36.4171
39.04/39.21 c GLOBAL bounds - >= 1910922 @ 36.4261
39.04/39.22 c GLOBAL bounds - >= 1910922 @ 36.4333
39.04/39.23 c GLOBAL bounds - >= 1910922 @ 36.4404
39.04/39.25 c GLOBAL bounds - >= 1910922 @ 36.4502
39.04/39.26 c GLOBAL bounds - >= 1910922 @ 36.4598
39.04/39.29 c GLOBAL bounds - >= 1910922 @ 36.482
39.15/39.30 c GLOBAL bounds - >= 1910922 @ 36.4919
39.15/39.32 c GLOBAL bounds - >= 1910922 @ 36.5028
39.15/39.33 c GLOBAL bounds - >= 1910922 @ 36.5126
39.15/39.35 c GLOBAL bounds - >= 1910922 @ 36.528
39.15/39.38 c GLOBAL bounds - >= 1910922 @ 36.5572
39.24/39.40 c GLOBAL bounds - >= 1910922 @ 36.573
39.24/39.43 c GLOBAL bounds - >= 1910922 @ 36.5984
39.44/39.63 c GLOBAL bounds - >= 1910922 @ 36.7914
41.34/41.55 c #Conflicts: 11000 | #Constraints: 63475
41.34/41.55 c GLOBAL bounds - >= 1910922 @ 38.661
41.53/41.78 c GLOBAL bounds - >= 1910922 @ 38.8747
41.64/41.85 c GLOBAL bounds - >= 1910922 @ 38.9362
41.85/42.06 c GLOBAL bounds - >= 1910922 @ 39.1357
41.85/42.08 c GLOBAL bounds - >= 1910922 @ 39.1532
46.93/47.12 c #Conflicts: 12000 | #Constraints: 65260
46.93/47.12 c INPROCESSING
46.93/47.12 c GARBAGE COLLECT
46.93/47.12 c #Conflicts: 13000 | #Constraints: 63692
46.93/47.12 c GLOBAL bounds - >= 1910922 @ 44.0916
47.72/47.96 c GLOBAL bounds - >= 1910922 @ 44.9089
56.69/56.95 c #Conflicts: 14000 | #Constraints: 65006
56.69/56.95 c #Conflicts: 15000 | #Constraints: 66006
56.69/56.95 c INPROCESSING
56.69/56.95 c GARBAGE COLLECT
56.69/56.95 c GLOBAL bounds - >= 1922573 @ 53.7196
56.69/56.96 c GLOBAL bounds - >= 1922573 @ 53.7326
56.69/56.97 c GLOBAL bounds - >= 1922573 @ 53.7372
56.69/56.97 c GLOBAL bounds - >= 1922573 @ 53.7428
56.69/56.98 c GLOBAL bounds - >= 1922573 @ 53.7475
56.69/56.98 c GLOBAL bounds - >= 1922573 @ 53.7528
56.69/56.99 c GLOBAL bounds - >= 1922573 @ 53.757
56.69/56.99 c GLOBAL bounds - >= 1922573 @ 53.7611
56.69/57.00 c GLOBAL bounds - >= 1922573 @ 53.7653
56.69/57.00 c GLOBAL bounds - >= 1922573 @ 53.7698
56.80/57.01 c GLOBAL bounds - >= 1922573 @ 53.7747
56.80/57.01 c GLOBAL bounds - >= 1922573 @ 53.7805
56.80/57.02 c GLOBAL bounds - >= 1922573 @ 53.7852
56.99/57.27 c GLOBAL bounds - >= 1922573 @ 54.0298
56.99/57.28 c GLOBAL bounds - >= 1922573 @ 54.0369
56.99/57.29 c GLOBAL bounds - >= 1922573 @ 54.0477
57.09/57.30 c GLOBAL bounds - >= 1922573 @ 54.0547
57.09/57.31 c GLOBAL bounds - >= 1922573 @ 54.0634
57.09/57.32 c GLOBAL bounds - >= 1922573 @ 54.0695
57.09/57.33 c GLOBAL bounds - >= 1922573 @ 54.0761
57.09/57.34 c GLOBAL bounds - >= 1922573 @ 54.0822
57.09/57.35 c GLOBAL bounds - >= 1922573 @ 54.0917
57.09/57.36 c GLOBAL bounds - >= 1922573 @ 54.0977
57.09/57.37 c GLOBAL bounds - >= 1922573 @ 54.1042
57.09/57.38 c GLOBAL bounds - >= 1922573 @ 54.1114
57.09/57.39 c GLOBAL bounds - >= 1922573 @ 54.121
57.18/57.40 c GLOBAL bounds - >= 1922573 @ 54.1271
57.18/57.41 c GLOBAL bounds - >= 1922573 @ 54.1366
57.18/57.42 c GLOBAL bounds - >= 1922573 @ 54.1436
57.18/57.43 c GLOBAL bounds - >= 1922573 @ 54.1512
57.18/57.44 c GLOBAL bounds - >= 1922573 @ 54.1575
57.18/57.45 c GLOBAL bounds - >= 1922573 @ 54.1661
57.18/57.46 c GLOBAL bounds - >= 1922573 @ 54.1766
57.18/57.48 c GLOBAL bounds - >= 1922573 @ 54.1908
57.18/57.49 c GLOBAL bounds - >= 1922573 @ 54.2016
57.39/57.63 c GLOBAL bounds - >= 1922573 @ 54.3301
57.39/57.65 c GLOBAL bounds - >= 1922573 @ 54.3447
57.39/57.66 c GLOBAL bounds - >= 1922573 @ 54.3541
57.39/57.68 c GLOBAL bounds - >= 1922573 @ 54.364
57.39/57.69 c GLOBAL bounds - >= 1922573 @ 54.3725
57.58/57.82 c GLOBAL bounds - >= 1922573 @ 54.4981
57.58/57.84 c GLOBAL bounds - >= 1922573 @ 54.5093
57.58/57.89 c GLOBAL bounds - >= 1922573 @ 54.5556
57.69/57.95 c GLOBAL bounds - >= 1922573 @ 54.6067
57.69/57.97 c GLOBAL bounds - >= 1922573 @ 54.6221
60.28/60.58 c #Conflicts: 16000 | #Constraints: 67667
60.28/60.58 c GLOBAL bounds - >= 1922573 @ 57.1576
60.48/60.72 c GLOBAL bounds - >= 1922573 @ 57.2921
62.37/62.64 c #Conflicts: 17000 | #Constraints: 68981
62.37/62.64 c GLOBAL bounds - >= 1922573 @ 59.1808
62.47/62.71 c GLOBAL bounds - >= 1922573 @ 59.2466
62.57/62.85 c GLOBAL bounds - >= 1922573 @ 59.3764
64.36/64.68 c GLOBAL bounds - >= 1922573 @ 61.1493
86.80/87.13 c #Conflicts: 18000 | #Constraints: 70609
86.80/87.13 c INPROCESSING
86.80/87.13 c GARBAGE COLLECT
86.80/87.13 c #Conflicts: 19000 | #Constraints: 68584
86.80/87.13 c #Conflicts: 20000 | #Constraints: 69584
86.80/87.13 c #Conflicts: 21000 | #Constraints: 70584
86.80/87.13 c INPROCESSING
86.80/87.13 c GARBAGE COLLECT
86.80/87.13 c #Conflicts: 22000 | #Constraints: 68391
86.80/87.13 c #Conflicts: 23000 | #Constraints: 69391
86.80/87.13 c GLOBAL bounds - >= 1938662 @ 83.1502
86.80/87.14 c GLOBAL bounds - >= 1938662 @ 83.1669
86.80/87.15 c GLOBAL bounds - >= 1938662 @ 83.1718
86.80/87.16 c GLOBAL bounds - >= 1938662 @ 83.1776
86.80/87.16 c GLOBAL bounds - >= 1938662 @ 83.1837
86.99/87.37 c GLOBAL bounds - >= 1938662 @ 83.3884
86.99/87.38 c GLOBAL bounds - >= 1938662 @ 83.3936
86.99/87.40 c GLOBAL bounds - >= 1938662 @ 83.4043
87.09/87.40 c GLOBAL bounds - >= 1938662 @ 83.4113
87.09/87.42 c GLOBAL bounds - >= 1938662 @ 83.4225
87.09/87.42 c GLOBAL bounds - >= 1938662 @ 83.4295
87.09/87.44 c GLOBAL bounds - >= 1938662 @ 83.4386
87.09/87.45 c GLOBAL bounds - >= 1938662 @ 83.4456
87.09/87.46 c GLOBAL bounds - >= 1938662 @ 83.4586
87.09/87.47 c GLOBAL bounds - >= 1938662 @ 83.4638
87.09/87.48 c GLOBAL bounds - >= 1938662 @ 83.4756
87.09/87.49 c GLOBAL bounds - >= 1938662 @ 83.4809
87.19/87.50 c GLOBAL bounds - >= 1938662 @ 83.489
87.19/87.51 c GLOBAL bounds - >= 1938662 @ 83.4951
87.19/87.52 c GLOBAL bounds - >= 1938662 @ 83.5072
87.19/87.53 c GLOBAL bounds - >= 1938662 @ 83.5132
87.19/87.54 c GLOBAL bounds - >= 1938662 @ 83.5231
87.19/87.55 c GLOBAL bounds - >= 1938662 @ 83.5293
87.19/87.57 c GLOBAL bounds - >= 1938662 @ 83.539
87.30/87.60 c GLOBAL bounds - >= 1938662 @ 83.5732
87.40/87.70 c GLOBAL bounds - >= 1938662 @ 83.6609
87.40/87.72 c GLOBAL bounds - >= 1938662 @ 83.6755
87.40/87.75 c GLOBAL bounds - >= 1938662 @ 83.6989
87.40/87.76 c GLOBAL bounds - >= 1938662 @ 83.7099
87.40/87.79 c GLOBAL bounds - >= 1938662 @ 83.728
87.50/87.82 c GLOBAL bounds - >= 1938662 @ 83.7634
87.59/87.93 c GLOBAL bounds - >= 1938662 @ 83.8665
87.59/87.95 c GLOBAL bounds - >= 1938662 @ 83.8823
98.85/99.28 c #Conflicts: 24000 | #Constraints: 73316
98.85/99.28 c #Conflicts: 25000 | #Constraints: 74316
98.85/99.28 c INPROCESSING
98.85/99.28 c GARBAGE COLLECT
98.85/99.28 c #Conflicts: 26000 | #Constraints: 71907
98.85/99.28 c GLOBAL bounds - >= 1938662 @ 94.9597
98.85/99.30 c GLOBAL bounds - >= 1938662 @ 94.974
99.25/99.61 c #Conflicts: 27000 | #Constraints: 73221
99.25/99.61 c GLOBAL bounds - >= 1938662 @ 95.2867
113.31/113.77 c #Conflicts: 28000 | #Constraints: 74378
113.31/113.77 c #Conflicts: 29000 | #Constraints: 75378
113.31/113.77 c INPROCESSING
113.31/113.77 c GARBAGE COLLECT
113.31/113.77 c #Conflicts: 30000 | #Constraints: 72789
113.31/113.77 c GLOBAL bounds - >= 1938662 @ 109.179
120.09/120.56 c #Conflicts: 31000 | #Constraints: 73946
120.09/120.56 c GLOBAL bounds - >= 1940293 @ 115.851
120.09/120.57 c GLOBAL bounds - >= 1940293 @ 115.864
120.09/120.58 c GLOBAL bounds - >= 1940293 @ 115.869
120.09/120.58 c GLOBAL bounds - >= 1940293 @ 115.875
120.09/120.59 c GLOBAL bounds - >= 1940293 @ 115.88
120.09/120.59 c GLOBAL bounds - >= 1940293 @ 115.885
120.19/120.60 c GLOBAL bounds - >= 1940293 @ 115.889
120.29/120.70 c GLOBAL bounds - >= 1940293 @ 115.986
120.29/120.71 c GLOBAL bounds - >= 1940293 @ 115.992
120.29/120.72 c GLOBAL bounds - >= 1940293 @ 116.002
120.29/120.73 c GLOBAL bounds - >= 1940293 @ 116.008
120.29/120.75 c GLOBAL bounds - >= 1940293 @ 116.017
120.29/120.75 c GLOBAL bounds - >= 1940293 @ 116.022
120.29/120.77 c GLOBAL bounds - >= 1940293 @ 116.032
120.29/120.77 c GLOBAL bounds - >= 1940293 @ 116.037
120.29/120.79 c GLOBAL bounds - >= 1940293 @ 116.045
120.39/120.80 c GLOBAL bounds - >= 1940293 @ 116.052
120.39/120.81 c GLOBAL bounds - >= 1940293 @ 116.064
120.39/120.82 c GLOBAL bounds - >= 1940293 @ 116.071
120.39/120.83 c GLOBAL bounds - >= 1940293 @ 116.083
120.39/120.84 c GLOBAL bounds - >= 1940293 @ 116.089
120.39/120.86 c GLOBAL bounds - >= 1940293 @ 116.1
120.39/120.86 c GLOBAL bounds - >= 1940293 @ 116.107
120.39/120.88 c GLOBAL bounds - >= 1940293 @ 116.117
120.39/120.88 c GLOBAL bounds - >= 1940293 @ 116.123
120.49/120.90 c GLOBAL bounds - >= 1940293 @ 116.135
120.49/120.92 c GLOBAL bounds - >= 1940293 @ 116.152
120.49/120.94 c GLOBAL bounds - >= 1940293 @ 116.165
120.49/120.96 c GLOBAL bounds - >= 1940293 @ 116.177
120.49/121.01 c GLOBAL bounds - >= 1940293 @ 116.224
120.61/121.02 c GLOBAL bounds - >= 1940293 @ 116.236
120.61/121.10 c GLOBAL bounds - >= 1940293 @ 116.309
120.79/121.27 c GLOBAL bounds - >= 1940293 @ 116.471
120.79/121.29 c GLOBAL bounds - >= 1940293 @ 116.482
120.89/121.30 c GLOBAL bounds - >= 1940293 @ 116.492
120.89/121.33 c GLOBAL bounds - >= 1940293 @ 116.514
120.89/121.35 c GLOBAL bounds - >= 1940293 @ 116.529
120.89/121.39 c GLOBAL bounds - >= 1940293 @ 116.56
120.98/121.43 c GLOBAL bounds - >= 1940293 @ 116.593
120.98/121.45 c GLOBAL bounds - >= 1940293 @ 116.608
121.88/122.32 c #Conflicts: 32000 | #Constraints: 78602
121.88/122.32 c GLOBAL bounds - >= 1940293 @ 117.458
121.99/122.41 c GLOBAL bounds - >= 1940293 @ 117.543
121.99/122.43 c GLOBAL bounds - >= 1940293 @ 117.566
121.99/122.50 c GLOBAL bounds - >= 1940293 @ 117.622
122.98/123.40 c GLOBAL bounds - >= 1940293 @ 118.504
123.38/123.82 c GLOBAL bounds - >= 1940293 @ 118.916
124.87/125.36 c GLOBAL bounds - >= 1940293 @ 120.417
153.78/154.37 c #Conflicts: 33000 | #Constraints: 80701
153.78/154.37 c INPROCESSING
153.78/154.37 c GARBAGE COLLECT
153.78/154.37 c #Conflicts: 34000 | #Constraints: 77855
153.78/154.37 c #Conflicts: 35000 | #Constraints: 78855
153.78/154.37 c #Conflicts: 36000 | #Constraints: 79855
153.78/154.37 c #Conflicts: 37000 | #Constraints: 80855
153.78/154.37 c INPROCESSING
153.78/154.37 c GARBAGE COLLECT
153.78/154.37 c #Conflicts: 38000 | #Constraints: 77868
153.78/154.37 c #Conflicts: 39000 | #Constraints: 78868
153.78/154.37 c GLOBAL bounds - >= 1962258 @ 148.906
153.78/154.39 c GLOBAL bounds - >= 1962258 @ 148.926
153.89/154.40 c GLOBAL bounds - >= 1962258 @ 148.932
153.89/154.40 c GLOBAL bounds - >= 1962258 @ 148.937
153.89/154.41 c GLOBAL bounds - >= 1962258 @ 148.943
153.89/154.41 c GLOBAL bounds - >= 1962258 @ 148.947
153.89/154.42 c GLOBAL bounds - >= 1962258 @ 148.952
153.89/154.42 c GLOBAL bounds - >= 1962258 @ 148.956
153.89/154.44 c GLOBAL bounds - >= 1962258 @ 148.971
153.89/154.45 c GLOBAL bounds - >= 1962258 @ 148.977
153.89/154.47 c GLOBAL bounds - >= 1962258 @ 148.987
153.89/154.47 c GLOBAL bounds - >= 1962258 @ 148.994
154.18/154.70 c GLOBAL bounds - >= 1962258 @ 149.217
154.18/154.71 c GLOBAL bounds - >= 1962258 @ 149.223
154.18/154.72 c GLOBAL bounds - >= 1962258 @ 149.235
154.18/154.73 c GLOBAL bounds - >= 1962258 @ 149.242
154.18/154.75 c GLOBAL bounds - >= 1962258 @ 149.253
154.18/154.75 c GLOBAL bounds - >= 1962258 @ 149.261
154.18/154.77 c GLOBAL bounds - >= 1962258 @ 149.271
154.18/154.78 c GLOBAL bounds - >= 1962258 @ 149.278
154.18/154.79 c GLOBAL bounds - >= 1962258 @ 149.29
154.28/154.80 c GLOBAL bounds - >= 1962258 @ 149.296
154.28/154.81 c GLOBAL bounds - >= 1962258 @ 149.307
154.28/154.82 c GLOBAL bounds - >= 1962258 @ 149.313
154.28/154.84 c GLOBAL bounds - >= 1962258 @ 149.325
154.28/154.84 c GLOBAL bounds - >= 1962258 @ 149.33
154.28/154.86 c GLOBAL bounds - >= 1962258 @ 149.343
154.28/154.88 c GLOBAL bounds - >= 1962258 @ 149.353
154.28/154.90 c GLOBAL bounds - >= 1962258 @ 149.367
154.39/154.91 c GLOBAL bounds - >= 1962258 @ 149.381
154.39/154.93 c GLOBAL bounds - >= 1962258 @ 149.392
154.39/154.96 c GLOBAL bounds - >= 1962258 @ 149.417
154.39/154.99 c GLOBAL bounds - >= 1962258 @ 149.449
154.50/155.01 c GLOBAL bounds - >= 1962258 @ 149.461
154.50/155.04 c GLOBAL bounds - >= 1962258 @ 149.482
154.60/155.19 c #Conflicts: 40000 | #Constraints: 82545
154.60/155.19 c GLOBAL bounds - >= 1962258 @ 149.622
154.68/155.22 c GLOBAL bounds - >= 1962258 @ 149.644
154.68/155.23 c GLOBAL bounds - >= 1962258 @ 149.659
154.78/155.33 c GLOBAL bounds - >= 1962258 @ 149.748
154.78/155.35 c GLOBAL bounds - >= 1962258 @ 149.768
222.47/223.20 c #Conflicts: 41000 | #Constraints: 84330
222.47/223.20 c INPROCESSING
222.47/223.20 c GARBAGE COLLECT
222.47/223.20 c #Conflicts: 42000 | #Constraints: 81099
222.47/223.20 c #Conflicts: 43000 | #Constraints: 82099
222.47/223.20 c #Conflicts: 44000 | #Constraints: 83099
222.47/223.20 c #Conflicts: 45000 | #Constraints: 84099
222.47/223.20 c #Conflicts: 46000 | #Constraints: 85099
222.47/223.20 c INPROCESSING
222.47/223.20 c GARBAGE COLLECT
222.47/223.20 c #Conflicts: 47000 | #Constraints: 81696
222.47/223.20 c #Conflicts: 48000 | #Constraints: 82696
222.47/223.20 c #Conflicts: 49000 | #Constraints: 83696
222.47/223.20 c #Conflicts: 50000 | #Constraints: 84696
222.47/223.20 c #Conflicts: 51000 | #Constraints: 85696
222.47/223.20 c INPROCESSING
222.47/223.20 c GARBAGE COLLECT
222.47/223.20 c #Conflicts: 52000 | #Constraints: 82121
222.47/223.20 c #Conflicts: 53000 | #Constraints: 83121
222.47/223.20 c #Conflicts: 54000 | #Constraints: 84121
222.47/223.20 c GLOBAL bounds - >= 1966039 @ 216.482
222.47/223.21 c GLOBAL bounds - >= 1966039 @ 216.496
222.47/223.22 c GLOBAL bounds - >= 1966039 @ 216.502
222.47/223.23 c GLOBAL bounds - >= 1966039 @ 216.507
222.47/223.23 c GLOBAL bounds - >= 1966039 @ 216.511
222.56/223.38 c GLOBAL bounds - >= 1966039 @ 216.65
222.56/223.38 c GLOBAL bounds - >= 1966039 @ 216.656
222.66/223.40 c GLOBAL bounds - >= 1966039 @ 216.67
222.66/223.41 c GLOBAL bounds - >= 1966039 @ 216.676
222.66/223.42 c GLOBAL bounds - >= 1966039 @ 216.685
222.66/223.43 c GLOBAL bounds - >= 1966039 @ 216.691
222.66/223.45 c GLOBAL bounds - >= 1966039 @ 216.703
222.66/223.45 c GLOBAL bounds - >= 1966039 @ 216.709
222.66/223.47 c GLOBAL bounds - >= 1966039 @ 216.719
222.66/223.48 c GLOBAL bounds - >= 1966039 @ 216.726
222.66/223.49 c GLOBAL bounds - >= 1966039 @ 216.737
222.77/223.50 c GLOBAL bounds - >= 1966039 @ 216.743
222.77/223.52 c GLOBAL bounds - >= 1966039 @ 216.755
222.77/223.52 c GLOBAL bounds - >= 1966039 @ 216.762
222.77/223.54 c GLOBAL bounds - >= 1966039 @ 216.776
222.77/223.55 c GLOBAL bounds - >= 1966039 @ 216.783
222.77/223.57 c GLOBAL bounds - >= 1966039 @ 216.795
222.77/223.57 c GLOBAL bounds - >= 1966039 @ 216.802
222.77/223.59 c GLOBAL bounds - >= 1966039 @ 216.815
222.87/223.61 c GLOBAL bounds - >= 1966039 @ 216.83
222.87/223.63 c GLOBAL bounds - >= 1966039 @ 216.846
222.87/223.65 c GLOBAL bounds - >= 1966039 @ 216.857
222.87/223.66 c GLOBAL bounds - >= 1966039 @ 216.87
222.87/223.69 c GLOBAL bounds - >= 1966039 @ 216.894
222.97/223.71 c GLOBAL bounds - >= 1966039 @ 216.903
222.97/223.77 c GLOBAL bounds - >= 1966039 @ 216.962
223.06/223.86 c GLOBAL bounds - >= 1966039 @ 217.043
223.17/223.97 c GLOBAL bounds - >= 1966039 @ 217.151
223.28/224.03 c GLOBAL bounds - >= 1966039 @ 217.206
223.28/224.05 c GLOBAL bounds - >= 1966039 @ 217.219
223.28/224.10 c GLOBAL bounds - >= 1966039 @ 217.262
223.38/224.15 c GLOBAL bounds - >= 1966039 @ 217.315
223.38/224.18 c GLOBAL bounds - >= 1966039 @ 217.334
223.47/224.20 c GLOBAL bounds - >= 1966039 @ 217.351
223.67/224.47 c GLOBAL bounds - >= 1966039 @ 217.611
224.37/225.15 c GLOBAL bounds - >= 1966039 @ 218.267
226.16/226.98 c #Conflicts: 55000 | #Constraints: 89144
226.16/226.98 c GLOBAL bounds - >= 1966039 @ 220.069
226.27/227.06 c GLOBAL bounds - >= 1966039 @ 220.14
226.55/227.38 c GLOBAL bounds - >= 1966039 @ 220.45
227.15/227.92 c GLOBAL bounds - >= 1966039 @ 220.981
227.45/228.20 c GLOBAL bounds - >= 1966039 @ 221.25
227.45/228.22 c GLOBAL bounds - >= 1966039 @ 221.273
228.84/229.67 c #Conflicts: 56000 | #Constraints: 91086
228.84/229.67 c INPROCESSING
228.84/229.67 c GARBAGE COLLECT
228.84/229.67 c GLOBAL bounds - >= 1966039 @ 222.695
238.71/239.54 c #Conflicts: 57000 | #Constraints: 87399
238.71/239.54 c #Conflicts: 58000 | #Constraints: 88399
238.71/239.54 c GLOBAL bounds - >= 1966039 @ 232.363
239.01/239.83 c GLOBAL bounds - >= 1966039 @ 232.637
239.01/239.85 c GLOBAL bounds - >= 1966039 @ 232.659
340.59/341.70 c #Conflicts: 59000 | #Constraints: 89870
340.59/341.70 c #Conflicts: 60000 | #Constraints: 90870
340.59/341.70 c #Conflicts: 61000 | #Constraints: 91870
340.59/341.70 c INPROCESSING
340.59/341.70 c GARBAGE COLLECT
340.59/341.70 c #Conflicts: 62000 | #Constraints: 87871
340.59/341.70 c #Conflicts: 63000 | #Constraints: 88871
340.59/341.70 c #Conflicts: 64000 | #Constraints: 89871
340.59/341.70 c #Conflicts: 65000 | #Constraints: 90871
340.59/341.70 c #Conflicts: 66000 | #Constraints: 91871
340.59/341.70 c INPROCESSING
340.59/341.70 c GARBAGE COLLECT
340.59/341.70 c #Conflicts: 67000 | #Constraints: 87676
340.59/341.70 c #Conflicts: 68000 | #Constraints: 88676
340.59/341.70 c #Conflicts: 69000 | #Constraints: 89676
340.59/341.70 c #Conflicts: 70000 | #Constraints: 90676
340.59/341.70 c #Conflicts: 71000 | #Constraints: 91676
340.59/341.70 c #Conflicts: 72000 | #Constraints: 92676
340.59/341.70 c INPROCESSING
340.59/341.70 c GARBAGE COLLECT
340.59/341.70 c #Conflicts: 73000 | #Constraints: 88292
340.59/341.70 c #Conflicts: 74000 | #Constraints: 89292
340.59/341.70 c #Conflicts: 75000 | #Constraints: 90292
340.59/341.70 c #Conflicts: 76000 | #Constraints: 91292
340.59/341.70 c #Conflicts: 77000 | #Constraints: 92292
340.59/341.70 c GLOBAL bounds - >= 1971284 @ 332.856
340.59/341.72 c GLOBAL bounds - >= 1971284 @ 332.876
340.59/341.73 c GLOBAL bounds - >= 1971284 @ 332.881
340.59/341.73 c GLOBAL bounds - >= 1971284 @ 332.885
340.59/341.74 c GLOBAL bounds - >= 1971284 @ 332.889
340.59/341.74 c GLOBAL bounds - >= 1971284 @ 332.894
340.59/341.75 c GLOBAL bounds - >= 1971284 @ 332.9
340.59/341.75 c GLOBAL bounds - >= 1971284 @ 332.905
340.59/341.76 c GLOBAL bounds - >= 1971284 @ 332.911
340.59/341.76 c GLOBAL bounds - >= 1971284 @ 332.915
340.69/341.80 c GLOBAL bounds - >= 1971284 @ 332.949
340.69/341.81 c GLOBAL bounds - >= 1971284 @ 332.956
340.79/341.99 c GLOBAL bounds - >= 1971284 @ 333.132
340.79/342.00 c GLOBAL bounds - >= 1971284 @ 333.139
340.90/342.02 c GLOBAL bounds - >= 1971284 @ 333.156
340.90/342.03 c GLOBAL bounds - >= 1971284 @ 333.163
340.90/342.05 c GLOBAL bounds - >= 1971284 @ 333.177
340.90/342.06 c GLOBAL bounds - >= 1971284 @ 333.182
340.90/342.08 c GLOBAL bounds - >= 1971284 @ 333.198
340.90/342.08 c GLOBAL bounds - >= 1971284 @ 333.204
340.90/342.10 c GLOBAL bounds - >= 1971284 @ 333.217
340.90/342.11 c GLOBAL bounds - >= 1971284 @ 333.223
341.00/342.13 c GLOBAL bounds - >= 1971284 @ 333.237
341.00/342.14 c GLOBAL bounds - >= 1971284 @ 333.244
341.00/342.16 c GLOBAL bounds - >= 1971284 @ 333.259
341.00/342.16 c GLOBAL bounds - >= 1971284 @ 333.266
341.00/342.18 c GLOBAL bounds - >= 1971284 @ 333.282
341.00/342.19 c GLOBAL bounds - >= 1971284 @ 333.289
341.09/342.21 c GLOBAL bounds - >= 1971284 @ 333.305
341.09/342.25 c GLOBAL bounds - >= 1971284 @ 333.345
341.09/342.28 c GLOBAL bounds - >= 1971284 @ 333.369
341.19/342.30 c GLOBAL bounds - >= 1971284 @ 333.387
341.19/342.33 c GLOBAL bounds - >= 1971284 @ 333.408
341.19/342.36 c GLOBAL bounds - >= 1971284 @ 333.433
341.19/342.38 c GLOBAL bounds - >= 1971284 @ 333.452
341.29/342.40 c GLOBAL bounds - >= 1971284 @ 333.466
341.29/342.42 c GLOBAL bounds - >= 1971284 @ 333.488
341.29/342.45 c GLOBAL bounds - >= 1971284 @ 333.506
341.29/342.47 c GLOBAL bounds - >= 1971284 @ 333.526
341.58/342.70 c GLOBAL bounds - >= 1971284 @ 333.748
341.58/342.74 c GLOBAL bounds - >= 1971284 @ 333.782
341.58/342.77 c GLOBAL bounds - >= 1971284 @ 333.806
341.58/342.79 c GLOBAL bounds - >= 1971284 @ 333.828
341.79/342.92 c GLOBAL bounds - >= 1971284 @ 333.945
341.99/343.16 c GLOBAL bounds - >= 1971284 @ 334.176
344.27/345.45 c #Conflicts: 78000 | #Constraints: 97227
344.27/345.45 c INPROCESSING
344.27/345.45 c GARBAGE COLLECT
344.27/345.45 c GLOBAL bounds - >= 1971284 @ 336.42
344.47/345.60 c GLOBAL bounds - >= 1971284 @ 336.569
344.47/345.62 c GLOBAL bounds - >= 1971284 @ 336.586
345.88/347.03 c GLOBAL bounds - >= 1971284 @ 337.96
345.88/347.05 c GLOBAL bounds - >= 1971284 @ 337.973
424.91/426.31 c #Conflicts: 79000 | #Constraints: 93364
424.91/426.31 c #Conflicts: 80000 | #Constraints: 94364
424.91/426.31 c #Conflicts: 81000 | #Constraints: 95364
424.91/426.31 c #Conflicts: 82000 | #Constraints: 96364
424.91/426.31 c #Conflicts: 83000 | #Constraints: 97364
424.91/426.31 c #Conflicts: 84000 | #Constraints: 98364
424.91/426.31 c INPROCESSING
424.91/426.31 c GARBAGE COLLECT
424.91/426.31 c #Conflicts: 85000 | #Constraints: 93581
424.91/426.31 c #Conflicts: 86000 | #Constraints: 94581
424.91/426.31 c #Conflicts: 87000 | #Constraints: 95581
424.91/426.31 c #Conflicts: 88000 | #Constraints: 96581
424.91/426.31 c #Conflicts: 89000 | #Constraints: 97581
424.91/426.31 c #Conflicts: 90000 | #Constraints: 98581
424.91/426.31 c INPROCESSING
424.91/426.31 c GARBAGE COLLECT
424.91/426.31 c #Conflicts: 91000 | #Constraints: 93559
424.91/426.31 c #Conflicts: 92000 | #Constraints: 94559
424.91/426.31 c #Conflicts: 93000 | #Constraints: 95559
424.91/426.31 c GLOBAL bounds - >= 1978674 @ 415.901
424.91/426.34 c GLOBAL bounds - >= 1978674 @ 415.923
424.91/426.34 c GLOBAL bounds - >= 1978674 @ 415.928
424.91/426.35 c GLOBAL bounds - >= 1978674 @ 415.933
424.91/426.35 c GLOBAL bounds - >= 1978674 @ 415.939
424.91/426.36 c GLOBAL bounds - >= 1978674 @ 415.944
424.91/426.37 c GLOBAL bounds - >= 1978674 @ 415.949
424.91/426.37 c GLOBAL bounds - >= 1978674 @ 415.954
424.91/426.38 c GLOBAL bounds - >= 1978674 @ 415.96
424.91/426.38 c GLOBAL bounds - >= 1978674 @ 415.965
424.91/426.39 c GLOBAL bounds - >= 1978674 @ 415.971
424.91/426.40 c GLOBAL bounds - >= 1978674 @ 415.976
425.02/426.40 c GLOBAL bounds - >= 1978674 @ 415.981
425.02/426.41 c GLOBAL bounds - >= 1978674 @ 415.987
425.41/426.80 c GLOBAL bounds - >= 1978674 @ 416.362
425.41/426.81 c GLOBAL bounds - >= 1978674 @ 416.369
425.41/426.82 c GLOBAL bounds - >= 1978674 @ 416.38
425.41/426.83 c GLOBAL bounds - >= 1978674 @ 416.386
425.41/426.85 c GLOBAL bounds - >= 1978674 @ 416.398
425.41/426.85 c GLOBAL bounds - >= 1978674 @ 416.404
425.41/426.87 c GLOBAL bounds - >= 1978674 @ 416.417
425.41/426.88 c GLOBAL bounds - >= 1978674 @ 416.425
425.41/426.89 c GLOBAL bounds - >= 1978674 @ 416.434
425.52/426.90 c GLOBAL bounds - >= 1978674 @ 416.44
425.52/426.92 c GLOBAL bounds - >= 1978674 @ 416.453
425.52/426.93 c GLOBAL bounds - >= 1978674 @ 416.459
425.52/426.94 c GLOBAL bounds - >= 1978674 @ 416.47
425.52/426.95 c GLOBAL bounds - >= 1978674 @ 416.477
425.52/426.97 c GLOBAL bounds - >= 1978674 @ 416.49
425.52/426.97 c GLOBAL bounds - >= 1978674 @ 416.497
425.52/426.99 c GLOBAL bounds - >= 1978674 @ 416.511
425.52/427.00 c GLOBAL bounds - >= 1978674 @ 416.517
425.62/427.02 c GLOBAL bounds - >= 1978674 @ 416.53
425.62/427.03 c GLOBAL bounds - >= 1978674 @ 416.545
425.62/427.05 c GLOBAL bounds - >= 1978674 @ 416.559
425.62/427.08 c GLOBAL bounds - >= 1978674 @ 416.585
425.62/427.10 c GLOBAL bounds - >= 1978674 @ 416.601
425.73/427.12 c GLOBAL bounds - >= 1978674 @ 416.62
425.73/427.15 c GLOBAL bounds - >= 1978674 @ 416.638
425.73/427.17 c GLOBAL bounds - >= 1978674 @ 416.659
425.81/427.21 c GLOBAL bounds - >= 1978674 @ 416.69
425.81/427.23 c GLOBAL bounds - >= 1978674 @ 416.705
425.81/427.25 c GLOBAL bounds - >= 1978674 @ 416.719
425.81/427.26 c GLOBAL bounds - >= 1978674 @ 416.733
425.91/427.32 c GLOBAL bounds - >= 1978674 @ 416.785
425.91/427.36 c GLOBAL bounds - >= 1978674 @ 416.82
425.91/427.38 c GLOBAL bounds - >= 1978674 @ 416.834
426.02/427.40 c GLOBAL bounds - >= 1978674 @ 416.848
426.02/427.44 c GLOBAL bounds - >= 1978674 @ 416.888
426.02/427.49 c GLOBAL bounds - >= 1978674 @ 416.93
426.11/427.53 c GLOBAL bounds - >= 1978674 @ 416.959
426.11/427.57 c GLOBAL bounds - >= 1978674 @ 416.999
426.11/427.59 c GLOBAL bounds - >= 1978674 @ 417.018
426.31/427.78 c GLOBAL bounds - >= 1978674 @ 417.19
426.62/428.10 c #Conflicts: 94000 | #Constraints: 100983
426.62/428.10 c GLOBAL bounds - >= 1978674 @ 417.502
426.73/428.12 c GLOBAL bounds - >= 1978674 @ 417.517
441.67/443.16 c #Conflicts: 95000 | #Constraints: 102297
441.67/443.16 c #Conflicts: 96000 | #Constraints: 103297
441.67/443.16 c INPROCESSING
441.67/443.16 c GARBAGE COLLECT
441.67/443.16 c #Conflicts: 97000 | #Constraints: 98051
441.67/443.16 c GLOBAL bounds - >= 1978674 @ 432.243
445.25/446.76 c #Conflicts: 98000 | #Constraints: 99208
445.25/446.76 c GLOBAL bounds - >= 1978674 @ 435.766
445.25/446.78 c GLOBAL bounds - >= 1978674 @ 435.784
445.35/446.82 c GLOBAL bounds - >= 1978674 @ 435.819
445.35/446.84 c GLOBAL bounds - >= 1978674 @ 435.837
451.33/452.89 c #Conflicts: 99000 | #Constraints: 100836
451.33/452.89 c #Conflicts: 100000 | #Constraints: 101836
451.33/452.89 c GLOBAL bounds - >= 1978674 @ 441.779
453.82/455.36 c GLOBAL bounds - >= 1978674 @ 444.209
510.04/511.72 c #Conflicts: 101000 | #Constraints: 103150
510.04/511.72 c #Conflicts: 102000 | #Constraints: 104150
510.04/511.72 c #Conflicts: 103000 | #Constraints: 105150
510.04/511.72 c INPROCESSING
510.04/511.72 c GARBAGE COLLECT
510.04/511.72 c #Conflicts: 104000 | #Constraints: 99743
510.04/511.72 c #Conflicts: 105000 | #Constraints: 100743
510.04/511.72 c #Conflicts: 106000 | #Constraints: 101743
510.04/511.72 c #Conflicts: 107000 | #Constraints: 102743
510.04/511.72 c #Conflicts: 108000 | #Constraints: 103743
510.04/511.72 c #Conflicts: 109000 | #Constraints: 104743
510.04/511.72 c #Conflicts: 110000 | #Constraints: 105743
510.04/511.72 c INPROCESSING
510.04/511.72 c GARBAGE COLLECT
510.04/511.72 c #Conflicts: 111000 | #Constraints: 100158
510.04/511.72 c GLOBAL bounds - >= 1978674 @ 499.709
510.04/511.74 c GLOBAL bounds - >= 1978674 @ 499.727
950.17/953.43 c #Conflicts: 112000 | #Constraints: 101472
950.17/953.43 c #Conflicts: 113000 | #Constraints: 102472
950.17/953.43 c #Conflicts: 114000 | #Constraints: 103472
950.17/953.43 c #Conflicts: 115000 | #Constraints: 104472
950.17/953.43 c #Conflicts: 116000 | #Constraints: 105472
950.17/953.43 c #Conflicts: 117000 | #Constraints: 106472
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 118000 | #Constraints: 100669
950.17/953.43 c #Conflicts: 119000 | #Constraints: 101669
950.17/953.43 c #Conflicts: 120000 | #Constraints: 102669
950.17/953.43 c #Conflicts: 121000 | #Constraints: 103669
950.17/953.43 c #Conflicts: 122000 | #Constraints: 104669
950.17/953.43 c #Conflicts: 123000 | #Constraints: 105669
950.17/953.43 c #Conflicts: 124000 | #Constraints: 106669
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 125000 | #Constraints: 100672
950.17/953.43 c #Conflicts: 126000 | #Constraints: 101672
950.17/953.43 c #Conflicts: 127000 | #Constraints: 102672
950.17/953.43 c #Conflicts: 128000 | #Constraints: 103672
950.17/953.43 c #Conflicts: 129000 | #Constraints: 104672
950.17/953.43 c #Conflicts: 130000 | #Constraints: 105672
950.17/953.43 c #Conflicts: 131000 | #Constraints: 106672
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 132000 | #Constraints: 100471
950.17/953.43 c #Conflicts: 133000 | #Constraints: 101471
950.17/953.43 c #Conflicts: 134000 | #Constraints: 102471
950.17/953.43 c #Conflicts: 135000 | #Constraints: 103471
950.17/953.43 c #Conflicts: 136000 | #Constraints: 104471
950.17/953.43 c #Conflicts: 137000 | #Constraints: 105471
950.17/953.43 c #Conflicts: 138000 | #Constraints: 106471
950.17/953.43 c #Conflicts: 139000 | #Constraints: 107471
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 140000 | #Constraints: 101084
950.17/953.43 c #Conflicts: 141000 | #Constraints: 102084
950.17/953.43 c #Conflicts: 142000 | #Constraints: 103084
950.17/953.43 c #Conflicts: 143000 | #Constraints: 104084
950.17/953.43 c #Conflicts: 144000 | #Constraints: 105084
950.17/953.43 c #Conflicts: 145000 | #Constraints: 106084
950.17/953.43 c #Conflicts: 146000 | #Constraints: 107084
950.17/953.43 c #Conflicts: 147000 | #Constraints: 108084
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 148000 | #Constraints: 101486
950.17/953.43 c #Conflicts: 149000 | #Constraints: 102486
950.17/953.43 c #Conflicts: 150000 | #Constraints: 103486
950.17/953.43 c #Conflicts: 151000 | #Constraints: 104486
950.17/953.43 c #Conflicts: 152000 | #Constraints: 105486
950.17/953.43 c #Conflicts: 153000 | #Constraints: 106486
950.17/953.43 c #Conflicts: 154000 | #Constraints: 107486
950.17/953.43 c #Conflicts: 155000 | #Constraints: 108486
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 156000 | #Constraints: 101675
950.17/953.43 c #Conflicts: 157000 | #Constraints: 102675
950.17/953.43 c #Conflicts: 158000 | #Constraints: 103675
950.17/953.43 c #Conflicts: 159000 | #Constraints: 104675
950.17/953.43 c #Conflicts: 160000 | #Constraints: 105675
950.17/953.43 c #Conflicts: 161000 | #Constraints: 106675
950.17/953.43 c #Conflicts: 162000 | #Constraints: 107675
950.17/953.43 c #Conflicts: 163000 | #Constraints: 108675
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 164000 | #Constraints: 101676
950.17/953.43 c #Conflicts: 165000 | #Constraints: 102676
950.17/953.43 c #Conflicts: 166000 | #Constraints: 103676
950.17/953.43 c #Conflicts: 167000 | #Constraints: 104676
950.17/953.43 c #Conflicts: 168000 | #Constraints: 105676
950.17/953.43 c #Conflicts: 169000 | #Constraints: 106676
950.17/953.43 c #Conflicts: 170000 | #Constraints: 107676
950.17/953.43 c #Conflicts: 171000 | #Constraints: 108676
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 172000 | #Constraints: 101481
950.17/953.43 c #Conflicts: 173000 | #Constraints: 102481
950.17/953.43 c #Conflicts: 174000 | #Constraints: 103481
950.17/953.43 c #Conflicts: 175000 | #Constraints: 104481
950.17/953.43 c #Conflicts: 176000 | #Constraints: 105481
950.17/953.43 c #Conflicts: 177000 | #Constraints: 106481
950.17/953.43 c #Conflicts: 178000 | #Constraints: 107481
950.17/953.43 c #Conflicts: 179000 | #Constraints: 108481
950.17/953.43 c #Conflicts: 180000 | #Constraints: 109481
950.17/953.43 c INPROCESSING
950.17/953.43 c GARBAGE COLLECT
950.17/953.43 c #Conflicts: 181000 | #Constraints: 102090
950.17/953.43 c #Conflicts: 182000 | #Constraints: 103090
950.17/953.43 c #Conflicts: 183000 | #Constraints: 104090
950.17/953.43 c #Conflicts: 184000 | #Constraints: 105090
950.17/953.43 c #Conflicts: 185000 | #Constraints: 106090
1028.70/1032.26 c #Conflicts: 186000 | #Constraints: 107090
1028.70/1032.26 c #Conflicts: 187000 | #Constraints: 108090
1028.70/1032.26 c #Conflicts: 188000 | #Constraints: 109090
1028.70/1032.26 c #Conflicts: 189000 | #Constraints: 110090
1028.70/1032.26 c INPROCESSING
1028.70/1032.26 c GARBAGE COLLECT
1028.70/1032.26 c #Conflicts: 190000 | #Constraints: 102502
1028.70/1032.26 c #Conflicts: 191000 | #Constraints: 103502
1028.70/1032.26 c #Conflicts: 192000 | #Constraints: 104502
1028.70/1032.26 c #Conflicts: 193000 | #Constraints: 105502
1028.70/1032.26 c #Conflicts: 194000 | #Constraints: 106502
1028.70/1032.26 c #Conflicts: 195000 | #Constraints: 107502
1028.70/1032.26 c GLOBAL bounds - >= 2009912 @ 1012.63
1028.79/1032.30 c GLOBAL bounds - >= 2009912 @ 1012.67
1028.79/1032.30 c GLOBAL bounds - >= 2009912 @ 1012.67
1028.79/1032.31 c GLOBAL bounds - >= 2009912 @ 1012.68
1028.79/1032.32 c GLOBAL bounds - >= 2009912 @ 1012.68
1028.79/1032.32 c GLOBAL bounds - >= 2009912 @ 1012.69
1028.79/1032.33 c GLOBAL bounds - >= 2009912 @ 1012.69
1041.36/1044.95 c #Conflicts: 196000 | #Constraints: 108507
1041.36/1044.95 c #Conflicts: 197000 | #Constraints: 109507
1041.36/1044.95 c #Conflicts: 198000 | #Constraints: 110507
1041.36/1044.95 c INPROCESSING
1041.36/1044.95 c GARBAGE COLLECT
1041.36/1044.95 c GLOBAL bounds - >= 2009912 @ 1025.09
1041.36/1044.95 c GLOBAL bounds - >= 2009912 @ 1025.09
1041.36/1044.97 c GLOBAL bounds - >= 2009912 @ 1025.1
1041.36/1044.98 c GLOBAL bounds - >= 2009912 @ 1025.11
1041.36/1044.99 c GLOBAL bounds - >= 2009912 @ 1025.12
1041.36/1045.00 c GLOBAL bounds - >= 2009912 @ 1025.13
1041.47/1045.01 c GLOBAL bounds - >= 2009912 @ 1025.13
1041.47/1045.02 c GLOBAL bounds - >= 2009912 @ 1025.14
1041.47/1045.04 c GLOBAL bounds - >= 2009912 @ 1025.15
1041.47/1045.04 c GLOBAL bounds - >= 2009912 @ 1025.16
1041.47/1045.06 c GLOBAL bounds - >= 2009912 @ 1025.17
1041.47/1045.07 c GLOBAL bounds - >= 2009912 @ 1025.17
1041.47/1045.08 c GLOBAL bounds - >= 2009912 @ 1025.18
1041.47/1045.09 c GLOBAL bounds - >= 2009912 @ 1025.19
1041.47/1045.11 c GLOBAL bounds - >= 2009912 @ 1025.2
1041.57/1045.11 c GLOBAL bounds - >= 2009912 @ 1025.21
1041.57/1045.13 c GLOBAL bounds - >= 2009912 @ 1025.22
1041.57/1045.14 c GLOBAL bounds - >= 2009912 @ 1025.22
1041.57/1045.15 c GLOBAL bounds - >= 2009912 @ 1025.23
1041.57/1045.17 c GLOBAL bounds - >= 2009912 @ 1025.25
1041.57/1045.18 c GLOBAL bounds - >= 2009912 @ 1025.26
1041.65/1045.20 c GLOBAL bounds - >= 2009912 @ 1025.27
1041.65/1045.22 c GLOBAL bounds - >= 2009912 @ 1025.28
1041.65/1045.26 c GLOBAL bounds - >= 2009912 @ 1025.32
1041.85/1045.45 c GLOBAL bounds - >= 2009912 @ 1025.5
1041.85/1045.47 c GLOBAL bounds - >= 2009912 @ 1025.51
1041.85/1045.48 c GLOBAL bounds - >= 2009912 @ 1025.52
1041.96/1045.50 c GLOBAL bounds - >= 2009912 @ 1025.54
1041.96/1045.54 c GLOBAL bounds - >= 2009912 @ 1025.57
1042.35/1045.95 c GLOBAL bounds - >= 2009912 @ 1025.97
1042.57/1046.14 c GLOBAL bounds - >= 2009912 @ 1026.16
1042.57/1046.16 c GLOBAL bounds - >= 2009912 @ 1026.18
1042.75/1046.32 c GLOBAL bounds - >= 2009912 @ 1026.32
1042.86/1046.41 c GLOBAL bounds - >= 2009912 @ 1026.41
1042.86/1046.44 c GLOBAL bounds - >= 2009912 @ 1026.43
1043.06/1046.69 c GLOBAL bounds - >= 2009912 @ 1026.67
1043.15/1046.70 c GLOBAL bounds - >= 2009912 @ 1026.69
1045.24/1048.81 c #Conflicts: 199000 | #Constraints: 106837
1045.24/1048.81 c GLOBAL bounds - >= 2009912 @ 1028.75
1092.98/1096.73 c #Conflicts: 200000 | #Constraints: 107994
1092.98/1096.73 c #Conflicts: 201000 | #Constraints: 108994
1092.98/1096.73 c #Conflicts: 202000 | #Constraints: 109994
1092.98/1096.73 c #Conflicts: 203000 | #Constraints: 110994
1092.98/1096.73 c #Conflicts: 204000 | #Constraints: 111994
1092.98/1096.73 c #Conflicts: 205000 | #Constraints: 112994
1092.98/1096.73 c #Conflicts: 206000 | #Constraints: 113994
1092.98/1096.73 c #Conflicts: 207000 | #Constraints: 114994
1092.98/1096.73 c GLOBAL bounds - >= 2009912 @ 1075.91
1150.20/1154.13 c INPROCESSING
1150.20/1154.13 c GARBAGE COLLECT
1150.20/1154.13 c #Conflicts: 208000 | #Constraints: 107115
1150.20/1154.13 c #Conflicts: 209000 | #Constraints: 108115
1150.20/1154.13 c #Conflicts: 210000 | #Constraints: 109115
1150.20/1154.13 c #Conflicts: 211000 | #Constraints: 110115
1150.20/1154.13 c #Conflicts: 212000 | #Constraints: 111115
1150.20/1154.13 c #Conflicts: 213000 | #Constraints: 112115
1150.20/1154.13 c #Conflicts: 214000 | #Constraints: 113115
1150.20/1154.13 c #Conflicts: 215000 | #Constraints: 114115
1150.20/1154.13 c #Conflicts: 216000 | #Constraints: 115115
1150.20/1154.13 c INPROCESSING
1150.20/1154.13 c GARBAGE COLLECT
1150.20/1154.13 c #Conflicts: 217000 | #Constraints: 106928
1150.20/1154.13 c GLOBAL bounds - >= 2009912 @ 1132.45
1639.78/1645.23 c #Conflicts: 218000 | #Constraints: 108085
1639.78/1645.23 c #Conflicts: 219000 | #Constraints: 109085
1639.78/1645.23 c #Conflicts: 220000 | #Constraints: 110085
1639.78/1645.23 c #Conflicts: 221000 | #Constraints: 111085
1639.78/1645.23 c #Conflicts: 222000 | #Constraints: 112085
1639.78/1645.23 c #Conflicts: 223000 | #Constraints: 113085
1639.78/1645.23 c #Conflicts: 224000 | #Constraints: 114085
1639.78/1645.23 c #Conflicts: 225000 | #Constraints: 115085
1639.78/1645.23 c #Conflicts: 226000 | #Constraints: 116085
1639.78/1645.23 c INPROCESSING
1639.78/1645.23 c GARBAGE COLLECT
1639.78/1645.23 c #Conflicts: 227000 | #Constraints: 107686
1639.78/1645.23 c #Conflicts: 228000 | #Constraints: 108686
1639.78/1645.23 c #Conflicts: 229000 | #Constraints: 109686
1639.78/1645.23 c #Conflicts: 230000 | #Constraints: 110686
1639.78/1645.23 c #Conflicts: 231000 | #Constraints: 111686
1639.78/1645.23 c #Conflicts: 232000 | #Constraints: 112686
1639.78/1645.23 c #Conflicts: 233000 | #Constraints: 113686
1639.78/1645.23 c #Conflicts: 234000 | #Constraints: 114686
1639.78/1645.23 c #Conflicts: 235000 | #Constraints: 115686
1639.78/1645.23 c #Conflicts: 236000 | #Constraints: 116686
1639.78/1645.23 c INPROCESSING
1639.78/1645.23 c GARBAGE COLLECT
1639.78/1645.23 c #Conflicts: 237000 | #Constraints: 108093
1639.78/1645.23 c #Conflicts: 238000 | #Constraints: 109093
1639.78/1645.23 c #Conflicts: 239000 | #Constraints: 110093
1639.78/1645.23 c #Conflicts: 240000 | #Constraints: 111093
1639.78/1645.23 c #Conflicts: 241000 | #Constraints: 112093
1639.78/1645.23 c #Conflicts: 242000 | #Constraints: 113093
1639.78/1645.23 c #Conflicts: 243000 | #Constraints: 114093
1639.78/1645.23 c #Conflicts: 244000 | #Constraints: 115093
1639.78/1645.23 c #Conflicts: 245000 | #Constraints: 116093
1639.78/1645.23 c #Conflicts: 246000 | #Constraints: 117093
1639.78/1645.23 c INPROCESSING
1639.78/1645.23 c GARBAGE COLLECT
1639.78/1645.23 c #Conflicts: 247000 | #Constraints: 108315
1639.78/1645.23 c #Conflicts: 248000 | #Constraints: 109315
1639.78/1645.23 c #Conflicts: 249000 | #Constraints: 110315
1639.78/1645.23 c #Conflicts: 250000 | #Constraints: 111315
1639.78/1645.23 c #Conflicts: 251000 | #Constraints: 112315
1639.78/1645.23 c #Conflicts: 252000 | #Constraints: 113315
1639.78/1645.23 c #Conflicts: 253000 | #Constraints: 114315
1639.78/1645.23 c #Conflicts: 254000 | #Constraints: 115315
1639.78/1645.23 c #Conflicts: 255000 | #Constraints: 116315
1639.78/1645.23 c #Conflicts: 256000 | #Constraints: 117315
1639.78/1645.23 c INPROCESSING
1639.78/1645.23 c GARBAGE COLLECT
1639.78/1645.23 c #Conflicts: 257000 | #Constraints: 108305
1639.78/1645.23 c #Conflicts: 258000 | #Constraints: 109305
1639.78/1645.23 c #Conflicts: 259000 | #Constraints: 110305
1639.78/1645.23 c #Conflicts: 260000 | #Constraints: 111305
1639.78/1645.23 c #Conflicts: 261000 | #Constraints: 112305
1639.78/1645.23 c #Conflicts: 262000 | #Constraints: 113305
1639.78/1645.23 c #Conflicts: 263000 | #Constraints: 114305
1639.78/1645.23 c #Conflicts: 264000 | #Constraints: 115305
1639.78/1645.23 c #Conflicts: 265000 | #Constraints: 116305
1639.78/1645.23 c #Conflicts: 266000 | #Constraints: 117305
1639.78/1645.23 c INPROCESSING
1639.78/1645.23 c GARBAGE COLLECT
1639.78/1645.23 c #Conflicts: 267000 | #Constraints: 108107
1639.78/1645.23 c #Conflicts: 268000 | #Constraints: 109107
1639.78/1645.23 c #Conflicts: 269000 | #Constraints: 110107
1639.78/1645.23 c #Conflicts: 270000 | #Constraints: 111107
1639.78/1645.23 c #Conflicts: 271000 | #Constraints: 112107
1639.78/1645.23 c #Conflicts: 272000 | #Constraints: 113107
1639.78/1645.23 c #Conflicts: 273000 | #Constraints: 114107
1639.78/1645.23 c #Conflicts: 274000 | #Constraints: 115107
1639.78/1645.23 c #Conflicts: 275000 | #Constraints: 116107
1639.78/1645.23 c #Conflicts: 276000 | #Constraints: 117107
1639.78/1645.23 c #Conflicts: 277000 | #Constraints: 118107
1639.78/1645.23 c INPROCESSING
1639.78/1645.23 c GARBAGE COLLECT
1639.78/1645.23 c #Conflicts: 278000 | #Constraints: 108708
1639.78/1645.23 c #Conflicts: 279000 | #Constraints: 109708
1639.78/1645.23 c #Conflicts: 280000 | #Constraints: 110708
1639.78/1645.23 c #Conflicts: 281000 | #Constraints: 111708
1639.78/1645.23 c #Conflicts: 282000 | #Constraints: 112708
1639.78/1645.23 c #Conflicts: 283000 | #Constraints: 113708
1639.78/1645.23 c #Conflicts: 284000 | #Constraints: 114708
1639.78/1645.23 c #Conflicts: 285000 | #Constraints: 115708
1639.78/1645.23 c #Conflicts: 286000 | #Constraints: 116708
1639.78/1645.23 c #Conflicts: 287000 | #Constraints: 117708
1639.78/1645.23 c #Conflicts: 288000 | #Constraints: 118708
1639.78/1645.23 c INPROCESSING
1639.78/1645.23 c GARBAGE COLLECT
1639.78/1645.23 c #Conflicts: 289000 | #Constraints: 109093
1639.78/1645.23 c #Conflicts: 290000 | #Constraints: 110093
1639.78/1645.23 c #Conflicts: 291000 | #Constraints: 111093
1639.78/1645.23 c #Conflicts: 292000 | #Constraints: 112093
1855.66/1861.73 c #Conflicts: 293000 | #Constraints: 113093
1855.66/1861.73 c #Conflicts: 294000 | #Constraints: 114093
1855.66/1861.73 c #Conflicts: 295000 | #Constraints: 115093
1855.66/1861.73 c #Conflicts: 296000 | #Constraints: 116093
1855.66/1861.73 c #Conflicts: 297000 | #Constraints: 117093
1855.66/1861.73 c #Conflicts: 298000 | #Constraints: 118093
1855.66/1861.73 c #Conflicts: 299000 | #Constraints: 119093
1855.66/1861.73 c INPROCESSING
1855.66/1861.73 c GARBAGE COLLECT
1855.66/1861.73 c #Conflicts: 300000 | #Constraints: 109309
1855.66/1861.73 c #Conflicts: 301000 | #Constraints: 110309
1855.66/1861.73 c #Conflicts: 302000 | #Constraints: 111309
1855.66/1861.73 c #Conflicts: 303000 | #Constraints: 112309
1855.66/1861.73 c #Conflicts: 304000 | #Constraints: 113309
1855.66/1861.73 c #Conflicts: 305000 | #Constraints: 114309
1855.66/1861.73 c #Conflicts: 306000 | #Constraints: 115309
1855.66/1861.73 c #Conflicts: 307000 | #Constraints: 116309
1855.66/1861.73 c #Conflicts: 308000 | #Constraints: 117309
1855.66/1861.73 c #Conflicts: 309000 | #Constraints: 118309
1855.66/1861.73 c #Conflicts: 310000 | #Constraints: 119309
1855.66/1861.73 c INPROCESSING
1855.66/1861.73 c GARBAGE COLLECT
1855.66/1861.73 c #Conflicts: 311000 | #Constraints: 109313
1855.66/1861.73 c #Conflicts: 312000 | #Constraints: 110313
1855.66/1861.73 c #Conflicts: 313000 | #Constraints: 111313
1855.66/1861.73 c #Conflicts: 314000 | #Constraints: 112313
1855.66/1861.73 c #Conflicts: 315000 | #Constraints: 113313
1855.66/1861.73 c #Conflicts: 316000 | #Constraints: 114313
1855.66/1861.73 c #Conflicts: 317000 | #Constraints: 115313
1855.66/1861.73 c #Conflicts: 318000 | #Constraints: 116313
1855.66/1861.73 c #Conflicts: 319000 | #Constraints: 117313
1855.66/1861.73 c GLOBAL bounds - >= 2023603 @ 1831.07
1855.66/1861.77 c GLOBAL bounds - >= 2023603 @ 1831.1
1855.66/1861.77 c GLOBAL bounds - >= 2023603 @ 1831.1
1855.66/1861.78 c GLOBAL bounds - >= 2023603 @ 1831.11
1855.66/1861.79 c GLOBAL bounds - >= 2023603 @ 1831.12
1855.66/1861.79 c GLOBAL bounds - >= 2023603 @ 1831.12
1855.75/1861.80 c GLOBAL bounds - >= 2023603 @ 1831.13
1855.75/1861.80 c GLOBAL bounds - >= 2023603 @ 1831.13
1855.75/1861.81 c GLOBAL bounds - >= 2023603 @ 1831.14
1855.75/1861.81 c GLOBAL bounds - >= 2023603 @ 1831.14
1855.75/1861.82 c GLOBAL bounds - >= 2023603 @ 1831.15
1855.75/1861.83 c GLOBAL bounds - >= 2023603 @ 1831.15
1855.75/1861.83 c GLOBAL bounds - >= 2023603 @ 1831.16
1855.75/1861.84 c GLOBAL bounds - >= 2023603 @ 1831.17
1856.16/1862.23 c GLOBAL bounds - >= 2023603 @ 1831.55
1856.16/1862.24 c GLOBAL bounds - >= 2023603 @ 1831.55
1856.16/1862.26 c GLOBAL bounds - >= 2023603 @ 1831.57
1856.16/1862.27 c GLOBAL bounds - >= 2023603 @ 1831.58
1856.16/1862.29 c GLOBAL bounds - >= 2023603 @ 1831.6
1856.26/1862.30 c GLOBAL bounds - >= 2023603 @ 1831.6
1856.26/1862.33 c GLOBAL bounds - >= 2023603 @ 1831.62
1856.26/1862.33 c GLOBAL bounds - >= 2023603 @ 1831.63
1856.26/1862.36 c GLOBAL bounds - >= 2023603 @ 1831.65
1856.26/1862.36 c GLOBAL bounds - >= 2023603 @ 1831.66
1856.26/1862.39 c GLOBAL bounds - >= 2023603 @ 1831.68
1856.35/1862.40 c GLOBAL bounds - >= 2023603 @ 1831.69
1856.35/1862.42 c GLOBAL bounds - >= 2023603 @ 1831.71
1856.35/1862.43 c GLOBAL bounds - >= 2023603 @ 1831.72
1856.35/1862.46 c GLOBAL bounds - >= 2023603 @ 1831.74
1856.35/1862.46 c GLOBAL bounds - >= 2023603 @ 1831.75
1856.35/1862.49 c GLOBAL bounds - >= 2023603 @ 1831.77
1856.35/1862.49 c GLOBAL bounds - >= 2023603 @ 1831.77
1856.45/1862.52 c GLOBAL bounds - >= 2023603 @ 1831.79
1856.45/1862.54 c GLOBAL bounds - >= 2023603 @ 1831.81
1856.45/1862.57 c GLOBAL bounds - >= 2023603 @ 1831.83
1856.55/1862.60 c GLOBAL bounds - >= 2023603 @ 1831.86
1856.55/1862.62 c GLOBAL bounds - >= 2023603 @ 1831.88
1856.55/1862.65 c GLOBAL bounds - >= 2023603 @ 1831.9
1856.86/1862.91 c GLOBAL bounds - >= 2023603 @ 1832.15
1856.86/1862.96 c GLOBAL bounds - >= 2023603 @ 1832.2
1856.86/1862.99 c GLOBAL bounds - >= 2023603 @ 1832.22
1856.96/1863.03 c GLOBAL bounds - >= 2023603 @ 1832.25
1857.07/1863.13 c GLOBAL bounds - >= 2023603 @ 1832.35
1857.07/1863.16 c GLOBAL bounds - >= 2023603 @ 1832.37
1857.07/1863.18 c GLOBAL bounds - >= 2023603 @ 1832.4
1857.16/1863.21 c GLOBAL bounds - >= 2023603 @ 1832.42
1857.16/1863.26 c GLOBAL bounds - >= 2023603 @ 1832.46
1857.25/1863.38 c GLOBAL bounds - >= 2023603 @ 1832.58
1857.66/1863.70 c GLOBAL bounds - >= 2023603 @ 1832.89
1859.14/1865.22 c #Conflicts: 320000 | #Constraints: 122132
1859.14/1865.22 c GLOBAL bounds - >= 2023603 @ 1834.37
1859.54/1865.61 c GLOBAL bounds - >= 2023603 @ 1834.75
1862.14/1868.21 c #Conflicts: 321000 | #Constraints: 123446
1862.14/1868.21 c GLOBAL bounds - >= 2023603 @ 1837.31
1881.98/1888.17 c INPROCESSING
1881.98/1888.17 c GARBAGE COLLECT
1881.98/1888.17 c #Conflicts: 322000 | #Constraints: 113363
1881.98/1888.17 c #Conflicts: 323000 | #Constraints: 114363
1881.98/1888.17 c #Conflicts: 324000 | #Constraints: 115363
1881.98/1888.17 c #Conflicts: 325000 | #Constraints: 116363
1881.98/1888.17 c GLOBAL bounds - >= 2023603 @ 1856.9
1920.53/1926.85 c #Conflicts: 326000 | #Constraints: 117520
1920.53/1926.85 c #Conflicts: 327000 | #Constraints: 118520
1920.53/1926.85 c #Conflicts: 328000 | #Constraints: 119520
1920.53/1926.85 c #Conflicts: 329000 | #Constraints: 120520
1920.53/1926.85 c #Conflicts: 330000 | #Constraints: 121520
1920.53/1926.85 c #Conflicts: 331000 | #Constraints: 122520
1920.53/1926.85 c GLOBAL bounds - >= 2023603 @ 1895.05
1921.23/1927.59 c GLOBAL bounds - >= 2023603 @ 1895.77
1921.43/1927.72 c GLOBAL bounds - >= 2023603 @ 1895.9
2441.83/2449.64 c #Conflicts: 332000 | #Constraints: 123991
2441.83/2449.64 c #Conflicts: 333000 | #Constraints: 124991
2441.83/2449.64 c INPROCESSING
2441.83/2449.64 c GARBAGE COLLECT
2441.83/2449.64 c #Conflicts: 334000 | #Constraints: 114569
2441.83/2449.64 c #Conflicts: 335000 | #Constraints: 115569
2441.83/2449.64 c #Conflicts: 336000 | #Constraints: 116569
2441.83/2449.64 c #Conflicts: 337000 | #Constraints: 117569
2441.83/2449.64 c #Conflicts: 338000 | #Constraints: 118569
2441.83/2449.64 c #Conflicts: 339000 | #Constraints: 119569
2441.83/2449.64 c #Conflicts: 340000 | #Constraints: 120569
2441.83/2449.64 c #Conflicts: 341000 | #Constraints: 121569
2441.83/2449.64 c #Conflicts: 342000 | #Constraints: 122569
2441.83/2449.64 c #Conflicts: 343000 | #Constraints: 123569
2441.83/2449.64 c #Conflicts: 344000 | #Constraints: 124569
2441.83/2449.64 c #Conflicts: 345000 | #Constraints: 125569
2441.83/2449.64 c INPROCESSING
2441.83/2449.64 c GARBAGE COLLECT
2441.83/2449.64 c #Conflicts: 346000 | #Constraints: 114972
2441.83/2449.64 c #Conflicts: 347000 | #Constraints: 115972
2441.83/2449.64 c #Conflicts: 348000 | #Constraints: 116972
2441.83/2449.64 c #Conflicts: 349000 | #Constraints: 117972
2441.83/2449.64 c #Conflicts: 350000 | #Constraints: 118972
2441.83/2449.64 c #Conflicts: 351000 | #Constraints: 119972
2441.83/2449.64 c #Conflicts: 352000 | #Constraints: 120972
2441.83/2449.64 c #Conflicts: 353000 | #Constraints: 121972
2441.83/2449.64 c #Conflicts: 354000 | #Constraints: 122972
2441.83/2449.64 c #Conflicts: 355000 | #Constraints: 123972
2441.83/2449.64 c #Conflicts: 356000 | #Constraints: 124972
2441.83/2449.64 c #Conflicts: 357000 | #Constraints: 125972
2441.83/2449.64 c INPROCESSING
2441.83/2449.64 c GARBAGE COLLECT
2441.83/2449.64 c #Conflicts: 358000 | #Constraints: 115188
2441.83/2449.64 c #Conflicts: 359000 | #Constraints: 116188
2441.83/2449.64 c #Conflicts: 360000 | #Constraints: 117188
2441.83/2449.64 c #Conflicts: 361000 | #Constraints: 118188
2441.83/2449.64 c #Conflicts: 362000 | #Constraints: 119188
2441.83/2449.64 c #Conflicts: 363000 | #Constraints: 120188
2441.83/2449.64 c #Conflicts: 364000 | #Constraints: 121188
2441.83/2449.64 c #Conflicts: 365000 | #Constraints: 122188
2441.83/2449.64 c #Conflicts: 366000 | #Constraints: 123188
2441.83/2449.64 c #Conflicts: 367000 | #Constraints: 124188
2441.83/2449.64 c #Conflicts: 368000 | #Constraints: 125188
2441.83/2449.64 c #Conflicts: 369000 | #Constraints: 126188
2441.83/2449.64 c INPROCESSING
2441.83/2449.64 c GARBAGE COLLECT
2441.83/2449.64 c #Conflicts: 370000 | #Constraints: 115196
2441.83/2449.64 c #Conflicts: 371000 | #Constraints: 116196
2441.83/2449.64 c #Conflicts: 372000 | #Constraints: 117196
2441.83/2449.64 c #Conflicts: 373000 | #Constraints: 118196
2441.83/2449.64 c #Conflicts: 374000 | #Constraints: 119196
2441.83/2449.64 c #Conflicts: 375000 | #Constraints: 120196
2441.83/2449.64 c #Conflicts: 376000 | #Constraints: 121196
2441.83/2449.64 c #Conflicts: 377000 | #Constraints: 122196
2441.83/2449.64 c #Conflicts: 378000 | #Constraints: 123196
2441.83/2449.64 c #Conflicts: 379000 | #Constraints: 124196
2441.83/2449.64 c #Conflicts: 380000 | #Constraints: 125196
2441.83/2449.64 c #Conflicts: 381000 | #Constraints: 126196
2441.83/2449.64 c INPROCESSING
2441.83/2449.64 c GARBAGE COLLECT
2441.83/2449.64 c #Conflicts: 382000 | #Constraints: 114995
2441.83/2449.64 c #Conflicts: 383000 | #Constraints: 115995
2441.83/2449.64 c #Conflicts: 384000 | #Constraints: 116995
2441.83/2449.64 c #Conflicts: 385000 | #Constraints: 117995
2441.83/2449.64 c #Conflicts: 386000 | #Constraints: 118995
2441.83/2449.64 c #Conflicts: 387000 | #Constraints: 119995
2441.83/2449.64 c #Conflicts: 388000 | #Constraints: 120995
2441.83/2449.64 c #Conflicts: 389000 | #Constraints: 121995
2441.83/2449.64 c #Conflicts: 390000 | #Constraints: 122995
2441.83/2449.64 c #Conflicts: 391000 | #Constraints: 123995
2441.83/2449.64 c #Conflicts: 392000 | #Constraints: 124995
2441.83/2449.64 c #Conflicts: 393000 | #Constraints: 125995
2441.83/2449.64 c #Conflicts: 394000 | #Constraints: 126995
2441.83/2449.64 c INPROCESSING
2441.83/2449.64 c GARBAGE COLLECT
2441.83/2449.64 c #Conflicts: 395000 | #Constraints: 115589
2441.83/2449.64 c #Conflicts: 396000 | #Constraints: 116589
2441.83/2449.64 c #Conflicts: 397000 | #Constraints: 117589
2441.83/2449.64 c #Conflicts: 398000 | #Constraints: 118589
2441.83/2449.64 c #Conflicts: 399000 | #Constraints: 119589
2441.83/2449.64 c #Conflicts: 400000 | #Constraints: 120589
2441.83/2449.64 c #Conflicts: 401000 | #Constraints: 121589
2441.83/2449.64 c #Conflicts: 402000 | #Constraints: 122589
2441.83/2449.64 c #Conflicts: 403000 | #Constraints: 123589
2441.83/2449.64 c #Conflicts: 404000 | #Constraints: 124589
2441.83/2449.64 c #Conflicts: 405000 | #Constraints: 125589
2441.83/2449.64 c #Conflicts: 406000 | #Constraints: 126589
2500.56/2508.54 c #Conflicts: 407000 | #Constraints: 127589
2500.56/2508.54 c INPROCESSING
2500.56/2508.54 c GARBAGE COLLECT
2500.56/2508.54 c #Conflicts: 408000 | #Constraints: 115981
2500.56/2508.54 c #Conflicts: 409000 | #Constraints: 116981
2500.56/2508.54 c #Conflicts: 410000 | #Constraints: 117981
2500.56/2508.54 c #Conflicts: 411000 | #Constraints: 118981
2500.56/2508.54 c #Conflicts: 412000 | #Constraints: 119981
2500.56/2508.54 c #Conflicts: 413000 | #Constraints: 120981
2500.56/2508.54 c #Conflicts: 414000 | #Constraints: 121981
2500.56/2508.54 c GLOBAL bounds - >= 2023603 @ 2469.63
2523.90/2531.98 c #Conflicts: 415000 | #Constraints: 123138
2523.90/2531.98 c #Conflicts: 416000 | #Constraints: 124138
2523.90/2531.98 c #Conflicts: 417000 | #Constraints: 125138
2523.90/2531.98 c GLOBAL bounds - >= 2023603 @ 2492.82
2526.69/2534.75 c GLOBAL bounds - >= 2023603 @ 2495.56
3051.50/3061.08 c #Conflicts: 418000 | #Constraints: 126452
3051.50/3061.08 c #Conflicts: 419000 | #Constraints: 127452
3051.50/3061.08 c #Conflicts: 420000 | #Constraints: 128452
3051.50/3061.08 c INPROCESSING
3051.50/3061.08 c GARBAGE COLLECT
3051.50/3061.08 c #Conflicts: 421000 | #Constraints: 116655
3051.50/3061.08 c #Conflicts: 422000 | #Constraints: 117655
3051.50/3061.08 c #Conflicts: 423000 | #Constraints: 118655
3051.50/3061.08 c #Conflicts: 424000 | #Constraints: 119655
3051.50/3061.08 c #Conflicts: 425000 | #Constraints: 120655
3051.50/3061.08 c #Conflicts: 426000 | #Constraints: 121655
3051.50/3061.08 c #Conflicts: 427000 | #Constraints: 122655
3051.50/3061.08 c #Conflicts: 428000 | #Constraints: 123655
3051.50/3061.08 c #Conflicts: 429000 | #Constraints: 124655
3051.50/3061.08 c #Conflicts: 430000 | #Constraints: 125655
3051.50/3061.08 c #Conflicts: 431000 | #Constraints: 126655
3051.50/3061.08 c #Conflicts: 432000 | #Constraints: 127655
3051.50/3061.08 c #Conflicts: 433000 | #Constraints: 128655
3051.50/3061.08 c INPROCESSING
3051.50/3061.08 c GARBAGE COLLECT
3051.50/3061.08 c #Conflicts: 434000 | #Constraints: 116669
3051.50/3061.08 c #Conflicts: 435000 | #Constraints: 117669
3051.50/3061.08 c #Conflicts: 436000 | #Constraints: 118669
3051.50/3061.08 c #Conflicts: 437000 | #Constraints: 119669
3051.50/3061.08 c #Conflicts: 438000 | #Constraints: 120669
3051.50/3061.08 c #Conflicts: 439000 | #Constraints: 121669
3051.50/3061.08 c #Conflicts: 440000 | #Constraints: 122669
3051.50/3061.08 c #Conflicts: 441000 | #Constraints: 123669
3051.50/3061.08 c #Conflicts: 442000 | #Constraints: 124669
3051.50/3061.08 c #Conflicts: 443000 | #Constraints: 125669
3051.50/3061.08 c #Conflicts: 444000 | #Constraints: 126669
3051.50/3061.08 c #Conflicts: 445000 | #Constraints: 127669
3051.50/3061.08 c #Conflicts: 446000 | #Constraints: 128669
3051.50/3061.08 c INPROCESSING
3051.50/3061.08 c GARBAGE COLLECT
3051.50/3061.08 c #Conflicts: 447000 | #Constraints: 116457
3051.50/3061.08 c #Conflicts: 448000 | #Constraints: 117457
3051.50/3061.08 c #Conflicts: 449000 | #Constraints: 118457
3051.50/3061.08 c #Conflicts: 450000 | #Constraints: 119457
3051.50/3061.08 c #Conflicts: 451000 | #Constraints: 120457
3051.50/3061.08 c #Conflicts: 452000 | #Constraints: 121457
3051.50/3061.08 c #Conflicts: 453000 | #Constraints: 122457
3051.50/3061.08 c #Conflicts: 454000 | #Constraints: 123457
3051.50/3061.08 c #Conflicts: 455000 | #Constraints: 124457
3051.50/3061.08 c #Conflicts: 456000 | #Constraints: 125457
3051.50/3061.08 c #Conflicts: 457000 | #Constraints: 126457
3051.50/3061.08 c #Conflicts: 458000 | #Constraints: 127457
3051.50/3061.08 c #Conflicts: 459000 | #Constraints: 128457
3051.50/3061.08 c #Conflicts: 460000 | #Constraints: 129457
3051.50/3061.08 c INPROCESSING
3051.50/3061.08 c GARBAGE COLLECT
3051.50/3061.08 c #Conflicts: 461000 | #Constraints: 117073
3051.50/3061.08 c #Conflicts: 462000 | #Constraints: 118073
3051.50/3061.08 c #Conflicts: 463000 | #Constraints: 119073
3051.50/3061.08 c #Conflicts: 464000 | #Constraints: 120073
3051.50/3061.08 c #Conflicts: 465000 | #Constraints: 121073
3051.50/3061.08 c #Conflicts: 466000 | #Constraints: 122073
3051.50/3061.08 c #Conflicts: 467000 | #Constraints: 123073
3051.50/3061.08 c #Conflicts: 468000 | #Constraints: 124073
3051.50/3061.08 c #Conflicts: 469000 | #Constraints: 125073
3051.50/3061.08 c #Conflicts: 470000 | #Constraints: 126073
3051.50/3061.08 c #Conflicts: 471000 | #Constraints: 127073
3051.50/3061.08 c #Conflicts: 472000 | #Constraints: 128073
3051.50/3061.08 c #Conflicts: 473000 | #Constraints: 129073
3051.50/3061.08 c #Conflicts: 474000 | #Constraints: 130073
3051.50/3061.08 c INPROCESSING
3051.50/3061.08 c GARBAGE COLLECT
3051.50/3061.08 c #Conflicts: 475000 | #Constraints: 117473
3051.50/3061.08 c #Conflicts: 476000 | #Constraints: 118473
3051.50/3061.08 c #Conflicts: 477000 | #Constraints: 119473
3051.50/3061.08 c #Conflicts: 478000 | #Constraints: 120473
3051.50/3061.08 c #Conflicts: 479000 | #Constraints: 121473
3051.50/3061.08 c #Conflicts: 480000 | #Constraints: 122473
3051.50/3061.08 c #Conflicts: 481000 | #Constraints: 123473
3051.50/3061.08 c #Conflicts: 482000 | #Constraints: 124473
3051.50/3061.08 c GLOBAL bounds - >= 2023881 @ 3015.5
3051.50/3061.11 c GLOBAL bounds - >= 2023881 @ 3015.53
3051.60/3061.11 c GLOBAL bounds - >= 2023881 @ 3015.53
3051.60/3061.12 c GLOBAL bounds - >= 2023881 @ 3015.54
3051.60/3061.12 c GLOBAL bounds - >= 2023881 @ 3015.55
3051.60/3061.13 c GLOBAL bounds - >= 2023881 @ 3015.55
3051.60/3061.14 c GLOBAL bounds - >= 2023881 @ 3015.56
3051.60/3061.14 c GLOBAL bounds - >= 2023881 @ 3015.56
3051.60/3061.15 c GLOBAL bounds - >= 2023881 @ 3015.57
3051.60/3061.16 c GLOBAL bounds - >= 2023881 @ 3015.57
3051.60/3061.16 c GLOBAL bounds - >= 2023881 @ 3015.58
3051.60/3061.17 c GLOBAL bounds - >= 2023881 @ 3015.59
3051.60/3061.17 c GLOBAL bounds - >= 2023881 @ 3015.59
3051.60/3061.18 c GLOBAL bounds - >= 2023881 @ 3015.6
3051.60/3061.18 c GLOBAL bounds - >= 2023881 @ 3015.6
3051.60/3061.19 c GLOBAL bounds - >= 2023881 @ 3015.61
3051.60/3061.20 c GLOBAL bounds - >= 2023881 @ 3015.61
3051.68/3061.20 c GLOBAL bounds - >= 2023881 @ 3015.62
3051.68/3061.21 c GLOBAL bounds - >= 2023881 @ 3015.62
3051.68/3061.21 c GLOBAL bounds - >= 2023881 @ 3015.63
3051.88/3061.46 c GLOBAL bounds - >= 2023881 @ 3015.87
3051.88/3061.47 c GLOBAL bounds - >= 2023881 @ 3015.87
3051.88/3061.49 c GLOBAL bounds - >= 2023881 @ 3015.89
3051.99/3061.50 c GLOBAL bounds - >= 2023881 @ 3015.9
3051.99/3061.52 c GLOBAL bounds - >= 2023881 @ 3015.91
3051.99/3061.53 c GLOBAL bounds - >= 2023881 @ 3015.92
3051.99/3061.55 c GLOBAL bounds - >= 2023881 @ 3015.94
3051.99/3061.56 c GLOBAL bounds - >= 2023881 @ 3015.95
3051.99/3061.58 c GLOBAL bounds - >= 2023881 @ 3015.97
3051.99/3061.59 c GLOBAL bounds - >= 2023881 @ 3015.98
3052.09/3061.62 c GLOBAL bounds - >= 2023881 @ 3015.99
3052.09/3061.62 c GLOBAL bounds - >= 2023881 @ 3016
3052.09/3061.66 c GLOBAL bounds - >= 2023881 @ 3016.03
3052.09/3061.66 c GLOBAL bounds - >= 2023881 @ 3016.04
3052.09/3061.69 c GLOBAL bounds - >= 2023881 @ 3016.06
3052.09/3061.69 c GLOBAL bounds - >= 2023881 @ 3016.06
3052.19/3061.72 c GLOBAL bounds - >= 2023881 @ 3016.08
3052.19/3061.72 c GLOBAL bounds - >= 2023881 @ 3016.09
3052.19/3061.75 c GLOBAL bounds - >= 2023881 @ 3016.1
3052.19/3061.77 c GLOBAL bounds - >= 2023881 @ 3016.13
3052.28/3061.80 c GLOBAL bounds - >= 2023881 @ 3016.15
3052.28/3061.82 c GLOBAL bounds - >= 2023881 @ 3016.17
3052.28/3061.87 c GLOBAL bounds - >= 2023881 @ 3016.21
3052.39/3061.90 c GLOBAL bounds - >= 2023881 @ 3016.23
3052.39/3061.93 c GLOBAL bounds - >= 2023881 @ 3016.26
3052.39/3061.96 c GLOBAL bounds - >= 2023881 @ 3016.28
3052.39/3061.99 c GLOBAL bounds - >= 2023881 @ 3016.31
3052.50/3062.04 c GLOBAL bounds - >= 2023881 @ 3016.36
3052.50/3062.07 c GLOBAL bounds - >= 2023881 @ 3016.39
3052.60/3062.11 c GLOBAL bounds - >= 2023881 @ 3016.42
3052.60/3062.14 c GLOBAL bounds - >= 2023881 @ 3016.44
3052.60/3062.17 c GLOBAL bounds - >= 2023881 @ 3016.47
3052.69/3062.21 c GLOBAL bounds - >= 2023881 @ 3016.51
3052.69/3062.27 c GLOBAL bounds - >= 2023881 @ 3016.56
3052.79/3062.30 c GLOBAL bounds - >= 2023881 @ 3016.59
3052.79/3062.34 c GLOBAL bounds - >= 2023881 @ 3016.62
3052.89/3062.40 c GLOBAL bounds - >= 2023881 @ 3016.68
3052.89/3062.42 c GLOBAL bounds - >= 2023881 @ 3016.7
3053.60/3063.14 c GLOBAL bounds - >= 2023881 @ 3017.4
3063.06/3072.66 c #Conflicts: 483000 | #Constraints: 127872
3063.06/3072.66 c #Conflicts: 484000 | #Constraints: 128872
3063.06/3072.66 c #Conflicts: 485000 | #Constraints: 129872
3063.06/3072.66 c GLOBAL bounds - >= 2023881 @ 3026.73
3079.61/3089.24 c #Conflicts: 486000 | #Constraints: 131029
3079.61/3089.24 c #Conflicts: 487000 | #Constraints: 132029
3079.61/3089.24 c #Conflicts: 488000 | #Constraints: 133029
3079.61/3089.24 c INPROCESSING
3079.61/3089.24 c GARBAGE COLLECT
3079.61/3089.24 c GLOBAL bounds - >= 2023881 @ 3043.08
3080.51/3090.19 c GLOBAL bounds - >= 2023881 @ 3044.01
3114.90/3124.60 c #Conflicts: 489000 | #Constraints: 120495
3114.90/3124.60 c #Conflicts: 490000 | #Constraints: 121495
3114.90/3124.60 c #Conflicts: 491000 | #Constraints: 122495
3114.90/3124.60 c #Conflicts: 492000 | #Constraints: 123495
3114.90/3124.60 c #Conflicts: 493000 | #Constraints: 124495
3114.90/3124.60 c #Conflicts: 494000 | #Constraints: 125495
3114.90/3124.60 c GLOBAL bounds - >= 2023881 @ 3077.88
3118.19/3127.98 c #Conflicts: 495000 | #Constraints: 126652
3118.19/3127.98 c GLOBAL bounds - >= 2023881 @ 3081.2
3140.03/3149.83 c #Conflicts: 496000 | #Constraints: 127809
3140.03/3149.83 c #Conflicts: 497000 | #Constraints: 128809
3140.03/3149.83 c #Conflicts: 498000 | #Constraints: 129809
3140.03/3149.83 c GLOBAL bounds - >= 2023881 @ 3102.79
3218.12/3228.14 c #Conflicts: 499000 | #Constraints: 130966
3218.12/3228.14 c #Conflicts: 500000 | #Constraints: 131966
3218.12/3228.14 c #Conflicts: 501000 | #Constraints: 132966
3218.12/3228.14 c #Conflicts: 502000 | #Constraints: 133966
3218.12/3228.14 c INPROCESSING
3218.12/3228.14 c GARBAGE COLLECT
3218.12/3228.14 c #Conflicts: 503000 | #Constraints: 120943
3218.12/3228.14 c #Conflicts: 504000 | #Constraints: 121943
3218.12/3228.14 c #Conflicts: 505000 | #Constraints: 122943
3218.12/3228.14 c #Conflicts: 506000 | #Constraints: 123943
3218.12/3228.14 c #Conflicts: 507000 | #Constraints: 124943
3218.12/3228.14 c #Conflicts: 508000 | #Constraints: 125943
3218.12/3228.14 c #Conflicts: 509000 | #Constraints: 126943
3218.12/3228.14 c GLOBAL bounds - >= 2023881 @ 3180.13
3218.20/3228.23 c GLOBAL bounds - >= 2023881 @ 3180.21
3600.01/3611.14 c #Conflicts: 510000 | #Constraints: 128257
3600.01/3611.14 c #Conflicts: 511000 | #Constraints: 129257
3600.01/3611.14 c #Conflicts: 512000 | #Constraints: 130257
3600.01/3611.14 c #Conflicts: 513000 | #Constraints: 131257
3600.01/3611.14 c #Conflicts: 514000 | #Constraints: 132257
3600.01/3611.14 c #Conflicts: 515000 | #Constraints: 133257
3600.01/3611.14 c #Conflicts: 516000 | #Constraints: 134257
3600.01/3611.14 c INPROCESSING
3600.01/3611.14 c GARBAGE COLLECT
3600.01/3611.14 c #Conflicts: 517000 | #Constraints: 121058
3600.01/3611.14 c #Conflicts: 518000 | #Constraints: 122058
3600.01/3611.14 c #Conflicts: 519000 | #Constraints: 123058
3600.01/3611.14 c #Conflicts: 520000 | #Constraints: 124058
3600.01/3611.14 c #Conflicts: 521000 | #Constraints: 125058
3600.01/3611.14 c #Conflicts: 522000 | #Constraints: 126058
3600.01/3611.14 c #Conflicts: 523000 | #Constraints: 127058
3600.01/3611.14 c #Conflicts: 524000 | #Constraints: 128058
3600.01/3611.14 c #Conflicts: 525000 | #Constraints: 129058
3600.01/3611.14 c #Conflicts: 526000 | #Constraints: 130058
3600.01/3611.14 c #Conflicts: 527000 | #Constraints: 131058
3600.01/3611.14 c #Conflicts: 528000 | #Constraints: 132058
3600.01/3611.14 c #Conflicts: 529000 | #Constraints: 133058
3600.01/3611.14 c #Conflicts: 530000 | #Constraints: 134058
3600.01/3611.14 c #Conflicts: 531000 | #Constraints: 135058
3600.01/3611.14 c INPROCESSING
3600.01/3611.14 c GARBAGE COLLECT
3600.01/3611.14 c #Conflicts: 532000 | #Constraints: 121689
3600.01/3611.14 c #Conflicts: 533000 | #Constraints: 122689
3600.01/3611.14 c #Conflicts: 534000 | #Constraints: 123689
3600.01/3611.14 c #Conflicts: 535000 | #Constraints: 124689
3600.01/3611.14 c #Conflicts: 536000 | #Constraints: 125689
3600.01/3611.14 c #Conflicts: 537000 | #Constraints: 126689
3600.01/3611.14 c #Conflicts: 538000 | #Constraints: 127689
3600.01/3611.14 c #Conflicts: 539000 | #Constraints: 128689
3600.01/3611.14 c #Conflicts: 540000 | #Constraints: 129689
3600.01/3611.14 c #Conflicts: 541000 | #Constraints: 130689
3600.01/3611.14 c #Conflicts: 542000 | #Constraints: 131689
3600.01/3611.14 c #Conflicts: 543000 | #Constraints: 132689
3600.01/3611.14 c #Conflicts: 544000 | #Constraints: 133689
3600.01/3611.14 c #Conflicts: 545000 | #Constraints: 134689
3600.01/3611.14 c #Conflicts: 546000 | #Constraints: 135689
3600.01/3611.14 c INPROCESSING
3600.01/3611.14 c GARBAGE COLLECT
3600.01/3611.14 c #Conflicts: 547000 | #Constraints: 122085
3600.01/3611.14 c #Conflicts: 548000 | #Constraints: 123085
3600.01/3611.14 c #Conflicts: 549000 | #Constraints: 124085
3600.01/3611.14 c #Conflicts: 550000 | #Constraints: 125085
3600.01/3611.14 c #Conflicts: 551000 | #Constraints: 126085
3600.01/3611.14 c #Conflicts: 552000 | #Constraints: 127085
3600.01/3611.14 c #Conflicts: 553000 | #Constraints: 128085
3600.01/3611.14 c #Conflicts: 554000 | #Constraints: 129085
3600.01/3611.14 c cpu time 3558.83 s
3600.01/3611.14 c deterministic time 49402968 4.94e+07
3600.01/3611.14 c optimization time 3556.67 s
3600.01/3611.14 c total solve time 1.91357 s
3600.01/3611.14 c core-guided solve time 0 s
3600.01/3611.14 c propagation time 1.29672 s
3600.01/3611.14 c conflict analysis time 0.153616 s
3600.01/3611.14 c propagations 4974646
3600.01/3611.14 c resolve steps 0
3600.01/3611.14 c decisions 1533295
3600.01/3611.14 c conflicts 277
3600.01/3611.14 c restarts 2
3600.01/3611.14 c inprocessing phases 0
3600.01/3611.14 c garbage collections 0 ,( -nan )
3600.01/3611.14 c input clauses 16451 ,( 72.26 )
3600.01/3611.14 c input cardinalities 28 ,( 0.12 )
3600.01/3611.14 c input general constraints 6287 ,( 27.62 )
3600.01/3611.14 c input average constraint length 51.82
3600.01/3611.14 c input average constraint degree 24494894.93
3600.01/3611.14 c learned clauses 72 ,( 15.79 )
3600.01/3611.14 c learned cardinalities 0 ,( 0.00 )
3600.01/3611.14 c learned general constraints 384 ,( 84.21 )
3600.01/3611.14 c learned average constraint length 196.20
3600.01/3611.14 c learned average constraint degree 1658123.22
3600.01/3611.14 c watched CF 32, 64, 128, Arb: 391 , 0 , 0 , 0
3600.01/3611.14 c counting CF 32, 64, 128, Arb: 6042 , 239 , 0 , 0
3600.01/3611.14 c watched constraints 391 ,( 5.86 )
3600.01/3611.14 c counting constraints 6280 ,( 94.14 )
3600.01/3611.14 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 965508 , 3311 , 4036918 ,( 399503 , 3637415 )
3600.01/3611.14 c gcd simplifications 1
3600.01/3611.14 c detected cardinalities 0
3600.01/3611.14 c weakened non-implied lits 0
3600.01/3611.14 c weakened non-implying lits 0
3600.01/3611.14 c original variables 9765
3600.01/3611.14 c clausal propagations 927469
3600.01/3611.14 c cardinality propagations 999
3600.01/3611.14 c watched propagations 11961
3600.01/3611.14 c counting propagations 2115390
3600.01/3611.14 c watch lookups 7993720
3600.01/3611.14 c watch backjump lookups 0
3600.01/3611.14 c watch checks 14639207
3600.01/3611.14 c propagation checks 13635826
3600.01/3611.14 c constraint additions 117443
3600.01/3611.14 c trail pops 6508158
3600.01/3611.14 c formula constraints 21927
3600.01/3611.14 c learned constraints 455
3600.01/3611.14 c bound constraints 0
3600.01/3611.14 c core-guided constraints 0
3600.01/3611.14 c encountered formula constraints 137
3600.01/3611.14 c encountered learned constraints 17
3600.01/3611.14 c encountered bound constraints 0
3600.01/3611.14 c encountered core-guided constraints 0
3600.01/3611.14 c LP total time 1.23716 s
3600.01/3611.14 c LP solve time 0.82 s
3600.01/3611.14 c LP constraints added 21928
3600.01/3611.14 c LP constraints removed 0
3600.01/3611.14 c LP pivots internal 53
3600.01/3611.14 c LP pivots root 619
3600.01/3611.14 c LP calls 238
3600.01/3611.14 c LP optimalities 238
3600.01/3611.14 c LP no pivot count 236
3600.01/3611.14 c LP infeasibilities 0
3600.01/3611.14 c LP valid Farkas constraints 0
3600.01/3611.14 c LP learned Farkas constraints 0
3600.01/3611.14 c LP basis resets 0
3600.01/3611.14 c LP cycling count 0
3600.01/3611.14 c LP singular count 0
3600.01/3611.14 c LP no primal count 0
3600.01/3611.14 c LP no farkas count 0
3600.01/3611.14 c LP other issue count 0
3600.01/3611.14 c LP Gomory cuts 1
3600.01/3611.14 c LP learned cuts 0
3600.01/3611.14 c LP deleted cuts 0
3600.01/3611.14 c LP encountered Gomory constraints 0
3600.01/3611.14 c LP encountered Farkas constraints 0
3600.01/3611.14 c LP encountered learned Farkas constraints 0
3600.01/3611.14 c CG auxiliary variables introduced 661
3600.01/3611.14 c CG solutions found 0
3600.01/3611.14 c CG cores constructed 414
3600.01/3611.14 c CG core cardinality constraints returned 0
3600.01/3611.14 c CG unit cores 0
3600.01/3611.14 c CG single cores 0
3600.01/3611.14 c CG blocks removed during cardinality reduction 0
3600.01/3611.14 c CG first core best 0
3600.01/3611.14 c CG decision core best 0
3600.01/3611.14 c CG core reduction tie 0
3600.01/3611.14 c CG core degree average 0.00
3600.01/3611.14 c CG core slack average 0.00
3600.01/3611.14 c CG core upper bound improvements 0
3600.01/3611.14 c STR number of successful calls 0
3600.01/3611.14 c STR number of unsuccessful calls 0
3600.01/3611.14 c STR number of inconclusive calls 0
3600.01/3611.14 c STR number of successful attempts 0
3600.01/3611.14 c STR number of unsuccessful attempts 0
3600.01/3611.14 c STR number of inconclusive attempts 0
3600.01/3611.14 c STR average degree increase per successful call inf
3600.01/3611.14 c STR average degree increase per successful attempt inf
3600.01/3611.14 c STR total number of conflicts for successful attempts 0
3600.01/3611.14 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.14 c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.14 c STR average number of conflicts per successful attempt inf
3600.01/3611.14 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.14 c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.14 c AVG.sumWPerc 94.12
3600.01/3611.14 c bigint constraints 239
3600.01/3611.14 s UNKNOWN
3600.01/3611.14 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (46168 MiB free)
memory of node 1: 64507 MiB (32896 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504803-1751475199/watcher-4504803-1751475199 -o /tmp/evaluation-result-4504803-1751475199/solver-4504803-1751475199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62687 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504803-1751475199.opb PROOFDIR/proof-4504803-1751475199
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=63376, runsolver pid=63373
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 4.48 4.35 4.16 5/260 63378
/proc/meminfo: memFree=80955148/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=58612 memory=11988 CPUtime=0.07 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 1366 0 0 0 6 1 0 0 20 0 1 0 63199622 60018688 2997 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 14653 2997 1952 1147 0 2080 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 62804 KiB
Current children cumulated memory: 14932 KiB
[startup+0.21133 s]*
/proc/loadavg: 4.48 4.35 4.16 5/260 63378
/proc/meminfo: memFree=80955148/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=61460 memory=15828 CPUtime=0.19 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 2045 0 0 0 15 4 0 0 20 0 1 0 63199622 62935040 3957 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 15365 3957 2240 1147 0 2792 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 65652 KiB
Current children cumulated memory: 18772 KiB
[startup+0.311144 s]*
/proc/loadavg: 4.44 4.34 4.16 5/260 63378
/proc/meminfo: memFree=80948028/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=81116 memory=29028 CPUtime=0.28 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 5321 0 0 0 23 5 0 0 20 0 1 0 63199622 83062784 7257 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 20279 7257 2272 1147 0 7706 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 85308 KiB
Current children cumulated memory: 31972 KiB
[startup+0.700343 s]
/proc/loadavg: 4.44 4.34 4.16 5/260 63378
/proc/meminfo: memFree=80931900/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=92676 memory=40484 CPUtime=0.66 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 7108 0 0 0 49 17 0 0 20 0 1 0 63199622 94900224 10121 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 23169 10121 2368 1147 0 10596 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 96868 KiB
Current children cumulated memory: 43428 KiB
[startup+1.50038 s]
/proc/loadavg: 4.44 4.34 4.16 5/260 63378
/proc/meminfo: memFree=80904712/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=113536 memory=58884 CPUtime=1.45 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 11545 0 0 0 114 31 0 0 20 0 1 0 63199622 116260864 14721 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 28384 14721 2400 1147 0 15811 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 117728 KiB
Current children cumulated memory: 61828 KiB
[startup+3.11338 s]
/proc/loadavg: 4.44 4.34 4.16 5/260 63378
/proc/meminfo: memFree=80828816/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=133264 memory=80988 CPUtime=3.06 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 16533 0 0 0 227 79 0 0 20 0 1 0 63199622 136462336 20247 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 33316 20247 2400 1147 0 20743 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 137456 KiB
Current children cumulated memory: 83932 KiB
[startup+6.30037 s]
/proc/loadavg: 4.41 4.34 4.16 5/260 63378
/proc/meminfo: memFree=80683684/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=203880 memory=145760 CPUtime=6.24 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 29275 0 0 0 478 146 0 0 20 0 1 0 63199622 208773120 36440 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 50970 36440 2400 1147 0 38397 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 208072 KiB
Current children cumulated memory: 148704 KiB
[startup+12.7004 s]
/proc/loadavg: 4.37 4.33 4.16 5/260 63379
/proc/meminfo: memFree=80402428/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=275304 memory=210360 CPUtime=12.62 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 42394 0 0 0 1079 183 0 0 20 0 1 0 63199622 281911296 52590 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 68826 52590 2400 1147 0 56253 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 279496 KiB
Current children cumulated memory: 213304 KiB
[startup+25.5004 s]
/proc/loadavg: 4.39 4.34 4.16 5/260 63379
/proc/meminfo: memFree=79898664/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=362004 memory=291124 CPUtime=25.38 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 57976 0 0 0 2305 233 0 0 20 0 1 0 63199622 370692096 72781 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 90501 72781 2400 1147 0 77928 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 366196 KiB
Current children cumulated memory: 294068 KiB
[startup+51.1136 s]
/proc/loadavg: 4.24 4.30 4.16 5/260 63379
/proc/meminfo: memFree=78140124/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=449660 memory=350456 CPUtime=50.92 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 69750 0 0 0 4800 292 0 0 20 0 1 0 63199622 460451840 87614 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 112415 87614 2400 1147 0 99842 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 453852 KiB
Current children cumulated memory: 353400 KiB
[startup+102.3 s]
/proc/loadavg: 4.15 4.27 4.15 8/260 63381
/proc/meminfo: memFree=76551180/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=509676 memory=423064 CPUtime=101.95 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 83319 0 0 0 9792 403 0 0 20 0 1 0 63199622 521908224 105766 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 127419 105766 2400 1147 0 114846 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 513868 KiB
Current children cumulated memory: 426008 KiB
[startup+162.3 s]
/proc/loadavg: 4.47 4.33 4.18 5/261 63386
/proc/meminfo: memFree=74647484/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=619564 memory=498636 CPUtime=161.76 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 97606 0 0 0 15658 518 0 0 20 0 1 0 63199622 634433536 124659 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 154891 124659 2400 1147 0 142318 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 623756 KiB
Current children cumulated memory: 501580 KiB
[startup+222.3 s]
/proc/loadavg: 4.70 4.43 4.23 5/260 63433
/proc/meminfo: memFree=85168776/131382112 swapFree=33010684/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=641476 memory=527752 CPUtime=221.57 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 102845 0 0 0 21559 598 0 0 20 0 1 0 63199622 656871424 131938 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 160369 131938 2400 1147 0 147796 0
################
# More data... #
################
/proc/63378/statm: 385921 340001 2400 1147 0 373348 0
Current children cumulated CPU time: 3092.67 s
Current children cumulated vsize: 1547876 KiB
Current children cumulated memory: 1362948 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.20 4.23 5/262 63687
/proc/meminfo: memFree=1033600/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1543684 memory=1360004 CPUtime=3152.49 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 239217 0 0 0 311513 3736 0 0 20 0 1 0 63199622 1580732416 340001 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 385921 340001 2400 1147 0 373348 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 1547876 KiB
Current children cumulated memory: 1362948 KiB
[startup+3222.3 s]
/proc/loadavg: 4.17 4.19 4.22 5/264 63693
/proc/meminfo: memFree=920352/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1543684 memory=1360132 CPUtime=3212.31 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 239235 0 0 0 317437 3794 0 0 20 0 1 0 63199622 1580732416 340033 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 385921 340033 2400 1147 0 373348 0
Current children cumulated CPU time: 3212.31 s
Current children cumulated vsize: 1547876 KiB
Current children cumulated memory: 1363076 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.17 4.21 5/262 63695
/proc/meminfo: memFree=954104/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1543684 memory=1360132 CPUtime=3272.14 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 239380 0 0 0 323370 3844 0 0 20 0 1 0 63199622 1580732416 340033 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 385921 340033 2400 1147 0 373348 0
Current children cumulated CPU time: 3272.14 s
Current children cumulated vsize: 1547876 KiB
Current children cumulated memory: 1363076 KiB
[startup+3342.3 s]
/proc/loadavg: 4.26 4.21 4.22 5/261 63697
/proc/meminfo: memFree=861888/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1545504 memory=1362052 CPUtime=3331.97 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 239868 0 0 0 329300 3897 0 0 20 0 1 0 63199622 1582596096 340513 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 386376 340513 2400 1147 0 373803 0
Current children cumulated CPU time: 3331.97 s
Current children cumulated vsize: 1549696 KiB
Current children cumulated memory: 1364996 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.20 4.21 5/261 63703
/proc/meminfo: memFree=972808/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1545504 memory=1362052 CPUtime=3391.8 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 239871 0 0 0 335241 3939 0 0 20 0 1 0 63199622 1582596096 340513 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 386376 340513 2400 1147 0 373803 0
Current children cumulated CPU time: 3391.8 s
Current children cumulated vsize: 1549696 KiB
Current children cumulated memory: 1364996 KiB
[startup+3462.3 s]
/proc/loadavg: 4.23 4.21 4.21 5/262 63706
/proc/meminfo: memFree=1020672/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1550372 memory=1366020 CPUtime=3451.63 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 240851 0 0 0 341165 3998 0 0 20 0 1 0 63199622 1587580928 341505 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 387593 341505 2400 1147 0 375020 0
Current children cumulated CPU time: 3451.63 s
Current children cumulated vsize: 1554564 KiB
Current children cumulated memory: 1368964 KiB
[startup+3522.3 s]
/proc/loadavg: 4.37 4.23 4.22 5/260 63708
/proc/meminfo: memFree=1153028/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1550372 memory=1366020 CPUtime=3511.45 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 240991 0 0 0 347102 4043 0 0 20 0 1 0 63199622 1587580928 341505 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 387593 341505 2400 1147 0 375020 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 1554564 KiB
Current children cumulated memory: 1368964 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.20 4.21 5/260 63710
/proc/meminfo: memFree=919276/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1551492 memory=1368324 CPUtime=3571.28 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 241602 0 0 0 353036 4092 0 0 20 0 1 0 63199622 1588727808 342081 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 387873 342081 2400 1147 0 375300 0
Current children cumulated CPU time: 3571.28 s
Current children cumulated vsize: 1555684 KiB
Current children cumulated memory: 1371268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.11 s]
/proc/loadavg: 4.17 4.20 4.20 5/260 63711
/proc/meminfo: memFree=1054240/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1551492 memory=1368324 CPUtime=3600.01 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 241602 0 0 0 355883 4118 0 0 20 0 1 0 63199622 1588727808 342081 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 387873 342081 2400 1147 0 375300 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1555684 KiB
Current children cumulated memory: 1371268 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.12 s]
# the end of solver process 63376 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002223 s, system=0.00217 s
[startup+3611.2 s]
# the end of solver process 63378 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3558.86 s, system=41.2037 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.11 s]
/proc/loadavg: 4.17 4.20 4.20 5/260 63711
/proc/meminfo: memFree=1054240/131382112 swapFree=33010416/33010684
[pid=63376] ppid=63373 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/63376/stat : 63376 (run-opt-log.sh) S 63373 63376 62677 0 -1 4194304 210 0 0 0 0 0 0 0 20 0 1 0 63199621 4292608 736 18446744073709551615 94691054329856 94691055224389 140729112700768 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94691055463440 94691055511184 94691088654336 140729112705313 140729112705508 140729112705508 140729112711110 0
/proc/63376/statm: 1048 736 672 219 0 110 0
[pid=63378] ppid=63376 vsize=1551492 memory=1368324 CPUtime=3600.01 cores=0,2
/proc/63378/stat : 63378 (roundingsat) R 63376 63376 62677 0 -1 4194304 241602 0 0 0 355883 4118 0 0 20 0 1 0 63199622 1588727808 342081 18446744073709551615 4227072 8923433 140731248253248 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 24600576 140731248257362 140731248257576 140731248257576 140731248263146 0
/proc/63378/statm: 387873 342081 2400 1147 0 375300 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1555684 KiB
Current children cumulated memory: 1371268 KiB
Child status: 2
Real time (s): 3611.21
CPU time (s): 3600.06
CPU user time (s): 3558.86
CPU system time (s): 41.2037
CPU usage (%): 99.6914
Max. virtual memory (cumulated for all children) (KiB): 1555684
Max. memory (cumulated for all children) (KiB): 1371268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3558.86
system time used= 41.2037
maximum resident set size= 1368708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241833
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 93946496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 576
involuntary context switches= 10118
# summary of solver processes directly reported to runsolver:
# pid: 63376,63378
# total CPU time (s): 3600.06
# total CPU user time (s): 3558.86
# total CPU system time (s): 41.2037
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0416 second user time and 37.0272 second system time
The end
Begin job on nodeC012 at 2025-07-02 18:53:19
IDJOB=4504803
IDBENCH=155687
IDSOLVER=3351
FILE ID=nodeC012/4504803-1751475199
RUNJOBID= nodeC012-1751471575-62687
SLURM_JOB_ID= 9598495
Free space on /tmp= 432140 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_4_mh_ic.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504803-1751475199/watcher-4504803-1751475199 -o /tmp/evaluation-result-4504803-1751475199/solver-4504803-1751475199 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1751471575-62687 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4504803-1751475199.opb PROOFDIR/proof-4504803-1751475199
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e
RANDOM SEED=84802367
nodeC012 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.154
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.39
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 : 3660.848
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.39
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 : 1796.492
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.39
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.363
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.39
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 : 3629.567
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.39
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.288
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.402
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.39
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 : 3492.938
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.39
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 80962868 kB
MemAvailable: 121123596 kB
Buffers: 3280 kB
Cached: 40921604 kB
SwapCached: 0 kB
Active: 9176716 kB
Inactive: 40609736 kB
Active(anon): 8879616 kB
Inactive(anon): 0 kB
Active(file): 297100 kB
Inactive(file): 40609736 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 74256 kB
Writeback: 12 kB
AnonPages: 8863348 kB
Mapped: 116720 kB
Shmem: 17960 kB
KReclaimable: 186656 kB
Slab: 274968 kB
SReclaimable: 186656 kB
SUnreclaim: 88312 kB
KernelStack: 4176 kB
PageTables: 21688 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 10274068 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149544 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 5255168 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: 187208 kB
DirectMap2M: 8103936 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432088 MiB
End job on nodeC012 at 2025-07-02 19:53:31