0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.07/0.11 c #variables 9765 #constraints 21927
0.07/0.11 c objective is ce32
0.07/0.13 c initial watched CF 32, 64, 128, Arb: 15 , 0 , 0 , 0
0.07/0.13 c initial counting CF 32, 64, 128, Arb: 6001 , 0 , 0 , 0
0.07/0.13 c GLOBAL bounds - >= -15 @ 0.078553
0.07/0.14 c GLOBAL bounds - >= -15 @ 0.082403
0.07/0.15 c GLOBAL bounds - >= -15 @ 0.088632
0.07/0.16 c GLOBAL bounds - >= -15 @ 0.094135
0.07/0.17 c GLOBAL bounds - >= -15 @ 0.098282
0.07/0.17 c GLOBAL bounds - >= -15 @ 0.103274
0.07/0.18 c GLOBAL bounds - >= -15 @ 0.107758
0.07/0.19 c GLOBAL bounds - >= -15 @ 0.113041
0.07/0.20 c GLOBAL bounds - >= -15 @ 0.118216
0.17/0.21 c GLOBAL bounds - >= -15 @ 0.11909
0.17/0.22 c GLOBAL bounds - >= -15 @ 0.123249
0.17/0.23 c GLOBAL bounds - >= -15 @ 0.128057
0.17/0.24 c GLOBAL bounds - >= -15 @ 0.133132
0.17/0.25 c GLOBAL bounds - >= -15 @ 0.137555
0.17/0.27 c GLOBAL bounds - >= -15 @ 0.154308
0.17/0.27 c GLOBAL bounds - >= 308139 @ 0.160856
0.28/0.34 c rational objective 1.89349e+06
0.38/0.48 c GLOBAL bounds - >= 308139 @ 0.362498
0.38/0.48 c GLOBAL bounds - >= 308139 @ 0.362874
0.38/0.48 c GLOBAL bounds - >= 308139 @ 0.364795
0.38/0.49 c GLOBAL bounds - >= 308139 @ 0.368802
0.38/0.49 c GLOBAL bounds - >= 308139 @ 0.369087
0.38/0.50 c GLOBAL bounds - >= 308139 @ 0.371781
0.38/0.50 c GLOBAL bounds - >= 308139 @ 0.371781
0.48/0.51 c GLOBAL bounds - >= 308139 @ 0.375754
0.48/0.51 c GLOBAL bounds - >= 308139 @ 0.376142
0.48/0.51 c GLOBAL bounds - >= 308139 @ 0.381952
0.48/0.51 c GLOBAL bounds - >= 308139 @ 0.382808
0.48/0.52 c GLOBAL bounds - >= 308139 @ 0.385436
0.48/0.52 c GLOBAL bounds - >= 308139 @ 0.386114
0.48/0.53 c GLOBAL bounds - >= 308139 @ 0.388551
0.48/0.53 c GLOBAL bounds - >= 308139 @ 0.388595
0.48/0.54 c GLOBAL bounds - >= 308139 @ 0.391273
0.48/0.54 c GLOBAL bounds - >= 308139 @ 0.3919
0.48/0.55 c GLOBAL bounds - >= 308139 @ 0.394364
0.48/0.55 c GLOBAL bounds - >= 308139 @ 0.395073
0.48/0.56 c GLOBAL bounds - >= 308139 @ 0.397523
0.48/0.56 c GLOBAL bounds - >= 308139 @ 0.397523
0.48/0.56 c GLOBAL bounds - >= 308139 @ 0.400684
0.48/0.57 c GLOBAL bounds - >= 308139 @ 0.4073
0.48/0.58 c GLOBAL bounds - >= 308139 @ 0.413272
0.48/0.59 c GLOBAL bounds - >= 308139 @ 0.418091
0.48/0.60 c GLOBAL bounds - >= 308139 @ 0.422966
0.57/0.61 c GLOBAL bounds - >= 308139 @ 0.428942
0.57/0.62 c GLOBAL bounds - >= 308139 @ 0.43648
0.57/0.63 c GLOBAL bounds - >= 308139 @ 0.441086
0.57/0.64 c GLOBAL bounds - >= 308139 @ 0.448787
0.57/0.65 c GLOBAL bounds - >= 308139 @ 0.452944
0.57/0.67 c GLOBAL bounds - >= 308139 @ 0.465909
0.57/0.68 c GLOBAL bounds - >= 308139 @ 0.477523
0.66/0.70 c GLOBAL bounds - >= 531371 @ 0.490404
0.66/0.70 c GLOBAL bounds - >= 531371 @ 0.491189
0.66/0.70 c GLOBAL bounds - >= 531371 @ 0.495293
0.66/0.70 c GLOBAL bounds - >= 531371 @ 0.495841
0.66/0.71 c GLOBAL bounds - >= 531371 @ 0.500278
0.66/0.71 c GLOBAL bounds - >= 531371 @ 0.50071
0.66/0.72 c GLOBAL bounds - >= 531371 @ 0.503261
0.66/0.72 c GLOBAL bounds - >= 531371 @ 0.503261
0.66/0.73 c GLOBAL bounds - >= 531371 @ 0.504479
0.66/0.73 c GLOBAL bounds - >= 531371 @ 0.505026
0.66/0.74 c GLOBAL bounds - >= 531371 @ 0.50998
0.66/0.74 c GLOBAL bounds - >= 531371 @ 0.510713
0.66/0.74 c GLOBAL bounds - >= 531371 @ 0.513614
0.66/0.75 c GLOBAL bounds - >= 531371 @ 0.514421
0.66/0.75 c GLOBAL bounds - >= 531371 @ 0.518066
0.66/0.75 c GLOBAL bounds - >= 531371 @ 0.51819
0.66/0.76 c GLOBAL bounds - >= 531371 @ 0.521683
0.66/0.76 c GLOBAL bounds - >= 531371 @ 0.52204
0.66/0.77 c GLOBAL bounds - >= 531371 @ 0.525599
0.66/0.77 c GLOBAL bounds - >= 531371 @ 0.526393
0.66/0.78 c GLOBAL bounds - >= 531371 @ 0.530151
0.66/0.79 c GLOBAL bounds - >= 531371 @ 0.533721
0.66/0.79 c GLOBAL bounds - >= 531371 @ 0.539113
0.76/0.80 c GLOBAL bounds - >= 531371 @ 0.53935
0.76/0.81 c GLOBAL bounds - >= 531371 @ 0.544323
0.76/0.82 c GLOBAL bounds - >= 531371 @ 0.548521
0.76/0.83 c GLOBAL bounds - >= 531371 @ 0.551607
0.76/0.84 c GLOBAL bounds - >= 531371 @ 0.557691
0.76/0.85 c GLOBAL bounds - >= 531371 @ 0.565535
0.76/0.86 c GLOBAL bounds - >= 531371 @ 0.576645
0.76/0.87 c GLOBAL bounds - >= 531371 @ 0.579855
0.76/0.88 c GLOBAL bounds - >= 531371 @ 0.584771
0.86/0.90 c GLOBAL bounds - >= 531371 @ 0.599953
0.86/0.91 c GLOBAL bounds - >= 550525 @ 0.607061
0.86/0.91 c GLOBAL bounds - >= 550525 @ 0.608934
0.86/0.91 c GLOBAL bounds - >= 550525 @ 0.609073
0.86/0.91 c GLOBAL bounds - >= 550525 @ 0.609198
0.86/0.92 c GLOBAL bounds - >= 550525 @ 0.612528
0.86/0.92 c GLOBAL bounds - >= 550525 @ 0.613029
0.86/0.93 c GLOBAL bounds - >= 550525 @ 0.618316
0.86/0.93 c GLOBAL bounds - >= 550525 @ 0.619537
0.86/0.93 c GLOBAL bounds - >= 550525 @ 0.62349
0.86/0.94 c GLOBAL bounds - >= 550525 @ 0.623879
0.86/0.94 c GLOBAL bounds - >= 550525 @ 0.629939
0.86/0.94 c GLOBAL bounds - >= 550525 @ 0.631221
0.86/0.95 c GLOBAL bounds - >= 550525 @ 0.6356
0.86/0.95 c GLOBAL bounds - >= 550525 @ 0.636771
0.86/0.96 c GLOBAL bounds - >= 550525 @ 0.640533
0.86/0.96 c GLOBAL bounds - >= 550525 @ 0.64149
0.86/0.97 c GLOBAL bounds - >= 550525 @ 0.646322
0.86/0.97 c GLOBAL bounds - >= 550525 @ 0.646604
0.86/0.98 c GLOBAL bounds - >= 550525 @ 0.650106
0.86/0.98 c GLOBAL bounds - >= 550525 @ 0.651226
0.86/0.99 c GLOBAL bounds - >= 550525 @ 0.653405
0.86/0.99 c GLOBAL bounds - >= 550525 @ 0.65458
0.86/1.00 c GLOBAL bounds - >= 550525 @ 0.657983
0.97/1.01 c GLOBAL bounds - >= 550525 @ 0.662216
0.97/1.02 c GLOBAL bounds - >= 550525 @ 0.669245
0.97/1.02 c GLOBAL bounds - >= 550525 @ 0.675876
0.97/1.04 c GLOBAL bounds - >= 550525 @ 0.683911
0.97/1.05 c GLOBAL bounds - >= 550525 @ 0.693462
0.97/1.06 c GLOBAL bounds - >= 550525 @ 0.701639
0.97/1.06 c GLOBAL bounds - >= 704427 @ 0.702104
0.97/1.07 c GLOBAL bounds - >= 704427 @ 0.70385
0.97/1.07 c GLOBAL bounds - >= 704427 @ 0.704336
0.97/1.07 c GLOBAL bounds - >= 704427 @ 0.705009
0.97/1.07 c GLOBAL bounds - >= 704427 @ 0.705729
0.97/1.07 c GLOBAL bounds - >= 704427 @ 0.706439
0.97/1.07 c GLOBAL bounds - >= 704427 @ 0.707146
0.97/1.08 c GLOBAL bounds - >= 704427 @ 0.710246
0.97/1.08 c GLOBAL bounds - >= 704427 @ 0.711389
0.97/1.09 c GLOBAL bounds - >= 704427 @ 0.715387
0.97/1.09 c GLOBAL bounds - >= 704427 @ 0.716071
0.97/1.10 c GLOBAL bounds - >= 704427 @ 0.721931
1.07/1.10 c GLOBAL bounds - >= 704427 @ 0.723291
1.07/1.11 c GLOBAL bounds - >= 704427 @ 0.727575
1.07/1.11 c GLOBAL bounds - >= 704427 @ 0.72881
1.07/1.12 c GLOBAL bounds - >= 704427 @ 0.733201
1.07/1.12 c GLOBAL bounds - >= 704427 @ 0.734163
1.07/1.13 c GLOBAL bounds - >= 704427 @ 0.740265
1.07/1.13 c GLOBAL bounds - >= 704427 @ 0.741192
1.07/1.14 c GLOBAL bounds - >= 704427 @ 0.746402
1.07/1.14 c GLOBAL bounds - >= 704427 @ 0.747595
1.07/1.15 c GLOBAL bounds - >= 704427 @ 0.752827
1.07/1.15 c GLOBAL bounds - >= 704427 @ 0.753536
1.07/1.16 c GLOBAL bounds - >= 704427 @ 0.759818
1.07/1.16 c GLOBAL bounds - >= 704427 @ 0.761061
1.07/1.17 c GLOBAL bounds - >= 704427 @ 0.767091
1.07/1.18 c GLOBAL bounds - >= 704427 @ 0.771023
1.07/1.19 c GLOBAL bounds - >= 704427 @ 0.777687
1.17/1.20 c GLOBAL bounds - >= 704427 @ 0.784157
1.17/1.21 c GLOBAL bounds - >= 704427 @ 0.793978
1.17/1.22 c GLOBAL bounds - >= 704427 @ 0.801998
1.17/1.23 c GLOBAL bounds - >= 704427 @ 0.80704
1.17/1.24 c GLOBAL bounds - >= 704427 @ 0.814073
1.17/1.25 c GLOBAL bounds - >= 704427 @ 0.822647
1.17/1.26 c GLOBAL bounds - >= 704427 @ 0.828027
1.17/1.28 c GLOBAL bounds - >= 704427 @ 0.836705
1.17/1.29 c GLOBAL bounds - >= 704427 @ 0.847537
1.27/1.30 c GLOBAL bounds - >= 704427 @ 0.855947
1.27/1.31 c GLOBAL bounds - >= 704427 @ 0.860162
1.27/1.32 c GLOBAL bounds - >= 837157 @ 0.868028
1.27/1.32 c GLOBAL bounds - >= 837157 @ 0.870688
1.27/1.32 c GLOBAL bounds - >= 837157 @ 0.87136
1.27/1.32 c GLOBAL bounds - >= 837157 @ 0.872154
1.27/1.32 c GLOBAL bounds - >= 837157 @ 0.872892
1.27/1.32 c GLOBAL bounds - >= 837157 @ 0.87363
1.27/1.32 c GLOBAL bounds - >= 837157 @ 0.874382
1.27/1.33 c GLOBAL bounds - >= 837157 @ 0.875161
1.27/1.33 c GLOBAL bounds - >= 837157 @ 0.877459
1.27/1.34 c GLOBAL bounds - >= 837157 @ 0.878684
1.27/1.34 c GLOBAL bounds - >= 837157 @ 0.880512
1.27/1.35 c GLOBAL bounds - >= 837157 @ 0.881472
1.27/1.35 c GLOBAL bounds - >= 837157 @ 0.885605
1.27/1.35 c GLOBAL bounds - >= 837157 @ 0.886402
1.27/1.36 c GLOBAL bounds - >= 837157 @ 0.888589
1.27/1.36 c GLOBAL bounds - >= 837157 @ 0.889432
1.27/1.37 c GLOBAL bounds - >= 837157 @ 0.892739
1.27/1.37 c GLOBAL bounds - >= 837157 @ 0.893823
1.27/1.38 c GLOBAL bounds - >= 837157 @ 0.900296
1.27/1.38 c GLOBAL bounds - >= 837157 @ 0.901532
1.27/1.39 c GLOBAL bounds - >= 837157 @ 0.903779
1.27/1.39 c GLOBAL bounds - >= 837157 @ 0.904834
1.36/1.40 c GLOBAL bounds - >= 837157 @ 0.907974
1.36/1.40 c GLOBAL bounds - >= 837157 @ 0.909026
1.36/1.41 c GLOBAL bounds - >= 837157 @ 0.91239
1.36/1.41 c GLOBAL bounds - >= 837157 @ 0.914235
1.36/1.42 c GLOBAL bounds - >= 837157 @ 0.919406
1.36/1.44 c GLOBAL bounds - >= 837157 @ 0.935337
1.36/1.46 c GLOBAL bounds - >= 837157 @ 0.948583
1.36/1.47 c GLOBAL bounds - >= 837157 @ 0.959265
1.36/1.49 c GLOBAL bounds - >= 837157 @ 0.971117
1.46/1.52 c GLOBAL bounds - >= 837157 @ 0.996458
1.46/1.55 c GLOBAL bounds - >= 837157 @ 1.02247
1.46/1.57 c GLOBAL bounds - >= 973724 @ 1.04593
1.46/1.58 c GLOBAL bounds - >= 973724 @ 1.05001
1.46/1.58 c GLOBAL bounds - >= 973724 @ 1.05061
1.46/1.58 c GLOBAL bounds - >= 973724 @ 1.05117
1.46/1.59 c GLOBAL bounds - >= 973724 @ 1.05411
1.46/1.59 c GLOBAL bounds - >= 973724 @ 1.05509
1.56/1.60 c GLOBAL bounds - >= 973724 @ 1.05821
1.56/1.60 c GLOBAL bounds - >= 973724 @ 1.05889
1.56/1.61 c GLOBAL bounds - >= 973724 @ 1.06382
1.56/1.61 c GLOBAL bounds - >= 973724 @ 1.06456
1.56/1.61 c GLOBAL bounds - >= 973724 @ 1.06834
1.56/1.62 c GLOBAL bounds - >= 973724 @ 1.06834
1.56/1.62 c GLOBAL bounds - >= 973724 @ 1.07411
1.56/1.62 c GLOBAL bounds - >= 973724 @ 1.07432
1.56/1.63 c GLOBAL bounds - >= 973724 @ 1.07887
1.56/1.63 c GLOBAL bounds - >= 973724 @ 1.07944
1.56/1.64 c GLOBAL bounds - >= 973724 @ 1.08318
1.56/1.64 c GLOBAL bounds - >= 973724 @ 1.0833
1.56/1.65 c GLOBAL bounds - >= 973724 @ 1.08794
1.56/1.65 c GLOBAL bounds - >= 973724 @ 1.08828
1.56/1.66 c GLOBAL bounds - >= 973724 @ 1.08866
1.56/1.66 c GLOBAL bounds - >= 973724 @ 1.08914
1.56/1.67 c GLOBAL bounds - >= 973724 @ 1.09101
1.56/1.68 c GLOBAL bounds - >= 973724 @ 1.0968
1.56/1.70 c GLOBAL bounds - >= 973724 @ 1.10867
1.66/1.71 c GLOBAL bounds - >= 973724 @ 1.12016
1.66/1.76 c GLOBAL bounds - >= 973724 @ 1.16782
1.66/1.77 c GLOBAL bounds - >= 973724 @ 1.17279
1.66/1.79 c GLOBAL bounds - >= 973724 @ 1.18948
1.77/1.81 c GLOBAL bounds - >= 973724 @ 1.20277
1.77/1.84 c GLOBAL bounds - >= 973724 @ 1.22764
1.77/1.86 c GLOBAL bounds - >= 973724 @ 1.24056
1.77/1.88 c GLOBAL bounds - >= 973724 @ 1.25455
1.87/1.91 c GLOBAL bounds - >= 973724 @ 1.28257
1.87/1.92 c GLOBAL bounds - >= 973724 @ 1.28867
1.87/1.93 c GLOBAL bounds - >= 973724 @ 1.2976
1.87/1.97 c GLOBAL bounds - >= 1295332 @ 1.32819
1.87/1.97 c GLOBAL bounds - >= 1295332 @ 1.33625
1.87/1.97 c GLOBAL bounds - >= 1295332 @ 1.33664
1.87/1.98 c GLOBAL bounds - >= 1295332 @ 1.33699
1.87/1.98 c GLOBAL bounds - >= 1295332 @ 1.33736
1.87/1.98 c GLOBAL bounds - >= 1295332 @ 1.34064
1.87/1.98 c GLOBAL bounds - >= 1295332 @ 1.34142
1.87/1.99 c GLOBAL bounds - >= 1295332 @ 1.34538
1.87/1.99 c GLOBAL bounds - >= 1295332 @ 1.34622
1.96/2.00 c GLOBAL bounds - >= 1295332 @ 1.35036
1.96/2.00 c GLOBAL bounds - >= 1295332 @ 1.35058
1.96/2.01 c GLOBAL bounds - >= 1295332 @ 1.35222
1.96/2.01 c GLOBAL bounds - >= 1295332 @ 1.35291
1.96/2.02 c GLOBAL bounds - >= 1295332 @ 1.35806
1.96/2.02 c GLOBAL bounds - >= 1295332 @ 1.35872
1.96/2.03 c GLOBAL bounds - >= 1295332 @ 1.36122
1.96/2.03 c GLOBAL bounds - >= 1295332 @ 1.36194
1.96/2.04 c GLOBAL bounds - >= 1295332 @ 1.36702
1.96/2.04 c GLOBAL bounds - >= 1295332 @ 1.36771
1.96/2.05 c GLOBAL bounds - >= 1295332 @ 1.37086
1.96/2.05 c GLOBAL bounds - >= 1295332 @ 1.37151
1.96/2.06 c GLOBAL bounds - >= 1295332 @ 1.37418
1.96/2.06 c GLOBAL bounds - >= 1295332 @ 1.37517
1.96/2.06 c GLOBAL bounds - >= 1295332 @ 1.37948
1.96/2.08 c GLOBAL bounds - >= 1295332 @ 1.3856
1.96/2.09 c GLOBAL bounds - >= 1295332 @ 1.39321
2.07/2.11 c GLOBAL bounds - >= 1295332 @ 1.41239
2.07/2.13 c GLOBAL bounds - >= 1295332 @ 1.42357
2.07/2.15 c GLOBAL bounds - >= 1295332 @ 1.4389
2.07/2.16 c GLOBAL bounds - >= 1295332 @ 1.44284
2.07/2.18 c GLOBAL bounds - >= 1295332 @ 1.459
2.17/2.20 c GLOBAL bounds - >= 1295332 @ 1.47328
2.17/2.22 c GLOBAL bounds - >= 1295332 @ 1.49617
2.17/2.25 c GLOBAL bounds - >= 1295332 @ 1.51578
2.17/2.27 c GLOBAL bounds - >= 1295332 @ 1.53367
2.17/2.28 c GLOBAL bounds - >= 1378779 @ 1.54077
2.17/2.28 c GLOBAL bounds - >= 1378779 @ 1.54436
2.17/2.28 c GLOBAL bounds - >= 1378779 @ 1.54517
2.17/2.28 c GLOBAL bounds - >= 1378779 @ 1.54554
2.17/2.28 c GLOBAL bounds - >= 1378779 @ 1.54593
2.17/2.29 c GLOBAL bounds - >= 1378779 @ 1.55102
2.17/2.29 c GLOBAL bounds - >= 1378779 @ 1.55102
2.27/2.30 c GLOBAL bounds - >= 1378779 @ 1.5539
2.27/2.30 c GLOBAL bounds - >= 1378779 @ 1.55501
2.27/2.31 c GLOBAL bounds - >= 1378779 @ 1.55754
2.27/2.31 c GLOBAL bounds - >= 1378779 @ 1.558
2.27/2.32 c GLOBAL bounds - >= 1378779 @ 1.56199
2.27/2.32 c GLOBAL bounds - >= 1378779 @ 1.56199
2.27/2.33 c GLOBAL bounds - >= 1378779 @ 1.56636
2.27/2.33 c GLOBAL bounds - >= 1378779 @ 1.56824
2.27/2.34 c GLOBAL bounds - >= 1378779 @ 1.57166
2.27/2.34 c GLOBAL bounds - >= 1378779 @ 1.57337
2.27/2.35 c GLOBAL bounds - >= 1378779 @ 1.57562
2.27/2.35 c GLOBAL bounds - >= 1378779 @ 1.57661
2.27/2.36 c GLOBAL bounds - >= 1378779 @ 1.58258
2.27/2.36 c GLOBAL bounds - >= 1378779 @ 1.58292
2.27/2.37 c GLOBAL bounds - >= 1378779 @ 1.58536
2.27/2.37 c GLOBAL bounds - >= 1378779 @ 1.58634
2.27/2.38 c GLOBAL bounds - >= 1378779 @ 1.58917
2.27/2.39 c GLOBAL bounds - >= 1378779 @ 1.59255
2.37/2.40 c GLOBAL bounds - >= 1378779 @ 1.60155
2.37/2.41 c GLOBAL bounds - >= 1378779 @ 1.60739
2.37/2.43 c GLOBAL bounds - >= 1378779 @ 1.62394
2.37/2.45 c GLOBAL bounds - >= 1378779 @ 1.63807
2.37/2.46 c GLOBAL bounds - >= 1378779 @ 1.64659
2.37/2.47 c GLOBAL bounds - >= 1378779 @ 1.65296
2.47/2.50 c GLOBAL bounds - >= 1378779 @ 1.67167
2.47/2.50 c GLOBAL bounds - >= 1378779 @ 1.67378
2.47/2.51 c GLOBAL bounds - >= 1378779 @ 1.67814
2.47/2.52 c GLOBAL bounds - >= 1378779 @ 1.68164
2.47/2.53 c GLOBAL bounds - >= 1378779 @ 1.68663
2.47/2.54 c GLOBAL bounds - >= 1378779 @ 1.69356
2.47/2.55 c GLOBAL bounds - >= 1378779 @ 1.69913
2.47/2.56 c GLOBAL bounds - >= 1378779 @ 1.70579
2.47/2.58 c GLOBAL bounds - >= 1378779 @ 1.72156
2.56/2.60 c GLOBAL bounds - >= 1378779 @ 1.73573
2.56/2.61 c GLOBAL bounds - >= 1511509 @ 1.75233
2.56/2.62 c GLOBAL bounds - >= 1511509 @ 1.75865
2.56/2.62 c GLOBAL bounds - >= 1511509 @ 1.7595
2.56/2.62 c GLOBAL bounds - >= 1511509 @ 1.76027
2.56/2.62 c GLOBAL bounds - >= 1511509 @ 1.7611
2.56/2.62 c GLOBAL bounds - >= 1511509 @ 1.7617
2.56/2.62 c GLOBAL bounds - >= 1511509 @ 1.76253
2.56/2.62 c GLOBAL bounds - >= 1511509 @ 1.76333
2.56/2.62 c GLOBAL bounds - >= 1511509 @ 1.76341
2.56/2.63 c GLOBAL bounds - >= 1511509 @ 1.76395
2.56/2.63 c GLOBAL bounds - >= 1511509 @ 1.76482
2.56/2.63 c GLOBAL bounds - >= 1511509 @ 1.76562
2.56/2.64 c GLOBAL bounds - >= 1511509 @ 1.77121
2.56/2.64 c GLOBAL bounds - >= 1511509 @ 1.77208
2.56/2.64 c GLOBAL bounds - >= 1511509 @ 1.77626
2.56/2.65 c GLOBAL bounds - >= 1511509 @ 1.77638
2.56/2.65 c GLOBAL bounds - >= 1511509 @ 1.77878
2.56/2.66 c GLOBAL bounds - >= 1511509 @ 1.78028
2.56/2.66 c GLOBAL bounds - >= 1511509 @ 1.78563
2.56/2.67 c GLOBAL bounds - >= 1511509 @ 1.78635
2.56/2.67 c GLOBAL bounds - >= 1511509 @ 1.79022
2.56/2.68 c GLOBAL bounds - >= 1511509 @ 1.79172
2.56/2.68 c GLOBAL bounds - >= 1511509 @ 1.79514
2.56/2.69 c GLOBAL bounds - >= 1511509 @ 1.79632
2.56/2.69 c GLOBAL bounds - >= 1511509 @ 1.79852
2.66/2.70 c GLOBAL bounds - >= 1511509 @ 1.80067
2.66/2.71 c GLOBAL bounds - >= 1511509 @ 1.80566
2.66/2.71 c GLOBAL bounds - >= 1511509 @ 1.80729
2.66/2.72 c GLOBAL bounds - >= 1511509 @ 1.80979
2.66/2.72 c GLOBAL bounds - >= 1511509 @ 1.81071
2.66/2.73 c GLOBAL bounds - >= 1511509 @ 1.81421
2.66/2.75 c GLOBAL bounds - >= 1511509 @ 1.83025
2.66/2.75 c GLOBAL bounds - >= 1511509 @ 1.83591
2.66/2.79 c GLOBAL bounds - >= 1511509 @ 1.86894
2.77/2.83 c GLOBAL bounds - >= 1511509 @ 1.90458
2.77/2.86 c GLOBAL bounds - >= 1511509 @ 1.92892
2.77/2.87 c GLOBAL bounds - >= 1511509 @ 1.93471
2.86/2.91 c GLOBAL bounds - >= 1511509 @ 1.97108
2.86/2.93 c GLOBAL bounds - >= 1727571 @ 1.99283
2.86/2.94 c GLOBAL bounds - >= 1727571 @ 2.00211
2.86/2.94 c GLOBAL bounds - >= 1727571 @ 2.00303
2.86/2.94 c GLOBAL bounds - >= 1727571 @ 2.00388
2.86/2.94 c GLOBAL bounds - >= 1727571 @ 2.00465
2.86/2.94 c GLOBAL bounds - >= 1727571 @ 2.00549
2.86/2.95 c GLOBAL bounds - >= 1727571 @ 2.00659
2.86/2.95 c GLOBAL bounds - >= 1727571 @ 2.00763
2.86/2.96 c GLOBAL bounds - >= 1727571 @ 2.00962
2.86/2.96 c GLOBAL bounds - >= 1727571 @ 2.00984
2.86/2.96 c GLOBAL bounds - >= 1727571 @ 2.01332
2.86/2.97 c GLOBAL bounds - >= 1727571 @ 2.01406
2.86/2.97 c GLOBAL bounds - >= 1727571 @ 2.01837
2.86/2.97 c GLOBAL bounds - >= 1727571 @ 2.01908
2.86/2.98 c GLOBAL bounds - >= 1727571 @ 2.02439
2.86/2.98 c GLOBAL bounds - >= 1727571 @ 2.02553
2.86/2.99 c GLOBAL bounds - >= 1727571 @ 2.0271
2.86/2.99 c GLOBAL bounds - >= 1727571 @ 2.02757
2.97/3.00 c GLOBAL bounds - >= 1727571 @ 2.03133
2.97/3.00 c GLOBAL bounds - >= 1727571 @ 2.03195
2.97/3.01 c GLOBAL bounds - >= 1727571 @ 2.03438
2.97/3.01 c GLOBAL bounds - >= 1727571 @ 2.03498
2.97/3.02 c GLOBAL bounds - >= 1727571 @ 2.03947
2.97/3.02 c GLOBAL bounds - >= 1727571 @ 2.04117
2.97/3.03 c GLOBAL bounds - >= 1727571 @ 2.04494
2.97/3.03 c GLOBAL bounds - >= 1727571 @ 2.04634
2.97/3.04 c GLOBAL bounds - >= 1727571 @ 2.04931
2.97/3.05 c GLOBAL bounds - >= 1727571 @ 2.05419
2.97/3.07 c GLOBAL bounds - >= 1727571 @ 2.07243
2.97/3.09 c GLOBAL bounds - >= 1727571 @ 2.08415
2.97/3.10 c GLOBAL bounds - >= 1727571 @ 2.08706
3.06/3.10 c GLOBAL bounds - >= 1727571 @ 2.09047
3.06/3.11 c GLOBAL bounds - >= 1727571 @ 2.09585
3.06/3.12 c GLOBAL bounds - >= 1727571 @ 2.10307
3.06/3.14 c GLOBAL bounds - >= 1727571 @ 2.11777
3.06/3.15 c GLOBAL bounds - >= 1727571 @ 2.12428
3.06/3.17 c GLOBAL bounds - >= 1727571 @ 2.1398
3.16/3.21 c GLOBAL bounds - >= 1749055 @ 2.17488
3.16/3.21 c GLOBAL bounds - >= 1749055 @ 2.17877
3.16/3.21 c GLOBAL bounds - >= 1749055 @ 2.17955
3.16/3.21 c GLOBAL bounds - >= 1749055 @ 2.18072
3.16/3.21 c GLOBAL bounds - >= 1749055 @ 2.18111
3.16/3.22 c GLOBAL bounds - >= 1749055 @ 2.18497
3.16/3.23 c GLOBAL bounds - >= 1749055 @ 2.18614
3.16/3.23 c GLOBAL bounds - >= 1749055 @ 2.18984
3.16/3.24 c GLOBAL bounds - >= 1749055 @ 2.19108
3.16/3.24 c GLOBAL bounds - >= 1749055 @ 2.19307
3.16/3.25 c GLOBAL bounds - >= 1749055 @ 2.19407
3.16/3.26 c GLOBAL bounds - >= 1749055 @ 2.1966
3.16/3.26 c GLOBAL bounds - >= 1749055 @ 2.19883
3.16/3.27 c GLOBAL bounds - >= 1749055 @ 2.20444
3.16/3.27 c GLOBAL bounds - >= 1749055 @ 2.2055
3.16/3.28 c GLOBAL bounds - >= 1749055 @ 2.21009
3.16/3.28 c GLOBAL bounds - >= 1749055 @ 2.21151
3.16/3.29 c GLOBAL bounds - >= 1749055 @ 2.21608
3.16/3.29 c GLOBAL bounds - >= 1749055 @ 2.21747
3.26/3.30 c GLOBAL bounds - >= 1749055 @ 2.22391
3.26/3.30 c GLOBAL bounds - >= 1749055 @ 2.22553
3.26/3.31 c GLOBAL bounds - >= 1749055 @ 2.23096
3.26/3.31 c GLOBAL bounds - >= 1749055 @ 2.23155
3.26/3.32 c GLOBAL bounds - >= 1749055 @ 2.23594
3.26/3.33 c GLOBAL bounds - >= 1749055 @ 2.24309
3.26/3.34 c GLOBAL bounds - >= 1749055 @ 2.25002
3.26/3.35 c GLOBAL bounds - >= 1749055 @ 2.25244
3.26/3.36 c GLOBAL bounds - >= 1749055 @ 2.25788
3.26/3.37 c GLOBAL bounds - >= 1749055 @ 2.27054
3.26/3.38 c GLOBAL bounds - >= 1749055 @ 2.27851
3.26/3.39 c GLOBAL bounds - >= 1749055 @ 2.28519
3.36/3.40 c GLOBAL bounds - >= 1749055 @ 2.29018
3.36/3.42 c GLOBAL bounds - >= 1749055 @ 2.30254
3.36/3.43 c GLOBAL bounds - >= 1749055 @ 2.30854
3.36/3.44 c GLOBAL bounds - >= 1749055 @ 2.32171
3.36/3.48 c GLOBAL bounds - >= 1749055 @ 2.35748
3.55/3.64 c #Conflicts: 1000 | #Constraints: 37965
3.55/3.64 c GLOBAL bounds - >= 1817675 @ 2.50809
3.55/3.64 c GLOBAL bounds - >= 1817675 @ 2.51374
3.55/3.64 c GLOBAL bounds - >= 1817675 @ 2.51466
3.55/3.65 c GLOBAL bounds - >= 1817675 @ 2.51646
3.55/3.66 c GLOBAL bounds - >= 1817675 @ 2.51985
3.55/3.66 c GLOBAL bounds - >= 1817675 @ 2.52157
3.55/3.67 c GLOBAL bounds - >= 1817675 @ 2.52605
3.55/3.67 c GLOBAL bounds - >= 1817675 @ 2.52818
3.55/3.68 c GLOBAL bounds - >= 1817675 @ 2.53335
3.55/3.68 c GLOBAL bounds - >= 1817675 @ 2.53511
3.55/3.69 c GLOBAL bounds - >= 1817675 @ 2.53878
3.55/3.69 c GLOBAL bounds - >= 1817675 @ 2.54076
3.66/3.70 c GLOBAL bounds - >= 1817675 @ 2.54571
3.66/3.70 c GLOBAL bounds - >= 1817675 @ 2.54811
3.66/3.71 c GLOBAL bounds - >= 1817675 @ 2.55185
3.66/3.71 c GLOBAL bounds - >= 1817675 @ 2.55373
3.66/3.72 c GLOBAL bounds - >= 1817675 @ 2.55804
3.66/3.72 c GLOBAL bounds - >= 1817675 @ 2.55804
3.66/3.73 c GLOBAL bounds - >= 1817675 @ 2.56303
3.66/3.73 c GLOBAL bounds - >= 1817675 @ 2.56343
3.66/3.74 c GLOBAL bounds - >= 1817675 @ 2.56665
3.66/3.74 c GLOBAL bounds - >= 1817675 @ 2.56845
3.66/3.75 c GLOBAL bounds - >= 1817675 @ 2.57473
3.66/3.76 c GLOBAL bounds - >= 1817675 @ 2.5818
3.66/3.77 c GLOBAL bounds - >= 1817675 @ 2.58644
3.66/3.78 c GLOBAL bounds - >= 1817675 @ 2.59297
3.66/3.79 c GLOBAL bounds - >= 1817675 @ 2.59567
3.76/3.80 c GLOBAL bounds - >= 1817675 @ 2.59924
3.76/3.81 c GLOBAL bounds - >= 1817675 @ 2.60357
3.76/3.82 c GLOBAL bounds - >= 1817675 @ 2.60971
3.76/3.83 c GLOBAL bounds - >= 1817675 @ 2.61792
3.76/3.85 c GLOBAL bounds - >= 1817675 @ 2.63577
3.76/3.86 c GLOBAL bounds - >= 1817675 @ 2.63952
3.86/3.93 c GLOBAL bounds - >= 1817675 @ 2.70431
3.86/3.99 c GLOBAL bounds - >= 1817675 @ 2.75939
4.36/4.46 c GLOBAL bounds - >= 1817675 @ 3.21307
4.36/4.48 c GLOBAL bounds - >= 1817675 @ 3.22438
4.46/4.52 c GLOBAL bounds - >= 1817675 @ 3.2629
4.85/4.91 c GLOBAL bounds - >= 1838843 @ 3.64404
4.85/4.92 c GLOBAL bounds - >= 1838843 @ 3.64861
4.85/4.93 c GLOBAL bounds - >= 1838843 @ 3.6579
4.85/4.93 c GLOBAL bounds - >= 1838843 @ 3.66037
4.85/4.94 c GLOBAL bounds - >= 1838843 @ 3.67154
4.85/4.95 c GLOBAL bounds - >= 1838843 @ 3.67305
4.85/4.96 c GLOBAL bounds - >= 1838843 @ 3.67809
4.85/4.96 c GLOBAL bounds - >= 1838843 @ 3.68065
4.85/4.97 c GLOBAL bounds - >= 1838843 @ 3.68853
4.85/4.97 c GLOBAL bounds - >= 1838843 @ 3.69022
4.85/4.98 c GLOBAL bounds - >= 1838843 @ 3.69651
4.85/4.98 c GLOBAL bounds - >= 1838843 @ 3.69694
4.85/4.99 c GLOBAL bounds - >= 1838843 @ 3.70109
4.85/5.00 c GLOBAL bounds - >= 1838843 @ 3.70326
4.96/5.01 c GLOBAL bounds - >= 1838843 @ 3.71009
4.96/5.01 c GLOBAL bounds - >= 1838843 @ 3.71256
4.96/5.02 c GLOBAL bounds - >= 1838843 @ 3.7188
4.96/5.02 c GLOBAL bounds - >= 1838843 @ 3.72112
4.96/5.03 c GLOBAL bounds - >= 1838843 @ 3.7284
4.96/5.03 c GLOBAL bounds - >= 1838843 @ 3.72989
4.96/5.04 c GLOBAL bounds - >= 1838843 @ 3.73707
4.96/5.05 c GLOBAL bounds - >= 1838843 @ 3.74313
4.96/5.06 c GLOBAL bounds - >= 1838843 @ 3.74854
4.96/5.08 c GLOBAL bounds - >= 1838843 @ 3.75394
4.96/5.09 c GLOBAL bounds - >= 1838843 @ 3.76021
4.96/5.10 c GLOBAL bounds - >= 1838843 @ 3.76927
5.06/5.12 c GLOBAL bounds - >= 1838843 @ 3.78283
5.06/5.14 c GLOBAL bounds - >= 1838843 @ 3.80016
5.06/5.15 c GLOBAL bounds - >= 1838843 @ 3.81004
5.06/5.17 c GLOBAL bounds - >= 1838843 @ 3.81784
5.06/5.19 c GLOBAL bounds - >= 1838843 @ 3.83308
6.55/6.68 c #Conflicts: 2000 | #Constraints: 46022
6.55/6.68 c INPROCESSING
6.55/6.68 c GARBAGE COLLECT
6.55/6.68 c GLOBAL bounds - >= 1869182 @ 5.31341
6.55/6.68 c GLOBAL bounds - >= 1869182 @ 5.32102
6.55/6.69 c GLOBAL bounds - >= 1869182 @ 5.323
6.55/6.69 c GLOBAL bounds - >= 1869182 @ 5.32496
6.65/6.70 c GLOBAL bounds - >= 1869182 @ 5.33429
6.65/6.70 c GLOBAL bounds - >= 1869182 @ 5.33528
6.65/6.71 c GLOBAL bounds - >= 1869182 @ 5.34292
6.65/6.72 c GLOBAL bounds - >= 1869182 @ 5.34963
6.65/6.73 c GLOBAL bounds - >= 1869182 @ 5.35422
6.65/6.74 c GLOBAL bounds - >= 1869182 @ 5.36109
6.65/6.75 c GLOBAL bounds - >= 1869182 @ 5.36785
6.65/6.75 c GLOBAL bounds - >= 1869182 @ 5.37361
6.65/6.76 c GLOBAL bounds - >= 1869182 @ 5.38028
6.65/6.77 c GLOBAL bounds - >= 1869182 @ 5.38708
6.65/6.78 c GLOBAL bounds - >= 1869182 @ 5.39386
6.65/6.79 c GLOBAL bounds - >= 1869182 @ 5.39976
6.75/6.80 c GLOBAL bounds - >= 1869182 @ 5.40766
6.75/6.81 c GLOBAL bounds - >= 1869182 @ 5.41359
6.75/6.82 c GLOBAL bounds - >= 1869182 @ 5.41913
6.75/6.82 c GLOBAL bounds - >= 1869182 @ 5.42579
6.75/6.83 c GLOBAL bounds - >= 1869182 @ 5.43054
6.75/6.84 c GLOBAL bounds - >= 1869182 @ 5.43627
6.75/6.85 c GLOBAL bounds - >= 1869182 @ 5.44166
6.75/6.86 c GLOBAL bounds - >= 1869182 @ 5.44675
6.75/6.87 c GLOBAL bounds - >= 1869182 @ 5.45436
6.75/6.88 c GLOBAL bounds - >= 1869182 @ 5.46258
6.85/6.90 c GLOBAL bounds - >= 1869182 @ 5.47415
6.85/6.92 c GLOBAL bounds - >= 1869182 @ 5.48917
6.85/6.93 c GLOBAL bounds - >= 1869182 @ 5.49786
6.96/7.05 c GLOBAL bounds - >= 1869182 @ 5.61512
7.05/7.10 c GLOBAL bounds - >= 1869182 @ 5.66483
7.05/7.12 c GLOBAL bounds - >= 1869182 @ 5.67742
7.34/7.42 c GLOBAL bounds - >= 1869182 @ 5.96405
7.34/7.46 c GLOBAL bounds - >= 1869182 @ 6.0012
7.34/7.47 c GLOBAL bounds - >= 1869182 @ 6.00802
7.74/7.88 c #Conflicts: 3000 | #Constraints: 49250
7.74/7.88 c GLOBAL bounds - >= 1869182 @ 6.40672
7.74/7.89 c GLOBAL bounds - >= 1869182 @ 6.41872
8.05/8.14 c GLOBAL bounds - >= 1869182 @ 6.65346
8.95/9.03 c GLOBAL bounds - >= 1869182 @ 7.53275
9.24/9.37 c GLOBAL bounds - >= 1869182 @ 7.85315
9.43/9.58 c GLOBAL bounds - >= 1869182 @ 8.05952
10.64/10.77 c #Conflicts: 4000 | #Constraints: 51192
10.64/10.77 c INPROCESSING
10.64/10.77 c GARBAGE COLLECT
10.64/10.77 c GLOBAL bounds - >= 1883196 @ 9.2416
10.64/10.78 c GLOBAL bounds - >= 1883196 @ 9.25243
10.64/10.79 c GLOBAL bounds - >= 1883196 @ 9.25692
10.64/10.79 c GLOBAL bounds - >= 1883196 @ 9.26196
10.74/10.80 c GLOBAL bounds - >= 1883196 @ 9.26695
10.74/10.80 c GLOBAL bounds - >= 1883196 @ 9.27192
10.74/10.81 c GLOBAL bounds - >= 1883196 @ 9.27722
10.74/10.81 c GLOBAL bounds - >= 1883196 @ 9.28172
10.74/10.82 c GLOBAL bounds - >= 1883196 @ 9.28471
10.74/10.82 c GLOBAL bounds - >= 1883196 @ 9.28869
10.74/10.83 c GLOBAL bounds - >= 1883196 @ 9.2933
10.74/10.86 c GLOBAL bounds - >= 1883196 @ 9.32113
10.74/10.87 c GLOBAL bounds - >= 1883196 @ 9.32678
10.74/10.88 c GLOBAL bounds - >= 1883196 @ 9.33247
10.74/10.88 c GLOBAL bounds - >= 1883196 @ 9.33908
10.74/10.89 c GLOBAL bounds - >= 1883196 @ 9.34388
10.84/10.90 c GLOBAL bounds - >= 1883196 @ 9.34937
10.84/10.91 c GLOBAL bounds - >= 1883196 @ 9.35616
10.84/10.92 c GLOBAL bounds - >= 1883196 @ 9.36267
10.84/10.93 c GLOBAL bounds - >= 1883196 @ 9.36903
10.84/10.93 c GLOBAL bounds - >= 1883196 @ 9.3754
10.84/10.94 c GLOBAL bounds - >= 1883196 @ 9.38215
10.84/10.95 c GLOBAL bounds - >= 1883196 @ 9.38865
10.84/10.96 c GLOBAL bounds - >= 1883196 @ 9.39446
10.84/10.97 c GLOBAL bounds - >= 1883196 @ 9.40115
10.84/10.98 c GLOBAL bounds - >= 1883196 @ 9.4079
10.84/10.98 c GLOBAL bounds - >= 1883196 @ 9.41418
10.84/10.99 c GLOBAL bounds - >= 1883196 @ 9.41794
10.84/11.00 c GLOBAL bounds - >= 1883196 @ 9.42486
10.94/11.01 c GLOBAL bounds - >= 1883196 @ 9.43108
10.94/11.02 c GLOBAL bounds - >= 1883196 @ 9.43673
10.94/11.03 c GLOBAL bounds - >= 1883196 @ 9.44407
10.94/11.04 c GLOBAL bounds - >= 1883196 @ 9.45253
10.94/11.06 c GLOBAL bounds - >= 1883196 @ 9.46513
10.94/11.07 c GLOBAL bounds - >= 1883196 @ 9.47393
10.94/11.09 c GLOBAL bounds - >= 1883196 @ 9.48763
11.04/11.11 c GLOBAL bounds - >= 1883196 @ 9.49856
11.04/11.13 c GLOBAL bounds - >= 1883196 @ 9.51781
11.04/11.14 c GLOBAL bounds - >= 1883196 @ 9.52839
11.04/11.17 c GLOBAL bounds - >= 1883196 @ 9.54717
11.13/11.21 c GLOBAL bounds - >= 1883196 @ 9.5854
11.23/11.30 c GLOBAL bounds - >= 1883196 @ 9.67272
12.13/12.27 c #Conflicts: 5000 | #Constraints: 54050
12.13/12.27 c GLOBAL bounds - >= 1883196 @ 10.6291
14.92/15.03 c #Conflicts: 6000 | #Constraints: 55207
14.92/15.03 c GLOBAL bounds - >= 1900572 @ 13.3539
14.92/15.04 c GLOBAL bounds - >= 1900572 @ 13.3671
14.92/15.05 c GLOBAL bounds - >= 1900572 @ 13.3722
14.92/15.05 c GLOBAL bounds - >= 1900572 @ 13.3773
15.42/15.52 c INPROCESSING
15.42/15.52 c GARBAGE COLLECT
15.42/15.52 c GLOBAL bounds - >= 1900572 @ 13.8405
15.42/15.53 c GLOBAL bounds - >= 1900572 @ 13.8462
15.42/15.54 c GLOBAL bounds - >= 1900572 @ 13.8523
15.42/15.54 c GLOBAL bounds - >= 1900572 @ 13.8581
15.42/15.55 c GLOBAL bounds - >= 1900572 @ 13.8631
15.42/15.56 c GLOBAL bounds - >= 1900572 @ 13.8689
15.42/15.57 c GLOBAL bounds - >= 1900572 @ 13.8731
15.42/15.58 c GLOBAL bounds - >= 1900572 @ 13.8791
15.42/15.59 c GLOBAL bounds - >= 1900572 @ 13.8811
15.52/15.60 c GLOBAL bounds - >= 1900572 @ 13.8857
15.52/15.61 c GLOBAL bounds - >= 1900572 @ 13.8898
15.52/15.61 c GLOBAL bounds - >= 1900572 @ 13.8956
15.52/15.62 c GLOBAL bounds - >= 1900572 @ 13.9006
15.52/15.63 c GLOBAL bounds - >= 1900572 @ 13.9073
15.52/15.64 c GLOBAL bounds - >= 1900572 @ 13.9142
15.52/15.65 c GLOBAL bounds - >= 1900572 @ 13.9208
15.52/15.66 c GLOBAL bounds - >= 1900572 @ 13.9269
15.52/15.66 c GLOBAL bounds - >= 1900572 @ 13.9326
15.52/15.67 c GLOBAL bounds - >= 1900572 @ 13.939
15.52/15.68 c GLOBAL bounds - >= 1900572 @ 13.9451
15.52/15.69 c GLOBAL bounds - >= 1900572 @ 13.9504
15.62/15.71 c GLOBAL bounds - >= 1900572 @ 13.9576
15.62/15.72 c GLOBAL bounds - >= 1900572 @ 13.9687
15.62/15.74 c GLOBAL bounds - >= 1900572 @ 13.983
15.62/15.77 c GLOBAL bounds - >= 1900572 @ 14.0094
15.62/15.78 c GLOBAL bounds - >= 1900572 @ 14.0167
15.72/15.80 c GLOBAL bounds - >= 1900572 @ 14.0341
15.72/15.81 c GLOBAL bounds - >= 1900572 @ 14.0426
15.72/15.83 c GLOBAL bounds - >= 1900572 @ 14.0543
15.72/15.84 c GLOBAL bounds - >= 1900572 @ 14.0593
15.72/15.86 c GLOBAL bounds - >= 1900572 @ 14.0784
15.82/15.98 c GLOBAL bounds - >= 1900572 @ 14.192
15.82/15.99 c GLOBAL bounds - >= 1900572 @ 14.1987
15.92/16.07 c GLOBAL bounds - >= 1900572 @ 14.2757
15.92/16.09 c GLOBAL bounds - >= 1900572 @ 14.2868
18.02/18.10 c #Conflicts: 7000 | #Constraints: 58223
18.02/18.10 c GLOBAL bounds - >= 1900572 @ 16.2861
18.72/18.80 c #Conflicts: 8000 | #Constraints: 59380
18.72/18.80 c GLOBAL bounds - >= 1900572 @ 16.9745
24.90/25.05 c #Conflicts: 9000 | #Constraints: 60537
24.90/25.05 c INPROCESSING
24.90/25.05 c GARBAGE COLLECT
24.90/25.05 c #Conflicts: 10000 | #Constraints: 59219
24.90/25.05 c GLOBAL bounds - >= 1910922 @ 23.1732
24.90/25.06 c GLOBAL bounds - >= 1910922 @ 23.1853
24.90/25.07 c GLOBAL bounds - >= 1910922 @ 23.1902
24.90/25.07 c GLOBAL bounds - >= 1910922 @ 23.1952
24.90/25.08 c GLOBAL bounds - >= 1910922 @ 23.2002
24.90/25.08 c GLOBAL bounds - >= 1910922 @ 23.204
24.90/25.09 c GLOBAL bounds - >= 1910922 @ 23.2105
24.90/25.10 c GLOBAL bounds - >= 1910922 @ 23.2172
24.99/25.11 c GLOBAL bounds - >= 1910922 @ 23.2235
24.99/25.12 c GLOBAL bounds - >= 1910922 @ 23.229
24.99/25.13 c GLOBAL bounds - >= 1910922 @ 23.2352
24.99/25.14 c GLOBAL bounds - >= 1910922 @ 23.242
24.99/25.15 c GLOBAL bounds - >= 1910922 @ 23.2486
24.99/25.15 c GLOBAL bounds - >= 1910922 @ 23.2535
24.99/25.17 c GLOBAL bounds - >= 1910922 @ 23.2599
24.99/25.17 c GLOBAL bounds - >= 1910922 @ 23.2667
24.99/25.18 c GLOBAL bounds - >= 1910922 @ 23.2737
24.99/25.19 c GLOBAL bounds - >= 1910922 @ 23.2794
25.09/25.20 c GLOBAL bounds - >= 1910922 @ 23.2877
25.09/25.21 c GLOBAL bounds - >= 1910922 @ 23.2933
25.09/25.22 c GLOBAL bounds - >= 1910922 @ 23.298
25.09/25.23 c GLOBAL bounds - >= 1910922 @ 23.3035
25.09/25.24 c GLOBAL bounds - >= 1910922 @ 23.3133
25.09/25.24 c GLOBAL bounds - >= 1910922 @ 23.3168
25.09/25.25 c GLOBAL bounds - >= 1910922 @ 23.3239
25.09/25.27 c GLOBAL bounds - >= 1910922 @ 23.3306
25.09/25.28 c GLOBAL bounds - >= 1910922 @ 23.3382
25.19/25.30 c GLOBAL bounds - >= 1910922 @ 23.3534
25.19/25.31 c GLOBAL bounds - >= 1910922 @ 23.3614
25.19/25.32 c GLOBAL bounds - >= 1910922 @ 23.3691
25.19/25.33 c GLOBAL bounds - >= 1910922 @ 23.3767
25.19/25.35 c GLOBAL bounds - >= 1910922 @ 23.3855
25.19/25.37 c GLOBAL bounds - >= 1910922 @ 23.4046
25.19/25.38 c GLOBAL bounds - >= 1910922 @ 23.4123
25.29/25.40 c GLOBAL bounds - >= 1910922 @ 23.4278
25.39/25.52 c GLOBAL bounds - >= 1910922 @ 23.5454
26.59/26.75 c #Conflicts: 11000 | #Constraints: 63475
26.59/26.75 c GLOBAL bounds - >= 1910922 @ 24.7494
26.79/26.90 c GLOBAL bounds - >= 1910922 @ 24.8954
26.79/26.95 c GLOBAL bounds - >= 1910922 @ 24.935
26.89/27.08 c GLOBAL bounds - >= 1910922 @ 25.0577
26.89/27.09 c GLOBAL bounds - >= 1910922 @ 25.0721
30.27/30.41 c #Conflicts: 12000 | #Constraints: 65260
30.27/30.41 c INPROCESSING
30.27/30.41 c GARBAGE COLLECT
30.27/30.41 c #Conflicts: 13000 | #Constraints: 63692
30.27/30.41 c GLOBAL bounds - >= 1910922 @ 28.3606
30.77/30.97 c GLOBAL bounds - >= 1910922 @ 28.9139
37.05/37.20 c #Conflicts: 14000 | #Constraints: 65006
37.05/37.20 c #Conflicts: 15000 | #Constraints: 66006
37.05/37.20 c INPROCESSING
37.05/37.20 c GARBAGE COLLECT
37.05/37.20 c GLOBAL bounds - >= 1922573 @ 35.0949
37.05/37.22 c GLOBAL bounds - >= 1922573 @ 35.1081
37.05/37.22 c GLOBAL bounds - >= 1922573 @ 35.114
37.05/37.23 c GLOBAL bounds - >= 1922573 @ 35.1183
37.05/37.23 c GLOBAL bounds - >= 1922573 @ 35.1234
37.05/37.24 c GLOBAL bounds - >= 1922573 @ 35.1281
37.05/37.24 c GLOBAL bounds - >= 1922573 @ 35.1331
37.05/37.25 c GLOBAL bounds - >= 1922573 @ 35.1378
37.05/37.25 c GLOBAL bounds - >= 1922573 @ 35.143
37.05/37.26 c GLOBAL bounds - >= 1922573 @ 35.1468
37.05/37.27 c GLOBAL bounds - >= 1922573 @ 35.1512
37.05/37.27 c GLOBAL bounds - >= 1922573 @ 35.1555
37.05/37.28 c GLOBAL bounds - >= 1922573 @ 35.1605
37.25/37.44 c GLOBAL bounds - >= 1922573 @ 35.3205
37.25/37.45 c GLOBAL bounds - >= 1922573 @ 35.3273
37.25/37.46 c GLOBAL bounds - >= 1922573 @ 35.3335
37.25/37.47 c GLOBAL bounds - >= 1922573 @ 35.3384
37.25/37.48 c GLOBAL bounds - >= 1922573 @ 35.3453
37.25/37.48 c GLOBAL bounds - >= 1922573 @ 35.3511
37.35/37.50 c GLOBAL bounds - >= 1922573 @ 35.3582
37.35/37.50 c GLOBAL bounds - >= 1922573 @ 35.3639
37.35/37.51 c GLOBAL bounds - >= 1922573 @ 35.369
37.35/37.52 c GLOBAL bounds - >= 1922573 @ 35.3748
37.35/37.53 c GLOBAL bounds - >= 1922573 @ 35.3823
37.35/37.54 c GLOBAL bounds - >= 1922573 @ 35.3875
37.35/37.55 c GLOBAL bounds - >= 1922573 @ 35.3925
37.35/37.56 c GLOBAL bounds - >= 1922573 @ 35.3983
37.35/37.57 c GLOBAL bounds - >= 1922573 @ 35.4062
37.35/37.57 c GLOBAL bounds - >= 1922573 @ 35.4114
37.35/37.58 c GLOBAL bounds - >= 1922573 @ 35.4182
37.35/37.59 c GLOBAL bounds - >= 1922573 @ 35.4252
37.45/37.60 c GLOBAL bounds - >= 1922573 @ 35.4331
37.45/37.61 c GLOBAL bounds - >= 1922573 @ 35.4394
37.45/37.63 c GLOBAL bounds - >= 1922573 @ 35.4485
37.45/37.64 c GLOBAL bounds - >= 1922573 @ 35.4553
37.56/37.72 c GLOBAL bounds - >= 1922573 @ 35.5328
37.56/37.74 c GLOBAL bounds - >= 1922573 @ 35.5434
37.56/37.75 c GLOBAL bounds - >= 1922573 @ 35.5478
37.56/37.76 c GLOBAL bounds - >= 1922573 @ 35.5539
37.56/37.77 c GLOBAL bounds - >= 1922573 @ 35.5603
37.65/37.85 c GLOBAL bounds - >= 1922573 @ 35.6335
37.65/37.86 c GLOBAL bounds - >= 1922573 @ 35.6412
37.65/37.89 c GLOBAL bounds - >= 1922573 @ 35.6744
37.75/37.93 c GLOBAL bounds - >= 1922573 @ 35.7101
37.75/37.95 c GLOBAL bounds - >= 1922573 @ 35.7231
39.45/39.63 c #Conflicts: 16000 | #Constraints: 67667
39.45/39.63 c GLOBAL bounds - >= 1922573 @ 37.3854
39.54/39.73 c GLOBAL bounds - >= 1922573 @ 37.4793
40.85/41.06 c #Conflicts: 17000 | #Constraints: 68981
40.85/41.06 c GLOBAL bounds - >= 1922573 @ 38.792
40.94/41.11 c GLOBAL bounds - >= 1922573 @ 38.8417
41.04/41.20 c GLOBAL bounds - >= 1922573 @ 38.9347
42.23/42.49 c GLOBAL bounds - >= 1922573 @ 40.2
57.90/58.14 c #Conflicts: 18000 | #Constraints: 70609
57.90/58.14 c INPROCESSING
57.90/58.14 c GARBAGE COLLECT
57.90/58.14 c #Conflicts: 19000 | #Constraints: 68584
57.90/58.14 c #Conflicts: 20000 | #Constraints: 69584
57.90/58.14 c #Conflicts: 21000 | #Constraints: 70584
57.90/58.14 c INPROCESSING
57.90/58.14 c GARBAGE COLLECT
57.90/58.14 c #Conflicts: 22000 | #Constraints: 68391
57.90/58.14 c #Conflicts: 23000 | #Constraints: 69391
57.90/58.14 c GLOBAL bounds - >= 1938662 @ 55.7159
57.90/58.15 c GLOBAL bounds - >= 1938662 @ 55.7324
57.90/58.16 c GLOBAL bounds - >= 1938662 @ 55.7384
57.90/58.17 c GLOBAL bounds - >= 1938662 @ 55.7433
57.90/58.17 c GLOBAL bounds - >= 1938662 @ 55.7482
58.09/58.31 c GLOBAL bounds - >= 1938662 @ 55.8849
58.09/58.32 c GLOBAL bounds - >= 1938662 @ 55.8902
58.09/58.33 c GLOBAL bounds - >= 1938662 @ 55.8999
58.09/58.34 c GLOBAL bounds - >= 1938662 @ 55.9066
58.09/58.35 c GLOBAL bounds - >= 1938662 @ 55.9142
58.09/58.36 c GLOBAL bounds - >= 1938662 @ 55.9209
58.09/58.37 c GLOBAL bounds - >= 1938662 @ 55.9293
58.09/58.38 c GLOBAL bounds - >= 1938662 @ 55.9352
58.09/58.39 c GLOBAL bounds - >= 1938662 @ 55.9423
58.18/58.40 c GLOBAL bounds - >= 1938662 @ 55.9481
58.18/58.41 c GLOBAL bounds - >= 1938662 @ 55.9555
58.18/58.42 c GLOBAL bounds - >= 1938662 @ 55.9616
58.18/58.43 c GLOBAL bounds - >= 1938662 @ 55.9696
58.18/58.43 c GLOBAL bounds - >= 1938662 @ 55.9753
58.18/58.45 c GLOBAL bounds - >= 1938662 @ 55.983
58.18/58.45 c GLOBAL bounds - >= 1938662 @ 55.9886
58.18/58.47 c GLOBAL bounds - >= 1938662 @ 55.996
58.18/58.47 c GLOBAL bounds - >= 1938662 @ 56.0027
58.18/58.49 c GLOBAL bounds - >= 1938662 @ 56.0113
58.28/58.51 c GLOBAL bounds - >= 1938662 @ 56.033
58.28/58.57 c GLOBAL bounds - >= 1938662 @ 56.0898
58.28/58.59 c GLOBAL bounds - >= 1938662 @ 56.0968
58.39/58.61 c GLOBAL bounds - >= 1938662 @ 56.116
58.39/58.62 c GLOBAL bounds - >= 1938662 @ 56.1242
58.39/58.64 c GLOBAL bounds - >= 1938662 @ 56.1376
58.39/58.67 c GLOBAL bounds - >= 1938662 @ 56.1632
58.49/58.74 c GLOBAL bounds - >= 1938662 @ 56.2335
58.49/58.76 c GLOBAL bounds - >= 1938662 @ 56.2452
66.16/66.40 c #Conflicts: 24000 | #Constraints: 73316
66.16/66.40 c #Conflicts: 25000 | #Constraints: 74316
66.16/66.40 c INPROCESSING
66.16/66.40 c GARBAGE COLLECT
66.16/66.40 c #Conflicts: 26000 | #Constraints: 71907
66.16/66.40 c GLOBAL bounds - >= 1938662 @ 63.82
66.16/66.41 c GLOBAL bounds - >= 1938662 @ 63.8333
66.36/66.65 c #Conflicts: 27000 | #Constraints: 73221
66.36/66.65 c GLOBAL bounds - >= 1938662 @ 64.067
76.62/76.95 c #Conflicts: 28000 | #Constraints: 74378
76.62/76.95 c #Conflicts: 29000 | #Constraints: 75378
76.62/76.95 c INPROCESSING
76.62/76.95 c GARBAGE COLLECT
76.62/76.95 c #Conflicts: 30000 | #Constraints: 72789
76.62/76.95 c GLOBAL bounds - >= 1938662 @ 74.273
81.61/81.94 c #Conflicts: 31000 | #Constraints: 73946
81.61/81.94 c GLOBAL bounds - >= 1940293 @ 79.2308
81.61/81.95 c GLOBAL bounds - >= 1940293 @ 79.2427
81.61/81.96 c GLOBAL bounds - >= 1940293 @ 79.2471
81.61/81.96 c GLOBAL bounds - >= 1940293 @ 79.2519
81.61/81.97 c GLOBAL bounds - >= 1940293 @ 79.2578
81.61/81.97 c GLOBAL bounds - >= 1940293 @ 79.2627
81.61/81.98 c GLOBAL bounds - >= 1940293 @ 79.2671
81.71/82.05 c GLOBAL bounds - >= 1940293 @ 79.3344
81.71/82.06 c GLOBAL bounds - >= 1940293 @ 79.34
81.71/82.07 c GLOBAL bounds - >= 1940293 @ 79.3508
81.71/82.08 c GLOBAL bounds - >= 1940293 @ 79.3576
81.71/82.09 c GLOBAL bounds - >= 1940293 @ 79.3652
81.71/82.10 c GLOBAL bounds - >= 1940293 @ 79.3711
81.82/82.11 c GLOBAL bounds - >= 1940293 @ 79.3805
81.82/82.12 c GLOBAL bounds - >= 1940293 @ 79.3863
81.82/82.13 c GLOBAL bounds - >= 1940293 @ 79.3942
81.82/82.14 c GLOBAL bounds - >= 1940293 @ 79.4003
81.82/82.15 c GLOBAL bounds - >= 1940293 @ 79.4076
81.82/82.16 c GLOBAL bounds - >= 1940293 @ 79.4135
81.82/82.17 c GLOBAL bounds - >= 1940293 @ 79.4213
81.82/82.18 c GLOBAL bounds - >= 1940293 @ 79.4273
81.82/82.19 c GLOBAL bounds - >= 1940293 @ 79.4351
81.91/82.20 c GLOBAL bounds - >= 1940293 @ 79.441
81.91/82.21 c GLOBAL bounds - >= 1940293 @ 79.4486
81.91/82.22 c GLOBAL bounds - >= 1940293 @ 79.4557
81.91/82.23 c GLOBAL bounds - >= 1940293 @ 79.4648
81.91/82.25 c GLOBAL bounds - >= 1940293 @ 79.4751
81.91/82.26 c GLOBAL bounds - >= 1940293 @ 79.4839
81.91/82.28 c GLOBAL bounds - >= 1940293 @ 79.4926
82.01/82.31 c GLOBAL bounds - >= 1940293 @ 79.5226
82.01/82.32 c GLOBAL bounds - >= 1940293 @ 79.5307
82.01/82.38 c GLOBAL bounds - >= 1940293 @ 79.5816
82.11/82.49 c GLOBAL bounds - >= 1940293 @ 79.6892
82.21/82.50 c GLOBAL bounds - >= 1940293 @ 79.6989
82.21/82.52 c GLOBAL bounds - >= 1940293 @ 79.7068
82.21/82.54 c GLOBAL bounds - >= 1940293 @ 79.7228
82.21/82.55 c GLOBAL bounds - >= 1940293 @ 79.734
82.21/82.58 c GLOBAL bounds - >= 1940293 @ 79.7569
82.31/82.60 c GLOBAL bounds - >= 1940293 @ 79.7799
82.31/82.62 c GLOBAL bounds - >= 1940293 @ 79.7907
82.81/83.17 c #Conflicts: 32000 | #Constraints: 78602
82.81/83.17 c GLOBAL bounds - >= 1940293 @ 80.3281
82.91/83.23 c GLOBAL bounds - >= 1940293 @ 80.3842
82.91/83.25 c GLOBAL bounds - >= 1940293 @ 80.4009
82.91/83.29 c GLOBAL bounds - >= 1940293 @ 80.4417
83.61/83.90 c GLOBAL bounds - >= 1940293 @ 81.0419
83.81/84.18 c GLOBAL bounds - >= 1940293 @ 81.3122
84.90/85.23 c GLOBAL bounds - >= 1940293 @ 82.3315
105.44/105.80 c #Conflicts: 33000 | #Constraints: 80701
105.44/105.80 c INPROCESSING
105.44/105.80 c GARBAGE COLLECT
105.44/105.80 c #Conflicts: 34000 | #Constraints: 77855
105.44/105.80 c #Conflicts: 35000 | #Constraints: 78855
105.44/105.80 c #Conflicts: 36000 | #Constraints: 79855
105.44/105.80 c #Conflicts: 37000 | #Constraints: 80855
105.44/105.80 c INPROCESSING
105.44/105.80 c GARBAGE COLLECT
105.44/105.80 c #Conflicts: 38000 | #Constraints: 77868
105.44/105.80 c #Conflicts: 39000 | #Constraints: 78868
105.44/105.80 c GLOBAL bounds - >= 1962258 @ 102.776
105.44/105.82 c GLOBAL bounds - >= 1962258 @ 102.793
105.44/105.83 c GLOBAL bounds - >= 1962258 @ 102.797
105.44/105.83 c GLOBAL bounds - >= 1962258 @ 102.803
105.44/105.84 c GLOBAL bounds - >= 1962258 @ 102.809
105.44/105.84 c GLOBAL bounds - >= 1962258 @ 102.812
105.44/105.85 c GLOBAL bounds - >= 1962258 @ 102.816
105.44/105.85 c GLOBAL bounds - >= 1962258 @ 102.819
105.44/105.87 c GLOBAL bounds - >= 1962258 @ 102.828
105.44/105.88 c GLOBAL bounds - >= 1962258 @ 102.835
105.44/105.89 c GLOBAL bounds - >= 1962258 @ 102.848
105.54/105.90 c GLOBAL bounds - >= 1962258 @ 102.854
105.64/106.05 c GLOBAL bounds - >= 1962258 @ 103.001
105.64/106.06 c GLOBAL bounds - >= 1962258 @ 103.008
105.64/106.07 c GLOBAL bounds - >= 1962258 @ 103.017
105.64/106.08 c GLOBAL bounds - >= 1962258 @ 103.022
105.64/106.09 c GLOBAL bounds - >= 1962258 @ 103.031
105.64/106.10 c GLOBAL bounds - >= 1962258 @ 103.038
105.75/106.11 c GLOBAL bounds - >= 1962258 @ 103.047
105.75/106.12 c GLOBAL bounds - >= 1962258 @ 103.053
105.75/106.13 c GLOBAL bounds - >= 1962258 @ 103.062
105.75/106.14 c GLOBAL bounds - >= 1962258 @ 103.068
105.75/106.15 c GLOBAL bounds - >= 1962258 @ 103.077
105.75/106.16 c GLOBAL bounds - >= 1962258 @ 103.082
105.75/106.17 c GLOBAL bounds - >= 1962258 @ 103.093
105.75/106.18 c GLOBAL bounds - >= 1962258 @ 103.098
105.75/106.19 c GLOBAL bounds - >= 1962258 @ 103.109
105.84/106.21 c GLOBAL bounds - >= 1962258 @ 103.12
105.84/106.22 c GLOBAL bounds - >= 1962258 @ 103.131
105.84/106.24 c GLOBAL bounds - >= 1962258 @ 103.14
105.84/106.25 c GLOBAL bounds - >= 1962258 @ 103.151
105.84/106.27 c GLOBAL bounds - >= 1962258 @ 103.169
105.93/106.30 c GLOBAL bounds - >= 1962258 @ 103.193
105.93/106.31 c GLOBAL bounds - >= 1962258 @ 103.204
105.93/106.33 c GLOBAL bounds - >= 1962258 @ 103.218
106.03/106.44 c #Conflicts: 40000 | #Constraints: 82545
106.03/106.44 c GLOBAL bounds - >= 1962258 @ 103.315
106.03/106.46 c GLOBAL bounds - >= 1962258 @ 103.333
106.03/106.48 c GLOBAL bounds - >= 1962258 @ 103.347
106.13/106.54 c GLOBAL bounds - >= 1962258 @ 103.409
106.13/106.56 c GLOBAL bounds - >= 1962258 @ 103.423
155.58/156.15 c #Conflicts: 41000 | #Constraints: 84330
155.58/156.15 c INPROCESSING
155.58/156.15 c GARBAGE COLLECT
155.58/156.15 c #Conflicts: 42000 | #Constraints: 81099
155.58/156.15 c #Conflicts: 43000 | #Constraints: 82099
155.58/156.15 c #Conflicts: 44000 | #Constraints: 83099
155.58/156.15 c #Conflicts: 45000 | #Constraints: 84099
155.58/156.15 c #Conflicts: 46000 | #Constraints: 85099
155.58/156.15 c INPROCESSING
155.58/156.15 c GARBAGE COLLECT
155.58/156.15 c #Conflicts: 47000 | #Constraints: 81696
155.58/156.15 c #Conflicts: 48000 | #Constraints: 82696
155.58/156.15 c #Conflicts: 49000 | #Constraints: 83696
155.58/156.15 c #Conflicts: 50000 | #Constraints: 84696
155.58/156.15 c #Conflicts: 51000 | #Constraints: 85696
155.58/156.15 c INPROCESSING
155.58/156.15 c GARBAGE COLLECT
155.58/156.15 c #Conflicts: 52000 | #Constraints: 82121
155.58/156.15 c #Conflicts: 53000 | #Constraints: 83121
155.58/156.15 c #Conflicts: 54000 | #Constraints: 84121
155.58/156.15 c GLOBAL bounds - >= 1966039 @ 152.713
155.58/156.16 c GLOBAL bounds - >= 1966039 @ 152.727
155.58/156.17 c GLOBAL bounds - >= 1966039 @ 152.732
155.58/156.17 c GLOBAL bounds - >= 1966039 @ 152.738
155.58/156.18 c GLOBAL bounds - >= 1966039 @ 152.743
155.68/156.28 c GLOBAL bounds - >= 1966039 @ 152.84
155.68/156.29 c GLOBAL bounds - >= 1966039 @ 152.845
155.78/156.30 c GLOBAL bounds - >= 1966039 @ 152.855
155.78/156.31 c GLOBAL bounds - >= 1966039 @ 152.861
155.78/156.32 c GLOBAL bounds - >= 1966039 @ 152.871
155.78/156.33 c GLOBAL bounds - >= 1966039 @ 152.876
155.78/156.34 c GLOBAL bounds - >= 1966039 @ 152.888
155.78/156.35 c GLOBAL bounds - >= 1966039 @ 152.894
155.78/156.36 c GLOBAL bounds - >= 1966039 @ 152.903
155.78/156.37 c GLOBAL bounds - >= 1966039 @ 152.91
155.78/156.38 c GLOBAL bounds - >= 1966039 @ 152.92
155.78/156.39 c GLOBAL bounds - >= 1966039 @ 152.926
155.88/156.41 c GLOBAL bounds - >= 1966039 @ 152.936
155.88/156.41 c GLOBAL bounds - >= 1966039 @ 152.942
155.88/156.43 c GLOBAL bounds - >= 1966039 @ 152.952
155.88/156.43 c GLOBAL bounds - >= 1966039 @ 152.959
155.88/156.45 c GLOBAL bounds - >= 1966039 @ 152.97
155.88/156.45 c GLOBAL bounds - >= 1966039 @ 152.977
155.88/156.47 c GLOBAL bounds - >= 1966039 @ 152.985
155.88/156.49 c GLOBAL bounds - >= 1966039 @ 152.996
155.98/156.50 c GLOBAL bounds - >= 1966039 @ 153.008
155.98/156.52 c GLOBAL bounds - >= 1966039 @ 153.018
155.98/156.53 c GLOBAL bounds - >= 1966039 @ 153.027
155.98/156.55 c GLOBAL bounds - >= 1966039 @ 153.042
155.98/156.56 c GLOBAL bounds - >= 1966039 @ 153.049
156.08/156.61 c GLOBAL bounds - >= 1966039 @ 153.091
156.08/156.66 c GLOBAL bounds - >= 1966039 @ 153.142
156.18/156.74 c GLOBAL bounds - >= 1966039 @ 153.21
156.18/156.78 c GLOBAL bounds - >= 1966039 @ 153.247
156.18/156.79 c GLOBAL bounds - >= 1966039 @ 153.257
156.28/156.83 c GLOBAL bounds - >= 1966039 @ 153.288
156.28/156.87 c GLOBAL bounds - >= 1966039 @ 153.325
156.28/156.89 c GLOBAL bounds - >= 1966039 @ 153.338
156.38/156.90 c GLOBAL bounds - >= 1966039 @ 153.351
156.48/157.09 c GLOBAL bounds - >= 1966039 @ 153.533
156.98/157.56 c GLOBAL bounds - >= 1966039 @ 153.991
158.27/158.83 c #Conflicts: 55000 | #Constraints: 89144
158.27/158.83 c GLOBAL bounds - >= 1966039 @ 155.246
158.27/158.89 c GLOBAL bounds - >= 1966039 @ 155.301
158.58/159.13 c GLOBAL bounds - >= 1966039 @ 155.535
158.97/159.51 c GLOBAL bounds - >= 1966039 @ 155.918
159.16/159.72 c GLOBAL bounds - >= 1966039 @ 156.116
159.16/159.74 c GLOBAL bounds - >= 1966039 @ 156.136
160.27/160.88 c #Conflicts: 56000 | #Constraints: 91086
160.27/160.88 c INPROCESSING
160.27/160.88 c GARBAGE COLLECT
160.27/160.88 c GLOBAL bounds - >= 1966039 @ 157.261
167.24/167.84 c #Conflicts: 57000 | #Constraints: 87399
167.24/167.84 c #Conflicts: 58000 | #Constraints: 88399
167.24/167.84 c GLOBAL bounds - >= 1966039 @ 164.17
167.45/168.05 c GLOBAL bounds - >= 1966039 @ 164.372
167.45/168.08 c GLOBAL bounds - >= 1966039 @ 164.393
243.12/243.98 c #Conflicts: 59000 | #Constraints: 89870
243.12/243.98 c #Conflicts: 60000 | #Constraints: 90870
243.12/243.98 c #Conflicts: 61000 | #Constraints: 91870
243.12/243.98 c INPROCESSING
243.12/243.98 c GARBAGE COLLECT
243.12/243.98 c #Conflicts: 62000 | #Constraints: 87871
243.12/243.98 c #Conflicts: 63000 | #Constraints: 88871
243.12/243.98 c #Conflicts: 64000 | #Constraints: 89871
243.12/243.98 c #Conflicts: 65000 | #Constraints: 90871
243.12/243.98 c #Conflicts: 66000 | #Constraints: 91871
243.12/243.98 c INPROCESSING
243.12/243.98 c GARBAGE COLLECT
243.12/243.98 c #Conflicts: 67000 | #Constraints: 87676
243.12/243.98 c #Conflicts: 68000 | #Constraints: 88676
243.12/243.98 c #Conflicts: 69000 | #Constraints: 89676
243.12/243.98 c #Conflicts: 70000 | #Constraints: 90676
243.12/243.98 c #Conflicts: 71000 | #Constraints: 91676
243.12/243.98 c #Conflicts: 72000 | #Constraints: 92676
243.12/243.98 c INPROCESSING
243.12/243.98 c GARBAGE COLLECT
243.12/243.98 c #Conflicts: 73000 | #Constraints: 88292
243.12/243.98 c #Conflicts: 74000 | #Constraints: 89292
243.12/243.98 c #Conflicts: 75000 | #Constraints: 90292
243.12/243.98 c #Conflicts: 76000 | #Constraints: 91292
243.12/243.98 c #Conflicts: 77000 | #Constraints: 92292
243.12/243.98 c GLOBAL bounds - >= 1971284 @ 239.858
243.22/244.00 c GLOBAL bounds - >= 1971284 @ 239.876
243.22/244.01 c GLOBAL bounds - >= 1971284 @ 239.881
243.22/244.01 c GLOBAL bounds - >= 1971284 @ 239.887
243.22/244.02 c GLOBAL bounds - >= 1971284 @ 239.892
243.22/244.03 c GLOBAL bounds - >= 1971284 @ 239.898
243.22/244.03 c GLOBAL bounds - >= 1971284 @ 239.904
243.22/244.04 c GLOBAL bounds - >= 1971284 @ 239.909
243.22/244.04 c GLOBAL bounds - >= 1971284 @ 239.914
243.22/244.05 c GLOBAL bounds - >= 1971284 @ 239.918
243.22/244.08 c GLOBAL bounds - >= 1971284 @ 239.944
243.22/244.09 c GLOBAL bounds - >= 1971284 @ 239.951
243.41/244.21 c GLOBAL bounds - >= 1971284 @ 240.067
243.41/244.21 c GLOBAL bounds - >= 1971284 @ 240.074
243.41/244.23 c GLOBAL bounds - >= 1971284 @ 240.088
243.41/244.24 c GLOBAL bounds - >= 1971284 @ 240.095
243.41/244.26 c GLOBAL bounds - >= 1971284 @ 240.108
243.41/244.26 c GLOBAL bounds - >= 1971284 @ 240.114
243.41/244.28 c GLOBAL bounds - >= 1971284 @ 240.126
243.41/244.29 c GLOBAL bounds - >= 1971284 @ 240.132
243.51/244.30 c GLOBAL bounds - >= 1971284 @ 240.144
243.51/244.31 c GLOBAL bounds - >= 1971284 @ 240.151
243.51/244.33 c GLOBAL bounds - >= 1971284 @ 240.165
243.51/244.34 c GLOBAL bounds - >= 1971284 @ 240.171
243.51/244.35 c GLOBAL bounds - >= 1971284 @ 240.184
243.51/244.36 c GLOBAL bounds - >= 1971284 @ 240.19
243.51/244.38 c GLOBAL bounds - >= 1971284 @ 240.202
243.51/244.38 c GLOBAL bounds - >= 1971284 @ 240.209
243.61/244.40 c GLOBAL bounds - >= 1971284 @ 240.221
243.61/244.43 c GLOBAL bounds - >= 1971284 @ 240.252
243.61/244.46 c GLOBAL bounds - >= 1971284 @ 240.271
243.61/244.48 c GLOBAL bounds - >= 1971284 @ 240.284
243.72/244.50 c GLOBAL bounds - >= 1971284 @ 240.3
243.72/244.52 c GLOBAL bounds - >= 1971284 @ 240.316
243.72/244.54 c GLOBAL bounds - >= 1971284 @ 240.332
243.72/244.55 c GLOBAL bounds - >= 1971284 @ 240.343
243.72/244.57 c GLOBAL bounds - >= 1971284 @ 240.361
243.72/244.59 c GLOBAL bounds - >= 1971284 @ 240.374
243.81/244.61 c GLOBAL bounds - >= 1971284 @ 240.388
243.91/244.77 c GLOBAL bounds - >= 1971284 @ 240.538
244.01/244.80 c GLOBAL bounds - >= 1971284 @ 240.565
244.01/244.82 c GLOBAL bounds - >= 1971284 @ 240.583
244.01/244.84 c GLOBAL bounds - >= 1971284 @ 240.6
244.11/244.93 c GLOBAL bounds - >= 1971284 @ 240.688
244.21/245.09 c GLOBAL bounds - >= 1971284 @ 240.839
245.91/246.71 c #Conflicts: 78000 | #Constraints: 97227
245.91/246.71 c INPROCESSING
245.91/246.71 c GARBAGE COLLECT
245.91/246.71 c GLOBAL bounds - >= 1971284 @ 242.444
246.01/246.82 c GLOBAL bounds - >= 1971284 @ 242.542
246.01/246.83 c GLOBAL bounds - >= 1971284 @ 242.557
246.91/247.77 c GLOBAL bounds - >= 1971284 @ 243.476
246.91/247.78 c GLOBAL bounds - >= 1971284 @ 243.487
304.32/305.34 c #Conflicts: 79000 | #Constraints: 93364
304.32/305.34 c #Conflicts: 80000 | #Constraints: 94364
304.32/305.34 c #Conflicts: 81000 | #Constraints: 95364
304.32/305.34 c #Conflicts: 82000 | #Constraints: 96364
304.32/305.34 c #Conflicts: 83000 | #Constraints: 97364
304.32/305.34 c #Conflicts: 84000 | #Constraints: 98364
304.32/305.34 c INPROCESSING
304.32/305.34 c GARBAGE COLLECT
304.32/305.34 c #Conflicts: 85000 | #Constraints: 93581
304.32/305.34 c #Conflicts: 86000 | #Constraints: 94581
304.32/305.34 c #Conflicts: 87000 | #Constraints: 95581
304.32/305.34 c #Conflicts: 88000 | #Constraints: 96581
304.32/305.34 c #Conflicts: 89000 | #Constraints: 97581
304.32/305.34 c #Conflicts: 90000 | #Constraints: 98581
304.32/305.34 c INPROCESSING
304.32/305.34 c GARBAGE COLLECT
304.32/305.34 c #Conflicts: 91000 | #Constraints: 93559
304.32/305.34 c #Conflicts: 92000 | #Constraints: 94559
304.32/305.34 c #Conflicts: 93000 | #Constraints: 95559
304.32/305.34 c GLOBAL bounds - >= 1978674 @ 300.645
304.32/305.36 c GLOBAL bounds - >= 1978674 @ 300.665
304.32/305.37 c GLOBAL bounds - >= 1978674 @ 300.669
304.32/305.37 c GLOBAL bounds - >= 1978674 @ 300.674
304.32/305.38 c GLOBAL bounds - >= 1978674 @ 300.679
304.32/305.38 c GLOBAL bounds - >= 1978674 @ 300.683
304.32/305.39 c GLOBAL bounds - >= 1978674 @ 300.688
304.32/305.40 c GLOBAL bounds - >= 1978674 @ 300.693
304.43/305.40 c GLOBAL bounds - >= 1978674 @ 300.698
304.43/305.41 c GLOBAL bounds - >= 1978674 @ 300.703
304.43/305.41 c GLOBAL bounds - >= 1978674 @ 300.707
304.43/305.42 c GLOBAL bounds - >= 1978674 @ 300.711
304.43/305.42 c GLOBAL bounds - >= 1978674 @ 300.715
304.43/305.43 c GLOBAL bounds - >= 1978674 @ 300.721
304.72/305.70 c GLOBAL bounds - >= 1978674 @ 300.981
304.72/305.71 c GLOBAL bounds - >= 1978674 @ 300.986
304.72/305.72 c GLOBAL bounds - >= 1978674 @ 300.996
304.72/305.73 c GLOBAL bounds - >= 1978674 @ 301.003
304.72/305.74 c GLOBAL bounds - >= 1978674 @ 301.013
304.72/305.75 c GLOBAL bounds - >= 1978674 @ 301.02
304.72/305.76 c GLOBAL bounds - >= 1978674 @ 301.029
304.72/305.77 c GLOBAL bounds - >= 1978674 @ 301.035
304.72/305.79 c GLOBAL bounds - >= 1978674 @ 301.046
304.72/305.79 c GLOBAL bounds - >= 1978674 @ 301.053
304.82/305.81 c GLOBAL bounds - >= 1978674 @ 301.062
304.82/305.81 c GLOBAL bounds - >= 1978674 @ 301.068
304.82/305.83 c GLOBAL bounds - >= 1978674 @ 301.078
304.82/305.83 c GLOBAL bounds - >= 1978674 @ 301.084
304.82/305.85 c GLOBAL bounds - >= 1978674 @ 301.095
304.82/305.86 c GLOBAL bounds - >= 1978674 @ 301.1
304.82/305.87 c GLOBAL bounds - >= 1978674 @ 301.11
304.82/305.88 c GLOBAL bounds - >= 1978674 @ 301.116
304.82/305.89 c GLOBAL bounds - >= 1978674 @ 301.124
304.92/305.91 c GLOBAL bounds - >= 1978674 @ 301.138
304.92/305.92 c GLOBAL bounds - >= 1978674 @ 301.15
304.92/305.95 c GLOBAL bounds - >= 1978674 @ 301.168
304.92/305.96 c GLOBAL bounds - >= 1978674 @ 301.181
304.92/305.98 c GLOBAL bounds - >= 1978674 @ 301.193
304.92/306.00 c GLOBAL bounds - >= 1978674 @ 301.207
305.03/306.02 c GLOBAL bounds - >= 1978674 @ 301.222
305.03/306.04 c GLOBAL bounds - >= 1978674 @ 301.241
305.03/306.06 c GLOBAL bounds - >= 1978674 @ 301.252
305.03/306.08 c GLOBAL bounds - >= 1978674 @ 301.263
305.03/306.09 c GLOBAL bounds - >= 1978674 @ 301.274
305.13/306.13 c GLOBAL bounds - >= 1978674 @ 301.309
305.13/306.16 c GLOBAL bounds - >= 1978674 @ 301.334
305.13/306.18 c GLOBAL bounds - >= 1978674 @ 301.345
305.13/306.19 c GLOBAL bounds - >= 1978674 @ 301.355
305.22/306.22 c GLOBAL bounds - >= 1978674 @ 301.381
305.22/306.26 c GLOBAL bounds - >= 1978674 @ 301.41
305.22/306.28 c GLOBAL bounds - >= 1978674 @ 301.429
305.33/306.31 c GLOBAL bounds - >= 1978674 @ 301.456
305.33/306.33 c GLOBAL bounds - >= 1978674 @ 301.469
305.43/306.45 c GLOBAL bounds - >= 1978674 @ 301.583
305.62/306.66 c #Conflicts: 94000 | #Constraints: 100983
305.62/306.66 c GLOBAL bounds - >= 1978674 @ 301.788
305.62/306.68 c GLOBAL bounds - >= 1978674 @ 301.801
315.89/316.99 c #Conflicts: 95000 | #Constraints: 102297
315.89/316.99 c #Conflicts: 96000 | #Constraints: 103297
315.89/316.99 c INPROCESSING
315.89/316.99 c GARBAGE COLLECT
315.89/316.99 c #Conflicts: 97000 | #Constraints: 98051
315.89/316.99 c GLOBAL bounds - >= 1978674 @ 312.036
318.48/319.55 c #Conflicts: 98000 | #Constraints: 99208
318.48/319.55 c GLOBAL bounds - >= 1978674 @ 314.578
318.48/319.57 c GLOBAL bounds - >= 1978674 @ 314.593
318.58/319.60 c GLOBAL bounds - >= 1978674 @ 314.62
318.58/319.62 c GLOBAL bounds - >= 1978674 @ 314.635
322.87/323.96 c #Conflicts: 99000 | #Constraints: 100836
322.87/323.96 c #Conflicts: 100000 | #Constraints: 101836
322.87/323.96 c GLOBAL bounds - >= 1978674 @ 318.946
324.66/325.79 c GLOBAL bounds - >= 1978674 @ 320.757
367.54/368.71 c #Conflicts: 101000 | #Constraints: 103150
367.54/368.71 c #Conflicts: 102000 | #Constraints: 104150
367.54/368.71 c #Conflicts: 103000 | #Constraints: 105150
367.54/368.71 c INPROCESSING
367.54/368.71 c GARBAGE COLLECT
367.54/368.71 c #Conflicts: 104000 | #Constraints: 99743
367.54/368.71 c #Conflicts: 105000 | #Constraints: 100743
367.54/368.71 c #Conflicts: 106000 | #Constraints: 101743
367.54/368.71 c #Conflicts: 107000 | #Constraints: 102743
367.54/368.71 c #Conflicts: 108000 | #Constraints: 103743
367.54/368.71 c #Conflicts: 109000 | #Constraints: 104743
367.54/368.71 c #Conflicts: 110000 | #Constraints: 105743
367.54/368.71 c INPROCESSING
367.54/368.71 c GARBAGE COLLECT
367.54/368.71 c #Conflicts: 111000 | #Constraints: 100158
367.54/368.71 c GLOBAL bounds - >= 1978674 @ 363.439
367.54/368.73 c GLOBAL bounds - >= 1978674 @ 363.452
710.33/712.59 c #Conflicts: 112000 | #Constraints: 101472
710.33/712.59 c #Conflicts: 113000 | #Constraints: 102472
710.33/712.59 c #Conflicts: 114000 | #Constraints: 103472
710.33/712.59 c #Conflicts: 115000 | #Constraints: 104472
710.33/712.59 c #Conflicts: 116000 | #Constraints: 105472
710.33/712.59 c #Conflicts: 117000 | #Constraints: 106472
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 118000 | #Constraints: 100669
710.33/712.59 c #Conflicts: 119000 | #Constraints: 101669
710.33/712.59 c #Conflicts: 120000 | #Constraints: 102669
710.33/712.59 c #Conflicts: 121000 | #Constraints: 103669
710.33/712.59 c #Conflicts: 122000 | #Constraints: 104669
710.33/712.59 c #Conflicts: 123000 | #Constraints: 105669
710.33/712.59 c #Conflicts: 124000 | #Constraints: 106669
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 125000 | #Constraints: 100672
710.33/712.59 c #Conflicts: 126000 | #Constraints: 101672
710.33/712.59 c #Conflicts: 127000 | #Constraints: 102672
710.33/712.59 c #Conflicts: 128000 | #Constraints: 103672
710.33/712.59 c #Conflicts: 129000 | #Constraints: 104672
710.33/712.59 c #Conflicts: 130000 | #Constraints: 105672
710.33/712.59 c #Conflicts: 131000 | #Constraints: 106672
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 132000 | #Constraints: 100471
710.33/712.59 c #Conflicts: 133000 | #Constraints: 101471
710.33/712.59 c #Conflicts: 134000 | #Constraints: 102471
710.33/712.59 c #Conflicts: 135000 | #Constraints: 103471
710.33/712.59 c #Conflicts: 136000 | #Constraints: 104471
710.33/712.59 c #Conflicts: 137000 | #Constraints: 105471
710.33/712.59 c #Conflicts: 138000 | #Constraints: 106471
710.33/712.59 c #Conflicts: 139000 | #Constraints: 107471
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 140000 | #Constraints: 101084
710.33/712.59 c #Conflicts: 141000 | #Constraints: 102084
710.33/712.59 c #Conflicts: 142000 | #Constraints: 103084
710.33/712.59 c #Conflicts: 143000 | #Constraints: 104084
710.33/712.59 c #Conflicts: 144000 | #Constraints: 105084
710.33/712.59 c #Conflicts: 145000 | #Constraints: 106084
710.33/712.59 c #Conflicts: 146000 | #Constraints: 107084
710.33/712.59 c #Conflicts: 147000 | #Constraints: 108084
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 148000 | #Constraints: 101486
710.33/712.59 c #Conflicts: 149000 | #Constraints: 102486
710.33/712.59 c #Conflicts: 150000 | #Constraints: 103486
710.33/712.59 c #Conflicts: 151000 | #Constraints: 104486
710.33/712.59 c #Conflicts: 152000 | #Constraints: 105486
710.33/712.59 c #Conflicts: 153000 | #Constraints: 106486
710.33/712.59 c #Conflicts: 154000 | #Constraints: 107486
710.33/712.59 c #Conflicts: 155000 | #Constraints: 108486
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 156000 | #Constraints: 101675
710.33/712.59 c #Conflicts: 157000 | #Constraints: 102675
710.33/712.59 c #Conflicts: 158000 | #Constraints: 103675
710.33/712.59 c #Conflicts: 159000 | #Constraints: 104675
710.33/712.59 c #Conflicts: 160000 | #Constraints: 105675
710.33/712.59 c #Conflicts: 161000 | #Constraints: 106675
710.33/712.59 c #Conflicts: 162000 | #Constraints: 107675
710.33/712.59 c #Conflicts: 163000 | #Constraints: 108675
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 164000 | #Constraints: 101676
710.33/712.59 c #Conflicts: 165000 | #Constraints: 102676
710.33/712.59 c #Conflicts: 166000 | #Constraints: 103676
710.33/712.59 c #Conflicts: 167000 | #Constraints: 104676
710.33/712.59 c #Conflicts: 168000 | #Constraints: 105676
710.33/712.59 c #Conflicts: 169000 | #Constraints: 106676
710.33/712.59 c #Conflicts: 170000 | #Constraints: 107676
710.33/712.59 c #Conflicts: 171000 | #Constraints: 108676
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 172000 | #Constraints: 101481
710.33/712.59 c #Conflicts: 173000 | #Constraints: 102481
710.33/712.59 c #Conflicts: 174000 | #Constraints: 103481
710.33/712.59 c #Conflicts: 175000 | #Constraints: 104481
710.33/712.59 c #Conflicts: 176000 | #Constraints: 105481
710.33/712.59 c #Conflicts: 177000 | #Constraints: 106481
710.33/712.59 c #Conflicts: 178000 | #Constraints: 107481
710.33/712.59 c #Conflicts: 179000 | #Constraints: 108481
710.33/712.59 c #Conflicts: 180000 | #Constraints: 109481
710.33/712.59 c INPROCESSING
710.33/712.59 c GARBAGE COLLECT
710.33/712.59 c #Conflicts: 181000 | #Constraints: 102090
710.33/712.59 c #Conflicts: 182000 | #Constraints: 103090
710.33/712.59 c #Conflicts: 183000 | #Constraints: 104090
710.33/712.59 c #Conflicts: 184000 | #Constraints: 105090
710.33/712.59 c #Conflicts: 185000 | #Constraints: 106090
772.75/775.16 c #Conflicts: 186000 | #Constraints: 107090
772.75/775.16 c #Conflicts: 187000 | #Constraints: 108090
772.75/775.16 c #Conflicts: 188000 | #Constraints: 109090
772.75/775.16 c #Conflicts: 189000 | #Constraints: 110090
772.75/775.16 c INPROCESSING
772.75/775.16 c GARBAGE COLLECT
772.75/775.16 c #Conflicts: 190000 | #Constraints: 102502
772.75/775.16 c #Conflicts: 191000 | #Constraints: 103502
772.75/775.16 c #Conflicts: 192000 | #Constraints: 104502
772.75/775.16 c #Conflicts: 193000 | #Constraints: 105502
772.75/775.16 c #Conflicts: 194000 | #Constraints: 106502
772.75/775.16 c #Conflicts: 195000 | #Constraints: 107502
772.75/775.16 c GLOBAL bounds - >= 2009912 @ 767.759
772.85/775.20 c GLOBAL bounds - >= 2009912 @ 767.795
772.85/775.21 c GLOBAL bounds - >= 2009912 @ 767.801
772.85/775.21 c GLOBAL bounds - >= 2009912 @ 767.806
772.85/775.22 c GLOBAL bounds - >= 2009912 @ 767.811
772.85/775.23 c GLOBAL bounds - >= 2009912 @ 767.817
772.85/775.23 c GLOBAL bounds - >= 2009912 @ 767.822
782.22/784.68 c #Conflicts: 196000 | #Constraints: 108507
782.22/784.68 c #Conflicts: 197000 | #Constraints: 109507
782.22/784.68 c #Conflicts: 198000 | #Constraints: 110507
782.22/784.68 c INPROCESSING
782.22/784.68 c GARBAGE COLLECT
782.22/784.68 c GLOBAL bounds - >= 2009912 @ 777.217
782.22/784.69 c GLOBAL bounds - >= 2009912 @ 777.224
782.32/784.70 c GLOBAL bounds - >= 2009912 @ 777.233
782.32/784.71 c GLOBAL bounds - >= 2009912 @ 777.239
782.32/784.72 c GLOBAL bounds - >= 2009912 @ 777.249
782.32/784.73 c GLOBAL bounds - >= 2009912 @ 777.257
782.32/784.74 c GLOBAL bounds - >= 2009912 @ 777.264
782.32/784.75 c GLOBAL bounds - >= 2009912 @ 777.272
782.32/784.76 c GLOBAL bounds - >= 2009912 @ 777.28
782.32/784.77 c GLOBAL bounds - >= 2009912 @ 777.286
782.32/784.78 c GLOBAL bounds - >= 2009912 @ 777.297
782.32/784.79 c GLOBAL bounds - >= 2009912 @ 777.303
782.42/784.80 c GLOBAL bounds - >= 2009912 @ 777.312
782.42/784.81 c GLOBAL bounds - >= 2009912 @ 777.317
782.42/784.82 c GLOBAL bounds - >= 2009912 @ 777.329
782.42/784.83 c GLOBAL bounds - >= 2009912 @ 777.336
782.42/784.84 c GLOBAL bounds - >= 2009912 @ 777.348
782.42/784.85 c GLOBAL bounds - >= 2009912 @ 777.354
782.42/784.86 c GLOBAL bounds - >= 2009912 @ 777.363
782.42/784.88 c GLOBAL bounds - >= 2009912 @ 777.373
782.42/784.89 c GLOBAL bounds - >= 2009912 @ 777.382
782.52/784.91 c GLOBAL bounds - >= 2009912 @ 777.393
782.52/784.92 c GLOBAL bounds - >= 2009912 @ 777.403
782.52/784.95 c GLOBAL bounds - >= 2009912 @ 777.432
782.63/785.09 c GLOBAL bounds - >= 2009912 @ 777.568
782.72/785.10 c GLOBAL bounds - >= 2009912 @ 777.577
782.72/785.12 c GLOBAL bounds - >= 2009912 @ 777.586
782.72/785.13 c GLOBAL bounds - >= 2009912 @ 777.599
782.72/785.16 c GLOBAL bounds - >= 2009912 @ 777.625
783.01/785.45 c GLOBAL bounds - >= 2009912 @ 777.903
783.12/785.58 c GLOBAL bounds - >= 2009912 @ 778.034
783.22/785.60 c GLOBAL bounds - >= 2009912 @ 778.048
783.32/785.71 c GLOBAL bounds - >= 2009912 @ 778.151
783.32/785.78 c GLOBAL bounds - >= 2009912 @ 778.222
783.41/785.81 c GLOBAL bounds - >= 2009912 @ 778.244
783.52/785.99 c GLOBAL bounds - >= 2009912 @ 778.419
783.52/786.00 c GLOBAL bounds - >= 2009912 @ 778.429
785.01/787.46 c #Conflicts: 199000 | #Constraints: 106837
785.01/787.46 c GLOBAL bounds - >= 2009912 @ 779.874
823.69/826.20 c #Conflicts: 200000 | #Constraints: 107994
823.69/826.20 c #Conflicts: 201000 | #Constraints: 108994
823.69/826.20 c #Conflicts: 202000 | #Constraints: 109994
823.69/826.20 c #Conflicts: 203000 | #Constraints: 110994
823.69/826.20 c #Conflicts: 204000 | #Constraints: 111994
823.69/826.20 c #Conflicts: 205000 | #Constraints: 112994
823.69/826.20 c #Conflicts: 206000 | #Constraints: 113994
823.69/826.20 c #Conflicts: 207000 | #Constraints: 114994
823.69/826.20 c GLOBAL bounds - >= 2009912 @ 818.404
869.06/871.78 c INPROCESSING
869.06/871.78 c GARBAGE COLLECT
869.06/871.78 c #Conflicts: 208000 | #Constraints: 107115
869.06/871.78 c #Conflicts: 209000 | #Constraints: 108115
869.06/871.78 c #Conflicts: 210000 | #Constraints: 109115
869.06/871.78 c #Conflicts: 211000 | #Constraints: 110115
869.06/871.78 c #Conflicts: 212000 | #Constraints: 111115
869.06/871.78 c #Conflicts: 213000 | #Constraints: 112115
869.06/871.78 c #Conflicts: 214000 | #Constraints: 113115
869.06/871.78 c #Conflicts: 215000 | #Constraints: 114115
869.06/871.78 c #Conflicts: 216000 | #Constraints: 115115
869.06/871.78 c INPROCESSING
869.06/871.78 c GARBAGE COLLECT
869.06/871.78 c #Conflicts: 217000 | #Constraints: 106928
869.06/871.78 c GLOBAL bounds - >= 2009912 @ 863.737
1274.26/1278.13 c #Conflicts: 218000 | #Constraints: 108085
1274.26/1278.13 c #Conflicts: 219000 | #Constraints: 109085
1274.26/1278.13 c #Conflicts: 220000 | #Constraints: 110085
1274.26/1278.13 c #Conflicts: 221000 | #Constraints: 111085
1274.26/1278.13 c #Conflicts: 222000 | #Constraints: 112085
1274.26/1278.13 c #Conflicts: 223000 | #Constraints: 113085
1274.26/1278.13 c #Conflicts: 224000 | #Constraints: 114085
1274.26/1278.13 c #Conflicts: 225000 | #Constraints: 115085
1274.26/1278.13 c #Conflicts: 226000 | #Constraints: 116085
1274.26/1278.13 c INPROCESSING
1274.26/1278.13 c GARBAGE COLLECT
1274.26/1278.13 c #Conflicts: 227000 | #Constraints: 107686
1274.26/1278.13 c #Conflicts: 228000 | #Constraints: 108686
1274.26/1278.13 c #Conflicts: 229000 | #Constraints: 109686
1274.26/1278.13 c #Conflicts: 230000 | #Constraints: 110686
1274.26/1278.13 c #Conflicts: 231000 | #Constraints: 111686
1274.26/1278.13 c #Conflicts: 232000 | #Constraints: 112686
1274.26/1278.13 c #Conflicts: 233000 | #Constraints: 113686
1274.26/1278.13 c #Conflicts: 234000 | #Constraints: 114686
1274.26/1278.13 c #Conflicts: 235000 | #Constraints: 115686
1274.26/1278.13 c #Conflicts: 236000 | #Constraints: 116686
1274.26/1278.13 c INPROCESSING
1274.26/1278.13 c GARBAGE COLLECT
1274.26/1278.13 c #Conflicts: 237000 | #Constraints: 108093
1274.26/1278.13 c #Conflicts: 238000 | #Constraints: 109093
1274.26/1278.13 c #Conflicts: 239000 | #Constraints: 110093
1274.26/1278.13 c #Conflicts: 240000 | #Constraints: 111093
1274.26/1278.13 c #Conflicts: 241000 | #Constraints: 112093
1274.26/1278.13 c #Conflicts: 242000 | #Constraints: 113093
1274.26/1278.13 c #Conflicts: 243000 | #Constraints: 114093
1274.26/1278.13 c #Conflicts: 244000 | #Constraints: 115093
1274.26/1278.13 c #Conflicts: 245000 | #Constraints: 116093
1274.26/1278.13 c #Conflicts: 246000 | #Constraints: 117093
1274.26/1278.13 c INPROCESSING
1274.26/1278.13 c GARBAGE COLLECT
1274.26/1278.13 c #Conflicts: 247000 | #Constraints: 108315
1274.26/1278.13 c #Conflicts: 248000 | #Constraints: 109315
1274.26/1278.13 c #Conflicts: 249000 | #Constraints: 110315
1274.26/1278.13 c #Conflicts: 250000 | #Constraints: 111315
1274.26/1278.13 c #Conflicts: 251000 | #Constraints: 112315
1274.26/1278.13 c #Conflicts: 252000 | #Constraints: 113315
1274.26/1278.13 c #Conflicts: 253000 | #Constraints: 114315
1274.26/1278.13 c #Conflicts: 254000 | #Constraints: 115315
1274.26/1278.13 c #Conflicts: 255000 | #Constraints: 116315
1274.26/1278.13 c #Conflicts: 256000 | #Constraints: 117315
1274.26/1278.13 c INPROCESSING
1274.26/1278.13 c GARBAGE COLLECT
1274.26/1278.13 c #Conflicts: 257000 | #Constraints: 108305
1274.26/1278.13 c #Conflicts: 258000 | #Constraints: 109305
1274.26/1278.13 c #Conflicts: 259000 | #Constraints: 110305
1274.26/1278.13 c #Conflicts: 260000 | #Constraints: 111305
1274.26/1278.13 c #Conflicts: 261000 | #Constraints: 112305
1274.26/1278.13 c #Conflicts: 262000 | #Constraints: 113305
1274.26/1278.13 c #Conflicts: 263000 | #Constraints: 114305
1274.26/1278.13 c #Conflicts: 264000 | #Constraints: 115305
1274.26/1278.13 c #Conflicts: 265000 | #Constraints: 116305
1274.26/1278.13 c #Conflicts: 266000 | #Constraints: 117305
1274.26/1278.13 c INPROCESSING
1274.26/1278.13 c GARBAGE COLLECT
1274.26/1278.13 c #Conflicts: 267000 | #Constraints: 108107
1274.26/1278.13 c #Conflicts: 268000 | #Constraints: 109107
1274.26/1278.13 c #Conflicts: 269000 | #Constraints: 110107
1274.26/1278.13 c #Conflicts: 270000 | #Constraints: 111107
1274.26/1278.13 c #Conflicts: 271000 | #Constraints: 112107
1274.26/1278.13 c #Conflicts: 272000 | #Constraints: 113107
1274.26/1278.13 c #Conflicts: 273000 | #Constraints: 114107
1274.26/1278.13 c #Conflicts: 274000 | #Constraints: 115107
1274.26/1278.13 c #Conflicts: 275000 | #Constraints: 116107
1274.26/1278.13 c #Conflicts: 276000 | #Constraints: 117107
1274.26/1278.13 c #Conflicts: 277000 | #Constraints: 118107
1274.26/1278.13 c INPROCESSING
1274.26/1278.13 c GARBAGE COLLECT
1274.26/1278.13 c #Conflicts: 278000 | #Constraints: 108708
1274.26/1278.13 c #Conflicts: 279000 | #Constraints: 109708
1274.26/1278.13 c #Conflicts: 280000 | #Constraints: 110708
1274.26/1278.13 c #Conflicts: 281000 | #Constraints: 111708
1274.26/1278.13 c #Conflicts: 282000 | #Constraints: 112708
1274.26/1278.13 c #Conflicts: 283000 | #Constraints: 113708
1274.26/1278.13 c #Conflicts: 284000 | #Constraints: 114708
1274.26/1278.13 c #Conflicts: 285000 | #Constraints: 115708
1274.26/1278.13 c #Conflicts: 286000 | #Constraints: 116708
1274.26/1278.13 c #Conflicts: 287000 | #Constraints: 117708
1274.26/1278.13 c #Conflicts: 288000 | #Constraints: 118708
1274.26/1278.13 c INPROCESSING
1274.26/1278.13 c GARBAGE COLLECT
1274.26/1278.13 c #Conflicts: 289000 | #Constraints: 109093
1274.26/1278.13 c #Conflicts: 290000 | #Constraints: 110093
1274.26/1278.13 c #Conflicts: 291000 | #Constraints: 111093
1274.26/1278.13 c #Conflicts: 292000 | #Constraints: 112093
1462.08/1466.59 c #Conflicts: 293000 | #Constraints: 113093
1462.08/1466.59 c #Conflicts: 294000 | #Constraints: 114093
1462.08/1466.59 c #Conflicts: 295000 | #Constraints: 115093
1462.08/1466.59 c #Conflicts: 296000 | #Constraints: 116093
1462.08/1466.59 c #Conflicts: 297000 | #Constraints: 117093
1462.08/1466.59 c #Conflicts: 298000 | #Constraints: 118093
1462.08/1466.59 c #Conflicts: 299000 | #Constraints: 119093
1462.08/1466.59 c INPROCESSING
1462.08/1466.59 c GARBAGE COLLECT
1462.08/1466.59 c #Conflicts: 300000 | #Constraints: 109309
1462.08/1466.59 c #Conflicts: 301000 | #Constraints: 110309
1462.08/1466.59 c #Conflicts: 302000 | #Constraints: 111309
1462.08/1466.59 c #Conflicts: 303000 | #Constraints: 112309
1462.08/1466.59 c #Conflicts: 304000 | #Constraints: 113309
1462.08/1466.59 c #Conflicts: 305000 | #Constraints: 114309
1462.08/1466.59 c #Conflicts: 306000 | #Constraints: 115309
1462.08/1466.59 c #Conflicts: 307000 | #Constraints: 116309
1462.08/1466.59 c #Conflicts: 308000 | #Constraints: 117309
1462.08/1466.59 c #Conflicts: 309000 | #Constraints: 118309
1462.08/1466.59 c #Conflicts: 310000 | #Constraints: 119309
1462.08/1466.59 c INPROCESSING
1462.08/1466.59 c GARBAGE COLLECT
1462.08/1466.59 c #Conflicts: 311000 | #Constraints: 109313
1462.08/1466.59 c #Conflicts: 312000 | #Constraints: 110313
1462.08/1466.59 c #Conflicts: 313000 | #Constraints: 111313
1462.08/1466.59 c #Conflicts: 314000 | #Constraints: 112313
1462.08/1466.59 c #Conflicts: 315000 | #Constraints: 113313
1462.08/1466.59 c #Conflicts: 316000 | #Constraints: 114313
1462.08/1466.59 c #Conflicts: 317000 | #Constraints: 115313
1462.08/1466.59 c #Conflicts: 318000 | #Constraints: 116313
1462.08/1466.59 c #Conflicts: 319000 | #Constraints: 117313
1462.08/1466.59 c GLOBAL bounds - >= 2023603 @ 1455.57
1462.18/1466.62 c GLOBAL bounds - >= 2023603 @ 1455.6
1462.18/1466.62 c GLOBAL bounds - >= 2023603 @ 1455.6
1462.18/1466.63 c GLOBAL bounds - >= 2023603 @ 1455.6
1462.18/1466.64 c GLOBAL bounds - >= 2023603 @ 1455.61
1462.18/1466.64 c GLOBAL bounds - >= 2023603 @ 1455.62
1462.18/1466.65 c GLOBAL bounds - >= 2023603 @ 1455.62
1462.18/1466.66 c GLOBAL bounds - >= 2023603 @ 1455.63
1462.18/1466.66 c GLOBAL bounds - >= 2023603 @ 1455.63
1462.18/1466.67 c GLOBAL bounds - >= 2023603 @ 1455.64
1462.18/1466.67 c GLOBAL bounds - >= 2023603 @ 1455.64
1462.18/1466.68 c GLOBAL bounds - >= 2023603 @ 1455.65
1462.18/1466.69 c GLOBAL bounds - >= 2023603 @ 1455.65
1462.18/1466.69 c GLOBAL bounds - >= 2023603 @ 1455.66
1462.47/1466.97 c GLOBAL bounds - >= 2023603 @ 1455.93
1462.47/1466.98 c GLOBAL bounds - >= 2023603 @ 1455.94
1462.47/1467.00 c GLOBAL bounds - >= 2023603 @ 1455.96
1462.58/1467.01 c GLOBAL bounds - >= 2023603 @ 1455.97
1462.58/1467.03 c GLOBAL bounds - >= 2023603 @ 1455.98
1462.58/1467.04 c GLOBAL bounds - >= 2023603 @ 1455.99
1462.58/1467.06 c GLOBAL bounds - >= 2023603 @ 1456.01
1462.58/1467.07 c GLOBAL bounds - >= 2023603 @ 1456.01
1462.58/1467.09 c GLOBAL bounds - >= 2023603 @ 1456.03
1462.58/1467.10 c GLOBAL bounds - >= 2023603 @ 1456.04
1462.68/1467.12 c GLOBAL bounds - >= 2023603 @ 1456.06
1462.68/1467.13 c GLOBAL bounds - >= 2023603 @ 1456.07
1462.68/1467.15 c GLOBAL bounds - >= 2023603 @ 1456.09
1462.68/1467.16 c GLOBAL bounds - >= 2023603 @ 1456.09
1462.68/1467.18 c GLOBAL bounds - >= 2023603 @ 1456.11
1462.68/1467.19 c GLOBAL bounds - >= 2023603 @ 1456.12
1462.77/1467.21 c GLOBAL bounds - >= 2023603 @ 1456.14
1462.77/1467.22 c GLOBAL bounds - >= 2023603 @ 1456.15
1462.77/1467.24 c GLOBAL bounds - >= 2023603 @ 1456.17
1462.77/1467.27 c GLOBAL bounds - >= 2023603 @ 1456.19
1462.77/1467.29 c GLOBAL bounds - >= 2023603 @ 1456.21
1462.87/1467.31 c GLOBAL bounds - >= 2023603 @ 1456.23
1462.87/1467.34 c GLOBAL bounds - >= 2023603 @ 1456.25
1462.87/1467.36 c GLOBAL bounds - >= 2023603 @ 1456.27
1463.07/1467.56 c GLOBAL bounds - >= 2023603 @ 1456.46
1463.17/1467.60 c GLOBAL bounds - >= 2023603 @ 1456.5
1463.17/1467.63 c GLOBAL bounds - >= 2023603 @ 1456.52
1463.17/1467.66 c GLOBAL bounds - >= 2023603 @ 1456.55
1463.27/1467.73 c GLOBAL bounds - >= 2023603 @ 1456.62
1463.27/1467.75 c GLOBAL bounds - >= 2023603 @ 1456.64
1463.27/1467.78 c GLOBAL bounds - >= 2023603 @ 1456.66
1463.37/1467.80 c GLOBAL bounds - >= 2023603 @ 1456.68
1463.37/1467.84 c GLOBAL bounds - >= 2023603 @ 1456.71
1463.47/1467.92 c GLOBAL bounds - >= 2023603 @ 1456.79
1463.67/1468.18 c GLOBAL bounds - >= 2023603 @ 1457.04
1464.76/1469.24 c #Conflicts: 320000 | #Constraints: 122132
1464.76/1469.24 c GLOBAL bounds - >= 2023603 @ 1458.09
1465.07/1469.53 c GLOBAL bounds - >= 2023603 @ 1458.37
1466.96/1471.47 c #Conflicts: 321000 | #Constraints: 123446
1466.96/1471.47 c GLOBAL bounds - >= 2023603 @ 1460.3
1482.01/1486.59 c INPROCESSING
1482.01/1486.59 c GARBAGE COLLECT
1482.01/1486.59 c #Conflicts: 322000 | #Constraints: 113363
1482.01/1486.59 c #Conflicts: 323000 | #Constraints: 114363
1482.01/1486.59 c #Conflicts: 324000 | #Constraints: 115363
1482.01/1486.59 c #Conflicts: 325000 | #Constraints: 116363
1482.01/1486.59 c GLOBAL bounds - >= 2023603 @ 1475.31
1514.12/1518.76 c #Conflicts: 326000 | #Constraints: 117520
1514.12/1518.76 c #Conflicts: 327000 | #Constraints: 118520
1514.12/1518.76 c #Conflicts: 328000 | #Constraints: 119520
1514.12/1518.76 c #Conflicts: 329000 | #Constraints: 120520
1514.12/1518.76 c #Conflicts: 330000 | #Constraints: 121520
1514.12/1518.76 c #Conflicts: 331000 | #Constraints: 122520
1514.12/1518.76 c GLOBAL bounds - >= 2023603 @ 1507.32
1514.82/1519.40 c GLOBAL bounds - >= 2023603 @ 1507.95
1514.92/1519.53 c GLOBAL bounds - >= 2023603 @ 1508.07
1966.74/1972.74 c #Conflicts: 332000 | #Constraints: 123991
1966.74/1972.74 c #Conflicts: 333000 | #Constraints: 124991
1966.74/1972.74 c INPROCESSING
1966.74/1972.74 c GARBAGE COLLECT
1966.74/1972.74 c #Conflicts: 334000 | #Constraints: 114569
1966.74/1972.74 c #Conflicts: 335000 | #Constraints: 115569
1966.74/1972.74 c #Conflicts: 336000 | #Constraints: 116569
1966.74/1972.74 c #Conflicts: 337000 | #Constraints: 117569
1966.74/1972.74 c #Conflicts: 338000 | #Constraints: 118569
1966.74/1972.74 c #Conflicts: 339000 | #Constraints: 119569
1966.74/1972.74 c #Conflicts: 340000 | #Constraints: 120569
1966.74/1972.74 c #Conflicts: 341000 | #Constraints: 121569
1966.74/1972.74 c #Conflicts: 342000 | #Constraints: 122569
1966.74/1972.74 c #Conflicts: 343000 | #Constraints: 123569
1966.74/1972.74 c #Conflicts: 344000 | #Constraints: 124569
1966.74/1972.74 c #Conflicts: 345000 | #Constraints: 125569
1966.74/1972.74 c INPROCESSING
1966.74/1972.74 c GARBAGE COLLECT
1966.74/1972.74 c #Conflicts: 346000 | #Constraints: 114972
1966.74/1972.74 c #Conflicts: 347000 | #Constraints: 115972
1966.74/1972.74 c #Conflicts: 348000 | #Constraints: 116972
1966.74/1972.74 c #Conflicts: 349000 | #Constraints: 117972
1966.74/1972.74 c #Conflicts: 350000 | #Constraints: 118972
1966.74/1972.74 c #Conflicts: 351000 | #Constraints: 119972
1966.74/1972.74 c #Conflicts: 352000 | #Constraints: 120972
1966.74/1972.74 c #Conflicts: 353000 | #Constraints: 121972
1966.74/1972.74 c #Conflicts: 354000 | #Constraints: 122972
1966.74/1972.74 c #Conflicts: 355000 | #Constraints: 123972
1966.74/1972.74 c #Conflicts: 356000 | #Constraints: 124972
1966.74/1972.74 c #Conflicts: 357000 | #Constraints: 125972
1966.74/1972.74 c INPROCESSING
1966.74/1972.74 c GARBAGE COLLECT
1966.74/1972.74 c #Conflicts: 358000 | #Constraints: 115188
1966.74/1972.74 c #Conflicts: 359000 | #Constraints: 116188
1966.74/1972.74 c #Conflicts: 360000 | #Constraints: 117188
1966.74/1972.74 c #Conflicts: 361000 | #Constraints: 118188
1966.74/1972.74 c #Conflicts: 362000 | #Constraints: 119188
1966.74/1972.74 c #Conflicts: 363000 | #Constraints: 120188
1966.74/1972.74 c #Conflicts: 364000 | #Constraints: 121188
1966.74/1972.74 c #Conflicts: 365000 | #Constraints: 122188
1966.74/1972.74 c #Conflicts: 366000 | #Constraints: 123188
1966.74/1972.74 c #Conflicts: 367000 | #Constraints: 124188
1966.74/1972.74 c #Conflicts: 368000 | #Constraints: 125188
1966.74/1972.74 c #Conflicts: 369000 | #Constraints: 126188
1966.74/1972.74 c INPROCESSING
1966.74/1972.74 c GARBAGE COLLECT
1966.74/1972.74 c #Conflicts: 370000 | #Constraints: 115196
1966.74/1972.74 c #Conflicts: 371000 | #Constraints: 116196
1966.74/1972.74 c #Conflicts: 372000 | #Constraints: 117196
1966.74/1972.74 c #Conflicts: 373000 | #Constraints: 118196
1966.74/1972.74 c #Conflicts: 374000 | #Constraints: 119196
1966.74/1972.74 c #Conflicts: 375000 | #Constraints: 120196
1966.74/1972.74 c #Conflicts: 376000 | #Constraints: 121196
1966.74/1972.74 c #Conflicts: 377000 | #Constraints: 122196
1966.74/1972.74 c #Conflicts: 378000 | #Constraints: 123196
1966.74/1972.74 c #Conflicts: 379000 | #Constraints: 124196
1966.74/1972.74 c #Conflicts: 380000 | #Constraints: 125196
1966.74/1972.74 c #Conflicts: 381000 | #Constraints: 126196
1966.74/1972.74 c INPROCESSING
1966.74/1972.74 c GARBAGE COLLECT
1966.74/1972.74 c #Conflicts: 382000 | #Constraints: 114995
1966.74/1972.74 c #Conflicts: 383000 | #Constraints: 115995
1966.74/1972.74 c #Conflicts: 384000 | #Constraints: 116995
1966.74/1972.74 c #Conflicts: 385000 | #Constraints: 117995
1966.74/1972.74 c #Conflicts: 386000 | #Constraints: 118995
1966.74/1972.74 c #Conflicts: 387000 | #Constraints: 119995
1966.74/1972.74 c #Conflicts: 388000 | #Constraints: 120995
1966.74/1972.74 c #Conflicts: 389000 | #Constraints: 121995
1966.74/1972.74 c #Conflicts: 390000 | #Constraints: 122995
1966.74/1972.74 c #Conflicts: 391000 | #Constraints: 123995
1966.74/1972.74 c #Conflicts: 392000 | #Constraints: 124995
1966.74/1972.74 c #Conflicts: 393000 | #Constraints: 125995
1966.74/1972.74 c #Conflicts: 394000 | #Constraints: 126995
1966.74/1972.74 c INPROCESSING
1966.74/1972.74 c GARBAGE COLLECT
1966.74/1972.74 c #Conflicts: 395000 | #Constraints: 115589
1966.74/1972.74 c #Conflicts: 396000 | #Constraints: 116589
1966.74/1972.74 c #Conflicts: 397000 | #Constraints: 117589
1966.74/1972.74 c #Conflicts: 398000 | #Constraints: 118589
1966.74/1972.74 c #Conflicts: 399000 | #Constraints: 119589
1966.74/1972.74 c #Conflicts: 400000 | #Constraints: 120589
1966.74/1972.74 c #Conflicts: 401000 | #Constraints: 121589
1966.74/1972.74 c #Conflicts: 402000 | #Constraints: 122589
1966.74/1972.74 c #Conflicts: 403000 | #Constraints: 123589
1966.74/1972.74 c #Conflicts: 404000 | #Constraints: 124589
1966.74/1972.74 c #Conflicts: 405000 | #Constraints: 125589
1966.74/1972.74 c #Conflicts: 406000 | #Constraints: 126589
2016.39/2022.58 c #Conflicts: 407000 | #Constraints: 127589
2016.39/2022.58 c INPROCESSING
2016.39/2022.58 c GARBAGE COLLECT
2016.39/2022.58 c #Conflicts: 408000 | #Constraints: 115981
2016.39/2022.58 c #Conflicts: 409000 | #Constraints: 116981
2016.39/2022.58 c #Conflicts: 410000 | #Constraints: 117981
2016.39/2022.58 c #Conflicts: 411000 | #Constraints: 118981
2016.39/2022.58 c #Conflicts: 412000 | #Constraints: 119981
2016.39/2022.58 c #Conflicts: 413000 | #Constraints: 120981
2016.39/2022.58 c #Conflicts: 414000 | #Constraints: 121981
2016.39/2022.58 c GLOBAL bounds - >= 2023603 @ 2008.56
2037.72/2043.95 c #Conflicts: 415000 | #Constraints: 123138
2037.72/2043.95 c #Conflicts: 416000 | #Constraints: 124138
2037.72/2043.95 c #Conflicts: 417000 | #Constraints: 125138
2037.72/2043.95 c GLOBAL bounds - >= 2023603 @ 2029.83
2040.12/2046.32 c GLOBAL bounds - >= 2023603 @ 2032.18
2491.59/2499.21 c #Conflicts: 418000 | #Constraints: 126452
2491.59/2499.21 c #Conflicts: 419000 | #Constraints: 127452
2491.59/2499.21 c #Conflicts: 420000 | #Constraints: 128452
2491.59/2499.21 c INPROCESSING
2491.59/2499.21 c GARBAGE COLLECT
2491.59/2499.21 c #Conflicts: 421000 | #Constraints: 116655
2491.59/2499.21 c #Conflicts: 422000 | #Constraints: 117655
2491.59/2499.21 c #Conflicts: 423000 | #Constraints: 118655
2491.59/2499.21 c #Conflicts: 424000 | #Constraints: 119655
2491.59/2499.21 c #Conflicts: 425000 | #Constraints: 120655
2491.59/2499.21 c #Conflicts: 426000 | #Constraints: 121655
2491.59/2499.21 c #Conflicts: 427000 | #Constraints: 122655
2491.59/2499.21 c #Conflicts: 428000 | #Constraints: 123655
2491.59/2499.21 c #Conflicts: 429000 | #Constraints: 124655
2491.59/2499.21 c #Conflicts: 430000 | #Constraints: 125655
2491.59/2499.21 c #Conflicts: 431000 | #Constraints: 126655
2491.59/2499.21 c #Conflicts: 432000 | #Constraints: 127655
2491.59/2499.21 c #Conflicts: 433000 | #Constraints: 128655
2491.59/2499.21 c INPROCESSING
2491.59/2499.21 c GARBAGE COLLECT
2491.59/2499.21 c #Conflicts: 434000 | #Constraints: 116669
2491.59/2499.21 c #Conflicts: 435000 | #Constraints: 117669
2491.59/2499.21 c #Conflicts: 436000 | #Constraints: 118669
2491.59/2499.21 c #Conflicts: 437000 | #Constraints: 119669
2491.59/2499.21 c #Conflicts: 438000 | #Constraints: 120669
2491.59/2499.21 c #Conflicts: 439000 | #Constraints: 121669
2491.59/2499.21 c #Conflicts: 440000 | #Constraints: 122669
2491.59/2499.21 c #Conflicts: 441000 | #Constraints: 123669
2491.59/2499.21 c #Conflicts: 442000 | #Constraints: 124669
2491.59/2499.21 c #Conflicts: 443000 | #Constraints: 125669
2491.59/2499.21 c #Conflicts: 444000 | #Constraints: 126669
2491.59/2499.21 c #Conflicts: 445000 | #Constraints: 127669
2491.59/2499.21 c #Conflicts: 446000 | #Constraints: 128669
2491.59/2499.21 c INPROCESSING
2491.59/2499.21 c GARBAGE COLLECT
2491.59/2499.21 c #Conflicts: 447000 | #Constraints: 116457
2491.59/2499.21 c #Conflicts: 448000 | #Constraints: 117457
2491.59/2499.21 c #Conflicts: 449000 | #Constraints: 118457
2491.59/2499.21 c #Conflicts: 450000 | #Constraints: 119457
2491.59/2499.21 c #Conflicts: 451000 | #Constraints: 120457
2491.59/2499.21 c #Conflicts: 452000 | #Constraints: 121457
2491.59/2499.21 c #Conflicts: 453000 | #Constraints: 122457
2491.59/2499.21 c #Conflicts: 454000 | #Constraints: 123457
2491.59/2499.21 c #Conflicts: 455000 | #Constraints: 124457
2491.59/2499.21 c #Conflicts: 456000 | #Constraints: 125457
2491.59/2499.21 c #Conflicts: 457000 | #Constraints: 126457
2491.59/2499.21 c #Conflicts: 458000 | #Constraints: 127457
2491.59/2499.21 c #Conflicts: 459000 | #Constraints: 128457
2491.59/2499.21 c #Conflicts: 460000 | #Constraints: 129457
2491.59/2499.21 c INPROCESSING
2491.59/2499.21 c GARBAGE COLLECT
2491.59/2499.21 c #Conflicts: 461000 | #Constraints: 117073
2491.59/2499.21 c #Conflicts: 462000 | #Constraints: 118073
2491.59/2499.21 c #Conflicts: 463000 | #Constraints: 119073
2491.59/2499.21 c #Conflicts: 464000 | #Constraints: 120073
2491.59/2499.21 c #Conflicts: 465000 | #Constraints: 121073
2491.59/2499.21 c #Conflicts: 466000 | #Constraints: 122073
2491.59/2499.21 c #Conflicts: 467000 | #Constraints: 123073
2491.59/2499.21 c #Conflicts: 468000 | #Constraints: 124073
2491.59/2499.21 c #Conflicts: 469000 | #Constraints: 125073
2491.59/2499.21 c #Conflicts: 470000 | #Constraints: 126073
2491.59/2499.21 c #Conflicts: 471000 | #Constraints: 127073
2491.59/2499.21 c #Conflicts: 472000 | #Constraints: 128073
2491.59/2499.21 c #Conflicts: 473000 | #Constraints: 129073
2491.59/2499.21 c #Conflicts: 474000 | #Constraints: 130073
2491.59/2499.21 c INPROCESSING
2491.59/2499.21 c GARBAGE COLLECT
2491.59/2499.21 c #Conflicts: 475000 | #Constraints: 117473
2491.59/2499.21 c #Conflicts: 476000 | #Constraints: 118473
2491.59/2499.21 c #Conflicts: 477000 | #Constraints: 119473
2491.59/2499.21 c #Conflicts: 478000 | #Constraints: 120473
2491.59/2499.21 c #Conflicts: 479000 | #Constraints: 121473
2491.59/2499.21 c #Conflicts: 480000 | #Constraints: 122473
2491.59/2499.21 c #Conflicts: 481000 | #Constraints: 123473
2491.59/2499.21 c #Conflicts: 482000 | #Constraints: 124473
2491.59/2499.21 c GLOBAL bounds - >= 2023881 @ 2482.69
2491.59/2499.24 c GLOBAL bounds - >= 2023881 @ 2482.71
2491.59/2499.24 c GLOBAL bounds - >= 2023881 @ 2482.72
2491.59/2499.25 c GLOBAL bounds - >= 2023881 @ 2482.72
2491.59/2499.25 c GLOBAL bounds - >= 2023881 @ 2482.73
2491.59/2499.26 c GLOBAL bounds - >= 2023881 @ 2482.73
2491.59/2499.26 c GLOBAL bounds - >= 2023881 @ 2482.74
2491.59/2499.27 c GLOBAL bounds - >= 2023881 @ 2482.74
2491.59/2499.27 c GLOBAL bounds - >= 2023881 @ 2482.74
2491.59/2499.28 c GLOBAL bounds - >= 2023881 @ 2482.75
2491.59/2499.28 c GLOBAL bounds - >= 2023881 @ 2482.75
2491.59/2499.29 c GLOBAL bounds - >= 2023881 @ 2482.76
2491.59/2499.29 c GLOBAL bounds - >= 2023881 @ 2482.76
2491.69/2499.30 c GLOBAL bounds - >= 2023881 @ 2482.77
2491.69/2499.30 c GLOBAL bounds - >= 2023881 @ 2482.77
2491.69/2499.31 c GLOBAL bounds - >= 2023881 @ 2482.78
2491.69/2499.31 c GLOBAL bounds - >= 2023881 @ 2482.78
2491.69/2499.32 c GLOBAL bounds - >= 2023881 @ 2482.79
2491.69/2499.33 c GLOBAL bounds - >= 2023881 @ 2482.79
2491.69/2499.33 c GLOBAL bounds - >= 2023881 @ 2482.8
2491.88/2499.51 c GLOBAL bounds - >= 2023881 @ 2482.98
2491.88/2499.52 c GLOBAL bounds - >= 2023881 @ 2482.98
2491.88/2499.54 c GLOBAL bounds - >= 2023881 @ 2483
2491.88/2499.55 c GLOBAL bounds - >= 2023881 @ 2483.01
2491.88/2499.57 c GLOBAL bounds - >= 2023881 @ 2483.02
2491.88/2499.58 c GLOBAL bounds - >= 2023881 @ 2483.03
2491.99/2499.60 c GLOBAL bounds - >= 2023881 @ 2483.05
2491.99/2499.61 c GLOBAL bounds - >= 2023881 @ 2483.06
2491.99/2499.63 c GLOBAL bounds - >= 2023881 @ 2483.07
2491.99/2499.64 c GLOBAL bounds - >= 2023881 @ 2483.08
2491.99/2499.66 c GLOBAL bounds - >= 2023881 @ 2483.1
2491.99/2499.67 c GLOBAL bounds - >= 2023881 @ 2483.1
2492.08/2499.70 c GLOBAL bounds - >= 2023881 @ 2483.13
2492.08/2499.70 c GLOBAL bounds - >= 2023881 @ 2483.14
2492.08/2499.72 c GLOBAL bounds - >= 2023881 @ 2483.15
2492.08/2499.73 c GLOBAL bounds - >= 2023881 @ 2483.16
2492.08/2499.75 c GLOBAL bounds - >= 2023881 @ 2483.18
2492.08/2499.76 c GLOBAL bounds - >= 2023881 @ 2483.18
2492.08/2499.78 c GLOBAL bounds - >= 2023881 @ 2483.2
2492.19/2499.80 c GLOBAL bounds - >= 2023881 @ 2483.22
2492.19/2499.83 c GLOBAL bounds - >= 2023881 @ 2483.24
2492.19/2499.85 c GLOBAL bounds - >= 2023881 @ 2483.26
2492.19/2499.89 c GLOBAL bounds - >= 2023881 @ 2483.29
2492.28/2499.92 c GLOBAL bounds - >= 2023881 @ 2483.32
2492.28/2499.94 c GLOBAL bounds - >= 2023881 @ 2483.34
2492.28/2499.97 c GLOBAL bounds - >= 2023881 @ 2483.36
2492.28/2500.00 c GLOBAL bounds - >= 2023881 @ 2483.38
2492.39/2500.04 c GLOBAL bounds - >= 2023881 @ 2483.43
2492.39/2500.07 c GLOBAL bounds - >= 2023881 @ 2483.45
2492.49/2500.10 c GLOBAL bounds - >= 2023881 @ 2483.48
2492.49/2500.13 c GLOBAL bounds - >= 2023881 @ 2483.5
2492.49/2500.16 c GLOBAL bounds - >= 2023881 @ 2483.53
2492.49/2500.19 c GLOBAL bounds - >= 2023881 @ 2483.56
2492.59/2500.24 c GLOBAL bounds - >= 2023881 @ 2483.61
2492.59/2500.27 c GLOBAL bounds - >= 2023881 @ 2483.63
2492.68/2500.30 c GLOBAL bounds - >= 2023881 @ 2483.65
2492.68/2500.34 c GLOBAL bounds - >= 2023881 @ 2483.69
2492.68/2500.37 c GLOBAL bounds - >= 2023881 @ 2483.71
2493.18/2500.83 c GLOBAL bounds - >= 2023881 @ 2484.16
2500.06/2507.78 c #Conflicts: 483000 | #Constraints: 127872
2500.06/2507.78 c #Conflicts: 484000 | #Constraints: 128872
2500.06/2507.78 c #Conflicts: 485000 | #Constraints: 129872
2500.06/2507.78 c GLOBAL bounds - >= 2023881 @ 2491.06
2513.52/2521.28 c #Conflicts: 486000 | #Constraints: 131029
2513.52/2521.28 c #Conflicts: 487000 | #Constraints: 132029
2513.52/2521.28 c #Conflicts: 488000 | #Constraints: 133029
2513.52/2521.28 c INPROCESSING
2513.52/2521.28 c GARBAGE COLLECT
2513.52/2521.28 c GLOBAL bounds - >= 2023881 @ 2504.49
2514.22/2521.99 c GLOBAL bounds - >= 2023881 @ 2505.18
2541.83/2549.68 c #Conflicts: 489000 | #Constraints: 120495
2541.83/2549.68 c #Conflicts: 490000 | #Constraints: 121495
2541.83/2549.68 c #Conflicts: 491000 | #Constraints: 122495
2541.83/2549.68 c #Conflicts: 492000 | #Constraints: 123495
2541.83/2549.68 c #Conflicts: 493000 | #Constraints: 124495
2541.83/2549.68 c #Conflicts: 494000 | #Constraints: 125495
2541.83/2549.68 c GLOBAL bounds - >= 2023881 @ 2532.72
2544.53/2552.31 c #Conflicts: 495000 | #Constraints: 126652
2544.53/2552.31 c GLOBAL bounds - >= 2023881 @ 2535.33
2563.37/2571.26 c #Conflicts: 496000 | #Constraints: 127809
2563.37/2571.26 c #Conflicts: 497000 | #Constraints: 128809
2563.37/2571.26 c #Conflicts: 498000 | #Constraints: 129809
2563.37/2571.26 c GLOBAL bounds - >= 2023881 @ 2554.19
2630.27/2638.31 c #Conflicts: 499000 | #Constraints: 130966
2630.27/2638.31 c #Conflicts: 500000 | #Constraints: 131966
2630.27/2638.31 c #Conflicts: 501000 | #Constraints: 132966
2630.27/2638.31 c #Conflicts: 502000 | #Constraints: 133966
2630.27/2638.31 c INPROCESSING
2630.27/2638.31 c GARBAGE COLLECT
2630.27/2638.31 c #Conflicts: 503000 | #Constraints: 120943
2630.27/2638.31 c #Conflicts: 504000 | #Constraints: 121943
2630.27/2638.31 c #Conflicts: 505000 | #Constraints: 122943
2630.27/2638.31 c #Conflicts: 506000 | #Constraints: 123943
2630.27/2638.31 c #Conflicts: 507000 | #Constraints: 124943
2630.27/2638.31 c #Conflicts: 508000 | #Constraints: 125943
2630.27/2638.31 c #Conflicts: 509000 | #Constraints: 126943
2630.27/2638.31 c GLOBAL bounds - >= 2023881 @ 2620.91
2630.27/2638.39 c GLOBAL bounds - >= 2023881 @ 2620.99
3215.11/3225.02 c #Conflicts: 510000 | #Constraints: 128257
3215.11/3225.02 c #Conflicts: 511000 | #Constraints: 129257
3215.11/3225.02 c #Conflicts: 512000 | #Constraints: 130257
3215.11/3225.02 c #Conflicts: 513000 | #Constraints: 131257
3215.11/3225.02 c #Conflicts: 514000 | #Constraints: 132257
3215.11/3225.02 c #Conflicts: 515000 | #Constraints: 133257
3215.11/3225.02 c #Conflicts: 516000 | #Constraints: 134257
3215.11/3225.02 c INPROCESSING
3215.11/3225.02 c GARBAGE COLLECT
3215.11/3225.02 c #Conflicts: 517000 | #Constraints: 121058
3215.11/3225.02 c #Conflicts: 518000 | #Constraints: 122058
3215.11/3225.02 c #Conflicts: 519000 | #Constraints: 123058
3215.11/3225.02 c #Conflicts: 520000 | #Constraints: 124058
3215.11/3225.02 c #Conflicts: 521000 | #Constraints: 125058
3215.11/3225.02 c #Conflicts: 522000 | #Constraints: 126058
3215.11/3225.02 c #Conflicts: 523000 | #Constraints: 127058
3215.11/3225.02 c #Conflicts: 524000 | #Constraints: 128058
3215.11/3225.02 c #Conflicts: 525000 | #Constraints: 129058
3215.11/3225.02 c #Conflicts: 526000 | #Constraints: 130058
3215.11/3225.02 c #Conflicts: 527000 | #Constraints: 131058
3215.11/3225.02 c #Conflicts: 528000 | #Constraints: 132058
3215.11/3225.02 c #Conflicts: 529000 | #Constraints: 133058
3215.11/3225.02 c #Conflicts: 530000 | #Constraints: 134058
3215.11/3225.02 c #Conflicts: 531000 | #Constraints: 135058
3215.11/3225.02 c INPROCESSING
3215.11/3225.02 c GARBAGE COLLECT
3215.11/3225.02 c #Conflicts: 532000 | #Constraints: 121689
3215.11/3225.02 c #Conflicts: 533000 | #Constraints: 122689
3215.11/3225.02 c #Conflicts: 534000 | #Constraints: 123689
3215.11/3225.02 c #Conflicts: 535000 | #Constraints: 124689
3215.11/3225.02 c #Conflicts: 536000 | #Constraints: 125689
3215.11/3225.02 c #Conflicts: 537000 | #Constraints: 126689
3215.11/3225.02 c #Conflicts: 538000 | #Constraints: 127689
3215.11/3225.02 c #Conflicts: 539000 | #Constraints: 128689
3215.11/3225.02 c #Conflicts: 540000 | #Constraints: 129689
3215.11/3225.02 c #Conflicts: 541000 | #Constraints: 130689
3215.11/3225.02 c #Conflicts: 542000 | #Constraints: 131689
3215.11/3225.02 c #Conflicts: 543000 | #Constraints: 132689
3215.11/3225.02 c #Conflicts: 544000 | #Constraints: 133689
3215.11/3225.02 c #Conflicts: 545000 | #Constraints: 134689
3215.11/3225.02 c #Conflicts: 546000 | #Constraints: 135689
3215.11/3225.02 c INPROCESSING
3215.11/3225.02 c GARBAGE COLLECT
3215.11/3225.02 c #Conflicts: 547000 | #Constraints: 122085
3215.11/3225.02 c #Conflicts: 548000 | #Constraints: 123085
3215.11/3225.02 c #Conflicts: 549000 | #Constraints: 124085
3215.11/3225.02 c #Conflicts: 550000 | #Constraints: 125085
3215.11/3225.02 c #Conflicts: 551000 | #Constraints: 126085
3215.11/3225.02 c #Conflicts: 552000 | #Constraints: 127085
3215.11/3225.02 c #Conflicts: 553000 | #Constraints: 128085
3215.11/3225.02 c #Conflicts: 554000 | #Constraints: 129085
3215.11/3225.02 c #Conflicts: 555000 | #Constraints: 130085
3215.11/3225.02 c #Conflicts: 556000 | #Constraints: 131085
3215.11/3225.02 c #Conflicts: 557000 | #Constraints: 132085
3215.11/3225.02 c #Conflicts: 558000 | #Constraints: 133085
3215.11/3225.02 c #Conflicts: 559000 | #Constraints: 134085
3215.11/3225.02 c #Conflicts: 560000 | #Constraints: 135085
3215.11/3225.02 c #Conflicts: 561000 | #Constraints: 136085
3215.11/3225.02 c INPROCESSING
3215.11/3225.02 c GARBAGE COLLECT
3215.11/3225.02 c #Conflicts: 562000 | #Constraints: 122303
3215.11/3225.02 c #Conflicts: 563000 | #Constraints: 123303
3215.11/3225.02 c #Conflicts: 564000 | #Constraints: 124303
3215.11/3225.02 c #Conflicts: 565000 | #Constraints: 125303
3215.11/3225.02 c #Conflicts: 566000 | #Constraints: 126303
3215.11/3225.02 c #Conflicts: 567000 | #Constraints: 127303
3215.11/3225.02 c #Conflicts: 568000 | #Constraints: 128303
3215.11/3225.02 c #Conflicts: 569000 | #Constraints: 129303
3215.11/3225.02 c #Conflicts: 570000 | #Constraints: 130303
3215.11/3225.02 c #Conflicts: 571000 | #Constraints: 131303
3215.11/3225.02 c #Conflicts: 572000 | #Constraints: 132303
3215.11/3225.02 c #Conflicts: 573000 | #Constraints: 133303
3215.11/3225.02 c #Conflicts: 574000 | #Constraints: 134303
3215.11/3225.02 c #Conflicts: 575000 | #Constraints: 135303
3215.11/3225.02 c #Conflicts: 576000 | #Constraints: 136303
3215.11/3225.02 c INPROCESSING
3215.11/3225.02 c GARBAGE COLLECT
3215.11/3225.02 c #Conflicts: 577000 | #Constraints: 122309
3215.11/3225.02 c #Conflicts: 578000 | #Constraints: 123309
3215.11/3225.02 c #Conflicts: 579000 | #Constraints: 124309
3215.11/3225.02 c #Conflicts: 580000 | #Constraints: 125309
3215.11/3225.02 c #Conflicts: 581000 | #Constraints: 126309
3215.11/3225.02 c #Conflicts: 582000 | #Constraints: 127309
3215.11/3225.02 c #Conflicts: 583000 | #Constraints: 128309
3215.11/3225.02 c #Conflicts: 584000 | #Constraints: 129309
3215.11/3225.02 c #Conflicts: 585000 | #Constraints: 130309
3527.70/3538.61 c #Conflicts: 586000 | #Constraints: 131309
3527.70/3538.61 c #Conflicts: 587000 | #Constraints: 132309
3527.70/3538.61 c #Conflicts: 588000 | #Constraints: 133309
3527.70/3538.61 c #Conflicts: 589000 | #Constraints: 134309
3527.70/3538.61 c #Conflicts: 590000 | #Constraints: 135309
3527.70/3538.61 c #Conflicts: 591000 | #Constraints: 136309
3527.70/3538.61 c INPROCESSING
3527.70/3538.61 c GARBAGE COLLECT
3527.70/3538.61 c #Conflicts: 592000 | #Constraints: 122092
3527.70/3538.61 c #Conflicts: 593000 | #Constraints: 123092
3527.70/3538.61 c #Conflicts: 594000 | #Constraints: 124092
3527.70/3538.61 c #Conflicts: 595000 | #Constraints: 125092
3527.70/3538.61 c #Conflicts: 596000 | #Constraints: 126092
3527.70/3538.61 c #Conflicts: 597000 | #Constraints: 127092
3527.70/3538.61 c #Conflicts: 598000 | #Constraints: 128092
3527.70/3538.61 c #Conflicts: 599000 | #Constraints: 129092
3527.70/3538.61 c #Conflicts: 600000 | #Constraints: 130092
3527.70/3538.61 c #Conflicts: 601000 | #Constraints: 131092
3527.70/3538.61 c #Conflicts: 602000 | #Constraints: 132092
3527.70/3538.61 c #Conflicts: 603000 | #Constraints: 133092
3527.70/3538.61 c #Conflicts: 604000 | #Constraints: 134092
3527.70/3538.61 c #Conflicts: 605000 | #Constraints: 135092
3527.70/3538.61 c #Conflicts: 606000 | #Constraints: 136092
3527.70/3538.61 c #Conflicts: 607000 | #Constraints: 137092
3527.70/3538.61 c INPROCESSING
3527.70/3538.61 c GARBAGE COLLECT
3527.70/3538.61 c #Conflicts: 608000 | #Constraints: 122693
3527.70/3538.61 c #Conflicts: 609000 | #Constraints: 123693
3527.70/3538.61 c #Conflicts: 610000 | #Constraints: 124693
3527.70/3538.61 c #Conflicts: 611000 | #Constraints: 125693
3527.70/3538.61 c #Conflicts: 612000 | #Constraints: 126693
3527.70/3538.61 c #Conflicts: 613000 | #Constraints: 127693
3527.70/3538.61 c #Conflicts: 614000 | #Constraints: 128693
3527.70/3538.61 c #Conflicts: 615000 | #Constraints: 129693
3527.70/3538.61 c #Conflicts: 616000 | #Constraints: 130693
3527.70/3538.61 c #Conflicts: 617000 | #Constraints: 131693
3527.70/3538.61 c #Conflicts: 618000 | #Constraints: 132693
3527.70/3538.61 c #Conflicts: 619000 | #Constraints: 133693
3527.70/3538.61 c #Conflicts: 620000 | #Constraints: 134693
3527.70/3538.61 c #Conflicts: 621000 | #Constraints: 135693
3527.70/3538.61 c GLOBAL bounds - >= 2032437 @ 3516.85
3527.70/3538.65 c GLOBAL bounds - >= 2032437 @ 3516.89
3527.70/3538.66 c GLOBAL bounds - >= 2032437 @ 3516.89
3527.70/3538.67 c GLOBAL bounds - >= 2032437 @ 3516.9
3527.70/3538.67 c GLOBAL bounds - >= 2032437 @ 3516.9
3527.70/3538.68 c GLOBAL bounds - >= 2032437 @ 3516.91
3527.70/3538.68 c GLOBAL bounds - >= 2032437 @ 3516.91
3527.70/3538.69 c GLOBAL bounds - >= 2032437 @ 3516.92
3527.70/3538.70 c GLOBAL bounds - >= 2032437 @ 3516.93
3527.80/3538.70 c GLOBAL bounds - >= 2032437 @ 3516.93
3527.80/3538.71 c GLOBAL bounds - >= 2032437 @ 3516.94
3527.80/3538.71 c GLOBAL bounds - >= 2032437 @ 3516.95
3527.80/3538.72 c GLOBAL bounds - >= 2032437 @ 3516.95
3527.80/3538.73 c GLOBAL bounds - >= 2032437 @ 3516.96
3527.80/3538.73 c GLOBAL bounds - >= 2032437 @ 3516.96
3527.80/3538.74 c GLOBAL bounds - >= 2032437 @ 3516.97
3527.80/3538.74 c GLOBAL bounds - >= 2032437 @ 3516.97
3528.60/3539.58 c GLOBAL bounds - >= 2032437 @ 3517.8
3528.60/3539.59 c GLOBAL bounds - >= 2032437 @ 3517.81
3528.70/3539.62 c GLOBAL bounds - >= 2032437 @ 3517.83
3528.70/3539.63 c GLOBAL bounds - >= 2032437 @ 3517.84
3528.70/3539.66 c GLOBAL bounds - >= 2032437 @ 3517.86
3528.70/3539.66 c GLOBAL bounds - >= 2032437 @ 3517.87
3528.70/3539.69 c GLOBAL bounds - >= 2032437 @ 3517.89
3528.80/3539.70 c GLOBAL bounds - >= 2032437 @ 3517.9
3528.80/3539.73 c GLOBAL bounds - >= 2032437 @ 3517.92
3528.80/3539.74 c GLOBAL bounds - >= 2032437 @ 3517.93
3528.80/3539.77 c GLOBAL bounds - >= 2032437 @ 3517.96
3528.80/3539.77 c GLOBAL bounds - >= 2032437 @ 3517.96
3528.90/3539.80 c GLOBAL bounds - >= 2032437 @ 3517.99
3528.90/3539.81 c GLOBAL bounds - >= 2032437 @ 3517.99
3528.90/3539.84 c GLOBAL bounds - >= 2032437 @ 3518.02
3528.90/3539.85 c GLOBAL bounds - >= 2032437 @ 3518.03
3528.90/3539.88 c GLOBAL bounds - >= 2032437 @ 3518.05
3528.90/3539.89 c GLOBAL bounds - >= 2032437 @ 3518.06
3529.00/3539.92 c GLOBAL bounds - >= 2032437 @ 3518.09
3529.00/3539.95 c GLOBAL bounds - >= 2032437 @ 3518.12
3529.00/3539.98 c GLOBAL bounds - >= 2032437 @ 3518.14
3529.11/3540.02 c GLOBAL bounds - >= 2032437 @ 3518.17
3529.11/3540.06 c GLOBAL bounds - >= 2032437 @ 3518.22
3529.11/3540.10 c GLOBAL bounds - >= 2032437 @ 3518.25
3529.20/3540.13 c GLOBAL bounds - >= 2032437 @ 3518.28
3529.20/3540.18 c GLOBAL bounds - >= 2032437 @ 3518.32
3529.30/3540.21 c GLOBAL bounds - >= 2032437 @ 3518.35
3529.30/3540.24 c GLOBAL bounds - >= 2032437 @ 3518.38
3529.50/3540.49 c GLOBAL bounds - >= 2032437 @ 3518.61
3531.30/3542.27 c #Conflicts: 622000 | #Constraints: 139709
3531.30/3542.27 c GLOBAL bounds - >= 2032437 @ 3520.38
3534.39/3545.34 c #Conflicts: 623000 | #Constraints: 140866
3534.39/3545.34 c INPROCESSING
3534.39/3545.34 c GARBAGE COLLECT
3534.39/3545.34 c GLOBAL bounds - >= 2032437 @ 3523.44
3535.59/3546.50 c GLOBAL bounds - >= 2032437 @ 3524.59
3600.09/3611.20 c #Conflicts: 624000 | #Constraints: 126546
3600.09/3611.20 c #Conflicts: 625000 | #Constraints: 127546
3600.09/3611.20 c #Conflicts: 626000 | #Constraints: 128546
3600.09/3611.20 c #Conflicts: 627000 | #Constraints: 129546
3600.09/3611.20 c #Conflicts: 628000 | #Constraints: 130546
3600.09/3611.20 c #Conflicts: 629000 | #Constraints: 131546
3600.09/3611.20 c #Conflicts: 630000 | #Constraints: 132546
3600.09/3611.20 c #Conflicts: 631000 | #Constraints: 133546
3600.09/3611.20 c #Conflicts: 632000 | #Constraints: 134546
3600.09/3611.20 c #Conflicts: 633000 | #Constraints: 135546
3600.09/3611.20 c #Conflicts: 634000 | #Constraints: 136546
3600.09/3611.20 c cpu time 3588.96 s
3600.09/3611.20 c deterministic time 54219322 5.42e+07
3600.09/3611.20 c optimization time 3587.11 s
3600.09/3611.20 c total solve time 1.777 s
3600.09/3611.20 c core-guided solve time 0 s
3600.09/3611.20 c propagation time 1.33894 s
3600.09/3611.20 c conflict analysis time 0.153463 s
3600.09/3611.20 c propagations 5312235
3600.09/3611.20 c resolve steps 0
3600.09/3611.20 c decisions 1642099
3600.09/3611.20 c conflicts 299
3600.09/3611.20 c restarts 2
3600.09/3611.20 c inprocessing phases 0
3600.09/3611.20 c garbage collections 0 ,( -nan )
3600.09/3611.20 c input clauses 16480 ,( 72.23 )
3600.09/3611.20 c input cardinalities 28 ,( 0.12 )
3600.09/3611.20 c input general constraints 6309 ,( 27.65 )
3600.09/3611.20 c input average constraint length 55.73
3600.09/3611.20 c input average constraint degree 26537563.56
3600.09/3611.20 c learned clauses 74 ,( 15.35 )
3600.09/3611.20 c learned cardinalities 0 ,( 0.00 )
3600.09/3611.20 c learned general constraints 408 ,( 84.65 )
3600.09/3611.20 c learned average constraint length 201.85
3600.09/3611.20 c learned average constraint degree 1568682.32
3600.09/3611.20 c watched CF 32, 64, 128, Arb: 415 , 0 , 0 , 0
3600.09/3611.20 c counting CF 32, 64, 128, Arb: 6043 , 260 , 0 , 0
3600.09/3611.20 c watched constraints 415 ,( 6.18 )
3600.09/3611.20 c counting constraints 6302 ,( 93.82 )
3600.09/3611.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1032329 , 3542 , 4348612 ,( 454435 , 3894177 )
3600.09/3611.20 c gcd simplifications 1
3600.09/3611.20 c detected cardinalities 0
3600.09/3611.20 c weakened non-implied lits 0
3600.09/3611.20 c weakened non-implying lits 0
3600.09/3611.20 c original variables 9765
3600.09/3611.20 c clausal propagations 988511
3600.09/3611.20 c cardinality propagations 1125
3600.09/3611.20 c watched propagations 12735
3600.09/3611.20 c counting propagations 2258615
3600.09/3611.20 c watch lookups 8835667
3600.09/3611.20 c watch backjump lookups 0
3600.09/3611.20 c watch checks 16634990
3600.09/3611.20 c propagation checks 14709443
3600.09/3611.20 c constraint additions 129642
3600.09/3611.20 c trail pops 6954573
3600.09/3611.20 c formula constraints 21927
3600.09/3611.20 c learned constraints 481
3600.09/3611.20 c bound constraints 0
3600.09/3611.20 c core-guided constraints 0
3600.09/3611.20 c encountered formula constraints 146
3600.09/3611.20 c encountered learned constraints 18
3600.09/3611.20 c encountered bound constraints 0
3600.09/3611.20 c encountered core-guided constraints 0
3600.09/3611.20 c LP total time 1.10481 s
3600.09/3611.20 c LP solve time 0.92 s
3600.09/3611.20 c LP constraints added 21928
3600.09/3611.20 c LP constraints removed 0
3600.09/3611.20 c LP pivots internal 53
3600.09/3611.20 c LP pivots root 619
3600.09/3611.20 c LP calls 263
3600.09/3611.20 c LP optimalities 263
3600.09/3611.20 c LP no pivot count 261
3600.09/3611.20 c LP infeasibilities 0
3600.09/3611.20 c LP valid Farkas constraints 0
3600.09/3611.20 c LP learned Farkas constraints 0
3600.09/3611.20 c LP basis resets 0
3600.09/3611.20 c LP cycling count 0
3600.09/3611.20 c LP singular count 0
3600.09/3611.20 c LP no primal count 0
3600.09/3611.20 c LP no farkas count 0
3600.09/3611.20 c LP other issue count 0
3600.09/3611.20 c LP Gomory cuts 1
3600.09/3611.20 c LP learned cuts 0
3600.09/3611.20 c LP deleted cuts 0
3600.09/3611.20 c LP encountered Gomory constraints 0
3600.09/3611.20 c LP encountered Farkas constraints 0
3600.09/3611.20 c LP encountered learned Farkas constraints 0
3600.09/3611.20 c CG auxiliary variables introduced 699
3600.09/3611.20 c CG solutions found 0
3600.09/3611.20 c CG cores constructed 439
3600.09/3611.20 c CG core cardinality constraints returned 0
3600.09/3611.20 c CG unit cores 0
3600.09/3611.20 c CG single cores 0
3600.09/3611.20 c CG blocks removed during cardinality reduction 0
3600.09/3611.20 c CG first core best 0
3600.09/3611.20 c CG decision core best 0
3600.09/3611.20 c CG core reduction tie 0
3600.09/3611.20 c CG core degree average 0.00
3600.09/3611.20 c CG core slack average 0.00
3600.09/3611.20 c CG core upper bound improvements 0
3600.09/3611.20 c STR number of successful calls 0
3600.09/3611.20 c STR number of unsuccessful calls 0
3600.09/3611.20 c STR number of inconclusive calls 0
3600.09/3611.20 c STR number of successful attempts 0
3600.09/3611.20 c STR number of unsuccessful attempts 0
3600.09/3611.20 c STR number of inconclusive attempts 0
3600.09/3611.20 c STR average degree increase per successful call inf
3600.09/3611.20 c STR average degree increase per successful attempt inf
3600.09/3611.20 c STR total number of conflicts for successful attempts 0
3600.09/3611.20 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.20 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.20 c STR average number of conflicts per successful attempt inf
3600.09/3611.20 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.20 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.20 c AVG.sumWPerc 93.84
3600.09/3611.20 c bigint constraints 260
3600.09/3611.20 s UNKNOWN
3600.09/3611.20 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: 63708 MiB (62372 MiB free)
memory of node 1: 64465 MiB (62597 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504802-1751466415/watcher-4504802-1751466415 -o /tmp/evaluation-result-4504802-1751466415/solver-4504802-1751466415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66042 --watchdog 3760 run-opt.sh HOME/instance-4504802-1751466415.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=66076, runsolver pid=66072
[startup+0.100063 s]*
/proc/loadavg: 0.71 1.01 1.35 4/263 66095
/proc/meminfo: memFree=127925532/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=88236 memory=28704 CPUtime=0.07 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 4173 0 0 0 5 2 0 0 20 0 1 0 62318095 90353664 6647 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 22059 6647 2240 1147 0 9486 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 92428 KiB
Current children cumulated memory: 31648 KiB
[startup+0.205421 s]*
/proc/loadavg: 0.71 1.01 1.35 4/266 66099
/proc/meminfo: memFree=127895928/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=90536 memory=42360 CPUtime=0.17 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 6041 0 0 0 11 6 0 0 20 0 1 0 62318095 92708864 10590 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 22634 10590 2336 1147 0 10061 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 94728 KiB
Current children cumulated memory: 45304 KiB
[startup+0.304622 s]*
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127803388/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=103832 memory=54332 CPUtime=0.28 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 9300 0 0 0 18 10 0 0 20 0 1 0 62318095 106323968 13583 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 25958 13583 2368 1147 0 13385 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 108024 KiB
Current children cumulated memory: 57276 KiB
[startup+0.700144 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127686820/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=112592 memory=62528 CPUtime=0.66 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 11413 0 0 0 48 18 0 0 20 0 1 0 62318095 115294208 15632 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 28148 15632 2400 1147 0 15575 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 116784 KiB
Current children cumulated memory: 65472 KiB
[startup+1.50019 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=127522372/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=125500 memory=75584 CPUtime=1.46 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 14669 0 0 0 97 49 0 0 20 0 1 0 62318095 128512000 18896 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 31375 18896 2400 1147 0 18802 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 129692 KiB
Current children cumulated memory: 78528 KiB
[startup+3.1053 s]
/proc/loadavg: 0.71 1.01 1.35 5/269 66106
/proc/meminfo: memFree=126674768/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=176584 memory=123940 CPUtime=3.06 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 23204 0 0 0 208 98 0 0 20 0 1 0 62318095 180822016 30985 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 44146 30985 2400 1147 0 31573 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 180776 KiB
Current children cumulated memory: 126884 KiB
[startup+6.30018 s]
/proc/loadavg: 0.98 1.06 1.36 5/269 66106
/proc/meminfo: memFree=125845652/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=250760 memory=186920 CPUtime=6.25 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 36949 0 0 0 493 132 0 0 20 0 1 0 62318095 256778240 46730 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 62690 46730 2400 1147 0 50117 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 254952 KiB
Current children cumulated memory: 189864 KiB
[startup+12.7002 s]
/proc/loadavg: 1.22 1.11 1.38 5/269 66106
/proc/meminfo: memFree=125349628/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=327276 memory=252204 CPUtime=12.63 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 49690 0 0 0 1105 158 0 0 20 0 1 0 62318095 335130624 63051 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 81819 63051 2400 1147 0 69246 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 331468 KiB
Current children cumulated memory: 255148 KiB
[startup+25.5002 s]
/proc/loadavg: 1.91 1.27 1.42 5/269 66106
/proc/meminfo: memFree=123845064/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=400864 memory=308952 CPUtime=25.39 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 60293 0 0 0 2352 187 0 0 20 0 1 0 62318095 410484736 77238 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 100216 77238 2400 1147 0 87643 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 405056 KiB
Current children cumulated memory: 311896 KiB
[startup+51.1056 s]
/proc/loadavg: 2.62 1.49 1.49 5/268 66107
/proc/meminfo: memFree=121783216/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=489528 memory=396500 CPUtime=50.91 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 77583 0 0 0 4873 218 0 0 20 0 1 0 62318095 501276672 99125 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 122382 99125 2400 1147 0 109809 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 493720 KiB
Current children cumulated memory: 399444 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.89 1.63 5/268 66109
/proc/meminfo: memFree=119296108/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=608540 memory=483512 CPUtime=101.95 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 94484 0 0 0 9929 266 0 0 20 0 1 0 62318095 623144960 120878 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 152135 120878 2400 1147 0 139562 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 612732 KiB
Current children cumulated memory: 486456 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.31 1.79 5/269 66112
/proc/meminfo: memFree=116560848/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=657764 memory=549744 CPUtime=161.76 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 106250 0 0 0 15866 310 0 0 20 0 1 0 62318095 673550336 137436 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 164441 137436 2400 1147 0 151868 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 661956 KiB
Current children cumulated memory: 552688 KiB
[startup+222.3 s]
/proc/loadavg: 3.97 2.62 1.93 5/269 66114
/proc/meminfo: memFree=114963380/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=718392 memory=609712 CPUtime=221.58 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 118023 0 0 0 21828 330 0 0 20 0 1 0 62318095 735633408 152428 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 179598 152428 2400 1147 0 167025 0
################
# More data... #
################
/proc/66079/statm: 393935 344237 2400 1147 0 381362 0
Current children cumulated CPU time: 3032.97 s
Current children cumulated vsize: 1579932 KiB
Current children cumulated memory: 1379892 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.06 5/267 66261
/proc/meminfo: memFree=78265520/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1589572 memory=1389016 CPUtime=3092.78 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 244563 0 0 0 308264 1014 0 0 20 0 1 0 62318095 1627721728 347254 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 397393 347254 2400 1147 0 384820 0
Current children cumulated CPU time: 3092.78 s
Current children cumulated vsize: 1593764 KiB
Current children cumulated memory: 1391960 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.06 5/266 66263
/proc/meminfo: memFree=77422392/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1589572 memory=1389272 CPUtime=3152.59 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 244979 0 0 0 314236 1023 0 0 20 0 1 0 62318095 1627721728 347318 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 397393 347318 2400 1147 0 384820 0
Current children cumulated CPU time: 3152.59 s
Current children cumulated vsize: 1593764 KiB
Current children cumulated memory: 1392216 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/267 66266
/proc/meminfo: memFree=77150872/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1589572 memory=1391448 CPUtime=3212.41 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 245514 0 0 0 320206 1035 0 0 20 0 1 0 62318095 1627721728 347862 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 397393 347862 2400 1147 0 384820 0
Current children cumulated CPU time: 3212.41 s
Current children cumulated vsize: 1593764 KiB
Current children cumulated memory: 1394392 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.07 5/267 66267
/proc/meminfo: memFree=76836344/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1589572 memory=1391448 CPUtime=3272.21 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 245538 0 0 0 326175 1046 0 0 20 0 1 0 62318095 1627721728 347862 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 397393 347862 2400 1147 0 384820 0
Current children cumulated CPU time: 3272.21 s
Current children cumulated vsize: 1593764 KiB
Current children cumulated memory: 1394392 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.12 4.07 5/268 66270
/proc/meminfo: memFree=76227592/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1591624 memory=1396248 CPUtime=3332.02 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 246230 0 0 0 332144 1058 0 0 20 0 1 0 62318095 1629822976 349062 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 397906 349062 2400 1147 0 385333 0
Current children cumulated CPU time: 3332.02 s
Current children cumulated vsize: 1595816 KiB
Current children cumulated memory: 1399192 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.12 4.07 5/268 66272
/proc/meminfo: memFree=75917664/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1597756 memory=1405420 CPUtime=3391.83 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 248140 0 0 0 338115 1068 0 0 20 0 1 0 62318095 1636102144 351355 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 399439 351355 2400 1147 0 386866 0
Current children cumulated CPU time: 3391.83 s
Current children cumulated vsize: 1601948 KiB
Current children cumulated memory: 1408364 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/268 66320
/proc/meminfo: memFree=103750200/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1823240 memory=1435688 CPUtime=3451.64 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 253337 0 0 0 344084 1080 0 0 20 0 1 0 62318095 1866997760 358922 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 455810 358922 2400 1147 0 443237 0
Current children cumulated CPU time: 3451.64 s
Current children cumulated vsize: 1827432 KiB
Current children cumulated memory: 1438632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.08 5/268 66329
/proc/meminfo: memFree=103370128/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1823240 memory=1435688 CPUtime=3511.45 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 253365 0 0 0 350059 1086 0 0 20 0 1 0 62318095 1866997760 358922 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 455810 358922 2400 1147 0 443237 0
Current children cumulated CPU time: 3511.45 s
Current children cumulated vsize: 1827432 KiB
Current children cumulated memory: 1438632 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.08 5/269 66332
/proc/meminfo: memFree=103060340/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1826208 memory=1439144 CPUtime=3571.27 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 254259 0 0 0 356019 1108 0 0 20 0 1 0 62318095 1870036992 359786 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 456552 359786 2400 1147 0 443979 0
Current children cumulated CPU time: 3571.27 s
Current children cumulated vsize: 1830400 KiB
Current children cumulated memory: 1442088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.2 s]
/proc/loadavg: 4.12 4.11 4.08 5/262 66342
/proc/meminfo: memFree=111523184/131250000 swapFree=33010672/33010684
[pid=66076] ppid=66072 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/66076/stat : 66076 (run-opt.sh) S 66072 66076 66032 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 62318094 4292608 736 18446744073709551615 94600816734208 94600817628741 140722903220496 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94600817867792 94600817915536 94600849195008 140722903226733 140722903226856 140722903226856 140722903232458 0
/proc/66076/statm: 1048 736 672 219 0 110 0
[pid=66079] ppid=66076 vsize=1826208 memory=1439144 CPUtime=3600.09 cores=0,2
/proc/66079/stat : 66079 (roundingsat) R 66076 66076 66032 0 -1 4194304 254259 0 0 0 358895 1114 0 0 20 0 1 0 62318095 1870036992 359786 18446744073709551615 4227072 8923433 140733397955136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 29634560 140733397961122 140733397961256 140733397961256 140733397966826 0
/proc/66079/statm: 456552 359786 2400 1147 0 443979 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 1830400 KiB
Current children cumulated memory: 1442088 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.2 s]
# the end of solver process 66076 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000969 s, system=0.001127 s
Sleeping 2 seconds
[startup+3611.24 s]
# the end of solver process 66079 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.96 s, system=11.1731 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
Child status: 2
Real time (s): 3611.24
CPU time (s): 3600.14
CPU user time (s): 3588.96
CPU system time (s): 11.1731
CPU usage (%): 99.6926
Max. virtual memory (cumulated for all children) (KiB): 1830400
Max. memory (cumulated for all children) (KiB): 1442088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.96
system time used= 11.1731
maximum resident set size= 1439400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254484
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 276
involuntary context switches= 4649
# summary of solver processes directly reported to runsolver:
# pid: 66076,66079
# total CPU time (s): 3600.14
# total CPU user time (s): 3588.96
# total CPU system time (s): 11.1731
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.37542 second user time and 16.6307 second system time
The end
Begin job on nodeC014 at 2025-07-02 16:26:55
IDJOB=4504802
IDBENCH=155687
IDSOLVER=3350
FILE ID=nodeC014/4504802-1751466415
RUNJOBID= nodeC014-1751466415-66042
SLURM_JOB_ID= 9598484
Free space on /tmp= 430540 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat15_4_4_4_mh_ic.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504802-1751466415/watcher-4504802-1751466415 -o /tmp/evaluation-result-4504802-1751466415/solver-4504802-1751466415 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751466415-66042 --watchdog 3760 run-opt.sh HOME/instance-4504802-1751466415.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 122e0703ad162af40c09f7923c9e110e
RANDOM SEED=1285562696
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.111
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.116
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3562.479
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.210
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.125
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3602.912
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.263
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.137
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 127996796 kB
MemAvailable: 129718680 kB
Buffers: 2508 kB
Cached: 2517788 kB
SwapCached: 4 kB
Active: 641756 kB
Inactive: 1970300 kB
Active(anon): 106060 kB
Inactive(anon): 3852 kB
Active(file): 535696 kB
Inactive(file): 1966448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 26580 kB
Writeback: 0 kB
AnonPages: 94972 kB
Mapped: 104220 kB
Shmem: 18064 kB
KReclaimable: 117960 kB
Slab: 208224 kB
SReclaimable: 117960 kB
SUnreclaim: 90264 kB
KernelStack: 4096 kB
PageTables: 3012 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 366616 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 34816 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430492 MiB
End job on nodeC014 at 2025-07-02 17:27:06