0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.28/0.41 c #variables 6548 #constraints 27064
0.28/0.41 c objective is ce64
0.38/0.43 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.38/0.43 c initial counting CF 32, 64, 128, Arb: 0 , 1 , 0 , 0
0.38/0.43 c GLOBAL bounds - >= 0 @ 0.312123
0.38/0.45 c GLOBAL bounds - >= 0 @ 0.326518
0.38/0.45 c GLOBAL bounds - >= 32 @ 0.326757
0.65/0.73 c GLOBAL bounds - >= 32 @ 0.584583
0.65/0.75 c GLOBAL bounds - >= 32 @ 0.593406
0.65/0.75 c GLOBAL bounds - >= 32 @ 0.594118
0.65/0.77 c GLOBAL bounds - >= 32 @ 0.604545
0.65/0.77 c GLOBAL bounds - >= 32 @ 0.605194
0.65/0.78 c GLOBAL bounds - >= 32 @ 0.613435
0.65/0.78 c GLOBAL bounds - >= 32 @ 0.61402
0.76/0.80 c GLOBAL bounds - >= 32 @ 0.620541
0.76/0.80 c GLOBAL bounds - >= 32 @ 0.621176
0.76/0.82 c GLOBAL bounds - >= 32 @ 0.625291
0.76/0.82 c GLOBAL bounds - >= 32 @ 0.626034
0.76/0.83 c GLOBAL bounds - >= 32 @ 0.630186
0.76/0.83 c GLOBAL bounds - >= 32 @ 0.630501
0.76/0.84 c GLOBAL bounds - >= 32 @ 0.636192
0.76/0.85 c GLOBAL bounds - >= 32 @ 0.637198
0.76/0.86 c GLOBAL bounds - >= 32 @ 0.642488
0.76/0.86 c GLOBAL bounds - >= 32 @ 0.643939
0.76/0.87 c GLOBAL bounds - >= 32 @ 0.648066
0.76/0.87 c GLOBAL bounds - >= 32 @ 0.649527
0.76/0.89 c GLOBAL bounds - >= 32 @ 0.655869
0.85/0.90 c GLOBAL bounds - >= 32 @ 0.664328
0.85/0.90 c GLOBAL bounds - >= 32 @ 0.666492
0.85/0.92 c GLOBAL bounds - >= 32 @ 0.672671
0.85/0.93 c GLOBAL bounds - >= 32 @ 0.678568
0.85/0.94 c GLOBAL bounds - >= 32 @ 0.685975
0.85/0.94 c GLOBAL bounds - >= 3548879403 @ 0.686071
0.85/0.95 c GLOBAL bounds - >= 3548879403 @ 0.688082
0.85/0.95 c GLOBAL bounds - >= 3548879403 @ 0.688206
0.85/0.95 c GLOBAL bounds - >= 3548879403 @ 0.688525
0.85/0.96 c GLOBAL bounds - >= 3548879403 @ 0.69577
0.85/0.96 c GLOBAL bounds - >= 3548879403 @ 0.696172
0.85/0.98 c GLOBAL bounds - >= 3548879403 @ 0.70402
0.85/0.98 c GLOBAL bounds - >= 3548879403 @ 0.704191
0.85/0.99 c GLOBAL bounds - >= 3548879403 @ 0.710528
0.85/0.99 c GLOBAL bounds - >= 3548879403 @ 0.711147
0.85/1.00 c GLOBAL bounds - >= 3548879403 @ 0.717302
0.85/1.00 c GLOBAL bounds - >= 3548879403 @ 0.718111
0.97/1.02 c GLOBAL bounds - >= 3548879403 @ 0.725263
0.97/1.02 c GLOBAL bounds - >= 3548879403 @ 0.726076
0.97/1.03 c GLOBAL bounds - >= 3548879403 @ 0.733224
0.97/1.03 c GLOBAL bounds - >= 3548879403 @ 0.734041
0.97/1.04 c GLOBAL bounds - >= 3548879403 @ 0.74018
0.97/1.04 c GLOBAL bounds - >= 3548879403 @ 0.741066
0.97/1.05 c GLOBAL bounds - >= 3548879403 @ 0.749155
0.97/1.05 c GLOBAL bounds - >= 3548879403 @ 0.749903
0.97/1.07 c GLOBAL bounds - >= 3548879403 @ 0.759125
0.97/1.07 c GLOBAL bounds - >= 3548879403 @ 0.759914
0.97/1.08 c GLOBAL bounds - >= 3548879403 @ 0.765089
0.97/1.09 c GLOBAL bounds - >= 3548879403 @ 0.769899
0.97/1.09 c GLOBAL bounds - >= 3572074695 @ 0.770016
0.97/1.10 c GLOBAL bounds - >= 3572074695 @ 0.775662
0.97/1.11 c GLOBAL bounds - >= 3572074695 @ 0.779954
0.97/1.11 c GLOBAL bounds - >= 3572074695 @ 0.780814
1.07/1.12 c GLOBAL bounds - >= 3572074695 @ 0.787954
1.07/1.12 c GLOBAL bounds - >= 3572074695 @ 0.788829
1.07/1.13 c GLOBAL bounds - >= 3572074695 @ 0.795202
1.07/1.14 c GLOBAL bounds - >= 3572074695 @ 0.795668
1.07/1.15 c GLOBAL bounds - >= 3572074695 @ 0.800501
1.07/1.15 c GLOBAL bounds - >= 3572074695 @ 0.800649
1.07/1.16 c GLOBAL bounds - >= 3572074695 @ 0.804533
1.07/1.16 c GLOBAL bounds - >= 3572074695 @ 0.805406
1.07/1.17 c GLOBAL bounds - >= 3572074695 @ 0.811618
1.07/1.17 c GLOBAL bounds - >= 3572074695 @ 0.812504
1.07/1.19 c GLOBAL bounds - >= 3572074695 @ 0.817542
1.07/1.19 c GLOBAL bounds - >= 3572074695 @ 0.818453
1.15/1.20 c GLOBAL bounds - >= 3572074695 @ 0.823852
1.15/1.20 c GLOBAL bounds - >= 3572074695 @ 0.824513
1.15/1.21 c GLOBAL bounds - >= 3572074695 @ 0.82905
1.15/1.22 c GLOBAL bounds - >= 3572074695 @ 0.82986
1.15/1.23 c GLOBAL bounds - >= 3572074695 @ 0.837499
1.15/1.24 c GLOBAL bounds - >= 3572074695 @ 0.842143
1.15/1.24 c GLOBAL bounds - >= 3595269984 @ 0.842259
1.15/1.24 c GLOBAL bounds - >= 3595269984 @ 0.848413
1.15/1.26 c GLOBAL bounds - >= 3595269984 @ 0.853119
1.15/1.26 c GLOBAL bounds - >= 3595269984 @ 0.853396
1.15/1.27 c GLOBAL bounds - >= 3595269984 @ 0.857593
1.15/1.27 c GLOBAL bounds - >= 3595269984 @ 0.858376
1.15/1.28 c GLOBAL bounds - >= 3595269984 @ 0.863972
1.15/1.28 c GLOBAL bounds - >= 3595269984 @ 0.864355
1.15/1.30 c GLOBAL bounds - >= 3595269984 @ 0.869385
1.25/1.30 c GLOBAL bounds - >= 3595269984 @ 0.870301
1.25/1.31 c GLOBAL bounds - >= 3595269984 @ 0.877764
1.25/1.31 c GLOBAL bounds - >= 3595269984 @ 0.878286
1.25/1.32 c GLOBAL bounds - >= 3595269984 @ 0.883879
1.25/1.32 c GLOBAL bounds - >= 3595269984 @ 0.884268
1.25/1.33 c GLOBAL bounds - >= 3595269984 @ 0.887282
1.25/1.33 c GLOBAL bounds - >= 3595269984 @ 0.888407
1.25/1.34 c GLOBAL bounds - >= 3595269984 @ 0.893896
1.25/1.34 c GLOBAL bounds - >= 3595269984 @ 0.894199
1.25/1.35 c GLOBAL bounds - >= 3595269984 @ 0.899733
1.25/1.35 c GLOBAL bounds - >= 3595269984 @ 0.901064
1.25/1.36 c GLOBAL bounds - >= 3595269984 @ 0.906695
1.25/1.37 c GLOBAL bounds - >= 3595269984 @ 0.911019
1.25/1.37 c GLOBAL bounds - >= 3616145745 @ 0.912462
1.25/1.38 c GLOBAL bounds - >= 3616145745 @ 0.916131
1.25/1.38 c GLOBAL bounds - >= 3616145745 @ 0.918168
1.25/1.39 c GLOBAL bounds - >= 3616145745 @ 0.921626
1.25/1.39 c GLOBAL bounds - >= 3616145745 @ 0.922816
1.35/1.40 c GLOBAL bounds - >= 3616145745 @ 0.92615
1.35/1.41 c GLOBAL bounds - >= 3616145745 @ 0.927093
1.35/1.42 c GLOBAL bounds - >= 3616145745 @ 0.932759
1.35/1.42 c GLOBAL bounds - >= 3616145745 @ 0.932952
1.35/1.43 c GLOBAL bounds - >= 3616145745 @ 0.938526
1.35/1.43 c GLOBAL bounds - >= 3616145745 @ 0.940058
1.35/1.44 c GLOBAL bounds - >= 3616145745 @ 0.943854
1.35/1.44 c GLOBAL bounds - >= 3616145745 @ 0.944048
1.35/1.45 c GLOBAL bounds - >= 3616145745 @ 0.949607
1.35/1.45 c GLOBAL bounds - >= 3616145745 @ 0.949726
1.35/1.46 c GLOBAL bounds - >= 3616145745 @ 0.955976
1.35/1.46 c GLOBAL bounds - >= 3616145745 @ 0.956181
1.35/1.47 c GLOBAL bounds - >= 3616145745 @ 0.959678
1.35/1.47 c GLOBAL bounds - >= 3616145745 @ 0.960731
1.35/1.48 c GLOBAL bounds - >= 3616145745 @ 0.964424
1.35/1.48 c GLOBAL bounds - >= 3616145745 @ 0.964995
1.35/1.49 c GLOBAL bounds - >= 3616145745 @ 0.967786
1.45/1.50 c GLOBAL bounds - >= 3616145764 @ 0.973789
1.45/1.51 c GLOBAL bounds - >= 3616145764 @ 0.978935
1.45/1.52 c GLOBAL bounds - >= 3616145764 @ 0.982999
1.45/1.52 c GLOBAL bounds - >= 3616145764 @ 0.984912
1.45/1.53 c GLOBAL bounds - >= 3616145764 @ 0.986866
1.45/1.53 c GLOBAL bounds - >= 3616145764 @ 0.986866
1.45/1.54 c GLOBAL bounds - >= 3616145764 @ 0.991545
1.45/1.54 c GLOBAL bounds - >= 3616145764 @ 0.992886
1.45/1.55 c GLOBAL bounds - >= 3616145764 @ 0.996971
1.45/1.55 c GLOBAL bounds - >= 3616145764 @ 0.998151
1.45/1.56 c GLOBAL bounds - >= 3616145764 @ 1.00451
1.45/1.56 c GLOBAL bounds - >= 3616145764 @ 1.00581
1.45/1.57 c GLOBAL bounds - >= 3616145764 @ 1.01201
1.45/1.57 c GLOBAL bounds - >= 3616145764 @ 1.01379
1.45/1.58 c GLOBAL bounds - >= 3616145764 @ 1.0183
1.45/1.59 c GLOBAL bounds - >= 3616145764 @ 1.01948
1.45/1.60 c GLOBAL bounds - >= 3616145764 @ 1.0248
1.55/1.60 c GLOBAL bounds - >= 3616145764 @ 1.026
1.55/1.61 c GLOBAL bounds - >= 3616145764 @ 1.03135
1.55/1.61 c GLOBAL bounds - >= 3616145764 @ 1.03172
1.55/1.62 c GLOBAL bounds - >= 3616145764 @ 1.03516
1.55/1.63 c GLOBAL bounds - >= 3616145764 @ 1.03829
1.55/1.63 c GLOBAL bounds - >= 3616145764 @ 1.04268
1.55/1.65 c GLOBAL bounds - >= 3616145794 @ 1.05547
1.55/1.65 c GLOBAL bounds - >= 3616145794 @ 1.0586
1.55/1.65 c GLOBAL bounds - >= 3616145794 @ 1.0596
1.55/1.66 c GLOBAL bounds - >= 3616145794 @ 1.06425
1.55/1.66 c GLOBAL bounds - >= 3616145794 @ 1.06457
1.55/1.67 c GLOBAL bounds - >= 3616145794 @ 1.06756
1.55/1.67 c GLOBAL bounds - >= 3616145794 @ 1.06756
1.55/1.68 c GLOBAL bounds - >= 3616145794 @ 1.07168
1.55/1.69 c GLOBAL bounds - >= 3616145794 @ 1.07353
1.55/1.69 c GLOBAL bounds - >= 3616145794 @ 1.07729
1.55/1.70 c GLOBAL bounds - >= 3616145794 @ 1.07751
1.65/1.71 c GLOBAL bounds - >= 3616145794 @ 1.08103
1.65/1.71 c GLOBAL bounds - >= 3616145794 @ 1.08249
1.65/1.72 c GLOBAL bounds - >= 3616145794 @ 1.08738
1.65/1.72 c GLOBAL bounds - >= 3616145794 @ 1.08865
1.65/1.73 c GLOBAL bounds - >= 3616145794 @ 1.09592
1.65/1.73 c GLOBAL bounds - >= 3616145794 @ 1.09742
1.65/1.74 c GLOBAL bounds - >= 3616145794 @ 1.10142
1.65/1.74 c GLOBAL bounds - >= 3616145794 @ 1.10364
1.65/1.75 c GLOBAL bounds - >= 3616145794 @ 1.10703
1.65/1.75 c GLOBAL bounds - >= 3616145794 @ 1.10836
1.65/1.76 c GLOBAL bounds - >= 3616145794 @ 1.1155
1.65/1.77 c GLOBAL bounds - >= 3616145794 @ 1.11773
1.65/1.79 c GLOBAL bounds - >= 3616145803 @ 1.13522
1.65/1.79 c GLOBAL bounds - >= 3616145803 @ 1.14002
1.75/1.80 c GLOBAL bounds - >= 3616145803 @ 1.1422
1.75/1.80 c GLOBAL bounds - >= 3616145803 @ 1.14293
1.75/1.81 c GLOBAL bounds - >= 3616145803 @ 1.14563
1.75/1.82 c GLOBAL bounds - >= 3616145803 @ 1.14782
1.75/1.82 c GLOBAL bounds - >= 3616145803 @ 1.15352
1.75/1.83 c GLOBAL bounds - >= 3616145803 @ 1.15409
1.75/1.83 c GLOBAL bounds - >= 3616145803 @ 1.15713
1.75/1.83 c GLOBAL bounds - >= 3616145803 @ 1.15808
1.75/1.84 c GLOBAL bounds - >= 3616145803 @ 1.16181
1.75/1.84 c GLOBAL bounds - >= 3616145803 @ 1.16206
1.75/1.85 c GLOBAL bounds - >= 3616145803 @ 1.16521
1.75/1.85 c GLOBAL bounds - >= 3616145803 @ 1.16607
1.75/1.86 c GLOBAL bounds - >= 3616145803 @ 1.16883
1.75/1.86 c GLOBAL bounds - >= 3616145803 @ 1.16957
1.75/1.87 c GLOBAL bounds - >= 3616145803 @ 1.17439
1.75/1.87 c GLOBAL bounds - >= 3616145803 @ 1.17608
1.75/1.88 c GLOBAL bounds - >= 3616145803 @ 1.18083
1.75/1.88 c GLOBAL bounds - >= 3616145803 @ 1.18099
1.75/1.89 c GLOBAL bounds - >= 3616145803 @ 1.18423
1.75/1.90 c GLOBAL bounds - >= 3616145803 @ 1.18598
1.84/1.90 c GLOBAL bounds - >= 3616145803 @ 1.18848
1.84/1.96 c GLOBAL bounds - >= 3616145811 @ 1.24509
1.84/1.97 c GLOBAL bounds - >= 3616145811 @ 1.2501
1.84/1.97 c GLOBAL bounds - >= 3616145811 @ 1.25091
1.84/1.97 c GLOBAL bounds - >= 3616145811 @ 1.25327
1.84/1.98 c GLOBAL bounds - >= 3616145811 @ 1.25464
1.84/1.98 c GLOBAL bounds - >= 3616145811 @ 1.25709
1.84/1.98 c GLOBAL bounds - >= 3616145811 @ 1.25778
1.84/1.99 c GLOBAL bounds - >= 3616145811 @ 1.26145
1.84/1.99 c GLOBAL bounds - >= 3616145811 @ 1.26219
1.84/2.00 c GLOBAL bounds - >= 3616145811 @ 1.26504
1.84/2.00 c GLOBAL bounds - >= 3616145811 @ 1.26558
1.96/2.01 c GLOBAL bounds - >= 3616145811 @ 1.27065
1.96/2.01 c GLOBAL bounds - >= 3616145811 @ 1.27155
1.96/2.02 c GLOBAL bounds - >= 3616145811 @ 1.27731
1.96/2.02 c GLOBAL bounds - >= 3616145811 @ 1.27852
1.96/2.03 c GLOBAL bounds - >= 3616145811 @ 1.28089
1.96/2.03 c GLOBAL bounds - >= 3616145811 @ 1.28167
1.96/2.04 c GLOBAL bounds - >= 3616145811 @ 1.28488
1.96/2.04 c GLOBAL bounds - >= 3616145811 @ 1.28658
1.96/2.05 c GLOBAL bounds - >= 3616145811 @ 1.29035
1.96/2.05 c GLOBAL bounds - >= 3616145811 @ 1.29219
1.96/2.06 c GLOBAL bounds - >= 3616145811 @ 1.29496
1.96/2.06 c GLOBAL bounds - >= 3616145811 @ 1.29544
1.96/2.07 c GLOBAL bounds - >= 3616145811 @ 1.29644
1.96/2.09 c GLOBAL bounds - >= 3616145811 @ 1.31535
1.96/2.10 c GLOBAL bounds - >= 3616145811 @ 1.31612
2.06/2.12 c GLOBAL bounds - >= 3616145818 @ 1.33693
2.06/2.12 c GLOBAL bounds - >= 3616145818 @ 1.33983
2.06/2.13 c GLOBAL bounds - >= 3616145818 @ 1.3432
2.06/2.13 c GLOBAL bounds - >= 3616145818 @ 1.34425
2.06/2.14 c GLOBAL bounds - >= 3616145818 @ 1.34541
2.06/2.14 c GLOBAL bounds - >= 3616145818 @ 1.34624
2.06/2.14 c GLOBAL bounds - >= 3616145818 @ 1.34654
2.06/2.15 c GLOBAL bounds - >= 3616145818 @ 1.34837
2.06/2.15 c GLOBAL bounds - >= 3616145818 @ 1.35122
2.06/2.15 c GLOBAL bounds - >= 3616145818 @ 1.35156
2.06/2.16 c GLOBAL bounds - >= 3616145818 @ 1.35928
2.06/2.16 c GLOBAL bounds - >= 3616145818 @ 1.36021
2.06/2.17 c GLOBAL bounds - >= 3616145818 @ 1.36501
2.06/2.17 c GLOBAL bounds - >= 3616145818 @ 1.36514
2.06/2.18 c GLOBAL bounds - >= 3616145818 @ 1.36767
2.06/2.18 c GLOBAL bounds - >= 3616145818 @ 1.36912
2.06/2.19 c GLOBAL bounds - >= 3616145818 @ 1.3721
2.06/2.19 c GLOBAL bounds - >= 3616145818 @ 1.37311
2.14/2.20 c GLOBAL bounds - >= 3616145818 @ 1.37869
2.14/2.20 c GLOBAL bounds - >= 3616145818 @ 1.37909
2.14/2.21 c GLOBAL bounds - >= 3616145818 @ 1.38331
2.14/2.21 c GLOBAL bounds - >= 3616145818 @ 1.38613
2.14/2.22 c GLOBAL bounds - >= 3616145818 @ 1.38806
2.14/2.28 c GLOBAL bounds - >= 3616145826 @ 1.4512
2.14/2.29 c GLOBAL bounds - >= 3616145826 @ 1.45476
2.14/2.29 c GLOBAL bounds - >= 3616145826 @ 1.45576
2.14/2.30 c GLOBAL bounds - >= 3616145826 @ 1.45646
2.25/2.30 c GLOBAL bounds - >= 3616145826 @ 1.45883
2.25/2.30 c GLOBAL bounds - >= 3616145826 @ 1.45972
2.25/2.31 c GLOBAL bounds - >= 3616145826 @ 1.46154
2.25/2.31 c GLOBAL bounds - >= 3616145826 @ 1.46274
2.25/2.32 c GLOBAL bounds - >= 3616145826 @ 1.46595
2.25/2.32 c GLOBAL bounds - >= 3616145826 @ 1.46673
2.25/2.33 c GLOBAL bounds - >= 3616145826 @ 1.47095
2.25/2.33 c GLOBAL bounds - >= 3616145826 @ 1.47169
2.25/2.34 c GLOBAL bounds - >= 3616145826 @ 1.47373
2.25/2.34 c GLOBAL bounds - >= 3616145826 @ 1.47469
2.25/2.35 c GLOBAL bounds - >= 3616145826 @ 1.47656
2.25/2.35 c GLOBAL bounds - >= 3616145826 @ 1.47668
2.25/2.36 c GLOBAL bounds - >= 3616145826 @ 1.4784
2.25/2.36 c GLOBAL bounds - >= 3616145826 @ 1.47868
2.25/2.36 c GLOBAL bounds - >= 3616145826 @ 1.48125
2.25/2.37 c GLOBAL bounds - >= 3616145826 @ 1.48267
2.25/2.37 c GLOBAL bounds - >= 3616145826 @ 1.48431
2.25/2.38 c GLOBAL bounds - >= 3616145826 @ 1.48902
2.25/2.39 c GLOBAL bounds - >= 3616145826 @ 1.49362
2.34/2.47 c GLOBAL bounds - >= 3616145834 @ 1.5797
2.34/2.48 c GLOBAL bounds - >= 3616145834 @ 1.58333
2.34/2.48 c GLOBAL bounds - >= 3616145834 @ 1.58433
2.34/2.48 c GLOBAL bounds - >= 3616145834 @ 1.58458
2.34/2.49 c GLOBAL bounds - >= 3616145834 @ 1.58777
2.34/2.49 c GLOBAL bounds - >= 3616145834 @ 1.58854
2.45/2.50 c GLOBAL bounds - >= 3616145834 @ 1.59269
2.45/2.50 c GLOBAL bounds - >= 3616145834 @ 1.59347
2.45/2.51 c GLOBAL bounds - >= 3616145834 @ 1.59873
2.45/2.51 c GLOBAL bounds - >= 3616145834 @ 1.60038
2.45/2.52 c GLOBAL bounds - >= 3616145834 @ 1.60554
2.45/2.52 c GLOBAL bounds - >= 3616145834 @ 1.60632
2.45/2.53 c GLOBAL bounds - >= 3616145834 @ 1.60852
2.45/2.53 c GLOBAL bounds - >= 3616145834 @ 1.61023
2.45/2.53 c GLOBAL bounds - >= 3616145834 @ 1.6155
2.45/2.54 c GLOBAL bounds - >= 3616145834 @ 1.61625
2.45/2.54 c GLOBAL bounds - >= 3616145834 @ 1.61949
2.45/2.54 c GLOBAL bounds - >= 3616145834 @ 1.62024
2.45/2.55 c GLOBAL bounds - >= 3616145834 @ 1.62326
2.45/2.55 c GLOBAL bounds - >= 3616145834 @ 1.62423
2.45/2.56 c GLOBAL bounds - >= 3616145834 @ 1.6282
2.45/2.56 c GLOBAL bounds - >= 3616145834 @ 1.62922
2.45/2.57 c GLOBAL bounds - >= 3616145834 @ 1.63018
2.45/2.57 c GLOBAL bounds - >= 3616145834 @ 1.63143
2.45/2.58 c GLOBAL bounds - >= 3616145834 @ 1.63605
2.45/2.59 c GLOBAL bounds - >= 3616145834 @ 1.63718
2.45/2.59 c GLOBAL bounds - >= 3616145834 @ 1.64177
2.55/2.61 c GLOBAL bounds - >= 3616145834 @ 1.65413
2.55/2.62 c GLOBAL bounds - >= 3616145834 @ 1.66982
2.65/2.71 c GLOBAL bounds - >= 3616145840 @ 1.74997
2.65/2.71 c GLOBAL bounds - >= 3616145840 @ 1.75383
2.65/2.71 c GLOBAL bounds - >= 3616145840 @ 1.75408
2.65/2.72 c GLOBAL bounds - >= 3616145840 @ 1.75482
2.65/2.72 c GLOBAL bounds - >= 3616145840 @ 1.75583
2.65/2.72 c GLOBAL bounds - >= 3616145840 @ 1.75682
2.65/2.73 c GLOBAL bounds - >= 3616145840 @ 1.75882
2.65/2.73 c GLOBAL bounds - >= 3616145840 @ 1.75897
2.65/2.74 c GLOBAL bounds - >= 3616145840 @ 1.76191
2.65/2.74 c GLOBAL bounds - >= 3616145840 @ 1.76281
2.65/2.74 c GLOBAL bounds - >= 3616145840 @ 1.76481
2.65/2.75 c GLOBAL bounds - >= 3616145840 @ 1.76534
2.65/2.75 c GLOBAL bounds - >= 3616145840 @ 1.7687
2.65/2.76 c GLOBAL bounds - >= 3616145840 @ 1.76979
2.65/2.76 c GLOBAL bounds - >= 3616145840 @ 1.77274
2.65/2.76 c GLOBAL bounds - >= 3616145840 @ 1.77378
2.65/2.77 c GLOBAL bounds - >= 3616145840 @ 1.77473
2.65/2.77 c GLOBAL bounds - >= 3616145840 @ 1.77578
2.65/2.78 c GLOBAL bounds - >= 3616145840 @ 1.77971
2.65/2.78 c GLOBAL bounds - >= 3616145840 @ 1.78077
2.65/2.79 c GLOBAL bounds - >= 3616145840 @ 1.78468
2.65/2.79 c GLOBAL bounds - >= 3616145840 @ 1.78476
2.74/2.80 c GLOBAL bounds - >= 3616145840 @ 1.78766
2.74/2.80 c GLOBAL bounds - >= 3616145840 @ 1.78964
2.74/2.81 c GLOBAL bounds - >= 3616145840 @ 1.79172
2.74/2.81 c GLOBAL bounds - >= 3616145840 @ 1.79272
2.74/2.82 c GLOBAL bounds - >= 3616145840 @ 1.79592
2.74/2.82 c GLOBAL bounds - >= 3616145840 @ 1.7989
2.74/2.82 c GLOBAL bounds - >= 3616145840 @ 1.80188
2.74/2.83 c GLOBAL bounds - >= 3616145840 @ 1.80492
2.74/2.83 c GLOBAL bounds - >= 3616145840 @ 1.80783
2.74/2.87 c GLOBAL bounds - >= 3616145840 @ 1.83884
2.84/2.91 c GLOBAL bounds - >= 3616145843 @ 1.88055
2.84/2.91 c GLOBAL bounds - >= 3616145843 @ 1.88245
2.84/2.92 c GLOBAL bounds - >= 3616145843 @ 1.88345
2.84/2.92 c GLOBAL bounds - >= 3616145843 @ 1.88345
2.84/2.92 c GLOBAL bounds - >= 3616145843 @ 1.88512
2.84/2.92 c GLOBAL bounds - >= 3616145843 @ 1.88644
2.84/2.93 c GLOBAL bounds - >= 3616145843 @ 1.88787
2.84/2.93 c GLOBAL bounds - >= 3616145843 @ 1.8886
2.84/2.93 c GLOBAL bounds - >= 3616145843 @ 1.8916
2.84/2.94 c GLOBAL bounds - >= 3616145843 @ 1.89243
2.84/2.94 c GLOBAL bounds - >= 3616145843 @ 1.89443
2.84/2.94 c GLOBAL bounds - >= 3616145843 @ 1.89602
2.84/2.95 c GLOBAL bounds - >= 3616145843 @ 1.90004
2.84/2.95 c GLOBAL bounds - >= 3616145843 @ 1.90173
2.84/2.96 c GLOBAL bounds - >= 3616145843 @ 1.90775
2.84/2.96 c GLOBAL bounds - >= 3616145843 @ 1.90857
2.84/2.97 c GLOBAL bounds - >= 3616145843 @ 1.91148
2.84/2.97 c GLOBAL bounds - >= 3616145843 @ 1.91319
2.84/2.97 c GLOBAL bounds - >= 3616145843 @ 1.9162
2.84/2.98 c GLOBAL bounds - >= 3616145843 @ 1.91792
2.84/2.98 c GLOBAL bounds - >= 3616145843 @ 1.92225
2.84/2.98 c GLOBAL bounds - >= 3616145843 @ 1.92404
2.84/2.99 c GLOBAL bounds - >= 3616145843 @ 1.92633
2.84/2.99 c GLOBAL bounds - >= 3616145843 @ 1.92637
2.84/3.00 c GLOBAL bounds - >= 3616145843 @ 1.9304
2.84/3.01 c GLOBAL bounds - >= 3616145843 @ 1.9334
2.95/3.01 c GLOBAL bounds - >= 3616145843 @ 1.93654
2.95/3.06 c GLOBAL bounds - >= 3616145843 @ 1.97718
2.95/3.06 c GLOBAL bounds - >= 3616145843 @ 1.97881
2.95/3.06 c GLOBAL bounds - >= 3616145843 @ 1.98018
2.95/3.07 c GLOBAL bounds - >= 3616145843 @ 1.98417
2.95/3.07 c GLOBAL bounds - >= 3616145843 @ 1.98791
2.95/3.08 c GLOBAL bounds - >= 3616145843 @ 1.99189
2.95/3.08 c GLOBAL bounds - >= 3616145843 @ 1.99515
2.95/3.10 c GLOBAL bounds - >= 3616145846 @ 2.00665
2.95/3.10 c GLOBAL bounds - >= 3616145846 @ 2.00928
2.95/3.10 c GLOBAL bounds - >= 3616145846 @ 2.01334
2.95/3.11 c GLOBAL bounds - >= 3616145846 @ 2.01409
3.05/3.11 c GLOBAL bounds - >= 3616145846 @ 2.01733
3.05/3.11 c GLOBAL bounds - >= 3616145846 @ 2.01809
3.05/3.12 c GLOBAL bounds - >= 3616145846 @ 2.02108
3.05/3.12 c GLOBAL bounds - >= 3616145846 @ 2.02108
3.05/3.13 c GLOBAL bounds - >= 3616145846 @ 2.02208
3.05/3.13 c GLOBAL bounds - >= 3616145846 @ 2.02208
3.05/3.14 c GLOBAL bounds - >= 3616145846 @ 2.02257
3.05/3.14 c GLOBAL bounds - >= 3616145846 @ 2.02332
3.05/3.14 c GLOBAL bounds - >= 3616145846 @ 2.0284
3.05/3.15 c GLOBAL bounds - >= 3616145846 @ 2.02924
3.05/3.15 c GLOBAL bounds - >= 3616145846 @ 2.03031
3.05/3.15 c GLOBAL bounds - >= 3616145846 @ 2.03197
3.05/3.16 c GLOBAL bounds - >= 3616145846 @ 2.03405
3.05/3.16 c GLOBAL bounds - >= 3616145846 @ 2.03505
3.05/3.17 c GLOBAL bounds - >= 3616145846 @ 2.03705
3.05/3.17 c GLOBAL bounds - >= 3616145846 @ 2.03705
3.05/3.18 c GLOBAL bounds - >= 3616145846 @ 2.03898
3.05/3.18 c GLOBAL bounds - >= 3616145846 @ 2.04131
3.05/3.19 c GLOBAL bounds - >= 3616145846 @ 2.04419
3.05/3.19 c GLOBAL bounds - >= 3616145846 @ 2.04529
3.15/3.24 c GLOBAL bounds - >= 3616145853 @ 2.08882
3.15/3.24 c GLOBAL bounds - >= 3616145853 @ 2.09138
3.15/3.24 c GLOBAL bounds - >= 3616145853 @ 2.09285
3.15/3.25 c GLOBAL bounds - >= 3616145853 @ 2.09285
3.15/3.25 c GLOBAL bounds - >= 3616145853 @ 2.09537
3.15/3.25 c GLOBAL bounds - >= 3616145853 @ 2.09684
3.15/3.26 c GLOBAL bounds - >= 3616145853 @ 2.10018
3.15/3.26 c GLOBAL bounds - >= 3616145853 @ 2.10193
3.15/3.27 c GLOBAL bounds - >= 3616145853 @ 2.10674
3.15/3.27 c GLOBAL bounds - >= 3616145853 @ 2.10754
3.15/3.28 c GLOBAL bounds - >= 3616145853 @ 2.11182
3.15/3.28 c GLOBAL bounds - >= 3616145853 @ 2.11182
3.15/3.29 c GLOBAL bounds - >= 3616145853 @ 2.11426
3.15/3.29 c GLOBAL bounds - >= 3616145853 @ 2.11481
3.25/3.30 c GLOBAL bounds - >= 3616145853 @ 2.11832
3.25/3.30 c GLOBAL bounds - >= 3616145853 @ 2.11953
3.25/3.31 c GLOBAL bounds - >= 3616145853 @ 2.12484
3.25/3.31 c GLOBAL bounds - >= 3616145853 @ 2.12579
3.25/3.32 c GLOBAL bounds - >= 3616145853 @ 2.13025
3.25/3.32 c GLOBAL bounds - >= 3616145853 @ 2.13177
3.25/3.32 c GLOBAL bounds - >= 3616145853 @ 2.13341
3.25/3.33 c GLOBAL bounds - >= 3616145853 @ 2.13787
3.25/3.33 c GLOBAL bounds - >= 3616145853 @ 2.13876
3.25/3.34 c GLOBAL bounds - >= 3616145853 @ 2.14076
3.25/3.38 c GLOBAL bounds - >= 3616145853 @ 2.17643
3.34/3.46 c GLOBAL bounds - >= 3616145859 @ 2.25299
3.34/3.46 c GLOBAL bounds - >= 3616145859 @ 2.2572
3.34/3.47 c GLOBAL bounds - >= 3616145859 @ 2.26106
3.34/3.47 c GLOBAL bounds - >= 3616145859 @ 2.26237
3.34/3.47 c GLOBAL bounds - >= 3616145859 @ 2.26458
3.34/3.47 c GLOBAL bounds - >= 3616145859 @ 2.26628
3.34/3.48 c GLOBAL bounds - >= 3616145859 @ 2.26736
3.34/3.48 c GLOBAL bounds - >= 3616145859 @ 2.26785
3.34/3.49 c GLOBAL bounds - >= 3616145859 @ 2.27065
3.34/3.49 c GLOBAL bounds - >= 3616145859 @ 2.27136
3.44/3.50 c GLOBAL bounds - >= 3616145859 @ 2.27645
3.44/3.50 c GLOBAL bounds - >= 3616145859 @ 2.27735
3.44/3.51 c GLOBAL bounds - >= 3616145859 @ 2.28053
3.44/3.51 c GLOBAL bounds - >= 3616145859 @ 2.28134
3.44/3.51 c GLOBAL bounds - >= 3616145859 @ 2.28521
3.44/3.52 c GLOBAL bounds - >= 3616145859 @ 2.28633
3.44/3.53 c GLOBAL bounds - >= 3616145859 @ 2.28837
3.44/3.53 c GLOBAL bounds - >= 3616145859 @ 2.28945
3.44/3.54 c GLOBAL bounds - >= 3616145859 @ 2.2932
3.44/3.54 c GLOBAL bounds - >= 3616145859 @ 2.29332
3.44/3.54 c GLOBAL bounds - >= 3616145859 @ 2.29847
3.44/3.55 c GLOBAL bounds - >= 3616145859 @ 2.30129
3.44/3.56 c GLOBAL bounds - >= 3616145859 @ 2.30522
3.44/3.56 c GLOBAL bounds - >= 3616145859 @ 2.31059
3.44/3.58 c GLOBAL bounds - >= 3616145859 @ 2.32204
3.44/3.58 c GLOBAL bounds - >= 3616145859 @ 2.32613
3.44/3.59 c GLOBAL bounds - >= 3616145859 @ 2.33326
3.54/3.60 c GLOBAL bounds - >= 3616145859 @ 2.3372
3.54/3.61 c GLOBAL bounds - >= 3616145859 @ 2.34108
3.74/3.80 c GLOBAL bounds - >= 3618465393 @ 2.52926
3.74/3.81 c GLOBAL bounds - >= 3618465393 @ 2.53628
3.74/3.81 c GLOBAL bounds - >= 3618465393 @ 2.54144
3.74/3.82 c GLOBAL bounds - >= 3618465393 @ 2.54163
3.74/3.82 c GLOBAL bounds - >= 3618465393 @ 2.54363
3.74/3.82 c GLOBAL bounds - >= 3618465393 @ 2.54462
3.74/3.83 c GLOBAL bounds - >= 3618465393 @ 2.54795
3.74/3.83 c GLOBAL bounds - >= 3618465393 @ 2.54961
3.74/3.84 c GLOBAL bounds - >= 3618465393 @ 2.55508
3.74/3.84 c GLOBAL bounds - >= 3618465393 @ 2.55665
3.74/3.85 c GLOBAL bounds - >= 3618465393 @ 2.56209
3.74/3.85 c GLOBAL bounds - >= 3618465393 @ 2.56276
3.74/3.86 c GLOBAL bounds - >= 3618465393 @ 2.56621
3.74/3.86 c GLOBAL bounds - >= 3618465393 @ 2.56681
3.74/3.87 c GLOBAL bounds - >= 3618465393 @ 2.57013
3.74/3.87 c GLOBAL bounds - >= 3618465393 @ 2.57089
3.74/3.88 c GLOBAL bounds - >= 3618465393 @ 2.57417
3.74/3.88 c GLOBAL bounds - >= 3618465393 @ 2.57453
3.74/3.89 c GLOBAL bounds - >= 3618465393 @ 2.57532
3.74/3.89 c GLOBAL bounds - >= 3618465393 @ 2.57602
3.74/3.89 c GLOBAL bounds - >= 3618465393 @ 2.58036
3.84/3.90 c GLOBAL bounds - >= 3618465393 @ 2.58383
3.84/3.91 c GLOBAL bounds - >= 3618465393 @ 2.58551
4.24/4.31 c #Conflicts: 1000 | #Constraints: 2228
4.24/4.31 c GLOBAL bounds - >= 3618465401 @ 2.97609
4.24/4.31 c GLOBAL bounds - >= 3618465401 @ 2.9824
4.24/4.32 c GLOBAL bounds - >= 3618465401 @ 2.9835
4.24/4.32 c GLOBAL bounds - >= 3618465401 @ 2.98432
4.24/4.33 c GLOBAL bounds - >= 3618465401 @ 2.98801
4.24/4.33 c GLOBAL bounds - >= 3618465401 @ 2.98931
4.24/4.33 c GLOBAL bounds - >= 3618465401 @ 2.99322
4.24/4.34 c GLOBAL bounds - >= 3618465401 @ 2.9943
4.24/4.34 c GLOBAL bounds - >= 3618465401 @ 2.99753
4.24/4.35 c GLOBAL bounds - >= 3618465401 @ 2.9994
4.24/4.35 c GLOBAL bounds - >= 3618465401 @ 3.00394
4.24/4.36 c GLOBAL bounds - >= 3618465401 @ 3.00428
4.24/4.36 c GLOBAL bounds - >= 3618465401 @ 3.00823
4.24/4.36 c GLOBAL bounds - >= 3618465401 @ 3.01003
4.24/4.37 c GLOBAL bounds - >= 3618465401 @ 3.01278
4.24/4.37 c GLOBAL bounds - >= 3618465401 @ 3.01442
4.24/4.38 c GLOBAL bounds - >= 3618465401 @ 3.01705
4.24/4.38 c GLOBAL bounds - >= 3618465401 @ 3.01825
4.24/4.39 c GLOBAL bounds - >= 3618465401 @ 3.02127
4.24/4.39 c GLOBAL bounds - >= 3618465401 @ 3.02224
4.34/4.40 c GLOBAL bounds - >= 3618465401 @ 3.02579
4.34/4.40 c GLOBAL bounds - >= 3618465401 @ 3.02624
4.34/4.41 c GLOBAL bounds - >= 3618465401 @ 3.02839
4.34/4.42 c GLOBAL bounds - >= 3618465401 @ 3.03188
4.34/4.42 c GLOBAL bounds - >= 3618465401 @ 3.03658
4.34/4.43 c GLOBAL bounds - >= 3618465401 @ 3.0417
4.44/4.52 c GLOBAL bounds - >= 3618465401 @ 3.12499
4.44/4.52 c GLOBAL bounds - >= 3618465401 @ 3.12985
4.64/4.78 c GLOBAL bounds - >= 3620784936 @ 3.37756
4.64/4.79 c GLOBAL bounds - >= 3620784936 @ 3.38317
4.74/4.80 c GLOBAL bounds - >= 3620784936 @ 3.38595
4.74/4.80 c GLOBAL bounds - >= 3620784936 @ 3.3878
4.74/4.81 c GLOBAL bounds - >= 3620784936 @ 3.39346
4.74/4.81 c GLOBAL bounds - >= 3620784936 @ 3.39526
4.74/4.82 c GLOBAL bounds - >= 3620784936 @ 3.40014
4.74/4.82 c GLOBAL bounds - >= 3620784936 @ 3.40014
4.74/4.82 c GLOBAL bounds - >= 3620784936 @ 3.40362
4.74/4.83 c GLOBAL bounds - >= 3620784936 @ 3.40433
4.74/4.83 c GLOBAL bounds - >= 3620784936 @ 3.40775
4.74/4.83 c GLOBAL bounds - >= 3620784936 @ 3.40957
4.74/4.84 c GLOBAL bounds - >= 3620784936 @ 3.41248
4.74/4.84 c GLOBAL bounds - >= 3620784936 @ 3.41333
4.74/4.85 c GLOBAL bounds - >= 3620784936 @ 3.41701
4.74/4.85 c GLOBAL bounds - >= 3620784936 @ 3.41711
4.74/4.86 c GLOBAL bounds - >= 3620784936 @ 3.42169
4.74/4.86 c GLOBAL bounds - >= 3620784936 @ 3.4221
4.74/4.87 c GLOBAL bounds - >= 3620784936 @ 3.42541
4.74/4.87 c GLOBAL bounds - >= 3620784936 @ 3.42704
4.74/4.88 c GLOBAL bounds - >= 3620784936 @ 3.43274
4.84/4.90 c GLOBAL bounds - >= 3620784936 @ 3.45297
4.84/4.91 c GLOBAL bounds - >= 3620784936 @ 3.45533
5.44/5.55 c GLOBAL bounds - >= 3620784944 @ 4.0789
5.44/5.56 c GLOBAL bounds - >= 3620784944 @ 4.08412
5.44/5.56 c GLOBAL bounds - >= 3620784944 @ 4.08512
5.44/5.56 c GLOBAL bounds - >= 3620784944 @ 4.08637
5.44/5.57 c GLOBAL bounds - >= 3620784944 @ 4.09184
5.44/5.57 c GLOBAL bounds - >= 3620784944 @ 4.09267
5.44/5.58 c GLOBAL bounds - >= 3620784944 @ 4.09899
5.44/5.58 c GLOBAL bounds - >= 3620784944 @ 4.09992
5.44/5.59 c GLOBAL bounds - >= 3620784944 @ 4.10311
5.44/5.59 c GLOBAL bounds - >= 3620784944 @ 4.10408
5.54/5.60 c GLOBAL bounds - >= 3620784944 @ 4.10832
5.54/5.60 c GLOBAL bounds - >= 3620784944 @ 4.11028
5.54/5.61 c GLOBAL bounds - >= 3620784944 @ 4.11549
5.54/5.61 c GLOBAL bounds - >= 3620784944 @ 4.11738
5.54/5.62 c GLOBAL bounds - >= 3620784944 @ 4.12272
5.54/5.62 c GLOBAL bounds - >= 3620784944 @ 4.12305
5.54/5.63 c GLOBAL bounds - >= 3620784944 @ 4.12568
5.54/5.63 c GLOBAL bounds - >= 3620784944 @ 4.12704
5.54/5.64 c GLOBAL bounds - >= 3620784944 @ 4.13083
5.54/5.64 c GLOBAL bounds - >= 3620784944 @ 4.13104
5.54/5.65 c GLOBAL bounds - >= 3620784944 @ 4.13495
5.54/5.65 c GLOBAL bounds - >= 3620784944 @ 4.13687
5.54/5.66 c GLOBAL bounds - >= 3620784944 @ 4.14021
5.54/5.69 c GLOBAL bounds - >= 3620784944 @ 4.16427
5.54/5.69 c GLOBAL bounds - >= 3620784944 @ 4.16754
6.43/6.55 c #Conflicts: 2000 | #Constraints: 3349
6.43/6.55 c INPROCESSING
6.43/6.55 c GARBAGE COLLECT
6.43/6.55 c GLOBAL bounds - >= 3620784954 @ 5.0061
6.43/6.55 c GLOBAL bounds - >= 3620784954 @ 5.01245
6.43/6.55 c GLOBAL bounds - >= 3620784954 @ 5.01388
6.43/6.56 c GLOBAL bounds - >= 3620784954 @ 5.01484
6.43/6.56 c GLOBAL bounds - >= 3620784954 @ 5.01685
6.43/6.56 c GLOBAL bounds - >= 3620784954 @ 5.01746
6.43/6.57 c GLOBAL bounds - >= 3620784954 @ 5.02175
6.43/6.57 c GLOBAL bounds - >= 3620784954 @ 5.02244
6.43/6.58 c GLOBAL bounds - >= 3620784954 @ 5.02739
6.43/6.58 c GLOBAL bounds - >= 3620784954 @ 5.02823
6.43/6.59 c GLOBAL bounds - >= 3620784954 @ 5.03316
6.43/6.59 c GLOBAL bounds - >= 3620784954 @ 5.03342
6.53/6.60 c GLOBAL bounds - >= 3620784954 @ 5.0384
6.53/6.60 c GLOBAL bounds - >= 3620784954 @ 5.03942
6.53/6.61 c GLOBAL bounds - >= 3620784954 @ 5.04458
6.53/6.61 c GLOBAL bounds - >= 3620784954 @ 5.04653
6.53/6.62 c GLOBAL bounds - >= 3620784954 @ 5.05151
6.53/6.63 c GLOBAL bounds - >= 3620784954 @ 5.05357
6.53/6.63 c GLOBAL bounds - >= 3620784954 @ 5.05854
6.53/6.63 c GLOBAL bounds - >= 3620784954 @ 5.05959
6.53/6.64 c GLOBAL bounds - >= 3620784954 @ 5.06354
6.53/6.64 c GLOBAL bounds - >= 3620784954 @ 5.06455
6.53/6.65 c GLOBAL bounds - >= 3620784954 @ 5.06873
6.53/6.66 c GLOBAL bounds - >= 3620784954 @ 5.07271
6.53/6.67 c GLOBAL bounds - >= 3620784954 @ 5.07913
6.53/6.67 c GLOBAL bounds - >= 3620784954 @ 5.08232
6.63/6.71 c GLOBAL bounds - >= 3620784954 @ 5.11296
6.63/6.71 c GLOBAL bounds - >= 3620784954 @ 5.12087
9.23/9.35 c #Conflicts: 3000 | #Constraints: 3227
9.23/9.35 c #Conflicts: 4000 | #Constraints: 4227
9.23/9.35 c GLOBAL bounds - >= 3620784960 @ 7.69983
9.23/9.36 c GLOBAL bounds - >= 3620784960 @ 7.70591
9.23/9.36 c GLOBAL bounds - >= 3620784960 @ 7.7067
9.23/9.37 c GLOBAL bounds - >= 3620784960 @ 7.71185
9.23/9.37 c GLOBAL bounds - >= 3620784960 @ 7.7129
9.23/9.38 c GLOBAL bounds - >= 3620784960 @ 7.71782
9.23/9.38 c GLOBAL bounds - >= 3620784960 @ 7.7196
9.23/9.39 c GLOBAL bounds - >= 3620784960 @ 7.72373
9.23/9.39 c GLOBAL bounds - >= 3620784960 @ 7.72387
9.32/9.40 c GLOBAL bounds - >= 3620784960 @ 7.72785
9.32/9.40 c GLOBAL bounds - >= 3620784960 @ 7.72886
9.32/9.41 c GLOBAL bounds - >= 3620784960 @ 7.73523
9.32/9.42 c GLOBAL bounds - >= 3620784960 @ 7.73609
9.32/9.43 c GLOBAL bounds - >= 3620784960 @ 7.74047
9.32/9.43 c GLOBAL bounds - >= 3620784960 @ 7.74084
9.32/9.44 c GLOBAL bounds - >= 3620784960 @ 7.74465
9.32/9.44 c GLOBAL bounds - >= 3620784960 @ 7.74583
9.32/9.45 c GLOBAL bounds - >= 3620784960 @ 7.75081
9.32/9.45 c GLOBAL bounds - >= 3620784960 @ 7.75178
9.32/9.46 c GLOBAL bounds - >= 3620784960 @ 7.76
9.32/9.46 c GLOBAL bounds - >= 3620784960 @ 7.76186
9.32/9.47 c GLOBAL bounds - >= 3620784960 @ 7.77019
9.32/9.48 c GLOBAL bounds - >= 3620784960 @ 7.77471
9.32/9.48 c GLOBAL bounds - >= 3620784960 @ 7.78016
9.32/9.49 c GLOBAL bounds - >= 3620784960 @ 7.78544
9.43/9.50 c GLOBAL bounds - >= 3620784960 @ 7.7909
9.43/9.50 c GLOBAL bounds - >= 3620784960 @ 7.79554
9.43/9.51 c GLOBAL bounds - >= 3620784960 @ 7.79908
9.43/9.52 c GLOBAL bounds - >= 3620784960 @ 7.80248
9.43/9.53 c GLOBAL bounds - >= 3620784960 @ 7.81279
9.43/9.53 c GLOBAL bounds - >= 3620784960 @ 7.81933
10.23/10.40 c INPROCESSING
10.23/10.40 c GARBAGE COLLECT
10.23/10.40 c GLOBAL bounds - >= 3620784962 @ 8.66366
10.32/10.40 c GLOBAL bounds - >= 3620784962 @ 8.6682
10.32/10.41 c GLOBAL bounds - >= 3620784962 @ 8.67242
10.32/10.41 c GLOBAL bounds - >= 3620784962 @ 8.67425
10.32/10.42 c GLOBAL bounds - >= 3620784962 @ 8.6798
10.32/10.42 c GLOBAL bounds - >= 3620784962 @ 8.68018
10.32/10.43 c GLOBAL bounds - >= 3620784962 @ 8.68517
10.32/10.43 c GLOBAL bounds - >= 3620784962 @ 8.68617
10.32/10.44 c GLOBAL bounds - >= 3620784962 @ 8.68867
10.32/10.44 c GLOBAL bounds - >= 3620784962 @ 8.68951
10.32/10.45 c GLOBAL bounds - >= 3620784962 @ 8.69391
10.32/10.45 c GLOBAL bounds - >= 3620784962 @ 8.69515
10.32/10.46 c GLOBAL bounds - >= 3620784962 @ 8.69842
10.32/10.46 c GLOBAL bounds - >= 3620784962 @ 8.69938
10.32/10.47 c GLOBAL bounds - >= 3620784962 @ 8.70473
10.32/10.47 c GLOBAL bounds - >= 3620784962 @ 8.70559
10.32/10.47 c GLOBAL bounds - >= 3620784962 @ 8.70998
10.32/10.48 c GLOBAL bounds - >= 3620784962 @ 8.71013
10.32/10.48 c GLOBAL bounds - >= 3620784962 @ 8.71249
10.32/10.49 c GLOBAL bounds - >= 3620784962 @ 8.71435
10.32/10.49 c GLOBAL bounds - >= 3620784962 @ 8.72006
10.42/10.50 c GLOBAL bounds - >= 3620784962 @ 8.72488
10.42/10.51 c GLOBAL bounds - >= 3620784962 @ 8.72846
10.42/10.51 c GLOBAL bounds - >= 3620784962 @ 8.73105
10.42/10.52 c GLOBAL bounds - >= 3620784962 @ 8.73451
10.42/10.53 c GLOBAL bounds - >= 3620784962 @ 8.73879
10.42/10.56 c GLOBAL bounds - >= 3620784962 @ 8.76932
10.94/11.11 c #Conflicts: 5000 | #Constraints: 3662
10.94/11.11 c GLOBAL bounds - >= 3620784966 @ 9.30674
11.03/11.12 c GLOBAL bounds - >= 3620784966 @ 9.31289
11.03/11.12 c GLOBAL bounds - >= 3620784966 @ 9.31581
11.03/11.13 c GLOBAL bounds - >= 3620784966 @ 9.31634
11.03/11.13 c GLOBAL bounds - >= 3620784966 @ 9.31867
11.03/11.14 c GLOBAL bounds - >= 3620784966 @ 9.31957
11.03/11.14 c GLOBAL bounds - >= 3620784966 @ 9.32432
11.03/11.15 c GLOBAL bounds - >= 3620784966 @ 9.32634
11.03/11.15 c GLOBAL bounds - >= 3620784966 @ 9.33015
11.03/11.16 c GLOBAL bounds - >= 3620784966 @ 9.33212
11.03/11.16 c GLOBAL bounds - >= 3620784966 @ 9.33497
11.03/11.17 c GLOBAL bounds - >= 3620784966 @ 9.33531
11.03/11.17 c GLOBAL bounds - >= 3620784966 @ 9.33875
11.03/11.17 c GLOBAL bounds - >= 3620784966 @ 9.33883
11.03/11.18 c GLOBAL bounds - >= 3620784966 @ 9.34383
11.03/11.18 c GLOBAL bounds - >= 3620784966 @ 9.34586
11.03/11.19 c GLOBAL bounds - >= 3620784966 @ 9.34995
11.03/11.19 c GLOBAL bounds - >= 3620784966 @ 9.35007
11.12/11.20 c GLOBAL bounds - >= 3620784966 @ 9.35627
11.12/11.20 c GLOBAL bounds - >= 3620784966 @ 9.35752
11.12/11.21 c GLOBAL bounds - >= 3620784966 @ 9.36145
11.12/11.22 c GLOBAL bounds - >= 3620784966 @ 9.36546
13.22/13.36 c #Conflicts: 6000 | #Constraints: 4686
13.22/13.36 c GLOBAL bounds - >= 3620784976 @ 11.4743
13.22/13.37 c GLOBAL bounds - >= 3620784976 @ 11.4823
13.22/13.38 c GLOBAL bounds - >= 3620784976 @ 11.4863
13.22/13.38 c GLOBAL bounds - >= 3620784976 @ 11.4865
13.22/13.39 c GLOBAL bounds - >= 3620784976 @ 11.4938
13.22/13.39 c GLOBAL bounds - >= 3620784976 @ 11.4943
13.32/13.40 c GLOBAL bounds - >= 3620784976 @ 11.5003
13.32/13.40 c GLOBAL bounds - >= 3620784976 @ 11.5015
13.32/13.42 c GLOBAL bounds - >= 3620784976 @ 11.5088
13.32/13.42 c GLOBAL bounds - >= 3620784976 @ 11.5098
13.32/13.43 c GLOBAL bounds - >= 3620784976 @ 11.5151
13.32/13.43 c GLOBAL bounds - >= 3620784976 @ 11.5162
13.32/13.44 c GLOBAL bounds - >= 3620784976 @ 11.5214
13.32/13.44 c GLOBAL bounds - >= 3620784976 @ 11.5222
13.32/13.45 c GLOBAL bounds - >= 3620784976 @ 11.5288
13.32/13.45 c GLOBAL bounds - >= 3620784976 @ 11.5298
13.32/13.46 c GLOBAL bounds - >= 3620784976 @ 11.5361
13.32/13.47 c GLOBAL bounds - >= 3620784976 @ 11.5362
13.32/13.48 c GLOBAL bounds - >= 3620784976 @ 11.5415
13.32/13.48 c GLOBAL bounds - >= 3620784976 @ 11.5435
13.32/13.49 c GLOBAL bounds - >= 3620784976 @ 11.5488
19.49/19.64 c INPROCESSING
19.49/19.64 c GARBAGE COLLECT
19.49/19.64 c #Conflicts: 7000 | #Constraints: 3717
19.49/19.64 c #Conflicts: 8000 | #Constraints: 4717
19.49/19.64 c GLOBAL bounds - >= 3620784986 @ 17.6209
19.49/19.65 c GLOBAL bounds - >= 3620784986 @ 17.6302
19.49/19.66 c GLOBAL bounds - >= 3620784986 @ 17.638
19.49/19.67 c GLOBAL bounds - >= 3620784986 @ 17.6382
19.49/19.68 c GLOBAL bounds - >= 3620784986 @ 17.645
19.49/19.68 c GLOBAL bounds - >= 3620784986 @ 17.6462
19.49/19.69 c GLOBAL bounds - >= 3620784986 @ 17.65
19.49/19.69 c GLOBAL bounds - >= 3620784986 @ 17.6512
19.60/19.70 c GLOBAL bounds - >= 3620784986 @ 17.6574
19.60/19.71 c GLOBAL bounds - >= 3620784986 @ 17.6595
19.60/19.72 c GLOBAL bounds - >= 3620784986 @ 17.6654
19.60/19.72 c GLOBAL bounds - >= 3620784986 @ 17.6665
19.60/19.73 c GLOBAL bounds - >= 3620784986 @ 17.6735
19.60/19.73 c GLOBAL bounds - >= 3620784986 @ 17.6755
19.60/19.74 c GLOBAL bounds - >= 3620784986 @ 17.6824
19.60/19.74 c GLOBAL bounds - >= 3620784986 @ 17.6831
19.60/19.76 c GLOBAL bounds - >= 3620784986 @ 17.6896
19.60/19.76 c GLOBAL bounds - >= 3620784986 @ 17.6911
19.60/19.77 c GLOBAL bounds - >= 3620784986 @ 17.6976
19.60/19.77 c GLOBAL bounds - >= 3620784986 @ 17.6981
19.60/19.78 c GLOBAL bounds - >= 3620784986 @ 17.7066
19.60/19.79 c GLOBAL bounds - >= 3620784986 @ 17.7141
19.70/19.80 c #Conflicts: 9000 | #Constraints: 5756
19.70/19.80 c GLOBAL bounds - >= 3620784986 @ 17.7219
19.70/19.81 c GLOBAL bounds - >= 3620784986 @ 17.7256
19.80/19.95 c GLOBAL bounds - >= 3620784986 @ 17.8583
19.80/19.98 c GLOBAL bounds - >= 3620784986 @ 17.8901
21.09/21.26 c INPROCESSING
21.09/21.26 c GARBAGE COLLECT
21.09/21.26 c GLOBAL bounds - >= 3620784991 @ 19.1409
21.09/21.27 c GLOBAL bounds - >= 3620784991 @ 19.147
21.09/21.27 c GLOBAL bounds - >= 3620784991 @ 19.1489
21.09/21.27 c GLOBAL bounds - >= 3620784991 @ 19.1491
21.09/21.28 c GLOBAL bounds - >= 3620784991 @ 19.1526
21.09/21.28 c GLOBAL bounds - >= 3620784991 @ 19.153
21.09/21.29 c GLOBAL bounds - >= 3620784991 @ 19.1561
21.09/21.29 c GLOBAL bounds - >= 3620784991 @ 19.1572
21.19/21.30 c GLOBAL bounds - >= 3620784991 @ 19.1647
21.19/21.30 c GLOBAL bounds - >= 3620784991 @ 19.1668
21.19/21.31 c GLOBAL bounds - >= 3620784991 @ 19.1703
21.19/21.31 c GLOBAL bounds - >= 3620784991 @ 19.1714
21.19/21.32 c GLOBAL bounds - >= 3620784991 @ 19.1765
21.19/21.32 c GLOBAL bounds - >= 3620784991 @ 19.1769
21.19/21.33 c GLOBAL bounds - >= 3620784991 @ 19.1842
21.19/21.34 c GLOBAL bounds - >= 3620784991 @ 19.1853
21.19/21.35 c GLOBAL bounds - >= 3620784991 @ 19.1919
21.19/21.35 c GLOBAL bounds - >= 3620784991 @ 19.194
21.19/21.36 c GLOBAL bounds - >= 3620784991 @ 19.1987
21.19/21.36 c GLOBAL bounds - >= 3620784991 @ 19.1988
21.19/21.37 c GLOBAL bounds - >= 3620784991 @ 19.2045
21.19/21.37 c GLOBAL bounds - >= 3620784991 @ 19.2058
21.19/21.38 c GLOBAL bounds - >= 3620784991 @ 19.2132
21.19/21.39 c GLOBAL bounds - >= 3620784991 @ 19.2228
21.29/21.41 c GLOBAL bounds - >= 3620784991 @ 19.2403
21.69/21.84 c #Conflicts: 10000 | #Constraints: 4479
21.69/21.84 c GLOBAL bounds - >= 3620784991 @ 19.6615
21.79/21.99 c GLOBAL bounds - >= 3620784991 @ 19.804
21.79/22.00 c GLOBAL bounds - >= 3620784991 @ 19.812
21.91/22.07 c GLOBAL bounds - >= 3620784991 @ 19.8697
24.48/24.67 c #Conflicts: 11000 | #Constraints: 5479
24.48/24.67 c GLOBAL bounds - >= 3620784996 @ 22.4406
24.48/24.68 c GLOBAL bounds - >= 3620784996 @ 22.4497
24.48/24.69 c GLOBAL bounds - >= 3620784996 @ 22.4517
24.48/24.69 c GLOBAL bounds - >= 3620784996 @ 22.4517
24.48/24.69 c GLOBAL bounds - >= 3620784996 @ 22.4538
24.59/24.70 c GLOBAL bounds - >= 3620784996 @ 22.4671
24.59/24.71 c GLOBAL bounds - >= 3620784996 @ 22.4682
24.59/24.72 c GLOBAL bounds - >= 3620784996 @ 22.4744
24.59/24.72 c GLOBAL bounds - >= 3620784996 @ 22.4747
24.59/24.73 c GLOBAL bounds - >= 3620784996 @ 22.4826
24.59/24.73 c GLOBAL bounds - >= 3620784996 @ 22.4837
24.59/24.74 c GLOBAL bounds - >= 3620784996 @ 22.4902
24.59/24.74 c GLOBAL bounds - >= 3620784996 @ 22.4913
24.59/24.75 c GLOBAL bounds - >= 3620784996 @ 22.4977
24.59/24.76 c GLOBAL bounds - >= 3620784996 @ 22.4989
24.59/24.77 c GLOBAL bounds - >= 3620784996 @ 22.5083
24.59/24.77 c GLOBAL bounds - >= 3620784996 @ 22.5086
24.59/24.78 c GLOBAL bounds - >= 3620784996 @ 22.514
24.59/24.78 c GLOBAL bounds - >= 3620784996 @ 22.5151
24.59/24.80 c GLOBAL bounds - >= 3620784996 @ 22.5235
24.68/24.80 c GLOBAL bounds - >= 3620784996 @ 22.5257
24.68/24.81 c GLOBAL bounds - >= 3620784996 @ 22.5333
24.68/24.81 c GLOBAL bounds - >= 3620784996 @ 22.5336
24.68/24.82 c GLOBAL bounds - >= 3620784996 @ 22.5444
24.68/24.83 c GLOBAL bounds - >= 3620784996 @ 22.5506
24.68/24.85 c GLOBAL bounds - >= 3620784996 @ 22.5603
24.68/24.86 c GLOBAL bounds - >= 3620784996 @ 22.5731
24.68/24.87 c GLOBAL bounds - >= 3620784996 @ 22.5806
24.68/24.88 c GLOBAL bounds - >= 3620784996 @ 22.586
24.68/24.89 c GLOBAL bounds - >= 3620784996 @ 22.5903
24.68/24.90 c GLOBAL bounds - >= 3620784996 @ 22.5967
24.89/25.05 c GLOBAL bounds - >= 3620784996 @ 22.7446
50.31/50.58 c #Conflicts: 12000 | #Constraints: 6512
50.31/50.58 c INPROCESSING
50.31/50.58 c GARBAGE COLLECT
50.31/50.58 c #Conflicts: 13000 | #Constraints: 4951
50.31/50.58 c #Conflicts: 14000 | #Constraints: 5951
50.31/50.58 c #Conflicts: 15000 | #Constraints: 6951
50.31/50.58 c INPROCESSING
50.31/50.58 c GARBAGE COLLECT
50.31/50.58 c #Conflicts: 16000 | #Constraints: 5178
50.31/50.58 c #Conflicts: 17000 | #Constraints: 6178
50.31/50.58 c #Conflicts: 18000 | #Constraints: 7178
50.31/50.58 c INPROCESSING
50.31/50.58 c GARBAGE COLLECT
50.31/50.58 c #Conflicts: 19000 | #Constraints: 5192
50.31/50.58 c GLOBAL bounds - >= 3620785001 @ 47.946
50.31/50.59 c GLOBAL bounds - >= 3620785001 @ 47.9535
50.31/50.59 c GLOBAL bounds - >= 3620785001 @ 47.9535
50.31/50.60 c GLOBAL bounds - >= 3620785001 @ 47.9545
50.41/50.61 c GLOBAL bounds - >= 3620785001 @ 47.9615
50.41/50.61 c GLOBAL bounds - >= 3620785001 @ 47.9627
50.41/50.62 c GLOBAL bounds - >= 3620785001 @ 47.9673
50.41/50.62 c GLOBAL bounds - >= 3620785001 @ 47.9685
50.41/50.63 c GLOBAL bounds - >= 3620785001 @ 47.9759
50.41/50.63 c GLOBAL bounds - >= 3620785001 @ 47.9769
50.41/50.64 c GLOBAL bounds - >= 3620785001 @ 47.9863
50.41/50.64 c GLOBAL bounds - >= 3620785001 @ 47.9865
50.41/50.66 c GLOBAL bounds - >= 3620785001 @ 47.9926
50.41/50.66 c GLOBAL bounds - >= 3620785001 @ 47.9937
50.41/50.67 c GLOBAL bounds - >= 3620785001 @ 48.0009
50.41/50.67 c GLOBAL bounds - >= 3620785001 @ 48.0018
50.41/50.68 c GLOBAL bounds - >= 3620785001 @ 48.0099
50.41/50.68 c GLOBAL bounds - >= 3620785001 @ 48.0104
50.41/50.70 c GLOBAL bounds - >= 3620785001 @ 48.0203
50.51/50.70 c GLOBAL bounds - >= 3620785001 @ 48.0215
50.51/50.71 c GLOBAL bounds - >= 3620785001 @ 48.0301
50.51/50.71 c GLOBAL bounds - >= 3620785001 @ 48.0313
50.51/50.72 c GLOBAL bounds - >= 3620785001 @ 48.0387
50.51/50.74 c GLOBAL bounds - >= 3620785001 @ 48.0548
50.51/50.75 c GLOBAL bounds - >= 3620785001 @ 48.0621
50.51/50.76 c GLOBAL bounds - >= 3620785001 @ 48.0704
50.51/50.78 c GLOBAL bounds - >= 3620785001 @ 48.0814
50.61/50.89 c GLOBAL bounds - >= 3620785001 @ 48.1936
50.72/50.90 c GLOBAL bounds - >= 3620785001 @ 48.2003
50.72/50.91 c GLOBAL bounds - >= 3620785001 @ 48.2119
50.72/50.92 c GLOBAL bounds - >= 3620785001 @ 48.2187
50.83/51.01 c GLOBAL bounds - >= 3620785001 @ 48.3046
50.83/51.02 c GLOBAL bounds - >= 3620785001 @ 48.312
54.91/55.13 c #Conflicts: 20000 | #Constraints: 6227
54.91/55.13 c #Conflicts: 21000 | #Constraints: 7227
54.91/55.13 c GLOBAL bounds - >= 3620785002 @ 52.3692
54.91/55.15 c GLOBAL bounds - >= 3620785002 @ 52.3787
54.91/55.16 c GLOBAL bounds - >= 3620785002 @ 52.3886
54.91/55.16 c GLOBAL bounds - >= 3620785002 @ 52.3904
54.91/55.17 c GLOBAL bounds - >= 3620785002 @ 52.3988
54.91/55.17 c GLOBAL bounds - >= 3620785002 @ 52.4004
54.91/55.19 c GLOBAL bounds - >= 3620785002 @ 52.4079
54.91/55.19 c GLOBAL bounds - >= 3620785002 @ 52.4093
55.00/55.20 c GLOBAL bounds - >= 3620785002 @ 52.4172
55.00/55.20 c GLOBAL bounds - >= 3620785002 @ 52.4186
55.00/55.21 c GLOBAL bounds - >= 3620785002 @ 52.4274
55.00/55.22 c GLOBAL bounds - >= 3620785002 @ 52.4288
55.00/55.23 c GLOBAL bounds - >= 3620785002 @ 52.4356
55.00/55.23 c GLOBAL bounds - >= 3620785002 @ 52.4369
55.00/55.24 c GLOBAL bounds - >= 3620785002 @ 52.4436
55.00/55.24 c GLOBAL bounds - >= 3620785002 @ 52.4452
55.00/55.26 c GLOBAL bounds - >= 3620785002 @ 52.4541
55.00/55.26 c GLOBAL bounds - >= 3620785002 @ 52.4555
55.00/55.27 c GLOBAL bounds - >= 3620785002 @ 52.4657
55.00/55.28 c GLOBAL bounds - >= 3620785002 @ 52.4672
55.00/55.29 c GLOBAL bounds - >= 3620785002 @ 52.4782
64.79/65.09 c #Conflicts: 22000 | #Constraints: 8246
64.79/65.09 c #Conflicts: 23000 | #Constraints: 9246
64.79/65.09 c #Conflicts: 24000 | #Constraints: 10246
64.79/65.09 c GLOBAL bounds - >= 3620785012 @ 62.081
64.79/65.11 c GLOBAL bounds - >= 3620785012 @ 62.0999
64.89/65.13 c GLOBAL bounds - >= 3620785012 @ 62.1144
64.89/65.13 c GLOBAL bounds - >= 3620785012 @ 62.1146
64.89/65.14 c GLOBAL bounds - >= 3620785012 @ 62.1255
64.89/65.15 c GLOBAL bounds - >= 3620785012 @ 62.1273
64.89/65.16 c GLOBAL bounds - >= 3620785012 @ 62.1411
64.89/65.17 c GLOBAL bounds - >= 3620785012 @ 62.1433
64.89/65.18 c GLOBAL bounds - >= 3620785012 @ 62.1576
64.89/65.18 c GLOBAL bounds - >= 3620785012 @ 62.1582
64.97/65.20 c GLOBAL bounds - >= 3620785012 @ 62.1693
64.97/65.20 c GLOBAL bounds - >= 3620785012 @ 62.171
64.97/65.22 c GLOBAL bounds - >= 3620785012 @ 62.1861
64.97/65.22 c GLOBAL bounds - >= 3620785012 @ 62.1887
64.97/65.24 c GLOBAL bounds - >= 3620785012 @ 62.2043
64.97/65.24 c GLOBAL bounds - >= 3620785012 @ 62.207
64.97/65.26 c GLOBAL bounds - >= 3620785012 @ 62.2201
64.97/65.26 c GLOBAL bounds - >= 3620785012 @ 62.2218
64.97/65.28 c GLOBAL bounds - >= 3620785012 @ 62.2338
64.97/65.28 c GLOBAL bounds - >= 3620785012 @ 62.2364
65.07/65.30 c GLOBAL bounds - >= 3620785012 @ 62.2508
65.07/65.33 c GLOBAL bounds - >= 3620785012 @ 62.2812
78.63/79.00 c #Conflicts: 25000 | #Constraints: 11291
78.63/79.00 c #Conflicts: 26000 | #Constraints: 12291
78.63/79.00 c #Conflicts: 27000 | #Constraints: 13291
78.63/79.00 c #Conflicts: 28000 | #Constraints: 14291
78.63/79.00 c GLOBAL bounds - >= 3620785022 @ 75.7631
78.75/79.03 c GLOBAL bounds - >= 3620785022 @ 75.7872
78.75/79.03 c GLOBAL bounds - >= 3620785022 @ 75.7886
78.75/79.05 c GLOBAL bounds - >= 3620785022 @ 75.8055
78.75/79.05 c GLOBAL bounds - >= 3620785022 @ 75.8075
78.75/79.07 c GLOBAL bounds - >= 3620785022 @ 75.8222
78.75/79.08 c GLOBAL bounds - >= 3620785022 @ 75.8228
78.75/79.10 c GLOBAL bounds - >= 3620785022 @ 75.8399
78.75/79.10 c GLOBAL bounds - >= 3620785022 @ 75.8406
78.85/79.12 c GLOBAL bounds - >= 3620785022 @ 75.8581
78.85/79.13 c GLOBAL bounds - >= 3620785022 @ 75.8607
78.85/79.15 c GLOBAL bounds - >= 3620785022 @ 75.8777
78.85/79.15 c GLOBAL bounds - >= 3620785022 @ 75.8785
78.85/79.17 c GLOBAL bounds - >= 3620785022 @ 75.8968
78.85/79.18 c GLOBAL bounds - >= 3620785022 @ 75.8995
78.93/79.20 c GLOBAL bounds - >= 3620785022 @ 75.919
78.93/79.20 c GLOBAL bounds - >= 3620785022 @ 75.9208
78.93/79.22 c GLOBAL bounds - >= 3620785022 @ 75.9369
78.93/79.23 c GLOBAL bounds - >= 3620785022 @ 75.9387
78.93/79.25 c GLOBAL bounds - >= 3620785022 @ 75.9575
78.93/79.25 c GLOBAL bounds - >= 3620785022 @ 75.9592
78.93/79.27 c GLOBAL bounds - >= 3620785022 @ 75.9763
78.93/79.29 c GLOBAL bounds - >= 3620785022 @ 75.992
79.03/79.31 c GLOBAL bounds - >= 3620785022 @ 76.0089
79.03/79.34 c GLOBAL bounds - >= 3620785022 @ 76.033
91.59/91.97 c INPROCESSING
91.59/91.97 c GARBAGE COLLECT
91.59/91.97 c #Conflicts: 29000 | #Constraints: 8507
91.59/91.97 c #Conflicts: 30000 | #Constraints: 9507
91.59/91.97 c #Conflicts: 31000 | #Constraints: 10507
91.59/91.97 c #Conflicts: 32000 | #Constraints: 11507
91.59/91.97 c GLOBAL bounds - >= 3620785030 @ 88.5088
91.59/91.99 c GLOBAL bounds - >= 3620785030 @ 88.5284
91.59/92.00 c GLOBAL bounds - >= 3620785030 @ 88.5294
91.70/92.01 c GLOBAL bounds - >= 3620785030 @ 88.5424
91.70/92.02 c GLOBAL bounds - >= 3620785030 @ 88.5444
91.70/92.03 c GLOBAL bounds - >= 3620785030 @ 88.5564
91.70/92.03 c GLOBAL bounds - >= 3620785030 @ 88.559
91.70/92.05 c GLOBAL bounds - >= 3620785030 @ 88.5738
91.70/92.06 c GLOBAL bounds - >= 3620785030 @ 88.5745
91.70/92.07 c GLOBAL bounds - >= 3620785030 @ 88.5854
91.70/92.08 c GLOBAL bounds - >= 3620785030 @ 88.5862
91.70/92.09 c GLOBAL bounds - >= 3620785030 @ 88.5996
91.70/92.10 c GLOBAL bounds - >= 3620785030 @ 88.6012
91.80/92.11 c GLOBAL bounds - >= 3620785030 @ 88.6133
91.80/92.12 c GLOBAL bounds - >= 3620785030 @ 88.6152
91.80/92.13 c GLOBAL bounds - >= 3620785030 @ 88.6296
91.80/92.14 c GLOBAL bounds - >= 3620785030 @ 88.6323
91.80/92.15 c GLOBAL bounds - >= 3620785030 @ 88.6452
91.80/92.16 c GLOBAL bounds - >= 3620785030 @ 88.6478
91.80/92.18 c GLOBAL bounds - >= 3620785030 @ 88.6626
91.80/92.18 c GLOBAL bounds - >= 3620785030 @ 88.6641
91.80/92.20 c GLOBAL bounds - >= 3620785030 @ 88.6768
91.89/92.21 c GLOBAL bounds - >= 3620785030 @ 88.6923
91.89/92.25 c GLOBAL bounds - >= 3620785030 @ 88.7237
91.89/92.27 c GLOBAL bounds - >= 3620785030 @ 88.7396
91.89/92.28 c GLOBAL bounds - >= 3620785030 @ 88.7523
91.98/92.32 c GLOBAL bounds - >= 3620785030 @ 88.7873
92.48/92.87 c GLOBAL bounds - >= 3620785030 @ 89.3255
92.59/92.91 c GLOBAL bounds - >= 3620785030 @ 89.3663
92.59/92.93 c GLOBAL bounds - >= 3620785030 @ 89.3819
92.59/92.95 c GLOBAL bounds - >= 3620785030 @ 89.3953
92.59/92.97 c GLOBAL bounds - >= 3620785030 @ 89.4169
117.41/117.84 c #Conflicts: 33000 | #Constraints: 12541
117.41/117.84 c INPROCESSING
117.41/117.84 c GARBAGE COLLECT
117.41/117.84 c #Conflicts: 34000 | #Constraints: 7889
117.41/117.84 c #Conflicts: 35000 | #Constraints: 8889
117.41/117.84 c #Conflicts: 36000 | #Constraints: 9889
117.41/117.84 c #Conflicts: 37000 | #Constraints: 10889
117.41/117.84 c #Conflicts: 38000 | #Constraints: 11889
117.41/117.84 c INPROCESSING
117.41/117.84 c GARBAGE COLLECT
117.41/117.84 c #Conflicts: 39000 | #Constraints: 7720
117.41/117.84 c GLOBAL bounds - >= 3620785031 @ 114.038
117.41/117.85 c GLOBAL bounds - >= 3620785031 @ 114.05
117.41/117.87 c GLOBAL bounds - >= 3620785031 @ 114.058
117.41/117.87 c GLOBAL bounds - >= 3620785031 @ 114.058
117.41/117.88 c GLOBAL bounds - >= 3620785031 @ 114.067
117.41/117.88 c GLOBAL bounds - >= 3620785031 @ 114.068
117.41/117.90 c GLOBAL bounds - >= 3620785031 @ 114.074
117.50/117.90 c GLOBAL bounds - >= 3620785031 @ 114.075
117.50/117.91 c GLOBAL bounds - >= 3620785031 @ 114.083
117.50/117.91 c GLOBAL bounds - >= 3620785031 @ 114.085
117.50/117.93 c GLOBAL bounds - >= 3620785031 @ 114.094
117.50/117.93 c GLOBAL bounds - >= 3620785031 @ 114.096
117.50/117.94 c GLOBAL bounds - >= 3620785031 @ 114.107
117.50/117.94 c GLOBAL bounds - >= 3620785031 @ 114.11
117.50/117.95 c GLOBAL bounds - >= 3620785031 @ 114.119
117.50/117.96 c GLOBAL bounds - >= 3620785031 @ 114.12
117.50/117.97 c GLOBAL bounds - >= 3620785031 @ 114.129
117.50/117.97 c GLOBAL bounds - >= 3620785031 @ 114.131
117.50/117.98 c GLOBAL bounds - >= 3620785031 @ 114.14
117.50/117.99 c GLOBAL bounds - >= 3620785031 @ 114.141
117.50/118.00 c GLOBAL bounds - >= 3620785031 @ 114.152
117.62/118.01 c GLOBAL bounds - >= 3620785031 @ 114.162
117.62/118.02 c GLOBAL bounds - >= 3620785031 @ 114.171
128.18/128.68 c #Conflicts: 40000 | #Constraints: 8729
128.18/128.68 c #Conflicts: 41000 | #Constraints: 9729
128.18/128.68 c #Conflicts: 42000 | #Constraints: 10729
128.18/128.68 c INPROCESSING
128.18/128.68 c GARBAGE COLLECT
128.18/128.68 c GLOBAL bounds - >= 3620785031 @ 124.701
128.18/128.69 c GLOBAL bounds - >= 3620785031 @ 124.71
128.27/128.70 c GLOBAL bounds - >= 3620785031 @ 124.715
389.21/390.52 c #Conflicts: 43000 | #Constraints: 6691
389.21/390.52 c #Conflicts: 44000 | #Constraints: 7691
389.21/390.52 c #Conflicts: 45000 | #Constraints: 8691
389.21/390.52 c #Conflicts: 46000 | #Constraints: 9691
389.21/390.52 c #Conflicts: 47000 | #Constraints: 10691
389.21/390.52 c #Conflicts: 48000 | #Constraints: 11691
389.21/390.52 c #Conflicts: 49000 | #Constraints: 12691
389.21/390.52 c #Conflicts: 50000 | #Constraints: 13691
389.21/390.52 c #Conflicts: 51000 | #Constraints: 14691
389.21/390.52 c #Conflicts: 52000 | #Constraints: 15691
389.21/390.52 c #Conflicts: 53000 | #Constraints: 16691
389.21/390.52 c #Conflicts: 54000 | #Constraints: 17691
389.21/390.52 c #Conflicts: 55000 | #Constraints: 18691
389.21/390.52 c #Conflicts: 56000 | #Constraints: 19691
389.21/390.52 c #Conflicts: 57000 | #Constraints: 20691
389.21/390.52 c #Conflicts: 58000 | #Constraints: 21691
389.21/390.52 c INPROCESSING
389.21/390.52 c GARBAGE COLLECT
389.21/390.52 c #Conflicts: 59000 | #Constraints: 12227
389.21/390.52 c #Conflicts: 60000 | #Constraints: 13227
389.21/390.52 c #Conflicts: 61000 | #Constraints: 14227
389.21/390.52 c #Conflicts: 62000 | #Constraints: 15227
389.21/390.52 c #Conflicts: 63000 | #Constraints: 16227
389.21/390.52 c #Conflicts: 64000 | #Constraints: 17227
389.21/390.52 c #Conflicts: 65000 | #Constraints: 18227
389.21/390.52 c INPROCESSING
389.21/390.52 c GARBAGE COLLECT
389.21/390.52 c #Conflicts: 66000 | #Constraints: 10893
389.21/390.52 c #Conflicts: 67000 | #Constraints: 11893
389.21/390.52 c GLOBAL bounds - >= 3620785036 @ 384.416
389.21/390.54 c GLOBAL bounds - >= 3620785036 @ 384.435
389.21/390.54 c GLOBAL bounds - >= 3620785036 @ 384.438
389.21/390.56 c GLOBAL bounds - >= 3620785036 @ 384.451
389.21/390.56 c GLOBAL bounds - >= 3620785036 @ 384.451
389.21/390.58 c GLOBAL bounds - >= 3620785036 @ 384.464
389.21/390.58 c GLOBAL bounds - >= 3620785036 @ 384.465
389.31/390.60 c GLOBAL bounds - >= 3620785036 @ 384.478
389.31/390.60 c GLOBAL bounds - >= 3620785036 @ 384.481
389.31/390.62 c GLOBAL bounds - >= 3620785036 @ 384.493
389.31/390.62 c GLOBAL bounds - >= 3620785036 @ 384.494
389.31/390.64 c GLOBAL bounds - >= 3620785036 @ 384.509
389.31/390.64 c GLOBAL bounds - >= 3620785036 @ 384.51
389.31/390.66 c GLOBAL bounds - >= 3620785036 @ 384.524
389.31/390.66 c GLOBAL bounds - >= 3620785036 @ 384.526
389.31/390.68 c GLOBAL bounds - >= 3620785036 @ 384.539
389.31/390.68 c GLOBAL bounds - >= 3620785036 @ 384.54
389.41/390.70 c GLOBAL bounds - >= 3620785036 @ 384.554
389.41/390.70 c GLOBAL bounds - >= 3620785036 @ 384.557
389.41/390.72 c GLOBAL bounds - >= 3620785036 @ 384.571
389.41/390.72 c GLOBAL bounds - >= 3620785036 @ 384.573
389.41/390.74 c GLOBAL bounds - >= 3620785036 @ 384.588
389.41/390.76 c GLOBAL bounds - >= 3620785036 @ 384.602
389.41/390.78 c GLOBAL bounds - >= 3620785036 @ 384.618
389.41/390.79 c GLOBAL bounds - >= 3620785036 @ 384.63
389.51/390.82 c GLOBAL bounds - >= 3620785036 @ 384.655
389.61/390.98 c GLOBAL bounds - >= 3620785036 @ 384.812
615.28/617.38 c #Conflicts: 68000 | #Constraints: 12929
615.28/617.38 c #Conflicts: 69000 | #Constraints: 13929
615.28/617.38 c #Conflicts: 70000 | #Constraints: 14929
615.28/617.38 c #Conflicts: 71000 | #Constraints: 15929
615.28/617.38 c INPROCESSING
615.28/617.38 c GARBAGE COLLECT
615.28/617.38 c #Conflicts: 72000 | #Constraints: 9553
615.28/617.38 c #Conflicts: 73000 | #Constraints: 10553
615.28/617.38 c #Conflicts: 74000 | #Constraints: 11553
615.28/617.38 c #Conflicts: 75000 | #Constraints: 12553
615.28/617.38 c #Conflicts: 76000 | #Constraints: 13553
615.28/617.38 c #Conflicts: 77000 | #Constraints: 14553
615.28/617.38 c #Conflicts: 78000 | #Constraints: 15553
615.28/617.38 c INPROCESSING
615.28/617.38 c GARBAGE COLLECT
615.28/617.38 c #Conflicts: 79000 | #Constraints: 9569
615.28/617.38 c #Conflicts: 80000 | #Constraints: 10569
615.28/617.38 c #Conflicts: 81000 | #Constraints: 11569
615.28/617.38 c #Conflicts: 82000 | #Constraints: 12569
615.28/617.38 c #Conflicts: 83000 | #Constraints: 13569
615.28/617.38 c #Conflicts: 84000 | #Constraints: 14569
615.28/617.38 c INPROCESSING
615.28/617.38 c GARBAGE COLLECT
615.28/617.38 c #Conflicts: 85000 | #Constraints: 8680
615.28/617.38 c #Conflicts: 86000 | #Constraints: 9680
615.28/617.38 c #Conflicts: 87000 | #Constraints: 10680
615.28/617.38 c #Conflicts: 88000 | #Constraints: 11680
615.28/617.38 c #Conflicts: 89000 | #Constraints: 12680
615.28/617.38 c #Conflicts: 90000 | #Constraints: 13680
615.28/617.38 c #Conflicts: 91000 | #Constraints: 14680
615.28/617.38 c INPROCESSING
615.28/617.38 c GARBAGE COLLECT
615.28/617.38 c #Conflicts: 92000 | #Constraints: 8736
615.28/617.38 c #Conflicts: 93000 | #Constraints: 9736
615.28/617.38 c #Conflicts: 94000 | #Constraints: 10736
615.28/617.38 c #Conflicts: 95000 | #Constraints: 11736
615.28/617.38 c #Conflicts: 96000 | #Constraints: 12736
615.28/617.38 c #Conflicts: 97000 | #Constraints: 13736
615.28/617.38 c #Conflicts: 98000 | #Constraints: 14736
615.28/617.38 c #Conflicts: 99000 | #Constraints: 15736
615.28/617.38 c INPROCESSING
615.28/617.38 c GARBAGE COLLECT
615.28/617.38 c #Conflicts: 100000 | #Constraints: 9661
615.28/617.38 c #Conflicts: 101000 | #Constraints: 10661
615.28/617.38 c #Conflicts: 102000 | #Constraints: 11661
615.28/617.38 c #Conflicts: 103000 | #Constraints: 12661
615.28/617.38 c #Conflicts: 104000 | #Constraints: 13661
615.28/617.38 c #Conflicts: 105000 | #Constraints: 14661
615.28/617.38 c #Conflicts: 106000 | #Constraints: 15661
615.28/617.38 c INPROCESSING
615.28/617.38 c GARBAGE COLLECT
615.28/617.38 c #Conflicts: 107000 | #Constraints: 9427
615.28/617.38 c GLOBAL bounds - >= 3620785042 @ 609.16
615.38/617.40 c GLOBAL bounds - >= 3620785042 @ 609.176
615.38/617.40 c GLOBAL bounds - >= 3620785042 @ 609.177
615.38/617.40 c GLOBAL bounds - >= 3620785042 @ 609.177
615.38/617.42 c GLOBAL bounds - >= 3620785042 @ 609.189
615.38/617.42 c GLOBAL bounds - >= 3620785042 @ 609.191
615.38/617.44 c GLOBAL bounds - >= 3620785042 @ 609.2
615.38/617.44 c GLOBAL bounds - >= 3620785042 @ 609.201
615.38/617.45 c GLOBAL bounds - >= 3620785042 @ 609.21
615.38/617.45 c GLOBAL bounds - >= 3620785042 @ 609.213
615.38/617.47 c GLOBAL bounds - >= 3620785042 @ 609.222
615.38/617.47 c GLOBAL bounds - >= 3620785042 @ 609.223
615.38/617.49 c GLOBAL bounds - >= 3620785042 @ 609.233
615.38/617.49 c GLOBAL bounds - >= 3620785042 @ 609.236
615.48/617.50 c GLOBAL bounds - >= 3620785042 @ 609.247
615.48/617.51 c GLOBAL bounds - >= 3620785042 @ 609.249
615.48/617.52 c GLOBAL bounds - >= 3620785042 @ 609.262
615.48/617.53 c GLOBAL bounds - >= 3620785042 @ 609.262
615.48/617.54 c GLOBAL bounds - >= 3620785042 @ 609.274
615.48/617.54 c GLOBAL bounds - >= 3620785042 @ 609.276
615.48/617.56 c GLOBAL bounds - >= 3620785042 @ 609.287
615.48/617.56 c GLOBAL bounds - >= 3620785042 @ 609.289
615.48/617.58 c GLOBAL bounds - >= 3620785042 @ 609.301
615.48/617.59 c GLOBAL bounds - >= 3620785042 @ 609.314
615.59/617.61 c GLOBAL bounds - >= 3620785042 @ 609.328
615.59/617.63 c GLOBAL bounds - >= 3620785042 @ 609.346
615.99/618.03 c GLOBAL bounds - >= 3620785042 @ 609.74
1569.07/1574.08 c #Conflicts: 108000 | #Constraints: 10453
1569.07/1574.08 c #Conflicts: 109000 | #Constraints: 11453
1569.07/1574.08 c #Conflicts: 110000 | #Constraints: 12453
1569.07/1574.08 c #Conflicts: 111000 | #Constraints: 13453
1569.07/1574.08 c #Conflicts: 112000 | #Constraints: 14453
1569.07/1574.08 c #Conflicts: 113000 | #Constraints: 15453
1569.07/1574.08 c #Conflicts: 114000 | #Constraints: 16453
1569.07/1574.08 c INPROCESSING
1569.07/1574.08 c GARBAGE COLLECT
1569.07/1574.08 c #Conflicts: 115000 | #Constraints: 10031
1569.07/1574.08 c #Conflicts: 116000 | #Constraints: 11031
1569.07/1574.08 c #Conflicts: 117000 | #Constraints: 12031
1569.07/1574.08 c #Conflicts: 118000 | #Constraints: 13031
1569.07/1574.08 c #Conflicts: 119000 | #Constraints: 14031
1569.07/1574.08 c #Conflicts: 120000 | #Constraints: 15031
1569.07/1574.08 c #Conflicts: 121000 | #Constraints: 16031
1569.07/1574.08 c #Conflicts: 122000 | #Constraints: 17031
1569.07/1574.08 c #Conflicts: 123000 | #Constraints: 18031
1569.07/1574.08 c #Conflicts: 124000 | #Constraints: 19031
1569.07/1574.08 c #Conflicts: 125000 | #Constraints: 20031
1569.07/1574.08 c #Conflicts: 126000 | #Constraints: 21031
1569.07/1574.08 c #Conflicts: 127000 | #Constraints: 22031
1569.07/1574.08 c #Conflicts: 128000 | #Constraints: 23031
1569.07/1574.08 c #Conflicts: 129000 | #Constraints: 24031
1569.07/1574.08 c #Conflicts: 130000 | #Constraints: 25031
1569.07/1574.08 c #Conflicts: 131000 | #Constraints: 26031
1569.07/1574.08 c #Conflicts: 132000 | #Constraints: 27031
1569.07/1574.08 c #Conflicts: 133000 | #Constraints: 28031
1569.07/1574.08 c #Conflicts: 134000 | #Constraints: 29031
1569.07/1574.08 c #Conflicts: 135000 | #Constraints: 30031
1569.07/1574.08 c #Conflicts: 136000 | #Constraints: 31031
1569.07/1574.08 c #Conflicts: 137000 | #Constraints: 32031
1569.07/1574.08 c #Conflicts: 138000 | #Constraints: 33031
1569.07/1574.08 c #Conflicts: 139000 | #Constraints: 34031
1569.07/1574.08 c #Conflicts: 140000 | #Constraints: 35031
1569.07/1574.08 c INPROCESSING
1569.07/1574.08 c GARBAGE COLLECT
1569.07/1574.08 c #Conflicts: 141000 | #Constraints: 18973
1569.07/1574.08 c #Conflicts: 142000 | #Constraints: 19973
1569.07/1574.08 c #Conflicts: 143000 | #Constraints: 20973
1569.07/1574.08 c #Conflicts: 144000 | #Constraints: 21973
1569.07/1574.08 c #Conflicts: 145000 | #Constraints: 22973
1569.07/1574.08 c #Conflicts: 146000 | #Constraints: 23973
1569.07/1574.08 c #Conflicts: 147000 | #Constraints: 24973
1569.07/1574.08 c #Conflicts: 148000 | #Constraints: 25973
1569.07/1574.08 c #Conflicts: 149000 | #Constraints: 26973
1569.07/1574.08 c INPROCESSING
1569.07/1574.08 c GARBAGE COLLECT
1569.07/1574.08 c #Conflicts: 150000 | #Constraints: 14994
1569.07/1574.08 c #Conflicts: 151000 | #Constraints: 15994
1569.07/1574.08 c #Conflicts: 152000 | #Constraints: 16994
1569.07/1574.08 c #Conflicts: 153000 | #Constraints: 17994
1569.07/1574.08 c #Conflicts: 154000 | #Constraints: 18994
1569.07/1574.08 c #Conflicts: 155000 | #Constraints: 19994
1569.07/1574.08 c #Conflicts: 156000 | #Constraints: 20994
1569.07/1574.08 c #Conflicts: 157000 | #Constraints: 21994
1569.07/1574.08 c #Conflicts: 158000 | #Constraints: 22994
1569.07/1574.08 c INPROCESSING
1569.07/1574.08 c GARBAGE COLLECT
1569.07/1574.08 c #Conflicts: 159000 | #Constraints: 12956
1569.07/1574.08 c #Conflicts: 160000 | #Constraints: 13956
1569.07/1574.08 c #Conflicts: 161000 | #Constraints: 14956
1569.07/1574.08 c #Conflicts: 162000 | #Constraints: 15956
1569.07/1574.08 c #Conflicts: 163000 | #Constraints: 16956
1569.07/1574.08 c #Conflicts: 164000 | #Constraints: 17956
1569.07/1574.08 c #Conflicts: 165000 | #Constraints: 18956
1569.07/1574.08 c #Conflicts: 166000 | #Constraints: 19956
1569.07/1574.08 c #Conflicts: 167000 | #Constraints: 20956
1569.07/1574.08 c #Conflicts: 168000 | #Constraints: 21956
1569.07/1574.08 c INPROCESSING
1569.07/1574.08 c GARBAGE COLLECT
1569.07/1574.08 c #Conflicts: 169000 | #Constraints: 12784
1569.07/1574.08 c #Conflicts: 170000 | #Constraints: 13784
1569.07/1574.08 c #Conflicts: 171000 | #Constraints: 14784
1569.07/1574.08 c #Conflicts: 172000 | #Constraints: 15784
1569.07/1574.08 c #Conflicts: 173000 | #Constraints: 16784
1569.07/1574.08 c #Conflicts: 174000 | #Constraints: 17784
1569.07/1574.08 c #Conflicts: 175000 | #Constraints: 18784
1569.07/1574.08 c #Conflicts: 176000 | #Constraints: 19784
1569.07/1574.08 c #Conflicts: 177000 | #Constraints: 20784
1569.07/1574.08 c INPROCESSING
1569.07/1574.08 c GARBAGE COLLECT
1569.07/1574.08 c #Conflicts: 178000 | #Constraints: 11948
1569.07/1574.08 c #Conflicts: 179000 | #Constraints: 12948
1569.07/1574.08 c #Conflicts: 180000 | #Constraints: 13948
1569.07/1574.08 c #Conflicts: 181000 | #Constraints: 14948
1569.07/1574.08 c #Conflicts: 182000 | #Constraints: 15948
2281.43/2288.58 c #Conflicts: 183000 | #Constraints: 16948
2281.43/2288.58 c #Conflicts: 184000 | #Constraints: 17948
2281.43/2288.58 c #Conflicts: 185000 | #Constraints: 18948
2281.43/2288.58 c #Conflicts: 186000 | #Constraints: 19948
2281.43/2288.58 c #Conflicts: 187000 | #Constraints: 20948
2281.43/2288.58 c INPROCESSING
2281.43/2288.58 c GARBAGE COLLECT
2281.43/2288.58 c #Conflicts: 188000 | #Constraints: 12180
2281.43/2288.58 c #Conflicts: 189000 | #Constraints: 13180
2281.43/2288.58 c #Conflicts: 190000 | #Constraints: 14180
2281.43/2288.58 c #Conflicts: 191000 | #Constraints: 15180
2281.43/2288.58 c #Conflicts: 192000 | #Constraints: 16180
2281.43/2288.58 c #Conflicts: 193000 | #Constraints: 17180
2281.43/2288.58 c #Conflicts: 194000 | #Constraints: 18180
2281.43/2288.58 c #Conflicts: 195000 | #Constraints: 19180
2281.43/2288.58 c #Conflicts: 196000 | #Constraints: 20180
2281.43/2288.58 c #Conflicts: 197000 | #Constraints: 21180
2281.43/2288.58 c INPROCESSING
2281.43/2288.58 c GARBAGE COLLECT
2281.43/2288.58 c #Conflicts: 198000 | #Constraints: 12346
2281.43/2288.58 c #Conflicts: 199000 | #Constraints: 13346
2281.43/2288.58 c #Conflicts: 200000 | #Constraints: 14346
2281.43/2288.58 c #Conflicts: 201000 | #Constraints: 15346
2281.43/2288.58 c #Conflicts: 202000 | #Constraints: 16346
2281.43/2288.58 c #Conflicts: 203000 | #Constraints: 17346
2281.43/2288.58 c #Conflicts: 204000 | #Constraints: 18346
2281.43/2288.58 c #Conflicts: 205000 | #Constraints: 19346
2281.43/2288.58 c #Conflicts: 206000 | #Constraints: 20346
2281.43/2288.58 c #Conflicts: 207000 | #Constraints: 21346
2281.43/2288.58 c INPROCESSING
2281.43/2288.58 c GARBAGE COLLECT
2281.43/2288.58 c #Conflicts: 208000 | #Constraints: 12381
2281.43/2288.58 c #Conflicts: 209000 | #Constraints: 13381
2281.43/2288.58 c #Conflicts: 210000 | #Constraints: 14381
2281.43/2288.58 c #Conflicts: 211000 | #Constraints: 15381
2281.43/2288.58 c #Conflicts: 212000 | #Constraints: 16381
2281.43/2288.58 c #Conflicts: 213000 | #Constraints: 17381
2281.43/2288.58 c #Conflicts: 214000 | #Constraints: 18381
2281.43/2288.58 c #Conflicts: 215000 | #Constraints: 19381
2281.43/2288.58 c #Conflicts: 216000 | #Constraints: 20381
2281.43/2288.58 c #Conflicts: 217000 | #Constraints: 21381
2281.43/2288.58 c INPROCESSING
2281.43/2288.58 c GARBAGE COLLECT
2281.43/2288.58 c #Conflicts: 218000 | #Constraints: 12247
2281.43/2288.58 c #Conflicts: 219000 | #Constraints: 13247
2281.43/2288.58 c #Conflicts: 220000 | #Constraints: 14247
2281.43/2288.58 c #Conflicts: 221000 | #Constraints: 15247
2281.43/2288.58 c #Conflicts: 222000 | #Constraints: 16247
2281.43/2288.58 c #Conflicts: 223000 | #Constraints: 17247
2281.43/2288.58 c #Conflicts: 224000 | #Constraints: 18247
2281.43/2288.58 c #Conflicts: 225000 | #Constraints: 19247
2281.43/2288.58 c #Conflicts: 226000 | #Constraints: 20247
2281.43/2288.58 c #Conflicts: 227000 | #Constraints: 21247
2281.43/2288.58 c #Conflicts: 228000 | #Constraints: 22247
2281.43/2288.58 c INPROCESSING
2281.43/2288.58 c GARBAGE COLLECT
2281.43/2288.58 c #Conflicts: 229000 | #Constraints: 12930
2281.43/2288.58 c #Conflicts: 230000 | #Constraints: 13930
2281.43/2288.58 c #Conflicts: 231000 | #Constraints: 14930
2281.43/2288.58 c #Conflicts: 232000 | #Constraints: 15930
2281.43/2288.58 c #Conflicts: 233000 | #Constraints: 16930
2281.43/2288.58 c #Conflicts: 234000 | #Constraints: 17930
2281.43/2288.58 c #Conflicts: 235000 | #Constraints: 18930
2281.43/2288.58 c #Conflicts: 236000 | #Constraints: 19930
2281.43/2288.58 c #Conflicts: 237000 | #Constraints: 20930
2281.43/2288.58 c #Conflicts: 238000 | #Constraints: 21930
2281.43/2288.58 c INPROCESSING
2281.43/2288.58 c GARBAGE COLLECT
2281.43/2288.58 c #Conflicts: 239000 | #Constraints: 12422
2281.43/2288.58 c #Conflicts: 240000 | #Constraints: 13422
2281.43/2288.58 c #Conflicts: 241000 | #Constraints: 14422
2281.43/2288.58 c #Conflicts: 242000 | #Constraints: 15422
2281.43/2288.58 c #Conflicts: 243000 | #Constraints: 16422
2281.43/2288.58 c #Conflicts: 244000 | #Constraints: 17422
2281.43/2288.58 c #Conflicts: 245000 | #Constraints: 18422
2281.43/2288.58 c #Conflicts: 246000 | #Constraints: 19422
2281.43/2288.58 c #Conflicts: 247000 | #Constraints: 20422
2281.43/2288.58 c #Conflicts: 248000 | #Constraints: 21422
2281.43/2288.58 c #Conflicts: 249000 | #Constraints: 22422
2281.43/2288.58 c INPROCESSING
2281.43/2288.58 c GARBAGE COLLECT
2281.43/2288.58 c #Conflicts: 250000 | #Constraints: 12718
2281.43/2288.58 c #Conflicts: 251000 | #Constraints: 13718
2281.43/2288.58 c #Conflicts: 252000 | #Constraints: 14718
2281.43/2288.58 c #Conflicts: 253000 | #Constraints: 15718
2281.43/2288.58 c #Conflicts: 254000 | #Constraints: 16718
2281.43/2288.58 c #Conflicts: 255000 | #Constraints: 17718
2281.43/2288.58 c #Conflicts: 256000 | #Constraints: 18718
2281.43/2288.58 c #Conflicts: 257000 | #Constraints: 19718
2294.59/2301.76 c GLOBAL bounds - >= 3620785048 @ 2282.35
2294.69/2301.80 c GLOBAL bounds - >= 3620785048 @ 2282.38
2294.69/2301.80 c GLOBAL bounds - >= 3620785048 @ 2282.38
2294.69/2301.80 c GLOBAL bounds - >= 3620785048 @ 2282.39
2294.69/2301.83 c GLOBAL bounds - >= 3620785048 @ 2282.41
2294.69/2301.83 c GLOBAL bounds - >= 3620785048 @ 2282.41
2294.69/2301.86 c GLOBAL bounds - >= 3620785048 @ 2282.43
2294.69/2301.86 c GLOBAL bounds - >= 3620785048 @ 2282.43
2294.69/2301.88 c GLOBAL bounds - >= 3620785048 @ 2282.45
2294.69/2301.89 c GLOBAL bounds - >= 3620785048 @ 2282.45
2294.80/2301.92 c GLOBAL bounds - >= 3620785048 @ 2282.47
2294.80/2301.92 c GLOBAL bounds - >= 3620785048 @ 2282.48
2294.80/2301.95 c GLOBAL bounds - >= 3620785048 @ 2282.5
2294.80/2301.95 c GLOBAL bounds - >= 3620785048 @ 2282.5
2294.80/2301.98 c GLOBAL bounds - >= 3620785048 @ 2282.52
2294.80/2301.98 c GLOBAL bounds - >= 3620785048 @ 2282.52
2294.80/2302.01 c GLOBAL bounds - >= 3620785048 @ 2282.55
2294.80/2302.01 c GLOBAL bounds - >= 3620785048 @ 2282.55
2294.90/2302.04 c GLOBAL bounds - >= 3620785048 @ 2282.58
2294.90/2302.04 c GLOBAL bounds - >= 3620785048 @ 2282.58
2294.90/2302.07 c GLOBAL bounds - >= 3620785048 @ 2282.61
2294.90/2302.07 c GLOBAL bounds - >= 3620785048 @ 2282.61
2294.90/2302.10 c GLOBAL bounds - >= 3620785048 @ 2282.63
2295.00/2302.12 c GLOBAL bounds - >= 3620785048 @ 2282.65
2295.00/2302.15 c GLOBAL bounds - >= 3620785048 @ 2282.68
2295.00/2302.17 c GLOBAL bounds - >= 3620785048 @ 2282.7
2295.00/2302.20 c GLOBAL bounds - >= 3620785048 @ 2282.72
2295.10/2302.28 c GLOBAL bounds - >= 3620785048 @ 2282.79
2295.39/2302.53 c #Conflicts: 258000 | #Constraints: 20750
2295.39/2302.53 c GLOBAL bounds - >= 3620785048 @ 2283.05
3600.08/3611.43 c #Conflicts: 259000 | #Constraints: 21750
3600.08/3611.43 c #Conflicts: 260000 | #Constraints: 22750
3600.08/3611.43 c INPROCESSING
3600.08/3611.43 c GARBAGE COLLECT
3600.08/3611.43 c #Conflicts: 261000 | #Constraints: 12837
3600.08/3611.43 c #Conflicts: 262000 | #Constraints: 13837
3600.08/3611.43 c #Conflicts: 263000 | #Constraints: 14837
3600.08/3611.43 c #Conflicts: 264000 | #Constraints: 15837
3600.08/3611.43 c #Conflicts: 265000 | #Constraints: 16837
3600.08/3611.43 c #Conflicts: 266000 | #Constraints: 17837
3600.08/3611.43 c #Conflicts: 267000 | #Constraints: 18837
3600.08/3611.43 c #Conflicts: 268000 | #Constraints: 19837
3600.08/3611.43 c #Conflicts: 269000 | #Constraints: 20837
3600.08/3611.43 c #Conflicts: 270000 | #Constraints: 21837
3600.08/3611.43 c #Conflicts: 271000 | #Constraints: 22837
3600.08/3611.43 c #Conflicts: 272000 | #Constraints: 23837
3600.08/3611.43 c #Conflicts: 273000 | #Constraints: 24837
3600.08/3611.43 c #Conflicts: 274000 | #Constraints: 25837
3600.08/3611.43 c #Conflicts: 275000 | #Constraints: 26837
3600.08/3611.43 c #Conflicts: 276000 | #Constraints: 27837
3600.08/3611.43 c #Conflicts: 277000 | #Constraints: 28837
3600.08/3611.43 c #Conflicts: 278000 | #Constraints: 29837
3600.08/3611.43 c #Conflicts: 279000 | #Constraints: 30837
3600.08/3611.43 c #Conflicts: 280000 | #Constraints: 31837
3600.08/3611.43 c #Conflicts: 281000 | #Constraints: 32837
3600.08/3611.43 c #Conflicts: 282000 | #Constraints: 33837
3600.08/3611.43 c #Conflicts: 283000 | #Constraints: 34837
3600.08/3611.43 c #Conflicts: 284000 | #Constraints: 35837
3600.08/3611.43 c #Conflicts: 285000 | #Constraints: 36837
3600.08/3611.43 c #Conflicts: 286000 | #Constraints: 37837
3600.08/3611.43 c #Conflicts: 287000 | #Constraints: 38837
3600.08/3611.43 c #Conflicts: 288000 | #Constraints: 39837
3600.08/3611.43 c #Conflicts: 289000 | #Constraints: 40837
3600.08/3611.43 c #Conflicts: 290000 | #Constraints: 41837
3600.08/3611.43 c #Conflicts: 291000 | #Constraints: 42837
3600.08/3611.43 c #Conflicts: 292000 | #Constraints: 43837
3600.08/3611.43 c #Conflicts: 293000 | #Constraints: 44837
3600.08/3611.43 c #Conflicts: 294000 | #Constraints: 45837
3600.08/3611.43 c #Conflicts: 295000 | #Constraints: 46837
3600.08/3611.43 c #Conflicts: 296000 | #Constraints: 47837
3600.08/3611.43 c #Conflicts: 297000 | #Constraints: 48837
3600.08/3611.43 c #Conflicts: 298000 | #Constraints: 49837
3600.08/3611.43 c #Conflicts: 299000 | #Constraints: 50837
3600.08/3611.43 c #Conflicts: 300000 | #Constraints: 51837
3600.08/3611.43 c #Conflicts: 301000 | #Constraints: 52837
3600.08/3611.43 c #Conflicts: 302000 | #Constraints: 53837
3600.08/3611.43 c INPROCESSING
3600.08/3611.43 c GARBAGE COLLECT
3600.08/3611.43 c #Conflicts: 303000 | #Constraints: 28437
3600.08/3611.43 c #Conflicts: 304000 | #Constraints: 29437
3600.08/3611.43 c #Conflicts: 305000 | #Constraints: 30437
3600.08/3611.43 c #Conflicts: 306000 | #Constraints: 31437
3600.08/3611.43 c #Conflicts: 307000 | #Constraints: 32437
3600.08/3611.43 c #Conflicts: 308000 | #Constraints: 33437
3600.08/3611.43 c #Conflicts: 309000 | #Constraints: 34437
3600.08/3611.43 c #Conflicts: 310000 | #Constraints: 35437
3600.08/3611.43 c #Conflicts: 311000 | #Constraints: 36437
3600.08/3611.43 c #Conflicts: 312000 | #Constraints: 37437
3600.08/3611.43 c #Conflicts: 313000 | #Constraints: 38437
3600.08/3611.43 c cpu time 3585.16 s
3600.08/3611.43 c deterministic time 11037311 1.10e+07
3600.08/3611.43 c optimization time 3584.2 s
3600.08/3611.43 c total solve time 0.66665 s
3600.08/3611.43 c core-guided solve time 0 s
3600.08/3611.43 c propagation time 0.433034 s
3600.08/3611.43 c conflict analysis time 0.038378 s
3600.08/3611.43 c propagations 716315
3600.08/3611.43 c resolve steps 0
3600.08/3611.43 c decisions 1221361
3600.08/3611.43 c conflicts 289
3600.08/3611.43 c restarts 2
3600.08/3611.43 c inprocessing phases 0
3600.08/3611.43 c garbage collections 0 ,( -nan )
3600.08/3611.43 c input clauses 27372 ,( 97.94 )
3600.08/3611.43 c input cardinalities 278 ,( 0.99 )
3600.08/3611.43 c input general constraints 299 ,( 1.07 )
3600.08/3611.43 c input average constraint length 26.46
3600.08/3611.43 c input average constraint degree 17134622454.42
3600.08/3611.43 c learned clauses 291 ,( 99.66 )
3600.08/3611.43 c learned cardinalities 0 ,( 0.00 )
3600.08/3611.43 c learned general constraints 1 ,( 0.34 )
3600.08/3611.43 c learned average constraint length 2.82
3600.08/3611.43 c learned average constraint degree 1.01
3600.08/3611.43 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3611.43 c counting CF 32, 64, 128, Arb: 47 , 254 , 0 , 0
3600.08/3611.43 c watched constraints 0 ,( 0.00 )
3600.08/3611.43 c counting constraints 300 ,( 100.00 )
3600.08/3611.43 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 341599 , 1928 , 2750642 ,( 0 , 2750642 )
3600.08/3611.43 c gcd simplifications 0
3600.08/3611.43 c detected cardinalities 0
3600.08/3611.43 c weakened non-implied lits 0
3600.08/3611.43 c weakened non-implying lits 0
3600.08/3611.43 c original variables 6548
3600.08/3611.43 c clausal propagations 335001
3600.08/3611.43 c cardinality propagations 257
3600.08/3611.43 c watched propagations 0
3600.08/3611.43 c counting propagations 56301
3600.08/3611.43 c watch lookups 6597420
3600.08/3611.43 c watch backjump lookups 0
3600.08/3611.43 c watch checks 149544
3600.08/3611.43 c propagation checks 405259
3600.08/3611.43 c constraint additions 7861
3600.08/3611.43 c trail pops 1936996
3600.08/3611.43 c formula constraints 27064
3600.08/3611.43 c learned constraints 292
3600.08/3611.43 c bound constraints 0
3600.08/3611.43 c core-guided constraints 0
3600.08/3611.43 c encountered formula constraints 289
3600.08/3611.43 c encountered learned constraints 0
3600.08/3611.43 c encountered bound constraints 0
3600.08/3611.43 c encountered core-guided constraints 0
3600.08/3611.43 c LP total time 0.256106 s
3600.08/3611.43 c LP solve time 0.24 s
3600.08/3611.43 c LP constraints added 27064
3600.08/3611.43 c LP constraints removed 0
3600.08/3611.43 c LP pivots internal 1554
3600.08/3611.43 c LP pivots root 1000
3600.08/3611.43 c LP calls 2
3600.08/3611.43 c LP optimalities 1
3600.08/3611.43 c LP no pivot count 0
3600.08/3611.43 c LP infeasibilities 0
3600.08/3611.43 c LP valid Farkas constraints 0
3600.08/3611.43 c LP learned Farkas constraints 0
3600.08/3611.43 c LP basis resets 0
3600.08/3611.43 c LP cycling count 0
3600.08/3611.43 c LP singular count 0
3600.08/3611.43 c LP no primal count 0
3600.08/3611.43 c LP no farkas count 0
3600.08/3611.43 c LP other issue count 0
3600.08/3611.43 c LP Gomory cuts 0
3600.08/3611.43 c LP learned cuts 0
3600.08/3611.43 c LP deleted cuts 0
3600.08/3611.43 c LP encountered Gomory constraints 0
3600.08/3611.43 c LP encountered Farkas constraints 0
3600.08/3611.43 c LP encountered learned Farkas constraints 0
3600.08/3611.43 c CG auxiliary variables introduced 295
3600.08/3611.43 c CG solutions found 0
3600.08/3611.43 c CG cores constructed 414
3600.08/3611.43 c CG core cardinality constraints returned 0
3600.08/3611.43 c CG unit cores 122
3600.08/3611.43 c CG single cores 0
3600.08/3611.43 c CG blocks removed during cardinality reduction 0
3600.08/3611.43 c CG first core best 0
3600.08/3611.43 c CG decision core best 0
3600.08/3611.43 c CG core reduction tie 0
3600.08/3611.43 c CG core degree average 0.00
3600.08/3611.43 c CG core slack average 0.00
3600.08/3611.43 c CG core upper bound improvements 0
3600.08/3611.43 c STR number of successful calls 0
3600.08/3611.43 c STR number of unsuccessful calls 0
3600.08/3611.43 c STR number of inconclusive calls 0
3600.08/3611.43 c STR number of successful attempts 0
3600.08/3611.43 c STR number of unsuccessful attempts 0
3600.08/3611.43 c STR number of inconclusive attempts 0
3600.08/3611.43 c STR average degree increase per successful call inf
3600.08/3611.43 c STR average degree increase per successful attempt inf
3600.08/3611.43 c STR total number of conflicts for successful attempts 0
3600.08/3611.43 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.43 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.43 c STR average number of conflicts per successful attempt inf
3600.08/3611.43 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.43 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.43 c AVG.sumWPerc 100.00
3600.08/3611.43 c bigint constraints 254
3600.08/3611.43 s UNKNOWN
3600.08/3611.43 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: 63837 MiB (62011 MiB free)
memory of node 1: 64465 MiB (63642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500409-1751421220/watcher-4500409-1751421220 -o /tmp/evaluation-result-4500409-1751421220/solver-4500409-1751421220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751421217-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500409-1751421220.opb PROOFDIR/proof-4500409-1751421220
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=62828, runsolver pid=62824
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 0.67 0.74 0.92 5/253 62841
/proc/meminfo: memFree=128669144/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=57104 memory=10692 CPUtime=0.07 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 979 0 0 0 5 2 0 0 20 0 1 0 57801398 58474496 2673 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 14276 2673 1984 1147 0 1703 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61296 KiB
Current children cumulated memory: 13636 KiB
[startup+0.214143 s]*
/proc/loadavg: 0.67 0.74 0.92 4/252 62841
/proc/meminfo: memFree=128669080/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=58524 memory=12484 CPUtime=0.19 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 1444 0 0 0 14 5 0 0 20 0 1 0 57801398 59928576 3121 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 14631 3121 1984 1147 0 2058 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62716 KiB
Current children cumulated memory: 15428 KiB
[startup+0.314098 s]*
/proc/loadavg: 0.67 0.74 0.92 4/251 62841
/proc/meminfo: memFree=128665300/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=65964 memory=20648 CPUtime=0.28 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 3683 0 0 0 21 7 0 0 20 0 1 0 57801398 67547136 5162 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 16491 5162 2272 1147 0 3918 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 70156 KiB
Current children cumulated memory: 23592 KiB
[startup+0.700392 s]
/proc/loadavg: 0.67 0.74 0.92 4/249 62854
/proc/meminfo: memFree=128643504/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=100860 memory=48928 CPUtime=0.65 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 8312 0 0 0 55 10 0 0 20 0 1 0 57801398 103280640 12232 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 25215 12232 2400 1147 0 12642 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 105052 KiB
Current children cumulated memory: 51872 KiB
[startup+1.50037 s]
/proc/loadavg: 0.67 0.74 0.92 5/247 62871
/proc/meminfo: memFree=128649272/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=109428 memory=57376 CPUtime=1.45 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 10430 0 0 0 97 48 0 0 20 0 1 0 57801398 112054272 14344 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 27357 14344 2400 1147 0 14784 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 113620 KiB
Current children cumulated memory: 60320 KiB
[startup+3.11378 s]
/proc/loadavg: 0.86 0.77 0.93 3/239 62910
/proc/meminfo: memFree=128635328/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=135016 memory=86368 CPUtime=3.05 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 17153 0 0 0 201 104 0 0 20 0 1 0 57801398 138256384 21592 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 33754 21592 2400 1147 0 21181 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 139208 KiB
Current children cumulated memory: 89312 KiB
[startup+6.30035 s]
/proc/loadavg: 0.86 0.77 0.93 2/239 62910
/proc/meminfo: memFree=128527540/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=228316 memory=163432 CPUtime=6.24 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 31334 0 0 0 476 148 0 0 20 0 1 0 57801398 233795584 40858 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 57079 40858 2400 1147 0 44506 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 232508 KiB
Current children cumulated memory: 166376 KiB
[startup+12.7004 s]
/proc/loadavg: 0.95 0.80 0.94 2/239 62910
/proc/meminfo: memFree=128428016/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=285440 memory=219604 CPUtime=12.62 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 41803 0 0 0 1082 180 0 0 20 0 1 0 57801398 292290560 54901 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 71360 54901 2400 1147 0 58787 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 289632 KiB
Current children cumulated memory: 222548 KiB
[startup+25.5005 s]
/proc/loadavg: 0.96 0.81 0.94 2/238 62910
/proc/meminfo: memFree=128221532/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=429536 memory=314108 CPUtime=25.38 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 61327 0 0 0 2317 221 0 0 20 0 1 0 57801398 439844864 78527 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 107384 78527 2400 1147 0 94811 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 433728 KiB
Current children cumulated memory: 317052 KiB
[startup+51.114 s]
/proc/loadavg: 1.04 0.84 0.95 2/240 62913
/proc/meminfo: memFree=128010564/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=430048 memory=340832 CPUtime=50.93 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 64947 0 0 0 4840 253 0 0 20 0 1 0 57801398 440369152 85208 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 107512 85208 2400 1147 0 94939 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 434240 KiB
Current children cumulated memory: 343776 KiB
[startup+102.3 s]
/proc/loadavg: 1.05 0.88 0.96 2/244 62921
/proc/meminfo: memFree=127313336/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=787024 memory=646796 CPUtime=101.96 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 119304 0 0 0 9864 332 0 0 20 0 1 0 57801398 805912576 161699 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 196756 161699 2400 1147 0 184183 0
Current children cumulated CPU time: 101.96 s
Current children cumulated vsize: 791216 KiB
Current children cumulated memory: 649740 KiB
[startup+162.3 s]
/proc/loadavg: 1.06 0.92 0.97 2/243 62923
/proc/meminfo: memFree=126981260/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=787024 memory=646796 CPUtime=161.77 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 119349 0 0 0 15799 378 0 0 20 0 1 0 57801398 805912576 161699 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 196756 161699 2400 1147 0 184183 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 791216 KiB
Current children cumulated memory: 649740 KiB
[startup+222.3 s]
/proc/loadavg: 1.14 0.97 0.99 2/242 62925
/proc/meminfo: memFree=126822508/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=790352 memory=705968 CPUtime=221.57 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 127003 0 0 0 21755 402 0 0 20 0 1 0 57801398 809320448 176492 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 197588 176492 2400 1147 0 185015 0
################
# More data... #
################
/proc/62833/statm: 627559 558129 2400 1147 0 614986 0
Current children cumulated CPU time: 3032.88 s
Current children cumulated vsize: 2514428 KiB
Current children cumulated memory: 2235460 KiB
[startup+3102.3 s]
/proc/loadavg: 1.09 1.13 1.09 2/236 63085
/proc/meminfo: memFree=119165980/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2510236 memory=2292160 CPUtime=3092.68 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 342893 0 0 0 307857 1411 0 0 20 0 1 0 57801398 2570481664 573040 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 627559 573040 2400 1147 0 614986 0
Current children cumulated CPU time: 3092.68 s
Current children cumulated vsize: 2514428 KiB
Current children cumulated memory: 2295104 KiB
[startup+3162.3 s]
/proc/loadavg: 1.13 1.13 1.09 2/236 63087
/proc/meminfo: memFree=119044032/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2355756 CPUtime=3152.49 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 345728 0 0 0 313827 1422 0 0 20 0 1 0 57801398 2929160192 588939 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 588939 2400 1147 0 702554 0
Current children cumulated CPU time: 3152.49 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2358700 KiB
[startup+3222.3 s]
/proc/loadavg: 1.09 1.12 1.09 2/235 63089
/proc/meminfo: memFree=118968128/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2407172 CPUtime=3212.27 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 347126 0 0 0 319798 1429 0 0 20 0 1 0 57801398 2929160192 601793 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 601793 2400 1147 0 702554 0
Current children cumulated CPU time: 3212.27 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2410116 KiB
[startup+3282.3 s]
/proc/loadavg: 1.15 1.13 1.09 2/235 63095
/proc/meminfo: memFree=118879640/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2460476 CPUtime=3272.07 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 348322 0 0 0 325768 1439 0 0 20 0 1 0 57801398 2929160192 615119 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 615119 2400 1147 0 702554 0
Current children cumulated CPU time: 3272.07 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2463420 KiB
[startup+3342.3 s]
/proc/loadavg: 1.12 1.12 1.09 2/235 63097
/proc/meminfo: memFree=118812540/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2500512 CPUtime=3331.86 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 348900 0 0 0 331740 1446 0 0 20 0 1 0 57801398 2929160192 625128 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 625128 2400 1147 0 702554 0
Current children cumulated CPU time: 3331.86 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2503456 KiB
[startup+3402.3 s]
/proc/loadavg: 1.04 1.09 1.08 2/234 63099
/proc/meminfo: memFree=118716832/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2540536 CPUtime=3391.67 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 349135 0 0 0 337713 1454 0 0 20 0 1 0 57801398 2929160192 635134 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 635134 2400 1147 0 702554 0
Current children cumulated CPU time: 3391.67 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2543480 KiB
[startup+3462.3 s]
/proc/loadavg: 1.11 1.10 1.09 2/235 63103
/proc/meminfo: memFree=118629848/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2541304 CPUtime=3451.46 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 349160 0 0 0 343679 1467 0 0 20 0 1 0 57801398 2929160192 635326 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 635326 2400 1147 0 702554 0
Current children cumulated CPU time: 3451.46 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2544248 KiB
[startup+3522.3 s]
/proc/loadavg: 1.09 1.10 1.09 2/236 63106
/proc/meminfo: memFree=118604444/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2541304 CPUtime=3511.26 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 349279 0 0 0 349645 1481 0 0 20 0 1 0 57801398 2929160192 635326 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 635326 2400 1147 0 702554 0
Current children cumulated CPU time: 3511.26 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2544248 KiB
[startup+3582.3 s]
/proc/loadavg: 1.11 1.11 1.09 2/237 63109
/proc/meminfo: memFree=118542612/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2541304 CPUtime=3571.07 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 350169 0 0 0 355616 1491 0 0 20 0 1 0 57801398 2929160192 635326 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 635326 2400 1147 0 702554 0
Current children cumulated CPU time: 3571.07 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2544248 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 1.07 1.10 1.09 2/237 63111
/proc/meminfo: memFree=118525900/131382112 swapFree=33010684/33010684
[pid=62828] ppid=62824 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/62828/stat : 62828 (run-opt-log.sh) S 62824 62828 62217 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 57801396 4292608 736 18446744073709551615 94269594812416 94269595706949 140731498476128 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94269595946000 94269595993744 94269620801536 140731498477857 140731498478052 140731498478052 140731498483654 0
/proc/62828/statm: 1048 736 672 219 0 110 0
[pid=62833] ppid=62828 vsize=2860508 memory=2541304 CPUtime=3600.08 cores=4,6
/proc/62833/stat : 62833 (roundingsat) R 62828 62828 62217 0 -1 4194304 350172 0 0 0 358512 1496 0 0 20 0 1 0 57801398 2929160192 635326 18446744073709551615 4227072 8923433 140721543460624 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 10862592 140721543465298 140721543465512 140721543465512 140721543471082 0
/proc/62833/statm: 715127 635326 2400 1147 0 702554 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2864700 KiB
Current children cumulated memory: 2544248 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.41 s]
# the end of solver process 62828 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000951 s, system=0.005014 s
Sleeping 2 seconds
[startup+3611.46 s]
# the end of solver process 62833 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.17 s, system=14.9867 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3611.46
CPU time (s): 3600.15
CPU user time (s): 3585.17
CPU system time (s): 14.9867
CPU usage (%): 99.687
Max. virtual memory (cumulated for all children) (KiB): 2864700
Max. memory (cumulated for all children) (KiB): 2544248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.17
system time used= 14.9867
maximum resident set size= 2541816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 350408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15520096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 555
involuntary context switches= 22346
# summary of solver processes directly reported to runsolver:
# pid: 62828,62833
# total CPU time (s): 3600.15
# total CPU user time (s): 3585.17
# total CPU system time (s): 14.9867
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.5514 second user time and 40.7199 second system time
The end
Begin job on nodeC005 at 2025-07-02 03:53:40
IDJOB=4500409
IDBENCH=150894
IDSOLVER=3351
FILE ID=nodeC005/4500409-1751421220
RUNJOBID= nodeC005-1751421217-62690
SLURM_JOB_ID= 9598349
Free space on /tmp= 430368 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB10/OPT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand9ffe99.cudf.trendy.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4500409-1751421220/watcher-4500409-1751421220 -o /tmp/evaluation-result-4500409-1751421220/solver-4500409-1751421220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751421217-62690 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4500409-1751421220.opb PROOFDIR/proof-4500409-1751421220
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= cecbea88197e96b895758f934fbddac6
RANDOM SEED=309874494
nodeC005 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3392.228
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.632
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.239
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.178
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.293
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.816
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.240
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.242
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 128671064 kB
MemAvailable: 129829264 kB
Buffers: 2752 kB
Cached: 1956368 kB
SwapCached: 0 kB
Active: 422496 kB
Inactive: 1606280 kB
Active(anon): 79456 kB
Inactive(anon): 8164 kB
Active(file): 343040 kB
Inactive(file): 1598116 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 42760 kB
Writeback: 4 kB
AnonPages: 72772 kB
Mapped: 104052 kB
Shmem: 17960 kB
KReclaimable: 113340 kB
Slab: 198892 kB
SReclaimable: 113340 kB
SUnreclaim: 85552 kB
KernelStack: 4048 kB
PageTables: 3136 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 352728 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430372 MiB
End job on nodeC005 at 2025-07-02 04:53:52