0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.46/0.52 c #variables 4356 #constraints 100680
0.46/0.52 c objective is ce32
0.64/0.79 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.64/0.79 c initial counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
0.64/0.79 c GLOBAL bounds - >= -300660 @ 0.55854
0.75/0.80 c GLOBAL bounds - >= -300660 @ 0.562253
0.75/0.80 c GLOBAL bounds - >= -300660 @ 0.566019
0.75/0.80 c GLOBAL bounds - >= -300660 @ 0.569577
0.75/0.81 c GLOBAL bounds - >= -300660 @ 0.573501
0.75/0.81 c GLOBAL bounds - >= -300660 @ 0.577102
0.75/0.82 c GLOBAL bounds - >= -300660 @ 0.580933
0.75/0.82 c GLOBAL bounds - >= -300660 @ 0.584274
0.75/0.82 c GLOBAL bounds - >= -300660 @ 0.588276
0.75/0.83 c GLOBAL bounds - >= -300660 @ 0.592257
0.75/0.83 c GLOBAL bounds - >= -300660 @ 0.596295
0.75/0.84 c GLOBAL bounds - >= -300660 @ 0.600113
0.75/0.84 c GLOBAL bounds - >= -300660 @ 0.604351
0.75/0.84 c GLOBAL bounds - >= -300660 @ 0.608235
0.75/0.85 c GLOBAL bounds - >= -300660 @ 0.611465
0.75/0.85 c GLOBAL bounds - >= -300660 @ 0.614396
0.75/0.86 c GLOBAL bounds - >= -300660 @ 0.618614
0.75/0.86 c GLOBAL bounds - >= -300660 @ 0.622749
0.75/0.86 c GLOBAL bounds - >= -300660 @ 0.626017
0.75/0.87 c GLOBAL bounds - >= -300660 @ 0.629235
0.75/0.87 c GLOBAL bounds - >= -300660 @ 0.633494
0.75/0.88 c GLOBAL bounds - >= -300660 @ 0.636712
0.75/0.88 c GLOBAL bounds - >= -300660 @ 0.639227
0.75/0.89 c GLOBAL bounds - >= -300660 @ 0.642375
0.75/0.89 c GLOBAL bounds - >= -300660 @ 0.646828
0.75/0.90 c GLOBAL bounds - >= -300660 @ 0.651206
0.85/0.90 c GLOBAL bounds - >= -300660 @ 0.657007
0.85/0.91 c GLOBAL bounds - >= -300660 @ 0.661965
0.85/0.91 c GLOBAL bounds - >= -300660 @ 0.665043
0.85/0.92 c GLOBAL bounds - >= -300660 @ 0.66866
0.85/0.92 c GLOBAL bounds - >= -300660 @ 0.673474
0.85/0.93 c GLOBAL bounds - >= -300660 @ 0.677401
0.85/0.93 c GLOBAL bounds - >= -300660 @ 0.68141
0.85/0.94 c GLOBAL bounds - >= -300660 @ 0.686355
0.85/0.94 c GLOBAL bounds - >= -300660 @ 0.691343
0.85/0.95 c GLOBAL bounds - >= -300660 @ 0.695407
0.85/0.95 c GLOBAL bounds - >= -300660 @ 0.699434
0.85/0.96 c GLOBAL bounds - >= -300660 @ 0.702456
0.85/0.96 c GLOBAL bounds - >= -300660 @ 0.707443
0.85/0.97 c GLOBAL bounds - >= -300660 @ 0.712509
0.85/0.97 c GLOBAL bounds - >= -300660 @ 0.716634
0.85/0.98 c GLOBAL bounds - >= -300660 @ 0.720756
0.85/0.98 c GLOBAL bounds - >= -300660 @ 0.725118
0.85/0.99 c GLOBAL bounds - >= -300660 @ 0.728312
0.85/0.99 c GLOBAL bounds - >= -300660 @ 0.732609
0.85/1.00 c GLOBAL bounds - >= -300660 @ 0.737865
0.96/1.00 c GLOBAL bounds - >= -300660 @ 0.741308
0.96/1.01 c GLOBAL bounds - >= -300660 @ 0.746554
0.96/1.01 c GLOBAL bounds - >= -300660 @ 0.750066
0.96/1.02 c GLOBAL bounds - >= -300660 @ 0.75434
0.96/1.02 c GLOBAL bounds - >= -300660 @ 0.759689
0.96/1.03 c GLOBAL bounds - >= -300660 @ 0.764419
0.96/1.04 c GLOBAL bounds - >= -300660 @ 0.769121
0.96/1.04 c GLOBAL bounds - >= -300660 @ 0.773485
0.96/1.05 c GLOBAL bounds - >= -300660 @ 0.778146
0.96/1.05 c GLOBAL bounds - >= -300660 @ 0.782808
0.96/1.06 c GLOBAL bounds - >= -300660 @ 0.788262
0.96/1.06 c GLOBAL bounds - >= -300660 @ 0.793984
0.96/1.07 c GLOBAL bounds - >= -300660 @ 0.799677
0.96/1.07 c GLOBAL bounds - >= -300660 @ 0.80462
0.96/1.08 c GLOBAL bounds - >= -300660 @ 0.810396
0.96/1.09 c GLOBAL bounds - >= -300660 @ 0.814295
0.96/1.09 c GLOBAL bounds - >= -300660 @ 0.820369
0.96/1.10 c GLOBAL bounds - >= -300660 @ 0.826268
1.06/1.10 c GLOBAL bounds - >= -300660 @ 0.832319
1.06/1.11 c GLOBAL bounds - >= -300660 @ 0.838864
1.06/1.12 c GLOBAL bounds - >= -300660 @ 0.842842
1.06/1.12 c GLOBAL bounds - >= -300660 @ 0.848935
1.06/1.13 c GLOBAL bounds - >= -300660 @ 0.85512
1.06/1.14 c GLOBAL bounds - >= -300660 @ 0.861181
1.06/1.14 c GLOBAL bounds - >= -300660 @ 0.867313
1.06/1.15 c GLOBAL bounds - >= -300660 @ 0.873487
1.06/1.16 c GLOBAL bounds - >= -300660 @ 0.878855
1.06/1.16 c GLOBAL bounds - >= -300660 @ 0.885031
1.06/1.17 c GLOBAL bounds - >= -300660 @ 0.891368
1.06/1.17 c GLOBAL bounds - >= -300660 @ 0.897725
1.06/1.18 c GLOBAL bounds - >= -300660 @ 0.902155
1.06/1.19 c GLOBAL bounds - >= -300660 @ 0.907717
1.06/1.19 c GLOBAL bounds - >= -300660 @ 0.913064
1.15/1.20 c GLOBAL bounds - >= -300660 @ 0.918868
1.15/1.21 c GLOBAL bounds - >= -300660 @ 0.925398
1.15/1.21 c GLOBAL bounds - >= -300660 @ 0.931066
1.15/1.22 c GLOBAL bounds - >= -300660 @ 0.937756
1.15/1.23 c GLOBAL bounds - >= -300660 @ 0.943538
1.15/1.23 c GLOBAL bounds - >= -300660 @ 0.949312
1.15/1.24 c GLOBAL bounds - >= -300660 @ 0.954858
1.15/1.25 c GLOBAL bounds - >= -300660 @ 0.961383
1.15/1.25 c GLOBAL bounds - >= -300660 @ 0.96709
1.15/1.26 c GLOBAL bounds - >= -300660 @ 0.973587
1.15/1.27 c GLOBAL bounds - >= -300660 @ 0.980391
1.15/1.28 c GLOBAL bounds - >= -300660 @ 0.987185
1.15/1.28 c GLOBAL bounds - >= -300660 @ 0.993992
1.15/1.29 c GLOBAL bounds - >= -300660 @ 0.999943
1.25/1.30 c GLOBAL bounds - >= -300660 @ 1.00588
1.25/1.30 c GLOBAL bounds - >= -300660 @ 1.01295
1.25/1.31 c GLOBAL bounds - >= -300660 @ 1.01908
1.25/1.32 c GLOBAL bounds - >= -300660 @ 1.02619
1.25/1.33 c GLOBAL bounds - >= -300660 @ 1.03325
1.25/1.33 c GLOBAL bounds - >= -300660 @ 1.03944
1.25/1.34 c GLOBAL bounds - >= -300660 @ 1.04449
1.25/1.35 c GLOBAL bounds - >= -300660 @ 1.05146
1.25/1.35 c GLOBAL bounds - >= -300660 @ 1.05759
1.25/1.36 c GLOBAL bounds - >= -300660 @ 1.06467
1.25/1.37 c GLOBAL bounds - >= -300660 @ 1.07179
1.25/1.37 c GLOBAL bounds - >= -300660 @ 1.07808
1.25/1.38 c GLOBAL bounds - >= -300660 @ 1.08431
1.25/1.39 c GLOBAL bounds - >= -300660 @ 1.09073
1.34/1.40 c GLOBAL bounds - >= -300660 @ 1.09826
1.34/1.40 c GLOBAL bounds - >= -300660 @ 1.10584
1.34/1.41 c GLOBAL bounds - >= -300660 @ 1.11319
1.34/1.42 c GLOBAL bounds - >= -300660 @ 1.11858
1.34/1.43 c GLOBAL bounds - >= -300660 @ 1.12408
1.34/1.43 c GLOBAL bounds - >= -300660 @ 1.1313
1.34/1.44 c GLOBAL bounds - >= -300660 @ 1.13906
1.34/1.45 c GLOBAL bounds - >= -300660 @ 1.14705
1.34/1.46 c GLOBAL bounds - >= -300660 @ 1.15405
1.34/1.47 c GLOBAL bounds - >= -300660 @ 1.16105
1.34/1.47 c GLOBAL bounds - >= -300660 @ 1.16788
1.34/1.48 c GLOBAL bounds - >= -300660 @ 1.17344
1.34/1.49 c GLOBAL bounds - >= -300660 @ 1.18111
1.44/1.50 c GLOBAL bounds - >= -300660 @ 1.18605
1.44/1.51 c GLOBAL bounds - >= -300660 @ 1.19297
1.44/1.51 c GLOBAL bounds - >= -300660 @ 1.19984
1.44/1.52 c GLOBAL bounds - >= -300660 @ 1.20688
1.44/1.53 c GLOBAL bounds - >= -300660 @ 1.21544
1.44/1.54 c GLOBAL bounds - >= -300660 @ 1.22206
1.44/1.55 c GLOBAL bounds - >= -300660 @ 1.2303
1.44/1.55 c GLOBAL bounds - >= -300660 @ 1.23835
1.44/1.56 c GLOBAL bounds - >= -300660 @ 1.24578
1.44/1.57 c GLOBAL bounds - >= -300660 @ 1.25387
1.44/1.58 c GLOBAL bounds - >= -300660 @ 1.26132
1.44/1.59 c GLOBAL bounds - >= -300660 @ 1.26878
1.54/1.60 c GLOBAL bounds - >= -300660 @ 1.27713
1.54/1.60 c GLOBAL bounds - >= -300660 @ 1.28459
1.54/1.61 c GLOBAL bounds - >= -300660 @ 1.29269
1.54/1.62 c GLOBAL bounds - >= -300660 @ 1.29906
1.54/1.63 c GLOBAL bounds - >= -300660 @ 1.30734
1.54/1.64 c GLOBAL bounds - >= -300660 @ 1.31569
1.54/1.65 c GLOBAL bounds - >= -300660 @ 1.32418
1.54/1.66 c GLOBAL bounds - >= -300660 @ 1.33183
1.54/1.66 c GLOBAL bounds - >= -300660 @ 1.34054
1.54/1.67 c GLOBAL bounds - >= -300660 @ 1.35013
1.54/1.68 c GLOBAL bounds - >= -300660 @ 1.35814
1.54/1.69 c GLOBAL bounds - >= -300660 @ 1.36703
1.65/1.70 c GLOBAL bounds - >= -300660 @ 1.37503
1.65/1.71 c GLOBAL bounds - >= -300660 @ 1.38285
1.65/1.72 c GLOBAL bounds - >= -300660 @ 1.39061
1.65/1.73 c GLOBAL bounds - >= -300660 @ 1.39931
1.65/1.74 c GLOBAL bounds - >= -300660 @ 1.4081
1.65/1.74 c GLOBAL bounds - >= -300660 @ 1.41594
1.65/1.75 c GLOBAL bounds - >= -300660 @ 1.42379
1.65/1.76 c GLOBAL bounds - >= -300660 @ 1.43173
1.65/1.77 c GLOBAL bounds - >= -300660 @ 1.43875
1.65/1.78 c GLOBAL bounds - >= -300660 @ 1.44768
1.65/1.79 c GLOBAL bounds - >= -300660 @ 1.45659
1.75/1.80 c GLOBAL bounds - >= -300660 @ 1.46548
1.75/1.81 c GLOBAL bounds - >= -300660 @ 1.47345
1.75/1.82 c GLOBAL bounds - >= -300660 @ 1.48245
1.75/1.83 c GLOBAL bounds - >= -300660 @ 1.49065
1.75/1.83 c GLOBAL bounds - >= -300660 @ 1.49996
1.75/1.84 c GLOBAL bounds - >= -300660 @ 1.5093
1.75/1.85 c GLOBAL bounds - >= -300660 @ 1.51865
1.75/1.86 c GLOBAL bounds - >= -300660 @ 1.52817
1.75/1.87 c GLOBAL bounds - >= -300660 @ 1.53456
1.75/1.88 c GLOBAL bounds - >= -300660 @ 1.54182
1.75/1.89 c GLOBAL bounds - >= -300660 @ 1.55041
1.84/1.90 c GLOBAL bounds - >= -300660 @ 1.55975
1.84/1.91 c GLOBAL bounds - >= -300660 @ 1.56721
1.84/1.92 c GLOBAL bounds - >= -300660 @ 1.57661
1.84/1.93 c GLOBAL bounds - >= -300660 @ 1.58424
1.84/1.94 c GLOBAL bounds - >= -300660 @ 1.59295
1.84/1.95 c GLOBAL bounds - >= -300660 @ 1.60144
1.84/1.96 c GLOBAL bounds - >= -300660 @ 1.61099
1.84/1.97 c GLOBAL bounds - >= -300660 @ 1.61977
1.84/1.98 c GLOBAL bounds - >= -300660 @ 1.62837
1.84/1.99 c GLOBAL bounds - >= -300660 @ 1.63799
1.84/2.00 c GLOBAL bounds - >= -300660 @ 1.64574
1.95/2.01 c GLOBAL bounds - >= -300660 @ 1.65554
1.95/2.02 c GLOBAL bounds - >= -300660 @ 1.66438
1.95/2.03 c GLOBAL bounds - >= -300660 @ 1.67413
1.95/2.04 c GLOBAL bounds - >= -300660 @ 1.68309
1.95/2.05 c GLOBAL bounds - >= -300660 @ 1.69295
1.95/2.06 c GLOBAL bounds - >= -300660 @ 1.70204
1.95/2.07 c GLOBAL bounds - >= -300660 @ 1.71208
1.95/2.08 c GLOBAL bounds - >= -300660 @ 1.72113
1.95/2.09 c GLOBAL bounds - >= -300660 @ 1.73103
1.95/2.10 c GLOBAL bounds - >= -300660 @ 1.74002
2.05/2.11 c GLOBAL bounds - >= -300660 @ 1.74997
2.05/2.12 c GLOBAL bounds - >= -300660 @ 1.758
2.05/2.13 c GLOBAL bounds - >= -300660 @ 1.76722
2.05/2.14 c GLOBAL bounds - >= -300660 @ 1.7777
2.05/2.15 c GLOBAL bounds - >= -300660 @ 1.78716
2.05/2.16 c GLOBAL bounds - >= -300660 @ 1.79758
2.05/2.17 c GLOBAL bounds - >= -300660 @ 1.80688
2.05/2.18 c GLOBAL bounds - >= -300660 @ 1.81726
2.05/2.19 c GLOBAL bounds - >= -300660 @ 1.82775
2.15/2.20 c GLOBAL bounds - >= -300660 @ 1.83821
2.15/2.21 c GLOBAL bounds - >= -300660 @ 1.84868
2.15/2.22 c GLOBAL bounds - >= -300660 @ 1.85831
2.15/2.23 c GLOBAL bounds - >= -300660 @ 1.86688
2.15/2.24 c GLOBAL bounds - >= -300660 @ 1.87756
2.15/2.25 c GLOBAL bounds - >= -300660 @ 1.88805
2.15/2.27 c GLOBAL bounds - >= -300660 @ 1.89864
2.15/2.28 c GLOBAL bounds - >= -300660 @ 1.90918
2.15/2.29 c GLOBAL bounds - >= -300660 @ 1.91881
2.24/2.30 c GLOBAL bounds - >= -300660 @ 1.92946
2.24/2.31 c GLOBAL bounds - >= -300660 @ 1.93906
2.24/2.32 c GLOBAL bounds - >= -300660 @ 1.94809
2.24/2.33 c GLOBAL bounds - >= -300660 @ 1.95811
2.24/2.34 c GLOBAL bounds - >= -300660 @ 1.96912
2.24/2.35 c GLOBAL bounds - >= -300660 @ 1.97912
2.24/2.36 c GLOBAL bounds - >= -300660 @ 1.9899
2.24/2.37 c GLOBAL bounds - >= -300660 @ 2.00084
2.24/2.38 c GLOBAL bounds - >= -300660 @ 2.01167
2.35/2.40 c GLOBAL bounds - >= -300660 @ 2.02156
2.35/2.41 c GLOBAL bounds - >= -300660 @ 2.0317
2.35/2.42 c GLOBAL bounds - >= -300660 @ 2.04192
2.35/2.43 c GLOBAL bounds - >= -300660 @ 2.05288
2.35/2.44 c GLOBAL bounds - >= -300660 @ 2.06483
2.35/2.45 c GLOBAL bounds - >= -300660 @ 2.07603
2.35/2.46 c GLOBAL bounds - >= -300660 @ 2.08622
2.35/2.48 c GLOBAL bounds - >= -300660 @ 2.0943
2.35/2.49 c GLOBAL bounds - >= -300660 @ 2.10458
2.44/2.50 c GLOBAL bounds - >= -300660 @ 2.11573
2.44/2.51 c GLOBAL bounds - >= -300660 @ 2.12514
2.44/2.52 c GLOBAL bounds - >= -300660 @ 2.13637
2.44/2.53 c GLOBAL bounds - >= -300660 @ 2.14765
2.44/2.54 c GLOBAL bounds - >= -300660 @ 2.15594
2.44/2.55 c GLOBAL bounds - >= -300660 @ 2.16724
2.44/2.57 c GLOBAL bounds - >= -300660 @ 2.17757
2.44/2.58 c GLOBAL bounds - >= -300660 @ 2.18787
2.44/2.59 c GLOBAL bounds - >= -300660 @ 2.19728
2.54/2.60 c GLOBAL bounds - >= -300660 @ 2.20896
2.54/2.61 c GLOBAL bounds - >= -300660 @ 2.22045
2.54/2.62 c GLOBAL bounds - >= -300660 @ 2.23206
2.54/2.64 c GLOBAL bounds - >= -300660 @ 2.2438
2.54/2.65 c GLOBAL bounds - >= -300660 @ 2.25468
2.54/2.66 c GLOBAL bounds - >= -300660 @ 2.26638
2.54/2.67 c GLOBAL bounds - >= -300660 @ 2.27721
2.54/2.68 c GLOBAL bounds - >= -300660 @ 2.28883
2.54/2.69 c GLOBAL bounds - >= -300660 @ 2.29863
2.65/2.71 c GLOBAL bounds - >= -300660 @ 2.31028
2.65/2.72 c GLOBAL bounds - >= -300660 @ 2.32103
2.65/2.73 c GLOBAL bounds - >= -300660 @ 2.33217
2.65/2.74 c GLOBAL bounds - >= -300660 @ 2.34357
2.65/2.75 c GLOBAL bounds - >= -300660 @ 2.35557
2.65/2.77 c GLOBAL bounds - >= -300660 @ 2.36765
2.65/2.78 c GLOBAL bounds - >= -300660 @ 2.37962
2.65/2.79 c GLOBAL bounds - >= -300660 @ 2.39078
2.74/2.80 c GLOBAL bounds - >= -300660 @ 2.403
2.74/2.82 c GLOBAL bounds - >= -300660 @ 2.4142
2.74/2.83 c GLOBAL bounds - >= -300660 @ 2.42651
2.74/2.84 c GLOBAL bounds - >= -300660 @ 2.43805
2.74/2.85 c GLOBAL bounds - >= -300660 @ 2.45025
2.74/2.86 c GLOBAL bounds - >= -300660 @ 2.46261
2.74/2.88 c GLOBAL bounds - >= -300660 @ 2.47456
2.74/2.89 c GLOBAL bounds - >= -300660 @ 2.48756
2.84/2.90 c GLOBAL bounds - >= -300660 @ 2.50014
2.84/2.92 c GLOBAL bounds - >= -300660 @ 2.51294
2.84/2.93 c GLOBAL bounds - >= -300660 @ 2.52544
2.84/2.94 c GLOBAL bounds - >= -300660 @ 2.53798
2.84/2.95 c GLOBAL bounds - >= -300660 @ 2.54852
2.84/2.97 c GLOBAL bounds - >= -300660 @ 2.55989
2.84/2.98 c GLOBAL bounds - >= -300660 @ 2.57152
2.84/2.99 c GLOBAL bounds - >= -300660 @ 2.583
2.95/3.00 c GLOBAL bounds - >= -300660 @ 2.59456
2.95/3.02 c GLOBAL bounds - >= -300660 @ 2.60707
2.95/3.03 c GLOBAL bounds - >= -300660 @ 2.61969
2.95/3.04 c GLOBAL bounds - >= -300660 @ 2.63035
2.95/3.06 c GLOBAL bounds - >= -300660 @ 2.64362
2.95/3.07 c GLOBAL bounds - >= -300660 @ 2.65547
2.95/3.08 c GLOBAL bounds - >= -300660 @ 2.66961
2.95/3.10 c GLOBAL bounds - >= -300660 @ 2.68371
3.04/3.11 c GLOBAL bounds - >= -300660 @ 2.69653
3.04/3.12 c GLOBAL bounds - >= -300660 @ 2.70999
3.04/3.14 c GLOBAL bounds - >= -300660 @ 2.72186
3.04/3.15 c GLOBAL bounds - >= -300660 @ 2.73543
3.04/3.17 c GLOBAL bounds - >= -300660 @ 2.74821
3.04/3.18 c GLOBAL bounds - >= -300660 @ 2.76012
3.04/3.19 c GLOBAL bounds - >= -300660 @ 2.77446
3.14/3.21 c GLOBAL bounds - >= -300660 @ 2.78963
3.14/3.22 c GLOBAL bounds - >= -300660 @ 2.80188
3.14/3.23 c GLOBAL bounds - >= -300660 @ 2.81394
3.14/3.25 c GLOBAL bounds - >= -300660 @ 2.83286
3.14/3.27 c GLOBAL bounds - >= -300660 @ 2.84668
3.14/3.28 c GLOBAL bounds - >= -300660 @ 2.86039
3.24/3.30 c GLOBAL bounds - >= -300660 @ 2.87445
3.24/3.31 c GLOBAL bounds - >= -300660 @ 2.88886
3.24/3.33 c GLOBAL bounds - >= -300660 @ 2.9039
3.24/3.34 c GLOBAL bounds - >= -300660 @ 2.91905
3.24/3.36 c GLOBAL bounds - >= -300660 @ 2.93176
3.24/3.37 c GLOBAL bounds - >= -300660 @ 2.94535
3.24/3.39 c GLOBAL bounds - >= -300660 @ 2.96052
3.35/3.40 c GLOBAL bounds - >= -300660 @ 2.97472
3.35/3.42 c GLOBAL bounds - >= -300660 @ 2.99008
3.35/3.43 c GLOBAL bounds - >= -300660 @ 3.00794
3.35/3.45 c GLOBAL bounds - >= -300660 @ 3.02161
3.35/3.46 c GLOBAL bounds - >= -300660 @ 3.03558
3.35/3.48 c GLOBAL bounds - >= -300660 @ 3.05039
3.35/3.49 c GLOBAL bounds - >= -300660 @ 3.06344
3.44/3.51 c GLOBAL bounds - >= -300660 @ 3.07875
3.44/3.52 c GLOBAL bounds - >= -300660 @ 3.09317
3.44/3.54 c GLOBAL bounds - >= -300660 @ 3.10893
3.44/3.55 c GLOBAL bounds - >= -300660 @ 3.12316
3.44/3.57 c GLOBAL bounds - >= -300660 @ 3.13832
3.44/3.59 c GLOBAL bounds - >= -300660 @ 3.15419
3.54/3.60 c GLOBAL bounds - >= -300660 @ 3.17011
3.54/3.62 c GLOBAL bounds - >= -300660 @ 3.18627
3.54/3.63 c GLOBAL bounds - >= -300660 @ 3.20224
3.54/3.65 c GLOBAL bounds - >= -300660 @ 3.22019
3.54/3.67 c GLOBAL bounds - >= -300660 @ 3.23488
3.54/3.68 c GLOBAL bounds - >= -300660 @ 3.25036
3.64/3.70 c GLOBAL bounds - >= -300660 @ 3.26603
3.64/3.71 c GLOBAL bounds - >= -300660 @ 3.28171
3.64/3.73 c GLOBAL bounds - >= -300660 @ 3.29678
3.64/3.74 c GLOBAL bounds - >= -300660 @ 3.31188
3.64/3.76 c GLOBAL bounds - >= -300660 @ 3.32765
3.64/3.78 c GLOBAL bounds - >= -300660 @ 3.3432
3.64/3.79 c GLOBAL bounds - >= -300660 @ 3.36003
3.74/3.81 c GLOBAL bounds - >= -300660 @ 3.37693
3.74/3.83 c GLOBAL bounds - >= -300660 @ 3.39129
3.74/3.84 c GLOBAL bounds - >= -300660 @ 3.40839
3.74/3.86 c GLOBAL bounds - >= -300660 @ 3.42288
3.74/3.88 c GLOBAL bounds - >= -300660 @ 3.43817
3.84/3.90 c GLOBAL bounds - >= -300660 @ 3.46045
3.84/3.92 c GLOBAL bounds - >= -300660 @ 3.47695
3.84/3.94 c GLOBAL bounds - >= -300660 @ 3.50178
3.84/3.99 c GLOBAL bounds - >= -300660 @ 3.54482
3.95/4.00 c GLOBAL bounds - >= -300660 @ 3.56096
3.95/4.02 c GLOBAL bounds - >= -300660 @ 3.57804
3.95/4.04 c GLOBAL bounds - >= -300660 @ 3.59427
3.95/4.05 c GLOBAL bounds - >= -300660 @ 3.61045
3.95/4.07 c GLOBAL bounds - >= -300660 @ 3.62864
3.95/4.09 c GLOBAL bounds - >= -300660 @ 3.64641
4.05/4.11 c GLOBAL bounds - >= -300660 @ 3.66465
4.05/4.13 c GLOBAL bounds - >= -300660 @ 3.68266
4.05/4.14 c GLOBAL bounds - >= -300660 @ 3.69894
4.05/4.16 c GLOBAL bounds - >= -300660 @ 3.71454
4.05/4.18 c GLOBAL bounds - >= -300660 @ 3.73257
4.05/4.19 c GLOBAL bounds - >= -300660 @ 3.74946
4.14/4.21 c GLOBAL bounds - >= -300660 @ 3.76798
4.14/4.25 c GLOBAL bounds - >= -300660 @ 3.79946
4.14/4.26 c GLOBAL bounds - >= -300660 @ 3.81715
4.14/4.28 c GLOBAL bounds - >= -300660 @ 3.83617
4.24/4.30 c GLOBAL bounds - >= -300660 @ 3.85539
4.24/4.32 c GLOBAL bounds - >= -300660 @ 3.87321
4.24/4.34 c GLOBAL bounds - >= -300660 @ 3.89065
4.24/4.36 c GLOBAL bounds - >= -300660 @ 3.90971
4.24/4.38 c GLOBAL bounds - >= -300660 @ 3.92867
4.34/4.40 c GLOBAL bounds - >= -300660 @ 3.94722
4.34/4.41 c GLOBAL bounds - >= -300660 @ 3.96476
4.34/4.43 c GLOBAL bounds - >= -300660 @ 3.98407
4.34/4.45 c GLOBAL bounds - >= -300660 @ 4.00272
4.34/4.47 c GLOBAL bounds - >= -300660 @ 4.02147
4.34/4.49 c GLOBAL bounds - >= -300660 @ 4.04219
4.44/4.51 c GLOBAL bounds - >= -300660 @ 4.06152
4.44/4.53 c GLOBAL bounds - >= -300660 @ 4.07819
4.44/4.55 c GLOBAL bounds - >= -300660 @ 4.10158
4.44/4.57 c GLOBAL bounds - >= -300660 @ 4.11948
4.44/4.59 c GLOBAL bounds - >= -300660 @ 4.13928
4.54/4.61 c GLOBAL bounds - >= -300660 @ 4.15884
4.54/4.65 c GLOBAL bounds - >= -300660 @ 4.19521
4.54/4.67 c GLOBAL bounds - >= -300660 @ 4.21779
4.54/4.69 c GLOBAL bounds - >= -300660 @ 4.23686
4.64/4.71 c GLOBAL bounds - >= -300660 @ 4.25444
4.64/4.73 c GLOBAL bounds - >= -300660 @ 4.27114
4.64/4.75 c GLOBAL bounds - >= -300660 @ 4.29087
4.64/4.77 c GLOBAL bounds - >= -300660 @ 4.30905
4.64/4.79 c GLOBAL bounds - >= -300660 @ 4.32956
4.74/4.81 c GLOBAL bounds - >= -300660 @ 4.35463
4.74/4.83 c GLOBAL bounds - >= -300660 @ 4.37467
4.74/4.85 c GLOBAL bounds - >= -300660 @ 4.39447
4.74/4.87 c GLOBAL bounds - >= -300660 @ 4.41229
4.84/4.91 c GLOBAL bounds - >= -300660 @ 4.44621
4.84/4.93 c GLOBAL bounds - >= -300660 @ 4.46528
4.84/4.95 c GLOBAL bounds - >= -300660 @ 4.48378
4.84/4.97 c GLOBAL bounds - >= -300660 @ 4.50651
4.84/4.99 c GLOBAL bounds - >= -300660 @ 4.52718
4.95/5.01 c GLOBAL bounds - >= -300660 @ 4.54587
4.95/5.03 c GLOBAL bounds - >= -300660 @ 4.56599
4.95/5.05 c GLOBAL bounds - >= -300660 @ 4.58447
4.95/5.07 c GLOBAL bounds - >= -300660 @ 4.6032
4.95/5.09 c GLOBAL bounds - >= -300660 @ 4.62092
5.04/5.11 c GLOBAL bounds - >= -300660 @ 4.6441
5.04/5.13 c GLOBAL bounds - >= -300660 @ 4.66955
5.04/5.16 c GLOBAL bounds - >= -300660 @ 4.69364
5.04/5.18 c GLOBAL bounds - >= -300660 @ 4.71627
5.14/5.21 c GLOBAL bounds - >= -300660 @ 4.73901
5.14/5.23 c GLOBAL bounds - >= -300660 @ 4.76032
5.14/5.26 c GLOBAL bounds - >= -300660 @ 4.78781
5.83/5.93 c GLOBAL bounds - >= -300660 @ 5.44832
5.95/6.00 c GLOBAL bounds - >= -300660 @ 5.52194
5.95/6.03 c GLOBAL bounds - >= -300660 @ 5.55165
5.95/6.07 c GLOBAL bounds - >= -300660 @ 5.58981
6.04/6.10 c GLOBAL bounds - >= -300660 @ 5.61707
6.04/6.13 c GLOBAL bounds - >= -300660 @ 5.64585
6.04/6.16 c GLOBAL bounds - >= -300660 @ 5.67465
6.04/6.19 c GLOBAL bounds - >= -300660 @ 5.70558
6.14/6.22 c GLOBAL bounds - >= -300660 @ 5.73667
6.14/6.25 c GLOBAL bounds - >= -300660 @ 5.7671
6.14/6.28 c GLOBAL bounds - >= -300660 @ 5.79835
6.24/6.32 c GLOBAL bounds - >= -300660 @ 5.82888
6.24/6.35 c GLOBAL bounds - >= -300660 @ 5.85817
6.24/6.38 c GLOBAL bounds - >= -300660 @ 5.88784
6.33/6.41 c GLOBAL bounds - >= -300660 @ 5.91911
6.33/6.44 c GLOBAL bounds - >= -300660 @ 5.95055
6.33/6.47 c GLOBAL bounds - >= -300660 @ 5.98069
6.43/6.50 c GLOBAL bounds - >= -300660 @ 6.0146
6.43/6.54 c GLOBAL bounds - >= -300660 @ 6.04585
6.43/6.57 c GLOBAL bounds - >= -300660 @ 6.07552
6.53/6.60 c GLOBAL bounds - >= -300660 @ 6.10654
6.53/6.63 c GLOBAL bounds - >= -300660 @ 6.13832
6.53/6.66 c GLOBAL bounds - >= -300660 @ 6.16732
6.53/6.69 c GLOBAL bounds - >= -300660 @ 6.1975
6.64/6.72 c GLOBAL bounds - >= -300660 @ 6.22954
6.64/6.76 c GLOBAL bounds - >= -300660 @ 6.26703
6.74/6.80 c GLOBAL bounds - >= -300660 @ 6.30314
6.74/6.83 c GLOBAL bounds - >= -300660 @ 6.33469
6.74/6.86 c GLOBAL bounds - >= -300660 @ 6.3669
6.83/6.90 c GLOBAL bounds - >= -300660 @ 6.39866
6.83/6.93 c GLOBAL bounds - >= -300660 @ 6.4314
6.83/6.96 c GLOBAL bounds - >= -300660 @ 6.46206
6.83/6.99 c GLOBAL bounds - >= -300660 @ 6.4917
6.94/7.02 c GLOBAL bounds - >= -300660 @ 6.52466
6.94/7.06 c GLOBAL bounds - >= -300660 @ 6.55635
6.94/7.09 c GLOBAL bounds - >= -300660 @ 6.58717
7.04/7.12 c GLOBAL bounds - >= -300660 @ 6.61817
7.04/7.15 c GLOBAL bounds - >= -300660 @ 6.6497
7.04/7.18 c GLOBAL bounds - >= -300660 @ 6.68297
7.13/7.22 c GLOBAL bounds - >= -300660 @ 6.71576
7.13/7.25 c GLOBAL bounds - >= -300660 @ 6.74733
7.13/7.28 c GLOBAL bounds - >= -300660 @ 6.78013
7.23/7.31 c GLOBAL bounds - >= -300660 @ 6.81048
7.23/7.36 c GLOBAL bounds - >= -300660 @ 6.85333
7.34/7.40 c GLOBAL bounds - >= -300660 @ 6.89128
7.34/7.43 c GLOBAL bounds - >= -300660 @ 6.92427
7.34/7.47 c GLOBAL bounds - >= -300660 @ 6.95831
7.43/7.50 c GLOBAL bounds - >= -300660 @ 6.99525
7.43/7.54 c GLOBAL bounds - >= -300660 @ 7.02837
7.43/7.57 c GLOBAL bounds - >= -300660 @ 7.06095
7.53/7.61 c GLOBAL bounds - >= -300660 @ 7.09608
7.53/7.64 c GLOBAL bounds - >= -300660 @ 7.12759
7.53/7.68 c GLOBAL bounds - >= -300660 @ 7.16449
7.63/7.75 c GLOBAL bounds - >= -300660 @ 7.2328
7.63/7.78 c GLOBAL bounds - >= -300660 @ 7.26999
7.73/7.82 c GLOBAL bounds - >= -300660 @ 7.3039
7.73/7.85 c GLOBAL bounds - >= -300660 @ 7.33979
7.73/7.89 c GLOBAL bounds - >= -300660 @ 7.3737
7.83/7.92 c GLOBAL bounds - >= -300660 @ 7.40752
7.83/7.96 c GLOBAL bounds - >= -300660 @ 7.44162
7.83/7.99 c GLOBAL bounds - >= -300660 @ 7.47572
7.94/8.03 c GLOBAL bounds - >= -300660 @ 7.5113
7.94/8.06 c GLOBAL bounds - >= -300660 @ 7.54714
8.04/8.10 c GLOBAL bounds - >= -300660 @ 7.58279
8.04/8.14 c GLOBAL bounds - >= -300660 @ 7.61715
8.04/8.17 c GLOBAL bounds - >= -300660 @ 7.65037
8.13/8.21 c GLOBAL bounds - >= -300660 @ 7.68622
8.13/8.24 c GLOBAL bounds - >= -300660 @ 7.72396
8.13/8.28 c GLOBAL bounds - >= -300660 @ 7.75756
8.23/8.31 c GLOBAL bounds - >= -300660 @ 7.79125
8.23/8.35 c GLOBAL bounds - >= -300660 @ 7.82773
8.23/8.39 c GLOBAL bounds - >= -300660 @ 7.86304
8.33/8.42 c GLOBAL bounds - >= -300660 @ 7.89928
8.33/8.46 c GLOBAL bounds - >= -300660 @ 7.93284
8.42/8.50 c GLOBAL bounds - >= -300660 @ 7.96858
8.42/8.53 c GLOBAL bounds - >= -300660 @ 8.0043
8.42/8.57 c GLOBAL bounds - >= -300660 @ 8.04067
8.53/8.61 c GLOBAL bounds - >= -300660 @ 8.07399
8.53/8.64 c GLOBAL bounds - >= -300660 @ 8.10949
8.53/8.68 c GLOBAL bounds - >= -300660 @ 8.14447
8.63/8.71 c GLOBAL bounds - >= -300660 @ 8.17853
8.63/8.75 c GLOBAL bounds - >= -300660 @ 8.21398
8.63/8.79 c GLOBAL bounds - >= -300660 @ 8.24898
8.73/8.82 c GLOBAL bounds - >= -300660 @ 8.28525
8.73/8.87 c GLOBAL bounds - >= -300660 @ 8.33191
8.83/8.91 c GLOBAL bounds - >= -300660 @ 8.36872
8.83/8.95 c GLOBAL bounds - >= -300660 @ 8.40636
8.83/8.99 c GLOBAL bounds - >= -300660 @ 8.44608
8.94/9.03 c GLOBAL bounds - >= -300660 @ 8.48257
8.94/9.06 c GLOBAL bounds - >= -300660 @ 8.5199
8.94/9.10 c GLOBAL bounds - >= -300660 @ 8.55579
9.04/9.14 c GLOBAL bounds - >= -300660 @ 8.59189
9.04/9.17 c GLOBAL bounds - >= -300660 @ 8.62847
9.13/9.21 c GLOBAL bounds - >= -300660 @ 8.66587
9.13/9.25 c GLOBAL bounds - >= -300660 @ 8.70431
9.13/9.29 c GLOBAL bounds - >= -300660 @ 8.73946
9.22/9.33 c GLOBAL bounds - >= -300660 @ 8.77415
9.22/9.36 c GLOBAL bounds - >= -300660 @ 8.80953
9.33/9.40 c GLOBAL bounds - >= -300660 @ 8.8461
9.33/9.43 c GLOBAL bounds - >= -300660 @ 8.88149
9.33/9.47 c GLOBAL bounds - >= -300660 @ 8.91899
9.43/9.51 c GLOBAL bounds - >= -300660 @ 8.95662
9.43/9.55 c GLOBAL bounds - >= -300660 @ 8.9928
9.43/9.59 c GLOBAL bounds - >= -300660 @ 9.03211
9.53/9.63 c GLOBAL bounds - >= -300660 @ 9.07072
9.53/9.66 c GLOBAL bounds - >= -300660 @ 9.10583
9.63/9.70 c GLOBAL bounds - >= -300660 @ 9.14105
9.63/9.74 c GLOBAL bounds - >= -300660 @ 9.17876
11.22/11.32 c #Conflicts: 1000 | #Constraints: 100573
11.22/11.32 c GLOBAL bounds - >= -300660 @ 10.7274
11.22/11.39 c GLOBAL bounds - >= -300660 @ 10.7995
11.32/11.46 c GLOBAL bounds - >= -300660 @ 10.8667
11.42/11.52 c GLOBAL bounds - >= -300660 @ 10.9267
11.42/11.58 c GLOBAL bounds - >= -300660 @ 10.985
11.52/11.64 c GLOBAL bounds - >= -300660 @ 11.0451
11.62/11.70 c GLOBAL bounds - >= -300660 @ 11.1058
11.73/11.87 c GLOBAL bounds - >= -300660 @ 11.2745
11.93/12.08 c GLOBAL bounds - >= -300660 @ 11.4794
12.03/12.19 c GLOBAL bounds - >= -300660 @ 11.5822
12.12/12.27 c GLOBAL bounds - >= -300660 @ 11.6634
12.22/12.34 c GLOBAL bounds - >= -300660 @ 11.7354
12.32/12.43 c GLOBAL bounds - >= -300660 @ 11.8183
12.42/12.51 c GLOBAL bounds - >= -300660 @ 11.8953
12.42/12.58 c GLOBAL bounds - >= -300660 @ 11.9681
12.52/12.65 c GLOBAL bounds - >= -300660 @ 12.0406
12.62/12.74 c GLOBAL bounds - >= -300660 @ 12.123
12.72/12.81 c GLOBAL bounds - >= -300660 @ 12.197
13.12/13.29 c GLOBAL bounds - >= -300660 @ 12.6696
13.22/13.37 c GLOBAL bounds - >= -300660 @ 12.7465
13.32/13.45 c GLOBAL bounds - >= -300660 @ 12.8206
13.42/13.52 c GLOBAL bounds - >= -300660 @ 12.8947
13.52/13.60 c GLOBAL bounds - >= -300660 @ 12.9698
13.52/13.67 c GLOBAL bounds - >= -300660 @ 13.0464
13.62/13.75 c GLOBAL bounds - >= -300660 @ 13.1214
13.72/13.83 c GLOBAL bounds - >= -300660 @ 13.2062
13.81/13.91 c GLOBAL bounds - >= -300660 @ 13.284
13.81/13.99 c GLOBAL bounds - >= -300660 @ 13.362
13.92/14.07 c GLOBAL bounds - >= -300660 @ 13.4384
14.02/14.14 c GLOBAL bounds - >= -300660 @ 13.5133
14.11/14.22 c GLOBAL bounds - >= -300660 @ 13.5904
14.21/14.30 c GLOBAL bounds - >= -300660 @ 13.6661
14.21/14.38 c GLOBAL bounds - >= -300660 @ 13.7467
14.32/14.46 c GLOBAL bounds - >= -300660 @ 13.8233
14.42/14.54 c GLOBAL bounds - >= -300660 @ 13.9014
14.52/14.62 c GLOBAL bounds - >= -300660 @ 13.9783
14.52/14.69 c GLOBAL bounds - >= -300660 @ 14.0559
14.62/14.77 c GLOBAL bounds - >= -300660 @ 14.1313
14.71/14.85 c GLOBAL bounds - >= -300660 @ 14.2123
14.92/15.03 c GLOBAL bounds - >= -300660 @ 14.3862
15.02/15.12 c GLOBAL bounds - >= -300660 @ 14.4693
18.91/19.06 c #Conflicts: 2000 | #Constraints: 101655
18.91/19.06 c INPROCESSING
18.91/19.06 c GARBAGE COLLECT
18.91/19.06 c #Conflicts: 3000 | #Constraints: 101666
18.91/19.06 c GLOBAL bounds - >= -300660 @ 18.3478
19.01/19.15 c GLOBAL bounds - >= -300660 @ 18.4413
19.10/19.26 c GLOBAL bounds - >= -300660 @ 18.5458
19.20/19.38 c GLOBAL bounds - >= -300660 @ 18.6689
19.60/19.79 c GLOBAL bounds - >= -300660 @ 19.0696
19.80/19.96 c GLOBAL bounds - >= -300660 @ 19.2353
19.91/20.06 c GLOBAL bounds - >= -300660 @ 19.3365
20.01/20.15 c GLOBAL bounds - >= -300660 @ 19.432
20.10/20.26 c GLOBAL bounds - >= -300660 @ 19.5342
20.20/20.35 c GLOBAL bounds - >= -300660 @ 19.6302
20.30/20.48 c GLOBAL bounds - >= -300660 @ 19.7496
20.41/20.58 c GLOBAL bounds - >= -300660 @ 19.8519
20.50/20.68 c GLOBAL bounds - >= -300660 @ 19.9554
20.80/20.90 c GLOBAL bounds - >= -300660 @ 20.1689
20.91/21.02 c GLOBAL bounds - >= -300660 @ 20.2868
21.01/21.12 c GLOBAL bounds - >= -300660 @ 20.3934
21.10/21.24 c GLOBAL bounds - >= -300660 @ 20.5085
21.20/21.36 c GLOBAL bounds - >= -300660 @ 20.628
21.40/21.59 c GLOBAL bounds - >= -300660 @ 20.851
21.60/21.75 c GLOBAL bounds - >= -300660 @ 21.0116
21.80/21.93 c GLOBAL bounds - >= -300660 @ 21.1836
22.01/22.10 c GLOBAL bounds - >= -300660 @ 21.3626
22.10/22.28 c GLOBAL bounds - >= -300660 @ 21.5322
22.20/22.38 c GLOBAL bounds - >= -300660 @ 21.6371
22.49/22.64 c GLOBAL bounds - >= -300660 @ 21.8848
22.59/22.74 c GLOBAL bounds - >= -300660 @ 21.9919
22.69/22.85 c GLOBAL bounds - >= -300660 @ 22.1006
22.79/22.96 c GLOBAL bounds - >= -300660 @ 22.2042
22.91/23.06 c GLOBAL bounds - >= -300660 @ 22.3118
23.10/23.26 c GLOBAL bounds - >= -300660 @ 22.4995
23.19/23.39 c GLOBAL bounds - >= -300660 @ 22.6343
23.39/23.51 c GLOBAL bounds - >= -300660 @ 22.7484
23.49/23.62 c GLOBAL bounds - >= -300660 @ 22.8549
23.59/23.73 c GLOBAL bounds - >= -300660 @ 22.9643
23.69/23.85 c GLOBAL bounds - >= -300660 @ 23.0897
23.80/23.96 c GLOBAL bounds - >= -300660 @ 23.1979
24.00/24.12 c GLOBAL bounds - >= -300660 @ 23.3515
24.09/24.25 c GLOBAL bounds - >= -300660 @ 23.4841
24.59/24.70 c GLOBAL bounds - >= -300660 @ 23.9218
24.69/24.89 c GLOBAL bounds - >= -300660 @ 24.1124
24.79/25.00 c GLOBAL bounds - >= -300660 @ 24.2187
25.19/25.32 c GLOBAL bounds - >= -300660 @ 24.537
25.29/25.48 c GLOBAL bounds - >= -300660 @ 24.699
25.48/25.60 c GLOBAL bounds - >= -300660 @ 24.8151
25.59/25.74 c GLOBAL bounds - >= -300660 @ 24.9536
25.69/25.89 c GLOBAL bounds - >= -300660 @ 25.0953
25.89/26.02 c GLOBAL bounds - >= -300660 @ 25.2271
25.99/26.18 c GLOBAL bounds - >= -300660 @ 25.3816
26.18/26.30 c GLOBAL bounds - >= -300660 @ 25.5037
26.28/26.43 c GLOBAL bounds - >= -300660 @ 25.6307
26.39/26.56 c GLOBAL bounds - >= -300660 @ 25.7539
26.78/26.96 c GLOBAL bounds - >= -300660 @ 26.1531
27.08/27.26 c GLOBAL bounds - >= -300660 @ 26.4453
27.28/27.40 c GLOBAL bounds - >= -300660 @ 26.5911
27.39/27.55 c GLOBAL bounds - >= -300660 @ 26.7382
27.49/27.68 c GLOBAL bounds - >= -300660 @ 26.8624
27.69/27.84 c GLOBAL bounds - >= -300660 @ 27.0196
27.79/27.96 c GLOBAL bounds - >= -300660 @ 27.1451
28.18/28.33 c GLOBAL bounds - >= -300660 @ 27.5106
28.28/28.46 c GLOBAL bounds - >= -300660 @ 27.6403
28.49/28.62 c GLOBAL bounds - >= -300660 @ 27.7976
28.59/28.75 c GLOBAL bounds - >= -300660 @ 27.9269
28.69/28.89 c GLOBAL bounds - >= -300660 @ 28.064
28.89/29.02 c GLOBAL bounds - >= -300660 @ 28.1921
29.38/29.59 c GLOBAL bounds - >= -300660 @ 28.7554
29.57/29.72 c GLOBAL bounds - >= -300660 @ 28.882
29.67/29.84 c GLOBAL bounds - >= -300660 @ 29.0047
29.78/29.97 c GLOBAL bounds - >= -300660 @ 29.1277
29.99/30.12 c GLOBAL bounds - >= -300660 @ 29.281
30.08/30.29 c GLOBAL bounds - >= -300660 @ 29.4421
30.28/30.45 c GLOBAL bounds - >= -300660 @ 29.6033
30.78/30.93 c GLOBAL bounds - >= -300660 @ 30.0751
30.88/31.06 c GLOBAL bounds - >= -300660 @ 30.2113
31.08/31.20 c GLOBAL bounds - >= -300660 @ 30.3441
31.18/31.36 c GLOBAL bounds - >= -300660 @ 30.498
31.47/31.61 c GLOBAL bounds - >= -300660 @ 30.7483
31.57/31.75 c GLOBAL bounds - >= -300660 @ 30.8893
31.67/31.88 c GLOBAL bounds - >= -300660 @ 31.016
31.87/32.03 c GLOBAL bounds - >= -300660 @ 31.162
31.98/32.15 c GLOBAL bounds - >= -300660 @ 31.2858
32.17/32.33 c GLOBAL bounds - >= -300660 @ 31.4629
32.27/32.47 c GLOBAL bounds - >= -300660 @ 31.6043
32.47/32.60 c GLOBAL bounds - >= -300660 @ 31.7329
32.97/33.19 c #Conflicts: 4000 | #Constraints: 102832
32.97/33.19 c GLOBAL bounds - >= -300660 @ 32.3075
34.37/34.52 c INPROCESSING
34.37/34.52 c GARBAGE COLLECT
34.37/34.52 c GLOBAL bounds - >= -300660 @ 33.6129
34.47/34.61 c GLOBAL bounds - >= -300660 @ 33.7059
34.57/34.70 c GLOBAL bounds - >= -300660 @ 33.7935
35.17/35.35 c GLOBAL bounds - >= -300660 @ 34.435
35.27/35.46 c GLOBAL bounds - >= -300660 @ 34.5423
36.07/36.21 c GLOBAL bounds - >= -300660 @ 35.2881
36.17/36.32 c GLOBAL bounds - >= -300660 @ 35.3937
36.37/36.51 c GLOBAL bounds - >= -300660 @ 35.5834
36.46/36.61 c GLOBAL bounds - >= -300660 @ 35.6782
36.56/36.75 c GLOBAL bounds - >= -300660 @ 35.8194
36.87/37.03 c GLOBAL bounds - >= -300660 @ 36.101
37.16/37.39 c GLOBAL bounds - >= -300660 @ 36.4528
40.75/40.96 c #Conflicts: 5000 | #Constraints: 102258
40.75/40.96 c GLOBAL bounds - >= -300660 @ 39.9909
41.25/41.48 c GLOBAL bounds - >= -300660 @ 40.505
41.45/41.61 c GLOBAL bounds - >= -300660 @ 40.6345
42.05/42.27 c GLOBAL bounds - >= -300660 @ 41.283
42.25/42.42 c GLOBAL bounds - >= -300660 @ 41.4309
42.75/42.91 c GLOBAL bounds - >= -300660 @ 41.9174
42.85/43.03 c GLOBAL bounds - >= -300660 @ 42.0349
42.95/43.16 c GLOBAL bounds - >= -300660 @ 42.1651
43.04/43.29 c GLOBAL bounds - >= -300660 @ 42.2926
43.24/43.43 c GLOBAL bounds - >= -300660 @ 42.4242
43.34/43.59 c GLOBAL bounds - >= -300660 @ 42.5906
43.55/43.78 c GLOBAL bounds - >= -300660 @ 42.7763
43.95/44.14 c GLOBAL bounds - >= -300660 @ 43.1255
45.24/45.40 c GLOBAL bounds - >= -300660 @ 44.3609
45.84/46.03 c GLOBAL bounds - >= -300660 @ 44.9788
46.34/46.53 c GLOBAL bounds - >= -300660 @ 45.4774
46.54/46.73 c GLOBAL bounds - >= -300660 @ 45.6727
46.74/46.98 c GLOBAL bounds - >= -300660 @ 45.9251
46.94/47.15 c GLOBAL bounds - >= -300660 @ 46.0926
47.13/47.30 c GLOBAL bounds - >= -300660 @ 46.2402
47.33/47.51 c GLOBAL bounds - >= -300660 @ 46.447
47.54/47.73 c GLOBAL bounds - >= -300660 @ 46.6619
47.73/47.92 c GLOBAL bounds - >= -300660 @ 46.8471
47.94/48.13 c GLOBAL bounds - >= -300660 @ 47.0604
48.52/48.74 c #Conflicts: 6000 | #Constraints: 103306
48.52/48.74 c GLOBAL bounds - >= -300660 @ 47.6623
49.53/49.78 c GLOBAL bounds - >= -300660 @ 48.6902
50.62/50.89 c GLOBAL bounds - >= -300660 @ 49.7918
50.82/51.05 c GLOBAL bounds - >= -300660 @ 49.9506
51.02/51.20 c GLOBAL bounds - >= -300660 @ 50.0935
51.12/51.39 c GLOBAL bounds - >= -300660 @ 50.2859
51.52/51.71 c GLOBAL bounds - >= -300660 @ 50.6016
51.62/51.86 c GLOBAL bounds - >= -300660 @ 50.7445
51.82/52.01 c GLOBAL bounds - >= -300660 @ 50.8916
52.02/52.23 c GLOBAL bounds - >= -300660 @ 51.1101
52.22/52.46 c GLOBAL bounds - >= -300660 @ 51.3423
52.42/52.64 c GLOBAL bounds - >= -300660 @ 51.5161
52.62/52.80 c GLOBAL bounds - >= -300660 @ 51.6752
52.71/52.95 c GLOBAL bounds - >= -300660 @ 51.8242
53.02/53.20 c GLOBAL bounds - >= -300660 @ 52.0724
53.32/53.53 c GLOBAL bounds - >= -300660 @ 52.393
53.71/53.90 c GLOBAL bounds - >= -300660 @ 52.7648
54.41/54.69 c INPROCESSING
54.41/54.69 c GARBAGE COLLECT
54.41/54.69 c GLOBAL bounds - >= -300660 @ 53.536
54.51/54.78 c GLOBAL bounds - >= -300660 @ 53.6287
55.11/55.34 c GLOBAL bounds - >= -300660 @ 54.1794
55.22/55.44 c GLOBAL bounds - >= -300660 @ 54.2852
55.41/55.65 c GLOBAL bounds - >= -300660 @ 54.4827
55.71/55.99 c GLOBAL bounds - >= -300660 @ 54.8181
57.21/57.41 c #Conflicts: 7000 | #Constraints: 102354
57.21/57.41 c GLOBAL bounds - >= -300660 @ 56.2103
57.41/57.65 c GLOBAL bounds - >= -300660 @ 56.4489
57.61/57.80 c GLOBAL bounds - >= -300660 @ 56.5931
58.21/58.40 c GLOBAL bounds - >= -300660 @ 57.1888
59.00/59.21 c GLOBAL bounds - >= -300660 @ 57.9788
59.10/59.33 c GLOBAL bounds - >= -300660 @ 58.0982
59.20/59.45 c GLOBAL bounds - >= -300660 @ 58.2141
59.31/59.57 c GLOBAL bounds - >= -300660 @ 58.3362
63.19/63.47 c #Conflicts: 8000 | #Constraints: 103370
63.19/63.47 c GLOBAL bounds - >= -300660 @ 62.1811
63.90/64.11 c GLOBAL bounds - >= -300660 @ 62.8044
63.99/64.25 c GLOBAL bounds - >= -300660 @ 62.9525
64.99/65.29 c GLOBAL bounds - >= -300660 @ 63.9706
65.19/65.44 c GLOBAL bounds - >= -300660 @ 64.1214
65.69/65.96 c GLOBAL bounds - >= -300660 @ 64.6358
65.98/66.24 c GLOBAL bounds - >= -300660 @ 64.9138
66.18/66.40 c GLOBAL bounds - >= -300660 @ 65.0696
66.89/67.16 c GLOBAL bounds - >= -300660 @ 65.8107
67.18/67.41 c GLOBAL bounds - >= -300660 @ 66.0594
67.48/67.71 c GLOBAL bounds - >= -300660 @ 66.3504
69.78/70.02 c #Conflicts: 9000 | #Constraints: 104392
69.78/70.02 c GLOBAL bounds - >= -300660 @ 68.6179
69.98/70.23 c GLOBAL bounds - >= -300660 @ 68.8229
70.18/70.45 c GLOBAL bounds - >= -300660 @ 69.0404
70.47/70.71 c GLOBAL bounds - >= -300660 @ 69.3029
72.67/72.94 c INPROCESSING
72.67/72.94 c GARBAGE COLLECT
72.67/72.94 c GLOBAL bounds - >= -300660 @ 71.4967
72.77/73.08 c GLOBAL bounds - >= -300660 @ 71.629
72.97/73.23 c GLOBAL bounds - >= -300660 @ 71.7758
73.07/73.32 c GLOBAL bounds - >= -300660 @ 71.8659
73.17/73.42 c GLOBAL bounds - >= -300660 @ 71.9657
73.27/73.55 c GLOBAL bounds - >= -300660 @ 72.093
73.47/73.74 c GLOBAL bounds - >= -300660 @ 72.2845
73.57/73.83 c GLOBAL bounds - >= -300660 @ 72.3772
74.17/74.48 c GLOBAL bounds - >= -300660 @ 73.0104
74.77/75.05 c GLOBAL bounds - >= -300660 @ 73.5784
74.97/75.25 c GLOBAL bounds - >= -300660 @ 73.777
75.07/75.39 c GLOBAL bounds - >= -300660 @ 73.9166
75.36/75.60 c GLOBAL bounds - >= -300660 @ 74.1164
77.86/78.16 c #Conflicts: 10000 | #Constraints: 103128
77.86/78.16 c GLOBAL bounds - >= -300660 @ 76.6375
86.63/86.94 c #Conflicts: 11000 | #Constraints: 104130
86.63/86.94 c GLOBAL bounds - >= -300660 @ 85.2985
86.83/87.15 c GLOBAL bounds - >= -300660 @ 85.5019
87.33/87.69 c GLOBAL bounds - >= -300660 @ 86.0361
91.02/91.35 c GLOBAL bounds - >= -300660 @ 89.6553
93.52/93.85 c GLOBAL bounds - >= -300660 @ 92.1114
94.61/94.90 c #Conflicts: 12000 | #Constraints: 105140
94.61/94.90 c INPROCESSING
94.61/94.90 c GARBAGE COLLECT
94.61/94.90 c GLOBAL bounds - >= -300660 @ 93.1543
94.61/94.96 c GLOBAL bounds - >= -300660 @ 93.2148
94.72/95.04 c GLOBAL bounds - >= -300660 @ 93.2906
94.82/95.18 c GLOBAL bounds - >= -300660 @ 93.4271
95.41/95.77 c GLOBAL bounds - >= -300660 @ 94.0082
96.11/96.40 c GLOBAL bounds - >= -300660 @ 94.628
99.30/99.60 c GLOBAL bounds - >= -300660 @ 97.7799
99.30/99.69 c GLOBAL bounds - >= -300660 @ 97.8714
99.40/99.78 c GLOBAL bounds - >= -300660 @ 97.9595
99.50/99.88 c GLOBAL bounds - >= -300660 @ 98.0567
100.30/100.60 c #Conflicts: 13000 | #Constraints: 103624
100.30/100.60 c GLOBAL bounds - >= -300660 @ 98.7625
101.00/101.35 c GLOBAL bounds - >= -300660 @ 99.4992
101.20/101.57 c GLOBAL bounds - >= -300660 @ 99.7111
101.30/101.68 c GLOBAL bounds - >= -300660 @ 99.8244
101.39/101.79 c GLOBAL bounds - >= -300660 @ 99.9285
101.59/101.92 c GLOBAL bounds - >= -300660 @ 100.059
101.89/102.20 c GLOBAL bounds - >= -300660 @ 100.331
101.99/102.32 c GLOBAL bounds - >= -300660 @ 100.45
102.09/102.44 c GLOBAL bounds - >= -300660 @ 100.571
102.80/103.15 c GLOBAL bounds - >= -300660 @ 101.27
102.99/103.32 c GLOBAL bounds - >= -300660 @ 101.442
103.19/103.50 c GLOBAL bounds - >= -300660 @ 101.613
103.29/103.67 c GLOBAL bounds - >= -300660 @ 101.784
104.08/104.47 c GLOBAL bounds - >= -300660 @ 102.571
107.78/108.10 c #Conflicts: 14000 | #Constraints: 104652
107.78/108.10 c GLOBAL bounds - >= -300660 @ 106.147
107.98/108.30 c GLOBAL bounds - >= -300660 @ 106.343
108.18/108.50 c GLOBAL bounds - >= -300660 @ 106.545
108.58/108.97 c GLOBAL bounds - >= -300660 @ 107.004
109.58/109.99 c GLOBAL bounds - >= -300660 @ 108.01
109.78/110.13 c GLOBAL bounds - >= -300660 @ 108.156
110.07/110.41 c GLOBAL bounds - >= -300660 @ 108.422
111.26/111.65 c GLOBAL bounds - >= -300660 @ 109.646
111.36/111.79 c GLOBAL bounds - >= -300660 @ 109.793
111.56/111.96 c GLOBAL bounds - >= -300660 @ 109.958
111.96/112.35 c GLOBAL bounds - >= -300660 @ 110.342
112.26/112.62 c GLOBAL bounds - >= -300660 @ 110.609
112.46/112.85 c GLOBAL bounds - >= -300660 @ 110.837
112.66/113.00 c GLOBAL bounds - >= -300660 @ 110.99
112.76/113.15 c GLOBAL bounds - >= -300660 @ 111.139
112.96/113.31 c GLOBAL bounds - >= -300660 @ 111.298
113.06/113.47 c GLOBAL bounds - >= -300660 @ 111.453
113.56/113.98 c GLOBAL bounds - >= -300660 @ 111.956
113.77/114.13 c GLOBAL bounds - >= -300660 @ 112.108
118.76/119.13 c #Conflicts: 15000 | #Constraints: 105690
118.76/119.13 c INPROCESSING
118.76/119.13 c GARBAGE COLLECT
118.76/119.13 c GLOBAL bounds - >= -300660 @ 117.028
118.85/119.20 c GLOBAL bounds - >= -300660 @ 117.102
118.85/119.28 c GLOBAL bounds - >= -300660 @ 117.177
118.95/119.37 c GLOBAL bounds - >= -300660 @ 117.264
119.04/119.45 c GLOBAL bounds - >= -300660 @ 117.345
119.14/119.53 c GLOBAL bounds - >= -300660 @ 117.417
119.24/119.60 c GLOBAL bounds - >= -300660 @ 117.488
119.75/120.16 c GLOBAL bounds - >= -300660 @ 118.04
119.85/120.26 c GLOBAL bounds - >= -300660 @ 118.145
120.64/121.00 c #Conflicts: 16000 | #Constraints: 103936
120.64/121.00 c GLOBAL bounds - >= -300660 @ 118.873
121.24/121.69 c GLOBAL bounds - >= -300660 @ 119.548
122.04/122.44 c GLOBAL bounds - >= -300660 @ 120.285
122.23/122.65 c GLOBAL bounds - >= -300660 @ 120.486
124.13/124.54 c GLOBAL bounds - >= -300660 @ 122.352
129.72/130.11 c #Conflicts: 17000 | #Constraints: 104946
129.72/130.11 c #Conflicts: 18000 | #Constraints: 105946
129.72/130.11 c INPROCESSING
129.72/130.11 c GARBAGE COLLECT
129.72/130.11 c GLOBAL bounds - >= -300660 @ 127.85
129.72/130.19 c GLOBAL bounds - >= -300660 @ 127.922
129.82/130.29 c GLOBAL bounds - >= -300660 @ 128.018
130.22/130.66 c GLOBAL bounds - >= -300660 @ 128.388
131.01/131.45 c GLOBAL bounds - >= -300660 @ 129.156
135.80/136.28 c #Conflicts: 19000 | #Constraints: 103970
135.80/136.28 c GLOBAL bounds - >= -300660 @ 133.893
138.99/139.46 c #Conflicts: 20000 | #Constraints: 104972
138.99/139.46 c GLOBAL bounds - >= -300660 @ 137.029
162.72/163.21 c #Conflicts: 21000 | #Constraints: 105974
162.72/163.21 c INPROCESSING
162.72/163.21 c GARBAGE COLLECT
162.72/163.21 c #Conflicts: 22000 | #Constraints: 103775
162.72/163.21 c #Conflicts: 23000 | #Constraints: 104775
162.72/163.21 c #Conflicts: 24000 | #Constraints: 105775
162.72/163.21 c GLOBAL bounds - >= -300660 @ 160.469
163.13/163.67 c GLOBAL bounds - >= -300660 @ 160.923
163.33/163.81 c GLOBAL bounds - >= -300660 @ 161.066
163.53/164.00 c GLOBAL bounds - >= -300660 @ 161.258
163.63/164.15 c GLOBAL bounds - >= -300660 @ 161.401
165.22/165.74 c GLOBAL bounds - >= -300660 @ 162.981
165.82/166.36 c GLOBAL bounds - >= -300660 @ 163.593
174.19/174.76 c #Conflicts: 25000 | #Constraints: 106789
174.19/174.76 c INPROCESSING
174.19/174.76 c GARBAGE COLLECT
174.19/174.76 c #Conflicts: 26000 | #Constraints: 104395
174.19/174.76 c GLOBAL bounds - >= -300660 @ 171.893
208.01/208.61 c #Conflicts: 27000 | #Constraints: 105397
208.01/208.61 c #Conflicts: 28000 | #Constraints: 106397
208.01/208.61 c #Conflicts: 29000 | #Constraints: 107397
208.01/208.61 c INPROCESSING
208.01/208.61 c GARBAGE COLLECT
208.01/208.61 c #Conflicts: 30000 | #Constraints: 104788
208.01/208.61 c #Conflicts: 31000 | #Constraints: 105788
208.01/208.61 c #Conflicts: 32000 | #Constraints: 106788
208.01/208.61 c GLOBAL bounds - >= -300660 @ 205.333
209.00/209.66 c #Conflicts: 33000 | #Constraints: 107790
209.00/209.66 c INPROCESSING
209.00/209.66 c GARBAGE COLLECT
209.00/209.66 c GLOBAL bounds - >= -300660 @ 206.375
211.51/212.13 c GLOBAL bounds - >= -300660 @ 208.809
211.70/212.33 c GLOBAL bounds - >= -300660 @ 209.009
211.80/212.42 c GLOBAL bounds - >= -300660 @ 209.092
216.58/217.23 c #Conflicts: 34000 | #Constraints: 104994
216.58/217.23 c #Conflicts: 35000 | #Constraints: 105994
216.58/217.23 c GLOBAL bounds - >= -300660 @ 213.828
266.84/267.67 c #Conflicts: 36000 | #Constraints: 106996
266.84/267.67 c #Conflicts: 37000 | #Constraints: 107996
266.84/267.67 c INPROCESSING
266.84/267.67 c GARBAGE COLLECT
266.84/267.67 c #Conflicts: 38000 | #Constraints: 104996
266.84/267.67 c #Conflicts: 39000 | #Constraints: 105996
266.84/267.67 c #Conflicts: 40000 | #Constraints: 106996
266.84/267.67 c #Conflicts: 41000 | #Constraints: 107996
266.84/267.67 c INPROCESSING
266.84/267.67 c GARBAGE COLLECT
266.84/267.67 c #Conflicts: 42000 | #Constraints: 104803
266.84/267.67 c #Conflicts: 43000 | #Constraints: 105803
266.84/267.67 c #Conflicts: 44000 | #Constraints: 106803
266.84/267.67 c GLOBAL bounds - >= -300660 @ 263.66
269.04/269.81 c #Conflicts: 45000 | #Constraints: 107805
269.04/269.81 c GLOBAL bounds - >= -300660 @ 265.771
294.18/295.02 c #Conflicts: 46000 | #Constraints: 108807
294.18/295.02 c INPROCESSING
294.18/295.02 c GARBAGE COLLECT
294.18/295.02 c #Conflicts: 47000 | #Constraints: 105401
294.18/295.02 c #Conflicts: 48000 | #Constraints: 106401
294.18/295.02 c #Conflicts: 49000 | #Constraints: 107401
294.18/295.02 c GLOBAL bounds - >= -300660 @ 290.691
294.37/295.21 c GLOBAL bounds - >= -300660 @ 290.879
294.47/295.38 c GLOBAL bounds - >= -300660 @ 291.051
297.36/298.27 c #Conflicts: 50000 | #Constraints: 108407
297.36/298.27 c GLOBAL bounds - >= -300660 @ 293.902
297.56/298.48 c GLOBAL bounds - >= -300660 @ 294.118
297.77/298.68 c GLOBAL bounds - >= -300660 @ 294.31
299.55/300.46 c GLOBAL bounds - >= -300660 @ 296.073
299.75/300.70 c GLOBAL bounds - >= -300660 @ 296.305
299.95/300.89 c GLOBAL bounds - >= -300660 @ 296.495
300.16/301.08 c GLOBAL bounds - >= -300660 @ 296.685
300.35/301.27 c GLOBAL bounds - >= -300660 @ 296.876
300.55/301.49 c GLOBAL bounds - >= -300660 @ 297.095
300.75/301.68 c GLOBAL bounds - >= -300660 @ 297.286
301.16/302.08 c GLOBAL bounds - >= -300660 @ 297.686
301.35/302.29 c GLOBAL bounds - >= -300660 @ 297.892
301.55/302.48 c GLOBAL bounds - >= -300660 @ 298.082
301.75/302.69 c GLOBAL bounds - >= -300660 @ 298.29
301.95/302.88 c GLOBAL bounds - >= -300660 @ 298.48
302.55/303.47 c #Conflicts: 51000 | #Constraints: 109437
302.55/303.47 c INPROCESSING
302.55/303.47 c GARBAGE COLLECT
302.55/303.47 c GLOBAL bounds - >= -300660 @ 299.069
322.10/323.07 c #Conflicts: 52000 | #Constraints: 105837
322.10/323.07 c #Conflicts: 53000 | #Constraints: 106837
322.10/323.07 c #Conflicts: 54000 | #Constraints: 107837
322.10/323.07 c GLOBAL bounds - >= -300660 @ 318.423
326.29/327.23 c #Conflicts: 55000 | #Constraints: 108839
326.29/327.23 c GLOBAL bounds - >= -300660 @ 322.539
326.49/327.42 c GLOBAL bounds - >= -300660 @ 322.721
326.58/327.59 c GLOBAL bounds - >= -300660 @ 322.893
326.88/327.82 c GLOBAL bounds - >= -300660 @ 323.122
326.98/327.99 c GLOBAL bounds - >= -300660 @ 323.294
327.19/328.15 c GLOBAL bounds - >= -300660 @ 323.454
327.58/328.53 c GLOBAL bounds - >= -300660 @ 323.829
328.58/329.52 c GLOBAL bounds - >= -300660 @ 324.804
340.15/341.11 c #Conflicts: 56000 | #Constraints: 109855
340.15/341.11 c INPROCESSING
340.15/341.11 c GARBAGE COLLECT
340.15/341.11 c #Conflicts: 57000 | #Constraints: 106055
340.15/341.11 c GLOBAL bounds - >= -300660 @ 336.246
340.25/341.23 c GLOBAL bounds - >= -300660 @ 336.366
341.25/342.29 c #Conflicts: 58000 | #Constraints: 107059
341.25/342.29 c GLOBAL bounds - >= -300660 @ 337.415
341.75/342.73 c GLOBAL bounds - >= -300660 @ 337.85
341.85/342.85 c GLOBAL bounds - >= -300660 @ 337.968
341.95/342.97 c GLOBAL bounds - >= -300660 @ 338.085
342.05/343.09 c GLOBAL bounds - >= -300660 @ 338.202
342.25/343.23 c GLOBAL bounds - >= -300660 @ 338.343
342.34/343.38 c GLOBAL bounds - >= -300660 @ 338.49
342.54/343.56 c GLOBAL bounds - >= -300660 @ 338.661
342.75/343.71 c GLOBAL bounds - >= -300660 @ 338.816
342.94/343.96 c GLOBAL bounds - >= -300660 @ 339.056
343.05/344.09 c GLOBAL bounds - >= -300660 @ 339.186
343.24/344.21 c GLOBAL bounds - >= -300660 @ 339.309
343.74/344.73 c GLOBAL bounds - >= -300660 @ 339.816
346.33/347.31 c GLOBAL bounds - >= -300660 @ 342.359
346.43/347.46 c GLOBAL bounds - >= -300660 @ 342.511
347.33/348.33 c GLOBAL bounds - >= -300660 @ 343.367
347.43/348.48 c GLOBAL bounds - >= -300660 @ 343.514
347.94/348.96 c GLOBAL bounds - >= -300660 @ 343.992
364.49/365.51 c #Conflicts: 59000 | #Constraints: 108095
364.49/365.51 c #Conflicts: 60000 | #Constraints: 109095
364.49/365.51 c #Conflicts: 61000 | #Constraints: 110095
364.49/365.51 c INPROCESSING
364.49/365.51 c GARBAGE COLLECT
364.49/365.51 c GLOBAL bounds - >= -300660 @ 360.348
364.59/365.61 c GLOBAL bounds - >= -300660 @ 360.444
364.68/365.71 c GLOBAL bounds - >= -300660 @ 360.538
364.89/365.97 c GLOBAL bounds - >= -300660 @ 360.801
365.00/366.04 c GLOBAL bounds - >= -300660 @ 360.868
365.19/366.23 c GLOBAL bounds - >= -300660 @ 361.056
365.29/366.31 c GLOBAL bounds - >= -300660 @ 361.131
365.38/366.42 c GLOBAL bounds - >= -300660 @ 361.246
365.48/366.50 c GLOBAL bounds - >= -300660 @ 361.32
365.48/366.58 c GLOBAL bounds - >= -300660 @ 361.397
365.58/366.65 c GLOBAL bounds - >= -300660 @ 361.466
365.68/366.72 c GLOBAL bounds - >= -300660 @ 361.537
378.35/379.42 c #Conflicts: 62000 | #Constraints: 106115
378.35/379.42 c #Conflicts: 63000 | #Constraints: 107115
378.35/379.42 c #Conflicts: 64000 | #Constraints: 108115
378.35/379.42 c GLOBAL bounds - >= -300660 @ 374.06
378.65/379.77 c GLOBAL bounds - >= -300660 @ 374.404
379.85/380.99 c GLOBAL bounds - >= -300660 @ 375.608
384.83/385.95 c #Conflicts: 65000 | #Constraints: 109121
384.83/385.95 c GLOBAL bounds - >= -300660 @ 380.516
385.44/386.53 c GLOBAL bounds - >= -300660 @ 381.081
391.92/393.10 c #Conflicts: 66000 | #Constraints: 110125
391.92/393.10 c GLOBAL bounds - >= -300660 @ 387.596
407.89/409.05 c INPROCESSING
407.89/409.05 c GARBAGE COLLECT
407.89/409.05 c #Conflicts: 67000 | #Constraints: 105928
407.89/409.05 c #Conflicts: 68000 | #Constraints: 106928
407.89/409.05 c #Conflicts: 69000 | #Constraints: 107928
407.89/409.05 c GLOBAL bounds - >= -300660 @ 403.348
408.67/409.87 c GLOBAL bounds - >= -300660 @ 404.157
410.87/412.10 c GLOBAL bounds - >= -300660 @ 406.359
414.36/415.58 c #Conflicts: 70000 | #Constraints: 108934
414.36/415.58 c GLOBAL bounds - >= -300660 @ 409.805
415.26/416.43 c GLOBAL bounds - >= -300660 @ 410.644
418.35/419.52 c GLOBAL bounds - >= -300660 @ 413.707
419.25/420.40 c GLOBAL bounds - >= -300660 @ 414.586
419.45/420.61 c GLOBAL bounds - >= -300660 @ 414.797
419.64/420.82 c GLOBAL bounds - >= -300660 @ 414.999
419.86/421.02 c GLOBAL bounds - >= -300660 @ 415.198
420.15/421.36 c GLOBAL bounds - >= -300660 @ 415.537
420.35/421.55 c GLOBAL bounds - >= -300660 @ 415.723
420.55/421.74 c GLOBAL bounds - >= -300660 @ 415.92
420.85/422.08 c GLOBAL bounds - >= -300660 @ 416.256
421.24/422.42 c GLOBAL bounds - >= -300660 @ 416.593
421.34/422.59 c GLOBAL bounds - >= -300660 @ 416.763
424.33/425.51 c #Conflicts: 71000 | #Constraints: 109960
424.33/425.51 c GLOBAL bounds - >= -300660 @ 419.644
424.74/425.91 c GLOBAL bounds - >= -300660 @ 420.029
434.40/435.68 c #Conflicts: 72000 | #Constraints: 110964
434.40/435.68 c INPROCESSING
434.40/435.68 c GARBAGE COLLECT
434.40/435.68 c #Conflicts: 73000 | #Constraints: 106565
434.40/435.68 c GLOBAL bounds - >= -300660 @ 429.678
434.51/435.77 c GLOBAL bounds - >= -300660 @ 429.766
434.71/435.93 c GLOBAL bounds - >= -300660 @ 429.931
441.49/442.75 c #Conflicts: 74000 | #Constraints: 107571
441.49/442.75 c GLOBAL bounds - >= -300660 @ 436.663
441.59/442.87 c GLOBAL bounds - >= -300660 @ 436.783
441.69/442.99 c GLOBAL bounds - >= -300660 @ 436.9
441.89/443.16 c GLOBAL bounds - >= -300660 @ 437.064
441.99/443.28 c GLOBAL bounds - >= -300660 @ 437.183
442.19/443.44 c GLOBAL bounds - >= -300660 @ 437.347
442.38/443.61 c GLOBAL bounds - >= -300660 @ 437.516
442.48/443.74 c GLOBAL bounds - >= -300660 @ 437.638
445.38/446.68 c #Conflicts: 75000 | #Constraints: 108587
445.38/446.68 c GLOBAL bounds - >= -300660 @ 440.535
445.78/447.07 c GLOBAL bounds - >= -300660 @ 440.919
445.97/447.21 c GLOBAL bounds - >= -300660 @ 441.058
446.08/447.35 c GLOBAL bounds - >= -300660 @ 441.207
446.27/447.51 c GLOBAL bounds - >= -300660 @ 441.363
449.57/450.87 c GLOBAL bounds - >= -300660 @ 444.677
457.54/458.84 c #Conflicts: 76000 | #Constraints: 109599
457.54/458.84 c GLOBAL bounds - >= -300660 @ 452.553
458.14/459.40 c GLOBAL bounds - >= -300660 @ 453.106
458.24/459.56 c GLOBAL bounds - >= -300660 @ 453.264
458.44/459.71 c GLOBAL bounds - >= -300660 @ 453.42
458.85/460.14 c GLOBAL bounds - >= -300660 @ 453.841
459.04/460.31 c GLOBAL bounds - >= -300660 @ 454.009
459.14/460.47 c GLOBAL bounds - >= -300660 @ 454.166
459.34/460.63 c GLOBAL bounds - >= -300660 @ 454.326
482.79/484.17 c #Conflicts: 77000 | #Constraints: 110615
482.79/484.17 c #Conflicts: 78000 | #Constraints: 111615
482.79/484.17 c INPROCESSING
482.79/484.17 c GARBAGE COLLECT
482.79/484.17 c #Conflicts: 79000 | #Constraints: 107019
482.79/484.17 c #Conflicts: 80000 | #Constraints: 108019
482.79/484.17 c GLOBAL bounds - >= -300660 @ 477.579
482.98/484.32 c GLOBAL bounds - >= -300660 @ 477.735
483.08/484.49 c GLOBAL bounds - >= -300660 @ 477.895
483.38/484.75 c GLOBAL bounds - >= -300660 @ 478.162
494.85/496.26 c #Conflicts: 81000 | #Constraints: 109027
494.85/496.26 c #Conflicts: 82000 | #Constraints: 110027
494.85/496.26 c #Conflicts: 83000 | #Constraints: 111027
494.85/496.26 c GLOBAL bounds - >= -300660 @ 489.548
495.45/496.84 c GLOBAL bounds - >= -300660 @ 490.129
498.75/500.12 c GLOBAL bounds - >= -300660 @ 493.376
499.04/500.49 c GLOBAL bounds - >= -300660 @ 493.744
504.13/505.51 c #Conflicts: 84000 | #Constraints: 112035
504.13/505.51 c INPROCESSING
504.13/505.51 c GARBAGE COLLECT
504.13/505.51 c GLOBAL bounds - >= -300660 @ 498.701
505.03/506.45 c GLOBAL bounds - >= -300660 @ 499.626
505.13/506.51 c GLOBAL bounds - >= -300660 @ 499.688
505.13/506.58 c GLOBAL bounds - >= -300660 @ 499.753
505.23/506.65 c GLOBAL bounds - >= -300660 @ 499.823
513.11/514.52 c #Conflicts: 85000 | #Constraints: 107265
513.11/514.52 c #Conflicts: 86000 | #Constraints: 108265
513.11/514.52 c GLOBAL bounds - >= -300660 @ 507.558
513.31/514.73 c GLOBAL bounds - >= -300660 @ 507.763
513.41/514.84 c GLOBAL bounds - >= -300660 @ 507.869
525.48/526.92 c #Conflicts: 87000 | #Constraints: 109271
525.48/526.92 c #Conflicts: 88000 | #Constraints: 110271
525.48/526.92 c #Conflicts: 89000 | #Constraints: 111271
525.48/526.92 c #Conflicts: 90000 | #Constraints: 112271
525.48/526.92 c GLOBAL bounds - >= -300660 @ 519.816
591.02/592.64 c INPROCESSING
591.02/592.64 c GARBAGE COLLECT
591.02/592.64 c #Conflicts: 91000 | #Constraints: 107265
591.02/592.64 c #Conflicts: 92000 | #Constraints: 108265
591.02/592.64 c #Conflicts: 93000 | #Constraints: 109265
591.02/592.64 c #Conflicts: 94000 | #Constraints: 110265
591.02/592.64 c #Conflicts: 95000 | #Constraints: 111265
591.02/592.64 c #Conflicts: 96000 | #Constraints: 112265
591.02/592.64 c INPROCESSING
591.02/592.64 c GARBAGE COLLECT
591.02/592.64 c #Conflicts: 97000 | #Constraints: 107055
591.02/592.64 c #Conflicts: 98000 | #Constraints: 108055
591.02/592.64 c #Conflicts: 99000 | #Constraints: 109055
591.02/592.64 c #Conflicts: 100000 | #Constraints: 110055
591.02/592.64 c #Conflicts: 101000 | #Constraints: 111055
591.02/592.64 c #Conflicts: 102000 | #Constraints: 112055
591.02/592.64 c #Conflicts: 103000 | #Constraints: 113055
591.02/592.64 c INPROCESSING
591.02/592.64 c GARBAGE COLLECT
591.02/592.64 c GLOBAL bounds - >= -300660 @ 584.853
603.58/605.29 c #Conflicts: 104000 | #Constraints: 107658
603.58/605.29 c #Conflicts: 105000 | #Constraints: 108658
603.58/605.29 c #Conflicts: 106000 | #Constraints: 109658
603.58/605.29 c GLOBAL bounds - >= -300660 @ 597.339
603.78/605.45 c GLOBAL bounds - >= -300660 @ 597.493
610.76/612.45 c #Conflicts: 107000 | #Constraints: 110662
610.76/612.45 c GLOBAL bounds - >= -300660 @ 604.429
641.97/643.74 c #Conflicts: 108000 | #Constraints: 111664
641.97/643.74 c #Conflicts: 109000 | #Constraints: 112664
641.97/643.74 c #Conflicts: 110000 | #Constraints: 113664
641.97/643.74 c INPROCESSING
641.97/643.74 c GARBAGE COLLECT
641.97/643.74 c #Conflicts: 111000 | #Constraints: 108064
641.97/643.74 c #Conflicts: 112000 | #Constraints: 109064
641.97/643.74 c #Conflicts: 113000 | #Constraints: 110064
641.97/643.74 c #Conflicts: 114000 | #Constraints: 111064
641.97/643.74 c GLOBAL bounds - >= -300660 @ 635.385
642.17/643.96 c GLOBAL bounds - >= -300660 @ 635.603
642.37/644.15 c GLOBAL bounds - >= -300660 @ 635.799
642.77/644.51 c GLOBAL bounds - >= -300660 @ 636.156
642.97/644.78 c GLOBAL bounds - >= -300660 @ 636.423
643.28/645.02 c GLOBAL bounds - >= -300660 @ 636.662
643.47/645.22 c GLOBAL bounds - >= -300660 @ 636.863
643.76/645.51 c GLOBAL bounds - >= -300660 @ 637.143
643.96/645.74 c GLOBAL bounds - >= -300660 @ 637.376
644.16/645.95 c GLOBAL bounds - >= -300660 @ 637.582
644.46/646.29 c GLOBAL bounds - >= -300660 @ 637.917
659.12/660.99 c #Conflicts: 115000 | #Constraints: 112086
659.12/660.99 c GLOBAL bounds - >= -300660 @ 652.48
659.53/661.37 c GLOBAL bounds - >= -300660 @ 652.853
661.22/663.02 c GLOBAL bounds - >= -300660 @ 654.481
661.42/663.29 c GLOBAL bounds - >= -300660 @ 654.76
661.72/663.57 c GLOBAL bounds - >= -300660 @ 655.033
662.01/663.89 c GLOBAL bounds - >= -300660 @ 655.353
662.32/664.17 c GLOBAL bounds - >= -300660 @ 655.632
739.29/741.30 c #Conflicts: 116000 | #Constraints: 113100
739.29/741.30 c #Conflicts: 117000 | #Constraints: 114100
739.29/741.30 c INPROCESSING
739.29/741.30 c GARBAGE COLLECT
739.29/741.30 c #Conflicts: 118000 | #Constraints: 108297
739.29/741.30 c #Conflicts: 119000 | #Constraints: 109297
739.29/741.30 c #Conflicts: 120000 | #Constraints: 110297
739.29/741.30 c #Conflicts: 121000 | #Constraints: 111297
739.29/741.30 c #Conflicts: 122000 | #Constraints: 112297
739.29/741.30 c #Conflicts: 123000 | #Constraints: 113297
739.29/741.30 c #Conflicts: 124000 | #Constraints: 114297
739.29/741.30 c INPROCESSING
739.29/741.30 c GARBAGE COLLECT
739.29/741.30 c #Conflicts: 125000 | #Constraints: 108297
739.29/741.30 c #Conflicts: 126000 | #Constraints: 109297
739.29/741.30 c GLOBAL bounds - >= -300660 @ 732.042
739.68/741.73 c GLOBAL bounds - >= -300660 @ 732.473
806.80/809.09 c #Conflicts: 127000 | #Constraints: 110301
806.80/809.09 c #Conflicts: 128000 | #Constraints: 111301
806.80/809.09 c #Conflicts: 129000 | #Constraints: 112301
806.80/809.09 c #Conflicts: 130000 | #Constraints: 113301
806.80/809.09 c #Conflicts: 131000 | #Constraints: 114301
806.80/809.09 c INPROCESSING
806.80/809.09 c GARBAGE COLLECT
806.80/809.09 c #Conflicts: 132000 | #Constraints: 108101
806.80/809.09 c #Conflicts: 133000 | #Constraints: 109101
806.80/809.09 c #Conflicts: 134000 | #Constraints: 110101
806.80/809.09 c #Conflicts: 135000 | #Constraints: 111101
806.80/809.09 c GLOBAL bounds - >= -300660 @ 799.188
807.10/809.30 c GLOBAL bounds - >= -300660 @ 799.393
807.29/809.50 c GLOBAL bounds - >= -300660 @ 799.59
875.00/877.45 c #Conflicts: 136000 | #Constraints: 112107
875.00/877.45 c #Conflicts: 137000 | #Constraints: 113107
875.00/877.45 c #Conflicts: 138000 | #Constraints: 114107
875.00/877.45 c #Conflicts: 139000 | #Constraints: 115107
875.00/877.45 c INPROCESSING
875.00/877.45 c GARBAGE COLLECT
875.00/877.45 c #Conflicts: 140000 | #Constraints: 108713
875.00/877.45 c #Conflicts: 141000 | #Constraints: 109713
875.00/877.45 c #Conflicts: 142000 | #Constraints: 110713
875.00/877.45 c #Conflicts: 143000 | #Constraints: 111713
875.00/877.45 c #Conflicts: 144000 | #Constraints: 112713
875.00/877.45 c #Conflicts: 145000 | #Constraints: 113713
875.00/877.45 c #Conflicts: 146000 | #Constraints: 114713
875.00/877.45 c #Conflicts: 147000 | #Constraints: 115713
875.00/877.45 c INPROCESSING
875.00/877.45 c GARBAGE COLLECT
875.00/877.45 c #Conflicts: 148000 | #Constraints: 109122
875.00/877.45 c GLOBAL bounds - >= -300660 @ 866.864
875.10/877.56 c GLOBAL bounds - >= -300660 @ 866.978
875.20/877.68 c GLOBAL bounds - >= -300660 @ 867.092
875.30/877.80 c GLOBAL bounds - >= -300660 @ 867.208
875.49/877.96 c GLOBAL bounds - >= -300660 @ 867.368
875.60/878.08 c GLOBAL bounds - >= -300660 @ 867.482
875.69/878.19 c GLOBAL bounds - >= -300660 @ 867.592
875.90/878.30 c GLOBAL bounds - >= -300660 @ 867.703
875.99/878.47 c GLOBAL bounds - >= -300660 @ 867.867
876.49/878.93 c GLOBAL bounds - >= -300660 @ 868.321
879.19/881.68 c GLOBAL bounds - >= -300660 @ 871.039
880.48/882.96 c #Conflicts: 149000 | #Constraints: 110144
880.48/882.96 c GLOBAL bounds - >= -300660 @ 872.304
880.68/883.11 c GLOBAL bounds - >= -300660 @ 872.454
890.95/893.44 c #Conflicts: 150000 | #Constraints: 111148
890.95/893.44 c GLOBAL bounds - >= -300660 @ 882.667
891.14/893.67 c GLOBAL bounds - >= -300660 @ 882.89
891.44/893.91 c GLOBAL bounds - >= -300660 @ 883.134
895.54/898.04 c GLOBAL bounds - >= -300660 @ 887.216
895.83/898.34 c GLOBAL bounds - >= -300660 @ 887.51
897.34/899.84 c #Conflicts: 151000 | #Constraints: 112158
897.34/899.84 c GLOBAL bounds - >= -300660 @ 888.997
897.93/900.49 c GLOBAL bounds - >= -300660 @ 889.639
898.33/900.83 c GLOBAL bounds - >= -300660 @ 889.973
898.63/901.15 c GLOBAL bounds - >= -300660 @ 890.295
904.52/907.00 c GLOBAL bounds - >= -300660 @ 896.102
904.71/907.22 c GLOBAL bounds - >= -300660 @ 896.318
907.51/910.03 c GLOBAL bounds - >= -300660 @ 899.095
907.70/910.26 c GLOBAL bounds - >= -300660 @ 899.328
908.00/910.50 c GLOBAL bounds - >= -300660 @ 899.564
908.50/911.02 c GLOBAL bounds - >= -300660 @ 900.086
931.54/934.17 c #Conflicts: 152000 | #Constraints: 113178
931.54/934.17 c #Conflicts: 153000 | #Constraints: 114178
931.54/934.17 c #Conflicts: 154000 | #Constraints: 115178
931.54/934.17 c GLOBAL bounds - >= -300660 @ 923.018
932.83/935.48 c GLOBAL bounds - >= -300660 @ 924.318
933.22/935.88 c GLOBAL bounds - >= -300660 @ 924.713
950.88/953.59 c #Conflicts: 155000 | #Constraints: 116184
950.88/953.59 c INPROCESSING
950.88/953.59 c GARBAGE COLLECT
950.88/953.59 c #Conflicts: 156000 | #Constraints: 109403
950.88/953.59 c #Conflicts: 157000 | #Constraints: 110403
950.88/953.59 c GLOBAL bounds - >= -300660 @ 942.193
967.92/970.67 c #Conflicts: 158000 | #Constraints: 111405
967.92/970.67 c #Conflicts: 159000 | #Constraints: 112405
967.92/970.67 c GLOBAL bounds - >= -300660 @ 959.08
968.13/970.85 c GLOBAL bounds - >= -300660 @ 959.261
968.33/971.08 c GLOBAL bounds - >= -300660 @ 959.489
968.53/971.28 c GLOBAL bounds - >= -300660 @ 959.689
968.83/971.50 c GLOBAL bounds - >= -300660 @ 959.902
968.93/971.69 c GLOBAL bounds - >= -300660 @ 960.089
969.82/972.56 c GLOBAL bounds - >= -300660 @ 960.958
970.82/973.55 c GLOBAL bounds - >= -300660 @ 961.939
975.31/978.01 c GLOBAL bounds - >= -300660 @ 966.342
975.50/978.20 c GLOBAL bounds - >= -300660 @ 966.529
981.98/984.73 c #Conflicts: 160000 | #Constraints: 113425
981.98/984.73 c GLOBAL bounds - >= -300660 @ 973.013
982.18/984.99 c GLOBAL bounds - >= -300660 @ 973.269
982.49/985.22 c GLOBAL bounds - >= -300660 @ 973.495
984.08/986.80 c GLOBAL bounds - >= -300660 @ 975.059
986.47/989.21 c GLOBAL bounds - >= -300660 @ 977.441
1007.51/1010.38 c #Conflicts: 161000 | #Constraints: 114435
1007.51/1010.38 c #Conflicts: 162000 | #Constraints: 115435
1007.51/1010.38 c #Conflicts: 163000 | #Constraints: 116435
1007.51/1010.38 c INPROCESSING
1007.51/1010.38 c GARBAGE COLLECT
1007.51/1010.38 c #Conflicts: 164000 | #Constraints: 109421
1007.51/1010.38 c GLOBAL bounds - >= -300660 @ 998.359
1007.71/1010.58 c GLOBAL bounds - >= -300660 @ 998.556
1007.92/1010.72 c GLOBAL bounds - >= -300660 @ 998.691
1008.22/1011.08 c GLOBAL bounds - >= -300660 @ 999.052
1013.09/1015.90 c #Conflicts: 165000 | #Constraints: 110429
1013.09/1015.90 c GLOBAL bounds - >= -300660 @ 1003.8
1013.21/1016.06 c GLOBAL bounds - >= -300660 @ 1003.96
1013.89/1016.76 c GLOBAL bounds - >= -300660 @ 1004.65
1014.09/1016.93 c GLOBAL bounds - >= -300660 @ 1004.82
1014.39/1017.26 c GLOBAL bounds - >= -300660 @ 1005.15
1036.43/1039.35 c #Conflicts: 166000 | #Constraints: 111439
1036.43/1039.35 c #Conflicts: 167000 | #Constraints: 112439
1036.43/1039.35 c #Conflicts: 168000 | #Constraints: 113439
1036.43/1039.35 c GLOBAL bounds - >= -300660 @ 1027
1043.90/1046.85 c GLOBAL bounds - >= -300660 @ 1034.43
1044.21/1047.10 c GLOBAL bounds - >= -300660 @ 1034.67
1044.40/1047.34 c GLOBAL bounds - >= -300660 @ 1034.91
1046.00/1048.97 c #Conflicts: 169000 | #Constraints: 114447
1046.00/1048.97 c GLOBAL bounds - >= -300660 @ 1036.53
1046.70/1049.60 c GLOBAL bounds - >= -300660 @ 1037.16
1046.90/1049.87 c GLOBAL bounds - >= -300660 @ 1037.43
1047.20/1050.17 c GLOBAL bounds - >= -300660 @ 1037.72
1047.50/1050.44 c GLOBAL bounds - >= -300660 @ 1037.99
1047.80/1050.73 c GLOBAL bounds - >= -300660 @ 1038.28
1048.10/1051.01 c GLOBAL bounds - >= -300660 @ 1038.55
1050.88/1053.81 c GLOBAL bounds - >= -300660 @ 1041.32
1053.38/1056.34 c GLOBAL bounds - >= -300660 @ 1043.82
1055.08/1058.00 c #Conflicts: 170000 | #Constraints: 115465
1055.08/1058.00 c GLOBAL bounds - >= -300660 @ 1045.47
1063.75/1066.71 c GLOBAL bounds - >= -300660 @ 1054.11
1086.49/1089.53 c #Conflicts: 171000 | #Constraints: 116469
1086.49/1089.53 c INPROCESSING
1086.49/1089.53 c GARBAGE COLLECT
1086.49/1089.53 c GLOBAL bounds - >= -300660 @ 1076.72
1099.95/1103.09 c #Conflicts: 172000 | #Constraints: 109267
1099.95/1103.09 c #Conflicts: 173000 | #Constraints: 110267
1099.95/1103.09 c #Conflicts: 174000 | #Constraints: 111267
1099.95/1103.09 c GLOBAL bounds - >= -300660 @ 1090.11
1179.72/1183.06 c #Conflicts: 175000 | #Constraints: 112269
1179.72/1183.06 c #Conflicts: 176000 | #Constraints: 113269
1179.72/1183.06 c #Conflicts: 177000 | #Constraints: 114269
1179.72/1183.06 c #Conflicts: 178000 | #Constraints: 115269
1179.72/1183.06 c #Conflicts: 179000 | #Constraints: 116269
1179.72/1183.06 c #Conflicts: 180000 | #Constraints: 117269
1179.72/1183.06 c INPROCESSING
1179.72/1183.06 c GARBAGE COLLECT
1179.72/1183.06 c #Conflicts: 181000 | #Constraints: 109869
1179.72/1183.06 c #Conflicts: 182000 | #Constraints: 110869
1179.72/1183.06 c GLOBAL bounds - >= -300660 @ 1169.29
1179.91/1183.23 c GLOBAL bounds - >= -300660 @ 1169.46
1180.01/1183.38 c GLOBAL bounds - >= -300660 @ 1169.62
1180.21/1183.57 c GLOBAL bounds - >= -300660 @ 1169.79
1180.72/1184.07 c GLOBAL bounds - >= -300660 @ 1170.3
1181.01/1184.31 c GLOBAL bounds - >= -300660 @ 1170.53
1239.74/1243.27 c #Conflicts: 183000 | #Constraints: 111881
1239.74/1243.27 c #Conflicts: 184000 | #Constraints: 112881
1239.74/1243.27 c #Conflicts: 185000 | #Constraints: 113881
1239.74/1243.27 c #Conflicts: 186000 | #Constraints: 114881
1239.74/1243.27 c #Conflicts: 187000 | #Constraints: 115881
1239.74/1243.27 c #Conflicts: 188000 | #Constraints: 116881
1239.74/1243.27 c #Conflicts: 189000 | #Constraints: 117881
1239.74/1243.27 c INPROCESSING
1239.74/1243.27 c GARBAGE COLLECT
1239.74/1243.27 c #Conflicts: 190000 | #Constraints: 110278
1239.74/1243.27 c #Conflicts: 191000 | #Constraints: 111278
1239.74/1243.27 c GLOBAL bounds - >= -300660 @ 1228.81
1239.94/1243.47 c GLOBAL bounds - >= -300660 @ 1229.02
1240.14/1243.62 c GLOBAL bounds - >= -300660 @ 1229.16
1240.24/1243.77 c GLOBAL bounds - >= -300660 @ 1229.31
1254.00/1257.56 c #Conflicts: 192000 | #Constraints: 112286
1254.00/1257.56 c #Conflicts: 193000 | #Constraints: 113286
1254.00/1257.56 c #Conflicts: 194000 | #Constraints: 114286
1254.00/1257.56 c GLOBAL bounds - >= -300660 @ 1242.92
1254.30/1257.85 c GLOBAL bounds - >= -300660 @ 1243.21
1254.60/1258.11 c GLOBAL bounds - >= -300660 @ 1243.46
1254.80/1258.35 c GLOBAL bounds - >= -300660 @ 1243.71
1255.19/1258.72 c GLOBAL bounds - >= -300660 @ 1244.07
1256.09/1259.62 c GLOBAL bounds - >= -300660 @ 1244.96
1284.01/1287.68 c #Conflicts: 195000 | #Constraints: 115298
1284.01/1287.68 c #Conflicts: 196000 | #Constraints: 116298
1284.01/1287.68 c #Conflicts: 197000 | #Constraints: 117298
1284.01/1287.68 c #Conflicts: 198000 | #Constraints: 118298
1284.01/1287.68 c INPROCESSING
1284.01/1287.68 c GARBAGE COLLECT
1284.01/1287.68 c GLOBAL bounds - >= -300660 @ 1272.77
1284.11/1287.78 c GLOBAL bounds - >= -300660 @ 1272.86
1300.16/1303.87 c #Conflicts: 199000 | #Constraints: 110517
1300.16/1303.87 c #Conflicts: 200000 | #Constraints: 111517
1300.16/1303.87 c #Conflicts: 201000 | #Constraints: 112517
1300.16/1303.87 c GLOBAL bounds - >= -300660 @ 1288.75
1339.95/1343.79 c #Conflicts: 202000 | #Constraints: 113519
1339.95/1343.79 c #Conflicts: 203000 | #Constraints: 114519
1339.95/1343.79 c #Conflicts: 204000 | #Constraints: 115519
1339.95/1343.79 c #Conflicts: 205000 | #Constraints: 116519
1339.95/1343.79 c #Conflicts: 206000 | #Constraints: 117519
1339.95/1343.79 c #Conflicts: 207000 | #Constraints: 118519
1339.95/1343.79 c INPROCESSING
1339.95/1343.79 c GARBAGE COLLECT
1339.95/1343.79 c #Conflicts: 208000 | #Constraints: 110508
1339.95/1343.79 c GLOBAL bounds - >= -300660 @ 1328.21
1342.54/1346.38 c #Conflicts: 209000 | #Constraints: 111510
1342.54/1346.38 c GLOBAL bounds - >= -300660 @ 1330.76
1380.53/1384.48 c #Conflicts: 210000 | #Constraints: 112512
1380.53/1384.48 c #Conflicts: 211000 | #Constraints: 113512
1380.53/1384.48 c #Conflicts: 212000 | #Constraints: 114512
1380.53/1384.48 c #Conflicts: 213000 | #Constraints: 115512
1380.53/1384.48 c #Conflicts: 214000 | #Constraints: 116512
1380.53/1384.48 c #Conflicts: 215000 | #Constraints: 117512
1380.53/1384.48 c #Conflicts: 216000 | #Constraints: 118512
1380.53/1384.48 c INPROCESSING
1380.53/1384.48 c GARBAGE COLLECT
1380.53/1384.48 c GLOBAL bounds - >= -300660 @ 1368.45
1380.63/1384.56 c GLOBAL bounds - >= -300660 @ 1368.53
1380.73/1384.68 c GLOBAL bounds - >= -300660 @ 1368.65
1381.13/1385.04 c #Conflicts: 217000 | #Constraints: 110319
1381.13/1385.04 c GLOBAL bounds - >= -300660 @ 1369.01
1381.23/1385.12 c GLOBAL bounds - >= -300660 @ 1369.08
1381.33/1385.21 c GLOBAL bounds - >= -300660 @ 1369.17
1381.33/1385.28 c GLOBAL bounds - >= -300660 @ 1369.24
1381.43/1385.35 c GLOBAL bounds - >= -300660 @ 1369.31
1381.53/1385.45 c GLOBAL bounds - >= -300660 @ 1369.41
1381.63/1385.58 c GLOBAL bounds - >= -300660 @ 1369.53
1417.62/1421.69 c #Conflicts: 218000 | #Constraints: 111333
1417.62/1421.69 c #Conflicts: 219000 | #Constraints: 112333
1417.62/1421.69 c #Conflicts: 220000 | #Constraints: 113333
1417.62/1421.69 c #Conflicts: 221000 | #Constraints: 114333
1417.62/1421.69 c #Conflicts: 222000 | #Constraints: 115333
1417.62/1421.69 c #Conflicts: 223000 | #Constraints: 116333
1417.62/1421.69 c GLOBAL bounds - >= -300660 @ 1405.21
1425.40/1429.44 c GLOBAL bounds - >= -300660 @ 1412.89
1426.11/1430.12 c GLOBAL bounds - >= -300660 @ 1413.57
1487.42/1491.68 c #Conflicts: 224000 | #Constraints: 117339
1487.42/1491.68 c #Conflicts: 225000 | #Constraints: 118339
1487.42/1491.68 c #Conflicts: 226000 | #Constraints: 119339
1487.42/1491.68 c INPROCESSING
1487.42/1491.68 c GARBAGE COLLECT
1487.42/1491.68 c #Conflicts: 227000 | #Constraints: 110937
1487.42/1491.68 c #Conflicts: 228000 | #Constraints: 111937
1487.42/1491.68 c #Conflicts: 229000 | #Constraints: 112937
1487.42/1491.68 c #Conflicts: 230000 | #Constraints: 113937
1487.42/1491.68 c #Conflicts: 231000 | #Constraints: 114937
1487.42/1491.68 c GLOBAL bounds - >= -300660 @ 1474.53
1487.72/1491.98 c GLOBAL bounds - >= -300660 @ 1474.82
1490.61/1494.81 c #Conflicts: 232000 | #Constraints: 115941
1490.61/1494.81 c GLOBAL bounds - >= -300660 @ 1477.62
1492.61/1496.84 c GLOBAL bounds - >= -300660 @ 1479.64
1492.91/1497.19 c GLOBAL bounds - >= -300660 @ 1479.98
1493.30/1497.50 c GLOBAL bounds - >= -300660 @ 1480.29
1493.60/1497.82 c GLOBAL bounds - >= -300660 @ 1480.61
1493.91/1498.11 c GLOBAL bounds - >= -300660 @ 1480.9
1494.20/1498.42 c GLOBAL bounds - >= -300660 @ 1481.21
1494.49/1498.75 c GLOBAL bounds - >= -300660 @ 1481.53
1494.80/1499.04 c GLOBAL bounds - >= -300660 @ 1481.82
1495.09/1499.36 c GLOBAL bounds - >= -300660 @ 1482.14
1495.40/1499.68 c GLOBAL bounds - >= -300660 @ 1482.46
1495.80/1500.01 c GLOBAL bounds - >= -300660 @ 1482.79
1496.10/1500.38 c GLOBAL bounds - >= -300660 @ 1483.15
1496.49/1500.75 c GLOBAL bounds - >= -300660 @ 1483.52
1497.90/1502.15 c GLOBAL bounds - >= -300660 @ 1484.91
1522.32/1526.68 c #Conflicts: 233000 | #Constraints: 116971
1522.32/1526.68 c #Conflicts: 234000 | #Constraints: 117971
1522.32/1526.68 c GLOBAL bounds - >= -300660 @ 1509.25
1586.73/1591.20 c #Conflicts: 235000 | #Constraints: 118973
1586.73/1591.20 c #Conflicts: 236000 | #Constraints: 119973
1586.73/1591.20 c INPROCESSING
1586.73/1591.20 c GARBAGE COLLECT
1586.73/1591.20 c #Conflicts: 237000 | #Constraints: 111365
1586.73/1591.20 c #Conflicts: 238000 | #Constraints: 112365
1586.73/1591.20 c #Conflicts: 239000 | #Constraints: 113365
1586.73/1591.20 c #Conflicts: 240000 | #Constraints: 114365
1586.73/1591.20 c #Conflicts: 241000 | #Constraints: 115365
1586.73/1591.20 c GLOBAL bounds - >= -300660 @ 1573.19
1586.93/1591.47 c GLOBAL bounds - >= -300660 @ 1573.46
1587.23/1591.77 c GLOBAL bounds - >= -300660 @ 1573.76
1587.84/1592.36 c GLOBAL bounds - >= -300660 @ 1574.35
1607.67/1612.27 c #Conflicts: 242000 | #Constraints: 116373
1607.67/1612.27 c #Conflicts: 243000 | #Constraints: 117373
1607.67/1612.27 c GLOBAL bounds - >= -300660 @ 1594.06
1607.97/1612.59 c GLOBAL bounds - >= -300660 @ 1594.38
1608.37/1612.90 c GLOBAL bounds - >= -300660 @ 1594.69
1608.67/1613.26 c GLOBAL bounds - >= -300660 @ 1595.05
1609.07/1613.62 c GLOBAL bounds - >= -300660 @ 1595.41
1609.47/1614.01 c GLOBAL bounds - >= -300660 @ 1595.8
1609.77/1614.36 c GLOBAL bounds - >= -300660 @ 1596.14
1610.06/1614.68 c GLOBAL bounds - >= -300660 @ 1596.46
1610.47/1615.02 c GLOBAL bounds - >= -300660 @ 1596.8
1610.87/1615.44 c GLOBAL bounds - >= -300660 @ 1597.22
1611.17/1615.76 c GLOBAL bounds - >= -300660 @ 1597.54
1611.57/1616.20 c GLOBAL bounds - >= -300660 @ 1597.97
1622.03/1626.66 c #Conflicts: 244000 | #Constraints: 118397
1622.03/1626.66 c GLOBAL bounds - >= -300660 @ 1608.34
1627.22/1631.81 c GLOBAL bounds - >= -300660 @ 1613.44
1627.52/1632.17 c GLOBAL bounds - >= -300660 @ 1613.79
1628.92/1633.57 c GLOBAL bounds - >= -300660 @ 1615.18
1629.31/1633.95 c GLOBAL bounds - >= -300660 @ 1615.56
1632.11/1636.73 c GLOBAL bounds - >= -300660 @ 1618.31
1632.41/1637.07 c GLOBAL bounds - >= -300660 @ 1618.65
1632.80/1637.40 c GLOBAL bounds - >= -300660 @ 1618.98
1645.37/1650.06 c #Conflicts: 245000 | #Constraints: 119413
1645.37/1650.06 c #Conflicts: 246000 | #Constraints: 120413
1645.37/1650.06 c INPROCESSING
1645.37/1650.06 c GARBAGE COLLECT
1645.37/1650.06 c GLOBAL bounds - >= -300660 @ 1631.48
1649.16/1653.80 c GLOBAL bounds - >= -300660 @ 1635.15
1649.26/1653.97 c GLOBAL bounds - >= -300660 @ 1635.33
1649.36/1654.05 c GLOBAL bounds - >= -300660 @ 1635.4
1649.46/1654.12 c GLOBAL bounds - >= -300660 @ 1635.47
1649.46/1654.19 c GLOBAL bounds - >= -300660 @ 1635.55
1649.55/1654.26 c GLOBAL bounds - >= -300660 @ 1635.61
1649.65/1654.34 c GLOBAL bounds - >= -300660 @ 1635.69
1649.75/1654.42 c GLOBAL bounds - >= -300660 @ 1635.77
1652.36/1657.04 c #Conflicts: 247000 | #Constraints: 111635
1652.36/1657.04 c GLOBAL bounds - >= -300660 @ 1638.35
1652.94/1657.67 c GLOBAL bounds - >= -300660 @ 1638.97
1690.73/1695.52 c #Conflicts: 248000 | #Constraints: 112639
1690.73/1695.52 c #Conflicts: 249000 | #Constraints: 113639
1690.73/1695.52 c #Conflicts: 250000 | #Constraints: 114639
1690.73/1695.52 c #Conflicts: 251000 | #Constraints: 115639
1690.73/1695.52 c #Conflicts: 252000 | #Constraints: 116639
1690.73/1695.52 c #Conflicts: 253000 | #Constraints: 117639
1690.73/1695.52 c GLOBAL bounds - >= -300660 @ 1676.42
1706.59/1711.44 c #Conflicts: 254000 | #Constraints: 118641
1706.59/1711.44 c GLOBAL bounds - >= -300660 @ 1692.2
1768.91/1773.97 c #Conflicts: 255000 | #Constraints: 119643
1768.91/1773.97 c #Conflicts: 256000 | #Constraints: 120643
1768.91/1773.97 c INPROCESSING
1768.91/1773.97 c GARBAGE COLLECT
1768.91/1773.97 c #Conflicts: 257000 | #Constraints: 111680
1768.91/1773.97 c #Conflicts: 258000 | #Constraints: 112680
1768.91/1773.97 c #Conflicts: 259000 | #Constraints: 113680
1768.91/1773.97 c #Conflicts: 260000 | #Constraints: 114680
1768.91/1773.97 c #Conflicts: 261000 | #Constraints: 115680
1768.91/1773.97 c #Conflicts: 262000 | #Constraints: 116680
1768.91/1773.97 c GLOBAL bounds - >= -300660 @ 1754.1
1769.31/1774.32 c GLOBAL bounds - >= -300660 @ 1754.44
1769.50/1774.58 c GLOBAL bounds - >= -300660 @ 1754.7
1769.81/1774.89 c GLOBAL bounds - >= -300660 @ 1755.01
1770.12/1775.17 c GLOBAL bounds - >= -300660 @ 1755.28
1771.20/1776.20 c GLOBAL bounds - >= -300660 @ 1756.31
1780.78/1785.86 c GLOBAL bounds - >= -300660 @ 1765.9
1781.08/1786.11 c GLOBAL bounds - >= -300660 @ 1766.14
1781.28/1786.39 c GLOBAL bounds - >= -300660 @ 1766.43
1781.58/1786.64 c GLOBAL bounds - >= -300660 @ 1766.68
1781.87/1786.99 c GLOBAL bounds - >= -300660 @ 1767.02
1782.67/1787.71 c GLOBAL bounds - >= -300660 @ 1767.74
1821.87/1827.08 c #Conflicts: 263000 | #Constraints: 117704
1821.87/1827.08 c #Conflicts: 264000 | #Constraints: 118704
1821.87/1827.08 c #Conflicts: 265000 | #Constraints: 119704
1821.87/1827.08 c #Conflicts: 266000 | #Constraints: 120704
1821.87/1827.08 c INPROCESSING
1821.87/1827.08 c GARBAGE COLLECT
1821.87/1827.08 c #Conflicts: 267000 | #Constraints: 111482
1821.87/1827.08 c #Conflicts: 268000 | #Constraints: 112482
1821.87/1827.08 c GLOBAL bounds - >= -300660 @ 1806.69
1897.33/1902.73 c #Conflicts: 269000 | #Constraints: 113484
1897.33/1902.73 c #Conflicts: 270000 | #Constraints: 114484
1897.33/1902.73 c #Conflicts: 271000 | #Constraints: 115484
1897.33/1902.73 c #Conflicts: 272000 | #Constraints: 116484
1897.33/1902.73 c #Conflicts: 273000 | #Constraints: 117484
1897.33/1902.73 c #Conflicts: 274000 | #Constraints: 118484
1897.33/1902.73 c #Conflicts: 275000 | #Constraints: 119484
1897.33/1902.73 c #Conflicts: 276000 | #Constraints: 120484
1897.33/1902.73 c #Conflicts: 277000 | #Constraints: 121484
1897.33/1902.73 c INPROCESSING
1897.33/1902.73 c GARBAGE COLLECT
1897.33/1902.73 c #Conflicts: 278000 | #Constraints: 112083
1897.33/1902.73 c #Conflicts: 279000 | #Constraints: 113083
1897.33/1902.73 c #Conflicts: 280000 | #Constraints: 114083
1897.33/1902.73 c GLOBAL bounds - >= -300660 @ 1881.55
1961.55/1967.16 c #Conflicts: 281000 | #Constraints: 115085
1961.55/1967.16 c #Conflicts: 282000 | #Constraints: 116085
1961.55/1967.16 c #Conflicts: 283000 | #Constraints: 117085
1961.55/1967.16 c #Conflicts: 284000 | #Constraints: 118085
1961.55/1967.16 c #Conflicts: 285000 | #Constraints: 119085
1961.55/1967.16 c #Conflicts: 286000 | #Constraints: 120085
1961.55/1967.16 c #Conflicts: 287000 | #Constraints: 121085
1961.55/1967.16 c GLOBAL bounds - >= -300660 @ 1945.43
2069.97/2075.86 c #Conflicts: 288000 | #Constraints: 122087
2069.97/2075.86 c INPROCESSING
2069.97/2075.86 c GARBAGE COLLECT
2069.97/2075.86 c #Conflicts: 289000 | #Constraints: 112473
2069.97/2075.86 c #Conflicts: 290000 | #Constraints: 113473
2069.97/2075.86 c #Conflicts: 291000 | #Constraints: 114473
2069.97/2075.86 c #Conflicts: 292000 | #Constraints: 115473
2069.97/2075.86 c #Conflicts: 293000 | #Constraints: 116473
2069.97/2075.86 c #Conflicts: 294000 | #Constraints: 117473
2069.97/2075.86 c #Conflicts: 295000 | #Constraints: 118473
2069.97/2075.86 c #Conflicts: 296000 | #Constraints: 119473
2069.97/2075.86 c #Conflicts: 297000 | #Constraints: 120473
2069.97/2075.86 c #Conflicts: 298000 | #Constraints: 121473
2069.97/2075.86 c GLOBAL bounds - >= -300660 @ 2053.16
2071.46/2077.39 c GLOBAL bounds - >= -300660 @ 2054.67
2073.56/2079.48 c GLOBAL bounds - >= -300660 @ 2056.74
2077.05/2082.96 c #Conflicts: 299000 | #Constraints: 122479
2077.05/2082.96 c INPROCESSING
2077.05/2082.96 c GARBAGE COLLECT
2077.05/2082.96 c GLOBAL bounds - >= -300660 @ 2060.19
2631.10/2638.34 c #Conflicts: 300000 | #Constraints: 112690
2631.10/2638.34 c #Conflicts: 301000 | #Constraints: 113690
2631.10/2638.34 c #Conflicts: 302000 | #Constraints: 114690
2631.10/2638.34 c #Conflicts: 303000 | #Constraints: 115690
2631.10/2638.34 c #Conflicts: 304000 | #Constraints: 116690
2631.10/2638.34 c #Conflicts: 305000 | #Constraints: 117690
2631.10/2638.34 c #Conflicts: 306000 | #Constraints: 118690
2631.10/2638.34 c #Conflicts: 307000 | #Constraints: 119690
2631.10/2638.34 c #Conflicts: 308000 | #Constraints: 120690
2631.10/2638.34 c #Conflicts: 309000 | #Constraints: 121690
2631.10/2638.34 c #Conflicts: 310000 | #Constraints: 122690
2631.10/2638.34 c INPROCESSING
2631.10/2638.34 c GARBAGE COLLECT
2631.10/2638.34 c #Conflicts: 311000 | #Constraints: 112677
2631.10/2638.34 c #Conflicts: 312000 | #Constraints: 113677
2631.10/2638.34 c #Conflicts: 313000 | #Constraints: 114677
2631.10/2638.34 c #Conflicts: 314000 | #Constraints: 115677
2631.10/2638.34 c #Conflicts: 315000 | #Constraints: 116677
2631.10/2638.34 c #Conflicts: 316000 | #Constraints: 117677
2631.10/2638.34 c #Conflicts: 317000 | #Constraints: 118677
2631.10/2638.34 c #Conflicts: 318000 | #Constraints: 119677
2631.10/2638.34 c #Conflicts: 319000 | #Constraints: 120677
2631.10/2638.34 c #Conflicts: 320000 | #Constraints: 121677
2631.10/2638.34 c #Conflicts: 321000 | #Constraints: 122677
2631.10/2638.34 c INPROCESSING
2631.10/2638.34 c GARBAGE COLLECT
2631.10/2638.34 c #Conflicts: 322000 | #Constraints: 112480
2631.10/2638.34 c #Conflicts: 323000 | #Constraints: 113480
2631.10/2638.34 c #Conflicts: 324000 | #Constraints: 114480
2631.10/2638.34 c #Conflicts: 325000 | #Constraints: 115480
2631.10/2638.34 c #Conflicts: 326000 | #Constraints: 116480
2631.10/2638.34 c #Conflicts: 327000 | #Constraints: 117480
2631.10/2638.34 c #Conflicts: 328000 | #Constraints: 118480
2631.10/2638.34 c #Conflicts: 329000 | #Constraints: 119480
2631.10/2638.34 c #Conflicts: 330000 | #Constraints: 120480
2631.10/2638.34 c #Conflicts: 331000 | #Constraints: 121480
2631.10/2638.34 c #Conflicts: 332000 | #Constraints: 122480
2631.10/2638.34 c #Conflicts: 333000 | #Constraints: 123480
2631.10/2638.34 c INPROCESSING
2631.10/2638.34 c GARBAGE COLLECT
2631.10/2638.34 c #Conflicts: 334000 | #Constraints: 113079
2631.10/2638.34 c #Conflicts: 335000 | #Constraints: 114079
2631.10/2638.34 c #Conflicts: 336000 | #Constraints: 115079
2631.10/2638.34 c #Conflicts: 337000 | #Constraints: 116079
2631.10/2638.34 c #Conflicts: 338000 | #Constraints: 117079
2631.10/2638.34 c #Conflicts: 339000 | #Constraints: 118079
2631.10/2638.34 c #Conflicts: 340000 | #Constraints: 119079
2631.10/2638.34 c #Conflicts: 341000 | #Constraints: 120079
2631.10/2638.34 c #Conflicts: 342000 | #Constraints: 121079
2631.10/2638.34 c #Conflicts: 343000 | #Constraints: 122079
2631.10/2638.34 c #Conflicts: 344000 | #Constraints: 123079
2631.10/2638.34 c #Conflicts: 345000 | #Constraints: 124079
2631.10/2638.34 c INPROCESSING
2631.10/2638.34 c GARBAGE COLLECT
2631.10/2638.34 c #Conflicts: 346000 | #Constraints: 113474
2631.10/2638.34 c #Conflicts: 347000 | #Constraints: 114474
2631.10/2638.34 c #Conflicts: 348000 | #Constraints: 115474
2631.10/2638.34 c #Conflicts: 349000 | #Constraints: 116474
2631.10/2638.34 c #Conflicts: 350000 | #Constraints: 117474
2631.10/2638.34 c #Conflicts: 351000 | #Constraints: 118474
2631.10/2638.34 c #Conflicts: 352000 | #Constraints: 119474
2631.10/2638.34 c #Conflicts: 353000 | #Constraints: 120474
2631.10/2638.34 c #Conflicts: 354000 | #Constraints: 121474
2631.10/2638.34 c #Conflicts: 355000 | #Constraints: 122474
2631.10/2638.34 c #Conflicts: 356000 | #Constraints: 123474
2631.10/2638.34 c #Conflicts: 357000 | #Constraints: 124474
2631.10/2638.34 c INPROCESSING
2631.10/2638.34 c GARBAGE COLLECT
2631.10/2638.34 c #Conflicts: 358000 | #Constraints: 113675
2631.10/2638.34 c #Conflicts: 359000 | #Constraints: 114675
2631.10/2638.34 c #Conflicts: 360000 | #Constraints: 115675
2631.10/2638.34 c #Conflicts: 361000 | #Constraints: 116675
2631.10/2638.34 c #Conflicts: 362000 | #Constraints: 117675
2631.10/2638.34 c #Conflicts: 363000 | #Constraints: 118675
2631.10/2638.34 c #Conflicts: 364000 | #Constraints: 119675
2631.10/2638.34 c #Conflicts: 365000 | #Constraints: 120675
2631.10/2638.34 c #Conflicts: 366000 | #Constraints: 121675
2631.10/2638.34 c #Conflicts: 367000 | #Constraints: 122675
2631.10/2638.34 c #Conflicts: 368000 | #Constraints: 123675
2631.10/2638.34 c #Conflicts: 369000 | #Constraints: 124675
2631.10/2638.34 c INPROCESSING
2631.10/2638.34 c GARBAGE COLLECT
2631.10/2638.34 c #Conflicts: 370000 | #Constraints: 113680
2631.10/2638.34 c #Conflicts: 371000 | #Constraints: 114680
2631.10/2638.34 c #Conflicts: 372000 | #Constraints: 115680
2631.10/2638.34 c #Conflicts: 373000 | #Constraints: 116680
2631.10/2638.34 c #Conflicts: 374000 | #Constraints: 117680
3036.81/3045.07 c #Conflicts: 375000 | #Constraints: 118680
3036.81/3045.07 c #Conflicts: 376000 | #Constraints: 119680
3036.81/3045.07 c #Conflicts: 377000 | #Constraints: 120680
3036.81/3045.07 c #Conflicts: 378000 | #Constraints: 121680
3036.81/3045.07 c #Conflicts: 379000 | #Constraints: 122680
3036.81/3045.07 c #Conflicts: 380000 | #Constraints: 123680
3036.81/3045.07 c #Conflicts: 381000 | #Constraints: 124680
3036.81/3045.07 c INPROCESSING
3036.81/3045.07 c GARBAGE COLLECT
3036.81/3045.07 c #Conflicts: 382000 | #Constraints: 113478
3036.81/3045.07 c #Conflicts: 383000 | #Constraints: 114478
3036.81/3045.07 c #Conflicts: 384000 | #Constraints: 115478
3036.81/3045.07 c #Conflicts: 385000 | #Constraints: 116478
3036.81/3045.07 c #Conflicts: 386000 | #Constraints: 117478
3036.81/3045.07 c #Conflicts: 387000 | #Constraints: 118478
3036.81/3045.07 c #Conflicts: 388000 | #Constraints: 119478
3036.81/3045.07 c #Conflicts: 389000 | #Constraints: 120478
3036.81/3045.07 c #Conflicts: 390000 | #Constraints: 121478
3036.81/3045.07 c #Conflicts: 391000 | #Constraints: 122478
3036.81/3045.07 c #Conflicts: 392000 | #Constraints: 123478
3036.81/3045.07 c #Conflicts: 393000 | #Constraints: 124478
3036.81/3045.07 c #Conflicts: 394000 | #Constraints: 125478
3036.81/3045.07 c INPROCESSING
3036.81/3045.07 c GARBAGE COLLECT
3036.81/3045.07 c #Conflicts: 395000 | #Constraints: 114082
3036.81/3045.07 c #Conflicts: 396000 | #Constraints: 115082
3036.81/3045.07 c #Conflicts: 397000 | #Constraints: 116082
3036.81/3045.07 c #Conflicts: 398000 | #Constraints: 117082
3036.81/3045.07 c #Conflicts: 399000 | #Constraints: 118082
3036.81/3045.07 c #Conflicts: 400000 | #Constraints: 119082
3036.81/3045.07 c #Conflicts: 401000 | #Constraints: 120082
3036.81/3045.07 c #Conflicts: 402000 | #Constraints: 121082
3036.81/3045.07 c #Conflicts: 403000 | #Constraints: 122082
3036.81/3045.07 c #Conflicts: 404000 | #Constraints: 123082
3036.81/3045.07 c #Conflicts: 405000 | #Constraints: 124082
3036.81/3045.07 c #Conflicts: 406000 | #Constraints: 125082
3036.81/3045.07 c #Conflicts: 407000 | #Constraints: 126082
3036.81/3045.07 c INPROCESSING
3036.81/3045.07 c GARBAGE COLLECT
3036.81/3045.07 c #Conflicts: 408000 | #Constraints: 114483
3036.81/3045.07 c #Conflicts: 409000 | #Constraints: 115483
3036.81/3045.07 c #Conflicts: 410000 | #Constraints: 116483
3036.81/3045.07 c #Conflicts: 411000 | #Constraints: 117483
3036.81/3045.07 c #Conflicts: 412000 | #Constraints: 118483
3036.81/3045.07 c #Conflicts: 413000 | #Constraints: 119483
3036.81/3045.07 c #Conflicts: 414000 | #Constraints: 120483
3036.81/3045.07 c #Conflicts: 415000 | #Constraints: 121483
3036.81/3045.07 c #Conflicts: 416000 | #Constraints: 122483
3036.81/3045.07 c #Conflicts: 417000 | #Constraints: 123483
3036.81/3045.07 c #Conflicts: 418000 | #Constraints: 124483
3036.81/3045.07 c #Conflicts: 419000 | #Constraints: 125483
3036.81/3045.07 c #Conflicts: 420000 | #Constraints: 126483
3036.81/3045.07 c INPROCESSING
3036.81/3045.07 c GARBAGE COLLECT
3036.81/3045.07 c #Conflicts: 421000 | #Constraints: 114683
3036.81/3045.07 c #Conflicts: 422000 | #Constraints: 115683
3036.81/3045.07 c #Conflicts: 423000 | #Constraints: 116683
3036.81/3045.07 c #Conflicts: 424000 | #Constraints: 117683
3036.81/3045.07 c #Conflicts: 425000 | #Constraints: 118683
3036.81/3045.07 c #Conflicts: 426000 | #Constraints: 119683
3036.81/3045.07 c #Conflicts: 427000 | #Constraints: 120683
3036.81/3045.07 c #Conflicts: 428000 | #Constraints: 121683
3036.81/3045.07 c #Conflicts: 429000 | #Constraints: 122683
3036.81/3045.07 c #Conflicts: 430000 | #Constraints: 123683
3036.81/3045.07 c #Conflicts: 431000 | #Constraints: 124683
3036.81/3045.07 c #Conflicts: 432000 | #Constraints: 125683
3036.81/3045.07 c #Conflicts: 433000 | #Constraints: 126683
3036.81/3045.07 c INPROCESSING
3036.81/3045.07 c GARBAGE COLLECT
3036.81/3045.07 c #Conflicts: 434000 | #Constraints: 114682
3036.81/3045.07 c #Conflicts: 435000 | #Constraints: 115682
3036.81/3045.07 c #Conflicts: 436000 | #Constraints: 116682
3036.81/3045.07 c #Conflicts: 437000 | #Constraints: 117682
3036.81/3045.07 c #Conflicts: 438000 | #Constraints: 118682
3036.81/3045.07 c #Conflicts: 439000 | #Constraints: 119682
3036.81/3045.07 c #Conflicts: 440000 | #Constraints: 120682
3036.81/3045.07 c #Conflicts: 441000 | #Constraints: 121682
3036.81/3045.07 c #Conflicts: 442000 | #Constraints: 122682
3036.81/3045.07 c #Conflicts: 443000 | #Constraints: 123682
3036.81/3045.07 c #Conflicts: 444000 | #Constraints: 124682
3036.81/3045.07 c #Conflicts: 445000 | #Constraints: 125682
3036.81/3045.07 c #Conflicts: 446000 | #Constraints: 126682
3036.81/3045.07 c INPROCESSING
3036.81/3045.07 c GARBAGE COLLECT
3036.81/3045.07 c #Conflicts: 447000 | #Constraints: 114486
3036.81/3045.07 c #Conflicts: 448000 | #Constraints: 115486
3036.81/3045.07 c #Conflicts: 449000 | #Constraints: 116486
3406.89/3416.07 c #Conflicts: 450000 | #Constraints: 117486
3406.89/3416.07 c #Conflicts: 451000 | #Constraints: 118486
3406.89/3416.07 c #Conflicts: 452000 | #Constraints: 119486
3406.89/3416.07 c #Conflicts: 453000 | #Constraints: 120486
3406.89/3416.07 c #Conflicts: 454000 | #Constraints: 121486
3406.89/3416.07 c #Conflicts: 455000 | #Constraints: 122486
3406.89/3416.07 c #Conflicts: 456000 | #Constraints: 123486
3406.89/3416.07 c #Conflicts: 457000 | #Constraints: 124486
3406.89/3416.07 c #Conflicts: 458000 | #Constraints: 125486
3406.89/3416.07 c #Conflicts: 459000 | #Constraints: 126486
3406.89/3416.07 c #Conflicts: 460000 | #Constraints: 127486
3406.89/3416.07 c INPROCESSING
3406.89/3416.07 c GARBAGE COLLECT
3406.89/3416.07 c #Conflicts: 461000 | #Constraints: 115080
3406.89/3416.07 c #Conflicts: 462000 | #Constraints: 116080
3406.89/3416.07 c #Conflicts: 463000 | #Constraints: 117080
3406.89/3416.07 c #Conflicts: 464000 | #Constraints: 118080
3406.89/3416.07 c #Conflicts: 465000 | #Constraints: 119080
3406.89/3416.07 c #Conflicts: 466000 | #Constraints: 120080
3406.89/3416.07 c #Conflicts: 467000 | #Constraints: 121080
3406.89/3416.07 c #Conflicts: 468000 | #Constraints: 122080
3406.89/3416.07 c #Conflicts: 469000 | #Constraints: 123080
3406.89/3416.07 c #Conflicts: 470000 | #Constraints: 124080
3406.89/3416.07 c #Conflicts: 471000 | #Constraints: 125080
3406.89/3416.07 c #Conflicts: 472000 | #Constraints: 126080
3406.89/3416.07 c #Conflicts: 473000 | #Constraints: 127080
3406.89/3416.07 c #Conflicts: 474000 | #Constraints: 128080
3406.89/3416.07 c INPROCESSING
3406.89/3416.07 c GARBAGE COLLECT
3406.89/3416.07 c #Conflicts: 475000 | #Constraints: 115482
3406.89/3416.07 c #Conflicts: 476000 | #Constraints: 116482
3406.89/3416.07 c #Conflicts: 477000 | #Constraints: 117482
3406.89/3416.07 c #Conflicts: 478000 | #Constraints: 118482
3406.89/3416.07 c #Conflicts: 479000 | #Constraints: 119482
3406.89/3416.07 c #Conflicts: 480000 | #Constraints: 120482
3406.89/3416.07 c #Conflicts: 481000 | #Constraints: 121482
3406.89/3416.07 c #Conflicts: 482000 | #Constraints: 122482
3406.89/3416.07 c #Conflicts: 483000 | #Constraints: 123482
3406.89/3416.07 c #Conflicts: 484000 | #Constraints: 124482
3406.89/3416.07 c #Conflicts: 485000 | #Constraints: 125482
3406.89/3416.07 c #Conflicts: 486000 | #Constraints: 126482
3406.89/3416.07 c #Conflicts: 487000 | #Constraints: 127482
3406.89/3416.07 c #Conflicts: 488000 | #Constraints: 128482
3406.89/3416.07 c INPROCESSING
3406.89/3416.07 c GARBAGE COLLECT
3406.89/3416.07 c #Conflicts: 489000 | #Constraints: 115682
3406.89/3416.07 c #Conflicts: 490000 | #Constraints: 116682
3406.89/3416.07 c #Conflicts: 491000 | #Constraints: 117682
3406.89/3416.07 c #Conflicts: 492000 | #Constraints: 118682
3406.89/3416.07 c #Conflicts: 493000 | #Constraints: 119682
3406.89/3416.07 c #Conflicts: 494000 | #Constraints: 120682
3406.89/3416.07 c #Conflicts: 495000 | #Constraints: 121682
3406.89/3416.07 c #Conflicts: 496000 | #Constraints: 122682
3406.89/3416.07 c #Conflicts: 497000 | #Constraints: 123682
3406.89/3416.07 c #Conflicts: 498000 | #Constraints: 124682
3406.89/3416.07 c #Conflicts: 499000 | #Constraints: 125682
3406.89/3416.07 c #Conflicts: 500000 | #Constraints: 126682
3406.89/3416.07 c #Conflicts: 501000 | #Constraints: 127682
3406.89/3416.07 c #Conflicts: 502000 | #Constraints: 128682
3406.89/3416.07 c INPROCESSING
3406.89/3416.07 c GARBAGE COLLECT
3406.89/3416.07 c #Conflicts: 503000 | #Constraints: 115684
3406.89/3416.07 c #Conflicts: 504000 | #Constraints: 116684
3406.89/3416.07 c #Conflicts: 505000 | #Constraints: 117684
3406.89/3416.07 c #Conflicts: 506000 | #Constraints: 118684
3406.89/3416.07 c #Conflicts: 507000 | #Constraints: 119684
3406.89/3416.07 c #Conflicts: 508000 | #Constraints: 120684
3406.89/3416.07 c #Conflicts: 509000 | #Constraints: 121684
3406.89/3416.07 c #Conflicts: 510000 | #Constraints: 122684
3406.89/3416.07 c #Conflicts: 511000 | #Constraints: 123684
3406.89/3416.07 c #Conflicts: 512000 | #Constraints: 124684
3406.89/3416.07 c #Conflicts: 513000 | #Constraints: 125684
3406.89/3416.07 c #Conflicts: 514000 | #Constraints: 126684
3406.89/3416.07 c #Conflicts: 515000 | #Constraints: 127684
3406.89/3416.07 c #Conflicts: 516000 | #Constraints: 128684
3406.89/3416.07 c INPROCESSING
3406.89/3416.07 c GARBAGE COLLECT
3406.89/3416.07 c #Conflicts: 517000 | #Constraints: 115482
3406.89/3416.07 c #Conflicts: 518000 | #Constraints: 116482
3406.89/3416.07 c #Conflicts: 519000 | #Constraints: 117482
3406.89/3416.07 c #Conflicts: 520000 | #Constraints: 118482
3406.89/3416.07 c #Conflicts: 521000 | #Constraints: 119482
3406.89/3416.07 c #Conflicts: 522000 | #Constraints: 120482
3406.89/3416.07 c #Conflicts: 523000 | #Constraints: 121482
3406.89/3416.07 c #Conflicts: 524000 | #Constraints: 122482
3406.89/3416.07 c #Conflicts: 525000 | #Constraints: 123482
3600.01/3609.60 c #Conflicts: 526000 | #Constraints: 124482
3600.01/3609.60 c #Conflicts: 527000 | #Constraints: 125482
3600.01/3609.60 c #Conflicts: 528000 | #Constraints: 126482
3600.01/3609.60 c #Conflicts: 529000 | #Constraints: 127482
3600.01/3609.60 c #Conflicts: 530000 | #Constraints: 128482
3600.01/3609.60 c #Conflicts: 531000 | #Constraints: 129482
3600.01/3609.60 c INPROCESSING
3600.01/3609.60 c GARBAGE COLLECT
3600.01/3609.60 c #Conflicts: 532000 | #Constraints: 116092
3600.01/3609.60 c #Conflicts: 533000 | #Constraints: 117092
3600.01/3609.60 c #Conflicts: 534000 | #Constraints: 118092
3600.01/3609.60 c #Conflicts: 535000 | #Constraints: 119092
3600.01/3609.60 c #Conflicts: 536000 | #Constraints: 120092
3600.01/3609.60 c #Conflicts: 537000 | #Constraints: 121092
3600.01/3609.60 c #Conflicts: 538000 | #Constraints: 122092
3600.01/3609.60 c #Conflicts: 539000 | #Constraints: 123092
3600.01/3609.60 c #Conflicts: 540000 | #Constraints: 124092
3600.01/3609.60 c #Conflicts: 541000 | #Constraints: 125092
3600.01/3609.60 c #Conflicts: 542000 | #Constraints: 126092
3600.01/3609.60 c #Conflicts: 543000 | #Constraints: 127092
3600.01/3609.60 c #Conflicts: 544000 | #Constraints: 128092
3600.01/3609.60 c #Conflicts: 545000 | #Constraints: 129092
3600.01/3609.60 c #Conflicts: 546000 | #Constraints: 130092
3600.01/3609.60 c INPROCESSING
3600.01/3609.60 c GARBAGE COLLECT
3600.01/3609.60 c #Conflicts: 547000 | #Constraints: 116481
3600.01/3609.60 c #Conflicts: 548000 | #Constraints: 117481
3600.01/3609.60 c #Conflicts: 549000 | #Constraints: 118481
3600.01/3609.60 c #Conflicts: 550000 | #Constraints: 119481
3600.01/3609.60 c #Conflicts: 551000 | #Constraints: 120481
3600.01/3609.60 c #Conflicts: 552000 | #Constraints: 121481
3600.01/3609.60 c #Conflicts: 553000 | #Constraints: 122481
3600.01/3609.60 c #Conflicts: 554000 | #Constraints: 123481
3600.01/3609.60 c #Conflicts: 555000 | #Constraints: 124481
3600.01/3609.60 c #Conflicts: 556000 | #Constraints: 125481
3600.01/3609.60 c #Conflicts: 557000 | #Constraints: 126481
3600.01/3609.60 c cpu time 3573.16 s
3600.01/3609.60 c deterministic time 1 1.00e+00
3600.01/3609.60 c optimization time 3572.8 s
3600.01/3609.60 c total solve time 0 s
3600.01/3609.60 c core-guided solve time 0 s
3600.01/3609.60 c propagation time 0.029281 s
3600.01/3609.60 c conflict analysis time 0 s
3600.01/3609.60 c propagations 0
3600.01/3609.60 c resolve steps 0
3600.01/3609.60 c decisions 0
3600.01/3609.60 c conflicts 0
3600.01/3609.60 c restarts 0
3600.01/3609.60 c inprocessing phases 0
3600.01/3609.60 c garbage collections 0 ,( -nan )
3600.01/3609.60 c input clauses 100672 ,( 99.99 )
3600.01/3609.60 c input cardinalities 0 ,( 0.00 )
3600.01/3609.60 c input general constraints 8 ,( 0.01 )
3600.01/3609.60 c input average constraint length 2.35
3600.01/3609.60 c input average constraint degree 583.27
3600.01/3609.60 c learned clauses 0 ,( 0.00 )
3600.01/3609.60 c learned cardinalities 0 ,( 0.00 )
3600.01/3609.60 c learned general constraints 0 ,( 0.00 )
3600.01/3609.60 c learned average constraint length 0.00
3600.01/3609.60 c learned average constraint degree 0.00
3600.01/3609.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.01/3609.60 c counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
3600.01/3609.60 c watched constraints 0 ,( 0.00 )
3600.01/3609.60 c counting constraints 8 ,( 100.00 )
3600.01/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.01/3609.60 c gcd simplifications 0
3600.01/3609.60 c detected cardinalities 0
3600.01/3609.60 c weakened non-implied lits 0
3600.01/3609.60 c weakened non-implying lits 0
3600.01/3609.60 c original variables 4356
3600.01/3609.60 c clausal propagations 0
3600.01/3609.60 c cardinality propagations 0
3600.01/3609.60 c watched propagations 0
3600.01/3609.60 c counting propagations 0
3600.01/3609.60 c watch lookups 0
3600.01/3609.60 c watch backjump lookups 0
3600.01/3609.60 c watch checks 0
3600.01/3609.60 c propagation checks 0
3600.01/3609.60 c constraint additions 0
3600.01/3609.60 c trail pops 0
3600.01/3609.60 c formula constraints 100680
3600.01/3609.60 c learned constraints 0
3600.01/3609.60 c bound constraints 0
3600.01/3609.60 c core-guided constraints 0
3600.01/3609.60 c encountered formula constraints 0
3600.01/3609.60 c encountered learned constraints 0
3600.01/3609.60 c encountered bound constraints 0
3600.01/3609.60 c encountered core-guided constraints 0
3600.01/3609.60 c LP total time 0 s
3600.01/3609.60 c LP solve time 0 s
3600.01/3609.60 c LP constraints added 0
3600.01/3609.60 c LP constraints removed 0
3600.01/3609.60 c LP pivots internal 0
3600.01/3609.60 c LP pivots root 0
3600.01/3609.60 c LP calls 0
3600.01/3609.60 c LP optimalities 0
3600.01/3609.60 c LP no pivot count 0
3600.01/3609.60 c LP infeasibilities 0
3600.01/3609.60 c LP valid Farkas constraints 0
3600.01/3609.60 c LP learned Farkas constraints 0
3600.01/3609.60 c LP basis resets 0
3600.01/3609.60 c LP cycling count 0
3600.01/3609.60 c LP singular count 0
3600.01/3609.60 c LP no primal count 0
3600.01/3609.60 c LP no farkas count 0
3600.01/3609.60 c LP other issue count 0
3600.01/3609.60 c LP Gomory cuts 0
3600.01/3609.60 c LP learned cuts 0
3600.01/3609.60 c LP deleted cuts 0
3600.01/3609.60 c LP encountered Gomory constraints 0
3600.01/3609.60 c LP encountered Farkas constraints 0
3600.01/3609.60 c LP encountered learned Farkas constraints 0
3600.01/3609.60 c CG auxiliary variables introduced 0
3600.01/3609.60 c CG solutions found 0
3600.01/3609.60 c CG cores constructed 0
3600.01/3609.60 c CG core cardinality constraints returned 0
3600.01/3609.60 c CG unit cores 0
3600.01/3609.60 c CG single cores 0
3600.01/3609.60 c CG blocks removed during cardinality reduction 0
3600.01/3609.60 c CG first core best 0
3600.01/3609.60 c CG decision core best 0
3600.01/3609.60 c CG core reduction tie 0
3600.01/3609.60 c CG core degree average 0.00
3600.01/3609.60 c CG core slack average 0.00
3600.01/3609.60 c CG core upper bound improvements 0
3600.01/3609.60 c STR number of successful calls 0
3600.01/3609.60 c STR number of unsuccessful calls 0
3600.01/3609.60 c STR number of inconclusive calls 0
3600.01/3609.60 c STR number of successful attempts 0
3600.01/3609.60 c STR number of unsuccessful attempts 0
3600.01/3609.60 c STR number of inconclusive attempts 0
3600.01/3609.60 c STR average degree increase per successful call inf
3600.01/3609.60 c STR average degree increase per successful attempt inf
3600.01/3609.60 c STR total number of conflicts for successful attempts 0
3600.01/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.01/3609.60 c STR average number of conflicts per successful attempt inf
3600.01/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.01/3609.60 c AVG.sumWPerc 90.83
3600.01/3609.60 c bigint constraints 0
3600.01/3609.60 s UNKNOWN
3600.01/3609.60 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: 63665 MiB (6549 MiB free)
memory of node 1: 64507 MiB (19532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502509-1751442777/watcher-4502509-1751442777 -o /tmp/evaluation-result-4502509-1751442777/solver-4502509-1751442777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67592 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502509-1751442777.opb PROOFDIR/proof-4502509-1751442777
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=68091, runsolver pid=68086
[startup+0.100059 s]*
/proc/loadavg: 3.93 4.06 4.08 5/263 68093
/proc/meminfo: memFree=28504976/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=58896 memory=14112 CPUtime=0.06 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 1710 0 0 0 4 2 0 0 20 0 1 0 59955542 60309504 3528 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 14724 3528 1952 1147 0 2151 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 63088 KiB
Current children cumulated memory: 17184 KiB
[startup+0.205539 s]*
/proc/loadavg: 3.93 4.06 4.08 5/263 68093
/proc/meminfo: memFree=30408116/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=62872 memory=18208 CPUtime=0.16 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 2745 0 0 0 11 5 0 0 20 0 1 0 59955542 64380928 4552 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 15718 4552 1952 1147 0 3145 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 67064 KiB
Current children cumulated memory: 21280 KiB
[startup+0.305628 s]*
/proc/loadavg: 3.93 4.06 4.08 5/263 68093
/proc/meminfo: memFree=32214792/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=66696 memory=23248 CPUtime=0.26 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 4172 0 0 0 18 8 0 0 20 0 1 0 59955542 68296704 5812 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 16674 5812 1952 1147 0 4101 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 70888 KiB
Current children cumulated memory: 26320 KiB
[startup+0.7002 s]
/proc/loadavg: 3.93 4.06 4.08 5/263 68093
/proc/meminfo: memFree=35806864/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=209588 memory=151680 CPUtime=0.64 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 25592 0 0 0 48 16 0 0 20 0 1 0 59955542 214618112 37920 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 52397 37920 2304 1147 0 39824 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 213780 KiB
Current children cumulated memory: 154752 KiB
[startup+1.50016 s]
/proc/loadavg: 3.93 4.06 4.08 4/260 68104
/proc/meminfo: memFree=45513888/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=214260 memory=158464 CPUtime=1.44 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 27360 0 0 0 118 26 0 0 20 0 1 0 59955542 219402240 39616 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 53565 39616 2336 1147 0 40992 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 218452 KiB
Current children cumulated memory: 161536 KiB
[startup+3.10583 s]
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=61087456/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=214260 memory=158720 CPUtime=3.04 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 27423 0 0 0 268 36 0 0 20 0 1 0 59955542 219402240 39680 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 53565 39680 2336 1147 0 40992 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 218452 KiB
Current children cumulated memory: 161792 KiB
[startup+6.30018 s]
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=60836688/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=253064 memory=196032 CPUtime=6.24 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 29568 0 0 0 581 43 0 0 20 0 1 0 59955542 259137536 49008 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 63266 49008 2368 1147 0 50693 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 257256 KiB
Current children cumulated memory: 199104 KiB
[startup+12.7002 s]
/proc/loadavg: 3.94 4.06 4.08 5/272 68139
/proc/meminfo: memFree=60461948/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=364384 memory=277592 CPUtime=12.62 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 45368 0 0 0 1208 54 0 0 20 0 1 0 59955542 373129216 69398 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 91096 69398 2368 1147 0 78523 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 368576 KiB
Current children cumulated memory: 280664 KiB
[startup+25.5002 s]
/proc/loadavg: 4.02 4.07 4.08 5/272 68139
/proc/meminfo: memFree=59628320/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=523496 memory=388204 CPUtime=25.39 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 66382 0 0 0 2471 68 0 0 20 0 1 0 59955542 536059904 97051 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 130874 97051 2368 1147 0 118301 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 527688 KiB
Current children cumulated memory: 391276 KiB
[startup+51.1054 s]
/proc/loadavg: 4.24 4.12 4.10 4/270 68141
/proc/meminfo: memFree=58593616/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=539728 memory=435596 CPUtime=50.92 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 73100 0 0 0 4999 93 0 0 20 0 1 0 59955542 552681472 108899 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 134932 108899 2368 1147 0 122359 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 543920 KiB
Current children cumulated memory: 438668 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.11 4.09 5/272 68281
/proc/meminfo: memFree=125847580/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=601588 memory=509052 CPUtime=101.99 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 86392 0 0 0 10042 157 0 0 20 0 1 0 59955542 616026112 127263 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 150397 127263 2368 1147 0 137824 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 605780 KiB
Current children cumulated memory: 512124 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/272 68284
/proc/meminfo: memFree=123871260/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=601588 memory=509820 CPUtime=161.82 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 86573 0 0 0 15956 226 0 0 20 0 1 0 59955542 616026112 127455 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 150397 127455 2368 1147 0 137824 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 605780 KiB
Current children cumulated memory: 512892 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/272 68286
/proc/meminfo: memFree=122352008/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=722080 memory=553632 CPUtime=221.66 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 93477 0 0 0 21881 285 0 0 20 0 1 0 59955542 739409920 138408 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
################
# More data... #
################
[startup+3282.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/274 68467
/proc/meminfo: memFree=66668996/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=1807756 memory=1540428 CPUtime=3273.51 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 233050 0 0 0 324872 2479 0 0 20 0 1 0 59955542 1851142144 385107 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 451939 385107 2368 1147 0 439366 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 1811948 KiB
Current children cumulated memory: 1543500 KiB
[startup+3342.3 s]
/proc/loadavg: 4.14 4.18 4.13 5/274 68469
/proc/meminfo: memFree=65755300/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=1808784 memory=1544140 CPUtime=3333.36 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 233990 0 0 0 330816 2520 0 0 20 0 1 0 59955542 1852194816 386035 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452196 386035 2368 1147 0 439623 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 1812976 KiB
Current children cumulated memory: 1547212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.16 4.12 5/274 68477
/proc/meminfo: memFree=64896376/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=1808784 memory=1547852 CPUtime=3393.21 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 234924 0 0 0 336765 2556 0 0 20 0 1 0 59955542 1852194816 386963 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452196 386963 2368 1147 0 439623 0
Current children cumulated CPU time: 3393.21 s
Current children cumulated vsize: 1812976 KiB
Current children cumulated memory: 1550924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/274 68479
/proc/meminfo: memFree=64196064/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=1809300 memory=1548748 CPUtime=3453.06 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 235236 0 0 0 342716 2590 0 0 20 0 1 0 59955542 1852723200 387187 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452325 387187 2368 1147 0 439752 0
Current children cumulated CPU time: 3453.06 s
Current children cumulated vsize: 1813492 KiB
Current children cumulated memory: 1551820 KiB
[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/274 68482
/proc/meminfo: memFree=63408708/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=1809300 memory=1548748 CPUtime=3512.93 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 235236 0 0 0 348661 2632 0 0 20 0 1 0 59955542 1852723200 387187 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452325 387187 2368 1147 0 439752 0
Current children cumulated CPU time: 3512.93 s
Current children cumulated vsize: 1813492 KiB
Current children cumulated memory: 1551820 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/272 68484
/proc/meminfo: memFree=62696244/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=1810328 memory=1549900 CPUtime=3572.78 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 235531 0 0 0 354609 2669 0 0 20 0 1 0 59955542 1853775872 387475 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452582 387475 2368 1147 0 440009 0
Current children cumulated CPU time: 3572.78 s
Current children cumulated vsize: 1814520 KiB
Current children cumulated memory: 1552972 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.10 4.13 4.11 5/272 68485
/proc/meminfo: memFree=62378672/131250000 swapFree=33010416/33010684
[pid=68091] ppid=68086 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/68091/stat : 68091 (run-opt-log.sh) S 68086 68091 67579 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 59955541 4292608 768 18446744073709551615 94288755974144 94288756868677 140728528501136 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94288757107728 94288757155472 94288773332992 140728528505121 140728528505316 140728528505316 140728528510918 0
/proc/68091/statm: 1048 768 704 219 0 110 0
[pid=68093] ppid=68091 vsize=1810328 memory=1549900 CPUtime=3600.01 cores=5,7
/proc/68093/stat : 68093 (roundingsat) R 68091 68091 67579 0 -1 4194304 235536 0 0 0 357316 2685 0 0 20 0 1 0 59955542 1853775872 387475 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452582 387475 2368 1147 0 440009 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1814520 KiB
Current children cumulated memory: 1552972 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 68091 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.002141 s, system=0 s
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:
[startup+0 s]*
/proc/loadavg: 4.09 4.13 4.11 4/271 68487
/proc/meminfo: memFree=62281856/131250000 swapFree=33010416/33010684
[pid=68093] ppid=68086 vsize=1810328 memory=1550156 CPUtime=3600.79 cores=5,7
/proc/68093/stat : 68093 (roundingsat) D 68086 68091 67579 0 -1 4194304 235540 0 0 0 357317 2762 0 0 20 0 1 0 59955542 1853775872 387539 18446744073709551615 4227072 8923433 140720555525984 0 0 256 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 9
/proc/68093/statm: 452582 387539 2432 1147 0 440009 0
??? kill 68093 sig 9
??? end of watcher thread
[startup+3624.99 s]
# the end of solver process 68093 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3573.2 s, system=28.1106 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+3610.4 s]
/proc/loadavg: 4.10 4.13 4.11 5/271 68485
/proc/meminfo: memFree=62353692/131250000 swapFree=33010416/33010684
[pid=68093] ppid=68086 vsize=1810328 memory=1550156 CPUtime=3600.75 cores=5,7
/proc/68093/stat : 68093 (roundingsat) D 68086 68091 67579 0 -1 4194304 235540 0 0 0 357316 2759 0 0 20 0 1 0 59955542 1853775872 387539 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452582 387539 2432 1147 0 440009 0
Current cumulated CPU time of completed processes: 0.002141 s
Current children cumulated CPU time: 3600.75 s
Current children cumulated vsize: 1810328 KiB
Current children cumulated memory: 1550156 KiB
[startup+3611.2 s]
/proc/loadavg: 4.09 4.13 4.11 4/272 68487
/proc/meminfo: memFree=62318248/131250000 swapFree=33010416/33010684
[pid=68093] ppid=68086 vsize=1810328 memory=1550156 CPUtime=3600.77 cores=5,7
/proc/68093/stat : 68093 (roundingsat) D 68086 68091 67579 0 -1 4194304 235540 0 0 0 357316 2761 0 0 20 0 1 0 59955542 1853775872 387539 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 1 0 0 17 5 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452582 387539 2432 1147 0 440009 0
Current cumulated CPU time of completed processes: 0.002141 s
Current children cumulated CPU time: 3600.77 s
Current children cumulated vsize: 1810328 KiB
Current children cumulated memory: 1550156 KiB
[startup+3611.6 s]
/proc/loadavg: 4.09 4.13 4.11 4/272 68487
/proc/meminfo: memFree=62318248/131250000 swapFree=33010416/33010684
[pid=68093] ppid=68086 vsize=1810328 memory=1550156 CPUtime=3600.79 cores=5,7
/proc/68093/stat : 68093 (roundingsat) D 68086 68091 67579 0 -1 4194304 235540 0 0 0 357317 2762 0 0 20 0 1 0 59955542 1853775872 387539 18446744073709551615 4227072 8923433 140720555525984 0 0 0 0 0 8405026 1 0 0 17 7 0 0 0 0 0 9823104 9832592 39841792 140720555534674 140720555534888 140720555534888 140720555540458 0
/proc/68093/statm: 452582 387539 2432 1147 0 440009 0
Current cumulated CPU time of completed processes: 0.002141 s
Current children cumulated CPU time: 3600.79 s
Current children cumulated vsize: 1810328 KiB
Current children cumulated memory: 1550156 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3624.99
CPU time (s): 3601.31
CPU user time (s): 3573.2
CPU system time (s): 28.1106
CPU usage (%): 99.3469
Max. virtual memory (cumulated for all children) (KiB): 1814520
Max. memory (cumulated for all children) (KiB): 1552972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3573.2
system time used= 28.1106
maximum resident set size= 1552076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 235749
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54598088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151590
involuntary context switches= 4852
# summary of solver processes directly reported to runsolver:
# pid: 68091,68093
# total CPU time (s): 3601.31
# total CPU user time (s): 3573.2
# total CPU system time (s): 28.1106
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26838 second user time and 16.8505 second system time
The end
Begin job on nodeC018 at 2025-07-02 09:52:57
IDJOB=4502509
IDBENCH=155347
IDSOLVER=3351
FILE ID=nodeC018/4502509-1751442777
RUNJOBID= nodeC018-1751439163-67592
SLURM_JOB_ID= 9598397
Free space on /tmp= 432892 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z9-s14.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502509-1751442777/watcher-4502509-1751442777 -o /tmp/evaluation-result-4502509-1751442777/solver-4502509-1751442777 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67592 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502509-1751442777.opb PROOFDIR/proof-4502509-1751442777
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 72ec871846abb3454e8801b7da208130
RANDOM SEED=1524097589
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.862
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.922
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.167
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.823
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.850
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.563
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.763
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.796
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 25244508 kB
MemAvailable: 124203392 kB
Buffers: 2128 kB
Cached: 99632228 kB
SwapCached: 32 kB
Active: 5561200 kB
Inactive: 99199636 kB
Active(anon): 5144252 kB
Inactive(anon): 288 kB
Active(file): 416948 kB
Inactive(file): 99199348 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 10956804 kB
Writeback: 380708 kB
AnonPages: 5128448 kB
Mapped: 109616 kB
Shmem: 18044 kB
KReclaimable: 363256 kB
Slab: 812272 kB
SReclaimable: 363256 kB
SUnreclaim: 449016 kB
KernelStack: 4256 kB
PageTables: 14112 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 6103636 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 403456 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432856 MiB
End job on nodeC018 at 2025-07-02 10:53:22