0.00/0.02 c RoundingSat 2
0.00/0.02 c branch pb25
0.00/0.02 c commit 63f22ad
0.40/0.42 c #variables 85097 #constraints 551
0.40/0.42 c objective is ce32
0.50/0.56 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.50/0.56 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.50/0.56 c GLOBAL bounds - >= -9572779 @ 0.451319
0.77/0.83 c GLOBAL bounds - >= -9572779 @ 0.58164
0.98/1.04 c GLOBAL bounds - >= -9572779 @ 0.716299
1.17/1.25 c GLOBAL bounds - >= -9572779 @ 0.844215
1.37/1.48 c GLOBAL bounds - >= -9572779 @ 1.01082
1.57/1.65 c GLOBAL bounds - >= -9572779 @ 1.10239
1.77/1.80 c GLOBAL bounds - >= -9572779 @ 1.19851
1.87/1.99 c GLOBAL bounds - >= -9572779 @ 1.33323
2.08/2.13 c GLOBAL bounds - >= -9572779 @ 1.42405
2.16/2.28 c GLOBAL bounds - >= -9572779 @ 1.52052
2.36/2.41 c GLOBAL bounds - >= -9572779 @ 1.60665
2.76/2.85 c GLOBAL bounds - >= -9572779 @ 2.00392
2.86/2.98 c GLOBAL bounds - >= -9572779 @ 2.08702
3.08/3.12 c GLOBAL bounds - >= -9572779 @ 2.16897
3.26/3.30 c GLOBAL bounds - >= -9572779 @ 2.31174
3.37/3.42 c GLOBAL bounds - >= -9572779 @ 2.3876
3.57/3.64 c GLOBAL bounds - >= -9572779 @ 2.56098
3.76/3.89 c GLOBAL bounds - >= -9572779 @ 2.76536
3.97/4.01 c GLOBAL bounds - >= -9572779 @ 2.84069
4.36/4.41 c GLOBAL bounds - >= -9572779 @ 3.19835
4.46/4.53 c GLOBAL bounds - >= -9572779 @ 3.27666
4.56/4.64 c GLOBAL bounds - >= -9572779 @ 3.35293
4.76/4.85 c GLOBAL bounds - >= -9572779 @ 3.52661
4.97/5.06 c GLOBAL bounds - >= -9572779 @ 3.69848
5.16/5.26 c GLOBAL bounds - >= -9572779 @ 3.86413
5.26/5.37 c GLOBAL bounds - >= -9572779 @ 3.94422
5.35/5.48 c GLOBAL bounds - >= -9572779 @ 4.02432
5.46/5.59 c GLOBAL bounds - >= -9572779 @ 4.09737
5.76/5.88 c GLOBAL bounds - >= -9572779 @ 4.35958
5.97/6.09 c GLOBAL bounds - >= -9572779 @ 4.52843
6.15/6.21 c GLOBAL bounds - >= -9572779 @ 4.60664
6.26/6.37 c GLOBAL bounds - >= -9572779 @ 4.73734
6.36/6.48 c GLOBAL bounds - >= -9572779 @ 4.81795
6.55/6.64 c GLOBAL bounds - >= -9572779 @ 4.94855
6.65/6.75 c GLOBAL bounds - >= -9572779 @ 5.0251
6.85/6.91 c GLOBAL bounds - >= -9572779 @ 5.14845
6.96/7.02 c GLOBAL bounds - >= -9572779 @ 5.22774
7.15/7.27 c GLOBAL bounds - >= -9572779 @ 5.43599
7.35/7.44 c GLOBAL bounds - >= -9572779 @ 5.57717
7.46/7.55 c GLOBAL bounds - >= -9572779 @ 5.65421
7.75/7.86 c GLOBAL bounds - >= -9572779 @ 5.9353
7.85/7.97 c GLOBAL bounds - >= -9572779 @ 6.01736
8.06/8.13 c GLOBAL bounds - >= -9572779 @ 6.14723
8.14/8.28 c GLOBAL bounds - >= -9572779 @ 6.26923
8.25/8.39 c GLOBAL bounds - >= -9572779 @ 6.34539
8.54/8.67 c GLOBAL bounds - >= -9572779 @ 6.60244
8.65/8.78 c GLOBAL bounds - >= -9572779 @ 6.67649
8.75/8.89 c GLOBAL bounds - >= -9572779 @ 6.752
8.96/9.05 c GLOBAL bounds - >= -9572779 @ 6.88611
9.06/9.17 c GLOBAL bounds - >= -9572779 @ 6.96691
9.14/9.28 c GLOBAL bounds - >= -9572779 @ 7.0408
9.34/9.45 c GLOBAL bounds - >= -9572779 @ 7.1731
9.44/9.57 c GLOBAL bounds - >= -9572779 @ 7.26531
9.54/9.68 c GLOBAL bounds - >= -9572779 @ 7.34748
9.74/9.80 c GLOBAL bounds - >= -9572779 @ 7.42943
9.84/9.96 c GLOBAL bounds - >= -9572779 @ 7.56311
9.95/10.08 c GLOBAL bounds - >= -9572779 @ 7.64579
10.05/10.20 c GLOBAL bounds - >= -9572779 @ 7.73118
10.83/10.94 c GLOBAL bounds - >= -9572779 @ 8.42779
10.93/11.10 c GLOBAL bounds - >= -9572779 @ 8.52931
11.13/11.27 c GLOBAL bounds - >= -9572779 @ 8.66697
11.42/11.51 c GLOBAL bounds - >= -9572779 @ 8.8752
11.53/11.64 c GLOBAL bounds - >= -9572779 @ 8.97664
11.82/11.96 c GLOBAL bounds - >= -9572779 @ 9.25563
11.93/12.09 c GLOBAL bounds - >= -9572779 @ 9.34952
12.12/12.25 c GLOBAL bounds - >= -9572779 @ 9.48289
12.32/12.47 c GLOBAL bounds - >= -9572779 @ 9.67226
12.52/12.65 c GLOBAL bounds - >= -9572779 @ 9.81906
12.62/12.77 c GLOBAL bounds - >= -9572779 @ 9.90881
12.72/12.88 c GLOBAL bounds - >= -9572779 @ 9.99427
12.93/13.04 c GLOBAL bounds - >= -9572779 @ 10.1199
13.03/13.16 c GLOBAL bounds - >= -9572779 @ 10.2113
13.52/13.67 c GLOBAL bounds - >= -9572779 @ 10.6994
13.62/13.79 c GLOBAL bounds - >= -9572779 @ 10.7901
13.93/14.04 c GLOBAL bounds - >= -9572779 @ 11.01
14.03/14.16 c GLOBAL bounds - >= -9572779 @ 11.0995
14.21/14.39 c GLOBAL bounds - >= -9572779 @ 11.296
14.42/14.51 c GLOBAL bounds - >= -9572779 @ 11.3956
14.51/14.62 c GLOBAL bounds - >= -9572779 @ 11.4836
15.11/15.20 c GLOBAL bounds - >= -9572779 @ 12.0298
15.22/15.33 c GLOBAL bounds - >= -9572779 @ 12.1307
15.41/15.53 c GLOBAL bounds - >= -9572779 @ 12.3146
15.81/15.93 c GLOBAL bounds - >= -9572779 @ 12.6558
15.92/16.09 c GLOBAL bounds - >= -9572779 @ 12.7886
16.11/16.21 c GLOBAL bounds - >= -9572779 @ 12.8862
16.21/16.37 c GLOBAL bounds - >= -9572779 @ 13.0192
16.31/16.49 c GLOBAL bounds - >= -9572779 @ 13.1105
16.81/16.96 c GLOBAL bounds - >= -9572779 @ 13.5627
17.10/17.25 c GLOBAL bounds - >= -9572779 @ 13.817
17.31/17.46 c GLOBAL bounds - >= -9572779 @ 13.998
17.51/17.64 c GLOBAL bounds - >= -9572779 @ 14.1496
17.71/17.81 c GLOBAL bounds - >= -9572779 @ 14.2965
17.91/18.07 c GLOBAL bounds - >= -9572779 @ 14.5279
18.11/18.20 c GLOBAL bounds - >= -9572779 @ 14.6285
18.21/18.33 c GLOBAL bounds - >= -9572779 @ 14.7174
18.31/18.49 c GLOBAL bounds - >= -9572779 @ 14.8558
18.50/18.62 c GLOBAL bounds - >= -9572779 @ 14.9568
18.60/18.78 c GLOBAL bounds - >= -9572779 @ 15.0925
18.80/18.96 c GLOBAL bounds - >= -9572779 @ 15.2506
19.02/19.14 c GLOBAL bounds - >= -9572779 @ 15.3991
19.10/19.27 c GLOBAL bounds - >= -9572779 @ 15.5038
19.21/19.39 c GLOBAL bounds - >= -9572779 @ 15.6043
19.40/19.51 c GLOBAL bounds - >= -9572779 @ 15.6954
19.60/19.72 c GLOBAL bounds - >= -9572779 @ 15.8827
19.70/19.85 c GLOBAL bounds - >= -9572779 @ 15.9899
19.80/19.97 c GLOBAL bounds - >= -9572779 @ 16.0936
20.20/20.36 c GLOBAL bounds - >= -9572779 @ 16.4646
20.40/20.54 c GLOBAL bounds - >= -9572779 @ 16.623
20.60/20.72 c GLOBAL bounds - >= -9572779 @ 16.7745
20.69/20.89 c GLOBAL bounds - >= -9572779 @ 16.9227
20.91/21.07 c GLOBAL bounds - >= -9572779 @ 17.0772
21.10/21.25 c GLOBAL bounds - >= -9572779 @ 17.2352
21.20/21.38 c GLOBAL bounds - >= -9572779 @ 17.3448
21.39/21.54 c GLOBAL bounds - >= -9572779 @ 17.4797
21.59/21.77 c GLOBAL bounds - >= -9572779 @ 17.6787
22.20/22.33 c GLOBAL bounds - >= -9572779 @ 18.2018
22.49/22.62 c GLOBAL bounds - >= -9572779 @ 18.4626
22.80/22.95 c GLOBAL bounds - >= -9572779 @ 18.7654
22.91/23.10 c GLOBAL bounds - >= -9572779 @ 18.8858
23.20/23.38 c GLOBAL bounds - >= -9572779 @ 19.1307
23.49/23.61 c GLOBAL bounds - >= -9572779 @ 19.3296
23.69/23.81 c GLOBAL bounds - >= -9572779 @ 19.496
23.90/24.11 c GLOBAL bounds - >= -9572779 @ 19.7724
24.19/24.35 c GLOBAL bounds - >= -9572779 @ 19.9882
24.29/24.49 c GLOBAL bounds - >= -9572779 @ 20.0993
24.69/24.87 c GLOBAL bounds - >= -9572779 @ 20.4477
25.48/25.63 c GLOBAL bounds - >= -9572779 @ 21.1694
25.68/25.81 c GLOBAL bounds - >= -9572779 @ 21.2979
25.78/25.97 c GLOBAL bounds - >= -9572779 @ 21.4144
26.09/26.27 c GLOBAL bounds - >= -9572779 @ 21.6676
27.48/27.65 c GLOBAL bounds - >= -9572779 @ 22.998
41.85/42.06 c GLOBAL bounds - >= -9572779 @ 37.1877
42.85/43.11 c GLOBAL bounds - >= -9572779 @ 38.176
43.33/43.57 c GLOBAL bounds - >= -9572779 @ 38.6037
44.73/44.98 c GLOBAL bounds - >= -9572779 @ 39.9655
45.03/45.23 c GLOBAL bounds - >= -9572779 @ 40.1876
45.23/45.41 c GLOBAL bounds - >= -9572779 @ 40.3342
45.33/45.60 c GLOBAL bounds - >= -9572779 @ 40.4797
45.72/45.93 c GLOBAL bounds - >= -9572779 @ 40.7832
46.03/46.24 c GLOBAL bounds - >= -9572779 @ 41.0419
46.61/46.82 c GLOBAL bounds - >= -9572779 @ 41.5575
46.83/47.09 c GLOBAL bounds - >= -9572779 @ 41.7978
47.32/47.51 c GLOBAL bounds - >= -9572779 @ 42.1688
47.52/47.75 c GLOBAL bounds - >= -9572779 @ 42.374
47.72/47.95 c GLOBAL bounds - >= -9572779 @ 42.5324
47.92/48.14 c GLOBAL bounds - >= -9572779 @ 42.688
48.11/48.34 c GLOBAL bounds - >= -9572779 @ 42.842
48.31/48.58 c GLOBAL bounds - >= -9572779 @ 43.0418
49.21/49.48 c GLOBAL bounds - >= -9572779 @ 43.8938
49.51/49.73 c GLOBAL bounds - >= -9572779 @ 44.1083
49.71/49.98 c GLOBAL bounds - >= -9572779 @ 44.3196
50.01/50.21 c GLOBAL bounds - >= -9572779 @ 44.51
50.31/50.51 c GLOBAL bounds - >= -9572779 @ 44.7624
50.51/50.79 c GLOBAL bounds - >= -9572779 @ 45.0148
50.82/51.04 c GLOBAL bounds - >= -9572779 @ 45.2406
51.21/51.41 c GLOBAL bounds - >= -9572779 @ 45.5658
51.41/51.65 c GLOBAL bounds - >= -9572779 @ 45.7622
51.70/52.00 c GLOBAL bounds - >= -9572779 @ 46.0662
52.10/52.32 c GLOBAL bounds - >= -9572779 @ 46.3562
52.31/52.56 c GLOBAL bounds - >= -9572779 @ 46.5628
52.51/52.75 c GLOBAL bounds - >= -9572779 @ 46.71
52.70/52.99 c GLOBAL bounds - >= -9572779 @ 46.9204
53.01/53.27 c GLOBAL bounds - >= -9572779 @ 47.1643
53.30/53.59 c GLOBAL bounds - >= -9572779 @ 47.4374
53.60/53.83 c GLOBAL bounds - >= -9572779 @ 47.6411
53.82/54.01 c GLOBAL bounds - >= -9572779 @ 47.7942
54.00/54.25 c GLOBAL bounds - >= -9572779 @ 47.9895
54.20/54.46 c GLOBAL bounds - >= -9572779 @ 48.1652
54.39/54.65 c GLOBAL bounds - >= -9572779 @ 48.3157
54.60/54.88 c GLOBAL bounds - >= -9572779 @ 48.4998
55.00/55.25 c GLOBAL bounds - >= -9572779 @ 48.8402
57.29/57.54 c GLOBAL bounds - >= -9572779 @ 51.0179
57.59/57.80 c GLOBAL bounds - >= -9572779 @ 51.2513
57.80/58.05 c GLOBAL bounds - >= -9572779 @ 51.459
58.39/58.63 c GLOBAL bounds - >= -9572779 @ 51.9953
58.68/58.98 c GLOBAL bounds - >= -9572779 @ 52.2974
59.08/59.37 c GLOBAL bounds - >= -9572779 @ 52.6473
59.39/59.62 c GLOBAL bounds - >= -9572779 @ 52.8602
59.58/59.86 c GLOBAL bounds - >= -9572779 @ 53.0625
59.80/60.09 c GLOBAL bounds - >= -9572779 @ 53.2548
59.99/60.29 c GLOBAL bounds - >= -9572779 @ 53.4196
60.18/60.48 c GLOBAL bounds - >= -9572779 @ 53.5764
60.48/60.78 c GLOBAL bounds - >= -9572779 @ 53.8384
60.90/61.17 c GLOBAL bounds - >= -9572779 @ 54.1901
61.18/61.44 c GLOBAL bounds - >= -9572779 @ 54.422
65.67/65.92 c GLOBAL bounds - >= -9572779 @ 58.8407
66.27/66.59 c GLOBAL bounds - >= -9572779 @ 59.4563
66.66/66.90 c GLOBAL bounds - >= -9572779 @ 59.7302
66.88/67.14 c GLOBAL bounds - >= -9572779 @ 59.9184
67.27/67.54 c GLOBAL bounds - >= -9572779 @ 60.277
67.56/67.80 c GLOBAL bounds - >= -9572779 @ 60.4946
67.78/68.06 c GLOBAL bounds - >= -9572779 @ 60.7082
68.06/68.36 c GLOBAL bounds - >= -9572779 @ 60.9635
68.25/68.59 c GLOBAL bounds - >= -9572779 @ 61.1538
68.56/68.84 c GLOBAL bounds - >= -9572779 @ 61.3656
68.87/69.11 c GLOBAL bounds - >= -9572779 @ 61.5916
69.15/69.40 c GLOBAL bounds - >= -9572779 @ 61.8279
69.36/69.67 c GLOBAL bounds - >= -9572779 @ 62.0607
69.77/70.09 c GLOBAL bounds - >= -9572779 @ 62.4411
70.05/70.34 c GLOBAL bounds - >= -9572779 @ 62.6477
70.26/70.59 c GLOBAL bounds - >= -9572779 @ 62.8537
70.86/71.15 c GLOBAL bounds - >= -9572779 @ 63.3715
71.15/71.40 c GLOBAL bounds - >= -9572779 @ 63.5915
71.35/71.65 c GLOBAL bounds - >= -9572779 @ 63.8099
71.55/71.90 c GLOBAL bounds - >= -9572779 @ 64.0009
71.95/72.26 c GLOBAL bounds - >= -9572779 @ 64.3153
72.24/72.54 c GLOBAL bounds - >= -9572779 @ 64.5618
72.64/72.90 c GLOBAL bounds - >= -9572779 @ 64.8841
72.86/73.14 c GLOBAL bounds - >= -9572779 @ 65.077
73.05/73.39 c GLOBAL bounds - >= -9572779 @ 65.2925
73.34/73.67 c GLOBAL bounds - >= -9572779 @ 65.5385
73.64/73.92 c GLOBAL bounds - >= -9572779 @ 65.7511
74.44/74.74 c GLOBAL bounds - >= -9572779 @ 66.5257
74.75/75.04 c GLOBAL bounds - >= -9572779 @ 66.7694
83.11/83.46 c GLOBAL bounds - >= -9572779 @ 75.0232
107.34/107.76 c GLOBAL bounds - >= -9572779 @ 99.1535
107.84/108.20 c GLOBAL bounds - >= -9572779 @ 99.5447
108.14/108.54 c GLOBAL bounds - >= -9572779 @ 99.8371
108.43/108.82 c GLOBAL bounds - >= -9572779 @ 100.072
132.37/132.84 c #Conflicts: 1000 | #Constraints: 1985
132.37/132.84 c GLOBAL bounds - >= -9572779 @ 123.901
146.43/146.99 c GLOBAL bounds - >= -9572779 @ 137.899
147.23/147.73 c GLOBAL bounds - >= -9572779 @ 138.601
149.03/149.54 c GLOBAL bounds - >= -9572779 @ 140.352
281.37/282.22 c #Conflicts: 2000 | #Constraints: 2993
281.37/282.22 c INPROCESSING
281.37/282.22 c GARBAGE COLLECT
281.37/282.22 c GLOBAL bounds - >= -9572779 @ 272.173
300.31/301.27 c GLOBAL bounds - >= -9572779 @ 291.048
317.56/318.56 c GLOBAL bounds - >= -9572779 @ 308.246
336.68/337.76 c GLOBAL bounds - >= -9572779 @ 327.253
401.70/402.97 c #Conflicts: 3000 | #Constraints: 3012
401.70/402.97 c GLOBAL bounds - >= -9572779 @ 392.12
483.85/485.31 c GLOBAL bounds - >= -9572779 @ 473.943
514.57/516.16 c GLOBAL bounds - >= -9572779 @ 504.525
580.76/582.52 c #Conflicts: 4000 | #Constraints: 4018
580.76/582.52 c GLOBAL bounds - >= -9572779 @ 570.534
603.59/605.44 c GLOBAL bounds - >= -9572779 @ 593.316
644.19/646.18 c GLOBAL bounds - >= -9572779 @ 633.849
654.75/656.79 c INPROCESSING
654.75/656.79 c GARBAGE COLLECT
654.75/656.79 c GLOBAL bounds - >= -9572779 @ 644.334
659.05/661.04 c GLOBAL bounds - >= -9572779 @ 648.522
660.05/662.07 c GLOBAL bounds - >= -9572779 @ 649.505
662.53/664.53 c GLOBAL bounds - >= -9572779 @ 651.904
663.43/665.46 c GLOBAL bounds - >= -9572779 @ 652.795
664.33/666.35 c GLOBAL bounds - >= -9572779 @ 653.645
665.22/667.29 c GLOBAL bounds - >= -9572779 @ 654.539
684.87/686.93 c GLOBAL bounds - >= -9572779 @ 674.016
692.44/694.56 c GLOBAL bounds - >= -9572779 @ 681.532
697.13/699.29 c GLOBAL bounds - >= -9572779 @ 686.184
784.98/787.35 c GLOBAL bounds - >= -9572779 @ 773.763
1046.82/1049.90 c #Conflicts: 5000 | #Constraints: 3445
1046.82/1049.90 c #Conflicts: 6000 | #Constraints: 4445
1046.82/1049.90 c INPROCESSING
1046.82/1049.90 c GARBAGE COLLECT
1046.82/1049.90 c GLOBAL bounds - >= -9572779 @ 1035.03
1467.05/1471.41 c #Conflicts: 7000 | #Constraints: 3453
1467.05/1471.41 c #Conflicts: 8000 | #Constraints: 4453
1467.05/1471.41 c GLOBAL bounds - >= -9572779 @ 1454.66
1491.18/1495.62 c GLOBAL bounds - >= -9572779 @ 1478.73
1612.72/1617.52 c #Conflicts: 9000 | #Constraints: 5457
1612.72/1617.52 c INPROCESSING
1612.72/1617.52 c GARBAGE COLLECT
1612.72/1617.52 c GLOBAL bounds - >= -9572779 @ 1599.9
1634.76/1639.65 c GLOBAL bounds - >= -9572779 @ 1621.79
1668.55/1673.56 c GLOBAL bounds - >= -9572779 @ 1655.53
1672.06/1677.04 c GLOBAL bounds - >= -9572779 @ 1658.96
1780.04/1785.37 c #Conflicts: 10000 | #Constraints: 4167
1780.04/1785.37 c GLOBAL bounds - >= -9572779 @ 1766.79
2070.38/2076.54 c #Conflicts: 11000 | #Constraints: 5169
2070.38/2076.54 c GLOBAL bounds - >= -9572779 @ 2056.94
2082.45/2088.61 c GLOBAL bounds - >= -9572779 @ 2068.95
2535.92/2543.43 c #Conflicts: 12000 | #Constraints: 6173
2535.92/2543.43 c INPROCESSING
2535.92/2543.43 c GARBAGE COLLECT
2535.92/2543.43 c GLOBAL bounds - >= -9572779 @ 2521.64
2950.31/2959.07 c #Conflicts: 13000 | #Constraints: 4623
2950.31/2959.07 c #Conflicts: 14000 | #Constraints: 5623
2950.31/2959.07 c GLOBAL bounds - >= -9572779 @ 2935.68
3089.38/3098.51 c GLOBAL bounds - >= -9572779 @ 3074.53
3243.12/3252.73 c #Conflicts: 15000 | #Constraints: 6627
3243.12/3252.73 c INPROCESSING
3243.12/3252.73 c GARBAGE COLLECT
3243.12/3252.73 c GLOBAL bounds - >= -9572779 @ 3228.03
3402.26/3412.39 c #Conflicts: 16000 | #Constraints: 4854
3402.26/3412.39 c GLOBAL bounds - >= -9572779 @ 3387.04
3600.48/3611.13 c #Conflicts: 17000 | #Constraints: 5856
3600.48/3611.13 c cpu time 3585.03 s
3600.48/3611.13 c deterministic time 1 1.00e+00
3600.48/3611.13 c optimization time 3584.69 s
3600.48/3611.13 c total solve time 0 s
3600.48/3611.13 c core-guided solve time 0 s
3600.48/3611.13 c propagation time 0.000914 s
3600.48/3611.13 c conflict analysis time 0 s
3600.48/3611.13 c propagations 0
3600.48/3611.13 c resolve steps 0
3600.48/3611.13 c decisions 0
3600.48/3611.13 c conflicts 0
3600.48/3611.13 c restarts 0
3600.48/3611.13 c inprocessing phases 0
3600.48/3611.13 c garbage collections 0 ,( -nan )
3600.48/3611.13 c input clauses 15 ,( 2.72 )
3600.48/3611.13 c input cardinalities 536 ,( 97.28 )
3600.48/3611.13 c input general constraints 0 ,( 0.00 )
3600.48/3611.13 c input average constraint length 458.85
3600.48/3611.13 c input average constraint degree 457.85
3600.48/3611.13 c learned clauses 0 ,( 0.00 )
3600.48/3611.13 c learned cardinalities 0 ,( 0.00 )
3600.48/3611.13 c learned general constraints 0 ,( 0.00 )
3600.48/3611.13 c learned average constraint length 0.00
3600.48/3611.13 c learned average constraint degree 0.00
3600.48/3611.13 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.48/3611.13 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.48/3611.13 c watched constraints 0 ,( -nan )
3600.48/3611.13 c counting constraints 0 ,( -nan )
3600.48/3611.13 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.48/3611.13 c gcd simplifications 0
3600.48/3611.13 c detected cardinalities 0
3600.48/3611.13 c weakened non-implied lits 0
3600.48/3611.13 c weakened non-implying lits 0
3600.48/3611.13 c original variables 85097
3600.48/3611.13 c clausal propagations 0
3600.48/3611.13 c cardinality propagations 0
3600.48/3611.13 c watched propagations 0
3600.48/3611.13 c counting propagations 0
3600.48/3611.13 c watch lookups 0
3600.48/3611.13 c watch backjump lookups 0
3600.48/3611.13 c watch checks 0
3600.48/3611.13 c propagation checks 0
3600.48/3611.13 c constraint additions 0
3600.48/3611.13 c trail pops 0
3600.48/3611.13 c formula constraints 551
3600.48/3611.13 c learned constraints 0
3600.48/3611.13 c bound constraints 0
3600.48/3611.13 c core-guided constraints 0
3600.48/3611.13 c encountered formula constraints 0
3600.48/3611.13 c encountered learned constraints 0
3600.48/3611.13 c encountered bound constraints 0
3600.48/3611.13 c encountered core-guided constraints 0
3600.48/3611.13 c LP total time 0 s
3600.48/3611.13 c LP solve time 0 s
3600.48/3611.13 c LP constraints added 0
3600.48/3611.13 c LP constraints removed 0
3600.48/3611.13 c LP pivots internal 0
3600.48/3611.13 c LP pivots root 0
3600.48/3611.13 c LP calls 0
3600.48/3611.13 c LP optimalities 0
3600.48/3611.13 c LP no pivot count 0
3600.48/3611.13 c LP infeasibilities 0
3600.48/3611.13 c LP valid Farkas constraints 0
3600.48/3611.13 c LP learned Farkas constraints 0
3600.48/3611.13 c LP basis resets 0
3600.48/3611.13 c LP cycling count 0
3600.48/3611.13 c LP singular count 0
3600.48/3611.13 c LP no primal count 0
3600.48/3611.13 c LP no farkas count 0
3600.48/3611.13 c LP other issue count 0
3600.48/3611.13 c LP Gomory cuts 0
3600.48/3611.13 c LP learned cuts 0
3600.48/3611.13 c LP deleted cuts 0
3600.48/3611.13 c LP encountered Gomory constraints 0
3600.48/3611.13 c LP encountered Farkas constraints 0
3600.48/3611.13 c LP encountered learned Farkas constraints 0
3600.48/3611.13 c CG auxiliary variables introduced 0
3600.48/3611.13 c CG solutions found 0
3600.48/3611.13 c CG cores constructed 0
3600.48/3611.13 c CG core cardinality constraints returned 0
3600.48/3611.13 c CG unit cores 0
3600.48/3611.13 c CG single cores 0
3600.48/3611.13 c CG blocks removed during cardinality reduction 0
3600.48/3611.13 c CG first core best 0
3600.48/3611.13 c CG decision core best 0
3600.48/3611.13 c CG core reduction tie 0
3600.48/3611.13 c CG core degree average 0.00
3600.48/3611.13 c CG core slack average 0.00
3600.48/3611.13 c CG core upper bound improvements 0
3600.48/3611.13 c STR number of successful calls 0
3600.48/3611.13 c STR number of unsuccessful calls 0
3600.48/3611.13 c STR number of inconclusive calls 0
3600.48/3611.13 c STR number of successful attempts 0
3600.48/3611.13 c STR number of unsuccessful attempts 0
3600.48/3611.13 c STR number of inconclusive attempts 0
3600.48/3611.13 c STR average degree increase per successful call inf
3600.48/3611.13 c STR average degree increase per successful attempt inf
3600.48/3611.13 c STR total number of conflicts for successful attempts 0
3600.48/3611.13 c STR total number of conflicts for unsuccessful attempts 0
3600.48/3611.13 c STR total number of conflicts for inconclusive attempts 0
3600.48/3611.13 c STR average number of conflicts per successful attempt inf
3600.48/3611.13 c STR average number of conflicts per unsuccessful attempt inf
3600.48/3611.13 c STR average number of conflicts per inconclusive attempt inf
3600.48/3611.13 c AVG.sumWPerc -nan
3600.48/3611.13 c bigint constraints 0
3600.48/3611.13 s UNKNOWN
3600.48/3611.13 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: 63837 MiB (63098 MiB free)
memory of node 1: 64465 MiB (63706 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523011-1751649138/watcher-4523011-1751649138 -o /tmp/evaluation-result-4523011-1751649138/solver-4523011-1751649138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751649138-95445 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523011-1751649138.opb PROOFDIR/proof-4523011-1751649138
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=95494, runsolver pid=95486
[startup+0.100106 s]*
/proc/loadavg: 1.11 1.19 1.83 6/249 95496
/proc/meminfo: memFree=129802288/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=82300 memory=33112 CPUtime=0.08 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 6173 0 0 0 5 3 0 0 20 0 1 0 80593190 84275200 8278 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 20575 8278 1984 1147 0 8002 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 86492 KiB
Current children cumulated memory: 36056 KiB
[startup+0.212782 s]*
/proc/loadavg: 1.11 1.19 1.83 6/251 95499
/proc/meminfo: memFree=129783164/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=76672 memory=32124 CPUtime=0.2 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 7082 0 0 0 16 4 0 0 20 0 1 0 80593190 78512128 8031 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 19168 8031 2016 1147 0 6595 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 80864 KiB
Current children cumulated memory: 35068 KiB
[startup+0.31546 s]*
/proc/loadavg: 1.11 1.19 1.83 5/255 95507
/proc/meminfo: memFree=129781112/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=81448 memory=36476 CPUtime=0.3 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 8186 0 0 0 26 4 0 0 20 0 1 0 80593190 83402752 9119 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 20362 9119 2016 1147 0 7789 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85640 KiB
Current children cumulated memory: 39420 KiB
[startup+0.700383 s]
/proc/loadavg: 1.11 1.19 1.83 6/255 95507
/proc/meminfo: memFree=129700200/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=124140 memory=78852 CPUtime=0.67 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 17016 0 0 0 49 18 0 0 20 0 1 0 80593190 127119360 19713 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 31035 19713 2368 1147 0 18462 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 128332 KiB
Current children cumulated memory: 81796 KiB
[startup+1.50043 s]
/proc/loadavg: 1.11 1.19 1.83 5/255 95507
/proc/meminfo: memFree=129664288/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=148364 memory=98140 CPUtime=1.46 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 20815 0 0 0 101 45 0 0 20 0 1 0 80593190 151924736 24535 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 37091 24535 2368 1147 0 24518 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 152556 KiB
Current children cumulated memory: 101084 KiB
[startup+3.11295 s]
/proc/loadavg: 1.11 1.19 1.83 5/255 95507
/proc/meminfo: memFree=129073332/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=174112 memory=119640 CPUtime=3.08 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 22183 0 0 0 216 92 0 0 20 0 1 0 80593190 178290688 29910 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 43528 29910 2368 1147 0 30955 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 178304 KiB
Current children cumulated memory: 122584 KiB
[startup+6.30031 s]
/proc/loadavg: 1.34 1.23 1.85 5/257 95509
/proc/meminfo: memFree=128803276/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=204756 memory=145896 CPUtime=6.26 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 23129 0 0 0 467 159 0 0 20 0 1 0 80593190 209670144 36474 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 51189 36474 2368 1147 0 38616 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 208948 KiB
Current children cumulated memory: 148840 KiB
[startup+12.7004 s]
/proc/loadavg: 1.56 1.28 1.86 5/253 95537
/proc/meminfo: memFree=128655544/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=285664 memory=195316 CPUtime=12.62 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 24267 0 0 0 984 278 0 0 20 0 1 0 80593190 292519936 48829 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 71416 48829 2368 1147 0 58843 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 289856 KiB
Current children cumulated memory: 198260 KiB
[startup+25.5004 s]
/proc/loadavg: 2.03 1.40 1.89 5/258 95557
/proc/meminfo: memFree=127612388/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=367052 memory=302612 CPUtime=25.38 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 25014 0 0 0 2103 435 0 0 20 0 1 0 80593190 375861248 75653 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 91763 75653 2400 1147 0 79190 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 371244 KiB
Current children cumulated memory: 305556 KiB
[startup+51.1134 s]
/proc/loadavg: 2.77 1.62 1.95 5/259 95558
/proc/meminfo: memFree=126401680/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=714236 memory=501212 CPUtime=50.92 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 26133 0 0 0 4527 565 0 0 20 0 1 0 80593190 731377664 125303 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 178559 125303 2400 1147 0 165986 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 718428 KiB
Current children cumulated memory: 504156 KiB
[startup+102.3 s]
/proc/loadavg: 3.53 2.01 2.07 5/260 95567
/proc/meminfo: memFree=124942312/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=1082904 memory=807452 CPUtime=101.95 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 31777 0 0 0 9372 823 0 0 20 0 1 0 80593190 1108893696 201863 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 270726 201863 2400 1147 0 258153 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 1087096 KiB
Current children cumulated memory: 810396 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.39 2.19 5/260 95569
/proc/meminfo: memFree=123774356/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=1673932 memory=1134520 CPUtime=161.8 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 37965 0 0 0 15296 884 0 0 20 0 1 0 80593190 1714106368 283630 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 418483 283630 2400 1147 0 405910 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1678124 KiB
Current children cumulated memory: 1137464 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 2.70 2.32 5/260 95571
/proc/meminfo: memFree=122634660/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=1692484 memory=1451916 CPUtime=221.63 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 42714 0 0 0 21258 905 0 0 20 0 1 0 80593190 1733103616 362979 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 423121 362979 2400 1147 0 410548 0
################
# More data... #
################
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=4933352 memory=4486352 CPUtime=3152.99 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 248593 0 0 0 313803 1496 0 0 20 0 1 0 80593190 5051752448 1121588 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1233338 1121588 2400 1147 0 1220765 0
Current children cumulated CPU time: 3152.99 s
Current children cumulated vsize: 4937544 KiB
Current children cumulated memory: 4489296 KiB
[startup+3222.3 s]
/proc/loadavg: 4.64 4.29 4.10 5/259 95784
/proc/meminfo: memFree=95857420/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=5007448 memory=4577500 CPUtime=3212.81 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 266098 0 0 0 319771 1510 0 0 20 0 1 0 80593190 5127626752 1144375 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1251862 1144375 2400 1147 0 1239289 0
Current children cumulated CPU time: 3212.81 s
Current children cumulated vsize: 5011640 KiB
Current children cumulated memory: 4580444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.79 4.38 4.14 5/259 95786
/proc/meminfo: memFree=95500388/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=5012584 memory=4582620 CPUtime=3272.64 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 267491 0 0 0 325746 1518 0 0 20 0 1 0 80593190 5132886016 1145655 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1253146 1145655 2400 1147 0 1240573 0
Current children cumulated CPU time: 3272.64 s
Current children cumulated vsize: 5016776 KiB
Current children cumulated memory: 4585564 KiB
[startup+3342.3 s]
/proc/loadavg: 4.75 4.45 4.18 5/259 95788
/proc/meminfo: memFree=95147324/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=5024800 memory=4594652 CPUtime=3332.46 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 271129 0 0 0 331720 1526 0 0 20 0 1 0 80593190 5145395200 1148663 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1256200 1148663 2400 1147 0 1243627 0
Current children cumulated CPU time: 3332.46 s
Current children cumulated vsize: 5028992 KiB
Current children cumulated memory: 4597596 KiB
[startup+3402.3 s]
/proc/loadavg: 5.03 4.60 4.26 5/259 95790
/proc/meminfo: memFree=94807844/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=5037020 memory=4606940 CPUtime=3392.28 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 274329 0 0 0 337698 1530 0 0 20 0 1 0 80593190 5157908480 1151735 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1259255 1151735 2400 1147 0 1246682 0
Current children cumulated CPU time: 3392.28 s
Current children cumulated vsize: 5041212 KiB
Current children cumulated memory: 4609884 KiB
[startup+3462.3 s]
/proc/loadavg: 4.38 4.49 4.24 5/258 95792
/proc/meminfo: memFree=94494608/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=5050540 memory=4619484 CPUtime=3452.1 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 278104 0 0 0 343673 1537 0 0 20 0 1 0 80593190 5171752960 1154871 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1262635 1154871 2400 1147 0 1250062 0
Current children cumulated CPU time: 3452.1 s
Current children cumulated vsize: 5054732 KiB
Current children cumulated memory: 4622428 KiB
[startup+3522.3 s]
/proc/loadavg: 4.18 4.41 4.23 5/258 95795
/proc/meminfo: memFree=94128512/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=5066068 memory=4635100 CPUtime=3511.93 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 282448 0 0 0 349651 1542 0 0 20 0 1 0 80593190 5187653632 1158775 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1266517 1158775 2400 1147 0 1253944 0
Current children cumulated CPU time: 3511.93 s
Current children cumulated vsize: 5070260 KiB
Current children cumulated memory: 4638044 KiB
[startup+3582.3 s]
/proc/loadavg: 4.16 4.37 4.22 5/258 95798
/proc/meminfo: memFree=93620712/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=5073088 memory=4642140 CPUtime=3571.75 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 284677 0 0 0 355629 1546 0 0 20 0 1 0 80593190 5194842112 1160535 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1268272 1160535 2400 1147 0 1255699 0
Current children cumulated CPU time: 3571.75 s
Current children cumulated vsize: 5077280 KiB
Current children cumulated memory: 4645084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.11 4.34 4.22 4/258 95798
/proc/meminfo: memFree=93328168/131382116 swapFree=33005528/33010684
[pid=95494] ppid=95486 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/95494/stat : 95494 (run-opt-log.sh) S 95486 95494 94406 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 80593189 4292608 736 18446744073709551615 94903584915456 94903585809989 140735623491888 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94903586049040 94903586096784 94903604006912 140735623493920 140735623494115 140735623494115 140735623499718 0
/proc/95494/statm: 1048 736 672 219 0 110 0
[pid=95496] ppid=95494 vsize=5075500 memory=4644444 CPUtime=3600.06 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95494 95494 94406 0 -1 4194304 285234 0 0 0 358459 1547 0 0 20 0 1 0 80593190 5197312000 1161111 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1268875 1161111 2400 1147 0 1256302 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 5079692 KiB
Current children cumulated memory: 4647388 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 95494 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001118 s, system=0.004232 s
Sleeping 2 seconds
[startup+3611.24 s]
# the end of solver process 95496 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3585.06 s, system=15.5431 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.81 s]*
/proc/loadavg: 4.10 4.33 4.21 5/252 95806
/proc/meminfo: memFree=97658168/131382116 swapFree=33005528/33010684
[pid=95496] ppid=95486 vsize=5075500 memory=4644444 CPUtime=3600.18 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95486 95494 94406 0 -1 4194304 285234 0 0 0 358471 1547 0 0 20 0 1 0 80593190 5197312000 1161111 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 1268875 1161111 2400 1147 0 1256302 0
Current cumulated CPU time of completed processes: 0.00535 s
Current children cumulated CPU time: 3600.18 s
Current children cumulated vsize: 5075500 KiB
Current children cumulated memory: 4644444 KiB
[startup+3611.2 s]
/proc/loadavg: 4.10 4.33 4.21 4/252 95806
/proc/meminfo: memFree=97654152/131382116 swapFree=33005528/33010684
[pid=95496] ppid=95486 vsize=1150156 memory=1043680 CPUtime=3600.55 cores=1,3
/proc/95496/stat : 95496 (roundingsat) R 95486 95494 94406 0 -1 4194304 285250 0 0 0 358505 1550 0 0 20 0 1 0 80593190 1177759744 260920 18446744073709551615 4227072 8923433 140724573877664 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 18526208 140724573882705 140724573882919 140724573882919 140724573888490 0
/proc/95496/statm: 287539 260920 2496 1147 0 274966 0
Current cumulated CPU time of completed processes: 0.00535 s
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 1150156 KiB
Current children cumulated memory: 1043680 KiB
Child status: 2
Real time (s): 3611.24
CPU time (s): 3600.6
CPU user time (s): 3585.06
CPU system time (s): 15.5431
CPU usage (%): 99.7055
Max. virtual memory (cumulated for all children) (KiB): 5079692
Max. memory (cumulated for all children) (KiB): 4647388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.06
system time used= 15.5431
maximum resident set size= 4644828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2490112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 395
involuntary context switches= 22415
# summary of solver processes directly reported to runsolver:
# pid: 95494,95496
# total CPU time (s): 3600.6
# total CPU user time (s): 3585.06
# total CPU system time (s): 15.5431
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.2719 second user time and 36.1455 second system time
The end
Begin job on nodeC010 at 2025-07-04 19:12:18
IDJOB=4523011
IDBENCH=179615
IDSOLVER=3351
FILE ID=nodeC010/4523011-1751649138
RUNJOBID= nodeC010-1751649138-95445
SLURM_JOB_ID= 9672315
Free space on /tmp= 429816 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB24/OPT-LIN/pettersson/StableMatchings/KidneyTransplantBenchmarks/normalized-KE_610_007.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4523011-1751649138/watcher-4523011-1751649138 -o /tmp/evaluation-result-4523011-1751649138/solver-4523011-1751649138 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751649138-95445 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4523011-1751649138.opb PROOFDIR/proof-4523011-1751649138
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d4787b598273e6d459976691fcf7670c
RANDOM SEED=1756345494
nodeC010 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 : 0xb00001f
cpu MHz : 1197.160
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.090
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.296
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.139
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.148
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.116
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.180
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
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 : 0xb00001f
cpu MHz : 1197.127
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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 : 6983.36
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382116 kB
MemFree: 129851244 kB
MemAvailable: 129928704 kB
Buffers: 228 kB
Cached: 872168 kB
SwapCached: 4296 kB
Active: 326804 kB
Inactive: 626220 kB
Active(anon): 39612 kB
Inactive(anon): 54644 kB
Active(file): 287192 kB
Inactive(file): 571576 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33005528 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 40376 kB
Writeback: 196 kB
AnonPages: 79352 kB
Mapped: 105776 kB
Shmem: 13628 kB
KReclaimable: 116636 kB
Slab: 203148 kB
SReclaimable: 116636 kB
SUnreclaim: 86512 kB
KernelStack: 3908 kB
PageTables: 2788 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 386868 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149320 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: 205640 kB
DirectMap2M: 12279808 kB
DirectMap1G: 123731968 kB
Free space on /tmp at the end= 429784 MiB
End job on nodeC010 at 2025-07-04 20:12:29