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-4545315-1753236119.opb'
0.08/0.17 c read 10.89MB (160.10ms)
0.08/0.17 c [cnf: #variables 101921 #clauses 213661 #duplicates 0 #arr 1079521]
0.08/0.17 c output proof to '/tmp/proof-4545315-1753236119'
0.08/0.17 c
0.08/0.17 c make graph and approximate orbits
0.39/0.43 c [group: #orbits ~= 0] (257.88ms)
0.39/0.43 c
0.39/0.43 c detect special group actions
0.39/0.43 c probe for Johnson action (limit=64)
0.39/0.43 c probe for row-column symmetry (limit=64, splits=16.78M)
0.39/0.45 c probe for row symmetry (limit=64, splits=16.78M)
0.39/0.47 c (38.75ms)
0.39/0.47 c
0.39/0.47 c detect symmetries on remainder
0.39/0.47 c [graph: #vertices 778442 #edges 3084762]
0.39/0.47 c dejavu (support_limit=2048.00MB, budget_limit=64)
0.49/0.51 c [group: #symmetries 1.00*10^0 #generators 0] (47.57ms)
0.49/0.51 c
0.49/0.51 c finalize break order and special generators
0.49/0.52 c
0.49/0.52 c generation finished
0.49/0.52 c [sbp: #constraints 0 #add_vars 0]
0.49/0.52 c
0.49/0.52 c write result to 'HOME/instance-4545315-1753236119.opb.pre'
0.49/0.55 c wrote 11.02MB (23.49ms)
0.49/0.55 c ------------------------------------------------------------------
0.49/0.55 c 257.88ms 47.77% approx_orbits
0.49/0.55 c 160.10ms 29.66% parse
0.49/0.55 c 47.57ms 8.81% detect_generic
0.49/0.55 c 38.75ms 7.18% detect_special
0.49/0.55 c 23.49ms 4.35% output
0.49/0.55 c 7.97ms 1.48% other
0.49/0.55 c 4.08ms 0.76% finalize_order
0.49/0.55 c ───────────────────────────────────────────────
0.49/0.55 c 539.83ms 100% total
0.49/0.55 c ------------------------------------------------------------------
0.49/0.59 c RoundingSat 2
0.49/0.59 c branch pb25
0.49/0.59 c commit 63f22ad
2.16/2.20 c #variables 101921 #constraints 214208
156.85/157.41 c #Conflicts: 1000 | #Constraints: 215207
156.85/157.41 c #Conflicts: 2000 | #Constraints: 216207
156.85/157.41 c INPROCESSING
156.85/157.41 c GARBAGE COLLECT
156.85/157.41 c #Conflicts: 3000 | #Constraints: 157998
156.85/157.41 c #Conflicts: 4000 | #Constraints: 158998
156.85/157.41 c INPROCESSING
156.85/157.41 c #Conflicts: 5000 | #Constraints: 158478
156.85/157.41 c #Conflicts: 6000 | #Constraints: 159478
156.85/157.41 c INPROCESSING
156.85/157.41 c #Conflicts: 7000 | #Constraints: 158554
156.85/157.41 c #Conflicts: 8000 | #Constraints: 159554
156.85/157.41 c #Conflicts: 9000 | #Constraints: 160554
156.85/157.41 c #Conflicts: 10000 | #Constraints: 161554
156.85/157.41 c #Conflicts: 11000 | #Constraints: 162554
156.85/157.41 c #Conflicts: 12000 | #Constraints: 163554
156.85/157.41 c INPROCESSING
156.85/157.41 c #Conflicts: 13000 | #Constraints: 160534
156.85/157.41 c #Conflicts: 14000 | #Constraints: 161534
156.85/157.41 c #Conflicts: 15000 | #Constraints: 162534
156.85/157.41 c #Conflicts: 16000 | #Constraints: 163534
156.85/157.41 c INPROCESSING
156.85/157.41 c #Conflicts: 17000 | #Constraints: 160153
156.85/157.41 c #Conflicts: 18000 | #Constraints: 161153
156.85/157.41 c #Conflicts: 19000 | #Constraints: 162153
156.85/157.41 c #Conflicts: 20000 | #Constraints: 163153
156.85/157.41 c #Conflicts: 21000 | #Constraints: 164153
156.85/157.41 c #Conflicts: 22000 | #Constraints: 165153
156.85/157.41 c #Conflicts: 23000 | #Constraints: 166153
156.85/157.41 c #Conflicts: 24000 | #Constraints: 167153
156.85/157.41 c #Conflicts: 25000 | #Constraints: 168153
156.85/157.41 c INPROCESSING
156.85/157.41 c #Conflicts: 26000 | #Constraints: 162671
156.85/157.41 c #Conflicts: 27000 | #Constraints: 163671
156.85/157.41 c #Conflicts: 28000 | #Constraints: 164671
156.85/157.41 c #Conflicts: 29000 | #Constraints: 165671
156.85/157.41 c #Conflicts: 30000 | #Constraints: 166671
156.85/157.41 c INPROCESSING
156.85/157.41 c #Conflicts: 31000 | #Constraints: 161962
156.85/157.41 c #Conflicts: 32000 | #Constraints: 162962
156.85/157.41 c #Conflicts: 33000 | #Constraints: 163962
156.85/157.41 c #Conflicts: 34000 | #Constraints: 164962
156.85/157.41 c #Conflicts: 35000 | #Constraints: 165962
156.85/157.41 c #Conflicts: 36000 | #Constraints: 166962
156.85/157.41 c #Conflicts: 37000 | #Constraints: 167962
156.85/157.41 c #Conflicts: 38000 | #Constraints: 168962
156.85/157.41 c #Conflicts: 39000 | #Constraints: 169962
156.85/157.41 c #Conflicts: 40000 | #Constraints: 170962
156.85/157.41 c #Conflicts: 41000 | #Constraints: 171962
156.85/157.41 c #Conflicts: 42000 | #Constraints: 172962
156.85/157.41 c #Conflicts: 43000 | #Constraints: 173962
156.85/157.41 c INPROCESSING
156.85/157.41 c #Conflicts: 44000 | #Constraints: 165935
156.85/157.41 c #Conflicts: 45000 | #Constraints: 166935
156.85/157.41 c #Conflicts: 46000 | #Constraints: 167935
156.85/157.41 c #Conflicts: 47000 | #Constraints: 168935
156.85/157.41 c #Conflicts: 48000 | #Constraints: 169935
156.85/157.41 c #Conflicts: 49000 | #Constraints: 170935
156.85/157.41 c #Conflicts: 50000 | #Constraints: 171935
156.85/157.41 c #Conflicts: 51000 | #Constraints: 172935
156.85/157.41 c #Conflicts: 52000 | #Constraints: 173935
156.85/157.41 c #Conflicts: 53000 | #Constraints: 174935
156.85/157.41 c #Conflicts: 54000 | #Constraints: 175935
156.85/157.41 c #Conflicts: 55000 | #Constraints: 176935
156.85/157.41 c #Conflicts: 56000 | #Constraints: 177935
156.85/157.41 c #Conflicts: 57000 | #Constraints: 178935
156.85/157.41 c INPROCESSING
156.85/157.41 c GARBAGE COLLECT
156.85/157.41 c #Conflicts: 58000 | #Constraints: 168335
156.85/157.41 c #Conflicts: 59000 | #Constraints: 169335
156.85/157.41 c #Conflicts: 60000 | #Constraints: 170335
156.85/157.41 c #Conflicts: 61000 | #Constraints: 171335
156.85/157.41 c #Conflicts: 62000 | #Constraints: 172335
156.85/157.41 c #Conflicts: 63000 | #Constraints: 173335
156.85/157.41 c #Conflicts: 64000 | #Constraints: 174335
156.85/157.41 c #Conflicts: 65000 | #Constraints: 175335
156.85/157.41 c #Conflicts: 66000 | #Constraints: 176335
156.85/157.41 c #Conflicts: 67000 | #Constraints: 177335
156.85/157.41 c #Conflicts: 68000 | #Constraints: 178335
156.85/157.41 c #Conflicts: 69000 | #Constraints: 179335
156.85/157.41 c #Conflicts: 70000 | #Constraints: 180335
156.85/157.41 c #Conflicts: 71000 | #Constraints: 181335
156.85/157.41 c #Conflicts: 72000 | #Constraints: 182335
156.85/157.41 c #Conflicts: 73000 | #Constraints: 183335
156.85/157.41 c #Conflicts: 74000 | #Constraints: 184335
156.85/157.41 c INPROCESSING
156.85/157.41 c #Conflicts: 75000 | #Constraints: 171471
156.85/157.41 c #Conflicts: 76000 | #Constraints: 172471
376.60/377.85 c #Conflicts: 77000 | #Constraints: 173471
376.60/377.85 c #Conflicts: 78000 | #Constraints: 174471
376.60/377.85 c #Conflicts: 79000 | #Constraints: 175471
376.60/377.85 c #Conflicts: 80000 | #Constraints: 176471
376.60/377.85 c #Conflicts: 81000 | #Constraints: 177471
376.60/377.85 c #Conflicts: 82000 | #Constraints: 178471
376.60/377.85 c #Conflicts: 83000 | #Constraints: 179471
376.60/377.85 c #Conflicts: 84000 | #Constraints: 180471
376.60/377.85 c #Conflicts: 85000 | #Constraints: 181471
376.60/377.85 c #Conflicts: 86000 | #Constraints: 182471
376.60/377.85 c #Conflicts: 87000 | #Constraints: 183471
376.60/377.85 c #Conflicts: 88000 | #Constraints: 184471
376.60/377.85 c #Conflicts: 89000 | #Constraints: 185471
376.60/377.85 c #Conflicts: 90000 | #Constraints: 186471
376.60/377.85 c #Conflicts: 91000 | #Constraints: 187471
376.60/377.85 c #Conflicts: 92000 | #Constraints: 188471
376.60/377.85 c INPROCESSING
376.60/377.85 c #Conflicts: 93000 | #Constraints: 173411
376.60/377.85 c #Conflicts: 94000 | #Constraints: 174411
376.60/377.85 c #Conflicts: 95000 | #Constraints: 175411
376.60/377.85 c #Conflicts: 96000 | #Constraints: 176411
376.60/377.85 c #Conflicts: 97000 | #Constraints: 177411
376.60/377.85 c #Conflicts: 98000 | #Constraints: 178411
376.60/377.85 c #Conflicts: 99000 | #Constraints: 179411
376.60/377.85 c #Conflicts: 100000 | #Constraints: 180411
376.60/377.85 c #Conflicts: 101000 | #Constraints: 181411
376.60/377.85 c #Conflicts: 102000 | #Constraints: 182411
376.60/377.85 c #Conflicts: 103000 | #Constraints: 183411
376.60/377.85 c #Conflicts: 104000 | #Constraints: 184411
376.60/377.85 c #Conflicts: 105000 | #Constraints: 185411
376.60/377.85 c #Conflicts: 106000 | #Constraints: 186411
376.60/377.85 c #Conflicts: 107000 | #Constraints: 187411
376.60/377.85 c #Conflicts: 108000 | #Constraints: 188411
376.60/377.85 c #Conflicts: 109000 | #Constraints: 189411
376.60/377.85 c #Conflicts: 110000 | #Constraints: 190411
376.60/377.85 c #Conflicts: 111000 | #Constraints: 191411
376.60/377.85 c #Conflicts: 112000 | #Constraints: 192411
376.60/377.85 c INPROCESSING
376.60/377.85 c GARBAGE COLLECT
376.60/377.85 c #Conflicts: 113000 | #Constraints: 175265
376.60/377.85 c #Conflicts: 114000 | #Constraints: 176265
376.60/377.85 c #Conflicts: 115000 | #Constraints: 177265
376.60/377.85 c #Conflicts: 116000 | #Constraints: 178265
376.60/377.85 c #Conflicts: 117000 | #Constraints: 179265
376.60/377.85 c #Conflicts: 118000 | #Constraints: 180265
376.60/377.85 c #Conflicts: 119000 | #Constraints: 181265
376.60/377.85 c #Conflicts: 120000 | #Constraints: 182265
376.60/377.85 c #Conflicts: 121000 | #Constraints: 183265
376.60/377.85 c #Conflicts: 122000 | #Constraints: 184265
376.60/377.85 c #Conflicts: 123000 | #Constraints: 185265
376.60/377.85 c #Conflicts: 124000 | #Constraints: 186265
376.60/377.85 c #Conflicts: 125000 | #Constraints: 187265
376.60/377.85 c #Conflicts: 126000 | #Constraints: 188265
376.60/377.85 c #Conflicts: 127000 | #Constraints: 189265
376.60/377.85 c #Conflicts: 128000 | #Constraints: 190265
376.60/377.85 c #Conflicts: 129000 | #Constraints: 191265
376.60/377.85 c #Conflicts: 130000 | #Constraints: 192265
376.60/377.85 c #Conflicts: 131000 | #Constraints: 193265
376.60/377.85 c #Conflicts: 132000 | #Constraints: 194265
376.60/377.85 c #Conflicts: 133000 | #Constraints: 195265
376.60/377.85 c #Conflicts: 134000 | #Constraints: 196265
376.60/377.85 c #Conflicts: 135000 | #Constraints: 197265
376.60/377.85 c INPROCESSING
376.60/377.85 c #Conflicts: 136000 | #Constraints: 178094
376.60/377.85 c #Conflicts: 137000 | #Constraints: 179094
376.60/377.85 c #Conflicts: 138000 | #Constraints: 180094
376.60/377.85 c #Conflicts: 139000 | #Constraints: 181094
376.60/377.85 c #Conflicts: 140000 | #Constraints: 182094
376.60/377.85 c #Conflicts: 141000 | #Constraints: 183094
376.60/377.85 c #Conflicts: 142000 | #Constraints: 184094
376.60/377.85 c #Conflicts: 143000 | #Constraints: 185094
376.60/377.85 c #Conflicts: 144000 | #Constraints: 186094
376.60/377.85 c #Conflicts: 145000 | #Constraints: 187094
376.60/377.85 c #Conflicts: 146000 | #Constraints: 188094
376.60/377.85 c #Conflicts: 147000 | #Constraints: 189094
376.60/377.85 c #Conflicts: 148000 | #Constraints: 190094
376.60/377.85 c #Conflicts: 149000 | #Constraints: 191094
376.60/377.85 c #Conflicts: 150000 | #Constraints: 192094
376.60/377.85 c #Conflicts: 151000 | #Constraints: 193094
376.60/377.85 c #Conflicts: 152000 | #Constraints: 194094
376.60/377.85 c #Conflicts: 153000 | #Constraints: 195094
645.13/647.21 c #Conflicts: 154000 | #Constraints: 196094
645.13/647.21 c #Conflicts: 155000 | #Constraints: 197094
645.13/647.21 c #Conflicts: 156000 | #Constraints: 198094
645.13/647.21 c #Conflicts: 157000 | #Constraints: 199094
645.13/647.21 c #Conflicts: 158000 | #Constraints: 200094
645.13/647.21 c #Conflicts: 159000 | #Constraints: 201094
645.13/647.21 c INPROCESSING
645.13/647.21 c GARBAGE COLLECT
645.13/647.21 c #Conflicts: 160000 | #Constraints: 179950
645.13/647.21 c #Conflicts: 161000 | #Constraints: 180950
645.13/647.21 c #Conflicts: 162000 | #Constraints: 181950
645.13/647.21 c #Conflicts: 163000 | #Constraints: 182950
645.13/647.21 c #Conflicts: 164000 | #Constraints: 183950
645.13/647.21 c #Conflicts: 165000 | #Constraints: 184950
645.13/647.21 c #Conflicts: 166000 | #Constraints: 185950
645.13/647.21 c #Conflicts: 167000 | #Constraints: 186950
645.13/647.21 c #Conflicts: 168000 | #Constraints: 187950
645.13/647.21 c #Conflicts: 169000 | #Constraints: 188950
645.13/647.21 c #Conflicts: 170000 | #Constraints: 189950
645.13/647.21 c #Conflicts: 171000 | #Constraints: 190950
645.13/647.21 c #Conflicts: 172000 | #Constraints: 191950
645.13/647.21 c #Conflicts: 173000 | #Constraints: 192950
645.13/647.21 c #Conflicts: 174000 | #Constraints: 193950
645.13/647.21 c #Conflicts: 175000 | #Constraints: 194950
645.13/647.21 c #Conflicts: 176000 | #Constraints: 195950
645.13/647.21 c #Conflicts: 177000 | #Constraints: 196950
645.13/647.21 c #Conflicts: 178000 | #Constraints: 197950
645.13/647.21 c #Conflicts: 179000 | #Constraints: 198950
645.13/647.21 c #Conflicts: 180000 | #Constraints: 199950
645.13/647.21 c #Conflicts: 181000 | #Constraints: 200950
645.13/647.21 c #Conflicts: 182000 | #Constraints: 201950
645.13/647.21 c #Conflicts: 183000 | #Constraints: 202950
645.13/647.21 c #Conflicts: 184000 | #Constraints: 203950
645.13/647.21 c #Conflicts: 185000 | #Constraints: 204950
645.13/647.21 c #Conflicts: 186000 | #Constraints: 205950
645.13/647.21 c INPROCESSING
645.13/647.21 c #Conflicts: 187000 | #Constraints: 182638
645.13/647.21 c #Conflicts: 188000 | #Constraints: 183638
645.13/647.21 c #Conflicts: 189000 | #Constraints: 184638
645.13/647.21 c #Conflicts: 190000 | #Constraints: 185638
645.13/647.21 c #Conflicts: 191000 | #Constraints: 186638
645.13/647.21 c #Conflicts: 192000 | #Constraints: 187638
645.13/647.21 c #Conflicts: 193000 | #Constraints: 188638
645.13/647.21 c #Conflicts: 194000 | #Constraints: 189638
645.13/647.21 c #Conflicts: 195000 | #Constraints: 190638
645.13/647.21 c #Conflicts: 196000 | #Constraints: 191638
645.13/647.21 c #Conflicts: 197000 | #Constraints: 192638
645.13/647.21 c #Conflicts: 198000 | #Constraints: 193638
645.13/647.21 c #Conflicts: 199000 | #Constraints: 194638
645.13/647.21 c #Conflicts: 200000 | #Constraints: 195638
645.13/647.21 c #Conflicts: 201000 | #Constraints: 196638
645.13/647.21 c #Conflicts: 202000 | #Constraints: 197638
645.13/647.21 c #Conflicts: 203000 | #Constraints: 198638
645.13/647.21 c #Conflicts: 204000 | #Constraints: 199638
645.13/647.21 c #Conflicts: 205000 | #Constraints: 200638
645.13/647.21 c #Conflicts: 206000 | #Constraints: 201638
645.13/647.21 c #Conflicts: 207000 | #Constraints: 202638
645.13/647.21 c #Conflicts: 208000 | #Constraints: 203638
645.13/647.21 c #Conflicts: 209000 | #Constraints: 204638
645.13/647.21 c #Conflicts: 210000 | #Constraints: 205638
645.13/647.21 c #Conflicts: 211000 | #Constraints: 206638
645.13/647.21 c #Conflicts: 212000 | #Constraints: 207638
645.13/647.21 c #Conflicts: 213000 | #Constraints: 208638
645.13/647.21 c #Conflicts: 214000 | #Constraints: 209638
645.13/647.21 c INPROCESSING
645.13/647.21 c GARBAGE COLLECT
645.13/647.21 c rational objective 25171.5
729.16/731.51 c #Conflicts: 215000 | #Constraints: 185139
729.16/731.51 c #Conflicts: 216000 | #Constraints: 186139
729.16/731.51 c #Conflicts: 217000 | #Constraints: 187139
729.16/731.51 c #Conflicts: 218000 | #Constraints: 188139
729.16/731.51 c #Conflicts: 219000 | #Constraints: 189139
729.16/731.51 c #Conflicts: 220000 | #Constraints: 190139
729.16/731.51 c #Conflicts: 221000 | #Constraints: 191139
729.16/731.51 c #Conflicts: 222000 | #Constraints: 192139
729.16/731.51 c #Conflicts: 223000 | #Constraints: 193139
729.16/731.51 c #Conflicts: 224000 | #Constraints: 194139
729.16/731.51 c #Conflicts: 225000 | #Constraints: 195139
729.16/731.51 c #Conflicts: 226000 | #Constraints: 196139
729.16/731.51 c #Conflicts: 227000 | #Constraints: 197139
729.16/731.51 c #Conflicts: 228000 | #Constraints: 198139
729.16/731.51 c #Conflicts: 229000 | #Constraints: 199139
729.16/731.51 c #Conflicts: 230000 | #Constraints: 200139
729.16/731.51 c #Conflicts: 231000 | #Constraints: 201139
729.16/731.51 c #Conflicts: 232000 | #Constraints: 202139
729.16/731.51 c #Conflicts: 233000 | #Constraints: 203139
729.16/731.51 c #Conflicts: 234000 | #Constraints: 204139
729.16/731.51 c #Conflicts: 235000 | #Constraints: 205139
729.16/731.51 c #Conflicts: 236000 | #Constraints: 206139
729.16/731.51 c #Conflicts: 237000 | #Constraints: 207139
729.16/731.51 c #Conflicts: 238000 | #Constraints: 208139
729.16/731.51 c #Conflicts: 239000 | #Constraints: 209139
729.16/731.51 c #Conflicts: 240000 | #Constraints: 210139
729.16/731.51 c #Conflicts: 241000 | #Constraints: 211139
729.16/731.51 c #Conflicts: 242000 | #Constraints: 212139
729.16/731.51 c #Conflicts: 243000 | #Constraints: 213139
729.16/731.51 c #Conflicts: 244000 | #Constraints: 214139
729.16/731.51 c INPROCESSING
729.16/731.51 c #Conflicts: 245000 | #Constraints: 188342
729.16/731.51 c #Conflicts: 246000 | #Constraints: 189342
729.16/731.51 c #Conflicts: 247000 | #Constraints: 190342
729.16/731.51 c #Conflicts: 248000 | #Constraints: 191342
729.16/731.51 c #Conflicts: 249000 | #Constraints: 192342
729.16/731.51 c #Conflicts: 250000 | #Constraints: 193342
729.16/731.51 c #Conflicts: 251000 | #Constraints: 194342
729.16/731.51 c #Conflicts: 252000 | #Constraints: 195342
729.16/731.51 c #Conflicts: 253000 | #Constraints: 196342
729.16/731.51 c #Conflicts: 254000 | #Constraints: 197342
729.16/731.51 c #Conflicts: 255000 | #Constraints: 198342
729.16/731.51 c #Conflicts: 256000 | #Constraints: 199342
729.16/731.51 c #Conflicts: 257000 | #Constraints: 200342
729.16/731.51 c #Conflicts: 258000 | #Constraints: 201342
729.16/731.51 c #Conflicts: 259000 | #Constraints: 202342
729.16/731.51 c #Conflicts: 260000 | #Constraints: 203342
729.16/731.51 c #Conflicts: 261000 | #Constraints: 204342
729.16/731.51 c #Conflicts: 262000 | #Constraints: 205342
729.16/731.51 c #Conflicts: 263000 | #Constraints: 206342
729.16/731.51 c #Conflicts: 264000 | #Constraints: 207342
729.16/731.51 c #Conflicts: 265000 | #Constraints: 208342
729.16/731.51 c #Conflicts: 266000 | #Constraints: 209342
729.16/731.51 c #Conflicts: 267000 | #Constraints: 210342
729.16/731.51 c #Conflicts: 268000 | #Constraints: 211342
729.16/731.51 c #Conflicts: 269000 | #Constraints: 212342
729.16/731.51 c #Conflicts: 270000 | #Constraints: 213342
729.16/731.51 c #Conflicts: 271000 | #Constraints: 214342
729.16/731.51 c #Conflicts: 272000 | #Constraints: 215342
729.16/731.51 c #Conflicts: 273000 | #Constraints: 216342
729.16/731.51 c #Conflicts: 274000 | #Constraints: 217342
729.16/731.51 c #Conflicts: 275000 | #Constraints: 218342
729.16/731.51 c #Conflicts: 276000 | #Constraints: 219342
729.16/731.51 c #Conflicts: 277000 | #Constraints: 220342
729.16/731.51 c INPROCESSING
729.16/731.51 c GARBAGE COLLECT
729.16/731.51 c #Conflicts: 278000 | #Constraints: 192870
729.16/731.51 c #Conflicts: 279000 | #Constraints: 193870
729.16/731.51 c #Conflicts: 280000 | #Constraints: 194870
729.16/731.51 c #Conflicts: 281000 | #Constraints: 195870
729.16/731.51 c #Conflicts: 282000 | #Constraints: 196870
729.16/731.51 c #Conflicts: 283000 | #Constraints: 197870
729.16/731.51 c #Conflicts: 284000 | #Constraints: 198870
729.16/731.51 c #Conflicts: 285000 | #Constraints: 199870
729.16/731.51 c #Conflicts: 286000 | #Constraints: 200870
729.16/731.51 c #Conflicts: 287000 | #Constraints: 201870
729.16/731.51 c #Conflicts: 288000 | #Constraints: 202870
729.16/731.51 c #Conflicts: 289000 | #Constraints: 203870
729.16/731.51 c #Conflicts: 290000 | #Constraints: 204870
729.16/731.51 c #Conflicts: 291000 | #Constraints: 205870
729.16/731.51 c #Conflicts: 292000 | #Constraints: 206870
801.24/803.89 c #Conflicts: 293000 | #Constraints: 207870
801.24/803.89 c #Conflicts: 294000 | #Constraints: 208870
801.24/803.89 c #Conflicts: 295000 | #Constraints: 209870
801.24/803.89 c #Conflicts: 296000 | #Constraints: 210870
801.24/803.89 c #Conflicts: 297000 | #Constraints: 211870
801.24/803.89 c #Conflicts: 298000 | #Constraints: 212870
801.24/803.89 c #Conflicts: 299000 | #Constraints: 213870
801.24/803.89 c #Conflicts: 300000 | #Constraints: 214870
801.24/803.89 c #Conflicts: 301000 | #Constraints: 215870
801.24/803.89 c #Conflicts: 302000 | #Constraints: 216870
801.24/803.89 c #Conflicts: 303000 | #Constraints: 217870
801.24/803.89 c #Conflicts: 304000 | #Constraints: 218870
801.24/803.89 c #Conflicts: 305000 | #Constraints: 219870
801.24/803.89 c #Conflicts: 306000 | #Constraints: 220870
801.24/803.89 c #Conflicts: 307000 | #Constraints: 221870
801.24/803.89 c #Conflicts: 308000 | #Constraints: 222870
801.24/803.89 c #Conflicts: 309000 | #Constraints: 223870
801.24/803.89 c #Conflicts: 310000 | #Constraints: 224870
801.24/803.89 c #Conflicts: 311000 | #Constraints: 225870
801.24/803.89 c INPROCESSING
801.24/803.89 c GARBAGE COLLECT
801.24/803.89 c #Conflicts: 312000 | #Constraints: 196584
801.24/803.89 c #Conflicts: 313000 | #Constraints: 197584
801.24/803.89 c #Conflicts: 314000 | #Constraints: 198584
801.24/803.89 c #Conflicts: 315000 | #Constraints: 199584
801.24/803.89 c #Conflicts: 316000 | #Constraints: 200584
801.24/803.89 c #Conflicts: 317000 | #Constraints: 201584
801.24/803.89 c #Conflicts: 318000 | #Constraints: 202584
801.24/803.89 c #Conflicts: 319000 | #Constraints: 203584
801.24/803.89 c #Conflicts: 320000 | #Constraints: 204584
801.24/803.89 c #Conflicts: 321000 | #Constraints: 205584
801.24/803.89 c #Conflicts: 322000 | #Constraints: 206584
801.24/803.89 c #Conflicts: 323000 | #Constraints: 207584
801.24/803.89 c #Conflicts: 324000 | #Constraints: 208584
801.24/803.89 c #Conflicts: 325000 | #Constraints: 209584
801.24/803.89 c #Conflicts: 326000 | #Constraints: 210584
801.24/803.89 c #Conflicts: 327000 | #Constraints: 211584
801.24/803.89 c #Conflicts: 328000 | #Constraints: 212584
801.24/803.89 c #Conflicts: 329000 | #Constraints: 213584
801.24/803.89 c #Conflicts: 330000 | #Constraints: 214584
801.24/803.89 c #Conflicts: 331000 | #Constraints: 215584
801.24/803.89 c #Conflicts: 332000 | #Constraints: 216584
801.24/803.89 c #Conflicts: 333000 | #Constraints: 217584
801.24/803.89 c #Conflicts: 334000 | #Constraints: 218584
801.24/803.89 c #Conflicts: 335000 | #Constraints: 219584
801.24/803.89 c #Conflicts: 336000 | #Constraints: 220584
801.24/803.89 c #Conflicts: 337000 | #Constraints: 221584
801.24/803.89 c #Conflicts: 338000 | #Constraints: 222584
801.24/803.89 c #Conflicts: 339000 | #Constraints: 223584
801.24/803.89 c #Conflicts: 340000 | #Constraints: 224584
801.24/803.89 c #Conflicts: 341000 | #Constraints: 225584
801.24/803.89 c #Conflicts: 342000 | #Constraints: 226584
801.24/803.89 c #Conflicts: 343000 | #Constraints: 227584
801.24/803.89 c #Conflicts: 344000 | #Constraints: 228584
801.24/803.89 c #Conflicts: 345000 | #Constraints: 229584
801.24/803.89 c #Conflicts: 346000 | #Constraints: 230584
801.24/803.89 c #Conflicts: 347000 | #Constraints: 231584
801.24/803.89 c #Conflicts: 348000 | #Constraints: 232584
801.24/803.89 c INPROCESSING
801.24/803.89 c GARBAGE COLLECT
801.24/803.89 c #Conflicts: 349000 | #Constraints: 201302
801.24/803.89 c #Conflicts: 350000 | #Constraints: 202302
801.24/803.89 c #Conflicts: 351000 | #Constraints: 203302
801.24/803.89 c #Conflicts: 352000 | #Constraints: 204302
801.24/803.89 c #Conflicts: 353000 | #Constraints: 205302
801.24/803.89 c #Conflicts: 354000 | #Constraints: 206302
801.24/803.89 c #Conflicts: 355000 | #Constraints: 207302
801.24/803.89 c #Conflicts: 356000 | #Constraints: 208302
801.24/803.89 c #Conflicts: 357000 | #Constraints: 209302
801.24/803.89 c #Conflicts: 358000 | #Constraints: 210302
801.24/803.89 c #Conflicts: 359000 | #Constraints: 211302
801.24/803.89 c #Conflicts: 360000 | #Constraints: 212302
801.24/803.89 c #Conflicts: 361000 | #Constraints: 213302
801.24/803.89 c #Conflicts: 362000 | #Constraints: 214302
801.24/803.89 c #Conflicts: 363000 | #Constraints: 215302
801.24/803.89 c #Conflicts: 364000 | #Constraints: 216302
801.24/803.89 c #Conflicts: 365000 | #Constraints: 217302
801.24/803.89 c #Conflicts: 366000 | #Constraints: 218302
801.24/803.89 c #Conflicts: 367000 | #Constraints: 219302
801.24/803.89 c #Conflicts: 368000 | #Constraints: 220302
801.24/803.89 c #Conflicts: 369000 | #Constraints: 221302
801.24/803.89 c #Conflicts: 370000 | #Constraints: 222302
927.91/930.86 c #Conflicts: 371000 | #Constraints: 223302
927.91/930.86 c #Conflicts: 372000 | #Constraints: 224302
927.91/930.86 c #Conflicts: 373000 | #Constraints: 225302
927.91/930.86 c #Conflicts: 374000 | #Constraints: 226302
927.91/930.86 c #Conflicts: 375000 | #Constraints: 227302
927.91/930.86 c #Conflicts: 376000 | #Constraints: 228302
927.91/930.86 c #Conflicts: 377000 | #Constraints: 229302
927.91/930.86 c #Conflicts: 378000 | #Constraints: 230302
927.91/930.86 c #Conflicts: 379000 | #Constraints: 231302
927.91/930.86 c #Conflicts: 380000 | #Constraints: 232302
927.91/930.86 c #Conflicts: 381000 | #Constraints: 233302
927.91/930.86 c #Conflicts: 382000 | #Constraints: 234302
927.91/930.86 c #Conflicts: 383000 | #Constraints: 235302
927.91/930.86 c #Conflicts: 384000 | #Constraints: 236302
927.91/930.86 c #Conflicts: 385000 | #Constraints: 237302
927.91/930.86 c #Conflicts: 386000 | #Constraints: 238302
927.91/930.86 c INPROCESSING
927.91/930.86 c GARBAGE COLLECT
927.91/930.86 c #Conflicts: 387000 | #Constraints: 205155
927.91/930.86 c #Conflicts: 388000 | #Constraints: 206155
927.91/930.86 c #Conflicts: 389000 | #Constraints: 207155
927.91/930.86 c #Conflicts: 390000 | #Constraints: 208155
927.91/930.86 c #Conflicts: 391000 | #Constraints: 209155
927.91/930.86 c #Conflicts: 392000 | #Constraints: 210155
927.91/930.86 c #Conflicts: 393000 | #Constraints: 211155
927.91/930.86 c #Conflicts: 394000 | #Constraints: 212155
927.91/930.86 c #Conflicts: 395000 | #Constraints: 213155
927.91/930.86 c #Conflicts: 396000 | #Constraints: 214155
927.91/930.86 c #Conflicts: 397000 | #Constraints: 215155
927.91/930.86 c #Conflicts: 398000 | #Constraints: 216155
927.91/930.86 c #Conflicts: 399000 | #Constraints: 217155
927.91/930.86 c #Conflicts: 400000 | #Constraints: 218155
927.91/930.86 c #Conflicts: 401000 | #Constraints: 219155
927.91/930.86 c #Conflicts: 402000 | #Constraints: 220155
927.91/930.86 c #Conflicts: 403000 | #Constraints: 221155
927.91/930.86 c #Conflicts: 404000 | #Constraints: 222155
927.91/930.86 c #Conflicts: 405000 | #Constraints: 223155
927.91/930.86 c #Conflicts: 406000 | #Constraints: 224155
927.91/930.86 c #Conflicts: 407000 | #Constraints: 225155
927.91/930.86 c #Conflicts: 408000 | #Constraints: 226155
927.91/930.86 c #Conflicts: 409000 | #Constraints: 227155
927.91/930.86 c #Conflicts: 410000 | #Constraints: 228155
927.91/930.86 c #Conflicts: 411000 | #Constraints: 229155
927.91/930.86 c #Conflicts: 412000 | #Constraints: 230155
927.91/930.86 c #Conflicts: 413000 | #Constraints: 231155
927.91/930.86 c #Conflicts: 414000 | #Constraints: 232155
927.91/930.86 c #Conflicts: 415000 | #Constraints: 233155
927.91/930.86 c #Conflicts: 416000 | #Constraints: 234155
927.91/930.86 c #Conflicts: 417000 | #Constraints: 235155
927.91/930.86 c #Conflicts: 418000 | #Constraints: 236155
927.91/930.86 c #Conflicts: 419000 | #Constraints: 237155
927.91/930.86 c #Conflicts: 420000 | #Constraints: 238155
927.91/930.86 c #Conflicts: 421000 | #Constraints: 239155
927.91/930.86 c #Conflicts: 422000 | #Constraints: 240155
927.91/930.86 c #Conflicts: 423000 | #Constraints: 241155
927.91/930.86 c #Conflicts: 424000 | #Constraints: 242155
927.91/930.86 c #Conflicts: 425000 | #Constraints: 243155
927.91/930.86 c #Conflicts: 426000 | #Constraints: 244155
927.91/930.86 c INPROCESSING
927.91/930.86 c GARBAGE COLLECT
927.91/930.86 c #Conflicts: 427000 | #Constraints: 209445
927.91/930.86 c #Conflicts: 428000 | #Constraints: 210445
927.91/930.86 c #Conflicts: 429000 | #Constraints: 211445
927.91/930.86 c #Conflicts: 430000 | #Constraints: 212445
927.91/930.86 c #Conflicts: 431000 | #Constraints: 213445
927.91/930.86 c #Conflicts: 432000 | #Constraints: 214445
927.91/930.86 c #Conflicts: 433000 | #Constraints: 215445
927.91/930.86 c #Conflicts: 434000 | #Constraints: 216445
927.91/930.86 c #Conflicts: 435000 | #Constraints: 217445
927.91/930.86 c #Conflicts: 436000 | #Constraints: 218445
927.91/930.86 c #Conflicts: 437000 | #Constraints: 219445
927.91/930.86 c #Conflicts: 438000 | #Constraints: 220445
927.91/930.86 c #Conflicts: 439000 | #Constraints: 221445
927.91/930.86 c #Conflicts: 440000 | #Constraints: 222445
927.91/930.86 c #Conflicts: 441000 | #Constraints: 223445
927.91/930.86 c #Conflicts: 442000 | #Constraints: 224445
927.91/930.86 c #Conflicts: 443000 | #Constraints: 225445
927.91/930.86 c #Conflicts: 444000 | #Constraints: 226445
927.91/930.86 c #Conflicts: 445000 | #Constraints: 227445
927.91/930.86 c #Conflicts: 446000 | #Constraints: 228445
927.91/930.86 c #Conflicts: 447000 | #Constraints: 229445
1009.00/1012.19 c #Conflicts: 448000 | #Constraints: 230445
1009.00/1012.19 c #Conflicts: 449000 | #Constraints: 231445
1009.00/1012.19 c #Conflicts: 450000 | #Constraints: 232445
1009.00/1012.19 c #Conflicts: 451000 | #Constraints: 233445
1009.00/1012.19 c #Conflicts: 452000 | #Constraints: 234445
1009.00/1012.19 c #Conflicts: 453000 | #Constraints: 235445
1009.00/1012.19 c #Conflicts: 454000 | #Constraints: 236445
1009.00/1012.19 c #Conflicts: 455000 | #Constraints: 237445
1009.00/1012.19 c #Conflicts: 456000 | #Constraints: 238445
1009.00/1012.19 c #Conflicts: 457000 | #Constraints: 239445
1009.00/1012.19 c #Conflicts: 458000 | #Constraints: 240445
1009.00/1012.19 c #Conflicts: 459000 | #Constraints: 241445
1009.00/1012.19 c #Conflicts: 460000 | #Constraints: 242445
1009.00/1012.19 c #Conflicts: 461000 | #Constraints: 243445
1009.00/1012.19 c #Conflicts: 462000 | #Constraints: 244445
1009.00/1012.19 c #Conflicts: 463000 | #Constraints: 245445
1009.00/1012.19 c #Conflicts: 464000 | #Constraints: 246445
1009.00/1012.19 c #Conflicts: 465000 | #Constraints: 247445
1009.00/1012.19 c #Conflicts: 466000 | #Constraints: 248445
1009.00/1012.19 c #Conflicts: 467000 | #Constraints: 249445
1009.00/1012.19 c #Conflicts: 468000 | #Constraints: 250445
1009.00/1012.19 c #Conflicts: 469000 | #Constraints: 251445
1009.00/1012.19 c INPROCESSING
1009.00/1012.19 c GARBAGE COLLECT
1009.00/1012.19 c #Conflicts: 470000 | #Constraints: 214745
1009.00/1012.19 c #Conflicts: 471000 | #Constraints: 215745
1009.00/1012.19 c #Conflicts: 472000 | #Constraints: 216745
1009.00/1012.19 c #Conflicts: 473000 | #Constraints: 217745
1009.00/1012.19 c #Conflicts: 474000 | #Constraints: 218745
1009.00/1012.19 c #Conflicts: 475000 | #Constraints: 219745
1009.00/1012.19 c #Conflicts: 476000 | #Constraints: 220745
1009.00/1012.19 c #Conflicts: 477000 | #Constraints: 221745
1009.00/1012.19 c #Conflicts: 478000 | #Constraints: 222745
1009.00/1012.19 c #Conflicts: 479000 | #Constraints: 223745
1009.00/1012.19 c #Conflicts: 480000 | #Constraints: 224745
1009.00/1012.19 c #Conflicts: 481000 | #Constraints: 225745
1009.00/1012.19 c #Conflicts: 482000 | #Constraints: 226745
1009.00/1012.19 c #Conflicts: 483000 | #Constraints: 227745
1009.00/1012.19 c #Conflicts: 484000 | #Constraints: 228745
1009.00/1012.19 c #Conflicts: 485000 | #Constraints: 229745
1009.00/1012.19 c #Conflicts: 486000 | #Constraints: 230745
1009.00/1012.19 c #Conflicts: 487000 | #Constraints: 231745
1009.00/1012.19 c #Conflicts: 488000 | #Constraints: 232745
1009.00/1012.19 c #Conflicts: 489000 | #Constraints: 233745
1009.00/1012.19 c #Conflicts: 490000 | #Constraints: 234745
1009.00/1012.19 c #Conflicts: 491000 | #Constraints: 235745
1009.00/1012.19 c #Conflicts: 492000 | #Constraints: 236745
1009.00/1012.19 c #Conflicts: 493000 | #Constraints: 237745
1009.00/1012.19 c #Conflicts: 494000 | #Constraints: 238745
1009.00/1012.19 c #Conflicts: 495000 | #Constraints: 239745
1009.00/1012.19 c #Conflicts: 496000 | #Constraints: 240745
1009.00/1012.19 c #Conflicts: 497000 | #Constraints: 241745
1009.00/1012.19 c #Conflicts: 498000 | #Constraints: 242745
1009.00/1012.19 c #Conflicts: 499000 | #Constraints: 243745
1009.00/1012.19 c #Conflicts: 500000 | #Constraints: 244745
1009.00/1012.19 c #Conflicts: 501000 | #Constraints: 245745
1009.00/1012.19 c #Conflicts: 502000 | #Constraints: 246745
1009.00/1012.19 c #Conflicts: 503000 | #Constraints: 247745
1009.00/1012.19 c #Conflicts: 504000 | #Constraints: 248745
1009.00/1012.19 c #Conflicts: 505000 | #Constraints: 249745
1009.00/1012.19 c #Conflicts: 506000 | #Constraints: 250745
1009.00/1012.19 c #Conflicts: 507000 | #Constraints: 251745
1009.00/1012.19 c #Conflicts: 508000 | #Constraints: 252745
1009.00/1012.19 c #Conflicts: 509000 | #Constraints: 253745
1009.00/1012.19 c #Conflicts: 510000 | #Constraints: 254745
1009.00/1012.19 c #Conflicts: 511000 | #Constraints: 255745
1009.00/1012.19 c #Conflicts: 512000 | #Constraints: 256745
1009.00/1012.19 c #Conflicts: 513000 | #Constraints: 257745
1009.00/1012.19 c INPROCESSING
1009.00/1012.19 c GARBAGE COLLECT
1009.00/1012.19 c #Conflicts: 514000 | #Constraints: 219516
1009.00/1012.19 c #Conflicts: 515000 | #Constraints: 220516
1009.00/1012.19 c #Conflicts: 516000 | #Constraints: 221516
1009.00/1012.19 c #Conflicts: 517000 | #Constraints: 222516
1009.00/1012.19 c #Conflicts: 518000 | #Constraints: 223516
1009.00/1012.19 c #Conflicts: 519000 | #Constraints: 224516
1009.00/1012.19 c #Conflicts: 520000 | #Constraints: 225516
1009.00/1012.19 c #Conflicts: 521000 | #Constraints: 226516
1009.00/1012.19 c #Conflicts: 522000 | #Constraints: 227516
1009.00/1012.19 c #Conflicts: 523000 | #Constraints: 228516
1009.00/1012.19 c #Conflicts: 524000 | #Constraints: 229516
1009.00/1012.19 c #Conflicts: 525000 | #Constraints: 230516
1079.40/1082.70 c #Conflicts: 526000 | #Constraints: 231516
1079.40/1082.70 c #Conflicts: 527000 | #Constraints: 232516
1079.40/1082.70 c #Conflicts: 528000 | #Constraints: 233516
1079.40/1082.70 c #Conflicts: 529000 | #Constraints: 234516
1079.40/1082.70 c #Conflicts: 530000 | #Constraints: 235516
1079.40/1082.70 c #Conflicts: 531000 | #Constraints: 236516
1079.40/1082.70 c #Conflicts: 532000 | #Constraints: 237516
1079.40/1082.70 c #Conflicts: 533000 | #Constraints: 238516
1079.40/1082.70 c #Conflicts: 534000 | #Constraints: 239516
1079.40/1082.70 c #Conflicts: 535000 | #Constraints: 240516
1079.40/1082.70 c #Conflicts: 536000 | #Constraints: 241516
1079.40/1082.70 c #Conflicts: 537000 | #Constraints: 242516
1079.40/1082.70 c #Conflicts: 538000 | #Constraints: 243516
1079.40/1082.70 c #Conflicts: 539000 | #Constraints: 244516
1079.40/1082.70 c #Conflicts: 540000 | #Constraints: 245516
1079.40/1082.70 c #Conflicts: 541000 | #Constraints: 246516
1079.40/1082.70 c #Conflicts: 542000 | #Constraints: 247516
1079.40/1082.70 c #Conflicts: 543000 | #Constraints: 248516
1079.40/1082.70 c #Conflicts: 544000 | #Constraints: 249516
1079.40/1082.70 c #Conflicts: 545000 | #Constraints: 250516
1079.40/1082.70 c #Conflicts: 546000 | #Constraints: 251516
1079.40/1082.70 c #Conflicts: 547000 | #Constraints: 252516
1079.40/1082.70 c #Conflicts: 548000 | #Constraints: 253516
1079.40/1082.70 c #Conflicts: 549000 | #Constraints: 254516
1079.40/1082.70 c #Conflicts: 550000 | #Constraints: 255516
1079.40/1082.70 c #Conflicts: 551000 | #Constraints: 256516
1079.40/1082.70 c #Conflicts: 552000 | #Constraints: 257516
1079.40/1082.70 c #Conflicts: 553000 | #Constraints: 258516
1079.40/1082.70 c #Conflicts: 554000 | #Constraints: 259516
1079.40/1082.70 c #Conflicts: 555000 | #Constraints: 260516
1079.40/1082.70 c #Conflicts: 556000 | #Constraints: 261516
1079.40/1082.70 c #Conflicts: 557000 | #Constraints: 262516
1079.40/1082.70 c #Conflicts: 558000 | #Constraints: 263516
1079.40/1082.70 c #Conflicts: 559000 | #Constraints: 264516
1079.40/1082.70 c #Conflicts: 560000 | #Constraints: 265516
1079.40/1082.70 c INPROCESSING
1079.40/1082.70 c GARBAGE COLLECT
1079.40/1082.70 c #Conflicts: 561000 | #Constraints: 225059
1079.40/1082.70 c #Conflicts: 562000 | #Constraints: 226059
1079.40/1082.70 c #Conflicts: 563000 | #Constraints: 227059
1079.40/1082.70 c #Conflicts: 564000 | #Constraints: 228059
1079.40/1082.70 c #Conflicts: 565000 | #Constraints: 229059
1079.40/1082.70 c #Conflicts: 566000 | #Constraints: 230059
1079.40/1082.70 c #Conflicts: 567000 | #Constraints: 231059
1079.40/1082.70 c #Conflicts: 568000 | #Constraints: 232059
1079.40/1082.70 c #Conflicts: 569000 | #Constraints: 233059
1079.40/1082.70 c #Conflicts: 570000 | #Constraints: 234059
1079.40/1082.70 c #Conflicts: 571000 | #Constraints: 235059
1079.40/1082.70 c #Conflicts: 572000 | #Constraints: 236059
1079.40/1082.70 c #Conflicts: 573000 | #Constraints: 237059
1079.40/1082.70 c #Conflicts: 574000 | #Constraints: 238059
1079.40/1082.70 c #Conflicts: 575000 | #Constraints: 239059
1079.40/1082.70 c #Conflicts: 576000 | #Constraints: 240059
1079.40/1082.70 c #Conflicts: 577000 | #Constraints: 241059
1079.40/1082.70 c #Conflicts: 578000 | #Constraints: 242059
1079.40/1082.70 c #Conflicts: 579000 | #Constraints: 243059
1079.40/1082.70 c #Conflicts: 580000 | #Constraints: 244059
1079.40/1082.70 c #Conflicts: 581000 | #Constraints: 245059
1079.40/1082.70 c #Conflicts: 582000 | #Constraints: 246059
1079.40/1082.70 c #Conflicts: 583000 | #Constraints: 247059
1079.40/1082.70 c #Conflicts: 584000 | #Constraints: 248059
1079.40/1082.70 c #Conflicts: 585000 | #Constraints: 249059
1079.40/1082.70 c #Conflicts: 586000 | #Constraints: 250059
1079.40/1082.70 c #Conflicts: 587000 | #Constraints: 251059
1079.40/1082.70 c #Conflicts: 588000 | #Constraints: 252059
1079.40/1082.70 c #Conflicts: 589000 | #Constraints: 253059
1079.40/1082.70 c #Conflicts: 590000 | #Constraints: 254059
1079.40/1082.70 c #Conflicts: 591000 | #Constraints: 255059
1079.40/1082.70 c #Conflicts: 592000 | #Constraints: 256059
1079.40/1082.70 c #Conflicts: 593000 | #Constraints: 257059
1079.40/1082.70 c #Conflicts: 594000 | #Constraints: 258059
1079.40/1082.70 c #Conflicts: 595000 | #Constraints: 259059
1079.40/1082.70 c #Conflicts: 596000 | #Constraints: 260059
1079.40/1082.70 c #Conflicts: 597000 | #Constraints: 261059
1079.40/1082.70 c #Conflicts: 598000 | #Constraints: 262059
1079.40/1082.70 c #Conflicts: 599000 | #Constraints: 263059
1079.40/1082.70 c #Conflicts: 600000 | #Constraints: 264059
1079.40/1082.70 c #Conflicts: 601000 | #Constraints: 265059
1079.40/1082.70 c #Conflicts: 602000 | #Constraints: 266059
1079.40/1082.70 c #Conflicts: 603000 | #Constraints: 267059
1149.62/1153.16 c #Conflicts: 604000 | #Constraints: 268059
1149.62/1153.16 c #Conflicts: 605000 | #Constraints: 269059
1149.62/1153.16 c #Conflicts: 606000 | #Constraints: 270059
1149.62/1153.16 c #Conflicts: 607000 | #Constraints: 271059
1149.62/1153.16 c #Conflicts: 608000 | #Constraints: 272059
1149.62/1153.16 c INPROCESSING
1149.62/1153.16 c GARBAGE COLLECT
1149.62/1153.16 c #Conflicts: 609000 | #Constraints: 230069
1149.62/1153.16 c #Conflicts: 610000 | #Constraints: 231069
1149.62/1153.16 c #Conflicts: 611000 | #Constraints: 232069
1149.62/1153.16 c #Conflicts: 612000 | #Constraints: 233069
1149.62/1153.16 c #Conflicts: 613000 | #Constraints: 234069
1149.62/1153.16 c #Conflicts: 614000 | #Constraints: 235069
1149.62/1153.16 c #Conflicts: 615000 | #Constraints: 236069
1149.62/1153.16 c #Conflicts: 616000 | #Constraints: 237069
1149.62/1153.16 c #Conflicts: 617000 | #Constraints: 238069
1149.62/1153.16 c #Conflicts: 618000 | #Constraints: 239069
1149.62/1153.16 c #Conflicts: 619000 | #Constraints: 240069
1149.62/1153.16 c #Conflicts: 620000 | #Constraints: 241069
1149.62/1153.16 c #Conflicts: 621000 | #Constraints: 242069
1149.62/1153.16 c #Conflicts: 622000 | #Constraints: 243069
1149.62/1153.16 c #Conflicts: 623000 | #Constraints: 244069
1149.62/1153.16 c #Conflicts: 624000 | #Constraints: 245069
1149.62/1153.16 c #Conflicts: 625000 | #Constraints: 246069
1149.62/1153.16 c #Conflicts: 626000 | #Constraints: 247069
1149.62/1153.16 c #Conflicts: 627000 | #Constraints: 248069
1149.62/1153.16 c #Conflicts: 628000 | #Constraints: 249069
1149.62/1153.16 c #Conflicts: 629000 | #Constraints: 250069
1149.62/1153.16 c #Conflicts: 630000 | #Constraints: 251069
1149.62/1153.16 c #Conflicts: 631000 | #Constraints: 252069
1149.62/1153.16 c #Conflicts: 632000 | #Constraints: 253069
1149.62/1153.16 c #Conflicts: 633000 | #Constraints: 254069
1149.62/1153.16 c #Conflicts: 634000 | #Constraints: 255069
1149.62/1153.16 c #Conflicts: 635000 | #Constraints: 256069
1149.62/1153.16 c #Conflicts: 636000 | #Constraints: 257069
1149.62/1153.16 c #Conflicts: 637000 | #Constraints: 258069
1149.62/1153.16 c #Conflicts: 638000 | #Constraints: 259069
1149.62/1153.16 c #Conflicts: 639000 | #Constraints: 260069
1149.62/1153.16 c #Conflicts: 640000 | #Constraints: 261069
1149.62/1153.16 c #Conflicts: 641000 | #Constraints: 262069
1149.62/1153.16 c #Conflicts: 642000 | #Constraints: 263069
1149.62/1153.16 c #Conflicts: 643000 | #Constraints: 264069
1149.62/1153.16 c #Conflicts: 644000 | #Constraints: 265069
1149.62/1153.16 c #Conflicts: 645000 | #Constraints: 266069
1149.62/1153.16 c #Conflicts: 646000 | #Constraints: 267069
1149.62/1153.16 c #Conflicts: 647000 | #Constraints: 268069
1149.62/1153.16 c #Conflicts: 648000 | #Constraints: 269069
1149.62/1153.16 c #Conflicts: 649000 | #Constraints: 270069
1149.62/1153.16 c #Conflicts: 650000 | #Constraints: 271069
1149.62/1153.16 c #Conflicts: 651000 | #Constraints: 272069
1149.62/1153.16 c #Conflicts: 652000 | #Constraints: 273069
1149.62/1153.16 c #Conflicts: 653000 | #Constraints: 274069
1149.62/1153.16 c #Conflicts: 654000 | #Constraints: 275069
1149.62/1153.16 c #Conflicts: 655000 | #Constraints: 276069
1149.62/1153.16 c #Conflicts: 656000 | #Constraints: 277069
1149.62/1153.16 c #Conflicts: 657000 | #Constraints: 278069
1149.62/1153.16 c #Conflicts: 658000 | #Constraints: 279069
1149.62/1153.16 c INPROCESSING
1149.62/1153.16 c GARBAGE COLLECT
1149.62/1153.16 c #Conflicts: 659000 | #Constraints: 234679
1149.62/1153.16 c #Conflicts: 660000 | #Constraints: 235679
1149.62/1153.16 c #Conflicts: 661000 | #Constraints: 236679
1149.62/1153.16 c #Conflicts: 662000 | #Constraints: 237679
1149.62/1153.16 c #Conflicts: 663000 | #Constraints: 238679
1149.62/1153.16 c #Conflicts: 664000 | #Constraints: 239679
1149.62/1153.16 c #Conflicts: 665000 | #Constraints: 240679
1149.62/1153.16 c #Conflicts: 666000 | #Constraints: 241679
1149.62/1153.16 c #Conflicts: 667000 | #Constraints: 242679
1149.62/1153.16 c #Conflicts: 668000 | #Constraints: 243679
1149.62/1153.16 c #Conflicts: 669000 | #Constraints: 244679
1149.62/1153.16 c #Conflicts: 670000 | #Constraints: 245679
1149.62/1153.16 c #Conflicts: 671000 | #Constraints: 246679
1149.62/1153.16 c #Conflicts: 672000 | #Constraints: 247679
1149.62/1153.16 c #Conflicts: 673000 | #Constraints: 248679
1149.62/1153.16 c #Conflicts: 674000 | #Constraints: 249679
1149.62/1153.16 c #Conflicts: 675000 | #Constraints: 250679
1149.62/1153.16 c #Conflicts: 676000 | #Constraints: 251679
1149.62/1153.16 c #Conflicts: 677000 | #Constraints: 252679
1149.62/1153.16 c #Conflicts: 678000 | #Constraints: 253679
1149.62/1153.16 c #Conflicts: 679000 | #Constraints: 254679
1149.62/1153.16 c #Conflicts: 680000 | #Constraints: 255679
1407.02/1411.11 c #Conflicts: 681000 | #Constraints: 256679
1407.02/1411.11 c #Conflicts: 682000 | #Constraints: 257679
1407.02/1411.11 c #Conflicts: 683000 | #Constraints: 258679
1407.02/1411.11 c #Conflicts: 684000 | #Constraints: 259679
1407.02/1411.11 c #Conflicts: 685000 | #Constraints: 260679
1407.02/1411.11 c #Conflicts: 686000 | #Constraints: 261679
1407.02/1411.11 c #Conflicts: 687000 | #Constraints: 262679
1407.02/1411.11 c #Conflicts: 688000 | #Constraints: 263679
1407.02/1411.11 c #Conflicts: 689000 | #Constraints: 264679
1407.02/1411.11 c #Conflicts: 690000 | #Constraints: 265679
1407.02/1411.11 c #Conflicts: 691000 | #Constraints: 266679
1407.02/1411.11 c #Conflicts: 692000 | #Constraints: 267679
1407.02/1411.11 c #Conflicts: 693000 | #Constraints: 268679
1407.02/1411.11 c #Conflicts: 694000 | #Constraints: 269679
1407.02/1411.11 c #Conflicts: 695000 | #Constraints: 270679
1407.02/1411.11 c #Conflicts: 696000 | #Constraints: 271679
1407.02/1411.11 c #Conflicts: 697000 | #Constraints: 272679
1407.02/1411.11 c #Conflicts: 698000 | #Constraints: 273679
1407.02/1411.11 c #Conflicts: 699000 | #Constraints: 274679
1407.02/1411.11 c #Conflicts: 700000 | #Constraints: 275679
1407.02/1411.11 c #Conflicts: 701000 | #Constraints: 276679
1407.02/1411.11 c #Conflicts: 702000 | #Constraints: 277679
1407.02/1411.11 c #Conflicts: 703000 | #Constraints: 278679
1407.02/1411.11 c #Conflicts: 704000 | #Constraints: 279679
1407.02/1411.11 c #Conflicts: 705000 | #Constraints: 280679
1407.02/1411.11 c #Conflicts: 706000 | #Constraints: 281679
1407.02/1411.11 c #Conflicts: 707000 | #Constraints: 282679
1407.02/1411.11 c #Conflicts: 708000 | #Constraints: 283679
1407.02/1411.11 c #Conflicts: 709000 | #Constraints: 284679
1407.02/1411.11 c #Conflicts: 710000 | #Constraints: 285679
1407.02/1411.11 c #Conflicts: 711000 | #Constraints: 286679
1407.02/1411.11 c INPROCESSING
1407.02/1411.11 c GARBAGE COLLECT
1407.02/1411.11 c #Conflicts: 712000 | #Constraints: 240581
1407.02/1411.11 c #Conflicts: 713000 | #Constraints: 241581
1407.02/1411.11 c #Conflicts: 714000 | #Constraints: 242581
1407.02/1411.11 c #Conflicts: 715000 | #Constraints: 243581
1407.02/1411.11 c #Conflicts: 716000 | #Constraints: 244581
1407.02/1411.11 c #Conflicts: 717000 | #Constraints: 245581
1407.02/1411.11 c #Conflicts: 718000 | #Constraints: 246581
1407.02/1411.11 c #Conflicts: 719000 | #Constraints: 247581
1407.02/1411.11 c #Conflicts: 720000 | #Constraints: 248581
1407.02/1411.11 c #Conflicts: 721000 | #Constraints: 249581
1407.02/1411.11 c #Conflicts: 722000 | #Constraints: 250581
1407.02/1411.11 c #Conflicts: 723000 | #Constraints: 251581
1407.02/1411.11 c #Conflicts: 724000 | #Constraints: 252581
1407.02/1411.11 c #Conflicts: 725000 | #Constraints: 253581
1407.02/1411.11 c #Conflicts: 726000 | #Constraints: 254581
1407.02/1411.11 c #Conflicts: 727000 | #Constraints: 255581
1407.02/1411.11 c #Conflicts: 728000 | #Constraints: 256581
1407.02/1411.11 c #Conflicts: 729000 | #Constraints: 257581
1407.02/1411.11 c #Conflicts: 730000 | #Constraints: 258581
1407.02/1411.11 c #Conflicts: 731000 | #Constraints: 259581
1407.02/1411.11 c #Conflicts: 732000 | #Constraints: 260581
1407.02/1411.11 c #Conflicts: 733000 | #Constraints: 261581
1407.02/1411.11 c #Conflicts: 734000 | #Constraints: 262581
1407.02/1411.11 c #Conflicts: 735000 | #Constraints: 263581
1407.02/1411.11 c #Conflicts: 736000 | #Constraints: 264581
1407.02/1411.11 c #Conflicts: 737000 | #Constraints: 265581
1407.02/1411.11 c #Conflicts: 738000 | #Constraints: 266581
1407.02/1411.11 c #Conflicts: 739000 | #Constraints: 267581
1407.02/1411.11 c #Conflicts: 740000 | #Constraints: 268581
1407.02/1411.11 c #Conflicts: 741000 | #Constraints: 269581
1407.02/1411.11 c #Conflicts: 742000 | #Constraints: 270581
1407.02/1411.11 c #Conflicts: 743000 | #Constraints: 271581
1407.02/1411.11 c #Conflicts: 744000 | #Constraints: 272581
1407.02/1411.11 c #Conflicts: 745000 | #Constraints: 273581
1407.02/1411.11 c #Conflicts: 746000 | #Constraints: 274581
1407.02/1411.11 c #Conflicts: 747000 | #Constraints: 275581
1407.02/1411.11 c #Conflicts: 748000 | #Constraints: 276581
1407.02/1411.11 c #Conflicts: 749000 | #Constraints: 277581
1407.02/1411.11 c #Conflicts: 750000 | #Constraints: 278581
1407.02/1411.11 c #Conflicts: 751000 | #Constraints: 279581
1407.02/1411.11 c #Conflicts: 752000 | #Constraints: 280581
1407.02/1411.11 c #Conflicts: 753000 | #Constraints: 281581
1407.02/1411.11 c #Conflicts: 754000 | #Constraints: 282581
1407.02/1411.11 c #Conflicts: 755000 | #Constraints: 283581
1407.02/1411.11 c #Conflicts: 756000 | #Constraints: 284581
1407.02/1411.11 c #Conflicts: 757000 | #Constraints: 285581
1407.02/1411.11 c #Conflicts: 758000 | #Constraints: 286581
1407.02/1411.11 c #Conflicts: 759000 | #Constraints: 287581
1676.15/1680.98 c #Conflicts: 760000 | #Constraints: 288581
1676.15/1680.98 c #Conflicts: 761000 | #Constraints: 289581
1676.15/1680.98 c #Conflicts: 762000 | #Constraints: 290581
1676.15/1680.98 c #Conflicts: 763000 | #Constraints: 291581
1676.15/1680.98 c #Conflicts: 764000 | #Constraints: 292581
1676.15/1680.98 c #Conflicts: 765000 | #Constraints: 293581
1676.15/1680.98 c INPROCESSING
1676.15/1680.98 c GARBAGE COLLECT
1676.15/1680.98 c #Conflicts: 766000 | #Constraints: 245176
1676.15/1680.98 c #Conflicts: 767000 | #Constraints: 246176
1676.15/1680.98 c #Conflicts: 768000 | #Constraints: 247176
1676.15/1680.98 c #Conflicts: 769000 | #Constraints: 248176
1676.15/1680.98 c #Conflicts: 770000 | #Constraints: 249176
1676.15/1680.98 c #Conflicts: 771000 | #Constraints: 250176
1676.15/1680.98 c #Conflicts: 772000 | #Constraints: 251176
1676.15/1680.98 c #Conflicts: 773000 | #Constraints: 252176
1676.15/1680.98 c #Conflicts: 774000 | #Constraints: 253176
1676.15/1680.98 c #Conflicts: 775000 | #Constraints: 254176
1676.15/1680.98 c #Conflicts: 776000 | #Constraints: 255176
1676.15/1680.98 c #Conflicts: 777000 | #Constraints: 256176
1676.15/1680.98 c #Conflicts: 778000 | #Constraints: 257176
1676.15/1680.98 c #Conflicts: 779000 | #Constraints: 258176
1676.15/1680.98 c #Conflicts: 780000 | #Constraints: 259176
1676.15/1680.98 c #Conflicts: 781000 | #Constraints: 260176
1676.15/1680.98 c #Conflicts: 782000 | #Constraints: 261176
1676.15/1680.98 c #Conflicts: 783000 | #Constraints: 262176
1676.15/1680.98 c #Conflicts: 784000 | #Constraints: 263176
1676.15/1680.98 c #Conflicts: 785000 | #Constraints: 264176
1676.15/1680.98 c #Conflicts: 786000 | #Constraints: 265176
1676.15/1680.98 c #Conflicts: 787000 | #Constraints: 266176
1676.15/1680.98 c #Conflicts: 788000 | #Constraints: 267176
1676.15/1680.98 c #Conflicts: 789000 | #Constraints: 268176
1676.15/1680.98 c #Conflicts: 790000 | #Constraints: 269176
1676.15/1680.98 c #Conflicts: 791000 | #Constraints: 270176
1676.15/1680.98 c #Conflicts: 792000 | #Constraints: 271176
1676.15/1680.98 c #Conflicts: 793000 | #Constraints: 272176
1676.15/1680.98 c #Conflicts: 794000 | #Constraints: 273176
1676.15/1680.98 c #Conflicts: 795000 | #Constraints: 274176
1676.15/1680.98 c #Conflicts: 796000 | #Constraints: 275176
1676.15/1680.98 c #Conflicts: 797000 | #Constraints: 276176
1676.15/1680.98 c #Conflicts: 798000 | #Constraints: 277176
1676.15/1680.98 c #Conflicts: 799000 | #Constraints: 278176
1676.15/1680.98 c #Conflicts: 800000 | #Constraints: 279176
1676.15/1680.98 c #Conflicts: 801000 | #Constraints: 280176
1676.15/1680.98 c #Conflicts: 802000 | #Constraints: 281176
1676.15/1680.98 c #Conflicts: 803000 | #Constraints: 282176
1676.15/1680.98 c #Conflicts: 804000 | #Constraints: 283176
1676.15/1680.98 c #Conflicts: 805000 | #Constraints: 284176
1676.15/1680.98 c #Conflicts: 806000 | #Constraints: 285176
1676.15/1680.98 c #Conflicts: 807000 | #Constraints: 286176
1676.15/1680.98 c #Conflicts: 808000 | #Constraints: 287176
1676.15/1680.98 c #Conflicts: 809000 | #Constraints: 288176
1676.15/1680.98 c #Conflicts: 810000 | #Constraints: 289176
1676.15/1680.98 c #Conflicts: 811000 | #Constraints: 290176
1676.15/1680.98 c #Conflicts: 812000 | #Constraints: 291176
1676.15/1680.98 c #Conflicts: 813000 | #Constraints: 292176
1676.15/1680.98 c #Conflicts: 814000 | #Constraints: 293176
1676.15/1680.98 c #Conflicts: 815000 | #Constraints: 294176
1676.15/1680.98 c #Conflicts: 816000 | #Constraints: 295176
1676.15/1680.98 c #Conflicts: 817000 | #Constraints: 296176
1676.15/1680.98 c #Conflicts: 818000 | #Constraints: 297176
1676.15/1680.98 c #Conflicts: 819000 | #Constraints: 298176
1676.15/1680.98 c #Conflicts: 820000 | #Constraints: 299176
1676.15/1680.98 c #Conflicts: 821000 | #Constraints: 300176
1676.15/1680.98 c #Conflicts: 822000 | #Constraints: 301176
1676.15/1680.98 c INPROCESSING
1676.15/1680.98 c GARBAGE COLLECT
1676.15/1680.98 c rational objective 25266.6
1743.58/1748.51 c #Conflicts: 823000 | #Constraints: 251586
1743.58/1748.51 c #Conflicts: 824000 | #Constraints: 252586
1743.58/1748.51 c #Conflicts: 825000 | #Constraints: 253586
1743.58/1748.51 c #Conflicts: 826000 | #Constraints: 254586
1743.58/1748.51 c #Conflicts: 827000 | #Constraints: 255586
1743.58/1748.51 c #Conflicts: 828000 | #Constraints: 256586
1743.58/1748.51 c #Conflicts: 829000 | #Constraints: 257586
1743.58/1748.51 c #Conflicts: 830000 | #Constraints: 258586
1743.58/1748.51 c #Conflicts: 831000 | #Constraints: 259586
1743.58/1748.51 c #Conflicts: 832000 | #Constraints: 260586
1743.58/1748.51 c #Conflicts: 833000 | #Constraints: 261586
1743.58/1748.51 c #Conflicts: 834000 | #Constraints: 262586
1743.58/1748.51 c #Conflicts: 835000 | #Constraints: 263586
1743.58/1748.51 c #Conflicts: 836000 | #Constraints: 264586
1743.58/1748.51 c #Conflicts: 837000 | #Constraints: 265586
1743.58/1748.51 c #Conflicts: 838000 | #Constraints: 266586
1743.58/1748.51 c #Conflicts: 839000 | #Constraints: 267586
1743.58/1748.51 c #Conflicts: 840000 | #Constraints: 268586
1743.58/1748.51 c #Conflicts: 841000 | #Constraints: 269586
1743.58/1748.51 c #Conflicts: 842000 | #Constraints: 270586
1743.58/1748.51 c #Conflicts: 843000 | #Constraints: 271586
1743.58/1748.51 c #Conflicts: 844000 | #Constraints: 272586
1743.58/1748.51 c #Conflicts: 845000 | #Constraints: 273586
1743.58/1748.51 c #Conflicts: 846000 | #Constraints: 274586
1743.58/1748.51 c #Conflicts: 847000 | #Constraints: 275586
1743.58/1748.51 c #Conflicts: 848000 | #Constraints: 276586
1743.58/1748.51 c #Conflicts: 849000 | #Constraints: 277586
1743.58/1748.51 c #Conflicts: 850000 | #Constraints: 278586
1743.58/1748.51 c #Conflicts: 851000 | #Constraints: 279586
1743.58/1748.51 c #Conflicts: 852000 | #Constraints: 280586
1743.58/1748.51 c #Conflicts: 853000 | #Constraints: 281586
1743.58/1748.51 c #Conflicts: 854000 | #Constraints: 282586
1743.58/1748.51 c #Conflicts: 855000 | #Constraints: 283586
1743.58/1748.51 c #Conflicts: 856000 | #Constraints: 284586
1743.58/1748.51 c #Conflicts: 857000 | #Constraints: 285586
1743.58/1748.51 c #Conflicts: 858000 | #Constraints: 286586
1743.58/1748.51 c #Conflicts: 859000 | #Constraints: 287586
1743.58/1748.51 c #Conflicts: 860000 | #Constraints: 288586
1743.58/1748.51 c #Conflicts: 861000 | #Constraints: 289586
1743.58/1748.51 c #Conflicts: 862000 | #Constraints: 290586
1743.58/1748.51 c #Conflicts: 863000 | #Constraints: 291586
1743.58/1748.51 c #Conflicts: 864000 | #Constraints: 292586
1743.58/1748.51 c #Conflicts: 865000 | #Constraints: 293586
1743.58/1748.51 c #Conflicts: 866000 | #Constraints: 294586
1743.58/1748.51 c #Conflicts: 867000 | #Constraints: 295586
1743.58/1748.51 c #Conflicts: 868000 | #Constraints: 296586
1743.58/1748.51 c #Conflicts: 869000 | #Constraints: 297586
1743.58/1748.51 c #Conflicts: 870000 | #Constraints: 298586
1743.58/1748.51 c #Conflicts: 871000 | #Constraints: 299586
1743.58/1748.51 c #Conflicts: 872000 | #Constraints: 300586
1743.58/1748.51 c #Conflicts: 873000 | #Constraints: 301586
1743.58/1748.51 c #Conflicts: 874000 | #Constraints: 302586
1743.58/1748.51 c #Conflicts: 875000 | #Constraints: 303586
1743.58/1748.51 c #Conflicts: 876000 | #Constraints: 304586
1743.58/1748.51 c #Conflicts: 877000 | #Constraints: 305586
1743.58/1748.51 c #Conflicts: 878000 | #Constraints: 306586
1743.58/1748.51 c #Conflicts: 879000 | #Constraints: 307586
1743.58/1748.51 c #Conflicts: 880000 | #Constraints: 308586
1743.58/1748.51 c INPROCESSING
1743.58/1748.51 c GARBAGE COLLECT
1743.58/1748.51 c #Conflicts: 881000 | #Constraints: 256484
1743.58/1748.51 c #Conflicts: 882000 | #Constraints: 257484
1743.58/1748.51 c #Conflicts: 883000 | #Constraints: 258484
1743.58/1748.51 c #Conflicts: 884000 | #Constraints: 259484
1743.58/1748.51 c #Conflicts: 885000 | #Constraints: 260484
1743.58/1748.51 c #Conflicts: 886000 | #Constraints: 261484
1743.58/1748.51 c #Conflicts: 887000 | #Constraints: 262484
1743.58/1748.51 c #Conflicts: 888000 | #Constraints: 263484
1743.58/1748.51 c #Conflicts: 889000 | #Constraints: 264484
1743.58/1748.51 c #Conflicts: 890000 | #Constraints: 265484
1743.58/1748.51 c #Conflicts: 891000 | #Constraints: 266484
1743.58/1748.51 c #Conflicts: 892000 | #Constraints: 267484
1743.58/1748.51 c #Conflicts: 893000 | #Constraints: 268484
1743.58/1748.51 c #Conflicts: 894000 | #Constraints: 269484
1743.58/1748.51 c #Conflicts: 895000 | #Constraints: 270484
1743.58/1748.51 c #Conflicts: 896000 | #Constraints: 271484
1743.58/1748.51 c #Conflicts: 897000 | #Constraints: 272484
1743.58/1748.51 c #Conflicts: 898000 | #Constraints: 273484
1743.58/1748.51 c #Conflicts: 899000 | #Constraints: 274484
1743.58/1748.51 c #Conflicts: 900000 | #Constraints: 275484
1743.58/1748.51 c #Conflicts: 901000 | #Constraints: 276484
1810.00/1815.13 c #Conflicts: 902000 | #Constraints: 277484
1810.00/1815.13 c #Conflicts: 903000 | #Constraints: 278484
1810.00/1815.13 c #Conflicts: 904000 | #Constraints: 279484
1810.00/1815.13 c #Conflicts: 905000 | #Constraints: 280484
1810.00/1815.13 c #Conflicts: 906000 | #Constraints: 281484
1810.00/1815.13 c #Conflicts: 907000 | #Constraints: 282484
1810.00/1815.13 c #Conflicts: 908000 | #Constraints: 283484
1810.00/1815.13 c #Conflicts: 909000 | #Constraints: 284484
1810.00/1815.13 c #Conflicts: 910000 | #Constraints: 285484
1810.00/1815.13 c #Conflicts: 911000 | #Constraints: 286484
1810.00/1815.13 c #Conflicts: 912000 | #Constraints: 287484
1810.00/1815.13 c #Conflicts: 913000 | #Constraints: 288484
1810.00/1815.13 c #Conflicts: 914000 | #Constraints: 289484
1810.00/1815.13 c #Conflicts: 915000 | #Constraints: 290484
1810.00/1815.13 c #Conflicts: 916000 | #Constraints: 291484
1810.00/1815.13 c #Conflicts: 917000 | #Constraints: 292484
1810.00/1815.13 c #Conflicts: 918000 | #Constraints: 293484
1810.00/1815.13 c #Conflicts: 919000 | #Constraints: 294484
1810.00/1815.13 c #Conflicts: 920000 | #Constraints: 295484
1810.00/1815.13 c #Conflicts: 921000 | #Constraints: 296484
1810.00/1815.13 c #Conflicts: 922000 | #Constraints: 297484
1810.00/1815.13 c #Conflicts: 923000 | #Constraints: 298484
1810.00/1815.13 c #Conflicts: 924000 | #Constraints: 299484
1810.00/1815.13 c #Conflicts: 925000 | #Constraints: 300484
1810.00/1815.13 c #Conflicts: 926000 | #Constraints: 301484
1810.00/1815.13 c #Conflicts: 927000 | #Constraints: 302484
1810.00/1815.13 c #Conflicts: 928000 | #Constraints: 303484
1810.00/1815.13 c #Conflicts: 929000 | #Constraints: 304484
1810.00/1815.13 c #Conflicts: 930000 | #Constraints: 305484
1810.00/1815.13 c #Conflicts: 931000 | #Constraints: 306484
1810.00/1815.13 c #Conflicts: 932000 | #Constraints: 307484
1810.00/1815.13 c #Conflicts: 933000 | #Constraints: 308484
1810.00/1815.13 c #Conflicts: 934000 | #Constraints: 309484
1810.00/1815.13 c #Conflicts: 935000 | #Constraints: 310484
1810.00/1815.13 c #Conflicts: 936000 | #Constraints: 311484
1810.00/1815.13 c #Conflicts: 937000 | #Constraints: 312484
1810.00/1815.13 c #Conflicts: 938000 | #Constraints: 313484
1810.00/1815.13 c #Conflicts: 939000 | #Constraints: 314484
1810.00/1815.13 c #Conflicts: 940000 | #Constraints: 315484
1810.00/1815.13 c INPROCESSING
1810.00/1815.13 c GARBAGE COLLECT
1810.00/1815.13 c #Conflicts: 941000 | #Constraints: 260913
1810.00/1815.13 c #Conflicts: 942000 | #Constraints: 261913
1810.00/1815.13 c #Conflicts: 943000 | #Constraints: 262913
1810.00/1815.13 c #Conflicts: 944000 | #Constraints: 263913
1810.00/1815.13 c #Conflicts: 945000 | #Constraints: 264913
1810.00/1815.13 c #Conflicts: 946000 | #Constraints: 265913
1810.00/1815.13 c #Conflicts: 947000 | #Constraints: 266913
1810.00/1815.13 c #Conflicts: 948000 | #Constraints: 267913
1810.00/1815.13 c #Conflicts: 949000 | #Constraints: 268913
1810.00/1815.13 c #Conflicts: 950000 | #Constraints: 269913
1810.00/1815.13 c #Conflicts: 951000 | #Constraints: 270913
1810.00/1815.13 c #Conflicts: 952000 | #Constraints: 271913
1810.00/1815.13 c #Conflicts: 953000 | #Constraints: 272913
1810.00/1815.13 c #Conflicts: 954000 | #Constraints: 273913
1810.00/1815.13 c #Conflicts: 955000 | #Constraints: 274913
1810.00/1815.13 c #Conflicts: 956000 | #Constraints: 275913
1810.00/1815.13 c #Conflicts: 957000 | #Constraints: 276913
1810.00/1815.13 c #Conflicts: 958000 | #Constraints: 277913
1810.00/1815.13 c #Conflicts: 959000 | #Constraints: 278913
1810.00/1815.13 c #Conflicts: 960000 | #Constraints: 279913
1810.00/1815.13 c #Conflicts: 961000 | #Constraints: 280913
1810.00/1815.13 c #Conflicts: 962000 | #Constraints: 281913
1810.00/1815.13 c #Conflicts: 963000 | #Constraints: 282913
1810.00/1815.13 c #Conflicts: 964000 | #Constraints: 283913
1810.00/1815.13 c #Conflicts: 965000 | #Constraints: 284913
1810.00/1815.13 c #Conflicts: 966000 | #Constraints: 285913
1810.00/1815.13 c #Conflicts: 967000 | #Constraints: 286913
1810.00/1815.13 c #Conflicts: 968000 | #Constraints: 287913
1810.00/1815.13 c #Conflicts: 969000 | #Constraints: 288913
1810.00/1815.13 c #Conflicts: 970000 | #Constraints: 289913
1810.00/1815.13 c #Conflicts: 971000 | #Constraints: 290913
1810.00/1815.13 c #Conflicts: 972000 | #Constraints: 291913
1810.00/1815.13 c #Conflicts: 973000 | #Constraints: 292913
1810.00/1815.13 c #Conflicts: 974000 | #Constraints: 293913
1810.00/1815.13 c #Conflicts: 975000 | #Constraints: 294913
1810.00/1815.13 c #Conflicts: 976000 | #Constraints: 295913
1810.00/1815.13 c #Conflicts: 977000 | #Constraints: 296913
1810.00/1815.13 c #Conflicts: 978000 | #Constraints: 297913
1810.00/1815.13 c #Conflicts: 979000 | #Constraints: 298913
1882.90/1888.24 c #Conflicts: 980000 | #Constraints: 299913
1882.90/1888.24 c #Conflicts: 981000 | #Constraints: 300913
1882.90/1888.24 c #Conflicts: 982000 | #Constraints: 301913
1882.90/1888.24 c #Conflicts: 983000 | #Constraints: 302913
1882.90/1888.24 c #Conflicts: 984000 | #Constraints: 303913
1882.90/1888.24 c #Conflicts: 985000 | #Constraints: 304913
1882.90/1888.24 c #Conflicts: 986000 | #Constraints: 305913
1882.90/1888.24 c #Conflicts: 987000 | #Constraints: 306913
1882.90/1888.24 c #Conflicts: 988000 | #Constraints: 307913
1882.90/1888.24 c #Conflicts: 989000 | #Constraints: 308913
1882.90/1888.24 c #Conflicts: 990000 | #Constraints: 309913
1882.90/1888.24 c #Conflicts: 991000 | #Constraints: 310913
1882.90/1888.24 c #Conflicts: 992000 | #Constraints: 311913
1882.90/1888.24 c #Conflicts: 993000 | #Constraints: 312913
1882.90/1888.24 c #Conflicts: 994000 | #Constraints: 313913
1882.90/1888.24 c #Conflicts: 995000 | #Constraints: 314913
1882.90/1888.24 c #Conflicts: 996000 | #Constraints: 315913
1882.90/1888.24 c #Conflicts: 997000 | #Constraints: 316913
1882.90/1888.24 c #Conflicts: 998000 | #Constraints: 317913
1882.90/1888.24 c #Conflicts: 999000 | #Constraints: 318913
1882.90/1888.24 c #Conflicts: 1000000 | #Constraints: 319913
1882.90/1888.24 c #Conflicts: 1001000 | #Constraints: 320913
1882.90/1888.24 c #Conflicts: 1002000 | #Constraints: 321913
1882.90/1888.24 c #Conflicts: 1003000 | #Constraints: 322913
1882.90/1888.24 c INPROCESSING
1882.90/1888.24 c GARBAGE COLLECT
1882.90/1888.24 c #Conflicts: 1004000 | #Constraints: 264613
1882.90/1888.24 c #Conflicts: 1005000 | #Constraints: 265613
1882.90/1888.24 c #Conflicts: 1006000 | #Constraints: 266613
1882.90/1888.24 c #Conflicts: 1007000 | #Constraints: 267613
1882.90/1888.24 c #Conflicts: 1008000 | #Constraints: 268613
1882.90/1888.24 c #Conflicts: 1009000 | #Constraints: 269613
1882.90/1888.24 c #Conflicts: 1010000 | #Constraints: 270613
1882.90/1888.24 c #Conflicts: 1011000 | #Constraints: 271613
1882.90/1888.24 c #Conflicts: 1012000 | #Constraints: 272613
1882.90/1888.24 c #Conflicts: 1013000 | #Constraints: 273613
1882.90/1888.24 c #Conflicts: 1014000 | #Constraints: 274613
1882.90/1888.24 c #Conflicts: 1015000 | #Constraints: 275613
1882.90/1888.24 c #Conflicts: 1016000 | #Constraints: 276613
1882.90/1888.24 c #Conflicts: 1017000 | #Constraints: 277613
1882.90/1888.24 c #Conflicts: 1018000 | #Constraints: 278613
1882.90/1888.24 c #Conflicts: 1019000 | #Constraints: 279613
1882.90/1888.24 c #Conflicts: 1020000 | #Constraints: 280613
1882.90/1888.24 c #Conflicts: 1021000 | #Constraints: 281613
1882.90/1888.24 c #Conflicts: 1022000 | #Constraints: 282613
1882.90/1888.24 c #Conflicts: 1023000 | #Constraints: 283613
1882.90/1888.24 c #Conflicts: 1024000 | #Constraints: 284613
1882.90/1888.24 c #Conflicts: 1025000 | #Constraints: 285613
1882.90/1888.24 c #Conflicts: 1026000 | #Constraints: 286613
1882.90/1888.24 c #Conflicts: 1027000 | #Constraints: 287613
1882.90/1888.24 c #Conflicts: 1028000 | #Constraints: 288613
1882.90/1888.24 c #Conflicts: 1029000 | #Constraints: 289613
1882.90/1888.24 c #Conflicts: 1030000 | #Constraints: 290613
1882.90/1888.24 c #Conflicts: 1031000 | #Constraints: 291613
1882.90/1888.24 c #Conflicts: 1032000 | #Constraints: 292613
1882.90/1888.24 c #Conflicts: 1033000 | #Constraints: 293613
1882.90/1888.24 c #Conflicts: 1034000 | #Constraints: 294613
1882.90/1888.24 c #Conflicts: 1035000 | #Constraints: 295613
1882.90/1888.24 c #Conflicts: 1036000 | #Constraints: 296613
1882.90/1888.24 c #Conflicts: 1037000 | #Constraints: 297613
1882.90/1888.24 c #Conflicts: 1038000 | #Constraints: 298613
1882.90/1888.24 c #Conflicts: 1039000 | #Constraints: 299613
1882.90/1888.24 c #Conflicts: 1040000 | #Constraints: 300613
1882.90/1888.24 c #Conflicts: 1041000 | #Constraints: 301613
1882.90/1888.24 c #Conflicts: 1042000 | #Constraints: 302613
1882.90/1888.24 c #Conflicts: 1043000 | #Constraints: 303613
1882.90/1888.24 c #Conflicts: 1044000 | #Constraints: 304613
1882.90/1888.24 c #Conflicts: 1045000 | #Constraints: 305613
1882.90/1888.24 c #Conflicts: 1046000 | #Constraints: 306613
1882.90/1888.24 c #Conflicts: 1047000 | #Constraints: 307613
1882.90/1888.24 c #Conflicts: 1048000 | #Constraints: 308613
1882.90/1888.24 c #Conflicts: 1049000 | #Constraints: 309613
1882.90/1888.24 c #Conflicts: 1050000 | #Constraints: 310613
1882.90/1888.24 c #Conflicts: 1051000 | #Constraints: 311613
1882.90/1888.24 c #Conflicts: 1052000 | #Constraints: 312613
1882.90/1888.24 c #Conflicts: 1053000 | #Constraints: 313613
1882.90/1888.24 c #Conflicts: 1054000 | #Constraints: 314613
1882.90/1888.24 c #Conflicts: 1055000 | #Constraints: 315613
1882.90/1888.24 c #Conflicts: 1056000 | #Constraints: 316613
1882.90/1888.24 c #Conflicts: 1057000 | #Constraints: 317613
1964.68/1970.22 c #Conflicts: 1058000 | #Constraints: 318613
1964.68/1970.22 c #Conflicts: 1059000 | #Constraints: 319613
1964.68/1970.22 c #Conflicts: 1060000 | #Constraints: 320613
1964.68/1970.22 c #Conflicts: 1061000 | #Constraints: 321613
1964.68/1970.22 c #Conflicts: 1062000 | #Constraints: 322613
1964.68/1970.22 c #Conflicts: 1063000 | #Constraints: 323613
1964.68/1970.22 c #Conflicts: 1064000 | #Constraints: 324613
1964.68/1970.22 c #Conflicts: 1065000 | #Constraints: 325613
1964.68/1970.22 c #Conflicts: 1066000 | #Constraints: 326613
1964.68/1970.22 c #Conflicts: 1067000 | #Constraints: 327613
1964.68/1970.22 c INPROCESSING
1964.68/1970.22 c GARBAGE COLLECT
1964.68/1970.22 c #Conflicts: 1068000 | #Constraints: 268326
1964.68/1970.22 c #Conflicts: 1069000 | #Constraints: 269326
1964.68/1970.22 c #Conflicts: 1070000 | #Constraints: 270326
1964.68/1970.22 c #Conflicts: 1071000 | #Constraints: 271326
1964.68/1970.22 c #Conflicts: 1072000 | #Constraints: 272326
1964.68/1970.22 c #Conflicts: 1073000 | #Constraints: 273326
1964.68/1970.22 c #Conflicts: 1074000 | #Constraints: 274326
1964.68/1970.22 c #Conflicts: 1075000 | #Constraints: 275326
1964.68/1970.22 c #Conflicts: 1076000 | #Constraints: 276326
1964.68/1970.22 c #Conflicts: 1077000 | #Constraints: 277326
1964.68/1970.22 c #Conflicts: 1078000 | #Constraints: 278326
1964.68/1970.22 c #Conflicts: 1079000 | #Constraints: 279326
1964.68/1970.22 c #Conflicts: 1080000 | #Constraints: 280326
1964.68/1970.22 c #Conflicts: 1081000 | #Constraints: 281326
1964.68/1970.22 c #Conflicts: 1082000 | #Constraints: 282326
1964.68/1970.22 c #Conflicts: 1083000 | #Constraints: 283326
1964.68/1970.22 c #Conflicts: 1084000 | #Constraints: 284326
1964.68/1970.22 c #Conflicts: 1085000 | #Constraints: 285326
1964.68/1970.22 c #Conflicts: 1086000 | #Constraints: 286326
1964.68/1970.22 c #Conflicts: 1087000 | #Constraints: 287326
1964.68/1970.22 c #Conflicts: 1088000 | #Constraints: 288326
1964.68/1970.22 c #Conflicts: 1089000 | #Constraints: 289326
1964.68/1970.22 c #Conflicts: 1090000 | #Constraints: 290326
1964.68/1970.22 c #Conflicts: 1091000 | #Constraints: 291326
1964.68/1970.22 c #Conflicts: 1092000 | #Constraints: 292326
1964.68/1970.22 c #Conflicts: 1093000 | #Constraints: 293326
1964.68/1970.22 c #Conflicts: 1094000 | #Constraints: 294326
1964.68/1970.22 c #Conflicts: 1095000 | #Constraints: 295326
1964.68/1970.22 c #Conflicts: 1096000 | #Constraints: 296326
1964.68/1970.22 c #Conflicts: 1097000 | #Constraints: 297326
1964.68/1970.22 c #Conflicts: 1098000 | #Constraints: 298326
1964.68/1970.22 c #Conflicts: 1099000 | #Constraints: 299326
1964.68/1970.22 c #Conflicts: 1100000 | #Constraints: 300326
1964.68/1970.22 c #Conflicts: 1101000 | #Constraints: 301326
1964.68/1970.22 c #Conflicts: 1102000 | #Constraints: 302326
1964.68/1970.22 c #Conflicts: 1103000 | #Constraints: 303326
1964.68/1970.22 c #Conflicts: 1104000 | #Constraints: 304326
1964.68/1970.22 c #Conflicts: 1105000 | #Constraints: 305326
1964.68/1970.22 c #Conflicts: 1106000 | #Constraints: 306326
1964.68/1970.22 c #Conflicts: 1107000 | #Constraints: 307326
1964.68/1970.22 c #Conflicts: 1108000 | #Constraints: 308326
1964.68/1970.22 c #Conflicts: 1109000 | #Constraints: 309326
1964.68/1970.22 c #Conflicts: 1110000 | #Constraints: 310326
1964.68/1970.22 c #Conflicts: 1111000 | #Constraints: 311326
1964.68/1970.22 c #Conflicts: 1112000 | #Constraints: 312326
1964.68/1970.22 c #Conflicts: 1113000 | #Constraints: 313326
1964.68/1970.22 c #Conflicts: 1114000 | #Constraints: 314326
1964.68/1970.22 c #Conflicts: 1115000 | #Constraints: 315326
1964.68/1970.22 c #Conflicts: 1116000 | #Constraints: 316326
1964.68/1970.22 c #Conflicts: 1117000 | #Constraints: 317326
1964.68/1970.22 c #Conflicts: 1118000 | #Constraints: 318326
1964.68/1970.22 c #Conflicts: 1119000 | #Constraints: 319326
1964.68/1970.22 c #Conflicts: 1120000 | #Constraints: 320326
1964.68/1970.22 c #Conflicts: 1121000 | #Constraints: 321326
1964.68/1970.22 c #Conflicts: 1122000 | #Constraints: 322326
1964.68/1970.22 c #Conflicts: 1123000 | #Constraints: 323326
1964.68/1970.22 c #Conflicts: 1124000 | #Constraints: 324326
1964.68/1970.22 c #Conflicts: 1125000 | #Constraints: 325326
1964.68/1970.22 c #Conflicts: 1126000 | #Constraints: 326326
1964.68/1970.22 c #Conflicts: 1127000 | #Constraints: 327326
1964.68/1970.22 c #Conflicts: 1128000 | #Constraints: 328326
1964.68/1970.22 c #Conflicts: 1129000 | #Constraints: 329326
1964.68/1970.22 c #Conflicts: 1130000 | #Constraints: 330326
1964.68/1970.22 c #Conflicts: 1131000 | #Constraints: 331326
1964.68/1970.22 c #Conflicts: 1132000 | #Constraints: 332326
1964.68/1970.22 c #Conflicts: 1133000 | #Constraints: 333326
1964.68/1970.22 c #Conflicts: 1134000 | #Constraints: 334326
1964.68/1970.22 c INPROCESSING
1964.68/1970.22 c GARBAGE COLLECT
2037.80/2043.54 c #Conflicts: 1135000 | #Constraints: 272157
2037.80/2043.54 c #Conflicts: 1136000 | #Constraints: 273157
2037.80/2043.54 c #Conflicts: 1137000 | #Constraints: 274157
2037.80/2043.54 c #Conflicts: 1138000 | #Constraints: 275157
2037.80/2043.54 c #Conflicts: 1139000 | #Constraints: 276157
2037.80/2043.54 c #Conflicts: 1140000 | #Constraints: 277157
2037.80/2043.54 c #Conflicts: 1141000 | #Constraints: 278157
2037.80/2043.54 c #Conflicts: 1142000 | #Constraints: 279157
2037.80/2043.54 c #Conflicts: 1143000 | #Constraints: 280157
2037.80/2043.54 c #Conflicts: 1144000 | #Constraints: 281157
2037.80/2043.54 c #Conflicts: 1145000 | #Constraints: 282157
2037.80/2043.54 c #Conflicts: 1146000 | #Constraints: 283157
2037.80/2043.54 c #Conflicts: 1147000 | #Constraints: 284157
2037.80/2043.54 c #Conflicts: 1148000 | #Constraints: 285157
2037.80/2043.54 c #Conflicts: 1149000 | #Constraints: 286157
2037.80/2043.54 c #Conflicts: 1150000 | #Constraints: 287157
2037.80/2043.54 c #Conflicts: 1151000 | #Constraints: 288157
2037.80/2043.54 c #Conflicts: 1152000 | #Constraints: 289157
2037.80/2043.54 c #Conflicts: 1153000 | #Constraints: 290157
2037.80/2043.54 c #Conflicts: 1154000 | #Constraints: 291157
2037.80/2043.54 c #Conflicts: 1155000 | #Constraints: 292157
2037.80/2043.54 c #Conflicts: 1156000 | #Constraints: 293157
2037.80/2043.54 c #Conflicts: 1157000 | #Constraints: 294157
2037.80/2043.54 c #Conflicts: 1158000 | #Constraints: 295157
2037.80/2043.54 c #Conflicts: 1159000 | #Constraints: 296157
2037.80/2043.54 c #Conflicts: 1160000 | #Constraints: 297157
2037.80/2043.54 c #Conflicts: 1161000 | #Constraints: 298157
2037.80/2043.54 c #Conflicts: 1162000 | #Constraints: 299157
2037.80/2043.54 c #Conflicts: 1163000 | #Constraints: 300157
2037.80/2043.54 c #Conflicts: 1164000 | #Constraints: 301157
2037.80/2043.54 c #Conflicts: 1165000 | #Constraints: 302157
2037.80/2043.54 c #Conflicts: 1166000 | #Constraints: 303157
2037.80/2043.54 c #Conflicts: 1167000 | #Constraints: 304157
2037.80/2043.54 c #Conflicts: 1168000 | #Constraints: 305157
2037.80/2043.54 c #Conflicts: 1169000 | #Constraints: 306157
2037.80/2043.54 c #Conflicts: 1170000 | #Constraints: 307157
2037.80/2043.54 c #Conflicts: 1171000 | #Constraints: 308157
2037.80/2043.54 c #Conflicts: 1172000 | #Constraints: 309157
2037.80/2043.54 c #Conflicts: 1173000 | #Constraints: 310157
2037.80/2043.54 c #Conflicts: 1174000 | #Constraints: 311157
2037.80/2043.54 c #Conflicts: 1175000 | #Constraints: 312157
2037.80/2043.54 c #Conflicts: 1176000 | #Constraints: 313157
2037.80/2043.54 c #Conflicts: 1177000 | #Constraints: 314157
2037.80/2043.54 c #Conflicts: 1178000 | #Constraints: 315157
2037.80/2043.54 c #Conflicts: 1179000 | #Constraints: 316157
2037.80/2043.54 c #Conflicts: 1180000 | #Constraints: 317157
2037.80/2043.54 c #Conflicts: 1181000 | #Constraints: 318157
2037.80/2043.54 c #Conflicts: 1182000 | #Constraints: 319157
2037.80/2043.54 c #Conflicts: 1183000 | #Constraints: 320157
2037.80/2043.54 c #Conflicts: 1184000 | #Constraints: 321157
2037.80/2043.54 c #Conflicts: 1185000 | #Constraints: 322157
2037.80/2043.54 c #Conflicts: 1186000 | #Constraints: 323157
2037.80/2043.54 c #Conflicts: 1187000 | #Constraints: 324157
2037.80/2043.54 c #Conflicts: 1188000 | #Constraints: 325157
2037.80/2043.54 c #Conflicts: 1189000 | #Constraints: 326157
2037.80/2043.54 c #Conflicts: 1190000 | #Constraints: 327157
2037.80/2043.54 c #Conflicts: 1191000 | #Constraints: 328157
2037.80/2043.54 c #Conflicts: 1192000 | #Constraints: 329157
2037.80/2043.54 c #Conflicts: 1193000 | #Constraints: 330157
2037.80/2043.54 c #Conflicts: 1194000 | #Constraints: 331157
2037.80/2043.54 c #Conflicts: 1195000 | #Constraints: 332157
2037.80/2043.54 c #Conflicts: 1196000 | #Constraints: 333157
2037.80/2043.54 c #Conflicts: 1197000 | #Constraints: 334157
2037.80/2043.54 c #Conflicts: 1198000 | #Constraints: 335157
2037.80/2043.54 c #Conflicts: 1199000 | #Constraints: 336157
2037.80/2043.54 c #Conflicts: 1200000 | #Constraints: 337157
2037.80/2043.54 c #Conflicts: 1201000 | #Constraints: 338157
2037.80/2043.54 c #Conflicts: 1202000 | #Constraints: 339157
2037.80/2043.54 c INPROCESSING
2037.80/2043.54 c GARBAGE COLLECT
2037.80/2043.54 c #Conflicts: 1203000 | #Constraints: 277867
2037.80/2043.54 c #Conflicts: 1204000 | #Constraints: 278867
2037.80/2043.54 c #Conflicts: 1205000 | #Constraints: 279867
2037.80/2043.54 c #Conflicts: 1206000 | #Constraints: 280867
2037.80/2043.54 c #Conflicts: 1207000 | #Constraints: 281867
2037.80/2043.54 c #Conflicts: 1208000 | #Constraints: 282867
2037.80/2043.54 c #Conflicts: 1209000 | #Constraints: 283867
2037.80/2043.54 c #Conflicts: 1210000 | #Constraints: 284867
2037.80/2043.54 c #Conflicts: 1211000 | #Constraints: 285867
2037.80/2043.54 c #Conflicts: 1212000 | #Constraints: 286867
2037.80/2043.54 c #Conflicts: 1213000 | #Constraints: 287867
2447.24/2453.95 c #Conflicts: 1214000 | #Constraints: 288867
2447.24/2453.95 c #Conflicts: 1215000 | #Constraints: 289867
2447.24/2453.95 c #Conflicts: 1216000 | #Constraints: 290867
2447.24/2453.95 c #Conflicts: 1217000 | #Constraints: 291867
2447.24/2453.95 c #Conflicts: 1218000 | #Constraints: 292867
2447.24/2453.95 c #Conflicts: 1219000 | #Constraints: 293867
2447.24/2453.95 c #Conflicts: 1220000 | #Constraints: 294867
2447.24/2453.95 c #Conflicts: 1221000 | #Constraints: 295867
2447.24/2453.95 c #Conflicts: 1222000 | #Constraints: 296867
2447.24/2453.95 c #Conflicts: 1223000 | #Constraints: 297867
2447.24/2453.95 c #Conflicts: 1224000 | #Constraints: 298867
2447.24/2453.95 c #Conflicts: 1225000 | #Constraints: 299867
2447.24/2453.95 c #Conflicts: 1226000 | #Constraints: 300867
2447.24/2453.95 c #Conflicts: 1227000 | #Constraints: 301867
2447.24/2453.95 c #Conflicts: 1228000 | #Constraints: 302867
2447.24/2453.95 c #Conflicts: 1229000 | #Constraints: 303867
2447.24/2453.95 c #Conflicts: 1230000 | #Constraints: 304867
2447.24/2453.95 c #Conflicts: 1231000 | #Constraints: 305867
2447.24/2453.95 c #Conflicts: 1232000 | #Constraints: 306867
2447.24/2453.95 c #Conflicts: 1233000 | #Constraints: 307867
2447.24/2453.95 c #Conflicts: 1234000 | #Constraints: 308867
2447.24/2453.95 c #Conflicts: 1235000 | #Constraints: 309867
2447.24/2453.95 c #Conflicts: 1236000 | #Constraints: 310867
2447.24/2453.95 c #Conflicts: 1237000 | #Constraints: 311867
2447.24/2453.95 c #Conflicts: 1238000 | #Constraints: 312867
2447.24/2453.95 c #Conflicts: 1239000 | #Constraints: 313867
2447.24/2453.95 c #Conflicts: 1240000 | #Constraints: 314867
2447.24/2453.95 c #Conflicts: 1241000 | #Constraints: 315867
2447.24/2453.95 c #Conflicts: 1242000 | #Constraints: 316867
2447.24/2453.95 c #Conflicts: 1243000 | #Constraints: 317867
2447.24/2453.95 c #Conflicts: 1244000 | #Constraints: 318867
2447.24/2453.95 c #Conflicts: 1245000 | #Constraints: 319867
2447.24/2453.95 c #Conflicts: 1246000 | #Constraints: 320867
2447.24/2453.95 c #Conflicts: 1247000 | #Constraints: 321867
2447.24/2453.95 c #Conflicts: 1248000 | #Constraints: 322867
2447.24/2453.95 c #Conflicts: 1249000 | #Constraints: 323867
2447.24/2453.95 c #Conflicts: 1250000 | #Constraints: 324867
2447.24/2453.95 c #Conflicts: 1251000 | #Constraints: 325867
2447.24/2453.95 c #Conflicts: 1252000 | #Constraints: 326867
2447.24/2453.95 c #Conflicts: 1253000 | #Constraints: 327867
2447.24/2453.95 c #Conflicts: 1254000 | #Constraints: 328867
2447.24/2453.95 c #Conflicts: 1255000 | #Constraints: 329867
2447.24/2453.95 c #Conflicts: 1256000 | #Constraints: 330867
2447.24/2453.95 c #Conflicts: 1257000 | #Constraints: 331867
2447.24/2453.95 c #Conflicts: 1258000 | #Constraints: 332867
2447.24/2453.95 c #Conflicts: 1259000 | #Constraints: 333867
2447.24/2453.95 c #Conflicts: 1260000 | #Constraints: 334867
2447.24/2453.95 c #Conflicts: 1261000 | #Constraints: 335867
2447.24/2453.95 c #Conflicts: 1262000 | #Constraints: 336867
2447.24/2453.95 c #Conflicts: 1263000 | #Constraints: 337867
2447.24/2453.95 c #Conflicts: 1264000 | #Constraints: 338867
2447.24/2453.95 c #Conflicts: 1265000 | #Constraints: 339867
2447.24/2453.95 c #Conflicts: 1266000 | #Constraints: 340867
2447.24/2453.95 c #Conflicts: 1267000 | #Constraints: 341867
2447.24/2453.95 c #Conflicts: 1268000 | #Constraints: 342867
2447.24/2453.95 c #Conflicts: 1269000 | #Constraints: 343867
2447.24/2453.95 c #Conflicts: 1270000 | #Constraints: 344867
2447.24/2453.95 c #Conflicts: 1271000 | #Constraints: 345867
2447.24/2453.95 c #Conflicts: 1272000 | #Constraints: 346867
2447.24/2453.95 c INPROCESSING
2447.24/2453.95 c GARBAGE COLLECT
2447.24/2453.95 c rational objective 25457.7
2513.18/2520.01 c #Conflicts: 1273000 | #Constraints: 282431
2513.18/2520.01 c #Conflicts: 1274000 | #Constraints: 283431
2513.18/2520.01 c #Conflicts: 1275000 | #Constraints: 284431
2513.18/2520.01 c #Conflicts: 1276000 | #Constraints: 285431
2513.18/2520.01 c #Conflicts: 1277000 | #Constraints: 286431
2513.18/2520.01 c #Conflicts: 1278000 | #Constraints: 287431
2513.18/2520.01 c #Conflicts: 1279000 | #Constraints: 288431
2513.18/2520.01 c #Conflicts: 1280000 | #Constraints: 289431
2513.18/2520.01 c #Conflicts: 1281000 | #Constraints: 290431
2513.18/2520.01 c #Conflicts: 1282000 | #Constraints: 291431
2513.18/2520.01 c #Conflicts: 1283000 | #Constraints: 292431
2513.18/2520.01 c #Conflicts: 1284000 | #Constraints: 293431
2513.18/2520.01 c #Conflicts: 1285000 | #Constraints: 294431
2513.18/2520.01 c #Conflicts: 1286000 | #Constraints: 295431
2513.18/2520.01 c #Conflicts: 1287000 | #Constraints: 296431
2513.18/2520.01 c #Conflicts: 1288000 | #Constraints: 297431
2513.18/2520.01 c #Conflicts: 1289000 | #Constraints: 298431
2513.18/2520.01 c #Conflicts: 1290000 | #Constraints: 299431
2513.18/2520.01 c #Conflicts: 1291000 | #Constraints: 300431
2513.18/2520.01 c #Conflicts: 1292000 | #Constraints: 301431
2513.18/2520.01 c #Conflicts: 1293000 | #Constraints: 302431
2513.18/2520.01 c #Conflicts: 1294000 | #Constraints: 303431
2513.18/2520.01 c #Conflicts: 1295000 | #Constraints: 304431
2513.18/2520.01 c #Conflicts: 1296000 | #Constraints: 305431
2513.18/2520.01 c #Conflicts: 1297000 | #Constraints: 306431
2513.18/2520.01 c #Conflicts: 1298000 | #Constraints: 307431
2513.18/2520.01 c #Conflicts: 1299000 | #Constraints: 308431
2513.18/2520.01 c #Conflicts: 1300000 | #Constraints: 309431
2513.18/2520.01 c #Conflicts: 1301000 | #Constraints: 310431
2513.18/2520.01 c #Conflicts: 1302000 | #Constraints: 311431
2513.18/2520.01 c #Conflicts: 1303000 | #Constraints: 312431
2513.18/2520.01 c #Conflicts: 1304000 | #Constraints: 313431
2513.18/2520.01 c #Conflicts: 1305000 | #Constraints: 314431
2513.18/2520.01 c #Conflicts: 1306000 | #Constraints: 315431
2513.18/2520.01 c #Conflicts: 1307000 | #Constraints: 316431
2513.18/2520.01 c #Conflicts: 1308000 | #Constraints: 317431
2513.18/2520.01 c #Conflicts: 1309000 | #Constraints: 318431
2513.18/2520.01 c #Conflicts: 1310000 | #Constraints: 319431
2513.18/2520.01 c #Conflicts: 1311000 | #Constraints: 320431
2513.18/2520.01 c #Conflicts: 1312000 | #Constraints: 321431
2513.18/2520.01 c #Conflicts: 1313000 | #Constraints: 322431
2513.18/2520.01 c #Conflicts: 1314000 | #Constraints: 323431
2513.18/2520.01 c #Conflicts: 1315000 | #Constraints: 324431
2513.18/2520.01 c #Conflicts: 1316000 | #Constraints: 325431
2513.18/2520.01 c #Conflicts: 1317000 | #Constraints: 326431
2513.18/2520.01 c #Conflicts: 1318000 | #Constraints: 327431
2513.18/2520.01 c #Conflicts: 1319000 | #Constraints: 328431
2513.18/2520.01 c #Conflicts: 1320000 | #Constraints: 329431
2513.18/2520.01 c #Conflicts: 1321000 | #Constraints: 330431
2513.18/2520.01 c #Conflicts: 1322000 | #Constraints: 331431
2513.18/2520.01 c #Conflicts: 1323000 | #Constraints: 332431
2513.18/2520.01 c #Conflicts: 1324000 | #Constraints: 333431
2513.18/2520.01 c #Conflicts: 1325000 | #Constraints: 334431
2513.18/2520.01 c #Conflicts: 1326000 | #Constraints: 335431
2513.18/2520.01 c #Conflicts: 1327000 | #Constraints: 336431
2513.18/2520.01 c #Conflicts: 1328000 | #Constraints: 337431
2513.18/2520.01 c #Conflicts: 1329000 | #Constraints: 338431
2513.18/2520.01 c #Conflicts: 1330000 | #Constraints: 339431
2513.18/2520.01 c #Conflicts: 1331000 | #Constraints: 340431
2513.18/2520.01 c #Conflicts: 1332000 | #Constraints: 341431
2513.18/2520.01 c #Conflicts: 1333000 | #Constraints: 342431
2513.18/2520.01 c #Conflicts: 1334000 | #Constraints: 343431
2513.18/2520.01 c #Conflicts: 1335000 | #Constraints: 344431
2513.18/2520.01 c #Conflicts: 1336000 | #Constraints: 345431
2513.18/2520.01 c #Conflicts: 1337000 | #Constraints: 346431
2513.18/2520.01 c #Conflicts: 1338000 | #Constraints: 347431
2513.18/2520.01 c #Conflicts: 1339000 | #Constraints: 348431
2513.18/2520.01 c #Conflicts: 1340000 | #Constraints: 349431
2513.18/2520.01 c #Conflicts: 1341000 | #Constraints: 350431
2513.18/2520.01 c #Conflicts: 1342000 | #Constraints: 351431
2513.18/2520.01 c #Conflicts: 1343000 | #Constraints: 352431
2513.18/2520.01 c #Conflicts: 1344000 | #Constraints: 353431
2513.18/2520.01 c #Conflicts: 1345000 | #Constraints: 354431
2513.18/2520.01 c INPROCESSING
2513.18/2520.01 c GARBAGE COLLECT
2513.18/2520.01 c #Conflicts: 1346000 | #Constraints: 287982
2513.18/2520.01 c #Conflicts: 1347000 | #Constraints: 288982
2513.18/2520.01 c #Conflicts: 1348000 | #Constraints: 289982
2513.18/2520.01 c #Conflicts: 1349000 | #Constraints: 290982
2513.18/2520.01 c #Conflicts: 1350000 | #Constraints: 291982
2513.18/2520.01 c #Conflicts: 1351000 | #Constraints: 292982
2642.45/2649.64 c #Conflicts: 1352000 | #Constraints: 293982
2642.45/2649.64 c #Conflicts: 1353000 | #Constraints: 294982
2642.45/2649.64 c #Conflicts: 1354000 | #Constraints: 295982
2642.45/2649.64 c #Conflicts: 1355000 | #Constraints: 296982
2642.45/2649.64 c #Conflicts: 1356000 | #Constraints: 297982
2642.45/2649.64 c #Conflicts: 1357000 | #Constraints: 298982
2642.45/2649.64 c #Conflicts: 1358000 | #Constraints: 299982
2642.45/2649.64 c #Conflicts: 1359000 | #Constraints: 300982
2642.45/2649.64 c #Conflicts: 1360000 | #Constraints: 301982
2642.45/2649.64 c #Conflicts: 1361000 | #Constraints: 302982
2642.45/2649.64 c #Conflicts: 1362000 | #Constraints: 303982
2642.45/2649.64 c #Conflicts: 1363000 | #Constraints: 304982
2642.45/2649.64 c #Conflicts: 1364000 | #Constraints: 305982
2642.45/2649.64 c #Conflicts: 1365000 | #Constraints: 306982
2642.45/2649.64 c #Conflicts: 1366000 | #Constraints: 307982
2642.45/2649.64 c #Conflicts: 1367000 | #Constraints: 308982
2642.45/2649.64 c #Conflicts: 1368000 | #Constraints: 309982
2642.45/2649.64 c #Conflicts: 1369000 | #Constraints: 310982
2642.45/2649.64 c #Conflicts: 1370000 | #Constraints: 311982
2642.45/2649.64 c #Conflicts: 1371000 | #Constraints: 312982
2642.45/2649.64 c #Conflicts: 1372000 | #Constraints: 313982
2642.45/2649.64 c #Conflicts: 1373000 | #Constraints: 314982
2642.45/2649.64 c #Conflicts: 1374000 | #Constraints: 315982
2642.45/2649.64 c #Conflicts: 1375000 | #Constraints: 316982
2642.45/2649.64 c #Conflicts: 1376000 | #Constraints: 317982
2642.45/2649.64 c #Conflicts: 1377000 | #Constraints: 318982
2642.45/2649.64 c #Conflicts: 1378000 | #Constraints: 319982
2642.45/2649.64 c #Conflicts: 1379000 | #Constraints: 320982
2642.45/2649.64 c #Conflicts: 1380000 | #Constraints: 321982
2642.45/2649.64 c #Conflicts: 1381000 | #Constraints: 322982
2642.45/2649.64 c #Conflicts: 1382000 | #Constraints: 323982
2642.45/2649.64 c #Conflicts: 1383000 | #Constraints: 324982
2642.45/2649.64 c #Conflicts: 1384000 | #Constraints: 325982
2642.45/2649.64 c #Conflicts: 1385000 | #Constraints: 326982
2642.45/2649.64 c #Conflicts: 1386000 | #Constraints: 327982
2642.45/2649.64 c #Conflicts: 1387000 | #Constraints: 328982
2642.45/2649.64 c #Conflicts: 1388000 | #Constraints: 329982
2642.45/2649.64 c #Conflicts: 1389000 | #Constraints: 330982
2642.45/2649.64 c #Conflicts: 1390000 | #Constraints: 331982
2642.45/2649.64 c #Conflicts: 1391000 | #Constraints: 332982
2642.45/2649.64 c #Conflicts: 1392000 | #Constraints: 333982
2642.45/2649.64 c #Conflicts: 1393000 | #Constraints: 334982
2642.45/2649.64 c #Conflicts: 1394000 | #Constraints: 335982
2642.45/2649.64 c #Conflicts: 1395000 | #Constraints: 336982
2642.45/2649.64 c #Conflicts: 1396000 | #Constraints: 337982
2642.45/2649.64 c #Conflicts: 1397000 | #Constraints: 338982
2642.45/2649.64 c #Conflicts: 1398000 | #Constraints: 339982
2642.45/2649.64 c #Conflicts: 1399000 | #Constraints: 340982
2642.45/2649.64 c #Conflicts: 1400000 | #Constraints: 341982
2642.45/2649.64 c #Conflicts: 1401000 | #Constraints: 342982
2642.45/2649.64 c #Conflicts: 1402000 | #Constraints: 343982
2642.45/2649.64 c #Conflicts: 1403000 | #Constraints: 344982
2642.45/2649.64 c #Conflicts: 1404000 | #Constraints: 345982
2642.45/2649.64 c #Conflicts: 1405000 | #Constraints: 346982
2642.45/2649.64 c #Conflicts: 1406000 | #Constraints: 347982
2642.45/2649.64 c #Conflicts: 1407000 | #Constraints: 348982
2642.45/2649.64 c #Conflicts: 1408000 | #Constraints: 349982
2642.45/2649.64 c #Conflicts: 1409000 | #Constraints: 350982
2642.45/2649.64 c #Conflicts: 1410000 | #Constraints: 351982
2642.45/2649.64 c #Conflicts: 1411000 | #Constraints: 352982
2642.45/2649.64 c #Conflicts: 1412000 | #Constraints: 353982
2642.45/2649.64 c #Conflicts: 1413000 | #Constraints: 354982
2642.45/2649.64 c #Conflicts: 1414000 | #Constraints: 355982
2642.45/2649.64 c #Conflicts: 1415000 | #Constraints: 356982
2642.45/2649.64 c #Conflicts: 1416000 | #Constraints: 357982
2642.45/2649.64 c #Conflicts: 1417000 | #Constraints: 358982
2642.45/2649.64 c #Conflicts: 1418000 | #Constraints: 359982
2642.45/2649.64 c #Conflicts: 1419000 | #Constraints: 360982
2642.45/2649.64 c INPROCESSING
2642.45/2649.64 c GARBAGE COLLECT
2642.45/2649.64 c #Conflicts: 1420000 | #Constraints: 293148
2642.45/2649.64 c #Conflicts: 1421000 | #Constraints: 294148
2642.45/2649.64 c #Conflicts: 1422000 | #Constraints: 295148
2642.45/2649.64 c #Conflicts: 1423000 | #Constraints: 296148
2642.45/2649.64 c #Conflicts: 1424000 | #Constraints: 297148
2642.45/2649.64 c #Conflicts: 1425000 | #Constraints: 298148
2642.45/2649.64 c #Conflicts: 1426000 | #Constraints: 299148
2642.45/2649.64 c #Conflicts: 1427000 | #Constraints: 300148
2642.45/2649.64 c #Conflicts: 1428000 | #Constraints: 301148
2642.45/2649.64 c #Conflicts: 1429000 | #Constraints: 302148
2723.82/2731.24 c #Conflicts: 1430000 | #Constraints: 303148
2723.82/2731.24 c #Conflicts: 1431000 | #Constraints: 304148
2723.82/2731.24 c #Conflicts: 1432000 | #Constraints: 305148
2723.82/2731.24 c #Conflicts: 1433000 | #Constraints: 306148
2723.82/2731.24 c #Conflicts: 1434000 | #Constraints: 307148
2723.82/2731.24 c #Conflicts: 1435000 | #Constraints: 308148
2723.82/2731.24 c #Conflicts: 1436000 | #Constraints: 309148
2723.82/2731.24 c #Conflicts: 1437000 | #Constraints: 310148
2723.82/2731.24 c #Conflicts: 1438000 | #Constraints: 311148
2723.82/2731.24 c #Conflicts: 1439000 | #Constraints: 312148
2723.82/2731.24 c #Conflicts: 1440000 | #Constraints: 313148
2723.82/2731.24 c #Conflicts: 1441000 | #Constraints: 314148
2723.82/2731.24 c #Conflicts: 1442000 | #Constraints: 315148
2723.82/2731.24 c #Conflicts: 1443000 | #Constraints: 316148
2723.82/2731.24 c #Conflicts: 1444000 | #Constraints: 317148
2723.82/2731.24 c #Conflicts: 1445000 | #Constraints: 318148
2723.82/2731.24 c #Conflicts: 1446000 | #Constraints: 319148
2723.82/2731.24 c #Conflicts: 1447000 | #Constraints: 320148
2723.82/2731.24 c #Conflicts: 1448000 | #Constraints: 321148
2723.82/2731.24 c #Conflicts: 1449000 | #Constraints: 322148
2723.82/2731.24 c #Conflicts: 1450000 | #Constraints: 323148
2723.82/2731.24 c #Conflicts: 1451000 | #Constraints: 324148
2723.82/2731.24 c #Conflicts: 1452000 | #Constraints: 325148
2723.82/2731.24 c #Conflicts: 1453000 | #Constraints: 326148
2723.82/2731.24 c #Conflicts: 1454000 | #Constraints: 327148
2723.82/2731.24 c #Conflicts: 1455000 | #Constraints: 328148
2723.82/2731.24 c #Conflicts: 1456000 | #Constraints: 329148
2723.82/2731.24 c #Conflicts: 1457000 | #Constraints: 330148
2723.82/2731.24 c #Conflicts: 1458000 | #Constraints: 331148
2723.82/2731.24 c #Conflicts: 1459000 | #Constraints: 332148
2723.82/2731.24 c #Conflicts: 1460000 | #Constraints: 333148
2723.82/2731.24 c #Conflicts: 1461000 | #Constraints: 334148
2723.82/2731.24 c #Conflicts: 1462000 | #Constraints: 335148
2723.82/2731.24 c #Conflicts: 1463000 | #Constraints: 336148
2723.82/2731.24 c #Conflicts: 1464000 | #Constraints: 337148
2723.82/2731.24 c #Conflicts: 1465000 | #Constraints: 338148
2723.82/2731.24 c #Conflicts: 1466000 | #Constraints: 339148
2723.82/2731.24 c #Conflicts: 1467000 | #Constraints: 340148
2723.82/2731.24 c #Conflicts: 1468000 | #Constraints: 341148
2723.82/2731.24 c #Conflicts: 1469000 | #Constraints: 342148
2723.82/2731.24 c #Conflicts: 1470000 | #Constraints: 343148
2723.82/2731.24 c #Conflicts: 1471000 | #Constraints: 344148
2723.82/2731.24 c #Conflicts: 1472000 | #Constraints: 345148
2723.82/2731.24 c #Conflicts: 1473000 | #Constraints: 346148
2723.82/2731.24 c #Conflicts: 1474000 | #Constraints: 347148
2723.82/2731.24 c #Conflicts: 1475000 | #Constraints: 348148
2723.82/2731.24 c #Conflicts: 1476000 | #Constraints: 349148
2723.82/2731.24 c #Conflicts: 1477000 | #Constraints: 350148
2723.82/2731.24 c #Conflicts: 1478000 | #Constraints: 351148
2723.82/2731.24 c #Conflicts: 1479000 | #Constraints: 352148
2723.82/2731.24 c #Conflicts: 1480000 | #Constraints: 353148
2723.82/2731.24 c #Conflicts: 1481000 | #Constraints: 354148
2723.82/2731.24 c #Conflicts: 1482000 | #Constraints: 355148
2723.82/2731.24 c #Conflicts: 1483000 | #Constraints: 356148
2723.82/2731.24 c #Conflicts: 1484000 | #Constraints: 357148
2723.82/2731.24 c #Conflicts: 1485000 | #Constraints: 358148
2723.82/2731.24 c #Conflicts: 1486000 | #Constraints: 359148
2723.82/2731.24 c #Conflicts: 1487000 | #Constraints: 360148
2723.82/2731.24 c #Conflicts: 1488000 | #Constraints: 361148
2723.82/2731.24 c #Conflicts: 1489000 | #Constraints: 362148
2723.82/2731.24 c #Conflicts: 1490000 | #Constraints: 363148
2723.82/2731.24 c #Conflicts: 1491000 | #Constraints: 364148
2723.82/2731.24 c #Conflicts: 1492000 | #Constraints: 365148
2723.82/2731.24 c #Conflicts: 1493000 | #Constraints: 366148
2723.82/2731.24 c #Conflicts: 1494000 | #Constraints: 367148
2723.82/2731.24 c #Conflicts: 1495000 | #Constraints: 368148
2723.82/2731.24 c #Conflicts: 1496000 | #Constraints: 369148
2723.82/2731.24 c INPROCESSING
2723.82/2731.24 c GARBAGE COLLECT
2723.82/2731.24 c #Conflicts: 1497000 | #Constraints: 298838
2723.82/2731.24 c #Conflicts: 1498000 | #Constraints: 299838
2723.82/2731.24 c #Conflicts: 1499000 | #Constraints: 300838
2723.82/2731.24 c #Conflicts: 1500000 | #Constraints: 301838
2723.82/2731.24 c #Conflicts: 1501000 | #Constraints: 302838
2723.82/2731.24 c #Conflicts: 1502000 | #Constraints: 303838
2723.82/2731.24 c #Conflicts: 1503000 | #Constraints: 304838
2723.82/2731.24 c #Conflicts: 1504000 | #Constraints: 305838
2723.82/2731.24 c #Conflicts: 1505000 | #Constraints: 306838
2723.82/2731.24 c #Conflicts: 1506000 | #Constraints: 307838
2723.82/2731.24 c #Conflicts: 1507000 | #Constraints: 308838
2801.22/2808.81 c #Conflicts: 1508000 | #Constraints: 309838
2801.22/2808.81 c #Conflicts: 1509000 | #Constraints: 310838
2801.22/2808.81 c #Conflicts: 1510000 | #Constraints: 311838
2801.22/2808.81 c #Conflicts: 1511000 | #Constraints: 312838
2801.22/2808.81 c #Conflicts: 1512000 | #Constraints: 313838
2801.22/2808.81 c #Conflicts: 1513000 | #Constraints: 314838
2801.22/2808.81 c #Conflicts: 1514000 | #Constraints: 315838
2801.22/2808.81 c #Conflicts: 1515000 | #Constraints: 316838
2801.22/2808.81 c #Conflicts: 1516000 | #Constraints: 317838
2801.22/2808.81 c #Conflicts: 1517000 | #Constraints: 318838
2801.22/2808.81 c #Conflicts: 1518000 | #Constraints: 319838
2801.22/2808.81 c #Conflicts: 1519000 | #Constraints: 320838
2801.22/2808.81 c #Conflicts: 1520000 | #Constraints: 321838
2801.22/2808.81 c #Conflicts: 1521000 | #Constraints: 322838
2801.22/2808.81 c #Conflicts: 1522000 | #Constraints: 323838
2801.22/2808.81 c #Conflicts: 1523000 | #Constraints: 324838
2801.22/2808.81 c #Conflicts: 1524000 | #Constraints: 325838
2801.22/2808.81 c #Conflicts: 1525000 | #Constraints: 326838
2801.22/2808.81 c #Conflicts: 1526000 | #Constraints: 327838
2801.22/2808.81 c #Conflicts: 1527000 | #Constraints: 328838
2801.22/2808.81 c #Conflicts: 1528000 | #Constraints: 329838
2801.22/2808.81 c #Conflicts: 1529000 | #Constraints: 330838
2801.22/2808.81 c #Conflicts: 1530000 | #Constraints: 331838
2801.22/2808.81 c #Conflicts: 1531000 | #Constraints: 332838
2801.22/2808.81 c #Conflicts: 1532000 | #Constraints: 333838
2801.22/2808.81 c #Conflicts: 1533000 | #Constraints: 334838
2801.22/2808.81 c #Conflicts: 1534000 | #Constraints: 335838
2801.22/2808.81 c #Conflicts: 1535000 | #Constraints: 336838
2801.22/2808.81 c #Conflicts: 1536000 | #Constraints: 337838
2801.22/2808.81 c #Conflicts: 1537000 | #Constraints: 338838
2801.22/2808.81 c #Conflicts: 1538000 | #Constraints: 339838
2801.22/2808.81 c #Conflicts: 1539000 | #Constraints: 340838
2801.22/2808.81 c #Conflicts: 1540000 | #Constraints: 341838
2801.22/2808.81 c #Conflicts: 1541000 | #Constraints: 342838
2801.22/2808.81 c #Conflicts: 1542000 | #Constraints: 343838
2801.22/2808.81 c #Conflicts: 1543000 | #Constraints: 344838
2801.22/2808.81 c #Conflicts: 1544000 | #Constraints: 345838
2801.22/2808.81 c #Conflicts: 1545000 | #Constraints: 346838
2801.22/2808.81 c #Conflicts: 1546000 | #Constraints: 347838
2801.22/2808.81 c #Conflicts: 1547000 | #Constraints: 348838
2801.22/2808.81 c #Conflicts: 1548000 | #Constraints: 349838
2801.22/2808.81 c #Conflicts: 1549000 | #Constraints: 350838
2801.22/2808.81 c #Conflicts: 1550000 | #Constraints: 351838
2801.22/2808.81 c #Conflicts: 1551000 | #Constraints: 352838
2801.22/2808.81 c #Conflicts: 1552000 | #Constraints: 353838
2801.22/2808.81 c #Conflicts: 1553000 | #Constraints: 354838
2801.22/2808.81 c #Conflicts: 1554000 | #Constraints: 355838
2801.22/2808.81 c #Conflicts: 1555000 | #Constraints: 356838
2801.22/2808.81 c #Conflicts: 1556000 | #Constraints: 357838
2801.22/2808.81 c #Conflicts: 1557000 | #Constraints: 358838
2801.22/2808.81 c #Conflicts: 1558000 | #Constraints: 359838
2801.22/2808.81 c #Conflicts: 1559000 | #Constraints: 360838
2801.22/2808.81 c #Conflicts: 1560000 | #Constraints: 361838
2801.22/2808.81 c #Conflicts: 1561000 | #Constraints: 362838
2801.22/2808.81 c #Conflicts: 1562000 | #Constraints: 363838
2801.22/2808.81 c #Conflicts: 1563000 | #Constraints: 364838
2801.22/2808.81 c #Conflicts: 1564000 | #Constraints: 365838
2801.22/2808.81 c #Conflicts: 1565000 | #Constraints: 366838
2801.22/2808.81 c #Conflicts: 1566000 | #Constraints: 367838
2801.22/2808.81 c #Conflicts: 1567000 | #Constraints: 368838
2801.22/2808.81 c #Conflicts: 1568000 | #Constraints: 369838
2801.22/2808.81 c #Conflicts: 1569000 | #Constraints: 370838
2801.22/2808.81 c #Conflicts: 1570000 | #Constraints: 371838
2801.22/2808.81 c #Conflicts: 1571000 | #Constraints: 372838
2801.22/2808.81 c #Conflicts: 1572000 | #Constraints: 373838
2801.22/2808.81 c #Conflicts: 1573000 | #Constraints: 374838
2801.22/2808.81 c #Conflicts: 1574000 | #Constraints: 375838
2801.22/2808.81 c INPROCESSING
2801.22/2808.81 c GARBAGE COLLECT
2801.22/2808.81 c #Conflicts: 1575000 | #Constraints: 303106
2801.22/2808.81 c #Conflicts: 1576000 | #Constraints: 304106
2801.22/2808.81 c #Conflicts: 1577000 | #Constraints: 305106
2801.22/2808.81 c #Conflicts: 1578000 | #Constraints: 306106
2801.22/2808.81 c #Conflicts: 1579000 | #Constraints: 307106
2801.22/2808.81 c #Conflicts: 1580000 | #Constraints: 308106
2801.22/2808.81 c #Conflicts: 1581000 | #Constraints: 309106
2801.22/2808.81 c #Conflicts: 1582000 | #Constraints: 310106
2801.22/2808.81 c #Conflicts: 1583000 | #Constraints: 311106
2801.22/2808.81 c #Conflicts: 1584000 | #Constraints: 312106
2801.22/2808.81 c #Conflicts: 1585000 | #Constraints: 313106
2986.89/2994.96 c #Conflicts: 1586000 | #Constraints: 314106
2986.89/2994.96 c #Conflicts: 1587000 | #Constraints: 315106
2986.89/2994.96 c #Conflicts: 1588000 | #Constraints: 316106
2986.89/2994.96 c #Conflicts: 1589000 | #Constraints: 317106
2986.89/2994.96 c #Conflicts: 1590000 | #Constraints: 318106
2986.89/2994.96 c #Conflicts: 1591000 | #Constraints: 319106
2986.89/2994.96 c #Conflicts: 1592000 | #Constraints: 320106
2986.89/2994.96 c #Conflicts: 1593000 | #Constraints: 321106
2986.89/2994.96 c #Conflicts: 1594000 | #Constraints: 322106
2986.89/2994.96 c #Conflicts: 1595000 | #Constraints: 323106
2986.89/2994.96 c #Conflicts: 1596000 | #Constraints: 324106
2986.89/2994.96 c #Conflicts: 1597000 | #Constraints: 325106
2986.89/2994.96 c #Conflicts: 1598000 | #Constraints: 326106
2986.89/2994.96 c #Conflicts: 1599000 | #Constraints: 327106
2986.89/2994.96 c #Conflicts: 1600000 | #Constraints: 328106
2986.89/2994.96 c #Conflicts: 1601000 | #Constraints: 329106
2986.89/2994.96 c #Conflicts: 1602000 | #Constraints: 330106
2986.89/2994.96 c #Conflicts: 1603000 | #Constraints: 331106
2986.89/2994.96 c #Conflicts: 1604000 | #Constraints: 332106
2986.89/2994.96 c #Conflicts: 1605000 | #Constraints: 333106
2986.89/2994.96 c #Conflicts: 1606000 | #Constraints: 334106
2986.89/2994.96 c #Conflicts: 1607000 | #Constraints: 335106
2986.89/2994.96 c #Conflicts: 1608000 | #Constraints: 336106
2986.89/2994.96 c #Conflicts: 1609000 | #Constraints: 337106
2986.89/2994.96 c #Conflicts: 1610000 | #Constraints: 338106
2986.89/2994.96 c #Conflicts: 1611000 | #Constraints: 339106
2986.89/2994.96 c #Conflicts: 1612000 | #Constraints: 340106
2986.89/2994.96 c #Conflicts: 1613000 | #Constraints: 341106
2986.89/2994.96 c #Conflicts: 1614000 | #Constraints: 342106
2986.89/2994.96 c #Conflicts: 1615000 | #Constraints: 343106
2986.89/2994.96 c #Conflicts: 1616000 | #Constraints: 344106
2986.89/2994.96 c #Conflicts: 1617000 | #Constraints: 345106
2986.89/2994.96 c #Conflicts: 1618000 | #Constraints: 346106
2986.89/2994.96 c #Conflicts: 1619000 | #Constraints: 347106
2986.89/2994.96 c #Conflicts: 1620000 | #Constraints: 348106
2986.89/2994.96 c #Conflicts: 1621000 | #Constraints: 349106
2986.89/2994.96 c #Conflicts: 1622000 | #Constraints: 350106
2986.89/2994.96 c #Conflicts: 1623000 | #Constraints: 351106
2986.89/2994.96 c #Conflicts: 1624000 | #Constraints: 352106
2986.89/2994.96 c #Conflicts: 1625000 | #Constraints: 353106
2986.89/2994.96 c #Conflicts: 1626000 | #Constraints: 354106
2986.89/2994.96 c #Conflicts: 1627000 | #Constraints: 355106
2986.89/2994.96 c #Conflicts: 1628000 | #Constraints: 356106
2986.89/2994.96 c #Conflicts: 1629000 | #Constraints: 357106
2986.89/2994.96 c #Conflicts: 1630000 | #Constraints: 358106
2986.89/2994.96 c #Conflicts: 1631000 | #Constraints: 359106
2986.89/2994.96 c #Conflicts: 1632000 | #Constraints: 360106
2986.89/2994.96 c #Conflicts: 1633000 | #Constraints: 361106
2986.89/2994.96 c #Conflicts: 1634000 | #Constraints: 362106
2986.89/2994.96 c #Conflicts: 1635000 | #Constraints: 363106
2986.89/2994.96 c #Conflicts: 1636000 | #Constraints: 364106
2986.89/2994.96 c #Conflicts: 1637000 | #Constraints: 365106
2986.89/2994.96 c #Conflicts: 1638000 | #Constraints: 366106
2986.89/2994.96 c #Conflicts: 1639000 | #Constraints: 367106
2986.89/2994.96 c #Conflicts: 1640000 | #Constraints: 368106
2986.89/2994.96 c #Conflicts: 1641000 | #Constraints: 369106
2986.89/2994.96 c #Conflicts: 1642000 | #Constraints: 370106
2986.89/2994.96 c #Conflicts: 1643000 | #Constraints: 371106
2986.89/2994.96 c #Conflicts: 1644000 | #Constraints: 372106
2986.89/2994.96 c #Conflicts: 1645000 | #Constraints: 373106
2986.89/2994.96 c #Conflicts: 1646000 | #Constraints: 374106
2986.89/2994.96 c #Conflicts: 1647000 | #Constraints: 375106
2986.89/2994.96 c #Conflicts: 1648000 | #Constraints: 376106
2986.89/2994.96 c #Conflicts: 1649000 | #Constraints: 377106
2986.89/2994.96 c #Conflicts: 1650000 | #Constraints: 378106
2986.89/2994.96 c #Conflicts: 1651000 | #Constraints: 379106
2986.89/2994.96 c #Conflicts: 1652000 | #Constraints: 380106
2986.89/2994.96 c #Conflicts: 1653000 | #Constraints: 381106
2986.89/2994.96 c #Conflicts: 1654000 | #Constraints: 382106
2986.89/2994.96 c INPROCESSING
2986.89/2994.96 c GARBAGE COLLECT
2986.89/2994.96 c #Conflicts: 1655000 | #Constraints: 305710
2986.89/2994.96 c #Conflicts: 1656000 | #Constraints: 306710
2986.89/2994.96 c #Conflicts: 1657000 | #Constraints: 307710
2986.89/2994.96 c #Conflicts: 1658000 | #Constraints: 308710
2986.89/2994.96 c #Conflicts: 1659000 | #Constraints: 309710
2986.89/2994.96 c #Conflicts: 1660000 | #Constraints: 310710
2986.89/2994.96 c #Conflicts: 1661000 | #Constraints: 311710
2986.89/2994.96 c #Conflicts: 1662000 | #Constraints: 312710
2986.89/2994.96 c #Conflicts: 1663000 | #Constraints: 313710
3054.42/3062.61 c #Conflicts: 1664000 | #Constraints: 314710
3054.42/3062.61 c #Conflicts: 1665000 | #Constraints: 315710
3054.42/3062.61 c #Conflicts: 1666000 | #Constraints: 316710
3054.42/3062.61 c #Conflicts: 1667000 | #Constraints: 317710
3054.42/3062.61 c #Conflicts: 1668000 | #Constraints: 318710
3054.42/3062.61 c #Conflicts: 1669000 | #Constraints: 319710
3054.42/3062.61 c #Conflicts: 1670000 | #Constraints: 320710
3054.42/3062.61 c #Conflicts: 1671000 | #Constraints: 321710
3054.42/3062.61 c #Conflicts: 1672000 | #Constraints: 322710
3054.42/3062.61 c #Conflicts: 1673000 | #Constraints: 323710
3054.42/3062.61 c #Conflicts: 1674000 | #Constraints: 324710
3054.42/3062.61 c #Conflicts: 1675000 | #Constraints: 325710
3054.42/3062.61 c #Conflicts: 1676000 | #Constraints: 326710
3054.42/3062.61 c #Conflicts: 1677000 | #Constraints: 327710
3054.42/3062.61 c #Conflicts: 1678000 | #Constraints: 328710
3054.42/3062.61 c #Conflicts: 1679000 | #Constraints: 329710
3054.42/3062.61 c #Conflicts: 1680000 | #Constraints: 330710
3054.42/3062.61 c #Conflicts: 1681000 | #Constraints: 331710
3054.42/3062.61 c #Conflicts: 1682000 | #Constraints: 332710
3054.42/3062.61 c #Conflicts: 1683000 | #Constraints: 333710
3054.42/3062.61 c #Conflicts: 1684000 | #Constraints: 334710
3054.42/3062.61 c #Conflicts: 1685000 | #Constraints: 335710
3054.42/3062.61 c #Conflicts: 1686000 | #Constraints: 336710
3054.42/3062.61 c #Conflicts: 1687000 | #Constraints: 337710
3054.42/3062.61 c #Conflicts: 1688000 | #Constraints: 338710
3054.42/3062.61 c #Conflicts: 1689000 | #Constraints: 339710
3054.42/3062.61 c #Conflicts: 1690000 | #Constraints: 340710
3054.42/3062.61 c #Conflicts: 1691000 | #Constraints: 341710
3054.42/3062.61 c #Conflicts: 1692000 | #Constraints: 342710
3054.42/3062.61 c #Conflicts: 1693000 | #Constraints: 343710
3054.42/3062.61 c #Conflicts: 1694000 | #Constraints: 344710
3054.42/3062.61 c #Conflicts: 1695000 | #Constraints: 345710
3054.42/3062.61 c #Conflicts: 1696000 | #Constraints: 346710
3054.42/3062.61 c #Conflicts: 1697000 | #Constraints: 347710
3054.42/3062.61 c #Conflicts: 1698000 | #Constraints: 348710
3054.42/3062.61 c #Conflicts: 1699000 | #Constraints: 349710
3054.42/3062.61 c #Conflicts: 1700000 | #Constraints: 350710
3054.42/3062.61 c #Conflicts: 1701000 | #Constraints: 351710
3054.42/3062.61 c #Conflicts: 1702000 | #Constraints: 352710
3054.42/3062.61 c #Conflicts: 1703000 | #Constraints: 353710
3054.42/3062.61 c #Conflicts: 1704000 | #Constraints: 354710
3054.42/3062.61 c #Conflicts: 1705000 | #Constraints: 355710
3054.42/3062.61 c #Conflicts: 1706000 | #Constraints: 356710
3054.42/3062.61 c #Conflicts: 1707000 | #Constraints: 357710
3054.42/3062.61 c #Conflicts: 1708000 | #Constraints: 358710
3054.42/3062.61 c #Conflicts: 1709000 | #Constraints: 359710
3054.42/3062.61 c #Conflicts: 1710000 | #Constraints: 360710
3054.42/3062.61 c #Conflicts: 1711000 | #Constraints: 361710
3054.42/3062.61 c #Conflicts: 1712000 | #Constraints: 362710
3054.42/3062.61 c #Conflicts: 1713000 | #Constraints: 363710
3054.42/3062.61 c #Conflicts: 1714000 | #Constraints: 364710
3054.42/3062.61 c #Conflicts: 1715000 | #Constraints: 365710
3054.42/3062.61 c #Conflicts: 1716000 | #Constraints: 366710
3054.42/3062.61 c #Conflicts: 1717000 | #Constraints: 367710
3054.42/3062.61 c #Conflicts: 1718000 | #Constraints: 368710
3054.42/3062.61 c #Conflicts: 1719000 | #Constraints: 369710
3054.42/3062.61 c #Conflicts: 1720000 | #Constraints: 370710
3054.42/3062.61 c #Conflicts: 1721000 | #Constraints: 371710
3054.42/3062.61 c #Conflicts: 1722000 | #Constraints: 372710
3054.42/3062.61 c #Conflicts: 1723000 | #Constraints: 373710
3054.42/3062.61 c #Conflicts: 1724000 | #Constraints: 374710
3054.42/3062.61 c #Conflicts: 1725000 | #Constraints: 375710
3054.42/3062.61 c #Conflicts: 1726000 | #Constraints: 376710
3054.42/3062.61 c #Conflicts: 1727000 | #Constraints: 377710
3054.42/3062.61 c #Conflicts: 1728000 | #Constraints: 378710
3054.42/3062.61 c #Conflicts: 1729000 | #Constraints: 379710
3054.42/3062.61 c #Conflicts: 1730000 | #Constraints: 380710
3054.42/3062.61 c #Conflicts: 1731000 | #Constraints: 381710
3054.42/3062.61 c #Conflicts: 1732000 | #Constraints: 382710
3054.42/3062.61 c #Conflicts: 1733000 | #Constraints: 383710
3054.42/3062.61 c #Conflicts: 1734000 | #Constraints: 384710
3054.42/3062.61 c #Conflicts: 1735000 | #Constraints: 385710
3054.42/3062.61 c #Conflicts: 1736000 | #Constraints: 386710
3054.42/3062.61 c #Conflicts: 1737000 | #Constraints: 387710
3054.42/3062.61 c INPROCESSING
3054.42/3062.61 c GARBAGE COLLECT
3054.42/3062.61 c #Conflicts: 1738000 | #Constraints: 311609
3054.42/3062.61 c #Conflicts: 1739000 | #Constraints: 312609
3054.42/3062.61 c #Conflicts: 1740000 | #Constraints: 313609
3054.42/3062.61 c #Conflicts: 1741000 | #Constraints: 314609
3120.66/3129.07 c #Conflicts: 1742000 | #Constraints: 315609
3120.66/3129.07 c #Conflicts: 1743000 | #Constraints: 316609
3120.66/3129.07 c #Conflicts: 1744000 | #Constraints: 317609
3120.66/3129.07 c #Conflicts: 1745000 | #Constraints: 318609
3120.66/3129.07 c #Conflicts: 1746000 | #Constraints: 319609
3120.66/3129.07 c #Conflicts: 1747000 | #Constraints: 320609
3120.66/3129.07 c #Conflicts: 1748000 | #Constraints: 321609
3120.66/3129.07 c #Conflicts: 1749000 | #Constraints: 322609
3120.66/3129.07 c #Conflicts: 1750000 | #Constraints: 323609
3120.66/3129.07 c #Conflicts: 1751000 | #Constraints: 324609
3120.66/3129.07 c #Conflicts: 1752000 | #Constraints: 325609
3120.66/3129.07 c #Conflicts: 1753000 | #Constraints: 326609
3120.66/3129.07 c #Conflicts: 1754000 | #Constraints: 327609
3120.66/3129.07 c #Conflicts: 1755000 | #Constraints: 328609
3120.66/3129.07 c #Conflicts: 1756000 | #Constraints: 329609
3120.66/3129.07 c #Conflicts: 1757000 | #Constraints: 330609
3120.66/3129.07 c #Conflicts: 1758000 | #Constraints: 331609
3120.66/3129.07 c #Conflicts: 1759000 | #Constraints: 332609
3120.66/3129.07 c #Conflicts: 1760000 | #Constraints: 333609
3120.66/3129.07 c #Conflicts: 1761000 | #Constraints: 334609
3120.66/3129.07 c #Conflicts: 1762000 | #Constraints: 335609
3120.66/3129.07 c #Conflicts: 1763000 | #Constraints: 336609
3120.66/3129.07 c #Conflicts: 1764000 | #Constraints: 337609
3120.66/3129.07 c #Conflicts: 1765000 | #Constraints: 338609
3120.66/3129.07 c #Conflicts: 1766000 | #Constraints: 339609
3120.66/3129.07 c #Conflicts: 1767000 | #Constraints: 340609
3120.66/3129.07 c #Conflicts: 1768000 | #Constraints: 341609
3120.66/3129.07 c #Conflicts: 1769000 | #Constraints: 342609
3120.66/3129.07 c #Conflicts: 1770000 | #Constraints: 343609
3120.66/3129.07 c #Conflicts: 1771000 | #Constraints: 344609
3120.66/3129.07 c #Conflicts: 1772000 | #Constraints: 345609
3120.66/3129.07 c #Conflicts: 1773000 | #Constraints: 346609
3120.66/3129.07 c #Conflicts: 1774000 | #Constraints: 347609
3120.66/3129.07 c #Conflicts: 1775000 | #Constraints: 348609
3120.66/3129.07 c #Conflicts: 1776000 | #Constraints: 349609
3120.66/3129.07 c #Conflicts: 1777000 | #Constraints: 350609
3120.66/3129.07 c #Conflicts: 1778000 | #Constraints: 351609
3120.66/3129.07 c #Conflicts: 1779000 | #Constraints: 352609
3120.66/3129.07 c #Conflicts: 1780000 | #Constraints: 353609
3120.66/3129.07 c #Conflicts: 1781000 | #Constraints: 354609
3120.66/3129.07 c #Conflicts: 1782000 | #Constraints: 355609
3120.66/3129.07 c #Conflicts: 1783000 | #Constraints: 356609
3120.66/3129.07 c #Conflicts: 1784000 | #Constraints: 357609
3120.66/3129.07 c #Conflicts: 1785000 | #Constraints: 358609
3120.66/3129.07 c #Conflicts: 1786000 | #Constraints: 359609
3120.66/3129.07 c #Conflicts: 1787000 | #Constraints: 360609
3120.66/3129.07 c #Conflicts: 1788000 | #Constraints: 361609
3120.66/3129.07 c #Conflicts: 1789000 | #Constraints: 362609
3120.66/3129.07 c #Conflicts: 1790000 | #Constraints: 363609
3120.66/3129.07 c #Conflicts: 1791000 | #Constraints: 364609
3120.66/3129.07 c #Conflicts: 1792000 | #Constraints: 365609
3120.66/3129.07 c #Conflicts: 1793000 | #Constraints: 366609
3120.66/3129.07 c #Conflicts: 1794000 | #Constraints: 367609
3120.66/3129.07 c #Conflicts: 1795000 | #Constraints: 368609
3120.66/3129.07 c #Conflicts: 1796000 | #Constraints: 369609
3120.66/3129.07 c #Conflicts: 1797000 | #Constraints: 370609
3120.66/3129.07 c #Conflicts: 1798000 | #Constraints: 371609
3120.66/3129.07 c #Conflicts: 1799000 | #Constraints: 372609
3120.66/3129.07 c #Conflicts: 1800000 | #Constraints: 373609
3120.66/3129.07 c #Conflicts: 1801000 | #Constraints: 374609
3120.66/3129.07 c #Conflicts: 1802000 | #Constraints: 375609
3120.66/3129.07 c #Conflicts: 1803000 | #Constraints: 376609
3120.66/3129.07 c #Conflicts: 1804000 | #Constraints: 377609
3120.66/3129.07 c #Conflicts: 1805000 | #Constraints: 378609
3120.66/3129.07 c #Conflicts: 1806000 | #Constraints: 379609
3120.66/3129.07 c #Conflicts: 1807000 | #Constraints: 380609
3120.66/3129.07 c #Conflicts: 1808000 | #Constraints: 381609
3120.66/3129.07 c #Conflicts: 1809000 | #Constraints: 382609
3120.66/3129.07 c #Conflicts: 1810000 | #Constraints: 383609
3120.66/3129.07 c #Conflicts: 1811000 | #Constraints: 384609
3120.66/3129.07 c #Conflicts: 1812000 | #Constraints: 385609
3120.66/3129.07 c #Conflicts: 1813000 | #Constraints: 386609
3120.66/3129.07 c #Conflicts: 1814000 | #Constraints: 387609
3120.66/3129.07 c #Conflicts: 1815000 | #Constraints: 388609
3120.66/3129.07 c #Conflicts: 1816000 | #Constraints: 389609
3120.66/3129.07 c #Conflicts: 1817000 | #Constraints: 390609
3120.66/3129.07 c #Conflicts: 1818000 | #Constraints: 391609
3120.66/3129.07 c #Conflicts: 1819000 | #Constraints: 392609
3120.66/3129.07 c #Conflicts: 1820000 | #Constraints: 393609
3600.06/3609.60 c #Conflicts: 1821000 | #Constraints: 394609
3600.06/3609.60 c INPROCESSING
3600.06/3609.60 c GARBAGE COLLECT
3600.06/3609.60 c #Conflicts: 1822000 | #Constraints: 316586
3600.06/3609.60 c #Conflicts: 1823000 | #Constraints: 317586
3600.06/3609.60 c #Conflicts: 1824000 | #Constraints: 318586
3600.06/3609.60 c #Conflicts: 1825000 | #Constraints: 319586
3600.06/3609.60 c #Conflicts: 1826000 | #Constraints: 320586
3600.06/3609.60 c #Conflicts: 1827000 | #Constraints: 321586
3600.06/3609.60 c #Conflicts: 1828000 | #Constraints: 322586
3600.06/3609.60 c #Conflicts: 1829000 | #Constraints: 323586
3600.06/3609.60 c #Conflicts: 1830000 | #Constraints: 324586
3600.06/3609.60 c #Conflicts: 1831000 | #Constraints: 325586
3600.06/3609.60 c #Conflicts: 1832000 | #Constraints: 326586
3600.06/3609.60 c #Conflicts: 1833000 | #Constraints: 327586
3600.06/3609.60 c #Conflicts: 1834000 | #Constraints: 328586
3600.06/3609.60 c #Conflicts: 1835000 | #Constraints: 329586
3600.06/3609.60 c #Conflicts: 1836000 | #Constraints: 330586
3600.06/3609.60 c #Conflicts: 1837000 | #Constraints: 331586
3600.06/3609.60 c #Conflicts: 1838000 | #Constraints: 332586
3600.06/3609.60 c #Conflicts: 1839000 | #Constraints: 333586
3600.06/3609.60 c #Conflicts: 1840000 | #Constraints: 334586
3600.06/3609.60 c #Conflicts: 1841000 | #Constraints: 335586
3600.06/3609.60 c #Conflicts: 1842000 | #Constraints: 336586
3600.06/3609.60 c #Conflicts: 1843000 | #Constraints: 337586
3600.06/3609.60 c #Conflicts: 1844000 | #Constraints: 338586
3600.06/3609.60 c #Conflicts: 1845000 | #Constraints: 339586
3600.06/3609.60 c #Conflicts: 1846000 | #Constraints: 340586
3600.06/3609.60 c #Conflicts: 1847000 | #Constraints: 341586
3600.06/3609.60 c #Conflicts: 1848000 | #Constraints: 342586
3600.06/3609.60 c #Conflicts: 1849000 | #Constraints: 343586
3600.06/3609.60 c #Conflicts: 1850000 | #Constraints: 344586
3600.06/3609.60 c #Conflicts: 1851000 | #Constraints: 345586
3600.06/3609.60 c #Conflicts: 1852000 | #Constraints: 346586
3600.06/3609.60 c #Conflicts: 1853000 | #Constraints: 347586
3600.06/3609.60 c #Conflicts: 1854000 | #Constraints: 348586
3600.06/3609.60 c #Conflicts: 1855000 | #Constraints: 349586
3600.06/3609.60 c #Conflicts: 1856000 | #Constraints: 350586
3600.06/3609.60 c #Conflicts: 1857000 | #Constraints: 351586
3600.06/3609.60 c #Conflicts: 1858000 | #Constraints: 352586
3600.06/3609.60 c #Conflicts: 1859000 | #Constraints: 353586
3600.06/3609.60 c #Conflicts: 1860000 | #Constraints: 354586
3600.06/3609.60 c #Conflicts: 1861000 | #Constraints: 355586
3600.06/3609.60 c #Conflicts: 1862000 | #Constraints: 356586
3600.06/3609.60 c #Conflicts: 1863000 | #Constraints: 357586
3600.06/3609.60 c #Conflicts: 1864000 | #Constraints: 358586
3600.06/3609.60 c #Conflicts: 1865000 | #Constraints: 359586
3600.06/3609.60 c #Conflicts: 1866000 | #Constraints: 360586
3600.06/3609.60 c #Conflicts: 1867000 | #Constraints: 361586
3600.06/3609.60 c #Conflicts: 1868000 | #Constraints: 362586
3600.06/3609.60 c #Conflicts: 1869000 | #Constraints: 363586
3600.06/3609.60 c #Conflicts: 1870000 | #Constraints: 364586
3600.06/3609.60 c #Conflicts: 1871000 | #Constraints: 365586
3600.06/3609.60 c #Conflicts: 1872000 | #Constraints: 366586
3600.06/3609.60 c #Conflicts: 1873000 | #Constraints: 367586
3600.06/3609.60 c #Conflicts: 1874000 | #Constraints: 368586
3600.06/3609.60 c #Conflicts: 1875000 | #Constraints: 369586
3600.06/3609.60 c #Conflicts: 1876000 | #Constraints: 370586
3600.06/3609.60 c #Conflicts: 1877000 | #Constraints: 371586
3600.06/3609.60 c #Conflicts: 1878000 | #Constraints: 372586
3600.06/3609.60 c #Conflicts: 1879000 | #Constraints: 373586
3600.06/3609.60 c #Conflicts: 1880000 | #Constraints: 374586
3600.06/3609.60 c #Conflicts: 1881000 | #Constraints: 375586
3600.06/3609.60 c #Conflicts: 1882000 | #Constraints: 376586
3600.06/3609.60 c #Conflicts: 1883000 | #Constraints: 377586
3600.06/3609.60 c #Conflicts: 1884000 | #Constraints: 378586
3600.06/3609.60 c #Conflicts: 1885000 | #Constraints: 379586
3600.06/3609.60 c cpu time 3580.05 s
3600.06/3609.60 c deterministic time 64886382615 6.49e+10
3600.06/3609.60 c optimization time 51.6995 s
3600.06/3609.60 c total solve time 3527.03 s
3600.06/3609.60 c core-guided solve time 0 s
3600.06/3609.60 c propagation time 1920.11 s
3600.06/3609.60 c conflict analysis time 219.381 s
3600.06/3609.60 c propagations 4713073071
3600.06/3609.60 c resolve steps 24551881
3600.06/3609.60 c decisions 9758974
3600.06/3609.60 c conflicts 1885847
3600.06/3609.60 c restarts 3642
3600.06/3609.60 c inprocessing phases 44
3600.06/3609.60 c garbage collections 32 ,( 72.73 )
3600.06/3609.60 c input clauses 56772 ,( 26.50 )
3600.06/3609.60 c input cardinalities 791 ,( 0.37 )
3600.06/3609.60 c input general constraints 156645 ,( 73.13 )
3600.06/3609.60 c input average constraint length 5.06
3600.06/3609.60 c input average constraint degree 4.71
3600.06/3609.60 c learned clauses 1587048 ,( 84.15 )
3600.06/3609.60 c learned cardinalities 51561 ,( 2.73 )
3600.06/3609.60 c learned general constraints 247290 ,( 13.11 )
3600.06/3609.60 c learned average constraint length 54.34
3600.06/3609.60 c learned average constraint degree 5816.43
3600.06/3609.60 c watched CF 32, 64, 128, Arb: 75644 , 0 , 0 , 0
3600.06/3609.60 c counting CF 32, 64, 128, Arb: 328291 , 0 , 0 , 0
3600.06/3609.60 c watched constraints 75644 ,( 18.73 )
3600.06/3609.60 c counting constraints 328291 ,( 81.27 )
3600.06/3609.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1699206430 , 297033307 , 12170301873 ,( 39234750 , 12131067123 )
3600.06/3609.60 c gcd simplifications 10144
3600.06/3609.60 c detected cardinalities 6154
3600.06/3609.60 c weakened non-implied lits 13999566
3600.06/3609.60 c weakened non-implying lits 20868
3600.06/3609.60 c original variables 101921
3600.06/3609.60 c clausal propagations 430533309
3600.06/3609.60 c cardinality propagations 33944108
3600.06/3609.60 c watched propagations 645802
3600.06/3609.60 c counting propagations 4245951292
3600.06/3609.60 c watch lookups 26885020287
3600.06/3609.60 c watch backjump lookups 0
3600.06/3609.60 c watch checks 4081744392
3600.06/3609.60 c propagation checks 24186116354
3600.06/3609.60 c constraint additions 285588377
3600.06/3609.60 c trail pops 4724633927
3600.06/3609.60 c formula constraints 214208
3600.06/3609.60 c learned constraints 1885846
3600.06/3609.60 c bound constraints 0
3600.06/3609.60 c core-guided constraints 0
3600.06/3609.60 c encountered formula constraints 12464631
3600.06/3609.60 c encountered learned constraints 13973042
3600.06/3609.60 c encountered bound constraints 0
3600.06/3609.60 c encountered core-guided constraints 0
3600.06/3609.60 c LP total time 1803.12 s
3600.06/3609.60 c LP solve time 1797.63 s
3600.06/3609.60 c LP constraints added 216557
3600.06/3609.60 c LP constraints removed 529
3600.06/3609.60 c LP pivots internal 205947
3600.06/3609.60 c LP pivots root 241285
3600.06/3609.60 c LP calls 14
3600.06/3609.60 c LP optimalities 7
3600.06/3609.60 c LP no pivot count 0
3600.06/3609.60 c LP infeasibilities 0
3600.06/3609.60 c LP valid Farkas constraints 0
3600.06/3609.60 c LP learned Farkas constraints 0
3600.06/3609.60 c LP basis resets 0
3600.06/3609.60 c LP cycling count 0
3600.06/3609.60 c LP singular count 0
3600.06/3609.60 c LP no primal count 0
3600.06/3609.60 c LP no farkas count 0
3600.06/3609.60 c LP other issue count 0
3600.06/3609.60 c LP Gomory cuts 53
3600.06/3609.60 c LP learned cuts 2296
3600.06/3609.60 c LP deleted cuts 529
3600.06/3609.60 c LP encountered Gomory constraints 55
3600.06/3609.60 c LP encountered Farkas constraints 0
3600.06/3609.60 c LP encountered learned Farkas constraints 0
3600.06/3609.60 c CG auxiliary variables introduced 0
3600.06/3609.60 c CG solutions found 0
3600.06/3609.60 c CG cores constructed 0
3600.06/3609.60 c CG core cardinality constraints returned 0
3600.06/3609.60 c CG unit cores 0
3600.06/3609.60 c CG single cores 0
3600.06/3609.60 c CG blocks removed during cardinality reduction 0
3600.06/3609.60 c CG first core best 0
3600.06/3609.60 c CG decision core best 0
3600.06/3609.60 c CG core reduction tie 0
3600.06/3609.60 c CG core degree average 0.00
3600.06/3609.60 c CG core slack average 0.00
3600.06/3609.60 c CG core upper bound improvements 0
3600.06/3609.60 c STR number of successful calls 0
3600.06/3609.60 c STR number of unsuccessful calls 0
3600.06/3609.60 c STR number of inconclusive calls 0
3600.06/3609.60 c STR number of successful attempts 0
3600.06/3609.60 c STR number of unsuccessful attempts 0
3600.06/3609.60 c STR number of inconclusive attempts 0
3600.06/3609.60 c STR average degree increase per successful call inf
3600.06/3609.60 c STR average degree increase per successful attempt inf
3600.06/3609.60 c STR total number of conflicts for successful attempts 0
3600.06/3609.60 c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.60 c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.60 c STR average number of conflicts per successful attempt inf
3600.06/3609.60 c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.60 c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.60 c AVG.sumWPerc 68.19
3600.06/3609.60 c bigint constraints 0
3600.06/3609.60 s UNKNOWN
3600.06/3609.60 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 (55315 MiB free)
memory of node 1: 64465 MiB (63591 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545315-1753236119/watcher-4545315-1753236119 -o /tmp/evaluation-result-4545315-1753236119/solver-4545315-1753236119 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753236119-162691 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4545315-1753236119.opb /tmp/proof-4545315-1753236119
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=162749, runsolver pid=162746
[startup+0.100059 s]*
/proc/loadavg: 1.02 1.82 2.98 5/268 162752
/proc/meminfo: memFree=121614048/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162751] ppid=162749 vsize=66692 memory=57964 CPUtime=0.08 cores=5,7
/proc/162751/stat : 162751 (pbsuma) R 162749 162749 162678 0 -1 4194304 6307 0 0 0 7 1 0 0 20 0 1 0 239234436 68292608 14491 18446744073709551615 4210688 4653049 140721972394160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 33738752 140721972402439 140721972402736 140721972402736 140721972408303 0
/proc/162751/statm: 16673 14491 960 108 0 14081 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 70884 KiB
Current children cumulated memory: 61036 KiB
[startup+0.205638 s]*
/proc/loadavg: 1.02 1.82 2.98 5/268 162753
/proc/meminfo: memFree=121536056/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162751] ppid=162749 vsize=123724 memory=105156 CPUtime=0.19 cores=5,7
/proc/162751/stat : 162751 (pbsuma) R 162749 162749 162678 0 -1 4194304 14464 0 0 0 16 3 0 0 20 0 1 0 239234436 126693376 26289 18446744073709551615 4210688 4653049 140721972394160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 33738752 140721972402439 140721972402736 140721972402736 140721972408303 0
/proc/162751/statm: 30931 26289 992 108 0 28339 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 127916 KiB
Current children cumulated memory: 108228 KiB
[startup+0.305596 s]*
/proc/loadavg: 1.02 1.82 2.98 5/268 162753
/proc/meminfo: memFree=121410484/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162751] ppid=162749 vsize=227688 memory=181892 CPUtime=0.29 cores=5,7
/proc/162751/stat : 162751 (pbsuma) R 162749 162749 162678 0 -1 4194304 21906 0 0 0 24 5 0 0 20 0 1 0 239234436 233152512 45473 18446744073709551615 4210688 4653049 140721972394160 0 0 0 0 0 0 0 0 0 17 5 0 0 0 0 0 4700520 4703148 33738752 140721972402439 140721972402736 140721972402736 140721972408303 0
/proc/162751/statm: 56922 45473 992 108 0 54330 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 231880 KiB
Current children cumulated memory: 184964 KiB
[startup+0.70019 s]
/proc/loadavg: 1.02 1.82 2.98 5/268 162754
/proc/meminfo: memFree=121363860/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
Current children cumulated CPU time: 0.56 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 3072 KiB
[startup+1.50019 s]
/proc/loadavg: 1.02 1.82 2.98 5/268 162755
/proc/meminfo: memFree=121424028/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=173880 memory=125444 CPUtime=0.9 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 26756 0 0 0 72 18 0 0 20 0 1 0 239234494 178053120 31361 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 43470 31361 2048 1147 0 30897 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 178072 KiB
Current children cumulated memory: 128516 KiB
[startup+3.10551 s]
/proc/loadavg: 1.02 1.82 2.98 5/268 162755
/proc/meminfo: memFree=120926928/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=480232 memory=413172 CPUtime=2.5 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 55202 0 0 0 218 32 0 0 20 0 1 0 239234494 491757568 103293 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 120058 103293 2304 1147 0 107485 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 484424 KiB
Current children cumulated memory: 416244 KiB
[startup+6.30021 s]
/proc/loadavg: 1.26 1.86 2.99 5/268 162755
/proc/meminfo: memFree=120899956/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=496172 memory=422128 CPUtime=5.68 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 56449 0 0 0 535 33 0 0 20 0 1 0 239234494 508080128 105532 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 124043 105532 2336 1147 0 111470 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 500364 KiB
Current children cumulated memory: 425200 KiB
[startup+12.7002 s]
/proc/loadavg: 1.48 1.89 2.99 5/268 162755
/proc/meminfo: memFree=120851584/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=496172 memory=426096 CPUtime=12.06 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 57454 0 0 0 1167 39 0 0 20 0 1 0 239234494 508080128 106524 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 124043 106524 2336 1147 0 111470 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 500364 KiB
Current children cumulated memory: 429168 KiB
[startup+25.5002 s]
/proc/loadavg: 2.12 2.01 3.02 5/268 162755
/proc/meminfo: memFree=120795220/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=496172 memory=426352 CPUtime=24.82 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 57533 0 0 0 2433 49 0 0 20 0 1 0 239234494 508080128 106588 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 124043 106588 2336 1147 0 111470 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 500364 KiB
Current children cumulated memory: 429424 KiB
[startup+51.1056 s]
/proc/loadavg: 2.76 2.18 3.04 5/268 162755
/proc/meminfo: memFree=120652312/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=511048 memory=436260 CPUtime=50.34 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 59019 0 0 0 4963 71 0 0 20 0 1 0 239234494 523313152 109065 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 127762 109065 2336 1147 0 115189 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 515240 KiB
Current children cumulated memory: 439332 KiB
[startup+102.3 s]
/proc/loadavg: 3.56 2.49 3.11 5/268 162757
/proc/meminfo: memFree=120381360/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=536492 memory=447112 CPUtime=101.38 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 61278 0 0 0 10017 121 0 0 20 0 1 0 239234494 549367808 111778 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 134123 111778 2336 1147 0 121550 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 540684 KiB
Current children cumulated memory: 450184 KiB
[startup+162.3 s]
/proc/loadavg: 3.91 2.78 3.17 5/268 162759
/proc/meminfo: memFree=119998400/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=545168 memory=460968 CPUtime=161.18 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 63269 0 0 0 15961 157 0 0 20 0 1 0 239234494 558252032 115242 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 136292 115242 2336 1147 0 123719 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 549360 KiB
Current children cumulated memory: 464040 KiB
[startup+222.3 s]
/proc/loadavg: 4.02 3.02 3.23 5/268 162764
/proc/meminfo: memFree=119667448/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=561704 memory=478168 CPUtime=220.99 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 66580 0 0 0 21909 190 0 0 20 0 1 0 239234494 575184896 119542 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 140426 119542 2336 1147 0 127853 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 565896 KiB
Current children cumulated memory: 481240 KiB
################
# More data... #
################
/proc/162755/statm: 202176 181270 2368 1147 0 189603 0
Current children cumulated CPU time: 3034.17 s
Current children cumulated vsize: 812896 KiB
Current children cumulated memory: 728152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/267 162950
/proc/meminfo: memFree=106243704/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=808704 memory=725080 CPUtime=3093.46 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 92758 0 0 0 307498 1848 0 0 20 0 1 0 239234494 828112896 181270 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202176 181270 2368 1147 0 189603 0
Current children cumulated CPU time: 3094.02 s
Current children cumulated vsize: 812896 KiB
Current children cumulated memory: 728152 KiB
[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/267 162952
/proc/meminfo: memFree=105911972/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=725848 CPUtime=3153.32 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 92978 0 0 0 313456 1876 0 0 20 0 1 0 239234494 829140992 181462 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181462 2368 1147 0 189854 0
Current children cumulated CPU time: 3153.88 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 728920 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 162957
/proc/meminfo: memFree=105685036/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=725848 CPUtime=3213.18 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 92979 0 0 0 319435 1883 0 0 20 0 1 0 239234494 829140992 181462 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181462 2368 1147 0 189854 0
Current children cumulated CPU time: 3213.74 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 728920 KiB
[startup+3282.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 162964
/proc/meminfo: memFree=105517108/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=725848 CPUtime=3273.02 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 92980 0 0 0 325415 1887 0 0 20 0 1 0 239234494 829140992 181462 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181462 2368 1147 0 189854 0
Current children cumulated CPU time: 3273.58 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 728920 KiB
[startup+3342.3 s]
/proc/loadavg: 4.22 4.13 4.10 5/269 162966
/proc/meminfo: memFree=105334892/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=725848 CPUtime=3332.86 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 92981 0 0 0 331392 1894 0 0 20 0 1 0 239234494 829140992 181462 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181462 2368 1147 0 189854 0
Current children cumulated CPU time: 3333.42 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 728920 KiB
[startup+3402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/268 162968
/proc/meminfo: memFree=105160032/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=725848 CPUtime=3392.71 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 92982 0 0 0 337373 1898 0 0 20 0 1 0 239234494 829140992 181462 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181462 2368 1147 0 189854 0
Current children cumulated CPU time: 3393.27 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 728920 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/268 162970
/proc/meminfo: memFree=104993696/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=725848 CPUtime=3452.56 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 92982 0 0 0 343353 1903 0 0 20 0 1 0 239234494 829140992 181462 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181462 2368 1147 0 189854 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 728920 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.14 4.10 5/267 162972
/proc/meminfo: memFree=104742912/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=727976 CPUtime=3512.41 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 93029 0 0 0 349334 1907 0 0 20 0 1 0 239234494 829140992 181994 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181994 2368 1147 0 189854 0
Current children cumulated CPU time: 3512.97 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 731048 KiB
[startup+3582.3 s]
/proc/loadavg: 4.18 4.14 4.10 5/266 162985
/proc/meminfo: memFree=104524568/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=727976 CPUtime=3572.27 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 93213 0 0 0 355302 1925 0 0 20 0 1 0 239234494 829140992 181994 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181994 2368 1147 0 189854 0
Current children cumulated CPU time: 3572.83 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 731048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/263 162989
/proc/meminfo: memFree=105676500/131250000 swapFree=33010416/33010684
[pid=162749] ppid=162746 vsize=4192 memory=3072 CPUtime=0.56 cores=5,7
/proc/162749/stat : 162749 (run-dec-break-l) S 162746 162749 162678 0 -1 4194304 238 36266 0 0 0 0 46 10 20 0 1 0 239234435 4292608 768 18446744073709551615 94418477932544 94418478827077 140732246841504 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 94418479066128 94418479113872 94418484559872 140732246845753 140732246845916 140732246845916 140732246851520 0
/proc/162749/statm: 1048 768 704 219 0 110 0
[pid=162755] ppid=162749 vsize=809708 memory=727976 CPUtime=3599.5 cores=5,7
/proc/162755/stat : 162755 (roundingsat) R 162749 162749 162678 0 -1 4194304 93220 0 0 0 358005 1945 0 0 20 0 1 0 239234494 829140992 181994 18446744073709551615 4227072 8923433 140737323587936 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 31838208 140737323596056 140737323596326 140737323596326 140737323601898 0
/proc/162755/statm: 202427 181994 2368 1147 0 189854 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 813900 KiB
Current children cumulated memory: 731048 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3609.6 s]
# the end of solver process 162749 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.466268 s, system=0.107082 s
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 162755 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3580.62 s, system=19.563 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): 3609.71
CPU time (s): 3600.19
CPU user time (s): 3580.62
CPU system time (s): 19.563
CPU usage (%): 99.7362
Max. virtual memory (cumulated for all children) (KiB): 813900
Max. memory (cumulated for all children) (KiB): 731048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.62
system time used= 19.563
maximum resident set size= 728360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129971
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2151192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289
involuntary context switches= 3566
# summary of solver processes directly reported to runsolver:
# pid: 162749,162755
# total CPU time (s): 3600.19
# total CPU user time (s): 3580.62
# total CPU system time (s): 19.563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.62761 second user time and 15.5607 second system time
The end
Begin job on nodeC028 at 2025-07-23 04:01:59
IDJOB=4545315
IDBENCH=180812
IDSOLVER=3358
FILE ID=nodeC028/4545315-1753236119
RUNJOBID= nodeC028-1753236119-162691
SLURM_JOB_ID= 9687869
Free space on /tmp= 432988 MiB
SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545315-1753236119/watcher-4545315-1753236119 -o /tmp/evaluation-result-4545315-1753236119/solver-4545315-1753236119 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1753236119-162691 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4545315-1753236119.opb /tmp/proof-4545315-1753236119
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=237252832
nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.173
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 : 7000.16
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 : 3598.823
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 : 7000.16
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 : 3600.081
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 : 7000.16
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 : 3600.217
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.139
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 : 7000.16
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.906
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 : 7000.16
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.461
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 : 7000.16
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 : 3600.078
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 : 7000.16
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 121818728 kB
MemAvailable: 129648528 kB
Buffers: 2132 kB
Cached: 8597112 kB
SwapCached: 4 kB
Active: 1025608 kB
Inactive: 7639928 kB
Active(anon): 84240 kB
Inactive(anon): 8308 kB
Active(file): 941368 kB
Inactive(file): 7631620 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50488 kB
Writeback: 0 kB
AnonPages: 69288 kB
Mapped: 108748 kB
Shmem: 26256 kB
KReclaimable: 192104 kB
Slab: 287352 kB
SReclaimable: 192104 kB
SUnreclaim: 95248 kB
KernelStack: 4128 kB
PageTables: 2804 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 342524 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150424 kB
VmallocChunk: 0 kB
Percpu: 3904 kB
HardwareCorrupted: 0 kB
AnonHugePages: 12288 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: 197332 kB
DirectMap2M: 7962624 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 417328 MiB
End job on nodeC028 at 2025-07-23 05:02:09