0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.34/0.48 c #variables 2023 #constraints 31798
0.34/0.48 c objective is ce32
0.51/0.64 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.51/0.64 c initial counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
0.51/0.64 c GLOBAL bounds - >= -109612 @ 0.418981
0.51/0.65 c GLOBAL bounds - >= -109612 @ 0.42101
0.51/0.65 c GLOBAL bounds - >= -109612 @ 0.423879
0.51/0.66 c GLOBAL bounds - >= -109612 @ 0.426202
0.51/0.66 c GLOBAL bounds - >= -109612 @ 0.428305
0.51/0.66 c GLOBAL bounds - >= -109612 @ 0.431475
0.51/0.66 c GLOBAL bounds - >= -109612 @ 0.434212
0.51/0.67 c GLOBAL bounds - >= -109612 @ 0.436426
0.51/0.67 c GLOBAL bounds - >= -109612 @ 0.439291
0.51/0.67 c GLOBAL bounds - >= -109612 @ 0.441727
0.51/0.68 c GLOBAL bounds - >= -109612 @ 0.444774
0.51/0.68 c GLOBAL bounds - >= -109612 @ 0.447345
0.51/0.68 c GLOBAL bounds - >= -109612 @ 0.450443
0.51/0.69 c GLOBAL bounds - >= -109612 @ 0.453904
0.51/0.69 c GLOBAL bounds - >= -109612 @ 0.456279
0.51/0.69 c GLOBAL bounds - >= -109612 @ 0.459627
0.61/0.70 c GLOBAL bounds - >= -109612 @ 0.462906
0.61/0.70 c GLOBAL bounds - >= -109612 @ 0.466534
0.61/0.70 c GLOBAL bounds - >= -109612 @ 0.469848
0.61/0.71 c GLOBAL bounds - >= -109612 @ 0.472525
0.61/0.71 c GLOBAL bounds - >= -109612 @ 0.476006
0.61/0.72 c GLOBAL bounds - >= -109612 @ 0.479682
0.61/0.72 c GLOBAL bounds - >= -109612 @ 0.483092
0.61/0.72 c GLOBAL bounds - >= -109612 @ 0.485831
0.61/0.73 c GLOBAL bounds - >= -109612 @ 0.488849
0.61/0.73 c GLOBAL bounds - >= -109612 @ 0.494016
0.61/0.74 c GLOBAL bounds - >= -109612 @ 0.496763
0.61/0.74 c GLOBAL bounds - >= -109612 @ 0.500447
0.61/0.74 c GLOBAL bounds - >= -109612 @ 0.503082
0.61/0.75 c GLOBAL bounds - >= -109612 @ 0.506892
0.61/0.75 c GLOBAL bounds - >= -109612 @ 0.50967
0.61/0.75 c GLOBAL bounds - >= -109612 @ 0.513444
0.61/0.76 c GLOBAL bounds - >= -109612 @ 0.517499
0.61/0.77 c GLOBAL bounds - >= -109612 @ 0.522649
0.61/0.77 c GLOBAL bounds - >= -109612 @ 0.526636
0.61/0.77 c GLOBAL bounds - >= -109612 @ 0.529754
0.61/0.78 c GLOBAL bounds - >= -109612 @ 0.533708
0.61/0.78 c GLOBAL bounds - >= -109612 @ 0.536848
0.61/0.79 c GLOBAL bounds - >= -109612 @ 0.540894
0.61/0.79 c GLOBAL bounds - >= -109612 @ 0.544929
0.61/0.79 c GLOBAL bounds - >= -109612 @ 0.549052
0.71/0.80 c GLOBAL bounds - >= -109612 @ 0.553224
0.71/0.80 c GLOBAL bounds - >= -109612 @ 0.557446
0.71/0.81 c GLOBAL bounds - >= -109612 @ 0.561666
0.71/0.81 c GLOBAL bounds - >= -109612 @ 0.565193
0.71/0.82 c GLOBAL bounds - >= -109612 @ 0.568479
0.71/0.82 c GLOBAL bounds - >= -109612 @ 0.572809
0.71/0.82 c GLOBAL bounds - >= -109612 @ 0.576244
0.71/0.83 c GLOBAL bounds - >= -109612 @ 0.580123
0.71/0.83 c GLOBAL bounds - >= -109612 @ 0.58444
0.71/0.84 c GLOBAL bounds - >= -109612 @ 0.588618
0.71/0.84 c GLOBAL bounds - >= -109612 @ 0.592135
0.71/0.85 c GLOBAL bounds - >= -109612 @ 0.596564
0.71/0.85 c GLOBAL bounds - >= -109612 @ 0.599079
0.71/0.86 c GLOBAL bounds - >= -109612 @ 0.603544
0.71/0.86 c GLOBAL bounds - >= -109612 @ 0.608064
0.71/0.87 c GLOBAL bounds - >= -109612 @ 0.612595
0.71/0.87 c GLOBAL bounds - >= -109612 @ 0.616312
0.71/0.88 c GLOBAL bounds - >= -109612 @ 0.6208
0.71/0.88 c GLOBAL bounds - >= -109612 @ 0.625623
0.71/0.88 c GLOBAL bounds - >= -109612 @ 0.629461
0.71/0.89 c GLOBAL bounds - >= -109612 @ 0.633978
0.71/0.89 c GLOBAL bounds - >= -109612 @ 0.63775
0.81/0.90 c GLOBAL bounds - >= -109612 @ 0.641499
0.81/0.90 c GLOBAL bounds - >= -109612 @ 0.645211
0.81/0.91 c GLOBAL bounds - >= -109612 @ 0.648987
0.81/0.91 c GLOBAL bounds - >= -109612 @ 0.653797
0.81/0.92 c GLOBAL bounds - >= -109612 @ 0.658579
0.81/0.92 c GLOBAL bounds - >= -109612 @ 0.662483
0.81/0.93 c GLOBAL bounds - >= -109612 @ 0.666215
0.81/0.93 c GLOBAL bounds - >= -109612 @ 0.669887
0.81/0.94 c GLOBAL bounds - >= -109612 @ 0.67358
0.81/0.94 c GLOBAL bounds - >= -109612 @ 0.677296
0.81/0.94 c GLOBAL bounds - >= -109612 @ 0.681118
0.81/0.95 c GLOBAL bounds - >= -109612 @ 0.684056
0.81/0.95 c GLOBAL bounds - >= -109612 @ 0.687817
0.81/0.95 c GLOBAL bounds - >= -109612 @ 0.690802
0.81/0.96 c GLOBAL bounds - >= -109612 @ 0.694501
0.81/0.96 c GLOBAL bounds - >= -109612 @ 0.69836
0.81/0.97 c GLOBAL bounds - >= -109612 @ 0.702361
0.81/0.97 c GLOBAL bounds - >= -109612 @ 0.706366
0.81/0.97 c GLOBAL bounds - >= -109612 @ 0.710416
0.81/0.98 c GLOBAL bounds - >= -109612 @ 0.713501
0.81/0.98 c GLOBAL bounds - >= -109612 @ 0.717539
0.81/0.99 c GLOBAL bounds - >= -109612 @ 0.723383
0.81/0.99 c GLOBAL bounds - >= -109612 @ 0.726511
0.91/1.00 c GLOBAL bounds - >= -109612 @ 0.730743
0.91/1.01 c GLOBAL bounds - >= -109612 @ 0.73502
0.91/1.01 c GLOBAL bounds - >= -109612 @ 0.739218
0.91/1.02 c GLOBAL bounds - >= -109612 @ 0.742571
0.91/1.02 c GLOBAL bounds - >= -109612 @ 0.746734
0.91/1.03 c GLOBAL bounds - >= -109612 @ 0.750991
0.91/1.03 c GLOBAL bounds - >= -109612 @ 0.755393
0.91/1.03 c GLOBAL bounds - >= -109612 @ 0.758745
0.91/1.04 c GLOBAL bounds - >= -109612 @ 0.762992
0.91/1.04 c GLOBAL bounds - >= -109612 @ 0.767318
0.91/1.05 c GLOBAL bounds - >= -109612 @ 0.771605
0.91/1.05 c GLOBAL bounds - >= -109612 @ 0.775864
0.91/1.06 c GLOBAL bounds - >= -109612 @ 0.780472
0.91/1.06 c GLOBAL bounds - >= -109612 @ 0.784855
0.91/1.07 c GLOBAL bounds - >= -109612 @ 0.788383
0.91/1.07 c GLOBAL bounds - >= -109612 @ 0.791828
0.91/1.07 c GLOBAL bounds - >= -109612 @ 0.796172
0.91/1.08 c GLOBAL bounds - >= -109612 @ 0.800614
0.91/1.08 c GLOBAL bounds - >= -109612 @ 0.8051
0.91/1.09 c GLOBAL bounds - >= -109612 @ 0.809623
0.91/1.09 c GLOBAL bounds - >= -109612 @ 0.81416
0.91/1.10 c GLOBAL bounds - >= -109612 @ 0.817969
0.91/1.10 c GLOBAL bounds - >= -109612 @ 0.821523
1.00/1.11 c GLOBAL bounds - >= -109612 @ 0.825876
1.00/1.11 c GLOBAL bounds - >= -109612 @ 0.830394
1.00/1.12 c GLOBAL bounds - >= -109612 @ 0.833982
1.00/1.12 c GLOBAL bounds - >= -109612 @ 0.838475
1.00/1.12 c GLOBAL bounds - >= -109612 @ 0.843005
1.00/1.13 c GLOBAL bounds - >= -109612 @ 0.846604
1.00/1.13 c GLOBAL bounds - >= -109612 @ 0.850026
1.00/1.14 c GLOBAL bounds - >= -109612 @ 0.854608
1.00/1.14 c GLOBAL bounds - >= -109612 @ 0.859142
1.00/1.15 c GLOBAL bounds - >= -109612 @ 0.863695
1.00/1.15 c GLOBAL bounds - >= -109612 @ 0.868205
1.00/1.16 c GLOBAL bounds - >= -109612 @ 0.873545
1.00/1.16 c GLOBAL bounds - >= -109612 @ 0.878361
1.00/1.17 c GLOBAL bounds - >= -109612 @ 0.883832
1.00/1.17 c GLOBAL bounds - >= -109612 @ 0.88873
1.00/1.18 c GLOBAL bounds - >= -109612 @ 0.893573
1.00/1.18 c GLOBAL bounds - >= -109612 @ 0.898253
1.00/1.19 c GLOBAL bounds - >= -109612 @ 0.90215
1.00/1.19 c GLOBAL bounds - >= -109612 @ 0.905913
1.10/1.20 c GLOBAL bounds - >= -109612 @ 0.911514
1.10/1.20 c GLOBAL bounds - >= -109612 @ 0.916352
1.10/1.21 c GLOBAL bounds - >= -109612 @ 0.921144
1.10/1.21 c GLOBAL bounds - >= -109612 @ 0.925068
1.10/1.22 c GLOBAL bounds - >= -109612 @ 0.929097
1.10/1.22 c GLOBAL bounds - >= -109612 @ 0.933981
1.10/1.23 c GLOBAL bounds - >= -109612 @ 0.938158
1.10/1.24 c GLOBAL bounds - >= -109612 @ 0.943836
1.10/1.24 c GLOBAL bounds - >= -109612 @ 0.948959
1.10/1.25 c GLOBAL bounds - >= -109612 @ 0.953061
1.10/1.25 c GLOBAL bounds - >= -109612 @ 0.958243
1.10/1.26 c GLOBAL bounds - >= -109612 @ 0.961529
1.10/1.26 c GLOBAL bounds - >= -109612 @ 0.966655
1.10/1.27 c GLOBAL bounds - >= -109612 @ 0.971818
1.10/1.28 c GLOBAL bounds - >= -109612 @ 0.978814
1.10/1.28 c GLOBAL bounds - >= -109612 @ 0.984132
1.10/1.29 c GLOBAL bounds - >= -109612 @ 0.989265
1.10/1.29 c GLOBAL bounds - >= -109612 @ 0.993576
1.19/1.30 c GLOBAL bounds - >= -109612 @ 0.998634
1.19/1.31 c GLOBAL bounds - >= -109612 @ 1.00548
1.19/1.31 c GLOBAL bounds - >= -109612 @ 1.01299
1.19/1.32 c GLOBAL bounds - >= -109612 @ 1.01836
1.19/1.33 c GLOBAL bounds - >= -109612 @ 1.02652
1.19/1.34 c GLOBAL bounds - >= -109612 @ 1.03497
1.19/1.34 c GLOBAL bounds - >= -109612 @ 1.04086
1.19/1.35 c GLOBAL bounds - >= -109612 @ 1.04644
1.19/1.36 c GLOBAL bounds - >= -109612 @ 1.0512
1.19/1.36 c GLOBAL bounds - >= -109612 @ 1.05695
1.19/1.37 c GLOBAL bounds - >= -109612 @ 1.06297
1.19/1.38 c GLOBAL bounds - >= -109612 @ 1.0689
1.19/1.38 c GLOBAL bounds - >= -109612 @ 1.07445
1.19/1.39 c GLOBAL bounds - >= -109612 @ 1.07933
1.30/1.40 c GLOBAL bounds - >= -109612 @ 1.08633
1.30/1.40 c GLOBAL bounds - >= -109612 @ 1.09299
1.30/1.42 c GLOBAL bounds - >= -109612 @ 1.10483
1.30/1.42 c GLOBAL bounds - >= -109612 @ 1.11081
1.30/1.43 c GLOBAL bounds - >= -109612 @ 1.11659
1.30/1.44 c GLOBAL bounds - >= -109612 @ 1.12348
1.30/1.44 c GLOBAL bounds - >= -109612 @ 1.12849
1.30/1.45 c GLOBAL bounds - >= -109612 @ 1.13355
1.30/1.45 c GLOBAL bounds - >= -109612 @ 1.1385
1.30/1.46 c GLOBAL bounds - >= -109612 @ 1.14342
1.30/1.47 c GLOBAL bounds - >= -109612 @ 1.15216
1.30/1.48 c GLOBAL bounds - >= -109612 @ 1.16523
1.30/1.49 c GLOBAL bounds - >= -109612 @ 1.17851
1.39/1.50 c GLOBAL bounds - >= -109612 @ 1.18494
1.39/1.51 c GLOBAL bounds - >= -109612 @ 1.19148
1.39/1.51 c GLOBAL bounds - >= -109612 @ 1.19703
1.39/1.55 c GLOBAL bounds - >= -109612 @ 1.2304
1.39/1.56 c GLOBAL bounds - >= -109612 @ 1.24101
1.39/1.57 c GLOBAL bounds - >= -109612 @ 1.24793
1.39/1.57 c GLOBAL bounds - >= -109612 @ 1.2531
1.39/1.58 c GLOBAL bounds - >= -109612 @ 1.25911
1.39/1.59 c GLOBAL bounds - >= -109612 @ 1.2652
1.39/1.59 c GLOBAL bounds - >= -109612 @ 1.27135
1.49/1.60 c GLOBAL bounds - >= -109612 @ 1.2786
1.49/1.61 c GLOBAL bounds - >= -109612 @ 1.28635
1.49/1.62 c GLOBAL bounds - >= -109612 @ 1.29435
1.49/1.63 c GLOBAL bounds - >= -109612 @ 1.30605
1.49/1.64 c GLOBAL bounds - >= -109612 @ 1.31558
1.49/1.65 c GLOBAL bounds - >= -109612 @ 1.32923
1.49/1.66 c GLOBAL bounds - >= -109612 @ 1.33684
1.49/1.68 c GLOBAL bounds - >= -109612 @ 1.35178
1.49/1.68 c GLOBAL bounds - >= -109612 @ 1.3594
1.49/1.69 c GLOBAL bounds - >= -109612 @ 1.36624
1.59/1.70 c GLOBAL bounds - >= -109612 @ 1.37478
1.59/1.72 c GLOBAL bounds - >= -109612 @ 1.38957
1.59/1.72 c GLOBAL bounds - >= -109612 @ 1.39746
1.59/1.73 c GLOBAL bounds - >= -109612 @ 1.40565
1.59/1.74 c GLOBAL bounds - >= -109612 @ 1.41285
1.59/1.75 c GLOBAL bounds - >= -109612 @ 1.41891
1.59/1.76 c GLOBAL bounds - >= -109612 @ 1.4268
1.59/1.76 c GLOBAL bounds - >= -109612 @ 1.43414
1.59/1.77 c GLOBAL bounds - >= -109612 @ 1.44129
1.59/1.78 c GLOBAL bounds - >= -109612 @ 1.44921
1.59/1.79 c GLOBAL bounds - >= -109612 @ 1.45738
1.69/1.80 c GLOBAL bounds - >= -109612 @ 1.46545
1.69/1.82 c GLOBAL bounds - >= -109612 @ 1.48412
1.69/1.82 c GLOBAL bounds - >= -109612 @ 1.49081
1.69/1.83 c GLOBAL bounds - >= -109612 @ 1.49864
1.69/1.84 c GLOBAL bounds - >= -109612 @ 1.50596
1.69/1.85 c GLOBAL bounds - >= -109612 @ 1.51356
1.69/1.86 c GLOBAL bounds - >= -109612 @ 1.52217
1.69/1.87 c GLOBAL bounds - >= -109612 @ 1.53131
1.69/1.87 c GLOBAL bounds - >= -109612 @ 1.53958
1.69/1.88 c GLOBAL bounds - >= -109612 @ 1.54743
1.69/1.89 c GLOBAL bounds - >= -109612 @ 1.5534
1.79/1.90 c GLOBAL bounds - >= -109612 @ 1.56021
1.79/1.91 c GLOBAL bounds - >= -109612 @ 1.56885
1.79/1.92 c GLOBAL bounds - >= -109612 @ 1.57837
1.79/1.93 c GLOBAL bounds - >= -109612 @ 1.58564
1.79/1.93 c GLOBAL bounds - >= -109612 @ 1.5908
1.79/1.94 c GLOBAL bounds - >= -109612 @ 1.59886
1.79/1.95 c GLOBAL bounds - >= -109612 @ 1.60611
1.79/1.96 c GLOBAL bounds - >= -109612 @ 1.61406
1.79/1.96 c GLOBAL bounds - >= -109612 @ 1.62112
1.79/1.97 c GLOBAL bounds - >= -109612 @ 1.62812
1.79/1.98 c GLOBAL bounds - >= -109612 @ 1.63489
1.79/1.99 c GLOBAL bounds - >= -109612 @ 1.64288
1.89/2.00 c GLOBAL bounds - >= -109612 @ 1.65102
1.89/2.01 c GLOBAL bounds - >= -109612 @ 1.65946
1.89/2.02 c GLOBAL bounds - >= -109612 @ 1.66758
1.98/2.11 c GLOBAL bounds - >= -109612 @ 1.75326
1.98/2.12 c GLOBAL bounds - >= -109612 @ 1.76485
1.98/2.13 c GLOBAL bounds - >= -109612 @ 1.77483
1.98/2.14 c GLOBAL bounds - >= -109612 @ 1.78554
1.98/2.15 c GLOBAL bounds - >= -109612 @ 1.79604
1.98/2.16 c GLOBAL bounds - >= -109612 @ 1.80837
1.98/2.17 c GLOBAL bounds - >= -109612 @ 1.818
1.98/2.18 c GLOBAL bounds - >= -109612 @ 1.82758
1.98/2.19 c GLOBAL bounds - >= -109612 @ 1.83718
2.08/2.20 c GLOBAL bounds - >= -109612 @ 1.84621
2.08/2.21 c GLOBAL bounds - >= -109612 @ 1.85673
2.08/2.22 c GLOBAL bounds - >= -109612 @ 1.8657
2.08/2.23 c GLOBAL bounds - >= -109612 @ 1.87644
2.08/2.29 c GLOBAL bounds - >= -109612 @ 1.93083
2.18/2.30 c GLOBAL bounds - >= -109612 @ 1.93952
2.18/2.32 c GLOBAL bounds - >= -109612 @ 1.95469
2.18/2.33 c GLOBAL bounds - >= -109612 @ 1.96956
2.18/2.34 c GLOBAL bounds - >= -109612 @ 1.98058
2.18/2.35 c GLOBAL bounds - >= -109612 @ 1.99035
2.18/2.37 c GLOBAL bounds - >= -109612 @ 2.00648
2.18/2.38 c GLOBAL bounds - >= -109612 @ 2.01668
2.18/2.39 c GLOBAL bounds - >= -109612 @ 2.02754
2.28/2.40 c GLOBAL bounds - >= -109612 @ 2.03952
2.28/2.42 c GLOBAL bounds - >= -109612 @ 2.06222
2.28/2.44 c GLOBAL bounds - >= -109612 @ 2.07269
2.28/2.45 c GLOBAL bounds - >= -109612 @ 2.08092
2.28/2.46 c GLOBAL bounds - >= -109612 @ 2.09094
2.28/2.47 c GLOBAL bounds - >= -109612 @ 2.10109
2.28/2.48 c GLOBAL bounds - >= -109612 @ 2.1123
2.28/2.49 c GLOBAL bounds - >= -109612 @ 2.12251
2.38/2.51 c GLOBAL bounds - >= -109612 @ 2.14013
2.38/2.52 c GLOBAL bounds - >= -109612 @ 2.15037
2.38/2.53 c GLOBAL bounds - >= -109612 @ 2.16059
2.38/2.54 c GLOBAL bounds - >= -109612 @ 2.172
2.38/2.55 c GLOBAL bounds - >= -109612 @ 2.18262
2.38/2.56 c GLOBAL bounds - >= -109612 @ 2.19301
2.38/2.57 c GLOBAL bounds - >= -109612 @ 2.20332
2.38/2.58 c GLOBAL bounds - >= -109612 @ 2.21594
2.47/2.60 c GLOBAL bounds - >= -109612 @ 2.22657
2.47/2.61 c GLOBAL bounds - >= -109612 @ 2.23697
2.47/2.63 c GLOBAL bounds - >= -109612 @ 2.25506
2.47/2.64 c GLOBAL bounds - >= -109612 @ 2.26769
2.47/2.65 c GLOBAL bounds - >= -109612 @ 2.27633
2.47/2.66 c GLOBAL bounds - >= -109612 @ 2.28828
2.47/2.67 c GLOBAL bounds - >= -109612 @ 2.29894
2.58/2.72 c GLOBAL bounds - >= -109612 @ 2.34183
2.58/2.74 c GLOBAL bounds - >= -109612 @ 2.35995
2.58/2.76 c GLOBAL bounds - >= -109612 @ 2.38067
2.58/2.78 c GLOBAL bounds - >= -109612 @ 2.40225
2.58/2.79 c GLOBAL bounds - >= -109612 @ 2.41142
2.88/3.01 c GLOBAL bounds - >= -109612 @ 2.61373
2.88/3.03 c GLOBAL bounds - >= -109612 @ 2.63469
2.88/3.04 c GLOBAL bounds - >= -109612 @ 2.64612
2.88/3.06 c GLOBAL bounds - >= -109612 @ 2.66118
2.88/3.07 c GLOBAL bounds - >= -109612 @ 2.67594
2.88/3.08 c GLOBAL bounds - >= -109612 @ 2.68729
2.98/3.15 c GLOBAL bounds - >= -109612 @ 2.74829
2.98/3.16 c GLOBAL bounds - >= -109612 @ 2.76164
3.07/3.22 c GLOBAL bounds - >= -109612 @ 2.82124
3.17/3.34 c GLOBAL bounds - >= -109612 @ 2.93012
3.17/3.36 c GLOBAL bounds - >= -109612 @ 2.95108
3.47/3.62 c GLOBAL bounds - >= -109612 @ 3.20716
3.57/3.70 c GLOBAL bounds - >= -109612 @ 3.28103
3.57/3.79 c GLOBAL bounds - >= -109612 @ 3.37281
3.97/4.10 c #Conflicts: 1000 | #Constraints: 32469
3.97/4.10 c GLOBAL bounds - >= -109612 @ 3.67802
4.17/4.35 c GLOBAL bounds - >= -109612 @ 3.92293
4.77/4.98 c GLOBAL bounds - >= -109612 @ 4.5446
4.77/5.00 c GLOBAL bounds - >= -109612 @ 4.56258
4.88/5.02 c GLOBAL bounds - >= -109612 @ 4.58029
4.88/5.06 c GLOBAL bounds - >= -109612 @ 4.61825
4.88/5.08 c GLOBAL bounds - >= -109612 @ 4.6404
4.98/5.14 c GLOBAL bounds - >= -109612 @ 4.69275
6.97/7.19 c #Conflicts: 2000 | #Constraints: 33485
6.97/7.19 c INPROCESSING
6.97/7.19 c GARBAGE COLLECT
6.97/7.19 c GLOBAL bounds - >= -109612 @ 6.6888
7.06/7.21 c GLOBAL bounds - >= -109612 @ 6.70748
7.06/7.28 c GLOBAL bounds - >= -109612 @ 6.76924
7.16/7.32 c GLOBAL bounds - >= -109612 @ 6.81518
7.16/7.34 c GLOBAL bounds - >= -109612 @ 6.82972
7.16/7.38 c GLOBAL bounds - >= -109612 @ 6.8703
7.26/7.40 c GLOBAL bounds - >= -109612 @ 6.89375
7.26/7.42 c GLOBAL bounds - >= -109612 @ 6.9123
7.26/7.46 c GLOBAL bounds - >= -109612 @ 6.95306
7.35/7.52 c GLOBAL bounds - >= -109612 @ 7.00655
7.35/7.53 c GLOBAL bounds - >= -109612 @ 7.02417
7.35/7.55 c GLOBAL bounds - >= -109612 @ 7.04052
8.96/9.19 c #Conflicts: 3000 | #Constraints: 33535
8.96/9.19 c GLOBAL bounds - >= -109612 @ 8.63231
9.05/9.21 c GLOBAL bounds - >= -109612 @ 8.65329
9.15/9.31 c GLOBAL bounds - >= -109612 @ 8.74664
9.15/9.36 c GLOBAL bounds - >= -109612 @ 8.79796
9.55/9.79 c GLOBAL bounds - >= -109612 @ 9.21979
9.65/9.81 c GLOBAL bounds - >= -109612 @ 9.24389
9.86/10.04 c GLOBAL bounds - >= -109612 @ 9.46812
9.86/10.09 c GLOBAL bounds - >= -109612 @ 9.51534
9.96/10.12 c GLOBAL bounds - >= -109612 @ 9.54964
10.05/10.27 c GLOBAL bounds - >= -109612 @ 9.69497
10.15/10.30 c GLOBAL bounds - >= -109612 @ 9.72047
10.45/10.61 c GLOBAL bounds - >= -109612 @ 10.0197
10.45/10.64 c GLOBAL bounds - >= -109612 @ 10.0494
10.45/10.66 c GLOBAL bounds - >= -109612 @ 10.0754
10.45/10.69 c GLOBAL bounds - >= -109612 @ 10.1044
10.64/10.86 c GLOBAL bounds - >= -109612 @ 10.2705
10.64/10.89 c GLOBAL bounds - >= -109612 @ 10.3021
11.05/11.29 c GLOBAL bounds - >= -109612 @ 10.6882
11.96/12.17 c GLOBAL bounds - >= -109612 @ 11.5506
12.04/12.21 c GLOBAL bounds - >= -109612 @ 11.5864
12.54/12.76 c #Conflicts: 4000 | #Constraints: 34575
12.54/12.76 c GLOBAL bounds - >= -109612 @ 12.1282
12.64/12.80 c GLOBAL bounds - >= -109612 @ 12.1664
12.64/12.85 c GLOBAL bounds - >= -109612 @ 12.2083
12.74/12.91 c GLOBAL bounds - >= -109612 @ 12.2729
12.74/12.98 c GLOBAL bounds - >= -109612 @ 12.3427
13.04/13.25 c INPROCESSING
13.04/13.25 c GARBAGE COLLECT
13.04/13.25 c GLOBAL bounds - >= -109612 @ 12.6018
13.44/13.68 c GLOBAL bounds - >= -109612 @ 13.0223
13.53/13.70 c GLOBAL bounds - >= -109612 @ 13.0364
13.53/13.75 c GLOBAL bounds - >= -109612 @ 13.0895
13.53/13.78 c GLOBAL bounds - >= -109612 @ 13.1205
13.63/13.82 c GLOBAL bounds - >= -109612 @ 13.1578
13.63/13.84 c GLOBAL bounds - >= -109612 @ 13.1816
13.63/13.87 c GLOBAL bounds - >= -109612 @ 13.2018
13.63/13.89 c GLOBAL bounds - >= -109612 @ 13.22
14.73/14.99 c #Conflicts: 5000 | #Constraints: 33999
14.73/14.99 c GLOBAL bounds - >= -109612 @ 14.3019
14.85/15.04 c GLOBAL bounds - >= -109612 @ 14.3488
14.85/15.08 c GLOBAL bounds - >= -109612 @ 14.3845
14.85/15.10 c GLOBAL bounds - >= -109612 @ 14.4118
14.95/15.13 c GLOBAL bounds - >= -109612 @ 14.444
15.03/15.21 c GLOBAL bounds - >= -109612 @ 14.5154
15.53/15.71 c GLOBAL bounds - >= -109612 @ 15.0038
16.13/16.32 c GLOBAL bounds - >= -109612 @ 15.6086
17.33/17.57 c #Conflicts: 6000 | #Constraints: 35015
17.33/17.57 c GLOBAL bounds - >= -109612 @ 16.8243
17.62/17.85 c GLOBAL bounds - >= -109612 @ 17.1053
19.22/19.43 c INPROCESSING
19.22/19.43 c GARBAGE COLLECT
19.22/19.43 c GLOBAL bounds - >= -109612 @ 18.6637
19.22/19.45 c GLOBAL bounds - >= -109612 @ 18.6792
19.22/19.46 c GLOBAL bounds - >= -109612 @ 18.6941
19.22/19.49 c GLOBAL bounds - >= -109612 @ 18.7205
19.42/19.61 c GLOBAL bounds - >= -109612 @ 18.8397
21.71/21.94 c #Conflicts: 7000 | #Constraints: 34037
21.71/21.94 c #Conflicts: 8000 | #Constraints: 35037
21.71/21.94 c GLOBAL bounds - >= -109612 @ 21.1245
21.71/21.97 c GLOBAL bounds - >= -109612 @ 21.1587
21.71/22.01 c GLOBAL bounds - >= -109612 @ 21.19
23.60/23.83 c #Conflicts: 9000 | #Constraints: 36043
23.60/23.83 c INPROCESSING
23.60/23.83 c GARBAGE COLLECT
23.60/23.83 c GLOBAL bounds - >= -109612 @ 22.9751
23.71/23.94 c GLOBAL bounds - >= -109612 @ 23.0804
24.40/24.67 c GLOBAL bounds - >= -109612 @ 23.8084
24.50/24.76 c GLOBAL bounds - >= -109612 @ 23.8902
24.50/24.79 c GLOBAL bounds - >= -109612 @ 23.9273
24.92/25.19 c #Conflicts: 10000 | #Constraints: 34750
24.92/25.19 c GLOBAL bounds - >= -109612 @ 24.3151
31.18/31.40 c #Conflicts: 11000 | #Constraints: 35752
31.18/31.40 c #Conflicts: 12000 | #Constraints: 36752
31.18/31.40 c INPROCESSING
31.18/31.40 c GARBAGE COLLECT
31.18/31.40 c #Conflicts: 13000 | #Constraints: 35201
31.18/31.40 c GLOBAL bounds - >= -109612 @ 30.432
31.29/31.53 c GLOBAL bounds - >= -109612 @ 30.5615
31.29/31.57 c GLOBAL bounds - >= -109612 @ 30.5964
31.39/31.60 c GLOBAL bounds - >= -109612 @ 30.6296
31.39/31.64 c GLOBAL bounds - >= -109612 @ 30.6685
31.39/31.67 c GLOBAL bounds - >= -109612 @ 30.7007
31.48/31.71 c GLOBAL bounds - >= -109612 @ 30.7385
31.48/31.76 c GLOBAL bounds - >= -109612 @ 30.7943
31.58/31.86 c GLOBAL bounds - >= -109612 @ 30.8875
32.08/32.30 c GLOBAL bounds - >= -109612 @ 31.3181
32.28/32.52 c GLOBAL bounds - >= -109612 @ 31.5321
32.28/32.58 c GLOBAL bounds - >= -109612 @ 31.5948
34.27/34.58 c #Conflicts: 14000 | #Constraints: 36225
34.27/34.58 c GLOBAL bounds - >= -109612 @ 33.5625
34.89/35.17 c GLOBAL bounds - >= -109612 @ 34.1429
34.97/35.24 c GLOBAL bounds - >= -109612 @ 34.2032
35.47/35.71 c GLOBAL bounds - >= -109612 @ 34.6632
37.37/37.69 c #Conflicts: 15000 | #Constraints: 37233
37.37/37.69 c INPROCESSING
37.37/37.69 c GARBAGE COLLECT
37.37/37.69 c GLOBAL bounds - >= -109612 @ 36.6102
37.46/37.72 c GLOBAL bounds - >= -109612 @ 36.6323
38.16/38.48 c #Conflicts: 16000 | #Constraints: 35457
38.16/38.48 c GLOBAL bounds - >= -109612 @ 37.378
38.96/39.24 c GLOBAL bounds - >= -109612 @ 38.1286
38.96/39.28 c GLOBAL bounds - >= -109612 @ 38.1692
39.06/39.32 c GLOBAL bounds - >= -109612 @ 38.2043
39.06/39.35 c GLOBAL bounds - >= -109612 @ 38.2395
39.06/39.39 c GLOBAL bounds - >= -109612 @ 38.2742
39.16/39.42 c GLOBAL bounds - >= -109612 @ 38.3084
39.16/39.47 c GLOBAL bounds - >= -109612 @ 38.3561
39.26/39.52 c GLOBAL bounds - >= -109612 @ 38.4066
39.26/39.56 c GLOBAL bounds - >= -109612 @ 38.4446
39.36/39.60 c GLOBAL bounds - >= -109612 @ 38.4806
39.36/39.64 c GLOBAL bounds - >= -109612 @ 38.5216
39.36/39.69 c GLOBAL bounds - >= -109612 @ 38.5714
39.46/39.73 c GLOBAL bounds - >= -109612 @ 38.617
39.46/39.77 c GLOBAL bounds - >= -109612 @ 38.6544
39.56/39.81 c GLOBAL bounds - >= -109612 @ 38.6949
39.65/39.94 c GLOBAL bounds - >= -109612 @ 38.816
39.65/39.98 c GLOBAL bounds - >= -109612 @ 38.855
39.77/40.10 c #Conflicts: 17000 | #Constraints: 36493
39.77/40.10 c GLOBAL bounds - >= -109612 @ 38.9808
39.96/40.28 c GLOBAL bounds - >= -109612 @ 39.151
41.25/41.56 c GLOBAL bounds - >= -109612 @ 40.4209
41.35/41.61 c GLOBAL bounds - >= -109612 @ 40.465
41.45/41.78 c GLOBAL bounds - >= -109612 @ 40.63
41.55/41.84 c GLOBAL bounds - >= -109612 @ 40.6969
41.86/42.13 c GLOBAL bounds - >= -109612 @ 40.9719
42.05/42.34 c GLOBAL bounds - >= -109612 @ 41.1844
42.86/43.14 c #Conflicts: 18000 | #Constraints: 37509
42.86/43.14 c GLOBAL bounds - >= -109612 @ 41.9669
42.94/43.22 c GLOBAL bounds - >= -109612 @ 42.0423
43.64/43.99 c INPROCESSING
43.64/43.99 c GARBAGE COLLECT
43.64/43.99 c GLOBAL bounds - >= -109612 @ 42.8063
43.76/44.11 c GLOBAL bounds - >= -109612 @ 42.9208
44.05/44.33 c GLOBAL bounds - >= -109612 @ 43.1375
44.34/44.64 c GLOBAL bounds - >= -109612 @ 43.4449
44.34/44.66 c GLOBAL bounds - >= -109612 @ 43.4627
44.54/44.80 c GLOBAL bounds - >= -109612 @ 43.5997
44.54/44.81 c GLOBAL bounds - >= -109612 @ 43.6155
44.54/44.85 c GLOBAL bounds - >= -109612 @ 43.652
44.64/44.90 c GLOBAL bounds - >= -109612 @ 43.7034
44.94/45.21 c #Conflicts: 19000 | #Constraints: 35555
44.94/45.21 c GLOBAL bounds - >= -109612 @ 44.0088
44.94/45.23 c GLOBAL bounds - >= -109612 @ 44.0253
45.75/46.04 c GLOBAL bounds - >= -109612 @ 44.8117
45.75/46.10 c GLOBAL bounds - >= -109612 @ 44.8679
45.85/46.13 c GLOBAL bounds - >= -109612 @ 44.9015
45.85/46.18 c GLOBAL bounds - >= -109612 @ 44.9487
46.03/46.30 c GLOBAL bounds - >= -109612 @ 45.074
46.03/46.34 c GLOBAL bounds - >= -109612 @ 45.1078
46.03/46.36 c GLOBAL bounds - >= -109612 @ 45.1313
46.33/46.65 c GLOBAL bounds - >= -109612 @ 45.4062
47.23/47.57 c #Conflicts: 20000 | #Constraints: 36575
47.23/47.57 c GLOBAL bounds - >= -109612 @ 46.313
48.33/48.68 c GLOBAL bounds - >= -109612 @ 47.4033
50.03/50.39 c #Conflicts: 21000 | #Constraints: 37579
50.03/50.39 c GLOBAL bounds - >= -109612 @ 49.0923
50.33/50.67 c GLOBAL bounds - >= -109612 @ 49.3693
50.83/51.19 c INPROCESSING
50.83/51.19 c GARBAGE COLLECT
50.83/51.19 c GLOBAL bounds - >= -109612 @ 49.8807
50.92/51.21 c GLOBAL bounds - >= -109612 @ 49.9033
51.03/51.32 c GLOBAL bounds - >= -109612 @ 50.0134
51.22/51.51 c GLOBAL bounds - >= -109612 @ 50.1904
51.42/51.72 c GLOBAL bounds - >= -109612 @ 50.3962
51.52/51.85 c GLOBAL bounds - >= -109612 @ 50.5204
51.74/52.01 c GLOBAL bounds - >= -109612 @ 50.6836
52.32/52.67 c #Conflicts: 22000 | #Constraints: 35400
52.32/52.67 c GLOBAL bounds - >= -109612 @ 51.3186
52.83/53.11 c GLOBAL bounds - >= -109612 @ 51.7535
52.83/53.14 c GLOBAL bounds - >= -109612 @ 51.7809
52.83/53.16 c GLOBAL bounds - >= -109612 @ 51.8039
52.92/53.23 c GLOBAL bounds - >= -109612 @ 51.8744
53.01/53.30 c GLOBAL bounds - >= -109612 @ 51.9415
53.32/53.61 c GLOBAL bounds - >= -109612 @ 52.2387
65.57/65.95 c #Conflicts: 23000 | #Constraints: 36414
65.57/65.95 c #Conflicts: 24000 | #Constraints: 37414
65.57/65.95 c #Conflicts: 25000 | #Constraints: 38414
65.57/65.95 c INPROCESSING
65.57/65.95 c GARBAGE COLLECT
65.57/65.95 c #Conflicts: 26000 | #Constraints: 36013
65.57/65.95 c #Conflicts: 27000 | #Constraints: 37013
65.57/65.95 c GLOBAL bounds - >= -109612 @ 64.3686
65.57/66.00 c GLOBAL bounds - >= -109612 @ 64.4186
65.68/66.08 c GLOBAL bounds - >= -109612 @ 64.4915
66.17/66.50 c GLOBAL bounds - >= -109612 @ 64.9065
67.07/67.41 c GLOBAL bounds - >= -109612 @ 65.8031
67.27/67.64 c GLOBAL bounds - >= -109612 @ 66.0339
68.17/68.58 c #Conflicts: 28000 | #Constraints: 38025
68.17/68.58 c GLOBAL bounds - >= -109612 @ 66.9599
69.57/69.99 c GLOBAL bounds - >= -109612 @ 68.3397
69.67/70.07 c GLOBAL bounds - >= -109612 @ 68.4161
69.77/70.14 c GLOBAL bounds - >= -109612 @ 68.4819
69.86/70.20 c GLOBAL bounds - >= -109612 @ 68.55
70.06/70.41 c GLOBAL bounds - >= -109612 @ 68.7503
70.06/70.49 c GLOBAL bounds - >= -109612 @ 68.8274
70.16/70.57 c GLOBAL bounds - >= -109612 @ 68.9116
70.26/70.64 c GLOBAL bounds - >= -109612 @ 68.9755
70.46/70.83 c GLOBAL bounds - >= -109612 @ 69.161
74.76/75.15 c #Conflicts: 29000 | #Constraints: 39045
74.76/75.15 c INPROCESSING
74.76/75.15 c GARBAGE COLLECT
74.76/75.15 c #Conflicts: 30000 | #Constraints: 36440
74.76/75.15 c GLOBAL bounds - >= -109612 @ 73.395
74.76/75.18 c GLOBAL bounds - >= -109612 @ 73.4301
74.85/75.25 c #Conflicts: 31000 | #Constraints: 37444
74.85/75.25 c GLOBAL bounds - >= -109612 @ 73.4979
74.95/75.31 c GLOBAL bounds - >= -109612 @ 73.5594
74.95/75.35 c GLOBAL bounds - >= -109612 @ 73.5925
75.45/75.82 c GLOBAL bounds - >= -109612 @ 74.0652
76.76/77.19 c GLOBAL bounds - >= -109612 @ 75.4036
76.94/77.32 c GLOBAL bounds - >= -109612 @ 75.5395
76.94/77.39 c GLOBAL bounds - >= -109612 @ 75.6084
77.14/77.50 c GLOBAL bounds - >= -109612 @ 75.7127
77.14/77.56 c GLOBAL bounds - >= -109612 @ 75.7728
77.24/77.60 c GLOBAL bounds - >= -109612 @ 75.8172
80.53/81.01 c #Conflicts: 32000 | #Constraints: 38464
80.53/81.01 c #Conflicts: 33000 | #Constraints: 39464
80.53/81.01 c INPROCESSING
80.53/81.01 c GARBAGE COLLECT
80.53/81.01 c GLOBAL bounds - >= -109612 @ 79.1765
81.13/81.52 c GLOBAL bounds - >= -109612 @ 79.6771
81.43/81.87 c GLOBAL bounds - >= -109612 @ 80.0213
81.43/81.89 c GLOBAL bounds - >= -109612 @ 80.0376
82.92/83.31 c #Conflicts: 34000 | #Constraints: 36675
82.92/83.31 c GLOBAL bounds - >= -109612 @ 81.4313
85.12/85.56 c #Conflicts: 35000 | #Constraints: 37677
85.12/85.56 c GLOBAL bounds - >= -109612 @ 83.6428
85.52/85.95 c GLOBAL bounds - >= -109612 @ 84.0184
85.52/85.99 c GLOBAL bounds - >= -109612 @ 84.059
90.20/90.64 c #Conflicts: 36000 | #Constraints: 38683
90.20/90.64 c #Conflicts: 37000 | #Constraints: 39683
90.20/90.64 c INPROCESSING
90.20/90.64 c GARBAGE COLLECT
90.20/90.64 c GLOBAL bounds - >= -109612 @ 88.6339
101.47/101.96 c #Conflicts: 38000 | #Constraints: 36687
101.47/101.96 c #Conflicts: 39000 | #Constraints: 37687
101.47/101.96 c #Conflicts: 40000 | #Constraints: 38687
101.47/101.96 c #Conflicts: 41000 | #Constraints: 39687
101.47/101.96 c INPROCESSING
101.47/101.96 c GARBAGE COLLECT
101.47/101.96 c GLOBAL bounds - >= -109612 @ 99.7868
101.47/101.97 c GLOBAL bounds - >= -109612 @ 99.8036
103.46/103.90 c #Conflicts: 42000 | #Constraints: 36492
103.46/103.90 c #Conflicts: 43000 | #Constraints: 37492
103.46/103.90 c GLOBAL bounds - >= -109612 @ 101.694
103.46/103.95 c GLOBAL bounds - >= -109612 @ 101.742
103.57/104.04 c GLOBAL bounds - >= -109612 @ 101.832
103.57/104.09 c GLOBAL bounds - >= -109612 @ 101.876
103.67/104.13 c GLOBAL bounds - >= -109612 @ 101.917
103.67/104.17 c GLOBAL bounds - >= -109612 @ 101.956
103.75/104.22 c GLOBAL bounds - >= -109612 @ 102.014
103.75/104.27 c GLOBAL bounds - >= -109612 @ 102.06
104.06/104.53 c GLOBAL bounds - >= -109612 @ 102.313
104.16/104.60 c GLOBAL bounds - >= -109612 @ 102.379
104.16/104.65 c GLOBAL bounds - >= -109612 @ 102.434
104.26/104.70 c GLOBAL bounds - >= -109612 @ 102.481
106.66/107.13 c #Conflicts: 44000 | #Constraints: 38516
106.66/107.13 c GLOBAL bounds - >= -109612 @ 104.868
106.75/107.22 c GLOBAL bounds - >= -109612 @ 104.952
106.75/107.30 c GLOBAL bounds - >= -109612 @ 105.03
106.85/107.39 c GLOBAL bounds - >= -109612 @ 105.121
106.95/107.46 c GLOBAL bounds - >= -109612 @ 105.197
107.05/107.55 c GLOBAL bounds - >= -109612 @ 105.285
107.24/107.71 c #Conflicts: 45000 | #Constraints: 39528
107.24/107.71 c GLOBAL bounds - >= -109612 @ 105.435
107.35/107.80 c GLOBAL bounds - >= -109612 @ 105.532
107.35/107.88 c GLOBAL bounds - >= -109612 @ 105.611
107.45/107.96 c GLOBAL bounds - >= -109612 @ 105.688
107.66/108.12 c GLOBAL bounds - >= -109612 @ 105.844
107.85/108.35 c GLOBAL bounds - >= -109612 @ 106.075
107.95/108.44 c GLOBAL bounds - >= -109612 @ 106.161
108.14/108.60 c GLOBAL bounds - >= -109612 @ 106.314
108.25/108.80 c GLOBAL bounds - >= -109612 @ 106.51
108.35/108.88 c GLOBAL bounds - >= -109612 @ 106.591
109.75/110.25 c GLOBAL bounds - >= -109612 @ 107.946
109.85/110.32 c GLOBAL bounds - >= -109612 @ 108.02
109.94/110.40 c GLOBAL bounds - >= -109612 @ 108.105
111.13/111.62 c GLOBAL bounds - >= -109612 @ 109.298
111.34/111.82 c GLOBAL bounds - >= -109612 @ 109.492
112.33/112.88 c #Conflicts: 46000 | #Constraints: 40558
112.33/112.88 c GLOBAL bounds - >= -109612 @ 110.541
113.83/114.31 c INPROCESSING
113.83/114.31 c GARBAGE COLLECT
113.83/114.31 c GLOBAL bounds - >= -109612 @ 111.942
114.43/114.94 c GLOBAL bounds - >= -109612 @ 112.557
114.54/115.03 c GLOBAL bounds - >= -109612 @ 112.651
114.83/115.32 c GLOBAL bounds - >= -109612 @ 112.936
114.83/115.34 c GLOBAL bounds - >= -109612 @ 112.957
114.93/115.45 c GLOBAL bounds - >= -109612 @ 113.056
115.54/116.03 c #Conflicts: 47000 | #Constraints: 37189
115.54/116.03 c GLOBAL bounds - >= -109612 @ 113.63
115.54/116.05 c GLOBAL bounds - >= -109612 @ 113.656
115.54/116.10 c GLOBAL bounds - >= -109612 @ 113.696
115.64/116.16 c GLOBAL bounds - >= -109612 @ 113.765
115.64/116.19 c GLOBAL bounds - >= -109612 @ 113.79
115.72/116.23 c GLOBAL bounds - >= -109612 @ 113.822
116.02/116.50 c GLOBAL bounds - >= -109612 @ 114.09
116.32/116.84 c GLOBAL bounds - >= -109612 @ 114.428
119.01/119.53 c #Conflicts: 48000 | #Constraints: 38205
119.01/119.53 c GLOBAL bounds - >= -109612 @ 117.065
119.01/119.58 c GLOBAL bounds - >= -109612 @ 117.115
119.11/119.67 c GLOBAL bounds - >= -109612 @ 117.206
119.22/119.73 c GLOBAL bounds - >= -109612 @ 117.263
120.20/120.70 c #Conflicts: 49000 | #Constraints: 39213
120.20/120.70 c GLOBAL bounds - >= -109612 @ 118.22
120.40/120.94 c GLOBAL bounds - >= -109612 @ 118.455
128.88/129.45 c #Conflicts: 50000 | #Constraints: 40217
128.88/129.45 c #Conflicts: 51000 | #Constraints: 41217
128.88/129.45 c INPROCESSING
128.88/129.45 c GARBAGE COLLECT
128.88/129.45 c #Conflicts: 52000 | #Constraints: 37603
128.88/129.45 c #Conflicts: 53000 | #Constraints: 38603
128.88/129.45 c GLOBAL bounds - >= -109612 @ 126.842
128.98/129.51 c GLOBAL bounds - >= -109612 @ 126.899
128.98/129.59 c GLOBAL bounds - >= -109612 @ 126.979
129.08/129.64 c GLOBAL bounds - >= -109612 @ 127.023
129.08/129.69 c GLOBAL bounds - >= -109612 @ 127.071
129.18/129.73 c GLOBAL bounds - >= -109612 @ 127.115
129.28/129.80 c GLOBAL bounds - >= -109612 @ 127.185
129.38/129.97 c GLOBAL bounds - >= -109612 @ 127.349
129.68/130.22 c GLOBAL bounds - >= -109612 @ 127.6
129.68/130.27 c GLOBAL bounds - >= -109612 @ 127.647
129.78/130.36 c GLOBAL bounds - >= -109612 @ 127.737
129.88/130.42 c GLOBAL bounds - >= -109612 @ 127.794
129.97/130.57 c GLOBAL bounds - >= -109612 @ 127.942
130.08/130.66 c GLOBAL bounds - >= -109612 @ 128.03
130.18/130.73 c GLOBAL bounds - >= -109612 @ 128.099
130.78/131.36 c GLOBAL bounds - >= -109612 @ 128.717
137.66/138.23 c #Conflicts: 54000 | #Constraints: 39635
137.66/138.23 c #Conflicts: 55000 | #Constraints: 40635
137.66/138.23 c #Conflicts: 56000 | #Constraints: 41635
137.66/138.23 c INPROCESSING
137.66/138.23 c GARBAGE COLLECT
137.66/138.23 c GLOBAL bounds - >= -109612 @ 135.481
138.56/139.17 c GLOBAL bounds - >= -109612 @ 136.397
139.25/139.83 c #Conflicts: 57000 | #Constraints: 37833
139.25/139.83 c GLOBAL bounds - >= -109612 @ 137.038
142.45/143.01 c #Conflicts: 58000 | #Constraints: 38835
142.45/143.01 c GLOBAL bounds - >= -109612 @ 140.171
142.45/143.06 c GLOBAL bounds - >= -109612 @ 140.22
163.68/164.31 c #Conflicts: 59000 | #Constraints: 39839
163.68/164.31 c #Conflicts: 60000 | #Constraints: 40839
163.68/164.31 c #Conflicts: 61000 | #Constraints: 41839
163.68/164.31 c INPROCESSING
163.68/164.31 c GARBAGE COLLECT
163.68/164.31 c #Conflicts: 62000 | #Constraints: 37836
163.68/164.31 c #Conflicts: 63000 | #Constraints: 38836
163.68/164.31 c #Conflicts: 64000 | #Constraints: 39836
163.68/164.31 c #Conflicts: 65000 | #Constraints: 40836
163.68/164.31 c #Conflicts: 66000 | #Constraints: 41836
163.68/164.31 c GLOBAL bounds - >= -109612 @ 161.19
167.38/168.01 c INPROCESSING
167.38/168.01 c GARBAGE COLLECT
167.38/168.01 c #Conflicts: 67000 | #Constraints: 37635
167.38/168.01 c GLOBAL bounds - >= -109612 @ 164.833
167.38/168.04 c GLOBAL bounds - >= -109612 @ 164.863
167.66/168.31 c GLOBAL bounds - >= -109612 @ 165.126
167.66/168.36 c GLOBAL bounds - >= -109612 @ 165.176
168.06/168.72 c GLOBAL bounds - >= -109612 @ 165.533
168.26/168.99 c GLOBAL bounds - >= -109612 @ 165.797
168.37/169.02 c GLOBAL bounds - >= -109612 @ 165.829
168.37/169.05 c GLOBAL bounds - >= -109612 @ 165.865
168.37/169.09 c GLOBAL bounds - >= -109612 @ 165.902
226.58/227.49 c #Conflicts: 68000 | #Constraints: 38653
226.58/227.49 c #Conflicts: 69000 | #Constraints: 39653
226.58/227.49 c #Conflicts: 70000 | #Constraints: 40653
226.58/227.49 c #Conflicts: 71000 | #Constraints: 41653
226.58/227.49 c #Conflicts: 72000 | #Constraints: 42653
226.58/227.49 c INPROCESSING
226.58/227.49 c GARBAGE COLLECT
226.58/227.49 c #Conflicts: 73000 | #Constraints: 38256
226.58/227.49 c #Conflicts: 74000 | #Constraints: 39256
226.58/227.49 c #Conflicts: 75000 | #Constraints: 40256
226.58/227.49 c #Conflicts: 76000 | #Constraints: 41256
226.58/227.49 c #Conflicts: 77000 | #Constraints: 42256
226.58/227.49 c #Conflicts: 78000 | #Constraints: 43256
226.58/227.49 c INPROCESSING
226.58/227.49 c GARBAGE COLLECT
226.58/227.49 c #Conflicts: 79000 | #Constraints: 38658
226.58/227.49 c #Conflicts: 80000 | #Constraints: 39658
226.58/227.49 c #Conflicts: 81000 | #Constraints: 40658
226.58/227.49 c #Conflicts: 82000 | #Constraints: 41658
226.58/227.49 c #Conflicts: 83000 | #Constraints: 42658
226.58/227.49 c #Conflicts: 84000 | #Constraints: 43658
226.58/227.49 c INPROCESSING
226.58/227.49 c GARBAGE COLLECT
226.58/227.49 c #Conflicts: 85000 | #Constraints: 38856
226.58/227.49 c #Conflicts: 86000 | #Constraints: 39856
226.58/227.49 c #Conflicts: 87000 | #Constraints: 40856
226.58/227.49 c #Conflicts: 88000 | #Constraints: 41856
226.58/227.49 c #Conflicts: 89000 | #Constraints: 42856
226.58/227.49 c #Conflicts: 90000 | #Constraints: 43856
226.58/227.49 c INPROCESSING
226.58/227.49 c GARBAGE COLLECT
226.58/227.49 c #Conflicts: 91000 | #Constraints: 38856
226.58/227.49 c GLOBAL bounds - >= -109612 @ 223.524
226.78/227.60 c GLOBAL bounds - >= -109612 @ 223.637
226.78/227.68 c GLOBAL bounds - >= -109612 @ 223.715
226.88/227.73 c GLOBAL bounds - >= -109612 @ 223.764
227.29/228.12 c GLOBAL bounds - >= -109612 @ 224.148
294.37/295.45 c #Conflicts: 92000 | #Constraints: 39866
294.37/295.45 c #Conflicts: 93000 | #Constraints: 40866
294.37/295.45 c #Conflicts: 94000 | #Constraints: 41866
294.37/295.45 c #Conflicts: 95000 | #Constraints: 42866
294.37/295.45 c #Conflicts: 96000 | #Constraints: 43866
294.37/295.45 c INPROCESSING
294.37/295.45 c GARBAGE COLLECT
294.37/295.45 c #Conflicts: 97000 | #Constraints: 38667
294.37/295.45 c #Conflicts: 98000 | #Constraints: 39667
294.37/295.45 c #Conflicts: 99000 | #Constraints: 40667
294.37/295.45 c #Conflicts: 100000 | #Constraints: 41667
294.37/295.45 c #Conflicts: 101000 | #Constraints: 42667
294.37/295.45 c #Conflicts: 102000 | #Constraints: 43667
294.37/295.45 c #Conflicts: 103000 | #Constraints: 44667
294.37/295.45 c INPROCESSING
294.37/295.45 c GARBAGE COLLECT
294.37/295.45 c #Conflicts: 104000 | #Constraints: 39267
294.37/295.45 c #Conflicts: 105000 | #Constraints: 40267
294.37/295.45 c #Conflicts: 106000 | #Constraints: 41267
294.37/295.45 c #Conflicts: 107000 | #Constraints: 42267
294.37/295.45 c #Conflicts: 108000 | #Constraints: 43267
294.37/295.45 c #Conflicts: 109000 | #Constraints: 44267
294.37/295.45 c #Conflicts: 110000 | #Constraints: 45267
294.37/295.45 c INPROCESSING
294.37/295.45 c GARBAGE COLLECT
294.37/295.45 c #Conflicts: 111000 | #Constraints: 39665
294.37/295.45 c #Conflicts: 112000 | #Constraints: 40665
294.37/295.45 c #Conflicts: 113000 | #Constraints: 41665
294.37/295.45 c GLOBAL bounds - >= -109612 @ 290.688
310.04/311.19 c #Conflicts: 114000 | #Constraints: 42667
310.04/311.19 c #Conflicts: 115000 | #Constraints: 43667
310.04/311.19 c #Conflicts: 116000 | #Constraints: 44667
310.04/311.19 c #Conflicts: 117000 | #Constraints: 45667
310.04/311.19 c INPROCESSING
310.04/311.19 c GARBAGE COLLECT
310.04/311.19 c #Conflicts: 118000 | #Constraints: 39875
310.04/311.19 c GLOBAL bounds - >= -109612 @ 306.236
368.04/369.33 c #Conflicts: 119000 | #Constraints: 40877
368.04/369.33 c #Conflicts: 120000 | #Constraints: 41877
368.04/369.33 c #Conflicts: 121000 | #Constraints: 42877
368.04/369.33 c #Conflicts: 122000 | #Constraints: 43877
368.04/369.33 c #Conflicts: 123000 | #Constraints: 44877
368.04/369.33 c #Conflicts: 124000 | #Constraints: 45877
368.04/369.33 c INPROCESSING
368.04/369.33 c GARBAGE COLLECT
368.04/369.33 c #Conflicts: 125000 | #Constraints: 39876
368.04/369.33 c #Conflicts: 126000 | #Constraints: 40876
368.04/369.33 c #Conflicts: 127000 | #Constraints: 41876
368.04/369.33 c #Conflicts: 128000 | #Constraints: 42876
368.04/369.33 c #Conflicts: 129000 | #Constraints: 43876
368.04/369.33 c #Conflicts: 130000 | #Constraints: 44876
368.04/369.33 c #Conflicts: 131000 | #Constraints: 45876
368.04/369.33 c INPROCESSING
368.04/369.33 c GARBAGE COLLECT
368.04/369.33 c #Conflicts: 132000 | #Constraints: 39677
368.04/369.33 c #Conflicts: 133000 | #Constraints: 40677
368.04/369.33 c #Conflicts: 134000 | #Constraints: 41677
368.04/369.33 c #Conflicts: 135000 | #Constraints: 42677
368.04/369.33 c #Conflicts: 136000 | #Constraints: 43677
368.04/369.33 c #Conflicts: 137000 | #Constraints: 44677
368.04/369.33 c #Conflicts: 138000 | #Constraints: 45677
368.04/369.33 c #Conflicts: 139000 | #Constraints: 46677
368.04/369.33 c INPROCESSING
368.04/369.33 c GARBAGE COLLECT
368.04/369.33 c #Conflicts: 140000 | #Constraints: 40272
368.04/369.33 c #Conflicts: 141000 | #Constraints: 41272
368.04/369.33 c GLOBAL bounds - >= -109612 @ 363.749
368.14/369.45 c GLOBAL bounds - >= -109612 @ 363.866
368.25/369.53 c GLOBAL bounds - >= -109612 @ 363.94
390.88/392.28 c #Conflicts: 142000 | #Constraints: 42278
390.88/392.28 c #Conflicts: 143000 | #Constraints: 43278
390.88/392.28 c #Conflicts: 144000 | #Constraints: 44278
390.88/392.28 c #Conflicts: 145000 | #Constraints: 45278
390.88/392.28 c #Conflicts: 146000 | #Constraints: 46278
390.88/392.28 c #Conflicts: 147000 | #Constraints: 47278
390.88/392.28 c INPROCESSING
390.88/392.28 c GARBAGE COLLECT
390.88/392.28 c #Conflicts: 148000 | #Constraints: 40676
390.88/392.28 c #Conflicts: 149000 | #Constraints: 41676
390.88/392.28 c #Conflicts: 150000 | #Constraints: 42676
390.88/392.28 c #Conflicts: 151000 | #Constraints: 43676
390.88/392.28 c GLOBAL bounds - >= -109612 @ 386.409
393.78/395.16 c GLOBAL bounds - >= -109612 @ 389.249
394.36/395.78 c #Conflicts: 152000 | #Constraints: 44680
394.36/395.78 c GLOBAL bounds - >= -109612 @ 389.869
394.56/395.92 c GLOBAL bounds - >= -109612 @ 390.005
394.78/396.11 c GLOBAL bounds - >= -109612 @ 390.197
400.05/401.41 c GLOBAL bounds - >= -109612 @ 395.455
406.75/408.13 c #Conflicts: 153000 | #Constraints: 45688
406.75/408.13 c #Conflicts: 154000 | #Constraints: 46688
406.75/408.13 c GLOBAL bounds - >= -109612 @ 402.096
406.83/408.30 c GLOBAL bounds - >= -109612 @ 402.263
407.03/408.46 c GLOBAL bounds - >= -109612 @ 402.427
407.23/408.63 c GLOBAL bounds - >= -109612 @ 402.591
408.92/410.33 c #Conflicts: 155000 | #Constraints: 47696
408.92/410.33 c INPROCESSING
408.92/410.33 c GARBAGE COLLECT
408.92/410.33 c GLOBAL bounds - >= -109612 @ 404.269
409.12/410.50 c GLOBAL bounds - >= -109612 @ 404.441
409.12/410.58 c GLOBAL bounds - >= -109612 @ 404.514
427.37/428.80 c #Conflicts: 156000 | #Constraints: 40902
427.37/428.80 c #Conflicts: 157000 | #Constraints: 41902
427.37/428.80 c #Conflicts: 158000 | #Constraints: 42902
427.37/428.80 c #Conflicts: 159000 | #Constraints: 43902
427.37/428.80 c #Conflicts: 160000 | #Constraints: 44902
427.37/428.80 c #Conflicts: 161000 | #Constraints: 45902
427.37/428.80 c GLOBAL bounds - >= -109612 @ 422.493
427.47/428.97 c GLOBAL bounds - >= -109612 @ 422.661
427.76/429.26 c GLOBAL bounds - >= -109612 @ 422.941
428.96/430.40 c GLOBAL bounds - >= -109612 @ 424.075
429.06/430.54 c GLOBAL bounds - >= -109612 @ 424.22
429.26/430.70 c GLOBAL bounds - >= -109612 @ 424.373
452.69/454.27 c #Conflicts: 162000 | #Constraints: 46914
452.69/454.27 c #Conflicts: 163000 | #Constraints: 47914
452.69/454.27 c INPROCESSING
452.69/454.27 c GARBAGE COLLECT
452.69/454.27 c #Conflicts: 164000 | #Constraints: 40909
452.69/454.27 c #Conflicts: 165000 | #Constraints: 41909
452.69/454.27 c #Conflicts: 166000 | #Constraints: 42909
452.69/454.27 c #Conflicts: 167000 | #Constraints: 43909
452.69/454.27 c #Conflicts: 168000 | #Constraints: 44909
452.69/454.27 c #Conflicts: 169000 | #Constraints: 45909
452.69/454.27 c #Conflicts: 170000 | #Constraints: 46909
452.69/454.27 c GLOBAL bounds - >= -109612 @ 447.698
453.09/454.69 c GLOBAL bounds - >= -109612 @ 448.113
455.88/457.44 c GLOBAL bounds - >= -109612 @ 450.84
455.98/457.59 c GLOBAL bounds - >= -109612 @ 450.987
461.86/463.42 c #Conflicts: 171000 | #Constraints: 47917
461.86/463.42 c GLOBAL bounds - >= -109612 @ 456.769
461.96/463.58 c GLOBAL bounds - >= -109612 @ 456.927
462.16/463.73 c GLOBAL bounds - >= -109612 @ 457.076
462.26/463.88 c GLOBAL bounds - >= -109612 @ 457.224
462.66/464.27 c GLOBAL bounds - >= -109612 @ 457.616
462.86/464.44 c GLOBAL bounds - >= -109612 @ 457.78
463.05/464.69 c GLOBAL bounds - >= -109612 @ 458.032
463.25/464.84 c GLOBAL bounds - >= -109612 @ 458.181
463.35/464.99 c GLOBAL bounds - >= -109612 @ 458.328
465.35/467.00 c INPROCESSING
465.35/467.00 c GARBAGE COLLECT
465.35/467.00 c #Conflicts: 172000 | #Constraints: 40749
465.35/467.00 c GLOBAL bounds - >= -109612 @ 460.307
465.46/467.03 c GLOBAL bounds - >= -109612 @ 460.334
465.46/467.07 c GLOBAL bounds - >= -109612 @ 460.371
467.56/469.13 c #Conflicts: 173000 | #Constraints: 41755
467.56/469.13 c GLOBAL bounds - >= -109612 @ 462.387
467.64/469.24 c GLOBAL bounds - >= -109612 @ 462.493
467.64/469.29 c GLOBAL bounds - >= -109612 @ 462.541
467.74/469.33 c GLOBAL bounds - >= -109612 @ 462.587
469.83/471.45 c #Conflicts: 174000 | #Constraints: 42763
469.83/471.45 c GLOBAL bounds - >= -109612 @ 464.673
470.03/471.63 c GLOBAL bounds - >= -109612 @ 464.846
476.43/478.04 c #Conflicts: 175000 | #Constraints: 43767
476.43/478.04 c #Conflicts: 176000 | #Constraints: 44767
476.43/478.04 c GLOBAL bounds - >= -109612 @ 471.179
476.62/478.28 c GLOBAL bounds - >= -109612 @ 471.415
477.71/479.38 c GLOBAL bounds - >= -109612 @ 472.511
478.71/480.31 c #Conflicts: 177000 | #Constraints: 45773
478.71/480.31 c GLOBAL bounds - >= -109612 @ 473.43
478.91/480.58 c GLOBAL bounds - >= -109612 @ 473.698
479.11/480.73 c GLOBAL bounds - >= -109612 @ 473.847
479.21/480.86 c GLOBAL bounds - >= -109612 @ 473.976
480.70/482.35 c GLOBAL bounds - >= -109612 @ 475.452
621.74/623.82 c #Conflicts: 178000 | #Constraints: 46783
621.74/623.82 c #Conflicts: 179000 | #Constraints: 47783
621.74/623.82 c #Conflicts: 180000 | #Constraints: 48783
621.74/623.82 c INPROCESSING
621.74/623.82 c GARBAGE COLLECT
621.74/623.82 c #Conflicts: 181000 | #Constraints: 41380
621.74/623.82 c #Conflicts: 182000 | #Constraints: 42380
621.74/623.82 c #Conflicts: 183000 | #Constraints: 43380
621.74/623.82 c #Conflicts: 184000 | #Constraints: 44380
621.74/623.82 c #Conflicts: 185000 | #Constraints: 45380
621.74/623.82 c #Conflicts: 186000 | #Constraints: 46380
621.74/623.82 c #Conflicts: 187000 | #Constraints: 47380
621.74/623.82 c #Conflicts: 188000 | #Constraints: 48380
621.74/623.82 c #Conflicts: 189000 | #Constraints: 49380
621.74/623.82 c INPROCESSING
621.74/623.82 c GARBAGE COLLECT
621.74/623.82 c #Conflicts: 190000 | #Constraints: 41781
621.74/623.82 c #Conflicts: 191000 | #Constraints: 42781
621.74/623.82 c #Conflicts: 192000 | #Constraints: 43781
621.74/623.82 c #Conflicts: 193000 | #Constraints: 44781
621.74/623.82 c #Conflicts: 194000 | #Constraints: 45781
621.74/623.82 c #Conflicts: 195000 | #Constraints: 46781
621.74/623.82 c #Conflicts: 196000 | #Constraints: 47781
621.74/623.82 c #Conflicts: 197000 | #Constraints: 48781
621.74/623.82 c #Conflicts: 198000 | #Constraints: 49781
621.74/623.82 c INPROCESSING
621.74/623.82 c GARBAGE COLLECT
621.74/623.82 c #Conflicts: 199000 | #Constraints: 41985
621.74/623.82 c #Conflicts: 200000 | #Constraints: 42985
621.74/623.82 c #Conflicts: 201000 | #Constraints: 43985
621.74/623.82 c #Conflicts: 202000 | #Constraints: 44985
621.74/623.82 c #Conflicts: 203000 | #Constraints: 45985
621.74/623.82 c #Conflicts: 204000 | #Constraints: 46985
621.74/623.82 c #Conflicts: 205000 | #Constraints: 47985
621.74/623.82 c #Conflicts: 206000 | #Constraints: 48985
621.74/623.82 c #Conflicts: 207000 | #Constraints: 49985
621.74/623.82 c INPROCESSING
621.74/623.82 c GARBAGE COLLECT
621.74/623.82 c #Conflicts: 208000 | #Constraints: 41984
621.74/623.82 c #Conflicts: 209000 | #Constraints: 42984
621.74/623.82 c #Conflicts: 210000 | #Constraints: 43984
621.74/623.82 c #Conflicts: 211000 | #Constraints: 44984
621.74/623.82 c #Conflicts: 212000 | #Constraints: 45984
621.74/623.82 c #Conflicts: 213000 | #Constraints: 46984
621.74/623.82 c #Conflicts: 214000 | #Constraints: 47984
621.74/623.82 c #Conflicts: 215000 | #Constraints: 48984
621.74/623.82 c #Conflicts: 216000 | #Constraints: 49984
621.74/623.82 c INPROCESSING
621.74/623.82 c GARBAGE COLLECT
621.74/623.82 c #Conflicts: 217000 | #Constraints: 41788
621.74/623.82 c #Conflicts: 218000 | #Constraints: 42788
621.74/623.82 c #Conflicts: 219000 | #Constraints: 43788
621.74/623.82 c #Conflicts: 220000 | #Constraints: 44788
621.74/623.82 c #Conflicts: 221000 | #Constraints: 45788
621.74/623.82 c #Conflicts: 222000 | #Constraints: 46788
621.74/623.82 c #Conflicts: 223000 | #Constraints: 47788
621.74/623.82 c #Conflicts: 224000 | #Constraints: 48788
621.74/623.82 c #Conflicts: 225000 | #Constraints: 49788
621.74/623.82 c #Conflicts: 226000 | #Constraints: 50788
621.74/623.82 c INPROCESSING
621.74/623.82 c GARBAGE COLLECT
621.74/623.82 c #Conflicts: 227000 | #Constraints: 42387
621.74/623.82 c #Conflicts: 228000 | #Constraints: 43387
621.74/623.82 c #Conflicts: 229000 | #Constraints: 44387
621.74/623.82 c #Conflicts: 230000 | #Constraints: 45387
621.74/623.82 c #Conflicts: 231000 | #Constraints: 46387
621.74/623.82 c #Conflicts: 232000 | #Constraints: 47387
621.74/623.82 c GLOBAL bounds - >= -109612 @ 615.2
623.34/625.44 c #Conflicts: 233000 | #Constraints: 48389
623.34/625.44 c GLOBAL bounds - >= -109612 @ 616.811
623.53/625.60 c GLOBAL bounds - >= -109612 @ 616.973
623.73/625.81 c GLOBAL bounds - >= -109612 @ 617.178
623.83/625.97 c GLOBAL bounds - >= -109612 @ 617.343
624.05/626.14 c GLOBAL bounds - >= -109612 @ 617.512
624.23/626.30 c GLOBAL bounds - >= -109612 @ 617.669
624.94/627.05 c GLOBAL bounds - >= -109612 @ 618.412
625.13/627.22 c GLOBAL bounds - >= -109612 @ 618.582
626.42/628.59 c GLOBAL bounds - >= -109612 @ 619.931
628.21/630.36 c GLOBAL bounds - >= -109612 @ 621.69
628.93/631.11 c #Conflicts: 234000 | #Constraints: 49409
628.93/631.11 c GLOBAL bounds - >= -109612 @ 622.432
629.12/631.28 c GLOBAL bounds - >= -109612 @ 622.603
630.51/632.62 c GLOBAL bounds - >= -109612 @ 623.936
630.61/632.79 c GLOBAL bounds - >= -109612 @ 624.105
631.40/633.50 c GLOBAL bounds - >= -109612 @ 624.811
632.80/634.91 c GLOBAL bounds - >= -109612 @ 626.212
643.36/645.59 c #Conflicts: 235000 | #Constraints: 50421
643.36/645.59 c #Conflicts: 236000 | #Constraints: 51421
643.36/645.59 c INPROCESSING
643.36/645.59 c GARBAGE COLLECT
643.36/645.59 c #Conflicts: 237000 | #Constraints: 42816
643.36/645.59 c GLOBAL bounds - >= -109612 @ 636.755
645.07/647.27 c #Conflicts: 238000 | #Constraints: 43818
645.07/647.27 c GLOBAL bounds - >= -109612 @ 638.412
645.26/647.41 c GLOBAL bounds - >= -109612 @ 638.548
648.74/650.91 c #Conflicts: 239000 | #Constraints: 44822
648.74/650.91 c GLOBAL bounds - >= -109612 @ 642.005
648.96/651.14 c GLOBAL bounds - >= -109612 @ 642.235
649.05/651.25 c GLOBAL bounds - >= -109612 @ 642.349
649.35/651.51 c GLOBAL bounds - >= -109612 @ 642.606
649.45/651.63 c GLOBAL bounds - >= -109612 @ 642.724
649.85/652.07 c GLOBAL bounds - >= -109612 @ 643.157
650.15/652.37 c GLOBAL bounds - >= -109612 @ 643.447
650.44/652.62 c GLOBAL bounds - >= -109612 @ 643.698
650.85/653.11 c #Conflicts: 240000 | #Constraints: 45838
650.85/653.11 c GLOBAL bounds - >= -109612 @ 644.176
689.91/692.25 c #Conflicts: 241000 | #Constraints: 46840
689.91/692.25 c #Conflicts: 242000 | #Constraints: 47840
689.91/692.25 c #Conflicts: 243000 | #Constraints: 48840
689.91/692.25 c #Conflicts: 244000 | #Constraints: 49840
689.91/692.25 c #Conflicts: 245000 | #Constraints: 50840
689.91/692.25 c #Conflicts: 246000 | #Constraints: 51840
689.91/692.25 c INPROCESSING
689.91/692.25 c GARBAGE COLLECT
689.91/692.25 c #Conflicts: 247000 | #Constraints: 43040
689.91/692.25 c #Conflicts: 248000 | #Constraints: 44040
689.91/692.25 c #Conflicts: 249000 | #Constraints: 45040
689.91/692.25 c #Conflicts: 250000 | #Constraints: 46040
689.91/692.25 c GLOBAL bounds - >= -109612 @ 682.928
690.01/692.38 c GLOBAL bounds - >= -109612 @ 683.048
821.36/824.19 c #Conflicts: 251000 | #Constraints: 47044
821.36/824.19 c #Conflicts: 252000 | #Constraints: 48044
821.36/824.19 c #Conflicts: 253000 | #Constraints: 49044
821.36/824.19 c #Conflicts: 254000 | #Constraints: 50044
821.36/824.19 c #Conflicts: 255000 | #Constraints: 51044
821.36/824.19 c #Conflicts: 256000 | #Constraints: 52044
821.36/824.19 c INPROCESSING
821.36/824.19 c GARBAGE COLLECT
821.36/824.19 c #Conflicts: 257000 | #Constraints: 43046
821.36/824.19 c #Conflicts: 258000 | #Constraints: 44046
821.36/824.19 c #Conflicts: 259000 | #Constraints: 45046
821.36/824.19 c #Conflicts: 260000 | #Constraints: 46046
821.36/824.19 c #Conflicts: 261000 | #Constraints: 47046
821.36/824.19 c #Conflicts: 262000 | #Constraints: 48046
821.36/824.19 c #Conflicts: 263000 | #Constraints: 49046
821.36/824.19 c #Conflicts: 264000 | #Constraints: 50046
821.36/824.19 c #Conflicts: 265000 | #Constraints: 51046
821.36/824.19 c #Conflicts: 266000 | #Constraints: 52046
821.36/824.19 c INPROCESSING
821.36/824.19 c GARBAGE COLLECT
821.36/824.19 c #Conflicts: 267000 | #Constraints: 42847
821.36/824.19 c #Conflicts: 268000 | #Constraints: 43847
821.36/824.19 c #Conflicts: 269000 | #Constraints: 44847
821.36/824.19 c #Conflicts: 270000 | #Constraints: 45847
821.36/824.19 c #Conflicts: 271000 | #Constraints: 46847
821.36/824.19 c #Conflicts: 272000 | #Constraints: 47847
821.36/824.19 c #Conflicts: 273000 | #Constraints: 48847
821.36/824.19 c #Conflicts: 274000 | #Constraints: 49847
821.36/824.19 c #Conflicts: 275000 | #Constraints: 50847
821.36/824.19 c #Conflicts: 276000 | #Constraints: 51847
821.36/824.19 c #Conflicts: 277000 | #Constraints: 52847
821.36/824.19 c INPROCESSING
821.36/824.19 c GARBAGE COLLECT
821.36/824.19 c #Conflicts: 278000 | #Constraints: 43440
821.36/824.19 c #Conflicts: 279000 | #Constraints: 44440
821.36/824.19 c #Conflicts: 280000 | #Constraints: 45440
821.36/824.19 c #Conflicts: 281000 | #Constraints: 46440
821.36/824.19 c #Conflicts: 282000 | #Constraints: 47440
821.36/824.19 c #Conflicts: 283000 | #Constraints: 48440
821.36/824.19 c #Conflicts: 284000 | #Constraints: 49440
821.36/824.19 c #Conflicts: 285000 | #Constraints: 50440
821.36/824.19 c #Conflicts: 286000 | #Constraints: 51440
821.36/824.19 c #Conflicts: 287000 | #Constraints: 52440
821.36/824.19 c #Conflicts: 288000 | #Constraints: 53440
821.36/824.19 c INPROCESSING
821.36/824.19 c GARBAGE COLLECT
821.36/824.19 c GLOBAL bounds - >= -109612 @ 813.46
864.11/867.11 c #Conflicts: 289000 | #Constraints: 43847
864.11/867.11 c #Conflicts: 290000 | #Constraints: 44847
864.11/867.11 c #Conflicts: 291000 | #Constraints: 45847
864.11/867.11 c #Conflicts: 292000 | #Constraints: 46847
864.11/867.11 c #Conflicts: 293000 | #Constraints: 47847
864.11/867.11 c #Conflicts: 294000 | #Constraints: 48847
864.11/867.11 c #Conflicts: 295000 | #Constraints: 49847
864.11/867.11 c #Conflicts: 296000 | #Constraints: 50847
864.11/867.11 c #Conflicts: 297000 | #Constraints: 51847
864.11/867.11 c #Conflicts: 298000 | #Constraints: 52847
864.11/867.11 c #Conflicts: 299000 | #Constraints: 53847
864.11/867.11 c INPROCESSING
864.11/867.11 c GARBAGE COLLECT
864.11/867.11 c #Conflicts: 300000 | #Constraints: 44050
864.11/867.11 c #Conflicts: 301000 | #Constraints: 45050
864.11/867.11 c #Conflicts: 302000 | #Constraints: 46050
864.11/867.11 c GLOBAL bounds - >= -109612 @ 855.921
864.30/867.21 c GLOBAL bounds - >= -109612 @ 856.028
864.40/867.33 c GLOBAL bounds - >= -109612 @ 856.138
864.50/867.46 c GLOBAL bounds - >= -109612 @ 856.268
865.29/868.26 c GLOBAL bounds - >= -109612 @ 857.051
865.79/868.70 c GLOBAL bounds - >= -109612 @ 857.483
867.39/870.32 c #Conflicts: 303000 | #Constraints: 47062
867.39/870.32 c GLOBAL bounds - >= -109612 @ 859.085
868.88/871.80 c GLOBAL bounds - >= -109612 @ 860.553
869.19/872.16 c GLOBAL bounds - >= -109612 @ 860.898
1009.89/1013.39 c #Conflicts: 304000 | #Constraints: 48068
1009.89/1013.39 c #Conflicts: 305000 | #Constraints: 49068
1009.89/1013.39 c #Conflicts: 306000 | #Constraints: 50068
1009.89/1013.39 c #Conflicts: 307000 | #Constraints: 51068
1009.89/1013.39 c #Conflicts: 308000 | #Constraints: 52068
1009.89/1013.39 c #Conflicts: 309000 | #Constraints: 53068
1009.89/1013.39 c #Conflicts: 310000 | #Constraints: 54068
1009.89/1013.39 c INPROCESSING
1009.89/1013.39 c GARBAGE COLLECT
1009.89/1013.39 c #Conflicts: 311000 | #Constraints: 44070
1009.89/1013.39 c #Conflicts: 312000 | #Constraints: 45070
1009.89/1013.39 c #Conflicts: 313000 | #Constraints: 46070
1009.89/1013.39 c #Conflicts: 314000 | #Constraints: 47070
1009.89/1013.39 c #Conflicts: 315000 | #Constraints: 48070
1009.89/1013.39 c #Conflicts: 316000 | #Constraints: 49070
1009.89/1013.39 c #Conflicts: 317000 | #Constraints: 50070
1009.89/1013.39 c #Conflicts: 318000 | #Constraints: 51070
1009.89/1013.39 c #Conflicts: 319000 | #Constraints: 52070
1009.89/1013.39 c #Conflicts: 320000 | #Constraints: 53070
1009.89/1013.39 c #Conflicts: 321000 | #Constraints: 54070
1009.89/1013.39 c INPROCESSING
1009.89/1013.39 c GARBAGE COLLECT
1009.89/1013.39 c #Conflicts: 322000 | #Constraints: 43855
1009.89/1013.39 c #Conflicts: 323000 | #Constraints: 44855
1009.89/1013.39 c #Conflicts: 324000 | #Constraints: 45855
1009.89/1013.39 c #Conflicts: 325000 | #Constraints: 46855
1009.89/1013.39 c #Conflicts: 326000 | #Constraints: 47855
1009.89/1013.39 c #Conflicts: 327000 | #Constraints: 48855
1009.89/1013.39 c #Conflicts: 328000 | #Constraints: 49855
1009.89/1013.39 c #Conflicts: 329000 | #Constraints: 50855
1009.89/1013.39 c #Conflicts: 330000 | #Constraints: 51855
1009.89/1013.39 c #Conflicts: 331000 | #Constraints: 52855
1009.89/1013.39 c #Conflicts: 332000 | #Constraints: 53855
1009.89/1013.39 c #Conflicts: 333000 | #Constraints: 54855
1009.89/1013.39 c INPROCESSING
1009.89/1013.39 c GARBAGE COLLECT
1009.89/1013.39 c #Conflicts: 334000 | #Constraints: 44459
1009.89/1013.39 c #Conflicts: 335000 | #Constraints: 45459
1009.89/1013.39 c #Conflicts: 336000 | #Constraints: 46459
1009.89/1013.39 c #Conflicts: 337000 | #Constraints: 47459
1009.89/1013.39 c #Conflicts: 338000 | #Constraints: 48459
1009.89/1013.39 c #Conflicts: 339000 | #Constraints: 49459
1009.89/1013.39 c #Conflicts: 340000 | #Constraints: 50459
1009.89/1013.39 c #Conflicts: 341000 | #Constraints: 51459
1009.89/1013.39 c #Conflicts: 342000 | #Constraints: 52459
1009.89/1013.39 c #Conflicts: 343000 | #Constraints: 53459
1009.89/1013.39 c #Conflicts: 344000 | #Constraints: 54459
1009.89/1013.39 c #Conflicts: 345000 | #Constraints: 55459
1009.89/1013.39 c INPROCESSING
1009.89/1013.39 c GARBAGE COLLECT
1009.89/1013.39 c #Conflicts: 346000 | #Constraints: 44856
1009.89/1013.39 c #Conflicts: 347000 | #Constraints: 45856
1009.89/1013.39 c #Conflicts: 348000 | #Constraints: 46856
1009.89/1013.39 c GLOBAL bounds - >= -109612 @ 1000.54
1010.09/1013.50 c GLOBAL bounds - >= -109612 @ 1000.64
1153.22/1157.15 c #Conflicts: 349000 | #Constraints: 47860
1153.22/1157.15 c #Conflicts: 350000 | #Constraints: 48860
1153.22/1157.15 c #Conflicts: 351000 | #Constraints: 49860
1153.22/1157.15 c #Conflicts: 352000 | #Constraints: 50860
1153.22/1157.15 c #Conflicts: 353000 | #Constraints: 51860
1153.22/1157.15 c #Conflicts: 354000 | #Constraints: 52860
1153.22/1157.15 c #Conflicts: 355000 | #Constraints: 53860
1153.22/1157.15 c #Conflicts: 356000 | #Constraints: 54860
1153.22/1157.15 c #Conflicts: 357000 | #Constraints: 55860
1153.22/1157.15 c INPROCESSING
1153.22/1157.15 c GARBAGE COLLECT
1153.22/1157.15 c #Conflicts: 358000 | #Constraints: 45062
1153.22/1157.15 c #Conflicts: 359000 | #Constraints: 46062
1153.22/1157.15 c #Conflicts: 360000 | #Constraints: 47062
1153.22/1157.15 c #Conflicts: 361000 | #Constraints: 48062
1153.22/1157.15 c #Conflicts: 362000 | #Constraints: 49062
1153.22/1157.15 c #Conflicts: 363000 | #Constraints: 50062
1153.22/1157.15 c #Conflicts: 364000 | #Constraints: 51062
1153.22/1157.15 c #Conflicts: 365000 | #Constraints: 52062
1153.22/1157.15 c #Conflicts: 366000 | #Constraints: 53062
1153.22/1157.15 c #Conflicts: 367000 | #Constraints: 54062
1153.22/1157.15 c #Conflicts: 368000 | #Constraints: 55062
1153.22/1157.15 c #Conflicts: 369000 | #Constraints: 56062
1153.22/1157.15 c INPROCESSING
1153.22/1157.15 c GARBAGE COLLECT
1153.22/1157.15 c #Conflicts: 370000 | #Constraints: 45060
1153.22/1157.15 c #Conflicts: 371000 | #Constraints: 46060
1153.22/1157.15 c #Conflicts: 372000 | #Constraints: 47060
1153.22/1157.15 c #Conflicts: 373000 | #Constraints: 48060
1153.22/1157.15 c #Conflicts: 374000 | #Constraints: 49060
1153.22/1157.15 c #Conflicts: 375000 | #Constraints: 50060
1153.22/1157.15 c #Conflicts: 376000 | #Constraints: 51060
1153.22/1157.15 c #Conflicts: 377000 | #Constraints: 52060
1153.22/1157.15 c #Conflicts: 378000 | #Constraints: 53060
1153.22/1157.15 c #Conflicts: 379000 | #Constraints: 54060
1153.22/1157.15 c #Conflicts: 380000 | #Constraints: 55060
1153.22/1157.15 c #Conflicts: 381000 | #Constraints: 56060
1153.22/1157.15 c INPROCESSING
1153.22/1157.15 c GARBAGE COLLECT
1153.22/1157.15 c #Conflicts: 382000 | #Constraints: 44862
1153.22/1157.15 c #Conflicts: 383000 | #Constraints: 45862
1153.22/1157.15 c #Conflicts: 384000 | #Constraints: 46862
1153.22/1157.15 c #Conflicts: 385000 | #Constraints: 47862
1153.22/1157.15 c #Conflicts: 386000 | #Constraints: 48862
1153.22/1157.15 c #Conflicts: 387000 | #Constraints: 49862
1153.22/1157.15 c #Conflicts: 388000 | #Constraints: 50862
1153.22/1157.15 c GLOBAL bounds - >= -109612 @ 1142.81
1153.40/1157.35 c GLOBAL bounds - >= -109612 @ 1143
1178.32/1182.32 c #Conflicts: 389000 | #Constraints: 51866
1178.32/1182.32 c #Conflicts: 390000 | #Constraints: 52866
1178.32/1182.32 c #Conflicts: 391000 | #Constraints: 53866
1178.32/1182.32 c #Conflicts: 392000 | #Constraints: 54866
1178.32/1182.32 c GLOBAL bounds - >= -109612 @ 1167.76
1190.09/1194.13 c #Conflicts: 393000 | #Constraints: 55868
1190.09/1194.13 c #Conflicts: 394000 | #Constraints: 56868
1190.09/1194.13 c INPROCESSING
1190.09/1194.13 c GARBAGE COLLECT
1190.09/1194.13 c #Conflicts: 395000 | #Constraints: 45474
1190.09/1194.13 c #Conflicts: 396000 | #Constraints: 46474
1190.09/1194.13 c #Conflicts: 397000 | #Constraints: 47474
1190.09/1194.13 c GLOBAL bounds - >= -109612 @ 1179.41
1460.77/1465.76 c #Conflicts: 398000 | #Constraints: 48476
1460.77/1465.76 c #Conflicts: 399000 | #Constraints: 49476
1460.77/1465.76 c #Conflicts: 400000 | #Constraints: 50476
1460.77/1465.76 c #Conflicts: 401000 | #Constraints: 51476
1460.77/1465.76 c #Conflicts: 402000 | #Constraints: 52476
1460.77/1465.76 c #Conflicts: 403000 | #Constraints: 53476
1460.77/1465.76 c #Conflicts: 404000 | #Constraints: 54476
1460.77/1465.76 c #Conflicts: 405000 | #Constraints: 55476
1460.77/1465.76 c #Conflicts: 406000 | #Constraints: 56476
1460.77/1465.76 c #Conflicts: 407000 | #Constraints: 57476
1460.77/1465.76 c INPROCESSING
1460.77/1465.76 c GARBAGE COLLECT
1460.77/1465.76 c #Conflicts: 408000 | #Constraints: 45876
1460.77/1465.76 c #Conflicts: 409000 | #Constraints: 46876
1460.77/1465.76 c #Conflicts: 410000 | #Constraints: 47876
1460.77/1465.76 c #Conflicts: 411000 | #Constraints: 48876
1460.77/1465.76 c #Conflicts: 412000 | #Constraints: 49876
1460.77/1465.76 c #Conflicts: 413000 | #Constraints: 50876
1460.77/1465.76 c #Conflicts: 414000 | #Constraints: 51876
1460.77/1465.76 c #Conflicts: 415000 | #Constraints: 52876
1460.77/1465.76 c #Conflicts: 416000 | #Constraints: 53876
1460.77/1465.76 c #Conflicts: 417000 | #Constraints: 54876
1460.77/1465.76 c #Conflicts: 418000 | #Constraints: 55876
1460.77/1465.76 c #Conflicts: 419000 | #Constraints: 56876
1460.77/1465.76 c #Conflicts: 420000 | #Constraints: 57876
1460.77/1465.76 c INPROCESSING
1460.77/1465.76 c GARBAGE COLLECT
1460.77/1465.76 c #Conflicts: 421000 | #Constraints: 46083
1460.77/1465.76 c #Conflicts: 422000 | #Constraints: 47083
1460.77/1465.76 c #Conflicts: 423000 | #Constraints: 48083
1460.77/1465.76 c #Conflicts: 424000 | #Constraints: 49083
1460.77/1465.76 c #Conflicts: 425000 | #Constraints: 50083
1460.77/1465.76 c #Conflicts: 426000 | #Constraints: 51083
1460.77/1465.76 c #Conflicts: 427000 | #Constraints: 52083
1460.77/1465.76 c #Conflicts: 428000 | #Constraints: 53083
1460.77/1465.76 c #Conflicts: 429000 | #Constraints: 54083
1460.77/1465.76 c #Conflicts: 430000 | #Constraints: 55083
1460.77/1465.76 c #Conflicts: 431000 | #Constraints: 56083
1460.77/1465.76 c #Conflicts: 432000 | #Constraints: 57083
1460.77/1465.76 c #Conflicts: 433000 | #Constraints: 58083
1460.77/1465.76 c INPROCESSING
1460.77/1465.76 c GARBAGE COLLECT
1460.77/1465.76 c #Conflicts: 434000 | #Constraints: 46078
1460.77/1465.76 c #Conflicts: 435000 | #Constraints: 47078
1460.77/1465.76 c #Conflicts: 436000 | #Constraints: 48078
1460.77/1465.76 c #Conflicts: 437000 | #Constraints: 49078
1460.77/1465.76 c #Conflicts: 438000 | #Constraints: 50078
1460.77/1465.76 c #Conflicts: 439000 | #Constraints: 51078
1460.77/1465.76 c #Conflicts: 440000 | #Constraints: 52078
1460.77/1465.76 c #Conflicts: 441000 | #Constraints: 53078
1460.77/1465.76 c #Conflicts: 442000 | #Constraints: 54078
1460.77/1465.76 c #Conflicts: 443000 | #Constraints: 55078
1460.77/1465.76 c #Conflicts: 444000 | #Constraints: 56078
1460.77/1465.76 c #Conflicts: 445000 | #Constraints: 57078
1460.77/1465.76 c #Conflicts: 446000 | #Constraints: 58078
1460.77/1465.76 c INPROCESSING
1460.77/1465.76 c GARBAGE COLLECT
1460.77/1465.76 c #Conflicts: 447000 | #Constraints: 45878
1460.77/1465.76 c #Conflicts: 448000 | #Constraints: 46878
1460.77/1465.76 c #Conflicts: 449000 | #Constraints: 47878
1460.77/1465.76 c #Conflicts: 450000 | #Constraints: 48878
1460.77/1465.76 c #Conflicts: 451000 | #Constraints: 49878
1460.77/1465.76 c #Conflicts: 452000 | #Constraints: 50878
1460.77/1465.76 c #Conflicts: 453000 | #Constraints: 51878
1460.77/1465.76 c #Conflicts: 454000 | #Constraints: 52878
1460.77/1465.76 c #Conflicts: 455000 | #Constraints: 53878
1460.77/1465.76 c #Conflicts: 456000 | #Constraints: 54878
1460.77/1465.76 c #Conflicts: 457000 | #Constraints: 55878
1460.77/1465.76 c #Conflicts: 458000 | #Constraints: 56878
1460.77/1465.76 c #Conflicts: 459000 | #Constraints: 57878
1460.77/1465.76 c #Conflicts: 460000 | #Constraints: 58878
1460.77/1465.76 c INPROCESSING
1460.77/1465.76 c GARBAGE COLLECT
1460.77/1465.76 c #Conflicts: 461000 | #Constraints: 46473
1460.77/1465.76 c #Conflicts: 462000 | #Constraints: 47473
1460.77/1465.76 c #Conflicts: 463000 | #Constraints: 48473
1460.77/1465.76 c #Conflicts: 464000 | #Constraints: 49473
1460.77/1465.76 c #Conflicts: 465000 | #Constraints: 50473
1460.77/1465.76 c #Conflicts: 466000 | #Constraints: 51473
1460.77/1465.76 c #Conflicts: 467000 | #Constraints: 52473
1460.77/1465.76 c #Conflicts: 468000 | #Constraints: 53473
1460.77/1465.76 c #Conflicts: 469000 | #Constraints: 54473
1460.77/1465.76 c #Conflicts: 470000 | #Constraints: 55473
1460.77/1465.76 c #Conflicts: 471000 | #Constraints: 56473
1460.77/1465.76 c #Conflicts: 472000 | #Constraints: 57473
1460.77/1465.76 c #Conflicts: 473000 | #Constraints: 58473
1631.19/1636.70 c #Conflicts: 474000 | #Constraints: 59473
1631.19/1636.70 c INPROCESSING
1631.19/1636.70 c GARBAGE COLLECT
1631.19/1636.70 c #Conflicts: 475000 | #Constraints: 46879
1631.19/1636.70 c #Conflicts: 476000 | #Constraints: 47879
1631.19/1636.70 c #Conflicts: 477000 | #Constraints: 48879
1631.19/1636.70 c #Conflicts: 478000 | #Constraints: 49879
1631.19/1636.70 c #Conflicts: 479000 | #Constraints: 50879
1631.19/1636.70 c #Conflicts: 480000 | #Constraints: 51879
1631.19/1636.70 c #Conflicts: 481000 | #Constraints: 52879
1631.19/1636.70 c #Conflicts: 482000 | #Constraints: 53879
1631.19/1636.70 c #Conflicts: 483000 | #Constraints: 54879
1631.19/1636.70 c #Conflicts: 484000 | #Constraints: 55879
1631.19/1636.70 c #Conflicts: 485000 | #Constraints: 56879
1631.19/1636.70 c #Conflicts: 486000 | #Constraints: 57879
1631.19/1636.70 c #Conflicts: 487000 | #Constraints: 58879
1631.19/1636.70 c #Conflicts: 488000 | #Constraints: 59879
1631.19/1636.70 c INPROCESSING
1631.19/1636.70 c GARBAGE COLLECT
1631.19/1636.70 c #Conflicts: 489000 | #Constraints: 47079
1631.19/1636.70 c #Conflicts: 490000 | #Constraints: 48079
1631.19/1636.70 c #Conflicts: 491000 | #Constraints: 49079
1631.19/1636.70 c #Conflicts: 492000 | #Constraints: 50079
1631.19/1636.73 c #Conflicts: 493000 | #Constraints: 51079
1631.19/1636.73 c #Conflicts: 494000 | #Constraints: 52079
1631.19/1636.73 c #Conflicts: 495000 | #Constraints: 53079
1631.19/1636.73 c #Conflicts: 496000 | #Constraints: 54079
1631.19/1636.73 c #Conflicts: 497000 | #Constraints: 55079
1631.19/1636.73 c #Conflicts: 498000 | #Constraints: 56079
1631.19/1636.73 c #Conflicts: 499000 | #Constraints: 57079
1631.19/1636.73 c #Conflicts: 500000 | #Constraints: 58079
1631.19/1636.73 c #Conflicts: 501000 | #Constraints: 59079
1631.19/1636.73 c #Conflicts: 502000 | #Constraints: 60079
1631.19/1636.73 c INPROCESSING
1631.19/1636.73 c GARBAGE COLLECT
1631.19/1636.73 c #Conflicts: 503000 | #Constraints: 47078
1631.19/1636.73 c #Conflicts: 504000 | #Constraints: 48078
1631.19/1636.73 c #Conflicts: 505000 | #Constraints: 49078
1631.19/1636.73 c #Conflicts: 506000 | #Constraints: 50078
1631.19/1636.73 c #Conflicts: 507000 | #Constraints: 51078
1631.19/1636.73 c #Conflicts: 508000 | #Constraints: 52078
1631.19/1636.73 c #Conflicts: 509000 | #Constraints: 53078
1631.19/1636.73 c #Conflicts: 510000 | #Constraints: 54078
1631.19/1636.73 c #Conflicts: 511000 | #Constraints: 55078
1631.19/1636.73 c #Conflicts: 512000 | #Constraints: 56078
1631.19/1636.73 c #Conflicts: 513000 | #Constraints: 57078
1631.19/1636.73 c #Conflicts: 514000 | #Constraints: 58078
1631.19/1636.73 c #Conflicts: 515000 | #Constraints: 59078
1631.19/1636.73 c #Conflicts: 516000 | #Constraints: 60078
1631.19/1636.73 c INPROCESSING
1631.19/1636.73 c GARBAGE COLLECT
1631.19/1636.73 c #Conflicts: 517000 | #Constraints: 46875
1631.19/1636.73 c #Conflicts: 518000 | #Constraints: 47875
1631.19/1636.73 c #Conflicts: 519000 | #Constraints: 48875
1631.19/1636.73 c #Conflicts: 520000 | #Constraints: 49875
1631.19/1636.73 c #Conflicts: 521000 | #Constraints: 50875
1631.19/1636.73 c #Conflicts: 522000 | #Constraints: 51875
1631.19/1636.73 c #Conflicts: 523000 | #Constraints: 52875
1631.19/1636.73 c #Conflicts: 524000 | #Constraints: 53875
1631.19/1636.73 c GLOBAL bounds - >= -109612 @ 1617.24
1991.84/1998.68 c #Conflicts: 525000 | #Constraints: 54877
1991.84/1998.68 c #Conflicts: 526000 | #Constraints: 55877
1991.84/1998.68 c #Conflicts: 527000 | #Constraints: 56877
1991.84/1998.68 c #Conflicts: 528000 | #Constraints: 57877
1991.84/1998.68 c #Conflicts: 529000 | #Constraints: 58877
1991.84/1998.68 c #Conflicts: 530000 | #Constraints: 59877
1991.84/1998.68 c #Conflicts: 531000 | #Constraints: 60877
1991.84/1998.68 c INPROCESSING
1991.84/1998.68 c GARBAGE COLLECT
1991.84/1998.68 c #Conflicts: 532000 | #Constraints: 47478
1991.84/1998.68 c #Conflicts: 533000 | #Constraints: 48478
1991.84/1998.68 c #Conflicts: 534000 | #Constraints: 49478
1991.84/1998.68 c #Conflicts: 535000 | #Constraints: 50478
1991.84/1998.68 c #Conflicts: 536000 | #Constraints: 51478
1991.84/1998.68 c #Conflicts: 537000 | #Constraints: 52478
1991.84/1998.68 c #Conflicts: 538000 | #Constraints: 53478
1991.84/1998.68 c #Conflicts: 539000 | #Constraints: 54478
1991.84/1998.68 c #Conflicts: 540000 | #Constraints: 55478
1991.84/1998.68 c #Conflicts: 541000 | #Constraints: 56478
1991.84/1998.68 c #Conflicts: 542000 | #Constraints: 57478
1991.84/1998.68 c #Conflicts: 543000 | #Constraints: 58478
1991.84/1998.68 c #Conflicts: 544000 | #Constraints: 59478
1991.84/1998.68 c #Conflicts: 545000 | #Constraints: 60478
1991.84/1998.68 c #Conflicts: 546000 | #Constraints: 61478
1991.84/1998.68 c INPROCESSING
1991.84/1998.68 c GARBAGE COLLECT
1991.84/1998.68 c #Conflicts: 547000 | #Constraints: 47877
1991.84/1998.68 c #Conflicts: 548000 | #Constraints: 48877
1991.84/1998.68 c #Conflicts: 549000 | #Constraints: 49877
1991.84/1998.68 c #Conflicts: 550000 | #Constraints: 50877
1991.84/1998.68 c #Conflicts: 551000 | #Constraints: 51877
1991.84/1998.68 c #Conflicts: 552000 | #Constraints: 52877
1991.84/1998.68 c #Conflicts: 553000 | #Constraints: 53877
1991.84/1998.68 c #Conflicts: 554000 | #Constraints: 54877
1991.84/1998.68 c #Conflicts: 555000 | #Constraints: 55877
1991.84/1998.68 c #Conflicts: 556000 | #Constraints: 56877
1991.84/1998.68 c #Conflicts: 557000 | #Constraints: 57877
1991.84/1998.68 c #Conflicts: 558000 | #Constraints: 58877
1991.84/1998.68 c #Conflicts: 559000 | #Constraints: 59877
1991.84/1998.68 c #Conflicts: 560000 | #Constraints: 60877
1991.84/1998.68 c #Conflicts: 561000 | #Constraints: 61877
1991.84/1998.68 c INPROCESSING
1991.84/1998.68 c GARBAGE COLLECT
1991.84/1998.68 c #Conflicts: 562000 | #Constraints: 48078
1991.84/1998.68 c #Conflicts: 563000 | #Constraints: 49078
1991.84/1998.68 c #Conflicts: 564000 | #Constraints: 50078
1991.84/1998.68 c #Conflicts: 565000 | #Constraints: 51078
1991.84/1998.68 c #Conflicts: 566000 | #Constraints: 52078
1991.84/1998.68 c #Conflicts: 567000 | #Constraints: 53078
1991.84/1998.68 c #Conflicts: 568000 | #Constraints: 54078
1991.84/1998.68 c #Conflicts: 569000 | #Constraints: 55078
1991.84/1998.68 c #Conflicts: 570000 | #Constraints: 56078
1991.84/1998.68 c #Conflicts: 571000 | #Constraints: 57078
1991.84/1998.68 c #Conflicts: 572000 | #Constraints: 58078
1991.84/1998.68 c #Conflicts: 573000 | #Constraints: 59078
1991.84/1998.68 c #Conflicts: 574000 | #Constraints: 60078
1991.84/1998.68 c #Conflicts: 575000 | #Constraints: 61078
1991.84/1998.68 c #Conflicts: 576000 | #Constraints: 62078
1991.84/1998.68 c INPROCESSING
1991.84/1998.68 c GARBAGE COLLECT
1991.84/1998.68 c #Conflicts: 577000 | #Constraints: 48079
1991.84/1998.68 c #Conflicts: 578000 | #Constraints: 49079
1991.84/1998.68 c #Conflicts: 579000 | #Constraints: 50079
1991.84/1998.68 c #Conflicts: 580000 | #Constraints: 51079
1991.84/1998.68 c #Conflicts: 581000 | #Constraints: 52079
1991.84/1998.68 c #Conflicts: 582000 | #Constraints: 53079
1991.84/1998.68 c #Conflicts: 583000 | #Constraints: 54079
1991.84/1998.68 c #Conflicts: 584000 | #Constraints: 55079
1991.84/1998.68 c #Conflicts: 585000 | #Constraints: 56079
1991.84/1998.68 c #Conflicts: 586000 | #Constraints: 57079
1991.84/1998.68 c #Conflicts: 587000 | #Constraints: 58079
1991.84/1998.68 c #Conflicts: 588000 | #Constraints: 59079
1991.84/1998.68 c #Conflicts: 589000 | #Constraints: 60079
1991.84/1998.68 c #Conflicts: 590000 | #Constraints: 61079
1991.84/1998.68 c #Conflicts: 591000 | #Constraints: 62079
1991.84/1998.68 c INPROCESSING
1991.84/1998.68 c GARBAGE COLLECT
1991.84/1998.68 c #Conflicts: 592000 | #Constraints: 47876
1991.84/1998.68 c #Conflicts: 593000 | #Constraints: 48876
1991.84/1998.68 c #Conflicts: 594000 | #Constraints: 49876
1991.84/1998.68 c #Conflicts: 595000 | #Constraints: 50876
1991.84/1998.68 c #Conflicts: 596000 | #Constraints: 51876
1991.84/1998.68 c #Conflicts: 597000 | #Constraints: 52876
1991.84/1998.68 c #Conflicts: 598000 | #Constraints: 53876
1991.84/1998.68 c #Conflicts: 599000 | #Constraints: 54876
1991.84/1998.68 c #Conflicts: 600000 | #Constraints: 55876
2327.09/2335.03 c #Conflicts: 601000 | #Constraints: 56876
2327.09/2335.03 c #Conflicts: 602000 | #Constraints: 57876
2327.09/2335.03 c #Conflicts: 603000 | #Constraints: 58876
2327.09/2335.03 c #Conflicts: 604000 | #Constraints: 59876
2327.09/2335.03 c #Conflicts: 605000 | #Constraints: 60876
2327.09/2335.03 c #Conflicts: 606000 | #Constraints: 61876
2327.09/2335.03 c #Conflicts: 607000 | #Constraints: 62876
2327.09/2335.03 c INPROCESSING
2327.09/2335.03 c GARBAGE COLLECT
2327.09/2335.03 c #Conflicts: 608000 | #Constraints: 48473
2327.09/2335.03 c #Conflicts: 609000 | #Constraints: 49473
2327.09/2335.03 c #Conflicts: 610000 | #Constraints: 50473
2327.09/2335.03 c #Conflicts: 611000 | #Constraints: 51473
2327.09/2335.03 c #Conflicts: 612000 | #Constraints: 52473
2327.09/2335.03 c #Conflicts: 613000 | #Constraints: 53473
2327.09/2335.03 c #Conflicts: 614000 | #Constraints: 54473
2327.09/2335.03 c #Conflicts: 615000 | #Constraints: 55473
2327.09/2335.03 c #Conflicts: 616000 | #Constraints: 56473
2327.09/2335.03 c #Conflicts: 617000 | #Constraints: 57473
2327.09/2335.03 c #Conflicts: 618000 | #Constraints: 58473
2327.09/2335.03 c #Conflicts: 619000 | #Constraints: 59473
2327.09/2335.03 c #Conflicts: 620000 | #Constraints: 60473
2327.09/2335.03 c #Conflicts: 621000 | #Constraints: 61473
2327.09/2335.03 c #Conflicts: 622000 | #Constraints: 62473
2327.09/2335.03 c #Conflicts: 623000 | #Constraints: 63473
2327.09/2335.03 c INPROCESSING
2327.09/2335.03 c GARBAGE COLLECT
2327.09/2335.03 c #Conflicts: 624000 | #Constraints: 48876
2327.09/2335.03 c #Conflicts: 625000 | #Constraints: 49876
2327.09/2335.03 c #Conflicts: 626000 | #Constraints: 50876
2327.09/2335.03 c #Conflicts: 627000 | #Constraints: 51876
2327.09/2335.03 c #Conflicts: 628000 | #Constraints: 52876
2327.09/2335.03 c #Conflicts: 629000 | #Constraints: 53876
2327.09/2335.03 c #Conflicts: 630000 | #Constraints: 54876
2327.09/2335.03 c #Conflicts: 631000 | #Constraints: 55876
2327.09/2335.03 c #Conflicts: 632000 | #Constraints: 56876
2327.09/2335.03 c #Conflicts: 633000 | #Constraints: 57876
2327.09/2335.03 c #Conflicts: 634000 | #Constraints: 58876
2327.09/2335.03 c #Conflicts: 635000 | #Constraints: 59876
2327.09/2335.03 c #Conflicts: 636000 | #Constraints: 60876
2327.09/2335.03 c #Conflicts: 637000 | #Constraints: 61876
2327.09/2335.03 c #Conflicts: 638000 | #Constraints: 62876
2327.09/2335.03 c #Conflicts: 639000 | #Constraints: 63876
2327.09/2335.03 c INPROCESSING
2327.09/2335.03 c GARBAGE COLLECT
2327.09/2335.03 c #Conflicts: 640000 | #Constraints: 49073
2327.09/2335.03 c #Conflicts: 641000 | #Constraints: 50073
2327.09/2335.03 c #Conflicts: 642000 | #Constraints: 51073
2327.09/2335.03 c #Conflicts: 643000 | #Constraints: 52073
2327.09/2335.03 c #Conflicts: 644000 | #Constraints: 53073
2327.09/2335.03 c #Conflicts: 645000 | #Constraints: 54073
2327.09/2335.03 c #Conflicts: 646000 | #Constraints: 55073
2327.09/2335.03 c #Conflicts: 647000 | #Constraints: 56073
2327.09/2335.03 c #Conflicts: 648000 | #Constraints: 57073
2327.09/2335.03 c #Conflicts: 649000 | #Constraints: 58073
2327.09/2335.03 c #Conflicts: 650000 | #Constraints: 59073
2327.09/2335.03 c #Conflicts: 651000 | #Constraints: 60073
2327.09/2335.03 c #Conflicts: 652000 | #Constraints: 61073
2327.09/2335.03 c #Conflicts: 653000 | #Constraints: 62073
2327.09/2335.03 c #Conflicts: 654000 | #Constraints: 63073
2327.09/2335.03 c #Conflicts: 655000 | #Constraints: 64073
2327.09/2335.03 c INPROCESSING
2327.09/2335.03 c GARBAGE COLLECT
2327.09/2335.03 c #Conflicts: 656000 | #Constraints: 49074
2327.09/2335.03 c #Conflicts: 657000 | #Constraints: 50074
2327.09/2335.03 c #Conflicts: 658000 | #Constraints: 51074
2327.09/2335.03 c #Conflicts: 659000 | #Constraints: 52074
2327.09/2335.03 c #Conflicts: 660000 | #Constraints: 53074
2327.09/2335.03 c #Conflicts: 661000 | #Constraints: 54074
2327.09/2335.03 c #Conflicts: 662000 | #Constraints: 55074
2327.09/2335.03 c #Conflicts: 663000 | #Constraints: 56074
2327.09/2335.03 c #Conflicts: 664000 | #Constraints: 57074
2327.09/2335.03 c #Conflicts: 665000 | #Constraints: 58074
2327.09/2335.03 c #Conflicts: 666000 | #Constraints: 59074
2327.09/2335.03 c #Conflicts: 667000 | #Constraints: 60074
2327.09/2335.03 c #Conflicts: 668000 | #Constraints: 61074
2327.09/2335.03 c #Conflicts: 669000 | #Constraints: 62074
2327.09/2335.03 c #Conflicts: 670000 | #Constraints: 63074
2327.09/2335.03 c #Conflicts: 671000 | #Constraints: 64074
2327.09/2335.03 c INPROCESSING
2327.09/2335.03 c GARBAGE COLLECT
2327.09/2335.03 c #Conflicts: 672000 | #Constraints: 48869
2327.09/2335.03 c #Conflicts: 673000 | #Constraints: 49869
2327.09/2335.03 c #Conflicts: 674000 | #Constraints: 50869
2327.09/2335.03 c #Conflicts: 675000 | #Constraints: 51869
2327.09/2335.03 c #Conflicts: 676000 | #Constraints: 52869
2463.17/2471.66 c #Conflicts: 677000 | #Constraints: 53869
2463.17/2471.66 c #Conflicts: 678000 | #Constraints: 54869
2463.17/2471.66 c #Conflicts: 679000 | #Constraints: 55869
2463.17/2471.66 c #Conflicts: 680000 | #Constraints: 56869
2463.17/2471.66 c #Conflicts: 681000 | #Constraints: 57869
2463.17/2471.66 c #Conflicts: 682000 | #Constraints: 58869
2463.17/2471.66 c #Conflicts: 683000 | #Constraints: 59869
2463.17/2471.66 c #Conflicts: 684000 | #Constraints: 60869
2463.17/2471.66 c #Conflicts: 685000 | #Constraints: 61869
2463.17/2471.66 c #Conflicts: 686000 | #Constraints: 62869
2463.17/2471.66 c #Conflicts: 687000 | #Constraints: 63869
2463.17/2471.66 c #Conflicts: 688000 | #Constraints: 64869
2463.17/2471.66 c INPROCESSING
2463.17/2471.66 c GARBAGE COLLECT
2463.17/2471.66 c #Conflicts: 689000 | #Constraints: 49476
2463.17/2471.66 c #Conflicts: 690000 | #Constraints: 50476
2463.17/2471.66 c #Conflicts: 691000 | #Constraints: 51476
2463.17/2471.66 c #Conflicts: 692000 | #Constraints: 52476
2463.17/2471.66 c #Conflicts: 693000 | #Constraints: 53476
2463.17/2471.66 c #Conflicts: 694000 | #Constraints: 54476
2463.17/2471.66 c #Conflicts: 695000 | #Constraints: 55476
2463.17/2471.66 c #Conflicts: 696000 | #Constraints: 56476
2463.17/2471.66 c #Conflicts: 697000 | #Constraints: 57476
2463.17/2471.66 c #Conflicts: 698000 | #Constraints: 58476
2463.17/2471.66 c #Conflicts: 699000 | #Constraints: 59476
2463.17/2471.66 c #Conflicts: 700000 | #Constraints: 60476
2463.17/2471.66 c #Conflicts: 701000 | #Constraints: 61476
2463.17/2471.66 c #Conflicts: 702000 | #Constraints: 62476
2463.17/2471.66 c #Conflicts: 703000 | #Constraints: 63476
2463.17/2471.66 c #Conflicts: 704000 | #Constraints: 64476
2463.17/2471.66 c #Conflicts: 705000 | #Constraints: 65476
2463.17/2471.66 c INPROCESSING
2463.17/2471.66 c GARBAGE COLLECT
2463.17/2471.66 c #Conflicts: 706000 | #Constraints: 49874
2463.17/2471.66 c #Conflicts: 707000 | #Constraints: 50874
2463.17/2471.66 c GLOBAL bounds - >= -109612 @ 2444.47
2463.27/2471.74 c GLOBAL bounds - >= -109612 @ 2444.56
2463.37/2471.81 c GLOBAL bounds - >= -109612 @ 2444.62
2463.37/2471.87 c GLOBAL bounds - >= -109612 @ 2444.69
2580.64/2589.58 c #Conflicts: 708000 | #Constraints: 51882
2580.64/2589.58 c #Conflicts: 709000 | #Constraints: 52882
2580.64/2589.58 c #Conflicts: 710000 | #Constraints: 53882
2580.64/2589.58 c #Conflicts: 711000 | #Constraints: 54882
2580.64/2589.58 c #Conflicts: 712000 | #Constraints: 55882
2580.64/2589.58 c #Conflicts: 713000 | #Constraints: 56882
2580.64/2589.58 c #Conflicts: 714000 | #Constraints: 57882
2580.64/2589.58 c #Conflicts: 715000 | #Constraints: 58882
2580.64/2589.58 c #Conflicts: 716000 | #Constraints: 59882
2580.64/2589.58 c #Conflicts: 717000 | #Constraints: 60882
2580.64/2589.58 c #Conflicts: 718000 | #Constraints: 61882
2580.64/2589.58 c #Conflicts: 719000 | #Constraints: 62882
2580.64/2589.58 c #Conflicts: 720000 | #Constraints: 63882
2580.64/2589.58 c #Conflicts: 721000 | #Constraints: 64882
2580.64/2589.58 c #Conflicts: 722000 | #Constraints: 65882
2580.64/2589.58 c INPROCESSING
2580.64/2589.58 c GARBAGE COLLECT
2580.64/2589.58 c #Conflicts: 723000 | #Constraints: 50081
2580.64/2589.58 c #Conflicts: 724000 | #Constraints: 51081
2580.64/2589.58 c #Conflicts: 725000 | #Constraints: 52081
2580.64/2589.58 c #Conflicts: 726000 | #Constraints: 53081
2580.64/2589.58 c #Conflicts: 727000 | #Constraints: 54081
2580.64/2589.58 c #Conflicts: 728000 | #Constraints: 55081
2580.64/2589.58 c #Conflicts: 729000 | #Constraints: 56081
2580.64/2589.58 c #Conflicts: 730000 | #Constraints: 57081
2580.64/2589.58 c #Conflicts: 731000 | #Constraints: 58081
2580.64/2589.58 c #Conflicts: 732000 | #Constraints: 59081
2580.64/2589.58 c #Conflicts: 733000 | #Constraints: 60081
2580.64/2589.58 c #Conflicts: 734000 | #Constraints: 61081
2580.64/2589.58 c #Conflicts: 735000 | #Constraints: 62081
2580.64/2589.58 c #Conflicts: 736000 | #Constraints: 63081
2580.64/2589.58 c #Conflicts: 737000 | #Constraints: 64081
2580.64/2589.58 c #Conflicts: 738000 | #Constraints: 65081
2580.64/2589.58 c #Conflicts: 739000 | #Constraints: 66081
2580.64/2589.58 c INPROCESSING
2580.64/2589.58 c GARBAGE COLLECT
2580.64/2589.58 c #Conflicts: 740000 | #Constraints: 50080
2580.64/2589.58 c #Conflicts: 741000 | #Constraints: 51080
2580.64/2589.58 c #Conflicts: 742000 | #Constraints: 52080
2580.64/2589.58 c #Conflicts: 743000 | #Constraints: 53080
2580.64/2589.58 c GLOBAL bounds - >= -109612 @ 2561.08
2621.18/2630.28 c #Conflicts: 744000 | #Constraints: 54082
2621.18/2630.28 c #Conflicts: 745000 | #Constraints: 55082
2621.18/2630.28 c #Conflicts: 746000 | #Constraints: 56082
2621.18/2630.28 c #Conflicts: 747000 | #Constraints: 57082
2621.18/2630.28 c #Conflicts: 748000 | #Constraints: 58082
2621.18/2630.28 c #Conflicts: 749000 | #Constraints: 59082
2621.18/2630.28 c #Conflicts: 750000 | #Constraints: 60082
2621.18/2630.28 c GLOBAL bounds - >= -109612 @ 2601.41
2634.05/2643.19 c #Conflicts: 751000 | #Constraints: 61084
2634.05/2643.19 c GLOBAL bounds - >= -109612 @ 2614.23
3022.22/3032.72 c #Conflicts: 752000 | #Constraints: 62086
3022.22/3032.72 c #Conflicts: 753000 | #Constraints: 63086
3022.22/3032.72 c #Conflicts: 754000 | #Constraints: 64086
3022.22/3032.72 c #Conflicts: 755000 | #Constraints: 65086
3022.22/3032.72 c #Conflicts: 756000 | #Constraints: 66086
3022.22/3032.72 c INPROCESSING
3022.22/3032.72 c GARBAGE COLLECT
3022.22/3032.72 c #Conflicts: 757000 | #Constraints: 49892
3022.22/3032.72 c #Conflicts: 758000 | #Constraints: 50892
3022.22/3032.72 c #Conflicts: 759000 | #Constraints: 51892
3022.22/3032.72 c #Conflicts: 760000 | #Constraints: 52892
3022.22/3032.72 c #Conflicts: 761000 | #Constraints: 53892
3022.22/3032.72 c #Conflicts: 762000 | #Constraints: 54892
3022.22/3032.72 c #Conflicts: 763000 | #Constraints: 55892
3022.22/3032.72 c #Conflicts: 764000 | #Constraints: 56892
3022.22/3032.72 c #Conflicts: 765000 | #Constraints: 57892
3022.22/3032.72 c #Conflicts: 766000 | #Constraints: 58892
3022.22/3032.72 c #Conflicts: 767000 | #Constraints: 59892
3022.22/3032.72 c #Conflicts: 768000 | #Constraints: 60892
3022.22/3032.72 c #Conflicts: 769000 | #Constraints: 61892
3022.22/3032.72 c #Conflicts: 770000 | #Constraints: 62892
3022.22/3032.72 c #Conflicts: 771000 | #Constraints: 63892
3022.22/3032.72 c #Conflicts: 772000 | #Constraints: 64892
3022.22/3032.72 c #Conflicts: 773000 | #Constraints: 65892
3022.22/3032.72 c #Conflicts: 774000 | #Constraints: 66892
3022.22/3032.72 c INPROCESSING
3022.22/3032.72 c GARBAGE COLLECT
3022.22/3032.72 c #Conflicts: 775000 | #Constraints: 50491
3022.22/3032.72 c #Conflicts: 776000 | #Constraints: 51491
3022.22/3032.72 c #Conflicts: 777000 | #Constraints: 52491
3022.22/3032.72 c #Conflicts: 778000 | #Constraints: 53491
3022.22/3032.72 c #Conflicts: 779000 | #Constraints: 54491
3022.22/3032.72 c #Conflicts: 780000 | #Constraints: 55491
3022.22/3032.72 c #Conflicts: 781000 | #Constraints: 56491
3022.22/3032.72 c #Conflicts: 782000 | #Constraints: 57491
3022.22/3032.72 c #Conflicts: 783000 | #Constraints: 58491
3022.22/3032.72 c #Conflicts: 784000 | #Constraints: 59491
3022.22/3032.72 c #Conflicts: 785000 | #Constraints: 60491
3022.22/3032.72 c #Conflicts: 786000 | #Constraints: 61491
3022.22/3032.72 c #Conflicts: 787000 | #Constraints: 62491
3022.22/3032.72 c #Conflicts: 788000 | #Constraints: 63491
3022.22/3032.72 c #Conflicts: 789000 | #Constraints: 64491
3022.22/3032.72 c #Conflicts: 790000 | #Constraints: 65491
3022.22/3032.72 c #Conflicts: 791000 | #Constraints: 66491
3022.22/3032.72 c #Conflicts: 792000 | #Constraints: 67491
3022.22/3032.72 c INPROCESSING
3022.22/3032.72 c GARBAGE COLLECT
3022.22/3032.72 c #Conflicts: 793000 | #Constraints: 50889
3022.22/3032.72 c #Conflicts: 794000 | #Constraints: 51889
3022.22/3032.72 c #Conflicts: 795000 | #Constraints: 52889
3022.22/3032.72 c #Conflicts: 796000 | #Constraints: 53889
3022.22/3032.72 c #Conflicts: 797000 | #Constraints: 54889
3022.22/3032.72 c #Conflicts: 798000 | #Constraints: 55889
3022.22/3032.72 c #Conflicts: 799000 | #Constraints: 56889
3022.22/3032.72 c #Conflicts: 800000 | #Constraints: 57889
3022.22/3032.72 c #Conflicts: 801000 | #Constraints: 58889
3022.22/3032.72 c #Conflicts: 802000 | #Constraints: 59889
3022.22/3032.72 c #Conflicts: 803000 | #Constraints: 60889
3022.22/3032.72 c #Conflicts: 804000 | #Constraints: 61889
3022.22/3032.72 c #Conflicts: 805000 | #Constraints: 62889
3022.22/3032.72 c #Conflicts: 806000 | #Constraints: 63889
3022.22/3032.72 c #Conflicts: 807000 | #Constraints: 64889
3022.22/3032.72 c #Conflicts: 808000 | #Constraints: 65889
3022.22/3032.72 c #Conflicts: 809000 | #Constraints: 66889
3022.22/3032.72 c #Conflicts: 810000 | #Constraints: 67889
3022.22/3032.72 c INPROCESSING
3022.22/3032.72 c GARBAGE COLLECT
3022.22/3032.72 c #Conflicts: 811000 | #Constraints: 51092
3022.22/3032.72 c #Conflicts: 812000 | #Constraints: 52092
3022.22/3032.72 c #Conflicts: 813000 | #Constraints: 53092
3022.22/3032.72 c #Conflicts: 814000 | #Constraints: 54092
3022.22/3032.72 c #Conflicts: 815000 | #Constraints: 55092
3022.22/3032.72 c #Conflicts: 816000 | #Constraints: 56092
3022.22/3032.72 c #Conflicts: 817000 | #Constraints: 57092
3022.22/3032.72 c #Conflicts: 818000 | #Constraints: 58092
3022.22/3032.72 c #Conflicts: 819000 | #Constraints: 59092
3022.22/3032.72 c #Conflicts: 820000 | #Constraints: 60092
3022.22/3032.72 c #Conflicts: 821000 | #Constraints: 61092
3022.22/3032.72 c #Conflicts: 822000 | #Constraints: 62092
3022.22/3032.72 c #Conflicts: 823000 | #Constraints: 63092
3022.22/3032.72 c #Conflicts: 824000 | #Constraints: 64092
3022.22/3032.72 c #Conflicts: 825000 | #Constraints: 65092
3022.22/3032.72 c #Conflicts: 826000 | #Constraints: 66092
3022.22/3032.72 c #Conflicts: 827000 | #Constraints: 67092
3022.22/3032.72 c #Conflicts: 828000 | #Constraints: 68092
3393.05/3404.97 c INPROCESSING
3393.05/3404.97 c GARBAGE COLLECT
3393.05/3404.97 c #Conflicts: 829000 | #Constraints: 51093
3393.05/3404.97 c #Conflicts: 830000 | #Constraints: 52093
3393.05/3404.97 c #Conflicts: 831000 | #Constraints: 53093
3393.05/3404.97 c #Conflicts: 832000 | #Constraints: 54093
3393.05/3404.97 c #Conflicts: 833000 | #Constraints: 55093
3393.05/3404.97 c #Conflicts: 834000 | #Constraints: 56093
3393.05/3404.97 c #Conflicts: 835000 | #Constraints: 57093
3393.05/3404.97 c #Conflicts: 836000 | #Constraints: 58093
3393.05/3404.97 c #Conflicts: 837000 | #Constraints: 59093
3393.05/3404.97 c #Conflicts: 838000 | #Constraints: 60093
3393.05/3404.97 c #Conflicts: 839000 | #Constraints: 61093
3393.05/3404.97 c #Conflicts: 840000 | #Constraints: 62093
3393.05/3404.97 c #Conflicts: 841000 | #Constraints: 63093
3393.05/3404.97 c #Conflicts: 842000 | #Constraints: 64093
3393.05/3404.97 c #Conflicts: 843000 | #Constraints: 65093
3393.05/3404.97 c #Conflicts: 844000 | #Constraints: 66093
3393.05/3404.97 c #Conflicts: 845000 | #Constraints: 67093
3393.05/3404.97 c #Conflicts: 846000 | #Constraints: 68093
3393.05/3404.97 c INPROCESSING
3393.05/3404.97 c GARBAGE COLLECT
3393.05/3404.97 c #Conflicts: 847000 | #Constraints: 50889
3393.05/3404.97 c #Conflicts: 848000 | #Constraints: 51889
3393.05/3404.97 c #Conflicts: 849000 | #Constraints: 52889
3393.05/3404.97 c #Conflicts: 850000 | #Constraints: 53889
3393.05/3404.97 c #Conflicts: 851000 | #Constraints: 54889
3393.05/3404.97 c #Conflicts: 852000 | #Constraints: 55889
3393.05/3404.97 c #Conflicts: 853000 | #Constraints: 56889
3393.05/3404.97 c #Conflicts: 854000 | #Constraints: 57889
3393.05/3404.97 c #Conflicts: 855000 | #Constraints: 58889
3393.05/3404.97 c #Conflicts: 856000 | #Constraints: 59889
3393.05/3404.97 c #Conflicts: 857000 | #Constraints: 60889
3393.05/3404.97 c #Conflicts: 858000 | #Constraints: 61889
3393.05/3404.97 c #Conflicts: 859000 | #Constraints: 62889
3393.05/3404.97 c #Conflicts: 860000 | #Constraints: 63889
3393.05/3404.97 c #Conflicts: 861000 | #Constraints: 64889
3393.05/3404.97 c #Conflicts: 862000 | #Constraints: 65889
3393.05/3404.97 c #Conflicts: 863000 | #Constraints: 66889
3393.05/3404.97 c #Conflicts: 864000 | #Constraints: 67889
3393.05/3404.97 c #Conflicts: 865000 | #Constraints: 68889
3393.05/3404.97 c INPROCESSING
3393.05/3404.97 c GARBAGE COLLECT
3393.05/3404.97 c #Conflicts: 866000 | #Constraints: 51486
3393.05/3404.97 c #Conflicts: 867000 | #Constraints: 52486
3393.05/3404.97 c #Conflicts: 868000 | #Constraints: 53486
3393.05/3404.97 c #Conflicts: 869000 | #Constraints: 54486
3393.05/3404.97 c #Conflicts: 870000 | #Constraints: 55486
3393.05/3404.97 c #Conflicts: 871000 | #Constraints: 56486
3393.05/3404.97 c #Conflicts: 872000 | #Constraints: 57486
3393.05/3404.97 c #Conflicts: 873000 | #Constraints: 58486
3393.05/3404.97 c #Conflicts: 874000 | #Constraints: 59486
3393.05/3404.97 c #Conflicts: 875000 | #Constraints: 60486
3393.05/3404.97 c #Conflicts: 876000 | #Constraints: 61486
3393.05/3404.97 c #Conflicts: 877000 | #Constraints: 62486
3393.05/3404.97 c #Conflicts: 878000 | #Constraints: 63486
3393.05/3404.97 c #Conflicts: 879000 | #Constraints: 64486
3393.05/3404.97 c #Conflicts: 880000 | #Constraints: 65486
3393.05/3404.97 c #Conflicts: 881000 | #Constraints: 66486
3393.05/3404.97 c #Conflicts: 882000 | #Constraints: 67486
3393.05/3404.97 c #Conflicts: 883000 | #Constraints: 68486
3393.05/3404.97 c #Conflicts: 884000 | #Constraints: 69486
3393.05/3404.97 c INPROCESSING
3393.05/3404.97 c GARBAGE COLLECT
3393.05/3404.97 c #Conflicts: 885000 | #Constraints: 51885
3393.05/3404.97 c #Conflicts: 886000 | #Constraints: 52885
3393.05/3404.97 c #Conflicts: 887000 | #Constraints: 53885
3393.05/3404.97 c #Conflicts: 888000 | #Constraints: 54885
3393.05/3404.97 c #Conflicts: 889000 | #Constraints: 55885
3393.05/3404.97 c #Conflicts: 890000 | #Constraints: 56885
3393.05/3404.97 c #Conflicts: 891000 | #Constraints: 57885
3393.05/3404.97 c #Conflicts: 892000 | #Constraints: 58885
3393.05/3404.97 c #Conflicts: 893000 | #Constraints: 59885
3393.05/3404.97 c #Conflicts: 894000 | #Constraints: 60885
3393.05/3404.97 c #Conflicts: 895000 | #Constraints: 61885
3393.05/3404.97 c #Conflicts: 896000 | #Constraints: 62885
3393.05/3404.97 c #Conflicts: 897000 | #Constraints: 63885
3393.05/3404.97 c #Conflicts: 898000 | #Constraints: 64885
3393.05/3404.97 c #Conflicts: 899000 | #Constraints: 65885
3393.05/3404.97 c #Conflicts: 900000 | #Constraints: 66885
3393.05/3404.97 c #Conflicts: 901000 | #Constraints: 67885
3393.05/3404.97 c #Conflicts: 902000 | #Constraints: 68885
3393.05/3404.97 c #Conflicts: 903000 | #Constraints: 69885
3393.05/3404.97 c INPROCESSING
3393.05/3404.97 c GARBAGE COLLECT
3600.08/3612.70 c #Conflicts: 904000 | #Constraints: 52082
3600.08/3612.70 c #Conflicts: 905000 | #Constraints: 53082
3600.08/3612.70 c #Conflicts: 906000 | #Constraints: 54082
3600.08/3612.70 c #Conflicts: 907000 | #Constraints: 55082
3600.08/3612.70 c #Conflicts: 908000 | #Constraints: 56082
3600.08/3612.70 c #Conflicts: 909000 | #Constraints: 57082
3600.08/3612.70 c #Conflicts: 910000 | #Constraints: 58082
3600.08/3612.70 c #Conflicts: 911000 | #Constraints: 59082
3600.08/3612.70 c #Conflicts: 912000 | #Constraints: 60082
3600.08/3612.70 c #Conflicts: 913000 | #Constraints: 61082
3600.08/3612.70 c #Conflicts: 914000 | #Constraints: 62082
3600.08/3612.70 c #Conflicts: 915000 | #Constraints: 63082
3600.08/3612.70 c #Conflicts: 916000 | #Constraints: 64082
3600.08/3612.70 c #Conflicts: 917000 | #Constraints: 65082
3600.08/3612.70 c #Conflicts: 918000 | #Constraints: 66082
3600.08/3612.70 c #Conflicts: 919000 | #Constraints: 67082
3600.08/3612.70 c #Conflicts: 920000 | #Constraints: 68082
3600.08/3612.70 c #Conflicts: 921000 | #Constraints: 69082
3600.08/3612.70 c #Conflicts: 922000 | #Constraints: 70082
3600.08/3612.70 c INPROCESSING
3600.08/3612.70 c GARBAGE COLLECT
3600.08/3612.70 c #Conflicts: 923000 | #Constraints: 52087
3600.08/3612.70 c #Conflicts: 924000 | #Constraints: 53087
3600.08/3612.70 c #Conflicts: 925000 | #Constraints: 54087
3600.08/3612.70 c #Conflicts: 926000 | #Constraints: 55087
3600.08/3612.70 c #Conflicts: 927000 | #Constraints: 56087
3600.08/3612.70 c #Conflicts: 928000 | #Constraints: 57087
3600.08/3612.70 c #Conflicts: 929000 | #Constraints: 58087
3600.08/3612.70 c #Conflicts: 930000 | #Constraints: 59087
3600.08/3612.70 c #Conflicts: 931000 | #Constraints: 60087
3600.08/3612.70 c #Conflicts: 932000 | #Constraints: 61087
3600.08/3612.70 c #Conflicts: 933000 | #Constraints: 62087
3600.08/3612.70 c #Conflicts: 934000 | #Constraints: 63087
3600.08/3612.70 c #Conflicts: 935000 | #Constraints: 64087
3600.08/3612.70 c #Conflicts: 936000 | #Constraints: 65087
3600.08/3612.70 c #Conflicts: 937000 | #Constraints: 66087
3600.08/3612.70 c #Conflicts: 938000 | #Constraints: 67087
3600.08/3612.70 c #Conflicts: 939000 | #Constraints: 68087
3600.08/3612.70 c cpu time 3574.62 s
3600.08/3612.70 c deterministic time 1 1.00e+00
3600.08/3612.70 c optimization time 3574.3 s
3600.08/3612.70 c total solve time 0 s
3600.08/3612.70 c core-guided solve time 0 s
3600.08/3612.70 c propagation time 0.029828 s
3600.08/3612.70 c conflict analysis time 0 s
3600.08/3612.70 c propagations 0
3600.08/3612.70 c resolve steps 0
3600.08/3612.70 c decisions 0
3600.08/3612.70 c conflicts 0
3600.08/3612.70 c restarts 0
3600.08/3612.70 c inprocessing phases 0
3600.08/3612.70 c garbage collections 0 ,( -nan )
3600.08/3612.70 c input clauses 31790 ,( 99.97 )
3600.08/3612.70 c input cardinalities 0 ,( 0.00 )
3600.08/3612.70 c input general constraints 8 ,( 0.03 )
3600.08/3612.70 c input average constraint length 2.51
3600.08/3612.70 c input average constraint degree 860.43
3600.08/3612.70 c learned clauses 0 ,( 0.00 )
3600.08/3612.70 c learned cardinalities 0 ,( 0.00 )
3600.08/3612.70 c learned general constraints 0 ,( 0.00 )
3600.08/3612.70 c learned average constraint length 0.00
3600.08/3612.70 c learned average constraint degree 0.00
3600.08/3612.70 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3612.70 c counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
3600.08/3612.70 c watched constraints 0 ,( 0.00 )
3600.08/3612.70 c counting constraints 8 ,( 100.00 )
3600.08/3612.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3612.70 c gcd simplifications 0
3600.08/3612.70 c detected cardinalities 0
3600.08/3612.70 c weakened non-implied lits 0
3600.08/3612.70 c weakened non-implying lits 0
3600.08/3612.70 c original variables 2023
3600.08/3612.70 c clausal propagations 0
3600.08/3612.70 c cardinality propagations 0
3600.08/3612.70 c watched propagations 0
3600.08/3612.70 c counting propagations 0
3600.08/3612.70 c watch lookups 0
3600.08/3612.70 c watch backjump lookups 0
3600.08/3612.70 c watch checks 0
3600.08/3612.70 c propagation checks 0
3600.08/3612.70 c constraint additions 0
3600.08/3612.70 c trail pops 0
3600.08/3612.70 c formula constraints 31798
3600.08/3612.70 c learned constraints 0
3600.08/3612.70 c bound constraints 0
3600.08/3612.70 c core-guided constraints 0
3600.08/3612.70 c encountered formula constraints 0
3600.08/3612.70 c encountered learned constraints 0
3600.08/3612.70 c encountered bound constraints 0
3600.08/3612.70 c encountered core-guided constraints 0
3600.08/3612.70 c LP total time 0 s
3600.08/3612.70 c LP solve time 0 s
3600.08/3612.70 c LP constraints added 0
3600.08/3612.70 c LP constraints removed 0
3600.08/3612.70 c LP pivots internal 0
3600.08/3612.70 c LP pivots root 0
3600.08/3612.70 c LP calls 0
3600.08/3612.70 c LP optimalities 0
3600.08/3612.70 c LP no pivot count 0
3600.08/3612.70 c LP infeasibilities 0
3600.08/3612.70 c LP valid Farkas constraints 0
3600.08/3612.70 c LP learned Farkas constraints 0
3600.08/3612.70 c LP basis resets 0
3600.08/3612.70 c LP cycling count 0
3600.08/3612.70 c LP singular count 0
3600.08/3612.70 c LP no primal count 0
3600.08/3612.70 c LP no farkas count 0
3600.08/3612.70 c LP other issue count 0
3600.08/3612.70 c LP Gomory cuts 0
3600.08/3612.70 c LP learned cuts 0
3600.08/3612.70 c LP deleted cuts 0
3600.08/3612.70 c LP encountered Gomory constraints 0
3600.08/3612.70 c LP encountered Farkas constraints 0
3600.08/3612.70 c LP encountered learned Farkas constraints 0
3600.08/3612.70 c CG auxiliary variables introduced 0
3600.08/3612.70 c CG solutions found 0
3600.08/3612.70 c CG cores constructed 0
3600.08/3612.70 c CG core cardinality constraints returned 0
3600.08/3612.70 c CG unit cores 0
3600.08/3612.70 c CG single cores 0
3600.08/3612.70 c CG blocks removed during cardinality reduction 0
3600.08/3612.70 c CG first core best 0
3600.08/3612.70 c CG decision core best 0
3600.08/3612.70 c CG core reduction tie 0
3600.08/3612.70 c CG core degree average 0.00
3600.08/3612.70 c CG core slack average 0.00
3600.08/3612.70 c CG core upper bound improvements 0
3600.08/3612.70 c STR number of successful calls 0
3600.08/3612.70 c STR number of unsuccessful calls 0
3600.08/3612.70 c STR number of inconclusive calls 0
3600.08/3612.70 c STR number of successful attempts 0
3600.08/3612.70 c STR number of unsuccessful attempts 0
3600.08/3612.70 c STR number of inconclusive attempts 0
3600.08/3612.70 c STR average degree increase per successful call inf
3600.08/3612.70 c STR average degree increase per successful attempt inf
3600.08/3612.70 c STR total number of conflicts for successful attempts 0
3600.08/3612.70 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3612.70 c STR total number of conflicts for inconclusive attempts 0
3600.08/3612.70 c STR average number of conflicts per successful attempt inf
3600.08/3612.70 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3612.70 c STR average number of conflicts per inconclusive attempt inf
3600.08/3612.70 c AVG.sumWPerc 90.76
3600.08/3612.70 c bigint constraints 0
3600.08/3612.70 s UNKNOWN
3600.08/3612.70 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (12835 MiB free)
memory of node 1: 64507 MiB (61538 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522367-1751597986/watcher-4522367-1751597986 -o /tmp/evaluation-result-4522367-1751597986/solver-4522367-1751597986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84102 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4522367-1751597986.opb PROOFDIR/proof-4522367-1751597986
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
solver pid=84615, runsolver pid=84612
Current StackSize limit: 8192 KiB
Starting watchdog thread
[startup+0.100068 s]*
/proc/loadavg: 4.29 4.16 4.10 6/263 84617
/proc/meminfo: memFree=76177104/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=56580 memory=10368 CPUtime=0.07 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 877 0 0 0 5 2 0 0 20 0 1 0 75477936 57937920 2592 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 14145 2592 2016 1147 0 1572 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60772 KiB
Current children cumulated memory: 13440 KiB
[startup+0.213743 s]*
/proc/loadavg: 4.29 4.16 4.10 6/263 84617
/proc/meminfo: memFree=76186400/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=58032 memory=12160 CPUtime=0.18 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 1319 0 0 0 13 5 0 0 20 0 1 0 75477936 59424768 3040 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 14508 3040 2016 1147 0 1935 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62224 KiB
Current children cumulated memory: 15232 KiB
[startup+0.314727 s]*
/proc/loadavg: 4.29 4.16 4.10 6/263 84617
/proc/meminfo: memFree=76290620/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=59124 memory=13684 CPUtime=0.26 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 1748 0 0 0 19 7 0 0 20 0 1 0 75477936 60542976 3421 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 14781 3421 2016 1147 0 2208 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 63316 KiB
Current children cumulated memory: 16756 KiB
[startup+0.70024 s]
/proc/loadavg: 4.29 4.16 4.10 6/263 84617
/proc/meminfo: memFree=77773704/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=104232 memory=57692 CPUtime=0.61 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 10009 0 0 0 46 15 0 0 20 0 1 0 75477936 106733568 14423 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 26058 14423 2368 1147 0 13485 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 108424 KiB
Current children cumulated memory: 60764 KiB
[startup+1.50023 s]
/proc/loadavg: 4.29 4.16 4.10 7/263 84617
/proc/meminfo: memFree=82515488/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=111332 memory=66212 CPUtime=1.39 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 10087 0 0 0 118 21 0 0 20 0 1 0 75477936 114003968 16553 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 27833 16553 2368 1147 0 15260 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 115524 KiB
Current children cumulated memory: 69284 KiB
[startup+3.10521 s]
/proc/loadavg: 4.34 4.17 4.11 7/263 84617
/proc/meminfo: memFree=114258836/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=127748 memory=82812 CPUtime=2.98 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 12174 0 0 0 270 28 0 0 20 0 1 0 75477936 130813952 20703 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 31937 20703 2400 1147 0 19364 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 131940 KiB
Current children cumulated memory: 85884 KiB
[startup+6.30031 s]
/proc/loadavg: 4.34 4.17 4.11 6/264 84618
/proc/meminfo: memFree=127071656/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=165552 memory=104264 CPUtime=6.16 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 16546 0 0 0 581 35 0 0 20 0 1 0 75477936 169525248 26066 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 41388 26066 2400 1147 0 28815 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 169744 KiB
Current children cumulated memory: 107336 KiB
[startup+12.7003 s]
/proc/loadavg: 4.29 4.17 4.11 6/264 84618
/proc/meminfo: memFree=126454320/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=182612 memory=130964 CPUtime=12.54 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 21184 0 0 0 1206 48 0 0 20 0 1 0 75477936 186994688 32741 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 45653 32741 2400 1147 0 33080 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 186804 KiB
Current children cumulated memory: 134036 KiB
[startup+25.5004 s]
/proc/loadavg: 4.25 4.16 4.10 5/264 84665
/proc/meminfo: memFree=125073596/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=229300 memory=160236 CPUtime=25.3 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 26994 0 0 0 2461 69 0 0 20 0 1 0 75477936 234803200 40059 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 57325 40059 2400 1147 0 44752 0
Current children cumulated CPU time: 25.3 s
Current children cumulated vsize: 233492 KiB
Current children cumulated memory: 163308 KiB
[startup+51.1135 s]
/proc/loadavg: 4.22 4.16 4.11 5/264 84666
/proc/meminfo: memFree=121813552/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=251168 memory=187596 CPUtime=50.83 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 31792 0 0 0 4980 103 0 0 20 0 1 0 75477936 257196032 46899 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 62792 46899 2400 1147 0 50219 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 255360 KiB
Current children cumulated memory: 190668 KiB
[startup+102.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/263 84678
/proc/meminfo: memFree=116960796/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=321988 memory=244392 CPUtime=101.87 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 41900 0 0 0 10012 175 0 0 20 0 1 0 75477936 329715712 61098 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 80497 61098 2400 1147 0 67924 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 326180 KiB
Current children cumulated memory: 247464 KiB
[startup+162.3 s]
/proc/loadavg: 4.19 4.16 4.11 5/262 84680
/proc/meminfo: memFree=110501996/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=365592 memory=282488 CPUtime=161.69 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 49961 0 0 0 15921 248 0 0 20 0 1 0 75477936 374366208 70622 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 91398 70622 2400 1147 0 78825 0
Current children cumulated CPU time: 161.69 s
Current children cumulated vsize: 369784 KiB
Current children cumulated memory: 285560 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.15 4.10 5/263 84683
/proc/meminfo: memFree=107026348/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=460164 memory=339192 CPUtime=221.49 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 60603 0 0 0 21841 308 0 0 20 0 1 0 75477936 471207936 84798 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 115041 84798 2400 1147 0 102468 0
################
# More data... #
################
/proc/84617/statm: 270485 222800 2400 1147 0 257912 0
Current children cumulated CPU time: 3091.56 s
Current children cumulated vsize: 1086132 KiB
Current children cumulated memory: 894272 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.20 4.18 5/261 84896
/proc/meminfo: memFree=74083544/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1094440 memory=898752 CPUtime=3151.35 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 146489 0 0 0 312835 2300 0 0 20 0 1 0 75477936 1120706560 224688 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 273610 224688 2400 1147 0 261037 0
Current children cumulated CPU time: 3151.35 s
Current children cumulated vsize: 1098632 KiB
Current children cumulated memory: 901824 KiB
[startup+3222.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/261 84899
/proc/meminfo: memFree=73456248/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1094440 memory=898752 CPUtime=3211.12 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 146495 0 0 0 318779 2333 0 0 20 0 1 0 75477936 1120706560 224688 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 273610 224688 2400 1147 0 261037 0
Current children cumulated CPU time: 3211.12 s
Current children cumulated vsize: 1098632 KiB
Current children cumulated memory: 901824 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.22 4.19 5/262 84902
/proc/meminfo: memFree=72843944/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1094440 memory=898752 CPUtime=3270.9 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 146495 0 0 0 324727 2363 0 0 20 0 1 0 75477936 1120706560 224688 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 273610 224688 2400 1147 0 261037 0
Current children cumulated CPU time: 3270.9 s
Current children cumulated vsize: 1098632 KiB
Current children cumulated memory: 901824 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.19 4.18 5/262 84904
/proc/meminfo: memFree=72156816/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1115136 memory=920652 CPUtime=3330.68 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 149426 0 0 0 330664 2404 0 0 20 0 1 0 75477936 1141899264 230163 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 278784 230163 2400 1147 0 266211 0
Current children cumulated CPU time: 3330.68 s
Current children cumulated vsize: 1119328 KiB
Current children cumulated memory: 923724 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.18 4.18 5/265 84910
/proc/meminfo: memFree=71611444/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1172752 memory=958660 CPUtime=3390.45 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 157398 0 0 0 336613 2432 0 0 20 0 1 0 75477936 1200898048 239665 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 293188 239665 2400 1147 0 280615 0
Current children cumulated CPU time: 3390.45 s
Current children cumulated vsize: 1176944 KiB
Current children cumulated memory: 961732 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.16 4.17 7/265 84914
/proc/meminfo: memFree=70951352/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1180236 memory=966088 CPUtime=3450.23 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 158743 0 0 0 342557 2466 0 0 20 0 1 0 75477936 1208561664 241522 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 295059 241522 2400 1147 0 282486 0
Current children cumulated CPU time: 3450.23 s
Current children cumulated vsize: 1184428 KiB
Current children cumulated memory: 969160 KiB
[startup+3522.3 s]
/proc/loadavg: 4.24 4.19 4.18 5/264 84920
/proc/meminfo: memFree=70401264/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1182096 memory=967624 CPUtime=3510.01 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 159128 0 0 0 348514 2487 0 0 20 0 1 0 75477936 1210466304 241906 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 295524 241906 2400 1147 0 282951 0
Current children cumulated CPU time: 3510.01 s
Current children cumulated vsize: 1186288 KiB
Current children cumulated memory: 970696 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.17 4.18 5/262 84922
/proc/meminfo: memFree=69757672/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1197216 memory=980824 CPUtime=3569.79 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 161432 0 0 0 354446 2533 0 0 20 0 1 0 75477936 1225949184 245206 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 299304 245206 2400 1147 0 286731 0
Current children cumulated CPU time: 3569.79 s
Current children cumulated vsize: 1201408 KiB
Current children cumulated memory: 983896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.7 s]
/proc/loadavg: 4.16 4.17 4.18 4/258 84933
/proc/meminfo: memFree=71371960/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1197216 memory=980824 CPUtime=3600.08 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 161432 0 0 0 357461 2547 0 0 20 0 1 0 75477936 1225949184 245206 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 299304 245206 2400 1147 0 286731 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1201408 KiB
Current children cumulated memory: 983896 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3612.71 s]
# the end of solver process 84615 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001205 s, system=0.003896 s
Sleeping 2 seconds
[startup+3612.78 s]
# the end of solver process 84617 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3574.63 s, system=25.4978 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.7 s]
/proc/loadavg: 4.16 4.17 4.18 4/258 84933
/proc/meminfo: memFree=71371960/131382120 swapFree=33010416/33010684
[pid=84615] ppid=84612 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/84615/stat : 84615 (run-opt-log.sh) S 84612 84615 84092 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 75477935 4292608 768 18446744073709551615 93885296726016 93885297620549 140729680813712 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93885297859600 93885297907344 93885308887040 140729680820513 140729680820708 140729680820708 140729680826310 0
/proc/84615/statm: 1048 768 704 219 0 110 0
[pid=84617] ppid=84615 vsize=1197216 memory=980824 CPUtime=3600.08 cores=0,2
/proc/84617/stat : 84617 (roundingsat) R 84615 84615 84092 0 -1 4194304 161432 0 0 0 357461 2547 0 0 20 0 1 0 75477936 1225949184 245206 18446744073709551615 4227072 8923433 140723271445360 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 34635776 140723271448914 140723271449128 140723271449128 140723271454698 0
/proc/84617/statm: 299304 245206 2400 1147 0 286731 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 1201408 KiB
Current children cumulated memory: 983896 KiB
Child status: 2
Real time (s): 3612.78
CPU time (s): 3600.13
CPU user time (s): 3574.63
CPU system time (s): 25.4978
CPU usage (%): 99.6499
Max. virtual memory (cumulated for all children) (KiB): 1201408
Max. memory (cumulated for all children) (KiB): 983896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3574.63
system time used= 25.4978
maximum resident set size= 980952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39162912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2506
involuntary context switches= 9771
# summary of solver processes directly reported to runsolver:
# pid: 84615,84617
# total CPU time (s): 3600.13
# total CPU user time (s): 3574.63
# total CPU system time (s): 25.4978
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.1615 second user time and 37.3459 second system time
The end
Begin job on nodeC006 at 2025-07-04 04:59:46
IDJOB=4522367
IDBENCH=178754
IDSOLVER=3351
FILE ID=nodeC006/4522367-1751597986
RUNJOBID= nodeC006-1751594361-84102
SLURM_JOB_ID= 9598859
Free space on /tmp= 432068 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-opm2-z7-s2.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4522367-1751597986/watcher-4522367-1751597986 -o /tmp/evaluation-result-4522367-1751597986/solver-4522367-1751597986 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751594361-84102 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4522367-1751597986.opb PROOFDIR/proof-4522367-1751597986
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cf5cf55a0ad097c03b301970f48ee2e9
RANDOM SEED=1559260774
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.152
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.707
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.139
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3591.427
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.662
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.654
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1795.644
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 76159348 kB
MemAvailable: 129243100 kB
Buffers: 2128 kB
Cached: 53808068 kB
SwapCached: 12 kB
Active: 1094612 kB
Inactive: 53343136 kB
Active(anon): 634540 kB
Inactive(anon): 10992 kB
Active(file): 460072 kB
Inactive(file): 53332144 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 84784 kB
Writeback: 2498516 kB
AnonPages: 630156 kB
Mapped: 117196 kB
Shmem: 17948 kB
KReclaimable: 261944 kB
Slab: 431928 kB
SReclaimable: 261944 kB
SUnreclaim: 169984 kB
KernelStack: 4240 kB
PageTables: 4436 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1010568 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149560 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 192512 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 431956 MiB
End job on nodeC006 at 2025-07-04 05:59:59