0.00/0.01 c RoundingSat 2
0.00/0.01 c branch pb25
0.00/0.01 c commit 63f22ad
0.98/1.06 c #variables 101921 #constraints 214208
106.02/106.39 c #Conflicts: 1000 | #Constraints: 215207
106.02/106.39 c #Conflicts: 2000 | #Constraints: 216207
106.02/106.39 c INPROCESSING
106.02/106.39 c GARBAGE COLLECT
106.02/106.39 c #Conflicts: 3000 | #Constraints: 157998
106.02/106.39 c #Conflicts: 4000 | #Constraints: 158998
106.02/106.39 c INPROCESSING
106.02/106.39 c #Conflicts: 5000 | #Constraints: 158478
106.02/106.39 c #Conflicts: 6000 | #Constraints: 159478
106.02/106.39 c INPROCESSING
106.02/106.39 c #Conflicts: 7000 | #Constraints: 158554
106.02/106.39 c #Conflicts: 8000 | #Constraints: 159554
106.02/106.39 c #Conflicts: 9000 | #Constraints: 160554
106.02/106.39 c #Conflicts: 10000 | #Constraints: 161554
106.02/106.39 c #Conflicts: 11000 | #Constraints: 162554
106.02/106.39 c #Conflicts: 12000 | #Constraints: 163554
106.02/106.39 c INPROCESSING
106.02/106.39 c #Conflicts: 13000 | #Constraints: 160534
106.02/106.39 c #Conflicts: 14000 | #Constraints: 161534
106.02/106.39 c #Conflicts: 15000 | #Constraints: 162534
106.02/106.39 c #Conflicts: 16000 | #Constraints: 163534
106.02/106.39 c INPROCESSING
106.02/106.39 c #Conflicts: 17000 | #Constraints: 160153
106.02/106.39 c #Conflicts: 18000 | #Constraints: 161153
106.02/106.39 c #Conflicts: 19000 | #Constraints: 162153
106.02/106.39 c #Conflicts: 20000 | #Constraints: 163153
106.02/106.39 c #Conflicts: 21000 | #Constraints: 164153
106.02/106.39 c #Conflicts: 22000 | #Constraints: 165153
106.02/106.39 c #Conflicts: 23000 | #Constraints: 166153
106.02/106.39 c #Conflicts: 24000 | #Constraints: 167153
106.02/106.39 c #Conflicts: 25000 | #Constraints: 168153
106.02/106.39 c INPROCESSING
106.02/106.39 c #Conflicts: 26000 | #Constraints: 162671
106.02/106.39 c #Conflicts: 27000 | #Constraints: 163671
106.02/106.39 c #Conflicts: 28000 | #Constraints: 164671
106.02/106.39 c #Conflicts: 29000 | #Constraints: 165671
106.02/106.39 c #Conflicts: 30000 | #Constraints: 166671
106.02/106.39 c INPROCESSING
106.02/106.39 c #Conflicts: 31000 | #Constraints: 161962
106.02/106.39 c #Conflicts: 32000 | #Constraints: 162962
106.02/106.39 c #Conflicts: 33000 | #Constraints: 163962
106.02/106.39 c #Conflicts: 34000 | #Constraints: 164962
106.02/106.39 c #Conflicts: 35000 | #Constraints: 165962
106.02/106.39 c #Conflicts: 36000 | #Constraints: 166962
106.02/106.39 c #Conflicts: 37000 | #Constraints: 167962
106.02/106.39 c #Conflicts: 38000 | #Constraints: 168962
106.02/106.39 c #Conflicts: 39000 | #Constraints: 169962
106.02/106.39 c #Conflicts: 40000 | #Constraints: 170962
106.02/106.39 c #Conflicts: 41000 | #Constraints: 171962
106.02/106.39 c #Conflicts: 42000 | #Constraints: 172962
106.02/106.39 c #Conflicts: 43000 | #Constraints: 173962
106.02/106.39 c INPROCESSING
106.02/106.39 c #Conflicts: 44000 | #Constraints: 165935
106.02/106.39 c #Conflicts: 45000 | #Constraints: 166935
106.02/106.39 c #Conflicts: 46000 | #Constraints: 167935
106.02/106.39 c #Conflicts: 47000 | #Constraints: 168935
106.02/106.39 c #Conflicts: 48000 | #Constraints: 169935
106.02/106.39 c #Conflicts: 49000 | #Constraints: 170935
106.02/106.39 c #Conflicts: 50000 | #Constraints: 171935
106.02/106.39 c #Conflicts: 51000 | #Constraints: 172935
106.02/106.39 c #Conflicts: 52000 | #Constraints: 173935
106.02/106.39 c #Conflicts: 53000 | #Constraints: 174935
106.02/106.39 c #Conflicts: 54000 | #Constraints: 175935
106.02/106.39 c #Conflicts: 55000 | #Constraints: 176935
106.02/106.39 c #Conflicts: 56000 | #Constraints: 177935
106.02/106.39 c #Conflicts: 57000 | #Constraints: 178935
106.02/106.39 c INPROCESSING
106.02/106.39 c GARBAGE COLLECT
106.02/106.39 c #Conflicts: 58000 | #Constraints: 168335
106.02/106.39 c #Conflicts: 59000 | #Constraints: 169335
106.02/106.39 c #Conflicts: 60000 | #Constraints: 170335
106.02/106.39 c #Conflicts: 61000 | #Constraints: 171335
106.02/106.39 c #Conflicts: 62000 | #Constraints: 172335
106.02/106.39 c #Conflicts: 63000 | #Constraints: 173335
106.02/106.39 c #Conflicts: 64000 | #Constraints: 174335
106.02/106.39 c #Conflicts: 65000 | #Constraints: 175335
106.02/106.39 c #Conflicts: 66000 | #Constraints: 176335
106.02/106.39 c #Conflicts: 67000 | #Constraints: 177335
106.02/106.39 c #Conflicts: 68000 | #Constraints: 178335
106.02/106.39 c #Conflicts: 69000 | #Constraints: 179335
106.02/106.39 c #Conflicts: 70000 | #Constraints: 180335
106.02/106.39 c #Conflicts: 71000 | #Constraints: 181335
106.02/106.39 c #Conflicts: 72000 | #Constraints: 182335
106.02/106.39 c #Conflicts: 73000 | #Constraints: 183335
106.02/106.39 c #Conflicts: 74000 | #Constraints: 184335
106.02/106.39 c INPROCESSING
106.02/106.39 c #Conflicts: 75000 | #Constraints: 171471
106.02/106.39 c #Conflicts: 76000 | #Constraints: 172471
294.80/295.58 c #Conflicts: 77000 | #Constraints: 173471
294.80/295.58 c #Conflicts: 78000 | #Constraints: 174471
294.80/295.58 c #Conflicts: 79000 | #Constraints: 175471
294.80/295.58 c #Conflicts: 80000 | #Constraints: 176471
294.80/295.58 c #Conflicts: 81000 | #Constraints: 177471
294.80/295.58 c #Conflicts: 82000 | #Constraints: 178471
294.80/295.58 c #Conflicts: 83000 | #Constraints: 179471
294.80/295.58 c #Conflicts: 84000 | #Constraints: 180471
294.80/295.58 c #Conflicts: 85000 | #Constraints: 181471
294.80/295.58 c #Conflicts: 86000 | #Constraints: 182471
294.80/295.58 c #Conflicts: 87000 | #Constraints: 183471
294.80/295.58 c #Conflicts: 88000 | #Constraints: 184471
294.80/295.58 c #Conflicts: 89000 | #Constraints: 185471
294.80/295.58 c #Conflicts: 90000 | #Constraints: 186471
294.80/295.58 c #Conflicts: 91000 | #Constraints: 187471
294.80/295.58 c #Conflicts: 92000 | #Constraints: 188471
294.80/295.58 c INPROCESSING
294.80/295.58 c #Conflicts: 93000 | #Constraints: 173411
294.80/295.58 c #Conflicts: 94000 | #Constraints: 174411
294.80/295.58 c #Conflicts: 95000 | #Constraints: 175411
294.80/295.58 c #Conflicts: 96000 | #Constraints: 176411
294.80/295.58 c #Conflicts: 97000 | #Constraints: 177411
294.80/295.58 c #Conflicts: 98000 | #Constraints: 178411
294.80/295.58 c #Conflicts: 99000 | #Constraints: 179411
294.80/295.58 c #Conflicts: 100000 | #Constraints: 180411
294.80/295.58 c #Conflicts: 101000 | #Constraints: 181411
294.80/295.58 c #Conflicts: 102000 | #Constraints: 182411
294.80/295.58 c #Conflicts: 103000 | #Constraints: 183411
294.80/295.58 c #Conflicts: 104000 | #Constraints: 184411
294.80/295.58 c #Conflicts: 105000 | #Constraints: 185411
294.80/295.58 c #Conflicts: 106000 | #Constraints: 186411
294.80/295.58 c #Conflicts: 107000 | #Constraints: 187411
294.80/295.58 c #Conflicts: 108000 | #Constraints: 188411
294.80/295.58 c #Conflicts: 109000 | #Constraints: 189411
294.80/295.58 c #Conflicts: 110000 | #Constraints: 190411
294.80/295.58 c #Conflicts: 111000 | #Constraints: 191411
294.80/295.58 c #Conflicts: 112000 | #Constraints: 192411
294.80/295.58 c INPROCESSING
294.80/295.58 c GARBAGE COLLECT
294.80/295.58 c #Conflicts: 113000 | #Constraints: 175265
294.80/295.58 c #Conflicts: 114000 | #Constraints: 176265
294.80/295.58 c #Conflicts: 115000 | #Constraints: 177265
294.80/295.58 c #Conflicts: 116000 | #Constraints: 178265
294.80/295.58 c #Conflicts: 117000 | #Constraints: 179265
294.80/295.58 c #Conflicts: 118000 | #Constraints: 180265
294.80/295.58 c #Conflicts: 119000 | #Constraints: 181265
294.80/295.58 c #Conflicts: 120000 | #Constraints: 182265
294.80/295.58 c #Conflicts: 121000 | #Constraints: 183265
294.80/295.58 c #Conflicts: 122000 | #Constraints: 184265
294.80/295.58 c #Conflicts: 123000 | #Constraints: 185265
294.80/295.58 c #Conflicts: 124000 | #Constraints: 186265
294.80/295.58 c #Conflicts: 125000 | #Constraints: 187265
294.80/295.58 c #Conflicts: 126000 | #Constraints: 188265
294.80/295.58 c #Conflicts: 127000 | #Constraints: 189265
294.80/295.58 c #Conflicts: 128000 | #Constraints: 190265
294.80/295.58 c #Conflicts: 129000 | #Constraints: 191265
294.80/295.58 c #Conflicts: 130000 | #Constraints: 192265
294.80/295.58 c #Conflicts: 131000 | #Constraints: 193265
294.80/295.58 c #Conflicts: 132000 | #Constraints: 194265
294.80/295.58 c #Conflicts: 133000 | #Constraints: 195265
294.80/295.58 c #Conflicts: 134000 | #Constraints: 196265
294.80/295.58 c #Conflicts: 135000 | #Constraints: 197265
294.80/295.58 c INPROCESSING
294.80/295.58 c #Conflicts: 136000 | #Constraints: 178094
294.80/295.58 c #Conflicts: 137000 | #Constraints: 179094
294.80/295.58 c #Conflicts: 138000 | #Constraints: 180094
294.80/295.58 c #Conflicts: 139000 | #Constraints: 181094
294.80/295.58 c #Conflicts: 140000 | #Constraints: 182094
294.80/295.58 c #Conflicts: 141000 | #Constraints: 183094
294.80/295.58 c #Conflicts: 142000 | #Constraints: 184094
294.80/295.58 c #Conflicts: 143000 | #Constraints: 185094
294.80/295.58 c #Conflicts: 144000 | #Constraints: 186094
294.80/295.58 c #Conflicts: 145000 | #Constraints: 187094
294.80/295.58 c #Conflicts: 146000 | #Constraints: 188094
294.80/295.58 c #Conflicts: 147000 | #Constraints: 189094
294.80/295.58 c #Conflicts: 148000 | #Constraints: 190094
294.80/295.58 c #Conflicts: 149000 | #Constraints: 191094
294.80/295.58 c #Conflicts: 150000 | #Constraints: 192094
294.80/295.58 c #Conflicts: 151000 | #Constraints: 193094
294.80/295.58 c #Conflicts: 152000 | #Constraints: 194094
294.80/295.58 c #Conflicts: 153000 | #Constraints: 195094
535.28/536.60 c #Conflicts: 154000 | #Constraints: 196094
535.28/536.60 c #Conflicts: 155000 | #Constraints: 197094
535.28/536.60 c #Conflicts: 156000 | #Constraints: 198094
535.28/536.60 c #Conflicts: 157000 | #Constraints: 199094
535.28/536.60 c #Conflicts: 158000 | #Constraints: 200094
535.28/536.60 c #Conflicts: 159000 | #Constraints: 201094
535.28/536.60 c INPROCESSING
535.28/536.60 c GARBAGE COLLECT
535.28/536.60 c #Conflicts: 160000 | #Constraints: 179950
535.28/536.60 c #Conflicts: 161000 | #Constraints: 180950
535.28/536.60 c #Conflicts: 162000 | #Constraints: 181950
535.28/536.60 c #Conflicts: 163000 | #Constraints: 182950
535.28/536.60 c #Conflicts: 164000 | #Constraints: 183950
535.28/536.60 c #Conflicts: 165000 | #Constraints: 184950
535.28/536.60 c #Conflicts: 166000 | #Constraints: 185950
535.28/536.60 c #Conflicts: 167000 | #Constraints: 186950
535.28/536.60 c #Conflicts: 168000 | #Constraints: 187950
535.28/536.60 c #Conflicts: 169000 | #Constraints: 188950
535.28/536.60 c #Conflicts: 170000 | #Constraints: 189950
535.28/536.60 c #Conflicts: 171000 | #Constraints: 190950
535.28/536.60 c #Conflicts: 172000 | #Constraints: 191950
535.28/536.60 c #Conflicts: 173000 | #Constraints: 192950
535.28/536.60 c #Conflicts: 174000 | #Constraints: 193950
535.28/536.60 c #Conflicts: 175000 | #Constraints: 194950
535.28/536.60 c #Conflicts: 176000 | #Constraints: 195950
535.28/536.60 c #Conflicts: 177000 | #Constraints: 196950
535.28/536.60 c #Conflicts: 178000 | #Constraints: 197950
535.28/536.60 c #Conflicts: 179000 | #Constraints: 198950
535.28/536.60 c #Conflicts: 180000 | #Constraints: 199950
535.28/536.60 c #Conflicts: 181000 | #Constraints: 200950
535.28/536.60 c #Conflicts: 182000 | #Constraints: 201950
535.28/536.60 c #Conflicts: 183000 | #Constraints: 202950
535.28/536.60 c #Conflicts: 184000 | #Constraints: 203950
535.28/536.60 c #Conflicts: 185000 | #Constraints: 204950
535.28/536.60 c #Conflicts: 186000 | #Constraints: 205950
535.28/536.60 c INPROCESSING
535.28/536.60 c #Conflicts: 187000 | #Constraints: 182638
535.28/536.60 c #Conflicts: 188000 | #Constraints: 183638
535.28/536.60 c #Conflicts: 189000 | #Constraints: 184638
535.28/536.60 c #Conflicts: 190000 | #Constraints: 185638
535.28/536.60 c #Conflicts: 191000 | #Constraints: 186638
535.28/536.60 c #Conflicts: 192000 | #Constraints: 187638
535.28/536.60 c #Conflicts: 193000 | #Constraints: 188638
535.28/536.60 c #Conflicts: 194000 | #Constraints: 189638
535.28/536.60 c #Conflicts: 195000 | #Constraints: 190638
535.28/536.60 c #Conflicts: 196000 | #Constraints: 191638
535.28/536.60 c #Conflicts: 197000 | #Constraints: 192638
535.28/536.60 c #Conflicts: 198000 | #Constraints: 193638
535.28/536.60 c #Conflicts: 199000 | #Constraints: 194638
535.28/536.60 c #Conflicts: 200000 | #Constraints: 195638
535.28/536.60 c #Conflicts: 201000 | #Constraints: 196638
535.28/536.60 c #Conflicts: 202000 | #Constraints: 197638
535.28/536.60 c #Conflicts: 203000 | #Constraints: 198638
535.28/536.60 c #Conflicts: 204000 | #Constraints: 199638
535.28/536.60 c #Conflicts: 205000 | #Constraints: 200638
535.28/536.60 c #Conflicts: 206000 | #Constraints: 201638
535.28/536.60 c #Conflicts: 207000 | #Constraints: 202638
535.28/536.60 c #Conflicts: 208000 | #Constraints: 203638
535.28/536.60 c #Conflicts: 209000 | #Constraints: 204638
535.28/536.60 c #Conflicts: 210000 | #Constraints: 205638
535.28/536.60 c #Conflicts: 211000 | #Constraints: 206638
535.28/536.60 c #Conflicts: 212000 | #Constraints: 207638
535.28/536.60 c #Conflicts: 213000 | #Constraints: 208638
535.28/536.60 c #Conflicts: 214000 | #Constraints: 209638
535.28/536.60 c INPROCESSING
535.28/536.60 c GARBAGE COLLECT
535.28/536.60 c rational objective 25171.5
602.79/604.37 c #Conflicts: 215000 | #Constraints: 185139
602.79/604.37 c #Conflicts: 216000 | #Constraints: 186139
602.79/604.37 c #Conflicts: 217000 | #Constraints: 187139
602.79/604.37 c #Conflicts: 218000 | #Constraints: 188139
602.79/604.37 c #Conflicts: 219000 | #Constraints: 189139
602.79/604.37 c #Conflicts: 220000 | #Constraints: 190139
602.79/604.37 c #Conflicts: 221000 | #Constraints: 191139
602.79/604.37 c #Conflicts: 222000 | #Constraints: 192139
602.79/604.37 c #Conflicts: 223000 | #Constraints: 193139
602.79/604.37 c #Conflicts: 224000 | #Constraints: 194139
602.79/604.37 c #Conflicts: 225000 | #Constraints: 195139
602.79/604.37 c #Conflicts: 226000 | #Constraints: 196139
602.79/604.37 c #Conflicts: 227000 | #Constraints: 197139
602.79/604.37 c #Conflicts: 228000 | #Constraints: 198139
602.79/604.37 c #Conflicts: 229000 | #Constraints: 199139
602.79/604.37 c #Conflicts: 230000 | #Constraints: 200139
602.79/604.37 c #Conflicts: 231000 | #Constraints: 201139
602.79/604.37 c #Conflicts: 232000 | #Constraints: 202139
602.79/604.37 c #Conflicts: 233000 | #Constraints: 203139
602.79/604.37 c #Conflicts: 234000 | #Constraints: 204139
602.79/604.37 c #Conflicts: 235000 | #Constraints: 205139
602.79/604.37 c #Conflicts: 236000 | #Constraints: 206139
602.79/604.37 c #Conflicts: 237000 | #Constraints: 207139
602.79/604.37 c #Conflicts: 238000 | #Constraints: 208139
602.79/604.37 c #Conflicts: 239000 | #Constraints: 209139
602.79/604.37 c #Conflicts: 240000 | #Constraints: 210139
602.79/604.37 c #Conflicts: 241000 | #Constraints: 211139
602.79/604.37 c #Conflicts: 242000 | #Constraints: 212139
602.79/604.37 c #Conflicts: 243000 | #Constraints: 213139
602.79/604.37 c #Conflicts: 244000 | #Constraints: 214139
602.79/604.37 c INPROCESSING
602.79/604.37 c #Conflicts: 245000 | #Constraints: 188342
602.79/604.37 c #Conflicts: 246000 | #Constraints: 189342
602.79/604.37 c #Conflicts: 247000 | #Constraints: 190342
602.79/604.37 c #Conflicts: 248000 | #Constraints: 191342
602.79/604.37 c #Conflicts: 249000 | #Constraints: 192342
602.79/604.37 c #Conflicts: 250000 | #Constraints: 193342
602.79/604.37 c #Conflicts: 251000 | #Constraints: 194342
602.79/604.37 c #Conflicts: 252000 | #Constraints: 195342
602.79/604.37 c #Conflicts: 253000 | #Constraints: 196342
602.79/604.37 c #Conflicts: 254000 | #Constraints: 197342
602.79/604.37 c #Conflicts: 255000 | #Constraints: 198342
602.79/604.37 c #Conflicts: 256000 | #Constraints: 199342
602.79/604.37 c #Conflicts: 257000 | #Constraints: 200342
602.79/604.37 c #Conflicts: 258000 | #Constraints: 201342
602.79/604.37 c #Conflicts: 259000 | #Constraints: 202342
602.79/604.37 c #Conflicts: 260000 | #Constraints: 203342
602.79/604.37 c #Conflicts: 261000 | #Constraints: 204342
602.79/604.37 c #Conflicts: 262000 | #Constraints: 205342
602.79/604.37 c #Conflicts: 263000 | #Constraints: 206342
602.79/604.37 c #Conflicts: 264000 | #Constraints: 207342
602.79/604.37 c #Conflicts: 265000 | #Constraints: 208342
602.79/604.37 c #Conflicts: 266000 | #Constraints: 209342
602.79/604.37 c #Conflicts: 267000 | #Constraints: 210342
602.79/604.37 c #Conflicts: 268000 | #Constraints: 211342
602.79/604.37 c #Conflicts: 269000 | #Constraints: 212342
602.79/604.37 c #Conflicts: 270000 | #Constraints: 213342
602.79/604.37 c #Conflicts: 271000 | #Constraints: 214342
602.79/604.37 c #Conflicts: 272000 | #Constraints: 215342
602.79/604.37 c #Conflicts: 273000 | #Constraints: 216342
602.79/604.37 c #Conflicts: 274000 | #Constraints: 217342
602.79/604.37 c #Conflicts: 275000 | #Constraints: 218342
602.79/604.37 c #Conflicts: 276000 | #Constraints: 219342
602.79/604.37 c #Conflicts: 277000 | #Constraints: 220342
602.79/604.37 c INPROCESSING
602.79/604.37 c GARBAGE COLLECT
602.79/604.37 c #Conflicts: 278000 | #Constraints: 192870
602.79/604.37 c #Conflicts: 279000 | #Constraints: 193870
602.79/604.37 c #Conflicts: 280000 | #Constraints: 194870
602.79/604.37 c #Conflicts: 281000 | #Constraints: 195870
602.79/604.37 c #Conflicts: 282000 | #Constraints: 196870
602.79/604.37 c #Conflicts: 283000 | #Constraints: 197870
602.79/604.37 c #Conflicts: 284000 | #Constraints: 198870
602.79/604.37 c #Conflicts: 285000 | #Constraints: 199870
602.79/604.37 c #Conflicts: 286000 | #Constraints: 200870
602.79/604.37 c #Conflicts: 287000 | #Constraints: 201870
602.79/604.37 c #Conflicts: 288000 | #Constraints: 202870
602.79/604.37 c #Conflicts: 289000 | #Constraints: 203870
602.79/604.37 c #Conflicts: 290000 | #Constraints: 204870
602.79/604.37 c #Conflicts: 291000 | #Constraints: 205870
602.79/604.37 c #Conflicts: 292000 | #Constraints: 206870
664.51/666.21 c #Conflicts: 293000 | #Constraints: 207870
664.51/666.21 c #Conflicts: 294000 | #Constraints: 208870
664.51/666.21 c #Conflicts: 295000 | #Constraints: 209870
664.51/666.21 c #Conflicts: 296000 | #Constraints: 210870
664.51/666.21 c #Conflicts: 297000 | #Constraints: 211870
664.51/666.21 c #Conflicts: 298000 | #Constraints: 212870
664.51/666.21 c #Conflicts: 299000 | #Constraints: 213870
664.51/666.21 c #Conflicts: 300000 | #Constraints: 214870
664.51/666.21 c #Conflicts: 301000 | #Constraints: 215870
664.51/666.21 c #Conflicts: 302000 | #Constraints: 216870
664.51/666.21 c #Conflicts: 303000 | #Constraints: 217870
664.51/666.21 c #Conflicts: 304000 | #Constraints: 218870
664.51/666.21 c #Conflicts: 305000 | #Constraints: 219870
664.51/666.21 c #Conflicts: 306000 | #Constraints: 220870
664.51/666.21 c #Conflicts: 307000 | #Constraints: 221870
664.51/666.21 c #Conflicts: 308000 | #Constraints: 222870
664.51/666.21 c #Conflicts: 309000 | #Constraints: 223870
664.51/666.21 c #Conflicts: 310000 | #Constraints: 224870
664.51/666.21 c #Conflicts: 311000 | #Constraints: 225870
664.51/666.21 c INPROCESSING
664.51/666.21 c GARBAGE COLLECT
664.51/666.21 c #Conflicts: 312000 | #Constraints: 196584
664.51/666.21 c #Conflicts: 313000 | #Constraints: 197584
664.51/666.21 c #Conflicts: 314000 | #Constraints: 198584
664.51/666.21 c #Conflicts: 315000 | #Constraints: 199584
664.51/666.21 c #Conflicts: 316000 | #Constraints: 200584
664.51/666.21 c #Conflicts: 317000 | #Constraints: 201584
664.51/666.21 c #Conflicts: 318000 | #Constraints: 202584
664.51/666.21 c #Conflicts: 319000 | #Constraints: 203584
664.51/666.21 c #Conflicts: 320000 | #Constraints: 204584
664.51/666.21 c #Conflicts: 321000 | #Constraints: 205584
664.51/666.21 c #Conflicts: 322000 | #Constraints: 206584
664.51/666.21 c #Conflicts: 323000 | #Constraints: 207584
664.51/666.21 c #Conflicts: 324000 | #Constraints: 208584
664.51/666.21 c #Conflicts: 325000 | #Constraints: 209584
664.51/666.21 c #Conflicts: 326000 | #Constraints: 210584
664.51/666.21 c #Conflicts: 327000 | #Constraints: 211584
664.51/666.21 c #Conflicts: 328000 | #Constraints: 212584
664.51/666.21 c #Conflicts: 329000 | #Constraints: 213584
664.51/666.21 c #Conflicts: 330000 | #Constraints: 214584
664.51/666.21 c #Conflicts: 331000 | #Constraints: 215584
664.51/666.21 c #Conflicts: 332000 | #Constraints: 216584
664.51/666.21 c #Conflicts: 333000 | #Constraints: 217584
664.51/666.21 c #Conflicts: 334000 | #Constraints: 218584
664.51/666.21 c #Conflicts: 335000 | #Constraints: 219584
664.51/666.21 c #Conflicts: 336000 | #Constraints: 220584
664.51/666.21 c #Conflicts: 337000 | #Constraints: 221584
664.51/666.21 c #Conflicts: 338000 | #Constraints: 222584
664.51/666.21 c #Conflicts: 339000 | #Constraints: 223584
664.51/666.21 c #Conflicts: 340000 | #Constraints: 224584
664.51/666.21 c #Conflicts: 341000 | #Constraints: 225584
664.51/666.21 c #Conflicts: 342000 | #Constraints: 226584
664.51/666.21 c #Conflicts: 343000 | #Constraints: 227584
664.51/666.21 c #Conflicts: 344000 | #Constraints: 228584
664.51/666.21 c #Conflicts: 345000 | #Constraints: 229584
664.51/666.21 c #Conflicts: 346000 | #Constraints: 230584
664.51/666.21 c #Conflicts: 347000 | #Constraints: 231584
664.51/666.21 c #Conflicts: 348000 | #Constraints: 232584
664.51/666.21 c INPROCESSING
664.51/666.21 c GARBAGE COLLECT
664.51/666.21 c #Conflicts: 349000 | #Constraints: 201302
664.51/666.21 c #Conflicts: 350000 | #Constraints: 202302
664.51/666.21 c #Conflicts: 351000 | #Constraints: 203302
664.51/666.21 c #Conflicts: 352000 | #Constraints: 204302
664.51/666.21 c #Conflicts: 353000 | #Constraints: 205302
664.51/666.21 c #Conflicts: 354000 | #Constraints: 206302
664.51/666.21 c #Conflicts: 355000 | #Constraints: 207302
664.51/666.21 c #Conflicts: 356000 | #Constraints: 208302
664.51/666.21 c #Conflicts: 357000 | #Constraints: 209302
664.51/666.21 c #Conflicts: 358000 | #Constraints: 210302
664.51/666.21 c #Conflicts: 359000 | #Constraints: 211302
664.51/666.21 c #Conflicts: 360000 | #Constraints: 212302
664.51/666.21 c #Conflicts: 361000 | #Constraints: 213302
664.51/666.21 c #Conflicts: 362000 | #Constraints: 214302
664.51/666.21 c #Conflicts: 363000 | #Constraints: 215302
664.51/666.21 c #Conflicts: 364000 | #Constraints: 216302
664.51/666.21 c #Conflicts: 365000 | #Constraints: 217302
664.51/666.21 c #Conflicts: 366000 | #Constraints: 218302
664.51/666.21 c #Conflicts: 367000 | #Constraints: 219302
664.51/666.21 c #Conflicts: 368000 | #Constraints: 220302
664.51/666.21 c #Conflicts: 369000 | #Constraints: 221302
664.51/666.21 c #Conflicts: 370000 | #Constraints: 222302
770.06/772.09 c #Conflicts: 371000 | #Constraints: 223302
770.06/772.09 c #Conflicts: 372000 | #Constraints: 224302
770.06/772.09 c #Conflicts: 373000 | #Constraints: 225302
770.06/772.09 c #Conflicts: 374000 | #Constraints: 226302
770.06/772.09 c #Conflicts: 375000 | #Constraints: 227302
770.06/772.09 c #Conflicts: 376000 | #Constraints: 228302
770.06/772.09 c #Conflicts: 377000 | #Constraints: 229302
770.06/772.09 c #Conflicts: 378000 | #Constraints: 230302
770.06/772.09 c #Conflicts: 379000 | #Constraints: 231302
770.06/772.09 c #Conflicts: 380000 | #Constraints: 232302
770.06/772.09 c #Conflicts: 381000 | #Constraints: 233302
770.06/772.09 c #Conflicts: 382000 | #Constraints: 234302
770.06/772.09 c #Conflicts: 383000 | #Constraints: 235302
770.06/772.09 c #Conflicts: 384000 | #Constraints: 236302
770.06/772.09 c #Conflicts: 385000 | #Constraints: 237302
770.06/772.09 c #Conflicts: 386000 | #Constraints: 238302
770.06/772.09 c INPROCESSING
770.06/772.09 c GARBAGE COLLECT
770.06/772.09 c #Conflicts: 387000 | #Constraints: 205155
770.06/772.09 c #Conflicts: 388000 | #Constraints: 206155
770.06/772.09 c #Conflicts: 389000 | #Constraints: 207155
770.06/772.09 c #Conflicts: 390000 | #Constraints: 208155
770.06/772.09 c #Conflicts: 391000 | #Constraints: 209155
770.06/772.09 c #Conflicts: 392000 | #Constraints: 210155
770.06/772.09 c #Conflicts: 393000 | #Constraints: 211155
770.06/772.09 c #Conflicts: 394000 | #Constraints: 212155
770.06/772.09 c #Conflicts: 395000 | #Constraints: 213155
770.06/772.09 c #Conflicts: 396000 | #Constraints: 214155
770.06/772.09 c #Conflicts: 397000 | #Constraints: 215155
770.06/772.09 c #Conflicts: 398000 | #Constraints: 216155
770.06/772.09 c #Conflicts: 399000 | #Constraints: 217155
770.06/772.09 c #Conflicts: 400000 | #Constraints: 218155
770.06/772.09 c #Conflicts: 401000 | #Constraints: 219155
770.06/772.09 c #Conflicts: 402000 | #Constraints: 220155
770.06/772.09 c #Conflicts: 403000 | #Constraints: 221155
770.06/772.09 c #Conflicts: 404000 | #Constraints: 222155
770.06/772.09 c #Conflicts: 405000 | #Constraints: 223155
770.06/772.09 c #Conflicts: 406000 | #Constraints: 224155
770.06/772.09 c #Conflicts: 407000 | #Constraints: 225155
770.06/772.09 c #Conflicts: 408000 | #Constraints: 226155
770.06/772.09 c #Conflicts: 409000 | #Constraints: 227155
770.06/772.09 c #Conflicts: 410000 | #Constraints: 228155
770.06/772.09 c #Conflicts: 411000 | #Constraints: 229155
770.06/772.09 c #Conflicts: 412000 | #Constraints: 230155
770.06/772.09 c #Conflicts: 413000 | #Constraints: 231155
770.06/772.09 c #Conflicts: 414000 | #Constraints: 232155
770.06/772.09 c #Conflicts: 415000 | #Constraints: 233155
770.06/772.09 c #Conflicts: 416000 | #Constraints: 234155
770.06/772.09 c #Conflicts: 417000 | #Constraints: 235155
770.06/772.09 c #Conflicts: 418000 | #Constraints: 236155
770.06/772.09 c #Conflicts: 419000 | #Constraints: 237155
770.06/772.09 c #Conflicts: 420000 | #Constraints: 238155
770.06/772.09 c #Conflicts: 421000 | #Constraints: 239155
770.06/772.09 c #Conflicts: 422000 | #Constraints: 240155
770.06/772.09 c #Conflicts: 423000 | #Constraints: 241155
770.06/772.09 c #Conflicts: 424000 | #Constraints: 242155
770.06/772.09 c #Conflicts: 425000 | #Constraints: 243155
770.06/772.09 c #Conflicts: 426000 | #Constraints: 244155
770.06/772.09 c INPROCESSING
770.06/772.09 c GARBAGE COLLECT
770.06/772.09 c #Conflicts: 427000 | #Constraints: 209445
770.06/772.09 c #Conflicts: 428000 | #Constraints: 210445
770.06/772.09 c #Conflicts: 429000 | #Constraints: 211445
770.06/772.09 c #Conflicts: 430000 | #Constraints: 212445
770.06/772.09 c #Conflicts: 431000 | #Constraints: 213445
770.06/772.09 c #Conflicts: 432000 | #Constraints: 214445
770.06/772.09 c #Conflicts: 433000 | #Constraints: 215445
770.06/772.09 c #Conflicts: 434000 | #Constraints: 216445
770.06/772.09 c #Conflicts: 435000 | #Constraints: 217445
770.06/772.09 c #Conflicts: 436000 | #Constraints: 218445
770.06/772.09 c #Conflicts: 437000 | #Constraints: 219445
770.06/772.09 c #Conflicts: 438000 | #Constraints: 220445
770.06/772.09 c #Conflicts: 439000 | #Constraints: 221445
770.06/772.09 c #Conflicts: 440000 | #Constraints: 222445
770.06/772.09 c #Conflicts: 441000 | #Constraints: 223445
770.06/772.09 c #Conflicts: 442000 | #Constraints: 224445
770.06/772.09 c #Conflicts: 443000 | #Constraints: 225445
770.06/772.09 c #Conflicts: 444000 | #Constraints: 226445
770.06/772.09 c #Conflicts: 445000 | #Constraints: 227445
770.06/772.09 c #Conflicts: 446000 | #Constraints: 228445
770.06/772.09 c #Conflicts: 447000 | #Constraints: 229445
839.89/842.06 c #Conflicts: 448000 | #Constraints: 230445
839.89/842.06 c #Conflicts: 449000 | #Constraints: 231445
839.89/842.06 c #Conflicts: 450000 | #Constraints: 232445
839.89/842.06 c #Conflicts: 451000 | #Constraints: 233445
839.89/842.06 c #Conflicts: 452000 | #Constraints: 234445
839.89/842.06 c #Conflicts: 453000 | #Constraints: 235445
839.89/842.06 c #Conflicts: 454000 | #Constraints: 236445
839.89/842.06 c #Conflicts: 455000 | #Constraints: 237445
839.89/842.06 c #Conflicts: 456000 | #Constraints: 238445
839.89/842.06 c #Conflicts: 457000 | #Constraints: 239445
839.89/842.06 c #Conflicts: 458000 | #Constraints: 240445
839.89/842.06 c #Conflicts: 459000 | #Constraints: 241445
839.89/842.06 c #Conflicts: 460000 | #Constraints: 242445
839.89/842.06 c #Conflicts: 461000 | #Constraints: 243445
839.89/842.06 c #Conflicts: 462000 | #Constraints: 244445
839.89/842.06 c #Conflicts: 463000 | #Constraints: 245445
839.89/842.06 c #Conflicts: 464000 | #Constraints: 246445
839.89/842.06 c #Conflicts: 465000 | #Constraints: 247445
839.89/842.06 c #Conflicts: 466000 | #Constraints: 248445
839.89/842.06 c #Conflicts: 467000 | #Constraints: 249445
839.89/842.06 c #Conflicts: 468000 | #Constraints: 250445
839.89/842.06 c #Conflicts: 469000 | #Constraints: 251445
839.89/842.06 c INPROCESSING
839.89/842.06 c GARBAGE COLLECT
839.89/842.06 c #Conflicts: 470000 | #Constraints: 214745
839.89/842.06 c #Conflicts: 471000 | #Constraints: 215745
839.89/842.06 c #Conflicts: 472000 | #Constraints: 216745
839.89/842.06 c #Conflicts: 473000 | #Constraints: 217745
839.89/842.06 c #Conflicts: 474000 | #Constraints: 218745
839.89/842.06 c #Conflicts: 475000 | #Constraints: 219745
839.89/842.06 c #Conflicts: 476000 | #Constraints: 220745
839.89/842.06 c #Conflicts: 477000 | #Constraints: 221745
839.89/842.06 c #Conflicts: 478000 | #Constraints: 222745
839.89/842.06 c #Conflicts: 479000 | #Constraints: 223745
839.89/842.06 c #Conflicts: 480000 | #Constraints: 224745
839.89/842.06 c #Conflicts: 481000 | #Constraints: 225745
839.89/842.06 c #Conflicts: 482000 | #Constraints: 226745
839.89/842.06 c #Conflicts: 483000 | #Constraints: 227745
839.89/842.06 c #Conflicts: 484000 | #Constraints: 228745
839.89/842.06 c #Conflicts: 485000 | #Constraints: 229745
839.89/842.06 c #Conflicts: 486000 | #Constraints: 230745
839.89/842.06 c #Conflicts: 487000 | #Constraints: 231745
839.89/842.06 c #Conflicts: 488000 | #Constraints: 232745
839.89/842.06 c #Conflicts: 489000 | #Constraints: 233745
839.89/842.06 c #Conflicts: 490000 | #Constraints: 234745
839.89/842.06 c #Conflicts: 491000 | #Constraints: 235745
839.89/842.06 c #Conflicts: 492000 | #Constraints: 236745
839.89/842.06 c #Conflicts: 493000 | #Constraints: 237745
839.89/842.06 c #Conflicts: 494000 | #Constraints: 238745
839.89/842.06 c #Conflicts: 495000 | #Constraints: 239745
839.89/842.06 c #Conflicts: 496000 | #Constraints: 240745
839.89/842.06 c #Conflicts: 497000 | #Constraints: 241745
839.89/842.06 c #Conflicts: 498000 | #Constraints: 242745
839.89/842.06 c #Conflicts: 499000 | #Constraints: 243745
839.89/842.06 c #Conflicts: 500000 | #Constraints: 244745
839.89/842.06 c #Conflicts: 501000 | #Constraints: 245745
839.89/842.06 c #Conflicts: 502000 | #Constraints: 246745
839.89/842.06 c #Conflicts: 503000 | #Constraints: 247745
839.89/842.06 c #Conflicts: 504000 | #Constraints: 248745
839.89/842.06 c #Conflicts: 505000 | #Constraints: 249745
839.89/842.06 c #Conflicts: 506000 | #Constraints: 250745
839.89/842.06 c #Conflicts: 507000 | #Constraints: 251745
839.89/842.06 c #Conflicts: 508000 | #Constraints: 252745
839.89/842.06 c #Conflicts: 509000 | #Constraints: 253745
839.89/842.06 c #Conflicts: 510000 | #Constraints: 254745
839.89/842.06 c #Conflicts: 511000 | #Constraints: 255745
839.89/842.06 c #Conflicts: 512000 | #Constraints: 256745
839.89/842.06 c #Conflicts: 513000 | #Constraints: 257745
839.89/842.06 c INPROCESSING
839.89/842.06 c GARBAGE COLLECT
839.89/842.06 c #Conflicts: 514000 | #Constraints: 219516
839.89/842.06 c #Conflicts: 515000 | #Constraints: 220516
839.89/842.06 c #Conflicts: 516000 | #Constraints: 221516
839.89/842.06 c #Conflicts: 517000 | #Constraints: 222516
839.89/842.06 c #Conflicts: 518000 | #Constraints: 223516
839.89/842.06 c #Conflicts: 519000 | #Constraints: 224516
839.89/842.06 c #Conflicts: 520000 | #Constraints: 225516
839.89/842.06 c #Conflicts: 521000 | #Constraints: 226516
839.89/842.06 c #Conflicts: 522000 | #Constraints: 227516
839.89/842.06 c #Conflicts: 523000 | #Constraints: 228516
839.89/842.06 c #Conflicts: 524000 | #Constraints: 229516
839.89/842.06 c #Conflicts: 525000 | #Constraints: 230516
902.14/904.48 c #Conflicts: 526000 | #Constraints: 231516
902.14/904.48 c #Conflicts: 527000 | #Constraints: 232516
902.14/904.48 c #Conflicts: 528000 | #Constraints: 233516
902.14/904.48 c #Conflicts: 529000 | #Constraints: 234516
902.14/904.48 c #Conflicts: 530000 | #Constraints: 235516
902.14/904.48 c #Conflicts: 531000 | #Constraints: 236516
902.14/904.48 c #Conflicts: 532000 | #Constraints: 237516
902.14/904.48 c #Conflicts: 533000 | #Constraints: 238516
902.14/904.48 c #Conflicts: 534000 | #Constraints: 239516
902.14/904.48 c #Conflicts: 535000 | #Constraints: 240516
902.14/904.48 c #Conflicts: 536000 | #Constraints: 241516
902.14/904.48 c #Conflicts: 537000 | #Constraints: 242516
902.14/904.48 c #Conflicts: 538000 | #Constraints: 243516
902.14/904.48 c #Conflicts: 539000 | #Constraints: 244516
902.14/904.48 c #Conflicts: 540000 | #Constraints: 245516
902.14/904.48 c #Conflicts: 541000 | #Constraints: 246516
902.14/904.48 c #Conflicts: 542000 | #Constraints: 247516
902.14/904.48 c #Conflicts: 543000 | #Constraints: 248516
902.14/904.48 c #Conflicts: 544000 | #Constraints: 249516
902.14/904.48 c #Conflicts: 545000 | #Constraints: 250516
902.14/904.48 c #Conflicts: 546000 | #Constraints: 251516
902.14/904.48 c #Conflicts: 547000 | #Constraints: 252516
902.14/904.48 c #Conflicts: 548000 | #Constraints: 253516
902.14/904.48 c #Conflicts: 549000 | #Constraints: 254516
902.14/904.48 c #Conflicts: 550000 | #Constraints: 255516
902.14/904.48 c #Conflicts: 551000 | #Constraints: 256516
902.14/904.48 c #Conflicts: 552000 | #Constraints: 257516
902.14/904.48 c #Conflicts: 553000 | #Constraints: 258516
902.14/904.48 c #Conflicts: 554000 | #Constraints: 259516
902.14/904.48 c #Conflicts: 555000 | #Constraints: 260516
902.14/904.48 c #Conflicts: 556000 | #Constraints: 261516
902.14/904.48 c #Conflicts: 557000 | #Constraints: 262516
902.14/904.48 c #Conflicts: 558000 | #Constraints: 263516
902.14/904.48 c #Conflicts: 559000 | #Constraints: 264516
902.14/904.48 c #Conflicts: 560000 | #Constraints: 265516
902.14/904.48 c INPROCESSING
902.14/904.48 c GARBAGE COLLECT
902.14/904.48 c #Conflicts: 561000 | #Constraints: 225059
902.14/904.48 c #Conflicts: 562000 | #Constraints: 226059
902.14/904.48 c #Conflicts: 563000 | #Constraints: 227059
902.14/904.48 c #Conflicts: 564000 | #Constraints: 228059
902.14/904.48 c #Conflicts: 565000 | #Constraints: 229059
902.14/904.48 c #Conflicts: 566000 | #Constraints: 230059
902.14/904.48 c #Conflicts: 567000 | #Constraints: 231059
902.14/904.48 c #Conflicts: 568000 | #Constraints: 232059
902.14/904.48 c #Conflicts: 569000 | #Constraints: 233059
902.14/904.48 c #Conflicts: 570000 | #Constraints: 234059
902.14/904.48 c #Conflicts: 571000 | #Constraints: 235059
902.14/904.48 c #Conflicts: 572000 | #Constraints: 236059
902.14/904.48 c #Conflicts: 573000 | #Constraints: 237059
902.14/904.48 c #Conflicts: 574000 | #Constraints: 238059
902.14/904.48 c #Conflicts: 575000 | #Constraints: 239059
902.14/904.48 c #Conflicts: 576000 | #Constraints: 240059
902.14/904.48 c #Conflicts: 577000 | #Constraints: 241059
902.14/904.48 c #Conflicts: 578000 | #Constraints: 242059
902.14/904.48 c #Conflicts: 579000 | #Constraints: 243059
902.14/904.48 c #Conflicts: 580000 | #Constraints: 244059
902.14/904.48 c #Conflicts: 581000 | #Constraints: 245059
902.14/904.48 c #Conflicts: 582000 | #Constraints: 246059
902.14/904.48 c #Conflicts: 583000 | #Constraints: 247059
902.14/904.48 c #Conflicts: 584000 | #Constraints: 248059
902.14/904.48 c #Conflicts: 585000 | #Constraints: 249059
902.14/904.48 c #Conflicts: 586000 | #Constraints: 250059
902.14/904.48 c #Conflicts: 587000 | #Constraints: 251059
902.14/904.48 c #Conflicts: 588000 | #Constraints: 252059
902.14/904.48 c #Conflicts: 589000 | #Constraints: 253059
902.14/904.48 c #Conflicts: 590000 | #Constraints: 254059
902.14/904.48 c #Conflicts: 591000 | #Constraints: 255059
902.14/904.48 c #Conflicts: 592000 | #Constraints: 256059
902.14/904.48 c #Conflicts: 593000 | #Constraints: 257059
902.14/904.48 c #Conflicts: 594000 | #Constraints: 258059
902.14/904.48 c #Conflicts: 595000 | #Constraints: 259059
902.14/904.48 c #Conflicts: 596000 | #Constraints: 260059
902.14/904.48 c #Conflicts: 597000 | #Constraints: 261059
902.14/904.48 c #Conflicts: 598000 | #Constraints: 262059
902.14/904.48 c #Conflicts: 599000 | #Constraints: 263059
902.14/904.48 c #Conflicts: 600000 | #Constraints: 264059
902.14/904.48 c #Conflicts: 601000 | #Constraints: 265059
902.14/904.48 c #Conflicts: 602000 | #Constraints: 266059
902.14/904.48 c #Conflicts: 603000 | #Constraints: 267059
960.11/962.55 c #Conflicts: 604000 | #Constraints: 268059
960.11/962.55 c #Conflicts: 605000 | #Constraints: 269059
960.11/962.55 c #Conflicts: 606000 | #Constraints: 270059
960.11/962.55 c #Conflicts: 607000 | #Constraints: 271059
960.11/962.55 c #Conflicts: 608000 | #Constraints: 272059
960.11/962.55 c INPROCESSING
960.11/962.55 c GARBAGE COLLECT
960.11/962.55 c #Conflicts: 609000 | #Constraints: 230069
960.11/962.55 c #Conflicts: 610000 | #Constraints: 231069
960.11/962.55 c #Conflicts: 611000 | #Constraints: 232069
960.11/962.55 c #Conflicts: 612000 | #Constraints: 233069
960.11/962.55 c #Conflicts: 613000 | #Constraints: 234069
960.11/962.55 c #Conflicts: 614000 | #Constraints: 235069
960.11/962.55 c #Conflicts: 615000 | #Constraints: 236069
960.11/962.55 c #Conflicts: 616000 | #Constraints: 237069
960.11/962.55 c #Conflicts: 617000 | #Constraints: 238069
960.11/962.55 c #Conflicts: 618000 | #Constraints: 239069
960.11/962.55 c #Conflicts: 619000 | #Constraints: 240069
960.11/962.55 c #Conflicts: 620000 | #Constraints: 241069
960.11/962.55 c #Conflicts: 621000 | #Constraints: 242069
960.11/962.55 c #Conflicts: 622000 | #Constraints: 243069
960.11/962.55 c #Conflicts: 623000 | #Constraints: 244069
960.11/962.55 c #Conflicts: 624000 | #Constraints: 245069
960.11/962.55 c #Conflicts: 625000 | #Constraints: 246069
960.11/962.55 c #Conflicts: 626000 | #Constraints: 247069
960.11/962.55 c #Conflicts: 627000 | #Constraints: 248069
960.11/962.55 c #Conflicts: 628000 | #Constraints: 249069
960.11/962.55 c #Conflicts: 629000 | #Constraints: 250069
960.11/962.55 c #Conflicts: 630000 | #Constraints: 251069
960.11/962.55 c #Conflicts: 631000 | #Constraints: 252069
960.11/962.55 c #Conflicts: 632000 | #Constraints: 253069
960.11/962.55 c #Conflicts: 633000 | #Constraints: 254069
960.11/962.55 c #Conflicts: 634000 | #Constraints: 255069
960.11/962.55 c #Conflicts: 635000 | #Constraints: 256069
960.11/962.55 c #Conflicts: 636000 | #Constraints: 257069
960.11/962.55 c #Conflicts: 637000 | #Constraints: 258069
960.11/962.55 c #Conflicts: 638000 | #Constraints: 259069
960.11/962.55 c #Conflicts: 639000 | #Constraints: 260069
960.11/962.55 c #Conflicts: 640000 | #Constraints: 261069
960.11/962.55 c #Conflicts: 641000 | #Constraints: 262069
960.11/962.55 c #Conflicts: 642000 | #Constraints: 263069
960.11/962.55 c #Conflicts: 643000 | #Constraints: 264069
960.11/962.55 c #Conflicts: 644000 | #Constraints: 265069
960.11/962.55 c #Conflicts: 645000 | #Constraints: 266069
960.11/962.55 c #Conflicts: 646000 | #Constraints: 267069
960.11/962.55 c #Conflicts: 647000 | #Constraints: 268069
960.11/962.55 c #Conflicts: 648000 | #Constraints: 269069
960.11/962.55 c #Conflicts: 649000 | #Constraints: 270069
960.11/962.55 c #Conflicts: 650000 | #Constraints: 271069
960.11/962.55 c #Conflicts: 651000 | #Constraints: 272069
960.11/962.55 c #Conflicts: 652000 | #Constraints: 273069
960.11/962.55 c #Conflicts: 653000 | #Constraints: 274069
960.11/962.55 c #Conflicts: 654000 | #Constraints: 275069
960.11/962.55 c #Conflicts: 655000 | #Constraints: 276069
960.11/962.55 c #Conflicts: 656000 | #Constraints: 277069
960.11/962.55 c #Conflicts: 657000 | #Constraints: 278069
960.11/962.55 c #Conflicts: 658000 | #Constraints: 279069
960.11/962.55 c INPROCESSING
960.11/962.55 c GARBAGE COLLECT
960.11/962.55 c #Conflicts: 659000 | #Constraints: 234679
960.11/962.55 c #Conflicts: 660000 | #Constraints: 235679
960.11/962.55 c #Conflicts: 661000 | #Constraints: 236679
960.11/962.55 c #Conflicts: 662000 | #Constraints: 237679
960.11/962.55 c #Conflicts: 663000 | #Constraints: 238679
960.11/962.55 c #Conflicts: 664000 | #Constraints: 239679
960.11/962.55 c #Conflicts: 665000 | #Constraints: 240679
960.11/962.55 c #Conflicts: 666000 | #Constraints: 241679
960.11/962.55 c #Conflicts: 667000 | #Constraints: 242679
960.11/962.55 c #Conflicts: 668000 | #Constraints: 243679
960.11/962.55 c #Conflicts: 669000 | #Constraints: 244679
960.11/962.55 c #Conflicts: 670000 | #Constraints: 245679
960.11/962.55 c #Conflicts: 671000 | #Constraints: 246679
960.11/962.55 c #Conflicts: 672000 | #Constraints: 247679
960.11/962.55 c #Conflicts: 673000 | #Constraints: 248679
960.11/962.55 c #Conflicts: 674000 | #Constraints: 249679
960.11/962.55 c #Conflicts: 675000 | #Constraints: 250679
960.11/962.55 c #Conflicts: 676000 | #Constraints: 251679
960.11/962.55 c #Conflicts: 677000 | #Constraints: 252679
960.11/962.55 c #Conflicts: 678000 | #Constraints: 253679
960.11/962.55 c #Conflicts: 679000 | #Constraints: 254679
960.11/962.55 c #Conflicts: 680000 | #Constraints: 255679
1194.69/1197.65 c #Conflicts: 681000 | #Constraints: 256679
1194.69/1197.65 c #Conflicts: 682000 | #Constraints: 257679
1194.69/1197.65 c #Conflicts: 683000 | #Constraints: 258679
1194.69/1197.65 c #Conflicts: 684000 | #Constraints: 259679
1194.69/1197.65 c #Conflicts: 685000 | #Constraints: 260679
1194.69/1197.65 c #Conflicts: 686000 | #Constraints: 261679
1194.69/1197.65 c #Conflicts: 687000 | #Constraints: 262679
1194.69/1197.65 c #Conflicts: 688000 | #Constraints: 263679
1194.69/1197.65 c #Conflicts: 689000 | #Constraints: 264679
1194.69/1197.65 c #Conflicts: 690000 | #Constraints: 265679
1194.69/1197.65 c #Conflicts: 691000 | #Constraints: 266679
1194.69/1197.65 c #Conflicts: 692000 | #Constraints: 267679
1194.69/1197.65 c #Conflicts: 693000 | #Constraints: 268679
1194.69/1197.65 c #Conflicts: 694000 | #Constraints: 269679
1194.69/1197.65 c #Conflicts: 695000 | #Constraints: 270679
1194.69/1197.65 c #Conflicts: 696000 | #Constraints: 271679
1194.69/1197.65 c #Conflicts: 697000 | #Constraints: 272679
1194.69/1197.65 c #Conflicts: 698000 | #Constraints: 273679
1194.69/1197.65 c #Conflicts: 699000 | #Constraints: 274679
1194.69/1197.65 c #Conflicts: 700000 | #Constraints: 275679
1194.69/1197.65 c #Conflicts: 701000 | #Constraints: 276679
1194.69/1197.65 c #Conflicts: 702000 | #Constraints: 277679
1194.69/1197.65 c #Conflicts: 703000 | #Constraints: 278679
1194.69/1197.65 c #Conflicts: 704000 | #Constraints: 279679
1194.69/1197.65 c #Conflicts: 705000 | #Constraints: 280679
1194.69/1197.65 c #Conflicts: 706000 | #Constraints: 281679
1194.69/1197.65 c #Conflicts: 707000 | #Constraints: 282679
1194.69/1197.65 c #Conflicts: 708000 | #Constraints: 283679
1194.69/1197.65 c #Conflicts: 709000 | #Constraints: 284679
1194.69/1197.65 c #Conflicts: 710000 | #Constraints: 285679
1194.69/1197.65 c #Conflicts: 711000 | #Constraints: 286679
1194.69/1197.65 c INPROCESSING
1194.69/1197.65 c GARBAGE COLLECT
1194.69/1197.65 c #Conflicts: 712000 | #Constraints: 240581
1194.69/1197.65 c #Conflicts: 713000 | #Constraints: 241581
1194.69/1197.65 c #Conflicts: 714000 | #Constraints: 242581
1194.69/1197.65 c #Conflicts: 715000 | #Constraints: 243581
1194.69/1197.65 c #Conflicts: 716000 | #Constraints: 244581
1194.69/1197.65 c #Conflicts: 717000 | #Constraints: 245581
1194.69/1197.65 c #Conflicts: 718000 | #Constraints: 246581
1194.69/1197.65 c #Conflicts: 719000 | #Constraints: 247581
1194.69/1197.65 c #Conflicts: 720000 | #Constraints: 248581
1194.69/1197.65 c #Conflicts: 721000 | #Constraints: 249581
1194.69/1197.65 c #Conflicts: 722000 | #Constraints: 250581
1194.69/1197.65 c #Conflicts: 723000 | #Constraints: 251581
1194.69/1197.65 c #Conflicts: 724000 | #Constraints: 252581
1194.69/1197.65 c #Conflicts: 725000 | #Constraints: 253581
1194.69/1197.65 c #Conflicts: 726000 | #Constraints: 254581
1194.69/1197.65 c #Conflicts: 727000 | #Constraints: 255581
1194.69/1197.65 c #Conflicts: 728000 | #Constraints: 256581
1194.69/1197.65 c #Conflicts: 729000 | #Constraints: 257581
1194.69/1197.65 c #Conflicts: 730000 | #Constraints: 258581
1194.69/1197.65 c #Conflicts: 731000 | #Constraints: 259581
1194.69/1197.65 c #Conflicts: 732000 | #Constraints: 260581
1194.69/1197.65 c #Conflicts: 733000 | #Constraints: 261581
1194.69/1197.65 c #Conflicts: 734000 | #Constraints: 262581
1194.69/1197.65 c #Conflicts: 735000 | #Constraints: 263581
1194.69/1197.65 c #Conflicts: 736000 | #Constraints: 264581
1194.69/1197.65 c #Conflicts: 737000 | #Constraints: 265581
1194.69/1197.65 c #Conflicts: 738000 | #Constraints: 266581
1194.69/1197.65 c #Conflicts: 739000 | #Constraints: 267581
1194.69/1197.65 c #Conflicts: 740000 | #Constraints: 268581
1194.69/1197.65 c #Conflicts: 741000 | #Constraints: 269581
1194.69/1197.65 c #Conflicts: 742000 | #Constraints: 270581
1194.69/1197.65 c #Conflicts: 743000 | #Constraints: 271581
1194.69/1197.65 c #Conflicts: 744000 | #Constraints: 272581
1194.69/1197.65 c #Conflicts: 745000 | #Constraints: 273581
1194.69/1197.65 c #Conflicts: 746000 | #Constraints: 274581
1194.69/1197.65 c #Conflicts: 747000 | #Constraints: 275581
1194.69/1197.65 c #Conflicts: 748000 | #Constraints: 276581
1194.69/1197.65 c #Conflicts: 749000 | #Constraints: 277581
1194.69/1197.65 c #Conflicts: 750000 | #Constraints: 278581
1194.69/1197.65 c #Conflicts: 751000 | #Constraints: 279581
1194.69/1197.65 c #Conflicts: 752000 | #Constraints: 280581
1194.69/1197.65 c #Conflicts: 753000 | #Constraints: 281581
1194.69/1197.65 c #Conflicts: 754000 | #Constraints: 282581
1194.69/1197.65 c #Conflicts: 755000 | #Constraints: 283581
1194.69/1197.65 c #Conflicts: 756000 | #Constraints: 284581
1194.69/1197.65 c #Conflicts: 757000 | #Constraints: 285581
1194.69/1197.65 c #Conflicts: 758000 | #Constraints: 286581
1194.69/1197.65 c #Conflicts: 759000 | #Constraints: 287581
1442.02/1445.57 c #Conflicts: 760000 | #Constraints: 288581
1442.02/1445.57 c #Conflicts: 761000 | #Constraints: 289581
1442.02/1445.57 c #Conflicts: 762000 | #Constraints: 290581
1442.02/1445.57 c #Conflicts: 763000 | #Constraints: 291581
1442.02/1445.57 c #Conflicts: 764000 | #Constraints: 292581
1442.02/1445.57 c #Conflicts: 765000 | #Constraints: 293581
1442.02/1445.57 c INPROCESSING
1442.02/1445.57 c GARBAGE COLLECT
1442.02/1445.57 c #Conflicts: 766000 | #Constraints: 245176
1442.02/1445.57 c #Conflicts: 767000 | #Constraints: 246176
1442.02/1445.57 c #Conflicts: 768000 | #Constraints: 247176
1442.02/1445.57 c #Conflicts: 769000 | #Constraints: 248176
1442.02/1445.57 c #Conflicts: 770000 | #Constraints: 249176
1442.02/1445.57 c #Conflicts: 771000 | #Constraints: 250176
1442.02/1445.57 c #Conflicts: 772000 | #Constraints: 251176
1442.02/1445.57 c #Conflicts: 773000 | #Constraints: 252176
1442.02/1445.57 c #Conflicts: 774000 | #Constraints: 253176
1442.02/1445.57 c #Conflicts: 775000 | #Constraints: 254176
1442.02/1445.57 c #Conflicts: 776000 | #Constraints: 255176
1442.02/1445.57 c #Conflicts: 777000 | #Constraints: 256176
1442.02/1445.57 c #Conflicts: 778000 | #Constraints: 257176
1442.02/1445.57 c #Conflicts: 779000 | #Constraints: 258176
1442.02/1445.57 c #Conflicts: 780000 | #Constraints: 259176
1442.02/1445.57 c #Conflicts: 781000 | #Constraints: 260176
1442.02/1445.57 c #Conflicts: 782000 | #Constraints: 261176
1442.02/1445.57 c #Conflicts: 783000 | #Constraints: 262176
1442.02/1445.57 c #Conflicts: 784000 | #Constraints: 263176
1442.02/1445.57 c #Conflicts: 785000 | #Constraints: 264176
1442.02/1445.57 c #Conflicts: 786000 | #Constraints: 265176
1442.02/1445.57 c #Conflicts: 787000 | #Constraints: 266176
1442.02/1445.57 c #Conflicts: 788000 | #Constraints: 267176
1442.02/1445.57 c #Conflicts: 789000 | #Constraints: 268176
1442.02/1445.57 c #Conflicts: 790000 | #Constraints: 269176
1442.02/1445.57 c #Conflicts: 791000 | #Constraints: 270176
1442.02/1445.57 c #Conflicts: 792000 | #Constraints: 271176
1442.02/1445.57 c #Conflicts: 793000 | #Constraints: 272176
1442.02/1445.57 c #Conflicts: 794000 | #Constraints: 273176
1442.02/1445.57 c #Conflicts: 795000 | #Constraints: 274176
1442.02/1445.57 c #Conflicts: 796000 | #Constraints: 275176
1442.02/1445.57 c #Conflicts: 797000 | #Constraints: 276176
1442.02/1445.57 c #Conflicts: 798000 | #Constraints: 277176
1442.02/1445.57 c #Conflicts: 799000 | #Constraints: 278176
1442.02/1445.57 c #Conflicts: 800000 | #Constraints: 279176
1442.02/1445.57 c #Conflicts: 801000 | #Constraints: 280176
1442.02/1445.57 c #Conflicts: 802000 | #Constraints: 281176
1442.02/1445.57 c #Conflicts: 803000 | #Constraints: 282176
1442.02/1445.57 c #Conflicts: 804000 | #Constraints: 283176
1442.02/1445.57 c #Conflicts: 805000 | #Constraints: 284176
1442.02/1445.57 c #Conflicts: 806000 | #Constraints: 285176
1442.02/1445.57 c #Conflicts: 807000 | #Constraints: 286176
1442.02/1445.57 c #Conflicts: 808000 | #Constraints: 287176
1442.02/1445.57 c #Conflicts: 809000 | #Constraints: 288176
1442.02/1445.57 c #Conflicts: 810000 | #Constraints: 289176
1442.02/1445.57 c #Conflicts: 811000 | #Constraints: 290176
1442.02/1445.57 c #Conflicts: 812000 | #Constraints: 291176
1442.02/1445.57 c #Conflicts: 813000 | #Constraints: 292176
1442.02/1445.57 c #Conflicts: 814000 | #Constraints: 293176
1442.02/1445.57 c #Conflicts: 815000 | #Constraints: 294176
1442.02/1445.57 c #Conflicts: 816000 | #Constraints: 295176
1442.02/1445.57 c #Conflicts: 817000 | #Constraints: 296176
1442.02/1445.57 c #Conflicts: 818000 | #Constraints: 297176
1442.02/1445.57 c #Conflicts: 819000 | #Constraints: 298176
1442.02/1445.57 c #Conflicts: 820000 | #Constraints: 299176
1442.02/1445.57 c #Conflicts: 821000 | #Constraints: 300176
1442.02/1445.57 c #Conflicts: 822000 | #Constraints: 301176
1442.02/1445.57 c INPROCESSING
1442.02/1445.57 c GARBAGE COLLECT
1442.02/1445.57 c rational objective 25266.6
1495.30/1498.99 c #Conflicts: 823000 | #Constraints: 251586
1495.30/1498.99 c #Conflicts: 824000 | #Constraints: 252586
1495.30/1498.99 c #Conflicts: 825000 | #Constraints: 253586
1495.30/1498.99 c #Conflicts: 826000 | #Constraints: 254586
1495.30/1498.99 c #Conflicts: 827000 | #Constraints: 255586
1495.30/1498.99 c #Conflicts: 828000 | #Constraints: 256586
1495.30/1498.99 c #Conflicts: 829000 | #Constraints: 257586
1495.30/1498.99 c #Conflicts: 830000 | #Constraints: 258586
1495.30/1498.99 c #Conflicts: 831000 | #Constraints: 259586
1495.30/1498.99 c #Conflicts: 832000 | #Constraints: 260586
1495.30/1498.99 c #Conflicts: 833000 | #Constraints: 261586
1495.30/1498.99 c #Conflicts: 834000 | #Constraints: 262586
1495.30/1498.99 c #Conflicts: 835000 | #Constraints: 263586
1495.30/1498.99 c #Conflicts: 836000 | #Constraints: 264586
1495.30/1498.99 c #Conflicts: 837000 | #Constraints: 265586
1495.30/1498.99 c #Conflicts: 838000 | #Constraints: 266586
1495.30/1498.99 c #Conflicts: 839000 | #Constraints: 267586
1495.30/1498.99 c #Conflicts: 840000 | #Constraints: 268586
1495.30/1498.99 c #Conflicts: 841000 | #Constraints: 269586
1495.30/1498.99 c #Conflicts: 842000 | #Constraints: 270586
1495.30/1498.99 c #Conflicts: 843000 | #Constraints: 271586
1495.30/1498.99 c #Conflicts: 844000 | #Constraints: 272586
1495.30/1498.99 c #Conflicts: 845000 | #Constraints: 273586
1495.30/1498.99 c #Conflicts: 846000 | #Constraints: 274586
1495.30/1498.99 c #Conflicts: 847000 | #Constraints: 275586
1495.30/1498.99 c #Conflicts: 848000 | #Constraints: 276586
1495.30/1498.99 c #Conflicts: 849000 | #Constraints: 277586
1495.30/1498.99 c #Conflicts: 850000 | #Constraints: 278586
1495.30/1498.99 c #Conflicts: 851000 | #Constraints: 279586
1495.30/1498.99 c #Conflicts: 852000 | #Constraints: 280586
1495.30/1498.99 c #Conflicts: 853000 | #Constraints: 281586
1495.30/1498.99 c #Conflicts: 854000 | #Constraints: 282586
1495.30/1498.99 c #Conflicts: 855000 | #Constraints: 283586
1495.30/1498.99 c #Conflicts: 856000 | #Constraints: 284586
1495.30/1498.99 c #Conflicts: 857000 | #Constraints: 285586
1495.30/1498.99 c #Conflicts: 858000 | #Constraints: 286586
1495.30/1498.99 c #Conflicts: 859000 | #Constraints: 287586
1495.30/1498.99 c #Conflicts: 860000 | #Constraints: 288586
1495.30/1498.99 c #Conflicts: 861000 | #Constraints: 289586
1495.30/1498.99 c #Conflicts: 862000 | #Constraints: 290586
1495.30/1498.99 c #Conflicts: 863000 | #Constraints: 291586
1495.30/1498.99 c #Conflicts: 864000 | #Constraints: 292586
1495.30/1498.99 c #Conflicts: 865000 | #Constraints: 293586
1495.30/1498.99 c #Conflicts: 866000 | #Constraints: 294586
1495.30/1498.99 c #Conflicts: 867000 | #Constraints: 295586
1495.30/1498.99 c #Conflicts: 868000 | #Constraints: 296586
1495.30/1498.99 c #Conflicts: 869000 | #Constraints: 297586
1495.30/1498.99 c #Conflicts: 870000 | #Constraints: 298586
1495.30/1498.99 c #Conflicts: 871000 | #Constraints: 299586
1495.30/1498.99 c #Conflicts: 872000 | #Constraints: 300586
1495.30/1498.99 c #Conflicts: 873000 | #Constraints: 301586
1495.30/1498.99 c #Conflicts: 874000 | #Constraints: 302586
1495.30/1498.99 c #Conflicts: 875000 | #Constraints: 303586
1495.30/1498.99 c #Conflicts: 876000 | #Constraints: 304586
1495.30/1498.99 c #Conflicts: 877000 | #Constraints: 305586
1495.30/1498.99 c #Conflicts: 878000 | #Constraints: 306586
1495.30/1498.99 c #Conflicts: 879000 | #Constraints: 307586
1495.30/1498.99 c #Conflicts: 880000 | #Constraints: 308586
1495.30/1498.99 c INPROCESSING
1495.30/1498.99 c GARBAGE COLLECT
1495.30/1498.99 c #Conflicts: 881000 | #Constraints: 256484
1495.30/1498.99 c #Conflicts: 882000 | #Constraints: 257484
1495.30/1498.99 c #Conflicts: 883000 | #Constraints: 258484
1495.30/1498.99 c #Conflicts: 884000 | #Constraints: 259484
1495.30/1498.99 c #Conflicts: 885000 | #Constraints: 260484
1495.30/1498.99 c #Conflicts: 886000 | #Constraints: 261484
1495.30/1498.99 c #Conflicts: 887000 | #Constraints: 262484
1495.30/1498.99 c #Conflicts: 888000 | #Constraints: 263484
1495.30/1498.99 c #Conflicts: 889000 | #Constraints: 264484
1495.30/1498.99 c #Conflicts: 890000 | #Constraints: 265484
1495.30/1498.99 c #Conflicts: 891000 | #Constraints: 266484
1495.30/1498.99 c #Conflicts: 892000 | #Constraints: 267484
1495.30/1498.99 c #Conflicts: 893000 | #Constraints: 268484
1495.30/1498.99 c #Conflicts: 894000 | #Constraints: 269484
1495.30/1498.99 c #Conflicts: 895000 | #Constraints: 270484
1495.30/1498.99 c #Conflicts: 896000 | #Constraints: 271484
1495.30/1498.99 c #Conflicts: 897000 | #Constraints: 272484
1495.30/1498.99 c #Conflicts: 898000 | #Constraints: 273484
1495.30/1498.99 c #Conflicts: 899000 | #Constraints: 274484
1495.30/1498.99 c #Conflicts: 900000 | #Constraints: 275484
1495.30/1498.99 c #Conflicts: 901000 | #Constraints: 276484
1543.58/1547.33 c #Conflicts: 902000 | #Constraints: 277484
1543.58/1547.33 c #Conflicts: 903000 | #Constraints: 278484
1543.58/1547.33 c #Conflicts: 904000 | #Constraints: 279484
1543.58/1547.33 c #Conflicts: 905000 | #Constraints: 280484
1543.58/1547.33 c #Conflicts: 906000 | #Constraints: 281484
1543.58/1547.33 c #Conflicts: 907000 | #Constraints: 282484
1543.58/1547.33 c #Conflicts: 908000 | #Constraints: 283484
1543.58/1547.33 c #Conflicts: 909000 | #Constraints: 284484
1543.58/1547.33 c #Conflicts: 910000 | #Constraints: 285484
1543.58/1547.33 c #Conflicts: 911000 | #Constraints: 286484
1543.58/1547.33 c #Conflicts: 912000 | #Constraints: 287484
1543.58/1547.33 c #Conflicts: 913000 | #Constraints: 288484
1543.58/1547.33 c #Conflicts: 914000 | #Constraints: 289484
1543.58/1547.33 c #Conflicts: 915000 | #Constraints: 290484
1543.58/1547.33 c #Conflicts: 916000 | #Constraints: 291484
1543.58/1547.33 c #Conflicts: 917000 | #Constraints: 292484
1543.58/1547.33 c #Conflicts: 918000 | #Constraints: 293484
1543.58/1547.33 c #Conflicts: 919000 | #Constraints: 294484
1543.58/1547.33 c #Conflicts: 920000 | #Constraints: 295484
1543.58/1547.33 c #Conflicts: 921000 | #Constraints: 296484
1543.58/1547.33 c #Conflicts: 922000 | #Constraints: 297484
1543.58/1547.33 c #Conflicts: 923000 | #Constraints: 298484
1543.58/1547.33 c #Conflicts: 924000 | #Constraints: 299484
1543.58/1547.33 c #Conflicts: 925000 | #Constraints: 300484
1543.58/1547.33 c #Conflicts: 926000 | #Constraints: 301484
1543.58/1547.33 c #Conflicts: 927000 | #Constraints: 302484
1543.58/1547.33 c #Conflicts: 928000 | #Constraints: 303484
1543.58/1547.33 c #Conflicts: 929000 | #Constraints: 304484
1543.58/1547.33 c #Conflicts: 930000 | #Constraints: 305484
1543.58/1547.33 c #Conflicts: 931000 | #Constraints: 306484
1543.58/1547.33 c #Conflicts: 932000 | #Constraints: 307484
1543.58/1547.33 c #Conflicts: 933000 | #Constraints: 308484
1543.58/1547.33 c #Conflicts: 934000 | #Constraints: 309484
1543.58/1547.33 c #Conflicts: 935000 | #Constraints: 310484
1543.58/1547.33 c #Conflicts: 936000 | #Constraints: 311484
1543.58/1547.33 c #Conflicts: 937000 | #Constraints: 312484
1543.58/1547.33 c #Conflicts: 938000 | #Constraints: 313484
1543.58/1547.33 c #Conflicts: 939000 | #Constraints: 314484
1543.58/1547.33 c #Conflicts: 940000 | #Constraints: 315484
1543.58/1547.33 c INPROCESSING
1543.58/1547.33 c GARBAGE COLLECT
1543.58/1547.33 c #Conflicts: 941000 | #Constraints: 260913
1543.58/1547.33 c #Conflicts: 942000 | #Constraints: 261913
1543.58/1547.33 c #Conflicts: 943000 | #Constraints: 262913
1543.58/1547.33 c #Conflicts: 944000 | #Constraints: 263913
1543.58/1547.33 c #Conflicts: 945000 | #Constraints: 264913
1543.58/1547.33 c #Conflicts: 946000 | #Constraints: 265913
1543.58/1547.33 c #Conflicts: 947000 | #Constraints: 266913
1543.58/1547.33 c #Conflicts: 948000 | #Constraints: 267913
1543.58/1547.33 c #Conflicts: 949000 | #Constraints: 268913
1543.58/1547.33 c #Conflicts: 950000 | #Constraints: 269913
1543.58/1547.33 c #Conflicts: 951000 | #Constraints: 270913
1543.58/1547.33 c #Conflicts: 952000 | #Constraints: 271913
1543.58/1547.33 c #Conflicts: 953000 | #Constraints: 272913
1543.58/1547.33 c #Conflicts: 954000 | #Constraints: 273913
1543.58/1547.33 c #Conflicts: 955000 | #Constraints: 274913
1543.58/1547.33 c #Conflicts: 956000 | #Constraints: 275913
1543.58/1547.33 c #Conflicts: 957000 | #Constraints: 276913
1543.58/1547.33 c #Conflicts: 958000 | #Constraints: 277913
1543.58/1547.33 c #Conflicts: 959000 | #Constraints: 278913
1543.58/1547.33 c #Conflicts: 960000 | #Constraints: 279913
1543.58/1547.33 c #Conflicts: 961000 | #Constraints: 280913
1543.58/1547.33 c #Conflicts: 962000 | #Constraints: 281913
1543.58/1547.33 c #Conflicts: 963000 | #Constraints: 282913
1543.58/1547.33 c #Conflicts: 964000 | #Constraints: 283913
1543.58/1547.33 c #Conflicts: 965000 | #Constraints: 284913
1543.58/1547.33 c #Conflicts: 966000 | #Constraints: 285913
1543.58/1547.33 c #Conflicts: 967000 | #Constraints: 286913
1543.58/1547.33 c #Conflicts: 968000 | #Constraints: 287913
1543.58/1547.33 c #Conflicts: 969000 | #Constraints: 288913
1543.58/1547.33 c #Conflicts: 970000 | #Constraints: 289913
1543.58/1547.33 c #Conflicts: 971000 | #Constraints: 290913
1543.58/1547.33 c #Conflicts: 972000 | #Constraints: 291913
1543.58/1547.33 c #Conflicts: 973000 | #Constraints: 292913
1543.58/1547.33 c #Conflicts: 974000 | #Constraints: 293913
1543.58/1547.33 c #Conflicts: 975000 | #Constraints: 294913
1543.58/1547.33 c #Conflicts: 976000 | #Constraints: 295913
1543.58/1547.33 c #Conflicts: 977000 | #Constraints: 296913
1543.58/1547.33 c #Conflicts: 978000 | #Constraints: 297913
1543.58/1547.33 c #Conflicts: 979000 | #Constraints: 298913
1593.96/1597.83 c #Conflicts: 980000 | #Constraints: 299913
1593.96/1597.83 c #Conflicts: 981000 | #Constraints: 300913
1593.96/1597.83 c #Conflicts: 982000 | #Constraints: 301913
1593.96/1597.83 c #Conflicts: 983000 | #Constraints: 302913
1593.96/1597.83 c #Conflicts: 984000 | #Constraints: 303913
1593.96/1597.83 c #Conflicts: 985000 | #Constraints: 304913
1593.96/1597.83 c #Conflicts: 986000 | #Constraints: 305913
1593.96/1597.83 c #Conflicts: 987000 | #Constraints: 306913
1593.96/1597.83 c #Conflicts: 988000 | #Constraints: 307913
1593.96/1597.83 c #Conflicts: 989000 | #Constraints: 308913
1593.96/1597.83 c #Conflicts: 990000 | #Constraints: 309913
1593.96/1597.83 c #Conflicts: 991000 | #Constraints: 310913
1593.96/1597.83 c #Conflicts: 992000 | #Constraints: 311913
1593.96/1597.83 c #Conflicts: 993000 | #Constraints: 312913
1593.96/1597.83 c #Conflicts: 994000 | #Constraints: 313913
1593.96/1597.83 c #Conflicts: 995000 | #Constraints: 314913
1593.96/1597.83 c #Conflicts: 996000 | #Constraints: 315913
1593.96/1597.83 c #Conflicts: 997000 | #Constraints: 316913
1593.96/1597.83 c #Conflicts: 998000 | #Constraints: 317913
1593.96/1597.83 c #Conflicts: 999000 | #Constraints: 318913
1593.96/1597.83 c #Conflicts: 1000000 | #Constraints: 319913
1593.96/1597.83 c #Conflicts: 1001000 | #Constraints: 320913
1593.96/1597.83 c #Conflicts: 1002000 | #Constraints: 321913
1593.96/1597.83 c #Conflicts: 1003000 | #Constraints: 322913
1593.96/1597.83 c INPROCESSING
1593.96/1597.83 c GARBAGE COLLECT
1593.96/1597.83 c #Conflicts: 1004000 | #Constraints: 264613
1593.96/1597.83 c #Conflicts: 1005000 | #Constraints: 265613
1593.96/1597.83 c #Conflicts: 1006000 | #Constraints: 266613
1593.96/1597.83 c #Conflicts: 1007000 | #Constraints: 267613
1593.96/1597.83 c #Conflicts: 1008000 | #Constraints: 268613
1593.96/1597.83 c #Conflicts: 1009000 | #Constraints: 269613
1593.96/1597.83 c #Conflicts: 1010000 | #Constraints: 270613
1593.96/1597.83 c #Conflicts: 1011000 | #Constraints: 271613
1593.96/1597.83 c #Conflicts: 1012000 | #Constraints: 272613
1593.96/1597.83 c #Conflicts: 1013000 | #Constraints: 273613
1593.96/1597.83 c #Conflicts: 1014000 | #Constraints: 274613
1593.96/1597.83 c #Conflicts: 1015000 | #Constraints: 275613
1593.96/1597.83 c #Conflicts: 1016000 | #Constraints: 276613
1593.96/1597.83 c #Conflicts: 1017000 | #Constraints: 277613
1593.96/1597.83 c #Conflicts: 1018000 | #Constraints: 278613
1593.96/1597.83 c #Conflicts: 1019000 | #Constraints: 279613
1593.96/1597.83 c #Conflicts: 1020000 | #Constraints: 280613
1593.96/1597.83 c #Conflicts: 1021000 | #Constraints: 281613
1593.96/1597.83 c #Conflicts: 1022000 | #Constraints: 282613
1593.96/1597.83 c #Conflicts: 1023000 | #Constraints: 283613
1593.96/1597.83 c #Conflicts: 1024000 | #Constraints: 284613
1593.96/1597.83 c #Conflicts: 1025000 | #Constraints: 285613
1593.96/1597.83 c #Conflicts: 1026000 | #Constraints: 286613
1593.96/1597.83 c #Conflicts: 1027000 | #Constraints: 287613
1593.96/1597.83 c #Conflicts: 1028000 | #Constraints: 288613
1593.96/1597.83 c #Conflicts: 1029000 | #Constraints: 289613
1593.96/1597.83 c #Conflicts: 1030000 | #Constraints: 290613
1593.96/1597.83 c #Conflicts: 1031000 | #Constraints: 291613
1593.96/1597.83 c #Conflicts: 1032000 | #Constraints: 292613
1593.96/1597.83 c #Conflicts: 1033000 | #Constraints: 293613
1593.96/1597.83 c #Conflicts: 1034000 | #Constraints: 294613
1593.96/1597.83 c #Conflicts: 1035000 | #Constraints: 295613
1593.96/1597.83 c #Conflicts: 1036000 | #Constraints: 296613
1593.96/1597.83 c #Conflicts: 1037000 | #Constraints: 297613
1593.96/1597.83 c #Conflicts: 1038000 | #Constraints: 298613
1593.96/1597.83 c #Conflicts: 1039000 | #Constraints: 299613
1593.96/1597.83 c #Conflicts: 1040000 | #Constraints: 300613
1593.96/1597.83 c #Conflicts: 1041000 | #Constraints: 301613
1593.96/1597.83 c #Conflicts: 1042000 | #Constraints: 302613
1593.96/1597.83 c #Conflicts: 1043000 | #Constraints: 303613
1593.96/1597.83 c #Conflicts: 1044000 | #Constraints: 304613
1593.96/1597.83 c #Conflicts: 1045000 | #Constraints: 305613
1593.96/1597.83 c #Conflicts: 1046000 | #Constraints: 306613
1593.96/1597.83 c #Conflicts: 1047000 | #Constraints: 307613
1593.96/1597.83 c #Conflicts: 1048000 | #Constraints: 308613
1593.96/1597.83 c #Conflicts: 1049000 | #Constraints: 309613
1593.96/1597.83 c #Conflicts: 1050000 | #Constraints: 310613
1593.96/1597.83 c #Conflicts: 1051000 | #Constraints: 311613
1593.96/1597.83 c #Conflicts: 1052000 | #Constraints: 312613
1593.96/1597.83 c #Conflicts: 1053000 | #Constraints: 313613
1593.96/1597.83 c #Conflicts: 1054000 | #Constraints: 314613
1593.96/1597.83 c #Conflicts: 1055000 | #Constraints: 315613
1593.96/1597.83 c #Conflicts: 1056000 | #Constraints: 316613
1593.96/1597.83 c #Conflicts: 1057000 | #Constraints: 317613
1651.32/1655.30 c #Conflicts: 1058000 | #Constraints: 318613
1651.32/1655.30 c #Conflicts: 1059000 | #Constraints: 319613
1651.32/1655.30 c #Conflicts: 1060000 | #Constraints: 320613
1651.32/1655.30 c #Conflicts: 1061000 | #Constraints: 321613
1651.32/1655.30 c #Conflicts: 1062000 | #Constraints: 322613
1651.32/1655.30 c #Conflicts: 1063000 | #Constraints: 323613
1651.32/1655.30 c #Conflicts: 1064000 | #Constraints: 324613
1651.32/1655.30 c #Conflicts: 1065000 | #Constraints: 325613
1651.32/1655.30 c #Conflicts: 1066000 | #Constraints: 326613
1651.32/1655.30 c #Conflicts: 1067000 | #Constraints: 327613
1651.32/1655.30 c INPROCESSING
1651.32/1655.30 c GARBAGE COLLECT
1651.32/1655.30 c #Conflicts: 1068000 | #Constraints: 268326
1651.32/1655.30 c #Conflicts: 1069000 | #Constraints: 269326
1651.32/1655.30 c #Conflicts: 1070000 | #Constraints: 270326
1651.32/1655.30 c #Conflicts: 1071000 | #Constraints: 271326
1651.32/1655.30 c #Conflicts: 1072000 | #Constraints: 272326
1651.32/1655.30 c #Conflicts: 1073000 | #Constraints: 273326
1651.32/1655.30 c #Conflicts: 1074000 | #Constraints: 274326
1651.32/1655.30 c #Conflicts: 1075000 | #Constraints: 275326
1651.32/1655.30 c #Conflicts: 1076000 | #Constraints: 276326
1651.32/1655.30 c #Conflicts: 1077000 | #Constraints: 277326
1651.32/1655.30 c #Conflicts: 1078000 | #Constraints: 278326
1651.32/1655.30 c #Conflicts: 1079000 | #Constraints: 279326
1651.32/1655.30 c #Conflicts: 1080000 | #Constraints: 280326
1651.32/1655.30 c #Conflicts: 1081000 | #Constraints: 281326
1651.32/1655.30 c #Conflicts: 1082000 | #Constraints: 282326
1651.32/1655.30 c #Conflicts: 1083000 | #Constraints: 283326
1651.32/1655.30 c #Conflicts: 1084000 | #Constraints: 284326
1651.32/1655.30 c #Conflicts: 1085000 | #Constraints: 285326
1651.32/1655.30 c #Conflicts: 1086000 | #Constraints: 286326
1651.32/1655.30 c #Conflicts: 1087000 | #Constraints: 287326
1651.32/1655.30 c #Conflicts: 1088000 | #Constraints: 288326
1651.32/1655.30 c #Conflicts: 1089000 | #Constraints: 289326
1651.32/1655.30 c #Conflicts: 1090000 | #Constraints: 290326
1651.32/1655.30 c #Conflicts: 1091000 | #Constraints: 291326
1651.32/1655.30 c #Conflicts: 1092000 | #Constraints: 292326
1651.32/1655.30 c #Conflicts: 1093000 | #Constraints: 293326
1651.32/1655.30 c #Conflicts: 1094000 | #Constraints: 294326
1651.32/1655.30 c #Conflicts: 1095000 | #Constraints: 295326
1651.32/1655.30 c #Conflicts: 1096000 | #Constraints: 296326
1651.32/1655.30 c #Conflicts: 1097000 | #Constraints: 297326
1651.32/1655.30 c #Conflicts: 1098000 | #Constraints: 298326
1651.32/1655.30 c #Conflicts: 1099000 | #Constraints: 299326
1651.32/1655.30 c #Conflicts: 1100000 | #Constraints: 300326
1651.32/1655.30 c #Conflicts: 1101000 | #Constraints: 301326
1651.32/1655.30 c #Conflicts: 1102000 | #Constraints: 302326
1651.32/1655.30 c #Conflicts: 1103000 | #Constraints: 303326
1651.32/1655.30 c #Conflicts: 1104000 | #Constraints: 304326
1651.32/1655.30 c #Conflicts: 1105000 | #Constraints: 305326
1651.32/1655.30 c #Conflicts: 1106000 | #Constraints: 306326
1651.32/1655.30 c #Conflicts: 1107000 | #Constraints: 307326
1651.32/1655.30 c #Conflicts: 1108000 | #Constraints: 308326
1651.32/1655.30 c #Conflicts: 1109000 | #Constraints: 309326
1651.32/1655.30 c #Conflicts: 1110000 | #Constraints: 310326
1651.32/1655.30 c #Conflicts: 1111000 | #Constraints: 311326
1651.32/1655.30 c #Conflicts: 1112000 | #Constraints: 312326
1651.32/1655.30 c #Conflicts: 1113000 | #Constraints: 313326
1651.32/1655.30 c #Conflicts: 1114000 | #Constraints: 314326
1651.32/1655.30 c #Conflicts: 1115000 | #Constraints: 315326
1651.32/1655.30 c #Conflicts: 1116000 | #Constraints: 316326
1651.32/1655.30 c #Conflicts: 1117000 | #Constraints: 317326
1651.32/1655.30 c #Conflicts: 1118000 | #Constraints: 318326
1651.32/1655.30 c #Conflicts: 1119000 | #Constraints: 319326
1651.32/1655.30 c #Conflicts: 1120000 | #Constraints: 320326
1651.32/1655.30 c #Conflicts: 1121000 | #Constraints: 321326
1651.32/1655.30 c #Conflicts: 1122000 | #Constraints: 322326
1651.32/1655.30 c #Conflicts: 1123000 | #Constraints: 323326
1651.32/1655.30 c #Conflicts: 1124000 | #Constraints: 324326
1651.32/1655.30 c #Conflicts: 1125000 | #Constraints: 325326
1651.32/1655.30 c #Conflicts: 1126000 | #Constraints: 326326
1651.32/1655.30 c #Conflicts: 1127000 | #Constraints: 327326
1651.32/1655.30 c #Conflicts: 1128000 | #Constraints: 328326
1651.32/1655.30 c #Conflicts: 1129000 | #Constraints: 329326
1651.32/1655.30 c #Conflicts: 1130000 | #Constraints: 330326
1651.32/1655.30 c #Conflicts: 1131000 | #Constraints: 331326
1651.32/1655.30 c #Conflicts: 1132000 | #Constraints: 332326
1651.32/1655.30 c #Conflicts: 1133000 | #Constraints: 333326
1651.32/1655.30 c #Conflicts: 1134000 | #Constraints: 334326
1651.32/1655.30 c INPROCESSING
1651.32/1655.30 c GARBAGE COLLECT
1704.69/1708.80 c #Conflicts: 1135000 | #Constraints: 272157
1704.69/1708.80 c #Conflicts: 1136000 | #Constraints: 273157
1704.69/1708.80 c #Conflicts: 1137000 | #Constraints: 274157
1704.69/1708.80 c #Conflicts: 1138000 | #Constraints: 275157
1704.69/1708.80 c #Conflicts: 1139000 | #Constraints: 276157
1704.69/1708.80 c #Conflicts: 1140000 | #Constraints: 277157
1704.69/1708.80 c #Conflicts: 1141000 | #Constraints: 278157
1704.69/1708.80 c #Conflicts: 1142000 | #Constraints: 279157
1704.69/1708.80 c #Conflicts: 1143000 | #Constraints: 280157
1704.69/1708.80 c #Conflicts: 1144000 | #Constraints: 281157
1704.69/1708.80 c #Conflicts: 1145000 | #Constraints: 282157
1704.69/1708.80 c #Conflicts: 1146000 | #Constraints: 283157
1704.69/1708.80 c #Conflicts: 1147000 | #Constraints: 284157
1704.69/1708.80 c #Conflicts: 1148000 | #Constraints: 285157
1704.69/1708.80 c #Conflicts: 1149000 | #Constraints: 286157
1704.69/1708.80 c #Conflicts: 1150000 | #Constraints: 287157
1704.69/1708.80 c #Conflicts: 1151000 | #Constraints: 288157
1704.69/1708.80 c #Conflicts: 1152000 | #Constraints: 289157
1704.69/1708.80 c #Conflicts: 1153000 | #Constraints: 290157
1704.69/1708.80 c #Conflicts: 1154000 | #Constraints: 291157
1704.69/1708.80 c #Conflicts: 1155000 | #Constraints: 292157
1704.69/1708.80 c #Conflicts: 1156000 | #Constraints: 293157
1704.69/1708.80 c #Conflicts: 1157000 | #Constraints: 294157
1704.69/1708.80 c #Conflicts: 1158000 | #Constraints: 295157
1704.69/1708.80 c #Conflicts: 1159000 | #Constraints: 296157
1704.69/1708.80 c #Conflicts: 1160000 | #Constraints: 297157
1704.69/1708.80 c #Conflicts: 1161000 | #Constraints: 298157
1704.69/1708.80 c #Conflicts: 1162000 | #Constraints: 299157
1704.69/1708.80 c #Conflicts: 1163000 | #Constraints: 300157
1704.69/1708.80 c #Conflicts: 1164000 | #Constraints: 301157
1704.69/1708.80 c #Conflicts: 1165000 | #Constraints: 302157
1704.69/1708.80 c #Conflicts: 1166000 | #Constraints: 303157
1704.69/1708.80 c #Conflicts: 1167000 | #Constraints: 304157
1704.69/1708.80 c #Conflicts: 1168000 | #Constraints: 305157
1704.69/1708.80 c #Conflicts: 1169000 | #Constraints: 306157
1704.69/1708.80 c #Conflicts: 1170000 | #Constraints: 307157
1704.69/1708.80 c #Conflicts: 1171000 | #Constraints: 308157
1704.69/1708.80 c #Conflicts: 1172000 | #Constraints: 309157
1704.69/1708.80 c #Conflicts: 1173000 | #Constraints: 310157
1704.69/1708.80 c #Conflicts: 1174000 | #Constraints: 311157
1704.69/1708.80 c #Conflicts: 1175000 | #Constraints: 312157
1704.69/1708.80 c #Conflicts: 1176000 | #Constraints: 313157
1704.69/1708.80 c #Conflicts: 1177000 | #Constraints: 314157
1704.69/1708.80 c #Conflicts: 1178000 | #Constraints: 315157
1704.69/1708.80 c #Conflicts: 1179000 | #Constraints: 316157
1704.69/1708.80 c #Conflicts: 1180000 | #Constraints: 317157
1704.69/1708.80 c #Conflicts: 1181000 | #Constraints: 318157
1704.69/1708.80 c #Conflicts: 1182000 | #Constraints: 319157
1704.69/1708.80 c #Conflicts: 1183000 | #Constraints: 320157
1704.69/1708.80 c #Conflicts: 1184000 | #Constraints: 321157
1704.69/1708.80 c #Conflicts: 1185000 | #Constraints: 322157
1704.69/1708.80 c #Conflicts: 1186000 | #Constraints: 323157
1704.69/1708.80 c #Conflicts: 1187000 | #Constraints: 324157
1704.69/1708.80 c #Conflicts: 1188000 | #Constraints: 325157
1704.69/1708.80 c #Conflicts: 1189000 | #Constraints: 326157
1704.69/1708.80 c #Conflicts: 1190000 | #Constraints: 327157
1704.69/1708.80 c #Conflicts: 1191000 | #Constraints: 328157
1704.69/1708.80 c #Conflicts: 1192000 | #Constraints: 329157
1704.69/1708.80 c #Conflicts: 1193000 | #Constraints: 330157
1704.69/1708.80 c #Conflicts: 1194000 | #Constraints: 331157
1704.69/1708.80 c #Conflicts: 1195000 | #Constraints: 332157
1704.69/1708.80 c #Conflicts: 1196000 | #Constraints: 333157
1704.69/1708.80 c #Conflicts: 1197000 | #Constraints: 334157
1704.69/1708.80 c #Conflicts: 1198000 | #Constraints: 335157
1704.69/1708.80 c #Conflicts: 1199000 | #Constraints: 336157
1704.69/1708.80 c #Conflicts: 1200000 | #Constraints: 337157
1704.69/1708.80 c #Conflicts: 1201000 | #Constraints: 338157
1704.69/1708.80 c #Conflicts: 1202000 | #Constraints: 339157
1704.69/1708.80 c INPROCESSING
1704.69/1708.80 c GARBAGE COLLECT
1704.69/1708.80 c #Conflicts: 1203000 | #Constraints: 277867
1704.69/1708.80 c #Conflicts: 1204000 | #Constraints: 278867
1704.69/1708.80 c #Conflicts: 1205000 | #Constraints: 279867
1704.69/1708.80 c #Conflicts: 1206000 | #Constraints: 280867
1704.69/1708.80 c #Conflicts: 1207000 | #Constraints: 281867
1704.69/1708.80 c #Conflicts: 1208000 | #Constraints: 282867
1704.69/1708.80 c #Conflicts: 1209000 | #Constraints: 283867
1704.69/1708.80 c #Conflicts: 1210000 | #Constraints: 284867
1704.69/1708.80 c #Conflicts: 1211000 | #Constraints: 285867
1704.69/1708.80 c #Conflicts: 1212000 | #Constraints: 286867
1704.69/1708.80 c #Conflicts: 1213000 | #Constraints: 287867
2092.59/2097.62 c #Conflicts: 1214000 | #Constraints: 288867
2092.59/2097.62 c #Conflicts: 1215000 | #Constraints: 289867
2092.59/2097.62 c #Conflicts: 1216000 | #Constraints: 290867
2092.59/2097.62 c #Conflicts: 1217000 | #Constraints: 291867
2092.59/2097.62 c #Conflicts: 1218000 | #Constraints: 292867
2092.59/2097.62 c #Conflicts: 1219000 | #Constraints: 293867
2092.59/2097.62 c #Conflicts: 1220000 | #Constraints: 294867
2092.59/2097.62 c #Conflicts: 1221000 | #Constraints: 295867
2092.59/2097.62 c #Conflicts: 1222000 | #Constraints: 296867
2092.59/2097.62 c #Conflicts: 1223000 | #Constraints: 297867
2092.59/2097.62 c #Conflicts: 1224000 | #Constraints: 298867
2092.59/2097.62 c #Conflicts: 1225000 | #Constraints: 299867
2092.59/2097.62 c #Conflicts: 1226000 | #Constraints: 300867
2092.59/2097.62 c #Conflicts: 1227000 | #Constraints: 301867
2092.59/2097.62 c #Conflicts: 1228000 | #Constraints: 302867
2092.59/2097.62 c #Conflicts: 1229000 | #Constraints: 303867
2092.59/2097.62 c #Conflicts: 1230000 | #Constraints: 304867
2092.59/2097.62 c #Conflicts: 1231000 | #Constraints: 305867
2092.59/2097.62 c #Conflicts: 1232000 | #Constraints: 306867
2092.59/2097.62 c #Conflicts: 1233000 | #Constraints: 307867
2092.59/2097.62 c #Conflicts: 1234000 | #Constraints: 308867
2092.59/2097.62 c #Conflicts: 1235000 | #Constraints: 309867
2092.59/2097.62 c #Conflicts: 1236000 | #Constraints: 310867
2092.59/2097.62 c #Conflicts: 1237000 | #Constraints: 311867
2092.59/2097.62 c #Conflicts: 1238000 | #Constraints: 312867
2092.59/2097.62 c #Conflicts: 1239000 | #Constraints: 313867
2092.59/2097.62 c #Conflicts: 1240000 | #Constraints: 314867
2092.59/2097.62 c #Conflicts: 1241000 | #Constraints: 315867
2092.59/2097.62 c #Conflicts: 1242000 | #Constraints: 316867
2092.59/2097.62 c #Conflicts: 1243000 | #Constraints: 317867
2092.59/2097.62 c #Conflicts: 1244000 | #Constraints: 318867
2092.59/2097.62 c #Conflicts: 1245000 | #Constraints: 319867
2092.59/2097.62 c #Conflicts: 1246000 | #Constraints: 320867
2092.59/2097.62 c #Conflicts: 1247000 | #Constraints: 321867
2092.59/2097.62 c #Conflicts: 1248000 | #Constraints: 322867
2092.59/2097.62 c #Conflicts: 1249000 | #Constraints: 323867
2092.59/2097.62 c #Conflicts: 1250000 | #Constraints: 324867
2092.59/2097.62 c #Conflicts: 1251000 | #Constraints: 325867
2092.59/2097.62 c #Conflicts: 1252000 | #Constraints: 326867
2092.59/2097.62 c #Conflicts: 1253000 | #Constraints: 327867
2092.59/2097.62 c #Conflicts: 1254000 | #Constraints: 328867
2092.59/2097.62 c #Conflicts: 1255000 | #Constraints: 329867
2092.59/2097.62 c #Conflicts: 1256000 | #Constraints: 330867
2092.59/2097.62 c #Conflicts: 1257000 | #Constraints: 331867
2092.59/2097.62 c #Conflicts: 1258000 | #Constraints: 332867
2092.59/2097.62 c #Conflicts: 1259000 | #Constraints: 333867
2092.59/2097.62 c #Conflicts: 1260000 | #Constraints: 334867
2092.59/2097.62 c #Conflicts: 1261000 | #Constraints: 335867
2092.59/2097.62 c #Conflicts: 1262000 | #Constraints: 336867
2092.59/2097.62 c #Conflicts: 1263000 | #Constraints: 337867
2092.59/2097.62 c #Conflicts: 1264000 | #Constraints: 338867
2092.59/2097.62 c #Conflicts: 1265000 | #Constraints: 339867
2092.59/2097.62 c #Conflicts: 1266000 | #Constraints: 340867
2092.59/2097.62 c #Conflicts: 1267000 | #Constraints: 341867
2092.59/2097.62 c #Conflicts: 1268000 | #Constraints: 342867
2092.59/2097.62 c #Conflicts: 1269000 | #Constraints: 343867
2092.59/2097.62 c #Conflicts: 1270000 | #Constraints: 344867
2092.59/2097.62 c #Conflicts: 1271000 | #Constraints: 345867
2092.59/2097.62 c #Conflicts: 1272000 | #Constraints: 346867
2092.59/2097.62 c INPROCESSING
2092.59/2097.62 c GARBAGE COLLECT
2092.59/2097.62 c rational objective 25457.7
2146.57/2151.75 c #Conflicts: 1273000 | #Constraints: 282431
2146.57/2151.75 c #Conflicts: 1274000 | #Constraints: 283431
2146.57/2151.75 c #Conflicts: 1275000 | #Constraints: 284431
2146.57/2151.75 c #Conflicts: 1276000 | #Constraints: 285431
2146.57/2151.75 c #Conflicts: 1277000 | #Constraints: 286431
2146.57/2151.75 c #Conflicts: 1278000 | #Constraints: 287431
2146.57/2151.75 c #Conflicts: 1279000 | #Constraints: 288431
2146.57/2151.75 c #Conflicts: 1280000 | #Constraints: 289431
2146.57/2151.75 c #Conflicts: 1281000 | #Constraints: 290431
2146.57/2151.75 c #Conflicts: 1282000 | #Constraints: 291431
2146.57/2151.75 c #Conflicts: 1283000 | #Constraints: 292431
2146.57/2151.75 c #Conflicts: 1284000 | #Constraints: 293431
2146.57/2151.75 c #Conflicts: 1285000 | #Constraints: 294431
2146.57/2151.75 c #Conflicts: 1286000 | #Constraints: 295431
2146.57/2151.75 c #Conflicts: 1287000 | #Constraints: 296431
2146.57/2151.75 c #Conflicts: 1288000 | #Constraints: 297431
2146.57/2151.75 c #Conflicts: 1289000 | #Constraints: 298431
2146.57/2151.75 c #Conflicts: 1290000 | #Constraints: 299431
2146.57/2151.75 c #Conflicts: 1291000 | #Constraints: 300431
2146.57/2151.75 c #Conflicts: 1292000 | #Constraints: 301431
2146.57/2151.75 c #Conflicts: 1293000 | #Constraints: 302431
2146.57/2151.75 c #Conflicts: 1294000 | #Constraints: 303431
2146.57/2151.75 c #Conflicts: 1295000 | #Constraints: 304431
2146.57/2151.75 c #Conflicts: 1296000 | #Constraints: 305431
2146.57/2151.75 c #Conflicts: 1297000 | #Constraints: 306431
2146.57/2151.75 c #Conflicts: 1298000 | #Constraints: 307431
2146.57/2151.75 c #Conflicts: 1299000 | #Constraints: 308431
2146.57/2151.75 c #Conflicts: 1300000 | #Constraints: 309431
2146.57/2151.75 c #Conflicts: 1301000 | #Constraints: 310431
2146.57/2151.75 c #Conflicts: 1302000 | #Constraints: 311431
2146.57/2151.75 c #Conflicts: 1303000 | #Constraints: 312431
2146.57/2151.75 c #Conflicts: 1304000 | #Constraints: 313431
2146.57/2151.75 c #Conflicts: 1305000 | #Constraints: 314431
2146.57/2151.75 c #Conflicts: 1306000 | #Constraints: 315431
2146.57/2151.75 c #Conflicts: 1307000 | #Constraints: 316431
2146.57/2151.75 c #Conflicts: 1308000 | #Constraints: 317431
2146.57/2151.75 c #Conflicts: 1309000 | #Constraints: 318431
2146.57/2151.75 c #Conflicts: 1310000 | #Constraints: 319431
2146.57/2151.75 c #Conflicts: 1311000 | #Constraints: 320431
2146.57/2151.75 c #Conflicts: 1312000 | #Constraints: 321431
2146.57/2151.75 c #Conflicts: 1313000 | #Constraints: 322431
2146.57/2151.75 c #Conflicts: 1314000 | #Constraints: 323431
2146.57/2151.75 c #Conflicts: 1315000 | #Constraints: 324431
2146.57/2151.75 c #Conflicts: 1316000 | #Constraints: 325431
2146.57/2151.75 c #Conflicts: 1317000 | #Constraints: 326431
2146.57/2151.75 c #Conflicts: 1318000 | #Constraints: 327431
2146.57/2151.75 c #Conflicts: 1319000 | #Constraints: 328431
2146.57/2151.75 c #Conflicts: 1320000 | #Constraints: 329431
2146.57/2151.75 c #Conflicts: 1321000 | #Constraints: 330431
2146.57/2151.75 c #Conflicts: 1322000 | #Constraints: 331431
2146.57/2151.75 c #Conflicts: 1323000 | #Constraints: 332431
2146.57/2151.75 c #Conflicts: 1324000 | #Constraints: 333431
2146.57/2151.75 c #Conflicts: 1325000 | #Constraints: 334431
2146.57/2151.75 c #Conflicts: 1326000 | #Constraints: 335431
2146.57/2151.75 c #Conflicts: 1327000 | #Constraints: 336431
2146.57/2151.75 c #Conflicts: 1328000 | #Constraints: 337431
2146.57/2151.75 c #Conflicts: 1329000 | #Constraints: 338431
2146.57/2151.75 c #Conflicts: 1330000 | #Constraints: 339431
2146.57/2151.75 c #Conflicts: 1331000 | #Constraints: 340431
2146.57/2151.75 c #Conflicts: 1332000 | #Constraints: 341431
2146.57/2151.75 c #Conflicts: 1333000 | #Constraints: 342431
2146.57/2151.75 c #Conflicts: 1334000 | #Constraints: 343431
2146.57/2151.75 c #Conflicts: 1335000 | #Constraints: 344431
2146.57/2151.75 c #Conflicts: 1336000 | #Constraints: 345431
2146.57/2151.75 c #Conflicts: 1337000 | #Constraints: 346431
2146.57/2151.75 c #Conflicts: 1338000 | #Constraints: 347431
2146.57/2151.75 c #Conflicts: 1339000 | #Constraints: 348431
2146.57/2151.75 c #Conflicts: 1340000 | #Constraints: 349431
2146.57/2151.75 c #Conflicts: 1341000 | #Constraints: 350431
2146.57/2151.75 c #Conflicts: 1342000 | #Constraints: 351431
2146.57/2151.75 c #Conflicts: 1343000 | #Constraints: 352431
2146.57/2151.75 c #Conflicts: 1344000 | #Constraints: 353431
2146.57/2151.75 c #Conflicts: 1345000 | #Constraints: 354431
2146.57/2151.75 c INPROCESSING
2146.57/2151.75 c GARBAGE COLLECT
2146.57/2151.75 c #Conflicts: 1346000 | #Constraints: 287982
2146.57/2151.75 c #Conflicts: 1347000 | #Constraints: 288982
2146.57/2151.75 c #Conflicts: 1348000 | #Constraints: 289982
2146.57/2151.75 c #Conflicts: 1349000 | #Constraints: 290982
2146.57/2151.75 c #Conflicts: 1350000 | #Constraints: 291982
2146.57/2151.75 c #Conflicts: 1351000 | #Constraints: 292982
2246.62/2252.05 c #Conflicts: 1352000 | #Constraints: 293982
2246.62/2252.05 c #Conflicts: 1353000 | #Constraints: 294982
2246.62/2252.05 c #Conflicts: 1354000 | #Constraints: 295982
2246.62/2252.05 c #Conflicts: 1355000 | #Constraints: 296982
2246.62/2252.05 c #Conflicts: 1356000 | #Constraints: 297982
2246.62/2252.05 c #Conflicts: 1357000 | #Constraints: 298982
2246.62/2252.05 c #Conflicts: 1358000 | #Constraints: 299982
2246.62/2252.05 c #Conflicts: 1359000 | #Constraints: 300982
2246.62/2252.05 c #Conflicts: 1360000 | #Constraints: 301982
2246.62/2252.05 c #Conflicts: 1361000 | #Constraints: 302982
2246.62/2252.05 c #Conflicts: 1362000 | #Constraints: 303982
2246.62/2252.05 c #Conflicts: 1363000 | #Constraints: 304982
2246.62/2252.05 c #Conflicts: 1364000 | #Constraints: 305982
2246.62/2252.05 c #Conflicts: 1365000 | #Constraints: 306982
2246.62/2252.05 c #Conflicts: 1366000 | #Constraints: 307982
2246.62/2252.05 c #Conflicts: 1367000 | #Constraints: 308982
2246.62/2252.05 c #Conflicts: 1368000 | #Constraints: 309982
2246.62/2252.05 c #Conflicts: 1369000 | #Constraints: 310982
2246.62/2252.05 c #Conflicts: 1370000 | #Constraints: 311982
2246.62/2252.05 c #Conflicts: 1371000 | #Constraints: 312982
2246.62/2252.05 c #Conflicts: 1372000 | #Constraints: 313982
2246.62/2252.05 c #Conflicts: 1373000 | #Constraints: 314982
2246.62/2252.05 c #Conflicts: 1374000 | #Constraints: 315982
2246.62/2252.05 c #Conflicts: 1375000 | #Constraints: 316982
2246.62/2252.05 c #Conflicts: 1376000 | #Constraints: 317982
2246.62/2252.05 c #Conflicts: 1377000 | #Constraints: 318982
2246.62/2252.05 c #Conflicts: 1378000 | #Constraints: 319982
2246.62/2252.05 c #Conflicts: 1379000 | #Constraints: 320982
2246.62/2252.05 c #Conflicts: 1380000 | #Constraints: 321982
2246.62/2252.05 c #Conflicts: 1381000 | #Constraints: 322982
2246.62/2252.05 c #Conflicts: 1382000 | #Constraints: 323982
2246.62/2252.05 c #Conflicts: 1383000 | #Constraints: 324982
2246.62/2252.05 c #Conflicts: 1384000 | #Constraints: 325982
2246.62/2252.05 c #Conflicts: 1385000 | #Constraints: 326982
2246.62/2252.05 c #Conflicts: 1386000 | #Constraints: 327982
2246.62/2252.05 c #Conflicts: 1387000 | #Constraints: 328982
2246.62/2252.05 c #Conflicts: 1388000 | #Constraints: 329982
2246.62/2252.05 c #Conflicts: 1389000 | #Constraints: 330982
2246.62/2252.05 c #Conflicts: 1390000 | #Constraints: 331982
2246.62/2252.05 c #Conflicts: 1391000 | #Constraints: 332982
2246.62/2252.05 c #Conflicts: 1392000 | #Constraints: 333982
2246.62/2252.05 c #Conflicts: 1393000 | #Constraints: 334982
2246.62/2252.05 c #Conflicts: 1394000 | #Constraints: 335982
2246.62/2252.05 c #Conflicts: 1395000 | #Constraints: 336982
2246.62/2252.05 c #Conflicts: 1396000 | #Constraints: 337982
2246.62/2252.05 c #Conflicts: 1397000 | #Constraints: 338982
2246.62/2252.05 c #Conflicts: 1398000 | #Constraints: 339982
2246.62/2252.05 c #Conflicts: 1399000 | #Constraints: 340982
2246.62/2252.05 c #Conflicts: 1400000 | #Constraints: 341982
2246.62/2252.05 c #Conflicts: 1401000 | #Constraints: 342982
2246.62/2252.05 c #Conflicts: 1402000 | #Constraints: 343982
2246.62/2252.05 c #Conflicts: 1403000 | #Constraints: 344982
2246.62/2252.05 c #Conflicts: 1404000 | #Constraints: 345982
2246.62/2252.05 c #Conflicts: 1405000 | #Constraints: 346982
2246.62/2252.05 c #Conflicts: 1406000 | #Constraints: 347982
2246.62/2252.05 c #Conflicts: 1407000 | #Constraints: 348982
2246.62/2252.05 c #Conflicts: 1408000 | #Constraints: 349982
2246.62/2252.05 c #Conflicts: 1409000 | #Constraints: 350982
2246.62/2252.05 c #Conflicts: 1410000 | #Constraints: 351982
2246.62/2252.05 c #Conflicts: 1411000 | #Constraints: 352982
2246.62/2252.05 c #Conflicts: 1412000 | #Constraints: 353982
2246.62/2252.05 c #Conflicts: 1413000 | #Constraints: 354982
2246.62/2252.05 c #Conflicts: 1414000 | #Constraints: 355982
2246.62/2252.05 c #Conflicts: 1415000 | #Constraints: 356982
2246.62/2252.05 c #Conflicts: 1416000 | #Constraints: 357982
2246.62/2252.05 c #Conflicts: 1417000 | #Constraints: 358982
2246.62/2252.05 c #Conflicts: 1418000 | #Constraints: 359982
2246.62/2252.05 c #Conflicts: 1419000 | #Constraints: 360982
2246.62/2252.05 c INPROCESSING
2246.62/2252.05 c GARBAGE COLLECT
2246.62/2252.05 c #Conflicts: 1420000 | #Constraints: 293148
2246.62/2252.05 c #Conflicts: 1421000 | #Constraints: 294148
2246.62/2252.05 c #Conflicts: 1422000 | #Constraints: 295148
2246.62/2252.05 c #Conflicts: 1423000 | #Constraints: 296148
2246.62/2252.05 c #Conflicts: 1424000 | #Constraints: 297148
2246.62/2252.05 c #Conflicts: 1425000 | #Constraints: 298148
2246.62/2252.05 c #Conflicts: 1426000 | #Constraints: 299148
2246.62/2252.05 c #Conflicts: 1427000 | #Constraints: 300148
2246.62/2252.05 c #Conflicts: 1428000 | #Constraints: 301148
2246.62/2252.05 c #Conflicts: 1429000 | #Constraints: 302148
2302.60/2308.15 c #Conflicts: 1430000 | #Constraints: 303148
2302.60/2308.15 c #Conflicts: 1431000 | #Constraints: 304148
2302.60/2308.15 c #Conflicts: 1432000 | #Constraints: 305148
2302.60/2308.15 c #Conflicts: 1433000 | #Constraints: 306148
2302.60/2308.15 c #Conflicts: 1434000 | #Constraints: 307148
2302.60/2308.15 c #Conflicts: 1435000 | #Constraints: 308148
2302.60/2308.15 c #Conflicts: 1436000 | #Constraints: 309148
2302.60/2308.15 c #Conflicts: 1437000 | #Constraints: 310148
2302.60/2308.15 c #Conflicts: 1438000 | #Constraints: 311148
2302.60/2308.15 c #Conflicts: 1439000 | #Constraints: 312148
2302.60/2308.15 c #Conflicts: 1440000 | #Constraints: 313148
2302.60/2308.15 c #Conflicts: 1441000 | #Constraints: 314148
2302.60/2308.15 c #Conflicts: 1442000 | #Constraints: 315148
2302.60/2308.15 c #Conflicts: 1443000 | #Constraints: 316148
2302.60/2308.15 c #Conflicts: 1444000 | #Constraints: 317148
2302.60/2308.15 c #Conflicts: 1445000 | #Constraints: 318148
2302.60/2308.15 c #Conflicts: 1446000 | #Constraints: 319148
2302.60/2308.15 c #Conflicts: 1447000 | #Constraints: 320148
2302.60/2308.15 c #Conflicts: 1448000 | #Constraints: 321148
2302.60/2308.15 c #Conflicts: 1449000 | #Constraints: 322148
2302.60/2308.15 c #Conflicts: 1450000 | #Constraints: 323148
2302.60/2308.15 c #Conflicts: 1451000 | #Constraints: 324148
2302.60/2308.15 c #Conflicts: 1452000 | #Constraints: 325148
2302.60/2308.15 c #Conflicts: 1453000 | #Constraints: 326148
2302.60/2308.15 c #Conflicts: 1454000 | #Constraints: 327148
2302.60/2308.15 c #Conflicts: 1455000 | #Constraints: 328148
2302.60/2308.15 c #Conflicts: 1456000 | #Constraints: 329148
2302.60/2308.15 c #Conflicts: 1457000 | #Constraints: 330148
2302.60/2308.15 c #Conflicts: 1458000 | #Constraints: 331148
2302.60/2308.15 c #Conflicts: 1459000 | #Constraints: 332148
2302.60/2308.15 c #Conflicts: 1460000 | #Constraints: 333148
2302.60/2308.15 c #Conflicts: 1461000 | #Constraints: 334148
2302.60/2308.15 c #Conflicts: 1462000 | #Constraints: 335148
2302.60/2308.15 c #Conflicts: 1463000 | #Constraints: 336148
2302.60/2308.15 c #Conflicts: 1464000 | #Constraints: 337148
2302.60/2308.15 c #Conflicts: 1465000 | #Constraints: 338148
2302.60/2308.15 c #Conflicts: 1466000 | #Constraints: 339148
2302.60/2308.15 c #Conflicts: 1467000 | #Constraints: 340148
2302.60/2308.15 c #Conflicts: 1468000 | #Constraints: 341148
2302.60/2308.15 c #Conflicts: 1469000 | #Constraints: 342148
2302.60/2308.15 c #Conflicts: 1470000 | #Constraints: 343148
2302.60/2308.15 c #Conflicts: 1471000 | #Constraints: 344148
2302.60/2308.15 c #Conflicts: 1472000 | #Constraints: 345148
2302.60/2308.15 c #Conflicts: 1473000 | #Constraints: 346148
2302.60/2308.15 c #Conflicts: 1474000 | #Constraints: 347148
2302.60/2308.15 c #Conflicts: 1475000 | #Constraints: 348148
2302.60/2308.15 c #Conflicts: 1476000 | #Constraints: 349148
2302.60/2308.15 c #Conflicts: 1477000 | #Constraints: 350148
2302.60/2308.15 c #Conflicts: 1478000 | #Constraints: 351148
2302.60/2308.15 c #Conflicts: 1479000 | #Constraints: 352148
2302.60/2308.15 c #Conflicts: 1480000 | #Constraints: 353148
2302.60/2308.15 c #Conflicts: 1481000 | #Constraints: 354148
2302.60/2308.15 c #Conflicts: 1482000 | #Constraints: 355148
2302.60/2308.15 c #Conflicts: 1483000 | #Constraints: 356148
2302.60/2308.15 c #Conflicts: 1484000 | #Constraints: 357148
2302.60/2308.15 c #Conflicts: 1485000 | #Constraints: 358148
2302.60/2308.15 c #Conflicts: 1486000 | #Constraints: 359148
2302.60/2308.15 c #Conflicts: 1487000 | #Constraints: 360148
2302.60/2308.15 c #Conflicts: 1488000 | #Constraints: 361148
2302.60/2308.15 c #Conflicts: 1489000 | #Constraints: 362148
2302.60/2308.15 c #Conflicts: 1490000 | #Constraints: 363148
2302.60/2308.15 c #Conflicts: 1491000 | #Constraints: 364148
2302.60/2308.15 c #Conflicts: 1492000 | #Constraints: 365148
2302.60/2308.15 c #Conflicts: 1493000 | #Constraints: 366148
2302.60/2308.15 c #Conflicts: 1494000 | #Constraints: 367148
2302.60/2308.15 c #Conflicts: 1495000 | #Constraints: 368148
2302.60/2308.15 c #Conflicts: 1496000 | #Constraints: 369148
2302.60/2308.15 c INPROCESSING
2302.60/2308.15 c GARBAGE COLLECT
2302.60/2308.15 c #Conflicts: 1497000 | #Constraints: 298838
2302.60/2308.15 c #Conflicts: 1498000 | #Constraints: 299838
2302.60/2308.15 c #Conflicts: 1499000 | #Constraints: 300838
2302.60/2308.15 c #Conflicts: 1500000 | #Constraints: 301838
2302.60/2308.15 c #Conflicts: 1501000 | #Constraints: 302838
2302.60/2308.15 c #Conflicts: 1502000 | #Constraints: 303838
2302.60/2308.15 c #Conflicts: 1503000 | #Constraints: 304838
2302.60/2308.15 c #Conflicts: 1504000 | #Constraints: 305838
2302.60/2308.15 c #Conflicts: 1505000 | #Constraints: 306838
2302.60/2308.15 c #Conflicts: 1506000 | #Constraints: 307838
2302.60/2308.15 c #Conflicts: 1507000 | #Constraints: 308838
2357.65/2363.35 c #Conflicts: 1508000 | #Constraints: 309838
2357.65/2363.35 c #Conflicts: 1509000 | #Constraints: 310838
2357.65/2363.35 c #Conflicts: 1510000 | #Constraints: 311838
2357.65/2363.35 c #Conflicts: 1511000 | #Constraints: 312838
2357.65/2363.35 c #Conflicts: 1512000 | #Constraints: 313838
2357.65/2363.35 c #Conflicts: 1513000 | #Constraints: 314838
2357.65/2363.35 c #Conflicts: 1514000 | #Constraints: 315838
2357.65/2363.35 c #Conflicts: 1515000 | #Constraints: 316838
2357.65/2363.35 c #Conflicts: 1516000 | #Constraints: 317838
2357.65/2363.35 c #Conflicts: 1517000 | #Constraints: 318838
2357.65/2363.35 c #Conflicts: 1518000 | #Constraints: 319838
2357.65/2363.35 c #Conflicts: 1519000 | #Constraints: 320838
2357.65/2363.35 c #Conflicts: 1520000 | #Constraints: 321838
2357.65/2363.35 c #Conflicts: 1521000 | #Constraints: 322838
2357.65/2363.35 c #Conflicts: 1522000 | #Constraints: 323838
2357.65/2363.35 c #Conflicts: 1523000 | #Constraints: 324838
2357.65/2363.35 c #Conflicts: 1524000 | #Constraints: 325838
2357.65/2363.35 c #Conflicts: 1525000 | #Constraints: 326838
2357.65/2363.35 c #Conflicts: 1526000 | #Constraints: 327838
2357.65/2363.35 c #Conflicts: 1527000 | #Constraints: 328838
2357.65/2363.35 c #Conflicts: 1528000 | #Constraints: 329838
2357.65/2363.35 c #Conflicts: 1529000 | #Constraints: 330838
2357.65/2363.35 c #Conflicts: 1530000 | #Constraints: 331838
2357.65/2363.35 c #Conflicts: 1531000 | #Constraints: 332838
2357.65/2363.35 c #Conflicts: 1532000 | #Constraints: 333838
2357.65/2363.35 c #Conflicts: 1533000 | #Constraints: 334838
2357.65/2363.35 c #Conflicts: 1534000 | #Constraints: 335838
2357.65/2363.35 c #Conflicts: 1535000 | #Constraints: 336838
2357.65/2363.35 c #Conflicts: 1536000 | #Constraints: 337838
2357.65/2363.35 c #Conflicts: 1537000 | #Constraints: 338838
2357.65/2363.35 c #Conflicts: 1538000 | #Constraints: 339838
2357.65/2363.35 c #Conflicts: 1539000 | #Constraints: 340838
2357.65/2363.35 c #Conflicts: 1540000 | #Constraints: 341838
2357.65/2363.35 c #Conflicts: 1541000 | #Constraints: 342838
2357.65/2363.35 c #Conflicts: 1542000 | #Constraints: 343838
2357.65/2363.35 c #Conflicts: 1543000 | #Constraints: 344838
2357.65/2363.35 c #Conflicts: 1544000 | #Constraints: 345838
2357.65/2363.35 c #Conflicts: 1545000 | #Constraints: 346838
2357.65/2363.35 c #Conflicts: 1546000 | #Constraints: 347838
2357.65/2363.35 c #Conflicts: 1547000 | #Constraints: 348838
2357.65/2363.35 c #Conflicts: 1548000 | #Constraints: 349838
2357.65/2363.35 c #Conflicts: 1549000 | #Constraints: 350838
2357.65/2363.35 c #Conflicts: 1550000 | #Constraints: 351838
2357.65/2363.35 c #Conflicts: 1551000 | #Constraints: 352838
2357.65/2363.35 c #Conflicts: 1552000 | #Constraints: 353838
2357.65/2363.35 c #Conflicts: 1553000 | #Constraints: 354838
2357.65/2363.35 c #Conflicts: 1554000 | #Constraints: 355838
2357.65/2363.35 c #Conflicts: 1555000 | #Constraints: 356838
2357.65/2363.35 c #Conflicts: 1556000 | #Constraints: 357838
2357.65/2363.35 c #Conflicts: 1557000 | #Constraints: 358838
2357.65/2363.35 c #Conflicts: 1558000 | #Constraints: 359838
2357.65/2363.35 c #Conflicts: 1559000 | #Constraints: 360838
2357.65/2363.35 c #Conflicts: 1560000 | #Constraints: 361838
2357.65/2363.35 c #Conflicts: 1561000 | #Constraints: 362838
2357.65/2363.35 c #Conflicts: 1562000 | #Constraints: 363838
2357.65/2363.35 c #Conflicts: 1563000 | #Constraints: 364838
2357.65/2363.35 c #Conflicts: 1564000 | #Constraints: 365838
2357.65/2363.35 c #Conflicts: 1565000 | #Constraints: 366838
2357.65/2363.35 c #Conflicts: 1566000 | #Constraints: 367838
2357.65/2363.35 c #Conflicts: 1567000 | #Constraints: 368838
2357.65/2363.35 c #Conflicts: 1568000 | #Constraints: 369838
2357.65/2363.35 c #Conflicts: 1569000 | #Constraints: 370838
2357.65/2363.35 c #Conflicts: 1570000 | #Constraints: 371838
2357.65/2363.35 c #Conflicts: 1571000 | #Constraints: 372838
2357.65/2363.35 c #Conflicts: 1572000 | #Constraints: 373838
2357.65/2363.35 c #Conflicts: 1573000 | #Constraints: 374838
2357.65/2363.35 c #Conflicts: 1574000 | #Constraints: 375838
2357.65/2363.35 c INPROCESSING
2357.65/2363.35 c GARBAGE COLLECT
2357.65/2363.35 c #Conflicts: 1575000 | #Constraints: 303106
2357.65/2363.35 c #Conflicts: 1576000 | #Constraints: 304106
2357.65/2363.35 c #Conflicts: 1577000 | #Constraints: 305106
2357.65/2363.35 c #Conflicts: 1578000 | #Constraints: 306106
2357.65/2363.35 c #Conflicts: 1579000 | #Constraints: 307106
2357.65/2363.35 c #Conflicts: 1580000 | #Constraints: 308106
2357.65/2363.35 c #Conflicts: 1581000 | #Constraints: 309106
2357.65/2363.35 c #Conflicts: 1582000 | #Constraints: 310106
2357.65/2363.35 c #Conflicts: 1583000 | #Constraints: 311106
2357.65/2363.35 c #Conflicts: 1584000 | #Constraints: 312106
2357.65/2363.35 c #Conflicts: 1585000 | #Constraints: 313106
2530.58/2536.67 c #Conflicts: 1586000 | #Constraints: 314106
2530.58/2536.67 c #Conflicts: 1587000 | #Constraints: 315106
2530.58/2536.67 c #Conflicts: 1588000 | #Constraints: 316106
2530.58/2536.67 c #Conflicts: 1589000 | #Constraints: 317106
2530.58/2536.67 c #Conflicts: 1590000 | #Constraints: 318106
2530.58/2536.67 c #Conflicts: 1591000 | #Constraints: 319106
2530.58/2536.67 c #Conflicts: 1592000 | #Constraints: 320106
2530.58/2536.67 c #Conflicts: 1593000 | #Constraints: 321106
2530.58/2536.67 c #Conflicts: 1594000 | #Constraints: 322106
2530.58/2536.67 c #Conflicts: 1595000 | #Constraints: 323106
2530.58/2536.67 c #Conflicts: 1596000 | #Constraints: 324106
2530.58/2536.67 c #Conflicts: 1597000 | #Constraints: 325106
2530.58/2536.67 c #Conflicts: 1598000 | #Constraints: 326106
2530.58/2536.67 c #Conflicts: 1599000 | #Constraints: 327106
2530.58/2536.67 c #Conflicts: 1600000 | #Constraints: 328106
2530.58/2536.67 c #Conflicts: 1601000 | #Constraints: 329106
2530.58/2536.67 c #Conflicts: 1602000 | #Constraints: 330106
2530.58/2536.67 c #Conflicts: 1603000 | #Constraints: 331106
2530.58/2536.67 c #Conflicts: 1604000 | #Constraints: 332106
2530.58/2536.67 c #Conflicts: 1605000 | #Constraints: 333106
2530.58/2536.67 c #Conflicts: 1606000 | #Constraints: 334106
2530.58/2536.67 c #Conflicts: 1607000 | #Constraints: 335106
2530.58/2536.67 c #Conflicts: 1608000 | #Constraints: 336106
2530.58/2536.67 c #Conflicts: 1609000 | #Constraints: 337106
2530.58/2536.67 c #Conflicts: 1610000 | #Constraints: 338106
2530.58/2536.67 c #Conflicts: 1611000 | #Constraints: 339106
2530.58/2536.67 c #Conflicts: 1612000 | #Constraints: 340106
2530.58/2536.67 c #Conflicts: 1613000 | #Constraints: 341106
2530.58/2536.67 c #Conflicts: 1614000 | #Constraints: 342106
2530.58/2536.67 c #Conflicts: 1615000 | #Constraints: 343106
2530.58/2536.67 c #Conflicts: 1616000 | #Constraints: 344106
2530.58/2536.67 c #Conflicts: 1617000 | #Constraints: 345106
2530.58/2536.67 c #Conflicts: 1618000 | #Constraints: 346106
2530.58/2536.67 c #Conflicts: 1619000 | #Constraints: 347106
2530.58/2536.67 c #Conflicts: 1620000 | #Constraints: 348106
2530.58/2536.67 c #Conflicts: 1621000 | #Constraints: 349106
2530.58/2536.67 c #Conflicts: 1622000 | #Constraints: 350106
2530.58/2536.67 c #Conflicts: 1623000 | #Constraints: 351106
2530.58/2536.67 c #Conflicts: 1624000 | #Constraints: 352106
2530.58/2536.67 c #Conflicts: 1625000 | #Constraints: 353106
2530.58/2536.67 c #Conflicts: 1626000 | #Constraints: 354106
2530.58/2536.67 c #Conflicts: 1627000 | #Constraints: 355106
2530.58/2536.67 c #Conflicts: 1628000 | #Constraints: 356106
2530.58/2536.67 c #Conflicts: 1629000 | #Constraints: 357106
2530.58/2536.67 c #Conflicts: 1630000 | #Constraints: 358106
2530.58/2536.67 c #Conflicts: 1631000 | #Constraints: 359106
2530.58/2536.67 c #Conflicts: 1632000 | #Constraints: 360106
2530.58/2536.67 c #Conflicts: 1633000 | #Constraints: 361106
2530.58/2536.67 c #Conflicts: 1634000 | #Constraints: 362106
2530.58/2536.67 c #Conflicts: 1635000 | #Constraints: 363106
2530.58/2536.67 c #Conflicts: 1636000 | #Constraints: 364106
2530.58/2536.67 c #Conflicts: 1637000 | #Constraints: 365106
2530.58/2536.67 c #Conflicts: 1638000 | #Constraints: 366106
2530.58/2536.67 c #Conflicts: 1639000 | #Constraints: 367106
2530.58/2536.67 c #Conflicts: 1640000 | #Constraints: 368106
2530.58/2536.67 c #Conflicts: 1641000 | #Constraints: 369106
2530.58/2536.67 c #Conflicts: 1642000 | #Constraints: 370106
2530.58/2536.67 c #Conflicts: 1643000 | #Constraints: 371106
2530.58/2536.67 c #Conflicts: 1644000 | #Constraints: 372106
2530.58/2536.67 c #Conflicts: 1645000 | #Constraints: 373106
2530.58/2536.67 c #Conflicts: 1646000 | #Constraints: 374106
2530.58/2536.67 c #Conflicts: 1647000 | #Constraints: 375106
2530.58/2536.67 c #Conflicts: 1648000 | #Constraints: 376106
2530.58/2536.67 c #Conflicts: 1649000 | #Constraints: 377106
2530.58/2536.67 c #Conflicts: 1650000 | #Constraints: 378106
2530.58/2536.67 c #Conflicts: 1651000 | #Constraints: 379106
2530.58/2536.67 c #Conflicts: 1652000 | #Constraints: 380106
2530.58/2536.67 c #Conflicts: 1653000 | #Constraints: 381106
2530.58/2536.67 c #Conflicts: 1654000 | #Constraints: 382106
2530.58/2536.67 c INPROCESSING
2530.58/2536.67 c GARBAGE COLLECT
2530.58/2536.67 c #Conflicts: 1655000 | #Constraints: 305710
2530.58/2536.67 c #Conflicts: 1656000 | #Constraints: 306710
2530.58/2536.67 c #Conflicts: 1657000 | #Constraints: 307710
2530.58/2536.67 c #Conflicts: 1658000 | #Constraints: 308710
2530.58/2536.67 c #Conflicts: 1659000 | #Constraints: 309710
2530.58/2536.67 c #Conflicts: 1660000 | #Constraints: 310710
2530.58/2536.67 c #Conflicts: 1661000 | #Constraints: 311710
2530.58/2536.67 c #Conflicts: 1662000 | #Constraints: 312710
2530.58/2536.67 c #Conflicts: 1663000 | #Constraints: 313710
2589.74/2595.91 c #Conflicts: 1664000 | #Constraints: 314710
2589.74/2595.91 c #Conflicts: 1665000 | #Constraints: 315710
2589.74/2595.91 c #Conflicts: 1666000 | #Constraints: 316710
2589.74/2595.91 c #Conflicts: 1667000 | #Constraints: 317710
2589.74/2595.91 c #Conflicts: 1668000 | #Constraints: 318710
2589.74/2595.91 c #Conflicts: 1669000 | #Constraints: 319710
2589.74/2595.91 c #Conflicts: 1670000 | #Constraints: 320710
2589.74/2595.91 c #Conflicts: 1671000 | #Constraints: 321710
2589.74/2595.91 c #Conflicts: 1672000 | #Constraints: 322710
2589.74/2595.91 c #Conflicts: 1673000 | #Constraints: 323710
2589.74/2595.91 c #Conflicts: 1674000 | #Constraints: 324710
2589.74/2595.91 c #Conflicts: 1675000 | #Constraints: 325710
2589.74/2595.91 c #Conflicts: 1676000 | #Constraints: 326710
2589.74/2595.91 c #Conflicts: 1677000 | #Constraints: 327710
2589.74/2595.91 c #Conflicts: 1678000 | #Constraints: 328710
2589.74/2595.91 c #Conflicts: 1679000 | #Constraints: 329710
2589.74/2595.91 c #Conflicts: 1680000 | #Constraints: 330710
2589.74/2595.91 c #Conflicts: 1681000 | #Constraints: 331710
2589.74/2595.91 c #Conflicts: 1682000 | #Constraints: 332710
2589.74/2595.91 c #Conflicts: 1683000 | #Constraints: 333710
2589.74/2595.91 c #Conflicts: 1684000 | #Constraints: 334710
2589.74/2595.91 c #Conflicts: 1685000 | #Constraints: 335710
2589.74/2595.91 c #Conflicts: 1686000 | #Constraints: 336710
2589.74/2595.91 c #Conflicts: 1687000 | #Constraints: 337710
2589.74/2595.91 c #Conflicts: 1688000 | #Constraints: 338710
2589.74/2595.91 c #Conflicts: 1689000 | #Constraints: 339710
2589.74/2595.91 c #Conflicts: 1690000 | #Constraints: 340710
2589.74/2595.91 c #Conflicts: 1691000 | #Constraints: 341710
2589.74/2595.91 c #Conflicts: 1692000 | #Constraints: 342710
2589.74/2595.91 c #Conflicts: 1693000 | #Constraints: 343710
2589.74/2595.91 c #Conflicts: 1694000 | #Constraints: 344710
2589.74/2595.91 c #Conflicts: 1695000 | #Constraints: 345710
2589.74/2595.91 c #Conflicts: 1696000 | #Constraints: 346710
2589.74/2595.91 c #Conflicts: 1697000 | #Constraints: 347710
2589.74/2595.91 c #Conflicts: 1698000 | #Constraints: 348710
2589.74/2595.91 c #Conflicts: 1699000 | #Constraints: 349710
2589.74/2595.91 c #Conflicts: 1700000 | #Constraints: 350710
2589.74/2595.91 c #Conflicts: 1701000 | #Constraints: 351710
2589.74/2595.91 c #Conflicts: 1702000 | #Constraints: 352710
2589.74/2595.91 c #Conflicts: 1703000 | #Constraints: 353710
2589.74/2595.91 c #Conflicts: 1704000 | #Constraints: 354710
2589.74/2595.91 c #Conflicts: 1705000 | #Constraints: 355710
2589.74/2595.91 c #Conflicts: 1706000 | #Constraints: 356710
2589.74/2595.91 c #Conflicts: 1707000 | #Constraints: 357710
2589.74/2595.91 c #Conflicts: 1708000 | #Constraints: 358710
2589.74/2595.91 c #Conflicts: 1709000 | #Constraints: 359710
2589.74/2595.91 c #Conflicts: 1710000 | #Constraints: 360710
2589.74/2595.91 c #Conflicts: 1711000 | #Constraints: 361710
2589.74/2595.91 c #Conflicts: 1712000 | #Constraints: 362710
2589.74/2595.91 c #Conflicts: 1713000 | #Constraints: 363710
2589.74/2595.91 c #Conflicts: 1714000 | #Constraints: 364710
2589.74/2595.91 c #Conflicts: 1715000 | #Constraints: 365710
2589.74/2595.91 c #Conflicts: 1716000 | #Constraints: 366710
2589.74/2595.91 c #Conflicts: 1717000 | #Constraints: 367710
2589.74/2595.91 c #Conflicts: 1718000 | #Constraints: 368710
2589.74/2595.91 c #Conflicts: 1719000 | #Constraints: 369710
2589.74/2595.91 c #Conflicts: 1720000 | #Constraints: 370710
2589.74/2595.91 c #Conflicts: 1721000 | #Constraints: 371710
2589.74/2595.91 c #Conflicts: 1722000 | #Constraints: 372710
2589.74/2595.91 c #Conflicts: 1723000 | #Constraints: 373710
2589.74/2595.91 c #Conflicts: 1724000 | #Constraints: 374710
2589.74/2595.91 c #Conflicts: 1725000 | #Constraints: 375710
2589.74/2595.91 c #Conflicts: 1726000 | #Constraints: 376710
2589.74/2595.91 c #Conflicts: 1727000 | #Constraints: 377710
2589.74/2595.91 c #Conflicts: 1728000 | #Constraints: 378710
2589.74/2595.91 c #Conflicts: 1729000 | #Constraints: 379710
2589.74/2595.91 c #Conflicts: 1730000 | #Constraints: 380710
2589.74/2595.91 c #Conflicts: 1731000 | #Constraints: 381710
2589.74/2595.91 c #Conflicts: 1732000 | #Constraints: 382710
2589.74/2595.91 c #Conflicts: 1733000 | #Constraints: 383710
2589.74/2595.91 c #Conflicts: 1734000 | #Constraints: 384710
2589.74/2595.91 c #Conflicts: 1735000 | #Constraints: 385710
2589.74/2595.91 c #Conflicts: 1736000 | #Constraints: 386710
2589.74/2595.91 c #Conflicts: 1737000 | #Constraints: 387710
2589.74/2595.91 c INPROCESSING
2589.74/2595.91 c GARBAGE COLLECT
2589.74/2595.91 c #Conflicts: 1738000 | #Constraints: 311609
2589.74/2595.91 c #Conflicts: 1739000 | #Constraints: 312609
2589.74/2595.91 c #Conflicts: 1740000 | #Constraints: 313609
2589.74/2595.91 c #Conflicts: 1741000 | #Constraints: 314609
2650.49/2656.80 c #Conflicts: 1742000 | #Constraints: 315609
2650.49/2656.80 c #Conflicts: 1743000 | #Constraints: 316609
2650.49/2656.80 c #Conflicts: 1744000 | #Constraints: 317609
2650.49/2656.80 c #Conflicts: 1745000 | #Constraints: 318609
2650.49/2656.80 c #Conflicts: 1746000 | #Constraints: 319609
2650.49/2656.80 c #Conflicts: 1747000 | #Constraints: 320609
2650.49/2656.80 c #Conflicts: 1748000 | #Constraints: 321609
2650.49/2656.80 c #Conflicts: 1749000 | #Constraints: 322609
2650.49/2656.80 c #Conflicts: 1750000 | #Constraints: 323609
2650.49/2656.80 c #Conflicts: 1751000 | #Constraints: 324609
2650.49/2656.80 c #Conflicts: 1752000 | #Constraints: 325609
2650.49/2656.80 c #Conflicts: 1753000 | #Constraints: 326609
2650.49/2656.80 c #Conflicts: 1754000 | #Constraints: 327609
2650.49/2656.80 c #Conflicts: 1755000 | #Constraints: 328609
2650.49/2656.80 c #Conflicts: 1756000 | #Constraints: 329609
2650.49/2656.80 c #Conflicts: 1757000 | #Constraints: 330609
2650.49/2656.80 c #Conflicts: 1758000 | #Constraints: 331609
2650.49/2656.80 c #Conflicts: 1759000 | #Constraints: 332609
2650.49/2656.80 c #Conflicts: 1760000 | #Constraints: 333609
2650.49/2656.80 c #Conflicts: 1761000 | #Constraints: 334609
2650.49/2656.80 c #Conflicts: 1762000 | #Constraints: 335609
2650.49/2656.80 c #Conflicts: 1763000 | #Constraints: 336609
2650.49/2656.80 c #Conflicts: 1764000 | #Constraints: 337609
2650.49/2656.80 c #Conflicts: 1765000 | #Constraints: 338609
2650.49/2656.80 c #Conflicts: 1766000 | #Constraints: 339609
2650.49/2656.80 c #Conflicts: 1767000 | #Constraints: 340609
2650.49/2656.80 c #Conflicts: 1768000 | #Constraints: 341609
2650.49/2656.80 c #Conflicts: 1769000 | #Constraints: 342609
2650.49/2656.80 c #Conflicts: 1770000 | #Constraints: 343609
2650.49/2656.80 c #Conflicts: 1771000 | #Constraints: 344609
2650.49/2656.80 c #Conflicts: 1772000 | #Constraints: 345609
2650.49/2656.80 c #Conflicts: 1773000 | #Constraints: 346609
2650.49/2656.80 c #Conflicts: 1774000 | #Constraints: 347609
2650.49/2656.80 c #Conflicts: 1775000 | #Constraints: 348609
2650.49/2656.80 c #Conflicts: 1776000 | #Constraints: 349609
2650.49/2656.80 c #Conflicts: 1777000 | #Constraints: 350609
2650.49/2656.80 c #Conflicts: 1778000 | #Constraints: 351609
2650.49/2656.80 c #Conflicts: 1779000 | #Constraints: 352609
2650.49/2656.80 c #Conflicts: 1780000 | #Constraints: 353609
2650.49/2656.80 c #Conflicts: 1781000 | #Constraints: 354609
2650.49/2656.80 c #Conflicts: 1782000 | #Constraints: 355609
2650.49/2656.80 c #Conflicts: 1783000 | #Constraints: 356609
2650.49/2656.80 c #Conflicts: 1784000 | #Constraints: 357609
2650.49/2656.80 c #Conflicts: 1785000 | #Constraints: 358609
2650.49/2656.80 c #Conflicts: 1786000 | #Constraints: 359609
2650.49/2656.80 c #Conflicts: 1787000 | #Constraints: 360609
2650.49/2656.80 c #Conflicts: 1788000 | #Constraints: 361609
2650.49/2656.80 c #Conflicts: 1789000 | #Constraints: 362609
2650.49/2656.80 c #Conflicts: 1790000 | #Constraints: 363609
2650.49/2656.80 c #Conflicts: 1791000 | #Constraints: 364609
2650.49/2656.80 c #Conflicts: 1792000 | #Constraints: 365609
2650.49/2656.80 c #Conflicts: 1793000 | #Constraints: 366609
2650.49/2656.80 c #Conflicts: 1794000 | #Constraints: 367609
2650.49/2656.80 c #Conflicts: 1795000 | #Constraints: 368609
2650.49/2656.80 c #Conflicts: 1796000 | #Constraints: 369609
2650.49/2656.80 c #Conflicts: 1797000 | #Constraints: 370609
2650.49/2656.80 c #Conflicts: 1798000 | #Constraints: 371609
2650.49/2656.80 c #Conflicts: 1799000 | #Constraints: 372609
2650.49/2656.80 c #Conflicts: 1800000 | #Constraints: 373609
2650.49/2656.80 c #Conflicts: 1801000 | #Constraints: 374609
2650.49/2656.80 c #Conflicts: 1802000 | #Constraints: 375609
2650.49/2656.80 c #Conflicts: 1803000 | #Constraints: 376609
2650.49/2656.80 c #Conflicts: 1804000 | #Constraints: 377609
2650.49/2656.80 c #Conflicts: 1805000 | #Constraints: 378609
2650.49/2656.80 c #Conflicts: 1806000 | #Constraints: 379609
2650.49/2656.80 c #Conflicts: 1807000 | #Constraints: 380609
2650.49/2656.80 c #Conflicts: 1808000 | #Constraints: 381609
2650.49/2656.80 c #Conflicts: 1809000 | #Constraints: 382609
2650.49/2656.80 c #Conflicts: 1810000 | #Constraints: 383609
2650.49/2656.80 c #Conflicts: 1811000 | #Constraints: 384609
2650.49/2656.80 c #Conflicts: 1812000 | #Constraints: 385609
2650.49/2656.80 c #Conflicts: 1813000 | #Constraints: 386609
2650.49/2656.80 c #Conflicts: 1814000 | #Constraints: 387609
2650.49/2656.80 c #Conflicts: 1815000 | #Constraints: 388609
2650.49/2656.80 c #Conflicts: 1816000 | #Constraints: 389609
2650.49/2656.80 c #Conflicts: 1817000 | #Constraints: 390609
2650.49/2656.80 c #Conflicts: 1818000 | #Constraints: 391609
2650.49/2656.80 c #Conflicts: 1819000 | #Constraints: 392609
2650.49/2656.80 c #Conflicts: 1820000 | #Constraints: 393609
3107.61/3115.01 c #Conflicts: 1821000 | #Constraints: 394609
3107.61/3115.01 c INPROCESSING
3107.61/3115.01 c GARBAGE COLLECT
3107.61/3115.01 c #Conflicts: 1822000 | #Constraints: 316586
3107.61/3115.01 c #Conflicts: 1823000 | #Constraints: 317586
3107.61/3115.01 c #Conflicts: 1824000 | #Constraints: 318586
3107.61/3115.01 c #Conflicts: 1825000 | #Constraints: 319586
3107.61/3115.01 c #Conflicts: 1826000 | #Constraints: 320586
3107.61/3115.01 c #Conflicts: 1827000 | #Constraints: 321586
3107.61/3115.01 c #Conflicts: 1828000 | #Constraints: 322586
3107.61/3115.01 c #Conflicts: 1829000 | #Constraints: 323586
3107.61/3115.01 c #Conflicts: 1830000 | #Constraints: 324586
3107.61/3115.01 c #Conflicts: 1831000 | #Constraints: 325586
3107.61/3115.01 c #Conflicts: 1832000 | #Constraints: 326586
3107.61/3115.01 c #Conflicts: 1833000 | #Constraints: 327586
3107.61/3115.01 c #Conflicts: 1834000 | #Constraints: 328586
3107.61/3115.01 c #Conflicts: 1835000 | #Constraints: 329586
3107.61/3115.01 c #Conflicts: 1836000 | #Constraints: 330586
3107.61/3115.01 c #Conflicts: 1837000 | #Constraints: 331586
3107.61/3115.01 c #Conflicts: 1838000 | #Constraints: 332586
3107.61/3115.01 c #Conflicts: 1839000 | #Constraints: 333586
3107.61/3115.01 c #Conflicts: 1840000 | #Constraints: 334586
3107.61/3115.01 c #Conflicts: 1841000 | #Constraints: 335586
3107.61/3115.01 c #Conflicts: 1842000 | #Constraints: 336586
3107.61/3115.01 c #Conflicts: 1843000 | #Constraints: 337586
3107.61/3115.01 c #Conflicts: 1844000 | #Constraints: 338586
3107.61/3115.01 c #Conflicts: 1845000 | #Constraints: 339586
3107.61/3115.01 c #Conflicts: 1846000 | #Constraints: 340586
3107.61/3115.01 c #Conflicts: 1847000 | #Constraints: 341586
3107.61/3115.01 c #Conflicts: 1848000 | #Constraints: 342586
3107.61/3115.01 c #Conflicts: 1849000 | #Constraints: 343586
3107.61/3115.01 c #Conflicts: 1850000 | #Constraints: 344586
3107.61/3115.01 c #Conflicts: 1851000 | #Constraints: 345586
3107.61/3115.01 c #Conflicts: 1852000 | #Constraints: 346586
3107.61/3115.01 c #Conflicts: 1853000 | #Constraints: 347586
3107.61/3115.01 c #Conflicts: 1854000 | #Constraints: 348586
3107.61/3115.01 c #Conflicts: 1855000 | #Constraints: 349586
3107.61/3115.01 c #Conflicts: 1856000 | #Constraints: 350586
3107.61/3115.01 c #Conflicts: 1857000 | #Constraints: 351586
3107.61/3115.01 c #Conflicts: 1858000 | #Constraints: 352586
3107.61/3115.01 c #Conflicts: 1859000 | #Constraints: 353586
3107.61/3115.01 c #Conflicts: 1860000 | #Constraints: 354586
3107.61/3115.01 c #Conflicts: 1861000 | #Constraints: 355586
3107.61/3115.01 c #Conflicts: 1862000 | #Constraints: 356586
3107.61/3115.01 c #Conflicts: 1863000 | #Constraints: 357586
3107.61/3115.01 c #Conflicts: 1864000 | #Constraints: 358586
3107.61/3115.01 c #Conflicts: 1865000 | #Constraints: 359586
3107.61/3115.01 c #Conflicts: 1866000 | #Constraints: 360586
3107.61/3115.01 c #Conflicts: 1867000 | #Constraints: 361586
3107.61/3115.01 c #Conflicts: 1868000 | #Constraints: 362586
3107.61/3115.01 c #Conflicts: 1869000 | #Constraints: 363586
3107.61/3115.01 c #Conflicts: 1870000 | #Constraints: 364586
3107.61/3115.01 c #Conflicts: 1871000 | #Constraints: 365586
3107.61/3115.01 c #Conflicts: 1872000 | #Constraints: 366586
3107.61/3115.01 c #Conflicts: 1873000 | #Constraints: 367586
3107.61/3115.01 c #Conflicts: 1874000 | #Constraints: 368586
3107.61/3115.01 c #Conflicts: 1875000 | #Constraints: 369586
3107.61/3115.01 c #Conflicts: 1876000 | #Constraints: 370586
3107.61/3115.01 c #Conflicts: 1877000 | #Constraints: 371586
3107.61/3115.01 c #Conflicts: 1878000 | #Constraints: 372586
3107.61/3115.01 c #Conflicts: 1879000 | #Constraints: 373586
3107.61/3115.01 c #Conflicts: 1880000 | #Constraints: 374586
3107.61/3115.01 c #Conflicts: 1881000 | #Constraints: 375586
3107.61/3115.01 c #Conflicts: 1882000 | #Constraints: 376586
3107.61/3115.01 c #Conflicts: 1883000 | #Constraints: 377586
3107.61/3115.01 c #Conflicts: 1884000 | #Constraints: 378586
3107.61/3115.01 c #Conflicts: 1885000 | #Constraints: 379586
3107.61/3115.01 c #Conflicts: 1886000 | #Constraints: 380586
3107.61/3115.01 c #Conflicts: 1887000 | #Constraints: 381586
3107.61/3115.01 c #Conflicts: 1888000 | #Constraints: 382586
3107.61/3115.01 c #Conflicts: 1889000 | #Constraints: 383586
3107.61/3115.01 c #Conflicts: 1890000 | #Constraints: 384586
3107.61/3115.01 c #Conflicts: 1891000 | #Constraints: 385586
3107.61/3115.01 c #Conflicts: 1892000 | #Constraints: 386586
3107.61/3115.01 c #Conflicts: 1893000 | #Constraints: 387586
3107.61/3115.01 c #Conflicts: 1894000 | #Constraints: 388586
3107.61/3115.01 c #Conflicts: 1895000 | #Constraints: 389586
3107.61/3115.01 c #Conflicts: 1896000 | #Constraints: 390586
3107.61/3115.01 c #Conflicts: 1897000 | #Constraints: 391586
3107.61/3115.01 c #Conflicts: 1898000 | #Constraints: 392586
3165.27/3172.83 c #Conflicts: 1899000 | #Constraints: 393586
3165.27/3172.83 c #Conflicts: 1900000 | #Constraints: 394586
3165.27/3172.83 c #Conflicts: 1901000 | #Constraints: 395586
3165.27/3172.83 c #Conflicts: 1902000 | #Constraints: 396586
3165.27/3172.83 c #Conflicts: 1903000 | #Constraints: 397586
3165.27/3172.83 c #Conflicts: 1904000 | #Constraints: 398586
3165.27/3172.83 c #Conflicts: 1905000 | #Constraints: 399586
3165.27/3172.83 c #Conflicts: 1906000 | #Constraints: 400586
3165.27/3172.83 c #Conflicts: 1907000 | #Constraints: 401586
3165.27/3172.83 c #Conflicts: 1908000 | #Constraints: 402586
3165.27/3172.83 c INPROCESSING
3165.27/3172.83 c GARBAGE COLLECT
3165.27/3172.83 c #Conflicts: 1909000 | #Constraints: 321157
3165.27/3172.83 c #Conflicts: 1910000 | #Constraints: 322157
3165.27/3172.83 c #Conflicts: 1911000 | #Constraints: 323157
3165.27/3172.83 c #Conflicts: 1912000 | #Constraints: 324157
3165.27/3172.83 c #Conflicts: 1913000 | #Constraints: 325157
3165.27/3172.83 c #Conflicts: 1914000 | #Constraints: 326157
3165.27/3172.83 c #Conflicts: 1915000 | #Constraints: 327157
3165.27/3172.83 c #Conflicts: 1916000 | #Constraints: 328157
3165.27/3172.83 c #Conflicts: 1917000 | #Constraints: 329157
3165.27/3172.83 c #Conflicts: 1918000 | #Constraints: 330157
3165.27/3172.83 c #Conflicts: 1919000 | #Constraints: 331157
3165.27/3172.83 c #Conflicts: 1920000 | #Constraints: 332157
3165.27/3172.83 c #Conflicts: 1921000 | #Constraints: 333157
3165.27/3172.83 c #Conflicts: 1922000 | #Constraints: 334157
3165.27/3172.83 c #Conflicts: 1923000 | #Constraints: 335157
3165.27/3172.83 c #Conflicts: 1924000 | #Constraints: 336157
3165.27/3172.83 c #Conflicts: 1925000 | #Constraints: 337157
3165.27/3172.83 c #Conflicts: 1926000 | #Constraints: 338157
3165.27/3172.83 c #Conflicts: 1927000 | #Constraints: 339157
3165.27/3172.83 c #Conflicts: 1928000 | #Constraints: 340157
3165.27/3172.83 c #Conflicts: 1929000 | #Constraints: 341157
3165.27/3172.83 c #Conflicts: 1930000 | #Constraints: 342157
3165.27/3172.83 c #Conflicts: 1931000 | #Constraints: 343157
3165.27/3172.83 c #Conflicts: 1932000 | #Constraints: 344157
3165.27/3172.83 c #Conflicts: 1933000 | #Constraints: 345157
3165.27/3172.83 c #Conflicts: 1934000 | #Constraints: 346157
3165.27/3172.83 c #Conflicts: 1935000 | #Constraints: 347157
3165.27/3172.83 c #Conflicts: 1936000 | #Constraints: 348157
3165.27/3172.83 c #Conflicts: 1937000 | #Constraints: 349157
3165.27/3172.83 c #Conflicts: 1938000 | #Constraints: 350157
3165.27/3172.83 c #Conflicts: 1939000 | #Constraints: 351157
3165.27/3172.83 c #Conflicts: 1940000 | #Constraints: 352157
3165.27/3172.83 c #Conflicts: 1941000 | #Constraints: 353157
3165.27/3172.83 c #Conflicts: 1942000 | #Constraints: 354157
3165.27/3172.83 c #Conflicts: 1943000 | #Constraints: 355157
3165.27/3172.83 c #Conflicts: 1944000 | #Constraints: 356157
3165.27/3172.83 c #Conflicts: 1945000 | #Constraints: 357157
3165.27/3172.83 c #Conflicts: 1946000 | #Constraints: 358157
3165.27/3172.83 c #Conflicts: 1947000 | #Constraints: 359157
3165.27/3172.83 c #Conflicts: 1948000 | #Constraints: 360157
3165.27/3172.83 c #Conflicts: 1949000 | #Constraints: 361157
3165.27/3172.83 c #Conflicts: 1950000 | #Constraints: 362157
3165.27/3172.83 c #Conflicts: 1951000 | #Constraints: 363157
3165.27/3172.83 c #Conflicts: 1952000 | #Constraints: 364157
3165.27/3172.83 c #Conflicts: 1953000 | #Constraints: 365157
3165.27/3172.83 c #Conflicts: 1954000 | #Constraints: 366157
3165.27/3172.83 c #Conflicts: 1955000 | #Constraints: 367157
3165.27/3172.83 c #Conflicts: 1956000 | #Constraints: 368157
3165.27/3172.83 c #Conflicts: 1957000 | #Constraints: 369157
3165.27/3172.83 c #Conflicts: 1958000 | #Constraints: 370157
3165.27/3172.83 c #Conflicts: 1959000 | #Constraints: 371157
3165.27/3172.83 c #Conflicts: 1960000 | #Constraints: 372157
3165.27/3172.83 c #Conflicts: 1961000 | #Constraints: 373157
3165.27/3172.83 c #Conflicts: 1962000 | #Constraints: 374157
3165.27/3172.83 c #Conflicts: 1963000 | #Constraints: 375157
3165.27/3172.83 c #Conflicts: 1964000 | #Constraints: 376157
3165.27/3172.83 c #Conflicts: 1965000 | #Constraints: 377157
3165.27/3172.83 c #Conflicts: 1966000 | #Constraints: 378157
3165.27/3172.83 c #Conflicts: 1967000 | #Constraints: 379157
3165.27/3172.83 c #Conflicts: 1968000 | #Constraints: 380157
3165.27/3172.83 c #Conflicts: 1969000 | #Constraints: 381157
3165.27/3172.83 c #Conflicts: 1970000 | #Constraints: 382157
3165.27/3172.83 c #Conflicts: 1971000 | #Constraints: 383157
3165.27/3172.83 c #Conflicts: 1972000 | #Constraints: 384157
3165.27/3172.83 c #Conflicts: 1973000 | #Constraints: 385157
3165.27/3172.83 c #Conflicts: 1974000 | #Constraints: 386157
3165.27/3172.83 c #Conflicts: 1975000 | #Constraints: 387157
3165.27/3172.83 c #Conflicts: 1976000 | #Constraints: 388157
3226.23/3233.99 c #Conflicts: 1977000 | #Constraints: 389157
3226.23/3233.99 c #Conflicts: 1978000 | #Constraints: 390157
3226.23/3233.99 c #Conflicts: 1979000 | #Constraints: 391157
3226.23/3233.99 c #Conflicts: 1980000 | #Constraints: 392157
3226.23/3233.99 c #Conflicts: 1981000 | #Constraints: 393157
3226.23/3233.99 c #Conflicts: 1982000 | #Constraints: 394157
3226.23/3233.99 c #Conflicts: 1983000 | #Constraints: 395157
3226.23/3233.99 c #Conflicts: 1984000 | #Constraints: 396157
3226.23/3233.99 c #Conflicts: 1985000 | #Constraints: 397157
3226.23/3233.99 c #Conflicts: 1986000 | #Constraints: 398157
3226.23/3233.99 c #Conflicts: 1987000 | #Constraints: 399157
3226.23/3233.99 c #Conflicts: 1988000 | #Constraints: 400157
3226.23/3233.99 c #Conflicts: 1989000 | #Constraints: 401157
3226.23/3233.99 c #Conflicts: 1990000 | #Constraints: 402157
3226.23/3233.99 c #Conflicts: 1991000 | #Constraints: 403157
3226.23/3233.99 c #Conflicts: 1992000 | #Constraints: 404157
3226.23/3233.99 c #Conflicts: 1993000 | #Constraints: 405157
3226.23/3233.99 c #Conflicts: 1994000 | #Constraints: 406157
3226.23/3233.99 c #Conflicts: 1995000 | #Constraints: 407157
3226.23/3233.99 c #Conflicts: 1996000 | #Constraints: 408157
3226.23/3233.99 c INPROCESSING
3226.23/3233.99 c GARBAGE COLLECT
3226.23/3233.99 c #Conflicts: 1997000 | #Constraints: 325709
3226.23/3233.99 c #Conflicts: 1998000 | #Constraints: 326709
3226.23/3233.99 c #Conflicts: 1999000 | #Constraints: 327709
3226.23/3233.99 c #Conflicts: 2000000 | #Constraints: 328709
3226.23/3233.99 c #Conflicts: 2001000 | #Constraints: 329709
3226.23/3233.99 c #Conflicts: 2002000 | #Constraints: 330709
3226.23/3233.99 c #Conflicts: 2003000 | #Constraints: 331709
3226.23/3233.99 c #Conflicts: 2004000 | #Constraints: 332709
3226.23/3233.99 c #Conflicts: 2005000 | #Constraints: 333709
3226.23/3233.99 c #Conflicts: 2006000 | #Constraints: 334709
3226.23/3233.99 c #Conflicts: 2007000 | #Constraints: 335709
3226.23/3233.99 c #Conflicts: 2008000 | #Constraints: 336709
3226.23/3233.99 c #Conflicts: 2009000 | #Constraints: 337709
3226.23/3233.99 c #Conflicts: 2010000 | #Constraints: 338709
3226.23/3233.99 c #Conflicts: 2011000 | #Constraints: 339709
3226.23/3233.99 c #Conflicts: 2012000 | #Constraints: 340709
3226.23/3233.99 c #Conflicts: 2013000 | #Constraints: 341709
3226.23/3233.99 c #Conflicts: 2014000 | #Constraints: 342709
3226.23/3233.99 c #Conflicts: 2015000 | #Constraints: 343709
3226.23/3233.99 c #Conflicts: 2016000 | #Constraints: 344709
3226.23/3233.99 c #Conflicts: 2017000 | #Constraints: 345709
3226.23/3233.99 c #Conflicts: 2018000 | #Constraints: 346709
3226.23/3233.99 c #Conflicts: 2019000 | #Constraints: 347709
3226.23/3233.99 c #Conflicts: 2020000 | #Constraints: 348709
3226.23/3233.99 c #Conflicts: 2021000 | #Constraints: 349709
3226.23/3233.99 c #Conflicts: 2022000 | #Constraints: 350709
3226.23/3233.99 c #Conflicts: 2023000 | #Constraints: 351709
3226.23/3233.99 c #Conflicts: 2024000 | #Constraints: 352709
3226.23/3233.99 c #Conflicts: 2025000 | #Constraints: 353709
3226.23/3233.99 c #Conflicts: 2026000 | #Constraints: 354709
3226.23/3233.99 c #Conflicts: 2027000 | #Constraints: 355709
3226.23/3233.99 c #Conflicts: 2028000 | #Constraints: 356709
3226.23/3233.99 c #Conflicts: 2029000 | #Constraints: 357709
3226.23/3233.99 c #Conflicts: 2030000 | #Constraints: 358709
3226.23/3233.99 c #Conflicts: 2031000 | #Constraints: 359709
3226.23/3233.99 c #Conflicts: 2032000 | #Constraints: 360709
3226.23/3233.99 c #Conflicts: 2033000 | #Constraints: 361709
3226.23/3233.99 c #Conflicts: 2034000 | #Constraints: 362709
3226.23/3233.99 c #Conflicts: 2035000 | #Constraints: 363709
3226.23/3233.99 c #Conflicts: 2036000 | #Constraints: 364709
3226.23/3233.99 c #Conflicts: 2037000 | #Constraints: 365709
3226.23/3233.99 c #Conflicts: 2038000 | #Constraints: 366709
3226.23/3233.99 c #Conflicts: 2039000 | #Constraints: 367709
3226.23/3233.99 c #Conflicts: 2040000 | #Constraints: 368709
3226.23/3233.99 c #Conflicts: 2041000 | #Constraints: 369709
3226.23/3233.99 c #Conflicts: 2042000 | #Constraints: 370709
3226.23/3233.99 c #Conflicts: 2043000 | #Constraints: 371709
3226.23/3233.99 c #Conflicts: 2044000 | #Constraints: 372709
3226.23/3233.99 c #Conflicts: 2045000 | #Constraints: 373709
3226.23/3233.99 c #Conflicts: 2046000 | #Constraints: 374709
3226.23/3233.99 c #Conflicts: 2047000 | #Constraints: 375709
3226.23/3233.99 c #Conflicts: 2048000 | #Constraints: 376709
3226.23/3233.99 c #Conflicts: 2049000 | #Constraints: 377709
3226.23/3233.99 c #Conflicts: 2050000 | #Constraints: 378709
3226.23/3233.99 c #Conflicts: 2051000 | #Constraints: 379709
3226.23/3233.99 c #Conflicts: 2052000 | #Constraints: 380709
3226.23/3233.99 c #Conflicts: 2053000 | #Constraints: 381709
3226.23/3233.99 c #Conflicts: 2054000 | #Constraints: 382709
3412.04/3420.18 c #Conflicts: 2055000 | #Constraints: 383709
3412.04/3420.18 c #Conflicts: 2056000 | #Constraints: 384709
3412.04/3420.18 c #Conflicts: 2057000 | #Constraints: 385709
3412.04/3420.18 c #Conflicts: 2058000 | #Constraints: 386709
3412.04/3420.18 c #Conflicts: 2059000 | #Constraints: 387709
3412.04/3420.18 c #Conflicts: 2060000 | #Constraints: 388709
3412.04/3420.18 c #Conflicts: 2061000 | #Constraints: 389709
3412.04/3420.18 c #Conflicts: 2062000 | #Constraints: 390709
3412.04/3420.18 c #Conflicts: 2063000 | #Constraints: 391709
3412.04/3420.18 c #Conflicts: 2064000 | #Constraints: 392709
3412.04/3420.18 c #Conflicts: 2065000 | #Constraints: 393709
3412.04/3420.18 c #Conflicts: 2066000 | #Constraints: 394709
3412.04/3420.18 c #Conflicts: 2067000 | #Constraints: 395709
3412.04/3420.18 c #Conflicts: 2068000 | #Constraints: 396709
3412.04/3420.18 c #Conflicts: 2069000 | #Constraints: 397709
3412.04/3420.18 c #Conflicts: 2070000 | #Constraints: 398709
3412.04/3420.18 c #Conflicts: 2071000 | #Constraints: 399709
3412.04/3420.18 c #Conflicts: 2072000 | #Constraints: 400709
3412.04/3420.18 c #Conflicts: 2073000 | #Constraints: 401709
3412.04/3420.18 c #Conflicts: 2074000 | #Constraints: 402709
3412.04/3420.18 c #Conflicts: 2075000 | #Constraints: 403709
3412.04/3420.18 c #Conflicts: 2076000 | #Constraints: 404709
3412.04/3420.18 c #Conflicts: 2077000 | #Constraints: 405709
3412.04/3420.18 c #Conflicts: 2078000 | #Constraints: 406709
3412.04/3420.18 c #Conflicts: 2079000 | #Constraints: 407709
3412.04/3420.18 c #Conflicts: 2080000 | #Constraints: 408709
3412.04/3420.18 c #Conflicts: 2081000 | #Constraints: 409709
3412.04/3420.18 c #Conflicts: 2082000 | #Constraints: 410709
3412.04/3420.18 c #Conflicts: 2083000 | #Constraints: 411709
3412.04/3420.18 c #Conflicts: 2084000 | #Constraints: 412709
3412.04/3420.18 c #Conflicts: 2085000 | #Constraints: 413709
3412.04/3420.18 c #Conflicts: 2086000 | #Constraints: 414709
3412.04/3420.18 c INPROCESSING
3412.04/3420.18 c GARBAGE COLLECT
3412.04/3420.18 c #Conflicts: 2087000 | #Constraints: 329903
3412.04/3420.18 c #Conflicts: 2088000 | #Constraints: 330903
3412.04/3420.18 c #Conflicts: 2089000 | #Constraints: 331903
3412.04/3420.18 c #Conflicts: 2090000 | #Constraints: 332903
3412.04/3420.18 c #Conflicts: 2091000 | #Constraints: 333903
3412.04/3420.18 c #Conflicts: 2092000 | #Constraints: 334903
3412.04/3420.18 c #Conflicts: 2093000 | #Constraints: 335903
3412.04/3420.18 c #Conflicts: 2094000 | #Constraints: 336903
3412.04/3420.18 c #Conflicts: 2095000 | #Constraints: 337903
3412.04/3420.18 c #Conflicts: 2096000 | #Constraints: 338903
3412.04/3420.18 c #Conflicts: 2097000 | #Constraints: 339903
3412.04/3420.18 c #Conflicts: 2098000 | #Constraints: 340903
3412.04/3420.18 c #Conflicts: 2099000 | #Constraints: 341903
3412.04/3420.18 c #Conflicts: 2100000 | #Constraints: 342903
3412.04/3420.18 c #Conflicts: 2101000 | #Constraints: 343903
3412.04/3420.18 c #Conflicts: 2102000 | #Constraints: 344903
3412.04/3420.18 c #Conflicts: 2103000 | #Constraints: 345903
3412.04/3420.18 c #Conflicts: 2104000 | #Constraints: 346903
3412.04/3420.18 c #Conflicts: 2105000 | #Constraints: 347903
3412.04/3420.18 c #Conflicts: 2106000 | #Constraints: 348903
3412.04/3420.18 c #Conflicts: 2107000 | #Constraints: 349903
3412.04/3420.18 c #Conflicts: 2108000 | #Constraints: 350903
3412.04/3420.18 c #Conflicts: 2109000 | #Constraints: 351903
3412.04/3420.18 c #Conflicts: 2110000 | #Constraints: 352903
3412.04/3420.18 c #Conflicts: 2111000 | #Constraints: 353903
3412.04/3420.18 c #Conflicts: 2112000 | #Constraints: 354903
3412.04/3420.18 c #Conflicts: 2113000 | #Constraints: 355903
3412.04/3420.18 c #Conflicts: 2114000 | #Constraints: 356903
3412.04/3420.18 c #Conflicts: 2115000 | #Constraints: 357903
3412.04/3420.18 c #Conflicts: 2116000 | #Constraints: 358903
3412.04/3420.18 c #Conflicts: 2117000 | #Constraints: 359903
3412.04/3420.18 c #Conflicts: 2118000 | #Constraints: 360903
3412.04/3420.18 c #Conflicts: 2119000 | #Constraints: 361903
3412.04/3420.18 c #Conflicts: 2120000 | #Constraints: 362903
3412.04/3420.18 c #Conflicts: 2121000 | #Constraints: 363903
3412.04/3420.18 c #Conflicts: 2122000 | #Constraints: 364903
3412.04/3420.18 c #Conflicts: 2123000 | #Constraints: 365903
3412.04/3420.18 c #Conflicts: 2124000 | #Constraints: 366903
3412.04/3420.18 c #Conflicts: 2125000 | #Constraints: 367903
3412.04/3420.18 c #Conflicts: 2126000 | #Constraints: 368903
3412.04/3420.18 c #Conflicts: 2127000 | #Constraints: 369903
3412.04/3420.18 c #Conflicts: 2128000 | #Constraints: 370903
3412.04/3420.18 c #Conflicts: 2129000 | #Constraints: 371903
3412.04/3420.18 c #Conflicts: 2130000 | #Constraints: 372903
3412.04/3420.18 c #Conflicts: 2131000 | #Constraints: 373903
3412.04/3420.18 c #Conflicts: 2132000 | #Constraints: 374903
3412.04/3420.18 c #Conflicts: 2133000 | #Constraints: 375903
3495.44/3503.71 c #Conflicts: 2134000 | #Constraints: 376903
3495.44/3503.71 c #Conflicts: 2135000 | #Constraints: 377903
3495.44/3503.71 c #Conflicts: 2136000 | #Constraints: 378903
3495.44/3503.71 c #Conflicts: 2137000 | #Constraints: 379903
3495.44/3503.71 c #Conflicts: 2138000 | #Constraints: 380903
3495.44/3503.71 c #Conflicts: 2139000 | #Constraints: 381903
3495.44/3503.71 c #Conflicts: 2140000 | #Constraints: 382903
3495.44/3503.71 c #Conflicts: 2141000 | #Constraints: 383903
3495.44/3503.71 c #Conflicts: 2142000 | #Constraints: 384903
3495.44/3503.71 c #Conflicts: 2143000 | #Constraints: 385903
3495.44/3503.71 c #Conflicts: 2144000 | #Constraints: 386903
3495.44/3503.71 c #Conflicts: 2145000 | #Constraints: 387903
3495.44/3503.71 c #Conflicts: 2146000 | #Constraints: 388903
3495.44/3503.71 c #Conflicts: 2147000 | #Constraints: 389903
3495.44/3503.71 c #Conflicts: 2148000 | #Constraints: 390903
3495.44/3503.71 c #Conflicts: 2149000 | #Constraints: 391903
3495.44/3503.71 c #Conflicts: 2150000 | #Constraints: 392903
3495.44/3503.71 c #Conflicts: 2151000 | #Constraints: 393903
3495.44/3503.71 c #Conflicts: 2152000 | #Constraints: 394903
3495.44/3503.71 c #Conflicts: 2153000 | #Constraints: 395903
3495.44/3503.71 c #Conflicts: 2154000 | #Constraints: 396903
3495.44/3503.71 c #Conflicts: 2155000 | #Constraints: 397903
3495.44/3503.71 c #Conflicts: 2156000 | #Constraints: 398903
3495.44/3503.71 c #Conflicts: 2157000 | #Constraints: 399903
3495.44/3503.71 c #Conflicts: 2158000 | #Constraints: 400903
3495.44/3503.71 c #Conflicts: 2159000 | #Constraints: 401903
3495.44/3503.71 c #Conflicts: 2160000 | #Constraints: 402903
3495.44/3503.71 c #Conflicts: 2161000 | #Constraints: 403903
3495.44/3503.71 c #Conflicts: 2162000 | #Constraints: 404903
3495.44/3503.71 c #Conflicts: 2163000 | #Constraints: 405903
3495.44/3503.71 c #Conflicts: 2164000 | #Constraints: 406903
3495.44/3503.71 c #Conflicts: 2165000 | #Constraints: 407903
3495.44/3503.71 c #Conflicts: 2166000 | #Constraints: 408903
3495.44/3503.71 c #Conflicts: 2167000 | #Constraints: 409903
3495.44/3503.71 c #Conflicts: 2168000 | #Constraints: 410903
3495.44/3503.71 c #Conflicts: 2169000 | #Constraints: 411903
3495.44/3503.71 c #Conflicts: 2170000 | #Constraints: 412903
3495.44/3503.71 c #Conflicts: 2171000 | #Constraints: 413903
3495.44/3503.71 c #Conflicts: 2172000 | #Constraints: 414903
3495.44/3503.71 c #Conflicts: 2173000 | #Constraints: 415903
3495.44/3503.71 c #Conflicts: 2174000 | #Constraints: 416903
3495.44/3503.71 c #Conflicts: 2175000 | #Constraints: 417903
3495.44/3503.71 c #Conflicts: 2176000 | #Constraints: 418903
3495.44/3503.71 c #Conflicts: 2177000 | #Constraints: 419903
3495.44/3503.71 c #Conflicts: 2178000 | #Constraints: 420903
3495.44/3503.71 c #Conflicts: 2179000 | #Constraints: 421903
3495.44/3503.71 c INPROCESSING
3495.44/3503.71 c GARBAGE COLLECT
3495.44/3503.71 c #Conflicts: 2180000 | #Constraints: 332632
3495.44/3503.71 c #Conflicts: 2181000 | #Constraints: 333632
3495.44/3503.71 c #Conflicts: 2182000 | #Constraints: 334632
3495.44/3503.71 c #Conflicts: 2183000 | #Constraints: 335632
3495.44/3503.71 c #Conflicts: 2184000 | #Constraints: 336632
3495.44/3503.71 c #Conflicts: 2185000 | #Constraints: 337632
3495.44/3503.71 c #Conflicts: 2186000 | #Constraints: 338632
3495.44/3503.71 c #Conflicts: 2187000 | #Constraints: 339632
3495.44/3503.71 c #Conflicts: 2188000 | #Constraints: 340632
3495.44/3503.71 c #Conflicts: 2189000 | #Constraints: 341632
3495.44/3503.71 c #Conflicts: 2190000 | #Constraints: 342632
3495.44/3503.71 c #Conflicts: 2191000 | #Constraints: 343632
3495.44/3503.71 c #Conflicts: 2192000 | #Constraints: 344632
3495.44/3503.71 c #Conflicts: 2193000 | #Constraints: 345632
3495.44/3503.71 c #Conflicts: 2194000 | #Constraints: 346632
3495.44/3503.71 c #Conflicts: 2195000 | #Constraints: 347632
3495.44/3503.71 c #Conflicts: 2196000 | #Constraints: 348632
3495.44/3503.71 c #Conflicts: 2197000 | #Constraints: 349632
3495.44/3503.71 c #Conflicts: 2198000 | #Constraints: 350632
3495.44/3503.71 c #Conflicts: 2199000 | #Constraints: 351632
3495.44/3503.71 c #Conflicts: 2200000 | #Constraints: 352632
3495.44/3503.71 c #Conflicts: 2201000 | #Constraints: 353632
3495.44/3503.71 c #Conflicts: 2202000 | #Constraints: 354632
3495.44/3503.71 c #Conflicts: 2203000 | #Constraints: 355632
3495.44/3503.71 c #Conflicts: 2204000 | #Constraints: 356632
3495.44/3503.71 c #Conflicts: 2205000 | #Constraints: 357632
3495.44/3503.71 c #Conflicts: 2206000 | #Constraints: 358632
3495.44/3503.71 c #Conflicts: 2207000 | #Constraints: 359632
3495.44/3503.71 c #Conflicts: 2208000 | #Constraints: 360632
3495.44/3503.71 c #Conflicts: 2209000 | #Constraints: 361632
3495.44/3503.71 c #Conflicts: 2210000 | #Constraints: 362632
3495.44/3503.71 c #Conflicts: 2211000 | #Constraints: 363632
3563.88/3572.39 c #Conflicts: 2212000 | #Constraints: 364632
3563.88/3572.39 c #Conflicts: 2213000 | #Constraints: 365632
3563.88/3572.39 c #Conflicts: 2214000 | #Constraints: 366632
3563.88/3572.39 c #Conflicts: 2215000 | #Constraints: 367632
3563.88/3572.39 c #Conflicts: 2216000 | #Constraints: 368632
3563.88/3572.39 c #Conflicts: 2217000 | #Constraints: 369632
3563.88/3572.39 c #Conflicts: 2218000 | #Constraints: 370632
3563.88/3572.39 c #Conflicts: 2219000 | #Constraints: 371632
3563.88/3572.39 c #Conflicts: 2220000 | #Constraints: 372632
3563.88/3572.39 c #Conflicts: 2221000 | #Constraints: 373632
3563.88/3572.39 c #Conflicts: 2222000 | #Constraints: 374632
3563.88/3572.39 c #Conflicts: 2223000 | #Constraints: 375632
3563.88/3572.39 c #Conflicts: 2224000 | #Constraints: 376632
3563.88/3572.39 c #Conflicts: 2225000 | #Constraints: 377632
3563.88/3572.39 c #Conflicts: 2226000 | #Constraints: 378632
3563.88/3572.39 c #Conflicts: 2227000 | #Constraints: 379632
3563.88/3572.39 c #Conflicts: 2228000 | #Constraints: 380632
3563.88/3572.39 c #Conflicts: 2229000 | #Constraints: 381632
3563.88/3572.39 c #Conflicts: 2230000 | #Constraints: 382632
3563.88/3572.39 c #Conflicts: 2231000 | #Constraints: 383632
3563.88/3572.39 c #Conflicts: 2232000 | #Constraints: 384632
3563.88/3572.39 c #Conflicts: 2233000 | #Constraints: 385632
3563.88/3572.39 c #Conflicts: 2234000 | #Constraints: 386632
3563.88/3572.39 c #Conflicts: 2235000 | #Constraints: 387632
3563.88/3572.39 c #Conflicts: 2236000 | #Constraints: 388632
3563.88/3572.39 c #Conflicts: 2237000 | #Constraints: 389632
3563.88/3572.39 c #Conflicts: 2238000 | #Constraints: 390632
3563.88/3572.39 c #Conflicts: 2239000 | #Constraints: 391632
3563.88/3572.39 c #Conflicts: 2240000 | #Constraints: 392632
3563.88/3572.39 c #Conflicts: 2241000 | #Constraints: 393632
3563.88/3572.39 c #Conflicts: 2242000 | #Constraints: 394632
3563.88/3572.39 c #Conflicts: 2243000 | #Constraints: 395632
3563.88/3572.39 c #Conflicts: 2244000 | #Constraints: 396632
3563.88/3572.39 c #Conflicts: 2245000 | #Constraints: 397632
3563.88/3572.39 c #Conflicts: 2246000 | #Constraints: 398632
3563.88/3572.39 c #Conflicts: 2247000 | #Constraints: 399632
3563.88/3572.39 c #Conflicts: 2248000 | #Constraints: 400632
3563.88/3572.39 c #Conflicts: 2249000 | #Constraints: 401632
3563.88/3572.39 c #Conflicts: 2250000 | #Constraints: 402632
3563.88/3572.39 c #Conflicts: 2251000 | #Constraints: 403632
3563.88/3572.39 c #Conflicts: 2252000 | #Constraints: 404632
3563.88/3572.39 c #Conflicts: 2253000 | #Constraints: 405632
3563.88/3572.39 c #Conflicts: 2254000 | #Constraints: 406632
3563.88/3572.39 c #Conflicts: 2255000 | #Constraints: 407632
3563.88/3572.39 c #Conflicts: 2256000 | #Constraints: 408632
3563.88/3572.39 c #Conflicts: 2257000 | #Constraints: 409632
3563.88/3572.39 c #Conflicts: 2258000 | #Constraints: 410632
3563.88/3572.39 c #Conflicts: 2259000 | #Constraints: 411632
3563.88/3572.39 c #Conflicts: 2260000 | #Constraints: 412632
3563.88/3572.39 c #Conflicts: 2261000 | #Constraints: 413632
3563.88/3572.39 c #Conflicts: 2262000 | #Constraints: 414632
3563.88/3572.39 c #Conflicts: 2263000 | #Constraints: 415632
3563.88/3572.39 c #Conflicts: 2264000 | #Constraints: 416632
3563.88/3572.39 c #Conflicts: 2265000 | #Constraints: 417632
3563.88/3572.39 c #Conflicts: 2266000 | #Constraints: 418632
3563.88/3572.39 c #Conflicts: 2267000 | #Constraints: 419632
3563.88/3572.39 c #Conflicts: 2268000 | #Constraints: 420632
3563.88/3572.39 c #Conflicts: 2269000 | #Constraints: 421632
3563.88/3572.39 c #Conflicts: 2270000 | #Constraints: 422632
3563.88/3572.39 c #Conflicts: 2271000 | #Constraints: 423632
3563.88/3572.39 c #Conflicts: 2272000 | #Constraints: 424632
3563.88/3572.39 c #Conflicts: 2273000 | #Constraints: 425632
3563.88/3572.39 c INPROCESSING
3563.88/3572.39 c GARBAGE COLLECT
3563.88/3572.39 c #Conflicts: 2274000 | #Constraints: 334458
3563.88/3572.39 c #Conflicts: 2275000 | #Constraints: 335458
3563.88/3572.39 c #Conflicts: 2276000 | #Constraints: 336458
3563.88/3572.39 c #Conflicts: 2277000 | #Constraints: 337458
3563.88/3572.39 c #Conflicts: 2278000 | #Constraints: 338458
3563.88/3572.39 c #Conflicts: 2279000 | #Constraints: 339458
3563.88/3572.39 c #Conflicts: 2280000 | #Constraints: 340458
3563.88/3572.39 c #Conflicts: 2281000 | #Constraints: 341458
3563.88/3572.39 c #Conflicts: 2282000 | #Constraints: 342458
3563.88/3572.39 c #Conflicts: 2283000 | #Constraints: 343458
3563.88/3572.39 c #Conflicts: 2284000 | #Constraints: 344458
3563.88/3572.39 c #Conflicts: 2285000 | #Constraints: 345458
3563.88/3572.39 c #Conflicts: 2286000 | #Constraints: 346458
3563.88/3572.39 c #Conflicts: 2287000 | #Constraints: 347458
3563.88/3572.39 c #Conflicts: 2288000 | #Constraints: 348458
3563.88/3572.39 c #Conflicts: 2289000 | #Constraints: 349458
3600.00/3608.50 c #Conflicts: 2290000 | #Constraints: 350458
3600.00/3608.50 c #Conflicts: 2291000 | #Constraints: 351458
3600.00/3608.50 c #Conflicts: 2292000 | #Constraints: 352458
3600.00/3608.50 c #Conflicts: 2293000 | #Constraints: 353458
3600.00/3608.50 c #Conflicts: 2294000 | #Constraints: 354458
3600.00/3608.50 c #Conflicts: 2295000 | #Constraints: 355458
3600.00/3608.50 c #Conflicts: 2296000 | #Constraints: 356458
3600.00/3608.50 c #Conflicts: 2297000 | #Constraints: 357458
3600.00/3608.50 c #Conflicts: 2298000 | #Constraints: 358458
3600.00/3608.50 c #Conflicts: 2299000 | #Constraints: 359458
3600.00/3608.50 c #Conflicts: 2300000 | #Constraints: 360458
3600.00/3608.50 c #Conflicts: 2301000 | #Constraints: 361458
3600.00/3608.50 c #Conflicts: 2302000 | #Constraints: 362458
3600.00/3608.50 c #Conflicts: 2303000 | #Constraints: 363458
3600.00/3608.50 c #Conflicts: 2304000 | #Constraints: 364458
3600.00/3608.50 c #Conflicts: 2305000 | #Constraints: 365458
3600.00/3608.50 c #Conflicts: 2306000 | #Constraints: 366458
3600.00/3608.50 c #Conflicts: 2307000 | #Constraints: 367458
3600.00/3608.50 c #Conflicts: 2308000 | #Constraints: 368458
3600.00/3608.50 c #Conflicts: 2309000 | #Constraints: 369458
3600.00/3608.50 c #Conflicts: 2310000 | #Constraints: 370458
3600.00/3608.50 c #Conflicts: 2311000 | #Constraints: 371458
3600.00/3608.50 c #Conflicts: 2312000 | #Constraints: 372458
3600.00/3608.50 c #Conflicts: 2313000 | #Constraints: 373458
3600.00/3608.50 c #Conflicts: 2314000 | #Constraints: 374458
3600.00/3608.50 c #Conflicts: 2315000 | #Constraints: 375458
3600.00/3608.50 c #Conflicts: 2316000 | #Constraints: 376458
3600.00/3608.50 c #Conflicts: 2317000 | #Constraints: 377458
3600.00/3608.50 c #Conflicts: 2318000 | #Constraints: 378458
3600.00/3608.50 c #Conflicts: 2319000 | #Constraints: 379458
3600.00/3608.50 c #Conflicts: 2320000 | #Constraints: 380458
3600.00/3608.50 c #Conflicts: 2321000 | #Constraints: 381458
3600.00/3608.50 c cpu time 3581.16 s
3600.00/3608.50 c deterministic time 81782190418 8.18e+10
3600.00/3608.50 c optimization time 45.9489 s
3600.00/3608.50 c total solve time 3534.39 s
3600.00/3608.50 c core-guided solve time 0 s
3600.00/3608.50 c propagation time 2092.3 s
3600.00/3608.50 c conflict analysis time 254.512 s
3600.00/3608.50 c propagations 5745154412
3600.00/3608.50 c resolve steps 34085018
3600.00/3608.50 c decisions 10721761
3600.00/3608.50 c conflicts 2321629
3600.00/3608.50 c restarts 4094
3600.00/3608.50 c inprocessing phases 49
3600.00/3608.50 c garbage collections 37 ,( 75.51 )
3600.00/3608.50 c input clauses 56772 ,( 26.50 )
3600.00/3608.50 c input cardinalities 791 ,( 0.37 )
3600.00/3608.50 c input general constraints 156645 ,( 73.13 )
3600.00/3608.50 c input average constraint length 5.06
3600.00/3608.50 c input average constraint degree 4.71
3600.00/3608.50 c learned clauses 1979961 ,( 85.28 )
3600.00/3608.50 c learned cardinalities 60708 ,( 2.61 )
3600.00/3608.50 c learned general constraints 281013 ,( 12.10 )
3600.00/3608.50 c learned average constraint length 69.55
3600.00/3608.50 c learned average constraint degree 5947.43
3600.00/3608.50 c watched CF 32, 64, 128, Arb: 94764 , 0 , 0 , 0
3600.00/3608.50 c counting CF 32, 64, 128, Arb: 342894 , 0 , 0 , 0
3600.00/3608.50 c watched constraints 94764 ,( 21.65 )
3600.00/3608.50 c counting constraints 342894 ,( 78.35 )
3600.00/3608.50 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 2382185014 , 405225427 , 14840204046 ,( 56758784 , 14783445262 )
3600.00/3608.50 c gcd simplifications 11846
3600.00/3608.50 c detected cardinalities 6869
3600.00/3608.50 c weakened non-implied lits 17531010
3600.00/3608.50 c weakened non-implying lits 24214
3600.00/3608.50 c original variables 101921
3600.00/3608.50 c clausal propagations 545601599
3600.00/3608.50 c cardinality propagations 41284693
3600.00/3608.50 c watched propagations 914303
3600.00/3608.50 c counting propagations 5154910116
3600.00/3608.50 c watch lookups 34108507431
3600.00/3608.50 c watch backjump lookups 0
3600.00/3608.50 c watch checks 6124142093
3600.00/3608.50 c propagation checks 29597367011
3600.00/3608.50 c constraint additions 437687351
3600.00/3608.50 c trail pops 5758116094
3600.00/3608.50 c formula constraints 214208
3600.00/3608.50 c learned constraints 2321629
3600.00/3608.50 c bound constraints 0
3600.00/3608.50 c core-guided constraints 0
3600.00/3608.50 c encountered formula constraints 16328149
3600.00/3608.50 c encountered learned constraints 20078439
3600.00/3608.50 c encountered bound constraints 0
3600.00/3608.50 c encountered core-guided constraints 0
3600.00/3608.50 c LP total time 1817.29 s
3600.00/3608.50 c LP solve time 1812.01 s
3600.00/3608.50 c LP constraints added 216557
3600.00/3608.50 c LP constraints removed 529
3600.00/3608.50 c LP pivots internal 252979
3600.00/3608.50 c LP pivots root 241285
3600.00/3608.50 c LP calls 15
3600.00/3608.50 c LP optimalities 8
3600.00/3608.50 c LP no pivot count 0
3600.00/3608.50 c LP infeasibilities 0
3600.00/3608.50 c LP valid Farkas constraints 0
3600.00/3608.50 c LP learned Farkas constraints 0
3600.00/3608.50 c LP basis resets 0
3600.00/3608.50 c LP cycling count 0
3600.00/3608.50 c LP singular count 0
3600.00/3608.50 c LP no primal count 0
3600.00/3608.50 c LP no farkas count 0
3600.00/3608.50 c LP other issue count 0
3600.00/3608.50 c LP Gomory cuts 53
3600.00/3608.50 c LP learned cuts 2296
3600.00/3608.50 c LP deleted cuts 529
3600.00/3608.50 c LP encountered Gomory constraints 59
3600.00/3608.50 c LP encountered Farkas constraints 0
3600.00/3608.50 c LP encountered learned Farkas constraints 0
3600.00/3608.50 c CG auxiliary variables introduced 0
3600.00/3608.50 c CG solutions found 0
3600.00/3608.50 c CG cores constructed 0
3600.00/3608.50 c CG core cardinality constraints returned 0
3600.00/3608.50 c CG unit cores 0
3600.00/3608.50 c CG single cores 0
3600.00/3608.50 c CG blocks removed during cardinality reduction 0
3600.00/3608.50 c CG first core best 0
3600.00/3608.50 c CG decision core best 0
3600.00/3608.50 c CG core reduction tie 0
3600.00/3608.50 c CG core degree average 0.00
3600.00/3608.50 c CG core slack average 0.00
3600.00/3608.50 c CG core upper bound improvements 0
3600.00/3608.50 c STR number of successful calls 0
3600.00/3608.50 c STR number of unsuccessful calls 0
3600.00/3608.50 c STR number of inconclusive calls 0
3600.00/3608.50 c STR number of successful attempts 0
3600.00/3608.50 c STR number of unsuccessful attempts 0
3600.00/3608.50 c STR number of inconclusive attempts 0
3600.00/3608.50 c STR average degree increase per successful call inf
3600.00/3608.50 c STR average degree increase per successful attempt inf
3600.00/3608.50 c STR total number of conflicts for successful attempts 0
3600.00/3608.50 c STR total number of conflicts for unsuccessful attempts 0
3600.00/3608.50 c STR total number of conflicts for inconclusive attempts 0
3600.00/3608.50 c STR average number of conflicts per successful attempt inf
3600.00/3608.50 c STR average number of conflicts per unsuccessful attempt inf
3600.00/3608.50 c STR average number of conflicts per inconclusive attempt inf
3600.00/3608.50 c AVG.sumWPerc 66.07
3600.00/3608.50 c bigint constraints 0
3600.00/3608.50 s UNKNOWN
3600.00/3608.50 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: 63665 MiB (61988 MiB free)
memory of node 1: 64507 MiB (63525 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545310-1753234344/watcher-4545310-1753234344 -o /tmp/evaluation-result-4545310-1753234344/solver-4545310-1753234344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753234342-162748 --watchdog 3760 run-dec.sh HOME/instance-4545310-1753234344.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=162854, runsolver pid=162851
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.94 3.87 4.01 5/269 162856
/proc/meminfo: memFree=128498060/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=75820 memory=30940 CPUtime=0.08 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 3486 0 0 0 5 3 0 0 20 0 1 0 239112140 77639680 7735 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 18955 7735 1952 1147 0 6382 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 80012 KiB
Current children cumulated memory: 34012 KiB
[startup+0.205556 s]*
/proc/loadavg: 2.94 3.87 4.01 5/269 162856
/proc/meminfo: memFree=128489680/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=82112 memory=39104 CPUtime=0.19 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 4555 0 0 0 14 5 0 0 20 0 1 0 239112140 84082688 9776 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 20528 9776 1952 1147 0 7955 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 86304 KiB
Current children cumulated memory: 42176 KiB
[startup+0.305452 s]*
/proc/loadavg: 2.94 3.87 4.01 5/269 162856
/proc/meminfo: memFree=128485648/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=90540 memory=43748 CPUtime=0.29 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 5859 0 0 0 22 7 0 0 20 0 1 0 239112140 92712960 10937 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 22635 10937 1952 1147 0 10062 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 94732 KiB
Current children cumulated memory: 46820 KiB
[startup+0.700155 s]
/proc/loadavg: 2.94 3.87 4.01 5/269 162856
/proc/meminfo: memFree=128470824/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=111680 memory=68000 CPUtime=0.68 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 10168 0 0 0 53 15 0 0 20 0 1 0 239112140 114360320 17000 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 27920 17000 1952 1147 0 15347 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 115872 KiB
Current children cumulated memory: 71072 KiB
[startup+1.50015 s]
/proc/loadavg: 2.94 3.87 4.01 5/269 162856
/proc/meminfo: memFree=128283552/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=406608 memory=329592 CPUtime=1.47 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 32159 0 0 0 121 26 0 0 20 0 1 0 239112140 416366592 82398 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 101652 82398 2304 1147 0 89079 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 410800 KiB
Current children cumulated memory: 332664 KiB
[startup+3.10534 s]
/proc/loadavg: 3.11 3.89 4.02 5/269 162856
/proc/meminfo: memFree=128182928/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=407044 memory=332280 CPUtime=3.07 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 32779 0 0 0 278 29 0 0 20 0 1 0 239112140 416813056 83070 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 101761 83070 2368 1147 0 89188 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 411236 KiB
Current children cumulated memory: 335352 KiB
[startup+6.30015 s]
/proc/loadavg: 3.11 3.89 4.02 5/269 162856
/proc/meminfo: memFree=128173700/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=407044 memory=335864 CPUtime=6.26 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 33703 0 0 0 590 36 0 0 20 0 1 0 239112140 416813056 83966 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 101761 83966 2368 1147 0 89188 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 411236 KiB
Current children cumulated memory: 338936 KiB
[startup+12.7001 s]
/proc/loadavg: 3.40 3.93 4.03 5/269 162856
/proc/meminfo: memFree=128156464/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=414288 memory=340472 CPUtime=12.65 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 33869 0 0 0 1219 46 0 0 20 0 1 0 239112140 424230912 85118 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 103572 85118 2368 1147 0 90999 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 418480 KiB
Current children cumulated memory: 343544 KiB
[startup+25.5002 s]
/proc/loadavg: 3.65 3.97 4.04 5/269 162857
/proc/meminfo: memFree=128087032/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=417712 memory=346000 CPUtime=25.41 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 34747 0 0 0 2482 59 0 0 20 0 1 0 239112140 427737088 86500 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 104428 86500 2368 1147 0 91855 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 421904 KiB
Current children cumulated memory: 349072 KiB
[startup+51.1054 s]
/proc/loadavg: 3.83 3.99 4.04 5/270 162858
/proc/meminfo: memFree=128049016/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=429388 memory=346640 CPUtime=50.95 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 34927 0 0 0 4990 105 0 0 20 0 1 0 239112140 439693312 86660 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 107347 86660 2368 1147 0 94774 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 433580 KiB
Current children cumulated memory: 349712 KiB
[startup+102.3 s]
/proc/loadavg: 3.98 4.00 4.04 5/270 162860
/proc/meminfo: memFree=127831020/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=450252 memory=367384 CPUtime=102.03 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 37592 0 0 0 10073 130 0 0 20 0 1 0 239112140 461058048 91846 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 112563 91846 2368 1147 0 99990 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 454444 KiB
Current children cumulated memory: 370456 KiB
[startup+162.3 s]
/proc/loadavg: 4.06 4.02 4.04 5/270 162862
/proc/meminfo: memFree=127698144/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=463660 memory=377752 CPUtime=161.89 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 40234 0 0 0 16019 170 0 0 20 0 1 0 239112140 474787840 94438 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 115915 94438 2368 1147 0 103342 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 467852 KiB
Current children cumulated memory: 380824 KiB
[startup+222.3 s]
/proc/loadavg: 4.07 4.03 4.04 5/271 162866
/proc/meminfo: memFree=127694908/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=463660 memory=378904 CPUtime=221.76 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 40529 0 0 0 21989 187 0 0 20 0 1 0 239112140 474787840 94726 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 115915 94726 2368 1147 0 103342 0
################
# More data... #
################
/proc/162856/statm: 175610 156101 2368 1147 0 163037 0
Current children cumulated CPU time: 3094.93 s
Current children cumulated vsize: 706632 KiB
Current children cumulated memory: 627476 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/268 163114
/proc/meminfo: memFree=126266204/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=702440 memory=624404 CPUtime=3154.79 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 63673 0 0 0 313787 1692 0 0 20 0 1 0 239112140 719298560 156101 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 175610 156101 2368 1147 0 163037 0
Current children cumulated CPU time: 3154.79 s
Current children cumulated vsize: 706632 KiB
Current children cumulated memory: 627476 KiB
[startup+3222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 163116
/proc/meminfo: memFree=126187984/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=702440 memory=624404 CPUtime=3214.66 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 63718 0 0 0 319730 1736 0 0 20 0 1 0 239112140 719298560 156101 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 175610 156101 2368 1147 0 163037 0
Current children cumulated CPU time: 3214.66 s
Current children cumulated vsize: 706632 KiB
Current children cumulated memory: 627476 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/267 163118
/proc/meminfo: memFree=126180616/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=702440 memory=624404 CPUtime=3274.52 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 63776 0 0 0 325698 1754 0 0 20 0 1 0 239112140 719298560 156101 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 175610 156101 2368 1147 0 163037 0
Current children cumulated CPU time: 3274.52 s
Current children cumulated vsize: 706632 KiB
Current children cumulated memory: 627476 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/266 163120
/proc/meminfo: memFree=126155292/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=702440 memory=624404 CPUtime=3334.41 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 63777 0 0 0 331671 1770 0 0 20 0 1 0 239112140 719298560 156101 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 175610 156101 2368 1147 0 163037 0
Current children cumulated CPU time: 3334.41 s
Current children cumulated vsize: 706632 KiB
Current children cumulated memory: 627476 KiB
[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/267 163123
/proc/meminfo: memFree=126118360/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=702440 memory=624404 CPUtime=3394.27 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 63783 0 0 0 337630 1797 0 0 20 0 1 0 239112140 719298560 156101 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 175610 156101 2368 1147 0 163037 0
Current children cumulated CPU time: 3394.27 s
Current children cumulated vsize: 706632 KiB
Current children cumulated memory: 627476 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/267 163124
/proc/meminfo: memFree=126052832/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=752528 memory=641312 CPUtime=3454.14 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 64447 0 0 0 343593 1821 0 0 20 0 1 0 239112140 770588672 160328 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 188132 160328 2368 1147 0 175559 0
Current children cumulated CPU time: 3454.14 s
Current children cumulated vsize: 756720 KiB
Current children cumulated memory: 644384 KiB
[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/268 163133
/proc/meminfo: memFree=126016872/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=752528 memory=649504 CPUtime=3513.99 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 64452 0 0 0 349554 1845 0 0 20 0 1 0 239112140 770588672 162376 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 188132 162376 2368 1147 0 175559 0
Current children cumulated CPU time: 3513.99 s
Current children cumulated vsize: 756720 KiB
Current children cumulated memory: 652576 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/268 163135
/proc/meminfo: memFree=126017024/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=752528 memory=649504 CPUtime=3573.86 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 64452 0 0 0 355510 1876 0 0 20 0 1 0 239112140 770588672 162376 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 188132 162376 2368 1147 0 175559 0
Current children cumulated CPU time: 3573.86 s
Current children cumulated vsize: 756720 KiB
Current children cumulated memory: 652576 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.5 s]
/proc/loadavg: 4.07 4.09 4.09 4/263 163145
/proc/meminfo: memFree=126684540/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=752528 memory=649504 CPUtime=3600 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 64452 0 0 0 358116 1884 0 0 20 0 1 0 239112140 770588672 162376 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 188132 162376 2368 1147 0 175559 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 756720 KiB
Current children cumulated memory: 652576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.5 s]
# the end of solver process 162854 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.002146 s
[startup+3608.52 s]
# the end of solver process 162856 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3581.18 s, system=18.8533 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3608.5 s]
/proc/loadavg: 4.07 4.09 4.09 4/263 163145
/proc/meminfo: memFree=126684540/131249996 swapFree=33003468/33010684
[pid=162854] ppid=162851 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/162854/stat : 162854 (run-dec.sh) S 162851 162854 162736 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 239112139 4292608 768 18446744073709551615 94585200713728 94585201608261 140730520111840 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94585201847312 94585201895056 94585218125824 140730520115563 140730520115686 140730520115686 140730520121290 0
/proc/162854/statm: 1048 768 704 219 0 110 0
[pid=162856] ppid=162854 vsize=752528 memory=649504 CPUtime=3600 cores=1,3
/proc/162856/stat : 162856 (roundingsat) R 162854 162854 162736 0 -1 4194304 64452 0 0 0 358116 1884 0 0 20 0 1 0 239112140 770588672 162376 18446744073709551615 4227072 8923433 140726430457744 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 40677376 140726430464437 140726430464550 140726430464550 140726430470122 0
/proc/162856/statm: 188132 162376 2368 1147 0 175559 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 756720 KiB
Current children cumulated memory: 652576 KiB
Child status: 2
Real time (s): 3608.52
CPU time (s): 3600.03
CPU user time (s): 3581.18
CPU system time (s): 18.8533
CPU usage (%): 99.7648
Max. virtual memory (cumulated for all children) (KiB): 756720
Max. memory (cumulated for all children) (KiB): 652576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3581.18
system time used= 18.8533
maximum resident set size= 649888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64684
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= 178
involuntary context switches= 5470
# summary of solver processes directly reported to runsolver:
# pid: 162854,162856
# total CPU time (s): 3600.03
# total CPU user time (s): 3581.18
# total CPU system time (s): 18.8533
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.06289 second user time and 15.7456 second system time
The end
Begin job on nodeC021 at 2025-07-23 03:32:25
IDJOB=4545310
IDBENCH=180812
IDSOLVER=3349
FILE ID=nodeC021/4545310-1753234344
RUNJOBID= nodeC021-1753234342-162748
SLURM_JOB_ID= 9687855
Free space on /tmp= 432980 MiB
SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB25/normalized-PB25/DEC-LIN/wallon/normalized-SocialGolfers-08-04-08_c24.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4545310-1753234344/watcher-4545310-1753234344 -o /tmp/evaluation-result-4545310-1753234344/solver-4545310-1753234344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1753234342-162748 --watchdog 3760 run-dec.sh HOME/instance-4545310-1753234344.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= e5dad10f2c51a051686c6ce21bebf57a
RANDOM SEED=139503304
nodeC021 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.773
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.56
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.804
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.56
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 : 3596.867
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.56
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.141
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.56
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.778
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.56
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.768
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.56
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 : 3795.207
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.987
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.56
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 128526572 kB
MemAvailable: 129356648 kB
Buffers: 1056 kB
Cached: 1565884 kB
SwapCached: 56 kB
Active: 1521480 kB
Inactive: 470328 kB
Active(anon): 408028 kB
Inactive(anon): 38496 kB
Active(file): 1113452 kB
Inactive(file): 431832 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33003468 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 49488 kB
Writeback: 4 kB
AnonPages: 427140 kB
Mapped: 117172 kB
Shmem: 21656 kB
KReclaimable: 247660 kB
Slab: 343916 kB
SReclaimable: 247660 kB
SUnreclaim: 96256 kB
KernelStack: 4272 kB
PageTables: 4160 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 803108 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150536 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 205524 kB
DirectMap2M: 7954432 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432972 MiB
End job on nodeC021 at 2025-07-23 04:32:33