0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4504897-1751450472.opb'
0.35/0.47 c read 12.66MB (455.06ms)
0.35/0.47 c [cnf: #variables 126385 #clauses 286379 #duplicates 595 #arr 982485]
0.35/0.47 c output proof to 'PROOFDIR/proof-4504897-1751450472'
0.35/0.47 c
0.35/0.47 c make graph and approximate orbits
0.94/1.03 c [group: #orbits ~= 42808] (560.09ms)
0.94/1.03 c
0.94/1.03 c detect special group actions
0.94/1.03 c probe for Johnson action (limit=64)
0.94/1.03 c probe for row-column symmetry (limit=64, splits=16.78M)
0.94/1.09 c probe for row symmetry (limit=64, splits=16.78M)
0.94/1.10 c found row 35x2, generating row predicate
1.04/1.11 c found row 4x2, generating row predicate
1.04/1.13 c found row 4x2, generating row predicate
1.04/1.14 c found row 4x2, generating row predicate
1.04/1.14 c (107.00ms)
1.04/1.14 c
1.04/1.14 c detect symmetries on remainder
1.04/1.15 c [graph: #vertices 916904 #edges 2973250]
1.04/1.16 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.42/1.58 c [group: #symmetries 9.03*10^1974 #generators 3018] (437.15ms)
1.42/1.58 c
1.42/1.58 c optimize generators (opt_passes=64, conjugate_limit=256)
1.42/1.59 c ran it=0, +gens=14
2.52/2.60 c con best_support=4, best_gens=2423, +gens=120
2.52/2.60 c (1021.01ms)
2.52/2.60 c
2.52/2.60 c finalize break order and special generators
2.52/2.61 c
2.52/2.61 c add generic predicates (break_depth=20)
2.52/2.61 c added predicates for 3152 generators (1.35ms)
2.62/2.70 c
2.62/2.70 c generation finished
2.62/2.70 c [sbp: #constraints 37146 #add_vars 11317]
2.62/2.71 c
2.62/2.71 c write result to 'HOME/instance-4504897-1751450472.opb.pre'
2.62/2.74 c wrote 14.26MB (31.63ms)
2.62/2.74 c ------------------------------------------------------------------
2.62/2.74 c 1021.01ms 37.50% optimize_gens
2.62/2.74 c 560.09ms 20.57% approx_orbits
2.62/2.74 c 455.05ms 16.71% parse
2.62/2.74 c 437.15ms 16.06% detect_generic
2.62/2.74 c 107.00ms 3.93% detect_special
2.62/2.74 c 102.21ms 3.75% other
2.62/2.74 c 31.63ms 1.16% output
2.62/2.74 c 6.97ms 0.26% finalize_order
2.62/2.74 c 1.35ms 0.05% break_generic
2.62/2.74 c ───────────────────────────────────────────────
2.62/2.74 c 2722.46ms 100% total
2.62/2.74 c ------------------------------------------------------------------
2.71/2.82 c RoundingSat 2
2.71/2.82 c branch pb25
2.71/2.82 c commit 63f22ad
4.78/5.00 c #variables 137702 #constraints 327053
4.78/5.00 c objective is ce32
6.28/6.42 c initial watched CF 32, 64, 128, Arb: 35 , 0 , 0 , 0
6.28/6.42 c initial counting CF 32, 64, 128, Arb: 81551 , 0 , 0 , 0
6.28/6.42 c bounds 188082730 >= -35 @ 3.16415
7.68/7.83 c bounds 187008974 >= -35 @ 4.46305
7.77/7.93 c bounds 186912430 >= -35 @ 4.56245
7.89/8.03 c bounds 186886502 >= -35 @ 4.6506
8.67/8.82 c bounds 119783859 >= -35 @ 5.4226
8.78/8.93 c bounds 119712624 >= -35 @ 5.53435
9.46/9.61 c bounds 117146648 >= -35 @ 6.19171
9.57/9.76 c bounds 116905694 >= -35 @ 6.33031
9.77/9.96 c bounds 116899621 >= -35 @ 6.52685
9.88/10.05 c bounds 116872232 >= -35 @ 6.61356
9.98/10.13 c bounds 116832310 >= -35 @ 6.69616
10.06/10.21 c bounds 116830001 >= -35 @ 6.76597
10.98/11.17 c bounds 115989368 >= -35 @ 7.69765
11.46/11.69 c bounds 114988948 >= -35 @ 8.20675
11.66/11.83 c bounds 114955716 >= -35 @ 8.3324
11.76/11.91 c bounds 114955699 >= -35 @ 8.40908
11.76/11.99 c bounds 114903163 >= -35 @ 8.48685
11.87/12.09 c bounds 114825754 >= -35 @ 8.58619
11.97/12.16 c bounds 114805018 >= -35 @ 8.65553
12.26/12.50 c bounds 114801279 >= -35 @ 8.97709
12.97/13.14 c bounds 114787177 >= -35 @ 9.60434
13.76/13.97 c bounds 113842803 >= -35 @ 10.4156
14.45/14.69 c bounds 113828701 >= -35 @ 11.1139
29.10/29.31 c #Conflicts: 1000 | #Constraints: 328075
29.10/29.31 c bounds 90681761 >= -35 @ 25.3688
29.10/29.39 c bounds 90670172 >= -35 @ 25.4431
29.20/29.49 c bounds 87909069 >= -35 @ 25.5389
33.69/33.94 c bounds 87856961 >= -35 @ 29.9357
34.29/34.57 c bounds 86614946 >= -35 @ 30.5486
34.48/34.75 c bounds 86528508 >= -35 @ 30.7352
35.09/35.31 c bounds 86433377 >= -35 @ 31.2828
35.18/35.48 c bounds 25878475 >= -35 @ 31.4456
35.68/35.92 c bounds 25660004 >= -35 @ 31.8832
35.80/36.07 c bounds 25654442 >= -35 @ 32.0277
37.47/37.77 c bounds 25026164 >= -35 @ 33.6856
37.68/37.94 c bounds 24935704 >= -35 @ 33.8482
39.57/39.80 c bounds 24932190 >= -35 @ 35.6854
39.57/39.88 c bounds 24873399 >= -35 @ 35.7579
39.78/40.05 c bounds 24532664 >= -35 @ 35.9246
40.88/41.17 c bounds 24267141 >= -35 @ 37.0076
41.06/41.36 c bounds 24054105 >= -35 @ 37.1941
43.05/43.30 c bounds 23951571 >= -35 @ 39.088
47.75/48.09 c bounds 23921980 >= -35 @ 43.7494
48.43/48.70 c bounds 23914479 >= -35 @ 44.3566
58.00/58.30 c #Conflicts: 2000 | #Constraints: 329095
58.00/58.30 c INPROCESSING
58.00/58.30 c GARBAGE COLLECT
58.00/58.30 c bounds 23859675 >= -35 @ 53.7717
98.17/98.61 c #Conflicts: 3000 | #Constraints: 328206
98.17/98.61 c #Conflicts: 4000 | #Constraints: 329208
98.17/98.61 c INPROCESSING
98.17/98.61 c GARBAGE COLLECT
98.17/98.61 c bounds 23060927 >= -35 @ 93.1861
98.27/98.74 c bounds 22465147 >= -35 @ 93.3025
98.38/98.81 c bounds 22401254 >= -35 @ 93.3757
98.59/99.09 c bounds 22373063 >= -35 @ 93.6532
98.77/99.24 c bounds 22365139 >= -35 @ 93.7906
102.36/102.85 c bounds 22199274 >= -35 @ 97.3327
102.46/102.94 c bounds 22167923 >= -35 @ 97.425
102.58/103.07 c bounds 22134106 >= -35 @ 97.5563
103.16/103.62 c bounds 22104030 >= -35 @ 98.0911
103.57/104.08 c bounds 22084661 >= -35 @ 98.5407
104.95/105.49 c bounds 22079441 >= -35 @ 99.92
106.75/107.26 c bounds 22004350 >= -35 @ 101.653
108.66/109.11 c bounds 21914206 >= -35 @ 103.463
115.82/116.33 c bounds 21806659 >= -35 @ 110.497
121.62/122.18 c #Conflicts: 5000 | #Constraints: 328621
121.62/122.18 c bounds 21688758 >= -35 @ 116.195
121.90/122.44 c bounds 21656526 >= -35 @ 116.453
129.59/130.12 c bounds 21650882 >= -35 @ 123.913
129.68/130.25 c bounds 21620806 >= -35 @ 124.049
202.96/203.74 c #Conflicts: 6000 | #Constraints: 329625
202.96/203.74 c INPROCESSING
202.96/203.74 c GARBAGE COLLECT
202.96/203.74 c #Conflicts: 7000 | #Constraints: 328584
202.96/203.74 c #Conflicts: 8000 | #Constraints: 329584
202.96/203.74 c bounds 21400949 >= -35 @ 195.781
212.93/213.77 c bounds 21391756 >= -35 @ 205.558
213.03/213.89 c bounds 21277506 >= -35 @ 205.676
213.72/214.57 c bounds 21260579 >= -35 @ 206.341
303.65/304.72 c #Conflicts: 9000 | #Constraints: 330588
303.65/304.72 c INPROCESSING
303.65/304.72 c GARBAGE COLLECT
303.65/304.72 c #Conflicts: 10000 | #Constraints: 329308
303.65/304.72 c #Conflicts: 11000 | #Constraints: 330308
303.65/304.72 c #Conflicts: 12000 | #Constraints: 331308
303.65/304.72 c INPROCESSING
303.65/304.72 c GARBAGE COLLECT
303.65/304.72 c bounds 21245727 >= -35 @ 294.358
303.85/304.94 c bounds 21184538 >= -35 @ 294.576
304.45/305.52 c bounds 21154462 >= -35 @ 295.141
308.63/309.76 c bounds 21122230 >= -35 @ 299.267
311.13/312.28 c bounds 21104159 >= -35 @ 301.744
313.31/314.46 c bounds 21007135 >= -35 @ 303.877
324.90/326.05 c bounds 20807167 >= -35 @ 315.206
325.38/326.55 c bounds 20107037 >= -35 @ 315.695
325.48/326.68 c bounds 20068988 >= -35 @ 315.819
390.80/392.14 c #Conflicts: 13000 | #Constraints: 329761
390.80/392.14 c #Conflicts: 14000 | #Constraints: 330761
390.80/392.14 c #Conflicts: 15000 | #Constraints: 331762
390.80/392.14 c INPROCESSING
390.80/392.14 c GARBAGE COLLECT
390.80/392.14 c rational objective 693928
487.91/489.56 c #Conflicts: 16000 | #Constraints: 329965
487.91/489.56 c #Conflicts: 17000 | #Constraints: 330967
487.91/489.56 c #Conflicts: 18000 | #Constraints: 331968
487.91/489.56 c INPROCESSING
487.91/489.56 c GARBAGE COLLECT
487.91/489.56 c bounds 20059515 >= -35 @ 475.248
489.11/490.70 c bounds 20029439 >= -35 @ 476.362
491.42/493.02 c bounds 19468644 >= -35 @ 478.635
491.60/493.29 c bounds 19424796 >= -35 @ 478.894
675.77/677.95 c #Conflicts: 19000 | #Constraints: 329967
675.77/677.95 c #Conflicts: 20000 | #Constraints: 330967
675.77/677.95 c #Conflicts: 21000 | #Constraints: 331971
675.77/677.95 c INPROCESSING
675.77/677.95 c GARBAGE COLLECT
675.77/677.95 c #Conflicts: 22000 | #Constraints: 329769
675.77/677.95 c #Conflicts: 23000 | #Constraints: 330770
675.77/677.95 c #Conflicts: 24000 | #Constraints: 331771
675.77/677.95 c #Conflicts: 25000 | #Constraints: 332773
675.77/677.95 c INPROCESSING
675.77/677.95 c GARBAGE COLLECT
675.77/677.95 c bounds 16390510 >= -35 @ 659.231
675.88/678.06 c bounds 16285156 >= -35 @ 659.341
676.26/678.41 c bounds 16282886 >= -35 @ 659.68
676.47/678.63 c bounds 16275590 >= -35 @ 659.898
678.46/680.62 c bounds 16227734 >= -35 @ 661.864
678.56/680.78 c bounds 16142950 >= -35 @ 662.025
678.66/680.88 c bounds 16095562 >= -35 @ 662.116
682.25/684.48 c bounds 16045945 >= -35 @ 665.637
682.75/684.98 c bounds 16034144 >= -35 @ 666.125
682.86/685.10 c bounds 16017352 >= -35 @ 666.246
683.05/685.25 c bounds 15996191 >= -35 @ 666.384
683.25/685.42 c bounds 15995965 >= -35 @ 666.557
683.65/685.85 c bounds 15892636 >= -35 @ 666.971
683.75/685.93 c bounds 15787282 >= -35 @ 667.053
685.35/687.53 c bounds 12172889 >= -35 @ 668.632
685.44/687.61 c bounds 12067535 >= -35 @ 668.716
686.04/688.26 c bounds 12062911 >= -35 @ 669.349
686.14/688.34 c bounds 12034458 >= -35 @ 669.427
686.54/688.74 c bounds 12027324 >= -35 @ 669.812
686.74/688.92 c bounds 11998871 >= -35 @ 669.988
690.03/692.23 c bounds 11998343 >= -35 @ 673.21
693.94/696.19 c #Conflicts: 26000 | #Constraints: 330369
693.94/696.19 c bounds 11991047 >= -35 @ 677.066
694.62/696.85 c bounds 11953651 >= -35 @ 677.718
694.72/696.94 c bounds 11941850 >= -35 @ 677.804
694.83/697.06 c bounds 11906263 >= -35 @ 677.913
798.04/800.54 c #Conflicts: 27000 | #Constraints: 331379
798.04/800.54 c #Conflicts: 28000 | #Constraints: 332383
798.04/800.54 c #Conflicts: 29000 | #Constraints: 333385
798.04/800.54 c INPROCESSING
798.04/800.54 c GARBAGE COLLECT
798.04/800.54 c rational objective 694773
800.93/803.47 c bounds 11409618 >= -35 @ 782.315
848.41/851.09 c #Conflicts: 30000 | #Constraints: 330323
848.41/851.09 c bounds 11350109 >= -35 @ 828.73
866.15/868.86 c #Conflicts: 31000 | #Constraints: 331324
866.15/868.86 c bounds 11336328 >= -35 @ 846.081
866.25/868.97 c bounds 10274484 >= -35 @ 846.186
866.65/869.33 c bounds 10215173 >= -35 @ 846.545
868.04/870.70 c bounds 10210677 >= -35 @ 847.895
868.35/871.07 c bounds 10155847 >= -35 @ 848.249
868.54/871.22 c bounds 10140146 >= -35 @ 848.388
870.53/873.27 c bounds 10134682 >= -35 @ 850.389
902.15/904.93 c #Conflicts: 32000 | #Constraints: 332331
902.15/904.93 c #Conflicts: 33000 | #Constraints: 333331
902.15/904.93 c INPROCESSING
902.15/904.93 c GARBAGE COLLECT
902.15/904.93 c bounds 10124349 >= -35 @ 881.372
902.55/905.39 c bounds 9973331 >= -35 @ 881.814
903.04/905.80 c bounds 9955376 >= -35 @ 882.207
904.85/907.61 c bounds 9948894 >= -35 @ 883.985
904.94/907.72 c bounds 9892647 >= -35 @ 884.092
906.54/909.34 c bounds 9826392 >= -35 @ 885.666
929.87/932.76 c #Conflicts: 34000 | #Constraints: 330421
929.87/932.76 c bounds 9758411 >= -35 @ 908.557
930.29/933.16 c bounds 9673151 >= -35 @ 908.954
930.87/933.79 c bounds 9651986 >= -35 @ 909.556
945.92/948.84 c bounds 9536045 >= -35 @ 924.282
947.13/950.11 c bounds 9488426 >= -35 @ 925.519
947.52/950.41 c bounds 9478393 >= -35 @ 925.814
947.71/950.60 c bounds 9452503 >= -35 @ 925.997
1021.32/1024.42 c #Conflicts: 35000 | #Constraints: 331429
1021.32/1024.42 c #Conflicts: 36000 | #Constraints: 332431
1021.32/1024.42 c #Conflicts: 37000 | #Constraints: 333435
1021.32/1024.42 c INPROCESSING
1021.32/1024.42 c GARBAGE COLLECT
1021.32/1024.42 c bounds 9443524 >= -35 @ 998.177
1025.02/1028.15 c bounds 9417297 >= -35 @ 1001.81
1030.10/1033.22 c bounds 9330122 >= -35 @ 1006.73
1030.29/1033.46 c bounds 9314421 >= -35 @ 1006.96
1030.49/1033.62 c bounds 9292620 >= -35 @ 1007.11
1030.59/1033.79 c bounds 9290448 >= -35 @ 1007.27
1154.71/1158.22 c #Conflicts: 38000 | #Constraints: 330355
1154.71/1158.22 c #Conflicts: 39000 | #Constraints: 331355
1154.71/1158.22 c #Conflicts: 40000 | #Constraints: 332358
1154.71/1158.22 c #Conflicts: 41000 | #Constraints: 333362
1154.71/1158.22 c INPROCESSING
1154.71/1158.22 c GARBAGE COLLECT
1154.71/1158.22 c rational objective 695131
1402.71/1407.01 c #Conflicts: 42000 | #Constraints: 330143
1402.71/1407.01 c #Conflicts: 43000 | #Constraints: 331143
1402.71/1407.01 c #Conflicts: 44000 | #Constraints: 332143
1402.71/1407.01 c #Conflicts: 45000 | #Constraints: 333145
1402.71/1407.01 c #Conflicts: 46000 | #Constraints: 334147
1402.71/1407.01 c INPROCESSING
1402.71/1407.01 c GARBAGE COLLECT
1402.71/1407.01 c #Conflicts: 47000 | #Constraints: 330725
1402.71/1407.01 c #Conflicts: 48000 | #Constraints: 331727
1402.71/1407.01 c #Conflicts: 49000 | #Constraints: 332728
1402.71/1407.01 c #Conflicts: 50000 | #Constraints: 333730
1402.71/1407.01 c #Conflicts: 51000 | #Constraints: 334737
1402.71/1407.01 c INPROCESSING
1402.71/1407.01 c GARBAGE COLLECT
1402.71/1407.01 c bounds 9259058 >= -35 @ 1371.35
1403.41/1407.68 c bounds 9243357 >= -35 @ 1372.02
1404.10/1408.35 c bounds 8928964 >= -35 @ 1372.67
1410.68/1414.94 c bounds 8907163 >= -35 @ 1379.13
1412.18/1416.49 c bounds 8902576 >= -35 @ 1380.63
1542.50/1547.13 c #Conflicts: 52000 | #Constraints: 331162
1542.50/1547.13 c #Conflicts: 53000 | #Constraints: 332164
1542.50/1547.13 c #Conflicts: 54000 | #Constraints: 333169
1542.50/1547.13 c #Conflicts: 55000 | #Constraints: 334170
1542.50/1547.13 c bounds 8877228 >= -35 @ 1508.08
1574.70/1579.40 c #Conflicts: 56000 | #Constraints: 335174
1574.70/1579.40 c INPROCESSING
1574.70/1579.40 c GARBAGE COLLECT
1574.70/1579.40 c rational objective 695637
1578.40/1583.11 c bounds 5069783 >= -35 @ 1543.58
1578.58/1583.38 c bounds 5062641 >= -35 @ 1543.83
1578.88/1583.64 c bounds 4953901 >= -35 @ 1544.09
2023.48/2029.59 c #Conflicts: 57000 | #Constraints: 331331
2023.48/2029.59 c #Conflicts: 58000 | #Constraints: 332331
2023.48/2029.59 c #Conflicts: 59000 | #Constraints: 333331
2023.48/2029.59 c #Conflicts: 60000 | #Constraints: 334331
2023.48/2029.59 c #Conflicts: 61000 | #Constraints: 335331
2023.48/2029.59 c INPROCESSING
2023.48/2029.59 c GARBAGE COLLECT
2023.48/2029.59 c #Conflicts: 62000 | #Constraints: 330906
2023.48/2029.59 c #Conflicts: 63000 | #Constraints: 331906
2023.48/2029.59 c #Conflicts: 64000 | #Constraints: 332906
2023.48/2029.59 c #Conflicts: 65000 | #Constraints: 333906
2023.48/2029.59 c #Conflicts: 66000 | #Constraints: 334907
2023.48/2029.59 c INPROCESSING
2023.48/2029.59 c GARBAGE COLLECT
2023.48/2029.59 c #Conflicts: 67000 | #Constraints: 330701
2023.48/2029.59 c #Conflicts: 68000 | #Constraints: 331703
2023.48/2029.59 c #Conflicts: 69000 | #Constraints: 332704
2023.48/2029.59 c #Conflicts: 70000 | #Constraints: 333705
2023.48/2029.59 c #Conflicts: 71000 | #Constraints: 334707
2023.48/2029.59 c #Conflicts: 72000 | #Constraints: 335709
2023.48/2029.59 c INPROCESSING
2023.48/2029.59 c GARBAGE COLLECT
2023.48/2029.59 c rational objective 695748
2033.06/2039.18 c bounds 4948402 >= -35 @ 1988.52
2042.51/2048.65 c bounds 4933662 >= -35 @ 1997.73
2093.16/2099.50 c #Conflicts: 73000 | #Constraints: 331302
2093.16/2099.50 c #Conflicts: 74000 | #Constraints: 332302
2093.16/2099.50 c bounds 4890184 >= -35 @ 2047.41
2179.54/2186.02 c #Conflicts: 75000 | #Constraints: 333303
2179.54/2186.02 c #Conflicts: 76000 | #Constraints: 334303
2179.54/2186.02 c #Conflicts: 77000 | #Constraints: 335303
2179.54/2186.02 c #Conflicts: 78000 | #Constraints: 336303
2179.54/2186.02 c INPROCESSING
2179.54/2186.02 c GARBAGE COLLECT
2179.54/2186.02 c bounds 4888128 >= -35 @ 2131.81
2734.83/2742.98 c #Conflicts: 79000 | #Constraints: 331721
2734.83/2742.98 c #Conflicts: 80000 | #Constraints: 332721
2734.83/2742.98 c #Conflicts: 81000 | #Constraints: 333721
2734.83/2742.98 c #Conflicts: 82000 | #Constraints: 334721
2734.83/2742.98 c #Conflicts: 83000 | #Constraints: 335721
2734.83/2742.98 c #Conflicts: 84000 | #Constraints: 336721
2734.83/2742.98 c INPROCESSING
2734.83/2742.98 c GARBAGE COLLECT
2734.83/2742.98 c #Conflicts: 85000 | #Constraints: 332028
2734.83/2742.98 c #Conflicts: 86000 | #Constraints: 333030
2734.83/2742.98 c #Conflicts: 87000 | #Constraints: 334032
2734.83/2742.98 c #Conflicts: 88000 | #Constraints: 335035
2734.83/2742.98 c #Conflicts: 89000 | #Constraints: 336037
2734.83/2742.98 c #Conflicts: 90000 | #Constraints: 337040
2734.83/2742.98 c INPROCESSING
2734.83/2742.98 c GARBAGE COLLECT
2734.83/2742.98 c #Conflicts: 91000 | #Constraints: 331996
2734.83/2742.98 c #Conflicts: 92000 | #Constraints: 332999
2734.83/2742.98 c #Conflicts: 93000 | #Constraints: 334001
2734.83/2742.98 c #Conflicts: 94000 | #Constraints: 335002
2734.83/2742.98 c #Conflicts: 95000 | #Constraints: 336004
2734.83/2742.98 c #Conflicts: 96000 | #Constraints: 337005
2734.83/2742.98 c INPROCESSING
2734.83/2742.98 c GARBAGE COLLECT
2734.83/2742.98 c rational objective 699318
2740.52/2748.62 c bounds 4884312 >= -35 @ 2681.43
2747.70/2755.85 c bounds 4854134 >= -35 @ 2688.48
2828.75/2837.19 c #Conflicts: 97000 | #Constraints: 331813
2828.75/2837.19 c #Conflicts: 98000 | #Constraints: 332813
2828.75/2837.19 c #Conflicts: 99000 | #Constraints: 333813
2828.75/2837.19 c #Conflicts: 100000 | #Constraints: 334813
2828.75/2837.19 c bounds 4839337 >= -35 @ 2768.02
3107.58/3116.93 c #Conflicts: 101000 | #Constraints: 335814
3107.58/3116.93 c #Conflicts: 102000 | #Constraints: 336814
3107.58/3116.93 c #Conflicts: 103000 | #Constraints: 337814
3107.58/3116.93 c INPROCESSING
3107.58/3116.93 c GARBAGE COLLECT
3107.58/3116.93 c #Conflicts: 104000 | #Constraints: 332480
3107.58/3116.93 c #Conflicts: 105000 | #Constraints: 333480
3107.58/3116.93 c #Conflicts: 106000 | #Constraints: 334480
3107.58/3116.93 c #Conflicts: 107000 | #Constraints: 335480
3107.58/3116.93 c #Conflicts: 108000 | #Constraints: 336480
3107.58/3116.93 c #Conflicts: 109000 | #Constraints: 337480
3107.58/3116.93 c #Conflicts: 110000 | #Constraints: 338480
3107.58/3116.93 c INPROCESSING
3107.58/3116.93 c GARBAGE COLLECT
3107.58/3116.93 c rational objective 699492
2.72/3381.52 HOME/run-opt-ls-log.sh: line 3: 65804 File size limit exceeded(core dumped) ./roundingsat "$1" --lp-maxconstr=1000000 --ls-opt-initial-iterations=2 --preprocessed-input="$1.pre" --proof-log="$2"
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 (57267 MiB free)
memory of node 1: 64465 MiB (55755 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504897-1751450472/watcher-4504897-1751450472 -o /tmp/evaluation-result-4504897-1751450472/solver-4504897-1751450472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751443065-64807 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4504897-1751450472.opb PROOFDIR/proof-4504897-1751450472
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=65781, runsolver pid=65778
Current StackSize limit: 8192 KiB
[startup+0.10007 s]*
/proc/loadavg: 4.27 4.21 4.26 5/260 65783
/proc/meminfo: memFree=117378476/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65783] ppid=65781 vsize=93252 memory=80332 CPUtime=0.07 cores=4,6
/proc/65783/stat : 65783 (pbsuma) R 65781 65781 64796 0 -1 4194304 3895 0 0 0 5 2 0 0 20 0 1 0 60726623 95490048 20083 18446744073709551615 4210688 4653049 140728748444416 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 25051136 140728748447971 140728748448306 140728748448306 140728748453871 0
/proc/65783/statm: 23313 20083 960 108 0 20721 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 97444 KiB
Current children cumulated memory: 83276 KiB
[startup+0.218191 s]*
/proc/loadavg: 4.27 4.21 4.26 5/260 65783
/proc/meminfo: memFree=119493500/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65783] ppid=65781 vsize=99816 memory=89928 CPUtime=0.18 cores=4,6
/proc/65783/stat : 65783 (pbsuma) R 65781 65781 64796 0 -1 4194304 5765 0 0 0 15 3 0 0 20 0 1 0 60726623 102211584 22482 18446744073709551615 4210688 4653049 140728748444416 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 25051136 140728748447971 140728748448306 140728748448306 140728748453871 0
/proc/65783/statm: 24954 22482 960 108 0 22362 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 104008 KiB
Current children cumulated memory: 92872 KiB
[startup+0.317992 s]*
/proc/loadavg: 4.33 4.22 4.26 5/260 65783
/proc/meminfo: memFree=121249600/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65783] ppid=65781 vsize=106540 memory=96228 CPUtime=0.26 cores=4,6
/proc/65783/stat : 65783 (pbsuma) R 65781 65781 64796 0 -1 4194304 7713 0 0 0 22 4 0 0 20 0 1 0 60726623 109096960 24057 18446744073709551615 4210688 4653049 140728748444416 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25051136 140728748447971 140728748448306 140728748448306 140728748453871 0
/proc/65783/statm: 26635 24057 960 108 0 24043 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 110732 KiB
Current children cumulated memory: 99172 KiB
[startup+0.700362 s]
/proc/loadavg: 4.33 4.22 4.26 5/260 65783
/proc/meminfo: memFree=124581616/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65783] ppid=65781 vsize=284256 memory=222616 CPUtime=0.62 cores=4,6
/proc/65783/stat : 65783 (pbsuma) R 65781 65781 64796 0 -1 4194304 23371 0 0 0 51 11 0 0 20 0 1 0 60726623 291078144 55654 18446744073709551615 4210688 4653049 140728748444416 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25051136 140728748447971 140728748448306 140728748448306 140728748453871 0
/proc/65783/statm: 71064 55654 960 108 0 68472 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 288448 KiB
Current children cumulated memory: 225560 KiB
[startup+1.50039 s]
/proc/loadavg: 4.33 4.22 4.26 5/262 65792
/proc/meminfo: memFree=126145092/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65783] ppid=65781 vsize=484788 memory=367628 CPUtime=1.42 cores=4,6
/proc/65783/stat : 65783 (pbsuma) R 65781 65781 64796 0 -1 4194304 44268 0 0 0 122 20 0 0 20 0 1 0 60726623 496422912 91907 18446744073709551615 4210688 4653049 140728748444416 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 25051136 140728748447971 140728748448306 140728748448306 140728748453871 0
/proc/65783/statm: 121197 91907 992 108 0 118605 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 488980 KiB
Current children cumulated memory: 370572 KiB
[startup+3.11422 s]
/proc/loadavg: 4.33 4.22 4.26 5/266 65804
/proc/meminfo: memFree=125908948/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=117108 memory=70892 CPUtime=0.28 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 13092 0 0 0 22 6 0 0 20 0 1 0 60726903 119918592 17723 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 29277 17723 2048 1147 0 16704 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 121300 KiB
Current children cumulated memory: 73836 KiB
[startup+6.30034 s]
/proc/loadavg: 4.38 4.24 4.27 5/266 65805
/proc/meminfo: memFree=125270160/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=567300 memory=418296 CPUtime=3.46 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 47493 0 0 0 304 42 0 0 20 0 1 0 60726903 580915200 104574 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 141825 104574 2368 1147 0 129252 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 571492 KiB
Current children cumulated memory: 421240 KiB
[startup+12.7004 s]
/proc/loadavg: 4.35 4.23 4.27 5/266 65805
/proc/meminfo: memFree=123755048/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=821960 memory=659236 CPUtime=9.84 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 82273 0 0 0 917 67 0 0 20 0 1 0 60726903 841687040 164809 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 205490 164809 2432 1147 0 192917 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 826152 KiB
Current children cumulated memory: 662180 KiB
[startup+25.5004 s]
/proc/loadavg: 4.38 4.24 4.27 5/266 65805
/proc/meminfo: memFree=121864600/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=923468 memory=754616 CPUtime=22.59 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 100492 0 0 0 2164 95 0 0 20 0 1 0 60726903 945631232 188654 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 230867 188654 2432 1147 0 218294 0
Current children cumulated CPU time: 25.31 s
Current children cumulated vsize: 927660 KiB
Current children cumulated memory: 757560 KiB
[startup+51.1137 s]
/proc/loadavg: 4.23 4.22 4.26 5/259 65806
/proc/meminfo: memFree=118543912/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=1125968 memory=928612 CPUtime=48.12 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 131800 0 0 0 4672 140 0 0 20 0 1 0 60726903 1152991232 232153 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 281492 232153 2432 1147 0 268919 0
Current children cumulated CPU time: 50.84 s
Current children cumulated vsize: 1130160 KiB
Current children cumulated memory: 931556 KiB
[startup+102.3 s]
/proc/loadavg: 4.48 4.28 4.28 5/260 65808
/proc/meminfo: memFree=112427192/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=1333052 memory=1076176 CPUtime=99.15 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 157601 0 0 0 9679 236 0 0 20 0 1 0 60726903 1365045248 269044 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 333263 269044 2432 1147 0 320690 0
Current children cumulated CPU time: 101.87 s
Current children cumulated vsize: 1337244 KiB
Current children cumulated memory: 1079120 KiB
[startup+162.3 s]
/proc/loadavg: 4.35 4.27 4.28 5/259 65810
/proc/meminfo: memFree=105886868/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=1541716 memory=1344520 CPUtime=158.96 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 203278 0 0 0 15527 369 0 0 20 0 1 0 60726903 1578717184 336130 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 385429 336130 2432 1147 0 372856 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 1545908 KiB
Current children cumulated memory: 1347464 KiB
[startup+222.3 s]
/proc/loadavg: 4.18 4.24 4.26 6/260 65814
/proc/meminfo: memFree=98538672/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=1822336 memory=1541080 CPUtime=218.79 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 237690 0 0 0 21388 491 0 0 20 0 1 0 60726903 1866072064 385270 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 455584 385270 2432 1147 0 443011 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.73 4.39 4.34 5/275 66117
/proc/meminfo: memFree=1869368/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=3457764 memory=3206820 CPUtime=3150.11 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 532174 0 1 0 308574 6437 0 0 20 0 1 0 60726903 3540750336 801705 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 864441 801705 2528 1147 0 851868 0
Current children cumulated CPU time: 3152.83 s
Current children cumulated vsize: 3461956 KiB
Current children cumulated memory: 3209764 KiB
[startup+3222.3 s]
/proc/loadavg: 4.32 4.33 4.32 5/277 66121
/proc/meminfo: memFree=2000512/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=3457764 memory=3206820 CPUtime=3209.92 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 532937 0 1 0 314427 6565 0 0 20 0 1 0 60726903 3540750336 801705 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 864441 801705 2528 1147 0 851868 0
Current children cumulated CPU time: 3212.64 s
Current children cumulated vsize: 3461956 KiB
Current children cumulated memory: 3209764 KiB
[startup+3282.3 s]
/proc/loadavg: 4.31 4.32 4.31 5/277 66123
/proc/meminfo: memFree=2051628/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=3457764 memory=3206820 CPUtime=3269.73 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 533844 0 1 0 320317 6656 0 0 20 0 1 0 60726903 3540750336 801705 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 864441 801705 2528 1147 0 851868 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 3461956 KiB
Current children cumulated memory: 3209764 KiB
[startup+3342.3 s]
/proc/loadavg: 4.17 4.27 4.30 5/276 66125
/proc/meminfo: memFree=1825984/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=3457764 memory=3207460 CPUtime=3329.54 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 534225 0 1 0 326173 6781 0 0 20 0 1 0 60726903 3540750336 801865 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 864441 801865 2528 1147 0 851868 0
Current children cumulated CPU time: 3332.26 s
Current children cumulated vsize: 3461956 KiB
Current children cumulated memory: 3210404 KiB
[startup+3381.52 s]
# the end of solver process 65781 was just reported to runsolver
# Child status: 153
# cumulated CPU time of all completed processes: user=3277.65 s, system=71.5781 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3353.61 s]
/proc/loadavg: 4.22 4.28 4.30 5/276 66125
/proc/meminfo: memFree=1830900/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=3503576 memory=3247508 CPUtime=3340.81 cores=4,6
/proc/65804/stat : 65804 (roundingsat) R 65781 65781 64796 0 -1 4194304 537031 0 1 0 327279 6802 0 0 20 0 1 0 60726903 3587661824 811877 18446744073709551615 4227072 8923433 140720917999024 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 0
/proc/65804/statm: 875894 811877 2528 1147 0 863321 0
Current children cumulated CPU time: 3343.53 s
Current children cumulated vsize: 3507768 KiB
Current children cumulated memory: 3250452 KiB
[startup+3366.4 s]
/proc/loadavg: 4.33 4.30 4.30 4/280 66134
/proc/meminfo: memFree=1812576/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
[pid=65804] ppid=65781 vsize=3503576 memory=3247508 CPUtime=3344.38 cores=4,6
/proc/65804/stat : 65804 (roundingsat) S 65781 65781 64796 0 -1 4195840 537031 0 1 0 327509 6929 0 0 20 0 1 0 60726903 3587661824 811877 18446744073709551615 4227072 8923433 140720917999024 140720917996072 139981782768471 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 28053504 140720918006006 140720918006312 140720918006312 140720918011882 25
/proc/65804/statm: 875894 811877 2528 1147 0 863321 0
Current children cumulated CPU time: 3347.1 s
Current children cumulated vsize: 3507768 KiB
Current children cumulated memory: 3250452 KiB
[startup+3372.8 s]
/proc/loadavg: 4.55 4.34 4.32 6/282 66142
/proc/meminfo: memFree=6154524/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3376 s]*
/proc/loadavg: 4.50 4.34 4.32 3/282 66147
/proc/meminfo: memFree=9188492/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3379.2 s]
/proc/loadavg: 4.50 4.34 4.32 4/276 66155
/proc/meminfo: memFree=9228128/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3380.8 s]
/proc/loadavg: 4.50 4.34 4.32 4/276 66155
/proc/meminfo: memFree=9192608/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3381.2 s]
/proc/loadavg: 4.54 4.35 4.32 4/275 66173
/proc/meminfo: memFree=9207632/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3381.4 s]
/proc/loadavg: 4.54 4.35 4.32 4/275 66173
/proc/meminfo: memFree=9207632/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3381.5 s]
/proc/loadavg: 4.54 4.35 4.32 4/275 66173
/proc/meminfo: memFree=9207632/131382112 swapFree=33010416/33010684
[pid=65781] ppid=65778 vsize=4192 memory=2944 CPUtime=2.72 cores=4,6
/proc/65781/stat : 65781 (run-opt-ls-log.) S 65778 65781 64796 0 -1 4194304 241 45833 0 0 0 0 249 23 20 0 1 0 60726622 4292608 736 18446744073709551615 94620653223936 94620654118469 140729741495088 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94620654357520 94620654405264 94620655685632 140729741502747 140729741502945 140729741502945 140729741508547 0
/proc/65781/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 2.72 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
Child status: 153
Real time (s): 3381.52
CPU time (s): 3349.23
CPU user time (s): 3277.65
CPU system time (s): 71.5781
CPU usage (%): 99.045
Max. virtual memory (cumulated for all children) (KiB): 3539480
Max. memory (cumulated for all children) (KiB): 3282060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3277.65
system time used= 71.5781
maximum resident set size= 3279116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583116
page faults= 1
swaps= 0
block input operations= 4040
block output operations= 204827856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 181293
involuntary context switches= 38717
# summary of solver processes directly reported to runsolver:
# pid: 65781
# total CPU time (s): 3349.23
# total CPU user time (s): 3277.65
# total CPU system time (s): 71.5781
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.7241 second user time and 34.6409 second system time
The end
Begin job on nodeC005 at 2025-07-02 12:01:12
IDJOB=4504897
IDBENCH=155700
IDSOLVER=3356
FILE ID=nodeC005/4504897-1751450472
RUNJOBID= nodeC005-1751443065-64807
SLURM_JOB_ID= 9598416
Free space on /tmp= 429768 MiB
SOLVER NAME= roundingsat-ls+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/MH+IC/normalized-minisat35_4_11_2_mh_ic.opb
COMMAND LINE= run-opt-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4504897-1751450472/watcher-4504897-1751450472 -o /tmp/evaluation-result-4504897-1751450472/solver-4504897-1751450472 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1751443065-64807 --watchdog 3760 --file-size-limit 100000 run-opt-ls-log.sh HOME/instance-4504897-1751450472.opb PROOFDIR/proof-4504897-1751450472
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5a166d04cd3e9d201c89375e6d39e5e9
RANDOM SEED=115765125
nodeC005 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 : 3491.982
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.90
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 : 3662.011
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.90
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.640
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.90
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.649
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.90
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.249
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.90
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 : 3700.000
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.90
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 : 3700.000
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.90
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 : 3661.953
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.90
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 114424788 kB
MemAvailable: 129424988 kB
Buffers: 2128 kB
Cached: 15783028 kB
SwapCached: 24 kB
Active: 1193316 kB
Inactive: 15117740 kB
Active(anon): 540700 kB
Inactive(anon): 3164 kB
Active(file): 652616 kB
Inactive(file): 15114576 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 910424 kB
Writeback: 0 kB
AnonPages: 529300 kB
Mapped: 109640 kB
Shmem: 17936 kB
KReclaimable: 145268 kB
Slab: 261348 kB
SReclaimable: 145268 kB
SUnreclaim: 116080 kB
KernelStack: 4176 kB
PageTables: 3920 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 853624 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149544 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 137216 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: 201544 kB
DirectMap2M: 8089600 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 429324 MiB
End job on nodeC005 at 2025-07-02 12:57:34