0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4503424-1751163083.opb'
0.18/0.28 c read 6.58MB (264.32ms)
0.18/0.28 c [cnf: #variables 7351 #clauses 155824 #duplicates 0 #arr 606406]
0.18/0.28 c
0.18/0.28 c make graph and approximate orbits
0.35/0.47 c [group: #orbits ~= 0] (191.08ms)
0.35/0.47 c
0.35/0.47 c detect special group actions
0.35/0.47 c probe for Johnson action (limit=64)
0.35/0.47 c probe for row-column symmetry (limit=64, splits=16.78M)
0.35/0.48 c probe for row symmetry (limit=64, splits=16.78M)
0.35/0.49 c (18.60ms)
0.35/0.49 c
0.35/0.49 c detect symmetries on remainder
0.35/0.49 c [graph: #vertices 186263 #edges 1258988]
0.35/0.50 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.43/0.54 c [group: #symmetries 1.00*10^0 #generators 0] (47.43ms)
0.43/0.54 c
0.43/0.54 c finalize break order and special generators
0.43/0.54 c
0.43/0.54 c generation finished
0.43/0.54 c [sbp: #constraints 0 #add_vars 0]
0.43/0.54 c
0.43/0.54 c write result to 'HOME/instance-4503424-1751163083.opb.pre'
0.43/0.58 c wrote 6.58MB (37.54ms)
0.43/0.58 c ------------------------------------------------------------------
0.43/0.58 c 264.32ms 46.96% parse
0.43/0.58 c 191.08ms 33.95% approx_orbits
0.43/0.58 c 47.43ms 8.43% detect_generic
0.43/0.58 c 37.54ms 6.67% output
0.43/0.58 c 18.60ms 3.30% detect_special
0.43/0.58 c 3.17ms 0.56% other
0.43/0.58 c 0.67ms 0.12% finalize_order
0.43/0.58 c ───────────────────────────────────────────────
0.43/0.58 c 562.81ms 100% total
0.43/0.58 c ------------------------------------------------------------------
0.50/0.61 c RoundingSat 2
0.50/0.61 c branch pb25
0.50/0.61 c commit 63f22ad
1.77/2.01 c #variables 7351 #constraints 156112
2.07/2.21 c rational objective 319
88.29/88.77 c #Conflicts: 1000 | #Constraints: 157112
88.29/88.77 c #Conflicts: 2000 | #Constraints: 158112
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 3000 | #Constraints: 158126
88.29/88.77 c #Conflicts: 4000 | #Constraints: 159126
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 5000 | #Constraints: 158530
88.29/88.77 c #Conflicts: 6000 | #Constraints: 159530
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 7000 | #Constraints: 158526
88.29/88.77 c #Conflicts: 8000 | #Constraints: 159526
88.29/88.77 c #Conflicts: 9000 | #Constraints: 160526
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 10000 | #Constraints: 159194
88.29/88.77 c #Conflicts: 11000 | #Constraints: 160194
88.29/88.77 c #Conflicts: 12000 | #Constraints: 161194
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 13000 | #Constraints: 159657
88.29/88.77 c #Conflicts: 14000 | #Constraints: 160657
88.29/88.77 c #Conflicts: 15000 | #Constraints: 161657
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 16000 | #Constraints: 159892
88.29/88.77 c #Conflicts: 17000 | #Constraints: 160892
88.29/88.77 c #Conflicts: 18000 | #Constraints: 161892
88.29/88.77 c INPROCESSING
88.29/88.77 c GARBAGE COLLECT
88.29/88.77 c #Conflicts: 19000 | #Constraints: 159921
88.29/88.77 c #Conflicts: 20000 | #Constraints: 160921
88.29/88.77 c #Conflicts: 21000 | #Constraints: 161921
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 22000 | #Constraints: 159738
88.29/88.77 c #Conflicts: 23000 | #Constraints: 160738
88.29/88.77 c #Conflicts: 24000 | #Constraints: 161738
88.29/88.77 c #Conflicts: 25000 | #Constraints: 162738
88.29/88.77 c #Conflicts: 26000 | #Constraints: 163738
88.29/88.77 c #Conflicts: 27000 | #Constraints: 164738
88.29/88.77 c #Conflicts: 28000 | #Constraints: 165738
88.29/88.77 c #Conflicts: 29000 | #Constraints: 166738
88.29/88.77 c #Conflicts: 30000 | #Constraints: 167738
88.29/88.77 c #Conflicts: 31000 | #Constraints: 168738
88.29/88.77 c #Conflicts: 32000 | #Constraints: 169738
88.29/88.77 c #Conflicts: 33000 | #Constraints: 170738
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 34000 | #Constraints: 164322
88.29/88.77 c #Conflicts: 35000 | #Constraints: 165322
88.29/88.77 c #Conflicts: 36000 | #Constraints: 166322
88.29/88.77 c #Conflicts: 37000 | #Constraints: 167322
88.29/88.77 c #Conflicts: 38000 | #Constraints: 168322
88.29/88.77 c INPROCESSING
88.29/88.77 c GARBAGE COLLECT
88.29/88.77 c #Conflicts: 39000 | #Constraints: 163277
88.29/88.77 c #Conflicts: 40000 | #Constraints: 164277
88.29/88.77 c #Conflicts: 41000 | #Constraints: 165277
88.29/88.77 c #Conflicts: 42000 | #Constraints: 166277
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 43000 | #Constraints: 161829
88.29/88.77 c #Conflicts: 44000 | #Constraints: 162829
88.29/88.77 c #Conflicts: 45000 | #Constraints: 163829
88.29/88.77 c #Conflicts: 46000 | #Constraints: 164829
88.29/88.77 c #Conflicts: 47000 | #Constraints: 165829
88.29/88.77 c #Conflicts: 48000 | #Constraints: 166829
88.29/88.77 c #Conflicts: 49000 | #Constraints: 167829
88.29/88.77 c #Conflicts: 50000 | #Constraints: 168829
88.29/88.77 c #Conflicts: 51000 | #Constraints: 169829
88.29/88.77 c #Conflicts: 52000 | #Constraints: 170829
88.29/88.77 c #Conflicts: 53000 | #Constraints: 171829
88.29/88.77 c #Conflicts: 54000 | #Constraints: 172829
88.29/88.77 c #Conflicts: 55000 | #Constraints: 173829
88.29/88.77 c #Conflicts: 56000 | #Constraints: 174829
88.29/88.77 c #Conflicts: 57000 | #Constraints: 175829
88.29/88.77 c #Conflicts: 58000 | #Constraints: 176829
88.29/88.77 c INPROCESSING
88.29/88.77 c GARBAGE COLLECT
88.29/88.77 c #Conflicts: 59000 | #Constraints: 167170
88.29/88.77 c #Conflicts: 60000 | #Constraints: 168170
88.29/88.77 c #Conflicts: 61000 | #Constraints: 169170
88.29/88.77 c #Conflicts: 62000 | #Constraints: 170170
88.29/88.77 c #Conflicts: 63000 | #Constraints: 171170
88.29/88.77 c #Conflicts: 64000 | #Constraints: 172170
88.29/88.77 c #Conflicts: 65000 | #Constraints: 173170
88.29/88.77 c INPROCESSING
88.29/88.77 c #Conflicts: 66000 | #Constraints: 165761
88.29/88.77 c #Conflicts: 67000 | #Constraints: 166761
88.29/88.77 c #Conflicts: 68000 | #Constraints: 167761
88.29/88.77 c #Conflicts: 69000 | #Constraints: 168761
88.29/88.77 c #Conflicts: 70000 | #Constraints: 169761
88.29/88.77 c #Conflicts: 71000 | #Constraints: 170761
88.29/88.77 c INPROCESSING
88.29/88.77 c GARBAGE COLLECT
88.29/88.77 c #Conflicts: 72000 | #Constraints: 164366
88.29/88.77 c #Conflicts: 73000 | #Constraints: 165366
88.29/88.77 c #Conflicts: 74000 | #Constraints: 166366
115.70/116.28 c #Conflicts: 75000 | #Constraints: 167366
115.70/116.28 c #Conflicts: 76000 | #Constraints: 168366
115.70/116.28 c #Conflicts: 77000 | #Constraints: 169366
115.70/116.28 c #Conflicts: 78000 | #Constraints: 170366
115.70/116.28 c #Conflicts: 79000 | #Constraints: 171366
115.70/116.28 c #Conflicts: 80000 | #Constraints: 172366
115.70/116.28 c #Conflicts: 81000 | #Constraints: 173366
115.70/116.28 c #Conflicts: 82000 | #Constraints: 174366
115.70/116.28 c #Conflicts: 83000 | #Constraints: 175366
115.70/116.28 c #Conflicts: 84000 | #Constraints: 176366
115.70/116.28 c #Conflicts: 85000 | #Constraints: 177366
115.70/116.28 c #Conflicts: 86000 | #Constraints: 178366
115.70/116.28 c #Conflicts: 87000 | #Constraints: 179366
115.70/116.28 c #Conflicts: 88000 | #Constraints: 180366
115.70/116.28 c #Conflicts: 89000 | #Constraints: 181366
115.70/116.28 c #Conflicts: 90000 | #Constraints: 182366
115.70/116.28 c #Conflicts: 91000 | #Constraints: 183366
115.70/116.28 c INPROCESSING
115.70/116.28 c GARBAGE COLLECT
115.70/116.28 c #Conflicts: 92000 | #Constraints: 170623
115.70/116.28 c #Conflicts: 93000 | #Constraints: 171623
115.70/116.28 c #Conflicts: 94000 | #Constraints: 172623
115.70/116.28 c #Conflicts: 95000 | #Constraints: 173623
115.70/116.28 c #Conflicts: 96000 | #Constraints: 174623
115.70/116.28 c #Conflicts: 97000 | #Constraints: 175623
115.70/116.28 c #Conflicts: 98000 | #Constraints: 176623
115.70/116.28 c #Conflicts: 99000 | #Constraints: 177623
115.70/116.28 c INPROCESSING
115.70/116.28 c GARBAGE COLLECT
115.70/116.28 c #Conflicts: 100000 | #Constraints: 167927
115.70/116.28 c #Conflicts: 101000 | #Constraints: 168927
115.70/116.28 c #Conflicts: 102000 | #Constraints: 169927
115.70/116.28 c #Conflicts: 103000 | #Constraints: 170927
115.70/116.28 c #Conflicts: 104000 | #Constraints: 171927
115.70/116.28 c #Conflicts: 105000 | #Constraints: 172927
115.70/116.28 c #Conflicts: 106000 | #Constraints: 173927
115.70/116.28 c #Conflicts: 107000 | #Constraints: 174927
115.70/116.28 c INPROCESSING
115.70/116.28 c #Conflicts: 108000 | #Constraints: 166558
115.70/116.28 c #Conflicts: 109000 | #Constraints: 167558
115.70/116.28 c #Conflicts: 110000 | #Constraints: 168558
115.70/116.28 c #Conflicts: 111000 | #Constraints: 169558
115.70/116.28 c #Conflicts: 112000 | #Constraints: 170558
115.70/116.28 c #Conflicts: 113000 | #Constraints: 171558
115.70/116.28 c #Conflicts: 114000 | #Constraints: 172558
115.70/116.28 c #Conflicts: 115000 | #Constraints: 173558
115.70/116.28 c #Conflicts: 116000 | #Constraints: 174558
115.70/116.28 c #Conflicts: 117000 | #Constraints: 175558
115.70/116.28 c #Conflicts: 118000 | #Constraints: 176558
115.70/116.28 c #Conflicts: 119000 | #Constraints: 177558
115.70/116.28 c #Conflicts: 120000 | #Constraints: 178558
115.70/116.28 c #Conflicts: 121000 | #Constraints: 179558
115.70/116.28 c #Conflicts: 122000 | #Constraints: 180558
115.70/116.28 c #Conflicts: 123000 | #Constraints: 181558
115.70/116.28 c #Conflicts: 124000 | #Constraints: 182558
115.70/116.28 c #Conflicts: 125000 | #Constraints: 183558
115.70/116.28 c #Conflicts: 126000 | #Constraints: 184558
115.70/116.28 c #Conflicts: 127000 | #Constraints: 185558
115.70/116.28 c #Conflicts: 128000 | #Constraints: 186558
115.70/116.28 c #Conflicts: 129000 | #Constraints: 187558
115.70/116.28 c #Conflicts: 130000 | #Constraints: 188558
115.70/116.28 c #Conflicts: 131000 | #Constraints: 189558
115.70/116.28 c INPROCESSING
115.70/116.28 c GARBAGE COLLECT
115.70/116.28 c rational objective 319
147.80/148.49 c #Conflicts: 132000 | #Constraints: 173774
147.80/148.49 c #Conflicts: 133000 | #Constraints: 174774
147.80/148.49 c #Conflicts: 134000 | #Constraints: 175774
147.80/148.49 c #Conflicts: 135000 | #Constraints: 176774
147.80/148.49 c #Conflicts: 136000 | #Constraints: 177774
147.80/148.49 c #Conflicts: 137000 | #Constraints: 178774
147.80/148.49 c #Conflicts: 138000 | #Constraints: 179774
147.80/148.49 c #Conflicts: 139000 | #Constraints: 180774
147.80/148.49 c #Conflicts: 140000 | #Constraints: 181774
147.80/148.49 c INPROCESSING
147.80/148.49 c GARBAGE COLLECT
147.80/148.49 c #Conflicts: 141000 | #Constraints: 169840
147.80/148.49 c #Conflicts: 142000 | #Constraints: 170840
147.80/148.49 c #Conflicts: 143000 | #Constraints: 171840
147.80/148.49 c #Conflicts: 144000 | #Constraints: 172840
147.80/148.49 c #Conflicts: 145000 | #Constraints: 173840
147.80/148.49 c #Conflicts: 146000 | #Constraints: 174840
147.80/148.49 c #Conflicts: 147000 | #Constraints: 175840
147.80/148.49 c #Conflicts: 148000 | #Constraints: 176840
147.80/148.49 c #Conflicts: 149000 | #Constraints: 177840
147.80/148.49 c #Conflicts: 150000 | #Constraints: 178840
147.80/148.49 c #Conflicts: 151000 | #Constraints: 179840
147.80/148.49 c #Conflicts: 152000 | #Constraints: 180840
147.80/148.49 c #Conflicts: 153000 | #Constraints: 181840
147.80/148.49 c #Conflicts: 154000 | #Constraints: 182840
147.80/148.49 c #Conflicts: 155000 | #Constraints: 183840
147.80/148.49 c #Conflicts: 156000 | #Constraints: 184840
147.80/148.49 c #Conflicts: 157000 | #Constraints: 185840
147.80/148.49 c #Conflicts: 158000 | #Constraints: 186840
147.80/148.49 c #Conflicts: 159000 | #Constraints: 187840
147.80/148.49 c #Conflicts: 160000 | #Constraints: 188840
147.80/148.49 c #Conflicts: 161000 | #Constraints: 189840
147.80/148.49 c #Conflicts: 162000 | #Constraints: 190840
147.80/148.49 c #Conflicts: 163000 | #Constraints: 191840
147.80/148.49 c #Conflicts: 164000 | #Constraints: 192840
147.80/148.49 c #Conflicts: 165000 | #Constraints: 193840
147.80/148.49 c #Conflicts: 166000 | #Constraints: 194840
147.80/148.49 c #Conflicts: 167000 | #Constraints: 195840
147.80/148.49 c #Conflicts: 168000 | #Constraints: 196840
147.80/148.49 c INPROCESSING
147.80/148.49 c GARBAGE COLLECT
147.80/148.49 c #Conflicts: 169000 | #Constraints: 177740
147.80/148.49 c #Conflicts: 170000 | #Constraints: 178740
147.80/148.49 c #Conflicts: 171000 | #Constraints: 179740
147.80/148.49 c #Conflicts: 172000 | #Constraints: 180740
147.80/148.49 c #Conflicts: 173000 | #Constraints: 181740
147.80/148.49 c #Conflicts: 174000 | #Constraints: 182740
147.80/148.49 c #Conflicts: 175000 | #Constraints: 183740
147.80/148.49 c #Conflicts: 176000 | #Constraints: 184740
147.80/148.49 c #Conflicts: 177000 | #Constraints: 185740
147.80/148.49 c #Conflicts: 178000 | #Constraints: 186740
147.80/148.49 c INPROCESSING
147.80/148.49 c GARBAGE COLLECT
147.80/148.49 c #Conflicts: 179000 | #Constraints: 172443
147.80/148.49 c #Conflicts: 180000 | #Constraints: 173443
147.80/148.49 c #Conflicts: 181000 | #Constraints: 174443
147.80/148.49 c #Conflicts: 182000 | #Constraints: 175443
147.80/148.49 c #Conflicts: 183000 | #Constraints: 176443
147.80/148.49 c #Conflicts: 184000 | #Constraints: 177443
147.80/148.49 c #Conflicts: 185000 | #Constraints: 178443
147.80/148.49 c #Conflicts: 186000 | #Constraints: 179443
147.80/148.49 c #Conflicts: 187000 | #Constraints: 180443
147.80/148.49 c #Conflicts: 188000 | #Constraints: 181443
147.80/148.49 c #Conflicts: 189000 | #Constraints: 182443
147.80/148.49 c #Conflicts: 190000 | #Constraints: 183443
147.80/148.49 c #Conflicts: 191000 | #Constraints: 184443
147.80/148.49 c #Conflicts: 192000 | #Constraints: 185443
147.80/148.49 c #Conflicts: 193000 | #Constraints: 186443
147.80/148.49 c #Conflicts: 194000 | #Constraints: 187443
147.80/148.49 c #Conflicts: 195000 | #Constraints: 188443
147.80/148.49 c #Conflicts: 196000 | #Constraints: 189443
147.80/148.49 c #Conflicts: 197000 | #Constraints: 190443
147.80/148.49 c #Conflicts: 198000 | #Constraints: 191443
147.80/148.49 c #Conflicts: 199000 | #Constraints: 192443
147.80/148.49 c #Conflicts: 200000 | #Constraints: 193443
147.80/148.49 c #Conflicts: 201000 | #Constraints: 194443
147.80/148.49 c #Conflicts: 202000 | #Constraints: 195443
147.80/148.49 c #Conflicts: 203000 | #Constraints: 196443
147.80/148.49 c #Conflicts: 204000 | #Constraints: 197443
147.80/148.49 c #Conflicts: 205000 | #Constraints: 198443
147.80/148.49 c #Conflicts: 206000 | #Constraints: 199443
147.80/148.49 c #Conflicts: 207000 | #Constraints: 200443
147.80/148.49 c #Conflicts: 208000 | #Constraints: 201443
164.15/164.81 c #Conflicts: 209000 | #Constraints: 202443
164.15/164.81 c INPROCESSING
164.15/164.81 c GARBAGE COLLECT
164.15/164.81 c #Conflicts: 210000 | #Constraints: 180600
164.15/164.81 c #Conflicts: 211000 | #Constraints: 181600
164.15/164.81 c #Conflicts: 212000 | #Constraints: 182600
164.15/164.81 c #Conflicts: 213000 | #Constraints: 183600
164.15/164.81 c #Conflicts: 214000 | #Constraints: 184600
164.15/164.81 c #Conflicts: 215000 | #Constraints: 185600
164.15/164.81 c #Conflicts: 216000 | #Constraints: 186600
164.15/164.81 c #Conflicts: 217000 | #Constraints: 187600
164.15/164.81 c #Conflicts: 218000 | #Constraints: 188600
164.15/164.81 c #Conflicts: 219000 | #Constraints: 189600
164.15/164.81 c #Conflicts: 220000 | #Constraints: 190600
164.15/164.81 c INPROCESSING
164.15/164.81 c GARBAGE COLLECT
164.15/164.81 c #Conflicts: 221000 | #Constraints: 174331
164.15/164.81 c #Conflicts: 222000 | #Constraints: 175331
164.15/164.81 c #Conflicts: 223000 | #Constraints: 176331
164.15/164.81 c #Conflicts: 224000 | #Constraints: 177331
164.15/164.81 c #Conflicts: 225000 | #Constraints: 178331
164.15/164.81 c #Conflicts: 226000 | #Constraints: 179331
164.15/164.81 c #Conflicts: 227000 | #Constraints: 180331
164.15/164.81 c #Conflicts: 228000 | #Constraints: 181331
164.15/164.81 c #Conflicts: 229000 | #Constraints: 182331
164.15/164.81 c #Conflicts: 230000 | #Constraints: 183331
164.15/164.81 c #Conflicts: 231000 | #Constraints: 184331
164.15/164.81 c #Conflicts: 232000 | #Constraints: 185331
164.15/164.81 c #Conflicts: 233000 | #Constraints: 186331
164.15/164.81 c #Conflicts: 234000 | #Constraints: 187331
164.15/164.81 c #Conflicts: 235000 | #Constraints: 188331
164.15/164.81 c #Conflicts: 236000 | #Constraints: 189331
164.15/164.81 c #Conflicts: 237000 | #Constraints: 190331
164.15/164.81 c #Conflicts: 238000 | #Constraints: 191331
164.15/164.81 c #Conflicts: 239000 | #Constraints: 192331
164.15/164.81 c #Conflicts: 240000 | #Constraints: 193331
164.15/164.81 c #Conflicts: 241000 | #Constraints: 194331
164.15/164.81 c #Conflicts: 242000 | #Constraints: 195331
164.15/164.81 c #Conflicts: 243000 | #Constraints: 196331
164.15/164.81 c #Conflicts: 244000 | #Constraints: 197331
164.15/164.81 c #Conflicts: 245000 | #Constraints: 198331
164.15/164.81 c #Conflicts: 246000 | #Constraints: 199331
164.15/164.81 c #Conflicts: 247000 | #Constraints: 200331
164.15/164.81 c #Conflicts: 248000 | #Constraints: 201331
164.15/164.81 c #Conflicts: 249000 | #Constraints: 202331
164.15/164.81 c #Conflicts: 250000 | #Constraints: 203331
164.15/164.81 c #Conflicts: 251000 | #Constraints: 204331
164.15/164.81 c #Conflicts: 252000 | #Constraints: 205331
164.15/164.81 c #Conflicts: 253000 | #Constraints: 206331
164.15/164.81 c #Conflicts: 254000 | #Constraints: 207331
164.15/164.81 c INPROCESSING
164.15/164.81 c GARBAGE COLLECT
164.15/164.81 c rational objective 319
171.34/172.08 c #Conflicts: 255000 | #Constraints: 182560
171.34/172.08 c #Conflicts: 256000 | #Constraints: 183560
171.34/172.08 c #Conflicts: 257000 | #Constraints: 184560
171.34/172.08 c #Conflicts: 258000 | #Constraints: 185560
171.34/172.08 c #Conflicts: 259000 | #Constraints: 186560
171.34/172.08 c #Conflicts: 260000 | #Constraints: 187560
171.34/172.08 c #Conflicts: 261000 | #Constraints: 188560
171.34/172.08 c #Conflicts: 262000 | #Constraints: 189560
171.34/172.08 c #Conflicts: 263000 | #Constraints: 190560
171.34/172.08 c #Conflicts: 264000 | #Constraints: 191560
171.34/172.08 c #Conflicts: 265000 | #Constraints: 192560
171.34/172.08 c #Conflicts: 266000 | #Constraints: 193560
171.34/172.08 c #Conflicts: 267000 | #Constraints: 194560
171.34/172.08 c INPROCESSING
171.34/172.08 c GARBAGE COLLECT
171.34/172.08 c rational objective 319
186.48/187.21 c #Conflicts: 268000 | #Constraints: 176528
186.48/187.21 c #Conflicts: 269000 | #Constraints: 177528
186.48/187.21 c #Conflicts: 270000 | #Constraints: 178528
186.48/187.21 c #Conflicts: 271000 | #Constraints: 179528
186.48/187.21 c #Conflicts: 272000 | #Constraints: 180528
186.48/187.21 c #Conflicts: 273000 | #Constraints: 181528
186.48/187.21 c #Conflicts: 274000 | #Constraints: 182528
186.48/187.21 c #Conflicts: 275000 | #Constraints: 183528
186.48/187.21 c #Conflicts: 276000 | #Constraints: 184528
186.48/187.21 c #Conflicts: 277000 | #Constraints: 185528
186.48/187.21 c #Conflicts: 278000 | #Constraints: 186528
186.48/187.21 c #Conflicts: 279000 | #Constraints: 187528
186.48/187.21 c #Conflicts: 280000 | #Constraints: 188528
186.48/187.21 c #Conflicts: 281000 | #Constraints: 189528
186.48/187.21 c #Conflicts: 282000 | #Constraints: 190528
186.48/187.21 c #Conflicts: 283000 | #Constraints: 191528
186.48/187.21 c #Conflicts: 284000 | #Constraints: 192528
186.48/187.21 c #Conflicts: 285000 | #Constraints: 193528
186.48/187.21 c #Conflicts: 286000 | #Constraints: 194528
186.48/187.21 c #Conflicts: 287000 | #Constraints: 195528
186.48/187.21 c #Conflicts: 288000 | #Constraints: 196528
186.48/187.21 c #Conflicts: 289000 | #Constraints: 197528
186.48/187.21 c #Conflicts: 290000 | #Constraints: 198528
186.48/187.21 c #Conflicts: 291000 | #Constraints: 199528
186.48/187.21 c #Conflicts: 292000 | #Constraints: 200528
186.48/187.21 c #Conflicts: 293000 | #Constraints: 201528
186.48/187.21 c #Conflicts: 294000 | #Constraints: 202528
186.48/187.21 c #Conflicts: 295000 | #Constraints: 203528
186.48/187.21 c #Conflicts: 296000 | #Constraints: 204528
186.48/187.21 c #Conflicts: 297000 | #Constraints: 205528
186.48/187.21 c #Conflicts: 298000 | #Constraints: 206528
186.48/187.21 c #Conflicts: 299000 | #Constraints: 207528
186.48/187.21 c #Conflicts: 300000 | #Constraints: 208528
186.48/187.21 c #Conflicts: 301000 | #Constraints: 209528
186.48/187.21 c #Conflicts: 302000 | #Constraints: 210528
186.48/187.21 c #Conflicts: 303000 | #Constraints: 211528
186.48/187.21 c #Conflicts: 304000 | #Constraints: 212528
186.48/187.21 c INPROCESSING
186.48/187.21 c GARBAGE COLLECT
186.48/187.21 c rational objective 319
215.58/216.49 c #Conflicts: 305000 | #Constraints: 185650
215.58/216.49 c #Conflicts: 306000 | #Constraints: 186650
215.58/216.49 c #Conflicts: 307000 | #Constraints: 187650
215.58/216.49 c #Conflicts: 308000 | #Constraints: 188650
215.58/216.49 c #Conflicts: 309000 | #Constraints: 189650
215.58/216.49 c #Conflicts: 310000 | #Constraints: 190650
215.58/216.49 c #Conflicts: 311000 | #Constraints: 191650
215.58/216.49 c #Conflicts: 312000 | #Constraints: 192650
215.58/216.49 c #Conflicts: 313000 | #Constraints: 193650
215.58/216.49 c #Conflicts: 314000 | #Constraints: 194650
215.58/216.49 c #Conflicts: 315000 | #Constraints: 195650
215.58/216.49 c #Conflicts: 316000 | #Constraints: 196650
215.58/216.49 c #Conflicts: 317000 | #Constraints: 197650
215.58/216.49 c #Conflicts: 318000 | #Constraints: 198650
215.58/216.49 c INPROCESSING
215.58/216.49 c GARBAGE COLLECT
215.58/216.49 c #Conflicts: 319000 | #Constraints: 178410
215.58/216.49 c #Conflicts: 320000 | #Constraints: 179410
215.58/216.49 c #Conflicts: 321000 | #Constraints: 180410
215.58/216.49 c #Conflicts: 322000 | #Constraints: 181410
215.58/216.49 c #Conflicts: 323000 | #Constraints: 182410
215.58/216.49 c #Conflicts: 324000 | #Constraints: 183410
215.58/216.49 c #Conflicts: 325000 | #Constraints: 184410
215.58/216.49 c #Conflicts: 326000 | #Constraints: 185410
215.58/216.49 c #Conflicts: 327000 | #Constraints: 186410
215.58/216.49 c #Conflicts: 328000 | #Constraints: 187410
215.58/216.49 c #Conflicts: 329000 | #Constraints: 188410
215.58/216.49 c #Conflicts: 330000 | #Constraints: 189410
215.58/216.49 c #Conflicts: 331000 | #Constraints: 190410
215.58/216.49 c #Conflicts: 332000 | #Constraints: 191410
215.58/216.49 c #Conflicts: 333000 | #Constraints: 192410
215.58/216.49 c #Conflicts: 334000 | #Constraints: 193410
215.58/216.49 c #Conflicts: 335000 | #Constraints: 194410
215.58/216.49 c #Conflicts: 336000 | #Constraints: 195410
215.58/216.49 c #Conflicts: 337000 | #Constraints: 196410
215.58/216.49 c #Conflicts: 338000 | #Constraints: 197410
215.58/216.49 c #Conflicts: 339000 | #Constraints: 198410
215.58/216.49 c #Conflicts: 340000 | #Constraints: 199410
215.58/216.49 c #Conflicts: 341000 | #Constraints: 200410
215.58/216.49 c #Conflicts: 342000 | #Constraints: 201410
215.58/216.49 c #Conflicts: 343000 | #Constraints: 202410
215.58/216.49 c #Conflicts: 344000 | #Constraints: 203410
215.58/216.49 c #Conflicts: 345000 | #Constraints: 204410
215.58/216.49 c #Conflicts: 346000 | #Constraints: 205410
215.58/216.49 c #Conflicts: 347000 | #Constraints: 206410
215.58/216.49 c #Conflicts: 348000 | #Constraints: 207410
215.58/216.49 c #Conflicts: 349000 | #Constraints: 208410
215.58/216.49 c #Conflicts: 350000 | #Constraints: 209410
215.58/216.49 c #Conflicts: 351000 | #Constraints: 210410
215.58/216.49 c #Conflicts: 352000 | #Constraints: 211410
215.58/216.49 c #Conflicts: 353000 | #Constraints: 212410
215.58/216.49 c #Conflicts: 354000 | #Constraints: 213410
215.58/216.49 c #Conflicts: 355000 | #Constraints: 214410
215.58/216.49 c #Conflicts: 356000 | #Constraints: 215410
215.58/216.49 c #Conflicts: 357000 | #Constraints: 216410
215.58/216.49 c #Conflicts: 358000 | #Constraints: 217410
215.58/216.49 c INPROCESSING
215.58/216.49 c GARBAGE COLLECT
215.58/216.49 c #Conflicts: 359000 | #Constraints: 188015
215.58/216.49 c #Conflicts: 360000 | #Constraints: 189015
215.58/216.49 c #Conflicts: 361000 | #Constraints: 190015
215.58/216.49 c #Conflicts: 362000 | #Constraints: 191015
215.58/216.49 c #Conflicts: 363000 | #Constraints: 192015
215.58/216.49 c #Conflicts: 364000 | #Constraints: 193015
215.58/216.49 c #Conflicts: 365000 | #Constraints: 194015
215.58/216.49 c #Conflicts: 366000 | #Constraints: 195015
215.58/216.49 c #Conflicts: 367000 | #Constraints: 196015
215.58/216.49 c #Conflicts: 368000 | #Constraints: 197015
215.58/216.49 c #Conflicts: 369000 | #Constraints: 198015
215.58/216.49 c #Conflicts: 370000 | #Constraints: 199015
215.58/216.49 c #Conflicts: 371000 | #Constraints: 200015
215.58/216.49 c #Conflicts: 372000 | #Constraints: 201015
215.58/216.49 c #Conflicts: 373000 | #Constraints: 202015
215.58/216.49 c #Conflicts: 374000 | #Constraints: 203015
215.58/216.49 c INPROCESSING
215.58/216.49 c GARBAGE COLLECT
215.58/216.49 c #Conflicts: 375000 | #Constraints: 180810
215.58/216.49 c #Conflicts: 376000 | #Constraints: 181810
215.58/216.49 c #Conflicts: 377000 | #Constraints: 182810
215.58/216.49 c #Conflicts: 378000 | #Constraints: 183810
215.58/216.49 c #Conflicts: 379000 | #Constraints: 184810
215.58/216.49 c #Conflicts: 380000 | #Constraints: 185810
215.58/216.49 c #Conflicts: 381000 | #Constraints: 186810
229.45/230.37 c #Conflicts: 382000 | #Constraints: 187810
229.45/230.37 c #Conflicts: 383000 | #Constraints: 188810
229.45/230.37 c #Conflicts: 384000 | #Constraints: 189810
229.45/230.37 c #Conflicts: 385000 | #Constraints: 190810
229.45/230.37 c #Conflicts: 386000 | #Constraints: 191810
229.45/230.37 c #Conflicts: 387000 | #Constraints: 192810
229.45/230.37 c #Conflicts: 388000 | #Constraints: 193810
229.45/230.37 c #Conflicts: 389000 | #Constraints: 194810
229.45/230.37 c #Conflicts: 390000 | #Constraints: 195810
229.45/230.37 c #Conflicts: 391000 | #Constraints: 196810
229.45/230.37 c #Conflicts: 392000 | #Constraints: 197810
229.45/230.37 c #Conflicts: 393000 | #Constraints: 198810
229.45/230.37 c #Conflicts: 394000 | #Constraints: 199810
229.45/230.37 c #Conflicts: 395000 | #Constraints: 200810
229.45/230.37 c #Conflicts: 396000 | #Constraints: 201810
229.45/230.37 c #Conflicts: 397000 | #Constraints: 202810
229.45/230.37 c #Conflicts: 398000 | #Constraints: 203810
229.45/230.37 c #Conflicts: 399000 | #Constraints: 204810
229.45/230.37 c #Conflicts: 400000 | #Constraints: 205810
229.45/230.37 c #Conflicts: 401000 | #Constraints: 206810
229.45/230.37 c #Conflicts: 402000 | #Constraints: 207810
229.45/230.37 c #Conflicts: 403000 | #Constraints: 208810
229.45/230.37 c #Conflicts: 404000 | #Constraints: 209810
229.45/230.37 c #Conflicts: 405000 | #Constraints: 210810
229.45/230.37 c #Conflicts: 406000 | #Constraints: 211810
229.45/230.37 c #Conflicts: 407000 | #Constraints: 212810
229.45/230.37 c #Conflicts: 408000 | #Constraints: 213810
229.45/230.37 c #Conflicts: 409000 | #Constraints: 214810
229.45/230.37 c #Conflicts: 410000 | #Constraints: 215810
229.45/230.37 c #Conflicts: 411000 | #Constraints: 216810
229.45/230.37 c #Conflicts: 412000 | #Constraints: 217810
229.45/230.37 c #Conflicts: 413000 | #Constraints: 218810
229.45/230.37 c #Conflicts: 414000 | #Constraints: 219810
229.45/230.37 c #Conflicts: 415000 | #Constraints: 220810
229.45/230.37 c #Conflicts: 416000 | #Constraints: 221810
229.45/230.37 c #Conflicts: 417000 | #Constraints: 222810
229.45/230.37 c INPROCESSING
229.45/230.37 c GARBAGE COLLECT
229.45/230.37 c rational objective 319
257.56/258.59 c #Conflicts: 418000 | #Constraints: 190941
257.56/258.59 c #Conflicts: 419000 | #Constraints: 191941
257.56/258.59 c #Conflicts: 420000 | #Constraints: 192941
257.56/258.59 c #Conflicts: 421000 | #Constraints: 193941
257.56/258.59 c #Conflicts: 422000 | #Constraints: 194941
257.56/258.59 c #Conflicts: 423000 | #Constraints: 195941
257.56/258.59 c #Conflicts: 424000 | #Constraints: 196941
257.56/258.59 c #Conflicts: 425000 | #Constraints: 197941
257.56/258.59 c #Conflicts: 426000 | #Constraints: 198941
257.56/258.59 c #Conflicts: 427000 | #Constraints: 199941
257.56/258.59 c #Conflicts: 428000 | #Constraints: 200941
257.56/258.59 c #Conflicts: 429000 | #Constraints: 201941
257.56/258.59 c #Conflicts: 430000 | #Constraints: 202941
257.56/258.59 c #Conflicts: 431000 | #Constraints: 203941
257.56/258.59 c #Conflicts: 432000 | #Constraints: 204941
257.56/258.59 c #Conflicts: 433000 | #Constraints: 205941
257.56/258.59 c #Conflicts: 434000 | #Constraints: 206941
257.56/258.59 c INPROCESSING
257.56/258.59 c GARBAGE COLLECT
257.56/258.59 c #Conflicts: 435000 | #Constraints: 183025
257.56/258.59 c #Conflicts: 436000 | #Constraints: 184025
257.56/258.59 c #Conflicts: 437000 | #Constraints: 185025
257.56/258.59 c #Conflicts: 438000 | #Constraints: 186025
257.56/258.59 c #Conflicts: 439000 | #Constraints: 187025
257.56/258.59 c #Conflicts: 440000 | #Constraints: 188025
257.56/258.59 c #Conflicts: 441000 | #Constraints: 189025
257.56/258.59 c #Conflicts: 442000 | #Constraints: 190025
257.56/258.59 c #Conflicts: 443000 | #Constraints: 191025
257.56/258.59 c #Conflicts: 444000 | #Constraints: 192025
257.56/258.59 c #Conflicts: 445000 | #Constraints: 193025
257.56/258.59 c #Conflicts: 446000 | #Constraints: 194025
257.56/258.59 c #Conflicts: 447000 | #Constraints: 195025
257.56/258.59 c #Conflicts: 448000 | #Constraints: 196025
257.56/258.59 c #Conflicts: 449000 | #Constraints: 197025
257.56/258.59 c #Conflicts: 450000 | #Constraints: 198025
257.56/258.59 c #Conflicts: 451000 | #Constraints: 199025
257.56/258.59 c #Conflicts: 452000 | #Constraints: 200025
257.56/258.59 c #Conflicts: 453000 | #Constraints: 201025
257.56/258.59 c #Conflicts: 454000 | #Constraints: 202025
257.56/258.59 c #Conflicts: 455000 | #Constraints: 203025
257.56/258.59 c #Conflicts: 456000 | #Constraints: 204025
257.56/258.59 c #Conflicts: 457000 | #Constraints: 205025
257.56/258.59 c #Conflicts: 458000 | #Constraints: 206025
257.56/258.59 c #Conflicts: 459000 | #Constraints: 207025
257.56/258.59 c #Conflicts: 460000 | #Constraints: 208025
257.56/258.59 c #Conflicts: 461000 | #Constraints: 209025
257.56/258.59 c #Conflicts: 462000 | #Constraints: 210025
257.56/258.59 c #Conflicts: 463000 | #Constraints: 211025
257.56/258.59 c #Conflicts: 464000 | #Constraints: 212025
257.56/258.59 c #Conflicts: 465000 | #Constraints: 213025
257.56/258.59 c #Conflicts: 466000 | #Constraints: 214025
257.56/258.59 c #Conflicts: 467000 | #Constraints: 215025
257.56/258.59 c #Conflicts: 468000 | #Constraints: 216025
257.56/258.59 c #Conflicts: 469000 | #Constraints: 217025
257.56/258.59 c #Conflicts: 470000 | #Constraints: 218025
257.56/258.59 c #Conflicts: 471000 | #Constraints: 219025
257.56/258.59 c #Conflicts: 472000 | #Constraints: 220025
257.56/258.59 c #Conflicts: 473000 | #Constraints: 221025
257.56/258.59 c #Conflicts: 474000 | #Constraints: 222025
257.56/258.59 c #Conflicts: 475000 | #Constraints: 223025
257.56/258.59 c #Conflicts: 476000 | #Constraints: 224025
257.56/258.59 c #Conflicts: 477000 | #Constraints: 225025
257.56/258.59 c #Conflicts: 478000 | #Constraints: 226025
257.56/258.59 c #Conflicts: 479000 | #Constraints: 227025
257.56/258.59 c #Conflicts: 480000 | #Constraints: 228025
257.56/258.59 c INPROCESSING
257.56/258.59 c GARBAGE COLLECT
257.56/258.59 c #Conflicts: 481000 | #Constraints: 193561
257.56/258.59 c #Conflicts: 482000 | #Constraints: 194561
257.56/258.59 c #Conflicts: 483000 | #Constraints: 195561
257.56/258.59 c #Conflicts: 484000 | #Constraints: 196561
257.56/258.59 c #Conflicts: 485000 | #Constraints: 197561
257.56/258.59 c #Conflicts: 486000 | #Constraints: 198561
257.56/258.59 c #Conflicts: 487000 | #Constraints: 199561
257.56/258.59 c #Conflicts: 488000 | #Constraints: 200561
257.56/258.59 c #Conflicts: 489000 | #Constraints: 201561
257.56/258.59 c #Conflicts: 490000 | #Constraints: 202561
257.56/258.59 c #Conflicts: 491000 | #Constraints: 203561
257.56/258.59 c #Conflicts: 492000 | #Constraints: 204561
257.56/258.59 c #Conflicts: 493000 | #Constraints: 205561
257.56/258.59 c #Conflicts: 494000 | #Constraints: 206561
257.56/258.59 c #Conflicts: 495000 | #Constraints: 207561
296.06/297.19 c #Conflicts: 496000 | #Constraints: 208561
296.06/297.19 c #Conflicts: 497000 | #Constraints: 209561
296.06/297.19 c #Conflicts: 498000 | #Constraints: 210561
296.06/297.19 c INPROCESSING
296.06/297.19 c GARBAGE COLLECT
296.06/297.19 c #Conflicts: 499000 | #Constraints: 184709
296.06/297.19 c #Conflicts: 500000 | #Constraints: 185709
296.06/297.19 c #Conflicts: 501000 | #Constraints: 186709
296.06/297.19 c #Conflicts: 502000 | #Constraints: 187709
296.06/297.19 c #Conflicts: 503000 | #Constraints: 188709
296.06/297.19 c #Conflicts: 504000 | #Constraints: 189709
296.06/297.19 c #Conflicts: 505000 | #Constraints: 190709
296.06/297.19 c #Conflicts: 506000 | #Constraints: 191709
296.06/297.19 c #Conflicts: 507000 | #Constraints: 192709
296.06/297.19 c #Conflicts: 508000 | #Constraints: 193709
296.06/297.19 c #Conflicts: 509000 | #Constraints: 194709
296.06/297.19 c #Conflicts: 510000 | #Constraints: 195709
296.06/297.19 c #Conflicts: 511000 | #Constraints: 196709
296.06/297.19 c #Conflicts: 512000 | #Constraints: 197709
296.06/297.19 c #Conflicts: 513000 | #Constraints: 198709
296.06/297.19 c #Conflicts: 514000 | #Constraints: 199709
296.06/297.19 c #Conflicts: 515000 | #Constraints: 200709
296.06/297.19 c #Conflicts: 516000 | #Constraints: 201709
296.06/297.19 c #Conflicts: 517000 | #Constraints: 202709
296.06/297.19 c #Conflicts: 518000 | #Constraints: 203709
296.06/297.19 c #Conflicts: 519000 | #Constraints: 204709
296.06/297.19 c #Conflicts: 520000 | #Constraints: 205709
296.06/297.19 c #Conflicts: 521000 | #Constraints: 206709
296.06/297.19 c #Conflicts: 522000 | #Constraints: 207709
296.06/297.19 c #Conflicts: 523000 | #Constraints: 208709
296.06/297.19 c #Conflicts: 524000 | #Constraints: 209709
296.06/297.19 c #Conflicts: 525000 | #Constraints: 210709
296.06/297.19 c #Conflicts: 526000 | #Constraints: 211709
296.06/297.19 c #Conflicts: 527000 | #Constraints: 212709
296.06/297.19 c #Conflicts: 528000 | #Constraints: 213709
296.06/297.19 c #Conflicts: 529000 | #Constraints: 214709
296.06/297.19 c #Conflicts: 530000 | #Constraints: 215709
296.06/297.19 c #Conflicts: 531000 | #Constraints: 216709
296.06/297.19 c #Conflicts: 532000 | #Constraints: 217709
296.06/297.19 c #Conflicts: 533000 | #Constraints: 218709
296.06/297.19 c #Conflicts: 534000 | #Constraints: 219709
296.06/297.19 c #Conflicts: 535000 | #Constraints: 220709
296.06/297.19 c #Conflicts: 536000 | #Constraints: 221709
296.06/297.19 c #Conflicts: 537000 | #Constraints: 222709
296.06/297.19 c #Conflicts: 538000 | #Constraints: 223709
296.06/297.19 c #Conflicts: 539000 | #Constraints: 224709
296.06/297.19 c #Conflicts: 540000 | #Constraints: 225709
296.06/297.19 c #Conflicts: 541000 | #Constraints: 226709
296.06/297.19 c #Conflicts: 542000 | #Constraints: 227709
296.06/297.19 c #Conflicts: 543000 | #Constraints: 228709
296.06/297.19 c #Conflicts: 544000 | #Constraints: 229709
296.06/297.19 c #Conflicts: 545000 | #Constraints: 230709
296.06/297.19 c #Conflicts: 546000 | #Constraints: 231709
296.06/297.19 c #Conflicts: 547000 | #Constraints: 232709
296.06/297.19 c INPROCESSING
296.06/297.19 c GARBAGE COLLECT
296.06/297.19 c #Conflicts: 548000 | #Constraints: 195781
296.06/297.19 c #Conflicts: 549000 | #Constraints: 196781
296.06/297.19 c #Conflicts: 550000 | #Constraints: 197781
296.06/297.19 c #Conflicts: 551000 | #Constraints: 198781
296.06/297.19 c #Conflicts: 552000 | #Constraints: 199781
296.06/297.19 c #Conflicts: 553000 | #Constraints: 200781
296.06/297.19 c #Conflicts: 554000 | #Constraints: 201781
296.06/297.19 c #Conflicts: 555000 | #Constraints: 202781
296.06/297.19 c #Conflicts: 556000 | #Constraints: 203781
296.06/297.19 c #Conflicts: 557000 | #Constraints: 204781
296.06/297.19 c #Conflicts: 558000 | #Constraints: 205781
296.06/297.19 c #Conflicts: 559000 | #Constraints: 206781
296.06/297.19 c #Conflicts: 560000 | #Constraints: 207781
296.06/297.19 c #Conflicts: 561000 | #Constraints: 208781
296.06/297.19 c #Conflicts: 562000 | #Constraints: 209781
296.06/297.19 c #Conflicts: 563000 | #Constraints: 210781
296.06/297.19 c #Conflicts: 564000 | #Constraints: 211781
296.06/297.19 c #Conflicts: 565000 | #Constraints: 212781
296.06/297.19 c #Conflicts: 566000 | #Constraints: 213781
296.06/297.19 c #Conflicts: 567000 | #Constraints: 214781
296.06/297.19 c INPROCESSING
296.06/297.19 c GARBAGE COLLECT
296.06/297.19 c #Conflicts: 568000 | #Constraints: 186971
296.06/297.19 c #Conflicts: 569000 | #Constraints: 187971
296.06/297.19 c #Conflicts: 570000 | #Constraints: 188971
296.06/297.19 c #Conflicts: 571000 | #Constraints: 189971
296.06/297.19 c #Conflicts: 572000 | #Constraints: 190971
318.27/319.46 c #Conflicts: 573000 | #Constraints: 191971
318.27/319.46 c #Conflicts: 574000 | #Constraints: 192971
318.27/319.46 c #Conflicts: 575000 | #Constraints: 193971
318.27/319.46 c #Conflicts: 576000 | #Constraints: 194971
318.27/319.46 c #Conflicts: 577000 | #Constraints: 195971
318.27/319.46 c #Conflicts: 578000 | #Constraints: 196971
318.27/319.46 c #Conflicts: 579000 | #Constraints: 197971
318.27/319.46 c #Conflicts: 580000 | #Constraints: 198971
318.27/319.46 c #Conflicts: 581000 | #Constraints: 199971
318.27/319.46 c #Conflicts: 582000 | #Constraints: 200971
318.27/319.46 c #Conflicts: 583000 | #Constraints: 201971
318.27/319.46 c #Conflicts: 584000 | #Constraints: 202971
318.27/319.46 c #Conflicts: 585000 | #Constraints: 203971
318.27/319.46 c #Conflicts: 586000 | #Constraints: 204971
318.27/319.46 c #Conflicts: 587000 | #Constraints: 205971
318.27/319.46 c #Conflicts: 588000 | #Constraints: 206971
318.27/319.46 c #Conflicts: 589000 | #Constraints: 207971
318.27/319.46 c #Conflicts: 590000 | #Constraints: 208971
318.27/319.46 c #Conflicts: 591000 | #Constraints: 209971
318.27/319.46 c #Conflicts: 592000 | #Constraints: 210971
318.27/319.46 c #Conflicts: 593000 | #Constraints: 211971
318.27/319.46 c #Conflicts: 594000 | #Constraints: 212971
318.27/319.46 c #Conflicts: 595000 | #Constraints: 213971
318.27/319.46 c #Conflicts: 596000 | #Constraints: 214971
318.27/319.46 c #Conflicts: 597000 | #Constraints: 215971
318.27/319.46 c #Conflicts: 598000 | #Constraints: 216971
318.27/319.46 c #Conflicts: 599000 | #Constraints: 217971
318.27/319.46 c #Conflicts: 600000 | #Constraints: 218971
318.27/319.46 c #Conflicts: 601000 | #Constraints: 219971
318.27/319.46 c #Conflicts: 602000 | #Constraints: 220971
318.27/319.46 c #Conflicts: 603000 | #Constraints: 221971
318.27/319.46 c #Conflicts: 604000 | #Constraints: 222971
318.27/319.46 c #Conflicts: 605000 | #Constraints: 223971
318.27/319.46 c #Conflicts: 606000 | #Constraints: 224971
318.27/319.46 c #Conflicts: 607000 | #Constraints: 225971
318.27/319.46 c #Conflicts: 608000 | #Constraints: 226971
318.27/319.46 c #Conflicts: 609000 | #Constraints: 227971
318.27/319.46 c #Conflicts: 610000 | #Constraints: 228971
318.27/319.46 c #Conflicts: 611000 | #Constraints: 229971
318.27/319.46 c #Conflicts: 612000 | #Constraints: 230971
318.27/319.46 c #Conflicts: 613000 | #Constraints: 231971
318.27/319.46 c #Conflicts: 614000 | #Constraints: 232971
318.27/319.46 c #Conflicts: 615000 | #Constraints: 233971
318.27/319.46 c #Conflicts: 616000 | #Constraints: 234971
318.27/319.46 c #Conflicts: 617000 | #Constraints: 235971
318.27/319.46 c #Conflicts: 618000 | #Constraints: 236971
318.27/319.46 c #Conflicts: 619000 | #Constraints: 237971
318.27/319.46 c INPROCESSING
318.27/319.46 c GARBAGE COLLECT
318.27/319.46 c #Conflicts: 620000 | #Constraints: 198443
318.27/319.46 c #Conflicts: 621000 | #Constraints: 199443
318.27/319.46 c #Conflicts: 622000 | #Constraints: 200443
318.27/319.46 c #Conflicts: 623000 | #Constraints: 201443
318.27/319.46 c #Conflicts: 624000 | #Constraints: 202443
318.27/319.46 c #Conflicts: 625000 | #Constraints: 203443
318.27/319.46 c #Conflicts: 626000 | #Constraints: 204443
318.27/319.46 c #Conflicts: 627000 | #Constraints: 205443
318.27/319.46 c #Conflicts: 628000 | #Constraints: 206443
318.27/319.46 c #Conflicts: 629000 | #Constraints: 207443
318.27/319.46 c #Conflicts: 630000 | #Constraints: 208443
318.27/319.46 c #Conflicts: 631000 | #Constraints: 209443
318.27/319.46 c #Conflicts: 632000 | #Constraints: 210443
318.27/319.46 c #Conflicts: 633000 | #Constraints: 211443
318.27/319.46 c #Conflicts: 634000 | #Constraints: 212443
318.27/319.46 c #Conflicts: 635000 | #Constraints: 213443
318.27/319.46 c #Conflicts: 636000 | #Constraints: 214443
318.27/319.46 c #Conflicts: 637000 | #Constraints: 215443
318.27/319.46 c #Conflicts: 638000 | #Constraints: 216443
318.27/319.46 c #Conflicts: 639000 | #Constraints: 217443
318.27/319.46 c #Conflicts: 640000 | #Constraints: 218443
318.27/319.46 c INPROCESSING
318.27/319.46 c GARBAGE COLLECT
318.27/319.46 c #Conflicts: 641000 | #Constraints: 188723
318.27/319.46 c #Conflicts: 642000 | #Constraints: 189723
318.27/319.46 c #Conflicts: 643000 | #Constraints: 190723
318.27/319.46 c #Conflicts: 644000 | #Constraints: 191723
318.27/319.46 c #Conflicts: 645000 | #Constraints: 192723
318.27/319.46 c #Conflicts: 646000 | #Constraints: 193723
318.27/319.46 c #Conflicts: 647000 | #Constraints: 194723
318.27/319.46 c #Conflicts: 648000 | #Constraints: 195723
318.27/319.46 c #Conflicts: 649000 | #Constraints: 196723
338.92/340.17 c #Conflicts: 650000 | #Constraints: 197723
338.92/340.17 c #Conflicts: 651000 | #Constraints: 198723
338.92/340.17 c #Conflicts: 652000 | #Constraints: 199723
338.92/340.17 c #Conflicts: 653000 | #Constraints: 200723
338.92/340.17 c #Conflicts: 654000 | #Constraints: 201723
338.92/340.17 c #Conflicts: 655000 | #Constraints: 202723
338.92/340.17 c #Conflicts: 656000 | #Constraints: 203723
338.92/340.17 c #Conflicts: 657000 | #Constraints: 204723
338.92/340.17 c #Conflicts: 658000 | #Constraints: 205723
338.92/340.17 c #Conflicts: 659000 | #Constraints: 206723
338.92/340.17 c #Conflicts: 660000 | #Constraints: 207723
338.92/340.17 c #Conflicts: 661000 | #Constraints: 208723
338.92/340.17 c #Conflicts: 662000 | #Constraints: 209723
338.92/340.17 c #Conflicts: 663000 | #Constraints: 210723
338.92/340.17 c #Conflicts: 664000 | #Constraints: 211723
338.92/340.17 c #Conflicts: 665000 | #Constraints: 212723
338.92/340.17 c #Conflicts: 666000 | #Constraints: 213723
338.92/340.17 c #Conflicts: 667000 | #Constraints: 214723
338.92/340.17 c #Conflicts: 668000 | #Constraints: 215723
338.92/340.17 c #Conflicts: 669000 | #Constraints: 216723
338.92/340.17 c #Conflicts: 670000 | #Constraints: 217723
338.92/340.17 c #Conflicts: 671000 | #Constraints: 218723
338.92/340.17 c #Conflicts: 672000 | #Constraints: 219723
338.92/340.17 c #Conflicts: 673000 | #Constraints: 220723
338.92/340.17 c #Conflicts: 674000 | #Constraints: 221723
338.92/340.17 c #Conflicts: 675000 | #Constraints: 222723
338.92/340.17 c #Conflicts: 676000 | #Constraints: 223723
338.92/340.17 c #Conflicts: 677000 | #Constraints: 224723
338.92/340.17 c #Conflicts: 678000 | #Constraints: 225723
338.92/340.17 c #Conflicts: 679000 | #Constraints: 226723
338.92/340.17 c #Conflicts: 680000 | #Constraints: 227723
338.92/340.17 c #Conflicts: 681000 | #Constraints: 228723
338.92/340.17 c #Conflicts: 682000 | #Constraints: 229723
338.92/340.17 c #Conflicts: 683000 | #Constraints: 230723
338.92/340.17 c #Conflicts: 684000 | #Constraints: 231723
338.92/340.17 c #Conflicts: 685000 | #Constraints: 232723
338.92/340.17 c #Conflicts: 686000 | #Constraints: 233723
338.92/340.17 c #Conflicts: 687000 | #Constraints: 234723
338.92/340.17 c #Conflicts: 688000 | #Constraints: 235723
338.92/340.17 c #Conflicts: 689000 | #Constraints: 236723
338.92/340.17 c #Conflicts: 690000 | #Constraints: 237723
338.92/340.17 c #Conflicts: 691000 | #Constraints: 238723
338.92/340.17 c #Conflicts: 692000 | #Constraints: 239723
338.92/340.17 c #Conflicts: 693000 | #Constraints: 240723
338.92/340.17 c #Conflicts: 694000 | #Constraints: 241723
338.92/340.17 c #Conflicts: 695000 | #Constraints: 242723
338.92/340.17 c INPROCESSING
338.92/340.17 c GARBAGE COLLECT
338.92/340.17 c rational objective 319
364.43/365.72 c #Conflicts: 696000 | #Constraints: 200781
364.43/365.72 c #Conflicts: 697000 | #Constraints: 201781
364.43/365.72 c #Conflicts: 698000 | #Constraints: 202781
364.43/365.72 c #Conflicts: 699000 | #Constraints: 203781
364.43/365.72 c #Conflicts: 700000 | #Constraints: 204781
364.43/365.72 c #Conflicts: 701000 | #Constraints: 205781
364.43/365.72 c #Conflicts: 702000 | #Constraints: 206781
364.43/365.72 c #Conflicts: 703000 | #Constraints: 207781
364.43/365.72 c #Conflicts: 704000 | #Constraints: 208781
364.43/365.72 c #Conflicts: 705000 | #Constraints: 209781
364.43/365.72 c #Conflicts: 706000 | #Constraints: 210781
364.43/365.72 c #Conflicts: 707000 | #Constraints: 211781
364.43/365.72 c #Conflicts: 708000 | #Constraints: 212781
364.43/365.72 c #Conflicts: 709000 | #Constraints: 213781
364.43/365.72 c #Conflicts: 710000 | #Constraints: 214781
364.43/365.72 c #Conflicts: 711000 | #Constraints: 215781
364.43/365.72 c #Conflicts: 712000 | #Constraints: 216781
364.43/365.72 c #Conflicts: 713000 | #Constraints: 217781
364.43/365.72 c #Conflicts: 714000 | #Constraints: 218781
364.43/365.72 c #Conflicts: 715000 | #Constraints: 219781
364.43/365.72 c #Conflicts: 716000 | #Constraints: 220781
364.43/365.72 c #Conflicts: 717000 | #Constraints: 221781
364.43/365.72 c INPROCESSING
364.43/365.72 c GARBAGE COLLECT
364.43/365.72 c #Conflicts: 718000 | #Constraints: 190146
364.43/365.72 c #Conflicts: 719000 | #Constraints: 191146
364.43/365.72 c #Conflicts: 720000 | #Constraints: 192146
364.43/365.72 c #Conflicts: 721000 | #Constraints: 193146
364.43/365.72 c #Conflicts: 722000 | #Constraints: 194146
364.43/365.72 c #Conflicts: 723000 | #Constraints: 195146
364.43/365.72 c #Conflicts: 724000 | #Constraints: 196146
364.43/365.72 c #Conflicts: 725000 | #Constraints: 197146
364.43/365.72 c #Conflicts: 726000 | #Constraints: 198146
364.43/365.72 c #Conflicts: 727000 | #Constraints: 199146
364.43/365.72 c #Conflicts: 728000 | #Constraints: 200146
364.43/365.72 c #Conflicts: 729000 | #Constraints: 201146
364.43/365.72 c #Conflicts: 730000 | #Constraints: 202146
364.43/365.72 c #Conflicts: 731000 | #Constraints: 203146
364.43/365.72 c #Conflicts: 732000 | #Constraints: 204146
364.43/365.72 c #Conflicts: 733000 | #Constraints: 205146
364.43/365.72 c #Conflicts: 734000 | #Constraints: 206146
364.43/365.72 c #Conflicts: 735000 | #Constraints: 207146
364.43/365.72 c #Conflicts: 736000 | #Constraints: 208146
364.43/365.72 c #Conflicts: 737000 | #Constraints: 209146
364.43/365.72 c #Conflicts: 738000 | #Constraints: 210146
364.43/365.72 c #Conflicts: 739000 | #Constraints: 211146
364.43/365.72 c #Conflicts: 740000 | #Constraints: 212146
364.43/365.72 c #Conflicts: 741000 | #Constraints: 213146
364.43/365.72 c #Conflicts: 742000 | #Constraints: 214146
364.43/365.72 c #Conflicts: 743000 | #Constraints: 215146
364.43/365.72 c #Conflicts: 744000 | #Constraints: 216146
364.43/365.72 c #Conflicts: 745000 | #Constraints: 217146
364.43/365.72 c #Conflicts: 746000 | #Constraints: 218146
364.43/365.72 c #Conflicts: 747000 | #Constraints: 219146
364.43/365.72 c #Conflicts: 748000 | #Constraints: 220146
364.43/365.72 c #Conflicts: 749000 | #Constraints: 221146
364.43/365.72 c #Conflicts: 750000 | #Constraints: 222146
364.43/365.72 c #Conflicts: 751000 | #Constraints: 223146
364.43/365.72 c #Conflicts: 752000 | #Constraints: 224146
364.43/365.72 c #Conflicts: 753000 | #Constraints: 225146
364.43/365.72 c #Conflicts: 754000 | #Constraints: 226146
364.43/365.72 c #Conflicts: 755000 | #Constraints: 227146
364.43/365.72 c #Conflicts: 756000 | #Constraints: 228146
364.43/365.72 c #Conflicts: 757000 | #Constraints: 229146
364.43/365.72 c #Conflicts: 758000 | #Constraints: 230146
364.43/365.72 c #Conflicts: 759000 | #Constraints: 231146
364.43/365.72 c #Conflicts: 760000 | #Constraints: 232146
364.43/365.72 c #Conflicts: 761000 | #Constraints: 233146
364.43/365.72 c #Conflicts: 762000 | #Constraints: 234146
364.43/365.72 c #Conflicts: 763000 | #Constraints: 235146
364.43/365.72 c #Conflicts: 764000 | #Constraints: 236146
364.43/365.72 c #Conflicts: 765000 | #Constraints: 237146
364.43/365.72 c #Conflicts: 766000 | #Constraints: 238146
364.43/365.72 c #Conflicts: 767000 | #Constraints: 239146
364.43/365.72 c #Conflicts: 768000 | #Constraints: 240146
364.43/365.72 c #Conflicts: 769000 | #Constraints: 241146
364.43/365.72 c #Conflicts: 770000 | #Constraints: 242146
364.43/365.72 c #Conflicts: 771000 | #Constraints: 243146
364.43/365.72 c #Conflicts: 772000 | #Constraints: 244146
364.43/365.72 c #Conflicts: 773000 | #Constraints: 245146
364.43/365.72 c #Conflicts: 774000 | #Constraints: 246146
379.88/381.21 c #Conflicts: 775000 | #Constraints: 247146
379.88/381.21 c #Conflicts: 776000 | #Constraints: 248146
379.88/381.21 c INPROCESSING
379.88/381.21 c GARBAGE COLLECT
379.88/381.21 c #Conflicts: 777000 | #Constraints: 203631
379.88/381.21 c #Conflicts: 778000 | #Constraints: 204631
379.88/381.21 c #Conflicts: 779000 | #Constraints: 205631
379.88/381.21 c #Conflicts: 780000 | #Constraints: 206631
379.88/381.21 c #Conflicts: 781000 | #Constraints: 207631
379.88/381.21 c #Conflicts: 782000 | #Constraints: 208631
379.88/381.21 c #Conflicts: 783000 | #Constraints: 209631
379.88/381.21 c #Conflicts: 784000 | #Constraints: 210631
379.88/381.21 c #Conflicts: 785000 | #Constraints: 211631
379.88/381.21 c #Conflicts: 786000 | #Constraints: 212631
379.88/381.21 c #Conflicts: 787000 | #Constraints: 213631
379.88/381.21 c #Conflicts: 788000 | #Constraints: 214631
379.88/381.21 c #Conflicts: 789000 | #Constraints: 215631
379.88/381.21 c #Conflicts: 790000 | #Constraints: 216631
379.88/381.21 c #Conflicts: 791000 | #Constraints: 217631
379.88/381.21 c #Conflicts: 792000 | #Constraints: 218631
379.88/381.21 c #Conflicts: 793000 | #Constraints: 219631
379.88/381.21 c #Conflicts: 794000 | #Constraints: 220631
379.88/381.21 c #Conflicts: 795000 | #Constraints: 221631
379.88/381.21 c #Conflicts: 796000 | #Constraints: 222631
379.88/381.21 c #Conflicts: 797000 | #Constraints: 223631
379.88/381.21 c #Conflicts: 798000 | #Constraints: 224631
379.88/381.21 c #Conflicts: 799000 | #Constraints: 225631
379.88/381.21 c INPROCESSING
379.88/381.21 c GARBAGE COLLECT
379.88/381.21 c rational objective 319.05
406.20/407.66 c #Conflicts: 800000 | #Constraints: 192193
406.20/407.66 c #Conflicts: 801000 | #Constraints: 193193
406.20/407.66 c #Conflicts: 802000 | #Constraints: 194193
406.20/407.66 c #Conflicts: 803000 | #Constraints: 195193
406.20/407.66 c #Conflicts: 804000 | #Constraints: 196193
406.20/407.66 c #Conflicts: 805000 | #Constraints: 197193
406.20/407.66 c #Conflicts: 806000 | #Constraints: 198193
406.20/407.66 c #Conflicts: 807000 | #Constraints: 199193
406.20/407.66 c #Conflicts: 808000 | #Constraints: 200193
406.20/407.66 c #Conflicts: 809000 | #Constraints: 201193
406.20/407.66 c #Conflicts: 810000 | #Constraints: 202193
406.20/407.66 c #Conflicts: 811000 | #Constraints: 203193
406.20/407.66 c #Conflicts: 812000 | #Constraints: 204193
406.20/407.66 c #Conflicts: 813000 | #Constraints: 205193
406.20/407.66 c #Conflicts: 814000 | #Constraints: 206193
406.20/407.66 c #Conflicts: 815000 | #Constraints: 207193
406.20/407.66 c #Conflicts: 816000 | #Constraints: 208193
406.20/407.66 c #Conflicts: 817000 | #Constraints: 209193
406.20/407.66 c #Conflicts: 818000 | #Constraints: 210193
406.20/407.66 c #Conflicts: 819000 | #Constraints: 211193
406.20/407.66 c #Conflicts: 820000 | #Constraints: 212193
406.20/407.66 c #Conflicts: 821000 | #Constraints: 213193
406.20/407.66 c #Conflicts: 822000 | #Constraints: 214193
406.20/407.66 c #Conflicts: 823000 | #Constraints: 215193
406.20/407.66 c #Conflicts: 824000 | #Constraints: 216193
406.20/407.66 c #Conflicts: 825000 | #Constraints: 217193
406.20/407.66 c #Conflicts: 826000 | #Constraints: 218193
406.20/407.66 c #Conflicts: 827000 | #Constraints: 219193
406.20/407.66 c #Conflicts: 828000 | #Constraints: 220193
406.20/407.66 c #Conflicts: 829000 | #Constraints: 221193
406.20/407.66 c #Conflicts: 830000 | #Constraints: 222193
406.20/407.66 c #Conflicts: 831000 | #Constraints: 223193
406.20/407.66 c #Conflicts: 832000 | #Constraints: 224193
406.20/407.66 c #Conflicts: 833000 | #Constraints: 225193
406.20/407.66 c #Conflicts: 834000 | #Constraints: 226193
406.20/407.66 c #Conflicts: 835000 | #Constraints: 227193
406.20/407.66 c #Conflicts: 836000 | #Constraints: 228193
406.20/407.66 c #Conflicts: 837000 | #Constraints: 229193
406.20/407.66 c #Conflicts: 838000 | #Constraints: 230193
406.20/407.66 c #Conflicts: 839000 | #Constraints: 231193
406.20/407.66 c #Conflicts: 840000 | #Constraints: 232193
406.20/407.66 c #Conflicts: 841000 | #Constraints: 233193
406.20/407.66 c #Conflicts: 842000 | #Constraints: 234193
406.20/407.66 c #Conflicts: 843000 | #Constraints: 235193
406.20/407.66 c #Conflicts: 844000 | #Constraints: 236193
406.20/407.66 c #Conflicts: 845000 | #Constraints: 237193
406.20/407.66 c #Conflicts: 846000 | #Constraints: 238193
406.20/407.66 c #Conflicts: 847000 | #Constraints: 239193
406.20/407.66 c #Conflicts: 848000 | #Constraints: 240193
406.20/407.66 c #Conflicts: 849000 | #Constraints: 241193
406.20/407.66 c #Conflicts: 850000 | #Constraints: 242193
406.20/407.66 c #Conflicts: 851000 | #Constraints: 243193
406.20/407.66 c #Conflicts: 852000 | #Constraints: 244193
406.20/407.66 c #Conflicts: 853000 | #Constraints: 245193
406.20/407.66 c #Conflicts: 854000 | #Constraints: 246193
406.20/407.66 c #Conflicts: 855000 | #Constraints: 247193
406.20/407.66 c #Conflicts: 856000 | #Constraints: 248193
406.20/407.66 c #Conflicts: 857000 | #Constraints: 249193
406.20/407.66 c #Conflicts: 858000 | #Constraints: 250193
406.20/407.66 c #Conflicts: 859000 | #Constraints: 251193
406.20/407.66 c #Conflicts: 860000 | #Constraints: 252193
406.20/407.66 c #Conflicts: 861000 | #Constraints: 253193
406.20/407.66 c INPROCESSING
406.20/407.66 c GARBAGE COLLECT
406.20/407.66 c #Conflicts: 862000 | #Constraints: 206203
406.20/407.66 c #Conflicts: 863000 | #Constraints: 207203
406.20/407.66 c #Conflicts: 864000 | #Constraints: 208203
406.20/407.66 c #Conflicts: 865000 | #Constraints: 209203
406.20/407.66 c #Conflicts: 866000 | #Constraints: 210203
406.20/407.66 c #Conflicts: 867000 | #Constraints: 211203
406.20/407.66 c #Conflicts: 868000 | #Constraints: 212203
406.20/407.66 c #Conflicts: 869000 | #Constraints: 213203
406.20/407.66 c #Conflicts: 870000 | #Constraints: 214203
406.20/407.66 c #Conflicts: 871000 | #Constraints: 215203
406.20/407.66 c #Conflicts: 872000 | #Constraints: 216203
406.20/407.66 c #Conflicts: 873000 | #Constraints: 217203
406.20/407.66 c #Conflicts: 874000 | #Constraints: 218203
406.20/407.66 c #Conflicts: 875000 | #Constraints: 219203
406.20/407.66 c #Conflicts: 876000 | #Constraints: 220203
406.20/407.66 c #Conflicts: 877000 | #Constraints: 221203
406.20/407.66 c #Conflicts: 878000 | #Constraints: 222203
432.32/433.82 c #Conflicts: 879000 | #Constraints: 223203
432.32/433.82 c #Conflicts: 880000 | #Constraints: 224203
432.32/433.82 c #Conflicts: 881000 | #Constraints: 225203
432.32/433.82 c #Conflicts: 882000 | #Constraints: 226203
432.32/433.82 c #Conflicts: 883000 | #Constraints: 227203
432.32/433.82 c #Conflicts: 884000 | #Constraints: 228203
432.32/433.82 c #Conflicts: 885000 | #Constraints: 229203
432.32/433.82 c INPROCESSING
432.32/433.82 c GARBAGE COLLECT
432.32/433.82 c #Conflicts: 886000 | #Constraints: 193865
432.32/433.82 c #Conflicts: 887000 | #Constraints: 194865
432.32/433.82 c #Conflicts: 888000 | #Constraints: 195865
432.32/433.82 c #Conflicts: 889000 | #Constraints: 196865
432.32/433.82 c #Conflicts: 890000 | #Constraints: 197865
432.32/433.82 c #Conflicts: 891000 | #Constraints: 198865
432.32/433.82 c #Conflicts: 892000 | #Constraints: 199865
432.32/433.82 c #Conflicts: 893000 | #Constraints: 200865
432.32/433.82 c #Conflicts: 894000 | #Constraints: 201865
432.32/433.82 c #Conflicts: 895000 | #Constraints: 202865
432.32/433.82 c #Conflicts: 896000 | #Constraints: 203865
432.32/433.82 c #Conflicts: 897000 | #Constraints: 204865
432.32/433.82 c #Conflicts: 898000 | #Constraints: 205865
432.32/433.82 c #Conflicts: 899000 | #Constraints: 206865
432.32/433.82 c #Conflicts: 900000 | #Constraints: 207865
432.32/433.82 c #Conflicts: 901000 | #Constraints: 208865
432.32/433.82 c #Conflicts: 902000 | #Constraints: 209865
432.32/433.82 c #Conflicts: 903000 | #Constraints: 210865
432.32/433.82 c #Conflicts: 904000 | #Constraints: 211865
432.32/433.82 c #Conflicts: 905000 | #Constraints: 212865
432.32/433.82 c #Conflicts: 906000 | #Constraints: 213865
432.32/433.82 c #Conflicts: 907000 | #Constraints: 214865
432.32/433.82 c #Conflicts: 908000 | #Constraints: 215865
432.32/433.82 c #Conflicts: 909000 | #Constraints: 216865
432.32/433.82 c #Conflicts: 910000 | #Constraints: 217865
432.32/433.82 c #Conflicts: 911000 | #Constraints: 218865
432.32/433.82 c #Conflicts: 912000 | #Constraints: 219865
432.32/433.82 c #Conflicts: 913000 | #Constraints: 220865
432.32/433.82 c #Conflicts: 914000 | #Constraints: 221865
432.32/433.82 c #Conflicts: 915000 | #Constraints: 222865
432.32/433.82 c #Conflicts: 916000 | #Constraints: 223865
432.32/433.82 c #Conflicts: 917000 | #Constraints: 224865
432.32/433.82 c #Conflicts: 918000 | #Constraints: 225865
432.32/433.82 c #Conflicts: 919000 | #Constraints: 226865
432.32/433.82 c #Conflicts: 920000 | #Constraints: 227865
432.32/433.82 c #Conflicts: 921000 | #Constraints: 228865
432.32/433.82 c #Conflicts: 922000 | #Constraints: 229865
432.32/433.82 c #Conflicts: 923000 | #Constraints: 230865
432.32/433.82 c #Conflicts: 924000 | #Constraints: 231865
432.32/433.82 c #Conflicts: 925000 | #Constraints: 232865
432.32/433.82 c #Conflicts: 926000 | #Constraints: 233865
432.32/433.82 c #Conflicts: 927000 | #Constraints: 234865
432.32/433.82 c #Conflicts: 928000 | #Constraints: 235865
432.32/433.82 c #Conflicts: 929000 | #Constraints: 236865
432.32/433.82 c #Conflicts: 930000 | #Constraints: 237865
432.32/433.82 c #Conflicts: 931000 | #Constraints: 238865
432.32/433.82 c #Conflicts: 932000 | #Constraints: 239865
432.32/433.82 c #Conflicts: 933000 | #Constraints: 240865
432.32/433.82 c #Conflicts: 934000 | #Constraints: 241865
432.32/433.82 c #Conflicts: 935000 | #Constraints: 242865
432.32/433.82 c #Conflicts: 936000 | #Constraints: 243865
432.32/433.82 c #Conflicts: 937000 | #Constraints: 244865
432.32/433.82 c #Conflicts: 938000 | #Constraints: 245865
432.32/433.82 c #Conflicts: 939000 | #Constraints: 246865
432.32/433.82 c #Conflicts: 940000 | #Constraints: 247865
432.32/433.82 c #Conflicts: 941000 | #Constraints: 248865
432.32/433.82 c #Conflicts: 942000 | #Constraints: 249865
432.32/433.82 c #Conflicts: 943000 | #Constraints: 250865
432.32/433.82 c #Conflicts: 944000 | #Constraints: 251865
432.32/433.82 c #Conflicts: 945000 | #Constraints: 252865
432.32/433.82 c #Conflicts: 946000 | #Constraints: 253865
432.32/433.82 c #Conflicts: 947000 | #Constraints: 254865
432.32/433.82 c #Conflicts: 948000 | #Constraints: 255865
432.32/433.82 c #Conflicts: 949000 | #Constraints: 256865
432.32/433.82 c #Conflicts: 950000 | #Constraints: 257865
432.32/433.82 c INPROCESSING
432.32/433.82 c GARBAGE COLLECT
432.32/433.82 c rational objective 319.375
454.56/456.14 c #Conflicts: 951000 | #Constraints: 208332
454.56/456.14 c #Conflicts: 952000 | #Constraints: 209332
454.56/456.14 c #Conflicts: 953000 | #Constraints: 210332
454.56/456.14 c #Conflicts: 954000 | #Constraints: 211332
454.56/456.14 c #Conflicts: 955000 | #Constraints: 212332
454.56/456.14 c #Conflicts: 956000 | #Constraints: 213332
454.56/456.14 c #Conflicts: 957000 | #Constraints: 214332
454.56/456.14 c #Conflicts: 958000 | #Constraints: 215332
454.56/456.14 c #Conflicts: 959000 | #Constraints: 216332
454.56/456.14 c #Conflicts: 960000 | #Constraints: 217332
454.56/456.14 c #Conflicts: 961000 | #Constraints: 218332
454.56/456.14 c #Conflicts: 962000 | #Constraints: 219332
454.56/456.14 c #Conflicts: 963000 | #Constraints: 220332
454.56/456.14 c #Conflicts: 964000 | #Constraints: 221332
454.56/456.14 c #Conflicts: 965000 | #Constraints: 222332
454.56/456.14 c #Conflicts: 966000 | #Constraints: 223332
454.56/456.14 c #Conflicts: 967000 | #Constraints: 224332
454.56/456.14 c #Conflicts: 968000 | #Constraints: 225332
454.56/456.14 c #Conflicts: 969000 | #Constraints: 226332
454.56/456.14 c #Conflicts: 970000 | #Constraints: 227332
454.56/456.14 c #Conflicts: 971000 | #Constraints: 228332
454.56/456.14 c #Conflicts: 972000 | #Constraints: 229332
454.56/456.14 c #Conflicts: 973000 | #Constraints: 230332
454.56/456.14 c #Conflicts: 974000 | #Constraints: 231332
454.56/456.14 c #Conflicts: 975000 | #Constraints: 232332
454.56/456.14 c #Conflicts: 976000 | #Constraints: 233332
454.56/456.14 c INPROCESSING
454.56/456.14 c GARBAGE COLLECT
454.56/456.14 c rational objective 319.769
483.06/484.71 c #Conflicts: 977000 | #Constraints: 195969
483.06/484.71 c #Conflicts: 978000 | #Constraints: 196969
483.06/484.71 c #Conflicts: 979000 | #Constraints: 197969
483.06/484.71 c #Conflicts: 980000 | #Constraints: 198969
483.06/484.71 c #Conflicts: 981000 | #Constraints: 199969
483.06/484.71 c #Conflicts: 982000 | #Constraints: 200969
483.06/484.71 c #Conflicts: 983000 | #Constraints: 201969
483.06/484.71 c #Conflicts: 984000 | #Constraints: 202969
483.06/484.71 c #Conflicts: 985000 | #Constraints: 203969
483.06/484.71 c #Conflicts: 986000 | #Constraints: 204969
483.06/484.71 c #Conflicts: 987000 | #Constraints: 205969
483.06/484.71 c #Conflicts: 988000 | #Constraints: 206969
483.06/484.71 c #Conflicts: 989000 | #Constraints: 207969
483.06/484.71 c #Conflicts: 990000 | #Constraints: 208969
483.06/484.71 c #Conflicts: 991000 | #Constraints: 209969
483.06/484.71 c #Conflicts: 992000 | #Constraints: 210969
483.06/484.71 c #Conflicts: 993000 | #Constraints: 211969
483.06/484.71 c #Conflicts: 994000 | #Constraints: 212969
483.06/484.71 c #Conflicts: 995000 | #Constraints: 213969
483.06/484.71 c #Conflicts: 996000 | #Constraints: 214969
483.06/484.71 c #Conflicts: 997000 | #Constraints: 215969
483.06/484.71 c #Conflicts: 998000 | #Constraints: 216969
483.06/484.71 c #Conflicts: 999000 | #Constraints: 217969
483.06/484.71 c #Conflicts: 1000000 | #Constraints: 218969
483.06/484.71 c #Conflicts: 1001000 | #Constraints: 219969
483.06/484.71 c #Conflicts: 1002000 | #Constraints: 220969
483.06/484.71 c #Conflicts: 1003000 | #Constraints: 221969
483.06/484.71 c #Conflicts: 1004000 | #Constraints: 222969
483.06/484.71 c #Conflicts: 1005000 | #Constraints: 223969
483.06/484.71 c #Conflicts: 1006000 | #Constraints: 224969
483.06/484.71 c #Conflicts: 1007000 | #Constraints: 225969
483.06/484.71 c #Conflicts: 1008000 | #Constraints: 226969
483.06/484.71 c #Conflicts: 1009000 | #Constraints: 227969
483.06/484.71 c #Conflicts: 1010000 | #Constraints: 228969
483.06/484.71 c #Conflicts: 1011000 | #Constraints: 229969
483.06/484.71 c #Conflicts: 1012000 | #Constraints: 230969
483.06/484.71 c #Conflicts: 1013000 | #Constraints: 231969
483.06/484.71 c #Conflicts: 1014000 | #Constraints: 232969
483.06/484.71 c #Conflicts: 1015000 | #Constraints: 233969
483.06/484.71 c #Conflicts: 1016000 | #Constraints: 234969
483.06/484.71 c #Conflicts: 1017000 | #Constraints: 235969
483.06/484.71 c #Conflicts: 1018000 | #Constraints: 236969
483.06/484.71 c #Conflicts: 1019000 | #Constraints: 237969
483.06/484.71 c #Conflicts: 1020000 | #Constraints: 238969
483.06/484.71 c #Conflicts: 1021000 | #Constraints: 239969
483.06/484.71 c #Conflicts: 1022000 | #Constraints: 240969
483.06/484.71 c #Conflicts: 1023000 | #Constraints: 241969
483.06/484.71 c #Conflicts: 1024000 | #Constraints: 242969
483.06/484.71 c #Conflicts: 1025000 | #Constraints: 243969
483.06/484.71 c #Conflicts: 1026000 | #Constraints: 244969
483.06/484.71 c #Conflicts: 1027000 | #Constraints: 245969
483.06/484.71 c #Conflicts: 1028000 | #Constraints: 246969
483.06/484.71 c #Conflicts: 1029000 | #Constraints: 247969
483.06/484.71 c #Conflicts: 1030000 | #Constraints: 248969
483.06/484.71 c #Conflicts: 1031000 | #Constraints: 249969
483.06/484.71 c #Conflicts: 1032000 | #Constraints: 250969
483.06/484.71 c #Conflicts: 1033000 | #Constraints: 251969
483.06/484.71 c #Conflicts: 1034000 | #Constraints: 252969
483.06/484.71 c #Conflicts: 1035000 | #Constraints: 253969
483.06/484.71 c #Conflicts: 1036000 | #Constraints: 254969
483.06/484.71 c #Conflicts: 1037000 | #Constraints: 255969
483.06/484.71 c #Conflicts: 1038000 | #Constraints: 256969
483.06/484.71 c #Conflicts: 1039000 | #Constraints: 257969
483.06/484.71 c #Conflicts: 1040000 | #Constraints: 258969
483.06/484.71 c #Conflicts: 1041000 | #Constraints: 259969
483.06/484.71 c #Conflicts: 1042000 | #Constraints: 260969
483.06/484.71 c #Conflicts: 1043000 | #Constraints: 261969
483.06/484.71 c #Conflicts: 1044000 | #Constraints: 262969
483.06/484.71 c INPROCESSING
483.06/484.71 c GARBAGE COLLECT
483.06/484.71 c #Conflicts: 1045000 | #Constraints: 210259
483.06/484.71 c #Conflicts: 1046000 | #Constraints: 211259
483.06/484.71 c #Conflicts: 1047000 | #Constraints: 212259
483.06/484.71 c #Conflicts: 1048000 | #Constraints: 213259
483.06/484.71 c #Conflicts: 1049000 | #Constraints: 214259
483.06/484.71 c #Conflicts: 1050000 | #Constraints: 215259
483.06/484.71 c #Conflicts: 1051000 | #Constraints: 216259
483.06/484.71 c #Conflicts: 1052000 | #Constraints: 217259
483.06/484.71 c #Conflicts: 1053000 | #Constraints: 218259
483.06/484.71 c #Conflicts: 1054000 | #Constraints: 219259
483.06/484.71 c #Conflicts: 1055000 | #Constraints: 220259
508.40/510.16 c #Conflicts: 1056000 | #Constraints: 221259
508.40/510.16 c #Conflicts: 1057000 | #Constraints: 222259
508.40/510.16 c #Conflicts: 1058000 | #Constraints: 223259
508.40/510.16 c #Conflicts: 1059000 | #Constraints: 224259
508.40/510.16 c #Conflicts: 1060000 | #Constraints: 225259
508.40/510.16 c #Conflicts: 1061000 | #Constraints: 226259
508.40/510.16 c #Conflicts: 1062000 | #Constraints: 227259
508.40/510.16 c #Conflicts: 1063000 | #Constraints: 228259
508.40/510.16 c #Conflicts: 1064000 | #Constraints: 229259
508.40/510.16 c #Conflicts: 1065000 | #Constraints: 230259
508.40/510.16 c #Conflicts: 1066000 | #Constraints: 231259
508.40/510.16 c #Conflicts: 1067000 | #Constraints: 232259
508.40/510.16 c #Conflicts: 1068000 | #Constraints: 233259
508.40/510.16 c #Conflicts: 1069000 | #Constraints: 234259
508.40/510.16 c #Conflicts: 1070000 | #Constraints: 235259
508.40/510.16 c #Conflicts: 1071000 | #Constraints: 236259
508.40/510.16 c INPROCESSING
508.40/510.16 c GARBAGE COLLECT
508.40/510.16 c #Conflicts: 1072000 | #Constraints: 191940
508.40/510.16 c #Conflicts: 1073000 | #Constraints: 192940
508.40/510.16 c #Conflicts: 1074000 | #Constraints: 193940
508.40/510.16 c #Conflicts: 1075000 | #Constraints: 194940
508.40/510.16 c #Conflicts: 1076000 | #Constraints: 195940
508.40/510.16 c #Conflicts: 1077000 | #Constraints: 196940
508.40/510.16 c #Conflicts: 1078000 | #Constraints: 197940
508.40/510.16 c #Conflicts: 1079000 | #Constraints: 198940
508.40/510.16 c #Conflicts: 1080000 | #Constraints: 199940
508.40/510.16 c #Conflicts: 1081000 | #Constraints: 200940
508.40/510.16 c #Conflicts: 1082000 | #Constraints: 201940
508.40/510.16 c #Conflicts: 1083000 | #Constraints: 202940
508.40/510.16 c #Conflicts: 1084000 | #Constraints: 203940
508.40/510.16 c #Conflicts: 1085000 | #Constraints: 204940
508.40/510.16 c #Conflicts: 1086000 | #Constraints: 205940
508.40/510.16 c #Conflicts: 1087000 | #Constraints: 206940
508.40/510.16 c #Conflicts: 1088000 | #Constraints: 207940
508.40/510.16 c #Conflicts: 1089000 | #Constraints: 208940
508.40/510.16 c #Conflicts: 1090000 | #Constraints: 209940
508.40/510.16 c #Conflicts: 1091000 | #Constraints: 210940
508.40/510.16 c #Conflicts: 1092000 | #Constraints: 211940
508.40/510.16 c #Conflicts: 1093000 | #Constraints: 212940
508.40/510.16 c #Conflicts: 1094000 | #Constraints: 213940
508.40/510.16 c #Conflicts: 1095000 | #Constraints: 214940
508.40/510.16 c #Conflicts: 1096000 | #Constraints: 215940
508.40/510.16 c #Conflicts: 1097000 | #Constraints: 216940
508.40/510.16 c #Conflicts: 1098000 | #Constraints: 217940
508.40/510.16 c #Conflicts: 1099000 | #Constraints: 218940
508.40/510.16 c #Conflicts: 1100000 | #Constraints: 219940
508.40/510.16 c #Conflicts: 1101000 | #Constraints: 220940
508.40/510.16 c #Conflicts: 1102000 | #Constraints: 221940
508.40/510.16 c #Conflicts: 1103000 | #Constraints: 222940
508.40/510.16 c #Conflicts: 1104000 | #Constraints: 223940
508.40/510.16 c #Conflicts: 1105000 | #Constraints: 224940
508.40/510.16 c #Conflicts: 1106000 | #Constraints: 225940
508.40/510.16 c #Conflicts: 1107000 | #Constraints: 226940
508.40/510.16 c #Conflicts: 1108000 | #Constraints: 227940
508.40/510.16 c #Conflicts: 1109000 | #Constraints: 228940
508.40/510.16 c #Conflicts: 1110000 | #Constraints: 229940
508.40/510.16 c #Conflicts: 1111000 | #Constraints: 230940
508.40/510.16 c #Conflicts: 1112000 | #Constraints: 231940
508.40/510.16 c #Conflicts: 1113000 | #Constraints: 232940
508.40/510.16 c #Conflicts: 1114000 | #Constraints: 233940
508.40/510.16 c #Conflicts: 1115000 | #Constraints: 234940
508.40/510.16 c #Conflicts: 1116000 | #Constraints: 235940
508.40/510.16 c #Conflicts: 1117000 | #Constraints: 236940
508.40/510.16 c #Conflicts: 1118000 | #Constraints: 237940
508.40/510.16 c #Conflicts: 1119000 | #Constraints: 238940
508.40/510.16 c #Conflicts: 1120000 | #Constraints: 239940
508.40/510.16 c #Conflicts: 1121000 | #Constraints: 240940
508.40/510.16 c #Conflicts: 1122000 | #Constraints: 241940
508.40/510.16 c #Conflicts: 1123000 | #Constraints: 242940
508.40/510.16 c #Conflicts: 1124000 | #Constraints: 243940
508.40/510.16 c #Conflicts: 1125000 | #Constraints: 244940
508.40/510.16 c #Conflicts: 1126000 | #Constraints: 245940
508.40/510.16 c #Conflicts: 1127000 | #Constraints: 246940
508.40/510.16 c #Conflicts: 1128000 | #Constraints: 247940
508.40/510.16 c #Conflicts: 1129000 | #Constraints: 248940
508.40/510.16 c #Conflicts: 1130000 | #Constraints: 249940
508.40/510.16 c #Conflicts: 1131000 | #Constraints: 250940
508.40/510.16 c #Conflicts: 1132000 | #Constraints: 251940
508.40/510.16 c #Conflicts: 1133000 | #Constraints: 252940
514.17/515.97 c #Conflicts: 1134000 | #Constraints: 253940
514.17/515.97 c #Conflicts: 1135000 | #Constraints: 254940
514.17/515.97 c #Conflicts: 1136000 | #Constraints: 255940
514.17/515.97 c #Conflicts: 1137000 | #Constraints: 256940
514.17/515.97 c #Conflicts: 1138000 | #Constraints: 257940
514.17/515.97 c #Conflicts: 1139000 | #Constraints: 258940
514.17/515.97 c #Conflicts: 1140000 | #Constraints: 259940
514.17/515.97 c #Conflicts: 1141000 | #Constraints: 260940
514.17/515.97 c #Conflicts: 1142000 | #Constraints: 261940
514.17/515.97 c INPROCESSING
514.17/515.97 c GARBAGE COLLECT
514.17/515.97 c rational objective 355.907
522.94/524.79 c #Conflicts: 1143000 | #Constraints: 209638
522.94/524.79 c #Conflicts: 1144000 | #Constraints: 210638
522.94/524.79 c #Conflicts: 1145000 | #Constraints: 211638
522.94/524.79 c #Conflicts: 1146000 | #Constraints: 212638
522.94/524.79 c #Conflicts: 1147000 | #Constraints: 213638
522.94/524.79 c #Conflicts: 1148000 | #Constraints: 214638
522.94/524.79 c #Conflicts: 1149000 | #Constraints: 215638
522.94/524.79 c #Conflicts: 1150000 | #Constraints: 216638
522.94/524.79 c #Conflicts: 1151000 | #Constraints: 217638
522.94/524.79 c #Conflicts: 1152000 | #Constraints: 218638
522.94/524.79 c #Conflicts: 1153000 | #Constraints: 219638
522.94/524.79 c cpu time 516.445 s
522.94/524.79 c deterministic time 6122667461 6.12e+09
522.94/524.79 c optimization time 8.1e-05 s
522.94/524.79 c total solve time 515.392 s
522.94/524.79 c core-guided solve time 0 s
522.94/524.79 c propagation time 128.881 s
522.94/524.79 c conflict analysis time 63.2053 s
522.94/524.79 c propagations 326404735
522.94/524.79 c resolve steps 22614488
522.94/524.79 c decisions 3395532
522.94/524.79 c conflicts 1153957
522.94/524.79 c restarts 2140
522.94/524.79 c inprocessing phases 48
522.94/524.79 c garbage collections 37 ,( 77.08 )
522.94/524.79 c input clauses 139854 ,( 89.59 )
522.94/524.79 c input cardinalities 564 ,( 0.36 )
522.94/524.79 c input general constraints 15694 ,( 10.05 )
522.94/524.79 c input average constraint length 3.90
522.94/524.79 c input average constraint degree 1.12
522.94/524.79 c learned clauses 1153513 ,( 99.96 )
522.94/524.79 c learned cardinalities 271 ,( 0.02 )
522.94/524.79 c learned general constraints 196 ,( 0.02 )
522.94/524.79 c learned average constraint length 93.68
522.94/524.79 c learned average constraint degree 6700.36
522.94/524.79 c watched CF 32, 64, 128, Arb: 51 , 0 , 0 , 0
522.94/524.79 c counting CF 32, 64, 128, Arb: 15839 , 0 , 0 , 0
522.94/524.79 c watched constraints 51 ,( 0.32 )
522.94/524.79 c counting constraints 15839 ,( 99.68 )
522.94/524.79 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1211202369 , 1299276 , 19745744 ,( 9819 , 19735925 )
522.94/524.79 c gcd simplifications 1605
522.94/524.79 c detected cardinalities 23
522.94/524.79 c weakened non-implied lits 551132
522.94/524.79 c weakened non-implying lits 2436
522.94/524.79 c original variables 7351
522.94/524.79 c clausal propagations 321510714
522.94/524.79 c cardinality propagations 764392
522.94/524.79 c watched propagations 301
522.94/524.79 c counting propagations 2972986
522.94/524.79 c watch lookups 1530980563
522.94/524.79 c watch backjump lookups 0
522.94/524.79 c watch checks 3235280393
522.94/524.79 c propagation checks 378890813
522.94/524.79 c constraint additions 316523913
522.94/524.79 c trail pops 330952108
522.94/524.79 c formula constraints 156112
522.94/524.79 c learned constraints 1153956
522.94/524.79 c bound constraints 0
522.94/524.79 c core-guided constraints 0
522.94/524.79 c encountered formula constraints 13549220
522.94/524.79 c encountered learned constraints 10217539
522.94/524.79 c encountered bound constraints 0
522.94/524.79 c encountered core-guided constraints 0
522.94/524.79 c LP total time 105.228 s
522.94/524.79 c LP solve time 95.78 s
522.94/524.79 c LP constraints added 156237
522.94/524.79 c LP constraints removed 87
522.94/524.79 c LP pivots internal 122932
522.94/524.79 c LP pivots root 116471
522.94/524.79 c LP calls 41
522.94/524.79 c LP optimalities 36
522.94/524.79 c LP no pivot count 0
522.94/524.79 c LP infeasibilities 0
522.94/524.79 c LP valid Farkas constraints 0
522.94/524.79 c LP learned Farkas constraints 0
522.94/524.79 c LP basis resets 0
522.94/524.79 c LP cycling count 0
522.94/524.79 c LP singular count 0
522.94/524.79 c LP no primal count 0
522.94/524.79 c LP no farkas count 0
522.94/524.79 c LP other issue count 0
522.94/524.79 c LP Gomory cuts 24
522.94/524.79 c LP learned cuts 135
522.94/524.79 c LP deleted cuts 108
522.94/524.79 c LP encountered Gomory constraints 1686
522.94/524.79 c LP encountered Farkas constraints 0
522.94/524.79 c LP encountered learned Farkas constraints 0
522.94/524.79 c CG auxiliary variables introduced 0
522.94/524.79 c CG solutions found 0
522.94/524.79 c CG cores constructed 0
522.94/524.79 c CG core cardinality constraints returned 0
522.94/524.79 c CG unit cores 0
522.94/524.79 c CG single cores 0
522.94/524.79 c CG blocks removed during cardinality reduction 0
522.94/524.79 c CG first core best 0
522.94/524.79 c CG decision core best 0
522.94/524.79 c CG core reduction tie 0
522.94/524.79 c CG core degree average 0.00
522.94/524.79 c CG core slack average 0.00
522.94/524.79 c CG core upper bound improvements 0
522.94/524.79 c STR number of successful calls 0
522.94/524.79 c STR number of unsuccessful calls 0
522.94/524.79 c STR number of inconclusive calls 0
522.94/524.79 c STR number of successful attempts 0
522.94/524.79 c STR number of unsuccessful attempts 0
522.94/524.79 c STR number of inconclusive attempts 0
522.94/524.79 c STR average degree increase per successful call inf
522.94/524.79 c STR average degree increase per successful attempt inf
522.94/524.79 c STR total number of conflicts for successful attempts 0
522.94/524.79 c STR total number of conflicts for unsuccessful attempts 0
522.94/524.79 c STR total number of conflicts for inconclusive attempts 0
522.94/524.79 c STR average number of conflicts per successful attempt inf
522.94/524.79 c STR average number of conflicts per unsuccessful attempt inf
522.94/524.79 c STR average number of conflicts per inconclusive attempt inf
522.94/524.79 c AVG.sumWPerc 60.75
522.94/524.79 c bigint constraints 0
523.04/524.80 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: 63794 MiB (62948 MiB free)
memory of node 1: 64507 MiB (62946 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503424-1751163083/watcher-4503424-1751163083 -o /tmp/evaluation-result-4503424-1751163083/solver-4503424-1751163083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18294 --watchdog 3760 run-dec-break.sh HOME/instance-4503424-1751163083.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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=19248, runsolver pid=19245
Current StackSize limit: 8192 KiB
[startup+0.100071 s]*
/proc/loadavg: 4.15 4.27 4.15 5/255 19250
/proc/meminfo: memFree=128888112/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19250] ppid=19248 vsize=52316 memory=43172 CPUtime=0.07 cores=4,6
/proc/19250/stat : 19250 (pbsuma) R 19248 19248 18283 0 -1 4194304 3043 0 0 0 6 1 0 0 20 0 1 0 31987724 53571584 10793 18446744073709551615 4210688 4653049 140724800901280 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 7245824 140724800903523 140724800903730 140724800903730 140724800909295 0
/proc/19250/statm: 13079 10793 992 108 0 10487 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 56508 KiB
Current children cumulated memory: 46116 KiB
[startup+0.217956 s]*
/proc/loadavg: 4.15 4.27 4.15 5/255 19250
/proc/meminfo: memFree=128876456/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19250] ppid=19248 vsize=61144 memory=51844 CPUtime=0.18 cores=4,6
/proc/19250/stat : 19250 (pbsuma) R 19248 19248 18283 0 -1 4194304 5480 0 0 0 16 2 0 0 20 0 1 0 31987724 62611456 12961 18446744073709551615 4210688 4653049 140724800901280 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 7245824 140724800903523 140724800903730 140724800903730 140724800909295 0
/proc/19250/statm: 15286 12961 992 108 0 12694 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 65336 KiB
Current children cumulated memory: 54788 KiB
[startup+0.314844 s]*
/proc/loadavg: 4.15 4.27 4.15 5/255 19250
/proc/meminfo: memFree=128860516/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19250] ppid=19248 vsize=76280 memory=66908 CPUtime=0.26 cores=4,6
/proc/19250/stat : 19250 (pbsuma) R 19248 19248 18283 0 -1 4194304 8190 0 0 0 23 3 0 0 20 0 1 0 31987724 78110720 16727 18446744073709551615 4210688 4653049 140724800901280 0 0 0 0 0 0 0 0 0 17 6 0 0 0 0 0 4700520 4703148 7245824 140724800903523 140724800903730 140724800903730 140724800909295 0
/proc/19250/statm: 19070 16727 1024 108 0 16478 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 80472 KiB
Current children cumulated memory: 69852 KiB
[startup+0.700273 s]
/proc/loadavg: 4.15 4.27 4.15 5/255 19250
/proc/meminfo: memFree=128825424/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+1.50039 s]
/proc/loadavg: 4.15 4.27 4.15 5/255 19251
/proc/meminfo: memFree=128851296/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=97896 memory=54532 CPUtime=0.87 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 11691 0 0 0 64 23 0 0 20 0 1 0 31987783 100245504 13633 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 24474 13633 1984 1147 0 11901 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 102088 KiB
Current children cumulated memory: 57476 KiB
[startup+3.1134 s]
/proc/loadavg: 4.14 4.26 4.15 5/255 19251
/proc/meminfo: memFree=128624508/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=336752 memory=235284 CPUtime=2.48 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 32676 0 0 0 211 37 0 0 20 0 1 0 31987783 344834048 58821 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 84188 58821 2336 1147 0 71615 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 340944 KiB
Current children cumulated memory: 238228 KiB
[startup+6.3004 s]
/proc/loadavg: 4.14 4.26 4.15 5/255 19251
/proc/meminfo: memFree=128641884/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=336752 memory=235284 CPUtime=5.66 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 32680 0 0 0 529 37 0 0 20 0 1 0 31987783 344834048 58821 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 84188 58821 2336 1147 0 71615 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 340944 KiB
Current children cumulated memory: 238228 KiB
[startup+12.7004 s]
/proc/loadavg: 4.12 4.25 4.15 5/255 19251
/proc/meminfo: memFree=128679256/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=358440 memory=248648 CPUtime=12.04 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 34486 0 0 0 1165 39 0 0 20 0 1 0 31987783 367042560 62162 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 89610 62162 2368 1147 0 77037 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 362632 KiB
Current children cumulated memory: 251592 KiB
[startup+25.5004 s]
/proc/loadavg: 4.10 4.25 4.15 5/255 19252
/proc/meminfo: memFree=128675460/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=358440 memory=251728 CPUtime=24.79 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 34732 0 0 0 2438 41 0 0 20 0 1 0 31987783 367042560 62932 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 89610 62932 2368 1147 0 77037 0
Current children cumulated CPU time: 25.29 s
Current children cumulated vsize: 362632 KiB
Current children cumulated memory: 254672 KiB
[startup+51.1132 s]
/proc/loadavg: 4.13 4.24 4.15 5/255 19252
/proc/meminfo: memFree=128667868/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=358440 memory=251728 CPUtime=50.32 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 34744 0 0 0 4984 48 0 0 20 0 1 0 31987783 367042560 62932 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 89610 62932 2368 1147 0 77037 0
Current children cumulated CPU time: 50.82 s
Current children cumulated vsize: 362632 KiB
Current children cumulated memory: 254672 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.23 4.15 5/255 19255
/proc/meminfo: memFree=128681036/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=366884 memory=259844 CPUtime=101.35 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 36289 0 0 0 10052 83 0 0 20 0 1 0 31987783 375689216 64961 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 91721 64961 2368 1147 0 79148 0
Current children cumulated CPU time: 101.85 s
Current children cumulated vsize: 371076 KiB
Current children cumulated memory: 262788 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.20 4.14 5/255 19257
/proc/meminfo: memFree=128665376/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=384988 memory=280840 CPUtime=161.16 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 37480 0 0 0 15955 161 0 0 20 0 1 0 31987783 394227712 70210 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 96247 70210 2368 1147 0 83674 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 389180 KiB
Current children cumulated memory: 283784 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.17 4.14 5/254 19261
/proc/meminfo: memFree=128631396/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=403372 memory=292816 CPUtime=220.97 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 37968 0 0 0 21852 245 0 0 20 0 1 0 31987783 413052928 73204 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 100843 73204 2368 1147 0 88270 0
Current children cumulated CPU time: 221.47 s
Current children cumulated vsize: 407564 KiB
Current children cumulated memory: 295760 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.16 4.13 5/254 19263
/proc/meminfo: memFree=128527648/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=403372 memory=299092 CPUtime=280.79 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 38029 0 0 0 27769 310 0 0 20 0 1 0 31987783 413052928 74773 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 100843 74773 2368 1147 0 88270 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 407564 KiB
Current children cumulated memory: 302036 KiB
[startup+342.3 s]
/proc/loadavg: 4.13 4.16 4.13 5/255 19315
/proc/meminfo: memFree=128568376/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=422340 memory=303344 CPUtime=340.6 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 38595 0 0 0 33676 384 0 0 20 0 1 0 31987783 432476160 75836 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 105585 75836 2368 1147 0 93012 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 426532 KiB
Current children cumulated memory: 306288 KiB
[startup+402.3 s]
/proc/loadavg: 4.05 4.12 4.12 5/254 19319
/proc/meminfo: memFree=128578572/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=425084 memory=312404 CPUtime=400.42 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 39339 0 0 0 39585 457 0 0 20 0 1 0 31987783 435286016 78101 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 106271 78101 2368 1147 0 93698 0
Current children cumulated CPU time: 400.92 s
Current children cumulated vsize: 429276 KiB
Current children cumulated memory: 315348 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/254 19321
/proc/meminfo: memFree=128521812/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=468260 memory=359728 CPUtime=460.23 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 42489 0 0 0 45501 522 0 0 20 0 1 0 31987783 479498240 89932 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 117065 89932 2368 1147 0 104492 0
Current children cumulated CPU time: 460.73 s
Current children cumulated vsize: 472452 KiB
Current children cumulated memory: 362672 KiB
[startup+522.3 s]
/proc/loadavg: 4.11 4.12 4.11 5/254 19323
/proc/meminfo: memFree=128518380/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=504212 memory=377444 CPUtime=520.06 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 43359 0 0 0 51400 606 0 0 20 0 1 0 31987783 516313088 94361 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 126053 94361 2368 1147 0 113480 0
Current children cumulated CPU time: 520.56 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 380388 KiB
[startup+524.815 s]
# the end of solver process 19248 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=516.91 s, system=6.18178 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+523.2 s]
/proc/loadavg: 4.11 4.12 4.11 5/254 19323
/proc/meminfo: memFree=128518140/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=504212 memory=377444 CPUtime=520.95 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 43359 0 0 0 51487 608 0 0 20 0 1 0 31987783 516313088 94361 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 126053 94361 2368 1147 0 113480 0
Current children cumulated CPU time: 521.45 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 380388 KiB
[startup+524 s]*
/proc/loadavg: 4.11 4.12 4.11 5/254 19323
/proc/meminfo: memFree=128518164/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=504212 memory=377444 CPUtime=521.76 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 43359 0 0 0 51568 608 0 0 20 0 1 0 31987783 516313088 94361 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 126053 94361 2368 1147 0 113480 0
Current children cumulated CPU time: 522.26 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 380388 KiB
[startup+524.4 s]
/proc/loadavg: 4.11 4.12 4.11 5/254 19323
/proc/meminfo: memFree=128518164/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=504212 memory=377444 CPUtime=522.15 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 43359 0 0 0 51606 609 0 0 20 0 1 0 31987783 516313088 94361 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 126053 94361 2368 1147 0 113480 0
Current children cumulated CPU time: 522.65 s
Current children cumulated vsize: 508404 KiB
Current children cumulated memory: 380388 KiB
[startup+524.8 s]
/proc/loadavg: 4.11 4.12 4.11 5/254 19323
/proc/meminfo: memFree=128518164/131382120 swapFree=33010684/33010684
[pid=19248] ppid=19245 vsize=4192 memory=2944 CPUtime=0.5 cores=4,6
/proc/19248/stat : 19248 (run-dec-break.s) S 19245 19248 18283 0 -1 4194304 237 16153 0 0 0 0 44 6 20 0 1 0 31987722 4292608 736 18446744073709551615 94478487162880 94478488057413 140730449046080 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94478488296464 94478488344208 94478507823104 140730449054049 140730449054178 140730449054178 140730449059780 0
/proc/19248/statm: 1048 736 672 219 0 110 0
[pid=19251] ppid=19248 vsize=499936 memory=373284 CPUtime=522.54 cores=4,6
/proc/19251/stat : 19251 (roundingsat) R 19248 19248 18283 0 -1 4194304 43359 0 0 0 51645 609 0 0 20 0 1 0 31987783 511934464 93321 18446744073709551615 4227072 8923433 140736398931648 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 42745856 140736398936388 140736398936616 140736398936616 140736398942186 0
/proc/19251/statm: 124984 93321 2368 1147 0 112411 0
Current children cumulated CPU time: 523.04 s
Current children cumulated vsize: 504128 KiB
Current children cumulated memory: 376228 KiB
Child status: 0
Real time (s): 524.815
CPU time (s): 523.092
CPU user time (s): 516.91
CPU system time (s): 6.18178
CPU usage (%): 99.6717
Max. virtual memory (cumulated for all children) (KiB): 508404
Max. memory (cumulated for all children) (KiB): 380388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 516.91
system time used= 6.18178
maximum resident set size= 377444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 2831
# summary of solver processes directly reported to runsolver:
# pid: 19248
# total CPU time (s): 523.092
# total CPU user time (s): 516.91
# total CPU system time (s): 6.18178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.81449 second user time and 5.48872 second system time
The end
Begin job on nodeC006 at 2025-06-29 04:11:24
IDJOB=4503424
IDBENCH=155463
IDSOLVER=3357
FILE ID=nodeC006/4503424-1751163083
RUNJOBID= nodeC006-1751159447-18294
SLURM_JOB_ID= 9587503
Free space on /tmp= 432960 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-25.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503424-1751163083/watcher-4503424-1751163083 -o /tmp/evaluation-result-4503424-1751163083/solver-4503424-1751163083 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751159447-18294 --watchdog 3760 run-dec-break.sh HOME/instance-4503424-1751163083.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 089881a3a57f24d34abbbcf8eb808729
RANDOM SEED=954326968
nodeC006 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.706
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3491.663
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.290
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.284
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3569.264
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.149
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.036
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 128916088 kB
MemAvailable: 128624508 kB
Buffers: 3280 kB
Cached: 520100 kB
SwapCached: 0 kB
Active: 1542252 kB
Inactive: 272324 kB
Active(anon): 1309168 kB
Inactive(anon): 0 kB
Active(file): 233084 kB
Inactive(file): 272324 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 107528 kB
Writeback: 0 kB
AnonPages: 1294440 kB
Mapped: 115252 kB
Shmem: 17960 kB
KReclaimable: 84896 kB
Slab: 163588 kB
SReclaimable: 84896 kB
SUnreclaim: 78692 kB
KernelStack: 4096 kB
PageTables: 5740 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1890028 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149432 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 706560 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: 191304 kB
DirectMap2M: 10196992 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 432948 MiB
End job on nodeC006 at 2025-06-29 04:20:09