0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.00/0.04 c #variables 20000 #constraints 1
0.00/0.04 c objective is ce32
0.00/0.05 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.05 c initial counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
0.00/0.05 c GLOBAL bounds - >= -14329184 @ 0.023137
0.00/0.08 c GLOBAL bounds - >= -14329184 @ 0.039193
0.07/0.10 c GLOBAL bounds - >= -14329184 @ 0.056949
0.07/0.13 c GLOBAL bounds - >= -14329184 @ 0.074715
0.07/0.16 c GLOBAL bounds - >= -14329184 @ 0.087467
0.07/0.19 c GLOBAL bounds - >= -14329184 @ 0.103084
0.18/0.22 c GLOBAL bounds - >= -14329184 @ 0.125101
0.18/0.24 c GLOBAL bounds - >= -14329184 @ 0.138997
0.18/0.27 c GLOBAL bounds - >= -14329184 @ 0.154657
0.18/0.30 c GLOBAL bounds - >= -14329184 @ 0.169433
0.28/0.33 c GLOBAL bounds - >= -14329184 @ 0.186202
0.28/0.36 c GLOBAL bounds - >= -14329184 @ 0.20196
0.28/0.38 c GLOBAL bounds - >= -14329184 @ 0.216745
0.37/0.41 c GLOBAL bounds - >= -14329184 @ 0.23169
0.37/0.44 c GLOBAL bounds - >= -14329184 @ 0.245362
0.37/0.47 c GLOBAL bounds - >= -14329184 @ 0.260553
0.37/0.49 c GLOBAL bounds - >= -14329184 @ 0.274306
0.48/0.52 c GLOBAL bounds - >= -14329184 @ 0.291366
0.48/0.55 c GLOBAL bounds - >= -14329184 @ 0.310621
0.48/0.58 c GLOBAL bounds - >= -14329184 @ 0.329981
0.57/0.61 c GLOBAL bounds - >= -14329184 @ 0.350294
0.57/0.64 c GLOBAL bounds - >= -14329184 @ 0.369626
0.57/0.66 c GLOBAL bounds - >= -14329184 @ 0.38711
0.57/0.69 c GLOBAL bounds - >= -14329184 @ 0.404367
0.66/0.72 c GLOBAL bounds - >= -14329184 @ 0.423721
0.66/0.75 c GLOBAL bounds - >= -14329184 @ 0.440205
0.66/0.78 c GLOBAL bounds - >= -14329184 @ 0.461492
0.76/0.81 c GLOBAL bounds - >= -14329184 @ 0.477081
0.76/0.84 c GLOBAL bounds - >= -14329184 @ 0.493303
0.76/0.86 c GLOBAL bounds - >= -14329184 @ 0.509994
0.76/0.89 c GLOBAL bounds - >= -14329184 @ 0.5273
0.87/0.92 c GLOBAL bounds - >= -14329184 @ 0.541942
0.87/0.95 c GLOBAL bounds - >= -14329184 @ 0.557444
0.87/0.98 c GLOBAL bounds - >= -14329184 @ 0.573167
0.97/1.01 c GLOBAL bounds - >= -14329184 @ 0.591823
0.97/1.04 c GLOBAL bounds - >= -14329184 @ 0.607685
0.97/1.06 c GLOBAL bounds - >= -14329184 @ 0.629146
0.97/1.09 c GLOBAL bounds - >= -14329184 @ 0.645083
1.07/1.12 c GLOBAL bounds - >= -14329184 @ 0.663786
1.07/1.15 c GLOBAL bounds - >= -14329184 @ 0.68049
1.07/1.18 c GLOBAL bounds - >= -14329184 @ 0.695327
1.17/1.21 c GLOBAL bounds - >= -14329184 @ 0.714981
1.17/1.24 c GLOBAL bounds - >= -14329184 @ 0.732758
1.17/1.27 c GLOBAL bounds - >= -14329184 @ 0.750608
1.17/1.30 c GLOBAL bounds - >= -14329184 @ 0.767458
1.26/1.32 c GLOBAL bounds - >= -14329184 @ 0.7855
1.26/1.35 c GLOBAL bounds - >= -14329184 @ 0.806311
1.26/1.38 c GLOBAL bounds - >= -14329184 @ 0.822181
1.36/1.41 c GLOBAL bounds - >= -14329184 @ 0.839139
1.36/1.44 c GLOBAL bounds - >= -14329184 @ 0.856832
1.36/1.47 c GLOBAL bounds - >= -14329184 @ 0.877824
1.47/1.50 c GLOBAL bounds - >= -14329184 @ 0.893943
1.47/1.53 c GLOBAL bounds - >= -14329184 @ 0.912174
1.47/1.56 c GLOBAL bounds - >= -14329184 @ 0.92812
1.47/1.59 c GLOBAL bounds - >= -14329184 @ 0.948992
1.56/1.62 c GLOBAL bounds - >= -14329184 @ 0.96806
1.56/1.64 c GLOBAL bounds - >= -14329184 @ 0.990164
1.56/1.67 c GLOBAL bounds - >= -14329184 @ 1.00757
1.66/1.70 c GLOBAL bounds - >= -14329184 @ 1.02408
1.66/1.73 c GLOBAL bounds - >= -14329184 @ 1.04332
1.66/1.76 c GLOBAL bounds - >= -14329184 @ 1.06035
1.66/1.79 c GLOBAL bounds - >= -14329184 @ 1.07652
1.76/1.82 c GLOBAL bounds - >= -14329184 @ 1.08958
1.76/1.85 c GLOBAL bounds - >= -14329184 @ 1.10876
1.76/1.88 c GLOBAL bounds - >= -14329184 @ 1.12454
1.86/1.91 c GLOBAL bounds - >= -14329184 @ 1.14036
1.86/1.94 c GLOBAL bounds - >= -14329184 @ 1.15913
1.86/1.97 c GLOBAL bounds - >= -14329184 @ 1.17213
1.86/1.99 c GLOBAL bounds - >= -14329184 @ 1.18908
1.97/2.02 c GLOBAL bounds - >= -14329184 @ 1.20626
1.97/2.05 c GLOBAL bounds - >= -14329184 @ 1.22336
1.97/2.08 c GLOBAL bounds - >= -14329184 @ 1.23928
2.06/2.11 c GLOBAL bounds - >= -14329184 @ 1.25728
2.06/2.14 c GLOBAL bounds - >= -14329184 @ 1.27534
2.06/2.17 c GLOBAL bounds - >= -14329184 @ 1.29373
2.16/2.20 c GLOBAL bounds - >= -14329184 @ 1.31017
2.16/2.23 c GLOBAL bounds - >= -14329184 @ 1.33061
2.16/2.26 c GLOBAL bounds - >= -14329184 @ 1.34409
2.16/2.29 c GLOBAL bounds - >= -14329184 @ 1.36452
2.26/2.32 c GLOBAL bounds - >= -14329184 @ 1.38209
2.26/2.35 c GLOBAL bounds - >= -14329184 @ 1.39905
2.26/2.38 c GLOBAL bounds - >= -14329184 @ 1.4179
2.37/2.41 c GLOBAL bounds - >= -14329184 @ 1.43958
2.37/2.44 c GLOBAL bounds - >= -14329184 @ 1.45439
2.37/2.47 c GLOBAL bounds - >= -14329184 @ 1.471
2.46/2.50 c GLOBAL bounds - >= -14329184 @ 1.49128
2.46/2.53 c GLOBAL bounds - >= -14329184 @ 1.50902
2.46/2.56 c GLOBAL bounds - >= -14329184 @ 1.52895
2.46/2.59 c GLOBAL bounds - >= -14329184 @ 1.54493
2.56/2.62 c GLOBAL bounds - >= -14329184 @ 1.55923
2.56/2.64 c GLOBAL bounds - >= -14329184 @ 1.57485
2.56/2.67 c GLOBAL bounds - >= -14329184 @ 1.58946
2.66/2.70 c GLOBAL bounds - >= -14329184 @ 1.60539
2.66/2.73 c GLOBAL bounds - >= -14329184 @ 1.62241
2.66/2.77 c GLOBAL bounds - >= -14329184 @ 1.64096
2.66/2.80 c GLOBAL bounds - >= -14329184 @ 1.66289
2.76/2.83 c GLOBAL bounds - >= -14329184 @ 1.68245
2.76/2.86 c GLOBAL bounds - >= -14329184 @ 1.69786
2.76/2.89 c GLOBAL bounds - >= -14329184 @ 1.71314
2.86/2.92 c GLOBAL bounds - >= -14329184 @ 1.73102
2.86/2.95 c GLOBAL bounds - >= -14329184 @ 1.74995
2.86/2.98 c GLOBAL bounds - >= -14329184 @ 1.77102
2.97/3.01 c GLOBAL bounds - >= -14329184 @ 1.78832
2.97/3.04 c GLOBAL bounds - >= -14329184 @ 1.80771
2.97/3.07 c GLOBAL bounds - >= -14329184 @ 1.82823
2.97/3.10 c GLOBAL bounds - >= -14329184 @ 1.84254
3.06/3.13 c GLOBAL bounds - >= -14329184 @ 1.85821
3.06/3.16 c GLOBAL bounds - >= -14329184 @ 1.8734
3.06/3.19 c GLOBAL bounds - >= -14329184 @ 1.88974
3.16/3.22 c GLOBAL bounds - >= -14329184 @ 1.90621
3.16/3.25 c GLOBAL bounds - >= -14329184 @ 1.91973
3.16/3.28 c GLOBAL bounds - >= -14329184 @ 1.93329
3.26/3.31 c GLOBAL bounds - >= -14329184 @ 1.9511
3.26/3.34 c GLOBAL bounds - >= -14329184 @ 1.96687
3.26/3.37 c GLOBAL bounds - >= -14329184 @ 1.9822
3.36/3.40 c GLOBAL bounds - >= -14329184 @ 2.00156
3.36/3.43 c GLOBAL bounds - >= -14329184 @ 2.01909
3.36/3.47 c GLOBAL bounds - >= -14329184 @ 2.04366
3.46/3.50 c GLOBAL bounds - >= -14329184 @ 2.06435
3.46/3.53 c GLOBAL bounds - >= -14329184 @ 2.08356
3.46/3.56 c GLOBAL bounds - >= -14329184 @ 2.10541
3.46/3.59 c GLOBAL bounds - >= -14329184 @ 2.12535
3.55/3.62 c GLOBAL bounds - >= -14329184 @ 2.14751
3.55/3.65 c GLOBAL bounds - >= -14329184 @ 2.1669
3.55/3.68 c GLOBAL bounds - >= -14329184 @ 2.18773
3.66/3.71 c GLOBAL bounds - >= -14329184 @ 2.21152
3.66/3.74 c GLOBAL bounds - >= -14329184 @ 2.22943
3.66/3.78 c GLOBAL bounds - >= -14329184 @ 2.24852
3.75/3.81 c GLOBAL bounds - >= -14329184 @ 2.26559
3.75/3.84 c GLOBAL bounds - >= -14329184 @ 2.28482
3.75/3.87 c GLOBAL bounds - >= -14329184 @ 2.30185
3.85/3.90 c GLOBAL bounds - >= -14329184 @ 2.32191
3.85/3.93 c GLOBAL bounds - >= -14329184 @ 2.33841
3.85/3.96 c GLOBAL bounds - >= -14329184 @ 2.35687
3.85/3.99 c GLOBAL bounds - >= -14329184 @ 2.37525
3.97/4.03 c GLOBAL bounds - >= -14329184 @ 2.39661
3.97/4.06 c GLOBAL bounds - >= -14329184 @ 2.41401
3.97/4.09 c GLOBAL bounds - >= -14329184 @ 2.43302
4.06/4.12 c GLOBAL bounds - >= -14329184 @ 2.45193
4.06/4.16 c GLOBAL bounds - >= -14329184 @ 2.47108
4.06/4.19 c GLOBAL bounds - >= -14329184 @ 2.49416
4.15/4.22 c GLOBAL bounds - >= -14329184 @ 2.50773
4.15/4.25 c GLOBAL bounds - >= -14329184 @ 2.52455
4.15/4.28 c GLOBAL bounds - >= -14329184 @ 2.54328
4.25/4.31 c GLOBAL bounds - >= -14329184 @ 2.56203
4.25/4.35 c GLOBAL bounds - >= -14329184 @ 2.58195
4.25/4.38 c GLOBAL bounds - >= -14329184 @ 2.60082
4.35/4.41 c GLOBAL bounds - >= -14329184 @ 2.61971
4.35/4.44 c GLOBAL bounds - >= -14329184 @ 2.64122
4.35/4.48 c GLOBAL bounds - >= -14329184 @ 2.66228
4.46/4.51 c GLOBAL bounds - >= -14329184 @ 2.68243
4.46/4.54 c GLOBAL bounds - >= -14329184 @ 2.69993
4.46/4.57 c GLOBAL bounds - >= -14329184 @ 2.72201
4.56/4.60 c GLOBAL bounds - >= -14329184 @ 2.73999
4.56/4.64 c GLOBAL bounds - >= -14329184 @ 2.7589
4.56/4.67 c GLOBAL bounds - >= -14329184 @ 2.78335
4.65/4.70 c GLOBAL bounds - >= -14329184 @ 2.80159
4.65/4.73 c GLOBAL bounds - >= -14329184 @ 2.8184
4.65/4.77 c GLOBAL bounds - >= -14329184 @ 2.8346
4.76/4.80 c GLOBAL bounds - >= -14329184 @ 2.8533
4.76/4.83 c GLOBAL bounds - >= -14329184 @ 2.87056
4.76/4.86 c GLOBAL bounds - >= -14329184 @ 2.89258
4.86/4.90 c GLOBAL bounds - >= -14329184 @ 2.91427
4.86/4.93 c GLOBAL bounds - >= -14329184 @ 2.93401
4.86/4.96 c GLOBAL bounds - >= -14329184 @ 2.95308
4.86/5.00 c GLOBAL bounds - >= -14329184 @ 2.97577
4.95/5.03 c GLOBAL bounds - >= -14329184 @ 2.9975
4.95/5.06 c GLOBAL bounds - >= -14329184 @ 3.0204
4.95/5.09 c GLOBAL bounds - >= -14329184 @ 3.04129
5.06/5.13 c GLOBAL bounds - >= -14329184 @ 3.06291
5.06/5.16 c GLOBAL bounds - >= -14329184 @ 3.08456
5.06/5.19 c GLOBAL bounds - >= -14329184 @ 3.10456
5.15/5.23 c GLOBAL bounds - >= -14329184 @ 3.12608
5.15/5.26 c GLOBAL bounds - >= -14329184 @ 3.14689
5.15/5.29 c GLOBAL bounds - >= -14329184 @ 3.16641
5.25/5.32 c GLOBAL bounds - >= -14329184 @ 3.18508
5.25/5.36 c GLOBAL bounds - >= -14329184 @ 3.20932
5.25/5.39 c GLOBAL bounds - >= -14329184 @ 3.22928
5.36/5.42 c GLOBAL bounds - >= -14329184 @ 3.25284
5.36/5.46 c GLOBAL bounds - >= -14329184 @ 3.27397
5.36/5.49 c GLOBAL bounds - >= -14329184 @ 3.29787
5.45/5.52 c GLOBAL bounds - >= -14329184 @ 3.31694
5.45/5.56 c GLOBAL bounds - >= -14329184 @ 3.33426
5.45/5.59 c GLOBAL bounds - >= -14329184 @ 3.35855
5.55/5.62 c GLOBAL bounds - >= -14329184 @ 3.37899
5.55/5.66 c GLOBAL bounds - >= -14329184 @ 3.40257
5.55/5.69 c GLOBAL bounds - >= -14329184 @ 3.42406
5.65/5.73 c GLOBAL bounds - >= -14329184 @ 3.44382
5.65/5.76 c GLOBAL bounds - >= -14329184 @ 3.46442
5.65/5.79 c GLOBAL bounds - >= -14329184 @ 3.49172
5.75/5.83 c GLOBAL bounds - >= -14329184 @ 3.51202
5.75/5.86 c GLOBAL bounds - >= -14329184 @ 3.53241
5.75/5.89 c GLOBAL bounds - >= -14329184 @ 3.55379
5.85/5.93 c GLOBAL bounds - >= -14329184 @ 3.57254
5.85/5.96 c GLOBAL bounds - >= -14329184 @ 3.59453
5.85/5.99 c GLOBAL bounds - >= -14329184 @ 3.61735
5.96/6.03 c GLOBAL bounds - >= -14329184 @ 3.64225
5.96/6.06 c GLOBAL bounds - >= -14329184 @ 3.6664
5.96/6.10 c GLOBAL bounds - >= -14329184 @ 3.68804
6.06/6.13 c GLOBAL bounds - >= -14329184 @ 3.70799
6.06/6.16 c GLOBAL bounds - >= -14329184 @ 3.72812
6.15/6.20 c GLOBAL bounds - >= -14329184 @ 3.75299
6.15/6.23 c GLOBAL bounds - >= -14329184 @ 3.7799
6.15/6.27 c GLOBAL bounds - >= -14329184 @ 3.80024
6.25/6.30 c GLOBAL bounds - >= -14329184 @ 3.82138
6.25/6.33 c GLOBAL bounds - >= -14329184 @ 3.84556
6.25/6.37 c GLOBAL bounds - >= -14329184 @ 3.86683
6.35/6.47 c GLOBAL bounds - >= -14329184 @ 3.95209
6.65/6.76 c GLOBAL bounds - >= -14329184 @ 4.22388
6.75/6.80 c GLOBAL bounds - >= -14329184 @ 4.2503
6.75/6.87 c GLOBAL bounds - >= -14329184 @ 4.30745
6.85/6.93 c GLOBAL bounds - >= -14329184 @ 4.35428
6.95/7.07 c GLOBAL bounds - >= -14329184 @ 4.47407
7.06/7.17 c GLOBAL bounds - >= -14329184 @ 4.5596
7.15/7.28 c GLOBAL bounds - >= -14329184 @ 4.65095
7.24/7.32 c GLOBAL bounds - >= -14329184 @ 4.68088
7.45/7.55 c GLOBAL bounds - >= -14329184 @ 4.88503
7.45/7.59 c GLOBAL bounds - >= -14329184 @ 4.91809
7.65/7.72 c GLOBAL bounds - >= -14329184 @ 5.02618
7.65/7.77 c GLOBAL bounds - >= -14329184 @ 5.05553
7.75/7.84 c GLOBAL bounds - >= -14329184 @ 5.11213
7.85/7.92 c GLOBAL bounds - >= -14329184 @ 5.18394
7.95/8.05 c GLOBAL bounds - >= -14329184 @ 5.30024
8.05/8.11 c GLOBAL bounds - >= -14329184 @ 5.33965
8.24/8.30 c GLOBAL bounds - >= -14329184 @ 5.51105
8.24/8.36 c GLOBAL bounds - >= -14329184 @ 5.56305
8.35/8.48 c GLOBAL bounds - >= -14329184 @ 5.66857
8.44/8.53 c GLOBAL bounds - >= -14329184 @ 5.70173
8.54/8.64 c GLOBAL bounds - >= -14329184 @ 5.79751
8.54/8.68 c GLOBAL bounds - >= -14329184 @ 5.82674
8.74/8.81 c GLOBAL bounds - >= -14329184 @ 5.93972
9.05/9.12 c GLOBAL bounds - >= -14329184 @ 6.22584
9.14/9.29 c GLOBAL bounds - >= -14329184 @ 6.37493
9.24/9.39 c GLOBAL bounds - >= -14329184 @ 6.46525
9.44/9.52 c GLOBAL bounds - >= -14329184 @ 6.5693
9.54/9.65 c GLOBAL bounds - >= -14329184 @ 6.67409
9.54/9.69 c GLOBAL bounds - >= -14329184 @ 6.70611
9.64/9.74 c GLOBAL bounds - >= -14329184 @ 6.73945
9.64/9.79 c GLOBAL bounds - >= -14329184 @ 6.77295
9.74/9.83 c GLOBAL bounds - >= -14329184 @ 6.80187
9.95/10.02 c GLOBAL bounds - >= -14329184 @ 6.97228
9.95/10.07 c GLOBAL bounds - >= -14329184 @ 7.00287
13.33/13.44 c GLOBAL bounds - >= -14329184 @ 10.2732
13.33/13.49 c GLOBAL bounds - >= -14329184 @ 10.3151
13.94/14.02 c GLOBAL bounds - >= -14329184 @ 10.8321
13.94/14.07 c GLOBAL bounds - >= -14329184 @ 10.8696
14.03/14.13 c GLOBAL bounds - >= -14329184 @ 10.9106
14.03/14.18 c GLOBAL bounds - >= -14329184 @ 10.9507
14.13/14.23 c GLOBAL bounds - >= -14329184 @ 10.9904
14.13/14.28 c GLOBAL bounds - >= -14329184 @ 11.0266
14.33/14.44 c GLOBAL bounds - >= -14329184 @ 11.1676
14.43/14.59 c GLOBAL bounds - >= -14329184 @ 11.3035
14.62/14.70 c GLOBAL bounds - >= -14329184 @ 11.3932
14.62/14.75 c GLOBAL bounds - >= -14329184 @ 11.4346
14.73/14.87 c GLOBAL bounds - >= -14329184 @ 11.5395
14.83/14.93 c GLOBAL bounds - >= -14329184 @ 11.5829
14.83/14.98 c GLOBAL bounds - >= -14329184 @ 11.6295
14.93/15.04 c GLOBAL bounds - >= -14329184 @ 11.6713
14.93/15.09 c GLOBAL bounds - >= -14329184 @ 11.7161
15.03/15.15 c GLOBAL bounds - >= -14329184 @ 11.7566
15.13/15.20 c GLOBAL bounds - >= -14329184 @ 11.7975
15.13/15.26 c GLOBAL bounds - >= -14329184 @ 11.8403
15.23/15.31 c GLOBAL bounds - >= -14329184 @ 11.8771
15.23/15.36 c GLOBAL bounds - >= -14329184 @ 11.917
15.32/15.42 c GLOBAL bounds - >= -14329184 @ 11.9582
15.32/15.47 c GLOBAL bounds - >= -14329184 @ 12.002
15.42/15.53 c GLOBAL bounds - >= -14329184 @ 12.0469
15.42/15.58 c GLOBAL bounds - >= -14329184 @ 12.0912
15.52/15.63 c GLOBAL bounds - >= -14329184 @ 12.1337
15.52/15.69 c GLOBAL bounds - >= -14329184 @ 12.1717
15.62/15.74 c GLOBAL bounds - >= -14329184 @ 12.2123
15.73/15.80 c GLOBAL bounds - >= -14329184 @ 12.2529
15.73/15.85 c GLOBAL bounds - >= -14329184 @ 12.294
15.82/15.91 c GLOBAL bounds - >= -14329184 @ 12.3408
15.82/15.96 c GLOBAL bounds - >= -14329184 @ 12.3837
15.93/16.02 c GLOBAL bounds - >= -14329184 @ 12.4219
15.93/16.07 c GLOBAL bounds - >= -14329184 @ 12.4668
16.03/16.13 c GLOBAL bounds - >= -14329184 @ 12.5077
17.62/17.70 c GLOBAL bounds - >= -14329184 @ 14.026
57.10/57.39 c #Conflicts: 1000 | #Constraints: 1555
57.10/57.39 c GLOBAL bounds - >= -14329184 @ 53.1557
63.48/63.75 c GLOBAL bounds - >= -14329184 @ 59.4505
68.37/68.62 c #Conflicts: 2000 | #Constraints: 2559
68.37/68.62 c INPROCESSING
68.37/68.62 c GARBAGE COLLECT
68.37/68.62 c GLOBAL bounds - >= -14329184 @ 64.2712
68.37/68.68 c GLOBAL bounds - >= -14329184 @ 64.324
68.48/68.75 c GLOBAL bounds - >= -14329184 @ 64.373
68.57/68.81 c GLOBAL bounds - >= -14329184 @ 64.4172
68.57/68.87 c GLOBAL bounds - >= -14329184 @ 64.4622
68.67/68.93 c GLOBAL bounds - >= -14329184 @ 64.5082
68.67/68.99 c GLOBAL bounds - >= -14329184 @ 64.5567
68.78/69.05 c GLOBAL bounds - >= -14329184 @ 64.606
68.88/69.11 c GLOBAL bounds - >= -14329184 @ 64.6477
68.88/69.17 c GLOBAL bounds - >= -14329184 @ 64.6986
68.97/69.23 c GLOBAL bounds - >= -14329184 @ 64.7459
68.97/69.29 c GLOBAL bounds - >= -14329184 @ 64.7902
69.07/69.35 c GLOBAL bounds - >= -14329184 @ 64.8382
69.17/69.41 c GLOBAL bounds - >= -14329184 @ 64.8851
69.17/69.47 c GLOBAL bounds - >= -14329184 @ 64.9332
69.26/69.53 c GLOBAL bounds - >= -14329184 @ 64.9806
69.26/69.59 c GLOBAL bounds - >= -14329184 @ 65.0266
69.37/69.65 c GLOBAL bounds - >= -14329184 @ 65.0728
69.47/69.71 c GLOBAL bounds - >= -14329184 @ 65.1222
69.47/69.77 c GLOBAL bounds - >= -14329184 @ 65.1667
69.57/69.84 c GLOBAL bounds - >= -14329184 @ 65.212
69.67/69.90 c GLOBAL bounds - >= -14329184 @ 65.258
69.67/69.96 c GLOBAL bounds - >= -14329184 @ 65.3067
69.77/70.02 c GLOBAL bounds - >= -14329184 @ 65.3585
69.77/70.09 c GLOBAL bounds - >= -14329184 @ 65.4108
69.87/70.15 c GLOBAL bounds - >= -14329184 @ 65.4613
69.97/70.22 c GLOBAL bounds - >= -14329184 @ 65.5124
69.97/70.28 c GLOBAL bounds - >= -14329184 @ 65.5633
70.07/70.34 c GLOBAL bounds - >= -14329184 @ 65.616
70.17/70.41 c GLOBAL bounds - >= -14329184 @ 65.6667
70.17/70.47 c GLOBAL bounds - >= -14329184 @ 65.7189
70.26/70.54 c GLOBAL bounds - >= -14329184 @ 65.772
70.37/70.61 c GLOBAL bounds - >= -14329184 @ 65.8225
70.37/70.67 c GLOBAL bounds - >= -14329184 @ 65.877
70.46/70.74 c GLOBAL bounds - >= -14329184 @ 65.9281
70.57/70.80 c GLOBAL bounds - >= -14329184 @ 65.9769
70.57/70.87 c GLOBAL bounds - >= -14329184 @ 66.0293
70.67/70.94 c GLOBAL bounds - >= -14329184 @ 66.0815
70.77/71.00 c GLOBAL bounds - >= -14329184 @ 66.1364
70.77/71.07 c GLOBAL bounds - >= -14329184 @ 66.1901
70.87/71.14 c GLOBAL bounds - >= -14329184 @ 66.2476
70.96/71.21 c GLOBAL bounds - >= -14329184 @ 66.304
70.96/71.27 c GLOBAL bounds - >= -14329184 @ 66.3566
71.07/71.34 c GLOBAL bounds - >= -14329184 @ 66.4173
71.16/71.41 c GLOBAL bounds - >= -14329184 @ 66.4775
71.16/71.48 c GLOBAL bounds - >= -14329184 @ 66.5354
71.26/71.55 c GLOBAL bounds - >= -14329184 @ 66.592
71.36/71.62 c GLOBAL bounds - >= -14329184 @ 66.6483
71.36/71.69 c GLOBAL bounds - >= -14329184 @ 66.7023
71.46/71.75 c GLOBAL bounds - >= -14329184 @ 66.7553
71.56/71.82 c GLOBAL bounds - >= -14329184 @ 66.8138
71.56/71.89 c GLOBAL bounds - >= -14329184 @ 66.8712
71.66/71.96 c GLOBAL bounds - >= -14329184 @ 66.9291
71.77/72.03 c GLOBAL bounds - >= -14329184 @ 66.9833
71.86/72.10 c GLOBAL bounds - >= -14329184 @ 67.0397
71.86/72.18 c GLOBAL bounds - >= -14329184 @ 67.0944
71.96/72.25 c GLOBAL bounds - >= -14329184 @ 67.1502
72.06/72.32 c GLOBAL bounds - >= -14329184 @ 67.2079
72.06/72.39 c GLOBAL bounds - >= -14329184 @ 67.2664
72.76/73.01 c GLOBAL bounds - >= -14329184 @ 67.8646
72.86/73.18 c GLOBAL bounds - >= -14329184 @ 68.0243
73.36/73.67 c GLOBAL bounds - >= -14329184 @ 68.5013
82.83/83.19 c GLOBAL bounds - >= -14329184 @ 77.9468
98.98/99.33 c GLOBAL bounds - >= -14329184 @ 93.9863
99.28/99.69 c GLOBAL bounds - >= -14329184 @ 94.339
303.98/304.95 c #Conflicts: 3000 | #Constraints: 2702
303.98/304.95 c #Conflicts: 4000 | #Constraints: 3702
303.98/304.95 c INPROCESSING
303.98/304.95 c GARBAGE COLLECT
303.98/304.95 c #Conflicts: 5000 | #Constraints: 3105
303.98/304.95 c #Conflicts: 6000 | #Constraints: 4105
303.98/304.95 c GLOBAL bounds - >= -14329184 @ 297.918
304.09/305.02 c GLOBAL bounds - >= -14329184 @ 297.983
304.09/305.10 c GLOBAL bounds - >= -14329184 @ 298.041
304.19/305.17 c GLOBAL bounds - >= -14329184 @ 298.099
304.28/305.28 c GLOBAL bounds - >= -14329184 @ 298.192
304.49/305.42 c GLOBAL bounds - >= -14329184 @ 298.326
305.48/306.49 c GLOBAL bounds - >= -14329184 @ 299.378
305.67/306.64 c GLOBAL bounds - >= -14329184 @ 299.516
305.88/306.80 c GLOBAL bounds - >= -14329184 @ 299.655
305.98/306.94 c GLOBAL bounds - >= -14329184 @ 299.782
306.08/307.08 c GLOBAL bounds - >= -14329184 @ 299.916
306.28/307.22 c GLOBAL bounds - >= -14329184 @ 300.046
306.38/307.37 c GLOBAL bounds - >= -14329184 @ 300.176
414.15/415.43 c INPROCESSING
414.15/415.43 c GARBAGE COLLECT
414.15/415.43 c #Conflicts: 7000 | #Constraints: 3129
414.15/415.43 c GLOBAL bounds - >= -14329184 @ 407.5
414.36/415.64 c GLOBAL bounds - >= -14329184 @ 407.701
492.03/493.52 c #Conflicts: 8000 | #Constraints: 4133
492.03/493.52 c GLOBAL bounds - >= -14329184 @ 484.851
492.22/493.78 c GLOBAL bounds - >= -14329184 @ 485.09
542.58/544.29 c #Conflicts: 9000 | #Constraints: 5137
542.58/544.29 c INPROCESSING
542.58/544.29 c GARBAGE COLLECT
542.58/544.29 c GLOBAL bounds - >= -14329184 @ 535.225
542.78/544.44 c GLOBAL bounds - >= -14329184 @ 535.361
542.88/544.58 c GLOBAL bounds - >= -14329184 @ 535.487
547.27/548.97 c GLOBAL bounds - >= -14329184 @ 539.831
578.28/580.04 c #Conflicts: 10000 | #Constraints: 3845
578.28/580.04 c GLOBAL bounds - >= -14329184 @ 570.703
633.61/635.51 c #Conflicts: 11000 | #Constraints: 4847
633.61/635.51 c GLOBAL bounds - >= -14329184 @ 625.853
633.71/635.68 c GLOBAL bounds - >= -14329184 @ 626.011
634.01/635.94 c GLOBAL bounds - >= -14329184 @ 626.258
634.22/636.13 c GLOBAL bounds - >= -14329184 @ 626.436
634.31/636.29 c GLOBAL bounds - >= -14329184 @ 626.583
634.51/636.45 c GLOBAL bounds - >= -14329184 @ 626.746
634.70/636.61 c GLOBAL bounds - >= -14329184 @ 626.889
634.81/636.78 c GLOBAL bounds - >= -14329184 @ 627.051
635.00/636.94 c GLOBAL bounds - >= -14329184 @ 627.197
643.38/645.39 c GLOBAL bounds - >= -14329184 @ 635.571
643.68/645.62 c GLOBAL bounds - >= -14329184 @ 635.79
643.78/645.76 c GLOBAL bounds - >= -14329184 @ 635.914
643.98/645.90 c GLOBAL bounds - >= -14329184 @ 636.033
644.09/646.03 c GLOBAL bounds - >= -14329184 @ 636.15
644.19/646.16 c GLOBAL bounds - >= -14329184 @ 636.273
644.37/646.30 c GLOBAL bounds - >= -14329184 @ 636.392
644.48/646.43 c GLOBAL bounds - >= -14329184 @ 636.513
644.57/646.57 c GLOBAL bounds - >= -14329184 @ 636.633
644.78/646.71 c GLOBAL bounds - >= -14329184 @ 636.751
644.87/646.85 c GLOBAL bounds - >= -14329184 @ 636.876
644.98/646.98 c GLOBAL bounds - >= -14329184 @ 637.002
645.18/647.12 c GLOBAL bounds - >= -14329184 @ 637.128
645.27/647.26 c GLOBAL bounds - >= -14329184 @ 637.256
645.48/647.40 c GLOBAL bounds - >= -14329184 @ 637.38
645.57/647.55 c GLOBAL bounds - >= -14329184 @ 637.507
645.67/647.69 c GLOBAL bounds - >= -14329184 @ 637.637
645.87/647.83 c GLOBAL bounds - >= -14329184 @ 637.765
645.97/647.98 c GLOBAL bounds - >= -14329184 @ 637.898
646.28/648.23 c GLOBAL bounds - >= -14329184 @ 638.131
646.47/648.43 c GLOBAL bounds - >= -14329184 @ 638.316
647.46/649.43 c GLOBAL bounds - >= -14329184 @ 639.306
647.67/649.62 c GLOBAL bounds - >= -14329184 @ 639.484
647.87/649.80 c GLOBAL bounds - >= -14329184 @ 639.654
647.97/649.99 c GLOBAL bounds - >= -14329184 @ 639.823
648.86/650.82 c GLOBAL bounds - >= -14329184 @ 640.638
757.45/759.72 c #Conflicts: 12000 | #Constraints: 5917
757.45/759.72 c INPROCESSING
757.45/759.72 c GARBAGE COLLECT
757.45/759.72 c GLOBAL bounds - >= -14329184 @ 748.81
827.14/829.65 c #Conflicts: 13000 | #Constraints: 4367
827.14/829.65 c GLOBAL bounds - >= -14329184 @ 818.337
827.34/829.87 c GLOBAL bounds - >= -14329184 @ 818.538
827.54/830.08 c GLOBAL bounds - >= -14329184 @ 818.731
827.73/830.28 c GLOBAL bounds - >= -14329184 @ 818.925
827.93/830.49 c GLOBAL bounds - >= -14329184 @ 819.124
828.34/830.84 c GLOBAL bounds - >= -14329184 @ 819.45
1460.48/1464.52 c #Conflicts: 14000 | #Constraints: 5379
1460.48/1464.52 c #Conflicts: 15000 | #Constraints: 6379
1460.48/1464.52 c INPROCESSING
1460.48/1464.52 c GARBAGE COLLECT
1460.48/1464.52 c #Conflicts: 16000 | #Constraints: 4613
1460.48/1464.52 c #Conflicts: 17000 | #Constraints: 5613
1460.48/1464.52 c #Conflicts: 18000 | #Constraints: 6613
1460.48/1464.52 c INPROCESSING
1460.48/1464.52 c GARBAGE COLLECT
1460.48/1464.52 c #Conflicts: 19000 | #Constraints: 4628
1460.48/1464.52 c #Conflicts: 20000 | #Constraints: 5628
1460.48/1464.52 c #Conflicts: 21000 | #Constraints: 6628
1460.48/1464.52 c GLOBAL bounds - >= -14329184 @ 1449.84
1460.67/1464.77 c GLOBAL bounds - >= -14329184 @ 1450.07
1464.46/1468.56 c GLOBAL bounds - >= -14329184 @ 1453.85
1616.10/1620.58 c INPROCESSING
1616.10/1620.58 c GARBAGE COLLECT
1616.10/1620.58 c #Conflicts: 22000 | #Constraints: 4439
1616.10/1620.58 c GLOBAL bounds - >= -14329184 @ 1605.06
1616.30/1620.79 c GLOBAL bounds - >= -14329184 @ 1605.25
1616.61/1621.00 c GLOBAL bounds - >= -14329184 @ 1605.45
1616.80/1621.21 c GLOBAL bounds - >= -14329184 @ 1605.65
1617.10/1621.57 c GLOBAL bounds - >= -14329184 @ 1605.99
1619.39/1623.81 c GLOBAL bounds - >= -14329184 @ 1608.21
1619.59/1624.04 c GLOBAL bounds - >= -14329184 @ 1608.43
1619.90/1624.30 c GLOBAL bounds - >= -14329184 @ 1608.68
1911.90/1917.10 c #Conflicts: 23000 | #Constraints: 5455
1911.90/1917.10 c #Conflicts: 24000 | #Constraints: 6455
1911.90/1917.10 c #Conflicts: 25000 | #Constraints: 7455
1911.90/1917.10 c INPROCESSING
1911.90/1917.10 c GARBAGE COLLECT
1911.90/1917.10 c GLOBAL bounds - >= -14329184 @ 1900.28
1912.08/1917.21 c GLOBAL bounds - >= -14329184 @ 1900.38
1912.08/1917.29 c GLOBAL bounds - >= -14329184 @ 1900.45
1912.19/1917.38 c GLOBAL bounds - >= -14329184 @ 1900.53
1912.29/1917.46 c GLOBAL bounds - >= -14329184 @ 1900.6
1912.38/1917.55 c GLOBAL bounds - >= -14329184 @ 1900.67
1912.48/1917.63 c GLOBAL bounds - >= -14329184 @ 1900.74
1912.59/1917.72 c GLOBAL bounds - >= -14329184 @ 1900.82
1912.69/1917.81 c GLOBAL bounds - >= -14329184 @ 1900.9
1912.79/1917.90 c GLOBAL bounds - >= -14329184 @ 1900.98
1912.79/1917.99 c GLOBAL bounds - >= -14329184 @ 1901.05
1912.89/1918.08 c GLOBAL bounds - >= -14329184 @ 1901.14
1912.99/1918.18 c GLOBAL bounds - >= -14329184 @ 1901.22
1913.09/1918.27 c GLOBAL bounds - >= -14329184 @ 1901.3
1913.19/1918.36 c GLOBAL bounds - >= -14329184 @ 1901.39
1913.29/1918.46 c GLOBAL bounds - >= -14329184 @ 1901.47
1913.39/1918.56 c GLOBAL bounds - >= -14329184 @ 1901.56
1913.48/1918.65 c GLOBAL bounds - >= -14329184 @ 1901.64
1913.59/1918.75 c GLOBAL bounds - >= -14329184 @ 1901.73
1913.69/1918.85 c GLOBAL bounds - >= -14329184 @ 1901.82
1913.79/1918.95 c GLOBAL bounds - >= -14329184 @ 1901.91
1913.89/1919.05 c GLOBAL bounds - >= -14329184 @ 1902
1913.99/1919.15 c GLOBAL bounds - >= -14329184 @ 1902.08
1914.08/1919.25 c GLOBAL bounds - >= -14329184 @ 1902.17
1914.18/1919.35 c GLOBAL bounds - >= -14329184 @ 1902.26
1914.29/1919.46 c GLOBAL bounds - >= -14329184 @ 1902.36
1914.39/1919.56 c GLOBAL bounds - >= -14329184 @ 1902.45
1914.48/1919.67 c GLOBAL bounds - >= -14329184 @ 1902.54
1914.58/1919.77 c GLOBAL bounds - >= -14329184 @ 1902.63
1914.68/1919.88 c GLOBAL bounds - >= -14329184 @ 1902.72
1914.78/1919.98 c GLOBAL bounds - >= -14329184 @ 1902.82
1914.88/1920.09 c GLOBAL bounds - >= -14329184 @ 1902.92
1915.08/1920.20 c GLOBAL bounds - >= -14329184 @ 1903.01
1915.18/1920.31 c GLOBAL bounds - >= -14329184 @ 1903.11
1915.28/1920.42 c GLOBAL bounds - >= -14329184 @ 1903.2
1915.38/1920.53 c GLOBAL bounds - >= -14329184 @ 1903.3
1915.48/1920.64 c GLOBAL bounds - >= -14329184 @ 1903.4
1915.58/1920.75 c GLOBAL bounds - >= -14329184 @ 1903.5
1915.68/1920.86 c GLOBAL bounds - >= -14329184 @ 1903.6
1915.78/1920.98 c GLOBAL bounds - >= -14329184 @ 1903.7
1915.89/1921.09 c GLOBAL bounds - >= -14329184 @ 1903.8
1916.08/1921.20 c GLOBAL bounds - >= -14329184 @ 1903.9
1916.18/1921.32 c GLOBAL bounds - >= -14329184 @ 1904
1916.28/1921.43 c GLOBAL bounds - >= -14329184 @ 1904.1
1916.38/1921.55 c GLOBAL bounds - >= -14329184 @ 1904.21
1916.48/1921.67 c GLOBAL bounds - >= -14329184 @ 1904.31
1916.58/1921.79 c GLOBAL bounds - >= -14329184 @ 1904.42
1916.78/1921.91 c GLOBAL bounds - >= -14329184 @ 1904.52
1916.88/1922.02 c GLOBAL bounds - >= -14329184 @ 1904.63
1916.98/1922.14 c GLOBAL bounds - >= -14329184 @ 1904.74
1917.08/1922.26 c GLOBAL bounds - >= -14329184 @ 1904.84
1917.17/1922.39 c GLOBAL bounds - >= -14329184 @ 1904.96
1917.38/1922.51 c GLOBAL bounds - >= -14329184 @ 1905.06
1917.48/1922.63 c GLOBAL bounds - >= -14329184 @ 1905.18
1917.58/1922.75 c GLOBAL bounds - >= -14329184 @ 1905.29
1917.68/1922.87 c GLOBAL bounds - >= -14329184 @ 1905.4
1917.77/1923.00 c GLOBAL bounds - >= -14329184 @ 1905.51
1917.98/1923.12 c GLOBAL bounds - >= -14329184 @ 1905.62
1918.08/1923.25 c GLOBAL bounds - >= -14329184 @ 1905.73
1918.27/1923.40 c GLOBAL bounds - >= -14329184 @ 1905.87
1918.77/1923.94 c GLOBAL bounds - >= -14329184 @ 1906.39
2522.41/2529.09 c #Conflicts: 26000 | #Constraints: 5178
2522.41/2529.09 c #Conflicts: 27000 | #Constraints: 6178
2522.41/2529.09 c #Conflicts: 28000 | #Constraints: 7178
2522.41/2529.09 c #Conflicts: 29000 | #Constraints: 8178
2522.41/2529.09 c INPROCESSING
2522.41/2529.09 c GARBAGE COLLECT
2522.41/2529.09 c #Conflicts: 30000 | #Constraints: 5585
2522.41/2529.09 c #Conflicts: 31000 | #Constraints: 6585
2522.41/2529.09 c #Conflicts: 32000 | #Constraints: 7585
2522.41/2529.09 c GLOBAL bounds - >= -14329184 @ 2508.19
2522.70/2529.36 c GLOBAL bounds - >= -14329184 @ 2508.45
2523.00/2529.64 c GLOBAL bounds - >= -14329184 @ 2508.71
2536.57/2543.21 c GLOBAL bounds - >= -14329184 @ 2522.22
2536.87/2543.50 c GLOBAL bounds - >= -14329184 @ 2522.5
2537.07/2543.78 c GLOBAL bounds - >= -14329184 @ 2522.77
2537.47/2544.12 c GLOBAL bounds - >= -14329184 @ 2523.09
3600.08/3609.23 c #Conflicts: 33000 | #Constraints: 8599
3600.08/3609.23 c INPROCESSING
3600.08/3609.23 c GARBAGE COLLECT
3600.08/3609.23 c #Conflicts: 34000 | #Constraints: 5794
3600.08/3609.23 c #Conflicts: 35000 | #Constraints: 6794
3600.08/3609.23 c #Conflicts: 36000 | #Constraints: 7794
3600.08/3609.23 c #Conflicts: 37000 | #Constraints: 8794
3600.08/3609.23 c INPROCESSING
3600.08/3609.23 c GARBAGE COLLECT
3600.08/3609.23 c #Conflicts: 38000 | #Constraints: 5791
3600.08/3609.23 c #Conflicts: 39000 | #Constraints: 6791
3600.08/3609.23 c #Conflicts: 40000 | #Constraints: 7791
3600.08/3609.23 c #Conflicts: 41000 | #Constraints: 8791
3600.08/3609.23 c INPROCESSING
3600.08/3609.23 c GARBAGE COLLECT
3600.08/3609.23 c #Conflicts: 42000 | #Constraints: 5598
3600.08/3609.23 c #Conflicts: 43000 | #Constraints: 6598
3600.08/3609.23 c #Conflicts: 44000 | #Constraints: 7598
3600.08/3609.23 c cpu time 3582.92 s
3600.08/3609.23 c deterministic time 1 1.00e+00
3600.08/3609.23 c optimization time 3582.91 s
3600.08/3609.23 c total solve time 0 s
3600.08/3609.23 c core-guided solve time 0 s
3600.08/3609.23 c propagation time 2e-06 s
3600.08/3609.23 c conflict analysis time 0 s
3600.08/3609.23 c propagations 0
3600.08/3609.23 c resolve steps 0
3600.08/3609.23 c decisions 0
3600.08/3609.23 c conflicts 0
3600.08/3609.23 c restarts 0
3600.08/3609.23 c inprocessing phases 0
3600.08/3609.23 c garbage collections 0 ,( -nan )
3600.08/3609.23 c input clauses 0 ,( 0.00 )
3600.08/3609.23 c input cardinalities 0 ,( 0.00 )
3600.08/3609.23 c input general constraints 1 ,( 100.00 )
3600.08/3609.23 c input average constraint length 20000.00
3600.08/3609.23 c input average constraint degree 9902227.00
3600.08/3609.23 c learned clauses 0 ,( 0.00 )
3600.08/3609.23 c learned cardinalities 0 ,( 0.00 )
3600.08/3609.23 c learned general constraints 0 ,( 0.00 )
3600.08/3609.23 c learned average constraint length 0.00
3600.08/3609.23 c learned average constraint degree 0.00
3600.08/3609.23 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3609.23 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.08/3609.23 c watched constraints 0 ,( 0.00 )
3600.08/3609.23 c counting constraints 1 ,( 100.00 )
3600.08/3609.23 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3609.23 c gcd simplifications 0
3600.08/3609.23 c detected cardinalities 0
3600.08/3609.23 c weakened non-implied lits 0
3600.08/3609.23 c weakened non-implying lits 0
3600.08/3609.23 c original variables 20000
3600.08/3609.23 c clausal propagations 0
3600.08/3609.23 c cardinality propagations 0
3600.08/3609.23 c watched propagations 0
3600.08/3609.23 c counting propagations 0
3600.08/3609.23 c watch lookups 0
3600.08/3609.23 c watch backjump lookups 0
3600.08/3609.23 c watch checks 0
3600.08/3609.23 c propagation checks 0
3600.08/3609.23 c constraint additions 0
3600.08/3609.23 c trail pops 0
3600.08/3609.23 c formula constraints 1
3600.08/3609.23 c learned constraints 0
3600.08/3609.23 c bound constraints 0
3600.08/3609.23 c core-guided constraints 0
3600.08/3609.23 c encountered formula constraints 0
3600.08/3609.23 c encountered learned constraints 0
3600.08/3609.23 c encountered bound constraints 0
3600.08/3609.23 c encountered core-guided constraints 0
3600.08/3609.23 c LP total time 0 s
3600.08/3609.23 c LP solve time 0 s
3600.08/3609.23 c LP constraints added 0
3600.08/3609.23 c LP constraints removed 0
3600.08/3609.23 c LP pivots internal 0
3600.08/3609.23 c LP pivots root 0
3600.08/3609.23 c LP calls 0
3600.08/3609.23 c LP optimalities 0
3600.08/3609.23 c LP no pivot count 0
3600.08/3609.23 c LP infeasibilities 0
3600.08/3609.23 c LP valid Farkas constraints 0
3600.08/3609.23 c LP learned Farkas constraints 0
3600.08/3609.23 c LP basis resets 0
3600.08/3609.23 c LP cycling count 0
3600.08/3609.23 c LP singular count 0
3600.08/3609.23 c LP no primal count 0
3600.08/3609.23 c LP no farkas count 0
3600.08/3609.23 c LP other issue count 0
3600.08/3609.23 c LP Gomory cuts 0
3600.08/3609.23 c LP learned cuts 0
3600.08/3609.23 c LP deleted cuts 0
3600.08/3609.23 c LP encountered Gomory constraints 0
3600.08/3609.23 c LP encountered Farkas constraints 0
3600.08/3609.23 c LP encountered learned Farkas constraints 0
3600.08/3609.23 c CG auxiliary variables introduced 0
3600.08/3609.23 c CG solutions found 0
3600.08/3609.23 c CG cores constructed 0
3600.08/3609.23 c CG core cardinality constraints returned 0
3600.08/3609.23 c CG unit cores 0
3600.08/3609.23 c CG single cores 0
3600.08/3609.23 c CG blocks removed during cardinality reduction 0
3600.08/3609.23 c CG first core best 0
3600.08/3609.23 c CG decision core best 0
3600.08/3609.23 c CG core reduction tie 0
3600.08/3609.23 c CG core degree average 0.00
3600.08/3609.23 c CG core slack average 0.00
3600.08/3609.23 c CG core upper bound improvements 0
3600.08/3609.23 c STR number of successful calls 0
3600.08/3609.23 c STR number of unsuccessful calls 0
3600.08/3609.23 c STR number of inconclusive calls 0
3600.08/3609.23 c STR number of successful attempts 0
3600.08/3609.23 c STR number of unsuccessful attempts 0
3600.08/3609.23 c STR number of inconclusive attempts 0
3600.08/3609.23 c STR average degree increase per successful call inf
3600.08/3609.23 c STR average degree increase per successful attempt inf
3600.08/3609.23 c STR total number of conflicts for successful attempts 0
3600.08/3609.23 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.23 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.23 c STR average number of conflicts per successful attempt inf
3600.08/3609.23 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.23 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.23 c AVG.sumWPerc 99.51
3600.08/3609.23 c bigint constraints 0
3600.08/3609.23 s UNKNOWN
3600.08/3609.23 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 (62919 MiB free)
memory of node 1: 64465 MiB (63862 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518319-1751544666/watcher-4518319-1751544666 -o /tmp/evaluation-result-4518319-1751544666/solver-4518319-1751544666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751544666-78282 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518319-1751544666.opb PROOFDIR/proof-4518319-1751544666
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=78340, runsolver pid=78324
[startup+0.10006 s]*
/proc/loadavg: 2.20 6.06 6.51 5/265 78344
/proc/meminfo: memFree=129799608/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=75116 memory=24564 CPUtime=0.07 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 4942 0 0 0 5 2 0 0 20 0 1 0 70144225 76918784 6141 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 18779 6141 2336 1147 0 6206 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 79308 KiB
Current children cumulated memory: 27508 KiB
[startup+0.205262 s]*
/proc/loadavg: 2.20 6.06 6.51 4/260 78352
/proc/meminfo: memFree=129804848/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=75116 memory=27348 CPUtime=0.18 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 5107 0 0 0 11 7 0 0 20 0 1 0 70144225 76918784 6837 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 18779 6837 2336 1147 0 6206 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 79308 KiB
Current children cumulated memory: 30292 KiB
[startup+0.305295 s]*
/proc/loadavg: 2.20 6.06 6.51 4/261 78360
/proc/meminfo: memFree=129808716/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=75272 memory=27476 CPUtime=0.28 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 5146 0 0 0 17 11 0 0 20 0 1 0 70144225 77078528 6869 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 18818 6869 2336 1147 0 6245 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79464 KiB
Current children cumulated memory: 30420 KiB
[startup+0.70009 s]
/proc/loadavg: 2.20 6.06 6.51 3/258 78360
/proc/meminfo: memFree=129773776/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=75272 memory=28244 CPUtime=0.66 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 5350 0 0 0 40 26 0 0 20 0 1 0 70144225 77078528 7061 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 18818 7061 2336 1147 0 6245 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 79464 KiB
Current children cumulated memory: 31188 KiB
[startup+1.50017 s]
/proc/loadavg: 2.20 6.06 6.51 3/262 78372
/proc/meminfo: memFree=129743604/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=82412 memory=33788 CPUtime=1.47 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 6206 0 0 0 89 58 0 0 20 0 1 0 70144225 84389888 8447 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 20603 8447 2336 1147 0 8030 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86604 KiB
Current children cumulated memory: 36732 KiB
[startup+3.10523 s]
/proc/loadavg: 2.20 6.06 6.51 3/259 78517
/proc/meminfo: memFree=129652320/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=90540 memory=42844 CPUtime=3.06 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 6969 0 0 0 184 122 0 0 20 0 1 0 70144225 92712960 10711 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 22635 10711 2336 1147 0 10062 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 94732 KiB
Current children cumulated memory: 45788 KiB
[startup+6.30018 s]
/proc/loadavg: 2.35 6.02 6.50 5/268 78626
/proc/meminfo: memFree=129433984/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=124248 memory=61984 CPUtime=6.25 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 8672 0 0 0 381 244 0 0 20 0 1 0 70144225 127229952 15496 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 31062 15496 2336 1147 0 18489 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 128440 KiB
Current children cumulated memory: 64928 KiB
[startup+12.7002 s]
/proc/loadavg: 2.48 5.99 6.48 5/263 78653
/proc/meminfo: memFree=129002740/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=381200 memory=296952 CPUtime=12.63 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 53587 0 0 0 955 308 0 0 20 0 1 0 70144225 390348800 74238 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 95300 74238 2368 1147 0 82727 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 385392 KiB
Current children cumulated memory: 299896 KiB
[startup+25.5002 s]
/proc/loadavg: 2.82 5.89 6.44 5/268 78720
/proc/meminfo: memFree=128444144/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=630800 memory=555952 CPUtime=25.39 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 95843 0 0 0 2168 371 0 0 20 0 1 0 70144225 645939200 138988 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 157700 138988 2368 1147 0 145127 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 634992 KiB
Current children cumulated memory: 558896 KiB
[startup+51.1056 s]
/proc/loadavg: 3.30 5.75 6.38 5/270 78723
/proc/meminfo: memFree=127553524/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=1110044 memory=982112 CPUtime=50.92 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 175317 0 0 0 4692 400 0 0 20 0 1 0 70144225 1136685056 245528 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 277511 245528 2368 1147 0 264938 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 1114236 KiB
Current children cumulated memory: 985056 KiB
[startup+102.3 s]
/proc/loadavg: 3.77 5.50 6.26 5/271 78727
/proc/meminfo: memFree=126774720/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=1325420 memory=1074940 CPUtime=101.97 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 183704 0 0 0 9691 506 0 0 20 0 1 0 70144225 1357230080 268735 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 331355 268735 2368 1147 0 318782 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 1329612 KiB
Current children cumulated memory: 1077884 KiB
[startup+162.3 s]
/proc/loadavg: 3.98 5.24 6.12 5/271 78728
/proc/meminfo: memFree=125386176/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=2030460 memory=1750128 CPUtime=161.8 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 317320 0 0 0 15624 556 0 0 20 0 1 0 70144225 2079191040 437532 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 507615 437532 2368 1147 0 495042 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 2034652 KiB
Current children cumulated memory: 1753072 KiB
[startup+222.3 s]
/proc/loadavg: 4.38 5.11 6.02 5/271 78730
/proc/meminfo: memFree=124594372/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=2030460 memory=1870088 CPUtime=221.62 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 333001 0 0 0 21585 577 0 0 20 0 1 0 70144225 2079191040 467522 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 507615 467522 2368 1147 0 495042 0
################
# More data... #
################
[pid=78344] ppid=78340 vsize=4353416 memory=4138868 CPUtime=3094.35 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 677448 0 0 0 307876 1559 0 0 20 0 1 0 70144225 4457897984 1034717 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1088354 1034717 2368 1147 0 1075781 0
Current children cumulated CPU time: 3094.35 s
Current children cumulated vsize: 4357608 KiB
Current children cumulated memory: 4141812 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.15 5/272 78892
/proc/meminfo: memFree=99219040/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=4353416 memory=4138868 CPUtime=3154.21 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 678008 0 0 0 313854 1567 0 0 20 0 1 0 70144225 4457897984 1034717 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1088354 1034717 2368 1147 0 1075781 0
Current children cumulated CPU time: 3154.21 s
Current children cumulated vsize: 4357608 KiB
Current children cumulated memory: 4141812 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.14 5/272 78894
/proc/meminfo: memFree=98911328/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=4353416 memory=4138868 CPUtime=3214.07 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 679490 0 0 0 319833 1574 0 0 20 0 1 0 70144225 4457897984 1034717 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1088354 1034717 2368 1147 0 1075781 0
Current children cumulated CPU time: 3214.07 s
Current children cumulated vsize: 4357608 KiB
Current children cumulated memory: 4141812 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.14 5/272 78896
/proc/meminfo: memFree=98632936/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=4353416 memory=4138868 CPUtime=3273.94 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 679534 0 0 0 325813 1581 0 0 20 0 1 0 70144225 4457897984 1034717 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1088354 1034717 2368 1147 0 1075781 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 4357608 KiB
Current children cumulated memory: 4141812 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.13 5/272 78903
/proc/meminfo: memFree=96777156/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=7139732 memory=5660708 CPUtime=3333.8 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 1046052 0 0 0 331737 1643 0 0 20 0 1 0 70144225 7311085568 1415177 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1784933 1415177 2368 1147 0 1772360 0
Current children cumulated CPU time: 3333.8 s
Current children cumulated vsize: 7143924 KiB
Current children cumulated memory: 5663652 KiB
[startup+3402.3 s]
/proc/loadavg: 4.07 4.08 4.12 5/272 78908
/proc/meminfo: memFree=96194672/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=7139732 memory=5660708 CPUtime=3393.66 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 1046474 0 0 0 337701 1665 0 0 20 0 1 0 70144225 7311085568 1415177 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1784933 1415177 2368 1147 0 1772360 0
Current children cumulated CPU time: 3393.66 s
Current children cumulated vsize: 7143924 KiB
Current children cumulated memory: 5663652 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.12 5/272 78910
/proc/meminfo: memFree=95609536/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=7139732 memory=5660708 CPUtime=3453.52 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 1046906 0 0 0 343665 1687 0 0 20 0 1 0 70144225 7311085568 1415177 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1784933 1415177 2368 1147 0 1772360 0
Current children cumulated CPU time: 3453.52 s
Current children cumulated vsize: 7143924 KiB
Current children cumulated memory: 5663652 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.11 5/272 78912
/proc/meminfo: memFree=95127372/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=7139732 memory=5660708 CPUtime=3513.38 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 1047059 0 0 0 349636 1702 0 0 20 0 1 0 70144225 7311085568 1415177 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1784933 1415177 2368 1147 0 1772360 0
Current children cumulated CPU time: 3513.38 s
Current children cumulated vsize: 7143924 KiB
Current children cumulated memory: 5663652 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.09 4.11 5/272 78916
/proc/meminfo: memFree=94724560/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=7139732 memory=5660708 CPUtime=3573.24 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 1047644 0 0 0 355609 1715 0 0 20 0 1 0 70144225 7311085568 1415177 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1784933 1415177 2368 1147 0 1772360 0
Current children cumulated CPU time: 3573.24 s
Current children cumulated vsize: 7143924 KiB
Current children cumulated memory: 5663652 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.2 s]
/proc/loadavg: 4.08 4.08 4.11 5/272 78917
/proc/meminfo: memFree=94567012/131249988 swapFree=33010160/33010684
[pid=78340] ppid=78324 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/78340/stat : 78340 (run-opt-log.sh) S 78324 78340 78270 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 70144224 4292608 736 18446744073709551615 94821076672512 94821077567045 140729184216080 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94821077806096 94821077853840 94821102686208 140729184217377 140729184217572 140729184217572 140729184223174 0
/proc/78340/statm: 1048 736 672 219 0 110 0
[pid=78344] ppid=78340 vsize=7139732 memory=5660708 CPUtime=3600.08 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78340 78340 78270 0 -1 4194304 1047668 0 0 0 358288 1720 0 0 20 0 1 0 70144225 7311085568 1415177 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1784933 1415177 2368 1147 0 1772360 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7143924 KiB
Current children cumulated memory: 5663652 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.2 s]
# the end of solver process 78340 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.002649 s
Sleeping 2 seconds
[startup+3609.34 s]
# the end of solver process 78344 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.93 s, system=17.2769 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+3609.3 s]*
/proc/loadavg: 4.08 4.08 4.11 5/271 78917
/proc/meminfo: memFree=95453124/131249988 swapFree=33010160/33010684
[pid=78344] ppid=78324 vsize=5214240 memory=4544388 CPUtime=3600.17 cores=1,3
/proc/78344/stat : 78344 (roundingsat) R 78324 78340 78270 0 -1 4194304 1047672 0 0 0 358292 1725 0 0 20 0 1 0 70144225 5339381760 1136097 18446744073709551615 4227072 8923433 140722447602528 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 12771328 140722447608146 140722447608360 140722447608360 140722447613930 0
/proc/78344/statm: 1303560 1136097 2432 1147 0 1290987 0
Current cumulated CPU time of completed processes: 0.002649 s
Current children cumulated CPU time: 3600.17 s
Current children cumulated vsize: 5214240 KiB
Current children cumulated memory: 4544388 KiB
Child status: 2
Real time (s): 3609.34
CPU time (s): 3600.21
CPU user time (s): 3582.93
CPU system time (s): 17.2769
CPU usage (%): 99.7471
Max. virtual memory (cumulated for all children) (KiB): 7143924
Max. memory (cumulated for all children) (KiB): 5663652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.93
system time used= 17.2769
maximum resident set size= 5660964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1047896
page faults= 0
swaps= 0
block input operations= 0
block output operations= 25071704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 850
involuntary context switches= 8147
# summary of solver processes directly reported to runsolver:
# pid: 78340,78344
# total CPU time (s): 3600.21
# total CPU user time (s): 3582.93
# total CPU system time (s): 17.2769
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01548 second user time and 16.7205 second system time
The end
Begin job on nodeC020 at 2025-07-03 14:11:07
IDJOB=4518319
IDBENCH=176901
IDSOLVER=3351
FILE ID=nodeC020/4518319-1751544666
RUNJOBID= nodeC020-1751544666-78282
SLURM_JOB_ID= 9598715
Free space on /tmp= 431780 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/normalized-knapPI_14_10000_1000_2_-407357.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518319-1751544666/watcher-4518319-1751544666 -o /tmp/evaluation-result-4518319-1751544666/solver-4518319-1751544666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC020-1751544666-78282 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4518319-1751544666.opb PROOFDIR/proof-4518319-1751544666
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e452967152bd4eb328dd132d733a88a9
RANDOM SEED=1432749854
nodeC020 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.925
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.895
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.735
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.358
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.985
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.971
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.920
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.925
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129829824 kB
MemAvailable: 129779004 kB
Buffers: 2128 kB
Cached: 742172 kB
SwapCached: 8 kB
Active: 643028 kB
Inactive: 176776 kB
Active(anon): 68976 kB
Inactive(anon): 24572 kB
Active(file): 574052 kB
Inactive(file): 152204 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 28996 kB
Writeback: 4 kB
AnonPages: 78696 kB
Mapped: 103732 kB
Shmem: 18044 kB
KReclaimable: 124328 kB
Slab: 215668 kB
SReclaimable: 124328 kB
SUnreclaim: 91340 kB
KernelStack: 4128 kB
PageTables: 2912 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 342136 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150376 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 431748 MiB
End job on nodeC020 at 2025-07-03 15:11:16