0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.27/1.38 c #variables 101921 #constraints 214208
155.68/156.14 c #Conflicts: 1000 | #Constraints: 215207
155.68/156.14 c #Conflicts: 2000 | #Constraints: 216207
155.68/156.14 c INPROCESSING
155.68/156.14 c GARBAGE COLLECT
155.68/156.14 c #Conflicts: 3000 | #Constraints: 157998
155.68/156.14 c #Conflicts: 4000 | #Constraints: 158998
155.68/156.14 c INPROCESSING
155.68/156.14 c #Conflicts: 5000 | #Constraints: 158478
155.68/156.14 c #Conflicts: 6000 | #Constraints: 159478
155.68/156.14 c INPROCESSING
155.68/156.14 c #Conflicts: 7000 | #Constraints: 158554
155.68/156.14 c #Conflicts: 8000 | #Constraints: 159554
155.68/156.14 c #Conflicts: 9000 | #Constraints: 160554
155.68/156.14 c #Conflicts: 10000 | #Constraints: 161554
155.68/156.14 c #Conflicts: 11000 | #Constraints: 162554
155.68/156.14 c #Conflicts: 12000 | #Constraints: 163554
155.68/156.14 c INPROCESSING
155.68/156.14 c #Conflicts: 13000 | #Constraints: 160534
155.68/156.14 c #Conflicts: 14000 | #Constraints: 161534
155.68/156.14 c #Conflicts: 15000 | #Constraints: 162534
155.68/156.14 c #Conflicts: 16000 | #Constraints: 163534
155.68/156.14 c INPROCESSING
155.68/156.14 c #Conflicts: 17000 | #Constraints: 160153
155.68/156.14 c #Conflicts: 18000 | #Constraints: 161153
155.68/156.14 c #Conflicts: 19000 | #Constraints: 162153
155.68/156.14 c #Conflicts: 20000 | #Constraints: 163153
155.68/156.14 c #Conflicts: 21000 | #Constraints: 164153
155.68/156.14 c #Conflicts: 22000 | #Constraints: 165153
155.68/156.14 c #Conflicts: 23000 | #Constraints: 166153
155.68/156.14 c #Conflicts: 24000 | #Constraints: 167153
155.68/156.14 c #Conflicts: 25000 | #Constraints: 168153
155.68/156.14 c INPROCESSING
155.68/156.14 c #Conflicts: 26000 | #Constraints: 162671
155.68/156.14 c #Conflicts: 27000 | #Constraints: 163671
155.68/156.14 c #Conflicts: 28000 | #Constraints: 164671
155.68/156.14 c #Conflicts: 29000 | #Constraints: 165671
155.68/156.14 c #Conflicts: 30000 | #Constraints: 166671
155.68/156.14 c INPROCESSING
155.68/156.14 c #Conflicts: 31000 | #Constraints: 161962
155.68/156.14 c #Conflicts: 32000 | #Constraints: 162962
155.68/156.14 c #Conflicts: 33000 | #Constraints: 163962
155.68/156.14 c #Conflicts: 34000 | #Constraints: 164962
155.68/156.14 c #Conflicts: 35000 | #Constraints: 165962
155.68/156.14 c #Conflicts: 36000 | #Constraints: 166962
155.68/156.14 c #Conflicts: 37000 | #Constraints: 167962
155.68/156.14 c #Conflicts: 38000 | #Constraints: 168962
155.68/156.14 c #Conflicts: 39000 | #Constraints: 169962
155.68/156.14 c #Conflicts: 40000 | #Constraints: 170962
155.68/156.14 c #Conflicts: 41000 | #Constraints: 171962
155.68/156.14 c #Conflicts: 42000 | #Constraints: 172962
155.68/156.14 c #Conflicts: 43000 | #Constraints: 173962
155.68/156.14 c INPROCESSING
155.68/156.14 c #Conflicts: 44000 | #Constraints: 165935
155.68/156.14 c #Conflicts: 45000 | #Constraints: 166935
155.68/156.14 c #Conflicts: 46000 | #Constraints: 167935
155.68/156.14 c #Conflicts: 47000 | #Constraints: 168935
155.68/156.14 c #Conflicts: 48000 | #Constraints: 169935
155.68/156.14 c #Conflicts: 49000 | #Constraints: 170935
155.68/156.14 c #Conflicts: 50000 | #Constraints: 171935
155.68/156.14 c #Conflicts: 51000 | #Constraints: 172935
155.68/156.14 c #Conflicts: 52000 | #Constraints: 173935
155.68/156.14 c #Conflicts: 53000 | #Constraints: 174935
155.68/156.14 c #Conflicts: 54000 | #Constraints: 175935
155.68/156.14 c #Conflicts: 55000 | #Constraints: 176935
155.68/156.14 c #Conflicts: 56000 | #Constraints: 177935
155.68/156.14 c #Conflicts: 57000 | #Constraints: 178935
155.68/156.14 c INPROCESSING
155.68/156.14 c GARBAGE COLLECT
155.68/156.14 c #Conflicts: 58000 | #Constraints: 168335
155.68/156.14 c #Conflicts: 59000 | #Constraints: 169335
155.68/156.14 c #Conflicts: 60000 | #Constraints: 170335
155.68/156.14 c #Conflicts: 61000 | #Constraints: 171335
155.68/156.14 c #Conflicts: 62000 | #Constraints: 172335
155.68/156.14 c #Conflicts: 63000 | #Constraints: 173335
155.68/156.14 c #Conflicts: 64000 | #Constraints: 174335
155.68/156.14 c #Conflicts: 65000 | #Constraints: 175335
155.68/156.14 c #Conflicts: 66000 | #Constraints: 176335
155.68/156.14 c #Conflicts: 67000 | #Constraints: 177335
155.68/156.14 c #Conflicts: 68000 | #Constraints: 178335
155.68/156.14 c #Conflicts: 69000 | #Constraints: 179335
155.68/156.14 c #Conflicts: 70000 | #Constraints: 180335
155.68/156.14 c #Conflicts: 71000 | #Constraints: 181335
155.68/156.14 c #Conflicts: 72000 | #Constraints: 182335
155.68/156.14 c #Conflicts: 73000 | #Constraints: 183335
155.68/156.14 c #Conflicts: 74000 | #Constraints: 184335
155.68/156.14 c INPROCESSING
155.68/156.14 c #Conflicts: 75000 | #Constraints: 171471
155.68/156.14 c #Conflicts: 76000 | #Constraints: 172471
370.06/371.07 c #Conflicts: 77000 | #Constraints: 173471
370.06/371.07 c #Conflicts: 78000 | #Constraints: 174471
370.06/371.07 c #Conflicts: 79000 | #Constraints: 175471
370.06/371.07 c #Conflicts: 80000 | #Constraints: 176471
370.06/371.07 c #Conflicts: 81000 | #Constraints: 177471
370.06/371.07 c #Conflicts: 82000 | #Constraints: 178471
370.06/371.07 c #Conflicts: 83000 | #Constraints: 179471
370.06/371.07 c #Conflicts: 84000 | #Constraints: 180471
370.06/371.07 c #Conflicts: 85000 | #Constraints: 181471
370.06/371.07 c #Conflicts: 86000 | #Constraints: 182471
370.06/371.07 c #Conflicts: 87000 | #Constraints: 183471
370.06/371.07 c #Conflicts: 88000 | #Constraints: 184471
370.06/371.07 c #Conflicts: 89000 | #Constraints: 185471
370.06/371.07 c #Conflicts: 90000 | #Constraints: 186471
370.06/371.07 c #Conflicts: 91000 | #Constraints: 187471
370.06/371.07 c #Conflicts: 92000 | #Constraints: 188471
370.06/371.07 c INPROCESSING
370.06/371.07 c #Conflicts: 93000 | #Constraints: 173411
370.06/371.07 c #Conflicts: 94000 | #Constraints: 174411
370.06/371.07 c #Conflicts: 95000 | #Constraints: 175411
370.06/371.07 c #Conflicts: 96000 | #Constraints: 176411
370.06/371.07 c #Conflicts: 97000 | #Constraints: 177411
370.06/371.07 c #Conflicts: 98000 | #Constraints: 178411
370.06/371.07 c #Conflicts: 99000 | #Constraints: 179411
370.06/371.07 c #Conflicts: 100000 | #Constraints: 180411
370.06/371.07 c #Conflicts: 101000 | #Constraints: 181411
370.06/371.07 c #Conflicts: 102000 | #Constraints: 182411
370.06/371.07 c #Conflicts: 103000 | #Constraints: 183411
370.06/371.07 c #Conflicts: 104000 | #Constraints: 184411
370.06/371.07 c #Conflicts: 105000 | #Constraints: 185411
370.06/371.07 c #Conflicts: 106000 | #Constraints: 186411
370.06/371.07 c #Conflicts: 107000 | #Constraints: 187411
370.06/371.07 c #Conflicts: 108000 | #Constraints: 188411
370.06/371.07 c #Conflicts: 109000 | #Constraints: 189411
370.06/371.07 c #Conflicts: 110000 | #Constraints: 190411
370.06/371.07 c #Conflicts: 111000 | #Constraints: 191411
370.06/371.07 c #Conflicts: 112000 | #Constraints: 192411
370.06/371.07 c INPROCESSING
370.06/371.07 c GARBAGE COLLECT
370.06/371.07 c #Conflicts: 113000 | #Constraints: 175265
370.06/371.07 c #Conflicts: 114000 | #Constraints: 176265
370.06/371.07 c #Conflicts: 115000 | #Constraints: 177265
370.06/371.07 c #Conflicts: 116000 | #Constraints: 178265
370.06/371.07 c #Conflicts: 117000 | #Constraints: 179265
370.06/371.07 c #Conflicts: 118000 | #Constraints: 180265
370.06/371.07 c #Conflicts: 119000 | #Constraints: 181265
370.06/371.07 c #Conflicts: 120000 | #Constraints: 182265
370.06/371.07 c #Conflicts: 121000 | #Constraints: 183265
370.06/371.07 c #Conflicts: 122000 | #Constraints: 184265
370.06/371.07 c #Conflicts: 123000 | #Constraints: 185265
370.06/371.07 c #Conflicts: 124000 | #Constraints: 186265
370.06/371.07 c #Conflicts: 125000 | #Constraints: 187265
370.06/371.07 c #Conflicts: 126000 | #Constraints: 188265
370.06/371.07 c #Conflicts: 127000 | #Constraints: 189265
370.06/371.07 c #Conflicts: 128000 | #Constraints: 190265
370.06/371.07 c #Conflicts: 129000 | #Constraints: 191265
370.06/371.07 c #Conflicts: 130000 | #Constraints: 192265
370.06/371.07 c #Conflicts: 131000 | #Constraints: 193265
370.06/371.07 c #Conflicts: 132000 | #Constraints: 194265
370.06/371.07 c #Conflicts: 133000 | #Constraints: 195265
370.06/371.07 c #Conflicts: 134000 | #Constraints: 196265
370.06/371.07 c #Conflicts: 135000 | #Constraints: 197265
370.06/371.07 c INPROCESSING
370.06/371.07 c #Conflicts: 136000 | #Constraints: 178094
370.06/371.07 c #Conflicts: 137000 | #Constraints: 179094
370.06/371.07 c #Conflicts: 138000 | #Constraints: 180094
370.06/371.07 c #Conflicts: 139000 | #Constraints: 181094
370.06/371.07 c #Conflicts: 140000 | #Constraints: 182094
370.06/371.07 c #Conflicts: 141000 | #Constraints: 183094
370.06/371.07 c #Conflicts: 142000 | #Constraints: 184094
370.06/371.07 c #Conflicts: 143000 | #Constraints: 185094
370.06/371.07 c #Conflicts: 144000 | #Constraints: 186094
370.06/371.07 c #Conflicts: 145000 | #Constraints: 187094
370.06/371.07 c #Conflicts: 146000 | #Constraints: 188094
370.06/371.07 c #Conflicts: 147000 | #Constraints: 189094
370.06/371.07 c #Conflicts: 148000 | #Constraints: 190094
370.06/371.07 c #Conflicts: 149000 | #Constraints: 191094
370.06/371.07 c #Conflicts: 150000 | #Constraints: 192094
370.06/371.07 c #Conflicts: 151000 | #Constraints: 193094
370.06/371.07 c #Conflicts: 152000 | #Constraints: 194094
370.06/371.07 c #Conflicts: 153000 | #Constraints: 195094
621.56/623.12 c #Conflicts: 154000 | #Constraints: 196094
621.56/623.12 c #Conflicts: 155000 | #Constraints: 197094
621.56/623.12 c #Conflicts: 156000 | #Constraints: 198094
621.56/623.12 c #Conflicts: 157000 | #Constraints: 199094
621.56/623.12 c #Conflicts: 158000 | #Constraints: 200094
621.56/623.12 c #Conflicts: 159000 | #Constraints: 201094
621.56/623.12 c INPROCESSING
621.56/623.12 c GARBAGE COLLECT
621.56/623.12 c #Conflicts: 160000 | #Constraints: 179950
621.56/623.12 c #Conflicts: 161000 | #Constraints: 180950
621.56/623.12 c #Conflicts: 162000 | #Constraints: 181950
621.56/623.12 c #Conflicts: 163000 | #Constraints: 182950
621.56/623.12 c #Conflicts: 164000 | #Constraints: 183950
621.56/623.12 c #Conflicts: 165000 | #Constraints: 184950
621.56/623.12 c #Conflicts: 166000 | #Constraints: 185950
621.56/623.12 c #Conflicts: 167000 | #Constraints: 186950
621.56/623.12 c #Conflicts: 168000 | #Constraints: 187950
621.56/623.12 c #Conflicts: 169000 | #Constraints: 188950
621.56/623.12 c #Conflicts: 170000 | #Constraints: 189950
621.56/623.12 c #Conflicts: 171000 | #Constraints: 190950
621.56/623.12 c #Conflicts: 172000 | #Constraints: 191950
621.56/623.12 c #Conflicts: 173000 | #Constraints: 192950
621.56/623.12 c #Conflicts: 174000 | #Constraints: 193950
621.56/623.12 c #Conflicts: 175000 | #Constraints: 194950
621.56/623.12 c #Conflicts: 176000 | #Constraints: 195950
621.56/623.12 c #Conflicts: 177000 | #Constraints: 196950
621.56/623.12 c #Conflicts: 178000 | #Constraints: 197950
621.56/623.12 c #Conflicts: 179000 | #Constraints: 198950
621.56/623.12 c #Conflicts: 180000 | #Constraints: 199950
621.56/623.12 c #Conflicts: 181000 | #Constraints: 200950
621.56/623.12 c #Conflicts: 182000 | #Constraints: 201950
621.56/623.12 c #Conflicts: 183000 | #Constraints: 202950
621.56/623.12 c #Conflicts: 184000 | #Constraints: 203950
621.56/623.12 c #Conflicts: 185000 | #Constraints: 204950
621.56/623.12 c #Conflicts: 186000 | #Constraints: 205950
621.56/623.12 c INPROCESSING
621.56/623.12 c #Conflicts: 187000 | #Constraints: 182638
621.56/623.12 c #Conflicts: 188000 | #Constraints: 183638
621.56/623.12 c #Conflicts: 189000 | #Constraints: 184638
621.56/623.12 c #Conflicts: 190000 | #Constraints: 185638
621.56/623.12 c #Conflicts: 191000 | #Constraints: 186638
621.56/623.12 c #Conflicts: 192000 | #Constraints: 187638
621.56/623.12 c #Conflicts: 193000 | #Constraints: 188638
621.56/623.12 c #Conflicts: 194000 | #Constraints: 189638
621.56/623.12 c #Conflicts: 195000 | #Constraints: 190638
621.56/623.12 c #Conflicts: 196000 | #Constraints: 191638
621.56/623.12 c #Conflicts: 197000 | #Constraints: 192638
621.56/623.12 c #Conflicts: 198000 | #Constraints: 193638
621.56/623.12 c #Conflicts: 199000 | #Constraints: 194638
621.56/623.12 c #Conflicts: 200000 | #Constraints: 195638
621.56/623.12 c #Conflicts: 201000 | #Constraints: 196638
621.56/623.12 c #Conflicts: 202000 | #Constraints: 197638
621.56/623.12 c #Conflicts: 203000 | #Constraints: 198638
621.56/623.12 c #Conflicts: 204000 | #Constraints: 199638
621.56/623.12 c #Conflicts: 205000 | #Constraints: 200638
621.56/623.12 c #Conflicts: 206000 | #Constraints: 201638
621.56/623.12 c #Conflicts: 207000 | #Constraints: 202638
621.56/623.12 c #Conflicts: 208000 | #Constraints: 203638
621.56/623.12 c #Conflicts: 209000 | #Constraints: 204638
621.56/623.12 c #Conflicts: 210000 | #Constraints: 205638
621.56/623.12 c #Conflicts: 211000 | #Constraints: 206638
621.56/623.12 c #Conflicts: 212000 | #Constraints: 207638
621.56/623.12 c #Conflicts: 213000 | #Constraints: 208638
621.56/623.12 c #Conflicts: 214000 | #Constraints: 209638
621.56/623.12 c INPROCESSING
621.56/623.12 c GARBAGE COLLECT
621.56/623.12 c rational objective 25171.5
704.05/705.89 c #Conflicts: 215000 | #Constraints: 185139
704.05/705.89 c #Conflicts: 216000 | #Constraints: 186139
704.05/705.89 c #Conflicts: 217000 | #Constraints: 187139
704.05/705.89 c #Conflicts: 218000 | #Constraints: 188139
704.05/705.89 c #Conflicts: 219000 | #Constraints: 189139
704.05/705.89 c #Conflicts: 220000 | #Constraints: 190139
704.05/705.89 c #Conflicts: 221000 | #Constraints: 191139
704.05/705.89 c #Conflicts: 222000 | #Constraints: 192139
704.05/705.89 c #Conflicts: 223000 | #Constraints: 193139
704.05/705.89 c #Conflicts: 224000 | #Constraints: 194139
704.05/705.89 c #Conflicts: 225000 | #Constraints: 195139
704.05/705.89 c #Conflicts: 226000 | #Constraints: 196139
704.05/705.89 c #Conflicts: 227000 | #Constraints: 197139
704.05/705.89 c #Conflicts: 228000 | #Constraints: 198139
704.05/705.89 c #Conflicts: 229000 | #Constraints: 199139
704.05/705.89 c #Conflicts: 230000 | #Constraints: 200139
704.05/705.89 c #Conflicts: 231000 | #Constraints: 201139
704.05/705.89 c #Conflicts: 232000 | #Constraints: 202139
704.05/705.89 c #Conflicts: 233000 | #Constraints: 203139
704.05/705.89 c #Conflicts: 234000 | #Constraints: 204139
704.05/705.89 c #Conflicts: 235000 | #Constraints: 205139
704.05/705.89 c #Conflicts: 236000 | #Constraints: 206139
704.05/705.89 c #Conflicts: 237000 | #Constraints: 207139
704.05/705.89 c #Conflicts: 238000 | #Constraints: 208139
704.05/705.89 c #Conflicts: 239000 | #Constraints: 209139
704.05/705.89 c #Conflicts: 240000 | #Constraints: 210139
704.05/705.89 c #Conflicts: 241000 | #Constraints: 211139
704.05/705.89 c #Conflicts: 242000 | #Constraints: 212139
704.05/705.89 c #Conflicts: 243000 | #Constraints: 213139
704.05/705.89 c #Conflicts: 244000 | #Constraints: 214139
704.05/705.89 c INPROCESSING
704.05/705.89 c #Conflicts: 245000 | #Constraints: 188342
704.05/705.89 c #Conflicts: 246000 | #Constraints: 189342
704.05/705.89 c #Conflicts: 247000 | #Constraints: 190342
704.05/705.89 c #Conflicts: 248000 | #Constraints: 191342
704.05/705.89 c #Conflicts: 249000 | #Constraints: 192342
704.05/705.89 c #Conflicts: 250000 | #Constraints: 193342
704.05/705.89 c #Conflicts: 251000 | #Constraints: 194342
704.05/705.89 c #Conflicts: 252000 | #Constraints: 195342
704.05/705.89 c #Conflicts: 253000 | #Constraints: 196342
704.05/705.89 c #Conflicts: 254000 | #Constraints: 197342
704.05/705.89 c #Conflicts: 255000 | #Constraints: 198342
704.05/705.89 c #Conflicts: 256000 | #Constraints: 199342
704.05/705.89 c #Conflicts: 257000 | #Constraints: 200342
704.05/705.89 c #Conflicts: 258000 | #Constraints: 201342
704.05/705.89 c #Conflicts: 259000 | #Constraints: 202342
704.05/705.89 c #Conflicts: 260000 | #Constraints: 203342
704.05/705.89 c #Conflicts: 261000 | #Constraints: 204342
704.05/705.89 c #Conflicts: 262000 | #Constraints: 205342
704.05/705.89 c #Conflicts: 263000 | #Constraints: 206342
704.05/705.89 c #Conflicts: 264000 | #Constraints: 207342
704.05/705.89 c #Conflicts: 265000 | #Constraints: 208342
704.05/705.89 c #Conflicts: 266000 | #Constraints: 209342
704.05/705.89 c #Conflicts: 267000 | #Constraints: 210342
704.05/705.89 c #Conflicts: 268000 | #Constraints: 211342
704.05/705.89 c #Conflicts: 269000 | #Constraints: 212342
704.05/705.89 c #Conflicts: 270000 | #Constraints: 213342
704.05/705.89 c #Conflicts: 271000 | #Constraints: 214342
704.05/705.89 c #Conflicts: 272000 | #Constraints: 215342
704.05/705.89 c #Conflicts: 273000 | #Constraints: 216342
704.05/705.89 c #Conflicts: 274000 | #Constraints: 217342
704.05/705.89 c #Conflicts: 275000 | #Constraints: 218342
704.05/705.89 c #Conflicts: 276000 | #Constraints: 219342
704.05/705.89 c #Conflicts: 277000 | #Constraints: 220342
704.05/705.89 c INPROCESSING
704.05/705.89 c GARBAGE COLLECT
704.05/705.89 c #Conflicts: 278000 | #Constraints: 192870
704.05/705.89 c #Conflicts: 279000 | #Constraints: 193870
704.05/705.89 c #Conflicts: 280000 | #Constraints: 194870
704.05/705.89 c #Conflicts: 281000 | #Constraints: 195870
704.05/705.89 c #Conflicts: 282000 | #Constraints: 196870
704.05/705.89 c #Conflicts: 283000 | #Constraints: 197870
704.05/705.89 c #Conflicts: 284000 | #Constraints: 198870
704.05/705.89 c #Conflicts: 285000 | #Constraints: 199870
704.05/705.89 c #Conflicts: 286000 | #Constraints: 200870
704.05/705.89 c #Conflicts: 287000 | #Constraints: 201870
704.05/705.89 c #Conflicts: 288000 | #Constraints: 202870
704.05/705.89 c #Conflicts: 289000 | #Constraints: 203870
704.05/705.89 c #Conflicts: 290000 | #Constraints: 204870
704.05/705.89 c #Conflicts: 291000 | #Constraints: 205870
704.05/705.89 c #Conflicts: 292000 | #Constraints: 206870
778.46/780.48 c #Conflicts: 293000 | #Constraints: 207870
778.46/780.48 c #Conflicts: 294000 | #Constraints: 208870
778.46/780.48 c #Conflicts: 295000 | #Constraints: 209870
778.46/780.48 c #Conflicts: 296000 | #Constraints: 210870
778.46/780.48 c #Conflicts: 297000 | #Constraints: 211870
778.46/780.48 c #Conflicts: 298000 | #Constraints: 212870
778.46/780.48 c #Conflicts: 299000 | #Constraints: 213870
778.46/780.48 c #Conflicts: 300000 | #Constraints: 214870
778.46/780.48 c #Conflicts: 301000 | #Constraints: 215870
778.46/780.48 c #Conflicts: 302000 | #Constraints: 216870
778.46/780.48 c #Conflicts: 303000 | #Constraints: 217870
778.46/780.48 c #Conflicts: 304000 | #Constraints: 218870
778.46/780.48 c #Conflicts: 305000 | #Constraints: 219870
778.46/780.48 c #Conflicts: 306000 | #Constraints: 220870
778.46/780.48 c #Conflicts: 307000 | #Constraints: 221870
778.46/780.48 c #Conflicts: 308000 | #Constraints: 222870
778.46/780.48 c #Conflicts: 309000 | #Constraints: 223870
778.46/780.48 c #Conflicts: 310000 | #Constraints: 224870
778.46/780.48 c #Conflicts: 311000 | #Constraints: 225870
778.46/780.48 c INPROCESSING
778.46/780.48 c GARBAGE COLLECT
778.46/780.48 c #Conflicts: 312000 | #Constraints: 196584
778.46/780.48 c #Conflicts: 313000 | #Constraints: 197584
778.46/780.48 c #Conflicts: 314000 | #Constraints: 198584
778.46/780.48 c #Conflicts: 315000 | #Constraints: 199584
778.46/780.48 c #Conflicts: 316000 | #Constraints: 200584
778.46/780.48 c #Conflicts: 317000 | #Constraints: 201584
778.46/780.48 c #Conflicts: 318000 | #Constraints: 202584
778.46/780.48 c #Conflicts: 319000 | #Constraints: 203584
778.46/780.48 c #Conflicts: 320000 | #Constraints: 204584
778.46/780.48 c #Conflicts: 321000 | #Constraints: 205584
778.46/780.48 c #Conflicts: 322000 | #Constraints: 206584
778.46/780.48 c #Conflicts: 323000 | #Constraints: 207584
778.46/780.48 c #Conflicts: 324000 | #Constraints: 208584
778.46/780.48 c #Conflicts: 325000 | #Constraints: 209584
778.46/780.48 c #Conflicts: 326000 | #Constraints: 210584
778.46/780.48 c #Conflicts: 327000 | #Constraints: 211584
778.46/780.48 c #Conflicts: 328000 | #Constraints: 212584
778.46/780.48 c #Conflicts: 329000 | #Constraints: 213584
778.46/780.48 c #Conflicts: 330000 | #Constraints: 214584
778.46/780.48 c #Conflicts: 331000 | #Constraints: 215584
778.46/780.48 c #Conflicts: 332000 | #Constraints: 216584
778.46/780.48 c #Conflicts: 333000 | #Constraints: 217584
778.46/780.48 c #Conflicts: 334000 | #Constraints: 218584
778.46/780.48 c #Conflicts: 335000 | #Constraints: 219584
778.46/780.48 c #Conflicts: 336000 | #Constraints: 220584
778.46/780.48 c #Conflicts: 337000 | #Constraints: 221584
778.46/780.48 c #Conflicts: 338000 | #Constraints: 222584
778.46/780.48 c #Conflicts: 339000 | #Constraints: 223584
778.46/780.48 c #Conflicts: 340000 | #Constraints: 224584
778.46/780.48 c #Conflicts: 341000 | #Constraints: 225584
778.46/780.48 c #Conflicts: 342000 | #Constraints: 226584
778.46/780.48 c #Conflicts: 343000 | #Constraints: 227584
778.46/780.48 c #Conflicts: 344000 | #Constraints: 228584
778.46/780.48 c #Conflicts: 345000 | #Constraints: 229584
778.46/780.48 c #Conflicts: 346000 | #Constraints: 230584
778.46/780.48 c #Conflicts: 347000 | #Constraints: 231584
778.46/780.48 c #Conflicts: 348000 | #Constraints: 232584
778.46/780.48 c INPROCESSING
778.46/780.48 c GARBAGE COLLECT
778.46/780.48 c #Conflicts: 349000 | #Constraints: 201302
778.46/780.48 c #Conflicts: 350000 | #Constraints: 202302
778.46/780.48 c #Conflicts: 351000 | #Constraints: 203302
778.46/780.48 c #Conflicts: 352000 | #Constraints: 204302
778.46/780.48 c #Conflicts: 353000 | #Constraints: 205302
778.46/780.48 c #Conflicts: 354000 | #Constraints: 206302
778.46/780.48 c #Conflicts: 355000 | #Constraints: 207302
778.46/780.48 c #Conflicts: 356000 | #Constraints: 208302
778.46/780.48 c #Conflicts: 357000 | #Constraints: 209302
778.46/780.48 c #Conflicts: 358000 | #Constraints: 210302
778.46/780.48 c #Conflicts: 359000 | #Constraints: 211302
778.46/780.48 c #Conflicts: 360000 | #Constraints: 212302
778.46/780.48 c #Conflicts: 361000 | #Constraints: 213302
778.46/780.48 c #Conflicts: 362000 | #Constraints: 214302
778.46/780.48 c #Conflicts: 363000 | #Constraints: 215302
778.46/780.48 c #Conflicts: 364000 | #Constraints: 216302
778.46/780.48 c #Conflicts: 365000 | #Constraints: 217302
778.46/780.48 c #Conflicts: 366000 | #Constraints: 218302
778.46/780.48 c #Conflicts: 367000 | #Constraints: 219302
778.46/780.48 c #Conflicts: 368000 | #Constraints: 220302
778.46/780.48 c #Conflicts: 369000 | #Constraints: 221302
778.46/780.48 c #Conflicts: 370000 | #Constraints: 222302
906.94/909.23 c #Conflicts: 371000 | #Constraints: 223302
906.94/909.23 c #Conflicts: 372000 | #Constraints: 224302
906.94/909.23 c #Conflicts: 373000 | #Constraints: 225302
906.94/909.23 c #Conflicts: 374000 | #Constraints: 226302
906.94/909.23 c #Conflicts: 375000 | #Constraints: 227302
906.94/909.23 c #Conflicts: 376000 | #Constraints: 228302
906.94/909.23 c #Conflicts: 377000 | #Constraints: 229302
906.94/909.23 c #Conflicts: 378000 | #Constraints: 230302
906.94/909.23 c #Conflicts: 379000 | #Constraints: 231302
906.94/909.23 c #Conflicts: 380000 | #Constraints: 232302
906.94/909.23 c #Conflicts: 381000 | #Constraints: 233302
906.94/909.23 c #Conflicts: 382000 | #Constraints: 234302
906.94/909.23 c #Conflicts: 383000 | #Constraints: 235302
906.94/909.23 c #Conflicts: 384000 | #Constraints: 236302
906.94/909.23 c #Conflicts: 385000 | #Constraints: 237302
906.94/909.23 c #Conflicts: 386000 | #Constraints: 238302
906.94/909.23 c INPROCESSING
906.94/909.23 c GARBAGE COLLECT
906.94/909.23 c #Conflicts: 387000 | #Constraints: 205155
906.94/909.23 c #Conflicts: 388000 | #Constraints: 206155
906.94/909.23 c #Conflicts: 389000 | #Constraints: 207155
906.94/909.23 c #Conflicts: 390000 | #Constraints: 208155
906.94/909.23 c #Conflicts: 391000 | #Constraints: 209155
906.94/909.23 c #Conflicts: 392000 | #Constraints: 210155
906.94/909.23 c #Conflicts: 393000 | #Constraints: 211155
906.94/909.23 c #Conflicts: 394000 | #Constraints: 212155
906.94/909.23 c #Conflicts: 395000 | #Constraints: 213155
906.94/909.23 c #Conflicts: 396000 | #Constraints: 214155
906.94/909.23 c #Conflicts: 397000 | #Constraints: 215155
906.94/909.23 c #Conflicts: 398000 | #Constraints: 216155
906.94/909.23 c #Conflicts: 399000 | #Constraints: 217155
906.94/909.23 c #Conflicts: 400000 | #Constraints: 218155
906.94/909.23 c #Conflicts: 401000 | #Constraints: 219155
906.94/909.23 c #Conflicts: 402000 | #Constraints: 220155
906.94/909.23 c #Conflicts: 403000 | #Constraints: 221155
906.94/909.23 c #Conflicts: 404000 | #Constraints: 222155
906.94/909.23 c #Conflicts: 405000 | #Constraints: 223155
906.94/909.23 c #Conflicts: 406000 | #Constraints: 224155
906.94/909.23 c #Conflicts: 407000 | #Constraints: 225155
906.94/909.23 c #Conflicts: 408000 | #Constraints: 226155
906.94/909.23 c #Conflicts: 409000 | #Constraints: 227155
906.94/909.23 c #Conflicts: 410000 | #Constraints: 228155
906.94/909.23 c #Conflicts: 411000 | #Constraints: 229155
906.94/909.23 c #Conflicts: 412000 | #Constraints: 230155
906.94/909.23 c #Conflicts: 413000 | #Constraints: 231155
906.94/909.23 c #Conflicts: 414000 | #Constraints: 232155
906.94/909.23 c #Conflicts: 415000 | #Constraints: 233155
906.94/909.23 c #Conflicts: 416000 | #Constraints: 234155
906.94/909.23 c #Conflicts: 417000 | #Constraints: 235155
906.94/909.23 c #Conflicts: 418000 | #Constraints: 236155
906.94/909.23 c #Conflicts: 419000 | #Constraints: 237155
906.94/909.23 c #Conflicts: 420000 | #Constraints: 238155
906.94/909.23 c #Conflicts: 421000 | #Constraints: 239155
906.94/909.23 c #Conflicts: 422000 | #Constraints: 240155
906.94/909.23 c #Conflicts: 423000 | #Constraints: 241155
906.94/909.23 c #Conflicts: 424000 | #Constraints: 242155
906.94/909.23 c #Conflicts: 425000 | #Constraints: 243155
906.94/909.23 c #Conflicts: 426000 | #Constraints: 244155
906.94/909.23 c INPROCESSING
906.94/909.23 c GARBAGE COLLECT
906.94/909.23 c #Conflicts: 427000 | #Constraints: 209445
906.94/909.23 c #Conflicts: 428000 | #Constraints: 210445
906.94/909.23 c #Conflicts: 429000 | #Constraints: 211445
906.94/909.23 c #Conflicts: 430000 | #Constraints: 212445
906.94/909.23 c #Conflicts: 431000 | #Constraints: 213445
906.94/909.23 c #Conflicts: 432000 | #Constraints: 214445
906.94/909.23 c #Conflicts: 433000 | #Constraints: 215445
906.94/909.23 c #Conflicts: 434000 | #Constraints: 216445
906.94/909.23 c #Conflicts: 435000 | #Constraints: 217445
906.94/909.23 c #Conflicts: 436000 | #Constraints: 218445
906.94/909.23 c #Conflicts: 437000 | #Constraints: 219445
906.94/909.23 c #Conflicts: 438000 | #Constraints: 220445
906.94/909.23 c #Conflicts: 439000 | #Constraints: 221445
906.94/909.23 c #Conflicts: 440000 | #Constraints: 222445
906.94/909.23 c #Conflicts: 441000 | #Constraints: 223445
906.94/909.23 c #Conflicts: 442000 | #Constraints: 224445
906.94/909.23 c #Conflicts: 443000 | #Constraints: 225445
906.94/909.23 c #Conflicts: 444000 | #Constraints: 226445
906.94/909.23 c #Conflicts: 445000 | #Constraints: 227445
906.94/909.23 c #Conflicts: 446000 | #Constraints: 228445
906.94/909.23 c #Conflicts: 447000 | #Constraints: 229445
985.35/987.84 c #Conflicts: 448000 | #Constraints: 230445
985.35/987.84 c #Conflicts: 449000 | #Constraints: 231445
985.35/987.84 c #Conflicts: 450000 | #Constraints: 232445
985.35/987.84 c #Conflicts: 451000 | #Constraints: 233445
985.35/987.84 c #Conflicts: 452000 | #Constraints: 234445
985.35/987.84 c #Conflicts: 453000 | #Constraints: 235445
985.35/987.84 c #Conflicts: 454000 | #Constraints: 236445
985.35/987.84 c #Conflicts: 455000 | #Constraints: 237445
985.35/987.84 c #Conflicts: 456000 | #Constraints: 238445
985.35/987.84 c #Conflicts: 457000 | #Constraints: 239445
985.35/987.84 c #Conflicts: 458000 | #Constraints: 240445
985.35/987.84 c #Conflicts: 459000 | #Constraints: 241445
985.35/987.84 c #Conflicts: 460000 | #Constraints: 242445
985.35/987.84 c #Conflicts: 461000 | #Constraints: 243445
985.35/987.84 c #Conflicts: 462000 | #Constraints: 244445
985.35/987.84 c #Conflicts: 463000 | #Constraints: 245445
985.35/987.84 c #Conflicts: 464000 | #Constraints: 246445
985.35/987.84 c #Conflicts: 465000 | #Constraints: 247445
985.35/987.84 c #Conflicts: 466000 | #Constraints: 248445
985.35/987.84 c #Conflicts: 467000 | #Constraints: 249445
985.35/987.84 c #Conflicts: 468000 | #Constraints: 250445
985.35/987.84 c #Conflicts: 469000 | #Constraints: 251445
985.35/987.84 c INPROCESSING
985.35/987.84 c GARBAGE COLLECT
985.35/987.84 c #Conflicts: 470000 | #Constraints: 214745
985.35/987.84 c #Conflicts: 471000 | #Constraints: 215745
985.35/987.84 c #Conflicts: 472000 | #Constraints: 216745
985.35/987.84 c #Conflicts: 473000 | #Constraints: 217745
985.35/987.84 c #Conflicts: 474000 | #Constraints: 218745
985.35/987.84 c #Conflicts: 475000 | #Constraints: 219745
985.35/987.84 c #Conflicts: 476000 | #Constraints: 220745
985.35/987.84 c #Conflicts: 477000 | #Constraints: 221745
985.35/987.84 c #Conflicts: 478000 | #Constraints: 222745
985.35/987.84 c #Conflicts: 479000 | #Constraints: 223745
985.35/987.84 c #Conflicts: 480000 | #Constraints: 224745
985.35/987.84 c #Conflicts: 481000 | #Constraints: 225745
985.35/987.84 c #Conflicts: 482000 | #Constraints: 226745
985.35/987.84 c #Conflicts: 483000 | #Constraints: 227745
985.35/987.84 c #Conflicts: 484000 | #Constraints: 228745
985.35/987.84 c #Conflicts: 485000 | #Constraints: 229745
985.35/987.84 c #Conflicts: 486000 | #Constraints: 230745
985.35/987.84 c #Conflicts: 487000 | #Constraints: 231745
985.35/987.84 c #Conflicts: 488000 | #Constraints: 232745
985.35/987.84 c #Conflicts: 489000 | #Constraints: 233745
985.35/987.84 c #Conflicts: 490000 | #Constraints: 234745
985.35/987.84 c #Conflicts: 491000 | #Constraints: 235745
985.35/987.84 c #Conflicts: 492000 | #Constraints: 236745
985.35/987.84 c #Conflicts: 493000 | #Constraints: 237745
985.35/987.84 c #Conflicts: 494000 | #Constraints: 238745
985.35/987.84 c #Conflicts: 495000 | #Constraints: 239745
985.35/987.84 c #Conflicts: 496000 | #Constraints: 240745
985.35/987.84 c #Conflicts: 497000 | #Constraints: 241745
985.35/987.84 c #Conflicts: 498000 | #Constraints: 242745
985.35/987.84 c #Conflicts: 499000 | #Constraints: 243745
985.35/987.84 c #Conflicts: 500000 | #Constraints: 244745
985.35/987.84 c #Conflicts: 501000 | #Constraints: 245745
985.35/987.84 c #Conflicts: 502000 | #Constraints: 246745
985.35/987.84 c #Conflicts: 503000 | #Constraints: 247745
985.35/987.84 c #Conflicts: 504000 | #Constraints: 248745
985.35/987.84 c #Conflicts: 505000 | #Constraints: 249745
985.35/987.84 c #Conflicts: 506000 | #Constraints: 250745
985.35/987.84 c #Conflicts: 507000 | #Constraints: 251745
985.35/987.84 c #Conflicts: 508000 | #Constraints: 252745
985.35/987.84 c #Conflicts: 509000 | #Constraints: 253745
985.35/987.84 c #Conflicts: 510000 | #Constraints: 254745
985.35/987.84 c #Conflicts: 511000 | #Constraints: 255745
985.35/987.84 c #Conflicts: 512000 | #Constraints: 256745
985.35/987.84 c #Conflicts: 513000 | #Constraints: 257745
985.35/987.84 c INPROCESSING
985.35/987.84 c GARBAGE COLLECT
985.35/987.84 c #Conflicts: 514000 | #Constraints: 219516
985.35/987.84 c #Conflicts: 515000 | #Constraints: 220516
985.35/987.84 c #Conflicts: 516000 | #Constraints: 221516
985.35/987.84 c #Conflicts: 517000 | #Constraints: 222516
985.35/987.84 c #Conflicts: 518000 | #Constraints: 223516
985.35/987.84 c #Conflicts: 519000 | #Constraints: 224516
985.35/987.84 c #Conflicts: 520000 | #Constraints: 225516
985.35/987.84 c #Conflicts: 521000 | #Constraints: 226516
985.35/987.84 c #Conflicts: 522000 | #Constraints: 227516
985.35/987.84 c #Conflicts: 523000 | #Constraints: 228516
985.35/987.84 c #Conflicts: 524000 | #Constraints: 229516
985.35/987.84 c #Conflicts: 525000 | #Constraints: 230516
1054.98/1057.66 c #Conflicts: 526000 | #Constraints: 231516
1054.98/1057.66 c #Conflicts: 527000 | #Constraints: 232516
1054.98/1057.66 c #Conflicts: 528000 | #Constraints: 233516
1054.98/1057.66 c #Conflicts: 529000 | #Constraints: 234516
1054.98/1057.66 c #Conflicts: 530000 | #Constraints: 235516
1054.98/1057.66 c #Conflicts: 531000 | #Constraints: 236516
1054.98/1057.66 c #Conflicts: 532000 | #Constraints: 237516
1054.98/1057.66 c #Conflicts: 533000 | #Constraints: 238516
1054.98/1057.66 c #Conflicts: 534000 | #Constraints: 239516
1054.98/1057.66 c #Conflicts: 535000 | #Constraints: 240516
1054.98/1057.66 c #Conflicts: 536000 | #Constraints: 241516
1054.98/1057.66 c #Conflicts: 537000 | #Constraints: 242516
1054.98/1057.66 c #Conflicts: 538000 | #Constraints: 243516
1054.98/1057.66 c #Conflicts: 539000 | #Constraints: 244516
1054.98/1057.66 c #Conflicts: 540000 | #Constraints: 245516
1054.98/1057.66 c #Conflicts: 541000 | #Constraints: 246516
1054.98/1057.66 c #Conflicts: 542000 | #Constraints: 247516
1054.98/1057.66 c #Conflicts: 543000 | #Constraints: 248516
1054.98/1057.66 c #Conflicts: 544000 | #Constraints: 249516
1054.98/1057.66 c #Conflicts: 545000 | #Constraints: 250516
1054.98/1057.66 c #Conflicts: 546000 | #Constraints: 251516
1054.98/1057.66 c #Conflicts: 547000 | #Constraints: 252516
1054.98/1057.66 c #Conflicts: 548000 | #Constraints: 253516
1054.98/1057.66 c #Conflicts: 549000 | #Constraints: 254516
1054.98/1057.66 c #Conflicts: 550000 | #Constraints: 255516
1054.98/1057.66 c #Conflicts: 551000 | #Constraints: 256516
1054.98/1057.66 c #Conflicts: 552000 | #Constraints: 257516
1054.98/1057.66 c #Conflicts: 553000 | #Constraints: 258516
1054.98/1057.66 c #Conflicts: 554000 | #Constraints: 259516
1054.98/1057.66 c #Conflicts: 555000 | #Constraints: 260516
1054.98/1057.66 c #Conflicts: 556000 | #Constraints: 261516
1054.98/1057.66 c #Conflicts: 557000 | #Constraints: 262516
1054.98/1057.66 c #Conflicts: 558000 | #Constraints: 263516
1054.98/1057.66 c #Conflicts: 559000 | #Constraints: 264516
1054.98/1057.66 c #Conflicts: 560000 | #Constraints: 265516
1054.98/1057.66 c INPROCESSING
1054.98/1057.66 c GARBAGE COLLECT
1054.98/1057.66 c #Conflicts: 561000 | #Constraints: 225059
1054.98/1057.66 c #Conflicts: 562000 | #Constraints: 226059
1054.98/1057.66 c #Conflicts: 563000 | #Constraints: 227059
1054.98/1057.66 c #Conflicts: 564000 | #Constraints: 228059
1054.98/1057.66 c #Conflicts: 565000 | #Constraints: 229059
1054.98/1057.66 c #Conflicts: 566000 | #Constraints: 230059
1054.98/1057.66 c #Conflicts: 567000 | #Constraints: 231059
1054.98/1057.66 c #Conflicts: 568000 | #Constraints: 232059
1054.98/1057.66 c #Conflicts: 569000 | #Constraints: 233059
1054.98/1057.66 c #Conflicts: 570000 | #Constraints: 234059
1054.98/1057.66 c #Conflicts: 571000 | #Constraints: 235059
1054.98/1057.66 c #Conflicts: 572000 | #Constraints: 236059
1054.98/1057.66 c #Conflicts: 573000 | #Constraints: 237059
1054.98/1057.66 c #Conflicts: 574000 | #Constraints: 238059
1054.98/1057.66 c #Conflicts: 575000 | #Constraints: 239059
1054.98/1057.66 c #Conflicts: 576000 | #Constraints: 240059
1054.98/1057.66 c #Conflicts: 577000 | #Constraints: 241059
1054.98/1057.66 c #Conflicts: 578000 | #Constraints: 242059
1054.98/1057.66 c #Conflicts: 579000 | #Constraints: 243059
1054.98/1057.66 c #Conflicts: 580000 | #Constraints: 244059
1054.98/1057.66 c #Conflicts: 581000 | #Constraints: 245059
1054.98/1057.66 c #Conflicts: 582000 | #Constraints: 246059
1054.98/1057.66 c #Conflicts: 583000 | #Constraints: 247059
1054.98/1057.66 c #Conflicts: 584000 | #Constraints: 248059
1054.98/1057.66 c #Conflicts: 585000 | #Constraints: 249059
1054.98/1057.66 c #Conflicts: 586000 | #Constraints: 250059
1054.98/1057.66 c #Conflicts: 587000 | #Constraints: 251059
1054.98/1057.66 c #Conflicts: 588000 | #Constraints: 252059
1054.98/1057.66 c #Conflicts: 589000 | #Constraints: 253059
1054.98/1057.66 c #Conflicts: 590000 | #Constraints: 254059
1054.98/1057.66 c #Conflicts: 591000 | #Constraints: 255059
1054.98/1057.66 c #Conflicts: 592000 | #Constraints: 256059
1054.98/1057.66 c #Conflicts: 593000 | #Constraints: 257059
1054.98/1057.66 c #Conflicts: 594000 | #Constraints: 258059
1054.98/1057.66 c #Conflicts: 595000 | #Constraints: 259059
1054.98/1057.66 c #Conflicts: 596000 | #Constraints: 260059
1054.98/1057.66 c #Conflicts: 597000 | #Constraints: 261059
1054.98/1057.66 c #Conflicts: 598000 | #Constraints: 262059
1054.98/1057.66 c #Conflicts: 599000 | #Constraints: 263059
1054.98/1057.66 c #Conflicts: 600000 | #Constraints: 264059
1054.98/1057.66 c #Conflicts: 601000 | #Constraints: 265059
1054.98/1057.66 c #Conflicts: 602000 | #Constraints: 266059
1054.98/1057.66 c #Conflicts: 603000 | #Constraints: 267059
1124.01/1126.80 c #Conflicts: 604000 | #Constraints: 268059
1124.01/1126.80 c #Conflicts: 605000 | #Constraints: 269059
1124.01/1126.80 c #Conflicts: 606000 | #Constraints: 270059
1124.01/1126.80 c #Conflicts: 607000 | #Constraints: 271059
1124.01/1126.80 c #Conflicts: 608000 | #Constraints: 272059
1124.01/1126.80 c INPROCESSING
1124.01/1126.80 c GARBAGE COLLECT
1124.01/1126.80 c #Conflicts: 609000 | #Constraints: 230069
1124.01/1126.80 c #Conflicts: 610000 | #Constraints: 231069
1124.01/1126.80 c #Conflicts: 611000 | #Constraints: 232069
1124.01/1126.80 c #Conflicts: 612000 | #Constraints: 233069
1124.01/1126.80 c #Conflicts: 613000 | #Constraints: 234069
1124.01/1126.80 c #Conflicts: 614000 | #Constraints: 235069
1124.01/1126.80 c #Conflicts: 615000 | #Constraints: 236069
1124.01/1126.80 c #Conflicts: 616000 | #Constraints: 237069
1124.01/1126.80 c #Conflicts: 617000 | #Constraints: 238069
1124.01/1126.80 c #Conflicts: 618000 | #Constraints: 239069
1124.01/1126.80 c #Conflicts: 619000 | #Constraints: 240069
1124.01/1126.80 c #Conflicts: 620000 | #Constraints: 241069
1124.01/1126.80 c #Conflicts: 621000 | #Constraints: 242069
1124.01/1126.80 c #Conflicts: 622000 | #Constraints: 243069
1124.01/1126.80 c #Conflicts: 623000 | #Constraints: 244069
1124.01/1126.80 c #Conflicts: 624000 | #Constraints: 245069
1124.01/1126.80 c #Conflicts: 625000 | #Constraints: 246069
1124.01/1126.80 c #Conflicts: 626000 | #Constraints: 247069
1124.01/1126.80 c #Conflicts: 627000 | #Constraints: 248069
1124.01/1126.80 c #Conflicts: 628000 | #Constraints: 249069
1124.01/1126.80 c #Conflicts: 629000 | #Constraints: 250069
1124.01/1126.80 c #Conflicts: 630000 | #Constraints: 251069
1124.01/1126.80 c #Conflicts: 631000 | #Constraints: 252069
1124.01/1126.80 c #Conflicts: 632000 | #Constraints: 253069
1124.01/1126.80 c #Conflicts: 633000 | #Constraints: 254069
1124.01/1126.80 c #Conflicts: 634000 | #Constraints: 255069
1124.01/1126.80 c #Conflicts: 635000 | #Constraints: 256069
1124.01/1126.80 c #Conflicts: 636000 | #Constraints: 257069
1124.01/1126.80 c #Conflicts: 637000 | #Constraints: 258069
1124.01/1126.80 c #Conflicts: 638000 | #Constraints: 259069
1124.01/1126.80 c #Conflicts: 639000 | #Constraints: 260069
1124.01/1126.80 c #Conflicts: 640000 | #Constraints: 261069
1124.01/1126.80 c #Conflicts: 641000 | #Constraints: 262069
1124.01/1126.80 c #Conflicts: 642000 | #Constraints: 263069
1124.01/1126.80 c #Conflicts: 643000 | #Constraints: 264069
1124.01/1126.80 c #Conflicts: 644000 | #Constraints: 265069
1124.01/1126.80 c #Conflicts: 645000 | #Constraints: 266069
1124.01/1126.80 c #Conflicts: 646000 | #Constraints: 267069
1124.01/1126.80 c #Conflicts: 647000 | #Constraints: 268069
1124.01/1126.80 c #Conflicts: 648000 | #Constraints: 269069
1124.01/1126.80 c #Conflicts: 649000 | #Constraints: 270069
1124.01/1126.80 c #Conflicts: 650000 | #Constraints: 271069
1124.01/1126.80 c #Conflicts: 651000 | #Constraints: 272069
1124.01/1126.80 c #Conflicts: 652000 | #Constraints: 273069
1124.01/1126.80 c #Conflicts: 653000 | #Constraints: 274069
1124.01/1126.80 c #Conflicts: 654000 | #Constraints: 275069
1124.01/1126.80 c #Conflicts: 655000 | #Constraints: 276069
1124.01/1126.80 c #Conflicts: 656000 | #Constraints: 277069
1124.01/1126.80 c #Conflicts: 657000 | #Constraints: 278069
1124.01/1126.80 c #Conflicts: 658000 | #Constraints: 279069
1124.01/1126.80 c INPROCESSING
1124.01/1126.80 c GARBAGE COLLECT
1124.01/1126.80 c #Conflicts: 659000 | #Constraints: 234679
1124.01/1126.80 c #Conflicts: 660000 | #Constraints: 235679
1124.01/1126.80 c #Conflicts: 661000 | #Constraints: 236679
1124.01/1126.80 c #Conflicts: 662000 | #Constraints: 237679
1124.01/1126.80 c #Conflicts: 663000 | #Constraints: 238679
1124.01/1126.80 c #Conflicts: 664000 | #Constraints: 239679
1124.01/1126.80 c #Conflicts: 665000 | #Constraints: 240679
1124.01/1126.80 c #Conflicts: 666000 | #Constraints: 241679
1124.01/1126.80 c #Conflicts: 667000 | #Constraints: 242679
1124.01/1126.80 c #Conflicts: 668000 | #Constraints: 243679
1124.01/1126.80 c #Conflicts: 669000 | #Constraints: 244679
1124.01/1126.80 c #Conflicts: 670000 | #Constraints: 245679
1124.01/1126.80 c #Conflicts: 671000 | #Constraints: 246679
1124.01/1126.80 c #Conflicts: 672000 | #Constraints: 247679
1124.01/1126.80 c #Conflicts: 673000 | #Constraints: 248679
1124.01/1126.80 c #Conflicts: 674000 | #Constraints: 249679
1124.01/1126.80 c #Conflicts: 675000 | #Constraints: 250679
1124.01/1126.80 c #Conflicts: 676000 | #Constraints: 251679
1124.01/1126.80 c #Conflicts: 677000 | #Constraints: 252679
1124.01/1126.80 c #Conflicts: 678000 | #Constraints: 253679
1124.01/1126.80 c #Conflicts: 679000 | #Constraints: 254679
1124.01/1126.80 c #Conflicts: 680000 | #Constraints: 255679
1396.18/1399.66 c #Conflicts: 681000 | #Constraints: 256679
1396.18/1399.66 c #Conflicts: 682000 | #Constraints: 257679
1396.18/1399.66 c #Conflicts: 683000 | #Constraints: 258679
1396.18/1399.66 c #Conflicts: 684000 | #Constraints: 259679
1396.18/1399.66 c #Conflicts: 685000 | #Constraints: 260679
1396.18/1399.66 c #Conflicts: 686000 | #Constraints: 261679
1396.18/1399.66 c #Conflicts: 687000 | #Constraints: 262679
1396.18/1399.66 c #Conflicts: 688000 | #Constraints: 263679
1396.18/1399.66 c #Conflicts: 689000 | #Constraints: 264679
1396.18/1399.66 c #Conflicts: 690000 | #Constraints: 265679
1396.18/1399.66 c #Conflicts: 691000 | #Constraints: 266679
1396.18/1399.66 c #Conflicts: 692000 | #Constraints: 267679
1396.18/1399.66 c #Conflicts: 693000 | #Constraints: 268679
1396.18/1399.66 c #Conflicts: 694000 | #Constraints: 269679
1396.18/1399.66 c #Conflicts: 695000 | #Constraints: 270679
1396.18/1399.66 c #Conflicts: 696000 | #Constraints: 271679
1396.18/1399.66 c #Conflicts: 697000 | #Constraints: 272679
1396.18/1399.66 c #Conflicts: 698000 | #Constraints: 273679
1396.18/1399.66 c #Conflicts: 699000 | #Constraints: 274679
1396.18/1399.66 c #Conflicts: 700000 | #Constraints: 275679
1396.18/1399.66 c #Conflicts: 701000 | #Constraints: 276679
1396.18/1399.66 c #Conflicts: 702000 | #Constraints: 277679
1396.18/1399.66 c #Conflicts: 703000 | #Constraints: 278679
1396.18/1399.66 c #Conflicts: 704000 | #Constraints: 279679
1396.18/1399.66 c #Conflicts: 705000 | #Constraints: 280679
1396.18/1399.66 c #Conflicts: 706000 | #Constraints: 281679
1396.18/1399.66 c #Conflicts: 707000 | #Constraints: 282679
1396.18/1399.66 c #Conflicts: 708000 | #Constraints: 283679
1396.18/1399.66 c #Conflicts: 709000 | #Constraints: 284679
1396.18/1399.66 c #Conflicts: 710000 | #Constraints: 285679
1396.18/1399.66 c #Conflicts: 711000 | #Constraints: 286679
1396.18/1399.66 c INPROCESSING
1396.18/1399.66 c GARBAGE COLLECT
1396.18/1399.66 c #Conflicts: 712000 | #Constraints: 240581
1396.18/1399.66 c #Conflicts: 713000 | #Constraints: 241581
1396.18/1399.66 c #Conflicts: 714000 | #Constraints: 242581
1396.18/1399.66 c #Conflicts: 715000 | #Constraints: 243581
1396.18/1399.66 c #Conflicts: 716000 | #Constraints: 244581
1396.18/1399.66 c #Conflicts: 717000 | #Constraints: 245581
1396.18/1399.66 c #Conflicts: 718000 | #Constraints: 246581
1396.18/1399.66 c #Conflicts: 719000 | #Constraints: 247581
1396.18/1399.66 c #Conflicts: 720000 | #Constraints: 248581
1396.18/1399.66 c #Conflicts: 721000 | #Constraints: 249581
1396.18/1399.66 c #Conflicts: 722000 | #Constraints: 250581
1396.18/1399.66 c #Conflicts: 723000 | #Constraints: 251581
1396.18/1399.66 c #Conflicts: 724000 | #Constraints: 252581
1396.18/1399.66 c #Conflicts: 725000 | #Constraints: 253581
1396.18/1399.66 c #Conflicts: 726000 | #Constraints: 254581
1396.18/1399.66 c #Conflicts: 727000 | #Constraints: 255581
1396.18/1399.66 c #Conflicts: 728000 | #Constraints: 256581
1396.18/1399.66 c #Conflicts: 729000 | #Constraints: 257581
1396.18/1399.66 c #Conflicts: 730000 | #Constraints: 258581
1396.18/1399.66 c #Conflicts: 731000 | #Constraints: 259581
1396.18/1399.66 c #Conflicts: 732000 | #Constraints: 260581
1396.18/1399.66 c #Conflicts: 733000 | #Constraints: 261581
1396.18/1399.66 c #Conflicts: 734000 | #Constraints: 262581
1396.18/1399.66 c #Conflicts: 735000 | #Constraints: 263581
1396.18/1399.66 c #Conflicts: 736000 | #Constraints: 264581
1396.18/1399.66 c #Conflicts: 737000 | #Constraints: 265581
1396.18/1399.66 c #Conflicts: 738000 | #Constraints: 266581
1396.18/1399.66 c #Conflicts: 739000 | #Constraints: 267581
1396.18/1399.66 c #Conflicts: 740000 | #Constraints: 268581
1396.18/1399.66 c #Conflicts: 741000 | #Constraints: 269581
1396.18/1399.66 c #Conflicts: 742000 | #Constraints: 270581
1396.18/1399.66 c #Conflicts: 743000 | #Constraints: 271581
1396.18/1399.66 c #Conflicts: 744000 | #Constraints: 272581
1396.18/1399.66 c #Conflicts: 745000 | #Constraints: 273581
1396.18/1399.66 c #Conflicts: 746000 | #Constraints: 274581
1396.18/1399.66 c #Conflicts: 747000 | #Constraints: 275581
1396.18/1399.66 c #Conflicts: 748000 | #Constraints: 276581
1396.18/1399.66 c #Conflicts: 749000 | #Constraints: 277581
1396.18/1399.66 c #Conflicts: 750000 | #Constraints: 278581
1396.18/1399.66 c #Conflicts: 751000 | #Constraints: 279581
1396.18/1399.66 c #Conflicts: 752000 | #Constraints: 280581
1396.18/1399.66 c #Conflicts: 753000 | #Constraints: 281581
1396.18/1399.66 c #Conflicts: 754000 | #Constraints: 282581
1396.18/1399.66 c #Conflicts: 755000 | #Constraints: 283581
1396.18/1399.66 c #Conflicts: 756000 | #Constraints: 284581
1396.18/1399.66 c #Conflicts: 757000 | #Constraints: 285581
1396.18/1399.66 c #Conflicts: 758000 | #Constraints: 286581
1396.18/1399.66 c #Conflicts: 759000 | #Constraints: 287581
1661.30/1665.53 c #Conflicts: 760000 | #Constraints: 288581
1661.30/1665.53 c #Conflicts: 761000 | #Constraints: 289581
1661.30/1665.53 c #Conflicts: 762000 | #Constraints: 290581
1661.30/1665.53 c #Conflicts: 763000 | #Constraints: 291581
1661.30/1665.53 c #Conflicts: 764000 | #Constraints: 292581
1661.30/1665.53 c #Conflicts: 765000 | #Constraints: 293581
1661.30/1665.53 c INPROCESSING
1661.30/1665.53 c GARBAGE COLLECT
1661.30/1665.53 c #Conflicts: 766000 | #Constraints: 245176
1661.30/1665.53 c #Conflicts: 767000 | #Constraints: 246176
1661.30/1665.53 c #Conflicts: 768000 | #Constraints: 247176
1661.30/1665.53 c #Conflicts: 769000 | #Constraints: 248176
1661.30/1665.53 c #Conflicts: 770000 | #Constraints: 249176
1661.30/1665.53 c #Conflicts: 771000 | #Constraints: 250176
1661.30/1665.53 c #Conflicts: 772000 | #Constraints: 251176
1661.30/1665.53 c #Conflicts: 773000 | #Constraints: 252176
1661.30/1665.53 c #Conflicts: 774000 | #Constraints: 253176
1661.30/1665.53 c #Conflicts: 775000 | #Constraints: 254176
1661.30/1665.53 c #Conflicts: 776000 | #Constraints: 255176
1661.30/1665.53 c #Conflicts: 777000 | #Constraints: 256176
1661.30/1665.53 c #Conflicts: 778000 | #Constraints: 257176
1661.30/1665.53 c #Conflicts: 779000 | #Constraints: 258176
1661.30/1665.53 c #Conflicts: 780000 | #Constraints: 259176
1661.30/1665.53 c #Conflicts: 781000 | #Constraints: 260176
1661.30/1665.53 c #Conflicts: 782000 | #Constraints: 261176
1661.30/1665.53 c #Conflicts: 783000 | #Constraints: 262176
1661.30/1665.53 c #Conflicts: 784000 | #Constraints: 263176
1661.30/1665.53 c #Conflicts: 785000 | #Constraints: 264176
1661.30/1665.53 c #Conflicts: 786000 | #Constraints: 265176
1661.30/1665.53 c #Conflicts: 787000 | #Constraints: 266176
1661.30/1665.53 c #Conflicts: 788000 | #Constraints: 267176
1661.30/1665.53 c #Conflicts: 789000 | #Constraints: 268176
1661.30/1665.53 c #Conflicts: 790000 | #Constraints: 269176
1661.30/1665.53 c #Conflicts: 791000 | #Constraints: 270176
1661.30/1665.53 c #Conflicts: 792000 | #Constraints: 271176
1661.30/1665.53 c #Conflicts: 793000 | #Constraints: 272176
1661.30/1665.53 c #Conflicts: 794000 | #Constraints: 273176
1661.30/1665.53 c #Conflicts: 795000 | #Constraints: 274176
1661.30/1665.53 c #Conflicts: 796000 | #Constraints: 275176
1661.30/1665.53 c #Conflicts: 797000 | #Constraints: 276176
1661.30/1665.53 c #Conflicts: 798000 | #Constraints: 277176
1661.30/1665.53 c #Conflicts: 799000 | #Constraints: 278176
1661.30/1665.53 c #Conflicts: 800000 | #Constraints: 279176
1661.30/1665.53 c #Conflicts: 801000 | #Constraints: 280176
1661.30/1665.53 c #Conflicts: 802000 | #Constraints: 281176
1661.30/1665.53 c #Conflicts: 803000 | #Constraints: 282176
1661.30/1665.53 c #Conflicts: 804000 | #Constraints: 283176
1661.30/1665.53 c #Conflicts: 805000 | #Constraints: 284176
1661.30/1665.53 c #Conflicts: 806000 | #Constraints: 285176
1661.30/1665.53 c #Conflicts: 807000 | #Constraints: 286176
1661.30/1665.53 c #Conflicts: 808000 | #Constraints: 287176
1661.30/1665.53 c #Conflicts: 809000 | #Constraints: 288176
1661.30/1665.53 c #Conflicts: 810000 | #Constraints: 289176
1661.30/1665.53 c #Conflicts: 811000 | #Constraints: 290176
1661.30/1665.53 c #Conflicts: 812000 | #Constraints: 291176
1661.30/1665.53 c #Conflicts: 813000 | #Constraints: 292176
1661.30/1665.53 c #Conflicts: 814000 | #Constraints: 293176
1661.30/1665.53 c #Conflicts: 815000 | #Constraints: 294176
1661.30/1665.53 c #Conflicts: 816000 | #Constraints: 295176
1661.30/1665.53 c #Conflicts: 817000 | #Constraints: 296176
1661.30/1665.53 c #Conflicts: 818000 | #Constraints: 297176
1661.30/1665.53 c #Conflicts: 819000 | #Constraints: 298176
1661.30/1665.53 c #Conflicts: 820000 | #Constraints: 299176
1661.30/1665.53 c #Conflicts: 821000 | #Constraints: 300176
1661.30/1665.53 c #Conflicts: 822000 | #Constraints: 301176
1661.30/1665.53 c INPROCESSING
1661.30/1665.53 c GARBAGE COLLECT
1661.30/1665.53 c rational objective 25266.6
1727.21/1731.66 c #Conflicts: 823000 | #Constraints: 251586
1727.21/1731.66 c #Conflicts: 824000 | #Constraints: 252586
1727.21/1731.66 c #Conflicts: 825000 | #Constraints: 253586
1727.21/1731.66 c #Conflicts: 826000 | #Constraints: 254586
1727.21/1731.66 c #Conflicts: 827000 | #Constraints: 255586
1727.21/1731.66 c #Conflicts: 828000 | #Constraints: 256586
1727.21/1731.66 c #Conflicts: 829000 | #Constraints: 257586
1727.21/1731.66 c #Conflicts: 830000 | #Constraints: 258586
1727.21/1731.66 c #Conflicts: 831000 | #Constraints: 259586
1727.21/1731.66 c #Conflicts: 832000 | #Constraints: 260586
1727.21/1731.66 c #Conflicts: 833000 | #Constraints: 261586
1727.21/1731.66 c #Conflicts: 834000 | #Constraints: 262586
1727.21/1731.66 c #Conflicts: 835000 | #Constraints: 263586
1727.21/1731.66 c #Conflicts: 836000 | #Constraints: 264586
1727.21/1731.66 c #Conflicts: 837000 | #Constraints: 265586
1727.21/1731.66 c #Conflicts: 838000 | #Constraints: 266586
1727.21/1731.66 c #Conflicts: 839000 | #Constraints: 267586
1727.21/1731.66 c #Conflicts: 840000 | #Constraints: 268586
1727.21/1731.66 c #Conflicts: 841000 | #Constraints: 269586
1727.21/1731.66 c #Conflicts: 842000 | #Constraints: 270586
1727.21/1731.66 c #Conflicts: 843000 | #Constraints: 271586
1727.21/1731.66 c #Conflicts: 844000 | #Constraints: 272586
1727.21/1731.66 c #Conflicts: 845000 | #Constraints: 273586
1727.21/1731.66 c #Conflicts: 846000 | #Constraints: 274586
1727.21/1731.66 c #Conflicts: 847000 | #Constraints: 275586
1727.21/1731.66 c #Conflicts: 848000 | #Constraints: 276586
1727.21/1731.66 c #Conflicts: 849000 | #Constraints: 277586
1727.21/1731.66 c #Conflicts: 850000 | #Constraints: 278586
1727.21/1731.66 c #Conflicts: 851000 | #Constraints: 279586
1727.21/1731.66 c #Conflicts: 852000 | #Constraints: 280586
1727.21/1731.66 c #Conflicts: 853000 | #Constraints: 281586
1727.21/1731.66 c #Conflicts: 854000 | #Constraints: 282586
1727.21/1731.66 c #Conflicts: 855000 | #Constraints: 283586
1727.21/1731.66 c #Conflicts: 856000 | #Constraints: 284586
1727.21/1731.66 c #Conflicts: 857000 | #Constraints: 285586
1727.21/1731.66 c #Conflicts: 858000 | #Constraints: 286586
1727.21/1731.66 c #Conflicts: 859000 | #Constraints: 287586
1727.21/1731.66 c #Conflicts: 860000 | #Constraints: 288586
1727.21/1731.66 c #Conflicts: 861000 | #Constraints: 289586
1727.21/1731.66 c #Conflicts: 862000 | #Constraints: 290586
1727.21/1731.66 c #Conflicts: 863000 | #Constraints: 291586
1727.21/1731.66 c #Conflicts: 864000 | #Constraints: 292586
1727.21/1731.66 c #Conflicts: 865000 | #Constraints: 293586
1727.21/1731.66 c #Conflicts: 866000 | #Constraints: 294586
1727.21/1731.66 c #Conflicts: 867000 | #Constraints: 295586
1727.21/1731.66 c #Conflicts: 868000 | #Constraints: 296586
1727.21/1731.66 c #Conflicts: 869000 | #Constraints: 297586
1727.21/1731.66 c #Conflicts: 870000 | #Constraints: 298586
1727.21/1731.66 c #Conflicts: 871000 | #Constraints: 299586
1727.21/1731.66 c #Conflicts: 872000 | #Constraints: 300586
1727.21/1731.66 c #Conflicts: 873000 | #Constraints: 301586
1727.21/1731.66 c #Conflicts: 874000 | #Constraints: 302586
1727.21/1731.66 c #Conflicts: 875000 | #Constraints: 303586
1727.21/1731.66 c #Conflicts: 876000 | #Constraints: 304586
1727.21/1731.66 c #Conflicts: 877000 | #Constraints: 305586
1727.21/1731.66 c #Conflicts: 878000 | #Constraints: 306586
1727.21/1731.66 c #Conflicts: 879000 | #Constraints: 307586
1727.21/1731.66 c #Conflicts: 880000 | #Constraints: 308586
1727.21/1731.66 c INPROCESSING
1727.21/1731.66 c GARBAGE COLLECT
1727.21/1731.66 c #Conflicts: 881000 | #Constraints: 256484
1727.21/1731.66 c #Conflicts: 882000 | #Constraints: 257484
1727.21/1731.66 c #Conflicts: 883000 | #Constraints: 258484
1727.21/1731.66 c #Conflicts: 884000 | #Constraints: 259484
1727.21/1731.66 c #Conflicts: 885000 | #Constraints: 260484
1727.21/1731.66 c #Conflicts: 886000 | #Constraints: 261484
1727.21/1731.66 c #Conflicts: 887000 | #Constraints: 262484
1727.21/1731.66 c #Conflicts: 888000 | #Constraints: 263484
1727.21/1731.66 c #Conflicts: 889000 | #Constraints: 264484
1727.21/1731.66 c #Conflicts: 890000 | #Constraints: 265484
1727.21/1731.66 c #Conflicts: 891000 | #Constraints: 266484
1727.21/1731.66 c #Conflicts: 892000 | #Constraints: 267484
1727.21/1731.66 c #Conflicts: 893000 | #Constraints: 268484
1727.21/1731.66 c #Conflicts: 894000 | #Constraints: 269484
1727.21/1731.66 c #Conflicts: 895000 | #Constraints: 270484
1727.21/1731.66 c #Conflicts: 896000 | #Constraints: 271484
1727.21/1731.66 c #Conflicts: 897000 | #Constraints: 272484
1727.21/1731.66 c #Conflicts: 898000 | #Constraints: 273484
1727.21/1731.66 c #Conflicts: 899000 | #Constraints: 274484
1727.21/1731.66 c #Conflicts: 900000 | #Constraints: 275484
1727.21/1731.66 c #Conflicts: 901000 | #Constraints: 276484
1786.32/1790.96 c #Conflicts: 902000 | #Constraints: 277484
1786.32/1790.96 c #Conflicts: 903000 | #Constraints: 278484
1786.32/1790.96 c #Conflicts: 904000 | #Constraints: 279484
1786.32/1790.96 c #Conflicts: 905000 | #Constraints: 280484
1786.32/1790.96 c #Conflicts: 906000 | #Constraints: 281484
1786.32/1790.96 c #Conflicts: 907000 | #Constraints: 282484
1786.32/1790.96 c #Conflicts: 908000 | #Constraints: 283484
1786.32/1790.96 c #Conflicts: 909000 | #Constraints: 284484
1786.32/1790.96 c #Conflicts: 910000 | #Constraints: 285484
1786.32/1790.96 c #Conflicts: 911000 | #Constraints: 286484
1786.32/1790.96 c #Conflicts: 912000 | #Constraints: 287484
1786.32/1790.96 c #Conflicts: 913000 | #Constraints: 288484
1786.32/1790.96 c #Conflicts: 914000 | #Constraints: 289484
1786.32/1790.96 c #Conflicts: 915000 | #Constraints: 290484
1786.32/1790.96 c #Conflicts: 916000 | #Constraints: 291484
1786.32/1790.96 c #Conflicts: 917000 | #Constraints: 292484
1786.32/1790.96 c #Conflicts: 918000 | #Constraints: 293484
1786.32/1790.96 c #Conflicts: 919000 | #Constraints: 294484
1786.32/1790.96 c #Conflicts: 920000 | #Constraints: 295484
1786.32/1790.96 c #Conflicts: 921000 | #Constraints: 296484
1786.32/1790.96 c #Conflicts: 922000 | #Constraints: 297484
1786.32/1790.96 c #Conflicts: 923000 | #Constraints: 298484
1786.32/1790.96 c #Conflicts: 924000 | #Constraints: 299484
1786.32/1790.96 c #Conflicts: 925000 | #Constraints: 300484
1786.32/1790.96 c #Conflicts: 926000 | #Constraints: 301484
1786.32/1790.96 c #Conflicts: 927000 | #Constraints: 302484
1786.32/1790.96 c #Conflicts: 928000 | #Constraints: 303484
1786.32/1790.96 c #Conflicts: 929000 | #Constraints: 304484
1786.32/1790.96 c #Conflicts: 930000 | #Constraints: 305484
1786.32/1790.96 c #Conflicts: 931000 | #Constraints: 306484
1786.32/1790.96 c #Conflicts: 932000 | #Constraints: 307484
1786.32/1790.96 c #Conflicts: 933000 | #Constraints: 308484
1786.32/1790.96 c #Conflicts: 934000 | #Constraints: 309484
1786.32/1790.96 c #Conflicts: 935000 | #Constraints: 310484
1786.32/1790.96 c #Conflicts: 936000 | #Constraints: 311484
1786.32/1790.96 c #Conflicts: 937000 | #Constraints: 312484
1786.32/1790.96 c #Conflicts: 938000 | #Constraints: 313484
1786.32/1790.96 c #Conflicts: 939000 | #Constraints: 314484
1786.32/1790.96 c #Conflicts: 940000 | #Constraints: 315484
1786.32/1790.96 c INPROCESSING
1786.32/1790.96 c GARBAGE COLLECT
1786.32/1790.96 c #Conflicts: 941000 | #Constraints: 260913
1786.32/1790.96 c #Conflicts: 942000 | #Constraints: 261913
1786.32/1790.96 c #Conflicts: 943000 | #Constraints: 262913
1786.32/1790.96 c #Conflicts: 944000 | #Constraints: 263913
1786.32/1790.96 c #Conflicts: 945000 | #Constraints: 264913
1786.32/1790.96 c #Conflicts: 946000 | #Constraints: 265913
1786.32/1790.96 c #Conflicts: 947000 | #Constraints: 266913
1786.32/1790.96 c #Conflicts: 948000 | #Constraints: 267913
1786.32/1790.96 c #Conflicts: 949000 | #Constraints: 268913
1786.32/1790.96 c #Conflicts: 950000 | #Constraints: 269913
1786.32/1790.96 c #Conflicts: 951000 | #Constraints: 270913
1786.32/1790.96 c #Conflicts: 952000 | #Constraints: 271913
1786.32/1790.96 c #Conflicts: 953000 | #Constraints: 272913
1786.32/1790.96 c #Conflicts: 954000 | #Constraints: 273913
1786.32/1790.96 c #Conflicts: 955000 | #Constraints: 274913
1786.32/1790.96 c #Conflicts: 956000 | #Constraints: 275913
1786.32/1790.96 c #Conflicts: 957000 | #Constraints: 276913
1786.32/1790.96 c #Conflicts: 958000 | #Constraints: 277913
1786.32/1790.96 c #Conflicts: 959000 | #Constraints: 278913
1786.32/1790.96 c #Conflicts: 960000 | #Constraints: 279913
1786.32/1790.96 c #Conflicts: 961000 | #Constraints: 280913
1786.32/1790.96 c #Conflicts: 962000 | #Constraints: 281913
1786.32/1790.96 c #Conflicts: 963000 | #Constraints: 282913
1786.32/1790.96 c #Conflicts: 964000 | #Constraints: 283913
1786.32/1790.96 c #Conflicts: 965000 | #Constraints: 284913
1786.32/1790.96 c #Conflicts: 966000 | #Constraints: 285913
1786.32/1790.96 c #Conflicts: 967000 | #Constraints: 286913
1786.32/1790.96 c #Conflicts: 968000 | #Constraints: 287913
1786.32/1790.96 c #Conflicts: 969000 | #Constraints: 288913
1786.32/1790.96 c #Conflicts: 970000 | #Constraints: 289913
1786.32/1790.96 c #Conflicts: 971000 | #Constraints: 290913
1786.32/1790.96 c #Conflicts: 972000 | #Constraints: 291913
1786.32/1790.96 c #Conflicts: 973000 | #Constraints: 292913
1786.32/1790.96 c #Conflicts: 974000 | #Constraints: 293913
1786.32/1790.96 c #Conflicts: 975000 | #Constraints: 294913
1786.32/1790.96 c #Conflicts: 976000 | #Constraints: 295913
1786.32/1790.96 c #Conflicts: 977000 | #Constraints: 296913
1786.32/1790.96 c #Conflicts: 978000 | #Constraints: 297913
1786.32/1790.96 c #Conflicts: 979000 | #Constraints: 298913
1850.42/1855.20 c #Conflicts: 980000 | #Constraints: 299913
1850.42/1855.20 c #Conflicts: 981000 | #Constraints: 300913
1850.42/1855.20 c #Conflicts: 982000 | #Constraints: 301913
1850.42/1855.20 c #Conflicts: 983000 | #Constraints: 302913
1850.42/1855.20 c #Conflicts: 984000 | #Constraints: 303913
1850.42/1855.20 c #Conflicts: 985000 | #Constraints: 304913
1850.42/1855.20 c #Conflicts: 986000 | #Constraints: 305913
1850.42/1855.20 c #Conflicts: 987000 | #Constraints: 306913
1850.42/1855.20 c #Conflicts: 988000 | #Constraints: 307913
1850.42/1855.20 c #Conflicts: 989000 | #Constraints: 308913
1850.42/1855.20 c #Conflicts: 990000 | #Constraints: 309913
1850.42/1855.20 c #Conflicts: 991000 | #Constraints: 310913
1850.42/1855.20 c #Conflicts: 992000 | #Constraints: 311913
1850.42/1855.20 c #Conflicts: 993000 | #Constraints: 312913
1850.42/1855.20 c #Conflicts: 994000 | #Constraints: 313913
1850.42/1855.20 c #Conflicts: 995000 | #Constraints: 314913
1850.42/1855.20 c #Conflicts: 996000 | #Constraints: 315913
1850.42/1855.20 c #Conflicts: 997000 | #Constraints: 316913
1850.42/1855.20 c #Conflicts: 998000 | #Constraints: 317913
1850.42/1855.20 c #Conflicts: 999000 | #Constraints: 318913
1850.42/1855.20 c #Conflicts: 1000000 | #Constraints: 319913
1850.42/1855.20 c #Conflicts: 1001000 | #Constraints: 320913
1850.42/1855.20 c #Conflicts: 1002000 | #Constraints: 321913
1850.42/1855.20 c #Conflicts: 1003000 | #Constraints: 322913
1850.42/1855.20 c INPROCESSING
1850.42/1855.20 c GARBAGE COLLECT
1850.42/1855.20 c #Conflicts: 1004000 | #Constraints: 264613
1850.42/1855.20 c #Conflicts: 1005000 | #Constraints: 265613
1850.42/1855.20 c #Conflicts: 1006000 | #Constraints: 266613
1850.42/1855.20 c #Conflicts: 1007000 | #Constraints: 267613
1850.42/1855.20 c #Conflicts: 1008000 | #Constraints: 268613
1850.42/1855.20 c #Conflicts: 1009000 | #Constraints: 269613
1850.42/1855.20 c #Conflicts: 1010000 | #Constraints: 270613
1850.42/1855.20 c #Conflicts: 1011000 | #Constraints: 271613
1850.42/1855.20 c #Conflicts: 1012000 | #Constraints: 272613
1850.42/1855.20 c #Conflicts: 1013000 | #Constraints: 273613
1850.42/1855.20 c #Conflicts: 1014000 | #Constraints: 274613
1850.42/1855.20 c #Conflicts: 1015000 | #Constraints: 275613
1850.42/1855.20 c #Conflicts: 1016000 | #Constraints: 276613
1850.42/1855.20 c #Conflicts: 1017000 | #Constraints: 277613
1850.42/1855.20 c #Conflicts: 1018000 | #Constraints: 278613
1850.42/1855.20 c #Conflicts: 1019000 | #Constraints: 279613
1850.42/1855.20 c #Conflicts: 1020000 | #Constraints: 280613
1850.42/1855.20 c #Conflicts: 1021000 | #Constraints: 281613
1850.42/1855.20 c #Conflicts: 1022000 | #Constraints: 282613
1850.42/1855.20 c #Conflicts: 1023000 | #Constraints: 283613
1850.42/1855.20 c #Conflicts: 1024000 | #Constraints: 284613
1850.42/1855.20 c #Conflicts: 1025000 | #Constraints: 285613
1850.42/1855.20 c #Conflicts: 1026000 | #Constraints: 286613
1850.42/1855.20 c #Conflicts: 1027000 | #Constraints: 287613
1850.42/1855.20 c #Conflicts: 1028000 | #Constraints: 288613
1850.42/1855.20 c #Conflicts: 1029000 | #Constraints: 289613
1850.42/1855.20 c #Conflicts: 1030000 | #Constraints: 290613
1850.42/1855.20 c #Conflicts: 1031000 | #Constraints: 291613
1850.42/1855.20 c #Conflicts: 1032000 | #Constraints: 292613
1850.42/1855.20 c #Conflicts: 1033000 | #Constraints: 293613
1850.42/1855.20 c #Conflicts: 1034000 | #Constraints: 294613
1850.42/1855.20 c #Conflicts: 1035000 | #Constraints: 295613
1850.42/1855.20 c #Conflicts: 1036000 | #Constraints: 296613
1850.42/1855.20 c #Conflicts: 1037000 | #Constraints: 297613
1850.42/1855.20 c #Conflicts: 1038000 | #Constraints: 298613
1850.42/1855.20 c #Conflicts: 1039000 | #Constraints: 299613
1850.42/1855.20 c #Conflicts: 1040000 | #Constraints: 300613
1850.42/1855.20 c #Conflicts: 1041000 | #Constraints: 301613
1850.42/1855.20 c #Conflicts: 1042000 | #Constraints: 302613
1850.42/1855.20 c #Conflicts: 1043000 | #Constraints: 303613
1850.42/1855.20 c #Conflicts: 1044000 | #Constraints: 304613
1850.42/1855.20 c #Conflicts: 1045000 | #Constraints: 305613
1850.42/1855.20 c #Conflicts: 1046000 | #Constraints: 306613
1850.42/1855.20 c #Conflicts: 1047000 | #Constraints: 307613
1850.42/1855.20 c #Conflicts: 1048000 | #Constraints: 308613
1850.42/1855.20 c #Conflicts: 1049000 | #Constraints: 309613
1850.42/1855.20 c #Conflicts: 1050000 | #Constraints: 310613
1850.42/1855.20 c #Conflicts: 1051000 | #Constraints: 311613
1850.42/1855.20 c #Conflicts: 1052000 | #Constraints: 312613
1850.42/1855.20 c #Conflicts: 1053000 | #Constraints: 313613
1850.42/1855.20 c #Conflicts: 1054000 | #Constraints: 314613
1850.42/1855.20 c #Conflicts: 1055000 | #Constraints: 315613
1850.42/1855.20 c #Conflicts: 1056000 | #Constraints: 316613
1850.42/1855.20 c #Conflicts: 1057000 | #Constraints: 317613
1931.77/1936.85 c #Conflicts: 1058000 | #Constraints: 318613
1931.77/1936.85 c #Conflicts: 1059000 | #Constraints: 319613
1931.77/1936.85 c #Conflicts: 1060000 | #Constraints: 320613
1931.77/1936.85 c #Conflicts: 1061000 | #Constraints: 321613
1931.77/1936.85 c #Conflicts: 1062000 | #Constraints: 322613
1931.77/1936.85 c #Conflicts: 1063000 | #Constraints: 323613
1931.77/1936.85 c #Conflicts: 1064000 | #Constraints: 324613
1931.77/1936.85 c #Conflicts: 1065000 | #Constraints: 325613
1931.77/1936.85 c #Conflicts: 1066000 | #Constraints: 326613
1931.77/1936.85 c #Conflicts: 1067000 | #Constraints: 327613
1931.77/1936.85 c INPROCESSING
1931.77/1936.85 c GARBAGE COLLECT
1931.77/1936.85 c #Conflicts: 1068000 | #Constraints: 268326
1931.77/1936.85 c #Conflicts: 1069000 | #Constraints: 269326
1931.77/1936.85 c #Conflicts: 1070000 | #Constraints: 270326
1931.77/1936.85 c #Conflicts: 1071000 | #Constraints: 271326
1931.77/1936.85 c #Conflicts: 1072000 | #Constraints: 272326
1931.77/1936.85 c #Conflicts: 1073000 | #Constraints: 273326
1931.77/1936.85 c #Conflicts: 1074000 | #Constraints: 274326
1931.77/1936.85 c #Conflicts: 1075000 | #Constraints: 275326
1931.77/1936.85 c #Conflicts: 1076000 | #Constraints: 276326
1931.77/1936.85 c #Conflicts: 1077000 | #Constraints: 277326
1931.77/1936.85 c #Conflicts: 1078000 | #Constraints: 278326
1931.77/1936.85 c #Conflicts: 1079000 | #Constraints: 279326
1931.77/1936.85 c #Conflicts: 1080000 | #Constraints: 280326
1931.77/1936.85 c #Conflicts: 1081000 | #Constraints: 281326
1931.77/1936.85 c #Conflicts: 1082000 | #Constraints: 282326
1931.77/1936.85 c #Conflicts: 1083000 | #Constraints: 283326
1931.77/1936.85 c #Conflicts: 1084000 | #Constraints: 284326
1931.77/1936.85 c #Conflicts: 1085000 | #Constraints: 285326
1931.77/1936.85 c #Conflicts: 1086000 | #Constraints: 286326
1931.77/1936.85 c #Conflicts: 1087000 | #Constraints: 287326
1931.77/1936.85 c #Conflicts: 1088000 | #Constraints: 288326
1931.77/1936.85 c #Conflicts: 1089000 | #Constraints: 289326
1931.77/1936.85 c #Conflicts: 1090000 | #Constraints: 290326
1931.77/1936.85 c #Conflicts: 1091000 | #Constraints: 291326
1931.77/1936.85 c #Conflicts: 1092000 | #Constraints: 292326
1931.77/1936.85 c #Conflicts: 1093000 | #Constraints: 293326
1931.77/1936.85 c #Conflicts: 1094000 | #Constraints: 294326
1931.77/1936.85 c #Conflicts: 1095000 | #Constraints: 295326
1931.77/1936.85 c #Conflicts: 1096000 | #Constraints: 296326
1931.77/1936.85 c #Conflicts: 1097000 | #Constraints: 297326
1931.77/1936.85 c #Conflicts: 1098000 | #Constraints: 298326
1931.77/1936.85 c #Conflicts: 1099000 | #Constraints: 299326
1931.77/1936.85 c #Conflicts: 1100000 | #Constraints: 300326
1931.77/1936.85 c #Conflicts: 1101000 | #Constraints: 301326
1931.77/1936.85 c #Conflicts: 1102000 | #Constraints: 302326
1931.77/1936.85 c #Conflicts: 1103000 | #Constraints: 303326
1931.77/1936.85 c #Conflicts: 1104000 | #Constraints: 304326
1931.77/1936.85 c #Conflicts: 1105000 | #Constraints: 305326
1931.77/1936.85 c #Conflicts: 1106000 | #Constraints: 306326
1931.77/1936.85 c #Conflicts: 1107000 | #Constraints: 307326
1931.77/1936.85 c #Conflicts: 1108000 | #Constraints: 308326
1931.77/1936.85 c #Conflicts: 1109000 | #Constraints: 309326
1931.77/1936.85 c #Conflicts: 1110000 | #Constraints: 310326
1931.77/1936.85 c #Conflicts: 1111000 | #Constraints: 311326
1931.77/1936.85 c #Conflicts: 1112000 | #Constraints: 312326
1931.77/1936.85 c #Conflicts: 1113000 | #Constraints: 313326
1931.77/1936.85 c #Conflicts: 1114000 | #Constraints: 314326
1931.77/1936.85 c #Conflicts: 1115000 | #Constraints: 315326
1931.77/1936.85 c #Conflicts: 1116000 | #Constraints: 316326
1931.77/1936.85 c #Conflicts: 1117000 | #Constraints: 317326
1931.77/1936.85 c #Conflicts: 1118000 | #Constraints: 318326
1931.77/1936.85 c #Conflicts: 1119000 | #Constraints: 319326
1931.77/1936.85 c #Conflicts: 1120000 | #Constraints: 320326
1931.77/1936.85 c #Conflicts: 1121000 | #Constraints: 321326
1931.77/1936.85 c #Conflicts: 1122000 | #Constraints: 322326
1931.77/1936.85 c #Conflicts: 1123000 | #Constraints: 323326
1931.77/1936.85 c #Conflicts: 1124000 | #Constraints: 324326
1931.77/1936.85 c #Conflicts: 1125000 | #Constraints: 325326
1931.77/1936.85 c #Conflicts: 1126000 | #Constraints: 326326
1931.77/1936.85 c #Conflicts: 1127000 | #Constraints: 327326
1931.77/1936.85 c #Conflicts: 1128000 | #Constraints: 328326
1931.77/1936.85 c #Conflicts: 1129000 | #Constraints: 329326
1931.77/1936.85 c #Conflicts: 1130000 | #Constraints: 330326
1931.77/1936.85 c #Conflicts: 1131000 | #Constraints: 331326
1931.77/1936.85 c #Conflicts: 1132000 | #Constraints: 332326
1931.77/1936.85 c #Conflicts: 1133000 | #Constraints: 333326
1931.77/1936.85 c #Conflicts: 1134000 | #Constraints: 334326
1931.77/1936.85 c INPROCESSING
1931.77/1936.85 c GARBAGE COLLECT
2005.39/2010.63 c #Conflicts: 1135000 | #Constraints: 272157
2005.39/2010.63 c #Conflicts: 1136000 | #Constraints: 273157
2005.39/2010.63 c #Conflicts: 1137000 | #Constraints: 274157
2005.39/2010.63 c #Conflicts: 1138000 | #Constraints: 275157
2005.39/2010.63 c #Conflicts: 1139000 | #Constraints: 276157
2005.39/2010.63 c #Conflicts: 1140000 | #Constraints: 277157
2005.39/2010.63 c #Conflicts: 1141000 | #Constraints: 278157
2005.39/2010.63 c #Conflicts: 1142000 | #Constraints: 279157
2005.39/2010.63 c #Conflicts: 1143000 | #Constraints: 280157
2005.39/2010.63 c #Conflicts: 1144000 | #Constraints: 281157
2005.39/2010.63 c #Conflicts: 1145000 | #Constraints: 282157
2005.39/2010.63 c #Conflicts: 1146000 | #Constraints: 283157
2005.39/2010.63 c #Conflicts: 1147000 | #Constraints: 284157
2005.39/2010.63 c #Conflicts: 1148000 | #Constraints: 285157
2005.39/2010.63 c #Conflicts: 1149000 | #Constraints: 286157
2005.39/2010.63 c #Conflicts: 1150000 | #Constraints: 287157
2005.39/2010.63 c #Conflicts: 1151000 | #Constraints: 288157
2005.39/2010.63 c #Conflicts: 1152000 | #Constraints: 289157
2005.39/2010.63 c #Conflicts: 1153000 | #Constraints: 290157
2005.39/2010.63 c #Conflicts: 1154000 | #Constraints: 291157
2005.39/2010.63 c #Conflicts: 1155000 | #Constraints: 292157
2005.39/2010.63 c #Conflicts: 1156000 | #Constraints: 293157
2005.39/2010.63 c #Conflicts: 1157000 | #Constraints: 294157
2005.39/2010.63 c #Conflicts: 1158000 | #Constraints: 295157
2005.39/2010.63 c #Conflicts: 1159000 | #Constraints: 296157
2005.39/2010.63 c #Conflicts: 1160000 | #Constraints: 297157
2005.39/2010.63 c #Conflicts: 1161000 | #Constraints: 298157
2005.39/2010.63 c #Conflicts: 1162000 | #Constraints: 299157
2005.39/2010.63 c #Conflicts: 1163000 | #Constraints: 300157
2005.39/2010.63 c #Conflicts: 1164000 | #Constraints: 301157
2005.39/2010.63 c #Conflicts: 1165000 | #Constraints: 302157
2005.39/2010.63 c #Conflicts: 1166000 | #Constraints: 303157
2005.39/2010.63 c #Conflicts: 1167000 | #Constraints: 304157
2005.39/2010.63 c #Conflicts: 1168000 | #Constraints: 305157
2005.39/2010.63 c #Conflicts: 1169000 | #Constraints: 306157
2005.39/2010.63 c #Conflicts: 1170000 | #Constraints: 307157
2005.39/2010.63 c #Conflicts: 1171000 | #Constraints: 308157
2005.39/2010.63 c #Conflicts: 1172000 | #Constraints: 309157
2005.39/2010.63 c #Conflicts: 1173000 | #Constraints: 310157
2005.39/2010.63 c #Conflicts: 1174000 | #Constraints: 311157
2005.39/2010.63 c #Conflicts: 1175000 | #Constraints: 312157
2005.39/2010.63 c #Conflicts: 1176000 | #Constraints: 313157
2005.39/2010.63 c #Conflicts: 1177000 | #Constraints: 314157
2005.39/2010.63 c #Conflicts: 1178000 | #Constraints: 315157
2005.39/2010.63 c #Conflicts: 1179000 | #Constraints: 316157
2005.39/2010.63 c #Conflicts: 1180000 | #Constraints: 317157
2005.39/2010.63 c #Conflicts: 1181000 | #Constraints: 318157
2005.39/2010.63 c #Conflicts: 1182000 | #Constraints: 319157
2005.39/2010.63 c #Conflicts: 1183000 | #Constraints: 320157
2005.39/2010.63 c #Conflicts: 1184000 | #Constraints: 321157
2005.39/2010.63 c #Conflicts: 1185000 | #Constraints: 322157
2005.39/2010.63 c #Conflicts: 1186000 | #Constraints: 323157
2005.39/2010.63 c #Conflicts: 1187000 | #Constraints: 324157
2005.39/2010.63 c #Conflicts: 1188000 | #Constraints: 325157
2005.39/2010.63 c #Conflicts: 1189000 | #Constraints: 326157
2005.39/2010.63 c #Conflicts: 1190000 | #Constraints: 327157
2005.39/2010.63 c #Conflicts: 1191000 | #Constraints: 328157
2005.39/2010.63 c #Conflicts: 1192000 | #Constraints: 329157
2005.39/2010.63 c #Conflicts: 1193000 | #Constraints: 330157
2005.39/2010.63 c #Conflicts: 1194000 | #Constraints: 331157
2005.39/2010.63 c #Conflicts: 1195000 | #Constraints: 332157
2005.39/2010.63 c #Conflicts: 1196000 | #Constraints: 333157
2005.39/2010.63 c #Conflicts: 1197000 | #Constraints: 334157
2005.39/2010.63 c #Conflicts: 1198000 | #Constraints: 335157
2005.39/2010.63 c #Conflicts: 1199000 | #Constraints: 336157
2005.39/2010.63 c #Conflicts: 1200000 | #Constraints: 337157
2005.39/2010.63 c #Conflicts: 1201000 | #Constraints: 338157
2005.39/2010.63 c #Conflicts: 1202000 | #Constraints: 339157
2005.39/2010.63 c INPROCESSING
2005.39/2010.63 c GARBAGE COLLECT
2005.39/2010.63 c #Conflicts: 1203000 | #Constraints: 277867
2005.39/2010.63 c #Conflicts: 1204000 | #Constraints: 278867
2005.39/2010.63 c #Conflicts: 1205000 | #Constraints: 279867
2005.39/2010.63 c #Conflicts: 1206000 | #Constraints: 280867
2005.39/2010.63 c #Conflicts: 1207000 | #Constraints: 281867
2005.39/2010.63 c #Conflicts: 1208000 | #Constraints: 282867
2005.39/2010.63 c #Conflicts: 1209000 | #Constraints: 283867
2005.39/2010.63 c #Conflicts: 1210000 | #Constraints: 284867
2005.39/2010.63 c #Conflicts: 1211000 | #Constraints: 285867
2005.39/2010.63 c #Conflicts: 1212000 | #Constraints: 286867
2005.39/2010.63 c #Conflicts: 1213000 | #Constraints: 287867
2419.64/2425.88 c #Conflicts: 1214000 | #Constraints: 288867
2419.64/2425.88 c #Conflicts: 1215000 | #Constraints: 289867
2419.64/2425.88 c #Conflicts: 1216000 | #Constraints: 290867
2419.64/2425.88 c #Conflicts: 1217000 | #Constraints: 291867
2419.64/2425.88 c #Conflicts: 1218000 | #Constraints: 292867
2419.64/2425.88 c #Conflicts: 1219000 | #Constraints: 293867
2419.64/2425.88 c #Conflicts: 1220000 | #Constraints: 294867
2419.64/2425.88 c #Conflicts: 1221000 | #Constraints: 295867
2419.64/2425.88 c #Conflicts: 1222000 | #Constraints: 296867
2419.64/2425.88 c #Conflicts: 1223000 | #Constraints: 297867
2419.64/2425.88 c #Conflicts: 1224000 | #Constraints: 298867
2419.64/2425.88 c #Conflicts: 1225000 | #Constraints: 299867
2419.64/2425.88 c #Conflicts: 1226000 | #Constraints: 300867
2419.64/2425.88 c #Conflicts: 1227000 | #Constraints: 301867
2419.64/2425.88 c #Conflicts: 1228000 | #Constraints: 302867
2419.64/2425.88 c #Conflicts: 1229000 | #Constraints: 303867
2419.64/2425.88 c #Conflicts: 1230000 | #Constraints: 304867
2419.64/2425.88 c #Conflicts: 1231000 | #Constraints: 305867
2419.64/2425.88 c #Conflicts: 1232000 | #Constraints: 306867
2419.64/2425.88 c #Conflicts: 1233000 | #Constraints: 307867
2419.64/2425.88 c #Conflicts: 1234000 | #Constraints: 308867
2419.64/2425.88 c #Conflicts: 1235000 | #Constraints: 309867
2419.64/2425.88 c #Conflicts: 1236000 | #Constraints: 310867
2419.64/2425.88 c #Conflicts: 1237000 | #Constraints: 311867
2419.64/2425.88 c #Conflicts: 1238000 | #Constraints: 312867
2419.64/2425.88 c #Conflicts: 1239000 | #Constraints: 313867
2419.64/2425.88 c #Conflicts: 1240000 | #Constraints: 314867
2419.64/2425.88 c #Conflicts: 1241000 | #Constraints: 315867
2419.64/2425.88 c #Conflicts: 1242000 | #Constraints: 316867
2419.64/2425.88 c #Conflicts: 1243000 | #Constraints: 317867
2419.64/2425.88 c #Conflicts: 1244000 | #Constraints: 318867
2419.64/2425.88 c #Conflicts: 1245000 | #Constraints: 319867
2419.64/2425.88 c #Conflicts: 1246000 | #Constraints: 320867
2419.64/2425.88 c #Conflicts: 1247000 | #Constraints: 321867
2419.64/2425.88 c #Conflicts: 1248000 | #Constraints: 322867
2419.64/2425.88 c #Conflicts: 1249000 | #Constraints: 323867
2419.64/2425.88 c #Conflicts: 1250000 | #Constraints: 324867
2419.64/2425.88 c #Conflicts: 1251000 | #Constraints: 325867
2419.64/2425.88 c #Conflicts: 1252000 | #Constraints: 326867
2419.64/2425.88 c #Conflicts: 1253000 | #Constraints: 327867
2419.64/2425.88 c #Conflicts: 1254000 | #Constraints: 328867
2419.64/2425.88 c #Conflicts: 1255000 | #Constraints: 329867
2419.64/2425.88 c #Conflicts: 1256000 | #Constraints: 330867
2419.64/2425.88 c #Conflicts: 1257000 | #Constraints: 331867
2419.64/2425.88 c #Conflicts: 1258000 | #Constraints: 332867
2419.64/2425.88 c #Conflicts: 1259000 | #Constraints: 333867
2419.64/2425.88 c #Conflicts: 1260000 | #Constraints: 334867
2419.64/2425.88 c #Conflicts: 1261000 | #Constraints: 335867
2419.64/2425.88 c #Conflicts: 1262000 | #Constraints: 336867
2419.64/2425.88 c #Conflicts: 1263000 | #Constraints: 337867
2419.64/2425.88 c #Conflicts: 1264000 | #Constraints: 338867
2419.64/2425.88 c #Conflicts: 1265000 | #Constraints: 339867
2419.64/2425.88 c #Conflicts: 1266000 | #Constraints: 340867
2419.64/2425.88 c #Conflicts: 1267000 | #Constraints: 341867
2419.64/2425.88 c #Conflicts: 1268000 | #Constraints: 342867
2419.64/2425.88 c #Conflicts: 1269000 | #Constraints: 343867
2419.64/2425.88 c #Conflicts: 1270000 | #Constraints: 344867
2419.64/2425.88 c #Conflicts: 1271000 | #Constraints: 345867
2419.64/2425.88 c #Conflicts: 1272000 | #Constraints: 346867
2419.64/2425.88 c INPROCESSING
2419.64/2425.88 c GARBAGE COLLECT
2419.64/2425.88 c rational objective 25457.7
2488.66/2495.02 c #Conflicts: 1273000 | #Constraints: 282431
2488.66/2495.02 c #Conflicts: 1274000 | #Constraints: 283431
2488.66/2495.02 c #Conflicts: 1275000 | #Constraints: 284431
2488.66/2495.02 c #Conflicts: 1276000 | #Constraints: 285431
2488.66/2495.02 c #Conflicts: 1277000 | #Constraints: 286431
2488.66/2495.02 c #Conflicts: 1278000 | #Constraints: 287431
2488.66/2495.02 c #Conflicts: 1279000 | #Constraints: 288431
2488.66/2495.02 c #Conflicts: 1280000 | #Constraints: 289431
2488.66/2495.02 c #Conflicts: 1281000 | #Constraints: 290431
2488.66/2495.02 c #Conflicts: 1282000 | #Constraints: 291431
2488.66/2495.02 c #Conflicts: 1283000 | #Constraints: 292431
2488.66/2495.02 c #Conflicts: 1284000 | #Constraints: 293431
2488.66/2495.02 c #Conflicts: 1285000 | #Constraints: 294431
2488.66/2495.02 c #Conflicts: 1286000 | #Constraints: 295431
2488.66/2495.02 c #Conflicts: 1287000 | #Constraints: 296431
2488.66/2495.02 c #Conflicts: 1288000 | #Constraints: 297431
2488.66/2495.02 c #Conflicts: 1289000 | #Constraints: 298431
2488.66/2495.02 c #Conflicts: 1290000 | #Constraints: 299431
2488.66/2495.02 c #Conflicts: 1291000 | #Constraints: 300431
2488.66/2495.02 c #Conflicts: 1292000 | #Constraints: 301431
2488.66/2495.02 c #Conflicts: 1293000 | #Constraints: 302431
2488.66/2495.02 c #Conflicts: 1294000 | #Constraints: 303431
2488.66/2495.02 c #Conflicts: 1295000 | #Constraints: 304431
2488.66/2495.02 c #Conflicts: 1296000 | #Constraints: 305431
2488.66/2495.02 c #Conflicts: 1297000 | #Constraints: 306431
2488.66/2495.02 c #Conflicts: 1298000 | #Constraints: 307431
2488.66/2495.02 c #Conflicts: 1299000 | #Constraints: 308431
2488.66/2495.02 c #Conflicts: 1300000 | #Constraints: 309431
2488.66/2495.02 c #Conflicts: 1301000 | #Constraints: 310431
2488.66/2495.02 c #Conflicts: 1302000 | #Constraints: 311431
2488.66/2495.02 c #Conflicts: 1303000 | #Constraints: 312431
2488.66/2495.02 c #Conflicts: 1304000 | #Constraints: 313431
2488.66/2495.02 c #Conflicts: 1305000 | #Constraints: 314431
2488.66/2495.02 c #Conflicts: 1306000 | #Constraints: 315431
2488.66/2495.02 c #Conflicts: 1307000 | #Constraints: 316431
2488.66/2495.02 c #Conflicts: 1308000 | #Constraints: 317431
2488.66/2495.02 c #Conflicts: 1309000 | #Constraints: 318431
2488.66/2495.02 c #Conflicts: 1310000 | #Constraints: 319431
2488.66/2495.02 c #Conflicts: 1311000 | #Constraints: 320431
2488.66/2495.02 c #Conflicts: 1312000 | #Constraints: 321431
2488.66/2495.02 c #Conflicts: 1313000 | #Constraints: 322431
2488.66/2495.02 c #Conflicts: 1314000 | #Constraints: 323431
2488.66/2495.02 c #Conflicts: 1315000 | #Constraints: 324431
2488.66/2495.02 c #Conflicts: 1316000 | #Constraints: 325431
2488.66/2495.02 c #Conflicts: 1317000 | #Constraints: 326431
2488.66/2495.02 c #Conflicts: 1318000 | #Constraints: 327431
2488.66/2495.02 c #Conflicts: 1319000 | #Constraints: 328431
2488.66/2495.02 c #Conflicts: 1320000 | #Constraints: 329431
2488.66/2495.02 c #Conflicts: 1321000 | #Constraints: 330431
2488.66/2495.02 c #Conflicts: 1322000 | #Constraints: 331431
2488.66/2495.02 c #Conflicts: 1323000 | #Constraints: 332431
2488.66/2495.02 c #Conflicts: 1324000 | #Constraints: 333431
2488.66/2495.02 c #Conflicts: 1325000 | #Constraints: 334431
2488.66/2495.02 c #Conflicts: 1326000 | #Constraints: 335431
2488.66/2495.02 c #Conflicts: 1327000 | #Constraints: 336431
2488.66/2495.02 c #Conflicts: 1328000 | #Constraints: 337431
2488.66/2495.02 c #Conflicts: 1329000 | #Constraints: 338431
2488.66/2495.02 c #Conflicts: 1330000 | #Constraints: 339431
2488.66/2495.02 c #Conflicts: 1331000 | #Constraints: 340431
2488.66/2495.02 c #Conflicts: 1332000 | #Constraints: 341431
2488.66/2495.02 c #Conflicts: 1333000 | #Constraints: 342431
2488.66/2495.02 c #Conflicts: 1334000 | #Constraints: 343431
2488.66/2495.02 c #Conflicts: 1335000 | #Constraints: 344431
2488.66/2495.02 c #Conflicts: 1336000 | #Constraints: 345431
2488.66/2495.02 c #Conflicts: 1337000 | #Constraints: 346431
2488.66/2495.02 c #Conflicts: 1338000 | #Constraints: 347431
2488.66/2495.02 c #Conflicts: 1339000 | #Constraints: 348431
2488.66/2495.02 c #Conflicts: 1340000 | #Constraints: 349431
2488.66/2495.02 c #Conflicts: 1341000 | #Constraints: 350431
2488.66/2495.02 c #Conflicts: 1342000 | #Constraints: 351431
2488.66/2495.02 c #Conflicts: 1343000 | #Constraints: 352431
2488.66/2495.02 c #Conflicts: 1344000 | #Constraints: 353431
2488.66/2495.02 c #Conflicts: 1345000 | #Constraints: 354431
2488.66/2495.02 c INPROCESSING
2488.66/2495.02 c GARBAGE COLLECT
2488.66/2495.02 c #Conflicts: 1346000 | #Constraints: 287982
2488.66/2495.02 c #Conflicts: 1347000 | #Constraints: 288982
2488.66/2495.02 c #Conflicts: 1348000 | #Constraints: 289982
2488.66/2495.02 c #Conflicts: 1349000 | #Constraints: 290982
2488.66/2495.02 c #Conflicts: 1350000 | #Constraints: 291982
2488.66/2495.02 c #Conflicts: 1351000 | #Constraints: 292982
2616.14/2622.86 c #Conflicts: 1352000 | #Constraints: 293982
2616.14/2622.86 c #Conflicts: 1353000 | #Constraints: 294982
2616.14/2622.86 c #Conflicts: 1354000 | #Constraints: 295982
2616.14/2622.86 c #Conflicts: 1355000 | #Constraints: 296982
2616.14/2622.86 c #Conflicts: 1356000 | #Constraints: 297982
2616.14/2622.86 c #Conflicts: 1357000 | #Constraints: 298982
2616.14/2622.86 c #Conflicts: 1358000 | #Constraints: 299982
2616.14/2622.86 c #Conflicts: 1359000 | #Constraints: 300982
2616.14/2622.86 c #Conflicts: 1360000 | #Constraints: 301982
2616.14/2622.86 c #Conflicts: 1361000 | #Constraints: 302982
2616.14/2622.86 c #Conflicts: 1362000 | #Constraints: 303982
2616.14/2622.86 c #Conflicts: 1363000 | #Constraints: 304982
2616.14/2622.86 c #Conflicts: 1364000 | #Constraints: 305982
2616.14/2622.86 c #Conflicts: 1365000 | #Constraints: 306982
2616.14/2622.86 c #Conflicts: 1366000 | #Constraints: 307982
2616.14/2622.86 c #Conflicts: 1367000 | #Constraints: 308982
2616.14/2622.86 c #Conflicts: 1368000 | #Constraints: 309982
2616.14/2622.86 c #Conflicts: 1369000 | #Constraints: 310982
2616.14/2622.86 c #Conflicts: 1370000 | #Constraints: 311982
2616.14/2622.86 c #Conflicts: 1371000 | #Constraints: 312982
2616.14/2622.86 c #Conflicts: 1372000 | #Constraints: 313982
2616.14/2622.86 c #Conflicts: 1373000 | #Constraints: 314982
2616.14/2622.86 c #Conflicts: 1374000 | #Constraints: 315982
2616.14/2622.86 c #Conflicts: 1375000 | #Constraints: 316982
2616.14/2622.86 c #Conflicts: 1376000 | #Constraints: 317982
2616.14/2622.86 c #Conflicts: 1377000 | #Constraints: 318982
2616.14/2622.86 c #Conflicts: 1378000 | #Constraints: 319982
2616.14/2622.86 c #Conflicts: 1379000 | #Constraints: 320982
2616.14/2622.86 c #Conflicts: 1380000 | #Constraints: 321982
2616.14/2622.86 c #Conflicts: 1381000 | #Constraints: 322982
2616.14/2622.86 c #Conflicts: 1382000 | #Constraints: 323982
2616.14/2622.86 c #Conflicts: 1383000 | #Constraints: 324982
2616.14/2622.86 c #Conflicts: 1384000 | #Constraints: 325982
2616.14/2622.86 c #Conflicts: 1385000 | #Constraints: 326982
2616.14/2622.86 c #Conflicts: 1386000 | #Constraints: 327982
2616.14/2622.86 c #Conflicts: 1387000 | #Constraints: 328982
2616.14/2622.86 c #Conflicts: 1388000 | #Constraints: 329982
2616.14/2622.86 c #Conflicts: 1389000 | #Constraints: 330982
2616.14/2622.86 c #Conflicts: 1390000 | #Constraints: 331982
2616.14/2622.86 c #Conflicts: 1391000 | #Constraints: 332982
2616.14/2622.86 c #Conflicts: 1392000 | #Constraints: 333982
2616.14/2622.86 c #Conflicts: 1393000 | #Constraints: 334982
2616.14/2622.86 c #Conflicts: 1394000 | #Constraints: 335982
2616.14/2622.86 c #Conflicts: 1395000 | #Constraints: 336982
2616.14/2622.86 c #Conflicts: 1396000 | #Constraints: 337982
2616.14/2622.86 c #Conflicts: 1397000 | #Constraints: 338982
2616.14/2622.86 c #Conflicts: 1398000 | #Constraints: 339982
2616.14/2622.86 c #Conflicts: 1399000 | #Constraints: 340982
2616.14/2622.86 c #Conflicts: 1400000 | #Constraints: 341982
2616.14/2622.86 c #Conflicts: 1401000 | #Constraints: 342982
2616.14/2622.86 c #Conflicts: 1402000 | #Constraints: 343982
2616.14/2622.86 c #Conflicts: 1403000 | #Constraints: 344982
2616.14/2622.86 c #Conflicts: 1404000 | #Constraints: 345982
2616.14/2622.86 c #Conflicts: 1405000 | #Constraints: 346982
2616.14/2622.86 c #Conflicts: 1406000 | #Constraints: 347982
2616.14/2622.86 c #Conflicts: 1407000 | #Constraints: 348982
2616.14/2622.86 c #Conflicts: 1408000 | #Constraints: 349982
2616.14/2622.86 c #Conflicts: 1409000 | #Constraints: 350982
2616.14/2622.86 c #Conflicts: 1410000 | #Constraints: 351982
2616.14/2622.87 c #Conflicts: 1411000 | #Constraints: 352982
2616.14/2622.87 c #Conflicts: 1412000 | #Constraints: 353982
2616.14/2622.87 c #Conflicts: 1413000 | #Constraints: 354982
2616.14/2622.87 c #Conflicts: 1414000 | #Constraints: 355982
2616.14/2622.87 c #Conflicts: 1415000 | #Constraints: 356982
2616.14/2622.87 c #Conflicts: 1416000 | #Constraints: 357982
2616.14/2622.87 c #Conflicts: 1417000 | #Constraints: 358982
2616.14/2622.87 c #Conflicts: 1418000 | #Constraints: 359982
2616.14/2622.87 c #Conflicts: 1419000 | #Constraints: 360982
2616.14/2622.87 c INPROCESSING
2616.14/2622.87 c GARBAGE COLLECT
2616.14/2622.87 c #Conflicts: 1420000 | #Constraints: 293148
2616.14/2622.87 c #Conflicts: 1421000 | #Constraints: 294148
2616.14/2622.87 c #Conflicts: 1422000 | #Constraints: 295148
2616.14/2622.87 c #Conflicts: 1423000 | #Constraints: 296148
2616.14/2622.87 c #Conflicts: 1424000 | #Constraints: 297148
2616.14/2622.87 c #Conflicts: 1425000 | #Constraints: 298148
2616.14/2622.87 c #Conflicts: 1426000 | #Constraints: 299148
2616.14/2622.87 c #Conflicts: 1427000 | #Constraints: 300148
2616.14/2622.87 c #Conflicts: 1428000 | #Constraints: 301148
2616.14/2622.87 c #Conflicts: 1429000 | #Constraints: 302148
2684.17/2691.02 c #Conflicts: 1430000 | #Constraints: 303148
2684.17/2691.02 c #Conflicts: 1431000 | #Constraints: 304148
2684.17/2691.02 c #Conflicts: 1432000 | #Constraints: 305148
2684.17/2691.02 c #Conflicts: 1433000 | #Constraints: 306148
2684.17/2691.02 c #Conflicts: 1434000 | #Constraints: 307148
2684.17/2691.02 c #Conflicts: 1435000 | #Constraints: 308148
2684.17/2691.02 c #Conflicts: 1436000 | #Constraints: 309148
2684.17/2691.02 c #Conflicts: 1437000 | #Constraints: 310148
2684.17/2691.02 c #Conflicts: 1438000 | #Constraints: 311148
2684.17/2691.02 c #Conflicts: 1439000 | #Constraints: 312148
2684.17/2691.02 c #Conflicts: 1440000 | #Constraints: 313148
2684.17/2691.02 c #Conflicts: 1441000 | #Constraints: 314148
2684.17/2691.02 c #Conflicts: 1442000 | #Constraints: 315148
2684.17/2691.02 c #Conflicts: 1443000 | #Constraints: 316148
2684.17/2691.02 c #Conflicts: 1444000 | #Constraints: 317148
2684.17/2691.02 c #Conflicts: 1445000 | #Constraints: 318148
2684.17/2691.02 c #Conflicts: 1446000 | #Constraints: 319148
2684.17/2691.02 c #Conflicts: 1447000 | #Constraints: 320148
2684.17/2691.02 c #Conflicts: 1448000 | #Constraints: 321148
2684.17/2691.02 c #Conflicts: 1449000 | #Constraints: 322148
2684.17/2691.02 c #Conflicts: 1450000 | #Constraints: 323148
2684.17/2691.02 c #Conflicts: 1451000 | #Constraints: 324148
2684.17/2691.02 c #Conflicts: 1452000 | #Constraints: 325148
2684.17/2691.02 c #Conflicts: 1453000 | #Constraints: 326148
2684.17/2691.02 c #Conflicts: 1454000 | #Constraints: 327148
2684.17/2691.02 c #Conflicts: 1455000 | #Constraints: 328148
2684.17/2691.02 c #Conflicts: 1456000 | #Constraints: 329148
2684.17/2691.02 c #Conflicts: 1457000 | #Constraints: 330148
2684.17/2691.02 c #Conflicts: 1458000 | #Constraints: 331148
2684.17/2691.02 c #Conflicts: 1459000 | #Constraints: 332148
2684.17/2691.02 c #Conflicts: 1460000 | #Constraints: 333148
2684.17/2691.02 c #Conflicts: 1461000 | #Constraints: 334148
2684.17/2691.02 c #Conflicts: 1462000 | #Constraints: 335148
2684.17/2691.02 c #Conflicts: 1463000 | #Constraints: 336148
2684.17/2691.02 c #Conflicts: 1464000 | #Constraints: 337148
2684.17/2691.02 c #Conflicts: 1465000 | #Constraints: 338148
2684.17/2691.02 c #Conflicts: 1466000 | #Constraints: 339148
2684.17/2691.02 c #Conflicts: 1467000 | #Constraints: 340148
2684.17/2691.02 c #Conflicts: 1468000 | #Constraints: 341148
2684.17/2691.02 c #Conflicts: 1469000 | #Constraints: 342148
2684.17/2691.02 c #Conflicts: 1470000 | #Constraints: 343148
2684.17/2691.02 c #Conflicts: 1471000 | #Constraints: 344148
2684.17/2691.02 c #Conflicts: 1472000 | #Constraints: 345148
2684.17/2691.02 c #Conflicts: 1473000 | #Constraints: 346148
2684.17/2691.02 c #Conflicts: 1474000 | #Constraints: 347148
2684.17/2691.02 c #Conflicts: 1475000 | #Constraints: 348148
2684.17/2691.02 c #Conflicts: 1476000 | #Constraints: 349148
2684.17/2691.02 c #Conflicts: 1477000 | #Constraints: 350148
2684.17/2691.02 c #Conflicts: 1478000 | #Constraints: 351148
2684.17/2691.02 c #Conflicts: 1479000 | #Constraints: 352148
2684.17/2691.02 c #Conflicts: 1480000 | #Constraints: 353148
2684.17/2691.02 c #Conflicts: 1481000 | #Constraints: 354148
2684.17/2691.02 c #Conflicts: 1482000 | #Constraints: 355148
2684.17/2691.02 c #Conflicts: 1483000 | #Constraints: 356148
2684.17/2691.02 c #Conflicts: 1484000 | #Constraints: 357148
2684.17/2691.02 c #Conflicts: 1485000 | #Constraints: 358148
2684.17/2691.02 c #Conflicts: 1486000 | #Constraints: 359148
2684.17/2691.02 c #Conflicts: 1487000 | #Constraints: 360148
2684.17/2691.02 c #Conflicts: 1488000 | #Constraints: 361148
2684.17/2691.02 c #Conflicts: 1489000 | #Constraints: 362148
2684.17/2691.02 c #Conflicts: 1490000 | #Constraints: 363148
2684.17/2691.02 c #Conflicts: 1491000 | #Constraints: 364148
2684.17/2691.02 c #Conflicts: 1492000 | #Constraints: 365148
2684.17/2691.02 c #Conflicts: 1493000 | #Constraints: 366148
2684.17/2691.02 c #Conflicts: 1494000 | #Constraints: 367148
2684.17/2691.02 c #Conflicts: 1495000 | #Constraints: 368148
2684.17/2691.02 c #Conflicts: 1496000 | #Constraints: 369148
2684.17/2691.02 c INPROCESSING
2684.17/2691.02 c GARBAGE COLLECT
2684.17/2691.02 c #Conflicts: 1497000 | #Constraints: 298838
2684.17/2691.02 c #Conflicts: 1498000 | #Constraints: 299838
2684.17/2691.02 c #Conflicts: 1499000 | #Constraints: 300838
2684.17/2691.02 c #Conflicts: 1500000 | #Constraints: 301838
2684.17/2691.02 c #Conflicts: 1501000 | #Constraints: 302838
2684.17/2691.02 c #Conflicts: 1502000 | #Constraints: 303838
2684.17/2691.02 c #Conflicts: 1503000 | #Constraints: 304838
2684.17/2691.02 c #Conflicts: 1504000 | #Constraints: 305838
2684.17/2691.02 c #Conflicts: 1505000 | #Constraints: 306838
2684.17/2691.02 c #Conflicts: 1506000 | #Constraints: 307838
2684.17/2691.02 c #Conflicts: 1507000 | #Constraints: 308838
2749.70/2756.76 c #Conflicts: 1508000 | #Constraints: 309838
2749.70/2756.76 c #Conflicts: 1509000 | #Constraints: 310838
2749.70/2756.76 c #Conflicts: 1510000 | #Constraints: 311838
2749.70/2756.76 c #Conflicts: 1511000 | #Constraints: 312838
2749.70/2756.76 c #Conflicts: 1512000 | #Constraints: 313838
2749.70/2756.76 c #Conflicts: 1513000 | #Constraints: 314838
2749.70/2756.76 c #Conflicts: 1514000 | #Constraints: 315838
2749.70/2756.76 c #Conflicts: 1515000 | #Constraints: 316838
2749.70/2756.76 c #Conflicts: 1516000 | #Constraints: 317838
2749.70/2756.76 c #Conflicts: 1517000 | #Constraints: 318838
2749.70/2756.76 c #Conflicts: 1518000 | #Constraints: 319838
2749.70/2756.76 c #Conflicts: 1519000 | #Constraints: 320838
2749.70/2756.76 c #Conflicts: 1520000 | #Constraints: 321838
2749.70/2756.76 c #Conflicts: 1521000 | #Constraints: 322838
2749.70/2756.76 c #Conflicts: 1522000 | #Constraints: 323838
2749.70/2756.76 c #Conflicts: 1523000 | #Constraints: 324838
2749.70/2756.76 c #Conflicts: 1524000 | #Constraints: 325838
2749.70/2756.76 c #Conflicts: 1525000 | #Constraints: 326838
2749.70/2756.76 c #Conflicts: 1526000 | #Constraints: 327838
2749.70/2756.76 c #Conflicts: 1527000 | #Constraints: 328838
2749.70/2756.76 c #Conflicts: 1528000 | #Constraints: 329838
2749.70/2756.76 c #Conflicts: 1529000 | #Constraints: 330838
2749.70/2756.76 c #Conflicts: 1530000 | #Constraints: 331838
2749.70/2756.76 c #Conflicts: 1531000 | #Constraints: 332838
2749.70/2756.76 c #Conflicts: 1532000 | #Constraints: 333838
2749.70/2756.76 c #Conflicts: 1533000 | #Constraints: 334838
2749.70/2756.76 c #Conflicts: 1534000 | #Constraints: 335838
2749.70/2756.76 c #Conflicts: 1535000 | #Constraints: 336838
2749.70/2756.76 c #Conflicts: 1536000 | #Constraints: 337838
2749.70/2756.76 c #Conflicts: 1537000 | #Constraints: 338838
2749.70/2756.76 c #Conflicts: 1538000 | #Constraints: 339838
2749.70/2756.76 c #Conflicts: 1539000 | #Constraints: 340838
2749.70/2756.76 c #Conflicts: 1540000 | #Constraints: 341838
2749.70/2756.76 c #Conflicts: 1541000 | #Constraints: 342838
2749.70/2756.76 c #Conflicts: 1542000 | #Constraints: 343838
2749.70/2756.76 c #Conflicts: 1543000 | #Constraints: 344838
2749.70/2756.76 c #Conflicts: 1544000 | #Constraints: 345838
2749.70/2756.76 c #Conflicts: 1545000 | #Constraints: 346838
2749.70/2756.76 c #Conflicts: 1546000 | #Constraints: 347838
2749.70/2756.76 c #Conflicts: 1547000 | #Constraints: 348838
2749.70/2756.76 c #Conflicts: 1548000 | #Constraints: 349838
2749.70/2756.76 c #Conflicts: 1549000 | #Constraints: 350838
2749.70/2756.76 c #Conflicts: 1550000 | #Constraints: 351838
2749.70/2756.76 c #Conflicts: 1551000 | #Constraints: 352838
2749.70/2756.76 c #Conflicts: 1552000 | #Constraints: 353838
2749.70/2756.76 c #Conflicts: 1553000 | #Constraints: 354838
2749.70/2756.76 c #Conflicts: 1554000 | #Constraints: 355838
2749.70/2756.76 c #Conflicts: 1555000 | #Constraints: 356838
2749.70/2756.76 c #Conflicts: 1556000 | #Constraints: 357838
2749.70/2756.76 c #Conflicts: 1557000 | #Constraints: 358838
2749.70/2756.76 c #Conflicts: 1558000 | #Constraints: 359838
2749.70/2756.76 c #Conflicts: 1559000 | #Constraints: 360838
2749.70/2756.76 c #Conflicts: 1560000 | #Constraints: 361838
2749.70/2756.76 c #Conflicts: 1561000 | #Constraints: 362838
2749.70/2756.76 c #Conflicts: 1562000 | #Constraints: 363838
2749.70/2756.76 c #Conflicts: 1563000 | #Constraints: 364838
2749.70/2756.76 c #Conflicts: 1564000 | #Constraints: 365838
2749.70/2756.76 c #Conflicts: 1565000 | #Constraints: 366838
2749.70/2756.76 c #Conflicts: 1566000 | #Constraints: 367838
2749.70/2756.76 c #Conflicts: 1567000 | #Constraints: 368838
2749.70/2756.76 c #Conflicts: 1568000 | #Constraints: 369838
2749.70/2756.76 c #Conflicts: 1569000 | #Constraints: 370838
2749.70/2756.76 c #Conflicts: 1570000 | #Constraints: 371838
2749.70/2756.76 c #Conflicts: 1571000 | #Constraints: 372838
2749.70/2756.76 c #Conflicts: 1572000 | #Constraints: 373838
2749.70/2756.76 c #Conflicts: 1573000 | #Constraints: 374838
2749.70/2756.76 c #Conflicts: 1574000 | #Constraints: 375838
2749.70/2756.76 c INPROCESSING
2749.70/2756.76 c GARBAGE COLLECT
2749.70/2756.76 c #Conflicts: 1575000 | #Constraints: 303106
2749.70/2756.76 c #Conflicts: 1576000 | #Constraints: 304106
2749.70/2756.76 c #Conflicts: 1577000 | #Constraints: 305106
2749.70/2756.76 c #Conflicts: 1578000 | #Constraints: 306106
2749.70/2756.76 c #Conflicts: 1579000 | #Constraints: 307106
2749.70/2756.76 c #Conflicts: 1580000 | #Constraints: 308106
2749.70/2756.76 c #Conflicts: 1581000 | #Constraints: 309106
2749.70/2756.76 c #Conflicts: 1582000 | #Constraints: 310106
2749.70/2756.76 c #Conflicts: 1583000 | #Constraints: 311106
2749.70/2756.76 c #Conflicts: 1584000 | #Constraints: 312106
2749.70/2756.76 c #Conflicts: 1585000 | #Constraints: 313106
2939.07/2946.59 c #Conflicts: 1586000 | #Constraints: 314106
2939.07/2946.59 c #Conflicts: 1587000 | #Constraints: 315106
2939.07/2946.59 c #Conflicts: 1588000 | #Constraints: 316106
2939.07/2946.59 c #Conflicts: 1589000 | #Constraints: 317106
2939.07/2946.59 c #Conflicts: 1590000 | #Constraints: 318106
2939.07/2946.59 c #Conflicts: 1591000 | #Constraints: 319106
2939.07/2946.59 c #Conflicts: 1592000 | #Constraints: 320106
2939.07/2946.59 c #Conflicts: 1593000 | #Constraints: 321106
2939.07/2946.59 c #Conflicts: 1594000 | #Constraints: 322106
2939.07/2946.59 c #Conflicts: 1595000 | #Constraints: 323106
2939.07/2946.59 c #Conflicts: 1596000 | #Constraints: 324106
2939.07/2946.59 c #Conflicts: 1597000 | #Constraints: 325106
2939.07/2946.59 c #Conflicts: 1598000 | #Constraints: 326106
2939.07/2946.59 c #Conflicts: 1599000 | #Constraints: 327106
2939.07/2946.59 c #Conflicts: 1600000 | #Constraints: 328106
2939.07/2946.59 c #Conflicts: 1601000 | #Constraints: 329106
2939.07/2946.59 c #Conflicts: 1602000 | #Constraints: 330106
2939.07/2946.59 c #Conflicts: 1603000 | #Constraints: 331106
2939.07/2946.59 c #Conflicts: 1604000 | #Constraints: 332106
2939.07/2946.59 c #Conflicts: 1605000 | #Constraints: 333106
2939.07/2946.59 c #Conflicts: 1606000 | #Constraints: 334106
2939.07/2946.59 c #Conflicts: 1607000 | #Constraints: 335106
2939.07/2946.59 c #Conflicts: 1608000 | #Constraints: 336106
2939.07/2946.59 c #Conflicts: 1609000 | #Constraints: 337106
2939.07/2946.59 c #Conflicts: 1610000 | #Constraints: 338106
2939.07/2946.59 c #Conflicts: 1611000 | #Constraints: 339106
2939.07/2946.59 c #Conflicts: 1612000 | #Constraints: 340106
2939.07/2946.59 c #Conflicts: 1613000 | #Constraints: 341106
2939.07/2946.59 c #Conflicts: 1614000 | #Constraints: 342106
2939.07/2946.59 c #Conflicts: 1615000 | #Constraints: 343106
2939.07/2946.59 c #Conflicts: 1616000 | #Constraints: 344106
2939.07/2946.59 c #Conflicts: 1617000 | #Constraints: 345106
2939.07/2946.59 c #Conflicts: 1618000 | #Constraints: 346106
2939.07/2946.59 c #Conflicts: 1619000 | #Constraints: 347106
2939.07/2946.59 c #Conflicts: 1620000 | #Constraints: 348106
2939.07/2946.59 c #Conflicts: 1621000 | #Constraints: 349106
2939.07/2946.59 c #Conflicts: 1622000 | #Constraints: 350106
2939.07/2946.59 c #Conflicts: 1623000 | #Constraints: 351106
2939.07/2946.59 c #Conflicts: 1624000 | #Constraints: 352106
2939.07/2946.59 c #Conflicts: 1625000 | #Constraints: 353106
2939.07/2946.59 c #Conflicts: 1626000 | #Constraints: 354106
2939.07/2946.59 c #Conflicts: 1627000 | #Constraints: 355106
2939.07/2946.59 c #Conflicts: 1628000 | #Constraints: 356106
2939.07/2946.59 c #Conflicts: 1629000 | #Constraints: 357106
2939.07/2946.59 c #Conflicts: 1630000 | #Constraints: 358106
2939.07/2946.59 c #Conflicts: 1631000 | #Constraints: 359106
2939.07/2946.59 c #Conflicts: 1632000 | #Constraints: 360106
2939.07/2946.59 c #Conflicts: 1633000 | #Constraints: 361106
2939.07/2946.59 c #Conflicts: 1634000 | #Constraints: 362106
2939.07/2946.59 c #Conflicts: 1635000 | #Constraints: 363106
2939.07/2946.59 c #Conflicts: 1636000 | #Constraints: 364106
2939.07/2946.59 c #Conflicts: 1637000 | #Constraints: 365106
2939.07/2946.59 c #Conflicts: 1638000 | #Constraints: 366106
2939.07/2946.59 c #Conflicts: 1639000 | #Constraints: 367106
2939.07/2946.59 c #Conflicts: 1640000 | #Constraints: 368106
2939.07/2946.59 c #Conflicts: 1641000 | #Constraints: 369106
2939.07/2946.59 c #Conflicts: 1642000 | #Constraints: 370106
2939.07/2946.59 c #Conflicts: 1643000 | #Constraints: 371106
2939.07/2946.59 c #Conflicts: 1644000 | #Constraints: 372106
2939.07/2946.59 c #Conflicts: 1645000 | #Constraints: 373106
2939.07/2946.59 c #Conflicts: 1646000 | #Constraints: 374106
2939.07/2946.59 c #Conflicts: 1647000 | #Constraints: 375106
2939.07/2946.59 c #Conflicts: 1648000 | #Constraints: 376106
2939.07/2946.59 c #Conflicts: 1649000 | #Constraints: 377106
2939.07/2946.59 c #Conflicts: 1650000 | #Constraints: 378106
2939.07/2946.59 c #Conflicts: 1651000 | #Constraints: 379106
2939.07/2946.59 c #Conflicts: 1652000 | #Constraints: 380106
2939.07/2946.59 c #Conflicts: 1653000 | #Constraints: 381106
2939.07/2946.59 c #Conflicts: 1654000 | #Constraints: 382106
2939.07/2946.59 c INPROCESSING
2939.07/2946.59 c GARBAGE COLLECT
2939.07/2946.59 c #Conflicts: 1655000 | #Constraints: 305710
2939.07/2946.59 c #Conflicts: 1656000 | #Constraints: 306710
2939.07/2946.59 c #Conflicts: 1657000 | #Constraints: 307710
2939.07/2946.59 c #Conflicts: 1658000 | #Constraints: 308710
2939.07/2946.59 c #Conflicts: 1659000 | #Constraints: 309710
2939.07/2946.59 c #Conflicts: 1660000 | #Constraints: 310710
2939.07/2946.59 c #Conflicts: 1661000 | #Constraints: 311710
2939.07/2946.59 c #Conflicts: 1662000 | #Constraints: 312710
2939.07/2946.59 c #Conflicts: 1663000 | #Constraints: 313710
3009.29/3016.96 c #Conflicts: 1664000 | #Constraints: 314710
3009.29/3016.96 c #Conflicts: 1665000 | #Constraints: 315710
3009.29/3016.96 c #Conflicts: 1666000 | #Constraints: 316710
3009.29/3016.96 c #Conflicts: 1667000 | #Constraints: 317710
3009.29/3016.96 c #Conflicts: 1668000 | #Constraints: 318710
3009.29/3016.96 c #Conflicts: 1669000 | #Constraints: 319710
3009.29/3016.96 c #Conflicts: 1670000 | #Constraints: 320710
3009.29/3016.96 c #Conflicts: 1671000 | #Constraints: 321710
3009.29/3016.96 c #Conflicts: 1672000 | #Constraints: 322710
3009.29/3016.96 c #Conflicts: 1673000 | #Constraints: 323710
3009.29/3016.96 c #Conflicts: 1674000 | #Constraints: 324710
3009.29/3016.96 c #Conflicts: 1675000 | #Constraints: 325710
3009.29/3016.96 c #Conflicts: 1676000 | #Constraints: 326710
3009.29/3016.96 c #Conflicts: 1677000 | #Constraints: 327710
3009.29/3016.96 c #Conflicts: 1678000 | #Constraints: 328710
3009.29/3016.96 c #Conflicts: 1679000 | #Constraints: 329710
3009.29/3016.96 c #Conflicts: 1680000 | #Constraints: 330710
3009.29/3016.96 c #Conflicts: 1681000 | #Constraints: 331710
3009.29/3016.96 c #Conflicts: 1682000 | #Constraints: 332710
3009.29/3016.96 c #Conflicts: 1683000 | #Constraints: 333710
3009.29/3016.96 c #Conflicts: 1684000 | #Constraints: 334710
3009.29/3016.96 c #Conflicts: 1685000 | #Constraints: 335710
3009.29/3016.96 c #Conflicts: 1686000 | #Constraints: 336710
3009.29/3016.96 c #Conflicts: 1687000 | #Constraints: 337710
3009.29/3016.96 c #Conflicts: 1688000 | #Constraints: 338710
3009.29/3016.96 c #Conflicts: 1689000 | #Constraints: 339710
3009.29/3016.96 c #Conflicts: 1690000 | #Constraints: 340710
3009.29/3016.96 c #Conflicts: 1691000 | #Constraints: 341710
3009.29/3016.96 c #Conflicts: 1692000 | #Constraints: 342710
3009.29/3016.96 c #Conflicts: 1693000 | #Constraints: 343710
3009.29/3016.96 c #Conflicts: 1694000 | #Constraints: 344710
3009.29/3016.96 c #Conflicts: 1695000 | #Constraints: 345710
3009.29/3016.96 c #Conflicts: 1696000 | #Constraints: 346710
3009.29/3016.96 c #Conflicts: 1697000 | #Constraints: 347710
3009.29/3016.96 c #Conflicts: 1698000 | #Constraints: 348710
3009.29/3016.96 c #Conflicts: 1699000 | #Constraints: 349710
3009.29/3016.96 c #Conflicts: 1700000 | #Constraints: 350710
3009.29/3016.96 c #Conflicts: 1701000 | #Constraints: 351710
3009.29/3016.96 c #Conflicts: 1702000 | #Constraints: 352710
3009.29/3016.96 c #Conflicts: 1703000 | #Constraints: 353710
3009.29/3016.96 c #Conflicts: 1704000 | #Constraints: 354710
3009.29/3016.96 c #Conflicts: 1705000 | #Constraints: 355710
3009.29/3016.96 c #Conflicts: 1706000 | #Constraints: 356710
3009.29/3016.96 c #Conflicts: 1707000 | #Constraints: 357710
3009.29/3016.96 c #Conflicts: 1708000 | #Constraints: 358710
3009.29/3016.96 c #Conflicts: 1709000 | #Constraints: 359710
3009.29/3016.96 c #Conflicts: 1710000 | #Constraints: 360710
3009.29/3016.96 c #Conflicts: 1711000 | #Constraints: 361710
3009.29/3016.96 c #Conflicts: 1712000 | #Constraints: 362710
3009.29/3016.96 c #Conflicts: 1713000 | #Constraints: 363710
3009.29/3016.96 c #Conflicts: 1714000 | #Constraints: 364710
3009.29/3016.96 c #Conflicts: 1715000 | #Constraints: 365710
3009.29/3016.96 c #Conflicts: 1716000 | #Constraints: 366710
3009.29/3016.96 c #Conflicts: 1717000 | #Constraints: 367710
3009.29/3016.96 c #Conflicts: 1718000 | #Constraints: 368710
3009.29/3016.96 c #Conflicts: 1719000 | #Constraints: 369710
3009.29/3016.96 c #Conflicts: 1720000 | #Constraints: 370710
3009.29/3016.96 c #Conflicts: 1721000 | #Constraints: 371710
3009.29/3016.96 c #Conflicts: 1722000 | #Constraints: 372710
3009.29/3016.96 c #Conflicts: 1723000 | #Constraints: 373710
3009.29/3016.96 c #Conflicts: 1724000 | #Constraints: 374710
3009.29/3016.96 c #Conflicts: 1725000 | #Constraints: 375710
3009.29/3016.96 c #Conflicts: 1726000 | #Constraints: 376710
3009.29/3016.96 c #Conflicts: 1727000 | #Constraints: 377710
3009.29/3016.96 c #Conflicts: 1728000 | #Constraints: 378710
3009.29/3016.96 c #Conflicts: 1729000 | #Constraints: 379710
3009.29/3016.96 c #Conflicts: 1730000 | #Constraints: 380710
3009.29/3016.96 c #Conflicts: 1731000 | #Constraints: 381710
3009.29/3016.96 c #Conflicts: 1732000 | #Constraints: 382710
3009.29/3016.96 c #Conflicts: 1733000 | #Constraints: 383710
3009.29/3016.96 c #Conflicts: 1734000 | #Constraints: 384710
3009.29/3016.96 c #Conflicts: 1735000 | #Constraints: 385710
3009.29/3016.96 c #Conflicts: 1736000 | #Constraints: 386710
3009.29/3016.96 c #Conflicts: 1737000 | #Constraints: 387710
3009.29/3016.96 c INPROCESSING
3009.29/3016.96 c GARBAGE COLLECT
3009.29/3016.96 c #Conflicts: 1738000 | #Constraints: 311609
3009.29/3016.96 c #Conflicts: 1739000 | #Constraints: 312609
3009.29/3016.96 c #Conflicts: 1740000 | #Constraints: 313609
3009.29/3016.96 c #Conflicts: 1741000 | #Constraints: 314609
3077.83/3085.64 c #Conflicts: 1742000 | #Constraints: 315609
3077.83/3085.64 c #Conflicts: 1743000 | #Constraints: 316609
3077.83/3085.64 c #Conflicts: 1744000 | #Constraints: 317609
3077.83/3085.64 c #Conflicts: 1745000 | #Constraints: 318609
3077.83/3085.64 c #Conflicts: 1746000 | #Constraints: 319609
3077.83/3085.64 c #Conflicts: 1747000 | #Constraints: 320609
3077.83/3085.64 c #Conflicts: 1748000 | #Constraints: 321609
3077.83/3085.64 c #Conflicts: 1749000 | #Constraints: 322609
3077.83/3085.64 c #Conflicts: 1750000 | #Constraints: 323609
3077.83/3085.64 c #Conflicts: 1751000 | #Constraints: 324609
3077.83/3085.64 c #Conflicts: 1752000 | #Constraints: 325609
3077.83/3085.64 c #Conflicts: 1753000 | #Constraints: 326609
3077.83/3085.64 c #Conflicts: 1754000 | #Constraints: 327609
3077.83/3085.64 c #Conflicts: 1755000 | #Constraints: 328609
3077.83/3085.64 c #Conflicts: 1756000 | #Constraints: 329609
3077.83/3085.64 c #Conflicts: 1757000 | #Constraints: 330609
3077.83/3085.64 c #Conflicts: 1758000 | #Constraints: 331609
3077.83/3085.64 c #Conflicts: 1759000 | #Constraints: 332609
3077.83/3085.64 c #Conflicts: 1760000 | #Constraints: 333609
3077.83/3085.64 c #Conflicts: 1761000 | #Constraints: 334609
3077.83/3085.64 c #Conflicts: 1762000 | #Constraints: 335609
3077.83/3085.64 c #Conflicts: 1763000 | #Constraints: 336609
3077.83/3085.64 c #Conflicts: 1764000 | #Constraints: 337609
3077.83/3085.64 c #Conflicts: 1765000 | #Constraints: 338609
3077.83/3085.64 c #Conflicts: 1766000 | #Constraints: 339609
3077.83/3085.64 c #Conflicts: 1767000 | #Constraints: 340609
3077.83/3085.64 c #Conflicts: 1768000 | #Constraints: 341609
3077.83/3085.64 c #Conflicts: 1769000 | #Constraints: 342609
3077.83/3085.64 c #Conflicts: 1770000 | #Constraints: 343609
3077.83/3085.64 c #Conflicts: 1771000 | #Constraints: 344609
3077.83/3085.64 c #Conflicts: 1772000 | #Constraints: 345609
3077.83/3085.64 c #Conflicts: 1773000 | #Constraints: 346609
3077.83/3085.64 c #Conflicts: 1774000 | #Constraints: 347609
3077.83/3085.64 c #Conflicts: 1775000 | #Constraints: 348609
3077.83/3085.64 c #Conflicts: 1776000 | #Constraints: 349609
3077.83/3085.64 c #Conflicts: 1777000 | #Constraints: 350609
3077.83/3085.64 c #Conflicts: 1778000 | #Constraints: 351609
3077.83/3085.64 c #Conflicts: 1779000 | #Constraints: 352609
3077.83/3085.64 c #Conflicts: 1780000 | #Constraints: 353609
3077.83/3085.64 c #Conflicts: 1781000 | #Constraints: 354609
3077.83/3085.64 c #Conflicts: 1782000 | #Constraints: 355609
3077.83/3085.64 c #Conflicts: 1783000 | #Constraints: 356609
3077.83/3085.64 c #Conflicts: 1784000 | #Constraints: 357609
3077.83/3085.64 c #Conflicts: 1785000 | #Constraints: 358609
3077.83/3085.64 c #Conflicts: 1786000 | #Constraints: 359609
3077.83/3085.64 c #Conflicts: 1787000 | #Constraints: 360609
3077.83/3085.64 c #Conflicts: 1788000 | #Constraints: 361609
3077.83/3085.64 c #Conflicts: 1789000 | #Constraints: 362609
3077.83/3085.64 c #Conflicts: 1790000 | #Constraints: 363609
3077.83/3085.64 c #Conflicts: 1791000 | #Constraints: 364609
3077.83/3085.64 c #Conflicts: 1792000 | #Constraints: 365609
3077.83/3085.64 c #Conflicts: 1793000 | #Constraints: 366609
3077.83/3085.64 c #Conflicts: 1794000 | #Constraints: 367609
3077.83/3085.64 c #Conflicts: 1795000 | #Constraints: 368609
3077.83/3085.64 c #Conflicts: 1796000 | #Constraints: 369609
3077.83/3085.64 c #Conflicts: 1797000 | #Constraints: 370609
3077.83/3085.64 c #Conflicts: 1798000 | #Constraints: 371609
3077.83/3085.64 c #Conflicts: 1799000 | #Constraints: 372609
3077.83/3085.64 c #Conflicts: 1800000 | #Constraints: 373609
3077.83/3085.64 c #Conflicts: 1801000 | #Constraints: 374609
3077.83/3085.64 c #Conflicts: 1802000 | #Constraints: 375609
3077.83/3085.64 c #Conflicts: 1803000 | #Constraints: 376609
3077.83/3085.64 c #Conflicts: 1804000 | #Constraints: 377609
3077.83/3085.64 c #Conflicts: 1805000 | #Constraints: 378609
3077.83/3085.64 c #Conflicts: 1806000 | #Constraints: 379609
3077.83/3085.64 c #Conflicts: 1807000 | #Constraints: 380609
3077.83/3085.64 c #Conflicts: 1808000 | #Constraints: 381609
3077.83/3085.64 c #Conflicts: 1809000 | #Constraints: 382609
3077.83/3085.64 c #Conflicts: 1810000 | #Constraints: 383609
3077.83/3085.64 c #Conflicts: 1811000 | #Constraints: 384609
3077.83/3085.64 c #Conflicts: 1812000 | #Constraints: 385609
3077.83/3085.64 c #Conflicts: 1813000 | #Constraints: 386609
3077.83/3085.64 c #Conflicts: 1814000 | #Constraints: 387609
3077.83/3085.64 c #Conflicts: 1815000 | #Constraints: 388609
3077.83/3085.64 c #Conflicts: 1816000 | #Constraints: 389609
3077.83/3085.64 c #Conflicts: 1817000 | #Constraints: 390609
3077.83/3085.64 c #Conflicts: 1818000 | #Constraints: 391609
3077.83/3085.64 c #Conflicts: 1819000 | #Constraints: 392609
3077.83/3085.64 c #Conflicts: 1820000 | #Constraints: 393609
3571.74/3580.77 c #Conflicts: 1821000 | #Constraints: 394609
3571.74/3580.77 c INPROCESSING
3571.74/3580.77 c GARBAGE COLLECT
3571.74/3580.77 c #Conflicts: 1822000 | #Constraints: 316586
3571.74/3580.77 c #Conflicts: 1823000 | #Constraints: 317586
3571.74/3580.77 c #Conflicts: 1824000 | #Constraints: 318586
3571.74/3580.77 c #Conflicts: 1825000 | #Constraints: 319586
3571.74/3580.77 c #Conflicts: 1826000 | #Constraints: 320586
3571.74/3580.77 c #Conflicts: 1827000 | #Constraints: 321586
3571.74/3580.77 c #Conflicts: 1828000 | #Constraints: 322586
3571.74/3580.77 c #Conflicts: 1829000 | #Constraints: 323586
3571.74/3580.77 c #Conflicts: 1830000 | #Constraints: 324586
3571.74/3580.77 c #Conflicts: 1831000 | #Constraints: 325586
3571.74/3580.77 c #Conflicts: 1832000 | #Constraints: 326586
3571.74/3580.77 c #Conflicts: 1833000 | #Constraints: 327586
3571.74/3580.77 c #Conflicts: 1834000 | #Constraints: 328586
3571.74/3580.77 c #Conflicts: 1835000 | #Constraints: 329586
3571.74/3580.77 c #Conflicts: 1836000 | #Constraints: 330586
3571.74/3580.77 c #Conflicts: 1837000 | #Constraints: 331586
3571.74/3580.77 c #Conflicts: 1838000 | #Constraints: 332586
3571.74/3580.77 c #Conflicts: 1839000 | #Constraints: 333586
3571.74/3580.77 c #Conflicts: 1840000 | #Constraints: 334586
3571.74/3580.77 c #Conflicts: 1841000 | #Constraints: 335586
3571.74/3580.77 c #Conflicts: 1842000 | #Constraints: 336586
3571.74/3580.77 c #Conflicts: 1843000 | #Constraints: 337586
3571.74/3580.77 c #Conflicts: 1844000 | #Constraints: 338586
3571.74/3580.77 c #Conflicts: 1845000 | #Constraints: 339586
3571.74/3580.77 c #Conflicts: 1846000 | #Constraints: 340586
3571.74/3580.77 c #Conflicts: 1847000 | #Constraints: 341586
3571.74/3580.77 c #Conflicts: 1848000 | #Constraints: 342586
3571.74/3580.77 c #Conflicts: 1849000 | #Constraints: 343586
3571.74/3580.77 c #Conflicts: 1850000 | #Constraints: 344586
3571.74/3580.77 c #Conflicts: 1851000 | #Constraints: 345586
3571.74/3580.77 c #Conflicts: 1852000 | #Constraints: 346586
3571.74/3580.77 c #Conflicts: 1853000 | #Constraints: 347586
3571.74/3580.77 c #Conflicts: 1854000 | #Constraints: 348586
3571.74/3580.77 c #Conflicts: 1855000 | #Constraints: 349586
3571.74/3580.77 c #Conflicts: 1856000 | #Constraints: 350586
3571.74/3580.77 c #Conflicts: 1857000 | #Constraints: 351586
3571.74/3580.77 c #Conflicts: 1858000 | #Constraints: 352586
3571.74/3580.77 c #Conflicts: 1859000 | #Constraints: 353586
3571.74/3580.77 c #Conflicts: 1860000 | #Constraints: 354586
3571.74/3580.77 c #Conflicts: 1861000 | #Constraints: 355586
3571.74/3580.77 c #Conflicts: 1862000 | #Constraints: 356586
3571.74/3580.77 c #Conflicts: 1863000 | #Constraints: 357586
3571.74/3580.77 c #Conflicts: 1864000 | #Constraints: 358586
3571.74/3580.77 c #Conflicts: 1865000 | #Constraints: 359586
3571.74/3580.77 c #Conflicts: 1866000 | #Constraints: 360586
3571.74/3580.77 c #Conflicts: 1867000 | #Constraints: 361586
3571.74/3580.77 c #Conflicts: 1868000 | #Constraints: 362586
3571.74/3580.77 c #Conflicts: 1869000 | #Constraints: 363586
3571.74/3580.77 c #Conflicts: 1870000 | #Constraints: 364586
3571.74/3580.77 c #Conflicts: 1871000 | #Constraints: 365586
3571.74/3580.77 c #Conflicts: 1872000 | #Constraints: 366586
3571.74/3580.77 c #Conflicts: 1873000 | #Constraints: 367586
3571.74/3580.77 c #Conflicts: 1874000 | #Constraints: 368586
3571.74/3580.77 c #Conflicts: 1875000 | #Constraints: 369586
3571.74/3580.77 c #Conflicts: 1876000 | #Constraints: 370586
3571.74/3580.77 c #Conflicts: 1877000 | #Constraints: 371586
3571.74/3580.77 c #Conflicts: 1878000 | #Constraints: 372586
3571.74/3580.77 c #Conflicts: 1879000 | #Constraints: 373586
3571.74/3580.77 c #Conflicts: 1880000 | #Constraints: 374586
3571.74/3580.77 c #Conflicts: 1881000 | #Constraints: 375586
3571.74/3580.77 c #Conflicts: 1882000 | #Constraints: 376586
3571.74/3580.77 c #Conflicts: 1883000 | #Constraints: 377586
3571.74/3580.77 c #Conflicts: 1884000 | #Constraints: 378586
3571.74/3580.77 c #Conflicts: 1885000 | #Constraints: 379586
3571.74/3580.77 c #Conflicts: 1886000 | #Constraints: 380586
3571.74/3580.77 c #Conflicts: 1887000 | #Constraints: 381586
3571.74/3580.77 c #Conflicts: 1888000 | #Constraints: 382586
3571.74/3580.77 c #Conflicts: 1889000 | #Constraints: 383586
3571.74/3580.77 c #Conflicts: 1890000 | #Constraints: 384586
3571.74/3580.77 c #Conflicts: 1891000 | #Constraints: 385586
3571.74/3580.77 c #Conflicts: 1892000 | #Constraints: 386586
3571.74/3580.77 c #Conflicts: 1893000 | #Constraints: 387586
3571.74/3580.77 c #Conflicts: 1894000 | #Constraints: 388586
3571.74/3580.77 c #Conflicts: 1895000 | #Constraints: 389586
3571.74/3580.77 c #Conflicts: 1896000 | #Constraints: 390586
3571.74/3580.77 c #Conflicts: 1897000 | #Constraints: 391586
3571.74/3580.77 c #Conflicts: 1898000 | #Constraints: 392586
3600.07/3609.10 c #Conflicts: 1899000 | #Constraints: 393586
3600.07/3609.10 c #Conflicts: 1900000 | #Constraints: 394586
3600.07/3609.10 c #Conflicts: 1901000 | #Constraints: 395586
3600.07/3609.10 c #Conflicts: 1902000 | #Constraints: 396586
3600.07/3609.10 c #Conflicts: 1903000 | #Constraints: 397586
3600.07/3609.10 c #Conflicts: 1904000 | #Constraints: 398586
3600.07/3609.10 c #Conflicts: 1905000 | #Constraints: 399586
3600.07/3609.10 c #Conflicts: 1906000 | #Constraints: 400586
3600.07/3609.10 c #Conflicts: 1907000 | #Constraints: 401586
3600.07/3609.10 c #Conflicts: 1908000 | #Constraints: 402586
3600.07/3609.10 c INPROCESSING
3600.07/3609.10 c GARBAGE COLLECT
3600.07/3609.10 c #Conflicts: 1909000 | #Constraints: 321157
3600.07/3609.10 c #Conflicts: 1910000 | #Constraints: 322157
3600.07/3609.10 c #Conflicts: 1911000 | #Constraints: 323157
3600.07/3609.10 c #Conflicts: 1912000 | #Constraints: 324157
3600.07/3609.10 c #Conflicts: 1913000 | #Constraints: 325157
3600.07/3609.10 c #Conflicts: 1914000 | #Constraints: 326157
3600.07/3609.10 c #Conflicts: 1915000 | #Constraints: 327157
3600.07/3609.10 c #Conflicts: 1916000 | #Constraints: 328157
3600.07/3609.10 c #Conflicts: 1917000 | #Constraints: 329157
3600.07/3609.10 c #Conflicts: 1918000 | #Constraints: 330157
3600.07/3609.10 c #Conflicts: 1919000 | #Constraints: 331157
3600.07/3609.10 c #Conflicts: 1920000 | #Constraints: 332157
3600.07/3609.10 c #Conflicts: 1921000 | #Constraints: 333157
3600.07/3609.10 c #Conflicts: 1922000 | #Constraints: 334157
3600.07/3609.10 c #Conflicts: 1923000 | #Constraints: 335157
3600.07/3609.10 c #Conflicts: 1924000 | #Constraints: 336157
3600.07/3609.10 c #Conflicts: 1925000 | #Constraints: 337157
3600.07/3609.10 c #Conflicts: 1926000 | #Constraints: 338157
3600.07/3609.10 c #Conflicts: 1927000 | #Constraints: 339157
3600.07/3609.10 c #Conflicts: 1928000 | #Constraints: 340157
3600.07/3609.10 c cpu time 3581.63 s
3600.07/3609.10 c deterministic time 66349817706 6.63e+10
3600.07/3609.10 c optimization time 19.2177 s
3600.07/3609.10 c total solve time 3561.29 s
3600.07/3609.10 c core-guided solve time 0 s
3600.07/3609.10 c propagation time 1939 s
3600.07/3609.10 c conflict analysis time 219.918 s
3600.07/3609.10 c propagations 4808303857
3600.07/3609.10 c resolve steps 25320003
3600.07/3609.10 c decisions 9895280
3600.07/3609.10 c conflicts 1928523
3600.07/3609.10 c restarts 3766
3600.07/3609.10 c inprocessing phases 45
3600.07/3609.10 c garbage collections 33 ,( 73.33 )
3600.07/3609.10 c input clauses 56772 ,( 26.50 )
3600.07/3609.10 c input cardinalities 791 ,( 0.37 )
3600.07/3609.10 c input general constraints 156645 ,( 73.13 )
3600.07/3609.10 c input average constraint length 5.06
3600.07/3609.10 c input average constraint degree 4.71
3600.07/3609.10 c learned clauses 1624738 ,( 84.25 )
3600.07/3609.10 c learned cardinalities 52807 ,( 2.74 )
3600.07/3609.10 c learned general constraints 251030 ,( 13.02 )
3600.07/3609.10 c learned average constraint length 54.76
3600.07/3609.10 c learned average constraint degree 5698.32
3600.07/3609.10 c watched CF 32, 64, 128, Arb: 77472 , 0 , 0 , 0
3600.07/3609.10 c counting CF 32, 64, 128, Arb: 330203 , 0 , 0 , 0
3600.07/3609.10 c watched constraints 77472 ,( 19.00 )
3600.07/3609.10 c counting constraints 330203 ,( 81.00 )
3600.07/3609.10 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1755164894 , 306122551 , 12414141256 ,( 40196761 , 12373944495 )
3600.07/3609.10 c gcd simplifications 10336
3600.07/3609.10 c detected cardinalities 6283
3600.07/3609.10 c weakened non-implied lits 14307283
3600.07/3609.10 c weakened non-implying lits 21106
3600.07/3609.10 c original variables 101921
3600.07/3609.10 c clausal propagations 441057158
3600.07/3609.10 c cardinality propagations 34648500
3600.07/3609.10 c watched propagations 660493
3600.07/3609.10 c counting propagations 4329895127
3600.07/3609.10 c watch lookups 27526920728
3600.07/3609.10 c watch backjump lookups 0
3600.07/3609.10 c watch checks 4214464343
3600.07/3609.10 c propagation checks 24675641293
3600.07/3609.10 c constraint additions 294104364
3600.07/3609.10 c trail pops 4820040608
3600.07/3609.10 c formula constraints 214208
3600.07/3609.10 c learned constraints 1928522
3600.07/3609.10 c bound constraints 0
3600.07/3609.10 c core-guided constraints 0
3600.07/3609.10 c encountered formula constraints 12796555
3600.07/3609.10 c encountered learned constraints 14451916
3600.07/3609.10 c encountered bound constraints 0
3600.07/3609.10 c encountered core-guided constraints 0
3600.07/3609.10 c LP total time 1806.54 s
3600.07/3609.10 c LP solve time 1801.09 s
3600.07/3609.10 c LP constraints added 216557
3600.07/3609.10 c LP constraints removed 529
3600.07/3609.10 c LP pivots internal 205947
3600.07/3609.10 c LP pivots root 241285
3600.07/3609.10 c LP calls 14
3600.07/3609.10 c LP optimalities 7
3600.07/3609.10 c LP no pivot count 0
3600.07/3609.10 c LP infeasibilities 0
3600.07/3609.10 c LP valid Farkas constraints 0
3600.07/3609.10 c LP learned Farkas constraints 0
3600.07/3609.10 c LP basis resets 0
3600.07/3609.10 c LP cycling count 0
3600.07/3609.10 c LP singular count 0
3600.07/3609.10 c LP no primal count 0
3600.07/3609.10 c LP no farkas count 0
3600.07/3609.10 c LP other issue count 0
3600.07/3609.10 c LP Gomory cuts 53
3600.07/3609.10 c LP learned cuts 2296
3600.07/3609.10 c LP deleted cuts 529
3600.07/3609.10 c LP encountered Gomory constraints 55
3600.07/3609.10 c LP encountered Farkas constraints 0
3600.07/3609.10 c LP encountered learned Farkas constraints 0
3600.07/3609.10 c CG auxiliary variables introduced 0
3600.07/3609.10 c CG solutions found 0
3600.07/3609.10 c CG cores constructed 0
3600.07/3609.10 c CG core cardinality constraints returned 0
3600.07/3609.10 c CG unit cores 0
3600.07/3609.10 c CG single cores 0
3600.07/3609.10 c CG blocks removed during cardinality reduction 0
3600.07/3609.10 c CG first core best 0
3600.07/3609.10 c CG decision core best 0
3600.07/3609.10 c CG core reduction tie 0
3600.07/3609.10 c CG core degree average 0.00
3600.07/3609.10 c CG core slack average 0.00
3600.07/3609.10 c CG core upper bound improvements 0
3600.07/3609.10 c STR number of successful calls 0
3600.07/3609.10 c STR number of unsuccessful calls 0
3600.07/3609.10 c STR number of inconclusive calls 0
3600.07/3609.10 c STR number of successful attempts 0
3600.07/3609.10 c STR number of unsuccessful attempts 0
3600.07/3609.10 c STR number of inconclusive attempts 0
3600.07/3609.10 c STR average degree increase per successful call inf
3600.07/3609.10 c STR average degree increase per successful attempt inf
3600.07/3609.10 c STR total number of conflicts for successful attempts 0
3600.07/3609.10 c STR total number of conflicts for unsuccessful attempts 0
3600.07/3609.10 c STR total number of conflicts for inconclusive attempts 0
3600.07/3609.10 c STR average number of conflicts per successful attempt inf
3600.07/3609.10 c STR average number of conflicts per unsuccessful attempt inf
3600.07/3609.10 c STR average number of conflicts per inconclusive attempt inf
3600.07/3609.10 c AVG.sumWPerc 67.99
3600.07/3609.10 c bigint constraints 0
3600.07/3609.10 s UNKNOWN
3600.07/3609.10 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (61755 MiB free)
memory of node 1: 64465 MiB (62284 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545313-1753234980/watcher-4545313-1753234980 -o /tmp/evaluation-result-4545313-1753234980/solver-4545313-1753234980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753234978-164974 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4545313-1753234980.opb /tmp/proof-4545313-1753234980
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=165079, runsolver pid=165076
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 1.07 1.11 1.50 5/269 165081
/proc/meminfo: memFree=126988920/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=89196 memory=42940 CPUtime=0.08 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 6432 0 0 0 6 2 0 0 20 0 1 0 239172551 91336704 10735 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 22299 10735 2048 1147 0 9726 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93388 KiB
Current children cumulated memory: 45884 KiB
[startup+0.205611 s]*
/proc/loadavg: 1.07 1.11 1.50 5/269 165081
/proc/meminfo: memFree=126979092/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=99956 memory=55372 CPUtime=0.18 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 9376 0 0 0 15 3 0 0 20 0 1 0 239172551 102354944 13843 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 24989 13843 2048 1147 0 12416 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 104148 KiB
Current children cumulated memory: 58316 KiB
[startup+0.305574 s]*
/proc/loadavg: 1.07 1.11 1.50 5/269 165081
/proc/meminfo: memFree=126971552/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=113672 memory=67720 CPUtime=0.28 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 12356 0 0 0 23 5 0 0 20 0 1 0 239172551 116400128 16930 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 28418 16930 2048 1147 0 15845 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 117864 KiB
Current children cumulated memory: 70664 KiB
[startup+0.700187 s]
/proc/loadavg: 1.07 1.11 1.50 5/269 165081
/proc/meminfo: memFree=126947968/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=165532 memory=114880 CPUtime=0.67 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 23596 0 0 0 54 13 0 0 20 0 1 0 239172551 169504768 28720 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 41383 28720 2048 1147 0 28810 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 169724 KiB
Current children cumulated memory: 117824 KiB
[startup+1.5002 s]
/proc/loadavg: 1.07 1.11 1.50 5/269 165081
/proc/meminfo: memFree=126859952/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=503200 memory=433828 CPUtime=1.47 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 52882 0 0 0 121 26 0 0 20 0 1 0 239172551 515276800 108457 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 125800 108457 2272 1147 0 113227 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 507392 KiB
Current children cumulated memory: 436772 KiB
[startup+3.10547 s]
/proc/loadavg: 1.31 1.15 1.52 5/269 165081
/proc/meminfo: memFree=126594232/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=480240 memory=411936 CPUtime=3.07 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 54903 0 0 0 280 27 0 0 20 0 1 0 239172551 491765760 102984 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 120060 102984 2304 1147 0 107487 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 484432 KiB
Current children cumulated memory: 414880 KiB
[startup+6.30019 s]
/proc/loadavg: 1.31 1.15 1.52 5/269 165081
/proc/meminfo: memFree=126558540/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=496180 memory=424568 CPUtime=6.25 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 55989 0 0 0 596 29 0 0 20 0 1 0 239172551 508088320 106142 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 124045 106142 2368 1147 0 111472 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 500372 KiB
Current children cumulated memory: 427512 KiB
[startup+12.7002 s]
/proc/loadavg: 1.52 1.20 1.53 5/269 165081
/proc/meminfo: memFree=126532080/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=496180 memory=426616 CPUtime=12.64 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 56496 0 0 0 1229 35 0 0 20 0 1 0 239172551 508088320 106654 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 124045 106654 2368 1147 0 111472 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 500372 KiB
Current children cumulated memory: 429560 KiB
[startup+25.5002 s]
/proc/loadavg: 2.07 1.34 1.57 5/269 165081
/proc/meminfo: memFree=126471984/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=496180 memory=426616 CPUtime=25.4 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 56496 0 0 0 2493 47 0 0 20 0 1 0 239172551 508088320 106654 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 124045 106654 2368 1147 0 111472 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 500372 KiB
Current children cumulated memory: 429560 KiB
[startup+51.1056 s]
/proc/loadavg: 2.79 1.57 1.64 5/268 165082
/proc/meminfo: memFree=126304112/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=511056 memory=434672 CPUtime=50.94 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 58070 0 0 0 5027 67 0 0 20 0 1 0 239172551 523321344 108668 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 127764 108668 2368 1147 0 115191 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 515248 KiB
Current children cumulated memory: 437616 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 1.96 1.77 5/268 165084
/proc/meminfo: memFree=126005280/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=538316 memory=448028 CPUtime=102.01 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 60921 0 0 0 10083 118 0 0 20 0 1 0 239172551 551235584 112007 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 134579 112007 2368 1147 0 122006 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 542508 KiB
Current children cumulated memory: 450972 KiB
[startup+162.3 s]
/proc/loadavg: 3.93 2.37 1.92 5/268 165086
/proc/meminfo: memFree=125726480/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=545176 memory=457776 CPUtime=161.85 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 62907 0 0 0 16034 151 0 0 20 0 1 0 239172551 558260224 114444 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 136294 114444 2368 1147 0 123721 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 549368 KiB
Current children cumulated memory: 460720 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 2.71 2.07 6/268 165135
/proc/meminfo: memFree=125797032/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=561712 memory=473136 CPUtime=221.7 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 66767 0 0 0 21989 181 0 0 20 0 1 0 239172551 575193088 118284 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 140428 118284 2368 1147 0 127855 0
################
# More data... #
################
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=720592 CPUtime=3094.49 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90657 0 0 0 307707 1742 0 0 20 0 1 0 239172551 829149184 180148 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180148 2368 1147 0 189856 0
Current children cumulated CPU time: 3094.49 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 723536 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.16 4.07 6/269 165338
/proc/meminfo: memFree=115370536/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=720592 CPUtime=3154.36 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90657 0 0 0 313684 1752 0 0 20 0 1 0 239172551 829149184 180148 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180148 2368 1147 0 189856 0
Current children cumulated CPU time: 3154.36 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 723536 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.07 6/269 165340
/proc/meminfo: memFree=115196188/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=720592 CPUtime=3214.22 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90657 0 0 0 319664 1758 0 0 20 0 1 0 239172551 829149184 180148 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180148 2368 1147 0 189856 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 723536 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.16 4.08 6/270 165343
/proc/meminfo: memFree=114992588/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=720592 CPUtime=3274.07 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90659 0 0 0 325644 1763 0 0 20 0 1 0 239172551 829149184 180148 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180148 2368 1147 0 189856 0
Current children cumulated CPU time: 3274.07 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 723536 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.08 6/270 165347
/proc/meminfo: memFree=114821084/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=720592 CPUtime=3333.92 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90659 0 0 0 331624 1768 0 0 20 0 1 0 239172551 829149184 180148 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180148 2368 1147 0 189856 0
Current children cumulated CPU time: 3333.92 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 723536 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.16 4.09 6/270 165354
/proc/meminfo: memFree=114680020/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=720592 CPUtime=3393.78 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90659 0 0 0 337606 1772 0 0 20 0 1 0 239172551 829149184 180148 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180148 2368 1147 0 189856 0
Current children cumulated CPU time: 3393.78 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 723536 KiB
[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.09 6/269 165356
/proc/meminfo: memFree=114570296/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=722720 CPUtime=3453.63 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90661 0 0 0 343586 1777 0 0 20 0 1 0 239172551 829149184 180680 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180680 2368 1147 0 189856 0
Current children cumulated CPU time: 3453.63 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 725664 KiB
[startup+3522.3 s]
/proc/loadavg: 4.09 4.13 4.09 6/269 165358
/proc/meminfo: memFree=114411160/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=723360 CPUtime=3513.48 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90846 0 0 0 349561 1787 0 0 20 0 1 0 239172551 829149184 180840 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180840 2368 1147 0 189856 0
Current children cumulated CPU time: 3513.48 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 726304 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 6/269 165361
/proc/meminfo: memFree=114241080/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=723360 CPUtime=3573.33 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90859 0 0 0 355506 1827 0 0 20 0 1 0 239172551 829149184 180840 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180840 2368 1147 0 189856 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 726304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.11 s]
/proc/loadavg: 4.20 4.14 4.10 6/264 165390
/proc/meminfo: memFree=116770504/131249992 swapFree=33009392/33010684
[pid=165079] ppid=165076 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/165079/stat : 165079 (run-dec-ls-log.) S 165076 165079 164962 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 239172551 4292608 736 18446744073709551615 93940262023168 93940262917701 140735073349904 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 93940263156752 93940263204496 93940292247552 140735073356095 140735073356255 140735073356255 140735073361859 0
/proc/165079/statm: 1048 736 672 219 0 110 0
[pid=165081] ppid=165079 vsize=809716 memory=723360 CPUtime=3600.07 cores=1,3
/proc/165081/stat : 165081 (roundingsat) R 165079 165079 164962 0 -1 4194304 90954 0 0 0 358163 1844 0 0 20 0 1 0 239172551 829149184 180840 18446744073709551615 4227072 8923433 140732187765312 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 13570048 140732187769204 140732187769382 140732187769382 140732187774954 0
/proc/165081/statm: 202429 180840 2368 1147 0 189856 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 813908 KiB
Current children cumulated memory: 726304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.11 s]
# the end of solver process 165079 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002088 s
[startup+3609.21 s]
# the end of solver process 165081 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.73 s, system=18.4499 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.2 s]*
/proc/loadavg: 4.20 4.14 4.10 4/261 165394
/proc/meminfo: memFree=117094764/131249992 swapFree=33009392/33010684
Current cumulated CPU time of completed processes: 0.002088 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 2
Real time (s): 3609.21
CPU time (s): 3600.18
CPU user time (s): 3581.73
CPU system time (s): 18.4499
CPU usage (%): 99.7499
Max. virtual memory (cumulated for all children) (KiB): 813908
Max. memory (cumulated for all children) (KiB): 726304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.73
system time used= 18.4499
maximum resident set size= 723744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91214
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1970840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 175
involuntary context switches= 3586
# summary of solver processes directly reported to runsolver:
# pid: 165079,165081
# total CPU time (s): 3600.18
# total CPU user time (s): 3581.73
# total CPU system time (s): 18.4499
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7809 second user time and 17.2445 second system time
The end
Begin job on nodeC035 at 2025-07-23 03:43:00
IDJOB=4545313
IDBENCH=180812
IDSOLVER=3354
FILE ID=nodeC035/4545313-1753234980
RUNJOBID= nodeC035-1753234978-164974
SLURM_JOB_ID= 9687866
Free space on /tmp= 432420 MiB
SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545313-1753234980/watcher-4545313-1753234980 -o /tmp/evaluation-result-4545313-1753234980/solver-4545313-1753234980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1753234978-164974 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4545313-1753234980.opb /tmp/proof-4545313-1753234980
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=1679460932
nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.764
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.668
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3601.730
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.744
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.679
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3478.359
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.922
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.51
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 127016128 kB
MemAvailable: 129286232 kB
Buffers: 664 kB
Cached: 3020772 kB
SwapCached: 336 kB
Active: 1332192 kB
Inactive: 2150500 kB
Active(anon): 468268 kB
Inactive(anon): 18908 kB
Active(file): 863924 kB
Inactive(file): 2131592 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33009392 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 50676 kB
Writeback: 0 kB
AnonPages: 464396 kB
Mapped: 122852 kB
Shmem: 25904 kB
KReclaimable: 227652 kB
Slab: 323648 kB
SReclaimable: 227652 kB
SUnreclaim: 95996 kB
KernelStack: 4320 kB
PageTables: 4200 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 839232 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150520 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 172032 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: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 422016 MiB
End job on nodeC035 at 2025-07-23 04:43:10