0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
1.07/1.13 c #variables 101921 #constraints 214208
153.92/154.44 c #Conflicts: 1000 | #Constraints: 215207
153.92/154.44 c #Conflicts: 2000 | #Constraints: 216207
153.92/154.44 c INPROCESSING
153.92/154.44 c GARBAGE COLLECT
153.92/154.44 c #Conflicts: 3000 | #Constraints: 157998
153.92/154.44 c #Conflicts: 4000 | #Constraints: 158998
153.92/154.44 c INPROCESSING
153.92/154.44 c #Conflicts: 5000 | #Constraints: 158478
153.92/154.44 c #Conflicts: 6000 | #Constraints: 159478
153.92/154.44 c INPROCESSING
153.92/154.44 c #Conflicts: 7000 | #Constraints: 158554
153.92/154.44 c #Conflicts: 8000 | #Constraints: 159554
153.92/154.44 c #Conflicts: 9000 | #Constraints: 160554
153.92/154.44 c #Conflicts: 10000 | #Constraints: 161554
153.92/154.44 c #Conflicts: 11000 | #Constraints: 162554
153.92/154.44 c #Conflicts: 12000 | #Constraints: 163554
153.92/154.44 c INPROCESSING
153.92/154.44 c #Conflicts: 13000 | #Constraints: 160534
153.92/154.44 c #Conflicts: 14000 | #Constraints: 161534
153.92/154.44 c #Conflicts: 15000 | #Constraints: 162534
153.92/154.44 c #Conflicts: 16000 | #Constraints: 163534
153.92/154.44 c INPROCESSING
153.92/154.44 c #Conflicts: 17000 | #Constraints: 160153
153.92/154.44 c #Conflicts: 18000 | #Constraints: 161153
153.92/154.44 c #Conflicts: 19000 | #Constraints: 162153
153.92/154.44 c #Conflicts: 20000 | #Constraints: 163153
153.92/154.44 c #Conflicts: 21000 | #Constraints: 164153
153.92/154.44 c #Conflicts: 22000 | #Constraints: 165153
153.92/154.44 c #Conflicts: 23000 | #Constraints: 166153
153.92/154.44 c #Conflicts: 24000 | #Constraints: 167153
153.92/154.44 c #Conflicts: 25000 | #Constraints: 168153
153.92/154.44 c INPROCESSING
153.92/154.44 c #Conflicts: 26000 | #Constraints: 162671
153.92/154.44 c #Conflicts: 27000 | #Constraints: 163671
153.92/154.44 c #Conflicts: 28000 | #Constraints: 164671
153.92/154.44 c #Conflicts: 29000 | #Constraints: 165671
153.92/154.44 c #Conflicts: 30000 | #Constraints: 166671
153.92/154.44 c INPROCESSING
153.92/154.44 c #Conflicts: 31000 | #Constraints: 161962
153.92/154.44 c #Conflicts: 32000 | #Constraints: 162962
153.92/154.44 c #Conflicts: 33000 | #Constraints: 163962
153.92/154.44 c #Conflicts: 34000 | #Constraints: 164962
153.92/154.44 c #Conflicts: 35000 | #Constraints: 165962
153.92/154.44 c #Conflicts: 36000 | #Constraints: 166962
153.92/154.44 c #Conflicts: 37000 | #Constraints: 167962
153.92/154.44 c #Conflicts: 38000 | #Constraints: 168962
153.92/154.44 c #Conflicts: 39000 | #Constraints: 169962
153.92/154.44 c #Conflicts: 40000 | #Constraints: 170962
153.92/154.44 c #Conflicts: 41000 | #Constraints: 171962
153.92/154.44 c #Conflicts: 42000 | #Constraints: 172962
153.92/154.44 c #Conflicts: 43000 | #Constraints: 173962
153.92/154.44 c INPROCESSING
153.92/154.44 c #Conflicts: 44000 | #Constraints: 165935
153.92/154.44 c #Conflicts: 45000 | #Constraints: 166935
153.92/154.44 c #Conflicts: 46000 | #Constraints: 167935
153.92/154.44 c #Conflicts: 47000 | #Constraints: 168935
153.92/154.44 c #Conflicts: 48000 | #Constraints: 169935
153.92/154.44 c #Conflicts: 49000 | #Constraints: 170935
153.92/154.44 c #Conflicts: 50000 | #Constraints: 171935
153.92/154.44 c #Conflicts: 51000 | #Constraints: 172935
153.92/154.44 c #Conflicts: 52000 | #Constraints: 173935
153.92/154.44 c #Conflicts: 53000 | #Constraints: 174935
153.92/154.44 c #Conflicts: 54000 | #Constraints: 175935
153.92/154.44 c #Conflicts: 55000 | #Constraints: 176935
153.92/154.44 c #Conflicts: 56000 | #Constraints: 177935
153.92/154.44 c #Conflicts: 57000 | #Constraints: 178935
153.92/154.44 c INPROCESSING
153.92/154.44 c GARBAGE COLLECT
153.92/154.44 c #Conflicts: 58000 | #Constraints: 168335
153.92/154.44 c #Conflicts: 59000 | #Constraints: 169335
153.92/154.44 c #Conflicts: 60000 | #Constraints: 170335
153.92/154.44 c #Conflicts: 61000 | #Constraints: 171335
153.92/154.44 c #Conflicts: 62000 | #Constraints: 172335
153.92/154.44 c #Conflicts: 63000 | #Constraints: 173335
153.92/154.44 c #Conflicts: 64000 | #Constraints: 174335
153.92/154.44 c #Conflicts: 65000 | #Constraints: 175335
153.92/154.44 c #Conflicts: 66000 | #Constraints: 176335
153.92/154.44 c #Conflicts: 67000 | #Constraints: 177335
153.92/154.44 c #Conflicts: 68000 | #Constraints: 178335
153.92/154.44 c #Conflicts: 69000 | #Constraints: 179335
153.92/154.44 c #Conflicts: 70000 | #Constraints: 180335
153.92/154.44 c #Conflicts: 71000 | #Constraints: 181335
153.92/154.44 c #Conflicts: 72000 | #Constraints: 182335
153.92/154.44 c #Conflicts: 73000 | #Constraints: 183335
153.92/154.44 c #Conflicts: 74000 | #Constraints: 184335
153.92/154.44 c INPROCESSING
153.92/154.44 c #Conflicts: 75000 | #Constraints: 171471
153.92/154.44 c #Conflicts: 76000 | #Constraints: 172471
366.67/367.74 c #Conflicts: 77000 | #Constraints: 173471
366.67/367.74 c #Conflicts: 78000 | #Constraints: 174471
366.67/367.74 c #Conflicts: 79000 | #Constraints: 175471
366.67/367.74 c #Conflicts: 80000 | #Constraints: 176471
366.67/367.74 c #Conflicts: 81000 | #Constraints: 177471
366.67/367.74 c #Conflicts: 82000 | #Constraints: 178471
366.67/367.74 c #Conflicts: 83000 | #Constraints: 179471
366.67/367.74 c #Conflicts: 84000 | #Constraints: 180471
366.67/367.74 c #Conflicts: 85000 | #Constraints: 181471
366.67/367.74 c #Conflicts: 86000 | #Constraints: 182471
366.67/367.74 c #Conflicts: 87000 | #Constraints: 183471
366.67/367.74 c #Conflicts: 88000 | #Constraints: 184471
366.67/367.74 c #Conflicts: 89000 | #Constraints: 185471
366.67/367.74 c #Conflicts: 90000 | #Constraints: 186471
366.67/367.74 c #Conflicts: 91000 | #Constraints: 187471
366.67/367.74 c #Conflicts: 92000 | #Constraints: 188471
366.67/367.74 c INPROCESSING
366.67/367.74 c #Conflicts: 93000 | #Constraints: 173411
366.67/367.74 c #Conflicts: 94000 | #Constraints: 174411
366.67/367.74 c #Conflicts: 95000 | #Constraints: 175411
366.67/367.74 c #Conflicts: 96000 | #Constraints: 176411
366.67/367.74 c #Conflicts: 97000 | #Constraints: 177411
366.67/367.74 c #Conflicts: 98000 | #Constraints: 178411
366.67/367.74 c #Conflicts: 99000 | #Constraints: 179411
366.67/367.74 c #Conflicts: 100000 | #Constraints: 180411
366.67/367.74 c #Conflicts: 101000 | #Constraints: 181411
366.67/367.74 c #Conflicts: 102000 | #Constraints: 182411
366.67/367.74 c #Conflicts: 103000 | #Constraints: 183411
366.67/367.74 c #Conflicts: 104000 | #Constraints: 184411
366.67/367.74 c #Conflicts: 105000 | #Constraints: 185411
366.67/367.74 c #Conflicts: 106000 | #Constraints: 186411
366.67/367.74 c #Conflicts: 107000 | #Constraints: 187411
366.67/367.74 c #Conflicts: 108000 | #Constraints: 188411
366.67/367.74 c #Conflicts: 109000 | #Constraints: 189411
366.67/367.74 c #Conflicts: 110000 | #Constraints: 190411
366.67/367.74 c #Conflicts: 111000 | #Constraints: 191411
366.67/367.74 c #Conflicts: 112000 | #Constraints: 192411
366.67/367.74 c INPROCESSING
366.67/367.74 c GARBAGE COLLECT
366.67/367.74 c #Conflicts: 113000 | #Constraints: 175265
366.67/367.74 c #Conflicts: 114000 | #Constraints: 176265
366.67/367.74 c #Conflicts: 115000 | #Constraints: 177265
366.67/367.74 c #Conflicts: 116000 | #Constraints: 178265
366.67/367.74 c #Conflicts: 117000 | #Constraints: 179265
366.67/367.74 c #Conflicts: 118000 | #Constraints: 180265
366.67/367.74 c #Conflicts: 119000 | #Constraints: 181265
366.67/367.74 c #Conflicts: 120000 | #Constraints: 182265
366.67/367.74 c #Conflicts: 121000 | #Constraints: 183265
366.67/367.74 c #Conflicts: 122000 | #Constraints: 184265
366.67/367.74 c #Conflicts: 123000 | #Constraints: 185265
366.67/367.74 c #Conflicts: 124000 | #Constraints: 186265
366.67/367.74 c #Conflicts: 125000 | #Constraints: 187265
366.67/367.74 c #Conflicts: 126000 | #Constraints: 188265
366.67/367.74 c #Conflicts: 127000 | #Constraints: 189265
366.67/367.74 c #Conflicts: 128000 | #Constraints: 190265
366.67/367.74 c #Conflicts: 129000 | #Constraints: 191265
366.67/367.74 c #Conflicts: 130000 | #Constraints: 192265
366.67/367.74 c #Conflicts: 131000 | #Constraints: 193265
366.67/367.74 c #Conflicts: 132000 | #Constraints: 194265
366.67/367.74 c #Conflicts: 133000 | #Constraints: 195265
366.67/367.74 c #Conflicts: 134000 | #Constraints: 196265
366.67/367.74 c #Conflicts: 135000 | #Constraints: 197265
366.67/367.74 c INPROCESSING
366.67/367.74 c #Conflicts: 136000 | #Constraints: 178094
366.67/367.74 c #Conflicts: 137000 | #Constraints: 179094
366.67/367.74 c #Conflicts: 138000 | #Constraints: 180094
366.67/367.74 c #Conflicts: 139000 | #Constraints: 181094
366.67/367.74 c #Conflicts: 140000 | #Constraints: 182094
366.67/367.74 c #Conflicts: 141000 | #Constraints: 183094
366.67/367.74 c #Conflicts: 142000 | #Constraints: 184094
366.67/367.74 c #Conflicts: 143000 | #Constraints: 185094
366.67/367.74 c #Conflicts: 144000 | #Constraints: 186094
366.67/367.74 c #Conflicts: 145000 | #Constraints: 187094
366.67/367.74 c #Conflicts: 146000 | #Constraints: 188094
366.67/367.74 c #Conflicts: 147000 | #Constraints: 189094
366.67/367.74 c #Conflicts: 148000 | #Constraints: 190094
366.67/367.74 c #Conflicts: 149000 | #Constraints: 191094
366.67/367.74 c #Conflicts: 150000 | #Constraints: 192094
366.67/367.74 c #Conflicts: 151000 | #Constraints: 193094
366.67/367.74 c #Conflicts: 152000 | #Constraints: 194094
366.67/367.74 c #Conflicts: 153000 | #Constraints: 195094
618.30/620.02 c #Conflicts: 154000 | #Constraints: 196094
618.30/620.02 c #Conflicts: 155000 | #Constraints: 197094
618.30/620.02 c #Conflicts: 156000 | #Constraints: 198094
618.30/620.02 c #Conflicts: 157000 | #Constraints: 199094
618.30/620.02 c #Conflicts: 158000 | #Constraints: 200094
618.30/620.02 c #Conflicts: 159000 | #Constraints: 201094
618.30/620.02 c INPROCESSING
618.30/620.02 c GARBAGE COLLECT
618.30/620.02 c #Conflicts: 160000 | #Constraints: 179950
618.30/620.02 c #Conflicts: 161000 | #Constraints: 180950
618.30/620.02 c #Conflicts: 162000 | #Constraints: 181950
618.30/620.02 c #Conflicts: 163000 | #Constraints: 182950
618.30/620.02 c #Conflicts: 164000 | #Constraints: 183950
618.30/620.02 c #Conflicts: 165000 | #Constraints: 184950
618.30/620.02 c #Conflicts: 166000 | #Constraints: 185950
618.30/620.02 c #Conflicts: 167000 | #Constraints: 186950
618.30/620.02 c #Conflicts: 168000 | #Constraints: 187950
618.30/620.02 c #Conflicts: 169000 | #Constraints: 188950
618.30/620.02 c #Conflicts: 170000 | #Constraints: 189950
618.30/620.02 c #Conflicts: 171000 | #Constraints: 190950
618.30/620.02 c #Conflicts: 172000 | #Constraints: 191950
618.30/620.02 c #Conflicts: 173000 | #Constraints: 192950
618.30/620.02 c #Conflicts: 174000 | #Constraints: 193950
618.30/620.02 c #Conflicts: 175000 | #Constraints: 194950
618.30/620.02 c #Conflicts: 176000 | #Constraints: 195950
618.30/620.02 c #Conflicts: 177000 | #Constraints: 196950
618.30/620.02 c #Conflicts: 178000 | #Constraints: 197950
618.30/620.02 c #Conflicts: 179000 | #Constraints: 198950
618.30/620.02 c #Conflicts: 180000 | #Constraints: 199950
618.30/620.02 c #Conflicts: 181000 | #Constraints: 200950
618.30/620.02 c #Conflicts: 182000 | #Constraints: 201950
618.30/620.02 c #Conflicts: 183000 | #Constraints: 202950
618.30/620.02 c #Conflicts: 184000 | #Constraints: 203950
618.30/620.02 c #Conflicts: 185000 | #Constraints: 204950
618.30/620.02 c #Conflicts: 186000 | #Constraints: 205950
618.30/620.02 c INPROCESSING
618.30/620.02 c #Conflicts: 187000 | #Constraints: 182638
618.30/620.02 c #Conflicts: 188000 | #Constraints: 183638
618.30/620.02 c #Conflicts: 189000 | #Constraints: 184638
618.30/620.02 c #Conflicts: 190000 | #Constraints: 185638
618.30/620.02 c #Conflicts: 191000 | #Constraints: 186638
618.30/620.02 c #Conflicts: 192000 | #Constraints: 187638
618.30/620.02 c #Conflicts: 193000 | #Constraints: 188638
618.30/620.02 c #Conflicts: 194000 | #Constraints: 189638
618.30/620.02 c #Conflicts: 195000 | #Constraints: 190638
618.30/620.02 c #Conflicts: 196000 | #Constraints: 191638
618.30/620.02 c #Conflicts: 197000 | #Constraints: 192638
618.30/620.02 c #Conflicts: 198000 | #Constraints: 193638
618.30/620.02 c #Conflicts: 199000 | #Constraints: 194638
618.30/620.02 c #Conflicts: 200000 | #Constraints: 195638
618.30/620.02 c #Conflicts: 201000 | #Constraints: 196638
618.30/620.02 c #Conflicts: 202000 | #Constraints: 197638
618.30/620.02 c #Conflicts: 203000 | #Constraints: 198638
618.30/620.02 c #Conflicts: 204000 | #Constraints: 199638
618.30/620.02 c #Conflicts: 205000 | #Constraints: 200638
618.30/620.02 c #Conflicts: 206000 | #Constraints: 201638
618.30/620.02 c #Conflicts: 207000 | #Constraints: 202638
618.30/620.02 c #Conflicts: 208000 | #Constraints: 203638
618.30/620.02 c #Conflicts: 209000 | #Constraints: 204638
618.30/620.02 c #Conflicts: 210000 | #Constraints: 205638
618.30/620.02 c #Conflicts: 211000 | #Constraints: 206638
618.30/620.02 c #Conflicts: 212000 | #Constraints: 207638
618.30/620.02 c #Conflicts: 213000 | #Constraints: 208638
618.30/620.02 c #Conflicts: 214000 | #Constraints: 209638
618.30/620.02 c INPROCESSING
618.30/620.02 c GARBAGE COLLECT
618.30/620.02 c rational objective 25171.5
698.39/700.30 c #Conflicts: 215000 | #Constraints: 185139
698.39/700.30 c #Conflicts: 216000 | #Constraints: 186139
698.39/700.30 c #Conflicts: 217000 | #Constraints: 187139
698.39/700.30 c #Conflicts: 218000 | #Constraints: 188139
698.39/700.30 c #Conflicts: 219000 | #Constraints: 189139
698.39/700.30 c #Conflicts: 220000 | #Constraints: 190139
698.39/700.30 c #Conflicts: 221000 | #Constraints: 191139
698.39/700.30 c #Conflicts: 222000 | #Constraints: 192139
698.39/700.30 c #Conflicts: 223000 | #Constraints: 193139
698.39/700.30 c #Conflicts: 224000 | #Constraints: 194139
698.39/700.30 c #Conflicts: 225000 | #Constraints: 195139
698.39/700.30 c #Conflicts: 226000 | #Constraints: 196139
698.39/700.30 c #Conflicts: 227000 | #Constraints: 197139
698.39/700.30 c #Conflicts: 228000 | #Constraints: 198139
698.39/700.30 c #Conflicts: 229000 | #Constraints: 199139
698.39/700.30 c #Conflicts: 230000 | #Constraints: 200139
698.39/700.30 c #Conflicts: 231000 | #Constraints: 201139
698.39/700.30 c #Conflicts: 232000 | #Constraints: 202139
698.39/700.30 c #Conflicts: 233000 | #Constraints: 203139
698.39/700.30 c #Conflicts: 234000 | #Constraints: 204139
698.39/700.30 c #Conflicts: 235000 | #Constraints: 205139
698.39/700.30 c #Conflicts: 236000 | #Constraints: 206139
698.39/700.30 c #Conflicts: 237000 | #Constraints: 207139
698.39/700.30 c #Conflicts: 238000 | #Constraints: 208139
698.39/700.30 c #Conflicts: 239000 | #Constraints: 209139
698.39/700.30 c #Conflicts: 240000 | #Constraints: 210139
698.39/700.30 c #Conflicts: 241000 | #Constraints: 211139
698.39/700.30 c #Conflicts: 242000 | #Constraints: 212139
698.39/700.30 c #Conflicts: 243000 | #Constraints: 213139
698.39/700.30 c #Conflicts: 244000 | #Constraints: 214139
698.39/700.30 c INPROCESSING
698.39/700.30 c #Conflicts: 245000 | #Constraints: 188342
698.39/700.30 c #Conflicts: 246000 | #Constraints: 189342
698.39/700.30 c #Conflicts: 247000 | #Constraints: 190342
698.39/700.30 c #Conflicts: 248000 | #Constraints: 191342
698.39/700.30 c #Conflicts: 249000 | #Constraints: 192342
698.39/700.30 c #Conflicts: 250000 | #Constraints: 193342
698.39/700.30 c #Conflicts: 251000 | #Constraints: 194342
698.39/700.30 c #Conflicts: 252000 | #Constraints: 195342
698.39/700.30 c #Conflicts: 253000 | #Constraints: 196342
698.39/700.30 c #Conflicts: 254000 | #Constraints: 197342
698.39/700.30 c #Conflicts: 255000 | #Constraints: 198342
698.39/700.30 c #Conflicts: 256000 | #Constraints: 199342
698.39/700.30 c #Conflicts: 257000 | #Constraints: 200342
698.39/700.30 c #Conflicts: 258000 | #Constraints: 201342
698.39/700.30 c #Conflicts: 259000 | #Constraints: 202342
698.39/700.30 c #Conflicts: 260000 | #Constraints: 203342
698.39/700.30 c #Conflicts: 261000 | #Constraints: 204342
698.39/700.30 c #Conflicts: 262000 | #Constraints: 205342
698.39/700.30 c #Conflicts: 263000 | #Constraints: 206342
698.39/700.30 c #Conflicts: 264000 | #Constraints: 207342
698.39/700.30 c #Conflicts: 265000 | #Constraints: 208342
698.39/700.30 c #Conflicts: 266000 | #Constraints: 209342
698.39/700.30 c #Conflicts: 267000 | #Constraints: 210342
698.39/700.30 c #Conflicts: 268000 | #Constraints: 211342
698.39/700.30 c #Conflicts: 269000 | #Constraints: 212342
698.39/700.30 c #Conflicts: 270000 | #Constraints: 213342
698.39/700.30 c #Conflicts: 271000 | #Constraints: 214342
698.39/700.30 c #Conflicts: 272000 | #Constraints: 215342
698.39/700.30 c #Conflicts: 273000 | #Constraints: 216342
698.39/700.30 c #Conflicts: 274000 | #Constraints: 217342
698.39/700.30 c #Conflicts: 275000 | #Constraints: 218342
698.39/700.30 c #Conflicts: 276000 | #Constraints: 219342
698.39/700.30 c #Conflicts: 277000 | #Constraints: 220342
698.39/700.30 c INPROCESSING
698.39/700.30 c GARBAGE COLLECT
698.39/700.30 c #Conflicts: 278000 | #Constraints: 192870
698.39/700.30 c #Conflicts: 279000 | #Constraints: 193870
698.39/700.30 c #Conflicts: 280000 | #Constraints: 194870
698.39/700.30 c #Conflicts: 281000 | #Constraints: 195870
698.39/700.30 c #Conflicts: 282000 | #Constraints: 196870
698.39/700.30 c #Conflicts: 283000 | #Constraints: 197870
698.39/700.30 c #Conflicts: 284000 | #Constraints: 198870
698.39/700.30 c #Conflicts: 285000 | #Constraints: 199870
698.39/700.30 c #Conflicts: 286000 | #Constraints: 200870
698.39/700.30 c #Conflicts: 287000 | #Constraints: 201870
698.39/700.30 c #Conflicts: 288000 | #Constraints: 202870
698.39/700.30 c #Conflicts: 289000 | #Constraints: 203870
698.39/700.30 c #Conflicts: 290000 | #Constraints: 204870
698.39/700.30 c #Conflicts: 291000 | #Constraints: 205870
698.39/700.30 c #Conflicts: 292000 | #Constraints: 206870
773.18/775.38 c #Conflicts: 293000 | #Constraints: 207870
773.18/775.38 c #Conflicts: 294000 | #Constraints: 208870
773.18/775.38 c #Conflicts: 295000 | #Constraints: 209870
773.18/775.38 c #Conflicts: 296000 | #Constraints: 210870
773.18/775.38 c #Conflicts: 297000 | #Constraints: 211870
773.18/775.38 c #Conflicts: 298000 | #Constraints: 212870
773.18/775.38 c #Conflicts: 299000 | #Constraints: 213870
773.18/775.38 c #Conflicts: 300000 | #Constraints: 214870
773.18/775.38 c #Conflicts: 301000 | #Constraints: 215870
773.18/775.38 c #Conflicts: 302000 | #Constraints: 216870
773.18/775.38 c #Conflicts: 303000 | #Constraints: 217870
773.18/775.38 c #Conflicts: 304000 | #Constraints: 218870
773.18/775.38 c #Conflicts: 305000 | #Constraints: 219870
773.18/775.38 c #Conflicts: 306000 | #Constraints: 220870
773.18/775.38 c #Conflicts: 307000 | #Constraints: 221870
773.18/775.38 c #Conflicts: 308000 | #Constraints: 222870
773.18/775.38 c #Conflicts: 309000 | #Constraints: 223870
773.18/775.38 c #Conflicts: 310000 | #Constraints: 224870
773.18/775.38 c #Conflicts: 311000 | #Constraints: 225870
773.18/775.38 c INPROCESSING
773.18/775.38 c GARBAGE COLLECT
773.18/775.38 c #Conflicts: 312000 | #Constraints: 196584
773.18/775.38 c #Conflicts: 313000 | #Constraints: 197584
773.18/775.38 c #Conflicts: 314000 | #Constraints: 198584
773.18/775.38 c #Conflicts: 315000 | #Constraints: 199584
773.18/775.38 c #Conflicts: 316000 | #Constraints: 200584
773.18/775.38 c #Conflicts: 317000 | #Constraints: 201584
773.18/775.38 c #Conflicts: 318000 | #Constraints: 202584
773.18/775.38 c #Conflicts: 319000 | #Constraints: 203584
773.18/775.38 c #Conflicts: 320000 | #Constraints: 204584
773.18/775.38 c #Conflicts: 321000 | #Constraints: 205584
773.18/775.38 c #Conflicts: 322000 | #Constraints: 206584
773.18/775.38 c #Conflicts: 323000 | #Constraints: 207584
773.18/775.38 c #Conflicts: 324000 | #Constraints: 208584
773.18/775.38 c #Conflicts: 325000 | #Constraints: 209584
773.18/775.38 c #Conflicts: 326000 | #Constraints: 210584
773.18/775.38 c #Conflicts: 327000 | #Constraints: 211584
773.18/775.38 c #Conflicts: 328000 | #Constraints: 212584
773.18/775.38 c #Conflicts: 329000 | #Constraints: 213584
773.18/775.38 c #Conflicts: 330000 | #Constraints: 214584
773.18/775.38 c #Conflicts: 331000 | #Constraints: 215584
773.18/775.38 c #Conflicts: 332000 | #Constraints: 216584
773.18/775.38 c #Conflicts: 333000 | #Constraints: 217584
773.18/775.38 c #Conflicts: 334000 | #Constraints: 218584
773.18/775.38 c #Conflicts: 335000 | #Constraints: 219584
773.18/775.38 c #Conflicts: 336000 | #Constraints: 220584
773.18/775.38 c #Conflicts: 337000 | #Constraints: 221584
773.18/775.38 c #Conflicts: 338000 | #Constraints: 222584
773.18/775.38 c #Conflicts: 339000 | #Constraints: 223584
773.18/775.38 c #Conflicts: 340000 | #Constraints: 224584
773.18/775.38 c #Conflicts: 341000 | #Constraints: 225584
773.18/775.38 c #Conflicts: 342000 | #Constraints: 226584
773.18/775.38 c #Conflicts: 343000 | #Constraints: 227584
773.18/775.38 c #Conflicts: 344000 | #Constraints: 228584
773.18/775.38 c #Conflicts: 345000 | #Constraints: 229584
773.18/775.38 c #Conflicts: 346000 | #Constraints: 230584
773.18/775.38 c #Conflicts: 347000 | #Constraints: 231584
773.18/775.38 c #Conflicts: 348000 | #Constraints: 232584
773.18/775.38 c INPROCESSING
773.18/775.38 c GARBAGE COLLECT
773.18/775.38 c #Conflicts: 349000 | #Constraints: 201302
773.18/775.38 c #Conflicts: 350000 | #Constraints: 202302
773.18/775.38 c #Conflicts: 351000 | #Constraints: 203302
773.18/775.38 c #Conflicts: 352000 | #Constraints: 204302
773.18/775.38 c #Conflicts: 353000 | #Constraints: 205302
773.18/775.38 c #Conflicts: 354000 | #Constraints: 206302
773.18/775.38 c #Conflicts: 355000 | #Constraints: 207302
773.18/775.38 c #Conflicts: 356000 | #Constraints: 208302
773.18/775.38 c #Conflicts: 357000 | #Constraints: 209302
773.18/775.38 c #Conflicts: 358000 | #Constraints: 210302
773.18/775.38 c #Conflicts: 359000 | #Constraints: 211302
773.18/775.38 c #Conflicts: 360000 | #Constraints: 212302
773.18/775.38 c #Conflicts: 361000 | #Constraints: 213302
773.18/775.38 c #Conflicts: 362000 | #Constraints: 214302
773.18/775.38 c #Conflicts: 363000 | #Constraints: 215302
773.18/775.38 c #Conflicts: 364000 | #Constraints: 216302
773.18/775.38 c #Conflicts: 365000 | #Constraints: 217302
773.18/775.38 c #Conflicts: 366000 | #Constraints: 218302
773.18/775.38 c #Conflicts: 367000 | #Constraints: 219302
773.18/775.38 c #Conflicts: 368000 | #Constraints: 220302
773.18/775.38 c #Conflicts: 369000 | #Constraints: 221302
773.18/775.38 c #Conflicts: 370000 | #Constraints: 222302
896.56/899.07 c #Conflicts: 371000 | #Constraints: 223302
896.56/899.07 c #Conflicts: 372000 | #Constraints: 224302
896.56/899.07 c #Conflicts: 373000 | #Constraints: 225302
896.56/899.07 c #Conflicts: 374000 | #Constraints: 226302
896.56/899.07 c #Conflicts: 375000 | #Constraints: 227302
896.56/899.07 c #Conflicts: 376000 | #Constraints: 228302
896.56/899.07 c #Conflicts: 377000 | #Constraints: 229302
896.56/899.07 c #Conflicts: 378000 | #Constraints: 230302
896.56/899.07 c #Conflicts: 379000 | #Constraints: 231302
896.56/899.07 c #Conflicts: 380000 | #Constraints: 232302
896.56/899.07 c #Conflicts: 381000 | #Constraints: 233302
896.56/899.07 c #Conflicts: 382000 | #Constraints: 234302
896.56/899.07 c #Conflicts: 383000 | #Constraints: 235302
896.56/899.07 c #Conflicts: 384000 | #Constraints: 236302
896.56/899.07 c #Conflicts: 385000 | #Constraints: 237302
896.56/899.07 c #Conflicts: 386000 | #Constraints: 238302
896.56/899.07 c INPROCESSING
896.56/899.07 c GARBAGE COLLECT
896.56/899.07 c #Conflicts: 387000 | #Constraints: 205155
896.56/899.07 c #Conflicts: 388000 | #Constraints: 206155
896.56/899.07 c #Conflicts: 389000 | #Constraints: 207155
896.56/899.07 c #Conflicts: 390000 | #Constraints: 208155
896.56/899.07 c #Conflicts: 391000 | #Constraints: 209155
896.56/899.07 c #Conflicts: 392000 | #Constraints: 210155
896.56/899.07 c #Conflicts: 393000 | #Constraints: 211155
896.56/899.07 c #Conflicts: 394000 | #Constraints: 212155
896.56/899.07 c #Conflicts: 395000 | #Constraints: 213155
896.56/899.07 c #Conflicts: 396000 | #Constraints: 214155
896.56/899.07 c #Conflicts: 397000 | #Constraints: 215155
896.56/899.07 c #Conflicts: 398000 | #Constraints: 216155
896.56/899.07 c #Conflicts: 399000 | #Constraints: 217155
896.56/899.07 c #Conflicts: 400000 | #Constraints: 218155
896.56/899.07 c #Conflicts: 401000 | #Constraints: 219155
896.56/899.07 c #Conflicts: 402000 | #Constraints: 220155
896.56/899.07 c #Conflicts: 403000 | #Constraints: 221155
896.56/899.07 c #Conflicts: 404000 | #Constraints: 222155
896.56/899.07 c #Conflicts: 405000 | #Constraints: 223155
896.56/899.07 c #Conflicts: 406000 | #Constraints: 224155
896.56/899.07 c #Conflicts: 407000 | #Constraints: 225155
896.56/899.07 c #Conflicts: 408000 | #Constraints: 226155
896.56/899.07 c #Conflicts: 409000 | #Constraints: 227155
896.56/899.07 c #Conflicts: 410000 | #Constraints: 228155
896.56/899.07 c #Conflicts: 411000 | #Constraints: 229155
896.56/899.07 c #Conflicts: 412000 | #Constraints: 230155
896.56/899.07 c #Conflicts: 413000 | #Constraints: 231155
896.56/899.07 c #Conflicts: 414000 | #Constraints: 232155
896.56/899.07 c #Conflicts: 415000 | #Constraints: 233155
896.56/899.07 c #Conflicts: 416000 | #Constraints: 234155
896.56/899.07 c #Conflicts: 417000 | #Constraints: 235155
896.56/899.07 c #Conflicts: 418000 | #Constraints: 236155
896.56/899.07 c #Conflicts: 419000 | #Constraints: 237155
896.56/899.07 c #Conflicts: 420000 | #Constraints: 238155
896.56/899.07 c #Conflicts: 421000 | #Constraints: 239155
896.56/899.07 c #Conflicts: 422000 | #Constraints: 240155
896.56/899.07 c #Conflicts: 423000 | #Constraints: 241155
896.56/899.07 c #Conflicts: 424000 | #Constraints: 242155
896.56/899.07 c #Conflicts: 425000 | #Constraints: 243155
896.56/899.07 c #Conflicts: 426000 | #Constraints: 244155
896.56/899.07 c INPROCESSING
896.56/899.07 c GARBAGE COLLECT
896.56/899.07 c #Conflicts: 427000 | #Constraints: 209445
896.56/899.07 c #Conflicts: 428000 | #Constraints: 210445
896.56/899.07 c #Conflicts: 429000 | #Constraints: 211445
896.56/899.07 c #Conflicts: 430000 | #Constraints: 212445
896.56/899.07 c #Conflicts: 431000 | #Constraints: 213445
896.56/899.07 c #Conflicts: 432000 | #Constraints: 214445
896.56/899.07 c #Conflicts: 433000 | #Constraints: 215445
896.56/899.07 c #Conflicts: 434000 | #Constraints: 216445
896.56/899.07 c #Conflicts: 435000 | #Constraints: 217445
896.56/899.07 c #Conflicts: 436000 | #Constraints: 218445
896.56/899.07 c #Conflicts: 437000 | #Constraints: 219445
896.56/899.07 c #Conflicts: 438000 | #Constraints: 220445
896.56/899.07 c #Conflicts: 439000 | #Constraints: 221445
896.56/899.07 c #Conflicts: 440000 | #Constraints: 222445
896.56/899.07 c #Conflicts: 441000 | #Constraints: 223445
896.56/899.07 c #Conflicts: 442000 | #Constraints: 224445
896.56/899.07 c #Conflicts: 443000 | #Constraints: 225445
896.56/899.07 c #Conflicts: 444000 | #Constraints: 226445
896.56/899.07 c #Conflicts: 445000 | #Constraints: 227445
896.56/899.07 c #Conflicts: 446000 | #Constraints: 228445
896.56/899.07 c #Conflicts: 447000 | #Constraints: 229445
972.25/974.91 c #Conflicts: 448000 | #Constraints: 230445
972.25/974.91 c #Conflicts: 449000 | #Constraints: 231445
972.25/974.91 c #Conflicts: 450000 | #Constraints: 232445
972.25/974.91 c #Conflicts: 451000 | #Constraints: 233445
972.25/974.91 c #Conflicts: 452000 | #Constraints: 234445
972.25/974.91 c #Conflicts: 453000 | #Constraints: 235445
972.25/974.91 c #Conflicts: 454000 | #Constraints: 236445
972.25/974.91 c #Conflicts: 455000 | #Constraints: 237445
972.25/974.91 c #Conflicts: 456000 | #Constraints: 238445
972.25/974.91 c #Conflicts: 457000 | #Constraints: 239445
972.25/974.91 c #Conflicts: 458000 | #Constraints: 240445
972.25/974.91 c #Conflicts: 459000 | #Constraints: 241445
972.25/974.91 c #Conflicts: 460000 | #Constraints: 242445
972.25/974.91 c #Conflicts: 461000 | #Constraints: 243445
972.25/974.91 c #Conflicts: 462000 | #Constraints: 244445
972.25/974.91 c #Conflicts: 463000 | #Constraints: 245445
972.25/974.91 c #Conflicts: 464000 | #Constraints: 246445
972.25/974.91 c #Conflicts: 465000 | #Constraints: 247445
972.25/974.91 c #Conflicts: 466000 | #Constraints: 248445
972.25/974.91 c #Conflicts: 467000 | #Constraints: 249445
972.25/974.91 c #Conflicts: 468000 | #Constraints: 250445
972.25/974.91 c #Conflicts: 469000 | #Constraints: 251445
972.25/974.91 c INPROCESSING
972.25/974.91 c GARBAGE COLLECT
972.25/974.91 c #Conflicts: 470000 | #Constraints: 214745
972.25/974.91 c #Conflicts: 471000 | #Constraints: 215745
972.25/974.91 c #Conflicts: 472000 | #Constraints: 216745
972.25/974.91 c #Conflicts: 473000 | #Constraints: 217745
972.25/974.91 c #Conflicts: 474000 | #Constraints: 218745
972.25/974.91 c #Conflicts: 475000 | #Constraints: 219745
972.25/974.91 c #Conflicts: 476000 | #Constraints: 220745
972.25/974.91 c #Conflicts: 477000 | #Constraints: 221745
972.25/974.91 c #Conflicts: 478000 | #Constraints: 222745
972.25/974.91 c #Conflicts: 479000 | #Constraints: 223745
972.25/974.91 c #Conflicts: 480000 | #Constraints: 224745
972.25/974.91 c #Conflicts: 481000 | #Constraints: 225745
972.25/974.91 c #Conflicts: 482000 | #Constraints: 226745
972.25/974.91 c #Conflicts: 483000 | #Constraints: 227745
972.25/974.91 c #Conflicts: 484000 | #Constraints: 228745
972.25/974.91 c #Conflicts: 485000 | #Constraints: 229745
972.25/974.91 c #Conflicts: 486000 | #Constraints: 230745
972.25/974.91 c #Conflicts: 487000 | #Constraints: 231745
972.25/974.91 c #Conflicts: 488000 | #Constraints: 232745
972.25/974.91 c #Conflicts: 489000 | #Constraints: 233745
972.25/974.91 c #Conflicts: 490000 | #Constraints: 234745
972.25/974.91 c #Conflicts: 491000 | #Constraints: 235745
972.25/974.91 c #Conflicts: 492000 | #Constraints: 236745
972.25/974.91 c #Conflicts: 493000 | #Constraints: 237745
972.25/974.91 c #Conflicts: 494000 | #Constraints: 238745
972.25/974.91 c #Conflicts: 495000 | #Constraints: 239745
972.25/974.91 c #Conflicts: 496000 | #Constraints: 240745
972.25/974.91 c #Conflicts: 497000 | #Constraints: 241745
972.25/974.91 c #Conflicts: 498000 | #Constraints: 242745
972.25/974.91 c #Conflicts: 499000 | #Constraints: 243745
972.25/974.91 c #Conflicts: 500000 | #Constraints: 244745
972.25/974.91 c #Conflicts: 501000 | #Constraints: 245745
972.25/974.91 c #Conflicts: 502000 | #Constraints: 246745
972.25/974.91 c #Conflicts: 503000 | #Constraints: 247745
972.25/974.91 c #Conflicts: 504000 | #Constraints: 248745
972.25/974.91 c #Conflicts: 505000 | #Constraints: 249745
972.25/974.91 c #Conflicts: 506000 | #Constraints: 250745
972.25/974.91 c #Conflicts: 507000 | #Constraints: 251745
972.25/974.91 c #Conflicts: 508000 | #Constraints: 252745
972.25/974.91 c #Conflicts: 509000 | #Constraints: 253745
972.25/974.91 c #Conflicts: 510000 | #Constraints: 254745
972.25/974.91 c #Conflicts: 511000 | #Constraints: 255745
972.25/974.91 c #Conflicts: 512000 | #Constraints: 256745
972.25/974.91 c #Conflicts: 513000 | #Constraints: 257745
972.25/974.91 c INPROCESSING
972.25/974.91 c GARBAGE COLLECT
972.25/974.91 c #Conflicts: 514000 | #Constraints: 219516
972.25/974.91 c #Conflicts: 515000 | #Constraints: 220516
972.25/974.91 c #Conflicts: 516000 | #Constraints: 221516
972.25/974.91 c #Conflicts: 517000 | #Constraints: 222516
972.25/974.91 c #Conflicts: 518000 | #Constraints: 223516
972.25/974.91 c #Conflicts: 519000 | #Constraints: 224516
972.25/974.91 c #Conflicts: 520000 | #Constraints: 225516
972.25/974.91 c #Conflicts: 521000 | #Constraints: 226516
972.25/974.91 c #Conflicts: 522000 | #Constraints: 227516
972.25/974.91 c #Conflicts: 523000 | #Constraints: 228516
972.25/974.91 c #Conflicts: 524000 | #Constraints: 229516
972.25/974.91 c #Conflicts: 525000 | #Constraints: 230516
1039.46/1042.36 c #Conflicts: 526000 | #Constraints: 231516
1039.46/1042.36 c #Conflicts: 527000 | #Constraints: 232516
1039.46/1042.36 c #Conflicts: 528000 | #Constraints: 233516
1039.46/1042.36 c #Conflicts: 529000 | #Constraints: 234516
1039.46/1042.36 c #Conflicts: 530000 | #Constraints: 235516
1039.46/1042.36 c #Conflicts: 531000 | #Constraints: 236516
1039.46/1042.36 c #Conflicts: 532000 | #Constraints: 237516
1039.46/1042.36 c #Conflicts: 533000 | #Constraints: 238516
1039.46/1042.36 c #Conflicts: 534000 | #Constraints: 239516
1039.46/1042.36 c #Conflicts: 535000 | #Constraints: 240516
1039.46/1042.36 c #Conflicts: 536000 | #Constraints: 241516
1039.46/1042.36 c #Conflicts: 537000 | #Constraints: 242516
1039.46/1042.36 c #Conflicts: 538000 | #Constraints: 243516
1039.46/1042.36 c #Conflicts: 539000 | #Constraints: 244516
1039.46/1042.36 c #Conflicts: 540000 | #Constraints: 245516
1039.46/1042.36 c #Conflicts: 541000 | #Constraints: 246516
1039.46/1042.36 c #Conflicts: 542000 | #Constraints: 247516
1039.46/1042.36 c #Conflicts: 543000 | #Constraints: 248516
1039.46/1042.36 c #Conflicts: 544000 | #Constraints: 249516
1039.46/1042.36 c #Conflicts: 545000 | #Constraints: 250516
1039.46/1042.36 c #Conflicts: 546000 | #Constraints: 251516
1039.46/1042.36 c #Conflicts: 547000 | #Constraints: 252516
1039.46/1042.36 c #Conflicts: 548000 | #Constraints: 253516
1039.46/1042.36 c #Conflicts: 549000 | #Constraints: 254516
1039.46/1042.36 c #Conflicts: 550000 | #Constraints: 255516
1039.46/1042.36 c #Conflicts: 551000 | #Constraints: 256516
1039.46/1042.36 c #Conflicts: 552000 | #Constraints: 257516
1039.46/1042.36 c #Conflicts: 553000 | #Constraints: 258516
1039.46/1042.36 c #Conflicts: 554000 | #Constraints: 259516
1039.46/1042.36 c #Conflicts: 555000 | #Constraints: 260516
1039.46/1042.36 c #Conflicts: 556000 | #Constraints: 261516
1039.46/1042.36 c #Conflicts: 557000 | #Constraints: 262516
1039.46/1042.36 c #Conflicts: 558000 | #Constraints: 263516
1039.46/1042.36 c #Conflicts: 559000 | #Constraints: 264516
1039.46/1042.36 c #Conflicts: 560000 | #Constraints: 265516
1039.46/1042.36 c INPROCESSING
1039.46/1042.36 c GARBAGE COLLECT
1039.46/1042.36 c #Conflicts: 561000 | #Constraints: 225059
1039.46/1042.36 c #Conflicts: 562000 | #Constraints: 226059
1039.46/1042.36 c #Conflicts: 563000 | #Constraints: 227059
1039.46/1042.36 c #Conflicts: 564000 | #Constraints: 228059
1039.46/1042.37 c #Conflicts: 565000 | #Constraints: 229059
1039.46/1042.37 c #Conflicts: 566000 | #Constraints: 230059
1039.46/1042.37 c #Conflicts: 567000 | #Constraints: 231059
1039.46/1042.37 c #Conflicts: 568000 | #Constraints: 232059
1039.46/1042.37 c #Conflicts: 569000 | #Constraints: 233059
1039.46/1042.37 c #Conflicts: 570000 | #Constraints: 234059
1039.46/1042.37 c #Conflicts: 571000 | #Constraints: 235059
1039.46/1042.37 c #Conflicts: 572000 | #Constraints: 236059
1039.46/1042.37 c #Conflicts: 573000 | #Constraints: 237059
1039.46/1042.37 c #Conflicts: 574000 | #Constraints: 238059
1039.46/1042.37 c #Conflicts: 575000 | #Constraints: 239059
1039.46/1042.37 c #Conflicts: 576000 | #Constraints: 240059
1039.46/1042.37 c #Conflicts: 577000 | #Constraints: 241059
1039.46/1042.37 c #Conflicts: 578000 | #Constraints: 242059
1039.46/1042.37 c #Conflicts: 579000 | #Constraints: 243059
1039.46/1042.37 c #Conflicts: 580000 | #Constraints: 244059
1039.46/1042.37 c #Conflicts: 581000 | #Constraints: 245059
1039.46/1042.37 c #Conflicts: 582000 | #Constraints: 246059
1039.46/1042.37 c #Conflicts: 583000 | #Constraints: 247059
1039.46/1042.37 c #Conflicts: 584000 | #Constraints: 248059
1039.46/1042.37 c #Conflicts: 585000 | #Constraints: 249059
1039.46/1042.37 c #Conflicts: 586000 | #Constraints: 250059
1039.46/1042.37 c #Conflicts: 587000 | #Constraints: 251059
1039.46/1042.37 c #Conflicts: 588000 | #Constraints: 252059
1039.46/1042.37 c #Conflicts: 589000 | #Constraints: 253059
1039.46/1042.37 c #Conflicts: 590000 | #Constraints: 254059
1039.46/1042.37 c #Conflicts: 591000 | #Constraints: 255059
1039.46/1042.37 c #Conflicts: 592000 | #Constraints: 256059
1039.46/1042.37 c #Conflicts: 593000 | #Constraints: 257059
1039.46/1042.37 c #Conflicts: 594000 | #Constraints: 258059
1039.46/1042.37 c #Conflicts: 595000 | #Constraints: 259059
1039.46/1042.37 c #Conflicts: 596000 | #Constraints: 260059
1039.46/1042.37 c #Conflicts: 597000 | #Constraints: 261059
1039.46/1042.37 c #Conflicts: 598000 | #Constraints: 262059
1039.46/1042.37 c #Conflicts: 599000 | #Constraints: 263059
1039.46/1042.37 c #Conflicts: 600000 | #Constraints: 264059
1039.46/1042.37 c #Conflicts: 601000 | #Constraints: 265059
1039.46/1042.37 c #Conflicts: 602000 | #Constraints: 266059
1039.46/1042.37 c #Conflicts: 603000 | #Constraints: 267059
1106.09/1109.19 c #Conflicts: 604000 | #Constraints: 268059
1106.09/1109.19 c #Conflicts: 605000 | #Constraints: 269059
1106.09/1109.19 c #Conflicts: 606000 | #Constraints: 270059
1106.09/1109.19 c #Conflicts: 607000 | #Constraints: 271059
1106.09/1109.19 c #Conflicts: 608000 | #Constraints: 272059
1106.09/1109.19 c INPROCESSING
1106.09/1109.19 c GARBAGE COLLECT
1106.09/1109.19 c #Conflicts: 609000 | #Constraints: 230069
1106.09/1109.19 c #Conflicts: 610000 | #Constraints: 231069
1106.09/1109.19 c #Conflicts: 611000 | #Constraints: 232069
1106.09/1109.19 c #Conflicts: 612000 | #Constraints: 233069
1106.09/1109.19 c #Conflicts: 613000 | #Constraints: 234069
1106.09/1109.19 c #Conflicts: 614000 | #Constraints: 235069
1106.09/1109.19 c #Conflicts: 615000 | #Constraints: 236069
1106.09/1109.19 c #Conflicts: 616000 | #Constraints: 237069
1106.09/1109.19 c #Conflicts: 617000 | #Constraints: 238069
1106.09/1109.19 c #Conflicts: 618000 | #Constraints: 239069
1106.09/1109.19 c #Conflicts: 619000 | #Constraints: 240069
1106.09/1109.19 c #Conflicts: 620000 | #Constraints: 241069
1106.09/1109.19 c #Conflicts: 621000 | #Constraints: 242069
1106.09/1109.19 c #Conflicts: 622000 | #Constraints: 243069
1106.09/1109.19 c #Conflicts: 623000 | #Constraints: 244069
1106.09/1109.19 c #Conflicts: 624000 | #Constraints: 245069
1106.09/1109.19 c #Conflicts: 625000 | #Constraints: 246069
1106.09/1109.19 c #Conflicts: 626000 | #Constraints: 247069
1106.09/1109.19 c #Conflicts: 627000 | #Constraints: 248069
1106.09/1109.19 c #Conflicts: 628000 | #Constraints: 249069
1106.09/1109.19 c #Conflicts: 629000 | #Constraints: 250069
1106.09/1109.19 c #Conflicts: 630000 | #Constraints: 251069
1106.09/1109.19 c #Conflicts: 631000 | #Constraints: 252069
1106.09/1109.19 c #Conflicts: 632000 | #Constraints: 253069
1106.09/1109.19 c #Conflicts: 633000 | #Constraints: 254069
1106.09/1109.19 c #Conflicts: 634000 | #Constraints: 255069
1106.09/1109.19 c #Conflicts: 635000 | #Constraints: 256069
1106.09/1109.19 c #Conflicts: 636000 | #Constraints: 257069
1106.09/1109.19 c #Conflicts: 637000 | #Constraints: 258069
1106.09/1109.19 c #Conflicts: 638000 | #Constraints: 259069
1106.09/1109.19 c #Conflicts: 639000 | #Constraints: 260069
1106.09/1109.19 c #Conflicts: 640000 | #Constraints: 261069
1106.09/1109.19 c #Conflicts: 641000 | #Constraints: 262069
1106.09/1109.19 c #Conflicts: 642000 | #Constraints: 263069
1106.09/1109.19 c #Conflicts: 643000 | #Constraints: 264069
1106.09/1109.19 c #Conflicts: 644000 | #Constraints: 265069
1106.09/1109.19 c #Conflicts: 645000 | #Constraints: 266069
1106.09/1109.19 c #Conflicts: 646000 | #Constraints: 267069
1106.09/1109.19 c #Conflicts: 647000 | #Constraints: 268069
1106.09/1109.19 c #Conflicts: 648000 | #Constraints: 269069
1106.09/1109.19 c #Conflicts: 649000 | #Constraints: 270069
1106.09/1109.19 c #Conflicts: 650000 | #Constraints: 271069
1106.09/1109.19 c #Conflicts: 651000 | #Constraints: 272069
1106.09/1109.19 c #Conflicts: 652000 | #Constraints: 273069
1106.09/1109.19 c #Conflicts: 653000 | #Constraints: 274069
1106.09/1109.19 c #Conflicts: 654000 | #Constraints: 275069
1106.09/1109.19 c #Conflicts: 655000 | #Constraints: 276069
1106.09/1109.19 c #Conflicts: 656000 | #Constraints: 277069
1106.09/1109.19 c #Conflicts: 657000 | #Constraints: 278069
1106.09/1109.19 c #Conflicts: 658000 | #Constraints: 279069
1106.09/1109.19 c INPROCESSING
1106.09/1109.19 c GARBAGE COLLECT
1106.09/1109.19 c #Conflicts: 659000 | #Constraints: 234679
1106.09/1109.19 c #Conflicts: 660000 | #Constraints: 235679
1106.09/1109.19 c #Conflicts: 661000 | #Constraints: 236679
1106.09/1109.19 c #Conflicts: 662000 | #Constraints: 237679
1106.09/1109.19 c #Conflicts: 663000 | #Constraints: 238679
1106.09/1109.19 c #Conflicts: 664000 | #Constraints: 239679
1106.09/1109.19 c #Conflicts: 665000 | #Constraints: 240679
1106.09/1109.19 c #Conflicts: 666000 | #Constraints: 241679
1106.09/1109.19 c #Conflicts: 667000 | #Constraints: 242679
1106.09/1109.19 c #Conflicts: 668000 | #Constraints: 243679
1106.09/1109.19 c #Conflicts: 669000 | #Constraints: 244679
1106.09/1109.19 c #Conflicts: 670000 | #Constraints: 245679
1106.09/1109.19 c #Conflicts: 671000 | #Constraints: 246679
1106.09/1109.19 c #Conflicts: 672000 | #Constraints: 247679
1106.09/1109.19 c #Conflicts: 673000 | #Constraints: 248679
1106.09/1109.19 c #Conflicts: 674000 | #Constraints: 249679
1106.09/1109.19 c #Conflicts: 675000 | #Constraints: 250679
1106.09/1109.19 c #Conflicts: 676000 | #Constraints: 251679
1106.09/1109.19 c #Conflicts: 677000 | #Constraints: 252679
1106.09/1109.19 c #Conflicts: 678000 | #Constraints: 253679
1106.09/1109.19 c #Conflicts: 679000 | #Constraints: 254679
1106.09/1109.19 c #Conflicts: 680000 | #Constraints: 255679
1371.87/1375.61 c #Conflicts: 681000 | #Constraints: 256679
1371.87/1375.61 c #Conflicts: 682000 | #Constraints: 257679
1371.87/1375.61 c #Conflicts: 683000 | #Constraints: 258679
1371.87/1375.61 c #Conflicts: 684000 | #Constraints: 259679
1371.87/1375.61 c #Conflicts: 685000 | #Constraints: 260679
1371.87/1375.61 c #Conflicts: 686000 | #Constraints: 261679
1371.87/1375.61 c #Conflicts: 687000 | #Constraints: 262679
1371.87/1375.61 c #Conflicts: 688000 | #Constraints: 263679
1371.87/1375.61 c #Conflicts: 689000 | #Constraints: 264679
1371.87/1375.61 c #Conflicts: 690000 | #Constraints: 265679
1371.87/1375.61 c #Conflicts: 691000 | #Constraints: 266679
1371.87/1375.61 c #Conflicts: 692000 | #Constraints: 267679
1371.87/1375.61 c #Conflicts: 693000 | #Constraints: 268679
1371.87/1375.61 c #Conflicts: 694000 | #Constraints: 269679
1371.87/1375.61 c #Conflicts: 695000 | #Constraints: 270679
1371.87/1375.61 c #Conflicts: 696000 | #Constraints: 271679
1371.87/1375.61 c #Conflicts: 697000 | #Constraints: 272679
1371.87/1375.61 c #Conflicts: 698000 | #Constraints: 273679
1371.87/1375.61 c #Conflicts: 699000 | #Constraints: 274679
1371.87/1375.61 c #Conflicts: 700000 | #Constraints: 275679
1371.87/1375.61 c #Conflicts: 701000 | #Constraints: 276679
1371.87/1375.61 c #Conflicts: 702000 | #Constraints: 277679
1371.87/1375.61 c #Conflicts: 703000 | #Constraints: 278679
1371.87/1375.61 c #Conflicts: 704000 | #Constraints: 279679
1371.87/1375.61 c #Conflicts: 705000 | #Constraints: 280679
1371.87/1375.61 c #Conflicts: 706000 | #Constraints: 281679
1371.87/1375.61 c #Conflicts: 707000 | #Constraints: 282679
1371.87/1375.61 c #Conflicts: 708000 | #Constraints: 283679
1371.87/1375.61 c #Conflicts: 709000 | #Constraints: 284679
1371.87/1375.61 c #Conflicts: 710000 | #Constraints: 285679
1371.87/1375.61 c #Conflicts: 711000 | #Constraints: 286679
1371.87/1375.61 c INPROCESSING
1371.87/1375.61 c GARBAGE COLLECT
1371.87/1375.61 c #Conflicts: 712000 | #Constraints: 240581
1371.87/1375.61 c #Conflicts: 713000 | #Constraints: 241581
1371.87/1375.61 c #Conflicts: 714000 | #Constraints: 242581
1371.87/1375.61 c #Conflicts: 715000 | #Constraints: 243581
1371.87/1375.61 c #Conflicts: 716000 | #Constraints: 244581
1371.87/1375.61 c #Conflicts: 717000 | #Constraints: 245581
1371.87/1375.61 c #Conflicts: 718000 | #Constraints: 246581
1371.87/1375.61 c #Conflicts: 719000 | #Constraints: 247581
1371.87/1375.61 c #Conflicts: 720000 | #Constraints: 248581
1371.87/1375.61 c #Conflicts: 721000 | #Constraints: 249581
1371.87/1375.61 c #Conflicts: 722000 | #Constraints: 250581
1371.87/1375.61 c #Conflicts: 723000 | #Constraints: 251581
1371.87/1375.61 c #Conflicts: 724000 | #Constraints: 252581
1371.87/1375.61 c #Conflicts: 725000 | #Constraints: 253581
1371.87/1375.61 c #Conflicts: 726000 | #Constraints: 254581
1371.87/1375.61 c #Conflicts: 727000 | #Constraints: 255581
1371.87/1375.61 c #Conflicts: 728000 | #Constraints: 256581
1371.87/1375.61 c #Conflicts: 729000 | #Constraints: 257581
1371.87/1375.61 c #Conflicts: 730000 | #Constraints: 258581
1371.87/1375.61 c #Conflicts: 731000 | #Constraints: 259581
1371.87/1375.61 c #Conflicts: 732000 | #Constraints: 260581
1371.87/1375.61 c #Conflicts: 733000 | #Constraints: 261581
1371.87/1375.61 c #Conflicts: 734000 | #Constraints: 262581
1371.87/1375.61 c #Conflicts: 735000 | #Constraints: 263581
1371.87/1375.61 c #Conflicts: 736000 | #Constraints: 264581
1371.87/1375.61 c #Conflicts: 737000 | #Constraints: 265581
1371.87/1375.61 c #Conflicts: 738000 | #Constraints: 266581
1371.87/1375.61 c #Conflicts: 739000 | #Constraints: 267581
1371.87/1375.61 c #Conflicts: 740000 | #Constraints: 268581
1371.87/1375.61 c #Conflicts: 741000 | #Constraints: 269581
1371.87/1375.61 c #Conflicts: 742000 | #Constraints: 270581
1371.87/1375.61 c #Conflicts: 743000 | #Constraints: 271581
1371.87/1375.61 c #Conflicts: 744000 | #Constraints: 272581
1371.87/1375.61 c #Conflicts: 745000 | #Constraints: 273581
1371.87/1375.61 c #Conflicts: 746000 | #Constraints: 274581
1371.87/1375.61 c #Conflicts: 747000 | #Constraints: 275581
1371.87/1375.61 c #Conflicts: 748000 | #Constraints: 276581
1371.87/1375.61 c #Conflicts: 749000 | #Constraints: 277581
1371.87/1375.61 c #Conflicts: 750000 | #Constraints: 278581
1371.87/1375.61 c #Conflicts: 751000 | #Constraints: 279581
1371.87/1375.61 c #Conflicts: 752000 | #Constraints: 280581
1371.87/1375.61 c #Conflicts: 753000 | #Constraints: 281581
1371.87/1375.61 c #Conflicts: 754000 | #Constraints: 282581
1371.87/1375.61 c #Conflicts: 755000 | #Constraints: 283581
1371.87/1375.61 c #Conflicts: 756000 | #Constraints: 284581
1371.87/1375.61 c #Conflicts: 757000 | #Constraints: 285581
1371.87/1375.61 c #Conflicts: 758000 | #Constraints: 286581
1371.87/1375.61 c #Conflicts: 759000 | #Constraints: 287581
1634.76/1639.22 c #Conflicts: 760000 | #Constraints: 288581
1634.76/1639.22 c #Conflicts: 761000 | #Constraints: 289581
1634.76/1639.22 c #Conflicts: 762000 | #Constraints: 290581
1634.76/1639.22 c #Conflicts: 763000 | #Constraints: 291581
1634.76/1639.22 c #Conflicts: 764000 | #Constraints: 292581
1634.76/1639.22 c #Conflicts: 765000 | #Constraints: 293581
1634.76/1639.22 c INPROCESSING
1634.76/1639.22 c GARBAGE COLLECT
1634.76/1639.22 c #Conflicts: 766000 | #Constraints: 245176
1634.76/1639.22 c #Conflicts: 767000 | #Constraints: 246176
1634.76/1639.22 c #Conflicts: 768000 | #Constraints: 247176
1634.76/1639.22 c #Conflicts: 769000 | #Constraints: 248176
1634.76/1639.22 c #Conflicts: 770000 | #Constraints: 249176
1634.76/1639.22 c #Conflicts: 771000 | #Constraints: 250176
1634.76/1639.22 c #Conflicts: 772000 | #Constraints: 251176
1634.76/1639.22 c #Conflicts: 773000 | #Constraints: 252176
1634.76/1639.22 c #Conflicts: 774000 | #Constraints: 253176
1634.76/1639.22 c #Conflicts: 775000 | #Constraints: 254176
1634.76/1639.22 c #Conflicts: 776000 | #Constraints: 255176
1634.76/1639.22 c #Conflicts: 777000 | #Constraints: 256176
1634.76/1639.22 c #Conflicts: 778000 | #Constraints: 257176
1634.76/1639.22 c #Conflicts: 779000 | #Constraints: 258176
1634.76/1639.22 c #Conflicts: 780000 | #Constraints: 259176
1634.76/1639.22 c #Conflicts: 781000 | #Constraints: 260176
1634.76/1639.22 c #Conflicts: 782000 | #Constraints: 261176
1634.76/1639.22 c #Conflicts: 783000 | #Constraints: 262176
1634.76/1639.22 c #Conflicts: 784000 | #Constraints: 263176
1634.76/1639.22 c #Conflicts: 785000 | #Constraints: 264176
1634.76/1639.22 c #Conflicts: 786000 | #Constraints: 265176
1634.76/1639.22 c #Conflicts: 787000 | #Constraints: 266176
1634.76/1639.22 c #Conflicts: 788000 | #Constraints: 267176
1634.76/1639.22 c #Conflicts: 789000 | #Constraints: 268176
1634.76/1639.22 c #Conflicts: 790000 | #Constraints: 269176
1634.76/1639.22 c #Conflicts: 791000 | #Constraints: 270176
1634.76/1639.22 c #Conflicts: 792000 | #Constraints: 271176
1634.76/1639.22 c #Conflicts: 793000 | #Constraints: 272176
1634.76/1639.22 c #Conflicts: 794000 | #Constraints: 273176
1634.76/1639.22 c #Conflicts: 795000 | #Constraints: 274176
1634.76/1639.22 c #Conflicts: 796000 | #Constraints: 275176
1634.76/1639.22 c #Conflicts: 797000 | #Constraints: 276176
1634.76/1639.22 c #Conflicts: 798000 | #Constraints: 277176
1634.76/1639.22 c #Conflicts: 799000 | #Constraints: 278176
1634.76/1639.22 c #Conflicts: 800000 | #Constraints: 279176
1634.76/1639.22 c #Conflicts: 801000 | #Constraints: 280176
1634.76/1639.22 c #Conflicts: 802000 | #Constraints: 281176
1634.76/1639.22 c #Conflicts: 803000 | #Constraints: 282176
1634.76/1639.22 c #Conflicts: 804000 | #Constraints: 283176
1634.76/1639.22 c #Conflicts: 805000 | #Constraints: 284176
1634.76/1639.22 c #Conflicts: 806000 | #Constraints: 285176
1634.76/1639.22 c #Conflicts: 807000 | #Constraints: 286176
1634.76/1639.22 c #Conflicts: 808000 | #Constraints: 287176
1634.76/1639.22 c #Conflicts: 809000 | #Constraints: 288176
1634.76/1639.22 c #Conflicts: 810000 | #Constraints: 289176
1634.76/1639.22 c #Conflicts: 811000 | #Constraints: 290176
1634.76/1639.22 c #Conflicts: 812000 | #Constraints: 291176
1634.76/1639.22 c #Conflicts: 813000 | #Constraints: 292176
1634.76/1639.22 c #Conflicts: 814000 | #Constraints: 293176
1634.76/1639.22 c #Conflicts: 815000 | #Constraints: 294176
1634.76/1639.22 c #Conflicts: 816000 | #Constraints: 295176
1634.76/1639.22 c #Conflicts: 817000 | #Constraints: 296176
1634.76/1639.22 c #Conflicts: 818000 | #Constraints: 297176
1634.76/1639.22 c #Conflicts: 819000 | #Constraints: 298176
1634.76/1639.22 c #Conflicts: 820000 | #Constraints: 299176
1634.76/1639.22 c #Conflicts: 821000 | #Constraints: 300176
1634.76/1639.22 c #Conflicts: 822000 | #Constraints: 301176
1634.76/1639.22 c INPROCESSING
1634.76/1639.22 c GARBAGE COLLECT
1634.76/1639.22 c rational objective 25266.6
1697.58/1702.20 c #Conflicts: 823000 | #Constraints: 251586
1697.58/1702.20 c #Conflicts: 824000 | #Constraints: 252586
1697.58/1702.20 c #Conflicts: 825000 | #Constraints: 253586
1697.58/1702.20 c #Conflicts: 826000 | #Constraints: 254586
1697.58/1702.20 c #Conflicts: 827000 | #Constraints: 255586
1697.58/1702.20 c #Conflicts: 828000 | #Constraints: 256586
1697.58/1702.20 c #Conflicts: 829000 | #Constraints: 257586
1697.58/1702.20 c #Conflicts: 830000 | #Constraints: 258586
1697.58/1702.20 c #Conflicts: 831000 | #Constraints: 259586
1697.58/1702.20 c #Conflicts: 832000 | #Constraints: 260586
1697.58/1702.20 c #Conflicts: 833000 | #Constraints: 261586
1697.58/1702.20 c #Conflicts: 834000 | #Constraints: 262586
1697.58/1702.20 c #Conflicts: 835000 | #Constraints: 263586
1697.58/1702.20 c #Conflicts: 836000 | #Constraints: 264586
1697.58/1702.20 c #Conflicts: 837000 | #Constraints: 265586
1697.58/1702.20 c #Conflicts: 838000 | #Constraints: 266586
1697.58/1702.20 c #Conflicts: 839000 | #Constraints: 267586
1697.58/1702.20 c #Conflicts: 840000 | #Constraints: 268586
1697.58/1702.20 c #Conflicts: 841000 | #Constraints: 269586
1697.58/1702.20 c #Conflicts: 842000 | #Constraints: 270586
1697.58/1702.20 c #Conflicts: 843000 | #Constraints: 271586
1697.58/1702.20 c #Conflicts: 844000 | #Constraints: 272586
1697.58/1702.20 c #Conflicts: 845000 | #Constraints: 273586
1697.58/1702.20 c #Conflicts: 846000 | #Constraints: 274586
1697.58/1702.20 c #Conflicts: 847000 | #Constraints: 275586
1697.58/1702.20 c #Conflicts: 848000 | #Constraints: 276586
1697.58/1702.20 c #Conflicts: 849000 | #Constraints: 277586
1697.58/1702.20 c #Conflicts: 850000 | #Constraints: 278586
1697.58/1702.20 c #Conflicts: 851000 | #Constraints: 279586
1697.58/1702.20 c #Conflicts: 852000 | #Constraints: 280586
1697.58/1702.20 c #Conflicts: 853000 | #Constraints: 281586
1697.58/1702.20 c #Conflicts: 854000 | #Constraints: 282586
1697.58/1702.20 c #Conflicts: 855000 | #Constraints: 283586
1697.58/1702.20 c #Conflicts: 856000 | #Constraints: 284586
1697.58/1702.20 c #Conflicts: 857000 | #Constraints: 285586
1697.58/1702.20 c #Conflicts: 858000 | #Constraints: 286586
1697.58/1702.20 c #Conflicts: 859000 | #Constraints: 287586
1697.58/1702.20 c #Conflicts: 860000 | #Constraints: 288586
1697.58/1702.20 c #Conflicts: 861000 | #Constraints: 289586
1697.58/1702.20 c #Conflicts: 862000 | #Constraints: 290586
1697.58/1702.20 c #Conflicts: 863000 | #Constraints: 291586
1697.58/1702.20 c #Conflicts: 864000 | #Constraints: 292586
1697.58/1702.20 c #Conflicts: 865000 | #Constraints: 293586
1697.58/1702.20 c #Conflicts: 866000 | #Constraints: 294586
1697.58/1702.20 c #Conflicts: 867000 | #Constraints: 295586
1697.58/1702.20 c #Conflicts: 868000 | #Constraints: 296586
1697.58/1702.20 c #Conflicts: 869000 | #Constraints: 297586
1697.58/1702.20 c #Conflicts: 870000 | #Constraints: 298586
1697.58/1702.20 c #Conflicts: 871000 | #Constraints: 299586
1697.58/1702.20 c #Conflicts: 872000 | #Constraints: 300586
1697.58/1702.20 c #Conflicts: 873000 | #Constraints: 301586
1697.58/1702.20 c #Conflicts: 874000 | #Constraints: 302586
1697.58/1702.20 c #Conflicts: 875000 | #Constraints: 303586
1697.58/1702.20 c #Conflicts: 876000 | #Constraints: 304586
1697.58/1702.20 c #Conflicts: 877000 | #Constraints: 305586
1697.58/1702.20 c #Conflicts: 878000 | #Constraints: 306586
1697.58/1702.20 c #Conflicts: 879000 | #Constraints: 307586
1697.58/1702.20 c #Conflicts: 880000 | #Constraints: 308586
1697.58/1702.20 c INPROCESSING
1697.58/1702.20 c GARBAGE COLLECT
1697.58/1702.20 c #Conflicts: 881000 | #Constraints: 256484
1697.58/1702.20 c #Conflicts: 882000 | #Constraints: 257484
1697.58/1702.20 c #Conflicts: 883000 | #Constraints: 258484
1697.58/1702.20 c #Conflicts: 884000 | #Constraints: 259484
1697.58/1702.20 c #Conflicts: 885000 | #Constraints: 260484
1697.58/1702.20 c #Conflicts: 886000 | #Constraints: 261484
1697.58/1702.20 c #Conflicts: 887000 | #Constraints: 262484
1697.58/1702.20 c #Conflicts: 888000 | #Constraints: 263484
1697.58/1702.20 c #Conflicts: 889000 | #Constraints: 264484
1697.58/1702.20 c #Conflicts: 890000 | #Constraints: 265484
1697.58/1702.20 c #Conflicts: 891000 | #Constraints: 266484
1697.58/1702.20 c #Conflicts: 892000 | #Constraints: 267484
1697.58/1702.20 c #Conflicts: 893000 | #Constraints: 268484
1697.58/1702.20 c #Conflicts: 894000 | #Constraints: 269484
1697.58/1702.20 c #Conflicts: 895000 | #Constraints: 270484
1697.58/1702.20 c #Conflicts: 896000 | #Constraints: 271484
1697.58/1702.20 c #Conflicts: 897000 | #Constraints: 272484
1697.58/1702.20 c #Conflicts: 898000 | #Constraints: 273484
1697.58/1702.20 c #Conflicts: 899000 | #Constraints: 274484
1697.58/1702.20 c #Conflicts: 900000 | #Constraints: 275484
1697.58/1702.20 c #Conflicts: 901000 | #Constraints: 276484
1754.81/1759.65 c #Conflicts: 902000 | #Constraints: 277484
1754.81/1759.65 c #Conflicts: 903000 | #Constraints: 278484
1754.81/1759.65 c #Conflicts: 904000 | #Constraints: 279484
1754.81/1759.65 c #Conflicts: 905000 | #Constraints: 280484
1754.81/1759.65 c #Conflicts: 906000 | #Constraints: 281484
1754.81/1759.65 c #Conflicts: 907000 | #Constraints: 282484
1754.81/1759.65 c #Conflicts: 908000 | #Constraints: 283484
1754.81/1759.65 c #Conflicts: 909000 | #Constraints: 284484
1754.81/1759.65 c #Conflicts: 910000 | #Constraints: 285484
1754.81/1759.65 c #Conflicts: 911000 | #Constraints: 286484
1754.81/1759.65 c #Conflicts: 912000 | #Constraints: 287484
1754.81/1759.65 c #Conflicts: 913000 | #Constraints: 288484
1754.81/1759.65 c #Conflicts: 914000 | #Constraints: 289484
1754.81/1759.65 c #Conflicts: 915000 | #Constraints: 290484
1754.81/1759.65 c #Conflicts: 916000 | #Constraints: 291484
1754.81/1759.65 c #Conflicts: 917000 | #Constraints: 292484
1754.81/1759.65 c #Conflicts: 918000 | #Constraints: 293484
1754.81/1759.65 c #Conflicts: 919000 | #Constraints: 294484
1754.81/1759.65 c #Conflicts: 920000 | #Constraints: 295484
1754.81/1759.65 c #Conflicts: 921000 | #Constraints: 296484
1754.81/1759.65 c #Conflicts: 922000 | #Constraints: 297484
1754.81/1759.65 c #Conflicts: 923000 | #Constraints: 298484
1754.81/1759.65 c #Conflicts: 924000 | #Constraints: 299484
1754.81/1759.65 c #Conflicts: 925000 | #Constraints: 300484
1754.81/1759.65 c #Conflicts: 926000 | #Constraints: 301484
1754.81/1759.65 c #Conflicts: 927000 | #Constraints: 302484
1754.81/1759.65 c #Conflicts: 928000 | #Constraints: 303484
1754.81/1759.65 c #Conflicts: 929000 | #Constraints: 304484
1754.81/1759.65 c #Conflicts: 930000 | #Constraints: 305484
1754.81/1759.65 c #Conflicts: 931000 | #Constraints: 306484
1754.81/1759.65 c #Conflicts: 932000 | #Constraints: 307484
1754.81/1759.65 c #Conflicts: 933000 | #Constraints: 308484
1754.81/1759.65 c #Conflicts: 934000 | #Constraints: 309484
1754.81/1759.65 c #Conflicts: 935000 | #Constraints: 310484
1754.81/1759.65 c #Conflicts: 936000 | #Constraints: 311484
1754.81/1759.65 c #Conflicts: 937000 | #Constraints: 312484
1754.81/1759.65 c #Conflicts: 938000 | #Constraints: 313484
1754.81/1759.65 c #Conflicts: 939000 | #Constraints: 314484
1754.81/1759.65 c #Conflicts: 940000 | #Constraints: 315484
1754.81/1759.65 c INPROCESSING
1754.81/1759.65 c GARBAGE COLLECT
1754.81/1759.65 c #Conflicts: 941000 | #Constraints: 260913
1754.81/1759.65 c #Conflicts: 942000 | #Constraints: 261913
1754.81/1759.65 c #Conflicts: 943000 | #Constraints: 262913
1754.81/1759.65 c #Conflicts: 944000 | #Constraints: 263913
1754.81/1759.65 c #Conflicts: 945000 | #Constraints: 264913
1754.81/1759.65 c #Conflicts: 946000 | #Constraints: 265913
1754.81/1759.65 c #Conflicts: 947000 | #Constraints: 266913
1754.81/1759.65 c #Conflicts: 948000 | #Constraints: 267913
1754.81/1759.65 c #Conflicts: 949000 | #Constraints: 268913
1754.81/1759.65 c #Conflicts: 950000 | #Constraints: 269913
1754.81/1759.65 c #Conflicts: 951000 | #Constraints: 270913
1754.81/1759.65 c #Conflicts: 952000 | #Constraints: 271913
1754.81/1759.65 c #Conflicts: 953000 | #Constraints: 272913
1754.81/1759.65 c #Conflicts: 954000 | #Constraints: 273913
1754.81/1759.65 c #Conflicts: 955000 | #Constraints: 274913
1754.81/1759.65 c #Conflicts: 956000 | #Constraints: 275913
1754.81/1759.65 c #Conflicts: 957000 | #Constraints: 276913
1754.81/1759.65 c #Conflicts: 958000 | #Constraints: 277913
1754.81/1759.65 c #Conflicts: 959000 | #Constraints: 278913
1754.81/1759.65 c #Conflicts: 960000 | #Constraints: 279913
1754.81/1759.65 c #Conflicts: 961000 | #Constraints: 280913
1754.81/1759.65 c #Conflicts: 962000 | #Constraints: 281913
1754.81/1759.65 c #Conflicts: 963000 | #Constraints: 282913
1754.81/1759.65 c #Conflicts: 964000 | #Constraints: 283913
1754.81/1759.65 c #Conflicts: 965000 | #Constraints: 284913
1754.81/1759.65 c #Conflicts: 966000 | #Constraints: 285913
1754.81/1759.65 c #Conflicts: 967000 | #Constraints: 286913
1754.81/1759.65 c #Conflicts: 968000 | #Constraints: 287913
1754.81/1759.65 c #Conflicts: 969000 | #Constraints: 288913
1754.81/1759.65 c #Conflicts: 970000 | #Constraints: 289913
1754.81/1759.65 c #Conflicts: 971000 | #Constraints: 290913
1754.81/1759.65 c #Conflicts: 972000 | #Constraints: 291913
1754.81/1759.65 c #Conflicts: 973000 | #Constraints: 292913
1754.81/1759.65 c #Conflicts: 974000 | #Constraints: 293913
1754.81/1759.65 c #Conflicts: 975000 | #Constraints: 294913
1754.81/1759.65 c #Conflicts: 976000 | #Constraints: 295913
1754.81/1759.65 c #Conflicts: 977000 | #Constraints: 296913
1754.81/1759.65 c #Conflicts: 978000 | #Constraints: 297913
1754.81/1759.65 c #Conflicts: 979000 | #Constraints: 298913
1821.01/1826.06 c #Conflicts: 980000 | #Constraints: 299913
1821.01/1826.06 c #Conflicts: 981000 | #Constraints: 300913
1821.01/1826.06 c #Conflicts: 982000 | #Constraints: 301913
1821.01/1826.06 c #Conflicts: 983000 | #Constraints: 302913
1821.01/1826.06 c #Conflicts: 984000 | #Constraints: 303913
1821.01/1826.06 c #Conflicts: 985000 | #Constraints: 304913
1821.01/1826.06 c #Conflicts: 986000 | #Constraints: 305913
1821.01/1826.06 c #Conflicts: 987000 | #Constraints: 306913
1821.01/1826.06 c #Conflicts: 988000 | #Constraints: 307913
1821.01/1826.06 c #Conflicts: 989000 | #Constraints: 308913
1821.01/1826.06 c #Conflicts: 990000 | #Constraints: 309913
1821.01/1826.06 c #Conflicts: 991000 | #Constraints: 310913
1821.01/1826.06 c #Conflicts: 992000 | #Constraints: 311913
1821.01/1826.06 c #Conflicts: 993000 | #Constraints: 312913
1821.01/1826.06 c #Conflicts: 994000 | #Constraints: 313913
1821.01/1826.06 c #Conflicts: 995000 | #Constraints: 314913
1821.01/1826.06 c #Conflicts: 996000 | #Constraints: 315913
1821.01/1826.06 c #Conflicts: 997000 | #Constraints: 316913
1821.01/1826.06 c #Conflicts: 998000 | #Constraints: 317913
1821.01/1826.06 c #Conflicts: 999000 | #Constraints: 318913
1821.01/1826.06 c #Conflicts: 1000000 | #Constraints: 319913
1821.01/1826.06 c #Conflicts: 1001000 | #Constraints: 320913
1821.01/1826.06 c #Conflicts: 1002000 | #Constraints: 321913
1821.01/1826.06 c #Conflicts: 1003000 | #Constraints: 322913
1821.01/1826.06 c INPROCESSING
1821.01/1826.06 c GARBAGE COLLECT
1821.01/1826.06 c #Conflicts: 1004000 | #Constraints: 264613
1821.01/1826.06 c #Conflicts: 1005000 | #Constraints: 265613
1821.01/1826.06 c #Conflicts: 1006000 | #Constraints: 266613
1821.01/1826.06 c #Conflicts: 1007000 | #Constraints: 267613
1821.01/1826.06 c #Conflicts: 1008000 | #Constraints: 268613
1821.01/1826.06 c #Conflicts: 1009000 | #Constraints: 269613
1821.01/1826.06 c #Conflicts: 1010000 | #Constraints: 270613
1821.01/1826.06 c #Conflicts: 1011000 | #Constraints: 271613
1821.01/1826.06 c #Conflicts: 1012000 | #Constraints: 272613
1821.01/1826.06 c #Conflicts: 1013000 | #Constraints: 273613
1821.01/1826.06 c #Conflicts: 1014000 | #Constraints: 274613
1821.01/1826.06 c #Conflicts: 1015000 | #Constraints: 275613
1821.01/1826.06 c #Conflicts: 1016000 | #Constraints: 276613
1821.01/1826.06 c #Conflicts: 1017000 | #Constraints: 277613
1821.01/1826.06 c #Conflicts: 1018000 | #Constraints: 278613
1821.01/1826.06 c #Conflicts: 1019000 | #Constraints: 279613
1821.01/1826.06 c #Conflicts: 1020000 | #Constraints: 280613
1821.01/1826.06 c #Conflicts: 1021000 | #Constraints: 281613
1821.01/1826.06 c #Conflicts: 1022000 | #Constraints: 282613
1821.01/1826.06 c #Conflicts: 1023000 | #Constraints: 283613
1821.01/1826.06 c #Conflicts: 1024000 | #Constraints: 284613
1821.01/1826.06 c #Conflicts: 1025000 | #Constraints: 285613
1821.01/1826.06 c #Conflicts: 1026000 | #Constraints: 286613
1821.01/1826.06 c #Conflicts: 1027000 | #Constraints: 287613
1821.01/1826.06 c #Conflicts: 1028000 | #Constraints: 288613
1821.01/1826.06 c #Conflicts: 1029000 | #Constraints: 289613
1821.01/1826.06 c #Conflicts: 1030000 | #Constraints: 290613
1821.01/1826.06 c #Conflicts: 1031000 | #Constraints: 291613
1821.01/1826.06 c #Conflicts: 1032000 | #Constraints: 292613
1821.01/1826.06 c #Conflicts: 1033000 | #Constraints: 293613
1821.01/1826.06 c #Conflicts: 1034000 | #Constraints: 294613
1821.01/1826.06 c #Conflicts: 1035000 | #Constraints: 295613
1821.01/1826.06 c #Conflicts: 1036000 | #Constraints: 296613
1821.01/1826.06 c #Conflicts: 1037000 | #Constraints: 297613
1821.01/1826.06 c #Conflicts: 1038000 | #Constraints: 298613
1821.01/1826.06 c #Conflicts: 1039000 | #Constraints: 299613
1821.01/1826.06 c #Conflicts: 1040000 | #Constraints: 300613
1821.01/1826.06 c #Conflicts: 1041000 | #Constraints: 301613
1821.01/1826.06 c #Conflicts: 1042000 | #Constraints: 302613
1821.01/1826.06 c #Conflicts: 1043000 | #Constraints: 303613
1821.01/1826.06 c #Conflicts: 1044000 | #Constraints: 304613
1821.01/1826.06 c #Conflicts: 1045000 | #Constraints: 305613
1821.01/1826.06 c #Conflicts: 1046000 | #Constraints: 306613
1821.01/1826.06 c #Conflicts: 1047000 | #Constraints: 307613
1821.01/1826.06 c #Conflicts: 1048000 | #Constraints: 308613
1821.01/1826.06 c #Conflicts: 1049000 | #Constraints: 309613
1821.01/1826.06 c #Conflicts: 1050000 | #Constraints: 310613
1821.01/1826.06 c #Conflicts: 1051000 | #Constraints: 311613
1821.01/1826.06 c #Conflicts: 1052000 | #Constraints: 312613
1821.01/1826.06 c #Conflicts: 1053000 | #Constraints: 313613
1821.01/1826.06 c #Conflicts: 1054000 | #Constraints: 314613
1821.01/1826.06 c #Conflicts: 1055000 | #Constraints: 315613
1821.01/1826.06 c #Conflicts: 1056000 | #Constraints: 316613
1821.01/1826.06 c #Conflicts: 1057000 | #Constraints: 317613
1899.66/1904.90 c #Conflicts: 1058000 | #Constraints: 318613
1899.66/1904.90 c #Conflicts: 1059000 | #Constraints: 319613
1899.66/1904.90 c #Conflicts: 1060000 | #Constraints: 320613
1899.66/1904.90 c #Conflicts: 1061000 | #Constraints: 321613
1899.66/1904.90 c #Conflicts: 1062000 | #Constraints: 322613
1899.66/1904.90 c #Conflicts: 1063000 | #Constraints: 323613
1899.66/1904.90 c #Conflicts: 1064000 | #Constraints: 324613
1899.66/1904.90 c #Conflicts: 1065000 | #Constraints: 325613
1899.66/1904.90 c #Conflicts: 1066000 | #Constraints: 326613
1899.66/1904.90 c #Conflicts: 1067000 | #Constraints: 327613
1899.66/1904.90 c INPROCESSING
1899.66/1904.90 c GARBAGE COLLECT
1899.66/1904.90 c #Conflicts: 1068000 | #Constraints: 268326
1899.66/1904.90 c #Conflicts: 1069000 | #Constraints: 269326
1899.66/1904.90 c #Conflicts: 1070000 | #Constraints: 270326
1899.66/1904.90 c #Conflicts: 1071000 | #Constraints: 271326
1899.66/1904.90 c #Conflicts: 1072000 | #Constraints: 272326
1899.66/1904.90 c #Conflicts: 1073000 | #Constraints: 273326
1899.66/1904.90 c #Conflicts: 1074000 | #Constraints: 274326
1899.66/1904.90 c #Conflicts: 1075000 | #Constraints: 275326
1899.66/1904.90 c #Conflicts: 1076000 | #Constraints: 276326
1899.66/1904.90 c #Conflicts: 1077000 | #Constraints: 277326
1899.66/1904.90 c #Conflicts: 1078000 | #Constraints: 278326
1899.66/1904.90 c #Conflicts: 1079000 | #Constraints: 279326
1899.66/1904.90 c #Conflicts: 1080000 | #Constraints: 280326
1899.66/1904.90 c #Conflicts: 1081000 | #Constraints: 281326
1899.66/1904.90 c #Conflicts: 1082000 | #Constraints: 282326
1899.66/1904.90 c #Conflicts: 1083000 | #Constraints: 283326
1899.66/1904.90 c #Conflicts: 1084000 | #Constraints: 284326
1899.66/1904.90 c #Conflicts: 1085000 | #Constraints: 285326
1899.66/1904.90 c #Conflicts: 1086000 | #Constraints: 286326
1899.66/1904.90 c #Conflicts: 1087000 | #Constraints: 287326
1899.66/1904.90 c #Conflicts: 1088000 | #Constraints: 288326
1899.66/1904.90 c #Conflicts: 1089000 | #Constraints: 289326
1899.66/1904.90 c #Conflicts: 1090000 | #Constraints: 290326
1899.66/1904.90 c #Conflicts: 1091000 | #Constraints: 291326
1899.66/1904.90 c #Conflicts: 1092000 | #Constraints: 292326
1899.66/1904.90 c #Conflicts: 1093000 | #Constraints: 293326
1899.66/1904.90 c #Conflicts: 1094000 | #Constraints: 294326
1899.66/1904.90 c #Conflicts: 1095000 | #Constraints: 295326
1899.66/1904.90 c #Conflicts: 1096000 | #Constraints: 296326
1899.66/1904.90 c #Conflicts: 1097000 | #Constraints: 297326
1899.66/1904.90 c #Conflicts: 1098000 | #Constraints: 298326
1899.66/1904.90 c #Conflicts: 1099000 | #Constraints: 299326
1899.66/1904.90 c #Conflicts: 1100000 | #Constraints: 300326
1899.66/1904.90 c #Conflicts: 1101000 | #Constraints: 301326
1899.66/1904.90 c #Conflicts: 1102000 | #Constraints: 302326
1899.66/1904.90 c #Conflicts: 1103000 | #Constraints: 303326
1899.66/1904.90 c #Conflicts: 1104000 | #Constraints: 304326
1899.66/1904.90 c #Conflicts: 1105000 | #Constraints: 305326
1899.66/1904.90 c #Conflicts: 1106000 | #Constraints: 306326
1899.66/1904.90 c #Conflicts: 1107000 | #Constraints: 307326
1899.66/1904.90 c #Conflicts: 1108000 | #Constraints: 308326
1899.66/1904.90 c #Conflicts: 1109000 | #Constraints: 309326
1899.66/1904.90 c #Conflicts: 1110000 | #Constraints: 310326
1899.66/1904.90 c #Conflicts: 1111000 | #Constraints: 311326
1899.66/1904.90 c #Conflicts: 1112000 | #Constraints: 312326
1899.66/1904.90 c #Conflicts: 1113000 | #Constraints: 313326
1899.66/1904.90 c #Conflicts: 1114000 | #Constraints: 314326
1899.66/1904.90 c #Conflicts: 1115000 | #Constraints: 315326
1899.66/1904.90 c #Conflicts: 1116000 | #Constraints: 316326
1899.66/1904.90 c #Conflicts: 1117000 | #Constraints: 317326
1899.66/1904.90 c #Conflicts: 1118000 | #Constraints: 318326
1899.66/1904.90 c #Conflicts: 1119000 | #Constraints: 319326
1899.66/1904.90 c #Conflicts: 1120000 | #Constraints: 320326
1899.66/1904.90 c #Conflicts: 1121000 | #Constraints: 321326
1899.66/1904.90 c #Conflicts: 1122000 | #Constraints: 322326
1899.66/1904.90 c #Conflicts: 1123000 | #Constraints: 323326
1899.66/1904.90 c #Conflicts: 1124000 | #Constraints: 324326
1899.66/1904.90 c #Conflicts: 1125000 | #Constraints: 325326
1899.66/1904.90 c #Conflicts: 1126000 | #Constraints: 326326
1899.66/1904.90 c #Conflicts: 1127000 | #Constraints: 327326
1899.66/1904.90 c #Conflicts: 1128000 | #Constraints: 328326
1899.66/1904.90 c #Conflicts: 1129000 | #Constraints: 329326
1899.66/1904.90 c #Conflicts: 1130000 | #Constraints: 330326
1899.66/1904.90 c #Conflicts: 1131000 | #Constraints: 331326
1899.66/1904.90 c #Conflicts: 1132000 | #Constraints: 332326
1899.66/1904.90 c #Conflicts: 1133000 | #Constraints: 333326
1899.66/1904.90 c #Conflicts: 1134000 | #Constraints: 334326
1899.66/1904.90 c INPROCESSING
1899.66/1904.90 c GARBAGE COLLECT
1966.86/1972.34 c #Conflicts: 1135000 | #Constraints: 272157
1966.86/1972.34 c #Conflicts: 1136000 | #Constraints: 273157
1966.86/1972.34 c #Conflicts: 1137000 | #Constraints: 274157
1966.86/1972.34 c #Conflicts: 1138000 | #Constraints: 275157
1966.86/1972.34 c #Conflicts: 1139000 | #Constraints: 276157
1966.86/1972.34 c #Conflicts: 1140000 | #Constraints: 277157
1966.86/1972.34 c #Conflicts: 1141000 | #Constraints: 278157
1966.86/1972.34 c #Conflicts: 1142000 | #Constraints: 279157
1966.86/1972.34 c #Conflicts: 1143000 | #Constraints: 280157
1966.86/1972.34 c #Conflicts: 1144000 | #Constraints: 281157
1966.86/1972.34 c #Conflicts: 1145000 | #Constraints: 282157
1966.86/1972.34 c #Conflicts: 1146000 | #Constraints: 283157
1966.86/1972.34 c #Conflicts: 1147000 | #Constraints: 284157
1966.86/1972.34 c #Conflicts: 1148000 | #Constraints: 285157
1966.86/1972.34 c #Conflicts: 1149000 | #Constraints: 286157
1966.86/1972.34 c #Conflicts: 1150000 | #Constraints: 287157
1966.86/1972.34 c #Conflicts: 1151000 | #Constraints: 288157
1966.86/1972.34 c #Conflicts: 1152000 | #Constraints: 289157
1966.86/1972.34 c #Conflicts: 1153000 | #Constraints: 290157
1966.86/1972.34 c #Conflicts: 1154000 | #Constraints: 291157
1966.86/1972.34 c #Conflicts: 1155000 | #Constraints: 292157
1966.86/1972.34 c #Conflicts: 1156000 | #Constraints: 293157
1966.86/1972.34 c #Conflicts: 1157000 | #Constraints: 294157
1966.86/1972.34 c #Conflicts: 1158000 | #Constraints: 295157
1966.86/1972.34 c #Conflicts: 1159000 | #Constraints: 296157
1966.86/1972.34 c #Conflicts: 1160000 | #Constraints: 297157
1966.86/1972.34 c #Conflicts: 1161000 | #Constraints: 298157
1966.86/1972.34 c #Conflicts: 1162000 | #Constraints: 299157
1966.86/1972.34 c #Conflicts: 1163000 | #Constraints: 300157
1966.86/1972.34 c #Conflicts: 1164000 | #Constraints: 301157
1966.86/1972.34 c #Conflicts: 1165000 | #Constraints: 302157
1966.86/1972.34 c #Conflicts: 1166000 | #Constraints: 303157
1966.86/1972.34 c #Conflicts: 1167000 | #Constraints: 304157
1966.86/1972.34 c #Conflicts: 1168000 | #Constraints: 305157
1966.86/1972.34 c #Conflicts: 1169000 | #Constraints: 306157
1966.86/1972.34 c #Conflicts: 1170000 | #Constraints: 307157
1966.86/1972.34 c #Conflicts: 1171000 | #Constraints: 308157
1966.86/1972.34 c #Conflicts: 1172000 | #Constraints: 309157
1966.86/1972.34 c #Conflicts: 1173000 | #Constraints: 310157
1966.86/1972.34 c #Conflicts: 1174000 | #Constraints: 311157
1966.86/1972.34 c #Conflicts: 1175000 | #Constraints: 312157
1966.86/1972.34 c #Conflicts: 1176000 | #Constraints: 313157
1966.86/1972.34 c #Conflicts: 1177000 | #Constraints: 314157
1966.86/1972.34 c #Conflicts: 1178000 | #Constraints: 315157
1966.86/1972.34 c #Conflicts: 1179000 | #Constraints: 316157
1966.86/1972.34 c #Conflicts: 1180000 | #Constraints: 317157
1966.86/1972.34 c #Conflicts: 1181000 | #Constraints: 318157
1966.86/1972.34 c #Conflicts: 1182000 | #Constraints: 319157
1966.86/1972.34 c #Conflicts: 1183000 | #Constraints: 320157
1966.86/1972.34 c #Conflicts: 1184000 | #Constraints: 321157
1966.86/1972.34 c #Conflicts: 1185000 | #Constraints: 322157
1966.86/1972.34 c #Conflicts: 1186000 | #Constraints: 323157
1966.86/1972.34 c #Conflicts: 1187000 | #Constraints: 324157
1966.86/1972.34 c #Conflicts: 1188000 | #Constraints: 325157
1966.86/1972.34 c #Conflicts: 1189000 | #Constraints: 326157
1966.86/1972.34 c #Conflicts: 1190000 | #Constraints: 327157
1966.86/1972.34 c #Conflicts: 1191000 | #Constraints: 328157
1966.86/1972.34 c #Conflicts: 1192000 | #Constraints: 329157
1966.86/1972.34 c #Conflicts: 1193000 | #Constraints: 330157
1966.86/1972.34 c #Conflicts: 1194000 | #Constraints: 331157
1966.86/1972.34 c #Conflicts: 1195000 | #Constraints: 332157
1966.86/1972.34 c #Conflicts: 1196000 | #Constraints: 333157
1966.86/1972.34 c #Conflicts: 1197000 | #Constraints: 334157
1966.86/1972.34 c #Conflicts: 1198000 | #Constraints: 335157
1966.86/1972.34 c #Conflicts: 1199000 | #Constraints: 336157
1966.86/1972.34 c #Conflicts: 1200000 | #Constraints: 337157
1966.86/1972.34 c #Conflicts: 1201000 | #Constraints: 338157
1966.86/1972.34 c #Conflicts: 1202000 | #Constraints: 339157
1966.86/1972.34 c INPROCESSING
1966.86/1972.34 c GARBAGE COLLECT
1966.86/1972.34 c #Conflicts: 1203000 | #Constraints: 277867
1966.86/1972.34 c #Conflicts: 1204000 | #Constraints: 278867
1966.86/1972.34 c #Conflicts: 1205000 | #Constraints: 279867
1966.86/1972.34 c #Conflicts: 1206000 | #Constraints: 280867
1966.86/1972.34 c #Conflicts: 1207000 | #Constraints: 281867
1966.86/1972.34 c #Conflicts: 1208000 | #Constraints: 282867
1966.86/1972.34 c #Conflicts: 1209000 | #Constraints: 283867
1966.86/1972.34 c #Conflicts: 1210000 | #Constraints: 284867
1966.86/1972.34 c #Conflicts: 1211000 | #Constraints: 285867
1966.86/1972.34 c #Conflicts: 1212000 | #Constraints: 286867
1966.86/1972.34 c #Conflicts: 1213000 | #Constraints: 287867
2379.21/2385.86 c #Conflicts: 1214000 | #Constraints: 288867
2379.21/2385.86 c #Conflicts: 1215000 | #Constraints: 289867
2379.21/2385.86 c #Conflicts: 1216000 | #Constraints: 290867
2379.21/2385.86 c #Conflicts: 1217000 | #Constraints: 291867
2379.21/2385.86 c #Conflicts: 1218000 | #Constraints: 292867
2379.21/2385.86 c #Conflicts: 1219000 | #Constraints: 293867
2379.21/2385.86 c #Conflicts: 1220000 | #Constraints: 294867
2379.21/2385.86 c #Conflicts: 1221000 | #Constraints: 295867
2379.21/2385.86 c #Conflicts: 1222000 | #Constraints: 296867
2379.21/2385.86 c #Conflicts: 1223000 | #Constraints: 297867
2379.21/2385.86 c #Conflicts: 1224000 | #Constraints: 298867
2379.21/2385.86 c #Conflicts: 1225000 | #Constraints: 299867
2379.21/2385.86 c #Conflicts: 1226000 | #Constraints: 300867
2379.21/2385.86 c #Conflicts: 1227000 | #Constraints: 301867
2379.21/2385.86 c #Conflicts: 1228000 | #Constraints: 302867
2379.21/2385.86 c #Conflicts: 1229000 | #Constraints: 303867
2379.21/2385.86 c #Conflicts: 1230000 | #Constraints: 304867
2379.21/2385.86 c #Conflicts: 1231000 | #Constraints: 305867
2379.21/2385.86 c #Conflicts: 1232000 | #Constraints: 306867
2379.21/2385.86 c #Conflicts: 1233000 | #Constraints: 307867
2379.21/2385.86 c #Conflicts: 1234000 | #Constraints: 308867
2379.21/2385.86 c #Conflicts: 1235000 | #Constraints: 309867
2379.21/2385.86 c #Conflicts: 1236000 | #Constraints: 310867
2379.21/2385.86 c #Conflicts: 1237000 | #Constraints: 311867
2379.21/2385.86 c #Conflicts: 1238000 | #Constraints: 312867
2379.21/2385.86 c #Conflicts: 1239000 | #Constraints: 313867
2379.21/2385.86 c #Conflicts: 1240000 | #Constraints: 314867
2379.21/2385.86 c #Conflicts: 1241000 | #Constraints: 315867
2379.21/2385.86 c #Conflicts: 1242000 | #Constraints: 316867
2379.21/2385.86 c #Conflicts: 1243000 | #Constraints: 317867
2379.21/2385.86 c #Conflicts: 1244000 | #Constraints: 318867
2379.21/2385.86 c #Conflicts: 1245000 | #Constraints: 319867
2379.21/2385.86 c #Conflicts: 1246000 | #Constraints: 320867
2379.21/2385.86 c #Conflicts: 1247000 | #Constraints: 321867
2379.21/2385.86 c #Conflicts: 1248000 | #Constraints: 322867
2379.21/2385.86 c #Conflicts: 1249000 | #Constraints: 323867
2379.21/2385.86 c #Conflicts: 1250000 | #Constraints: 324867
2379.21/2385.86 c #Conflicts: 1251000 | #Constraints: 325867
2379.21/2385.86 c #Conflicts: 1252000 | #Constraints: 326867
2379.21/2385.86 c #Conflicts: 1253000 | #Constraints: 327867
2379.21/2385.86 c #Conflicts: 1254000 | #Constraints: 328867
2379.21/2385.86 c #Conflicts: 1255000 | #Constraints: 329867
2379.21/2385.86 c #Conflicts: 1256000 | #Constraints: 330867
2379.21/2385.86 c #Conflicts: 1257000 | #Constraints: 331867
2379.21/2385.86 c #Conflicts: 1258000 | #Constraints: 332867
2379.21/2385.86 c #Conflicts: 1259000 | #Constraints: 333867
2379.21/2385.86 c #Conflicts: 1260000 | #Constraints: 334867
2379.21/2385.86 c #Conflicts: 1261000 | #Constraints: 335867
2379.21/2385.86 c #Conflicts: 1262000 | #Constraints: 336867
2379.21/2385.86 c #Conflicts: 1263000 | #Constraints: 337867
2379.21/2385.86 c #Conflicts: 1264000 | #Constraints: 338867
2379.21/2385.86 c #Conflicts: 1265000 | #Constraints: 339867
2379.21/2385.86 c #Conflicts: 1266000 | #Constraints: 340867
2379.21/2385.86 c #Conflicts: 1267000 | #Constraints: 341867
2379.21/2385.86 c #Conflicts: 1268000 | #Constraints: 342867
2379.21/2385.86 c #Conflicts: 1269000 | #Constraints: 343867
2379.21/2385.86 c #Conflicts: 1270000 | #Constraints: 344867
2379.21/2385.86 c #Conflicts: 1271000 | #Constraints: 345867
2379.21/2385.86 c #Conflicts: 1272000 | #Constraints: 346867
2379.21/2385.86 c INPROCESSING
2379.21/2385.86 c GARBAGE COLLECT
2379.21/2385.86 c rational objective 25457.7
2450.19/2457.06 c #Conflicts: 1273000 | #Constraints: 282431
2450.19/2457.06 c #Conflicts: 1274000 | #Constraints: 283431
2450.19/2457.06 c #Conflicts: 1275000 | #Constraints: 284431
2450.19/2457.06 c #Conflicts: 1276000 | #Constraints: 285431
2450.19/2457.06 c #Conflicts: 1277000 | #Constraints: 286431
2450.19/2457.06 c #Conflicts: 1278000 | #Constraints: 287431
2450.19/2457.06 c #Conflicts: 1279000 | #Constraints: 288431
2450.19/2457.06 c #Conflicts: 1280000 | #Constraints: 289431
2450.19/2457.06 c #Conflicts: 1281000 | #Constraints: 290431
2450.19/2457.06 c #Conflicts: 1282000 | #Constraints: 291431
2450.19/2457.06 c #Conflicts: 1283000 | #Constraints: 292431
2450.19/2457.06 c #Conflicts: 1284000 | #Constraints: 293431
2450.19/2457.06 c #Conflicts: 1285000 | #Constraints: 294431
2450.19/2457.06 c #Conflicts: 1286000 | #Constraints: 295431
2450.19/2457.06 c #Conflicts: 1287000 | #Constraints: 296431
2450.19/2457.06 c #Conflicts: 1288000 | #Constraints: 297431
2450.19/2457.06 c #Conflicts: 1289000 | #Constraints: 298431
2450.19/2457.06 c #Conflicts: 1290000 | #Constraints: 299431
2450.19/2457.06 c #Conflicts: 1291000 | #Constraints: 300431
2450.19/2457.06 c #Conflicts: 1292000 | #Constraints: 301431
2450.19/2457.06 c #Conflicts: 1293000 | #Constraints: 302431
2450.19/2457.06 c #Conflicts: 1294000 | #Constraints: 303431
2450.19/2457.06 c #Conflicts: 1295000 | #Constraints: 304431
2450.19/2457.06 c #Conflicts: 1296000 | #Constraints: 305431
2450.19/2457.06 c #Conflicts: 1297000 | #Constraints: 306431
2450.19/2457.06 c #Conflicts: 1298000 | #Constraints: 307431
2450.19/2457.06 c #Conflicts: 1299000 | #Constraints: 308431
2450.19/2457.06 c #Conflicts: 1300000 | #Constraints: 309431
2450.19/2457.06 c #Conflicts: 1301000 | #Constraints: 310431
2450.19/2457.06 c #Conflicts: 1302000 | #Constraints: 311431
2450.19/2457.06 c #Conflicts: 1303000 | #Constraints: 312431
2450.19/2457.06 c #Conflicts: 1304000 | #Constraints: 313431
2450.19/2457.06 c #Conflicts: 1305000 | #Constraints: 314431
2450.19/2457.06 c #Conflicts: 1306000 | #Constraints: 315431
2450.19/2457.06 c #Conflicts: 1307000 | #Constraints: 316431
2450.19/2457.06 c #Conflicts: 1308000 | #Constraints: 317431
2450.19/2457.06 c #Conflicts: 1309000 | #Constraints: 318431
2450.19/2457.06 c #Conflicts: 1310000 | #Constraints: 319431
2450.19/2457.06 c #Conflicts: 1311000 | #Constraints: 320431
2450.19/2457.06 c #Conflicts: 1312000 | #Constraints: 321431
2450.19/2457.06 c #Conflicts: 1313000 | #Constraints: 322431
2450.19/2457.06 c #Conflicts: 1314000 | #Constraints: 323431
2450.19/2457.06 c #Conflicts: 1315000 | #Constraints: 324431
2450.19/2457.06 c #Conflicts: 1316000 | #Constraints: 325431
2450.19/2457.06 c #Conflicts: 1317000 | #Constraints: 326431
2450.19/2457.06 c #Conflicts: 1318000 | #Constraints: 327431
2450.19/2457.06 c #Conflicts: 1319000 | #Constraints: 328431
2450.19/2457.06 c #Conflicts: 1320000 | #Constraints: 329431
2450.19/2457.06 c #Conflicts: 1321000 | #Constraints: 330431
2450.19/2457.06 c #Conflicts: 1322000 | #Constraints: 331431
2450.19/2457.06 c #Conflicts: 1323000 | #Constraints: 332431
2450.19/2457.06 c #Conflicts: 1324000 | #Constraints: 333431
2450.19/2457.06 c #Conflicts: 1325000 | #Constraints: 334431
2450.19/2457.06 c #Conflicts: 1326000 | #Constraints: 335431
2450.19/2457.06 c #Conflicts: 1327000 | #Constraints: 336431
2450.19/2457.06 c #Conflicts: 1328000 | #Constraints: 337431
2450.19/2457.06 c #Conflicts: 1329000 | #Constraints: 338431
2450.19/2457.06 c #Conflicts: 1330000 | #Constraints: 339431
2450.19/2457.06 c #Conflicts: 1331000 | #Constraints: 340431
2450.19/2457.06 c #Conflicts: 1332000 | #Constraints: 341431
2450.19/2457.06 c #Conflicts: 1333000 | #Constraints: 342431
2450.19/2457.06 c #Conflicts: 1334000 | #Constraints: 343431
2450.19/2457.06 c #Conflicts: 1335000 | #Constraints: 344431
2450.19/2457.06 c #Conflicts: 1336000 | #Constraints: 345431
2450.19/2457.06 c #Conflicts: 1337000 | #Constraints: 346431
2450.19/2457.06 c #Conflicts: 1338000 | #Constraints: 347431
2450.19/2457.06 c #Conflicts: 1339000 | #Constraints: 348431
2450.19/2457.06 c #Conflicts: 1340000 | #Constraints: 349431
2450.19/2457.06 c #Conflicts: 1341000 | #Constraints: 350431
2450.19/2457.06 c #Conflicts: 1342000 | #Constraints: 351431
2450.19/2457.06 c #Conflicts: 1343000 | #Constraints: 352431
2450.19/2457.06 c #Conflicts: 1344000 | #Constraints: 353431
2450.19/2457.06 c #Conflicts: 1345000 | #Constraints: 354431
2450.19/2457.06 c INPROCESSING
2450.19/2457.06 c GARBAGE COLLECT
2450.19/2457.06 c #Conflicts: 1346000 | #Constraints: 287982
2450.19/2457.06 c #Conflicts: 1347000 | #Constraints: 288982
2450.19/2457.06 c #Conflicts: 1348000 | #Constraints: 289982
2450.19/2457.06 c #Conflicts: 1349000 | #Constraints: 290982
2450.19/2457.06 c #Conflicts: 1350000 | #Constraints: 291982
2450.19/2457.06 c #Conflicts: 1351000 | #Constraints: 292982
2571.87/2579.17 c #Conflicts: 1352000 | #Constraints: 293982
2571.87/2579.17 c #Conflicts: 1353000 | #Constraints: 294982
2571.87/2579.17 c #Conflicts: 1354000 | #Constraints: 295982
2571.87/2579.17 c #Conflicts: 1355000 | #Constraints: 296982
2571.87/2579.17 c #Conflicts: 1356000 | #Constraints: 297982
2571.87/2579.17 c #Conflicts: 1357000 | #Constraints: 298982
2571.87/2579.17 c #Conflicts: 1358000 | #Constraints: 299982
2571.87/2579.17 c #Conflicts: 1359000 | #Constraints: 300982
2571.87/2579.17 c #Conflicts: 1360000 | #Constraints: 301982
2571.87/2579.17 c #Conflicts: 1361000 | #Constraints: 302982
2571.87/2579.17 c #Conflicts: 1362000 | #Constraints: 303982
2571.87/2579.17 c #Conflicts: 1363000 | #Constraints: 304982
2571.87/2579.17 c #Conflicts: 1364000 | #Constraints: 305982
2571.87/2579.17 c #Conflicts: 1365000 | #Constraints: 306982
2571.87/2579.17 c #Conflicts: 1366000 | #Constraints: 307982
2571.87/2579.17 c #Conflicts: 1367000 | #Constraints: 308982
2571.87/2579.17 c #Conflicts: 1368000 | #Constraints: 309982
2571.87/2579.17 c #Conflicts: 1369000 | #Constraints: 310982
2571.87/2579.17 c #Conflicts: 1370000 | #Constraints: 311982
2571.87/2579.17 c #Conflicts: 1371000 | #Constraints: 312982
2571.87/2579.17 c #Conflicts: 1372000 | #Constraints: 313982
2571.87/2579.17 c #Conflicts: 1373000 | #Constraints: 314982
2571.87/2579.17 c #Conflicts: 1374000 | #Constraints: 315982
2571.87/2579.17 c #Conflicts: 1375000 | #Constraints: 316982
2571.87/2579.17 c #Conflicts: 1376000 | #Constraints: 317982
2571.87/2579.17 c #Conflicts: 1377000 | #Constraints: 318982
2571.87/2579.17 c #Conflicts: 1378000 | #Constraints: 319982
2571.87/2579.17 c #Conflicts: 1379000 | #Constraints: 320982
2571.87/2579.17 c #Conflicts: 1380000 | #Constraints: 321982
2571.87/2579.17 c #Conflicts: 1381000 | #Constraints: 322982
2571.87/2579.17 c #Conflicts: 1382000 | #Constraints: 323982
2571.87/2579.17 c #Conflicts: 1383000 | #Constraints: 324982
2571.87/2579.17 c #Conflicts: 1384000 | #Constraints: 325982
2571.87/2579.17 c #Conflicts: 1385000 | #Constraints: 326982
2571.87/2579.17 c #Conflicts: 1386000 | #Constraints: 327982
2571.87/2579.17 c #Conflicts: 1387000 | #Constraints: 328982
2571.87/2579.17 c #Conflicts: 1388000 | #Constraints: 329982
2571.87/2579.17 c #Conflicts: 1389000 | #Constraints: 330982
2571.87/2579.17 c #Conflicts: 1390000 | #Constraints: 331982
2571.87/2579.17 c #Conflicts: 1391000 | #Constraints: 332982
2571.87/2579.17 c #Conflicts: 1392000 | #Constraints: 333982
2571.87/2579.17 c #Conflicts: 1393000 | #Constraints: 334982
2571.87/2579.17 c #Conflicts: 1394000 | #Constraints: 335982
2571.87/2579.17 c #Conflicts: 1395000 | #Constraints: 336982
2571.87/2579.17 c #Conflicts: 1396000 | #Constraints: 337982
2571.87/2579.17 c #Conflicts: 1397000 | #Constraints: 338982
2571.87/2579.17 c #Conflicts: 1398000 | #Constraints: 339982
2571.87/2579.17 c #Conflicts: 1399000 | #Constraints: 340982
2571.87/2579.17 c #Conflicts: 1400000 | #Constraints: 341982
2571.87/2579.17 c #Conflicts: 1401000 | #Constraints: 342982
2571.87/2579.17 c #Conflicts: 1402000 | #Constraints: 343982
2571.87/2579.17 c #Conflicts: 1403000 | #Constraints: 344982
2571.87/2579.17 c #Conflicts: 1404000 | #Constraints: 345982
2571.87/2579.17 c #Conflicts: 1405000 | #Constraints: 346982
2571.87/2579.17 c #Conflicts: 1406000 | #Constraints: 347982
2571.87/2579.17 c #Conflicts: 1407000 | #Constraints: 348982
2571.87/2579.17 c #Conflicts: 1408000 | #Constraints: 349982
2571.87/2579.17 c #Conflicts: 1409000 | #Constraints: 350982
2571.87/2579.17 c #Conflicts: 1410000 | #Constraints: 351982
2571.87/2579.17 c #Conflicts: 1411000 | #Constraints: 352982
2571.87/2579.17 c #Conflicts: 1412000 | #Constraints: 353982
2571.87/2579.17 c #Conflicts: 1413000 | #Constraints: 354982
2571.87/2579.17 c #Conflicts: 1414000 | #Constraints: 355982
2571.87/2579.17 c #Conflicts: 1415000 | #Constraints: 356982
2571.87/2579.17 c #Conflicts: 1416000 | #Constraints: 357982
2571.87/2579.17 c #Conflicts: 1417000 | #Constraints: 358982
2571.87/2579.17 c #Conflicts: 1418000 | #Constraints: 359982
2571.87/2579.17 c #Conflicts: 1419000 | #Constraints: 360982
2571.87/2579.17 c INPROCESSING
2571.87/2579.17 c GARBAGE COLLECT
2571.87/2579.17 c #Conflicts: 1420000 | #Constraints: 293148
2571.87/2579.17 c #Conflicts: 1421000 | #Constraints: 294148
2571.87/2579.17 c #Conflicts: 1422000 | #Constraints: 295148
2571.87/2579.17 c #Conflicts: 1423000 | #Constraints: 296148
2571.87/2579.17 c #Conflicts: 1424000 | #Constraints: 297148
2571.87/2579.17 c #Conflicts: 1425000 | #Constraints: 298148
2571.87/2579.17 c #Conflicts: 1426000 | #Constraints: 299148
2571.87/2579.17 c #Conflicts: 1427000 | #Constraints: 300148
2571.87/2579.17 c #Conflicts: 1428000 | #Constraints: 301148
2571.87/2579.17 c #Conflicts: 1429000 | #Constraints: 302148
2634.57/2642.06 c #Conflicts: 1430000 | #Constraints: 303148
2634.57/2642.06 c #Conflicts: 1431000 | #Constraints: 304148
2634.57/2642.06 c #Conflicts: 1432000 | #Constraints: 305148
2634.57/2642.06 c #Conflicts: 1433000 | #Constraints: 306148
2634.57/2642.06 c #Conflicts: 1434000 | #Constraints: 307148
2634.57/2642.06 c #Conflicts: 1435000 | #Constraints: 308148
2634.57/2642.06 c #Conflicts: 1436000 | #Constraints: 309148
2634.57/2642.06 c #Conflicts: 1437000 | #Constraints: 310148
2634.57/2642.06 c #Conflicts: 1438000 | #Constraints: 311148
2634.57/2642.06 c #Conflicts: 1439000 | #Constraints: 312148
2634.57/2642.06 c #Conflicts: 1440000 | #Constraints: 313148
2634.57/2642.06 c #Conflicts: 1441000 | #Constraints: 314148
2634.57/2642.06 c #Conflicts: 1442000 | #Constraints: 315148
2634.57/2642.06 c #Conflicts: 1443000 | #Constraints: 316148
2634.57/2642.06 c #Conflicts: 1444000 | #Constraints: 317148
2634.57/2642.06 c #Conflicts: 1445000 | #Constraints: 318148
2634.57/2642.06 c #Conflicts: 1446000 | #Constraints: 319148
2634.57/2642.06 c #Conflicts: 1447000 | #Constraints: 320148
2634.57/2642.06 c #Conflicts: 1448000 | #Constraints: 321148
2634.57/2642.06 c #Conflicts: 1449000 | #Constraints: 322148
2634.57/2642.06 c #Conflicts: 1450000 | #Constraints: 323148
2634.57/2642.06 c #Conflicts: 1451000 | #Constraints: 324148
2634.57/2642.06 c #Conflicts: 1452000 | #Constraints: 325148
2634.57/2642.06 c #Conflicts: 1453000 | #Constraints: 326148
2634.57/2642.06 c #Conflicts: 1454000 | #Constraints: 327148
2634.57/2642.06 c #Conflicts: 1455000 | #Constraints: 328148
2634.57/2642.06 c #Conflicts: 1456000 | #Constraints: 329148
2634.57/2642.06 c #Conflicts: 1457000 | #Constraints: 330148
2634.57/2642.06 c #Conflicts: 1458000 | #Constraints: 331148
2634.57/2642.06 c #Conflicts: 1459000 | #Constraints: 332148
2634.57/2642.06 c #Conflicts: 1460000 | #Constraints: 333148
2634.57/2642.06 c #Conflicts: 1461000 | #Constraints: 334148
2634.57/2642.06 c #Conflicts: 1462000 | #Constraints: 335148
2634.57/2642.06 c #Conflicts: 1463000 | #Constraints: 336148
2634.57/2642.06 c #Conflicts: 1464000 | #Constraints: 337148
2634.57/2642.06 c #Conflicts: 1465000 | #Constraints: 338148
2634.57/2642.06 c #Conflicts: 1466000 | #Constraints: 339148
2634.57/2642.06 c #Conflicts: 1467000 | #Constraints: 340148
2634.57/2642.06 c #Conflicts: 1468000 | #Constraints: 341148
2634.57/2642.06 c #Conflicts: 1469000 | #Constraints: 342148
2634.57/2642.06 c #Conflicts: 1470000 | #Constraints: 343148
2634.57/2642.06 c #Conflicts: 1471000 | #Constraints: 344148
2634.57/2642.06 c #Conflicts: 1472000 | #Constraints: 345148
2634.57/2642.06 c #Conflicts: 1473000 | #Constraints: 346148
2634.57/2642.06 c #Conflicts: 1474000 | #Constraints: 347148
2634.57/2642.06 c #Conflicts: 1475000 | #Constraints: 348148
2634.57/2642.06 c #Conflicts: 1476000 | #Constraints: 349148
2634.57/2642.06 c #Conflicts: 1477000 | #Constraints: 350148
2634.57/2642.06 c #Conflicts: 1478000 | #Constraints: 351148
2634.57/2642.06 c #Conflicts: 1479000 | #Constraints: 352148
2634.57/2642.06 c #Conflicts: 1480000 | #Constraints: 353148
2634.57/2642.06 c #Conflicts: 1481000 | #Constraints: 354148
2634.57/2642.06 c #Conflicts: 1482000 | #Constraints: 355148
2634.57/2642.06 c #Conflicts: 1483000 | #Constraints: 356148
2634.57/2642.06 c #Conflicts: 1484000 | #Constraints: 357148
2634.57/2642.06 c #Conflicts: 1485000 | #Constraints: 358148
2634.57/2642.06 c #Conflicts: 1486000 | #Constraints: 359148
2634.57/2642.06 c #Conflicts: 1487000 | #Constraints: 360148
2634.57/2642.06 c #Conflicts: 1488000 | #Constraints: 361148
2634.57/2642.06 c #Conflicts: 1489000 | #Constraints: 362148
2634.57/2642.06 c #Conflicts: 1490000 | #Constraints: 363148
2634.57/2642.06 c #Conflicts: 1491000 | #Constraints: 364148
2634.57/2642.06 c #Conflicts: 1492000 | #Constraints: 365148
2634.57/2642.06 c #Conflicts: 1493000 | #Constraints: 366148
2634.57/2642.06 c #Conflicts: 1494000 | #Constraints: 367148
2634.57/2642.06 c #Conflicts: 1495000 | #Constraints: 368148
2634.57/2642.06 c #Conflicts: 1496000 | #Constraints: 369148
2634.57/2642.06 c INPROCESSING
2634.57/2642.06 c GARBAGE COLLECT
2634.57/2642.06 c #Conflicts: 1497000 | #Constraints: 298838
2634.57/2642.06 c #Conflicts: 1498000 | #Constraints: 299838
2634.57/2642.06 c #Conflicts: 1499000 | #Constraints: 300838
2634.57/2642.06 c #Conflicts: 1500000 | #Constraints: 301838
2634.57/2642.06 c #Conflicts: 1501000 | #Constraints: 302838
2634.57/2642.06 c #Conflicts: 1502000 | #Constraints: 303838
2634.57/2642.06 c #Conflicts: 1503000 | #Constraints: 304838
2634.57/2642.06 c #Conflicts: 1504000 | #Constraints: 305838
2634.57/2642.06 c #Conflicts: 1505000 | #Constraints: 306838
2634.57/2642.06 c #Conflicts: 1506000 | #Constraints: 307838
2634.57/2642.06 c #Conflicts: 1507000 | #Constraints: 308838
2697.17/2704.81 c #Conflicts: 1508000 | #Constraints: 309838
2697.17/2704.81 c #Conflicts: 1509000 | #Constraints: 310838
2697.17/2704.81 c #Conflicts: 1510000 | #Constraints: 311838
2697.17/2704.81 c #Conflicts: 1511000 | #Constraints: 312838
2697.17/2704.81 c #Conflicts: 1512000 | #Constraints: 313838
2697.17/2704.81 c #Conflicts: 1513000 | #Constraints: 314838
2697.17/2704.81 c #Conflicts: 1514000 | #Constraints: 315838
2697.17/2704.81 c #Conflicts: 1515000 | #Constraints: 316838
2697.17/2704.81 c #Conflicts: 1516000 | #Constraints: 317838
2697.17/2704.81 c #Conflicts: 1517000 | #Constraints: 318838
2697.17/2704.81 c #Conflicts: 1518000 | #Constraints: 319838
2697.17/2704.81 c #Conflicts: 1519000 | #Constraints: 320838
2697.17/2704.81 c #Conflicts: 1520000 | #Constraints: 321838
2697.17/2704.81 c #Conflicts: 1521000 | #Constraints: 322838
2697.17/2704.81 c #Conflicts: 1522000 | #Constraints: 323838
2697.17/2704.81 c #Conflicts: 1523000 | #Constraints: 324838
2697.17/2704.81 c #Conflicts: 1524000 | #Constraints: 325838
2697.17/2704.81 c #Conflicts: 1525000 | #Constraints: 326838
2697.17/2704.81 c #Conflicts: 1526000 | #Constraints: 327838
2697.17/2704.81 c #Conflicts: 1527000 | #Constraints: 328838
2697.17/2704.81 c #Conflicts: 1528000 | #Constraints: 329838
2697.17/2704.81 c #Conflicts: 1529000 | #Constraints: 330838
2697.17/2704.81 c #Conflicts: 1530000 | #Constraints: 331838
2697.17/2704.81 c #Conflicts: 1531000 | #Constraints: 332838
2697.17/2704.81 c #Conflicts: 1532000 | #Constraints: 333838
2697.17/2704.81 c #Conflicts: 1533000 | #Constraints: 334838
2697.17/2704.81 c #Conflicts: 1534000 | #Constraints: 335838
2697.17/2704.81 c #Conflicts: 1535000 | #Constraints: 336838
2697.17/2704.81 c #Conflicts: 1536000 | #Constraints: 337838
2697.17/2704.81 c #Conflicts: 1537000 | #Constraints: 338838
2697.17/2704.81 c #Conflicts: 1538000 | #Constraints: 339838
2697.17/2704.81 c #Conflicts: 1539000 | #Constraints: 340838
2697.17/2704.81 c #Conflicts: 1540000 | #Constraints: 341838
2697.17/2704.81 c #Conflicts: 1541000 | #Constraints: 342838
2697.17/2704.81 c #Conflicts: 1542000 | #Constraints: 343838
2697.17/2704.81 c #Conflicts: 1543000 | #Constraints: 344838
2697.17/2704.81 c #Conflicts: 1544000 | #Constraints: 345838
2697.17/2704.81 c #Conflicts: 1545000 | #Constraints: 346838
2697.17/2704.81 c #Conflicts: 1546000 | #Constraints: 347838
2697.17/2704.81 c #Conflicts: 1547000 | #Constraints: 348838
2697.17/2704.81 c #Conflicts: 1548000 | #Constraints: 349838
2697.17/2704.81 c #Conflicts: 1549000 | #Constraints: 350838
2697.17/2704.81 c #Conflicts: 1550000 | #Constraints: 351838
2697.17/2704.81 c #Conflicts: 1551000 | #Constraints: 352838
2697.17/2704.81 c #Conflicts: 1552000 | #Constraints: 353838
2697.17/2704.81 c #Conflicts: 1553000 | #Constraints: 354838
2697.17/2704.81 c #Conflicts: 1554000 | #Constraints: 355838
2697.17/2704.81 c #Conflicts: 1555000 | #Constraints: 356838
2697.17/2704.81 c #Conflicts: 1556000 | #Constraints: 357838
2697.17/2704.81 c #Conflicts: 1557000 | #Constraints: 358838
2697.17/2704.81 c #Conflicts: 1558000 | #Constraints: 359838
2697.17/2704.81 c #Conflicts: 1559000 | #Constraints: 360838
2697.17/2704.81 c #Conflicts: 1560000 | #Constraints: 361838
2697.17/2704.81 c #Conflicts: 1561000 | #Constraints: 362838
2697.17/2704.81 c #Conflicts: 1562000 | #Constraints: 363838
2697.17/2704.81 c #Conflicts: 1563000 | #Constraints: 364838
2697.17/2704.81 c #Conflicts: 1564000 | #Constraints: 365838
2697.17/2704.81 c #Conflicts: 1565000 | #Constraints: 366838
2697.17/2704.81 c #Conflicts: 1566000 | #Constraints: 367838
2697.17/2704.81 c #Conflicts: 1567000 | #Constraints: 368838
2697.17/2704.81 c #Conflicts: 1568000 | #Constraints: 369838
2697.17/2704.81 c #Conflicts: 1569000 | #Constraints: 370838
2697.17/2704.81 c #Conflicts: 1570000 | #Constraints: 371838
2697.17/2704.81 c #Conflicts: 1571000 | #Constraints: 372838
2697.17/2704.81 c #Conflicts: 1572000 | #Constraints: 373838
2697.17/2704.81 c #Conflicts: 1573000 | #Constraints: 374838
2697.17/2704.81 c #Conflicts: 1574000 | #Constraints: 375838
2697.17/2704.81 c INPROCESSING
2697.17/2704.81 c GARBAGE COLLECT
2697.17/2704.81 c #Conflicts: 1575000 | #Constraints: 303106
2697.17/2704.81 c #Conflicts: 1576000 | #Constraints: 304106
2697.17/2704.81 c #Conflicts: 1577000 | #Constraints: 305106
2697.17/2704.81 c #Conflicts: 1578000 | #Constraints: 306106
2697.17/2704.81 c #Conflicts: 1579000 | #Constraints: 307106
2697.17/2704.81 c #Conflicts: 1580000 | #Constraints: 308106
2697.17/2704.81 c #Conflicts: 1581000 | #Constraints: 309106
2697.17/2704.81 c #Conflicts: 1582000 | #Constraints: 310106
2697.17/2704.81 c #Conflicts: 1583000 | #Constraints: 311106
2697.17/2704.81 c #Conflicts: 1584000 | #Constraints: 312106
2697.17/2704.81 c #Conflicts: 1585000 | #Constraints: 313106
2883.71/2891.98 c #Conflicts: 1586000 | #Constraints: 314106
2883.71/2891.98 c #Conflicts: 1587000 | #Constraints: 315106
2883.71/2891.98 c #Conflicts: 1588000 | #Constraints: 316106
2883.71/2891.98 c #Conflicts: 1589000 | #Constraints: 317106
2883.71/2891.98 c #Conflicts: 1590000 | #Constraints: 318106
2883.71/2891.98 c #Conflicts: 1591000 | #Constraints: 319106
2883.71/2891.98 c #Conflicts: 1592000 | #Constraints: 320106
2883.71/2891.98 c #Conflicts: 1593000 | #Constraints: 321106
2883.71/2891.98 c #Conflicts: 1594000 | #Constraints: 322106
2883.71/2891.98 c #Conflicts: 1595000 | #Constraints: 323106
2883.71/2891.98 c #Conflicts: 1596000 | #Constraints: 324106
2883.71/2891.98 c #Conflicts: 1597000 | #Constraints: 325106
2883.71/2891.98 c #Conflicts: 1598000 | #Constraints: 326106
2883.71/2891.98 c #Conflicts: 1599000 | #Constraints: 327106
2883.71/2891.98 c #Conflicts: 1600000 | #Constraints: 328106
2883.71/2891.98 c #Conflicts: 1601000 | #Constraints: 329106
2883.71/2891.98 c #Conflicts: 1602000 | #Constraints: 330106
2883.71/2891.98 c #Conflicts: 1603000 | #Constraints: 331106
2883.71/2891.98 c #Conflicts: 1604000 | #Constraints: 332106
2883.71/2891.98 c #Conflicts: 1605000 | #Constraints: 333106
2883.71/2891.98 c #Conflicts: 1606000 | #Constraints: 334106
2883.71/2891.98 c #Conflicts: 1607000 | #Constraints: 335106
2883.71/2891.98 c #Conflicts: 1608000 | #Constraints: 336106
2883.71/2891.98 c #Conflicts: 1609000 | #Constraints: 337106
2883.71/2891.98 c #Conflicts: 1610000 | #Constraints: 338106
2883.71/2891.98 c #Conflicts: 1611000 | #Constraints: 339106
2883.71/2891.98 c #Conflicts: 1612000 | #Constraints: 340106
2883.71/2891.98 c #Conflicts: 1613000 | #Constraints: 341106
2883.71/2891.98 c #Conflicts: 1614000 | #Constraints: 342106
2883.71/2891.98 c #Conflicts: 1615000 | #Constraints: 343106
2883.71/2891.98 c #Conflicts: 1616000 | #Constraints: 344106
2883.71/2891.98 c #Conflicts: 1617000 | #Constraints: 345106
2883.71/2891.98 c #Conflicts: 1618000 | #Constraints: 346106
2883.71/2891.98 c #Conflicts: 1619000 | #Constraints: 347106
2883.71/2891.98 c #Conflicts: 1620000 | #Constraints: 348106
2883.71/2891.98 c #Conflicts: 1621000 | #Constraints: 349106
2883.71/2891.98 c #Conflicts: 1622000 | #Constraints: 350106
2883.71/2891.98 c #Conflicts: 1623000 | #Constraints: 351106
2883.71/2891.98 c #Conflicts: 1624000 | #Constraints: 352106
2883.71/2891.98 c #Conflicts: 1625000 | #Constraints: 353106
2883.71/2891.98 c #Conflicts: 1626000 | #Constraints: 354106
2883.71/2891.98 c #Conflicts: 1627000 | #Constraints: 355106
2883.71/2891.98 c #Conflicts: 1628000 | #Constraints: 356106
2883.71/2891.98 c #Conflicts: 1629000 | #Constraints: 357106
2883.71/2891.98 c #Conflicts: 1630000 | #Constraints: 358106
2883.71/2891.98 c #Conflicts: 1631000 | #Constraints: 359106
2883.71/2891.98 c #Conflicts: 1632000 | #Constraints: 360106
2883.71/2891.98 c #Conflicts: 1633000 | #Constraints: 361106
2883.71/2891.98 c #Conflicts: 1634000 | #Constraints: 362106
2883.71/2891.98 c #Conflicts: 1635000 | #Constraints: 363106
2883.71/2891.98 c #Conflicts: 1636000 | #Constraints: 364106
2883.71/2891.98 c #Conflicts: 1637000 | #Constraints: 365106
2883.71/2891.98 c #Conflicts: 1638000 | #Constraints: 366106
2883.71/2891.98 c #Conflicts: 1639000 | #Constraints: 367106
2883.71/2891.98 c #Conflicts: 1640000 | #Constraints: 368106
2883.71/2891.98 c #Conflicts: 1641000 | #Constraints: 369106
2883.71/2891.98 c #Conflicts: 1642000 | #Constraints: 370106
2883.71/2891.98 c #Conflicts: 1643000 | #Constraints: 371106
2883.71/2891.98 c #Conflicts: 1644000 | #Constraints: 372106
2883.71/2891.98 c #Conflicts: 1645000 | #Constraints: 373106
2883.71/2891.98 c #Conflicts: 1646000 | #Constraints: 374106
2883.71/2891.98 c #Conflicts: 1647000 | #Constraints: 375106
2883.71/2891.98 c #Conflicts: 1648000 | #Constraints: 376106
2883.71/2891.98 c #Conflicts: 1649000 | #Constraints: 377106
2883.71/2891.98 c #Conflicts: 1650000 | #Constraints: 378106
2883.71/2891.98 c #Conflicts: 1651000 | #Constraints: 379106
2883.71/2891.98 c #Conflicts: 1652000 | #Constraints: 380106
2883.71/2891.98 c #Conflicts: 1653000 | #Constraints: 381106
2883.71/2891.98 c #Conflicts: 1654000 | #Constraints: 382106
2883.71/2891.98 c INPROCESSING
2883.71/2891.98 c GARBAGE COLLECT
2883.71/2891.98 c #Conflicts: 1655000 | #Constraints: 305710
2883.71/2891.98 c #Conflicts: 1656000 | #Constraints: 306710
2883.71/2891.98 c #Conflicts: 1657000 | #Constraints: 307710
2883.71/2891.98 c #Conflicts: 1658000 | #Constraints: 308710
2883.71/2891.98 c #Conflicts: 1659000 | #Constraints: 309710
2883.71/2891.98 c #Conflicts: 1660000 | #Constraints: 310710
2883.71/2891.98 c #Conflicts: 1661000 | #Constraints: 311710
2883.71/2891.98 c #Conflicts: 1662000 | #Constraints: 312710
2883.71/2891.98 c #Conflicts: 1663000 | #Constraints: 313710
2951.00/2959.44 c #Conflicts: 1664000 | #Constraints: 314710
2951.00/2959.44 c #Conflicts: 1665000 | #Constraints: 315710
2951.00/2959.44 c #Conflicts: 1666000 | #Constraints: 316710
2951.00/2959.44 c #Conflicts: 1667000 | #Constraints: 317710
2951.00/2959.44 c #Conflicts: 1668000 | #Constraints: 318710
2951.00/2959.44 c #Conflicts: 1669000 | #Constraints: 319710
2951.00/2959.44 c #Conflicts: 1670000 | #Constraints: 320710
2951.00/2959.44 c #Conflicts: 1671000 | #Constraints: 321710
2951.00/2959.44 c #Conflicts: 1672000 | #Constraints: 322710
2951.00/2959.44 c #Conflicts: 1673000 | #Constraints: 323710
2951.00/2959.44 c #Conflicts: 1674000 | #Constraints: 324710
2951.00/2959.44 c #Conflicts: 1675000 | #Constraints: 325710
2951.00/2959.44 c #Conflicts: 1676000 | #Constraints: 326710
2951.00/2959.44 c #Conflicts: 1677000 | #Constraints: 327710
2951.00/2959.44 c #Conflicts: 1678000 | #Constraints: 328710
2951.00/2959.44 c #Conflicts: 1679000 | #Constraints: 329710
2951.00/2959.44 c #Conflicts: 1680000 | #Constraints: 330710
2951.00/2959.44 c #Conflicts: 1681000 | #Constraints: 331710
2951.00/2959.44 c #Conflicts: 1682000 | #Constraints: 332710
2951.00/2959.44 c #Conflicts: 1683000 | #Constraints: 333710
2951.00/2959.44 c #Conflicts: 1684000 | #Constraints: 334710
2951.00/2959.44 c #Conflicts: 1685000 | #Constraints: 335710
2951.00/2959.44 c #Conflicts: 1686000 | #Constraints: 336710
2951.00/2959.44 c #Conflicts: 1687000 | #Constraints: 337710
2951.00/2959.44 c #Conflicts: 1688000 | #Constraints: 338710
2951.00/2959.44 c #Conflicts: 1689000 | #Constraints: 339710
2951.00/2959.44 c #Conflicts: 1690000 | #Constraints: 340710
2951.00/2959.44 c #Conflicts: 1691000 | #Constraints: 341710
2951.00/2959.44 c #Conflicts: 1692000 | #Constraints: 342710
2951.00/2959.44 c #Conflicts: 1693000 | #Constraints: 343710
2951.00/2959.44 c #Conflicts: 1694000 | #Constraints: 344710
2951.00/2959.44 c #Conflicts: 1695000 | #Constraints: 345710
2951.00/2959.44 c #Conflicts: 1696000 | #Constraints: 346710
2951.00/2959.44 c #Conflicts: 1697000 | #Constraints: 347710
2951.00/2959.44 c #Conflicts: 1698000 | #Constraints: 348710
2951.00/2959.44 c #Conflicts: 1699000 | #Constraints: 349710
2951.00/2959.44 c #Conflicts: 1700000 | #Constraints: 350710
2951.00/2959.44 c #Conflicts: 1701000 | #Constraints: 351710
2951.00/2959.44 c #Conflicts: 1702000 | #Constraints: 352710
2951.00/2959.44 c #Conflicts: 1703000 | #Constraints: 353710
2951.00/2959.44 c #Conflicts: 1704000 | #Constraints: 354710
2951.00/2959.44 c #Conflicts: 1705000 | #Constraints: 355710
2951.00/2959.44 c #Conflicts: 1706000 | #Constraints: 356710
2951.00/2959.44 c #Conflicts: 1707000 | #Constraints: 357710
2951.00/2959.44 c #Conflicts: 1708000 | #Constraints: 358710
2951.00/2959.44 c #Conflicts: 1709000 | #Constraints: 359710
2951.00/2959.44 c #Conflicts: 1710000 | #Constraints: 360710
2951.00/2959.44 c #Conflicts: 1711000 | #Constraints: 361710
2951.00/2959.44 c #Conflicts: 1712000 | #Constraints: 362710
2951.00/2959.44 c #Conflicts: 1713000 | #Constraints: 363710
2951.00/2959.44 c #Conflicts: 1714000 | #Constraints: 364710
2951.00/2959.44 c #Conflicts: 1715000 | #Constraints: 365710
2951.00/2959.44 c #Conflicts: 1716000 | #Constraints: 366710
2951.00/2959.44 c #Conflicts: 1717000 | #Constraints: 367710
2951.00/2959.44 c #Conflicts: 1718000 | #Constraints: 368710
2951.00/2959.44 c #Conflicts: 1719000 | #Constraints: 369710
2951.00/2959.44 c #Conflicts: 1720000 | #Constraints: 370710
2951.00/2959.44 c #Conflicts: 1721000 | #Constraints: 371710
2951.00/2959.44 c #Conflicts: 1722000 | #Constraints: 372710
2951.00/2959.44 c #Conflicts: 1723000 | #Constraints: 373710
2951.00/2959.44 c #Conflicts: 1724000 | #Constraints: 374710
2951.00/2959.44 c #Conflicts: 1725000 | #Constraints: 375710
2951.00/2959.44 c #Conflicts: 1726000 | #Constraints: 376710
2951.00/2959.44 c #Conflicts: 1727000 | #Constraints: 377710
2951.00/2959.44 c #Conflicts: 1728000 | #Constraints: 378710
2951.00/2959.44 c #Conflicts: 1729000 | #Constraints: 379710
2951.00/2959.44 c #Conflicts: 1730000 | #Constraints: 380710
2951.00/2959.44 c #Conflicts: 1731000 | #Constraints: 381710
2951.00/2959.44 c #Conflicts: 1732000 | #Constraints: 382710
2951.00/2959.44 c #Conflicts: 1733000 | #Constraints: 383710
2951.00/2959.44 c #Conflicts: 1734000 | #Constraints: 384710
2951.00/2959.44 c #Conflicts: 1735000 | #Constraints: 385710
2951.00/2959.44 c #Conflicts: 1736000 | #Constraints: 386710
2951.00/2959.44 c #Conflicts: 1737000 | #Constraints: 387710
2951.00/2959.44 c INPROCESSING
2951.00/2959.44 c GARBAGE COLLECT
2951.00/2959.44 c #Conflicts: 1738000 | #Constraints: 311609
2951.00/2959.44 c #Conflicts: 1739000 | #Constraints: 312609
2951.00/2959.44 c #Conflicts: 1740000 | #Constraints: 313609
2951.00/2959.44 c #Conflicts: 1741000 | #Constraints: 314609
3017.18/3025.82 c #Conflicts: 1742000 | #Constraints: 315609
3017.18/3025.82 c #Conflicts: 1743000 | #Constraints: 316609
3017.18/3025.82 c #Conflicts: 1744000 | #Constraints: 317609
3017.18/3025.82 c #Conflicts: 1745000 | #Constraints: 318609
3017.18/3025.82 c #Conflicts: 1746000 | #Constraints: 319609
3017.18/3025.82 c #Conflicts: 1747000 | #Constraints: 320609
3017.18/3025.82 c #Conflicts: 1748000 | #Constraints: 321609
3017.18/3025.82 c #Conflicts: 1749000 | #Constraints: 322609
3017.18/3025.82 c #Conflicts: 1750000 | #Constraints: 323609
3017.18/3025.82 c #Conflicts: 1751000 | #Constraints: 324609
3017.18/3025.82 c #Conflicts: 1752000 | #Constraints: 325609
3017.18/3025.82 c #Conflicts: 1753000 | #Constraints: 326609
3017.18/3025.82 c #Conflicts: 1754000 | #Constraints: 327609
3017.18/3025.82 c #Conflicts: 1755000 | #Constraints: 328609
3017.18/3025.82 c #Conflicts: 1756000 | #Constraints: 329609
3017.18/3025.82 c #Conflicts: 1757000 | #Constraints: 330609
3017.18/3025.82 c #Conflicts: 1758000 | #Constraints: 331609
3017.18/3025.82 c #Conflicts: 1759000 | #Constraints: 332609
3017.18/3025.82 c #Conflicts: 1760000 | #Constraints: 333609
3017.18/3025.82 c #Conflicts: 1761000 | #Constraints: 334609
3017.18/3025.82 c #Conflicts: 1762000 | #Constraints: 335609
3017.18/3025.82 c #Conflicts: 1763000 | #Constraints: 336609
3017.18/3025.82 c #Conflicts: 1764000 | #Constraints: 337609
3017.18/3025.82 c #Conflicts: 1765000 | #Constraints: 338609
3017.18/3025.82 c #Conflicts: 1766000 | #Constraints: 339609
3017.18/3025.82 c #Conflicts: 1767000 | #Constraints: 340609
3017.18/3025.82 c #Conflicts: 1768000 | #Constraints: 341609
3017.18/3025.82 c #Conflicts: 1769000 | #Constraints: 342609
3017.18/3025.82 c #Conflicts: 1770000 | #Constraints: 343609
3017.18/3025.82 c #Conflicts: 1771000 | #Constraints: 344609
3017.18/3025.82 c #Conflicts: 1772000 | #Constraints: 345609
3017.18/3025.82 c #Conflicts: 1773000 | #Constraints: 346609
3017.18/3025.82 c #Conflicts: 1774000 | #Constraints: 347609
3017.18/3025.82 c #Conflicts: 1775000 | #Constraints: 348609
3017.18/3025.82 c #Conflicts: 1776000 | #Constraints: 349609
3017.18/3025.82 c #Conflicts: 1777000 | #Constraints: 350609
3017.18/3025.82 c #Conflicts: 1778000 | #Constraints: 351609
3017.18/3025.82 c #Conflicts: 1779000 | #Constraints: 352609
3017.18/3025.82 c #Conflicts: 1780000 | #Constraints: 353609
3017.18/3025.82 c #Conflicts: 1781000 | #Constraints: 354609
3017.18/3025.82 c #Conflicts: 1782000 | #Constraints: 355609
3017.18/3025.82 c #Conflicts: 1783000 | #Constraints: 356609
3017.18/3025.82 c #Conflicts: 1784000 | #Constraints: 357609
3017.18/3025.82 c #Conflicts: 1785000 | #Constraints: 358609
3017.18/3025.82 c #Conflicts: 1786000 | #Constraints: 359609
3017.18/3025.82 c #Conflicts: 1787000 | #Constraints: 360609
3017.18/3025.82 c #Conflicts: 1788000 | #Constraints: 361609
3017.18/3025.82 c #Conflicts: 1789000 | #Constraints: 362609
3017.18/3025.82 c #Conflicts: 1790000 | #Constraints: 363609
3017.18/3025.82 c #Conflicts: 1791000 | #Constraints: 364609
3017.18/3025.82 c #Conflicts: 1792000 | #Constraints: 365609
3017.18/3025.82 c #Conflicts: 1793000 | #Constraints: 366609
3017.18/3025.82 c #Conflicts: 1794000 | #Constraints: 367609
3017.18/3025.82 c #Conflicts: 1795000 | #Constraints: 368609
3017.18/3025.82 c #Conflicts: 1796000 | #Constraints: 369609
3017.18/3025.82 c #Conflicts: 1797000 | #Constraints: 370609
3017.18/3025.82 c #Conflicts: 1798000 | #Constraints: 371609
3017.18/3025.82 c #Conflicts: 1799000 | #Constraints: 372609
3017.18/3025.82 c #Conflicts: 1800000 | #Constraints: 373609
3017.18/3025.82 c #Conflicts: 1801000 | #Constraints: 374609
3017.18/3025.82 c #Conflicts: 1802000 | #Constraints: 375609
3017.18/3025.82 c #Conflicts: 1803000 | #Constraints: 376609
3017.18/3025.82 c #Conflicts: 1804000 | #Constraints: 377609
3017.18/3025.82 c #Conflicts: 1805000 | #Constraints: 378609
3017.18/3025.82 c #Conflicts: 1806000 | #Constraints: 379609
3017.18/3025.82 c #Conflicts: 1807000 | #Constraints: 380609
3017.18/3025.82 c #Conflicts: 1808000 | #Constraints: 381609
3017.18/3025.82 c #Conflicts: 1809000 | #Constraints: 382609
3017.18/3025.82 c #Conflicts: 1810000 | #Constraints: 383609
3017.18/3025.82 c #Conflicts: 1811000 | #Constraints: 384609
3017.18/3025.82 c #Conflicts: 1812000 | #Constraints: 385609
3017.18/3025.82 c #Conflicts: 1813000 | #Constraints: 386609
3017.18/3025.82 c #Conflicts: 1814000 | #Constraints: 387609
3017.18/3025.82 c #Conflicts: 1815000 | #Constraints: 388609
3017.18/3025.82 c #Conflicts: 1816000 | #Constraints: 389609
3017.18/3025.82 c #Conflicts: 1817000 | #Constraints: 390609
3017.18/3025.82 c #Conflicts: 1818000 | #Constraints: 391609
3017.18/3025.82 c #Conflicts: 1819000 | #Constraints: 392609
3017.18/3025.82 c #Conflicts: 1820000 | #Constraints: 393609
3505.65/3515.92 c #Conflicts: 1821000 | #Constraints: 394609
3505.65/3515.92 c INPROCESSING
3505.65/3515.92 c GARBAGE COLLECT
3505.65/3515.92 c #Conflicts: 1822000 | #Constraints: 316586
3505.65/3515.92 c #Conflicts: 1823000 | #Constraints: 317586
3505.65/3515.92 c #Conflicts: 1824000 | #Constraints: 318586
3505.65/3515.92 c #Conflicts: 1825000 | #Constraints: 319586
3505.65/3515.92 c #Conflicts: 1826000 | #Constraints: 320586
3505.65/3515.92 c #Conflicts: 1827000 | #Constraints: 321586
3505.65/3515.92 c #Conflicts: 1828000 | #Constraints: 322586
3505.65/3515.92 c #Conflicts: 1829000 | #Constraints: 323586
3505.65/3515.92 c #Conflicts: 1830000 | #Constraints: 324586
3505.65/3515.92 c #Conflicts: 1831000 | #Constraints: 325586
3505.65/3515.92 c #Conflicts: 1832000 | #Constraints: 326586
3505.65/3515.92 c #Conflicts: 1833000 | #Constraints: 327586
3505.65/3515.92 c #Conflicts: 1834000 | #Constraints: 328586
3505.65/3515.92 c #Conflicts: 1835000 | #Constraints: 329586
3505.65/3515.92 c #Conflicts: 1836000 | #Constraints: 330586
3505.65/3515.92 c #Conflicts: 1837000 | #Constraints: 331586
3505.65/3515.92 c #Conflicts: 1838000 | #Constraints: 332586
3505.65/3515.92 c #Conflicts: 1839000 | #Constraints: 333586
3505.65/3515.92 c #Conflicts: 1840000 | #Constraints: 334586
3505.65/3515.92 c #Conflicts: 1841000 | #Constraints: 335586
3505.65/3515.92 c #Conflicts: 1842000 | #Constraints: 336586
3505.65/3515.92 c #Conflicts: 1843000 | #Constraints: 337586
3505.65/3515.92 c #Conflicts: 1844000 | #Constraints: 338586
3505.65/3515.92 c #Conflicts: 1845000 | #Constraints: 339586
3505.65/3515.92 c #Conflicts: 1846000 | #Constraints: 340586
3505.65/3515.92 c #Conflicts: 1847000 | #Constraints: 341586
3505.65/3515.92 c #Conflicts: 1848000 | #Constraints: 342586
3505.65/3515.92 c #Conflicts: 1849000 | #Constraints: 343586
3505.65/3515.92 c #Conflicts: 1850000 | #Constraints: 344586
3505.65/3515.92 c #Conflicts: 1851000 | #Constraints: 345586
3505.65/3515.92 c #Conflicts: 1852000 | #Constraints: 346586
3505.65/3515.92 c #Conflicts: 1853000 | #Constraints: 347586
3505.65/3515.92 c #Conflicts: 1854000 | #Constraints: 348586
3505.65/3515.92 c #Conflicts: 1855000 | #Constraints: 349586
3505.65/3515.92 c #Conflicts: 1856000 | #Constraints: 350586
3505.65/3515.92 c #Conflicts: 1857000 | #Constraints: 351586
3505.65/3515.92 c #Conflicts: 1858000 | #Constraints: 352586
3505.65/3515.92 c #Conflicts: 1859000 | #Constraints: 353586
3505.65/3515.92 c #Conflicts: 1860000 | #Constraints: 354586
3505.65/3515.92 c #Conflicts: 1861000 | #Constraints: 355586
3505.65/3515.92 c #Conflicts: 1862000 | #Constraints: 356586
3505.65/3515.92 c #Conflicts: 1863000 | #Constraints: 357586
3505.65/3515.92 c #Conflicts: 1864000 | #Constraints: 358586
3505.65/3515.92 c #Conflicts: 1865000 | #Constraints: 359586
3505.65/3515.92 c #Conflicts: 1866000 | #Constraints: 360586
3505.65/3515.92 c #Conflicts: 1867000 | #Constraints: 361586
3505.65/3515.92 c #Conflicts: 1868000 | #Constraints: 362586
3505.65/3515.92 c #Conflicts: 1869000 | #Constraints: 363586
3505.65/3515.92 c #Conflicts: 1870000 | #Constraints: 364586
3505.65/3515.92 c #Conflicts: 1871000 | #Constraints: 365586
3505.65/3515.92 c #Conflicts: 1872000 | #Constraints: 366586
3505.65/3515.92 c #Conflicts: 1873000 | #Constraints: 367586
3505.65/3515.92 c #Conflicts: 1874000 | #Constraints: 368586
3505.65/3515.92 c #Conflicts: 1875000 | #Constraints: 369586
3505.65/3515.92 c #Conflicts: 1876000 | #Constraints: 370586
3505.65/3515.92 c #Conflicts: 1877000 | #Constraints: 371586
3505.65/3515.92 c #Conflicts: 1878000 | #Constraints: 372586
3505.65/3515.92 c #Conflicts: 1879000 | #Constraints: 373586
3505.65/3515.92 c #Conflicts: 1880000 | #Constraints: 374586
3505.65/3515.92 c #Conflicts: 1881000 | #Constraints: 375586
3505.65/3515.92 c #Conflicts: 1882000 | #Constraints: 376586
3505.65/3515.92 c #Conflicts: 1883000 | #Constraints: 377586
3505.65/3515.92 c #Conflicts: 1884000 | #Constraints: 378586
3505.65/3515.92 c #Conflicts: 1885000 | #Constraints: 379586
3505.65/3515.92 c #Conflicts: 1886000 | #Constraints: 380586
3505.65/3515.92 c #Conflicts: 1887000 | #Constraints: 381586
3505.65/3515.92 c #Conflicts: 1888000 | #Constraints: 382586
3505.65/3515.92 c #Conflicts: 1889000 | #Constraints: 383586
3505.65/3515.92 c #Conflicts: 1890000 | #Constraints: 384586
3505.65/3515.92 c #Conflicts: 1891000 | #Constraints: 385586
3505.65/3515.92 c #Conflicts: 1892000 | #Constraints: 386586
3505.65/3515.92 c #Conflicts: 1893000 | #Constraints: 387586
3505.65/3515.92 c #Conflicts: 1894000 | #Constraints: 388586
3505.65/3515.92 c #Conflicts: 1895000 | #Constraints: 389586
3505.65/3515.92 c #Conflicts: 1896000 | #Constraints: 390586
3505.65/3515.92 c #Conflicts: 1897000 | #Constraints: 391586
3505.65/3515.92 c #Conflicts: 1898000 | #Constraints: 392586
3572.34/3582.89 c #Conflicts: 1899000 | #Constraints: 393586
3572.34/3582.89 c #Conflicts: 1900000 | #Constraints: 394586
3572.34/3582.89 c #Conflicts: 1901000 | #Constraints: 395586
3572.34/3582.89 c #Conflicts: 1902000 | #Constraints: 396586
3572.34/3582.89 c #Conflicts: 1903000 | #Constraints: 397586
3572.34/3582.89 c #Conflicts: 1904000 | #Constraints: 398586
3572.34/3582.89 c #Conflicts: 1905000 | #Constraints: 399586
3572.34/3582.89 c #Conflicts: 1906000 | #Constraints: 400586
3572.34/3582.89 c #Conflicts: 1907000 | #Constraints: 401586
3572.34/3582.89 c #Conflicts: 1908000 | #Constraints: 402586
3572.34/3582.89 c INPROCESSING
3572.34/3582.89 c GARBAGE COLLECT
3572.34/3582.89 c #Conflicts: 1909000 | #Constraints: 321157
3572.34/3582.89 c #Conflicts: 1910000 | #Constraints: 322157
3572.34/3582.89 c #Conflicts: 1911000 | #Constraints: 323157
3572.34/3582.89 c #Conflicts: 1912000 | #Constraints: 324157
3572.34/3582.89 c #Conflicts: 1913000 | #Constraints: 325157
3572.34/3582.89 c #Conflicts: 1914000 | #Constraints: 326157
3572.34/3582.89 c #Conflicts: 1915000 | #Constraints: 327157
3572.34/3582.89 c #Conflicts: 1916000 | #Constraints: 328157
3572.34/3582.89 c #Conflicts: 1917000 | #Constraints: 329157
3572.34/3582.89 c #Conflicts: 1918000 | #Constraints: 330157
3572.34/3582.89 c #Conflicts: 1919000 | #Constraints: 331157
3572.34/3582.89 c #Conflicts: 1920000 | #Constraints: 332157
3572.34/3582.89 c #Conflicts: 1921000 | #Constraints: 333157
3572.34/3582.89 c #Conflicts: 1922000 | #Constraints: 334157
3572.34/3582.89 c #Conflicts: 1923000 | #Constraints: 335157
3572.34/3582.89 c #Conflicts: 1924000 | #Constraints: 336157
3572.34/3582.89 c #Conflicts: 1925000 | #Constraints: 337157
3572.34/3582.89 c #Conflicts: 1926000 | #Constraints: 338157
3572.34/3582.89 c #Conflicts: 1927000 | #Constraints: 339157
3572.34/3582.89 c #Conflicts: 1928000 | #Constraints: 340157
3572.34/3582.89 c #Conflicts: 1929000 | #Constraints: 341157
3572.34/3582.89 c #Conflicts: 1930000 | #Constraints: 342157
3572.34/3582.89 c #Conflicts: 1931000 | #Constraints: 343157
3572.34/3582.89 c #Conflicts: 1932000 | #Constraints: 344157
3572.34/3582.89 c #Conflicts: 1933000 | #Constraints: 345157
3572.34/3582.89 c #Conflicts: 1934000 | #Constraints: 346157
3572.34/3582.89 c #Conflicts: 1935000 | #Constraints: 347157
3572.34/3582.89 c #Conflicts: 1936000 | #Constraints: 348157
3572.34/3582.89 c #Conflicts: 1937000 | #Constraints: 349157
3572.34/3582.89 c #Conflicts: 1938000 | #Constraints: 350157
3572.34/3582.89 c #Conflicts: 1939000 | #Constraints: 351157
3572.34/3582.89 c #Conflicts: 1940000 | #Constraints: 352157
3572.34/3582.89 c #Conflicts: 1941000 | #Constraints: 353157
3572.34/3582.89 c #Conflicts: 1942000 | #Constraints: 354157
3572.34/3582.89 c #Conflicts: 1943000 | #Constraints: 355157
3572.34/3582.89 c #Conflicts: 1944000 | #Constraints: 356157
3572.34/3582.89 c #Conflicts: 1945000 | #Constraints: 357157
3572.34/3582.89 c #Conflicts: 1946000 | #Constraints: 358157
3572.34/3582.89 c #Conflicts: 1947000 | #Constraints: 359157
3572.34/3582.89 c #Conflicts: 1948000 | #Constraints: 360157
3572.34/3582.89 c #Conflicts: 1949000 | #Constraints: 361157
3572.34/3582.89 c #Conflicts: 1950000 | #Constraints: 362157
3572.34/3582.89 c #Conflicts: 1951000 | #Constraints: 363157
3572.34/3582.89 c #Conflicts: 1952000 | #Constraints: 364157
3572.34/3582.89 c #Conflicts: 1953000 | #Constraints: 365157
3572.34/3582.89 c #Conflicts: 1954000 | #Constraints: 366157
3572.34/3582.89 c #Conflicts: 1955000 | #Constraints: 367157
3572.34/3582.89 c #Conflicts: 1956000 | #Constraints: 368157
3572.34/3582.89 c #Conflicts: 1957000 | #Constraints: 369157
3572.34/3582.89 c #Conflicts: 1958000 | #Constraints: 370157
3572.34/3582.89 c #Conflicts: 1959000 | #Constraints: 371157
3572.34/3582.89 c #Conflicts: 1960000 | #Constraints: 372157
3572.34/3582.89 c #Conflicts: 1961000 | #Constraints: 373157
3572.34/3582.89 c #Conflicts: 1962000 | #Constraints: 374157
3572.34/3582.89 c #Conflicts: 1963000 | #Constraints: 375157
3572.34/3582.89 c #Conflicts: 1964000 | #Constraints: 376157
3572.34/3582.89 c #Conflicts: 1965000 | #Constraints: 377157
3572.34/3582.89 c #Conflicts: 1966000 | #Constraints: 378157
3572.34/3582.89 c #Conflicts: 1967000 | #Constraints: 379157
3572.34/3582.89 c #Conflicts: 1968000 | #Constraints: 380157
3572.34/3582.89 c #Conflicts: 1969000 | #Constraints: 381157
3572.34/3582.89 c #Conflicts: 1970000 | #Constraints: 382157
3572.34/3582.89 c #Conflicts: 1971000 | #Constraints: 383157
3572.34/3582.89 c #Conflicts: 1972000 | #Constraints: 384157
3572.34/3582.89 c #Conflicts: 1973000 | #Constraints: 385157
3572.34/3582.89 c #Conflicts: 1974000 | #Constraints: 386157
3572.34/3582.89 c #Conflicts: 1975000 | #Constraints: 387157
3572.34/3582.89 c #Conflicts: 1976000 | #Constraints: 388157
3600.05/3610.60 c #Conflicts: 1977000 | #Constraints: 389157
3600.05/3610.60 c #Conflicts: 1978000 | #Constraints: 390157
3600.05/3610.60 c #Conflicts: 1979000 | #Constraints: 391157
3600.05/3610.60 c #Conflicts: 1980000 | #Constraints: 392157
3600.05/3610.60 c #Conflicts: 1981000 | #Constraints: 393157
3600.05/3610.60 c #Conflicts: 1982000 | #Constraints: 394157
3600.05/3610.60 c #Conflicts: 1983000 | #Constraints: 395157
3600.05/3610.60 c #Conflicts: 1984000 | #Constraints: 396157
3600.05/3610.60 c #Conflicts: 1985000 | #Constraints: 397157
3600.05/3610.60 c #Conflicts: 1986000 | #Constraints: 398157
3600.05/3610.60 c #Conflicts: 1987000 | #Constraints: 399157
3600.05/3610.60 c #Conflicts: 1988000 | #Constraints: 400157
3600.05/3610.60 c #Conflicts: 1989000 | #Constraints: 401157
3600.05/3610.60 c #Conflicts: 1990000 | #Constraints: 402157
3600.05/3610.60 c #Conflicts: 1991000 | #Constraints: 403157
3600.05/3610.60 c #Conflicts: 1992000 | #Constraints: 404157
3600.05/3610.60 c #Conflicts: 1993000 | #Constraints: 405157
3600.05/3610.60 c #Conflicts: 1994000 | #Constraints: 406157
3600.05/3610.60 c #Conflicts: 1995000 | #Constraints: 407157
3600.05/3610.60 c #Conflicts: 1996000 | #Constraints: 408157
3600.05/3610.60 c INPROCESSING
3600.05/3610.60 c GARBAGE COLLECT
3600.05/3610.60 c #Conflicts: 1997000 | #Constraints: 325709
3600.05/3610.60 c #Conflicts: 1998000 | #Constraints: 326709
3600.05/3610.60 c #Conflicts: 1999000 | #Constraints: 327709
3600.05/3610.60 c #Conflicts: 2000000 | #Constraints: 328709
3600.05/3610.60 c #Conflicts: 2001000 | #Constraints: 329709
3600.05/3610.60 c #Conflicts: 2002000 | #Constraints: 330709
3600.05/3610.60 c #Conflicts: 2003000 | #Constraints: 331709
3600.05/3610.60 c cpu time 3583.04 s
3600.05/3610.60 c deterministic time 69023355729 6.90e+10
3600.05/3610.60 c optimization time 8.26384 s
3600.05/3610.60 c total solve time 3573.93 s
3600.05/3610.60 c core-guided solve time 0 s
3600.05/3610.60 c propagation time 1955.09 s
3600.05/3610.60 c conflict analysis time 204.324 s
3600.05/3610.60 c propagations 4978295149
3600.05/3610.60 c resolve steps 26666419
3600.05/3610.60 c decisions 10130739
3600.05/3610.60 c conflicts 2003495
3600.05/3610.60 c restarts 3945
3600.05/3610.60 c inprocessing phases 46
3600.05/3610.60 c garbage collections 34 ,( 73.91 )
3600.05/3610.60 c input clauses 56772 ,( 26.50 )
3600.05/3610.60 c input cardinalities 791 ,( 0.37 )
3600.05/3610.60 c input general constraints 156645 ,( 73.13 )
3600.05/3610.60 c input average constraint length 5.06
3600.05/3610.60 c input average constraint degree 4.71
3600.05/3610.60 c learned clauses 1690562 ,( 84.38 )
3600.05/3610.60 c learned cardinalities 54915 ,( 2.74 )
3600.05/3610.60 c learned general constraints 258070 ,( 12.88 )
3600.05/3610.60 c learned average constraint length 55.42
3600.05/3610.60 c learned average constraint degree 5585.11
3600.05/3610.60 c watched CF 32, 64, 128, Arb: 80948 , 0 , 0 , 0
3600.05/3610.60 c counting CF 32, 64, 128, Arb: 333767 , 0 , 0 , 0
3600.05/3610.60 c watched constraints 80948 ,( 19.52 )
3600.05/3610.60 c counting constraints 333767 ,( 80.48 )
3600.05/3610.60 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 1858900342 , 325110304 , 12854024735 ,( 42193976 , 12811830759 )
3600.05/3610.60 c gcd simplifications 10645
3600.05/3610.60 c detected cardinalities 6468
3600.05/3610.60 c weakened non-implied lits 14901160
3600.05/3610.60 c weakened non-implying lits 22083
3600.05/3610.60 c original variables 101921
3600.05/3610.60 c clausal propagations 459758292
3600.05/3610.60 c cardinality propagations 35874410
3600.05/3610.60 c watched propagations 693315
3600.05/3610.60 c counting propagations 4479849236
3600.05/3610.60 c watch lookups 28695265619
3600.05/3610.60 c watch backjump lookups 0
3600.05/3610.60 c watch checks 4470553998
3600.05/3610.60 c propagation checks 25569457911
3600.05/3610.60 c constraint additions 308829411
3600.05/3610.60 c trail pops 4990375669
3600.05/3610.60 c formula constraints 214208
3600.05/3610.60 c learned constraints 2003494
3600.05/3610.60 c bound constraints 0
3600.05/3610.60 c core-guided constraints 0
3600.05/3610.60 c encountered formula constraints 13389660
3600.05/3610.60 c encountered learned constraints 15280199
3600.05/3610.60 c encountered bound constraints 0
3600.05/3610.60 c encountered core-guided constraints 0
3600.05/3610.60 c LP total time 1807.57 s
3600.05/3610.60 c LP solve time 1802.35 s
3600.05/3610.60 c LP constraints added 216557
3600.05/3610.60 c LP constraints removed 529
3600.05/3610.60 c LP pivots internal 205947
3600.05/3610.60 c LP pivots root 241285
3600.05/3610.60 c LP calls 14
3600.05/3610.60 c LP optimalities 7
3600.05/3610.60 c LP no pivot count 0
3600.05/3610.60 c LP infeasibilities 0
3600.05/3610.60 c LP valid Farkas constraints 0
3600.05/3610.60 c LP learned Farkas constraints 0
3600.05/3610.60 c LP basis resets 0
3600.05/3610.60 c LP cycling count 0
3600.05/3610.60 c LP singular count 0
3600.05/3610.60 c LP no primal count 0
3600.05/3610.60 c LP no farkas count 0
3600.05/3610.60 c LP other issue count 0
3600.05/3610.60 c LP Gomory cuts 53
3600.05/3610.60 c LP learned cuts 2296
3600.05/3610.60 c LP deleted cuts 529
3600.05/3610.60 c LP encountered Gomory constraints 55
3600.05/3610.60 c LP encountered Farkas constraints 0
3600.05/3610.60 c LP encountered learned Farkas constraints 0
3600.05/3610.60 c CG auxiliary variables introduced 0
3600.05/3610.60 c CG solutions found 0
3600.05/3610.60 c CG cores constructed 0
3600.05/3610.60 c CG core cardinality constraints returned 0
3600.05/3610.60 c CG unit cores 0
3600.05/3610.60 c CG single cores 0
3600.05/3610.60 c CG blocks removed during cardinality reduction 0
3600.05/3610.60 c CG first core best 0
3600.05/3610.60 c CG decision core best 0
3600.05/3610.60 c CG core reduction tie 0
3600.05/3610.60 c CG core degree average 0.00
3600.05/3610.60 c CG core slack average 0.00
3600.05/3610.60 c CG core upper bound improvements 0
3600.05/3610.60 c STR number of successful calls 0
3600.05/3610.60 c STR number of unsuccessful calls 0
3600.05/3610.60 c STR number of inconclusive calls 0
3600.05/3610.60 c STR number of successful attempts 0
3600.05/3610.60 c STR number of unsuccessful attempts 0
3600.05/3610.60 c STR number of inconclusive attempts 0
3600.05/3610.60 c STR average degree increase per successful call inf
3600.05/3610.60 c STR average degree increase per successful attempt inf
3600.05/3610.60 c STR total number of conflicts for successful attempts 0
3600.05/3610.60 c STR total number of conflicts for unsuccessful attempts 0
3600.05/3610.60 c STR total number of conflicts for inconclusive attempts 0
3600.05/3610.60 c STR average number of conflicts per successful attempt inf
3600.05/3610.60 c STR average number of conflicts per unsuccessful attempt inf
3600.05/3610.60 c STR average number of conflicts per inconclusive attempt inf
3600.05/3610.60 c AVG.sumWPerc 67.61
3600.05/3610.60 c bigint constraints 0
3600.05/3610.60 s UNKNOWN
3600.05/3610.60 c Program interrupted by user.
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63708 MiB (62813 MiB free)
memory of node 1: 64465 MiB (63241 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545312-1753234905/watcher-4545312-1753234905 -o /tmp/evaluation-result-4545312-1753234905/solver-4545312-1753234905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753234903-218324 --watchdog 3760 run-dec-ls.sh HOME/instance-4545312-1753234905.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=218430, runsolver pid=218427
[startup+0.100063 s]*
/proc/loadavg: 3.92 4.08 4.08 5/270 218432
/proc/meminfo: memFree=129049280/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=89192 memory=42860 CPUtime=0.08 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 7502 0 0 0 5 3 0 0 20 0 1 0 239169289 91332608 10715 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 22298 10715 2016 1147 0 9725 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 93384 KiB
Current children cumulated memory: 45932 KiB
[startup+0.205551 s]*
/proc/loadavg: 3.92 4.08 4.08 5/270 218432
/proc/meminfo: memFree=129035420/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=103012 memory=55940 CPUtime=0.18 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 10471 0 0 0 13 5 0 0 20 0 1 0 239169289 105484288 13985 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 25753 13985 2016 1147 0 13180 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 107204 KiB
Current children cumulated memory: 59012 KiB
[startup+0.305488 s]*
/proc/loadavg: 3.92 4.08 4.08 5/270 218432
/proc/meminfo: memFree=129019860/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=115348 memory=69788 CPUtime=0.28 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 14363 0 0 0 21 7 0 0 20 0 1 0 239169289 118116352 17447 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 28837 17447 2016 1147 0 16264 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 119540 KiB
Current children cumulated memory: 72860 KiB
[startup+0.700194 s]
/proc/loadavg: 3.92 4.08 4.08 5/270 218432
/proc/meminfo: memFree=128991824/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=170868 memory=124264 CPUtime=0.67 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 27263 0 0 0 50 17 0 0 20 0 1 0 239169289 174968832 31066 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 42717 31066 2016 1147 0 30144 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 175060 KiB
Current children cumulated memory: 127336 KiB
[startup+1.50021 s]
/proc/loadavg: 3.92 4.08 4.08 5/270 218432
/proc/meminfo: memFree=128813648/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=468060 memory=400520 CPUtime=1.46 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 52972 0 0 0 117 29 0 0 20 0 1 0 239169289 479293440 100130 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 117015 100130 2336 1147 0 104442 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 472252 KiB
Current children cumulated memory: 403592 KiB
[startup+3.10543 s]
/proc/loadavg: 3.92 4.08 4.08 5/270 218432
/proc/meminfo: memFree=128663824/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=468060 memory=400776 CPUtime=3.06 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 53027 0 0 0 277 29 0 0 20 0 1 0 239169289 479293440 100194 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 117015 100194 2336 1147 0 104442 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 472252 KiB
Current children cumulated memory: 403848 KiB
[startup+6.3002 s]
/proc/loadavg: 3.93 4.08 4.08 5/270 218432
/proc/meminfo: memFree=128636260/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=483912 memory=408688 CPUtime=6.25 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 53991 0 0 0 592 33 0 0 20 0 1 0 239169289 495525888 102172 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 120978 102172 2400 1147 0 108405 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 488104 KiB
Current children cumulated memory: 411760 KiB
[startup+12.7002 s]
/proc/loadavg: 3.94 4.07 4.08 5/270 218432
/proc/meminfo: memFree=128618516/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=483912 memory=412656 CPUtime=12.63 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 54977 0 0 0 1226 37 0 0 20 0 1 0 239169289 495525888 103164 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 120978 103164 2400 1147 0 108405 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 488104 KiB
Current children cumulated memory: 415728 KiB
[startup+25.5002 s]
/proc/loadavg: 3.95 4.07 4.08 5/270 218432
/proc/meminfo: memFree=128568176/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=492800 memory=413552 CPUtime=25.4 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 55249 0 0 0 2491 49 0 0 20 0 1 0 239169289 504627200 103388 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 123200 103388 2400 1147 0 110627 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 496992 KiB
Current children cumulated memory: 416624 KiB
[startup+51.1055 s]
/proc/loadavg: 4.04 4.08 4.08 5/270 218432
/proc/meminfo: memFree=128490844/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=497084 memory=420608 CPUtime=50.93 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 56495 0 0 0 5021 72 0 0 20 0 1 0 239169289 509014016 105152 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 124271 105152 2400 1147 0 111698 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 501276 KiB
Current children cumulated memory: 423680 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/270 218434
/proc/meminfo: memFree=128375796/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=528800 memory=443708 CPUtime=101.98 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 60808 0 0 0 10081 117 0 0 20 0 1 0 239169289 541491200 110927 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 132200 110927 2400 1147 0 119627 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 532992 KiB
Current children cumulated memory: 446780 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.08 4.08 5/270 218439
/proc/meminfo: memFree=128204880/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=533584 memory=448060 CPUtime=161.81 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 61919 0 0 0 16027 154 0 0 20 0 1 0 239169289 546390016 112015 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 133396 112015 2400 1147 0 120823 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 537776 KiB
Current children cumulated memory: 451132 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.09 4.09 5/269 218486
/proc/meminfo: memFree=128233020/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=547712 memory=461448 CPUtime=221.63 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 64753 0 0 0 21983 180 0 0 20 0 1 0 239169289 560857088 115362 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 136928 115362 2400 1147 0 124355 0
################
# More data... #
################
/proc/218432/statm: 194648 173142 2400 1147 0 182075 0
Current children cumulated CPU time: 3033.63 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 695640 KiB
[startup+3102.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/269 218675
/proc/meminfo: memFree=126673156/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=692568 CPUtime=3093.45 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87184 0 0 0 307766 1579 0 0 20 0 1 0 239169289 797278208 173142 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173142 2400 1147 0 182075 0
Current children cumulated CPU time: 3093.45 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 695640 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/269 218677
/proc/meminfo: memFree=126653256/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=692568 CPUtime=3153.26 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87278 0 0 0 313741 1585 0 0 20 0 1 0 239169289 797278208 173142 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173142 2400 1147 0 182075 0
Current children cumulated CPU time: 3153.26 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 695640 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/269 218682
/proc/meminfo: memFree=126650368/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=692568 CPUtime=3213.06 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87280 0 0 0 319717 1589 0 0 20 0 1 0 239169289 797278208 173142 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173142 2400 1147 0 182075 0
Current children cumulated CPU time: 3213.06 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 695640 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 218684
/proc/meminfo: memFree=126576908/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=692568 CPUtime=3272.85 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87281 0 0 0 325690 1595 0 0 20 0 1 0 239169289 797278208 173142 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173142 2400 1147 0 182075 0
Current children cumulated CPU time: 3272.85 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 695640 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/269 218690
/proc/meminfo: memFree=126502480/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=692568 CPUtime=3332.64 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87282 0 0 0 331663 1601 0 0 20 0 1 0 239169289 797278208 173142 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173142 2400 1147 0 182075 0
Current children cumulated CPU time: 3332.64 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 695640 KiB
[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/269 218692
/proc/meminfo: memFree=126494372/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=694696 CPUtime=3392.42 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87286 0 0 0 337636 1606 0 0 20 0 1 0 239169289 797278208 173674 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173674 2400 1147 0 182075 0
Current children cumulated CPU time: 3392.42 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 697768 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/269 218694
/proc/meminfo: memFree=126498384/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=694696 CPUtime=3452.23 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87383 0 0 0 343609 1614 0 0 20 0 1 0 239169289 797278208 173674 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173674 2400 1147 0 182075 0
Current children cumulated CPU time: 3452.23 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 697768 KiB
[startup+3522.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/269 218696
/proc/meminfo: memFree=126498260/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=694696 CPUtime=3512.04 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87398 0 0 0 349556 1648 0 0 20 0 1 0 239169289 797278208 173674 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173674 2400 1147 0 182075 0
Current children cumulated CPU time: 3512.04 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 697768 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/269 218698
/proc/meminfo: memFree=126494876/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=694696 CPUtime=3571.84 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87398 0 0 0 355499 1685 0 0 20 0 1 0 239169289 797278208 173674 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173674 2400 1147 0 182075 0
Current children cumulated CPU time: 3571.84 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 697768 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.08 4.10 4.09 4/262 218730
/proc/meminfo: memFree=127194972/131249992 swapFree=33003724/33010684
[pid=218430] ppid=218427 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/218430/stat : 218430 (run-dec-ls.sh) S 218427 218430 218313 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239169289 4292608 768 18446744073709551615 94427263062016 94427263956549 140731450264016 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94427264195600 94427264243344 94427290259456 140731450268005 140731450268131 140731450268131 140731450273735 0
/proc/218430/statm: 1048 768 704 219 0 110 0
[pid=218432] ppid=218430 vsize=778592 memory=694696 CPUtime=3600.05 cores=4,6
/proc/218432/stat : 218432 (roundingsat) R 218430 218430 218313 0 -1 4194304 87398 0 0 0 358304 1701 0 0 20 0 1 0 239169289 797278208 173674 18446744073709551615 4227072 8923433 140726150846832 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 43307008 140726150855070 140726150855206 140726150855206 140726150860778 0
/proc/218432/statm: 194648 173674 2400 1147 0 182075 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 782784 KiB
Current children cumulated memory: 697768 KiB
Sending SIGTERM to process tree (bottom up)
[startup+3610.6 s]
# the end of solver process 218430 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0.001691 s, system=0.000201 s
Sleeping 2 seconds
[startup+3610.65 s]
# the end of solver process 218432 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3583.08 s, system=17.0223 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 2
Real time (s): 3610.65
CPU time (s): 3600.1
CPU user time (s): 3583.08
CPU system time (s): 17.0223
CPU usage (%): 99.708
Max. virtual memory (cumulated for all children) (KiB): 782784
Max. memory (cumulated for all children) (KiB): 697768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.08
system time used= 17.0223
maximum resident set size= 694952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87630
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 170
involuntary context switches= 20278
# summary of solver processes directly reported to runsolver:
# pid: 218430,218432
# total CPU time (s): 3600.1
# total CPU user time (s): 3583.08
# total CPU system time (s): 17.0223
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.17347 second user time and 16.2427 second system time
The end
Begin job on nodeC025 at 2025-07-23 03:41:45
IDJOB=4545312
IDBENCH=180812
IDSOLVER=3353
FILE ID=nodeC025/4545312-1753234905
RUNJOBID= nodeC025-1753234903-218324
SLURM_JOB_ID= 9687865
Free space on /tmp= 431820 MiB
SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545312-1753234905/watcher-4545312-1753234905 -o /tmp/evaluation-result-4545312-1753234905/solver-4545312-1753234905 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1753234903-218324 --watchdog 3760 run-dec-ls.sh HOME/instance-4545312-1753234905.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=1723456518
nodeC025 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.828
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.67
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.842
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.67
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 : 3599.756
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.611
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.67
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.835
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.67
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.798
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.67
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 : 3599.834
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.67
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 : 3603.986
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.67
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249992 kB
MemFree: 129080636 kB
MemAvailable: 129338156 kB
Buffers: 2128 kB
Cached: 1001168 kB
SwapCached: 2132 kB
Active: 1111960 kB
Inactive: 346508 kB
Active(anon): 449160 kB
Inactive(anon): 27612 kB
Active(file): 662800 kB
Inactive(file): 318896 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003724 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 37220 kB
Writeback: 4 kB
AnonPages: 456184 kB
Mapped: 116284 kB
Shmem: 21600 kB
KReclaimable: 230128 kB
Slab: 327412 kB
SReclaimable: 230128 kB
SUnreclaim: 97284 kB
KernelStack: 4336 kB
PageTables: 4152 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 830200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150600 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 169984 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: 207572 kB
DirectMap2M: 9000960 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 431820 MiB
End job on nodeC025 at 2025-07-23 04:41:56