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-4515098-1751221242.opb'
0.00/0.02 c read 0.87MB (14.48ms)
0.00/0.02 c [cnf: #variables 12675 #clauses 11891 #duplicates 0 #arr 84479]
0.00/0.02 c
0.00/0.02 c make graph and approximate orbits
0.00/0.04 c [group: #orbits ~= 3536] (16.57ms)
0.00/0.04 c
0.00/0.04 c detect special group actions
0.00/0.04 c probe for Johnson action (limit=64)
0.00/0.04 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04 c recursing 18 blocks of candidate 3x154r
0.00/0.05 c found row 3x154, generating row predicate
0.00/0.05 c (9.02ms)
0.00/0.05 c
0.00/0.05 c detect symmetries on remainder
0.00/0.05 c [graph: #vertices 62559 #edges 244944]
0.00/0.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.06 c [group: #symmetries 1.42*10^1017 #generators 2572] (14.60ms)
0.00/0.06 c
0.00/0.06 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.06 c ran it=0, +gens=6
0.08/0.18 c con best_support=4, best_gens=2042, +gens=56
0.08/0.18 c (120.92ms)
0.08/0.18 c
0.08/0.18 c finalize break order and special generators
0.08/0.18 c
0.08/0.18 c add generic predicates (break_depth=10)
0.08/0.18 c added predicates for 2634 generators (0.78ms)
0.08/0.18 c
0.08/0.18 c generation finished
0.08/0.18 c [sbp: #constraints 14711 #add_vars 4025]
0.08/0.18 c
0.08/0.18 c write result to 'HOME/instance-4515098-1751221242.opb.pre'
0.08/0.19 c wrote 1.41MB (3.22ms)
0.08/0.19 c ------------------------------------------------------------------
0.08/0.19 c 120.92ms 66.65% optimize_gens
0.08/0.19 c 16.57ms 9.13% approx_orbits
0.08/0.19 c 14.60ms 8.05% detect_generic
0.08/0.19 c 14.48ms 7.98% parse
0.08/0.19 c 9.02ms 4.97% detect_special
0.08/0.19 c 3.22ms 1.78% output
0.08/0.19 c 1.13ms 0.62% other
0.08/0.19 c 0.78ms 0.43% break_generic
0.08/0.19 c 0.70ms 0.39% finalize_order
0.08/0.19 c ───────────────────────────────────────────────
0.08/0.19 c 181.43ms 100% total
0.08/0.19 c ------------------------------------------------------------------
0.08/0.20 c RoundingSat 2
0.08/0.20 c branch pb25
0.08/0.20 c commit 63f22ad
0.26/0.34 c #variables 16700 #constraints 26602
1234.90/1238.34 c #Conflicts: 1000 | #Constraints: 27601
1234.90/1238.34 c #Conflicts: 2000 | #Constraints: 28601
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 3000 | #Constraints: 25866
1234.90/1238.34 c #Conflicts: 4000 | #Constraints: 26866
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 5000 | #Constraints: 25256
1234.90/1238.34 c #Conflicts: 6000 | #Constraints: 26256
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 7000 | #Constraints: 23911
1234.90/1238.34 c #Conflicts: 8000 | #Constraints: 24911
1234.90/1238.34 c #Conflicts: 9000 | #Constraints: 25911
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 10000 | #Constraints: 24176
1234.90/1238.34 c #Conflicts: 11000 | #Constraints: 25176
1234.90/1238.34 c #Conflicts: 12000 | #Constraints: 26176
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 13000 | #Constraints: 24457
1234.90/1238.34 c #Conflicts: 14000 | #Constraints: 25457
1234.90/1238.34 c #Conflicts: 15000 | #Constraints: 26457
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 16000 | #Constraints: 24181
1234.90/1238.34 c #Conflicts: 17000 | #Constraints: 25181
1234.90/1238.34 c #Conflicts: 18000 | #Constraints: 26181
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 19000 | #Constraints: 24147
1234.90/1238.34 c #Conflicts: 20000 | #Constraints: 25147
1234.90/1238.34 c #Conflicts: 21000 | #Constraints: 26148
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 22000 | #Constraints: 23472
1234.90/1238.34 c #Conflicts: 23000 | #Constraints: 24472
1234.90/1238.34 c #Conflicts: 24000 | #Constraints: 25472
1234.90/1238.34 c #Conflicts: 25000 | #Constraints: 26472
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 26000 | #Constraints: 23834
1234.90/1238.34 c #Conflicts: 27000 | #Constraints: 24834
1234.90/1238.34 c #Conflicts: 28000 | #Constraints: 25834
1234.90/1238.34 c #Conflicts: 29000 | #Constraints: 26834
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 30000 | #Constraints: 24145
1234.90/1238.34 c #Conflicts: 31000 | #Constraints: 25145
1234.90/1238.34 c #Conflicts: 32000 | #Constraints: 26145
1234.90/1238.34 c #Conflicts: 33000 | #Constraints: 27145
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 34000 | #Constraints: 24090
1234.90/1238.34 c #Conflicts: 35000 | #Constraints: 25090
1234.90/1238.34 c #Conflicts: 36000 | #Constraints: 26090
1234.90/1238.34 c #Conflicts: 37000 | #Constraints: 27091
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 38000 | #Constraints: 24033
1234.90/1238.34 c #Conflicts: 39000 | #Constraints: 25033
1234.90/1238.34 c #Conflicts: 40000 | #Constraints: 26033
1234.90/1238.34 c #Conflicts: 41000 | #Constraints: 27033
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 42000 | #Constraints: 23784
1234.90/1238.34 c #Conflicts: 43000 | #Constraints: 24784
1234.90/1238.34 c #Conflicts: 44000 | #Constraints: 25784
1234.90/1238.34 c #Conflicts: 45000 | #Constraints: 26784
1234.90/1238.34 c #Conflicts: 46000 | #Constraints: 27784
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 47000 | #Constraints: 24350
1234.90/1238.34 c #Conflicts: 48000 | #Constraints: 25350
1234.90/1238.34 c #Conflicts: 49000 | #Constraints: 26350
1234.90/1238.34 c #Conflicts: 50000 | #Constraints: 27350
1234.90/1238.34 c #Conflicts: 51000 | #Constraints: 28350
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 52000 | #Constraints: 24669
1234.90/1238.34 c #Conflicts: 53000 | #Constraints: 25669
1234.90/1238.34 c #Conflicts: 54000 | #Constraints: 26669
1234.90/1238.34 c #Conflicts: 55000 | #Constraints: 27669
1234.90/1238.34 c #Conflicts: 56000 | #Constraints: 28669
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 57000 | #Constraints: 24795
1234.90/1238.34 c #Conflicts: 58000 | #Constraints: 25795
1234.90/1238.34 c #Conflicts: 59000 | #Constraints: 26795
1234.90/1238.34 c #Conflicts: 60000 | #Constraints: 27795
1234.90/1238.34 c #Conflicts: 61000 | #Constraints: 28795
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 62000 | #Constraints: 24679
1234.90/1238.34 c #Conflicts: 63000 | #Constraints: 25679
1234.90/1238.34 c #Conflicts: 64000 | #Constraints: 26679
1234.90/1238.34 c #Conflicts: 65000 | #Constraints: 27679
1234.90/1238.34 c #Conflicts: 66000 | #Constraints: 28679
1234.90/1238.34 c INPROCESSING
1234.90/1238.34 c GARBAGE COLLECT
1234.90/1238.34 c #Conflicts: 67000 | #Constraints: 24434
1234.90/1238.34 c #Conflicts: 68000 | #Constraints: 25434
2220.69/2226.88 c #Conflicts: 69000 | #Constraints: 26434
2220.69/2226.88 c #Conflicts: 70000 | #Constraints: 27434
2220.69/2226.88 c #Conflicts: 71000 | #Constraints: 28434
2220.69/2226.88 c #Conflicts: 72000 | #Constraints: 29434
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 73000 | #Constraints: 24974
2220.69/2226.88 c #Conflicts: 74000 | #Constraints: 25974
2220.69/2226.88 c #Conflicts: 75000 | #Constraints: 26974
2220.69/2226.88 c #Conflicts: 76000 | #Constraints: 27975
2220.69/2226.88 c #Conflicts: 77000 | #Constraints: 28975
2220.69/2226.88 c #Conflicts: 78000 | #Constraints: 29975
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 79000 | #Constraints: 25332
2220.69/2226.88 c #Conflicts: 80000 | #Constraints: 26332
2220.69/2226.88 c #Conflicts: 81000 | #Constraints: 27332
2220.69/2226.88 c #Conflicts: 82000 | #Constraints: 28332
2220.69/2226.88 c #Conflicts: 83000 | #Constraints: 29332
2220.69/2226.88 c #Conflicts: 84000 | #Constraints: 30332
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 85000 | #Constraints: 25476
2220.69/2226.88 c #Conflicts: 86000 | #Constraints: 26476
2220.69/2226.88 c #Conflicts: 87000 | #Constraints: 27476
2220.69/2226.88 c #Conflicts: 88000 | #Constraints: 28476
2220.69/2226.88 c #Conflicts: 89000 | #Constraints: 29476
2220.69/2226.88 c #Conflicts: 90000 | #Constraints: 30476
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 91000 | #Constraints: 25109
2220.69/2226.88 c #Conflicts: 92000 | #Constraints: 26109
2220.69/2226.88 c #Conflicts: 93000 | #Constraints: 27109
2220.69/2226.88 c #Conflicts: 94000 | #Constraints: 28110
2220.69/2226.88 c #Conflicts: 95000 | #Constraints: 29110
2220.69/2226.88 c #Conflicts: 96000 | #Constraints: 30110
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 97000 | #Constraints: 24572
2220.69/2226.88 c #Conflicts: 98000 | #Constraints: 25572
2220.69/2226.88 c #Conflicts: 99000 | #Constraints: 26572
2220.69/2226.88 c #Conflicts: 100000 | #Constraints: 27572
2220.69/2226.88 c #Conflicts: 101000 | #Constraints: 28573
2220.69/2226.88 c #Conflicts: 102000 | #Constraints: 29573
2220.69/2226.88 c #Conflicts: 103000 | #Constraints: 30574
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 104000 | #Constraints: 24152
2220.69/2226.88 c #Conflicts: 105000 | #Constraints: 25153
2220.69/2226.88 c #Conflicts: 106000 | #Constraints: 26153
2220.69/2226.88 c #Conflicts: 107000 | #Constraints: 27153
2220.69/2226.88 c #Conflicts: 108000 | #Constraints: 28153
2220.69/2226.88 c #Conflicts: 109000 | #Constraints: 29154
2220.69/2226.88 c #Conflicts: 110000 | #Constraints: 30155
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 111000 | #Constraints: 24506
2220.69/2226.88 c #Conflicts: 112000 | #Constraints: 25506
2220.69/2226.88 c #Conflicts: 113000 | #Constraints: 26506
2220.69/2226.88 c #Conflicts: 114000 | #Constraints: 27506
2220.69/2226.88 c #Conflicts: 115000 | #Constraints: 28506
2220.69/2226.88 c #Conflicts: 116000 | #Constraints: 29506
2220.69/2226.88 c #Conflicts: 117000 | #Constraints: 30506
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 118000 | #Constraints: 24682
2220.69/2226.88 c #Conflicts: 119000 | #Constraints: 25682
2220.69/2226.88 c #Conflicts: 120000 | #Constraints: 26682
2220.69/2226.88 c #Conflicts: 121000 | #Constraints: 27682
2220.69/2226.88 c #Conflicts: 122000 | #Constraints: 28682
2220.69/2226.88 c #Conflicts: 123000 | #Constraints: 29682
2220.69/2226.88 c #Conflicts: 124000 | #Constraints: 30682
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c #Conflicts: 125000 | #Constraints: 24669
2220.69/2226.88 c #Conflicts: 126000 | #Constraints: 25669
2220.69/2226.88 c #Conflicts: 127000 | #Constraints: 26669
2220.69/2226.88 c #Conflicts: 128000 | #Constraints: 27669
2220.69/2226.88 c #Conflicts: 129000 | #Constraints: 28669
2220.69/2226.88 c #Conflicts: 130000 | #Constraints: 29669
2220.69/2226.88 c #Conflicts: 131000 | #Constraints: 30670
2220.69/2226.88 c INPROCESSING
2220.69/2226.88 c GARBAGE COLLECT
2220.69/2226.88 c rational objective 3138.98
3460.64/3470.29 c #Conflicts: 132000 | #Constraints: 24402
3460.64/3470.29 c #Conflicts: 133000 | #Constraints: 25402
3460.64/3470.29 c #Conflicts: 134000 | #Constraints: 26402
3460.64/3470.29 c #Conflicts: 135000 | #Constraints: 27403
3460.64/3470.29 c #Conflicts: 136000 | #Constraints: 28403
3460.64/3470.29 c #Conflicts: 137000 | #Constraints: 29403
3460.64/3470.29 c #Conflicts: 138000 | #Constraints: 30403
3460.64/3470.29 c #Conflicts: 139000 | #Constraints: 31403
3460.64/3470.29 c INPROCESSING
3460.64/3470.29 c GARBAGE COLLECT
3460.64/3470.29 c #Conflicts: 140000 | #Constraints: 23745
3460.64/3470.29 c #Conflicts: 141000 | #Constraints: 24745
3460.64/3470.29 c #Conflicts: 142000 | #Constraints: 25746
3460.64/3470.29 c #Conflicts: 143000 | #Constraints: 26746
3460.64/3470.29 c #Conflicts: 144000 | #Constraints: 27746
3460.64/3470.29 c #Conflicts: 145000 | #Constraints: 28746
3460.64/3470.29 c #Conflicts: 146000 | #Constraints: 29746
3460.64/3470.29 c #Conflicts: 147000 | #Constraints: 30746
3460.64/3470.29 c INPROCESSING
3460.64/3470.29 c GARBAGE COLLECT
3460.64/3470.29 c #Conflicts: 148000 | #Constraints: 24129
3460.64/3470.29 c #Conflicts: 149000 | #Constraints: 25129
3460.64/3470.29 c #Conflicts: 150000 | #Constraints: 26130
3460.64/3470.29 c #Conflicts: 151000 | #Constraints: 27130
3460.64/3470.29 c #Conflicts: 152000 | #Constraints: 28130
3460.64/3470.29 c #Conflicts: 153000 | #Constraints: 29130
3460.64/3470.29 c #Conflicts: 154000 | #Constraints: 30130
3460.64/3470.29 c #Conflicts: 155000 | #Constraints: 31130
3460.64/3470.29 c INPROCESSING
3460.64/3470.29 c GARBAGE COLLECT
3460.64/3470.29 c #Conflicts: 156000 | #Constraints: 24299
3460.64/3470.29 c #Conflicts: 157000 | #Constraints: 25299
3460.64/3470.29 c #Conflicts: 158000 | #Constraints: 26300
3460.64/3470.29 c #Conflicts: 159000 | #Constraints: 27300
3460.64/3470.29 c #Conflicts: 160000 | #Constraints: 28300
3460.64/3470.29 c #Conflicts: 161000 | #Constraints: 29300
3460.64/3470.29 c #Conflicts: 162000 | #Constraints: 30300
3460.64/3470.29 c #Conflicts: 163000 | #Constraints: 31300
3460.64/3470.29 c INPROCESSING
3460.64/3470.29 c GARBAGE COLLECT
3460.64/3470.29 c #Conflicts: 164000 | #Constraints: 24275
3460.64/3470.29 c #Conflicts: 165000 | #Constraints: 25275
3460.64/3470.29 c #Conflicts: 166000 | #Constraints: 26275
3460.64/3470.29 c #Conflicts: 167000 | #Constraints: 27275
3460.64/3470.29 c #Conflicts: 168000 | #Constraints: 28275
3460.64/3470.29 c #Conflicts: 169000 | #Constraints: 29275
3460.64/3470.29 c #Conflicts: 170000 | #Constraints: 30275
3460.64/3470.29 c #Conflicts: 171000 | #Constraints: 31275
3460.64/3470.29 c INPROCESSING
3460.64/3470.29 c GARBAGE COLLECT
3460.64/3470.29 c #Conflicts: 172000 | #Constraints: 23717
3460.64/3470.29 c #Conflicts: 173000 | #Constraints: 24717
3460.64/3470.29 c #Conflicts: 174000 | #Constraints: 25717
3460.64/3470.29 c #Conflicts: 175000 | #Constraints: 26718
3460.64/3470.29 c #Conflicts: 176000 | #Constraints: 27718
3460.64/3470.29 c #Conflicts: 177000 | #Constraints: 28718
3460.64/3470.29 c #Conflicts: 178000 | #Constraints: 29718
3460.64/3470.29 c #Conflicts: 179000 | #Constraints: 30718
3460.64/3470.29 c #Conflicts: 180000 | #Constraints: 31719
3460.64/3470.29 c INPROCESSING
3460.64/3470.29 c GARBAGE COLLECT
3460.64/3470.29 c #Conflicts: 181000 | #Constraints: 24245
3460.64/3470.29 c #Conflicts: 182000 | #Constraints: 25245
3460.64/3470.29 c #Conflicts: 183000 | #Constraints: 26245
3460.64/3470.29 c #Conflicts: 184000 | #Constraints: 27245
3460.64/3470.29 c #Conflicts: 185000 | #Constraints: 28245
3460.64/3470.29 c #Conflicts: 186000 | #Constraints: 29246
3460.64/3470.29 c #Conflicts: 187000 | #Constraints: 30246
3460.64/3470.29 c #Conflicts: 188000 | #Constraints: 31246
3460.64/3470.29 c #Conflicts: 189000 | #Constraints: 32246
3460.64/3470.29 c INPROCESSING
3460.64/3470.29 c GARBAGE COLLECT
3460.64/3470.29 c #Conflicts: 190000 | #Constraints: 24633
3460.64/3470.29 c #Conflicts: 191000 | #Constraints: 25633
3460.64/3470.29 c #Conflicts: 192000 | #Constraints: 26633
3460.64/3470.29 c #Conflicts: 193000 | #Constraints: 27633
3460.64/3470.29 c #Conflicts: 194000 | #Constraints: 28633
3460.64/3470.29 c #Conflicts: 195000 | #Constraints: 29633
3460.64/3470.29 c #Conflicts: 196000 | #Constraints: 30633
3460.64/3470.29 c #Conflicts: 197000 | #Constraints: 31633
3460.64/3470.29 c #Conflicts: 198000 | #Constraints: 32633
3460.64/3470.29 c INPROCESSING
3460.64/3470.29 c GARBAGE COLLECT
3460.64/3470.29 c #Conflicts: 199000 | #Constraints: 24842
3460.64/3470.29 c #Conflicts: 200000 | #Constraints: 25842
3460.64/3470.29 c #Conflicts: 201000 | #Constraints: 26842
3460.64/3470.29 c #Conflicts: 202000 | #Constraints: 27842
3460.64/3470.29 c #Conflicts: 203000 | #Constraints: 28842
3460.64/3470.29 c #Conflicts: 204000 | #Constraints: 29843
3460.64/3470.29 c #Conflicts: 205000 | #Constraints: 30844
3600.04/3610.00 c #Conflicts: 206000 | #Constraints: 31844
3600.04/3610.00 c #Conflicts: 207000 | #Constraints: 32844
3600.04/3610.00 c INPROCESSING
3600.04/3610.00 c GARBAGE COLLECT
3600.04/3610.00 c #Conflicts: 208000 | #Constraints: 24845
3600.04/3610.00 c #Conflicts: 209000 | #Constraints: 25845
3600.04/3610.00 c #Conflicts: 210000 | #Constraints: 26846
3600.04/3610.00 c #Conflicts: 211000 | #Constraints: 27846
3600.04/3610.00 c #Conflicts: 212000 | #Constraints: 28846
3600.04/3610.00 c #Conflicts: 213000 | #Constraints: 29846
3600.04/3610.00 c #Conflicts: 214000 | #Constraints: 30846
3600.04/3610.00 c #Conflicts: 215000 | #Constraints: 31846
3600.04/3610.00 c cpu time 3591.36 s
3600.04/3610.00 c deterministic time 484828267062 4.85e+11
3600.04/3610.00 c optimization time 110.298 s
3600.04/3610.00 c total solve time 3480.96 s
3600.04/3610.00 c core-guided solve time 0 s
3600.04/3610.00 c propagation time 1838.01 s
3600.04/3610.00 c conflict analysis time 665.903 s
3600.04/3610.00 c propagations 123423287
3600.04/3610.00 c resolve steps 4279873
3600.04/3610.00 c decisions 8215810
3600.04/3610.00 c conflicts 215886
3600.04/3610.00 c restarts 510
3600.04/3610.00 c inprocessing phases 37
3600.04/3610.00 c garbage collections 37 ,( 100.00 )
3600.04/3610.00 c input clauses 26477 ,( 99.53 )
3600.04/3610.00 c input cardinalities 124 ,( 0.47 )
3600.04/3610.00 c input general constraints 1 ,( 0.00 )
3600.04/3610.00 c input average constraint length 4.70
3600.04/3610.00 c input average constraint degree 51.15
3600.04/3610.00 c learned clauses 17067 ,( 7.90 )
3600.04/3610.00 c learned cardinalities 1165 ,( 0.54 )
3600.04/3610.00 c learned general constraints 197686 ,( 91.56 )
3600.04/3610.00 c learned average constraint length 5900.15
3600.04/3610.00 c learned average constraint degree 44957420784.56
3600.04/3610.00 c watched CF 32, 64, 128, Arb: 93938 , 0 , 0 , 0
3600.04/3610.00 c counting CF 32, 64, 128, Arb: 103749 , 0 , 0 , 0
3600.04/3610.00 c watched constraints 93938 ,( 47.52 )
3600.04/3610.00 c counting constraints 103749 ,( 52.48 )
3600.04/3610.00 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 53729201 , 1711858 , 3411231125 ,( 1140082386 , 2271148739 )
3600.04/3610.00 c gcd simplifications 5603
3600.04/3610.00 c detected cardinalities 0
3600.04/3610.00 c weakened non-implied lits 304320768
3600.04/3610.00 c weakened non-implying lits 1404262
3600.04/3610.00 c original variables 16700
3600.04/3610.00 c clausal propagations 51601102
3600.04/3610.00 c cardinality propagations 19592130
3600.04/3610.00 c watched propagations 7093613
3600.04/3610.00 c counting propagations 41793058
3600.04/3610.00 c watch lookups 97770014818
3600.04/3610.00 c watch backjump lookups 0
3600.04/3610.00 c watch checks 260037770296
3600.04/3610.00 c propagation checks 123497512590
3600.04/3610.00 c constraint additions 3259438269
3600.04/3610.00 c trail pops 131843041
3600.04/3610.00 c formula constraints 26602
3600.04/3610.00 c learned constraints 215858
3600.04/3610.00 c bound constraints 0
3600.04/3610.00 c core-guided constraints 0
3600.04/3610.00 c encountered formula constraints 4049501
3600.04/3610.00 c encountered learned constraints 407302
3600.04/3610.00 c encountered bound constraints 0
3600.04/3610.00 c encountered core-guided constraints 0
3600.04/3610.00 c LP total time 28.6556 s
3600.04/3610.00 c LP solve time 25.83 s
3600.04/3610.00 c LP constraints added 26616
3600.04/3610.00 c LP constraints removed 0
3600.04/3610.00 c LP pivots internal 22238
3600.04/3610.00 c LP pivots root 26712
3600.04/3610.00 c LP calls 32
3600.04/3610.00 c LP optimalities 1
3600.04/3610.00 c LP no pivot count 0
3600.04/3610.00 c LP infeasibilities 27
3600.04/3610.00 c LP valid Farkas constraints 27
3600.04/3610.00 c LP learned Farkas constraints 27
3600.04/3610.00 c LP basis resets 0
3600.04/3610.00 c LP cycling count 0
3600.04/3610.00 c LP singular count 0
3600.04/3610.00 c LP no primal count 0
3600.04/3610.00 c LP no farkas count 0
3600.04/3610.00 c LP other issue count 0
3600.04/3610.00 c LP Gomory cuts 6
3600.04/3610.00 c LP learned cuts 8
3600.04/3610.00 c LP deleted cuts 0
3600.04/3610.00 c LP encountered Gomory constraints 0
3600.04/3610.00 c LP encountered Farkas constraints 38919
3600.04/3610.00 c LP encountered learned Farkas constraints 10
3600.04/3610.00 c CG auxiliary variables introduced 0
3600.04/3610.00 c CG solutions found 0
3600.04/3610.00 c CG cores constructed 0
3600.04/3610.00 c CG core cardinality constraints returned 0
3600.04/3610.00 c CG unit cores 0
3600.04/3610.00 c CG single cores 0
3600.04/3610.00 c CG blocks removed during cardinality reduction 0
3600.04/3610.00 c CG first core best 0
3600.04/3610.00 c CG decision core best 0
3600.04/3610.00 c CG core reduction tie 0
3600.04/3610.00 c CG core degree average 0.00
3600.04/3610.00 c CG core slack average 0.00
3600.04/3610.00 c CG core upper bound improvements 0
3600.04/3610.00 c STR number of successful calls 0
3600.04/3610.00 c STR number of unsuccessful calls 0
3600.04/3610.00 c STR number of inconclusive calls 0
3600.04/3610.00 c STR number of successful attempts 0
3600.04/3610.00 c STR number of unsuccessful attempts 0
3600.04/3610.00 c STR number of inconclusive attempts 0
3600.04/3610.00 c STR average degree increase per successful call inf
3600.04/3610.00 c STR average degree increase per successful attempt inf
3600.04/3610.00 c STR total number of conflicts for successful attempts 0
3600.04/3610.00 c STR total number of conflicts for unsuccessful attempts 0
3600.04/3610.00 c STR total number of conflicts for inconclusive attempts 0
3600.04/3610.00 c STR average number of conflicts per successful attempt inf
3600.04/3610.00 c STR average number of conflicts per unsuccessful attempt inf
3600.04/3610.00 c STR average number of conflicts per inconclusive attempt inf
3600.04/3610.00 c AVG.sumWPerc 44.37
3600.04/3610.00 c bigint constraints 0
3600.04/3610.00 s UNKNOWN
3600.04/3610.00 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62741 MiB free)
memory of node 1: 64507 MiB (63517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515098-1751221242/watcher-4515098-1751221242 -o /tmp/evaluation-result-4515098-1751221242/solver-4515098-1751221242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751217107-31777 --watchdog 3760 run-dec-break.sh HOME/instance-4515098-1751221242.opb
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 VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=33331, runsolver pid=33328
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 33333
/proc/meminfo: memFree=129269828/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 37802096 4292608 704 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 704 640 219 0 110 0
[pid=33333] ppid=33331 vsize=43108 memory=28356 CPUtime=0.08 cores=0,2
/proc/33333/stat : 33333 (pbsuma) R 33331 33331 31764 0 -1 4194304 8562 0 0 0 7 1 0 0 20 0 1 0 37802097 44142592 7089 18446744073709551615 4210688 4653049 140734818901744 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 14491648 140734818908515 140734818908722 140734818908722 140734818914287 0
/proc/33333/statm: 10777 7089 1024 108 0 8185 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 47300 KiB
Current children cumulated memory: 31172 KiB
[startup+0.205573 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 33334
/proc/meminfo: memFree=129269828/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=58272 memory=11008 CPUtime=0 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 1058 0 0 0 0 0 0 0 20 0 1 0 37802116 59670528 2752 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 14568 2752 1888 1147 0 1995 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62464 KiB
Current children cumulated memory: 13952 KiB
[startup+0.305618 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 33334
/proc/meminfo: memFree=129269828/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=78496 memory=32644 CPUtime=0.09 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 6667 0 0 0 7 2 0 0 20 0 1 0 37802116 80379904 8161 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 19624 8161 2240 1147 0 7051 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 82688 KiB
Current children cumulated memory: 35588 KiB
[startup+0.700178 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 33334
/proc/meminfo: memFree=129236812/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=113308 memory=65416 CPUtime=0.47 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 12527 0 0 0 44 3 0 0 20 0 1 0 37802116 116027392 16354 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 28327 16354 2272 1147 0 15754 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 68360 KiB
[startup+1.50019 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 33334
/proc/meminfo: memFree=129236812/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=113308 memory=65544 CPUtime=1.27 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 12539 0 0 0 124 3 0 0 20 0 1 0 37802116 116027392 16386 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 28327 16386 2272 1147 0 15754 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 68488 KiB
[startup+3.10538 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 33334
/proc/meminfo: memFree=129237104/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=113308 memory=65544 CPUtime=2.87 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 12540 0 0 0 284 3 0 0 20 0 1 0 37802116 116027392 16386 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 28327 16386 2272 1147 0 15754 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 68488 KiB
[startup+6.30017 s]
/proc/loadavg: 4.16 4.11 4.09 5/270 33334
/proc/meminfo: memFree=129237116/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=113308 memory=65544 CPUtime=6.06 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 12542 0 0 0 603 3 0 0 20 0 1 0 37802116 116027392 16386 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 28327 16386 2272 1147 0 15754 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 68488 KiB
[startup+12.7002 s]
/proc/loadavg: 4.14 4.10 4.09 5/270 33334
/proc/meminfo: memFree=129237116/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=113308 memory=65544 CPUtime=12.44 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 12543 0 0 0 1241 3 0 0 20 0 1 0 37802116 116027392 16386 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 28327 16386 2272 1147 0 15754 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 117500 KiB
Current children cumulated memory: 68488 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.10 4.09 5/270 33334
/proc/meminfo: memFree=129233816/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=116424 memory=68488 CPUtime=25.21 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 13291 0 0 0 2518 3 0 0 20 0 1 0 37802116 119218176 17122 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 29106 17122 2272 1147 0 16533 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 120616 KiB
Current children cumulated memory: 71432 KiB
[startup+51.1054 s]
/proc/loadavg: 4.15 4.11 4.09 5/269 33335
/proc/meminfo: memFree=129069520/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=359132 memory=236180 CPUtime=50.75 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 26553 0 0 0 5005 70 0 0 20 0 1 0 37802116 367751168 59045 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 89783 59045 2336 1147 0 77210 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 363324 KiB
Current children cumulated memory: 239124 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/268 33337
/proc/meminfo: memFree=128976116/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=375416 memory=325680 CPUtime=101.81 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 30528 0 0 0 10084 97 0 0 20 0 1 0 37802116 384425984 81420 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 93854 81420 2336 1147 0 81281 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 379608 KiB
Current children cumulated memory: 328624 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 33340
/proc/meminfo: memFree=128899244/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=529172 memory=403124 CPUtime=161.65 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 36143 0 0 0 16004 161 0 0 20 0 1 0 37802116 541872128 100781 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 132293 100781 2336 1147 0 119720 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 533364 KiB
Current children cumulated memory: 406068 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/269 33392
/proc/meminfo: memFree=128982400/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=556188 memory=450876 CPUtime=221.49 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 42474 0 0 0 21955 194 0 0 20 0 1 0 37802116 569536512 112719 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 139047 112719 2336 1147 0 126474 0
Current children cumulated CPU time: 221.66 s
################
# More data... #
################
/proc/33334/statm: 850635 689957 2368 1147 0 838062 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 3406732 KiB
Current children cumulated memory: 2762772 KiB
[startup+3102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/270 33645
/proc/meminfo: memFree=123081792/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3402540 memory=2759956 CPUtime=3093.58 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 513510 0 0 0 308547 811 0 0 20 0 1 0 37802116 3484200960 689989 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 850635 689989 2368 1147 0 838062 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 3406732 KiB
Current children cumulated memory: 2762900 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.14 4.11 5/269 33646
/proc/meminfo: memFree=123033444/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3404296 memory=2761492 CPUtime=3153.42 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 514099 0 0 0 314527 815 0 0 20 0 1 0 37802116 3485999104 690373 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 851074 690373 2368 1147 0 838501 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 3408488 KiB
Current children cumulated memory: 2764436 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/270 33651
/proc/meminfo: memFree=122983976/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3414828 memory=2770964 CPUtime=3213.24 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 516560 0 0 0 320506 818 0 0 20 0 1 0 37802116 3496783872 692741 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 853707 692741 2368 1147 0 841134 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 3419020 KiB
Current children cumulated memory: 2773908 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/269 33653
/proc/meminfo: memFree=122951564/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3414828 memory=2770964 CPUtime=3273.08 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 516710 0 0 0 326486 822 0 0 20 0 1 0 37802116 3496783872 692741 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 853707 692741 2368 1147 0 841134 0
Current children cumulated CPU time: 3273.25 s
Current children cumulated vsize: 3419020 KiB
Current children cumulated memory: 2773908 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/269 33655
/proc/meminfo: memFree=122938480/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3414828 memory=2771092 CPUtime=3332.91 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 516821 0 0 0 332464 827 0 0 20 0 1 0 37802116 3496783872 692773 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 853707 692773 2368 1147 0 841134 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 3419020 KiB
Current children cumulated memory: 2774036 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/268 33661
/proc/meminfo: memFree=122947772/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3416108 memory=2771988 CPUtime=3392.75 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 517082 0 0 0 338446 829 0 0 20 0 1 0 37802116 3498094592 692997 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 854027 692997 2368 1147 0 841454 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 3420300 KiB
Current children cumulated memory: 2774932 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.10 5/268 33664
/proc/meminfo: memFree=122932360/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3417868 memory=2772628 CPUtime=3452.59 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 517464 0 0 0 344425 834 0 0 20 0 1 0 37802116 3499896832 693157 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 854467 693157 2368 1147 0 841894 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 3422060 KiB
Current children cumulated memory: 2775572 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/269 33667
/proc/meminfo: memFree=122890196/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3438640 memory=2789908 CPUtime=3512.42 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 521835 0 0 0 350404 838 0 0 20 0 1 0 37802116 3521167360 697477 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 859660 697477 2368 1147 0 847087 0
Current children cumulated CPU time: 3512.59 s
Current children cumulated vsize: 3442832 KiB
Current children cumulated memory: 2792852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/268 33669
/proc/meminfo: memFree=122825588/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3440140 memory=2790420 CPUtime=3572.26 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 522114 0 0 0 356383 843 0 0 20 0 1 0 37802116 3522703360 697605 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 860035 697605 2368 1147 0 847462 0
Current children cumulated CPU time: 3572.43 s
Current children cumulated vsize: 3444332 KiB
Current children cumulated memory: 2793364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 4.12 4.13 4.09 5/268 33670
/proc/meminfo: memFree=122728852/131250000 swapFree=33010684/33010684
[pid=33331] ppid=33328 vsize=4192 memory=2944 CPUtime=0.17 cores=0,2
/proc/33331/stat : 33331 (run-dec-break.s) S 33328 33331 31764 0 -1 4194304 237 8733 0 0 0 0 16 1 20 0 1 0 37802096 4292608 736 18446744073709551615 94720988545024 94720989439557 140723808770096 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94720989678608 94720989726352 94720993382400 140723808778593 140723808778722 140723808778722 140723808784324 0
/proc/33331/statm: 1048 736 672 219 0 110 0
[pid=33334] ppid=33331 vsize=3545068 memory=2871572 CPUtime=3599.87 cores=0,2
/proc/33334/stat : 33334 (roundingsat) R 33331 33331 31764 0 -1 4194304 542450 0 0 0 359135 852 0 0 20 0 1 0 37802116 3630149632 717893 18446744073709551615 4227072 8923433 140733684505520 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15355904 140733684513092 140733684513320 140733684513320 140733684518890 0
/proc/33334/statm: 886267 717893 2368 1147 0 873694 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 3549260 KiB
Current children cumulated memory: 2874516 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.01 s]
# the end of solver process 33331 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.163579 s, system=0.018078 s
Sleeping 2 seconds
[startup+3610.1 s]
# the end of solver process 33334 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3591.53 s, system=8.63393 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.1
CPU time (s): 3600.17
CPU user time (s): 3591.53
CPU system time (s): 8.63393
CPU usage (%): 99.7248
Max. virtual memory (cumulated for all children) (KiB): 3549260
Max. memory (cumulated for all children) (KiB): 2874516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.53
system time used= 8.63393
maximum resident set size= 2871956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551442
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249
involuntary context switches= 22217
# summary of solver processes directly reported to runsolver:
# pid: 33331,33334
# total CPU time (s): 3600.17
# total CPU user time (s): 3591.53
# total CPU system time (s): 8.63393
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.51604 second user time and 14.5299 second system time
The end
Begin job on nodeC018 at 2025-06-29 20:20:43
IDJOB=4515098
IDBENCH=164141
IDSOLVER=3357
FILE ID=nodeC018/4515098-1751221242
RUNJOBID= nodeC018-1751217107-31777
SLURM_JOB_ID= 9587660
Free space on /tmp= 433024 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-ab51-40-100.0.s.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515098-1751221242/watcher-4515098-1751221242 -o /tmp/evaluation-result-4515098-1751221242/solver-4515098-1751221242 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751217107-31777 --watchdog 3760 run-dec-break.sh HOME/instance-4515098-1751221242.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= fadbb7049cb6f956a624efb3819309ab
RANDOM SEED=1314917556
nodeC018 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.792
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.66
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.825
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.66
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.760
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.66
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 : 3651.138
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.66
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.830
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.66
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.821
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.66
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 : 3600.695
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3578.665
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.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 129290492 kB
MemAvailable: 129056516 kB
Buffers: 3280 kB
Cached: 575360 kB
SwapCached: 0 kB
Active: 1075604 kB
Inactive: 318192 kB
Active(anon): 833232 kB
Inactive(anon): 0 kB
Active(file): 242372 kB
Inactive(file): 318192 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 5848 kB
Writeback: 2308 kB
AnonPages: 809504 kB
Mapped: 116864 kB
Shmem: 18076 kB
KReclaimable: 89000 kB
Slab: 173068 kB
SReclaimable: 89000 kB
SUnreclaim: 84068 kB
KernelStack: 4368 kB
PageTables: 4804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1278832 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150664 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 720896 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: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC018 at 2025-06-29 21:20:53