0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.00/0.04 c #variables 20000 #constraints 1
0.00/0.04 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 - >= -14329184 @ 0.020042
0.00/0.06 c GLOBAL bounds - >= -14329184 @ 0.027265
0.00/0.08 c GLOBAL bounds - >= -14329184 @ 0.034769
0.08/0.11 c GLOBAL bounds - >= -14329184 @ 0.04242
0.08/0.13 c GLOBAL bounds - >= -14329184 @ 0.04806
0.08/0.15 c GLOBAL bounds - >= -14329184 @ 0.059107
0.08/0.17 c GLOBAL bounds - >= -14329184 @ 0.069153
0.08/0.20 c GLOBAL bounds - >= -14329184 @ 0.077239
0.19/0.22 c GLOBAL bounds - >= -14329184 @ 0.089374
0.19/0.24 c GLOBAL bounds - >= -14329184 @ 0.099862
0.19/0.26 c GLOBAL bounds - >= -14329184 @ 0.110913
0.19/0.28 c GLOBAL bounds - >= -14329184 @ 0.122934
0.29/0.31 c GLOBAL bounds - >= -14329184 @ 0.133175
0.29/0.33 c GLOBAL bounds - >= -14329184 @ 0.144476
0.29/0.35 c GLOBAL bounds - >= -14329184 @ 0.157718
0.29/0.37 c GLOBAL bounds - >= -14329184 @ 0.170079
0.29/0.40 c GLOBAL bounds - >= -14329184 @ 0.181443
0.39/0.42 c GLOBAL bounds - >= -14329184 @ 0.190889
0.39/0.44 c GLOBAL bounds - >= -14329184 @ 0.201417
0.39/0.46 c GLOBAL bounds - >= -14329184 @ 0.214915
0.39/0.49 c GLOBAL bounds - >= -14329184 @ 0.227509
0.48/0.51 c GLOBAL bounds - >= -14329184 @ 0.240077
0.48/0.53 c GLOBAL bounds - >= -14329184 @ 0.254635
0.48/0.55 c GLOBAL bounds - >= -14329184 @ 0.266232
0.48/0.58 c GLOBAL bounds - >= -14329184 @ 0.280946
0.48/0.60 c GLOBAL bounds - >= -14329184 @ 0.291682
0.58/0.62 c GLOBAL bounds - >= -14329184 @ 0.303438
0.58/0.65 c GLOBAL bounds - >= -14329184 @ 0.313178
0.58/0.67 c GLOBAL bounds - >= -14329184 @ 0.318236
0.58/0.69 c GLOBAL bounds - >= -14329184 @ 0.329181
0.68/0.71 c GLOBAL bounds - >= -14329184 @ 0.34074
0.68/0.74 c GLOBAL bounds - >= -14329184 @ 0.35261
0.68/0.76 c GLOBAL bounds - >= -14329184 @ 0.365583
0.68/0.78 c GLOBAL bounds - >= -14329184 @ 0.378467
0.77/0.81 c GLOBAL bounds - >= -14329184 @ 0.393452
0.77/0.83 c GLOBAL bounds - >= -14329184 @ 0.40752
0.77/0.85 c GLOBAL bounds - >= -14329184 @ 0.420594
0.77/0.88 c GLOBAL bounds - >= -14329184 @ 0.429935
0.87/0.90 c GLOBAL bounds - >= -14329184 @ 0.440864
0.87/0.92 c GLOBAL bounds - >= -14329184 @ 0.451836
0.87/0.94 c GLOBAL bounds - >= -14329184 @ 0.463023
0.87/0.97 c GLOBAL bounds - >= -14329184 @ 0.471186
0.87/0.99 c GLOBAL bounds - >= -14329184 @ 0.481406
0.98/1.01 c GLOBAL bounds - >= -14329184 @ 0.491772
0.98/1.04 c GLOBAL bounds - >= -14329184 @ 0.500987
0.98/1.06 c GLOBAL bounds - >= -14329184 @ 0.512384
0.98/1.08 c GLOBAL bounds - >= -14329184 @ 0.525709
1.08/1.11 c GLOBAL bounds - >= -14329184 @ 0.537068
1.08/1.13 c GLOBAL bounds - >= -14329184 @ 0.5465
1.08/1.15 c GLOBAL bounds - >= -14329184 @ 0.557014
1.08/1.18 c GLOBAL bounds - >= -14329184 @ 0.565448
1.17/1.20 c GLOBAL bounds - >= -14329184 @ 0.576928
1.17/1.23 c GLOBAL bounds - >= -14329184 @ 0.590426
1.17/1.25 c GLOBAL bounds - >= -14329184 @ 0.599842
1.17/1.27 c GLOBAL bounds - >= -14329184 @ 0.612512
1.27/1.30 c GLOBAL bounds - >= -14329184 @ 0.624977
1.27/1.32 c GLOBAL bounds - >= -14329184 @ 0.636661
1.27/1.34 c GLOBAL bounds - >= -14329184 @ 0.648658
1.27/1.37 c GLOBAL bounds - >= -14329184 @ 0.661239
1.27/1.39 c GLOBAL bounds - >= -14329184 @ 0.67185
1.37/1.41 c GLOBAL bounds - >= -14329184 @ 0.683515
1.37/1.44 c GLOBAL bounds - >= -14329184 @ 0.699278
1.37/1.46 c GLOBAL bounds - >= -14329184 @ 0.713988
1.37/1.49 c GLOBAL bounds - >= -14329184 @ 0.726762
1.47/1.51 c GLOBAL bounds - >= -14329184 @ 0.735573
1.47/1.53 c GLOBAL bounds - >= -14329184 @ 0.748403
1.47/1.56 c GLOBAL bounds - >= -14329184 @ 0.76221
1.47/1.58 c GLOBAL bounds - >= -14329184 @ 0.777026
1.58/1.61 c GLOBAL bounds - >= -14329184 @ 0.789927
1.58/1.63 c GLOBAL bounds - >= -14329184 @ 0.798896
1.58/1.65 c GLOBAL bounds - >= -14329184 @ 0.811781
1.58/1.68 c GLOBAL bounds - >= -14329184 @ 0.827945
1.67/1.70 c GLOBAL bounds - >= -14329184 @ 0.837973
1.67/1.73 c GLOBAL bounds - >= -14329184 @ 0.853002
1.67/1.75 c GLOBAL bounds - >= -14329184 @ 0.865223
1.67/1.77 c GLOBAL bounds - >= -14329184 @ 0.875137
1.77/1.80 c GLOBAL bounds - >= -14329184 @ 0.888629
1.77/1.82 c GLOBAL bounds - >= -14329184 @ 0.898999
1.77/1.85 c GLOBAL bounds - >= -14329184 @ 0.910225
1.77/1.87 c GLOBAL bounds - >= -14329184 @ 0.922566
1.87/1.90 c GLOBAL bounds - >= -14329184 @ 0.937981
1.87/1.92 c GLOBAL bounds - >= -14329184 @ 0.949507
1.87/1.94 c GLOBAL bounds - >= -14329184 @ 0.958911
1.87/1.97 c GLOBAL bounds - >= -14329184 @ 0.96887
1.87/1.99 c GLOBAL bounds - >= -14329184 @ 0.978313
1.98/2.02 c GLOBAL bounds - >= -14329184 @ 0.988091
1.98/2.04 c GLOBAL bounds - >= -14329184 @ 1.00257
1.98/2.07 c GLOBAL bounds - >= -14329184 @ 1.01651
1.98/2.09 c GLOBAL bounds - >= -14329184 @ 1.03086
2.07/2.12 c GLOBAL bounds - >= -14329184 @ 1.04449
2.07/2.14 c GLOBAL bounds - >= -14329184 @ 1.05718
2.07/2.17 c GLOBAL bounds - >= -14329184 @ 1.07
2.07/2.19 c GLOBAL bounds - >= -14329184 @ 1.08276
2.17/2.22 c GLOBAL bounds - >= -14329184 @ 1.09362
2.17/2.24 c GLOBAL bounds - >= -14329184 @ 1.10661
2.17/2.27 c GLOBAL bounds - >= -14329184 @ 1.11556
2.17/2.29 c GLOBAL bounds - >= -14329184 @ 1.13007
2.27/2.32 c GLOBAL bounds - >= -14329184 @ 1.1457
2.27/2.34 c GLOBAL bounds - >= -14329184 @ 1.1586
2.27/2.37 c GLOBAL bounds - >= -14329184 @ 1.16953
2.27/2.39 c GLOBAL bounds - >= -14329184 @ 1.18252
2.37/2.42 c GLOBAL bounds - >= -14329184 @ 1.1936
2.37/2.44 c GLOBAL bounds - >= -14329184 @ 1.20963
2.37/2.47 c GLOBAL bounds - >= -14329184 @ 1.22486
2.37/2.49 c GLOBAL bounds - >= -14329184 @ 1.23798
2.47/2.52 c GLOBAL bounds - >= -14329184 @ 1.25026
2.47/2.54 c GLOBAL bounds - >= -14329184 @ 1.25855
2.47/2.57 c GLOBAL bounds - >= -14329184 @ 1.27388
2.47/2.59 c GLOBAL bounds - >= -14329184 @ 1.28313
2.57/2.62 c GLOBAL bounds - >= -14329184 @ 1.29755
2.57/2.64 c GLOBAL bounds - >= -14329184 @ 1.31507
2.57/2.67 c GLOBAL bounds - >= -14329184 @ 1.33076
2.67/2.70 c GLOBAL bounds - >= -14329184 @ 1.34737
2.67/2.72 c GLOBAL bounds - >= -14329184 @ 1.35897
2.67/2.75 c GLOBAL bounds - >= -14329184 @ 1.37265
2.67/2.77 c GLOBAL bounds - >= -14329184 @ 1.38541
2.77/2.80 c GLOBAL bounds - >= -14329184 @ 1.39814
2.77/2.82 c GLOBAL bounds - >= -14329184 @ 1.41486
2.77/2.85 c GLOBAL bounds - >= -14329184 @ 1.42775
2.77/2.88 c GLOBAL bounds - >= -14329184 @ 1.44186
2.87/2.90 c GLOBAL bounds - >= -14329184 @ 1.45534
2.87/2.93 c GLOBAL bounds - >= -14329184 @ 1.46811
2.87/2.96 c GLOBAL bounds - >= -14329184 @ 1.48299
2.87/2.98 c GLOBAL bounds - >= -14329184 @ 1.49589
2.97/3.01 c GLOBAL bounds - >= -14329184 @ 1.51289
2.97/3.03 c GLOBAL bounds - >= -14329184 @ 1.52494
2.97/3.06 c GLOBAL bounds - >= -14329184 @ 1.53797
2.97/3.09 c GLOBAL bounds - >= -14329184 @ 1.54823
3.08/3.11 c GLOBAL bounds - >= -14329184 @ 1.55742
3.08/3.14 c GLOBAL bounds - >= -14329184 @ 1.56972
3.08/3.16 c GLOBAL bounds - >= -14329184 @ 1.58005
3.08/3.19 c GLOBAL bounds - >= -14329184 @ 1.59641
3.17/3.22 c GLOBAL bounds - >= -14329184 @ 1.61054
3.17/3.24 c GLOBAL bounds - >= -14329184 @ 1.62807
3.17/3.27 c GLOBAL bounds - >= -14329184 @ 1.64374
3.17/3.29 c GLOBAL bounds - >= -14329184 @ 1.65652
3.26/3.32 c GLOBAL bounds - >= -14329184 @ 1.66843
3.26/3.34 c GLOBAL bounds - >= -14329184 @ 1.67946
3.26/3.37 c GLOBAL bounds - >= -14329184 @ 1.69271
3.26/3.39 c GLOBAL bounds - >= -14329184 @ 1.70606
3.37/3.42 c GLOBAL bounds - >= -14329184 @ 1.71805
3.37/3.44 c GLOBAL bounds - >= -14329184 @ 1.73396
3.37/3.47 c GLOBAL bounds - >= -14329184 @ 1.75185
3.37/3.49 c GLOBAL bounds - >= -14329184 @ 1.76183
3.47/3.52 c GLOBAL bounds - >= -14329184 @ 1.77284
3.47/3.54 c GLOBAL bounds - >= -14329184 @ 1.78197
3.47/3.57 c GLOBAL bounds - >= -14329184 @ 1.79653
3.56/3.60 c GLOBAL bounds - >= -14329184 @ 1.80883
3.56/3.62 c GLOBAL bounds - >= -14329184 @ 1.81997
3.56/3.65 c GLOBAL bounds - >= -14329184 @ 1.83808
3.56/3.67 c GLOBAL bounds - >= -14329184 @ 1.85037
3.66/3.70 c GLOBAL bounds - >= -14329184 @ 1.85988
3.66/3.72 c GLOBAL bounds - >= -14329184 @ 1.87458
3.66/3.75 c GLOBAL bounds - >= -14329184 @ 1.88895
3.66/3.77 c GLOBAL bounds - >= -14329184 @ 1.90524
3.77/3.80 c GLOBAL bounds - >= -14329184 @ 1.91863
3.77/3.82 c GLOBAL bounds - >= -14329184 @ 1.93121
3.77/3.85 c GLOBAL bounds - >= -14329184 @ 1.94696
3.77/3.88 c GLOBAL bounds - >= -14329184 @ 1.95876
3.86/3.90 c GLOBAL bounds - >= -14329184 @ 1.9732
3.86/3.93 c GLOBAL bounds - >= -14329184 @ 1.98705
3.86/3.95 c GLOBAL bounds - >= -14329184 @ 1.99995
3.86/3.98 c GLOBAL bounds - >= -14329184 @ 2.0108
3.97/4.01 c GLOBAL bounds - >= -14329184 @ 2.0227
3.97/4.03 c GLOBAL bounds - >= -14329184 @ 2.0397
3.97/4.06 c GLOBAL bounds - >= -14329184 @ 2.05396
3.97/4.09 c GLOBAL bounds - >= -14329184 @ 2.06675
4.07/4.11 c GLOBAL bounds - >= -14329184 @ 2.07909
4.07/4.14 c GLOBAL bounds - >= -14329184 @ 2.09236
4.07/4.16 c GLOBAL bounds - >= -14329184 @ 2.10891
4.07/4.19 c GLOBAL bounds - >= -14329184 @ 2.12315
4.16/4.22 c GLOBAL bounds - >= -14329184 @ 2.13744
4.16/4.24 c GLOBAL bounds - >= -14329184 @ 2.14716
4.16/4.27 c GLOBAL bounds - >= -14329184 @ 2.16366
4.26/4.30 c GLOBAL bounds - >= -14329184 @ 2.17906
4.26/4.32 c GLOBAL bounds - >= -14329184 @ 2.19226
4.26/4.35 c GLOBAL bounds - >= -14329184 @ 2.20245
4.26/4.38 c GLOBAL bounds - >= -14329184 @ 2.21478
4.37/4.40 c GLOBAL bounds - >= -14329184 @ 2.22613
4.37/4.43 c GLOBAL bounds - >= -14329184 @ 2.23685
4.37/4.46 c GLOBAL bounds - >= -14329184 @ 2.24946
4.37/4.48 c GLOBAL bounds - >= -14329184 @ 2.26234
4.46/4.51 c GLOBAL bounds - >= -14329184 @ 2.27422
4.46/4.54 c GLOBAL bounds - >= -14329184 @ 2.28547
4.46/4.56 c GLOBAL bounds - >= -14329184 @ 2.30298
4.46/4.59 c GLOBAL bounds - >= -14329184 @ 2.31553
4.56/4.62 c GLOBAL bounds - >= -14329184 @ 2.32919
4.56/4.64 c GLOBAL bounds - >= -14329184 @ 2.34201
4.56/4.67 c GLOBAL bounds - >= -14329184 @ 2.35366
4.66/4.70 c GLOBAL bounds - >= -14329184 @ 2.36741
4.66/4.72 c GLOBAL bounds - >= -14329184 @ 2.38212
4.66/4.75 c GLOBAL bounds - >= -14329184 @ 2.4011
4.66/4.78 c GLOBAL bounds - >= -14329184 @ 2.41616
4.77/4.80 c GLOBAL bounds - >= -14329184 @ 2.42951
4.77/4.83 c GLOBAL bounds - >= -14329184 @ 2.44184
4.77/4.86 c GLOBAL bounds - >= -14329184 @ 2.4555
4.77/4.88 c GLOBAL bounds - >= -14329184 @ 2.46752
4.87/4.91 c GLOBAL bounds - >= -14329184 @ 2.48369
4.87/4.94 c GLOBAL bounds - >= -14329184 @ 2.49903
4.87/4.97 c GLOBAL bounds - >= -14329184 @ 2.51289
4.87/4.99 c GLOBAL bounds - >= -14329184 @ 2.53018
4.97/5.02 c GLOBAL bounds - >= -14329184 @ 2.54479
4.97/5.05 c GLOBAL bounds - >= -14329184 @ 2.55859
4.97/5.08 c GLOBAL bounds - >= -14329184 @ 2.57568
5.07/5.10 c GLOBAL bounds - >= -14329184 @ 2.5941
5.07/5.13 c GLOBAL bounds - >= -14329184 @ 2.60981
5.07/5.16 c GLOBAL bounds - >= -14329184 @ 2.62427
5.16/5.24 c GLOBAL bounds - >= -14329184 @ 2.69238
5.36/5.47 c GLOBAL bounds - >= -14329184 @ 2.91012
5.46/5.51 c GLOBAL bounds - >= -14329184 @ 2.93719
5.46/5.56 c GLOBAL bounds - >= -14329184 @ 2.98215
5.56/5.61 c GLOBAL bounds - >= -14329184 @ 3.01479
5.66/5.71 c GLOBAL bounds - >= -14329184 @ 3.10553
5.66/5.79 c GLOBAL bounds - >= -14329184 @ 3.17484
5.77/5.86 c GLOBAL bounds - >= -14329184 @ 3.23878
5.87/5.90 c GLOBAL bounds - >= -14329184 @ 3.2636
6.06/6.10 c GLOBAL bounds - >= -14329184 @ 3.44973
6.06/6.14 c GLOBAL bounds - >= -14329184 @ 3.47222
6.16/6.25 c GLOBAL bounds - >= -14329184 @ 3.57753
6.16/6.29 c GLOBAL bounds - >= -14329184 @ 3.60339
6.26/6.35 c GLOBAL bounds - >= -14329184 @ 3.65412
6.36/6.43 c GLOBAL bounds - >= -14329184 @ 3.71582
6.46/6.55 c GLOBAL bounds - >= -14329184 @ 3.82154
6.56/6.60 c GLOBAL bounds - >= -14329184 @ 3.85708
6.66/6.77 c GLOBAL bounds - >= -14329184 @ 4.01255
6.76/6.83 c GLOBAL bounds - >= -14329184 @ 4.05485
6.86/6.94 c GLOBAL bounds - >= -14329184 @ 4.14906
6.86/6.98 c GLOBAL bounds - >= -14329184 @ 4.17354
6.96/7.08 c GLOBAL bounds - >= -14329184 @ 4.25929
7.07/7.11 c GLOBAL bounds - >= -14329184 @ 4.28595
7.16/7.23 c GLOBAL bounds - >= -14329184 @ 4.38722
7.46/7.52 c GLOBAL bounds - >= -14329184 @ 4.65115
7.56/7.67 c GLOBAL bounds - >= -14329184 @ 4.78444
7.65/7.77 c GLOBAL bounds - >= -14329184 @ 4.867
7.76/7.89 c GLOBAL bounds - >= -14329184 @ 4.9646
7.96/8.00 c GLOBAL bounds - >= -14329184 @ 5.06095
7.96/8.04 c GLOBAL bounds - >= -14329184 @ 5.0867
7.96/8.08 c GLOBAL bounds - >= -14329184 @ 5.11353
8.07/8.12 c GLOBAL bounds - >= -14329184 @ 5.13901
8.07/8.16 c GLOBAL bounds - >= -14329184 @ 5.16458
8.26/8.34 c GLOBAL bounds - >= -14329184 @ 5.32392
8.26/8.38 c GLOBAL bounds - >= -14329184 @ 5.3509
11.35/11.40 c GLOBAL bounds - >= -14329184 @ 8.28887
11.35/11.44 c GLOBAL bounds - >= -14329184 @ 8.32326
11.85/11.91 c GLOBAL bounds - >= -14329184 @ 8.77876
11.85/11.96 c GLOBAL bounds - >= -14329184 @ 8.81461
11.95/12.00 c GLOBAL bounds - >= -14329184 @ 8.84707
11.95/12.05 c GLOBAL bounds - >= -14329184 @ 8.88338
11.95/12.10 c GLOBAL bounds - >= -14329184 @ 8.91957
12.05/12.14 c GLOBAL bounds - >= -14329184 @ 8.95484
12.15/12.29 c GLOBAL bounds - >= -14329184 @ 9.07597
12.34/12.43 c GLOBAL bounds - >= -14329184 @ 9.20223
12.44/12.52 c GLOBAL bounds - >= -14329184 @ 9.28366
12.44/12.57 c GLOBAL bounds - >= -14329184 @ 9.31558
12.54/12.68 c GLOBAL bounds - >= -14329184 @ 9.41219
12.65/12.73 c GLOBAL bounds - >= -14329184 @ 9.45102
12.65/12.78 c GLOBAL bounds - >= -14329184 @ 9.48778
12.74/12.83 c GLOBAL bounds - >= -14329184 @ 9.51997
12.74/12.87 c GLOBAL bounds - >= -14329184 @ 9.55297
12.84/12.92 c GLOBAL bounds - >= -14329184 @ 9.58957
12.84/12.97 c GLOBAL bounds - >= -14329184 @ 9.62597
12.95/13.02 c GLOBAL bounds - >= -14329184 @ 9.65837
12.95/13.06 c GLOBAL bounds - >= -14329184 @ 9.69363
13.05/13.11 c GLOBAL bounds - >= -14329184 @ 9.72618
13.05/13.16 c GLOBAL bounds - >= -14329184 @ 9.76182
13.14/13.21 c GLOBAL bounds - >= -14329184 @ 9.79944
13.14/13.25 c GLOBAL bounds - >= -14329184 @ 9.83609
13.24/13.30 c GLOBAL bounds - >= -14329184 @ 9.87366
13.24/13.35 c GLOBAL bounds - >= -14329184 @ 9.91235
13.34/13.40 c GLOBAL bounds - >= -14329184 @ 9.946
13.34/13.45 c GLOBAL bounds - >= -14329184 @ 9.98287
13.34/13.49 c GLOBAL bounds - >= -14329184 @ 10.0192
13.45/13.54 c GLOBAL bounds - >= -14329184 @ 10.0532
13.45/13.59 c GLOBAL bounds - >= -14329184 @ 10.0906
13.54/13.64 c GLOBAL bounds - >= -14329184 @ 10.1278
13.54/13.69 c GLOBAL bounds - >= -14329184 @ 10.158
13.65/13.74 c GLOBAL bounds - >= -14329184 @ 10.1933
13.65/13.78 c GLOBAL bounds - >= -14329184 @ 10.2238
15.14/15.20 c GLOBAL bounds - >= -14329184 @ 11.6003
52.24/52.43 c #Conflicts: 1000 | #Constraints: 1555
52.24/52.43 c GLOBAL bounds - >= -14329184 @ 48.3702
58.13/58.32 c GLOBAL bounds - >= -14329184 @ 54.2153
62.82/63.04 c #Conflicts: 2000 | #Constraints: 2559
62.82/63.04 c INPROCESSING
62.82/63.04 c GARBAGE COLLECT
62.82/63.04 c GLOBAL bounds - >= -14329184 @ 58.8839
62.82/63.09 c GLOBAL bounds - >= -14329184 @ 58.9289
62.93/63.15 c GLOBAL bounds - >= -14329184 @ 58.9738
63.02/63.21 c GLOBAL bounds - >= -14329184 @ 59.0189
63.02/63.26 c GLOBAL bounds - >= -14329184 @ 59.0629
63.12/63.32 c GLOBAL bounds - >= -14329184 @ 59.1055
63.12/63.37 c GLOBAL bounds - >= -14329184 @ 59.1485
63.22/63.43 c GLOBAL bounds - >= -14329184 @ 59.1868
63.22/63.48 c GLOBAL bounds - >= -14329184 @ 59.2275
63.32/63.53 c GLOBAL bounds - >= -14329184 @ 59.2661
63.32/63.58 c GLOBAL bounds - >= -14329184 @ 59.3082
63.42/63.64 c GLOBAL bounds - >= -14329184 @ 59.3476
63.42/63.69 c GLOBAL bounds - >= -14329184 @ 59.3872
63.52/63.75 c GLOBAL bounds - >= -14329184 @ 59.4299
63.62/63.80 c GLOBAL bounds - >= -14329184 @ 59.4712
63.62/63.85 c GLOBAL bounds - >= -14329184 @ 59.5137
63.72/63.91 c GLOBAL bounds - >= -14329184 @ 59.5507
63.72/63.96 c GLOBAL bounds - >= -14329184 @ 59.5947
63.82/64.02 c GLOBAL bounds - >= -14329184 @ 59.6383
63.82/64.08 c GLOBAL bounds - >= -14329184 @ 59.6829
63.92/64.13 c GLOBAL bounds - >= -14329184 @ 59.7251
63.92/64.19 c GLOBAL bounds - >= -14329184 @ 59.7724
64.02/64.25 c GLOBAL bounds - >= -14329184 @ 59.8133
64.12/64.30 c GLOBAL bounds - >= -14329184 @ 59.8573
64.12/64.36 c GLOBAL bounds - >= -14329184 @ 59.9038
64.22/64.42 c GLOBAL bounds - >= -14329184 @ 59.9483
64.22/64.48 c GLOBAL bounds - >= -14329184 @ 59.9933
64.32/64.53 c GLOBAL bounds - >= -14329184 @ 60.0397
64.32/64.59 c GLOBAL bounds - >= -14329184 @ 60.0894
64.42/64.65 c GLOBAL bounds - >= -14329184 @ 60.1388
64.51/64.71 c GLOBAL bounds - >= -14329184 @ 60.1831
64.51/64.77 c GLOBAL bounds - >= -14329184 @ 60.2326
64.62/64.83 c GLOBAL bounds - >= -14329184 @ 60.2783
64.62/64.89 c GLOBAL bounds - >= -14329184 @ 60.3271
64.71/64.95 c GLOBAL bounds - >= -14329184 @ 60.3721
64.82/65.01 c GLOBAL bounds - >= -14329184 @ 60.4211
64.82/65.07 c GLOBAL bounds - >= -14329184 @ 60.4648
64.92/65.13 c GLOBAL bounds - >= -14329184 @ 60.5144
64.92/65.19 c GLOBAL bounds - >= -14329184 @ 60.5603
65.02/65.26 c GLOBAL bounds - >= -14329184 @ 60.6132
65.11/65.32 c GLOBAL bounds - >= -14329184 @ 60.6597
65.11/65.38 c GLOBAL bounds - >= -14329184 @ 60.7101
65.22/65.44 c GLOBAL bounds - >= -14329184 @ 60.7638
65.32/65.50 c GLOBAL bounds - >= -14329184 @ 60.8086
65.32/65.56 c GLOBAL bounds - >= -14329184 @ 60.8579
65.41/65.63 c GLOBAL bounds - >= -14329184 @ 60.9093
65.41/65.69 c GLOBAL bounds - >= -14329184 @ 60.9569
65.51/65.75 c GLOBAL bounds - >= -14329184 @ 61.0078
65.61/65.82 c GLOBAL bounds - >= -14329184 @ 61.0578
65.61/65.88 c GLOBAL bounds - >= -14329184 @ 61.1079
65.71/65.94 c GLOBAL bounds - >= -14329184 @ 61.1587
65.82/66.01 c GLOBAL bounds - >= -14329184 @ 61.2077
65.82/66.07 c GLOBAL bounds - >= -14329184 @ 61.2623
65.92/66.13 c GLOBAL bounds - >= -14329184 @ 61.3157
66.01/66.20 c GLOBAL bounds - >= -14329184 @ 61.3667
66.01/66.26 c GLOBAL bounds - >= -14329184 @ 61.4185
66.11/66.33 c GLOBAL bounds - >= -14329184 @ 61.4678
66.11/66.39 c GLOBAL bounds - >= -14329184 @ 61.5203
66.22/66.46 c GLOBAL bounds - >= -14329184 @ 61.5722
66.82/67.04 c GLOBAL bounds - >= -14329184 @ 62.1399
67.01/67.20 c GLOBAL bounds - >= -14329184 @ 62.2919
67.41/67.66 c GLOBAL bounds - >= -14329184 @ 62.737
76.19/76.45 c GLOBAL bounds - >= -14329184 @ 71.467
91.15/91.48 c GLOBAL bounds - >= -14329184 @ 86.4382
91.55/91.83 c GLOBAL bounds - >= -14329184 @ 86.7719
281.38/282.11 c #Conflicts: 3000 | #Constraints: 2702
281.38/282.11 c #Conflicts: 4000 | #Constraints: 3702
281.38/282.11 c INPROCESSING
281.38/282.11 c GARBAGE COLLECT
281.38/282.11 c #Conflicts: 5000 | #Constraints: 3105
281.38/282.11 c #Conflicts: 6000 | #Constraints: 4105
281.38/282.11 c GLOBAL bounds - >= -14329184 @ 275.972
281.38/282.18 c GLOBAL bounds - >= -14329184 @ 276.023
281.48/282.25 c GLOBAL bounds - >= -14329184 @ 276.076
281.58/282.31 c GLOBAL bounds - >= -14329184 @ 276.131
281.67/282.42 c GLOBAL bounds - >= -14329184 @ 276.219
281.77/282.56 c GLOBAL bounds - >= -14329184 @ 276.346
282.77/283.60 c GLOBAL bounds - >= -14329184 @ 277.364
282.97/283.74 c GLOBAL bounds - >= -14329184 @ 277.502
283.07/283.89 c GLOBAL bounds - >= -14329184 @ 277.637
283.27/284.02 c GLOBAL bounds - >= -14329184 @ 277.759
283.38/284.16 c GLOBAL bounds - >= -14329184 @ 277.882
283.57/284.30 c GLOBAL bounds - >= -14329184 @ 278.006
283.67/284.44 c GLOBAL bounds - >= -14329184 @ 278.129
381.41/382.43 c INPROCESSING
381.41/382.43 c GARBAGE COLLECT
381.41/382.43 c #Conflicts: 7000 | #Constraints: 3129
381.41/382.43 c GLOBAL bounds - >= -14329184 @ 375.781
381.61/382.64 c GLOBAL bounds - >= -14329184 @ 375.976
455.52/456.79 c #Conflicts: 8000 | #Constraints: 4133
455.52/456.79 c GLOBAL bounds - >= -14329184 @ 449.531
455.84/457.04 c GLOBAL bounds - >= -14329184 @ 449.765
504.01/505.33 c #Conflicts: 9000 | #Constraints: 5137
504.01/505.33 c INPROCESSING
504.01/505.33 c GARBAGE COLLECT
504.01/505.33 c GLOBAL bounds - >= -14329184 @ 497.794
504.11/505.47 c GLOBAL bounds - >= -14329184 @ 497.919
504.31/505.60 c GLOBAL bounds - >= -14329184 @ 498.043
508.40/509.75 c GLOBAL bounds - >= -14329184 @ 502.155
537.83/539.27 c #Conflicts: 10000 | #Constraints: 3845
537.83/539.27 c GLOBAL bounds - >= -14329184 @ 531.535
589.89/591.43 c #Conflicts: 11000 | #Constraints: 4847
589.89/591.43 c GLOBAL bounds - >= -14329184 @ 583.517
589.99/591.59 c GLOBAL bounds - >= -14329184 @ 583.667
590.29/591.85 c GLOBAL bounds - >= -14329184 @ 583.902
590.50/592.03 c GLOBAL bounds - >= -14329184 @ 584.075
590.60/592.18 c GLOBAL bounds - >= -14329184 @ 584.216
590.79/592.34 c GLOBAL bounds - >= -14329184 @ 584.372
590.88/592.49 c GLOBAL bounds - >= -14329184 @ 584.506
591.09/592.65 c GLOBAL bounds - >= -14329184 @ 584.661
591.28/592.81 c GLOBAL bounds - >= -14329184 @ 584.8
599.57/601.19 c GLOBAL bounds - >= -14329184 @ 593.111
599.87/601.41 c GLOBAL bounds - >= -14329184 @ 593.322
599.97/601.55 c GLOBAL bounds - >= -14329184 @ 593.443
600.07/601.67 c GLOBAL bounds - >= -14329184 @ 593.554
600.27/601.80 c GLOBAL bounds - >= -14329184 @ 593.67
600.37/601.93 c GLOBAL bounds - >= -14329184 @ 593.785
600.47/602.06 c GLOBAL bounds - >= -14329184 @ 593.901
600.57/602.19 c GLOBAL bounds - >= -14329184 @ 594.016
600.76/602.32 c GLOBAL bounds - >= -14329184 @ 594.131
600.87/602.45 c GLOBAL bounds - >= -14329184 @ 594.249
600.97/602.58 c GLOBAL bounds - >= -14329184 @ 594.369
601.16/602.72 c GLOBAL bounds - >= -14329184 @ 594.487
601.27/602.85 c GLOBAL bounds - >= -14329184 @ 594.613
601.36/602.98 c GLOBAL bounds - >= -14329184 @ 594.731
601.57/603.12 c GLOBAL bounds - >= -14329184 @ 594.851
601.66/603.25 c GLOBAL bounds - >= -14329184 @ 594.973
601.77/603.39 c GLOBAL bounds - >= -14329184 @ 595.093
601.96/603.53 c GLOBAL bounds - >= -14329184 @ 595.218
602.06/603.67 c GLOBAL bounds - >= -14329184 @ 595.343
602.36/603.91 c GLOBAL bounds - >= -14329184 @ 595.568
602.57/604.10 c GLOBAL bounds - >= -14329184 @ 595.746
603.47/605.08 c GLOBAL bounds - >= -14329184 @ 596.715
603.66/605.27 c GLOBAL bounds - >= -14329184 @ 596.888
603.85/605.44 c GLOBAL bounds - >= -14329184 @ 597.046
604.06/605.62 c GLOBAL bounds - >= -14329184 @ 597.206
604.86/606.43 c GLOBAL bounds - >= -14329184 @ 598.004
707.40/709.26 c #Conflicts: 12000 | #Constraints: 5917
707.40/709.26 c INPROCESSING
707.40/709.26 c GARBAGE COLLECT
707.40/709.26 c GLOBAL bounds - >= -14329184 @ 700.371
774.14/776.11 c #Conflicts: 13000 | #Constraints: 4367
774.14/776.11 c GLOBAL bounds - >= -14329184 @ 766.94
774.33/776.31 c GLOBAL bounds - >= -14329184 @ 767.134
774.53/776.52 c GLOBAL bounds - >= -14329184 @ 767.327
774.73/776.72 c GLOBAL bounds - >= -14329184 @ 767.518
774.93/776.92 c GLOBAL bounds - >= -14329184 @ 767.708
775.23/777.25 c GLOBAL bounds - >= -14329184 @ 768.021
1361.75/1365.26 c #Conflicts: 14000 | #Constraints: 5379
1361.75/1365.26 c #Conflicts: 15000 | #Constraints: 6379
1361.75/1365.26 c INPROCESSING
1361.75/1365.26 c GARBAGE COLLECT
1361.75/1365.26 c #Conflicts: 16000 | #Constraints: 4613
1361.75/1365.26 c #Conflicts: 17000 | #Constraints: 5613
1361.75/1365.26 c #Conflicts: 18000 | #Constraints: 6613
1361.75/1365.26 c INPROCESSING
1361.75/1365.26 c GARBAGE COLLECT
1361.75/1365.26 c #Conflicts: 19000 | #Constraints: 4628
1361.75/1365.26 c #Conflicts: 20000 | #Constraints: 5628
1361.75/1365.26 c #Conflicts: 21000 | #Constraints: 6628
1361.75/1365.26 c GLOBAL bounds - >= -14329184 @ 1354.03
1362.04/1365.51 c GLOBAL bounds - >= -14329184 @ 1354.26
1365.64/1369.18 c GLOBAL bounds - >= -14329184 @ 1357.92
1508.07/1512.00 c INPROCESSING
1508.07/1512.00 c GARBAGE COLLECT
1508.07/1512.00 c #Conflicts: 22000 | #Constraints: 4439
1508.07/1512.00 c GLOBAL bounds - >= -14329184 @ 1500.18
1508.38/1512.20 c GLOBAL bounds - >= -14329184 @ 1500.37
1508.58/1512.41 c GLOBAL bounds - >= -14329184 @ 1500.55
1508.78/1512.61 c GLOBAL bounds - >= -14329184 @ 1500.74
1509.08/1512.96 c GLOBAL bounds - >= -14329184 @ 1501.08
1511.28/1515.11 c GLOBAL bounds - >= -14329184 @ 1503.21
1511.47/1515.34 c GLOBAL bounds - >= -14329184 @ 1503.43
1511.67/1515.59 c GLOBAL bounds - >= -14329184 @ 1503.67
1793.86/1798.44 c #Conflicts: 23000 | #Constraints: 5455
1793.86/1798.44 c #Conflicts: 24000 | #Constraints: 6455
1793.86/1798.44 c #Conflicts: 25000 | #Constraints: 7455
1793.86/1798.44 c INPROCESSING
1793.86/1798.44 c GARBAGE COLLECT
1793.86/1798.44 c GLOBAL bounds - >= -14329184 @ 1785.57
1793.96/1798.55 c GLOBAL bounds - >= -14329184 @ 1785.66
1794.06/1798.62 c GLOBAL bounds - >= -14329184 @ 1785.73
1794.16/1798.70 c GLOBAL bounds - >= -14329184 @ 1785.79
1794.16/1798.78 c GLOBAL bounds - >= -14329184 @ 1785.86
1794.26/1798.86 c GLOBAL bounds - >= -14329184 @ 1785.93
1794.36/1798.94 c GLOBAL bounds - >= -14329184 @ 1785.99
1794.47/1799.02 c GLOBAL bounds - >= -14329184 @ 1786.07
1794.57/1799.10 c GLOBAL bounds - >= -14329184 @ 1786.13
1794.57/1799.19 c GLOBAL bounds - >= -14329184 @ 1786.21
1794.66/1799.27 c GLOBAL bounds - >= -14329184 @ 1786.28
1794.76/1799.36 c GLOBAL bounds - >= -14329184 @ 1786.35
1794.86/1799.44 c GLOBAL bounds - >= -14329184 @ 1786.42
1794.96/1799.53 c GLOBAL bounds - >= -14329184 @ 1786.5
1795.06/1799.62 c GLOBAL bounds - >= -14329184 @ 1786.57
1795.16/1799.71 c GLOBAL bounds - >= -14329184 @ 1786.65
1795.26/1799.80 c GLOBAL bounds - >= -14329184 @ 1786.73
1795.26/1799.89 c GLOBAL bounds - >= -14329184 @ 1786.81
1795.36/1799.98 c GLOBAL bounds - >= -14329184 @ 1786.89
1795.47/1800.08 c GLOBAL bounds - >= -14329184 @ 1786.97
1795.57/1800.17 c GLOBAL bounds - >= -14329184 @ 1787.05
1795.66/1800.26 c GLOBAL bounds - >= -14329184 @ 1787.14
1795.76/1800.36 c GLOBAL bounds - >= -14329184 @ 1787.22
1795.86/1800.45 c GLOBAL bounds - >= -14329184 @ 1787.31
1795.96/1800.55 c GLOBAL bounds - >= -14329184 @ 1787.39
1796.06/1800.65 c GLOBAL bounds - >= -14329184 @ 1787.48
1796.16/1800.74 c GLOBAL bounds - >= -14329184 @ 1787.57
1796.26/1800.84 c GLOBAL bounds - >= -14329184 @ 1787.65
1796.36/1800.94 c GLOBAL bounds - >= -14329184 @ 1787.74
1796.46/1801.04 c GLOBAL bounds - >= -14329184 @ 1787.82
1796.57/1801.14 c GLOBAL bounds - >= -14329184 @ 1787.91
1796.66/1801.24 c GLOBAL bounds - >= -14329184 @ 1788
1796.76/1801.34 c GLOBAL bounds - >= -14329184 @ 1788.09
1796.86/1801.45 c GLOBAL bounds - >= -14329184 @ 1788.18
1796.96/1801.55 c GLOBAL bounds - >= -14329184 @ 1788.28
1797.06/1801.65 c GLOBAL bounds - >= -14329184 @ 1788.37
1797.15/1801.76 c GLOBAL bounds - >= -14329184 @ 1788.46
1797.26/1801.86 c GLOBAL bounds - >= -14329184 @ 1788.55
1797.35/1801.97 c GLOBAL bounds - >= -14329184 @ 1788.65
1797.46/1802.08 c GLOBAL bounds - >= -14329184 @ 1788.74
1797.56/1802.18 c GLOBAL bounds - >= -14329184 @ 1788.84
1797.66/1802.29 c GLOBAL bounds - >= -14329184 @ 1788.93
1797.85/1802.40 c GLOBAL bounds - >= -14329184 @ 1789.02
1797.95/1802.51 c GLOBAL bounds - >= -14329184 @ 1789.12
1798.06/1802.62 c GLOBAL bounds - >= -14329184 @ 1789.22
1798.16/1802.73 c GLOBAL bounds - >= -14329184 @ 1789.32
1798.26/1802.84 c GLOBAL bounds - >= -14329184 @ 1789.41
1798.35/1802.96 c GLOBAL bounds - >= -14329184 @ 1789.51
1798.46/1803.07 c GLOBAL bounds - >= -14329184 @ 1789.61
1798.56/1803.18 c GLOBAL bounds - >= -14329184 @ 1789.71
1798.75/1803.30 c GLOBAL bounds - >= -14329184 @ 1789.82
1798.85/1803.41 c GLOBAL bounds - >= -14329184 @ 1789.92
1798.95/1803.53 c GLOBAL bounds - >= -14329184 @ 1790.02
1799.05/1803.64 c GLOBAL bounds - >= -14329184 @ 1790.13
1799.15/1803.76 c GLOBAL bounds - >= -14329184 @ 1790.24
1799.25/1803.88 c GLOBAL bounds - >= -14329184 @ 1790.35
1799.35/1803.99 c GLOBAL bounds - >= -14329184 @ 1790.45
1799.56/1804.11 c GLOBAL bounds - >= -14329184 @ 1790.56
1799.65/1804.23 c GLOBAL bounds - >= -14329184 @ 1790.66
1799.75/1804.38 c GLOBAL bounds - >= -14329184 @ 1790.8
1800.25/1804.89 c GLOBAL bounds - >= -14329184 @ 1791.3
2363.14/2369.14 c #Conflicts: 26000 | #Constraints: 5178
2363.14/2369.14 c #Conflicts: 27000 | #Constraints: 6178
2363.14/2369.14 c #Conflicts: 28000 | #Constraints: 7178
2363.14/2369.14 c #Conflicts: 29000 | #Constraints: 8178
2363.14/2369.14 c INPROCESSING
2363.14/2369.14 c GARBAGE COLLECT
2363.14/2369.14 c #Conflicts: 30000 | #Constraints: 5585
2363.14/2369.14 c #Conflicts: 31000 | #Constraints: 6585
2363.14/2369.14 c #Conflicts: 32000 | #Constraints: 7585
2363.14/2369.14 c GLOBAL bounds - >= -14329184 @ 2353.37
2363.44/2369.40 c GLOBAL bounds - >= -14329184 @ 2353.62
2363.64/2369.68 c GLOBAL bounds - >= -14329184 @ 2353.88
2376.80/2382.81 c GLOBAL bounds - >= -14329184 @ 2366.96
2377.01/2383.10 c GLOBAL bounds - >= -14329184 @ 2367.24
2377.30/2383.37 c GLOBAL bounds - >= -14329184 @ 2367.5
2377.70/2383.70 c GLOBAL bounds - >= -14329184 @ 2367.81
3570.17/3579.43 c #Conflicts: 33000 | #Constraints: 8599
3570.17/3579.43 c INPROCESSING
3570.17/3579.43 c GARBAGE COLLECT
3570.17/3579.43 c #Conflicts: 34000 | #Constraints: 5794
3570.17/3579.43 c #Conflicts: 35000 | #Constraints: 6794
3570.17/3579.43 c #Conflicts: 36000 | #Constraints: 7794
3570.17/3579.43 c #Conflicts: 37000 | #Constraints: 8794
3570.17/3579.43 c INPROCESSING
3570.17/3579.43 c GARBAGE COLLECT
3570.17/3579.43 c #Conflicts: 38000 | #Constraints: 5791
3570.17/3579.43 c #Conflicts: 39000 | #Constraints: 6791
3570.17/3579.43 c #Conflicts: 40000 | #Constraints: 7791
3570.17/3579.43 c #Conflicts: 41000 | #Constraints: 8791
3570.17/3579.43 c INPROCESSING
3570.17/3579.43 c GARBAGE COLLECT
3570.17/3579.43 c #Conflicts: 42000 | #Constraints: 5598
3570.17/3579.43 c #Conflicts: 43000 | #Constraints: 6598
3570.17/3579.43 c #Conflicts: 44000 | #Constraints: 7598
3570.17/3579.43 c #Conflicts: 45000 | #Constraints: 8598
3570.17/3579.43 c #Conflicts: 46000 | #Constraints: 9598
3570.17/3579.43 c INPROCESSING
3570.17/3579.43 c GARBAGE COLLECT
3570.17/3579.43 c GLOBAL bounds - >= -14329184 @ 3559.25
3600.08/3609.40 c #Conflicts: 47000 | #Constraints: 6201
3600.08/3609.40 c cpu time 3589.09 s
3600.08/3609.40 c deterministic time 1 1.00e+00
3600.08/3609.40 c optimization time 3589.08 s
3600.08/3609.40 c total solve time 0 s
3600.08/3609.40 c core-guided solve time 0 s
3600.08/3609.40 c propagation time 2e-06 s
3600.08/3609.40 c conflict analysis time 0 s
3600.08/3609.40 c propagations 0
3600.08/3609.40 c resolve steps 0
3600.08/3609.40 c decisions 0
3600.08/3609.40 c conflicts 0
3600.08/3609.40 c restarts 0
3600.08/3609.40 c inprocessing phases 0
3600.08/3609.40 c garbage collections 0 ,( -nan )
3600.08/3609.40 c input clauses 0 ,( 0.00 )
3600.08/3609.40 c input cardinalities 0 ,( 0.00 )
3600.08/3609.40 c input general constraints 1 ,( 100.00 )
3600.08/3609.40 c input average constraint length 20000.00
3600.08/3609.40 c input average constraint degree 9902227.00
3600.08/3609.40 c learned clauses 0 ,( 0.00 )
3600.08/3609.40 c learned cardinalities 0 ,( 0.00 )
3600.08/3609.40 c learned general constraints 0 ,( 0.00 )
3600.08/3609.40 c learned average constraint length 0.00
3600.08/3609.40 c learned average constraint degree 0.00
3600.08/3609.40 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.08/3609.40 c counting CF 32, 64, 128, Arb: 2 , 0 , 0 , 0
3600.08/3609.40 c watched constraints 0 ,( 0.00 )
3600.08/3609.40 c counting constraints 1 ,( 100.00 )
3600.08/3609.40 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.08/3609.40 c gcd simplifications 0
3600.08/3609.40 c detected cardinalities 0
3600.08/3609.40 c weakened non-implied lits 0
3600.08/3609.40 c weakened non-implying lits 0
3600.08/3609.40 c original variables 20000
3600.08/3609.40 c clausal propagations 0
3600.08/3609.40 c cardinality propagations 0
3600.08/3609.40 c watched propagations 0
3600.08/3609.40 c counting propagations 0
3600.08/3609.40 c watch lookups 0
3600.08/3609.40 c watch backjump lookups 0
3600.08/3609.40 c watch checks 0
3600.08/3609.40 c propagation checks 0
3600.08/3609.40 c constraint additions 0
3600.08/3609.40 c trail pops 0
3600.08/3609.40 c formula constraints 1
3600.08/3609.40 c learned constraints 0
3600.08/3609.40 c bound constraints 0
3600.08/3609.40 c core-guided constraints 0
3600.08/3609.40 c encountered formula constraints 0
3600.08/3609.40 c encountered learned constraints 0
3600.08/3609.40 c encountered bound constraints 0
3600.08/3609.40 c encountered core-guided constraints 0
3600.08/3609.40 c LP total time 0 s
3600.08/3609.40 c LP solve time 0 s
3600.08/3609.40 c LP constraints added 0
3600.08/3609.40 c LP constraints removed 0
3600.08/3609.40 c LP pivots internal 0
3600.08/3609.40 c LP pivots root 0
3600.08/3609.40 c LP calls 0
3600.08/3609.40 c LP optimalities 0
3600.08/3609.40 c LP no pivot count 0
3600.08/3609.40 c LP infeasibilities 0
3600.08/3609.40 c LP valid Farkas constraints 0
3600.08/3609.40 c LP learned Farkas constraints 0
3600.08/3609.40 c LP basis resets 0
3600.08/3609.40 c LP cycling count 0
3600.08/3609.40 c LP singular count 0
3600.08/3609.40 c LP no primal count 0
3600.08/3609.40 c LP no farkas count 0
3600.08/3609.40 c LP other issue count 0
3600.08/3609.40 c LP Gomory cuts 0
3600.08/3609.40 c LP learned cuts 0
3600.08/3609.40 c LP deleted cuts 0
3600.08/3609.40 c LP encountered Gomory constraints 0
3600.08/3609.40 c LP encountered Farkas constraints 0
3600.08/3609.40 c LP encountered learned Farkas constraints 0
3600.08/3609.40 c CG auxiliary variables introduced 0
3600.08/3609.40 c CG solutions found 0
3600.08/3609.40 c CG cores constructed 0
3600.08/3609.40 c CG core cardinality constraints returned 0
3600.08/3609.40 c CG unit cores 0
3600.08/3609.40 c CG single cores 0
3600.08/3609.40 c CG blocks removed during cardinality reduction 0
3600.08/3609.40 c CG first core best 0
3600.08/3609.40 c CG decision core best 0
3600.08/3609.40 c CG core reduction tie 0
3600.08/3609.40 c CG core degree average 0.00
3600.08/3609.40 c CG core slack average 0.00
3600.08/3609.40 c CG core upper bound improvements 0
3600.08/3609.40 c STR number of successful calls 0
3600.08/3609.40 c STR number of unsuccessful calls 0
3600.08/3609.40 c STR number of inconclusive calls 0
3600.08/3609.40 c STR number of successful attempts 0
3600.08/3609.40 c STR number of unsuccessful attempts 0
3600.08/3609.40 c STR number of inconclusive attempts 0
3600.08/3609.40 c STR average degree increase per successful call inf
3600.08/3609.40 c STR average degree increase per successful attempt inf
3600.08/3609.40 c STR total number of conflicts for successful attempts 0
3600.08/3609.40 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3609.40 c STR total number of conflicts for inconclusive attempts 0
3600.08/3609.40 c STR average number of conflicts per successful attempt inf
3600.08/3609.40 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3609.40 c STR average number of conflicts per inconclusive attempt inf
3600.08/3609.40 c AVG.sumWPerc 99.51
3600.08/3609.40 c bigint constraints 0
3600.08/3609.40 s UNKNOWN
3600.08/3609.40 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (49147 MiB free)
memory of node 1: 64465 MiB (60685 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518318-1751544575/watcher-4518318-1751544575 -o /tmp/evaluation-result-4518318-1751544575/solver-4518318-1751544575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77533 --watchdog 3760 run-opt.sh HOME/instance-4518318-1751544575.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=77728, runsolver pid=77725
Current StackSize limit: 8192 KiB
[startup+0.100066 s]*
/proc/loadavg: 4.09 3.83 3.32 5/269 77730
/proc/meminfo: memFree=112468760/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=74312 memory=24172 CPUtime=0.08 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 4851 0 0 0 3 5 0 0 20 0 1 0 70135360 76095488 6043 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 18578 6043 2336 1147 0 6005 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78504 KiB
Current children cumulated memory: 27244 KiB
[startup+0.205751 s]*
/proc/loadavg: 4.09 3.83 3.32 5/269 77730
/proc/meminfo: memFree=112468760/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=74468 memory=26536 CPUtime=0.19 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 4950 0 0 0 8 11 0 0 20 0 1 0 70135360 76255232 6634 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 18617 6634 2336 1147 0 6044 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 78660 KiB
Current children cumulated memory: 29608 KiB
[startup+0.30559 s]*
/proc/loadavg: 4.09 3.83 3.32 5/269 77730
/proc/meminfo: memFree=112469204/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=74468 memory=26536 CPUtime=0.29 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 4950 0 0 0 13 16 0 0 20 0 1 0 70135360 76255232 6634 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 18617 6634 2336 1147 0 6044 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 78660 KiB
Current children cumulated memory: 29608 KiB
[startup+0.700209 s]
/proc/loadavg: 4.09 3.83 3.32 5/269 77730
/proc/meminfo: memFree=112469204/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=77188 memory=28584 CPUtime=0.68 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 5455 0 0 0 33 35 0 0 20 0 1 0 70135360 79040512 7146 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 19297 7146 2336 1147 0 6724 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 81380 KiB
Current children cumulated memory: 31656 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 3.83 3.32 5/269 77730
/proc/meminfo: memFree=112465172/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=81992 memory=35164 CPUtime=1.47 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 6599 0 0 0 72 75 0 0 20 0 1 0 70135360 83959808 8791 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 20498 8791 2336 1147 0 7925 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 86184 KiB
Current children cumulated memory: 38236 KiB
[startup+3.10559 s]
/proc/loadavg: 4.08 3.83 3.33 5/269 77730
/proc/meminfo: memFree=112454700/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=102280 memory=46496 CPUtime=3.08 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 7894 0 0 0 155 153 0 0 20 0 1 0 70135360 104734720 11624 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 25570 11624 2336 1147 0 12997 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 106472 KiB
Current children cumulated memory: 49568 KiB
[startup+6.30018 s]
/proc/loadavg: 4.08 3.83 3.33 4/266 77837
/proc/meminfo: memFree=112752472/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=149752 memory=97028 CPUtime=6.26 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 15425 0 0 0 360 266 0 0 20 0 1 0 70135360 153346048 24257 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 37438 24257 2336 1147 0 24865 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 153944 KiB
Current children cumulated memory: 100100 KiB
[startup+12.7002 s]
/proc/loadavg: 4.22 3.87 3.35 5/269 78053
/proc/meminfo: memFree=112526268/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=380164 memory=310304 CPUtime=12.65 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 53936 0 0 0 942 323 0 0 20 0 1 0 70135360 389287936 77576 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 95041 77576 2336 1147 0 82468 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 384356 KiB
Current children cumulated memory: 313376 KiB
[startup+25.5002 s]
/proc/loadavg: 4.19 3.88 3.35 5/267 78053
/proc/meminfo: memFree=112107884/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=629016 memory=570664 CPUtime=25.42 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 96031 0 0 0 2177 365 0 0 20 0 1 0 70135360 644112384 142666 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 157254 142666 2336 1147 0 144681 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 633208 KiB
Current children cumulated memory: 573736 KiB
[startup+51.1055 s]
/proc/loadavg: 4.28 3.92 3.38 5/267 78053
/proc/meminfo: memFree=111538476/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=1105540 memory=1019544 CPUtime=50.95 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 180160 0 0 0 4704 391 0 0 20 0 1 0 70135360 1132072960 254886 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 276385 254886 2336 1147 0 263812 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 1109732 KiB
Current children cumulated memory: 1022616 KiB
[startup+102.3 s]
/proc/loadavg: 4.29 4.00 3.44 5/266 78059
/proc/meminfo: memFree=111479908/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=1320816 memory=1080884 CPUtime=102.03 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 183222 0 0 0 9719 484 0 0 20 0 1 0 70135360 1352515584 270221 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 330204 270221 2336 1147 0 317631 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1325008 KiB
Current children cumulated memory: 1083956 KiB
[startup+162.3 s]
/proc/loadavg: 4.16 4.01 3.49 5/266 78061
/proc/meminfo: memFree=110738072/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=2022700 memory=1803936 CPUtime=161.87 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 324232 0 0 0 15668 519 0 0 20 0 1 0 70135360 2071244800 450984 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 505675 450984 2336 1147 0 493102 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 2026892 KiB
Current children cumulated memory: 1807008 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.03 3.53 5/266 78063
/proc/meminfo: memFree=110613068/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=2022856 memory=1863152 CPUtime=221.72 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 331878 0 0 0 21641 531 0 0 20 0 1 0 70135360 2071404544 465788 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 505714 465788 2336 1147 0 493141 0
################
# More data... #
################
/proc/77730/statm: 1083207 1030082 2336 1147 0 1070634 0
Current children cumulated CPU time: 3034.62 s
Current children cumulated vsize: 4337020 KiB
Current children cumulated memory: 4123400 KiB
[startup+3102.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/268 78350
/proc/meminfo: memFree=107955448/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=4332828 memory=4138760 CPUtime=3094.45 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 673375 0 0 0 308429 1016 0 0 20 0 1 0 70135360 4436815872 1034690 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1083207 1034690 2336 1147 0 1070634 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 4337020 KiB
Current children cumulated memory: 4141832 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.08 4.09 5/270 78404
/proc/meminfo: memFree=107782228/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7100072 memory=5630032 CPUtime=3154.27 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1035997 0 0 0 314358 1069 0 0 20 0 1 0 70135360 7270473728 1407508 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1775018 1407508 2336 1147 0 1762445 0
Current children cumulated CPU time: 3154.27 s
Current children cumulated vsize: 7104264 KiB
Current children cumulated memory: 5633104 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/270 78406
/proc/meminfo: memFree=107328888/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7100072 memory=5630032 CPUtime=3214.1 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1036448 0 0 0 320340 1070 0 0 20 0 1 0 70135360 7270473728 1407508 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1775018 1407508 2336 1147 0 1762445 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 7104264 KiB
Current children cumulated memory: 5633104 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 78410
/proc/meminfo: memFree=107300652/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7100072 memory=5630032 CPUtime=3273.93 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1037019 0 0 0 326322 1071 0 0 20 0 1 0 70135360 7270473728 1407508 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1775018 1407508 2336 1147 0 1762445 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 7104264 KiB
Current children cumulated memory: 5633104 KiB
[startup+3342.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 78412
/proc/meminfo: memFree=107239784/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7100072 memory=5630032 CPUtime=3333.75 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1037069 0 0 0 332304 1071 0 0 20 0 1 0 70135360 7270473728 1407508 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1775018 1407508 2336 1147 0 1762445 0
Current children cumulated CPU time: 3333.75 s
Current children cumulated vsize: 7104264 KiB
Current children cumulated memory: 5633104 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/268 78414
/proc/meminfo: memFree=107072404/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7100072 memory=5630032 CPUtime=3393.57 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1037685 0 0 0 338283 1074 0 0 20 0 1 0 70135360 7270473728 1407508 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1775018 1407508 2336 1147 0 1762445 0
Current children cumulated CPU time: 3393.57 s
Current children cumulated vsize: 7104264 KiB
Current children cumulated memory: 5633104 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/266 78416
/proc/meminfo: memFree=107052868/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7100072 memory=5630032 CPUtime=3453.41 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1038354 0 0 0 344262 1079 0 0 20 0 1 0 70135360 7270473728 1407508 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1775018 1407508 2336 1147 0 1762445 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 7104264 KiB
Current children cumulated memory: 5633104 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/267 78419
/proc/meminfo: memFree=106856012/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7163308 memory=5726328 CPUtime=3513.23 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1055440 0 0 0 350237 1086 0 0 20 0 1 0 70135360 7335227392 1431582 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1790827 1431582 2336 1147 0 1778254 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 7167500 KiB
Current children cumulated memory: 5729400 KiB
[startup+3582.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 78422
/proc/meminfo: memFree=106725844/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7176620 memory=5803012 CPUtime=3573.06 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1066448 0 0 0 356208 1098 0 0 20 0 1 0 70135360 7348858880 1450753 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1794155 1450753 2336 1147 0 1781582 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 7180812 KiB
Current children cumulated memory: 5806084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.07 4.08 4.09 5/268 78422
/proc/meminfo: memFree=106717904/131249996 swapFree=33004236/33010684
[pid=77728] ppid=77725 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/77728/stat : 77728 (run-opt.sh) S 77725 77728 77498 0 -1 4194304 204 0 0 0 0 0 0 0 20 0 1 0 70135359 4292608 768 18446744073709551615 94238971092992 94238971987525 140734213293408 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94238972226576 94238972274320 94238976061440 140734213298541 140734213298664 140734213298664 140734213304266 0
/proc/77728/statm: 1048 768 704 219 0 110 0
[pid=77730] ppid=77728 vsize=7176620 memory=5803012 CPUtime=3600.08 cores=1,3
/proc/77730/stat : 77730 (roundingsat) R 77728 77728 77498 0 -1 4194304 1066890 0 0 0 358909 1099 0 0 20 0 1 0 70135360 7348858880 1450753 18446744073709551615 4227072 8923433 140731431956048 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22564864 140731431963042 140731431963176 140731431963176 140731431968746 0
/proc/77730/statm: 1794155 1450753 2336 1147 0 1781582 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 7180812 KiB
Current children cumulated memory: 5806084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.4 s]
# the end of solver process 77728 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.002628 s
[startup+3609.5 s]
# the end of solver process 77730 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3589.1 s, system=11.0901 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3609.5
CPU time (s): 3600.19
CPU user time (s): 3589.1
CPU system time (s): 11.0901
CPU usage (%): 99.7421
Max. virtual memory (cumulated for all children) (KiB): 7180812
Max. memory (cumulated for all children) (KiB): 5806084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.1
system time used= 11.0901
maximum resident set size= 5803396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1067118
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211
involuntary context switches= 4692
# summary of solver processes directly reported to runsolver:
# pid: 77728,77730
# total CPU time (s): 3600.19
# total CPU user time (s): 3589.1
# total CPU system time (s): 11.0901
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.08923 second user time and 17.2656 second system time
The end
Begin job on nodeC023 at 2025-07-03 14:09:35
IDJOB=4518318
IDBENCH=176901
IDSOLVER=3350
FILE ID=nodeC023/4518318-1751544575
RUNJOBID= nodeC023-1751543886-77533
SLURM_JOB_ID= 9598710
Free space on /tmp= 431848 MiB
SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/KNAP/multiple_strongly_correlated/normalized-knapPI_14_10000_1000_2_-407357.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4518318-1751544575/watcher-4518318-1751544575 -o /tmp/evaluation-result-4518318-1751544575/solver-4518318-1751544575 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751543886-77533 --watchdog 3760 run-opt.sh HOME/instance-4518318-1751544575.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e452967152bd4eb328dd132d733a88a9
RANDOM SEED=1582386022
nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.814
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3538.521
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.413
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.468
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.885
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.888
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3566.523
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3578.172
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 112469612 kB
MemAvailable: 128232524 kB
Buffers: 16 kB
Cached: 16507080 kB
SwapCached: 592 kB
Active: 1693896 kB
Inactive: 16301984 kB
Active(anon): 1481736 kB
Inactive(anon): 20452 kB
Active(file): 212160 kB
Inactive(file): 16281532 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33004236 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 7588 kB
Writeback: 72 kB
AnonPages: 1490740 kB
Mapped: 112400 kB
Shmem: 13404 kB
KReclaimable: 216916 kB
Slab: 307616 kB
SReclaimable: 216916 kB
SUnreclaim: 90700 kB
KernelStack: 4352 kB
PageTables: 6588 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 2109584 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 286720 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 197332 kB
DirectMap2M: 9011200 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431840 MiB
End job on nodeC023 at 2025-07-03 15:09:45