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.019819
0.00/0.07 c GLOBAL bounds - >= -12057080 @ 0.03404
0.00/0.09 c GLOBAL bounds - >= -12057080 @ 0.050654
0.08/0.12 c GLOBAL bounds - >= -12057080 @ 0.069614
0.08/0.15 c GLOBAL bounds - >= -12057080 @ 0.084555
0.08/0.18 c GLOBAL bounds - >= -12057080 @ 0.098501
0.08/0.20 c GLOBAL bounds - >= -12057080 @ 0.115452
0.19/0.23 c GLOBAL bounds - >= -12057080 @ 0.13152
0.19/0.26 c GLOBAL bounds - >= -12057080 @ 0.144892
0.19/0.29 c GLOBAL bounds - >= -12057080 @ 0.162848
0.28/0.32 c GLOBAL bounds - >= -12057080 @ 0.179833
0.28/0.35 c GLOBAL bounds - >= -12057080 @ 0.198776
0.28/0.37 c GLOBAL bounds - >= -12057080 @ 0.213727
0.28/0.40 c GLOBAL bounds - >= -12057080 @ 0.228715
0.39/0.43 c GLOBAL bounds - >= -12057080 @ 0.245763
0.39/0.46 c GLOBAL bounds - >= -12057080 @ 0.260011
0.39/0.49 c GLOBAL bounds - >= -12057080 @ 0.278988
0.48/0.51 c GLOBAL bounds - >= -12057080 @ 0.295866
0.48/0.54 c GLOBAL bounds - >= -12057080 @ 0.314074
0.48/0.57 c GLOBAL bounds - >= -12057080 @ 0.32812
0.48/0.60 c GLOBAL bounds - >= -12057080 @ 0.347148
0.58/0.63 c GLOBAL bounds - >= -12057080 @ 0.362294
0.58/0.65 c GLOBAL bounds - >= -12057080 @ 0.379398
0.58/0.68 c GLOBAL bounds - >= -12057080 @ 0.400736
0.67/0.71 c GLOBAL bounds - >= -12057080 @ 0.417961
0.67/0.74 c GLOBAL bounds - >= -12057080 @ 0.434168
0.67/0.77 c GLOBAL bounds - >= -12057080 @ 0.450501
0.78/0.80 c GLOBAL bounds - >= -12057080 @ 0.465909
0.78/0.82 c GLOBAL bounds - >= -12057080 @ 0.481583
0.78/0.85 c GLOBAL bounds - >= -12057080 @ 0.495811
0.78/0.88 c GLOBAL bounds - >= -12057080 @ 0.510132
0.88/0.91 c GLOBAL bounds - >= -12057080 @ 0.526528
0.88/0.94 c GLOBAL bounds - >= -12057080 @ 0.541022
0.88/0.97 c GLOBAL bounds - >= -12057080 @ 0.555544
0.88/1.00 c GLOBAL bounds - >= -12057080 @ 0.572042
0.98/1.02 c GLOBAL bounds - >= -12057080 @ 0.588765
0.98/1.05 c GLOBAL bounds - >= -12057080 @ 0.604489
0.98/1.08 c GLOBAL bounds - >= -12057080 @ 0.619323
1.08/1.11 c GLOBAL bounds - >= -12057080 @ 0.634892
1.08/1.14 c GLOBAL bounds - >= -12057080 @ 0.650624
1.08/1.17 c GLOBAL bounds - >= -12057080 @ 0.665467
1.17/1.20 c GLOBAL bounds - >= -12057080 @ 0.67833
1.17/1.23 c GLOBAL bounds - >= -12057080 @ 0.693474
1.17/1.25 c GLOBAL bounds - >= -12057080 @ 0.713228
1.17/1.28 c GLOBAL bounds - >= -12057080 @ 0.729069
1.28/1.31 c GLOBAL bounds - >= -12057080 @ 0.745085
1.28/1.34 c GLOBAL bounds - >= -12057080 @ 0.762025
1.28/1.37 c GLOBAL bounds - >= -12057080 @ 0.778659
1.38/1.40 c GLOBAL bounds - >= -12057080 @ 0.79557
1.38/1.43 c GLOBAL bounds - >= -12057080 @ 0.807024
1.38/1.46 c GLOBAL bounds - >= -12057080 @ 0.828812
1.38/1.49 c GLOBAL bounds - >= -12057080 @ 0.845623
1.48/1.52 c GLOBAL bounds - >= -12057080 @ 0.865561
1.48/1.54 c GLOBAL bounds - >= -12057080 @ 0.882434
1.48/1.57 c GLOBAL bounds - >= -12057080 @ 0.900413
1.58/1.60 c GLOBAL bounds - >= -12057080 @ 0.917695
1.58/1.63 c GLOBAL bounds - >= -12057080 @ 0.935784
1.58/1.66 c GLOBAL bounds - >= -12057080 @ 0.951666
1.58/1.69 c GLOBAL bounds - >= -12057080 @ 0.967828
1.68/1.72 c GLOBAL bounds - >= -12057080 @ 0.98609
1.68/1.75 c GLOBAL bounds - >= -12057080 @ 1.00631
1.68/1.78 c GLOBAL bounds - >= -12057080 @ 1.02053
1.78/1.81 c GLOBAL bounds - >= -12057080 @ 1.03986
1.78/1.84 c GLOBAL bounds - >= -12057080 @ 1.05621
1.78/1.87 c GLOBAL bounds - >= -12057080 @ 1.07391
1.88/1.90 c GLOBAL bounds - >= -12057080 @ 1.09136
1.88/1.93 c GLOBAL bounds - >= -12057080 @ 1.1069
1.88/1.95 c GLOBAL bounds - >= -12057080 @ 1.12438
1.88/1.98 c GLOBAL bounds - >= -12057080 @ 1.14325
1.98/2.01 c GLOBAL bounds - >= -12057080 @ 1.1601
1.98/2.04 c GLOBAL bounds - >= -12057080 @ 1.1777
1.98/2.07 c GLOBAL bounds - >= -12057080 @ 1.19838
2.08/2.10 c GLOBAL bounds - >= -12057080 @ 1.21521
2.08/2.13 c GLOBAL bounds - >= -12057080 @ 1.23391
2.08/2.16 c GLOBAL bounds - >= -12057080 @ 1.25259
2.08/2.19 c GLOBAL bounds - >= -12057080 @ 1.268
2.18/2.22 c GLOBAL bounds - >= -12057080 @ 1.28899
2.18/2.25 c GLOBAL bounds - >= -12057080 @ 1.31023
2.18/2.28 c GLOBAL bounds - >= -12057080 @ 1.32923
2.28/2.31 c GLOBAL bounds - >= -12057080 @ 1.34317
2.28/2.34 c GLOBAL bounds - >= -12057080 @ 1.36212
2.28/2.37 c GLOBAL bounds - >= -12057080 @ 1.38001
2.37/2.40 c GLOBAL bounds - >= -12057080 @ 1.39596
2.37/2.43 c GLOBAL bounds - >= -12057080 @ 1.41179
2.37/2.46 c GLOBAL bounds - >= -12057080 @ 1.42775
2.37/2.49 c GLOBAL bounds - >= -12057080 @ 1.44574
2.47/2.52 c GLOBAL bounds - >= -12057080 @ 1.4651
2.47/2.55 c GLOBAL bounds - >= -12057080 @ 1.48648
2.47/2.59 c GLOBAL bounds - >= -12057080 @ 1.50522
2.57/2.62 c GLOBAL bounds - >= -12057080 @ 1.52381
2.57/2.65 c GLOBAL bounds - >= -12057080 @ 1.54247
2.57/2.68 c GLOBAL bounds - >= -12057080 @ 1.56306
2.68/2.71 c GLOBAL bounds - >= -12057080 @ 1.58369
2.68/2.74 c GLOBAL bounds - >= -12057080 @ 1.60435
2.68/2.77 c GLOBAL bounds - >= -12057080 @ 1.62055
2.77/2.80 c GLOBAL bounds - >= -12057080 @ 1.63908
2.77/2.83 c GLOBAL bounds - >= -12057080 @ 1.65754
2.77/2.86 c GLOBAL bounds - >= -12057080 @ 1.6719
2.77/2.89 c GLOBAL bounds - >= -12057080 @ 1.68945
2.88/2.92 c GLOBAL bounds - >= -12057080 @ 1.70897
2.88/2.95 c GLOBAL bounds - >= -12057080 @ 1.73071
2.88/2.98 c GLOBAL bounds - >= -12057080 @ 1.74862
2.98/3.01 c GLOBAL bounds - >= -12057080 @ 1.76744
2.98/3.04 c GLOBAL bounds - >= -12057080 @ 1.78317
2.98/3.08 c GLOBAL bounds - >= -12057080 @ 1.79906
3.08/3.11 c GLOBAL bounds - >= -12057080 @ 1.81989
3.08/3.14 c GLOBAL bounds - >= -12057080 @ 1.83918
3.08/3.17 c GLOBAL bounds - >= -12057080 @ 1.8607
3.18/3.20 c GLOBAL bounds - >= -12057080 @ 1.87682
3.18/3.23 c GLOBAL bounds - >= -12057080 @ 1.89924
3.18/3.26 c GLOBAL bounds - >= -12057080 @ 1.9168
3.18/3.29 c GLOBAL bounds - >= -12057080 @ 1.93607
3.27/3.32 c GLOBAL bounds - >= -12057080 @ 1.95552
3.27/3.35 c GLOBAL bounds - >= -12057080 @ 1.97493
3.27/3.39 c GLOBAL bounds - >= -12057080 @ 1.99689
3.38/3.42 c GLOBAL bounds - >= -12057080 @ 2.01506
3.38/3.45 c GLOBAL bounds - >= -12057080 @ 2.03547
3.38/3.48 c GLOBAL bounds - >= -12057080 @ 2.05149
3.48/3.51 c GLOBAL bounds - >= -12057080 @ 2.07045
3.48/3.54 c GLOBAL bounds - >= -12057080 @ 2.0895
3.48/3.57 c GLOBAL bounds - >= -12057080 @ 2.10547
3.57/3.60 c GLOBAL bounds - >= -12057080 @ 2.12548
3.57/3.63 c GLOBAL bounds - >= -12057080 @ 2.14371
3.57/3.67 c GLOBAL bounds - >= -12057080 @ 2.1623
3.67/3.70 c GLOBAL bounds - >= -12057080 @ 2.18149
3.67/3.73 c GLOBAL bounds - >= -12057080 @ 2.20035
3.67/3.76 c GLOBAL bounds - >= -12057080 @ 2.2187
3.67/3.79 c GLOBAL bounds - >= -12057080 @ 2.2393
3.78/3.82 c GLOBAL bounds - >= -12057080 @ 2.25475
3.78/3.86 c GLOBAL bounds - >= -12057080 @ 2.2722
3.78/3.89 c GLOBAL bounds - >= -12057080 @ 2.29205
3.87/3.92 c GLOBAL bounds - >= -12057080 @ 2.31394
3.87/3.95 c GLOBAL bounds - >= -12057080 @ 2.33368
3.87/3.98 c GLOBAL bounds - >= -12057080 @ 2.35245
3.98/4.01 c GLOBAL bounds - >= -12057080 @ 2.37133
3.98/4.05 c GLOBAL bounds - >= -12057080 @ 2.39253
3.98/4.08 c GLOBAL bounds - >= -12057080 @ 2.41438
4.07/4.11 c GLOBAL bounds - >= -12057080 @ 2.4358
4.07/4.14 c GLOBAL bounds - >= -12057080 @ 2.46096
4.07/4.18 c GLOBAL bounds - >= -12057080 @ 2.48021
4.17/4.21 c GLOBAL bounds - >= -12057080 @ 2.49659
4.17/4.24 c GLOBAL bounds - >= -12057080 @ 2.51568
4.17/4.27 c GLOBAL bounds - >= -12057080 @ 2.53677
4.27/4.31 c GLOBAL bounds - >= -12057080 @ 2.5572
4.27/4.34 c GLOBAL bounds - >= -12057080 @ 2.57853
4.27/4.37 c GLOBAL bounds - >= -12057080 @ 2.60368
4.37/4.40 c GLOBAL bounds - >= -12057080 @ 2.62401
4.37/4.43 c GLOBAL bounds - >= -12057080 @ 2.64449
4.37/4.47 c GLOBAL bounds - >= -12057080 @ 2.66177
4.47/4.50 c GLOBAL bounds - >= -12057080 @ 2.68509
4.47/4.53 c GLOBAL bounds - >= -12057080 @ 2.70465
4.47/4.56 c GLOBAL bounds - >= -12057080 @ 2.72654
4.57/4.60 c GLOBAL bounds - >= -12057080 @ 2.74828
4.57/4.63 c GLOBAL bounds - >= -12057080 @ 2.76521
4.57/4.66 c GLOBAL bounds - >= -12057080 @ 2.78575
4.67/4.70 c GLOBAL bounds - >= -12057080 @ 2.80444
4.67/4.73 c GLOBAL bounds - >= -12057080 @ 2.82811
4.67/4.76 c GLOBAL bounds - >= -12057080 @ 2.84971
4.67/4.79 c GLOBAL bounds - >= -12057080 @ 2.86861
4.77/4.83 c GLOBAL bounds - >= -12057080 @ 2.88568
4.77/4.86 c GLOBAL bounds - >= -12057080 @ 2.90968
4.77/4.89 c GLOBAL bounds - >= -12057080 @ 2.93174
4.87/4.93 c GLOBAL bounds - >= -12057080 @ 2.95168
4.87/4.96 c GLOBAL bounds - >= -12057080 @ 2.97189
4.87/4.99 c GLOBAL bounds - >= -12057080 @ 2.99574
4.97/5.03 c GLOBAL bounds - >= -12057080 @ 3.01823
4.97/5.06 c GLOBAL bounds - >= -12057080 @ 3.0374
4.97/5.09 c GLOBAL bounds - >= -12057080 @ 3.06169
5.07/5.13 c GLOBAL bounds - >= -12057080 @ 3.08532
5.07/5.16 c GLOBAL bounds - >= -12057080 @ 3.10476
5.07/5.19 c GLOBAL bounds - >= -12057080 @ 3.12396
5.17/5.23 c GLOBAL bounds - >= -12057080 @ 3.14552
5.17/5.26 c GLOBAL bounds - >= -12057080 @ 3.16562
5.17/5.30 c GLOBAL bounds - >= -12057080 @ 3.18414
5.27/5.33 c GLOBAL bounds - >= -12057080 @ 3.20253
5.27/5.36 c GLOBAL bounds - >= -12057080 @ 3.22327
5.36/5.40 c GLOBAL bounds - >= -12057080 @ 3.23906
5.36/5.43 c GLOBAL bounds - >= -12057080 @ 3.26113
5.36/5.46 c GLOBAL bounds - >= -12057080 @ 3.28296
5.47/5.50 c GLOBAL bounds - >= -12057080 @ 3.30666
5.47/5.53 c GLOBAL bounds - >= -12057080 @ 3.33339
5.47/5.57 c GLOBAL bounds - >= -12057080 @ 3.35722
5.57/5.60 c GLOBAL bounds - >= -12057080 @ 3.37711
5.57/5.63 c GLOBAL bounds - >= -12057080 @ 3.40191
5.57/5.67 c GLOBAL bounds - >= -12057080 @ 3.42211
5.67/5.70 c GLOBAL bounds - >= -12057080 @ 3.44021
5.67/5.74 c GLOBAL bounds - >= -12057080 @ 3.46234
5.67/5.77 c GLOBAL bounds - >= -12057080 @ 3.48341
5.77/5.80 c GLOBAL bounds - >= -12057080 @ 3.50259
5.77/5.84 c GLOBAL bounds - >= -12057080 @ 3.52362
5.77/5.87 c GLOBAL bounds - >= -12057080 @ 3.54563
5.87/5.91 c GLOBAL bounds - >= -12057080 @ 3.56608
5.87/5.94 c GLOBAL bounds - >= -12057080 @ 3.5855
5.87/5.98 c GLOBAL bounds - >= -12057080 @ 3.60725
5.97/6.01 c GLOBAL bounds - >= -12057080 @ 3.62473
5.97/6.05 c GLOBAL bounds - >= -12057080 @ 3.64562
5.97/6.08 c GLOBAL bounds - >= -12057080 @ 3.66624
6.07/6.16 c GLOBAL bounds - >= -12057080 @ 3.73589
6.16/6.20 c GLOBAL bounds - >= -12057080 @ 3.75865
6.16/6.24 c GLOBAL bounds - >= -12057080 @ 3.78653
6.16/6.28 c GLOBAL bounds - >= -12057080 @ 3.80817
6.27/6.33 c GLOBAL bounds - >= -12057080 @ 3.8433
6.27/6.37 c GLOBAL bounds - >= -12057080 @ 3.87233
6.66/6.74 c GLOBAL bounds - >= -12057080 @ 4.21562
6.66/6.78 c GLOBAL bounds - >= -12057080 @ 4.24387
6.77/6.82 c GLOBAL bounds - >= -12057080 @ 4.27533
6.77/6.86 c GLOBAL bounds - >= -12057080 @ 4.30264
6.86/6.91 c GLOBAL bounds - >= -12057080 @ 4.33964
6.86/6.96 c GLOBAL bounds - >= -12057080 @ 4.38049
6.86/7.00 c GLOBAL bounds - >= -12057080 @ 4.40871
6.97/7.07 c GLOBAL bounds - >= -12057080 @ 4.46353
7.07/7.15 c GLOBAL bounds - >= -12057080 @ 4.52771
7.07/7.19 c GLOBAL bounds - >= -12057080 @ 4.55668
7.16/7.26 c GLOBAL bounds - >= -12057080 @ 4.61449
7.26/7.34 c GLOBAL bounds - >= -12057080 @ 4.67587
7.26/7.38 c GLOBAL bounds - >= -12057080 @ 4.70164
7.36/7.42 c GLOBAL bounds - >= -12057080 @ 4.73062
7.46/7.51 c GLOBAL bounds - >= -12057080 @ 4.80466
7.46/7.57 c GLOBAL bounds - >= -12057080 @ 4.8528
7.57/7.64 c GLOBAL bounds - >= -12057080 @ 4.89945
7.67/7.70 c GLOBAL bounds - >= -12057080 @ 4.95897
7.67/7.75 c GLOBAL bounds - >= -12057080 @ 4.99144
7.76/7.81 c GLOBAL bounds - >= -12057080 @ 5.04649
7.76/7.86 c GLOBAL bounds - >= -12057080 @ 5.07429
7.87/7.90 c GLOBAL bounds - >= -12057080 @ 5.10348
7.87/7.94 c GLOBAL bounds - >= -12057080 @ 5.12954
7.87/7.98 c GLOBAL bounds - >= -12057080 @ 5.15664
7.97/8.03 c GLOBAL bounds - >= -12057080 @ 5.18488
8.56/8.65 c GLOBAL bounds - >= -12057080 @ 5.7633
8.56/8.69 c GLOBAL bounds - >= -12057080 @ 5.79435
9.26/9.39 c GLOBAL bounds - >= -12057080 @ 6.45447
9.46/9.55 c GLOBAL bounds - >= -12057080 @ 6.60708
9.65/9.70 c GLOBAL bounds - >= -12057080 @ 6.74397
9.76/9.83 c GLOBAL bounds - >= -12057080 @ 6.86027
9.76/9.86 c GLOBAL bounds - >= -12057080 @ 6.88741
9.86/9.90 c GLOBAL bounds - >= -12057080 @ 6.91776
9.86/9.93 c GLOBAL bounds - >= -12057080 @ 6.94414
9.86/9.97 c GLOBAL bounds - >= -12057080 @ 6.97142
9.96/10.00 c GLOBAL bounds - >= -12057080 @ 6.9994
9.96/10.04 c GLOBAL bounds - >= -12057080 @ 7.02799
9.96/10.07 c GLOBAL bounds - >= -12057080 @ 7.05699
10.06/10.11 c GLOBAL bounds - >= -12057080 @ 7.08453
10.06/10.14 c GLOBAL bounds - >= -12057080 @ 7.11078
10.06/10.17 c GLOBAL bounds - >= -12057080 @ 7.13941
10.16/10.28 c GLOBAL bounds - >= -12057080 @ 7.23436
10.26/10.31 c GLOBAL bounds - >= -12057080 @ 7.26064
10.26/10.35 c GLOBAL bounds - >= -12057080 @ 7.2894
10.26/10.38 c GLOBAL bounds - >= -12057080 @ 7.31523
10.36/10.42 c GLOBAL bounds - >= -12057080 @ 7.34964
14.45/14.55 c GLOBAL bounds - >= -12057080 @ 11.4075
14.45/14.59 c GLOBAL bounds - >= -12057080 @ 11.4426
20.23/20.32 c GLOBAL bounds - >= -12057080 @ 17.0463
20.23/20.37 c GLOBAL bounds - >= -12057080 @ 17.0834
20.33/20.42 c GLOBAL bounds - >= -12057080 @ 17.12
20.33/20.47 c GLOBAL bounds - >= -12057080 @ 17.1565
20.44/20.51 c GLOBAL bounds - >= -12057080 @ 17.1906
20.44/20.56 c GLOBAL bounds - >= -12057080 @ 17.2262
20.54/20.61 c GLOBAL bounds - >= -12057080 @ 17.2646
20.54/20.66 c GLOBAL bounds - >= -12057080 @ 17.3021
20.63/20.70 c GLOBAL bounds - >= -12057080 @ 17.3383
20.63/20.75 c GLOBAL bounds - >= -12057080 @ 17.376
20.73/20.80 c GLOBAL bounds - >= -12057080 @ 17.4093
20.73/20.85 c GLOBAL bounds - >= -12057080 @ 17.4445
20.73/20.90 c GLOBAL bounds - >= -12057080 @ 17.4789
20.83/20.94 c GLOBAL bounds - >= -12057080 @ 17.5148
20.83/20.99 c GLOBAL bounds - >= -12057080 @ 17.553
20.93/21.04 c GLOBAL bounds - >= -12057080 @ 17.5889
20.93/21.09 c GLOBAL bounds - >= -12057080 @ 17.6264
21.03/21.13 c GLOBAL bounds - >= -12057080 @ 17.6666
21.03/21.18 c GLOBAL bounds - >= -12057080 @ 17.7012
21.14/21.23 c GLOBAL bounds - >= -12057080 @ 17.7384
21.14/21.28 c GLOBAL bounds - >= -12057080 @ 17.7762
21.23/21.33 c GLOBAL bounds - >= -12057080 @ 17.8135
21.23/21.37 c GLOBAL bounds - >= -12057080 @ 17.8493
21.34/21.42 c GLOBAL bounds - >= -12057080 @ 17.8848
21.34/21.47 c GLOBAL bounds - >= -12057080 @ 17.9262
21.43/21.52 c GLOBAL bounds - >= -12057080 @ 17.9646
21.43/21.57 c GLOBAL bounds - >= -12057080 @ 18.0055
21.53/21.62 c GLOBAL bounds - >= -12057080 @ 18.0419
21.53/21.66 c GLOBAL bounds - >= -12057080 @ 18.0799
21.63/21.71 c GLOBAL bounds - >= -12057080 @ 18.1155
21.63/21.76 c GLOBAL bounds - >= -12057080 @ 18.1518
21.73/21.81 c GLOBAL bounds - >= -12057080 @ 18.1889
21.73/21.86 c GLOBAL bounds - >= -12057080 @ 18.2288
21.83/21.91 c GLOBAL bounds - >= -12057080 @ 18.2682
21.83/21.96 c GLOBAL bounds - >= -12057080 @ 18.3064
21.93/22.01 c GLOBAL bounds - >= -12057080 @ 18.3433
21.93/22.06 c GLOBAL bounds - >= -12057080 @ 18.387
22.04/22.11 c GLOBAL bounds - >= -12057080 @ 18.4281
22.04/22.16 c GLOBAL bounds - >= -12057080 @ 18.4673
22.13/22.21 c GLOBAL bounds - >= -12057080 @ 18.5061
22.13/22.26 c GLOBAL bounds - >= -12057080 @ 18.5444
22.22/22.31 c GLOBAL bounds - >= -12057080 @ 18.5848
22.22/22.36 c GLOBAL bounds - >= -12057080 @ 18.6277
22.33/22.41 c GLOBAL bounds - >= -12057080 @ 18.6684
22.33/22.47 c GLOBAL bounds - >= -12057080 @ 18.7107
22.42/22.52 c GLOBAL bounds - >= -12057080 @ 18.7507
22.42/22.57 c GLOBAL bounds - >= -12057080 @ 18.7916
22.53/22.62 c GLOBAL bounds - >= -12057080 @ 18.8379
22.53/22.68 c GLOBAL bounds - >= -12057080 @ 18.8781
22.63/22.73 c GLOBAL bounds - >= -12057080 @ 18.921
22.63/22.78 c GLOBAL bounds - >= -12057080 @ 18.9633
22.73/22.83 c GLOBAL bounds - >= -12057080 @ 19.0036
22.73/22.89 c GLOBAL bounds - >= -12057080 @ 19.0478
22.83/22.94 c GLOBAL bounds - >= -12057080 @ 19.0936
22.83/23.00 c GLOBAL bounds - >= -12057080 @ 19.1372
22.93/23.05 c GLOBAL bounds - >= -12057080 @ 19.1796
23.03/23.10 c GLOBAL bounds - >= -12057080 @ 19.2226
23.03/23.16 c GLOBAL bounds - >= -12057080 @ 19.2684
23.13/23.21 c GLOBAL bounds - >= -12057080 @ 19.3097
23.13/23.27 c GLOBAL bounds - >= -12057080 @ 19.3537
23.23/23.32 c GLOBAL bounds - >= -12057080 @ 19.3983
23.23/23.38 c GLOBAL bounds - >= -12057080 @ 19.4447
23.33/23.43 c GLOBAL bounds - >= -12057080 @ 19.4909
23.33/23.49 c GLOBAL bounds - >= -12057080 @ 19.5342
23.42/23.55 c GLOBAL bounds - >= -12057080 @ 19.5789
23.52/23.60 c GLOBAL bounds - >= -12057080 @ 19.6244
23.52/23.66 c GLOBAL bounds - >= -12057080 @ 19.6696
23.63/23.72 c GLOBAL bounds - >= -12057080 @ 19.7146
23.63/23.77 c GLOBAL bounds - >= -12057080 @ 19.765
23.72/23.83 c GLOBAL bounds - >= -12057080 @ 19.8103
23.72/23.89 c GLOBAL bounds - >= -12057080 @ 19.8572
23.83/23.94 c GLOBAL bounds - >= -12057080 @ 19.9042
23.93/24.00 c GLOBAL bounds - >= -12057080 @ 19.9519
23.93/24.06 c GLOBAL bounds - >= -12057080 @ 20.0004
24.03/24.12 c GLOBAL bounds - >= -12057080 @ 20.0466
24.03/24.18 c GLOBAL bounds - >= -12057080 @ 20.0906
24.13/24.24 c GLOBAL bounds - >= -12057080 @ 20.1426
24.22/24.30 c GLOBAL bounds - >= -12057080 @ 20.1891
24.22/24.36 c GLOBAL bounds - >= -12057080 @ 20.2382
24.32/24.42 c GLOBAL bounds - >= -12057080 @ 20.2868
24.82/24.97 c GLOBAL bounds - >= -12057080 @ 20.8227
126.83/127.21 c #Conflicts: 1000 | #Constraints: 1661
126.83/127.21 c #Conflicts: 2000 | #Constraints: 2661
126.83/127.21 c INPROCESSING
126.83/127.21 c GARBAGE COLLECT
126.83/127.21 c #Conflicts: 3000 | #Constraints: 2671
126.83/127.21 c GLOBAL bounds - >= -12057080 @ 121.795
126.83/127.29 c GLOBAL bounds - >= -12057080 @ 121.87
126.93/127.37 c GLOBAL bounds - >= -12057080 @ 121.935
127.03/127.44 c GLOBAL bounds - >= -12057080 @ 121.991
127.13/127.51 c GLOBAL bounds - >= -12057080 @ 122.047
127.13/127.58 c GLOBAL bounds - >= -12057080 @ 122.107
127.23/127.65 c GLOBAL bounds - >= -12057080 @ 122.167
127.33/127.72 c GLOBAL bounds - >= -12057080 @ 122.223
127.33/127.79 c GLOBAL bounds - >= -12057080 @ 122.28
127.43/127.86 c GLOBAL bounds - >= -12057080 @ 122.337
127.52/127.93 c GLOBAL bounds - >= -12057080 @ 122.394
127.63/128.00 c GLOBAL bounds - >= -12057080 @ 122.447
127.63/128.07 c GLOBAL bounds - >= -12057080 @ 122.506
127.73/128.14 c GLOBAL bounds - >= -12057080 @ 122.565
127.83/128.21 c GLOBAL bounds - >= -12057080 @ 122.628
127.83/128.28 c GLOBAL bounds - >= -12057080 @ 122.685
127.93/128.35 c GLOBAL bounds - >= -12057080 @ 122.742
128.03/128.42 c GLOBAL bounds - >= -12057080 @ 122.801
128.03/128.50 c GLOBAL bounds - >= -12057080 @ 122.859
128.13/128.57 c GLOBAL bounds - >= -12057080 @ 122.918
128.23/128.64 c GLOBAL bounds - >= -12057080 @ 122.975
128.33/128.71 c GLOBAL bounds - >= -12057080 @ 123.036
128.33/128.78 c GLOBAL bounds - >= -12057080 @ 123.091
128.42/128.85 c GLOBAL bounds - >= -12057080 @ 123.15
128.52/128.93 c GLOBAL bounds - >= -12057080 @ 123.207
128.63/129.00 c GLOBAL bounds - >= -12057080 @ 123.271
128.63/129.08 c GLOBAL bounds - >= -12057080 @ 123.335
128.73/129.15 c GLOBAL bounds - >= -12057080 @ 123.398
128.82/129.23 c GLOBAL bounds - >= -12057080 @ 123.46
128.92/129.30 c GLOBAL bounds - >= -12057080 @ 123.518
128.92/129.38 c GLOBAL bounds - >= -12057080 @ 123.585
129.03/129.46 c GLOBAL bounds - >= -12057080 @ 123.65
129.13/129.53 c GLOBAL bounds - >= -12057080 @ 123.72
129.22/129.61 c GLOBAL bounds - >= -12057080 @ 123.78
129.22/129.69 c GLOBAL bounds - >= -12057080 @ 123.843
129.32/129.77 c GLOBAL bounds - >= -12057080 @ 123.907
129.42/129.84 c GLOBAL bounds - >= -12057080 @ 123.974
129.52/129.92 c GLOBAL bounds - >= -12057080 @ 124.036
129.63/130.00 c GLOBAL bounds - >= -12057080 @ 124.104
129.63/130.08 c GLOBAL bounds - >= -12057080 @ 124.169
129.73/130.16 c GLOBAL bounds - >= -12057080 @ 124.235
129.82/130.24 c GLOBAL bounds - >= -12057080 @ 124.299
129.92/130.32 c GLOBAL bounds - >= -12057080 @ 124.367
130.02/130.40 c GLOBAL bounds - >= -12057080 @ 124.435
130.02/130.48 c GLOBAL bounds - >= -12057080 @ 124.502
130.12/130.56 c GLOBAL bounds - >= -12057080 @ 124.572
130.22/130.64 c GLOBAL bounds - >= -12057080 @ 124.643
130.32/130.73 c GLOBAL bounds - >= -12057080 @ 124.71
130.42/130.81 c GLOBAL bounds - >= -12057080 @ 124.779
130.42/130.89 c GLOBAL bounds - >= -12057080 @ 124.854
130.52/130.98 c GLOBAL bounds - >= -12057080 @ 124.927
130.62/131.07 c GLOBAL bounds - >= -12057080 @ 125.002
130.72/131.15 c GLOBAL bounds - >= -12057080 @ 125.077
130.82/131.24 c GLOBAL bounds - >= -12057080 @ 125.15
130.92/131.32 c GLOBAL bounds - >= -12057080 @ 125.222
131.02/131.41 c GLOBAL bounds - >= -12057080 @ 125.296
131.11/131.50 c GLOBAL bounds - >= -12057080 @ 125.37
131.11/131.59 c GLOBAL bounds - >= -12057080 @ 125.445
131.22/131.67 c GLOBAL bounds - >= -12057080 @ 125.524
131.32/131.76 c GLOBAL bounds - >= -12057080 @ 125.598
131.51/131.92 c GLOBAL bounds - >= -12057080 @ 125.745
131.72/132.16 c GLOBAL bounds - >= -12057080 @ 125.962
132.11/132.59 c GLOBAL bounds - >= -12057080 @ 126.386
132.32/132.71 c GLOBAL bounds - >= -12057080 @ 126.489
132.42/132.82 c GLOBAL bounds - >= -12057080 @ 126.583
132.51/132.92 c GLOBAL bounds - >= -12057080 @ 126.669
133.02/133.48 c GLOBAL bounds - >= -12057080 @ 127.214
219.25/219.97 c #Conflicts: 4000 | #Constraints: 3805
219.25/219.97 c INPROCESSING
219.25/219.97 c GARBAGE COLLECT
219.25/219.97 c GLOBAL bounds - >= -12057080 @ 212.954
219.35/220.06 c GLOBAL bounds - >= -12057080 @ 213.039
219.45/220.14 c GLOBAL bounds - >= -12057080 @ 213.106
219.55/220.22 c GLOBAL bounds - >= -12057080 @ 213.172
219.65/220.31 c GLOBAL bounds - >= -12057080 @ 213.24
219.65/220.39 c GLOBAL bounds - >= -12057080 @ 213.31
219.75/220.47 c GLOBAL bounds - >= -12057080 @ 213.379
219.85/220.55 c GLOBAL bounds - >= -12057080 @ 213.449
219.95/220.64 c GLOBAL bounds - >= -12057080 @ 213.525
220.05/220.72 c GLOBAL bounds - >= -12057080 @ 213.595
220.14/220.81 c GLOBAL bounds - >= -12057080 @ 213.669
220.14/220.89 c GLOBAL bounds - >= -12057080 @ 213.738
220.25/220.98 c GLOBAL bounds - >= -12057080 @ 213.812
220.35/221.07 c GLOBAL bounds - >= -12057080 @ 213.883
220.45/221.16 c GLOBAL bounds - >= -12057080 @ 213.954
220.55/221.25 c GLOBAL bounds - >= -12057080 @ 214.032
220.65/221.34 c GLOBAL bounds - >= -12057080 @ 214.107
220.74/221.43 c GLOBAL bounds - >= -12057080 @ 214.187
220.85/221.53 c GLOBAL bounds - >= -12057080 @ 214.27
220.94/221.62 c GLOBAL bounds - >= -12057080 @ 214.348
221.04/221.71 c GLOBAL bounds - >= -12057080 @ 214.43
221.14/221.80 c GLOBAL bounds - >= -12057080 @ 214.509
221.24/221.90 c GLOBAL bounds - >= -12057080 @ 214.592
221.24/221.99 c GLOBAL bounds - >= -12057080 @ 214.671
221.34/222.09 c GLOBAL bounds - >= -12057080 @ 214.752
221.45/222.18 c GLOBAL bounds - >= -12057080 @ 214.836
221.54/222.27 c GLOBAL bounds - >= -12057080 @ 214.921
221.64/222.37 c GLOBAL bounds - >= -12057080 @ 215.006
221.74/222.47 c GLOBAL bounds - >= -12057080 @ 215.091
221.84/222.56 c GLOBAL bounds - >= -12057080 @ 215.175
221.94/222.66 c GLOBAL bounds - >= -12057080 @ 215.257
222.04/222.76 c GLOBAL bounds - >= -12057080 @ 215.34
222.14/222.85 c GLOBAL bounds - >= -12057080 @ 215.424
222.24/222.95 c GLOBAL bounds - >= -12057080 @ 215.512
281.65/282.57 c #Conflicts: 5000 | #Constraints: 3275
281.65/282.57 c #Conflicts: 6000 | #Constraints: 4275
281.65/282.57 c GLOBAL bounds - >= -12057080 @ 274.679
581.62/583.32 c INPROCESSING
581.62/583.32 c GARBAGE COLLECT
581.62/583.32 c #Conflicts: 7000 | #Constraints: 3319
581.62/583.32 c #Conflicts: 8000 | #Constraints: 4319
581.62/583.32 c #Conflicts: 9000 | #Constraints: 5319
581.62/583.32 c INPROCESSING
581.62/583.32 c GARBAGE COLLECT
581.62/583.32 c #Conflicts: 10000 | #Constraints: 4004
581.62/583.32 c #Conflicts: 11000 | #Constraints: 5004
581.62/583.32 c GLOBAL bounds - >= -12057080 @ 572.894
581.72/583.47 c GLOBAL bounds - >= -12057080 @ 573.038
581.91/583.63 c GLOBAL bounds - >= -12057080 @ 573.182
582.02/583.78 c GLOBAL bounds - >= -12057080 @ 573.318
582.21/583.93 c GLOBAL bounds - >= -12057080 @ 573.449
582.32/584.07 c GLOBAL bounds - >= -12057080 @ 573.576
582.51/584.20 c GLOBAL bounds - >= -12057080 @ 573.7
582.61/584.34 c GLOBAL bounds - >= -12057080 @ 573.826
582.71/584.48 c GLOBAL bounds - >= -12057080 @ 573.945
582.92/584.61 c GLOBAL bounds - >= -12057080 @ 574.069
583.01/584.76 c GLOBAL bounds - >= -12057080 @ 574.201
583.21/584.90 c GLOBAL bounds - >= -12057080 @ 574.328
583.31/585.04 c GLOBAL bounds - >= -12057080 @ 574.452
583.41/585.17 c GLOBAL bounds - >= -12057080 @ 574.577
583.60/585.31 c GLOBAL bounds - >= -12057080 @ 574.705
583.71/585.45 c GLOBAL bounds - >= -12057080 @ 574.832
583.80/585.59 c GLOBAL bounds - >= -12057080 @ 574.964
584.01/585.73 c GLOBAL bounds - >= -12057080 @ 575.098
584.11/585.88 c GLOBAL bounds - >= -12057080 @ 575.226
584.31/586.02 c GLOBAL bounds - >= -12057080 @ 575.361
584.41/586.17 c GLOBAL bounds - >= -12057080 @ 575.494
584.61/586.32 c GLOBAL bounds - >= -12057080 @ 575.627
584.70/586.47 c GLOBAL bounds - >= -12057080 @ 575.759
584.91/586.63 c GLOBAL bounds - >= -12057080 @ 575.899
585.01/586.78 c GLOBAL bounds - >= -12057080 @ 576.042
585.20/586.94 c GLOBAL bounds - >= -12057080 @ 576.181
585.31/587.09 c GLOBAL bounds - >= -12057080 @ 576.32
585.50/587.25 c GLOBAL bounds - >= -12057080 @ 576.462
633.79/635.69 c #Conflicts: 12000 | #Constraints: 6060
633.79/635.69 c INPROCESSING
633.79/635.69 c GARBAGE COLLECT
633.79/635.69 c GLOBAL bounds - >= -12057080 @ 624.491
643.67/645.51 c GLOBAL bounds - >= -12057080 @ 634.23
3600.03/3609.57 c #Conflicts: 13000 | #Constraints: 4507
3600.03/3609.57 c #Conflicts: 14000 | #Constraints: 5507
3600.03/3609.57 c #Conflicts: 15000 | #Constraints: 6507
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 16000 | #Constraints: 4737
3600.03/3609.57 c #Conflicts: 17000 | #Constraints: 5737
3600.03/3609.57 c #Conflicts: 18000 | #Constraints: 6737
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 19000 | #Constraints: 4750
3600.03/3609.57 c #Conflicts: 20000 | #Constraints: 5750
3600.03/3609.57 c #Conflicts: 21000 | #Constraints: 6750
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 22000 | #Constraints: 4562
3600.03/3609.57 c #Conflicts: 23000 | #Constraints: 5562
3600.03/3609.57 c #Conflicts: 24000 | #Constraints: 6562
3600.03/3609.57 c #Conflicts: 25000 | #Constraints: 7562
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 26000 | #Constraints: 5174
3600.03/3609.57 c #Conflicts: 27000 | #Constraints: 6174
3600.03/3609.57 c #Conflicts: 28000 | #Constraints: 7174
3600.03/3609.57 c #Conflicts: 29000 | #Constraints: 8174
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 30000 | #Constraints: 5560
3600.03/3609.57 c #Conflicts: 31000 | #Constraints: 6560
3600.03/3609.57 c #Conflicts: 32000 | #Constraints: 7560
3600.03/3609.57 c #Conflicts: 33000 | #Constraints: 8560
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 34000 | #Constraints: 5754
3600.03/3609.57 c #Conflicts: 35000 | #Constraints: 6754
3600.03/3609.57 c #Conflicts: 36000 | #Constraints: 7754
3600.03/3609.57 c #Conflicts: 37000 | #Constraints: 8754
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 38000 | #Constraints: 5749
3600.03/3609.57 c #Conflicts: 39000 | #Constraints: 6749
3600.03/3609.57 c #Conflicts: 40000 | #Constraints: 7749
3600.03/3609.57 c #Conflicts: 41000 | #Constraints: 8749
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 42000 | #Constraints: 5551
3600.03/3609.57 c #Conflicts: 43000 | #Constraints: 6551
3600.03/3609.57 c #Conflicts: 44000 | #Constraints: 7551
3600.03/3609.57 c #Conflicts: 45000 | #Constraints: 8551
3600.03/3609.57 c #Conflicts: 46000 | #Constraints: 9551
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 47000 | #Constraints: 6145
3600.03/3609.57 c #Conflicts: 48000 | #Constraints: 7145
3600.03/3609.57 c #Conflicts: 49000 | #Constraints: 8145
3600.03/3609.57 c #Conflicts: 50000 | #Constraints: 9145
3600.03/3609.57 c #Conflicts: 51000 | #Constraints: 10145
3600.03/3609.57 c INPROCESSING
3600.03/3609.57 c GARBAGE COLLECT
3600.03/3609.57 c #Conflicts: 52000 | #Constraints: 6551
3600.03/3609.57 c #Conflicts: 53000 | #Constraints: 7551
3600.03/3609.57 c #Conflicts: 54000 | #Constraints: 8551
3600.03/3609.57 c #Conflicts: 55000 | #Constraints: 9551
3600.03/3609.57 c cpu time 3580.6 s
3600.03/3609.57 c deterministic time 1 1.00e+00
3600.03/3609.57 c optimization time 3580.59 s
3600.03/3609.57 c total solve time 0 s
3600.03/3609.57 c core-guided solve time 0 s
3600.03/3609.57 c propagation time 1e-06 s
3600.03/3609.57 c conflict analysis time 0 s
3600.03/3609.57 c propagations 0
3600.03/3609.57 c resolve steps 0
3600.03/3609.57 c decisions 0
3600.03/3609.57 c conflicts 0
3600.03/3609.57 c restarts 0
3600.03/3609.57 c inprocessing phases 0
3600.03/3609.57 c garbage collections 0 ,( -nan )
3600.03/3609.57 c input clauses 0 ,( 0.00 )
3600.03/3609.57 c input cardinalities 0 ,( 0.00 )
3600.03/3609.57 c input general constraints 1 ,( 100.00 )
3600.03/3609.57 c input average constraint length 20000.00
3600.03/3609.57 c input average constraint degree 9957497.00
3600.03/3609.57 c learned clauses 0 ,( 0.00 )
3600.03/3609.57 c learned cardinalities 0 ,( 0.00 )
3600.03/3609.57 c learned general constraints 0 ,( 0.00 )
3600.03/3609.57 c learned average constraint length 0.00
3600.03/3609.57 c learned average constraint degree 0.00
3600.03/3609.57 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.03/3609.57 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.03/3609.57 c watched constraints 0 ,( 0.00 )
3600.03/3609.57 c counting constraints 1 ,( 100.00 )
3600.03/3609.57 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3609.57 c gcd simplifications 0
3600.03/3609.57 c detected cardinalities 0
3600.03/3609.57 c weakened non-implied lits 0
3600.03/3609.57 c weakened non-implying lits 0
3600.03/3609.57 c original variables 20000
3600.03/3609.57 c clausal propagations 0
3600.03/3609.57 c cardinality propagations 0
3600.03/3609.57 c watched propagations 0
3600.03/3609.57 c counting propagations 0
3600.03/3609.57 c watch lookups 0
3600.03/3609.57 c watch backjump lookups 0
3600.03/3609.57 c watch checks 0
3600.03/3609.57 c propagation checks 0
3600.03/3609.57 c constraint additions 0
3600.03/3609.57 c trail pops 0
3600.03/3609.57 c formula constraints 1
3600.03/3609.57 c learned constraints 0
3600.03/3609.57 c bound constraints 0
3600.03/3609.57 c core-guided constraints 0
3600.03/3609.57 c encountered formula constraints 0
3600.03/3609.57 c encountered learned constraints 0
3600.03/3609.57 c encountered bound constraints 0
3600.03/3609.57 c encountered core-guided constraints 0
3600.03/3609.57 c LP total time 0 s
3600.03/3609.57 c LP solve time 0 s
3600.03/3609.57 c LP constraints added 0
3600.03/3609.57 c LP constraints removed 0
3600.03/3609.57 c LP pivots internal 0
3600.03/3609.57 c LP pivots root 0
3600.03/3609.57 c LP calls 0
3600.03/3609.57 c LP optimalities 0
3600.03/3609.57 c LP no pivot count 0
3600.03/3609.57 c LP infeasibilities 0
3600.03/3609.57 c LP valid Farkas constraints 0
3600.03/3609.57 c LP learned Farkas constraints 0
3600.03/3609.57 c LP basis resets 0
3600.03/3609.57 c LP cycling count 0
3600.03/3609.57 c LP singular count 0
3600.03/3609.57 c LP no primal count 0
3600.03/3609.57 c LP no farkas count 0
3600.03/3609.57 c LP other issue count 0
3600.03/3609.57 c LP Gomory cuts 0
3600.03/3609.57 c LP learned cuts 0
3600.03/3609.57 c LP deleted cuts 0
3600.03/3609.57 c LP encountered Gomory constraints 0
3600.03/3609.57 c LP encountered Farkas constraints 0
3600.03/3609.57 c LP encountered learned Farkas constraints 0
3600.03/3609.57 c CG auxiliary variables introduced 0
3600.03/3609.57 c CG solutions found 0
3600.03/3609.57 c CG cores constructed 0
3600.03/3609.57 c CG core cardinality constraints returned 0
3600.03/3609.57 c CG unit cores 0
3600.03/3609.57 c CG single cores 0
3600.03/3609.57 c CG blocks removed during cardinality reduction 0
3600.03/3609.57 c CG first core best 0
3600.03/3609.57 c CG decision core best 0
3600.03/3609.57 c CG core reduction tie 0
3600.03/3609.57 c CG core degree average 0.00
3600.03/3609.57 c CG core slack average 0.00
3600.03/3609.57 c CG core upper bound improvements 0
3600.03/3609.57 c STR number of successful calls 0
3600.03/3609.57 c STR number of unsuccessful calls 0
3600.03/3609.57 c STR number of inconclusive calls 0
3600.03/3609.57 c STR number of successful attempts 0
3600.03/3609.57 c STR number of unsuccessful attempts 0
3600.03/3609.57 c STR number of inconclusive attempts 0
3600.03/3609.57 c STR average degree increase per successful call inf
3600.03/3609.57 c STR average degree increase per successful attempt inf
3600.03/3609.57 c STR total number of conflicts for successful attempts 0
3600.03/3609.57 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3609.57 c STR total number of conflicts for inconclusive attempts 0
3600.03/3609.57 c STR average number of conflicts per successful attempt inf
3600.03/3609.57 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3609.57 c STR average number of conflicts per inconclusive attempt inf
3600.03/3609.57 c AVG.sumWPerc 99.51
3600.03/3609.57 c bigint constraints 0
3600.03/3609.57 s UNKNOWN
3600.03/3609.57 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62486 MiB free)
memory of node 1: 64507 MiB (63548 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517905-1751540210/watcher-4517905-1751540210 -o /tmp/evaluation-result-4517905-1751540210/solver-4517905-1751540210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76785 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4517905-1751540210.opb PROOFDIR/proof-4517905-1751540210
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77422, runsolver pid=77419
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 4.08 4.17 4.13 6/271 77424
/proc/meminfo: memFree=129048444/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=75116 memory=24520 CPUtime=0.08 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 4979 0 0 0 5 3 0 0 20 0 1 0 69698719 76918784 6130 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 18779 6130 2304 1147 0 6206 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 79308 KiB
Current children cumulated memory: 27464 KiB
[startup+0.204735 s]*
/proc/loadavg: 4.08 4.17 4.13 5/271 77424
/proc/meminfo: memFree=129048444/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=75116 memory=25288 CPUtime=0.19 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 5156 0 0 0 11 8 0 0 20 0 1 0 69698719 76918784 6322 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 18779 6322 2304 1147 0 6206 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 79308 KiB
Current children cumulated memory: 28232 KiB
[startup+0.305284 s]*
/proc/loadavg: 4.08 4.17 4.13 5/271 77424
/proc/meminfo: memFree=129040380/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=75272 memory=27844 CPUtime=0.28 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 5272 0 0 0 16 12 0 0 20 0 1 0 69698719 77078528 6961 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 18818 6961 2304 1147 0 6245 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 79464 KiB
Current children cumulated memory: 30788 KiB
[startup+0.70015 s]
/proc/loadavg: 4.08 4.17 4.13 5/271 77424
/proc/meminfo: memFree=129040380/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=75272 memory=28100 CPUtime=0.67 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 5348 0 0 0 40 27 0 0 20 0 1 0 69698719 77078528 7025 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 18818 7025 2304 1147 0 6245 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 79464 KiB
Current children cumulated memory: 31044 KiB
[startup+1.50015 s]
/proc/loadavg: 4.08 4.17 4.13 5/271 77424
/proc/meminfo: memFree=129032316/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=82412 memory=34128 CPUtime=1.48 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 6332 0 0 0 85 63 0 0 20 0 1 0 69698719 84389888 8532 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 20603 8532 2304 1147 0 8030 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 86604 KiB
Current children cumulated memory: 37072 KiB
[startup+3.10539 s]
/proc/loadavg: 4.16 4.18 4.13 5/271 77424
/proc/meminfo: memFree=128972780/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=90948 memory=43604 CPUtime=3.08 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 7199 0 0 0 181 127 0 0 20 0 1 0 69698719 93130752 10901 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 22737 10901 2304 1147 0 10164 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 95140 KiB
Current children cumulated memory: 46548 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.18 4.13 5/271 77424
/proc/meminfo: memFree=128892888/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=128196 memory=63380 CPUtime=6.27 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 9570 0 0 0 381 246 0 0 20 0 1 0 69698719 131272704 15845 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 32049 15845 2304 1147 0 19476 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 132388 KiB
Current children cumulated memory: 66324 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.18 4.13 5/271 77425
/proc/meminfo: memFree=128606372/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=377952 memory=287820 CPUtime=12.65 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 52903 0 0 0 957 308 0 0 20 0 1 0 69698719 387022848 71955 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 94488 71955 2336 1147 0 81915 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 382144 KiB
Current children cumulated memory: 290764 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.17 4.13 5/271 77425
/proc/meminfo: memFree=128214528/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=627692 memory=539400 CPUtime=25.42 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 95341 0 0 0 2133 409 0 0 20 0 1 0 69698719 642756608 134850 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 156923 134850 2336 1147 0 144350 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 631884 KiB
Current children cumulated memory: 542344 KiB
[startup+51.1055 s]
/proc/loadavg: 4.15 4.17 4.13 5/271 77425
/proc/meminfo: memFree=127547680/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=1117364 memory=956780 CPUtime=50.96 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 172605 0 0 0 4653 443 0 0 20 0 1 0 69698719 1144180736 239195 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 279341 239195 2336 1147 0 266768 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 1121556 KiB
Current children cumulated memory: 959724 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.12 5/271 77431
/proc/meminfo: memFree=126772224/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=1333852 memory=1088044 CPUtime=102.01 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 187016 0 0 0 9725 476 0 0 20 0 1 0 69698719 1365864448 272011 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 333463 272011 2336 1147 0 320890 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1338044 KiB
Current children cumulated memory: 1090988 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.14 4.12 5/272 77434
/proc/meminfo: memFree=125552744/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=2048072 memory=1762752 CPUtime=161.83 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 320982 0 0 0 15577 606 0 0 20 0 1 0 69698719 2097225728 440688 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 512018 440688 2336 1147 0 499445 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 2052264 KiB
Current children cumulated memory: 1765696 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.15 4.12 5/271 77436
/proc/meminfo: memFree=124886104/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=2048072 memory=1888088 CPUtime=221.64 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 337544 0 0 0 21493 671 0 0 20 0 1 0 69698719 2097225728 472022 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
################
# More data... #
################
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=7244044 memory=5880768 CPUtime=3154.03 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1091154 0 0 0 313571 1832 0 0 20 0 1 0 69698719 7417901056 1470192 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 1811011 1470192 2336 1147 0 1798438 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 7248236 KiB
Current children cumulated memory: 5883712 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/273 77745
/proc/meminfo: memFree=89653576/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=8167304 memory=6011000 CPUtime=3213.87 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1115155 0 0 0 319539 1848 0 0 20 0 1 0 69698719 8363319296 1502750 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2041826 1502750 2336 1147 0 2029253 0
Current children cumulated CPU time: 3213.87 s
Current children cumulated vsize: 8171496 KiB
Current children cumulated memory: 6013944 KiB
[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/273 77748
/proc/meminfo: memFree=89144052/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=8167304 memory=6011000 CPUtime=3273.71 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1115155 0 0 0 325514 1857 0 0 20 0 1 0 69698719 8363319296 1502750 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2041826 1502750 2336 1147 0 2029253 0
Current children cumulated CPU time: 3273.71 s
Current children cumulated vsize: 8171496 KiB
Current children cumulated memory: 6013944 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/273 77750
/proc/meminfo: memFree=88568956/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=8167304 memory=6011000 CPUtime=3333.56 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1115155 0 0 0 331489 1867 0 0 20 0 1 0 69698719 8363319296 1502750 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2041826 1502750 2336 1147 0 2029253 0
Current children cumulated CPU time: 3333.56 s
Current children cumulated vsize: 8171496 KiB
Current children cumulated memory: 6013944 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/273 77753
/proc/meminfo: memFree=88048488/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=8167304 memory=6011000 CPUtime=3393.4 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1116548 0 0 0 337460 1880 0 0 20 0 1 0 69698719 8363319296 1502750 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2041826 1502750 2336 1147 0 2029253 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 8171496 KiB
Current children cumulated memory: 6013944 KiB
[startup+3462.3 s]
/proc/loadavg: 4.16 4.13 4.10 4/271 77772
/proc/meminfo: memFree=87609532/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=8167304 memory=6011000 CPUtime=3453.24 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1116548 0 0 0 343422 1902 0 0 20 0 1 0 69698719 8363319296 1502750 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2041826 1502750 2336 1147 0 2029253 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 8171496 KiB
Current children cumulated memory: 6013944 KiB
[startup+3522.3 s]
/proc/loadavg: 4.47 4.21 4.12 5/273 77808
/proc/meminfo: memFree=89703176/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=8167304 memory=6011000 CPUtime=3513.07 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1117941 0 0 0 349383 1924 0 0 20 0 1 0 69698719 8363319296 1502750 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2041826 1502750 2336 1147 0 2029253 0
Current children cumulated CPU time: 3513.07 s
Current children cumulated vsize: 8171496 KiB
Current children cumulated memory: 6013944 KiB
[startup+3582.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/273 77810
/proc/meminfo: memFree=88896404/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=8167304 memory=6011000 CPUtime=3572.91 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1117948 0 0 0 355347 1944 0 0 20 0 1 0 69698719 8363319296 1502750 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2041826 1502750 2336 1147 0 2029253 0
Current children cumulated CPU time: 3572.91 s
Current children cumulated vsize: 8171496 KiB
Current children cumulated memory: 6013944 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.17 4.18 4.12 5/273 77811
/proc/meminfo: memFree=88622736/131249996 swapFree=33003468/33010684
[pid=77422] ppid=77419 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/77422/stat : 77422 (run-opt-log.sh) S 77419 77422 76774 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 69698718 4292608 736 18446744073709551615 94328504713216 94328505607749 140735761165424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94328505846800 94328505894544 94328520966144 140735761168673 140735761168868 140735761168868 140735761174470 0
/proc/77422/statm: 1048 736 672 219 0 110 0
[pid=77424] ppid=77422 vsize=8168584 memory=6047412 CPUtime=3600.03 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77422 77422 76774 0 -1 4194304 1122966 0 0 0 358052 1951 0 0 20 0 1 0 69698719 8364630016 1511853 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2042146 1511853 2336 1147 0 2029573 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 8172776 KiB
Current children cumulated memory: 6050356 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 77422 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.001991 s
[startup+3609.73 s]
# the end of solver process 77424 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.61 s, system=19.61 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.6 s]*
/proc/loadavg: 4.17 4.18 4.12 5/272 77811
/proc/meminfo: memFree=88606756/131249996 swapFree=33003468/33010684
[pid=77424] ppid=77419 vsize=8168840 memory=6050160 CPUtime=3600.11 cores=4,6
/proc/77424/stat : 77424 (roundingsat) D 77419 77422 76774 0 -1 4194304 1123051 0 0 0 358060 1951 0 0 20 0 1 0 69698719 8364892160 1512540 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 2042210 1512540 2432 1147 0 2029637 0
Current cumulated CPU time of completed processes: 0.001991 s
Current children cumulated CPU time: 3600.11 s
Current children cumulated vsize: 8168840 KiB
Current children cumulated memory: 6050160 KiB
[startup+3609.71 s]
/proc/loadavg: 4.17 4.18 4.12 5/272 77811
/proc/meminfo: memFree=88606756/131249996 swapFree=33003468/33010684
[pid=77424] ppid=77419 vsize=5309528 memory=3894888 CPUtime=3600.19 cores=4,6
/proc/77424/stat : 77424 (roundingsat) R 77419 77422 76774 0 -1 4194304 1123051 0 0 0 358061 1958 0 0 20 0 1 0 69698719 5436956672 974234 18446744073709551615 4227072 8923433 140728335301344 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140728335305042 140728335305256 140728335305256 140728335310826 0
/proc/77424/statm: 1327382 973722 2432 1147 0 1314809 0
Current cumulated CPU time of completed processes: 0.001991 s
Current children cumulated CPU time: 3600.19 s
Current children cumulated vsize: 5309528 KiB
Current children cumulated memory: 3894888 KiB
Child status: 2
Real time (s): 3609.73
CPU time (s): 3600.22
CPU user time (s): 3580.61
CPU system time (s): 19.61
CPU usage (%): 99.7367
Max. virtual memory (cumulated for all children) (KiB): 8172776
Max. memory (cumulated for all children) (KiB): 6050356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.61
system time used= 19.61
maximum resident set size= 6050160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1123272
page faults= 0
swaps= 0
block input operations= 0
block output operations= 30687800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1201
involuntary context switches= 5483
# summary of solver processes directly reported to runsolver:
# pid: 77422,77424
# total CPU time (s): 3600.22
# total CPU user time (s): 3580.61
# total CPU system time (s): 19.61
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.94015 second user time and 16.4849 second system time
The end
Begin job on nodeC021 at 2025-07-03 12:56:50
IDJOB=4517905
IDBENCH=176207
IDSOLVER=3351
FILE ID=nodeC021/4517905-1751540210
RUNJOBID= nodeC021-1751536445-76785
SLURM_JOB_ID= 9598688
Free space on /tmp= 430936 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/strongly_correlated/normalized-knapPI_3_5000_1000_4_-199683.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4517905-1751540210/watcher-4517905-1751540210 -o /tmp/evaluation-result-4517905-1751540210/solver-4517905-1751540210 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751536445-76785 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4517905-1751540210.opb PROOFDIR/proof-4517905-1751540210
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 1078a8a599ac53eb8b654d06ccbdcce3
RANDOM SEED=152511562
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.774
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.031
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.783
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.777
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3532.408
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3394.373
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 129060352 kB
MemAvailable: 129420808 kB
Buffers: 1056 kB
Cached: 1094740 kB
SwapCached: 32 kB
Active: 818180 kB
Inactive: 632328 kB
Active(anon): 327296 kB
Inactive(anon): 40944 kB
Active(file): 490884 kB
Inactive(file): 591384 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 59268 kB
Writeback: 0 kB
AnonPages: 358152 kB
Mapped: 113376 kB
Shmem: 13452 kB
KReclaimable: 234456 kB
Slab: 327824 kB
SReclaimable: 234456 kB
SUnreclaim: 93368 kB
KernelStack: 4416 kB
PageTables: 3992 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 732524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 92160 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 430932 MiB
End job on nodeC021 at 2025-07-03 13:57:00