0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.03 c #variables 20000 #constraints 1
0.00/0.03 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= -12057080 @ 0.022879
0.00/0.06 c GLOBAL bounds - >= -12057080 @ 0.031461
0.00/0.08 c GLOBAL bounds - >= -12057080 @ 0.039021
0.08/0.11 c GLOBAL bounds - >= -12057080 @ 0.049473
0.08/0.13 c GLOBAL bounds - >= -12057080 @ 0.05835
0.08/0.15 c GLOBAL bounds - >= -12057080 @ 0.070545
0.08/0.17 c GLOBAL bounds - >= -12057080 @ 0.080275
0.08/0.19 c GLOBAL bounds - >= -12057080 @ 0.088843
0.19/0.22 c GLOBAL bounds - >= -12057080 @ 0.100737
0.19/0.24 c GLOBAL bounds - >= -12057080 @ 0.115315
0.19/0.26 c GLOBAL bounds - >= -12057080 @ 0.127305
0.19/0.28 c GLOBAL bounds - >= -12057080 @ 0.137071
0.19/0.30 c GLOBAL bounds - >= -12057080 @ 0.145921
0.29/0.32 c GLOBAL bounds - >= -12057080 @ 0.159765
0.29/0.35 c GLOBAL bounds - >= -12057080 @ 0.168469
0.29/0.37 c GLOBAL bounds - >= -12057080 @ 0.180199
0.29/0.39 c GLOBAL bounds - >= -12057080 @ 0.193147
0.39/0.41 c GLOBAL bounds - >= -12057080 @ 0.207134
0.39/0.43 c GLOBAL bounds - >= -12057080 @ 0.216081
0.39/0.46 c GLOBAL bounds - >= -12057080 @ 0.224101
0.39/0.48 c GLOBAL bounds - >= -12057080 @ 0.235174
0.39/0.50 c GLOBAL bounds - >= -12057080 @ 0.246161
0.49/0.52 c GLOBAL bounds - >= -12057080 @ 0.258181
0.49/0.54 c GLOBAL bounds - >= -12057080 @ 0.269271
0.49/0.57 c GLOBAL bounds - >= -12057080 @ 0.278258
0.49/0.59 c GLOBAL bounds - >= -12057080 @ 0.289596
0.58/0.61 c GLOBAL bounds - >= -12057080 @ 0.29784
0.58/0.63 c GLOBAL bounds - >= -12057080 @ 0.306183
0.58/0.66 c GLOBAL bounds - >= -12057080 @ 0.317649
0.58/0.68 c GLOBAL bounds - >= -12057080 @ 0.329649
0.67/0.70 c GLOBAL bounds - >= -12057080 @ 0.335978
0.67/0.72 c GLOBAL bounds - >= -12057080 @ 0.348376
0.67/0.74 c GLOBAL bounds - >= -12057080 @ 0.356348
0.67/0.77 c GLOBAL bounds - >= -12057080 @ 0.368658
0.67/0.79 c GLOBAL bounds - >= -12057080 @ 0.377931
0.78/0.81 c GLOBAL bounds - >= -12057080 @ 0.389469
0.78/0.83 c GLOBAL bounds - >= -12057080 @ 0.400972
0.78/0.86 c GLOBAL bounds - >= -12057080 @ 0.410427
0.78/0.88 c GLOBAL bounds - >= -12057080 @ 0.418871
0.87/0.90 c GLOBAL bounds - >= -12057080 @ 0.431301
0.87/0.92 c GLOBAL bounds - >= -12057080 @ 0.440842
0.87/0.95 c GLOBAL bounds - >= -12057080 @ 0.453433
0.87/0.97 c GLOBAL bounds - >= -12057080 @ 0.466275
0.87/0.99 c GLOBAL bounds - >= -12057080 @ 0.475809
0.97/1.02 c GLOBAL bounds - >= -12057080 @ 0.484685
0.97/1.04 c GLOBAL bounds - >= -12057080 @ 0.495823
0.97/1.06 c GLOBAL bounds - >= -12057080 @ 0.507509
0.97/1.08 c GLOBAL bounds - >= -12057080 @ 0.518049
1.08/1.11 c GLOBAL bounds - >= -12057080 @ 0.527569
1.08/1.13 c GLOBAL bounds - >= -12057080 @ 0.541061
1.08/1.15 c GLOBAL bounds - >= -12057080 @ 0.551608
1.08/1.17 c GLOBAL bounds - >= -12057080 @ 0.559606
1.18/1.20 c GLOBAL bounds - >= -12057080 @ 0.571454
1.18/1.22 c GLOBAL bounds - >= -12057080 @ 0.584192
1.18/1.24 c GLOBAL bounds - >= -12057080 @ 0.592217
1.18/1.27 c GLOBAL bounds - >= -12057080 @ 0.600205
1.18/1.29 c GLOBAL bounds - >= -12057080 @ 0.611225
1.27/1.31 c GLOBAL bounds - >= -12057080 @ 0.622107
1.27/1.34 c GLOBAL bounds - >= -12057080 @ 0.636405
1.27/1.36 c GLOBAL bounds - >= -12057080 @ 0.646449
1.27/1.38 c GLOBAL bounds - >= -12057080 @ 0.655457
1.38/1.40 c GLOBAL bounds - >= -12057080 @ 0.665443
1.38/1.43 c GLOBAL bounds - >= -12057080 @ 0.674531
1.38/1.45 c GLOBAL bounds - >= -12057080 @ 0.688562
1.38/1.47 c GLOBAL bounds - >= -12057080 @ 0.697551
1.47/1.50 c GLOBAL bounds - >= -12057080 @ 0.706648
1.47/1.52 c GLOBAL bounds - >= -12057080 @ 0.71589
1.47/1.54 c GLOBAL bounds - >= -12057080 @ 0.728306
1.47/1.57 c GLOBAL bounds - >= -12057080 @ 0.740519
1.47/1.59 c GLOBAL bounds - >= -12057080 @ 0.749973
1.57/1.61 c GLOBAL bounds - >= -12057080 @ 0.763166
1.57/1.64 c GLOBAL bounds - >= -12057080 @ 0.775514
1.57/1.66 c GLOBAL bounds - >= -12057080 @ 0.783949
1.57/1.68 c GLOBAL bounds - >= -12057080 @ 0.795389
1.67/1.71 c GLOBAL bounds - >= -12057080 @ 0.810898
1.67/1.73 c GLOBAL bounds - >= -12057080 @ 0.824441
1.67/1.75 c GLOBAL bounds - >= -12057080 @ 0.835966
1.67/1.78 c GLOBAL bounds - >= -12057080 @ 0.845562
1.77/1.80 c GLOBAL bounds - >= -12057080 @ 0.860088
1.77/1.82 c GLOBAL bounds - >= -12057080 @ 0.872693
1.77/1.85 c GLOBAL bounds - >= -12057080 @ 0.882268
1.77/1.87 c GLOBAL bounds - >= -12057080 @ 0.894716
1.87/1.90 c GLOBAL bounds - >= -12057080 @ 0.912276
1.87/1.92 c GLOBAL bounds - >= -12057080 @ 0.924369
1.87/1.94 c GLOBAL bounds - >= -12057080 @ 0.934664
1.87/1.97 c GLOBAL bounds - >= -12057080 @ 0.942842
1.87/1.99 c GLOBAL bounds - >= -12057080 @ 0.954822
1.97/2.02 c GLOBAL bounds - >= -12057080 @ 0.964953
1.97/2.04 c GLOBAL bounds - >= -12057080 @ 0.97508
1.97/2.06 c GLOBAL bounds - >= -12057080 @ 0.985246
1.97/2.09 c GLOBAL bounds - >= -12057080 @ 0.997254
2.08/2.11 c GLOBAL bounds - >= -12057080 @ 1.00512
2.08/2.14 c GLOBAL bounds - >= -12057080 @ 1.01689
2.08/2.16 c GLOBAL bounds - >= -12057080 @ 1.0276
2.08/2.19 c GLOBAL bounds - >= -12057080 @ 1.03846
2.17/2.21 c GLOBAL bounds - >= -12057080 @ 1.04821
2.17/2.23 c GLOBAL bounds - >= -12057080 @ 1.06287
2.17/2.26 c GLOBAL bounds - >= -12057080 @ 1.0805
2.17/2.28 c GLOBAL bounds - >= -12057080 @ 1.1005
2.27/2.31 c GLOBAL bounds - >= -12057080 @ 1.11415
2.27/2.33 c GLOBAL bounds - >= -12057080 @ 1.12861
2.27/2.36 c GLOBAL bounds - >= -12057080 @ 1.14207
2.27/2.38 c GLOBAL bounds - >= -12057080 @ 1.1544
2.37/2.41 c GLOBAL bounds - >= -12057080 @ 1.16778
2.37/2.43 c GLOBAL bounds - >= -12057080 @ 1.17741
2.37/2.46 c GLOBAL bounds - >= -12057080 @ 1.18836
2.37/2.48 c GLOBAL bounds - >= -12057080 @ 1.20112
2.47/2.51 c GLOBAL bounds - >= -12057080 @ 1.21722
2.47/2.53 c GLOBAL bounds - >= -12057080 @ 1.23033
2.47/2.56 c GLOBAL bounds - >= -12057080 @ 1.24148
2.47/2.58 c GLOBAL bounds - >= -12057080 @ 1.25249
2.57/2.61 c GLOBAL bounds - >= -12057080 @ 1.26548
2.57/2.63 c GLOBAL bounds - >= -12057080 @ 1.27654
2.57/2.66 c GLOBAL bounds - >= -12057080 @ 1.29179
2.57/2.68 c GLOBAL bounds - >= -12057080 @ 1.30609
2.67/2.71 c GLOBAL bounds - >= -12057080 @ 1.31525
2.67/2.73 c GLOBAL bounds - >= -12057080 @ 1.33148
2.67/2.76 c GLOBAL bounds - >= -12057080 @ 1.34182
2.67/2.78 c GLOBAL bounds - >= -12057080 @ 1.35638
2.77/2.81 c GLOBAL bounds - >= -12057080 @ 1.3715
2.77/2.83 c GLOBAL bounds - >= -12057080 @ 1.39169
2.77/2.86 c GLOBAL bounds - >= -12057080 @ 1.40303
2.77/2.89 c GLOBAL bounds - >= -12057080 @ 1.41377
2.87/2.91 c GLOBAL bounds - >= -12057080 @ 1.42633
2.87/2.94 c GLOBAL bounds - >= -12057080 @ 1.43865
2.87/2.96 c GLOBAL bounds - >= -12057080 @ 1.45183
2.87/2.99 c GLOBAL bounds - >= -12057080 @ 1.46119
2.97/3.01 c GLOBAL bounds - >= -12057080 @ 1.4758
2.97/3.04 c GLOBAL bounds - >= -12057080 @ 1.49118
2.97/3.06 c GLOBAL bounds - >= -12057080 @ 1.50477
2.97/3.09 c GLOBAL bounds - >= -12057080 @ 1.51949
3.08/3.11 c GLOBAL bounds - >= -12057080 @ 1.52998
3.08/3.14 c GLOBAL bounds - >= -12057080 @ 1.54353
3.08/3.17 c GLOBAL bounds - >= -12057080 @ 1.56108
3.08/3.19 c GLOBAL bounds - >= -12057080 @ 1.5766
3.17/3.22 c GLOBAL bounds - >= -12057080 @ 1.59263
3.17/3.25 c GLOBAL bounds - >= -12057080 @ 1.60363
3.17/3.27 c GLOBAL bounds - >= -12057080 @ 1.6182
3.27/3.30 c GLOBAL bounds - >= -12057080 @ 1.63244
3.27/3.32 c GLOBAL bounds - >= -12057080 @ 1.6466
3.27/3.35 c GLOBAL bounds - >= -12057080 @ 1.66129
3.27/3.38 c GLOBAL bounds - >= -12057080 @ 1.67614
3.37/3.40 c GLOBAL bounds - >= -12057080 @ 1.68992
3.37/3.43 c GLOBAL bounds - >= -12057080 @ 1.70478
3.37/3.45 c GLOBAL bounds - >= -12057080 @ 1.71853
3.37/3.48 c GLOBAL bounds - >= -12057080 @ 1.73438
3.46/3.51 c GLOBAL bounds - >= -12057080 @ 1.74523
3.46/3.53 c GLOBAL bounds - >= -12057080 @ 1.75514
3.46/3.56 c GLOBAL bounds - >= -12057080 @ 1.77258
3.46/3.58 c GLOBAL bounds - >= -12057080 @ 1.78259
3.57/3.61 c GLOBAL bounds - >= -12057080 @ 1.80161
3.57/3.64 c GLOBAL bounds - >= -12057080 @ 1.81084
3.57/3.66 c GLOBAL bounds - >= -12057080 @ 1.8276
3.57/3.69 c GLOBAL bounds - >= -12057080 @ 1.84536
3.66/3.72 c GLOBAL bounds - >= -12057080 @ 1.86189
3.66/3.74 c GLOBAL bounds - >= -12057080 @ 1.87342
3.66/3.77 c GLOBAL bounds - >= -12057080 @ 1.88777
3.77/3.80 c GLOBAL bounds - >= -12057080 @ 1.89915
3.77/3.82 c GLOBAL bounds - >= -12057080 @ 1.90966
3.77/3.85 c GLOBAL bounds - >= -12057080 @ 1.92426
3.77/3.88 c GLOBAL bounds - >= -12057080 @ 1.93471
3.87/3.90 c GLOBAL bounds - >= -12057080 @ 1.94764
3.87/3.93 c GLOBAL bounds - >= -12057080 @ 1.9585
3.87/3.96 c GLOBAL bounds - >= -12057080 @ 1.97308
3.87/3.98 c GLOBAL bounds - >= -12057080 @ 1.98665
3.97/4.01 c GLOBAL bounds - >= -12057080 @ 2.0019
3.97/4.04 c GLOBAL bounds - >= -12057080 @ 2.02128
3.97/4.07 c GLOBAL bounds - >= -12057080 @ 2.03669
3.97/4.09 c GLOBAL bounds - >= -12057080 @ 2.05407
4.07/4.12 c GLOBAL bounds - >= -12057080 @ 2.07145
4.07/4.15 c GLOBAL bounds - >= -12057080 @ 2.08652
4.07/4.17 c GLOBAL bounds - >= -12057080 @ 2.10458
4.17/4.20 c GLOBAL bounds - >= -12057080 @ 2.1174
4.17/4.23 c GLOBAL bounds - >= -12057080 @ 2.13445
4.17/4.26 c GLOBAL bounds - >= -12057080 @ 2.15057
4.17/4.28 c GLOBAL bounds - >= -12057080 @ 2.16619
4.27/4.31 c GLOBAL bounds - >= -12057080 @ 2.18266
4.27/4.34 c GLOBAL bounds - >= -12057080 @ 2.19829
4.27/4.37 c GLOBAL bounds - >= -12057080 @ 2.21076
4.27/4.39 c GLOBAL bounds - >= -12057080 @ 2.2263
4.36/4.42 c GLOBAL bounds - >= -12057080 @ 2.24184
4.36/4.45 c GLOBAL bounds - >= -12057080 @ 2.25877
4.36/4.48 c GLOBAL bounds - >= -12057080 @ 2.27758
4.46/4.51 c GLOBAL bounds - >= -12057080 @ 2.29537
4.46/4.53 c GLOBAL bounds - >= -12057080 @ 2.30821
4.46/4.56 c GLOBAL bounds - >= -12057080 @ 2.32312
4.46/4.59 c GLOBAL bounds - >= -12057080 @ 2.34027
4.57/4.62 c GLOBAL bounds - >= -12057080 @ 2.3555
4.57/4.65 c GLOBAL bounds - >= -12057080 @ 2.36649
4.57/4.67 c GLOBAL bounds - >= -12057080 @ 2.38152
4.66/4.70 c GLOBAL bounds - >= -12057080 @ 2.4019
4.66/4.73 c GLOBAL bounds - >= -12057080 @ 2.41615
4.66/4.76 c GLOBAL bounds - >= -12057080 @ 2.43346
4.66/4.79 c GLOBAL bounds - >= -12057080 @ 2.45192
4.76/4.82 c GLOBAL bounds - >= -12057080 @ 2.46903
4.76/4.84 c GLOBAL bounds - >= -12057080 @ 2.48733
4.76/4.87 c GLOBAL bounds - >= -12057080 @ 2.502
4.86/4.94 c GLOBAL bounds - >= -12057080 @ 2.55496
4.86/4.97 c GLOBAL bounds - >= -12057080 @ 2.57377
4.97/5.00 c GLOBAL bounds - >= -12057080 @ 2.5946
4.97/5.04 c GLOBAL bounds - >= -12057080 @ 2.61725
4.97/5.08 c GLOBAL bounds - >= -12057080 @ 2.64921
5.07/5.11 c GLOBAL bounds - >= -12057080 @ 2.67095
5.26/5.39 c GLOBAL bounds - >= -12057080 @ 2.93104
5.36/5.43 c GLOBAL bounds - >= -12057080 @ 2.9565
5.36/5.46 c GLOBAL bounds - >= -12057080 @ 2.97811
5.36/5.49 c GLOBAL bounds - >= -12057080 @ 3.0032
5.46/5.53 c GLOBAL bounds - >= -12057080 @ 3.03331
5.46/5.58 c GLOBAL bounds - >= -12057080 @ 3.06236
5.57/5.61 c GLOBAL bounds - >= -12057080 @ 3.08488
5.57/5.68 c GLOBAL bounds - >= -12057080 @ 3.13511
5.66/5.75 c GLOBAL bounds - >= -12057080 @ 3.17926
5.66/5.78 c GLOBAL bounds - >= -12057080 @ 3.20519
5.76/5.85 c GLOBAL bounds - >= -12057080 @ 3.26058
5.87/5.92 c GLOBAL bounds - >= -12057080 @ 3.32124
5.87/5.95 c GLOBAL bounds - >= -12057080 @ 3.34423
5.87/5.99 c GLOBAL bounds - >= -12057080 @ 3.36628
5.97/6.06 c GLOBAL bounds - >= -12057080 @ 3.43456
6.07/6.12 c GLOBAL bounds - >= -12057080 @ 3.46901
6.07/6.17 c GLOBAL bounds - >= -12057080 @ 3.5136
6.16/6.23 c GLOBAL bounds - >= -12057080 @ 3.56202
6.16/6.27 c GLOBAL bounds - >= -12057080 @ 3.58863
6.27/6.33 c GLOBAL bounds - >= -12057080 @ 3.641
6.27/6.36 c GLOBAL bounds - >= -12057080 @ 3.65918
6.36/6.40 c GLOBAL bounds - >= -12057080 @ 3.68045
6.36/6.43 c GLOBAL bounds - >= -12057080 @ 3.70662
6.36/6.47 c GLOBAL bounds - >= -12057080 @ 3.73181
6.47/6.50 c GLOBAL bounds - >= -12057080 @ 3.7558
6.96/7.09 c GLOBAL bounds - >= -12057080 @ 4.29924
7.06/7.12 c GLOBAL bounds - >= -12057080 @ 4.32326
7.66/7.73 c GLOBAL bounds - >= -12057080 @ 4.89573
7.76/7.88 c GLOBAL bounds - >= -12057080 @ 5.03309
7.96/8.02 c GLOBAL bounds - >= -12057080 @ 5.15955
8.06/8.14 c GLOBAL bounds - >= -12057080 @ 5.26946
8.06/8.17 c GLOBAL bounds - >= -12057080 @ 5.29348
8.06/8.19 c GLOBAL bounds - >= -12057080 @ 5.31469
8.16/8.22 c GLOBAL bounds - >= -12057080 @ 5.33661
8.16/8.25 c GLOBAL bounds - >= -12057080 @ 5.36205
8.16/8.28 c GLOBAL bounds - >= -12057080 @ 5.3801
8.26/8.31 c GLOBAL bounds - >= -12057080 @ 5.40278
8.26/8.33 c GLOBAL bounds - >= -12057080 @ 5.42578
8.26/8.36 c GLOBAL bounds - >= -12057080 @ 5.44937
8.26/8.39 c GLOBAL bounds - >= -12057080 @ 5.47159
8.36/8.42 c GLOBAL bounds - >= -12057080 @ 5.4963
8.45/8.51 c GLOBAL bounds - >= -12057080 @ 5.57551
8.45/8.54 c GLOBAL bounds - >= -12057080 @ 5.59572
8.45/8.57 c GLOBAL bounds - >= -12057080 @ 5.6188
8.55/8.60 c GLOBAL bounds - >= -12057080 @ 5.6403
8.55/8.63 c GLOBAL bounds - >= -12057080 @ 5.67148
12.35/12.45 c GLOBAL bounds - >= -12057080 @ 9.41425
12.35/12.48 c GLOBAL bounds - >= -12057080 @ 9.44331
17.53/17.66 c GLOBAL bounds - >= -12057080 @ 14.5093
17.63/17.70 c GLOBAL bounds - >= -12057080 @ 14.5405
17.63/17.75 c GLOBAL bounds - >= -12057080 @ 14.5746
17.63/17.79 c GLOBAL bounds - >= -12057080 @ 14.6039
17.73/17.83 c GLOBAL bounds - >= -12057080 @ 14.6349
17.73/17.87 c GLOBAL bounds - >= -12057080 @ 14.6643
17.83/17.91 c GLOBAL bounds - >= -12057080 @ 14.6932
17.83/17.95 c GLOBAL bounds - >= -12057080 @ 14.7252
17.83/17.99 c GLOBAL bounds - >= -12057080 @ 14.7533
17.94/18.04 c GLOBAL bounds - >= -12057080 @ 14.7839
17.94/18.08 c GLOBAL bounds - >= -12057080 @ 14.8133
18.03/18.12 c GLOBAL bounds - >= -12057080 @ 14.843
18.03/18.16 c GLOBAL bounds - >= -12057080 @ 14.8723
18.13/18.20 c GLOBAL bounds - >= -12057080 @ 14.903
18.13/18.24 c GLOBAL bounds - >= -12057080 @ 14.9383
18.13/18.29 c GLOBAL bounds - >= -12057080 @ 14.9675
18.23/18.33 c GLOBAL bounds - >= -12057080 @ 14.9952
18.23/18.37 c GLOBAL bounds - >= -12057080 @ 15.0268
18.33/18.41 c GLOBAL bounds - >= -12057080 @ 15.0587
18.33/18.45 c GLOBAL bounds - >= -12057080 @ 15.0882
18.33/18.49 c GLOBAL bounds - >= -12057080 @ 15.1191
18.43/18.53 c GLOBAL bounds - >= -12057080 @ 15.1472
18.43/18.58 c GLOBAL bounds - >= -12057080 @ 15.1824
18.53/18.62 c GLOBAL bounds - >= -12057080 @ 15.2131
18.53/18.66 c GLOBAL bounds - >= -12057080 @ 15.2433
18.63/18.70 c GLOBAL bounds - >= -12057080 @ 15.2741
18.63/18.74 c GLOBAL bounds - >= -12057080 @ 15.3054
18.63/18.78 c GLOBAL bounds - >= -12057080 @ 15.3355
18.73/18.83 c GLOBAL bounds - >= -12057080 @ 15.3679
18.73/18.87 c GLOBAL bounds - >= -12057080 @ 15.395
18.83/18.91 c GLOBAL bounds - >= -12057080 @ 15.4257
18.83/18.95 c GLOBAL bounds - >= -12057080 @ 15.4582
18.83/19.00 c GLOBAL bounds - >= -12057080 @ 15.4914
18.94/19.04 c GLOBAL bounds - >= -12057080 @ 15.5202
18.94/19.08 c GLOBAL bounds - >= -12057080 @ 15.5562
19.03/19.12 c GLOBAL bounds - >= -12057080 @ 15.5886
19.03/19.17 c GLOBAL bounds - >= -12057080 @ 15.6205
19.13/19.21 c GLOBAL bounds - >= -12057080 @ 15.6512
19.13/19.26 c GLOBAL bounds - >= -12057080 @ 15.6845
19.23/19.30 c GLOBAL bounds - >= -12057080 @ 15.7166
19.23/19.34 c GLOBAL bounds - >= -12057080 @ 15.7494
19.23/19.39 c GLOBAL bounds - >= -12057080 @ 15.781
19.33/19.43 c GLOBAL bounds - >= -12057080 @ 15.8153
19.33/19.48 c GLOBAL bounds - >= -12057080 @ 15.8483
19.42/19.52 c GLOBAL bounds - >= -12057080 @ 15.8808
19.42/19.57 c GLOBAL bounds - >= -12057080 @ 15.9142
19.53/19.61 c GLOBAL bounds - >= -12057080 @ 15.9493
19.53/19.66 c GLOBAL bounds - >= -12057080 @ 15.9827
19.62/19.71 c GLOBAL bounds - >= -12057080 @ 16.0181
19.62/19.75 c GLOBAL bounds - >= -12057080 @ 16.0553
19.72/19.80 c GLOBAL bounds - >= -12057080 @ 16.0912
19.72/19.84 c GLOBAL bounds - >= -12057080 @ 16.129
19.72/19.89 c GLOBAL bounds - >= -12057080 @ 16.1644
19.82/19.94 c GLOBAL bounds - >= -12057080 @ 16.1996
19.82/19.98 c GLOBAL bounds - >= -12057080 @ 16.2394
19.94/20.03 c GLOBAL bounds - >= -12057080 @ 16.2763
19.94/20.08 c GLOBAL bounds - >= -12057080 @ 16.3181
20.04/20.13 c GLOBAL bounds - >= -12057080 @ 16.3544
20.04/20.18 c GLOBAL bounds - >= -12057080 @ 16.3932
20.13/20.22 c GLOBAL bounds - >= -12057080 @ 16.4286
20.13/20.27 c GLOBAL bounds - >= -12057080 @ 16.4629
20.22/20.32 c GLOBAL bounds - >= -12057080 @ 16.5038
20.22/20.37 c GLOBAL bounds - >= -12057080 @ 16.5444
20.33/20.42 c GLOBAL bounds - >= -12057080 @ 16.5829
20.33/20.47 c GLOBAL bounds - >= -12057080 @ 16.6239
20.43/20.52 c GLOBAL bounds - >= -12057080 @ 16.6618
20.43/20.57 c GLOBAL bounds - >= -12057080 @ 16.7024
20.52/20.62 c GLOBAL bounds - >= -12057080 @ 16.7418
20.52/20.67 c GLOBAL bounds - >= -12057080 @ 16.7798
20.62/20.72 c GLOBAL bounds - >= -12057080 @ 16.8178
20.62/20.77 c GLOBAL bounds - >= -12057080 @ 16.8594
20.72/20.82 c GLOBAL bounds - >= -12057080 @ 16.9026
20.72/20.87 c GLOBAL bounds - >= -12057080 @ 16.9466
20.82/20.93 c GLOBAL bounds - >= -12057080 @ 16.986
20.82/20.98 c GLOBAL bounds - >= -12057080 @ 17.0286
20.93/21.03 c GLOBAL bounds - >= -12057080 @ 17.069
20.93/21.08 c GLOBAL bounds - >= -12057080 @ 17.1112
21.03/21.14 c GLOBAL bounds - >= -12057080 @ 17.1493
21.03/21.19 c GLOBAL bounds - >= -12057080 @ 17.1958
21.13/21.24 c GLOBAL bounds - >= -12057080 @ 17.236
21.62/21.74 c GLOBAL bounds - >= -12057080 @ 17.7118
110.49/110.87 c #Conflicts: 1000 | #Constraints: 1661
110.49/110.87 c #Conflicts: 2000 | #Constraints: 2661
110.49/110.87 c INPROCESSING
110.49/110.87 c GARBAGE COLLECT
110.49/110.87 c #Conflicts: 3000 | #Constraints: 2671
110.49/110.87 c GLOBAL bounds - >= -12057080 @ 106.032
110.59/110.95 c GLOBAL bounds - >= -12057080 @ 106.1
110.70/111.02 c GLOBAL bounds - >= -12057080 @ 106.156
110.70/111.09 c GLOBAL bounds - >= -12057080 @ 106.203
110.80/111.15 c GLOBAL bounds - >= -12057080 @ 106.249
110.90/111.21 c GLOBAL bounds - >= -12057080 @ 106.296
110.90/111.27 c GLOBAL bounds - >= -12057080 @ 106.345
110.99/111.34 c GLOBAL bounds - >= -12057080 @ 106.393
111.09/111.40 c GLOBAL bounds - >= -12057080 @ 106.442
111.09/111.46 c GLOBAL bounds - >= -12057080 @ 106.491
111.19/111.52 c GLOBAL bounds - >= -12057080 @ 106.544
111.19/111.59 c GLOBAL bounds - >= -12057080 @ 106.596
111.29/111.65 c GLOBAL bounds - >= -12057080 @ 106.646
111.39/111.71 c GLOBAL bounds - >= -12057080 @ 106.697
111.39/111.77 c GLOBAL bounds - >= -12057080 @ 106.738
111.50/111.84 c GLOBAL bounds - >= -12057080 @ 106.789
111.59/111.90 c GLOBAL bounds - >= -12057080 @ 106.837
111.59/111.96 c GLOBAL bounds - >= -12057080 @ 106.889
111.70/112.03 c GLOBAL bounds - >= -12057080 @ 106.937
111.70/112.09 c GLOBAL bounds - >= -12057080 @ 106.989
111.79/112.15 c GLOBAL bounds - >= -12057080 @ 107.044
111.89/112.22 c GLOBAL bounds - >= -12057080 @ 107.096
111.89/112.28 c GLOBAL bounds - >= -12057080 @ 107.145
111.99/112.35 c GLOBAL bounds - >= -12057080 @ 107.196
112.09/112.41 c GLOBAL bounds - >= -12057080 @ 107.245
112.09/112.48 c GLOBAL bounds - >= -12057080 @ 107.296
112.19/112.55 c GLOBAL bounds - >= -12057080 @ 107.353
112.29/112.62 c GLOBAL bounds - >= -12057080 @ 107.408
112.29/112.69 c GLOBAL bounds - >= -12057080 @ 107.467
112.39/112.75 c GLOBAL bounds - >= -12057080 @ 107.525
112.49/112.82 c GLOBAL bounds - >= -12057080 @ 107.586
112.49/112.89 c GLOBAL bounds - >= -12057080 @ 107.643
112.59/112.96 c GLOBAL bounds - >= -12057080 @ 107.704
112.70/113.03 c GLOBAL bounds - >= -12057080 @ 107.761
112.79/113.10 c GLOBAL bounds - >= -12057080 @ 107.818
112.79/113.17 c GLOBAL bounds - >= -12057080 @ 107.873
112.89/113.24 c GLOBAL bounds - >= -12057080 @ 107.929
112.98/113.31 c GLOBAL bounds - >= -12057080 @ 107.986
112.98/113.39 c GLOBAL bounds - >= -12057080 @ 108.046
113.09/113.46 c GLOBAL bounds - >= -12057080 @ 108.105
113.18/113.53 c GLOBAL bounds - >= -12057080 @ 108.162
113.29/113.60 c GLOBAL bounds - >= -12057080 @ 108.219
113.29/113.67 c GLOBAL bounds - >= -12057080 @ 108.278
113.39/113.75 c GLOBAL bounds - >= -12057080 @ 108.341
113.49/113.82 c GLOBAL bounds - >= -12057080 @ 108.404
113.58/113.90 c GLOBAL bounds - >= -12057080 @ 108.466
113.58/113.97 c GLOBAL bounds - >= -12057080 @ 108.524
113.69/114.05 c GLOBAL bounds - >= -12057080 @ 108.589
113.79/114.12 c GLOBAL bounds - >= -12057080 @ 108.654
113.88/114.20 c GLOBAL bounds - >= -12057080 @ 108.714
113.88/114.28 c GLOBAL bounds - >= -12057080 @ 108.775
113.98/114.36 c GLOBAL bounds - >= -12057080 @ 108.841
114.08/114.43 c GLOBAL bounds - >= -12057080 @ 108.907
114.19/114.51 c GLOBAL bounds - >= -12057080 @ 108.978
114.19/114.59 c GLOBAL bounds - >= -12057080 @ 109.043
114.28/114.67 c GLOBAL bounds - >= -12057080 @ 109.11
114.38/114.75 c GLOBAL bounds - >= -12057080 @ 109.173
114.48/114.83 c GLOBAL bounds - >= -12057080 @ 109.239
114.59/114.91 c GLOBAL bounds - >= -12057080 @ 109.306
114.59/114.99 c GLOBAL bounds - >= -12057080 @ 109.373
114.79/115.14 c GLOBAL bounds - >= -12057080 @ 109.506
114.99/115.36 c GLOBAL bounds - >= -12057080 @ 109.709
115.38/115.76 c GLOBAL bounds - >= -12057080 @ 110.098
115.48/115.87 c GLOBAL bounds - >= -12057080 @ 110.193
115.59/115.96 c GLOBAL bounds - >= -12057080 @ 110.278
115.69/116.06 c GLOBAL bounds - >= -12057080 @ 110.36
116.28/116.60 c GLOBAL bounds - >= -12057080 @ 110.878
194.07/194.64 c #Conflicts: 4000 | #Constraints: 3805
194.07/194.64 c INPROCESSING
194.07/194.64 c GARBAGE COLLECT
194.07/194.64 c GLOBAL bounds - >= -12057080 @ 188.437
194.17/194.73 c GLOBAL bounds - >= -12057080 @ 188.511
194.27/194.81 c GLOBAL bounds - >= -12057080 @ 188.569
194.27/194.88 c GLOBAL bounds - >= -12057080 @ 188.629
194.37/194.95 c GLOBAL bounds - >= -12057080 @ 188.692
194.47/195.03 c GLOBAL bounds - >= -12057080 @ 188.754
194.57/195.10 c GLOBAL bounds - >= -12057080 @ 188.815
194.57/195.18 c GLOBAL bounds - >= -12057080 @ 188.878
194.67/195.26 c GLOBAL bounds - >= -12057080 @ 188.942
194.77/195.33 c GLOBAL bounds - >= -12057080 @ 189.009
194.87/195.41 c GLOBAL bounds - >= -12057080 @ 189.077
194.87/195.49 c GLOBAL bounds - >= -12057080 @ 189.145
194.97/195.57 c GLOBAL bounds - >= -12057080 @ 189.213
195.07/195.65 c GLOBAL bounds - >= -12057080 @ 189.285
195.17/195.73 c GLOBAL bounds - >= -12057080 @ 189.353
195.27/195.82 c GLOBAL bounds - >= -12057080 @ 189.423
195.37/195.90 c GLOBAL bounds - >= -12057080 @ 189.497
195.37/195.98 c GLOBAL bounds - >= -12057080 @ 189.568
195.47/196.07 c GLOBAL bounds - >= -12057080 @ 189.639
195.57/196.15 c GLOBAL bounds - >= -12057080 @ 189.711
195.66/196.24 c GLOBAL bounds - >= -12057080 @ 189.785
195.76/196.32 c GLOBAL bounds - >= -12057080 @ 189.859
195.87/196.41 c GLOBAL bounds - >= -12057080 @ 189.93
195.87/196.49 c GLOBAL bounds - >= -12057080 @ 190.005
195.96/196.58 c GLOBAL bounds - >= -12057080 @ 190.082
196.06/196.66 c GLOBAL bounds - >= -12057080 @ 190.159
196.16/196.75 c GLOBAL bounds - >= -12057080 @ 190.232
196.26/196.84 c GLOBAL bounds - >= -12057080 @ 190.308
196.37/196.93 c GLOBAL bounds - >= -12057080 @ 190.384
196.47/197.02 c GLOBAL bounds - >= -12057080 @ 190.456
196.57/197.11 c GLOBAL bounds - >= -12057080 @ 190.538
196.66/197.20 c GLOBAL bounds - >= -12057080 @ 190.615
196.66/197.29 c GLOBAL bounds - >= -12057080 @ 190.691
196.76/197.38 c GLOBAL bounds - >= -12057080 @ 190.768
250.33/251.06 c #Conflicts: 5000 | #Constraints: 3275
250.33/251.06 c #Conflicts: 6000 | #Constraints: 4275
250.33/251.06 c GLOBAL bounds - >= -12057080 @ 244.171
519.93/521.38 c INPROCESSING
519.93/521.38 c GARBAGE COLLECT
519.93/521.38 c #Conflicts: 7000 | #Constraints: 3319
519.93/521.38 c #Conflicts: 8000 | #Constraints: 4319
519.93/521.38 c #Conflicts: 9000 | #Constraints: 5319
519.93/521.38 c INPROCESSING
519.93/521.38 c GARBAGE COLLECT
519.93/521.38 c #Conflicts: 10000 | #Constraints: 4004
519.93/521.38 c #Conflicts: 11000 | #Constraints: 5004
519.93/521.38 c GLOBAL bounds - >= -12057080 @ 513.027
520.12/521.53 c GLOBAL bounds - >= -12057080 @ 513.164
520.22/521.69 c GLOBAL bounds - >= -12057080 @ 513.303
520.42/521.83 c GLOBAL bounds - >= -12057080 @ 513.438
520.52/521.97 c GLOBAL bounds - >= -12057080 @ 513.559
520.63/522.10 c GLOBAL bounds - >= -12057080 @ 513.678
520.82/522.23 c GLOBAL bounds - >= -12057080 @ 513.8
520.92/522.36 c GLOBAL bounds - >= -12057080 @ 513.918
521.02/522.49 c GLOBAL bounds - >= -12057080 @ 514.038
521.23/522.62 c GLOBAL bounds - >= -12057080 @ 514.153
521.32/522.75 c GLOBAL bounds - >= -12057080 @ 514.27
521.42/522.88 c GLOBAL bounds - >= -12057080 @ 514.385
521.63/523.01 c GLOBAL bounds - >= -12057080 @ 514.499
521.73/523.14 c GLOBAL bounds - >= -12057080 @ 514.614
521.82/523.27 c GLOBAL bounds - >= -12057080 @ 514.731
522.01/523.40 c GLOBAL bounds - >= -12057080 @ 514.846
522.12/523.54 c GLOBAL bounds - >= -12057080 @ 514.974
522.22/523.68 c GLOBAL bounds - >= -12057080 @ 515.101
522.41/523.81 c GLOBAL bounds - >= -12057080 @ 515.224
522.52/523.95 c GLOBAL bounds - >= -12057080 @ 515.346
522.62/524.09 c GLOBAL bounds - >= -12057080 @ 515.47
522.81/524.23 c GLOBAL bounds - >= -12057080 @ 515.598
522.92/524.37 c GLOBAL bounds - >= -12057080 @ 515.727
523.12/524.51 c GLOBAL bounds - >= -12057080 @ 515.859
523.22/524.66 c GLOBAL bounds - >= -12057080 @ 515.989
523.41/524.80 c GLOBAL bounds - >= -12057080 @ 516.12
523.51/524.94 c GLOBAL bounds - >= -12057080 @ 516.254
523.63/525.09 c GLOBAL bounds - >= -12057080 @ 516.389
567.99/569.52 c #Conflicts: 12000 | #Constraints: 6060
567.99/569.52 c INPROCESSING
567.99/569.52 c GARBAGE COLLECT
567.99/569.52 c GLOBAL bounds - >= -12057080 @ 560.512
577.17/578.76 c GLOBAL bounds - >= -12057080 @ 569.666
3600.02/3610.60 c #Conflicts: 13000 | #Constraints: 4507
3600.02/3610.60 c #Conflicts: 14000 | #Constraints: 5507
3600.02/3610.60 c #Conflicts: 15000 | #Constraints: 6507
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 16000 | #Constraints: 4737
3600.02/3610.60 c #Conflicts: 17000 | #Constraints: 5737
3600.02/3610.60 c #Conflicts: 18000 | #Constraints: 6737
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 19000 | #Constraints: 4750
3600.02/3610.60 c #Conflicts: 20000 | #Constraints: 5750
3600.02/3610.60 c #Conflicts: 21000 | #Constraints: 6750
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 22000 | #Constraints: 4562
3600.02/3610.60 c #Conflicts: 23000 | #Constraints: 5562
3600.02/3610.60 c #Conflicts: 24000 | #Constraints: 6562
3600.02/3610.60 c #Conflicts: 25000 | #Constraints: 7562
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 26000 | #Constraints: 5174
3600.02/3610.60 c #Conflicts: 27000 | #Constraints: 6174
3600.02/3610.60 c #Conflicts: 28000 | #Constraints: 7174
3600.02/3610.60 c #Conflicts: 29000 | #Constraints: 8174
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 30000 | #Constraints: 5560
3600.02/3610.60 c #Conflicts: 31000 | #Constraints: 6560
3600.02/3610.60 c #Conflicts: 32000 | #Constraints: 7560
3600.02/3610.60 c #Conflicts: 33000 | #Constraints: 8560
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 34000 | #Constraints: 5754
3600.02/3610.60 c #Conflicts: 35000 | #Constraints: 6754
3600.02/3610.60 c #Conflicts: 36000 | #Constraints: 7754
3600.02/3610.60 c #Conflicts: 37000 | #Constraints: 8754
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 38000 | #Constraints: 5749
3600.02/3610.60 c #Conflicts: 39000 | #Constraints: 6749
3600.02/3610.60 c #Conflicts: 40000 | #Constraints: 7749
3600.02/3610.60 c #Conflicts: 41000 | #Constraints: 8749
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 42000 | #Constraints: 5551
3600.02/3610.60 c #Conflicts: 43000 | #Constraints: 6551
3600.02/3610.60 c #Conflicts: 44000 | #Constraints: 7551
3600.02/3610.60 c #Conflicts: 45000 | #Constraints: 8551
3600.02/3610.60 c #Conflicts: 46000 | #Constraints: 9551
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 47000 | #Constraints: 6145
3600.02/3610.60 c #Conflicts: 48000 | #Constraints: 7145
3600.02/3610.60 c #Conflicts: 49000 | #Constraints: 8145
3600.02/3610.60 c #Conflicts: 50000 | #Constraints: 9145
3600.02/3610.60 c #Conflicts: 51000 | #Constraints: 10145
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 52000 | #Constraints: 6551
3600.02/3610.60 c #Conflicts: 53000 | #Constraints: 7551
3600.02/3610.60 c #Conflicts: 54000 | #Constraints: 8551
3600.02/3610.60 c #Conflicts: 55000 | #Constraints: 9551
3600.02/3610.60 c #Conflicts: 56000 | #Constraints: 10551
3600.02/3610.60 c INPROCESSING
3600.02/3610.60 c GARBAGE COLLECT
3600.02/3610.60 c #Conflicts: 57000 | #Constraints: 6758
3600.02/3610.60 c #Conflicts: 58000 | #Constraints: 7758
3600.02/3610.60 c #Conflicts: 59000 | #Constraints: 8758
3600.02/3610.60 c cpu time 3588.54 s
3600.02/3610.60 c deterministic time 1 1.00e+00
3600.02/3610.60 c optimization time 3588.52 s
3600.02/3610.60 c total solve time 0 s
3600.02/3610.60 c core-guided solve time 0 s
3600.02/3610.60 c propagation time 1e-06 s
3600.02/3610.60 c conflict analysis time 0 s
3600.02/3610.60 c propagations 0
3600.02/3610.60 c resolve steps 0
3600.02/3610.60 c decisions 0
3600.02/3610.60 c conflicts 0
3600.02/3610.60 c restarts 0
3600.02/3610.60 c inprocessing phases 0
3600.02/3610.60 c garbage collections 0 ,( -nan )
3600.02/3610.60 c input clauses 0 ,( 0.00 )
3600.02/3610.60 c input cardinalities 0 ,( 0.00 )
3600.02/3610.60 c input general constraints 1 ,( 100.00 )
3600.02/3610.60 c input average constraint length 20000.00
3600.02/3610.60 c input average constraint degree 9957497.00
3600.02/3610.60 c learned clauses 0 ,( 0.00 )
3600.02/3610.60 c learned cardinalities 0 ,( 0.00 )
3600.02/3610.60 c learned general constraints 0 ,( 0.00 )
3600.02/3610.60 c learned average constraint length 0.00
3600.02/3610.60 c learned average constraint degree 0.00
3600.02/3610.60 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3610.60 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.02/3610.60 c watched constraints 0 ,( 0.00 )
3600.02/3610.60 c counting constraints 1 ,( 100.00 )
3600.02/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3610.60 c gcd simplifications 0
3600.02/3610.60 c detected cardinalities 0
3600.02/3610.60 c weakened non-implied lits 0
3600.02/3610.60 c weakened non-implying lits 0
3600.02/3610.60 c original variables 20000
3600.02/3610.60 c clausal propagations 0
3600.02/3610.60 c cardinality propagations 0
3600.02/3610.60 c watched propagations 0
3600.02/3610.60 c counting propagations 0
3600.02/3610.60 c watch lookups 0
3600.02/3610.60 c watch backjump lookups 0
3600.02/3610.60 c watch checks 0
3600.02/3610.60 c propagation checks 0
3600.02/3610.60 c constraint additions 0
3600.02/3610.60 c trail pops 0
3600.02/3610.60 c formula constraints 1
3600.02/3610.60 c learned constraints 0
3600.02/3610.60 c bound constraints 0
3600.02/3610.60 c core-guided constraints 0
3600.02/3610.60 c encountered formula constraints 0
3600.02/3610.60 c encountered learned constraints 0
3600.02/3610.60 c encountered bound constraints 0
3600.02/3610.60 c encountered core-guided constraints 0
3600.02/3610.60 c LP total time 0 s
3600.02/3610.60 c LP solve time 0 s
3600.02/3610.60 c LP constraints added 0
3600.02/3610.60 c LP constraints removed 0
3600.02/3610.60 c LP pivots internal 0
3600.02/3610.60 c LP pivots root 0
3600.02/3610.60 c LP calls 0
3600.02/3610.60 c LP optimalities 0
3600.02/3610.60 c LP no pivot count 0
3600.02/3610.60 c LP infeasibilities 0
3600.02/3610.60 c LP valid Farkas constraints 0
3600.02/3610.60 c LP learned Farkas constraints 0
3600.02/3610.60 c LP basis resets 0
3600.02/3610.60 c LP cycling count 0
3600.02/3610.60 c LP singular count 0
3600.02/3610.60 c LP no primal count 0
3600.02/3610.60 c LP no farkas count 0
3600.02/3610.60 c LP other issue count 0
3600.02/3610.60 c LP Gomory cuts 0
3600.02/3610.60 c LP learned cuts 0
3600.02/3610.60 c LP deleted cuts 0
3600.02/3610.60 c LP encountered Gomory constraints 0
3600.02/3610.60 c LP encountered Farkas constraints 0
3600.02/3610.60 c LP encountered learned Farkas constraints 0
3600.02/3610.60 c CG auxiliary variables introduced 0
3600.02/3610.60 c CG solutions found 0
3600.02/3610.60 c CG cores constructed 0
3600.02/3610.60 c CG core cardinality constraints returned 0
3600.02/3610.60 c CG unit cores 0
3600.02/3610.60 c CG single cores 0
3600.02/3610.60 c CG blocks removed during cardinality reduction 0
3600.02/3610.60 c CG first core best 0
3600.02/3610.60 c CG decision core best 0
3600.02/3610.60 c CG core reduction tie 0
3600.02/3610.60 c CG core degree average 0.00
3600.02/3610.60 c CG core slack average 0.00
3600.02/3610.60 c CG core upper bound improvements 0
3600.02/3610.60 c STR number of successful calls 0
3600.02/3610.60 c STR number of unsuccessful calls 0
3600.02/3610.60 c STR number of inconclusive calls 0
3600.02/3610.60 c STR number of successful attempts 0
3600.02/3610.60 c STR number of unsuccessful attempts 0
3600.02/3610.60 c STR number of inconclusive attempts 0
3600.02/3610.60 c STR average degree increase per successful call inf
3600.02/3610.60 c STR average degree increase per successful attempt inf
3600.02/3610.60 c STR total number of conflicts for successful attempts 0
3600.02/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.02/3610.60 c STR average number of conflicts per successful attempt inf
3600.02/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.02/3610.60 c AVG.sumWPerc 99.51
3600.02/3610.60 c bigint constraints 0
3600.02/3610.60 s UNKNOWN
3600.02/3610.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (49979 MiB free)
memory of node 1: 64465 MiB (60881 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517904-1751539631/watcher-4517904-1751539631 -o /tmp/evaluation-result-4517904-1751539631/solver-4517904-1751539631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75752 --watchdog 3760 run-opt.sh HOME/instance-4517904-1751539631.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77023, runsolver pid=77020
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.16 4.12 4.09 6/268 77025
/proc/meminfo: memFree=113510432/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=74312 memory=24292 CPUtime=0.08 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 4851 0 0 0 4 4 0 0 20 0 1 0 69640979 76095488 6073 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 18578 6073 2336 1147 0 6005 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78504 KiB
Current children cumulated memory: 27236 KiB
[startup+0.205784 s]*
/proc/loadavg: 4.16 4.12 4.09 5/268 77025
/proc/meminfo: memFree=113510432/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=74468 memory=26916 CPUtime=0.19 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 5015 0 0 0 9 10 0 0 20 0 1 0 69640979 76255232 6729 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 18617 6729 2336 1147 0 6044 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78660 KiB
Current children cumulated memory: 29860 KiB
[startup+0.305706 s]*
/proc/loadavg: 4.16 4.12 4.09 5/268 77025
/proc/meminfo: memFree=113510180/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=74468 memory=26916 CPUtime=0.29 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 5015 0 0 0 15 14 0 0 20 0 1 0 69640979 76255232 6729 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 18617 6729 2336 1147 0 6044 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78660 KiB
Current children cumulated memory: 29860 KiB
[startup+0.700191 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 77025
/proc/meminfo: memFree=113510180/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=77188 memory=28708 CPUtime=0.67 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 5455 0 0 0 33 34 0 0 20 0 1 0 69640979 79040512 7177 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 19297 7177 2336 1147 0 6724 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 81380 KiB
Current children cumulated memory: 31652 KiB
[startup+1.50019 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 77025
/proc/meminfo: memFree=113510180/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=82128 memory=35688 CPUtime=1.47 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 6187 0 0 0 70 77 0 0 20 0 1 0 69640979 84099072 8922 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 20532 8922 2336 1147 0 7959 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86320 KiB
Current children cumulated memory: 38632 KiB
[startup+3.10561 s]
/proc/loadavg: 4.16 4.12 4.09 5/268 77025
/proc/meminfo: memFree=113509676/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=102908 memory=47464 CPUtime=3.08 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 7606 0 0 0 152 156 0 0 20 0 1 0 69640979 105377792 11866 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 25727 11866 2336 1147 0 13154 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 107100 KiB
Current children cumulated memory: 50408 KiB
[startup+6.3002 s]
/proc/loadavg: 4.15 4.12 4.09 5/268 77025
/proc/meminfo: memFree=113466504/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=148492 memory=96164 CPUtime=6.27 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 14676 0 0 0 361 266 0 0 20 0 1 0 69640979 152055808 24041 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 37123 24041 2336 1147 0 24550 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 152684 KiB
Current children cumulated memory: 99108 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 77025
/proc/meminfo: memFree=113260796/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=377132 memory=305604 CPUtime=12.65 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 52730 0 0 0 965 300 0 0 20 0 1 0 69640979 386183168 76401 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 94283 76401 2336 1147 0 81710 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 381324 KiB
Current children cumulated memory: 308548 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/268 77025
/proc/meminfo: memFree=112993628/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=624004 memory=559916 CPUtime=25.41 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 94335 0 0 0 2143 398 0 0 20 0 1 0 69640979 638980096 139979 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 156001 139979 2336 1147 0 143428 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 628196 KiB
Current children cumulated memory: 562860 KiB
[startup+51.1058 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 77026
/proc/meminfo: memFree=112548964/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=1113140 memory=1011196 CPUtime=50.95 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 178540 0 0 0 4670 425 0 0 20 0 1 0 69640979 1139855360 252799 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 278285 252799 2336 1147 0 265712 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1117332 KiB
Current children cumulated memory: 1014140 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 77028
/proc/meminfo: memFree=112044480/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=2005720 memory=1499724 CPUtime=102.02 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 283518 0 0 0 9752 450 0 0 20 0 1 0 69640979 2053857280 374931 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 501430 374931 2336 1147 0 488857 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 2009912 KiB
Current children cumulated memory: 1502668 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 77033
/proc/meminfo: memFree=111656500/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=2035100 memory=1855196 CPUtime=161.86 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 330592 0 0 0 15626 560 0 0 20 0 1 0 69640979 2083942400 463799 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 508775 463799 2336 1147 0 496202 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 2039292 KiB
Current children cumulated memory: 1858140 KiB
[startup+222.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 77035
/proc/meminfo: memFree=111623044/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=2035100 memory=1877588 CPUtime=221.7 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 333660 0 0 0 21555 615 0 0 20 0 1 0 69640979 2083942400 469397 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 508775 469397 2336 1147 0 496202 0
################
# More data... #
################
[pid=77025] ppid=77023 vsize=8160284 memory=6003420 CPUtime=3093.46 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1119659 0 0 0 308266 1080 0 0 20 0 1 0 69640979 8356130816 1500855 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040071 1500855 2336 1147 0 2027498 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 8164476 KiB
Current children cumulated memory: 6006364 KiB
[startup+3162.3 s]
/proc/loadavg: 3.16 3.65 3.91 4/261 77356
/proc/meminfo: memFree=105733000/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8160284 memory=6003420 CPUtime=3153.25 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1120298 0 0 0 314237 1088 0 0 20 0 1 0 69640979 8356130816 1500855 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040071 1500855 2336 1147 0 2027498 0
Current children cumulated CPU time: 3153.25 s
Current children cumulated vsize: 8164476 KiB
Current children cumulated memory: 6006364 KiB
[startup+3222.3 s]
/proc/loadavg: 3.10 3.55 3.86 4/261 77358
/proc/meminfo: memFree=105729356/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8160284 memory=6003420 CPUtime=3213.05 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1121045 0 0 0 320210 1095 0 0 20 0 1 0 69640979 8356130816 1500855 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040071 1500855 2336 1147 0 2027498 0
Current children cumulated CPU time: 3213.05 s
Current children cumulated vsize: 8164476 KiB
Current children cumulated memory: 6006364 KiB
[startup+3282.3 s]
/proc/loadavg: 3.14 3.48 3.81 4/261 77362
/proc/meminfo: memFree=105703236/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8160284 memory=6003420 CPUtime=3272.85 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1122431 0 0 0 326181 1104 0 0 20 0 1 0 69640979 8356130816 1500855 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040071 1500855 2336 1147 0 2027498 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 8164476 KiB
Current children cumulated memory: 6006364 KiB
[startup+3342.3 s]
/proc/loadavg: 3.10 3.40 3.77 4/261 77364
/proc/meminfo: memFree=105656844/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8160284 memory=6039056 CPUtime=3332.64 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1127262 0 0 0 332155 1109 0 0 20 0 1 0 69640979 8356130816 1509764 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040071 1509764 2336 1147 0 2027498 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 8164476 KiB
Current children cumulated memory: 6042000 KiB
[startup+3402.3 s]
/proc/loadavg: 3.08 3.34 3.72 4/260 77366
/proc/meminfo: memFree=105540132/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8161052 memory=6135396 CPUtime=3392.43 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1140129 0 0 0 338122 1121 0 0 20 0 1 0 69640979 8356917248 1533849 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040263 1533849 2336 1147 0 2027690 0
Current children cumulated CPU time: 3392.43 s
Current children cumulated vsize: 8165244 KiB
Current children cumulated memory: 6138340 KiB
[startup+3462.3 s]
/proc/loadavg: 3.13 3.31 3.68 4/259 77368
/proc/meminfo: memFree=105554384/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8161052 memory=6135396 CPUtime=3452.23 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1140129 0 0 0 344091 1132 0 0 20 0 1 0 69640979 8356917248 1533849 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040263 1533849 2336 1147 0 2027690 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 8165244 KiB
Current children cumulated memory: 6138340 KiB
[startup+3522.3 s]
/proc/loadavg: 3.09 3.26 3.64 4/259 77370
/proc/meminfo: memFree=105520416/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8161052 memory=6135396 CPUtime=3512.03 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1141514 0 0 0 350063 1140 0 0 20 0 1 0 69640979 8356917248 1533849 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040263 1533849 2336 1147 0 2027690 0
Current children cumulated CPU time: 3512.03 s
Current children cumulated vsize: 8165244 KiB
Current children cumulated memory: 6138340 KiB
[startup+3582.3 s]
/proc/loadavg: 3.14 3.25 3.61 4/259 77372
/proc/meminfo: memFree=105508548/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8161052 memory=6135396 CPUtime=3571.82 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1141767 0 0 0 356037 1145 0 0 20 0 1 0 69640979 8356917248 1533849 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040263 1533849 2336 1147 0 2027690 0
Current children cumulated CPU time: 3571.82 s
Current children cumulated vsize: 8165244 KiB
Current children cumulated memory: 6138340 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 3.09 3.22 3.60 4/260 77374
/proc/meminfo: memFree=105490520/131249996 swapFree=33004236/33010684
[pid=77023] ppid=77020 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/77023/stat : 77023 (run-opt.sh) S 77020 77023 75740 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 69640978 4292608 736 18446744073709551615 94794067542016 94794068436549 140724131811968 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94794068675600 94794068723344 94794092900352 140724131813741 140724131813864 140724131813864 140724131819466 0
/proc/77023/statm: 1048 736 672 219 0 110 0
[pid=77025] ppid=77023 vsize=8161052 memory=6135396 CPUtime=3600.02 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77023 77023 75740 0 -1 4194304 1142901 0 0 0 358853 1149 0 0 20 0 1 0 69640979 8356917248 1533849 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 2040263 1533849 2336 1147 0 2027690 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 8165244 KiB
Current children cumulated memory: 6138340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 77023 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001957 s, system=0.00018 s
[startup+3610.73 s]
# the end of solver process 77025 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3588.55 s, system=11.6098 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
[startup+3610.7 s]*
/proc/loadavg: 3.08 3.22 3.59 4/259 77374
/proc/meminfo: memFree=108737540/131249996 swapFree=33004236/33010684
[pid=77025] ppid=77020 vsize=3874112 memory=2525204 CPUtime=3600.13 cores=1,3
/proc/77025/stat : 77025 (roundingsat) R 77020 77023 75740 0 -1 4194304 1142909 0 0 0 358854 1159 0 0 20 0 1 0 69640979 3967090688 631551 18446744073709551615 4227072 8923433 140727350739424 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 26865664 140727350741410 140727350741544 140727350741544 140727350747114 0
/proc/77025/statm: 968528 631301 2464 1147 0 955955 0
Current cumulated CPU time of completed processes: 0.002137 s
Current children cumulated CPU time: 3600.13 s
Current children cumulated vsize: 3874112 KiB
Current children cumulated memory: 2525204 KiB
Child status: 2
Real time (s): 3610.73
CPU time (s): 3600.16
CPU user time (s): 3588.55
CPU system time (s): 11.6098
CPU usage (%): 99.7072
Max. virtual memory (cumulated for all children) (KiB): 8165244
Max. memory (cumulated for all children) (KiB): 6138340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.55
system time used= 11.6098
maximum resident set size= 6135908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1143129
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= 248
involuntary context switches= 4664
# summary of solver processes directly reported to runsolver:
# pid: 77023,77025
# total CPU time (s): 3600.16
# total CPU user time (s): 3588.55
# total CPU system time (s): 11.6098
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.86447 second user time and 16.7257 second system time
The end
Begin job on nodeC023 at 2025-07-03 12:47:11
IDJOB=4517904
IDBENCH=176207
IDSOLVER=3350
FILE ID=nodeC023/4517904-1751539631
RUNJOBID= nodeC023-1751531763-75752
SLURM_JOB_ID= 9598675
Free space on /tmp= 431848 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_5000_1000_4_-199683.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517904-1751539631/watcher-4517904-1751539631 -o /tmp/evaluation-result-4517904-1751539631/solver-4517904-1751539631 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751531763-75752 --watchdog 3760 run-opt.sh HOME/instance-4517904-1751539631.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1078a8a599ac53eb8b654d06ccbdcce3
RANDOM SEED=149930945
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.916
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.118
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.232
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.902
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.889
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.415
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3596.391
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 113521360 kB
MemAvailable: 129282244 kB
Buffers: 16 kB
Cached: 16505208 kB
SwapCached: 592 kB
Active: 676872 kB
Inactive: 16300104 kB
Active(anon): 464712 kB
Inactive(anon): 20452 kB
Active(file): 212160 kB
Inactive(file): 16279652 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7480 kB
Writeback: 48 kB
AnonPages: 472000 kB
Mapped: 113828 kB
Shmem: 13404 kB
KReclaimable: 216624 kB
Slab: 306960 kB
SReclaimable: 216624 kB
SUnreclaim: 90336 kB
KernelStack: 4336 kB
PageTables: 4172 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 838672 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 327680 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431848 MiB
End job on nodeC023 at 2025-07-03 13:47:22