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-4491684-1751142409.opb'
0.09/0.19 c read 11.51MB (184.70ms)
0.09/0.19 c [cnf: #variables 109757 #clauses 313451 #duplicates 0 #arr 940585]
0.09/0.19 c
0.09/0.19 c make graph and approximate orbits
0.39/0.41 c [group: #orbits ~= 0] (213.84ms)
0.39/0.41 c
0.39/0.41 c detect special group actions
0.39/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 (20.71ms)
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.47 c [group: #symmetries 1.00*10^0 #generators 0] (47.12ms)
0.39/0.47 c
0.39/0.47 c finalize break order and special generators
0.39/0.48 c
0.39/0.48 c generation finished
0.39/0.48 c [sbp: #constraints 0 #add_vars 0]
0.39/0.48 c
0.39/0.48 c write result to 'HOME/instance-4491684-1751142409.opb.pre'
0.49/0.51 c wrote 11.74MB (25.12ms)
0.49/0.51 c ------------------------------------------------------------------
0.49/0.51 c 213.84ms 42.71% approx_orbits
0.49/0.51 c 184.70ms 36.89% parse
0.49/0.51 c 47.12ms 9.41% detect_generic
0.49/0.51 c 25.12ms 5.02% output
0.49/0.51 c 20.71ms 4.14% detect_special
0.49/0.51 c 4.84ms 0.97% other
0.49/0.51 c 4.34ms 0.87% finalize_order
0.49/0.51 c ───────────────────────────────────────────────
0.49/0.51 c 500.67ms 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
1.96/2.00 c #variables 109757 #constraints 313451
134.40/134.90 c #Conflicts: 1000 | #Constraints: 314450
134.40/134.90 c #Conflicts: 2000 | #Constraints: 315450
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 3000 | #Constraints: 309714
134.40/134.90 c #Conflicts: 4000 | #Constraints: 310714
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 5000 | #Constraints: 310143
134.40/134.90 c #Conflicts: 6000 | #Constraints: 311143
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 7000 | #Constraints: 309307
134.40/134.90 c #Conflicts: 8000 | #Constraints: 310307
134.40/134.90 c #Conflicts: 9000 | #Constraints: 311307
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 10000 | #Constraints: 310014
134.40/134.90 c #Conflicts: 11000 | #Constraints: 311014
134.40/134.90 c #Conflicts: 12000 | #Constraints: 312014
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 13000 | #Constraints: 310397
134.40/134.90 c #Conflicts: 14000 | #Constraints: 311397
134.40/134.90 c #Conflicts: 15000 | #Constraints: 312397
134.40/134.90 c INPROCESSING
134.40/134.90 c GARBAGE COLLECT
134.40/134.90 c #Conflicts: 16000 | #Constraints: 310646
134.40/134.90 c #Conflicts: 17000 | #Constraints: 311646
134.40/134.90 c #Conflicts: 18000 | #Constraints: 312646
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 19000 | #Constraints: 310688
134.40/134.90 c #Conflicts: 20000 | #Constraints: 311688
134.40/134.90 c #Conflicts: 21000 | #Constraints: 312688
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 22000 | #Constraints: 310495
134.40/134.90 c #Conflicts: 23000 | #Constraints: 311495
134.40/134.90 c #Conflicts: 24000 | #Constraints: 312495
134.40/134.90 c #Conflicts: 25000 | #Constraints: 313495
134.40/134.90 c INPROCESSING
134.40/134.90 c GARBAGE COLLECT
134.40/134.90 c #Conflicts: 26000 | #Constraints: 311106
134.40/134.90 c #Conflicts: 27000 | #Constraints: 312106
134.40/134.90 c #Conflicts: 28000 | #Constraints: 313106
134.40/134.90 c #Conflicts: 29000 | #Constraints: 314106
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 30000 | #Constraints: 311505
134.40/134.90 c #Conflicts: 31000 | #Constraints: 312505
134.40/134.90 c #Conflicts: 32000 | #Constraints: 313505
134.40/134.90 c #Conflicts: 33000 | #Constraints: 314505
134.40/134.90 c INPROCESSING
134.40/134.90 c GARBAGE COLLECT
134.40/134.90 c #Conflicts: 34000 | #Constraints: 311749
134.40/134.90 c #Conflicts: 35000 | #Constraints: 312749
134.40/134.90 c #Conflicts: 36000 | #Constraints: 313749
134.40/134.90 c #Conflicts: 37000 | #Constraints: 314749
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 38000 | #Constraints: 311753
134.40/134.90 c #Conflicts: 39000 | #Constraints: 312753
134.40/134.90 c #Conflicts: 40000 | #Constraints: 313753
134.40/134.90 c #Conflicts: 41000 | #Constraints: 314753
134.40/134.90 c INPROCESSING
134.40/134.90 c GARBAGE COLLECT
134.40/134.90 c #Conflicts: 42000 | #Constraints: 311573
134.40/134.90 c #Conflicts: 43000 | #Constraints: 312573
134.40/134.90 c #Conflicts: 44000 | #Constraints: 313573
134.40/134.90 c #Conflicts: 45000 | #Constraints: 314573
134.40/134.90 c #Conflicts: 46000 | #Constraints: 315573
134.40/134.90 c INPROCESSING
134.40/134.90 c #Conflicts: 47000 | #Constraints: 312065
134.40/134.90 c #Conflicts: 48000 | #Constraints: 313065
134.40/134.90 c #Conflicts: 49000 | #Constraints: 314065
134.40/134.90 c #Conflicts: 50000 | #Constraints: 315065
134.40/134.90 c #Conflicts: 51000 | #Constraints: 316065
134.40/134.90 c INPROCESSING
134.40/134.90 c GARBAGE COLLECT
134.40/134.90 c #Conflicts: 52000 | #Constraints: 312472
134.40/134.90 c #Conflicts: 53000 | #Constraints: 313472
134.40/134.90 c #Conflicts: 54000 | #Constraints: 314472
134.40/134.90 c #Conflicts: 55000 | #Constraints: 315472
134.40/134.90 c #Conflicts: 56000 | #Constraints: 316472
134.40/134.90 c INPROCESSING
134.40/134.90 c GARBAGE COLLECT
134.40/134.90 c #Conflicts: 57000 | #Constraints: 312675
134.40/134.90 c #Conflicts: 58000 | #Constraints: 313675
134.40/134.90 c #Conflicts: 59000 | #Constraints: 314675
134.40/134.90 c #Conflicts: 60000 | #Constraints: 315675
134.40/134.90 c #Conflicts: 61000 | #Constraints: 316675
134.40/134.90 c INPROCESSING
134.40/134.90 c GARBAGE COLLECT
134.40/134.90 c #Conflicts: 62000 | #Constraints: 312675
134.40/134.90 c #Conflicts: 63000 | #Constraints: 313675
134.40/134.90 c #Conflicts: 64000 | #Constraints: 314675
134.40/134.90 c #Conflicts: 65000 | #Constraints: 315675
134.40/134.90 c #Conflicts: 66000 | #Constraints: 316675
134.40/134.90 c INPROCESSING
134.40/134.90 c GARBAGE COLLECT
134.40/134.90 c #Conflicts: 67000 | #Constraints: 312463
134.40/134.90 c #Conflicts: 68000 | #Constraints: 313463
134.40/134.90 c #Conflicts: 69000 | #Constraints: 314463
134.40/134.90 c #Conflicts: 70000 | #Constraints: 315463
134.40/134.90 c #Conflicts: 71000 | #Constraints: 316463
273.23/274.10 c #Conflicts: 72000 | #Constraints: 317463
273.23/274.10 c INPROCESSING
273.23/274.10 c GARBAGE COLLECT
273.23/274.10 c #Conflicts: 73000 | #Constraints: 313069
273.23/274.10 c #Conflicts: 74000 | #Constraints: 314069
273.23/274.10 c #Conflicts: 75000 | #Constraints: 315069
273.23/274.10 c #Conflicts: 76000 | #Constraints: 316069
273.23/274.10 c #Conflicts: 77000 | #Constraints: 317069
273.23/274.10 c #Conflicts: 78000 | #Constraints: 318069
273.23/274.10 c #Conflicts: 79000 | #Constraints: 319069
273.23/274.10 c #Conflicts: 80000 | #Constraints: 320069
273.23/274.10 c #Conflicts: 81000 | #Constraints: 321069
273.23/274.10 c #Conflicts: 82000 | #Constraints: 322069
273.23/274.10 c #Conflicts: 83000 | #Constraints: 323069
273.23/274.10 c #Conflicts: 84000 | #Constraints: 324069
273.23/274.10 c #Conflicts: 85000 | #Constraints: 325069
273.23/274.10 c #Conflicts: 86000 | #Constraints: 326069
273.23/274.10 c #Conflicts: 87000 | #Constraints: 327069
273.23/274.10 c #Conflicts: 88000 | #Constraints: 328069
273.23/274.10 c #Conflicts: 89000 | #Constraints: 329069
273.23/274.10 c #Conflicts: 90000 | #Constraints: 330069
273.23/274.10 c #Conflicts: 91000 | #Constraints: 331069
273.23/274.10 c #Conflicts: 92000 | #Constraints: 332069
273.23/274.10 c #Conflicts: 93000 | #Constraints: 333069
273.23/274.10 c #Conflicts: 94000 | #Constraints: 334069
273.23/274.10 c #Conflicts: 95000 | #Constraints: 335069
273.23/274.10 c #Conflicts: 96000 | #Constraints: 336069
273.23/274.10 c INPROCESSING
273.23/274.10 c GARBAGE COLLECT
273.23/274.10 c #Conflicts: 97000 | #Constraints: 309508
273.23/274.10 c #Conflicts: 98000 | #Constraints: 310508
273.23/274.10 c #Conflicts: 99000 | #Constraints: 311508
273.23/274.10 c #Conflicts: 100000 | #Constraints: 312508
273.23/274.10 c #Conflicts: 101000 | #Constraints: 313508
273.23/274.10 c #Conflicts: 102000 | #Constraints: 314508
273.23/274.10 c INPROCESSING
273.23/274.10 c GARBAGE COLLECT
273.23/274.10 c #Conflicts: 103000 | #Constraints: 304820
273.23/274.10 c #Conflicts: 104000 | #Constraints: 305820
273.23/274.10 c #Conflicts: 105000 | #Constraints: 306820
273.23/274.10 c #Conflicts: 106000 | #Constraints: 307820
273.23/274.10 c #Conflicts: 107000 | #Constraints: 308820
273.23/274.10 c #Conflicts: 108000 | #Constraints: 309820
273.23/274.10 c #Conflicts: 109000 | #Constraints: 310820
273.23/274.10 c #Conflicts: 110000 | #Constraints: 311820
273.23/274.10 c INPROCESSING
273.23/274.10 c GARBAGE COLLECT
273.23/274.10 c #Conflicts: 111000 | #Constraints: 303931
273.23/274.10 c #Conflicts: 112000 | #Constraints: 304931
273.23/274.10 c #Conflicts: 113000 | #Constraints: 305931
273.23/274.10 c #Conflicts: 114000 | #Constraints: 306931
273.23/274.10 c #Conflicts: 115000 | #Constraints: 307931
273.23/274.10 c #Conflicts: 116000 | #Constraints: 308931
273.23/274.10 c #Conflicts: 117000 | #Constraints: 309931
273.23/274.10 c INPROCESSING
273.23/274.10 c GARBAGE COLLECT
273.23/274.10 c #Conflicts: 118000 | #Constraints: 302843
273.23/274.10 c #Conflicts: 119000 | #Constraints: 303843
273.23/274.10 c #Conflicts: 120000 | #Constraints: 304843
273.23/274.10 c #Conflicts: 121000 | #Constraints: 305843
273.23/274.10 c #Conflicts: 122000 | #Constraints: 306843
273.23/274.10 c #Conflicts: 123000 | #Constraints: 307843
273.23/274.10 c #Conflicts: 124000 | #Constraints: 308843
273.23/274.10 c INPROCESSING
273.23/274.10 c GARBAGE COLLECT
273.23/274.10 c #Conflicts: 125000 | #Constraints: 302050
273.23/274.10 c #Conflicts: 126000 | #Constraints: 303050
273.23/274.10 c #Conflicts: 127000 | #Constraints: 304050
273.23/274.10 c #Conflicts: 128000 | #Constraints: 305050
273.23/274.10 c #Conflicts: 129000 | #Constraints: 306050
273.23/274.10 c #Conflicts: 130000 | #Constraints: 307050
273.23/274.10 c #Conflicts: 131000 | #Constraints: 308050
273.23/274.10 c #Conflicts: 132000 | #Constraints: 309050
273.23/274.10 c #Conflicts: 133000 | #Constraints: 310050
273.23/274.10 c #Conflicts: 134000 | #Constraints: 311050
273.23/274.10 c #Conflicts: 135000 | #Constraints: 312050
273.23/274.10 c #Conflicts: 136000 | #Constraints: 313050
273.23/274.10 c #Conflicts: 137000 | #Constraints: 314050
273.23/274.10 c #Conflicts: 138000 | #Constraints: 315050
273.23/274.10 c #Conflicts: 139000 | #Constraints: 316050
273.23/274.10 c #Conflicts: 140000 | #Constraints: 317050
273.23/274.10 c #Conflicts: 141000 | #Constraints: 318050
273.23/274.10 c #Conflicts: 142000 | #Constraints: 319050
273.23/274.10 c #Conflicts: 143000 | #Constraints: 320050
273.23/274.10 c #Conflicts: 144000 | #Constraints: 321050
273.23/274.10 c #Conflicts: 145000 | #Constraints: 322050
273.23/274.10 c #Conflicts: 146000 | #Constraints: 323050
321.89/322.89 c #Conflicts: 147000 | #Constraints: 324050
321.89/322.89 c #Conflicts: 148000 | #Constraints: 325050
321.89/322.89 c #Conflicts: 149000 | #Constraints: 326050
321.89/322.89 c #Conflicts: 150000 | #Constraints: 327050
321.89/322.89 c #Conflicts: 151000 | #Constraints: 328050
321.89/322.89 c #Conflicts: 152000 | #Constraints: 329050
321.89/322.89 c #Conflicts: 153000 | #Constraints: 330050
321.89/322.89 c #Conflicts: 154000 | #Constraints: 331050
321.89/322.89 c #Conflicts: 155000 | #Constraints: 332050
321.89/322.89 c INPROCESSING
321.89/322.89 c GARBAGE COLLECT
321.89/322.89 c #Conflicts: 156000 | #Constraints: 309037
321.89/322.89 c #Conflicts: 157000 | #Constraints: 310037
321.89/322.89 c #Conflicts: 158000 | #Constraints: 311037
321.89/322.89 c #Conflicts: 159000 | #Constraints: 312037
321.89/322.89 c #Conflicts: 160000 | #Constraints: 313037
321.89/322.89 c #Conflicts: 161000 | #Constraints: 314037
321.89/322.89 c #Conflicts: 162000 | #Constraints: 315037
321.89/322.89 c #Conflicts: 163000 | #Constraints: 316037
321.89/322.89 c INPROCESSING
321.89/322.89 c GARBAGE COLLECT
321.89/322.89 c #Conflicts: 164000 | #Constraints: 301905
321.89/322.89 c #Conflicts: 165000 | #Constraints: 302905
321.89/322.89 c #Conflicts: 166000 | #Constraints: 303905
321.89/322.89 c #Conflicts: 167000 | #Constraints: 304905
321.89/322.89 c #Conflicts: 168000 | #Constraints: 305905
321.89/322.89 c #Conflicts: 169000 | #Constraints: 306905
321.89/322.89 c #Conflicts: 170000 | #Constraints: 307905
321.89/322.89 c #Conflicts: 171000 | #Constraints: 308905
321.89/322.89 c #Conflicts: 172000 | #Constraints: 309905
321.89/322.89 c INPROCESSING
321.89/322.89 c GARBAGE COLLECT
321.89/322.89 c #Conflicts: 173000 | #Constraints: 299958
321.89/322.89 c #Conflicts: 174000 | #Constraints: 300958
321.89/322.89 c #Conflicts: 175000 | #Constraints: 301958
321.89/322.89 c #Conflicts: 176000 | #Constraints: 302958
321.89/322.89 c #Conflicts: 177000 | #Constraints: 303958
321.89/322.89 c #Conflicts: 178000 | #Constraints: 304958
321.89/322.89 c #Conflicts: 179000 | #Constraints: 305958
321.89/322.89 c #Conflicts: 180000 | #Constraints: 306958
321.89/322.89 c #Conflicts: 181000 | #Constraints: 307958
321.89/322.89 c #Conflicts: 182000 | #Constraints: 308958
321.89/322.89 c INPROCESSING
321.89/322.89 c GARBAGE COLLECT
321.89/322.89 c #Conflicts: 183000 | #Constraints: 299894
321.89/322.89 c #Conflicts: 184000 | #Constraints: 300894
321.89/322.89 c #Conflicts: 185000 | #Constraints: 301894
321.89/322.89 c #Conflicts: 186000 | #Constraints: 302894
321.89/322.89 c #Conflicts: 187000 | #Constraints: 303894
321.89/322.89 c #Conflicts: 188000 | #Constraints: 304894
321.89/322.89 c #Conflicts: 189000 | #Constraints: 305894
321.89/322.89 c #Conflicts: 190000 | #Constraints: 306894
321.89/322.89 c #Conflicts: 191000 | #Constraints: 307894
321.89/322.89 c #Conflicts: 192000 | #Constraints: 308894
321.89/322.89 c #Conflicts: 193000 | #Constraints: 309894
321.89/322.89 c #Conflicts: 194000 | #Constraints: 310894
321.89/322.89 c #Conflicts: 195000 | #Constraints: 311894
321.89/322.89 c #Conflicts: 196000 | #Constraints: 312894
321.89/322.89 c #Conflicts: 197000 | #Constraints: 313894
321.89/322.89 c #Conflicts: 198000 | #Constraints: 314894
321.89/322.89 c #Conflicts: 199000 | #Constraints: 315894
321.89/322.89 c #Conflicts: 200000 | #Constraints: 316894
321.89/322.89 c #Conflicts: 201000 | #Constraints: 317894
321.89/322.89 c #Conflicts: 202000 | #Constraints: 318894
321.89/322.89 c #Conflicts: 203000 | #Constraints: 319894
321.89/322.89 c #Conflicts: 204000 | #Constraints: 320894
321.89/322.89 c #Conflicts: 205000 | #Constraints: 321894
321.89/322.89 c #Conflicts: 206000 | #Constraints: 322894
321.89/322.89 c cpu time 319.592 s
321.89/322.89 c deterministic time 3280411719 3.28e+09
321.89/322.89 c optimization time 0.000112 s
321.89/322.89 c total solve time 318.507 s
321.89/322.89 c core-guided solve time 0 s
321.89/322.89 c propagation time 139.054 s
321.89/322.89 c conflict analysis time 43.8484 s
321.89/322.89 c propagations 374595202
321.89/322.89 c resolve steps 10891072
321.89/322.89 c decisions 501649
321.89/322.89 c conflicts 206883
321.89/322.89 c restarts 510
321.89/322.89 c inprocessing phases 28
321.89/322.89 c garbage collections 18 ,( 64.29 )
321.89/322.89 c input clauses 295929 ,( 94.41 )
321.89/322.89 c input cardinalities 0 ,( 0.00 )
321.89/322.89 c input general constraints 17522 ,( 5.59 )
321.89/322.89 c input average constraint length 3.00
321.89/322.89 c input average constraint degree 7.15
321.89/322.89 c learned clauses 177196 ,( 85.65 )
321.89/322.89 c learned cardinalities 0 ,( 0.00 )
321.89/322.89 c learned general constraints 29686 ,( 14.35 )
321.89/322.89 c learned average constraint length 212.10
321.89/322.89 c learned average constraint degree 2428.73
321.89/322.89 c watched CF 32, 64, 128, Arb: 8875 , 0 , 0 , 0
321.89/322.89 c counting CF 32, 64, 128, Arb: 38333 , 0 , 0 , 0
321.99/322.95 c watched constraints 8875 ,( 18.80 )
321.99/322.95 c counting constraints 38333 ,( 81.20 )
321.99/322.95 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 428221915 , 0 , 48256478 ,( 13762621 , 34493857 )
321.99/322.95 c gcd simplifications 5618
321.99/322.95 c detected cardinalities 0
321.99/322.95 c weakened non-implied lits 487026
321.99/322.95 c weakened non-implying lits 6769
321.99/322.95 c original variables 109757
321.99/322.95 c clausal propagations 371050543
321.99/322.95 c cardinality propagations 0
321.99/322.95 c watched propagations 6348
321.99/322.95 c counting propagations 3330960
321.99/322.95 c watch lookups 1008722102
321.99/322.95 c watch backjump lookups 0
321.99/322.95 c watch checks 944203274
321.99/322.95 c propagation checks 441146246
321.99/322.95 c constraint additions 135923638
321.99/322.95 c trail pops 375256607
321.99/322.95 c formula constraints 313451
321.99/322.95 c learned constraints 206882
321.99/322.95 c bound constraints 0
321.99/322.95 c core-guided constraints 0
321.99/322.95 c encountered formula constraints 9810815
321.99/322.95 c encountered learned constraints 1287140
321.99/322.95 c encountered bound constraints 0
321.99/322.95 c encountered core-guided constraints 0
321.99/322.95 c LP total time 126.186 s
321.99/322.95 c LP solve time 125.95 s
321.99/322.95 c LP constraints added 313451
321.99/322.95 c LP constraints removed 0
321.99/322.95 c LP pivots internal 42000
321.99/322.95 c LP pivots root 21000
321.99/322.95 c LP calls 6
321.99/322.95 c LP optimalities 0
321.99/322.95 c LP no pivot count 0
321.99/322.95 c LP infeasibilities 0
321.99/322.95 c LP valid Farkas constraints 0
321.99/322.95 c LP learned Farkas constraints 0
321.99/322.95 c LP basis resets 0
321.99/322.95 c LP cycling count 0
321.99/322.95 c LP singular count 0
321.99/322.95 c LP no primal count 0
321.99/322.95 c LP no farkas count 0
321.99/322.95 c LP other issue count 0
321.99/322.95 c LP Gomory cuts 0
321.99/322.95 c LP learned cuts 0
321.99/322.95 c LP deleted cuts 0
321.99/322.95 c LP encountered Gomory constraints 0
321.99/322.95 c LP encountered Farkas constraints 0
321.99/322.95 c LP encountered learned Farkas constraints 0
321.99/322.95 c CG auxiliary variables introduced 0
321.99/322.95 c CG solutions found 0
321.99/322.95 c CG cores constructed 0
321.99/322.95 c CG core cardinality constraints returned 0
321.99/322.95 c CG unit cores 0
321.99/322.95 c CG single cores 0
321.99/322.95 c CG blocks removed during cardinality reduction 0
321.99/322.95 c CG first core best 0
321.99/322.95 c CG decision core best 0
321.99/322.95 c CG core reduction tie 0
321.99/322.95 c CG core degree average 0.00
321.99/322.95 c CG core slack average 0.00
321.99/322.95 c CG core upper bound improvements 0
321.99/322.95 c STR number of successful calls 0
321.99/322.95 c STR number of unsuccessful calls 0
321.99/322.95 c STR number of inconclusive calls 0
321.99/322.95 c STR number of successful attempts 0
321.99/322.95 c STR number of unsuccessful attempts 0
321.99/322.95 c STR number of inconclusive attempts 0
321.99/322.95 c STR average degree increase per successful call inf
321.99/322.95 c STR average degree increase per successful attempt inf
321.99/322.95 c STR total number of conflicts for successful attempts 0
321.99/322.95 c STR total number of conflicts for unsuccessful attempts 0
321.99/322.95 c STR total number of conflicts for inconclusive attempts 0
321.99/322.95 c STR average number of conflicts per successful attempt inf
321.99/322.95 c STR average number of conflicts per unsuccessful attempt inf
321.99/322.95 c STR average number of conflicts per inconclusive attempt inf
321.99/322.95 c AVG.sumWPerc 71.47
321.99/322.95 c bigint constraints 0
321.99/322.95 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: 63708 MiB (61980 MiB free)
memory of node 1: 64465 MiB (63660 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491684-1751142409/watcher-4491684-1751142409 -o /tmp/evaluation-result-4491684-1751142409/solver-4491684-1751142409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751142403-13595 --watchdog 3760 run-dec-break.sh HOME/instance-4491684-1751142409.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13845, runsolver pid=13842
[startup+0.100065 s]*
/proc/loadavg: 1.31 1.65 2.62 5/268 13847
/proc/meminfo: memFree=128606868/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13847] ppid=13845 vsize=98992 memory=88964 CPUtime=0.09 cores=1,3
/proc/13847/stat : 13847 (pbsuma) R 13845 13845 11416 0 -1 4194304 5889 0 0 0 7 2 0 0 20 0 1 0 29919366 101367808 22241 18446744073709551615 4210688 4653049 140728640542352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 8839168 140728640547171 140728640547378 140728640547378 140728640552943 0
/proc/13847/statm: 24748 22241 960 108 0 22156 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 103184 KiB
Current children cumulated memory: 91908 KiB
[startup+0.20567 s]*
/proc/loadavg: 1.31 1.65 2.62 5/268 13847
/proc/meminfo: memFree=128574232/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13847] ppid=13845 vsize=146464 memory=128404 CPUtime=0.19 cores=1,3
/proc/13847/stat : 13847 (pbsuma) R 13845 13845 11416 0 -1 4194304 13887 0 0 0 16 3 0 0 20 0 1 0 29919366 149979136 32101 18446744073709551615 4210688 4653049 140728640542352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 8839168 140728640547171 140728640547378 140728640547378 140728640552943 0
/proc/13847/statm: 36616 32101 992 108 0 34024 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 150656 KiB
Current children cumulated memory: 131348 KiB
[startup+0.305636 s]*
/proc/loadavg: 1.31 1.65 2.62 5/268 13847
/proc/meminfo: memFree=128497172/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13847] ppid=13845 vsize=250992 memory=199444 CPUtime=0.29 cores=1,3
/proc/13847/stat : 13847 (pbsuma) R 13845 13845 11416 0 -1 4194304 22437 0 0 0 24 5 0 0 20 0 1 0 29919366 257015808 49861 18446744073709551615 4210688 4653049 140728640542352 0 0 0 0 0 0 0 0 0 17 1 0 0 0 0 0 4700520 4703148 8839168 140728640547171 140728640547378 140728640547378 140728640552943 0
/proc/13847/statm: 62748 49861 992 108 0 60156 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 255184 KiB
Current children cumulated memory: 202388 KiB
[startup+0.70019 s]
/proc/loadavg: 1.31 1.65 2.62 5/268 13847
/proc/meminfo: memFree=128441660/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/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.50018 s]
/proc/loadavg: 1.31 1.65 2.62 5/263 13856
/proc/meminfo: memFree=128686248/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=218968 memory=167124 CPUtime=0.9 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 36599 0 0 0 65 25 0 0 20 0 1 0 29919424 224223232 41781 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 54742 41781 2240 1147 0 42169 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 223160 KiB
Current children cumulated memory: 170068 KiB
[startup+3.10543 s]
/proc/loadavg: 1.53 1.69 2.63 5/268 13895
/proc/meminfo: memFree=128267696/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=641476 memory=483580 CPUtime=2.5 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 59561 0 0 0 213 37 0 0 20 0 1 0 29919424 656871424 120895 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 160369 120895 2272 1147 0 147796 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 645668 KiB
Current children cumulated memory: 486524 KiB
[startup+6.30018 s]
/proc/loadavg: 1.53 1.69 2.63 5/268 13895
/proc/meminfo: memFree=128251836/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=659812 memory=497296 CPUtime=5.69 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 60971 0 0 0 531 38 0 0 20 0 1 0 29919424 675647488 124324 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 164953 124324 2336 1147 0 152380 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 664004 KiB
Current children cumulated memory: 500240 KiB
[startup+12.7002 s]
/proc/loadavg: 1.98 1.78 2.65 5/268 13895
/proc/meminfo: memFree=128242580/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=659812 memory=498064 CPUtime=12.07 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 61161 0 0 0 1166 41 0 0 20 0 1 0 29919424 675647488 124516 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 164953 124516 2368 1147 0 152380 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 664004 KiB
Current children cumulated memory: 501008 KiB
[startup+25.5002 s]
/proc/loadavg: 2.29 1.85 2.66 5/268 13942
/proc/meminfo: memFree=128392368/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=659812 memory=499600 CPUtime=24.83 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 61555 0 0 0 2438 45 0 0 20 0 1 0 29919424 675647488 124900 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 164953 124900 2368 1147 0 152380 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 664004 KiB
Current children cumulated memory: 502544 KiB
[startup+51.1054 s]
/proc/loadavg: 2.88 2.03 2.70 5/268 13943
/proc/meminfo: memFree=128321648/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=693708 memory=522304 CPUtime=50.37 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 65761 0 0 0 4980 57 0 0 20 0 1 0 29919424 710356992 130576 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 173427 130576 2368 1147 0 160854 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 697900 KiB
Current children cumulated memory: 525248 KiB
[startup+102.3 s]
/proc/loadavg: 3.66 2.39 2.79 5/268 13944
/proc/meminfo: memFree=128306264/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=717048 memory=550856 CPUtime=101.42 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 70895 0 0 0 10057 85 0 0 20 0 1 0 29919424 734257152 137714 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 179262 137714 2368 1147 0 166689 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 721240 KiB
Current children cumulated memory: 553800 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.70 2.87 5/269 13947
/proc/meminfo: memFree=128236160/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=747488 memory=569864 CPUtime=161.26 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 73667 0 0 0 16012 114 0 0 20 0 1 0 29919424 765427712 142466 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 186872 142466 2368 1147 0 174299 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 751680 KiB
Current children cumulated memory: 572808 KiB
[startup+222.3 s]
/proc/loadavg: 4.06 2.96 2.95 5/268 13949
/proc/meminfo: memFree=128219852/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=755676 memory=579376 CPUtime=221.1 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 75575 0 0 0 21975 135 0 0 20 0 1 0 29919424 773812224 144844 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 188919 144844 2368 1147 0 176346 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 759868 KiB
Current children cumulated memory: 582320 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 3.17 3.02 5/268 14281
/proc/meminfo: memFree=128423956/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=755676 memory=591752 CPUtime=280.94 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 75596 0 0 0 27934 160 0 0 20 0 1 0 29919424 773812224 147938 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 188919 147938 2368 1147 0 176346 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 759868 KiB
Current children cumulated memory: 594696 KiB
[startup+322.963 s]
# the end of solver process 13845 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=320.131 s, system=1.94743 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+307.2 s]
/proc/loadavg: 4.12 3.25 3.06 5/268 14282
/proc/meminfo: memFree=128369476/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=755676 memory=591752 CPUtime=305.77 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 75614 0 0 0 30404 173 0 0 20 0 1 0 29919424 773812224 147938 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 188919 147938 2368 1147 0 176346 0
Current children cumulated CPU time: 306.33 s
Current children cumulated vsize: 759868 KiB
Current children cumulated memory: 594696 KiB
[startup+313.6 s]
/proc/loadavg: 4.19 3.28 3.07 5/268 14283
/proc/meminfo: memFree=128366424/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=755676 memory=591752 CPUtime=312.16 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 75615 0 0 0 31040 176 0 0 20 0 1 0 29919424 773812224 147938 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 188919 147938 2368 1147 0 176346 0
Current children cumulated CPU time: 312.72 s
Current children cumulated vsize: 759868 KiB
Current children cumulated memory: 594696 KiB
[startup+316.8 s]
/proc/loadavg: 4.19 3.28 3.07 5/268 14283
/proc/meminfo: memFree=128366680/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=755676 memory=591752 CPUtime=315.34 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 75619 0 0 0 31356 178 0 0 20 0 1 0 29919424 773812224 147938 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 188919 147938 2368 1147 0 176346 0
Current children cumulated CPU time: 315.9 s
Current children cumulated vsize: 759868 KiB
Current children cumulated memory: 594696 KiB
[startup+320 s]*
/proc/loadavg: 4.17 3.29 3.07 5/268 14283
/proc/meminfo: memFree=128349276/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=755676 memory=595208 CPUtime=318.54 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 75991 0 0 0 31673 181 0 0 20 0 1 0 29919424 773812224 148802 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 188919 148802 2368 1147 0 176346 0
Current children cumulated CPU time: 319.1 s
Current children cumulated vsize: 759868 KiB
Current children cumulated memory: 598152 KiB
[startup+321.6 s]
/proc/loadavg: 4.17 3.29 3.07 5/268 14283
/proc/meminfo: memFree=128345180/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=786496 memory=598164 CPUtime=320.14 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 76210 0 0 0 31831 183 0 0 20 0 1 0 29919424 805371904 149541 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 196624 149541 2368 1147 0 184051 0
Current children cumulated CPU time: 320.7 s
Current children cumulated vsize: 790688 KiB
Current children cumulated memory: 601108 KiB
[startup+322.4 s]
/proc/loadavg: 4.16 3.30 3.08 5/268 14283
/proc/meminfo: memFree=128345180/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=786496 memory=598164 CPUtime=320.94 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 76210 0 0 0 31910 184 0 0 20 0 1 0 29919424 805371904 149541 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 196624 149541 2368 1147 0 184051 0
Current children cumulated CPU time: 321.5 s
Current children cumulated vsize: 790688 KiB
Current children cumulated memory: 601108 KiB
[startup+322.8 s]
/proc/loadavg: 4.16 3.30 3.08 5/268 14283
/proc/meminfo: memFree=128345180/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=786496 memory=598164 CPUtime=321.33 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 76210 0 0 0 31949 184 0 0 20 0 1 0 29919424 805371904 149541 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 196624 149541 2368 1147 0 184051 0
Current children cumulated CPU time: 321.89 s
Current children cumulated vsize: 790688 KiB
Current children cumulated memory: 601108 KiB
[startup+322.9 s]
/proc/loadavg: 4.16 3.30 3.08 5/268 14283
/proc/meminfo: memFree=128345180/131249996 swapFree=33010684/33010684
[pid=13845] ppid=13842 vsize=4192 memory=2944 CPUtime=0.56 cores=1,3
/proc/13845/stat : 13845 (run-dec-break.s) S 13842 13845 11416 0 -1 4194304 237 30664 0 0 0 0 48 8 20 0 1 0 29919365 4292608 736 18446744073709551615 93938375417856 93938376312389 140731783259744 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 93938376551440 93938376599184 93938407878656 140731783264609 140731783264738 140731783264738 140731783270340 0
/proc/13845/statm: 1048 736 672 219 0 110 0
[pid=13848] ppid=13845 vsize=780892 memory=594240 CPUtime=321.43 cores=1,3
/proc/13848/stat : 13848 (roundingsat) R 13845 13845 11416 0 -1 4194304 76211 0 0 0 31959 184 0 0 20 0 1 0 29919424 799633408 148560 18446744073709551615 4227072 8923433 140731387983008 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 14098432 140731387988292 140731387988520 140731387988520 140731387994090 0
/proc/13848/statm: 195223 148560 2368 1147 0 182650 0
Current children cumulated CPU time: 321.99 s
Current children cumulated vsize: 785084 KiB
Current children cumulated memory: 597184 KiB
Child status: 0
Real time (s): 322.963
CPU time (s): 322.078
CPU user time (s): 320.131
CPU system time (s): 1.94743
CPU usage (%): 99.726
Max. virtual memory (cumulated for all children) (KiB): 790688
Max. memory (cumulated for all children) (KiB): 601108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 320.131
system time used= 1.94743
maximum resident set size= 598164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 374
# summary of solver processes directly reported to runsolver:
# pid: 13845
# total CPU time (s): 322.078
# total CPU user time (s): 320.131
# total CPU system time (s): 1.94743
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.594026 second user time and 1.46892 second system time
The end
Begin job on nodeC029 at 2025-06-28 22:26:49
IDJOB=4491684
IDBENCH=147732
IDSOLVER=3357
FILE ID=nodeC029/4491684-1751142409
RUNJOBID= nodeC029-1751142403-13595
SLURM_JOB_ID= 9587429
Free space on /tmp= 432968 MiB
SOLVER NAME= roundingsat+pbsuma 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4491684-1751142409/watcher-4491684-1751142409 -o /tmp/evaluation-result-4491684-1751142409/solver-4491684-1751142409 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751142403-13595 --watchdog 3760 run-dec-break.sh HOME/instance-4491684-1751142409.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 62e5546fe4d774fb864c3bf961c813a7
RANDOM SEED=1768654165
nodeC029 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.728
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.46
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.739
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.159
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.46
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 : 3580.773
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.46
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.798
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.46
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.701
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.46
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 : 3644.893
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.46
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 : 3599.646
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.46
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128655948 kB
MemAvailable: 128333424 kB
Buffers: 3280 kB
Cached: 489136 kB
SwapCached: 0 kB
Active: 1608768 kB
Inactive: 270352 kB
Active(anon): 1404768 kB
Inactive(anon): 0 kB
Active(file): 204000 kB
Inactive(file): 270352 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 101244 kB
Writeback: 0 kB
AnonPages: 1389836 kB
Mapped: 115632 kB
Shmem: 18060 kB
KReclaimable: 84724 kB
Slab: 167532 kB
SReclaimable: 84724 kB
SUnreclaim: 82808 kB
KernelStack: 4368 kB
PageTables: 6176 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 1846912 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150552 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 741376 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: 193236 kB
DirectMap2M: 11112448 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432968 MiB
End job on nodeC029 at 2025-06-28 22:32:12