0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.08/0.11 c #variables 7994 #constraints 560
0.08/0.11 c objective is ce64
0.08/0.12 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.08/0.12 c initial counting CF 32, 64, 128, Arb: 273 , 288 , 0 , 0
0.08/0.12 c GLOBAL bounds - >= -68719476658 @ 0.082006
0.08/0.14 c GLOBAL bounds - >= -68719476658 @ 0.092334
0.08/0.16 c GLOBAL bounds - >= -68719476658 @ 0.099547
0.08/0.19 c GLOBAL bounds - >= -68719476658 @ 0.109631
0.08/0.21 c GLOBAL bounds - >= -68719476658 @ 0.119916
0.20/0.23 c GLOBAL bounds - >= -68719476658 @ 0.128813
0.20/0.25 c GLOBAL bounds - >= -68719476658 @ 0.136533
0.20/0.28 c GLOBAL bounds - >= -68719476658 @ 0.148226
0.20/0.30 c GLOBAL bounds - >= -68719476658 @ 0.155057
0.20/0.32 c GLOBAL bounds - >= -68719476658 @ 0.160402
0.30/0.34 c GLOBAL bounds - >= -68719476658 @ 0.164977
0.30/0.37 c GLOBAL bounds - >= -68719476658 @ 0.174604
0.30/0.39 c GLOBAL bounds - >= -68719476658 @ 0.185129
0.30/0.41 c GLOBAL bounds - >= -68719476658 @ 0.195725
0.40/0.44 c GLOBAL bounds - >= -68719476658 @ 0.202457
0.40/0.46 c GLOBAL bounds - >= -68719476658 @ 0.208139
0.40/0.48 c GLOBAL bounds - >= -68719476658 @ 0.216571
0.40/0.50 c GLOBAL bounds - >= -68719476658 @ 0.225266
0.50/0.53 c GLOBAL bounds - >= -68719476658 @ 0.232812
0.50/0.55 c GLOBAL bounds - >= -68719476658 @ 0.239845
0.50/0.57 c GLOBAL bounds - >= -68719476658 @ 0.245693
0.50/0.60 c GLOBAL bounds - >= -68719476658 @ 0.250231
0.58/0.62 c GLOBAL bounds - >= -68719476658 @ 0.257873
0.58/0.64 c GLOBAL bounds - >= -68719476658 @ 0.262579
0.58/0.66 c GLOBAL bounds - >= -68719476658 @ 0.273583
0.58/0.69 c GLOBAL bounds - >= -68719476658 @ 0.282743
0.67/0.70 c GLOBAL bounds - >= -68719476658 @ 0.285362
0.67/0.72 c GLOBAL bounds - >= -68719476658 @ 0.293305
0.67/0.73 c GLOBAL bounds - >= -68719476658 @ 0.294793
0.67/0.75 c GLOBAL bounds - >= -68719476658 @ 0.296784
0.67/0.76 c GLOBAL bounds - >= -68719476658 @ 0.30333
0.67/0.78 c GLOBAL bounds - >= -68719476658 @ 0.308391
0.67/0.79 c GLOBAL bounds - >= -68719476658 @ 0.316673
0.77/0.81 c GLOBAL bounds - >= -68719476658 @ 0.323223
0.77/0.82 c GLOBAL bounds - >= -68719476658 @ 0.328667
0.77/0.84 c GLOBAL bounds - >= -68719476658 @ 0.333163
0.77/0.85 c GLOBAL bounds - >= -68719476658 @ 0.336267
0.77/0.87 c GLOBAL bounds - >= -68719476658 @ 0.346609
0.77/0.88 c GLOBAL bounds - >= -68719476658 @ 0.350189
0.87/0.90 c GLOBAL bounds - >= -68719476658 @ 0.356578
0.87/0.92 c GLOBAL bounds - >= -68719476658 @ 0.364752
0.87/0.93 c GLOBAL bounds - >= -68719476658 @ 0.371105
0.87/0.95 c GLOBAL bounds - >= -68719476658 @ 0.379682
0.87/0.96 c GLOBAL bounds - >= -68719476658 @ 0.385056
0.87/0.98 c GLOBAL bounds - >= -68719476658 @ 0.389346
0.87/0.99 c GLOBAL bounds - >= -68719476658 @ 0.393753
0.87/1.01 c GLOBAL bounds - >= -68719476658 @ 0.399423
0.98/1.02 c GLOBAL bounds - >= -68719476658 @ 0.402989
0.98/1.04 c GLOBAL bounds - >= -68719476658 @ 0.407378
0.98/1.05 c GLOBAL bounds - >= -68719476658 @ 0.413582
0.98/1.07 c GLOBAL bounds - >= -68719476658 @ 0.421327
0.98/1.09 c GLOBAL bounds - >= -68719476658 @ 0.426532
0.98/1.10 c GLOBAL bounds - >= -68719476658 @ 0.4303
1.08/1.12 c GLOBAL bounds - >= -68719476658 @ 0.434924
1.08/1.13 c GLOBAL bounds - >= -68719476658 @ 0.43628
1.08/1.15 c GLOBAL bounds - >= -68719476658 @ 0.440268
1.08/1.16 c GLOBAL bounds - >= -68719476658 @ 0.442889
1.08/1.18 c GLOBAL bounds - >= -68719476658 @ 0.448235
1.08/1.19 c GLOBAL bounds - >= -68719476658 @ 0.450761
1.17/1.20 c GLOBAL bounds - >= -68719476658 @ 0.455714
1.17/1.22 c GLOBAL bounds - >= -68719476658 @ 0.46446
1.17/1.23 c GLOBAL bounds - >= -68719476658 @ 0.468157
1.17/1.24 c GLOBAL bounds - >= -68719476658 @ 0.473165
1.17/1.25 c GLOBAL bounds - >= -68719476658 @ 0.474663
1.17/1.26 c GLOBAL bounds - >= -68719476658 @ 0.477659
1.17/1.27 c GLOBAL bounds - >= -68719476658 @ 0.483336
1.17/1.29 c GLOBAL bounds - >= -68719476658 @ 0.489121
1.27/1.30 c GLOBAL bounds - >= -68719476658 @ 0.494297
1.27/1.31 c GLOBAL bounds - >= -68719476658 @ 0.500028
1.27/1.32 c GLOBAL bounds - >= -68719476658 @ 0.50779
1.27/1.33 c GLOBAL bounds - >= -68719476658 @ 0.514618
1.27/1.35 c GLOBAL bounds - >= -68719476658 @ 0.520559
1.27/1.36 c GLOBAL bounds - >= -68719476658 @ 0.523555
1.27/1.37 c GLOBAL bounds - >= -68719476658 @ 0.53
1.27/1.38 c GLOBAL bounds - >= -68719476658 @ 0.535989
1.27/1.39 c GLOBAL bounds - >= -68719476658 @ 0.53962
1.37/1.40 c GLOBAL bounds - >= -68719476658 @ 0.542508
1.37/1.42 c GLOBAL bounds - >= -68719476658 @ 0.546513
1.37/1.43 c GLOBAL bounds - >= -68719476658 @ 0.551515
1.37/1.44 c GLOBAL bounds - >= -68719476658 @ 0.556927
1.37/1.45 c GLOBAL bounds - >= -68719476658 @ 0.562792
1.37/1.46 c GLOBAL bounds - >= -68719476658 @ 0.568892
1.37/1.48 c GLOBAL bounds - >= -68719476658 @ 0.572879
1.37/1.49 c GLOBAL bounds - >= -68719476658 @ 0.575372
1.47/1.50 c GLOBAL bounds - >= -68719476658 @ 0.578429
1.47/1.51 c GLOBAL bounds - >= -68719476658 @ 0.581432
1.47/1.52 c GLOBAL bounds - >= -68719476658 @ 0.588427
1.47/1.54 c GLOBAL bounds - >= -68719476658 @ 0.591969
1.47/1.55 c GLOBAL bounds - >= -68719476658 @ 0.596951
1.47/1.56 c GLOBAL bounds - >= -68719476658 @ 0.6008
1.47/1.57 c GLOBAL bounds - >= -68719476658 @ 0.601798
1.47/1.58 c GLOBAL bounds - >= -68719476658 @ 0.604788
1.47/1.60 c GLOBAL bounds - >= -68719476658 @ 0.606782
1.57/1.61 c GLOBAL bounds - >= -68719476658 @ 0.610771
1.57/1.62 c GLOBAL bounds - >= -68719476658 @ 0.613761
1.57/1.63 c GLOBAL bounds - >= -68719476658 @ 0.619777
1.57/1.64 c GLOBAL bounds - >= -68719476658 @ 0.625867
1.57/1.66 c GLOBAL bounds - >= -68719476658 @ 0.6308
1.57/1.67 c GLOBAL bounds - >= -68719476658 @ 0.634349
1.57/1.68 c GLOBAL bounds - >= -68719476658 @ 0.638314
1.57/1.69 c GLOBAL bounds - >= -68719476658 @ 0.641677
1.66/1.70 c GLOBAL bounds - >= -68719476658 @ 0.64619
1.66/1.71 c GLOBAL bounds - >= -68719476658 @ 0.649659
1.66/1.72 c GLOBAL bounds - >= -68719476658 @ 0.653646
1.66/1.73 c GLOBAL bounds - >= -68719476658 @ 0.654164
1.66/1.74 c GLOBAL bounds - >= -68719476658 @ 0.658635
1.66/1.75 c GLOBAL bounds - >= -68719476658 @ 0.66063
1.66/1.76 c GLOBAL bounds - >= -68719476658 @ 0.663146
1.66/1.77 c GLOBAL bounds - >= -68719476658 @ 0.668134
1.66/1.78 c GLOBAL bounds - >= -68719476658 @ 0.6726
1.66/1.79 c GLOBAL bounds - >= -68719476658 @ 0.677585
1.77/1.80 c GLOBAL bounds - >= -68719476658 @ 0.681105
1.77/1.81 c GLOBAL bounds - >= -68719476658 @ 0.685098
1.77/1.82 c GLOBAL bounds - >= -68719476658 @ 0.689553
1.77/1.83 c GLOBAL bounds - >= -68719476658 @ 0.693543
1.77/1.84 c GLOBAL bounds - >= -68719476658 @ 0.699067
1.77/1.85 c GLOBAL bounds - >= -68719476658 @ 0.704059
1.77/1.86 c GLOBAL bounds - >= -68719476658 @ 0.711491
1.77/1.87 c GLOBAL bounds - >= -68719476658 @ 0.714355
1.77/1.87 c GLOBAL bounds - >= -68719476658 @ 0.720475
1.77/1.88 c GLOBAL bounds - >= -68719476658 @ 0.723016
1.77/1.89 c GLOBAL bounds - >= -68719476658 @ 0.72503
1.86/1.90 c GLOBAL bounds - >= -68719476658 @ 0.728028
1.86/1.91 c GLOBAL bounds - >= -68719476658 @ 0.733407
1.86/1.92 c GLOBAL bounds - >= -68719476658 @ 0.737296
1.86/1.93 c GLOBAL bounds - >= -68719476658 @ 0.738427
1.86/1.94 c GLOBAL bounds - >= -68719476658 @ 0.742089
1.86/1.95 c GLOBAL bounds - >= -68719476658 @ 0.747883
1.86/1.96 c GLOBAL bounds - >= -68719476658 @ 0.753302
1.86/1.97 c GLOBAL bounds - >= -68719476658 @ 0.757913
1.86/1.98 c GLOBAL bounds - >= -68719476658 @ 0.762541
1.86/1.99 c GLOBAL bounds - >= -68719476658 @ 0.768433
1.86/2.00 c GLOBAL bounds - >= -68719476658 @ 0.771448
1.98/2.01 c GLOBAL bounds - >= -68719476658 @ 0.775315
1.98/2.02 c GLOBAL bounds - >= -68719476658 @ 0.782905
1.98/2.03 c GLOBAL bounds - >= -68719476658 @ 0.785884
1.98/2.04 c GLOBAL bounds - >= -68719476658 @ 0.790866
1.98/2.05 c GLOBAL bounds - >= -68719476658 @ 0.795634
1.98/2.06 c GLOBAL bounds - >= -68719476658 @ 0.798864
1.98/2.07 c GLOBAL bounds - >= -68719476658 @ 0.803557
1.98/2.08 c GLOBAL bounds - >= -68719476658 @ 0.807827
1.98/2.09 c GLOBAL bounds - >= -68719476658 @ 0.810827
1.98/2.10 c GLOBAL bounds - >= -68719476658 @ 0.817829
2.08/2.11 c GLOBAL bounds - >= -68719476658 @ 0.823486
2.08/2.12 c GLOBAL bounds - >= -68719476658 @ 0.829525
2.08/2.13 c GLOBAL bounds - >= -68719476658 @ 0.832474
2.08/2.14 c GLOBAL bounds - >= -68719476658 @ 0.836782
2.08/2.15 c GLOBAL bounds - >= -68719476658 @ 0.84077
2.08/2.17 c GLOBAL bounds - >= -68719476658 @ 0.848235
2.08/2.18 c GLOBAL bounds - >= -68719476658 @ 0.851227
2.08/2.19 c GLOBAL bounds - >= -68719476658 @ 0.857086
2.08/2.19 c GLOBAL bounds - >= -68719476658 @ 0.863079
2.16/2.20 c GLOBAL bounds - >= -68719476658 @ 0.86662
2.16/2.21 c GLOBAL bounds - >= -68719476658 @ 0.870107
2.16/2.22 c GLOBAL bounds - >= -68719476658 @ 0.874053
2.16/2.23 c GLOBAL bounds - >= -68719476658 @ 0.878508
2.16/2.24 c GLOBAL bounds - >= -68719476658 @ 0.882585
2.16/2.25 c GLOBAL bounds - >= -68719476658 @ 0.885027
2.16/2.25 c GLOBAL bounds - >= -68719476658 @ 0.889664
2.16/2.26 c GLOBAL bounds - >= -68719476658 @ 0.894305
2.16/2.27 c GLOBAL bounds - >= -68719476658 @ 0.899051
2.16/2.28 c GLOBAL bounds - >= -68719476658 @ 0.902988
2.16/2.29 c GLOBAL bounds - >= -68719476658 @ 0.904965
2.27/2.30 c GLOBAL bounds - >= -68719476658 @ 0.908542
2.27/2.31 c GLOBAL bounds - >= -68719476658 @ 0.913988
2.27/2.32 c GLOBAL bounds - >= -68719476658 @ 0.916778
2.27/2.32 c GLOBAL bounds - >= -68719476658 @ 0.920684
2.27/2.33 c GLOBAL bounds - >= -68719476658 @ 0.924512
2.27/2.34 c GLOBAL bounds - >= -68719476658 @ 0.9285
2.27/2.35 c GLOBAL bounds - >= -68719476658 @ 0.93219
2.27/2.36 c GLOBAL bounds - >= -68719476658 @ 0.935518
2.27/2.37 c GLOBAL bounds - >= -68719476658 @ 0.939495
2.27/2.38 c GLOBAL bounds - >= -68719476658 @ 0.945478
2.27/2.39 c GLOBAL bounds - >= -68719476658 @ 0.948877
2.27/2.40 c GLOBAL bounds - >= -68719476658 @ 0.950872
2.37/2.40 c GLOBAL bounds - >= -68719476658 @ 0.952534
2.37/2.41 c GLOBAL bounds - >= -68719476658 @ 0.957393
2.37/2.42 c GLOBAL bounds - >= -68719476658 @ 0.959461
2.37/2.43 c GLOBAL bounds - >= -68719476658 @ 0.963452
2.37/2.44 c GLOBAL bounds - >= -68719476658 @ 0.966934
2.37/2.45 c GLOBAL bounds - >= -68719476658 @ 0.970918
2.37/2.46 c GLOBAL bounds - >= -68719476658 @ 0.974812
2.37/2.47 c GLOBAL bounds - >= -68719476658 @ 0.978803
2.37/2.48 c GLOBAL bounds - >= -68719476658 @ 0.981796
2.37/2.49 c GLOBAL bounds - >= -68719476658 @ 0.985583
2.37/2.49 c GLOBAL bounds - >= -68719476658 @ 0.989774
2.47/2.50 c GLOBAL bounds - >= -68719476658 @ 0.995369
2.47/2.51 c GLOBAL bounds - >= -68719476658 @ 1.00038
2.47/2.52 c GLOBAL bounds - >= -68719476658 @ 1.00237
2.47/2.53 c GLOBAL bounds - >= -68719476658 @ 1.00702
2.47/2.54 c GLOBAL bounds - >= -68719476658 @ 1.01201
2.47/2.55 c GLOBAL bounds - >= -68719476658 @ 1.01834
2.47/2.56 c GLOBAL bounds - >= -68719476658 @ 1.01933
2.47/2.57 c GLOBAL bounds - >= -68719476658 @ 1.0217
2.47/2.57 c GLOBAL bounds - >= -68719476658 @ 1.02579
2.47/2.58 c GLOBAL bounds - >= -68719476658 @ 1.02957
2.47/2.59 c GLOBAL bounds - >= -68719476658 @ 1.03267
2.56/2.60 c GLOBAL bounds - >= -68719476658 @ 1.03844
2.56/2.61 c GLOBAL bounds - >= -68719476658 @ 1.04333
2.56/2.62 c GLOBAL bounds - >= -68719476658 @ 1.05027
2.56/2.63 c GLOBAL bounds - >= -68719476658 @ 1.05623
2.56/2.64 c GLOBAL bounds - >= -68719476658 @ 1.0616
2.56/2.65 c GLOBAL bounds - >= -68719476658 @ 1.06559
2.56/2.66 c GLOBAL bounds - >= -68719476658 @ 1.07048
2.56/2.67 c GLOBAL bounds - >= -68719476658 @ 1.07764
2.56/2.68 c GLOBAL bounds - >= -68719476658 @ 1.0822
2.56/2.69 c GLOBAL bounds - >= -68719476658 @ 1.08819
2.56/2.70 c GLOBAL bounds - >= -68719476658 @ 1.09097
2.67/2.71 c GLOBAL bounds - >= -68719476658 @ 1.09656
2.67/2.71 c GLOBAL bounds - >= -68719476658 @ 1.1005
2.67/2.72 c GLOBAL bounds - >= -68719476658 @ 1.10459
2.67/2.73 c GLOBAL bounds - >= -68719476658 @ 1.10953
2.67/2.74 c GLOBAL bounds - >= -68719476658 @ 1.11461
2.67/2.75 c GLOBAL bounds - >= -68719476658 @ 1.12209
2.67/2.76 c GLOBAL bounds - >= -68719476658 @ 1.12715
2.67/2.77 c GLOBAL bounds - >= -68719476658 @ 1.13114
2.67/2.78 c GLOBAL bounds - >= -68719476658 @ 1.13492
2.67/2.79 c GLOBAL bounds - >= -68719476658 @ 1.14089
2.67/2.80 c GLOBAL bounds - >= -68719476658 @ 1.14709
2.77/2.80 c GLOBAL bounds - >= -68719476658 @ 1.15099
2.77/2.81 c GLOBAL bounds - >= -68719476658 @ 1.15714
2.77/2.82 c GLOBAL bounds - >= -68719476658 @ 1.16204
2.77/2.83 c GLOBAL bounds - >= -68719476658 @ 1.16604
2.77/2.84 c GLOBAL bounds - >= -68719476658 @ 1.16904
2.77/2.85 c GLOBAL bounds - >= -68719476658 @ 1.17397
2.77/2.86 c GLOBAL bounds - >= -68719476658 @ 1.18
2.77/2.87 c GLOBAL bounds - >= -68719476658 @ 1.18132
2.77/2.88 c GLOBAL bounds - >= -68719476658 @ 1.18332
2.77/2.89 c GLOBAL bounds - >= -68719476658 @ 1.18796
2.87/2.90 c GLOBAL bounds - >= -68719476658 @ 1.18999
2.87/2.91 c GLOBAL bounds - >= -68719476658 @ 1.19477
2.87/2.91 c GLOBAL bounds - >= -68719476658 @ 1.19883
2.87/2.92 c GLOBAL bounds - >= -68719476658 @ 1.20327
2.87/2.93 c GLOBAL bounds - >= -68719476658 @ 1.20626
2.87/2.94 c GLOBAL bounds - >= -68719476658 @ 1.20989
2.87/2.95 c GLOBAL bounds - >= -68719476658 @ 1.21248
2.87/2.96 c GLOBAL bounds - >= -68719476658 @ 1.21593
2.87/2.97 c GLOBAL bounds - >= -68719476658 @ 1.21979
2.87/2.98 c GLOBAL bounds - >= -68719476658 @ 1.2262
2.87/2.99 c GLOBAL bounds - >= -68719476658 @ 1.23011
2.87/3.00 c GLOBAL bounds - >= -68719476658 @ 1.23534
2.87/3.01 c GLOBAL bounds - >= -68719476658 @ 1.23846
2.98/3.02 c GLOBAL bounds - >= -68719476658 @ 1.24674
2.98/3.03 c GLOBAL bounds - >= -68719476658 @ 1.25212
2.98/3.03 c GLOBAL bounds - >= -68719476658 @ 1.25967
2.98/3.04 c GLOBAL bounds - >= -68719476658 @ 1.26409
2.98/3.05 c GLOBAL bounds - >= -68719476658 @ 1.26971
2.98/3.06 c GLOBAL bounds - >= -68719476658 @ 1.27238
2.98/3.07 c GLOBAL bounds - >= -68719476658 @ 1.2758
2.98/3.08 c GLOBAL bounds - >= -68719476658 @ 1.28205
2.98/3.09 c GLOBAL bounds - >= -68719476658 @ 1.28468
2.98/3.10 c GLOBAL bounds - >= -68719476658 @ 1.29074
3.07/3.11 c GLOBAL bounds - >= -68719476658 @ 1.29476
3.07/3.12 c GLOBAL bounds - >= -68719476658 @ 1.3
3.07/3.13 c GLOBAL bounds - >= -68719476658 @ 1.30519
3.07/3.14 c GLOBAL bounds - >= -68719476658 @ 1.3114
3.07/3.15 c GLOBAL bounds - >= -68719476658 @ 1.31871
3.07/3.16 c GLOBAL bounds - >= -68719476658 @ 1.32293
3.07/3.16 c GLOBAL bounds - >= -68719476658 @ 1.32628
3.07/3.17 c GLOBAL bounds - >= -68719476658 @ 1.32795
3.07/3.18 c GLOBAL bounds - >= -68719476658 @ 1.33367
3.07/3.19 c GLOBAL bounds - >= -68719476658 @ 1.33969
3.16/3.20 c GLOBAL bounds - >= -68719476658 @ 1.34291
3.16/3.21 c GLOBAL bounds - >= -68719476658 @ 1.34561
3.16/3.22 c GLOBAL bounds - >= -68719476658 @ 1.35155
3.16/3.23 c GLOBAL bounds - >= -68719476658 @ 1.35685
3.16/3.24 c GLOBAL bounds - >= -68719476658 @ 1.36358
3.16/3.25 c GLOBAL bounds - >= -68719476658 @ 1.36661
3.16/3.26 c GLOBAL bounds - >= -68719476658 @ 1.37284
3.16/3.27 c GLOBAL bounds - >= -68719476658 @ 1.37908
3.16/3.28 c GLOBAL bounds - >= -68719476658 @ 1.38257
3.16/3.29 c GLOBAL bounds - >= -68719476658 @ 1.38752
3.16/3.30 c GLOBAL bounds - >= -68719476658 @ 1.3938
3.26/3.30 c GLOBAL bounds - >= -68719476658 @ 1.39741
3.26/3.31 c GLOBAL bounds - >= -68719476658 @ 1.40245
3.26/3.32 c GLOBAL bounds - >= -68719476658 @ 1.4075
3.26/3.33 c GLOBAL bounds - >= -68719476658 @ 1.41244
3.26/3.34 c GLOBAL bounds - >= -68719476658 @ 1.41675
3.26/3.35 c GLOBAL bounds - >= -68719476658 @ 1.41936
3.26/3.36 c GLOBAL bounds - >= -68719476658 @ 1.42247
3.26/3.37 c GLOBAL bounds - >= -68719476658 @ 1.42452
3.26/3.38 c GLOBAL bounds - >= -68719476658 @ 1.42875
3.26/3.39 c GLOBAL bounds - >= -68719476658 @ 1.43345
3.36/3.40 c GLOBAL bounds - >= -68719476658 @ 1.44137
3.36/3.41 c GLOBAL bounds - >= -68719476658 @ 1.44564
3.36/3.42 c GLOBAL bounds - >= -68719476658 @ 1.4523
3.36/3.42 c GLOBAL bounds - >= -68719476658 @ 1.45943
3.36/3.43 c GLOBAL bounds - >= -68719476658 @ 1.46365
3.36/3.44 c GLOBAL bounds - >= -68719476658 @ 1.46666
3.36/3.45 c GLOBAL bounds - >= -68719476658 @ 1.46938
3.36/3.46 c GLOBAL bounds - >= -68719476658 @ 1.47246
3.36/3.47 c GLOBAL bounds - >= -68719476658 @ 1.47473
3.36/3.48 c GLOBAL bounds - >= -68719476658 @ 1.48141
3.36/3.49 c GLOBAL bounds - >= -68719476658 @ 1.48853
3.47/3.50 c GLOBAL bounds - >= -68719476658 @ 1.49132
3.47/3.51 c GLOBAL bounds - >= -68719476658 @ 1.49631
3.47/3.52 c GLOBAL bounds - >= -68719476658 @ 1.49923
3.47/3.53 c GLOBAL bounds - >= -68719476658 @ 1.50237
3.47/3.54 c GLOBAL bounds - >= -68719476658 @ 1.50557
3.47/3.55 c GLOBAL bounds - >= -68719476658 @ 1.51191
3.47/3.56 c GLOBAL bounds - >= -68719476658 @ 1.51735
3.47/3.57 c GLOBAL bounds - >= -68719476658 @ 1.52019
3.47/3.57 c GLOBAL bounds - >= -68719476658 @ 1.52519
3.47/3.58 c GLOBAL bounds - >= -68719476658 @ 1.52852
3.47/3.59 c GLOBAL bounds - >= -68719476658 @ 1.53228
3.56/3.60 c GLOBAL bounds - >= -68719476658 @ 1.53638
3.56/3.61 c GLOBAL bounds - >= -68719476658 @ 1.54319
3.56/3.62 c GLOBAL bounds - >= -68719476658 @ 1.54629
3.56/3.63 c GLOBAL bounds - >= -68719476658 @ 1.55179
3.56/3.64 c GLOBAL bounds - >= -68719476658 @ 1.55628
3.56/3.65 c GLOBAL bounds - >= -68719476658 @ 1.55955
3.56/3.66 c GLOBAL bounds - >= -68719476658 @ 1.56488
3.56/3.67 c GLOBAL bounds - >= -68719476658 @ 1.56844
3.56/3.68 c GLOBAL bounds - >= -68719476658 @ 1.57406
3.56/3.69 c GLOBAL bounds - >= -68719476658 @ 1.57942
3.66/3.70 c GLOBAL bounds - >= -68719476658 @ 1.58168
3.66/3.71 c GLOBAL bounds - >= -68719476658 @ 1.58802
3.66/3.72 c GLOBAL bounds - >= -68719476658 @ 1.59149
3.66/3.73 c GLOBAL bounds - >= -68719476658 @ 1.59418
3.66/3.74 c GLOBAL bounds - >= -68719476658 @ 1.59838
3.66/3.74 c GLOBAL bounds - >= -68719476658 @ 1.60214
3.66/3.75 c GLOBAL bounds - >= -68719476658 @ 1.60601
3.66/3.76 c GLOBAL bounds - >= -68719476658 @ 1.61119
3.66/3.77 c GLOBAL bounds - >= -68719476658 @ 1.61643
3.66/3.78 c GLOBAL bounds - >= -68719476658 @ 1.62189
3.66/3.79 c GLOBAL bounds - >= -68719476658 @ 1.62732
3.77/3.80 c GLOBAL bounds - >= -68719476658 @ 1.6331
3.77/3.81 c GLOBAL bounds - >= -68719476658 @ 1.6383
3.77/3.82 c GLOBAL bounds - >= -68719476658 @ 1.64008
3.77/3.83 c GLOBAL bounds - >= -68719476658 @ 1.64393
3.77/3.84 c GLOBAL bounds - >= -68719476658 @ 1.64812
3.77/3.85 c GLOBAL bounds - >= -68719476658 @ 1.65334
3.77/3.86 c GLOBAL bounds - >= -68719476658 @ 1.65606
3.77/3.87 c GLOBAL bounds - >= -68719476658 @ 1.66037
3.77/3.88 c GLOBAL bounds - >= -68719476658 @ 1.66605
3.77/3.89 c GLOBAL bounds - >= -68719476658 @ 1.66834
3.86/3.90 c GLOBAL bounds - >= -68719476658 @ 1.674
3.86/3.91 c GLOBAL bounds - >= -68719476658 @ 1.67723
3.86/3.92 c GLOBAL bounds - >= -68719476658 @ 1.67994
3.86/3.93 c GLOBAL bounds - >= -68719476658 @ 1.68505
3.86/3.93 c GLOBAL bounds - >= -68719476658 @ 1.68992
3.86/3.94 c GLOBAL bounds - >= -68719476658 @ 1.69405
3.86/3.95 c GLOBAL bounds - >= -68719476658 @ 1.69827
3.86/3.96 c GLOBAL bounds - >= -68719476658 @ 1.70084
3.86/3.97 c GLOBAL bounds - >= -68719476658 @ 1.70791
3.86/3.98 c GLOBAL bounds - >= -68719476658 @ 1.71415
3.86/3.99 c GLOBAL bounds - >= -68719476658 @ 1.72037
3.86/4.00 c GLOBAL bounds - >= -68719476658 @ 1.72691
3.98/4.01 c GLOBAL bounds - >= -68719476658 @ 1.73122
3.98/4.02 c GLOBAL bounds - >= -68719476658 @ 1.73594
3.98/4.03 c GLOBAL bounds - >= -68719476658 @ 1.74276
3.98/4.04 c GLOBAL bounds - >= -68719476658 @ 1.74896
3.98/4.05 c GLOBAL bounds - >= -68719476658 @ 1.75477
3.98/4.06 c GLOBAL bounds - >= -68719476658 @ 1.76003
3.98/4.07 c GLOBAL bounds - >= -68719476658 @ 1.76687
3.98/4.08 c GLOBAL bounds - >= -68719476658 @ 1.77072
3.98/4.09 c GLOBAL bounds - >= -68719476658 @ 1.77312
3.98/4.10 c GLOBAL bounds - >= -68719476658 @ 1.77693
3.98/4.11 c GLOBAL bounds - >= -68719476658 @ 1.78199
4.07/4.12 c GLOBAL bounds - >= -68719476658 @ 1.78856
4.07/4.13 c GLOBAL bounds - >= -68719476658 @ 1.7972
4.07/4.14 c GLOBAL bounds - >= -68719476658 @ 1.80095
4.07/4.14 c GLOBAL bounds - >= -68719476658 @ 1.80563
4.07/4.15 c GLOBAL bounds - >= -68719476658 @ 1.81168
4.07/4.16 c GLOBAL bounds - >= -68719476658 @ 1.81612
4.07/4.17 c GLOBAL bounds - >= -68719476658 @ 1.8219
4.07/4.18 c GLOBAL bounds - >= -68719476658 @ 1.82869
4.07/4.19 c GLOBAL bounds - >= -68719476658 @ 1.83468
4.16/4.20 c GLOBAL bounds - >= -68719476658 @ 1.84157
4.16/4.21 c GLOBAL bounds - >= -68719476658 @ 1.848
4.16/4.22 c GLOBAL bounds - >= -68719476658 @ 1.85175
4.16/4.23 c GLOBAL bounds - >= -68719476658 @ 1.86037
4.16/4.24 c GLOBAL bounds - >= -68719476658 @ 1.86549
4.16/4.25 c GLOBAL bounds - >= -68719476658 @ 1.87136
4.16/4.26 c GLOBAL bounds - >= -68719476658 @ 1.87765
4.16/4.27 c GLOBAL bounds - >= -68719476658 @ 1.88342
4.16/4.28 c GLOBAL bounds - >= -68719476658 @ 1.88608
4.16/4.29 c GLOBAL bounds - >= -68719476658 @ 1.89433
4.27/4.30 c GLOBAL bounds - >= -68719476658 @ 1.90064
4.27/4.31 c GLOBAL bounds - >= -68719476658 @ 1.90556
4.27/4.32 c GLOBAL bounds - >= -68719476658 @ 1.90944
4.27/4.33 c GLOBAL bounds - >= -68719476658 @ 1.91497
4.27/4.34 c GLOBAL bounds - >= -68719476658 @ 1.91922
4.27/4.35 c GLOBAL bounds - >= -68719476658 @ 1.92752
4.27/4.36 c GLOBAL bounds - >= -68719476658 @ 1.93245
4.27/4.37 c GLOBAL bounds - >= -68719476658 @ 1.93712
4.27/4.38 c GLOBAL bounds - >= -68719476658 @ 1.94295
4.27/4.39 c GLOBAL bounds - >= -68719476658 @ 1.94853
4.36/4.40 c GLOBAL bounds - >= -68719476658 @ 1.95244
4.36/4.41 c GLOBAL bounds - >= -68719476658 @ 1.95846
4.36/4.42 c GLOBAL bounds - >= -68719476658 @ 1.96348
4.36/4.43 c GLOBAL bounds - >= -68719476658 @ 1.96958
4.36/4.44 c GLOBAL bounds - >= -68719476658 @ 1.97434
4.36/4.45 c GLOBAL bounds - >= -68719476658 @ 1.9779
4.36/4.46 c GLOBAL bounds - >= -68719476658 @ 1.98139
4.36/4.47 c GLOBAL bounds - >= -68719476658 @ 1.98742
4.36/4.48 c GLOBAL bounds - >= -68719476658 @ 1.99135
4.36/4.49 c GLOBAL bounds - >= -68719476658 @ 1.99524
4.46/4.50 c GLOBAL bounds - >= -68719476658 @ 1.9992
4.46/4.51 c GLOBAL bounds - >= -68719476658 @ 2.00623
4.46/4.52 c GLOBAL bounds - >= -68719476658 @ 2.01103
4.46/4.53 c GLOBAL bounds - >= -68719476658 @ 2.01656
4.46/4.54 c GLOBAL bounds - >= -68719476658 @ 2.02196
4.46/4.55 c GLOBAL bounds - >= -68719476658 @ 2.02794
4.46/4.56 c GLOBAL bounds - >= -68719476658 @ 2.03444
4.46/4.57 c GLOBAL bounds - >= -68719476658 @ 2.03842
4.46/4.58 c GLOBAL bounds - >= -68719476658 @ 2.04237
4.46/4.59 c GLOBAL bounds - >= -68719476658 @ 2.04832
4.56/4.60 c GLOBAL bounds - >= -68719476658 @ 2.05622
4.56/4.61 c GLOBAL bounds - >= -68719476658 @ 2.06033
4.56/4.62 c GLOBAL bounds - >= -68719476658 @ 2.06327
4.56/4.63 c GLOBAL bounds - >= -68719476658 @ 2.0678
4.56/4.64 c GLOBAL bounds - >= -68719476658 @ 2.07329
4.56/4.65 c GLOBAL bounds - >= -68719476658 @ 2.07934
4.56/4.66 c GLOBAL bounds - >= -68719476658 @ 2.08426
4.56/4.67 c GLOBAL bounds - >= -68719476658 @ 2.08932
4.56/4.68 c GLOBAL bounds - >= -68719476658 @ 2.09687
4.56/4.69 c GLOBAL bounds - >= -68719476658 @ 2.1009
4.66/4.70 c GLOBAL bounds - >= -68719476658 @ 2.10591
4.66/4.71 c GLOBAL bounds - >= -68719476658 @ 2.11274
4.66/4.72 c GLOBAL bounds - >= -68719476658 @ 2.1177
4.66/4.73 c GLOBAL bounds - >= -68719476658 @ 2.12185
4.66/4.74 c GLOBAL bounds - >= -68719476658 @ 2.12879
4.66/4.75 c GLOBAL bounds - >= -68719476658 @ 2.13396
4.66/4.76 c GLOBAL bounds - >= -68719476658 @ 2.13888
4.66/4.77 c GLOBAL bounds - >= -68719476658 @ 2.14193
4.66/4.78 c GLOBAL bounds - >= -68719476658 @ 2.14679
4.66/4.79 c GLOBAL bounds - >= -68719476658 @ 2.15485
4.76/4.80 c GLOBAL bounds - >= -68719476658 @ 2.15991
4.76/4.81 c GLOBAL bounds - >= -68719476658 @ 2.16595
4.76/4.82 c GLOBAL bounds - >= -68719476658 @ 2.1709
4.76/4.83 c GLOBAL bounds - >= -68719476658 @ 2.17602
4.76/4.84 c GLOBAL bounds - >= -68719476658 @ 2.18005
4.76/4.85 c GLOBAL bounds - >= -68719476658 @ 2.18756
4.76/4.86 c GLOBAL bounds - >= -68719476658 @ 2.19154
4.76/4.87 c GLOBAL bounds - >= -68719476658 @ 2.19758
4.76/4.88 c GLOBAL bounds - >= -68719476658 @ 2.20025
4.76/4.89 c GLOBAL bounds - >= -68719476658 @ 2.20748
4.86/4.95 c GLOBAL bounds - >= -68719476658 @ 2.25372
256.13/257.04 c #Conflicts: 1000 | #Constraints: 1897
256.13/257.04 c #Conflicts: 2000 | #Constraints: 2897
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 3000 | #Constraints: 2908
256.13/257.04 c #Conflicts: 4000 | #Constraints: 3908
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 5000 | #Constraints: 3324
256.13/257.04 c #Conflicts: 6000 | #Constraints: 4324
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 7000 | #Constraints: 3339
256.13/257.04 c #Conflicts: 8000 | #Constraints: 4339
256.13/257.04 c #Conflicts: 9000 | #Constraints: 5339
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 10000 | #Constraints: 4038
256.13/257.04 c #Conflicts: 11000 | #Constraints: 5038
256.13/257.04 c #Conflicts: 12000 | #Constraints: 6038
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 13000 | #Constraints: 4490
256.13/257.04 c #Conflicts: 14000 | #Constraints: 5490
256.13/257.04 c #Conflicts: 15000 | #Constraints: 6490
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 16000 | #Constraints: 4716
256.13/257.04 c #Conflicts: 17000 | #Constraints: 5716
256.13/257.04 c #Conflicts: 18000 | #Constraints: 6716
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 19000 | #Constraints: 4730
256.13/257.04 c #Conflicts: 20000 | #Constraints: 5730
256.13/257.04 c #Conflicts: 21000 | #Constraints: 6730
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 22000 | #Constraints: 4532
256.13/257.04 c #Conflicts: 23000 | #Constraints: 5532
256.13/257.04 c #Conflicts: 24000 | #Constraints: 6532
256.13/257.04 c #Conflicts: 25000 | #Constraints: 7532
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 26000 | #Constraints: 5142
256.13/257.04 c #Conflicts: 27000 | #Constraints: 6142
256.13/257.04 c #Conflicts: 28000 | #Constraints: 7142
256.13/257.04 c #Conflicts: 29000 | #Constraints: 8142
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 30000 | #Constraints: 5543
256.13/257.04 c #Conflicts: 31000 | #Constraints: 6543
256.13/257.04 c #Conflicts: 32000 | #Constraints: 7543
256.13/257.04 c #Conflicts: 33000 | #Constraints: 8543
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 34000 | #Constraints: 5740
256.13/257.04 c #Conflicts: 35000 | #Constraints: 6740
256.13/257.04 c #Conflicts: 36000 | #Constraints: 7740
256.13/257.04 c #Conflicts: 37000 | #Constraints: 8740
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 38000 | #Constraints: 5743
256.13/257.04 c #Conflicts: 39000 | #Constraints: 6743
256.13/257.04 c #Conflicts: 40000 | #Constraints: 7743
256.13/257.04 c #Conflicts: 41000 | #Constraints: 8743
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 42000 | #Constraints: 5551
256.13/257.04 c #Conflicts: 43000 | #Constraints: 6551
256.13/257.04 c #Conflicts: 44000 | #Constraints: 7551
256.13/257.04 c #Conflicts: 45000 | #Constraints: 8551
256.13/257.04 c #Conflicts: 46000 | #Constraints: 9551
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 47000 | #Constraints: 6157
256.13/257.04 c #Conflicts: 48000 | #Constraints: 7157
256.13/257.04 c #Conflicts: 49000 | #Constraints: 8157
256.13/257.04 c #Conflicts: 50000 | #Constraints: 9157
256.13/257.04 c #Conflicts: 51000 | #Constraints: 10157
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 52000 | #Constraints: 6550
256.13/257.04 c #Conflicts: 53000 | #Constraints: 7550
256.13/257.04 c #Conflicts: 54000 | #Constraints: 8550
256.13/257.04 c #Conflicts: 55000 | #Constraints: 9550
256.13/257.04 c #Conflicts: 56000 | #Constraints: 10550
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 57000 | #Constraints: 6760
256.13/257.04 c #Conflicts: 58000 | #Constraints: 7760
256.13/257.04 c #Conflicts: 59000 | #Constraints: 8760
256.13/257.04 c #Conflicts: 60000 | #Constraints: 9760
256.13/257.04 c #Conflicts: 61000 | #Constraints: 10760
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 62000 | #Constraints: 6754
256.13/257.04 c #Conflicts: 63000 | #Constraints: 7754
256.13/257.04 c #Conflicts: 64000 | #Constraints: 8754
256.13/257.04 c #Conflicts: 65000 | #Constraints: 9754
256.13/257.04 c #Conflicts: 66000 | #Constraints: 10754
256.13/257.04 c INPROCESSING
256.13/257.04 c GARBAGE COLLECT
256.13/257.04 c #Conflicts: 67000 | #Constraints: 6550
256.13/257.04 c #Conflicts: 68000 | #Constraints: 7550
704.49/706.74 c #Conflicts: 69000 | #Constraints: 8550
704.49/706.74 c #Conflicts: 70000 | #Constraints: 9550
704.49/706.74 c #Conflicts: 71000 | #Constraints: 10550
704.49/706.74 c #Conflicts: 72000 | #Constraints: 11550
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 73000 | #Constraints: 7150
704.49/706.74 c #Conflicts: 74000 | #Constraints: 8150
704.49/706.74 c #Conflicts: 75000 | #Constraints: 9150
704.49/706.74 c #Conflicts: 76000 | #Constraints: 10150
704.49/706.74 c #Conflicts: 77000 | #Constraints: 11150
704.49/706.74 c #Conflicts: 78000 | #Constraints: 12150
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 79000 | #Constraints: 7547
704.49/706.74 c #Conflicts: 80000 | #Constraints: 8547
704.49/706.74 c #Conflicts: 81000 | #Constraints: 9547
704.49/706.74 c #Conflicts: 82000 | #Constraints: 10547
704.49/706.74 c #Conflicts: 83000 | #Constraints: 11547
704.49/706.74 c #Conflicts: 84000 | #Constraints: 12547
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 85000 | #Constraints: 7754
704.49/706.74 c #Conflicts: 86000 | #Constraints: 8754
704.49/706.74 c #Conflicts: 87000 | #Constraints: 9754
704.49/706.74 c #Conflicts: 88000 | #Constraints: 10754
704.49/706.74 c #Conflicts: 89000 | #Constraints: 11754
704.49/706.74 c #Conflicts: 90000 | #Constraints: 12754
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 91000 | #Constraints: 7758
704.49/706.74 c #Conflicts: 92000 | #Constraints: 8758
704.49/706.74 c #Conflicts: 93000 | #Constraints: 9758
704.49/706.74 c #Conflicts: 94000 | #Constraints: 10758
704.49/706.74 c #Conflicts: 95000 | #Constraints: 11758
704.49/706.74 c #Conflicts: 96000 | #Constraints: 12758
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 97000 | #Constraints: 7559
704.49/706.74 c #Conflicts: 98000 | #Constraints: 8559
704.49/706.74 c #Conflicts: 99000 | #Constraints: 9559
704.49/706.74 c #Conflicts: 100000 | #Constraints: 10559
704.49/706.74 c #Conflicts: 101000 | #Constraints: 11559
704.49/706.74 c #Conflicts: 102000 | #Constraints: 12559
704.49/706.74 c #Conflicts: 103000 | #Constraints: 13559
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 104000 | #Constraints: 8151
704.49/706.74 c #Conflicts: 105000 | #Constraints: 9151
704.49/706.74 c #Conflicts: 106000 | #Constraints: 10151
704.49/706.74 c #Conflicts: 107000 | #Constraints: 11151
704.49/706.74 c #Conflicts: 108000 | #Constraints: 12151
704.49/706.74 c #Conflicts: 109000 | #Constraints: 13151
704.49/706.74 c #Conflicts: 110000 | #Constraints: 14151
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 111000 | #Constraints: 8553
704.49/706.74 c #Conflicts: 112000 | #Constraints: 9553
704.49/706.74 c #Conflicts: 113000 | #Constraints: 10553
704.49/706.74 c #Conflicts: 114000 | #Constraints: 11553
704.49/706.74 c #Conflicts: 115000 | #Constraints: 12553
704.49/706.74 c #Conflicts: 116000 | #Constraints: 13553
704.49/706.74 c #Conflicts: 117000 | #Constraints: 14553
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 118000 | #Constraints: 8749
704.49/706.74 c #Conflicts: 119000 | #Constraints: 9749
704.49/706.74 c #Conflicts: 120000 | #Constraints: 10749
704.49/706.74 c #Conflicts: 121000 | #Constraints: 11749
704.49/706.74 c #Conflicts: 122000 | #Constraints: 12749
704.49/706.74 c #Conflicts: 123000 | #Constraints: 13749
704.49/706.74 c #Conflicts: 124000 | #Constraints: 14749
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 125000 | #Constraints: 8748
704.49/706.74 c #Conflicts: 126000 | #Constraints: 9748
704.49/706.74 c #Conflicts: 127000 | #Constraints: 10748
704.49/706.74 c #Conflicts: 128000 | #Constraints: 11748
704.49/706.74 c #Conflicts: 129000 | #Constraints: 12748
704.49/706.74 c #Conflicts: 130000 | #Constraints: 13748
704.49/706.74 c #Conflicts: 131000 | #Constraints: 14748
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 132000 | #Constraints: 8546
704.49/706.74 c #Conflicts: 133000 | #Constraints: 9546
704.49/706.74 c #Conflicts: 134000 | #Constraints: 10546
704.49/706.74 c #Conflicts: 135000 | #Constraints: 11546
704.49/706.74 c #Conflicts: 136000 | #Constraints: 12546
704.49/706.74 c #Conflicts: 137000 | #Constraints: 13546
704.49/706.74 c #Conflicts: 138000 | #Constraints: 14546
704.49/706.74 c #Conflicts: 139000 | #Constraints: 15546
704.49/706.74 c INPROCESSING
704.49/706.74 c GARBAGE COLLECT
704.49/706.74 c #Conflicts: 140000 | #Constraints: 9155
1319.00/1323.29 c #Conflicts: 141000 | #Constraints: 10155
1319.00/1323.29 c #Conflicts: 142000 | #Constraints: 11155
1319.00/1323.29 c #Conflicts: 143000 | #Constraints: 12155
1319.00/1323.29 c #Conflicts: 144000 | #Constraints: 13155
1319.00/1323.29 c #Conflicts: 145000 | #Constraints: 14155
1319.00/1323.29 c #Conflicts: 146000 | #Constraints: 15155
1319.00/1323.29 c #Conflicts: 147000 | #Constraints: 16155
1319.00/1323.29 c INPROCESSING
1319.00/1323.29 c GARBAGE COLLECT
1319.00/1323.29 c #Conflicts: 148000 | #Constraints: 9562
1319.00/1323.29 c #Conflicts: 149000 | #Constraints: 10562
1319.00/1323.29 c #Conflicts: 150000 | #Constraints: 11562
1319.00/1323.29 c #Conflicts: 151000 | #Constraints: 12562
1319.00/1323.29 c #Conflicts: 152000 | #Constraints: 13562
1319.00/1323.29 c #Conflicts: 153000 | #Constraints: 14562
1319.00/1323.29 c #Conflicts: 154000 | #Constraints: 15562
1319.00/1323.29 c #Conflicts: 155000 | #Constraints: 16562
1319.00/1323.29 c INPROCESSING
1319.00/1323.29 c GARBAGE COLLECT
1319.00/1323.29 c #Conflicts: 156000 | #Constraints: 9767
1319.00/1323.29 c #Conflicts: 157000 | #Constraints: 10767
1319.00/1323.29 c #Conflicts: 158000 | #Constraints: 11767
1319.00/1323.29 c #Conflicts: 159000 | #Constraints: 12767
1319.00/1323.29 c #Conflicts: 160000 | #Constraints: 13767
1319.00/1323.29 c #Conflicts: 161000 | #Constraints: 14767
1319.00/1323.29 c #Conflicts: 162000 | #Constraints: 15767
1319.00/1323.29 c #Conflicts: 163000 | #Constraints: 16767
1319.00/1323.29 c INPROCESSING
1319.00/1323.29 c GARBAGE COLLECT
1319.00/1323.29 c #Conflicts: 164000 | #Constraints: 9758
1319.00/1323.29 c #Conflicts: 165000 | #Constraints: 10758
1319.00/1323.29 c #Conflicts: 166000 | #Constraints: 11758
1319.00/1323.29 c #Conflicts: 167000 | #Constraints: 12758
1319.00/1323.29 c #Conflicts: 168000 | #Constraints: 13758
1319.00/1323.29 c #Conflicts: 169000 | #Constraints: 14758
1319.00/1323.29 c #Conflicts: 170000 | #Constraints: 15758
1319.00/1323.29 c #Conflicts: 171000 | #Constraints: 16758
1319.00/1323.29 c INPROCESSING
1319.00/1323.29 c GARBAGE COLLECT
1319.00/1323.29 c #Conflicts: 172000 | #Constraints: 9556
1319.00/1323.29 c #Conflicts: 173000 | #Constraints: 10556
1319.00/1323.29 c #Conflicts: 174000 | #Constraints: 11556
1319.00/1323.29 c #Conflicts: 175000 | #Constraints: 12556
1319.00/1323.29 c #Conflicts: 176000 | #Constraints: 13556
1319.00/1323.29 c #Conflicts: 177000 | #Constraints: 14556
1319.00/1323.29 c #Conflicts: 178000 | #Constraints: 15556
1319.00/1323.29 c #Conflicts: 179000 | #Constraints: 16556
1319.00/1323.29 c #Conflicts: 180000 | #Constraints: 17556
1319.00/1323.29 c INPROCESSING
1319.00/1323.29 c GARBAGE COLLECT
1319.00/1323.29 c #Conflicts: 181000 | #Constraints: 10164
1319.00/1323.29 c #Conflicts: 182000 | #Constraints: 11164
1319.00/1323.29 c #Conflicts: 183000 | #Constraints: 12164
1319.00/1323.29 c #Conflicts: 184000 | #Constraints: 13164
1319.00/1323.29 c #Conflicts: 185000 | #Constraints: 14164
1319.00/1323.29 c #Conflicts: 186000 | #Constraints: 15164
1319.00/1323.29 c #Conflicts: 187000 | #Constraints: 16164
1319.00/1323.29 c #Conflicts: 188000 | #Constraints: 17164
1319.00/1323.29 c #Conflicts: 189000 | #Constraints: 18164
1319.00/1323.29 c INPROCESSING
1319.00/1323.29 c GARBAGE COLLECT
1319.00/1323.29 c #Conflicts: 190000 | #Constraints: 10560
1319.00/1323.29 c #Conflicts: 191000 | #Constraints: 11560
1319.00/1323.29 c #Conflicts: 192000 | #Constraints: 12560
1319.00/1323.29 c #Conflicts: 193000 | #Constraints: 13560
1319.00/1323.29 c #Conflicts: 194000 | #Constraints: 14560
1319.00/1323.29 c #Conflicts: 195000 | #Constraints: 15560
1319.00/1323.29 c #Conflicts: 196000 | #Constraints: 16560
1319.00/1323.29 c #Conflicts: 197000 | #Constraints: 17560
1319.00/1323.29 c #Conflicts: 198000 | #Constraints: 18560
1319.00/1323.29 c INPROCESSING
1319.00/1323.29 c GARBAGE COLLECT
1319.00/1323.29 c #Conflicts: 199000 | #Constraints: 10762
1319.00/1323.29 c #Conflicts: 200000 | #Constraints: 11762
1319.00/1323.29 c #Conflicts: 201000 | #Constraints: 12762
1319.00/1323.29 c #Conflicts: 202000 | #Constraints: 13762
1319.00/1323.29 c #Conflicts: 203000 | #Constraints: 14762
1319.00/1323.29 c #Conflicts: 204000 | #Constraints: 15762
1319.00/1323.29 c #Conflicts: 205000 | #Constraints: 16762
1319.00/1323.29 c #Conflicts: 206000 | #Constraints: 17762
1319.00/1323.29 c #Conflicts: 207000 | #Constraints: 18762
1319.00/1323.29 c INPROCESSING
1319.00/1323.29 c GARBAGE COLLECT
1319.00/1323.29 c #Conflicts: 208000 | #Constraints: 10763
1319.00/1323.29 c #Conflicts: 209000 | #Constraints: 11763
1319.00/1323.29 c #Conflicts: 210000 | #Constraints: 12763
1319.00/1323.29 c #Conflicts: 211000 | #Constraints: 13763
1319.00/1323.29 c #Conflicts: 212000 | #Constraints: 14763
1319.00/1323.29 c #Conflicts: 213000 | #Constraints: 15763
2136.90/2143.84 c #Conflicts: 214000 | #Constraints: 16763
2136.90/2143.84 c #Conflicts: 215000 | #Constraints: 17763
2136.90/2143.84 c #Conflicts: 216000 | #Constraints: 18763
2136.90/2143.84 c INPROCESSING
2136.90/2143.84 c GARBAGE COLLECT
2136.90/2143.84 c #Conflicts: 217000 | #Constraints: 10564
2136.90/2143.84 c #Conflicts: 218000 | #Constraints: 11564
2136.90/2143.84 c #Conflicts: 219000 | #Constraints: 12564
2136.90/2143.84 c #Conflicts: 220000 | #Constraints: 13564
2136.90/2143.84 c #Conflicts: 221000 | #Constraints: 14564
2136.90/2143.84 c #Conflicts: 222000 | #Constraints: 15564
2136.90/2143.84 c #Conflicts: 223000 | #Constraints: 16564
2136.90/2143.84 c #Conflicts: 224000 | #Constraints: 17564
2136.90/2143.84 c #Conflicts: 225000 | #Constraints: 18564
2136.90/2143.84 c #Conflicts: 226000 | #Constraints: 19564
2136.90/2143.84 c INPROCESSING
2136.90/2143.84 c GARBAGE COLLECT
2136.90/2143.84 c #Conflicts: 227000 | #Constraints: 11169
2136.90/2143.84 c #Conflicts: 228000 | #Constraints: 12169
2136.90/2143.84 c #Conflicts: 229000 | #Constraints: 13169
2136.90/2143.84 c #Conflicts: 230000 | #Constraints: 14169
2136.90/2143.84 c #Conflicts: 231000 | #Constraints: 15169
2136.90/2143.84 c #Conflicts: 232000 | #Constraints: 16169
2136.90/2143.84 c #Conflicts: 233000 | #Constraints: 17169
2136.90/2143.84 c #Conflicts: 234000 | #Constraints: 18169
2136.90/2143.84 c #Conflicts: 235000 | #Constraints: 19169
2136.90/2143.84 c #Conflicts: 236000 | #Constraints: 20169
2136.90/2143.84 c INPROCESSING
2136.90/2143.84 c GARBAGE COLLECT
2136.90/2143.84 c #Conflicts: 237000 | #Constraints: 11569
2136.90/2143.84 c #Conflicts: 238000 | #Constraints: 12569
2136.90/2143.84 c #Conflicts: 239000 | #Constraints: 13569
2136.90/2143.84 c #Conflicts: 240000 | #Constraints: 14569
2136.90/2143.84 c #Conflicts: 241000 | #Constraints: 15569
2136.90/2143.84 c #Conflicts: 242000 | #Constraints: 16569
2136.90/2143.84 c #Conflicts: 243000 | #Constraints: 17569
2136.90/2143.84 c #Conflicts: 244000 | #Constraints: 18569
2136.90/2143.84 c #Conflicts: 245000 | #Constraints: 19569
2136.90/2143.84 c #Conflicts: 246000 | #Constraints: 20569
2136.90/2143.84 c INPROCESSING
2136.90/2143.84 c GARBAGE COLLECT
2136.90/2143.84 c #Conflicts: 247000 | #Constraints: 11769
2136.90/2143.84 c #Conflicts: 248000 | #Constraints: 12769
2136.90/2143.84 c #Conflicts: 249000 | #Constraints: 13769
2136.90/2143.84 c #Conflicts: 250000 | #Constraints: 14769
2136.90/2143.84 c #Conflicts: 251000 | #Constraints: 15769
2136.90/2143.84 c #Conflicts: 252000 | #Constraints: 16769
2136.90/2143.84 c #Conflicts: 253000 | #Constraints: 17769
2136.90/2143.84 c #Conflicts: 254000 | #Constraints: 18769
2136.90/2143.84 c #Conflicts: 255000 | #Constraints: 19769
2136.90/2143.84 c #Conflicts: 256000 | #Constraints: 20769
2136.90/2143.84 c INPROCESSING
2136.90/2143.84 c GARBAGE COLLECT
2136.90/2143.84 c #Conflicts: 257000 | #Constraints: 11764
2136.90/2143.84 c #Conflicts: 258000 | #Constraints: 12764
2136.90/2143.84 c #Conflicts: 259000 | #Constraints: 13764
2136.90/2143.84 c #Conflicts: 260000 | #Constraints: 14764
2136.90/2143.84 c #Conflicts: 261000 | #Constraints: 15764
2136.90/2143.84 c #Conflicts: 262000 | #Constraints: 16764
2136.90/2143.84 c #Conflicts: 263000 | #Constraints: 17764
2136.90/2143.84 c #Conflicts: 264000 | #Constraints: 18764
2136.90/2143.84 c #Conflicts: 265000 | #Constraints: 19764
2136.90/2143.84 c #Conflicts: 266000 | #Constraints: 20764
2136.90/2143.84 c INPROCESSING
2136.90/2143.84 c GARBAGE COLLECT
2136.90/2143.84 c #Conflicts: 267000 | #Constraints: 11563
2136.90/2143.84 c #Conflicts: 268000 | #Constraints: 12563
2136.90/2143.84 c #Conflicts: 269000 | #Constraints: 13563
2136.90/2143.84 c #Conflicts: 270000 | #Constraints: 14563
2136.90/2143.84 c #Conflicts: 271000 | #Constraints: 15563
2136.90/2143.84 c #Conflicts: 272000 | #Constraints: 16563
2136.90/2143.84 c #Conflicts: 273000 | #Constraints: 17563
2136.90/2143.84 c #Conflicts: 274000 | #Constraints: 18563
2136.90/2143.84 c #Conflicts: 275000 | #Constraints: 19563
2136.90/2143.84 c #Conflicts: 276000 | #Constraints: 20563
2136.90/2143.84 c #Conflicts: 277000 | #Constraints: 21563
2136.90/2143.84 c INPROCESSING
2136.90/2143.84 c GARBAGE COLLECT
2136.90/2143.84 c #Conflicts: 278000 | #Constraints: 12165
2136.90/2143.84 c #Conflicts: 279000 | #Constraints: 13165
2136.90/2143.84 c #Conflicts: 280000 | #Constraints: 14165
2136.90/2143.84 c #Conflicts: 281000 | #Constraints: 15165
2136.90/2143.84 c #Conflicts: 282000 | #Constraints: 16165
2136.90/2143.84 c #Conflicts: 283000 | #Constraints: 17165
2136.90/2143.84 c #Conflicts: 284000 | #Constraints: 18165
2136.90/2143.84 c #Conflicts: 285000 | #Constraints: 19165
2136.90/2143.84 c #Conflicts: 286000 | #Constraints: 20165
2136.90/2143.84 c #Conflicts: 287000 | #Constraints: 21165
2136.90/2143.84 c #Conflicts: 288000 | #Constraints: 22165
2997.86/3007.46 c INPROCESSING
2997.86/3007.46 c GARBAGE COLLECT
2997.86/3007.46 c #Conflicts: 289000 | #Constraints: 12556
2997.86/3007.46 c #Conflicts: 290000 | #Constraints: 13556
2997.86/3007.46 c #Conflicts: 291000 | #Constraints: 14556
2997.86/3007.46 c #Conflicts: 292000 | #Constraints: 15556
2997.86/3007.46 c #Conflicts: 293000 | #Constraints: 16556
2997.86/3007.46 c #Conflicts: 294000 | #Constraints: 17556
2997.86/3007.46 c #Conflicts: 295000 | #Constraints: 18556
2997.86/3007.46 c #Conflicts: 296000 | #Constraints: 19556
2997.86/3007.46 c #Conflicts: 297000 | #Constraints: 20556
2997.86/3007.46 c #Conflicts: 298000 | #Constraints: 21556
2997.86/3007.46 c #Conflicts: 299000 | #Constraints: 22556
2997.86/3007.46 c INPROCESSING
2997.86/3007.46 c GARBAGE COLLECT
2997.86/3007.46 c #Conflicts: 300000 | #Constraints: 12759
2997.86/3007.46 c #Conflicts: 301000 | #Constraints: 13759
2997.86/3007.46 c #Conflicts: 302000 | #Constraints: 14759
2997.86/3007.46 c #Conflicts: 303000 | #Constraints: 15759
2997.86/3007.46 c #Conflicts: 304000 | #Constraints: 16759
2997.86/3007.46 c #Conflicts: 305000 | #Constraints: 17759
2997.86/3007.46 c #Conflicts: 306000 | #Constraints: 18759
2997.86/3007.46 c #Conflicts: 307000 | #Constraints: 19759
2997.86/3007.46 c #Conflicts: 308000 | #Constraints: 20759
2997.86/3007.46 c #Conflicts: 309000 | #Constraints: 21759
2997.86/3007.46 c #Conflicts: 310000 | #Constraints: 22759
2997.86/3007.46 c INPROCESSING
2997.86/3007.46 c GARBAGE COLLECT
2997.86/3007.46 c #Conflicts: 311000 | #Constraints: 12766
2997.86/3007.46 c #Conflicts: 312000 | #Constraints: 13766
2997.86/3007.46 c #Conflicts: 313000 | #Constraints: 14766
2997.86/3007.46 c #Conflicts: 314000 | #Constraints: 15766
2997.86/3007.46 c #Conflicts: 315000 | #Constraints: 16766
2997.86/3007.46 c #Conflicts: 316000 | #Constraints: 17766
2997.86/3007.46 c #Conflicts: 317000 | #Constraints: 18766
2997.86/3007.46 c #Conflicts: 318000 | #Constraints: 19766
2997.86/3007.46 c #Conflicts: 319000 | #Constraints: 20766
2997.86/3007.46 c #Conflicts: 320000 | #Constraints: 21766
2997.86/3007.46 c #Conflicts: 321000 | #Constraints: 22766
2997.86/3007.46 c INPROCESSING
2997.86/3007.46 c GARBAGE COLLECT
2997.86/3007.46 c #Conflicts: 322000 | #Constraints: 12566
2997.86/3007.46 c #Conflicts: 323000 | #Constraints: 13566
2997.86/3007.46 c #Conflicts: 324000 | #Constraints: 14566
2997.86/3007.46 c #Conflicts: 325000 | #Constraints: 15566
2997.86/3007.46 c #Conflicts: 326000 | #Constraints: 16566
2997.86/3007.46 c #Conflicts: 327000 | #Constraints: 17566
2997.86/3007.46 c #Conflicts: 328000 | #Constraints: 18566
2997.86/3007.46 c #Conflicts: 329000 | #Constraints: 19566
2997.86/3007.46 c #Conflicts: 330000 | #Constraints: 20566
2997.86/3007.46 c #Conflicts: 331000 | #Constraints: 21566
2997.86/3007.46 c #Conflicts: 332000 | #Constraints: 22566
2997.86/3007.46 c #Conflicts: 333000 | #Constraints: 23566
2997.86/3007.46 c INPROCESSING
2997.86/3007.46 c GARBAGE COLLECT
2997.86/3007.46 c #Conflicts: 334000 | #Constraints: 13162
2997.86/3007.46 c #Conflicts: 335000 | #Constraints: 14162
2997.86/3007.46 c #Conflicts: 336000 | #Constraints: 15162
2997.86/3007.46 c #Conflicts: 337000 | #Constraints: 16162
2997.86/3007.46 c #Conflicts: 338000 | #Constraints: 17162
2997.86/3007.46 c #Conflicts: 339000 | #Constraints: 18162
2997.86/3007.46 c #Conflicts: 340000 | #Constraints: 19162
2997.86/3007.46 c #Conflicts: 341000 | #Constraints: 20162
2997.86/3007.46 c #Conflicts: 342000 | #Constraints: 21162
2997.86/3007.46 c #Conflicts: 343000 | #Constraints: 22162
2997.86/3007.46 c #Conflicts: 344000 | #Constraints: 23162
2997.86/3007.46 c #Conflicts: 345000 | #Constraints: 24162
2997.86/3007.46 c INPROCESSING
2997.86/3007.46 c GARBAGE COLLECT
2997.86/3007.46 c #Conflicts: 346000 | #Constraints: 13559
2997.86/3007.46 c #Conflicts: 347000 | #Constraints: 14559
2997.86/3007.46 c #Conflicts: 348000 | #Constraints: 15559
2997.86/3007.46 c #Conflicts: 349000 | #Constraints: 16559
2997.86/3007.46 c #Conflicts: 350000 | #Constraints: 17559
2997.86/3007.46 c #Conflicts: 351000 | #Constraints: 18559
2997.86/3007.46 c #Conflicts: 352000 | #Constraints: 19559
2997.86/3007.46 c #Conflicts: 353000 | #Constraints: 20559
2997.86/3007.46 c #Conflicts: 354000 | #Constraints: 21559
2997.86/3007.46 c #Conflicts: 355000 | #Constraints: 22559
2997.86/3007.46 c #Conflicts: 356000 | #Constraints: 23559
2997.86/3007.46 c #Conflicts: 357000 | #Constraints: 24559
2997.86/3007.46 c INPROCESSING
2997.86/3007.46 c GARBAGE COLLECT
2997.86/3007.46 c #Conflicts: 358000 | #Constraints: 13762
2997.86/3007.46 c #Conflicts: 359000 | #Constraints: 14762
2997.86/3007.46 c #Conflicts: 360000 | #Constraints: 15762
2997.86/3007.46 c #Conflicts: 361000 | #Constraints: 16762
2997.86/3007.46 c #Conflicts: 362000 | #Constraints: 17762
3600.07/3611.40 c #Conflicts: 363000 | #Constraints: 18762
3600.07/3611.40 c #Conflicts: 364000 | #Constraints: 19762
3600.07/3611.40 c #Conflicts: 365000 | #Constraints: 20762
3600.07/3611.40 c #Conflicts: 366000 | #Constraints: 21762
3600.07/3611.40 c #Conflicts: 367000 | #Constraints: 22762
3600.07/3611.40 c #Conflicts: 368000 | #Constraints: 23762
3600.07/3611.40 c #Conflicts: 369000 | #Constraints: 24762
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c GARBAGE COLLECT
3600.07/3611.40 c #Conflicts: 370000 | #Constraints: 13762
3600.07/3611.40 c #Conflicts: 371000 | #Constraints: 14762
3600.07/3611.40 c #Conflicts: 372000 | #Constraints: 15762
3600.07/3611.40 c #Conflicts: 373000 | #Constraints: 16762
3600.07/3611.40 c #Conflicts: 374000 | #Constraints: 17762
3600.07/3611.40 c #Conflicts: 375000 | #Constraints: 18762
3600.07/3611.40 c #Conflicts: 376000 | #Constraints: 19762
3600.07/3611.40 c #Conflicts: 377000 | #Constraints: 20762
3600.07/3611.40 c #Conflicts: 378000 | #Constraints: 21762
3600.07/3611.40 c #Conflicts: 379000 | #Constraints: 22762
3600.07/3611.40 c #Conflicts: 380000 | #Constraints: 23762
3600.07/3611.40 c #Conflicts: 381000 | #Constraints: 24762
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c GARBAGE COLLECT
3600.07/3611.40 c #Conflicts: 382000 | #Constraints: 13560
3600.07/3611.40 c #Conflicts: 383000 | #Constraints: 14560
3600.07/3611.40 c #Conflicts: 384000 | #Constraints: 15560
3600.07/3611.40 c #Conflicts: 385000 | #Constraints: 16560
3600.07/3611.40 c #Conflicts: 386000 | #Constraints: 17560
3600.07/3611.40 c #Conflicts: 387000 | #Constraints: 18560
3600.07/3611.40 c #Conflicts: 388000 | #Constraints: 19560
3600.07/3611.40 c #Conflicts: 389000 | #Constraints: 20560
3600.07/3611.40 c #Conflicts: 390000 | #Constraints: 21560
3600.07/3611.40 c #Conflicts: 391000 | #Constraints: 22560
3600.07/3611.40 c #Conflicts: 392000 | #Constraints: 23560
3600.07/3611.40 c #Conflicts: 393000 | #Constraints: 24560
3600.07/3611.40 c #Conflicts: 394000 | #Constraints: 25560
3600.07/3611.40 c INPROCESSING
3600.07/3611.40 c GARBAGE COLLECT
3600.07/3611.40 c #Conflicts: 395000 | #Constraints: 14168
3600.07/3611.40 c #Conflicts: 396000 | #Constraints: 15168
3600.07/3611.40 c #Conflicts: 397000 | #Constraints: 16168
3600.07/3611.40 c #Conflicts: 398000 | #Constraints: 17168
3600.07/3611.40 c #Conflicts: 399000 | #Constraints: 18168
3600.07/3611.40 c #Conflicts: 400000 | #Constraints: 19168
3600.07/3611.40 c #Conflicts: 401000 | #Constraints: 20168
3600.07/3611.40 c #Conflicts: 402000 | #Constraints: 21168
3600.07/3611.40 c #Conflicts: 403000 | #Constraints: 22168
3600.07/3611.40 c #Conflicts: 404000 | #Constraints: 23168
3600.07/3611.40 c #Conflicts: 405000 | #Constraints: 24168
3600.07/3611.40 c #Conflicts: 406000 | #Constraints: 25168
3600.07/3611.40 c cpu time 3594.56 s
3600.07/3611.40 c deterministic time 1 1.00e+00
3600.07/3611.40 c optimization time 3594.48 s
3600.07/3611.40 c total solve time 0 s
3600.07/3611.40 c core-guided solve time 0 s
3600.07/3611.40 c propagation time 0.000818 s
3600.07/3611.40 c conflict analysis time 0 s
3600.07/3611.40 c propagations 0
3600.07/3611.40 c resolve steps 0
3600.07/3611.40 c decisions 0
3600.07/3611.40 c conflicts 0
3600.07/3611.40 c restarts 0
3600.07/3611.40 c inprocessing phases 0
3600.07/3611.40 c garbage collections 0 ,( -nan )
3600.07/3611.40 c input clauses 0 ,( 0.00 )
3600.07/3611.40 c input cardinalities 0 ,( 0.00 )
3600.07/3611.40 c input general constraints 560 ,( 100.00 )
3600.07/3611.40 c input average constraint length 161.38
3600.07/3611.40 c input average constraint degree 166275593531274.44
3600.07/3611.40 c learned clauses 0 ,( 0.00 )
3600.07/3611.40 c learned cardinalities 0 ,( 0.00 )
3600.07/3611.40 c learned general constraints 0 ,( 0.00 )
3600.07/3611.40 c learned average constraint length 0.00
3600.07/3611.40 c learned average constraint degree 0.00
3600.07/3611.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.07/3611.40 c counting CF 32, 64, 128, Arb: 273 , 288 , 0 , 0
3600.07/3611.40 c watched constraints 0 ,( 0.00 )
3600.07/3611.40 c counting constraints 560 ,( 100.00 )
3600.07/3611.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.07/3611.40 c gcd simplifications 0
3600.07/3611.40 c detected cardinalities 0
3600.07/3611.40 c weakened non-implied lits 0
3600.07/3611.40 c weakened non-implying lits 0
3600.07/3611.40 c original variables 7994
3600.07/3611.40 c clausal propagations 0
3600.07/3611.40 c cardinality propagations 0
3600.07/3611.40 c watched propagations 0
3600.07/3611.40 c counting propagations 0
3600.07/3611.40 c watch lookups 0
3600.07/3611.40 c watch backjump lookups 0
3600.07/3611.40 c watch checks 0
3600.07/3611.40 c propagation checks 0
3600.07/3611.40 c constraint additions 0
3600.07/3611.40 c trail pops 0
3600.07/3611.40 c formula constraints 560
3600.07/3611.40 c learned constraints 0
3600.07/3611.40 c bound constraints 0
3600.07/3611.40 c core-guided constraints 0
3600.07/3611.40 c encountered formula constraints 0
3600.07/3611.40 c encountered learned constraints 0
3600.07/3611.40 c encountered bound constraints 0
3600.07/3611.40 c encountered core-guided constraints 0
3600.07/3611.40 c LP total time 0 s
3600.07/3611.40 c LP solve time 0 s
3600.07/3611.40 c LP constraints added 0
3600.07/3611.40 c LP constraints removed 0
3600.07/3611.40 c LP pivots internal 0
3600.07/3611.40 c LP pivots root 0
3600.07/3611.40 c LP calls 0
3600.07/3611.40 c LP optimalities 0
3600.07/3611.40 c LP no pivot count 0
3600.07/3611.40 c LP infeasibilities 0
3600.07/3611.40 c LP valid Farkas constraints 0
3600.07/3611.40 c LP learned Farkas constraints 0
3600.07/3611.40 c LP basis resets 0
3600.07/3611.40 c LP cycling count 0
3600.07/3611.40 c LP singular count 0
3600.07/3611.40 c LP no primal count 0
3600.07/3611.40 c LP no farkas count 0
3600.07/3611.40 c LP other issue count 0
3600.07/3611.40 c LP Gomory cuts 0
3600.07/3611.40 c LP learned cuts 0
3600.07/3611.40 c LP deleted cuts 0
3600.07/3611.40 c LP encountered Gomory constraints 0
3600.07/3611.40 c LP encountered Farkas constraints 0
3600.07/3611.40 c LP encountered learned Farkas constraints 0
3600.07/3611.40 c CG auxiliary variables introduced 0
3600.07/3611.40 c CG solutions found 0
3600.07/3611.40 c CG cores constructed 0
3600.07/3611.40 c CG core cardinality constraints returned 0
3600.07/3611.40 c CG unit cores 0
3600.07/3611.40 c CG single cores 0
3600.07/3611.40 c CG blocks removed during cardinality reduction 0
3600.07/3611.40 c CG first core best 0
3600.07/3611.40 c CG decision core best 0
3600.07/3611.40 c CG core reduction tie 0
3600.07/3611.40 c CG core degree average 0.00
3600.07/3611.40 c CG core slack average 0.00
3600.07/3611.40 c CG core upper bound improvements 0
3600.07/3611.40 c STR number of successful calls 0
3600.07/3611.40 c STR number of unsuccessful calls 0
3600.07/3611.40 c STR number of inconclusive calls 0
3600.07/3611.40 c STR number of successful attempts 0
3600.07/3611.40 c STR number of unsuccessful attempts 0
3600.07/3611.40 c STR number of inconclusive attempts 0
3600.07/3611.40 c STR average degree increase per successful call inf
3600.07/3611.40 c STR average degree increase per successful attempt inf
3600.07/3611.40 c STR total number of conflicts for successful attempts 0
3600.07/3611.40 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3611.40 c STR total number of conflicts for inconclusive attempts 0
3600.07/3611.40 c STR average number of conflicts per successful attempt inf
3600.07/3611.40 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3611.40 c STR average number of conflicts per inconclusive attempt inf
3600.07/3611.40 c AVG.sumWPerc 97.80
3600.07/3611.40 c bigint constraints 288
3600.07/3611.40 s UNKNOWN
3600.07/3611.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63794 MiB (63204 MiB free)
memory of node 1: 64507 MiB (64055 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485826-1751316414/watcher-4485826-1751316414 -o /tmp/evaluation-result-4485826-1751316414/solver-4485826-1751316414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751316414-43651 --watchdog 3760 run-opt.sh HOME/instance-4485826-1751316414.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB
solver pid=43679, runsolver pid=43676
[startup+0.100071 s]*
/proc/loadavg: 2.50 3.72 4.02 5/246 43681
/proc/meminfo: memFree=130298728/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=63052 memory=17312 CPUtime=0.08 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 2627 0 0 0 7 1 0 0 20 0 1 0 47320784 64565248 4328 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 15763 4328 2240 1147 0 3190 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 67244 KiB
Current children cumulated memory: 20256 KiB
[startup+0.214068 s]*
/proc/loadavg: 2.50 3.72 4.02 3/244 43684
/proc/meminfo: memFree=130295712/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=70320 memory=20128 CPUtime=0.2 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 3254 0 0 0 12 8 0 0 20 0 1 0 47320784 72007680 5032 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 17580 5032 2336 1147 0 5007 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74512 KiB
Current children cumulated memory: 23072 KiB
[startup+0.313708 s]*
/proc/loadavg: 2.50 3.72 4.02 3/249 43697
/proc/meminfo: memFree=130288060/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=70320 memory=20128 CPUtime=0.3 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 3259 0 0 0 16 14 0 0 20 0 1 0 47320784 72007680 5032 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 17580 5032 2336 1147 0 5007 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 74512 KiB
Current children cumulated memory: 23072 KiB
[startup+0.700352 s]
/proc/loadavg: 2.50 3.72 4.02 5/260 43714
/proc/meminfo: memFree=130167188/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=70980 memory=20768 CPUtime=0.67 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 3393 0 0 0 28 39 0 0 20 0 1 0 47320784 72683520 5192 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 17745 5192 2368 1147 0 5172 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 75172 KiB
Current children cumulated memory: 23712 KiB
[startup+1.50034 s]
/proc/loadavg: 2.50 3.72 4.02 4/255 43722
/proc/meminfo: memFree=130102480/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=72676 memory=22560 CPUtime=1.47 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 3814 0 0 0 58 89 0 0 20 0 1 0 47320784 74420224 5640 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 18169 5640 2368 1147 0 5596 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 76868 KiB
Current children cumulated memory: 25504 KiB
[startup+3.11259 s]
/proc/loadavg: 2.62 3.72 4.02 6/260 43760
/proc/meminfo: memFree=129828992/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=80500 memory=30368 CPUtime=3.07 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 5784 0 0 0 129 178 0 0 20 0 1 0 47320784 82432000 7592 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 20125 7592 2368 1147 0 7552 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 84692 KiB
Current children cumulated memory: 33312 KiB
[startup+6.30038 s]
/proc/loadavg: 2.62 3.72 4.02 4/255 43814
/proc/meminfo: memFree=129802232/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=102944 memory=52552 CPUtime=6.25 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 10807 0 0 0 357 268 0 0 20 0 1 0 47320784 105414656 13138 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 25736 13138 2368 1147 0 13163 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 107136 KiB
Current children cumulated memory: 55496 KiB
[startup+12.7003 s]
/proc/loadavg: 2.91 3.75 4.02 5/260 43898
/proc/meminfo: memFree=129662044/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=127716 memory=76760 CPUtime=12.63 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 15850 0 0 0 991 272 0 0 20 0 1 0 47320784 130781184 19190 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 31929 19190 2368 1147 0 19356 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 131908 KiB
Current children cumulated memory: 79704 KiB
[startup+25.5004 s]
/proc/loadavg: 3.08 3.76 4.02 5/260 43944
/proc/meminfo: memFree=129251696/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=155216 memory=97728 CPUtime=25.39 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 20057 0 0 0 2262 277 0 0 20 0 1 0 47320784 158941184 24432 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 38804 24432 2368 1147 0 26231 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 159408 KiB
Current children cumulated memory: 100672 KiB
[startup+51.1135 s]
/proc/loadavg: 3.39 3.78 4.02 5/260 43946
/proc/meminfo: memFree=128824888/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=171260 memory=112336 CPUtime=50.89 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 22523 0 0 0 4805 284 0 0 20 0 1 0 47320784 175370240 28084 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 42815 28084 2368 1147 0 30242 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 175452 KiB
Current children cumulated memory: 115280 KiB
[startup+102.3 s]
/proc/loadavg: 3.89 3.85 4.03 5/260 43949
/proc/meminfo: memFree=128141744/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=201104 memory=151380 CPUtime=101.89 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 26977 0 0 0 9893 296 0 0 20 0 1 0 47320784 205930496 37845 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 50276 37845 2368 1147 0 37703 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 205296 KiB
Current children cumulated memory: 154324 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 3.91 4.03 5/259 43951
/proc/meminfo: memFree=127824356/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=216864 memory=162968 CPUtime=161.7 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 29387 0 0 0 15866 304 0 0 20 0 1 0 47320784 222068736 40742 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 54216 40742 2368 1147 0 41643 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 221056 KiB
Current children cumulated memory: 165912 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 3.96 4.04 5/260 43954
/proc/meminfo: memFree=127629376/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=246212 memory=175204 CPUtime=221.52 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 31422 0 0 0 21840 312 0 0 20 0 1 0 47320784 252121088 43801 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 61553 43801 2368 1147 0 48980 0
Current children cumulated CPU time: 221.52 s
################
# More data... #
################
/proc/43681/statm: 102563 89325 2368 1147 0 89990 0
Current children cumulated CPU time: 3032.66 s
Current children cumulated vsize: 414444 KiB
Current children cumulated memory: 360244 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.16 4.17 5/256 44119
/proc/meminfo: memFree=121198240/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=410252 memory=357300 CPUtime=3092.49 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 57380 0 0 0 308719 530 0 0 20 0 1 0 47320784 420098048 89325 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 102563 89325 2368 1147 0 89990 0
Current children cumulated CPU time: 3092.49 s
Current children cumulated vsize: 414444 KiB
Current children cumulated memory: 360244 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.14 4.17 5/256 44121
/proc/meminfo: memFree=120862184/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=410252 memory=357300 CPUtime=3152.31 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 57383 0 0 0 314699 532 0 0 20 0 1 0 47320784 420098048 89325 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 102563 89325 2368 1147 0 89990 0
Current children cumulated CPU time: 3152.31 s
Current children cumulated vsize: 414444 KiB
Current children cumulated memory: 360244 KiB
[startup+3222.3 s]
/proc/loadavg: 4.22 4.16 4.17 5/257 44124
/proc/meminfo: memFree=120313340/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=410252 memory=357300 CPUtime=3212.13 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 57384 0 0 0 320679 534 0 0 20 0 1 0 47320784 420098048 89325 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 102563 89325 2368 1147 0 89990 0
Current children cumulated CPU time: 3212.13 s
Current children cumulated vsize: 414444 KiB
Current children cumulated memory: 360244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.15 4.17 5/254 44126
/proc/meminfo: memFree=120083812/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=414628 memory=359732 CPUtime=3271.96 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 57998 0 0 0 326659 537 0 0 20 0 1 0 47320784 424579072 89933 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 103657 89933 2368 1147 0 91084 0
Current children cumulated CPU time: 3271.96 s
Current children cumulated vsize: 418820 KiB
Current children cumulated memory: 362676 KiB
[startup+3342.3 s]
/proc/loadavg: 4.05 4.12 4.16 5/254 44128
/proc/meminfo: memFree=119804268/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=414628 memory=359732 CPUtime=3331.77 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 57998 0 0 0 332637 540 0 0 20 0 1 0 47320784 424579072 89933 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 103657 89933 2368 1147 0 91084 0
Current children cumulated CPU time: 3331.77 s
Current children cumulated vsize: 418820 KiB
Current children cumulated memory: 362676 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/254 44130
/proc/meminfo: memFree=119573520/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=414628 memory=359732 CPUtime=3391.6 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 57998 0 0 0 338617 543 0 0 20 0 1 0 47320784 424579072 89933 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 103657 89933 2368 1147 0 91084 0
Current children cumulated CPU time: 3391.6 s
Current children cumulated vsize: 418820 KiB
Current children cumulated memory: 362676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/254 44132
/proc/meminfo: memFree=119242992/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=416208 memory=360500 CPUtime=3451.42 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 58205 0 0 0 344596 546 0 0 20 0 1 0 47320784 426196992 90125 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 104052 90125 2368 1147 0 91479 0
Current children cumulated CPU time: 3451.42 s
Current children cumulated vsize: 420400 KiB
Current children cumulated memory: 363444 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.11 4.14 5/254 44135
/proc/meminfo: memFree=117902796/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=416208 memory=360500 CPUtime=3511.24 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 58205 0 0 0 350575 549 0 0 20 0 1 0 47320784 426196992 90125 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 104052 90125 2368 1147 0 91479 0
Current children cumulated CPU time: 3511.24 s
Current children cumulated vsize: 420400 KiB
Current children cumulated memory: 363444 KiB
[startup+3582.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/255 44144
/proc/meminfo: memFree=117721080/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=416208 memory=360500 CPUtime=3571.06 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 58205 0 0 0 356555 551 0 0 20 0 1 0 47320784 426196992 90125 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 104052 90125 2368 1147 0 91479 0
Current children cumulated CPU time: 3571.06 s
Current children cumulated vsize: 420400 KiB
Current children cumulated memory: 363444 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.4 s]
/proc/loadavg: 4.12 4.11 4.14 5/255 44145
/proc/meminfo: memFree=117611436/131382120 swapFree=33010416/33010684
[pid=43679] ppid=43676 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/43679/stat : 43679 (run-opt.sh) S 43676 43679 43641 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 47320783 4292608 736 18446744073709551615 93880800485376 93880801379909 140727489355344 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93880801618960 93880801666704 93880821456896 140727489362285 140727489362408 140727489362408 140727489368010 0
/proc/43679/statm: 1048 736 672 219 0 110 0
[pid=43681] ppid=43679 vsize=416604 memory=362804 CPUtime=3600.07 cores=0,2
/proc/43681/stat : 43681 (roundingsat) R 43679 43679 43641 0 -1 4194304 58270 0 0 0 359455 552 0 0 20 0 1 0 47320784 426602496 90701 18446744073709551615 4227072 8923433 140720825374048 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42815488 140720825379234 140720825379368 140720825379368 140720825384938 0
/proc/43681/statm: 104151 90701 2368 1147 0 91578 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 420796 KiB
Current children cumulated memory: 365748 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.41 s]
# the end of solver process 43679 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.005471 s
Sleeping 2 seconds
[startup+3611.41 s]
# the end of solver process 43681 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3594.56 s, system=5.537 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.41
CPU time (s): 3600.1
CPU user time (s): 3594.56
CPU system time (s): 5.537
CPU usage (%): 99.6869
Max. virtual memory (cumulated for all children) (KiB): 420796
Max. memory (cumulated for all children) (KiB): 365748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.56
system time used= 5.537
maximum resident set size= 363188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211
involuntary context switches= 9133
# summary of solver processes directly reported to runsolver:
# pid: 43679,43681
# total CPU time (s): 3600.1
# total CPU user time (s): 3594.56
# total CPU system time (s): 5.537
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9731 second user time and 37.3933 second system time
The end
Begin job on nodeC006 at 2025-06-30 22:46:54
IDJOB=4485826
IDBENCH=146890
IDSOLVER=3350
FILE ID=nodeC006/4485826-1751316414
RUNJOBID= nodeC006-1751316414-43651
SLURM_JOB_ID= 9594337
Free space on /tmp= 433056 MiB
SOLVER NAME= roundingsat-ihs 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4485826-1751316414/watcher-4485826-1751316414 -o /tmp/evaluation-result-4485826-1751316414/solver-4485826-1751316414 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751316414-43651 --watchdog 3760 run-opt.sh HOME/instance-4485826-1751316414.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= f6174806ed62bf92db0e2ac6f71348b5
RANDOM SEED=1686950694
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.513
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.141
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.133
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.671
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.132
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.140
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.490
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130322128 kB
MemAvailable: 129969024 kB
Buffers: 2128 kB
Cached: 440336 kB
SwapCached: 12 kB
Active: 418044 kB
Inactive: 115396 kB
Active(anon): 97832 kB
Inactive(anon): 11092 kB
Active(file): 320212 kB
Inactive(file): 104304 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 25516 kB
Writeback: 8 kB
AnonPages: 94144 kB
Mapped: 102684 kB
Shmem: 17948 kB
KReclaimable: 104756 kB
Slab: 188776 kB
SReclaimable: 104756 kB
SUnreclaim: 84020 kB
KernelStack: 3880 kB
PageTables: 2400 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 357308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149352 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432996 MiB
End job on nodeC006 at 2025-06-30 23:47:06