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-4541687-1753202596.opb'
0.00/0.01 c read 0.12MB (1.95ms)
0.00/0.01 c [cnf: #variables 3484 #clauses 3485 #duplicates 0 #arr 11596]
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 0] (3.72ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.05ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 17318 #edges 43890]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.02 c [group: #symmetries 1.00*10^0 #generators 0] (1.07ms)
0.00/0.02 c
0.00/0.02 c finalize break order and special generators
0.00/0.02 c
0.00/0.02 c generation finished
0.00/0.02 c [sbp: #constraints 0 #add_vars 0]
0.00/0.02 c
0.00/0.02 c write result to 'HOME/instance-4541687-1753202596.opb.pre'
0.00/0.02 c wrote 0.12MB (0.33ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 3.72ms 43.28% approx_orbits
0.00/0.02 c 1.95ms 22.70% parse
0.00/0.02 c 1.07ms 12.42% detect_generic
0.00/0.02 c 1.05ms 12.19% detect_special
0.00/0.02 c 0.37ms 4.33% other
0.00/0.02 c 0.33ms 3.90% output
0.00/0.02 c 0.10ms 1.18% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 8.60ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.06 c #variables 3484 #constraints 4941
0.00/0.06 c rational objective 0
41.05/41.27 c #Conflicts: 1000 | #Constraints: 5941
41.05/41.27 c #Conflicts: 2000 | #Constraints: 6941
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 3000 | #Constraints: 6966
41.05/41.27 c #Conflicts: 4000 | #Constraints: 7966
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 5000 | #Constraints: 7388
41.05/41.27 c #Conflicts: 6000 | #Constraints: 8388
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 7000 | #Constraints: 7436
41.05/41.27 c #Conflicts: 8000 | #Constraints: 8436
41.05/41.27 c #Conflicts: 9000 | #Constraints: 9436
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 10000 | #Constraints: 8139
41.05/41.27 c #Conflicts: 11000 | #Constraints: 9139
41.05/41.27 c #Conflicts: 12000 | #Constraints: 10139
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 13000 | #Constraints: 8627
41.05/41.27 c #Conflicts: 14000 | #Constraints: 9627
41.05/41.27 c #Conflicts: 15000 | #Constraints: 10627
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 16000 | #Constraints: 8889
41.05/41.27 c #Conflicts: 17000 | #Constraints: 9889
41.05/41.27 c #Conflicts: 18000 | #Constraints: 10889
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 19000 | #Constraints: 8922
41.05/41.27 c #Conflicts: 20000 | #Constraints: 9922
41.05/41.27 c #Conflicts: 21000 | #Constraints: 10922
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 22000 | #Constraints: 8729
41.05/41.27 c #Conflicts: 23000 | #Constraints: 9729
41.05/41.27 c #Conflicts: 24000 | #Constraints: 10729
41.05/41.27 c #Conflicts: 25000 | #Constraints: 11729
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 26000 | #Constraints: 9347
41.05/41.27 c #Conflicts: 27000 | #Constraints: 10347
41.05/41.27 c #Conflicts: 28000 | #Constraints: 11347
41.05/41.27 c #Conflicts: 29000 | #Constraints: 12347
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 30000 | #Constraints: 9766
41.05/41.27 c #Conflicts: 31000 | #Constraints: 10766
41.05/41.27 c #Conflicts: 32000 | #Constraints: 11766
41.05/41.27 c #Conflicts: 33000 | #Constraints: 12766
41.05/41.27 c #Conflicts: 34000 | #Constraints: 13766
41.05/41.27 c #Conflicts: 35000 | #Constraints: 14766
41.05/41.27 c #Conflicts: 36000 | #Constraints: 15766
41.05/41.27 c #Conflicts: 37000 | #Constraints: 16766
41.05/41.27 c #Conflicts: 38000 | #Constraints: 17766
41.05/41.27 c #Conflicts: 39000 | #Constraints: 18766
41.05/41.27 c #Conflicts: 40000 | #Constraints: 19766
41.05/41.27 c #Conflicts: 41000 | #Constraints: 20766
41.05/41.27 c #Conflicts: 42000 | #Constraints: 21766
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 43000 | #Constraints: 14068
41.05/41.27 c #Conflicts: 44000 | #Constraints: 15068
41.05/41.27 c #Conflicts: 45000 | #Constraints: 16068
41.05/41.27 c #Conflicts: 46000 | #Constraints: 17068
41.05/41.27 c #Conflicts: 47000 | #Constraints: 18068
41.05/41.27 c #Conflicts: 48000 | #Constraints: 19068
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 49000 | #Constraints: 13176
41.05/41.27 c #Conflicts: 50000 | #Constraints: 14176
41.05/41.27 c #Conflicts: 51000 | #Constraints: 15176
41.05/41.27 c #Conflicts: 52000 | #Constraints: 16176
41.05/41.27 c #Conflicts: 53000 | #Constraints: 17176
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 54000 | #Constraints: 12080
41.05/41.27 c #Conflicts: 55000 | #Constraints: 13080
41.05/41.27 c #Conflicts: 56000 | #Constraints: 14080
41.05/41.27 c #Conflicts: 57000 | #Constraints: 15080
41.05/41.27 c #Conflicts: 58000 | #Constraints: 16080
41.05/41.27 c INPROCESSING
41.05/41.27 c GARBAGE COLLECT
41.05/41.27 c #Conflicts: 59000 | #Constraints: 11286
41.05/41.27 c #Conflicts: 60000 | #Constraints: 12286
41.05/41.27 c #Conflicts: 61000 | #Constraints: 13286
41.05/41.27 c #Conflicts: 62000 | #Constraints: 14286
41.05/41.27 c #Conflicts: 63000 | #Constraints: 15286
41.05/41.27 c #Conflicts: 64000 | #Constraints: 16286
41.05/41.27 c #Conflicts: 65000 | #Constraints: 17286
41.05/41.27 c #Conflicts: 66000 | #Constraints: 18286
41.05/41.27 c #Conflicts: 67000 | #Constraints: 19286
41.05/41.27 c #Conflicts: 68000 | #Constraints: 20286
41.05/41.27 c #Conflicts: 69000 | #Constraints: 21286
41.05/41.27 c #Conflicts: 70000 | #Constraints: 22286
46.84/47.08 c #Conflicts: 71000 | #Constraints: 23286
46.84/47.08 c #Conflicts: 72000 | #Constraints: 24286
46.84/47.08 c #Conflicts: 73000 | #Constraints: 25286
46.84/47.08 c #Conflicts: 74000 | #Constraints: 26286
46.84/47.08 c #Conflicts: 75000 | #Constraints: 27286
46.84/47.08 c #Conflicts: 76000 | #Constraints: 28286
46.84/47.08 c #Conflicts: 77000 | #Constraints: 29286
46.84/47.08 c #Conflicts: 78000 | #Constraints: 30286
46.84/47.08 c INPROCESSING
46.84/47.08 c GARBAGE COLLECT
46.84/47.08 c rational objective 0
118.65/119.06 c #Conflicts: 79000 | #Constraints: 18793
118.65/119.06 c #Conflicts: 80000 | #Constraints: 19793
118.65/119.06 c #Conflicts: 81000 | #Constraints: 20793
118.65/119.06 c #Conflicts: 82000 | #Constraints: 21793
118.65/119.06 c #Conflicts: 83000 | #Constraints: 22793
118.65/119.06 c #Conflicts: 84000 | #Constraints: 23793
118.65/119.06 c INPROCESSING
118.65/119.06 c GARBAGE COLLECT
118.65/119.06 c #Conflicts: 85000 | #Constraints: 15181
118.65/119.06 c #Conflicts: 86000 | #Constraints: 16181
118.65/119.06 c #Conflicts: 87000 | #Constraints: 17181
118.65/119.06 c #Conflicts: 88000 | #Constraints: 18181
118.65/119.06 c #Conflicts: 89000 | #Constraints: 19181
118.65/119.06 c #Conflicts: 90000 | #Constraints: 20181
118.65/119.06 c #Conflicts: 91000 | #Constraints: 21181
118.65/119.06 c INPROCESSING
118.65/119.06 c GARBAGE COLLECT
118.65/119.06 c #Conflicts: 92000 | #Constraints: 13882
118.65/119.06 c #Conflicts: 93000 | #Constraints: 14882
118.65/119.06 c #Conflicts: 94000 | #Constraints: 15882
118.65/119.06 c #Conflicts: 95000 | #Constraints: 16882
118.65/119.06 c #Conflicts: 96000 | #Constraints: 17882
118.65/119.06 c #Conflicts: 97000 | #Constraints: 18882
118.65/119.06 c #Conflicts: 98000 | #Constraints: 19882
118.65/119.06 c #Conflicts: 99000 | #Constraints: 20882
118.65/119.06 c #Conflicts: 100000 | #Constraints: 21882
118.65/119.06 c #Conflicts: 101000 | #Constraints: 22882
118.65/119.06 c #Conflicts: 102000 | #Constraints: 23882
118.65/119.06 c #Conflicts: 103000 | #Constraints: 24882
118.65/119.06 c #Conflicts: 104000 | #Constraints: 25882
118.65/119.06 c #Conflicts: 105000 | #Constraints: 26882
118.65/119.06 c #Conflicts: 106000 | #Constraints: 27882
118.65/119.06 c #Conflicts: 107000 | #Constraints: 28882
118.65/119.06 c #Conflicts: 108000 | #Constraints: 29882
118.65/119.06 c #Conflicts: 109000 | #Constraints: 30882
118.65/119.06 c #Conflicts: 110000 | #Constraints: 31882
118.65/119.06 c #Conflicts: 111000 | #Constraints: 32882
118.65/119.06 c #Conflicts: 112000 | #Constraints: 33882
118.65/119.06 c #Conflicts: 113000 | #Constraints: 34882
118.65/119.06 c #Conflicts: 114000 | #Constraints: 35882
118.65/119.06 c #Conflicts: 115000 | #Constraints: 36882
118.65/119.06 c INPROCESSING
118.65/119.06 c GARBAGE COLLECT
118.65/119.06 c #Conflicts: 116000 | #Constraints: 22108
118.65/119.06 c #Conflicts: 117000 | #Constraints: 23108
118.65/119.06 c #Conflicts: 118000 | #Constraints: 24108
118.65/119.06 c #Conflicts: 119000 | #Constraints: 25108
118.65/119.06 c #Conflicts: 120000 | #Constraints: 26108
118.65/119.06 c #Conflicts: 121000 | #Constraints: 27108
118.65/119.06 c #Conflicts: 122000 | #Constraints: 28108
118.65/119.06 c #Conflicts: 123000 | #Constraints: 29108
118.65/119.06 c INPROCESSING
118.65/119.06 c GARBAGE COLLECT
118.65/119.06 c #Conflicts: 124000 | #Constraints: 18029
118.65/119.06 c #Conflicts: 125000 | #Constraints: 19029
118.65/119.06 c #Conflicts: 126000 | #Constraints: 20029
118.65/119.06 c #Conflicts: 127000 | #Constraints: 21029
118.65/119.06 c #Conflicts: 128000 | #Constraints: 22029
118.65/119.06 c #Conflicts: 129000 | #Constraints: 23029
118.65/119.06 c #Conflicts: 130000 | #Constraints: 24029
118.65/119.06 c #Conflicts: 131000 | #Constraints: 25029
118.65/119.06 c #Conflicts: 132000 | #Constraints: 26029
118.65/119.06 c INPROCESSING
118.65/119.06 c GARBAGE COLLECT
118.65/119.06 c #Conflicts: 133000 | #Constraints: 16791
118.65/119.06 c #Conflicts: 134000 | #Constraints: 17791
118.65/119.06 c #Conflicts: 135000 | #Constraints: 18791
118.65/119.06 c #Conflicts: 136000 | #Constraints: 19791
118.65/119.06 c #Conflicts: 137000 | #Constraints: 20791
118.65/119.06 c #Conflicts: 138000 | #Constraints: 21791
118.65/119.06 c #Conflicts: 139000 | #Constraints: 22791
118.65/119.06 c #Conflicts: 140000 | #Constraints: 23791
118.65/119.06 c #Conflicts: 141000 | #Constraints: 24791
118.65/119.06 c #Conflicts: 142000 | #Constraints: 25791
118.65/119.06 c #Conflicts: 143000 | #Constraints: 26791
118.65/119.06 c #Conflicts: 144000 | #Constraints: 27791
118.65/119.06 c #Conflicts: 145000 | #Constraints: 28791
118.65/119.06 c #Conflicts: 146000 | #Constraints: 29791
118.65/119.06 c #Conflicts: 147000 | #Constraints: 30791
118.65/119.06 c #Conflicts: 148000 | #Constraints: 31791
118.65/119.06 c #Conflicts: 149000 | #Constraints: 32791
118.65/119.06 c #Conflicts: 150000 | #Constraints: 33791
118.65/119.06 c #Conflicts: 151000 | #Constraints: 34791
118.65/119.06 c #Conflicts: 152000 | #Constraints: 35791
118.65/119.06 c #Conflicts: 153000 | #Constraints: 36791
118.65/119.06 c #Conflicts: 154000 | #Constraints: 37791
166.44/166.97 c #Conflicts: 155000 | #Constraints: 38791
166.44/166.97 c #Conflicts: 156000 | #Constraints: 39791
166.44/166.97 c #Conflicts: 157000 | #Constraints: 40791
166.44/166.97 c #Conflicts: 158000 | #Constraints: 41791
166.44/166.97 c #Conflicts: 159000 | #Constraints: 42791
166.44/166.97 c INPROCESSING
166.44/166.97 c GARBAGE COLLECT
166.44/166.97 c #Conflicts: 160000 | #Constraints: 24830
166.44/166.97 c #Conflicts: 161000 | #Constraints: 25830
166.44/166.97 c #Conflicts: 162000 | #Constraints: 26830
166.44/166.97 c #Conflicts: 163000 | #Constraints: 27830
166.44/166.97 c #Conflicts: 164000 | #Constraints: 28830
166.44/166.97 c #Conflicts: 165000 | #Constraints: 29830
166.44/166.97 c #Conflicts: 166000 | #Constraints: 30830
166.44/166.97 c #Conflicts: 167000 | #Constraints: 31830
166.44/166.97 c #Conflicts: 168000 | #Constraints: 32830
166.44/166.97 c #Conflicts: 169000 | #Constraints: 33830
166.44/166.97 c INPROCESSING
166.44/166.97 c GARBAGE COLLECT
166.44/166.97 c #Conflicts: 170000 | #Constraints: 20506
166.44/166.97 c #Conflicts: 171000 | #Constraints: 21506
166.44/166.97 c #Conflicts: 172000 | #Constraints: 22506
166.44/166.97 c #Conflicts: 173000 | #Constraints: 23506
166.44/166.97 c #Conflicts: 174000 | #Constraints: 24506
166.44/166.97 c #Conflicts: 175000 | #Constraints: 25506
166.44/166.97 c #Conflicts: 176000 | #Constraints: 26506
166.44/166.97 c #Conflicts: 177000 | #Constraints: 27506
166.44/166.97 c #Conflicts: 178000 | #Constraints: 28506
166.44/166.97 c #Conflicts: 179000 | #Constraints: 29506
166.44/166.97 c INPROCESSING
166.44/166.97 c GARBAGE COLLECT
166.44/166.97 c #Conflicts: 180000 | #Constraints: 18341
166.44/166.97 c #Conflicts: 181000 | #Constraints: 19341
166.44/166.97 c #Conflicts: 182000 | #Constraints: 20341
166.44/166.97 c #Conflicts: 183000 | #Constraints: 21341
166.44/166.97 c #Conflicts: 184000 | #Constraints: 22341
166.44/166.97 c #Conflicts: 185000 | #Constraints: 23341
166.44/166.97 c #Conflicts: 186000 | #Constraints: 24341
166.44/166.97 c #Conflicts: 187000 | #Constraints: 25341
166.44/166.97 c #Conflicts: 188000 | #Constraints: 26341
166.44/166.97 c #Conflicts: 189000 | #Constraints: 27341
166.44/166.97 c #Conflicts: 190000 | #Constraints: 28341
166.44/166.97 c #Conflicts: 191000 | #Constraints: 29341
166.44/166.97 c #Conflicts: 192000 | #Constraints: 30341
166.44/166.97 c #Conflicts: 193000 | #Constraints: 31341
166.44/166.97 c #Conflicts: 194000 | #Constraints: 32341
166.44/166.97 c #Conflicts: 195000 | #Constraints: 33341
166.44/166.97 c #Conflicts: 196000 | #Constraints: 34341
166.44/166.97 c #Conflicts: 197000 | #Constraints: 35341
166.44/166.97 c #Conflicts: 198000 | #Constraints: 36342
166.44/166.97 c #Conflicts: 199000 | #Constraints: 37342
166.44/166.97 c #Conflicts: 200000 | #Constraints: 38342
166.44/166.97 c #Conflicts: 201000 | #Constraints: 39342
166.44/166.97 c #Conflicts: 202000 | #Constraints: 40342
166.44/166.97 c #Conflicts: 203000 | #Constraints: 41342
166.44/166.97 c #Conflicts: 204000 | #Constraints: 42342
166.44/166.97 c #Conflicts: 205000 | #Constraints: 43342
166.44/166.97 c #Conflicts: 206000 | #Constraints: 44342
166.44/166.97 c #Conflicts: 207000 | #Constraints: 45342
166.44/166.97 c #Conflicts: 208000 | #Constraints: 46342
166.44/166.97 c #Conflicts: 209000 | #Constraints: 47342
166.44/166.97 c #Conflicts: 210000 | #Constraints: 48342
166.44/166.97 c #Conflicts: 211000 | #Constraints: 49342
166.44/166.97 c INPROCESSING
166.44/166.97 c GARBAGE COLLECT
166.44/166.97 c rational objective 1.13243e-13
224.39/225.05 c #Conflicts: 212000 | #Constraints: 28356
224.39/225.05 c #Conflicts: 213000 | #Constraints: 29356
224.39/225.05 c #Conflicts: 214000 | #Constraints: 30356
224.39/225.05 c #Conflicts: 215000 | #Constraints: 31356
224.39/225.05 c #Conflicts: 216000 | #Constraints: 32356
224.39/225.05 c #Conflicts: 217000 | #Constraints: 33356
224.39/225.05 c #Conflicts: 218000 | #Constraints: 34356
224.39/225.05 c #Conflicts: 219000 | #Constraints: 35356
224.39/225.05 c #Conflicts: 220000 | #Constraints: 36356
224.39/225.05 c #Conflicts: 221000 | #Constraints: 37356
224.39/225.05 c #Conflicts: 222000 | #Constraints: 38356
224.39/225.05 c INPROCESSING
224.39/225.05 c GARBAGE COLLECT
224.39/225.05 c #Conflicts: 223000 | #Constraints: 22664
224.39/225.05 c #Conflicts: 224000 | #Constraints: 23664
224.39/225.05 c #Conflicts: 225000 | #Constraints: 24664
224.39/225.05 c #Conflicts: 226000 | #Constraints: 25664
224.39/225.05 c #Conflicts: 227000 | #Constraints: 26664
224.39/225.05 c #Conflicts: 228000 | #Constraints: 27664
224.39/225.05 c #Conflicts: 229000 | #Constraints: 28664
224.39/225.05 c #Conflicts: 230000 | #Constraints: 29664
224.39/225.05 c #Conflicts: 231000 | #Constraints: 30664
224.39/225.05 c #Conflicts: 232000 | #Constraints: 31664
224.39/225.05 c #Conflicts: 233000 | #Constraints: 32664
224.39/225.05 c #Conflicts: 234000 | #Constraints: 33664
224.39/225.05 c INPROCESSING
224.39/225.05 c GARBAGE COLLECT
224.39/225.05 c #Conflicts: 235000 | #Constraints: 20595
224.39/225.05 c #Conflicts: 236000 | #Constraints: 21595
224.39/225.05 c #Conflicts: 237000 | #Constraints: 22595
224.39/225.05 c #Conflicts: 238000 | #Constraints: 23595
224.39/225.05 c #Conflicts: 239000 | #Constraints: 24595
224.39/225.05 c #Conflicts: 240000 | #Constraints: 25595
224.39/225.05 c #Conflicts: 241000 | #Constraints: 26595
224.39/225.05 c #Conflicts: 242000 | #Constraints: 27595
224.39/225.05 c #Conflicts: 243000 | #Constraints: 28595
224.39/225.05 c #Conflicts: 244000 | #Constraints: 29595
224.39/225.05 c #Conflicts: 245000 | #Constraints: 30595
224.39/225.05 c #Conflicts: 246000 | #Constraints: 31595
224.39/225.05 c #Conflicts: 247000 | #Constraints: 32595
224.39/225.05 c #Conflicts: 248000 | #Constraints: 33595
224.39/225.05 c #Conflicts: 249000 | #Constraints: 34595
224.39/225.05 c #Conflicts: 250000 | #Constraints: 35595
224.39/225.05 c #Conflicts: 251000 | #Constraints: 36595
224.39/225.05 c #Conflicts: 252000 | #Constraints: 37595
224.39/225.05 c #Conflicts: 253000 | #Constraints: 38595
224.39/225.05 c #Conflicts: 254000 | #Constraints: 39595
224.39/225.05 c #Conflicts: 255000 | #Constraints: 40596
224.39/225.05 c #Conflicts: 256000 | #Constraints: 41596
224.39/225.05 c #Conflicts: 257000 | #Constraints: 42596
224.39/225.05 c #Conflicts: 258000 | #Constraints: 43596
224.39/225.05 c #Conflicts: 259000 | #Constraints: 44596
224.39/225.05 c #Conflicts: 260000 | #Constraints: 45596
224.39/225.05 c #Conflicts: 261000 | #Constraints: 46596
224.39/225.05 c #Conflicts: 262000 | #Constraints: 47596
224.39/225.05 c #Conflicts: 263000 | #Constraints: 48596
224.39/225.05 c #Conflicts: 264000 | #Constraints: 49596
224.39/225.05 c #Conflicts: 265000 | #Constraints: 50596
224.39/225.05 c #Conflicts: 266000 | #Constraints: 51596
224.39/225.05 c #Conflicts: 267000 | #Constraints: 52596
224.39/225.05 c #Conflicts: 268000 | #Constraints: 53596
224.39/225.05 c #Conflicts: 269000 | #Constraints: 54596
224.39/225.05 c #Conflicts: 270000 | #Constraints: 55596
224.39/225.05 c INPROCESSING
224.39/225.05 c GARBAGE COLLECT
224.39/225.05 c rational objective 1.13243e-13
298.40/299.29 c #Conflicts: 271000 | #Constraints: 31678
298.40/299.29 c #Conflicts: 272000 | #Constraints: 32678
298.40/299.29 c #Conflicts: 273000 | #Constraints: 33678
298.40/299.29 c #Conflicts: 274000 | #Constraints: 34678
298.40/299.29 c #Conflicts: 275000 | #Constraints: 35678
298.40/299.29 c #Conflicts: 276000 | #Constraints: 36678
298.40/299.29 c #Conflicts: 277000 | #Constraints: 37678
298.40/299.29 c #Conflicts: 278000 | #Constraints: 38678
298.40/299.29 c #Conflicts: 279000 | #Constraints: 39678
298.40/299.29 c #Conflicts: 280000 | #Constraints: 40678
298.40/299.29 c #Conflicts: 281000 | #Constraints: 41678
298.40/299.29 c #Conflicts: 282000 | #Constraints: 42678
298.40/299.29 c INPROCESSING
298.40/299.29 c GARBAGE COLLECT
298.40/299.29 c #Conflicts: 283000 | #Constraints: 24743
298.40/299.29 c #Conflicts: 284000 | #Constraints: 25743
298.40/299.29 c #Conflicts: 285000 | #Constraints: 26743
298.40/299.29 c #Conflicts: 286000 | #Constraints: 27743
298.40/299.29 c #Conflicts: 287000 | #Constraints: 28743
298.40/299.29 c #Conflicts: 288000 | #Constraints: 29743
298.40/299.29 c #Conflicts: 289000 | #Constraints: 30743
298.40/299.29 c #Conflicts: 290000 | #Constraints: 31743
298.40/299.29 c #Conflicts: 291000 | #Constraints: 32743
298.40/299.29 c #Conflicts: 292000 | #Constraints: 33743
298.40/299.29 c #Conflicts: 293000 | #Constraints: 34743
298.40/299.29 c #Conflicts: 294000 | #Constraints: 35743
298.40/299.29 c #Conflicts: 295000 | #Constraints: 36743
298.40/299.29 c INPROCESSING
298.40/299.29 c GARBAGE COLLECT
298.40/299.29 c #Conflicts: 296000 | #Constraints: 21826
298.40/299.29 c #Conflicts: 297000 | #Constraints: 22826
298.40/299.29 c #Conflicts: 298000 | #Constraints: 23826
298.40/299.29 c #Conflicts: 299000 | #Constraints: 24826
298.40/299.29 c #Conflicts: 300000 | #Constraints: 25826
298.40/299.29 c #Conflicts: 301000 | #Constraints: 26826
298.40/299.29 c #Conflicts: 302000 | #Constraints: 27826
298.40/299.29 c #Conflicts: 303000 | #Constraints: 28826
298.40/299.29 c #Conflicts: 304000 | #Constraints: 29826
298.40/299.29 c #Conflicts: 305000 | #Constraints: 30826
298.40/299.29 c #Conflicts: 306000 | #Constraints: 31827
298.40/299.29 c #Conflicts: 307000 | #Constraints: 32827
298.40/299.29 c #Conflicts: 308000 | #Constraints: 33827
298.40/299.29 c #Conflicts: 309000 | #Constraints: 34827
298.40/299.29 c #Conflicts: 310000 | #Constraints: 35827
298.40/299.29 c #Conflicts: 311000 | #Constraints: 36827
298.40/299.29 c #Conflicts: 312000 | #Constraints: 37827
298.40/299.29 c #Conflicts: 313000 | #Constraints: 38827
298.40/299.29 c #Conflicts: 314000 | #Constraints: 39827
298.40/299.29 c #Conflicts: 315000 | #Constraints: 40827
298.40/299.29 c #Conflicts: 316000 | #Constraints: 41827
298.40/299.29 c #Conflicts: 317000 | #Constraints: 42827
298.40/299.29 c #Conflicts: 318000 | #Constraints: 43827
298.40/299.29 c #Conflicts: 319000 | #Constraints: 44827
298.40/299.29 c #Conflicts: 320000 | #Constraints: 45827
298.40/299.29 c #Conflicts: 321000 | #Constraints: 46827
298.40/299.29 c #Conflicts: 322000 | #Constraints: 47827
298.40/299.29 c #Conflicts: 323000 | #Constraints: 48827
298.40/299.29 c #Conflicts: 324000 | #Constraints: 49827
298.40/299.29 c #Conflicts: 325000 | #Constraints: 50827
298.40/299.29 c #Conflicts: 326000 | #Constraints: 51827
298.40/299.29 c #Conflicts: 327000 | #Constraints: 52827
298.40/299.29 c #Conflicts: 328000 | #Constraints: 53827
298.40/299.29 c #Conflicts: 329000 | #Constraints: 54827
298.40/299.29 c #Conflicts: 330000 | #Constraints: 55827
298.40/299.29 c #Conflicts: 331000 | #Constraints: 56827
298.40/299.29 c #Conflicts: 332000 | #Constraints: 57827
298.40/299.29 c #Conflicts: 333000 | #Constraints: 58827
298.40/299.29 c #Conflicts: 334000 | #Constraints: 59827
298.40/299.29 c #Conflicts: 335000 | #Constraints: 60827
298.40/299.29 c #Conflicts: 336000 | #Constraints: 61827
298.40/299.29 c INPROCESSING
298.40/299.29 c GARBAGE COLLECT
298.40/299.29 c rational objective 1.13243e-13
312.86/313.76 c #Conflicts: 337000 | #Constraints: 34722
312.86/313.76 c #Conflicts: 338000 | #Constraints: 35722
312.86/313.76 c #Conflicts: 339000 | #Constraints: 36722
312.86/313.76 c #Conflicts: 340000 | #Constraints: 37722
312.86/313.76 c #Conflicts: 341000 | #Constraints: 38722
312.86/313.76 c #Conflicts: 342000 | #Constraints: 39722
312.86/313.76 c #Conflicts: 343000 | #Constraints: 40722
312.86/313.76 c #Conflicts: 344000 | #Constraints: 41722
312.86/313.76 c #Conflicts: 345000 | #Constraints: 42722
312.86/313.76 c #Conflicts: 346000 | #Constraints: 43722
312.86/313.76 c #Conflicts: 347000 | #Constraints: 44722
312.86/313.76 c #Conflicts: 348000 | #Constraints: 45722
312.86/313.76 c #Conflicts: 349000 | #Constraints: 46722
312.86/313.76 c #Conflicts: 350000 | #Constraints: 47722
312.86/313.76 c INPROCESSING
312.86/313.76 c GARBAGE COLLECT
312.86/313.76 c rational objective 1.13243e-13
328.42/329.37 c #Conflicts: 351000 | #Constraints: 27648
328.42/329.37 c #Conflicts: 352000 | #Constraints: 28648
328.42/329.37 c #Conflicts: 353000 | #Constraints: 29649
328.42/329.37 c #Conflicts: 354000 | #Constraints: 30649
328.42/329.37 c #Conflicts: 355000 | #Constraints: 31649
328.42/329.37 c #Conflicts: 356000 | #Constraints: 32649
328.42/329.37 c #Conflicts: 357000 | #Constraints: 33649
328.42/329.37 c #Conflicts: 358000 | #Constraints: 34649
328.42/329.37 c #Conflicts: 359000 | #Constraints: 35649
328.42/329.37 c #Conflicts: 360000 | #Constraints: 36649
328.42/329.37 c #Conflicts: 361000 | #Constraints: 37650
328.42/329.37 c #Conflicts: 362000 | #Constraints: 38650
328.42/329.37 c #Conflicts: 363000 | #Constraints: 39650
328.42/329.37 c #Conflicts: 364000 | #Constraints: 40650
328.42/329.37 c INPROCESSING
328.42/329.37 c GARBAGE COLLECT
328.42/329.37 c rational objective 1.13243e-13
420.39/421.54 c #Conflicts: 365000 | #Constraints: 23918
420.39/421.54 c #Conflicts: 366000 | #Constraints: 24918
420.39/421.54 c #Conflicts: 367000 | #Constraints: 25918
420.39/421.54 c #Conflicts: 368000 | #Constraints: 26918
420.39/421.54 c #Conflicts: 369000 | #Constraints: 27918
420.39/421.54 c #Conflicts: 370000 | #Constraints: 28918
420.39/421.54 c #Conflicts: 371000 | #Constraints: 29918
420.39/421.54 c #Conflicts: 372000 | #Constraints: 30918
420.39/421.54 c #Conflicts: 373000 | #Constraints: 31918
420.39/421.54 c #Conflicts: 374000 | #Constraints: 32918
420.39/421.54 c #Conflicts: 375000 | #Constraints: 33918
420.39/421.54 c #Conflicts: 376000 | #Constraints: 34918
420.39/421.54 c #Conflicts: 377000 | #Constraints: 35918
420.39/421.54 c #Conflicts: 378000 | #Constraints: 36918
420.39/421.54 c #Conflicts: 379000 | #Constraints: 37918
420.39/421.54 c #Conflicts: 380000 | #Constraints: 38918
420.39/421.54 c #Conflicts: 381000 | #Constraints: 39918
420.39/421.54 c #Conflicts: 382000 | #Constraints: 40918
420.39/421.54 c #Conflicts: 383000 | #Constraints: 41918
420.39/421.54 c #Conflicts: 384000 | #Constraints: 42919
420.39/421.54 c #Conflicts: 385000 | #Constraints: 43919
420.39/421.54 c #Conflicts: 386000 | #Constraints: 44919
420.39/421.54 c #Conflicts: 387000 | #Constraints: 45919
420.39/421.54 c #Conflicts: 388000 | #Constraints: 46919
420.39/421.54 c #Conflicts: 389000 | #Constraints: 47919
420.39/421.54 c #Conflicts: 390000 | #Constraints: 48919
420.39/421.54 c #Conflicts: 391000 | #Constraints: 49919
420.39/421.54 c #Conflicts: 392000 | #Constraints: 50919
420.39/421.54 c #Conflicts: 393000 | #Constraints: 51919
420.39/421.54 c #Conflicts: 394000 | #Constraints: 52919
420.39/421.54 c #Conflicts: 395000 | #Constraints: 53919
420.39/421.54 c #Conflicts: 396000 | #Constraints: 54919
420.39/421.54 c #Conflicts: 397000 | #Constraints: 55919
420.39/421.54 c #Conflicts: 398000 | #Constraints: 56919
420.39/421.54 c #Conflicts: 399000 | #Constraints: 57919
420.39/421.54 c #Conflicts: 400000 | #Constraints: 58919
420.39/421.54 c #Conflicts: 401000 | #Constraints: 59919
420.39/421.54 c #Conflicts: 402000 | #Constraints: 60920
420.39/421.54 c #Conflicts: 403000 | #Constraints: 61920
420.39/421.54 c #Conflicts: 404000 | #Constraints: 62920
420.39/421.54 c #Conflicts: 405000 | #Constraints: 63920
420.39/421.54 c #Conflicts: 406000 | #Constraints: 64920
420.39/421.54 c #Conflicts: 407000 | #Constraints: 65920
420.39/421.54 c #Conflicts: 408000 | #Constraints: 66920
420.39/421.54 c #Conflicts: 409000 | #Constraints: 67920
420.39/421.54 c INPROCESSING
420.39/421.54 c GARBAGE COLLECT
420.39/421.54 c rational objective 1.13243e-13
438.04/439.22 c #Conflicts: 410000 | #Constraints: 37752
438.04/439.22 c #Conflicts: 411000 | #Constraints: 38752
438.04/439.22 c #Conflicts: 412000 | #Constraints: 39752
438.04/439.22 c #Conflicts: 413000 | #Constraints: 40752
438.04/439.22 c #Conflicts: 414000 | #Constraints: 41752
438.04/439.22 c #Conflicts: 415000 | #Constraints: 42752
438.04/439.22 c #Conflicts: 416000 | #Constraints: 43752
438.04/439.22 c #Conflicts: 417000 | #Constraints: 44752
438.04/439.22 c #Conflicts: 418000 | #Constraints: 45752
438.04/439.22 c #Conflicts: 419000 | #Constraints: 46752
438.04/439.22 c #Conflicts: 420000 | #Constraints: 47752
438.04/439.22 c #Conflicts: 421000 | #Constraints: 48752
438.04/439.22 c #Conflicts: 422000 | #Constraints: 49752
438.04/439.22 c #Conflicts: 423000 | #Constraints: 50752
438.04/439.22 c #Conflicts: 424000 | #Constraints: 51752
438.04/439.22 c #Conflicts: 425000 | #Constraints: 52752
438.04/439.22 c INPROCESSING
438.04/439.22 c GARBAGE COLLECT
438.04/439.22 c rational objective 1.13243e-13
623.84/625.55 c #Conflicts: 426000 | #Constraints: 30263
623.84/625.55 c #Conflicts: 427000 | #Constraints: 31263
623.84/625.55 c #Conflicts: 428000 | #Constraints: 32263
623.84/625.55 c #Conflicts: 429000 | #Constraints: 33263
623.84/625.55 c #Conflicts: 430000 | #Constraints: 34263
623.84/625.55 c #Conflicts: 431000 | #Constraints: 35263
623.84/625.55 c #Conflicts: 432000 | #Constraints: 36263
623.84/625.55 c #Conflicts: 433000 | #Constraints: 37263
623.84/625.55 c #Conflicts: 434000 | #Constraints: 38263
623.84/625.55 c #Conflicts: 435000 | #Constraints: 39263
623.84/625.55 c #Conflicts: 436000 | #Constraints: 40263
623.84/625.55 c #Conflicts: 437000 | #Constraints: 41263
623.84/625.55 c #Conflicts: 438000 | #Constraints: 42263
623.84/625.55 c #Conflicts: 439000 | #Constraints: 43263
623.84/625.55 c #Conflicts: 440000 | #Constraints: 44263
623.84/625.55 c #Conflicts: 441000 | #Constraints: 45263
623.84/625.55 c INPROCESSING
623.84/625.55 c GARBAGE COLLECT
623.84/625.55 c #Conflicts: 442000 | #Constraints: 27450
623.84/625.55 c #Conflicts: 443000 | #Constraints: 28450
623.84/625.55 c #Conflicts: 444000 | #Constraints: 29450
623.84/625.55 c #Conflicts: 445000 | #Constraints: 30450
623.84/625.55 c #Conflicts: 446000 | #Constraints: 31450
623.84/625.55 c #Conflicts: 447000 | #Constraints: 32450
623.84/625.55 c #Conflicts: 448000 | #Constraints: 33450
623.84/625.55 c #Conflicts: 449000 | #Constraints: 34450
623.84/625.55 c #Conflicts: 450000 | #Constraints: 35450
623.84/625.55 c #Conflicts: 451000 | #Constraints: 36450
623.84/625.55 c #Conflicts: 452000 | #Constraints: 37450
623.84/625.55 c #Conflicts: 453000 | #Constraints: 38450
623.84/625.55 c #Conflicts: 454000 | #Constraints: 39450
623.84/625.55 c #Conflicts: 455000 | #Constraints: 40450
623.84/625.55 c #Conflicts: 456000 | #Constraints: 41450
623.84/625.55 c #Conflicts: 457000 | #Constraints: 42450
623.84/625.55 c #Conflicts: 458000 | #Constraints: 43450
623.84/625.55 c #Conflicts: 459000 | #Constraints: 44450
623.84/625.55 c #Conflicts: 460000 | #Constraints: 45450
623.84/625.55 c #Conflicts: 461000 | #Constraints: 46450
623.84/625.55 c #Conflicts: 462000 | #Constraints: 47450
623.84/625.55 c #Conflicts: 463000 | #Constraints: 48450
623.84/625.55 c #Conflicts: 464000 | #Constraints: 49450
623.84/625.55 c #Conflicts: 465000 | #Constraints: 50450
623.84/625.55 c #Conflicts: 466000 | #Constraints: 51450
623.84/625.55 c #Conflicts: 467000 | #Constraints: 52450
623.84/625.55 c #Conflicts: 468000 | #Constraints: 53450
623.84/625.55 c #Conflicts: 469000 | #Constraints: 54450
623.84/625.55 c #Conflicts: 470000 | #Constraints: 55450
623.84/625.55 c #Conflicts: 471000 | #Constraints: 56450
623.84/625.55 c #Conflicts: 472000 | #Constraints: 57450
623.84/625.55 c #Conflicts: 473000 | #Constraints: 58450
623.84/625.55 c #Conflicts: 474000 | #Constraints: 59450
623.84/625.55 c #Conflicts: 475000 | #Constraints: 60450
623.84/625.55 c #Conflicts: 476000 | #Constraints: 61450
623.84/625.55 c #Conflicts: 477000 | #Constraints: 62450
623.84/625.55 c #Conflicts: 478000 | #Constraints: 63450
623.84/625.55 c #Conflicts: 479000 | #Constraints: 64450
623.84/625.55 c #Conflicts: 480000 | #Constraints: 65450
623.84/625.55 c #Conflicts: 481000 | #Constraints: 66450
623.84/625.55 c #Conflicts: 482000 | #Constraints: 67450
623.84/625.55 c #Conflicts: 483000 | #Constraints: 68450
623.84/625.55 c #Conflicts: 484000 | #Constraints: 69450
623.84/625.55 c #Conflicts: 485000 | #Constraints: 70450
623.84/625.55 c #Conflicts: 486000 | #Constraints: 71450
623.84/625.55 c #Conflicts: 487000 | #Constraints: 72450
623.84/625.55 c #Conflicts: 488000 | #Constraints: 73450
623.84/625.55 c #Conflicts: 489000 | #Constraints: 74450
623.84/625.55 c INPROCESSING
623.84/625.55 c GARBAGE COLLECT
623.84/625.55 c rational objective 2.26485e-13
761.27/763.34 c #Conflicts: 490000 | #Constraints: 40870
761.27/763.34 c #Conflicts: 491000 | #Constraints: 41870
761.27/763.34 c #Conflicts: 492000 | #Constraints: 42870
761.27/763.34 c #Conflicts: 493000 | #Constraints: 43870
761.27/763.34 c #Conflicts: 494000 | #Constraints: 44870
761.27/763.34 c #Conflicts: 495000 | #Constraints: 45870
761.27/763.34 c #Conflicts: 496000 | #Constraints: 46870
761.27/763.34 c #Conflicts: 497000 | #Constraints: 47870
761.27/763.34 c #Conflicts: 498000 | #Constraints: 48870
761.27/763.34 c #Conflicts: 499000 | #Constraints: 49870
761.27/763.34 c #Conflicts: 500000 | #Constraints: 50870
761.27/763.34 c #Conflicts: 501000 | #Constraints: 51870
761.27/763.34 c #Conflicts: 502000 | #Constraints: 52870
761.27/763.34 c #Conflicts: 503000 | #Constraints: 53870
761.27/763.34 c #Conflicts: 504000 | #Constraints: 54870
761.27/763.34 c #Conflicts: 505000 | #Constraints: 55870
761.27/763.34 c #Conflicts: 506000 | #Constraints: 56870
761.27/763.34 c INPROCESSING
761.27/763.34 c GARBAGE COLLECT
761.27/763.34 c #Conflicts: 507000 | #Constraints: 31859
761.27/763.34 c #Conflicts: 508000 | #Constraints: 32859
761.27/763.34 c #Conflicts: 509000 | #Constraints: 33859
761.27/763.34 c #Conflicts: 510000 | #Constraints: 34859
761.27/763.34 c #Conflicts: 511000 | #Constraints: 35859
761.27/763.34 c #Conflicts: 512000 | #Constraints: 36859
761.27/763.34 c #Conflicts: 513000 | #Constraints: 37859
761.27/763.34 c #Conflicts: 514000 | #Constraints: 38859
761.27/763.34 c #Conflicts: 515000 | #Constraints: 39859
761.27/763.34 c #Conflicts: 516000 | #Constraints: 40859
761.27/763.34 c #Conflicts: 517000 | #Constraints: 41859
761.27/763.34 c #Conflicts: 518000 | #Constraints: 42859
761.27/763.34 c #Conflicts: 519000 | #Constraints: 43859
761.27/763.34 c #Conflicts: 520000 | #Constraints: 44859
761.27/763.34 c #Conflicts: 521000 | #Constraints: 45859
761.27/763.34 c #Conflicts: 522000 | #Constraints: 46859
761.27/763.34 c #Conflicts: 523000 | #Constraints: 47859
761.27/763.34 c #Conflicts: 524000 | #Constraints: 48859
761.27/763.34 c INPROCESSING
761.27/763.34 c GARBAGE COLLECT
761.27/763.34 c #Conflicts: 525000 | #Constraints: 28509
761.27/763.34 c #Conflicts: 526000 | #Constraints: 29509
761.27/763.34 c #Conflicts: 527000 | #Constraints: 30509
761.27/763.34 c #Conflicts: 528000 | #Constraints: 31509
761.27/763.34 c #Conflicts: 529000 | #Constraints: 32509
761.27/763.34 c #Conflicts: 530000 | #Constraints: 33509
761.27/763.34 c #Conflicts: 531000 | #Constraints: 34509
761.27/763.34 c #Conflicts: 532000 | #Constraints: 35509
761.27/763.34 c #Conflicts: 533000 | #Constraints: 36509
761.27/763.34 c #Conflicts: 534000 | #Constraints: 37509
761.27/763.34 c #Conflicts: 535000 | #Constraints: 38509
761.27/763.34 c #Conflicts: 536000 | #Constraints: 39509
761.27/763.34 c #Conflicts: 537000 | #Constraints: 40509
761.27/763.34 c #Conflicts: 538000 | #Constraints: 41509
761.27/763.34 c #Conflicts: 539000 | #Constraints: 42509
761.27/763.34 c #Conflicts: 540000 | #Constraints: 43509
761.27/763.34 c #Conflicts: 541000 | #Constraints: 44509
761.27/763.34 c #Conflicts: 542000 | #Constraints: 45509
761.27/763.34 c #Conflicts: 543000 | #Constraints: 46509
761.27/763.34 c #Conflicts: 544000 | #Constraints: 47509
761.27/763.34 c #Conflicts: 545000 | #Constraints: 48509
761.27/763.34 c #Conflicts: 546000 | #Constraints: 49509
761.27/763.34 c #Conflicts: 547000 | #Constraints: 50509
761.27/763.34 c #Conflicts: 548000 | #Constraints: 51509
761.27/763.34 c #Conflicts: 549000 | #Constraints: 52509
761.27/763.34 c #Conflicts: 550000 | #Constraints: 53509
761.27/763.34 c #Conflicts: 551000 | #Constraints: 54509
761.27/763.34 c #Conflicts: 552000 | #Constraints: 55509
761.27/763.34 c #Conflicts: 553000 | #Constraints: 56509
761.27/763.34 c #Conflicts: 554000 | #Constraints: 57509
761.27/763.34 c #Conflicts: 555000 | #Constraints: 58509
761.27/763.34 c #Conflicts: 556000 | #Constraints: 59509
761.27/763.34 c #Conflicts: 557000 | #Constraints: 60509
761.27/763.34 c #Conflicts: 558000 | #Constraints: 61509
761.27/763.34 c #Conflicts: 559000 | #Constraints: 62509
761.27/763.34 c #Conflicts: 560000 | #Constraints: 63509
761.27/763.34 c #Conflicts: 561000 | #Constraints: 64509
761.27/763.34 c #Conflicts: 562000 | #Constraints: 65509
761.27/763.34 c #Conflicts: 563000 | #Constraints: 66509
761.27/763.34 c #Conflicts: 564000 | #Constraints: 67509
761.27/763.34 c #Conflicts: 565000 | #Constraints: 68509
761.27/763.34 c #Conflicts: 566000 | #Constraints: 69509
761.27/763.34 c #Conflicts: 567000 | #Constraints: 70509
787.01/789.19 c #Conflicts: 568000 | #Constraints: 71509
787.01/789.19 c #Conflicts: 569000 | #Constraints: 72509
787.01/789.19 c #Conflicts: 570000 | #Constraints: 73509
787.01/789.19 c #Conflicts: 571000 | #Constraints: 74509
787.01/789.19 c #Conflicts: 572000 | #Constraints: 75509
787.01/789.19 c #Conflicts: 573000 | #Constraints: 76509
787.01/789.19 c #Conflicts: 574000 | #Constraints: 77509
787.01/789.19 c #Conflicts: 575000 | #Constraints: 78509
787.01/789.19 c #Conflicts: 576000 | #Constraints: 79509
787.01/789.19 c #Conflicts: 577000 | #Constraints: 80509
787.01/789.19 c INPROCESSING
787.01/789.19 c GARBAGE COLLECT
787.01/789.19 c rational objective 1.13243e-13
888.03/890.41 c #Conflicts: 578000 | #Constraints: 44075
888.03/890.41 c #Conflicts: 579000 | #Constraints: 45075
888.03/890.41 c #Conflicts: 580000 | #Constraints: 46075
888.03/890.41 c #Conflicts: 581000 | #Constraints: 47075
888.03/890.41 c #Conflicts: 582000 | #Constraints: 48075
888.03/890.41 c #Conflicts: 583000 | #Constraints: 49075
888.03/890.41 c #Conflicts: 584000 | #Constraints: 50075
888.03/890.41 c #Conflicts: 585000 | #Constraints: 51075
888.03/890.41 c #Conflicts: 586000 | #Constraints: 52075
888.03/890.41 c #Conflicts: 587000 | #Constraints: 53075
888.03/890.41 c #Conflicts: 588000 | #Constraints: 54075
888.03/890.41 c #Conflicts: 589000 | #Constraints: 55075
888.03/890.41 c #Conflicts: 590000 | #Constraints: 56075
888.03/890.41 c #Conflicts: 591000 | #Constraints: 57075
888.03/890.41 c #Conflicts: 592000 | #Constraints: 58075
888.03/890.41 c #Conflicts: 593000 | #Constraints: 59075
888.03/890.41 c #Conflicts: 594000 | #Constraints: 60075
888.03/890.41 c #Conflicts: 595000 | #Constraints: 61075
888.03/890.41 c #Conflicts: 596000 | #Constraints: 62075
888.03/890.41 c INPROCESSING
888.03/890.41 c GARBAGE COLLECT
888.03/890.41 c #Conflicts: 597000 | #Constraints: 34995
888.03/890.41 c #Conflicts: 598000 | #Constraints: 35995
888.03/890.41 c #Conflicts: 599000 | #Constraints: 36995
888.03/890.41 c #Conflicts: 600000 | #Constraints: 37995
888.03/890.41 c #Conflicts: 601000 | #Constraints: 38995
888.03/890.41 c #Conflicts: 602000 | #Constraints: 39995
888.03/890.41 c #Conflicts: 603000 | #Constraints: 40995
888.03/890.41 c #Conflicts: 604000 | #Constraints: 41995
888.03/890.41 c #Conflicts: 605000 | #Constraints: 42995
888.03/890.41 c #Conflicts: 606000 | #Constraints: 43995
888.03/890.41 c #Conflicts: 607000 | #Constraints: 44995
888.03/890.41 c #Conflicts: 608000 | #Constraints: 45995
888.03/890.41 c #Conflicts: 609000 | #Constraints: 46995
888.03/890.41 c #Conflicts: 610000 | #Constraints: 47995
888.03/890.41 c #Conflicts: 611000 | #Constraints: 48995
888.03/890.41 c #Conflicts: 612000 | #Constraints: 49995
888.03/890.41 c #Conflicts: 613000 | #Constraints: 50995
888.03/890.41 c #Conflicts: 614000 | #Constraints: 51995
888.03/890.41 c #Conflicts: 615000 | #Constraints: 52995
888.03/890.41 c INPROCESSING
888.03/890.41 c GARBAGE COLLECT
888.03/890.41 c #Conflicts: 616000 | #Constraints: 31655
888.03/890.41 c #Conflicts: 617000 | #Constraints: 32655
888.03/890.41 c #Conflicts: 618000 | #Constraints: 33655
888.03/890.41 c #Conflicts: 619000 | #Constraints: 34655
888.03/890.41 c #Conflicts: 620000 | #Constraints: 35655
888.03/890.41 c #Conflicts: 621000 | #Constraints: 36655
888.03/890.41 c #Conflicts: 622000 | #Constraints: 37655
888.03/890.41 c #Conflicts: 623000 | #Constraints: 38655
888.03/890.41 c #Conflicts: 624000 | #Constraints: 39655
888.03/890.41 c #Conflicts: 625000 | #Constraints: 40655
888.03/890.41 c #Conflicts: 626000 | #Constraints: 41655
888.03/890.41 c #Conflicts: 627000 | #Constraints: 42655
888.03/890.41 c #Conflicts: 628000 | #Constraints: 43655
888.03/890.41 c #Conflicts: 629000 | #Constraints: 44655
888.03/890.41 c #Conflicts: 630000 | #Constraints: 45655
888.03/890.41 c #Conflicts: 631000 | #Constraints: 46655
888.03/890.41 c #Conflicts: 632000 | #Constraints: 47655
888.03/890.41 c #Conflicts: 633000 | #Constraints: 48655
888.03/890.41 c #Conflicts: 634000 | #Constraints: 49655
888.03/890.41 c #Conflicts: 635000 | #Constraints: 50655
888.03/890.41 c #Conflicts: 636000 | #Constraints: 51655
888.03/890.41 c #Conflicts: 637000 | #Constraints: 52655
888.03/890.41 c #Conflicts: 638000 | #Constraints: 53655
888.03/890.41 c #Conflicts: 639000 | #Constraints: 54655
888.03/890.41 c #Conflicts: 640000 | #Constraints: 55655
888.03/890.41 c #Conflicts: 641000 | #Constraints: 56655
888.03/890.41 c #Conflicts: 642000 | #Constraints: 57655
888.03/890.41 c #Conflicts: 643000 | #Constraints: 58655
888.03/890.41 c #Conflicts: 644000 | #Constraints: 59655
888.03/890.41 c #Conflicts: 645000 | #Constraints: 60655
888.03/890.41 c #Conflicts: 646000 | #Constraints: 61655
888.03/890.41 c #Conflicts: 647000 | #Constraints: 62655
888.03/890.41 c #Conflicts: 648000 | #Constraints: 63655
888.03/890.41 c #Conflicts: 649000 | #Constraints: 64655
888.03/890.41 c #Conflicts: 650000 | #Constraints: 65655
888.03/890.41 c #Conflicts: 651000 | #Constraints: 66655
888.03/890.41 c #Conflicts: 652000 | #Constraints: 67655
888.03/890.41 c #Conflicts: 653000 | #Constraints: 68655
888.03/890.41 c #Conflicts: 654000 | #Constraints: 69655
888.03/890.41 c #Conflicts: 655000 | #Constraints: 70655
943.49/946.09 c #Conflicts: 656000 | #Constraints: 71655
943.49/946.09 c #Conflicts: 657000 | #Constraints: 72655
943.49/946.09 c #Conflicts: 658000 | #Constraints: 73655
943.49/946.09 c #Conflicts: 659000 | #Constraints: 74655
943.49/946.09 c #Conflicts: 660000 | #Constraints: 75655
943.49/946.09 c #Conflicts: 661000 | #Constraints: 76655
943.49/946.09 c #Conflicts: 662000 | #Constraints: 77655
943.49/946.09 c #Conflicts: 663000 | #Constraints: 78655
943.49/946.09 c #Conflicts: 664000 | #Constraints: 79655
943.49/946.09 c #Conflicts: 665000 | #Constraints: 80655
943.49/946.09 c #Conflicts: 666000 | #Constraints: 81655
943.49/946.09 c #Conflicts: 667000 | #Constraints: 82655
943.49/946.09 c #Conflicts: 668000 | #Constraints: 83655
943.49/946.09 c #Conflicts: 669000 | #Constraints: 84655
943.49/946.09 c #Conflicts: 670000 | #Constraints: 85655
943.49/946.09 c #Conflicts: 671000 | #Constraints: 86655
943.49/946.09 c #Conflicts: 672000 | #Constraints: 87655
943.49/946.09 c INPROCESSING
943.49/946.09 c GARBAGE COLLECT
943.49/946.09 c rational objective 1.13243e-13
967.13/969.71 c #Conflicts: 673000 | #Constraints: 47825
967.13/969.71 c #Conflicts: 674000 | #Constraints: 48825
967.13/969.71 c #Conflicts: 675000 | #Constraints: 49825
967.13/969.71 c #Conflicts: 676000 | #Constraints: 50825
967.13/969.71 c #Conflicts: 677000 | #Constraints: 51825
967.13/969.71 c #Conflicts: 678000 | #Constraints: 52825
967.13/969.71 c #Conflicts: 679000 | #Constraints: 53825
967.13/969.71 c #Conflicts: 680000 | #Constraints: 54825
967.13/969.71 c #Conflicts: 681000 | #Constraints: 55825
967.13/969.71 c #Conflicts: 682000 | #Constraints: 56825
967.13/969.71 c #Conflicts: 683000 | #Constraints: 57825
967.13/969.71 c #Conflicts: 684000 | #Constraints: 58825
967.13/969.71 c #Conflicts: 685000 | #Constraints: 59825
967.13/969.71 c #Conflicts: 686000 | #Constraints: 60825
967.13/969.71 c #Conflicts: 687000 | #Constraints: 61825
967.13/969.71 c #Conflicts: 688000 | #Constraints: 62825
967.13/969.71 c #Conflicts: 689000 | #Constraints: 63825
967.13/969.71 c #Conflicts: 690000 | #Constraints: 64825
967.13/969.71 c #Conflicts: 691000 | #Constraints: 65825
967.13/969.71 c #Conflicts: 692000 | #Constraints: 66825
967.13/969.71 c INPROCESSING
967.13/969.71 c GARBAGE COLLECT
967.13/969.71 c rational objective -1.66089e-12
1206.49/1209.77 c #Conflicts: 693000 | #Constraints: 37310
1206.49/1209.77 c #Conflicts: 694000 | #Constraints: 38310
1206.49/1209.77 c #Conflicts: 695000 | #Constraints: 39310
1206.49/1209.77 c #Conflicts: 696000 | #Constraints: 40310
1206.49/1209.77 c #Conflicts: 697000 | #Constraints: 41310
1206.49/1209.77 c #Conflicts: 698000 | #Constraints: 42310
1206.49/1209.77 c #Conflicts: 699000 | #Constraints: 43310
1206.49/1209.77 c #Conflicts: 700000 | #Constraints: 44310
1206.49/1209.77 c #Conflicts: 701000 | #Constraints: 45310
1206.49/1209.77 c #Conflicts: 702000 | #Constraints: 46310
1206.49/1209.77 c #Conflicts: 703000 | #Constraints: 47310
1206.49/1209.77 c #Conflicts: 704000 | #Constraints: 48310
1206.49/1209.77 c #Conflicts: 705000 | #Constraints: 49310
1206.49/1209.77 c #Conflicts: 706000 | #Constraints: 50310
1206.49/1209.77 c #Conflicts: 707000 | #Constraints: 51310
1206.49/1209.77 c #Conflicts: 708000 | #Constraints: 52310
1206.49/1209.77 c #Conflicts: 709000 | #Constraints: 53310
1206.49/1209.77 c #Conflicts: 710000 | #Constraints: 54310
1206.49/1209.77 c #Conflicts: 711000 | #Constraints: 55310
1206.49/1209.77 c #Conflicts: 712000 | #Constraints: 56310
1206.49/1209.77 c INPROCESSING
1206.49/1209.77 c GARBAGE COLLECT
1206.49/1209.77 c #Conflicts: 713000 | #Constraints: 33975
1206.49/1209.77 c #Conflicts: 714000 | #Constraints: 34975
1206.49/1209.77 c #Conflicts: 715000 | #Constraints: 35975
1206.49/1209.77 c #Conflicts: 716000 | #Constraints: 36975
1206.49/1209.77 c #Conflicts: 717000 | #Constraints: 37975
1206.49/1209.77 c #Conflicts: 718000 | #Constraints: 38975
1206.49/1209.77 c #Conflicts: 719000 | #Constraints: 39975
1206.49/1209.77 c #Conflicts: 720000 | #Constraints: 40975
1206.49/1209.77 c #Conflicts: 721000 | #Constraints: 41975
1206.49/1209.77 c #Conflicts: 722000 | #Constraints: 42975
1206.49/1209.77 c #Conflicts: 723000 | #Constraints: 43975
1206.49/1209.77 c #Conflicts: 724000 | #Constraints: 44975
1206.49/1209.77 c #Conflicts: 725000 | #Constraints: 45975
1206.49/1209.77 c #Conflicts: 726000 | #Constraints: 46975
1206.49/1209.77 c #Conflicts: 727000 | #Constraints: 47975
1206.49/1209.77 c #Conflicts: 728000 | #Constraints: 48975
1206.49/1209.77 c #Conflicts: 729000 | #Constraints: 49975
1206.49/1209.77 c #Conflicts: 730000 | #Constraints: 50975
1206.49/1209.77 c #Conflicts: 731000 | #Constraints: 51975
1206.49/1209.77 c #Conflicts: 732000 | #Constraints: 52975
1206.49/1209.77 c #Conflicts: 733000 | #Constraints: 53975
1206.49/1209.77 c #Conflicts: 734000 | #Constraints: 54975
1206.49/1209.77 c #Conflicts: 735000 | #Constraints: 55975
1206.49/1209.77 c #Conflicts: 736000 | #Constraints: 56975
1206.49/1209.77 c #Conflicts: 737000 | #Constraints: 57975
1206.49/1209.77 c #Conflicts: 738000 | #Constraints: 58975
1206.49/1209.77 c #Conflicts: 739000 | #Constraints: 59975
1206.49/1209.77 c #Conflicts: 740000 | #Constraints: 60975
1206.49/1209.77 c #Conflicts: 741000 | #Constraints: 61975
1206.49/1209.77 c #Conflicts: 742000 | #Constraints: 62975
1206.49/1209.77 c #Conflicts: 743000 | #Constraints: 63975
1206.49/1209.77 c #Conflicts: 744000 | #Constraints: 64975
1206.49/1209.77 c #Conflicts: 745000 | #Constraints: 65975
1206.49/1209.77 c #Conflicts: 746000 | #Constraints: 66975
1206.49/1209.77 c #Conflicts: 747000 | #Constraints: 67975
1206.49/1209.77 c #Conflicts: 748000 | #Constraints: 68975
1206.49/1209.77 c #Conflicts: 749000 | #Constraints: 69975
1206.49/1209.77 c #Conflicts: 750000 | #Constraints: 70975
1206.49/1209.77 c #Conflicts: 751000 | #Constraints: 71975
1206.49/1209.77 c #Conflicts: 752000 | #Constraints: 72975
1206.49/1209.77 c #Conflicts: 753000 | #Constraints: 73975
1206.49/1209.77 c #Conflicts: 754000 | #Constraints: 74975
1206.49/1209.77 c #Conflicts: 755000 | #Constraints: 75976
1206.49/1209.77 c #Conflicts: 756000 | #Constraints: 76976
1206.49/1209.77 c #Conflicts: 757000 | #Constraints: 77976
1206.49/1209.77 c #Conflicts: 758000 | #Constraints: 78976
1206.49/1209.77 c #Conflicts: 759000 | #Constraints: 79976
1206.49/1209.77 c #Conflicts: 760000 | #Constraints: 80976
1206.49/1209.77 c #Conflicts: 761000 | #Constraints: 81976
1206.49/1209.77 c #Conflicts: 762000 | #Constraints: 82976
1206.49/1209.77 c #Conflicts: 763000 | #Constraints: 83976
1206.49/1209.77 c #Conflicts: 764000 | #Constraints: 84976
1206.49/1209.77 c #Conflicts: 765000 | #Constraints: 85976
1206.49/1209.77 c #Conflicts: 766000 | #Constraints: 86976
1206.49/1209.77 c #Conflicts: 767000 | #Constraints: 87976
1206.49/1209.77 c #Conflicts: 768000 | #Constraints: 88976
1206.49/1209.77 c #Conflicts: 769000 | #Constraints: 89976
1206.49/1209.77 c #Conflicts: 770000 | #Constraints: 90976
1206.49/1209.77 c #Conflicts: 771000 | #Constraints: 91976
1218.76/1222.05 c #Conflicts: 772000 | #Constraints: 92976
1218.76/1222.05 c #Conflicts: 773000 | #Constraints: 93976
1218.76/1222.05 c #Conflicts: 774000 | #Constraints: 94976
1218.76/1222.05 c INPROCESSING
1218.76/1222.05 c GARBAGE COLLECT
1218.76/1222.05 c rational objective -1.13243e-13
1284.48/1287.96 c #Conflicts: 775000 | #Constraints: 51410
1284.48/1287.96 c #Conflicts: 776000 | #Constraints: 52411
1284.48/1287.96 c #Conflicts: 777000 | #Constraints: 53411
1284.48/1287.96 c #Conflicts: 778000 | #Constraints: 54411
1284.48/1287.96 c #Conflicts: 779000 | #Constraints: 55411
1284.48/1287.96 c #Conflicts: 780000 | #Constraints: 56411
1284.48/1287.96 c #Conflicts: 781000 | #Constraints: 57411
1284.48/1287.96 c #Conflicts: 782000 | #Constraints: 58411
1284.48/1287.96 c #Conflicts: 783000 | #Constraints: 59411
1284.48/1287.96 c #Conflicts: 784000 | #Constraints: 60412
1284.48/1287.96 c #Conflicts: 785000 | #Constraints: 61412
1284.48/1287.96 c #Conflicts: 786000 | #Constraints: 62412
1284.48/1287.96 c #Conflicts: 787000 | #Constraints: 63412
1284.48/1287.96 c #Conflicts: 788000 | #Constraints: 64412
1284.48/1287.96 c #Conflicts: 789000 | #Constraints: 65412
1284.48/1287.96 c #Conflicts: 790000 | #Constraints: 66412
1284.48/1287.96 c #Conflicts: 791000 | #Constraints: 67412
1284.48/1287.96 c #Conflicts: 792000 | #Constraints: 68413
1284.48/1287.96 c #Conflicts: 793000 | #Constraints: 69413
1284.48/1287.96 c #Conflicts: 794000 | #Constraints: 70413
1284.48/1287.96 c #Conflicts: 795000 | #Constraints: 71413
1284.48/1287.96 c INPROCESSING
1284.48/1287.96 c GARBAGE COLLECT
1284.48/1287.96 c #Conflicts: 796000 | #Constraints: 39289
1284.48/1287.96 c #Conflicts: 797000 | #Constraints: 40289
1284.48/1287.96 c #Conflicts: 798000 | #Constraints: 41289
1284.48/1287.96 c #Conflicts: 799000 | #Constraints: 42289
1284.48/1287.96 c #Conflicts: 800000 | #Constraints: 43289
1284.48/1287.96 c #Conflicts: 801000 | #Constraints: 44290
1284.48/1287.96 c #Conflicts: 802000 | #Constraints: 45290
1284.48/1287.96 c #Conflicts: 803000 | #Constraints: 46290
1284.48/1287.96 c #Conflicts: 804000 | #Constraints: 47290
1284.48/1287.96 c #Conflicts: 805000 | #Constraints: 48290
1284.48/1287.96 c #Conflicts: 806000 | #Constraints: 49290
1284.48/1287.96 c #Conflicts: 807000 | #Constraints: 50290
1284.48/1287.96 c #Conflicts: 808000 | #Constraints: 51290
1284.48/1287.96 c #Conflicts: 809000 | #Constraints: 52290
1284.48/1287.96 c #Conflicts: 810000 | #Constraints: 53290
1284.48/1287.96 c #Conflicts: 811000 | #Constraints: 54290
1284.48/1287.96 c #Conflicts: 812000 | #Constraints: 55290
1284.48/1287.96 c #Conflicts: 813000 | #Constraints: 56290
1284.48/1287.96 c #Conflicts: 814000 | #Constraints: 57290
1284.48/1287.96 c #Conflicts: 815000 | #Constraints: 58290
1284.48/1287.96 c #Conflicts: 816000 | #Constraints: 59290
1284.48/1287.96 c #Conflicts: 817000 | #Constraints: 60290
1284.48/1287.96 c INPROCESSING
1284.48/1287.96 c GARBAGE COLLECT
1284.48/1287.96 c rational objective -1.13243e-13
1481.85/1485.82 c #Conflicts: 818000 | #Constraints: 36784
1481.85/1485.82 c #Conflicts: 819000 | #Constraints: 37784
1481.85/1485.82 c #Conflicts: 820000 | #Constraints: 38784
1481.85/1485.82 c #Conflicts: 821000 | #Constraints: 39784
1481.85/1485.82 c #Conflicts: 822000 | #Constraints: 40784
1481.85/1485.82 c #Conflicts: 823000 | #Constraints: 41784
1481.85/1485.82 c #Conflicts: 824000 | #Constraints: 42784
1481.85/1485.82 c #Conflicts: 825000 | #Constraints: 43784
1481.85/1485.82 c #Conflicts: 826000 | #Constraints: 44784
1481.85/1485.82 c #Conflicts: 827000 | #Constraints: 45784
1481.85/1485.82 c #Conflicts: 828000 | #Constraints: 46784
1481.85/1485.82 c #Conflicts: 829000 | #Constraints: 47784
1481.85/1485.82 c #Conflicts: 830000 | #Constraints: 48784
1481.85/1485.82 c #Conflicts: 831000 | #Constraints: 49784
1481.85/1485.82 c #Conflicts: 832000 | #Constraints: 50784
1481.85/1485.82 c #Conflicts: 833000 | #Constraints: 51784
1481.85/1485.82 c #Conflicts: 834000 | #Constraints: 52784
1481.85/1485.82 c #Conflicts: 835000 | #Constraints: 53784
1481.85/1485.82 c #Conflicts: 836000 | #Constraints: 54784
1481.85/1485.82 c #Conflicts: 837000 | #Constraints: 55784
1481.85/1485.82 c #Conflicts: 838000 | #Constraints: 56784
1481.85/1485.82 c #Conflicts: 839000 | #Constraints: 57784
1481.85/1485.82 c #Conflicts: 840000 | #Constraints: 58784
1481.85/1485.82 c #Conflicts: 841000 | #Constraints: 59784
1481.85/1485.82 c #Conflicts: 842000 | #Constraints: 60784
1481.85/1485.82 c #Conflicts: 843000 | #Constraints: 61784
1481.85/1485.82 c #Conflicts: 844000 | #Constraints: 62784
1481.85/1485.82 c #Conflicts: 845000 | #Constraints: 63784
1481.85/1485.82 c #Conflicts: 846000 | #Constraints: 64784
1481.85/1485.82 c #Conflicts: 847000 | #Constraints: 65784
1481.85/1485.82 c #Conflicts: 848000 | #Constraints: 66784
1481.85/1485.82 c #Conflicts: 849000 | #Constraints: 67784
1481.85/1485.82 c #Conflicts: 850000 | #Constraints: 68784
1481.85/1485.82 c #Conflicts: 851000 | #Constraints: 69784
1481.85/1485.82 c #Conflicts: 852000 | #Constraints: 70784
1481.85/1485.82 c #Conflicts: 853000 | #Constraints: 71784
1481.85/1485.82 c #Conflicts: 854000 | #Constraints: 72784
1481.85/1485.82 c #Conflicts: 855000 | #Constraints: 73784
1481.85/1485.82 c #Conflicts: 856000 | #Constraints: 74784
1481.85/1485.82 c #Conflicts: 857000 | #Constraints: 75784
1481.85/1485.82 c #Conflicts: 858000 | #Constraints: 76784
1481.85/1485.82 c #Conflicts: 859000 | #Constraints: 77784
1481.85/1485.82 c #Conflicts: 860000 | #Constraints: 78784
1481.85/1485.82 c #Conflicts: 861000 | #Constraints: 79784
1481.85/1485.82 c #Conflicts: 862000 | #Constraints: 80784
1481.85/1485.82 c #Conflicts: 863000 | #Constraints: 81784
1481.85/1485.82 c #Conflicts: 864000 | #Constraints: 82784
1481.85/1485.82 c #Conflicts: 865000 | #Constraints: 83784
1481.85/1485.82 c #Conflicts: 866000 | #Constraints: 84784
1481.85/1485.82 c #Conflicts: 867000 | #Constraints: 85784
1481.85/1485.82 c #Conflicts: 868000 | #Constraints: 86784
1481.85/1485.82 c #Conflicts: 869000 | #Constraints: 87784
1481.85/1485.82 c #Conflicts: 870000 | #Constraints: 88784
1481.85/1485.82 c #Conflicts: 871000 | #Constraints: 89784
1481.85/1485.82 c #Conflicts: 872000 | #Constraints: 90784
1481.85/1485.82 c #Conflicts: 873000 | #Constraints: 91784
1481.85/1485.82 c #Conflicts: 874000 | #Constraints: 92784
1481.85/1485.82 c #Conflicts: 875000 | #Constraints: 93784
1481.85/1485.82 c #Conflicts: 876000 | #Constraints: 94784
1481.85/1485.82 c #Conflicts: 877000 | #Constraints: 95784
1481.85/1485.82 c #Conflicts: 878000 | #Constraints: 96784
1481.85/1485.82 c #Conflicts: 879000 | #Constraints: 97784
1481.85/1485.82 c #Conflicts: 880000 | #Constraints: 98784
1481.85/1485.82 c #Conflicts: 881000 | #Constraints: 99784
1481.85/1485.82 c #Conflicts: 882000 | #Constraints: 100784
1481.85/1485.82 c #Conflicts: 883000 | #Constraints: 101784
1481.85/1485.82 c INPROCESSING
1481.85/1485.82 c GARBAGE COLLECT
1481.85/1485.82 c rational objective -1.13243e-13
1571.21/1575.46 c #Conflicts: 884000 | #Constraints: 54783
1571.21/1575.46 c #Conflicts: 885000 | #Constraints: 55783
1571.21/1575.46 c #Conflicts: 886000 | #Constraints: 56783
1571.21/1575.46 c #Conflicts: 887000 | #Constraints: 57783
1571.21/1575.46 c #Conflicts: 888000 | #Constraints: 58783
1571.21/1575.46 c #Conflicts: 889000 | #Constraints: 59783
1571.21/1575.46 c #Conflicts: 890000 | #Constraints: 60783
1571.21/1575.46 c #Conflicts: 891000 | #Constraints: 61783
1571.21/1575.46 c #Conflicts: 892000 | #Constraints: 62783
1571.21/1575.46 c #Conflicts: 893000 | #Constraints: 63783
1571.21/1575.46 c #Conflicts: 894000 | #Constraints: 64783
1571.21/1575.46 c #Conflicts: 895000 | #Constraints: 65783
1571.21/1575.46 c #Conflicts: 896000 | #Constraints: 66783
1571.21/1575.46 c #Conflicts: 897000 | #Constraints: 67783
1571.21/1575.46 c #Conflicts: 898000 | #Constraints: 68783
1571.21/1575.46 c #Conflicts: 899000 | #Constraints: 69783
1571.21/1575.46 c #Conflicts: 900000 | #Constraints: 70783
1571.21/1575.46 c #Conflicts: 901000 | #Constraints: 71783
1571.21/1575.46 c #Conflicts: 902000 | #Constraints: 72783
1571.21/1575.46 c #Conflicts: 903000 | #Constraints: 73783
1571.21/1575.46 c #Conflicts: 904000 | #Constraints: 74783
1571.21/1575.46 c #Conflicts: 905000 | #Constraints: 75783
1571.21/1575.46 c #Conflicts: 906000 | #Constraints: 76783
1571.21/1575.46 c INPROCESSING
1571.21/1575.46 c GARBAGE COLLECT
1571.21/1575.46 c #Conflicts: 907000 | #Constraints: 42187
1571.21/1575.46 c #Conflicts: 908000 | #Constraints: 43187
1571.21/1575.46 c #Conflicts: 909000 | #Constraints: 44187
1571.21/1575.46 c #Conflicts: 910000 | #Constraints: 45187
1571.21/1575.46 c #Conflicts: 911000 | #Constraints: 46187
1571.21/1575.46 c #Conflicts: 912000 | #Constraints: 47187
1571.21/1575.46 c #Conflicts: 913000 | #Constraints: 48187
1571.21/1575.46 c #Conflicts: 914000 | #Constraints: 49187
1571.21/1575.46 c #Conflicts: 915000 | #Constraints: 50187
1571.21/1575.46 c #Conflicts: 916000 | #Constraints: 51188
1571.21/1575.46 c #Conflicts: 917000 | #Constraints: 52188
1571.21/1575.46 c #Conflicts: 918000 | #Constraints: 53188
1571.21/1575.46 c #Conflicts: 919000 | #Constraints: 54188
1571.21/1575.46 c #Conflicts: 920000 | #Constraints: 55189
1571.21/1575.46 c #Conflicts: 921000 | #Constraints: 56189
1571.21/1575.46 c #Conflicts: 922000 | #Constraints: 57189
1571.21/1575.46 c #Conflicts: 923000 | #Constraints: 58189
1571.21/1575.46 c #Conflicts: 924000 | #Constraints: 59189
1571.21/1575.46 c #Conflicts: 925000 | #Constraints: 60189
1571.21/1575.46 c #Conflicts: 926000 | #Constraints: 61189
1571.21/1575.46 c #Conflicts: 927000 | #Constraints: 62189
1571.21/1575.46 c #Conflicts: 928000 | #Constraints: 63189
1571.21/1575.46 c #Conflicts: 929000 | #Constraints: 64189
1571.21/1575.46 c #Conflicts: 930000 | #Constraints: 65189
1571.21/1575.46 c INPROCESSING
1571.21/1575.46 c GARBAGE COLLECT
1571.21/1575.46 c rational objective -1.13243e-13
2080.49/2086.19 c #Conflicts: 931000 | #Constraints: 40424
2080.49/2086.19 c #Conflicts: 932000 | #Constraints: 41424
2080.49/2086.19 c #Conflicts: 933000 | #Constraints: 42424
2080.49/2086.19 c #Conflicts: 934000 | #Constraints: 43424
2080.49/2086.19 c #Conflicts: 935000 | #Constraints: 44424
2080.49/2086.19 c #Conflicts: 936000 | #Constraints: 45424
2080.49/2086.19 c #Conflicts: 937000 | #Constraints: 46424
2080.49/2086.19 c #Conflicts: 938000 | #Constraints: 47424
2080.49/2086.19 c #Conflicts: 939000 | #Constraints: 48424
2080.49/2086.19 c #Conflicts: 940000 | #Constraints: 49424
2080.49/2086.19 c #Conflicts: 941000 | #Constraints: 50425
2080.49/2086.19 c #Conflicts: 942000 | #Constraints: 51425
2080.49/2086.19 c #Conflicts: 943000 | #Constraints: 52425
2080.49/2086.19 c #Conflicts: 944000 | #Constraints: 53425
2080.49/2086.19 c #Conflicts: 945000 | #Constraints: 54425
2080.49/2086.19 c #Conflicts: 946000 | #Constraints: 55425
2080.49/2086.19 c #Conflicts: 947000 | #Constraints: 56425
2080.49/2086.19 c #Conflicts: 948000 | #Constraints: 57425
2080.49/2086.19 c #Conflicts: 949000 | #Constraints: 58425
2080.49/2086.19 c #Conflicts: 950000 | #Constraints: 59425
2080.49/2086.19 c #Conflicts: 951000 | #Constraints: 60425
2080.49/2086.19 c #Conflicts: 952000 | #Constraints: 61425
2080.49/2086.19 c #Conflicts: 953000 | #Constraints: 62425
2080.49/2086.19 c #Conflicts: 954000 | #Constraints: 63425
2080.49/2086.19 c #Conflicts: 955000 | #Constraints: 64425
2080.49/2086.19 c #Conflicts: 956000 | #Constraints: 65425
2080.49/2086.19 c #Conflicts: 957000 | #Constraints: 66425
2080.49/2086.19 c #Conflicts: 958000 | #Constraints: 67425
2080.49/2086.19 c #Conflicts: 959000 | #Constraints: 68425
2080.49/2086.19 c #Conflicts: 960000 | #Constraints: 69425
2080.49/2086.19 c #Conflicts: 961000 | #Constraints: 70425
2080.49/2086.19 c #Conflicts: 962000 | #Constraints: 71425
2080.49/2086.19 c #Conflicts: 963000 | #Constraints: 72425
2080.49/2086.19 c #Conflicts: 964000 | #Constraints: 73425
2080.49/2086.19 c #Conflicts: 965000 | #Constraints: 74425
2080.49/2086.19 c #Conflicts: 966000 | #Constraints: 75426
2080.49/2086.19 c #Conflicts: 967000 | #Constraints: 76426
2080.49/2086.19 c #Conflicts: 968000 | #Constraints: 77426
2080.49/2086.19 c #Conflicts: 969000 | #Constraints: 78426
2080.49/2086.19 c #Conflicts: 970000 | #Constraints: 79426
2080.49/2086.19 c #Conflicts: 971000 | #Constraints: 80426
2080.49/2086.19 c #Conflicts: 972000 | #Constraints: 81426
2080.49/2086.19 c #Conflicts: 973000 | #Constraints: 82426
2080.49/2086.19 c #Conflicts: 974000 | #Constraints: 83426
2080.49/2086.19 c #Conflicts: 975000 | #Constraints: 84426
2080.49/2086.19 c #Conflicts: 976000 | #Constraints: 85426
2080.49/2086.19 c #Conflicts: 977000 | #Constraints: 86426
2080.49/2086.19 c #Conflicts: 978000 | #Constraints: 87426
2080.49/2086.19 c #Conflicts: 979000 | #Constraints: 88426
2080.49/2086.19 c #Conflicts: 980000 | #Constraints: 89426
2080.49/2086.19 c #Conflicts: 981000 | #Constraints: 90426
2080.49/2086.19 c #Conflicts: 982000 | #Constraints: 91426
2080.49/2086.19 c #Conflicts: 983000 | #Constraints: 92426
2080.49/2086.19 c #Conflicts: 984000 | #Constraints: 93426
2080.49/2086.19 c #Conflicts: 985000 | #Constraints: 94426
2080.49/2086.19 c #Conflicts: 986000 | #Constraints: 95426
2080.49/2086.19 c #Conflicts: 987000 | #Constraints: 96426
2080.49/2086.19 c #Conflicts: 988000 | #Constraints: 97426
2080.49/2086.19 c #Conflicts: 989000 | #Constraints: 98426
2080.49/2086.19 c #Conflicts: 990000 | #Constraints: 99426
2080.49/2086.19 c #Conflicts: 991000 | #Constraints: 100426
2080.49/2086.19 c #Conflicts: 992000 | #Constraints: 101426
2080.49/2086.19 c #Conflicts: 993000 | #Constraints: 102426
2080.49/2086.19 c #Conflicts: 994000 | #Constraints: 103426
2080.49/2086.19 c #Conflicts: 995000 | #Constraints: 104426
2080.49/2086.19 c #Conflicts: 996000 | #Constraints: 105426
2080.49/2086.19 c #Conflicts: 997000 | #Constraints: 106426
2080.49/2086.19 c #Conflicts: 998000 | #Constraints: 107426
2080.49/2086.19 c #Conflicts: 999000 | #Constraints: 108426
2080.49/2086.19 c INPROCESSING
2080.49/2086.19 c GARBAGE COLLECT
2080.49/2086.19 c rational objective 1.13243e-13
2143.88/2149.75 c #Conflicts: 1000000 | #Constraints: 57957
2143.88/2149.75 c #Conflicts: 1001000 | #Constraints: 58957
2143.88/2149.75 c #Conflicts: 1002000 | #Constraints: 59957
2143.88/2149.75 c #Conflicts: 1003000 | #Constraints: 60957
2143.88/2149.75 c #Conflicts: 1004000 | #Constraints: 61957
2143.88/2149.75 c #Conflicts: 1005000 | #Constraints: 62957
2143.88/2149.75 c #Conflicts: 1006000 | #Constraints: 63957
2143.88/2149.75 c #Conflicts: 1007000 | #Constraints: 64957
2143.88/2149.75 c #Conflicts: 1008000 | #Constraints: 65957
2143.88/2149.75 c #Conflicts: 1009000 | #Constraints: 66957
2143.88/2149.75 c #Conflicts: 1010000 | #Constraints: 67957
2143.88/2149.75 c #Conflicts: 1011000 | #Constraints: 68957
2143.88/2149.75 c #Conflicts: 1012000 | #Constraints: 69957
2143.88/2149.75 c #Conflicts: 1013000 | #Constraints: 70957
2143.88/2149.75 c #Conflicts: 1014000 | #Constraints: 71957
2143.88/2149.75 c #Conflicts: 1015000 | #Constraints: 72957
2143.88/2149.75 c #Conflicts: 1016000 | #Constraints: 73957
2143.88/2149.75 c #Conflicts: 1017000 | #Constraints: 74957
2143.88/2149.75 c #Conflicts: 1018000 | #Constraints: 75957
2143.88/2149.75 c #Conflicts: 1019000 | #Constraints: 76957
2143.88/2149.75 c #Conflicts: 1020000 | #Constraints: 77957
2143.88/2149.75 c #Conflicts: 1021000 | #Constraints: 78957
2143.88/2149.75 c #Conflicts: 1022000 | #Constraints: 79957
2143.88/2149.75 c #Conflicts: 1023000 | #Constraints: 80957
2143.88/2149.75 c #Conflicts: 1024000 | #Constraints: 81957
2143.88/2149.75 c INPROCESSING
2143.88/2149.75 c GARBAGE COLLECT
2143.88/2149.75 c rational objective -1.13243e-13
2231.73/2237.81 c #Conflicts: 1025000 | #Constraints: 44646
2231.73/2237.81 c #Conflicts: 1026000 | #Constraints: 45646
2231.73/2237.81 c #Conflicts: 1027000 | #Constraints: 46646
2231.73/2237.81 c #Conflicts: 1028000 | #Constraints: 47646
2231.73/2237.81 c #Conflicts: 1029000 | #Constraints: 48646
2231.73/2237.81 c #Conflicts: 1030000 | #Constraints: 49646
2231.73/2237.81 c #Conflicts: 1031000 | #Constraints: 50646
2231.73/2237.81 c #Conflicts: 1032000 | #Constraints: 51646
2231.73/2237.81 c #Conflicts: 1033000 | #Constraints: 52646
2231.73/2237.81 c #Conflicts: 1034000 | #Constraints: 53646
2231.73/2237.81 c #Conflicts: 1035000 | #Constraints: 54646
2231.73/2237.81 c #Conflicts: 1036000 | #Constraints: 55646
2231.73/2237.81 c #Conflicts: 1037000 | #Constraints: 56646
2231.73/2237.81 c #Conflicts: 1038000 | #Constraints: 57646
2231.73/2237.81 c #Conflicts: 1039000 | #Constraints: 58646
2231.73/2237.81 c #Conflicts: 1040000 | #Constraints: 59646
2231.73/2237.81 c #Conflicts: 1041000 | #Constraints: 60646
2231.73/2237.81 c #Conflicts: 1042000 | #Constraints: 61646
2231.73/2237.81 c #Conflicts: 1043000 | #Constraints: 62646
2231.73/2237.81 c #Conflicts: 1044000 | #Constraints: 63646
2231.73/2237.81 c #Conflicts: 1045000 | #Constraints: 64646
2231.73/2237.81 c #Conflicts: 1046000 | #Constraints: 65646
2231.73/2237.81 c #Conflicts: 1047000 | #Constraints: 66646
2231.73/2237.81 c #Conflicts: 1048000 | #Constraints: 67646
2231.73/2237.81 c #Conflicts: 1049000 | #Constraints: 68646
2231.73/2237.81 c INPROCESSING
2231.73/2237.81 c GARBAGE COLLECT
2231.73/2237.81 c rational objective 1
3600.01/3610.11 c #Conflicts: 1050000 | #Constraints: 41329
3600.01/3610.11 c #Conflicts: 1051000 | #Constraints: 42329
3600.01/3610.11 c #Conflicts: 1052000 | #Constraints: 43329
3600.01/3610.11 c #Conflicts: 1053000 | #Constraints: 44329
3600.01/3610.11 c #Conflicts: 1054000 | #Constraints: 45329
3600.01/3610.11 c #Conflicts: 1055000 | #Constraints: 46329
3600.01/3610.11 c #Conflicts: 1056000 | #Constraints: 47329
3600.01/3610.11 c #Conflicts: 1057000 | #Constraints: 48329
3600.01/3610.11 c #Conflicts: 1058000 | #Constraints: 49329
3600.01/3610.11 c #Conflicts: 1059000 | #Constraints: 50329
3600.01/3610.11 c #Conflicts: 1060000 | #Constraints: 51329
3600.01/3610.11 c #Conflicts: 1061000 | #Constraints: 52329
3600.01/3610.11 c #Conflicts: 1062000 | #Constraints: 53329
3600.01/3610.11 c #Conflicts: 1063000 | #Constraints: 54329
3600.01/3610.11 c #Conflicts: 1064000 | #Constraints: 55329
3600.01/3610.11 c #Conflicts: 1065000 | #Constraints: 56329
3600.01/3610.11 c #Conflicts: 1066000 | #Constraints: 57329
3600.01/3610.11 c #Conflicts: 1067000 | #Constraints: 58329
3600.01/3610.11 c #Conflicts: 1068000 | #Constraints: 59329
3600.01/3610.11 c #Conflicts: 1069000 | #Constraints: 60329
3600.01/3610.11 c #Conflicts: 1070000 | #Constraints: 61329
3600.01/3610.11 c #Conflicts: 1071000 | #Constraints: 62329
3600.01/3610.11 c #Conflicts: 1072000 | #Constraints: 63329
3600.01/3610.11 c #Conflicts: 1073000 | #Constraints: 64329
3600.01/3610.11 c #Conflicts: 1074000 | #Constraints: 65329
3600.01/3610.11 c #Conflicts: 1075000 | #Constraints: 66329
3600.01/3610.11 c #Conflicts: 1076000 | #Constraints: 67329
3600.01/3610.11 c #Conflicts: 1077000 | #Constraints: 68330
3600.01/3610.11 c #Conflicts: 1078000 | #Constraints: 69330
3600.01/3610.11 c #Conflicts: 1079000 | #Constraints: 70330
3600.01/3610.11 c #Conflicts: 1080000 | #Constraints: 71330
3600.01/3610.11 c #Conflicts: 1081000 | #Constraints: 72330
3600.01/3610.11 c #Conflicts: 1082000 | #Constraints: 73330
3600.01/3610.11 c #Conflicts: 1083000 | #Constraints: 74330
3600.01/3610.11 c #Conflicts: 1084000 | #Constraints: 75330
3600.01/3610.11 c #Conflicts: 1085000 | #Constraints: 76330
3600.01/3610.11 c #Conflicts: 1086000 | #Constraints: 77330
3600.01/3610.11 c #Conflicts: 1087000 | #Constraints: 78330
3600.01/3610.11 c #Conflicts: 1088000 | #Constraints: 79330
3600.01/3610.11 c #Conflicts: 1089000 | #Constraints: 80330
3600.01/3610.11 c #Conflicts: 1090000 | #Constraints: 81330
3600.01/3610.11 c #Conflicts: 1091000 | #Constraints: 82330
3600.01/3610.11 c #Conflicts: 1092000 | #Constraints: 83330
3600.01/3610.11 c #Conflicts: 1093000 | #Constraints: 84330
3600.01/3610.11 c #Conflicts: 1094000 | #Constraints: 85330
3600.01/3610.11 c #Conflicts: 1095000 | #Constraints: 86330
3600.01/3610.11 c #Conflicts: 1096000 | #Constraints: 87330
3600.01/3610.11 c #Conflicts: 1097000 | #Constraints: 88330
3600.01/3610.11 c #Conflicts: 1098000 | #Constraints: 89330
3600.01/3610.11 c #Conflicts: 1099000 | #Constraints: 90330
3600.01/3610.11 c #Conflicts: 1100000 | #Constraints: 91330
3600.01/3610.11 c #Conflicts: 1101000 | #Constraints: 92330
3600.01/3610.11 c #Conflicts: 1102000 | #Constraints: 93330
3600.01/3610.11 c #Conflicts: 1103000 | #Constraints: 94330
3600.01/3610.11 c #Conflicts: 1104000 | #Constraints: 95330
3600.01/3610.11 c #Conflicts: 1105000 | #Constraints: 96330
3600.01/3610.11 c #Conflicts: 1106000 | #Constraints: 97330
3600.01/3610.11 c #Conflicts: 1107000 | #Constraints: 98330
3600.01/3610.11 c #Conflicts: 1108000 | #Constraints: 99330
3600.01/3610.11 c #Conflicts: 1109000 | #Constraints: 100330
3600.01/3610.11 c #Conflicts: 1110000 | #Constraints: 101330
3600.01/3610.11 c #Conflicts: 1111000 | #Constraints: 102330
3600.01/3610.11 c #Conflicts: 1112000 | #Constraints: 103330
3600.01/3610.11 c #Conflicts: 1113000 | #Constraints: 104330
3600.01/3610.11 c #Conflicts: 1114000 | #Constraints: 105330
3600.01/3610.11 c #Conflicts: 1115000 | #Constraints: 106330
3600.01/3610.11 c #Conflicts: 1116000 | #Constraints: 107330
3600.01/3610.11 c #Conflicts: 1117000 | #Constraints: 108330
3600.01/3610.11 c #Conflicts: 1118000 | #Constraints: 109330
3600.01/3610.11 c #Conflicts: 1119000 | #Constraints: 110330
3600.01/3610.11 c #Conflicts: 1120000 | #Constraints: 111330
3600.01/3610.11 c #Conflicts: 1121000 | #Constraints: 112330
3600.01/3610.11 c #Conflicts: 1122000 | #Constraints: 113330
3600.01/3610.11 c cpu time 3593.58 s
3600.01/3610.11 c deterministic time 204487233978 2.04e+11
3600.01/3610.11 c optimization time 1367.21 s
3600.01/3610.11 c total solve time 2226.36 s
3600.01/3610.11 c core-guided solve time 0 s
3600.01/3610.11 c propagation time 2555.26 s
3600.01/3610.11 c conflict analysis time 1001.73 s
3600.01/3610.11 c propagations 372100188
3600.01/3610.11 c resolve steps 128606954
3600.01/3610.11 c decisions 1763726
3600.01/3610.11 c conflicts 1122211
3600.01/3610.11 c restarts 2046
3600.01/3610.11 c inprocessing phases 53
3600.01/3610.11 c garbage collections 53 ,( 100.00 )
3600.01/3610.11 c input clauses 2340 ,( 47.36 )
3600.01/3610.11 c input cardinalities 0 ,( 0.00 )
3600.01/3610.11 c input general constraints 2601 ,( 52.64 )
3600.01/3610.11 c input average constraint length 3.72
3600.01/3610.11 c input average constraint degree 911475334422.30
3600.01/3610.11 c learned clauses 753551 ,( 67.15 )
3600.01/3610.11 c learned cardinalities 136 ,( 0.01 )
3600.01/3610.11 c learned general constraints 368544 ,( 32.84 )
3600.01/3610.11 c learned average constraint length 274.01
3600.01/3610.11 c learned average constraint degree 132119114.59
3600.01/3610.11 c watched CF 32, 64, 128, Arb: 55080 , 0 , 0 , 0
3600.01/3610.11 c counting CF 32, 64, 128, Arb: 316064 , 1 , 0 , 0
3600.01/3610.11 c watched constraints 55080 ,( 14.84 )
3600.01/3610.11 c counting constraints 316065 ,( 85.16 )
3600.01/3610.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 507545991 , 2728400 , 58181760413 ,( 805471645 , 57376288768 )
3600.01/3610.11 c gcd simplifications 27426
3600.01/3610.11 c detected cardinalities 47
3600.01/3610.11 c weakened non-implied lits 45136535
3600.01/3610.11 c weakened non-implying lits 279460
3600.01/3610.11 c original variables 3484
3600.01/3610.11 c clausal propagations 96629927
3600.01/3610.11 c cardinality propagations 121348
3600.01/3610.11 c watched propagations 852244
3600.01/3610.11 c counting propagations 273359089
3600.01/3610.11 c watch lookups 91011957144
3600.01/3610.11 c watch backjump lookups 0
3600.01/3610.11 c watch checks 19650765691
3600.01/3610.11 c propagation checks 91829458691
3600.01/3610.11 c constraint additions 1245990558
3600.01/3610.11 c trail pops 374982665
3600.01/3610.11 c formula constraints 4941
3600.01/3610.11 c learned constraints 1122191
3600.01/3610.11 c bound constraints 0
3600.01/3610.11 c core-guided constraints 0
3600.01/3610.11 c encountered formula constraints 95248220
3600.01/3610.11 c encountered learned constraints 34270145
3600.01/3610.11 c encountered bound constraints 0
3600.01/3610.11 c encountered core-guided constraints 0
3600.01/3610.11 c LP total time 14.4541 s
3600.01/3610.11 c LP solve time 12.98 s
3600.01/3610.11 c LP constraints added 4942
3600.01/3610.11 c LP constraints removed 0
3600.01/3610.11 c LP pivots internal 112250
3600.01/3610.11 c LP pivots root 103064
3600.01/3610.11 c LP calls 361
3600.01/3610.11 c LP optimalities 337
3600.01/3610.11 c LP no pivot count 27
3600.01/3610.11 c LP infeasibilities 20
3600.01/3610.11 c LP valid Farkas constraints 20
3600.01/3610.11 c LP learned Farkas constraints 20
3600.01/3610.11 c LP basis resets 0
3600.01/3610.11 c LP cycling count 0
3600.01/3610.11 c LP singular count 0
3600.01/3610.11 c LP no primal count 0
3600.01/3610.11 c LP no farkas count 0
3600.01/3610.11 c LP other issue count 0
3600.01/3610.11 c LP Gomory cuts 0
3600.01/3610.11 c LP learned cuts 1
3600.01/3610.11 c LP deleted cuts 0
3600.01/3610.11 c LP encountered Gomory constraints 0
3600.01/3610.11 c LP encountered Farkas constraints 202716
3600.01/3610.11 c LP encountered learned Farkas constraints 8064
3600.01/3610.11 c CG auxiliary variables introduced 0
3600.01/3610.11 c CG solutions found 0
3600.01/3610.11 c CG cores constructed 0
3600.01/3610.11 c CG core cardinality constraints returned 0
3600.01/3610.11 c CG unit cores 0
3600.01/3610.11 c CG single cores 0
3600.01/3610.11 c CG blocks removed during cardinality reduction 0
3600.01/3610.11 c CG first core best 0
3600.01/3610.11 c CG decision core best 0
3600.01/3610.11 c CG core reduction tie 0
3600.01/3610.11 c CG core degree average 0.00
3600.01/3610.11 c CG core slack average 0.00
3600.01/3610.11 c CG core upper bound improvements 0
3600.01/3610.11 c STR number of successful calls 0
3600.01/3610.11 c STR number of unsuccessful calls 0
3600.01/3610.11 c STR number of inconclusive calls 0
3600.01/3610.11 c STR number of successful attempts 0
3600.01/3610.11 c STR number of unsuccessful attempts 0
3600.01/3610.11 c STR number of inconclusive attempts 0
3600.01/3610.11 c STR average degree increase per successful call inf
3600.01/3610.11 c STR average degree increase per successful attempt inf
3600.01/3610.11 c STR total number of conflicts for successful attempts 0
3600.01/3610.11 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.11 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.11 c STR average number of conflicts per successful attempt inf
3600.01/3610.11 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.11 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.11 c AVG.sumWPerc 77.36
3600.01/3610.11 c bigint constraints 1
3600.01/3610.11 s UNKNOWN
3600.01/3610.11 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63665 MiB (62504 MiB free)
memory of node 1: 64507 MiB (63525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541687-1753202596/watcher-4541687-1753202596 -o /tmp/evaluation-result-4541687-1753202596/solver-4541687-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164290 --watchdog 3760 run-dec-break.sh HOME/instance-4541687-1753202596.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=164687, runsolver pid=164682
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.11 4.11 4.04 3/259 164702
/proc/meminfo: memFree=129041816/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=65644 memory=21472 CPUtime=0.06 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 3350 0 0 0 5 1 0 0 20 0 1 0 235938484 67219456 5368 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 16411 5368 2304 1147 0 3838 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 69836 KiB
Current children cumulated memory: 24416 KiB
[startup+0.205814 s]*
/proc/loadavg: 4.11 4.11 4.04 5/263 164714
/proc/meminfo: memFree=129041160/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=67092 memory=22752 CPUtime=0.16 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 3628 0 0 0 15 1 0 0 20 0 1 0 235938484 68702208 5688 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 16773 5688 2368 1147 0 4200 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 71284 KiB
Current children cumulated memory: 25696 KiB
[startup+0.305676 s]*
/proc/loadavg: 4.11 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129020460/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=67092 memory=22880 CPUtime=0.26 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 3672 0 0 0 25 1 0 0 20 0 1 0 235938484 68702208 5720 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 16773 5720 2368 1147 0 4200 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 71284 KiB
Current children cumulated memory: 25824 KiB
[startup+0.700153 s]
/proc/loadavg: 4.11 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129015452/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=67620 memory=23648 CPUtime=0.64 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 3837 0 0 0 63 1 0 0 20 0 1 0 235938484 69242880 5912 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 16905 5912 2368 1147 0 4332 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 71812 KiB
Current children cumulated memory: 26592 KiB
[startup+1.50013 s]
/proc/loadavg: 4.11 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129012428/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=68264 memory=24160 CPUtime=1.44 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 3966 0 0 0 142 2 0 0 20 0 1 0 235938484 69902336 6040 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 17066 6040 2368 1147 0 4493 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 72456 KiB
Current children cumulated memory: 27104 KiB
[startup+3.10556 s]
/proc/loadavg: 4.10 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129005228/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=69328 memory=25184 CPUtime=3.05 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 4226 0 0 0 301 4 0 0 20 0 1 0 235938484 70991872 6296 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 17332 6296 2368 1147 0 4759 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 73520 KiB
Current children cumulated memory: 28128 KiB
[startup+6.30014 s]
/proc/loadavg: 4.10 4.11 4.04 5/268 164725
/proc/meminfo: memFree=129003768/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=72624 memory=30356 CPUtime=6.24 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 5030 0 0 0 616 8 0 0 20 0 1 0 235938484 74366976 7589 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 18156 7589 2368 1147 0 5583 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 76816 KiB
Current children cumulated memory: 33300 KiB
[startup+12.7001 s]
/proc/loadavg: 4.09 4.11 4.04 5/268 164725
/proc/meminfo: memFree=128989680/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=72916 memory=30740 CPUtime=12.62 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 5125 0 0 0 1250 12 0 0 20 0 1 0 235938484 74665984 7685 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 18229 7685 2368 1147 0 5656 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 77108 KiB
Current children cumulated memory: 33684 KiB
[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.05 5/267 164725
/proc/meminfo: memFree=128949956/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=101468 memory=53536 CPUtime=25.39 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 9288 0 0 0 2519 20 0 0 20 0 1 0 235938484 103903232 13384 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 25367 13384 2368 1147 0 12794 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 105660 KiB
Current children cumulated memory: 56480 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.04 5/267 164725
/proc/meminfo: memFree=128907896/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=104952 memory=59148 CPUtime=50.93 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 10167 0 0 0 5053 40 0 0 20 0 1 0 235938484 107470848 14787 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 26238 14787 2368 1147 0 13665 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 109144 KiB
Current children cumulated memory: 62092 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.04 5/267 164728
/proc/meminfo: memFree=128787168/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=121868 memory=73456 CPUtime=102 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 11938 0 0 0 10135 65 0 0 20 0 1 0 235938484 124792832 18364 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 30467 18364 2368 1147 0 17894 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 126060 KiB
Current children cumulated memory: 76400 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.05 5/267 164730
/proc/meminfo: memFree=128683816/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=130400 memory=85696 CPUtime=161.85 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 13851 0 0 0 16089 96 0 0 20 0 1 0 235938484 133529600 21424 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 32600 21424 2368 1147 0 20027 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 134592 KiB
Current children cumulated memory: 88640 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.05 5/267 164732
/proc/meminfo: memFree=128625208/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=139288 memory=94016 CPUtime=221.69 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 15943 0 0 0 22047 122 0 0 20 0 1 0 235938484 142630912 23504 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 34822 23504 2368 1147 0 22249 0
Current children cumulated CPU time: 221.69 s
################
# More data... #
################
/proc/164697/statm: 328684 301349 2368 1147 0 316111 0
Current children cumulated CPU time: 3093.67 s
Current children cumulated vsize: 1318928 KiB
Current children cumulated memory: 1208340 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.09 6/267 164888
/proc/meminfo: memFree=126209164/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1342896 memory=1231076 CPUtime=3153.49 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 185020 0 0 0 314728 621 0 0 20 0 1 0 235938484 1375125504 307769 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 335724 307769 2368 1147 0 323151 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 1347088 KiB
Current children cumulated memory: 1234020 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 164892
/proc/meminfo: memFree=126153612/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1359792 memory=1251020 CPUtime=3213.31 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 187465 0 0 0 320707 624 0 0 20 0 1 0 235938484 1392427008 312755 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 339948 312755 2368 1147 0 327375 0
Current children cumulated CPU time: 3213.31 s
Current children cumulated vsize: 1363984 KiB
Current children cumulated memory: 1253964 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/269 164894
/proc/meminfo: memFree=126098596/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1395632 memory=1283884 CPUtime=3273.14 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 192622 0 0 0 326687 627 0 0 20 0 1 0 235938484 1429127168 320971 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 348908 320971 2368 1147 0 336335 0
Current children cumulated CPU time: 3273.14 s
Current children cumulated vsize: 1399824 KiB
Current children cumulated memory: 1286828 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/268 164896
/proc/meminfo: memFree=126046352/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1653052 memory=1323120 CPUtime=3332.98 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 199363 0 0 0 332667 631 0 0 20 0 1 0 235938484 1692725248 330780 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 413263 330780 2368 1147 0 400690 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 1657244 KiB
Current children cumulated memory: 1326064 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/268 164898
/proc/meminfo: memFree=126015244/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1676096 memory=1345380 CPUtime=3392.81 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 203009 0 0 0 338648 633 0 0 20 0 1 0 235938484 1716322304 336345 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 419024 336345 2368 1147 0 406451 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 1680288 KiB
Current children cumulated memory: 1348324 KiB
[startup+3462.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/268 164900
/proc/meminfo: memFree=125980680/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1700160 memory=1368336 CPUtime=3452.64 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 206745 0 0 0 344627 637 0 0 20 0 1 0 235938484 1740963840 342084 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 425040 342084 2368 1147 0 412467 0
Current children cumulated CPU time: 3452.64 s
Current children cumulated vsize: 1704352 KiB
Current children cumulated memory: 1371280 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 6/267 164902
/proc/meminfo: memFree=125946424/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1720640 memory=1389896 CPUtime=3512.46 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 210106 0 0 0 350607 639 0 0 20 0 1 0 235938484 1761935360 347474 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 430160 347474 2368 1147 0 417587 0
Current children cumulated CPU time: 3512.46 s
Current children cumulated vsize: 1724832 KiB
Current children cumulated memory: 1392840 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 164904
/proc/meminfo: memFree=125862624/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1751360 memory=1420456 CPUtime=3572.3 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 215170 0 0 0 356587 643 0 0 20 0 1 0 235938484 1793392640 355114 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 437840 355114 2368 1147 0 425267 0
Current children cumulated CPU time: 3572.3 s
Current children cumulated vsize: 1755552 KiB
Current children cumulated memory: 1423400 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.11 s]
/proc/loadavg: 4.12 4.11 4.09 2/258 164990
/proc/meminfo: memFree=127609236/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1761088 memory=1433404 CPUtime=3600.01 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 216877 0 0 0 359357 644 0 0 20 0 1 0 235938484 1803354112 358351 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 440272 358351 2368 1147 0 427699 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1765280 KiB
Current children cumulated memory: 1436348 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.11 s]
# the end of solver process 164687 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.005881 s, system=0.007325 s
[startup+3610.13 s]
# the end of solver process 164697 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3593.59 s, system=6.46734 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.11 s]
/proc/loadavg: 4.12 4.11 4.09 2/258 164990
/proc/meminfo: memFree=127609236/131249988 swapFree=33010160/33010684
[pid=164687] ppid=164682 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/164687/stat : 164687 (run-dec-break.s) S 164682 164687 164273 0 -1 4194304 236 2090 0 0 0 0 0 0 20 0 1 0 235938481 4292608 736 18446744073709551615 94883794726912 94883795621445 140731865214480 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94883795860496 94883795908240 94883812900864 140731865221471 140731865221600 140731865221600 140731865227204 0
/proc/164687/statm: 1048 736 672 219 0 110 0
[pid=164697] ppid=164687 vsize=1761088 memory=1433404 CPUtime=3600.01 cores=0,2
/proc/164697/stat : 164697 (roundingsat) R 164687 164687 164273 0 -1 4194304 216877 0 0 0 359357 644 0 0 20 0 1 0 235938484 1803354112 358351 18446744073709551615 4227072 8923433 140722526735136 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 42602496 140722526738754 140722526738982 140722526738982 140722526744554 0
/proc/164697/statm: 440272 358351 2368 1147 0 427699 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 1765280 KiB
Current children cumulated memory: 1436348 KiB
Child status: 2
Real time (s): 3610.13
CPU time (s): 3600.06
CPU user time (s): 3593.59
CPU system time (s): 6.46734
CPU usage (%): 99.7211
Max. virtual memory (cumulated for all children) (KiB): 1765280
Max. memory (cumulated for all children) (KiB): 1436348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.59
system time used= 6.46734
maximum resident set size= 1433660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 219222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 443
involuntary context switches= 8205
# summary of solver processes directly reported to runsolver:
# pid: 164687,164697
# total CPU time (s): 3600.06
# total CPU user time (s): 3593.59
# total CPU system time (s): 6.46734
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.45743 second user time and 17.61 second system time
The end
Begin job on nodeC034 at 2025-07-22 18:43:16
IDJOB=4541687
IDBENCH=163331
IDSOLVER=3357
FILE ID=nodeC034/4541687-1753202596
RUNJOBID= nodeC034-1753198973-164290
SLURM_JOB_ID= 9687767
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/array_diag/normalized-26array_diag_greater.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541687-1753202596/watcher-4541687-1753202596 -o /tmp/evaluation-result-4541687-1753202596/solver-4541687-1753202596 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164290 --watchdog 3760 run-dec-break.sh HOME/instance-4541687-1753202596.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dba81c8b2aded5f1a3d2b088b53137dc
RANDOM SEED=1063239506
nodeC034 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 : 3596.910
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.53
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 : 1199.653
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.746
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.53
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 : 1210.775
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.53
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 : 3640.052
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.53
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 : 3700.000
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.690
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.53
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.53
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 129054484 kB
MemAvailable: 129655440 kB
Buffers: 2128 kB
Cached: 1340116 kB
SwapCached: 32 kB
Active: 1203352 kB
Inactive: 219476 kB
Active(anon): 104696 kB
Inactive(anon): 2152 kB
Active(file): 1098656 kB
Inactive(file): 217324 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010160 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 14980 kB
Writeback: 4 kB
AnonPages: 83932 kB
Mapped: 108940 kB
Shmem: 26264 kB
KReclaimable: 248032 kB
Slab: 346620 kB
SReclaimable: 248032 kB
SUnreclaim: 98588 kB
KernelStack: 4080 kB
PageTables: 2832 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 350608 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150360 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 22528 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: 189140 kB
DirectMap2M: 7970816 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 433016 MiB
End job on nodeC034 at 2025-07-22 19:43:27