0.00/0.02 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02 c │ pbsuma -- a PB interface for satsuma │
0.00/0.02 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.02 c │ (c) 2025 Markus Anders │
0.00/0.02 c └────────────────────────────────────────────────────────────────┘
0.00/0.02 c parse 'HOME/instance-4507340-1751182666.opb'
0.00/0.04 c read 0.36MB (15.95ms)
0.00/0.04 c [cnf: #variables 5712 #clauses 5882 #duplicates 0 #arr 36643]
0.00/0.04 c
0.00/0.04 c make graph and approximate orbits
0.00/0.06 c [group: #orbits ~= 1008] (18.79ms)
0.00/0.06 c
0.00/0.06 c detect special group actions
0.00/0.06 c probe for Johnson action (limit=64)
0.00/0.06 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.06 c (3.54ms)
0.00/0.06 c
0.00/0.06 c detect symmetries on remainder
0.00/0.06 c [graph: #vertices 28730 #edges 107558]
0.00/0.06 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.08 c [group: #symmetries 3.84*10^2 #generators 7] (16.81ms)
0.00/0.08 c
0.00/0.08 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.08 c (0.04ms)
0.00/0.08 c
0.00/0.08 c finalize break order and special generators
0.00/0.08 c
0.00/0.08 c add generic predicates (break_depth=10)
0.00/0.08 c added predicates for 7 generators (0.20ms)
0.00/0.08 c
0.00/0.08 c generation finished
0.00/0.08 c [sbp: #constraints 196 #add_vars 63]
0.00/0.08 c
0.00/0.08 c write result to 'HOME/instance-4507340-1751182666.opb.pre'
0.00/0.08 c wrote 0.38MB (2.82ms)
0.00/0.08 c ------------------------------------------------------------------
0.00/0.08 c 18.79ms 31.32% approx_orbits
0.00/0.08 c 16.81ms 28.03% detect_generic
0.00/0.08 c 15.95ms 26.59% parse
0.00/0.08 c 3.54ms 5.89% detect_special
0.00/0.08 c 2.82ms 4.70% output
0.00/0.08 c 1.25ms 2.08% other
0.00/0.08 c 0.59ms 0.98% finalize_order
0.00/0.08 c 0.20ms 0.33% break_generic
0.00/0.08 c 0.04ms 0.07% optimize_gens
0.00/0.08 c ───────────────────────────────────────────────
0.00/0.08 c 59.98ms 100% total
0.00/0.08 c ------------------------------------------------------------------
0.00/0.10 c RoundingSat 2
0.00/0.10 c branch pb25
0.00/0.10 c commit 63f22ad
0.07/0.20 c #variables 5775 #constraints 6064
41.42/41.61 c #Conflicts: 1000 | #Constraints: 7063
41.42/41.61 c #Conflicts: 2000 | #Constraints: 8063
41.42/41.61 c INPROCESSING
41.42/41.61 c GARBAGE COLLECT
41.42/41.61 c #Conflicts: 3000 | #Constraints: 7754
41.42/41.61 c #Conflicts: 4000 | #Constraints: 8754
41.42/41.61 c INPROCESSING
41.42/41.61 c GARBAGE COLLECT
41.42/41.61 c #Conflicts: 5000 | #Constraints: 8198
41.42/41.61 c #Conflicts: 6000 | #Constraints: 9198
41.42/41.61 c INPROCESSING
41.42/41.61 c GARBAGE COLLECT
41.42/41.61 c #Conflicts: 7000 | #Constraints: 8247
41.42/41.61 c #Conflicts: 8000 | #Constraints: 9247
41.42/41.61 c #Conflicts: 9000 | #Constraints: 10247
41.42/41.61 c INPROCESSING
41.42/41.61 c GARBAGE COLLECT
41.42/41.61 c #Conflicts: 10000 | #Constraints: 8972
41.42/41.61 c #Conflicts: 11000 | #Constraints: 9972
41.42/41.61 c #Conflicts: 12000 | #Constraints: 10972
41.42/41.61 c INPROCESSING
41.42/41.61 c GARBAGE COLLECT
41.42/41.61 c #Conflicts: 13000 | #Constraints: 9465
41.42/41.61 c #Conflicts: 14000 | #Constraints: 10465
41.42/41.61 c #Conflicts: 15000 | #Constraints: 11465
41.42/41.61 c INPROCESSING
41.42/41.61 c GARBAGE COLLECT
41.42/41.61 c #Conflicts: 16000 | #Constraints: 9716
41.42/41.62 c #Conflicts: 17000 | #Constraints: 10716
41.42/41.62 c #Conflicts: 18000 | #Constraints: 11716
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 19000 | #Constraints: 9762
41.42/41.62 c #Conflicts: 20000 | #Constraints: 10762
41.42/41.62 c #Conflicts: 21000 | #Constraints: 11763
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 22000 | #Constraints: 9595
41.42/41.62 c #Conflicts: 23000 | #Constraints: 10595
41.42/41.62 c #Conflicts: 24000 | #Constraints: 11595
41.42/41.62 c #Conflicts: 25000 | #Constraints: 12595
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 26000 | #Constraints: 10223
41.42/41.62 c #Conflicts: 27000 | #Constraints: 11223
41.42/41.62 c #Conflicts: 28000 | #Constraints: 12223
41.42/41.62 c #Conflicts: 29000 | #Constraints: 13223
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 30000 | #Constraints: 10602
41.42/41.62 c #Conflicts: 31000 | #Constraints: 11602
41.42/41.62 c #Conflicts: 32000 | #Constraints: 12602
41.42/41.62 c #Conflicts: 33000 | #Constraints: 13602
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 34000 | #Constraints: 10832
41.42/41.62 c #Conflicts: 35000 | #Constraints: 11832
41.42/41.62 c #Conflicts: 36000 | #Constraints: 12832
41.42/41.62 c #Conflicts: 37000 | #Constraints: 13832
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 38000 | #Constraints: 10864
41.42/41.62 c #Conflicts: 39000 | #Constraints: 11864
41.42/41.62 c #Conflicts: 40000 | #Constraints: 12864
41.42/41.62 c #Conflicts: 41000 | #Constraints: 13864
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 42000 | #Constraints: 10697
41.42/41.62 c #Conflicts: 43000 | #Constraints: 11697
41.42/41.62 c #Conflicts: 44000 | #Constraints: 12697
41.42/41.62 c #Conflicts: 45000 | #Constraints: 13697
41.42/41.62 c #Conflicts: 46000 | #Constraints: 14697
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 47000 | #Constraints: 11302
41.42/41.62 c #Conflicts: 48000 | #Constraints: 12302
41.42/41.62 c #Conflicts: 49000 | #Constraints: 13302
41.42/41.62 c #Conflicts: 50000 | #Constraints: 14302
41.42/41.62 c #Conflicts: 51000 | #Constraints: 15302
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 52000 | #Constraints: 11716
41.42/41.62 c #Conflicts: 53000 | #Constraints: 12716
41.42/41.62 c #Conflicts: 54000 | #Constraints: 13716
41.42/41.62 c #Conflicts: 55000 | #Constraints: 14716
41.42/41.62 c #Conflicts: 56000 | #Constraints: 15716
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 57000 | #Constraints: 11944
41.42/41.62 c #Conflicts: 58000 | #Constraints: 12945
41.42/41.62 c #Conflicts: 59000 | #Constraints: 13945
41.42/41.62 c #Conflicts: 60000 | #Constraints: 14945
41.42/41.62 c #Conflicts: 61000 | #Constraints: 15945
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 62000 | #Constraints: 11942
41.42/41.62 c #Conflicts: 63000 | #Constraints: 12942
41.42/41.62 c #Conflicts: 64000 | #Constraints: 13942
41.42/41.62 c #Conflicts: 65000 | #Constraints: 14942
41.42/41.62 c #Conflicts: 66000 | #Constraints: 15942
41.42/41.62 c INPROCESSING
41.42/41.62 c GARBAGE COLLECT
41.42/41.62 c #Conflicts: 67000 | #Constraints: 11700
41.42/41.62 c #Conflicts: 68000 | #Constraints: 12700
104.21/104.68 c #Conflicts: 69000 | #Constraints: 13700
104.21/104.68 c #Conflicts: 70000 | #Constraints: 14700
104.21/104.68 c #Conflicts: 71000 | #Constraints: 15700
104.21/104.68 c #Conflicts: 72000 | #Constraints: 16700
104.21/104.68 c #Conflicts: 73000 | #Constraints: 17700
104.21/104.68 c #Conflicts: 74000 | #Constraints: 18700
104.21/104.68 c #Conflicts: 75000 | #Constraints: 19700
104.21/104.68 c #Conflicts: 76000 | #Constraints: 20700
104.21/104.68 c #Conflicts: 77000 | #Constraints: 21700
104.21/104.68 c #Conflicts: 78000 | #Constraints: 22700
104.21/104.68 c #Conflicts: 79000 | #Constraints: 23700
104.21/104.68 c #Conflicts: 80000 | #Constraints: 24700
104.21/104.68 c #Conflicts: 81000 | #Constraints: 25700
104.21/104.68 c #Conflicts: 82000 | #Constraints: 26700
104.21/104.68 c #Conflicts: 83000 | #Constraints: 27700
104.21/104.68 c #Conflicts: 84000 | #Constraints: 28700
104.21/104.68 c #Conflicts: 85000 | #Constraints: 29700
104.21/104.68 c #Conflicts: 86000 | #Constraints: 30700
104.21/104.68 c #Conflicts: 87000 | #Constraints: 31700
104.21/104.68 c #Conflicts: 88000 | #Constraints: 32700
104.21/104.68 c #Conflicts: 89000 | #Constraints: 33700
104.21/104.68 c INPROCESSING
104.21/104.68 c GARBAGE COLLECT
104.21/104.68 c #Conflicts: 90000 | #Constraints: 20842
104.21/104.68 c #Conflicts: 91000 | #Constraints: 21842
104.21/104.68 c #Conflicts: 92000 | #Constraints: 22842
104.21/104.68 c #Conflicts: 93000 | #Constraints: 23842
104.21/104.68 c #Conflicts: 94000 | #Constraints: 24842
104.21/104.68 c #Conflicts: 95000 | #Constraints: 25842
104.21/104.68 c #Conflicts: 96000 | #Constraints: 26842
104.21/104.68 c INPROCESSING
104.21/104.68 c GARBAGE COLLECT
104.21/104.68 c #Conflicts: 97000 | #Constraints: 17581
104.21/104.68 c #Conflicts: 98000 | #Constraints: 18581
104.21/104.68 c #Conflicts: 99000 | #Constraints: 19581
104.21/104.68 c #Conflicts: 100000 | #Constraints: 20581
104.21/104.68 c #Conflicts: 101000 | #Constraints: 21581
104.21/104.68 c #Conflicts: 102000 | #Constraints: 22581
104.21/104.68 c INPROCESSING
104.21/104.68 c GARBAGE COLLECT
104.21/104.68 c #Conflicts: 103000 | #Constraints: 14958
104.21/104.68 c #Conflicts: 104000 | #Constraints: 15958
104.21/104.68 c #Conflicts: 105000 | #Constraints: 16958
104.21/104.68 c #Conflicts: 106000 | #Constraints: 17958
104.21/104.68 c #Conflicts: 107000 | #Constraints: 18958
104.21/104.68 c #Conflicts: 108000 | #Constraints: 19958
104.21/104.68 c #Conflicts: 109000 | #Constraints: 20958
104.21/104.68 c #Conflicts: 110000 | #Constraints: 21958
104.21/104.68 c INPROCESSING
104.21/104.68 c GARBAGE COLLECT
104.21/104.68 c #Conflicts: 111000 | #Constraints: 15108
104.21/104.68 c #Conflicts: 112000 | #Constraints: 16108
104.21/104.68 c #Conflicts: 113000 | #Constraints: 17108
104.21/104.68 c #Conflicts: 114000 | #Constraints: 18108
104.21/104.68 c #Conflicts: 115000 | #Constraints: 19108
104.21/104.68 c #Conflicts: 116000 | #Constraints: 20108
104.21/104.68 c #Conflicts: 117000 | #Constraints: 21108
104.21/104.68 c INPROCESSING
104.21/104.68 c GARBAGE COLLECT
104.21/104.68 c #Conflicts: 118000 | #Constraints: 14499
104.21/104.68 c #Conflicts: 119000 | #Constraints: 15499
104.21/104.68 c #Conflicts: 120000 | #Constraints: 16499
104.21/104.68 c #Conflicts: 121000 | #Constraints: 17499
104.21/104.68 c #Conflicts: 122000 | #Constraints: 18499
104.21/104.68 c #Conflicts: 123000 | #Constraints: 19499
104.21/104.68 c #Conflicts: 124000 | #Constraints: 20499
104.21/104.68 c #Conflicts: 125000 | #Constraints: 21499
104.21/104.68 c #Conflicts: 126000 | #Constraints: 22499
104.21/104.68 c #Conflicts: 127000 | #Constraints: 23499
104.21/104.68 c #Conflicts: 128000 | #Constraints: 24499
104.21/104.68 c #Conflicts: 129000 | #Constraints: 25499
104.21/104.68 c #Conflicts: 130000 | #Constraints: 26499
104.21/104.68 c #Conflicts: 131000 | #Constraints: 27499
104.21/104.68 c #Conflicts: 132000 | #Constraints: 28499
104.21/104.68 c #Conflicts: 133000 | #Constraints: 29499
104.21/104.68 c #Conflicts: 134000 | #Constraints: 30499
104.21/104.68 c #Conflicts: 135000 | #Constraints: 31499
104.21/104.68 c #Conflicts: 136000 | #Constraints: 32499
104.21/104.68 c #Conflicts: 137000 | #Constraints: 33499
104.21/104.68 c #Conflicts: 138000 | #Constraints: 34499
104.21/104.68 c #Conflicts: 139000 | #Constraints: 35499
104.21/104.68 c #Conflicts: 140000 | #Constraints: 36499
104.21/104.68 c #Conflicts: 141000 | #Constraints: 37499
104.21/104.68 c #Conflicts: 142000 | #Constraints: 38499
104.21/104.68 c #Conflicts: 143000 | #Constraints: 39499
202.84/203.57 c #Conflicts: 144000 | #Constraints: 40499
202.84/203.57 c #Conflicts: 145000 | #Constraints: 41499
202.84/203.57 c #Conflicts: 146000 | #Constraints: 42499
202.84/203.57 c INPROCESSING
202.84/203.57 c GARBAGE COLLECT
202.84/203.57 c #Conflicts: 147000 | #Constraints: 25208
202.84/203.57 c #Conflicts: 148000 | #Constraints: 26208
202.84/203.57 c #Conflicts: 149000 | #Constraints: 27208
202.84/203.57 c #Conflicts: 150000 | #Constraints: 28208
202.84/203.57 c #Conflicts: 151000 | #Constraints: 29208
202.84/203.57 c #Conflicts: 152000 | #Constraints: 30208
202.84/203.57 c #Conflicts: 153000 | #Constraints: 31208
202.84/203.57 c #Conflicts: 154000 | #Constraints: 32208
202.84/203.57 c #Conflicts: 155000 | #Constraints: 33208
202.84/203.57 c INPROCESSING
202.84/203.57 c GARBAGE COLLECT
202.84/203.57 c #Conflicts: 156000 | #Constraints: 20800
202.84/203.57 c #Conflicts: 157000 | #Constraints: 21800
202.84/203.57 c #Conflicts: 158000 | #Constraints: 22800
202.84/203.57 c #Conflicts: 159000 | #Constraints: 23800
202.84/203.57 c #Conflicts: 160000 | #Constraints: 24800
202.84/203.57 c #Conflicts: 161000 | #Constraints: 25800
202.84/203.57 c #Conflicts: 162000 | #Constraints: 26800
202.84/203.57 c #Conflicts: 163000 | #Constraints: 27800
202.84/203.57 c INPROCESSING
202.84/203.57 c GARBAGE COLLECT
202.84/203.57 c #Conflicts: 164000 | #Constraints: 17703
202.84/203.57 c #Conflicts: 165000 | #Constraints: 18703
202.84/203.57 c #Conflicts: 166000 | #Constraints: 19703
202.84/203.57 c #Conflicts: 167000 | #Constraints: 20703
202.84/203.57 c #Conflicts: 168000 | #Constraints: 21703
202.84/203.57 c #Conflicts: 169000 | #Constraints: 22703
202.84/203.57 c #Conflicts: 170000 | #Constraints: 23703
202.84/203.57 c #Conflicts: 171000 | #Constraints: 24703
202.84/203.57 c #Conflicts: 172000 | #Constraints: 25703
202.84/203.57 c INPROCESSING
202.84/203.57 c GARBAGE COLLECT
202.84/203.57 c #Conflicts: 173000 | #Constraints: 16669
202.84/203.57 c #Conflicts: 174000 | #Constraints: 17669
202.84/203.57 c #Conflicts: 175000 | #Constraints: 18669
202.84/203.57 c #Conflicts: 176000 | #Constraints: 19669
202.84/203.57 c #Conflicts: 177000 | #Constraints: 20669
202.84/203.57 c #Conflicts: 178000 | #Constraints: 21669
202.84/203.57 c #Conflicts: 179000 | #Constraints: 22669
202.84/203.57 c #Conflicts: 180000 | #Constraints: 23669
202.84/203.57 c #Conflicts: 181000 | #Constraints: 24669
202.84/203.57 c #Conflicts: 182000 | #Constraints: 25669
202.84/203.57 c INPROCESSING
202.84/203.57 c GARBAGE COLLECT
202.84/203.57 c #Conflicts: 183000 | #Constraints: 17004
202.84/203.57 c #Conflicts: 184000 | #Constraints: 18004
202.84/203.57 c #Conflicts: 185000 | #Constraints: 19004
202.84/203.57 c #Conflicts: 186000 | #Constraints: 20004
202.84/203.57 c #Conflicts: 187000 | #Constraints: 21004
202.84/203.57 c #Conflicts: 188000 | #Constraints: 22004
202.84/203.57 c #Conflicts: 189000 | #Constraints: 23004
202.84/203.57 c #Conflicts: 190000 | #Constraints: 24004
202.84/203.57 c #Conflicts: 191000 | #Constraints: 25004
202.84/203.57 c #Conflicts: 192000 | #Constraints: 26004
202.84/203.57 c #Conflicts: 193000 | #Constraints: 27004
202.84/203.57 c #Conflicts: 194000 | #Constraints: 28004
202.84/203.57 c #Conflicts: 195000 | #Constraints: 29004
202.84/203.57 c #Conflicts: 196000 | #Constraints: 30004
202.84/203.57 c #Conflicts: 197000 | #Constraints: 31004
202.84/203.57 c #Conflicts: 198000 | #Constraints: 32004
202.84/203.57 c #Conflicts: 199000 | #Constraints: 33004
202.84/203.57 c #Conflicts: 200000 | #Constraints: 34004
202.84/203.57 c #Conflicts: 201000 | #Constraints: 35004
202.84/203.57 c #Conflicts: 202000 | #Constraints: 36004
202.84/203.57 c #Conflicts: 203000 | #Constraints: 37004
202.84/203.57 c #Conflicts: 204000 | #Constraints: 38004
202.84/203.57 c #Conflicts: 205000 | #Constraints: 39004
202.84/203.57 c #Conflicts: 206000 | #Constraints: 40004
202.84/203.57 c #Conflicts: 207000 | #Constraints: 41004
202.84/203.57 c #Conflicts: 208000 | #Constraints: 42004
202.84/203.57 c #Conflicts: 209000 | #Constraints: 43004
202.84/203.57 c #Conflicts: 210000 | #Constraints: 44004
202.84/203.57 c #Conflicts: 211000 | #Constraints: 45004
202.84/203.57 c #Conflicts: 212000 | #Constraints: 46004
202.84/203.57 c #Conflicts: 213000 | #Constraints: 47004
202.84/203.57 c #Conflicts: 214000 | #Constraints: 48004
202.84/203.57 c #Conflicts: 215000 | #Constraints: 49004
202.84/203.57 c #Conflicts: 216000 | #Constraints: 50004
202.84/203.57 c #Conflicts: 217000 | #Constraints: 51004
202.84/203.57 c INPROCESSING
202.84/203.57 c GARBAGE COLLECT
202.84/203.57 c #Conflicts: 218000 | #Constraints: 29491
283.53/284.41 c #Conflicts: 219000 | #Constraints: 30491
283.53/284.41 c #Conflicts: 220000 | #Constraints: 31491
283.53/284.41 c #Conflicts: 221000 | #Constraints: 32491
283.53/284.41 c #Conflicts: 222000 | #Constraints: 33491
283.53/284.41 c #Conflicts: 223000 | #Constraints: 34491
283.53/284.41 c #Conflicts: 224000 | #Constraints: 35491
283.53/284.41 c #Conflicts: 225000 | #Constraints: 36491
283.53/284.41 c #Conflicts: 226000 | #Constraints: 37491
283.53/284.41 c #Conflicts: 227000 | #Constraints: 38491
283.53/284.41 c #Conflicts: 228000 | #Constraints: 39491
283.53/284.41 c INPROCESSING
283.53/284.41 c GARBAGE COLLECT
283.53/284.41 c #Conflicts: 229000 | #Constraints: 23968
283.53/284.41 c #Conflicts: 230000 | #Constraints: 24968
283.53/284.41 c #Conflicts: 231000 | #Constraints: 25968
283.53/284.41 c #Conflicts: 232000 | #Constraints: 26968
283.53/284.41 c #Conflicts: 233000 | #Constraints: 27968
283.53/284.41 c #Conflicts: 234000 | #Constraints: 28968
283.53/284.41 c #Conflicts: 235000 | #Constraints: 29968
283.53/284.41 c #Conflicts: 236000 | #Constraints: 30968
283.53/284.41 c #Conflicts: 237000 | #Constraints: 31968
283.53/284.41 c #Conflicts: 238000 | #Constraints: 32968
283.53/284.41 c INPROCESSING
283.53/284.41 c GARBAGE COLLECT
283.53/284.41 c #Conflicts: 239000 | #Constraints: 20347
283.53/284.41 c #Conflicts: 240000 | #Constraints: 21347
283.53/284.41 c #Conflicts: 241000 | #Constraints: 22347
283.53/284.41 c #Conflicts: 242000 | #Constraints: 23347
283.53/284.41 c #Conflicts: 243000 | #Constraints: 24347
283.53/284.41 c #Conflicts: 244000 | #Constraints: 25347
283.53/284.41 c #Conflicts: 245000 | #Constraints: 26347
283.53/284.41 c #Conflicts: 246000 | #Constraints: 27347
283.53/284.41 c #Conflicts: 247000 | #Constraints: 28347
283.53/284.41 c #Conflicts: 248000 | #Constraints: 29347
283.53/284.41 c #Conflicts: 249000 | #Constraints: 30347
283.53/284.41 c INPROCESSING
283.53/284.41 c GARBAGE COLLECT
283.53/284.41 c #Conflicts: 250000 | #Constraints: 19078
283.53/284.41 c #Conflicts: 251000 | #Constraints: 20078
283.53/284.41 c #Conflicts: 252000 | #Constraints: 21078
283.53/284.41 c #Conflicts: 253000 | #Constraints: 22078
283.53/284.41 c #Conflicts: 254000 | #Constraints: 23078
283.53/284.41 c #Conflicts: 255000 | #Constraints: 24078
283.53/284.41 c #Conflicts: 256000 | #Constraints: 25078
283.53/284.41 c #Conflicts: 257000 | #Constraints: 26078
283.53/284.41 c #Conflicts: 258000 | #Constraints: 27078
283.53/284.41 c #Conflicts: 259000 | #Constraints: 28078
283.53/284.41 c #Conflicts: 260000 | #Constraints: 29078
283.53/284.41 c INPROCESSING
283.53/284.41 c GARBAGE COLLECT
283.53/284.41 c #Conflicts: 261000 | #Constraints: 18408
283.53/284.41 c #Conflicts: 262000 | #Constraints: 19408
283.53/284.41 c #Conflicts: 263000 | #Constraints: 20408
283.53/284.41 c #Conflicts: 264000 | #Constraints: 21408
283.53/284.41 c #Conflicts: 265000 | #Constraints: 22408
283.53/284.41 c #Conflicts: 266000 | #Constraints: 23408
283.53/284.41 c #Conflicts: 267000 | #Constraints: 24408
283.53/284.41 c #Conflicts: 268000 | #Constraints: 25408
283.53/284.41 c #Conflicts: 269000 | #Constraints: 26408
283.53/284.41 c #Conflicts: 270000 | #Constraints: 27408
283.53/284.41 c #Conflicts: 271000 | #Constraints: 28408
283.53/284.41 c #Conflicts: 272000 | #Constraints: 29408
283.53/284.41 c #Conflicts: 273000 | #Constraints: 30408
283.53/284.41 c #Conflicts: 274000 | #Constraints: 31408
283.53/284.41 c #Conflicts: 275000 | #Constraints: 32408
283.53/284.41 c #Conflicts: 276000 | #Constraints: 33408
283.53/284.41 c #Conflicts: 277000 | #Constraints: 34408
283.53/284.41 c #Conflicts: 278000 | #Constraints: 35408
283.53/284.41 c #Conflicts: 279000 | #Constraints: 36408
283.53/284.41 c #Conflicts: 280000 | #Constraints: 37408
283.53/284.41 c #Conflicts: 281000 | #Constraints: 38408
283.53/284.41 c #Conflicts: 282000 | #Constraints: 39408
283.53/284.41 c #Conflicts: 283000 | #Constraints: 40408
283.53/284.41 c #Conflicts: 284000 | #Constraints: 41408
283.53/284.41 c #Conflicts: 285000 | #Constraints: 42408
283.53/284.41 c #Conflicts: 286000 | #Constraints: 43408
283.53/284.41 c #Conflicts: 287000 | #Constraints: 44408
283.53/284.41 c #Conflicts: 288000 | #Constraints: 45408
283.53/284.41 c #Conflicts: 289000 | #Constraints: 46408
283.53/284.41 c #Conflicts: 290000 | #Constraints: 47408
283.53/284.41 c #Conflicts: 291000 | #Constraints: 48408
283.53/284.41 c #Conflicts: 292000 | #Constraints: 49408
283.53/284.41 c #Conflicts: 293000 | #Constraints: 50408
283.53/284.41 c #Conflicts: 294000 | #Constraints: 51408
283.53/284.41 c #Conflicts: 295000 | #Constraints: 52408
309.55/310.51 c #Conflicts: 296000 | #Constraints: 53408
309.55/310.51 c #Conflicts: 297000 | #Constraints: 54408
309.55/310.51 c #Conflicts: 298000 | #Constraints: 55408
309.55/310.51 c #Conflicts: 299000 | #Constraints: 56408
309.55/310.51 c #Conflicts: 300000 | #Constraints: 57408
309.55/310.51 c #Conflicts: 301000 | #Constraints: 58408
309.55/310.51 c #Conflicts: 302000 | #Constraints: 59408
309.55/310.51 c INPROCESSING
309.55/310.51 c GARBAGE COLLECT
309.55/310.51 c rational objective 88.4003
389.54/390.72 c #Conflicts: 303000 | #Constraints: 33682
389.54/390.72 c #Conflicts: 304000 | #Constraints: 34682
389.54/390.72 c #Conflicts: 305000 | #Constraints: 35682
389.54/390.72 c #Conflicts: 306000 | #Constraints: 36682
389.54/390.72 c #Conflicts: 307000 | #Constraints: 37682
389.54/390.72 c #Conflicts: 308000 | #Constraints: 38682
389.54/390.72 c #Conflicts: 309000 | #Constraints: 39682
389.54/390.72 c #Conflicts: 310000 | #Constraints: 40682
389.54/390.72 c #Conflicts: 311000 | #Constraints: 41682
389.54/390.72 c #Conflicts: 312000 | #Constraints: 42682
389.54/390.72 c #Conflicts: 313000 | #Constraints: 43682
389.54/390.72 c #Conflicts: 314000 | #Constraints: 44682
389.54/390.72 c #Conflicts: 315000 | #Constraints: 45682
389.54/390.72 c INPROCESSING
389.54/390.72 c GARBAGE COLLECT
389.54/390.72 c #Conflicts: 316000 | #Constraints: 27082
389.54/390.72 c #Conflicts: 317000 | #Constraints: 28082
389.54/390.72 c #Conflicts: 318000 | #Constraints: 29082
389.54/390.72 c #Conflicts: 319000 | #Constraints: 30082
389.54/390.72 c #Conflicts: 320000 | #Constraints: 31082
389.54/390.72 c #Conflicts: 321000 | #Constraints: 32082
389.54/390.72 c #Conflicts: 322000 | #Constraints: 33082
389.54/390.72 c #Conflicts: 323000 | #Constraints: 34082
389.54/390.72 c #Conflicts: 324000 | #Constraints: 35082
389.54/390.72 c #Conflicts: 325000 | #Constraints: 36082
389.54/390.72 c #Conflicts: 326000 | #Constraints: 37082
389.54/390.72 c #Conflicts: 327000 | #Constraints: 38082
389.54/390.72 c INPROCESSING
389.54/390.72 c GARBAGE COLLECT
389.54/390.72 c #Conflicts: 328000 | #Constraints: 23012
389.54/390.72 c #Conflicts: 329000 | #Constraints: 24012
389.54/390.72 c #Conflicts: 330000 | #Constraints: 25012
389.54/390.72 c #Conflicts: 331000 | #Constraints: 26012
389.54/390.72 c #Conflicts: 332000 | #Constraints: 27012
389.54/390.72 c #Conflicts: 333000 | #Constraints: 28012
389.54/390.72 c #Conflicts: 334000 | #Constraints: 29012
389.54/390.72 c #Conflicts: 335000 | #Constraints: 30012
389.54/390.72 c #Conflicts: 336000 | #Constraints: 31012
389.54/390.72 c #Conflicts: 337000 | #Constraints: 32012
389.54/390.72 c #Conflicts: 338000 | #Constraints: 33012
389.54/390.72 c #Conflicts: 339000 | #Constraints: 34012
389.54/390.72 c #Conflicts: 340000 | #Constraints: 35012
389.54/390.72 c INPROCESSING
389.54/390.72 c GARBAGE COLLECT
389.54/390.72 c #Conflicts: 341000 | #Constraints: 21556
389.54/390.72 c #Conflicts: 342000 | #Constraints: 22556
389.54/390.72 c #Conflicts: 343000 | #Constraints: 23556
389.54/390.72 c #Conflicts: 344000 | #Constraints: 24556
389.54/390.72 c #Conflicts: 345000 | #Constraints: 25556
389.54/390.72 c #Conflicts: 346000 | #Constraints: 26556
389.54/390.72 c #Conflicts: 347000 | #Constraints: 27556
389.54/390.72 c #Conflicts: 348000 | #Constraints: 28556
389.54/390.72 c #Conflicts: 349000 | #Constraints: 29556
389.54/390.72 c #Conflicts: 350000 | #Constraints: 30556
389.54/390.72 c #Conflicts: 351000 | #Constraints: 31556
389.54/390.72 c #Conflicts: 352000 | #Constraints: 32556
389.54/390.72 c #Conflicts: 353000 | #Constraints: 33556
389.54/390.72 c INPROCESSING
389.54/390.72 c GARBAGE COLLECT
389.54/390.72 c #Conflicts: 354000 | #Constraints: 20757
389.54/390.72 c #Conflicts: 355000 | #Constraints: 21757
389.54/390.72 c #Conflicts: 356000 | #Constraints: 22757
389.54/390.72 c #Conflicts: 357000 | #Constraints: 23757
389.54/390.72 c #Conflicts: 358000 | #Constraints: 24757
389.54/390.72 c #Conflicts: 359000 | #Constraints: 25757
389.54/390.72 c #Conflicts: 360000 | #Constraints: 26757
389.54/390.72 c #Conflicts: 361000 | #Constraints: 27757
389.54/390.72 c #Conflicts: 362000 | #Constraints: 28757
389.54/390.72 c #Conflicts: 363000 | #Constraints: 29757
389.54/390.72 c #Conflicts: 364000 | #Constraints: 30757
389.54/390.72 c #Conflicts: 365000 | #Constraints: 31757
389.54/390.72 c #Conflicts: 366000 | #Constraints: 32757
389.54/390.72 c #Conflicts: 367000 | #Constraints: 33757
389.54/390.72 c #Conflicts: 368000 | #Constraints: 34757
389.54/390.72 c #Conflicts: 369000 | #Constraints: 35757
389.54/390.72 c #Conflicts: 370000 | #Constraints: 36757
389.54/390.72 c #Conflicts: 371000 | #Constraints: 37757
389.54/390.72 c #Conflicts: 372000 | #Constraints: 38757
389.54/390.72 c #Conflicts: 373000 | #Constraints: 39757
389.54/390.72 c #Conflicts: 374000 | #Constraints: 40757
389.54/390.72 c #Conflicts: 375000 | #Constraints: 41757
389.54/390.72 c #Conflicts: 376000 | #Constraints: 42757
389.54/390.72 c #Conflicts: 377000 | #Constraints: 43757
389.54/390.72 c #Conflicts: 378000 | #Constraints: 44757
389.54/390.72 c #Conflicts: 379000 | #Constraints: 45757
512.31/513.84 c #Conflicts: 380000 | #Constraints: 46757
512.31/513.84 c #Conflicts: 381000 | #Constraints: 47757
512.31/513.84 c #Conflicts: 382000 | #Constraints: 48757
512.31/513.84 c #Conflicts: 383000 | #Constraints: 49757
512.31/513.84 c #Conflicts: 384000 | #Constraints: 50757
512.31/513.84 c #Conflicts: 385000 | #Constraints: 51757
512.31/513.84 c #Conflicts: 386000 | #Constraints: 52757
512.31/513.84 c #Conflicts: 387000 | #Constraints: 53757
512.31/513.84 c #Conflicts: 388000 | #Constraints: 54757
512.31/513.84 c #Conflicts: 389000 | #Constraints: 55757
512.31/513.84 c #Conflicts: 390000 | #Constraints: 56757
512.31/513.84 c #Conflicts: 391000 | #Constraints: 57757
512.31/513.84 c #Conflicts: 392000 | #Constraints: 58757
512.31/513.84 c #Conflicts: 393000 | #Constraints: 59757
512.31/513.84 c #Conflicts: 394000 | #Constraints: 60757
512.31/513.84 c #Conflicts: 395000 | #Constraints: 61757
512.31/513.84 c #Conflicts: 396000 | #Constraints: 62757
512.31/513.84 c #Conflicts: 397000 | #Constraints: 63757
512.31/513.84 c #Conflicts: 398000 | #Constraints: 64757
512.31/513.84 c #Conflicts: 399000 | #Constraints: 65757
512.31/513.84 c #Conflicts: 400000 | #Constraints: 66757
512.31/513.84 c #Conflicts: 401000 | #Constraints: 67757
512.31/513.84 c INPROCESSING
512.31/513.84 c GARBAGE COLLECT
512.31/513.84 c #Conflicts: 402000 | #Constraints: 37790
512.31/513.84 c #Conflicts: 403000 | #Constraints: 38790
512.31/513.84 c #Conflicts: 404000 | #Constraints: 39790
512.31/513.84 c #Conflicts: 405000 | #Constraints: 40790
512.31/513.84 c #Conflicts: 406000 | #Constraints: 41790
512.31/513.84 c #Conflicts: 407000 | #Constraints: 42790
512.31/513.84 c #Conflicts: 408000 | #Constraints: 43790
512.31/513.84 c #Conflicts: 409000 | #Constraints: 44790
512.31/513.84 c #Conflicts: 410000 | #Constraints: 45790
512.31/513.84 c #Conflicts: 411000 | #Constraints: 46790
512.31/513.84 c #Conflicts: 412000 | #Constraints: 47790
512.31/513.84 c #Conflicts: 413000 | #Constraints: 48790
512.31/513.84 c #Conflicts: 414000 | #Constraints: 49790
512.31/513.84 c #Conflicts: 415000 | #Constraints: 50790
512.31/513.84 c #Conflicts: 416000 | #Constraints: 51790
512.31/513.84 c INPROCESSING
512.31/513.84 c GARBAGE COLLECT
512.31/513.84 c #Conflicts: 417000 | #Constraints: 30191
512.31/513.84 c #Conflicts: 418000 | #Constraints: 31191
512.31/513.84 c #Conflicts: 419000 | #Constraints: 32191
512.31/513.84 c #Conflicts: 420000 | #Constraints: 33191
512.31/513.84 c #Conflicts: 421000 | #Constraints: 34191
512.31/513.84 c #Conflicts: 422000 | #Constraints: 35191
512.31/513.84 c #Conflicts: 423000 | #Constraints: 36191
512.31/513.84 c #Conflicts: 424000 | #Constraints: 37191
512.31/513.84 c #Conflicts: 425000 | #Constraints: 38191
512.31/513.84 c #Conflicts: 426000 | #Constraints: 39191
512.31/513.84 c #Conflicts: 427000 | #Constraints: 40191
512.31/513.84 c #Conflicts: 428000 | #Constraints: 41191
512.31/513.84 c #Conflicts: 429000 | #Constraints: 42191
512.31/513.84 c #Conflicts: 430000 | #Constraints: 43191
512.31/513.84 c INPROCESSING
512.31/513.84 c GARBAGE COLLECT
512.31/513.84 c #Conflicts: 431000 | #Constraints: 25597
512.31/513.84 c #Conflicts: 432000 | #Constraints: 26597
512.31/513.84 c #Conflicts: 433000 | #Constraints: 27597
512.31/513.84 c #Conflicts: 434000 | #Constraints: 28597
512.31/513.84 c #Conflicts: 435000 | #Constraints: 29597
512.31/513.84 c #Conflicts: 436000 | #Constraints: 30597
512.31/513.84 c #Conflicts: 437000 | #Constraints: 31597
512.31/513.84 c #Conflicts: 438000 | #Constraints: 32597
512.31/513.84 c #Conflicts: 439000 | #Constraints: 33597
512.31/513.84 c #Conflicts: 440000 | #Constraints: 34597
512.31/513.84 c #Conflicts: 441000 | #Constraints: 35597
512.31/513.84 c #Conflicts: 442000 | #Constraints: 36597
512.31/513.84 c #Conflicts: 443000 | #Constraints: 37597
512.31/513.84 c #Conflicts: 444000 | #Constraints: 38597
512.31/513.84 c #Conflicts: 445000 | #Constraints: 39597
512.31/513.84 c INPROCESSING
512.31/513.84 c GARBAGE COLLECT
512.31/513.84 c #Conflicts: 446000 | #Constraints: 23984
512.31/513.84 c #Conflicts: 447000 | #Constraints: 24984
512.31/513.84 c #Conflicts: 448000 | #Constraints: 25984
512.31/513.84 c #Conflicts: 449000 | #Constraints: 26984
512.31/513.84 c #Conflicts: 450000 | #Constraints: 27984
512.31/513.84 c #Conflicts: 451000 | #Constraints: 28984
512.31/513.84 c #Conflicts: 452000 | #Constraints: 29984
512.31/513.84 c #Conflicts: 453000 | #Constraints: 30984
512.31/513.84 c #Conflicts: 454000 | #Constraints: 31984
512.31/513.84 c #Conflicts: 455000 | #Constraints: 32984
547.52/549.15 c #Conflicts: 456000 | #Constraints: 33984
547.52/549.15 c #Conflicts: 457000 | #Constraints: 34984
547.52/549.15 c #Conflicts: 458000 | #Constraints: 35984
547.52/549.15 c #Conflicts: 459000 | #Constraints: 36984
547.52/549.15 c #Conflicts: 460000 | #Constraints: 37984
547.52/549.15 c INPROCESSING
547.52/549.15 c GARBAGE COLLECT
547.52/549.15 c #Conflicts: 461000 | #Constraints: 23237
547.52/549.15 c #Conflicts: 462000 | #Constraints: 24237
547.52/549.15 c #Conflicts: 463000 | #Constraints: 25237
547.52/549.15 c #Conflicts: 464000 | #Constraints: 26237
547.52/549.15 c #Conflicts: 465000 | #Constraints: 27237
547.52/549.15 c #Conflicts: 466000 | #Constraints: 28237
547.52/549.15 c #Conflicts: 467000 | #Constraints: 29237
547.52/549.15 c #Conflicts: 468000 | #Constraints: 30237
547.52/549.15 c #Conflicts: 469000 | #Constraints: 31237
547.52/549.15 c #Conflicts: 470000 | #Constraints: 32237
547.52/549.15 c #Conflicts: 471000 | #Constraints: 33237
547.52/549.15 c #Conflicts: 472000 | #Constraints: 34237
547.52/549.15 c #Conflicts: 473000 | #Constraints: 35237
547.52/549.15 c #Conflicts: 474000 | #Constraints: 36237
547.52/549.15 c #Conflicts: 475000 | #Constraints: 37237
547.52/549.15 c INPROCESSING
547.52/549.15 c GARBAGE COLLECT
547.52/549.15 c rational objective 91.9461
679.34/681.30 c #Conflicts: 476000 | #Constraints: 22750
679.34/681.30 c #Conflicts: 477000 | #Constraints: 23750
679.34/681.30 c #Conflicts: 478000 | #Constraints: 24750
679.34/681.30 c #Conflicts: 479000 | #Constraints: 25750
679.34/681.30 c #Conflicts: 480000 | #Constraints: 26750
679.34/681.30 c #Conflicts: 481000 | #Constraints: 27750
679.34/681.30 c #Conflicts: 482000 | #Constraints: 28750
679.34/681.30 c #Conflicts: 483000 | #Constraints: 29750
679.34/681.30 c #Conflicts: 484000 | #Constraints: 30750
679.34/681.30 c #Conflicts: 485000 | #Constraints: 31750
679.34/681.30 c #Conflicts: 486000 | #Constraints: 32750
679.34/681.30 c #Conflicts: 487000 | #Constraints: 33750
679.34/681.30 c #Conflicts: 488000 | #Constraints: 34750
679.34/681.30 c #Conflicts: 489000 | #Constraints: 35750
679.34/681.30 c #Conflicts: 490000 | #Constraints: 36750
679.34/681.30 c #Conflicts: 491000 | #Constraints: 37750
679.34/681.30 c #Conflicts: 492000 | #Constraints: 38750
679.34/681.30 c #Conflicts: 493000 | #Constraints: 39750
679.34/681.30 c #Conflicts: 494000 | #Constraints: 40750
679.34/681.30 c #Conflicts: 495000 | #Constraints: 41750
679.34/681.30 c #Conflicts: 496000 | #Constraints: 42750
679.34/681.30 c #Conflicts: 497000 | #Constraints: 43750
679.34/681.30 c #Conflicts: 498000 | #Constraints: 44750
679.34/681.30 c #Conflicts: 499000 | #Constraints: 45750
679.34/681.30 c #Conflicts: 500000 | #Constraints: 46750
679.34/681.30 c #Conflicts: 501000 | #Constraints: 47750
679.34/681.30 c #Conflicts: 502000 | #Constraints: 48750
679.34/681.30 c #Conflicts: 503000 | #Constraints: 49750
679.34/681.30 c #Conflicts: 504000 | #Constraints: 50750
679.34/681.30 c #Conflicts: 505000 | #Constraints: 51750
679.34/681.30 c #Conflicts: 506000 | #Constraints: 52750
679.34/681.30 c #Conflicts: 507000 | #Constraints: 53750
679.34/681.30 c #Conflicts: 508000 | #Constraints: 54750
679.34/681.30 c #Conflicts: 509000 | #Constraints: 55750
679.34/681.30 c #Conflicts: 510000 | #Constraints: 56750
679.34/681.30 c #Conflicts: 511000 | #Constraints: 57750
679.34/681.30 c #Conflicts: 512000 | #Constraints: 58750
679.34/681.30 c #Conflicts: 513000 | #Constraints: 59750
679.34/681.30 c #Conflicts: 514000 | #Constraints: 60750
679.34/681.30 c #Conflicts: 515000 | #Constraints: 61750
679.34/681.30 c #Conflicts: 516000 | #Constraints: 62750
679.34/681.30 c #Conflicts: 517000 | #Constraints: 63750
679.34/681.30 c #Conflicts: 518000 | #Constraints: 64750
679.34/681.30 c #Conflicts: 519000 | #Constraints: 65750
679.34/681.30 c #Conflicts: 520000 | #Constraints: 66750
679.34/681.30 c #Conflicts: 521000 | #Constraints: 67750
679.34/681.30 c #Conflicts: 522000 | #Constraints: 68750
679.34/681.30 c #Conflicts: 523000 | #Constraints: 69750
679.34/681.30 c #Conflicts: 524000 | #Constraints: 70750
679.34/681.30 c #Conflicts: 525000 | #Constraints: 71750
679.34/681.30 c #Conflicts: 526000 | #Constraints: 72750
679.34/681.30 c #Conflicts: 527000 | #Constraints: 73750
679.34/681.30 c #Conflicts: 528000 | #Constraints: 74750
679.34/681.30 c #Conflicts: 529000 | #Constraints: 75750
679.34/681.30 c #Conflicts: 530000 | #Constraints: 76750
679.34/681.30 c #Conflicts: 531000 | #Constraints: 77750
679.34/681.30 c INPROCESSING
679.34/681.30 c GARBAGE COLLECT
679.34/681.30 c #Conflicts: 532000 | #Constraints: 43162
679.34/681.30 c #Conflicts: 533000 | #Constraints: 44162
679.34/681.30 c #Conflicts: 534000 | #Constraints: 45162
679.34/681.30 c #Conflicts: 535000 | #Constraints: 46162
679.34/681.30 c #Conflicts: 536000 | #Constraints: 47162
679.34/681.30 c #Conflicts: 537000 | #Constraints: 48162
679.34/681.30 c #Conflicts: 538000 | #Constraints: 49162
679.34/681.30 c #Conflicts: 539000 | #Constraints: 50162
679.34/681.30 c #Conflicts: 540000 | #Constraints: 51162
679.34/681.30 c #Conflicts: 541000 | #Constraints: 52162
679.34/681.30 c #Conflicts: 542000 | #Constraints: 53162
679.34/681.30 c #Conflicts: 543000 | #Constraints: 54162
679.34/681.30 c #Conflicts: 544000 | #Constraints: 55162
679.34/681.30 c #Conflicts: 545000 | #Constraints: 56162
679.34/681.30 c #Conflicts: 546000 | #Constraints: 57162
679.34/681.30 c #Conflicts: 547000 | #Constraints: 58162
679.34/681.30 c INPROCESSING
679.34/681.30 c GARBAGE COLLECT
679.34/681.30 c #Conflicts: 548000 | #Constraints: 33224
679.34/681.30 c #Conflicts: 549000 | #Constraints: 34224
679.34/681.30 c #Conflicts: 550000 | #Constraints: 35224
679.34/681.30 c #Conflicts: 551000 | #Constraints: 36224
679.34/681.30 c #Conflicts: 552000 | #Constraints: 37224
679.34/681.30 c #Conflicts: 553000 | #Constraints: 38224
768.92/771.14 c #Conflicts: 554000 | #Constraints: 39224
768.92/771.14 c #Conflicts: 555000 | #Constraints: 40224
768.92/771.14 c #Conflicts: 556000 | #Constraints: 41224
768.92/771.14 c #Conflicts: 557000 | #Constraints: 42224
768.92/771.14 c #Conflicts: 558000 | #Constraints: 43224
768.92/771.14 c #Conflicts: 559000 | #Constraints: 44224
768.92/771.14 c #Conflicts: 560000 | #Constraints: 45224
768.92/771.14 c #Conflicts: 561000 | #Constraints: 46224
768.92/771.14 c #Conflicts: 562000 | #Constraints: 47224
768.92/771.14 c #Conflicts: 563000 | #Constraints: 48225
768.92/771.14 c #Conflicts: 564000 | #Constraints: 49225
768.92/771.14 c INPROCESSING
768.92/771.14 c GARBAGE COLLECT
768.92/771.14 c #Conflicts: 565000 | #Constraints: 28936
768.92/771.14 c #Conflicts: 566000 | #Constraints: 29936
768.92/771.14 c #Conflicts: 567000 | #Constraints: 30936
768.92/771.14 c #Conflicts: 568000 | #Constraints: 31936
768.92/771.14 c #Conflicts: 569000 | #Constraints: 32936
768.92/771.14 c #Conflicts: 570000 | #Constraints: 33936
768.92/771.14 c #Conflicts: 571000 | #Constraints: 34936
768.92/771.14 c #Conflicts: 572000 | #Constraints: 35936
768.92/771.14 c #Conflicts: 573000 | #Constraints: 36936
768.92/771.14 c #Conflicts: 574000 | #Constraints: 37936
768.92/771.14 c #Conflicts: 575000 | #Constraints: 38936
768.92/771.14 c #Conflicts: 576000 | #Constraints: 39936
768.92/771.14 c #Conflicts: 577000 | #Constraints: 40936
768.92/771.14 c #Conflicts: 578000 | #Constraints: 41936
768.92/771.14 c #Conflicts: 579000 | #Constraints: 42936
768.92/771.14 c #Conflicts: 580000 | #Constraints: 43936
768.92/771.14 c INPROCESSING
768.92/771.14 c GARBAGE COLLECT
768.92/771.14 c #Conflicts: 581000 | #Constraints: 25838
768.92/771.14 c #Conflicts: 582000 | #Constraints: 26838
768.92/771.14 c #Conflicts: 583000 | #Constraints: 27838
768.92/771.14 c #Conflicts: 584000 | #Constraints: 28838
768.92/771.14 c #Conflicts: 585000 | #Constraints: 29838
768.92/771.14 c #Conflicts: 586000 | #Constraints: 30838
768.92/771.14 c #Conflicts: 587000 | #Constraints: 31838
768.92/771.14 c #Conflicts: 588000 | #Constraints: 32838
768.92/771.14 c #Conflicts: 589000 | #Constraints: 33838
768.92/771.14 c #Conflicts: 590000 | #Constraints: 34838
768.92/771.14 c #Conflicts: 591000 | #Constraints: 35838
768.92/771.14 c #Conflicts: 592000 | #Constraints: 36838
768.92/771.14 c #Conflicts: 593000 | #Constraints: 37838
768.92/771.14 c #Conflicts: 594000 | #Constraints: 38838
768.92/771.14 c #Conflicts: 595000 | #Constraints: 39838
768.92/771.14 c #Conflicts: 596000 | #Constraints: 40838
768.92/771.14 c #Conflicts: 597000 | #Constraints: 41838
768.92/771.14 c INPROCESSING
768.92/771.14 c GARBAGE COLLECT
768.92/771.14 c #Conflicts: 598000 | #Constraints: 24819
768.92/771.14 c #Conflicts: 599000 | #Constraints: 25819
768.92/771.14 c #Conflicts: 600000 | #Constraints: 26819
768.92/771.14 c #Conflicts: 601000 | #Constraints: 27819
768.92/771.14 c #Conflicts: 602000 | #Constraints: 28819
768.92/771.14 c #Conflicts: 603000 | #Constraints: 29819
768.92/771.14 c #Conflicts: 604000 | #Constraints: 30819
768.92/771.14 c #Conflicts: 605000 | #Constraints: 31819
768.92/771.14 c #Conflicts: 606000 | #Constraints: 32819
768.92/771.14 c #Conflicts: 607000 | #Constraints: 33819
768.92/771.14 c #Conflicts: 608000 | #Constraints: 34819
768.92/771.14 c #Conflicts: 609000 | #Constraints: 35819
768.92/771.14 c #Conflicts: 610000 | #Constraints: 36819
768.92/771.14 c #Conflicts: 611000 | #Constraints: 37819
768.92/771.14 c #Conflicts: 612000 | #Constraints: 38819
768.92/771.14 c #Conflicts: 613000 | #Constraints: 39819
768.92/771.14 c #Conflicts: 614000 | #Constraints: 40819
768.92/771.14 c #Conflicts: 615000 | #Constraints: 41819
768.92/771.14 c INPROCESSING
768.92/771.14 c GARBAGE COLLECT
768.92/771.14 c #Conflicts: 616000 | #Constraints: 25182
768.92/771.14 c #Conflicts: 617000 | #Constraints: 26182
768.92/771.14 c #Conflicts: 618000 | #Constraints: 27182
768.92/771.14 c #Conflicts: 619000 | #Constraints: 28182
768.92/771.14 c #Conflicts: 620000 | #Constraints: 29182
768.92/771.14 c #Conflicts: 621000 | #Constraints: 30182
768.92/771.14 c #Conflicts: 622000 | #Constraints: 31182
768.92/771.14 c #Conflicts: 623000 | #Constraints: 32182
768.92/771.14 c #Conflicts: 624000 | #Constraints: 33182
768.92/771.14 c #Conflicts: 625000 | #Constraints: 34182
768.92/771.14 c #Conflicts: 626000 | #Constraints: 35182
768.92/771.14 c #Conflicts: 627000 | #Constraints: 36182
768.92/771.14 c #Conflicts: 628000 | #Constraints: 37182
768.92/771.14 c #Conflicts: 629000 | #Constraints: 38182
896.66/899.26 c #Conflicts: 630000 | #Constraints: 39182
896.66/899.26 c #Conflicts: 631000 | #Constraints: 40182
896.66/899.26 c #Conflicts: 632000 | #Constraints: 41182
896.66/899.26 c #Conflicts: 633000 | #Constraints: 42182
896.66/899.26 c #Conflicts: 634000 | #Constraints: 43182
896.66/899.26 c #Conflicts: 635000 | #Constraints: 44182
896.66/899.26 c #Conflicts: 636000 | #Constraints: 45182
896.66/899.26 c #Conflicts: 637000 | #Constraints: 46182
896.66/899.26 c #Conflicts: 638000 | #Constraints: 47182
896.66/899.26 c #Conflicts: 639000 | #Constraints: 48182
896.66/899.26 c #Conflicts: 640000 | #Constraints: 49182
896.66/899.26 c #Conflicts: 641000 | #Constraints: 50182
896.66/899.26 c #Conflicts: 642000 | #Constraints: 51182
896.66/899.26 c #Conflicts: 643000 | #Constraints: 52182
896.66/899.26 c #Conflicts: 644000 | #Constraints: 53182
896.66/899.26 c #Conflicts: 645000 | #Constraints: 54182
896.66/899.26 c #Conflicts: 646000 | #Constraints: 55182
896.66/899.26 c #Conflicts: 647000 | #Constraints: 56182
896.66/899.26 c #Conflicts: 648000 | #Constraints: 57182
896.66/899.26 c #Conflicts: 649000 | #Constraints: 58182
896.66/899.26 c #Conflicts: 650000 | #Constraints: 59182
896.66/899.26 c #Conflicts: 651000 | #Constraints: 60182
896.66/899.26 c #Conflicts: 652000 | #Constraints: 61182
896.66/899.26 c #Conflicts: 653000 | #Constraints: 62182
896.66/899.26 c #Conflicts: 654000 | #Constraints: 63182
896.66/899.26 c #Conflicts: 655000 | #Constraints: 64182
896.66/899.26 c #Conflicts: 656000 | #Constraints: 65182
896.66/899.26 c #Conflicts: 657000 | #Constraints: 66182
896.66/899.26 c #Conflicts: 658000 | #Constraints: 67182
896.66/899.26 c #Conflicts: 659000 | #Constraints: 68182
896.66/899.26 c #Conflicts: 660000 | #Constraints: 69182
896.66/899.26 c #Conflicts: 661000 | #Constraints: 70182
896.66/899.26 c #Conflicts: 662000 | #Constraints: 71182
896.66/899.26 c #Conflicts: 663000 | #Constraints: 72182
896.66/899.26 c #Conflicts: 664000 | #Constraints: 73182
896.66/899.26 c #Conflicts: 665000 | #Constraints: 74182
896.66/899.26 c #Conflicts: 666000 | #Constraints: 75182
896.66/899.26 c #Conflicts: 667000 | #Constraints: 76182
896.66/899.26 c #Conflicts: 668000 | #Constraints: 77182
896.66/899.26 c #Conflicts: 669000 | #Constraints: 78182
896.66/899.26 c #Conflicts: 670000 | #Constraints: 79182
896.66/899.26 c #Conflicts: 671000 | #Constraints: 80182
896.66/899.26 c #Conflicts: 672000 | #Constraints: 81182
896.66/899.26 c #Conflicts: 673000 | #Constraints: 82182
896.66/899.26 c #Conflicts: 674000 | #Constraints: 83182
896.66/899.26 c #Conflicts: 675000 | #Constraints: 84182
896.66/899.26 c #Conflicts: 676000 | #Constraints: 85182
896.66/899.26 c #Conflicts: 677000 | #Constraints: 86182
896.66/899.26 c #Conflicts: 678000 | #Constraints: 87182
896.66/899.26 c INPROCESSING
896.66/899.26 c GARBAGE COLLECT
896.66/899.26 c rational objective 92.3648
1010.06/1012.98 c #Conflicts: 679000 | #Constraints: 47742
1010.06/1012.98 c #Conflicts: 680000 | #Constraints: 48742
1010.06/1012.98 c #Conflicts: 681000 | #Constraints: 49742
1010.06/1012.98 c #Conflicts: 682000 | #Constraints: 50742
1010.06/1012.98 c #Conflicts: 683000 | #Constraints: 51742
1010.06/1012.98 c #Conflicts: 684000 | #Constraints: 52742
1010.06/1012.98 c #Conflicts: 685000 | #Constraints: 53742
1010.06/1012.98 c #Conflicts: 686000 | #Constraints: 54742
1010.06/1012.98 c #Conflicts: 687000 | #Constraints: 55742
1010.06/1012.98 c #Conflicts: 688000 | #Constraints: 56742
1010.06/1012.98 c #Conflicts: 689000 | #Constraints: 57742
1010.06/1012.98 c #Conflicts: 690000 | #Constraints: 58742
1010.06/1012.98 c #Conflicts: 691000 | #Constraints: 59742
1010.06/1012.98 c #Conflicts: 692000 | #Constraints: 60742
1010.06/1012.98 c #Conflicts: 693000 | #Constraints: 61742
1010.06/1012.98 c #Conflicts: 694000 | #Constraints: 62742
1010.06/1012.98 c #Conflicts: 695000 | #Constraints: 63742
1010.06/1012.98 c #Conflicts: 696000 | #Constraints: 64742
1010.06/1012.98 c INPROCESSING
1010.06/1012.98 c GARBAGE COLLECT
1010.06/1012.98 c #Conflicts: 697000 | #Constraints: 36291
1010.06/1012.98 c #Conflicts: 698000 | #Constraints: 37291
1010.06/1012.98 c #Conflicts: 699000 | #Constraints: 38291
1010.06/1012.98 c #Conflicts: 700000 | #Constraints: 39291
1010.06/1012.98 c #Conflicts: 701000 | #Constraints: 40291
1010.06/1012.98 c #Conflicts: 702000 | #Constraints: 41291
1010.06/1012.98 c #Conflicts: 703000 | #Constraints: 42291
1010.06/1012.98 c #Conflicts: 704000 | #Constraints: 43291
1010.06/1012.98 c #Conflicts: 705000 | #Constraints: 44291
1010.06/1012.98 c #Conflicts: 706000 | #Constraints: 45291
1010.06/1012.98 c #Conflicts: 707000 | #Constraints: 46291
1010.06/1012.98 c #Conflicts: 708000 | #Constraints: 47291
1010.06/1012.98 c #Conflicts: 709000 | #Constraints: 48291
1010.06/1012.98 c #Conflicts: 710000 | #Constraints: 49291
1010.06/1012.98 c #Conflicts: 711000 | #Constraints: 50291
1010.06/1012.98 c #Conflicts: 712000 | #Constraints: 51291
1010.06/1012.98 c #Conflicts: 713000 | #Constraints: 52291
1010.06/1012.98 c #Conflicts: 714000 | #Constraints: 53291
1010.06/1012.98 c #Conflicts: 715000 | #Constraints: 54291
1010.06/1012.98 c INPROCESSING
1010.06/1012.98 c GARBAGE COLLECT
1010.06/1012.98 c #Conflicts: 716000 | #Constraints: 31169
1010.06/1012.98 c #Conflicts: 717000 | #Constraints: 32169
1010.06/1012.98 c #Conflicts: 718000 | #Constraints: 33169
1010.06/1012.98 c #Conflicts: 719000 | #Constraints: 34169
1010.06/1012.98 c #Conflicts: 720000 | #Constraints: 35169
1010.06/1012.98 c #Conflicts: 721000 | #Constraints: 36169
1010.06/1012.98 c #Conflicts: 722000 | #Constraints: 37169
1010.06/1012.98 c #Conflicts: 723000 | #Constraints: 38169
1010.06/1012.98 c #Conflicts: 724000 | #Constraints: 39169
1010.06/1012.98 c #Conflicts: 725000 | #Constraints: 40169
1010.06/1012.98 c #Conflicts: 726000 | #Constraints: 41169
1010.06/1012.98 c #Conflicts: 727000 | #Constraints: 42169
1010.06/1012.98 c #Conflicts: 728000 | #Constraints: 43169
1010.06/1012.98 c #Conflicts: 729000 | #Constraints: 44169
1010.06/1012.98 c #Conflicts: 730000 | #Constraints: 45169
1010.06/1012.98 c #Conflicts: 731000 | #Constraints: 46169
1010.06/1012.98 c #Conflicts: 732000 | #Constraints: 47169
1010.06/1012.98 c #Conflicts: 733000 | #Constraints: 48169
1010.06/1012.98 c #Conflicts: 734000 | #Constraints: 49169
1010.06/1012.98 c INPROCESSING
1010.06/1012.98 c GARBAGE COLLECT
1010.06/1012.98 c #Conflicts: 735000 | #Constraints: 28749
1010.06/1012.98 c #Conflicts: 736000 | #Constraints: 29749
1010.06/1012.98 c #Conflicts: 737000 | #Constraints: 30749
1010.06/1012.98 c #Conflicts: 738000 | #Constraints: 31749
1010.06/1012.98 c #Conflicts: 739000 | #Constraints: 32749
1010.06/1012.98 c #Conflicts: 740000 | #Constraints: 33749
1010.06/1012.98 c #Conflicts: 741000 | #Constraints: 34749
1010.06/1012.98 c #Conflicts: 742000 | #Constraints: 35749
1010.06/1012.98 c #Conflicts: 743000 | #Constraints: 36749
1010.06/1012.98 c #Conflicts: 744000 | #Constraints: 37749
1010.06/1012.98 c #Conflicts: 745000 | #Constraints: 38749
1010.06/1012.98 c #Conflicts: 746000 | #Constraints: 39749
1010.06/1012.98 c #Conflicts: 747000 | #Constraints: 40749
1010.06/1012.98 c #Conflicts: 748000 | #Constraints: 41749
1010.06/1012.98 c #Conflicts: 749000 | #Constraints: 42749
1010.06/1012.98 c #Conflicts: 750000 | #Constraints: 43749
1010.06/1012.98 c #Conflicts: 751000 | #Constraints: 44749
1010.06/1012.98 c #Conflicts: 752000 | #Constraints: 45749
1010.06/1012.98 c #Conflicts: 753000 | #Constraints: 46749
1010.06/1012.98 c INPROCESSING
1010.06/1012.98 c GARBAGE COLLECT
1010.06/1012.98 c #Conflicts: 754000 | #Constraints: 27405
1010.06/1012.98 c #Conflicts: 755000 | #Constraints: 28405
1144.32/1147.64 c #Conflicts: 756000 | #Constraints: 29405
1144.32/1147.64 c #Conflicts: 757000 | #Constraints: 30405
1144.32/1147.64 c #Conflicts: 758000 | #Constraints: 31405
1144.32/1147.64 c #Conflicts: 759000 | #Constraints: 32405
1144.32/1147.64 c #Conflicts: 760000 | #Constraints: 33405
1144.32/1147.64 c #Conflicts: 761000 | #Constraints: 34405
1144.32/1147.64 c #Conflicts: 762000 | #Constraints: 35405
1144.32/1147.64 c #Conflicts: 763000 | #Constraints: 36405
1144.32/1147.64 c #Conflicts: 764000 | #Constraints: 37405
1144.32/1147.64 c #Conflicts: 765000 | #Constraints: 38405
1144.32/1147.64 c #Conflicts: 766000 | #Constraints: 39405
1144.32/1147.64 c #Conflicts: 767000 | #Constraints: 40405
1144.32/1147.64 c #Conflicts: 768000 | #Constraints: 41405
1144.32/1147.64 c #Conflicts: 769000 | #Constraints: 42405
1144.32/1147.64 c #Conflicts: 770000 | #Constraints: 43405
1144.32/1147.64 c #Conflicts: 771000 | #Constraints: 44405
1144.32/1147.64 c #Conflicts: 772000 | #Constraints: 45405
1144.32/1147.64 c INPROCESSING
1144.32/1147.64 c GARBAGE COLLECT
1144.32/1147.64 c #Conflicts: 773000 | #Constraints: 26539
1144.32/1147.64 c #Conflicts: 774000 | #Constraints: 27539
1144.32/1147.64 c #Conflicts: 775000 | #Constraints: 28539
1144.32/1147.64 c #Conflicts: 776000 | #Constraints: 29539
1144.32/1147.64 c #Conflicts: 777000 | #Constraints: 30539
1144.32/1147.64 c #Conflicts: 778000 | #Constraints: 31539
1144.32/1147.64 c #Conflicts: 779000 | #Constraints: 32539
1144.32/1147.64 c #Conflicts: 780000 | #Constraints: 33539
1144.32/1147.64 c #Conflicts: 781000 | #Constraints: 34539
1144.32/1147.64 c #Conflicts: 782000 | #Constraints: 35539
1144.32/1147.64 c #Conflicts: 783000 | #Constraints: 36539
1144.32/1147.64 c #Conflicts: 784000 | #Constraints: 37539
1144.32/1147.64 c #Conflicts: 785000 | #Constraints: 38539
1144.32/1147.64 c #Conflicts: 786000 | #Constraints: 39539
1144.32/1147.64 c #Conflicts: 787000 | #Constraints: 40539
1144.32/1147.64 c #Conflicts: 788000 | #Constraints: 41539
1144.32/1147.64 c #Conflicts: 789000 | #Constraints: 42539
1144.32/1147.64 c #Conflicts: 790000 | #Constraints: 43539
1144.32/1147.64 c #Conflicts: 791000 | #Constraints: 44539
1144.32/1147.64 c #Conflicts: 792000 | #Constraints: 45539
1144.32/1147.64 c #Conflicts: 793000 | #Constraints: 46539
1144.32/1147.64 c #Conflicts: 794000 | #Constraints: 47539
1144.32/1147.64 c #Conflicts: 795000 | #Constraints: 48539
1144.32/1147.64 c #Conflicts: 796000 | #Constraints: 49539
1144.32/1147.64 c #Conflicts: 797000 | #Constraints: 50539
1144.32/1147.64 c #Conflicts: 798000 | #Constraints: 51539
1144.32/1147.64 c #Conflicts: 799000 | #Constraints: 52539
1144.32/1147.64 c #Conflicts: 800000 | #Constraints: 53539
1144.32/1147.64 c #Conflicts: 801000 | #Constraints: 54539
1144.32/1147.64 c #Conflicts: 802000 | #Constraints: 55539
1144.32/1147.64 c #Conflicts: 803000 | #Constraints: 56539
1144.32/1147.64 c #Conflicts: 804000 | #Constraints: 57539
1144.32/1147.64 c #Conflicts: 805000 | #Constraints: 58539
1144.32/1147.64 c #Conflicts: 806000 | #Constraints: 59539
1144.32/1147.64 c #Conflicts: 807000 | #Constraints: 60539
1144.32/1147.64 c #Conflicts: 808000 | #Constraints: 61539
1144.32/1147.64 c #Conflicts: 809000 | #Constraints: 62539
1144.32/1147.64 c #Conflicts: 810000 | #Constraints: 63539
1144.32/1147.64 c #Conflicts: 811000 | #Constraints: 64539
1144.32/1147.64 c #Conflicts: 812000 | #Constraints: 65539
1144.32/1147.64 c #Conflicts: 813000 | #Constraints: 66539
1144.32/1147.64 c #Conflicts: 814000 | #Constraints: 67539
1144.32/1147.64 c #Conflicts: 815000 | #Constraints: 68539
1144.32/1147.64 c #Conflicts: 816000 | #Constraints: 69539
1144.32/1147.64 c #Conflicts: 817000 | #Constraints: 70539
1144.32/1147.64 c #Conflicts: 818000 | #Constraints: 71539
1144.32/1147.64 c #Conflicts: 819000 | #Constraints: 72539
1144.32/1147.64 c #Conflicts: 820000 | #Constraints: 73539
1144.32/1147.64 c #Conflicts: 821000 | #Constraints: 74539
1144.32/1147.64 c #Conflicts: 822000 | #Constraints: 75539
1144.32/1147.64 c #Conflicts: 823000 | #Constraints: 76539
1144.32/1147.64 c #Conflicts: 824000 | #Constraints: 77539
1144.32/1147.64 c #Conflicts: 825000 | #Constraints: 78539
1144.32/1147.64 c #Conflicts: 826000 | #Constraints: 79539
1144.32/1147.64 c #Conflicts: 827000 | #Constraints: 80539
1144.32/1147.64 c #Conflicts: 828000 | #Constraints: 81539
1144.32/1147.64 c #Conflicts: 829000 | #Constraints: 82539
1144.32/1147.64 c #Conflicts: 830000 | #Constraints: 83539
1144.32/1147.64 c #Conflicts: 831000 | #Constraints: 84539
1144.32/1147.64 c #Conflicts: 832000 | #Constraints: 85539
1144.32/1147.64 c #Conflicts: 833000 | #Constraints: 86539
1245.95/1249.56 c #Conflicts: 834000 | #Constraints: 87539
1245.95/1249.56 c #Conflicts: 835000 | #Constraints: 88539
1245.95/1249.56 c #Conflicts: 836000 | #Constraints: 89539
1245.95/1249.56 c #Conflicts: 837000 | #Constraints: 90539
1245.95/1249.56 c #Conflicts: 838000 | #Constraints: 91539
1245.95/1249.56 c #Conflicts: 839000 | #Constraints: 92539
1245.95/1249.56 c #Conflicts: 840000 | #Constraints: 93539
1245.95/1249.56 c #Conflicts: 841000 | #Constraints: 94539
1245.95/1249.56 c #Conflicts: 842000 | #Constraints: 95539
1245.95/1249.56 c #Conflicts: 843000 | #Constraints: 96539
1245.95/1249.56 c INPROCESSING
1245.95/1249.56 c GARBAGE COLLECT
1245.95/1249.56 c #Conflicts: 844000 | #Constraints: 52262
1245.95/1249.56 c #Conflicts: 845000 | #Constraints: 53263
1245.95/1249.56 c #Conflicts: 846000 | #Constraints: 54263
1245.95/1249.56 c #Conflicts: 847000 | #Constraints: 55263
1245.95/1249.56 c #Conflicts: 848000 | #Constraints: 56263
1245.95/1249.56 c #Conflicts: 849000 | #Constraints: 57263
1245.95/1249.56 c #Conflicts: 850000 | #Constraints: 58263
1245.95/1249.56 c #Conflicts: 851000 | #Constraints: 59263
1245.95/1249.56 c #Conflicts: 852000 | #Constraints: 60263
1245.95/1249.56 c #Conflicts: 853000 | #Constraints: 61263
1245.95/1249.56 c #Conflicts: 854000 | #Constraints: 62263
1245.95/1249.56 c #Conflicts: 855000 | #Constraints: 63263
1245.95/1249.56 c #Conflicts: 856000 | #Constraints: 64263
1245.95/1249.56 c #Conflicts: 857000 | #Constraints: 65263
1245.95/1249.56 c #Conflicts: 858000 | #Constraints: 66263
1245.95/1249.56 c #Conflicts: 859000 | #Constraints: 67263
1245.95/1249.56 c #Conflicts: 860000 | #Constraints: 68263
1245.95/1249.56 c #Conflicts: 861000 | #Constraints: 69263
1245.95/1249.56 c #Conflicts: 862000 | #Constraints: 70263
1245.95/1249.56 c #Conflicts: 863000 | #Constraints: 71263
1245.95/1249.56 c #Conflicts: 864000 | #Constraints: 72263
1245.95/1249.56 c INPROCESSING
1245.95/1249.56 c GARBAGE COLLECT
1245.95/1249.56 c rational objective 92.427
1351.17/1355.02 c #Conflicts: 865000 | #Constraints: 40383
1351.17/1355.02 c #Conflicts: 866000 | #Constraints: 41383
1351.17/1355.02 c #Conflicts: 867000 | #Constraints: 42383
1351.17/1355.02 c #Conflicts: 868000 | #Constraints: 43383
1351.17/1355.02 c #Conflicts: 869000 | #Constraints: 44383
1351.17/1355.02 c #Conflicts: 870000 | #Constraints: 45383
1351.17/1355.02 c #Conflicts: 871000 | #Constraints: 46383
1351.17/1355.02 c #Conflicts: 872000 | #Constraints: 47383
1351.17/1355.02 c #Conflicts: 873000 | #Constraints: 48383
1351.17/1355.02 c #Conflicts: 874000 | #Constraints: 49383
1351.17/1355.02 c #Conflicts: 875000 | #Constraints: 50383
1351.17/1355.02 c #Conflicts: 876000 | #Constraints: 51383
1351.17/1355.02 c #Conflicts: 877000 | #Constraints: 52383
1351.17/1355.02 c #Conflicts: 878000 | #Constraints: 53383
1351.17/1355.02 c #Conflicts: 879000 | #Constraints: 54383
1351.17/1355.02 c #Conflicts: 880000 | #Constraints: 55383
1351.17/1355.02 c #Conflicts: 881000 | #Constraints: 56383
1351.17/1355.02 c #Conflicts: 882000 | #Constraints: 57383
1351.17/1355.02 c #Conflicts: 883000 | #Constraints: 58383
1351.17/1355.02 c #Conflicts: 884000 | #Constraints: 59383
1351.17/1355.02 c #Conflicts: 885000 | #Constraints: 60383
1351.17/1355.02 c INPROCESSING
1351.17/1355.02 c GARBAGE COLLECT
1351.17/1355.02 c #Conflicts: 886000 | #Constraints: 34571
1351.17/1355.02 c #Conflicts: 887000 | #Constraints: 35571
1351.17/1355.02 c #Conflicts: 888000 | #Constraints: 36571
1351.17/1355.02 c #Conflicts: 889000 | #Constraints: 37571
1351.17/1355.02 c #Conflicts: 890000 | #Constraints: 38571
1351.17/1355.02 c #Conflicts: 891000 | #Constraints: 39571
1351.17/1355.02 c #Conflicts: 892000 | #Constraints: 40571
1351.17/1355.02 c #Conflicts: 893000 | #Constraints: 41571
1351.17/1355.02 c #Conflicts: 894000 | #Constraints: 42571
1351.17/1355.02 c #Conflicts: 895000 | #Constraints: 43571
1351.17/1355.02 c #Conflicts: 896000 | #Constraints: 44571
1351.17/1355.02 c #Conflicts: 897000 | #Constraints: 45571
1351.17/1355.02 c #Conflicts: 898000 | #Constraints: 46571
1351.17/1355.02 c #Conflicts: 899000 | #Constraints: 47571
1351.17/1355.02 c #Conflicts: 900000 | #Constraints: 48571
1351.17/1355.02 c #Conflicts: 901000 | #Constraints: 49571
1351.17/1355.02 c #Conflicts: 902000 | #Constraints: 50571
1351.17/1355.02 c #Conflicts: 903000 | #Constraints: 51571
1351.17/1355.02 c #Conflicts: 904000 | #Constraints: 52571
1351.17/1355.02 c #Conflicts: 905000 | #Constraints: 53571
1351.17/1355.02 c #Conflicts: 906000 | #Constraints: 54571
1351.17/1355.02 c INPROCESSING
1351.17/1355.02 c GARBAGE COLLECT
1351.17/1355.02 c #Conflicts: 907000 | #Constraints: 31621
1351.17/1355.02 c #Conflicts: 908000 | #Constraints: 32621
1351.17/1355.02 c #Conflicts: 909000 | #Constraints: 33621
1351.17/1355.02 c #Conflicts: 910000 | #Constraints: 34621
1351.17/1355.02 c #Conflicts: 911000 | #Constraints: 35621
1351.17/1355.02 c #Conflicts: 912000 | #Constraints: 36621
1351.17/1355.02 c #Conflicts: 913000 | #Constraints: 37621
1351.17/1355.02 c #Conflicts: 914000 | #Constraints: 38621
1351.17/1355.02 c #Conflicts: 915000 | #Constraints: 39621
1351.17/1355.02 c #Conflicts: 916000 | #Constraints: 40621
1351.17/1355.02 c #Conflicts: 917000 | #Constraints: 41621
1351.17/1355.02 c #Conflicts: 918000 | #Constraints: 42621
1351.17/1355.02 c #Conflicts: 919000 | #Constraints: 43621
1351.17/1355.02 c #Conflicts: 920000 | #Constraints: 44621
1351.17/1355.02 c #Conflicts: 921000 | #Constraints: 45621
1351.17/1355.02 c #Conflicts: 922000 | #Constraints: 46621
1351.17/1355.02 c #Conflicts: 923000 | #Constraints: 47621
1351.17/1355.02 c #Conflicts: 924000 | #Constraints: 48621
1351.17/1355.02 c #Conflicts: 925000 | #Constraints: 49621
1351.17/1355.02 c #Conflicts: 926000 | #Constraints: 50621
1351.17/1355.02 c #Conflicts: 927000 | #Constraints: 51621
1351.17/1355.02 c INPROCESSING
1351.17/1355.02 c GARBAGE COLLECT
1351.17/1355.02 c #Conflicts: 928000 | #Constraints: 30023
1351.17/1355.02 c #Conflicts: 929000 | #Constraints: 31023
1351.17/1355.02 c #Conflicts: 930000 | #Constraints: 32023
1351.17/1355.02 c #Conflicts: 931000 | #Constraints: 33023
1351.17/1355.02 c #Conflicts: 932000 | #Constraints: 34023
1351.17/1355.02 c #Conflicts: 933000 | #Constraints: 35023
1351.17/1355.02 c #Conflicts: 934000 | #Constraints: 36023
1351.17/1355.02 c #Conflicts: 935000 | #Constraints: 37023
1351.17/1355.02 c #Conflicts: 936000 | #Constraints: 38023
1351.17/1355.02 c #Conflicts: 937000 | #Constraints: 39023
1351.17/1355.02 c #Conflicts: 938000 | #Constraints: 40023
1351.17/1355.02 c #Conflicts: 939000 | #Constraints: 41023
1351.17/1355.02 c #Conflicts: 940000 | #Constraints: 42023
1351.17/1355.02 c #Conflicts: 941000 | #Constraints: 43023
1533.47/1537.88 c #Conflicts: 942000 | #Constraints: 44023
1533.47/1537.88 c #Conflicts: 943000 | #Constraints: 45023
1533.47/1537.88 c #Conflicts: 944000 | #Constraints: 46023
1533.47/1537.88 c #Conflicts: 945000 | #Constraints: 47023
1533.47/1537.88 c #Conflicts: 946000 | #Constraints: 48023
1533.47/1537.88 c #Conflicts: 947000 | #Constraints: 49023
1533.47/1537.88 c #Conflicts: 948000 | #Constraints: 50023
1533.47/1537.88 c INPROCESSING
1533.47/1537.88 c GARBAGE COLLECT
1533.47/1537.88 c #Conflicts: 949000 | #Constraints: 29041
1533.47/1537.88 c #Conflicts: 950000 | #Constraints: 30041
1533.47/1537.88 c #Conflicts: 951000 | #Constraints: 31041
1533.47/1537.88 c #Conflicts: 952000 | #Constraints: 32041
1533.47/1537.88 c #Conflicts: 953000 | #Constraints: 33041
1533.47/1537.88 c #Conflicts: 954000 | #Constraints: 34041
1533.47/1537.88 c #Conflicts: 955000 | #Constraints: 35041
1533.47/1537.88 c #Conflicts: 956000 | #Constraints: 36041
1533.47/1537.88 c #Conflicts: 957000 | #Constraints: 37041
1533.47/1537.88 c #Conflicts: 958000 | #Constraints: 38041
1533.47/1537.88 c #Conflicts: 959000 | #Constraints: 39041
1533.47/1537.88 c #Conflicts: 960000 | #Constraints: 40041
1533.47/1537.88 c #Conflicts: 961000 | #Constraints: 41041
1533.47/1537.88 c #Conflicts: 962000 | #Constraints: 42041
1533.47/1537.88 c #Conflicts: 963000 | #Constraints: 43041
1533.47/1537.88 c #Conflicts: 964000 | #Constraints: 44041
1533.47/1537.88 c #Conflicts: 965000 | #Constraints: 45041
1533.47/1537.88 c #Conflicts: 966000 | #Constraints: 46041
1533.47/1537.88 c #Conflicts: 967000 | #Constraints: 47041
1533.47/1537.88 c #Conflicts: 968000 | #Constraints: 48041
1533.47/1537.88 c #Conflicts: 969000 | #Constraints: 49041
1533.47/1537.88 c #Conflicts: 970000 | #Constraints: 50041
1533.47/1537.88 c #Conflicts: 971000 | #Constraints: 51041
1533.47/1537.88 c #Conflicts: 972000 | #Constraints: 52041
1533.47/1537.88 c #Conflicts: 973000 | #Constraints: 53041
1533.47/1537.88 c #Conflicts: 974000 | #Constraints: 54041
1533.47/1537.88 c #Conflicts: 975000 | #Constraints: 55041
1533.47/1537.88 c #Conflicts: 976000 | #Constraints: 56041
1533.47/1537.88 c #Conflicts: 977000 | #Constraints: 57041
1533.47/1537.88 c #Conflicts: 978000 | #Constraints: 58041
1533.47/1537.88 c #Conflicts: 979000 | #Constraints: 59041
1533.47/1537.88 c #Conflicts: 980000 | #Constraints: 60041
1533.47/1537.88 c #Conflicts: 981000 | #Constraints: 61041
1533.47/1537.88 c #Conflicts: 982000 | #Constraints: 62041
1533.47/1537.88 c #Conflicts: 983000 | #Constraints: 63041
1533.47/1537.88 c #Conflicts: 984000 | #Constraints: 64041
1533.47/1537.88 c #Conflicts: 985000 | #Constraints: 65041
1533.47/1537.88 c #Conflicts: 986000 | #Constraints: 66041
1533.47/1537.88 c #Conflicts: 987000 | #Constraints: 67041
1533.47/1537.88 c #Conflicts: 988000 | #Constraints: 68041
1533.47/1537.88 c #Conflicts: 989000 | #Constraints: 69041
1533.47/1537.88 c #Conflicts: 990000 | #Constraints: 70041
1533.47/1537.88 c #Conflicts: 991000 | #Constraints: 71041
1533.47/1537.88 c #Conflicts: 992000 | #Constraints: 72041
1533.47/1537.88 c #Conflicts: 993000 | #Constraints: 73041
1533.47/1537.88 c #Conflicts: 994000 | #Constraints: 74041
1533.47/1537.88 c #Conflicts: 995000 | #Constraints: 75041
1533.47/1537.88 c #Conflicts: 996000 | #Constraints: 76041
1533.47/1537.88 c #Conflicts: 997000 | #Constraints: 77041
1533.47/1537.88 c #Conflicts: 998000 | #Constraints: 78041
1533.47/1537.88 c #Conflicts: 999000 | #Constraints: 79041
1533.47/1537.88 c #Conflicts: 1000000 | #Constraints: 80041
1533.47/1537.88 c #Conflicts: 1001000 | #Constraints: 81041
1533.47/1537.88 c #Conflicts: 1002000 | #Constraints: 82041
1533.47/1537.88 c #Conflicts: 1003000 | #Constraints: 83041
1533.47/1537.88 c #Conflicts: 1004000 | #Constraints: 84041
1533.47/1537.88 c #Conflicts: 1005000 | #Constraints: 85041
1533.47/1537.88 c #Conflicts: 1006000 | #Constraints: 86041
1533.47/1537.88 c #Conflicts: 1007000 | #Constraints: 87041
1533.47/1537.88 c #Conflicts: 1008000 | #Constraints: 88041
1533.47/1537.88 c #Conflicts: 1009000 | #Constraints: 89041
1533.47/1537.88 c #Conflicts: 1010000 | #Constraints: 90041
1533.47/1537.88 c #Conflicts: 1011000 | #Constraints: 91041
1533.47/1537.88 c #Conflicts: 1012000 | #Constraints: 92041
1533.47/1537.88 c #Conflicts: 1013000 | #Constraints: 93041
1533.47/1537.88 c #Conflicts: 1014000 | #Constraints: 94041
1533.47/1537.88 c #Conflicts: 1015000 | #Constraints: 95041
1533.47/1537.88 c #Conflicts: 1016000 | #Constraints: 96041
1533.47/1537.88 c #Conflicts: 1017000 | #Constraints: 97041
1533.47/1537.88 c #Conflicts: 1018000 | #Constraints: 98041
1533.47/1537.88 c #Conflicts: 1019000 | #Constraints: 99041
1712.68/1717.55 c #Conflicts: 1020000 | #Constraints: 100041
1712.68/1717.55 c #Conflicts: 1021000 | #Constraints: 101041
1712.68/1717.55 c #Conflicts: 1022000 | #Constraints: 102041
1712.68/1717.55 c #Conflicts: 1023000 | #Constraints: 103041
1712.68/1717.55 c #Conflicts: 1024000 | #Constraints: 104041
1712.68/1717.55 c #Conflicts: 1025000 | #Constraints: 105041
1712.68/1717.55 c #Conflicts: 1026000 | #Constraints: 106041
1712.68/1717.55 c INPROCESSING
1712.68/1717.55 c GARBAGE COLLECT
1712.68/1717.55 c #Conflicts: 1027000 | #Constraints: 56895
1712.68/1717.55 c #Conflicts: 1028000 | #Constraints: 57895
1712.68/1717.55 c #Conflicts: 1029000 | #Constraints: 58895
1712.68/1717.55 c #Conflicts: 1030000 | #Constraints: 59895
1712.68/1717.55 c #Conflicts: 1031000 | #Constraints: 60895
1712.68/1717.55 c #Conflicts: 1032000 | #Constraints: 61895
1712.68/1717.55 c #Conflicts: 1033000 | #Constraints: 62895
1712.68/1717.55 c #Conflicts: 1034000 | #Constraints: 63895
1712.68/1717.55 c #Conflicts: 1035000 | #Constraints: 64895
1712.68/1717.55 c #Conflicts: 1036000 | #Constraints: 65895
1712.68/1717.55 c #Conflicts: 1037000 | #Constraints: 66895
1712.68/1717.55 c #Conflicts: 1038000 | #Constraints: 67895
1712.68/1717.55 c #Conflicts: 1039000 | #Constraints: 68895
1712.68/1717.55 c #Conflicts: 1040000 | #Constraints: 69895
1712.68/1717.55 c #Conflicts: 1041000 | #Constraints: 70895
1712.68/1717.55 c #Conflicts: 1042000 | #Constraints: 71895
1712.68/1717.55 c #Conflicts: 1043000 | #Constraints: 72895
1712.68/1717.55 c #Conflicts: 1044000 | #Constraints: 73895
1712.68/1717.55 c #Conflicts: 1045000 | #Constraints: 74895
1712.68/1717.55 c #Conflicts: 1046000 | #Constraints: 75895
1712.68/1717.55 c #Conflicts: 1047000 | #Constraints: 76895
1712.68/1717.55 c #Conflicts: 1048000 | #Constraints: 77895
1712.68/1717.55 c #Conflicts: 1049000 | #Constraints: 78895
1712.68/1717.55 c INPROCESSING
1712.68/1717.55 c GARBAGE COLLECT
1712.68/1717.55 c #Conflicts: 1050000 | #Constraints: 43533
1712.68/1717.55 c #Conflicts: 1051000 | #Constraints: 44533
1712.68/1717.55 c #Conflicts: 1052000 | #Constraints: 45533
1712.68/1717.55 c #Conflicts: 1053000 | #Constraints: 46533
1712.68/1717.55 c #Conflicts: 1054000 | #Constraints: 47533
1712.68/1717.55 c #Conflicts: 1055000 | #Constraints: 48533
1712.68/1717.55 c #Conflicts: 1056000 | #Constraints: 49533
1712.68/1717.55 c #Conflicts: 1057000 | #Constraints: 50533
1712.68/1717.55 c #Conflicts: 1058000 | #Constraints: 51533
1712.68/1717.55 c #Conflicts: 1059000 | #Constraints: 52533
1712.68/1717.55 c #Conflicts: 1060000 | #Constraints: 53533
1712.68/1717.55 c #Conflicts: 1061000 | #Constraints: 54533
1712.68/1717.55 c #Conflicts: 1062000 | #Constraints: 55533
1712.68/1717.55 c #Conflicts: 1063000 | #Constraints: 56533
1712.68/1717.55 c #Conflicts: 1064000 | #Constraints: 57533
1712.68/1717.55 c #Conflicts: 1065000 | #Constraints: 58533
1712.68/1717.55 c #Conflicts: 1066000 | #Constraints: 59533
1712.68/1717.55 c #Conflicts: 1067000 | #Constraints: 60533
1712.68/1717.55 c #Conflicts: 1068000 | #Constraints: 61533
1712.68/1717.55 c #Conflicts: 1069000 | #Constraints: 62533
1712.68/1717.55 c #Conflicts: 1070000 | #Constraints: 63533
1712.68/1717.55 c #Conflicts: 1071000 | #Constraints: 64533
1712.68/1717.55 c #Conflicts: 1072000 | #Constraints: 65533
1712.68/1717.55 c INPROCESSING
1712.68/1717.55 c GARBAGE COLLECT
1712.68/1717.55 c #Conflicts: 1073000 | #Constraints: 36896
1712.68/1717.55 c #Conflicts: 1074000 | #Constraints: 37896
1712.68/1717.55 c #Conflicts: 1075000 | #Constraints: 38896
1712.68/1717.55 c #Conflicts: 1076000 | #Constraints: 39896
1712.68/1717.55 c #Conflicts: 1077000 | #Constraints: 40896
1712.68/1717.55 c #Conflicts: 1078000 | #Constraints: 41896
1712.68/1717.55 c #Conflicts: 1079000 | #Constraints: 42896
1712.68/1717.55 c #Conflicts: 1080000 | #Constraints: 43896
1712.68/1717.55 c #Conflicts: 1081000 | #Constraints: 44896
1712.68/1717.55 c #Conflicts: 1082000 | #Constraints: 45896
1712.68/1717.55 c #Conflicts: 1083000 | #Constraints: 46896
1712.68/1717.55 c #Conflicts: 1084000 | #Constraints: 47896
1712.68/1717.55 c #Conflicts: 1085000 | #Constraints: 48896
1712.68/1717.55 c #Conflicts: 1086000 | #Constraints: 49896
1712.68/1717.55 c #Conflicts: 1087000 | #Constraints: 50896
1712.68/1717.55 c #Conflicts: 1088000 | #Constraints: 51896
1712.68/1717.55 c #Conflicts: 1089000 | #Constraints: 52896
1712.68/1717.55 c #Conflicts: 1090000 | #Constraints: 53896
1712.68/1717.55 c #Conflicts: 1091000 | #Constraints: 54896
1712.68/1717.55 c #Conflicts: 1092000 | #Constraints: 55896
1712.68/1717.55 c #Conflicts: 1093000 | #Constraints: 56896
1712.68/1717.55 c #Conflicts: 1094000 | #Constraints: 57896
1712.68/1717.55 c #Conflicts: 1095000 | #Constraints: 58896
1712.68/1717.55 c INPROCESSING
1712.68/1717.55 c GARBAGE COLLECT
1712.68/1717.55 c #Conflicts: 1096000 | #Constraints: 33481
1822.78/1827.95 c #Conflicts: 1097000 | #Constraints: 34481
1822.78/1827.95 c #Conflicts: 1098000 | #Constraints: 35481
1822.78/1827.95 c #Conflicts: 1099000 | #Constraints: 36481
1822.78/1827.95 c #Conflicts: 1100000 | #Constraints: 37481
1822.78/1827.95 c #Conflicts: 1101000 | #Constraints: 38481
1822.78/1827.95 c #Conflicts: 1102000 | #Constraints: 39481
1822.78/1827.95 c #Conflicts: 1103000 | #Constraints: 40481
1822.78/1827.95 c #Conflicts: 1104000 | #Constraints: 41481
1822.78/1827.95 c #Conflicts: 1105000 | #Constraints: 42481
1822.78/1827.95 c #Conflicts: 1106000 | #Constraints: 43481
1822.78/1827.95 c #Conflicts: 1107000 | #Constraints: 44481
1822.78/1827.95 c #Conflicts: 1108000 | #Constraints: 45481
1822.78/1827.95 c #Conflicts: 1109000 | #Constraints: 46481
1822.78/1827.95 c #Conflicts: 1110000 | #Constraints: 47481
1822.78/1827.95 c #Conflicts: 1111000 | #Constraints: 48481
1822.78/1827.95 c #Conflicts: 1112000 | #Constraints: 49481
1822.78/1827.95 c #Conflicts: 1113000 | #Constraints: 50481
1822.78/1827.95 c #Conflicts: 1114000 | #Constraints: 51481
1822.78/1827.95 c #Conflicts: 1115000 | #Constraints: 52481
1822.78/1827.95 c #Conflicts: 1116000 | #Constraints: 53481
1822.78/1827.95 c #Conflicts: 1117000 | #Constraints: 54481
1822.78/1827.95 c #Conflicts: 1118000 | #Constraints: 55481
1822.78/1827.95 c INPROCESSING
1822.78/1827.95 c GARBAGE COLLECT
1822.78/1827.95 c #Conflicts: 1119000 | #Constraints: 31633
1822.78/1827.95 c #Conflicts: 1120000 | #Constraints: 32633
1822.78/1827.95 c #Conflicts: 1121000 | #Constraints: 33633
1822.78/1827.95 c #Conflicts: 1122000 | #Constraints: 34633
1822.78/1827.95 c #Conflicts: 1123000 | #Constraints: 35633
1822.78/1827.95 c #Conflicts: 1124000 | #Constraints: 36633
1822.78/1827.95 c #Conflicts: 1125000 | #Constraints: 37633
1822.78/1827.95 c #Conflicts: 1126000 | #Constraints: 38633
1822.78/1827.95 c #Conflicts: 1127000 | #Constraints: 39633
1822.78/1827.95 c #Conflicts: 1128000 | #Constraints: 40633
1822.78/1827.95 c #Conflicts: 1129000 | #Constraints: 41633
1822.78/1827.95 c #Conflicts: 1130000 | #Constraints: 42633
1822.78/1827.95 c #Conflicts: 1131000 | #Constraints: 43633
1822.78/1827.95 c #Conflicts: 1132000 | #Constraints: 44633
1822.78/1827.95 c #Conflicts: 1133000 | #Constraints: 45633
1822.78/1827.95 c #Conflicts: 1134000 | #Constraints: 46633
1822.78/1827.95 c #Conflicts: 1135000 | #Constraints: 47633
1822.78/1827.95 c #Conflicts: 1136000 | #Constraints: 48633
1822.78/1827.95 c #Conflicts: 1137000 | #Constraints: 49633
1822.78/1827.95 c #Conflicts: 1138000 | #Constraints: 50633
1822.78/1827.95 c #Conflicts: 1139000 | #Constraints: 51633
1822.78/1827.95 c #Conflicts: 1140000 | #Constraints: 52633
1822.78/1827.95 c #Conflicts: 1141000 | #Constraints: 53633
1822.78/1827.95 c #Conflicts: 1142000 | #Constraints: 54633
1822.78/1827.95 c INPROCESSING
1822.78/1827.95 c GARBAGE COLLECT
1822.78/1827.95 c #Conflicts: 1143000 | #Constraints: 31436
1822.78/1827.95 c #Conflicts: 1144000 | #Constraints: 32436
1822.78/1827.95 c #Conflicts: 1145000 | #Constraints: 33436
1822.78/1827.95 c #Conflicts: 1146000 | #Constraints: 34436
1822.78/1827.95 c #Conflicts: 1147000 | #Constraints: 35436
1822.78/1827.95 c #Conflicts: 1148000 | #Constraints: 36436
1822.78/1827.95 c #Conflicts: 1149000 | #Constraints: 37436
1822.78/1827.95 c #Conflicts: 1150000 | #Constraints: 38436
1822.78/1827.95 c #Conflicts: 1151000 | #Constraints: 39436
1822.78/1827.95 c #Conflicts: 1152000 | #Constraints: 40436
1822.78/1827.95 c #Conflicts: 1153000 | #Constraints: 41436
1822.78/1827.95 c #Conflicts: 1154000 | #Constraints: 42436
1822.78/1827.95 c #Conflicts: 1155000 | #Constraints: 43436
1822.78/1827.95 c #Conflicts: 1156000 | #Constraints: 44436
1822.78/1827.95 c #Conflicts: 1157000 | #Constraints: 45436
1822.78/1827.95 c #Conflicts: 1158000 | #Constraints: 46436
1822.78/1827.95 c #Conflicts: 1159000 | #Constraints: 47436
1822.78/1827.95 c #Conflicts: 1160000 | #Constraints: 48436
1822.78/1827.95 c #Conflicts: 1161000 | #Constraints: 49436
1822.78/1827.95 c #Conflicts: 1162000 | #Constraints: 50436
1822.78/1827.95 c #Conflicts: 1163000 | #Constraints: 51436
1822.78/1827.95 c #Conflicts: 1164000 | #Constraints: 52436
1822.78/1827.95 c #Conflicts: 1165000 | #Constraints: 53436
1822.78/1827.95 c #Conflicts: 1166000 | #Constraints: 54436
1822.78/1827.95 c INPROCESSING
1822.78/1827.95 c GARBAGE COLLECT
1822.78/1827.95 c rational objective 92.5458
1953.15/1958.73 c #Conflicts: 1167000 | #Constraints: 31509
1953.15/1958.73 c #Conflicts: 1168000 | #Constraints: 32509
1953.15/1958.73 c #Conflicts: 1169000 | #Constraints: 33509
1953.15/1958.73 c #Conflicts: 1170000 | #Constraints: 34509
1953.15/1958.73 c #Conflicts: 1171000 | #Constraints: 35509
1953.15/1958.73 c #Conflicts: 1172000 | #Constraints: 36509
1953.15/1958.73 c #Conflicts: 1173000 | #Constraints: 37509
1953.15/1958.73 c #Conflicts: 1174000 | #Constraints: 38509
1953.15/1958.73 c #Conflicts: 1175000 | #Constraints: 39509
1953.15/1958.73 c #Conflicts: 1176000 | #Constraints: 40509
1953.15/1958.73 c #Conflicts: 1177000 | #Constraints: 41509
1953.15/1958.73 c #Conflicts: 1178000 | #Constraints: 42509
1953.15/1958.73 c #Conflicts: 1179000 | #Constraints: 43509
1953.15/1958.73 c #Conflicts: 1180000 | #Constraints: 44509
1953.15/1958.73 c #Conflicts: 1181000 | #Constraints: 45509
1953.15/1958.73 c #Conflicts: 1182000 | #Constraints: 46509
1953.15/1958.73 c #Conflicts: 1183000 | #Constraints: 47509
1953.15/1958.73 c #Conflicts: 1184000 | #Constraints: 48509
1953.15/1958.73 c #Conflicts: 1185000 | #Constraints: 49509
1953.15/1958.73 c #Conflicts: 1186000 | #Constraints: 50509
1953.15/1958.73 c #Conflicts: 1187000 | #Constraints: 51509
1953.15/1958.73 c #Conflicts: 1188000 | #Constraints: 52509
1953.15/1958.73 c #Conflicts: 1189000 | #Constraints: 53509
1953.15/1958.73 c #Conflicts: 1190000 | #Constraints: 54509
1953.15/1958.73 c INPROCESSING
1953.15/1958.73 c GARBAGE COLLECT
1953.15/1958.73 c #Conflicts: 1191000 | #Constraints: 31605
1953.15/1958.73 c #Conflicts: 1192000 | #Constraints: 32605
1953.15/1958.73 c #Conflicts: 1193000 | #Constraints: 33605
1953.15/1958.73 c #Conflicts: 1194000 | #Constraints: 34605
1953.15/1958.73 c #Conflicts: 1195000 | #Constraints: 35605
1953.15/1958.73 c #Conflicts: 1196000 | #Constraints: 36605
1953.15/1958.73 c #Conflicts: 1197000 | #Constraints: 37605
1953.15/1958.73 c #Conflicts: 1198000 | #Constraints: 38605
1953.15/1958.73 c #Conflicts: 1199000 | #Constraints: 39605
1953.15/1958.73 c #Conflicts: 1200000 | #Constraints: 40605
1953.15/1958.73 c #Conflicts: 1201000 | #Constraints: 41605
1953.15/1958.73 c #Conflicts: 1202000 | #Constraints: 42605
1953.15/1958.73 c #Conflicts: 1203000 | #Constraints: 43605
1953.15/1958.73 c #Conflicts: 1204000 | #Constraints: 44605
1953.15/1958.73 c #Conflicts: 1205000 | #Constraints: 45605
1953.15/1958.73 c #Conflicts: 1206000 | #Constraints: 46605
1953.15/1958.73 c #Conflicts: 1207000 | #Constraints: 47605
1953.15/1958.73 c #Conflicts: 1208000 | #Constraints: 48605
1953.15/1958.73 c #Conflicts: 1209000 | #Constraints: 49605
1953.15/1958.73 c #Conflicts: 1210000 | #Constraints: 50605
1953.15/1958.73 c #Conflicts: 1211000 | #Constraints: 51605
1953.15/1958.73 c #Conflicts: 1212000 | #Constraints: 52605
1953.15/1958.73 c #Conflicts: 1213000 | #Constraints: 53605
1953.15/1958.73 c #Conflicts: 1214000 | #Constraints: 54605
1953.15/1958.73 c #Conflicts: 1215000 | #Constraints: 55605
1953.15/1958.73 c #Conflicts: 1216000 | #Constraints: 56605
1953.15/1958.73 c #Conflicts: 1217000 | #Constraints: 57605
1953.15/1958.73 c #Conflicts: 1218000 | #Constraints: 58605
1953.15/1958.73 c #Conflicts: 1219000 | #Constraints: 59605
1953.15/1958.73 c #Conflicts: 1220000 | #Constraints: 60605
1953.15/1958.73 c #Conflicts: 1221000 | #Constraints: 61605
1953.15/1958.73 c #Conflicts: 1222000 | #Constraints: 62605
1953.15/1958.73 c #Conflicts: 1223000 | #Constraints: 63605
1953.15/1958.73 c #Conflicts: 1224000 | #Constraints: 64605
1953.15/1958.73 c #Conflicts: 1225000 | #Constraints: 65605
1953.15/1958.73 c #Conflicts: 1226000 | #Constraints: 66605
1953.15/1958.73 c #Conflicts: 1227000 | #Constraints: 67605
1953.15/1958.73 c #Conflicts: 1228000 | #Constraints: 68605
1953.15/1958.73 c #Conflicts: 1229000 | #Constraints: 69605
1953.15/1958.73 c #Conflicts: 1230000 | #Constraints: 70605
1953.15/1958.73 c #Conflicts: 1231000 | #Constraints: 71605
1953.15/1958.73 c #Conflicts: 1232000 | #Constraints: 72605
1953.15/1958.73 c #Conflicts: 1233000 | #Constraints: 73605
1953.15/1958.73 c #Conflicts: 1234000 | #Constraints: 74605
1953.15/1958.73 c #Conflicts: 1235000 | #Constraints: 75605
1953.15/1958.73 c #Conflicts: 1236000 | #Constraints: 76605
1953.15/1958.73 c #Conflicts: 1237000 | #Constraints: 77605
1953.15/1958.73 c #Conflicts: 1238000 | #Constraints: 78605
1953.15/1958.73 c #Conflicts: 1239000 | #Constraints: 79605
1953.15/1958.73 c #Conflicts: 1240000 | #Constraints: 80605
1953.15/1958.73 c #Conflicts: 1241000 | #Constraints: 81605
1953.15/1958.73 c #Conflicts: 1242000 | #Constraints: 82605
1953.15/1958.73 c #Conflicts: 1243000 | #Constraints: 83605
1953.15/1958.73 c #Conflicts: 1244000 | #Constraints: 84605
1953.15/1958.73 c #Conflicts: 1245000 | #Constraints: 85605
2170.24/2176.59 c #Conflicts: 1246000 | #Constraints: 86605
2170.24/2176.59 c #Conflicts: 1247000 | #Constraints: 87605
2170.24/2176.59 c #Conflicts: 1248000 | #Constraints: 88606
2170.24/2176.59 c #Conflicts: 1249000 | #Constraints: 89606
2170.24/2176.59 c #Conflicts: 1250000 | #Constraints: 90606
2170.24/2176.59 c #Conflicts: 1251000 | #Constraints: 91606
2170.24/2176.59 c #Conflicts: 1252000 | #Constraints: 92606
2170.24/2176.59 c #Conflicts: 1253000 | #Constraints: 93606
2170.24/2176.59 c #Conflicts: 1254000 | #Constraints: 94606
2170.24/2176.59 c #Conflicts: 1255000 | #Constraints: 95606
2170.24/2176.59 c #Conflicts: 1256000 | #Constraints: 96606
2170.24/2176.59 c #Conflicts: 1257000 | #Constraints: 97606
2170.24/2176.59 c #Conflicts: 1258000 | #Constraints: 98606
2170.24/2176.59 c #Conflicts: 1259000 | #Constraints: 99606
2170.24/2176.59 c #Conflicts: 1260000 | #Constraints: 100606
2170.24/2176.59 c #Conflicts: 1261000 | #Constraints: 101606
2170.24/2176.59 c #Conflicts: 1262000 | #Constraints: 102606
2170.24/2176.59 c #Conflicts: 1263000 | #Constraints: 103606
2170.24/2176.59 c #Conflicts: 1264000 | #Constraints: 104606
2170.24/2176.59 c #Conflicts: 1265000 | #Constraints: 105606
2170.24/2176.59 c #Conflicts: 1266000 | #Constraints: 106606
2170.24/2176.59 c #Conflicts: 1267000 | #Constraints: 107606
2170.24/2176.59 c #Conflicts: 1268000 | #Constraints: 108606
2170.24/2176.59 c #Conflicts: 1269000 | #Constraints: 109606
2170.24/2176.59 c #Conflicts: 1270000 | #Constraints: 110606
2170.24/2176.59 c #Conflicts: 1271000 | #Constraints: 111606
2170.24/2176.59 c #Conflicts: 1272000 | #Constraints: 112606
2170.24/2176.59 c #Conflicts: 1273000 | #Constraints: 113606
2170.24/2176.59 c #Conflicts: 1274000 | #Constraints: 114606
2170.24/2176.59 c #Conflicts: 1275000 | #Constraints: 115606
2170.24/2176.59 c #Conflicts: 1276000 | #Constraints: 116606
2170.24/2176.59 c #Conflicts: 1277000 | #Constraints: 117606
2170.24/2176.59 c #Conflicts: 1278000 | #Constraints: 118606
2170.24/2176.59 c INPROCESSING
2170.24/2176.59 c GARBAGE COLLECT
2170.24/2176.59 c #Conflicts: 1279000 | #Constraints: 63680
2170.24/2176.59 c #Conflicts: 1280000 | #Constraints: 64680
2170.24/2176.59 c #Conflicts: 1281000 | #Constraints: 65680
2170.24/2176.59 c #Conflicts: 1282000 | #Constraints: 66680
2170.24/2176.59 c #Conflicts: 1283000 | #Constraints: 67680
2170.24/2176.59 c #Conflicts: 1284000 | #Constraints: 68680
2170.24/2176.59 c #Conflicts: 1285000 | #Constraints: 69680
2170.24/2176.59 c #Conflicts: 1286000 | #Constraints: 70680
2170.24/2176.59 c #Conflicts: 1287000 | #Constraints: 71680
2170.24/2176.59 c #Conflicts: 1288000 | #Constraints: 72680
2170.24/2176.59 c #Conflicts: 1289000 | #Constraints: 73680
2170.24/2176.59 c #Conflicts: 1290000 | #Constraints: 74680
2170.24/2176.59 c #Conflicts: 1291000 | #Constraints: 75680
2170.24/2176.59 c #Conflicts: 1292000 | #Constraints: 76680
2170.24/2176.59 c #Conflicts: 1293000 | #Constraints: 77680
2170.24/2176.59 c #Conflicts: 1294000 | #Constraints: 78680
2170.24/2176.59 c #Conflicts: 1295000 | #Constraints: 79680
2170.24/2176.59 c #Conflicts: 1296000 | #Constraints: 80680
2170.24/2176.59 c #Conflicts: 1297000 | #Constraints: 81680
2170.24/2176.59 c #Conflicts: 1298000 | #Constraints: 82680
2170.24/2176.59 c #Conflicts: 1299000 | #Constraints: 83680
2170.24/2176.59 c #Conflicts: 1300000 | #Constraints: 84680
2170.24/2176.59 c #Conflicts: 1301000 | #Constraints: 85680
2170.24/2176.59 c #Conflicts: 1302000 | #Constraints: 86680
2170.24/2176.59 c #Conflicts: 1303000 | #Constraints: 87680
2170.24/2176.59 c INPROCESSING
2170.24/2176.59 c GARBAGE COLLECT
2170.24/2176.59 c #Conflicts: 1304000 | #Constraints: 48092
2170.24/2176.59 c #Conflicts: 1305000 | #Constraints: 49092
2170.24/2176.59 c #Conflicts: 1306000 | #Constraints: 50092
2170.24/2176.59 c #Conflicts: 1307000 | #Constraints: 51092
2170.24/2176.59 c #Conflicts: 1308000 | #Constraints: 52092
2170.24/2176.59 c #Conflicts: 1309000 | #Constraints: 53092
2170.24/2176.59 c #Conflicts: 1310000 | #Constraints: 54092
2170.24/2176.59 c #Conflicts: 1311000 | #Constraints: 55092
2170.24/2176.59 c #Conflicts: 1312000 | #Constraints: 56092
2170.24/2176.59 c #Conflicts: 1313000 | #Constraints: 57092
2170.24/2176.59 c #Conflicts: 1314000 | #Constraints: 58092
2170.24/2176.59 c #Conflicts: 1315000 | #Constraints: 59092
2170.24/2176.59 c #Conflicts: 1316000 | #Constraints: 60092
2170.24/2176.59 c #Conflicts: 1317000 | #Constraints: 61092
2170.24/2176.59 c #Conflicts: 1318000 | #Constraints: 62092
2170.24/2176.59 c #Conflicts: 1319000 | #Constraints: 63092
2170.24/2176.59 c #Conflicts: 1320000 | #Constraints: 64092
2170.24/2176.59 c #Conflicts: 1321000 | #Constraints: 65092
2170.24/2176.59 c #Conflicts: 1322000 | #Constraints: 66092
2280.99/2287.60 c #Conflicts: 1323000 | #Constraints: 67092
2280.99/2287.60 c #Conflicts: 1324000 | #Constraints: 68092
2280.99/2287.60 c #Conflicts: 1325000 | #Constraints: 69092
2280.99/2287.60 c #Conflicts: 1326000 | #Constraints: 70092
2280.99/2287.60 c #Conflicts: 1327000 | #Constraints: 71092
2280.99/2287.60 c #Conflicts: 1328000 | #Constraints: 72092
2280.99/2287.60 c INPROCESSING
2280.99/2287.60 c GARBAGE COLLECT
2280.99/2287.60 c #Conflicts: 1329000 | #Constraints: 40127
2280.99/2287.60 c #Conflicts: 1330000 | #Constraints: 41127
2280.99/2287.60 c #Conflicts: 1331000 | #Constraints: 42127
2280.99/2287.60 c #Conflicts: 1332000 | #Constraints: 43127
2280.99/2287.60 c #Conflicts: 1333000 | #Constraints: 44127
2280.99/2287.60 c #Conflicts: 1334000 | #Constraints: 45127
2280.99/2287.60 c #Conflicts: 1335000 | #Constraints: 46127
2280.99/2287.60 c #Conflicts: 1336000 | #Constraints: 47127
2280.99/2287.60 c #Conflicts: 1337000 | #Constraints: 48127
2280.99/2287.60 c #Conflicts: 1338000 | #Constraints: 49127
2280.99/2287.60 c #Conflicts: 1339000 | #Constraints: 50127
2280.99/2287.60 c #Conflicts: 1340000 | #Constraints: 51127
2280.99/2287.60 c #Conflicts: 1341000 | #Constraints: 52127
2280.99/2287.60 c #Conflicts: 1342000 | #Constraints: 53127
2280.99/2287.60 c #Conflicts: 1343000 | #Constraints: 54127
2280.99/2287.60 c #Conflicts: 1344000 | #Constraints: 55127
2280.99/2287.60 c #Conflicts: 1345000 | #Constraints: 56127
2280.99/2287.60 c #Conflicts: 1346000 | #Constraints: 57127
2280.99/2287.60 c #Conflicts: 1347000 | #Constraints: 58127
2280.99/2287.60 c #Conflicts: 1348000 | #Constraints: 59127
2280.99/2287.60 c #Conflicts: 1349000 | #Constraints: 60127
2280.99/2287.60 c #Conflicts: 1350000 | #Constraints: 61127
2280.99/2287.60 c #Conflicts: 1351000 | #Constraints: 62127
2280.99/2287.60 c #Conflicts: 1352000 | #Constraints: 63127
2280.99/2287.60 c #Conflicts: 1353000 | #Constraints: 64127
2280.99/2287.60 c #Conflicts: 1354000 | #Constraints: 65127
2280.99/2287.60 c INPROCESSING
2280.99/2287.60 c GARBAGE COLLECT
2280.99/2287.60 c #Conflicts: 1355000 | #Constraints: 36799
2280.99/2287.60 c #Conflicts: 1356000 | #Constraints: 37799
2280.99/2287.60 c #Conflicts: 1357000 | #Constraints: 38799
2280.99/2287.60 c #Conflicts: 1358000 | #Constraints: 39799
2280.99/2287.60 c #Conflicts: 1359000 | #Constraints: 40799
2280.99/2287.60 c #Conflicts: 1360000 | #Constraints: 41799
2280.99/2287.60 c #Conflicts: 1361000 | #Constraints: 42799
2280.99/2287.60 c #Conflicts: 1362000 | #Constraints: 43799
2280.99/2287.60 c #Conflicts: 1363000 | #Constraints: 44799
2280.99/2287.60 c #Conflicts: 1364000 | #Constraints: 45799
2280.99/2287.60 c #Conflicts: 1365000 | #Constraints: 46799
2280.99/2287.60 c #Conflicts: 1366000 | #Constraints: 47799
2280.99/2287.60 c #Conflicts: 1367000 | #Constraints: 48799
2280.99/2287.60 c #Conflicts: 1368000 | #Constraints: 49799
2280.99/2287.60 c #Conflicts: 1369000 | #Constraints: 50799
2280.99/2287.60 c #Conflicts: 1370000 | #Constraints: 51799
2280.99/2287.60 c #Conflicts: 1371000 | #Constraints: 52799
2280.99/2287.60 c #Conflicts: 1372000 | #Constraints: 53799
2280.99/2287.60 c #Conflicts: 1373000 | #Constraints: 54799
2280.99/2287.60 c #Conflicts: 1374000 | #Constraints: 55799
2280.99/2287.60 c #Conflicts: 1375000 | #Constraints: 56799
2280.99/2287.60 c #Conflicts: 1376000 | #Constraints: 57799
2280.99/2287.60 c #Conflicts: 1377000 | #Constraints: 58799
2280.99/2287.60 c #Conflicts: 1378000 | #Constraints: 59799
2280.99/2287.60 c #Conflicts: 1379000 | #Constraints: 60799
2280.99/2287.60 c #Conflicts: 1380000 | #Constraints: 61799
2280.99/2287.60 c INPROCESSING
2280.99/2287.60 c GARBAGE COLLECT
2280.99/2287.60 c rational objective 92.5809
2388.06/2395.07 c #Conflicts: 1381000 | #Constraints: 35204
2388.06/2395.07 c #Conflicts: 1382000 | #Constraints: 36204
2388.06/2395.07 c #Conflicts: 1383000 | #Constraints: 37204
2388.06/2395.07 c #Conflicts: 1384000 | #Constraints: 38204
2388.06/2395.07 c #Conflicts: 1385000 | #Constraints: 39204
2388.06/2395.07 c #Conflicts: 1386000 | #Constraints: 40204
2388.06/2395.07 c #Conflicts: 1387000 | #Constraints: 41204
2388.06/2395.07 c #Conflicts: 1388000 | #Constraints: 42204
2388.06/2395.07 c #Conflicts: 1389000 | #Constraints: 43204
2388.06/2395.07 c #Conflicts: 1390000 | #Constraints: 44204
2388.06/2395.07 c #Conflicts: 1391000 | #Constraints: 45204
2388.06/2395.07 c #Conflicts: 1392000 | #Constraints: 46204
2388.06/2395.07 c #Conflicts: 1393000 | #Constraints: 47204
2388.06/2395.07 c #Conflicts: 1394000 | #Constraints: 48204
2388.06/2395.07 c #Conflicts: 1395000 | #Constraints: 49204
2388.06/2395.07 c #Conflicts: 1396000 | #Constraints: 50204
2388.06/2395.07 c #Conflicts: 1397000 | #Constraints: 51204
2388.06/2395.07 c #Conflicts: 1398000 | #Constraints: 52204
2388.06/2395.07 c #Conflicts: 1399000 | #Constraints: 53204
2388.06/2395.07 c #Conflicts: 1400000 | #Constraints: 54204
2388.06/2395.07 c #Conflicts: 1401000 | #Constraints: 55204
2388.06/2395.07 c #Conflicts: 1402000 | #Constraints: 56204
2388.06/2395.07 c #Conflicts: 1403000 | #Constraints: 57204
2388.06/2395.07 c #Conflicts: 1404000 | #Constraints: 58204
2388.06/2395.07 c #Conflicts: 1405000 | #Constraints: 59204
2388.06/2395.07 c #Conflicts: 1406000 | #Constraints: 60204
2388.06/2395.07 c INPROCESSING
2388.06/2395.07 c GARBAGE COLLECT
2388.06/2395.07 c #Conflicts: 1407000 | #Constraints: 34431
2388.06/2395.07 c #Conflicts: 1408000 | #Constraints: 35431
2388.06/2395.07 c #Conflicts: 1409000 | #Constraints: 36431
2388.06/2395.07 c #Conflicts: 1410000 | #Constraints: 37431
2388.06/2395.07 c #Conflicts: 1411000 | #Constraints: 38431
2388.06/2395.07 c #Conflicts: 1412000 | #Constraints: 39431
2388.06/2395.07 c #Conflicts: 1413000 | #Constraints: 40431
2388.06/2395.07 c #Conflicts: 1414000 | #Constraints: 41431
2388.06/2395.07 c #Conflicts: 1415000 | #Constraints: 42431
2388.06/2395.07 c #Conflicts: 1416000 | #Constraints: 43431
2388.06/2395.07 c #Conflicts: 1417000 | #Constraints: 44431
2388.06/2395.07 c #Conflicts: 1418000 | #Constraints: 45431
2388.06/2395.07 c #Conflicts: 1419000 | #Constraints: 46431
2388.06/2395.07 c #Conflicts: 1420000 | #Constraints: 47431
2388.06/2395.07 c #Conflicts: 1421000 | #Constraints: 48431
2388.06/2395.07 c #Conflicts: 1422000 | #Constraints: 49431
2388.06/2395.07 c #Conflicts: 1423000 | #Constraints: 50431
2388.06/2395.07 c #Conflicts: 1424000 | #Constraints: 51431
2388.06/2395.07 c #Conflicts: 1425000 | #Constraints: 52431
2388.06/2395.07 c #Conflicts: 1426000 | #Constraints: 53431
2388.06/2395.07 c #Conflicts: 1427000 | #Constraints: 54431
2388.06/2395.07 c #Conflicts: 1428000 | #Constraints: 55431
2388.06/2395.07 c #Conflicts: 1429000 | #Constraints: 56431
2388.06/2395.07 c #Conflicts: 1430000 | #Constraints: 57431
2388.06/2395.07 c #Conflicts: 1431000 | #Constraints: 58431
2388.06/2395.07 c #Conflicts: 1432000 | #Constraints: 59431
2388.06/2395.07 c INPROCESSING
2388.06/2395.07 c GARBAGE COLLECT
2388.06/2395.07 c #Conflicts: 1433000 | #Constraints: 33899
2388.06/2395.07 c #Conflicts: 1434000 | #Constraints: 34899
2388.06/2395.07 c #Conflicts: 1435000 | #Constraints: 35899
2388.06/2395.07 c #Conflicts: 1436000 | #Constraints: 36899
2388.06/2395.07 c #Conflicts: 1437000 | #Constraints: 37899
2388.06/2395.07 c #Conflicts: 1438000 | #Constraints: 38899
2388.06/2395.07 c #Conflicts: 1439000 | #Constraints: 39899
2388.06/2395.07 c #Conflicts: 1440000 | #Constraints: 40899
2388.06/2395.07 c #Conflicts: 1441000 | #Constraints: 41899
2388.06/2395.07 c #Conflicts: 1442000 | #Constraints: 42899
2388.06/2395.07 c #Conflicts: 1443000 | #Constraints: 43899
2388.06/2395.07 c #Conflicts: 1444000 | #Constraints: 44899
2388.06/2395.07 c #Conflicts: 1445000 | #Constraints: 45899
2388.06/2395.07 c #Conflicts: 1446000 | #Constraints: 46899
2388.06/2395.07 c #Conflicts: 1447000 | #Constraints: 47899
2388.06/2395.07 c #Conflicts: 1448000 | #Constraints: 48899
2388.06/2395.07 c #Conflicts: 1449000 | #Constraints: 49899
2388.06/2395.07 c #Conflicts: 1450000 | #Constraints: 50899
2388.06/2395.07 c #Conflicts: 1451000 | #Constraints: 51899
2388.06/2395.07 c #Conflicts: 1452000 | #Constraints: 52899
2388.06/2395.07 c #Conflicts: 1453000 | #Constraints: 53899
2388.06/2395.07 c #Conflicts: 1454000 | #Constraints: 54899
2388.06/2395.07 c #Conflicts: 1455000 | #Constraints: 55899
2388.06/2395.07 c #Conflicts: 1456000 | #Constraints: 56899
2388.06/2395.07 c #Conflicts: 1457000 | #Constraints: 57899
2388.06/2395.07 c #Conflicts: 1458000 | #Constraints: 58899
2671.62/2679.55 c #Conflicts: 1459000 | #Constraints: 59899
2671.62/2679.55 c #Conflicts: 1460000 | #Constraints: 60899
2671.62/2679.55 c #Conflicts: 1461000 | #Constraints: 61899
2671.62/2679.55 c #Conflicts: 1462000 | #Constraints: 62899
2671.62/2679.55 c #Conflicts: 1463000 | #Constraints: 63899
2671.62/2679.55 c #Conflicts: 1464000 | #Constraints: 64899
2671.62/2679.55 c #Conflicts: 1465000 | #Constraints: 65899
2671.62/2679.55 c #Conflicts: 1466000 | #Constraints: 66899
2671.62/2679.55 c #Conflicts: 1467000 | #Constraints: 67899
2671.62/2679.55 c #Conflicts: 1468000 | #Constraints: 68899
2671.62/2679.55 c #Conflicts: 1469000 | #Constraints: 69899
2671.62/2679.55 c #Conflicts: 1470000 | #Constraints: 70899
2671.62/2679.55 c #Conflicts: 1471000 | #Constraints: 71899
2671.62/2679.55 c #Conflicts: 1472000 | #Constraints: 72899
2671.62/2679.55 c #Conflicts: 1473000 | #Constraints: 73899
2671.62/2679.55 c #Conflicts: 1474000 | #Constraints: 74899
2671.62/2679.55 c #Conflicts: 1475000 | #Constraints: 75899
2671.62/2679.55 c #Conflicts: 1476000 | #Constraints: 76899
2671.62/2679.55 c #Conflicts: 1477000 | #Constraints: 77899
2671.62/2679.55 c #Conflicts: 1478000 | #Constraints: 78899
2671.62/2679.55 c #Conflicts: 1479000 | #Constraints: 79899
2671.62/2679.55 c #Conflicts: 1480000 | #Constraints: 80899
2671.62/2679.55 c #Conflicts: 1481000 | #Constraints: 81899
2671.62/2679.55 c #Conflicts: 1482000 | #Constraints: 82899
2671.62/2679.55 c #Conflicts: 1483000 | #Constraints: 83899
2671.62/2679.55 c #Conflicts: 1484000 | #Constraints: 84899
2671.62/2679.55 c #Conflicts: 1485000 | #Constraints: 85899
2671.62/2679.55 c #Conflicts: 1486000 | #Constraints: 86899
2671.62/2679.55 c #Conflicts: 1487000 | #Constraints: 87899
2671.62/2679.55 c #Conflicts: 1488000 | #Constraints: 88899
2671.62/2679.55 c #Conflicts: 1489000 | #Constraints: 89899
2671.62/2679.55 c #Conflicts: 1490000 | #Constraints: 90899
2671.62/2679.55 c #Conflicts: 1491000 | #Constraints: 91899
2671.62/2679.55 c #Conflicts: 1492000 | #Constraints: 92899
2671.62/2679.55 c #Conflicts: 1493000 | #Constraints: 93899
2671.62/2679.55 c #Conflicts: 1494000 | #Constraints: 94899
2671.62/2679.55 c #Conflicts: 1495000 | #Constraints: 95899
2671.62/2679.55 c #Conflicts: 1496000 | #Constraints: 96899
2671.62/2679.55 c #Conflicts: 1497000 | #Constraints: 97899
2671.62/2679.55 c #Conflicts: 1498000 | #Constraints: 98899
2671.62/2679.55 c #Conflicts: 1499000 | #Constraints: 99899
2671.62/2679.55 c #Conflicts: 1500000 | #Constraints: 100899
2671.62/2679.55 c #Conflicts: 1501000 | #Constraints: 101899
2671.62/2679.55 c #Conflicts: 1502000 | #Constraints: 102899
2671.62/2679.55 c #Conflicts: 1503000 | #Constraints: 103899
2671.62/2679.55 c #Conflicts: 1504000 | #Constraints: 104899
2671.62/2679.55 c #Conflicts: 1505000 | #Constraints: 105899
2671.62/2679.55 c #Conflicts: 1506000 | #Constraints: 106899
2671.62/2679.55 c #Conflicts: 1507000 | #Constraints: 107899
2671.62/2679.55 c #Conflicts: 1508000 | #Constraints: 108899
2671.62/2679.55 c #Conflicts: 1509000 | #Constraints: 109899
2671.62/2679.55 c #Conflicts: 1510000 | #Constraints: 110899
2671.62/2679.55 c #Conflicts: 1511000 | #Constraints: 111899
2671.62/2679.55 c #Conflicts: 1512000 | #Constraints: 112899
2671.62/2679.55 c #Conflicts: 1513000 | #Constraints: 113899
2671.62/2679.55 c #Conflicts: 1514000 | #Constraints: 114899
2671.62/2679.55 c #Conflicts: 1515000 | #Constraints: 115899
2671.62/2679.55 c #Conflicts: 1516000 | #Constraints: 116899
2671.62/2679.55 c #Conflicts: 1517000 | #Constraints: 117899
2671.62/2679.55 c #Conflicts: 1518000 | #Constraints: 118899
2671.62/2679.55 c #Conflicts: 1519000 | #Constraints: 119899
2671.62/2679.55 c #Conflicts: 1520000 | #Constraints: 120899
2671.62/2679.55 c #Conflicts: 1521000 | #Constraints: 121899
2671.62/2679.55 c #Conflicts: 1522000 | #Constraints: 122899
2671.62/2679.55 c #Conflicts: 1523000 | #Constraints: 123899
2671.62/2679.55 c #Conflicts: 1524000 | #Constraints: 124899
2671.62/2679.55 c #Conflicts: 1525000 | #Constraints: 125899
2671.62/2679.55 c #Conflicts: 1526000 | #Constraints: 126899
2671.62/2679.55 c #Conflicts: 1527000 | #Constraints: 127899
2671.62/2679.55 c #Conflicts: 1528000 | #Constraints: 128899
2671.62/2679.55 c INPROCESSING
2671.62/2679.55 c GARBAGE COLLECT
2671.62/2679.55 c #Conflicts: 1529000 | #Constraints: 68440
2671.62/2679.55 c #Conflicts: 1530000 | #Constraints: 69440
2671.62/2679.55 c #Conflicts: 1531000 | #Constraints: 70440
2671.62/2679.55 c #Conflicts: 1532000 | #Constraints: 71440
2671.62/2679.55 c #Conflicts: 1533000 | #Constraints: 72440
2671.62/2679.55 c #Conflicts: 1534000 | #Constraints: 73440
2671.62/2679.55 c #Conflicts: 1535000 | #Constraints: 74440
2671.62/2679.55 c #Conflicts: 1536000 | #Constraints: 75440
2878.47/2887.07 c #Conflicts: 1537000 | #Constraints: 76440
2878.47/2887.07 c #Conflicts: 1538000 | #Constraints: 77440
2878.47/2887.07 c #Conflicts: 1539000 | #Constraints: 78440
2878.47/2887.07 c #Conflicts: 1540000 | #Constraints: 79440
2878.47/2887.07 c #Conflicts: 1541000 | #Constraints: 80441
2878.47/2887.07 c #Conflicts: 1542000 | #Constraints: 81441
2878.47/2887.07 c #Conflicts: 1543000 | #Constraints: 82441
2878.47/2887.07 c #Conflicts: 1544000 | #Constraints: 83441
2878.47/2887.07 c #Conflicts: 1545000 | #Constraints: 84441
2878.47/2887.07 c #Conflicts: 1546000 | #Constraints: 85441
2878.47/2887.07 c #Conflicts: 1547000 | #Constraints: 86441
2878.47/2887.07 c #Conflicts: 1548000 | #Constraints: 87441
2878.47/2887.07 c #Conflicts: 1549000 | #Constraints: 88441
2878.47/2887.07 c #Conflicts: 1550000 | #Constraints: 89441
2878.47/2887.07 c #Conflicts: 1551000 | #Constraints: 90441
2878.47/2887.07 c #Conflicts: 1552000 | #Constraints: 91441
2878.47/2887.07 c #Conflicts: 1553000 | #Constraints: 92441
2878.47/2887.07 c #Conflicts: 1554000 | #Constraints: 93441
2878.47/2887.07 c #Conflicts: 1555000 | #Constraints: 94441
2878.47/2887.07 c #Conflicts: 1556000 | #Constraints: 95441
2878.47/2887.07 c INPROCESSING
2878.47/2887.07 c GARBAGE COLLECT
2878.47/2887.07 c #Conflicts: 1557000 | #Constraints: 52011
2878.47/2887.07 c #Conflicts: 1558000 | #Constraints: 53011
2878.47/2887.07 c #Conflicts: 1559000 | #Constraints: 54011
2878.47/2887.07 c #Conflicts: 1560000 | #Constraints: 55011
2878.47/2887.07 c #Conflicts: 1561000 | #Constraints: 56011
2878.47/2887.07 c #Conflicts: 1562000 | #Constraints: 57011
2878.47/2887.07 c #Conflicts: 1563000 | #Constraints: 58011
2878.47/2887.07 c #Conflicts: 1564000 | #Constraints: 59011
2878.47/2887.07 c #Conflicts: 1565000 | #Constraints: 60011
2878.47/2887.07 c #Conflicts: 1566000 | #Constraints: 61011
2878.47/2887.07 c #Conflicts: 1567000 | #Constraints: 62011
2878.47/2887.07 c #Conflicts: 1568000 | #Constraints: 63011
2878.47/2887.07 c #Conflicts: 1569000 | #Constraints: 64011
2878.47/2887.07 c #Conflicts: 1570000 | #Constraints: 65011
2878.47/2887.07 c #Conflicts: 1571000 | #Constraints: 66011
2878.47/2887.07 c #Conflicts: 1572000 | #Constraints: 67011
2878.47/2887.07 c #Conflicts: 1573000 | #Constraints: 68011
2878.47/2887.07 c #Conflicts: 1574000 | #Constraints: 69011
2878.47/2887.07 c #Conflicts: 1575000 | #Constraints: 70011
2878.47/2887.07 c #Conflicts: 1576000 | #Constraints: 71011
2878.47/2887.07 c #Conflicts: 1577000 | #Constraints: 72011
2878.47/2887.07 c #Conflicts: 1578000 | #Constraints: 73011
2878.47/2887.07 c #Conflicts: 1579000 | #Constraints: 74011
2878.47/2887.07 c #Conflicts: 1580000 | #Constraints: 75011
2878.47/2887.07 c #Conflicts: 1581000 | #Constraints: 76011
2878.47/2887.07 c #Conflicts: 1582000 | #Constraints: 77012
2878.47/2887.07 c #Conflicts: 1583000 | #Constraints: 78012
2878.47/2887.07 c #Conflicts: 1584000 | #Constraints: 79012
2878.47/2887.07 c INPROCESSING
2878.47/2887.07 c GARBAGE COLLECT
2878.47/2887.07 c #Conflicts: 1585000 | #Constraints: 43840
2878.47/2887.07 c #Conflicts: 1586000 | #Constraints: 44840
2878.47/2887.07 c #Conflicts: 1587000 | #Constraints: 45840
2878.47/2887.07 c #Conflicts: 1588000 | #Constraints: 46841
2878.47/2887.07 c #Conflicts: 1589000 | #Constraints: 47841
2878.47/2887.07 c #Conflicts: 1590000 | #Constraints: 48841
2878.47/2887.07 c #Conflicts: 1591000 | #Constraints: 49841
2878.47/2887.07 c #Conflicts: 1592000 | #Constraints: 50841
2878.47/2887.07 c #Conflicts: 1593000 | #Constraints: 51841
2878.47/2887.07 c #Conflicts: 1594000 | #Constraints: 52841
2878.47/2887.07 c #Conflicts: 1595000 | #Constraints: 53841
2878.47/2887.07 c #Conflicts: 1596000 | #Constraints: 54841
2878.47/2887.07 c #Conflicts: 1597000 | #Constraints: 55841
2878.47/2887.07 c #Conflicts: 1598000 | #Constraints: 56841
2878.47/2887.07 c #Conflicts: 1599000 | #Constraints: 57841
2878.47/2887.07 c #Conflicts: 1600000 | #Constraints: 58841
2878.47/2887.07 c #Conflicts: 1601000 | #Constraints: 59841
2878.47/2887.07 c #Conflicts: 1602000 | #Constraints: 60841
2878.47/2887.07 c #Conflicts: 1603000 | #Constraints: 61841
2878.47/2887.07 c #Conflicts: 1604000 | #Constraints: 62841
2878.47/2887.07 c #Conflicts: 1605000 | #Constraints: 63841
2878.47/2887.07 c #Conflicts: 1606000 | #Constraints: 64841
2878.47/2887.07 c #Conflicts: 1607000 | #Constraints: 65841
2878.47/2887.07 c #Conflicts: 1608000 | #Constraints: 66841
2878.47/2887.07 c #Conflicts: 1609000 | #Constraints: 67841
2878.47/2887.07 c #Conflicts: 1610000 | #Constraints: 68841
2878.47/2887.07 c #Conflicts: 1611000 | #Constraints: 69841
2878.47/2887.07 c INPROCESSING
2878.47/2887.07 c GARBAGE COLLECT
2878.47/2887.07 c #Conflicts: 1612000 | #Constraints: 38886
2878.47/2887.07 c #Conflicts: 1613000 | #Constraints: 39886
2990.90/2999.85 c #Conflicts: 1614000 | #Constraints: 40886
2990.90/2999.85 c #Conflicts: 1615000 | #Constraints: 41886
2990.90/2999.85 c #Conflicts: 1616000 | #Constraints: 42886
2990.90/2999.85 c #Conflicts: 1617000 | #Constraints: 43886
2990.90/2999.85 c #Conflicts: 1618000 | #Constraints: 44886
2990.90/2999.85 c #Conflicts: 1619000 | #Constraints: 45886
2990.90/2999.85 c #Conflicts: 1620000 | #Constraints: 46886
2990.90/2999.85 c #Conflicts: 1621000 | #Constraints: 47886
2990.90/2999.85 c #Conflicts: 1622000 | #Constraints: 48886
2990.90/2999.85 c #Conflicts: 1623000 | #Constraints: 49886
2990.90/2999.85 c #Conflicts: 1624000 | #Constraints: 50886
2990.90/2999.85 c #Conflicts: 1625000 | #Constraints: 51886
2990.90/2999.85 c #Conflicts: 1626000 | #Constraints: 52886
2990.90/2999.85 c #Conflicts: 1627000 | #Constraints: 53886
2990.90/2999.85 c #Conflicts: 1628000 | #Constraints: 54886
2990.90/2999.85 c #Conflicts: 1629000 | #Constraints: 55886
2990.90/2999.85 c #Conflicts: 1630000 | #Constraints: 56886
2990.90/2999.85 c #Conflicts: 1631000 | #Constraints: 57886
2990.90/2999.85 c #Conflicts: 1632000 | #Constraints: 58886
2990.90/2999.85 c #Conflicts: 1633000 | #Constraints: 59886
2990.90/2999.85 c #Conflicts: 1634000 | #Constraints: 60886
2990.90/2999.85 c #Conflicts: 1635000 | #Constraints: 61886
2990.90/2999.85 c #Conflicts: 1636000 | #Constraints: 62886
2990.90/2999.85 c #Conflicts: 1637000 | #Constraints: 63886
2990.90/2999.85 c #Conflicts: 1638000 | #Constraints: 64886
2990.90/2999.85 c #Conflicts: 1639000 | #Constraints: 65886
2990.90/2999.85 c #Conflicts: 1640000 | #Constraints: 66886
2990.90/2999.85 c INPROCESSING
2990.90/2999.85 c GARBAGE COLLECT
2990.90/2999.85 c #Conflicts: 1641000 | #Constraints: 37811
2990.90/2999.85 c #Conflicts: 1642000 | #Constraints: 38811
2990.90/2999.85 c #Conflicts: 1643000 | #Constraints: 39811
2990.90/2999.85 c #Conflicts: 1644000 | #Constraints: 40811
2990.90/2999.85 c #Conflicts: 1645000 | #Constraints: 41811
2990.90/2999.85 c #Conflicts: 1646000 | #Constraints: 42811
2990.90/2999.85 c #Conflicts: 1647000 | #Constraints: 43811
2990.90/2999.85 c #Conflicts: 1648000 | #Constraints: 44811
2990.90/2999.85 c #Conflicts: 1649000 | #Constraints: 45811
2990.90/2999.85 c #Conflicts: 1650000 | #Constraints: 46811
2990.90/2999.85 c #Conflicts: 1651000 | #Constraints: 47811
2990.90/2999.85 c #Conflicts: 1652000 | #Constraints: 48811
2990.90/2999.85 c #Conflicts: 1653000 | #Constraints: 49811
2990.90/2999.85 c #Conflicts: 1654000 | #Constraints: 50811
2990.90/2999.85 c #Conflicts: 1655000 | #Constraints: 51811
2990.90/2999.85 c #Conflicts: 1656000 | #Constraints: 52811
2990.90/2999.85 c #Conflicts: 1657000 | #Constraints: 53811
2990.90/2999.85 c #Conflicts: 1658000 | #Constraints: 54811
2990.90/2999.85 c #Conflicts: 1659000 | #Constraints: 55811
2990.90/2999.85 c #Conflicts: 1660000 | #Constraints: 56811
2990.90/2999.85 c #Conflicts: 1661000 | #Constraints: 57811
2990.90/2999.85 c #Conflicts: 1662000 | #Constraints: 58811
2990.90/2999.85 c #Conflicts: 1663000 | #Constraints: 59811
2990.90/2999.85 c #Conflicts: 1664000 | #Constraints: 60811
2990.90/2999.85 c #Conflicts: 1665000 | #Constraints: 61811
2990.90/2999.85 c #Conflicts: 1666000 | #Constraints: 62811
2990.90/2999.85 c #Conflicts: 1667000 | #Constraints: 63811
2990.90/2999.85 c #Conflicts: 1668000 | #Constraints: 64811
2990.90/2999.85 c INPROCESSING
2990.90/2999.85 c GARBAGE COLLECT
2990.90/2999.85 c #Conflicts: 1669000 | #Constraints: 36635
2990.90/2999.85 c #Conflicts: 1670000 | #Constraints: 37635
2990.90/2999.85 c #Conflicts: 1671000 | #Constraints: 38635
2990.90/2999.85 c #Conflicts: 1672000 | #Constraints: 39635
2990.90/2999.85 c #Conflicts: 1673000 | #Constraints: 40635
2990.90/2999.85 c #Conflicts: 1674000 | #Constraints: 41635
2990.90/2999.85 c #Conflicts: 1675000 | #Constraints: 42635
2990.90/2999.85 c #Conflicts: 1676000 | #Constraints: 43635
2990.90/2999.85 c #Conflicts: 1677000 | #Constraints: 44635
2990.90/2999.85 c #Conflicts: 1678000 | #Constraints: 45635
2990.90/2999.85 c #Conflicts: 1679000 | #Constraints: 46635
2990.90/2999.85 c #Conflicts: 1680000 | #Constraints: 47635
2990.90/2999.85 c #Conflicts: 1681000 | #Constraints: 48635
2990.90/2999.85 c #Conflicts: 1682000 | #Constraints: 49635
2990.90/2999.85 c #Conflicts: 1683000 | #Constraints: 50635
2990.90/2999.85 c #Conflicts: 1684000 | #Constraints: 51635
2990.90/2999.85 c #Conflicts: 1685000 | #Constraints: 52635
2990.90/2999.85 c #Conflicts: 1686000 | #Constraints: 53635
2990.90/2999.85 c #Conflicts: 1687000 | #Constraints: 54635
2990.90/2999.85 c #Conflicts: 1688000 | #Constraints: 55635
2990.90/2999.85 c #Conflicts: 1689000 | #Constraints: 56635
2990.90/2999.85 c #Conflicts: 1690000 | #Constraints: 57635
3175.40/3184.99 c #Conflicts: 1691000 | #Constraints: 58635
3175.40/3184.99 c #Conflicts: 1692000 | #Constraints: 59635
3175.40/3184.99 c #Conflicts: 1693000 | #Constraints: 60635
3175.40/3184.99 c #Conflicts: 1694000 | #Constraints: 61635
3175.40/3184.99 c #Conflicts: 1695000 | #Constraints: 62635
3175.40/3184.99 c #Conflicts: 1696000 | #Constraints: 63635
3175.40/3184.99 c INPROCESSING
3175.40/3184.99 c GARBAGE COLLECT
3175.40/3184.99 c #Conflicts: 1697000 | #Constraints: 35765
3175.40/3184.99 c #Conflicts: 1698000 | #Constraints: 36765
3175.40/3184.99 c #Conflicts: 1699000 | #Constraints: 37765
3175.40/3184.99 c #Conflicts: 1700000 | #Constraints: 38765
3175.40/3184.99 c #Conflicts: 1701000 | #Constraints: 39765
3175.40/3184.99 c #Conflicts: 1702000 | #Constraints: 40765
3175.40/3184.99 c #Conflicts: 1703000 | #Constraints: 41765
3175.40/3184.99 c #Conflicts: 1704000 | #Constraints: 42765
3175.40/3184.99 c #Conflicts: 1705000 | #Constraints: 43765
3175.40/3184.99 c #Conflicts: 1706000 | #Constraints: 44765
3175.40/3184.99 c #Conflicts: 1707000 | #Constraints: 45765
3175.40/3184.99 c #Conflicts: 1708000 | #Constraints: 46765
3175.40/3184.99 c #Conflicts: 1709000 | #Constraints: 47765
3175.40/3184.99 c #Conflicts: 1710000 | #Constraints: 48765
3175.40/3184.99 c #Conflicts: 1711000 | #Constraints: 49765
3175.40/3184.99 c #Conflicts: 1712000 | #Constraints: 50765
3175.40/3184.99 c #Conflicts: 1713000 | #Constraints: 51765
3175.40/3184.99 c #Conflicts: 1714000 | #Constraints: 52765
3175.40/3184.99 c #Conflicts: 1715000 | #Constraints: 53765
3175.40/3184.99 c #Conflicts: 1716000 | #Constraints: 54765
3175.40/3184.99 c #Conflicts: 1717000 | #Constraints: 55765
3175.40/3184.99 c #Conflicts: 1718000 | #Constraints: 56765
3175.40/3184.99 c #Conflicts: 1719000 | #Constraints: 57765
3175.40/3184.99 c #Conflicts: 1720000 | #Constraints: 58765
3175.40/3184.99 c #Conflicts: 1721000 | #Constraints: 59765
3175.40/3184.99 c #Conflicts: 1722000 | #Constraints: 60765
3175.40/3184.99 c #Conflicts: 1723000 | #Constraints: 61765
3175.40/3184.99 c #Conflicts: 1724000 | #Constraints: 62765
3175.40/3184.99 c #Conflicts: 1725000 | #Constraints: 63765
3175.40/3184.99 c #Conflicts: 1726000 | #Constraints: 64765
3175.40/3184.99 c #Conflicts: 1727000 | #Constraints: 65765
3175.40/3184.99 c #Conflicts: 1728000 | #Constraints: 66765
3175.40/3184.99 c #Conflicts: 1729000 | #Constraints: 67765
3175.40/3184.99 c #Conflicts: 1730000 | #Constraints: 68765
3175.40/3184.99 c #Conflicts: 1731000 | #Constraints: 69765
3175.40/3184.99 c #Conflicts: 1732000 | #Constraints: 70765
3175.40/3184.99 c #Conflicts: 1733000 | #Constraints: 71765
3175.40/3184.99 c #Conflicts: 1734000 | #Constraints: 72765
3175.40/3184.99 c #Conflicts: 1735000 | #Constraints: 73765
3175.40/3184.99 c #Conflicts: 1736000 | #Constraints: 74765
3175.40/3184.99 c #Conflicts: 1737000 | #Constraints: 75765
3175.40/3184.99 c #Conflicts: 1738000 | #Constraints: 76765
3175.40/3184.99 c #Conflicts: 1739000 | #Constraints: 77765
3175.40/3184.99 c #Conflicts: 1740000 | #Constraints: 78765
3175.40/3184.99 c #Conflicts: 1741000 | #Constraints: 79765
3175.40/3184.99 c #Conflicts: 1742000 | #Constraints: 80765
3175.40/3184.99 c #Conflicts: 1743000 | #Constraints: 81765
3175.40/3184.99 c #Conflicts: 1744000 | #Constraints: 82765
3175.40/3184.99 c #Conflicts: 1745000 | #Constraints: 83765
3175.40/3184.99 c #Conflicts: 1746000 | #Constraints: 84765
3175.40/3184.99 c #Conflicts: 1747000 | #Constraints: 85765
3175.40/3184.99 c #Conflicts: 1748000 | #Constraints: 86766
3175.40/3184.99 c #Conflicts: 1749000 | #Constraints: 87766
3175.40/3184.99 c #Conflicts: 1750000 | #Constraints: 88766
3175.40/3184.99 c #Conflicts: 1751000 | #Constraints: 89766
3175.40/3184.99 c #Conflicts: 1752000 | #Constraints: 90766
3175.40/3184.99 c #Conflicts: 1753000 | #Constraints: 91766
3175.40/3184.99 c #Conflicts: 1754000 | #Constraints: 92766
3175.40/3184.99 c #Conflicts: 1755000 | #Constraints: 93768
3175.40/3184.99 c #Conflicts: 1756000 | #Constraints: 94768
3175.40/3184.99 c #Conflicts: 1757000 | #Constraints: 95769
3175.40/3184.99 c #Conflicts: 1758000 | #Constraints: 96770
3175.40/3184.99 c #Conflicts: 1759000 | #Constraints: 97771
3175.40/3184.99 c #Conflicts: 1760000 | #Constraints: 98772
3175.40/3184.99 c #Conflicts: 1761000 | #Constraints: 99773
3175.40/3184.99 c #Conflicts: 1762000 | #Constraints: 100776
3175.40/3184.99 c #Conflicts: 1763000 | #Constraints: 101777
3175.40/3184.99 c #Conflicts: 1764000 | #Constraints: 102777
3175.40/3184.99 c #Conflicts: 1765000 | #Constraints: 103779
3175.40/3184.99 c #Conflicts: 1766000 | #Constraints: 104779
3175.40/3184.99 c #Conflicts: 1767000 | #Constraints: 105780
3175.40/3184.99 c #Conflicts: 1768000 | #Constraints: 106780
3175.40/3184.99 c #Conflicts: 1769000 | #Constraints: 107780
3448.12/3458.43 c #Conflicts: 1770000 | #Constraints: 108780
3448.12/3458.43 c #Conflicts: 1771000 | #Constraints: 109780
3448.12/3458.43 c #Conflicts: 1772000 | #Constraints: 110781
3448.12/3458.43 c #Conflicts: 1773000 | #Constraints: 111783
3448.12/3458.43 c #Conflicts: 1774000 | #Constraints: 112783
3448.12/3458.43 c #Conflicts: 1775000 | #Constraints: 113783
3448.12/3458.43 c #Conflicts: 1776000 | #Constraints: 114783
3448.12/3458.43 c #Conflicts: 1777000 | #Constraints: 115783
3448.12/3458.43 c #Conflicts: 1778000 | #Constraints: 116783
3448.12/3458.43 c #Conflicts: 1779000 | #Constraints: 117783
3448.12/3458.43 c #Conflicts: 1780000 | #Constraints: 118783
3448.12/3458.43 c #Conflicts: 1781000 | #Constraints: 119783
3448.12/3458.43 c #Conflicts: 1782000 | #Constraints: 120783
3448.12/3458.43 c #Conflicts: 1783000 | #Constraints: 121783
3448.12/3458.43 c #Conflicts: 1784000 | #Constraints: 122783
3448.12/3458.43 c #Conflicts: 1785000 | #Constraints: 123783
3448.12/3458.43 c #Conflicts: 1786000 | #Constraints: 124783
3448.12/3458.43 c #Conflicts: 1787000 | #Constraints: 125783
3448.12/3458.43 c #Conflicts: 1788000 | #Constraints: 126783
3448.12/3458.43 c #Conflicts: 1789000 | #Constraints: 127783
3448.12/3458.43 c #Conflicts: 1790000 | #Constraints: 128783
3448.12/3458.43 c #Conflicts: 1791000 | #Constraints: 129783
3448.12/3458.43 c #Conflicts: 1792000 | #Constraints: 130783
3448.12/3458.43 c #Conflicts: 1793000 | #Constraints: 131783
3448.12/3458.43 c #Conflicts: 1794000 | #Constraints: 132783
3448.12/3458.43 c #Conflicts: 1795000 | #Constraints: 133783
3448.12/3458.43 c #Conflicts: 1796000 | #Constraints: 134783
3448.12/3458.43 c #Conflicts: 1797000 | #Constraints: 135783
3448.12/3458.43 c #Conflicts: 1798000 | #Constraints: 136783
3448.12/3458.43 c #Conflicts: 1799000 | #Constraints: 137783
3448.12/3458.43 c #Conflicts: 1800000 | #Constraints: 138783
3448.12/3458.43 c #Conflicts: 1801000 | #Constraints: 139783
3448.12/3458.43 c #Conflicts: 1802000 | #Constraints: 140783
3448.12/3458.43 c INPROCESSING
3448.12/3458.43 c GARBAGE COLLECT
3448.12/3458.43 c #Conflicts: 1803000 | #Constraints: 74813
3448.12/3458.43 c #Conflicts: 1804000 | #Constraints: 75813
3448.12/3458.43 c #Conflicts: 1805000 | #Constraints: 76813
3448.12/3458.43 c #Conflicts: 1806000 | #Constraints: 77813
3448.12/3458.43 c #Conflicts: 1807000 | #Constraints: 78813
3448.12/3458.43 c #Conflicts: 1808000 | #Constraints: 79813
3448.12/3458.43 c #Conflicts: 1809000 | #Constraints: 80813
3448.12/3458.43 c #Conflicts: 1810000 | #Constraints: 81813
3448.12/3458.43 c #Conflicts: 1811000 | #Constraints: 82813
3448.12/3458.43 c #Conflicts: 1812000 | #Constraints: 83813
3448.12/3458.43 c #Conflicts: 1813000 | #Constraints: 84813
3448.12/3458.43 c #Conflicts: 1814000 | #Constraints: 85813
3448.12/3458.43 c #Conflicts: 1815000 | #Constraints: 86813
3448.12/3458.43 c #Conflicts: 1816000 | #Constraints: 87813
3448.12/3458.43 c #Conflicts: 1817000 | #Constraints: 88813
3448.12/3458.43 c #Conflicts: 1818000 | #Constraints: 89813
3448.12/3458.43 c #Conflicts: 1819000 | #Constraints: 90813
3448.12/3458.43 c #Conflicts: 1820000 | #Constraints: 91813
3448.12/3458.43 c #Conflicts: 1821000 | #Constraints: 92813
3448.12/3458.43 c #Conflicts: 1822000 | #Constraints: 93813
3448.12/3458.43 c #Conflicts: 1823000 | #Constraints: 94813
3448.12/3458.43 c #Conflicts: 1824000 | #Constraints: 95813
3448.12/3458.43 c #Conflicts: 1825000 | #Constraints: 96813
3448.12/3458.43 c #Conflicts: 1826000 | #Constraints: 97813
3448.12/3458.43 c #Conflicts: 1827000 | #Constraints: 98813
3448.12/3458.43 c #Conflicts: 1828000 | #Constraints: 99813
3448.12/3458.43 c #Conflicts: 1829000 | #Constraints: 100813
3448.12/3458.43 c #Conflicts: 1830000 | #Constraints: 101813
3448.12/3458.43 c #Conflicts: 1831000 | #Constraints: 102813
3448.12/3458.43 c INPROCESSING
3448.12/3458.43 c GARBAGE COLLECT
3448.12/3458.43 c #Conflicts: 1832000 | #Constraints: 55467
3448.12/3458.43 c #Conflicts: 1833000 | #Constraints: 56467
3448.12/3458.43 c #Conflicts: 1834000 | #Constraints: 57467
3448.12/3458.43 c #Conflicts: 1835000 | #Constraints: 58467
3448.12/3458.43 c #Conflicts: 1836000 | #Constraints: 59467
3448.12/3458.43 c #Conflicts: 1837000 | #Constraints: 60467
3448.12/3458.43 c #Conflicts: 1838000 | #Constraints: 61467
3448.12/3458.43 c #Conflicts: 1839000 | #Constraints: 62467
3448.12/3458.43 c #Conflicts: 1840000 | #Constraints: 63467
3448.12/3458.43 c #Conflicts: 1841000 | #Constraints: 64467
3448.12/3458.43 c #Conflicts: 1842000 | #Constraints: 65467
3448.12/3458.43 c #Conflicts: 1843000 | #Constraints: 66468
3448.12/3458.43 c #Conflicts: 1844000 | #Constraints: 67468
3448.12/3458.43 c #Conflicts: 1845000 | #Constraints: 68468
3448.12/3458.43 c #Conflicts: 1846000 | #Constraints: 69468
3600.01/3610.70 c #Conflicts: 1847000 | #Constraints: 70468
3600.01/3610.70 c #Conflicts: 1848000 | #Constraints: 71468
3600.01/3610.70 c #Conflicts: 1849000 | #Constraints: 72468
3600.01/3610.70 c #Conflicts: 1850000 | #Constraints: 73468
3600.01/3610.70 c #Conflicts: 1851000 | #Constraints: 74468
3600.01/3610.70 c #Conflicts: 1852000 | #Constraints: 75468
3600.01/3610.70 c #Conflicts: 1853000 | #Constraints: 76468
3600.01/3610.70 c #Conflicts: 1854000 | #Constraints: 77468
3600.01/3610.70 c #Conflicts: 1855000 | #Constraints: 78468
3600.01/3610.70 c #Conflicts: 1856000 | #Constraints: 79468
3600.01/3610.70 c #Conflicts: 1857000 | #Constraints: 80468
3600.01/3610.70 c #Conflicts: 1858000 | #Constraints: 81468
3600.01/3610.70 c #Conflicts: 1859000 | #Constraints: 82468
3600.01/3610.70 c #Conflicts: 1860000 | #Constraints: 83468
3600.01/3610.70 c #Conflicts: 1861000 | #Constraints: 84468
3600.01/3610.70 c INPROCESSING
3600.01/3610.70 c GARBAGE COLLECT
3600.01/3610.70 c #Conflicts: 1862000 | #Constraints: 46277
3600.01/3610.70 c #Conflicts: 1863000 | #Constraints: 47277
3600.01/3610.70 c #Conflicts: 1864000 | #Constraints: 48277
3600.01/3610.70 c #Conflicts: 1865000 | #Constraints: 49277
3600.01/3610.70 c #Conflicts: 1866000 | #Constraints: 50277
3600.01/3610.70 c #Conflicts: 1867000 | #Constraints: 51277
3600.01/3610.70 c #Conflicts: 1868000 | #Constraints: 52277
3600.01/3610.70 c #Conflicts: 1869000 | #Constraints: 53277
3600.01/3610.70 c #Conflicts: 1870000 | #Constraints: 54277
3600.01/3610.70 c #Conflicts: 1871000 | #Constraints: 55277
3600.01/3610.70 c #Conflicts: 1872000 | #Constraints: 56277
3600.01/3610.70 c #Conflicts: 1873000 | #Constraints: 57277
3600.01/3610.70 c #Conflicts: 1874000 | #Constraints: 58277
3600.01/3610.70 c #Conflicts: 1875000 | #Constraints: 59277
3600.01/3610.70 c #Conflicts: 1876000 | #Constraints: 60277
3600.01/3610.70 c #Conflicts: 1877000 | #Constraints: 61278
3600.01/3610.70 c #Conflicts: 1878000 | #Constraints: 62278
3600.01/3610.70 c #Conflicts: 1879000 | #Constraints: 63278
3600.01/3610.70 c #Conflicts: 1880000 | #Constraints: 64278
3600.01/3610.70 c #Conflicts: 1881000 | #Constraints: 65278
3600.01/3610.70 c #Conflicts: 1882000 | #Constraints: 66278
3600.01/3610.70 c #Conflicts: 1883000 | #Constraints: 67278
3600.01/3610.70 c #Conflicts: 1884000 | #Constraints: 68278
3600.01/3610.70 c #Conflicts: 1885000 | #Constraints: 69278
3600.01/3610.70 c #Conflicts: 1886000 | #Constraints: 70278
3600.01/3610.70 c #Conflicts: 1887000 | #Constraints: 71278
3600.01/3610.70 c #Conflicts: 1888000 | #Constraints: 72278
3600.01/3610.70 c #Conflicts: 1889000 | #Constraints: 73278
3600.01/3610.70 c #Conflicts: 1890000 | #Constraints: 74278
3600.01/3610.70 c #Conflicts: 1891000 | #Constraints: 75278
3600.01/3610.70 c #Conflicts: 1892000 | #Constraints: 76278
3600.01/3610.70 c INPROCESSING
3600.01/3610.70 c GARBAGE COLLECT
3600.01/3610.70 c #Conflicts: 1893000 | #Constraints: 42461
3600.01/3610.70 c #Conflicts: 1894000 | #Constraints: 43461
3600.01/3610.70 c #Conflicts: 1895000 | #Constraints: 44461
3600.01/3610.70 c #Conflicts: 1896000 | #Constraints: 45461
3600.01/3610.70 c #Conflicts: 1897000 | #Constraints: 46461
3600.01/3610.70 c #Conflicts: 1898000 | #Constraints: 47462
3600.01/3610.70 c #Conflicts: 1899000 | #Constraints: 48462
3600.01/3610.70 c #Conflicts: 1900000 | #Constraints: 49462
3600.01/3610.70 c #Conflicts: 1901000 | #Constraints: 50462
3600.01/3610.70 c #Conflicts: 1902000 | #Constraints: 51462
3600.01/3610.70 c #Conflicts: 1903000 | #Constraints: 52462
3600.01/3610.70 c #Conflicts: 1904000 | #Constraints: 53462
3600.01/3610.70 c #Conflicts: 1905000 | #Constraints: 54462
3600.01/3610.70 c #Conflicts: 1906000 | #Constraints: 55462
3600.01/3610.70 c #Conflicts: 1907000 | #Constraints: 56462
3600.01/3610.70 c #Conflicts: 1908000 | #Constraints: 57462
3600.01/3610.70 c #Conflicts: 1909000 | #Constraints: 58462
3600.01/3610.70 c cpu time 3583.25 s
3600.01/3610.70 c deterministic time 260218396464 2.60e+11
3600.01/3610.70 c optimization time 25.643 s
3600.01/3610.70 c total solve time 3557.52 s
3600.01/3610.70 c core-guided solve time 0 s
3600.01/3610.70 c propagation time 1954.59 s
3600.01/3610.70 c conflict analysis time 1381.14 s
3600.01/3610.70 c propagations 976051644
3600.01/3610.70 c resolve steps 91502818
3600.01/3610.70 c decisions 11881467
3600.01/3610.70 c conflicts 1909123
3600.01/3610.70 c restarts 3706
3600.01/3610.70 c inprocessing phases 88
3600.01/3610.70 c garbage collections 88 ,( 100.00 )
3600.01/3610.70 c input clauses 5980 ,( 98.61 )
3600.01/3610.70 c input cardinalities 84 ,( 1.39 )
3600.01/3610.70 c input general constraints 0 ,( 0.00 )
3600.01/3610.70 c input average constraint length 6.13
3600.01/3610.70 c input average constraint degree 1.91
3600.01/3610.70 c learned clauses 1518828 ,( 79.55 )
3600.01/3610.70 c learned cardinalities 27406 ,( 1.44 )
3600.01/3610.70 c learned general constraints 362921 ,( 19.01 )
3600.01/3610.70 c learned average constraint length 670.04
3600.01/3610.70 c learned average constraint degree 8788308.06
3600.01/3610.70 c watched CF 32, 64, 128, Arb: 119974 , 0 , 0 , 0
3600.01/3610.70 c counting CF 32, 64, 128, Arb: 242947 , 0 , 0 , 0
3600.01/3610.70 c watched constraints 119974 ,( 33.06 )
3600.01/3610.70 c counting constraints 242947 ,( 66.94 )
3600.01/3610.70 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1668801547 , 650221527 , 3237667505 ,( 127826656 , 3109840849 )
3600.01/3610.70 c gcd simplifications 901
3600.01/3610.70 c detected cardinalities 1562
3600.01/3610.70 c weakened non-implied lits 375705355
3600.01/3610.70 c weakened non-implying lits 219092
3600.01/3610.70 c original variables 5775
3600.01/3610.70 c clausal propagations 370376988
3600.01/3610.70 c cardinality propagations 359830147
3600.01/3610.70 c watched propagations 4611743
3600.01/3610.70 c counting propagations 235443353
3600.01/3610.70 c watch lookups 144336407826
3600.01/3610.70 c watch backjump lookups 0
3600.01/3610.70 c watch checks 38498007453
3600.01/3610.70 c propagation checks 70784730805
3600.01/3610.70 c constraint additions 4621029738
3600.01/3610.70 c trail pops 989836776
3600.01/3610.70 c formula constraints 6064
3600.01/3610.70 c learned constraints 1909117
3600.01/3610.70 c bound constraints 0
3600.01/3610.70 c core-guided constraints 0
3600.01/3610.70 c encountered formula constraints 54848137
3600.01/3610.70 c encountered learned constraints 38563442
3600.01/3610.70 c encountered bound constraints 0
3600.01/3610.70 c encountered core-guided constraints 0
3600.01/3610.70 c LP total time 216.364 s
3600.01/3610.70 c LP solve time 210.22 s
3600.01/3610.70 c LP constraints added 6718
3600.01/3610.70 c LP constraints removed 369
3600.01/3610.70 c LP pivots internal 197868
3600.01/3610.70 c LP pivots root 252886
3600.01/3610.70 c LP calls 50
3600.01/3610.70 c LP optimalities 13
3600.01/3610.70 c LP no pivot count 0
3600.01/3610.70 c LP infeasibilities 30
3600.01/3610.70 c LP valid Farkas constraints 29
3600.01/3610.70 c LP learned Farkas constraints 5
3600.01/3610.70 c LP basis resets 1
3600.01/3610.70 c LP cycling count 0
3600.01/3610.70 c LP singular count 0
3600.01/3610.70 c LP no primal count 0
3600.01/3610.70 c LP no farkas count 1
3600.01/3610.70 c LP other issue count 0
3600.01/3610.70 c LP Gomory cuts 4
3600.01/3610.70 c LP learned cuts 650
3600.01/3610.70 c LP deleted cuts 369
3600.01/3610.70 c LP encountered Gomory constraints 0
3600.01/3610.70 c LP encountered Farkas constraints 354
3600.01/3610.70 c LP encountered learned Farkas constraints 3
3600.01/3610.70 c CG auxiliary variables introduced 0
3600.01/3610.70 c CG solutions found 0
3600.01/3610.70 c CG cores constructed 0
3600.01/3610.70 c CG core cardinality constraints returned 0
3600.01/3610.70 c CG unit cores 0
3600.01/3610.70 c CG single cores 0
3600.01/3610.70 c CG blocks removed during cardinality reduction 0
3600.01/3610.70 c CG first core best 0
3600.01/3610.70 c CG decision core best 0
3600.01/3610.70 c CG core reduction tie 0
3600.01/3610.70 c CG core degree average 0.00
3600.01/3610.70 c CG core slack average 0.00
3600.01/3610.70 c CG core upper bound improvements 0
3600.01/3610.70 c STR number of successful calls 0
3600.01/3610.70 c STR number of unsuccessful calls 0
3600.01/3610.70 c STR number of inconclusive calls 0
3600.01/3610.70 c STR number of successful attempts 0
3600.01/3610.70 c STR number of unsuccessful attempts 0
3600.01/3610.70 c STR number of inconclusive attempts 0
3600.01/3610.70 c STR average degree increase per successful call inf
3600.01/3610.70 c STR average degree increase per successful attempt inf
3600.01/3610.70 c STR total number of conflicts for successful attempts 0
3600.01/3610.70 c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.70 c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.70 c STR average number of conflicts per successful attempt inf
3600.01/3610.70 c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.70 c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.70 c AVG.sumWPerc 59.31
3600.01/3610.70 c bigint constraints 0
3600.01/3610.70 s UNKNOWN
3600.01/3610.70 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: 63837 MiB (63168 MiB free)
memory of node 1: 64465 MiB (63970 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507340-1751182666/watcher-4507340-1751182666 -o /tmp/evaluation-result-4507340-1751182666/solver-4507340-1751182666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19246 --watchdog 3760 run-dec-break.sh HOME/instance-4507340-1751182666.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=19287, runsolver pid=19283
Current StackSize limit: 8192 KiB
[startup+0.100068 s]*
/proc/loadavg: 0.86 1.23 2.35 4/257 19307
/proc/meminfo: memFree=130133472/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=56764 memory=10112 CPUtime=0.01 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 701 0 0 0 1 0 0 0 20 0 1 0 33945303 58126336 2528 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 14191 2528 2016 1147 0 1618 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 60956 KiB
Current children cumulated memory: 13056 KiB
[startup+0.214465 s]*
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130108196/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=70528 memory=23292 CPUtime=0.12 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 4388 0 0 0 10 2 0 0 20 0 1 0 33945303 72220672 5823 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 17632 5823 2272 1147 0 5059 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 74720 KiB
Current children cumulated memory: 26236 KiB
[startup+0.314099 s]*
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130096084/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=72960 memory=24956 CPUtime=0.22 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 4774 0 0 0 19 3 0 0 20 0 1 0 33945303 74711040 6239 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 18240 6239 2272 1147 0 5667 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77152 KiB
Current children cumulated memory: 27900 KiB
[startup+0.700364 s]
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130094068/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=72960 memory=25212 CPUtime=0.59 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 4836 0 0 0 56 3 0 0 20 0 1 0 33945303 74711040 6303 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 18240 6303 2304 1147 0 5667 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 77152 KiB
Current children cumulated memory: 28156 KiB
[startup+1.50037 s]
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130094068/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=73572 memory=26108 CPUtime=1.39 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 5060 0 0 0 135 4 0 0 20 0 1 0 33945303 75337728 6527 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 18393 6527 2304 1147 0 5820 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 77764 KiB
Current children cumulated memory: 29052 KiB
[startup+3.11319 s]
/proc/loadavg: 0.86 1.23 2.35 5/257 19310
/proc/meminfo: memFree=130076888/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=77216 memory=34252 CPUtime=2.99 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 6512 0 0 0 288 11 0 0 20 0 1 0 33945303 79069184 8563 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 19304 8563 2368 1147 0 6731 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 81408 KiB
Current children cumulated memory: 37196 KiB
[startup+6.30034 s]
/proc/loadavg: 1.27 1.31 2.37 5/257 19310
/proc/meminfo: memFree=130053256/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=83888 memory=38988 CPUtime=6.17 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 7688 0 0 0 600 17 0 0 20 0 1 0 33945303 85901312 9747 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 20972 9747 2368 1147 0 8399 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 88080 KiB
Current children cumulated memory: 41932 KiB
[startup+12.7003 s]
/proc/loadavg: 1.57 1.37 2.39 5/257 19310
/proc/meminfo: memFree=130033288/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=88528 memory=44108 CPUtime=12.55 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 8969 0 0 0 1224 31 0 0 20 0 1 0 33945303 90652672 11027 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 22132 11027 2368 1147 0 9559 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 92720 KiB
Current children cumulated memory: 47052 KiB
[startup+25.5004 s]
/proc/loadavg: 2.10 1.49 2.42 5/257 19311
/proc/meminfo: memFree=129965872/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=108320 memory=59316 CPUtime=25.31 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 12287 0 0 0 2479 52 0 0 20 0 1 0 33945303 110919680 14829 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 27080 14829 2368 1147 0 14507 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 112512 KiB
Current children cumulated memory: 62260 KiB
[startup+51.1132 s]
/proc/loadavg: 3.14 1.81 2.49 5/257 19311
/proc/meminfo: memFree=129832648/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=152408 memory=93456 CPUtime=50.84 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 16731 0 0 0 4986 98 0 0 20 0 1 0 33945303 156065792 23364 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 38102 23364 2368 1147 0 25529 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 156600 KiB
Current children cumulated memory: 96400 KiB
[startup+102.3 s]
/proc/loadavg: 3.68 2.16 2.58 5/258 19316
/proc/meminfo: memFree=129647856/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=201548 memory=131580 CPUtime=101.86 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 21474 0 0 0 10031 155 0 0 20 0 1 0 33945303 206385152 32895 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 50387 32895 2368 1147 0 37814 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 205740 KiB
Current children cumulated memory: 134524 KiB
[startup+162.3 s]
/proc/loadavg: 4.55 2.68 2.74 5/257 19318
/proc/meminfo: memFree=129496824/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=207464 memory=151020 CPUtime=161.69 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 22714 0 0 0 15958 211 0 0 20 0 1 0 33945303 212443136 37755 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 51866 37755 2368 1147 0 39293 0
Current children cumulated CPU time: 161.75 s
Current children cumulated vsize: 211656 KiB
Current children cumulated memory: 153964 KiB
[startup+222.3 s]
/proc/loadavg: 4.96 3.15 2.90 5/254 19320
/proc/meminfo: memFree=129171724/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=281040 memory=217012 CPUtime=221.53 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 28488 0 0 0 21912 241 0 0 20 0 1 0 33945303 287784960 54253 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 70260 54253 2368 1147 0 57687 0
Current children cumulated CPU time: 221.59 s
################
# More data... #
################
/proc/19307/statm: 220194 154731 2464 1147 0 207621 0
Current children cumulated CPU time: 3093.07 s
Current children cumulated vsize: 884968 KiB
Current children cumulated memory: 621868 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.19 4.09 5/255 19614
/proc/meminfo: memFree=128045548/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=882216 memory=620204 CPUtime=3152.82 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 67418 0 0 0 313757 1525 0 0 20 0 1 0 33945303 903389184 155051 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 220554 155051 2464 1147 0 207981 0
Current children cumulated CPU time: 3152.88 s
Current children cumulated vsize: 886408 KiB
Current children cumulated memory: 623148 KiB
[startup+3222.3 s]
/proc/loadavg: 4.13 4.18 4.09 5/255 19616
/proc/meminfo: memFree=128004416/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=884196 memory=624300 CPUtime=3212.62 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 67990 0 0 0 319720 1542 0 0 20 0 1 0 33945303 905416704 156075 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 221049 156075 2464 1147 0 208476 0
Current children cumulated CPU time: 3212.68 s
Current children cumulated vsize: 888388 KiB
Current children cumulated memory: 627244 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.16 4.09 5/254 19618
/proc/meminfo: memFree=127854436/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=892376 memory=648748 CPUtime=3272.44 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 69508 0 0 0 325689 1555 0 0 20 0 1 0 33945303 913793024 162187 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 223094 162187 2464 1147 0 210521 0
Current children cumulated CPU time: 3272.5 s
Current children cumulated vsize: 896568 KiB
Current children cumulated memory: 651692 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/254 19623
/proc/meminfo: memFree=127849648/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=903512 memory=655532 CPUtime=3332.26 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 71213 0 0 0 331659 1567 0 0 20 0 1 0 33945303 925196288 163883 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 225878 163883 2464 1147 0 213305 0
Current children cumulated CPU time: 3332.32 s
Current children cumulated vsize: 907704 KiB
Current children cumulated memory: 658476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.05 4.13 4.09 5/254 19625
/proc/meminfo: memFree=127836052/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=907600 memory=658732 CPUtime=3392.11 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 72037 0 0 0 337627 1584 0 0 20 0 1 0 33945303 929382400 164683 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 226900 164683 2464 1147 0 214327 0
Current children cumulated CPU time: 3392.17 s
Current children cumulated vsize: 911792 KiB
Current children cumulated memory: 661676 KiB
[startup+3462.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/254 19627
/proc/meminfo: memFree=127853332/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=907600 memory=658988 CPUtime=3451.95 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 72090 0 0 0 343596 1599 0 0 20 0 1 0 33945303 929382400 164747 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 226900 164747 2464 1147 0 214327 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 911792 KiB
Current children cumulated memory: 661932 KiB
[startup+3522.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/253 19629
/proc/meminfo: memFree=127758404/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=907600 memory=658988 CPUtime=3511.79 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 72090 0 0 0 349560 1619 0 0 20 0 1 0 33945303 929382400 164747 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 226900 164747 2464 1147 0 214327 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 911792 KiB
Current children cumulated memory: 661932 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/253 19631
/proc/meminfo: memFree=127631972/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=907600 memory=658988 CPUtime=3571.63 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 72090 0 0 0 355511 1652 0 0 20 0 1 0 33945303 929382400 164747 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 226900 164747 2464 1147 0 214327 0
Current children cumulated CPU time: 3571.69 s
Current children cumulated vsize: 911792 KiB
Current children cumulated memory: 661932 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.7 s]
/proc/loadavg: 4.09 4.12 4.09 5/250 19635
/proc/meminfo: memFree=128327912/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=907600 memory=658988 CPUtime=3599.95 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 72090 0 0 0 358324 1671 0 0 20 0 1 0 33945303 929382400 164747 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 226900 164747 2464 1147 0 214327 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 911792 KiB
Current children cumulated memory: 661932 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.71 s]
# the end of solver process 19287 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.04647 s, system=0.026226 s
Sleeping 2 seconds
[startup+3610.71 s]
# the end of solver process 19307 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.3 s, system=16.7478 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.7 s]
/proc/loadavg: 4.09 4.12 4.09 5/250 19635
/proc/meminfo: memFree=128327912/131382120 swapFree=33010684/33010684
[pid=19287] ppid=19283 vsize=4192 memory=2944 CPUtime=0.06 cores=5,7
/proc/19287/stat : 19287 (run-dec-break.s) S 19283 19287 19233 0 -1 4194304 238 4126 0 0 0 0 4 2 20 0 1 0 33945294 4292608 736 18446744073709551615 94559183142912 94559184037445 140722377057552 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94559184276496 94559184324240 94559185014784 140722377066849 140722377066978 140722377066978 140722377072580 0
/proc/19287/statm: 1048 736 672 219 0 110 0
[pid=19307] ppid=19287 vsize=907600 memory=658988 CPUtime=3599.95 cores=5,7
/proc/19307/stat : 19307 (roundingsat) R 19287 19287 19233 0 -1 4194304 72090 0 0 0 358324 1671 0 0 20 0 1 0 33945303 929382400 164747 18446744073709551615 4227072 8923433 140735947008656 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 27467776 140735947016516 140735947016744 140735947016744 140735947022314 0
/proc/19307/statm: 226900 164747 2464 1147 0 214327 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 911792 KiB
Current children cumulated memory: 661932 KiB
Child status: 2
Real time (s): 3610.71
CPU time (s): 3600.05
CPU user time (s): 3583.3
CPU system time (s): 16.7478
CPU usage (%): 99.7047
Max. virtual memory (cumulated for all children) (KiB): 911792
Max. memory (cumulated for all children) (KiB): 661932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.3
system time used= 16.7478
maximum resident set size= 659244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76473
page faults= 0
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 429
involuntary context switches= 2440
# summary of solver processes directly reported to runsolver:
# pid: 19287,19307
# total CPU time (s): 3600.05
# total CPU user time (s): 3583.3
# total CPU system time (s): 16.7478
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.2149 second user time and 35.4355 second system time
The end
Begin job on nodeC003 at 2025-06-29 09:37:46
IDJOB=4507340
IDBENCH=158343
IDSOLVER=3357
FILE ID=nodeC003/4507340-1751182666
RUNJOBID= nodeC003-1751182666-19246
SLURM_JOB_ID= 9587560
Free space on /tmp= 433040 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507340-1751182666/watcher-4507340-1751182666 -o /tmp/evaluation-result-4507340-1751182666/solver-4507340-1751182666 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751182666-19246 --watchdog 3760 run-dec-break.sh HOME/instance-4507340-1751182666.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=1528645510
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.253
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.166
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.243
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.612
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.356
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.165
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.170
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 130183924 kB
MemAvailable: 129991740 kB
Buffers: 3280 kB
Cached: 618380 kB
SwapCached: 0 kB
Active: 283796 kB
Inactive: 405188 kB
Active(anon): 85284 kB
Inactive(anon): 0 kB
Active(file): 198512 kB
Inactive(file): 405188 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 30132 kB
Writeback: 0 kB
AnonPages: 70392 kB
Mapped: 101520 kB
Shmem: 17960 kB
KReclaimable: 87488 kB
Slab: 168012 kB
SReclaimable: 87488 kB
SUnreclaim: 80524 kB
KernelStack: 3680 kB
PageTables: 2348 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 329464 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149272 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 10240 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 10:37:57