0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4503425-1751168691.opb'
0.09/0.11 c read 6.58MB (98.54ms)
0.09/0.11 c [cnf: #variables 7351 #clauses 155824 #duplicates 0 #arr 606406]
0.09/0.11 c output proof to 'PROOFDIR/proof-4503425-1751168691'
0.09/0.11 c
0.09/0.11 c make graph and approximate orbits
0.09/0.18 c [group: #orbits ~= 0] (70.24ms)
0.09/0.18 c
0.09/0.18 c detect special group actions
0.09/0.18 c probe for Johnson action (limit=64)
0.09/0.18 c probe for row-column symmetry (limit=64, splits=16.78M)
0.09/0.18 c probe for row symmetry (limit=64, splits=16.78M)
0.09/0.19 c (8.34ms)
0.09/0.19 c
0.09/0.19 c detect symmetries on remainder
0.09/0.19 c [graph: #vertices 186263 #edges 1258988]
0.09/0.19 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.09/0.20 c [group: #symmetries 1.00*10^0 #generators 0] (13.00ms)
0.09/0.20 c
0.09/0.20 c finalize break order and special generators
0.09/0.20 c
0.09/0.20 c generation finished
0.09/0.20 c [sbp: #constraints 0 #add_vars 0]
0.09/0.20 c
0.09/0.20 c write result to 'HOME/instance-4503425-1751168691.opb.pre'
0.19/0.21 c wrote 6.58MB (13.98ms)
0.19/0.21 c ------------------------------------------------------------------
0.19/0.21 c 98.54ms 47.82% parse
0.19/0.21 c 70.24ms 34.09% approx_orbits
0.19/0.21 c 13.98ms 6.79% output
0.19/0.21 c 13.00ms 6.31% detect_generic
0.19/0.21 c 8.34ms 4.05% detect_special
0.19/0.21 c 1.71ms 0.83% other
0.19/0.21 c 0.25ms 0.12% finalize_order
0.19/0.21 c ───────────────────────────────────────────────
0.19/0.21 c 206.06ms 100% total
0.19/0.21 c ------------------------------------------------------------------
0.19/0.24 c RoundingSat 2
0.19/0.24 c branch pb25
0.19/0.24 c commit 63f22ad
1.15/1.25 c #variables 7351 #constraints 156112
1.35/1.42 c rational objective 319
85.64/88.15 c #Conflicts: 1000 | #Constraints: 157112
85.64/88.15 c #Conflicts: 2000 | #Constraints: 158112
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 3000 | #Constraints: 158126
85.64/88.15 c #Conflicts: 4000 | #Constraints: 159126
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 5000 | #Constraints: 158530
85.64/88.15 c #Conflicts: 6000 | #Constraints: 159530
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 7000 | #Constraints: 158526
85.64/88.15 c #Conflicts: 8000 | #Constraints: 159526
85.64/88.15 c #Conflicts: 9000 | #Constraints: 160526
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 10000 | #Constraints: 159194
85.64/88.15 c #Conflicts: 11000 | #Constraints: 160194
85.64/88.15 c #Conflicts: 12000 | #Constraints: 161194
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 13000 | #Constraints: 159657
85.64/88.15 c #Conflicts: 14000 | #Constraints: 160657
85.64/88.15 c #Conflicts: 15000 | #Constraints: 161657
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 16000 | #Constraints: 159892
85.64/88.15 c #Conflicts: 17000 | #Constraints: 160892
85.64/88.15 c #Conflicts: 18000 | #Constraints: 161892
85.64/88.15 c INPROCESSING
85.64/88.15 c GARBAGE COLLECT
85.64/88.15 c #Conflicts: 19000 | #Constraints: 159921
85.64/88.15 c #Conflicts: 20000 | #Constraints: 160921
85.64/88.15 c #Conflicts: 21000 | #Constraints: 161921
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 22000 | #Constraints: 159738
85.64/88.15 c #Conflicts: 23000 | #Constraints: 160738
85.64/88.15 c #Conflicts: 24000 | #Constraints: 161738
85.64/88.15 c #Conflicts: 25000 | #Constraints: 162738
85.64/88.15 c #Conflicts: 26000 | #Constraints: 163738
85.64/88.15 c #Conflicts: 27000 | #Constraints: 164738
85.64/88.15 c #Conflicts: 28000 | #Constraints: 165738
85.64/88.15 c #Conflicts: 29000 | #Constraints: 166738
85.64/88.15 c #Conflicts: 30000 | #Constraints: 167738
85.64/88.15 c #Conflicts: 31000 | #Constraints: 168738
85.64/88.15 c #Conflicts: 32000 | #Constraints: 169738
85.64/88.15 c #Conflicts: 33000 | #Constraints: 170738
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 34000 | #Constraints: 164322
85.64/88.15 c #Conflicts: 35000 | #Constraints: 165322
85.64/88.15 c #Conflicts: 36000 | #Constraints: 166322
85.64/88.15 c #Conflicts: 37000 | #Constraints: 167322
85.64/88.15 c #Conflicts: 38000 | #Constraints: 168322
85.64/88.15 c INPROCESSING
85.64/88.15 c GARBAGE COLLECT
85.64/88.15 c #Conflicts: 39000 | #Constraints: 163277
85.64/88.15 c #Conflicts: 40000 | #Constraints: 164277
85.64/88.15 c #Conflicts: 41000 | #Constraints: 165277
85.64/88.15 c #Conflicts: 42000 | #Constraints: 166277
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 43000 | #Constraints: 161829
85.64/88.15 c #Conflicts: 44000 | #Constraints: 162829
85.64/88.15 c #Conflicts: 45000 | #Constraints: 163829
85.64/88.15 c #Conflicts: 46000 | #Constraints: 164829
85.64/88.15 c #Conflicts: 47000 | #Constraints: 165829
85.64/88.15 c #Conflicts: 48000 | #Constraints: 166829
85.64/88.15 c #Conflicts: 49000 | #Constraints: 167829
85.64/88.15 c #Conflicts: 50000 | #Constraints: 168829
85.64/88.15 c #Conflicts: 51000 | #Constraints: 169829
85.64/88.15 c #Conflicts: 52000 | #Constraints: 170829
85.64/88.15 c #Conflicts: 53000 | #Constraints: 171829
85.64/88.15 c #Conflicts: 54000 | #Constraints: 172829
85.64/88.15 c #Conflicts: 55000 | #Constraints: 173829
85.64/88.15 c #Conflicts: 56000 | #Constraints: 174829
85.64/88.15 c #Conflicts: 57000 | #Constraints: 175829
85.64/88.15 c #Conflicts: 58000 | #Constraints: 176829
85.64/88.15 c INPROCESSING
85.64/88.15 c GARBAGE COLLECT
85.64/88.15 c #Conflicts: 59000 | #Constraints: 167170
85.64/88.15 c #Conflicts: 60000 | #Constraints: 168170
85.64/88.15 c #Conflicts: 61000 | #Constraints: 169170
85.64/88.15 c #Conflicts: 62000 | #Constraints: 170170
85.64/88.15 c #Conflicts: 63000 | #Constraints: 171170
85.64/88.15 c #Conflicts: 64000 | #Constraints: 172170
85.64/88.15 c #Conflicts: 65000 | #Constraints: 173170
85.64/88.15 c INPROCESSING
85.64/88.15 c #Conflicts: 66000 | #Constraints: 165761
85.64/88.15 c #Conflicts: 67000 | #Constraints: 166761
85.64/88.15 c #Conflicts: 68000 | #Constraints: 167761
85.64/88.15 c #Conflicts: 69000 | #Constraints: 168761
85.64/88.15 c #Conflicts: 70000 | #Constraints: 169761
85.64/88.15 c #Conflicts: 71000 | #Constraints: 170761
85.64/88.15 c INPROCESSING
85.64/88.15 c GARBAGE COLLECT
85.64/88.15 c #Conflicts: 72000 | #Constraints: 164366
85.64/88.15 c #Conflicts: 73000 | #Constraints: 165366
85.64/88.15 c #Conflicts: 74000 | #Constraints: 166366
113.27/115.92 c #Conflicts: 75000 | #Constraints: 167366
113.27/115.92 c #Conflicts: 76000 | #Constraints: 168366
113.27/115.92 c #Conflicts: 77000 | #Constraints: 169366
113.27/115.92 c #Conflicts: 78000 | #Constraints: 170366
113.27/115.92 c #Conflicts: 79000 | #Constraints: 171366
113.27/115.92 c #Conflicts: 80000 | #Constraints: 172366
113.27/115.92 c #Conflicts: 81000 | #Constraints: 173366
113.27/115.92 c #Conflicts: 82000 | #Constraints: 174366
113.27/115.92 c #Conflicts: 83000 | #Constraints: 175366
113.27/115.92 c #Conflicts: 84000 | #Constraints: 176366
113.27/115.92 c #Conflicts: 85000 | #Constraints: 177366
113.27/115.92 c #Conflicts: 86000 | #Constraints: 178366
113.27/115.92 c #Conflicts: 87000 | #Constraints: 179366
113.27/115.92 c #Conflicts: 88000 | #Constraints: 180366
113.27/115.92 c #Conflicts: 89000 | #Constraints: 181366
113.27/115.92 c #Conflicts: 90000 | #Constraints: 182366
113.27/115.92 c #Conflicts: 91000 | #Constraints: 183366
113.27/115.92 c INPROCESSING
113.27/115.92 c GARBAGE COLLECT
113.27/115.92 c #Conflicts: 92000 | #Constraints: 170623
113.27/115.92 c #Conflicts: 93000 | #Constraints: 171623
113.27/115.92 c #Conflicts: 94000 | #Constraints: 172623
113.27/115.92 c #Conflicts: 95000 | #Constraints: 173623
113.27/115.92 c #Conflicts: 96000 | #Constraints: 174623
113.27/115.92 c #Conflicts: 97000 | #Constraints: 175623
113.27/115.92 c #Conflicts: 98000 | #Constraints: 176623
113.27/115.92 c #Conflicts: 99000 | #Constraints: 177623
113.27/115.92 c INPROCESSING
113.27/115.92 c GARBAGE COLLECT
113.27/115.92 c #Conflicts: 100000 | #Constraints: 167927
113.27/115.92 c #Conflicts: 101000 | #Constraints: 168927
113.27/115.92 c #Conflicts: 102000 | #Constraints: 169927
113.27/115.92 c #Conflicts: 103000 | #Constraints: 170927
113.27/115.92 c #Conflicts: 104000 | #Constraints: 171927
113.27/115.92 c #Conflicts: 105000 | #Constraints: 172927
113.27/115.92 c #Conflicts: 106000 | #Constraints: 173927
113.27/115.92 c #Conflicts: 107000 | #Constraints: 174927
113.27/115.92 c INPROCESSING
113.27/115.92 c #Conflicts: 108000 | #Constraints: 166558
113.27/115.92 c #Conflicts: 109000 | #Constraints: 167558
113.27/115.92 c #Conflicts: 110000 | #Constraints: 168558
113.27/115.92 c #Conflicts: 111000 | #Constraints: 169558
113.27/115.92 c #Conflicts: 112000 | #Constraints: 170558
113.27/115.92 c #Conflicts: 113000 | #Constraints: 171558
113.27/115.92 c #Conflicts: 114000 | #Constraints: 172558
113.27/115.92 c #Conflicts: 115000 | #Constraints: 173558
113.27/115.92 c #Conflicts: 116000 | #Constraints: 174558
113.27/115.92 c #Conflicts: 117000 | #Constraints: 175558
113.27/115.92 c #Conflicts: 118000 | #Constraints: 176558
113.27/115.92 c #Conflicts: 119000 | #Constraints: 177558
113.27/115.92 c #Conflicts: 120000 | #Constraints: 178558
113.27/115.92 c #Conflicts: 121000 | #Constraints: 179558
113.27/115.92 c #Conflicts: 122000 | #Constraints: 180558
113.27/115.92 c #Conflicts: 123000 | #Constraints: 181558
113.27/115.92 c #Conflicts: 124000 | #Constraints: 182558
113.27/115.92 c #Conflicts: 125000 | #Constraints: 183558
113.27/115.92 c #Conflicts: 126000 | #Constraints: 184558
113.27/115.92 c #Conflicts: 127000 | #Constraints: 185558
113.27/115.92 c #Conflicts: 128000 | #Constraints: 186558
113.27/115.92 c #Conflicts: 129000 | #Constraints: 187558
113.27/115.92 c #Conflicts: 130000 | #Constraints: 188558
113.27/115.92 c #Conflicts: 131000 | #Constraints: 189558
113.27/115.92 c INPROCESSING
113.27/115.92 c GARBAGE COLLECT
113.27/115.92 c rational objective 319
145.82/150.34 c #Conflicts: 132000 | #Constraints: 173774
145.82/150.34 c #Conflicts: 133000 | #Constraints: 174774
145.82/150.34 c #Conflicts: 134000 | #Constraints: 175774
145.82/150.34 c #Conflicts: 135000 | #Constraints: 176774
145.82/150.34 c #Conflicts: 136000 | #Constraints: 177774
145.82/150.34 c #Conflicts: 137000 | #Constraints: 178774
145.82/150.34 c #Conflicts: 138000 | #Constraints: 179774
145.82/150.34 c #Conflicts: 139000 | #Constraints: 180774
145.82/150.34 c #Conflicts: 140000 | #Constraints: 181774
145.82/150.34 c INPROCESSING
145.82/150.34 c GARBAGE COLLECT
145.82/150.34 c #Conflicts: 141000 | #Constraints: 169840
145.82/150.34 c #Conflicts: 142000 | #Constraints: 170840
145.82/150.34 c #Conflicts: 143000 | #Constraints: 171840
145.82/150.34 c #Conflicts: 144000 | #Constraints: 172840
145.82/150.34 c #Conflicts: 145000 | #Constraints: 173840
145.82/150.34 c #Conflicts: 146000 | #Constraints: 174840
145.82/150.34 c #Conflicts: 147000 | #Constraints: 175840
145.82/150.34 c #Conflicts: 148000 | #Constraints: 176840
145.82/150.34 c #Conflicts: 149000 | #Constraints: 177840
145.82/150.34 c #Conflicts: 150000 | #Constraints: 178840
145.82/150.34 c #Conflicts: 151000 | #Constraints: 179840
145.82/150.34 c #Conflicts: 152000 | #Constraints: 180840
145.82/150.34 c #Conflicts: 153000 | #Constraints: 181840
145.82/150.34 c #Conflicts: 154000 | #Constraints: 182840
145.82/150.34 c #Conflicts: 155000 | #Constraints: 183840
145.82/150.34 c #Conflicts: 156000 | #Constraints: 184840
145.82/150.34 c #Conflicts: 157000 | #Constraints: 185840
145.82/150.34 c #Conflicts: 158000 | #Constraints: 186840
145.82/150.34 c #Conflicts: 159000 | #Constraints: 187840
145.82/150.34 c #Conflicts: 160000 | #Constraints: 188840
145.82/150.34 c #Conflicts: 161000 | #Constraints: 189840
145.82/150.34 c #Conflicts: 162000 | #Constraints: 190840
145.82/150.34 c #Conflicts: 163000 | #Constraints: 191840
145.82/150.34 c #Conflicts: 164000 | #Constraints: 192840
145.82/150.34 c #Conflicts: 165000 | #Constraints: 193840
145.82/150.34 c #Conflicts: 166000 | #Constraints: 194840
145.82/150.34 c #Conflicts: 167000 | #Constraints: 195840
145.82/150.34 c #Conflicts: 168000 | #Constraints: 196840
145.82/150.34 c INPROCESSING
145.82/150.34 c GARBAGE COLLECT
145.82/150.34 c #Conflicts: 169000 | #Constraints: 177740
145.82/150.34 c #Conflicts: 170000 | #Constraints: 178740
145.82/150.34 c #Conflicts: 171000 | #Constraints: 179740
145.82/150.34 c #Conflicts: 172000 | #Constraints: 180740
145.82/150.34 c #Conflicts: 173000 | #Constraints: 181740
145.82/150.34 c #Conflicts: 174000 | #Constraints: 182740
145.82/150.34 c #Conflicts: 175000 | #Constraints: 183740
145.82/150.34 c #Conflicts: 176000 | #Constraints: 184740
145.82/150.34 c #Conflicts: 177000 | #Constraints: 185740
145.82/150.34 c #Conflicts: 178000 | #Constraints: 186740
145.82/150.34 c INPROCESSING
145.82/150.34 c GARBAGE COLLECT
145.82/150.34 c #Conflicts: 179000 | #Constraints: 172443
145.82/150.34 c #Conflicts: 180000 | #Constraints: 173443
145.82/150.34 c #Conflicts: 181000 | #Constraints: 174443
145.82/150.34 c #Conflicts: 182000 | #Constraints: 175443
145.82/150.34 c #Conflicts: 183000 | #Constraints: 176443
145.82/150.34 c #Conflicts: 184000 | #Constraints: 177443
145.82/150.34 c #Conflicts: 185000 | #Constraints: 178443
145.82/150.34 c #Conflicts: 186000 | #Constraints: 179443
145.82/150.34 c #Conflicts: 187000 | #Constraints: 180443
145.82/150.34 c #Conflicts: 188000 | #Constraints: 181443
145.82/150.34 c #Conflicts: 189000 | #Constraints: 182443
145.82/150.34 c #Conflicts: 190000 | #Constraints: 183443
145.82/150.34 c #Conflicts: 191000 | #Constraints: 184443
145.82/150.34 c #Conflicts: 192000 | #Constraints: 185443
145.82/150.34 c #Conflicts: 193000 | #Constraints: 186443
145.82/150.34 c #Conflicts: 194000 | #Constraints: 187443
145.82/150.34 c #Conflicts: 195000 | #Constraints: 188443
145.82/150.34 c #Conflicts: 196000 | #Constraints: 189443
145.82/150.34 c #Conflicts: 197000 | #Constraints: 190443
145.82/150.34 c #Conflicts: 198000 | #Constraints: 191443
145.82/150.34 c #Conflicts: 199000 | #Constraints: 192443
145.82/150.34 c #Conflicts: 200000 | #Constraints: 193443
145.82/150.34 c #Conflicts: 201000 | #Constraints: 194443
145.82/150.34 c #Conflicts: 202000 | #Constraints: 195443
145.82/150.34 c #Conflicts: 203000 | #Constraints: 196443
145.82/150.34 c #Conflicts: 204000 | #Constraints: 197443
145.82/150.34 c #Conflicts: 205000 | #Constraints: 198443
145.82/150.34 c #Conflicts: 206000 | #Constraints: 199443
145.82/150.34 c #Conflicts: 207000 | #Constraints: 200443
145.82/150.34 c #Conflicts: 208000 | #Constraints: 201443
162.14/167.38 c #Conflicts: 209000 | #Constraints: 202443
162.14/167.38 c INPROCESSING
162.14/167.38 c GARBAGE COLLECT
162.14/167.38 c #Conflicts: 210000 | #Constraints: 180600
162.14/167.38 c #Conflicts: 211000 | #Constraints: 181600
162.14/167.38 c #Conflicts: 212000 | #Constraints: 182600
162.14/167.38 c #Conflicts: 213000 | #Constraints: 183600
162.14/167.38 c #Conflicts: 214000 | #Constraints: 184600
162.14/167.38 c #Conflicts: 215000 | #Constraints: 185600
162.14/167.38 c #Conflicts: 216000 | #Constraints: 186600
162.14/167.38 c #Conflicts: 217000 | #Constraints: 187600
162.14/167.38 c #Conflicts: 218000 | #Constraints: 188600
162.14/167.38 c #Conflicts: 219000 | #Constraints: 189600
162.14/167.38 c #Conflicts: 220000 | #Constraints: 190600
162.14/167.38 c INPROCESSING
162.14/167.38 c GARBAGE COLLECT
162.14/167.38 c #Conflicts: 221000 | #Constraints: 174331
162.14/167.38 c #Conflicts: 222000 | #Constraints: 175331
162.14/167.38 c #Conflicts: 223000 | #Constraints: 176331
162.14/167.38 c #Conflicts: 224000 | #Constraints: 177331
162.14/167.38 c #Conflicts: 225000 | #Constraints: 178331
162.14/167.38 c #Conflicts: 226000 | #Constraints: 179331
162.14/167.38 c #Conflicts: 227000 | #Constraints: 180331
162.14/167.38 c #Conflicts: 228000 | #Constraints: 181331
162.14/167.38 c #Conflicts: 229000 | #Constraints: 182331
162.14/167.38 c #Conflicts: 230000 | #Constraints: 183331
162.14/167.38 c #Conflicts: 231000 | #Constraints: 184331
162.14/167.38 c #Conflicts: 232000 | #Constraints: 185331
162.14/167.38 c #Conflicts: 233000 | #Constraints: 186331
162.14/167.38 c #Conflicts: 234000 | #Constraints: 187331
162.14/167.38 c #Conflicts: 235000 | #Constraints: 188331
162.14/167.38 c #Conflicts: 236000 | #Constraints: 189331
162.14/167.38 c #Conflicts: 237000 | #Constraints: 190331
162.14/167.38 c #Conflicts: 238000 | #Constraints: 191331
162.14/167.38 c #Conflicts: 239000 | #Constraints: 192331
162.14/167.38 c #Conflicts: 240000 | #Constraints: 193331
162.14/167.38 c #Conflicts: 241000 | #Constraints: 194331
162.14/167.38 c #Conflicts: 242000 | #Constraints: 195331
162.14/167.38 c #Conflicts: 243000 | #Constraints: 196331
162.14/167.38 c #Conflicts: 244000 | #Constraints: 197331
162.14/167.38 c #Conflicts: 245000 | #Constraints: 198331
162.14/167.38 c #Conflicts: 246000 | #Constraints: 199331
162.14/167.38 c #Conflicts: 247000 | #Constraints: 200331
162.14/167.38 c #Conflicts: 248000 | #Constraints: 201331
162.14/167.38 c #Conflicts: 249000 | #Constraints: 202331
162.14/167.38 c #Conflicts: 250000 | #Constraints: 203331
162.14/167.38 c #Conflicts: 251000 | #Constraints: 204331
162.14/167.38 c #Conflicts: 252000 | #Constraints: 205331
162.14/167.38 c #Conflicts: 253000 | #Constraints: 206331
162.14/167.38 c #Conflicts: 254000 | #Constraints: 207331
162.14/167.38 c INPROCESSING
162.14/167.38 c GARBAGE COLLECT
162.14/167.38 c rational objective 319
169.71/174.97 c #Conflicts: 255000 | #Constraints: 182560
169.71/174.97 c #Conflicts: 256000 | #Constraints: 183560
169.71/174.97 c #Conflicts: 257000 | #Constraints: 184560
169.71/174.97 c #Conflicts: 258000 | #Constraints: 185560
169.71/174.97 c #Conflicts: 259000 | #Constraints: 186560
169.71/174.97 c #Conflicts: 260000 | #Constraints: 187560
169.71/174.97 c #Conflicts: 261000 | #Constraints: 188560
169.71/174.97 c #Conflicts: 262000 | #Constraints: 189560
169.71/174.97 c #Conflicts: 263000 | #Constraints: 190560
169.71/174.97 c #Conflicts: 264000 | #Constraints: 191560
169.71/174.97 c #Conflicts: 265000 | #Constraints: 192560
169.71/174.97 c #Conflicts: 266000 | #Constraints: 193560
169.71/174.97 c #Conflicts: 267000 | #Constraints: 194560
169.71/174.97 c INPROCESSING
169.71/174.97 c GARBAGE COLLECT
169.71/174.97 c rational objective 319
185.17/190.43 c #Conflicts: 268000 | #Constraints: 176528
185.17/190.43 c #Conflicts: 269000 | #Constraints: 177528
185.17/190.43 c #Conflicts: 270000 | #Constraints: 178528
185.17/190.43 c #Conflicts: 271000 | #Constraints: 179528
185.17/190.43 c #Conflicts: 272000 | #Constraints: 180528
185.17/190.43 c #Conflicts: 273000 | #Constraints: 181528
185.17/190.43 c #Conflicts: 274000 | #Constraints: 182528
185.17/190.43 c #Conflicts: 275000 | #Constraints: 183528
185.17/190.43 c #Conflicts: 276000 | #Constraints: 184528
185.17/190.43 c #Conflicts: 277000 | #Constraints: 185528
185.17/190.43 c #Conflicts: 278000 | #Constraints: 186528
185.17/190.43 c #Conflicts: 279000 | #Constraints: 187528
185.17/190.43 c #Conflicts: 280000 | #Constraints: 188528
185.17/190.43 c #Conflicts: 281000 | #Constraints: 189528
185.17/190.43 c #Conflicts: 282000 | #Constraints: 190528
185.17/190.43 c #Conflicts: 283000 | #Constraints: 191528
185.17/190.43 c #Conflicts: 284000 | #Constraints: 192528
185.17/190.43 c #Conflicts: 285000 | #Constraints: 193528
185.17/190.43 c #Conflicts: 286000 | #Constraints: 194528
185.17/190.43 c #Conflicts: 287000 | #Constraints: 195528
185.17/190.43 c #Conflicts: 288000 | #Constraints: 196528
185.17/190.43 c #Conflicts: 289000 | #Constraints: 197528
185.17/190.43 c #Conflicts: 290000 | #Constraints: 198528
185.17/190.43 c #Conflicts: 291000 | #Constraints: 199528
185.17/190.43 c #Conflicts: 292000 | #Constraints: 200528
185.17/190.43 c #Conflicts: 293000 | #Constraints: 201528
185.17/190.43 c #Conflicts: 294000 | #Constraints: 202528
185.17/190.43 c #Conflicts: 295000 | #Constraints: 203528
185.17/190.43 c #Conflicts: 296000 | #Constraints: 204528
185.17/190.43 c #Conflicts: 297000 | #Constraints: 205528
185.17/190.43 c #Conflicts: 298000 | #Constraints: 206528
185.17/190.43 c #Conflicts: 299000 | #Constraints: 207528
185.17/190.43 c #Conflicts: 300000 | #Constraints: 208528
185.17/190.43 c #Conflicts: 301000 | #Constraints: 209528
185.17/190.43 c #Conflicts: 302000 | #Constraints: 210528
185.17/190.43 c #Conflicts: 303000 | #Constraints: 211528
185.17/190.43 c #Conflicts: 304000 | #Constraints: 212528
185.17/190.43 c INPROCESSING
185.17/190.43 c GARBAGE COLLECT
185.17/190.43 c rational objective 319
214.49/219.81 c #Conflicts: 305000 | #Constraints: 185650
214.49/219.81 c #Conflicts: 306000 | #Constraints: 186650
214.49/219.81 c #Conflicts: 307000 | #Constraints: 187650
214.49/219.81 c #Conflicts: 308000 | #Constraints: 188650
214.49/219.81 c #Conflicts: 309000 | #Constraints: 189650
214.49/219.81 c #Conflicts: 310000 | #Constraints: 190650
214.49/219.81 c #Conflicts: 311000 | #Constraints: 191650
214.49/219.81 c #Conflicts: 312000 | #Constraints: 192650
214.49/219.81 c #Conflicts: 313000 | #Constraints: 193650
214.49/219.81 c #Conflicts: 314000 | #Constraints: 194650
214.49/219.81 c #Conflicts: 315000 | #Constraints: 195650
214.49/219.81 c #Conflicts: 316000 | #Constraints: 196650
214.49/219.81 c #Conflicts: 317000 | #Constraints: 197650
214.49/219.81 c #Conflicts: 318000 | #Constraints: 198650
214.49/219.81 c INPROCESSING
214.49/219.81 c GARBAGE COLLECT
214.49/219.81 c #Conflicts: 319000 | #Constraints: 178410
214.49/219.81 c #Conflicts: 320000 | #Constraints: 179410
214.49/219.81 c #Conflicts: 321000 | #Constraints: 180410
214.49/219.81 c #Conflicts: 322000 | #Constraints: 181410
214.49/219.81 c #Conflicts: 323000 | #Constraints: 182410
214.49/219.81 c #Conflicts: 324000 | #Constraints: 183410
214.49/219.81 c #Conflicts: 325000 | #Constraints: 184410
214.49/219.81 c #Conflicts: 326000 | #Constraints: 185410
214.49/219.81 c #Conflicts: 327000 | #Constraints: 186410
214.49/219.81 c #Conflicts: 328000 | #Constraints: 187410
214.49/219.81 c #Conflicts: 329000 | #Constraints: 188410
214.49/219.81 c #Conflicts: 330000 | #Constraints: 189410
214.49/219.81 c #Conflicts: 331000 | #Constraints: 190410
214.49/219.81 c #Conflicts: 332000 | #Constraints: 191410
214.49/219.81 c #Conflicts: 333000 | #Constraints: 192410
214.49/219.81 c #Conflicts: 334000 | #Constraints: 193410
214.49/219.81 c #Conflicts: 335000 | #Constraints: 194410
214.49/219.81 c #Conflicts: 336000 | #Constraints: 195410
214.49/219.81 c #Conflicts: 337000 | #Constraints: 196410
214.49/219.81 c #Conflicts: 338000 | #Constraints: 197410
214.49/219.81 c #Conflicts: 339000 | #Constraints: 198410
214.49/219.81 c #Conflicts: 340000 | #Constraints: 199410
214.49/219.81 c #Conflicts: 341000 | #Constraints: 200410
214.49/219.81 c #Conflicts: 342000 | #Constraints: 201410
214.49/219.81 c #Conflicts: 343000 | #Constraints: 202410
214.49/219.81 c #Conflicts: 344000 | #Constraints: 203410
214.49/219.81 c #Conflicts: 345000 | #Constraints: 204410
214.49/219.81 c #Conflicts: 346000 | #Constraints: 205410
214.49/219.81 c #Conflicts: 347000 | #Constraints: 206410
214.49/219.81 c #Conflicts: 348000 | #Constraints: 207410
214.49/219.81 c #Conflicts: 349000 | #Constraints: 208410
214.49/219.81 c #Conflicts: 350000 | #Constraints: 209410
214.49/219.81 c #Conflicts: 351000 | #Constraints: 210410
214.49/219.81 c #Conflicts: 352000 | #Constraints: 211410
214.49/219.81 c #Conflicts: 353000 | #Constraints: 212410
214.49/219.81 c #Conflicts: 354000 | #Constraints: 213410
214.49/219.81 c #Conflicts: 355000 | #Constraints: 214410
214.49/219.81 c #Conflicts: 356000 | #Constraints: 215410
214.49/219.81 c #Conflicts: 357000 | #Constraints: 216410
214.49/219.81 c #Conflicts: 358000 | #Constraints: 217410
214.49/219.81 c INPROCESSING
214.49/219.81 c GARBAGE COLLECT
214.49/219.81 c #Conflicts: 359000 | #Constraints: 188015
214.49/219.81 c #Conflicts: 360000 | #Constraints: 189015
214.49/219.81 c #Conflicts: 361000 | #Constraints: 190015
214.49/219.81 c #Conflicts: 362000 | #Constraints: 191015
214.49/219.81 c #Conflicts: 363000 | #Constraints: 192015
214.49/219.81 c #Conflicts: 364000 | #Constraints: 193015
214.49/219.81 c #Conflicts: 365000 | #Constraints: 194015
214.49/219.81 c #Conflicts: 366000 | #Constraints: 195015
214.49/219.81 c #Conflicts: 367000 | #Constraints: 196015
214.49/219.81 c #Conflicts: 368000 | #Constraints: 197015
214.49/219.81 c #Conflicts: 369000 | #Constraints: 198015
214.49/219.81 c #Conflicts: 370000 | #Constraints: 199015
214.49/219.81 c #Conflicts: 371000 | #Constraints: 200015
214.49/219.81 c #Conflicts: 372000 | #Constraints: 201015
214.49/219.81 c #Conflicts: 373000 | #Constraints: 202015
214.49/219.81 c #Conflicts: 374000 | #Constraints: 203015
214.49/219.81 c INPROCESSING
214.49/219.81 c GARBAGE COLLECT
214.49/219.81 c #Conflicts: 375000 | #Constraints: 180810
214.49/219.81 c #Conflicts: 376000 | #Constraints: 181810
214.49/219.81 c #Conflicts: 377000 | #Constraints: 182810
214.49/219.81 c #Conflicts: 378000 | #Constraints: 183810
214.49/219.81 c #Conflicts: 379000 | #Constraints: 184810
214.49/219.81 c #Conflicts: 380000 | #Constraints: 185810
214.49/219.81 c #Conflicts: 381000 | #Constraints: 186810
228.65/234.00 c #Conflicts: 382000 | #Constraints: 187810
228.65/234.00 c #Conflicts: 383000 | #Constraints: 188810
228.65/234.00 c #Conflicts: 384000 | #Constraints: 189810
228.65/234.00 c #Conflicts: 385000 | #Constraints: 190810
228.65/234.00 c #Conflicts: 386000 | #Constraints: 191810
228.65/234.00 c #Conflicts: 387000 | #Constraints: 192810
228.65/234.00 c #Conflicts: 388000 | #Constraints: 193810
228.65/234.00 c #Conflicts: 389000 | #Constraints: 194810
228.65/234.00 c #Conflicts: 390000 | #Constraints: 195810
228.65/234.00 c #Conflicts: 391000 | #Constraints: 196810
228.65/234.00 c #Conflicts: 392000 | #Constraints: 197810
228.65/234.00 c #Conflicts: 393000 | #Constraints: 198810
228.65/234.00 c #Conflicts: 394000 | #Constraints: 199810
228.65/234.00 c #Conflicts: 395000 | #Constraints: 200810
228.65/234.00 c #Conflicts: 396000 | #Constraints: 201810
228.65/234.00 c #Conflicts: 397000 | #Constraints: 202810
228.65/234.00 c #Conflicts: 398000 | #Constraints: 203810
228.65/234.00 c #Conflicts: 399000 | #Constraints: 204810
228.65/234.00 c #Conflicts: 400000 | #Constraints: 205810
228.65/234.00 c #Conflicts: 401000 | #Constraints: 206810
228.65/234.00 c #Conflicts: 402000 | #Constraints: 207810
228.65/234.00 c #Conflicts: 403000 | #Constraints: 208810
228.65/234.00 c #Conflicts: 404000 | #Constraints: 209810
228.65/234.00 c #Conflicts: 405000 | #Constraints: 210810
228.65/234.00 c #Conflicts: 406000 | #Constraints: 211810
228.65/234.00 c #Conflicts: 407000 | #Constraints: 212810
228.65/234.00 c #Conflicts: 408000 | #Constraints: 213810
228.65/234.00 c #Conflicts: 409000 | #Constraints: 214810
228.65/234.00 c #Conflicts: 410000 | #Constraints: 215810
228.65/234.00 c #Conflicts: 411000 | #Constraints: 216810
228.65/234.00 c #Conflicts: 412000 | #Constraints: 217810
228.65/234.00 c #Conflicts: 413000 | #Constraints: 218810
228.65/234.00 c #Conflicts: 414000 | #Constraints: 219810
228.65/234.00 c #Conflicts: 415000 | #Constraints: 220810
228.65/234.00 c #Conflicts: 416000 | #Constraints: 221810
228.65/234.00 c #Conflicts: 417000 | #Constraints: 222810
228.65/234.00 c INPROCESSING
228.65/234.00 c GARBAGE COLLECT
228.65/234.00 c rational objective 319
257.59/263.39 c #Conflicts: 418000 | #Constraints: 190941
257.59/263.39 c #Conflicts: 419000 | #Constraints: 191941
257.59/263.39 c #Conflicts: 420000 | #Constraints: 192941
257.59/263.39 c #Conflicts: 421000 | #Constraints: 193941
257.59/263.39 c #Conflicts: 422000 | #Constraints: 194941
257.59/263.39 c #Conflicts: 423000 | #Constraints: 195941
257.59/263.39 c #Conflicts: 424000 | #Constraints: 196941
257.59/263.39 c #Conflicts: 425000 | #Constraints: 197941
257.59/263.39 c #Conflicts: 426000 | #Constraints: 198941
257.59/263.39 c #Conflicts: 427000 | #Constraints: 199941
257.59/263.39 c #Conflicts: 428000 | #Constraints: 200941
257.59/263.39 c #Conflicts: 429000 | #Constraints: 201941
257.59/263.39 c #Conflicts: 430000 | #Constraints: 202941
257.59/263.39 c #Conflicts: 431000 | #Constraints: 203941
257.59/263.39 c #Conflicts: 432000 | #Constraints: 204941
257.59/263.39 c #Conflicts: 433000 | #Constraints: 205941
257.59/263.39 c #Conflicts: 434000 | #Constraints: 206941
257.59/263.39 c INPROCESSING
257.59/263.39 c GARBAGE COLLECT
257.59/263.39 c #Conflicts: 435000 | #Constraints: 183025
257.59/263.39 c #Conflicts: 436000 | #Constraints: 184025
257.59/263.39 c #Conflicts: 437000 | #Constraints: 185025
257.59/263.39 c #Conflicts: 438000 | #Constraints: 186025
257.59/263.39 c #Conflicts: 439000 | #Constraints: 187025
257.59/263.39 c #Conflicts: 440000 | #Constraints: 188025
257.59/263.39 c #Conflicts: 441000 | #Constraints: 189025
257.59/263.39 c #Conflicts: 442000 | #Constraints: 190025
257.59/263.39 c #Conflicts: 443000 | #Constraints: 191025
257.59/263.39 c #Conflicts: 444000 | #Constraints: 192025
257.59/263.39 c #Conflicts: 445000 | #Constraints: 193025
257.59/263.39 c #Conflicts: 446000 | #Constraints: 194025
257.59/263.39 c #Conflicts: 447000 | #Constraints: 195025
257.59/263.39 c #Conflicts: 448000 | #Constraints: 196025
257.59/263.39 c #Conflicts: 449000 | #Constraints: 197025
257.59/263.39 c #Conflicts: 450000 | #Constraints: 198025
257.59/263.39 c #Conflicts: 451000 | #Constraints: 199025
257.59/263.39 c #Conflicts: 452000 | #Constraints: 200025
257.59/263.39 c #Conflicts: 453000 | #Constraints: 201025
257.59/263.39 c #Conflicts: 454000 | #Constraints: 202025
257.59/263.39 c #Conflicts: 455000 | #Constraints: 203025
257.59/263.39 c #Conflicts: 456000 | #Constraints: 204025
257.59/263.39 c #Conflicts: 457000 | #Constraints: 205025
257.59/263.39 c #Conflicts: 458000 | #Constraints: 206025
257.59/263.39 c #Conflicts: 459000 | #Constraints: 207025
257.59/263.39 c #Conflicts: 460000 | #Constraints: 208025
257.59/263.39 c #Conflicts: 461000 | #Constraints: 209025
257.59/263.39 c #Conflicts: 462000 | #Constraints: 210025
257.59/263.39 c #Conflicts: 463000 | #Constraints: 211025
257.59/263.39 c #Conflicts: 464000 | #Constraints: 212025
257.59/263.39 c #Conflicts: 465000 | #Constraints: 213025
257.59/263.39 c #Conflicts: 466000 | #Constraints: 214025
257.59/263.39 c #Conflicts: 467000 | #Constraints: 215025
257.59/263.39 c #Conflicts: 468000 | #Constraints: 216025
257.59/263.39 c #Conflicts: 469000 | #Constraints: 217025
257.59/263.39 c #Conflicts: 470000 | #Constraints: 218025
257.59/263.39 c #Conflicts: 471000 | #Constraints: 219025
257.59/263.39 c #Conflicts: 472000 | #Constraints: 220025
257.59/263.39 c #Conflicts: 473000 | #Constraints: 221025
257.59/263.39 c #Conflicts: 474000 | #Constraints: 222025
257.59/263.39 c #Conflicts: 475000 | #Constraints: 223025
257.59/263.39 c #Conflicts: 476000 | #Constraints: 224025
257.59/263.39 c #Conflicts: 477000 | #Constraints: 225025
257.59/263.39 c #Conflicts: 478000 | #Constraints: 226025
257.59/263.39 c #Conflicts: 479000 | #Constraints: 227025
257.59/263.39 c #Conflicts: 480000 | #Constraints: 228025
257.59/263.39 c INPROCESSING
257.59/263.39 c GARBAGE COLLECT
257.59/263.39 c #Conflicts: 481000 | #Constraints: 193561
257.59/263.39 c #Conflicts: 482000 | #Constraints: 194561
257.59/263.39 c #Conflicts: 483000 | #Constraints: 195561
257.59/263.39 c #Conflicts: 484000 | #Constraints: 196561
257.59/263.39 c #Conflicts: 485000 | #Constraints: 197561
257.59/263.39 c #Conflicts: 486000 | #Constraints: 198561
257.59/263.39 c #Conflicts: 487000 | #Constraints: 199561
257.59/263.39 c #Conflicts: 488000 | #Constraints: 200561
257.59/263.39 c #Conflicts: 489000 | #Constraints: 201561
257.59/263.39 c #Conflicts: 490000 | #Constraints: 202561
257.59/263.39 c #Conflicts: 491000 | #Constraints: 203561
257.59/263.39 c #Conflicts: 492000 | #Constraints: 204561
257.59/263.39 c #Conflicts: 493000 | #Constraints: 205561
257.59/263.39 c #Conflicts: 494000 | #Constraints: 206561
257.59/263.39 c #Conflicts: 495000 | #Constraints: 207561
296.78/302.69 c #Conflicts: 496000 | #Constraints: 208561
296.78/302.69 c #Conflicts: 497000 | #Constraints: 209561
296.78/302.69 c #Conflicts: 498000 | #Constraints: 210561
296.78/302.69 c INPROCESSING
296.78/302.69 c GARBAGE COLLECT
296.78/302.69 c #Conflicts: 499000 | #Constraints: 184709
296.78/302.69 c #Conflicts: 500000 | #Constraints: 185709
296.78/302.69 c #Conflicts: 501000 | #Constraints: 186709
296.78/302.69 c #Conflicts: 502000 | #Constraints: 187709
296.78/302.69 c #Conflicts: 503000 | #Constraints: 188709
296.78/302.69 c #Conflicts: 504000 | #Constraints: 189709
296.78/302.69 c #Conflicts: 505000 | #Constraints: 190709
296.78/302.69 c #Conflicts: 506000 | #Constraints: 191709
296.78/302.69 c #Conflicts: 507000 | #Constraints: 192709
296.78/302.69 c #Conflicts: 508000 | #Constraints: 193709
296.78/302.69 c #Conflicts: 509000 | #Constraints: 194709
296.78/302.69 c #Conflicts: 510000 | #Constraints: 195709
296.78/302.69 c #Conflicts: 511000 | #Constraints: 196709
296.78/302.69 c #Conflicts: 512000 | #Constraints: 197709
296.78/302.69 c #Conflicts: 513000 | #Constraints: 198709
296.78/302.69 c #Conflicts: 514000 | #Constraints: 199709
296.78/302.69 c #Conflicts: 515000 | #Constraints: 200709
296.78/302.69 c #Conflicts: 516000 | #Constraints: 201709
296.78/302.69 c #Conflicts: 517000 | #Constraints: 202709
296.78/302.69 c #Conflicts: 518000 | #Constraints: 203709
296.78/302.69 c #Conflicts: 519000 | #Constraints: 204709
296.78/302.69 c #Conflicts: 520000 | #Constraints: 205709
296.78/302.69 c #Conflicts: 521000 | #Constraints: 206709
296.78/302.69 c #Conflicts: 522000 | #Constraints: 207709
296.78/302.69 c #Conflicts: 523000 | #Constraints: 208709
296.78/302.69 c #Conflicts: 524000 | #Constraints: 209709
296.78/302.69 c #Conflicts: 525000 | #Constraints: 210709
296.78/302.69 c #Conflicts: 526000 | #Constraints: 211709
296.78/302.69 c #Conflicts: 527000 | #Constraints: 212709
296.78/302.69 c #Conflicts: 528000 | #Constraints: 213709
296.78/302.69 c #Conflicts: 529000 | #Constraints: 214709
296.78/302.69 c #Conflicts: 530000 | #Constraints: 215709
296.78/302.69 c #Conflicts: 531000 | #Constraints: 216709
296.78/302.69 c #Conflicts: 532000 | #Constraints: 217709
296.78/302.69 c #Conflicts: 533000 | #Constraints: 218709
296.78/302.69 c #Conflicts: 534000 | #Constraints: 219709
296.78/302.69 c #Conflicts: 535000 | #Constraints: 220709
296.78/302.69 c #Conflicts: 536000 | #Constraints: 221709
296.78/302.69 c #Conflicts: 537000 | #Constraints: 222709
296.78/302.69 c #Conflicts: 538000 | #Constraints: 223709
296.78/302.69 c #Conflicts: 539000 | #Constraints: 224709
296.78/302.69 c #Conflicts: 540000 | #Constraints: 225709
296.78/302.69 c #Conflicts: 541000 | #Constraints: 226709
296.78/302.69 c #Conflicts: 542000 | #Constraints: 227709
296.78/302.69 c #Conflicts: 543000 | #Constraints: 228709
296.78/302.69 c #Conflicts: 544000 | #Constraints: 229709
296.78/302.69 c #Conflicts: 545000 | #Constraints: 230709
296.78/302.69 c #Conflicts: 546000 | #Constraints: 231709
296.78/302.69 c #Conflicts: 547000 | #Constraints: 232709
296.78/302.69 c INPROCESSING
296.78/302.69 c GARBAGE COLLECT
296.78/302.69 c #Conflicts: 548000 | #Constraints: 195781
296.78/302.69 c #Conflicts: 549000 | #Constraints: 196781
296.78/302.69 c #Conflicts: 550000 | #Constraints: 197781
296.78/302.69 c #Conflicts: 551000 | #Constraints: 198781
296.78/302.69 c #Conflicts: 552000 | #Constraints: 199781
296.78/302.69 c #Conflicts: 553000 | #Constraints: 200781
296.78/302.69 c #Conflicts: 554000 | #Constraints: 201781
296.78/302.69 c #Conflicts: 555000 | #Constraints: 202781
296.78/302.69 c #Conflicts: 556000 | #Constraints: 203781
296.78/302.69 c #Conflicts: 557000 | #Constraints: 204781
296.78/302.69 c #Conflicts: 558000 | #Constraints: 205781
296.78/302.69 c #Conflicts: 559000 | #Constraints: 206781
296.78/302.69 c #Conflicts: 560000 | #Constraints: 207781
296.78/302.69 c #Conflicts: 561000 | #Constraints: 208781
296.78/302.69 c #Conflicts: 562000 | #Constraints: 209781
296.78/302.69 c #Conflicts: 563000 | #Constraints: 210781
296.78/302.69 c #Conflicts: 564000 | #Constraints: 211781
296.78/302.69 c #Conflicts: 565000 | #Constraints: 212781
296.78/302.69 c #Conflicts: 566000 | #Constraints: 213781
296.78/302.69 c #Conflicts: 567000 | #Constraints: 214781
296.78/302.69 c INPROCESSING
296.78/302.69 c GARBAGE COLLECT
296.78/302.69 c #Conflicts: 568000 | #Constraints: 186971
296.78/302.69 c #Conflicts: 569000 | #Constraints: 187971
296.78/302.69 c #Conflicts: 570000 | #Constraints: 188971
296.78/302.69 c #Conflicts: 571000 | #Constraints: 189971
296.78/302.69 c #Conflicts: 572000 | #Constraints: 190971
319.31/325.46 c #Conflicts: 573000 | #Constraints: 191971
319.31/325.46 c #Conflicts: 574000 | #Constraints: 192971
319.31/325.46 c #Conflicts: 575000 | #Constraints: 193971
319.31/325.46 c #Conflicts: 576000 | #Constraints: 194971
319.31/325.46 c #Conflicts: 577000 | #Constraints: 195971
319.31/325.46 c #Conflicts: 578000 | #Constraints: 196971
319.31/325.46 c #Conflicts: 579000 | #Constraints: 197971
319.31/325.46 c #Conflicts: 580000 | #Constraints: 198971
319.31/325.46 c #Conflicts: 581000 | #Constraints: 199971
319.31/325.46 c #Conflicts: 582000 | #Constraints: 200971
319.31/325.46 c #Conflicts: 583000 | #Constraints: 201971
319.31/325.46 c #Conflicts: 584000 | #Constraints: 202971
319.31/325.46 c #Conflicts: 585000 | #Constraints: 203971
319.31/325.46 c #Conflicts: 586000 | #Constraints: 204971
319.31/325.46 c #Conflicts: 587000 | #Constraints: 205971
319.31/325.46 c #Conflicts: 588000 | #Constraints: 206971
319.31/325.46 c #Conflicts: 589000 | #Constraints: 207971
319.31/325.46 c #Conflicts: 590000 | #Constraints: 208971
319.31/325.46 c #Conflicts: 591000 | #Constraints: 209971
319.31/325.46 c #Conflicts: 592000 | #Constraints: 210971
319.31/325.46 c #Conflicts: 593000 | #Constraints: 211971
319.31/325.46 c #Conflicts: 594000 | #Constraints: 212971
319.31/325.46 c #Conflicts: 595000 | #Constraints: 213971
319.31/325.46 c #Conflicts: 596000 | #Constraints: 214971
319.31/325.46 c #Conflicts: 597000 | #Constraints: 215971
319.31/325.46 c #Conflicts: 598000 | #Constraints: 216971
319.31/325.46 c #Conflicts: 599000 | #Constraints: 217971
319.31/325.46 c #Conflicts: 600000 | #Constraints: 218971
319.31/325.46 c #Conflicts: 601000 | #Constraints: 219971
319.31/325.46 c #Conflicts: 602000 | #Constraints: 220971
319.31/325.46 c #Conflicts: 603000 | #Constraints: 221971
319.31/325.46 c #Conflicts: 604000 | #Constraints: 222971
319.31/325.46 c #Conflicts: 605000 | #Constraints: 223971
319.31/325.46 c #Conflicts: 606000 | #Constraints: 224971
319.31/325.46 c #Conflicts: 607000 | #Constraints: 225971
319.31/325.46 c #Conflicts: 608000 | #Constraints: 226971
319.31/325.46 c #Conflicts: 609000 | #Constraints: 227971
319.31/325.46 c #Conflicts: 610000 | #Constraints: 228971
319.31/325.46 c #Conflicts: 611000 | #Constraints: 229971
319.31/325.46 c #Conflicts: 612000 | #Constraints: 230971
319.31/325.46 c #Conflicts: 613000 | #Constraints: 231971
319.31/325.46 c #Conflicts: 614000 | #Constraints: 232971
319.31/325.46 c #Conflicts: 615000 | #Constraints: 233971
319.31/325.46 c #Conflicts: 616000 | #Constraints: 234971
319.31/325.46 c #Conflicts: 617000 | #Constraints: 235971
319.31/325.46 c #Conflicts: 618000 | #Constraints: 236971
319.31/325.46 c #Conflicts: 619000 | #Constraints: 237971
319.31/325.46 c INPROCESSING
319.31/325.46 c GARBAGE COLLECT
319.31/325.46 c #Conflicts: 620000 | #Constraints: 198443
319.31/325.46 c #Conflicts: 621000 | #Constraints: 199443
319.31/325.46 c #Conflicts: 622000 | #Constraints: 200443
319.31/325.46 c #Conflicts: 623000 | #Constraints: 201443
319.31/325.46 c #Conflicts: 624000 | #Constraints: 202443
319.31/325.46 c #Conflicts: 625000 | #Constraints: 203443
319.31/325.46 c #Conflicts: 626000 | #Constraints: 204443
319.31/325.46 c #Conflicts: 627000 | #Constraints: 205443
319.31/325.46 c #Conflicts: 628000 | #Constraints: 206443
319.31/325.46 c #Conflicts: 629000 | #Constraints: 207443
319.31/325.46 c #Conflicts: 630000 | #Constraints: 208443
319.31/325.46 c #Conflicts: 631000 | #Constraints: 209443
319.31/325.46 c #Conflicts: 632000 | #Constraints: 210443
319.31/325.46 c #Conflicts: 633000 | #Constraints: 211443
319.31/325.46 c #Conflicts: 634000 | #Constraints: 212443
319.31/325.46 c #Conflicts: 635000 | #Constraints: 213443
319.31/325.46 c #Conflicts: 636000 | #Constraints: 214443
319.31/325.46 c #Conflicts: 637000 | #Constraints: 215443
319.31/325.46 c #Conflicts: 638000 | #Constraints: 216443
319.31/325.46 c #Conflicts: 639000 | #Constraints: 217443
319.31/325.46 c #Conflicts: 640000 | #Constraints: 218443
319.31/325.46 c INPROCESSING
319.31/325.46 c GARBAGE COLLECT
319.31/325.46 c #Conflicts: 641000 | #Constraints: 188723
319.31/325.46 c #Conflicts: 642000 | #Constraints: 189723
319.31/325.46 c #Conflicts: 643000 | #Constraints: 190723
319.31/325.46 c #Conflicts: 644000 | #Constraints: 191723
319.31/325.46 c #Conflicts: 645000 | #Constraints: 192723
319.31/325.46 c #Conflicts: 646000 | #Constraints: 193723
319.31/325.46 c #Conflicts: 647000 | #Constraints: 194723
319.31/325.46 c #Conflicts: 648000 | #Constraints: 195723
319.31/325.46 c #Conflicts: 649000 | #Constraints: 196723
340.06/346.27 c #Conflicts: 650000 | #Constraints: 197723
340.06/346.27 c #Conflicts: 651000 | #Constraints: 198723
340.06/346.27 c #Conflicts: 652000 | #Constraints: 199723
340.06/346.27 c #Conflicts: 653000 | #Constraints: 200723
340.06/346.27 c #Conflicts: 654000 | #Constraints: 201723
340.06/346.27 c #Conflicts: 655000 | #Constraints: 202723
340.06/346.27 c #Conflicts: 656000 | #Constraints: 203723
340.06/346.27 c #Conflicts: 657000 | #Constraints: 204723
340.06/346.27 c #Conflicts: 658000 | #Constraints: 205723
340.06/346.27 c #Conflicts: 659000 | #Constraints: 206723
340.06/346.27 c #Conflicts: 660000 | #Constraints: 207723
340.06/346.27 c #Conflicts: 661000 | #Constraints: 208723
340.06/346.27 c #Conflicts: 662000 | #Constraints: 209723
340.06/346.27 c #Conflicts: 663000 | #Constraints: 210723
340.06/346.27 c #Conflicts: 664000 | #Constraints: 211723
340.06/346.27 c #Conflicts: 665000 | #Constraints: 212723
340.06/346.27 c #Conflicts: 666000 | #Constraints: 213723
340.06/346.27 c #Conflicts: 667000 | #Constraints: 214723
340.06/346.27 c #Conflicts: 668000 | #Constraints: 215723
340.06/346.27 c #Conflicts: 669000 | #Constraints: 216723
340.06/346.27 c #Conflicts: 670000 | #Constraints: 217723
340.06/346.27 c #Conflicts: 671000 | #Constraints: 218723
340.06/346.27 c #Conflicts: 672000 | #Constraints: 219723
340.06/346.27 c #Conflicts: 673000 | #Constraints: 220723
340.06/346.27 c #Conflicts: 674000 | #Constraints: 221723
340.06/346.27 c #Conflicts: 675000 | #Constraints: 222723
340.06/346.27 c #Conflicts: 676000 | #Constraints: 223723
340.06/346.27 c #Conflicts: 677000 | #Constraints: 224723
340.06/346.27 c #Conflicts: 678000 | #Constraints: 225723
340.06/346.27 c #Conflicts: 679000 | #Constraints: 226723
340.06/346.27 c #Conflicts: 680000 | #Constraints: 227723
340.06/346.27 c #Conflicts: 681000 | #Constraints: 228723
340.06/346.27 c #Conflicts: 682000 | #Constraints: 229723
340.06/346.27 c #Conflicts: 683000 | #Constraints: 230723
340.06/346.27 c #Conflicts: 684000 | #Constraints: 231723
340.06/346.27 c #Conflicts: 685000 | #Constraints: 232723
340.06/346.27 c #Conflicts: 686000 | #Constraints: 233723
340.06/346.27 c #Conflicts: 687000 | #Constraints: 234723
340.06/346.27 c #Conflicts: 688000 | #Constraints: 235723
340.06/346.27 c #Conflicts: 689000 | #Constraints: 236723
340.06/346.27 c #Conflicts: 690000 | #Constraints: 237723
340.06/346.27 c #Conflicts: 691000 | #Constraints: 238723
340.06/346.27 c #Conflicts: 692000 | #Constraints: 239723
340.06/346.27 c #Conflicts: 693000 | #Constraints: 240723
340.06/346.27 c #Conflicts: 694000 | #Constraints: 241723
340.06/346.27 c #Conflicts: 695000 | #Constraints: 242723
340.06/346.27 c INPROCESSING
340.06/346.27 c GARBAGE COLLECT
340.06/346.27 c rational objective 319
363.55/369.88 c #Conflicts: 696000 | #Constraints: 200781
363.55/369.88 c #Conflicts: 697000 | #Constraints: 201781
363.55/369.88 c #Conflicts: 698000 | #Constraints: 202781
363.55/369.88 c #Conflicts: 699000 | #Constraints: 203781
363.55/369.88 c #Conflicts: 700000 | #Constraints: 204781
363.55/369.88 c #Conflicts: 701000 | #Constraints: 205781
363.55/369.88 c #Conflicts: 702000 | #Constraints: 206781
363.55/369.88 c #Conflicts: 703000 | #Constraints: 207781
363.55/369.88 c #Conflicts: 704000 | #Constraints: 208781
363.55/369.88 c #Conflicts: 705000 | #Constraints: 209781
363.55/369.88 c #Conflicts: 706000 | #Constraints: 210781
363.55/369.88 c #Conflicts: 707000 | #Constraints: 211781
363.55/369.88 c #Conflicts: 708000 | #Constraints: 212781
363.55/369.88 c #Conflicts: 709000 | #Constraints: 213781
363.55/369.88 c #Conflicts: 710000 | #Constraints: 214781
363.55/369.88 c #Conflicts: 711000 | #Constraints: 215781
363.55/369.88 c #Conflicts: 712000 | #Constraints: 216781
363.55/369.88 c #Conflicts: 713000 | #Constraints: 217781
363.55/369.88 c #Conflicts: 714000 | #Constraints: 218781
363.55/369.88 c #Conflicts: 715000 | #Constraints: 219781
363.55/369.88 c #Conflicts: 716000 | #Constraints: 220781
363.55/369.88 c #Conflicts: 717000 | #Constraints: 221781
363.55/369.88 c INPROCESSING
363.55/369.88 c GARBAGE COLLECT
363.55/369.88 c #Conflicts: 718000 | #Constraints: 190146
363.55/369.88 c #Conflicts: 719000 | #Constraints: 191146
363.55/369.88 c #Conflicts: 720000 | #Constraints: 192146
363.55/369.88 c #Conflicts: 721000 | #Constraints: 193146
363.55/369.88 c #Conflicts: 722000 | #Constraints: 194146
363.55/369.88 c #Conflicts: 723000 | #Constraints: 195146
363.55/369.88 c #Conflicts: 724000 | #Constraints: 196146
363.55/369.88 c #Conflicts: 725000 | #Constraints: 197146
363.55/369.88 c #Conflicts: 726000 | #Constraints: 198146
363.55/369.88 c #Conflicts: 727000 | #Constraints: 199146
363.55/369.88 c #Conflicts: 728000 | #Constraints: 200146
363.55/369.88 c #Conflicts: 729000 | #Constraints: 201146
363.55/369.88 c #Conflicts: 730000 | #Constraints: 202146
363.55/369.88 c #Conflicts: 731000 | #Constraints: 203146
363.55/369.88 c #Conflicts: 732000 | #Constraints: 204146
363.55/369.88 c #Conflicts: 733000 | #Constraints: 205146
363.55/369.88 c #Conflicts: 734000 | #Constraints: 206146
363.55/369.88 c #Conflicts: 735000 | #Constraints: 207146
363.55/369.88 c #Conflicts: 736000 | #Constraints: 208146
363.55/369.88 c #Conflicts: 737000 | #Constraints: 209146
363.55/369.88 c #Conflicts: 738000 | #Constraints: 210146
363.55/369.88 c #Conflicts: 739000 | #Constraints: 211146
363.55/369.88 c #Conflicts: 740000 | #Constraints: 212146
363.55/369.88 c #Conflicts: 741000 | #Constraints: 213146
363.55/369.88 c #Conflicts: 742000 | #Constraints: 214146
363.55/369.88 c #Conflicts: 743000 | #Constraints: 215146
363.55/369.88 c #Conflicts: 744000 | #Constraints: 216146
363.55/369.88 c #Conflicts: 745000 | #Constraints: 217146
363.55/369.88 c #Conflicts: 746000 | #Constraints: 218146
363.55/369.88 c #Conflicts: 747000 | #Constraints: 219146
363.55/369.88 c #Conflicts: 748000 | #Constraints: 220146
363.55/369.88 c #Conflicts: 749000 | #Constraints: 221146
363.55/369.88 c #Conflicts: 750000 | #Constraints: 222146
363.55/369.88 c #Conflicts: 751000 | #Constraints: 223146
363.55/369.88 c #Conflicts: 752000 | #Constraints: 224146
363.55/369.88 c #Conflicts: 753000 | #Constraints: 225146
363.55/369.88 c #Conflicts: 754000 | #Constraints: 226146
363.55/369.88 c #Conflicts: 755000 | #Constraints: 227146
363.55/369.88 c #Conflicts: 756000 | #Constraints: 228146
363.55/369.88 c #Conflicts: 757000 | #Constraints: 229146
363.55/369.88 c #Conflicts: 758000 | #Constraints: 230146
363.55/369.88 c #Conflicts: 759000 | #Constraints: 231146
363.55/369.88 c #Conflicts: 760000 | #Constraints: 232146
363.55/369.88 c #Conflicts: 761000 | #Constraints: 233146
363.55/369.88 c #Conflicts: 762000 | #Constraints: 234146
363.55/369.88 c #Conflicts: 763000 | #Constraints: 235146
363.55/369.88 c #Conflicts: 764000 | #Constraints: 236146
363.55/369.88 c #Conflicts: 765000 | #Constraints: 237146
363.55/369.88 c #Conflicts: 766000 | #Constraints: 238146
363.55/369.88 c #Conflicts: 767000 | #Constraints: 239146
363.55/369.88 c #Conflicts: 768000 | #Constraints: 240146
363.55/369.88 c #Conflicts: 769000 | #Constraints: 241146
363.55/369.88 c #Conflicts: 770000 | #Constraints: 242146
363.55/369.88 c #Conflicts: 771000 | #Constraints: 243146
363.55/369.88 c #Conflicts: 772000 | #Constraints: 244146
363.55/369.88 c #Conflicts: 773000 | #Constraints: 245146
363.55/369.88 c #Conflicts: 774000 | #Constraints: 246146
378.31/384.63 c #Conflicts: 775000 | #Constraints: 247146
378.31/384.63 c #Conflicts: 776000 | #Constraints: 248146
378.31/384.63 c INPROCESSING
378.31/384.63 c GARBAGE COLLECT
378.31/384.63 c #Conflicts: 777000 | #Constraints: 203631
378.31/384.63 c #Conflicts: 778000 | #Constraints: 204631
378.31/384.63 c #Conflicts: 779000 | #Constraints: 205631
378.31/384.63 c #Conflicts: 780000 | #Constraints: 206631
378.31/384.63 c #Conflicts: 781000 | #Constraints: 207631
378.31/384.63 c #Conflicts: 782000 | #Constraints: 208631
378.31/384.63 c #Conflicts: 783000 | #Constraints: 209631
378.31/384.63 c #Conflicts: 784000 | #Constraints: 210631
378.31/384.63 c #Conflicts: 785000 | #Constraints: 211631
378.31/384.63 c #Conflicts: 786000 | #Constraints: 212631
378.31/384.63 c #Conflicts: 787000 | #Constraints: 213631
378.31/384.63 c #Conflicts: 788000 | #Constraints: 214631
378.31/384.63 c #Conflicts: 789000 | #Constraints: 215631
378.31/384.63 c #Conflicts: 790000 | #Constraints: 216631
378.31/384.63 c #Conflicts: 791000 | #Constraints: 217631
378.31/384.63 c #Conflicts: 792000 | #Constraints: 218631
378.31/384.63 c #Conflicts: 793000 | #Constraints: 219631
378.31/384.63 c #Conflicts: 794000 | #Constraints: 220631
378.31/384.63 c #Conflicts: 795000 | #Constraints: 221631
378.31/384.63 c #Conflicts: 796000 | #Constraints: 222631
378.31/384.63 c #Conflicts: 797000 | #Constraints: 223631
378.31/384.63 c #Conflicts: 798000 | #Constraints: 224631
378.31/384.63 c #Conflicts: 799000 | #Constraints: 225631
378.31/384.63 c INPROCESSING
378.31/384.63 c GARBAGE COLLECT
378.31/384.63 c rational objective 319.05
402.85/409.23 c #Conflicts: 800000 | #Constraints: 192193
402.85/409.23 c #Conflicts: 801000 | #Constraints: 193193
402.85/409.23 c #Conflicts: 802000 | #Constraints: 194193
402.85/409.23 c #Conflicts: 803000 | #Constraints: 195193
402.85/409.23 c #Conflicts: 804000 | #Constraints: 196193
402.85/409.23 c #Conflicts: 805000 | #Constraints: 197193
402.85/409.23 c #Conflicts: 806000 | #Constraints: 198193
402.85/409.23 c #Conflicts: 807000 | #Constraints: 199193
402.85/409.23 c #Conflicts: 808000 | #Constraints: 200193
402.85/409.23 c #Conflicts: 809000 | #Constraints: 201193
402.85/409.23 c #Conflicts: 810000 | #Constraints: 202193
402.85/409.23 c #Conflicts: 811000 | #Constraints: 203193
402.85/409.23 c #Conflicts: 812000 | #Constraints: 204193
402.85/409.23 c #Conflicts: 813000 | #Constraints: 205193
402.85/409.23 c #Conflicts: 814000 | #Constraints: 206193
402.85/409.23 c #Conflicts: 815000 | #Constraints: 207193
402.85/409.23 c #Conflicts: 816000 | #Constraints: 208193
402.85/409.23 c #Conflicts: 817000 | #Constraints: 209193
402.85/409.23 c #Conflicts: 818000 | #Constraints: 210193
402.85/409.23 c #Conflicts: 819000 | #Constraints: 211193
402.85/409.23 c #Conflicts: 820000 | #Constraints: 212193
402.85/409.23 c #Conflicts: 821000 | #Constraints: 213193
402.85/409.23 c #Conflicts: 822000 | #Constraints: 214193
402.85/409.23 c #Conflicts: 823000 | #Constraints: 215193
402.85/409.23 c #Conflicts: 824000 | #Constraints: 216193
402.85/409.23 c #Conflicts: 825000 | #Constraints: 217193
402.85/409.23 c #Conflicts: 826000 | #Constraints: 218193
402.85/409.23 c #Conflicts: 827000 | #Constraints: 219193
402.85/409.23 c #Conflicts: 828000 | #Constraints: 220193
402.85/409.23 c #Conflicts: 829000 | #Constraints: 221193
402.85/409.23 c #Conflicts: 830000 | #Constraints: 222193
402.85/409.23 c #Conflicts: 831000 | #Constraints: 223193
402.85/409.23 c #Conflicts: 832000 | #Constraints: 224193
402.85/409.23 c #Conflicts: 833000 | #Constraints: 225193
402.85/409.23 c #Conflicts: 834000 | #Constraints: 226193
402.85/409.23 c #Conflicts: 835000 | #Constraints: 227193
402.85/409.23 c #Conflicts: 836000 | #Constraints: 228193
402.85/409.23 c #Conflicts: 837000 | #Constraints: 229193
402.85/409.23 c #Conflicts: 838000 | #Constraints: 230193
402.85/409.23 c #Conflicts: 839000 | #Constraints: 231193
402.85/409.23 c #Conflicts: 840000 | #Constraints: 232193
402.85/409.23 c #Conflicts: 841000 | #Constraints: 233193
402.85/409.23 c #Conflicts: 842000 | #Constraints: 234193
402.85/409.23 c #Conflicts: 843000 | #Constraints: 235193
402.85/409.23 c #Conflicts: 844000 | #Constraints: 236193
402.85/409.23 c #Conflicts: 845000 | #Constraints: 237193
402.85/409.23 c #Conflicts: 846000 | #Constraints: 238193
402.85/409.23 c #Conflicts: 847000 | #Constraints: 239193
402.85/409.23 c #Conflicts: 848000 | #Constraints: 240193
402.85/409.23 c #Conflicts: 849000 | #Constraints: 241193
402.85/409.23 c #Conflicts: 850000 | #Constraints: 242193
402.85/409.23 c #Conflicts: 851000 | #Constraints: 243193
402.85/409.23 c #Conflicts: 852000 | #Constraints: 244193
402.85/409.23 c #Conflicts: 853000 | #Constraints: 245193
402.85/409.23 c #Conflicts: 854000 | #Constraints: 246193
402.85/409.23 c #Conflicts: 855000 | #Constraints: 247193
402.85/409.23 c #Conflicts: 856000 | #Constraints: 248193
402.85/409.23 c #Conflicts: 857000 | #Constraints: 249193
402.85/409.23 c #Conflicts: 858000 | #Constraints: 250193
402.85/409.23 c #Conflicts: 859000 | #Constraints: 251193
402.85/409.23 c #Conflicts: 860000 | #Constraints: 252193
402.85/409.23 c #Conflicts: 861000 | #Constraints: 253193
402.85/409.23 c INPROCESSING
402.85/409.23 c GARBAGE COLLECT
402.85/409.23 c #Conflicts: 862000 | #Constraints: 206203
402.85/409.23 c #Conflicts: 863000 | #Constraints: 207203
402.85/409.23 c #Conflicts: 864000 | #Constraints: 208203
402.85/409.23 c #Conflicts: 865000 | #Constraints: 209203
402.85/409.23 c #Conflicts: 866000 | #Constraints: 210203
402.85/409.23 c #Conflicts: 867000 | #Constraints: 211203
402.85/409.23 c #Conflicts: 868000 | #Constraints: 212203
402.85/409.23 c #Conflicts: 869000 | #Constraints: 213203
402.85/409.23 c #Conflicts: 870000 | #Constraints: 214203
402.85/409.23 c #Conflicts: 871000 | #Constraints: 215203
402.85/409.23 c #Conflicts: 872000 | #Constraints: 216203
402.85/409.23 c #Conflicts: 873000 | #Constraints: 217203
402.85/409.23 c #Conflicts: 874000 | #Constraints: 218203
402.85/409.23 c #Conflicts: 875000 | #Constraints: 219203
402.85/409.23 c #Conflicts: 876000 | #Constraints: 220203
402.85/409.23 c #Conflicts: 877000 | #Constraints: 221203
402.85/409.23 c #Conflicts: 878000 | #Constraints: 222203
428.03/434.57 c #Conflicts: 879000 | #Constraints: 223203
428.03/434.57 c #Conflicts: 880000 | #Constraints: 224203
428.03/434.57 c #Conflicts: 881000 | #Constraints: 225203
428.03/434.57 c #Conflicts: 882000 | #Constraints: 226203
428.03/434.57 c #Conflicts: 883000 | #Constraints: 227203
428.03/434.57 c #Conflicts: 884000 | #Constraints: 228203
428.03/434.57 c #Conflicts: 885000 | #Constraints: 229203
428.03/434.57 c INPROCESSING
428.03/434.57 c GARBAGE COLLECT
428.03/434.57 c #Conflicts: 886000 | #Constraints: 193865
428.03/434.57 c #Conflicts: 887000 | #Constraints: 194865
428.03/434.57 c #Conflicts: 888000 | #Constraints: 195865
428.03/434.57 c #Conflicts: 889000 | #Constraints: 196865
428.03/434.57 c #Conflicts: 890000 | #Constraints: 197865
428.03/434.57 c #Conflicts: 891000 | #Constraints: 198865
428.03/434.57 c #Conflicts: 892000 | #Constraints: 199865
428.03/434.57 c #Conflicts: 893000 | #Constraints: 200865
428.03/434.57 c #Conflicts: 894000 | #Constraints: 201865
428.03/434.57 c #Conflicts: 895000 | #Constraints: 202865
428.03/434.57 c #Conflicts: 896000 | #Constraints: 203865
428.03/434.57 c #Conflicts: 897000 | #Constraints: 204865
428.03/434.57 c #Conflicts: 898000 | #Constraints: 205865
428.03/434.57 c #Conflicts: 899000 | #Constraints: 206865
428.03/434.57 c #Conflicts: 900000 | #Constraints: 207865
428.03/434.57 c #Conflicts: 901000 | #Constraints: 208865
428.03/434.57 c #Conflicts: 902000 | #Constraints: 209865
428.03/434.57 c #Conflicts: 903000 | #Constraints: 210865
428.03/434.57 c #Conflicts: 904000 | #Constraints: 211865
428.03/434.57 c #Conflicts: 905000 | #Constraints: 212865
428.03/434.57 c #Conflicts: 906000 | #Constraints: 213865
428.03/434.57 c #Conflicts: 907000 | #Constraints: 214865
428.03/434.57 c #Conflicts: 908000 | #Constraints: 215865
428.03/434.57 c #Conflicts: 909000 | #Constraints: 216865
428.03/434.57 c #Conflicts: 910000 | #Constraints: 217865
428.03/434.57 c #Conflicts: 911000 | #Constraints: 218865
428.03/434.57 c #Conflicts: 912000 | #Constraints: 219865
428.03/434.57 c #Conflicts: 913000 | #Constraints: 220865
428.03/434.57 c #Conflicts: 914000 | #Constraints: 221865
428.03/434.57 c #Conflicts: 915000 | #Constraints: 222865
428.03/434.57 c #Conflicts: 916000 | #Constraints: 223865
428.03/434.57 c #Conflicts: 917000 | #Constraints: 224865
428.03/434.57 c #Conflicts: 918000 | #Constraints: 225865
428.03/434.57 c #Conflicts: 919000 | #Constraints: 226865
428.03/434.57 c #Conflicts: 920000 | #Constraints: 227865
428.03/434.57 c #Conflicts: 921000 | #Constraints: 228865
428.03/434.57 c #Conflicts: 922000 | #Constraints: 229865
428.03/434.57 c #Conflicts: 923000 | #Constraints: 230865
428.03/434.57 c #Conflicts: 924000 | #Constraints: 231865
428.03/434.57 c #Conflicts: 925000 | #Constraints: 232865
428.03/434.57 c #Conflicts: 926000 | #Constraints: 233865
428.03/434.57 c #Conflicts: 927000 | #Constraints: 234865
428.03/434.57 c #Conflicts: 928000 | #Constraints: 235865
428.03/434.57 c #Conflicts: 929000 | #Constraints: 236865
428.03/434.57 c #Conflicts: 930000 | #Constraints: 237865
428.03/434.57 c #Conflicts: 931000 | #Constraints: 238865
428.03/434.57 c #Conflicts: 932000 | #Constraints: 239865
428.03/434.57 c #Conflicts: 933000 | #Constraints: 240865
428.03/434.57 c #Conflicts: 934000 | #Constraints: 241865
428.03/434.57 c #Conflicts: 935000 | #Constraints: 242865
428.03/434.57 c #Conflicts: 936000 | #Constraints: 243865
428.03/434.57 c #Conflicts: 937000 | #Constraints: 244865
428.03/434.57 c #Conflicts: 938000 | #Constraints: 245865
428.03/434.57 c #Conflicts: 939000 | #Constraints: 246865
428.03/434.57 c #Conflicts: 940000 | #Constraints: 247865
428.03/434.57 c #Conflicts: 941000 | #Constraints: 248865
428.03/434.57 c #Conflicts: 942000 | #Constraints: 249865
428.03/434.57 c #Conflicts: 943000 | #Constraints: 250865
428.03/434.57 c #Conflicts: 944000 | #Constraints: 251865
428.03/434.57 c #Conflicts: 945000 | #Constraints: 252865
428.03/434.57 c #Conflicts: 946000 | #Constraints: 253865
428.03/434.57 c #Conflicts: 947000 | #Constraints: 254865
428.03/434.57 c #Conflicts: 948000 | #Constraints: 255865
428.03/434.57 c #Conflicts: 949000 | #Constraints: 256865
428.03/434.57 c #Conflicts: 950000 | #Constraints: 257865
428.03/434.57 c INPROCESSING
428.03/434.57 c GARBAGE COLLECT
428.03/434.57 c rational objective 319.375
449.27/455.87 c #Conflicts: 951000 | #Constraints: 208332
449.27/455.87 c #Conflicts: 952000 | #Constraints: 209332
449.27/455.87 c #Conflicts: 953000 | #Constraints: 210332
449.27/455.87 c #Conflicts: 954000 | #Constraints: 211332
449.27/455.87 c #Conflicts: 955000 | #Constraints: 212332
449.27/455.87 c #Conflicts: 956000 | #Constraints: 213332
449.27/455.87 c #Conflicts: 957000 | #Constraints: 214332
449.27/455.87 c #Conflicts: 958000 | #Constraints: 215332
449.27/455.87 c #Conflicts: 959000 | #Constraints: 216332
449.27/455.87 c #Conflicts: 960000 | #Constraints: 217332
449.27/455.87 c #Conflicts: 961000 | #Constraints: 218332
449.27/455.87 c #Conflicts: 962000 | #Constraints: 219332
449.27/455.87 c #Conflicts: 963000 | #Constraints: 220332
449.27/455.87 c #Conflicts: 964000 | #Constraints: 221332
449.27/455.87 c #Conflicts: 965000 | #Constraints: 222332
449.27/455.87 c #Conflicts: 966000 | #Constraints: 223332
449.27/455.87 c #Conflicts: 967000 | #Constraints: 224332
449.27/455.87 c #Conflicts: 968000 | #Constraints: 225332
449.27/455.87 c #Conflicts: 969000 | #Constraints: 226332
449.27/455.87 c #Conflicts: 970000 | #Constraints: 227332
449.27/455.87 c #Conflicts: 971000 | #Constraints: 228332
449.27/455.87 c #Conflicts: 972000 | #Constraints: 229332
449.27/455.87 c #Conflicts: 973000 | #Constraints: 230332
449.27/455.87 c #Conflicts: 974000 | #Constraints: 231332
449.27/455.87 c #Conflicts: 975000 | #Constraints: 232332
449.27/455.87 c #Conflicts: 976000 | #Constraints: 233332
449.27/455.87 c INPROCESSING
449.27/455.87 c GARBAGE COLLECT
449.27/455.87 c rational objective 319.769
476.80/483.43 c #Conflicts: 977000 | #Constraints: 195969
476.80/483.43 c #Conflicts: 978000 | #Constraints: 196969
476.80/483.43 c #Conflicts: 979000 | #Constraints: 197969
476.80/483.43 c #Conflicts: 980000 | #Constraints: 198969
476.80/483.43 c #Conflicts: 981000 | #Constraints: 199969
476.80/483.43 c #Conflicts: 982000 | #Constraints: 200969
476.80/483.43 c #Conflicts: 983000 | #Constraints: 201969
476.80/483.43 c #Conflicts: 984000 | #Constraints: 202969
476.80/483.43 c #Conflicts: 985000 | #Constraints: 203969
476.80/483.43 c #Conflicts: 986000 | #Constraints: 204969
476.80/483.43 c #Conflicts: 987000 | #Constraints: 205969
476.80/483.43 c #Conflicts: 988000 | #Constraints: 206969
476.80/483.43 c #Conflicts: 989000 | #Constraints: 207969
476.80/483.43 c #Conflicts: 990000 | #Constraints: 208969
476.80/483.43 c #Conflicts: 991000 | #Constraints: 209969
476.80/483.43 c #Conflicts: 992000 | #Constraints: 210969
476.80/483.43 c #Conflicts: 993000 | #Constraints: 211969
476.80/483.43 c #Conflicts: 994000 | #Constraints: 212969
476.80/483.43 c #Conflicts: 995000 | #Constraints: 213969
476.80/483.43 c #Conflicts: 996000 | #Constraints: 214969
476.80/483.43 c #Conflicts: 997000 | #Constraints: 215969
476.80/483.43 c #Conflicts: 998000 | #Constraints: 216969
476.80/483.43 c #Conflicts: 999000 | #Constraints: 217969
476.80/483.43 c #Conflicts: 1000000 | #Constraints: 218969
476.80/483.43 c #Conflicts: 1001000 | #Constraints: 219969
476.80/483.43 c #Conflicts: 1002000 | #Constraints: 220969
476.80/483.43 c #Conflicts: 1003000 | #Constraints: 221969
476.80/483.43 c #Conflicts: 1004000 | #Constraints: 222969
476.80/483.43 c #Conflicts: 1005000 | #Constraints: 223969
476.80/483.43 c #Conflicts: 1006000 | #Constraints: 224969
476.80/483.43 c #Conflicts: 1007000 | #Constraints: 225969
476.80/483.43 c #Conflicts: 1008000 | #Constraints: 226969
476.80/483.43 c #Conflicts: 1009000 | #Constraints: 227969
476.80/483.43 c #Conflicts: 1010000 | #Constraints: 228969
476.80/483.43 c #Conflicts: 1011000 | #Constraints: 229969
476.80/483.43 c #Conflicts: 1012000 | #Constraints: 230969
476.80/483.43 c #Conflicts: 1013000 | #Constraints: 231969
476.80/483.43 c #Conflicts: 1014000 | #Constraints: 232969
476.80/483.43 c #Conflicts: 1015000 | #Constraints: 233969
476.80/483.43 c #Conflicts: 1016000 | #Constraints: 234969
476.80/483.43 c #Conflicts: 1017000 | #Constraints: 235969
476.80/483.43 c #Conflicts: 1018000 | #Constraints: 236969
476.80/483.43 c #Conflicts: 1019000 | #Constraints: 237969
476.80/483.43 c #Conflicts: 1020000 | #Constraints: 238969
476.80/483.43 c #Conflicts: 1021000 | #Constraints: 239969
476.80/483.43 c #Conflicts: 1022000 | #Constraints: 240969
476.80/483.43 c #Conflicts: 1023000 | #Constraints: 241969
476.80/483.43 c #Conflicts: 1024000 | #Constraints: 242969
476.80/483.43 c #Conflicts: 1025000 | #Constraints: 243969
476.80/483.43 c #Conflicts: 1026000 | #Constraints: 244969
476.80/483.43 c #Conflicts: 1027000 | #Constraints: 245969
476.80/483.43 c #Conflicts: 1028000 | #Constraints: 246969
476.80/483.43 c #Conflicts: 1029000 | #Constraints: 247969
476.80/483.43 c #Conflicts: 1030000 | #Constraints: 248969
476.80/483.43 c #Conflicts: 1031000 | #Constraints: 249969
476.80/483.43 c #Conflicts: 1032000 | #Constraints: 250969
476.80/483.43 c #Conflicts: 1033000 | #Constraints: 251969
476.80/483.43 c #Conflicts: 1034000 | #Constraints: 252969
476.80/483.43 c #Conflicts: 1035000 | #Constraints: 253969
476.80/483.43 c #Conflicts: 1036000 | #Constraints: 254969
476.80/483.43 c #Conflicts: 1037000 | #Constraints: 255969
476.80/483.43 c #Conflicts: 1038000 | #Constraints: 256969
476.80/483.43 c #Conflicts: 1039000 | #Constraints: 257969
476.80/483.43 c #Conflicts: 1040000 | #Constraints: 258969
476.80/483.43 c #Conflicts: 1041000 | #Constraints: 259969
476.80/483.43 c #Conflicts: 1042000 | #Constraints: 260969
476.80/483.43 c #Conflicts: 1043000 | #Constraints: 261969
476.80/483.43 c #Conflicts: 1044000 | #Constraints: 262969
476.80/483.43 c INPROCESSING
476.80/483.43 c GARBAGE COLLECT
476.80/483.43 c #Conflicts: 1045000 | #Constraints: 210259
476.80/483.43 c #Conflicts: 1046000 | #Constraints: 211259
476.80/483.43 c #Conflicts: 1047000 | #Constraints: 212259
476.80/483.43 c #Conflicts: 1048000 | #Constraints: 213259
476.80/483.43 c #Conflicts: 1049000 | #Constraints: 214259
476.80/483.43 c #Conflicts: 1050000 | #Constraints: 215259
476.80/483.43 c #Conflicts: 1051000 | #Constraints: 216259
476.80/483.43 c #Conflicts: 1052000 | #Constraints: 217259
476.80/483.43 c #Conflicts: 1053000 | #Constraints: 218259
476.80/483.43 c #Conflicts: 1054000 | #Constraints: 219259
476.80/483.43 c #Conflicts: 1055000 | #Constraints: 220259
502.50/509.41 c #Conflicts: 1056000 | #Constraints: 221259
502.50/509.41 c #Conflicts: 1057000 | #Constraints: 222259
502.50/509.41 c #Conflicts: 1058000 | #Constraints: 223259
502.50/509.41 c #Conflicts: 1059000 | #Constraints: 224259
502.50/509.41 c #Conflicts: 1060000 | #Constraints: 225259
502.50/509.41 c #Conflicts: 1061000 | #Constraints: 226259
502.50/509.41 c #Conflicts: 1062000 | #Constraints: 227259
502.50/509.41 c #Conflicts: 1063000 | #Constraints: 228259
502.50/509.41 c #Conflicts: 1064000 | #Constraints: 229259
502.50/509.41 c #Conflicts: 1065000 | #Constraints: 230259
502.50/509.41 c #Conflicts: 1066000 | #Constraints: 231259
502.50/509.41 c #Conflicts: 1067000 | #Constraints: 232259
502.50/509.41 c #Conflicts: 1068000 | #Constraints: 233259
502.50/509.41 c #Conflicts: 1069000 | #Constraints: 234259
502.50/509.41 c #Conflicts: 1070000 | #Constraints: 235259
502.50/509.41 c #Conflicts: 1071000 | #Constraints: 236259
502.50/509.41 c INPROCESSING
502.50/509.41 c GARBAGE COLLECT
502.50/509.41 c #Conflicts: 1072000 | #Constraints: 191940
502.50/509.41 c #Conflicts: 1073000 | #Constraints: 192940
502.50/509.41 c #Conflicts: 1074000 | #Constraints: 193940
502.50/509.41 c #Conflicts: 1075000 | #Constraints: 194940
502.50/509.41 c #Conflicts: 1076000 | #Constraints: 195940
502.50/509.41 c #Conflicts: 1077000 | #Constraints: 196940
502.50/509.41 c #Conflicts: 1078000 | #Constraints: 197940
502.50/509.41 c #Conflicts: 1079000 | #Constraints: 198940
502.50/509.41 c #Conflicts: 1080000 | #Constraints: 199940
502.50/509.41 c #Conflicts: 1081000 | #Constraints: 200940
502.50/509.41 c #Conflicts: 1082000 | #Constraints: 201940
502.50/509.41 c #Conflicts: 1083000 | #Constraints: 202940
502.50/509.41 c #Conflicts: 1084000 | #Constraints: 203940
502.50/509.41 c #Conflicts: 1085000 | #Constraints: 204940
502.50/509.41 c #Conflicts: 1086000 | #Constraints: 205940
502.50/509.41 c #Conflicts: 1087000 | #Constraints: 206940
502.50/509.41 c #Conflicts: 1088000 | #Constraints: 207940
502.50/509.41 c #Conflicts: 1089000 | #Constraints: 208940
502.50/509.41 c #Conflicts: 1090000 | #Constraints: 209940
502.50/509.41 c #Conflicts: 1091000 | #Constraints: 210940
502.50/509.41 c #Conflicts: 1092000 | #Constraints: 211940
502.50/509.41 c #Conflicts: 1093000 | #Constraints: 212940
502.50/509.41 c #Conflicts: 1094000 | #Constraints: 213940
502.50/509.41 c #Conflicts: 1095000 | #Constraints: 214940
502.50/509.41 c #Conflicts: 1096000 | #Constraints: 215940
502.50/509.41 c #Conflicts: 1097000 | #Constraints: 216940
502.50/509.41 c #Conflicts: 1098000 | #Constraints: 217940
502.50/509.41 c #Conflicts: 1099000 | #Constraints: 218940
502.50/509.41 c #Conflicts: 1100000 | #Constraints: 219940
502.50/509.41 c #Conflicts: 1101000 | #Constraints: 220940
502.50/509.41 c #Conflicts: 1102000 | #Constraints: 221940
502.50/509.41 c #Conflicts: 1103000 | #Constraints: 222940
502.50/509.41 c #Conflicts: 1104000 | #Constraints: 223940
502.50/509.41 c #Conflicts: 1105000 | #Constraints: 224940
502.50/509.41 c #Conflicts: 1106000 | #Constraints: 225940
502.50/509.41 c #Conflicts: 1107000 | #Constraints: 226940
502.50/509.41 c #Conflicts: 1108000 | #Constraints: 227940
502.50/509.41 c #Conflicts: 1109000 | #Constraints: 228940
502.50/509.41 c #Conflicts: 1110000 | #Constraints: 229940
502.50/509.41 c #Conflicts: 1111000 | #Constraints: 230940
502.50/509.41 c #Conflicts: 1112000 | #Constraints: 231940
502.50/509.41 c #Conflicts: 1113000 | #Constraints: 232940
502.50/509.41 c #Conflicts: 1114000 | #Constraints: 233940
502.50/509.41 c #Conflicts: 1115000 | #Constraints: 234940
502.50/509.41 c #Conflicts: 1116000 | #Constraints: 235940
502.50/509.41 c #Conflicts: 1117000 | #Constraints: 236940
502.50/509.41 c #Conflicts: 1118000 | #Constraints: 237940
502.50/509.41 c #Conflicts: 1119000 | #Constraints: 238940
502.50/509.41 c #Conflicts: 1120000 | #Constraints: 239940
502.50/509.41 c #Conflicts: 1121000 | #Constraints: 240940
502.50/509.41 c #Conflicts: 1122000 | #Constraints: 241940
502.50/509.41 c #Conflicts: 1123000 | #Constraints: 242940
502.50/509.41 c #Conflicts: 1124000 | #Constraints: 243940
502.50/509.41 c #Conflicts: 1125000 | #Constraints: 244940
502.50/509.41 c #Conflicts: 1126000 | #Constraints: 245940
502.50/509.41 c #Conflicts: 1127000 | #Constraints: 246940
502.50/509.41 c #Conflicts: 1128000 | #Constraints: 247940
502.50/509.41 c #Conflicts: 1129000 | #Constraints: 248940
502.50/509.41 c #Conflicts: 1130000 | #Constraints: 249940
502.50/509.41 c #Conflicts: 1131000 | #Constraints: 250940
502.50/509.41 c #Conflicts: 1132000 | #Constraints: 251940
502.50/509.41 c #Conflicts: 1133000 | #Constraints: 252940
508.29/515.27 c #Conflicts: 1134000 | #Constraints: 253940
508.29/515.27 c #Conflicts: 1135000 | #Constraints: 254940
508.29/515.27 c #Conflicts: 1136000 | #Constraints: 255940
508.29/515.27 c #Conflicts: 1137000 | #Constraints: 256940
508.29/515.27 c #Conflicts: 1138000 | #Constraints: 257940
508.29/515.27 c #Conflicts: 1139000 | #Constraints: 258940
508.29/515.27 c #Conflicts: 1140000 | #Constraints: 259940
508.29/515.27 c #Conflicts: 1141000 | #Constraints: 260940
508.29/515.27 c #Conflicts: 1142000 | #Constraints: 261940
508.29/515.27 c INPROCESSING
508.29/515.27 c GARBAGE COLLECT
508.29/515.27 c rational objective 355.907
516.65/523.64 c #Conflicts: 1143000 | #Constraints: 209638
516.65/523.64 c #Conflicts: 1144000 | #Constraints: 210638
516.65/523.64 c #Conflicts: 1145000 | #Constraints: 211638
516.65/523.64 c #Conflicts: 1146000 | #Constraints: 212638
516.65/523.64 c #Conflicts: 1147000 | #Constraints: 213638
516.65/523.64 c #Conflicts: 1148000 | #Constraints: 214638
516.65/523.64 c #Conflicts: 1149000 | #Constraints: 215638
516.65/523.64 c #Conflicts: 1150000 | #Constraints: 216638
516.65/523.64 c #Conflicts: 1151000 | #Constraints: 217638
516.65/523.64 c #Conflicts: 1152000 | #Constraints: 218638
516.65/523.64 c #Conflicts: 1153000 | #Constraints: 219638
516.65/523.64 c cpu time 510.184 s
516.65/523.64 c deterministic time 6122667461 6.12e+09
516.65/523.64 c optimization time 7.4e-05 s
516.65/523.64 c total solve time 509.373 s
516.65/523.64 c core-guided solve time 0 s
516.65/523.64 c propagation time 123.608 s
516.65/523.64 c conflict analysis time 73.5045 s
516.65/523.64 c propagations 326404735
516.65/523.64 c resolve steps 22614488
516.65/523.64 c decisions 3395532
516.65/523.64 c conflicts 1153957
516.65/523.64 c restarts 2140
516.65/523.64 c inprocessing phases 48
516.65/523.64 c garbage collections 37 ,( 77.08 )
516.65/523.64 c input clauses 139854 ,( 89.59 )
516.65/523.64 c input cardinalities 564 ,( 0.36 )
516.65/523.64 c input general constraints 15694 ,( 10.05 )
516.65/523.64 c input average constraint length 3.90
516.65/523.64 c input average constraint degree 1.12
516.65/523.64 c learned clauses 1153513 ,( 99.96 )
516.65/523.64 c learned cardinalities 271 ,( 0.02 )
516.65/523.64 c learned general constraints 196 ,( 0.02 )
516.65/523.64 c learned average constraint length 93.68
516.65/523.64 c learned average constraint degree 6700.36
516.65/523.64 c watched CF 32, 64, 128, Arb: 51 , 0 , 0 , 0
516.65/523.64 c counting CF 32, 64, 128, Arb: 15839 , 0 , 0 , 0
516.65/523.64 c watched constraints 51 ,( 0.32 )
516.65/523.64 c counting constraints 15839 ,( 99.68 )
516.65/523.64 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1211202369 , 1299276 , 19745744 ,( 9819 , 19735925 )
516.65/523.64 c gcd simplifications 1605
516.65/523.64 c detected cardinalities 23
516.65/523.64 c weakened non-implied lits 551132
516.65/523.64 c weakened non-implying lits 2436
516.65/523.64 c original variables 7351
516.65/523.64 c clausal propagations 321510714
516.65/523.64 c cardinality propagations 764392
516.65/523.64 c watched propagations 301
516.65/523.64 c counting propagations 2972986
516.65/523.64 c watch lookups 1530980563
516.65/523.64 c watch backjump lookups 0
516.65/523.64 c watch checks 3235280393
516.65/523.64 c propagation checks 378890813
516.65/523.64 c constraint additions 316523913
516.65/523.64 c trail pops 330952108
516.65/523.64 c formula constraints 156112
516.65/523.64 c learned constraints 1153956
516.65/523.64 c bound constraints 0
516.65/523.64 c core-guided constraints 0
516.65/523.64 c encountered formula constraints 13549220
516.65/523.64 c encountered learned constraints 10217539
516.65/523.64 c encountered bound constraints 0
516.65/523.64 c encountered core-guided constraints 0
516.65/523.64 c LP total time 107.152 s
516.65/523.64 c LP solve time 97.58 s
516.65/523.64 c LP constraints added 156237
516.65/523.64 c LP constraints removed 87
516.65/523.64 c LP pivots internal 122932
516.65/523.64 c LP pivots root 116471
516.65/523.64 c LP calls 41
516.65/523.64 c LP optimalities 36
516.65/523.64 c LP no pivot count 0
516.65/523.64 c LP infeasibilities 0
516.65/523.64 c LP valid Farkas constraints 0
516.65/523.64 c LP learned Farkas constraints 0
516.65/523.64 c LP basis resets 0
516.65/523.64 c LP cycling count 0
516.65/523.64 c LP singular count 0
516.65/523.64 c LP no primal count 0
516.65/523.64 c LP no farkas count 0
516.65/523.64 c LP other issue count 0
516.65/523.64 c LP Gomory cuts 24
516.65/523.64 c LP learned cuts 135
516.65/523.64 c LP deleted cuts 108
516.65/523.64 c LP encountered Gomory constraints 1686
516.65/523.64 c LP encountered Farkas constraints 0
516.65/523.64 c LP encountered learned Farkas constraints 0
516.65/523.64 c CG auxiliary variables introduced 0
516.65/523.64 c CG solutions found 0
516.65/523.64 c CG cores constructed 0
516.65/523.64 c CG core cardinality constraints returned 0
516.65/523.64 c CG unit cores 0
516.65/523.64 c CG single cores 0
516.65/523.64 c CG blocks removed during cardinality reduction 0
516.65/523.64 c CG first core best 0
516.65/523.64 c CG decision core best 0
516.65/523.64 c CG core reduction tie 0
516.65/523.64 c CG core degree average 0.00
516.65/523.64 c CG core slack average 0.00
516.65/523.64 c CG core upper bound improvements 0
516.65/523.64 c STR number of successful calls 0
516.65/523.64 c STR number of unsuccessful calls 0
516.65/523.64 c STR number of inconclusive calls 0
516.65/523.64 c STR number of successful attempts 0
516.65/523.64 c STR number of unsuccessful attempts 0
516.65/523.64 c STR number of inconclusive attempts 0
516.65/523.64 c STR average degree increase per successful call inf
516.65/523.64 c STR average degree increase per successful attempt inf
516.65/523.64 c STR total number of conflicts for successful attempts 0
516.65/523.64 c STR total number of conflicts for unsuccessful attempts 0
516.65/523.64 c STR total number of conflicts for inconclusive attempts 0
516.65/523.64 c STR average number of conflicts per successful attempt inf
516.65/523.64 c STR average number of conflicts per unsuccessful attempt inf
516.65/523.64 c STR average number of conflicts per inconclusive attempt inf
516.65/523.64 c AVG.sumWPerc 60.75
516.65/523.64 c bigint constraints 0
516.73/523.70 s UNSATISFIABLE
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62901 MiB free)
memory of node 1: 64465 MiB (62684 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503425-1751168691/watcher-4503425-1751168691 -o /tmp/evaluation-result-4503425-1751168691/solver-4503425-1751168691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22054 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503425-1751168691.opb PROOFDIR/proof-4503425-1751168691
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22166, runsolver pid=22163
[startup+0.100066 s]*
/proc/loadavg: 1.07 1.10 1.71 5/270 22168
/proc/meminfo: memFree=128547688/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22168] ppid=22166 vsize=64232 memory=55604 CPUtime=0.09 cores=4,6
/proc/22168/stat : 22168 (pbsuma) R 22166 22166 22043 0 -1 4194304 6444 0 0 0 8 1 0 0 20 0 1 0 32547764 65773568 13901 18446744073709551615 4210688 4653049 140731701508816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28413952 140731701516515 140731701516850 140731701516850 140731701522415 0
/proc/22168/statm: 16058 13901 992 108 0 13466 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 68424 KiB
Current children cumulated memory: 58676 KiB
[startup+0.205884 s]*
/proc/loadavg: 1.07 1.10 1.71 5/270 22168
/proc/meminfo: memFree=128515808/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22168] ppid=22166 vsize=66396 memory=58180 CPUtime=0.19 cores=4,6
/proc/22168/stat : 22168 (pbsuma) R 22166 22166 22043 0 -1 4194304 15804 0 0 0 16 3 0 0 20 0 1 0 32547764 67989504 14545 18446744073709551615 4210688 4653049 140731701508816 0 0 0 0 0 0 0 0 0 17 4 0 0 0 0 0 4700520 4703148 28413952 140731701516515 140731701516850 140731701516850 140731701522415 0
/proc/22168/statm: 16599 14545 1024 108 0 14007 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 70588 KiB
Current children cumulated memory: 61252 KiB
[startup+0.30587 s]*
/proc/loadavg: 1.07 1.10 1.71 5/270 22169
/proc/meminfo: memFree=128532332/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=62204 memory=17592 CPUtime=0.06 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 2096 0 0 0 5 1 0 0 20 0 1 0 32547787 63696896 4398 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 15551 4398 2016 1147 0 2978 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 66396 KiB
Current children cumulated memory: 20664 KiB
[startup+0.700202 s]
/proc/loadavg: 1.07 1.10 1.71 5/270 22169
/proc/meminfo: memFree=128532332/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=96560 memory=51548 CPUtime=0.45 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 11123 0 0 0 36 9 0 0 20 0 1 0 32547787 98877440 12887 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 24140 12887 2016 1147 0 11567 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 100752 KiB
Current children cumulated memory: 54620 KiB
[startup+1.50022 s]
/proc/loadavg: 1.07 1.10 1.71 5/270 22169
/proc/meminfo: memFree=128476100/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=343188 memory=242012 CPUtime=1.25 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 35741 0 0 0 104 21 0 0 20 0 1 0 32547787 351424512 60503 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 85797 60503 2304 1147 0 73224 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 347380 KiB
Current children cumulated memory: 245084 KiB
[startup+3.10573 s]
/proc/loadavg: 1.39 1.17 1.73 5/270 22169
/proc/meminfo: memFree=128337888/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=343188 memory=242140 CPUtime=2.85 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 35746 0 0 0 264 21 0 0 20 0 1 0 32547787 351424512 60535 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 85797 60535 2304 1147 0 73224 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 347380 KiB
Current children cumulated memory: 245212 KiB
[startup+6.30022 s]
/proc/loadavg: 1.39 1.17 1.73 5/270 22169
/proc/meminfo: memFree=128353672/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=343188 memory=242140 CPUtime=6.03 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 35751 0 0 0 582 21 0 0 20 0 1 0 32547787 351424512 60535 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 85797 60535 2304 1147 0 73224 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 347380 KiB
Current children cumulated memory: 245212 KiB
[startup+12.7002 s]
/proc/loadavg: 1.60 1.21 1.74 5/270 22169
/proc/meminfo: memFree=128401120/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=364876 memory=260368 CPUtime=12.41 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 38230 0 0 0 1218 23 0 0 20 0 1 0 32547787 373633024 65092 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 91219 65092 2368 1147 0 78646 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 369068 KiB
Current children cumulated memory: 263440 KiB
[startup+25.5002 s]
/proc/loadavg: 2.21 1.37 1.79 5/271 22170
/proc/meminfo: memFree=128410756/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=364876 memory=260368 CPUtime=25.16 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 38234 0 0 0 2491 25 0 0 20 0 1 0 32547787 373633024 65092 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 91219 65092 2368 1147 0 78646 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 369068 KiB
Current children cumulated memory: 263440 KiB
[startup+51.1058 s]
/proc/loadavg: 2.82 1.58 1.85 5/271 22172
/proc/meminfo: memFree=128377072/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=364876 memory=263064 CPUtime=50.68 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 38403 0 0 0 5033 35 0 0 20 0 1 0 32547787 373633024 65766 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 91219 65766 2368 1147 0 78646 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 369068 KiB
Current children cumulated memory: 266136 KiB
[startup+102.3 s]
/proc/loadavg: 3.61 2.00 1.98 5/271 22173
/proc/meminfo: memFree=128330888/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=375816 memory=271212 CPUtime=99.53 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 40293 0 0 0 9887 66 0 0 20 0 1 0 32547787 384835584 67803 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 93954 67803 2368 1147 0 81381 0
Current children cumulated CPU time: 99.74 s
Current children cumulated vsize: 380008 KiB
Current children cumulated memory: 274284 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.38 2.11 5/271 22176
/proc/meminfo: memFree=128215080/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=394236 memory=292848 CPUtime=157.35 cores=4,6
/proc/22169/stat : 22169 (roundingsat) D 22166 22166 22043 0 -1 4194304 42667 0 0 0 15596 139 0 0 20 0 1 0 32547787 403697664 73212 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 98559 73212 2368 1147 0 85986 0
Current children cumulated CPU time: 157.56 s
Current children cumulated vsize: 398428 KiB
Current children cumulated memory: 295920 KiB
[startup+222.3 s]
/proc/loadavg: 4.03 2.69 2.24 5/271 22178
/proc/meminfo: memFree=128117568/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=412620 memory=304508 CPUtime=216.77 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 44085 0 0 0 21446 231 0 0 20 0 1 0 32547787 422522880 76127 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 103155 76127 2368 1147 0 90582 0
Current children cumulated CPU time: 216.98 s
Current children cumulated vsize: 416812 KiB
Current children cumulated memory: 307580 KiB
[startup+282.3 s]
/proc/loadavg: 4.05 2.95 2.36 5/271 22181
/proc/meminfo: memFree=128007304/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=412620 memory=310916 CPUtime=276.33 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 44146 0 0 0 27327 306 0 0 20 0 1 0 32547787 422522880 77729 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 103155 77729 2368 1147 0 90582 0
Current children cumulated CPU time: 276.54 s
Current children cumulated vsize: 416812 KiB
Current children cumulated memory: 313988 KiB
[startup+342.3 s]
/proc/loadavg: 4.05 3.16 2.47 5/270 22230
/proc/meminfo: memFree=128291068/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=434332 memory=317796 CPUtime=335.95 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 44874 0 0 0 33208 387 0 0 20 0 1 0 32547787 444755968 79449 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 108583 79449 2368 1147 0 96010 0
Current children cumulated CPU time: 336.16 s
Current children cumulated vsize: 438524 KiB
Current children cumulated memory: 320868 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 3.33 2.57 5/270 22232
/proc/meminfo: memFree=128111648/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=434332 memory=324096 CPUtime=395.75 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 44908 0 0 0 39104 471 0 0 20 0 1 0 32547787 444755968 81024 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 108583 81024 2368 1147 0 96010 0
Current children cumulated CPU time: 395.96 s
Current children cumulated vsize: 438524 KiB
Current children cumulated memory: 327168 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.48 2.67 5/270 22234
/proc/meminfo: memFree=127877744/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=478728 memory=372632 CPUtime=455.55 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 47849 0 0 0 45014 541 0 0 20 0 1 0 32547787 490217472 93158 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 119682 93158 2368 1147 0 107109 0
Current children cumulated CPU time: 455.76 s
Current children cumulated vsize: 482920 KiB
Current children cumulated memory: 375704 KiB
[startup+522.3 s]
/proc/loadavg: 4.17 3.61 2.77 5/272 22240
/proc/meminfo: memFree=127698132/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=515900 memory=391512 CPUtime=515.15 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 48484 0 0 0 50887 628 0 0 20 0 1 0 32547787 528281600 97878 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 128975 97878 2368 1147 0 116402 0
Current children cumulated CPU time: 515.36 s
Current children cumulated vsize: 520092 KiB
Current children cumulated memory: 394584 KiB
[startup+523.708 s]
# the end of solver process 22166 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=510.41 s, system=6.358 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+522.4 s]
/proc/loadavg: 4.17 3.61 2.77 5/272 22240
/proc/meminfo: memFree=127698132/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=515900 memory=391512 CPUtime=515.25 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 48484 0 0 0 50897 628 0 0 20 0 1 0 32547787 528281600 97878 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 128975 97878 2368 1147 0 116402 0
Current children cumulated CPU time: 515.46 s
Current children cumulated vsize: 520092 KiB
Current children cumulated memory: 394584 KiB
[startup+523.2 s]
/proc/loadavg: 4.15 3.62 2.78 5/272 22240
/proc/meminfo: memFree=127690072/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=515900 memory=391512 CPUtime=516.04 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 48484 0 0 0 50975 629 0 0 20 0 1 0 32547787 528281600 97878 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 128975 97878 2368 1147 0 116402 0
Current children cumulated CPU time: 516.25 s
Current children cumulated vsize: 520092 KiB
Current children cumulated memory: 394584 KiB
[startup+523.6 s]
/proc/loadavg: 4.15 3.62 2.78 5/272 22240
/proc/meminfo: memFree=127690072/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=515900 memory=391512 CPUtime=516.44 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 48484 0 0 0 51014 630 0 0 20 0 1 0 32547787 528281600 97878 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 128975 97878 2368 1147 0 116402 0
Current children cumulated CPU time: 516.65 s
Current children cumulated vsize: 520092 KiB
Current children cumulated memory: 394584 KiB
[startup+523.7 s]
/proc/loadavg: 4.15 3.62 2.78 5/272 22240
/proc/meminfo: memFree=127690072/131250000 swapFree=33010684/33010684
[pid=22166] ppid=22163 vsize=4192 memory=3072 CPUtime=0.21 cores=4,6
/proc/22166/stat : 22166 (run-dec-break-l) S 22163 22166 22043 0 -1 4194304 243 15807 0 0 0 0 18 3 20 0 1 0 32547763 4292608 768 18446744073709551615 94327059173376 94327060067909 140723649186224 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94327060306960 94327060354704 94327092637696 140723649194261 140723649194462 140723649194462 140723649200064 0
/proc/22166/statm: 1048 768 704 219 0 110 0
[pid=22169] ppid=22166 vsize=220528 memory=174828 CPUtime=516.52 cores=4,6
/proc/22169/stat : 22169 (roundingsat) R 22166 22166 22043 0 -1 4194304 48484 0 0 0 51021 631 0 0 20 0 1 0 32547787 225820672 43707 18446744073709551615 4227072 8923433 140720309607104 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 38858752 140720309614836 140720309615144 140720309615144 140720309620714 0
/proc/22169/statm: 55132 43707 2368 1147 0 42559 0
Current children cumulated CPU time: 516.73 s
Current children cumulated vsize: 224720 KiB
Current children cumulated memory: 177900 KiB
Child status: 0
Real time (s): 523.708
CPU time (s): 516.768
CPU user time (s): 510.41
CPU system time (s): 6.358
CPU usage (%): 98.6748
Max. virtual memory (cumulated for all children) (KiB): 520092
Max. memory (cumulated for all children) (KiB): 394584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 510.41
system time used= 6.358
maximum resident set size= 391512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64557
page faults= 0
swaps= 0
block input operations= 0
block output operations= 675872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 864
involuntary context switches= 796
# summary of solver processes directly reported to runsolver:
# pid: 22166
# total CPU time (s): 516.768
# total CPU user time (s): 510.41
# total CPU system time (s): 6.358
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10465 second user time and 2.4826 second system time
The end
Begin job on nodeC026 at 2025-06-29 05:44:51
IDJOB=4503425
IDBENCH=155463
IDSOLVER=3358
FILE ID=nodeC026/4503425-1751168691
RUNJOBID= nodeC026-1751168686-22054
SLURM_JOB_ID= 9587513
Free space on /tmp= 432960 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB11/DEC-LIN/lopes/normalized-25.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503425-1751168691/watcher-4503425-1751168691 -o /tmp/evaluation-result-4503425-1751168691/solver-4503425-1751168691 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22054 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4503425-1751168691.opb PROOFDIR/proof-4503425-1751168691
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 089881a3a57f24d34abbbcf8eb808729
RANDOM SEED=1559674471
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.697
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.458
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3526.871
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3585.174
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.083
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.788
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3606.940
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128601872 kB
MemAvailable: 128392072 kB
Buffers: 3280 kB
Cached: 600816 kB
SwapCached: 0 kB
Active: 1551880 kB
Inactive: 381784 kB
Active(anon): 1347652 kB
Inactive(anon): 0 kB
Active(file): 204228 kB
Inactive(file): 381784 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 137080 kB
Writeback: 12660 kB
AnonPages: 1332724 kB
Mapped: 116036 kB
Shmem: 18080 kB
KReclaimable: 86852 kB
Slab: 171568 kB
SReclaimable: 86852 kB
SUnreclaim: 84716 kB
KernelStack: 4368 kB
PageTables: 5856 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 1924816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150616 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 690176 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: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432960 MiB
End job on nodeC026 at 2025-06-29 05:53:35