0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4491685-1751142534.opb'
0.08/0.19 c read 11.51MB (183.58ms)
0.08/0.19 c [cnf: #variables 109757 #clauses 313451 #duplicates 0 #arr 940585]
0.08/0.19 c output proof to 'PROOFDIR/proof-4491685-1751142534'
0.08/0.19 c
0.08/0.19 c make graph and approximate orbits
0.29/0.41 c [group: #orbits ~= 0] (213.90ms)
0.29/0.41 c
0.29/0.41 c detect special group actions
0.29/0.41 c probe for Johnson action (limit=64)
0.39/0.41 c probe for row-column symmetry (limit=64, splits=16.78M)
0.39/0.42 c probe for row symmetry (limit=64, splits=16.78M)
0.39/0.43 c (24.82ms)
0.39/0.43 c
0.39/0.43 c detect symmetries on remainder
0.39/0.43 c [graph: #vertices 770001 #edges 2574756]
0.39/0.44 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.39/0.48 c [group: #symmetries 1.00*10^0 #generators 0] (49.70ms)
0.39/0.48 c
0.39/0.48 c finalize break order and special generators
0.39/0.49 c
0.39/0.49 c generation finished
0.39/0.49 c [sbp: #constraints 0 #add_vars 0]
0.39/0.49 c
0.39/0.49 c write result to 'HOME/instance-4491685-1751142534.opb.pre'
0.49/0.51 c wrote 11.74MB (25.11ms)
0.49/0.51 c ------------------------------------------------------------------
0.49/0.51 c 213.90ms 42.14% approx_orbits
0.49/0.51 c 183.58ms 36.17% parse
0.49/0.51 c 49.70ms 9.79% detect_generic
0.49/0.51 c 25.11ms 4.95% output
0.49/0.51 c 24.82ms 4.89% detect_special
0.49/0.51 c 6.15ms 1.21% other
0.49/0.51 c 4.33ms 0.85% finalize_order
0.49/0.51 c ───────────────────────────────────────────────
0.49/0.51 c 507.60ms 100% total
0.49/0.51 c ------------------------------------------------------------------
0.49/0.59 c RoundingSat 2
0.49/0.59 c branch pb25
0.49/0.59 c commit 63f22ad
2.45/2.54 c #variables 109757 #constraints 313451
138.19/138.76 c #Conflicts: 1000 | #Constraints: 314450
138.19/138.76 c #Conflicts: 2000 | #Constraints: 315450
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 3000 | #Constraints: 309714
138.19/138.76 c #Conflicts: 4000 | #Constraints: 310714
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 5000 | #Constraints: 310143
138.19/138.76 c #Conflicts: 6000 | #Constraints: 311143
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 7000 | #Constraints: 309307
138.19/138.76 c #Conflicts: 8000 | #Constraints: 310307
138.19/138.76 c #Conflicts: 9000 | #Constraints: 311307
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 10000 | #Constraints: 310014
138.19/138.76 c #Conflicts: 11000 | #Constraints: 311014
138.19/138.76 c #Conflicts: 12000 | #Constraints: 312014
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 13000 | #Constraints: 310397
138.19/138.76 c #Conflicts: 14000 | #Constraints: 311397
138.19/138.76 c #Conflicts: 15000 | #Constraints: 312397
138.19/138.76 c INPROCESSING
138.19/138.76 c GARBAGE COLLECT
138.19/138.76 c #Conflicts: 16000 | #Constraints: 310646
138.19/138.76 c #Conflicts: 17000 | #Constraints: 311646
138.19/138.76 c #Conflicts: 18000 | #Constraints: 312646
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 19000 | #Constraints: 310688
138.19/138.76 c #Conflicts: 20000 | #Constraints: 311688
138.19/138.76 c #Conflicts: 21000 | #Constraints: 312688
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 22000 | #Constraints: 310495
138.19/138.76 c #Conflicts: 23000 | #Constraints: 311495
138.19/138.76 c #Conflicts: 24000 | #Constraints: 312495
138.19/138.76 c #Conflicts: 25000 | #Constraints: 313495
138.19/138.76 c INPROCESSING
138.19/138.76 c GARBAGE COLLECT
138.19/138.76 c #Conflicts: 26000 | #Constraints: 311106
138.19/138.76 c #Conflicts: 27000 | #Constraints: 312106
138.19/138.76 c #Conflicts: 28000 | #Constraints: 313106
138.19/138.76 c #Conflicts: 29000 | #Constraints: 314106
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 30000 | #Constraints: 311505
138.19/138.76 c #Conflicts: 31000 | #Constraints: 312505
138.19/138.76 c #Conflicts: 32000 | #Constraints: 313505
138.19/138.76 c #Conflicts: 33000 | #Constraints: 314505
138.19/138.76 c INPROCESSING
138.19/138.76 c GARBAGE COLLECT
138.19/138.76 c #Conflicts: 34000 | #Constraints: 311749
138.19/138.76 c #Conflicts: 35000 | #Constraints: 312749
138.19/138.76 c #Conflicts: 36000 | #Constraints: 313749
138.19/138.76 c #Conflicts: 37000 | #Constraints: 314749
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 38000 | #Constraints: 311753
138.19/138.76 c #Conflicts: 39000 | #Constraints: 312753
138.19/138.76 c #Conflicts: 40000 | #Constraints: 313753
138.19/138.76 c #Conflicts: 41000 | #Constraints: 314753
138.19/138.76 c INPROCESSING
138.19/138.76 c GARBAGE COLLECT
138.19/138.76 c #Conflicts: 42000 | #Constraints: 311573
138.19/138.76 c #Conflicts: 43000 | #Constraints: 312573
138.19/138.76 c #Conflicts: 44000 | #Constraints: 313573
138.19/138.76 c #Conflicts: 45000 | #Constraints: 314573
138.19/138.76 c #Conflicts: 46000 | #Constraints: 315573
138.19/138.76 c INPROCESSING
138.19/138.76 c #Conflicts: 47000 | #Constraints: 312065
138.19/138.76 c #Conflicts: 48000 | #Constraints: 313065
138.19/138.76 c #Conflicts: 49000 | #Constraints: 314065
138.19/138.76 c #Conflicts: 50000 | #Constraints: 315065
138.19/138.76 c #Conflicts: 51000 | #Constraints: 316065
138.19/138.76 c INPROCESSING
138.19/138.76 c GARBAGE COLLECT
138.19/138.76 c #Conflicts: 52000 | #Constraints: 312472
138.19/138.76 c #Conflicts: 53000 | #Constraints: 313472
138.19/138.76 c #Conflicts: 54000 | #Constraints: 314472
138.19/138.76 c #Conflicts: 55000 | #Constraints: 315472
138.19/138.76 c #Conflicts: 56000 | #Constraints: 316472
138.19/138.76 c INPROCESSING
138.19/138.76 c GARBAGE COLLECT
138.19/138.76 c #Conflicts: 57000 | #Constraints: 312675
138.19/138.76 c #Conflicts: 58000 | #Constraints: 313675
138.19/138.76 c #Conflicts: 59000 | #Constraints: 314675
138.19/138.76 c #Conflicts: 60000 | #Constraints: 315675
138.19/138.76 c #Conflicts: 61000 | #Constraints: 316675
138.19/138.76 c INPROCESSING
138.19/138.76 c GARBAGE COLLECT
138.19/138.76 c #Conflicts: 62000 | #Constraints: 312675
138.19/138.76 c #Conflicts: 63000 | #Constraints: 313675
138.19/138.76 c #Conflicts: 64000 | #Constraints: 314675
138.19/138.76 c #Conflicts: 65000 | #Constraints: 315675
138.19/138.76 c #Conflicts: 66000 | #Constraints: 316675
138.19/138.76 c INPROCESSING
138.19/138.76 c GARBAGE COLLECT
138.19/138.76 c #Conflicts: 67000 | #Constraints: 312463
138.19/138.76 c #Conflicts: 68000 | #Constraints: 313463
138.19/138.76 c #Conflicts: 69000 | #Constraints: 314463
138.19/138.76 c #Conflicts: 70000 | #Constraints: 315463
138.19/138.76 c #Conflicts: 71000 | #Constraints: 316463
280.92/282.06 c #Conflicts: 72000 | #Constraints: 317463
280.92/282.06 c INPROCESSING
280.92/282.06 c GARBAGE COLLECT
280.92/282.06 c #Conflicts: 73000 | #Constraints: 313069
280.92/282.06 c #Conflicts: 74000 | #Constraints: 314069
280.92/282.06 c #Conflicts: 75000 | #Constraints: 315069
280.92/282.06 c #Conflicts: 76000 | #Constraints: 316069
280.92/282.06 c #Conflicts: 77000 | #Constraints: 317069
280.92/282.06 c #Conflicts: 78000 | #Constraints: 318069
280.92/282.06 c #Conflicts: 79000 | #Constraints: 319069
280.92/282.06 c #Conflicts: 80000 | #Constraints: 320069
280.92/282.06 c #Conflicts: 81000 | #Constraints: 321069
280.92/282.06 c #Conflicts: 82000 | #Constraints: 322069
280.92/282.06 c #Conflicts: 83000 | #Constraints: 323069
280.92/282.06 c #Conflicts: 84000 | #Constraints: 324069
280.92/282.06 c #Conflicts: 85000 | #Constraints: 325069
280.92/282.06 c #Conflicts: 86000 | #Constraints: 326069
280.92/282.06 c #Conflicts: 87000 | #Constraints: 327069
280.92/282.06 c #Conflicts: 88000 | #Constraints: 328069
280.92/282.06 c #Conflicts: 89000 | #Constraints: 329069
280.92/282.06 c #Conflicts: 90000 | #Constraints: 330069
280.92/282.06 c #Conflicts: 91000 | #Constraints: 331069
280.92/282.06 c #Conflicts: 92000 | #Constraints: 332069
280.92/282.06 c #Conflicts: 93000 | #Constraints: 333069
280.92/282.06 c #Conflicts: 94000 | #Constraints: 334069
280.92/282.06 c #Conflicts: 95000 | #Constraints: 335069
280.92/282.06 c #Conflicts: 96000 | #Constraints: 336069
280.92/282.06 c INPROCESSING
280.92/282.06 c GARBAGE COLLECT
280.92/282.06 c #Conflicts: 97000 | #Constraints: 309508
280.92/282.06 c #Conflicts: 98000 | #Constraints: 310508
280.92/282.06 c #Conflicts: 99000 | #Constraints: 311508
280.92/282.06 c #Conflicts: 100000 | #Constraints: 312508
280.92/282.06 c #Conflicts: 101000 | #Constraints: 313508
280.92/282.06 c #Conflicts: 102000 | #Constraints: 314508
280.92/282.06 c INPROCESSING
280.92/282.06 c GARBAGE COLLECT
280.92/282.06 c #Conflicts: 103000 | #Constraints: 304820
280.92/282.06 c #Conflicts: 104000 | #Constraints: 305820
280.92/282.06 c #Conflicts: 105000 | #Constraints: 306820
280.92/282.06 c #Conflicts: 106000 | #Constraints: 307820
280.92/282.06 c #Conflicts: 107000 | #Constraints: 308820
280.92/282.06 c #Conflicts: 108000 | #Constraints: 309820
280.92/282.06 c #Conflicts: 109000 | #Constraints: 310820
280.92/282.06 c #Conflicts: 110000 | #Constraints: 311820
280.92/282.06 c INPROCESSING
280.92/282.06 c GARBAGE COLLECT
280.92/282.06 c #Conflicts: 111000 | #Constraints: 303931
280.92/282.06 c #Conflicts: 112000 | #Constraints: 304931
280.92/282.06 c #Conflicts: 113000 | #Constraints: 305931
280.92/282.06 c #Conflicts: 114000 | #Constraints: 306931
280.92/282.06 c #Conflicts: 115000 | #Constraints: 307931
280.92/282.06 c #Conflicts: 116000 | #Constraints: 308931
280.92/282.06 c #Conflicts: 117000 | #Constraints: 309931
280.92/282.06 c INPROCESSING
280.92/282.06 c GARBAGE COLLECT
280.92/282.06 c #Conflicts: 118000 | #Constraints: 302843
280.92/282.06 c #Conflicts: 119000 | #Constraints: 303843
280.92/282.06 c #Conflicts: 120000 | #Constraints: 304843
280.92/282.06 c #Conflicts: 121000 | #Constraints: 305843
280.92/282.06 c #Conflicts: 122000 | #Constraints: 306843
280.92/282.06 c #Conflicts: 123000 | #Constraints: 307843
280.92/282.06 c #Conflicts: 124000 | #Constraints: 308843
280.92/282.06 c INPROCESSING
280.92/282.06 c GARBAGE COLLECT
280.92/282.06 c #Conflicts: 125000 | #Constraints: 302050
280.92/282.06 c #Conflicts: 126000 | #Constraints: 303050
280.92/282.06 c #Conflicts: 127000 | #Constraints: 304050
280.92/282.06 c #Conflicts: 128000 | #Constraints: 305050
280.92/282.06 c #Conflicts: 129000 | #Constraints: 306050
280.92/282.06 c #Conflicts: 130000 | #Constraints: 307050
280.92/282.06 c #Conflicts: 131000 | #Constraints: 308050
280.92/282.06 c #Conflicts: 132000 | #Constraints: 309050
280.92/282.06 c #Conflicts: 133000 | #Constraints: 310050
280.92/282.06 c #Conflicts: 134000 | #Constraints: 311050
280.92/282.06 c #Conflicts: 135000 | #Constraints: 312050
280.92/282.06 c #Conflicts: 136000 | #Constraints: 313050
280.92/282.06 c #Conflicts: 137000 | #Constraints: 314050
280.92/282.06 c #Conflicts: 138000 | #Constraints: 315050
280.92/282.06 c #Conflicts: 139000 | #Constraints: 316050
280.92/282.06 c #Conflicts: 140000 | #Constraints: 317050
280.92/282.06 c #Conflicts: 141000 | #Constraints: 318050
280.92/282.06 c #Conflicts: 142000 | #Constraints: 319050
280.92/282.06 c #Conflicts: 143000 | #Constraints: 320050
280.92/282.06 c #Conflicts: 144000 | #Constraints: 321050
280.92/282.06 c #Conflicts: 145000 | #Constraints: 322050
280.92/282.06 c #Conflicts: 146000 | #Constraints: 323050
336.28/337.75 c #Conflicts: 147000 | #Constraints: 324050
336.28/337.75 c #Conflicts: 148000 | #Constraints: 325050
336.28/337.75 c #Conflicts: 149000 | #Constraints: 326050
336.28/337.75 c #Conflicts: 150000 | #Constraints: 327050
336.28/337.75 c #Conflicts: 151000 | #Constraints: 328050
336.28/337.75 c #Conflicts: 152000 | #Constraints: 329050
336.28/337.75 c #Conflicts: 153000 | #Constraints: 330050
336.28/337.75 c #Conflicts: 154000 | #Constraints: 331050
336.28/337.75 c #Conflicts: 155000 | #Constraints: 332050
336.28/337.75 c INPROCESSING
336.28/337.75 c GARBAGE COLLECT
336.28/337.75 c #Conflicts: 156000 | #Constraints: 309037
336.28/337.75 c #Conflicts: 157000 | #Constraints: 310037
336.28/337.75 c #Conflicts: 158000 | #Constraints: 311037
336.28/337.75 c #Conflicts: 159000 | #Constraints: 312037
336.28/337.75 c #Conflicts: 160000 | #Constraints: 313037
336.28/337.75 c #Conflicts: 161000 | #Constraints: 314037
336.28/337.75 c #Conflicts: 162000 | #Constraints: 315037
336.28/337.75 c #Conflicts: 163000 | #Constraints: 316037
336.28/337.75 c INPROCESSING
336.28/337.75 c GARBAGE COLLECT
336.28/337.75 c #Conflicts: 164000 | #Constraints: 301905
336.28/337.75 c #Conflicts: 165000 | #Constraints: 302905
336.28/337.75 c #Conflicts: 166000 | #Constraints: 303905
336.28/337.75 c #Conflicts: 167000 | #Constraints: 304905
336.28/337.75 c #Conflicts: 168000 | #Constraints: 305905
336.28/337.75 c #Conflicts: 169000 | #Constraints: 306905
336.28/337.75 c #Conflicts: 170000 | #Constraints: 307905
336.28/337.75 c #Conflicts: 171000 | #Constraints: 308905
336.28/337.75 c #Conflicts: 172000 | #Constraints: 309905
336.28/337.75 c INPROCESSING
336.28/337.75 c GARBAGE COLLECT
336.28/337.75 c #Conflicts: 173000 | #Constraints: 299958
336.28/337.75 c #Conflicts: 174000 | #Constraints: 300958
336.28/337.75 c #Conflicts: 175000 | #Constraints: 301958
336.28/337.75 c #Conflicts: 176000 | #Constraints: 302958
336.28/337.75 c #Conflicts: 177000 | #Constraints: 303958
336.28/337.75 c #Conflicts: 178000 | #Constraints: 304958
336.28/337.75 c #Conflicts: 179000 | #Constraints: 305958
336.28/337.75 c #Conflicts: 180000 | #Constraints: 306958
336.28/337.75 c #Conflicts: 181000 | #Constraints: 307958
336.28/337.75 c #Conflicts: 182000 | #Constraints: 308958
336.28/337.75 c INPROCESSING
336.28/337.75 c GARBAGE COLLECT
336.28/337.75 c #Conflicts: 183000 | #Constraints: 299894
336.28/337.75 c #Conflicts: 184000 | #Constraints: 300894
336.28/337.75 c #Conflicts: 185000 | #Constraints: 301894
336.28/337.75 c #Conflicts: 186000 | #Constraints: 302894
336.28/337.75 c #Conflicts: 187000 | #Constraints: 303894
336.28/337.75 c #Conflicts: 188000 | #Constraints: 304894
336.28/337.75 c #Conflicts: 189000 | #Constraints: 305894
336.28/337.75 c #Conflicts: 190000 | #Constraints: 306894
336.28/337.75 c #Conflicts: 191000 | #Constraints: 307894
336.28/337.75 c #Conflicts: 192000 | #Constraints: 308894
336.28/337.75 c #Conflicts: 193000 | #Constraints: 309894
336.28/337.75 c #Conflicts: 194000 | #Constraints: 310894
336.28/337.75 c #Conflicts: 195000 | #Constraints: 311894
336.28/337.75 c #Conflicts: 196000 | #Constraints: 312894
336.28/337.75 c #Conflicts: 197000 | #Constraints: 313894
336.28/337.75 c #Conflicts: 198000 | #Constraints: 314894
336.28/337.75 c #Conflicts: 199000 | #Constraints: 315894
336.28/337.75 c #Conflicts: 200000 | #Constraints: 316894
336.28/337.75 c #Conflicts: 201000 | #Constraints: 317894
336.28/337.75 c #Conflicts: 202000 | #Constraints: 318894
336.28/337.75 c #Conflicts: 203000 | #Constraints: 319894
336.28/337.75 c #Conflicts: 204000 | #Constraints: 320894
336.28/337.75 c #Conflicts: 205000 | #Constraints: 321894
336.28/337.75 c #Conflicts: 206000 | #Constraints: 322894
336.28/337.75 c cpu time 333.384 s
336.28/337.75 c deterministic time 3280411719 3.28e+09
336.28/337.75 c optimization time 0.000109 s
336.28/337.75 c total solve time 331.845 s
336.28/337.75 c core-guided solve time 0 s
336.28/337.75 c propagation time 139.858 s
336.28/337.75 c conflict analysis time 54.7051 s
336.28/337.75 c propagations 374595202
336.28/337.75 c resolve steps 10891072
336.28/337.75 c decisions 501649
336.28/337.75 c conflicts 206883
336.28/337.75 c restarts 510
336.28/337.75 c inprocessing phases 28
336.28/337.75 c garbage collections 18 ,( 64.29 )
336.28/337.75 c input clauses 295929 ,( 94.41 )
336.28/337.75 c input cardinalities 0 ,( 0.00 )
336.28/337.75 c input general constraints 17522 ,( 5.59 )
336.28/337.75 c input average constraint length 3.00
336.28/337.75 c input average constraint degree 7.15
336.28/337.75 c learned clauses 177196 ,( 85.65 )
336.28/337.75 c learned cardinalities 0 ,( 0.00 )
336.28/337.75 c learned general constraints 29686 ,( 14.35 )
336.28/337.75 c learned average constraint length 212.10
336.28/337.75 c learned average constraint degree 2428.73
336.28/337.75 c watched CF 32, 64, 128, Arb: 8875 , 0 , 0 , 0
336.28/337.75 c counting CF 32, 64, 128, Arb: 38333 , 0 , 0 , 0
336.35/337.88 c watched constraints 8875 ,( 18.80 )
336.35/337.88 c counting constraints 38333 ,( 81.20 )
336.35/337.88 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 428221915 , 0 , 48256478 ,( 13762621 , 34493857 )
336.35/337.88 c gcd simplifications 5618
336.35/337.88 c detected cardinalities 0
336.35/337.88 c weakened non-implied lits 487026
336.35/337.88 c weakened non-implying lits 6769
336.35/337.88 c original variables 109757
336.35/337.88 c clausal propagations 371050543
336.35/337.88 c cardinality propagations 0
336.35/337.88 c watched propagations 6348
336.35/337.88 c counting propagations 3330960
336.35/337.88 c watch lookups 1008722102
336.35/337.88 c watch backjump lookups 0
336.35/337.88 c watch checks 944203274
336.35/337.88 c propagation checks 441146246
336.35/337.88 c constraint additions 135923638
336.35/337.88 c trail pops 375256607
336.35/337.88 c formula constraints 313451
336.35/337.88 c learned constraints 206882
336.35/337.88 c bound constraints 0
336.35/337.88 c core-guided constraints 0
336.35/337.88 c encountered formula constraints 9810815
336.35/337.88 c encountered learned constraints 1287140
336.35/337.88 c encountered bound constraints 0
336.35/337.88 c encountered core-guided constraints 0
336.35/337.88 c LP total time 124.015 s
336.35/337.88 c LP solve time 123.78 s
336.35/337.88 c LP constraints added 313451
336.35/337.88 c LP constraints removed 0
336.35/337.88 c LP pivots internal 42000
336.35/337.88 c LP pivots root 21000
336.35/337.88 c LP calls 6
336.35/337.88 c LP optimalities 0
336.35/337.88 c LP no pivot count 0
336.35/337.88 c LP infeasibilities 0
336.35/337.88 c LP valid Farkas constraints 0
336.35/337.88 c LP learned Farkas constraints 0
336.35/337.88 c LP basis resets 0
336.35/337.88 c LP cycling count 0
336.35/337.88 c LP singular count 0
336.35/337.88 c LP no primal count 0
336.35/337.88 c LP no farkas count 0
336.35/337.88 c LP other issue count 0
336.35/337.88 c LP Gomory cuts 0
336.35/337.88 c LP learned cuts 0
336.35/337.88 c LP deleted cuts 0
336.35/337.88 c LP encountered Gomory constraints 0
336.35/337.88 c LP encountered Farkas constraints 0
336.35/337.88 c LP encountered learned Farkas constraints 0
336.35/337.88 c CG auxiliary variables introduced 0
336.35/337.88 c CG solutions found 0
336.35/337.88 c CG cores constructed 0
336.35/337.88 c CG core cardinality constraints returned 0
336.35/337.88 c CG unit cores 0
336.35/337.88 c CG single cores 0
336.35/337.88 c CG blocks removed during cardinality reduction 0
336.35/337.88 c CG first core best 0
336.35/337.88 c CG decision core best 0
336.35/337.88 c CG core reduction tie 0
336.35/337.88 c CG core degree average 0.00
336.35/337.88 c CG core slack average 0.00
336.35/337.88 c CG core upper bound improvements 0
336.35/337.88 c STR number of successful calls 0
336.35/337.88 c STR number of unsuccessful calls 0
336.35/337.88 c STR number of inconclusive calls 0
336.35/337.88 c STR number of successful attempts 0
336.35/337.88 c STR number of unsuccessful attempts 0
336.35/337.88 c STR number of inconclusive attempts 0
336.35/337.88 c STR average degree increase per successful call inf
336.35/337.88 c STR average degree increase per successful attempt inf
336.35/337.88 c STR total number of conflicts for successful attempts 0
336.35/337.88 c STR total number of conflicts for unsuccessful attempts 0
336.35/337.88 c STR total number of conflicts for inconclusive attempts 0
336.35/337.88 c STR average number of conflicts per successful attempt inf
336.35/337.88 c STR average number of conflicts per unsuccessful attempt inf
336.35/337.88 c STR average number of conflicts per inconclusive attempt inf
336.35/337.88 c AVG.sumWPerc 71.47
336.35/337.88 c bigint constraints 0
336.35/337.88 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62770 MiB free)
memory of node 1: 64507 MiB (62841 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491685-1751142534/watcher-4491685-1751142534 -o /tmp/evaluation-result-4491685-1751142534/solver-4491685-1751142534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751142528-15068 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4491685-1751142534.opb PROOFDIR/proof-4491685-1751142534
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=15324, runsolver pid=15321
[startup+0.100061 s]*
/proc/loadavg: 1.37 1.21 1.94 5/269 15326
/proc/meminfo: memFree=128547860/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15326] ppid=15324 vsize=99124 memory=89168 CPUtime=0.08 cores=0,2
/proc/15326/stat : 15326 (pbsuma) R 15324 15324 11935 0 -1 4194304 5953 0 0 0 7 1 0 0 20 0 1 0 29931136 101502976 22292 18446744073709551615 4210688 4653049 140729046263648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5234688 140729046268131 140729046268466 140729046268466 140729046274031 0
/proc/15326/statm: 24781 22292 960 108 0 22189 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 103316 KiB
Current children cumulated memory: 92112 KiB
[startup+0.206123 s]*
/proc/loadavg: 1.37 1.21 1.94 5/269 15326
/proc/meminfo: memFree=128507916/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15326] ppid=15324 vsize=142372 memory=123360 CPUtime=0.19 cores=0,2
/proc/15326/stat : 15326 (pbsuma) R 15324 15324 11935 0 -1 4194304 14152 0 0 0 16 3 0 0 20 0 1 0 29931136 145788928 30840 18446744073709551615 4210688 4653049 140729046263648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5234688 140729046268131 140729046268466 140729046268466 140729046274031 0
/proc/15326/statm: 35593 30840 992 108 0 33001 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 146564 KiB
Current children cumulated memory: 126304 KiB
[startup+0.306182 s]*
/proc/loadavg: 1.37 1.21 1.94 5/269 15326
/proc/meminfo: memFree=128426888/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15326] ppid=15324 vsize=251000 memory=197572 CPUtime=0.29 cores=0,2
/proc/15326/stat : 15326 (pbsuma) R 15324 15324 11935 0 -1 4194304 23508 0 0 0 24 5 0 0 20 0 1 0 29931136 257024000 49393 18446744073709551615 4210688 4653049 140729046263648 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5234688 140729046268131 140729046268466 140729046268466 140729046274031 0
/proc/15326/statm: 62750 49393 992 108 0 60158 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 255192 KiB
Current children cumulated memory: 200516 KiB
[startup+0.700206 s]
/proc/loadavg: 1.37 1.21 1.94 5/269 15326
/proc/meminfo: memFree=128370440/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50016 s]
/proc/loadavg: 1.37 1.21 1.94 4/264 15335
/proc/meminfo: memFree=128646676/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=161508 memory=114760 CPUtime=0.89 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 25090 0 0 0 68 21 0 0 20 0 1 0 29931194 165384192 28690 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 40377 28690 2016 1147 0 27804 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 165700 KiB
Current children cumulated memory: 117704 KiB
[startup+3.10596 s]
/proc/loadavg: 1.37 1.21 1.94 5/269 15374
/proc/meminfo: memFree=128282084/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=654444 memory=496000 CPUtime=2.49 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 61048 0 0 0 206 43 0 0 20 0 1 0 29931194 670150656 124000 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 163611 124000 2304 1147 0 151038 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 658636 KiB
Current children cumulated memory: 498944 KiB
[startup+6.30019 s]
/proc/loadavg: 1.66 1.27 1.95 5/269 15374
/proc/meminfo: memFree=128214944/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=654444 memory=496000 CPUtime=5.67 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 61055 0 0 0 524 43 0 0 20 0 1 0 29931194 670150656 124000 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 163611 124000 2304 1147 0 151038 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 658636 KiB
Current children cumulated memory: 498944 KiB
[startup+12.7002 s]
/proc/loadavg: 1.85 1.32 1.96 5/269 15374
/proc/meminfo: memFree=128169724/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=672768 memory=510344 CPUtime=12.05 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 63103 0 0 0 1159 46 0 0 20 0 1 0 29931194 688914432 127586 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 168192 127586 2368 1147 0 155619 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 676960 KiB
Current children cumulated memory: 513288 KiB
[startup+25.5002 s]
/proc/loadavg: 2.32 1.45 2.00 5/270 15423
/proc/meminfo: memFree=128304084/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=672768 memory=514008 CPUtime=24.81 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 63508 0 0 0 2429 52 0 0 20 0 1 0 29931194 688914432 128502 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 168192 128502 2368 1147 0 155619 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 676960 KiB
Current children cumulated memory: 516952 KiB
[startup+51.1061 s]
/proc/loadavg: 3.03 1.69 2.06 5/272 15426
/proc/meminfo: memFree=128136300/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=710400 memory=540752 CPUtime=50.33 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 68201 0 0 0 4968 65 0 0 20 0 1 0 29931194 727449600 135188 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 177600 135188 2368 1147 0 165027 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 714592 KiB
Current children cumulated memory: 543696 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.06 2.17 5/273 15428
/proc/meminfo: memFree=127923916/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=738120 memory=571384 CPUtime=101.36 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 74394 0 0 0 10049 87 0 0 20 0 1 0 29931194 755834880 142846 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 184530 142846 2368 1147 0 171957 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 742312 KiB
Current children cumulated memory: 574328 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.42 2.29 5/273 15432
/proc/meminfo: memFree=127651668/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=760584 memory=581636 CPUtime=161.16 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 74972 0 0 0 15985 131 0 0 20 0 1 0 29931194 778838016 145409 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 190146 145409 2368 1147 0 177573 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 764776 KiB
Current children cumulated memory: 584580 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 2.74 2.41 5/272 15434
/proc/meminfo: memFree=127481468/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=770876 memory=591940 CPUtime=220.96 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 76052 0 0 0 21944 152 0 0 20 0 1 0 29931194 789377024 147985 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 192719 147985 2368 1147 0 180146 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 775068 KiB
Current children cumulated memory: 594884 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 2.99 2.52 5/268 15560
/proc/meminfo: memFree=127754392/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=770876 memory=598820 CPUtime=280.65 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 76233 0 0 0 27875 190 0 0 20 0 1 0 29931194 789377024 149705 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 192719 149705 2368 1147 0 180146 0
Current children cumulated CPU time: 281.21 s
Current children cumulated vsize: 775068 KiB
Current children cumulated memory: 601764 KiB
[startup+337.892 s]
# the end of solver process 15324 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=333.961 s, system=2.5119 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.00 3.05 2.55 5/273 15773
/proc/meminfo: memFree=127500636/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=768132 memory=605056 CPUtime=305.41 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 76475 0 0 0 30332 209 0 0 20 0 1 0 29931194 786567168 151264 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 192033 151264 2368 1147 0 179460 0
Current children cumulated CPU time: 305.97 s
Current children cumulated vsize: 772324 KiB
Current children cumulated memory: 608000 KiB
[startup+320 s]*
/proc/loadavg: 4.06 3.12 2.58 5/273 15773
/proc/meminfo: memFree=127395424/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=768132 memory=605184 CPUtime=318.19 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 76497 0 0 0 31603 216 0 0 20 0 1 0 29931194 786567168 151296 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 192033 151296 2368 1147 0 179460 0
Current children cumulated CPU time: 318.75 s
Current children cumulated vsize: 772324 KiB
Current children cumulated memory: 608128 KiB
[startup+326.4 s]
/proc/loadavg: 4.06 3.13 2.59 5/273 15773
/proc/meminfo: memFree=127369156/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=768132 memory=605184 CPUtime=324.57 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 76497 0 0 0 32236 221 0 0 20 0 1 0 29931194 786567168 151296 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 192033 151296 2368 1147 0 179460 0
Current children cumulated CPU time: 325.13 s
Current children cumulated vsize: 772324 KiB
Current children cumulated memory: 608128 KiB
[startup+332.8 s]
/proc/loadavg: 4.05 3.14 2.60 5/273 15773
/proc/meminfo: memFree=127252452/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=768132 memory=607268 CPUtime=330.95 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 76502 0 0 0 32864 231 0 0 20 0 1 0 29931194 786567168 151817 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 192033 151817 2368 1147 0 179460 0
Current children cumulated CPU time: 331.51 s
Current children cumulated vsize: 772324 KiB
Current children cumulated memory: 610212 KiB
[startup+336 s]*
/proc/loadavg: 4.05 3.16 2.61 5/273 15773
/proc/meminfo: memFree=127172780/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=798952 memory=611632 CPUtime=334.14 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 77094 0 0 0 33178 236 0 0 20 0 1 0 29931194 818126848 152908 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 199738 152908 2368 1147 0 187165 0
Current children cumulated CPU time: 334.7 s
Current children cumulated vsize: 803144 KiB
Current children cumulated memory: 614576 KiB
[startup+336.8 s]
/proc/loadavg: 4.05 3.16 2.61 5/273 15773
/proc/meminfo: memFree=127172780/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=798952 memory=611632 CPUtime=334.83 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 77094 0 0 0 33245 238 0 0 20 0 1 0 29931194 818126848 152908 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 199738 152908 2368 1147 0 187165 0
Current children cumulated CPU time: 335.39 s
Current children cumulated vsize: 803144 KiB
Current children cumulated memory: 614576 KiB
[startup+337.6 s]
/proc/loadavg: 4.05 3.16 2.61 5/273 15773
/proc/meminfo: memFree=127160816/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=798952 memory=611632 CPUtime=335.62 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 77094 0 0 0 33323 239 0 0 20 0 1 0 29931194 818126848 152908 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 199738 152908 2368 1147 0 187165 0
Current children cumulated CPU time: 336.18 s
Current children cumulated vsize: 803144 KiB
Current children cumulated memory: 614576 KiB
[startup+337.8 s]
/proc/loadavg: 4.05 3.16 2.61 5/273 15773
/proc/meminfo: memFree=127160816/131249996 swapFree=33010684/33010684
[pid=15324] ppid=15321 vsize=4192 memory=2944 CPUtime=0.56 cores=0,2
/proc/15324/stat : 15324 (run-dec-break-l) S 15321 15324 11935 0 -1 4194304 240 33175 0 0 0 0 47 9 20 0 1 0 29931136 4292608 736 18446744073709551615 94716763385856 94716764280389 140731438691152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94716764519440 94716764567184 94716779061248 140731438692629 140731438692830 140731438692830 140731438698432 0
/proc/15324/statm: 1048 736 672 219 0 110 0
[pid=15327] ppid=15324 vsize=782576 memory=599020 CPUtime=335.79 cores=0,2
/proc/15327/stat : 15327 (roundingsat) R 15324 15324 11935 0 -1 4194304 77095 0 0 0 33340 239 0 0 20 0 1 0 29931194 801357824 149755 18446744073709551615 4227072 8923433 140721458634400 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 12816384 140721458641140 140721458641448 140721458641448 140721458647018 0
/proc/15327/statm: 195644 149755 2368 1147 0 183071 0
Current children cumulated CPU time: 336.35 s
Current children cumulated vsize: 786768 KiB
Current children cumulated memory: 601964 KiB
Child status: 0
Real time (s): 337.892
CPU time (s): 336.472
CPU user time (s): 333.961
CPU system time (s): 2.5119
CPU usage (%): 99.58
Max. virtual memory (cumulated for all children) (KiB): 803144
Max. memory (cumulated for all children) (KiB): 614576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 333.961
system time used= 2.5119
maximum resident set size= 611632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 816568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 640
involuntary context switches= 519
# summary of solver processes directly reported to runsolver:
# pid: 15324
# total CPU time (s): 336.472
# total CPU user time (s): 333.961
# total CPU system time (s): 2.5119
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.72212 second user time and 1.7161 second system time
The end
Begin job on nodeC021 at 2025-06-28 22:28:55
IDJOB=4491685
IDBENCH=147732
IDSOLVER=3358
FILE ID=nodeC021/4491685-1751142534
RUNJOBID= nodeC021-1751142528-15068
SLURM_JOB_ID= 9587421
Free space on /tmp= 432972 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491685-1751142534/watcher-4491685-1751142534 -o /tmp/evaluation-result-4491685-1751142534/solver-4491685-1751142534 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1751142528-15068 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4491685-1751142534.opb PROOFDIR/proof-4491685-1751142534
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62e5546fe4d774fb864c3bf961c813a7
RANDOM SEED=1402910538
nodeC021 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.157
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.697
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.772
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3590.527
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.742
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.704
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.976
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128626940 kB
MemAvailable: 128325212 kB
Buffers: 3280 kB
Cached: 509712 kB
SwapCached: 0 kB
Active: 1662852 kB
Inactive: 287748 kB
Active(anon): 1455712 kB
Inactive(anon): 0 kB
Active(file): 207140 kB
Inactive(file): 287748 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 126520 kB
Writeback: 0 kB
AnonPages: 1440748 kB
Mapped: 115936 kB
Shmem: 18060 kB
KReclaimable: 84844 kB
Slab: 168220 kB
SReclaimable: 84844 kB
SUnreclaim: 83376 kB
KernelStack: 4336 kB
PageTables: 6124 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1896716 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150584 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 753664 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC021 at 2025-06-28 22:34:33