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-4541688-1753202597.opb'
0.00/0.01 c read 0.12MB (1.96ms)
0.00/0.01 c [cnf: #variables 3484 #clauses 3485 #duplicates 0 #arr 11596]
0.00/0.01 c output proof to '/tmp/proof-4541688-1753202597'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.01 c [group: #orbits ~= 0] (3.71ms)
0.00/0.01 c
0.00/0.01 c detect special group actions
0.00/0.01 c probe for Johnson action (limit=64)
0.00/0.01 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01 c (1.00ms)
0.00/0.01 c
0.00/0.01 c detect symmetries on remainder
0.00/0.01 c [graph: #vertices 17318 #edges 43890]
0.00/0.01 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01 c [group: #symmetries 1.00*10^0 #generators 0] (1.10ms)
0.00/0.01 c
0.00/0.01 c finalize break order and special generators
0.00/0.01 c
0.00/0.01 c generation finished
0.00/0.01 c [sbp: #constraints 0 #add_vars 0]
0.00/0.01 c
0.00/0.01 c write result to 'HOME/instance-4541688-1753202597.opb.pre'
0.00/0.02 c wrote 0.12MB (0.33ms)
0.00/0.02 c ------------------------------------------------------------------
0.00/0.02 c 3.71ms 43.05% approx_orbits
0.00/0.02 c 1.95ms 22.68% parse
0.00/0.02 c 1.10ms 12.71% detect_generic
0.00/0.02 c 1.00ms 11.63% detect_special
0.00/0.02 c 0.43ms 5.02% other
0.00/0.02 c 0.33ms 3.78% output
0.00/0.02 c 0.10ms 1.13% finalize_order
0.00/0.02 c ───────────────────────────────────────────────
0.00/0.02 c 8.62ms 100% total
0.00/0.02 c ------------------------------------------------------------------
0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.06 c #variables 3484 #constraints 4941
0.00/0.06 c rational objective 0
49.53/49.79 c #Conflicts: 1000 | #Constraints: 5941
49.53/49.79 c #Conflicts: 2000 | #Constraints: 6941
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 3000 | #Constraints: 6966
49.53/49.79 c #Conflicts: 4000 | #Constraints: 7966
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 5000 | #Constraints: 7388
49.53/49.79 c #Conflicts: 6000 | #Constraints: 8388
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 7000 | #Constraints: 7436
49.53/49.79 c #Conflicts: 8000 | #Constraints: 8436
49.53/49.79 c #Conflicts: 9000 | #Constraints: 9436
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 10000 | #Constraints: 8139
49.53/49.79 c #Conflicts: 11000 | #Constraints: 9139
49.53/49.79 c #Conflicts: 12000 | #Constraints: 10139
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 13000 | #Constraints: 8627
49.53/49.79 c #Conflicts: 14000 | #Constraints: 9627
49.53/49.79 c #Conflicts: 15000 | #Constraints: 10627
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 16000 | #Constraints: 8889
49.53/49.79 c #Conflicts: 17000 | #Constraints: 9889
49.53/49.79 c #Conflicts: 18000 | #Constraints: 10889
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 19000 | #Constraints: 8922
49.53/49.79 c #Conflicts: 20000 | #Constraints: 9922
49.53/49.79 c #Conflicts: 21000 | #Constraints: 10922
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 22000 | #Constraints: 8729
49.53/49.79 c #Conflicts: 23000 | #Constraints: 9729
49.53/49.79 c #Conflicts: 24000 | #Constraints: 10729
49.53/49.79 c #Conflicts: 25000 | #Constraints: 11729
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 26000 | #Constraints: 9347
49.53/49.79 c #Conflicts: 27000 | #Constraints: 10347
49.53/49.79 c #Conflicts: 28000 | #Constraints: 11347
49.53/49.79 c #Conflicts: 29000 | #Constraints: 12347
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 30000 | #Constraints: 9766
49.53/49.79 c #Conflicts: 31000 | #Constraints: 10766
49.53/49.79 c #Conflicts: 32000 | #Constraints: 11766
49.53/49.79 c #Conflicts: 33000 | #Constraints: 12766
49.53/49.79 c #Conflicts: 34000 | #Constraints: 13766
49.53/49.79 c #Conflicts: 35000 | #Constraints: 14766
49.53/49.79 c #Conflicts: 36000 | #Constraints: 15766
49.53/49.79 c #Conflicts: 37000 | #Constraints: 16766
49.53/49.79 c #Conflicts: 38000 | #Constraints: 17766
49.53/49.79 c #Conflicts: 39000 | #Constraints: 18766
49.53/49.79 c #Conflicts: 40000 | #Constraints: 19766
49.53/49.79 c #Conflicts: 41000 | #Constraints: 20766
49.53/49.79 c #Conflicts: 42000 | #Constraints: 21766
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 43000 | #Constraints: 14068
49.53/49.79 c #Conflicts: 44000 | #Constraints: 15068
49.53/49.79 c #Conflicts: 45000 | #Constraints: 16068
49.53/49.79 c #Conflicts: 46000 | #Constraints: 17068
49.53/49.79 c #Conflicts: 47000 | #Constraints: 18068
49.53/49.79 c #Conflicts: 48000 | #Constraints: 19068
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 49000 | #Constraints: 13176
49.53/49.79 c #Conflicts: 50000 | #Constraints: 14176
49.53/49.79 c #Conflicts: 51000 | #Constraints: 15176
49.53/49.79 c #Conflicts: 52000 | #Constraints: 16176
49.53/49.79 c #Conflicts: 53000 | #Constraints: 17176
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 54000 | #Constraints: 12080
49.53/49.79 c #Conflicts: 55000 | #Constraints: 13080
49.53/49.79 c #Conflicts: 56000 | #Constraints: 14080
49.53/49.79 c #Conflicts: 57000 | #Constraints: 15080
49.53/49.79 c #Conflicts: 58000 | #Constraints: 16080
49.53/49.79 c INPROCESSING
49.53/49.79 c GARBAGE COLLECT
49.53/49.79 c #Conflicts: 59000 | #Constraints: 11286
49.53/49.79 c #Conflicts: 60000 | #Constraints: 12286
49.53/49.79 c #Conflicts: 61000 | #Constraints: 13286
49.53/49.79 c #Conflicts: 62000 | #Constraints: 14286
49.53/49.79 c #Conflicts: 63000 | #Constraints: 15286
49.53/49.79 c #Conflicts: 64000 | #Constraints: 16286
49.53/49.79 c #Conflicts: 65000 | #Constraints: 17286
49.53/49.79 c #Conflicts: 66000 | #Constraints: 18286
49.53/49.79 c #Conflicts: 67000 | #Constraints: 19286
49.53/49.79 c #Conflicts: 68000 | #Constraints: 20286
49.53/49.79 c #Conflicts: 69000 | #Constraints: 21286
49.53/49.79 c #Conflicts: 70000 | #Constraints: 22286
56.21/56.42 c #Conflicts: 71000 | #Constraints: 23286
56.21/56.42 c #Conflicts: 72000 | #Constraints: 24286
56.21/56.42 c #Conflicts: 73000 | #Constraints: 25286
56.21/56.42 c #Conflicts: 74000 | #Constraints: 26286
56.21/56.42 c #Conflicts: 75000 | #Constraints: 27286
56.21/56.42 c #Conflicts: 76000 | #Constraints: 28286
56.21/56.42 c #Conflicts: 77000 | #Constraints: 29286
56.21/56.42 c #Conflicts: 78000 | #Constraints: 30286
56.21/56.42 c INPROCESSING
56.21/56.42 c GARBAGE COLLECT
56.21/56.42 c rational objective 0
139.01/139.44 c #Conflicts: 79000 | #Constraints: 18793
139.01/139.44 c #Conflicts: 80000 | #Constraints: 19793
139.01/139.44 c #Conflicts: 81000 | #Constraints: 20793
139.01/139.44 c #Conflicts: 82000 | #Constraints: 21793
139.01/139.44 c #Conflicts: 83000 | #Constraints: 22793
139.01/139.44 c #Conflicts: 84000 | #Constraints: 23793
139.01/139.44 c INPROCESSING
139.01/139.44 c GARBAGE COLLECT
139.01/139.44 c #Conflicts: 85000 | #Constraints: 15181
139.01/139.44 c #Conflicts: 86000 | #Constraints: 16181
139.01/139.44 c #Conflicts: 87000 | #Constraints: 17181
139.01/139.44 c #Conflicts: 88000 | #Constraints: 18181
139.01/139.44 c #Conflicts: 89000 | #Constraints: 19181
139.01/139.44 c #Conflicts: 90000 | #Constraints: 20181
139.01/139.44 c #Conflicts: 91000 | #Constraints: 21181
139.01/139.44 c INPROCESSING
139.01/139.44 c GARBAGE COLLECT
139.01/139.44 c #Conflicts: 92000 | #Constraints: 13882
139.01/139.44 c #Conflicts: 93000 | #Constraints: 14882
139.01/139.44 c #Conflicts: 94000 | #Constraints: 15882
139.01/139.44 c #Conflicts: 95000 | #Constraints: 16882
139.01/139.44 c #Conflicts: 96000 | #Constraints: 17882
139.01/139.44 c #Conflicts: 97000 | #Constraints: 18882
139.01/139.44 c #Conflicts: 98000 | #Constraints: 19882
139.01/139.44 c #Conflicts: 99000 | #Constraints: 20882
139.01/139.44 c #Conflicts: 100000 | #Constraints: 21882
139.01/139.44 c #Conflicts: 101000 | #Constraints: 22882
139.01/139.44 c #Conflicts: 102000 | #Constraints: 23882
139.01/139.44 c #Conflicts: 103000 | #Constraints: 24882
139.01/139.44 c #Conflicts: 104000 | #Constraints: 25882
139.01/139.44 c #Conflicts: 105000 | #Constraints: 26882
139.01/139.44 c #Conflicts: 106000 | #Constraints: 27882
139.01/139.44 c #Conflicts: 107000 | #Constraints: 28882
139.01/139.44 c #Conflicts: 108000 | #Constraints: 29882
139.01/139.44 c #Conflicts: 109000 | #Constraints: 30882
139.01/139.44 c #Conflicts: 110000 | #Constraints: 31882
139.01/139.44 c #Conflicts: 111000 | #Constraints: 32882
139.01/139.44 c #Conflicts: 112000 | #Constraints: 33882
139.01/139.44 c #Conflicts: 113000 | #Constraints: 34882
139.01/139.44 c #Conflicts: 114000 | #Constraints: 35882
139.01/139.44 c #Conflicts: 115000 | #Constraints: 36882
139.01/139.44 c INPROCESSING
139.01/139.44 c GARBAGE COLLECT
139.01/139.44 c #Conflicts: 116000 | #Constraints: 22108
139.01/139.44 c #Conflicts: 117000 | #Constraints: 23108
139.01/139.44 c #Conflicts: 118000 | #Constraints: 24108
139.01/139.44 c #Conflicts: 119000 | #Constraints: 25108
139.01/139.44 c #Conflicts: 120000 | #Constraints: 26108
139.01/139.44 c #Conflicts: 121000 | #Constraints: 27108
139.01/139.44 c #Conflicts: 122000 | #Constraints: 28108
139.01/139.44 c #Conflicts: 123000 | #Constraints: 29108
139.01/139.44 c INPROCESSING
139.01/139.44 c GARBAGE COLLECT
139.01/139.44 c #Conflicts: 124000 | #Constraints: 18029
139.01/139.44 c #Conflicts: 125000 | #Constraints: 19029
139.01/139.44 c #Conflicts: 126000 | #Constraints: 20029
139.01/139.44 c #Conflicts: 127000 | #Constraints: 21029
139.01/139.44 c #Conflicts: 128000 | #Constraints: 22029
139.01/139.44 c #Conflicts: 129000 | #Constraints: 23029
139.01/139.44 c #Conflicts: 130000 | #Constraints: 24029
139.01/139.44 c #Conflicts: 131000 | #Constraints: 25029
139.01/139.44 c #Conflicts: 132000 | #Constraints: 26029
139.01/139.44 c INPROCESSING
139.01/139.44 c GARBAGE COLLECT
139.01/139.44 c #Conflicts: 133000 | #Constraints: 16791
139.01/139.44 c #Conflicts: 134000 | #Constraints: 17791
139.01/139.44 c #Conflicts: 135000 | #Constraints: 18791
139.01/139.44 c #Conflicts: 136000 | #Constraints: 19791
139.01/139.44 c #Conflicts: 137000 | #Constraints: 20791
139.01/139.44 c #Conflicts: 138000 | #Constraints: 21791
139.01/139.44 c #Conflicts: 139000 | #Constraints: 22791
139.01/139.44 c #Conflicts: 140000 | #Constraints: 23791
139.01/139.44 c #Conflicts: 141000 | #Constraints: 24791
139.01/139.44 c #Conflicts: 142000 | #Constraints: 25791
139.01/139.44 c #Conflicts: 143000 | #Constraints: 26791
139.01/139.44 c #Conflicts: 144000 | #Constraints: 27791
139.01/139.44 c #Conflicts: 145000 | #Constraints: 28791
139.01/139.44 c #Conflicts: 146000 | #Constraints: 29791
139.01/139.44 c #Conflicts: 147000 | #Constraints: 30791
139.01/139.44 c #Conflicts: 148000 | #Constraints: 31791
139.01/139.44 c #Conflicts: 149000 | #Constraints: 32791
139.01/139.44 c #Conflicts: 150000 | #Constraints: 33791
139.01/139.44 c #Conflicts: 151000 | #Constraints: 34791
139.01/139.44 c #Conflicts: 152000 | #Constraints: 35791
139.01/139.44 c #Conflicts: 153000 | #Constraints: 36791
139.01/139.44 c #Conflicts: 154000 | #Constraints: 37791
192.49/193.09 c #Conflicts: 155000 | #Constraints: 38791
192.49/193.09 c #Conflicts: 156000 | #Constraints: 39791
192.49/193.09 c #Conflicts: 157000 | #Constraints: 40791
192.49/193.09 c #Conflicts: 158000 | #Constraints: 41791
192.49/193.09 c #Conflicts: 159000 | #Constraints: 42791
192.49/193.09 c INPROCESSING
192.49/193.09 c GARBAGE COLLECT
192.49/193.09 c #Conflicts: 160000 | #Constraints: 24830
192.49/193.09 c #Conflicts: 161000 | #Constraints: 25830
192.49/193.09 c #Conflicts: 162000 | #Constraints: 26830
192.49/193.09 c #Conflicts: 163000 | #Constraints: 27830
192.49/193.09 c #Conflicts: 164000 | #Constraints: 28830
192.49/193.09 c #Conflicts: 165000 | #Constraints: 29830
192.49/193.09 c #Conflicts: 166000 | #Constraints: 30830
192.49/193.09 c #Conflicts: 167000 | #Constraints: 31830
192.49/193.09 c #Conflicts: 168000 | #Constraints: 32830
192.49/193.09 c #Conflicts: 169000 | #Constraints: 33830
192.49/193.09 c INPROCESSING
192.49/193.09 c GARBAGE COLLECT
192.49/193.09 c #Conflicts: 170000 | #Constraints: 20506
192.49/193.09 c #Conflicts: 171000 | #Constraints: 21506
192.49/193.09 c #Conflicts: 172000 | #Constraints: 22506
192.49/193.09 c #Conflicts: 173000 | #Constraints: 23506
192.49/193.09 c #Conflicts: 174000 | #Constraints: 24506
192.49/193.09 c #Conflicts: 175000 | #Constraints: 25506
192.49/193.09 c #Conflicts: 176000 | #Constraints: 26506
192.49/193.09 c #Conflicts: 177000 | #Constraints: 27506
192.49/193.09 c #Conflicts: 178000 | #Constraints: 28506
192.49/193.09 c #Conflicts: 179000 | #Constraints: 29506
192.49/193.09 c INPROCESSING
192.49/193.09 c GARBAGE COLLECT
192.49/193.09 c #Conflicts: 180000 | #Constraints: 18341
192.49/193.09 c #Conflicts: 181000 | #Constraints: 19341
192.49/193.09 c #Conflicts: 182000 | #Constraints: 20341
192.49/193.09 c #Conflicts: 183000 | #Constraints: 21341
192.49/193.09 c #Conflicts: 184000 | #Constraints: 22341
192.49/193.09 c #Conflicts: 185000 | #Constraints: 23341
192.49/193.09 c #Conflicts: 186000 | #Constraints: 24341
192.49/193.09 c #Conflicts: 187000 | #Constraints: 25341
192.49/193.09 c #Conflicts: 188000 | #Constraints: 26341
192.49/193.09 c #Conflicts: 189000 | #Constraints: 27341
192.49/193.09 c #Conflicts: 190000 | #Constraints: 28341
192.49/193.09 c #Conflicts: 191000 | #Constraints: 29341
192.49/193.09 c #Conflicts: 192000 | #Constraints: 30341
192.49/193.09 c #Conflicts: 193000 | #Constraints: 31341
192.49/193.09 c #Conflicts: 194000 | #Constraints: 32341
192.49/193.09 c #Conflicts: 195000 | #Constraints: 33341
192.49/193.09 c #Conflicts: 196000 | #Constraints: 34341
192.49/193.09 c #Conflicts: 197000 | #Constraints: 35341
192.49/193.09 c #Conflicts: 198000 | #Constraints: 36342
192.49/193.09 c #Conflicts: 199000 | #Constraints: 37342
192.49/193.09 c #Conflicts: 200000 | #Constraints: 38342
192.49/193.09 c #Conflicts: 201000 | #Constraints: 39342
192.49/193.09 c #Conflicts: 202000 | #Constraints: 40342
192.49/193.09 c #Conflicts: 203000 | #Constraints: 41342
192.49/193.09 c #Conflicts: 204000 | #Constraints: 42342
192.49/193.09 c #Conflicts: 205000 | #Constraints: 43342
192.49/193.09 c #Conflicts: 206000 | #Constraints: 44342
192.49/193.09 c #Conflicts: 207000 | #Constraints: 45342
192.49/193.09 c #Conflicts: 208000 | #Constraints: 46342
192.49/193.09 c #Conflicts: 209000 | #Constraints: 47342
192.49/193.09 c #Conflicts: 210000 | #Constraints: 48342
192.49/193.09 c #Conflicts: 211000 | #Constraints: 49342
192.49/193.09 c INPROCESSING
192.49/193.09 c GARBAGE COLLECT
192.49/193.09 c rational objective 1.13243e-13
258.13/258.84 c #Conflicts: 212000 | #Constraints: 28356
258.13/258.84 c #Conflicts: 213000 | #Constraints: 29356
258.13/258.84 c #Conflicts: 214000 | #Constraints: 30356
258.13/258.84 c #Conflicts: 215000 | #Constraints: 31356
258.13/258.84 c #Conflicts: 216000 | #Constraints: 32356
258.13/258.84 c #Conflicts: 217000 | #Constraints: 33356
258.13/258.84 c #Conflicts: 218000 | #Constraints: 34356
258.13/258.84 c #Conflicts: 219000 | #Constraints: 35356
258.13/258.84 c #Conflicts: 220000 | #Constraints: 36356
258.13/258.84 c #Conflicts: 221000 | #Constraints: 37356
258.13/258.84 c #Conflicts: 222000 | #Constraints: 38356
258.13/258.84 c INPROCESSING
258.13/258.84 c GARBAGE COLLECT
258.13/258.84 c #Conflicts: 223000 | #Constraints: 22664
258.13/258.84 c #Conflicts: 224000 | #Constraints: 23664
258.13/258.84 c #Conflicts: 225000 | #Constraints: 24664
258.13/258.84 c #Conflicts: 226000 | #Constraints: 25664
258.13/258.84 c #Conflicts: 227000 | #Constraints: 26664
258.13/258.84 c #Conflicts: 228000 | #Constraints: 27664
258.13/258.84 c #Conflicts: 229000 | #Constraints: 28664
258.13/258.84 c #Conflicts: 230000 | #Constraints: 29664
258.13/258.84 c #Conflicts: 231000 | #Constraints: 30664
258.13/258.84 c #Conflicts: 232000 | #Constraints: 31664
258.13/258.84 c #Conflicts: 233000 | #Constraints: 32664
258.13/258.84 c #Conflicts: 234000 | #Constraints: 33664
258.13/258.84 c INPROCESSING
258.13/258.84 c GARBAGE COLLECT
258.13/258.84 c #Conflicts: 235000 | #Constraints: 20595
258.13/258.84 c #Conflicts: 236000 | #Constraints: 21595
258.13/258.84 c #Conflicts: 237000 | #Constraints: 22595
258.13/258.84 c #Conflicts: 238000 | #Constraints: 23595
258.13/258.84 c #Conflicts: 239000 | #Constraints: 24595
258.13/258.84 c #Conflicts: 240000 | #Constraints: 25595
258.13/258.84 c #Conflicts: 241000 | #Constraints: 26595
258.13/258.84 c #Conflicts: 242000 | #Constraints: 27595
258.13/258.84 c #Conflicts: 243000 | #Constraints: 28595
258.13/258.84 c #Conflicts: 244000 | #Constraints: 29595
258.13/258.84 c #Conflicts: 245000 | #Constraints: 30595
258.13/258.84 c #Conflicts: 246000 | #Constraints: 31595
258.13/258.84 c #Conflicts: 247000 | #Constraints: 32595
258.13/258.84 c #Conflicts: 248000 | #Constraints: 33595
258.13/258.84 c #Conflicts: 249000 | #Constraints: 34595
258.13/258.84 c #Conflicts: 250000 | #Constraints: 35595
258.13/258.84 c #Conflicts: 251000 | #Constraints: 36595
258.13/258.84 c #Conflicts: 252000 | #Constraints: 37595
258.13/258.84 c #Conflicts: 253000 | #Constraints: 38595
258.13/258.84 c #Conflicts: 254000 | #Constraints: 39595
258.13/258.84 c #Conflicts: 255000 | #Constraints: 40596
258.13/258.84 c #Conflicts: 256000 | #Constraints: 41596
258.13/258.84 c #Conflicts: 257000 | #Constraints: 42596
258.13/258.84 c #Conflicts: 258000 | #Constraints: 43596
258.13/258.84 c #Conflicts: 259000 | #Constraints: 44596
258.13/258.84 c #Conflicts: 260000 | #Constraints: 45596
258.13/258.84 c #Conflicts: 261000 | #Constraints: 46596
258.13/258.84 c #Conflicts: 262000 | #Constraints: 47596
258.13/258.84 c #Conflicts: 263000 | #Constraints: 48596
258.13/258.84 c #Conflicts: 264000 | #Constraints: 49596
258.13/258.84 c #Conflicts: 265000 | #Constraints: 50596
258.13/258.84 c #Conflicts: 266000 | #Constraints: 51596
258.13/258.84 c #Conflicts: 267000 | #Constraints: 52596
258.13/258.84 c #Conflicts: 268000 | #Constraints: 53596
258.13/258.84 c #Conflicts: 269000 | #Constraints: 54596
258.13/258.84 c #Conflicts: 270000 | #Constraints: 55596
258.13/258.84 c INPROCESSING
258.13/258.84 c GARBAGE COLLECT
258.13/258.84 c rational objective 1.13243e-13
341.19/342.17 c #Conflicts: 271000 | #Constraints: 31678
341.19/342.17 c #Conflicts: 272000 | #Constraints: 32678
341.19/342.17 c #Conflicts: 273000 | #Constraints: 33678
341.19/342.17 c #Conflicts: 274000 | #Constraints: 34678
341.19/342.17 c #Conflicts: 275000 | #Constraints: 35678
341.19/342.17 c #Conflicts: 276000 | #Constraints: 36678
341.19/342.17 c #Conflicts: 277000 | #Constraints: 37678
341.19/342.17 c #Conflicts: 278000 | #Constraints: 38678
341.19/342.17 c #Conflicts: 279000 | #Constraints: 39678
341.19/342.17 c #Conflicts: 280000 | #Constraints: 40678
341.19/342.17 c #Conflicts: 281000 | #Constraints: 41678
341.19/342.17 c #Conflicts: 282000 | #Constraints: 42678
341.19/342.17 c INPROCESSING
341.19/342.17 c GARBAGE COLLECT
341.19/342.17 c #Conflicts: 283000 | #Constraints: 24743
341.19/342.17 c #Conflicts: 284000 | #Constraints: 25743
341.19/342.17 c #Conflicts: 285000 | #Constraints: 26743
341.19/342.17 c #Conflicts: 286000 | #Constraints: 27743
341.19/342.17 c #Conflicts: 287000 | #Constraints: 28743
341.19/342.17 c #Conflicts: 288000 | #Constraints: 29743
341.19/342.17 c #Conflicts: 289000 | #Constraints: 30743
341.19/342.17 c #Conflicts: 290000 | #Constraints: 31743
341.19/342.17 c #Conflicts: 291000 | #Constraints: 32743
341.19/342.17 c #Conflicts: 292000 | #Constraints: 33743
341.19/342.17 c #Conflicts: 293000 | #Constraints: 34743
341.19/342.17 c #Conflicts: 294000 | #Constraints: 35743
341.19/342.17 c #Conflicts: 295000 | #Constraints: 36743
341.19/342.17 c INPROCESSING
341.19/342.17 c GARBAGE COLLECT
341.19/342.17 c #Conflicts: 296000 | #Constraints: 21826
341.19/342.17 c #Conflicts: 297000 | #Constraints: 22826
341.19/342.17 c #Conflicts: 298000 | #Constraints: 23826
341.19/342.17 c #Conflicts: 299000 | #Constraints: 24826
341.19/342.17 c #Conflicts: 300000 | #Constraints: 25826
341.19/342.17 c #Conflicts: 301000 | #Constraints: 26826
341.19/342.17 c #Conflicts: 302000 | #Constraints: 27826
341.19/342.17 c #Conflicts: 303000 | #Constraints: 28826
341.19/342.17 c #Conflicts: 304000 | #Constraints: 29826
341.19/342.17 c #Conflicts: 305000 | #Constraints: 30826
341.19/342.17 c #Conflicts: 306000 | #Constraints: 31827
341.19/342.17 c #Conflicts: 307000 | #Constraints: 32827
341.19/342.17 c #Conflicts: 308000 | #Constraints: 33827
341.19/342.17 c #Conflicts: 309000 | #Constraints: 34827
341.19/342.17 c #Conflicts: 310000 | #Constraints: 35827
341.19/342.17 c #Conflicts: 311000 | #Constraints: 36827
341.19/342.17 c #Conflicts: 312000 | #Constraints: 37827
341.19/342.17 c #Conflicts: 313000 | #Constraints: 38827
341.19/342.17 c #Conflicts: 314000 | #Constraints: 39827
341.19/342.17 c #Conflicts: 315000 | #Constraints: 40827
341.19/342.17 c #Conflicts: 316000 | #Constraints: 41827
341.19/342.17 c #Conflicts: 317000 | #Constraints: 42827
341.19/342.17 c #Conflicts: 318000 | #Constraints: 43827
341.19/342.17 c #Conflicts: 319000 | #Constraints: 44827
341.19/342.17 c #Conflicts: 320000 | #Constraints: 45827
341.19/342.17 c #Conflicts: 321000 | #Constraints: 46827
341.19/342.17 c #Conflicts: 322000 | #Constraints: 47827
341.19/342.17 c #Conflicts: 323000 | #Constraints: 48827
341.19/342.17 c #Conflicts: 324000 | #Constraints: 49827
341.19/342.17 c #Conflicts: 325000 | #Constraints: 50827
341.19/342.17 c #Conflicts: 326000 | #Constraints: 51827
341.19/342.17 c #Conflicts: 327000 | #Constraints: 52827
341.19/342.17 c #Conflicts: 328000 | #Constraints: 53827
341.19/342.17 c #Conflicts: 329000 | #Constraints: 54827
341.19/342.17 c #Conflicts: 330000 | #Constraints: 55827
341.19/342.17 c #Conflicts: 331000 | #Constraints: 56827
341.19/342.17 c #Conflicts: 332000 | #Constraints: 57827
341.19/342.17 c #Conflicts: 333000 | #Constraints: 58827
341.19/342.17 c #Conflicts: 334000 | #Constraints: 59827
341.19/342.17 c #Conflicts: 335000 | #Constraints: 60827
341.19/342.17 c #Conflicts: 336000 | #Constraints: 61827
341.19/342.17 c INPROCESSING
341.19/342.17 c GARBAGE COLLECT
341.19/342.17 c rational objective 1.13243e-13
357.84/358.85 c #Conflicts: 337000 | #Constraints: 34722
357.84/358.85 c #Conflicts: 338000 | #Constraints: 35722
357.84/358.85 c #Conflicts: 339000 | #Constraints: 36722
357.84/358.85 c #Conflicts: 340000 | #Constraints: 37722
357.84/358.85 c #Conflicts: 341000 | #Constraints: 38722
357.84/358.85 c #Conflicts: 342000 | #Constraints: 39722
357.84/358.85 c #Conflicts: 343000 | #Constraints: 40722
357.84/358.85 c #Conflicts: 344000 | #Constraints: 41722
357.84/358.85 c #Conflicts: 345000 | #Constraints: 42722
357.84/358.85 c #Conflicts: 346000 | #Constraints: 43722
357.84/358.85 c #Conflicts: 347000 | #Constraints: 44722
357.84/358.85 c #Conflicts: 348000 | #Constraints: 45722
357.84/358.85 c #Conflicts: 349000 | #Constraints: 46722
357.84/358.85 c #Conflicts: 350000 | #Constraints: 47722
357.84/358.85 c INPROCESSING
357.84/358.85 c GARBAGE COLLECT
357.84/358.85 c rational objective 1.13243e-13
374.79/375.86 c #Conflicts: 351000 | #Constraints: 27648
374.79/375.86 c #Conflicts: 352000 | #Constraints: 28648
374.79/375.86 c #Conflicts: 353000 | #Constraints: 29649
374.79/375.86 c #Conflicts: 354000 | #Constraints: 30649
374.79/375.86 c #Conflicts: 355000 | #Constraints: 31649
374.79/375.86 c #Conflicts: 356000 | #Constraints: 32649
374.79/375.86 c #Conflicts: 357000 | #Constraints: 33649
374.79/375.86 c #Conflicts: 358000 | #Constraints: 34649
374.79/375.86 c #Conflicts: 359000 | #Constraints: 35649
374.79/375.86 c #Conflicts: 360000 | #Constraints: 36649
374.79/375.86 c #Conflicts: 361000 | #Constraints: 37650
374.79/375.86 c #Conflicts: 362000 | #Constraints: 38650
374.79/375.86 c #Conflicts: 363000 | #Constraints: 39650
374.79/375.86 c #Conflicts: 364000 | #Constraints: 40650
374.79/375.86 c INPROCESSING
374.79/375.86 c GARBAGE COLLECT
374.79/375.86 c rational objective 1.13243e-13
471.62/472.95 c #Conflicts: 365000 | #Constraints: 23918
471.62/472.95 c #Conflicts: 366000 | #Constraints: 24918
471.62/472.95 c #Conflicts: 367000 | #Constraints: 25918
471.62/472.95 c #Conflicts: 368000 | #Constraints: 26918
471.62/472.95 c #Conflicts: 369000 | #Constraints: 27918
471.62/472.95 c #Conflicts: 370000 | #Constraints: 28918
471.62/472.95 c #Conflicts: 371000 | #Constraints: 29918
471.62/472.95 c #Conflicts: 372000 | #Constraints: 30918
471.62/472.95 c #Conflicts: 373000 | #Constraints: 31918
471.62/472.95 c #Conflicts: 374000 | #Constraints: 32918
471.62/472.95 c #Conflicts: 375000 | #Constraints: 33918
471.62/472.95 c #Conflicts: 376000 | #Constraints: 34918
471.62/472.95 c #Conflicts: 377000 | #Constraints: 35918
471.62/472.95 c #Conflicts: 378000 | #Constraints: 36918
471.62/472.95 c #Conflicts: 379000 | #Constraints: 37918
471.62/472.95 c #Conflicts: 380000 | #Constraints: 38918
471.62/472.95 c #Conflicts: 381000 | #Constraints: 39918
471.62/472.95 c #Conflicts: 382000 | #Constraints: 40918
471.62/472.95 c #Conflicts: 383000 | #Constraints: 41918
471.62/472.95 c #Conflicts: 384000 | #Constraints: 42919
471.62/472.95 c #Conflicts: 385000 | #Constraints: 43919
471.62/472.95 c #Conflicts: 386000 | #Constraints: 44919
471.62/472.95 c #Conflicts: 387000 | #Constraints: 45919
471.62/472.95 c #Conflicts: 388000 | #Constraints: 46919
471.62/472.95 c #Conflicts: 389000 | #Constraints: 47919
471.62/472.95 c #Conflicts: 390000 | #Constraints: 48919
471.62/472.95 c #Conflicts: 391000 | #Constraints: 49919
471.62/472.95 c #Conflicts: 392000 | #Constraints: 50919
471.62/472.95 c #Conflicts: 393000 | #Constraints: 51919
471.62/472.95 c #Conflicts: 394000 | #Constraints: 52919
471.62/472.95 c #Conflicts: 395000 | #Constraints: 53919
471.62/472.95 c #Conflicts: 396000 | #Constraints: 54919
471.62/472.95 c #Conflicts: 397000 | #Constraints: 55919
471.62/472.95 c #Conflicts: 398000 | #Constraints: 56919
471.62/472.95 c #Conflicts: 399000 | #Constraints: 57919
471.62/472.95 c #Conflicts: 400000 | #Constraints: 58919
471.62/472.95 c #Conflicts: 401000 | #Constraints: 59919
471.62/472.95 c #Conflicts: 402000 | #Constraints: 60920
471.62/472.95 c #Conflicts: 403000 | #Constraints: 61920
471.62/472.95 c #Conflicts: 404000 | #Constraints: 62920
471.62/472.95 c #Conflicts: 405000 | #Constraints: 63920
471.62/472.95 c #Conflicts: 406000 | #Constraints: 64920
471.62/472.95 c #Conflicts: 407000 | #Constraints: 65920
471.62/472.95 c #Conflicts: 408000 | #Constraints: 66920
471.62/472.95 c #Conflicts: 409000 | #Constraints: 67920
471.62/472.95 c INPROCESSING
471.62/472.95 c GARBAGE COLLECT
471.62/472.95 c rational objective 1.13243e-13
491.55/492.98 c #Conflicts: 410000 | #Constraints: 37752
491.55/492.98 c #Conflicts: 411000 | #Constraints: 38752
491.55/492.98 c #Conflicts: 412000 | #Constraints: 39752
491.55/492.98 c #Conflicts: 413000 | #Constraints: 40752
491.55/492.98 c #Conflicts: 414000 | #Constraints: 41752
491.55/492.98 c #Conflicts: 415000 | #Constraints: 42752
491.55/492.98 c #Conflicts: 416000 | #Constraints: 43752
491.55/492.98 c #Conflicts: 417000 | #Constraints: 44752
491.55/492.98 c #Conflicts: 418000 | #Constraints: 45752
491.55/492.98 c #Conflicts: 419000 | #Constraints: 46752
491.55/492.98 c #Conflicts: 420000 | #Constraints: 47752
491.55/492.98 c #Conflicts: 421000 | #Constraints: 48752
491.55/492.98 c #Conflicts: 422000 | #Constraints: 49752
491.55/492.98 c #Conflicts: 423000 | #Constraints: 50752
491.55/492.98 c #Conflicts: 424000 | #Constraints: 51752
491.55/492.98 c #Conflicts: 425000 | #Constraints: 52752
491.55/492.98 c INPROCESSING
491.55/492.98 c GARBAGE COLLECT
491.55/492.98 c rational objective 1.13243e-13
692.82/694.73 c #Conflicts: 426000 | #Constraints: 30263
692.82/694.73 c #Conflicts: 427000 | #Constraints: 31263
692.82/694.73 c #Conflicts: 428000 | #Constraints: 32263
692.82/694.73 c #Conflicts: 429000 | #Constraints: 33263
692.82/694.73 c #Conflicts: 430000 | #Constraints: 34263
692.82/694.73 c #Conflicts: 431000 | #Constraints: 35263
692.82/694.73 c #Conflicts: 432000 | #Constraints: 36263
692.82/694.73 c #Conflicts: 433000 | #Constraints: 37263
692.82/694.73 c #Conflicts: 434000 | #Constraints: 38263
692.82/694.73 c #Conflicts: 435000 | #Constraints: 39263
692.82/694.73 c #Conflicts: 436000 | #Constraints: 40263
692.82/694.73 c #Conflicts: 437000 | #Constraints: 41263
692.82/694.73 c #Conflicts: 438000 | #Constraints: 42263
692.82/694.73 c #Conflicts: 439000 | #Constraints: 43263
692.82/694.73 c #Conflicts: 440000 | #Constraints: 44263
692.82/694.73 c #Conflicts: 441000 | #Constraints: 45263
692.82/694.73 c INPROCESSING
692.82/694.73 c GARBAGE COLLECT
692.82/694.73 c #Conflicts: 442000 | #Constraints: 27450
692.82/694.73 c #Conflicts: 443000 | #Constraints: 28450
692.82/694.73 c #Conflicts: 444000 | #Constraints: 29450
692.82/694.73 c #Conflicts: 445000 | #Constraints: 30450
692.82/694.73 c #Conflicts: 446000 | #Constraints: 31450
692.82/694.73 c #Conflicts: 447000 | #Constraints: 32450
692.82/694.73 c #Conflicts: 448000 | #Constraints: 33450
692.82/694.73 c #Conflicts: 449000 | #Constraints: 34450
692.82/694.73 c #Conflicts: 450000 | #Constraints: 35450
692.82/694.73 c #Conflicts: 451000 | #Constraints: 36450
692.82/694.73 c #Conflicts: 452000 | #Constraints: 37450
692.82/694.73 c #Conflicts: 453000 | #Constraints: 38450
692.82/694.73 c #Conflicts: 454000 | #Constraints: 39450
692.82/694.73 c #Conflicts: 455000 | #Constraints: 40450
692.82/694.73 c #Conflicts: 456000 | #Constraints: 41450
692.82/694.73 c #Conflicts: 457000 | #Constraints: 42450
692.82/694.73 c #Conflicts: 458000 | #Constraints: 43450
692.82/694.73 c #Conflicts: 459000 | #Constraints: 44450
692.82/694.73 c #Conflicts: 460000 | #Constraints: 45450
692.82/694.73 c #Conflicts: 461000 | #Constraints: 46450
692.82/694.73 c #Conflicts: 462000 | #Constraints: 47450
692.82/694.73 c #Conflicts: 463000 | #Constraints: 48450
692.82/694.73 c #Conflicts: 464000 | #Constraints: 49450
692.82/694.73 c #Conflicts: 465000 | #Constraints: 50450
692.82/694.73 c #Conflicts: 466000 | #Constraints: 51450
692.82/694.73 c #Conflicts: 467000 | #Constraints: 52450
692.82/694.73 c #Conflicts: 468000 | #Constraints: 53450
692.82/694.73 c #Conflicts: 469000 | #Constraints: 54450
692.82/694.73 c #Conflicts: 470000 | #Constraints: 55450
692.82/694.73 c #Conflicts: 471000 | #Constraints: 56450
692.82/694.73 c #Conflicts: 472000 | #Constraints: 57450
692.82/694.73 c #Conflicts: 473000 | #Constraints: 58450
692.82/694.73 c #Conflicts: 474000 | #Constraints: 59450
692.82/694.73 c #Conflicts: 475000 | #Constraints: 60450
692.82/694.73 c #Conflicts: 476000 | #Constraints: 61450
692.82/694.73 c #Conflicts: 477000 | #Constraints: 62450
692.82/694.73 c #Conflicts: 478000 | #Constraints: 63450
692.82/694.73 c #Conflicts: 479000 | #Constraints: 64450
692.82/694.73 c #Conflicts: 480000 | #Constraints: 65450
692.82/694.73 c #Conflicts: 481000 | #Constraints: 66450
692.82/694.73 c #Conflicts: 482000 | #Constraints: 67450
692.82/694.73 c #Conflicts: 483000 | #Constraints: 68450
692.82/694.73 c #Conflicts: 484000 | #Constraints: 69450
692.82/694.73 c #Conflicts: 485000 | #Constraints: 70450
692.82/694.73 c #Conflicts: 486000 | #Constraints: 71450
692.82/694.73 c #Conflicts: 487000 | #Constraints: 72450
692.82/694.73 c #Conflicts: 488000 | #Constraints: 73450
692.82/694.73 c #Conflicts: 489000 | #Constraints: 74450
692.82/694.73 c INPROCESSING
692.82/694.73 c GARBAGE COLLECT
692.82/694.73 c rational objective 2.26485e-13
838.15/840.45 c #Conflicts: 490000 | #Constraints: 40870
838.15/840.45 c #Conflicts: 491000 | #Constraints: 41870
838.15/840.45 c #Conflicts: 492000 | #Constraints: 42870
838.15/840.45 c #Conflicts: 493000 | #Constraints: 43870
838.15/840.45 c #Conflicts: 494000 | #Constraints: 44870
838.15/840.45 c #Conflicts: 495000 | #Constraints: 45870
838.15/840.45 c #Conflicts: 496000 | #Constraints: 46870
838.15/840.45 c #Conflicts: 497000 | #Constraints: 47870
838.15/840.45 c #Conflicts: 498000 | #Constraints: 48870
838.15/840.45 c #Conflicts: 499000 | #Constraints: 49870
838.15/840.45 c #Conflicts: 500000 | #Constraints: 50870
838.15/840.45 c #Conflicts: 501000 | #Constraints: 51870
838.15/840.45 c #Conflicts: 502000 | #Constraints: 52870
838.15/840.45 c #Conflicts: 503000 | #Constraints: 53870
838.15/840.45 c #Conflicts: 504000 | #Constraints: 54870
838.15/840.45 c #Conflicts: 505000 | #Constraints: 55870
838.15/840.45 c #Conflicts: 506000 | #Constraints: 56870
838.15/840.45 c INPROCESSING
838.15/840.45 c GARBAGE COLLECT
838.15/840.45 c #Conflicts: 507000 | #Constraints: 31859
838.15/840.45 c #Conflicts: 508000 | #Constraints: 32859
838.15/840.45 c #Conflicts: 509000 | #Constraints: 33859
838.15/840.45 c #Conflicts: 510000 | #Constraints: 34859
838.15/840.45 c #Conflicts: 511000 | #Constraints: 35859
838.15/840.45 c #Conflicts: 512000 | #Constraints: 36859
838.15/840.45 c #Conflicts: 513000 | #Constraints: 37859
838.15/840.45 c #Conflicts: 514000 | #Constraints: 38859
838.15/840.45 c #Conflicts: 515000 | #Constraints: 39859
838.15/840.45 c #Conflicts: 516000 | #Constraints: 40859
838.15/840.45 c #Conflicts: 517000 | #Constraints: 41859
838.15/840.45 c #Conflicts: 518000 | #Constraints: 42859
838.15/840.45 c #Conflicts: 519000 | #Constraints: 43859
838.15/840.45 c #Conflicts: 520000 | #Constraints: 44859
838.15/840.45 c #Conflicts: 521000 | #Constraints: 45859
838.15/840.45 c #Conflicts: 522000 | #Constraints: 46859
838.15/840.45 c #Conflicts: 523000 | #Constraints: 47859
838.15/840.45 c #Conflicts: 524000 | #Constraints: 48859
838.15/840.45 c INPROCESSING
838.15/840.45 c GARBAGE COLLECT
838.15/840.45 c #Conflicts: 525000 | #Constraints: 28509
838.15/840.45 c #Conflicts: 526000 | #Constraints: 29509
838.15/840.45 c #Conflicts: 527000 | #Constraints: 30509
838.15/840.45 c #Conflicts: 528000 | #Constraints: 31509
838.15/840.45 c #Conflicts: 529000 | #Constraints: 32509
838.15/840.45 c #Conflicts: 530000 | #Constraints: 33509
838.15/840.45 c #Conflicts: 531000 | #Constraints: 34509
838.15/840.45 c #Conflicts: 532000 | #Constraints: 35509
838.15/840.45 c #Conflicts: 533000 | #Constraints: 36509
838.15/840.45 c #Conflicts: 534000 | #Constraints: 37509
838.15/840.45 c #Conflicts: 535000 | #Constraints: 38509
838.15/840.45 c #Conflicts: 536000 | #Constraints: 39509
838.15/840.45 c #Conflicts: 537000 | #Constraints: 40509
838.15/840.45 c #Conflicts: 538000 | #Constraints: 41509
838.15/840.45 c #Conflicts: 539000 | #Constraints: 42509
838.15/840.45 c #Conflicts: 540000 | #Constraints: 43509
838.15/840.45 c #Conflicts: 541000 | #Constraints: 44509
838.15/840.45 c #Conflicts: 542000 | #Constraints: 45509
838.15/840.45 c #Conflicts: 543000 | #Constraints: 46509
838.15/840.45 c #Conflicts: 544000 | #Constraints: 47509
838.15/840.45 c #Conflicts: 545000 | #Constraints: 48509
838.15/840.45 c #Conflicts: 546000 | #Constraints: 49509
838.15/840.45 c #Conflicts: 547000 | #Constraints: 50509
838.15/840.45 c #Conflicts: 548000 | #Constraints: 51509
838.15/840.45 c #Conflicts: 549000 | #Constraints: 52509
838.15/840.45 c #Conflicts: 550000 | #Constraints: 53509
838.15/840.45 c #Conflicts: 551000 | #Constraints: 54509
838.15/840.45 c #Conflicts: 552000 | #Constraints: 55509
838.15/840.45 c #Conflicts: 553000 | #Constraints: 56509
838.15/840.45 c #Conflicts: 554000 | #Constraints: 57509
838.15/840.45 c #Conflicts: 555000 | #Constraints: 58509
838.15/840.45 c #Conflicts: 556000 | #Constraints: 59509
838.15/840.45 c #Conflicts: 557000 | #Constraints: 60509
838.15/840.45 c #Conflicts: 558000 | #Constraints: 61509
838.15/840.45 c #Conflicts: 559000 | #Constraints: 62509
838.15/840.45 c #Conflicts: 560000 | #Constraints: 63509
838.15/840.45 c #Conflicts: 561000 | #Constraints: 64509
838.15/840.45 c #Conflicts: 562000 | #Constraints: 65509
838.15/840.45 c #Conflicts: 563000 | #Constraints: 66509
838.15/840.45 c #Conflicts: 564000 | #Constraints: 67509
838.15/840.45 c #Conflicts: 565000 | #Constraints: 68509
838.15/840.45 c #Conflicts: 566000 | #Constraints: 69509
838.15/840.45 c #Conflicts: 567000 | #Constraints: 70509
865.09/867.46 c #Conflicts: 568000 | #Constraints: 71509
865.09/867.46 c #Conflicts: 569000 | #Constraints: 72509
865.09/867.46 c #Conflicts: 570000 | #Constraints: 73509
865.09/867.46 c #Conflicts: 571000 | #Constraints: 74509
865.09/867.46 c #Conflicts: 572000 | #Constraints: 75509
865.09/867.46 c #Conflicts: 573000 | #Constraints: 76509
865.09/867.46 c #Conflicts: 574000 | #Constraints: 77509
865.09/867.46 c #Conflicts: 575000 | #Constraints: 78509
865.09/867.46 c #Conflicts: 576000 | #Constraints: 79509
865.09/867.46 c #Conflicts: 577000 | #Constraints: 80509
865.09/867.46 c INPROCESSING
865.09/867.46 c GARBAGE COLLECT
865.09/867.46 c rational objective 1.13243e-13
974.61/977.24 c #Conflicts: 578000 | #Constraints: 44075
974.61/977.24 c #Conflicts: 579000 | #Constraints: 45075
974.61/977.24 c #Conflicts: 580000 | #Constraints: 46075
974.61/977.24 c #Conflicts: 581000 | #Constraints: 47075
974.61/977.24 c #Conflicts: 582000 | #Constraints: 48075
974.61/977.24 c #Conflicts: 583000 | #Constraints: 49075
974.61/977.24 c #Conflicts: 584000 | #Constraints: 50075
974.61/977.24 c #Conflicts: 585000 | #Constraints: 51075
974.61/977.24 c #Conflicts: 586000 | #Constraints: 52075
974.61/977.24 c #Conflicts: 587000 | #Constraints: 53075
974.61/977.24 c #Conflicts: 588000 | #Constraints: 54075
974.61/977.24 c #Conflicts: 589000 | #Constraints: 55075
974.61/977.24 c #Conflicts: 590000 | #Constraints: 56075
974.61/977.24 c #Conflicts: 591000 | #Constraints: 57075
974.61/977.24 c #Conflicts: 592000 | #Constraints: 58075
974.61/977.24 c #Conflicts: 593000 | #Constraints: 59075
974.61/977.24 c #Conflicts: 594000 | #Constraints: 60075
974.61/977.24 c #Conflicts: 595000 | #Constraints: 61075
974.61/977.24 c #Conflicts: 596000 | #Constraints: 62075
974.61/977.24 c INPROCESSING
974.61/977.24 c GARBAGE COLLECT
974.61/977.24 c #Conflicts: 597000 | #Constraints: 34995
974.61/977.24 c #Conflicts: 598000 | #Constraints: 35995
974.61/977.24 c #Conflicts: 599000 | #Constraints: 36995
974.61/977.24 c #Conflicts: 600000 | #Constraints: 37995
974.61/977.24 c #Conflicts: 601000 | #Constraints: 38995
974.61/977.24 c #Conflicts: 602000 | #Constraints: 39995
974.61/977.24 c #Conflicts: 603000 | #Constraints: 40995
974.61/977.24 c #Conflicts: 604000 | #Constraints: 41995
974.61/977.24 c #Conflicts: 605000 | #Constraints: 42995
974.61/977.24 c #Conflicts: 606000 | #Constraints: 43995
974.61/977.24 c #Conflicts: 607000 | #Constraints: 44995
974.61/977.24 c #Conflicts: 608000 | #Constraints: 45995
974.61/977.24 c #Conflicts: 609000 | #Constraints: 46995
974.61/977.24 c #Conflicts: 610000 | #Constraints: 47995
974.61/977.24 c #Conflicts: 611000 | #Constraints: 48995
974.61/977.24 c #Conflicts: 612000 | #Constraints: 49995
974.61/977.24 c #Conflicts: 613000 | #Constraints: 50995
974.61/977.24 c #Conflicts: 614000 | #Constraints: 51995
974.61/977.24 c #Conflicts: 615000 | #Constraints: 52995
974.61/977.24 c INPROCESSING
974.61/977.24 c GARBAGE COLLECT
974.61/977.24 c #Conflicts: 616000 | #Constraints: 31655
974.61/977.24 c #Conflicts: 617000 | #Constraints: 32655
974.61/977.24 c #Conflicts: 618000 | #Constraints: 33655
974.61/977.24 c #Conflicts: 619000 | #Constraints: 34655
974.61/977.24 c #Conflicts: 620000 | #Constraints: 35655
974.61/977.24 c #Conflicts: 621000 | #Constraints: 36655
974.61/977.24 c #Conflicts: 622000 | #Constraints: 37655
974.61/977.24 c #Conflicts: 623000 | #Constraints: 38655
974.61/977.24 c #Conflicts: 624000 | #Constraints: 39655
974.61/977.24 c #Conflicts: 625000 | #Constraints: 40655
974.61/977.24 c #Conflicts: 626000 | #Constraints: 41655
974.61/977.24 c #Conflicts: 627000 | #Constraints: 42655
974.61/977.24 c #Conflicts: 628000 | #Constraints: 43655
974.61/977.24 c #Conflicts: 629000 | #Constraints: 44655
974.61/977.24 c #Conflicts: 630000 | #Constraints: 45655
974.61/977.24 c #Conflicts: 631000 | #Constraints: 46655
974.61/977.24 c #Conflicts: 632000 | #Constraints: 47655
974.61/977.24 c #Conflicts: 633000 | #Constraints: 48655
974.61/977.24 c #Conflicts: 634000 | #Constraints: 49655
974.61/977.24 c #Conflicts: 635000 | #Constraints: 50655
974.61/977.24 c #Conflicts: 636000 | #Constraints: 51655
974.61/977.24 c #Conflicts: 637000 | #Constraints: 52655
974.61/977.24 c #Conflicts: 638000 | #Constraints: 53655
974.61/977.24 c #Conflicts: 639000 | #Constraints: 54655
974.61/977.24 c #Conflicts: 640000 | #Constraints: 55655
974.61/977.24 c #Conflicts: 641000 | #Constraints: 56655
974.61/977.24 c #Conflicts: 642000 | #Constraints: 57655
974.61/977.24 c #Conflicts: 643000 | #Constraints: 58655
974.61/977.24 c #Conflicts: 644000 | #Constraints: 59655
974.61/977.24 c #Conflicts: 645000 | #Constraints: 60655
974.61/977.24 c #Conflicts: 646000 | #Constraints: 61655
974.61/977.24 c #Conflicts: 647000 | #Constraints: 62655
974.61/977.24 c #Conflicts: 648000 | #Constraints: 63655
974.61/977.24 c #Conflicts: 649000 | #Constraints: 64655
974.61/977.24 c #Conflicts: 650000 | #Constraints: 65655
974.61/977.24 c #Conflicts: 651000 | #Constraints: 66655
974.61/977.24 c #Conflicts: 652000 | #Constraints: 67655
974.61/977.24 c #Conflicts: 653000 | #Constraints: 68655
974.61/977.24 c #Conflicts: 654000 | #Constraints: 69655
974.61/977.24 c #Conflicts: 655000 | #Constraints: 70655
1030.66/1033.45 c #Conflicts: 656000 | #Constraints: 71655
1030.66/1033.45 c #Conflicts: 657000 | #Constraints: 72655
1030.66/1033.45 c #Conflicts: 658000 | #Constraints: 73655
1030.66/1033.45 c #Conflicts: 659000 | #Constraints: 74655
1030.66/1033.45 c #Conflicts: 660000 | #Constraints: 75655
1030.66/1033.45 c #Conflicts: 661000 | #Constraints: 76655
1030.66/1033.45 c #Conflicts: 662000 | #Constraints: 77655
1030.66/1033.45 c #Conflicts: 663000 | #Constraints: 78655
1030.66/1033.45 c #Conflicts: 664000 | #Constraints: 79655
1030.66/1033.45 c #Conflicts: 665000 | #Constraints: 80655
1030.66/1033.45 c #Conflicts: 666000 | #Constraints: 81655
1030.66/1033.45 c #Conflicts: 667000 | #Constraints: 82655
1030.66/1033.45 c #Conflicts: 668000 | #Constraints: 83655
1030.66/1033.45 c #Conflicts: 669000 | #Constraints: 84655
1030.66/1033.45 c #Conflicts: 670000 | #Constraints: 85655
1030.66/1033.45 c #Conflicts: 671000 | #Constraints: 86655
1030.66/1033.45 c #Conflicts: 672000 | #Constraints: 87655
1030.66/1033.45 c INPROCESSING
1030.66/1033.45 c GARBAGE COLLECT
1030.66/1033.45 c rational objective 1.13243e-13
1056.30/1059.14 c #Conflicts: 673000 | #Constraints: 47825
1056.30/1059.14 c #Conflicts: 674000 | #Constraints: 48825
1056.30/1059.14 c #Conflicts: 675000 | #Constraints: 49825
1056.30/1059.14 c #Conflicts: 676000 | #Constraints: 50825
1056.30/1059.14 c #Conflicts: 677000 | #Constraints: 51825
1056.30/1059.14 c #Conflicts: 678000 | #Constraints: 52825
1056.30/1059.14 c #Conflicts: 679000 | #Constraints: 53825
1056.30/1059.14 c #Conflicts: 680000 | #Constraints: 54825
1056.30/1059.14 c #Conflicts: 681000 | #Constraints: 55825
1056.30/1059.14 c #Conflicts: 682000 | #Constraints: 56825
1056.30/1059.14 c #Conflicts: 683000 | #Constraints: 57825
1056.30/1059.14 c #Conflicts: 684000 | #Constraints: 58825
1056.30/1059.14 c #Conflicts: 685000 | #Constraints: 59825
1056.30/1059.14 c #Conflicts: 686000 | #Constraints: 60825
1056.30/1059.14 c #Conflicts: 687000 | #Constraints: 61825
1056.30/1059.14 c #Conflicts: 688000 | #Constraints: 62825
1056.30/1059.14 c #Conflicts: 689000 | #Constraints: 63825
1056.30/1059.14 c #Conflicts: 690000 | #Constraints: 64825
1056.30/1059.14 c #Conflicts: 691000 | #Constraints: 65825
1056.30/1059.14 c #Conflicts: 692000 | #Constraints: 66825
1056.30/1059.14 c INPROCESSING
1056.30/1059.14 c GARBAGE COLLECT
1056.30/1059.14 c rational objective -1.66089e-12
1307.45/1310.91 c #Conflicts: 693000 | #Constraints: 37310
1307.45/1310.91 c #Conflicts: 694000 | #Constraints: 38310
1307.45/1310.91 c #Conflicts: 695000 | #Constraints: 39310
1307.45/1310.91 c #Conflicts: 696000 | #Constraints: 40310
1307.45/1310.91 c #Conflicts: 697000 | #Constraints: 41310
1307.45/1310.91 c #Conflicts: 698000 | #Constraints: 42310
1307.45/1310.91 c #Conflicts: 699000 | #Constraints: 43310
1307.45/1310.91 c #Conflicts: 700000 | #Constraints: 44310
1307.45/1310.91 c #Conflicts: 701000 | #Constraints: 45310
1307.45/1310.91 c #Conflicts: 702000 | #Constraints: 46310
1307.45/1310.91 c #Conflicts: 703000 | #Constraints: 47310
1307.45/1310.91 c #Conflicts: 704000 | #Constraints: 48310
1307.45/1310.91 c #Conflicts: 705000 | #Constraints: 49310
1307.45/1310.91 c #Conflicts: 706000 | #Constraints: 50310
1307.45/1310.91 c #Conflicts: 707000 | #Constraints: 51310
1307.45/1310.91 c #Conflicts: 708000 | #Constraints: 52310
1307.45/1310.91 c #Conflicts: 709000 | #Constraints: 53310
1307.45/1310.91 c #Conflicts: 710000 | #Constraints: 54310
1307.45/1310.91 c #Conflicts: 711000 | #Constraints: 55310
1307.45/1310.91 c #Conflicts: 712000 | #Constraints: 56310
1307.45/1310.91 c INPROCESSING
1307.45/1310.91 c GARBAGE COLLECT
1307.45/1310.91 c #Conflicts: 713000 | #Constraints: 33975
1307.45/1310.91 c #Conflicts: 714000 | #Constraints: 34975
1307.45/1310.91 c #Conflicts: 715000 | #Constraints: 35975
1307.45/1310.91 c #Conflicts: 716000 | #Constraints: 36975
1307.45/1310.91 c #Conflicts: 717000 | #Constraints: 37975
1307.45/1310.91 c #Conflicts: 718000 | #Constraints: 38975
1307.45/1310.91 c #Conflicts: 719000 | #Constraints: 39975
1307.45/1310.91 c #Conflicts: 720000 | #Constraints: 40975
1307.45/1310.91 c #Conflicts: 721000 | #Constraints: 41975
1307.45/1310.91 c #Conflicts: 722000 | #Constraints: 42975
1307.45/1310.91 c #Conflicts: 723000 | #Constraints: 43975
1307.45/1310.91 c #Conflicts: 724000 | #Constraints: 44975
1307.45/1310.91 c #Conflicts: 725000 | #Constraints: 45975
1307.45/1310.91 c #Conflicts: 726000 | #Constraints: 46975
1307.45/1310.91 c #Conflicts: 727000 | #Constraints: 47975
1307.45/1310.91 c #Conflicts: 728000 | #Constraints: 48975
1307.45/1310.91 c #Conflicts: 729000 | #Constraints: 49975
1307.45/1310.91 c #Conflicts: 730000 | #Constraints: 50975
1307.45/1310.91 c #Conflicts: 731000 | #Constraints: 51975
1307.45/1310.91 c #Conflicts: 732000 | #Constraints: 52975
1307.45/1310.91 c #Conflicts: 733000 | #Constraints: 53975
1307.45/1310.91 c #Conflicts: 734000 | #Constraints: 54975
1307.45/1310.91 c #Conflicts: 735000 | #Constraints: 55975
1307.45/1310.91 c #Conflicts: 736000 | #Constraints: 56975
1307.45/1310.91 c #Conflicts: 737000 | #Constraints: 57975
1307.45/1310.91 c #Conflicts: 738000 | #Constraints: 58975
1307.45/1310.91 c #Conflicts: 739000 | #Constraints: 59975
1307.45/1310.91 c #Conflicts: 740000 | #Constraints: 60975
1307.45/1310.91 c #Conflicts: 741000 | #Constraints: 61975
1307.45/1310.91 c #Conflicts: 742000 | #Constraints: 62975
1307.45/1310.91 c #Conflicts: 743000 | #Constraints: 63975
1307.45/1310.91 c #Conflicts: 744000 | #Constraints: 64975
1307.45/1310.91 c #Conflicts: 745000 | #Constraints: 65975
1307.45/1310.91 c #Conflicts: 746000 | #Constraints: 66975
1307.45/1310.91 c #Conflicts: 747000 | #Constraints: 67975
1307.45/1310.91 c #Conflicts: 748000 | #Constraints: 68975
1307.45/1310.91 c #Conflicts: 749000 | #Constraints: 69975
1307.45/1310.91 c #Conflicts: 750000 | #Constraints: 70975
1307.45/1310.91 c #Conflicts: 751000 | #Constraints: 71975
1307.45/1310.91 c #Conflicts: 752000 | #Constraints: 72975
1307.45/1310.91 c #Conflicts: 753000 | #Constraints: 73975
1307.45/1310.91 c #Conflicts: 754000 | #Constraints: 74975
1307.45/1310.91 c #Conflicts: 755000 | #Constraints: 75976
1307.45/1310.91 c #Conflicts: 756000 | #Constraints: 76976
1307.45/1310.91 c #Conflicts: 757000 | #Constraints: 77976
1307.45/1310.91 c #Conflicts: 758000 | #Constraints: 78976
1307.45/1310.91 c #Conflicts: 759000 | #Constraints: 79976
1307.45/1310.91 c #Conflicts: 760000 | #Constraints: 80976
1307.45/1310.91 c #Conflicts: 761000 | #Constraints: 81976
1307.45/1310.91 c #Conflicts: 762000 | #Constraints: 82976
1307.45/1310.91 c #Conflicts: 763000 | #Constraints: 83976
1307.45/1310.91 c #Conflicts: 764000 | #Constraints: 84976
1307.45/1310.91 c #Conflicts: 765000 | #Constraints: 85976
1307.45/1310.91 c #Conflicts: 766000 | #Constraints: 86976
1307.45/1310.91 c #Conflicts: 767000 | #Constraints: 87976
1307.45/1310.91 c #Conflicts: 768000 | #Constraints: 88976
1307.45/1310.91 c #Conflicts: 769000 | #Constraints: 89976
1307.45/1310.91 c #Conflicts: 770000 | #Constraints: 90976
1307.45/1310.91 c #Conflicts: 771000 | #Constraints: 91976
1319.71/1323.28 c #Conflicts: 772000 | #Constraints: 92976
1319.71/1323.28 c #Conflicts: 773000 | #Constraints: 93976
1319.71/1323.28 c #Conflicts: 774000 | #Constraints: 94976
1319.71/1323.28 c INPROCESSING
1319.71/1323.28 c GARBAGE COLLECT
1319.71/1323.28 c rational objective -1.13243e-13
1391.04/1394.72 c #Conflicts: 775000 | #Constraints: 51410
1391.04/1394.72 c #Conflicts: 776000 | #Constraints: 52411
1391.04/1394.72 c #Conflicts: 777000 | #Constraints: 53411
1391.04/1394.72 c #Conflicts: 778000 | #Constraints: 54411
1391.04/1394.72 c #Conflicts: 779000 | #Constraints: 55411
1391.04/1394.72 c #Conflicts: 780000 | #Constraints: 56411
1391.04/1394.72 c #Conflicts: 781000 | #Constraints: 57411
1391.04/1394.72 c #Conflicts: 782000 | #Constraints: 58411
1391.04/1394.72 c #Conflicts: 783000 | #Constraints: 59411
1391.04/1394.72 c #Conflicts: 784000 | #Constraints: 60412
1391.04/1394.72 c #Conflicts: 785000 | #Constraints: 61412
1391.04/1394.72 c #Conflicts: 786000 | #Constraints: 62412
1391.04/1394.72 c #Conflicts: 787000 | #Constraints: 63412
1391.04/1394.72 c #Conflicts: 788000 | #Constraints: 64412
1391.04/1394.72 c #Conflicts: 789000 | #Constraints: 65412
1391.04/1394.72 c #Conflicts: 790000 | #Constraints: 66412
1391.04/1394.72 c #Conflicts: 791000 | #Constraints: 67412
1391.04/1394.72 c #Conflicts: 792000 | #Constraints: 68413
1391.04/1394.72 c #Conflicts: 793000 | #Constraints: 69413
1391.04/1394.72 c #Conflicts: 794000 | #Constraints: 70413
1391.04/1394.72 c #Conflicts: 795000 | #Constraints: 71413
1391.04/1394.72 c INPROCESSING
1391.04/1394.72 c GARBAGE COLLECT
1391.04/1394.72 c #Conflicts: 796000 | #Constraints: 39289
1391.04/1394.72 c #Conflicts: 797000 | #Constraints: 40289
1391.04/1394.72 c #Conflicts: 798000 | #Constraints: 41289
1391.04/1394.72 c #Conflicts: 799000 | #Constraints: 42289
1391.04/1394.72 c #Conflicts: 800000 | #Constraints: 43289
1391.04/1394.72 c #Conflicts: 801000 | #Constraints: 44290
1391.04/1394.72 c #Conflicts: 802000 | #Constraints: 45290
1391.04/1394.72 c #Conflicts: 803000 | #Constraints: 46290
1391.04/1394.72 c #Conflicts: 804000 | #Constraints: 47290
1391.04/1394.72 c #Conflicts: 805000 | #Constraints: 48290
1391.04/1394.72 c #Conflicts: 806000 | #Constraints: 49290
1391.04/1394.72 c #Conflicts: 807000 | #Constraints: 50290
1391.04/1394.72 c #Conflicts: 808000 | #Constraints: 51290
1391.04/1394.72 c #Conflicts: 809000 | #Constraints: 52290
1391.04/1394.72 c #Conflicts: 810000 | #Constraints: 53290
1391.04/1394.72 c #Conflicts: 811000 | #Constraints: 54290
1391.04/1394.72 c #Conflicts: 812000 | #Constraints: 55290
1391.04/1394.72 c #Conflicts: 813000 | #Constraints: 56290
1391.04/1394.72 c #Conflicts: 814000 | #Constraints: 57290
1391.04/1394.72 c #Conflicts: 815000 | #Constraints: 58290
1391.04/1394.72 c #Conflicts: 816000 | #Constraints: 59290
1391.04/1394.72 c #Conflicts: 817000 | #Constraints: 60290
1391.04/1394.72 c INPROCESSING
1391.04/1394.72 c GARBAGE COLLECT
1391.04/1394.72 c rational objective -1.13243e-13
1601.07/1605.30 c #Conflicts: 818000 | #Constraints: 36784
1601.07/1605.30 c #Conflicts: 819000 | #Constraints: 37784
1601.07/1605.30 c #Conflicts: 820000 | #Constraints: 38784
1601.07/1605.30 c #Conflicts: 821000 | #Constraints: 39784
1601.07/1605.30 c #Conflicts: 822000 | #Constraints: 40784
1601.07/1605.30 c #Conflicts: 823000 | #Constraints: 41784
1601.07/1605.30 c #Conflicts: 824000 | #Constraints: 42784
1601.07/1605.30 c #Conflicts: 825000 | #Constraints: 43784
1601.07/1605.30 c #Conflicts: 826000 | #Constraints: 44784
1601.07/1605.30 c #Conflicts: 827000 | #Constraints: 45784
1601.07/1605.30 c #Conflicts: 828000 | #Constraints: 46784
1601.07/1605.30 c #Conflicts: 829000 | #Constraints: 47784
1601.07/1605.30 c #Conflicts: 830000 | #Constraints: 48784
1601.07/1605.30 c #Conflicts: 831000 | #Constraints: 49784
1601.07/1605.30 c #Conflicts: 832000 | #Constraints: 50784
1601.07/1605.30 c #Conflicts: 833000 | #Constraints: 51784
1601.07/1605.30 c #Conflicts: 834000 | #Constraints: 52784
1601.07/1605.30 c #Conflicts: 835000 | #Constraints: 53784
1601.07/1605.30 c #Conflicts: 836000 | #Constraints: 54784
1601.07/1605.30 c #Conflicts: 837000 | #Constraints: 55784
1601.07/1605.30 c #Conflicts: 838000 | #Constraints: 56784
1601.07/1605.30 c #Conflicts: 839000 | #Constraints: 57784
1601.07/1605.30 c #Conflicts: 840000 | #Constraints: 58784
1601.07/1605.30 c #Conflicts: 841000 | #Constraints: 59784
1601.07/1605.30 c #Conflicts: 842000 | #Constraints: 60784
1601.07/1605.30 c #Conflicts: 843000 | #Constraints: 61784
1601.07/1605.30 c #Conflicts: 844000 | #Constraints: 62784
1601.07/1605.30 c #Conflicts: 845000 | #Constraints: 63784
1601.07/1605.30 c #Conflicts: 846000 | #Constraints: 64784
1601.07/1605.30 c #Conflicts: 847000 | #Constraints: 65784
1601.07/1605.30 c #Conflicts: 848000 | #Constraints: 66784
1601.07/1605.30 c #Conflicts: 849000 | #Constraints: 67784
1601.07/1605.30 c #Conflicts: 850000 | #Constraints: 68784
1601.07/1605.30 c #Conflicts: 851000 | #Constraints: 69784
1601.07/1605.30 c #Conflicts: 852000 | #Constraints: 70784
1601.07/1605.30 c #Conflicts: 853000 | #Constraints: 71784
1601.07/1605.30 c #Conflicts: 854000 | #Constraints: 72784
1601.07/1605.30 c #Conflicts: 855000 | #Constraints: 73784
1601.07/1605.30 c #Conflicts: 856000 | #Constraints: 74784
1601.07/1605.30 c #Conflicts: 857000 | #Constraints: 75784
1601.07/1605.30 c #Conflicts: 858000 | #Constraints: 76784
1601.07/1605.30 c #Conflicts: 859000 | #Constraints: 77784
1601.07/1605.30 c #Conflicts: 860000 | #Constraints: 78784
1601.07/1605.30 c #Conflicts: 861000 | #Constraints: 79784
1601.07/1605.30 c #Conflicts: 862000 | #Constraints: 80784
1601.07/1605.30 c #Conflicts: 863000 | #Constraints: 81784
1601.07/1605.30 c #Conflicts: 864000 | #Constraints: 82784
1601.07/1605.30 c #Conflicts: 865000 | #Constraints: 83784
1601.07/1605.30 c #Conflicts: 866000 | #Constraints: 84784
1601.07/1605.30 c #Conflicts: 867000 | #Constraints: 85784
1601.07/1605.30 c #Conflicts: 868000 | #Constraints: 86784
1601.07/1605.30 c #Conflicts: 869000 | #Constraints: 87784
1601.07/1605.30 c #Conflicts: 870000 | #Constraints: 88784
1601.07/1605.30 c #Conflicts: 871000 | #Constraints: 89784
1601.07/1605.30 c #Conflicts: 872000 | #Constraints: 90784
1601.07/1605.30 c #Conflicts: 873000 | #Constraints: 91784
1601.07/1605.30 c #Conflicts: 874000 | #Constraints: 92784
1601.07/1605.30 c #Conflicts: 875000 | #Constraints: 93784
1601.07/1605.30 c #Conflicts: 876000 | #Constraints: 94784
1601.07/1605.30 c #Conflicts: 877000 | #Constraints: 95784
1601.07/1605.30 c #Conflicts: 878000 | #Constraints: 96784
1601.07/1605.30 c #Conflicts: 879000 | #Constraints: 97784
1601.07/1605.30 c #Conflicts: 880000 | #Constraints: 98784
1601.07/1605.30 c #Conflicts: 881000 | #Constraints: 99784
1601.07/1605.30 c #Conflicts: 882000 | #Constraints: 100784
1601.07/1605.30 c #Conflicts: 883000 | #Constraints: 101784
1601.07/1605.30 c INPROCESSING
1601.07/1605.30 c GARBAGE COLLECT
1601.07/1605.30 c rational objective -1.13243e-13
1693.34/1697.80 c #Conflicts: 884000 | #Constraints: 54783
1693.34/1697.80 c #Conflicts: 885000 | #Constraints: 55783
1693.34/1697.80 c #Conflicts: 886000 | #Constraints: 56783
1693.34/1697.80 c #Conflicts: 887000 | #Constraints: 57783
1693.34/1697.80 c #Conflicts: 888000 | #Constraints: 58783
1693.34/1697.80 c #Conflicts: 889000 | #Constraints: 59783
1693.34/1697.80 c #Conflicts: 890000 | #Constraints: 60783
1693.34/1697.80 c #Conflicts: 891000 | #Constraints: 61783
1693.34/1697.80 c #Conflicts: 892000 | #Constraints: 62783
1693.34/1697.80 c #Conflicts: 893000 | #Constraints: 63783
1693.34/1697.80 c #Conflicts: 894000 | #Constraints: 64783
1693.34/1697.80 c #Conflicts: 895000 | #Constraints: 65783
1693.34/1697.80 c #Conflicts: 896000 | #Constraints: 66783
1693.34/1697.80 c #Conflicts: 897000 | #Constraints: 67783
1693.34/1697.80 c #Conflicts: 898000 | #Constraints: 68783
1693.34/1697.80 c #Conflicts: 899000 | #Constraints: 69783
1693.34/1697.80 c #Conflicts: 900000 | #Constraints: 70783
1693.34/1697.80 c #Conflicts: 901000 | #Constraints: 71783
1693.34/1697.80 c #Conflicts: 902000 | #Constraints: 72783
1693.34/1697.80 c #Conflicts: 903000 | #Constraints: 73783
1693.34/1697.80 c #Conflicts: 904000 | #Constraints: 74783
1693.34/1697.80 c #Conflicts: 905000 | #Constraints: 75783
1693.34/1697.80 c #Conflicts: 906000 | #Constraints: 76783
1693.34/1697.80 c INPROCESSING
1693.34/1697.80 c GARBAGE COLLECT
1693.34/1697.80 c #Conflicts: 907000 | #Constraints: 42187
1693.34/1697.80 c #Conflicts: 908000 | #Constraints: 43187
1693.34/1697.80 c #Conflicts: 909000 | #Constraints: 44187
1693.34/1697.80 c #Conflicts: 910000 | #Constraints: 45187
1693.34/1697.80 c #Conflicts: 911000 | #Constraints: 46187
1693.34/1697.80 c #Conflicts: 912000 | #Constraints: 47187
1693.34/1697.80 c #Conflicts: 913000 | #Constraints: 48187
1693.34/1697.80 c #Conflicts: 914000 | #Constraints: 49187
1693.34/1697.80 c #Conflicts: 915000 | #Constraints: 50187
1693.34/1697.80 c #Conflicts: 916000 | #Constraints: 51188
1693.34/1697.80 c #Conflicts: 917000 | #Constraints: 52188
1693.34/1697.80 c #Conflicts: 918000 | #Constraints: 53188
1693.34/1697.80 c #Conflicts: 919000 | #Constraints: 54188
1693.34/1697.80 c #Conflicts: 920000 | #Constraints: 55189
1693.34/1697.80 c #Conflicts: 921000 | #Constraints: 56189
1693.34/1697.80 c #Conflicts: 922000 | #Constraints: 57189
1693.34/1697.80 c #Conflicts: 923000 | #Constraints: 58189
1693.34/1697.80 c #Conflicts: 924000 | #Constraints: 59189
1693.34/1697.80 c #Conflicts: 925000 | #Constraints: 60189
1693.34/1697.80 c #Conflicts: 926000 | #Constraints: 61189
1693.34/1697.80 c #Conflicts: 927000 | #Constraints: 62189
1693.34/1697.80 c #Conflicts: 928000 | #Constraints: 63189
1693.34/1697.80 c #Conflicts: 929000 | #Constraints: 64189
1693.34/1697.80 c #Conflicts: 930000 | #Constraints: 65189
1693.34/1697.80 c INPROCESSING
1693.34/1697.80 c GARBAGE COLLECT
1693.34/1697.80 c rational objective -1.13243e-13
2220.89/2226.78 c #Conflicts: 931000 | #Constraints: 40424
2220.89/2226.78 c #Conflicts: 932000 | #Constraints: 41424
2220.89/2226.78 c #Conflicts: 933000 | #Constraints: 42424
2220.89/2226.78 c #Conflicts: 934000 | #Constraints: 43424
2220.89/2226.78 c #Conflicts: 935000 | #Constraints: 44424
2220.89/2226.78 c #Conflicts: 936000 | #Constraints: 45424
2220.89/2226.78 c #Conflicts: 937000 | #Constraints: 46424
2220.89/2226.78 c #Conflicts: 938000 | #Constraints: 47424
2220.89/2226.78 c #Conflicts: 939000 | #Constraints: 48424
2220.89/2226.78 c #Conflicts: 940000 | #Constraints: 49424
2220.89/2226.78 c #Conflicts: 941000 | #Constraints: 50425
2220.89/2226.78 c #Conflicts: 942000 | #Constraints: 51425
2220.89/2226.78 c #Conflicts: 943000 | #Constraints: 52425
2220.89/2226.78 c #Conflicts: 944000 | #Constraints: 53425
2220.89/2226.78 c #Conflicts: 945000 | #Constraints: 54425
2220.89/2226.78 c #Conflicts: 946000 | #Constraints: 55425
2220.89/2226.78 c #Conflicts: 947000 | #Constraints: 56425
2220.89/2226.78 c #Conflicts: 948000 | #Constraints: 57425
2220.89/2226.78 c #Conflicts: 949000 | #Constraints: 58425
2220.89/2226.78 c #Conflicts: 950000 | #Constraints: 59425
2220.89/2226.78 c #Conflicts: 951000 | #Constraints: 60425
2220.89/2226.78 c #Conflicts: 952000 | #Constraints: 61425
2220.89/2226.78 c #Conflicts: 953000 | #Constraints: 62425
2220.89/2226.78 c #Conflicts: 954000 | #Constraints: 63425
2220.89/2226.78 c #Conflicts: 955000 | #Constraints: 64425
2220.89/2226.78 c #Conflicts: 956000 | #Constraints: 65425
2220.89/2226.78 c #Conflicts: 957000 | #Constraints: 66425
2220.89/2226.78 c #Conflicts: 958000 | #Constraints: 67425
2220.89/2226.78 c #Conflicts: 959000 | #Constraints: 68425
2220.89/2226.78 c #Conflicts: 960000 | #Constraints: 69425
2220.89/2226.78 c #Conflicts: 961000 | #Constraints: 70425
2220.89/2226.78 c #Conflicts: 962000 | #Constraints: 71425
2220.89/2226.78 c #Conflicts: 963000 | #Constraints: 72425
2220.89/2226.78 c #Conflicts: 964000 | #Constraints: 73425
2220.89/2226.78 c #Conflicts: 965000 | #Constraints: 74425
2220.89/2226.78 c #Conflicts: 966000 | #Constraints: 75426
2220.89/2226.78 c #Conflicts: 967000 | #Constraints: 76426
2220.89/2226.78 c #Conflicts: 968000 | #Constraints: 77426
2220.89/2226.78 c #Conflicts: 969000 | #Constraints: 78426
2220.89/2226.78 c #Conflicts: 970000 | #Constraints: 79426
2220.89/2226.78 c #Conflicts: 971000 | #Constraints: 80426
2220.89/2226.78 c #Conflicts: 972000 | #Constraints: 81426
2220.89/2226.78 c #Conflicts: 973000 | #Constraints: 82426
2220.89/2226.78 c #Conflicts: 974000 | #Constraints: 83426
2220.89/2226.78 c #Conflicts: 975000 | #Constraints: 84426
2220.89/2226.78 c #Conflicts: 976000 | #Constraints: 85426
2220.89/2226.78 c #Conflicts: 977000 | #Constraints: 86426
2220.89/2226.78 c #Conflicts: 978000 | #Constraints: 87426
2220.89/2226.78 c #Conflicts: 979000 | #Constraints: 88426
2220.89/2226.78 c #Conflicts: 980000 | #Constraints: 89426
2220.89/2226.78 c #Conflicts: 981000 | #Constraints: 90426
2220.89/2226.78 c #Conflicts: 982000 | #Constraints: 91426
2220.89/2226.78 c #Conflicts: 983000 | #Constraints: 92426
2220.89/2226.78 c #Conflicts: 984000 | #Constraints: 93426
2220.89/2226.78 c #Conflicts: 985000 | #Constraints: 94426
2220.89/2226.78 c #Conflicts: 986000 | #Constraints: 95426
2220.89/2226.78 c #Conflicts: 987000 | #Constraints: 96426
2220.89/2226.78 c #Conflicts: 988000 | #Constraints: 97426
2220.89/2226.78 c #Conflicts: 989000 | #Constraints: 98426
2220.89/2226.78 c #Conflicts: 990000 | #Constraints: 99426
2220.89/2226.78 c #Conflicts: 991000 | #Constraints: 100426
2220.89/2226.78 c #Conflicts: 992000 | #Constraints: 101426
2220.89/2226.78 c #Conflicts: 993000 | #Constraints: 102426
2220.89/2226.78 c #Conflicts: 994000 | #Constraints: 103426
2220.89/2226.78 c #Conflicts: 995000 | #Constraints: 104426
2220.89/2226.78 c #Conflicts: 996000 | #Constraints: 105426
2220.89/2226.78 c #Conflicts: 997000 | #Constraints: 106426
2220.89/2226.78 c #Conflicts: 998000 | #Constraints: 107426
2220.89/2226.78 c #Conflicts: 999000 | #Constraints: 108426
2220.89/2226.78 c INPROCESSING
2220.89/2226.78 c GARBAGE COLLECT
2220.89/2226.78 c rational objective 1.13243e-13
2285.79/2291.87 c #Conflicts: 1000000 | #Constraints: 57957
2285.79/2291.87 c #Conflicts: 1001000 | #Constraints: 58957
2285.79/2291.87 c #Conflicts: 1002000 | #Constraints: 59957
2285.79/2291.87 c #Conflicts: 1003000 | #Constraints: 60957
2285.79/2291.87 c #Conflicts: 1004000 | #Constraints: 61957
2285.79/2291.87 c #Conflicts: 1005000 | #Constraints: 62957
2285.79/2291.87 c #Conflicts: 1006000 | #Constraints: 63957
2285.79/2291.87 c #Conflicts: 1007000 | #Constraints: 64957
2285.79/2291.87 c #Conflicts: 1008000 | #Constraints: 65957
2285.79/2291.87 c #Conflicts: 1009000 | #Constraints: 66957
2285.79/2291.87 c #Conflicts: 1010000 | #Constraints: 67957
2285.79/2291.87 c #Conflicts: 1011000 | #Constraints: 68957
2285.79/2291.87 c #Conflicts: 1012000 | #Constraints: 69957
2285.79/2291.87 c #Conflicts: 1013000 | #Constraints: 70957
2285.79/2291.87 c #Conflicts: 1014000 | #Constraints: 71957
2285.79/2291.87 c #Conflicts: 1015000 | #Constraints: 72957
2285.79/2291.87 c #Conflicts: 1016000 | #Constraints: 73957
2285.79/2291.87 c #Conflicts: 1017000 | #Constraints: 74957
2285.79/2291.87 c #Conflicts: 1018000 | #Constraints: 75957
2285.79/2291.87 c #Conflicts: 1019000 | #Constraints: 76957
2285.79/2291.87 c #Conflicts: 1020000 | #Constraints: 77957
2285.79/2291.87 c #Conflicts: 1021000 | #Constraints: 78957
2285.79/2291.87 c #Conflicts: 1022000 | #Constraints: 79957
2285.79/2291.87 c #Conflicts: 1023000 | #Constraints: 80957
2285.79/2291.87 c #Conflicts: 1024000 | #Constraints: 81957
2285.79/2291.87 c INPROCESSING
2285.79/2291.87 c GARBAGE COLLECT
2285.79/2291.87 c rational objective -1.13243e-13
2379.63/2385.98 c #Conflicts: 1025000 | #Constraints: 44646
2379.63/2385.98 c #Conflicts: 1026000 | #Constraints: 45646
2379.63/2385.98 c #Conflicts: 1027000 | #Constraints: 46646
2379.63/2385.98 c #Conflicts: 1028000 | #Constraints: 47646
2379.63/2385.98 c #Conflicts: 1029000 | #Constraints: 48646
2379.63/2385.98 c #Conflicts: 1030000 | #Constraints: 49646
2379.63/2385.98 c #Conflicts: 1031000 | #Constraints: 50646
2379.63/2385.98 c #Conflicts: 1032000 | #Constraints: 51646
2379.63/2385.98 c #Conflicts: 1033000 | #Constraints: 52646
2379.63/2385.98 c #Conflicts: 1034000 | #Constraints: 53646
2379.63/2385.98 c #Conflicts: 1035000 | #Constraints: 54646
2379.63/2385.98 c #Conflicts: 1036000 | #Constraints: 55646
2379.63/2385.98 c #Conflicts: 1037000 | #Constraints: 56646
2379.63/2385.98 c #Conflicts: 1038000 | #Constraints: 57646
2379.63/2385.98 c #Conflicts: 1039000 | #Constraints: 58646
2379.63/2385.98 c #Conflicts: 1040000 | #Constraints: 59646
2379.63/2385.98 c #Conflicts: 1041000 | #Constraints: 60646
2379.63/2385.98 c #Conflicts: 1042000 | #Constraints: 61646
2379.63/2385.98 c #Conflicts: 1043000 | #Constraints: 62646
2379.63/2385.98 c #Conflicts: 1044000 | #Constraints: 63646
2379.63/2385.98 c #Conflicts: 1045000 | #Constraints: 64646
2379.63/2385.98 c #Conflicts: 1046000 | #Constraints: 65646
2379.63/2385.98 c #Conflicts: 1047000 | #Constraints: 66646
2379.63/2385.98 c #Conflicts: 1048000 | #Constraints: 67646
2379.63/2385.98 c #Conflicts: 1049000 | #Constraints: 68646
2379.63/2385.98 c INPROCESSING
2379.63/2385.98 c GARBAGE COLLECT
2379.63/2385.98 c rational objective 1
3600.06/3609.90 c #Conflicts: 1050000 | #Constraints: 41329
3600.06/3609.90 c #Conflicts: 1051000 | #Constraints: 42329
3600.06/3609.90 c #Conflicts: 1052000 | #Constraints: 43329
3600.06/3609.90 c #Conflicts: 1053000 | #Constraints: 44329
3600.06/3609.90 c #Conflicts: 1054000 | #Constraints: 45329
3600.06/3609.90 c #Conflicts: 1055000 | #Constraints: 46329
3600.06/3609.90 c #Conflicts: 1056000 | #Constraints: 47329
3600.06/3609.90 c #Conflicts: 1057000 | #Constraints: 48329
3600.06/3609.90 c #Conflicts: 1058000 | #Constraints: 49329
3600.06/3609.90 c #Conflicts: 1059000 | #Constraints: 50329
3600.06/3609.90 c #Conflicts: 1060000 | #Constraints: 51329
3600.06/3609.90 c #Conflicts: 1061000 | #Constraints: 52329
3600.06/3609.90 c #Conflicts: 1062000 | #Constraints: 53329
3600.06/3609.90 c #Conflicts: 1063000 | #Constraints: 54329
3600.06/3609.90 c #Conflicts: 1064000 | #Constraints: 55329
3600.06/3609.90 c #Conflicts: 1065000 | #Constraints: 56329
3600.06/3609.90 c #Conflicts: 1066000 | #Constraints: 57329
3600.06/3609.90 c #Conflicts: 1067000 | #Constraints: 58329
3600.06/3609.90 c #Conflicts: 1068000 | #Constraints: 59329
3600.06/3609.90 c #Conflicts: 1069000 | #Constraints: 60329
3600.06/3609.90 c #Conflicts: 1070000 | #Constraints: 61329
3600.06/3609.90 c #Conflicts: 1071000 | #Constraints: 62329
3600.06/3609.90 c #Conflicts: 1072000 | #Constraints: 63329
3600.06/3609.90 c #Conflicts: 1073000 | #Constraints: 64329
3600.06/3609.90 c #Conflicts: 1074000 | #Constraints: 65329
3600.06/3609.90 c #Conflicts: 1075000 | #Constraints: 66329
3600.06/3609.90 c #Conflicts: 1076000 | #Constraints: 67329
3600.06/3609.90 c #Conflicts: 1077000 | #Constraints: 68330
3600.06/3609.90 c #Conflicts: 1078000 | #Constraints: 69330
3600.06/3609.90 c #Conflicts: 1079000 | #Constraints: 70330
3600.06/3609.90 c #Conflicts: 1080000 | #Constraints: 71330
3600.06/3609.90 c #Conflicts: 1081000 | #Constraints: 72330
3600.06/3609.90 c #Conflicts: 1082000 | #Constraints: 73330
3600.06/3609.90 c #Conflicts: 1083000 | #Constraints: 74330
3600.06/3609.90 c #Conflicts: 1084000 | #Constraints: 75330
3600.06/3609.90 c #Conflicts: 1085000 | #Constraints: 76330
3600.06/3609.90 c #Conflicts: 1086000 | #Constraints: 77330
3600.06/3609.90 c #Conflicts: 1087000 | #Constraints: 78330
3600.06/3609.90 c #Conflicts: 1088000 | #Constraints: 79330
3600.06/3609.90 c #Conflicts: 1089000 | #Constraints: 80330
3600.06/3609.90 c #Conflicts: 1090000 | #Constraints: 81330
3600.06/3609.90 c #Conflicts: 1091000 | #Constraints: 82330
3600.06/3609.90 c #Conflicts: 1092000 | #Constraints: 83330
3600.06/3609.90 c #Conflicts: 1093000 | #Constraints: 84330
3600.06/3609.90 c #Conflicts: 1094000 | #Constraints: 85330
3600.06/3609.90 c #Conflicts: 1095000 | #Constraints: 86330
3600.06/3609.90 c #Conflicts: 1096000 | #Constraints: 87330
3600.06/3609.90 c #Conflicts: 1097000 | #Constraints: 88330
3600.06/3609.90 c #Conflicts: 1098000 | #Constraints: 89330
3600.06/3609.90 c #Conflicts: 1099000 | #Constraints: 90330
3600.06/3609.90 c #Conflicts: 1100000 | #Constraints: 91330
3600.06/3609.90 c #Conflicts: 1101000 | #Constraints: 92330
3600.06/3609.90 c #Conflicts: 1102000 | #Constraints: 93330
3600.06/3609.90 c #Conflicts: 1103000 | #Constraints: 94330
3600.06/3609.90 c #Conflicts: 1104000 | #Constraints: 95330
3600.06/3609.90 c #Conflicts: 1105000 | #Constraints: 96330
3600.06/3609.90 c #Conflicts: 1106000 | #Constraints: 97330
3600.06/3609.90 c #Conflicts: 1107000 | #Constraints: 98330
3600.06/3609.90 c #Conflicts: 1108000 | #Constraints: 99330
3600.06/3609.90 c #Conflicts: 1109000 | #Constraints: 100330
3600.06/3609.90 c #Conflicts: 1110000 | #Constraints: 101330
3600.06/3609.90 c #Conflicts: 1111000 | #Constraints: 102330
3600.06/3609.90 c #Conflicts: 1112000 | #Constraints: 103330
3600.06/3609.90 c #Conflicts: 1113000 | #Constraints: 104330
3600.06/3609.90 c #Conflicts: 1114000 | #Constraints: 105330
3600.06/3609.90 c #Conflicts: 1115000 | #Constraints: 106330
3600.06/3609.90 c #Conflicts: 1116000 | #Constraints: 107330
3600.06/3609.90 c #Conflicts: 1117000 | #Constraints: 108330
3600.06/3609.90 c #Conflicts: 1118000 | #Constraints: 109330
3600.06/3609.90 c cpu time 3586.69 s
3600.06/3609.90 c deterministic time 193507483550 1.94e+11
3600.06/3609.90 c optimization time 1218.76 s
3600.06/3609.90 c total solve time 2367.91 s
3600.06/3609.90 c core-guided solve time 0 s
3600.06/3609.90 c propagation time 2387.49 s
3600.06/3609.90 c conflict analysis time 1145.76 s
3600.06/3609.90 c propagations 371568481
3600.06/3609.90 c resolve steps 128407926
3600.06/3609.90 c decisions 1758784
3600.06/3609.90 c conflicts 1118033
3600.06/3609.90 c restarts 2046
3600.06/3609.90 c inprocessing phases 53
3600.06/3609.90 c garbage collections 53 ,( 100.00 )
3600.06/3609.90 c input clauses 2340 ,( 47.36 )
3600.06/3609.90 c input cardinalities 0 ,( 0.00 )
3600.06/3609.90 c input general constraints 2601 ,( 52.64 )
3600.06/3609.90 c input average constraint length 3.72
3600.06/3609.90 c input average constraint degree 911475334422.30
3600.06/3609.90 c learned clauses 752739 ,( 67.33 )
3600.06/3609.90 c learned cardinalities 136 ,( 0.01 )
3600.06/3609.90 c learned general constraints 365177 ,( 32.66 )
3600.06/3609.90 c learned average constraint length 272.06
3600.06/3609.90 c learned average constraint degree 130320889.09
3600.06/3609.90 c watched CF 32, 64, 128, Arb: 54923 , 0 , 0 , 0
3600.06/3609.90 c counting CF 32, 64, 128, Arb: 312854 , 1 , 0 , 0
3600.06/3609.90 c watched constraints 54923 ,( 14.93 )
3600.06/3609.90 c counting constraints 312855 ,( 85.07 )
3600.06/3609.90 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 506821163 , 2718450 , 55657746967 ,( 735555341 , 54922191626 )
3600.06/3609.90 c gcd simplifications 27408
3600.06/3609.90 c detected cardinalities 47
3600.06/3609.90 c weakened non-implied lits 45052648
3600.06/3609.90 c weakened non-implying lits 277704
3600.06/3609.90 c original variables 3484
3600.06/3609.90 c clausal propagations 96485874
3600.06/3609.90 c cardinality propagations 121111
3600.06/3609.90 c watched propagations 846565
3600.06/3609.90 c counting propagations 272981558
3600.06/3609.90 c watch lookups 88395925177
3600.06/3609.90 c watch backjump lookups 0
3600.06/3609.90 c watch checks 18125450030
3600.06/3609.90 c propagation checks 84999346241
3600.06/3609.90 c constraint additions 1238777543
3600.06/3609.90 c trail pops 374442178
3600.06/3609.90 c formula constraints 4941
3600.06/3609.90 c learned constraints 1118012
3600.06/3609.90 c bound constraints 0
3600.06/3609.90 c core-guided constraints 0
3600.06/3609.90 c encountered formula constraints 95112056
3600.06/3609.90 c encountered learned constraints 34203529
3600.06/3609.90 c encountered bound constraints 0
3600.06/3609.90 c encountered core-guided constraints 0
3600.06/3609.90 c LP total time 15.0152 s
3600.06/3609.90 c LP solve time 12.92 s
3600.06/3609.90 c LP constraints added 4942
3600.06/3609.90 c LP constraints removed 0
3600.06/3609.90 c LP pivots internal 112051
3600.06/3609.90 c LP pivots root 103064
3600.06/3609.90 c LP calls 360
3600.06/3609.90 c LP optimalities 336
3600.06/3609.90 c LP no pivot count 27
3600.06/3609.90 c LP infeasibilities 20
3600.06/3609.90 c LP valid Farkas constraints 20
3600.06/3609.90 c LP learned Farkas constraints 20
3600.06/3609.90 c LP basis resets 0
3600.06/3609.90 c LP cycling count 0
3600.06/3609.90 c LP singular count 0
3600.06/3609.90 c LP no primal count 0
3600.06/3609.90 c LP no farkas count 0
3600.06/3609.90 c LP other issue count 0
3600.06/3609.90 c LP Gomory cuts 0
3600.06/3609.90 c LP learned cuts 1
3600.06/3609.90 c LP deleted cuts 0
3600.06/3609.90 c LP encountered Gomory constraints 0
3600.06/3609.90 c LP encountered Farkas constraints 202290
3600.06/3609.90 c LP encountered learned Farkas constraints 8064
3600.06/3609.90 c CG auxiliary variables introduced 0
3600.06/3609.90 c CG solutions found 0
3600.06/3609.90 c CG cores constructed 0
3600.06/3609.90 c CG core cardinality constraints returned 0
3600.06/3609.90 c CG unit cores 0
3600.06/3609.90 c CG single cores 0
3600.06/3609.90 c CG blocks removed during cardinality reduction 0
3600.06/3609.90 c CG first core best 0
3600.06/3609.90 c CG decision core best 0
3600.06/3609.90 c CG core reduction tie 0
3600.06/3609.90 c CG core degree average 0.00
3600.06/3609.90 c CG core slack average 0.00
3600.06/3609.90 c CG core upper bound improvements 0
3600.06/3609.90 c STR number of successful calls 0
3600.06/3609.90 c STR number of unsuccessful calls 0
3600.06/3609.90 c STR number of inconclusive calls 0
3600.06/3609.90 c STR number of successful attempts 0
3600.06/3609.90 c STR number of unsuccessful attempts 0
3600.06/3609.90 c STR number of inconclusive attempts 0
3600.06/3609.90 c STR average degree increase per successful call inf
3600.06/3609.90 c STR average degree increase per successful attempt inf
3600.06/3609.90 c STR total number of conflicts for successful attempts 0
3600.06/3609.90 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.90 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.90 c STR average number of conflicts per successful attempt inf
3600.06/3609.90 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.90 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.90 c AVG.sumWPerc 77.21
3600.06/3609.90 c bigint constraints 1
3600.06/3609.90 s UNKNOWN
3600.06/3609.90 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: 63708 MiB (53752 MiB free)
memory of node 1: 64465 MiB (59442 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541688-1753202597/watcher-4541688-1753202597 -o /tmp/evaluation-result-4541688-1753202597/solver-4541688-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753198973-165675 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4541688-1753202597.opb /tmp/proof-4541688-1753202597
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=166063, runsolver pid=166060
[startup+0.100061 s]*
/proc/loadavg: 4.16 4.14 4.09 4/256 166071
/proc/meminfo: memFree=117777740/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=65880 memory=21860 CPUtime=0.06 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 3413 0 0 0 5 1 0 0 20 0 1 0 235938215 67461120 5465 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 16470 5465 2336 1147 0 3897 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 70072 KiB
Current children cumulated memory: 24804 KiB
[startup+0.205508 s]*
/proc/loadavg: 4.16 4.14 4.09 4/261 166082
/proc/meminfo: memFree=119753876/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=67524 memory=23396 CPUtime=0.17 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 3744 0 0 0 15 2 0 0 20 0 1 0 235938215 69144576 5849 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 16881 5849 2400 1147 0 4308 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 71716 KiB
Current children cumulated memory: 26340 KiB
[startup+0.305482 s]*
/proc/loadavg: 4.16 4.14 4.09 4/262 166087
/proc/meminfo: memFree=121603776/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=67524 memory=23780 CPUtime=0.26 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 3817 0 0 0 24 2 0 0 20 0 1 0 235938215 69144576 5945 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 16881 5945 2400 1147 0 4308 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 71716 KiB
Current children cumulated memory: 26724 KiB
[startup+0.700148 s]
/proc/loadavg: 4.16 4.14 4.09 4/267 166103
/proc/meminfo: memFree=124431000/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=68412 memory=24548 CPUtime=0.65 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 4029 0 0 0 61 4 0 0 20 0 1 0 235938215 70053888 6137 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 17103 6137 2400 1147 0 4530 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 72604 KiB
Current children cumulated memory: 27492 KiB
[startup+1.50013 s]
/proc/loadavg: 4.16 4.14 4.09 5/273 166119
/proc/meminfo: memFree=124414880/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=69516 memory=25444 CPUtime=1.45 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 4231 0 0 0 140 5 0 0 20 0 1 0 235938215 71184384 6361 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 17379 6361 2400 1147 0 4806 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 73708 KiB
Current children cumulated memory: 28388 KiB
[startup+3.10536 s]
/proc/loadavg: 4.16 4.14 4.09 5/273 166119
/proc/meminfo: memFree=124355236/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=69980 memory=26084 CPUtime=3.05 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 4395 0 0 0 298 7 0 0 20 0 1 0 235938215 71659520 6521 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 17495 6521 2400 1147 0 4922 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 74172 KiB
Current children cumulated memory: 29028 KiB
[startup+6.30016 s]
/proc/loadavg: 4.23 4.15 4.10 5/273 166119
/proc/meminfo: memFree=124264156/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=73988 memory=31916 CPUtime=6.24 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 5345 0 0 0 613 11 0 0 20 0 1 0 235938215 75763712 7979 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 18497 7979 2400 1147 0 5924 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 78180 KiB
Current children cumulated memory: 34860 KiB
[startup+12.7001 s]
/proc/loadavg: 4.29 4.17 4.10 5/273 166119
/proc/meminfo: memFree=124119012/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=74152 memory=32172 CPUtime=12.62 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 5421 0 0 0 1241 21 0 0 20 0 1 0 235938215 75931648 8043 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 18538 8043 2400 1147 0 5965 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 78344 KiB
Current children cumulated memory: 35116 KiB
[startup+25.5002 s]
/proc/loadavg: 4.52 4.22 4.12 5/272 166119
/proc/meminfo: memFree=123773140/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=89412 memory=46776 CPUtime=25.39 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 8054 0 0 0 2505 34 0 0 20 0 1 0 235938215 91557888 11694 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 22353 11694 2400 1147 0 9780 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 93604 KiB
Current children cumulated memory: 49720 KiB
[startup+51.1055 s]
/proc/loadavg: 4.61 4.27 4.14 5/272 166119
/proc/meminfo: memFree=123190212/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=104608 memory=57592 CPUtime=50.94 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 10240 0 0 0 5036 58 0 0 20 0 1 0 235938215 107118592 14398 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 26152 14398 2400 1147 0 13579 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 108800 KiB
Current children cumulated memory: 60536 KiB
[startup+102.3 s]
/proc/loadavg: 4.40 4.26 4.14 5/268 166122
/proc/meminfo: memFree=122064216/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=123704 memory=75576 CPUtime=101.99 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 12553 0 0 0 10096 103 0 0 20 0 1 0 235938215 126672896 18894 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 30926 18894 2400 1147 0 18353 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 127896 KiB
Current children cumulated memory: 78520 KiB
[startup+162.3 s]
/proc/loadavg: 4.40 4.28 4.16 5/269 166125
/proc/meminfo: memFree=120802588/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=131544 memory=87244 CPUtime=161.85 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 14384 0 0 0 16030 155 0 0 20 0 1 0 235938215 134701056 21811 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 32886 21811 2400 1147 0 20313 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 135736 KiB
Current children cumulated memory: 90188 KiB
[startup+222.3 s]
/proc/loadavg: 4.25 4.25 4.16 5/269 166127
/proc/meminfo: memFree=119688472/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=141828 memory=97484 CPUtime=221.71 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 16951 0 0 0 21969 202 0 0 20 0 1 0 235938215 145231872 24371 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
################
# More data... #
################
/proc/166066/statm: 308929 276796 2400 1147 0 296356 0
Current children cumulated CPU time: 3093.95 s
Current children cumulated vsize: 1239908 KiB
Current children cumulated memory: 1110128 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/268 166275
/proc/meminfo: memFree=92170124/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1284104 memory=1149476 CPUtime=3153.76 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 175189 0 0 0 314071 1305 0 0 20 0 1 0 235938215 1314922496 287369 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 321026 287369 2400 1147 0 308453 0
Current children cumulated CPU time: 3153.76 s
Current children cumulated vsize: 1288296 KiB
Current children cumulated memory: 1152420 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/268 166277
/proc/meminfo: memFree=91987532/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1315592 memory=1181652 CPUtime=3213.57 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 179676 0 0 0 320046 1311 0 0 20 0 1 0 235938215 1347166208 295413 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 328898 295413 2400 1147 0 316325 0
Current children cumulated CPU time: 3213.57 s
Current children cumulated vsize: 1319784 KiB
Current children cumulated memory: 1184596 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.15 5/268 166279
/proc/meminfo: memFree=91833348/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1333512 memory=1200456 CPUtime=3273.4 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 182338 0 0 0 326026 1314 0 0 20 0 1 0 235938215 1365516288 300114 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 333378 300114 2400 1147 0 320805 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 1337704 KiB
Current children cumulated memory: 1203400 KiB
[startup+3342.3 s]
/proc/loadavg: 4.36 4.19 4.18 5/269 166284
/proc/meminfo: memFree=91700272/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1362184 memory=1229604 CPUtime=3333.22 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 186557 0 0 0 332005 1317 0 0 20 0 1 0 235938215 1394876416 307401 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 340546 307401 2400 1147 0 327973 0
Current children cumulated CPU time: 3333.22 s
Current children cumulated vsize: 1366376 KiB
Current children cumulated memory: 1232548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.18 4.17 4.17 5/269 166286
/proc/meminfo: memFree=91411488/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1397004 memory=1262848 CPUtime=3393.05 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 191798 0 0 0 337982 1323 0 0 20 0 1 0 235938215 1430532096 315712 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 349251 315712 2400 1147 0 336678 0
Current children cumulated CPU time: 3393.05 s
Current children cumulated vsize: 1401196 KiB
Current children cumulated memory: 1265792 KiB
[startup+3462.3 s]
/proc/loadavg: 4.30 4.20 4.18 5/269 166288
/proc/meminfo: memFree=91183472/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1429260 memory=1295036 CPUtime=3452.87 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 196955 0 0 0 343960 1327 0 0 20 0 1 0 235938215 1463562240 323759 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 357315 323759 2400 1147 0 344742 0
Current children cumulated CPU time: 3452.87 s
Current children cumulated vsize: 1433452 KiB
Current children cumulated memory: 1297980 KiB
[startup+3522.3 s]
/proc/loadavg: 4.17 4.18 4.18 5/269 166290
/proc/meminfo: memFree=90926684/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1676440 memory=1325632 CPUtime=3512.69 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 202553 0 0 0 349938 1331 0 0 20 0 1 0 235938215 1716674560 331408 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 419110 331408 2400 1147 0 406537 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 1680632 KiB
Current children cumulated memory: 1328576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.16 4.17 5/269 166292
/proc/meminfo: memFree=90718080/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1703064 memory=1350844 CPUtime=3572.52 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 206817 0 0 0 355916 1336 0 0 20 0 1 0 235938215 1743937536 337711 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 425766 337711 2400 1147 0 413193 0
Current children cumulated CPU time: 3572.52 s
Current children cumulated vsize: 1707256 KiB
Current children cumulated memory: 1353788 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.13 4.16 4.17 5/268 166300
/proc/meminfo: memFree=90559164/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1710232 memory=1360124 CPUtime=3600.06 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 208118 0 0 0 358669 1337 0 0 20 0 1 0 235938215 1751277568 340031 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 427558 340031 2400 1147 0 414985 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1714424 KiB
Current children cumulated memory: 1363068 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.9 s]
# the end of solver process 166063 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.005843 s, system=0.007133 s
Sleeping 2 seconds
[startup+3609.92 s]
# the end of solver process 166066 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3586.71 s, system=13.3937 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+3609.9 s]
/proc/loadavg: 4.13 4.16 4.17 5/268 166300
/proc/meminfo: memFree=90559164/131249988 swapFree=33010416/33010684
[pid=166063] ppid=166060 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/166063/stat : 166063 (run-dec-break-l) S 166060 166063 165659 0 -1 4194304 238 2096 0 0 0 0 0 0 20 0 1 0 235938213 4292608 736 18446744073709551615 94227420762112 94227421656645 140724932380176 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94227421895696 94227421943440 94227449761792 140724932389177 140724932389340 140724932389340 140724932394944 0
/proc/166063/statm: 1048 736 672 219 0 110 0
[pid=166066] ppid=166063 vsize=1710232 memory=1360124 CPUtime=3600.06 cores=4,6
/proc/166066/stat : 166066 (roundingsat) R 166063 166063 165659 0 -1 4194304 208118 0 0 0 358669 1337 0 0 20 0 1 0 235938215 1751277568 340031 18446744073709551615 4227072 8923433 140733688169056 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43065344 140733688170776 140733688171046 140733688171046 140733688176618 0
/proc/166066/statm: 427558 340031 2400 1147 0 414985 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1714424 KiB
Current children cumulated memory: 1363068 KiB
Child status: 2
Real time (s): 3609.92
CPU time (s): 3600.1
CPU user time (s): 3586.71
CPU system time (s): 13.3937
CPU usage (%): 99.728
Max. virtual memory (cumulated for all children) (KiB): 1714424
Max. memory (cumulated for all children) (KiB): 1363068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.71
system time used= 13.3937
maximum resident set size= 1360380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13036600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 413
involuntary context switches= 4859
# summary of solver processes directly reported to runsolver:
# pid: 166063,166066
# total CPU time (s): 3600.1
# total CPU user time (s): 3586.71
# total CPU system time (s): 13.3937
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.34097 second user time and 15.9986 second system time
The end
Begin job on nodeC031 at 2025-07-22 18:43:17
IDJOB=4541688
IDBENCH=163331
IDSOLVER=3358
FILE ID=nodeC031/4541688-1753202597
RUNJOBID= nodeC031-1753198973-165675
SLURM_JOB_ID= 9687764
Free space on /tmp= 412464 MiB
SOLVER NAME= roundingsat+pbsuma-log 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-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541688-1753202597/watcher-4541688-1753202597 -o /tmp/evaluation-result-4541688-1753202597/solver-4541688-1753202597 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753198973-165675 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4541688-1753202597.opb /tmp/proof-4541688-1753202597
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dba81c8b2aded5f1a3d2b088b53137dc
RANDOM SEED=1063239506
nodeC031 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 : 3600.160
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.78
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 : 1227.091
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.78
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.824
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.78
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 : 1199.867
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.78
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 : 3601.530
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.78
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 : 1185.133
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.78
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.912
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.78
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.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 115008344 kB
MemAvailable: 129561404 kB
Buffers: 2128 kB
Cached: 15238272 kB
SwapCached: 8 kB
Active: 1217048 kB
Inactive: 14104204 kB
Active(anon): 96636 kB
Inactive(anon): 10464 kB
Active(file): 1120412 kB
Inactive(file): 14093740 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30916 kB
Writeback: 0 kB
AnonPages: 83872 kB
Mapped: 108928 kB
Shmem: 26248 kB
KReclaimable: 356292 kB
Slab: 454480 kB
SReclaimable: 356292 kB
SUnreclaim: 98188 kB
KernelStack: 4192 kB
PageTables: 2800 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 359188 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 26624 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: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 396056 MiB
End job on nodeC031 at 2025-07-22 19:43:27