0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.13 c #variables 6548 #constraints 27064
0.08/0.13 c objective is ce64
0.08/0.13 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.13 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.08/0.13 c GLOBAL bounds - >= 0 @ 0.085663
0.08/0.14 c GLOBAL bounds - >= 0 @ 0.087973
0.08/0.14 c GLOBAL bounds - >= 32 @ 0.088079
0.18/0.25 c GLOBAL bounds - >= 32 @ 0.190681
0.18/0.26 c GLOBAL bounds - >= 32 @ 0.195608
0.18/0.26 c GLOBAL bounds - >= 32 @ 0.195894
0.18/0.26 c GLOBAL bounds - >= 32 @ 0.197749
0.18/0.26 c GLOBAL bounds - >= 32 @ 0.197981
0.18/0.27 c GLOBAL bounds - >= 32 @ 0.200662
0.18/0.27 c GLOBAL bounds - >= 32 @ 0.200884
0.18/0.27 c GLOBAL bounds - >= 32 @ 0.202763
0.18/0.27 c GLOBAL bounds - >= 32 @ 0.202995
0.18/0.28 c GLOBAL bounds - >= 32 @ 0.203658
0.18/0.28 c GLOBAL bounds - >= 32 @ 0.204082
0.18/0.29 c GLOBAL bounds - >= 32 @ 0.205409
0.18/0.29 c GLOBAL bounds - >= 32 @ 0.205409
0.18/0.29 c GLOBAL bounds - >= 32 @ 0.20694
0.18/0.29 c GLOBAL bounds - >= 32 @ 0.207498
0.18/0.30 c GLOBAL bounds - >= 32 @ 0.209396
0.18/0.30 c GLOBAL bounds - >= 32 @ 0.210166
0.18/0.30 c GLOBAL bounds - >= 32 @ 0.21039
0.18/0.31 c GLOBAL bounds - >= 32 @ 0.21039
0.28/0.31 c GLOBAL bounds - >= 32 @ 0.212703
0.28/0.32 c GLOBAL bounds - >= 32 @ 0.215011
0.28/0.32 c GLOBAL bounds - >= 32 @ 0.215345
0.28/0.33 c GLOBAL bounds - >= 32 @ 0.218612
0.28/0.33 c GLOBAL bounds - >= 32 @ 0.221359
0.28/0.34 c GLOBAL bounds - >= 32 @ 0.223596
0.28/0.34 c GLOBAL bounds - >= 3548879403 @ 0.223664
0.28/0.34 c GLOBAL bounds - >= 3548879403 @ 0.224145
0.28/0.34 c GLOBAL bounds - >= 3548879403 @ 0.224145
0.28/0.34 c GLOBAL bounds - >= 3548879403 @ 0.224459
0.28/0.35 c GLOBAL bounds - >= 3548879403 @ 0.22531
0.28/0.35 c GLOBAL bounds - >= 3548879403 @ 0.225732
0.28/0.35 c GLOBAL bounds - >= 3548879403 @ 0.229657
0.28/0.35 c GLOBAL bounds - >= 3548879403 @ 0.230309
0.28/0.36 c GLOBAL bounds - >= 3548879403 @ 0.231291
0.28/0.36 c GLOBAL bounds - >= 3548879403 @ 0.231291
0.28/0.37 c GLOBAL bounds - >= 3548879403 @ 0.231291
0.28/0.37 c GLOBAL bounds - >= 3548879403 @ 0.231707
0.28/0.37 c GLOBAL bounds - >= 3548879403 @ 0.23453
0.28/0.37 c GLOBAL bounds - >= 3548879403 @ 0.234944
0.28/0.38 c GLOBAL bounds - >= 3548879403 @ 0.236605
0.28/0.38 c GLOBAL bounds - >= 3548879403 @ 0.237022
0.28/0.39 c GLOBAL bounds - >= 3548879403 @ 0.241696
0.28/0.39 c GLOBAL bounds - >= 3548879403 @ 0.242159
0.28/0.39 c GLOBAL bounds - >= 3548879403 @ 0.243252
0.28/0.39 c GLOBAL bounds - >= 3548879403 @ 0.243252
0.28/0.40 c GLOBAL bounds - >= 3548879403 @ 0.244246
0.28/0.40 c GLOBAL bounds - >= 3548879403 @ 0.244246
0.28/0.40 c GLOBAL bounds - >= 3548879403 @ 0.248263
0.38/0.41 c GLOBAL bounds - >= 3548879403 @ 0.249215
0.38/0.41 c GLOBAL bounds - >= 3572074695 @ 0.249215
0.38/0.41 c GLOBAL bounds - >= 3572074695 @ 0.251674
0.38/0.42 c GLOBAL bounds - >= 3572074695 @ 0.254478
0.38/0.42 c GLOBAL bounds - >= 3572074695 @ 0.254947
0.38/0.42 c GLOBAL bounds - >= 3572074695 @ 0.260184
0.38/0.42 c GLOBAL bounds - >= 3572074695 @ 0.260184
0.38/0.43 c GLOBAL bounds - >= 3572074695 @ 0.26118
0.38/0.43 c GLOBAL bounds - >= 3572074695 @ 0.26118
0.38/0.44 c GLOBAL bounds - >= 3572074695 @ 0.261203
0.38/0.44 c GLOBAL bounds - >= 3572074695 @ 0.261669
0.38/0.44 c GLOBAL bounds - >= 3572074695 @ 0.263431
0.38/0.44 c GLOBAL bounds - >= 3572074695 @ 0.26389
0.38/0.45 c GLOBAL bounds - >= 3572074695 @ 0.264639
0.38/0.45 c GLOBAL bounds - >= 3572074695 @ 0.265087
0.38/0.46 c GLOBAL bounds - >= 3572074695 @ 0.267674
0.38/0.46 c GLOBAL bounds - >= 3572074695 @ 0.267963
0.38/0.46 c GLOBAL bounds - >= 3572074695 @ 0.268625
0.38/0.46 c GLOBAL bounds - >= 3572074695 @ 0.269142
0.38/0.47 c GLOBAL bounds - >= 3572074695 @ 0.271884
0.38/0.47 c GLOBAL bounds - >= 3572074695 @ 0.272103
0.38/0.47 c GLOBAL bounds - >= 3572074695 @ 0.273355
0.38/0.48 c GLOBAL bounds - >= 3572074695 @ 0.275095
0.38/0.48 c GLOBAL bounds - >= 3595269984 @ 0.275095
0.38/0.48 c GLOBAL bounds - >= 3595269984 @ 0.278104
0.38/0.49 c GLOBAL bounds - >= 3595269984 @ 0.280081
0.38/0.49 c GLOBAL bounds - >= 3595269984 @ 0.280081
0.38/0.49 c GLOBAL bounds - >= 3595269984 @ 0.283329
0.38/0.49 c GLOBAL bounds - >= 3595269984 @ 0.28393
0.38/0.50 c GLOBAL bounds - >= 3595269984 @ 0.285065
0.38/0.50 c GLOBAL bounds - >= 3595269984 @ 0.285065
0.38/0.51 c GLOBAL bounds - >= 3595269984 @ 0.287982
0.47/0.51 c GLOBAL bounds - >= 3595269984 @ 0.288599
0.47/0.51 c GLOBAL bounds - >= 3595269984 @ 0.289405
0.47/0.51 c GLOBAL bounds - >= 3595269984 @ 0.290016
0.47/0.52 c GLOBAL bounds - >= 3595269984 @ 0.291039
0.47/0.52 c GLOBAL bounds - >= 3595269984 @ 0.291039
0.47/0.53 c GLOBAL bounds - >= 3595269984 @ 0.294303
0.47/0.53 c GLOBAL bounds - >= 3595269984 @ 0.295062
0.47/0.53 c GLOBAL bounds - >= 3595269984 @ 0.297832
0.47/0.53 c GLOBAL bounds - >= 3595269984 @ 0.298653
0.47/0.54 c GLOBAL bounds - >= 3595269984 @ 0.300016
0.47/0.54 c GLOBAL bounds - >= 3595269984 @ 0.300481
0.47/0.55 c GLOBAL bounds - >= 3595269984 @ 0.304276
0.47/0.55 c GLOBAL bounds - >= 3595269984 @ 0.306289
0.47/0.55 c GLOBAL bounds - >= 3616145745 @ 0.306911
0.47/0.56 c GLOBAL bounds - >= 3616145745 @ 0.308991
0.47/0.56 c GLOBAL bounds - >= 3616145745 @ 0.308991
0.47/0.56 c GLOBAL bounds - >= 3616145745 @ 0.311595
0.47/0.56 c GLOBAL bounds - >= 3616145745 @ 0.312979
0.47/0.57 c GLOBAL bounds - >= 3616145745 @ 0.313977
0.47/0.57 c GLOBAL bounds - >= 3616145745 @ 0.314384
0.47/0.58 c GLOBAL bounds - >= 3616145745 @ 0.316257
0.47/0.58 c GLOBAL bounds - >= 3616145745 @ 0.316393
0.47/0.58 c GLOBAL bounds - >= 3616145745 @ 0.318254
0.47/0.58 c GLOBAL bounds - >= 3616145745 @ 0.318962
0.47/0.59 c GLOBAL bounds - >= 3616145745 @ 0.320349
0.47/0.59 c GLOBAL bounds - >= 3616145745 @ 0.320958
0.47/0.60 c GLOBAL bounds - >= 3616145745 @ 0.32395
0.47/0.60 c GLOBAL bounds - >= 3616145745 @ 0.32395
0.57/0.60 c GLOBAL bounds - >= 3616145745 @ 0.326943
0.57/0.60 c GLOBAL bounds - >= 3616145745 @ 0.326968
0.57/0.61 c GLOBAL bounds - >= 3616145745 @ 0.329934
0.57/0.61 c GLOBAL bounds - >= 3616145745 @ 0.33121
0.57/0.62 c GLOBAL bounds - >= 3616145745 @ 0.335206
0.57/0.62 c GLOBAL bounds - >= 3616145745 @ 0.336457
0.57/0.63 c GLOBAL bounds - >= 3616145745 @ 0.338237
0.57/0.63 c GLOBAL bounds - >= 3616145764 @ 0.342236
0.57/0.63 c GLOBAL bounds - >= 3616145764 @ 0.345891
0.57/0.64 c GLOBAL bounds - >= 3616145764 @ 0.34718
0.57/0.64 c GLOBAL bounds - >= 3616145764 @ 0.347885
0.57/0.65 c GLOBAL bounds - >= 3616145764 @ 0.349391
0.57/0.65 c GLOBAL bounds - >= 3616145764 @ 0.349567
0.57/0.65 c GLOBAL bounds - >= 3616145764 @ 0.351875
0.57/0.65 c GLOBAL bounds - >= 3616145764 @ 0.351875
0.57/0.66 c GLOBAL bounds - >= 3616145764 @ 0.35387
0.57/0.66 c GLOBAL bounds - >= 3616145764 @ 0.354818
0.57/0.67 c GLOBAL bounds - >= 3616145764 @ 0.354842
0.57/0.67 c GLOBAL bounds - >= 3616145764 @ 0.355837
0.57/0.68 c GLOBAL bounds - >= 3616145764 @ 0.359113
0.57/0.68 c GLOBAL bounds - >= 3616145764 @ 0.360542
0.57/0.68 c GLOBAL bounds - >= 3616145764 @ 0.361814
0.57/0.68 c GLOBAL bounds - >= 3616145764 @ 0.363323
0.57/0.69 c GLOBAL bounds - >= 3616145764 @ 0.364089
0.57/0.69 c GLOBAL bounds - >= 3616145764 @ 0.365567
0.66/0.70 c GLOBAL bounds - >= 3616145764 @ 0.368804
0.66/0.70 c GLOBAL bounds - >= 3616145764 @ 0.369822
0.66/0.70 c GLOBAL bounds - >= 3616145764 @ 0.372573
0.66/0.71 c GLOBAL bounds - >= 3616145764 @ 0.374785
0.66/0.71 c GLOBAL bounds - >= 3616145764 @ 0.375899
0.66/0.72 c GLOBAL bounds - >= 3616145794 @ 0.38111
0.66/0.72 c GLOBAL bounds - >= 3616145794 @ 0.382765
0.66/0.73 c GLOBAL bounds - >= 3616145794 @ 0.383762
0.66/0.73 c GLOBAL bounds - >= 3616145794 @ 0.383762
0.66/0.73 c GLOBAL bounds - >= 3616145794 @ 0.383918
0.66/0.74 c GLOBAL bounds - >= 3616145794 @ 0.386754
0.66/0.74 c GLOBAL bounds - >= 3616145794 @ 0.387886
0.66/0.74 c GLOBAL bounds - >= 3616145794 @ 0.390665
0.66/0.75 c GLOBAL bounds - >= 3616145794 @ 0.392201
0.66/0.75 c GLOBAL bounds - >= 3616145794 @ 0.393018
0.66/0.75 c GLOBAL bounds - >= 3616145794 @ 0.393801
0.66/0.76 c GLOBAL bounds - >= 3616145794 @ 0.396731
0.66/0.76 c GLOBAL bounds - >= 3616145794 @ 0.397728
0.66/0.77 c GLOBAL bounds - >= 3616145794 @ 0.398821
0.66/0.77 c GLOBAL bounds - >= 3616145794 @ 0.399724
0.66/0.77 c GLOBAL bounds - >= 3616145794 @ 0.401717
0.66/0.77 c GLOBAL bounds - >= 3616145794 @ 0.402614
0.66/0.78 c GLOBAL bounds - >= 3616145794 @ 0.402714
0.66/0.78 c GLOBAL bounds - >= 3616145794 @ 0.402714
0.66/0.79 c GLOBAL bounds - >= 3616145794 @ 0.405677
0.66/0.79 c GLOBAL bounds - >= 3616145794 @ 0.406702
0.66/0.80 c GLOBAL bounds - >= 3616145794 @ 0.408094
0.76/0.80 c GLOBAL bounds - >= 3616145794 @ 0.409694
0.76/0.81 c GLOBAL bounds - >= 3616145803 @ 0.417636
0.76/0.81 c GLOBAL bounds - >= 3616145803 @ 0.418667
0.76/0.82 c GLOBAL bounds - >= 3616145803 @ 0.420663
0.76/0.82 c GLOBAL bounds - >= 3616145803 @ 0.421894
0.76/0.82 c GLOBAL bounds - >= 3616145803 @ 0.424689
0.76/0.83 c GLOBAL bounds - >= 3616145803 @ 0.425651
0.76/0.83 c GLOBAL bounds - >= 3616145803 @ 0.426054
0.76/0.83 c GLOBAL bounds - >= 3616145803 @ 0.426648
0.76/0.84 c GLOBAL bounds - >= 3616145803 @ 0.429419
0.76/0.84 c GLOBAL bounds - >= 3616145803 @ 0.430637
0.76/0.85 c GLOBAL bounds - >= 3616145803 @ 0.431927
0.76/0.85 c GLOBAL bounds - >= 3616145803 @ 0.433329
0.76/0.85 c GLOBAL bounds - >= 3616145803 @ 0.43363
0.76/0.86 c GLOBAL bounds - >= 3616145803 @ 0.433751
0.76/0.86 c GLOBAL bounds - >= 3616145803 @ 0.435623
0.76/0.86 c GLOBAL bounds - >= 3616145803 @ 0.435625
0.76/0.87 c GLOBAL bounds - >= 3616145803 @ 0.435925
0.76/0.87 c GLOBAL bounds - >= 3616145803 @ 0.437422
0.76/0.88 c GLOBAL bounds - >= 3616145803 @ 0.438228
0.76/0.88 c GLOBAL bounds - >= 3616145803 @ 0.43859
0.76/0.88 c GLOBAL bounds - >= 3616145803 @ 0.440615
0.76/0.89 c GLOBAL bounds - >= 3616145803 @ 0.441578
0.76/0.89 c GLOBAL bounds - >= 3616145803 @ 0.441578
0.87/0.93 c GLOBAL bounds - >= 3616145811 @ 0.472929
0.87/0.93 c GLOBAL bounds - >= 3616145811 @ 0.476471
0.87/0.93 c GLOBAL bounds - >= 3616145811 @ 0.476472
0.87/0.94 c GLOBAL bounds - >= 3616145811 @ 0.478467
0.87/0.94 c GLOBAL bounds - >= 3616145811 @ 0.479541
0.87/0.95 c GLOBAL bounds - >= 3616145811 @ 0.48344
0.87/0.95 c GLOBAL bounds - >= 3616145811 @ 0.484452
0.87/0.95 c GLOBAL bounds - >= 3616145811 @ 0.486818
0.87/0.95 c GLOBAL bounds - >= 3616145811 @ 0.487446
0.87/0.96 c GLOBAL bounds - >= 3616145811 @ 0.491437
0.87/0.96 c GLOBAL bounds - >= 3616145811 @ 0.491754
0.87/0.97 c GLOBAL bounds - >= 3616145811 @ 0.494716
0.87/0.97 c GLOBAL bounds - >= 3616145811 @ 0.495424
0.87/0.98 c GLOBAL bounds - >= 3616145811 @ 0.497418
0.87/0.98 c GLOBAL bounds - >= 3616145811 @ 0.497541
0.87/0.98 c GLOBAL bounds - >= 3616145811 @ 0.499412
0.87/0.98 c GLOBAL bounds - >= 3616145811 @ 0.500409
0.87/0.99 c GLOBAL bounds - >= 3616145811 @ 0.500832
0.87/0.99 c GLOBAL bounds - >= 3616145811 @ 0.501407
0.87/1.00 c GLOBAL bounds - >= 3616145811 @ 0.504138
0.87/1.00 c GLOBAL bounds - >= 3616145811 @ 0.504388
0.97/1.01 c GLOBAL bounds - >= 3616145811 @ 0.505681
0.97/1.01 c GLOBAL bounds - >= 3616145811 @ 0.506376
0.97/1.01 c GLOBAL bounds - >= 3616145811 @ 0.507374
0.97/1.03 c GLOBAL bounds - >= 3616145811 @ 0.519343
0.97/1.03 c GLOBAL bounds - >= 3616145811 @ 0.520673
0.97/1.04 c GLOBAL bounds - >= 3616145818 @ 0.532493
0.97/1.05 c GLOBAL bounds - >= 3616145818 @ 0.533807
0.97/1.05 c GLOBAL bounds - >= 3616145818 @ 0.537438
0.97/1.05 c GLOBAL bounds - >= 3616145818 @ 0.538294
0.97/1.06 c GLOBAL bounds - >= 3616145818 @ 0.541449
0.97/1.06 c GLOBAL bounds - >= 3616145818 @ 0.542283
0.97/1.07 c GLOBAL bounds - >= 3616145818 @ 0.54328
0.97/1.07 c GLOBAL bounds - >= 3616145818 @ 0.54328
0.97/1.07 c GLOBAL bounds - >= 3616145818 @ 0.546666
0.97/1.07 c GLOBAL bounds - >= 3616145818 @ 0.548214
0.97/1.08 c GLOBAL bounds - >= 3616145818 @ 0.549266
0.97/1.08 c GLOBAL bounds - >= 3616145818 @ 0.550239
0.97/1.09 c GLOBAL bounds - >= 3616145818 @ 0.554556
0.97/1.09 c GLOBAL bounds - >= 3616145818 @ 0.556146
0.97/1.10 c GLOBAL bounds - >= 3616145818 @ 0.557222
0.97/1.10 c GLOBAL bounds - >= 3616145818 @ 0.557222
1.08/1.10 c GLOBAL bounds - >= 3616145818 @ 0.559517
1.08/1.10 c GLOBAL bounds - >= 3616145818 @ 0.560213
1.08/1.11 c GLOBAL bounds - >= 3616145818 @ 0.562209
1.08/1.11 c GLOBAL bounds - >= 3616145818 @ 0.563204
1.08/1.12 c GLOBAL bounds - >= 3616145818 @ 0.565305
1.08/1.12 c GLOBAL bounds - >= 3616145818 @ 0.567198
1.08/1.13 c GLOBAL bounds - >= 3616145818 @ 0.567348
1.08/1.17 c GLOBAL bounds - >= 3616145826 @ 0.605502
1.08/1.17 c GLOBAL bounds - >= 3616145826 @ 0.608086
1.08/1.17 c GLOBAL bounds - >= 3616145826 @ 0.609384
1.08/1.18 c GLOBAL bounds - >= 3616145826 @ 0.610082
1.08/1.18 c GLOBAL bounds - >= 3616145826 @ 0.612073
1.08/1.18 c GLOBAL bounds - >= 3616145826 @ 0.612073
1.08/1.19 c GLOBAL bounds - >= 3616145826 @ 0.613403
1.08/1.19 c GLOBAL bounds - >= 3616145826 @ 0.614069
1.16/1.20 c GLOBAL bounds - >= 3616145826 @ 0.617061
1.16/1.20 c GLOBAL bounds - >= 3616145826 @ 0.618059
1.16/1.20 c GLOBAL bounds - >= 3616145826 @ 0.620347
1.16/1.20 c GLOBAL bounds - >= 3616145826 @ 0.621815
1.16/1.21 c GLOBAL bounds - >= 3616145826 @ 0.623703
1.16/1.21 c GLOBAL bounds - >= 3616145826 @ 0.624044
1.16/1.22 c GLOBAL bounds - >= 3616145826 @ 0.624339
1.16/1.22 c GLOBAL bounds - >= 3616145826 @ 0.625811
1.16/1.23 c GLOBAL bounds - >= 3616145826 @ 0.627037
1.16/1.23 c GLOBAL bounds - >= 3616145826 @ 0.627311
1.16/1.23 c GLOBAL bounds - >= 3616145826 @ 0.628328
1.16/1.23 c GLOBAL bounds - >= 3616145826 @ 0.629032
1.16/1.24 c GLOBAL bounds - >= 3616145826 @ 0.63003
1.16/1.25 c GLOBAL bounds - >= 3616145826 @ 0.634867
1.16/1.25 c GLOBAL bounds - >= 3616145826 @ 0.63618
1.27/1.31 c GLOBAL bounds - >= 3616145834 @ 0.691599
1.27/1.31 c GLOBAL bounds - >= 3616145834 @ 0.695652
1.27/1.31 c GLOBAL bounds - >= 3616145834 @ 0.695823
1.27/1.31 c GLOBAL bounds - >= 3616145834 @ 0.695823
1.27/1.32 c GLOBAL bounds - >= 3616145834 @ 0.696821
1.27/1.32 c GLOBAL bounds - >= 3616145834 @ 0.697395
1.27/1.33 c GLOBAL bounds - >= 3616145834 @ 0.70035
1.27/1.33 c GLOBAL bounds - >= 3616145834 @ 0.700978
1.27/1.34 c GLOBAL bounds - >= 3616145834 @ 0.704927
1.27/1.34 c GLOBAL bounds - >= 3616145834 @ 0.705795
1.27/1.34 c GLOBAL bounds - >= 3616145834 @ 0.707514
1.27/1.35 c GLOBAL bounds - >= 3616145834 @ 0.70779
1.27/1.35 c GLOBAL bounds - >= 3616145834 @ 0.712092
1.27/1.35 c GLOBAL bounds - >= 3616145834 @ 0.712777
1.27/1.36 c GLOBAL bounds - >= 3616145834 @ 0.716663
1.27/1.36 c GLOBAL bounds - >= 3616145834 @ 0.717284
1.27/1.37 c GLOBAL bounds - >= 3616145834 @ 0.719756
1.27/1.37 c GLOBAL bounds - >= 3616145834 @ 0.720879
1.27/1.37 c GLOBAL bounds - >= 3616145834 @ 0.723843
1.27/1.38 c GLOBAL bounds - >= 3616145834 @ 0.724745
1.27/1.38 c GLOBAL bounds - >= 3616145834 @ 0.726451
1.27/1.38 c GLOBAL bounds - >= 3616145834 @ 0.727737
1.27/1.39 c GLOBAL bounds - >= 3616145834 @ 0.729214
1.27/1.39 c GLOBAL bounds - >= 3616145834 @ 0.73073
1.37/1.40 c GLOBAL bounds - >= 3616145834 @ 0.732724
1.37/1.40 c GLOBAL bounds - >= 3616145834 @ 0.732915
1.37/1.41 c GLOBAL bounds - >= 3616145834 @ 0.734065
1.37/1.42 c GLOBAL bounds - >= 3616145834 @ 0.743698
1.37/1.43 c GLOBAL bounds - >= 3616145834 @ 0.754116
1.37/1.49 c GLOBAL bounds - >= 3616145840 @ 0.808354
1.37/1.49 c GLOBAL bounds - >= 3616145840 @ 0.811504
1.37/1.49 c GLOBAL bounds - >= 3616145840 @ 0.811505
1.37/1.49 c GLOBAL bounds - >= 3616145840 @ 0.81152
1.47/1.50 c GLOBAL bounds - >= 3616145840 @ 0.813259
1.47/1.50 c GLOBAL bounds - >= 3616145840 @ 0.814567
1.47/1.51 c GLOBAL bounds - >= 3616145840 @ 0.818307
1.47/1.51 c GLOBAL bounds - >= 3616145840 @ 0.818463
1.47/1.52 c GLOBAL bounds - >= 3616145840 @ 0.821663
1.47/1.52 c GLOBAL bounds - >= 3616145840 @ 0.822452
1.47/1.52 c GLOBAL bounds - >= 3616145840 @ 0.824446
1.47/1.52 c GLOBAL bounds - >= 3616145840 @ 0.82459
1.47/1.53 c GLOBAL bounds - >= 3616145840 @ 0.827643
1.47/1.53 c GLOBAL bounds - >= 3616145840 @ 0.829297
1.47/1.54 c GLOBAL bounds - >= 3616145840 @ 0.833423
1.47/1.54 c GLOBAL bounds - >= 3616145840 @ 0.83442
1.47/1.55 c GLOBAL bounds - >= 3616145840 @ 0.835418
1.47/1.55 c GLOBAL bounds - >= 3616145840 @ 0.836415
1.47/1.55 c GLOBAL bounds - >= 3616145840 @ 0.837921
1.47/1.55 c GLOBAL bounds - >= 3616145840 @ 0.839323
1.47/1.56 c GLOBAL bounds - >= 3616145840 @ 0.840379
1.47/1.56 c GLOBAL bounds - >= 3616145840 @ 0.840405
1.47/1.57 c GLOBAL bounds - >= 3616145840 @ 0.843397
1.47/1.57 c GLOBAL bounds - >= 3616145840 @ 0.845386
1.47/1.58 c GLOBAL bounds - >= 3616145840 @ 0.846384
1.47/1.58 c GLOBAL bounds - >= 3616145840 @ 0.847381
1.47/1.58 c GLOBAL bounds - >= 3616145840 @ 0.848598
1.47/1.59 c GLOBAL bounds - >= 3616145840 @ 0.849595
1.47/1.59 c GLOBAL bounds - >= 3616145840 @ 0.851374
1.57/1.60 c GLOBAL bounds - >= 3616145840 @ 0.853369
1.57/1.60 c GLOBAL bounds - >= 3616145840 @ 0.855043
1.57/1.63 c GLOBAL bounds - >= 3616145840 @ 0.877508
1.57/1.65 c GLOBAL bounds - >= 3616145843 @ 0.90253
1.57/1.66 c GLOBAL bounds - >= 3616145843 @ 0.905198
1.57/1.66 c GLOBAL bounds - >= 3616145843 @ 0.905198
1.57/1.66 c GLOBAL bounds - >= 3616145843 @ 0.905198
1.57/1.66 c GLOBAL bounds - >= 3616145843 @ 0.906194
1.57/1.66 c GLOBAL bounds - >= 3616145843 @ 0.906195
1.57/1.67 c GLOBAL bounds - >= 3616145843 @ 0.908189
1.57/1.67 c GLOBAL bounds - >= 3616145843 @ 0.908479
1.57/1.68 c GLOBAL bounds - >= 3616145843 @ 0.909415
1.57/1.68 c GLOBAL bounds - >= 3616145843 @ 0.910184
1.57/1.68 c GLOBAL bounds - >= 3616145843 @ 0.914164
1.57/1.69 c GLOBAL bounds - >= 3616145843 @ 0.915187
1.57/1.69 c GLOBAL bounds - >= 3616145843 @ 0.91716
1.57/1.69 c GLOBAL bounds - >= 3616145843 @ 0.917522
1.67/1.70 c GLOBAL bounds - >= 3616145843 @ 0.922286
1.67/1.70 c GLOBAL bounds - >= 3616145843 @ 0.923138
1.67/1.71 c GLOBAL bounds - >= 3616145843 @ 0.926662
1.67/1.71 c GLOBAL bounds - >= 3616145843 @ 0.92709
1.67/1.71 c GLOBAL bounds - >= 3616145843 @ 0.928088
1.67/1.72 c GLOBAL bounds - >= 3616145843 @ 0.928621
1.67/1.72 c GLOBAL bounds - >= 3616145843 @ 0.930081
1.67/1.72 c GLOBAL bounds - >= 3616145843 @ 0.930081
1.67/1.73 c GLOBAL bounds - >= 3616145843 @ 0.931607
1.67/1.73 c GLOBAL bounds - >= 3616145843 @ 0.932077
1.67/1.74 c GLOBAL bounds - >= 3616145843 @ 0.933374
1.67/1.74 c GLOBAL bounds - >= 3616145843 @ 0.936065
1.67/1.75 c GLOBAL bounds - >= 3616145843 @ 0.939082
1.67/1.78 c GLOBAL bounds - >= 3616145843 @ 0.969969
1.67/1.78 c GLOBAL bounds - >= 3616145843 @ 0.972737
1.67/1.79 c GLOBAL bounds - >= 3616145843 @ 0.97396
1.67/1.79 c GLOBAL bounds - >= 3616145843 @ 0.9752
1.76/1.80 c GLOBAL bounds - >= 3616145843 @ 0.977951
1.76/1.80 c GLOBAL bounds - >= 3616145843 @ 0.980188
1.76/1.80 c GLOBAL bounds - >= 3616145843 @ 0.981941
1.76/1.81 c GLOBAL bounds - >= 3616145846 @ 0.989079
1.76/1.82 c GLOBAL bounds - >= 3616145846 @ 0.990912
1.76/1.82 c GLOBAL bounds - >= 3616145846 @ 0.994324
1.76/1.82 c GLOBAL bounds - >= 3616145846 @ 0.995947
1.76/1.83 c GLOBAL bounds - >= 3616145846 @ 0.99879
1.76/1.83 c GLOBAL bounds - >= 3616145846 @ 0.998892
1.76/1.84 c GLOBAL bounds - >= 3616145846 @ 0.999878
1.76/1.84 c GLOBAL bounds - >= 3616145846 @ 1.00087
1.76/1.84 c GLOBAL bounds - >= 3616145846 @ 1.00287
1.76/1.85 c GLOBAL bounds - >= 3616145846 @ 1.00331
1.76/1.85 c GLOBAL bounds - >= 3616145846 @ 1.00586
1.76/1.85 c GLOBAL bounds - >= 3616145846 @ 1.00586
1.76/1.86 c GLOBAL bounds - >= 3616145846 @ 1.00886
1.76/1.86 c GLOBAL bounds - >= 3616145846 @ 1.00886
1.76/1.87 c GLOBAL bounds - >= 3616145846 @ 1.0101
1.76/1.87 c GLOBAL bounds - >= 3616145846 @ 1.01085
1.76/1.87 c GLOBAL bounds - >= 3616145846 @ 1.01284
1.76/1.88 c GLOBAL bounds - >= 3616145846 @ 1.01285
1.76/1.88 c GLOBAL bounds - >= 3616145846 @ 1.01309
1.76/1.88 c GLOBAL bounds - >= 3616145846 @ 1.01456
1.76/1.89 c GLOBAL bounds - >= 3616145846 @ 1.01583
1.76/1.90 c GLOBAL bounds - >= 3616145846 @ 1.01882
1.86/1.90 c GLOBAL bounds - >= 3616145846 @ 1.02014
1.86/1.90 c GLOBAL bounds - >= 3616145846 @ 1.02182
1.86/1.93 c GLOBAL bounds - >= 3616145853 @ 1.04786
1.86/1.93 c GLOBAL bounds - >= 3616145853 @ 1.05021
1.86/1.94 c GLOBAL bounds - >= 3616145853 @ 1.05369
1.86/1.94 c GLOBAL bounds - >= 3616145853 @ 1.0537
1.86/1.95 c GLOBAL bounds - >= 3616145853 @ 1.05593
1.86/1.95 c GLOBAL bounds - >= 3616145853 @ 1.05668
1.86/1.95 c GLOBAL bounds - >= 3616145853 @ 1.05767
1.86/1.96 c GLOBAL bounds - >= 3616145853 @ 1.05886
1.86/1.96 c GLOBAL bounds - >= 3616145853 @ 1.06249
1.86/1.96 c GLOBAL bounds - >= 3616145853 @ 1.06266
1.86/1.97 c GLOBAL bounds - >= 3616145853 @ 1.06366
1.86/1.97 c GLOBAL bounds - >= 3616145853 @ 1.06466
1.86/1.98 c GLOBAL bounds - >= 3616145853 @ 1.06566
1.86/1.98 c GLOBAL bounds - >= 3616145853 @ 1.06721
1.86/1.99 c GLOBAL bounds - >= 3616145853 @ 1.06865
1.86/1.99 c GLOBAL bounds - >= 3616145853 @ 1.06877
1.86/1.99 c GLOBAL bounds - >= 3616145853 @ 1.07083
1.86/1.99 c GLOBAL bounds - >= 3616145853 @ 1.07164
1.86/2.00 c GLOBAL bounds - >= 3616145853 @ 1.07462
1.97/2.00 c GLOBAL bounds - >= 3616145853 @ 1.07516
1.97/2.01 c GLOBAL bounds - >= 3616145853 @ 1.07716
1.97/2.01 c GLOBAL bounds - >= 3616145853 @ 1.07942
1.97/2.02 c GLOBAL bounds - >= 3616145853 @ 1.08053
1.97/2.02 c GLOBAL bounds - >= 3616145853 @ 1.08314
1.97/2.05 c GLOBAL bounds - >= 3616145853 @ 1.11105
1.97/2.10 c GLOBAL bounds - >= 3616145859 @ 1.16086
2.07/2.10 c GLOBAL bounds - >= 3616145859 @ 1.16405
2.07/2.11 c GLOBAL bounds - >= 3616145859 @ 1.16687
2.07/2.11 c GLOBAL bounds - >= 3616145859 @ 1.16849
2.07/2.12 c GLOBAL bounds - >= 3616145859 @ 1.17181
2.07/2.12 c GLOBAL bounds - >= 3616145859 @ 1.17183
2.07/2.13 c GLOBAL bounds - >= 3616145859 @ 1.17412
2.07/2.13 c GLOBAL bounds - >= 3616145859 @ 1.17563
2.07/2.13 c GLOBAL bounds - >= 3616145859 @ 1.17953
2.07/2.14 c GLOBAL bounds - >= 3616145859 @ 1.18081
2.07/2.14 c GLOBAL bounds - >= 3616145859 @ 1.1834
2.07/2.14 c GLOBAL bounds - >= 3616145859 @ 1.18407
2.07/2.15 c GLOBAL bounds - >= 3616145859 @ 1.18736
2.07/2.15 c GLOBAL bounds - >= 3616145859 @ 1.18796
2.07/2.16 c GLOBAL bounds - >= 3616145859 @ 1.19137
2.07/2.16 c GLOBAL bounds - >= 3616145859 @ 1.19178
2.07/2.17 c GLOBAL bounds - >= 3616145859 @ 1.19733
2.07/2.17 c GLOBAL bounds - >= 3616145859 @ 1.19777
2.07/2.18 c GLOBAL bounds - >= 3616145859 @ 1.20055
2.07/2.18 c GLOBAL bounds - >= 3616145859 @ 1.20076
2.07/2.18 c GLOBAL bounds - >= 3616145859 @ 1.20393
2.07/2.19 c GLOBAL bounds - >= 3616145859 @ 1.20675
2.07/2.19 c GLOBAL bounds - >= 3616145859 @ 1.21071
2.16/2.20 c GLOBAL bounds - >= 3616145859 @ 1.21405
2.16/2.21 c GLOBAL bounds - >= 3616145859 @ 1.22338
2.16/2.22 c GLOBAL bounds - >= 3616145859 @ 1.22696
2.16/2.22 c GLOBAL bounds - >= 3616145859 @ 1.23373
2.16/2.23 c GLOBAL bounds - >= 3616145859 @ 1.237
2.16/2.23 c GLOBAL bounds - >= 3616145859 @ 1.23928
2.26/2.37 c GLOBAL bounds - >= 3618465393 @ 1.37297
2.26/2.38 c GLOBAL bounds - >= 3618465393 @ 1.37856
2.26/2.39 c GLOBAL bounds - >= 3618465393 @ 1.38234
2.26/2.39 c GLOBAL bounds - >= 3618465393 @ 1.38251
2.26/2.39 c GLOBAL bounds - >= 3618465393 @ 1.38468
2.26/2.39 c GLOBAL bounds - >= 3618465393 @ 1.38626
2.36/2.40 c GLOBAL bounds - >= 3618465393 @ 1.38901
2.36/2.40 c GLOBAL bounds - >= 3618465393 @ 1.3905
2.36/2.41 c GLOBAL bounds - >= 3618465393 @ 1.39495
2.36/2.41 c GLOBAL bounds - >= 3618465393 @ 1.39567
2.36/2.42 c GLOBAL bounds - >= 3618465393 @ 1.40011
2.36/2.42 c GLOBAL bounds - >= 3618465393 @ 1.40031
2.36/2.43 c GLOBAL bounds - >= 3618465393 @ 1.40131
2.36/2.43 c GLOBAL bounds - >= 3618465393 @ 1.40301
2.36/2.43 c GLOBAL bounds - >= 3618465393 @ 1.40644
2.36/2.44 c GLOBAL bounds - >= 3618465393 @ 1.40816
2.36/2.44 c GLOBAL bounds - >= 3618465393 @ 1.41089
2.36/2.44 c GLOBAL bounds - >= 3618465393 @ 1.41146
2.36/2.45 c GLOBAL bounds - >= 3618465393 @ 1.41492
2.36/2.45 c GLOBAL bounds - >= 3618465393 @ 1.41529
2.36/2.46 c GLOBAL bounds - >= 3618465393 @ 1.41898
2.36/2.46 c GLOBAL bounds - >= 3618465393 @ 1.42128
2.36/2.47 c GLOBAL bounds - >= 3618465393 @ 1.42481
2.66/2.75 c #Conflicts: 1000 | #Constraints: 2228
2.66/2.75 c GLOBAL bounds - >= 3618465401 @ 1.6998
2.66/2.75 c GLOBAL bounds - >= 3618465401 @ 1.70479
2.66/2.75 c GLOBAL bounds - >= 3618465401 @ 1.70639
2.66/2.76 c GLOBAL bounds - >= 3618465401 @ 1.70758
2.66/2.76 c GLOBAL bounds - >= 3618465401 @ 1.70897
2.66/2.76 c GLOBAL bounds - >= 3618465401 @ 1.71063
2.66/2.77 c GLOBAL bounds - >= 3618465401 @ 1.7153
2.66/2.77 c GLOBAL bounds - >= 3618465401 @ 1.71606
2.66/2.78 c GLOBAL bounds - >= 3618465401 @ 1.72076
2.66/2.78 c GLOBAL bounds - >= 3618465401 @ 1.72253
2.66/2.79 c GLOBAL bounds - >= 3618465401 @ 1.72628
2.66/2.79 c GLOBAL bounds - >= 3618465401 @ 1.72655
2.76/2.80 c GLOBAL bounds - >= 3618465401 @ 1.7296
2.76/2.80 c GLOBAL bounds - >= 3618465401 @ 1.73135
2.76/2.81 c GLOBAL bounds - >= 3618465401 @ 1.73423
2.76/2.81 c GLOBAL bounds - >= 3618465401 @ 1.73581
2.76/2.81 c GLOBAL bounds - >= 3618465401 @ 1.73853
2.76/2.82 c GLOBAL bounds - >= 3618465401 @ 1.73953
2.76/2.82 c GLOBAL bounds - >= 3618465401 @ 1.74115
2.76/2.82 c GLOBAL bounds - >= 3618465401 @ 1.74269
2.76/2.83 c GLOBAL bounds - >= 3618465401 @ 1.74452
2.76/2.83 c GLOBAL bounds - >= 3618465401 @ 1.74452
2.76/2.84 c GLOBAL bounds - >= 3618465401 @ 1.74904
2.76/2.84 c GLOBAL bounds - >= 3618465401 @ 1.75151
2.76/2.85 c GLOBAL bounds - >= 3618465401 @ 1.7555
2.76/2.85 c GLOBAL bounds - >= 3618465401 @ 1.7575
2.86/2.92 c GLOBAL bounds - >= 3618465401 @ 1.82312
2.86/2.93 c GLOBAL bounds - >= 3618465401 @ 1.82665
3.07/3.12 c GLOBAL bounds - >= 3620784936 @ 2.00776
3.07/3.12 c GLOBAL bounds - >= 3620784936 @ 2.01484
3.07/3.13 c GLOBAL bounds - >= 3620784936 @ 2.01856
3.07/3.13 c GLOBAL bounds - >= 3620784936 @ 2.01933
3.07/3.14 c GLOBAL bounds - >= 3620784936 @ 2.02196
3.07/3.14 c GLOBAL bounds - >= 3620784936 @ 2.02282
3.07/3.15 c GLOBAL bounds - >= 3620784936 @ 2.02536
3.07/3.15 c GLOBAL bounds - >= 3620784936 @ 2.02681
3.07/3.16 c GLOBAL bounds - >= 3620784936 @ 2.02977
3.07/3.16 c GLOBAL bounds - >= 3620784936 @ 2.03076
3.07/3.17 c GLOBAL bounds - >= 3620784936 @ 2.03429
3.07/3.17 c GLOBAL bounds - >= 3620784936 @ 2.03496
3.07/3.17 c GLOBAL bounds - >= 3620784936 @ 2.03914
3.07/3.18 c GLOBAL bounds - >= 3620784936 @ 2.03995
3.07/3.18 c GLOBAL bounds - >= 3620784936 @ 2.04467
3.07/3.18 c GLOBAL bounds - >= 3620784936 @ 2.04575
3.07/3.19 c GLOBAL bounds - >= 3620784936 @ 2.04951
3.07/3.19 c GLOBAL bounds - >= 3620784936 @ 2.05074
3.16/3.20 c GLOBAL bounds - >= 3620784936 @ 2.05336
3.16/3.20 c GLOBAL bounds - >= 3620784936 @ 2.05473
3.16/3.21 c GLOBAL bounds - >= 3620784936 @ 2.0579
3.16/3.23 c GLOBAL bounds - >= 3620784936 @ 2.0707
3.16/3.23 c GLOBAL bounds - >= 3620784936 @ 2.07235
3.66/3.70 c GLOBAL bounds - >= 3620784944 @ 2.53263
3.66/3.71 c GLOBAL bounds - >= 3620784944 @ 2.53564
3.66/3.71 c GLOBAL bounds - >= 3620784944 @ 2.53701
3.66/3.71 c GLOBAL bounds - >= 3620784944 @ 2.5388
3.66/3.72 c GLOBAL bounds - >= 3620784944 @ 2.54241
3.66/3.72 c GLOBAL bounds - >= 3620784944 @ 2.54262
3.66/3.73 c GLOBAL bounds - >= 3620784944 @ 2.54568
3.66/3.73 c GLOBAL bounds - >= 3620784944 @ 2.54662
3.66/3.74 c GLOBAL bounds - >= 3620784944 @ 2.54991
3.66/3.74 c GLOBAL bounds - >= 3620784944 @ 2.55176
3.66/3.75 c GLOBAL bounds - >= 3620784944 @ 2.5563
3.66/3.75 c GLOBAL bounds - >= 3620784944 @ 2.5566
3.66/3.76 c GLOBAL bounds - >= 3620784944 @ 2.56039
3.66/3.76 c GLOBAL bounds - >= 3620784944 @ 2.56159
3.66/3.77 c GLOBAL bounds - >= 3620784944 @ 2.56567
3.66/3.77 c GLOBAL bounds - >= 3620784944 @ 2.56659
3.66/3.78 c GLOBAL bounds - >= 3620784944 @ 2.56915
3.66/3.78 c GLOBAL bounds - >= 3620784944 @ 2.57082
3.66/3.78 c GLOBAL bounds - >= 3620784944 @ 2.57627
3.66/3.79 c GLOBAL bounds - >= 3620784944 @ 2.57714
3.66/3.79 c GLOBAL bounds - >= 3620784944 @ 2.58152
3.76/3.80 c GLOBAL bounds - >= 3620784944 @ 2.58252
3.76/3.80 c GLOBAL bounds - >= 3620784944 @ 2.58682
3.76/3.82 c GLOBAL bounds - >= 3620784944 @ 2.60448
3.76/3.83 c GLOBAL bounds - >= 3620784944 @ 2.60785
4.36/4.46 c #Conflicts: 2000 | #Constraints: 3349
4.36/4.46 c INPROCESSING
4.36/4.46 c GARBAGE COLLECT
4.36/4.46 c GLOBAL bounds - >= 3620784954 @ 3.23556
4.36/4.47 c GLOBAL bounds - >= 3620784954 @ 3.24092
4.36/4.47 c GLOBAL bounds - >= 3620784954 @ 3.24205
4.36/4.47 c GLOBAL bounds - >= 3620784954 @ 3.24313
4.36/4.48 c GLOBAL bounds - >= 3620784954 @ 3.24591
4.36/4.48 c GLOBAL bounds - >= 3620784954 @ 3.24691
4.36/4.48 c GLOBAL bounds - >= 3620784954 @ 3.25084
4.36/4.49 c GLOBAL bounds - >= 3620784954 @ 3.25163
4.36/4.49 c GLOBAL bounds - >= 3620784954 @ 3.25579
4.46/4.50 c GLOBAL bounds - >= 3620784954 @ 3.25589
4.46/4.50 c GLOBAL bounds - >= 3620784954 @ 3.25877
4.46/4.50 c GLOBAL bounds - >= 3620784954 @ 3.25888
4.46/4.51 c GLOBAL bounds - >= 3620784954 @ 3.26178
4.46/4.51 c GLOBAL bounds - >= 3620784954 @ 3.26188
4.46/4.52 c GLOBAL bounds - >= 3620784954 @ 3.26291
4.46/4.52 c GLOBAL bounds - >= 3620784954 @ 3.26387
4.46/4.53 c GLOBAL bounds - >= 3620784954 @ 3.26697
4.46/4.53 c GLOBAL bounds - >= 3620784954 @ 3.2679
4.46/4.54 c GLOBAL bounds - >= 3620784954 @ 3.27115
4.46/4.54 c GLOBAL bounds - >= 3620784954 @ 3.27299
4.46/4.55 c GLOBAL bounds - >= 3620784954 @ 3.27716
4.46/4.55 c GLOBAL bounds - >= 3620784954 @ 3.27785
4.46/4.56 c GLOBAL bounds - >= 3620784954 @ 3.28139
4.46/4.56 c GLOBAL bounds - >= 3620784954 @ 3.28184
4.46/4.57 c GLOBAL bounds - >= 3620784954 @ 3.28617
4.46/4.57 c GLOBAL bounds - >= 3620784954 @ 3.28965
4.56/4.60 c GLOBAL bounds - >= 3620784954 @ 3.31538
4.56/4.61 c GLOBAL bounds - >= 3620784954 @ 3.32077
6.65/6.77 c #Conflicts: 3000 | #Constraints: 3227
6.65/6.77 c #Conflicts: 4000 | #Constraints: 4227
6.65/6.77 c GLOBAL bounds - >= 3620784960 @ 5.45879
6.65/6.78 c GLOBAL bounds - >= 3620784960 @ 5.46646
6.65/6.78 c GLOBAL bounds - >= 3620784960 @ 5.46757
6.65/6.79 c GLOBAL bounds - >= 3620784960 @ 5.4728
6.65/6.79 c GLOBAL bounds - >= 3620784960 @ 5.47354
6.75/6.80 c GLOBAL bounds - >= 3620784960 @ 5.4778
6.75/6.80 c GLOBAL bounds - >= 3620784960 @ 5.47941
6.75/6.81 c GLOBAL bounds - >= 3620784960 @ 5.48277
6.75/6.81 c GLOBAL bounds - >= 3620784960 @ 5.48442
6.75/6.82 c GLOBAL bounds - >= 3620784960 @ 5.48881
6.75/6.82 c GLOBAL bounds - >= 3620784960 @ 5.48949
6.75/6.83 c GLOBAL bounds - >= 3620784960 @ 5.4941
6.75/6.83 c GLOBAL bounds - >= 3620784960 @ 5.4953
6.75/6.84 c GLOBAL bounds - >= 3620784960 @ 5.5004
6.75/6.84 c GLOBAL bounds - >= 3620784960 @ 5.50129
6.75/6.85 c GLOBAL bounds - >= 3620784960 @ 5.50679
6.75/6.85 c GLOBAL bounds - >= 3620784960 @ 5.5086
6.75/6.86 c GLOBAL bounds - >= 3620784960 @ 5.51318
6.75/6.86 c GLOBAL bounds - >= 3620784960 @ 5.51427
6.75/6.87 c GLOBAL bounds - >= 3620784960 @ 5.52155
6.75/6.87 c GLOBAL bounds - >= 3620784960 @ 5.52245
6.75/6.88 c GLOBAL bounds - >= 3620784960 @ 5.52789
6.75/6.89 c GLOBAL bounds - >= 3620784960 @ 5.53355
6.75/6.89 c GLOBAL bounds - >= 3620784960 @ 5.53716
6.85/6.90 c GLOBAL bounds - >= 3620784960 @ 5.54123
6.85/6.91 c GLOBAL bounds - >= 3620784960 @ 5.54491
6.85/6.92 c GLOBAL bounds - >= 3620784960 @ 5.54857
6.85/6.92 c GLOBAL bounds - >= 3620784960 @ 5.55307
6.85/6.93 c GLOBAL bounds - >= 3620784960 @ 5.55771
6.85/6.94 c GLOBAL bounds - >= 3620784960 @ 5.56374
6.85/6.94 c GLOBAL bounds - >= 3620784960 @ 5.56883
7.45/7.59 c INPROCESSING
7.45/7.59 c GARBAGE COLLECT
7.45/7.59 c GLOBAL bounds - >= 3620784962 @ 6.2082
7.45/7.59 c GLOBAL bounds - >= 3620784962 @ 6.21353
7.55/7.60 c GLOBAL bounds - >= 3620784962 @ 6.21553
7.55/7.60 c GLOBAL bounds - >= 3620784962 @ 6.21653
7.55/7.61 c GLOBAL bounds - >= 3620784962 @ 6.21998
7.55/7.61 c GLOBAL bounds - >= 3620784962 @ 6.22076
7.55/7.62 c GLOBAL bounds - >= 3620784962 @ 6.22534
7.55/7.62 c GLOBAL bounds - >= 3620784962 @ 6.22552
7.55/7.63 c GLOBAL bounds - >= 3620784962 @ 6.22792
7.55/7.63 c GLOBAL bounds - >= 3620784962 @ 6.22873
7.55/7.64 c GLOBAL bounds - >= 3620784962 @ 6.23326
7.55/7.64 c GLOBAL bounds - >= 3620784962 @ 6.23351
7.55/7.65 c GLOBAL bounds - >= 3620784962 @ 6.23662
7.55/7.65 c GLOBAL bounds - >= 3620784962 @ 6.23854
7.55/7.66 c GLOBAL bounds - >= 3620784962 @ 6.24218
7.55/7.66 c GLOBAL bounds - >= 3620784962 @ 6.24403
7.55/7.67 c GLOBAL bounds - >= 3620784962 @ 6.24656
7.55/7.67 c GLOBAL bounds - >= 3620784962 @ 6.24748
7.55/7.68 c GLOBAL bounds - >= 3620784962 @ 6.25008
7.55/7.68 c GLOBAL bounds - >= 3620784962 @ 6.25091
7.55/7.69 c GLOBAL bounds - >= 3620784962 @ 6.25484
7.55/7.69 c GLOBAL bounds - >= 3620784962 @ 6.25825
7.65/7.70 c GLOBAL bounds - >= 3620784962 @ 6.262
7.65/7.70 c GLOBAL bounds - >= 3620784962 @ 6.26653
7.65/7.71 c GLOBAL bounds - >= 3620784962 @ 6.27068
7.65/7.72 c GLOBAL bounds - >= 3620784962 @ 6.27494
7.65/7.74 c GLOBAL bounds - >= 3620784962 @ 6.29692
8.05/8.15 c #Conflicts: 5000 | #Constraints: 3662
8.05/8.15 c GLOBAL bounds - >= 3620784966 @ 6.69909
8.05/8.15 c GLOBAL bounds - >= 3620784966 @ 6.70391
8.05/8.16 c GLOBAL bounds - >= 3620784966 @ 6.70682
8.05/8.16 c GLOBAL bounds - >= 3620784966 @ 6.70838
8.05/8.17 c GLOBAL bounds - >= 3620784966 @ 6.70939
8.05/8.17 c GLOBAL bounds - >= 3620784966 @ 6.71038
8.05/8.18 c GLOBAL bounds - >= 3620784966 @ 6.718
8.05/8.18 c GLOBAL bounds - >= 3620784966 @ 6.71937
8.05/8.19 c GLOBAL bounds - >= 3620784966 @ 6.72267
8.05/8.19 c GLOBAL bounds - >= 3620784966 @ 6.72358
8.15/8.20 c GLOBAL bounds - >= 3620784966 @ 6.72536
8.15/8.20 c GLOBAL bounds - >= 3620784966 @ 6.72636
8.15/8.21 c GLOBAL bounds - >= 3620784966 @ 6.73205
8.15/8.21 c GLOBAL bounds - >= 3620784966 @ 6.73211
8.15/8.22 c GLOBAL bounds - >= 3620784966 @ 6.7352
8.15/8.22 c GLOBAL bounds - >= 3620784966 @ 6.7371
8.15/8.23 c GLOBAL bounds - >= 3620784966 @ 6.74312
8.15/8.23 c GLOBAL bounds - >= 3620784966 @ 6.74325
8.15/8.24 c GLOBAL bounds - >= 3620784966 @ 6.74921
8.15/8.24 c GLOBAL bounds - >= 3620784966 @ 6.75013
8.15/8.25 c GLOBAL bounds - >= 3620784966 @ 6.75713
8.15/8.25 c GLOBAL bounds - >= 3620784966 @ 6.7621
9.84/9.97 c #Conflicts: 6000 | #Constraints: 4686
9.84/9.97 c GLOBAL bounds - >= 3620784976 @ 8.46886
9.84/9.98 c GLOBAL bounds - >= 3620784976 @ 8.47764
9.84/9.99 c GLOBAL bounds - >= 3620784976 @ 8.48166
9.84/9.99 c GLOBAL bounds - >= 3620784976 @ 8.48251
9.94/10.00 c GLOBAL bounds - >= 3620784976 @ 8.4879
9.94/10.00 c GLOBAL bounds - >= 3620784976 @ 8.48808
9.94/10.01 c GLOBAL bounds - >= 3620784976 @ 8.49207
9.94/10.01 c GLOBAL bounds - >= 3620784976 @ 8.49404
9.94/10.02 c GLOBAL bounds - >= 3620784976 @ 8.49843
9.94/10.03 c GLOBAL bounds - >= 3620784976 @ 8.49902
9.94/10.03 c GLOBAL bounds - >= 3620784976 @ 8.50563
9.94/10.04 c GLOBAL bounds - >= 3620784976 @ 8.50601
9.94/10.05 c GLOBAL bounds - >= 3620784976 @ 8.51176
9.94/10.05 c GLOBAL bounds - >= 3620784976 @ 8.512
9.94/10.06 c GLOBAL bounds - >= 3620784976 @ 8.51888
9.94/10.06 c GLOBAL bounds - >= 3620784976 @ 8.51899
9.94/10.07 c GLOBAL bounds - >= 3620784976 @ 8.52605
9.94/10.07 c GLOBAL bounds - >= 3620784976 @ 8.52802
9.94/10.08 c GLOBAL bounds - >= 3620784976 @ 8.53525
9.94/10.08 c GLOBAL bounds - >= 3620784976 @ 8.53593
9.94/10.09 c GLOBAL bounds - >= 3620784976 @ 8.54158
15.22/15.39 c INPROCESSING
15.22/15.39 c GARBAGE COLLECT
15.22/15.39 c #Conflicts: 7000 | #Constraints: 3717
15.22/15.39 c #Conflicts: 8000 | #Constraints: 4717
15.22/15.39 c GLOBAL bounds - >= 3620784986 @ 13.8033
15.32/15.40 c GLOBAL bounds - >= 3620784986 @ 13.8121
15.32/15.41 c GLOBAL bounds - >= 3620784986 @ 13.8182
15.32/15.41 c GLOBAL bounds - >= 3620784986 @ 13.8188
15.32/15.42 c GLOBAL bounds - >= 3620784986 @ 13.8254
15.32/15.43 c GLOBAL bounds - >= 3620784986 @ 13.8264
15.32/15.44 c GLOBAL bounds - >= 3620784986 @ 13.8335
15.32/15.44 c GLOBAL bounds - >= 3620784986 @ 13.8338
15.32/15.45 c GLOBAL bounds - >= 3620784986 @ 13.8396
15.32/15.45 c GLOBAL bounds - >= 3620784986 @ 13.8407
15.32/15.46 c GLOBAL bounds - >= 3620784986 @ 13.8457
15.32/15.46 c GLOBAL bounds - >= 3620784986 @ 13.8478
15.32/15.47 c GLOBAL bounds - >= 3620784986 @ 13.8558
15.32/15.47 c GLOBAL bounds - >= 3620784986 @ 13.8579
15.32/15.48 c GLOBAL bounds - >= 3620784986 @ 13.864
15.32/15.49 c GLOBAL bounds - >= 3620784986 @ 13.865
15.43/15.50 c GLOBAL bounds - >= 3620784986 @ 13.8721
15.43/15.50 c GLOBAL bounds - >= 3620784986 @ 13.8737
15.43/15.51 c GLOBAL bounds - >= 3620784986 @ 13.8803
15.43/15.51 c GLOBAL bounds - >= 3620784986 @ 13.8824
15.43/15.52 c GLOBAL bounds - >= 3620784986 @ 13.8895
15.43/15.53 c GLOBAL bounds - >= 3620784986 @ 13.8934
15.43/15.54 c #Conflicts: 9000 | #Constraints: 5756
15.43/15.54 c GLOBAL bounds - >= 3620784986 @ 13.9
15.43/15.55 c GLOBAL bounds - >= 3620784986 @ 13.9058
15.53/15.65 c GLOBAL bounds - >= 3620784986 @ 14.004
15.53/15.68 c GLOBAL bounds - >= 3620784986 @ 14.0352
16.52/16.67 c INPROCESSING
16.52/16.67 c GARBAGE COLLECT
16.52/16.67 c GLOBAL bounds - >= 3620784991 @ 15.0186
16.52/16.68 c GLOBAL bounds - >= 3620784991 @ 15.0258
16.52/16.68 c GLOBAL bounds - >= 3620784991 @ 15.0267
16.52/16.68 c GLOBAL bounds - >= 3620784991 @ 15.0277
16.52/16.69 c GLOBAL bounds - >= 3620784991 @ 15.0321
16.52/16.69 c GLOBAL bounds - >= 3620784991 @ 15.0331
16.62/16.70 c GLOBAL bounds - >= 3620784991 @ 15.0386
16.62/16.70 c GLOBAL bounds - >= 3620784991 @ 15.0387
16.62/16.71 c GLOBAL bounds - >= 3620784991 @ 15.0422
16.62/16.71 c GLOBAL bounds - >= 3620784991 @ 15.0437
16.62/16.72 c GLOBAL bounds - >= 3620784991 @ 15.0468
16.62/16.72 c GLOBAL bounds - >= 3620784991 @ 15.0488
16.62/16.73 c GLOBAL bounds - >= 3620784991 @ 15.0528
16.62/16.73 c GLOBAL bounds - >= 3620784991 @ 15.0539
16.62/16.74 c GLOBAL bounds - >= 3620784991 @ 15.0597
16.62/16.74 c GLOBAL bounds - >= 3620784991 @ 15.0617
16.62/16.75 c GLOBAL bounds - >= 3620784991 @ 15.0646
16.62/16.76 c GLOBAL bounds - >= 3620784991 @ 15.0647
16.62/16.76 c GLOBAL bounds - >= 3620784991 @ 15.0685
16.62/16.77 c GLOBAL bounds - >= 3620784991 @ 15.0697
16.62/16.78 c GLOBAL bounds - >= 3620784991 @ 15.0753
16.62/16.78 c GLOBAL bounds - >= 3620784991 @ 15.0774
16.62/16.79 c GLOBAL bounds - >= 3620784991 @ 15.0833
16.73/16.80 c GLOBAL bounds - >= 3620784991 @ 15.0924
16.73/16.81 c GLOBAL bounds - >= 3620784991 @ 15.1039
17.03/17.13 c #Conflicts: 10000 | #Constraints: 4479
17.03/17.13 c GLOBAL bounds - >= 3620784991 @ 15.4144
17.13/17.25 c GLOBAL bounds - >= 3620784991 @ 15.5318
17.13/17.25 c GLOBAL bounds - >= 3620784991 @ 15.5382
17.22/17.30 c GLOBAL bounds - >= 3620784991 @ 15.5847
19.42/19.50 c #Conflicts: 11000 | #Constraints: 5479
19.42/19.50 c GLOBAL bounds - >= 3620784996 @ 17.7702
19.42/19.51 c GLOBAL bounds - >= 3620784996 @ 17.7788
19.42/19.51 c GLOBAL bounds - >= 3620784996 @ 17.7788
19.42/19.52 c GLOBAL bounds - >= 3620784996 @ 17.7798
19.42/19.52 c GLOBAL bounds - >= 3620784996 @ 17.7802
19.42/19.53 c GLOBAL bounds - >= 3620784996 @ 17.7895
19.42/19.53 c GLOBAL bounds - >= 3620784996 @ 17.7904
19.42/19.54 c GLOBAL bounds - >= 3620784996 @ 17.7967
19.42/19.54 c GLOBAL bounds - >= 3620784996 @ 17.7978
19.42/19.56 c GLOBAL bounds - >= 3620784996 @ 17.8061
19.42/19.56 c GLOBAL bounds - >= 3620784996 @ 17.8081
19.42/19.57 c GLOBAL bounds - >= 3620784996 @ 17.8167
19.42/19.57 c GLOBAL bounds - >= 3620784996 @ 17.8188
19.42/19.58 c GLOBAL bounds - >= 3620784996 @ 17.8264
19.42/19.58 c GLOBAL bounds - >= 3620784996 @ 17.8285
19.42/19.59 c GLOBAL bounds - >= 3620784996 @ 17.8351
19.52/19.60 c GLOBAL bounds - >= 3620784996 @ 17.8366
19.52/19.61 c GLOBAL bounds - >= 3620784996 @ 17.8438
19.52/19.61 c GLOBAL bounds - >= 3620784996 @ 17.8446
19.52/19.62 c GLOBAL bounds - >= 3620784996 @ 17.8516
19.52/19.62 c GLOBAL bounds - >= 3620784996 @ 17.8528
19.52/19.63 c GLOBAL bounds - >= 3620784996 @ 17.8604
19.52/19.63 c GLOBAL bounds - >= 3620784996 @ 17.8616
19.52/19.64 c GLOBAL bounds - >= 3620784996 @ 17.8662
19.52/19.65 c GLOBAL bounds - >= 3620784996 @ 17.8722
19.52/19.66 c GLOBAL bounds - >= 3620784996 @ 17.8812
19.52/19.68 c GLOBAL bounds - >= 3620784996 @ 17.8898
19.52/19.69 c GLOBAL bounds - >= 3620784996 @ 17.8978
19.62/19.70 c GLOBAL bounds - >= 3620784996 @ 17.9043
19.62/19.70 c GLOBAL bounds - >= 3620784996 @ 17.9117
19.62/19.71 c GLOBAL bounds - >= 3620784996 @ 17.9171
19.72/19.83 c GLOBAL bounds - >= 3620784996 @ 18.0344
42.56/42.75 c #Conflicts: 12000 | #Constraints: 6512
42.56/42.75 c INPROCESSING
42.56/42.75 c GARBAGE COLLECT
42.56/42.75 c #Conflicts: 13000 | #Constraints: 4951
42.56/42.75 c #Conflicts: 14000 | #Constraints: 5951
42.56/42.75 c #Conflicts: 15000 | #Constraints: 6951
42.56/42.75 c INPROCESSING
42.56/42.75 c GARBAGE COLLECT
42.56/42.75 c #Conflicts: 16000 | #Constraints: 5178
42.56/42.75 c #Conflicts: 17000 | #Constraints: 6178
42.56/42.75 c #Conflicts: 18000 | #Constraints: 7178
42.56/42.75 c INPROCESSING
42.56/42.75 c GARBAGE COLLECT
42.56/42.75 c #Conflicts: 19000 | #Constraints: 5192
42.56/42.75 c GLOBAL bounds - >= 3620785001 @ 40.8248
42.56/42.76 c GLOBAL bounds - >= 3620785001 @ 40.8322
42.56/42.76 c GLOBAL bounds - >= 3620785001 @ 40.833
42.56/42.76 c GLOBAL bounds - >= 3620785001 @ 40.8341
42.56/42.77 c GLOBAL bounds - >= 3620785001 @ 40.8409
42.56/42.78 c GLOBAL bounds - >= 3620785001 @ 40.841
42.56/42.79 c GLOBAL bounds - >= 3620785001 @ 40.8438
42.56/42.79 c GLOBAL bounds - >= 3620785001 @ 40.844
42.65/42.80 c GLOBAL bounds - >= 3620785001 @ 40.8505
42.65/42.80 c GLOBAL bounds - >= 3620785001 @ 40.8515
42.65/42.81 c GLOBAL bounds - >= 3620785001 @ 40.859
42.65/42.81 c GLOBAL bounds - >= 3620785001 @ 40.8611
42.65/42.82 c GLOBAL bounds - >= 3620785001 @ 40.8695
42.65/42.82 c GLOBAL bounds - >= 3620785001 @ 40.87
42.65/42.83 c GLOBAL bounds - >= 3620785001 @ 40.875
42.65/42.84 c GLOBAL bounds - >= 3620785001 @ 40.8759
42.65/42.85 c GLOBAL bounds - >= 3620785001 @ 40.8842
42.65/42.85 c GLOBAL bounds - >= 3620785001 @ 40.8863
42.65/42.86 c GLOBAL bounds - >= 3620785001 @ 40.8938
42.65/42.86 c GLOBAL bounds - >= 3620785001 @ 40.8939
42.65/42.87 c GLOBAL bounds - >= 3620785001 @ 40.9003
42.65/42.87 c GLOBAL bounds - >= 3620785001 @ 40.9014
42.65/42.88 c GLOBAL bounds - >= 3620785001 @ 40.9078
42.75/42.90 c GLOBAL bounds - >= 3620785001 @ 40.9201
42.75/42.91 c GLOBAL bounds - >= 3620785001 @ 40.9265
42.75/42.92 c GLOBAL bounds - >= 3620785001 @ 40.9336
42.75/42.93 c GLOBAL bounds - >= 3620785001 @ 40.9442
42.86/43.02 c GLOBAL bounds - >= 3620785001 @ 41.0271
42.86/43.03 c GLOBAL bounds - >= 3620785001 @ 41.0338
42.86/43.04 c GLOBAL bounds - >= 3620785001 @ 41.043
42.86/43.05 c GLOBAL bounds - >= 3620785001 @ 41.0498
42.96/43.12 c GLOBAL bounds - >= 3620785001 @ 41.1179
42.96/43.13 c GLOBAL bounds - >= 3620785001 @ 41.1254
46.45/46.63 c #Conflicts: 20000 | #Constraints: 6227
46.45/46.63 c #Conflicts: 21000 | #Constraints: 7227
46.45/46.63 c GLOBAL bounds - >= 3620785002 @ 44.6011
46.45/46.64 c GLOBAL bounds - >= 3620785002 @ 44.6125
46.45/46.65 c GLOBAL bounds - >= 3620785002 @ 44.6227
46.45/46.66 c GLOBAL bounds - >= 3620785002 @ 44.6246
46.45/46.67 c GLOBAL bounds - >= 3620785002 @ 44.6329
46.45/46.67 c GLOBAL bounds - >= 3620785002 @ 44.6351
46.45/46.68 c GLOBAL bounds - >= 3620785002 @ 44.643
46.45/46.68 c GLOBAL bounds - >= 3620785002 @ 44.6435
46.55/46.70 c GLOBAL bounds - >= 3620785002 @ 44.6522
46.55/46.70 c GLOBAL bounds - >= 3620785002 @ 44.6545
46.55/46.71 c GLOBAL bounds - >= 3620785002 @ 44.6634
46.55/46.71 c GLOBAL bounds - >= 3620785002 @ 44.6637
46.55/46.73 c GLOBAL bounds - >= 3620785002 @ 44.6726
46.55/46.73 c GLOBAL bounds - >= 3620785002 @ 44.6745
46.55/46.74 c GLOBAL bounds - >= 3620785002 @ 44.6838
46.55/46.74 c GLOBAL bounds - >= 3620785002 @ 44.685
46.55/46.75 c GLOBAL bounds - >= 3620785002 @ 44.6934
46.55/46.76 c GLOBAL bounds - >= 3620785002 @ 44.6947
46.55/46.77 c GLOBAL bounds - >= 3620785002 @ 44.7041
46.55/46.77 c GLOBAL bounds - >= 3620785002 @ 44.7044
46.55/46.78 c GLOBAL bounds - >= 3620785002 @ 44.7137
55.32/55.57 c #Conflicts: 22000 | #Constraints: 8246
55.32/55.57 c #Conflicts: 23000 | #Constraints: 9246
55.32/55.57 c #Conflicts: 24000 | #Constraints: 10246
55.32/55.57 c GLOBAL bounds - >= 3620785012 @ 53.3895
55.32/55.59 c GLOBAL bounds - >= 3620785012 @ 53.4064
55.42/55.61 c GLOBAL bounds - >= 3620785012 @ 53.4186
55.42/55.61 c GLOBAL bounds - >= 3620785012 @ 53.4188
55.42/55.62 c GLOBAL bounds - >= 3620785012 @ 53.43
55.42/55.62 c GLOBAL bounds - >= 3620785012 @ 53.4305
55.42/55.64 c GLOBAL bounds - >= 3620785012 @ 53.4437
55.42/55.64 c GLOBAL bounds - >= 3620785012 @ 53.4452
55.42/55.66 c GLOBAL bounds - >= 3620785012 @ 53.4542
55.42/55.66 c GLOBAL bounds - >= 3620785012 @ 53.4563
55.42/55.68 c GLOBAL bounds - >= 3620785012 @ 53.4698
55.42/55.68 c GLOBAL bounds - >= 3620785012 @ 53.4713
55.52/55.70 c GLOBAL bounds - >= 3620785012 @ 53.4826
55.52/55.70 c GLOBAL bounds - >= 3620785012 @ 53.4842
55.52/55.72 c GLOBAL bounds - >= 3620785012 @ 53.4999
55.52/55.72 c GLOBAL bounds - >= 3620785012 @ 53.5004
55.52/55.73 c GLOBAL bounds - >= 3620785012 @ 53.5146
55.52/55.74 c GLOBAL bounds - >= 3620785012 @ 53.5162
55.52/55.75 c GLOBAL bounds - >= 3620785012 @ 53.5263
55.52/55.76 c GLOBAL bounds - >= 3620785012 @ 53.5288
55.52/55.77 c GLOBAL bounds - >= 3620785012 @ 53.5421
55.62/55.80 c GLOBAL bounds - >= 3620785012 @ 53.5686
67.99/68.27 c #Conflicts: 25000 | #Constraints: 11291
67.99/68.27 c #Conflicts: 26000 | #Constraints: 12291
67.99/68.27 c #Conflicts: 27000 | #Constraints: 13291
67.99/68.27 c #Conflicts: 28000 | #Constraints: 14291
67.99/68.27 c GLOBAL bounds - >= 3620785022 @ 65.9324
67.99/68.29 c GLOBAL bounds - >= 3620785022 @ 65.9536
67.99/68.29 c GLOBAL bounds - >= 3620785022 @ 65.9548
68.08/68.31 c GLOBAL bounds - >= 3620785022 @ 65.9691
68.08/68.32 c GLOBAL bounds - >= 3620785022 @ 65.9706
68.08/68.34 c GLOBAL bounds - >= 3620785022 @ 65.9879
68.08/68.34 c GLOBAL bounds - >= 3620785022 @ 65.9904
68.08/68.36 c GLOBAL bounds - >= 3620785022 @ 66.0088
68.08/68.36 c GLOBAL bounds - >= 3620785022 @ 66.0104
68.08/68.38 c GLOBAL bounds - >= 3620785022 @ 66.0268
68.08/68.39 c GLOBAL bounds - >= 3620785022 @ 66.0274
68.18/68.41 c GLOBAL bounds - >= 3620785022 @ 66.0461
68.18/68.41 c GLOBAL bounds - >= 3620785022 @ 66.0474
68.18/68.43 c GLOBAL bounds - >= 3620785022 @ 66.0625
68.18/68.43 c GLOBAL bounds - >= 3620785022 @ 66.064
68.18/68.45 c GLOBAL bounds - >= 3620785022 @ 66.0815
68.18/68.45 c GLOBAL bounds - >= 3620785022 @ 66.083
68.18/68.48 c GLOBAL bounds - >= 3620785022 @ 66.1014
68.18/68.48 c GLOBAL bounds - >= 3620785022 @ 66.104
68.28/68.50 c GLOBAL bounds - >= 3620785022 @ 66.1203
68.28/68.50 c GLOBAL bounds - >= 3620785022 @ 66.1219
68.28/68.52 c GLOBAL bounds - >= 3620785022 @ 66.1392
68.28/68.54 c GLOBAL bounds - >= 3620785022 @ 66.1549
68.28/68.56 c GLOBAL bounds - >= 3620785022 @ 66.1725
68.28/68.58 c GLOBAL bounds - >= 3620785022 @ 66.1961
79.46/79.73 c INPROCESSING
79.46/79.73 c GARBAGE COLLECT
79.46/79.73 c #Conflicts: 29000 | #Constraints: 8507
79.46/79.73 c #Conflicts: 30000 | #Constraints: 9507
79.46/79.73 c #Conflicts: 31000 | #Constraints: 10507
79.46/79.73 c #Conflicts: 32000 | #Constraints: 11507
79.46/79.73 c GLOBAL bounds - >= 3620785030 @ 77.2889
79.46/79.76 c GLOBAL bounds - >= 3620785030 @ 77.3092
79.46/79.76 c GLOBAL bounds - >= 3620785030 @ 77.3105
79.46/79.77 c GLOBAL bounds - >= 3620785030 @ 77.3231
79.46/79.78 c GLOBAL bounds - >= 3620785030 @ 77.3243
79.46/79.79 c GLOBAL bounds - >= 3620785030 @ 77.3369
79.46/79.80 c GLOBAL bounds - >= 3620785030 @ 77.3389
79.55/79.81 c GLOBAL bounds - >= 3620785030 @ 77.3516
79.55/79.82 c GLOBAL bounds - >= 3620785030 @ 77.3518
79.55/79.83 c GLOBAL bounds - >= 3620785030 @ 77.3653
79.55/79.83 c GLOBAL bounds - >= 3620785030 @ 77.3675
79.55/79.85 c GLOBAL bounds - >= 3620785030 @ 77.3817
79.55/79.85 c GLOBAL bounds - >= 3620785030 @ 77.3842
79.55/79.87 c GLOBAL bounds - >= 3620785030 @ 77.3964
79.55/79.87 c GLOBAL bounds - >= 3620785030 @ 77.3986
79.55/79.89 c GLOBAL bounds - >= 3620785030 @ 77.4117
79.55/79.89 c GLOBAL bounds - >= 3620785030 @ 77.4137
79.65/79.91 c GLOBAL bounds - >= 3620785030 @ 77.4245
79.65/79.91 c GLOBAL bounds - >= 3620785030 @ 77.4271
79.65/79.93 c GLOBAL bounds - >= 3620785030 @ 77.4393
79.65/79.93 c GLOBAL bounds - >= 3620785030 @ 77.4407
79.65/79.95 c GLOBAL bounds - >= 3620785030 @ 77.4528
79.65/79.97 c GLOBAL bounds - >= 3620785030 @ 77.4672
79.65/80.00 c GLOBAL bounds - >= 3620785030 @ 77.4958
79.75/80.02 c GLOBAL bounds - >= 3620785030 @ 77.5106
79.75/80.03 c GLOBAL bounds - >= 3620785030 @ 77.5216
79.75/80.07 c GLOBAL bounds - >= 3620785030 @ 77.5559
80.15/80.49 c GLOBAL bounds - >= 3620785030 @ 77.9758
80.25/80.53 c GLOBAL bounds - >= 3620785030 @ 78.0108
80.25/80.55 c GLOBAL bounds - >= 3620785030 @ 78.0262
80.25/80.56 c GLOBAL bounds - >= 3620785030 @ 78.0418
80.25/80.59 c GLOBAL bounds - >= 3620785030 @ 78.0608
102.98/103.33 c #Conflicts: 33000 | #Constraints: 12541
102.98/103.33 c INPROCESSING
102.98/103.33 c GARBAGE COLLECT
102.98/103.33 c #Conflicts: 34000 | #Constraints: 7889
102.98/103.33 c #Conflicts: 35000 | #Constraints: 8889
102.98/103.33 c #Conflicts: 36000 | #Constraints: 9889
102.98/103.33 c #Conflicts: 37000 | #Constraints: 10889
102.98/103.33 c #Conflicts: 38000 | #Constraints: 11889
102.98/103.33 c INPROCESSING
102.98/103.33 c GARBAGE COLLECT
102.98/103.33 c #Conflicts: 39000 | #Constraints: 7720
102.98/103.33 c GLOBAL bounds - >= 3620785031 @ 100.7
102.98/103.34 c GLOBAL bounds - >= 3620785031 @ 100.712
102.98/103.35 c GLOBAL bounds - >= 3620785031 @ 100.722
102.98/103.36 c GLOBAL bounds - >= 3620785031 @ 100.723
102.98/103.37 c GLOBAL bounds - >= 3620785031 @ 100.733
102.98/103.37 c GLOBAL bounds - >= 3620785031 @ 100.733
102.98/103.38 c GLOBAL bounds - >= 3620785031 @ 100.74
102.98/103.39 c GLOBAL bounds - >= 3620785031 @ 100.741
103.07/103.40 c GLOBAL bounds - >= 3620785031 @ 100.751
103.07/103.40 c GLOBAL bounds - >= 3620785031 @ 100.753
103.07/103.41 c GLOBAL bounds - >= 3620785031 @ 100.76
103.07/103.42 c GLOBAL bounds - >= 3620785031 @ 100.76
103.07/103.43 c GLOBAL bounds - >= 3620785031 @ 100.769
103.07/103.43 c GLOBAL bounds - >= 3620785031 @ 100.772
103.07/103.44 c GLOBAL bounds - >= 3620785031 @ 100.781
103.07/103.44 c GLOBAL bounds - >= 3620785031 @ 100.782
103.07/103.46 c GLOBAL bounds - >= 3620785031 @ 100.79
103.07/103.46 c GLOBAL bounds - >= 3620785031 @ 100.792
103.07/103.47 c GLOBAL bounds - >= 3620785031 @ 100.799
103.07/103.47 c GLOBAL bounds - >= 3620785031 @ 100.799
103.07/103.49 c GLOBAL bounds - >= 3620785031 @ 100.809
103.18/103.50 c GLOBAL bounds - >= 3620785031 @ 100.818
103.18/103.51 c GLOBAL bounds - >= 3620785031 @ 100.826
112.66/113.01 c #Conflicts: 40000 | #Constraints: 8729
112.66/113.01 c #Conflicts: 41000 | #Constraints: 9729
112.66/113.01 c #Conflicts: 42000 | #Constraints: 10729
112.66/113.01 c INPROCESSING
112.66/113.01 c GARBAGE COLLECT
112.66/113.01 c GLOBAL bounds - >= 3620785031 @ 110.287
112.66/113.02 c GLOBAL bounds - >= 3620785031 @ 110.293
112.66/113.03 c GLOBAL bounds - >= 3620785031 @ 110.299
365.52/366.83 c #Conflicts: 43000 | #Constraints: 6691
365.52/366.83 c #Conflicts: 44000 | #Constraints: 7691
365.52/366.83 c #Conflicts: 45000 | #Constraints: 8691
365.52/366.83 c #Conflicts: 46000 | #Constraints: 9691
365.52/366.83 c #Conflicts: 47000 | #Constraints: 10691
365.52/366.83 c #Conflicts: 48000 | #Constraints: 11691
365.52/366.83 c #Conflicts: 49000 | #Constraints: 12691
365.52/366.83 c #Conflicts: 50000 | #Constraints: 13691
365.52/366.83 c #Conflicts: 51000 | #Constraints: 14691
365.52/366.83 c #Conflicts: 52000 | #Constraints: 15691
365.52/366.83 c #Conflicts: 53000 | #Constraints: 16691
365.52/366.83 c #Conflicts: 54000 | #Constraints: 17691
365.52/366.83 c #Conflicts: 55000 | #Constraints: 18691
365.52/366.83 c #Conflicts: 56000 | #Constraints: 19691
365.52/366.83 c #Conflicts: 57000 | #Constraints: 20691
365.52/366.83 c #Conflicts: 58000 | #Constraints: 21691
365.52/366.83 c INPROCESSING
365.52/366.83 c GARBAGE COLLECT
365.52/366.83 c #Conflicts: 59000 | #Constraints: 12227
365.52/366.83 c #Conflicts: 60000 | #Constraints: 13227
365.52/366.83 c #Conflicts: 61000 | #Constraints: 14227
365.52/366.83 c #Conflicts: 62000 | #Constraints: 15227
365.52/366.83 c #Conflicts: 63000 | #Constraints: 16227
365.52/366.83 c #Conflicts: 64000 | #Constraints: 17227
365.52/366.83 c #Conflicts: 65000 | #Constraints: 18227
365.52/366.83 c INPROCESSING
365.52/366.83 c GARBAGE COLLECT
365.52/366.83 c #Conflicts: 66000 | #Constraints: 10893
365.52/366.83 c #Conflicts: 67000 | #Constraints: 11893
365.52/366.83 c GLOBAL bounds - >= 3620785036 @ 362.794
365.52/366.85 c GLOBAL bounds - >= 3620785036 @ 362.813
365.52/366.85 c GLOBAL bounds - >= 3620785036 @ 362.814
365.52/366.87 c GLOBAL bounds - >= 3620785036 @ 362.827
365.52/366.87 c GLOBAL bounds - >= 3620785036 @ 362.83
365.52/366.89 c GLOBAL bounds - >= 3620785036 @ 362.841
365.52/366.89 c GLOBAL bounds - >= 3620785036 @ 362.842
365.61/366.91 c GLOBAL bounds - >= 3620785036 @ 362.855
365.61/366.91 c GLOBAL bounds - >= 3620785036 @ 362.857
365.61/366.93 c GLOBAL bounds - >= 3620785036 @ 362.87
365.61/366.93 c GLOBAL bounds - >= 3620785036 @ 362.872
365.61/366.95 c GLOBAL bounds - >= 3620785036 @ 362.885
365.61/366.95 c GLOBAL bounds - >= 3620785036 @ 362.888
365.61/366.97 c GLOBAL bounds - >= 3620785036 @ 362.899
365.61/366.97 c GLOBAL bounds - >= 3620785036 @ 362.901
365.61/366.99 c GLOBAL bounds - >= 3620785036 @ 362.915
365.61/366.99 c GLOBAL bounds - >= 3620785036 @ 362.916
365.72/367.01 c GLOBAL bounds - >= 3620785036 @ 362.929
365.72/367.01 c GLOBAL bounds - >= 3620785036 @ 362.931
365.72/367.03 c GLOBAL bounds - >= 3620785036 @ 362.941
365.72/367.03 c GLOBAL bounds - >= 3620785036 @ 362.943
365.72/367.05 c GLOBAL bounds - >= 3620785036 @ 362.957
365.72/367.06 c GLOBAL bounds - >= 3620785036 @ 362.972
365.72/367.08 c GLOBAL bounds - >= 3620785036 @ 362.985
365.72/367.10 c GLOBAL bounds - >= 3620785036 @ 362.999
365.82/367.12 c GLOBAL bounds - >= 3620785036 @ 363.018
365.91/367.26 c GLOBAL bounds - >= 3620785036 @ 363.149
577.56/579.55 c #Conflicts: 68000 | #Constraints: 12929
577.56/579.55 c #Conflicts: 69000 | #Constraints: 13929
577.56/579.55 c #Conflicts: 70000 | #Constraints: 14929
577.56/579.55 c #Conflicts: 71000 | #Constraints: 15929
577.56/579.55 c INPROCESSING
577.56/579.55 c GARBAGE COLLECT
577.56/579.55 c #Conflicts: 72000 | #Constraints: 9553
577.56/579.55 c #Conflicts: 73000 | #Constraints: 10553
577.56/579.55 c #Conflicts: 74000 | #Constraints: 11553
577.56/579.55 c #Conflicts: 75000 | #Constraints: 12553
577.56/579.55 c #Conflicts: 76000 | #Constraints: 13553
577.56/579.55 c #Conflicts: 77000 | #Constraints: 14553
577.56/579.55 c #Conflicts: 78000 | #Constraints: 15553
577.56/579.55 c INPROCESSING
577.56/579.55 c GARBAGE COLLECT
577.56/579.55 c #Conflicts: 79000 | #Constraints: 9569
577.56/579.55 c #Conflicts: 80000 | #Constraints: 10569
577.56/579.55 c #Conflicts: 81000 | #Constraints: 11569
577.56/579.55 c #Conflicts: 82000 | #Constraints: 12569
577.56/579.55 c #Conflicts: 83000 | #Constraints: 13569
577.56/579.55 c #Conflicts: 84000 | #Constraints: 14569
577.56/579.55 c INPROCESSING
577.56/579.55 c GARBAGE COLLECT
577.56/579.55 c #Conflicts: 85000 | #Constraints: 8680
577.56/579.55 c #Conflicts: 86000 | #Constraints: 9680
577.56/579.55 c #Conflicts: 87000 | #Constraints: 10680
577.56/579.55 c #Conflicts: 88000 | #Constraints: 11680
577.56/579.55 c #Conflicts: 89000 | #Constraints: 12680
577.56/579.55 c #Conflicts: 90000 | #Constraints: 13680
577.56/579.55 c #Conflicts: 91000 | #Constraints: 14680
577.56/579.55 c INPROCESSING
577.56/579.55 c GARBAGE COLLECT
577.56/579.55 c #Conflicts: 92000 | #Constraints: 8736
577.56/579.55 c #Conflicts: 93000 | #Constraints: 9736
577.56/579.55 c #Conflicts: 94000 | #Constraints: 10736
577.56/579.55 c #Conflicts: 95000 | #Constraints: 11736
577.56/579.55 c #Conflicts: 96000 | #Constraints: 12736
577.56/579.55 c #Conflicts: 97000 | #Constraints: 13736
577.56/579.55 c #Conflicts: 98000 | #Constraints: 14736
577.56/579.55 c #Conflicts: 99000 | #Constraints: 15736
577.56/579.55 c INPROCESSING
577.56/579.55 c GARBAGE COLLECT
577.56/579.55 c #Conflicts: 100000 | #Constraints: 9661
577.56/579.55 c #Conflicts: 101000 | #Constraints: 10661
577.56/579.55 c #Conflicts: 102000 | #Constraints: 11661
577.56/579.55 c #Conflicts: 103000 | #Constraints: 12661
577.56/579.55 c #Conflicts: 104000 | #Constraints: 13661
577.56/579.55 c #Conflicts: 105000 | #Constraints: 14661
577.56/579.55 c #Conflicts: 106000 | #Constraints: 15661
577.56/579.55 c INPROCESSING
577.56/579.55 c GARBAGE COLLECT
577.56/579.55 c #Conflicts: 107000 | #Constraints: 9427
577.56/579.55 c GLOBAL bounds - >= 3620785042 @ 574.525
577.56/579.56 c GLOBAL bounds - >= 3620785042 @ 574.541
577.56/579.57 c GLOBAL bounds - >= 3620785042 @ 574.543
577.56/579.57 c GLOBAL bounds - >= 3620785042 @ 574.545
577.56/579.58 c GLOBAL bounds - >= 3620785042 @ 574.556
577.56/579.59 c GLOBAL bounds - >= 3620785042 @ 574.558
577.65/579.60 c GLOBAL bounds - >= 3620785042 @ 574.57
577.65/579.60 c GLOBAL bounds - >= 3620785042 @ 574.573
577.65/579.62 c GLOBAL bounds - >= 3620785042 @ 574.584
577.65/579.62 c GLOBAL bounds - >= 3620785042 @ 574.587
577.65/579.64 c GLOBAL bounds - >= 3620785042 @ 574.598
577.65/579.64 c GLOBAL bounds - >= 3620785042 @ 574.6
577.65/579.65 c GLOBAL bounds - >= 3620785042 @ 574.611
577.65/579.66 c GLOBAL bounds - >= 3620785042 @ 574.612
577.65/579.67 c GLOBAL bounds - >= 3620785042 @ 574.626
577.65/579.67 c GLOBAL bounds - >= 3620785042 @ 574.627
577.65/579.69 c GLOBAL bounds - >= 3620785042 @ 574.638
577.65/579.69 c GLOBAL bounds - >= 3620785042 @ 574.64
577.75/579.71 c GLOBAL bounds - >= 3620785042 @ 574.652
577.75/579.71 c GLOBAL bounds - >= 3620785042 @ 574.653
577.75/579.72 c GLOBAL bounds - >= 3620785042 @ 574.664
577.75/579.73 c GLOBAL bounds - >= 3620785042 @ 574.664
577.75/579.74 c GLOBAL bounds - >= 3620785042 @ 574.675
577.75/579.76 c GLOBAL bounds - >= 3620785042 @ 574.685
577.75/579.77 c GLOBAL bounds - >= 3620785042 @ 574.696
577.75/579.79 c GLOBAL bounds - >= 3620785042 @ 574.71
578.06/580.09 c GLOBAL bounds - >= 3620785042 @ 575.007
1510.87/1516.02 c #Conflicts: 108000 | #Constraints: 10453
1510.87/1516.02 c #Conflicts: 109000 | #Constraints: 11453
1510.87/1516.02 c #Conflicts: 110000 | #Constraints: 12453
1510.87/1516.02 c #Conflicts: 111000 | #Constraints: 13453
1510.87/1516.02 c #Conflicts: 112000 | #Constraints: 14453
1510.87/1516.02 c #Conflicts: 113000 | #Constraints: 15453
1510.87/1516.02 c #Conflicts: 114000 | #Constraints: 16453
1510.87/1516.02 c INPROCESSING
1510.87/1516.02 c GARBAGE COLLECT
1510.87/1516.02 c #Conflicts: 115000 | #Constraints: 10031
1510.87/1516.02 c #Conflicts: 116000 | #Constraints: 11031
1510.87/1516.02 c #Conflicts: 117000 | #Constraints: 12031
1510.87/1516.02 c #Conflicts: 118000 | #Constraints: 13031
1510.87/1516.02 c #Conflicts: 119000 | #Constraints: 14031
1510.87/1516.02 c #Conflicts: 120000 | #Constraints: 15031
1510.87/1516.02 c #Conflicts: 121000 | #Constraints: 16031
1510.87/1516.02 c #Conflicts: 122000 | #Constraints: 17031
1510.87/1516.02 c #Conflicts: 123000 | #Constraints: 18031
1510.87/1516.02 c #Conflicts: 124000 | #Constraints: 19031
1510.87/1516.02 c #Conflicts: 125000 | #Constraints: 20031
1510.87/1516.02 c #Conflicts: 126000 | #Constraints: 21031
1510.87/1516.02 c #Conflicts: 127000 | #Constraints: 22031
1510.87/1516.02 c #Conflicts: 128000 | #Constraints: 23031
1510.87/1516.02 c #Conflicts: 129000 | #Constraints: 24031
1510.87/1516.02 c #Conflicts: 130000 | #Constraints: 25031
1510.87/1516.02 c #Conflicts: 131000 | #Constraints: 26031
1510.87/1516.02 c #Conflicts: 132000 | #Constraints: 27031
1510.87/1516.02 c #Conflicts: 133000 | #Constraints: 28031
1510.87/1516.02 c #Conflicts: 134000 | #Constraints: 29031
1510.87/1516.02 c #Conflicts: 135000 | #Constraints: 30031
1510.87/1516.02 c #Conflicts: 136000 | #Constraints: 31031
1510.87/1516.02 c #Conflicts: 137000 | #Constraints: 32031
1510.87/1516.02 c #Conflicts: 138000 | #Constraints: 33031
1510.87/1516.02 c #Conflicts: 139000 | #Constraints: 34031
1510.87/1516.02 c #Conflicts: 140000 | #Constraints: 35031
1510.87/1516.02 c INPROCESSING
1510.87/1516.02 c GARBAGE COLLECT
1510.87/1516.02 c #Conflicts: 141000 | #Constraints: 18973
1510.87/1516.02 c #Conflicts: 142000 | #Constraints: 19973
1510.87/1516.02 c #Conflicts: 143000 | #Constraints: 20973
1510.87/1516.02 c #Conflicts: 144000 | #Constraints: 21973
1510.87/1516.02 c #Conflicts: 145000 | #Constraints: 22973
1510.87/1516.02 c #Conflicts: 146000 | #Constraints: 23973
1510.87/1516.02 c #Conflicts: 147000 | #Constraints: 24973
1510.87/1516.02 c #Conflicts: 148000 | #Constraints: 25973
1510.87/1516.02 c #Conflicts: 149000 | #Constraints: 26973
1510.87/1516.02 c INPROCESSING
1510.87/1516.02 c GARBAGE COLLECT
1510.87/1516.02 c #Conflicts: 150000 | #Constraints: 14994
1510.87/1516.02 c #Conflicts: 151000 | #Constraints: 15994
1510.87/1516.02 c #Conflicts: 152000 | #Constraints: 16994
1510.87/1516.02 c #Conflicts: 153000 | #Constraints: 17994
1510.87/1516.02 c #Conflicts: 154000 | #Constraints: 18994
1510.87/1516.02 c #Conflicts: 155000 | #Constraints: 19994
1510.87/1516.02 c #Conflicts: 156000 | #Constraints: 20994
1510.87/1516.02 c #Conflicts: 157000 | #Constraints: 21994
1510.87/1516.02 c #Conflicts: 158000 | #Constraints: 22994
1510.87/1516.02 c INPROCESSING
1510.87/1516.02 c GARBAGE COLLECT
1510.87/1516.02 c #Conflicts: 159000 | #Constraints: 12956
1510.87/1516.02 c #Conflicts: 160000 | #Constraints: 13956
1510.87/1516.02 c #Conflicts: 161000 | #Constraints: 14956
1510.87/1516.02 c #Conflicts: 162000 | #Constraints: 15956
1510.87/1516.02 c #Conflicts: 163000 | #Constraints: 16956
1510.87/1516.02 c #Conflicts: 164000 | #Constraints: 17956
1510.87/1516.02 c #Conflicts: 165000 | #Constraints: 18956
1510.87/1516.02 c #Conflicts: 166000 | #Constraints: 19956
1510.87/1516.02 c #Conflicts: 167000 | #Constraints: 20956
1510.87/1516.02 c #Conflicts: 168000 | #Constraints: 21956
1510.87/1516.02 c INPROCESSING
1510.87/1516.02 c GARBAGE COLLECT
1510.87/1516.02 c #Conflicts: 169000 | #Constraints: 12784
1510.87/1516.02 c #Conflicts: 170000 | #Constraints: 13784
1510.87/1516.02 c #Conflicts: 171000 | #Constraints: 14784
1510.87/1516.02 c #Conflicts: 172000 | #Constraints: 15784
1510.87/1516.02 c #Conflicts: 173000 | #Constraints: 16784
1510.87/1516.02 c #Conflicts: 174000 | #Constraints: 17784
1510.87/1516.02 c #Conflicts: 175000 | #Constraints: 18784
1510.87/1516.02 c #Conflicts: 176000 | #Constraints: 19784
1510.87/1516.02 c #Conflicts: 177000 | #Constraints: 20784
1510.87/1516.02 c INPROCESSING
1510.87/1516.02 c GARBAGE COLLECT
1510.87/1516.02 c #Conflicts: 178000 | #Constraints: 11948
1510.87/1516.02 c #Conflicts: 179000 | #Constraints: 12948
1510.87/1516.02 c #Conflicts: 180000 | #Constraints: 13948
1510.87/1516.02 c #Conflicts: 181000 | #Constraints: 14948
1510.87/1516.02 c #Conflicts: 182000 | #Constraints: 15948
2198.30/2205.62 c #Conflicts: 183000 | #Constraints: 16948
2198.30/2205.62 c #Conflicts: 184000 | #Constraints: 17948
2198.30/2205.62 c #Conflicts: 185000 | #Constraints: 18948
2198.30/2205.62 c #Conflicts: 186000 | #Constraints: 19948
2198.30/2205.62 c #Conflicts: 187000 | #Constraints: 20948
2198.30/2205.62 c INPROCESSING
2198.30/2205.62 c GARBAGE COLLECT
2198.30/2205.62 c #Conflicts: 188000 | #Constraints: 12180
2198.30/2205.62 c #Conflicts: 189000 | #Constraints: 13180
2198.30/2205.62 c #Conflicts: 190000 | #Constraints: 14180
2198.30/2205.62 c #Conflicts: 191000 | #Constraints: 15180
2198.30/2205.62 c #Conflicts: 192000 | #Constraints: 16180
2198.30/2205.62 c #Conflicts: 193000 | #Constraints: 17180
2198.30/2205.62 c #Conflicts: 194000 | #Constraints: 18180
2198.30/2205.62 c #Conflicts: 195000 | #Constraints: 19180
2198.30/2205.62 c #Conflicts: 196000 | #Constraints: 20180
2198.30/2205.62 c #Conflicts: 197000 | #Constraints: 21180
2198.30/2205.62 c INPROCESSING
2198.30/2205.62 c GARBAGE COLLECT
2198.30/2205.62 c #Conflicts: 198000 | #Constraints: 12346
2198.30/2205.62 c #Conflicts: 199000 | #Constraints: 13346
2198.30/2205.62 c #Conflicts: 200000 | #Constraints: 14346
2198.30/2205.62 c #Conflicts: 201000 | #Constraints: 15346
2198.30/2205.62 c #Conflicts: 202000 | #Constraints: 16346
2198.30/2205.62 c #Conflicts: 203000 | #Constraints: 17346
2198.30/2205.62 c #Conflicts: 204000 | #Constraints: 18346
2198.30/2205.62 c #Conflicts: 205000 | #Constraints: 19346
2198.30/2205.62 c #Conflicts: 206000 | #Constraints: 20346
2198.30/2205.62 c #Conflicts: 207000 | #Constraints: 21346
2198.30/2205.62 c INPROCESSING
2198.30/2205.62 c GARBAGE COLLECT
2198.30/2205.62 c #Conflicts: 208000 | #Constraints: 12381
2198.30/2205.62 c #Conflicts: 209000 | #Constraints: 13381
2198.30/2205.62 c #Conflicts: 210000 | #Constraints: 14381
2198.30/2205.62 c #Conflicts: 211000 | #Constraints: 15381
2198.30/2205.62 c #Conflicts: 212000 | #Constraints: 16381
2198.30/2205.62 c #Conflicts: 213000 | #Constraints: 17381
2198.30/2205.62 c #Conflicts: 214000 | #Constraints: 18381
2198.30/2205.62 c #Conflicts: 215000 | #Constraints: 19381
2198.30/2205.62 c #Conflicts: 216000 | #Constraints: 20381
2198.30/2205.62 c #Conflicts: 217000 | #Constraints: 21381
2198.30/2205.62 c INPROCESSING
2198.30/2205.62 c GARBAGE COLLECT
2198.30/2205.62 c #Conflicts: 218000 | #Constraints: 12247
2198.30/2205.62 c #Conflicts: 219000 | #Constraints: 13247
2198.30/2205.62 c #Conflicts: 220000 | #Constraints: 14247
2198.30/2205.62 c #Conflicts: 221000 | #Constraints: 15247
2198.30/2205.62 c #Conflicts: 222000 | #Constraints: 16247
2198.30/2205.62 c #Conflicts: 223000 | #Constraints: 17247
2198.30/2205.62 c #Conflicts: 224000 | #Constraints: 18247
2198.30/2205.62 c #Conflicts: 225000 | #Constraints: 19247
2198.30/2205.62 c #Conflicts: 226000 | #Constraints: 20247
2198.30/2205.62 c #Conflicts: 227000 | #Constraints: 21247
2198.30/2205.62 c #Conflicts: 228000 | #Constraints: 22247
2198.30/2205.62 c INPROCESSING
2198.30/2205.62 c GARBAGE COLLECT
2198.30/2205.62 c #Conflicts: 229000 | #Constraints: 12930
2198.30/2205.62 c #Conflicts: 230000 | #Constraints: 13930
2198.30/2205.62 c #Conflicts: 231000 | #Constraints: 14930
2198.30/2205.62 c #Conflicts: 232000 | #Constraints: 15930
2198.30/2205.62 c #Conflicts: 233000 | #Constraints: 16930
2198.30/2205.62 c #Conflicts: 234000 | #Constraints: 17930
2198.30/2205.62 c #Conflicts: 235000 | #Constraints: 18930
2198.30/2205.62 c #Conflicts: 236000 | #Constraints: 19930
2198.30/2205.62 c #Conflicts: 237000 | #Constraints: 20930
2198.30/2205.62 c #Conflicts: 238000 | #Constraints: 21930
2198.30/2205.62 c INPROCESSING
2198.30/2205.62 c GARBAGE COLLECT
2198.30/2205.62 c #Conflicts: 239000 | #Constraints: 12422
2198.30/2205.62 c #Conflicts: 240000 | #Constraints: 13422
2198.30/2205.62 c #Conflicts: 241000 | #Constraints: 14422
2198.30/2205.62 c #Conflicts: 242000 | #Constraints: 15422
2198.30/2205.62 c #Conflicts: 243000 | #Constraints: 16422
2198.30/2205.62 c #Conflicts: 244000 | #Constraints: 17422
2198.30/2205.62 c #Conflicts: 245000 | #Constraints: 18422
2198.30/2205.62 c #Conflicts: 246000 | #Constraints: 19422
2198.30/2205.62 c #Conflicts: 247000 | #Constraints: 20422
2198.30/2205.62 c #Conflicts: 248000 | #Constraints: 21422
2198.30/2205.62 c #Conflicts: 249000 | #Constraints: 22422
2198.30/2205.62 c INPROCESSING
2198.30/2205.62 c GARBAGE COLLECT
2198.30/2205.62 c #Conflicts: 250000 | #Constraints: 12718
2198.30/2205.62 c #Conflicts: 251000 | #Constraints: 13718
2198.30/2205.62 c #Conflicts: 252000 | #Constraints: 14718
2198.30/2205.62 c #Conflicts: 253000 | #Constraints: 15718
2198.30/2205.62 c #Conflicts: 254000 | #Constraints: 16718
2198.30/2205.62 c #Conflicts: 255000 | #Constraints: 17718
2198.30/2205.62 c #Conflicts: 256000 | #Constraints: 18718
2198.30/2205.62 c #Conflicts: 257000 | #Constraints: 19718
2211.16/2218.53 c GLOBAL bounds - >= 3620785048 @ 2206.92
2211.16/2218.56 c GLOBAL bounds - >= 3620785048 @ 2206.96
2211.16/2218.56 c GLOBAL bounds - >= 3620785048 @ 2206.96
2211.16/2218.57 c GLOBAL bounds - >= 3620785048 @ 2206.96
2211.16/2218.59 c GLOBAL bounds - >= 3620785048 @ 2206.98
2211.16/2218.60 c GLOBAL bounds - >= 3620785048 @ 2206.99
2211.25/2218.62 c GLOBAL bounds - >= 3620785048 @ 2207.01
2211.25/2218.62 c GLOBAL bounds - >= 3620785048 @ 2207.01
2211.25/2218.65 c GLOBAL bounds - >= 3620785048 @ 2207.03
2211.25/2218.65 c GLOBAL bounds - >= 3620785048 @ 2207.03
2211.25/2218.68 c GLOBAL bounds - >= 3620785048 @ 2207.05
2211.25/2218.68 c GLOBAL bounds - >= 3620785048 @ 2207.06
2211.35/2218.71 c GLOBAL bounds - >= 3620785048 @ 2207.08
2211.35/2218.71 c GLOBAL bounds - >= 3620785048 @ 2207.08
2211.35/2218.74 c GLOBAL bounds - >= 3620785048 @ 2207.1
2211.35/2218.74 c GLOBAL bounds - >= 3620785048 @ 2207.11
2211.35/2218.77 c GLOBAL bounds - >= 3620785048 @ 2207.13
2211.35/2218.77 c GLOBAL bounds - >= 3620785048 @ 2207.13
2211.46/2218.80 c GLOBAL bounds - >= 3620785048 @ 2207.15
2211.46/2218.80 c GLOBAL bounds - >= 3620785048 @ 2207.16
2211.46/2218.83 c GLOBAL bounds - >= 3620785048 @ 2207.18
2211.46/2218.83 c GLOBAL bounds - >= 3620785048 @ 2207.18
2211.46/2218.86 c GLOBAL bounds - >= 3620785048 @ 2207.21
2211.46/2218.88 c GLOBAL bounds - >= 3620785048 @ 2207.23
2211.56/2218.91 c GLOBAL bounds - >= 3620785048 @ 2207.25
2211.56/2218.93 c GLOBAL bounds - >= 3620785048 @ 2207.27
2211.56/2218.96 c GLOBAL bounds - >= 3620785048 @ 2207.29
2211.66/2219.02 c GLOBAL bounds - >= 3620785048 @ 2207.35
2211.85/2219.25 c #Conflicts: 258000 | #Constraints: 20750
2211.85/2219.25 c GLOBAL bounds - >= 3620785048 @ 2207.57
3600.07/3612.20 c #Conflicts: 259000 | #Constraints: 21750
3600.07/3612.20 c #Conflicts: 260000 | #Constraints: 22750
3600.07/3612.20 c INPROCESSING
3600.07/3612.20 c GARBAGE COLLECT
3600.07/3612.20 c #Conflicts: 261000 | #Constraints: 12837
3600.07/3612.20 c #Conflicts: 262000 | #Constraints: 13837
3600.07/3612.20 c #Conflicts: 263000 | #Constraints: 14837
3600.07/3612.20 c #Conflicts: 264000 | #Constraints: 15837
3600.07/3612.20 c #Conflicts: 265000 | #Constraints: 16837
3600.07/3612.20 c #Conflicts: 266000 | #Constraints: 17837
3600.07/3612.20 c #Conflicts: 267000 | #Constraints: 18837
3600.07/3612.20 c #Conflicts: 268000 | #Constraints: 19837
3600.07/3612.20 c #Conflicts: 269000 | #Constraints: 20837
3600.07/3612.20 c #Conflicts: 270000 | #Constraints: 21837
3600.07/3612.20 c #Conflicts: 271000 | #Constraints: 22837
3600.07/3612.20 c #Conflicts: 272000 | #Constraints: 23837
3600.07/3612.20 c #Conflicts: 273000 | #Constraints: 24837
3600.07/3612.20 c #Conflicts: 274000 | #Constraints: 25837
3600.07/3612.20 c #Conflicts: 275000 | #Constraints: 26837
3600.07/3612.20 c #Conflicts: 276000 | #Constraints: 27837
3600.07/3612.20 c #Conflicts: 277000 | #Constraints: 28837
3600.07/3612.20 c #Conflicts: 278000 | #Constraints: 29837
3600.07/3612.20 c #Conflicts: 279000 | #Constraints: 30837
3600.07/3612.20 c #Conflicts: 280000 | #Constraints: 31837
3600.07/3612.20 c #Conflicts: 281000 | #Constraints: 32837
3600.07/3612.20 c #Conflicts: 282000 | #Constraints: 33837
3600.07/3612.20 c #Conflicts: 283000 | #Constraints: 34837
3600.07/3612.20 c #Conflicts: 284000 | #Constraints: 35837
3600.07/3612.20 c #Conflicts: 285000 | #Constraints: 36837
3600.07/3612.20 c #Conflicts: 286000 | #Constraints: 37837
3600.07/3612.20 c #Conflicts: 287000 | #Constraints: 38837
3600.07/3612.20 c #Conflicts: 288000 | #Constraints: 39837
3600.07/3612.20 c #Conflicts: 289000 | #Constraints: 40837
3600.07/3612.20 c #Conflicts: 290000 | #Constraints: 41837
3600.07/3612.20 c #Conflicts: 291000 | #Constraints: 42837
3600.07/3612.20 c #Conflicts: 292000 | #Constraints: 43837
3600.07/3612.20 c #Conflicts: 293000 | #Constraints: 44837
3600.07/3612.20 c #Conflicts: 294000 | #Constraints: 45837
3600.07/3612.20 c #Conflicts: 295000 | #Constraints: 46837
3600.07/3612.20 c #Conflicts: 296000 | #Constraints: 47837
3600.07/3612.20 c #Conflicts: 297000 | #Constraints: 48837
3600.07/3612.20 c #Conflicts: 298000 | #Constraints: 49837
3600.07/3612.20 c #Conflicts: 299000 | #Constraints: 50837
3600.07/3612.20 c #Conflicts: 300000 | #Constraints: 51837
3600.07/3612.20 c #Conflicts: 301000 | #Constraints: 52837
3600.07/3612.20 c #Conflicts: 302000 | #Constraints: 53837
3600.07/3612.20 c INPROCESSING
3600.07/3612.20 c GARBAGE COLLECT
3600.07/3612.20 c #Conflicts: 303000 | #Constraints: 28437
3600.07/3612.20 c #Conflicts: 304000 | #Constraints: 29437
3600.07/3612.20 c #Conflicts: 305000 | #Constraints: 30437
3600.07/3612.20 c #Conflicts: 306000 | #Constraints: 31437
3600.07/3612.20 c #Conflicts: 307000 | #Constraints: 32437
3600.07/3612.20 c #Conflicts: 308000 | #Constraints: 33437
3600.07/3612.20 c #Conflicts: 309000 | #Constraints: 34437
3600.07/3612.20 c #Conflicts: 310000 | #Constraints: 35437
3600.07/3612.20 c #Conflicts: 311000 | #Constraints: 36437
3600.07/3612.20 c #Conflicts: 312000 | #Constraints: 37437
3600.07/3612.20 c #Conflicts: 313000 | #Constraints: 38437
3600.07/3612.20 c #Conflicts: 314000 | #Constraints: 39437
3600.07/3612.20 c #Conflicts: 315000 | #Constraints: 40437
3600.07/3612.20 c INPROCESSING
3600.07/3612.20 c GARBAGE COLLECT
3600.07/3612.20 c #Conflicts: 316000 | #Constraints: 22037
3600.07/3612.20 c #Conflicts: 317000 | #Constraints: 23037
3600.07/3612.20 c #Conflicts: 318000 | #Constraints: 24037
3600.07/3612.20 c #Conflicts: 319000 | #Constraints: 25037
3600.07/3612.20 c cpu time 3594.97 s
3600.07/3612.20 c deterministic time 11037311 1.10e+07
3600.07/3612.20 c optimization time 3594.42 s
3600.07/3612.20 c total solve time 0.471668 s
3600.07/3612.20 c core-guided solve time 0 s
3600.07/3612.20 c propagation time 0.277594 s
3600.07/3612.20 c conflict analysis time 0.034942 s
3600.07/3612.20 c propagations 716315
3600.07/3612.20 c resolve steps 0
3600.07/3612.20 c decisions 1221361
3600.07/3612.20 c conflicts 289
3600.07/3612.20 c restarts 2
3600.07/3612.20 c inprocessing phases 0
3600.07/3612.20 c garbage collections 0 ,( -nan )
3600.07/3612.20 c input clauses 27372 ,( 97.94 )
3600.07/3612.20 c input cardinalities 278 ,( 0.99 )
3600.07/3612.20 c input general constraints 299 ,( 1.07 )
3600.07/3612.20 c input average constraint length 26.46
3600.07/3612.20 c input average constraint degree 17134622454.42
3600.07/3612.20 c learned clauses 291 ,( 99.66 )
3600.07/3612.20 c learned cardinalities 0 ,( 0.00 )
3600.07/3612.20 c learned general constraints 1 ,( 0.34 )
3600.07/3612.20 c learned average constraint length 2.82
3600.07/3612.20 c learned average constraint degree 1.01
3600.07/3612.20 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3612.20 c counting CF 32, 64, 128, Arb: 47 , 254 , 0 , 0
3600.07/3612.20 c watched constraints 0 ,( 0.00 )
3600.07/3612.20 c counting constraints 300 ,( 100.00 )
3600.07/3612.20 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 341599 , 1928 , 2750642 ,( 0 , 2750642 )
3600.07/3612.20 c gcd simplifications 0
3600.07/3612.20 c detected cardinalities 0
3600.07/3612.20 c weakened non-implied lits 0
3600.07/3612.20 c weakened non-implying lits 0
3600.07/3612.20 c original variables 6548
3600.07/3612.20 c clausal propagations 335001
3600.07/3612.20 c cardinality propagations 257
3600.07/3612.20 c watched propagations 0
3600.07/3612.20 c counting propagations 56301
3600.07/3612.20 c watch lookups 6597420
3600.07/3612.20 c watch backjump lookups 0
3600.07/3612.20 c watch checks 149544
3600.07/3612.20 c propagation checks 405259
3600.07/3612.20 c constraint additions 7861
3600.07/3612.20 c trail pops 1936996
3600.07/3612.20 c formula constraints 27064
3600.07/3612.20 c learned constraints 292
3600.07/3612.20 c bound constraints 0
3600.07/3612.20 c core-guided constraints 0
3600.07/3612.20 c encountered formula constraints 289
3600.07/3612.20 c encountered learned constraints 0
3600.07/3612.20 c encountered bound constraints 0
3600.07/3612.20 c encountered core-guided constraints 0
3600.07/3612.20 c LP total time 0.101913 s
3600.07/3612.20 c LP solve time 0.09 s
3600.07/3612.20 c LP constraints added 27064
3600.07/3612.20 c LP constraints removed 0
3600.07/3612.20 c LP pivots internal 1554
3600.07/3612.20 c LP pivots root 1000
3600.07/3612.20 c LP calls 2
3600.07/3612.20 c LP optimalities 1
3600.07/3612.20 c LP no pivot count 0
3600.07/3612.20 c LP infeasibilities 0
3600.07/3612.20 c LP valid Farkas constraints 0
3600.07/3612.20 c LP learned Farkas constraints 0
3600.07/3612.20 c LP basis resets 0
3600.07/3612.20 c LP cycling count 0
3600.07/3612.20 c LP singular count 0
3600.07/3612.20 c LP no primal count 0
3600.07/3612.20 c LP no farkas count 0
3600.07/3612.20 c LP other issue count 0
3600.07/3612.20 c LP Gomory cuts 0
3600.07/3612.20 c LP learned cuts 0
3600.07/3612.20 c LP deleted cuts 0
3600.07/3612.20 c LP encountered Gomory constraints 0
3600.07/3612.20 c LP encountered Farkas constraints 0
3600.07/3612.20 c LP encountered learned Farkas constraints 0
3600.07/3612.20 c CG auxiliary variables introduced 295
3600.07/3612.20 c CG solutions found 0
3600.07/3612.20 c CG cores constructed 414
3600.07/3612.20 c CG core cardinality constraints returned 0
3600.07/3612.20 c CG unit cores 122
3600.07/3612.20 c CG single cores 0
3600.07/3612.20 c CG blocks removed during cardinality reduction 0
3600.07/3612.20 c CG first core best 0
3600.07/3612.20 c CG decision core best 0
3600.07/3612.20 c CG core reduction tie 0
3600.07/3612.20 c CG core degree average 0.00
3600.07/3612.20 c CG core slack average 0.00
3600.07/3612.20 c CG core upper bound improvements 0
3600.07/3612.20 c STR number of successful calls 0
3600.07/3612.20 c STR number of unsuccessful calls 0
3600.07/3612.20 c STR number of inconclusive calls 0
3600.07/3612.20 c STR number of successful attempts 0
3600.07/3612.20 c STR number of unsuccessful attempts 0
3600.07/3612.20 c STR number of inconclusive attempts 0
3600.07/3612.20 c STR average degree increase per successful call inf
3600.07/3612.20 c STR average degree increase per successful attempt inf
3600.07/3612.20 c STR total number of conflicts for successful attempts 0
3600.07/3612.20 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3612.20 c STR total number of conflicts for inconclusive attempts 0
3600.07/3612.20 c STR average number of conflicts per successful attempt inf
3600.07/3612.20 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3612.20 c STR average number of conflicts per inconclusive attempt inf
3600.07/3612.20 c AVG.sumWPerc 100.00
3600.07/3612.20 c bigint constraints 254
3600.07/3612.20 s UNKNOWN
3600.07/3612.20 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62149 MiB free)
memory of node 1: 64465 MiB (63284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500408-1751419668/watcher-4500408-1751419668 -o /tmp/evaluation-result-4500408-1751419668/solver-4500408-1751419668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751419668-61263 --watchdog 3760 run-opt.sh HOME/instance-4500408-1751419668.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=61308, runsolver pid=61302
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 0.34 0.87 1.30 5/271 61325
/proc/meminfo: memFree=128424044/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=73140 memory=24688 CPUtime=0.08 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 3715 0 0 0 6 2 0 0 20 0 1 0 57644342 74895360 6172 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 18285 6172 2240 1147 0 5712 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 77332 KiB
Current children cumulated memory: 27760 KiB
[startup+0.205845 s]*
/proc/loadavg: 0.34 0.87 1.30 4/268 61325
/proc/meminfo: memFree=128385052/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=98568 memory=47528 CPUtime=0.18 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 7984 0 0 0 15 3 0 0 20 0 1 0 57644342 100933632 11882 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 24642 11882 2368 1147 0 12069 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 102760 KiB
Current children cumulated memory: 50600 KiB
[startup+0.305572 s]*
/proc/loadavg: 0.34 0.87 1.30 4/266 61333
/proc/meminfo: memFree=128419348/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=98568 memory=47528 CPUtime=0.28 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 7990 0 0 0 21 7 0 0 20 0 1 0 57644342 100933632 11882 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 24642 11882 2368 1147 0 12069 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 102760 KiB
Current children cumulated memory: 50600 KiB
[startup+0.700155 s]
/proc/loadavg: 0.34 0.87 1.30 3/261 61341
/proc/meminfo: memFree=128406484/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=109668 memory=58920 CPUtime=0.66 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 10834 0 0 0 36 30 0 0 20 0 1 0 57644342 112300032 14730 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 27417 14730 2368 1147 0 14844 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 113860 KiB
Current children cumulated memory: 61992 KiB
[startup+1.50016 s]
/proc/loadavg: 0.34 0.87 1.30 3/261 61341
/proc/meminfo: memFree=128365344/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=126460 memory=78912 CPUtime=1.47 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 15312 0 0 0 81 66 0 0 20 0 1 0 57644342 129495040 19728 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 31615 19728 2368 1147 0 19042 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 130652 KiB
Current children cumulated memory: 81984 KiB
[startup+3.10519 s]
/proc/loadavg: 0.71 0.94 1.32 2/252 61433
/proc/meminfo: memFree=128336496/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=191908 memory=135796 CPUtime=3.07 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 24954 0 0 0 199 108 0 0 20 0 1 0 57644342 196513792 33949 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 47977 33949 2368 1147 0 35404 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 196100 KiB
Current children cumulated memory: 138868 KiB
[startup+6.3002 s]
/proc/loadavg: 0.71 0.94 1.32 2/251 61433
/proc/meminfo: memFree=128286184/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=282680 memory=201628 CPUtime=6.25 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 38349 0 0 0 498 127 0 0 20 0 1 0 57644342 289464320 50407 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 70670 50407 2368 1147 0 58097 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 286872 KiB
Current children cumulated memory: 204700 KiB
[startup+12.7002 s]
/proc/loadavg: 0.76 0.94 1.31 2/251 61434
/proc/meminfo: memFree=128252196/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=322788 memory=251768 CPUtime=12.63 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 47314 0 0 0 1112 151 0 0 20 0 1 0 57644342 330534912 62942 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 80697 62942 2368 1147 0 68124 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 326980 KiB
Current children cumulated memory: 254840 KiB
[startup+25.5002 s]
/proc/loadavg: 0.80 0.95 1.31 2/251 61434
/proc/meminfo: memFree=128219812/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=427344 memory=312920 CPUtime=25.41 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 60555 0 0 0 2365 176 0 0 20 0 1 0 57644342 437600256 78230 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 106836 78230 2368 1147 0 94263 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 431536 KiB
Current children cumulated memory: 315992 KiB
[startup+51.1053 s]
/proc/loadavg: 0.93 0.97 1.30 2/251 61434
/proc/meminfo: memFree=128102320/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=563456 memory=444700 CPUtime=50.94 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 83065 0 0 0 4897 197 0 0 20 0 1 0 57644342 576978944 111175 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 140864 111175 2368 1147 0 128291 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 567648 KiB
Current children cumulated memory: 447772 KiB
[startup+102.3 s]
/proc/loadavg: 1.03 0.99 1.29 2/250 61437
/proc/meminfo: memFree=127921084/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=784372 memory=646232 CPUtime=101.99 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 118127 0 0 0 9967 232 0 0 20 0 1 0 57644342 803196928 161558 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 196093 161558 2368 1147 0 183520 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 788564 KiB
Current children cumulated memory: 649304 KiB
[startup+162.3 s]
/proc/loadavg: 1.05 1.01 1.27 2/250 61439
/proc/meminfo: memFree=127923276/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=786676 memory=647512 CPUtime=161.79 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 118496 0 0 0 15934 245 0 0 20 0 1 0 57644342 805556224 161878 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 196669 161878 2368 1147 0 184096 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 790868 KiB
Current children cumulated memory: 650584 KiB
[startup+222.3 s]
/proc/loadavg: 1.08 1.02 1.26 2/250 61442
/proc/meminfo: memFree=127743016/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=962808 memory=823884 CPUtime=221.54 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 151866 0 0 0 21897 257 0 0 20 0 1 0 57644342 985915392 205971 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 240702 205971 2368 1147 0 228129 0
################
# More data... #
################
/proc/61310/statm: 714208 567853 2368 1147 0 701635 0
Current children cumulated CPU time: 3032.21 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2274484 KiB
[startup+3102.3 s]
/proc/loadavg: 1.14 1.11 1.09 2/245 61591
/proc/meminfo: memFree=126211312/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2335132 CPUtime=3091.99 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 346827 0 0 0 308711 488 0 0 20 0 1 0 57644342 2925395968 583783 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 583783 2368 1147 0 701635 0
Current children cumulated CPU time: 3091.99 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2338204 KiB
[startup+3162.3 s]
/proc/loadavg: 1.11 1.10 1.09 2/245 61593
/proc/meminfo: memFree=126161160/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2384792 CPUtime=3151.78 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 348479 0 0 0 314688 490 0 0 20 0 1 0 57644342 2925395968 596198 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 596198 2368 1147 0 701635 0
Current children cumulated CPU time: 3151.78 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2387864 KiB
[startup+3222.3 s]
/proc/loadavg: 1.16 1.11 1.09 2/245 61595
/proc/meminfo: memFree=126107988/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2441572 CPUtime=3211.57 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 350326 0 0 0 320663 494 0 0 20 0 1 0 57644342 2925395968 610393 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 610393 2368 1147 0 701635 0
Current children cumulated CPU time: 3211.57 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2444644 KiB
[startup+3282.3 s]
/proc/loadavg: 1.12 1.10 1.09 2/246 61600
/proc/meminfo: memFree=126068604/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2477808 CPUtime=3271.35 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 351182 0 0 0 326639 496 0 0 20 0 1 0 57644342 2925395968 619452 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 619452 2368 1147 0 701635 0
Current children cumulated CPU time: 3271.35 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2480880 KiB
[startup+3342.3 s]
/proc/loadavg: 1.09 1.10 1.09 2/246 61602
/proc/meminfo: memFree=126035108/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2513400 CPUtime=3331.14 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 351553 0 0 0 332615 499 0 0 20 0 1 0 57644342 2925395968 628350 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 628350 2368 1147 0 701635 0
Current children cumulated CPU time: 3331.14 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2516472 KiB
[startup+3402.3 s]
/proc/loadavg: 1.15 1.11 1.09 2/246 61604
/proc/meminfo: memFree=126004236/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2539256 CPUtime=3390.92 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 351556 0 0 0 338591 501 0 0 20 0 1 0 57644342 2925395968 634814 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 634814 2368 1147 0 701635 0
Current children cumulated CPU time: 3390.92 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2542328 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.10 1.09 2/246 61606
/proc/meminfo: memFree=126002228/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2539256 CPUtime=3450.7 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 352062 0 0 0 344567 503 0 0 20 0 1 0 57644342 2925395968 634814 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 634814 2368 1147 0 701635 0
Current children cumulated CPU time: 3450.7 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2542328 KiB
[startup+3522.3 s]
/proc/loadavg: 1.08 1.10 1.09 2/246 61608
/proc/meminfo: memFree=125998728/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2539256 CPUtime=3510.47 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 352498 0 0 0 350542 505 0 0 20 0 1 0 57644342 2925395968 634814 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 634814 2368 1147 0 701635 0
Current children cumulated CPU time: 3510.47 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2542328 KiB
[startup+3582.3 s]
/proc/loadavg: 1.13 1.11 1.09 2/245 61610
/proc/meminfo: memFree=125999452/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2539256 CPUtime=3570.26 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 352521 0 0 0 356518 508 0 0 20 0 1 0 57644342 2925395968 634814 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 634814 2368 1147 0 701635 0
Current children cumulated CPU time: 3570.26 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2542328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.2 s]
/proc/loadavg: 1.08 1.09 1.09 2/246 61616
/proc/meminfo: memFree=126000052/131249988 swapFree=33010672/33010684
[pid=61308] ppid=61302 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/61308/stat : 61308 (run-opt.sh) S 61302 61308 59515 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57644341 4292608 768 18446744073709551615 93974990938112 93974991832645 140723913395088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93974992071696 93974992119440 93975018594304 140723913402733 140723913402856 140723913402856 140723913408458 0
/proc/61308/statm: 1048 768 704 219 0 110 0
[pid=61310] ppid=61308 vsize=2856832 memory=2539256 CPUtime=3600.07 cores=4,6
/proc/61310/stat : 61310 (roundingsat) R 61308 61308 59515 0 -1 4194304 352521 0 0 0 359497 510 0 0 20 0 1 0 57644342 2925395968 634814 18446744073709551615 4227072 8923433 140733449956064 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 16003072 140733449963938 140733449964072 140733449964072 140733449969642 0
/proc/61310/statm: 714208 634814 2368 1147 0 701635 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 2861024 KiB
Current children cumulated memory: 2542328 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.2 s]
# the end of solver process 61308 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000747 s, system=0.001598 s
[startup+3612.22 s]
# the end of solver process 61310 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.98 s, system=5.11817 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3612.22
CPU time (s): 3600.09
CPU user time (s): 3594.98
CPU system time (s): 5.11817
CPU usage (%): 99.6644
Max. virtual memory (cumulated for all children) (KiB): 2861024
Max. memory (cumulated for all children) (KiB): 2542328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.98
system time used= 5.11817
maximum resident set size= 2539768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 352752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 318
involuntary context switches= 19814
# summary of solver processes directly reported to runsolver:
# pid: 61308,61310
# total CPU time (s): 3600.09
# total CPU user time (s): 3594.98
# total CPU system time (s): 5.11817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00804 second user time and 15.8117 second system time
The end
Begin job on nodeC020 at 2025-07-02 03:27:48
IDJOB=4500408
IDBENCH=150894
IDSOLVER=3350
FILE ID=nodeC020/4500408-1751419668
RUNJOBID= nodeC020-1751419668-61263
SLURM_JOB_ID= 9598327
Free space on /tmp= 432244 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500408-1751419668/watcher-4500408-1751419668 -o /tmp/evaluation-result-4500408-1751419668/solver-4500408-1751419668 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751419668-61263 --watchdog 3760 run-opt.sh HOME/instance-4500408-1751419668.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cecbea88197e96b895758f934fbddac6
RANDOM SEED=907520384
nodeC020 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 : 3602.427
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.79
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 : 3603.363
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.79
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 : 3599.893
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.79
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.888
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.310
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.79
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 : 3599.922
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.79
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.928
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.79
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.748
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.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 128445880 kB
MemAvailable: 129595812 kB
Buffers: 2128 kB
Cached: 1953452 kB
SwapCached: 8 kB
Active: 515668 kB
Inactive: 1515620 kB
Active(anon): 71244 kB
Inactive(anon): 22512 kB
Active(file): 444424 kB
Inactive(file): 1493108 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010672 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31088 kB
Writeback: 0 kB
AnonPages: 79084 kB
Mapped: 103212 kB
Shmem: 18048 kB
KReclaimable: 103276 kB
Slab: 192892 kB
SReclaimable: 103276 kB
SUnreclaim: 89616 kB
KernelStack: 4032 kB
PageTables: 2536 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 340300 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150440 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432212 MiB
End job on nodeC020 at 2025-07-02 04:28:00