0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.05 c #variables 7994 #constraints 560
0.00/0.05 c objective is ce64
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 273 , 288 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= -68719476658 @ 0.027333
0.00/0.06 c GLOBAL bounds - >= -68719476658 @ 0.030338
0.00/0.07 c GLOBAL bounds - >= -68719476658 @ 0.034169
0.00/0.08 c GLOBAL bounds - >= -68719476658 @ 0.037335
0.00/0.09 c GLOBAL bounds - >= -68719476658 @ 0.04084
0.00/0.09 c GLOBAL bounds - >= -68719476658 @ 0.041228
0.07/0.10 c GLOBAL bounds - >= -68719476658 @ 0.044988
0.07/0.11 c GLOBAL bounds - >= -68719476658 @ 0.047971
0.07/0.12 c GLOBAL bounds - >= -68719476658 @ 0.050379
0.07/0.13 c GLOBAL bounds - >= -68719476658 @ 0.05386
0.07/0.14 c GLOBAL bounds - >= -68719476658 @ 0.056933
0.07/0.14 c GLOBAL bounds - >= -68719476658 @ 0.060916
0.07/0.15 c GLOBAL bounds - >= -68719476658 @ 0.063311
0.07/0.16 c GLOBAL bounds - >= -68719476658 @ 0.066153
0.07/0.17 c GLOBAL bounds - >= -68719476658 @ 0.067844
0.07/0.18 c GLOBAL bounds - >= -68719476658 @ 0.069839
0.07/0.18 c GLOBAL bounds - >= -68719476658 @ 0.074337
0.07/0.19 c GLOBAL bounds - >= -68719476658 @ 0.075726
0.07/0.20 c GLOBAL bounds - >= -68719476658 @ 0.076751
0.18/0.21 c GLOBAL bounds - >= -68719476658 @ 0.079223
0.18/0.21 c GLOBAL bounds - >= -68719476658 @ 0.082964
0.18/0.22 c GLOBAL bounds - >= -68719476658 @ 0.088668
0.18/0.23 c GLOBAL bounds - >= -68719476658 @ 0.090706
0.18/0.24 c GLOBAL bounds - >= -68719476658 @ 0.091706
0.18/0.25 c GLOBAL bounds - >= -68719476658 @ 0.094634
0.18/0.25 c GLOBAL bounds - >= -68719476658 @ 0.096698
0.18/0.26 c GLOBAL bounds - >= -68719476658 @ 0.100493
0.18/0.27 c GLOBAL bounds - >= -68719476658 @ 0.103678
0.18/0.28 c GLOBAL bounds - >= -68719476658 @ 0.107043
0.18/0.28 c GLOBAL bounds - >= -68719476658 @ 0.108955
0.18/0.29 c GLOBAL bounds - >= -68719476658 @ 0.111659
0.18/0.30 c GLOBAL bounds - >= -68719476658 @ 0.11645
0.28/0.31 c GLOBAL bounds - >= -68719476658 @ 0.119265
0.28/0.32 c GLOBAL bounds - >= -68719476658 @ 0.121601
0.28/0.32 c GLOBAL bounds - >= -68719476658 @ 0.125004
0.28/0.33 c GLOBAL bounds - >= -68719476658 @ 0.126561
0.28/0.34 c GLOBAL bounds - >= -68719476658 @ 0.129037
0.28/0.35 c GLOBAL bounds - >= -68719476658 @ 0.131831
0.28/0.36 c GLOBAL bounds - >= -68719476658 @ 0.134805
0.28/0.36 c GLOBAL bounds - >= -68719476658 @ 0.136799
0.28/0.37 c GLOBAL bounds - >= -68719476658 @ 0.138496
0.28/0.38 c GLOBAL bounds - >= -68719476658 @ 0.141357
0.28/0.39 c GLOBAL bounds - >= -68719476658 @ 0.145234
0.28/0.40 c GLOBAL bounds - >= -68719476658 @ 0.146442
0.28/0.40 c GLOBAL bounds - >= -68719476658 @ 0.149427
0.38/0.41 c GLOBAL bounds - >= -68719476658 @ 0.152886
0.38/0.42 c GLOBAL bounds - >= -68719476658 @ 0.15778
0.38/0.43 c GLOBAL bounds - >= -68719476658 @ 0.161845
0.38/0.43 c GLOBAL bounds - >= -68719476658 @ 0.165627
0.38/0.44 c GLOBAL bounds - >= -68719476658 @ 0.171592
0.38/0.45 c GLOBAL bounds - >= -68719476658 @ 0.176338
0.38/0.46 c GLOBAL bounds - >= -68719476658 @ 0.180263
0.38/0.47 c GLOBAL bounds - >= -68719476658 @ 0.181258
0.38/0.47 c GLOBAL bounds - >= -68719476658 @ 0.185121
0.38/0.48 c GLOBAL bounds - >= -68719476658 @ 0.187211
0.38/0.49 c GLOBAL bounds - >= -68719476658 @ 0.189496
0.38/0.50 c GLOBAL bounds - >= -68719476658 @ 0.191486
0.47/0.51 c GLOBAL bounds - >= -68719476658 @ 0.195174
0.47/0.51 c GLOBAL bounds - >= -68719476658 @ 0.199131
0.47/0.52 c GLOBAL bounds - >= -68719476658 @ 0.202136
0.47/0.53 c GLOBAL bounds - >= -68719476658 @ 0.2066
0.47/0.54 c GLOBAL bounds - >= -68719476658 @ 0.210658
0.47/0.55 c GLOBAL bounds - >= -68719476658 @ 0.21442
0.47/0.55 c GLOBAL bounds - >= -68719476658 @ 0.21954
0.47/0.56 c GLOBAL bounds - >= -68719476658 @ 0.22337
0.47/0.57 c GLOBAL bounds - >= -68719476658 @ 0.226684
0.47/0.58 c GLOBAL bounds - >= -68719476658 @ 0.227786
0.47/0.59 c GLOBAL bounds - >= -68719476658 @ 0.230949
0.47/0.60 c GLOBAL bounds - >= -68719476658 @ 0.234864
0.57/0.60 c GLOBAL bounds - >= -68719476658 @ 0.239858
0.57/0.61 c GLOBAL bounds - >= -68719476658 @ 0.243908
0.57/0.62 c GLOBAL bounds - >= -68719476658 @ 0.250891
0.57/0.63 c GLOBAL bounds - >= -68719476658 @ 0.253124
0.57/0.64 c GLOBAL bounds - >= -68719476658 @ 0.256963
0.57/0.64 c GLOBAL bounds - >= -68719476658 @ 0.260093
0.57/0.65 c GLOBAL bounds - >= -68719476658 @ 0.263345
0.57/0.66 c GLOBAL bounds - >= -68719476658 @ 0.266138
0.57/0.67 c GLOBAL bounds - >= -68719476658 @ 0.27032
0.57/0.68 c GLOBAL bounds - >= -68719476658 @ 0.274332
0.57/0.68 c GLOBAL bounds - >= -68719476658 @ 0.277408
0.57/0.69 c GLOBAL bounds - >= -68719476658 @ 0.283498
0.66/0.70 c GLOBAL bounds - >= -68719476658 @ 0.28758
0.66/0.71 c GLOBAL bounds - >= -68719476658 @ 0.289731
0.66/0.72 c GLOBAL bounds - >= -68719476658 @ 0.291937
0.66/0.72 c GLOBAL bounds - >= -68719476658 @ 0.297977
0.66/0.73 c GLOBAL bounds - >= -68719476658 @ 0.304077
0.66/0.74 c GLOBAL bounds - >= -68719476658 @ 0.307562
0.66/0.75 c GLOBAL bounds - >= -68719476658 @ 0.309371
0.66/0.76 c GLOBAL bounds - >= -68719476658 @ 0.310549
0.66/0.77 c GLOBAL bounds - >= -68719476658 @ 0.313695
0.66/0.77 c GLOBAL bounds - >= -68719476658 @ 0.317122
0.66/0.78 c GLOBAL bounds - >= -68719476658 @ 0.320091
0.66/0.79 c GLOBAL bounds - >= -68719476658 @ 0.32448
0.76/0.80 c GLOBAL bounds - >= -68719476658 @ 0.32647
0.76/0.81 c GLOBAL bounds - >= -68719476658 @ 0.331531
0.76/0.82 c GLOBAL bounds - >= -68719476658 @ 0.335958
0.76/0.82 c GLOBAL bounds - >= -68719476658 @ 0.339177
0.76/0.83 c GLOBAL bounds - >= -68719476658 @ 0.341397
0.76/0.84 c GLOBAL bounds - >= -68719476658 @ 0.346624
0.76/0.85 c GLOBAL bounds - >= -68719476658 @ 0.349962
0.76/0.86 c GLOBAL bounds - >= -68719476658 @ 0.352346
0.76/0.86 c GLOBAL bounds - >= -68719476658 @ 0.355325
0.76/0.87 c GLOBAL bounds - >= -68719476658 @ 0.359619
0.76/0.88 c GLOBAL bounds - >= -68719476658 @ 0.362926
0.76/0.89 c GLOBAL bounds - >= -68719476658 @ 0.367279
0.87/0.90 c GLOBAL bounds - >= -68719476658 @ 0.371385
0.87/0.91 c GLOBAL bounds - >= -68719476658 @ 0.375032
0.87/0.91 c GLOBAL bounds - >= -68719476658 @ 0.380235
0.87/0.92 c GLOBAL bounds - >= -68719476658 @ 0.382979
0.87/0.93 c GLOBAL bounds - >= -68719476658 @ 0.388236
0.87/0.94 c GLOBAL bounds - >= -68719476658 @ 0.391897
0.87/0.95 c GLOBAL bounds - >= -68719476658 @ 0.394078
0.87/0.96 c GLOBAL bounds - >= -68719476658 @ 0.397517
0.87/0.97 c GLOBAL bounds - >= -68719476658 @ 0.400085
0.87/0.97 c GLOBAL bounds - >= -68719476658 @ 0.404803
0.87/0.98 c GLOBAL bounds - >= -68719476658 @ 0.40709
0.87/0.99 c GLOBAL bounds - >= -68719476658 @ 0.411625
0.87/1.00 c GLOBAL bounds - >= -68719476658 @ 0.415999
0.96/1.01 c GLOBAL bounds - >= -68719476658 @ 0.41867
0.96/1.02 c GLOBAL bounds - >= -68719476658 @ 0.420956
0.96/1.02 c GLOBAL bounds - >= -68719476658 @ 0.426273
0.96/1.03 c GLOBAL bounds - >= -68719476658 @ 0.428916
0.96/1.04 c GLOBAL bounds - >= -68719476658 @ 0.431197
0.96/1.05 c GLOBAL bounds - >= -68719476658 @ 0.433553
0.96/1.06 c GLOBAL bounds - >= -68719476658 @ 0.436174
0.96/1.07 c GLOBAL bounds - >= -68719476658 @ 0.43953
0.96/1.08 c GLOBAL bounds - >= -68719476658 @ 0.442847
0.96/1.08 c GLOBAL bounds - >= -68719476658 @ 0.445797
0.96/1.09 c GLOBAL bounds - >= -68719476658 @ 0.447827
0.96/1.10 c GLOBAL bounds - >= -68719476658 @ 0.453682
1.07/1.11 c GLOBAL bounds - >= -68719476658 @ 0.459145
1.07/1.12 c GLOBAL bounds - >= -68719476658 @ 0.464742
1.07/1.13 c GLOBAL bounds - >= -68719476658 @ 0.468464
1.07/1.14 c GLOBAL bounds - >= -68719476658 @ 0.470716
1.07/1.14 c GLOBAL bounds - >= -68719476658 @ 0.476383
1.07/1.15 c GLOBAL bounds - >= -68719476658 @ 0.479962
1.07/1.16 c GLOBAL bounds - >= -68719476658 @ 0.484648
1.07/1.17 c GLOBAL bounds - >= -68719476658 @ 0.488919
1.07/1.18 c GLOBAL bounds - >= -68719476658 @ 0.492973
1.07/1.19 c GLOBAL bounds - >= -68719476658 @ 0.498302
1.16/1.20 c GLOBAL bounds - >= -68719476658 @ 0.500859
1.16/1.20 c GLOBAL bounds - >= -68719476658 @ 0.506246
1.16/1.21 c GLOBAL bounds - >= -68719476658 @ 0.513197
1.16/1.22 c GLOBAL bounds - >= -68719476658 @ 0.51549
1.16/1.23 c GLOBAL bounds - >= -68719476658 @ 0.518844
1.16/1.24 c GLOBAL bounds - >= -68719476658 @ 0.521464
1.16/1.25 c GLOBAL bounds - >= -68719476658 @ 0.525173
1.16/1.26 c GLOBAL bounds - >= -68719476658 @ 0.530454
1.16/1.26 c GLOBAL bounds - >= -68719476658 @ 0.536612
1.16/1.27 c GLOBAL bounds - >= -68719476658 @ 0.539366
1.16/1.28 c GLOBAL bounds - >= -68719476658 @ 0.542807
1.16/1.29 c GLOBAL bounds - >= -68719476658 @ 0.544628
1.27/1.30 c GLOBAL bounds - >= -68719476658 @ 0.550036
1.27/1.31 c GLOBAL bounds - >= -68719476658 @ 0.5516
1.27/1.32 c GLOBAL bounds - >= -68719476658 @ 0.557282
1.27/1.33 c GLOBAL bounds - >= -68719476658 @ 0.560006
1.27/1.33 c GLOBAL bounds - >= -68719476658 @ 0.561977
1.27/1.34 c GLOBAL bounds - >= -68719476658 @ 0.563621
1.27/1.35 c GLOBAL bounds - >= -68719476658 @ 0.567958
1.27/1.36 c GLOBAL bounds - >= -68719476658 @ 0.57155
1.27/1.37 c GLOBAL bounds - >= -68719476658 @ 0.575226
1.27/1.38 c GLOBAL bounds - >= -68719476658 @ 0.581963
1.27/1.39 c GLOBAL bounds - >= -68719476658 @ 0.585518
1.27/1.39 c GLOBAL bounds - >= -68719476658 @ 0.58919
1.36/1.40 c GLOBAL bounds - >= -68719476658 @ 0.593917
1.36/1.41 c GLOBAL bounds - >= -68719476658 @ 0.594466
1.36/1.42 c GLOBAL bounds - >= -68719476658 @ 0.597171
1.36/1.43 c GLOBAL bounds - >= -68719476658 @ 0.601904
1.36/1.44 c GLOBAL bounds - >= -68719476658 @ 0.606438
1.36/1.45 c GLOBAL bounds - >= -68719476658 @ 0.610137
1.36/1.46 c GLOBAL bounds - >= -68719476658 @ 0.61442
1.36/1.46 c GLOBAL bounds - >= -68719476658 @ 0.617112
1.36/1.47 c GLOBAL bounds - >= -68719476658 @ 0.622748
1.36/1.48 c GLOBAL bounds - >= -68719476658 @ 0.625807
1.36/1.49 c GLOBAL bounds - >= -68719476658 @ 0.629538
1.46/1.50 c GLOBAL bounds - >= -68719476658 @ 0.632251
1.46/1.51 c GLOBAL bounds - >= -68719476658 @ 0.637284
1.46/1.52 c GLOBAL bounds - >= -68719476658 @ 0.64085
1.46/1.53 c GLOBAL bounds - >= -68719476658 @ 0.645663
1.46/1.53 c GLOBAL bounds - >= -68719476658 @ 0.649698
1.46/1.54 c GLOBAL bounds - >= -68719476658 @ 0.653177
1.46/1.55 c GLOBAL bounds - >= -68719476658 @ 0.65394
1.46/1.56 c GLOBAL bounds - >= -68719476658 @ 0.656932
1.46/1.57 c GLOBAL bounds - >= -68719476658 @ 0.659161
1.46/1.58 c GLOBAL bounds - >= -68719476658 @ 0.662758
1.46/1.59 c GLOBAL bounds - >= -68719476658 @ 0.66563
1.56/1.60 c GLOBAL bounds - >= -68719476658 @ 0.670631
1.56/1.61 c GLOBAL bounds - >= -68719476658 @ 0.672536
1.56/1.61 c GLOBAL bounds - >= -68719476658 @ 0.676103
1.56/1.62 c GLOBAL bounds - >= -68719476658 @ 0.680803
1.56/1.63 c GLOBAL bounds - >= -68719476658 @ 0.684671
1.56/1.64 c GLOBAL bounds - >= -68719476658 @ 0.689475
1.56/1.65 c GLOBAL bounds - >= -68719476658 @ 0.692571
1.56/1.66 c GLOBAL bounds - >= -68719476658 @ 0.696132
1.56/1.67 c GLOBAL bounds - >= -68719476658 @ 0.70005
1.56/1.68 c GLOBAL bounds - >= -68719476658 @ 0.703808
1.56/1.69 c GLOBAL bounds - >= -68719476658 @ 0.706729
1.56/1.69 c GLOBAL bounds - >= -68719476658 @ 0.713148
1.66/1.71 c GLOBAL bounds - >= -68719476658 @ 0.716579
1.66/1.72 c GLOBAL bounds - >= -68719476658 @ 0.720416
1.66/1.72 c GLOBAL bounds - >= -68719476658 @ 0.727364
1.66/1.73 c GLOBAL bounds - >= -68719476658 @ 0.734186
1.66/1.74 c GLOBAL bounds - >= -68719476658 @ 0.739157
1.66/1.75 c GLOBAL bounds - >= -68719476658 @ 0.744357
1.66/1.76 c GLOBAL bounds - >= -68719476658 @ 0.74734
1.66/1.77 c GLOBAL bounds - >= -68719476658 @ 0.750888
1.66/1.78 c GLOBAL bounds - >= -68719476658 @ 0.756789
1.66/1.79 c GLOBAL bounds - >= -68719476658 @ 0.762876
1.76/1.80 c GLOBAL bounds - >= -68719476658 @ 0.769223
1.76/1.81 c GLOBAL bounds - >= -68719476658 @ 0.77405
1.76/1.81 c GLOBAL bounds - >= -68719476658 @ 0.777312
1.76/1.82 c GLOBAL bounds - >= -68719476658 @ 0.779246
1.76/1.83 c GLOBAL bounds - >= -68719476658 @ 0.782861
1.76/1.84 c GLOBAL bounds - >= -68719476658 @ 0.788409
1.76/1.85 c GLOBAL bounds - >= -68719476658 @ 0.791773
1.76/1.86 c GLOBAL bounds - >= -68719476658 @ 0.795563
1.76/1.87 c GLOBAL bounds - >= -68719476658 @ 0.802554
1.76/1.88 c GLOBAL bounds - >= -68719476658 @ 0.804446
1.76/1.89 c GLOBAL bounds - >= -68719476658 @ 0.807727
1.76/1.89 c GLOBAL bounds - >= -68719476658 @ 0.812426
1.86/1.90 c GLOBAL bounds - >= -68719476658 @ 0.814421
1.86/1.91 c GLOBAL bounds - >= -68719476658 @ 0.819729
1.86/1.92 c GLOBAL bounds - >= -68719476658 @ 0.824815
1.86/1.93 c GLOBAL bounds - >= -68719476658 @ 0.830741
1.86/1.94 c GLOBAL bounds - >= -68719476658 @ 0.836872
1.86/1.95 c GLOBAL bounds - >= -68719476658 @ 0.840835
1.86/1.96 c GLOBAL bounds - >= -68719476658 @ 0.848932
1.86/1.97 c GLOBAL bounds - >= -68719476658 @ 0.856125
1.86/1.98 c GLOBAL bounds - >= -68719476658 @ 0.860163
1.86/1.99 c GLOBAL bounds - >= -68719476658 @ 0.863146
1.86/1.99 c GLOBAL bounds - >= -68719476658 @ 0.866161
1.96/2.00 c GLOBAL bounds - >= -68719476658 @ 0.869142
1.96/2.01 c GLOBAL bounds - >= -68719476658 @ 0.873161
1.96/2.02 c GLOBAL bounds - >= -68719476658 @ 0.879127
1.96/2.03 c GLOBAL bounds - >= -68719476658 @ 0.882542
1.96/2.04 c GLOBAL bounds - >= -68719476658 @ 0.886538
1.96/2.05 c GLOBAL bounds - >= -68719476658 @ 0.890571
1.96/2.06 c GLOBAL bounds - >= -68719476658 @ 0.897543
1.96/2.07 c GLOBAL bounds - >= -68719476658 @ 0.902968
1.96/2.08 c GLOBAL bounds - >= -68719476658 @ 0.907663
1.96/2.09 c GLOBAL bounds - >= -68719476658 @ 0.915869
1.96/2.09 c GLOBAL bounds - >= -68719476658 @ 0.920033
2.06/2.10 c GLOBAL bounds - >= -68719476658 @ 0.926039
2.06/2.11 c GLOBAL bounds - >= -68719476658 @ 0.929093
2.06/2.12 c GLOBAL bounds - >= -68719476658 @ 0.933889
2.06/2.13 c GLOBAL bounds - >= -68719476658 @ 0.938675
2.06/2.14 c GLOBAL bounds - >= -68719476658 @ 0.942001
2.06/2.15 c GLOBAL bounds - >= -68719476658 @ 0.945952
2.06/2.16 c GLOBAL bounds - >= -68719476658 @ 0.949363
2.06/2.17 c GLOBAL bounds - >= -68719476658 @ 0.952357
2.06/2.18 c GLOBAL bounds - >= -68719476658 @ 0.958778
2.06/2.19 c GLOBAL bounds - >= -68719476658 @ 0.963639
2.06/2.20 c GLOBAL bounds - >= -68719476658 @ 0.966848
2.15/2.20 c GLOBAL bounds - >= -68719476658 @ 0.970981
2.15/2.21 c GLOBAL bounds - >= -68719476658 @ 0.975009
2.15/2.22 c GLOBAL bounds - >= -68719476658 @ 0.980304
2.15/2.23 c GLOBAL bounds - >= -68719476658 @ 0.987793
2.15/2.24 c GLOBAL bounds - >= -68719476658 @ 0.9927
2.15/2.25 c GLOBAL bounds - >= -68719476658 @ 0.993961
2.15/2.26 c GLOBAL bounds - >= -68719476658 @ 1.00137
2.15/2.27 c GLOBAL bounds - >= -68719476658 @ 1.0086
2.15/2.28 c GLOBAL bounds - >= -68719476658 @ 1.01385
2.15/2.29 c GLOBAL bounds - >= -68719476658 @ 1.01836
2.26/2.30 c GLOBAL bounds - >= -68719476658 @ 1.02251
2.26/2.31 c GLOBAL bounds - >= -68719476658 @ 1.02566
2.26/2.32 c GLOBAL bounds - >= -68719476658 @ 1.02988
2.26/2.33 c GLOBAL bounds - >= -68719476658 @ 1.03339
2.26/2.33 c GLOBAL bounds - >= -68719476658 @ 1.03734
2.26/2.34 c GLOBAL bounds - >= -68719476658 @ 1.0416
2.26/2.35 c GLOBAL bounds - >= -68719476658 @ 1.04681
2.26/2.36 c GLOBAL bounds - >= -68719476658 @ 1.05234
2.26/2.37 c GLOBAL bounds - >= -68719476658 @ 1.05842
2.26/2.38 c GLOBAL bounds - >= -68719476658 @ 1.06167
2.26/2.39 c GLOBAL bounds - >= -68719476658 @ 1.06626
2.36/2.40 c GLOBAL bounds - >= -68719476658 @ 1.07138
2.36/2.41 c GLOBAL bounds - >= -68719476658 @ 1.07449
2.36/2.42 c GLOBAL bounds - >= -68719476658 @ 1.07977
2.36/2.43 c GLOBAL bounds - >= -68719476658 @ 1.08426
2.36/2.44 c GLOBAL bounds - >= -68719476658 @ 1.08941
2.36/2.45 c GLOBAL bounds - >= -68719476658 @ 1.09373
2.36/2.46 c GLOBAL bounds - >= -68719476658 @ 1.10009
2.36/2.46 c GLOBAL bounds - >= -68719476658 @ 1.10267
2.36/2.47 c GLOBAL bounds - >= -68719476658 @ 1.10712
2.36/2.48 c GLOBAL bounds - >= -68719476658 @ 1.11421
2.36/2.49 c GLOBAL bounds - >= -68719476658 @ 1.11699
2.45/2.50 c GLOBAL bounds - >= -68719476658 @ 1.12116
2.45/2.51 c GLOBAL bounds - >= -68719476658 @ 1.12452
2.45/2.52 c GLOBAL bounds - >= -68719476658 @ 1.12804
2.45/2.53 c GLOBAL bounds - >= -68719476658 @ 1.13254
2.45/2.54 c GLOBAL bounds - >= -68719476658 @ 1.14
2.45/2.55 c GLOBAL bounds - >= -68719476658 @ 1.14442
2.45/2.56 c GLOBAL bounds - >= -68719476658 @ 1.1489
2.45/2.57 c GLOBAL bounds - >= -68719476658 @ 1.15412
2.45/2.58 c GLOBAL bounds - >= -68719476658 @ 1.15981
2.45/2.59 c GLOBAL bounds - >= -68719476658 @ 1.16599
2.56/2.60 c GLOBAL bounds - >= -68719476658 @ 1.1704
2.56/2.61 c GLOBAL bounds - >= -68719476658 @ 1.17493
2.56/2.62 c GLOBAL bounds - >= -68719476658 @ 1.18133
2.56/2.63 c GLOBAL bounds - >= -68719476658 @ 1.18784
2.56/2.63 c GLOBAL bounds - >= -68719476658 @ 1.19321
2.56/2.64 c GLOBAL bounds - >= -68719476658 @ 1.19772
2.56/2.65 c GLOBAL bounds - >= -68719476658 @ 1.20253
2.56/2.66 c GLOBAL bounds - >= -68719476658 @ 1.20774
2.56/2.67 c GLOBAL bounds - >= -68719476658 @ 1.2115
2.56/2.68 c GLOBAL bounds - >= -68719476658 @ 1.21784
2.56/2.69 c GLOBAL bounds - >= -68719476658 @ 1.22155
2.65/2.70 c GLOBAL bounds - >= -68719476658 @ 1.22688
2.65/2.71 c GLOBAL bounds - >= -68719476658 @ 1.23334
2.65/2.72 c GLOBAL bounds - >= -68719476658 @ 1.23843
2.65/2.73 c GLOBAL bounds - >= -68719476658 @ 1.2429
2.65/2.74 c GLOBAL bounds - >= -68719476658 @ 1.2474
2.65/2.75 c GLOBAL bounds - >= -68719476658 @ 1.25337
2.65/2.76 c GLOBAL bounds - >= -68719476658 @ 1.25919
2.65/2.77 c GLOBAL bounds - >= -68719476658 @ 1.26271
2.65/2.78 c GLOBAL bounds - >= -68719476658 @ 1.26638
2.65/2.79 c GLOBAL bounds - >= -68719476658 @ 1.27273
2.75/2.80 c GLOBAL bounds - >= -68719476658 @ 1.27636
2.75/2.81 c GLOBAL bounds - >= -68719476658 @ 1.28014
2.75/2.82 c GLOBAL bounds - >= -68719476658 @ 1.28536
2.75/2.83 c GLOBAL bounds - >= -68719476658 @ 1.29189
2.75/2.84 c GLOBAL bounds - >= -68719476658 @ 1.29463
2.75/2.85 c GLOBAL bounds - >= -68719476658 @ 1.29937
2.75/2.86 c GLOBAL bounds - >= -68719476658 @ 1.30411
2.75/2.86 c GLOBAL bounds - >= -68719476658 @ 1.30856
2.75/2.87 c GLOBAL bounds - >= -68719476658 @ 1.3141
2.75/2.88 c GLOBAL bounds - >= -68719476658 @ 1.31751
2.75/2.89 c GLOBAL bounds - >= -68719476658 @ 1.32211
2.85/2.90 c GLOBAL bounds - >= -68719476658 @ 1.32589
2.85/2.91 c GLOBAL bounds - >= -68719476658 @ 1.32915
2.85/2.92 c GLOBAL bounds - >= -68719476658 @ 1.33507
2.85/2.93 c GLOBAL bounds - >= -68719476658 @ 1.33887
2.85/2.94 c GLOBAL bounds - >= -68719476658 @ 1.34213
2.85/2.95 c GLOBAL bounds - >= -68719476658 @ 1.34772
2.85/2.96 c GLOBAL bounds - >= -68719476658 @ 1.35333
2.85/2.97 c GLOBAL bounds - >= -68719476658 @ 1.35893
2.85/2.98 c GLOBAL bounds - >= -68719476658 @ 1.36475
2.85/2.99 c GLOBAL bounds - >= -68719476658 @ 1.36925
2.85/3.00 c GLOBAL bounds - >= -68719476658 @ 1.37481
2.96/3.01 c GLOBAL bounds - >= -68719476658 @ 1.37961
2.96/3.02 c GLOBAL bounds - >= -68719476658 @ 1.38484
2.96/3.03 c GLOBAL bounds - >= -68719476658 @ 1.38767
2.96/3.04 c GLOBAL bounds - >= -68719476658 @ 1.39255
2.96/3.05 c GLOBAL bounds - >= -68719476658 @ 1.3981
2.96/3.06 c GLOBAL bounds - >= -68719476658 @ 1.40166
2.96/3.07 c GLOBAL bounds - >= -68719476658 @ 1.40869
2.96/3.08 c GLOBAL bounds - >= -68719476658 @ 1.41439
2.96/3.09 c GLOBAL bounds - >= -68719476658 @ 1.4184
2.96/3.10 c GLOBAL bounds - >= -68719476658 @ 1.4219
3.06/3.11 c GLOBAL bounds - >= -68719476658 @ 1.4276
3.06/3.12 c GLOBAL bounds - >= -68719476658 @ 1.43046
3.06/3.13 c GLOBAL bounds - >= -68719476658 @ 1.43637
3.06/3.14 c GLOBAL bounds - >= -68719476658 @ 1.44123
3.06/3.15 c GLOBAL bounds - >= -68719476658 @ 1.44462
3.06/3.16 c GLOBAL bounds - >= -68719476658 @ 1.44943
3.06/3.17 c GLOBAL bounds - >= -68719476658 @ 1.4533
3.06/3.17 c GLOBAL bounds - >= -68719476658 @ 1.45776
3.06/3.18 c GLOBAL bounds - >= -68719476658 @ 1.46354
3.06/3.19 c GLOBAL bounds - >= -68719476658 @ 1.46842
3.16/3.20 c GLOBAL bounds - >= -68719476658 @ 1.47465
3.16/3.21 c GLOBAL bounds - >= -68719476658 @ 1.47956
3.16/3.22 c GLOBAL bounds - >= -68719476658 @ 1.48442
3.16/3.23 c GLOBAL bounds - >= -68719476658 @ 1.48834
3.16/3.24 c GLOBAL bounds - >= -68719476658 @ 1.49228
3.16/3.25 c GLOBAL bounds - >= -68719476658 @ 1.4962
3.16/3.26 c GLOBAL bounds - >= -68719476658 @ 1.49996
3.16/3.27 c GLOBAL bounds - >= -68719476658 @ 1.50286
3.16/3.28 c GLOBAL bounds - >= -68719476658 @ 1.5081
3.16/3.29 c GLOBAL bounds - >= -68719476658 @ 1.51601
3.25/3.30 c GLOBAL bounds - >= -68719476658 @ 1.51896
3.25/3.31 c GLOBAL bounds - >= -68719476658 @ 1.52056
3.25/3.32 c GLOBAL bounds - >= -68719476658 @ 1.52637
3.25/3.33 c GLOBAL bounds - >= -68719476658 @ 1.5322
3.25/3.34 c GLOBAL bounds - >= -68719476658 @ 1.53512
3.25/3.35 c GLOBAL bounds - >= -68719476658 @ 1.53806
3.25/3.36 c GLOBAL bounds - >= -68719476658 @ 1.54497
3.25/3.37 c GLOBAL bounds - >= -68719476658 @ 1.54993
3.25/3.38 c GLOBAL bounds - >= -68719476658 @ 1.55387
3.25/3.39 c GLOBAL bounds - >= -68719476658 @ 1.55978
3.35/3.40 c GLOBAL bounds - >= -68719476658 @ 1.56538
3.35/3.41 c GLOBAL bounds - >= -68719476658 @ 1.56919
3.35/3.42 c GLOBAL bounds - >= -68719476658 @ 1.57504
3.35/3.43 c GLOBAL bounds - >= -68719476658 @ 1.58195
3.35/3.44 c GLOBAL bounds - >= -68719476658 @ 1.58587
3.35/3.45 c GLOBAL bounds - >= -68719476658 @ 1.59089
3.35/3.46 c GLOBAL bounds - >= -68719476658 @ 1.59583
3.35/3.47 c GLOBAL bounds - >= -68719476658 @ 1.59978
3.35/3.48 c GLOBAL bounds - >= -68719476658 @ 1.60339
3.35/3.49 c GLOBAL bounds - >= -68719476658 @ 1.60926
3.45/3.50 c GLOBAL bounds - >= -68719476658 @ 1.61526
3.45/3.51 c GLOBAL bounds - >= -68719476658 @ 1.62026
3.45/3.52 c GLOBAL bounds - >= -68719476658 @ 1.6245
3.45/3.53 c GLOBAL bounds - >= -68719476658 @ 1.62882
3.45/3.54 c GLOBAL bounds - >= -68719476658 @ 1.63348
3.45/3.55 c GLOBAL bounds - >= -68719476658 @ 1.63931
3.45/3.56 c GLOBAL bounds - >= -68719476658 @ 1.6438
3.45/3.57 c GLOBAL bounds - >= -68719476658 @ 1.64882
3.45/3.58 c GLOBAL bounds - >= -68719476658 @ 1.65581
3.45/3.59 c GLOBAL bounds - >= -68719476658 @ 1.66077
3.55/3.60 c GLOBAL bounds - >= -68719476658 @ 1.66673
3.55/3.61 c GLOBAL bounds - >= -68719476658 @ 1.67177
3.55/3.62 c GLOBAL bounds - >= -68719476658 @ 1.67566
3.55/3.63 c GLOBAL bounds - >= -68719476658 @ 1.68169
3.55/3.64 c GLOBAL bounds - >= -68719476658 @ 1.6857
3.55/3.65 c GLOBAL bounds - >= -68719476658 @ 1.6909
3.55/3.66 c GLOBAL bounds - >= -68719476658 @ 1.69692
3.55/3.67 c GLOBAL bounds - >= -68719476658 @ 1.701
3.55/3.68 c GLOBAL bounds - >= -68719476658 @ 1.70698
3.55/3.69 c GLOBAL bounds - >= -68719476658 @ 1.71338
3.65/3.71 c GLOBAL bounds - >= -68719476658 @ 1.71847
3.65/3.72 c GLOBAL bounds - >= -68719476658 @ 1.72254
3.65/3.73 c GLOBAL bounds - >= -68719476658 @ 1.72959
3.65/3.74 c GLOBAL bounds - >= -68719476658 @ 1.7358
3.65/3.75 c GLOBAL bounds - >= -68719476658 @ 1.74158
3.65/3.76 c GLOBAL bounds - >= -68719476658 @ 1.74613
3.65/3.77 c GLOBAL bounds - >= -68719476658 @ 1.75229
3.65/3.78 c GLOBAL bounds - >= -68719476658 @ 1.75847
3.65/3.79 c GLOBAL bounds - >= -68719476658 @ 1.76657
3.75/3.80 c GLOBAL bounds - >= -68719476658 @ 1.77106
3.75/3.81 c GLOBAL bounds - >= -68719476658 @ 1.77486
3.75/3.82 c GLOBAL bounds - >= -68719476658 @ 1.78008
3.75/3.83 c GLOBAL bounds - >= -68719476658 @ 1.78721
3.75/3.84 c GLOBAL bounds - >= -68719476658 @ 1.79244
3.75/3.85 c GLOBAL bounds - >= -68719476658 @ 1.79849
3.75/3.86 c GLOBAL bounds - >= -68719476658 @ 1.80363
3.75/3.87 c GLOBAL bounds - >= -68719476658 @ 1.80696
3.75/3.88 c GLOBAL bounds - >= -68719476658 @ 1.81112
3.75/3.89 c GLOBAL bounds - >= -68719476658 @ 1.81731
3.85/3.90 c GLOBAL bounds - >= -68719476658 @ 1.82278
3.85/3.91 c GLOBAL bounds - >= -68719476658 @ 1.82682
3.85/3.92 c GLOBAL bounds - >= -68719476658 @ 1.8348
3.85/3.93 c GLOBAL bounds - >= -68719476658 @ 1.83795
3.85/3.94 c GLOBAL bounds - >= -68719476658 @ 1.84218
3.85/3.95 c GLOBAL bounds - >= -68719476658 @ 1.84763
3.85/3.96 c GLOBAL bounds - >= -68719476658 @ 1.85173
3.85/3.97 c GLOBAL bounds - >= -68719476658 @ 1.85975
3.85/3.98 c GLOBAL bounds - >= -68719476658 @ 1.86786
3.85/3.99 c GLOBAL bounds - >= -68719476658 @ 1.8731
3.95/4.00 c GLOBAL bounds - >= -68719476658 @ 1.87759
3.95/4.06 c GLOBAL bounds - >= -68719476658 @ 1.93127
241.32/242.13 c #Conflicts: 1000 | #Constraints: 1897
241.32/242.13 c #Conflicts: 2000 | #Constraints: 2897
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 3000 | #Constraints: 2908
241.32/242.13 c #Conflicts: 4000 | #Constraints: 3908
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 5000 | #Constraints: 3324
241.32/242.13 c #Conflicts: 6000 | #Constraints: 4324
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 7000 | #Constraints: 3339
241.32/242.13 c #Conflicts: 8000 | #Constraints: 4339
241.32/242.13 c #Conflicts: 9000 | #Constraints: 5339
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 10000 | #Constraints: 4038
241.32/242.13 c #Conflicts: 11000 | #Constraints: 5038
241.32/242.13 c #Conflicts: 12000 | #Constraints: 6038
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 13000 | #Constraints: 4490
241.32/242.13 c #Conflicts: 14000 | #Constraints: 5490
241.32/242.13 c #Conflicts: 15000 | #Constraints: 6490
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 16000 | #Constraints: 4716
241.32/242.13 c #Conflicts: 17000 | #Constraints: 5716
241.32/242.13 c #Conflicts: 18000 | #Constraints: 6716
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 19000 | #Constraints: 4730
241.32/242.13 c #Conflicts: 20000 | #Constraints: 5730
241.32/242.13 c #Conflicts: 21000 | #Constraints: 6730
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 22000 | #Constraints: 4532
241.32/242.13 c #Conflicts: 23000 | #Constraints: 5532
241.32/242.13 c #Conflicts: 24000 | #Constraints: 6532
241.32/242.13 c #Conflicts: 25000 | #Constraints: 7532
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 26000 | #Constraints: 5142
241.32/242.13 c #Conflicts: 27000 | #Constraints: 6142
241.32/242.13 c #Conflicts: 28000 | #Constraints: 7142
241.32/242.13 c #Conflicts: 29000 | #Constraints: 8142
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 30000 | #Constraints: 5543
241.32/242.13 c #Conflicts: 31000 | #Constraints: 6543
241.32/242.13 c #Conflicts: 32000 | #Constraints: 7543
241.32/242.13 c #Conflicts: 33000 | #Constraints: 8543
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 34000 | #Constraints: 5740
241.32/242.13 c #Conflicts: 35000 | #Constraints: 6740
241.32/242.13 c #Conflicts: 36000 | #Constraints: 7740
241.32/242.13 c #Conflicts: 37000 | #Constraints: 8740
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 38000 | #Constraints: 5743
241.32/242.13 c #Conflicts: 39000 | #Constraints: 6743
241.32/242.13 c #Conflicts: 40000 | #Constraints: 7743
241.32/242.13 c #Conflicts: 41000 | #Constraints: 8743
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 42000 | #Constraints: 5551
241.32/242.13 c #Conflicts: 43000 | #Constraints: 6551
241.32/242.13 c #Conflicts: 44000 | #Constraints: 7551
241.32/242.13 c #Conflicts: 45000 | #Constraints: 8551
241.32/242.13 c #Conflicts: 46000 | #Constraints: 9551
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 47000 | #Constraints: 6157
241.32/242.13 c #Conflicts: 48000 | #Constraints: 7157
241.32/242.13 c #Conflicts: 49000 | #Constraints: 8157
241.32/242.13 c #Conflicts: 50000 | #Constraints: 9157
241.32/242.13 c #Conflicts: 51000 | #Constraints: 10157
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 52000 | #Constraints: 6550
241.32/242.13 c #Conflicts: 53000 | #Constraints: 7550
241.32/242.13 c #Conflicts: 54000 | #Constraints: 8550
241.32/242.13 c #Conflicts: 55000 | #Constraints: 9550
241.32/242.13 c #Conflicts: 56000 | #Constraints: 10550
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 57000 | #Constraints: 6760
241.32/242.13 c #Conflicts: 58000 | #Constraints: 7760
241.32/242.13 c #Conflicts: 59000 | #Constraints: 8760
241.32/242.13 c #Conflicts: 60000 | #Constraints: 9760
241.32/242.13 c #Conflicts: 61000 | #Constraints: 10760
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 62000 | #Constraints: 6754
241.32/242.13 c #Conflicts: 63000 | #Constraints: 7754
241.32/242.13 c #Conflicts: 64000 | #Constraints: 8754
241.32/242.13 c #Conflicts: 65000 | #Constraints: 9754
241.32/242.13 c #Conflicts: 66000 | #Constraints: 10754
241.32/242.13 c INPROCESSING
241.32/242.13 c GARBAGE COLLECT
241.32/242.13 c #Conflicts: 67000 | #Constraints: 6550
241.32/242.13 c #Conflicts: 68000 | #Constraints: 7550
651.93/653.96 c #Conflicts: 69000 | #Constraints: 8550
651.93/653.96 c #Conflicts: 70000 | #Constraints: 9550
651.93/653.96 c #Conflicts: 71000 | #Constraints: 10550
651.93/653.96 c #Conflicts: 72000 | #Constraints: 11550
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 73000 | #Constraints: 7150
651.93/653.96 c #Conflicts: 74000 | #Constraints: 8150
651.93/653.96 c #Conflicts: 75000 | #Constraints: 9150
651.93/653.96 c #Conflicts: 76000 | #Constraints: 10150
651.93/653.96 c #Conflicts: 77000 | #Constraints: 11150
651.93/653.96 c #Conflicts: 78000 | #Constraints: 12150
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 79000 | #Constraints: 7547
651.93/653.96 c #Conflicts: 80000 | #Constraints: 8547
651.93/653.96 c #Conflicts: 81000 | #Constraints: 9547
651.93/653.96 c #Conflicts: 82000 | #Constraints: 10547
651.93/653.96 c #Conflicts: 83000 | #Constraints: 11547
651.93/653.96 c #Conflicts: 84000 | #Constraints: 12547
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 85000 | #Constraints: 7754
651.93/653.96 c #Conflicts: 86000 | #Constraints: 8754
651.93/653.96 c #Conflicts: 87000 | #Constraints: 9754
651.93/653.96 c #Conflicts: 88000 | #Constraints: 10754
651.93/653.96 c #Conflicts: 89000 | #Constraints: 11754
651.93/653.96 c #Conflicts: 90000 | #Constraints: 12754
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 91000 | #Constraints: 7758
651.93/653.96 c #Conflicts: 92000 | #Constraints: 8758
651.93/653.96 c #Conflicts: 93000 | #Constraints: 9758
651.93/653.96 c #Conflicts: 94000 | #Constraints: 10758
651.93/653.96 c #Conflicts: 95000 | #Constraints: 11758
651.93/653.96 c #Conflicts: 96000 | #Constraints: 12758
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 97000 | #Constraints: 7559
651.93/653.96 c #Conflicts: 98000 | #Constraints: 8559
651.93/653.96 c #Conflicts: 99000 | #Constraints: 9559
651.93/653.96 c #Conflicts: 100000 | #Constraints: 10559
651.93/653.96 c #Conflicts: 101000 | #Constraints: 11559
651.93/653.96 c #Conflicts: 102000 | #Constraints: 12559
651.93/653.96 c #Conflicts: 103000 | #Constraints: 13559
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 104000 | #Constraints: 8151
651.93/653.96 c #Conflicts: 105000 | #Constraints: 9151
651.93/653.96 c #Conflicts: 106000 | #Constraints: 10151
651.93/653.96 c #Conflicts: 107000 | #Constraints: 11151
651.93/653.96 c #Conflicts: 108000 | #Constraints: 12151
651.93/653.96 c #Conflicts: 109000 | #Constraints: 13151
651.93/653.96 c #Conflicts: 110000 | #Constraints: 14151
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 111000 | #Constraints: 8553
651.93/653.96 c #Conflicts: 112000 | #Constraints: 9553
651.93/653.96 c #Conflicts: 113000 | #Constraints: 10553
651.93/653.96 c #Conflicts: 114000 | #Constraints: 11553
651.93/653.96 c #Conflicts: 115000 | #Constraints: 12553
651.93/653.96 c #Conflicts: 116000 | #Constraints: 13553
651.93/653.96 c #Conflicts: 117000 | #Constraints: 14553
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 118000 | #Constraints: 8749
651.93/653.96 c #Conflicts: 119000 | #Constraints: 9749
651.93/653.96 c #Conflicts: 120000 | #Constraints: 10749
651.93/653.96 c #Conflicts: 121000 | #Constraints: 11749
651.93/653.96 c #Conflicts: 122000 | #Constraints: 12749
651.93/653.96 c #Conflicts: 123000 | #Constraints: 13749
651.93/653.96 c #Conflicts: 124000 | #Constraints: 14749
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 125000 | #Constraints: 8748
651.93/653.96 c #Conflicts: 126000 | #Constraints: 9748
651.93/653.96 c #Conflicts: 127000 | #Constraints: 10748
651.93/653.96 c #Conflicts: 128000 | #Constraints: 11748
651.93/653.96 c #Conflicts: 129000 | #Constraints: 12748
651.93/653.96 c #Conflicts: 130000 | #Constraints: 13748
651.93/653.96 c #Conflicts: 131000 | #Constraints: 14748
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 132000 | #Constraints: 8546
651.93/653.96 c #Conflicts: 133000 | #Constraints: 9546
651.93/653.96 c #Conflicts: 134000 | #Constraints: 10546
651.93/653.96 c #Conflicts: 135000 | #Constraints: 11546
651.93/653.96 c #Conflicts: 136000 | #Constraints: 12546
651.93/653.96 c #Conflicts: 137000 | #Constraints: 13546
651.93/653.96 c #Conflicts: 138000 | #Constraints: 14546
651.93/653.96 c #Conflicts: 139000 | #Constraints: 15546
651.93/653.96 c INPROCESSING
651.93/653.96 c GARBAGE COLLECT
651.93/653.96 c #Conflicts: 140000 | #Constraints: 9155
1238.11/1242.09 c #Conflicts: 141000 | #Constraints: 10155
1238.11/1242.09 c #Conflicts: 142000 | #Constraints: 11155
1238.11/1242.09 c #Conflicts: 143000 | #Constraints: 12155
1238.11/1242.09 c #Conflicts: 144000 | #Constraints: 13155
1238.11/1242.09 c #Conflicts: 145000 | #Constraints: 14155
1238.11/1242.09 c #Conflicts: 146000 | #Constraints: 15155
1238.11/1242.09 c #Conflicts: 147000 | #Constraints: 16155
1238.11/1242.09 c INPROCESSING
1238.11/1242.09 c GARBAGE COLLECT
1238.11/1242.09 c #Conflicts: 148000 | #Constraints: 9562
1238.11/1242.09 c #Conflicts: 149000 | #Constraints: 10562
1238.11/1242.09 c #Conflicts: 150000 | #Constraints: 11562
1238.11/1242.09 c #Conflicts: 151000 | #Constraints: 12562
1238.11/1242.09 c #Conflicts: 152000 | #Constraints: 13562
1238.11/1242.09 c #Conflicts: 153000 | #Constraints: 14562
1238.11/1242.09 c #Conflicts: 154000 | #Constraints: 15562
1238.11/1242.09 c #Conflicts: 155000 | #Constraints: 16562
1238.11/1242.09 c INPROCESSING
1238.11/1242.09 c GARBAGE COLLECT
1238.11/1242.09 c #Conflicts: 156000 | #Constraints: 9767
1238.11/1242.09 c #Conflicts: 157000 | #Constraints: 10767
1238.11/1242.09 c #Conflicts: 158000 | #Constraints: 11767
1238.11/1242.09 c #Conflicts: 159000 | #Constraints: 12767
1238.11/1242.09 c #Conflicts: 160000 | #Constraints: 13767
1238.11/1242.09 c #Conflicts: 161000 | #Constraints: 14767
1238.11/1242.09 c #Conflicts: 162000 | #Constraints: 15767
1238.11/1242.09 c #Conflicts: 163000 | #Constraints: 16767
1238.11/1242.09 c INPROCESSING
1238.11/1242.09 c GARBAGE COLLECT
1238.11/1242.09 c #Conflicts: 164000 | #Constraints: 9758
1238.11/1242.09 c #Conflicts: 165000 | #Constraints: 10758
1238.11/1242.09 c #Conflicts: 166000 | #Constraints: 11758
1238.11/1242.09 c #Conflicts: 167000 | #Constraints: 12758
1238.11/1242.09 c #Conflicts: 168000 | #Constraints: 13758
1238.11/1242.09 c #Conflicts: 169000 | #Constraints: 14758
1238.11/1242.09 c #Conflicts: 170000 | #Constraints: 15758
1238.11/1242.09 c #Conflicts: 171000 | #Constraints: 16758
1238.11/1242.09 c INPROCESSING
1238.11/1242.09 c GARBAGE COLLECT
1238.11/1242.09 c #Conflicts: 172000 | #Constraints: 9556
1238.11/1242.09 c #Conflicts: 173000 | #Constraints: 10556
1238.11/1242.09 c #Conflicts: 174000 | #Constraints: 11556
1238.11/1242.09 c #Conflicts: 175000 | #Constraints: 12556
1238.11/1242.09 c #Conflicts: 176000 | #Constraints: 13556
1238.11/1242.09 c #Conflicts: 177000 | #Constraints: 14556
1238.11/1242.09 c #Conflicts: 178000 | #Constraints: 15556
1238.11/1242.09 c #Conflicts: 179000 | #Constraints: 16556
1238.11/1242.09 c #Conflicts: 180000 | #Constraints: 17556
1238.11/1242.09 c INPROCESSING
1238.11/1242.09 c GARBAGE COLLECT
1238.11/1242.09 c #Conflicts: 181000 | #Constraints: 10164
1238.11/1242.09 c #Conflicts: 182000 | #Constraints: 11164
1238.11/1242.09 c #Conflicts: 183000 | #Constraints: 12164
1238.11/1242.09 c #Conflicts: 184000 | #Constraints: 13164
1238.11/1242.09 c #Conflicts: 185000 | #Constraints: 14164
1238.11/1242.09 c #Conflicts: 186000 | #Constraints: 15164
1238.11/1242.09 c #Conflicts: 187000 | #Constraints: 16164
1238.11/1242.09 c #Conflicts: 188000 | #Constraints: 17164
1238.11/1242.09 c #Conflicts: 189000 | #Constraints: 18164
1238.11/1242.09 c INPROCESSING
1238.11/1242.09 c GARBAGE COLLECT
1238.11/1242.09 c #Conflicts: 190000 | #Constraints: 10560
1238.11/1242.09 c #Conflicts: 191000 | #Constraints: 11560
1238.11/1242.09 c #Conflicts: 192000 | #Constraints: 12560
1238.11/1242.09 c #Conflicts: 193000 | #Constraints: 13560
1238.11/1242.09 c #Conflicts: 194000 | #Constraints: 14560
1238.11/1242.09 c #Conflicts: 195000 | #Constraints: 15560
1238.11/1242.09 c #Conflicts: 196000 | #Constraints: 16560
1238.11/1242.09 c #Conflicts: 197000 | #Constraints: 17560
1238.11/1242.09 c #Conflicts: 198000 | #Constraints: 18560
1238.11/1242.09 c INPROCESSING
1238.11/1242.09 c GARBAGE COLLECT
1238.11/1242.09 c #Conflicts: 199000 | #Constraints: 10762
1238.11/1242.09 c #Conflicts: 200000 | #Constraints: 11762
1238.11/1242.09 c #Conflicts: 201000 | #Constraints: 12762
1238.11/1242.09 c #Conflicts: 202000 | #Constraints: 13762
1238.11/1242.09 c #Conflicts: 203000 | #Constraints: 14762
1238.11/1242.09 c #Conflicts: 204000 | #Constraints: 15762
1238.11/1242.09 c #Conflicts: 205000 | #Constraints: 16762
1238.11/1242.09 c #Conflicts: 206000 | #Constraints: 17762
1238.11/1242.09 c #Conflicts: 207000 | #Constraints: 18762
1238.11/1242.09 c INPROCESSING
1238.11/1242.09 c GARBAGE COLLECT
1238.11/1242.09 c #Conflicts: 208000 | #Constraints: 10763
1238.11/1242.09 c #Conflicts: 209000 | #Constraints: 11763
1238.11/1242.09 c #Conflicts: 210000 | #Constraints: 12763
1238.11/1242.09 c #Conflicts: 211000 | #Constraints: 13763
1238.11/1242.09 c #Conflicts: 212000 | #Constraints: 14763
1238.11/1242.09 c #Conflicts: 213000 | #Constraints: 15763
2028.42/2034.78 c #Conflicts: 214000 | #Constraints: 16763
2028.42/2034.78 c #Conflicts: 215000 | #Constraints: 17763
2028.42/2034.78 c #Conflicts: 216000 | #Constraints: 18763
2028.42/2034.78 c INPROCESSING
2028.42/2034.78 c GARBAGE COLLECT
2028.42/2034.78 c #Conflicts: 217000 | #Constraints: 10564
2028.42/2034.78 c #Conflicts: 218000 | #Constraints: 11564
2028.42/2034.78 c #Conflicts: 219000 | #Constraints: 12564
2028.42/2034.78 c #Conflicts: 220000 | #Constraints: 13564
2028.42/2034.78 c #Conflicts: 221000 | #Constraints: 14564
2028.42/2034.78 c #Conflicts: 222000 | #Constraints: 15564
2028.42/2034.78 c #Conflicts: 223000 | #Constraints: 16564
2028.42/2034.78 c #Conflicts: 224000 | #Constraints: 17564
2028.42/2034.78 c #Conflicts: 225000 | #Constraints: 18564
2028.42/2034.78 c #Conflicts: 226000 | #Constraints: 19564
2028.42/2034.78 c INPROCESSING
2028.42/2034.78 c GARBAGE COLLECT
2028.42/2034.78 c #Conflicts: 227000 | #Constraints: 11169
2028.42/2034.78 c #Conflicts: 228000 | #Constraints: 12169
2028.42/2034.78 c #Conflicts: 229000 | #Constraints: 13169
2028.42/2034.78 c #Conflicts: 230000 | #Constraints: 14169
2028.42/2034.78 c #Conflicts: 231000 | #Constraints: 15169
2028.42/2034.78 c #Conflicts: 232000 | #Constraints: 16169
2028.42/2034.78 c #Conflicts: 233000 | #Constraints: 17169
2028.42/2034.78 c #Conflicts: 234000 | #Constraints: 18169
2028.42/2034.78 c #Conflicts: 235000 | #Constraints: 19169
2028.42/2034.78 c #Conflicts: 236000 | #Constraints: 20169
2028.42/2034.78 c INPROCESSING
2028.42/2034.78 c GARBAGE COLLECT
2028.42/2034.78 c #Conflicts: 237000 | #Constraints: 11569
2028.42/2034.78 c #Conflicts: 238000 | #Constraints: 12569
2028.42/2034.78 c #Conflicts: 239000 | #Constraints: 13569
2028.42/2034.78 c #Conflicts: 240000 | #Constraints: 14569
2028.42/2034.78 c #Conflicts: 241000 | #Constraints: 15569
2028.42/2034.78 c #Conflicts: 242000 | #Constraints: 16569
2028.42/2034.78 c #Conflicts: 243000 | #Constraints: 17569
2028.42/2034.78 c #Conflicts: 244000 | #Constraints: 18569
2028.42/2034.78 c #Conflicts: 245000 | #Constraints: 19569
2028.42/2034.78 c #Conflicts: 246000 | #Constraints: 20569
2028.42/2034.78 c INPROCESSING
2028.42/2034.78 c GARBAGE COLLECT
2028.42/2034.78 c #Conflicts: 247000 | #Constraints: 11769
2028.42/2034.78 c #Conflicts: 248000 | #Constraints: 12769
2028.42/2034.78 c #Conflicts: 249000 | #Constraints: 13769
2028.42/2034.78 c #Conflicts: 250000 | #Constraints: 14769
2028.42/2034.78 c #Conflicts: 251000 | #Constraints: 15769
2028.42/2034.78 c #Conflicts: 252000 | #Constraints: 16769
2028.42/2034.78 c #Conflicts: 253000 | #Constraints: 17769
2028.42/2034.78 c #Conflicts: 254000 | #Constraints: 18769
2028.42/2034.78 c #Conflicts: 255000 | #Constraints: 19769
2028.42/2034.78 c #Conflicts: 256000 | #Constraints: 20769
2028.42/2034.78 c INPROCESSING
2028.42/2034.78 c GARBAGE COLLECT
2028.42/2034.78 c #Conflicts: 257000 | #Constraints: 11764
2028.42/2034.78 c #Conflicts: 258000 | #Constraints: 12764
2028.42/2034.78 c #Conflicts: 259000 | #Constraints: 13764
2028.42/2034.78 c #Conflicts: 260000 | #Constraints: 14764
2028.42/2034.78 c #Conflicts: 261000 | #Constraints: 15764
2028.42/2034.78 c #Conflicts: 262000 | #Constraints: 16764
2028.42/2034.78 c #Conflicts: 263000 | #Constraints: 17764
2028.42/2034.78 c #Conflicts: 264000 | #Constraints: 18764
2028.42/2034.78 c #Conflicts: 265000 | #Constraints: 19764
2028.42/2034.78 c #Conflicts: 266000 | #Constraints: 20764
2028.42/2034.78 c INPROCESSING
2028.42/2034.78 c GARBAGE COLLECT
2028.42/2034.78 c #Conflicts: 267000 | #Constraints: 11563
2028.42/2034.78 c #Conflicts: 268000 | #Constraints: 12563
2028.42/2034.78 c #Conflicts: 269000 | #Constraints: 13563
2028.42/2034.78 c #Conflicts: 270000 | #Constraints: 14563
2028.42/2034.78 c #Conflicts: 271000 | #Constraints: 15563
2028.42/2034.78 c #Conflicts: 272000 | #Constraints: 16563
2028.42/2034.78 c #Conflicts: 273000 | #Constraints: 17563
2028.42/2034.78 c #Conflicts: 274000 | #Constraints: 18563
2028.42/2034.78 c #Conflicts: 275000 | #Constraints: 19563
2028.42/2034.78 c #Conflicts: 276000 | #Constraints: 20563
2028.42/2034.78 c #Conflicts: 277000 | #Constraints: 21563
2028.42/2034.78 c INPROCESSING
2028.42/2034.78 c GARBAGE COLLECT
2028.42/2034.78 c #Conflicts: 278000 | #Constraints: 12165
2028.42/2034.78 c #Conflicts: 279000 | #Constraints: 13165
2028.42/2034.78 c #Conflicts: 280000 | #Constraints: 14165
2028.42/2034.78 c #Conflicts: 281000 | #Constraints: 15165
2028.42/2034.78 c #Conflicts: 282000 | #Constraints: 16165
2028.42/2034.78 c #Conflicts: 283000 | #Constraints: 17165
2028.42/2034.78 c #Conflicts: 284000 | #Constraints: 18165
2028.42/2034.78 c #Conflicts: 285000 | #Constraints: 19165
2028.42/2034.78 c #Conflicts: 286000 | #Constraints: 20165
2028.42/2034.78 c #Conflicts: 287000 | #Constraints: 21165
2028.42/2034.78 c #Conflicts: 288000 | #Constraints: 22165
2885.63/2894.59 c INPROCESSING
2885.63/2894.59 c GARBAGE COLLECT
2885.63/2894.59 c #Conflicts: 289000 | #Constraints: 12556
2885.63/2894.59 c #Conflicts: 290000 | #Constraints: 13556
2885.63/2894.59 c #Conflicts: 291000 | #Constraints: 14556
2885.63/2894.59 c #Conflicts: 292000 | #Constraints: 15556
2885.63/2894.59 c #Conflicts: 293000 | #Constraints: 16556
2885.63/2894.59 c #Conflicts: 294000 | #Constraints: 17556
2885.63/2894.59 c #Conflicts: 295000 | #Constraints: 18556
2885.63/2894.59 c #Conflicts: 296000 | #Constraints: 19556
2885.63/2894.59 c #Conflicts: 297000 | #Constraints: 20556
2885.63/2894.59 c #Conflicts: 298000 | #Constraints: 21556
2885.63/2894.59 c #Conflicts: 299000 | #Constraints: 22556
2885.63/2894.59 c INPROCESSING
2885.63/2894.59 c GARBAGE COLLECT
2885.63/2894.59 c #Conflicts: 300000 | #Constraints: 12759
2885.63/2894.59 c #Conflicts: 301000 | #Constraints: 13759
2885.63/2894.59 c #Conflicts: 302000 | #Constraints: 14759
2885.63/2894.59 c #Conflicts: 303000 | #Constraints: 15759
2885.63/2894.59 c #Conflicts: 304000 | #Constraints: 16759
2885.63/2894.59 c #Conflicts: 305000 | #Constraints: 17759
2885.63/2894.59 c #Conflicts: 306000 | #Constraints: 18759
2885.63/2894.59 c #Conflicts: 307000 | #Constraints: 19759
2885.63/2894.59 c #Conflicts: 308000 | #Constraints: 20759
2885.63/2894.59 c #Conflicts: 309000 | #Constraints: 21759
2885.63/2894.59 c #Conflicts: 310000 | #Constraints: 22759
2885.63/2894.59 c INPROCESSING
2885.63/2894.59 c GARBAGE COLLECT
2885.63/2894.59 c #Conflicts: 311000 | #Constraints: 12766
2885.63/2894.59 c #Conflicts: 312000 | #Constraints: 13766
2885.63/2894.59 c #Conflicts: 313000 | #Constraints: 14766
2885.63/2894.59 c #Conflicts: 314000 | #Constraints: 15766
2885.63/2894.59 c #Conflicts: 315000 | #Constraints: 16766
2885.63/2894.59 c #Conflicts: 316000 | #Constraints: 17766
2885.63/2894.59 c #Conflicts: 317000 | #Constraints: 18766
2885.63/2894.59 c #Conflicts: 318000 | #Constraints: 19766
2885.63/2894.59 c #Conflicts: 319000 | #Constraints: 20766
2885.63/2894.59 c #Conflicts: 320000 | #Constraints: 21766
2885.63/2894.59 c #Conflicts: 321000 | #Constraints: 22766
2885.63/2894.59 c INPROCESSING
2885.63/2894.59 c GARBAGE COLLECT
2885.63/2894.59 c #Conflicts: 322000 | #Constraints: 12566
2885.63/2894.59 c #Conflicts: 323000 | #Constraints: 13566
2885.63/2894.59 c #Conflicts: 324000 | #Constraints: 14566
2885.63/2894.59 c #Conflicts: 325000 | #Constraints: 15566
2885.63/2894.59 c #Conflicts: 326000 | #Constraints: 16566
2885.63/2894.59 c #Conflicts: 327000 | #Constraints: 17566
2885.63/2894.59 c #Conflicts: 328000 | #Constraints: 18566
2885.63/2894.59 c #Conflicts: 329000 | #Constraints: 19566
2885.63/2894.59 c #Conflicts: 330000 | #Constraints: 20566
2885.63/2894.59 c #Conflicts: 331000 | #Constraints: 21566
2885.63/2894.59 c #Conflicts: 332000 | #Constraints: 22566
2885.63/2894.59 c #Conflicts: 333000 | #Constraints: 23566
2885.63/2894.59 c INPROCESSING
2885.63/2894.59 c GARBAGE COLLECT
2885.63/2894.59 c #Conflicts: 334000 | #Constraints: 13162
2885.63/2894.59 c #Conflicts: 335000 | #Constraints: 14162
2885.63/2894.59 c #Conflicts: 336000 | #Constraints: 15162
2885.63/2894.59 c #Conflicts: 337000 | #Constraints: 16162
2885.63/2894.59 c #Conflicts: 338000 | #Constraints: 17162
2885.63/2894.59 c #Conflicts: 339000 | #Constraints: 18162
2885.63/2894.59 c #Conflicts: 340000 | #Constraints: 19162
2885.63/2894.59 c #Conflicts: 341000 | #Constraints: 20162
2885.63/2894.59 c #Conflicts: 342000 | #Constraints: 21162
2885.63/2894.59 c #Conflicts: 343000 | #Constraints: 22162
2885.63/2894.59 c #Conflicts: 344000 | #Constraints: 23162
2885.63/2894.59 c #Conflicts: 345000 | #Constraints: 24162
2885.63/2894.59 c INPROCESSING
2885.63/2894.59 c GARBAGE COLLECT
2885.63/2894.59 c #Conflicts: 346000 | #Constraints: 13559
2885.63/2894.59 c #Conflicts: 347000 | #Constraints: 14559
2885.63/2894.59 c #Conflicts: 348000 | #Constraints: 15559
2885.63/2894.59 c #Conflicts: 349000 | #Constraints: 16559
2885.63/2894.59 c #Conflicts: 350000 | #Constraints: 17559
2885.63/2894.59 c #Conflicts: 351000 | #Constraints: 18559
2885.63/2894.59 c #Conflicts: 352000 | #Constraints: 19559
2885.63/2894.59 c #Conflicts: 353000 | #Constraints: 20559
2885.63/2894.59 c #Conflicts: 354000 | #Constraints: 21559
2885.63/2894.59 c #Conflicts: 355000 | #Constraints: 22559
2885.63/2894.59 c #Conflicts: 356000 | #Constraints: 23559
2885.63/2894.59 c #Conflicts: 357000 | #Constraints: 24559
2885.63/2894.59 c INPROCESSING
2885.63/2894.59 c GARBAGE COLLECT
2885.63/2894.59 c #Conflicts: 358000 | #Constraints: 13762
2885.63/2894.59 c #Conflicts: 359000 | #Constraints: 14762
2885.63/2894.59 c #Conflicts: 360000 | #Constraints: 15762
2885.63/2894.59 c #Conflicts: 361000 | #Constraints: 16762
2885.63/2894.59 c #Conflicts: 362000 | #Constraints: 17762
3600.09/3611.01 c #Conflicts: 363000 | #Constraints: 18762
3600.09/3611.01 c #Conflicts: 364000 | #Constraints: 19762
3600.09/3611.01 c #Conflicts: 365000 | #Constraints: 20762
3600.09/3611.01 c #Conflicts: 366000 | #Constraints: 21762
3600.09/3611.01 c #Conflicts: 367000 | #Constraints: 22762
3600.09/3611.01 c #Conflicts: 368000 | #Constraints: 23762
3600.09/3611.01 c #Conflicts: 369000 | #Constraints: 24762
3600.09/3611.01 c INPROCESSING
3600.09/3611.01 c GARBAGE COLLECT
3600.09/3611.01 c #Conflicts: 370000 | #Constraints: 13762
3600.09/3611.01 c #Conflicts: 371000 | #Constraints: 14762
3600.09/3611.01 c #Conflicts: 372000 | #Constraints: 15762
3600.09/3611.01 c #Conflicts: 373000 | #Constraints: 16762
3600.09/3611.01 c #Conflicts: 374000 | #Constraints: 17762
3600.09/3611.01 c #Conflicts: 375000 | #Constraints: 18762
3600.09/3611.01 c #Conflicts: 376000 | #Constraints: 19762
3600.09/3611.01 c #Conflicts: 377000 | #Constraints: 20762
3600.09/3611.01 c #Conflicts: 378000 | #Constraints: 21762
3600.09/3611.01 c #Conflicts: 379000 | #Constraints: 22762
3600.09/3611.01 c #Conflicts: 380000 | #Constraints: 23762
3600.09/3611.01 c #Conflicts: 381000 | #Constraints: 24762
3600.09/3611.01 c INPROCESSING
3600.09/3611.01 c GARBAGE COLLECT
3600.09/3611.01 c #Conflicts: 382000 | #Constraints: 13560
3600.09/3611.01 c #Conflicts: 383000 | #Constraints: 14560
3600.09/3611.01 c #Conflicts: 384000 | #Constraints: 15560
3600.09/3611.01 c #Conflicts: 385000 | #Constraints: 16560
3600.09/3611.01 c #Conflicts: 386000 | #Constraints: 17560
3600.09/3611.01 c #Conflicts: 387000 | #Constraints: 18560
3600.09/3611.01 c #Conflicts: 388000 | #Constraints: 19560
3600.09/3611.01 c #Conflicts: 389000 | #Constraints: 20560
3600.09/3611.01 c #Conflicts: 390000 | #Constraints: 21560
3600.09/3611.01 c #Conflicts: 391000 | #Constraints: 22560
3600.09/3611.01 c #Conflicts: 392000 | #Constraints: 23560
3600.09/3611.01 c #Conflicts: 393000 | #Constraints: 24560
3600.09/3611.01 c #Conflicts: 394000 | #Constraints: 25560
3600.09/3611.01 c INPROCESSING
3600.09/3611.01 c GARBAGE COLLECT
3600.09/3611.01 c #Conflicts: 395000 | #Constraints: 14168
3600.09/3611.01 c #Conflicts: 396000 | #Constraints: 15168
3600.09/3611.01 c #Conflicts: 397000 | #Constraints: 16168
3600.09/3611.01 c #Conflicts: 398000 | #Constraints: 17168
3600.09/3611.01 c #Conflicts: 399000 | #Constraints: 18168
3600.09/3611.01 c #Conflicts: 400000 | #Constraints: 19168
3600.09/3611.01 c #Conflicts: 401000 | #Constraints: 20168
3600.09/3611.01 c #Conflicts: 402000 | #Constraints: 21168
3600.09/3611.01 c #Conflicts: 403000 | #Constraints: 22168
3600.09/3611.01 c #Conflicts: 404000 | #Constraints: 23168
3600.09/3611.01 c #Conflicts: 405000 | #Constraints: 24168
3600.09/3611.01 c #Conflicts: 406000 | #Constraints: 25168
3600.09/3611.01 c #Conflicts: 407000 | #Constraints: 26168
3600.09/3611.01 c INPROCESSING
3600.09/3611.01 c GARBAGE COLLECT
3600.09/3611.01 c #Conflicts: 408000 | #Constraints: 14568
3600.09/3611.01 c #Conflicts: 409000 | #Constraints: 15568
3600.09/3611.01 c #Conflicts: 410000 | #Constraints: 16568
3600.09/3611.01 c #Conflicts: 411000 | #Constraints: 17568
3600.09/3611.01 c #Conflicts: 412000 | #Constraints: 18568
3600.09/3611.01 c #Conflicts: 413000 | #Constraints: 19568
3600.09/3611.01 c #Conflicts: 414000 | #Constraints: 20568
3600.09/3611.01 c cpu time 3590.53 s
3600.09/3611.01 c deterministic time 1 1.00e+00
3600.09/3611.01 c optimization time 3590.5 s
3600.09/3611.01 c total solve time 0 s
3600.09/3611.01 c core-guided solve time 0 s
3600.09/3611.01 c propagation time 0.000263 s
3600.09/3611.01 c conflict analysis time 0 s
3600.09/3611.01 c propagations 0
3600.09/3611.01 c resolve steps 0
3600.09/3611.01 c decisions 0
3600.09/3611.01 c conflicts 0
3600.09/3611.01 c restarts 0
3600.09/3611.01 c inprocessing phases 0
3600.09/3611.01 c garbage collections 0 ,( -nan )
3600.09/3611.01 c input clauses 0 ,( 0.00 )
3600.09/3611.01 c input cardinalities 0 ,( 0.00 )
3600.09/3611.01 c input general constraints 560 ,( 100.00 )
3600.09/3611.01 c input average constraint length 161.38
3600.09/3611.01 c input average constraint degree 166275593531274.44
3600.09/3611.01 c learned clauses 0 ,( 0.00 )
3600.09/3611.01 c learned cardinalities 0 ,( 0.00 )
3600.09/3611.01 c learned general constraints 0 ,( 0.00 )
3600.09/3611.01 c learned average constraint length 0.00
3600.09/3611.01 c learned average constraint degree 0.00
3600.09/3611.01 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.09/3611.01 c counting CF 32, 64, 128, Arb: 273 , 288 , 0 , 0
3600.09/3611.01 c watched constraints 0 ,( 0.00 )
3600.09/3611.01 c counting constraints 560 ,( 100.00 )
3600.09/3611.01 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.09/3611.01 c gcd simplifications 0
3600.09/3611.01 c detected cardinalities 0
3600.09/3611.01 c weakened non-implied lits 0
3600.09/3611.01 c weakened non-implying lits 0
3600.09/3611.01 c original variables 7994
3600.09/3611.01 c clausal propagations 0
3600.09/3611.01 c cardinality propagations 0
3600.09/3611.01 c watched propagations 0
3600.09/3611.01 c counting propagations 0
3600.09/3611.01 c watch lookups 0
3600.09/3611.01 c watch backjump lookups 0
3600.09/3611.01 c watch checks 0
3600.09/3611.01 c propagation checks 0
3600.09/3611.01 c constraint additions 0
3600.09/3611.01 c trail pops 0
3600.09/3611.01 c formula constraints 560
3600.09/3611.01 c learned constraints 0
3600.09/3611.01 c bound constraints 0
3600.09/3611.01 c core-guided constraints 0
3600.09/3611.01 c encountered formula constraints 0
3600.09/3611.01 c encountered learned constraints 0
3600.09/3611.01 c encountered bound constraints 0
3600.09/3611.01 c encountered core-guided constraints 0
3600.09/3611.01 c LP total time 0 s
3600.09/3611.01 c LP solve time 0 s
3600.09/3611.01 c LP constraints added 0
3600.09/3611.01 c LP constraints removed 0
3600.09/3611.01 c LP pivots internal 0
3600.09/3611.01 c LP pivots root 0
3600.09/3611.01 c LP calls 0
3600.09/3611.01 c LP optimalities 0
3600.09/3611.01 c LP no pivot count 0
3600.09/3611.01 c LP infeasibilities 0
3600.09/3611.01 c LP valid Farkas constraints 0
3600.09/3611.01 c LP learned Farkas constraints 0
3600.09/3611.01 c LP basis resets 0
3600.09/3611.01 c LP cycling count 0
3600.09/3611.01 c LP singular count 0
3600.09/3611.01 c LP no primal count 0
3600.09/3611.01 c LP no farkas count 0
3600.09/3611.01 c LP other issue count 0
3600.09/3611.01 c LP Gomory cuts 0
3600.09/3611.01 c LP learned cuts 0
3600.09/3611.01 c LP deleted cuts 0
3600.09/3611.01 c LP encountered Gomory constraints 0
3600.09/3611.01 c LP encountered Farkas constraints 0
3600.09/3611.01 c LP encountered learned Farkas constraints 0
3600.09/3611.01 c CG auxiliary variables introduced 0
3600.09/3611.01 c CG solutions found 0
3600.09/3611.01 c CG cores constructed 0
3600.09/3611.01 c CG core cardinality constraints returned 0
3600.09/3611.01 c CG unit cores 0
3600.09/3611.01 c CG single cores 0
3600.09/3611.01 c CG blocks removed during cardinality reduction 0
3600.09/3611.01 c CG first core best 0
3600.09/3611.01 c CG decision core best 0
3600.09/3611.01 c CG core reduction tie 0
3600.09/3611.01 c CG core degree average 0.00
3600.09/3611.01 c CG core slack average 0.00
3600.09/3611.01 c CG core upper bound improvements 0
3600.09/3611.01 c STR number of successful calls 0
3600.09/3611.01 c STR number of unsuccessful calls 0
3600.09/3611.01 c STR number of inconclusive calls 0
3600.09/3611.01 c STR number of successful attempts 0
3600.09/3611.01 c STR number of unsuccessful attempts 0
3600.09/3611.01 c STR number of inconclusive attempts 0
3600.09/3611.01 c STR average degree increase per successful call inf
3600.09/3611.01 c STR average degree increase per successful attempt inf
3600.09/3611.01 c STR total number of conflicts for successful attempts 0
3600.09/3611.01 c STR total number of conflicts for unsuccessful attempts 0
3600.09/3611.01 c STR total number of conflicts for inconclusive attempts 0
3600.09/3611.01 c STR average number of conflicts per successful attempt inf
3600.09/3611.01 c STR average number of conflicts per unsuccessful attempt inf
3600.09/3611.01 c STR average number of conflicts per inconclusive attempt inf
3600.09/3611.01 c AVG.sumWPerc 97.80
3600.09/3611.01 c bigint constraints 288
3600.09/3611.01 s UNKNOWN
3600.09/3611.01 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62441 MiB free)
memory of node 1: 64507 MiB (63601 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485827-1751316835/watcher-4485827-1751316835 -o /tmp/evaluation-result-4485827-1751316835/solver-4485827-1751316835 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751316835-44775 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485827-1751316835.opb PROOFDIR/proof-4485827-1751316835
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=44802, runsolver pid=44799
Current StackSize limit: 8192 KiB
[startup+0.100056 s]*
/proc/loadavg: 0.69 2.19 3.29 2/256 44813
/proc/meminfo: memFree=129039512/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=71024 memory=20468 CPUtime=0.07 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 3342 0 0 0 4 3 0 0 20 0 1 0 47361205 72728576 5117 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 17756 5117 2336 1147 0 5183 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 75216 KiB
Current children cumulated memory: 23540 KiB
[startup+0.206112 s]*
/proc/loadavg: 0.69 2.19 3.29 5/269 44837
/proc/meminfo: memFree=128948048/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=71528 memory=20980 CPUtime=0.18 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 3444 0 0 0 8 10 0 0 20 0 1 0 47361205 73244672 5245 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 17882 5245 2368 1147 0 5309 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 75720 KiB
Current children cumulated memory: 24052 KiB
[startup+0.305679 s]*
/proc/loadavg: 0.69 2.19 3.29 4/264 44838
/proc/meminfo: memFree=128924612/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=71664 memory=21108 CPUtime=0.28 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 3491 0 0 0 12 16 0 0 20 0 1 0 47361205 73383936 5277 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 17916 5277 2368 1147 0 5343 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 75856 KiB
Current children cumulated memory: 24180 KiB
[startup+0.700183 s]
/proc/loadavg: 0.69 2.19 3.29 4/264 44845
/proc/meminfo: memFree=128884420/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=73212 memory=22772 CPUtime=0.66 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 3880 0 0 0 28 38 0 0 20 0 1 0 47361205 74969088 5693 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 18303 5693 2368 1147 0 5730 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 77404 KiB
Current children cumulated memory: 25844 KiB
[startup+1.50016 s]
/proc/loadavg: 0.69 2.19 3.29 4/264 44845
/proc/meminfo: memFree=128759436/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=75544 memory=25204 CPUtime=1.46 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 4492 0 0 0 63 83 0 0 20 0 1 0 47361205 77357056 6301 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 18886 6301 2368 1147 0 6313 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 79736 KiB
Current children cumulated memory: 28276 KiB
[startup+3.10559 s]
/proc/loadavg: 0.95 2.22 3.30 4/264 44892
/proc/meminfo: memFree=128736216/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=82168 memory=31732 CPUtime=3.06 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 6132 0 0 0 142 164 0 0 20 0 1 0 47361205 84140032 7933 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 20542 7933 2368 1147 0 7969 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 86360 KiB
Current children cumulated memory: 34804 KiB
[startup+6.30015 s]
/proc/loadavg: 0.95 2.22 3.30 4/266 45015
/proc/meminfo: memFree=128686740/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=113504 memory=62256 CPUtime=6.23 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 13263 0 0 0 408 215 0 0 20 0 1 0 47361205 116228096 15564 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 28376 15564 2368 1147 0 15803 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 117696 KiB
Current children cumulated memory: 65328 KiB
[startup+12.7002 s]
/proc/loadavg: 1.20 2.25 3.30 5/270 45073
/proc/meminfo: memFree=128594120/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=129592 memory=78132 CPUtime=12.61 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 16711 0 0 0 1039 222 0 0 20 0 1 0 47361205 132702208 19533 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 32398 19533 2368 1147 0 19825 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 133784 KiB
Current children cumulated memory: 81204 KiB
[startup+25.5002 s]
/proc/loadavg: 1.82 2.34 3.31 5/270 45073
/proc/meminfo: memFree=127976940/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=158088 memory=99880 CPUtime=25.37 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 21133 0 0 0 2307 230 0 0 20 0 1 0 47361205 161882112 24970 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 39522 24970 2368 1147 0 26949 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 162280 KiB
Current children cumulated memory: 102952 KiB
[startup+51.1057 s]
/proc/loadavg: 2.63 2.49 3.34 5/273 45077
/proc/meminfo: memFree=126367444/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=173732 memory=113716 CPUtime=50.88 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 24074 0 0 0 4843 245 0 0 20 0 1 0 47361205 177901568 28429 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 43433 28429 2368 1147 0 30860 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 177924 KiB
Current children cumulated memory: 116788 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.76 3.38 5/272 45078
/proc/meminfo: memFree=124193072/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=206528 memory=141488 CPUtime=101.89 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 29719 0 0 0 9922 267 0 0 20 0 1 0 47361205 211484672 35372 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 51632 35372 2368 1147 0 39059 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 210720 KiB
Current children cumulated memory: 144560 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 3.00 3.43 5/274 45088
/proc/meminfo: memFree=122674672/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=221904 memory=173476 CPUtime=161.72 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 32249 0 0 0 15884 288 0 0 20 0 1 0 47361205 227229696 43369 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 55476 43369 2368 1147 0 42903 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 226096 KiB
Current children cumulated memory: 176548 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.20 3.47 5/273 45090
/proc/meminfo: memFree=121046492/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=251448 memory=185608 CPUtime=221.57 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 34273 0 0 0 21851 306 0 0 20 0 1 0 47361205 257482752 46402 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 62862 46402 2368 1147 0 50289 0
################
# More data... #
################
/proc/44804/statm: 105153 83136 2368 1147 0 92580 0
Current children cumulated CPU time: 3033.01 s
Current children cumulated vsize: 424804 KiB
Current children cumulated memory: 335616 KiB
[startup+3102.3 s]
/proc/loadavg: 4.20 4.12 4.10 5/273 45261
/proc/meminfo: memFree=71024180/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=420612 memory=332672 CPUtime=3092.84 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 61044 0 0 0 308401 883 0 0 20 0 1 0 47361205 430706688 83168 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 105153 83168 2368 1147 0 92580 0
Current children cumulated CPU time: 3092.84 s
Current children cumulated vsize: 424804 KiB
Current children cumulated memory: 335744 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/274 45270
/proc/meminfo: memFree=70228692/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=424588 memory=338112 CPUtime=3152.67 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 61914 0 0 0 314376 891 0 0 20 0 1 0 47361205 434778112 84528 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106147 84528 2368 1147 0 93574 0
Current children cumulated CPU time: 3152.67 s
Current children cumulated vsize: 428780 KiB
Current children cumulated memory: 341184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/275 45273
/proc/meminfo: memFree=69437012/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=425388 memory=339136 CPUtime=3212.51 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 62169 0 0 0 320348 903 0 0 20 0 1 0 47361205 435597312 84784 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106347 84784 2368 1147 0 93774 0
Current children cumulated CPU time: 3212.51 s
Current children cumulated vsize: 429580 KiB
Current children cumulated memory: 342208 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/275 45276
/proc/meminfo: memFree=68721392/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=425388 memory=339136 CPUtime=3272.33 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 62169 0 0 0 326323 910 0 0 20 0 1 0 47361205 435597312 84784 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106347 84784 2368 1147 0 93774 0
Current children cumulated CPU time: 3272.33 s
Current children cumulated vsize: 429580 KiB
Current children cumulated memory: 342208 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/275 45278
/proc/meminfo: memFree=67852740/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=426576 memory=339904 CPUtime=3332.16 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 62363 0 0 0 332298 918 0 0 20 0 1 0 47361205 436813824 84976 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106644 84976 2368 1147 0 94071 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 430768 KiB
Current children cumulated memory: 342976 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/274 45280
/proc/meminfo: memFree=66899836/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=426576 memory=340160 CPUtime=3391.99 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 62425 0 0 0 338270 929 0 0 20 0 1 0 47361205 436813824 85040 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106644 85040 2368 1147 0 94071 0
Current children cumulated CPU time: 3391.99 s
Current children cumulated vsize: 430768 KiB
Current children cumulated memory: 343232 KiB
[startup+3462.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/275 45283
/proc/meminfo: memFree=66476504/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=426576 memory=349632 CPUtime=3451.82 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 62427 0 0 0 344245 937 0 0 20 0 1 0 47361205 436813824 87408 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106644 87408 2368 1147 0 94071 0
Current children cumulated CPU time: 3451.82 s
Current children cumulated vsize: 430768 KiB
Current children cumulated memory: 352704 KiB
[startup+3522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/275 45286
/proc/meminfo: memFree=65771304/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=426576 memory=379328 CPUtime=3511.65 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 62627 0 0 0 350221 944 0 0 20 0 1 0 47361205 436813824 94832 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106644 94832 2368 1147 0 94071 0
Current children cumulated CPU time: 3511.65 s
Current children cumulated vsize: 430768 KiB
Current children cumulated memory: 382400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/275 45288
/proc/meminfo: memFree=65200892/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=426576 memory=379456 CPUtime=3571.47 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 62665 0 0 0 356193 954 0 0 20 0 1 0 47361205 436813824 94864 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106644 94864 2368 1147 0 94071 0
Current children cumulated CPU time: 3571.47 s
Current children cumulated vsize: 430768 KiB
Current children cumulated memory: 382528 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611 s]*
/proc/loadavg: 4.21 4.12 4.10 5/275 45288
/proc/meminfo: memFree=64934116/131249996 swapFree=33010684/33010684
[pid=44802] ppid=44799 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/44802/stat : 44802 (run-opt-log.sh) S 44799 44802 44764 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 47361205 4292608 768 18446744073709551615 94848204300288 94848205194821 140729334687008 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94848205433872 94848205481616 94848236232704 140729334692129 140729334692324 140729334692324 140729334697926 0
/proc/44802/statm: 1048 768 704 219 0 110 0
[pid=44804] ppid=44802 vsize=426576 memory=379456 CPUtime=3600.09 cores=4,6
/proc/44804/stat : 44804 (roundingsat) R 44802 44802 44764 0 -1 4194304 62665 0 0 0 359052 957 0 0 20 0 1 0 47361205 436813824 94864 18446744073709551615 4227072 8923433 140733666381392 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 21176320 140733666384210 140733666384424 140733666384424 140733666389994 0
/proc/44804/statm: 106644 94864 2368 1147 0 94071 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 430768 KiB
Current children cumulated memory: 382528 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.01 s]
# the end of solver process 44802 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001977 s, system=0 s
[startup+3611.03 s]
# the end of solver process 44804 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3590.53 s, system=9.58472 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.03
CPU time (s): 3600.12
CPU user time (s): 3590.53
CPU system time (s): 9.58472
CPU usage (%): 99.6979
Max. virtual memory (cumulated for all children) (KiB): 430768
Max. memory (cumulated for all children) (KiB): 382528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.53
system time used= 9.58472
maximum resident set size= 379712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4590216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 477
involuntary context switches= 6099
# summary of solver processes directly reported to runsolver:
# pid: 44802,44804
# total CPU time (s): 3600.12
# total CPU user time (s): 3590.53
# total CPU system time (s): 9.58472
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.31037 second user time and 18.2128 second system time
The end
Begin job on nodeC021 at 2025-06-30 22:53:55
IDJOB=4485827
IDBENCH=146890
IDSOLVER=3351
FILE ID=nodeC021/4485827-1751316835
RUNJOBID= nodeC021-1751316835-44775
SLURM_JOB_ID= 9594338
Free space on /tmp= 432592 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-grow7.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485827-1751316835/watcher-4485827-1751316835 -o /tmp/evaluation-result-4485827-1751316835/solver-4485827-1751316835 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751316835-44775 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4485827-1751316835.opb PROOFDIR/proof-4485827-1751316835
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f6174806ed62bf92db0e2ac6f71348b5
RANDOM SEED=1424716335
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.558
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.784
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.781
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3604.848
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.499
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.780
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129084020 kB
MemAvailable: 129728572 kB
Buffers: 3280 kB
Cached: 1451320 kB
SwapCached: 0 kB
Active: 373116 kB
Inactive: 1181968 kB
Active(anon): 118868 kB
Inactive(anon): 0 kB
Active(file): 254248 kB
Inactive(file): 1181968 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 27896 kB
Writeback: 0 kB
AnonPages: 103968 kB
Mapped: 103576 kB
Shmem: 18060 kB
KReclaimable: 94748 kB
Slab: 181820 kB
SReclaimable: 94748 kB
SUnreclaim: 87072 kB
KernelStack: 4160 kB
PageTables: 2912 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 374776 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150392 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 49152 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432528 MiB
End job on nodeC021 at 2025-06-30 23:54:06