0.00/0.01 c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01 c │ pbsuma -- a PB interface for satsuma │
0.00/0.01 c │ satsuma_version=1.2, dejavu_version=2.1 │
0.00/0.01 c │ (c) 2025 Markus Anders │
0.00/0.01 c └────────────────────────────────────────────────────────────────┘
0.00/0.01 c parse 'HOME/instance-4507341-1751175975.opb'
0.00/0.01 c read 0.36MB (5.02ms)
0.00/0.01 c [cnf: #variables 5712 #clauses 5882 #duplicates 0 #arr 36643]
0.00/0.01 c output proof to 'PROOFDIR/proof-4507341-1751175975'
0.00/0.01 c
0.00/0.01 c make graph and approximate orbits
0.00/0.02 c [group: #orbits ~= 1008] (6.63ms)
0.00/0.02 c
0.00/0.02 c detect special group actions
0.00/0.02 c probe for Johnson action (limit=64)
0.00/0.02 c probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02 c probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02 c (1.19ms)
0.00/0.02 c
0.00/0.02 c detect symmetries on remainder
0.00/0.02 c [graph: #vertices 28730 #edges 107558]
0.00/0.02 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03 c [group: #symmetries 3.84*10^2 #generators 7] (5.85ms)
0.00/0.03 c
0.00/0.03 c optimize generators (opt_passes=64, conjugate_limit=256)
0.00/0.03 c (0.01ms)
0.00/0.03 c
0.00/0.03 c finalize break order and special generators
0.00/0.03 c
0.00/0.03 c add generic predicates (break_depth=10)
0.00/0.03 c added predicates for 7 generators (0.02ms)
0.00/0.03 c
0.00/0.03 c generation finished
0.00/0.03 c [sbp: #constraints 196 #add_vars 63]
0.00/0.03 c
0.00/0.03 c write result to 'HOME/instance-4507341-1751175975.opb.pre'
0.00/0.03 c wrote 0.38MB (0.93ms)
0.00/0.03 c ------------------------------------------------------------------
0.00/0.03 c 6.63ms 28.90% approx_orbits
0.00/0.03 c 5.85ms 25.53% detect_generic
0.00/0.03 c 5.02ms 21.90% parse
0.00/0.03 c 3.08ms 13.42% other
0.00/0.03 c 1.19ms 5.18% detect_special
0.00/0.03 c 0.93ms 4.06% output
0.00/0.03 c 0.19ms 0.84% finalize_order
0.00/0.03 c 0.02ms 0.10% break_generic
0.00/0.03 c 0.01ms 0.06% optimize_gens
0.00/0.03 c ───────────────────────────────────────────────
0.00/0.03 c 22.93ms 100% total
0.00/0.03 c ------------------------------------------------------------------
0.00/0.04 c RoundingSat 2
0.00/0.04 c branch pb25
0.00/0.04 c commit 63f22ad
0.00/0.09 c #variables 5775 #constraints 6064
43.94/44.29 c #Conflicts: 1000 | #Constraints: 7063
43.94/44.29 c #Conflicts: 2000 | #Constraints: 8063
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 3000 | #Constraints: 7754
43.94/44.29 c #Conflicts: 4000 | #Constraints: 8754
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 5000 | #Constraints: 8198
43.94/44.29 c #Conflicts: 6000 | #Constraints: 9198
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 7000 | #Constraints: 8247
43.94/44.29 c #Conflicts: 8000 | #Constraints: 9247
43.94/44.29 c #Conflicts: 9000 | #Constraints: 10247
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 10000 | #Constraints: 8972
43.94/44.29 c #Conflicts: 11000 | #Constraints: 9972
43.94/44.29 c #Conflicts: 12000 | #Constraints: 10972
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 13000 | #Constraints: 9465
43.94/44.29 c #Conflicts: 14000 | #Constraints: 10465
43.94/44.29 c #Conflicts: 15000 | #Constraints: 11465
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 16000 | #Constraints: 9716
43.94/44.29 c #Conflicts: 17000 | #Constraints: 10716
43.94/44.29 c #Conflicts: 18000 | #Constraints: 11716
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 19000 | #Constraints: 9762
43.94/44.29 c #Conflicts: 20000 | #Constraints: 10762
43.94/44.29 c #Conflicts: 21000 | #Constraints: 11763
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 22000 | #Constraints: 9595
43.94/44.29 c #Conflicts: 23000 | #Constraints: 10595
43.94/44.29 c #Conflicts: 24000 | #Constraints: 11595
43.94/44.29 c #Conflicts: 25000 | #Constraints: 12595
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 26000 | #Constraints: 10223
43.94/44.29 c #Conflicts: 27000 | #Constraints: 11223
43.94/44.29 c #Conflicts: 28000 | #Constraints: 12223
43.94/44.29 c #Conflicts: 29000 | #Constraints: 13223
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 30000 | #Constraints: 10602
43.94/44.29 c #Conflicts: 31000 | #Constraints: 11602
43.94/44.29 c #Conflicts: 32000 | #Constraints: 12602
43.94/44.29 c #Conflicts: 33000 | #Constraints: 13602
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 34000 | #Constraints: 10832
43.94/44.29 c #Conflicts: 35000 | #Constraints: 11832
43.94/44.29 c #Conflicts: 36000 | #Constraints: 12832
43.94/44.29 c #Conflicts: 37000 | #Constraints: 13832
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 38000 | #Constraints: 10864
43.94/44.29 c #Conflicts: 39000 | #Constraints: 11864
43.94/44.29 c #Conflicts: 40000 | #Constraints: 12864
43.94/44.29 c #Conflicts: 41000 | #Constraints: 13864
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 42000 | #Constraints: 10697
43.94/44.29 c #Conflicts: 43000 | #Constraints: 11697
43.94/44.29 c #Conflicts: 44000 | #Constraints: 12697
43.94/44.29 c #Conflicts: 45000 | #Constraints: 13697
43.94/44.29 c #Conflicts: 46000 | #Constraints: 14697
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 47000 | #Constraints: 11302
43.94/44.29 c #Conflicts: 48000 | #Constraints: 12302
43.94/44.29 c #Conflicts: 49000 | #Constraints: 13302
43.94/44.29 c #Conflicts: 50000 | #Constraints: 14302
43.94/44.29 c #Conflicts: 51000 | #Constraints: 15302
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 52000 | #Constraints: 11716
43.94/44.29 c #Conflicts: 53000 | #Constraints: 12716
43.94/44.29 c #Conflicts: 54000 | #Constraints: 13716
43.94/44.29 c #Conflicts: 55000 | #Constraints: 14716
43.94/44.29 c #Conflicts: 56000 | #Constraints: 15716
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 57000 | #Constraints: 11944
43.94/44.29 c #Conflicts: 58000 | #Constraints: 12945
43.94/44.29 c #Conflicts: 59000 | #Constraints: 13945
43.94/44.29 c #Conflicts: 60000 | #Constraints: 14945
43.94/44.29 c #Conflicts: 61000 | #Constraints: 15945
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 62000 | #Constraints: 11942
43.94/44.29 c #Conflicts: 63000 | #Constraints: 12942
43.94/44.29 c #Conflicts: 64000 | #Constraints: 13942
43.94/44.29 c #Conflicts: 65000 | #Constraints: 14942
43.94/44.29 c #Conflicts: 66000 | #Constraints: 15942
43.94/44.29 c INPROCESSING
43.94/44.29 c GARBAGE COLLECT
43.94/44.29 c #Conflicts: 67000 | #Constraints: 11700
43.94/44.29 c #Conflicts: 68000 | #Constraints: 12700
111.98/112.69 c #Conflicts: 69000 | #Constraints: 13700
111.98/112.69 c #Conflicts: 70000 | #Constraints: 14700
111.98/112.69 c #Conflicts: 71000 | #Constraints: 15700
111.98/112.69 c #Conflicts: 72000 | #Constraints: 16700
111.98/112.69 c #Conflicts: 73000 | #Constraints: 17700
111.98/112.69 c #Conflicts: 74000 | #Constraints: 18700
111.98/112.69 c #Conflicts: 75000 | #Constraints: 19700
111.98/112.69 c #Conflicts: 76000 | #Constraints: 20700
111.98/112.69 c #Conflicts: 77000 | #Constraints: 21700
111.98/112.69 c #Conflicts: 78000 | #Constraints: 22700
111.98/112.69 c #Conflicts: 79000 | #Constraints: 23700
111.98/112.69 c #Conflicts: 80000 | #Constraints: 24700
111.98/112.69 c #Conflicts: 81000 | #Constraints: 25700
111.98/112.69 c #Conflicts: 82000 | #Constraints: 26700
111.98/112.69 c #Conflicts: 83000 | #Constraints: 27700
111.98/112.69 c #Conflicts: 84000 | #Constraints: 28700
111.98/112.69 c #Conflicts: 85000 | #Constraints: 29700
111.98/112.69 c #Conflicts: 86000 | #Constraints: 30700
111.98/112.69 c #Conflicts: 87000 | #Constraints: 31700
111.98/112.69 c #Conflicts: 88000 | #Constraints: 32700
111.98/112.69 c #Conflicts: 89000 | #Constraints: 33700
111.98/112.69 c INPROCESSING
111.98/112.69 c GARBAGE COLLECT
111.98/112.69 c #Conflicts: 90000 | #Constraints: 20842
111.98/112.69 c #Conflicts: 91000 | #Constraints: 21842
111.98/112.69 c #Conflicts: 92000 | #Constraints: 22842
111.98/112.69 c #Conflicts: 93000 | #Constraints: 23842
111.98/112.69 c #Conflicts: 94000 | #Constraints: 24842
111.98/112.69 c #Conflicts: 95000 | #Constraints: 25842
111.98/112.69 c #Conflicts: 96000 | #Constraints: 26842
111.98/112.69 c INPROCESSING
111.98/112.69 c GARBAGE COLLECT
111.98/112.69 c #Conflicts: 97000 | #Constraints: 17581
111.98/112.69 c #Conflicts: 98000 | #Constraints: 18581
111.98/112.69 c #Conflicts: 99000 | #Constraints: 19581
111.98/112.69 c #Conflicts: 100000 | #Constraints: 20581
111.98/112.69 c #Conflicts: 101000 | #Constraints: 21581
111.98/112.69 c #Conflicts: 102000 | #Constraints: 22581
111.98/112.69 c INPROCESSING
111.98/112.69 c GARBAGE COLLECT
111.98/112.69 c #Conflicts: 103000 | #Constraints: 14958
111.98/112.69 c #Conflicts: 104000 | #Constraints: 15958
111.98/112.69 c #Conflicts: 105000 | #Constraints: 16958
111.98/112.69 c #Conflicts: 106000 | #Constraints: 17958
111.98/112.69 c #Conflicts: 107000 | #Constraints: 18958
111.98/112.69 c #Conflicts: 108000 | #Constraints: 19958
111.98/112.69 c #Conflicts: 109000 | #Constraints: 20958
111.98/112.69 c #Conflicts: 110000 | #Constraints: 21958
111.98/112.69 c INPROCESSING
111.98/112.69 c GARBAGE COLLECT
111.98/112.69 c #Conflicts: 111000 | #Constraints: 15108
111.98/112.69 c #Conflicts: 112000 | #Constraints: 16108
111.98/112.69 c #Conflicts: 113000 | #Constraints: 17108
111.98/112.69 c #Conflicts: 114000 | #Constraints: 18108
111.98/112.69 c #Conflicts: 115000 | #Constraints: 19108
111.98/112.69 c #Conflicts: 116000 | #Constraints: 20108
111.98/112.69 c #Conflicts: 117000 | #Constraints: 21108
111.98/112.69 c INPROCESSING
111.98/112.69 c GARBAGE COLLECT
111.98/112.69 c #Conflicts: 118000 | #Constraints: 14499
111.98/112.69 c #Conflicts: 119000 | #Constraints: 15499
111.98/112.69 c #Conflicts: 120000 | #Constraints: 16499
111.98/112.69 c #Conflicts: 121000 | #Constraints: 17499
111.98/112.69 c #Conflicts: 122000 | #Constraints: 18499
111.98/112.69 c #Conflicts: 123000 | #Constraints: 19499
111.98/112.69 c #Conflicts: 124000 | #Constraints: 20499
111.98/112.69 c #Conflicts: 125000 | #Constraints: 21499
111.98/112.69 c #Conflicts: 126000 | #Constraints: 22499
111.98/112.69 c #Conflicts: 127000 | #Constraints: 23499
111.98/112.69 c #Conflicts: 128000 | #Constraints: 24499
111.98/112.69 c #Conflicts: 129000 | #Constraints: 25499
111.98/112.69 c #Conflicts: 130000 | #Constraints: 26499
111.98/112.69 c #Conflicts: 131000 | #Constraints: 27499
111.98/112.69 c #Conflicts: 132000 | #Constraints: 28499
111.98/112.69 c #Conflicts: 133000 | #Constraints: 29499
111.98/112.69 c #Conflicts: 134000 | #Constraints: 30499
111.98/112.69 c #Conflicts: 135000 | #Constraints: 31499
111.98/112.69 c #Conflicts: 136000 | #Constraints: 32499
111.98/112.69 c #Conflicts: 137000 | #Constraints: 33499
111.98/112.69 c #Conflicts: 138000 | #Constraints: 34499
111.98/112.69 c #Conflicts: 139000 | #Constraints: 35499
111.98/112.69 c #Conflicts: 140000 | #Constraints: 36499
111.98/112.69 c #Conflicts: 141000 | #Constraints: 37499
111.98/112.69 c #Conflicts: 142000 | #Constraints: 38499
111.98/112.69 c #Conflicts: 143000 | #Constraints: 39499
218.58/219.88 c #Conflicts: 144000 | #Constraints: 40499
218.58/219.88 c #Conflicts: 145000 | #Constraints: 41499
218.58/219.88 c #Conflicts: 146000 | #Constraints: 42499
218.58/219.88 c INPROCESSING
218.58/219.88 c GARBAGE COLLECT
218.58/219.88 c #Conflicts: 147000 | #Constraints: 25208
218.58/219.88 c #Conflicts: 148000 | #Constraints: 26208
218.58/219.88 c #Conflicts: 149000 | #Constraints: 27208
218.58/219.88 c #Conflicts: 150000 | #Constraints: 28208
218.58/219.88 c #Conflicts: 151000 | #Constraints: 29208
218.58/219.88 c #Conflicts: 152000 | #Constraints: 30208
218.58/219.88 c #Conflicts: 153000 | #Constraints: 31208
218.58/219.88 c #Conflicts: 154000 | #Constraints: 32208
218.58/219.88 c #Conflicts: 155000 | #Constraints: 33208
218.58/219.88 c INPROCESSING
218.58/219.88 c GARBAGE COLLECT
218.58/219.88 c #Conflicts: 156000 | #Constraints: 20800
218.58/219.88 c #Conflicts: 157000 | #Constraints: 21800
218.58/219.88 c #Conflicts: 158000 | #Constraints: 22800
218.58/219.88 c #Conflicts: 159000 | #Constraints: 23800
218.58/219.88 c #Conflicts: 160000 | #Constraints: 24800
218.58/219.88 c #Conflicts: 161000 | #Constraints: 25800
218.58/219.88 c #Conflicts: 162000 | #Constraints: 26800
218.58/219.88 c #Conflicts: 163000 | #Constraints: 27800
218.58/219.88 c INPROCESSING
218.58/219.88 c GARBAGE COLLECT
218.58/219.88 c #Conflicts: 164000 | #Constraints: 17703
218.58/219.88 c #Conflicts: 165000 | #Constraints: 18703
218.58/219.88 c #Conflicts: 166000 | #Constraints: 19703
218.58/219.88 c #Conflicts: 167000 | #Constraints: 20703
218.58/219.88 c #Conflicts: 168000 | #Constraints: 21703
218.58/219.88 c #Conflicts: 169000 | #Constraints: 22703
218.58/219.88 c #Conflicts: 170000 | #Constraints: 23703
218.58/219.88 c #Conflicts: 171000 | #Constraints: 24703
218.58/219.88 c #Conflicts: 172000 | #Constraints: 25703
218.58/219.88 c INPROCESSING
218.58/219.88 c GARBAGE COLLECT
218.58/219.88 c #Conflicts: 173000 | #Constraints: 16669
218.58/219.88 c #Conflicts: 174000 | #Constraints: 17669
218.58/219.88 c #Conflicts: 175000 | #Constraints: 18669
218.58/219.88 c #Conflicts: 176000 | #Constraints: 19669
218.58/219.88 c #Conflicts: 177000 | #Constraints: 20669
218.58/219.88 c #Conflicts: 178000 | #Constraints: 21669
218.58/219.88 c #Conflicts: 179000 | #Constraints: 22669
218.58/219.88 c #Conflicts: 180000 | #Constraints: 23669
218.58/219.88 c #Conflicts: 181000 | #Constraints: 24669
218.58/219.88 c #Conflicts: 182000 | #Constraints: 25669
218.58/219.88 c INPROCESSING
218.58/219.88 c GARBAGE COLLECT
218.58/219.88 c #Conflicts: 183000 | #Constraints: 17004
218.58/219.88 c #Conflicts: 184000 | #Constraints: 18004
218.58/219.88 c #Conflicts: 185000 | #Constraints: 19004
218.58/219.88 c #Conflicts: 186000 | #Constraints: 20004
218.58/219.88 c #Conflicts: 187000 | #Constraints: 21004
218.58/219.88 c #Conflicts: 188000 | #Constraints: 22004
218.58/219.88 c #Conflicts: 189000 | #Constraints: 23004
218.58/219.88 c #Conflicts: 190000 | #Constraints: 24004
218.58/219.88 c #Conflicts: 191000 | #Constraints: 25004
218.58/219.88 c #Conflicts: 192000 | #Constraints: 26004
218.58/219.88 c #Conflicts: 193000 | #Constraints: 27004
218.58/219.88 c #Conflicts: 194000 | #Constraints: 28004
218.58/219.88 c #Conflicts: 195000 | #Constraints: 29004
218.58/219.88 c #Conflicts: 196000 | #Constraints: 30004
218.58/219.88 c #Conflicts: 197000 | #Constraints: 31004
218.58/219.88 c #Conflicts: 198000 | #Constraints: 32004
218.58/219.88 c #Conflicts: 199000 | #Constraints: 33004
218.58/219.88 c #Conflicts: 200000 | #Constraints: 34004
218.58/219.88 c #Conflicts: 201000 | #Constraints: 35004
218.58/219.88 c #Conflicts: 202000 | #Constraints: 36004
218.58/219.88 c #Conflicts: 203000 | #Constraints: 37004
218.58/219.88 c #Conflicts: 204000 | #Constraints: 38004
218.58/219.88 c #Conflicts: 205000 | #Constraints: 39004
218.58/219.88 c #Conflicts: 206000 | #Constraints: 40004
218.58/219.88 c #Conflicts: 207000 | #Constraints: 41004
218.58/219.88 c #Conflicts: 208000 | #Constraints: 42004
218.58/219.88 c #Conflicts: 209000 | #Constraints: 43004
218.58/219.88 c #Conflicts: 210000 | #Constraints: 44004
218.58/219.88 c #Conflicts: 211000 | #Constraints: 45004
218.58/219.88 c #Conflicts: 212000 | #Constraints: 46004
218.58/219.88 c #Conflicts: 213000 | #Constraints: 47004
218.58/219.88 c #Conflicts: 214000 | #Constraints: 48004
218.58/219.88 c #Conflicts: 215000 | #Constraints: 49004
218.58/219.88 c #Conflicts: 216000 | #Constraints: 50004
218.58/219.88 c #Conflicts: 217000 | #Constraints: 51004
218.58/219.88 c INPROCESSING
218.58/219.88 c GARBAGE COLLECT
218.58/219.88 c #Conflicts: 218000 | #Constraints: 29491
306.56/308.28 c #Conflicts: 219000 | #Constraints: 30491
306.56/308.28 c #Conflicts: 220000 | #Constraints: 31491
306.56/308.28 c #Conflicts: 221000 | #Constraints: 32491
306.56/308.28 c #Conflicts: 222000 | #Constraints: 33491
306.56/308.28 c #Conflicts: 223000 | #Constraints: 34491
306.56/308.28 c #Conflicts: 224000 | #Constraints: 35491
306.56/308.28 c #Conflicts: 225000 | #Constraints: 36491
306.56/308.28 c #Conflicts: 226000 | #Constraints: 37491
306.56/308.28 c #Conflicts: 227000 | #Constraints: 38491
306.56/308.28 c #Conflicts: 228000 | #Constraints: 39491
306.56/308.28 c INPROCESSING
306.56/308.28 c GARBAGE COLLECT
306.56/308.28 c #Conflicts: 229000 | #Constraints: 23968
306.56/308.28 c #Conflicts: 230000 | #Constraints: 24968
306.56/308.28 c #Conflicts: 231000 | #Constraints: 25968
306.56/308.28 c #Conflicts: 232000 | #Constraints: 26968
306.56/308.28 c #Conflicts: 233000 | #Constraints: 27968
306.56/308.28 c #Conflicts: 234000 | #Constraints: 28968
306.56/308.28 c #Conflicts: 235000 | #Constraints: 29968
306.56/308.28 c #Conflicts: 236000 | #Constraints: 30968
306.56/308.28 c #Conflicts: 237000 | #Constraints: 31968
306.56/308.28 c #Conflicts: 238000 | #Constraints: 32968
306.56/308.28 c INPROCESSING
306.56/308.28 c GARBAGE COLLECT
306.56/308.28 c #Conflicts: 239000 | #Constraints: 20347
306.56/308.28 c #Conflicts: 240000 | #Constraints: 21347
306.56/308.28 c #Conflicts: 241000 | #Constraints: 22347
306.56/308.28 c #Conflicts: 242000 | #Constraints: 23347
306.56/308.28 c #Conflicts: 243000 | #Constraints: 24347
306.56/308.28 c #Conflicts: 244000 | #Constraints: 25347
306.56/308.28 c #Conflicts: 245000 | #Constraints: 26347
306.56/308.28 c #Conflicts: 246000 | #Constraints: 27347
306.56/308.28 c #Conflicts: 247000 | #Constraints: 28347
306.56/308.28 c #Conflicts: 248000 | #Constraints: 29347
306.56/308.28 c #Conflicts: 249000 | #Constraints: 30347
306.56/308.28 c INPROCESSING
306.56/308.28 c GARBAGE COLLECT
306.56/308.28 c #Conflicts: 250000 | #Constraints: 19078
306.56/308.28 c #Conflicts: 251000 | #Constraints: 20078
306.56/308.28 c #Conflicts: 252000 | #Constraints: 21078
306.56/308.28 c #Conflicts: 253000 | #Constraints: 22078
306.56/308.28 c #Conflicts: 254000 | #Constraints: 23078
306.56/308.28 c #Conflicts: 255000 | #Constraints: 24078
306.56/308.28 c #Conflicts: 256000 | #Constraints: 25078
306.56/308.28 c #Conflicts: 257000 | #Constraints: 26078
306.56/308.28 c #Conflicts: 258000 | #Constraints: 27078
306.56/308.28 c #Conflicts: 259000 | #Constraints: 28078
306.56/308.28 c #Conflicts: 260000 | #Constraints: 29078
306.56/308.28 c INPROCESSING
306.56/308.28 c GARBAGE COLLECT
306.56/308.28 c #Conflicts: 261000 | #Constraints: 18408
306.56/308.28 c #Conflicts: 262000 | #Constraints: 19408
306.56/308.28 c #Conflicts: 263000 | #Constraints: 20408
306.56/308.28 c #Conflicts: 264000 | #Constraints: 21408
306.56/308.28 c #Conflicts: 265000 | #Constraints: 22408
306.56/308.28 c #Conflicts: 266000 | #Constraints: 23408
306.56/308.28 c #Conflicts: 267000 | #Constraints: 24408
306.56/308.28 c #Conflicts: 268000 | #Constraints: 25408
306.56/308.28 c #Conflicts: 269000 | #Constraints: 26408
306.56/308.28 c #Conflicts: 270000 | #Constraints: 27408
306.56/308.28 c #Conflicts: 271000 | #Constraints: 28408
306.56/308.28 c #Conflicts: 272000 | #Constraints: 29408
306.56/308.28 c #Conflicts: 273000 | #Constraints: 30408
306.56/308.28 c #Conflicts: 274000 | #Constraints: 31408
306.56/308.28 c #Conflicts: 275000 | #Constraints: 32408
306.56/308.28 c #Conflicts: 276000 | #Constraints: 33408
306.56/308.28 c #Conflicts: 277000 | #Constraints: 34408
306.56/308.28 c #Conflicts: 278000 | #Constraints: 35408
306.56/308.28 c #Conflicts: 279000 | #Constraints: 36408
306.56/308.28 c #Conflicts: 280000 | #Constraints: 37408
306.56/308.28 c #Conflicts: 281000 | #Constraints: 38408
306.56/308.28 c #Conflicts: 282000 | #Constraints: 39408
306.56/308.28 c #Conflicts: 283000 | #Constraints: 40408
306.56/308.28 c #Conflicts: 284000 | #Constraints: 41408
306.56/308.28 c #Conflicts: 285000 | #Constraints: 42408
306.56/308.28 c #Conflicts: 286000 | #Constraints: 43408
306.56/308.28 c #Conflicts: 287000 | #Constraints: 44408
306.56/308.28 c #Conflicts: 288000 | #Constraints: 45408
306.56/308.28 c #Conflicts: 289000 | #Constraints: 46408
306.56/308.28 c #Conflicts: 290000 | #Constraints: 47408
306.56/308.28 c #Conflicts: 291000 | #Constraints: 48408
306.56/308.28 c #Conflicts: 292000 | #Constraints: 49408
306.56/308.28 c #Conflicts: 293000 | #Constraints: 50408
306.56/308.28 c #Conflicts: 294000 | #Constraints: 51408
306.56/308.28 c #Conflicts: 295000 | #Constraints: 52408
333.69/335.54 c #Conflicts: 296000 | #Constraints: 53408
333.69/335.54 c #Conflicts: 297000 | #Constraints: 54408
333.69/335.54 c #Conflicts: 298000 | #Constraints: 55408
333.69/335.54 c #Conflicts: 299000 | #Constraints: 56408
333.69/335.54 c #Conflicts: 300000 | #Constraints: 57408
333.69/335.54 c #Conflicts: 301000 | #Constraints: 58408
333.69/335.54 c #Conflicts: 302000 | #Constraints: 59408
333.69/335.54 c INPROCESSING
333.69/335.54 c GARBAGE COLLECT
333.69/335.54 c rational objective 88.4003
421.63/424.16 c #Conflicts: 303000 | #Constraints: 33682
421.63/424.16 c #Conflicts: 304000 | #Constraints: 34682
421.63/424.16 c #Conflicts: 305000 | #Constraints: 35682
421.63/424.16 c #Conflicts: 306000 | #Constraints: 36682
421.63/424.16 c #Conflicts: 307000 | #Constraints: 37682
421.63/424.16 c #Conflicts: 308000 | #Constraints: 38682
421.63/424.16 c #Conflicts: 309000 | #Constraints: 39682
421.63/424.16 c #Conflicts: 310000 | #Constraints: 40682
421.63/424.16 c #Conflicts: 311000 | #Constraints: 41682
421.63/424.16 c #Conflicts: 312000 | #Constraints: 42682
421.63/424.16 c #Conflicts: 313000 | #Constraints: 43682
421.63/424.16 c #Conflicts: 314000 | #Constraints: 44682
421.63/424.16 c #Conflicts: 315000 | #Constraints: 45682
421.63/424.16 c INPROCESSING
421.63/424.16 c GARBAGE COLLECT
421.63/424.16 c #Conflicts: 316000 | #Constraints: 27082
421.63/424.16 c #Conflicts: 317000 | #Constraints: 28082
421.63/424.16 c #Conflicts: 318000 | #Constraints: 29082
421.63/424.16 c #Conflicts: 319000 | #Constraints: 30082
421.63/424.16 c #Conflicts: 320000 | #Constraints: 31082
421.63/424.16 c #Conflicts: 321000 | #Constraints: 32082
421.63/424.16 c #Conflicts: 322000 | #Constraints: 33082
421.63/424.16 c #Conflicts: 323000 | #Constraints: 34082
421.63/424.16 c #Conflicts: 324000 | #Constraints: 35082
421.63/424.16 c #Conflicts: 325000 | #Constraints: 36082
421.63/424.16 c #Conflicts: 326000 | #Constraints: 37082
421.63/424.16 c #Conflicts: 327000 | #Constraints: 38082
421.63/424.16 c INPROCESSING
421.63/424.16 c GARBAGE COLLECT
421.63/424.16 c #Conflicts: 328000 | #Constraints: 23012
421.63/424.16 c #Conflicts: 329000 | #Constraints: 24012
421.63/424.16 c #Conflicts: 330000 | #Constraints: 25012
421.63/424.16 c #Conflicts: 331000 | #Constraints: 26012
421.63/424.16 c #Conflicts: 332000 | #Constraints: 27012
421.63/424.16 c #Conflicts: 333000 | #Constraints: 28012
421.63/424.16 c #Conflicts: 334000 | #Constraints: 29012
421.63/424.16 c #Conflicts: 335000 | #Constraints: 30012
421.63/424.16 c #Conflicts: 336000 | #Constraints: 31012
421.63/424.16 c #Conflicts: 337000 | #Constraints: 32012
421.63/424.16 c #Conflicts: 338000 | #Constraints: 33012
421.63/424.16 c #Conflicts: 339000 | #Constraints: 34012
421.63/424.16 c #Conflicts: 340000 | #Constraints: 35012
421.63/424.16 c INPROCESSING
421.63/424.16 c GARBAGE COLLECT
421.63/424.16 c #Conflicts: 341000 | #Constraints: 21556
421.63/424.16 c #Conflicts: 342000 | #Constraints: 22556
421.63/424.16 c #Conflicts: 343000 | #Constraints: 23556
421.63/424.16 c #Conflicts: 344000 | #Constraints: 24556
421.63/424.16 c #Conflicts: 345000 | #Constraints: 25556
421.63/424.16 c #Conflicts: 346000 | #Constraints: 26556
421.63/424.16 c #Conflicts: 347000 | #Constraints: 27556
421.63/424.16 c #Conflicts: 348000 | #Constraints: 28556
421.63/424.16 c #Conflicts: 349000 | #Constraints: 29556
421.63/424.16 c #Conflicts: 350000 | #Constraints: 30556
421.63/424.16 c #Conflicts: 351000 | #Constraints: 31556
421.63/424.16 c #Conflicts: 352000 | #Constraints: 32556
421.63/424.16 c #Conflicts: 353000 | #Constraints: 33556
421.63/424.16 c INPROCESSING
421.63/424.16 c GARBAGE COLLECT
421.63/424.16 c #Conflicts: 354000 | #Constraints: 20757
421.63/424.16 c #Conflicts: 355000 | #Constraints: 21757
421.63/424.16 c #Conflicts: 356000 | #Constraints: 22757
421.63/424.16 c #Conflicts: 357000 | #Constraints: 23757
421.63/424.16 c #Conflicts: 358000 | #Constraints: 24757
421.63/424.16 c #Conflicts: 359000 | #Constraints: 25757
421.63/424.16 c #Conflicts: 360000 | #Constraints: 26757
421.63/424.16 c #Conflicts: 361000 | #Constraints: 27757
421.63/424.16 c #Conflicts: 362000 | #Constraints: 28757
421.63/424.16 c #Conflicts: 363000 | #Constraints: 29757
421.63/424.16 c #Conflicts: 364000 | #Constraints: 30757
421.63/424.16 c #Conflicts: 365000 | #Constraints: 31757
421.63/424.16 c #Conflicts: 366000 | #Constraints: 32757
421.63/424.16 c #Conflicts: 367000 | #Constraints: 33757
421.63/424.16 c #Conflicts: 368000 | #Constraints: 34757
421.63/424.16 c #Conflicts: 369000 | #Constraints: 35757
421.63/424.16 c #Conflicts: 370000 | #Constraints: 36757
421.63/424.16 c #Conflicts: 371000 | #Constraints: 37757
421.63/424.16 c #Conflicts: 372000 | #Constraints: 38757
421.63/424.16 c #Conflicts: 373000 | #Constraints: 39757
421.63/424.16 c #Conflicts: 374000 | #Constraints: 40757
421.63/424.16 c #Conflicts: 375000 | #Constraints: 41757
421.63/424.16 c #Conflicts: 376000 | #Constraints: 42757
421.63/424.16 c #Conflicts: 377000 | #Constraints: 43757
421.63/424.16 c #Conflicts: 378000 | #Constraints: 44757
421.63/424.16 c #Conflicts: 379000 | #Constraints: 45757
553.48/556.74 c #Conflicts: 380000 | #Constraints: 46757
553.48/556.74 c #Conflicts: 381000 | #Constraints: 47757
553.48/556.74 c #Conflicts: 382000 | #Constraints: 48757
553.48/556.74 c #Conflicts: 383000 | #Constraints: 49757
553.48/556.74 c #Conflicts: 384000 | #Constraints: 50757
553.48/556.74 c #Conflicts: 385000 | #Constraints: 51757
553.48/556.74 c #Conflicts: 386000 | #Constraints: 52757
553.48/556.74 c #Conflicts: 387000 | #Constraints: 53757
553.48/556.74 c #Conflicts: 388000 | #Constraints: 54757
553.48/556.74 c #Conflicts: 389000 | #Constraints: 55757
553.48/556.74 c #Conflicts: 390000 | #Constraints: 56757
553.48/556.74 c #Conflicts: 391000 | #Constraints: 57757
553.48/556.74 c #Conflicts: 392000 | #Constraints: 58757
553.48/556.74 c #Conflicts: 393000 | #Constraints: 59757
553.48/556.74 c #Conflicts: 394000 | #Constraints: 60757
553.48/556.74 c #Conflicts: 395000 | #Constraints: 61757
553.48/556.74 c #Conflicts: 396000 | #Constraints: 62757
553.48/556.74 c #Conflicts: 397000 | #Constraints: 63757
553.48/556.74 c #Conflicts: 398000 | #Constraints: 64757
553.48/556.74 c #Conflicts: 399000 | #Constraints: 65757
553.48/556.74 c #Conflicts: 400000 | #Constraints: 66757
553.48/556.74 c #Conflicts: 401000 | #Constraints: 67757
553.48/556.74 c INPROCESSING
553.48/556.74 c GARBAGE COLLECT
553.48/556.74 c #Conflicts: 402000 | #Constraints: 37790
553.48/556.74 c #Conflicts: 403000 | #Constraints: 38790
553.48/556.74 c #Conflicts: 404000 | #Constraints: 39790
553.48/556.74 c #Conflicts: 405000 | #Constraints: 40790
553.48/556.74 c #Conflicts: 406000 | #Constraints: 41790
553.48/556.74 c #Conflicts: 407000 | #Constraints: 42790
553.48/556.74 c #Conflicts: 408000 | #Constraints: 43790
553.48/556.74 c #Conflicts: 409000 | #Constraints: 44790
553.48/556.74 c #Conflicts: 410000 | #Constraints: 45790
553.48/556.74 c #Conflicts: 411000 | #Constraints: 46790
553.48/556.74 c #Conflicts: 412000 | #Constraints: 47790
553.48/556.74 c #Conflicts: 413000 | #Constraints: 48790
553.48/556.74 c #Conflicts: 414000 | #Constraints: 49790
553.48/556.74 c #Conflicts: 415000 | #Constraints: 50790
553.48/556.74 c #Conflicts: 416000 | #Constraints: 51790
553.48/556.74 c INPROCESSING
553.48/556.74 c GARBAGE COLLECT
553.48/556.74 c #Conflicts: 417000 | #Constraints: 30191
553.48/556.74 c #Conflicts: 418000 | #Constraints: 31191
553.48/556.74 c #Conflicts: 419000 | #Constraints: 32191
553.48/556.74 c #Conflicts: 420000 | #Constraints: 33191
553.48/556.74 c #Conflicts: 421000 | #Constraints: 34191
553.48/556.74 c #Conflicts: 422000 | #Constraints: 35191
553.48/556.74 c #Conflicts: 423000 | #Constraints: 36191
553.48/556.74 c #Conflicts: 424000 | #Constraints: 37191
553.48/556.74 c #Conflicts: 425000 | #Constraints: 38191
553.48/556.74 c #Conflicts: 426000 | #Constraints: 39191
553.48/556.74 c #Conflicts: 427000 | #Constraints: 40191
553.48/556.74 c #Conflicts: 428000 | #Constraints: 41191
553.48/556.74 c #Conflicts: 429000 | #Constraints: 42191
553.48/556.74 c #Conflicts: 430000 | #Constraints: 43191
553.48/556.74 c INPROCESSING
553.48/556.74 c GARBAGE COLLECT
553.48/556.74 c #Conflicts: 431000 | #Constraints: 25597
553.48/556.74 c #Conflicts: 432000 | #Constraints: 26597
553.48/556.74 c #Conflicts: 433000 | #Constraints: 27597
553.48/556.74 c #Conflicts: 434000 | #Constraints: 28597
553.48/556.74 c #Conflicts: 435000 | #Constraints: 29597
553.48/556.74 c #Conflicts: 436000 | #Constraints: 30597
553.48/556.74 c #Conflicts: 437000 | #Constraints: 31597
553.48/556.74 c #Conflicts: 438000 | #Constraints: 32597
553.48/556.74 c #Conflicts: 439000 | #Constraints: 33597
553.48/556.74 c #Conflicts: 440000 | #Constraints: 34597
553.48/556.74 c #Conflicts: 441000 | #Constraints: 35597
553.48/556.74 c #Conflicts: 442000 | #Constraints: 36597
553.48/556.74 c #Conflicts: 443000 | #Constraints: 37597
553.48/556.74 c #Conflicts: 444000 | #Constraints: 38597
553.48/556.74 c #Conflicts: 445000 | #Constraints: 39597
553.48/556.74 c INPROCESSING
553.48/556.74 c GARBAGE COLLECT
553.48/556.74 c #Conflicts: 446000 | #Constraints: 23984
553.48/556.74 c #Conflicts: 447000 | #Constraints: 24984
553.48/556.74 c #Conflicts: 448000 | #Constraints: 25984
553.48/556.74 c #Conflicts: 449000 | #Constraints: 26984
553.48/556.74 c #Conflicts: 450000 | #Constraints: 27984
553.48/556.74 c #Conflicts: 451000 | #Constraints: 28984
553.48/556.74 c #Conflicts: 452000 | #Constraints: 29984
553.48/556.74 c #Conflicts: 453000 | #Constraints: 30984
553.48/556.74 c #Conflicts: 454000 | #Constraints: 31984
553.48/556.74 c #Conflicts: 455000 | #Constraints: 32984
591.08/594.43 c #Conflicts: 456000 | #Constraints: 33984
591.08/594.43 c #Conflicts: 457000 | #Constraints: 34984
591.08/594.43 c #Conflicts: 458000 | #Constraints: 35984
591.08/594.43 c #Conflicts: 459000 | #Constraints: 36984
591.08/594.43 c #Conflicts: 460000 | #Constraints: 37984
591.08/594.43 c INPROCESSING
591.08/594.43 c GARBAGE COLLECT
591.08/594.43 c #Conflicts: 461000 | #Constraints: 23237
591.08/594.43 c #Conflicts: 462000 | #Constraints: 24237
591.08/594.43 c #Conflicts: 463000 | #Constraints: 25237
591.08/594.43 c #Conflicts: 464000 | #Constraints: 26237
591.08/594.43 c #Conflicts: 465000 | #Constraints: 27237
591.08/594.43 c #Conflicts: 466000 | #Constraints: 28237
591.08/594.43 c #Conflicts: 467000 | #Constraints: 29237
591.08/594.43 c #Conflicts: 468000 | #Constraints: 30237
591.08/594.43 c #Conflicts: 469000 | #Constraints: 31237
591.08/594.43 c #Conflicts: 470000 | #Constraints: 32237
591.08/594.43 c #Conflicts: 471000 | #Constraints: 33237
591.08/594.43 c #Conflicts: 472000 | #Constraints: 34237
591.08/594.43 c #Conflicts: 473000 | #Constraints: 35237
591.08/594.43 c #Conflicts: 474000 | #Constraints: 36237
591.08/594.43 c #Conflicts: 475000 | #Constraints: 37237
591.08/594.43 c INPROCESSING
591.08/594.43 c GARBAGE COLLECT
591.08/594.43 c rational objective 91.9461
732.87/737.27 c #Conflicts: 476000 | #Constraints: 22750
732.87/737.27 c #Conflicts: 477000 | #Constraints: 23750
732.87/737.27 c #Conflicts: 478000 | #Constraints: 24750
732.87/737.27 c #Conflicts: 479000 | #Constraints: 25750
732.87/737.27 c #Conflicts: 480000 | #Constraints: 26750
732.87/737.27 c #Conflicts: 481000 | #Constraints: 27750
732.87/737.27 c #Conflicts: 482000 | #Constraints: 28750
732.87/737.27 c #Conflicts: 483000 | #Constraints: 29750
732.87/737.27 c #Conflicts: 484000 | #Constraints: 30750
732.87/737.27 c #Conflicts: 485000 | #Constraints: 31750
732.87/737.27 c #Conflicts: 486000 | #Constraints: 32750
732.87/737.27 c #Conflicts: 487000 | #Constraints: 33750
732.87/737.27 c #Conflicts: 488000 | #Constraints: 34750
732.87/737.27 c #Conflicts: 489000 | #Constraints: 35750
732.87/737.27 c #Conflicts: 490000 | #Constraints: 36750
732.87/737.27 c #Conflicts: 491000 | #Constraints: 37750
732.87/737.27 c #Conflicts: 492000 | #Constraints: 38750
732.87/737.27 c #Conflicts: 493000 | #Constraints: 39750
732.87/737.27 c #Conflicts: 494000 | #Constraints: 40750
732.87/737.27 c #Conflicts: 495000 | #Constraints: 41750
732.87/737.27 c #Conflicts: 496000 | #Constraints: 42750
732.87/737.27 c #Conflicts: 497000 | #Constraints: 43750
732.87/737.27 c #Conflicts: 498000 | #Constraints: 44750
732.87/737.27 c #Conflicts: 499000 | #Constraints: 45750
732.87/737.27 c #Conflicts: 500000 | #Constraints: 46750
732.87/737.27 c #Conflicts: 501000 | #Constraints: 47750
732.87/737.27 c #Conflicts: 502000 | #Constraints: 48750
732.87/737.27 c #Conflicts: 503000 | #Constraints: 49750
732.87/737.27 c #Conflicts: 504000 | #Constraints: 50750
732.87/737.27 c #Conflicts: 505000 | #Constraints: 51750
732.87/737.27 c #Conflicts: 506000 | #Constraints: 52750
732.87/737.27 c #Conflicts: 507000 | #Constraints: 53750
732.87/737.27 c #Conflicts: 508000 | #Constraints: 54750
732.87/737.27 c #Conflicts: 509000 | #Constraints: 55750
732.87/737.27 c #Conflicts: 510000 | #Constraints: 56750
732.87/737.27 c #Conflicts: 511000 | #Constraints: 57750
732.87/737.27 c #Conflicts: 512000 | #Constraints: 58750
732.87/737.27 c #Conflicts: 513000 | #Constraints: 59750
732.87/737.27 c #Conflicts: 514000 | #Constraints: 60750
732.87/737.27 c #Conflicts: 515000 | #Constraints: 61750
732.87/737.27 c #Conflicts: 516000 | #Constraints: 62750
732.87/737.27 c #Conflicts: 517000 | #Constraints: 63750
732.87/737.27 c #Conflicts: 518000 | #Constraints: 64750
732.87/737.27 c #Conflicts: 519000 | #Constraints: 65750
732.87/737.27 c #Conflicts: 520000 | #Constraints: 66750
732.87/737.27 c #Conflicts: 521000 | #Constraints: 67750
732.87/737.27 c #Conflicts: 522000 | #Constraints: 68750
732.87/737.27 c #Conflicts: 523000 | #Constraints: 69750
732.87/737.27 c #Conflicts: 524000 | #Constraints: 70750
732.87/737.27 c #Conflicts: 525000 | #Constraints: 71750
732.87/737.27 c #Conflicts: 526000 | #Constraints: 72750
732.87/737.27 c #Conflicts: 527000 | #Constraints: 73750
732.87/737.27 c #Conflicts: 528000 | #Constraints: 74750
732.87/737.27 c #Conflicts: 529000 | #Constraints: 75750
732.87/737.27 c #Conflicts: 530000 | #Constraints: 76750
732.87/737.27 c #Conflicts: 531000 | #Constraints: 77750
732.87/737.27 c INPROCESSING
732.87/737.27 c GARBAGE COLLECT
732.87/737.27 c #Conflicts: 532000 | #Constraints: 43162
732.87/737.27 c #Conflicts: 533000 | #Constraints: 44162
732.87/737.27 c #Conflicts: 534000 | #Constraints: 45162
732.87/737.27 c #Conflicts: 535000 | #Constraints: 46162
732.87/737.27 c #Conflicts: 536000 | #Constraints: 47162
732.87/737.27 c #Conflicts: 537000 | #Constraints: 48162
732.87/737.27 c #Conflicts: 538000 | #Constraints: 49162
732.87/737.27 c #Conflicts: 539000 | #Constraints: 50162
732.87/737.27 c #Conflicts: 540000 | #Constraints: 51162
732.87/737.27 c #Conflicts: 541000 | #Constraints: 52162
732.87/737.27 c #Conflicts: 542000 | #Constraints: 53162
732.87/737.27 c #Conflicts: 543000 | #Constraints: 54162
732.87/737.27 c #Conflicts: 544000 | #Constraints: 55162
732.87/737.27 c #Conflicts: 545000 | #Constraints: 56162
732.87/737.27 c #Conflicts: 546000 | #Constraints: 57162
732.87/737.27 c #Conflicts: 547000 | #Constraints: 58162
732.87/737.27 c INPROCESSING
732.87/737.27 c GARBAGE COLLECT
732.87/737.27 c #Conflicts: 548000 | #Constraints: 33224
732.87/737.27 c #Conflicts: 549000 | #Constraints: 34224
732.87/737.27 c #Conflicts: 550000 | #Constraints: 35224
732.87/737.27 c #Conflicts: 551000 | #Constraints: 36224
732.87/737.27 c #Conflicts: 552000 | #Constraints: 37224
732.87/737.27 c #Conflicts: 553000 | #Constraints: 38224
831.71/836.91 c #Conflicts: 554000 | #Constraints: 39224
831.71/836.91 c #Conflicts: 555000 | #Constraints: 40224
831.71/836.91 c #Conflicts: 556000 | #Constraints: 41224
831.71/836.91 c #Conflicts: 557000 | #Constraints: 42224
831.71/836.91 c #Conflicts: 558000 | #Constraints: 43224
831.71/836.91 c #Conflicts: 559000 | #Constraints: 44224
831.71/836.91 c #Conflicts: 560000 | #Constraints: 45224
831.71/836.91 c #Conflicts: 561000 | #Constraints: 46224
831.71/836.91 c #Conflicts: 562000 | #Constraints: 47224
831.71/836.91 c #Conflicts: 563000 | #Constraints: 48225
831.71/836.91 c #Conflicts: 564000 | #Constraints: 49225
831.71/836.91 c INPROCESSING
831.71/836.91 c GARBAGE COLLECT
831.71/836.91 c #Conflicts: 565000 | #Constraints: 28936
831.71/836.91 c #Conflicts: 566000 | #Constraints: 29936
831.71/836.91 c #Conflicts: 567000 | #Constraints: 30936
831.71/836.91 c #Conflicts: 568000 | #Constraints: 31936
831.71/836.91 c #Conflicts: 569000 | #Constraints: 32936
831.71/836.91 c #Conflicts: 570000 | #Constraints: 33936
831.71/836.91 c #Conflicts: 571000 | #Constraints: 34936
831.71/836.91 c #Conflicts: 572000 | #Constraints: 35936
831.71/836.91 c #Conflicts: 573000 | #Constraints: 36936
831.71/836.91 c #Conflicts: 574000 | #Constraints: 37936
831.71/836.91 c #Conflicts: 575000 | #Constraints: 38936
831.71/836.91 c #Conflicts: 576000 | #Constraints: 39936
831.71/836.91 c #Conflicts: 577000 | #Constraints: 40936
831.71/836.91 c #Conflicts: 578000 | #Constraints: 41936
831.71/836.91 c #Conflicts: 579000 | #Constraints: 42936
831.71/836.91 c #Conflicts: 580000 | #Constraints: 43936
831.71/836.91 c INPROCESSING
831.71/836.91 c GARBAGE COLLECT
831.71/836.91 c #Conflicts: 581000 | #Constraints: 25838
831.71/836.91 c #Conflicts: 582000 | #Constraints: 26838
831.71/836.91 c #Conflicts: 583000 | #Constraints: 27838
831.71/836.91 c #Conflicts: 584000 | #Constraints: 28838
831.71/836.91 c #Conflicts: 585000 | #Constraints: 29838
831.71/836.91 c #Conflicts: 586000 | #Constraints: 30838
831.71/836.91 c #Conflicts: 587000 | #Constraints: 31838
831.71/836.91 c #Conflicts: 588000 | #Constraints: 32838
831.71/836.91 c #Conflicts: 589000 | #Constraints: 33838
831.71/836.91 c #Conflicts: 590000 | #Constraints: 34838
831.71/836.91 c #Conflicts: 591000 | #Constraints: 35838
831.71/836.91 c #Conflicts: 592000 | #Constraints: 36838
831.71/836.91 c #Conflicts: 593000 | #Constraints: 37838
831.71/836.91 c #Conflicts: 594000 | #Constraints: 38838
831.71/836.91 c #Conflicts: 595000 | #Constraints: 39838
831.71/836.91 c #Conflicts: 596000 | #Constraints: 40838
831.71/836.91 c #Conflicts: 597000 | #Constraints: 41838
831.71/836.91 c INPROCESSING
831.71/836.91 c GARBAGE COLLECT
831.71/836.91 c #Conflicts: 598000 | #Constraints: 24819
831.71/836.91 c #Conflicts: 599000 | #Constraints: 25819
831.71/836.91 c #Conflicts: 600000 | #Constraints: 26819
831.71/836.91 c #Conflicts: 601000 | #Constraints: 27819
831.71/836.91 c #Conflicts: 602000 | #Constraints: 28819
831.71/836.91 c #Conflicts: 603000 | #Constraints: 29819
831.71/836.91 c #Conflicts: 604000 | #Constraints: 30819
831.71/836.91 c #Conflicts: 605000 | #Constraints: 31819
831.71/836.91 c #Conflicts: 606000 | #Constraints: 32819
831.71/836.91 c #Conflicts: 607000 | #Constraints: 33819
831.71/836.91 c #Conflicts: 608000 | #Constraints: 34819
831.71/836.91 c #Conflicts: 609000 | #Constraints: 35819
831.71/836.91 c #Conflicts: 610000 | #Constraints: 36819
831.71/836.91 c #Conflicts: 611000 | #Constraints: 37819
831.71/836.91 c #Conflicts: 612000 | #Constraints: 38819
831.71/836.91 c #Conflicts: 613000 | #Constraints: 39819
831.71/836.91 c #Conflicts: 614000 | #Constraints: 40819
831.71/836.91 c #Conflicts: 615000 | #Constraints: 41819
831.71/836.91 c INPROCESSING
831.71/836.91 c GARBAGE COLLECT
831.71/836.91 c #Conflicts: 616000 | #Constraints: 25182
831.71/836.91 c #Conflicts: 617000 | #Constraints: 26182
831.71/836.91 c #Conflicts: 618000 | #Constraints: 27182
831.71/836.91 c #Conflicts: 619000 | #Constraints: 28182
831.71/836.91 c #Conflicts: 620000 | #Constraints: 29182
831.71/836.91 c #Conflicts: 621000 | #Constraints: 30182
831.71/836.91 c #Conflicts: 622000 | #Constraints: 31182
831.71/836.91 c #Conflicts: 623000 | #Constraints: 32182
831.71/836.91 c #Conflicts: 624000 | #Constraints: 33182
831.71/836.91 c #Conflicts: 625000 | #Constraints: 34182
831.71/836.91 c #Conflicts: 626000 | #Constraints: 35182
831.71/836.91 c #Conflicts: 627000 | #Constraints: 36182
831.71/836.91 c #Conflicts: 628000 | #Constraints: 37182
831.71/836.91 c #Conflicts: 629000 | #Constraints: 38182
967.36/973.73 c #Conflicts: 630000 | #Constraints: 39182
967.36/973.73 c #Conflicts: 631000 | #Constraints: 40182
967.36/973.73 c #Conflicts: 632000 | #Constraints: 41182
967.36/973.73 c #Conflicts: 633000 | #Constraints: 42182
967.36/973.73 c #Conflicts: 634000 | #Constraints: 43182
967.36/973.73 c #Conflicts: 635000 | #Constraints: 44182
967.36/973.73 c #Conflicts: 636000 | #Constraints: 45182
967.36/973.73 c #Conflicts: 637000 | #Constraints: 46182
967.36/973.73 c #Conflicts: 638000 | #Constraints: 47182
967.36/973.73 c #Conflicts: 639000 | #Constraints: 48182
967.36/973.73 c #Conflicts: 640000 | #Constraints: 49182
967.36/973.73 c #Conflicts: 641000 | #Constraints: 50182
967.36/973.73 c #Conflicts: 642000 | #Constraints: 51182
967.36/973.73 c #Conflicts: 643000 | #Constraints: 52182
967.36/973.73 c #Conflicts: 644000 | #Constraints: 53182
967.36/973.73 c #Conflicts: 645000 | #Constraints: 54182
967.36/973.73 c #Conflicts: 646000 | #Constraints: 55182
967.36/973.73 c #Conflicts: 647000 | #Constraints: 56182
967.36/973.73 c #Conflicts: 648000 | #Constraints: 57182
967.36/973.73 c #Conflicts: 649000 | #Constraints: 58182
967.36/973.73 c #Conflicts: 650000 | #Constraints: 59182
967.36/973.73 c #Conflicts: 651000 | #Constraints: 60182
967.36/973.73 c #Conflicts: 652000 | #Constraints: 61182
967.36/973.73 c #Conflicts: 653000 | #Constraints: 62182
967.36/973.73 c #Conflicts: 654000 | #Constraints: 63182
967.36/973.73 c #Conflicts: 655000 | #Constraints: 64182
967.36/973.73 c #Conflicts: 656000 | #Constraints: 65182
967.36/973.73 c #Conflicts: 657000 | #Constraints: 66182
967.36/973.73 c #Conflicts: 658000 | #Constraints: 67182
967.36/973.73 c #Conflicts: 659000 | #Constraints: 68182
967.36/973.73 c #Conflicts: 660000 | #Constraints: 69182
967.36/973.73 c #Conflicts: 661000 | #Constraints: 70182
967.36/973.73 c #Conflicts: 662000 | #Constraints: 71182
967.36/973.73 c #Conflicts: 663000 | #Constraints: 72182
967.36/973.73 c #Conflicts: 664000 | #Constraints: 73182
967.36/973.73 c #Conflicts: 665000 | #Constraints: 74182
967.36/973.73 c #Conflicts: 666000 | #Constraints: 75182
967.36/973.73 c #Conflicts: 667000 | #Constraints: 76182
967.36/973.73 c #Conflicts: 668000 | #Constraints: 77182
967.36/973.73 c #Conflicts: 669000 | #Constraints: 78182
967.36/973.73 c #Conflicts: 670000 | #Constraints: 79182
967.36/973.73 c #Conflicts: 671000 | #Constraints: 80182
967.36/973.73 c #Conflicts: 672000 | #Constraints: 81182
967.36/973.73 c #Conflicts: 673000 | #Constraints: 82182
967.36/973.73 c #Conflicts: 674000 | #Constraints: 83182
967.36/973.73 c #Conflicts: 675000 | #Constraints: 84182
967.36/973.73 c #Conflicts: 676000 | #Constraints: 85182
967.36/973.73 c #Conflicts: 677000 | #Constraints: 86182
967.36/973.73 c #Conflicts: 678000 | #Constraints: 87182
967.36/973.73 c INPROCESSING
967.36/973.73 c GARBAGE COLLECT
967.36/973.73 c rational objective 92.3648
1090.07/1097.59 c #Conflicts: 679000 | #Constraints: 47742
1090.07/1097.59 c #Conflicts: 680000 | #Constraints: 48742
1090.07/1097.59 c #Conflicts: 681000 | #Constraints: 49742
1090.07/1097.59 c #Conflicts: 682000 | #Constraints: 50742
1090.07/1097.59 c #Conflicts: 683000 | #Constraints: 51742
1090.07/1097.59 c #Conflicts: 684000 | #Constraints: 52742
1090.07/1097.59 c #Conflicts: 685000 | #Constraints: 53742
1090.07/1097.59 c #Conflicts: 686000 | #Constraints: 54742
1090.07/1097.59 c #Conflicts: 687000 | #Constraints: 55742
1090.07/1097.59 c #Conflicts: 688000 | #Constraints: 56742
1090.07/1097.59 c #Conflicts: 689000 | #Constraints: 57742
1090.07/1097.59 c #Conflicts: 690000 | #Constraints: 58742
1090.07/1097.59 c #Conflicts: 691000 | #Constraints: 59742
1090.07/1097.59 c #Conflicts: 692000 | #Constraints: 60742
1090.07/1097.59 c #Conflicts: 693000 | #Constraints: 61742
1090.07/1097.59 c #Conflicts: 694000 | #Constraints: 62742
1090.07/1097.59 c #Conflicts: 695000 | #Constraints: 63742
1090.07/1097.59 c #Conflicts: 696000 | #Constraints: 64742
1090.07/1097.59 c INPROCESSING
1090.07/1097.59 c GARBAGE COLLECT
1090.07/1097.59 c #Conflicts: 697000 | #Constraints: 36291
1090.07/1097.59 c #Conflicts: 698000 | #Constraints: 37291
1090.07/1097.59 c #Conflicts: 699000 | #Constraints: 38291
1090.07/1097.59 c #Conflicts: 700000 | #Constraints: 39291
1090.07/1097.59 c #Conflicts: 701000 | #Constraints: 40291
1090.07/1097.59 c #Conflicts: 702000 | #Constraints: 41291
1090.07/1097.59 c #Conflicts: 703000 | #Constraints: 42291
1090.07/1097.59 c #Conflicts: 704000 | #Constraints: 43291
1090.07/1097.59 c #Conflicts: 705000 | #Constraints: 44291
1090.07/1097.59 c #Conflicts: 706000 | #Constraints: 45291
1090.07/1097.59 c #Conflicts: 707000 | #Constraints: 46291
1090.07/1097.59 c #Conflicts: 708000 | #Constraints: 47291
1090.07/1097.59 c #Conflicts: 709000 | #Constraints: 48291
1090.07/1097.59 c #Conflicts: 710000 | #Constraints: 49291
1090.07/1097.59 c #Conflicts: 711000 | #Constraints: 50291
1090.07/1097.59 c #Conflicts: 712000 | #Constraints: 51291
1090.07/1097.59 c #Conflicts: 713000 | #Constraints: 52291
1090.07/1097.59 c #Conflicts: 714000 | #Constraints: 53291
1090.07/1097.59 c #Conflicts: 715000 | #Constraints: 54291
1090.07/1097.59 c INPROCESSING
1090.07/1097.59 c GARBAGE COLLECT
1090.07/1097.59 c #Conflicts: 716000 | #Constraints: 31169
1090.07/1097.59 c #Conflicts: 717000 | #Constraints: 32169
1090.07/1097.59 c #Conflicts: 718000 | #Constraints: 33169
1090.07/1097.59 c #Conflicts: 719000 | #Constraints: 34169
1090.07/1097.59 c #Conflicts: 720000 | #Constraints: 35169
1090.07/1097.59 c #Conflicts: 721000 | #Constraints: 36169
1090.07/1097.59 c #Conflicts: 722000 | #Constraints: 37169
1090.07/1097.59 c #Conflicts: 723000 | #Constraints: 38169
1090.07/1097.59 c #Conflicts: 724000 | #Constraints: 39169
1090.07/1097.59 c #Conflicts: 725000 | #Constraints: 40169
1090.07/1097.59 c #Conflicts: 726000 | #Constraints: 41169
1090.07/1097.59 c #Conflicts: 727000 | #Constraints: 42169
1090.07/1097.59 c #Conflicts: 728000 | #Constraints: 43169
1090.07/1097.59 c #Conflicts: 729000 | #Constraints: 44169
1090.07/1097.59 c #Conflicts: 730000 | #Constraints: 45169
1090.07/1097.59 c #Conflicts: 731000 | #Constraints: 46169
1090.07/1097.59 c #Conflicts: 732000 | #Constraints: 47169
1090.07/1097.59 c #Conflicts: 733000 | #Constraints: 48169
1090.07/1097.59 c #Conflicts: 734000 | #Constraints: 49169
1090.07/1097.59 c INPROCESSING
1090.07/1097.59 c GARBAGE COLLECT
1090.07/1097.59 c #Conflicts: 735000 | #Constraints: 28749
1090.07/1097.59 c #Conflicts: 736000 | #Constraints: 29749
1090.07/1097.59 c #Conflicts: 737000 | #Constraints: 30749
1090.07/1097.59 c #Conflicts: 738000 | #Constraints: 31749
1090.07/1097.59 c #Conflicts: 739000 | #Constraints: 32749
1090.07/1097.59 c #Conflicts: 740000 | #Constraints: 33749
1090.07/1097.59 c #Conflicts: 741000 | #Constraints: 34749
1090.07/1097.59 c #Conflicts: 742000 | #Constraints: 35749
1090.07/1097.59 c #Conflicts: 743000 | #Constraints: 36749
1090.07/1097.59 c #Conflicts: 744000 | #Constraints: 37749
1090.07/1097.59 c #Conflicts: 745000 | #Constraints: 38749
1090.07/1097.59 c #Conflicts: 746000 | #Constraints: 39749
1090.07/1097.59 c #Conflicts: 747000 | #Constraints: 40749
1090.07/1097.59 c #Conflicts: 748000 | #Constraints: 41749
1090.07/1097.59 c #Conflicts: 749000 | #Constraints: 42749
1090.07/1097.59 c #Conflicts: 750000 | #Constraints: 43749
1090.07/1097.59 c #Conflicts: 751000 | #Constraints: 44749
1090.07/1097.59 c #Conflicts: 752000 | #Constraints: 45749
1090.07/1097.59 c #Conflicts: 753000 | #Constraints: 46749
1090.07/1097.59 c INPROCESSING
1090.07/1097.59 c GARBAGE COLLECT
1090.07/1097.59 c #Conflicts: 754000 | #Constraints: 27405
1090.07/1097.59 c #Conflicts: 755000 | #Constraints: 28405
1237.03/1246.27 c #Conflicts: 756000 | #Constraints: 29405
1237.03/1246.27 c #Conflicts: 757000 | #Constraints: 30405
1237.03/1246.27 c #Conflicts: 758000 | #Constraints: 31405
1237.03/1246.27 c #Conflicts: 759000 | #Constraints: 32405
1237.03/1246.27 c #Conflicts: 760000 | #Constraints: 33405
1237.03/1246.27 c #Conflicts: 761000 | #Constraints: 34405
1237.03/1246.27 c #Conflicts: 762000 | #Constraints: 35405
1237.03/1246.27 c #Conflicts: 763000 | #Constraints: 36405
1237.03/1246.27 c #Conflicts: 764000 | #Constraints: 37405
1237.03/1246.27 c #Conflicts: 765000 | #Constraints: 38405
1237.03/1246.27 c #Conflicts: 766000 | #Constraints: 39405
1237.03/1246.27 c #Conflicts: 767000 | #Constraints: 40405
1237.03/1246.27 c #Conflicts: 768000 | #Constraints: 41405
1237.03/1246.27 c #Conflicts: 769000 | #Constraints: 42405
1237.03/1246.27 c #Conflicts: 770000 | #Constraints: 43405
1237.03/1246.27 c #Conflicts: 771000 | #Constraints: 44405
1237.03/1246.27 c #Conflicts: 772000 | #Constraints: 45405
1237.03/1246.27 c INPROCESSING
1237.03/1246.27 c GARBAGE COLLECT
1237.03/1246.27 c #Conflicts: 773000 | #Constraints: 26539
1237.03/1246.27 c #Conflicts: 774000 | #Constraints: 27539
1237.03/1246.27 c #Conflicts: 775000 | #Constraints: 28539
1237.03/1246.27 c #Conflicts: 776000 | #Constraints: 29539
1237.03/1246.27 c #Conflicts: 777000 | #Constraints: 30539
1237.03/1246.27 c #Conflicts: 778000 | #Constraints: 31539
1237.03/1246.27 c #Conflicts: 779000 | #Constraints: 32539
1237.03/1246.27 c #Conflicts: 780000 | #Constraints: 33539
1237.03/1246.27 c #Conflicts: 781000 | #Constraints: 34539
1237.03/1246.27 c #Conflicts: 782000 | #Constraints: 35539
1237.03/1246.27 c #Conflicts: 783000 | #Constraints: 36539
1237.03/1246.27 c #Conflicts: 784000 | #Constraints: 37539
1237.03/1246.27 c #Conflicts: 785000 | #Constraints: 38539
1237.03/1246.27 c #Conflicts: 786000 | #Constraints: 39539
1237.03/1246.27 c #Conflicts: 787000 | #Constraints: 40539
1237.03/1246.27 c #Conflicts: 788000 | #Constraints: 41539
1237.03/1246.27 c #Conflicts: 789000 | #Constraints: 42539
1237.03/1246.27 c #Conflicts: 790000 | #Constraints: 43539
1237.03/1246.27 c #Conflicts: 791000 | #Constraints: 44539
1237.03/1246.27 c #Conflicts: 792000 | #Constraints: 45539
1237.03/1246.27 c #Conflicts: 793000 | #Constraints: 46539
1237.03/1246.27 c #Conflicts: 794000 | #Constraints: 47539
1237.03/1246.27 c #Conflicts: 795000 | #Constraints: 48539
1237.03/1246.27 c #Conflicts: 796000 | #Constraints: 49539
1237.03/1246.27 c #Conflicts: 797000 | #Constraints: 50539
1237.03/1246.27 c #Conflicts: 798000 | #Constraints: 51539
1237.03/1246.27 c #Conflicts: 799000 | #Constraints: 52539
1237.03/1246.27 c #Conflicts: 800000 | #Constraints: 53539
1237.03/1246.27 c #Conflicts: 801000 | #Constraints: 54539
1237.03/1246.27 c #Conflicts: 802000 | #Constraints: 55539
1237.03/1246.27 c #Conflicts: 803000 | #Constraints: 56539
1237.03/1246.27 c #Conflicts: 804000 | #Constraints: 57539
1237.03/1246.27 c #Conflicts: 805000 | #Constraints: 58539
1237.03/1246.27 c #Conflicts: 806000 | #Constraints: 59539
1237.03/1246.27 c #Conflicts: 807000 | #Constraints: 60539
1237.03/1246.27 c #Conflicts: 808000 | #Constraints: 61539
1237.03/1246.27 c #Conflicts: 809000 | #Constraints: 62539
1237.03/1246.27 c #Conflicts: 810000 | #Constraints: 63539
1237.03/1246.27 c #Conflicts: 811000 | #Constraints: 64539
1237.03/1246.27 c #Conflicts: 812000 | #Constraints: 65539
1237.03/1246.27 c #Conflicts: 813000 | #Constraints: 66539
1237.03/1246.27 c #Conflicts: 814000 | #Constraints: 67539
1237.03/1246.27 c #Conflicts: 815000 | #Constraints: 68539
1237.03/1246.27 c #Conflicts: 816000 | #Constraints: 69539
1237.03/1246.27 c #Conflicts: 817000 | #Constraints: 70539
1237.03/1246.27 c #Conflicts: 818000 | #Constraints: 71539
1237.03/1246.27 c #Conflicts: 819000 | #Constraints: 72539
1237.03/1246.27 c #Conflicts: 820000 | #Constraints: 73539
1237.03/1246.27 c #Conflicts: 821000 | #Constraints: 74539
1237.03/1246.27 c #Conflicts: 822000 | #Constraints: 75539
1237.03/1246.27 c #Conflicts: 823000 | #Constraints: 76539
1237.03/1246.27 c #Conflicts: 824000 | #Constraints: 77539
1237.03/1246.27 c #Conflicts: 825000 | #Constraints: 78539
1237.03/1246.27 c #Conflicts: 826000 | #Constraints: 79539
1237.03/1246.27 c #Conflicts: 827000 | #Constraints: 80539
1237.03/1246.27 c #Conflicts: 828000 | #Constraints: 81539
1237.03/1246.27 c #Conflicts: 829000 | #Constraints: 82539
1237.03/1246.27 c #Conflicts: 830000 | #Constraints: 83539
1237.03/1246.27 c #Conflicts: 831000 | #Constraints: 84539
1237.03/1246.27 c #Conflicts: 832000 | #Constraints: 85539
1237.03/1246.27 c #Conflicts: 833000 | #Constraints: 86539
1344.28/1354.01 c #Conflicts: 834000 | #Constraints: 87539
1344.28/1354.01 c #Conflicts: 835000 | #Constraints: 88539
1344.28/1354.01 c #Conflicts: 836000 | #Constraints: 89539
1344.28/1354.01 c #Conflicts: 837000 | #Constraints: 90539
1344.28/1354.01 c #Conflicts: 838000 | #Constraints: 91539
1344.28/1354.01 c #Conflicts: 839000 | #Constraints: 92539
1344.28/1354.01 c #Conflicts: 840000 | #Constraints: 93539
1344.28/1354.01 c #Conflicts: 841000 | #Constraints: 94539
1344.28/1354.01 c #Conflicts: 842000 | #Constraints: 95539
1344.28/1354.01 c #Conflicts: 843000 | #Constraints: 96539
1344.28/1354.01 c INPROCESSING
1344.28/1354.01 c GARBAGE COLLECT
1344.28/1354.01 c #Conflicts: 844000 | #Constraints: 52262
1344.28/1354.01 c #Conflicts: 845000 | #Constraints: 53263
1344.28/1354.01 c #Conflicts: 846000 | #Constraints: 54263
1344.28/1354.01 c #Conflicts: 847000 | #Constraints: 55263
1344.28/1354.01 c #Conflicts: 848000 | #Constraints: 56263
1344.28/1354.01 c #Conflicts: 849000 | #Constraints: 57263
1344.28/1354.01 c #Conflicts: 850000 | #Constraints: 58263
1344.28/1354.01 c #Conflicts: 851000 | #Constraints: 59263
1344.28/1354.01 c #Conflicts: 852000 | #Constraints: 60263
1344.28/1354.01 c #Conflicts: 853000 | #Constraints: 61263
1344.28/1354.01 c #Conflicts: 854000 | #Constraints: 62263
1344.28/1354.01 c #Conflicts: 855000 | #Constraints: 63263
1344.28/1354.01 c #Conflicts: 856000 | #Constraints: 64263
1344.28/1354.01 c #Conflicts: 857000 | #Constraints: 65263
1344.28/1354.01 c #Conflicts: 858000 | #Constraints: 66263
1344.28/1354.01 c #Conflicts: 859000 | #Constraints: 67263
1344.28/1354.01 c #Conflicts: 860000 | #Constraints: 68263
1344.28/1354.01 c #Conflicts: 861000 | #Constraints: 69263
1344.28/1354.01 c #Conflicts: 862000 | #Constraints: 70263
1344.28/1354.01 c #Conflicts: 863000 | #Constraints: 71263
1344.28/1354.01 c #Conflicts: 864000 | #Constraints: 72263
1344.28/1354.01 c INPROCESSING
1344.28/1354.01 c GARBAGE COLLECT
1344.28/1354.01 c rational objective 92.427
1458.48/1470.71 c #Conflicts: 865000 | #Constraints: 40383
1458.48/1470.71 c #Conflicts: 866000 | #Constraints: 41383
1458.48/1470.71 c #Conflicts: 867000 | #Constraints: 42383
1458.48/1470.71 c #Conflicts: 868000 | #Constraints: 43383
1458.48/1470.71 c #Conflicts: 869000 | #Constraints: 44383
1458.48/1470.71 c #Conflicts: 870000 | #Constraints: 45383
1458.48/1470.71 c #Conflicts: 871000 | #Constraints: 46383
1458.48/1470.71 c #Conflicts: 872000 | #Constraints: 47383
1458.48/1470.71 c #Conflicts: 873000 | #Constraints: 48383
1458.48/1470.71 c #Conflicts: 874000 | #Constraints: 49383
1458.48/1470.71 c #Conflicts: 875000 | #Constraints: 50383
1458.48/1470.71 c #Conflicts: 876000 | #Constraints: 51383
1458.48/1470.71 c #Conflicts: 877000 | #Constraints: 52383
1458.48/1470.71 c #Conflicts: 878000 | #Constraints: 53383
1458.48/1470.71 c #Conflicts: 879000 | #Constraints: 54383
1458.48/1470.71 c #Conflicts: 880000 | #Constraints: 55383
1458.48/1470.71 c #Conflicts: 881000 | #Constraints: 56383
1458.48/1470.71 c #Conflicts: 882000 | #Constraints: 57383
1458.48/1470.71 c #Conflicts: 883000 | #Constraints: 58383
1458.48/1470.71 c #Conflicts: 884000 | #Constraints: 59383
1458.48/1470.71 c #Conflicts: 885000 | #Constraints: 60383
1458.48/1470.71 c INPROCESSING
1458.48/1470.71 c GARBAGE COLLECT
1458.48/1470.71 c #Conflicts: 886000 | #Constraints: 34571
1458.48/1470.71 c #Conflicts: 887000 | #Constraints: 35571
1458.48/1470.71 c #Conflicts: 888000 | #Constraints: 36571
1458.48/1470.71 c #Conflicts: 889000 | #Constraints: 37571
1458.48/1470.71 c #Conflicts: 890000 | #Constraints: 38571
1458.48/1470.71 c #Conflicts: 891000 | #Constraints: 39571
1458.48/1470.71 c #Conflicts: 892000 | #Constraints: 40571
1458.48/1470.71 c #Conflicts: 893000 | #Constraints: 41571
1458.48/1470.71 c #Conflicts: 894000 | #Constraints: 42571
1458.48/1470.71 c #Conflicts: 895000 | #Constraints: 43571
1458.48/1470.71 c #Conflicts: 896000 | #Constraints: 44571
1458.48/1470.71 c #Conflicts: 897000 | #Constraints: 45571
1458.48/1470.71 c #Conflicts: 898000 | #Constraints: 46571
1458.48/1470.71 c #Conflicts: 899000 | #Constraints: 47571
1458.48/1470.71 c #Conflicts: 900000 | #Constraints: 48571
1458.48/1470.71 c #Conflicts: 901000 | #Constraints: 49571
1458.48/1470.71 c #Conflicts: 902000 | #Constraints: 50571
1458.48/1470.71 c #Conflicts: 903000 | #Constraints: 51571
1458.48/1470.71 c #Conflicts: 904000 | #Constraints: 52571
1458.48/1470.71 c #Conflicts: 905000 | #Constraints: 53571
1458.48/1470.71 c #Conflicts: 906000 | #Constraints: 54571
1458.48/1470.71 c INPROCESSING
1458.48/1470.71 c GARBAGE COLLECT
1458.48/1470.71 c #Conflicts: 907000 | #Constraints: 31621
1458.48/1470.71 c #Conflicts: 908000 | #Constraints: 32621
1458.48/1470.71 c #Conflicts: 909000 | #Constraints: 33621
1458.48/1470.71 c #Conflicts: 910000 | #Constraints: 34621
1458.48/1470.71 c #Conflicts: 911000 | #Constraints: 35621
1458.48/1470.71 c #Conflicts: 912000 | #Constraints: 36621
1458.48/1470.71 c #Conflicts: 913000 | #Constraints: 37621
1458.48/1470.71 c #Conflicts: 914000 | #Constraints: 38621
1458.48/1470.71 c #Conflicts: 915000 | #Constraints: 39621
1458.48/1470.71 c #Conflicts: 916000 | #Constraints: 40621
1458.48/1470.71 c #Conflicts: 917000 | #Constraints: 41621
1458.48/1470.71 c #Conflicts: 918000 | #Constraints: 42621
1458.48/1470.71 c #Conflicts: 919000 | #Constraints: 43621
1458.48/1470.71 c #Conflicts: 920000 | #Constraints: 44621
1458.48/1470.71 c #Conflicts: 921000 | #Constraints: 45621
1458.48/1470.71 c #Conflicts: 922000 | #Constraints: 46621
1458.48/1470.71 c #Conflicts: 923000 | #Constraints: 47621
1458.48/1470.71 c #Conflicts: 924000 | #Constraints: 48621
1458.48/1470.71 c #Conflicts: 925000 | #Constraints: 49621
1458.48/1470.71 c #Conflicts: 926000 | #Constraints: 50621
1458.48/1470.71 c #Conflicts: 927000 | #Constraints: 51621
1458.48/1470.71 c INPROCESSING
1458.48/1470.71 c GARBAGE COLLECT
1458.48/1470.71 c #Conflicts: 928000 | #Constraints: 30023
1458.48/1470.71 c #Conflicts: 929000 | #Constraints: 31023
1458.48/1470.71 c #Conflicts: 930000 | #Constraints: 32023
1458.48/1470.71 c #Conflicts: 931000 | #Constraints: 33023
1458.48/1470.71 c #Conflicts: 932000 | #Constraints: 34023
1458.48/1470.71 c #Conflicts: 933000 | #Constraints: 35023
1458.48/1470.71 c #Conflicts: 934000 | #Constraints: 36023
1458.48/1470.71 c #Conflicts: 935000 | #Constraints: 37023
1458.48/1470.71 c #Conflicts: 936000 | #Constraints: 38023
1458.48/1470.71 c #Conflicts: 937000 | #Constraints: 39023
1458.48/1470.71 c #Conflicts: 938000 | #Constraints: 40023
1458.48/1470.71 c #Conflicts: 939000 | #Constraints: 41023
1458.48/1470.71 c #Conflicts: 940000 | #Constraints: 42023
1458.48/1470.71 c #Conflicts: 941000 | #Constraints: 43023
1642.90/1656.59 c #Conflicts: 942000 | #Constraints: 44023
1642.90/1656.59 c #Conflicts: 943000 | #Constraints: 45023
1642.90/1656.59 c #Conflicts: 944000 | #Constraints: 46023
1642.90/1656.59 c #Conflicts: 945000 | #Constraints: 47023
1642.90/1656.59 c #Conflicts: 946000 | #Constraints: 48023
1642.90/1656.59 c #Conflicts: 947000 | #Constraints: 49023
1642.90/1656.59 c #Conflicts: 948000 | #Constraints: 50023
1642.90/1656.59 c INPROCESSING
1642.90/1656.59 c GARBAGE COLLECT
1642.90/1656.59 c #Conflicts: 949000 | #Constraints: 29041
1642.90/1656.59 c #Conflicts: 950000 | #Constraints: 30041
1642.90/1656.59 c #Conflicts: 951000 | #Constraints: 31041
1642.90/1656.59 c #Conflicts: 952000 | #Constraints: 32041
1642.90/1656.59 c #Conflicts: 953000 | #Constraints: 33041
1642.90/1656.59 c #Conflicts: 954000 | #Constraints: 34041
1642.90/1656.59 c #Conflicts: 955000 | #Constraints: 35041
1642.90/1656.59 c #Conflicts: 956000 | #Constraints: 36041
1642.90/1656.59 c #Conflicts: 957000 | #Constraints: 37041
1642.90/1656.59 c #Conflicts: 958000 | #Constraints: 38041
1642.90/1656.59 c #Conflicts: 959000 | #Constraints: 39041
1642.90/1656.59 c #Conflicts: 960000 | #Constraints: 40041
1642.90/1656.59 c #Conflicts: 961000 | #Constraints: 41041
1642.90/1656.59 c #Conflicts: 962000 | #Constraints: 42041
1642.90/1656.59 c #Conflicts: 963000 | #Constraints: 43041
1642.90/1656.59 c #Conflicts: 964000 | #Constraints: 44041
1642.90/1656.59 c #Conflicts: 965000 | #Constraints: 45041
1642.90/1656.59 c #Conflicts: 966000 | #Constraints: 46041
1642.90/1656.59 c #Conflicts: 967000 | #Constraints: 47041
1642.90/1656.59 c #Conflicts: 968000 | #Constraints: 48041
1642.90/1656.59 c #Conflicts: 969000 | #Constraints: 49041
1642.90/1656.59 c #Conflicts: 970000 | #Constraints: 50041
1642.90/1656.59 c #Conflicts: 971000 | #Constraints: 51041
1642.90/1656.59 c #Conflicts: 972000 | #Constraints: 52041
1642.90/1656.59 c #Conflicts: 973000 | #Constraints: 53041
1642.90/1656.59 c #Conflicts: 974000 | #Constraints: 54041
1642.90/1656.59 c #Conflicts: 975000 | #Constraints: 55041
1642.90/1656.59 c #Conflicts: 976000 | #Constraints: 56041
1642.90/1656.59 c #Conflicts: 977000 | #Constraints: 57041
1642.90/1656.59 c #Conflicts: 978000 | #Constraints: 58041
1642.90/1656.59 c #Conflicts: 979000 | #Constraints: 59041
1642.90/1656.59 c #Conflicts: 980000 | #Constraints: 60041
1642.90/1656.59 c #Conflicts: 981000 | #Constraints: 61041
1642.90/1656.59 c #Conflicts: 982000 | #Constraints: 62041
1642.90/1656.59 c #Conflicts: 983000 | #Constraints: 63041
1642.90/1656.59 c #Conflicts: 984000 | #Constraints: 64041
1642.90/1656.59 c #Conflicts: 985000 | #Constraints: 65041
1642.90/1656.59 c #Conflicts: 986000 | #Constraints: 66041
1642.90/1656.59 c #Conflicts: 987000 | #Constraints: 67041
1642.90/1656.59 c #Conflicts: 988000 | #Constraints: 68041
1642.90/1656.59 c #Conflicts: 989000 | #Constraints: 69041
1642.90/1656.59 c #Conflicts: 990000 | #Constraints: 70041
1642.90/1656.59 c #Conflicts: 991000 | #Constraints: 71041
1642.90/1656.59 c #Conflicts: 992000 | #Constraints: 72041
1642.90/1656.59 c #Conflicts: 993000 | #Constraints: 73041
1642.90/1656.59 c #Conflicts: 994000 | #Constraints: 74041
1642.90/1656.59 c #Conflicts: 995000 | #Constraints: 75041
1642.90/1656.59 c #Conflicts: 996000 | #Constraints: 76041
1642.90/1656.59 c #Conflicts: 997000 | #Constraints: 77041
1642.90/1656.59 c #Conflicts: 998000 | #Constraints: 78041
1642.90/1656.59 c #Conflicts: 999000 | #Constraints: 79041
1642.90/1656.59 c #Conflicts: 1000000 | #Constraints: 80041
1642.90/1656.59 c #Conflicts: 1001000 | #Constraints: 81041
1642.90/1656.59 c #Conflicts: 1002000 | #Constraints: 82041
1642.90/1656.59 c #Conflicts: 1003000 | #Constraints: 83041
1642.90/1656.59 c #Conflicts: 1004000 | #Constraints: 84041
1642.90/1656.59 c #Conflicts: 1005000 | #Constraints: 85041
1642.90/1656.59 c #Conflicts: 1006000 | #Constraints: 86041
1642.90/1656.59 c #Conflicts: 1007000 | #Constraints: 87041
1642.90/1656.59 c #Conflicts: 1008000 | #Constraints: 88041
1642.90/1656.59 c #Conflicts: 1009000 | #Constraints: 89041
1642.90/1656.59 c #Conflicts: 1010000 | #Constraints: 90041
1642.90/1656.59 c #Conflicts: 1011000 | #Constraints: 91041
1642.90/1656.59 c #Conflicts: 1012000 | #Constraints: 92041
1642.90/1656.59 c #Conflicts: 1013000 | #Constraints: 93041
1642.90/1656.59 c #Conflicts: 1014000 | #Constraints: 94041
1642.90/1656.59 c #Conflicts: 1015000 | #Constraints: 95041
1642.90/1656.59 c #Conflicts: 1016000 | #Constraints: 96041
1642.90/1656.59 c #Conflicts: 1017000 | #Constraints: 97041
1642.90/1656.59 c #Conflicts: 1018000 | #Constraints: 98041
1642.90/1656.59 c #Conflicts: 1019000 | #Constraints: 99041
1824.69/1840.44 c #Conflicts: 1020000 | #Constraints: 100041
1824.69/1840.44 c #Conflicts: 1021000 | #Constraints: 101041
1824.69/1840.44 c #Conflicts: 1022000 | #Constraints: 102041
1824.69/1840.44 c #Conflicts: 1023000 | #Constraints: 103041
1824.69/1840.44 c #Conflicts: 1024000 | #Constraints: 104041
1824.69/1840.44 c #Conflicts: 1025000 | #Constraints: 105041
1824.69/1840.44 c #Conflicts: 1026000 | #Constraints: 106041
1824.69/1840.44 c INPROCESSING
1824.69/1840.44 c GARBAGE COLLECT
1824.69/1840.44 c #Conflicts: 1027000 | #Constraints: 56895
1824.69/1840.44 c #Conflicts: 1028000 | #Constraints: 57895
1824.69/1840.44 c #Conflicts: 1029000 | #Constraints: 58895
1824.69/1840.44 c #Conflicts: 1030000 | #Constraints: 59895
1824.69/1840.44 c #Conflicts: 1031000 | #Constraints: 60895
1824.69/1840.44 c #Conflicts: 1032000 | #Constraints: 61895
1824.69/1840.44 c #Conflicts: 1033000 | #Constraints: 62895
1824.69/1840.44 c #Conflicts: 1034000 | #Constraints: 63895
1824.69/1840.44 c #Conflicts: 1035000 | #Constraints: 64895
1824.69/1840.44 c #Conflicts: 1036000 | #Constraints: 65895
1824.69/1840.44 c #Conflicts: 1037000 | #Constraints: 66895
1824.69/1840.44 c #Conflicts: 1038000 | #Constraints: 67895
1824.69/1840.44 c #Conflicts: 1039000 | #Constraints: 68895
1824.69/1840.44 c #Conflicts: 1040000 | #Constraints: 69895
1824.69/1840.44 c #Conflicts: 1041000 | #Constraints: 70895
1824.69/1840.44 c #Conflicts: 1042000 | #Constraints: 71895
1824.69/1840.44 c #Conflicts: 1043000 | #Constraints: 72895
1824.69/1840.44 c #Conflicts: 1044000 | #Constraints: 73895
1824.69/1840.44 c #Conflicts: 1045000 | #Constraints: 74895
1824.69/1840.44 c #Conflicts: 1046000 | #Constraints: 75895
1824.69/1840.44 c #Conflicts: 1047000 | #Constraints: 76895
1824.69/1840.44 c #Conflicts: 1048000 | #Constraints: 77895
1824.69/1840.44 c #Conflicts: 1049000 | #Constraints: 78895
1824.69/1840.44 c INPROCESSING
1824.69/1840.44 c GARBAGE COLLECT
1824.69/1840.44 c #Conflicts: 1050000 | #Constraints: 43533
1824.69/1840.44 c #Conflicts: 1051000 | #Constraints: 44533
1824.69/1840.44 c #Conflicts: 1052000 | #Constraints: 45533
1824.69/1840.44 c #Conflicts: 1053000 | #Constraints: 46533
1824.69/1840.44 c #Conflicts: 1054000 | #Constraints: 47533
1824.69/1840.44 c #Conflicts: 1055000 | #Constraints: 48533
1824.69/1840.44 c #Conflicts: 1056000 | #Constraints: 49533
1824.69/1840.44 c #Conflicts: 1057000 | #Constraints: 50533
1824.69/1840.44 c #Conflicts: 1058000 | #Constraints: 51533
1824.69/1840.44 c #Conflicts: 1059000 | #Constraints: 52533
1824.69/1840.44 c #Conflicts: 1060000 | #Constraints: 53533
1824.69/1840.44 c #Conflicts: 1061000 | #Constraints: 54533
1824.69/1840.44 c #Conflicts: 1062000 | #Constraints: 55533
1824.69/1840.44 c #Conflicts: 1063000 | #Constraints: 56533
1824.69/1840.44 c #Conflicts: 1064000 | #Constraints: 57533
1824.69/1840.44 c #Conflicts: 1065000 | #Constraints: 58533
1824.69/1840.44 c #Conflicts: 1066000 | #Constraints: 59533
1824.69/1840.44 c #Conflicts: 1067000 | #Constraints: 60533
1824.69/1840.44 c #Conflicts: 1068000 | #Constraints: 61533
1824.69/1840.44 c #Conflicts: 1069000 | #Constraints: 62533
1824.69/1840.44 c #Conflicts: 1070000 | #Constraints: 63533
1824.69/1840.44 c #Conflicts: 1071000 | #Constraints: 64533
1824.69/1840.44 c #Conflicts: 1072000 | #Constraints: 65533
1824.69/1840.44 c INPROCESSING
1824.69/1840.44 c GARBAGE COLLECT
1824.69/1840.44 c #Conflicts: 1073000 | #Constraints: 36896
1824.69/1840.44 c #Conflicts: 1074000 | #Constraints: 37896
1824.69/1840.44 c #Conflicts: 1075000 | #Constraints: 38896
1824.69/1840.44 c #Conflicts: 1076000 | #Constraints: 39896
1824.69/1840.44 c #Conflicts: 1077000 | #Constraints: 40896
1824.69/1840.44 c #Conflicts: 1078000 | #Constraints: 41896
1824.69/1840.44 c #Conflicts: 1079000 | #Constraints: 42896
1824.69/1840.44 c #Conflicts: 1080000 | #Constraints: 43896
1824.69/1840.44 c #Conflicts: 1081000 | #Constraints: 44896
1824.69/1840.44 c #Conflicts: 1082000 | #Constraints: 45896
1824.69/1840.44 c #Conflicts: 1083000 | #Constraints: 46896
1824.69/1840.44 c #Conflicts: 1084000 | #Constraints: 47896
1824.69/1840.44 c #Conflicts: 1085000 | #Constraints: 48896
1824.69/1840.44 c #Conflicts: 1086000 | #Constraints: 49896
1824.69/1840.44 c #Conflicts: 1087000 | #Constraints: 50896
1824.69/1840.44 c #Conflicts: 1088000 | #Constraints: 51896
1824.69/1840.44 c #Conflicts: 1089000 | #Constraints: 52896
1824.69/1840.44 c #Conflicts: 1090000 | #Constraints: 53896
1824.69/1840.44 c #Conflicts: 1091000 | #Constraints: 54896
1824.69/1840.44 c #Conflicts: 1092000 | #Constraints: 55896
1824.69/1840.44 c #Conflicts: 1093000 | #Constraints: 56896
1824.69/1840.44 c #Conflicts: 1094000 | #Constraints: 57896
1824.69/1840.44 c #Conflicts: 1095000 | #Constraints: 58896
1824.69/1840.44 c INPROCESSING
1824.69/1840.44 c GARBAGE COLLECT
1824.69/1840.44 c #Conflicts: 1096000 | #Constraints: 33481
1939.98/1956.22 c #Conflicts: 1097000 | #Constraints: 34481
1939.98/1956.22 c #Conflicts: 1098000 | #Constraints: 35481
1939.98/1956.22 c #Conflicts: 1099000 | #Constraints: 36481
1939.98/1956.22 c #Conflicts: 1100000 | #Constraints: 37481
1939.98/1956.22 c #Conflicts: 1101000 | #Constraints: 38481
1939.98/1956.22 c #Conflicts: 1102000 | #Constraints: 39481
1939.98/1956.22 c #Conflicts: 1103000 | #Constraints: 40481
1939.98/1956.22 c #Conflicts: 1104000 | #Constraints: 41481
1939.98/1956.22 c #Conflicts: 1105000 | #Constraints: 42481
1939.98/1956.22 c #Conflicts: 1106000 | #Constraints: 43481
1939.98/1956.22 c #Conflicts: 1107000 | #Constraints: 44481
1939.98/1956.22 c #Conflicts: 1108000 | #Constraints: 45481
1939.98/1956.22 c #Conflicts: 1109000 | #Constraints: 46481
1939.98/1956.22 c #Conflicts: 1110000 | #Constraints: 47481
1939.98/1956.22 c #Conflicts: 1111000 | #Constraints: 48481
1939.98/1956.22 c #Conflicts: 1112000 | #Constraints: 49481
1939.98/1956.22 c #Conflicts: 1113000 | #Constraints: 50481
1939.98/1956.22 c #Conflicts: 1114000 | #Constraints: 51481
1939.98/1956.22 c #Conflicts: 1115000 | #Constraints: 52481
1939.98/1956.22 c #Conflicts: 1116000 | #Constraints: 53481
1939.98/1956.22 c #Conflicts: 1117000 | #Constraints: 54481
1939.98/1956.22 c #Conflicts: 1118000 | #Constraints: 55481
1939.98/1956.22 c INPROCESSING
1939.98/1956.22 c GARBAGE COLLECT
1939.98/1956.22 c #Conflicts: 1119000 | #Constraints: 31633
1939.98/1956.22 c #Conflicts: 1120000 | #Constraints: 32633
1939.98/1956.22 c #Conflicts: 1121000 | #Constraints: 33633
1939.98/1956.22 c #Conflicts: 1122000 | #Constraints: 34633
1939.98/1956.22 c #Conflicts: 1123000 | #Constraints: 35633
1939.98/1956.22 c #Conflicts: 1124000 | #Constraints: 36633
1939.98/1956.22 c #Conflicts: 1125000 | #Constraints: 37633
1939.98/1956.22 c #Conflicts: 1126000 | #Constraints: 38633
1939.98/1956.22 c #Conflicts: 1127000 | #Constraints: 39633
1939.98/1956.22 c #Conflicts: 1128000 | #Constraints: 40633
1939.98/1956.22 c #Conflicts: 1129000 | #Constraints: 41633
1939.98/1956.22 c #Conflicts: 1130000 | #Constraints: 42633
1939.98/1956.22 c #Conflicts: 1131000 | #Constraints: 43633
1939.98/1956.22 c #Conflicts: 1132000 | #Constraints: 44633
1939.98/1956.22 c #Conflicts: 1133000 | #Constraints: 45633
1939.98/1956.22 c #Conflicts: 1134000 | #Constraints: 46633
1939.98/1956.22 c #Conflicts: 1135000 | #Constraints: 47633
1939.98/1956.22 c #Conflicts: 1136000 | #Constraints: 48633
1939.98/1956.22 c #Conflicts: 1137000 | #Constraints: 49633
1939.98/1956.22 c #Conflicts: 1138000 | #Constraints: 50633
1939.98/1956.22 c #Conflicts: 1139000 | #Constraints: 51633
1939.98/1956.22 c #Conflicts: 1140000 | #Constraints: 52633
1939.98/1956.22 c #Conflicts: 1141000 | #Constraints: 53633
1939.98/1956.22 c #Conflicts: 1142000 | #Constraints: 54633
1939.98/1956.22 c INPROCESSING
1939.98/1956.22 c GARBAGE COLLECT
1939.98/1956.22 c #Conflicts: 1143000 | #Constraints: 31436
1939.98/1956.22 c #Conflicts: 1144000 | #Constraints: 32436
1939.98/1956.22 c #Conflicts: 1145000 | #Constraints: 33436
1939.98/1956.22 c #Conflicts: 1146000 | #Constraints: 34436
1939.98/1956.22 c #Conflicts: 1147000 | #Constraints: 35436
1939.98/1956.22 c #Conflicts: 1148000 | #Constraints: 36436
1939.98/1956.22 c #Conflicts: 1149000 | #Constraints: 37436
1939.98/1956.22 c #Conflicts: 1150000 | #Constraints: 38436
1939.98/1956.22 c #Conflicts: 1151000 | #Constraints: 39436
1939.98/1956.22 c #Conflicts: 1152000 | #Constraints: 40436
1939.98/1956.22 c #Conflicts: 1153000 | #Constraints: 41436
1939.98/1956.22 c #Conflicts: 1154000 | #Constraints: 42436
1939.98/1956.22 c #Conflicts: 1155000 | #Constraints: 43436
1939.98/1956.22 c #Conflicts: 1156000 | #Constraints: 44436
1939.98/1956.22 c #Conflicts: 1157000 | #Constraints: 45436
1939.98/1956.22 c #Conflicts: 1158000 | #Constraints: 46436
1939.98/1956.22 c #Conflicts: 1159000 | #Constraints: 47436
1939.98/1956.22 c #Conflicts: 1160000 | #Constraints: 48436
1939.98/1956.22 c #Conflicts: 1161000 | #Constraints: 49436
1939.98/1956.22 c #Conflicts: 1162000 | #Constraints: 50436
1939.98/1956.22 c #Conflicts: 1163000 | #Constraints: 51436
1939.98/1956.22 c #Conflicts: 1164000 | #Constraints: 52436
1939.98/1956.22 c #Conflicts: 1165000 | #Constraints: 53436
1939.98/1956.22 c #Conflicts: 1166000 | #Constraints: 54436
1939.98/1956.22 c INPROCESSING
1939.98/1956.22 c GARBAGE COLLECT
1939.98/1956.22 c rational objective 92.5458
2072.32/2091.97 c #Conflicts: 1167000 | #Constraints: 31509
2072.32/2091.97 c #Conflicts: 1168000 | #Constraints: 32509
2072.32/2091.97 c #Conflicts: 1169000 | #Constraints: 33509
2072.32/2091.97 c #Conflicts: 1170000 | #Constraints: 34509
2072.32/2091.97 c #Conflicts: 1171000 | #Constraints: 35509
2072.32/2091.97 c #Conflicts: 1172000 | #Constraints: 36509
2072.32/2091.97 c #Conflicts: 1173000 | #Constraints: 37509
2072.32/2091.97 c #Conflicts: 1174000 | #Constraints: 38509
2072.32/2091.97 c #Conflicts: 1175000 | #Constraints: 39509
2072.32/2091.97 c #Conflicts: 1176000 | #Constraints: 40509
2072.32/2091.97 c #Conflicts: 1177000 | #Constraints: 41509
2072.32/2091.97 c #Conflicts: 1178000 | #Constraints: 42509
2072.32/2091.97 c #Conflicts: 1179000 | #Constraints: 43509
2072.32/2091.97 c #Conflicts: 1180000 | #Constraints: 44509
2072.32/2091.97 c #Conflicts: 1181000 | #Constraints: 45509
2072.32/2091.97 c #Conflicts: 1182000 | #Constraints: 46509
2072.32/2091.97 c #Conflicts: 1183000 | #Constraints: 47509
2072.32/2091.97 c #Conflicts: 1184000 | #Constraints: 48509
2072.32/2091.97 c #Conflicts: 1185000 | #Constraints: 49509
2072.32/2091.97 c #Conflicts: 1186000 | #Constraints: 50509
2072.32/2091.97 c #Conflicts: 1187000 | #Constraints: 51509
2072.32/2091.97 c #Conflicts: 1188000 | #Constraints: 52509
2072.32/2091.97 c #Conflicts: 1189000 | #Constraints: 53509
2072.32/2091.97 c #Conflicts: 1190000 | #Constraints: 54509
2072.32/2091.97 c INPROCESSING
2072.32/2091.97 c GARBAGE COLLECT
2072.32/2091.97 c #Conflicts: 1191000 | #Constraints: 31605
2072.32/2091.97 c #Conflicts: 1192000 | #Constraints: 32605
2072.32/2091.97 c #Conflicts: 1193000 | #Constraints: 33605
2072.32/2091.97 c #Conflicts: 1194000 | #Constraints: 34605
2072.32/2091.97 c #Conflicts: 1195000 | #Constraints: 35605
2072.32/2091.97 c #Conflicts: 1196000 | #Constraints: 36605
2072.32/2091.97 c #Conflicts: 1197000 | #Constraints: 37605
2072.32/2091.97 c #Conflicts: 1198000 | #Constraints: 38605
2072.32/2091.97 c #Conflicts: 1199000 | #Constraints: 39605
2072.32/2091.97 c #Conflicts: 1200000 | #Constraints: 40605
2072.32/2091.97 c #Conflicts: 1201000 | #Constraints: 41605
2072.32/2091.97 c #Conflicts: 1202000 | #Constraints: 42605
2072.32/2091.97 c #Conflicts: 1203000 | #Constraints: 43605
2072.32/2091.97 c #Conflicts: 1204000 | #Constraints: 44605
2072.32/2091.97 c #Conflicts: 1205000 | #Constraints: 45605
2072.32/2091.97 c #Conflicts: 1206000 | #Constraints: 46605
2072.32/2091.97 c #Conflicts: 1207000 | #Constraints: 47605
2072.32/2091.97 c #Conflicts: 1208000 | #Constraints: 48605
2072.32/2091.97 c #Conflicts: 1209000 | #Constraints: 49605
2072.32/2091.97 c #Conflicts: 1210000 | #Constraints: 50605
2072.32/2091.97 c #Conflicts: 1211000 | #Constraints: 51605
2072.32/2091.97 c #Conflicts: 1212000 | #Constraints: 52605
2072.32/2091.97 c #Conflicts: 1213000 | #Constraints: 53605
2072.32/2091.97 c #Conflicts: 1214000 | #Constraints: 54605
2072.32/2091.97 c #Conflicts: 1215000 | #Constraints: 55605
2072.32/2091.97 c #Conflicts: 1216000 | #Constraints: 56605
2072.32/2091.97 c #Conflicts: 1217000 | #Constraints: 57605
2072.32/2091.97 c #Conflicts: 1218000 | #Constraints: 58605
2072.32/2091.97 c #Conflicts: 1219000 | #Constraints: 59605
2072.32/2091.97 c #Conflicts: 1220000 | #Constraints: 60605
2072.32/2091.97 c #Conflicts: 1221000 | #Constraints: 61605
2072.32/2091.97 c #Conflicts: 1222000 | #Constraints: 62605
2072.32/2091.97 c #Conflicts: 1223000 | #Constraints: 63605
2072.32/2091.97 c #Conflicts: 1224000 | #Constraints: 64605
2072.32/2091.97 c #Conflicts: 1225000 | #Constraints: 65605
2072.32/2091.97 c #Conflicts: 1226000 | #Constraints: 66605
2072.32/2091.97 c #Conflicts: 1227000 | #Constraints: 67605
2072.32/2091.97 c #Conflicts: 1228000 | #Constraints: 68605
2072.32/2091.97 c #Conflicts: 1229000 | #Constraints: 69605
2072.32/2091.97 c #Conflicts: 1230000 | #Constraints: 70605
2072.32/2091.97 c #Conflicts: 1231000 | #Constraints: 71605
2072.32/2091.97 c #Conflicts: 1232000 | #Constraints: 72605
2072.32/2091.97 c #Conflicts: 1233000 | #Constraints: 73605
2072.32/2091.97 c #Conflicts: 1234000 | #Constraints: 74605
2072.32/2091.97 c #Conflicts: 1235000 | #Constraints: 75605
2072.32/2091.97 c #Conflicts: 1236000 | #Constraints: 76605
2072.32/2091.97 c #Conflicts: 1237000 | #Constraints: 77605
2072.32/2091.97 c #Conflicts: 1238000 | #Constraints: 78605
2072.32/2091.97 c #Conflicts: 1239000 | #Constraints: 79605
2072.32/2091.97 c #Conflicts: 1240000 | #Constraints: 80605
2072.32/2091.97 c #Conflicts: 1241000 | #Constraints: 81605
2072.32/2091.97 c #Conflicts: 1242000 | #Constraints: 82605
2072.32/2091.97 c #Conflicts: 1243000 | #Constraints: 83605
2072.32/2091.97 c #Conflicts: 1244000 | #Constraints: 84605
2072.32/2091.97 c #Conflicts: 1245000 | #Constraints: 85605
2291.57/2311.90 c #Conflicts: 1246000 | #Constraints: 86605
2291.57/2311.90 c #Conflicts: 1247000 | #Constraints: 87605
2291.57/2311.90 c #Conflicts: 1248000 | #Constraints: 88606
2291.57/2311.90 c #Conflicts: 1249000 | #Constraints: 89606
2291.57/2311.90 c #Conflicts: 1250000 | #Constraints: 90606
2291.57/2311.90 c #Conflicts: 1251000 | #Constraints: 91606
2291.57/2311.90 c #Conflicts: 1252000 | #Constraints: 92606
2291.57/2311.90 c #Conflicts: 1253000 | #Constraints: 93606
2291.57/2311.90 c #Conflicts: 1254000 | #Constraints: 94606
2291.57/2311.90 c #Conflicts: 1255000 | #Constraints: 95606
2291.57/2311.90 c #Conflicts: 1256000 | #Constraints: 96606
2291.57/2311.90 c #Conflicts: 1257000 | #Constraints: 97606
2291.57/2311.90 c #Conflicts: 1258000 | #Constraints: 98606
2291.57/2311.90 c #Conflicts: 1259000 | #Constraints: 99606
2291.57/2311.90 c #Conflicts: 1260000 | #Constraints: 100606
2291.57/2311.90 c #Conflicts: 1261000 | #Constraints: 101606
2291.57/2311.90 c #Conflicts: 1262000 | #Constraints: 102606
2291.57/2311.90 c #Conflicts: 1263000 | #Constraints: 103606
2291.57/2311.90 c #Conflicts: 1264000 | #Constraints: 104606
2291.57/2311.90 c #Conflicts: 1265000 | #Constraints: 105606
2291.57/2311.90 c #Conflicts: 1266000 | #Constraints: 106606
2291.57/2311.90 c #Conflicts: 1267000 | #Constraints: 107606
2291.57/2311.90 c #Conflicts: 1268000 | #Constraints: 108606
2291.57/2311.90 c #Conflicts: 1269000 | #Constraints: 109606
2291.57/2311.90 c #Conflicts: 1270000 | #Constraints: 110606
2291.57/2311.90 c #Conflicts: 1271000 | #Constraints: 111606
2291.57/2311.90 c #Conflicts: 1272000 | #Constraints: 112606
2291.57/2311.90 c #Conflicts: 1273000 | #Constraints: 113606
2291.57/2311.90 c #Conflicts: 1274000 | #Constraints: 114606
2291.57/2311.90 c #Conflicts: 1275000 | #Constraints: 115606
2291.57/2311.90 c #Conflicts: 1276000 | #Constraints: 116606
2291.57/2311.90 c #Conflicts: 1277000 | #Constraints: 117606
2291.57/2311.90 c #Conflicts: 1278000 | #Constraints: 118606
2291.57/2311.90 c INPROCESSING
2291.57/2311.90 c GARBAGE COLLECT
2291.57/2311.90 c #Conflicts: 1279000 | #Constraints: 63680
2291.57/2311.90 c #Conflicts: 1280000 | #Constraints: 64680
2291.57/2311.90 c #Conflicts: 1281000 | #Constraints: 65680
2291.57/2311.90 c #Conflicts: 1282000 | #Constraints: 66680
2291.57/2311.90 c #Conflicts: 1283000 | #Constraints: 67680
2291.57/2311.90 c #Conflicts: 1284000 | #Constraints: 68680
2291.57/2311.90 c #Conflicts: 1285000 | #Constraints: 69680
2291.57/2311.90 c #Conflicts: 1286000 | #Constraints: 70680
2291.57/2311.90 c #Conflicts: 1287000 | #Constraints: 71680
2291.57/2311.90 c #Conflicts: 1288000 | #Constraints: 72680
2291.57/2311.90 c #Conflicts: 1289000 | #Constraints: 73680
2291.57/2311.90 c #Conflicts: 1290000 | #Constraints: 74680
2291.57/2311.90 c #Conflicts: 1291000 | #Constraints: 75680
2291.57/2311.90 c #Conflicts: 1292000 | #Constraints: 76680
2291.57/2311.90 c #Conflicts: 1293000 | #Constraints: 77680
2291.57/2311.90 c #Conflicts: 1294000 | #Constraints: 78680
2291.57/2311.90 c #Conflicts: 1295000 | #Constraints: 79680
2291.57/2311.90 c #Conflicts: 1296000 | #Constraints: 80680
2291.57/2311.90 c #Conflicts: 1297000 | #Constraints: 81680
2291.57/2311.90 c #Conflicts: 1298000 | #Constraints: 82680
2291.57/2311.90 c #Conflicts: 1299000 | #Constraints: 83680
2291.57/2311.90 c #Conflicts: 1300000 | #Constraints: 84680
2291.57/2311.90 c #Conflicts: 1301000 | #Constraints: 85680
2291.57/2311.90 c #Conflicts: 1302000 | #Constraints: 86680
2291.57/2311.90 c #Conflicts: 1303000 | #Constraints: 87680
2291.57/2311.90 c INPROCESSING
2291.57/2311.90 c GARBAGE COLLECT
2291.57/2311.90 c #Conflicts: 1304000 | #Constraints: 48092
2291.57/2311.90 c #Conflicts: 1305000 | #Constraints: 49092
2291.57/2311.90 c #Conflicts: 1306000 | #Constraints: 50092
2291.57/2311.90 c #Conflicts: 1307000 | #Constraints: 51092
2291.57/2311.90 c #Conflicts: 1308000 | #Constraints: 52092
2291.57/2311.90 c #Conflicts: 1309000 | #Constraints: 53092
2291.57/2311.90 c #Conflicts: 1310000 | #Constraints: 54092
2291.57/2311.90 c #Conflicts: 1311000 | #Constraints: 55092
2291.57/2311.90 c #Conflicts: 1312000 | #Constraints: 56092
2291.57/2311.90 c #Conflicts: 1313000 | #Constraints: 57092
2291.57/2311.90 c #Conflicts: 1314000 | #Constraints: 58092
2291.57/2311.90 c #Conflicts: 1315000 | #Constraints: 59092
2291.57/2311.90 c #Conflicts: 1316000 | #Constraints: 60092
2291.57/2311.90 c #Conflicts: 1317000 | #Constraints: 61092
2291.57/2311.90 c #Conflicts: 1318000 | #Constraints: 62092
2291.57/2311.90 c #Conflicts: 1319000 | #Constraints: 63092
2291.57/2311.90 c #Conflicts: 1320000 | #Constraints: 64092
2291.57/2311.90 c #Conflicts: 1321000 | #Constraints: 65092
2291.57/2311.90 c #Conflicts: 1322000 | #Constraints: 66092
2407.14/2428.30 c #Conflicts: 1323000 | #Constraints: 67092
2407.14/2428.30 c #Conflicts: 1324000 | #Constraints: 68092
2407.14/2428.30 c #Conflicts: 1325000 | #Constraints: 69092
2407.14/2428.30 c #Conflicts: 1326000 | #Constraints: 70092
2407.14/2428.30 c #Conflicts: 1327000 | #Constraints: 71092
2407.14/2428.30 c #Conflicts: 1328000 | #Constraints: 72092
2407.14/2428.30 c INPROCESSING
2407.14/2428.30 c GARBAGE COLLECT
2407.14/2428.30 c #Conflicts: 1329000 | #Constraints: 40127
2407.14/2428.30 c #Conflicts: 1330000 | #Constraints: 41127
2407.14/2428.30 c #Conflicts: 1331000 | #Constraints: 42127
2407.14/2428.30 c #Conflicts: 1332000 | #Constraints: 43127
2407.14/2428.30 c #Conflicts: 1333000 | #Constraints: 44127
2407.14/2428.30 c #Conflicts: 1334000 | #Constraints: 45127
2407.14/2428.30 c #Conflicts: 1335000 | #Constraints: 46127
2407.14/2428.30 c #Conflicts: 1336000 | #Constraints: 47127
2407.14/2428.30 c #Conflicts: 1337000 | #Constraints: 48127
2407.14/2428.30 c #Conflicts: 1338000 | #Constraints: 49127
2407.14/2428.30 c #Conflicts: 1339000 | #Constraints: 50127
2407.14/2428.30 c #Conflicts: 1340000 | #Constraints: 51127
2407.14/2428.30 c #Conflicts: 1341000 | #Constraints: 52127
2407.14/2428.30 c #Conflicts: 1342000 | #Constraints: 53127
2407.14/2428.30 c #Conflicts: 1343000 | #Constraints: 54127
2407.14/2428.30 c #Conflicts: 1344000 | #Constraints: 55127
2407.14/2428.30 c #Conflicts: 1345000 | #Constraints: 56127
2407.14/2428.30 c #Conflicts: 1346000 | #Constraints: 57127
2407.14/2428.30 c #Conflicts: 1347000 | #Constraints: 58127
2407.14/2428.30 c #Conflicts: 1348000 | #Constraints: 59127
2407.14/2428.30 c #Conflicts: 1349000 | #Constraints: 60127
2407.14/2428.30 c #Conflicts: 1350000 | #Constraints: 61127
2407.14/2428.30 c #Conflicts: 1351000 | #Constraints: 62127
2407.14/2428.30 c #Conflicts: 1352000 | #Constraints: 63127
2407.14/2428.30 c #Conflicts: 1353000 | #Constraints: 64127
2407.14/2428.30 c #Conflicts: 1354000 | #Constraints: 65127
2407.14/2428.30 c INPROCESSING
2407.14/2428.30 c GARBAGE COLLECT
2407.14/2428.30 c #Conflicts: 1355000 | #Constraints: 36799
2407.14/2428.30 c #Conflicts: 1356000 | #Constraints: 37799
2407.14/2428.30 c #Conflicts: 1357000 | #Constraints: 38799
2407.14/2428.30 c #Conflicts: 1358000 | #Constraints: 39799
2407.14/2428.30 c #Conflicts: 1359000 | #Constraints: 40799
2407.14/2428.30 c #Conflicts: 1360000 | #Constraints: 41799
2407.14/2428.30 c #Conflicts: 1361000 | #Constraints: 42799
2407.14/2428.30 c #Conflicts: 1362000 | #Constraints: 43799
2407.14/2428.30 c #Conflicts: 1363000 | #Constraints: 44799
2407.14/2428.30 c #Conflicts: 1364000 | #Constraints: 45799
2407.14/2428.30 c #Conflicts: 1365000 | #Constraints: 46799
2407.14/2428.30 c #Conflicts: 1366000 | #Constraints: 47799
2407.14/2428.30 c #Conflicts: 1367000 | #Constraints: 48799
2407.14/2428.30 c #Conflicts: 1368000 | #Constraints: 49799
2407.14/2428.30 c #Conflicts: 1369000 | #Constraints: 50799
2407.14/2428.30 c #Conflicts: 1370000 | #Constraints: 51799
2407.14/2428.30 c #Conflicts: 1371000 | #Constraints: 52799
2407.14/2428.30 c #Conflicts: 1372000 | #Constraints: 53799
2407.14/2428.30 c #Conflicts: 1373000 | #Constraints: 54799
2407.14/2428.30 c #Conflicts: 1374000 | #Constraints: 55799
2407.14/2428.30 c #Conflicts: 1375000 | #Constraints: 56799
2407.14/2428.30 c #Conflicts: 1376000 | #Constraints: 57799
2407.14/2428.30 c #Conflicts: 1377000 | #Constraints: 58799
2407.14/2428.30 c #Conflicts: 1378000 | #Constraints: 59799
2407.14/2428.30 c #Conflicts: 1379000 | #Constraints: 60799
2407.14/2428.30 c #Conflicts: 1380000 | #Constraints: 61799
2407.14/2428.30 c INPROCESSING
2407.14/2428.30 c GARBAGE COLLECT
2407.14/2428.30 c rational objective 92.5809
2518.72/2540.48 c #Conflicts: 1381000 | #Constraints: 35204
2518.72/2540.48 c #Conflicts: 1382000 | #Constraints: 36204
2518.72/2540.48 c #Conflicts: 1383000 | #Constraints: 37204
2518.72/2540.48 c #Conflicts: 1384000 | #Constraints: 38204
2518.72/2540.48 c #Conflicts: 1385000 | #Constraints: 39204
2518.72/2540.48 c #Conflicts: 1386000 | #Constraints: 40204
2518.72/2540.48 c #Conflicts: 1387000 | #Constraints: 41204
2518.72/2540.48 c #Conflicts: 1388000 | #Constraints: 42204
2518.72/2540.48 c #Conflicts: 1389000 | #Constraints: 43204
2518.72/2540.48 c #Conflicts: 1390000 | #Constraints: 44204
2518.72/2540.48 c #Conflicts: 1391000 | #Constraints: 45204
2518.72/2540.48 c #Conflicts: 1392000 | #Constraints: 46204
2518.72/2540.48 c #Conflicts: 1393000 | #Constraints: 47204
2518.72/2540.48 c #Conflicts: 1394000 | #Constraints: 48204
2518.72/2540.48 c #Conflicts: 1395000 | #Constraints: 49204
2518.72/2540.48 c #Conflicts: 1396000 | #Constraints: 50204
2518.72/2540.48 c #Conflicts: 1397000 | #Constraints: 51204
2518.72/2540.48 c #Conflicts: 1398000 | #Constraints: 52204
2518.72/2540.48 c #Conflicts: 1399000 | #Constraints: 53204
2518.72/2540.48 c #Conflicts: 1400000 | #Constraints: 54204
2518.72/2540.48 c #Conflicts: 1401000 | #Constraints: 55204
2518.72/2540.48 c #Conflicts: 1402000 | #Constraints: 56204
2518.72/2540.48 c #Conflicts: 1403000 | #Constraints: 57204
2518.72/2540.48 c #Conflicts: 1404000 | #Constraints: 58204
2518.72/2540.48 c #Conflicts: 1405000 | #Constraints: 59204
2518.72/2540.48 c #Conflicts: 1406000 | #Constraints: 60204
2518.72/2540.48 c INPROCESSING
2518.72/2540.48 c GARBAGE COLLECT
2518.72/2540.48 c #Conflicts: 1407000 | #Constraints: 34431
2518.72/2540.48 c #Conflicts: 1408000 | #Constraints: 35431
2518.72/2540.48 c #Conflicts: 1409000 | #Constraints: 36431
2518.72/2540.48 c #Conflicts: 1410000 | #Constraints: 37431
2518.72/2540.48 c #Conflicts: 1411000 | #Constraints: 38431
2518.72/2540.48 c #Conflicts: 1412000 | #Constraints: 39431
2518.72/2540.48 c #Conflicts: 1413000 | #Constraints: 40431
2518.72/2540.48 c #Conflicts: 1414000 | #Constraints: 41431
2518.72/2540.48 c #Conflicts: 1415000 | #Constraints: 42431
2518.72/2540.48 c #Conflicts: 1416000 | #Constraints: 43431
2518.72/2540.48 c #Conflicts: 1417000 | #Constraints: 44431
2518.72/2540.48 c #Conflicts: 1418000 | #Constraints: 45431
2518.72/2540.48 c #Conflicts: 1419000 | #Constraints: 46431
2518.72/2540.48 c #Conflicts: 1420000 | #Constraints: 47431
2518.72/2540.48 c #Conflicts: 1421000 | #Constraints: 48431
2518.72/2540.48 c #Conflicts: 1422000 | #Constraints: 49431
2518.72/2540.48 c #Conflicts: 1423000 | #Constraints: 50431
2518.72/2540.48 c #Conflicts: 1424000 | #Constraints: 51431
2518.72/2540.48 c #Conflicts: 1425000 | #Constraints: 52431
2518.72/2540.48 c #Conflicts: 1426000 | #Constraints: 53431
2518.72/2540.48 c #Conflicts: 1427000 | #Constraints: 54431
2518.72/2540.48 c #Conflicts: 1428000 | #Constraints: 55431
2518.72/2540.48 c #Conflicts: 1429000 | #Constraints: 56431
2518.72/2540.48 c #Conflicts: 1430000 | #Constraints: 57431
2518.72/2540.48 c #Conflicts: 1431000 | #Constraints: 58431
2518.72/2540.48 c #Conflicts: 1432000 | #Constraints: 59431
2518.72/2540.48 c INPROCESSING
2518.72/2540.48 c GARBAGE COLLECT
2518.72/2540.48 c #Conflicts: 1433000 | #Constraints: 33899
2518.72/2540.48 c #Conflicts: 1434000 | #Constraints: 34899
2518.72/2540.48 c #Conflicts: 1435000 | #Constraints: 35899
2518.72/2540.48 c #Conflicts: 1436000 | #Constraints: 36899
2518.72/2540.48 c #Conflicts: 1437000 | #Constraints: 37899
2518.72/2540.48 c #Conflicts: 1438000 | #Constraints: 38899
2518.72/2540.48 c #Conflicts: 1439000 | #Constraints: 39899
2518.72/2540.48 c #Conflicts: 1440000 | #Constraints: 40899
2518.72/2540.48 c #Conflicts: 1441000 | #Constraints: 41899
2518.72/2540.48 c #Conflicts: 1442000 | #Constraints: 42899
2518.72/2540.48 c #Conflicts: 1443000 | #Constraints: 43899
2518.72/2540.48 c #Conflicts: 1444000 | #Constraints: 44899
2518.72/2540.48 c #Conflicts: 1445000 | #Constraints: 45899
2518.72/2540.48 c #Conflicts: 1446000 | #Constraints: 46899
2518.72/2540.48 c #Conflicts: 1447000 | #Constraints: 47899
2518.72/2540.48 c #Conflicts: 1448000 | #Constraints: 48899
2518.72/2540.48 c #Conflicts: 1449000 | #Constraints: 49899
2518.72/2540.48 c #Conflicts: 1450000 | #Constraints: 50899
2518.72/2540.48 c #Conflicts: 1451000 | #Constraints: 51899
2518.72/2540.48 c #Conflicts: 1452000 | #Constraints: 52899
2518.72/2540.48 c #Conflicts: 1453000 | #Constraints: 53899
2518.72/2540.48 c #Conflicts: 1454000 | #Constraints: 54899
2518.72/2540.48 c #Conflicts: 1455000 | #Constraints: 55899
2518.72/2540.48 c #Conflicts: 1456000 | #Constraints: 56899
2518.72/2540.48 c #Conflicts: 1457000 | #Constraints: 57899
2518.72/2540.48 c #Conflicts: 1458000 | #Constraints: 58899
2801.86/2825.19 c #Conflicts: 1459000 | #Constraints: 59899
2801.86/2825.19 c #Conflicts: 1460000 | #Constraints: 60899
2801.86/2825.19 c #Conflicts: 1461000 | #Constraints: 61899
2801.86/2825.19 c #Conflicts: 1462000 | #Constraints: 62899
2801.86/2825.19 c #Conflicts: 1463000 | #Constraints: 63899
2801.86/2825.19 c #Conflicts: 1464000 | #Constraints: 64899
2801.86/2825.19 c #Conflicts: 1465000 | #Constraints: 65899
2801.86/2825.19 c #Conflicts: 1466000 | #Constraints: 66899
2801.86/2825.19 c #Conflicts: 1467000 | #Constraints: 67899
2801.86/2825.19 c #Conflicts: 1468000 | #Constraints: 68899
2801.86/2825.19 c #Conflicts: 1469000 | #Constraints: 69899
2801.86/2825.19 c #Conflicts: 1470000 | #Constraints: 70899
2801.86/2825.19 c #Conflicts: 1471000 | #Constraints: 71899
2801.86/2825.19 c #Conflicts: 1472000 | #Constraints: 72899
2801.86/2825.19 c #Conflicts: 1473000 | #Constraints: 73899
2801.86/2825.19 c #Conflicts: 1474000 | #Constraints: 74899
2801.86/2825.19 c #Conflicts: 1475000 | #Constraints: 75899
2801.86/2825.19 c #Conflicts: 1476000 | #Constraints: 76899
2801.86/2825.19 c #Conflicts: 1477000 | #Constraints: 77899
2801.86/2825.19 c #Conflicts: 1478000 | #Constraints: 78899
2801.86/2825.19 c #Conflicts: 1479000 | #Constraints: 79899
2801.86/2825.19 c #Conflicts: 1480000 | #Constraints: 80899
2801.86/2825.19 c #Conflicts: 1481000 | #Constraints: 81899
2801.86/2825.19 c #Conflicts: 1482000 | #Constraints: 82899
2801.86/2825.19 c #Conflicts: 1483000 | #Constraints: 83899
2801.86/2825.19 c #Conflicts: 1484000 | #Constraints: 84899
2801.86/2825.19 c #Conflicts: 1485000 | #Constraints: 85899
2801.86/2825.19 c #Conflicts: 1486000 | #Constraints: 86899
2801.86/2825.19 c #Conflicts: 1487000 | #Constraints: 87899
2801.86/2825.19 c #Conflicts: 1488000 | #Constraints: 88899
2801.86/2825.19 c #Conflicts: 1489000 | #Constraints: 89899
2801.86/2825.19 c #Conflicts: 1490000 | #Constraints: 90899
2801.86/2825.19 c #Conflicts: 1491000 | #Constraints: 91899
2801.86/2825.19 c #Conflicts: 1492000 | #Constraints: 92899
2801.86/2825.19 c #Conflicts: 1493000 | #Constraints: 93899
2801.86/2825.19 c #Conflicts: 1494000 | #Constraints: 94899
2801.86/2825.19 c #Conflicts: 1495000 | #Constraints: 95899
2801.86/2825.19 c #Conflicts: 1496000 | #Constraints: 96899
2801.86/2825.19 c #Conflicts: 1497000 | #Constraints: 97899
2801.86/2825.19 c #Conflicts: 1498000 | #Constraints: 98899
2801.86/2825.19 c #Conflicts: 1499000 | #Constraints: 99899
2801.86/2825.19 c #Conflicts: 1500000 | #Constraints: 100899
2801.86/2825.19 c #Conflicts: 1501000 | #Constraints: 101899
2801.86/2825.19 c #Conflicts: 1502000 | #Constraints: 102899
2801.86/2825.19 c #Conflicts: 1503000 | #Constraints: 103899
2801.86/2825.19 c #Conflicts: 1504000 | #Constraints: 104899
2801.86/2825.19 c #Conflicts: 1505000 | #Constraints: 105899
2801.86/2825.19 c #Conflicts: 1506000 | #Constraints: 106899
2801.86/2825.19 c #Conflicts: 1507000 | #Constraints: 107899
2801.86/2825.19 c #Conflicts: 1508000 | #Constraints: 108899
2801.86/2825.19 c #Conflicts: 1509000 | #Constraints: 109899
2801.86/2825.19 c #Conflicts: 1510000 | #Constraints: 110899
2801.86/2825.19 c #Conflicts: 1511000 | #Constraints: 111899
2801.86/2825.19 c #Conflicts: 1512000 | #Constraints: 112899
2801.86/2825.19 c #Conflicts: 1513000 | #Constraints: 113899
2801.86/2825.19 c #Conflicts: 1514000 | #Constraints: 114899
2801.86/2825.19 c #Conflicts: 1515000 | #Constraints: 115899
2801.86/2825.19 c #Conflicts: 1516000 | #Constraints: 116899
2801.86/2825.19 c #Conflicts: 1517000 | #Constraints: 117899
2801.86/2825.19 c #Conflicts: 1518000 | #Constraints: 118899
2801.86/2825.19 c #Conflicts: 1519000 | #Constraints: 119899
2801.86/2825.19 c #Conflicts: 1520000 | #Constraints: 120899
2801.86/2825.19 c #Conflicts: 1521000 | #Constraints: 121899
2801.86/2825.19 c #Conflicts: 1522000 | #Constraints: 122899
2801.86/2825.19 c #Conflicts: 1523000 | #Constraints: 123899
2801.86/2825.19 c #Conflicts: 1524000 | #Constraints: 124899
2801.86/2825.19 c #Conflicts: 1525000 | #Constraints: 125899
2801.86/2825.19 c #Conflicts: 1526000 | #Constraints: 126899
2801.86/2825.19 c #Conflicts: 1527000 | #Constraints: 127899
2801.86/2825.19 c #Conflicts: 1528000 | #Constraints: 128899
2801.86/2825.19 c INPROCESSING
2801.86/2825.19 c GARBAGE COLLECT
2801.86/2825.19 c #Conflicts: 1529000 | #Constraints: 68440
2801.86/2825.19 c #Conflicts: 1530000 | #Constraints: 69440
2801.86/2825.19 c #Conflicts: 1531000 | #Constraints: 70440
2801.86/2825.19 c #Conflicts: 1532000 | #Constraints: 71440
2801.86/2825.19 c #Conflicts: 1533000 | #Constraints: 72440
2801.86/2825.19 c #Conflicts: 1534000 | #Constraints: 73440
2801.86/2825.19 c #Conflicts: 1535000 | #Constraints: 74440
2801.86/2825.19 c #Conflicts: 1536000 | #Constraints: 75440
3016.91/3041.62 c #Conflicts: 1537000 | #Constraints: 76440
3016.91/3041.62 c #Conflicts: 1538000 | #Constraints: 77440
3016.91/3041.62 c #Conflicts: 1539000 | #Constraints: 78440
3016.91/3041.62 c #Conflicts: 1540000 | #Constraints: 79440
3016.91/3041.62 c #Conflicts: 1541000 | #Constraints: 80441
3016.91/3041.62 c #Conflicts: 1542000 | #Constraints: 81441
3016.91/3041.62 c #Conflicts: 1543000 | #Constraints: 82441
3016.91/3041.62 c #Conflicts: 1544000 | #Constraints: 83441
3016.91/3041.62 c #Conflicts: 1545000 | #Constraints: 84441
3016.91/3041.62 c #Conflicts: 1546000 | #Constraints: 85441
3016.91/3041.62 c #Conflicts: 1547000 | #Constraints: 86441
3016.91/3041.62 c #Conflicts: 1548000 | #Constraints: 87441
3016.91/3041.62 c #Conflicts: 1549000 | #Constraints: 88441
3016.91/3041.62 c #Conflicts: 1550000 | #Constraints: 89441
3016.91/3041.62 c #Conflicts: 1551000 | #Constraints: 90441
3016.91/3041.62 c #Conflicts: 1552000 | #Constraints: 91441
3016.91/3041.62 c #Conflicts: 1553000 | #Constraints: 92441
3016.91/3041.62 c #Conflicts: 1554000 | #Constraints: 93441
3016.91/3041.62 c #Conflicts: 1555000 | #Constraints: 94441
3016.91/3041.62 c #Conflicts: 1556000 | #Constraints: 95441
3016.91/3041.62 c INPROCESSING
3016.91/3041.62 c GARBAGE COLLECT
3016.91/3041.62 c #Conflicts: 1557000 | #Constraints: 52011
3016.91/3041.62 c #Conflicts: 1558000 | #Constraints: 53011
3016.91/3041.62 c #Conflicts: 1559000 | #Constraints: 54011
3016.91/3041.62 c #Conflicts: 1560000 | #Constraints: 55011
3016.91/3041.62 c #Conflicts: 1561000 | #Constraints: 56011
3016.91/3041.62 c #Conflicts: 1562000 | #Constraints: 57011
3016.91/3041.62 c #Conflicts: 1563000 | #Constraints: 58011
3016.91/3041.62 c #Conflicts: 1564000 | #Constraints: 59011
3016.91/3041.62 c #Conflicts: 1565000 | #Constraints: 60011
3016.91/3041.62 c #Conflicts: 1566000 | #Constraints: 61011
3016.91/3041.62 c #Conflicts: 1567000 | #Constraints: 62011
3016.91/3041.62 c #Conflicts: 1568000 | #Constraints: 63011
3016.91/3041.62 c #Conflicts: 1569000 | #Constraints: 64011
3016.91/3041.62 c #Conflicts: 1570000 | #Constraints: 65011
3016.91/3041.62 c #Conflicts: 1571000 | #Constraints: 66011
3016.91/3041.62 c #Conflicts: 1572000 | #Constraints: 67011
3016.91/3041.62 c #Conflicts: 1573000 | #Constraints: 68011
3016.91/3041.62 c #Conflicts: 1574000 | #Constraints: 69011
3016.91/3041.62 c #Conflicts: 1575000 | #Constraints: 70011
3016.91/3041.62 c #Conflicts: 1576000 | #Constraints: 71011
3016.91/3041.62 c #Conflicts: 1577000 | #Constraints: 72011
3016.91/3041.62 c #Conflicts: 1578000 | #Constraints: 73011
3016.91/3041.62 c #Conflicts: 1579000 | #Constraints: 74011
3016.91/3041.62 c #Conflicts: 1580000 | #Constraints: 75011
3016.91/3041.62 c #Conflicts: 1581000 | #Constraints: 76011
3016.91/3041.62 c #Conflicts: 1582000 | #Constraints: 77012
3016.91/3041.62 c #Conflicts: 1583000 | #Constraints: 78012
3016.91/3041.62 c #Conflicts: 1584000 | #Constraints: 79012
3016.91/3041.62 c INPROCESSING
3016.91/3041.62 c GARBAGE COLLECT
3016.91/3041.62 c #Conflicts: 1585000 | #Constraints: 43840
3016.91/3041.62 c #Conflicts: 1586000 | #Constraints: 44840
3016.91/3041.62 c #Conflicts: 1587000 | #Constraints: 45840
3016.91/3041.62 c #Conflicts: 1588000 | #Constraints: 46841
3016.91/3041.62 c #Conflicts: 1589000 | #Constraints: 47841
3016.91/3041.62 c #Conflicts: 1590000 | #Constraints: 48841
3016.91/3041.62 c #Conflicts: 1591000 | #Constraints: 49841
3016.91/3041.62 c #Conflicts: 1592000 | #Constraints: 50841
3016.91/3041.62 c #Conflicts: 1593000 | #Constraints: 51841
3016.91/3041.62 c #Conflicts: 1594000 | #Constraints: 52841
3016.91/3041.62 c #Conflicts: 1595000 | #Constraints: 53841
3016.91/3041.62 c #Conflicts: 1596000 | #Constraints: 54841
3016.91/3041.62 c #Conflicts: 1597000 | #Constraints: 55841
3016.91/3041.62 c #Conflicts: 1598000 | #Constraints: 56841
3016.91/3041.62 c #Conflicts: 1599000 | #Constraints: 57841
3016.91/3041.62 c #Conflicts: 1600000 | #Constraints: 58841
3016.91/3041.62 c #Conflicts: 1601000 | #Constraints: 59841
3016.91/3041.62 c #Conflicts: 1602000 | #Constraints: 60841
3016.91/3041.62 c #Conflicts: 1603000 | #Constraints: 61841
3016.91/3041.62 c #Conflicts: 1604000 | #Constraints: 62841
3016.91/3041.62 c #Conflicts: 1605000 | #Constraints: 63841
3016.91/3041.62 c #Conflicts: 1606000 | #Constraints: 64841
3016.91/3041.62 c #Conflicts: 1607000 | #Constraints: 65841
3016.91/3041.62 c #Conflicts: 1608000 | #Constraints: 66841
3016.91/3041.62 c #Conflicts: 1609000 | #Constraints: 67841
3016.91/3041.62 c #Conflicts: 1610000 | #Constraints: 68841
3016.91/3041.62 c #Conflicts: 1611000 | #Constraints: 69841
3016.91/3041.62 c INPROCESSING
3016.91/3041.62 c GARBAGE COLLECT
3016.91/3041.62 c #Conflicts: 1612000 | #Constraints: 38886
3016.91/3041.62 c #Conflicts: 1613000 | #Constraints: 39886
3132.85/3158.32 c #Conflicts: 1614000 | #Constraints: 40886
3132.85/3158.32 c #Conflicts: 1615000 | #Constraints: 41886
3132.85/3158.32 c #Conflicts: 1616000 | #Constraints: 42886
3132.85/3158.32 c #Conflicts: 1617000 | #Constraints: 43886
3132.85/3158.32 c #Conflicts: 1618000 | #Constraints: 44886
3132.85/3158.32 c #Conflicts: 1619000 | #Constraints: 45886
3132.85/3158.32 c #Conflicts: 1620000 | #Constraints: 46886
3132.85/3158.32 c #Conflicts: 1621000 | #Constraints: 47886
3132.85/3158.32 c #Conflicts: 1622000 | #Constraints: 48886
3132.85/3158.32 c #Conflicts: 1623000 | #Constraints: 49886
3132.85/3158.32 c #Conflicts: 1624000 | #Constraints: 50886
3132.85/3158.32 c #Conflicts: 1625000 | #Constraints: 51886
3132.85/3158.32 c #Conflicts: 1626000 | #Constraints: 52886
3132.85/3158.32 c #Conflicts: 1627000 | #Constraints: 53886
3132.85/3158.32 c #Conflicts: 1628000 | #Constraints: 54886
3132.85/3158.32 c #Conflicts: 1629000 | #Constraints: 55886
3132.85/3158.32 c #Conflicts: 1630000 | #Constraints: 56886
3132.85/3158.32 c #Conflicts: 1631000 | #Constraints: 57886
3132.85/3158.32 c #Conflicts: 1632000 | #Constraints: 58886
3132.85/3158.32 c #Conflicts: 1633000 | #Constraints: 59886
3132.85/3158.32 c #Conflicts: 1634000 | #Constraints: 60886
3132.85/3158.32 c #Conflicts: 1635000 | #Constraints: 61886
3132.85/3158.32 c #Conflicts: 1636000 | #Constraints: 62886
3132.85/3158.32 c #Conflicts: 1637000 | #Constraints: 63886
3132.85/3158.32 c #Conflicts: 1638000 | #Constraints: 64886
3132.85/3158.32 c #Conflicts: 1639000 | #Constraints: 65886
3132.85/3158.32 c #Conflicts: 1640000 | #Constraints: 66886
3132.85/3158.32 c INPROCESSING
3132.85/3158.32 c GARBAGE COLLECT
3132.85/3158.32 c #Conflicts: 1641000 | #Constraints: 37811
3132.85/3158.32 c #Conflicts: 1642000 | #Constraints: 38811
3132.85/3158.32 c #Conflicts: 1643000 | #Constraints: 39811
3132.85/3158.32 c #Conflicts: 1644000 | #Constraints: 40811
3132.85/3158.32 c #Conflicts: 1645000 | #Constraints: 41811
3132.85/3158.32 c #Conflicts: 1646000 | #Constraints: 42811
3132.85/3158.32 c #Conflicts: 1647000 | #Constraints: 43811
3132.85/3158.32 c #Conflicts: 1648000 | #Constraints: 44811
3132.85/3158.32 c #Conflicts: 1649000 | #Constraints: 45811
3132.85/3158.32 c #Conflicts: 1650000 | #Constraints: 46811
3132.85/3158.32 c #Conflicts: 1651000 | #Constraints: 47811
3132.85/3158.32 c #Conflicts: 1652000 | #Constraints: 48811
3132.85/3158.32 c #Conflicts: 1653000 | #Constraints: 49811
3132.85/3158.32 c #Conflicts: 1654000 | #Constraints: 50811
3132.85/3158.32 c #Conflicts: 1655000 | #Constraints: 51811
3132.85/3158.32 c #Conflicts: 1656000 | #Constraints: 52811
3132.85/3158.32 c #Conflicts: 1657000 | #Constraints: 53811
3132.85/3158.32 c #Conflicts: 1658000 | #Constraints: 54811
3132.85/3158.32 c #Conflicts: 1659000 | #Constraints: 55811
3132.85/3158.32 c #Conflicts: 1660000 | #Constraints: 56811
3132.85/3158.32 c #Conflicts: 1661000 | #Constraints: 57811
3132.85/3158.32 c #Conflicts: 1662000 | #Constraints: 58811
3132.85/3158.32 c #Conflicts: 1663000 | #Constraints: 59811
3132.85/3158.32 c #Conflicts: 1664000 | #Constraints: 60811
3132.85/3158.32 c #Conflicts: 1665000 | #Constraints: 61811
3132.85/3158.32 c #Conflicts: 1666000 | #Constraints: 62811
3132.85/3158.32 c #Conflicts: 1667000 | #Constraints: 63811
3132.85/3158.32 c #Conflicts: 1668000 | #Constraints: 64811
3132.85/3158.32 c INPROCESSING
3132.85/3158.32 c GARBAGE COLLECT
3132.85/3158.32 c #Conflicts: 1669000 | #Constraints: 36635
3132.85/3158.32 c #Conflicts: 1670000 | #Constraints: 37635
3132.85/3158.32 c #Conflicts: 1671000 | #Constraints: 38635
3132.85/3158.32 c #Conflicts: 1672000 | #Constraints: 39635
3132.85/3158.32 c #Conflicts: 1673000 | #Constraints: 40635
3132.85/3158.32 c #Conflicts: 1674000 | #Constraints: 41635
3132.85/3158.32 c #Conflicts: 1675000 | #Constraints: 42635
3132.85/3158.32 c #Conflicts: 1676000 | #Constraints: 43635
3132.85/3158.32 c #Conflicts: 1677000 | #Constraints: 44635
3132.85/3158.32 c #Conflicts: 1678000 | #Constraints: 45635
3132.85/3158.32 c #Conflicts: 1679000 | #Constraints: 46635
3132.85/3158.32 c #Conflicts: 1680000 | #Constraints: 47635
3132.85/3158.32 c #Conflicts: 1681000 | #Constraints: 48635
3132.85/3158.32 c #Conflicts: 1682000 | #Constraints: 49635
3132.85/3158.32 c #Conflicts: 1683000 | #Constraints: 50635
3132.85/3158.32 c #Conflicts: 1684000 | #Constraints: 51635
3132.85/3158.32 c #Conflicts: 1685000 | #Constraints: 52635
3132.85/3158.32 c #Conflicts: 1686000 | #Constraints: 53635
3132.85/3158.32 c #Conflicts: 1687000 | #Constraints: 54635
3132.85/3158.32 c #Conflicts: 1688000 | #Constraints: 55635
3132.85/3158.32 c #Conflicts: 1689000 | #Constraints: 56635
3132.85/3158.32 c #Conflicts: 1690000 | #Constraints: 57635
3319.50/3345.90 c #Conflicts: 1691000 | #Constraints: 58635
3319.50/3345.90 c #Conflicts: 1692000 | #Constraints: 59635
3319.50/3345.90 c #Conflicts: 1693000 | #Constraints: 60635
3319.50/3345.90 c #Conflicts: 1694000 | #Constraints: 61635
3319.50/3345.90 c #Conflicts: 1695000 | #Constraints: 62635
3319.50/3345.90 c #Conflicts: 1696000 | #Constraints: 63635
3319.50/3345.90 c INPROCESSING
3319.50/3345.90 c GARBAGE COLLECT
3319.50/3345.90 c #Conflicts: 1697000 | #Constraints: 35765
3319.50/3345.90 c #Conflicts: 1698000 | #Constraints: 36765
3319.50/3345.90 c #Conflicts: 1699000 | #Constraints: 37765
3319.50/3345.90 c #Conflicts: 1700000 | #Constraints: 38765
3319.50/3345.90 c #Conflicts: 1701000 | #Constraints: 39765
3319.50/3345.90 c #Conflicts: 1702000 | #Constraints: 40765
3319.50/3345.90 c #Conflicts: 1703000 | #Constraints: 41765
3319.50/3345.90 c #Conflicts: 1704000 | #Constraints: 42765
3319.50/3345.90 c #Conflicts: 1705000 | #Constraints: 43765
3319.50/3345.90 c #Conflicts: 1706000 | #Constraints: 44765
3319.50/3345.90 c #Conflicts: 1707000 | #Constraints: 45765
3319.50/3345.90 c #Conflicts: 1708000 | #Constraints: 46765
3319.50/3345.90 c #Conflicts: 1709000 | #Constraints: 47765
3319.50/3345.90 c #Conflicts: 1710000 | #Constraints: 48765
3319.50/3345.90 c #Conflicts: 1711000 | #Constraints: 49765
3319.50/3345.90 c #Conflicts: 1712000 | #Constraints: 50765
3319.50/3345.90 c #Conflicts: 1713000 | #Constraints: 51765
3319.50/3345.90 c #Conflicts: 1714000 | #Constraints: 52765
3319.50/3345.90 c #Conflicts: 1715000 | #Constraints: 53765
3319.50/3345.90 c #Conflicts: 1716000 | #Constraints: 54765
3319.50/3345.90 c #Conflicts: 1717000 | #Constraints: 55765
3319.50/3345.90 c #Conflicts: 1718000 | #Constraints: 56765
3319.50/3345.90 c #Conflicts: 1719000 | #Constraints: 57765
3319.50/3345.90 c #Conflicts: 1720000 | #Constraints: 58765
3319.50/3345.90 c #Conflicts: 1721000 | #Constraints: 59765
3319.50/3345.90 c #Conflicts: 1722000 | #Constraints: 60765
3319.50/3345.90 c #Conflicts: 1723000 | #Constraints: 61765
3319.50/3345.90 c #Conflicts: 1724000 | #Constraints: 62765
3319.50/3345.90 c #Conflicts: 1725000 | #Constraints: 63765
3319.50/3345.90 c #Conflicts: 1726000 | #Constraints: 64765
3319.50/3345.90 c #Conflicts: 1727000 | #Constraints: 65765
3319.50/3345.90 c #Conflicts: 1728000 | #Constraints: 66765
3319.50/3345.90 c #Conflicts: 1729000 | #Constraints: 67765
3319.50/3345.90 c #Conflicts: 1730000 | #Constraints: 68765
3319.50/3345.90 c #Conflicts: 1731000 | #Constraints: 69765
3319.50/3345.90 c #Conflicts: 1732000 | #Constraints: 70765
3319.50/3345.90 c #Conflicts: 1733000 | #Constraints: 71765
3319.50/3345.90 c #Conflicts: 1734000 | #Constraints: 72765
3319.50/3345.90 c #Conflicts: 1735000 | #Constraints: 73765
3319.50/3345.90 c #Conflicts: 1736000 | #Constraints: 74765
3319.50/3345.90 c #Conflicts: 1737000 | #Constraints: 75765
3319.50/3345.90 c #Conflicts: 1738000 | #Constraints: 76765
3319.50/3345.90 c #Conflicts: 1739000 | #Constraints: 77765
3319.50/3345.90 c #Conflicts: 1740000 | #Constraints: 78765
3319.50/3345.90 c #Conflicts: 1741000 | #Constraints: 79765
3319.50/3345.90 c #Conflicts: 1742000 | #Constraints: 80765
3319.50/3345.90 c #Conflicts: 1743000 | #Constraints: 81765
3319.50/3345.90 c #Conflicts: 1744000 | #Constraints: 82765
3319.50/3345.90 c #Conflicts: 1745000 | #Constraints: 83765
3319.50/3345.90 c #Conflicts: 1746000 | #Constraints: 84765
3319.50/3345.90 c #Conflicts: 1747000 | #Constraints: 85765
3319.50/3345.90 c #Conflicts: 1748000 | #Constraints: 86766
3319.50/3345.90 c #Conflicts: 1749000 | #Constraints: 87766
3319.50/3345.90 c #Conflicts: 1750000 | #Constraints: 88766
3319.50/3345.90 c #Conflicts: 1751000 | #Constraints: 89766
3319.50/3345.90 c #Conflicts: 1752000 | #Constraints: 90766
3319.50/3345.90 c #Conflicts: 1753000 | #Constraints: 91766
3319.50/3345.90 c #Conflicts: 1754000 | #Constraints: 92766
3319.50/3345.90 c #Conflicts: 1755000 | #Constraints: 93768
3319.50/3345.90 c #Conflicts: 1756000 | #Constraints: 94768
3319.50/3345.90 c #Conflicts: 1757000 | #Constraints: 95769
3319.50/3345.90 c #Conflicts: 1758000 | #Constraints: 96770
3319.50/3345.90 c #Conflicts: 1759000 | #Constraints: 97771
3319.50/3345.90 c #Conflicts: 1760000 | #Constraints: 98772
3319.50/3345.90 c #Conflicts: 1761000 | #Constraints: 99773
3319.50/3345.90 c #Conflicts: 1762000 | #Constraints: 100776
3319.50/3345.90 c #Conflicts: 1763000 | #Constraints: 101777
3319.50/3345.90 c #Conflicts: 1764000 | #Constraints: 102777
3319.50/3345.90 c #Conflicts: 1765000 | #Constraints: 103779
3319.50/3345.90 c #Conflicts: 1766000 | #Constraints: 104779
3319.50/3345.90 c #Conflicts: 1767000 | #Constraints: 105780
3319.50/3345.90 c #Conflicts: 1768000 | #Constraints: 106780
3319.50/3345.90 c #Conflicts: 1769000 | #Constraints: 107780
3597.49/3625.25 c #Conflicts: 1770000 | #Constraints: 108780
3597.49/3625.25 c #Conflicts: 1771000 | #Constraints: 109780
3597.49/3625.25 c #Conflicts: 1772000 | #Constraints: 110781
3597.49/3625.25 c #Conflicts: 1773000 | #Constraints: 111783
3597.49/3625.25 c #Conflicts: 1774000 | #Constraints: 112783
3597.49/3625.25 c #Conflicts: 1775000 | #Constraints: 113783
3597.49/3625.25 c #Conflicts: 1776000 | #Constraints: 114783
3597.49/3625.25 c #Conflicts: 1777000 | #Constraints: 115783
3597.49/3625.25 c #Conflicts: 1778000 | #Constraints: 116783
3597.49/3625.25 c #Conflicts: 1779000 | #Constraints: 117783
3597.49/3625.25 c #Conflicts: 1780000 | #Constraints: 118783
3597.49/3625.25 c #Conflicts: 1781000 | #Constraints: 119783
3597.49/3625.25 c #Conflicts: 1782000 | #Constraints: 120783
3597.49/3625.25 c #Conflicts: 1783000 | #Constraints: 121783
3597.49/3625.25 c #Conflicts: 1784000 | #Constraints: 122783
3597.49/3625.25 c #Conflicts: 1785000 | #Constraints: 123783
3597.49/3625.25 c #Conflicts: 1786000 | #Constraints: 124783
3597.49/3625.25 c #Conflicts: 1787000 | #Constraints: 125783
3597.49/3625.25 c #Conflicts: 1788000 | #Constraints: 126783
3597.49/3625.25 c #Conflicts: 1789000 | #Constraints: 127783
3597.49/3625.25 c #Conflicts: 1790000 | #Constraints: 128783
3597.49/3625.25 c #Conflicts: 1791000 | #Constraints: 129783
3597.49/3625.25 c #Conflicts: 1792000 | #Constraints: 130783
3597.49/3625.25 c #Conflicts: 1793000 | #Constraints: 131783
3597.49/3625.25 c #Conflicts: 1794000 | #Constraints: 132783
3597.49/3625.25 c #Conflicts: 1795000 | #Constraints: 133783
3597.49/3625.25 c #Conflicts: 1796000 | #Constraints: 134783
3597.49/3625.25 c #Conflicts: 1797000 | #Constraints: 135783
3597.49/3625.25 c #Conflicts: 1798000 | #Constraints: 136783
3597.49/3625.25 c #Conflicts: 1799000 | #Constraints: 137783
3597.49/3625.25 c #Conflicts: 1800000 | #Constraints: 138783
3597.49/3625.25 c #Conflicts: 1801000 | #Constraints: 139783
3597.49/3625.25 c #Conflicts: 1802000 | #Constraints: 140783
3597.49/3625.25 c INPROCESSING
3597.49/3625.25 c GARBAGE COLLECT
3597.49/3625.25 c #Conflicts: 1803000 | #Constraints: 74813
3597.49/3625.25 c #Conflicts: 1804000 | #Constraints: 75813
3597.49/3625.25 c #Conflicts: 1805000 | #Constraints: 76813
3597.49/3625.25 c #Conflicts: 1806000 | #Constraints: 77813
3597.49/3625.25 c #Conflicts: 1807000 | #Constraints: 78813
3597.49/3625.25 c #Conflicts: 1808000 | #Constraints: 79813
3597.49/3625.25 c #Conflicts: 1809000 | #Constraints: 80813
3597.49/3625.25 c #Conflicts: 1810000 | #Constraints: 81813
3597.49/3625.25 c #Conflicts: 1811000 | #Constraints: 82813
3597.49/3625.25 c #Conflicts: 1812000 | #Constraints: 83813
3597.49/3625.25 c #Conflicts: 1813000 | #Constraints: 84813
3597.49/3625.25 c #Conflicts: 1814000 | #Constraints: 85813
3597.49/3625.25 c #Conflicts: 1815000 | #Constraints: 86813
3597.49/3625.25 c #Conflicts: 1816000 | #Constraints: 87813
3597.49/3625.25 c #Conflicts: 1817000 | #Constraints: 88813
3597.49/3625.25 c #Conflicts: 1818000 | #Constraints: 89813
3597.49/3625.25 c #Conflicts: 1819000 | #Constraints: 90813
3597.49/3625.25 c #Conflicts: 1820000 | #Constraints: 91813
3597.49/3625.25 c #Conflicts: 1821000 | #Constraints: 92813
3597.49/3625.25 c #Conflicts: 1822000 | #Constraints: 93813
3597.49/3625.25 c #Conflicts: 1823000 | #Constraints: 94813
3597.49/3625.25 c #Conflicts: 1824000 | #Constraints: 95813
3597.49/3625.25 c #Conflicts: 1825000 | #Constraints: 96813
3597.49/3625.25 c #Conflicts: 1826000 | #Constraints: 97813
3597.49/3625.25 c #Conflicts: 1827000 | #Constraints: 98813
3597.49/3625.25 c #Conflicts: 1828000 | #Constraints: 99813
3597.49/3625.25 c #Conflicts: 1829000 | #Constraints: 100813
3597.49/3625.25 c #Conflicts: 1830000 | #Constraints: 101813
3597.49/3625.25 c #Conflicts: 1831000 | #Constraints: 102813
3597.49/3625.25 c INPROCESSING
3597.49/3625.25 c GARBAGE COLLECT
3597.49/3625.25 c #Conflicts: 1832000 | #Constraints: 55467
3597.49/3625.25 c #Conflicts: 1833000 | #Constraints: 56467
3597.49/3625.25 c #Conflicts: 1834000 | #Constraints: 57467
3597.49/3625.25 c #Conflicts: 1835000 | #Constraints: 58467
3597.49/3625.25 c #Conflicts: 1836000 | #Constraints: 59467
3597.49/3625.25 c #Conflicts: 1837000 | #Constraints: 60467
3597.49/3625.25 c #Conflicts: 1838000 | #Constraints: 61467
3597.49/3625.25 c #Conflicts: 1839000 | #Constraints: 62467
3597.49/3625.25 c #Conflicts: 1840000 | #Constraints: 63467
3597.49/3625.25 c #Conflicts: 1841000 | #Constraints: 64467
3597.49/3625.25 c #Conflicts: 1842000 | #Constraints: 65467
3597.49/3625.25 c #Conflicts: 1843000 | #Constraints: 66468
3597.49/3625.25 c #Conflicts: 1844000 | #Constraints: 67468
3597.49/3625.25 c #Conflicts: 1845000 | #Constraints: 68468
3597.49/3625.25 c #Conflicts: 1846000 | #Constraints: 69468
3600.08/3627.80 c cpu time 3578.17 s
3600.08/3627.80 c deterministic time 251427134033 2.51e+11
3600.08/3627.80 c optimization time 31.2594 s
3600.08/3627.80 c total solve time 3546.87 s
3600.08/3627.80 c core-guided solve time 0 s
3600.08/3627.80 c propagation time 1932.75 s
3600.08/3627.80 c conflict analysis time 1419.56 s
3600.08/3627.80 c propagations 942466348
3600.08/3627.80 c resolve steps 88565396
3600.08/3627.80 c decisions 11527227
3600.08/3627.80 c conflicts 1846983
3600.08/3627.80 c restarts 3579
3600.08/3627.80 c inprocessing phases 86
3600.08/3627.80 c garbage collections 86 ,( 100.00 )
3600.08/3627.80 c input clauses 5980 ,( 98.61 )
3600.08/3627.80 c input cardinalities 84 ,( 1.39 )
3600.08/3627.80 c input general constraints 0 ,( 0.00 )
3600.08/3627.80 c input average constraint length 6.13
3600.08/3627.80 c input average constraint degree 1.91
3600.08/3627.80 c learned clauses 1468515 ,( 79.51 )
3600.08/3627.80 c learned cardinalities 26848 ,( 1.45 )
3600.08/3627.80 c learned general constraints 351651 ,( 19.04 )
3600.08/3627.80 c learned average constraint length 668.32
3600.08/3627.80 c learned average constraint degree 8703313.42
3600.08/3627.80 c watched CF 32, 64, 128, Arb: 116436 , 0 , 0 , 0
3600.08/3627.80 c counting CF 32, 64, 128, Arb: 235215 , 0 , 0 , 0
3600.08/3627.80 c watched constraints 116436 ,( 33.11 )
3600.08/3627.80 c counting constraints 235215 ,( 66.89 )
3600.08/3627.80 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1616045562 , 625025684 , 3120070414 ,( 124795484 , 2995274930 )
3600.08/3627.80 c gcd simplifications 879
3600.08/3627.80 c detected cardinalities 1553
3600.08/3627.80 c weakened non-implied lits 362691821
3600.08/3627.80 c weakened non-implying lits 208065
3600.08/3627.80 c original variables 5775
3600.08/3627.80 c clausal propagations 358249602
3600.08/3627.80 c cardinality propagations 347407290
3600.08/3627.80 c watched propagations 4472178
3600.08/3627.80 c counting propagations 226706214
3600.08/3627.80 c watch lookups 139886122294
3600.08/3627.80 c watch backjump lookups 0
3600.08/3627.80 c watch checks 37335063578
3600.08/3627.80 c propagation checks 67837185114
3600.08/3627.80 c constraint additions 4458556365
3600.08/3627.80 c trail pops 955836616
3600.08/3627.80 c formula constraints 6064
3600.08/3627.80 c learned constraints 1846978
3600.08/3627.80 c bound constraints 0
3600.08/3627.80 c core-guided constraints 0
3600.08/3627.80 c encountered formula constraints 53246837
3600.08/3627.80 c encountered learned constraints 37165194
3600.08/3627.80 c encountered bound constraints 0
3600.08/3627.80 c encountered core-guided constraints 0
3600.08/3627.80 c LP total time 189.817 s
3600.08/3627.80 c LP solve time 176.07 s
3600.08/3627.80 c LP constraints added 6718
3600.08/3627.80 c LP constraints removed 369
3600.08/3627.80 c LP pivots internal 187604
3600.08/3627.80 c LP pivots root 188886
3600.08/3627.80 c LP calls 47
3600.08/3627.80 c LP optimalities 13
3600.08/3627.80 c LP no pivot count 0
3600.08/3627.80 c LP infeasibilities 28
3600.08/3627.80 c LP valid Farkas constraints 27
3600.08/3627.80 c LP learned Farkas constraints 5
3600.08/3627.80 c LP basis resets 1
3600.08/3627.80 c LP cycling count 0
3600.08/3627.80 c LP singular count 0
3600.08/3627.80 c LP no primal count 0
3600.08/3627.80 c LP no farkas count 1
3600.08/3627.80 c LP other issue count 0
3600.08/3627.80 c LP Gomory cuts 4
3600.08/3627.80 c LP learned cuts 650
3600.08/3627.80 c LP deleted cuts 369
3600.08/3627.80 c LP encountered Gomory constraints 0
3600.08/3627.80 c LP encountered Farkas constraints 340
3600.08/3627.80 c LP encountered learned Farkas constraints 3
3600.08/3627.80 c CG auxiliary variables introduced 0
3600.08/3627.80 c CG solutions found 0
3600.08/3627.80 c CG cores constructed 0
3600.08/3627.80 c CG core cardinality constraints returned 0
3600.08/3627.80 c CG unit cores 0
3600.08/3627.80 c CG single cores 0
3600.08/3627.80 c CG blocks removed during cardinality reduction 0
3600.08/3627.80 c CG first core best 0
3600.08/3627.80 c CG decision core best 0
3600.08/3627.80 c CG core reduction tie 0
3600.08/3627.80 c CG core degree average 0.00
3600.08/3627.80 c CG core slack average 0.00
3600.08/3627.80 c CG core upper bound improvements 0
3600.08/3627.80 c STR number of successful calls 0
3600.08/3627.80 c STR number of unsuccessful calls 0
3600.08/3627.80 c STR number of inconclusive calls 0
3600.08/3627.80 c STR number of successful attempts 0
3600.08/3627.80 c STR number of unsuccessful attempts 0
3600.08/3627.80 c STR number of inconclusive attempts 0
3600.08/3627.80 c STR average degree increase per successful call inf
3600.08/3627.80 c STR average degree increase per successful attempt inf
3600.08/3627.80 c STR total number of conflicts for successful attempts 0
3600.08/3627.80 c STR total number of conflicts for unsuccessful attempts 0
3600.08/3627.80 c STR total number of conflicts for inconclusive attempts 0
3600.08/3627.80 c STR average number of conflicts per successful attempt inf
3600.08/3627.80 c STR average number of conflicts per unsuccessful attempt inf
3600.08/3627.80 c STR average number of conflicts per inconclusive attempt inf
3600.08/3627.80 c AVG.sumWPerc 59.29
3600.08/3627.80 c bigint constraints 0
3600.08/3627.80 s UNKNOWN
3600.08/3627.80 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (52041 MiB free)
memory of node 1: 64465 MiB (63869 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507341-1751175975/watcher-4507341-1751175975 -o /tmp/evaluation-result-4507341-1751175975/solver-4507341-1751175975 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22055 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507341-1751175975.opb PROOFDIR/proof-4507341-1751175975
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23022, runsolver pid=23019
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 4.16 4.10 4.09 5/274 23025
/proc/meminfo: memFree=118675412/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=70808 memory=23932 CPUtime=0.05 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 4458 0 0 0 4 1 0 0 20 0 1 0 33276188 72507392 5983 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 17702 5983 2336 1147 0 5129 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 75000 KiB
Current children cumulated memory: 27004 KiB
[startup+0.205782 s]*
/proc/loadavg: 4.16 4.10 4.09 5/274 23025
/proc/meminfo: memFree=118673396/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=73332 memory=25852 CPUtime=0.14 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 4949 0 0 0 13 1 0 0 20 0 1 0 33276188 75091968 6463 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 18333 6463 2336 1147 0 5760 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 77524 KiB
Current children cumulated memory: 28924 KiB
[startup+0.305766 s]*
/proc/loadavg: 4.16 4.10 4.09 5/274 23025
/proc/meminfo: memFree=118673396/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=73332 memory=25852 CPUtime=0.24 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 4949 0 0 0 23 1 0 0 20 0 1 0 33276188 75091968 6463 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 18333 6463 2336 1147 0 5760 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 77524 KiB
Current children cumulated memory: 28924 KiB
[startup+0.700178 s]
/proc/loadavg: 4.16 4.10 4.09 5/274 23025
/proc/meminfo: memFree=118671380/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=74088 memory=26748 CPUtime=0.62 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 5184 0 0 0 61 1 0 0 20 0 1 0 33276188 75866112 6687 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 18522 6687 2336 1147 0 5949 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 78280 KiB
Current children cumulated memory: 29820 KiB
[startup+1.50014 s]
/proc/loadavg: 4.16 4.10 4.09 5/274 23025
/proc/meminfo: memFree=118663608/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=76776 memory=31484 CPUtime=1.42 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 6353 0 0 0 138 4 0 0 20 0 1 0 33276188 78618624 7871 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 19194 7871 2368 1147 0 6621 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 80968 KiB
Current children cumulated memory: 34556 KiB
[startup+3.10561 s]
/proc/loadavg: 4.16 4.10 4.09 5/273 23025
/proc/meminfo: memFree=118635668/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=78748 memory=35628 CPUtime=3.03 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 6880 0 0 0 295 8 0 0 20 0 1 0 33276188 80637952 8907 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 19687 8907 2368 1147 0 7114 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 82940 KiB
Current children cumulated memory: 38700 KiB
[startup+6.30014 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23025
/proc/meminfo: memFree=118614496/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=85456 memory=40876 CPUtime=6.21 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 8169 0 0 0 606 15 0 0 20 0 1 0 33276188 87506944 10219 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 21364 10219 2368 1147 0 8791 0
Current children cumulated CPU time: 6.22 s
Current children cumulated vsize: 89648 KiB
Current children cumulated memory: 43948 KiB
[startup+12.7001 s]
/proc/loadavg: 4.14 4.10 4.09 5/273 23026
/proc/meminfo: memFree=118531852/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=89532 memory=45228 CPUtime=12.6 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 9258 0 0 0 1232 28 0 0 20 0 1 0 33276188 91680768 11307 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 22383 11307 2368 1147 0 9810 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 93724 KiB
Current children cumulated memory: 48300 KiB
[startup+25.5002 s]
/proc/loadavg: 4.11 4.09 4.09 5/273 23026
/proc/meminfo: memFree=118387868/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=108168 memory=58152 CPUtime=25.36 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 11993 0 0 0 2485 51 0 0 20 0 1 0 33276188 110764032 14538 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 27042 14538 2368 1147 0 14469 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 112360 KiB
Current children cumulated memory: 61224 KiB
[startup+51.1057 s]
/proc/loadavg: 4.15 4.10 4.09 5/273 23026
/proc/meminfo: memFree=118111392/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=129388 memory=76988 CPUtime=50.82 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 15164 0 0 0 4981 101 0 0 20 0 1 0 33276188 132493312 19247 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 32347 19247 2368 1147 0 19774 0
Current children cumulated CPU time: 50.83 s
Current children cumulated vsize: 133580 KiB
Current children cumulated memory: 80060 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/272 23032
/proc/meminfo: memFree=117608084/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=200068 memory=129448 CPUtime=101.71 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 21161 0 0 0 10005 166 0 0 20 0 1 0 33276188 204869632 32362 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 50017 32362 2368 1147 0 37444 0
Current children cumulated CPU time: 101.72 s
Current children cumulated vsize: 204260 KiB
Current children cumulated memory: 132520 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/272 23034
/proc/meminfo: memFree=117146016/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=210152 memory=151004 CPUtime=161.34 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 23471 0 0 0 15910 224 0 0 20 0 1 0 33276188 215195648 37751 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 52538 37751 2368 1147 0 39965 0
Current children cumulated CPU time: 161.35 s
Current children cumulated vsize: 214344 KiB
Current children cumulated memory: 154076 KiB
[startup+222.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/273 23040
/proc/meminfo: memFree=116511116/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=283664 memory=217076 CPUtime=221.06 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 29304 0 0 0 21829 277 0 0 20 0 1 0 33276188 290471936 54269 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
################
# More data... #
################
/proc/23025/statm: 225199 164572 2464 1147 0 212626 0
Current children cumulated CPU time: 3017.6 s
Current children cumulated vsize: 904988 KiB
Current children cumulated memory: 661360 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.14 4.11 5/270 23432
/proc/meminfo: memFree=114866924/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=900796 memory=658288 CPUtime=3077.17 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 72038 0 0 0 305748 1969 0 0 20 0 1 0 33276188 922415104 164572 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 225199 164572 2464 1147 0 212626 0
Current children cumulated CPU time: 3077.18 s
Current children cumulated vsize: 904988 KiB
Current children cumulated memory: 661360 KiB
[startup+3162.3 s]
/proc/loadavg: 4.27 4.17 4.12 5/271 23439
/proc/meminfo: memFree=114447864/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=900796 memory=658288 CPUtime=3136.83 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 72038 0 0 0 311672 2011 0 0 20 0 1 0 33276188 922415104 164572 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 225199 164572 2464 1147 0 212626 0
Current children cumulated CPU time: 3136.84 s
Current children cumulated vsize: 904988 KiB
Current children cumulated memory: 661360 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.16 4.11 5/271 23441
/proc/meminfo: memFree=114001768/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=900796 memory=658288 CPUtime=3196.5 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 72038 0 0 0 317599 2051 0 0 20 0 1 0 33276188 922415104 164572 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 225199 164572 2464 1147 0 212626 0
Current children cumulated CPU time: 3196.51 s
Current children cumulated vsize: 904988 KiB
Current children cumulated memory: 661360 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/271 23443
/proc/meminfo: memFree=113594916/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=900796 memory=658288 CPUtime=3256.17 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 72064 0 0 0 323543 2074 0 0 20 0 1 0 33276188 922415104 164572 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 225199 164572 2464 1147 0 212626 0
Current children cumulated CPU time: 3256.18 s
Current children cumulated vsize: 904988 KiB
Current children cumulated memory: 661360 KiB
[startup+3342.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/271 23445
/proc/meminfo: memFree=113258068/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=902616 memory=659952 CPUtime=3315.91 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 72496 0 0 0 329496 2095 0 0 20 0 1 0 33276188 924278784 164988 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 225654 164988 2464 1147 0 213081 0
Current children cumulated CPU time: 3315.92 s
Current children cumulated vsize: 906808 KiB
Current children cumulated memory: 663024 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/272 23448
/proc/meminfo: memFree=112977976/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=906744 memory=663024 CPUtime=3375.51 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 73408 0 0 0 335438 2113 0 0 20 0 1 0 33276188 928505856 165756 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 226686 165756 2464 1147 0 214113 0
Current children cumulated CPU time: 3375.52 s
Current children cumulated vsize: 910936 KiB
Current children cumulated memory: 666096 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/272 23451
/proc/meminfo: memFree=112623976/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=918360 memory=670320 CPUtime=3435.25 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 75227 0 0 0 341395 2130 0 0 20 0 1 0 33276188 940400640 167580 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 229590 167580 2464 1147 0 217017 0
Current children cumulated CPU time: 3435.26 s
Current children cumulated vsize: 922552 KiB
Current children cumulated memory: 673392 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/272 23453
/proc/meminfo: memFree=112260136/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=928744 memory=677488 CPUtime=3495 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 77048 0 0 0 347351 2149 0 0 20 0 1 0 33276188 951033856 169372 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 232186 169372 2464 1147 0 219613 0
Current children cumulated CPU time: 3495.01 s
Current children cumulated vsize: 932936 KiB
Current children cumulated memory: 680560 KiB
[startup+3582.3 s]
/proc/loadavg: 4.39 4.20 4.12 5/273 23456
/proc/meminfo: memFree=111979424/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=928744 memory=677488 CPUtime=3554.75 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 77048 0 0 0 353302 2173 0 0 20 0 1 0 33276188 951033856 169372 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 232186 169372 2464 1147 0 219613 0
Current children cumulated CPU time: 3554.76 s
Current children cumulated vsize: 932936 KiB
Current children cumulated memory: 680560 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3627.8 s]
/proc/loadavg: 4.27 4.19 4.12 4/269 23468
/proc/meminfo: memFree=112460904/131250000 swapFree=33010684/33010684
[pid=23022] ppid=23019 vsize=4192 memory=3072 CPUtime=0.01 cores=1,3
/proc/23022/stat : 23022 (run-dec-break-l) S 23019 23022 22043 0 -1 4194304 239 4132 0 0 0 0 1 0 20 0 1 0 33276185 4292608 768 18446744073709551615 94258007564288 94258008458821 140736294358768 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94258008697872 94258008745616 94258034921472 140736294365461 140736294365662 140736294365662 140736294371264 0
/proc/23022/statm: 1048 768 704 219 0 110 0
[pid=23025] ppid=23022 vsize=928744 memory=677488 CPUtime=3600.07 cores=1,3
/proc/23025/stat : 23025 (roundingsat) R 23022 23022 22043 0 -1 4194304 77048 0 0 0 357816 2191 0 0 20 0 1 0 33276188 951033856 169372 18446744073709551615 4227072 8923433 140732444311488 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 19931136 140732444317940 140732444318248 140732444318248 140732444323818 0
/proc/23025/statm: 232186 169372 2464 1147 0 219613 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 932936 KiB
Current children cumulated memory: 680560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3627.8 s]
# the end of solver process 23022 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.018273 s, system=0.009516 s
[startup+3627.86 s]
# the end of solver process 23025 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3578.2 s, system=21.9305 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
Child status: 2
Real time (s): 3627.86
CPU time (s): 3600.13
CPU user time (s): 3578.2
CPU system time (s): 21.9305
CPU usage (%): 99.2356
Max. virtual memory (cumulated for all children) (KiB): 932936
Max. memory (cumulated for all children) (KiB): 680560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.2
system time used= 21.9305
maximum resident set size= 677616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81437
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10913368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 695
involuntary context switches= 4793
# summary of solver processes directly reported to runsolver:
# pid: 23022,23025
# total CPU time (s): 3600.13
# total CPU user time (s): 3578.2
# total CPU system time (s): 21.9305
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48283 second user time and 16.6617 second system time
The end
Begin job on nodeC026 at 2025-06-29 07:46:15
IDJOB=4507341
IDBENCH=158343
IDSOLVER=3358
FILE ID=nodeC026/4507341-1751175975
RUNJOBID= nodeC026-1751168686-22055
SLURM_JOB_ID= 9587513
Free space on /tmp= 433032 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K84.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4507341-1751175975/watcher-4507341-1751175975 -o /tmp/evaluation-result-4507341-1751175975/solver-4507341-1751175975 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1751168686-22055 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4507341-1751175975.opb PROOFDIR/proof-4507341-1751175975
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 5fb93660b547b6cc9dd610c04b6e276e
RANDOM SEED=1761931761
nodeC026 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.769
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.797
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3618.470
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.050
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.789
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.786
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.358
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.746
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 118692996 kB
MemAvailable: 128061352 kB
Buffers: 3280 kB
Cached: 10167716 kB
SwapCached: 0 kB
Active: 2037368 kB
Inactive: 9948448 kB
Active(anon): 1833028 kB
Inactive(anon): 0 kB
Active(file): 204340 kB
Inactive(file): 9948448 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 70068 kB
Writeback: 0 kB
AnonPages: 1815076 kB
Mapped: 116344 kB
Shmem: 18080 kB
KReclaimable: 109612 kB
Slab: 197428 kB
SReclaimable: 109612 kB
SUnreclaim: 87816 kB
KernelStack: 4448 kB
PageTables: 6780 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 2428764 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150744 kB
VmallocChunk: 0 kB
Percpu: 3680 kB
HardwareCorrupted: 0 kB
AnonHugePages: 811008 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187092 kB
DirectMap2M: 9021440 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 433024 MiB
End job on nodeC026 at 2025-06-29 08:46:43