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-4545314-1753234272.opb'
0.38/0.43 c read 10.89MB (411.14ms)
0.38/0.43 c [cnf: #variables 101921 #clauses 213661 #duplicates 0 #arr 1079521]
0.38/0.43 c
0.38/0.43 c make graph and approximate orbits
0.86/0.98 c [group: #orbits ~= 0] (550.50ms)
0.86/0.98 c
0.86/0.98 c detect special group actions
0.86/0.98 c probe for Johnson action (limit=64)
0.86/0.99 c probe for row-column symmetry (limit=64, splits=16.78M)
0.97/1.02 c probe for row symmetry (limit=64, splits=16.78M)
0.97/1.04 c (60.31ms)
0.97/1.04 c
0.97/1.04 c detect symmetries on remainder
0.97/1.04 c [graph: #vertices 778442 #edges 3084762]
0.97/1.05 c dejavu (support_limit=2048.00MB, budget_limit=64)
1.07/1.12 c [group: #symmetries 1.00*10^0 #generators 0] (79.88ms)
1.07/1.12 c
1.07/1.12 c finalize break order and special generators
1.07/1.13 c
1.07/1.13 c generation finished
1.07/1.13 c [sbp: #constraints 0 #add_vars 0]
1.07/1.14 c
1.07/1.14 c write result to 'HOME/instance-4545314-1753234272.opb.pre'
1.07/1.18 c wrote 11.02MB (45.72ms)
1.07/1.18 c ------------------------------------------------------------------
1.07/1.18 c 550.50ms 47.08% approx_orbits
1.07/1.18 c 411.14ms 35.16% parse
1.07/1.18 c 79.88ms 6.83% detect_generic
1.07/1.18 c 60.31ms 5.16% detect_special
1.07/1.18 c 45.72ms 3.91% output
1.07/1.18 c 14.09ms 1.20% other
1.07/1.18 c 7.76ms 0.66% finalize_order
1.07/1.18 c ───────────────────────────────────────────────
1.07/1.18 c 1169.39ms 100% total
1.07/1.18 c ------------------------------------------------------------------
1.15/1.24 c RoundingSat 2
1.15/1.24 c branch pb25
1.15/1.24 c commit 63f22ad
2.44/2.56 c #variables 101921 #constraints 214208
165.58/166.18 c #Conflicts: 1000 | #Constraints: 215207
165.58/166.18 c #Conflicts: 2000 | #Constraints: 216207
165.58/166.18 c INPROCESSING
165.58/166.18 c GARBAGE COLLECT
165.58/166.18 c #Conflicts: 3000 | #Constraints: 157998
165.58/166.18 c #Conflicts: 4000 | #Constraints: 158998
165.58/166.18 c INPROCESSING
165.58/166.18 c #Conflicts: 5000 | #Constraints: 158478
165.58/166.18 c #Conflicts: 6000 | #Constraints: 159478
165.58/166.18 c INPROCESSING
165.58/166.18 c #Conflicts: 7000 | #Constraints: 158554
165.58/166.18 c #Conflicts: 8000 | #Constraints: 159554
165.58/166.18 c #Conflicts: 9000 | #Constraints: 160554
165.58/166.18 c #Conflicts: 10000 | #Constraints: 161554
165.58/166.18 c #Conflicts: 11000 | #Constraints: 162554
165.58/166.18 c #Conflicts: 12000 | #Constraints: 163554
165.58/166.18 c INPROCESSING
165.58/166.18 c #Conflicts: 13000 | #Constraints: 160534
165.58/166.18 c #Conflicts: 14000 | #Constraints: 161534
165.58/166.18 c #Conflicts: 15000 | #Constraints: 162534
165.58/166.18 c #Conflicts: 16000 | #Constraints: 163534
165.58/166.18 c INPROCESSING
165.58/166.18 c #Conflicts: 17000 | #Constraints: 160153
165.58/166.18 c #Conflicts: 18000 | #Constraints: 161153
165.58/166.18 c #Conflicts: 19000 | #Constraints: 162153
165.58/166.18 c #Conflicts: 20000 | #Constraints: 163153
165.58/166.18 c #Conflicts: 21000 | #Constraints: 164153
165.58/166.18 c #Conflicts: 22000 | #Constraints: 165153
165.58/166.18 c #Conflicts: 23000 | #Constraints: 166153
165.58/166.18 c #Conflicts: 24000 | #Constraints: 167153
165.58/166.18 c #Conflicts: 25000 | #Constraints: 168153
165.58/166.18 c INPROCESSING
165.58/166.18 c #Conflicts: 26000 | #Constraints: 162671
165.58/166.18 c #Conflicts: 27000 | #Constraints: 163671
165.58/166.18 c #Conflicts: 28000 | #Constraints: 164671
165.58/166.18 c #Conflicts: 29000 | #Constraints: 165671
165.58/166.18 c #Conflicts: 30000 | #Constraints: 166671
165.58/166.18 c INPROCESSING
165.58/166.18 c #Conflicts: 31000 | #Constraints: 161962
165.58/166.18 c #Conflicts: 32000 | #Constraints: 162962
165.58/166.18 c #Conflicts: 33000 | #Constraints: 163962
165.58/166.18 c #Conflicts: 34000 | #Constraints: 164962
165.58/166.18 c #Conflicts: 35000 | #Constraints: 165962
165.58/166.18 c #Conflicts: 36000 | #Constraints: 166962
165.58/166.18 c #Conflicts: 37000 | #Constraints: 167962
165.58/166.18 c #Conflicts: 38000 | #Constraints: 168962
165.58/166.18 c #Conflicts: 39000 | #Constraints: 169962
165.58/166.18 c #Conflicts: 40000 | #Constraints: 170962
165.58/166.18 c #Conflicts: 41000 | #Constraints: 171962
165.58/166.18 c #Conflicts: 42000 | #Constraints: 172962
165.58/166.18 c #Conflicts: 43000 | #Constraints: 173962
165.58/166.18 c INPROCESSING
165.58/166.18 c #Conflicts: 44000 | #Constraints: 165935
165.58/166.18 c #Conflicts: 45000 | #Constraints: 166935
165.58/166.18 c #Conflicts: 46000 | #Constraints: 167935
165.58/166.18 c #Conflicts: 47000 | #Constraints: 168935
165.58/166.18 c #Conflicts: 48000 | #Constraints: 169935
165.58/166.18 c #Conflicts: 49000 | #Constraints: 170935
165.58/166.18 c #Conflicts: 50000 | #Constraints: 171935
165.58/166.18 c #Conflicts: 51000 | #Constraints: 172935
165.58/166.18 c #Conflicts: 52000 | #Constraints: 173935
165.58/166.18 c #Conflicts: 53000 | #Constraints: 174935
165.58/166.18 c #Conflicts: 54000 | #Constraints: 175935
165.58/166.18 c #Conflicts: 55000 | #Constraints: 176935
165.58/166.18 c #Conflicts: 56000 | #Constraints: 177935
165.58/166.18 c #Conflicts: 57000 | #Constraints: 178935
165.58/166.18 c INPROCESSING
165.58/166.18 c GARBAGE COLLECT
165.58/166.18 c #Conflicts: 58000 | #Constraints: 168335
165.58/166.18 c #Conflicts: 59000 | #Constraints: 169335
165.58/166.18 c #Conflicts: 60000 | #Constraints: 170335
165.58/166.18 c #Conflicts: 61000 | #Constraints: 171335
165.58/166.18 c #Conflicts: 62000 | #Constraints: 172335
165.58/166.18 c #Conflicts: 63000 | #Constraints: 173335
165.58/166.18 c #Conflicts: 64000 | #Constraints: 174335
165.58/166.18 c #Conflicts: 65000 | #Constraints: 175335
165.58/166.18 c #Conflicts: 66000 | #Constraints: 176335
165.58/166.18 c #Conflicts: 67000 | #Constraints: 177335
165.58/166.18 c #Conflicts: 68000 | #Constraints: 178335
165.58/166.18 c #Conflicts: 69000 | #Constraints: 179335
165.58/166.18 c #Conflicts: 70000 | #Constraints: 180335
165.58/166.18 c #Conflicts: 71000 | #Constraints: 181335
165.58/166.18 c #Conflicts: 72000 | #Constraints: 182335
165.58/166.18 c #Conflicts: 73000 | #Constraints: 183335
165.58/166.18 c #Conflicts: 74000 | #Constraints: 184335
165.58/166.18 c INPROCESSING
165.58/166.18 c #Conflicts: 75000 | #Constraints: 171471
165.58/166.18 c #Conflicts: 76000 | #Constraints: 172471
395.23/396.48 c #Conflicts: 77000 | #Constraints: 173471
395.23/396.48 c #Conflicts: 78000 | #Constraints: 174471
395.23/396.48 c #Conflicts: 79000 | #Constraints: 175471
395.23/396.48 c #Conflicts: 80000 | #Constraints: 176471
395.23/396.48 c #Conflicts: 81000 | #Constraints: 177471
395.23/396.48 c #Conflicts: 82000 | #Constraints: 178471
395.23/396.48 c #Conflicts: 83000 | #Constraints: 179471
395.23/396.48 c #Conflicts: 84000 | #Constraints: 180471
395.23/396.48 c #Conflicts: 85000 | #Constraints: 181471
395.23/396.48 c #Conflicts: 86000 | #Constraints: 182471
395.23/396.48 c #Conflicts: 87000 | #Constraints: 183471
395.23/396.48 c #Conflicts: 88000 | #Constraints: 184471
395.23/396.48 c #Conflicts: 89000 | #Constraints: 185471
395.23/396.48 c #Conflicts: 90000 | #Constraints: 186471
395.23/396.48 c #Conflicts: 91000 | #Constraints: 187471
395.23/396.48 c #Conflicts: 92000 | #Constraints: 188471
395.23/396.48 c INPROCESSING
395.23/396.48 c #Conflicts: 93000 | #Constraints: 173411
395.23/396.48 c #Conflicts: 94000 | #Constraints: 174411
395.23/396.48 c #Conflicts: 95000 | #Constraints: 175411
395.23/396.48 c #Conflicts: 96000 | #Constraints: 176411
395.23/396.48 c #Conflicts: 97000 | #Constraints: 177411
395.23/396.48 c #Conflicts: 98000 | #Constraints: 178411
395.23/396.48 c #Conflicts: 99000 | #Constraints: 179411
395.23/396.48 c #Conflicts: 100000 | #Constraints: 180411
395.23/396.48 c #Conflicts: 101000 | #Constraints: 181411
395.23/396.48 c #Conflicts: 102000 | #Constraints: 182411
395.23/396.48 c #Conflicts: 103000 | #Constraints: 183411
395.23/396.48 c #Conflicts: 104000 | #Constraints: 184411
395.23/396.48 c #Conflicts: 105000 | #Constraints: 185411
395.23/396.48 c #Conflicts: 106000 | #Constraints: 186411
395.23/396.48 c #Conflicts: 107000 | #Constraints: 187411
395.23/396.48 c #Conflicts: 108000 | #Constraints: 188411
395.23/396.48 c #Conflicts: 109000 | #Constraints: 189411
395.23/396.48 c #Conflicts: 110000 | #Constraints: 190411
395.23/396.48 c #Conflicts: 111000 | #Constraints: 191411
395.23/396.48 c #Conflicts: 112000 | #Constraints: 192411
395.23/396.48 c INPROCESSING
395.23/396.48 c GARBAGE COLLECT
395.23/396.48 c #Conflicts: 113000 | #Constraints: 175265
395.23/396.48 c #Conflicts: 114000 | #Constraints: 176265
395.23/396.48 c #Conflicts: 115000 | #Constraints: 177265
395.23/396.48 c #Conflicts: 116000 | #Constraints: 178265
395.23/396.48 c #Conflicts: 117000 | #Constraints: 179265
395.23/396.48 c #Conflicts: 118000 | #Constraints: 180265
395.23/396.48 c #Conflicts: 119000 | #Constraints: 181265
395.23/396.48 c #Conflicts: 120000 | #Constraints: 182265
395.23/396.48 c #Conflicts: 121000 | #Constraints: 183265
395.23/396.48 c #Conflicts: 122000 | #Constraints: 184265
395.23/396.48 c #Conflicts: 123000 | #Constraints: 185265
395.23/396.48 c #Conflicts: 124000 | #Constraints: 186265
395.23/396.48 c #Conflicts: 125000 | #Constraints: 187265
395.23/396.48 c #Conflicts: 126000 | #Constraints: 188265
395.23/396.48 c #Conflicts: 127000 | #Constraints: 189265
395.23/396.48 c #Conflicts: 128000 | #Constraints: 190265
395.23/396.48 c #Conflicts: 129000 | #Constraints: 191265
395.23/396.48 c #Conflicts: 130000 | #Constraints: 192265
395.23/396.48 c #Conflicts: 131000 | #Constraints: 193265
395.23/396.48 c #Conflicts: 132000 | #Constraints: 194265
395.23/396.48 c #Conflicts: 133000 | #Constraints: 195265
395.23/396.48 c #Conflicts: 134000 | #Constraints: 196265
395.23/396.48 c #Conflicts: 135000 | #Constraints: 197265
395.23/396.48 c INPROCESSING
395.23/396.48 c #Conflicts: 136000 | #Constraints: 178094
395.23/396.48 c #Conflicts: 137000 | #Constraints: 179094
395.23/396.48 c #Conflicts: 138000 | #Constraints: 180094
395.23/396.48 c #Conflicts: 139000 | #Constraints: 181094
395.23/396.48 c #Conflicts: 140000 | #Constraints: 182094
395.23/396.48 c #Conflicts: 141000 | #Constraints: 183094
395.23/396.48 c #Conflicts: 142000 | #Constraints: 184094
395.23/396.48 c #Conflicts: 143000 | #Constraints: 185094
395.23/396.48 c #Conflicts: 144000 | #Constraints: 186094
395.23/396.48 c #Conflicts: 145000 | #Constraints: 187094
395.23/396.48 c #Conflicts: 146000 | #Constraints: 188094
395.23/396.48 c #Conflicts: 147000 | #Constraints: 189094
395.23/396.48 c #Conflicts: 148000 | #Constraints: 190094
395.23/396.48 c #Conflicts: 149000 | #Constraints: 191094
395.23/396.48 c #Conflicts: 150000 | #Constraints: 192094
395.23/396.48 c #Conflicts: 151000 | #Constraints: 193094
395.23/396.48 c #Conflicts: 152000 | #Constraints: 194094
395.23/396.48 c #Conflicts: 153000 | #Constraints: 195094
674.55/676.54 c #Conflicts: 154000 | #Constraints: 196094
674.55/676.54 c #Conflicts: 155000 | #Constraints: 197094
674.55/676.54 c #Conflicts: 156000 | #Constraints: 198094
674.55/676.54 c #Conflicts: 157000 | #Constraints: 199094
674.55/676.54 c #Conflicts: 158000 | #Constraints: 200094
674.55/676.54 c #Conflicts: 159000 | #Constraints: 201094
674.55/676.54 c INPROCESSING
674.55/676.54 c GARBAGE COLLECT
674.55/676.54 c #Conflicts: 160000 | #Constraints: 179950
674.55/676.54 c #Conflicts: 161000 | #Constraints: 180950
674.55/676.54 c #Conflicts: 162000 | #Constraints: 181950
674.55/676.54 c #Conflicts: 163000 | #Constraints: 182950
674.55/676.54 c #Conflicts: 164000 | #Constraints: 183950
674.55/676.54 c #Conflicts: 165000 | #Constraints: 184950
674.55/676.54 c #Conflicts: 166000 | #Constraints: 185950
674.55/676.54 c #Conflicts: 167000 | #Constraints: 186950
674.55/676.54 c #Conflicts: 168000 | #Constraints: 187950
674.55/676.54 c #Conflicts: 169000 | #Constraints: 188950
674.55/676.54 c #Conflicts: 170000 | #Constraints: 189950
674.55/676.54 c #Conflicts: 171000 | #Constraints: 190950
674.55/676.54 c #Conflicts: 172000 | #Constraints: 191950
674.55/676.54 c #Conflicts: 173000 | #Constraints: 192950
674.55/676.54 c #Conflicts: 174000 | #Constraints: 193950
674.55/676.54 c #Conflicts: 175000 | #Constraints: 194950
674.55/676.54 c #Conflicts: 176000 | #Constraints: 195950
674.55/676.54 c #Conflicts: 177000 | #Constraints: 196950
674.55/676.54 c #Conflicts: 178000 | #Constraints: 197950
674.55/676.54 c #Conflicts: 179000 | #Constraints: 198950
674.55/676.54 c #Conflicts: 180000 | #Constraints: 199950
674.55/676.54 c #Conflicts: 181000 | #Constraints: 200950
674.55/676.54 c #Conflicts: 182000 | #Constraints: 201950
674.55/676.54 c #Conflicts: 183000 | #Constraints: 202950
674.55/676.54 c #Conflicts: 184000 | #Constraints: 203950
674.55/676.54 c #Conflicts: 185000 | #Constraints: 204950
674.55/676.54 c #Conflicts: 186000 | #Constraints: 205950
674.55/676.54 c INPROCESSING
674.55/676.54 c #Conflicts: 187000 | #Constraints: 182638
674.55/676.54 c #Conflicts: 188000 | #Constraints: 183638
674.55/676.54 c #Conflicts: 189000 | #Constraints: 184638
674.55/676.54 c #Conflicts: 190000 | #Constraints: 185638
674.55/676.54 c #Conflicts: 191000 | #Constraints: 186638
674.55/676.54 c #Conflicts: 192000 | #Constraints: 187638
674.55/676.54 c #Conflicts: 193000 | #Constraints: 188638
674.55/676.54 c #Conflicts: 194000 | #Constraints: 189638
674.55/676.54 c #Conflicts: 195000 | #Constraints: 190638
674.55/676.54 c #Conflicts: 196000 | #Constraints: 191638
674.55/676.54 c #Conflicts: 197000 | #Constraints: 192638
674.55/676.54 c #Conflicts: 198000 | #Constraints: 193638
674.55/676.54 c #Conflicts: 199000 | #Constraints: 194638
674.55/676.54 c #Conflicts: 200000 | #Constraints: 195638
674.55/676.54 c #Conflicts: 201000 | #Constraints: 196638
674.55/676.54 c #Conflicts: 202000 | #Constraints: 197638
674.55/676.54 c #Conflicts: 203000 | #Constraints: 198638
674.55/676.54 c #Conflicts: 204000 | #Constraints: 199638
674.55/676.54 c #Conflicts: 205000 | #Constraints: 200638
674.55/676.54 c #Conflicts: 206000 | #Constraints: 201638
674.55/676.54 c #Conflicts: 207000 | #Constraints: 202638
674.55/676.54 c #Conflicts: 208000 | #Constraints: 203638
674.55/676.54 c #Conflicts: 209000 | #Constraints: 204638
674.55/676.54 c #Conflicts: 210000 | #Constraints: 205638
674.55/676.54 c #Conflicts: 211000 | #Constraints: 206638
674.55/676.55 c #Conflicts: 212000 | #Constraints: 207638
674.55/676.55 c #Conflicts: 213000 | #Constraints: 208638
674.55/676.55 c #Conflicts: 214000 | #Constraints: 209638
674.55/676.55 c INPROCESSING
674.55/676.55 c GARBAGE COLLECT
674.55/676.55 c rational objective 25171.5
759.51/761.73 c #Conflicts: 215000 | #Constraints: 185139
759.51/761.73 c #Conflicts: 216000 | #Constraints: 186139
759.51/761.73 c #Conflicts: 217000 | #Constraints: 187139
759.51/761.73 c #Conflicts: 218000 | #Constraints: 188139
759.51/761.73 c #Conflicts: 219000 | #Constraints: 189139
759.51/761.73 c #Conflicts: 220000 | #Constraints: 190139
759.51/761.73 c #Conflicts: 221000 | #Constraints: 191139
759.51/761.73 c #Conflicts: 222000 | #Constraints: 192139
759.51/761.73 c #Conflicts: 223000 | #Constraints: 193139
759.51/761.73 c #Conflicts: 224000 | #Constraints: 194139
759.51/761.73 c #Conflicts: 225000 | #Constraints: 195139
759.51/761.73 c #Conflicts: 226000 | #Constraints: 196139
759.51/761.73 c #Conflicts: 227000 | #Constraints: 197139
759.51/761.73 c #Conflicts: 228000 | #Constraints: 198139
759.51/761.73 c #Conflicts: 229000 | #Constraints: 199139
759.51/761.73 c #Conflicts: 230000 | #Constraints: 200139
759.51/761.73 c #Conflicts: 231000 | #Constraints: 201139
759.51/761.73 c #Conflicts: 232000 | #Constraints: 202139
759.51/761.73 c #Conflicts: 233000 | #Constraints: 203139
759.51/761.73 c #Conflicts: 234000 | #Constraints: 204139
759.51/761.73 c #Conflicts: 235000 | #Constraints: 205139
759.51/761.73 c #Conflicts: 236000 | #Constraints: 206139
759.51/761.73 c #Conflicts: 237000 | #Constraints: 207139
759.51/761.73 c #Conflicts: 238000 | #Constraints: 208139
759.51/761.73 c #Conflicts: 239000 | #Constraints: 209139
759.51/761.73 c #Conflicts: 240000 | #Constraints: 210139
759.51/761.73 c #Conflicts: 241000 | #Constraints: 211139
759.51/761.73 c #Conflicts: 242000 | #Constraints: 212139
759.51/761.73 c #Conflicts: 243000 | #Constraints: 213139
759.51/761.73 c #Conflicts: 244000 | #Constraints: 214139
759.51/761.73 c INPROCESSING
759.51/761.73 c #Conflicts: 245000 | #Constraints: 188342
759.51/761.73 c #Conflicts: 246000 | #Constraints: 189342
759.51/761.73 c #Conflicts: 247000 | #Constraints: 190342
759.51/761.73 c #Conflicts: 248000 | #Constraints: 191342
759.51/761.73 c #Conflicts: 249000 | #Constraints: 192342
759.51/761.73 c #Conflicts: 250000 | #Constraints: 193342
759.51/761.73 c #Conflicts: 251000 | #Constraints: 194342
759.51/761.73 c #Conflicts: 252000 | #Constraints: 195342
759.51/761.73 c #Conflicts: 253000 | #Constraints: 196342
759.51/761.73 c #Conflicts: 254000 | #Constraints: 197342
759.51/761.73 c #Conflicts: 255000 | #Constraints: 198342
759.51/761.73 c #Conflicts: 256000 | #Constraints: 199342
759.51/761.73 c #Conflicts: 257000 | #Constraints: 200342
759.51/761.73 c #Conflicts: 258000 | #Constraints: 201342
759.51/761.73 c #Conflicts: 259000 | #Constraints: 202342
759.51/761.73 c #Conflicts: 260000 | #Constraints: 203342
759.51/761.73 c #Conflicts: 261000 | #Constraints: 204342
759.51/761.73 c #Conflicts: 262000 | #Constraints: 205342
759.51/761.73 c #Conflicts: 263000 | #Constraints: 206342
759.51/761.73 c #Conflicts: 264000 | #Constraints: 207342
759.51/761.73 c #Conflicts: 265000 | #Constraints: 208342
759.51/761.73 c #Conflicts: 266000 | #Constraints: 209342
759.51/761.73 c #Conflicts: 267000 | #Constraints: 210342
759.51/761.73 c #Conflicts: 268000 | #Constraints: 211342
759.51/761.73 c #Conflicts: 269000 | #Constraints: 212342
759.51/761.73 c #Conflicts: 270000 | #Constraints: 213342
759.51/761.73 c #Conflicts: 271000 | #Constraints: 214342
759.51/761.73 c #Conflicts: 272000 | #Constraints: 215342
759.51/761.73 c #Conflicts: 273000 | #Constraints: 216342
759.51/761.73 c #Conflicts: 274000 | #Constraints: 217342
759.51/761.73 c #Conflicts: 275000 | #Constraints: 218342
759.51/761.73 c #Conflicts: 276000 | #Constraints: 219342
759.51/761.73 c #Conflicts: 277000 | #Constraints: 220342
759.51/761.73 c INPROCESSING
759.51/761.73 c GARBAGE COLLECT
759.51/761.73 c #Conflicts: 278000 | #Constraints: 192870
759.51/761.73 c #Conflicts: 279000 | #Constraints: 193870
759.51/761.73 c #Conflicts: 280000 | #Constraints: 194870
759.51/761.73 c #Conflicts: 281000 | #Constraints: 195870
759.51/761.73 c #Conflicts: 282000 | #Constraints: 196870
759.51/761.73 c #Conflicts: 283000 | #Constraints: 197870
759.51/761.73 c #Conflicts: 284000 | #Constraints: 198870
759.51/761.73 c #Conflicts: 285000 | #Constraints: 199870
759.51/761.73 c #Conflicts: 286000 | #Constraints: 200870
759.51/761.73 c #Conflicts: 287000 | #Constraints: 201870
759.51/761.73 c #Conflicts: 288000 | #Constraints: 202870
759.51/761.73 c #Conflicts: 289000 | #Constraints: 203870
759.51/761.73 c #Conflicts: 290000 | #Constraints: 204870
759.51/761.73 c #Conflicts: 291000 | #Constraints: 205870
759.51/761.73 c #Conflicts: 292000 | #Constraints: 206870
833.62/836.06 c #Conflicts: 293000 | #Constraints: 207870
833.62/836.06 c #Conflicts: 294000 | #Constraints: 208870
833.62/836.06 c #Conflicts: 295000 | #Constraints: 209870
833.62/836.06 c #Conflicts: 296000 | #Constraints: 210870
833.62/836.06 c #Conflicts: 297000 | #Constraints: 211870
833.62/836.06 c #Conflicts: 298000 | #Constraints: 212870
833.62/836.06 c #Conflicts: 299000 | #Constraints: 213870
833.62/836.06 c #Conflicts: 300000 | #Constraints: 214870
833.62/836.06 c #Conflicts: 301000 | #Constraints: 215870
833.62/836.06 c #Conflicts: 302000 | #Constraints: 216870
833.62/836.06 c #Conflicts: 303000 | #Constraints: 217870
833.62/836.06 c #Conflicts: 304000 | #Constraints: 218870
833.62/836.06 c #Conflicts: 305000 | #Constraints: 219870
833.62/836.06 c #Conflicts: 306000 | #Constraints: 220870
833.62/836.06 c #Conflicts: 307000 | #Constraints: 221870
833.62/836.06 c #Conflicts: 308000 | #Constraints: 222870
833.62/836.06 c #Conflicts: 309000 | #Constraints: 223870
833.62/836.06 c #Conflicts: 310000 | #Constraints: 224870
833.62/836.06 c #Conflicts: 311000 | #Constraints: 225870
833.62/836.06 c INPROCESSING
833.62/836.06 c GARBAGE COLLECT
833.62/836.07 c #Conflicts: 312000 | #Constraints: 196584
833.62/836.07 c #Conflicts: 313000 | #Constraints: 197584
833.62/836.07 c #Conflicts: 314000 | #Constraints: 198584
833.62/836.07 c #Conflicts: 315000 | #Constraints: 199584
833.62/836.07 c #Conflicts: 316000 | #Constraints: 200584
833.62/836.07 c #Conflicts: 317000 | #Constraints: 201584
833.62/836.07 c #Conflicts: 318000 | #Constraints: 202584
833.62/836.07 c #Conflicts: 319000 | #Constraints: 203584
833.62/836.07 c #Conflicts: 320000 | #Constraints: 204584
833.62/836.07 c #Conflicts: 321000 | #Constraints: 205584
833.62/836.07 c #Conflicts: 322000 | #Constraints: 206584
833.62/836.07 c #Conflicts: 323000 | #Constraints: 207584
833.62/836.07 c #Conflicts: 324000 | #Constraints: 208584
833.62/836.07 c #Conflicts: 325000 | #Constraints: 209584
833.62/836.07 c #Conflicts: 326000 | #Constraints: 210584
833.62/836.07 c #Conflicts: 327000 | #Constraints: 211584
833.62/836.07 c #Conflicts: 328000 | #Constraints: 212584
833.62/836.07 c #Conflicts: 329000 | #Constraints: 213584
833.62/836.07 c #Conflicts: 330000 | #Constraints: 214584
833.62/836.07 c #Conflicts: 331000 | #Constraints: 215584
833.62/836.07 c #Conflicts: 332000 | #Constraints: 216584
833.62/836.07 c #Conflicts: 333000 | #Constraints: 217584
833.62/836.07 c #Conflicts: 334000 | #Constraints: 218584
833.62/836.07 c #Conflicts: 335000 | #Constraints: 219584
833.62/836.07 c #Conflicts: 336000 | #Constraints: 220584
833.62/836.07 c #Conflicts: 337000 | #Constraints: 221584
833.62/836.07 c #Conflicts: 338000 | #Constraints: 222584
833.62/836.07 c #Conflicts: 339000 | #Constraints: 223584
833.62/836.07 c #Conflicts: 340000 | #Constraints: 224584
833.62/836.07 c #Conflicts: 341000 | #Constraints: 225584
833.62/836.07 c #Conflicts: 342000 | #Constraints: 226584
833.62/836.07 c #Conflicts: 343000 | #Constraints: 227584
833.62/836.07 c #Conflicts: 344000 | #Constraints: 228584
833.62/836.07 c #Conflicts: 345000 | #Constraints: 229584
833.62/836.07 c #Conflicts: 346000 | #Constraints: 230584
833.62/836.07 c #Conflicts: 347000 | #Constraints: 231584
833.62/836.07 c #Conflicts: 348000 | #Constraints: 232584
833.62/836.07 c INPROCESSING
833.62/836.07 c GARBAGE COLLECT
833.62/836.07 c #Conflicts: 349000 | #Constraints: 201302
833.62/836.07 c #Conflicts: 350000 | #Constraints: 202302
833.62/836.07 c #Conflicts: 351000 | #Constraints: 203302
833.62/836.07 c #Conflicts: 352000 | #Constraints: 204302
833.62/836.07 c #Conflicts: 353000 | #Constraints: 205302
833.62/836.07 c #Conflicts: 354000 | #Constraints: 206302
833.62/836.07 c #Conflicts: 355000 | #Constraints: 207302
833.62/836.07 c #Conflicts: 356000 | #Constraints: 208302
833.62/836.07 c #Conflicts: 357000 | #Constraints: 209302
833.62/836.07 c #Conflicts: 358000 | #Constraints: 210302
833.62/836.07 c #Conflicts: 359000 | #Constraints: 211302
833.62/836.07 c #Conflicts: 360000 | #Constraints: 212302
833.62/836.07 c #Conflicts: 361000 | #Constraints: 213302
833.62/836.07 c #Conflicts: 362000 | #Constraints: 214302
833.62/836.07 c #Conflicts: 363000 | #Constraints: 215302
833.62/836.07 c #Conflicts: 364000 | #Constraints: 216302
833.62/836.07 c #Conflicts: 365000 | #Constraints: 217302
833.62/836.07 c #Conflicts: 366000 | #Constraints: 218302
833.62/836.07 c #Conflicts: 367000 | #Constraints: 219302
833.62/836.07 c #Conflicts: 368000 | #Constraints: 220302
833.62/836.07 c #Conflicts: 369000 | #Constraints: 221302
833.62/836.07 c #Conflicts: 370000 | #Constraints: 222302
963.86/966.69 c #Conflicts: 371000 | #Constraints: 223302
963.86/966.69 c #Conflicts: 372000 | #Constraints: 224302
963.86/966.69 c #Conflicts: 373000 | #Constraints: 225302
963.86/966.69 c #Conflicts: 374000 | #Constraints: 226302
963.86/966.69 c #Conflicts: 375000 | #Constraints: 227302
963.86/966.69 c #Conflicts: 376000 | #Constraints: 228302
963.86/966.69 c #Conflicts: 377000 | #Constraints: 229302
963.86/966.69 c #Conflicts: 378000 | #Constraints: 230302
963.86/966.69 c #Conflicts: 379000 | #Constraints: 231302
963.86/966.69 c #Conflicts: 380000 | #Constraints: 232302
963.86/966.69 c #Conflicts: 381000 | #Constraints: 233302
963.86/966.69 c #Conflicts: 382000 | #Constraints: 234302
963.86/966.69 c #Conflicts: 383000 | #Constraints: 235302
963.86/966.69 c #Conflicts: 384000 | #Constraints: 236302
963.86/966.69 c #Conflicts: 385000 | #Constraints: 237302
963.86/966.69 c #Conflicts: 386000 | #Constraints: 238302
963.86/966.69 c INPROCESSING
963.86/966.69 c GARBAGE COLLECT
963.86/966.69 c #Conflicts: 387000 | #Constraints: 205155
963.86/966.69 c #Conflicts: 388000 | #Constraints: 206155
963.86/966.69 c #Conflicts: 389000 | #Constraints: 207155
963.86/966.69 c #Conflicts: 390000 | #Constraints: 208155
963.86/966.69 c #Conflicts: 391000 | #Constraints: 209155
963.86/966.69 c #Conflicts: 392000 | #Constraints: 210155
963.86/966.69 c #Conflicts: 393000 | #Constraints: 211155
963.86/966.69 c #Conflicts: 394000 | #Constraints: 212155
963.86/966.69 c #Conflicts: 395000 | #Constraints: 213155
963.86/966.69 c #Conflicts: 396000 | #Constraints: 214155
963.86/966.69 c #Conflicts: 397000 | #Constraints: 215155
963.86/966.69 c #Conflicts: 398000 | #Constraints: 216155
963.86/966.69 c #Conflicts: 399000 | #Constraints: 217155
963.86/966.69 c #Conflicts: 400000 | #Constraints: 218155
963.86/966.69 c #Conflicts: 401000 | #Constraints: 219155
963.86/966.69 c #Conflicts: 402000 | #Constraints: 220155
963.86/966.69 c #Conflicts: 403000 | #Constraints: 221155
963.86/966.69 c #Conflicts: 404000 | #Constraints: 222155
963.86/966.69 c #Conflicts: 405000 | #Constraints: 223155
963.86/966.69 c #Conflicts: 406000 | #Constraints: 224155
963.86/966.69 c #Conflicts: 407000 | #Constraints: 225155
963.86/966.69 c #Conflicts: 408000 | #Constraints: 226155
963.86/966.69 c #Conflicts: 409000 | #Constraints: 227155
963.86/966.69 c #Conflicts: 410000 | #Constraints: 228155
963.86/966.69 c #Conflicts: 411000 | #Constraints: 229155
963.86/966.69 c #Conflicts: 412000 | #Constraints: 230155
963.86/966.69 c #Conflicts: 413000 | #Constraints: 231155
963.86/966.69 c #Conflicts: 414000 | #Constraints: 232155
963.86/966.69 c #Conflicts: 415000 | #Constraints: 233155
963.86/966.69 c #Conflicts: 416000 | #Constraints: 234155
963.86/966.69 c #Conflicts: 417000 | #Constraints: 235155
963.86/966.69 c #Conflicts: 418000 | #Constraints: 236155
963.86/966.69 c #Conflicts: 419000 | #Constraints: 237155
963.86/966.69 c #Conflicts: 420000 | #Constraints: 238155
963.86/966.69 c #Conflicts: 421000 | #Constraints: 239155
963.86/966.69 c #Conflicts: 422000 | #Constraints: 240155
963.86/966.69 c #Conflicts: 423000 | #Constraints: 241155
963.86/966.69 c #Conflicts: 424000 | #Constraints: 242155
963.86/966.69 c #Conflicts: 425000 | #Constraints: 243155
963.86/966.69 c #Conflicts: 426000 | #Constraints: 244155
963.86/966.69 c INPROCESSING
963.86/966.69 c GARBAGE COLLECT
963.86/966.69 c #Conflicts: 427000 | #Constraints: 209445
963.86/966.69 c #Conflicts: 428000 | #Constraints: 210445
963.86/966.69 c #Conflicts: 429000 | #Constraints: 211445
963.86/966.69 c #Conflicts: 430000 | #Constraints: 212445
963.86/966.69 c #Conflicts: 431000 | #Constraints: 213445
963.86/966.69 c #Conflicts: 432000 | #Constraints: 214445
963.86/966.69 c #Conflicts: 433000 | #Constraints: 215445
963.86/966.69 c #Conflicts: 434000 | #Constraints: 216445
963.86/966.69 c #Conflicts: 435000 | #Constraints: 217445
963.86/966.69 c #Conflicts: 436000 | #Constraints: 218445
963.86/966.69 c #Conflicts: 437000 | #Constraints: 219445
963.86/966.69 c #Conflicts: 438000 | #Constraints: 220445
963.86/966.69 c #Conflicts: 439000 | #Constraints: 221445
963.86/966.69 c #Conflicts: 440000 | #Constraints: 222445
963.86/966.69 c #Conflicts: 441000 | #Constraints: 223445
963.86/966.69 c #Conflicts: 442000 | #Constraints: 224445
963.86/966.69 c #Conflicts: 443000 | #Constraints: 225445
963.86/966.69 c #Conflicts: 444000 | #Constraints: 226445
963.86/966.69 c #Conflicts: 445000 | #Constraints: 227445
963.86/966.69 c #Conflicts: 446000 | #Constraints: 228445
963.86/966.69 c #Conflicts: 447000 | #Constraints: 229445
1050.92/1053.99 c #Conflicts: 448000 | #Constraints: 230445
1050.92/1053.99 c #Conflicts: 449000 | #Constraints: 231445
1050.92/1053.99 c #Conflicts: 450000 | #Constraints: 232445
1050.92/1053.99 c #Conflicts: 451000 | #Constraints: 233445
1050.92/1053.99 c #Conflicts: 452000 | #Constraints: 234445
1050.92/1053.99 c #Conflicts: 453000 | #Constraints: 235445
1050.92/1053.99 c #Conflicts: 454000 | #Constraints: 236445
1050.92/1053.99 c #Conflicts: 455000 | #Constraints: 237445
1050.92/1053.99 c #Conflicts: 456000 | #Constraints: 238445
1050.92/1053.99 c #Conflicts: 457000 | #Constraints: 239445
1050.92/1053.99 c #Conflicts: 458000 | #Constraints: 240445
1050.92/1053.99 c #Conflicts: 459000 | #Constraints: 241445
1050.92/1053.99 c #Conflicts: 460000 | #Constraints: 242445
1050.92/1053.99 c #Conflicts: 461000 | #Constraints: 243445
1050.92/1053.99 c #Conflicts: 462000 | #Constraints: 244445
1050.92/1053.99 c #Conflicts: 463000 | #Constraints: 245445
1050.92/1053.99 c #Conflicts: 464000 | #Constraints: 246445
1050.92/1053.99 c #Conflicts: 465000 | #Constraints: 247445
1050.92/1053.99 c #Conflicts: 466000 | #Constraints: 248445
1050.92/1053.99 c #Conflicts: 467000 | #Constraints: 249445
1050.92/1053.99 c #Conflicts: 468000 | #Constraints: 250445
1050.92/1053.99 c #Conflicts: 469000 | #Constraints: 251445
1050.92/1053.99 c INPROCESSING
1050.92/1053.99 c GARBAGE COLLECT
1050.92/1053.99 c #Conflicts: 470000 | #Constraints: 214745
1050.92/1053.99 c #Conflicts: 471000 | #Constraints: 215745
1050.92/1053.99 c #Conflicts: 472000 | #Constraints: 216745
1050.92/1053.99 c #Conflicts: 473000 | #Constraints: 217745
1050.92/1053.99 c #Conflicts: 474000 | #Constraints: 218745
1050.92/1053.99 c #Conflicts: 475000 | #Constraints: 219745
1050.92/1053.99 c #Conflicts: 476000 | #Constraints: 220745
1050.92/1053.99 c #Conflicts: 477000 | #Constraints: 221745
1050.92/1053.99 c #Conflicts: 478000 | #Constraints: 222745
1050.92/1053.99 c #Conflicts: 479000 | #Constraints: 223745
1050.92/1053.99 c #Conflicts: 480000 | #Constraints: 224745
1050.92/1053.99 c #Conflicts: 481000 | #Constraints: 225745
1050.92/1053.99 c #Conflicts: 482000 | #Constraints: 226745
1050.92/1053.99 c #Conflicts: 483000 | #Constraints: 227745
1050.92/1053.99 c #Conflicts: 484000 | #Constraints: 228745
1050.92/1053.99 c #Conflicts: 485000 | #Constraints: 229745
1050.92/1053.99 c #Conflicts: 486000 | #Constraints: 230745
1050.92/1053.99 c #Conflicts: 487000 | #Constraints: 231745
1050.92/1053.99 c #Conflicts: 488000 | #Constraints: 232745
1050.92/1053.99 c #Conflicts: 489000 | #Constraints: 233745
1050.92/1053.99 c #Conflicts: 490000 | #Constraints: 234745
1050.92/1053.99 c #Conflicts: 491000 | #Constraints: 235745
1050.92/1053.99 c #Conflicts: 492000 | #Constraints: 236745
1050.92/1053.99 c #Conflicts: 493000 | #Constraints: 237745
1050.92/1053.99 c #Conflicts: 494000 | #Constraints: 238745
1050.92/1053.99 c #Conflicts: 495000 | #Constraints: 239745
1050.92/1053.99 c #Conflicts: 496000 | #Constraints: 240745
1050.92/1053.99 c #Conflicts: 497000 | #Constraints: 241745
1050.92/1053.99 c #Conflicts: 498000 | #Constraints: 242745
1050.92/1053.99 c #Conflicts: 499000 | #Constraints: 243745
1050.92/1053.99 c #Conflicts: 500000 | #Constraints: 244745
1050.92/1053.99 c #Conflicts: 501000 | #Constraints: 245745
1050.92/1053.99 c #Conflicts: 502000 | #Constraints: 246745
1050.92/1053.99 c #Conflicts: 503000 | #Constraints: 247745
1050.92/1053.99 c #Conflicts: 504000 | #Constraints: 248745
1050.92/1053.99 c #Conflicts: 505000 | #Constraints: 249745
1050.92/1053.99 c #Conflicts: 506000 | #Constraints: 250745
1050.92/1053.99 c #Conflicts: 507000 | #Constraints: 251745
1050.92/1053.99 c #Conflicts: 508000 | #Constraints: 252745
1050.92/1053.99 c #Conflicts: 509000 | #Constraints: 253745
1050.92/1053.99 c #Conflicts: 510000 | #Constraints: 254745
1050.92/1053.99 c #Conflicts: 511000 | #Constraints: 255745
1050.92/1053.99 c #Conflicts: 512000 | #Constraints: 256745
1050.92/1053.99 c #Conflicts: 513000 | #Constraints: 257745
1050.92/1053.99 c INPROCESSING
1050.92/1053.99 c GARBAGE COLLECT
1050.92/1053.99 c #Conflicts: 514000 | #Constraints: 219516
1050.92/1053.99 c #Conflicts: 515000 | #Constraints: 220516
1050.92/1053.99 c #Conflicts: 516000 | #Constraints: 221516
1050.92/1053.99 c #Conflicts: 517000 | #Constraints: 222516
1050.92/1053.99 c #Conflicts: 518000 | #Constraints: 223516
1050.92/1053.99 c #Conflicts: 519000 | #Constraints: 224516
1050.92/1053.99 c #Conflicts: 520000 | #Constraints: 225516
1050.92/1053.99 c #Conflicts: 521000 | #Constraints: 226516
1050.92/1053.99 c #Conflicts: 522000 | #Constraints: 227516
1050.92/1053.99 c #Conflicts: 523000 | #Constraints: 228516
1050.92/1053.99 c #Conflicts: 524000 | #Constraints: 229516
1050.92/1053.99 c #Conflicts: 525000 | #Constraints: 230516
1127.72/1130.98 c #Conflicts: 526000 | #Constraints: 231516
1127.72/1130.98 c #Conflicts: 527000 | #Constraints: 232516
1127.72/1130.98 c #Conflicts: 528000 | #Constraints: 233516
1127.72/1130.98 c #Conflicts: 529000 | #Constraints: 234516
1127.72/1130.98 c #Conflicts: 530000 | #Constraints: 235516
1127.72/1130.98 c #Conflicts: 531000 | #Constraints: 236516
1127.72/1130.98 c #Conflicts: 532000 | #Constraints: 237516
1127.72/1130.98 c #Conflicts: 533000 | #Constraints: 238516
1127.72/1130.98 c #Conflicts: 534000 | #Constraints: 239516
1127.72/1130.98 c #Conflicts: 535000 | #Constraints: 240516
1127.72/1130.98 c #Conflicts: 536000 | #Constraints: 241516
1127.72/1130.98 c #Conflicts: 537000 | #Constraints: 242516
1127.72/1130.98 c #Conflicts: 538000 | #Constraints: 243516
1127.72/1130.98 c #Conflicts: 539000 | #Constraints: 244516
1127.72/1130.98 c #Conflicts: 540000 | #Constraints: 245516
1127.72/1130.98 c #Conflicts: 541000 | #Constraints: 246516
1127.72/1130.98 c #Conflicts: 542000 | #Constraints: 247516
1127.72/1130.98 c #Conflicts: 543000 | #Constraints: 248516
1127.72/1130.98 c #Conflicts: 544000 | #Constraints: 249516
1127.72/1130.98 c #Conflicts: 545000 | #Constraints: 250516
1127.72/1130.98 c #Conflicts: 546000 | #Constraints: 251516
1127.72/1130.98 c #Conflicts: 547000 | #Constraints: 252516
1127.72/1130.98 c #Conflicts: 548000 | #Constraints: 253516
1127.72/1130.98 c #Conflicts: 549000 | #Constraints: 254516
1127.72/1130.98 c #Conflicts: 550000 | #Constraints: 255516
1127.72/1130.98 c #Conflicts: 551000 | #Constraints: 256516
1127.72/1130.98 c #Conflicts: 552000 | #Constraints: 257516
1127.72/1130.98 c #Conflicts: 553000 | #Constraints: 258516
1127.72/1130.98 c #Conflicts: 554000 | #Constraints: 259516
1127.72/1130.98 c #Conflicts: 555000 | #Constraints: 260516
1127.72/1130.98 c #Conflicts: 556000 | #Constraints: 261516
1127.72/1130.98 c #Conflicts: 557000 | #Constraints: 262516
1127.72/1130.98 c #Conflicts: 558000 | #Constraints: 263516
1127.72/1130.98 c #Conflicts: 559000 | #Constraints: 264516
1127.72/1130.98 c #Conflicts: 560000 | #Constraints: 265516
1127.72/1130.98 c INPROCESSING
1127.72/1130.98 c GARBAGE COLLECT
1127.72/1130.98 c #Conflicts: 561000 | #Constraints: 225059
1127.72/1130.98 c #Conflicts: 562000 | #Constraints: 226059
1127.72/1130.98 c #Conflicts: 563000 | #Constraints: 227059
1127.72/1130.98 c #Conflicts: 564000 | #Constraints: 228059
1127.72/1130.98 c #Conflicts: 565000 | #Constraints: 229059
1127.72/1130.98 c #Conflicts: 566000 | #Constraints: 230059
1127.72/1130.98 c #Conflicts: 567000 | #Constraints: 231059
1127.72/1130.98 c #Conflicts: 568000 | #Constraints: 232059
1127.72/1130.98 c #Conflicts: 569000 | #Constraints: 233059
1127.72/1130.98 c #Conflicts: 570000 | #Constraints: 234059
1127.72/1130.98 c #Conflicts: 571000 | #Constraints: 235059
1127.72/1130.98 c #Conflicts: 572000 | #Constraints: 236059
1127.72/1130.98 c #Conflicts: 573000 | #Constraints: 237059
1127.72/1130.98 c #Conflicts: 574000 | #Constraints: 238059
1127.72/1130.98 c #Conflicts: 575000 | #Constraints: 239059
1127.72/1130.98 c #Conflicts: 576000 | #Constraints: 240059
1127.72/1130.98 c #Conflicts: 577000 | #Constraints: 241059
1127.72/1130.98 c #Conflicts: 578000 | #Constraints: 242059
1127.72/1130.98 c #Conflicts: 579000 | #Constraints: 243059
1127.72/1130.98 c #Conflicts: 580000 | #Constraints: 244059
1127.72/1130.98 c #Conflicts: 581000 | #Constraints: 245059
1127.72/1130.98 c #Conflicts: 582000 | #Constraints: 246059
1127.72/1130.98 c #Conflicts: 583000 | #Constraints: 247059
1127.72/1130.98 c #Conflicts: 584000 | #Constraints: 248059
1127.72/1130.98 c #Conflicts: 585000 | #Constraints: 249059
1127.72/1130.98 c #Conflicts: 586000 | #Constraints: 250059
1127.72/1130.98 c #Conflicts: 587000 | #Constraints: 251059
1127.72/1130.98 c #Conflicts: 588000 | #Constraints: 252059
1127.72/1130.98 c #Conflicts: 589000 | #Constraints: 253059
1127.72/1130.98 c #Conflicts: 590000 | #Constraints: 254059
1127.72/1130.98 c #Conflicts: 591000 | #Constraints: 255059
1127.72/1130.98 c #Conflicts: 592000 | #Constraints: 256059
1127.72/1130.98 c #Conflicts: 593000 | #Constraints: 257059
1127.72/1130.98 c #Conflicts: 594000 | #Constraints: 258059
1127.72/1130.98 c #Conflicts: 595000 | #Constraints: 259059
1127.72/1130.98 c #Conflicts: 596000 | #Constraints: 260059
1127.72/1130.98 c #Conflicts: 597000 | #Constraints: 261059
1127.72/1130.98 c #Conflicts: 598000 | #Constraints: 262059
1127.72/1130.98 c #Conflicts: 599000 | #Constraints: 263059
1127.72/1130.98 c #Conflicts: 600000 | #Constraints: 264059
1127.72/1130.98 c #Conflicts: 601000 | #Constraints: 265059
1127.72/1130.98 c #Conflicts: 602000 | #Constraints: 266059
1127.72/1130.98 c #Conflicts: 603000 | #Constraints: 267059
1203.03/1206.47 c #Conflicts: 604000 | #Constraints: 268059
1203.03/1206.47 c #Conflicts: 605000 | #Constraints: 269059
1203.03/1206.47 c #Conflicts: 606000 | #Constraints: 270059
1203.03/1206.47 c #Conflicts: 607000 | #Constraints: 271059
1203.03/1206.47 c #Conflicts: 608000 | #Constraints: 272059
1203.03/1206.47 c INPROCESSING
1203.03/1206.47 c GARBAGE COLLECT
1203.03/1206.47 c #Conflicts: 609000 | #Constraints: 230069
1203.03/1206.47 c #Conflicts: 610000 | #Constraints: 231069
1203.03/1206.47 c #Conflicts: 611000 | #Constraints: 232069
1203.03/1206.47 c #Conflicts: 612000 | #Constraints: 233069
1203.03/1206.47 c #Conflicts: 613000 | #Constraints: 234069
1203.03/1206.47 c #Conflicts: 614000 | #Constraints: 235069
1203.03/1206.47 c #Conflicts: 615000 | #Constraints: 236069
1203.03/1206.47 c #Conflicts: 616000 | #Constraints: 237069
1203.03/1206.47 c #Conflicts: 617000 | #Constraints: 238069
1203.03/1206.47 c #Conflicts: 618000 | #Constraints: 239069
1203.03/1206.47 c #Conflicts: 619000 | #Constraints: 240069
1203.03/1206.47 c #Conflicts: 620000 | #Constraints: 241069
1203.03/1206.47 c #Conflicts: 621000 | #Constraints: 242069
1203.03/1206.47 c #Conflicts: 622000 | #Constraints: 243069
1203.03/1206.47 c #Conflicts: 623000 | #Constraints: 244069
1203.03/1206.47 c #Conflicts: 624000 | #Constraints: 245069
1203.03/1206.47 c #Conflicts: 625000 | #Constraints: 246069
1203.03/1206.47 c #Conflicts: 626000 | #Constraints: 247069
1203.03/1206.47 c #Conflicts: 627000 | #Constraints: 248069
1203.03/1206.47 c #Conflicts: 628000 | #Constraints: 249069
1203.03/1206.47 c #Conflicts: 629000 | #Constraints: 250069
1203.03/1206.47 c #Conflicts: 630000 | #Constraints: 251069
1203.03/1206.47 c #Conflicts: 631000 | #Constraints: 252069
1203.03/1206.47 c #Conflicts: 632000 | #Constraints: 253069
1203.03/1206.47 c #Conflicts: 633000 | #Constraints: 254069
1203.03/1206.47 c #Conflicts: 634000 | #Constraints: 255069
1203.03/1206.47 c #Conflicts: 635000 | #Constraints: 256069
1203.03/1206.47 c #Conflicts: 636000 | #Constraints: 257069
1203.03/1206.47 c #Conflicts: 637000 | #Constraints: 258069
1203.03/1206.47 c #Conflicts: 638000 | #Constraints: 259069
1203.03/1206.47 c #Conflicts: 639000 | #Constraints: 260069
1203.03/1206.47 c #Conflicts: 640000 | #Constraints: 261069
1203.03/1206.47 c #Conflicts: 641000 | #Constraints: 262069
1203.03/1206.47 c #Conflicts: 642000 | #Constraints: 263069
1203.03/1206.47 c #Conflicts: 643000 | #Constraints: 264069
1203.03/1206.47 c #Conflicts: 644000 | #Constraints: 265069
1203.03/1206.47 c #Conflicts: 645000 | #Constraints: 266069
1203.03/1206.47 c #Conflicts: 646000 | #Constraints: 267069
1203.03/1206.47 c #Conflicts: 647000 | #Constraints: 268069
1203.03/1206.47 c #Conflicts: 648000 | #Constraints: 269069
1203.03/1206.47 c #Conflicts: 649000 | #Constraints: 270069
1203.03/1206.47 c #Conflicts: 650000 | #Constraints: 271069
1203.03/1206.47 c #Conflicts: 651000 | #Constraints: 272069
1203.03/1206.47 c #Conflicts: 652000 | #Constraints: 273069
1203.03/1206.47 c #Conflicts: 653000 | #Constraints: 274069
1203.03/1206.47 c #Conflicts: 654000 | #Constraints: 275069
1203.03/1206.47 c #Conflicts: 655000 | #Constraints: 276069
1203.03/1206.47 c #Conflicts: 656000 | #Constraints: 277069
1203.03/1206.47 c #Conflicts: 657000 | #Constraints: 278069
1203.03/1206.47 c #Conflicts: 658000 | #Constraints: 279069
1203.03/1206.47 c INPROCESSING
1203.03/1206.47 c GARBAGE COLLECT
1203.03/1206.47 c #Conflicts: 659000 | #Constraints: 234679
1203.03/1206.47 c #Conflicts: 660000 | #Constraints: 235679
1203.03/1206.47 c #Conflicts: 661000 | #Constraints: 236679
1203.03/1206.47 c #Conflicts: 662000 | #Constraints: 237679
1203.03/1206.47 c #Conflicts: 663000 | #Constraints: 238679
1203.03/1206.47 c #Conflicts: 664000 | #Constraints: 239679
1203.03/1206.47 c #Conflicts: 665000 | #Constraints: 240679
1203.03/1206.47 c #Conflicts: 666000 | #Constraints: 241679
1203.03/1206.47 c #Conflicts: 667000 | #Constraints: 242679
1203.03/1206.47 c #Conflicts: 668000 | #Constraints: 243679
1203.03/1206.47 c #Conflicts: 669000 | #Constraints: 244679
1203.03/1206.47 c #Conflicts: 670000 | #Constraints: 245679
1203.03/1206.47 c #Conflicts: 671000 | #Constraints: 246679
1203.03/1206.47 c #Conflicts: 672000 | #Constraints: 247679
1203.03/1206.47 c #Conflicts: 673000 | #Constraints: 248679
1203.03/1206.47 c #Conflicts: 674000 | #Constraints: 249679
1203.03/1206.47 c #Conflicts: 675000 | #Constraints: 250679
1203.03/1206.47 c #Conflicts: 676000 | #Constraints: 251679
1203.03/1206.47 c #Conflicts: 677000 | #Constraints: 252679
1203.03/1206.47 c #Conflicts: 678000 | #Constraints: 253679
1203.03/1206.47 c #Conflicts: 679000 | #Constraints: 254679
1203.03/1206.47 c #Conflicts: 680000 | #Constraints: 255679
1472.52/1476.65 c #Conflicts: 681000 | #Constraints: 256679
1472.52/1476.65 c #Conflicts: 682000 | #Constraints: 257679
1472.52/1476.65 c #Conflicts: 683000 | #Constraints: 258679
1472.52/1476.65 c #Conflicts: 684000 | #Constraints: 259679
1472.52/1476.65 c #Conflicts: 685000 | #Constraints: 260679
1472.52/1476.65 c #Conflicts: 686000 | #Constraints: 261679
1472.52/1476.65 c #Conflicts: 687000 | #Constraints: 262679
1472.52/1476.65 c #Conflicts: 688000 | #Constraints: 263679
1472.52/1476.65 c #Conflicts: 689000 | #Constraints: 264679
1472.52/1476.65 c #Conflicts: 690000 | #Constraints: 265679
1472.52/1476.65 c #Conflicts: 691000 | #Constraints: 266679
1472.52/1476.65 c #Conflicts: 692000 | #Constraints: 267679
1472.52/1476.65 c #Conflicts: 693000 | #Constraints: 268679
1472.52/1476.65 c #Conflicts: 694000 | #Constraints: 269679
1472.52/1476.65 c #Conflicts: 695000 | #Constraints: 270679
1472.52/1476.65 c #Conflicts: 696000 | #Constraints: 271679
1472.52/1476.65 c #Conflicts: 697000 | #Constraints: 272679
1472.52/1476.65 c #Conflicts: 698000 | #Constraints: 273679
1472.52/1476.65 c #Conflicts: 699000 | #Constraints: 274679
1472.52/1476.65 c #Conflicts: 700000 | #Constraints: 275679
1472.52/1476.65 c #Conflicts: 701000 | #Constraints: 276679
1472.52/1476.65 c #Conflicts: 702000 | #Constraints: 277679
1472.52/1476.65 c #Conflicts: 703000 | #Constraints: 278679
1472.52/1476.65 c #Conflicts: 704000 | #Constraints: 279679
1472.52/1476.65 c #Conflicts: 705000 | #Constraints: 280679
1472.52/1476.65 c #Conflicts: 706000 | #Constraints: 281679
1472.52/1476.65 c #Conflicts: 707000 | #Constraints: 282679
1472.52/1476.65 c #Conflicts: 708000 | #Constraints: 283679
1472.52/1476.65 c #Conflicts: 709000 | #Constraints: 284679
1472.52/1476.65 c #Conflicts: 710000 | #Constraints: 285679
1472.52/1476.65 c #Conflicts: 711000 | #Constraints: 286679
1472.52/1476.65 c INPROCESSING
1472.52/1476.65 c GARBAGE COLLECT
1472.52/1476.65 c #Conflicts: 712000 | #Constraints: 240581
1472.52/1476.65 c #Conflicts: 713000 | #Constraints: 241581
1472.52/1476.65 c #Conflicts: 714000 | #Constraints: 242581
1472.52/1476.65 c #Conflicts: 715000 | #Constraints: 243581
1472.52/1476.65 c #Conflicts: 716000 | #Constraints: 244581
1472.52/1476.65 c #Conflicts: 717000 | #Constraints: 245581
1472.52/1476.65 c #Conflicts: 718000 | #Constraints: 246581
1472.52/1476.65 c #Conflicts: 719000 | #Constraints: 247581
1472.52/1476.65 c #Conflicts: 720000 | #Constraints: 248581
1472.52/1476.65 c #Conflicts: 721000 | #Constraints: 249581
1472.52/1476.65 c #Conflicts: 722000 | #Constraints: 250581
1472.52/1476.65 c #Conflicts: 723000 | #Constraints: 251581
1472.52/1476.65 c #Conflicts: 724000 | #Constraints: 252581
1472.52/1476.65 c #Conflicts: 725000 | #Constraints: 253581
1472.52/1476.65 c #Conflicts: 726000 | #Constraints: 254581
1472.52/1476.65 c #Conflicts: 727000 | #Constraints: 255581
1472.52/1476.65 c #Conflicts: 728000 | #Constraints: 256581
1472.52/1476.65 c #Conflicts: 729000 | #Constraints: 257581
1472.52/1476.65 c #Conflicts: 730000 | #Constraints: 258581
1472.52/1476.65 c #Conflicts: 731000 | #Constraints: 259581
1472.52/1476.65 c #Conflicts: 732000 | #Constraints: 260581
1472.52/1476.65 c #Conflicts: 733000 | #Constraints: 261581
1472.52/1476.65 c #Conflicts: 734000 | #Constraints: 262581
1472.52/1476.65 c #Conflicts: 735000 | #Constraints: 263581
1472.52/1476.65 c #Conflicts: 736000 | #Constraints: 264581
1472.52/1476.65 c #Conflicts: 737000 | #Constraints: 265581
1472.52/1476.65 c #Conflicts: 738000 | #Constraints: 266581
1472.52/1476.65 c #Conflicts: 739000 | #Constraints: 267581
1472.52/1476.65 c #Conflicts: 740000 | #Constraints: 268581
1472.52/1476.65 c #Conflicts: 741000 | #Constraints: 269581
1472.52/1476.65 c #Conflicts: 742000 | #Constraints: 270581
1472.52/1476.65 c #Conflicts: 743000 | #Constraints: 271581
1472.52/1476.65 c #Conflicts: 744000 | #Constraints: 272581
1472.52/1476.65 c #Conflicts: 745000 | #Constraints: 273581
1472.52/1476.65 c #Conflicts: 746000 | #Constraints: 274581
1472.52/1476.65 c #Conflicts: 747000 | #Constraints: 275581
1472.52/1476.65 c #Conflicts: 748000 | #Constraints: 276581
1472.52/1476.65 c #Conflicts: 749000 | #Constraints: 277581
1472.52/1476.65 c #Conflicts: 750000 | #Constraints: 278581
1472.52/1476.65 c #Conflicts: 751000 | #Constraints: 279581
1472.52/1476.65 c #Conflicts: 752000 | #Constraints: 280581
1472.52/1476.65 c #Conflicts: 753000 | #Constraints: 281581
1472.52/1476.65 c #Conflicts: 754000 | #Constraints: 282581
1472.52/1476.65 c #Conflicts: 755000 | #Constraints: 283581
1472.52/1476.65 c #Conflicts: 756000 | #Constraints: 284581
1472.52/1476.65 c #Conflicts: 757000 | #Constraints: 285581
1472.52/1476.65 c #Conflicts: 758000 | #Constraints: 286581
1472.52/1476.65 c #Conflicts: 759000 | #Constraints: 287581
1752.17/1757.05 c #Conflicts: 760000 | #Constraints: 288581
1752.17/1757.05 c #Conflicts: 761000 | #Constraints: 289581
1752.17/1757.05 c #Conflicts: 762000 | #Constraints: 290581
1752.17/1757.05 c #Conflicts: 763000 | #Constraints: 291581
1752.17/1757.05 c #Conflicts: 764000 | #Constraints: 292581
1752.17/1757.05 c #Conflicts: 765000 | #Constraints: 293581
1752.17/1757.05 c INPROCESSING
1752.17/1757.05 c GARBAGE COLLECT
1752.17/1757.05 c #Conflicts: 766000 | #Constraints: 245176
1752.17/1757.05 c #Conflicts: 767000 | #Constraints: 246176
1752.17/1757.05 c #Conflicts: 768000 | #Constraints: 247176
1752.17/1757.05 c #Conflicts: 769000 | #Constraints: 248176
1752.17/1757.05 c #Conflicts: 770000 | #Constraints: 249176
1752.17/1757.05 c #Conflicts: 771000 | #Constraints: 250176
1752.17/1757.05 c #Conflicts: 772000 | #Constraints: 251176
1752.17/1757.05 c #Conflicts: 773000 | #Constraints: 252176
1752.17/1757.05 c #Conflicts: 774000 | #Constraints: 253176
1752.17/1757.05 c #Conflicts: 775000 | #Constraints: 254176
1752.17/1757.05 c #Conflicts: 776000 | #Constraints: 255176
1752.17/1757.05 c #Conflicts: 777000 | #Constraints: 256176
1752.17/1757.05 c #Conflicts: 778000 | #Constraints: 257176
1752.17/1757.05 c #Conflicts: 779000 | #Constraints: 258176
1752.17/1757.05 c #Conflicts: 780000 | #Constraints: 259176
1752.17/1757.05 c #Conflicts: 781000 | #Constraints: 260176
1752.17/1757.05 c #Conflicts: 782000 | #Constraints: 261176
1752.17/1757.05 c #Conflicts: 783000 | #Constraints: 262176
1752.17/1757.05 c #Conflicts: 784000 | #Constraints: 263176
1752.17/1757.05 c #Conflicts: 785000 | #Constraints: 264176
1752.17/1757.05 c #Conflicts: 786000 | #Constraints: 265176
1752.17/1757.05 c #Conflicts: 787000 | #Constraints: 266176
1752.17/1757.05 c #Conflicts: 788000 | #Constraints: 267176
1752.17/1757.05 c #Conflicts: 789000 | #Constraints: 268176
1752.17/1757.05 c #Conflicts: 790000 | #Constraints: 269176
1752.17/1757.05 c #Conflicts: 791000 | #Constraints: 270176
1752.17/1757.05 c #Conflicts: 792000 | #Constraints: 271176
1752.17/1757.05 c #Conflicts: 793000 | #Constraints: 272176
1752.17/1757.05 c #Conflicts: 794000 | #Constraints: 273176
1752.17/1757.05 c #Conflicts: 795000 | #Constraints: 274176
1752.17/1757.05 c #Conflicts: 796000 | #Constraints: 275176
1752.17/1757.05 c #Conflicts: 797000 | #Constraints: 276176
1752.17/1757.05 c #Conflicts: 798000 | #Constraints: 277176
1752.17/1757.05 c #Conflicts: 799000 | #Constraints: 278176
1752.17/1757.05 c #Conflicts: 800000 | #Constraints: 279176
1752.17/1757.05 c #Conflicts: 801000 | #Constraints: 280176
1752.17/1757.05 c #Conflicts: 802000 | #Constraints: 281176
1752.17/1757.05 c #Conflicts: 803000 | #Constraints: 282176
1752.17/1757.05 c #Conflicts: 804000 | #Constraints: 283176
1752.17/1757.05 c #Conflicts: 805000 | #Constraints: 284176
1752.17/1757.05 c #Conflicts: 806000 | #Constraints: 285176
1752.17/1757.05 c #Conflicts: 807000 | #Constraints: 286176
1752.17/1757.05 c #Conflicts: 808000 | #Constraints: 287176
1752.17/1757.05 c #Conflicts: 809000 | #Constraints: 288176
1752.17/1757.05 c #Conflicts: 810000 | #Constraints: 289176
1752.17/1757.05 c #Conflicts: 811000 | #Constraints: 290176
1752.17/1757.05 c #Conflicts: 812000 | #Constraints: 291176
1752.17/1757.05 c #Conflicts: 813000 | #Constraints: 292176
1752.17/1757.05 c #Conflicts: 814000 | #Constraints: 293176
1752.17/1757.05 c #Conflicts: 815000 | #Constraints: 294176
1752.17/1757.05 c #Conflicts: 816000 | #Constraints: 295176
1752.17/1757.05 c #Conflicts: 817000 | #Constraints: 296176
1752.17/1757.05 c #Conflicts: 818000 | #Constraints: 297176
1752.17/1757.05 c #Conflicts: 819000 | #Constraints: 298176
1752.17/1757.05 c #Conflicts: 820000 | #Constraints: 299176
1752.17/1757.05 c #Conflicts: 821000 | #Constraints: 300176
1752.17/1757.05 c #Conflicts: 822000 | #Constraints: 301176
1752.17/1757.05 c INPROCESSING
1752.17/1757.05 c GARBAGE COLLECT
1752.17/1757.05 c rational objective 25266.6
1821.99/1827.06 c #Conflicts: 823000 | #Constraints: 251586
1821.99/1827.06 c #Conflicts: 824000 | #Constraints: 252586
1821.99/1827.06 c #Conflicts: 825000 | #Constraints: 253586
1821.99/1827.06 c #Conflicts: 826000 | #Constraints: 254586
1821.99/1827.06 c #Conflicts: 827000 | #Constraints: 255586
1821.99/1827.06 c #Conflicts: 828000 | #Constraints: 256586
1821.99/1827.06 c #Conflicts: 829000 | #Constraints: 257586
1821.99/1827.06 c #Conflicts: 830000 | #Constraints: 258586
1821.99/1827.06 c #Conflicts: 831000 | #Constraints: 259586
1821.99/1827.06 c #Conflicts: 832000 | #Constraints: 260586
1821.99/1827.06 c #Conflicts: 833000 | #Constraints: 261586
1821.99/1827.06 c #Conflicts: 834000 | #Constraints: 262586
1821.99/1827.06 c #Conflicts: 835000 | #Constraints: 263586
1821.99/1827.06 c #Conflicts: 836000 | #Constraints: 264586
1821.99/1827.06 c #Conflicts: 837000 | #Constraints: 265586
1821.99/1827.06 c #Conflicts: 838000 | #Constraints: 266586
1821.99/1827.06 c #Conflicts: 839000 | #Constraints: 267586
1821.99/1827.06 c #Conflicts: 840000 | #Constraints: 268586
1821.99/1827.06 c #Conflicts: 841000 | #Constraints: 269586
1821.99/1827.06 c #Conflicts: 842000 | #Constraints: 270586
1821.99/1827.06 c #Conflicts: 843000 | #Constraints: 271586
1821.99/1827.06 c #Conflicts: 844000 | #Constraints: 272586
1821.99/1827.06 c #Conflicts: 845000 | #Constraints: 273586
1821.99/1827.06 c #Conflicts: 846000 | #Constraints: 274586
1821.99/1827.06 c #Conflicts: 847000 | #Constraints: 275586
1821.99/1827.06 c #Conflicts: 848000 | #Constraints: 276586
1821.99/1827.06 c #Conflicts: 849000 | #Constraints: 277586
1821.99/1827.06 c #Conflicts: 850000 | #Constraints: 278586
1821.99/1827.06 c #Conflicts: 851000 | #Constraints: 279586
1821.99/1827.06 c #Conflicts: 852000 | #Constraints: 280586
1821.99/1827.06 c #Conflicts: 853000 | #Constraints: 281586
1821.99/1827.06 c #Conflicts: 854000 | #Constraints: 282586
1821.99/1827.06 c #Conflicts: 855000 | #Constraints: 283586
1821.99/1827.06 c #Conflicts: 856000 | #Constraints: 284586
1821.99/1827.06 c #Conflicts: 857000 | #Constraints: 285586
1821.99/1827.06 c #Conflicts: 858000 | #Constraints: 286586
1821.99/1827.06 c #Conflicts: 859000 | #Constraints: 287586
1821.99/1827.06 c #Conflicts: 860000 | #Constraints: 288586
1821.99/1827.06 c #Conflicts: 861000 | #Constraints: 289586
1821.99/1827.06 c #Conflicts: 862000 | #Constraints: 290586
1821.99/1827.06 c #Conflicts: 863000 | #Constraints: 291586
1821.99/1827.06 c #Conflicts: 864000 | #Constraints: 292586
1821.99/1827.06 c #Conflicts: 865000 | #Constraints: 293586
1821.99/1827.06 c #Conflicts: 866000 | #Constraints: 294586
1821.99/1827.06 c #Conflicts: 867000 | #Constraints: 295586
1821.99/1827.06 c #Conflicts: 868000 | #Constraints: 296586
1821.99/1827.06 c #Conflicts: 869000 | #Constraints: 297586
1821.99/1827.06 c #Conflicts: 870000 | #Constraints: 298586
1821.99/1827.06 c #Conflicts: 871000 | #Constraints: 299586
1821.99/1827.06 c #Conflicts: 872000 | #Constraints: 300586
1821.99/1827.06 c #Conflicts: 873000 | #Constraints: 301586
1821.99/1827.06 c #Conflicts: 874000 | #Constraints: 302586
1821.99/1827.06 c #Conflicts: 875000 | #Constraints: 303586
1821.99/1827.06 c #Conflicts: 876000 | #Constraints: 304586
1821.99/1827.06 c #Conflicts: 877000 | #Constraints: 305586
1821.99/1827.06 c #Conflicts: 878000 | #Constraints: 306586
1821.99/1827.06 c #Conflicts: 879000 | #Constraints: 307586
1821.99/1827.06 c #Conflicts: 880000 | #Constraints: 308586
1821.99/1827.06 c INPROCESSING
1821.99/1827.06 c GARBAGE COLLECT
1821.99/1827.06 c #Conflicts: 881000 | #Constraints: 256484
1821.99/1827.06 c #Conflicts: 882000 | #Constraints: 257484
1821.99/1827.06 c #Conflicts: 883000 | #Constraints: 258484
1821.99/1827.06 c #Conflicts: 884000 | #Constraints: 259484
1821.99/1827.06 c #Conflicts: 885000 | #Constraints: 260484
1821.99/1827.06 c #Conflicts: 886000 | #Constraints: 261484
1821.99/1827.06 c #Conflicts: 887000 | #Constraints: 262484
1821.99/1827.06 c #Conflicts: 888000 | #Constraints: 263484
1821.99/1827.06 c #Conflicts: 889000 | #Constraints: 264484
1821.99/1827.06 c #Conflicts: 890000 | #Constraints: 265484
1821.99/1827.06 c #Conflicts: 891000 | #Constraints: 266484
1821.99/1827.06 c #Conflicts: 892000 | #Constraints: 267484
1821.99/1827.06 c #Conflicts: 893000 | #Constraints: 268484
1821.99/1827.06 c #Conflicts: 894000 | #Constraints: 269484
1821.99/1827.06 c #Conflicts: 895000 | #Constraints: 270484
1821.99/1827.06 c #Conflicts: 896000 | #Constraints: 271484
1821.99/1827.06 c #Conflicts: 897000 | #Constraints: 272484
1821.99/1827.06 c #Conflicts: 898000 | #Constraints: 273484
1821.99/1827.06 c #Conflicts: 899000 | #Constraints: 274484
1821.99/1827.06 c #Conflicts: 900000 | #Constraints: 275484
1821.99/1827.06 c #Conflicts: 901000 | #Constraints: 276484
1885.49/1890.77 c #Conflicts: 902000 | #Constraints: 277484
1885.49/1890.77 c #Conflicts: 903000 | #Constraints: 278484
1885.49/1890.77 c #Conflicts: 904000 | #Constraints: 279484
1885.49/1890.77 c #Conflicts: 905000 | #Constraints: 280484
1885.49/1890.77 c #Conflicts: 906000 | #Constraints: 281484
1885.49/1890.77 c #Conflicts: 907000 | #Constraints: 282484
1885.49/1890.77 c #Conflicts: 908000 | #Constraints: 283484
1885.49/1890.77 c #Conflicts: 909000 | #Constraints: 284484
1885.49/1890.77 c #Conflicts: 910000 | #Constraints: 285484
1885.49/1890.77 c #Conflicts: 911000 | #Constraints: 286484
1885.49/1890.77 c #Conflicts: 912000 | #Constraints: 287484
1885.49/1890.77 c #Conflicts: 913000 | #Constraints: 288484
1885.49/1890.77 c #Conflicts: 914000 | #Constraints: 289484
1885.49/1890.77 c #Conflicts: 915000 | #Constraints: 290484
1885.49/1890.77 c #Conflicts: 916000 | #Constraints: 291484
1885.49/1890.77 c #Conflicts: 917000 | #Constraints: 292484
1885.49/1890.77 c #Conflicts: 918000 | #Constraints: 293484
1885.49/1890.77 c #Conflicts: 919000 | #Constraints: 294484
1885.49/1890.77 c #Conflicts: 920000 | #Constraints: 295484
1885.49/1890.77 c #Conflicts: 921000 | #Constraints: 296484
1885.49/1890.77 c #Conflicts: 922000 | #Constraints: 297484
1885.49/1890.77 c #Conflicts: 923000 | #Constraints: 298484
1885.49/1890.77 c #Conflicts: 924000 | #Constraints: 299484
1885.49/1890.77 c #Conflicts: 925000 | #Constraints: 300484
1885.49/1890.77 c #Conflicts: 926000 | #Constraints: 301484
1885.49/1890.77 c #Conflicts: 927000 | #Constraints: 302484
1885.49/1890.77 c #Conflicts: 928000 | #Constraints: 303484
1885.49/1890.77 c #Conflicts: 929000 | #Constraints: 304484
1885.49/1890.77 c #Conflicts: 930000 | #Constraints: 305484
1885.49/1890.77 c #Conflicts: 931000 | #Constraints: 306484
1885.49/1890.77 c #Conflicts: 932000 | #Constraints: 307484
1885.49/1890.77 c #Conflicts: 933000 | #Constraints: 308484
1885.49/1890.77 c #Conflicts: 934000 | #Constraints: 309484
1885.49/1890.77 c #Conflicts: 935000 | #Constraints: 310484
1885.49/1890.77 c #Conflicts: 936000 | #Constraints: 311484
1885.49/1890.77 c #Conflicts: 937000 | #Constraints: 312484
1885.49/1890.77 c #Conflicts: 938000 | #Constraints: 313484
1885.49/1890.77 c #Conflicts: 939000 | #Constraints: 314484
1885.49/1890.77 c #Conflicts: 940000 | #Constraints: 315484
1885.49/1890.77 c INPROCESSING
1885.49/1890.77 c GARBAGE COLLECT
1885.49/1890.77 c #Conflicts: 941000 | #Constraints: 260913
1885.49/1890.77 c #Conflicts: 942000 | #Constraints: 261913
1885.49/1890.77 c #Conflicts: 943000 | #Constraints: 262913
1885.49/1890.77 c #Conflicts: 944000 | #Constraints: 263913
1885.49/1890.77 c #Conflicts: 945000 | #Constraints: 264913
1885.49/1890.77 c #Conflicts: 946000 | #Constraints: 265913
1885.49/1890.77 c #Conflicts: 947000 | #Constraints: 266913
1885.49/1890.77 c #Conflicts: 948000 | #Constraints: 267913
1885.49/1890.77 c #Conflicts: 949000 | #Constraints: 268913
1885.49/1890.77 c #Conflicts: 950000 | #Constraints: 269913
1885.49/1890.77 c #Conflicts: 951000 | #Constraints: 270913
1885.49/1890.77 c #Conflicts: 952000 | #Constraints: 271913
1885.49/1890.77 c #Conflicts: 953000 | #Constraints: 272913
1885.49/1890.77 c #Conflicts: 954000 | #Constraints: 273913
1885.49/1890.77 c #Conflicts: 955000 | #Constraints: 274913
1885.49/1890.77 c #Conflicts: 956000 | #Constraints: 275913
1885.49/1890.77 c #Conflicts: 957000 | #Constraints: 276913
1885.49/1890.77 c #Conflicts: 958000 | #Constraints: 277913
1885.49/1890.77 c #Conflicts: 959000 | #Constraints: 278913
1885.49/1890.77 c #Conflicts: 960000 | #Constraints: 279913
1885.49/1890.77 c #Conflicts: 961000 | #Constraints: 280913
1885.49/1890.77 c #Conflicts: 962000 | #Constraints: 281913
1885.49/1890.77 c #Conflicts: 963000 | #Constraints: 282913
1885.49/1890.77 c #Conflicts: 964000 | #Constraints: 283913
1885.49/1890.77 c #Conflicts: 965000 | #Constraints: 284913
1885.49/1890.77 c #Conflicts: 966000 | #Constraints: 285913
1885.49/1890.77 c #Conflicts: 967000 | #Constraints: 286913
1885.49/1890.77 c #Conflicts: 968000 | #Constraints: 287913
1885.49/1890.77 c #Conflicts: 969000 | #Constraints: 288913
1885.49/1890.77 c #Conflicts: 970000 | #Constraints: 289913
1885.49/1890.77 c #Conflicts: 971000 | #Constraints: 290913
1885.49/1890.77 c #Conflicts: 972000 | #Constraints: 291913
1885.49/1890.77 c #Conflicts: 973000 | #Constraints: 292913
1885.49/1890.77 c #Conflicts: 974000 | #Constraints: 293913
1885.49/1890.77 c #Conflicts: 975000 | #Constraints: 294913
1885.49/1890.77 c #Conflicts: 976000 | #Constraints: 295913
1885.49/1890.77 c #Conflicts: 977000 | #Constraints: 296913
1885.49/1890.77 c #Conflicts: 978000 | #Constraints: 297913
1885.49/1890.77 c #Conflicts: 979000 | #Constraints: 298913
1950.62/1956.03 c #Conflicts: 980000 | #Constraints: 299913
1950.62/1956.03 c #Conflicts: 981000 | #Constraints: 300913
1950.62/1956.03 c #Conflicts: 982000 | #Constraints: 301913
1950.62/1956.03 c #Conflicts: 983000 | #Constraints: 302913
1950.62/1956.03 c #Conflicts: 984000 | #Constraints: 303913
1950.62/1956.03 c #Conflicts: 985000 | #Constraints: 304913
1950.62/1956.03 c #Conflicts: 986000 | #Constraints: 305913
1950.62/1956.03 c #Conflicts: 987000 | #Constraints: 306913
1950.62/1956.03 c #Conflicts: 988000 | #Constraints: 307913
1950.62/1956.03 c #Conflicts: 989000 | #Constraints: 308913
1950.62/1956.03 c #Conflicts: 990000 | #Constraints: 309913
1950.62/1956.03 c #Conflicts: 991000 | #Constraints: 310913
1950.62/1956.03 c #Conflicts: 992000 | #Constraints: 311913
1950.62/1956.03 c #Conflicts: 993000 | #Constraints: 312913
1950.62/1956.03 c #Conflicts: 994000 | #Constraints: 313913
1950.62/1956.03 c #Conflicts: 995000 | #Constraints: 314913
1950.62/1956.03 c #Conflicts: 996000 | #Constraints: 315913
1950.62/1956.03 c #Conflicts: 997000 | #Constraints: 316913
1950.62/1956.03 c #Conflicts: 998000 | #Constraints: 317913
1950.62/1956.03 c #Conflicts: 999000 | #Constraints: 318913
1950.62/1956.03 c #Conflicts: 1000000 | #Constraints: 319913
1950.62/1956.03 c #Conflicts: 1001000 | #Constraints: 320913
1950.62/1956.03 c #Conflicts: 1002000 | #Constraints: 321913
1950.62/1956.03 c #Conflicts: 1003000 | #Constraints: 322913
1950.62/1956.03 c INPROCESSING
1950.62/1956.03 c GARBAGE COLLECT
1950.62/1956.03 c #Conflicts: 1004000 | #Constraints: 264613
1950.62/1956.03 c #Conflicts: 1005000 | #Constraints: 265613
1950.62/1956.03 c #Conflicts: 1006000 | #Constraints: 266613
1950.62/1956.03 c #Conflicts: 1007000 | #Constraints: 267613
1950.62/1956.03 c #Conflicts: 1008000 | #Constraints: 268613
1950.62/1956.03 c #Conflicts: 1009000 | #Constraints: 269613
1950.62/1956.03 c #Conflicts: 1010000 | #Constraints: 270613
1950.62/1956.03 c #Conflicts: 1011000 | #Constraints: 271613
1950.62/1956.03 c #Conflicts: 1012000 | #Constraints: 272613
1950.62/1956.03 c #Conflicts: 1013000 | #Constraints: 273613
1950.62/1956.03 c #Conflicts: 1014000 | #Constraints: 274613
1950.62/1956.03 c #Conflicts: 1015000 | #Constraints: 275613
1950.62/1956.03 c #Conflicts: 1016000 | #Constraints: 276613
1950.62/1956.03 c #Conflicts: 1017000 | #Constraints: 277613
1950.62/1956.03 c #Conflicts: 1018000 | #Constraints: 278613
1950.62/1956.03 c #Conflicts: 1019000 | #Constraints: 279613
1950.62/1956.03 c #Conflicts: 1020000 | #Constraints: 280613
1950.62/1956.03 c #Conflicts: 1021000 | #Constraints: 281613
1950.62/1956.03 c #Conflicts: 1022000 | #Constraints: 282613
1950.62/1956.03 c #Conflicts: 1023000 | #Constraints: 283613
1950.62/1956.03 c #Conflicts: 1024000 | #Constraints: 284613
1950.62/1956.03 c #Conflicts: 1025000 | #Constraints: 285613
1950.62/1956.03 c #Conflicts: 1026000 | #Constraints: 286613
1950.62/1956.03 c #Conflicts: 1027000 | #Constraints: 287613
1950.62/1956.03 c #Conflicts: 1028000 | #Constraints: 288613
1950.62/1956.03 c #Conflicts: 1029000 | #Constraints: 289613
1950.62/1956.03 c #Conflicts: 1030000 | #Constraints: 290613
1950.62/1956.03 c #Conflicts: 1031000 | #Constraints: 291613
1950.62/1956.03 c #Conflicts: 1032000 | #Constraints: 292613
1950.62/1956.03 c #Conflicts: 1033000 | #Constraints: 293613
1950.62/1956.03 c #Conflicts: 1034000 | #Constraints: 294613
1950.62/1956.03 c #Conflicts: 1035000 | #Constraints: 295613
1950.62/1956.03 c #Conflicts: 1036000 | #Constraints: 296613
1950.62/1956.03 c #Conflicts: 1037000 | #Constraints: 297613
1950.62/1956.03 c #Conflicts: 1038000 | #Constraints: 298613
1950.62/1956.03 c #Conflicts: 1039000 | #Constraints: 299613
1950.62/1956.03 c #Conflicts: 1040000 | #Constraints: 300613
1950.62/1956.03 c #Conflicts: 1041000 | #Constraints: 301613
1950.62/1956.03 c #Conflicts: 1042000 | #Constraints: 302613
1950.62/1956.03 c #Conflicts: 1043000 | #Constraints: 303613
1950.62/1956.03 c #Conflicts: 1044000 | #Constraints: 304613
1950.62/1956.03 c #Conflicts: 1045000 | #Constraints: 305613
1950.62/1956.03 c #Conflicts: 1046000 | #Constraints: 306613
1950.62/1956.03 c #Conflicts: 1047000 | #Constraints: 307613
1950.62/1956.03 c #Conflicts: 1048000 | #Constraints: 308613
1950.62/1956.03 c #Conflicts: 1049000 | #Constraints: 309613
1950.62/1956.03 c #Conflicts: 1050000 | #Constraints: 310613
1950.62/1956.03 c #Conflicts: 1051000 | #Constraints: 311613
1950.62/1956.03 c #Conflicts: 1052000 | #Constraints: 312613
1950.62/1956.03 c #Conflicts: 1053000 | #Constraints: 313613
1950.62/1956.03 c #Conflicts: 1054000 | #Constraints: 314613
1950.62/1956.03 c #Conflicts: 1055000 | #Constraints: 315613
1950.62/1956.03 c #Conflicts: 1056000 | #Constraints: 316613
1950.62/1956.03 c #Conflicts: 1057000 | #Constraints: 317613
2026.69/2032.30 c #Conflicts: 1058000 | #Constraints: 318613
2026.69/2032.30 c #Conflicts: 1059000 | #Constraints: 319613
2026.69/2032.30 c #Conflicts: 1060000 | #Constraints: 320613
2026.69/2032.30 c #Conflicts: 1061000 | #Constraints: 321613
2026.69/2032.30 c #Conflicts: 1062000 | #Constraints: 322613
2026.69/2032.30 c #Conflicts: 1063000 | #Constraints: 323613
2026.69/2032.30 c #Conflicts: 1064000 | #Constraints: 324613
2026.69/2032.30 c #Conflicts: 1065000 | #Constraints: 325613
2026.69/2032.30 c #Conflicts: 1066000 | #Constraints: 326613
2026.69/2032.30 c #Conflicts: 1067000 | #Constraints: 327613
2026.69/2032.30 c INPROCESSING
2026.69/2032.30 c GARBAGE COLLECT
2026.69/2032.30 c #Conflicts: 1068000 | #Constraints: 268326
2026.69/2032.30 c #Conflicts: 1069000 | #Constraints: 269326
2026.69/2032.30 c #Conflicts: 1070000 | #Constraints: 270326
2026.69/2032.30 c #Conflicts: 1071000 | #Constraints: 271326
2026.69/2032.30 c #Conflicts: 1072000 | #Constraints: 272326
2026.69/2032.30 c #Conflicts: 1073000 | #Constraints: 273326
2026.69/2032.30 c #Conflicts: 1074000 | #Constraints: 274326
2026.69/2032.30 c #Conflicts: 1075000 | #Constraints: 275326
2026.69/2032.30 c #Conflicts: 1076000 | #Constraints: 276326
2026.69/2032.30 c #Conflicts: 1077000 | #Constraints: 277326
2026.69/2032.30 c #Conflicts: 1078000 | #Constraints: 278326
2026.69/2032.30 c #Conflicts: 1079000 | #Constraints: 279326
2026.69/2032.30 c #Conflicts: 1080000 | #Constraints: 280326
2026.69/2032.30 c #Conflicts: 1081000 | #Constraints: 281326
2026.69/2032.30 c #Conflicts: 1082000 | #Constraints: 282326
2026.69/2032.30 c #Conflicts: 1083000 | #Constraints: 283326
2026.69/2032.30 c #Conflicts: 1084000 | #Constraints: 284326
2026.69/2032.30 c #Conflicts: 1085000 | #Constraints: 285326
2026.69/2032.30 c #Conflicts: 1086000 | #Constraints: 286326
2026.69/2032.30 c #Conflicts: 1087000 | #Constraints: 287326
2026.69/2032.30 c #Conflicts: 1088000 | #Constraints: 288326
2026.69/2032.30 c #Conflicts: 1089000 | #Constraints: 289326
2026.69/2032.30 c #Conflicts: 1090000 | #Constraints: 290326
2026.69/2032.30 c #Conflicts: 1091000 | #Constraints: 291326
2026.69/2032.30 c #Conflicts: 1092000 | #Constraints: 292326
2026.69/2032.30 c #Conflicts: 1093000 | #Constraints: 293326
2026.69/2032.30 c #Conflicts: 1094000 | #Constraints: 294326
2026.69/2032.30 c #Conflicts: 1095000 | #Constraints: 295326
2026.69/2032.30 c #Conflicts: 1096000 | #Constraints: 296326
2026.69/2032.30 c #Conflicts: 1097000 | #Constraints: 297326
2026.69/2032.30 c #Conflicts: 1098000 | #Constraints: 298326
2026.69/2032.30 c #Conflicts: 1099000 | #Constraints: 299326
2026.69/2032.30 c #Conflicts: 1100000 | #Constraints: 300326
2026.69/2032.30 c #Conflicts: 1101000 | #Constraints: 301326
2026.69/2032.30 c #Conflicts: 1102000 | #Constraints: 302326
2026.69/2032.30 c #Conflicts: 1103000 | #Constraints: 303326
2026.69/2032.30 c #Conflicts: 1104000 | #Constraints: 304326
2026.69/2032.30 c #Conflicts: 1105000 | #Constraints: 305326
2026.69/2032.30 c #Conflicts: 1106000 | #Constraints: 306326
2026.69/2032.30 c #Conflicts: 1107000 | #Constraints: 307326
2026.69/2032.30 c #Conflicts: 1108000 | #Constraints: 308326
2026.69/2032.30 c #Conflicts: 1109000 | #Constraints: 309326
2026.69/2032.30 c #Conflicts: 1110000 | #Constraints: 310326
2026.69/2032.30 c #Conflicts: 1111000 | #Constraints: 311326
2026.69/2032.30 c #Conflicts: 1112000 | #Constraints: 312326
2026.69/2032.30 c #Conflicts: 1113000 | #Constraints: 313326
2026.69/2032.30 c #Conflicts: 1114000 | #Constraints: 314326
2026.69/2032.30 c #Conflicts: 1115000 | #Constraints: 315326
2026.69/2032.30 c #Conflicts: 1116000 | #Constraints: 316326
2026.69/2032.30 c #Conflicts: 1117000 | #Constraints: 317326
2026.69/2032.30 c #Conflicts: 1118000 | #Constraints: 318326
2026.69/2032.30 c #Conflicts: 1119000 | #Constraints: 319326
2026.69/2032.30 c #Conflicts: 1120000 | #Constraints: 320326
2026.69/2032.30 c #Conflicts: 1121000 | #Constraints: 321326
2026.69/2032.30 c #Conflicts: 1122000 | #Constraints: 322326
2026.69/2032.30 c #Conflicts: 1123000 | #Constraints: 323326
2026.69/2032.30 c #Conflicts: 1124000 | #Constraints: 324326
2026.69/2032.30 c #Conflicts: 1125000 | #Constraints: 325326
2026.69/2032.30 c #Conflicts: 1126000 | #Constraints: 326326
2026.69/2032.30 c #Conflicts: 1127000 | #Constraints: 327326
2026.69/2032.30 c #Conflicts: 1128000 | #Constraints: 328326
2026.69/2032.30 c #Conflicts: 1129000 | #Constraints: 329326
2026.69/2032.30 c #Conflicts: 1130000 | #Constraints: 330326
2026.69/2032.30 c #Conflicts: 1131000 | #Constraints: 331326
2026.69/2032.30 c #Conflicts: 1132000 | #Constraints: 332326
2026.69/2032.30 c #Conflicts: 1133000 | #Constraints: 333326
2026.69/2032.30 c #Conflicts: 1134000 | #Constraints: 334326
2026.69/2032.30 c INPROCESSING
2026.69/2032.30 c GARBAGE COLLECT
2099.19/2105.03 c #Conflicts: 1135000 | #Constraints: 272157
2099.19/2105.03 c #Conflicts: 1136000 | #Constraints: 273157
2099.19/2105.03 c #Conflicts: 1137000 | #Constraints: 274157
2099.19/2105.03 c #Conflicts: 1138000 | #Constraints: 275157
2099.19/2105.03 c #Conflicts: 1139000 | #Constraints: 276157
2099.19/2105.03 c #Conflicts: 1140000 | #Constraints: 277157
2099.19/2105.03 c #Conflicts: 1141000 | #Constraints: 278157
2099.19/2105.03 c #Conflicts: 1142000 | #Constraints: 279157
2099.19/2105.03 c #Conflicts: 1143000 | #Constraints: 280157
2099.19/2105.03 c #Conflicts: 1144000 | #Constraints: 281157
2099.19/2105.03 c #Conflicts: 1145000 | #Constraints: 282157
2099.19/2105.03 c #Conflicts: 1146000 | #Constraints: 283157
2099.19/2105.03 c #Conflicts: 1147000 | #Constraints: 284157
2099.19/2105.03 c #Conflicts: 1148000 | #Constraints: 285157
2099.19/2105.03 c #Conflicts: 1149000 | #Constraints: 286157
2099.19/2105.03 c #Conflicts: 1150000 | #Constraints: 287157
2099.19/2105.03 c #Conflicts: 1151000 | #Constraints: 288157
2099.19/2105.03 c #Conflicts: 1152000 | #Constraints: 289157
2099.19/2105.03 c #Conflicts: 1153000 | #Constraints: 290157
2099.19/2105.03 c #Conflicts: 1154000 | #Constraints: 291157
2099.19/2105.03 c #Conflicts: 1155000 | #Constraints: 292157
2099.19/2105.03 c #Conflicts: 1156000 | #Constraints: 293157
2099.19/2105.03 c #Conflicts: 1157000 | #Constraints: 294157
2099.19/2105.03 c #Conflicts: 1158000 | #Constraints: 295157
2099.19/2105.03 c #Conflicts: 1159000 | #Constraints: 296157
2099.19/2105.03 c #Conflicts: 1160000 | #Constraints: 297157
2099.19/2105.03 c #Conflicts: 1161000 | #Constraints: 298157
2099.19/2105.03 c #Conflicts: 1162000 | #Constraints: 299157
2099.19/2105.03 c #Conflicts: 1163000 | #Constraints: 300157
2099.19/2105.03 c #Conflicts: 1164000 | #Constraints: 301157
2099.19/2105.03 c #Conflicts: 1165000 | #Constraints: 302157
2099.19/2105.03 c #Conflicts: 1166000 | #Constraints: 303157
2099.19/2105.03 c #Conflicts: 1167000 | #Constraints: 304157
2099.19/2105.03 c #Conflicts: 1168000 | #Constraints: 305157
2099.19/2105.03 c #Conflicts: 1169000 | #Constraints: 306157
2099.19/2105.03 c #Conflicts: 1170000 | #Constraints: 307157
2099.19/2105.03 c #Conflicts: 1171000 | #Constraints: 308157
2099.19/2105.03 c #Conflicts: 1172000 | #Constraints: 309157
2099.19/2105.03 c #Conflicts: 1173000 | #Constraints: 310157
2099.19/2105.03 c #Conflicts: 1174000 | #Constraints: 311157
2099.19/2105.03 c #Conflicts: 1175000 | #Constraints: 312157
2099.19/2105.03 c #Conflicts: 1176000 | #Constraints: 313157
2099.19/2105.03 c #Conflicts: 1177000 | #Constraints: 314157
2099.19/2105.03 c #Conflicts: 1178000 | #Constraints: 315157
2099.19/2105.03 c #Conflicts: 1179000 | #Constraints: 316157
2099.19/2105.03 c #Conflicts: 1180000 | #Constraints: 317157
2099.19/2105.03 c #Conflicts: 1181000 | #Constraints: 318157
2099.19/2105.03 c #Conflicts: 1182000 | #Constraints: 319157
2099.19/2105.03 c #Conflicts: 1183000 | #Constraints: 320157
2099.19/2105.03 c #Conflicts: 1184000 | #Constraints: 321157
2099.19/2105.03 c #Conflicts: 1185000 | #Constraints: 322157
2099.19/2105.03 c #Conflicts: 1186000 | #Constraints: 323157
2099.19/2105.03 c #Conflicts: 1187000 | #Constraints: 324157
2099.19/2105.03 c #Conflicts: 1188000 | #Constraints: 325157
2099.19/2105.03 c #Conflicts: 1189000 | #Constraints: 326157
2099.19/2105.03 c #Conflicts: 1190000 | #Constraints: 327157
2099.19/2105.03 c #Conflicts: 1191000 | #Constraints: 328157
2099.19/2105.03 c #Conflicts: 1192000 | #Constraints: 329157
2099.19/2105.03 c #Conflicts: 1193000 | #Constraints: 330157
2099.19/2105.03 c #Conflicts: 1194000 | #Constraints: 331157
2099.19/2105.03 c #Conflicts: 1195000 | #Constraints: 332157
2099.19/2105.03 c #Conflicts: 1196000 | #Constraints: 333157
2099.19/2105.03 c #Conflicts: 1197000 | #Constraints: 334157
2099.19/2105.03 c #Conflicts: 1198000 | #Constraints: 335157
2099.19/2105.03 c #Conflicts: 1199000 | #Constraints: 336157
2099.19/2105.03 c #Conflicts: 1200000 | #Constraints: 337157
2099.19/2105.03 c #Conflicts: 1201000 | #Constraints: 338157
2099.19/2105.03 c #Conflicts: 1202000 | #Constraints: 339157
2099.19/2105.03 c INPROCESSING
2099.19/2105.03 c GARBAGE COLLECT
2099.19/2105.03 c #Conflicts: 1203000 | #Constraints: 277867
2099.19/2105.03 c #Conflicts: 1204000 | #Constraints: 278867
2099.19/2105.03 c #Conflicts: 1205000 | #Constraints: 279867
2099.19/2105.03 c #Conflicts: 1206000 | #Constraints: 280867
2099.19/2105.03 c #Conflicts: 1207000 | #Constraints: 281867
2099.19/2105.03 c #Conflicts: 1208000 | #Constraints: 282867
2099.19/2105.03 c #Conflicts: 1209000 | #Constraints: 283867
2099.19/2105.03 c #Conflicts: 1210000 | #Constraints: 284867
2099.19/2105.03 c #Conflicts: 1211000 | #Constraints: 285867
2099.19/2105.03 c #Conflicts: 1212000 | #Constraints: 286867
2099.19/2105.03 c #Conflicts: 1213000 | #Constraints: 287867
2538.90/2545.95 c #Conflicts: 1214000 | #Constraints: 288867
2538.90/2545.95 c #Conflicts: 1215000 | #Constraints: 289867
2538.90/2545.95 c #Conflicts: 1216000 | #Constraints: 290867
2538.90/2545.95 c #Conflicts: 1217000 | #Constraints: 291867
2538.90/2545.95 c #Conflicts: 1218000 | #Constraints: 292867
2538.90/2545.95 c #Conflicts: 1219000 | #Constraints: 293867
2538.90/2545.95 c #Conflicts: 1220000 | #Constraints: 294867
2538.90/2545.95 c #Conflicts: 1221000 | #Constraints: 295867
2538.90/2545.95 c #Conflicts: 1222000 | #Constraints: 296867
2538.90/2545.95 c #Conflicts: 1223000 | #Constraints: 297867
2538.90/2545.95 c #Conflicts: 1224000 | #Constraints: 298867
2538.90/2545.95 c #Conflicts: 1225000 | #Constraints: 299867
2538.90/2545.95 c #Conflicts: 1226000 | #Constraints: 300867
2538.90/2545.95 c #Conflicts: 1227000 | #Constraints: 301867
2538.90/2545.95 c #Conflicts: 1228000 | #Constraints: 302867
2538.90/2545.95 c #Conflicts: 1229000 | #Constraints: 303867
2538.90/2545.95 c #Conflicts: 1230000 | #Constraints: 304867
2538.90/2545.95 c #Conflicts: 1231000 | #Constraints: 305867
2538.90/2545.95 c #Conflicts: 1232000 | #Constraints: 306867
2538.90/2545.96 c #Conflicts: 1233000 | #Constraints: 307867
2538.90/2545.96 c #Conflicts: 1234000 | #Constraints: 308867
2538.90/2545.96 c #Conflicts: 1235000 | #Constraints: 309867
2538.90/2545.96 c #Conflicts: 1236000 | #Constraints: 310867
2538.90/2545.96 c #Conflicts: 1237000 | #Constraints: 311867
2538.90/2545.96 c #Conflicts: 1238000 | #Constraints: 312867
2538.90/2545.96 c #Conflicts: 1239000 | #Constraints: 313867
2538.90/2545.96 c #Conflicts: 1240000 | #Constraints: 314867
2538.90/2545.96 c #Conflicts: 1241000 | #Constraints: 315867
2538.90/2545.96 c #Conflicts: 1242000 | #Constraints: 316867
2538.90/2545.96 c #Conflicts: 1243000 | #Constraints: 317867
2538.90/2545.96 c #Conflicts: 1244000 | #Constraints: 318867
2538.90/2545.96 c #Conflicts: 1245000 | #Constraints: 319867
2538.90/2545.96 c #Conflicts: 1246000 | #Constraints: 320867
2538.90/2545.96 c #Conflicts: 1247000 | #Constraints: 321867
2538.90/2545.96 c #Conflicts: 1248000 | #Constraints: 322867
2538.90/2545.96 c #Conflicts: 1249000 | #Constraints: 323867
2538.90/2545.96 c #Conflicts: 1250000 | #Constraints: 324867
2538.90/2545.96 c #Conflicts: 1251000 | #Constraints: 325867
2538.90/2545.96 c #Conflicts: 1252000 | #Constraints: 326867
2538.90/2545.96 c #Conflicts: 1253000 | #Constraints: 327867
2538.90/2545.96 c #Conflicts: 1254000 | #Constraints: 328867
2538.90/2545.96 c #Conflicts: 1255000 | #Constraints: 329867
2538.90/2545.96 c #Conflicts: 1256000 | #Constraints: 330867
2538.90/2545.96 c #Conflicts: 1257000 | #Constraints: 331867
2538.90/2545.96 c #Conflicts: 1258000 | #Constraints: 332867
2538.90/2545.96 c #Conflicts: 1259000 | #Constraints: 333867
2538.90/2545.96 c #Conflicts: 1260000 | #Constraints: 334867
2538.90/2545.96 c #Conflicts: 1261000 | #Constraints: 335867
2538.90/2545.96 c #Conflicts: 1262000 | #Constraints: 336867
2538.90/2545.96 c #Conflicts: 1263000 | #Constraints: 337867
2538.90/2545.96 c #Conflicts: 1264000 | #Constraints: 338867
2538.90/2545.96 c #Conflicts: 1265000 | #Constraints: 339867
2538.90/2545.96 c #Conflicts: 1266000 | #Constraints: 340867
2538.90/2545.96 c #Conflicts: 1267000 | #Constraints: 341867
2538.90/2545.96 c #Conflicts: 1268000 | #Constraints: 342867
2538.90/2545.96 c #Conflicts: 1269000 | #Constraints: 343867
2538.90/2545.96 c #Conflicts: 1270000 | #Constraints: 344867
2538.90/2545.96 c #Conflicts: 1271000 | #Constraints: 345867
2538.90/2545.96 c #Conflicts: 1272000 | #Constraints: 346867
2538.90/2545.96 c INPROCESSING
2538.90/2545.96 c GARBAGE COLLECT
2538.90/2545.96 c rational objective 25457.7
2608.42/2615.64 c #Conflicts: 1273000 | #Constraints: 282431
2608.42/2615.64 c #Conflicts: 1274000 | #Constraints: 283431
2608.42/2615.64 c #Conflicts: 1275000 | #Constraints: 284431
2608.42/2615.64 c #Conflicts: 1276000 | #Constraints: 285431
2608.42/2615.64 c #Conflicts: 1277000 | #Constraints: 286431
2608.42/2615.64 c #Conflicts: 1278000 | #Constraints: 287431
2608.42/2615.64 c #Conflicts: 1279000 | #Constraints: 288431
2608.42/2615.64 c #Conflicts: 1280000 | #Constraints: 289431
2608.42/2615.64 c #Conflicts: 1281000 | #Constraints: 290431
2608.42/2615.64 c #Conflicts: 1282000 | #Constraints: 291431
2608.42/2615.64 c #Conflicts: 1283000 | #Constraints: 292431
2608.42/2615.64 c #Conflicts: 1284000 | #Constraints: 293431
2608.42/2615.64 c #Conflicts: 1285000 | #Constraints: 294431
2608.42/2615.64 c #Conflicts: 1286000 | #Constraints: 295431
2608.42/2615.64 c #Conflicts: 1287000 | #Constraints: 296431
2608.42/2615.64 c #Conflicts: 1288000 | #Constraints: 297431
2608.42/2615.64 c #Conflicts: 1289000 | #Constraints: 298431
2608.42/2615.64 c #Conflicts: 1290000 | #Constraints: 299431
2608.42/2615.64 c #Conflicts: 1291000 | #Constraints: 300431
2608.42/2615.64 c #Conflicts: 1292000 | #Constraints: 301431
2608.42/2615.64 c #Conflicts: 1293000 | #Constraints: 302431
2608.42/2615.64 c #Conflicts: 1294000 | #Constraints: 303431
2608.42/2615.64 c #Conflicts: 1295000 | #Constraints: 304431
2608.42/2615.64 c #Conflicts: 1296000 | #Constraints: 305431
2608.42/2615.64 c #Conflicts: 1297000 | #Constraints: 306431
2608.42/2615.64 c #Conflicts: 1298000 | #Constraints: 307431
2608.42/2615.64 c #Conflicts: 1299000 | #Constraints: 308431
2608.42/2615.64 c #Conflicts: 1300000 | #Constraints: 309431
2608.42/2615.64 c #Conflicts: 1301000 | #Constraints: 310431
2608.42/2615.64 c #Conflicts: 1302000 | #Constraints: 311431
2608.42/2615.64 c #Conflicts: 1303000 | #Constraints: 312431
2608.42/2615.64 c #Conflicts: 1304000 | #Constraints: 313431
2608.42/2615.64 c #Conflicts: 1305000 | #Constraints: 314431
2608.42/2615.64 c #Conflicts: 1306000 | #Constraints: 315431
2608.42/2615.64 c #Conflicts: 1307000 | #Constraints: 316431
2608.42/2615.64 c #Conflicts: 1308000 | #Constraints: 317431
2608.42/2615.64 c #Conflicts: 1309000 | #Constraints: 318431
2608.42/2615.64 c #Conflicts: 1310000 | #Constraints: 319431
2608.42/2615.64 c #Conflicts: 1311000 | #Constraints: 320431
2608.42/2615.64 c #Conflicts: 1312000 | #Constraints: 321431
2608.42/2615.64 c #Conflicts: 1313000 | #Constraints: 322431
2608.42/2615.64 c #Conflicts: 1314000 | #Constraints: 323431
2608.42/2615.64 c #Conflicts: 1315000 | #Constraints: 324431
2608.42/2615.64 c #Conflicts: 1316000 | #Constraints: 325431
2608.42/2615.64 c #Conflicts: 1317000 | #Constraints: 326431
2608.42/2615.64 c #Conflicts: 1318000 | #Constraints: 327431
2608.42/2615.64 c #Conflicts: 1319000 | #Constraints: 328431
2608.42/2615.64 c #Conflicts: 1320000 | #Constraints: 329431
2608.42/2615.64 c #Conflicts: 1321000 | #Constraints: 330431
2608.42/2615.64 c #Conflicts: 1322000 | #Constraints: 331431
2608.42/2615.64 c #Conflicts: 1323000 | #Constraints: 332431
2608.42/2615.64 c #Conflicts: 1324000 | #Constraints: 333431
2608.42/2615.64 c #Conflicts: 1325000 | #Constraints: 334431
2608.42/2615.64 c #Conflicts: 1326000 | #Constraints: 335431
2608.42/2615.64 c #Conflicts: 1327000 | #Constraints: 336431
2608.42/2615.64 c #Conflicts: 1328000 | #Constraints: 337431
2608.42/2615.64 c #Conflicts: 1329000 | #Constraints: 338431
2608.42/2615.64 c #Conflicts: 1330000 | #Constraints: 339431
2608.42/2615.64 c #Conflicts: 1331000 | #Constraints: 340431
2608.42/2615.64 c #Conflicts: 1332000 | #Constraints: 341431
2608.42/2615.64 c #Conflicts: 1333000 | #Constraints: 342431
2608.42/2615.64 c #Conflicts: 1334000 | #Constraints: 343431
2608.42/2615.64 c #Conflicts: 1335000 | #Constraints: 344431
2608.42/2615.64 c #Conflicts: 1336000 | #Constraints: 345431
2608.42/2615.64 c #Conflicts: 1337000 | #Constraints: 346431
2608.42/2615.64 c #Conflicts: 1338000 | #Constraints: 347431
2608.42/2615.64 c #Conflicts: 1339000 | #Constraints: 348431
2608.42/2615.64 c #Conflicts: 1340000 | #Constraints: 349431
2608.42/2615.64 c #Conflicts: 1341000 | #Constraints: 350431
2608.42/2615.64 c #Conflicts: 1342000 | #Constraints: 351431
2608.42/2615.64 c #Conflicts: 1343000 | #Constraints: 352431
2608.42/2615.64 c #Conflicts: 1344000 | #Constraints: 353431
2608.42/2615.64 c #Conflicts: 1345000 | #Constraints: 354431
2608.42/2615.64 c INPROCESSING
2608.42/2615.64 c GARBAGE COLLECT
2608.42/2615.64 c #Conflicts: 1346000 | #Constraints: 287982
2608.42/2615.64 c #Conflicts: 1347000 | #Constraints: 288982
2608.42/2615.64 c #Conflicts: 1348000 | #Constraints: 289982
2608.42/2615.64 c #Conflicts: 1349000 | #Constraints: 290982
2608.42/2615.64 c #Conflicts: 1350000 | #Constraints: 291982
2608.42/2615.64 c #Conflicts: 1351000 | #Constraints: 292982
2729.29/2736.82 c #Conflicts: 1352000 | #Constraints: 293982
2729.29/2736.82 c #Conflicts: 1353000 | #Constraints: 294982
2729.29/2736.82 c #Conflicts: 1354000 | #Constraints: 295982
2729.29/2736.82 c #Conflicts: 1355000 | #Constraints: 296982
2729.29/2736.82 c #Conflicts: 1356000 | #Constraints: 297982
2729.29/2736.82 c #Conflicts: 1357000 | #Constraints: 298982
2729.29/2736.82 c #Conflicts: 1358000 | #Constraints: 299982
2729.29/2736.82 c #Conflicts: 1359000 | #Constraints: 300982
2729.29/2736.82 c #Conflicts: 1360000 | #Constraints: 301982
2729.29/2736.82 c #Conflicts: 1361000 | #Constraints: 302982
2729.29/2736.82 c #Conflicts: 1362000 | #Constraints: 303982
2729.29/2736.82 c #Conflicts: 1363000 | #Constraints: 304982
2729.29/2736.82 c #Conflicts: 1364000 | #Constraints: 305982
2729.29/2736.82 c #Conflicts: 1365000 | #Constraints: 306982
2729.29/2736.82 c #Conflicts: 1366000 | #Constraints: 307982
2729.29/2736.82 c #Conflicts: 1367000 | #Constraints: 308982
2729.29/2736.82 c #Conflicts: 1368000 | #Constraints: 309982
2729.29/2736.82 c #Conflicts: 1369000 | #Constraints: 310982
2729.29/2736.82 c #Conflicts: 1370000 | #Constraints: 311982
2729.29/2736.82 c #Conflicts: 1371000 | #Constraints: 312982
2729.29/2736.82 c #Conflicts: 1372000 | #Constraints: 313982
2729.29/2736.82 c #Conflicts: 1373000 | #Constraints: 314982
2729.29/2736.82 c #Conflicts: 1374000 | #Constraints: 315982
2729.29/2736.82 c #Conflicts: 1375000 | #Constraints: 316982
2729.29/2736.82 c #Conflicts: 1376000 | #Constraints: 317982
2729.29/2736.82 c #Conflicts: 1377000 | #Constraints: 318982
2729.29/2736.82 c #Conflicts: 1378000 | #Constraints: 319982
2729.29/2736.82 c #Conflicts: 1379000 | #Constraints: 320982
2729.29/2736.82 c #Conflicts: 1380000 | #Constraints: 321982
2729.29/2736.82 c #Conflicts: 1381000 | #Constraints: 322982
2729.29/2736.82 c #Conflicts: 1382000 | #Constraints: 323982
2729.29/2736.82 c #Conflicts: 1383000 | #Constraints: 324982
2729.29/2736.82 c #Conflicts: 1384000 | #Constraints: 325982
2729.29/2736.82 c #Conflicts: 1385000 | #Constraints: 326982
2729.29/2736.82 c #Conflicts: 1386000 | #Constraints: 327982
2729.29/2736.82 c #Conflicts: 1387000 | #Constraints: 328982
2729.29/2736.82 c #Conflicts: 1388000 | #Constraints: 329982
2729.29/2736.82 c #Conflicts: 1389000 | #Constraints: 330982
2729.29/2736.82 c #Conflicts: 1390000 | #Constraints: 331982
2729.29/2736.82 c #Conflicts: 1391000 | #Constraints: 332982
2729.29/2736.82 c #Conflicts: 1392000 | #Constraints: 333982
2729.29/2736.82 c #Conflicts: 1393000 | #Constraints: 334982
2729.29/2736.82 c #Conflicts: 1394000 | #Constraints: 335982
2729.29/2736.82 c #Conflicts: 1395000 | #Constraints: 336982
2729.29/2736.82 c #Conflicts: 1396000 | #Constraints: 337982
2729.29/2736.82 c #Conflicts: 1397000 | #Constraints: 338982
2729.29/2736.82 c #Conflicts: 1398000 | #Constraints: 339982
2729.29/2736.82 c #Conflicts: 1399000 | #Constraints: 340982
2729.29/2736.82 c #Conflicts: 1400000 | #Constraints: 341982
2729.29/2736.82 c #Conflicts: 1401000 | #Constraints: 342982
2729.29/2736.82 c #Conflicts: 1402000 | #Constraints: 343982
2729.29/2736.82 c #Conflicts: 1403000 | #Constraints: 344982
2729.29/2736.82 c #Conflicts: 1404000 | #Constraints: 345982
2729.29/2736.82 c #Conflicts: 1405000 | #Constraints: 346982
2729.29/2736.82 c #Conflicts: 1406000 | #Constraints: 347982
2729.29/2736.82 c #Conflicts: 1407000 | #Constraints: 348982
2729.29/2736.82 c #Conflicts: 1408000 | #Constraints: 349982
2729.29/2736.82 c #Conflicts: 1409000 | #Constraints: 350982
2729.29/2736.82 c #Conflicts: 1410000 | #Constraints: 351982
2729.29/2736.82 c #Conflicts: 1411000 | #Constraints: 352982
2729.29/2736.82 c #Conflicts: 1412000 | #Constraints: 353982
2729.29/2736.82 c #Conflicts: 1413000 | #Constraints: 354982
2729.29/2736.82 c #Conflicts: 1414000 | #Constraints: 355982
2729.29/2736.82 c #Conflicts: 1415000 | #Constraints: 356982
2729.29/2736.82 c #Conflicts: 1416000 | #Constraints: 357982
2729.29/2736.82 c #Conflicts: 1417000 | #Constraints: 358982
2729.29/2736.82 c #Conflicts: 1418000 | #Constraints: 359982
2729.29/2736.82 c #Conflicts: 1419000 | #Constraints: 360982
2729.29/2736.82 c INPROCESSING
2729.29/2736.82 c GARBAGE COLLECT
2729.29/2736.82 c #Conflicts: 1420000 | #Constraints: 293148
2729.29/2736.82 c #Conflicts: 1421000 | #Constraints: 294148
2729.29/2736.82 c #Conflicts: 1422000 | #Constraints: 295148
2729.29/2736.82 c #Conflicts: 1423000 | #Constraints: 296148
2729.29/2736.82 c #Conflicts: 1424000 | #Constraints: 297148
2729.29/2736.82 c #Conflicts: 1425000 | #Constraints: 298148
2729.29/2736.82 c #Conflicts: 1426000 | #Constraints: 299148
2729.29/2736.82 c #Conflicts: 1427000 | #Constraints: 300148
2729.29/2736.82 c #Conflicts: 1428000 | #Constraints: 301148
2729.29/2736.82 c #Conflicts: 1429000 | #Constraints: 302148
2797.60/2805.34 c #Conflicts: 1430000 | #Constraints: 303148
2797.60/2805.34 c #Conflicts: 1431000 | #Constraints: 304148
2797.60/2805.34 c #Conflicts: 1432000 | #Constraints: 305148
2797.60/2805.34 c #Conflicts: 1433000 | #Constraints: 306148
2797.60/2805.34 c #Conflicts: 1434000 | #Constraints: 307148
2797.60/2805.34 c #Conflicts: 1435000 | #Constraints: 308148
2797.60/2805.34 c #Conflicts: 1436000 | #Constraints: 309148
2797.60/2805.34 c #Conflicts: 1437000 | #Constraints: 310148
2797.60/2805.34 c #Conflicts: 1438000 | #Constraints: 311148
2797.60/2805.34 c #Conflicts: 1439000 | #Constraints: 312148
2797.60/2805.34 c #Conflicts: 1440000 | #Constraints: 313148
2797.60/2805.34 c #Conflicts: 1441000 | #Constraints: 314148
2797.60/2805.34 c #Conflicts: 1442000 | #Constraints: 315148
2797.60/2805.34 c #Conflicts: 1443000 | #Constraints: 316148
2797.60/2805.34 c #Conflicts: 1444000 | #Constraints: 317148
2797.60/2805.34 c #Conflicts: 1445000 | #Constraints: 318148
2797.60/2805.34 c #Conflicts: 1446000 | #Constraints: 319148
2797.60/2805.34 c #Conflicts: 1447000 | #Constraints: 320148
2797.60/2805.34 c #Conflicts: 1448000 | #Constraints: 321148
2797.60/2805.34 c #Conflicts: 1449000 | #Constraints: 322148
2797.60/2805.34 c #Conflicts: 1450000 | #Constraints: 323148
2797.60/2805.34 c #Conflicts: 1451000 | #Constraints: 324148
2797.60/2805.34 c #Conflicts: 1452000 | #Constraints: 325148
2797.60/2805.34 c #Conflicts: 1453000 | #Constraints: 326148
2797.60/2805.34 c #Conflicts: 1454000 | #Constraints: 327148
2797.60/2805.34 c #Conflicts: 1455000 | #Constraints: 328148
2797.60/2805.34 c #Conflicts: 1456000 | #Constraints: 329148
2797.60/2805.34 c #Conflicts: 1457000 | #Constraints: 330148
2797.60/2805.34 c #Conflicts: 1458000 | #Constraints: 331148
2797.60/2805.34 c #Conflicts: 1459000 | #Constraints: 332148
2797.60/2805.34 c #Conflicts: 1460000 | #Constraints: 333148
2797.60/2805.34 c #Conflicts: 1461000 | #Constraints: 334148
2797.60/2805.34 c #Conflicts: 1462000 | #Constraints: 335148
2797.60/2805.34 c #Conflicts: 1463000 | #Constraints: 336148
2797.60/2805.34 c #Conflicts: 1464000 | #Constraints: 337148
2797.60/2805.34 c #Conflicts: 1465000 | #Constraints: 338148
2797.60/2805.34 c #Conflicts: 1466000 | #Constraints: 339148
2797.60/2805.34 c #Conflicts: 1467000 | #Constraints: 340148
2797.60/2805.34 c #Conflicts: 1468000 | #Constraints: 341148
2797.60/2805.34 c #Conflicts: 1469000 | #Constraints: 342148
2797.60/2805.34 c #Conflicts: 1470000 | #Constraints: 343148
2797.60/2805.34 c #Conflicts: 1471000 | #Constraints: 344148
2797.60/2805.34 c #Conflicts: 1472000 | #Constraints: 345148
2797.60/2805.34 c #Conflicts: 1473000 | #Constraints: 346148
2797.60/2805.34 c #Conflicts: 1474000 | #Constraints: 347148
2797.60/2805.34 c #Conflicts: 1475000 | #Constraints: 348148
2797.60/2805.34 c #Conflicts: 1476000 | #Constraints: 349148
2797.60/2805.34 c #Conflicts: 1477000 | #Constraints: 350148
2797.60/2805.34 c #Conflicts: 1478000 | #Constraints: 351148
2797.60/2805.34 c #Conflicts: 1479000 | #Constraints: 352148
2797.60/2805.34 c #Conflicts: 1480000 | #Constraints: 353148
2797.60/2805.34 c #Conflicts: 1481000 | #Constraints: 354148
2797.60/2805.34 c #Conflicts: 1482000 | #Constraints: 355148
2797.60/2805.34 c #Conflicts: 1483000 | #Constraints: 356148
2797.60/2805.34 c #Conflicts: 1484000 | #Constraints: 357148
2797.60/2805.34 c #Conflicts: 1485000 | #Constraints: 358148
2797.60/2805.34 c #Conflicts: 1486000 | #Constraints: 359148
2797.60/2805.34 c #Conflicts: 1487000 | #Constraints: 360148
2797.60/2805.34 c #Conflicts: 1488000 | #Constraints: 361148
2797.60/2805.34 c #Conflicts: 1489000 | #Constraints: 362148
2797.60/2805.34 c #Conflicts: 1490000 | #Constraints: 363148
2797.60/2805.34 c #Conflicts: 1491000 | #Constraints: 364148
2797.60/2805.34 c #Conflicts: 1492000 | #Constraints: 365148
2797.60/2805.34 c #Conflicts: 1493000 | #Constraints: 366148
2797.60/2805.34 c #Conflicts: 1494000 | #Constraints: 367148
2797.60/2805.34 c #Conflicts: 1495000 | #Constraints: 368148
2797.60/2805.34 c #Conflicts: 1496000 | #Constraints: 369148
2797.60/2805.34 c INPROCESSING
2797.60/2805.34 c GARBAGE COLLECT
2797.60/2805.34 c #Conflicts: 1497000 | #Constraints: 298838
2797.60/2805.34 c #Conflicts: 1498000 | #Constraints: 299838
2797.60/2805.34 c #Conflicts: 1499000 | #Constraints: 300838
2797.60/2805.34 c #Conflicts: 1500000 | #Constraints: 301838
2797.60/2805.34 c #Conflicts: 1501000 | #Constraints: 302838
2797.60/2805.34 c #Conflicts: 1502000 | #Constraints: 303838
2797.60/2805.34 c #Conflicts: 1503000 | #Constraints: 304838
2797.60/2805.34 c #Conflicts: 1504000 | #Constraints: 305838
2797.60/2805.34 c #Conflicts: 1505000 | #Constraints: 306838
2797.60/2805.34 c #Conflicts: 1506000 | #Constraints: 307838
2797.60/2805.34 c #Conflicts: 1507000 | #Constraints: 308838
2865.80/2873.72 c #Conflicts: 1508000 | #Constraints: 309838
2865.80/2873.72 c #Conflicts: 1509000 | #Constraints: 310838
2865.80/2873.72 c #Conflicts: 1510000 | #Constraints: 311838
2865.80/2873.72 c #Conflicts: 1511000 | #Constraints: 312838
2865.80/2873.72 c #Conflicts: 1512000 | #Constraints: 313838
2865.80/2873.72 c #Conflicts: 1513000 | #Constraints: 314838
2865.80/2873.72 c #Conflicts: 1514000 | #Constraints: 315838
2865.80/2873.72 c #Conflicts: 1515000 | #Constraints: 316838
2865.80/2873.72 c #Conflicts: 1516000 | #Constraints: 317838
2865.80/2873.72 c #Conflicts: 1517000 | #Constraints: 318838
2865.80/2873.72 c #Conflicts: 1518000 | #Constraints: 319838
2865.80/2873.72 c #Conflicts: 1519000 | #Constraints: 320838
2865.80/2873.72 c #Conflicts: 1520000 | #Constraints: 321838
2865.80/2873.72 c #Conflicts: 1521000 | #Constraints: 322838
2865.80/2873.72 c #Conflicts: 1522000 | #Constraints: 323838
2865.80/2873.72 c #Conflicts: 1523000 | #Constraints: 324838
2865.80/2873.72 c #Conflicts: 1524000 | #Constraints: 325838
2865.80/2873.72 c #Conflicts: 1525000 | #Constraints: 326838
2865.80/2873.72 c #Conflicts: 1526000 | #Constraints: 327838
2865.80/2873.72 c #Conflicts: 1527000 | #Constraints: 328838
2865.80/2873.72 c #Conflicts: 1528000 | #Constraints: 329838
2865.80/2873.72 c #Conflicts: 1529000 | #Constraints: 330838
2865.80/2873.72 c #Conflicts: 1530000 | #Constraints: 331838
2865.80/2873.72 c #Conflicts: 1531000 | #Constraints: 332838
2865.80/2873.72 c #Conflicts: 1532000 | #Constraints: 333838
2865.80/2873.72 c #Conflicts: 1533000 | #Constraints: 334838
2865.80/2873.72 c #Conflicts: 1534000 | #Constraints: 335838
2865.80/2873.72 c #Conflicts: 1535000 | #Constraints: 336838
2865.80/2873.72 c #Conflicts: 1536000 | #Constraints: 337838
2865.80/2873.72 c #Conflicts: 1537000 | #Constraints: 338838
2865.80/2873.72 c #Conflicts: 1538000 | #Constraints: 339838
2865.80/2873.72 c #Conflicts: 1539000 | #Constraints: 340838
2865.80/2873.72 c #Conflicts: 1540000 | #Constraints: 341838
2865.80/2873.72 c #Conflicts: 1541000 | #Constraints: 342838
2865.80/2873.72 c #Conflicts: 1542000 | #Constraints: 343838
2865.80/2873.72 c #Conflicts: 1543000 | #Constraints: 344838
2865.80/2873.72 c #Conflicts: 1544000 | #Constraints: 345838
2865.80/2873.72 c #Conflicts: 1545000 | #Constraints: 346838
2865.80/2873.72 c #Conflicts: 1546000 | #Constraints: 347838
2865.80/2873.73 c #Conflicts: 1547000 | #Constraints: 348838
2865.80/2873.73 c #Conflicts: 1548000 | #Constraints: 349838
2865.80/2873.73 c #Conflicts: 1549000 | #Constraints: 350838
2865.80/2873.73 c #Conflicts: 1550000 | #Constraints: 351838
2865.80/2873.73 c #Conflicts: 1551000 | #Constraints: 352838
2865.80/2873.73 c #Conflicts: 1552000 | #Constraints: 353838
2865.80/2873.73 c #Conflicts: 1553000 | #Constraints: 354838
2865.80/2873.73 c #Conflicts: 1554000 | #Constraints: 355838
2865.80/2873.73 c #Conflicts: 1555000 | #Constraints: 356838
2865.80/2873.73 c #Conflicts: 1556000 | #Constraints: 357838
2865.80/2873.73 c #Conflicts: 1557000 | #Constraints: 358838
2865.80/2873.73 c #Conflicts: 1558000 | #Constraints: 359838
2865.80/2873.73 c #Conflicts: 1559000 | #Constraints: 360838
2865.80/2873.73 c #Conflicts: 1560000 | #Constraints: 361838
2865.80/2873.73 c #Conflicts: 1561000 | #Constraints: 362838
2865.80/2873.73 c #Conflicts: 1562000 | #Constraints: 363838
2865.80/2873.73 c #Conflicts: 1563000 | #Constraints: 364838
2865.80/2873.73 c #Conflicts: 1564000 | #Constraints: 365838
2865.80/2873.73 c #Conflicts: 1565000 | #Constraints: 366838
2865.80/2873.73 c #Conflicts: 1566000 | #Constraints: 367838
2865.80/2873.73 c #Conflicts: 1567000 | #Constraints: 368838
2865.80/2873.73 c #Conflicts: 1568000 | #Constraints: 369838
2865.80/2873.73 c #Conflicts: 1569000 | #Constraints: 370838
2865.80/2873.73 c #Conflicts: 1570000 | #Constraints: 371838
2865.80/2873.73 c #Conflicts: 1571000 | #Constraints: 372838
2865.80/2873.73 c #Conflicts: 1572000 | #Constraints: 373838
2865.80/2873.73 c #Conflicts: 1573000 | #Constraints: 374838
2865.80/2873.73 c #Conflicts: 1574000 | #Constraints: 375838
2865.80/2873.73 c INPROCESSING
2865.80/2873.73 c GARBAGE COLLECT
2865.80/2873.73 c #Conflicts: 1575000 | #Constraints: 303106
2865.80/2873.73 c #Conflicts: 1576000 | #Constraints: 304106
2865.80/2873.73 c #Conflicts: 1577000 | #Constraints: 305106
2865.80/2873.73 c #Conflicts: 1578000 | #Constraints: 306106
2865.80/2873.73 c #Conflicts: 1579000 | #Constraints: 307106
2865.80/2873.73 c #Conflicts: 1580000 | #Constraints: 308106
2865.80/2873.73 c #Conflicts: 1581000 | #Constraints: 309106
2865.80/2873.73 c #Conflicts: 1582000 | #Constraints: 310106
2865.80/2873.73 c #Conflicts: 1583000 | #Constraints: 311106
2865.80/2873.73 c #Conflicts: 1584000 | #Constraints: 312106
2865.80/2873.73 c #Conflicts: 1585000 | #Constraints: 313106
3062.07/3070.55 c #Conflicts: 1586000 | #Constraints: 314106
3062.07/3070.55 c #Conflicts: 1587000 | #Constraints: 315106
3062.07/3070.55 c #Conflicts: 1588000 | #Constraints: 316106
3062.07/3070.55 c #Conflicts: 1589000 | #Constraints: 317106
3062.07/3070.55 c #Conflicts: 1590000 | #Constraints: 318106
3062.07/3070.55 c #Conflicts: 1591000 | #Constraints: 319106
3062.07/3070.55 c #Conflicts: 1592000 | #Constraints: 320106
3062.07/3070.55 c #Conflicts: 1593000 | #Constraints: 321106
3062.07/3070.55 c #Conflicts: 1594000 | #Constraints: 322106
3062.07/3070.55 c #Conflicts: 1595000 | #Constraints: 323106
3062.07/3070.55 c #Conflicts: 1596000 | #Constraints: 324106
3062.07/3070.55 c #Conflicts: 1597000 | #Constraints: 325106
3062.07/3070.55 c #Conflicts: 1598000 | #Constraints: 326106
3062.07/3070.55 c #Conflicts: 1599000 | #Constraints: 327106
3062.07/3070.55 c #Conflicts: 1600000 | #Constraints: 328106
3062.07/3070.55 c #Conflicts: 1601000 | #Constraints: 329106
3062.07/3070.55 c #Conflicts: 1602000 | #Constraints: 330106
3062.07/3070.55 c #Conflicts: 1603000 | #Constraints: 331106
3062.07/3070.55 c #Conflicts: 1604000 | #Constraints: 332106
3062.07/3070.55 c #Conflicts: 1605000 | #Constraints: 333106
3062.07/3070.55 c #Conflicts: 1606000 | #Constraints: 334106
3062.07/3070.55 c #Conflicts: 1607000 | #Constraints: 335106
3062.07/3070.55 c #Conflicts: 1608000 | #Constraints: 336106
3062.07/3070.55 c #Conflicts: 1609000 | #Constraints: 337106
3062.07/3070.55 c #Conflicts: 1610000 | #Constraints: 338106
3062.07/3070.55 c #Conflicts: 1611000 | #Constraints: 339106
3062.07/3070.55 c #Conflicts: 1612000 | #Constraints: 340106
3062.07/3070.55 c #Conflicts: 1613000 | #Constraints: 341106
3062.07/3070.55 c #Conflicts: 1614000 | #Constraints: 342106
3062.07/3070.55 c #Conflicts: 1615000 | #Constraints: 343106
3062.07/3070.55 c #Conflicts: 1616000 | #Constraints: 344106
3062.07/3070.55 c #Conflicts: 1617000 | #Constraints: 345106
3062.07/3070.55 c #Conflicts: 1618000 | #Constraints: 346106
3062.07/3070.55 c #Conflicts: 1619000 | #Constraints: 347106
3062.07/3070.55 c #Conflicts: 1620000 | #Constraints: 348106
3062.07/3070.55 c #Conflicts: 1621000 | #Constraints: 349106
3062.07/3070.55 c #Conflicts: 1622000 | #Constraints: 350106
3062.07/3070.55 c #Conflicts: 1623000 | #Constraints: 351106
3062.07/3070.55 c #Conflicts: 1624000 | #Constraints: 352106
3062.07/3070.55 c #Conflicts: 1625000 | #Constraints: 353106
3062.07/3070.55 c #Conflicts: 1626000 | #Constraints: 354106
3062.07/3070.55 c #Conflicts: 1627000 | #Constraints: 355106
3062.07/3070.55 c #Conflicts: 1628000 | #Constraints: 356106
3062.07/3070.55 c #Conflicts: 1629000 | #Constraints: 357106
3062.07/3070.55 c #Conflicts: 1630000 | #Constraints: 358106
3062.07/3070.55 c #Conflicts: 1631000 | #Constraints: 359106
3062.07/3070.55 c #Conflicts: 1632000 | #Constraints: 360106
3062.07/3070.55 c #Conflicts: 1633000 | #Constraints: 361106
3062.07/3070.55 c #Conflicts: 1634000 | #Constraints: 362106
3062.07/3070.55 c #Conflicts: 1635000 | #Constraints: 363106
3062.07/3070.55 c #Conflicts: 1636000 | #Constraints: 364106
3062.07/3070.55 c #Conflicts: 1637000 | #Constraints: 365106
3062.07/3070.55 c #Conflicts: 1638000 | #Constraints: 366106
3062.07/3070.55 c #Conflicts: 1639000 | #Constraints: 367106
3062.07/3070.55 c #Conflicts: 1640000 | #Constraints: 368106
3062.07/3070.55 c #Conflicts: 1641000 | #Constraints: 369106
3062.07/3070.55 c #Conflicts: 1642000 | #Constraints: 370106
3062.07/3070.55 c #Conflicts: 1643000 | #Constraints: 371106
3062.07/3070.55 c #Conflicts: 1644000 | #Constraints: 372106
3062.07/3070.55 c #Conflicts: 1645000 | #Constraints: 373106
3062.07/3070.55 c #Conflicts: 1646000 | #Constraints: 374106
3062.07/3070.55 c #Conflicts: 1647000 | #Constraints: 375106
3062.07/3070.55 c #Conflicts: 1648000 | #Constraints: 376106
3062.07/3070.55 c #Conflicts: 1649000 | #Constraints: 377106
3062.07/3070.55 c #Conflicts: 1650000 | #Constraints: 378106
3062.07/3070.55 c #Conflicts: 1651000 | #Constraints: 379106
3062.07/3070.55 c #Conflicts: 1652000 | #Constraints: 380106
3062.07/3070.55 c #Conflicts: 1653000 | #Constraints: 381106
3062.07/3070.55 c #Conflicts: 1654000 | #Constraints: 382106
3062.07/3070.55 c INPROCESSING
3062.07/3070.55 c GARBAGE COLLECT
3062.07/3070.55 c #Conflicts: 1655000 | #Constraints: 305710
3062.07/3070.55 c #Conflicts: 1656000 | #Constraints: 306710
3062.07/3070.55 c #Conflicts: 1657000 | #Constraints: 307710
3062.07/3070.55 c #Conflicts: 1658000 | #Constraints: 308710
3062.07/3070.55 c #Conflicts: 1659000 | #Constraints: 309710
3062.07/3070.55 c #Conflicts: 1660000 | #Constraints: 310710
3062.07/3070.55 c #Conflicts: 1661000 | #Constraints: 311710
3062.07/3070.55 c #Conflicts: 1662000 | #Constraints: 312710
3062.07/3070.55 c #Conflicts: 1663000 | #Constraints: 313710
3145.23/3153.95 c #Conflicts: 1664000 | #Constraints: 314710
3145.23/3153.95 c #Conflicts: 1665000 | #Constraints: 315710
3145.23/3153.95 c #Conflicts: 1666000 | #Constraints: 316710
3145.23/3153.95 c #Conflicts: 1667000 | #Constraints: 317710
3145.23/3153.95 c #Conflicts: 1668000 | #Constraints: 318710
3145.23/3153.95 c #Conflicts: 1669000 | #Constraints: 319710
3145.23/3153.95 c #Conflicts: 1670000 | #Constraints: 320710
3145.23/3153.95 c #Conflicts: 1671000 | #Constraints: 321710
3145.23/3153.95 c #Conflicts: 1672000 | #Constraints: 322710
3145.23/3153.95 c #Conflicts: 1673000 | #Constraints: 323710
3145.23/3153.95 c #Conflicts: 1674000 | #Constraints: 324710
3145.23/3153.95 c #Conflicts: 1675000 | #Constraints: 325710
3145.23/3153.95 c #Conflicts: 1676000 | #Constraints: 326710
3145.23/3153.95 c #Conflicts: 1677000 | #Constraints: 327710
3145.23/3153.95 c #Conflicts: 1678000 | #Constraints: 328710
3145.23/3153.95 c #Conflicts: 1679000 | #Constraints: 329710
3145.23/3153.95 c #Conflicts: 1680000 | #Constraints: 330710
3145.23/3153.95 c #Conflicts: 1681000 | #Constraints: 331710
3145.23/3153.95 c #Conflicts: 1682000 | #Constraints: 332710
3145.23/3153.95 c #Conflicts: 1683000 | #Constraints: 333710
3145.23/3153.95 c #Conflicts: 1684000 | #Constraints: 334710
3145.23/3153.95 c #Conflicts: 1685000 | #Constraints: 335710
3145.23/3153.95 c #Conflicts: 1686000 | #Constraints: 336710
3145.23/3153.95 c #Conflicts: 1687000 | #Constraints: 337710
3145.23/3153.95 c #Conflicts: 1688000 | #Constraints: 338710
3145.23/3153.95 c #Conflicts: 1689000 | #Constraints: 339710
3145.23/3153.95 c #Conflicts: 1690000 | #Constraints: 340710
3145.23/3153.95 c #Conflicts: 1691000 | #Constraints: 341710
3145.23/3153.95 c #Conflicts: 1692000 | #Constraints: 342710
3145.23/3153.95 c #Conflicts: 1693000 | #Constraints: 343710
3145.23/3153.95 c #Conflicts: 1694000 | #Constraints: 344710
3145.23/3153.95 c #Conflicts: 1695000 | #Constraints: 345710
3145.23/3153.95 c #Conflicts: 1696000 | #Constraints: 346710
3145.23/3153.95 c #Conflicts: 1697000 | #Constraints: 347710
3145.23/3153.95 c #Conflicts: 1698000 | #Constraints: 348710
3145.23/3153.95 c #Conflicts: 1699000 | #Constraints: 349710
3145.23/3153.95 c #Conflicts: 1700000 | #Constraints: 350710
3145.23/3153.95 c #Conflicts: 1701000 | #Constraints: 351710
3145.23/3153.95 c #Conflicts: 1702000 | #Constraints: 352710
3145.23/3153.95 c #Conflicts: 1703000 | #Constraints: 353710
3145.23/3153.95 c #Conflicts: 1704000 | #Constraints: 354710
3145.23/3153.95 c #Conflicts: 1705000 | #Constraints: 355710
3145.23/3153.95 c #Conflicts: 1706000 | #Constraints: 356710
3145.23/3153.95 c #Conflicts: 1707000 | #Constraints: 357710
3145.23/3153.95 c #Conflicts: 1708000 | #Constraints: 358710
3145.23/3153.95 c #Conflicts: 1709000 | #Constraints: 359710
3145.23/3153.95 c #Conflicts: 1710000 | #Constraints: 360710
3145.23/3153.95 c #Conflicts: 1711000 | #Constraints: 361710
3145.23/3153.95 c #Conflicts: 1712000 | #Constraints: 362710
3145.23/3153.95 c #Conflicts: 1713000 | #Constraints: 363710
3145.23/3153.95 c #Conflicts: 1714000 | #Constraints: 364710
3145.23/3153.95 c #Conflicts: 1715000 | #Constraints: 365710
3145.23/3153.95 c #Conflicts: 1716000 | #Constraints: 366710
3145.23/3153.95 c #Conflicts: 1717000 | #Constraints: 367710
3145.23/3153.95 c #Conflicts: 1718000 | #Constraints: 368710
3145.23/3153.95 c #Conflicts: 1719000 | #Constraints: 369710
3145.23/3153.95 c #Conflicts: 1720000 | #Constraints: 370710
3145.23/3153.95 c #Conflicts: 1721000 | #Constraints: 371710
3145.23/3153.95 c #Conflicts: 1722000 | #Constraints: 372710
3145.23/3153.95 c #Conflicts: 1723000 | #Constraints: 373710
3145.23/3153.95 c #Conflicts: 1724000 | #Constraints: 374710
3145.23/3153.95 c #Conflicts: 1725000 | #Constraints: 375710
3145.23/3153.95 c #Conflicts: 1726000 | #Constraints: 376710
3145.23/3153.95 c #Conflicts: 1727000 | #Constraints: 377710
3145.23/3153.95 c #Conflicts: 1728000 | #Constraints: 378710
3145.23/3153.95 c #Conflicts: 1729000 | #Constraints: 379710
3145.23/3153.95 c #Conflicts: 1730000 | #Constraints: 380710
3145.23/3153.95 c #Conflicts: 1731000 | #Constraints: 381710
3145.23/3153.95 c #Conflicts: 1732000 | #Constraints: 382710
3145.23/3153.95 c #Conflicts: 1733000 | #Constraints: 383710
3145.23/3153.95 c #Conflicts: 1734000 | #Constraints: 384710
3145.23/3153.95 c #Conflicts: 1735000 | #Constraints: 385710
3145.23/3153.95 c #Conflicts: 1736000 | #Constraints: 386710
3145.23/3153.95 c #Conflicts: 1737000 | #Constraints: 387710
3145.23/3153.95 c INPROCESSING
3145.23/3153.95 c GARBAGE COLLECT
3145.23/3153.95 c #Conflicts: 1738000 | #Constraints: 311609
3145.23/3153.95 c #Conflicts: 1739000 | #Constraints: 312609
3145.23/3153.95 c #Conflicts: 1740000 | #Constraints: 313609
3145.23/3153.95 c #Conflicts: 1741000 | #Constraints: 314609
3220.61/3229.59 c #Conflicts: 1742000 | #Constraints: 315609
3220.61/3229.59 c #Conflicts: 1743000 | #Constraints: 316609
3220.61/3229.59 c #Conflicts: 1744000 | #Constraints: 317609
3220.61/3229.59 c #Conflicts: 1745000 | #Constraints: 318609
3220.61/3229.59 c #Conflicts: 1746000 | #Constraints: 319609
3220.61/3229.59 c #Conflicts: 1747000 | #Constraints: 320609
3220.61/3229.59 c #Conflicts: 1748000 | #Constraints: 321609
3220.61/3229.59 c #Conflicts: 1749000 | #Constraints: 322609
3220.61/3229.59 c #Conflicts: 1750000 | #Constraints: 323609
3220.61/3229.59 c #Conflicts: 1751000 | #Constraints: 324609
3220.61/3229.59 c #Conflicts: 1752000 | #Constraints: 325609
3220.61/3229.59 c #Conflicts: 1753000 | #Constraints: 326609
3220.61/3229.59 c #Conflicts: 1754000 | #Constraints: 327609
3220.61/3229.59 c #Conflicts: 1755000 | #Constraints: 328609
3220.61/3229.59 c #Conflicts: 1756000 | #Constraints: 329609
3220.61/3229.59 c #Conflicts: 1757000 | #Constraints: 330609
3220.61/3229.59 c #Conflicts: 1758000 | #Constraints: 331609
3220.61/3229.59 c #Conflicts: 1759000 | #Constraints: 332609
3220.61/3229.59 c #Conflicts: 1760000 | #Constraints: 333609
3220.61/3229.59 c #Conflicts: 1761000 | #Constraints: 334609
3220.61/3229.59 c #Conflicts: 1762000 | #Constraints: 335609
3220.61/3229.59 c #Conflicts: 1763000 | #Constraints: 336609
3220.61/3229.59 c #Conflicts: 1764000 | #Constraints: 337609
3220.61/3229.59 c #Conflicts: 1765000 | #Constraints: 338609
3220.61/3229.59 c #Conflicts: 1766000 | #Constraints: 339609
3220.61/3229.59 c #Conflicts: 1767000 | #Constraints: 340609
3220.61/3229.59 c #Conflicts: 1768000 | #Constraints: 341609
3220.61/3229.59 c #Conflicts: 1769000 | #Constraints: 342609
3220.61/3229.59 c #Conflicts: 1770000 | #Constraints: 343609
3220.61/3229.59 c #Conflicts: 1771000 | #Constraints: 344609
3220.61/3229.59 c #Conflicts: 1772000 | #Constraints: 345609
3220.61/3229.59 c #Conflicts: 1773000 | #Constraints: 346609
3220.61/3229.59 c #Conflicts: 1774000 | #Constraints: 347609
3220.61/3229.59 c #Conflicts: 1775000 | #Constraints: 348609
3220.61/3229.59 c #Conflicts: 1776000 | #Constraints: 349609
3220.61/3229.59 c #Conflicts: 1777000 | #Constraints: 350609
3220.61/3229.59 c #Conflicts: 1778000 | #Constraints: 351609
3220.61/3229.59 c #Conflicts: 1779000 | #Constraints: 352609
3220.61/3229.59 c #Conflicts: 1780000 | #Constraints: 353609
3220.61/3229.59 c #Conflicts: 1781000 | #Constraints: 354609
3220.61/3229.59 c #Conflicts: 1782000 | #Constraints: 355609
3220.61/3229.59 c #Conflicts: 1783000 | #Constraints: 356609
3220.61/3229.59 c #Conflicts: 1784000 | #Constraints: 357609
3220.61/3229.59 c #Conflicts: 1785000 | #Constraints: 358609
3220.61/3229.59 c #Conflicts: 1786000 | #Constraints: 359609
3220.61/3229.59 c #Conflicts: 1787000 | #Constraints: 360609
3220.61/3229.59 c #Conflicts: 1788000 | #Constraints: 361609
3220.61/3229.59 c #Conflicts: 1789000 | #Constraints: 362609
3220.61/3229.59 c #Conflicts: 1790000 | #Constraints: 363609
3220.61/3229.59 c #Conflicts: 1791000 | #Constraints: 364609
3220.61/3229.59 c #Conflicts: 1792000 | #Constraints: 365609
3220.61/3229.59 c #Conflicts: 1793000 | #Constraints: 366609
3220.61/3229.59 c #Conflicts: 1794000 | #Constraints: 367609
3220.61/3229.59 c #Conflicts: 1795000 | #Constraints: 368609
3220.61/3229.59 c #Conflicts: 1796000 | #Constraints: 369609
3220.61/3229.59 c #Conflicts: 1797000 | #Constraints: 370609
3220.61/3229.59 c #Conflicts: 1798000 | #Constraints: 371609
3220.61/3229.59 c #Conflicts: 1799000 | #Constraints: 372609
3220.61/3229.59 c #Conflicts: 1800000 | #Constraints: 373609
3220.61/3229.59 c #Conflicts: 1801000 | #Constraints: 374609
3220.61/3229.59 c #Conflicts: 1802000 | #Constraints: 375609
3220.61/3229.59 c #Conflicts: 1803000 | #Constraints: 376609
3220.61/3229.59 c #Conflicts: 1804000 | #Constraints: 377609
3220.61/3229.59 c #Conflicts: 1805000 | #Constraints: 378609
3220.61/3229.59 c #Conflicts: 1806000 | #Constraints: 379609
3220.61/3229.59 c #Conflicts: 1807000 | #Constraints: 380609
3220.61/3229.59 c #Conflicts: 1808000 | #Constraints: 381609
3220.61/3229.59 c #Conflicts: 1809000 | #Constraints: 382609
3220.61/3229.59 c #Conflicts: 1810000 | #Constraints: 383609
3220.61/3229.59 c #Conflicts: 1811000 | #Constraints: 384609
3220.61/3229.59 c #Conflicts: 1812000 | #Constraints: 385609
3220.61/3229.59 c #Conflicts: 1813000 | #Constraints: 386609
3220.61/3229.59 c #Conflicts: 1814000 | #Constraints: 387609
3220.61/3229.59 c #Conflicts: 1815000 | #Constraints: 388609
3220.61/3229.59 c #Conflicts: 1816000 | #Constraints: 389609
3220.61/3229.59 c #Conflicts: 1817000 | #Constraints: 390609
3220.61/3229.59 c #Conflicts: 1818000 | #Constraints: 391609
3220.61/3229.59 c #Conflicts: 1819000 | #Constraints: 392609
3220.61/3229.59 c #Conflicts: 1820000 | #Constraints: 393609
3600.03/3610.02 c #Conflicts: 1821000 | #Constraints: 394609
3600.03/3610.02 c INPROCESSING
3600.03/3610.02 c GARBAGE COLLECT
3600.03/3610.02 c Disabling crashed LP
3600.03/3610.06 c cpu time 3582.22 s
3600.03/3610.06 c deterministic time 62759851115 6.28e+10
3600.03/3610.06 c optimization time 0.038196 s
3600.03/3610.06 c total solve time 3581.18 s
3600.03/3610.06 c core-guided solve time 0 s
3600.03/3610.06 c propagation time 1967.86 s
3600.03/3610.06 c conflict analysis time 186.936 s
3600.03/3610.06 c propagations 4574104059
3600.03/3610.06 c resolve steps 23230018
3600.03/3610.06 c decisions 9613971
3600.03/3610.06 c conflicts 1821600
3600.03/3610.06 c restarts 3576
3600.03/3610.06 c inprocessing phases 44
3600.03/3610.06 c garbage collections 32 ,( 72.73 )
3600.03/3610.06 c input clauses 56772 ,( 26.50 )
3600.03/3610.06 c input cardinalities 791 ,( 0.37 )
3600.03/3610.06 c input general constraints 156645 ,( 73.13 )
3600.03/3610.06 c input average constraint length 5.06
3600.03/3610.06 c input average constraint degree 4.71
3600.03/3610.06 c learned clauses 1529664 ,( 83.97 )
3600.03/3610.06 c learned cardinalities 50019 ,( 2.75 )
3600.03/3610.06 c learned general constraints 241970 ,( 13.28 )
3600.03/3610.06 c learned average constraint length 52.91
3600.03/3610.06 c learned average constraint degree 5832.57
3600.03/3610.06 c watched CF 32, 64, 128, Arb: 72747 , 0 , 0 , 0
3600.03/3610.06 c counting CF 32, 64, 128, Arb: 325868 , 0 , 0 , 0
3600.03/3610.06 c watched constraints 72747 ,( 18.25 )
3600.03/3610.06 c counting constraints 325868 ,( 81.75 )
3600.03/3610.06 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1619597896 , 284473610 , 11813093926 ,( 37552133 , 11775541793 )
3600.03/3610.06 c gcd simplifications 9879
3600.03/3610.06 c detected cardinalities 6036
3600.03/3610.06 c weakened non-implied lits 13514806
3600.03/3610.06 c weakened non-implying lits 20435
3600.03/3610.06 c original variables 101921
3600.03/3610.06 c clausal propagations 414744561
3600.03/3610.06 c cardinality propagations 32928472
3600.03/3610.06 c watched propagations 619317
3600.03/3610.06 c counting propagations 4123878900
3600.03/3610.06 c watch lookups 25964288147
3600.03/3610.06 c watch backjump lookups 0
3600.03/3610.06 c watch checks 3884195823
3600.03/3610.06 c propagation checks 23472409112
3600.03/3610.06 c constraint additions 269345415
3600.03/3610.06 c trail pops 4585511355
3600.03/3610.06 c formula constraints 214208
3600.03/3610.06 c learned constraints 1821600
3600.03/3610.06 c bound constraints 0
3600.03/3610.06 c core-guided constraints 0
3600.03/3610.06 c encountered formula constraints 11927748
3600.03/3610.06 c encountered learned constraints 13123816
3600.03/3610.06 c encountered bound constraints 0
3600.03/3610.06 c encountered core-guided constraints 0
3600.03/3610.06 c LP total time 1433.28 s
3600.03/3610.06 c LP solve time 1427.93 s
3600.03/3610.06 c LP constraints added 216557
3600.03/3610.06 c LP constraints removed 529
3600.03/3610.06 c LP pivots internal 205947
3600.03/3610.06 c LP pivots root 177285
3600.03/3610.06 c LP calls 13
3600.03/3610.06 c LP optimalities 7
3600.03/3610.06 c LP no pivot count 0
3600.03/3610.06 c LP infeasibilities 0
3600.03/3610.06 c LP valid Farkas constraints 0
3600.03/3610.06 c LP learned Farkas constraints 0
3600.03/3610.06 c LP basis resets 0
3600.03/3610.06 c LP cycling count 0
3600.03/3610.06 c LP singular count 0
3600.03/3610.06 c LP no primal count 0
3600.03/3610.06 c LP no farkas count 0
3600.03/3610.06 c LP other issue count 0
3600.03/3610.06 c LP Gomory cuts 53
3600.03/3610.06 c LP learned cuts 2296
3600.03/3610.06 c LP deleted cuts 529
3600.03/3610.06 c LP encountered Gomory constraints 54
3600.03/3610.06 c LP encountered Farkas constraints 0
3600.03/3610.06 c LP encountered learned Farkas constraints 0
3600.03/3610.06 c CG auxiliary variables introduced 0
3600.03/3610.06 c CG solutions found 0
3600.03/3610.06 c CG cores constructed 0
3600.03/3610.06 c CG core cardinality constraints returned 0
3600.03/3610.06 c CG unit cores 0
3600.03/3610.06 c CG single cores 0
3600.03/3610.06 c CG blocks removed during cardinality reduction 0
3600.03/3610.06 c CG first core best 0
3600.03/3610.06 c CG decision core best 0
3600.03/3610.06 c CG core reduction tie 0
3600.03/3610.06 c CG core degree average 0.00
3600.03/3610.06 c CG core slack average 0.00
3600.03/3610.06 c CG core upper bound improvements 0
3600.03/3610.06 c STR number of successful calls 0
3600.03/3610.06 c STR number of unsuccessful calls 0
3600.03/3610.06 c STR number of inconclusive calls 0
3600.03/3610.06 c STR number of successful attempts 0
3600.03/3610.06 c STR number of unsuccessful attempts 0
3600.03/3610.06 c STR number of inconclusive attempts 0
3600.03/3610.06 c STR average degree increase per successful call inf
3600.03/3610.06 c STR average degree increase per successful attempt inf
3600.03/3610.06 c STR total number of conflicts for successful attempts 0
3600.03/3610.06 c STR total number of conflicts for unsuccessful attempts 0
3600.03/3610.06 c STR total number of conflicts for inconclusive attempts 0
3600.03/3610.06 c STR average number of conflicts per successful attempt inf
3600.03/3610.06 c STR average number of conflicts per unsuccessful attempt inf
3600.03/3610.06 c STR average number of conflicts per inconclusive attempt inf
3600.03/3610.06 c AVG.sumWPerc 68.54
3600.03/3610.06 c bigint constraints 0
3600.03/3610.06 s UNKNOWN
3600.03/3610.06 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: 63794 MiB (58669 MiB free)
memory of node 1: 64507 MiB (39024 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545314-1753234272/watcher-4545314-1753234272 -o /tmp/evaluation-result-4545314-1753234272/solver-4545314-1753234272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753234087-163070 --watchdog 3760 run-dec-break.sh HOME/instance-4545314-1753234272.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=163237, runsolver pid=163234
Current StackSize limit: 8192 KiB
[startup+0.100069 s]*
/proc/loadavg: 4.42 2.69 2.06 5/254 163239
/proc/meminfo: memFree=100010260/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163239] ppid=163237 vsize=55920 memory=47436 CPUtime=0.08 cores=0,2
/proc/163239/stat : 163239 (pbsuma) R 163237 163237 163060 0 -1 4194304 3501 0 0 0 6 2 0 0 20 0 1 0 239106088 57262080 11859 18446744073709551615 4210688 4653049 140727678626368 0 0 0 0 0 0 0 0 0 17 2 0 0 0 0 0 4700520 4703148 10670080 140727678634337 140727678634544 140727678634544 140727678640111 0
/proc/163239/statm: 13980 11859 992 108 0 11388 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60112 KiB
Current children cumulated memory: 50380 KiB
[startup+0.214634 s]*
/proc/loadavg: 4.42 2.69 2.06 5/254 163239
/proc/meminfo: memFree=99996588/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163239] ppid=163237 vsize=64844 memory=55788 CPUtime=0.19 cores=0,2
/proc/163239/stat : 163239 (pbsuma) R 163237 163237 163060 0 -1 4194304 5744 0 0 0 16 3 0 0 20 0 1 0 239106088 66400256 13947 18446744073709551615 4210688 4653049 140727678626368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10670080 140727678634337 140727678634544 140727678634544 140727678640111 0
/proc/163239/statm: 16211 13947 992 108 0 13619 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 69036 KiB
Current children cumulated memory: 58732 KiB
[startup+0.313182 s]*
/proc/loadavg: 4.42 2.69 2.06 5/254 163239
/proc/meminfo: memFree=99994824/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163239] ppid=163237 vsize=73504 memory=63248 CPUtime=0.28 cores=0,2
/proc/163239/stat : 163239 (pbsuma) R 163237 163237 163060 0 -1 4194304 7714 0 0 0 25 3 0 0 20 0 1 0 239106088 75268096 15812 18446744073709551615 4210688 4653049 140727678626368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10670080 140727678634337 140727678634544 140727678634544 140727678640111 0
/proc/163239/statm: 18376 15812 992 108 0 15784 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 77696 KiB
Current children cumulated memory: 66192 KiB
[startup+0.700395 s]
/proc/loadavg: 4.42 2.69 2.06 5/254 163239
/proc/meminfo: memFree=99956516/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163239] ppid=163237 vsize=227680 memory=181700 CPUtime=0.66 cores=0,2
/proc/163239/stat : 163239 (pbsuma) R 163237 163237 163060 0 -1 4194304 21871 0 0 0 56 10 0 0 20 0 1 0 239106088 233144320 45425 18446744073709551615 4210688 4653049 140727678626368 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 10670080 140727678634337 140727678634544 140727678634544 140727678640111 0
/proc/163239/statm: 56920 45425 992 108 0 54328 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 231872 KiB
Current children cumulated memory: 184644 KiB
[startup+1.50034 s]
/proc/loadavg: 4.42 2.69 2.06 5/254 163239
/proc/meminfo: memFree=99851040/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB
[startup+3.11307 s]
/proc/loadavg: 4.38 2.71 2.08 5/254 163240
/proc/meminfo: memFree=99632504/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=468060 memory=400704 CPUtime=1.86 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 50950 0 0 0 150 36 0 0 20 0 1 0 239106210 479293440 100176 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 117015 100176 2304 1147 0 104442 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 472252 KiB
Current children cumulated memory: 403648 KiB
[startup+6.30037 s]
/proc/loadavg: 4.38 2.71 2.08 5/254 163240
/proc/meminfo: memFree=99632920/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=482940 memory=406808 CPUtime=5.04 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 51505 0 0 0 467 37 0 0 20 0 1 0 239106210 494530560 101702 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 120735 101702 2304 1147 0 108162 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 487132 KiB
Current children cumulated memory: 409752 KiB
[startup+12.7004 s]
/proc/loadavg: 4.35 2.73 2.09 5/254 163240
/proc/meminfo: memFree=99627564/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=483912 memory=413108 CPUtime=11.42 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 52543 0 0 0 1100 42 0 0 20 0 1 0 239106210 495525888 103277 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 120978 103277 2368 1147 0 108405 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 488104 KiB
Current children cumulated memory: 416052 KiB
[startup+25.5004 s]
/proc/loadavg: 4.27 2.79 2.12 5/254 163240
/proc/meminfo: memFree=99626808/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=483912 memory=413108 CPUtime=24.18 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 52543 0 0 0 2367 51 0 0 20 0 1 0 239106210 495525888 103277 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 120978 103277 2368 1147 0 108405 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 488104 KiB
Current children cumulated memory: 416052 KiB
[startup+51.1131 s]
/proc/loadavg: 4.18 2.89 2.17 5/254 163241
/proc/meminfo: memFree=99607028/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=496224 memory=420804 CPUtime=49.72 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 54019 0 0 0 4899 73 0 0 20 0 1 0 239106210 508133376 105201 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 124056 105201 2368 1147 0 111483 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 500416 KiB
Current children cumulated memory: 423748 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 3.08 2.27 5/256 163249
/proc/meminfo: memFree=99562168/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=513916 memory=425028 CPUtime=100.76 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 55129 0 0 0 9953 123 0 0 20 0 1 0 239106210 526249984 106257 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 128479 106257 2368 1147 0 115906 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 518108 KiB
Current children cumulated memory: 427972 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 3.27 2.39 5/256 163297
/proc/meminfo: memFree=99252844/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=527104 memory=444060 CPUtime=160.58 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 58380 0 0 0 15909 149 0 0 20 0 1 0 239106210 539754496 111015 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 131776 111015 2368 1147 0 119203 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 531296 KiB
Current children cumulated memory: 447004 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 3.43 2.50 5/257 163300
/proc/meminfo: memFree=99143384/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=531856 memory=447516 CPUtime=220.41 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 59300 0 0 0 21852 189 0 0 20 0 1 0 239106210 544620544 111879 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 132964 111879 2368 1147 0 120391 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 536048 KiB
Current children cumulated memory: 450460 KiB
################
# More data... #
################
/proc/163240/statm: 195987 174029 2368 1147 0 183414 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 788140 KiB
Current children cumulated memory: 699060 KiB
[startup+3102.3 s]
/proc/loadavg: 4.07 4.11 4.03 5/256 163442
/proc/meminfo: memFree=97795536/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=783948 memory=696500 CPUtime=3092.59 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82190 0 0 0 307701 1558 0 0 20 0 1 0 239106210 802762752 174125 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 195987 174125 2368 1147 0 183414 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 788140 KiB
Current children cumulated memory: 699444 KiB
[startup+3162.3 s]
/proc/loadavg: 4.08 4.10 4.03 5/256 163449
/proc/meminfo: memFree=97719116/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=783948 memory=696500 CPUtime=3152.41 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82190 0 0 0 313654 1587 0 0 20 0 1 0 239106210 802762752 174125 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 195987 174125 2368 1147 0 183414 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 788140 KiB
Current children cumulated memory: 699444 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.09 4.03 5/254 163451
/proc/meminfo: memFree=97690952/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=783948 memory=696500 CPUtime=3212.24 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82190 0 0 0 319604 1620 0 0 20 0 1 0 239106210 802762752 174125 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 195987 174125 2368 1147 0 183414 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 788140 KiB
Current children cumulated memory: 699444 KiB
[startup+3282.3 s]
/proc/loadavg: 4.47 4.19 4.07 5/253 163453
/proc/meminfo: memFree=97660772/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=784952 memory=697268 CPUtime=3272.08 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82409 0 0 0 325572 1636 0 0 20 0 1 0 239106210 803790848 174317 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 196238 174317 2368 1147 0 183665 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 789144 KiB
Current children cumulated memory: 700212 KiB
[startup+3342.3 s]
/proc/loadavg: 4.52 4.27 4.11 5/253 163454
/proc/meminfo: memFree=97669360/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=784952 memory=697268 CPUtime=3331.91 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82410 0 0 0 331549 1642 0 0 20 0 1 0 239106210 803790848 174317 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 196238 174317 2368 1147 0 183665 0
Current children cumulated CPU time: 3333.1 s
Current children cumulated vsize: 789144 KiB
Current children cumulated memory: 700212 KiB
[startup+3402.3 s]
/proc/loadavg: 4.30 4.25 4.11 5/253 163456
/proc/meminfo: memFree=97670116/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=784952 memory=697268 CPUtime=3391.73 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82411 0 0 0 337526 1647 0 0 20 0 1 0 239106210 803790848 174317 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 196238 174317 2368 1147 0 183665 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 789144 KiB
Current children cumulated memory: 700212 KiB
[startup+3462.3 s]
/proc/loadavg: 3.67 4.09 4.06 3/239 163521
/proc/meminfo: memFree=99041428/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=784952 memory=697268 CPUtime=3451.55 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82507 0 0 0 343502 1653 0 0 20 0 1 0 239106210 803790848 174317 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 196238 174317 2368 1147 0 183665 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 789144 KiB
Current children cumulated memory: 700212 KiB
[startup+3522.3 s]
/proc/loadavg: 2.95 3.82 3.97 3/239 163523
/proc/meminfo: memFree=99041780/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=784952 memory=699408 CPUtime=3511.38 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82508 0 0 0 349480 1658 0 0 20 0 1 0 239106210 803790848 174852 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 196238 174852 2368 1147 0 183665 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 789144 KiB
Current children cumulated memory: 702352 KiB
[startup+3582.3 s]
/proc/loadavg: 2.41 3.50 3.85 3/239 163525
/proc/meminfo: memFree=99042032/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=784952 memory=699408 CPUtime=3571.2 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82512 0 0 0 355455 1665 0 0 20 0 1 0 239106210 803790848 174852 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 196238 174852 2368 1147 0 183665 0
Current children cumulated CPU time: 3572.39 s
Current children cumulated vsize: 789144 KiB
Current children cumulated memory: 702352 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610 s]*
/proc/loadavg: 2.33 3.38 3.79 3/239 163527
/proc/meminfo: memFree=99042032/131382112 swapFree=33009904/33010684
[pid=163237] ppid=163234 vsize=4192 memory=2944 CPUtime=1.19 cores=0,2
/proc/163237/stat : 163237 (run-dec-break.s) S 163234 163237 163060 0 -1 4194304 237 36272 0 0 0 0 102 17 20 0 1 0 239106087 4292608 736 18446744073709551615 94881779871744 94881780766277 140724723587168 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94881781005328 94881781053072 94881799561216 140724723591519 140724723591648 140724723591648 140724723597252 0
/proc/163237/statm: 1048 736 672 219 0 110 0
[pid=163240] ppid=163237 vsize=784952 memory=699408 CPUtime=3598.84 cores=0,2
/proc/163240/stat : 163240 (roundingsat) R 163237 163237 163060 0 -1 4194304 82515 0 0 0 358217 1667 0 0 20 0 1 0 239106210 803790848 174852 18446744073709551615 4227072 8923433 140731537781856 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 15724544 140731537783106 140731537783334 140731537783334 140731537788906 0
/proc/163240/statm: 196238 174852 2368 1147 0 183665 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 789144 KiB
Current children cumulated memory: 702352 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.02 s]
# the end of solver process 163237 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=1.02484 s, system=0.174294 s
Sleeping 2 seconds
[startup+3610.1 s]
# the end of solver process 163240 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.28 s, system=16.8503 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): 3610.1
CPU time (s): 3600.13
CPU user time (s): 3583.28
CPU system time (s): 16.8503
CPU usage (%): 99.7238
Max. virtual memory (cumulated for all children) (KiB): 789144
Max. memory (cumulated for all children) (KiB): 702352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.28
system time used= 16.8503
maximum resident set size= 699792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 119140
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 262
involuntary context switches= 7913
# summary of solver processes directly reported to runsolver:
# pid: 163237,163240
# total CPU time (s): 3600.13
# total CPU user time (s): 3583.28
# total CPU system time (s): 16.8503
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.8411 second user time and 34.0648 second system time
The end
Begin job on nodeC001 at 2025-07-23 03:31:12
IDJOB=4545314
IDBENCH=180812
IDSOLVER=3357
FILE ID=nodeC001/4545314-1753234272
RUNJOBID= nodeC001-1753234087-163070
SLURM_JOB_ID= 9687854
Free space on /tmp= 432580 MiB
SOLVER NAME= roundingsat+pbsuma 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb
COMMAND LINE= run-dec-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545314-1753234272/watcher-4545314-1753234272 -o /tmp/evaluation-result-4545314-1753234272/solver-4545314-1753234272 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1753234087-163070 --watchdog 3760 run-dec-break.sh HOME/instance-4545314-1753234272.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=500837125
nodeC001 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1396.691
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.274
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.373
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.634
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3661.544
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3691.216
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.792
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.49
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 100038820 kB
MemAvailable: 128776356 kB
Buffers: 1668 kB
Cached: 27389236 kB
SwapCached: 136 kB
Active: 1846640 kB
Inactive: 26502888 kB
Active(anon): 967992 kB
Inactive(anon): 16604 kB
Active(file): 878648 kB
Inactive(file): 26486284 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009904 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 17732 kB
Writeback: 152 kB
AnonPages: 959184 kB
Mapped: 122032 kB
Shmem: 25972 kB
KReclaimable: 2433732 kB
Slab: 2563852 kB
SReclaimable: 2433732 kB
SUnreclaim: 130120 kB
KernelStack: 4032 kB
PageTables: 5304 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1376536 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149448 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 456704 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: 195400 kB
DirectMap2M: 9144320 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432624 MiB
End job on nodeC001 at 2025-07-23 04:31:22