0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
2.96/3.07 c #variables 10000 #constraints 656900
2.96/3.07 c objective is ce32
4.75/4.89 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
4.75/4.89 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
4.75/4.89 c GLOBAL bounds - >= 0 @ 3.65777
5.05/5.17 c GLOBAL bounds - >= 0 @ 3.91239
5.05/5.18 c GLOBAL bounds - >= 0 @ 3.9211
5.15/5.20 c GLOBAL bounds - >= 0 @ 3.94113
5.15/5.23 c GLOBAL bounds - >= 0 @ 3.96507
5.15/5.26 c GLOBAL bounds - >= 0 @ 3.99059
5.15/5.27 c GLOBAL bounds - >= 0 @ 4.00102
5.15/5.28 c GLOBAL bounds - >= 0 @ 4.00789
5.25/5.30 c GLOBAL bounds - >= 0 @ 4.02583
5.25/5.31 c GLOBAL bounds - >= 0 @ 4.04134
5.25/5.32 c GLOBAL bounds - >= 0 @ 4.04926
5.25/5.34 c GLOBAL bounds - >= 0 @ 4.0647
5.25/5.35 c GLOBAL bounds - >= 0 @ 4.07769
5.25/5.40 c GLOBAL bounds - >= 0 @ 4.11723
5.34/5.41 c GLOBAL bounds - >= 0 @ 4.12611
5.34/5.43 c GLOBAL bounds - >= 0 @ 4.1482
5.34/5.47 c GLOBAL bounds - >= 0 @ 4.18605
5.34/5.49 c GLOBAL bounds - >= 0 @ 4.20286
5.45/5.52 c GLOBAL bounds - >= 0 @ 4.22996
5.45/5.52 c GLOBAL bounds - >= 0 @ 4.23802
5.45/5.54 c GLOBAL bounds - >= 0 @ 4.25389
5.45/5.55 c GLOBAL bounds - >= 0 @ 4.26588
5.45/5.56 c GLOBAL bounds - >= 0 @ 4.27816
5.45/5.58 c GLOBAL bounds - >= 0 @ 4.29078
5.45/5.59 c GLOBAL bounds - >= 0 @ 4.30635
5.74/5.85 c GLOBAL bounds - >= 0 @ 4.55945
5.74/5.87 c GLOBAL bounds - >= 0 @ 4.57784
5.74/5.88 c GLOBAL bounds - >= 0 @ 4.59034
5.85/5.90 c GLOBAL bounds - >= 0 @ 4.60252
5.85/5.91 c GLOBAL bounds - >= 0 @ 4.61476
5.85/5.94 c GLOBAL bounds - >= 0 @ 4.64231
5.85/5.97 c GLOBAL bounds - >= 0 @ 4.66998
5.85/6.00 c GLOBAL bounds - >= 0 @ 4.69724
5.95/6.02 c GLOBAL bounds - >= 0 @ 4.7212
5.95/6.03 c GLOBAL bounds - >= 0 @ 4.7293
5.95/6.06 c GLOBAL bounds - >= 0 @ 4.7624
6.05/6.10 c GLOBAL bounds - >= 0 @ 4.80049
6.05/6.11 c GLOBAL bounds - >= 0 @ 4.80949
6.05/6.12 c GLOBAL bounds - >= 0 @ 4.82103
6.05/6.14 c GLOBAL bounds - >= 0 @ 4.83519
6.05/6.15 c GLOBAL bounds - >= 0 @ 4.84738
6.05/6.18 c GLOBAL bounds - >= 0 @ 4.8709
6.05/6.19 c GLOBAL bounds - >= 0 @ 4.88827
6.15/6.21 c GLOBAL bounds - >= 0 @ 4.90494
6.15/6.25 c GLOBAL bounds - >= 0 @ 4.93419
6.15/6.26 c GLOBAL bounds - >= 0 @ 4.94681
6.15/6.27 c GLOBAL bounds - >= 0 @ 4.95537
6.15/6.28 c GLOBAL bounds - >= 0 @ 4.97095
6.15/6.29 c GLOBAL bounds - >= 0 @ 4.98001
6.24/6.30 c GLOBAL bounds - >= 0 @ 4.98907
6.24/6.32 c GLOBAL bounds - >= 0 @ 5.00614
6.24/6.34 c GLOBAL bounds - >= 0 @ 5.02403
6.24/6.36 c GLOBAL bounds - >= 0 @ 5.04635
6.24/6.37 c GLOBAL bounds - >= 0 @ 5.05444
6.24/6.39 c GLOBAL bounds - >= 0 @ 5.06983
6.35/6.40 c GLOBAL bounds - >= 0 @ 5.08283
6.35/6.42 c GLOBAL bounds - >= 0 @ 5.09814
6.35/6.43 c GLOBAL bounds - >= 0 @ 5.10979
6.35/6.46 c GLOBAL bounds - >= 0 @ 5.14219
6.35/6.48 c GLOBAL bounds - >= 0 @ 5.15986
6.45/6.51 c GLOBAL bounds - >= 0 @ 5.18148
6.45/6.53 c GLOBAL bounds - >= 0 @ 5.20377
6.45/6.55 c GLOBAL bounds - >= 0 @ 5.22025
6.45/6.56 c GLOBAL bounds - >= 0 @ 5.23274
6.54/6.60 c GLOBAL bounds - >= 0 @ 5.26486
6.54/6.63 c GLOBAL bounds - >= 0 @ 5.29779
6.64/6.72 c GLOBAL bounds - >= 0 @ 5.38185
6.64/6.73 c GLOBAL bounds - >= 0 @ 5.39574
6.64/6.75 c GLOBAL bounds - >= 0 @ 5.41312
6.64/6.78 c GLOBAL bounds - >= 0 @ 5.4399
6.74/6.80 c GLOBAL bounds - >= 0 @ 5.46297
6.74/6.83 c GLOBAL bounds - >= 0 @ 5.49582
6.74/6.85 c GLOBAL bounds - >= 0 @ 5.51462
6.74/6.88 c GLOBAL bounds - >= 0 @ 5.5371
6.74/6.89 c GLOBAL bounds - >= 0 @ 5.54973
6.85/6.90 c GLOBAL bounds - >= 0 @ 5.55823
6.85/6.94 c GLOBAL bounds - >= 0 @ 5.59023
6.85/6.95 c GLOBAL bounds - >= 0 @ 5.59992
6.85/6.97 c GLOBAL bounds - >= 0 @ 5.61802
6.85/6.99 c GLOBAL bounds - >= 0 @ 5.63483
6.85/7.00 c GLOBAL bounds - >= 0 @ 5.64427
6.94/7.02 c #Conflicts: 1000 | #Constraints: 658058
6.94/7.02 c GLOBAL bounds - >= 0 @ 5.66549
6.94/7.07 c GLOBAL bounds - >= 0 @ 5.71011
6.94/7.08 c GLOBAL bounds - >= 0 @ 5.72395
6.94/7.10 c GLOBAL bounds - >= 0 @ 5.73663
7.04/7.12 c GLOBAL bounds - >= 0 @ 5.75434
7.04/7.13 c GLOBAL bounds - >= 0 @ 5.76231
7.04/7.15 c GLOBAL bounds - >= 0 @ 5.77956
7.04/7.17 c GLOBAL bounds - >= 0 @ 5.79727
7.04/7.18 c GLOBAL bounds - >= 0 @ 5.81048
7.14/7.20 c GLOBAL bounds - >= 0 @ 5.82547
7.14/7.21 c GLOBAL bounds - >= 0 @ 5.84011
7.14/7.23 c GLOBAL bounds - >= 0 @ 5.8471
7.14/7.24 c GLOBAL bounds - >= 0 @ 5.85561
7.14/7.25 c GLOBAL bounds - >= 0 @ 5.86978
7.14/7.27 c GLOBAL bounds - >= 0 @ 5.88634
7.24/7.30 c GLOBAL bounds - >= 0 @ 5.91922
7.24/7.31 c GLOBAL bounds - >= 0 @ 5.9286
7.24/7.35 c GLOBAL bounds - >= 0 @ 5.9624
7.24/7.37 c GLOBAL bounds - >= 0 @ 5.98285
7.24/7.39 c GLOBAL bounds - >= 0 @ 5.99071
7.34/7.41 c GLOBAL bounds - >= 0 @ 6.01369
7.34/7.44 c GLOBAL bounds - >= 0 @ 6.04318
7.34/7.46 c GLOBAL bounds - >= 0 @ 6.05886
7.34/7.48 c GLOBAL bounds - >= 0 @ 6.08218
7.44/7.50 c GLOBAL bounds - >= 0 @ 6.10258
7.44/7.53 c GLOBAL bounds - >= 0 @ 6.12589
7.44/7.54 c GLOBAL bounds - >= 0 @ 6.14261
7.54/7.66 c GLOBAL bounds - >= 0 @ 6.25459
7.54/7.68 c GLOBAL bounds - >= 0 @ 6.26688
7.54/7.69 c GLOBAL bounds - >= 0 @ 6.28275
7.64/7.71 c GLOBAL bounds - >= 0 @ 6.29538
7.64/7.73 c GLOBAL bounds - >= 0 @ 6.31196
7.64/7.79 c GLOBAL bounds - >= 0 @ 6.36702
7.74/7.85 c GLOBAL bounds - >= 0 @ 6.42607
7.74/7.87 c GLOBAL bounds - >= 0 @ 6.44222
7.74/7.89 c GLOBAL bounds - >= 0 @ 6.4621
7.84/7.93 c GLOBAL bounds - >= 0 @ 6.50425
7.84/7.99 c GLOBAL bounds - >= 0 @ 6.55951
7.94/8.00 c GLOBAL bounds - >= 0 @ 6.57032
7.94/8.03 c GLOBAL bounds - >= 0 @ 6.59483
8.04/8.19 c GLOBAL bounds - >= 0 @ 6.74922
8.13/8.20 c GLOBAL bounds - >= 0 @ 6.7628
8.13/8.24 c GLOBAL bounds - >= 0 @ 6.8002
8.13/8.28 c GLOBAL bounds - >= 0 @ 6.83517
8.13/8.29 c GLOBAL bounds - >= 0 @ 6.85154
8.24/8.32 c GLOBAL bounds - >= 0 @ 6.87519
8.24/8.34 c GLOBAL bounds - >= 0 @ 6.88972
8.24/8.36 c GLOBAL bounds - >= 0 @ 6.90699
8.34/8.41 c GLOBAL bounds - >= 0 @ 6.95427
8.34/8.42 c GLOBAL bounds - >= 0 @ 6.96475
8.34/8.47 c GLOBAL bounds - >= 0 @ 7.01363
8.63/8.70 c GLOBAL bounds - >= 0 @ 7.24629
8.63/8.75 c GLOBAL bounds - >= 0 @ 7.29746
8.63/8.78 c GLOBAL bounds - >= 0 @ 7.32315
8.63/8.79 c GLOBAL bounds - >= 0 @ 7.33344
8.73/8.82 c GLOBAL bounds - >= 0 @ 7.35903
8.73/8.84 c GLOBAL bounds - >= 0 @ 7.37939
8.73/8.86 c GLOBAL bounds - >= 0 @ 7.40325
8.73/8.88 c GLOBAL bounds - >= 0 @ 7.4144
9.64/9.80 c GLOBAL bounds - >= 0 @ 8.31157
9.74/9.88 c GLOBAL bounds - >= 0 @ 8.39753
9.84/9.91 c GLOBAL bounds - >= 0 @ 8.42512
9.84/9.97 c GLOBAL bounds - >= 0 @ 8.48097
9.84/10.00 c GLOBAL bounds - >= 0 @ 8.50742
9.94/10.01 c GLOBAL bounds - >= 0 @ 8.5233
9.94/10.03 c GLOBAL bounds - >= 0 @ 8.53744
9.94/10.05 c GLOBAL bounds - >= 0 @ 8.55802
9.94/10.06 c GLOBAL bounds - >= 0 @ 8.57348
9.94/10.07 c GLOBAL bounds - >= 0 @ 8.5849
10.04/10.11 c GLOBAL bounds - >= 0 @ 8.61396
10.04/10.13 c GLOBAL bounds - >= 0 @ 8.63247
10.04/10.15 c GLOBAL bounds - >= 0 @ 8.64925
10.04/10.16 c GLOBAL bounds - >= 0 @ 8.66581
10.24/10.32 c GLOBAL bounds - >= 0 @ 8.81286
10.24/10.38 c GLOBAL bounds - >= 0 @ 8.87287
10.33/10.40 c GLOBAL bounds - >= 0 @ 8.88786
10.33/10.42 c GLOBAL bounds - >= 0 @ 8.90726
10.33/10.46 c GLOBAL bounds - >= 0 @ 8.94742
10.33/10.49 c GLOBAL bounds - >= 0 @ 8.97496
10.44/10.52 c GLOBAL bounds - >= 0 @ 9.00099
10.44/10.53 c GLOBAL bounds - >= 0 @ 9.01157
10.53/10.63 c GLOBAL bounds - >= 0 @ 9.10597
10.53/10.67 c GLOBAL bounds - >= 0 @ 9.14408
10.63/10.71 c GLOBAL bounds - >= 0 @ 9.18717
10.63/10.73 c GLOBAL bounds - >= 0 @ 9.20582
10.63/10.76 c GLOBAL bounds - >= 0 @ 9.22612
10.63/10.79 c GLOBAL bounds - >= 0 @ 9.25168
10.73/10.80 c GLOBAL bounds - >= 0 @ 9.26038
10.73/10.81 c GLOBAL bounds - >= 0 @ 9.27078
10.73/10.83 c GLOBAL bounds - >= 0 @ 9.2941
10.73/10.85 c GLOBAL bounds - >= 0 @ 9.3106
10.73/10.88 c GLOBAL bounds - >= 0 @ 9.33289
10.83/10.91 c GLOBAL bounds - >= 0 @ 9.3617
10.83/10.94 c GLOBAL bounds - >= 0 @ 9.3938
10.83/10.96 c GLOBAL bounds - >= 0 @ 9.40323
10.83/10.97 c GLOBAL bounds - >= 0 @ 9.41959
10.94/11.00 c GLOBAL bounds - >= 0 @ 9.44364
10.94/11.02 c GLOBAL bounds - >= 0 @ 9.4589
10.94/11.04 c GLOBAL bounds - >= 0 @ 9.48051
10.94/11.07 c GLOBAL bounds - >= 0 @ 9.50552
10.94/11.09 c GLOBAL bounds - >= 0 @ 9.52008
11.03/11.12 c GLOBAL bounds - >= 0 @ 9.54405
11.03/11.14 c GLOBAL bounds - >= 0 @ 9.56532
11.03/11.17 c GLOBAL bounds - >= 0 @ 9.59035
11.03/11.18 c GLOBAL bounds - >= 0 @ 9.5997
11.13/11.20 c GLOBAL bounds - >= 0 @ 9.61369
11.13/11.21 c GLOBAL bounds - >= 0 @ 9.62597
11.13/11.24 c GLOBAL bounds - >= 0 @ 9.65256
11.13/11.25 c GLOBAL bounds - >= 0 @ 9.66119
11.13/11.27 c GLOBAL bounds - >= 0 @ 9.67759
11.22/11.38 c GLOBAL bounds - >= 0 @ 9.7777
12.03/12.18 c GLOBAL bounds - >= 0 @ 10.5662
12.12/12.26 c GLOBAL bounds - >= 0 @ 10.6441
12.12/12.28 c GLOBAL bounds - >= 0 @ 10.6609
12.23/12.30 c GLOBAL bounds - >= 0 @ 10.6784
12.23/12.32 c GLOBAL bounds - >= 0 @ 10.6932
12.23/12.34 c GLOBAL bounds - >= 0 @ 10.7133
12.23/12.36 c GLOBAL bounds - >= 0 @ 10.7292
12.32/12.49 c GLOBAL bounds - >= 0 @ 10.8541
12.42/12.51 c GLOBAL bounds - >= 0 @ 10.8708
12.42/12.55 c GLOBAL bounds - >= 0 @ 10.908
12.42/12.57 c GLOBAL bounds - >= 0 @ 10.9241
12.83/12.99 c #Conflicts: 2000 | #Constraints: 659302
12.83/12.99 c INPROCESSING
12.83/12.99 c GLOBAL bounds - >= 0 @ 11.3391
12.93/13.02 c GLOBAL bounds - >= 0 @ 11.3749
12.93/13.04 c GLOBAL bounds - >= 0 @ 11.3935
12.93/13.06 c GLOBAL bounds - >= 0 @ 11.4131
12.93/13.08 c GLOBAL bounds - >= 0 @ 11.4277
13.03/13.11 c GLOBAL bounds - >= 0 @ 11.4673
13.03/13.13 c GLOBAL bounds - >= 0 @ 11.4829
13.03/13.16 c GLOBAL bounds - >= 0 @ 11.5087
13.03/13.19 c GLOBAL bounds - >= 0 @ 11.5341
13.12/13.21 c GLOBAL bounds - >= 0 @ 11.56
13.12/13.24 c GLOBAL bounds - >= 0 @ 11.5825
13.42/13.50 c GLOBAL bounds - >= 0 @ 11.8401
13.42/13.55 c GLOBAL bounds - >= 0 @ 11.8826
13.42/13.59 c GLOBAL bounds - >= 0 @ 11.9269
13.53/13.61 c GLOBAL bounds - >= 0 @ 11.9438
13.62/13.75 c GLOBAL bounds - >= 0 @ 12.0854
13.62/13.80 c GLOBAL bounds - >= 0 @ 12.125
13.72/13.82 c GLOBAL bounds - >= 0 @ 12.1475
13.72/13.84 c GLOBAL bounds - >= 0 @ 12.1691
13.82/13.91 c GLOBAL bounds - >= 0 @ 12.2271
13.82/13.93 c GLOBAL bounds - >= 0 @ 12.2501
13.82/13.97 c GLOBAL bounds - >= 0 @ 12.2902
14.12/14.29 c GLOBAL bounds - >= 0 @ 12.5963
14.62/14.74 c GLOBAL bounds - >= 0 @ 13.0355
14.82/14.91 c GLOBAL bounds - >= 0 @ 13.1898
14.82/14.92 c GLOBAL bounds - >= 0 @ 13.2033
14.82/14.94 c GLOBAL bounds - >= 0 @ 13.2155
14.82/14.96 c GLOBAL bounds - >= 0 @ 13.2371
14.92/15.02 c GLOBAL bounds - >= 0 @ 13.2987
15.12/15.23 c GLOBAL bounds - >= 0 @ 13.5024
15.22/15.31 c GLOBAL bounds - >= 0 @ 13.578
15.22/15.36 c GLOBAL bounds - >= 0 @ 13.6211
15.22/15.41 c GLOBAL bounds - >= 0 @ 13.6528
15.33/15.41 c GLOBAL bounds - >= 0 @ 13.6692
15.33/15.44 c GLOBAL bounds - >= 0 @ 13.6981
15.42/15.58 c GLOBAL bounds - >= 0 @ 13.8163
15.70/15.82 c GLOBAL bounds - >= 0 @ 14.043
15.70/15.86 c GLOBAL bounds - >= 0 @ 14.0804
15.70/15.89 c GLOBAL bounds - >= 0 @ 14.1107
16.11/16.28 c GLOBAL bounds - >= 0 @ 14.4899
16.21/16.36 c GLOBAL bounds - >= 0 @ 14.5641
16.31/16.47 c GLOBAL bounds - >= 0 @ 14.6694
16.40/16.51 c GLOBAL bounds - >= 0 @ 14.7108
16.40/16.54 c GLOBAL bounds - >= 0 @ 14.7337
16.40/16.56 c GLOBAL bounds - >= 0 @ 14.7589
16.40/16.59 c GLOBAL bounds - >= 0 @ 14.7859
16.50/16.63 c GLOBAL bounds - >= 0 @ 14.816
16.50/16.69 c GLOBAL bounds - >= 0 @ 14.8693
16.60/16.71 c GLOBAL bounds - >= 0 @ 14.8862
16.60/16.73 c GLOBAL bounds - >= 0 @ 14.909
16.60/16.77 c GLOBAL bounds - >= 0 @ 14.9488
16.70/16.81 c GLOBAL bounds - >= 0 @ 14.9802
16.70/16.85 c GLOBAL bounds - >= 0 @ 15.0218
16.80/16.91 c GLOBAL bounds - >= 0 @ 15.0757
16.80/17.00 c GLOBAL bounds - >= 0 @ 15.1545
16.91/17.03 c GLOBAL bounds - >= 0 @ 15.1851
16.91/17.07 c GLOBAL bounds - >= 0 @ 15.2208
17.00/17.12 c GLOBAL bounds - >= 0 @ 15.2637
17.00/17.14 c GLOBAL bounds - >= 0 @ 15.2871
17.00/17.17 c GLOBAL bounds - >= 0 @ 15.3099
17.10/17.20 c GLOBAL bounds - >= 0 @ 15.3356
17.10/17.22 c GLOBAL bounds - >= 0 @ 15.3543
17.10/17.24 c GLOBAL bounds - >= 0 @ 15.3705
17.10/17.25 c GLOBAL bounds - >= 0 @ 15.3837
17.10/17.27 c GLOBAL bounds - >= 0 @ 15.4031
17.20/17.30 c GLOBAL bounds - >= 0 @ 15.4258
17.20/17.32 c GLOBAL bounds - >= 0 @ 15.4401
17.20/17.35 c GLOBAL bounds - >= 0 @ 15.4733
17.31/17.42 c GLOBAL bounds - >= 0 @ 15.533
17.31/17.46 c GLOBAL bounds - >= 0 @ 15.5743
17.40/17.51 c GLOBAL bounds - >= 0 @ 15.6227
17.40/17.54 c GLOBAL bounds - >= 0 @ 15.6501
17.40/17.59 c GLOBAL bounds - >= 0 @ 15.6982
17.51/17.63 c GLOBAL bounds - >= 0 @ 15.7329
19.80/19.95 c #Conflicts: 3000 | #Constraints: 659455
19.80/19.95 c GLOBAL bounds - >= 0 @ 18.0062
19.80/19.96 c GLOBAL bounds - >= 0 @ 18.0225
20.20/20.35 c GLOBAL bounds - >= 0 @ 18.3989
20.29/20.41 c GLOBAL bounds - >= 0 @ 18.4599
20.29/20.49 c GLOBAL bounds - >= 0 @ 18.5349
20.49/20.60 c GLOBAL bounds - >= 0 @ 18.636
20.49/20.63 c GLOBAL bounds - >= 0 @ 18.6686
21.39/21.52 c GLOBAL bounds - >= 0 @ 19.5277
21.39/21.59 c GLOBAL bounds - >= 0 @ 19.6005
21.49/21.61 c GLOBAL bounds - >= 0 @ 19.6171
21.49/21.64 c GLOBAL bounds - >= 0 @ 19.6478
21.49/21.68 c GLOBAL bounds - >= 0 @ 19.6891
21.59/21.70 c GLOBAL bounds - >= 0 @ 19.7055
21.59/21.73 c GLOBAL bounds - >= 0 @ 19.7272
21.59/21.79 c GLOBAL bounds - >= 0 @ 19.7873
21.99/22.13 c GLOBAL bounds - >= 0 @ 20.1159
22.09/22.20 c GLOBAL bounds - >= 0 @ 20.1808
22.09/22.23 c GLOBAL bounds - >= 0 @ 20.2063
22.09/22.27 c GLOBAL bounds - >= 0 @ 20.2446
22.19/22.33 c GLOBAL bounds - >= 0 @ 20.3045
22.59/22.74 c GLOBAL bounds - >= 0 @ 20.6947
22.79/22.92 c GLOBAL bounds - >= 0 @ 20.8734
22.89/23.02 c GLOBAL bounds - >= 0 @ 20.9703
22.99/23.11 c GLOBAL bounds - >= 0 @ 21.0489
23.09/23.21 c GLOBAL bounds - >= 0 @ 21.1481
23.09/23.27 c GLOBAL bounds - >= 0 @ 21.1965
23.19/23.30 c GLOBAL bounds - >= 0 @ 21.2287
23.39/23.50 c GLOBAL bounds - >= 0 @ 21.418
23.39/23.57 c GLOBAL bounds - >= 0 @ 21.4884
23.78/23.93 c GLOBAL bounds - >= 0 @ 21.8293
23.89/24.05 c GLOBAL bounds - >= 0 @ 21.9428
23.99/24.15 c GLOBAL bounds - >= 0 @ 22.0371
24.08/24.20 c GLOBAL bounds - >= 0 @ 22.0802
24.08/24.26 c GLOBAL bounds - >= 0 @ 22.1361
24.08/24.28 c GLOBAL bounds - >= 0 @ 22.1571
24.28/24.40 c GLOBAL bounds - >= 0 @ 22.2719
25.98/26.16 c #Conflicts: 4000 | #Constraints: 660527
25.98/26.16 c INPROCESSING
25.98/26.16 c GARBAGE COLLECT
25.98/26.16 c GLOBAL bounds - >= 0 @ 24.0017
26.08/26.27 c GLOBAL bounds - >= 0 @ 24.106
26.58/26.72 c GLOBAL bounds - >= 0 @ 24.5451
26.67/26.85 c GLOBAL bounds - >= 0 @ 24.6694
26.78/26.92 c GLOBAL bounds - >= 0 @ 24.7352
26.78/26.93 c GLOBAL bounds - >= 0 @ 24.7497
26.78/26.98 c GLOBAL bounds - >= 0 @ 24.7933
26.88/27.06 c GLOBAL bounds - >= 0 @ 24.871
27.18/27.34 c GLOBAL bounds - >= 0 @ 25.1405
27.28/27.49 c GLOBAL bounds - >= 0 @ 25.2949
27.37/27.51 c GLOBAL bounds - >= 0 @ 25.3146
27.37/27.55 c GLOBAL bounds - >= 0 @ 25.3463
27.37/27.58 c GLOBAL bounds - >= 0 @ 25.3766
27.78/27.98 c GLOBAL bounds - >= 0 @ 25.7599
27.88/28.01 c GLOBAL bounds - >= 0 @ 25.787
27.88/28.05 c GLOBAL bounds - >= 0 @ 25.8164
27.97/28.13 c GLOBAL bounds - >= 0 @ 25.8939
28.17/28.36 c GLOBAL bounds - >= 0 @ 26.125
28.27/28.45 c GLOBAL bounds - >= 0 @ 26.209
28.47/28.65 c GLOBAL bounds - >= 0 @ 26.4043
28.57/28.73 c GLOBAL bounds - >= 0 @ 26.4774
28.57/28.77 c GLOBAL bounds - >= 0 @ 26.5122
28.67/28.84 c GLOBAL bounds - >= 0 @ 26.5795
31.36/31.59 c #Conflicts: 5000 | #Constraints: 659984
31.36/31.59 c GLOBAL bounds - >= 0 @ 29.2923
31.66/31.87 c GLOBAL bounds - >= 0 @ 29.5634
31.76/31.94 c GLOBAL bounds - >= 0 @ 29.6271
34.06/34.21 c GLOBAL bounds - >= 0 @ 31.8733
34.06/34.26 c GLOBAL bounds - >= 0 @ 31.9158
34.15/34.31 c GLOBAL bounds - >= 0 @ 31.9581
34.15/34.34 c GLOBAL bounds - >= 0 @ 31.9843
40.33/40.54 c #Conflicts: 6000 | #Constraints: 660998
40.33/40.54 c GLOBAL bounds - >= 0 @ 38.0778
43.52/43.76 c INPROCESSING
43.52/43.76 c GARBAGE COLLECT
43.52/43.76 c GLOBAL bounds - >= 0 @ 41.2198
44.72/45.00 c GLOBAL bounds - >= 0 @ 42.4389
57.98/58.24 c #Conflicts: 7000 | #Constraints: 660004
57.98/58.24 c #Conflicts: 8000 | #Constraints: 661004
57.98/58.24 c GLOBAL bounds - >= 0 @ 55.5165
60.77/61.04 c GLOBAL bounds - >= 0 @ 58.2846
61.26/61.51 c GLOBAL bounds - >= 0 @ 58.7567
157.75/158.36 c #Conflicts: 9000 | #Constraints: 662010
157.75/158.36 c INPROCESSING
157.75/158.36 c GARBAGE COLLECT
157.75/158.36 c #Conflicts: 10000 | #Constraints: 660708
157.75/158.36 c #Conflicts: 11000 | #Constraints: 661708
157.75/158.36 c #Conflicts: 12000 | #Constraints: 662708
157.75/158.36 c INPROCESSING
157.75/158.36 c GARBAGE COLLECT
157.75/158.36 c #Conflicts: 13000 | #Constraints: 661162
157.75/158.36 c #Conflicts: 14000 | #Constraints: 662162
157.75/158.36 c #Conflicts: 15000 | #Constraints: 663162
157.75/158.36 c INPROCESSING
157.75/158.36 c GARBAGE COLLECT
157.75/158.36 c GLOBAL bounds - >= 0 @ 154.493
210.38/211.13 c #Conflicts: 16000 | #Constraints: 661392
210.38/211.13 c #Conflicts: 17000 | #Constraints: 662392
210.38/211.13 c #Conflicts: 18000 | #Constraints: 663392
210.38/211.13 c INPROCESSING
210.38/211.13 c GARBAGE COLLECT
210.38/211.13 c #Conflicts: 19000 | #Constraints: 661414
210.38/211.13 c GLOBAL bounds - >= 0 @ 206.684
214.26/215.06 c GLOBAL bounds - >= 0 @ 210.58
214.46/215.20 c GLOBAL bounds - >= 0 @ 210.712
223.83/224.65 c #Conflicts: 20000 | #Constraints: 662420
223.83/224.65 c GLOBAL bounds - >= 0 @ 220.035
224.43/225.23 c GLOBAL bounds - >= 0 @ 220.602
226.22/227.04 c #Conflicts: 21000 | #Constraints: 663424
226.22/227.04 c GLOBAL bounds - >= 0 @ 222.4
228.81/229.61 c GLOBAL bounds - >= 0 @ 224.929
229.11/229.91 c GLOBAL bounds - >= 0 @ 225.225
229.41/230.23 c GLOBAL bounds - >= 0 @ 225.543
229.51/230.38 c GLOBAL bounds - >= 0 @ 225.69
229.61/230.43 c GLOBAL bounds - >= 0 @ 225.73
230.31/231.13 c GLOBAL bounds - >= 0 @ 226.402
242.56/243.42 c INPROCESSING
242.56/243.42 c GARBAGE COLLECT
242.56/243.42 c #Conflicts: 22000 | #Constraints: 661238
242.56/243.42 c GLOBAL bounds - >= 0 @ 238.523
242.96/243.83 c GLOBAL bounds - >= 0 @ 238.919
246.75/247.69 c #Conflicts: 23000 | #Constraints: 662242
246.75/247.69 c GLOBAL bounds - >= 0 @ 242.739
250.93/251.85 c GLOBAL bounds - >= 0 @ 246.825
250.93/251.88 c GLOBAL bounds - >= 0 @ 246.861
263.29/264.21 c #Conflicts: 24000 | #Constraints: 663248
263.29/264.21 c GLOBAL bounds - >= 0 @ 259.008
271.96/272.92 c #Conflicts: 25000 | #Constraints: 664250
271.96/272.92 c INPROCESSING
271.96/272.92 c GARBAGE COLLECT
271.96/272.92 c GLOBAL bounds - >= 0 @ 267.611
272.26/273.24 c GLOBAL bounds - >= 0 @ 267.928
283.42/284.41 c #Conflicts: 26000 | #Constraints: 661859
283.42/284.41 c #Conflicts: 27000 | #Constraints: 662859
283.42/284.41 c GLOBAL bounds - >= 0 @ 278.905
284.12/285.14 c GLOBAL bounds - >= 0 @ 279.63
284.21/285.29 c GLOBAL bounds - >= 0 @ 279.778
291.30/292.30 c GLOBAL bounds - >= 0 @ 286.696
296.98/298.07 c #Conflicts: 28000 | #Constraints: 663867
296.98/298.07 c GLOBAL bounds - >= 0 @ 292.38
1732.11/1737.91 c #Conflicts: 29000 | #Constraints: 664869
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 30000 | #Constraints: 662263
1732.11/1737.91 c #Conflicts: 31000 | #Constraints: 663263
1732.11/1737.91 c #Conflicts: 32000 | #Constraints: 664263
1732.11/1737.91 c #Conflicts: 33000 | #Constraints: 665263
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 34000 | #Constraints: 662463
1732.11/1737.91 c #Conflicts: 35000 | #Constraints: 663463
1732.11/1737.91 c #Conflicts: 36000 | #Constraints: 664463
1732.11/1737.91 c #Conflicts: 37000 | #Constraints: 665463
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 38000 | #Constraints: 662468
1732.11/1737.91 c #Conflicts: 39000 | #Constraints: 663468
1732.11/1737.91 c #Conflicts: 40000 | #Constraints: 664468
1732.11/1737.91 c #Conflicts: 41000 | #Constraints: 665468
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 42000 | #Constraints: 662272
1732.11/1737.91 c #Conflicts: 43000 | #Constraints: 663272
1732.11/1737.91 c #Conflicts: 44000 | #Constraints: 664272
1732.11/1737.91 c #Conflicts: 45000 | #Constraints: 665272
1732.11/1737.91 c #Conflicts: 46000 | #Constraints: 666272
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 47000 | #Constraints: 662861
1732.11/1737.91 c #Conflicts: 48000 | #Constraints: 663861
1732.11/1737.91 c #Conflicts: 49000 | #Constraints: 664861
1732.11/1737.91 c #Conflicts: 50000 | #Constraints: 665861
1732.11/1737.91 c #Conflicts: 51000 | #Constraints: 666861
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 52000 | #Constraints: 663270
1732.11/1737.91 c #Conflicts: 53000 | #Constraints: 664270
1732.11/1737.91 c #Conflicts: 54000 | #Constraints: 665270
1732.11/1737.91 c #Conflicts: 55000 | #Constraints: 666270
1732.11/1737.91 c #Conflicts: 56000 | #Constraints: 667270
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 57000 | #Constraints: 663469
1732.11/1737.91 c #Conflicts: 58000 | #Constraints: 664469
1732.11/1737.91 c #Conflicts: 59000 | #Constraints: 665469
1732.11/1737.91 c #Conflicts: 60000 | #Constraints: 666469
1732.11/1737.91 c #Conflicts: 61000 | #Constraints: 667469
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 62000 | #Constraints: 663470
1732.11/1737.91 c #Conflicts: 63000 | #Constraints: 664470
1732.11/1737.91 c #Conflicts: 64000 | #Constraints: 665470
1732.11/1737.91 c #Conflicts: 65000 | #Constraints: 666470
1732.11/1737.91 c #Conflicts: 66000 | #Constraints: 667470
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 67000 | #Constraints: 663269
1732.11/1737.91 c #Conflicts: 68000 | #Constraints: 664269
1732.11/1737.91 c #Conflicts: 69000 | #Constraints: 665269
1732.11/1737.91 c #Conflicts: 70000 | #Constraints: 666269
1732.11/1737.91 c #Conflicts: 71000 | #Constraints: 667269
1732.11/1737.91 c #Conflicts: 72000 | #Constraints: 668269
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 73000 | #Constraints: 663864
1732.11/1737.91 c #Conflicts: 74000 | #Constraints: 664864
1732.11/1737.91 c #Conflicts: 75000 | #Constraints: 665864
1732.11/1737.91 c #Conflicts: 76000 | #Constraints: 666864
1732.11/1737.91 c #Conflicts: 77000 | #Constraints: 667864
1732.11/1737.91 c #Conflicts: 78000 | #Constraints: 668864
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 79000 | #Constraints: 664265
1732.11/1737.91 c #Conflicts: 80000 | #Constraints: 665265
1732.11/1737.91 c #Conflicts: 81000 | #Constraints: 666265
1732.11/1737.91 c #Conflicts: 82000 | #Constraints: 667265
1732.11/1737.91 c #Conflicts: 83000 | #Constraints: 668265
1732.11/1737.91 c #Conflicts: 84000 | #Constraints: 669265
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 85000 | #Constraints: 664473
1732.11/1737.91 c #Conflicts: 86000 | #Constraints: 665473
1732.11/1737.91 c #Conflicts: 87000 | #Constraints: 666473
1732.11/1737.91 c #Conflicts: 88000 | #Constraints: 667473
1732.11/1737.91 c #Conflicts: 89000 | #Constraints: 668473
1732.11/1737.91 c #Conflicts: 90000 | #Constraints: 669473
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 91000 | #Constraints: 664470
1732.11/1737.91 c #Conflicts: 92000 | #Constraints: 665470
1732.11/1737.91 c #Conflicts: 93000 | #Constraints: 666470
1732.11/1737.91 c #Conflicts: 94000 | #Constraints: 667470
1732.11/1737.91 c #Conflicts: 95000 | #Constraints: 668470
1732.11/1737.91 c #Conflicts: 96000 | #Constraints: 669470
1732.11/1737.91 c INPROCESSING
1732.11/1737.91 c GARBAGE COLLECT
1732.11/1737.91 c #Conflicts: 97000 | #Constraints: 664282
1732.11/1737.91 c #Conflicts: 98000 | #Constraints: 665282
2753.55/2762.63 c #Conflicts: 99000 | #Constraints: 666282
2753.55/2762.63 c #Conflicts: 100000 | #Constraints: 667282
2753.55/2762.63 c #Conflicts: 101000 | #Constraints: 668282
2753.55/2762.63 c #Conflicts: 102000 | #Constraints: 669282
2753.55/2762.63 c #Conflicts: 103000 | #Constraints: 670282
2753.55/2762.63 c INPROCESSING
2753.55/2762.63 c GARBAGE COLLECT
2753.55/2762.63 c #Conflicts: 104000 | #Constraints: 664874
2753.55/2762.63 c #Conflicts: 105000 | #Constraints: 665874
2753.55/2762.63 c #Conflicts: 106000 | #Constraints: 666874
2753.55/2762.63 c #Conflicts: 107000 | #Constraints: 667874
2753.55/2762.63 c #Conflicts: 108000 | #Constraints: 668874
2753.55/2762.63 c #Conflicts: 109000 | #Constraints: 669874
2753.55/2762.63 c #Conflicts: 110000 | #Constraints: 670874
2753.55/2762.63 c INPROCESSING
2753.55/2762.63 c GARBAGE COLLECT
2753.55/2762.63 c #Conflicts: 111000 | #Constraints: 665277
2753.55/2762.63 c #Conflicts: 112000 | #Constraints: 666277
2753.55/2762.63 c #Conflicts: 113000 | #Constraints: 667277
2753.55/2762.63 c #Conflicts: 114000 | #Constraints: 668277
2753.55/2762.63 c #Conflicts: 115000 | #Constraints: 669277
2753.55/2762.63 c #Conflicts: 116000 | #Constraints: 670277
2753.55/2762.63 c #Conflicts: 117000 | #Constraints: 671277
2753.55/2762.63 c INPROCESSING
2753.55/2762.63 c GARBAGE COLLECT
2753.55/2762.63 c #Conflicts: 118000 | #Constraints: 665474
2753.55/2762.63 c #Conflicts: 119000 | #Constraints: 666474
2753.55/2762.63 c #Conflicts: 120000 | #Constraints: 667474
2753.55/2762.63 c #Conflicts: 121000 | #Constraints: 668474
2753.55/2762.63 c #Conflicts: 122000 | #Constraints: 669474
2753.55/2762.63 c #Conflicts: 123000 | #Constraints: 670474
2753.55/2762.63 c #Conflicts: 124000 | #Constraints: 671474
2753.55/2762.63 c INPROCESSING
2753.55/2762.63 c GARBAGE COLLECT
2753.55/2762.63 c #Conflicts: 125000 | #Constraints: 665480
2753.55/2762.63 c #Conflicts: 126000 | #Constraints: 666480
2753.55/2762.63 c #Conflicts: 127000 | #Constraints: 667480
2753.55/2762.63 c #Conflicts: 128000 | #Constraints: 668480
2753.55/2762.63 c #Conflicts: 129000 | #Constraints: 669480
2753.55/2762.63 c #Conflicts: 130000 | #Constraints: 670480
2753.55/2762.63 c #Conflicts: 131000 | #Constraints: 671480
2753.55/2762.63 c INPROCESSING
2753.55/2762.63 c GARBAGE COLLECT
2753.55/2762.63 c #Conflicts: 132000 | #Constraints: 665275
2753.55/2762.63 c #Conflicts: 133000 | #Constraints: 666275
2753.55/2762.63 c GLOBAL bounds - >= 0 @ 2737.65
3024.96/3034.94 c #Conflicts: 134000 | #Constraints: 667277
3024.96/3034.94 c #Conflicts: 135000 | #Constraints: 668277
3024.96/3034.94 c #Conflicts: 136000 | #Constraints: 669277
3024.96/3034.94 c #Conflicts: 137000 | #Constraints: 670277
3024.96/3034.94 c #Conflicts: 138000 | #Constraints: 671277
3024.96/3034.94 c #Conflicts: 139000 | #Constraints: 672277
3024.96/3034.94 c INPROCESSING
3024.96/3034.94 c GARBAGE COLLECT
3024.96/3034.94 c #Conflicts: 140000 | #Constraints: 665880
3024.96/3034.94 c #Conflicts: 141000 | #Constraints: 666880
3024.96/3034.94 c #Conflicts: 142000 | #Constraints: 667880
3024.96/3034.94 c #Conflicts: 143000 | #Constraints: 668880
3024.96/3034.94 c #Conflicts: 144000 | #Constraints: 669880
3024.96/3034.94 c #Conflicts: 145000 | #Constraints: 670880
3024.96/3034.94 c #Conflicts: 146000 | #Constraints: 671880
3024.96/3034.94 c #Conflicts: 147000 | #Constraints: 672880
3024.96/3034.94 c INPROCESSING
3024.96/3034.94 c GARBAGE COLLECT
3024.96/3034.94 c GLOBAL bounds - >= 0 @ 3007.77
3600.08/3611.80 c #Conflicts: 148000 | #Constraints: 666287
3600.08/3611.80 c #Conflicts: 149000 | #Constraints: 667287
3600.08/3611.80 c #Conflicts: 150000 | #Constraints: 668287
3600.08/3611.80 c #Conflicts: 151000 | #Constraints: 669287
3600.08/3611.80 c #Conflicts: 152000 | #Constraints: 670287
3600.08/3611.80 c #Conflicts: 153000 | #Constraints: 671287
3600.08/3611.80 c #Conflicts: 154000 | #Constraints: 672287
3600.08/3611.80 c #Conflicts: 155000 | #Constraints: 673287
3600.08/3611.80 c INPROCESSING
3600.08/3611.80 c GARBAGE COLLECT
3600.08/3611.80 c #Conflicts: 156000 | #Constraints: 666481
3600.08/3611.80 c #Conflicts: 157000 | #Constraints: 667481
3600.08/3611.80 c #Conflicts: 158000 | #Constraints: 668481
3600.08/3611.80 c #Conflicts: 159000 | #Constraints: 669481
3600.08/3611.80 c #Conflicts: 160000 | #Constraints: 670481
3600.08/3611.80 c #Conflicts: 161000 | #Constraints: 671481
3600.08/3611.80 c #Conflicts: 162000 | #Constraints: 672481
3600.08/3611.80 c #Conflicts: 163000 | #Constraints: 673481
3600.08/3611.80 c INPROCESSING
3600.08/3611.80 c GARBAGE COLLECT
3600.08/3611.80 c #Conflicts: 164000 | #Constraints: 666474
3600.08/3611.80 c #Conflicts: 165000 | #Constraints: 667474
3600.08/3611.80 c #Conflicts: 166000 | #Constraints: 668474
3600.08/3611.80 c #Conflicts: 167000 | #Constraints: 669474
3600.08/3611.80 c #Conflicts: 168000 | #Constraints: 670474
3600.08/3611.80 c #Conflicts: 169000 | #Constraints: 671474
3600.08/3611.80 c #Conflicts: 170000 | #Constraints: 672474
3600.08/3611.80 c #Conflicts: 171000 | #Constraints: 673474
3600.08/3611.80 c INPROCESSING
3600.08/3611.80 c GARBAGE COLLECT
3600.08/3611.80 c #Conflicts: 172000 | #Constraints: 666270
3600.08/3611.80 c cpu time 3580.1 s
3600.08/3611.80 c deterministic time 1 1.00e+00
3600.08/3611.80 c optimization time 3577.72 s
3600.08/3611.80 c total solve time 0 s
3600.08/3611.80 c core-guided solve time 0 s
3600.08/3611.80 c propagation time 0.20683 s
3600.08/3611.80 c conflict analysis time 0 s
3600.08/3611.80 c propagations 0
3600.08/3611.80 c resolve steps 0
3600.08/3611.80 c decisions 0
3600.08/3611.80 c conflicts 0
3600.08/3611.80 c restarts 0
3600.08/3611.80 c inprocessing phases 0
3600.08/3611.80 c garbage collections 0 ,( -nan )
3600.08/3611.80 c input clauses 656900 ,( 100.00 )
3600.08/3611.80 c input cardinalities 0 ,( 0.00 )
3600.08/3611.80 c input general constraints 0 ,( 0.00 )
3600.08/3611.80 c input average constraint length 2.03
3600.08/3611.80 c input average constraint degree 1.00
3600.08/3611.80 c learned clauses 0 ,( 0.00 )
3600.08/3611.80 c learned cardinalities 0 ,( 0.00 )
3600.08/3611.80 c learned general constraints 0 ,( 0.00 )
3600.08/3611.80 c learned average constraint length 0.00
3600.08/3611.80 c learned average constraint degree 0.00
3600.08/3611.80 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3611.80 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.08/3611.80 c watched constraints 0 ,( -nan )
3600.08/3611.80 c counting constraints 0 ,( -nan )
3600.08/3611.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3611.80 c gcd simplifications 0
3600.08/3611.80 c detected cardinalities 0
3600.08/3611.80 c weakened non-implied lits 0
3600.08/3611.80 c weakened non-implying lits 0
3600.08/3611.80 c original variables 10000
3600.08/3611.80 c clausal propagations 0
3600.08/3611.80 c cardinality propagations 0
3600.08/3611.80 c watched propagations 0
3600.08/3611.80 c counting propagations 0
3600.08/3611.80 c watch lookups 0
3600.08/3611.80 c watch backjump lookups 0
3600.08/3611.80 c watch checks 0
3600.08/3611.80 c propagation checks 0
3600.08/3611.80 c constraint additions 0
3600.08/3611.80 c trail pops 0
3600.08/3611.80 c formula constraints 656900
3600.08/3611.80 c learned constraints 0
3600.08/3611.80 c bound constraints 0
3600.08/3611.80 c core-guided constraints 0
3600.08/3611.80 c encountered formula constraints 0
3600.08/3611.80 c encountered learned constraints 0
3600.08/3611.80 c encountered bound constraints 0
3600.08/3611.80 c encountered core-guided constraints 0
3600.08/3611.80 c LP total time 0 s
3600.08/3611.80 c LP solve time 0 s
3600.08/3611.80 c LP constraints added 0
3600.08/3611.80 c LP constraints removed 0
3600.08/3611.80 c LP pivots internal 0
3600.08/3611.80 c LP pivots root 0
3600.08/3611.80 c LP calls 0
3600.08/3611.80 c LP optimalities 0
3600.08/3611.80 c LP no pivot count 0
3600.08/3611.80 c LP infeasibilities 0
3600.08/3611.80 c LP valid Farkas constraints 0
3600.08/3611.80 c LP learned Farkas constraints 0
3600.08/3611.80 c LP basis resets 0
3600.08/3611.80 c LP cycling count 0
3600.08/3611.80 c LP singular count 0
3600.08/3611.80 c LP no primal count 0
3600.08/3611.80 c LP no farkas count 0
3600.08/3611.80 c LP other issue count 0
3600.08/3611.80 c LP Gomory cuts 0
3600.08/3611.80 c LP learned cuts 0
3600.08/3611.80 c LP deleted cuts 0
3600.08/3611.80 c LP encountered Gomory constraints 0
3600.08/3611.80 c LP encountered Farkas constraints 0
3600.08/3611.80 c LP encountered learned Farkas constraints 0
3600.08/3611.80 c CG auxiliary variables introduced 0
3600.08/3611.80 c CG solutions found 0
3600.08/3611.80 c CG cores constructed 0
3600.08/3611.80 c CG core cardinality constraints returned 0
3600.08/3611.80 c CG unit cores 0
3600.08/3611.80 c CG single cores 0
3600.08/3611.80 c CG blocks removed during cardinality reduction 0
3600.08/3611.80 c CG first core best 0
3600.08/3611.80 c CG decision core best 0
3600.08/3611.80 c CG core reduction tie 0
3600.08/3611.80 c CG core degree average 0.00
3600.08/3611.80 c CG core slack average 0.00
3600.08/3611.80 c CG core upper bound improvements 0
3600.08/3611.80 c STR number of successful calls 0
3600.08/3611.80 c STR number of unsuccessful calls 0
3600.08/3611.80 c STR number of inconclusive calls 0
3600.08/3611.80 c STR number of successful attempts 0
3600.08/3611.80 c STR number of unsuccessful attempts 0
3600.08/3611.80 c STR number of inconclusive attempts 0
3600.08/3611.80 c STR average degree increase per successful call inf
3600.08/3611.80 c STR average degree increase per successful attempt inf
3600.08/3611.80 c STR total number of conflicts for successful attempts 0
3600.08/3611.80 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.80 c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.80 c STR average number of conflicts per successful attempt inf
3600.08/3611.80 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.80 c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.80 c AVG.sumWPerc -nan
3600.08/3611.80 c bigint constraints 0
3600.08/3611.80 s UNKNOWN
3600.08/3611.80 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 (62404 MiB free)
memory of node 1: 64465 MiB (63577 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489599-1751361783/watcher-4489599-1751361783 -o /tmp/evaluation-result-4489599-1751361783/solver-4489599-1751361783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52186 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489599-1751361783.opb PROOFDIR/proof-4489599-1751361783
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=52231, runsolver pid=52226
Current StackSize limit: 8192 KiB
[startup+0.100061 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128989132/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=60208 memory=15316 CPUtime=0.07 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 2011 0 0 0 5 2 0 0 20 0 1 0 51854952 61652992 3829 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 15052 3829 1920 1147 0 2479 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64400 KiB
Current children cumulated memory: 18260 KiB
[startup+0.205481 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128976960/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=63676 memory=20808 CPUtime=0.17 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 2863 0 0 0 13 4 0 0 20 0 1 0 51854952 65204224 5202 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 15919 5202 1920 1147 0 3346 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 67868 KiB
Current children cumulated memory: 23752 KiB
[startup+0.305327 s]*
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128960808/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=68380 memory=25288 CPUtime=0.27 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 3981 0 0 0 21 6 0 0 20 0 1 0 51854952 70021120 6322 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 17095 6322 1920 1147 0 4522 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 72572 KiB
Current children cumulated memory: 28232 KiB
[startup+0.700195 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128925528/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=89524 memory=44588 CPUtime=0.66 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 9372 0 0 0 50 16 0 0 20 0 1 0 51854952 91672576 11147 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 22381 11147 1920 1147 0 9808 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 93716 KiB
Current children cumulated memory: 47532 KiB
[startup+1.50019 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=128834680/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=144252 memory=86872 CPUtime=1.46 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 18517 0 0 0 111 35 0 0 20 0 1 0 51854952 147714048 21718 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 36063 21718 1920 1147 0 23490 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 148444 KiB
Current children cumulated memory: 89816 KiB
[startup+3.10532 s]
/proc/loadavg: 0.62 1.02 1.84 5/269 52250
/proc/meminfo: memFree=126577488/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=783176 memory=535156 CPUtime=3.06 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 46722 0 0 0 240 66 0 0 20 0 1 0 51854952 801972224 133789 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 195794 133789 2272 1147 0 183221 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 787368 KiB
Current children cumulated memory: 538100 KiB
[startup+6.30019 s]
/proc/loadavg: 0.89 1.07 1.85 5/269 52250
/proc/meminfo: memFree=124982520/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=1222628 memory=955932 CPUtime=6.24 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 139081 0 0 0 498 126 0 0 20 0 1 0 51854952 1251971072 238983 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 305657 238983 2336 1147 0 293084 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 1226820 KiB
Current children cumulated memory: 958876 KiB
[startup+12.7002 s]
/proc/loadavg: 1.14 1.12 1.86 5/271 52252
/proc/meminfo: memFree=124393872/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=1253448 memory=998940 CPUtime=12.63 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 139617 0 0 0 1105 158 0 0 20 0 1 0 51854952 1283530752 249735 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 313362 249735 2336 1147 0 300789 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 1257640 KiB
Current children cumulated memory: 1001884 KiB
[startup+25.5002 s]
/proc/loadavg: 1.78 1.26 1.90 5/271 52252
/proc/meminfo: memFree=122785968/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=1513984 memory=1194648 CPUtime=25.38 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 164568 0 0 0 2333 205 0 0 20 0 1 0 51854952 1550319616 298662 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 378496 298662 2336 1147 0 365923 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 1518176 KiB
Current children cumulated memory: 1197592 KiB
[startup+51.1055 s]
/proc/loadavg: 2.60 1.50 1.96 5/275 52257
/proc/meminfo: memFree=120592220/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=1752540 memory=1326036 CPUtime=50.91 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 185678 0 0 0 4846 245 0 0 20 0 1 0 51854952 1794600960 331509 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 438135 331509 2336 1147 0 425562 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 1756732 KiB
Current children cumulated memory: 1328980 KiB
[startup+102.3 s]
/proc/loadavg: 3.45 1.90 2.07 5/275 52259
/proc/meminfo: memFree=117133436/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=1906836 memory=1461500 CPUtime=101.94 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 211379 0 0 0 9903 291 0 0 20 0 1 0 51854952 1952600064 365375 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 476709 365375 2336 1147 0 464136 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 1911028 KiB
Current children cumulated memory: 1464444 KiB
[startup+162.3 s]
/proc/loadavg: 3.84 2.30 2.20 5/274 52263
/proc/meminfo: memFree=114755204/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=1967908 memory=1539104 CPUtime=161.73 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 223276 0 0 0 15837 336 0 0 20 0 1 0 51854952 2015137792 384776 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 491977 384776 2336 1147 0 479404 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 1972100 KiB
Current children cumulated memory: 1542048 KiB
[startup+222.3 s]
/proc/loadavg: 3.98 2.63 2.32 5/275 52270
/proc/meminfo: memFree=112469212/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=1968808 memory=1547820 CPUtime=221.53 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 225021 0 0 0 21770 383 0 0 20 0 1 0 51854952 2016059392 386955 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 492202 386955 2336 1147 0 479629 0
################
# More data... #
################
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2873340 memory=2443380 CPUtime=3151.97 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 363257 0 0 0 313410 1787 0 0 20 0 1 0 51854952 2942300160 610845 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 718335 610845 2336 1147 0 705762 0
Current children cumulated CPU time: 3151.97 s
Current children cumulated vsize: 2877532 KiB
Current children cumulated memory: 2446324 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.13 4.05 5/273 52443
/proc/meminfo: memFree=38005040/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2922256 memory=2519948 CPUtime=3211.78 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 374284 0 0 0 319360 1818 0 0 20 0 1 0 51854952 2992390144 629987 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730564 629987 2336 1147 0 717991 0
Current children cumulated CPU time: 3211.78 s
Current children cumulated vsize: 2926448 KiB
Current children cumulated memory: 2522892 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.05 5/273 52445
/proc/meminfo: memFree=36880540/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2922256 memory=2519948 CPUtime=3271.6 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 374284 0 0 0 325305 1855 0 0 20 0 1 0 51854952 2992390144 629987 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730564 629987 2336 1147 0 717991 0
Current children cumulated CPU time: 3271.6 s
Current children cumulated vsize: 2926448 KiB
Current children cumulated memory: 2522892 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.05 5/273 52446
/proc/meminfo: memFree=35476296/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2922256 memory=2519948 CPUtime=3331.41 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 374312 0 0 0 331263 1878 0 0 20 0 1 0 51854952 2992390144 629987 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730564 629987 2336 1147 0 717991 0
Current children cumulated CPU time: 3331.41 s
Current children cumulated vsize: 2926448 KiB
Current children cumulated memory: 2522892 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/274 52450
/proc/meminfo: memFree=34300320/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2922256 memory=2521740 CPUtime=3391.23 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 375314 0 0 0 337224 1899 0 0 20 0 1 0 51854952 2992390144 630435 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730564 630435 2336 1147 0 717991 0
Current children cumulated CPU time: 3391.23 s
Current children cumulated vsize: 2926448 KiB
Current children cumulated memory: 2524684 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.12 4.06 5/274 52452
/proc/meminfo: memFree=32894652/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2922772 memory=2530444 CPUtime=3451.04 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 376019 0 0 0 343168 1936 0 0 20 0 1 0 51854952 2992918528 632611 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730693 632611 2336 1147 0 718120 0
Current children cumulated CPU time: 3451.04 s
Current children cumulated vsize: 2926964 KiB
Current children cumulated memory: 2533388 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/275 52455
/proc/meminfo: memFree=31533772/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2922772 memory=2530444 CPUtime=3510.86 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 376019 0 0 0 349122 1964 0 0 20 0 1 0 51854952 2992918528 632611 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730693 632611 2336 1147 0 718120 0
Current children cumulated CPU time: 3510.86 s
Current children cumulated vsize: 2926964 KiB
Current children cumulated memory: 2533388 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.06 5/275 52457
/proc/meminfo: memFree=30389968/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2922772 memory=2530572 CPUtime=3570.67 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 376536 0 0 0 355084 1983 0 0 20 0 1 0 51854952 2992918528 632643 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730693 632643 2336 1147 0 718120 0
Current children cumulated CPU time: 3570.67 s
Current children cumulated vsize: 2926964 KiB
Current children cumulated memory: 2533516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.22 4.13 4.07 4/268 52467
/proc/meminfo: memFree=32527164/131250000 swapFree=33010684/33010684
[pid=52231] ppid=52226 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/52231/stat : 52231 (run-opt-log.sh) S 52226 52231 52176 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 51854951 4292608 736 18446744073709551615 93857394544640 93857395439173 140721349210928 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93857395678224 93857395725968 93857397899264 140721349216545 140721349216740 140721349216740 140721349222342 0
/proc/52231/statm: 1048 736 672 219 0 110 0
[pid=52237] ppid=52231 vsize=2922960 memory=2530828 CPUtime=3600.08 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52231 52231 52176 0 -1 4194304 376678 0 0 0 358009 1999 0 0 20 0 1 0 51854952 2993111040 632707 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730740 632707 2336 1147 0 718167 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 2927152 KiB
Current children cumulated memory: 2533772 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3611.8 s]
# the end of solver process 52231 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.000655 s, system=0.001491 s
Sleeping 2 seconds
[startup+3612.23 s]
# the end of solver process 52237 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.21 s, system=20.0326 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+3612.01 s]*
/proc/loadavg: 4.22 4.13 4.07 3/265 52467
/proc/meminfo: memFree=32457568/131250000 swapFree=33010684/33010684
[pid=52237] ppid=52226 vsize=2922960 memory=2531212 CPUtime=3600.09 cores=0,2
/proc/52237/stat : 52237 (roundingsat) D 52226 52231 52176 0 -1 4194304 376685 0 0 0 358010 1999 0 0 20 0 1 0 51854952 2993111040 632803 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 730740 632803 2432 1147 0 718167 0
Current cumulated CPU time of completed processes: 0.002146 s
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2922960 KiB
Current children cumulated memory: 2531212 KiB
[startup+3612.2 s]
/proc/loadavg: 4.22 4.13 4.07 3/265 52467
/proc/meminfo: memFree=32457568/131250000 swapFree=33010684/33010684
[pid=52237] ppid=52226 vsize=1592032 memory=1344176 CPUtime=3600.2 cores=0,2
/proc/52237/stat : 52237 (roundingsat) R 52226 52231 52176 0 -1 4194304 376855 0 0 0 358018 2002 0 0 20 0 1 0 51854952 1630240768 336044 18446744073709551615 4227072 8923433 140733492931744 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 32645120 140733492939090 140733492939304 140733492939304 140733492944874 0
/proc/52237/statm: 398008 336044 2432 1147 0 385435 0
Current cumulated CPU time of completed processes: 0.002146 s
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 1592032 KiB
Current children cumulated memory: 1344176 KiB
Child status: 2
Real time (s): 3612.23
CPU time (s): 3600.24
CPU user time (s): 3580.21
CPU system time (s): 20.0326
CPU usage (%): 99.668
Max. virtual memory (cumulated for all children) (KiB): 2927152
Max. memory (cumulated for all children) (KiB): 2533772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.21
system time used= 20.0326
maximum resident set size= 2531212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 38798584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3618
involuntary context switches= 6461
# summary of solver processes directly reported to runsolver:
# pid: 52231,52237
# total CPU time (s): 3600.24
# total CPU user time (s): 3580.21
# total CPU system time (s): 20.0326
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.32158 second user time and 16.9591 second system time
The end
Begin job on nodeC014 at 2025-07-01 11:23:04
IDJOB=4489599
IDBENCH=147558
IDSOLVER=3351
FILE ID=nodeC014/4489599-1751361783
RUNJOBID= nodeC014-1751361783-52186
SLURM_JOB_ID= 9598173
Free space on /tmp= 432944 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4489599-1751361783/watcher-4489599-1751361783 -o /tmp/evaluation-result-4489599-1751361783/solver-4489599-1751361783 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1751361783-52186 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4489599-1751361783.opb PROOFDIR/proof-4489599-1751361783
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 9792288b3bfa4387008e61c6fa17d472
RANDOM SEED=236865498
nodeC014 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.128
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 : 7000.23
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 : 1361.410
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 : 7000.23
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 : 3600.879
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 : 7000.23
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.108
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 : 7000.23
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 : 3600.138
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 : 7000.23
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 : 3600.659
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 : 7000.23
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.416
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 : 7000.23
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 : 3600.130
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 : 7000.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128989180 kB
MemAvailable: 129718804 kB
Buffers: 3280 kB
Cached: 1533668 kB
SwapCached: 0 kB
Active: 336036 kB
Inactive: 1276928 kB
Active(anon): 94084 kB
Inactive(anon): 0 kB
Active(file): 241952 kB
Inactive(file): 1276928 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 87796 kB
Writeback: 8 kB
AnonPages: 79140 kB
Mapped: 103588 kB
Shmem: 18068 kB
KReclaimable: 99964 kB
Slab: 188024 kB
SReclaimable: 99964 kB
SUnreclaim: 88060 kB
KernelStack: 3908 kB
PageTables: 2556 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 341436 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 18432 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: 203476 kB
DirectMap2M: 7956480 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432916 MiB
End job on nodeC014 at 2025-07-01 12:23:16