0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] solving
0.00/0.00 c #variables 120 #constraints 10
0.00/0.00 c SMALL=int, LARGE=long long
0.00/0.00 c bounds - >= 0 @ 0.000952
0.00/0.00 c stratification level: 64
0.00/0.02 c bounds 129 >= 0 @ 0.010579
0.00/0.02 c stratification level: 32
0.00/0.02 c bounds 118 >= 0 @ 0.011306
0.00/0.02 c stratification level: 16
0.00/0.02 c bounds 82 >= 0 @ 0.012217
0.00/0.02 c stratification level: 8
0.10/0.12 c bounds 29 >= 0 @ 0.098123
0.10/0.12 c stratification level: 4
0.60/0.61 c #Conflicts: 1000 | #Constraints: 1013
0.60/0.61 c #Conflicts: 2000 | #Constraints: 2013
0.60/0.61 c INPROCESSING
0.60/0.61 c GARBAGE COLLECT
0.60/0.61 c #Conflicts: 3000 | #Constraints: 2015
0.60/0.61 c bounds 16 >= 0 @ 0.571247
0.60/0.61 c stratification level: 2
17.83/17.94 c #Conflicts: 4000 | #Constraints: 3016
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 5000 | #Constraints: 2418
17.83/17.94 c #Conflicts: 6000 | #Constraints: 3418
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 7000 | #Constraints: 2419
17.83/17.94 c #Conflicts: 8000 | #Constraints: 3419
17.83/17.94 c #Conflicts: 9000 | #Constraints: 4419
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 10000 | #Constraints: 3117
17.83/17.94 c #Conflicts: 11000 | #Constraints: 4117
17.83/17.94 c #Conflicts: 12000 | #Constraints: 5117
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 13000 | #Constraints: 3567
17.83/17.94 c #Conflicts: 14000 | #Constraints: 4567
17.83/17.94 c #Conflicts: 15000 | #Constraints: 5567
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 16000 | #Constraints: 3794
17.83/17.94 c #Conflicts: 17000 | #Constraints: 4794
17.83/17.94 c #Conflicts: 18000 | #Constraints: 5794
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 19000 | #Constraints: 3808
17.83/17.94 c #Conflicts: 20000 | #Constraints: 4808
17.83/17.94 c #Conflicts: 21000 | #Constraints: 5808
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 22000 | #Constraints: 3613
17.83/17.94 c #Conflicts: 23000 | #Constraints: 4613
17.83/17.94 c #Conflicts: 24000 | #Constraints: 5613
17.83/17.94 c #Conflicts: 25000 | #Constraints: 6613
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 26000 | #Constraints: 4215
17.83/17.94 c #Conflicts: 27000 | #Constraints: 5215
17.83/17.94 c #Conflicts: 28000 | #Constraints: 6215
17.83/17.94 c #Conflicts: 29000 | #Constraints: 7215
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 30000 | #Constraints: 4616
17.83/17.94 c #Conflicts: 31000 | #Constraints: 5616
17.83/17.94 c #Conflicts: 32000 | #Constraints: 6616
17.83/17.94 c #Conflicts: 33000 | #Constraints: 7616
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 34000 | #Constraints: 4818
17.83/17.94 c #Conflicts: 35000 | #Constraints: 5818
17.83/17.94 c #Conflicts: 36000 | #Constraints: 6818
17.83/17.94 c #Conflicts: 37000 | #Constraints: 7818
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 38000 | #Constraints: 4819
17.83/17.94 c #Conflicts: 39000 | #Constraints: 5819
17.83/17.94 c #Conflicts: 40000 | #Constraints: 6819
17.83/17.94 c #Conflicts: 41000 | #Constraints: 7819
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 42000 | #Constraints: 4621
17.83/17.94 c #Conflicts: 43000 | #Constraints: 5621
17.83/17.94 c #Conflicts: 44000 | #Constraints: 6621
17.83/17.94 c #Conflicts: 45000 | #Constraints: 7621
17.83/17.94 c #Conflicts: 46000 | #Constraints: 8621
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 47000 | #Constraints: 5222
17.83/17.94 c #Conflicts: 48000 | #Constraints: 6222
17.83/17.94 c #Conflicts: 49000 | #Constraints: 7222
17.83/17.94 c #Conflicts: 50000 | #Constraints: 8222
17.83/17.94 c #Conflicts: 51000 | #Constraints: 9222
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 52000 | #Constraints: 5624
17.83/17.94 c #Conflicts: 53000 | #Constraints: 6624
17.83/17.94 c #Conflicts: 54000 | #Constraints: 7624
17.83/17.94 c #Conflicts: 55000 | #Constraints: 8624
17.83/17.94 c #Conflicts: 56000 | #Constraints: 9624
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 57000 | #Constraints: 5822
17.83/17.94 c #Conflicts: 58000 | #Constraints: 6822
17.83/17.94 c #Conflicts: 59000 | #Constraints: 7822
17.83/17.94 c #Conflicts: 60000 | #Constraints: 8822
17.83/17.94 c #Conflicts: 61000 | #Constraints: 9822
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 62000 | #Constraints: 5822
17.83/17.94 c #Conflicts: 63000 | #Constraints: 6822
17.83/17.94 c #Conflicts: 64000 | #Constraints: 7822
17.83/17.94 c #Conflicts: 65000 | #Constraints: 8822
17.83/17.94 c #Conflicts: 66000 | #Constraints: 9822
17.83/17.94 c INPROCESSING
17.83/17.94 c GARBAGE COLLECT
17.83/17.94 c #Conflicts: 67000 | #Constraints: 5622
17.83/17.94 c #Conflicts: 68000 | #Constraints: 6622
17.83/17.94 c #Conflicts: 69000 | #Constraints: 7622
17.83/17.94 c #Conflicts: 70000 | #Constraints: 8622
17.83/17.94 c #Conflicts: 71000 | #Constraints: 9622
48.66/48.86 c #Conflicts: 72000 | #Constraints: 10622
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 73000 | #Constraints: 6222
48.66/48.86 c #Conflicts: 74000 | #Constraints: 7222
48.66/48.86 c #Conflicts: 75000 | #Constraints: 8222
48.66/48.86 c #Conflicts: 76000 | #Constraints: 9222
48.66/48.86 c #Conflicts: 77000 | #Constraints: 10222
48.66/48.86 c #Conflicts: 78000 | #Constraints: 11222
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 79000 | #Constraints: 6624
48.66/48.86 c #Conflicts: 80000 | #Constraints: 7624
48.66/48.86 c #Conflicts: 81000 | #Constraints: 8624
48.66/48.86 c #Conflicts: 82000 | #Constraints: 9624
48.66/48.86 c #Conflicts: 83000 | #Constraints: 10624
48.66/48.86 c #Conflicts: 84000 | #Constraints: 11624
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 85000 | #Constraints: 6824
48.66/48.86 c #Conflicts: 86000 | #Constraints: 7824
48.66/48.86 c #Conflicts: 87000 | #Constraints: 8824
48.66/48.86 c #Conflicts: 88000 | #Constraints: 9824
48.66/48.86 c #Conflicts: 89000 | #Constraints: 10824
48.66/48.86 c #Conflicts: 90000 | #Constraints: 11824
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 91000 | #Constraints: 6827
48.66/48.86 c #Conflicts: 92000 | #Constraints: 7827
48.66/48.86 c #Conflicts: 93000 | #Constraints: 8827
48.66/48.86 c #Conflicts: 94000 | #Constraints: 9827
48.66/48.86 c #Conflicts: 95000 | #Constraints: 10827
48.66/48.86 c #Conflicts: 96000 | #Constraints: 11827
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 97000 | #Constraints: 6626
48.66/48.86 c #Conflicts: 98000 | #Constraints: 7626
48.66/48.86 c #Conflicts: 99000 | #Constraints: 8626
48.66/48.86 c #Conflicts: 100000 | #Constraints: 9626
48.66/48.86 c #Conflicts: 101000 | #Constraints: 10626
48.66/48.86 c #Conflicts: 102000 | #Constraints: 11626
48.66/48.86 c #Conflicts: 103000 | #Constraints: 12626
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 104000 | #Constraints: 7224
48.66/48.86 c #Conflicts: 105000 | #Constraints: 8224
48.66/48.86 c #Conflicts: 106000 | #Constraints: 9224
48.66/48.86 c #Conflicts: 107000 | #Constraints: 10224
48.66/48.86 c #Conflicts: 108000 | #Constraints: 11224
48.66/48.86 c #Conflicts: 109000 | #Constraints: 12224
48.66/48.86 c #Conflicts: 110000 | #Constraints: 13224
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 111000 | #Constraints: 7626
48.66/48.86 c #Conflicts: 112000 | #Constraints: 8626
48.66/48.86 c #Conflicts: 113000 | #Constraints: 9626
48.66/48.86 c #Conflicts: 114000 | #Constraints: 10626
48.66/48.86 c #Conflicts: 115000 | #Constraints: 11626
48.66/48.86 c #Conflicts: 116000 | #Constraints: 12626
48.66/48.86 c #Conflicts: 117000 | #Constraints: 13626
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 118000 | #Constraints: 7825
48.66/48.86 c #Conflicts: 119000 | #Constraints: 8825
48.66/48.86 c #Conflicts: 120000 | #Constraints: 9825
48.66/48.86 c #Conflicts: 121000 | #Constraints: 10825
48.66/48.86 c #Conflicts: 122000 | #Constraints: 11825
48.66/48.86 c #Conflicts: 123000 | #Constraints: 12825
48.66/48.86 c #Conflicts: 124000 | #Constraints: 13825
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 125000 | #Constraints: 7823
48.66/48.86 c #Conflicts: 126000 | #Constraints: 8823
48.66/48.86 c #Conflicts: 127000 | #Constraints: 9823
48.66/48.86 c #Conflicts: 128000 | #Constraints: 10823
48.66/48.86 c #Conflicts: 129000 | #Constraints: 11823
48.66/48.86 c #Conflicts: 130000 | #Constraints: 12823
48.66/48.86 c #Conflicts: 131000 | #Constraints: 13823
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 132000 | #Constraints: 7622
48.66/48.86 c #Conflicts: 133000 | #Constraints: 8622
48.66/48.86 c #Conflicts: 134000 | #Constraints: 9622
48.66/48.86 c #Conflicts: 135000 | #Constraints: 10622
48.66/48.86 c #Conflicts: 136000 | #Constraints: 11622
48.66/48.86 c #Conflicts: 137000 | #Constraints: 12622
48.66/48.86 c #Conflicts: 138000 | #Constraints: 13622
48.66/48.86 c #Conflicts: 139000 | #Constraints: 14622
48.66/48.86 c INPROCESSING
48.66/48.86 c GARBAGE COLLECT
48.66/48.86 c #Conflicts: 140000 | #Constraints: 8225
48.66/48.86 c #Conflicts: 141000 | #Constraints: 9225
48.66/48.86 c #Conflicts: 142000 | #Constraints: 10225
48.66/48.86 c #Conflicts: 143000 | #Constraints: 11225
90.44/90.74 c #Conflicts: 144000 | #Constraints: 12225
90.44/90.74 c #Conflicts: 145000 | #Constraints: 13225
90.44/90.74 c #Conflicts: 146000 | #Constraints: 14225
90.44/90.74 c #Conflicts: 147000 | #Constraints: 15225
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
90.44/90.74 c #Conflicts: 148000 | #Constraints: 8623
90.44/90.74 c #Conflicts: 149000 | #Constraints: 9623
90.44/90.74 c #Conflicts: 150000 | #Constraints: 10623
90.44/90.74 c #Conflicts: 151000 | #Constraints: 11623
90.44/90.74 c #Conflicts: 152000 | #Constraints: 12623
90.44/90.74 c #Conflicts: 153000 | #Constraints: 13623
90.44/90.74 c #Conflicts: 154000 | #Constraints: 14623
90.44/90.74 c #Conflicts: 155000 | #Constraints: 15623
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
90.44/90.74 c #Conflicts: 156000 | #Constraints: 8824
90.44/90.74 c #Conflicts: 157000 | #Constraints: 9824
90.44/90.74 c #Conflicts: 158000 | #Constraints: 10824
90.44/90.74 c #Conflicts: 159000 | #Constraints: 11824
90.44/90.74 c #Conflicts: 160000 | #Constraints: 12824
90.44/90.74 c #Conflicts: 161000 | #Constraints: 13824
90.44/90.74 c #Conflicts: 162000 | #Constraints: 14824
90.44/90.74 c #Conflicts: 163000 | #Constraints: 15824
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
90.44/90.74 c #Conflicts: 164000 | #Constraints: 8823
90.44/90.74 c #Conflicts: 165000 | #Constraints: 9823
90.44/90.74 c #Conflicts: 166000 | #Constraints: 10823
90.44/90.74 c #Conflicts: 167000 | #Constraints: 11823
90.44/90.74 c #Conflicts: 168000 | #Constraints: 12823
90.44/90.74 c #Conflicts: 169000 | #Constraints: 13823
90.44/90.74 c #Conflicts: 170000 | #Constraints: 14823
90.44/90.74 c #Conflicts: 171000 | #Constraints: 15823
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
90.44/90.74 c #Conflicts: 172000 | #Constraints: 8624
90.44/90.74 c #Conflicts: 173000 | #Constraints: 9624
90.44/90.74 c #Conflicts: 174000 | #Constraints: 10624
90.44/90.74 c #Conflicts: 175000 | #Constraints: 11624
90.44/90.74 c #Conflicts: 176000 | #Constraints: 12624
90.44/90.74 c #Conflicts: 177000 | #Constraints: 13624
90.44/90.74 c #Conflicts: 178000 | #Constraints: 14624
90.44/90.74 c #Conflicts: 179000 | #Constraints: 15624
90.44/90.74 c #Conflicts: 180000 | #Constraints: 16624
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
90.44/90.74 c #Conflicts: 181000 | #Constraints: 9225
90.44/90.74 c #Conflicts: 182000 | #Constraints: 10225
90.44/90.74 c #Conflicts: 183000 | #Constraints: 11225
90.44/90.74 c #Conflicts: 184000 | #Constraints: 12225
90.44/90.74 c #Conflicts: 185000 | #Constraints: 13225
90.44/90.74 c #Conflicts: 186000 | #Constraints: 14225
90.44/90.74 c #Conflicts: 187000 | #Constraints: 15225
90.44/90.74 c #Conflicts: 188000 | #Constraints: 16225
90.44/90.74 c #Conflicts: 189000 | #Constraints: 17225
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
90.44/90.74 c #Conflicts: 190000 | #Constraints: 9624
90.44/90.74 c #Conflicts: 191000 | #Constraints: 10624
90.44/90.74 c #Conflicts: 192000 | #Constraints: 11624
90.44/90.74 c #Conflicts: 193000 | #Constraints: 12624
90.44/90.74 c #Conflicts: 194000 | #Constraints: 13624
90.44/90.74 c #Conflicts: 195000 | #Constraints: 14624
90.44/90.74 c #Conflicts: 196000 | #Constraints: 15624
90.44/90.74 c #Conflicts: 197000 | #Constraints: 16624
90.44/90.74 c #Conflicts: 198000 | #Constraints: 17624
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
90.44/90.74 c #Conflicts: 199000 | #Constraints: 9825
90.44/90.74 c #Conflicts: 200000 | #Constraints: 10825
90.44/90.74 c #Conflicts: 201000 | #Constraints: 11825
90.44/90.74 c #Conflicts: 202000 | #Constraints: 12825
90.44/90.74 c #Conflicts: 203000 | #Constraints: 13825
90.44/90.74 c #Conflicts: 204000 | #Constraints: 14825
90.44/90.74 c #Conflicts: 205000 | #Constraints: 15825
90.44/90.74 c #Conflicts: 206000 | #Constraints: 16825
90.44/90.74 c #Conflicts: 207000 | #Constraints: 17825
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
90.44/90.74 c #Conflicts: 208000 | #Constraints: 9826
90.44/90.74 c #Conflicts: 209000 | #Constraints: 10826
90.44/90.74 c #Conflicts: 210000 | #Constraints: 11826
90.44/90.74 c #Conflicts: 211000 | #Constraints: 12826
90.44/90.74 c #Conflicts: 212000 | #Constraints: 13826
90.44/90.74 c #Conflicts: 213000 | #Constraints: 14826
90.44/90.74 c #Conflicts: 214000 | #Constraints: 15826
90.44/90.74 c #Conflicts: 215000 | #Constraints: 16826
90.44/90.74 c #Conflicts: 216000 | #Constraints: 17826
90.44/90.74 c INPROCESSING
90.44/90.74 c GARBAGE COLLECT
139.50/140.00 c #Conflicts: 217000 | #Constraints: 9624
139.50/140.00 c #Conflicts: 218000 | #Constraints: 10624
139.50/140.00 c #Conflicts: 219000 | #Constraints: 11624
139.50/140.00 c #Conflicts: 220000 | #Constraints: 12624
139.50/140.00 c #Conflicts: 221000 | #Constraints: 13624
139.50/140.00 c #Conflicts: 222000 | #Constraints: 14624
139.50/140.00 c #Conflicts: 223000 | #Constraints: 15624
139.50/140.00 c #Conflicts: 224000 | #Constraints: 16624
139.50/140.00 c #Conflicts: 225000 | #Constraints: 17624
139.50/140.00 c #Conflicts: 226000 | #Constraints: 18624
139.50/140.00 c INPROCESSING
139.50/140.00 c GARBAGE COLLECT
139.50/140.00 c #Conflicts: 227000 | #Constraints: 10226
139.50/140.00 c #Conflicts: 228000 | #Constraints: 11226
139.50/140.00 c #Conflicts: 229000 | #Constraints: 12226
139.50/140.00 c #Conflicts: 230000 | #Constraints: 13226
139.50/140.00 c #Conflicts: 231000 | #Constraints: 14226
139.50/140.00 c #Conflicts: 232000 | #Constraints: 15226
139.50/140.00 c #Conflicts: 233000 | #Constraints: 16226
139.50/140.00 c #Conflicts: 234000 | #Constraints: 17226
139.50/140.00 c #Conflicts: 235000 | #Constraints: 18226
139.50/140.00 c #Conflicts: 236000 | #Constraints: 19226
139.50/140.00 c INPROCESSING
139.50/140.00 c GARBAGE COLLECT
139.50/140.00 c #Conflicts: 237000 | #Constraints: 10624
139.50/140.00 c #Conflicts: 238000 | #Constraints: 11624
139.50/140.00 c #Conflicts: 239000 | #Constraints: 12624
139.50/140.00 c #Conflicts: 240000 | #Constraints: 13624
139.50/140.00 c #Conflicts: 241000 | #Constraints: 14624
139.50/140.00 c #Conflicts: 242000 | #Constraints: 15624
139.50/140.00 c #Conflicts: 243000 | #Constraints: 16624
139.50/140.00 c #Conflicts: 244000 | #Constraints: 17624
139.50/140.00 c #Conflicts: 245000 | #Constraints: 18624
139.50/140.00 c #Conflicts: 246000 | #Constraints: 19624
139.50/140.00 c INPROCESSING
139.50/140.00 c GARBAGE COLLECT
139.50/140.00 c #Conflicts: 247000 | #Constraints: 10824
139.50/140.00 c #Conflicts: 248000 | #Constraints: 11824
139.50/140.00 c #Conflicts: 249000 | #Constraints: 12824
139.50/140.00 c #Conflicts: 250000 | #Constraints: 13824
139.50/140.00 c #Conflicts: 251000 | #Constraints: 14824
139.50/140.00 c #Conflicts: 252000 | #Constraints: 15824
139.50/140.00 c #Conflicts: 253000 | #Constraints: 16824
139.50/140.00 c #Conflicts: 254000 | #Constraints: 17824
139.50/140.00 c #Conflicts: 255000 | #Constraints: 18824
139.50/140.00 c #Conflicts: 256000 | #Constraints: 19824
139.50/140.00 c INPROCESSING
139.50/140.00 c GARBAGE COLLECT
139.50/140.00 c #Conflicts: 257000 | #Constraints: 10825
139.50/140.00 c #Conflicts: 258000 | #Constraints: 11825
139.50/140.00 c #Conflicts: 259000 | #Constraints: 12825
139.50/140.00 c #Conflicts: 260000 | #Constraints: 13825
139.50/140.00 c #Conflicts: 261000 | #Constraints: 14825
139.50/140.00 c #Conflicts: 262000 | #Constraints: 15825
139.50/140.00 c #Conflicts: 263000 | #Constraints: 16825
139.50/140.00 c #Conflicts: 264000 | #Constraints: 17825
139.50/140.00 c #Conflicts: 265000 | #Constraints: 18825
139.50/140.00 c #Conflicts: 266000 | #Constraints: 19825
139.50/140.00 c INPROCESSING
139.50/140.00 c GARBAGE COLLECT
139.50/140.00 c #Conflicts: 267000 | #Constraints: 10626
139.50/140.00 c #Conflicts: 268000 | #Constraints: 11626
139.50/140.00 c #Conflicts: 269000 | #Constraints: 12626
139.50/140.00 c #Conflicts: 270000 | #Constraints: 13626
139.50/140.00 c #Conflicts: 271000 | #Constraints: 14626
139.50/140.00 c #Conflicts: 272000 | #Constraints: 15626
139.50/140.00 c #Conflicts: 273000 | #Constraints: 16626
139.50/140.00 c #Conflicts: 274000 | #Constraints: 17626
139.50/140.00 c #Conflicts: 275000 | #Constraints: 18626
139.50/140.00 c #Conflicts: 276000 | #Constraints: 19626
139.50/140.00 c #Conflicts: 277000 | #Constraints: 20626
139.50/140.00 c INPROCESSING
139.50/140.00 c GARBAGE COLLECT
139.50/140.00 c #Conflicts: 278000 | #Constraints: 11224
139.50/140.00 c #Conflicts: 279000 | #Constraints: 12224
139.50/140.00 c #Conflicts: 280000 | #Constraints: 13224
139.50/140.00 c #Conflicts: 281000 | #Constraints: 14224
139.50/140.00 c #Conflicts: 282000 | #Constraints: 15224
139.50/140.00 c #Conflicts: 283000 | #Constraints: 16224
139.50/140.00 c #Conflicts: 284000 | #Constraints: 17224
139.50/140.00 c #Conflicts: 285000 | #Constraints: 18224
139.50/140.00 c #Conflicts: 286000 | #Constraints: 19224
139.50/140.00 c #Conflicts: 287000 | #Constraints: 20224
139.50/140.00 c #Conflicts: 288000 | #Constraints: 21224
139.50/140.00 c INPROCESSING
139.50/140.00 c GARBAGE COLLECT
139.50/140.00 c #Conflicts: 289000 | #Constraints: 11623
139.50/140.00 c #Conflicts: 290000 | #Constraints: 12623
139.50/140.00 c #Conflicts: 291000 | #Constraints: 13623
195.75/196.30 c #Conflicts: 292000 | #Constraints: 14623
195.75/196.30 c #Conflicts: 293000 | #Constraints: 15623
195.75/196.30 c #Conflicts: 294000 | #Constraints: 16623
195.75/196.30 c #Conflicts: 295000 | #Constraints: 17623
195.75/196.30 c #Conflicts: 296000 | #Constraints: 18623
195.75/196.30 c #Conflicts: 297000 | #Constraints: 19623
195.75/196.30 c #Conflicts: 298000 | #Constraints: 20623
195.75/196.30 c #Conflicts: 299000 | #Constraints: 21623
195.75/196.30 c INPROCESSING
195.75/196.30 c GARBAGE COLLECT
195.75/196.30 c #Conflicts: 300000 | #Constraints: 11823
195.75/196.30 c #Conflicts: 301000 | #Constraints: 12823
195.75/196.30 c #Conflicts: 302000 | #Constraints: 13823
195.75/196.30 c #Conflicts: 303000 | #Constraints: 14823
195.75/196.30 c #Conflicts: 304000 | #Constraints: 15823
195.75/196.30 c #Conflicts: 305000 | #Constraints: 16823
195.75/196.30 c #Conflicts: 306000 | #Constraints: 17823
195.75/196.30 c #Conflicts: 307000 | #Constraints: 18823
195.75/196.30 c #Conflicts: 308000 | #Constraints: 19823
195.75/196.30 c #Conflicts: 309000 | #Constraints: 20823
195.75/196.30 c #Conflicts: 310000 | #Constraints: 21823
195.75/196.30 c INPROCESSING
195.75/196.30 c GARBAGE COLLECT
195.75/196.30 c #Conflicts: 311000 | #Constraints: 11824
195.75/196.30 c #Conflicts: 312000 | #Constraints: 12824
195.75/196.30 c #Conflicts: 313000 | #Constraints: 13824
195.75/196.30 c #Conflicts: 314000 | #Constraints: 14824
195.75/196.30 c #Conflicts: 315000 | #Constraints: 15824
195.75/196.30 c #Conflicts: 316000 | #Constraints: 16824
195.75/196.30 c #Conflicts: 317000 | #Constraints: 17824
195.75/196.30 c #Conflicts: 318000 | #Constraints: 18824
195.75/196.30 c #Conflicts: 319000 | #Constraints: 19824
195.75/196.30 c #Conflicts: 320000 | #Constraints: 20824
195.75/196.30 c #Conflicts: 321000 | #Constraints: 21824
195.75/196.30 c INPROCESSING
195.75/196.30 c GARBAGE COLLECT
195.75/196.30 c #Conflicts: 322000 | #Constraints: 11625
195.75/196.30 c #Conflicts: 323000 | #Constraints: 12625
195.75/196.30 c #Conflicts: 324000 | #Constraints: 13625
195.75/196.30 c #Conflicts: 325000 | #Constraints: 14625
195.75/196.30 c #Conflicts: 326000 | #Constraints: 15625
195.75/196.30 c #Conflicts: 327000 | #Constraints: 16625
195.75/196.30 c #Conflicts: 328000 | #Constraints: 17625
195.75/196.30 c #Conflicts: 329000 | #Constraints: 18625
195.75/196.30 c #Conflicts: 330000 | #Constraints: 19625
195.75/196.30 c #Conflicts: 331000 | #Constraints: 20625
195.75/196.30 c #Conflicts: 332000 | #Constraints: 21625
195.75/196.30 c #Conflicts: 333000 | #Constraints: 22625
195.75/196.30 c INPROCESSING
195.75/196.30 c GARBAGE COLLECT
195.75/196.30 c #Conflicts: 334000 | #Constraints: 12224
195.75/196.30 c #Conflicts: 335000 | #Constraints: 13224
195.75/196.30 c #Conflicts: 336000 | #Constraints: 14224
195.75/196.30 c #Conflicts: 337000 | #Constraints: 15224
195.75/196.30 c #Conflicts: 338000 | #Constraints: 16224
195.75/196.30 c #Conflicts: 339000 | #Constraints: 17224
195.75/196.30 c #Conflicts: 340000 | #Constraints: 18224
195.75/196.30 c #Conflicts: 341000 | #Constraints: 19224
195.75/196.30 c #Conflicts: 342000 | #Constraints: 20224
195.75/196.30 c #Conflicts: 343000 | #Constraints: 21224
195.75/196.30 c #Conflicts: 344000 | #Constraints: 22224
195.75/196.30 c #Conflicts: 345000 | #Constraints: 23224
195.75/196.30 c INPROCESSING
195.75/196.30 c GARBAGE COLLECT
195.75/196.30 c #Conflicts: 346000 | #Constraints: 12621
195.75/196.30 c #Conflicts: 347000 | #Constraints: 13621
195.75/196.30 c #Conflicts: 348000 | #Constraints: 14621
195.75/196.30 c #Conflicts: 349000 | #Constraints: 15621
195.75/196.30 c #Conflicts: 350000 | #Constraints: 16621
195.75/196.30 c #Conflicts: 351000 | #Constraints: 17621
195.75/196.30 c #Conflicts: 352000 | #Constraints: 18621
195.75/196.30 c #Conflicts: 353000 | #Constraints: 19621
195.75/196.30 c #Conflicts: 354000 | #Constraints: 20621
195.75/196.30 c #Conflicts: 355000 | #Constraints: 21621
195.75/196.30 c #Conflicts: 356000 | #Constraints: 22621
195.75/196.30 c #Conflicts: 357000 | #Constraints: 23621
195.75/196.30 c INPROCESSING
195.75/196.30 c GARBAGE COLLECT
195.75/196.30 c #Conflicts: 358000 | #Constraints: 12822
195.75/196.30 c #Conflicts: 359000 | #Constraints: 13822
195.75/196.30 c #Conflicts: 360000 | #Constraints: 14822
195.75/196.30 c #Conflicts: 361000 | #Constraints: 15822
195.75/196.30 c #Conflicts: 362000 | #Constraints: 16822
195.75/196.30 c #Conflicts: 363000 | #Constraints: 17822
195.75/196.30 c #Conflicts: 364000 | #Constraints: 18822
195.75/196.30 c #Conflicts: 365000 | #Constraints: 19822
195.75/196.30 c #Conflicts: 366000 | #Constraints: 20822
219.68/220.39 c #Conflicts: 367000 | #Constraints: 21822
219.68/220.39 c #Conflicts: 368000 | #Constraints: 22822
219.68/220.39 c #Conflicts: 369000 | #Constraints: 23822
219.68/220.39 c INPROCESSING
219.68/220.39 c GARBAGE COLLECT
219.68/220.39 c #Conflicts: 370000 | #Constraints: 12824
219.68/220.39 c #Conflicts: 371000 | #Constraints: 13824
219.68/220.39 c #Conflicts: 372000 | #Constraints: 14824
219.68/220.39 c #Conflicts: 373000 | #Constraints: 15824
219.68/220.39 c #Conflicts: 374000 | #Constraints: 16824
219.68/220.39 c #Conflicts: 375000 | #Constraints: 17824
219.68/220.39 c #Conflicts: 376000 | #Constraints: 18824
219.68/220.39 c #Conflicts: 377000 | #Constraints: 19824
219.68/220.39 c #Conflicts: 378000 | #Constraints: 20824
219.68/220.39 c #Conflicts: 379000 | #Constraints: 21824
219.68/220.39 c #Conflicts: 380000 | #Constraints: 22824
219.68/220.39 c #Conflicts: 381000 | #Constraints: 23824
219.68/220.39 c INPROCESSING
219.68/220.39 c GARBAGE COLLECT
219.68/220.39 c #Conflicts: 382000 | #Constraints: 12622
219.68/220.39 c #Conflicts: 383000 | #Constraints: 13622
219.68/220.39 c #Conflicts: 384000 | #Constraints: 14622
219.68/220.39 c #Conflicts: 385000 | #Constraints: 15622
219.68/220.39 c #Conflicts: 386000 | #Constraints: 16622
219.68/220.39 c #Conflicts: 387000 | #Constraints: 17622
219.68/220.39 c #Conflicts: 388000 | #Constraints: 18622
219.68/220.39 c #Conflicts: 389000 | #Constraints: 19622
219.68/220.39 c #Conflicts: 390000 | #Constraints: 20622
219.68/220.39 c #Conflicts: 391000 | #Constraints: 21622
219.68/220.39 c #Conflicts: 392000 | #Constraints: 22622
219.68/220.39 c #Conflicts: 393000 | #Constraints: 23622
219.68/220.39 c #Conflicts: 394000 | #Constraints: 24622
219.68/220.39 c INPROCESSING
219.68/220.39 c GARBAGE COLLECT
219.68/220.39 c #Conflicts: 395000 | #Constraints: 13225
219.68/220.39 c #Conflicts: 396000 | #Constraints: 14225
219.68/220.39 c bounds 6 >= 0 @ 218.305
219.68/220.39 c stratification level: 1
287.11/287.96 c #Conflicts: 397000 | #Constraints: 15226
287.11/287.96 c #Conflicts: 398000 | #Constraints: 16226
287.11/287.96 c #Conflicts: 399000 | #Constraints: 17226
287.11/287.96 c #Conflicts: 400000 | #Constraints: 18226
287.11/287.96 c #Conflicts: 401000 | #Constraints: 19226
287.11/287.96 c #Conflicts: 402000 | #Constraints: 20226
287.11/287.96 c #Conflicts: 403000 | #Constraints: 21226
287.11/287.96 c #Conflicts: 404000 | #Constraints: 22226
287.11/287.96 c #Conflicts: 405000 | #Constraints: 23226
287.11/287.96 c #Conflicts: 406000 | #Constraints: 24226
287.11/287.96 c #Conflicts: 407000 | #Constraints: 25226
287.11/287.96 c INPROCESSING
287.11/287.96 c GARBAGE COLLECT
287.11/287.96 c #Conflicts: 408000 | #Constraints: 13622
287.11/287.96 c #Conflicts: 409000 | #Constraints: 14622
287.11/287.96 c #Conflicts: 410000 | #Constraints: 15622
287.11/287.96 c #Conflicts: 411000 | #Constraints: 16622
287.11/287.96 c #Conflicts: 412000 | #Constraints: 17622
287.11/287.96 c #Conflicts: 413000 | #Constraints: 18622
287.11/287.96 c #Conflicts: 414000 | #Constraints: 19622
287.11/287.96 c #Conflicts: 415000 | #Constraints: 20622
287.11/287.96 c #Conflicts: 416000 | #Constraints: 21622
287.11/287.96 c #Conflicts: 417000 | #Constraints: 22622
287.11/287.96 c #Conflicts: 418000 | #Constraints: 23622
287.11/287.96 c #Conflicts: 419000 | #Constraints: 24622
287.11/287.96 c #Conflicts: 420000 | #Constraints: 25622
287.11/287.96 c INPROCESSING
287.11/287.96 c GARBAGE COLLECT
287.11/287.96 c #Conflicts: 421000 | #Constraints: 13822
287.11/287.96 c #Conflicts: 422000 | #Constraints: 14822
287.11/287.96 c #Conflicts: 423000 | #Constraints: 15822
287.11/287.96 c #Conflicts: 424000 | #Constraints: 16822
287.11/287.96 c #Conflicts: 425000 | #Constraints: 17822
287.11/287.96 c #Conflicts: 426000 | #Constraints: 18822
287.11/287.96 c #Conflicts: 427000 | #Constraints: 19822
287.11/287.96 c #Conflicts: 428000 | #Constraints: 20822
287.11/287.96 c #Conflicts: 429000 | #Constraints: 21822
287.11/287.96 c #Conflicts: 430000 | #Constraints: 22822
287.11/287.96 c #Conflicts: 431000 | #Constraints: 23822
287.11/287.96 c #Conflicts: 432000 | #Constraints: 24822
287.11/287.96 c #Conflicts: 433000 | #Constraints: 25822
287.11/287.96 c INPROCESSING
287.11/287.96 c GARBAGE COLLECT
287.11/287.96 c #Conflicts: 434000 | #Constraints: 13822
287.11/287.96 c #Conflicts: 435000 | #Constraints: 14822
287.11/287.96 c #Conflicts: 436000 | #Constraints: 15822
287.11/287.96 c #Conflicts: 437000 | #Constraints: 16822
287.11/287.96 c #Conflicts: 438000 | #Constraints: 17822
287.11/287.96 c #Conflicts: 439000 | #Constraints: 18822
287.11/287.96 c #Conflicts: 440000 | #Constraints: 19822
287.11/287.96 c #Conflicts: 441000 | #Constraints: 20822
287.11/287.96 c #Conflicts: 442000 | #Constraints: 21822
287.11/287.96 c #Conflicts: 443000 | #Constraints: 22822
287.11/287.96 c #Conflicts: 444000 | #Constraints: 23822
287.11/287.96 c #Conflicts: 445000 | #Constraints: 24822
287.11/287.96 c #Conflicts: 446000 | #Constraints: 25822
287.11/287.96 c INPROCESSING
287.11/287.96 c GARBAGE COLLECT
287.11/287.96 c #Conflicts: 447000 | #Constraints: 13625
287.11/287.96 c #Conflicts: 448000 | #Constraints: 14625
287.11/287.96 c #Conflicts: 449000 | #Constraints: 15625
287.11/287.96 c #Conflicts: 450000 | #Constraints: 16625
287.11/287.96 c #Conflicts: 451000 | #Constraints: 17625
287.11/287.96 c #Conflicts: 452000 | #Constraints: 18625
287.11/287.96 c #Conflicts: 453000 | #Constraints: 19625
287.11/287.96 c #Conflicts: 454000 | #Constraints: 20625
287.11/287.96 c #Conflicts: 455000 | #Constraints: 21625
287.11/287.96 c #Conflicts: 456000 | #Constraints: 22625
287.11/287.96 c #Conflicts: 457000 | #Constraints: 23625
287.11/287.96 c #Conflicts: 458000 | #Constraints: 24625
287.11/287.96 c #Conflicts: 459000 | #Constraints: 25625
287.11/287.96 c #Conflicts: 460000 | #Constraints: 26625
287.11/287.96 c INPROCESSING
287.11/287.96 c GARBAGE COLLECT
287.11/287.96 c #Conflicts: 461000 | #Constraints: 14224
287.11/287.96 c #Conflicts: 462000 | #Constraints: 15224
287.11/287.96 c #Conflicts: 463000 | #Constraints: 16224
287.11/287.96 c #Conflicts: 464000 | #Constraints: 17224
287.11/287.96 c #Conflicts: 465000 | #Constraints: 18224
287.11/287.96 c #Conflicts: 466000 | #Constraints: 19224
287.11/287.96 c #Conflicts: 467000 | #Constraints: 20224
287.11/287.96 c #Conflicts: 468000 | #Constraints: 21224
287.11/287.96 c #Conflicts: 469000 | #Constraints: 22224
287.11/287.96 c #Conflicts: 470000 | #Constraints: 23224
287.11/287.96 c #Conflicts: 471000 | #Constraints: 24224
287.11/287.96 c #Conflicts: 472000 | #Constraints: 25224
360.16/361.18 c #Conflicts: 473000 | #Constraints: 26224
360.16/361.18 c #Conflicts: 474000 | #Constraints: 27224
360.16/361.18 c INPROCESSING
360.16/361.18 c GARBAGE COLLECT
360.16/361.18 c #Conflicts: 475000 | #Constraints: 14623
360.16/361.18 c #Conflicts: 476000 | #Constraints: 15623
360.16/361.18 c #Conflicts: 477000 | #Constraints: 16623
360.16/361.18 c #Conflicts: 478000 | #Constraints: 17623
360.16/361.18 c #Conflicts: 479000 | #Constraints: 18623
360.16/361.18 c #Conflicts: 480000 | #Constraints: 19623
360.16/361.18 c #Conflicts: 481000 | #Constraints: 20623
360.16/361.18 c #Conflicts: 482000 | #Constraints: 21623
360.16/361.18 c #Conflicts: 483000 | #Constraints: 22623
360.16/361.18 c #Conflicts: 484000 | #Constraints: 23623
360.16/361.18 c #Conflicts: 485000 | #Constraints: 24623
360.16/361.18 c #Conflicts: 486000 | #Constraints: 25623
360.16/361.18 c #Conflicts: 487000 | #Constraints: 26623
360.16/361.18 c #Conflicts: 488000 | #Constraints: 27623
360.16/361.18 c INPROCESSING
360.16/361.18 c GARBAGE COLLECT
360.16/361.18 c #Conflicts: 489000 | #Constraints: 14825
360.16/361.18 c #Conflicts: 490000 | #Constraints: 15825
360.16/361.18 c #Conflicts: 491000 | #Constraints: 16825
360.16/361.18 c #Conflicts: 492000 | #Constraints: 17825
360.16/361.18 c #Conflicts: 493000 | #Constraints: 18825
360.16/361.18 c #Conflicts: 494000 | #Constraints: 19825
360.16/361.18 c #Conflicts: 495000 | #Constraints: 20825
360.16/361.18 c #Conflicts: 496000 | #Constraints: 21825
360.16/361.18 c #Conflicts: 497000 | #Constraints: 22825
360.16/361.18 c #Conflicts: 498000 | #Constraints: 23825
360.16/361.18 c #Conflicts: 499000 | #Constraints: 24825
360.16/361.18 c #Conflicts: 500000 | #Constraints: 25825
360.16/361.18 c #Conflicts: 501000 | #Constraints: 26825
360.16/361.18 c #Conflicts: 502000 | #Constraints: 27825
360.16/361.18 c INPROCESSING
360.16/361.18 c GARBAGE COLLECT
360.16/361.18 c #Conflicts: 503000 | #Constraints: 14827
360.16/361.18 c #Conflicts: 504000 | #Constraints: 15827
360.16/361.18 c #Conflicts: 505000 | #Constraints: 16827
360.16/361.18 c #Conflicts: 506000 | #Constraints: 17827
360.16/361.18 c #Conflicts: 507000 | #Constraints: 18827
360.16/361.18 c #Conflicts: 508000 | #Constraints: 19827
360.16/361.18 c #Conflicts: 509000 | #Constraints: 20827
360.16/361.18 c #Conflicts: 510000 | #Constraints: 21827
360.16/361.18 c #Conflicts: 511000 | #Constraints: 22827
360.16/361.18 c #Conflicts: 512000 | #Constraints: 23827
360.16/361.18 c #Conflicts: 513000 | #Constraints: 24827
360.16/361.18 c #Conflicts: 514000 | #Constraints: 25827
360.16/361.18 c #Conflicts: 515000 | #Constraints: 26827
360.16/361.18 c #Conflicts: 516000 | #Constraints: 27827
360.16/361.18 c INPROCESSING
360.16/361.18 c GARBAGE COLLECT
360.16/361.18 c #Conflicts: 517000 | #Constraints: 14626
360.16/361.18 c #Conflicts: 518000 | #Constraints: 15626
360.16/361.18 c #Conflicts: 519000 | #Constraints: 16626
360.16/361.18 c #Conflicts: 520000 | #Constraints: 17626
360.16/361.18 c #Conflicts: 521000 | #Constraints: 18626
360.16/361.18 c #Conflicts: 522000 | #Constraints: 19626
360.16/361.18 c #Conflicts: 523000 | #Constraints: 20626
360.16/361.18 c #Conflicts: 524000 | #Constraints: 21626
360.16/361.18 c #Conflicts: 525000 | #Constraints: 22626
360.16/361.18 c #Conflicts: 526000 | #Constraints: 23626
360.16/361.18 c #Conflicts: 527000 | #Constraints: 24626
360.16/361.18 c #Conflicts: 528000 | #Constraints: 25626
360.16/361.18 c #Conflicts: 529000 | #Constraints: 26626
360.16/361.18 c #Conflicts: 530000 | #Constraints: 27626
360.16/361.18 c #Conflicts: 531000 | #Constraints: 28626
360.16/361.18 c INPROCESSING
360.16/361.18 c GARBAGE COLLECT
360.16/361.18 c #Conflicts: 532000 | #Constraints: 15228
360.16/361.18 c #Conflicts: 533000 | #Constraints: 16228
360.16/361.18 c #Conflicts: 534000 | #Constraints: 17228
360.16/361.18 c #Conflicts: 535000 | #Constraints: 18228
360.16/361.18 c #Conflicts: 536000 | #Constraints: 19228
360.16/361.18 c #Conflicts: 537000 | #Constraints: 20228
360.16/361.18 c #Conflicts: 538000 | #Constraints: 21228
360.16/361.18 c #Conflicts: 539000 | #Constraints: 22228
360.16/361.18 c #Conflicts: 540000 | #Constraints: 23228
360.16/361.18 c #Conflicts: 541000 | #Constraints: 24228
360.16/361.18 c #Conflicts: 542000 | #Constraints: 25228
360.16/361.18 c #Conflicts: 543000 | #Constraints: 26228
360.16/361.18 c #Conflicts: 544000 | #Constraints: 27228
360.16/361.18 c #Conflicts: 545000 | #Constraints: 28228
360.16/361.18 c #Conflicts: 546000 | #Constraints: 29228
360.16/361.18 c INPROCESSING
360.16/361.18 c GARBAGE COLLECT
360.16/361.18 c #Conflicts: 547000 | #Constraints: 15625
436.66/437.86 c #Conflicts: 548000 | #Constraints: 16625
436.66/437.86 c #Conflicts: 549000 | #Constraints: 17625
436.66/437.86 c #Conflicts: 550000 | #Constraints: 18625
436.66/437.86 c #Conflicts: 551000 | #Constraints: 19625
436.66/437.86 c #Conflicts: 552000 | #Constraints: 20625
436.66/437.86 c #Conflicts: 553000 | #Constraints: 21625
436.66/437.86 c #Conflicts: 554000 | #Constraints: 22625
436.66/437.86 c #Conflicts: 555000 | #Constraints: 23625
436.66/437.86 c #Conflicts: 556000 | #Constraints: 24625
436.66/437.86 c #Conflicts: 557000 | #Constraints: 25625
436.66/437.86 c #Conflicts: 558000 | #Constraints: 26625
436.66/437.86 c #Conflicts: 559000 | #Constraints: 27625
436.66/437.86 c #Conflicts: 560000 | #Constraints: 28625
436.66/437.86 c #Conflicts: 561000 | #Constraints: 29625
436.66/437.86 c INPROCESSING
436.66/437.86 c GARBAGE COLLECT
436.66/437.86 c #Conflicts: 562000 | #Constraints: 15824
436.66/437.86 c #Conflicts: 563000 | #Constraints: 16824
436.66/437.86 c #Conflicts: 564000 | #Constraints: 17824
436.66/437.86 c #Conflicts: 565000 | #Constraints: 18824
436.66/437.86 c #Conflicts: 566000 | #Constraints: 19824
436.66/437.86 c #Conflicts: 567000 | #Constraints: 20824
436.66/437.86 c #Conflicts: 568000 | #Constraints: 21824
436.66/437.86 c #Conflicts: 569000 | #Constraints: 22824
436.66/437.86 c #Conflicts: 570000 | #Constraints: 23824
436.66/437.86 c #Conflicts: 571000 | #Constraints: 24824
436.66/437.86 c #Conflicts: 572000 | #Constraints: 25824
436.66/437.86 c #Conflicts: 573000 | #Constraints: 26824
436.66/437.86 c #Conflicts: 574000 | #Constraints: 27824
436.66/437.86 c #Conflicts: 575000 | #Constraints: 28824
436.66/437.86 c #Conflicts: 576000 | #Constraints: 29824
436.66/437.86 c INPROCESSING
436.66/437.86 c GARBAGE COLLECT
436.66/437.86 c #Conflicts: 577000 | #Constraints: 15825
436.66/437.86 c #Conflicts: 578000 | #Constraints: 16825
436.66/437.86 c #Conflicts: 579000 | #Constraints: 17825
436.66/437.86 c #Conflicts: 580000 | #Constraints: 18825
436.66/437.86 c #Conflicts: 581000 | #Constraints: 19825
436.66/437.86 c #Conflicts: 582000 | #Constraints: 20825
436.66/437.86 c #Conflicts: 583000 | #Constraints: 21825
436.66/437.86 c #Conflicts: 584000 | #Constraints: 22825
436.66/437.86 c #Conflicts: 585000 | #Constraints: 23825
436.66/437.86 c #Conflicts: 586000 | #Constraints: 24825
436.66/437.86 c #Conflicts: 587000 | #Constraints: 25825
436.66/437.86 c #Conflicts: 588000 | #Constraints: 26825
436.66/437.86 c #Conflicts: 589000 | #Constraints: 27825
436.66/437.86 c #Conflicts: 590000 | #Constraints: 28825
436.66/437.86 c #Conflicts: 591000 | #Constraints: 29825
436.66/437.86 c INPROCESSING
436.66/437.86 c GARBAGE COLLECT
436.66/437.86 c #Conflicts: 592000 | #Constraints: 15624
436.66/437.86 c #Conflicts: 593000 | #Constraints: 16624
436.66/437.86 c #Conflicts: 594000 | #Constraints: 17624
436.66/437.86 c #Conflicts: 595000 | #Constraints: 18624
436.66/437.86 c #Conflicts: 596000 | #Constraints: 19624
436.66/437.86 c #Conflicts: 597000 | #Constraints: 20624
436.66/437.86 c #Conflicts: 598000 | #Constraints: 21624
436.66/437.86 c #Conflicts: 599000 | #Constraints: 22624
436.66/437.86 c #Conflicts: 600000 | #Constraints: 23624
436.66/437.86 c #Conflicts: 601000 | #Constraints: 24624
436.66/437.86 c #Conflicts: 602000 | #Constraints: 25624
436.66/437.86 c #Conflicts: 603000 | #Constraints: 26624
436.66/437.86 c #Conflicts: 604000 | #Constraints: 27624
436.66/437.86 c #Conflicts: 605000 | #Constraints: 28624
436.66/437.86 c #Conflicts: 606000 | #Constraints: 29624
436.66/437.86 c #Conflicts: 607000 | #Constraints: 30624
436.66/437.86 c INPROCESSING
436.66/437.86 c GARBAGE COLLECT
436.66/437.86 c #Conflicts: 608000 | #Constraints: 16226
436.66/437.86 c #Conflicts: 609000 | #Constraints: 17226
436.66/437.86 c #Conflicts: 610000 | #Constraints: 18226
436.66/437.86 c #Conflicts: 611000 | #Constraints: 19226
436.66/437.86 c #Conflicts: 612000 | #Constraints: 20226
436.66/437.86 c #Conflicts: 613000 | #Constraints: 21226
436.66/437.86 c #Conflicts: 614000 | #Constraints: 22226
436.66/437.86 c #Conflicts: 615000 | #Constraints: 23226
436.66/437.86 c #Conflicts: 616000 | #Constraints: 24226
436.66/437.86 c #Conflicts: 617000 | #Constraints: 25226
436.66/437.86 c #Conflicts: 618000 | #Constraints: 26226
436.66/437.86 c #Conflicts: 619000 | #Constraints: 27226
436.66/437.86 c #Conflicts: 620000 | #Constraints: 28226
436.66/437.86 c #Conflicts: 621000 | #Constraints: 29226
436.66/437.86 c #Conflicts: 622000 | #Constraints: 30226
436.66/437.86 c #Conflicts: 623000 | #Constraints: 31226
516.37/517.74 c INPROCESSING
516.37/517.74 c GARBAGE COLLECT
516.37/517.74 c #Conflicts: 624000 | #Constraints: 16628
516.37/517.74 c #Conflicts: 625000 | #Constraints: 17628
516.37/517.74 c #Conflicts: 626000 | #Constraints: 18628
516.37/517.74 c #Conflicts: 627000 | #Constraints: 19628
516.37/517.74 c #Conflicts: 628000 | #Constraints: 20628
516.37/517.74 c #Conflicts: 629000 | #Constraints: 21628
516.37/517.74 c #Conflicts: 630000 | #Constraints: 22628
516.37/517.74 c #Conflicts: 631000 | #Constraints: 23628
516.37/517.74 c #Conflicts: 632000 | #Constraints: 24628
516.37/517.74 c #Conflicts: 633000 | #Constraints: 25628
516.37/517.74 c #Conflicts: 634000 | #Constraints: 26628
516.37/517.74 c #Conflicts: 635000 | #Constraints: 27628
516.37/517.74 c #Conflicts: 636000 | #Constraints: 28628
516.37/517.74 c #Conflicts: 637000 | #Constraints: 29628
516.37/517.74 c #Conflicts: 638000 | #Constraints: 30628
516.37/517.74 c #Conflicts: 639000 | #Constraints: 31628
516.37/517.74 c INPROCESSING
516.37/517.74 c GARBAGE COLLECT
516.37/517.74 c #Conflicts: 640000 | #Constraints: 16823
516.37/517.74 c #Conflicts: 641000 | #Constraints: 17823
516.37/517.74 c #Conflicts: 642000 | #Constraints: 18823
516.37/517.74 c #Conflicts: 643000 | #Constraints: 19823
516.37/517.74 c #Conflicts: 644000 | #Constraints: 20823
516.37/517.74 c #Conflicts: 645000 | #Constraints: 21823
516.37/517.74 c #Conflicts: 646000 | #Constraints: 22823
516.37/517.74 c #Conflicts: 647000 | #Constraints: 23823
516.37/517.74 c #Conflicts: 648000 | #Constraints: 24823
516.37/517.74 c #Conflicts: 649000 | #Constraints: 25823
516.37/517.74 c #Conflicts: 650000 | #Constraints: 26823
516.37/517.74 c #Conflicts: 651000 | #Constraints: 27823
516.37/517.74 c #Conflicts: 652000 | #Constraints: 28823
516.37/517.74 c #Conflicts: 653000 | #Constraints: 29823
516.37/517.74 c #Conflicts: 654000 | #Constraints: 30823
516.37/517.74 c #Conflicts: 655000 | #Constraints: 31823
516.37/517.74 c INPROCESSING
516.37/517.74 c GARBAGE COLLECT
516.37/517.74 c #Conflicts: 656000 | #Constraints: 16824
516.37/517.74 c #Conflicts: 657000 | #Constraints: 17824
516.37/517.74 c #Conflicts: 658000 | #Constraints: 18824
516.37/517.74 c #Conflicts: 659000 | #Constraints: 19824
516.37/517.74 c #Conflicts: 660000 | #Constraints: 20824
516.37/517.74 c #Conflicts: 661000 | #Constraints: 21824
516.37/517.74 c #Conflicts: 662000 | #Constraints: 22824
516.37/517.74 c #Conflicts: 663000 | #Constraints: 23824
516.37/517.74 c #Conflicts: 664000 | #Constraints: 24824
516.37/517.74 c #Conflicts: 665000 | #Constraints: 25824
516.37/517.74 c #Conflicts: 666000 | #Constraints: 26824
516.37/517.74 c #Conflicts: 667000 | #Constraints: 27824
516.37/517.74 c #Conflicts: 668000 | #Constraints: 28824
516.37/517.74 c #Conflicts: 669000 | #Constraints: 29824
516.37/517.74 c #Conflicts: 670000 | #Constraints: 30824
516.37/517.74 c #Conflicts: 671000 | #Constraints: 31824
516.37/517.74 c INPROCESSING
516.37/517.74 c GARBAGE COLLECT
516.37/517.74 c #Conflicts: 672000 | #Constraints: 16622
516.37/517.74 c #Conflicts: 673000 | #Constraints: 17622
516.37/517.74 c #Conflicts: 674000 | #Constraints: 18622
516.37/517.74 c #Conflicts: 675000 | #Constraints: 19622
516.37/517.74 c #Conflicts: 676000 | #Constraints: 20622
516.37/517.74 c #Conflicts: 677000 | #Constraints: 21622
516.37/517.74 c #Conflicts: 678000 | #Constraints: 22622
516.37/517.74 c #Conflicts: 679000 | #Constraints: 23622
516.37/517.74 c #Conflicts: 680000 | #Constraints: 24622
516.37/517.74 c #Conflicts: 681000 | #Constraints: 25622
516.37/517.74 c #Conflicts: 682000 | #Constraints: 26622
516.37/517.74 c #Conflicts: 683000 | #Constraints: 27622
516.37/517.74 c #Conflicts: 684000 | #Constraints: 28622
516.37/517.74 c #Conflicts: 685000 | #Constraints: 29622
516.37/517.74 c #Conflicts: 686000 | #Constraints: 30622
516.37/517.74 c #Conflicts: 687000 | #Constraints: 31622
516.37/517.74 c #Conflicts: 688000 | #Constraints: 32622
516.37/517.74 c INPROCESSING
516.37/517.74 c GARBAGE COLLECT
516.37/517.74 c #Conflicts: 689000 | #Constraints: 17221
516.37/517.74 c #Conflicts: 690000 | #Constraints: 18221
516.37/517.74 c #Conflicts: 691000 | #Constraints: 19221
516.37/517.74 c #Conflicts: 692000 | #Constraints: 20221
516.37/517.74 c #Conflicts: 693000 | #Constraints: 21221
516.37/517.74 c #Conflicts: 694000 | #Constraints: 22221
516.37/517.74 c #Conflicts: 695000 | #Constraints: 23221
516.37/517.74 c #Conflicts: 696000 | #Constraints: 24221
516.37/517.74 c #Conflicts: 697000 | #Constraints: 25221
516.37/517.74 c #Conflicts: 698000 | #Constraints: 26221
516.37/517.74 c #Conflicts: 699000 | #Constraints: 27221
597.61/599.19 c #Conflicts: 700000 | #Constraints: 28221
597.61/599.19 c #Conflicts: 701000 | #Constraints: 29221
597.61/599.19 c #Conflicts: 702000 | #Constraints: 30221
597.61/599.19 c #Conflicts: 703000 | #Constraints: 31221
597.61/599.19 c #Conflicts: 704000 | #Constraints: 32221
597.61/599.19 c #Conflicts: 705000 | #Constraints: 33221
597.61/599.19 c INPROCESSING
597.61/599.19 c GARBAGE COLLECT
597.61/599.19 c #Conflicts: 706000 | #Constraints: 17622
597.61/599.19 c #Conflicts: 707000 | #Constraints: 18622
597.61/599.19 c #Conflicts: 708000 | #Constraints: 19622
597.61/599.19 c #Conflicts: 709000 | #Constraints: 20622
597.61/599.19 c #Conflicts: 710000 | #Constraints: 21622
597.61/599.19 c #Conflicts: 711000 | #Constraints: 22622
597.61/599.19 c #Conflicts: 712000 | #Constraints: 23622
597.61/599.19 c #Conflicts: 713000 | #Constraints: 24622
597.61/599.19 c #Conflicts: 714000 | #Constraints: 25622
597.61/599.19 c #Conflicts: 715000 | #Constraints: 26622
597.61/599.19 c #Conflicts: 716000 | #Constraints: 27622
597.61/599.19 c #Conflicts: 717000 | #Constraints: 28622
597.61/599.19 c #Conflicts: 718000 | #Constraints: 29622
597.61/599.19 c #Conflicts: 719000 | #Constraints: 30622
597.61/599.19 c #Conflicts: 720000 | #Constraints: 31622
597.61/599.19 c #Conflicts: 721000 | #Constraints: 32622
597.61/599.19 c #Conflicts: 722000 | #Constraints: 33622
597.61/599.19 c INPROCESSING
597.61/599.19 c GARBAGE COLLECT
597.61/599.19 c #Conflicts: 723000 | #Constraints: 17824
597.61/599.19 c #Conflicts: 724000 | #Constraints: 18824
597.61/599.19 c #Conflicts: 725000 | #Constraints: 19824
597.61/599.19 c #Conflicts: 726000 | #Constraints: 20824
597.61/599.19 c #Conflicts: 727000 | #Constraints: 21824
597.61/599.19 c #Conflicts: 728000 | #Constraints: 22824
597.61/599.19 c #Conflicts: 729000 | #Constraints: 23824
597.61/599.19 c #Conflicts: 730000 | #Constraints: 24824
597.61/599.19 c #Conflicts: 731000 | #Constraints: 25824
597.61/599.19 c #Conflicts: 732000 | #Constraints: 26824
597.61/599.19 c #Conflicts: 733000 | #Constraints: 27824
597.61/599.19 c #Conflicts: 734000 | #Constraints: 28824
597.61/599.19 c #Conflicts: 735000 | #Constraints: 29824
597.61/599.19 c #Conflicts: 736000 | #Constraints: 30824
597.61/599.19 c #Conflicts: 737000 | #Constraints: 31824
597.61/599.19 c #Conflicts: 738000 | #Constraints: 32824
597.61/599.19 c #Conflicts: 739000 | #Constraints: 33824
597.61/599.19 c INPROCESSING
597.61/599.19 c GARBAGE COLLECT
597.61/599.19 c #Conflicts: 740000 | #Constraints: 17825
597.61/599.19 c #Conflicts: 741000 | #Constraints: 18825
597.61/599.19 c #Conflicts: 742000 | #Constraints: 19825
597.61/599.19 c #Conflicts: 743000 | #Constraints: 20825
597.61/599.19 c #Conflicts: 744000 | #Constraints: 21825
597.61/599.19 c #Conflicts: 745000 | #Constraints: 22825
597.61/599.19 c #Conflicts: 746000 | #Constraints: 23825
597.61/599.19 c #Conflicts: 747000 | #Constraints: 24825
597.61/599.19 c #Conflicts: 748000 | #Constraints: 25825
597.61/599.19 c #Conflicts: 749000 | #Constraints: 26825
597.61/599.19 c #Conflicts: 750000 | #Constraints: 27825
597.61/599.19 c #Conflicts: 751000 | #Constraints: 28825
597.61/599.19 c #Conflicts: 752000 | #Constraints: 29825
597.61/599.19 c #Conflicts: 753000 | #Constraints: 30825
597.61/599.19 c #Conflicts: 754000 | #Constraints: 31825
597.61/599.19 c #Conflicts: 755000 | #Constraints: 32825
597.61/599.19 c #Conflicts: 756000 | #Constraints: 33825
597.61/599.19 c INPROCESSING
597.61/599.19 c GARBAGE COLLECT
597.61/599.19 c #Conflicts: 757000 | #Constraints: 17625
597.61/599.19 c #Conflicts: 758000 | #Constraints: 18625
597.61/599.19 c #Conflicts: 759000 | #Constraints: 19625
597.61/599.19 c #Conflicts: 760000 | #Constraints: 20625
597.61/599.19 c #Conflicts: 761000 | #Constraints: 21625
597.61/599.19 c #Conflicts: 762000 | #Constraints: 22625
597.61/599.19 c #Conflicts: 763000 | #Constraints: 23625
597.61/599.19 c #Conflicts: 764000 | #Constraints: 24625
597.61/599.19 c #Conflicts: 765000 | #Constraints: 25625
597.61/599.19 c #Conflicts: 766000 | #Constraints: 26625
597.61/599.19 c #Conflicts: 767000 | #Constraints: 27625
597.61/599.19 c #Conflicts: 768000 | #Constraints: 28625
597.61/599.19 c #Conflicts: 769000 | #Constraints: 29625
597.61/599.19 c #Conflicts: 770000 | #Constraints: 30625
597.61/599.19 c #Conflicts: 771000 | #Constraints: 31625
597.61/599.19 c #Conflicts: 772000 | #Constraints: 32625
597.61/599.19 c #Conflicts: 773000 | #Constraints: 33625
597.61/599.19 c #Conflicts: 774000 | #Constraints: 34625
597.61/599.19 c INPROCESSING
597.61/599.19 c GARBAGE COLLECT
684.90/686.67 c #Conflicts: 775000 | #Constraints: 18220
684.90/686.67 c #Conflicts: 776000 | #Constraints: 19220
684.90/686.67 c #Conflicts: 777000 | #Constraints: 20220
684.90/686.67 c #Conflicts: 778000 | #Constraints: 21220
684.90/686.67 c #Conflicts: 779000 | #Constraints: 22220
684.90/686.67 c #Conflicts: 780000 | #Constraints: 23220
684.90/686.67 c #Conflicts: 781000 | #Constraints: 24220
684.90/686.67 c #Conflicts: 782000 | #Constraints: 25220
684.90/686.67 c #Conflicts: 783000 | #Constraints: 26220
684.90/686.67 c #Conflicts: 784000 | #Constraints: 27220
684.90/686.67 c #Conflicts: 785000 | #Constraints: 28220
684.90/686.67 c #Conflicts: 786000 | #Constraints: 29220
684.90/686.67 c #Conflicts: 787000 | #Constraints: 30220
684.90/686.67 c #Conflicts: 788000 | #Constraints: 31220
684.90/686.67 c #Conflicts: 789000 | #Constraints: 32220
684.90/686.67 c #Conflicts: 790000 | #Constraints: 33220
684.90/686.67 c #Conflicts: 791000 | #Constraints: 34220
684.90/686.67 c #Conflicts: 792000 | #Constraints: 35220
684.90/686.67 c INPROCESSING
684.90/686.67 c GARBAGE COLLECT
684.90/686.67 c #Conflicts: 793000 | #Constraints: 18623
684.90/686.67 c #Conflicts: 794000 | #Constraints: 19623
684.90/686.67 c #Conflicts: 795000 | #Constraints: 20623
684.90/686.67 c #Conflicts: 796000 | #Constraints: 21623
684.90/686.67 c #Conflicts: 797000 | #Constraints: 22623
684.90/686.67 c #Conflicts: 798000 | #Constraints: 23623
684.90/686.67 c #Conflicts: 799000 | #Constraints: 24623
684.90/686.67 c #Conflicts: 800000 | #Constraints: 25623
684.90/686.67 c #Conflicts: 801000 | #Constraints: 26623
684.90/686.67 c #Conflicts: 802000 | #Constraints: 27623
684.90/686.67 c #Conflicts: 803000 | #Constraints: 28623
684.90/686.67 c #Conflicts: 804000 | #Constraints: 29623
684.90/686.67 c #Conflicts: 805000 | #Constraints: 30623
684.90/686.67 c #Conflicts: 806000 | #Constraints: 31623
684.90/686.67 c #Conflicts: 807000 | #Constraints: 32623
684.90/686.67 c #Conflicts: 808000 | #Constraints: 33623
684.90/686.67 c #Conflicts: 809000 | #Constraints: 34623
684.90/686.67 c #Conflicts: 810000 | #Constraints: 35623
684.90/686.67 c INPROCESSING
684.90/686.67 c GARBAGE COLLECT
684.90/686.67 c #Conflicts: 811000 | #Constraints: 18823
684.90/686.67 c #Conflicts: 812000 | #Constraints: 19823
684.90/686.67 c #Conflicts: 813000 | #Constraints: 20823
684.90/686.67 c #Conflicts: 814000 | #Constraints: 21823
684.90/686.67 c #Conflicts: 815000 | #Constraints: 22823
684.90/686.67 c #Conflicts: 816000 | #Constraints: 23823
684.90/686.67 c #Conflicts: 817000 | #Constraints: 24823
684.90/686.67 c #Conflicts: 818000 | #Constraints: 25823
684.90/686.67 c #Conflicts: 819000 | #Constraints: 26823
684.90/686.67 c #Conflicts: 820000 | #Constraints: 27823
684.90/686.67 c #Conflicts: 821000 | #Constraints: 28823
684.90/686.67 c #Conflicts: 822000 | #Constraints: 29823
684.90/686.67 c #Conflicts: 823000 | #Constraints: 30823
684.90/686.67 c #Conflicts: 824000 | #Constraints: 31823
684.90/686.67 c #Conflicts: 825000 | #Constraints: 32823
684.90/686.67 c #Conflicts: 826000 | #Constraints: 33823
684.90/686.67 c #Conflicts: 827000 | #Constraints: 34823
684.90/686.67 c #Conflicts: 828000 | #Constraints: 35823
684.90/686.67 c INPROCESSING
684.90/686.67 c GARBAGE COLLECT
684.90/686.67 c #Conflicts: 829000 | #Constraints: 18825
684.90/686.67 c #Conflicts: 830000 | #Constraints: 19825
684.90/686.67 c #Conflicts: 831000 | #Constraints: 20825
684.90/686.67 c #Conflicts: 832000 | #Constraints: 21825
684.90/686.67 c #Conflicts: 833000 | #Constraints: 22825
684.90/686.67 c #Conflicts: 834000 | #Constraints: 23825
684.90/686.67 c #Conflicts: 835000 | #Constraints: 24825
684.90/686.67 c #Conflicts: 836000 | #Constraints: 25825
684.90/686.67 c #Conflicts: 837000 | #Constraints: 26825
684.90/686.67 c #Conflicts: 838000 | #Constraints: 27825
684.90/686.67 c #Conflicts: 839000 | #Constraints: 28825
684.90/686.67 c #Conflicts: 840000 | #Constraints: 29825
684.90/686.67 c #Conflicts: 841000 | #Constraints: 30825
684.90/686.67 c #Conflicts: 842000 | #Constraints: 31825
684.90/686.67 c #Conflicts: 843000 | #Constraints: 32825
684.90/686.67 c #Conflicts: 844000 | #Constraints: 33825
684.90/686.67 c #Conflicts: 845000 | #Constraints: 34825
684.90/686.67 c #Conflicts: 846000 | #Constraints: 35825
684.90/686.67 c INPROCESSING
684.90/686.67 c GARBAGE COLLECT
684.90/686.67 c #Conflicts: 847000 | #Constraints: 18622
684.90/686.67 c #Conflicts: 848000 | #Constraints: 19622
684.90/686.67 c #Conflicts: 849000 | #Constraints: 20622
684.90/686.67 c #Conflicts: 850000 | #Constraints: 21622
684.90/686.67 c #Conflicts: 851000 | #Constraints: 22622
772.79/774.78 c #Conflicts: 852000 | #Constraints: 23622
772.79/774.78 c #Conflicts: 853000 | #Constraints: 24622
772.79/774.78 c #Conflicts: 854000 | #Constraints: 25622
772.79/774.78 c #Conflicts: 855000 | #Constraints: 26622
772.79/774.78 c #Conflicts: 856000 | #Constraints: 27622
772.79/774.78 c #Conflicts: 857000 | #Constraints: 28622
772.79/774.78 c #Conflicts: 858000 | #Constraints: 29622
772.79/774.78 c #Conflicts: 859000 | #Constraints: 30622
772.79/774.78 c #Conflicts: 860000 | #Constraints: 31622
772.79/774.78 c #Conflicts: 861000 | #Constraints: 32622
772.79/774.78 c #Conflicts: 862000 | #Constraints: 33622
772.79/774.78 c #Conflicts: 863000 | #Constraints: 34622
772.79/774.78 c #Conflicts: 864000 | #Constraints: 35622
772.79/774.78 c #Conflicts: 865000 | #Constraints: 36622
772.79/774.78 c INPROCESSING
772.79/774.78 c GARBAGE COLLECT
772.79/774.78 c #Conflicts: 866000 | #Constraints: 19221
772.79/774.78 c #Conflicts: 867000 | #Constraints: 20221
772.79/774.78 c #Conflicts: 868000 | #Constraints: 21221
772.79/774.78 c #Conflicts: 869000 | #Constraints: 22221
772.79/774.78 c #Conflicts: 870000 | #Constraints: 23221
772.79/774.78 c #Conflicts: 871000 | #Constraints: 24221
772.79/774.78 c #Conflicts: 872000 | #Constraints: 25221
772.79/774.78 c #Conflicts: 873000 | #Constraints: 26221
772.79/774.78 c #Conflicts: 874000 | #Constraints: 27221
772.79/774.78 c #Conflicts: 875000 | #Constraints: 28221
772.79/774.78 c #Conflicts: 876000 | #Constraints: 29221
772.79/774.78 c #Conflicts: 877000 | #Constraints: 30221
772.79/774.78 c #Conflicts: 878000 | #Constraints: 31221
772.79/774.78 c #Conflicts: 879000 | #Constraints: 32221
772.79/774.78 c #Conflicts: 880000 | #Constraints: 33221
772.79/774.78 c #Conflicts: 881000 | #Constraints: 34221
772.79/774.78 c #Conflicts: 882000 | #Constraints: 35221
772.79/774.78 c #Conflicts: 883000 | #Constraints: 36221
772.79/774.78 c #Conflicts: 884000 | #Constraints: 37221
772.79/774.78 c INPROCESSING
772.79/774.78 c GARBAGE COLLECT
772.79/774.78 c #Conflicts: 885000 | #Constraints: 19623
772.79/774.78 c #Conflicts: 886000 | #Constraints: 20623
772.79/774.78 c #Conflicts: 887000 | #Constraints: 21623
772.79/774.78 c #Conflicts: 888000 | #Constraints: 22623
772.79/774.78 c #Conflicts: 889000 | #Constraints: 23623
772.79/774.78 c #Conflicts: 890000 | #Constraints: 24623
772.79/774.78 c #Conflicts: 891000 | #Constraints: 25623
772.79/774.78 c #Conflicts: 892000 | #Constraints: 26623
772.79/774.78 c #Conflicts: 893000 | #Constraints: 27623
772.79/774.78 c #Conflicts: 894000 | #Constraints: 28623
772.79/774.78 c #Conflicts: 895000 | #Constraints: 29623
772.79/774.78 c #Conflicts: 896000 | #Constraints: 30623
772.79/774.78 c #Conflicts: 897000 | #Constraints: 31623
772.79/774.78 c #Conflicts: 898000 | #Constraints: 32623
772.79/774.78 c #Conflicts: 899000 | #Constraints: 33623
772.79/774.78 c #Conflicts: 900000 | #Constraints: 34623
772.79/774.78 c #Conflicts: 901000 | #Constraints: 35623
772.79/774.78 c #Conflicts: 902000 | #Constraints: 36623
772.79/774.78 c #Conflicts: 903000 | #Constraints: 37623
772.79/774.78 c INPROCESSING
772.79/774.78 c GARBAGE COLLECT
772.79/774.78 c #Conflicts: 904000 | #Constraints: 19820
772.79/774.78 c #Conflicts: 905000 | #Constraints: 20820
772.79/774.78 c #Conflicts: 906000 | #Constraints: 21820
772.79/774.78 c #Conflicts: 907000 | #Constraints: 22820
772.79/774.78 c #Conflicts: 908000 | #Constraints: 23820
772.79/774.78 c #Conflicts: 909000 | #Constraints: 24820
772.79/774.78 c #Conflicts: 910000 | #Constraints: 25820
772.79/774.78 c #Conflicts: 911000 | #Constraints: 26820
772.79/774.78 c #Conflicts: 912000 | #Constraints: 27820
772.79/774.78 c #Conflicts: 913000 | #Constraints: 28820
772.79/774.78 c #Conflicts: 914000 | #Constraints: 29820
772.79/774.78 c #Conflicts: 915000 | #Constraints: 30820
772.79/774.78 c #Conflicts: 916000 | #Constraints: 31820
772.79/774.78 c #Conflicts: 917000 | #Constraints: 32820
772.79/774.78 c #Conflicts: 918000 | #Constraints: 33820
772.79/774.78 c #Conflicts: 919000 | #Constraints: 34820
772.79/774.78 c #Conflicts: 920000 | #Constraints: 35820
772.79/774.78 c #Conflicts: 921000 | #Constraints: 36820
772.79/774.78 c #Conflicts: 922000 | #Constraints: 37820
772.79/774.78 c INPROCESSING
772.79/774.78 c GARBAGE COLLECT
772.79/774.78 c #Conflicts: 923000 | #Constraints: 19817
772.79/774.78 c #Conflicts: 924000 | #Constraints: 20817
772.79/774.78 c #Conflicts: 925000 | #Constraints: 21817
772.79/774.78 c #Conflicts: 926000 | #Constraints: 22817
772.79/774.78 c #Conflicts: 927000 | #Constraints: 23817
868.77/870.96 c #Conflicts: 928000 | #Constraints: 24817
868.77/870.96 c #Conflicts: 929000 | #Constraints: 25817
868.77/870.96 c #Conflicts: 930000 | #Constraints: 26817
868.77/870.96 c #Conflicts: 931000 | #Constraints: 27817
868.77/870.96 c #Conflicts: 932000 | #Constraints: 28817
868.77/870.96 c #Conflicts: 933000 | #Constraints: 29817
868.77/870.96 c #Conflicts: 934000 | #Constraints: 30817
868.77/870.96 c #Conflicts: 935000 | #Constraints: 31817
868.77/870.96 c #Conflicts: 936000 | #Constraints: 32817
868.77/870.96 c #Conflicts: 937000 | #Constraints: 33817
868.77/870.96 c #Conflicts: 938000 | #Constraints: 34817
868.77/870.96 c #Conflicts: 939000 | #Constraints: 35817
868.77/870.96 c #Conflicts: 940000 | #Constraints: 36817
868.77/870.96 c #Conflicts: 941000 | #Constraints: 37817
868.77/870.96 c INPROCESSING
868.77/870.96 c GARBAGE COLLECT
868.77/870.96 c #Conflicts: 942000 | #Constraints: 19623
868.77/870.96 c #Conflicts: 943000 | #Constraints: 20623
868.77/870.96 c #Conflicts: 944000 | #Constraints: 21623
868.77/870.96 c #Conflicts: 945000 | #Constraints: 22623
868.77/870.96 c #Conflicts: 946000 | #Constraints: 23623
868.77/870.96 c #Conflicts: 947000 | #Constraints: 24623
868.77/870.96 c #Conflicts: 948000 | #Constraints: 25623
868.77/870.96 c #Conflicts: 949000 | #Constraints: 26623
868.77/870.96 c #Conflicts: 950000 | #Constraints: 27623
868.77/870.96 c #Conflicts: 951000 | #Constraints: 28623
868.77/870.96 c #Conflicts: 952000 | #Constraints: 29623
868.77/870.96 c #Conflicts: 953000 | #Constraints: 30623
868.77/870.96 c #Conflicts: 954000 | #Constraints: 31623
868.77/870.96 c #Conflicts: 955000 | #Constraints: 32623
868.77/870.96 c #Conflicts: 956000 | #Constraints: 33623
868.77/870.96 c #Conflicts: 957000 | #Constraints: 34623
868.77/870.96 c #Conflicts: 958000 | #Constraints: 35623
868.77/870.96 c #Conflicts: 959000 | #Constraints: 36623
868.77/870.96 c #Conflicts: 960000 | #Constraints: 37623
868.77/870.96 c #Conflicts: 961000 | #Constraints: 38623
868.77/870.96 c INPROCESSING
868.77/870.96 c GARBAGE COLLECT
868.77/870.96 c #Conflicts: 962000 | #Constraints: 20226
868.77/870.96 c #Conflicts: 963000 | #Constraints: 21226
868.77/870.96 c #Conflicts: 964000 | #Constraints: 22226
868.77/870.96 c #Conflicts: 965000 | #Constraints: 23226
868.77/870.96 c #Conflicts: 966000 | #Constraints: 24226
868.77/870.96 c #Conflicts: 967000 | #Constraints: 25226
868.77/870.96 c #Conflicts: 968000 | #Constraints: 26226
868.77/870.96 c #Conflicts: 969000 | #Constraints: 27226
868.77/870.96 c #Conflicts: 970000 | #Constraints: 28226
868.77/870.96 c #Conflicts: 971000 | #Constraints: 29226
868.77/870.96 c #Conflicts: 972000 | #Constraints: 30226
868.77/870.96 c #Conflicts: 973000 | #Constraints: 31226
868.77/870.96 c #Conflicts: 974000 | #Constraints: 32226
868.77/870.96 c #Conflicts: 975000 | #Constraints: 33226
868.77/870.96 c #Conflicts: 976000 | #Constraints: 34226
868.77/870.96 c #Conflicts: 977000 | #Constraints: 35226
868.77/870.96 c #Conflicts: 978000 | #Constraints: 36226
868.77/870.96 c #Conflicts: 979000 | #Constraints: 37226
868.77/870.96 c #Conflicts: 980000 | #Constraints: 38226
868.77/870.96 c #Conflicts: 981000 | #Constraints: 39226
868.77/870.96 c INPROCESSING
868.77/870.96 c GARBAGE COLLECT
868.77/870.96 c #Conflicts: 982000 | #Constraints: 20625
868.77/870.96 c #Conflicts: 983000 | #Constraints: 21625
868.77/870.96 c #Conflicts: 984000 | #Constraints: 22625
868.77/870.96 c #Conflicts: 985000 | #Constraints: 23625
868.77/870.96 c #Conflicts: 986000 | #Constraints: 24625
868.77/870.96 c #Conflicts: 987000 | #Constraints: 25625
868.77/870.96 c #Conflicts: 988000 | #Constraints: 26625
868.77/870.96 c #Conflicts: 989000 | #Constraints: 27625
868.77/870.96 c #Conflicts: 990000 | #Constraints: 28625
868.77/870.96 c #Conflicts: 991000 | #Constraints: 29625
868.77/870.96 c #Conflicts: 992000 | #Constraints: 30625
868.77/870.96 c #Conflicts: 993000 | #Constraints: 31625
868.77/870.96 c #Conflicts: 994000 | #Constraints: 32625
868.77/870.96 c #Conflicts: 995000 | #Constraints: 33625
868.77/870.96 c #Conflicts: 996000 | #Constraints: 34625
868.77/870.96 c #Conflicts: 997000 | #Constraints: 35625
868.77/870.96 c #Conflicts: 998000 | #Constraints: 36625
868.77/870.96 c #Conflicts: 999000 | #Constraints: 37625
868.77/870.96 c #Conflicts: 1000000 | #Constraints: 38625
868.77/870.96 c #Conflicts: 1001000 | #Constraints: 39625
868.77/870.96 c INPROCESSING
868.77/870.96 c GARBAGE COLLECT
868.77/870.96 c #Conflicts: 1002000 | #Constraints: 20827
868.77/870.96 c #Conflicts: 1003000 | #Constraints: 21827
973.23/975.61 c #Conflicts: 1004000 | #Constraints: 22827
973.23/975.61 c #Conflicts: 1005000 | #Constraints: 23827
973.23/975.61 c #Conflicts: 1006000 | #Constraints: 24827
973.23/975.61 c #Conflicts: 1007000 | #Constraints: 25827
973.23/975.61 c #Conflicts: 1008000 | #Constraints: 26827
973.23/975.61 c #Conflicts: 1009000 | #Constraints: 27827
973.23/975.61 c #Conflicts: 1010000 | #Constraints: 28827
973.23/975.61 c #Conflicts: 1011000 | #Constraints: 29827
973.23/975.61 c #Conflicts: 1012000 | #Constraints: 30827
973.23/975.61 c #Conflicts: 1013000 | #Constraints: 31827
973.23/975.61 c #Conflicts: 1014000 | #Constraints: 32827
973.23/975.61 c #Conflicts: 1015000 | #Constraints: 33827
973.23/975.61 c #Conflicts: 1016000 | #Constraints: 34827
973.23/975.61 c #Conflicts: 1017000 | #Constraints: 35827
973.23/975.61 c #Conflicts: 1018000 | #Constraints: 36827
973.23/975.61 c #Conflicts: 1019000 | #Constraints: 37827
973.23/975.61 c #Conflicts: 1020000 | #Constraints: 38827
973.23/975.61 c #Conflicts: 1021000 | #Constraints: 39827
973.23/975.61 c INPROCESSING
973.23/975.61 c GARBAGE COLLECT
973.23/975.61 c #Conflicts: 1022000 | #Constraints: 20827
973.23/975.62 c #Conflicts: 1023000 | #Constraints: 21827
973.23/975.62 c #Conflicts: 1024000 | #Constraints: 22827
973.23/975.62 c #Conflicts: 1025000 | #Constraints: 23827
973.23/975.62 c #Conflicts: 1026000 | #Constraints: 24827
973.23/975.62 c #Conflicts: 1027000 | #Constraints: 25827
973.23/975.62 c #Conflicts: 1028000 | #Constraints: 26827
973.23/975.62 c #Conflicts: 1029000 | #Constraints: 27827
973.23/975.62 c #Conflicts: 1030000 | #Constraints: 28827
973.23/975.62 c #Conflicts: 1031000 | #Constraints: 29827
973.23/975.62 c #Conflicts: 1032000 | #Constraints: 30827
973.23/975.62 c #Conflicts: 1033000 | #Constraints: 31827
973.23/975.62 c #Conflicts: 1034000 | #Constraints: 32827
973.23/975.62 c #Conflicts: 1035000 | #Constraints: 33827
973.23/975.62 c #Conflicts: 1036000 | #Constraints: 34827
973.23/975.62 c #Conflicts: 1037000 | #Constraints: 35827
973.23/975.62 c #Conflicts: 1038000 | #Constraints: 36827
973.23/975.62 c #Conflicts: 1039000 | #Constraints: 37827
973.23/975.62 c #Conflicts: 1040000 | #Constraints: 38827
973.23/975.62 c #Conflicts: 1041000 | #Constraints: 39827
973.23/975.62 c INPROCESSING
973.23/975.62 c GARBAGE COLLECT
973.23/975.62 c #Conflicts: 1042000 | #Constraints: 20628
973.23/975.62 c #Conflicts: 1043000 | #Constraints: 21628
973.23/975.62 c #Conflicts: 1044000 | #Constraints: 22628
973.23/975.62 c #Conflicts: 1045000 | #Constraints: 23628
973.23/975.62 c #Conflicts: 1046000 | #Constraints: 24628
973.23/975.62 c #Conflicts: 1047000 | #Constraints: 25628
973.23/975.62 c #Conflicts: 1048000 | #Constraints: 26628
973.23/975.62 c #Conflicts: 1049000 | #Constraints: 27628
973.23/975.62 c #Conflicts: 1050000 | #Constraints: 28628
973.23/975.62 c #Conflicts: 1051000 | #Constraints: 29628
973.23/975.62 c #Conflicts: 1052000 | #Constraints: 30628
973.23/975.62 c #Conflicts: 1053000 | #Constraints: 31628
973.23/975.62 c #Conflicts: 1054000 | #Constraints: 32628
973.23/975.62 c #Conflicts: 1055000 | #Constraints: 33628
973.23/975.62 c #Conflicts: 1056000 | #Constraints: 34628
973.23/975.62 c #Conflicts: 1057000 | #Constraints: 35628
973.23/975.62 c #Conflicts: 1058000 | #Constraints: 36628
973.23/975.62 c #Conflicts: 1059000 | #Constraints: 37628
973.23/975.62 c #Conflicts: 1060000 | #Constraints: 38628
973.23/975.62 c #Conflicts: 1061000 | #Constraints: 39628
973.23/975.62 c #Conflicts: 1062000 | #Constraints: 40628
973.23/975.62 c INPROCESSING
973.23/975.62 c GARBAGE COLLECT
973.23/975.62 c #Conflicts: 1063000 | #Constraints: 21226
973.23/975.62 c #Conflicts: 1064000 | #Constraints: 22226
973.23/975.62 c #Conflicts: 1065000 | #Constraints: 23226
973.23/975.62 c #Conflicts: 1066000 | #Constraints: 24226
973.23/975.62 c #Conflicts: 1067000 | #Constraints: 25226
973.23/975.62 c #Conflicts: 1068000 | #Constraints: 26226
973.23/975.62 c #Conflicts: 1069000 | #Constraints: 27226
973.23/975.62 c #Conflicts: 1070000 | #Constraints: 28226
973.23/975.62 c #Conflicts: 1071000 | #Constraints: 29226
973.23/975.62 c #Conflicts: 1072000 | #Constraints: 30226
973.23/975.62 c #Conflicts: 1073000 | #Constraints: 31226
973.23/975.62 c #Conflicts: 1074000 | #Constraints: 32226
973.23/975.62 c #Conflicts: 1075000 | #Constraints: 33226
973.23/975.62 c #Conflicts: 1076000 | #Constraints: 34226
973.23/975.62 c #Conflicts: 1077000 | #Constraints: 35226
973.23/975.62 c #Conflicts: 1078000 | #Constraints: 36226
973.23/975.62 c #Conflicts: 1079000 | #Constraints: 37226
973.23/975.62 c #Conflicts: 1080000 | #Constraints: 38226
1079.19/1081.81 c #Conflicts: 1081000 | #Constraints: 39226
1079.19/1081.81 c #Conflicts: 1082000 | #Constraints: 40226
1079.19/1081.81 c #Conflicts: 1083000 | #Constraints: 41226
1079.19/1081.81 c INPROCESSING
1079.19/1081.81 c GARBAGE COLLECT
1079.19/1081.81 c #Conflicts: 1084000 | #Constraints: 21625
1079.19/1081.81 c #Conflicts: 1085000 | #Constraints: 22625
1079.19/1081.81 c #Conflicts: 1086000 | #Constraints: 23625
1079.19/1081.81 c #Conflicts: 1087000 | #Constraints: 24625
1079.19/1081.81 c #Conflicts: 1088000 | #Constraints: 25625
1079.19/1081.81 c #Conflicts: 1089000 | #Constraints: 26625
1079.19/1081.81 c #Conflicts: 1090000 | #Constraints: 27625
1079.19/1081.81 c #Conflicts: 1091000 | #Constraints: 28625
1079.19/1081.81 c #Conflicts: 1092000 | #Constraints: 29625
1079.19/1081.81 c #Conflicts: 1093000 | #Constraints: 30625
1079.19/1081.81 c #Conflicts: 1094000 | #Constraints: 31625
1079.19/1081.81 c #Conflicts: 1095000 | #Constraints: 32625
1079.19/1081.81 c #Conflicts: 1096000 | #Constraints: 33625
1079.19/1081.81 c #Conflicts: 1097000 | #Constraints: 34625
1079.19/1081.81 c #Conflicts: 1098000 | #Constraints: 35625
1079.19/1081.81 c #Conflicts: 1099000 | #Constraints: 36625
1079.19/1081.81 c #Conflicts: 1100000 | #Constraints: 37625
1079.19/1081.81 c #Conflicts: 1101000 | #Constraints: 38625
1079.19/1081.81 c #Conflicts: 1102000 | #Constraints: 39625
1079.19/1081.81 c #Conflicts: 1103000 | #Constraints: 40625
1079.19/1081.81 c #Conflicts: 1104000 | #Constraints: 41625
1079.19/1081.81 c INPROCESSING
1079.19/1081.81 c GARBAGE COLLECT
1079.19/1081.81 c #Conflicts: 1105000 | #Constraints: 21824
1079.19/1081.81 c #Conflicts: 1106000 | #Constraints: 22824
1079.19/1081.81 c #Conflicts: 1107000 | #Constraints: 23824
1079.19/1081.81 c #Conflicts: 1108000 | #Constraints: 24824
1079.19/1081.81 c #Conflicts: 1109000 | #Constraints: 25824
1079.19/1081.81 c #Conflicts: 1110000 | #Constraints: 26824
1079.19/1081.81 c #Conflicts: 1111000 | #Constraints: 27824
1079.19/1081.81 c #Conflicts: 1112000 | #Constraints: 28824
1079.19/1081.81 c #Conflicts: 1113000 | #Constraints: 29824
1079.19/1081.81 c #Conflicts: 1114000 | #Constraints: 30824
1079.19/1081.81 c #Conflicts: 1115000 | #Constraints: 31824
1079.19/1081.81 c #Conflicts: 1116000 | #Constraints: 32824
1079.19/1081.81 c #Conflicts: 1117000 | #Constraints: 33824
1079.19/1081.81 c #Conflicts: 1118000 | #Constraints: 34824
1079.19/1081.81 c #Conflicts: 1119000 | #Constraints: 35824
1079.19/1081.81 c #Conflicts: 1120000 | #Constraints: 36824
1079.19/1081.81 c #Conflicts: 1121000 | #Constraints: 37824
1079.19/1081.81 c #Conflicts: 1122000 | #Constraints: 38824
1079.19/1081.81 c #Conflicts: 1123000 | #Constraints: 39824
1079.19/1081.81 c #Conflicts: 1124000 | #Constraints: 40824
1079.19/1081.81 c #Conflicts: 1125000 | #Constraints: 41824
1079.19/1081.81 c INPROCESSING
1079.19/1081.81 c GARBAGE COLLECT
1079.19/1081.81 c #Conflicts: 1126000 | #Constraints: 21828
1079.19/1081.81 c #Conflicts: 1127000 | #Constraints: 22828
1079.19/1081.81 c #Conflicts: 1128000 | #Constraints: 23828
1079.19/1081.81 c #Conflicts: 1129000 | #Constraints: 24828
1079.19/1081.81 c #Conflicts: 1130000 | #Constraints: 25828
1079.19/1081.81 c #Conflicts: 1131000 | #Constraints: 26828
1079.19/1081.81 c #Conflicts: 1132000 | #Constraints: 27828
1079.19/1081.81 c #Conflicts: 1133000 | #Constraints: 28828
1079.19/1081.81 c #Conflicts: 1134000 | #Constraints: 29828
1079.19/1081.81 c #Conflicts: 1135000 | #Constraints: 30828
1079.19/1081.81 c #Conflicts: 1136000 | #Constraints: 31828
1079.19/1081.81 c #Conflicts: 1137000 | #Constraints: 32828
1079.19/1081.81 c #Conflicts: 1138000 | #Constraints: 33828
1079.19/1081.81 c #Conflicts: 1139000 | #Constraints: 34828
1079.19/1081.81 c #Conflicts: 1140000 | #Constraints: 35828
1079.19/1081.81 c #Conflicts: 1141000 | #Constraints: 36828
1079.19/1081.81 c #Conflicts: 1142000 | #Constraints: 37828
1079.19/1081.81 c #Conflicts: 1143000 | #Constraints: 38828
1079.19/1081.81 c #Conflicts: 1144000 | #Constraints: 39828
1079.19/1081.81 c #Conflicts: 1145000 | #Constraints: 40828
1079.19/1081.81 c #Conflicts: 1146000 | #Constraints: 41828
1079.19/1081.81 c INPROCESSING
1079.19/1081.81 c GARBAGE COLLECT
1079.19/1081.81 c #Conflicts: 1147000 | #Constraints: 21626
1079.19/1081.81 c #Conflicts: 1148000 | #Constraints: 22626
1079.19/1081.81 c #Conflicts: 1149000 | #Constraints: 23626
1079.19/1081.81 c #Conflicts: 1150000 | #Constraints: 24626
1079.19/1081.81 c #Conflicts: 1151000 | #Constraints: 25626
1079.19/1081.81 c #Conflicts: 1152000 | #Constraints: 26626
1079.19/1081.81 c #Conflicts: 1153000 | #Constraints: 27626
1079.19/1081.81 c #Conflicts: 1154000 | #Constraints: 28626
1079.19/1081.81 c #Conflicts: 1155000 | #Constraints: 29626
1079.19/1081.81 c #Conflicts: 1156000 | #Constraints: 30626
1186.36/1189.20 c #Conflicts: 1157000 | #Constraints: 31626
1186.36/1189.20 c #Conflicts: 1158000 | #Constraints: 32626
1186.36/1189.20 c #Conflicts: 1159000 | #Constraints: 33626
1186.36/1189.20 c #Conflicts: 1160000 | #Constraints: 34626
1186.36/1189.20 c #Conflicts: 1161000 | #Constraints: 35626
1186.36/1189.20 c #Conflicts: 1162000 | #Constraints: 36626
1186.36/1189.20 c #Conflicts: 1163000 | #Constraints: 37626
1186.36/1189.20 c #Conflicts: 1164000 | #Constraints: 38626
1186.36/1189.20 c #Conflicts: 1165000 | #Constraints: 39626
1186.36/1189.20 c #Conflicts: 1166000 | #Constraints: 40626
1186.36/1189.20 c #Conflicts: 1167000 | #Constraints: 41626
1186.36/1189.20 c #Conflicts: 1168000 | #Constraints: 42626
1186.36/1189.20 c INPROCESSING
1186.36/1189.20 c GARBAGE COLLECT
1186.36/1189.20 c #Conflicts: 1169000 | #Constraints: 22225
1186.36/1189.20 c #Conflicts: 1170000 | #Constraints: 23225
1186.36/1189.20 c #Conflicts: 1171000 | #Constraints: 24225
1186.36/1189.20 c #Conflicts: 1172000 | #Constraints: 25225
1186.36/1189.20 c #Conflicts: 1173000 | #Constraints: 26225
1186.36/1189.20 c #Conflicts: 1174000 | #Constraints: 27225
1186.36/1189.20 c #Conflicts: 1175000 | #Constraints: 28225
1186.36/1189.20 c #Conflicts: 1176000 | #Constraints: 29225
1186.36/1189.20 c #Conflicts: 1177000 | #Constraints: 30225
1186.36/1189.20 c #Conflicts: 1178000 | #Constraints: 31225
1186.36/1189.20 c #Conflicts: 1179000 | #Constraints: 32225
1186.36/1189.20 c #Conflicts: 1180000 | #Constraints: 33225
1186.36/1189.20 c #Conflicts: 1181000 | #Constraints: 34225
1186.36/1189.20 c #Conflicts: 1182000 | #Constraints: 35225
1186.36/1189.20 c #Conflicts: 1183000 | #Constraints: 36225
1186.36/1189.20 c #Conflicts: 1184000 | #Constraints: 37225
1186.36/1189.20 c #Conflicts: 1185000 | #Constraints: 38225
1186.36/1189.20 c #Conflicts: 1186000 | #Constraints: 39225
1186.36/1189.20 c #Conflicts: 1187000 | #Constraints: 40225
1186.36/1189.20 c #Conflicts: 1188000 | #Constraints: 41225
1186.36/1189.20 c #Conflicts: 1189000 | #Constraints: 42225
1186.36/1189.20 c #Conflicts: 1190000 | #Constraints: 43225
1186.36/1189.20 c INPROCESSING
1186.36/1189.20 c GARBAGE COLLECT
1186.36/1189.20 c #Conflicts: 1191000 | #Constraints: 22625
1186.36/1189.20 c #Conflicts: 1192000 | #Constraints: 23625
1186.36/1189.20 c #Conflicts: 1193000 | #Constraints: 24625
1186.36/1189.20 c #Conflicts: 1194000 | #Constraints: 25625
1186.36/1189.21 c #Conflicts: 1195000 | #Constraints: 26625
1186.36/1189.21 c #Conflicts: 1196000 | #Constraints: 27625
1186.36/1189.21 c #Conflicts: 1197000 | #Constraints: 28625
1186.36/1189.21 c #Conflicts: 1198000 | #Constraints: 29625
1186.36/1189.21 c #Conflicts: 1199000 | #Constraints: 30625
1186.36/1189.21 c #Conflicts: 1200000 | #Constraints: 31625
1186.36/1189.21 c #Conflicts: 1201000 | #Constraints: 32625
1186.36/1189.21 c #Conflicts: 1202000 | #Constraints: 33625
1186.36/1189.21 c #Conflicts: 1203000 | #Constraints: 34625
1186.36/1189.21 c #Conflicts: 1204000 | #Constraints: 35625
1186.36/1189.21 c #Conflicts: 1205000 | #Constraints: 36625
1186.36/1189.21 c #Conflicts: 1206000 | #Constraints: 37625
1186.36/1189.21 c #Conflicts: 1207000 | #Constraints: 38625
1186.36/1189.21 c #Conflicts: 1208000 | #Constraints: 39625
1186.36/1189.21 c #Conflicts: 1209000 | #Constraints: 40625
1186.36/1189.21 c #Conflicts: 1210000 | #Constraints: 41625
1186.36/1189.21 c #Conflicts: 1211000 | #Constraints: 42625
1186.36/1189.21 c #Conflicts: 1212000 | #Constraints: 43625
1186.36/1189.21 c INPROCESSING
1186.36/1189.21 c GARBAGE COLLECT
1186.36/1189.21 c #Conflicts: 1213000 | #Constraints: 22823
1186.36/1189.21 c #Conflicts: 1214000 | #Constraints: 23823
1186.36/1189.21 c #Conflicts: 1215000 | #Constraints: 24823
1186.36/1189.21 c #Conflicts: 1216000 | #Constraints: 25823
1186.36/1189.21 c #Conflicts: 1217000 | #Constraints: 26823
1186.36/1189.21 c #Conflicts: 1218000 | #Constraints: 27823
1186.36/1189.21 c #Conflicts: 1219000 | #Constraints: 28823
1186.36/1189.21 c #Conflicts: 1220000 | #Constraints: 29823
1186.36/1189.21 c #Conflicts: 1221000 | #Constraints: 30823
1186.36/1189.21 c #Conflicts: 1222000 | #Constraints: 31823
1186.36/1189.21 c #Conflicts: 1223000 | #Constraints: 32823
1186.36/1189.21 c #Conflicts: 1224000 | #Constraints: 33823
1186.36/1189.21 c #Conflicts: 1225000 | #Constraints: 34823
1186.36/1189.21 c #Conflicts: 1226000 | #Constraints: 35823
1186.36/1189.21 c #Conflicts: 1227000 | #Constraints: 36823
1186.36/1189.21 c #Conflicts: 1228000 | #Constraints: 37823
1186.36/1189.21 c #Conflicts: 1229000 | #Constraints: 38823
1186.36/1189.21 c #Conflicts: 1230000 | #Constraints: 39823
1186.36/1189.21 c #Conflicts: 1231000 | #Constraints: 40823
1186.36/1189.21 c #Conflicts: 1232000 | #Constraints: 41823
1186.36/1189.21 c #Conflicts: 1233000 | #Constraints: 42823
1292.81/1295.94 c #Conflicts: 1234000 | #Constraints: 43823
1292.81/1295.94 c INPROCESSING
1292.81/1295.94 c GARBAGE COLLECT
1292.81/1295.94 c #Conflicts: 1235000 | #Constraints: 22823
1292.81/1295.94 c #Conflicts: 1236000 | #Constraints: 23823
1292.81/1295.94 c #Conflicts: 1237000 | #Constraints: 24823
1292.81/1295.94 c #Conflicts: 1238000 | #Constraints: 25823
1292.81/1295.94 c #Conflicts: 1239000 | #Constraints: 26823
1292.81/1295.94 c #Conflicts: 1240000 | #Constraints: 27823
1292.81/1295.94 c #Conflicts: 1241000 | #Constraints: 28823
1292.81/1295.94 c #Conflicts: 1242000 | #Constraints: 29823
1292.81/1295.94 c #Conflicts: 1243000 | #Constraints: 30823
1292.81/1295.94 c #Conflicts: 1244000 | #Constraints: 31823
1292.81/1295.94 c #Conflicts: 1245000 | #Constraints: 32823
1292.81/1295.94 c #Conflicts: 1246000 | #Constraints: 33823
1292.81/1295.94 c #Conflicts: 1247000 | #Constraints: 34823
1292.81/1295.94 c #Conflicts: 1248000 | #Constraints: 35823
1292.81/1295.94 c #Conflicts: 1249000 | #Constraints: 36823
1292.81/1295.94 c #Conflicts: 1250000 | #Constraints: 37823
1292.81/1295.94 c #Conflicts: 1251000 | #Constraints: 38823
1292.81/1295.94 c #Conflicts: 1252000 | #Constraints: 39823
1292.81/1295.94 c #Conflicts: 1253000 | #Constraints: 40823
1292.81/1295.94 c #Conflicts: 1254000 | #Constraints: 41823
1292.81/1295.94 c #Conflicts: 1255000 | #Constraints: 42823
1292.81/1295.94 c #Conflicts: 1256000 | #Constraints: 43823
1292.81/1295.94 c INPROCESSING
1292.81/1295.94 c GARBAGE COLLECT
1292.81/1295.94 c #Conflicts: 1257000 | #Constraints: 22621
1292.81/1295.94 c #Conflicts: 1258000 | #Constraints: 23621
1292.81/1295.94 c #Conflicts: 1259000 | #Constraints: 24621
1292.81/1295.94 c #Conflicts: 1260000 | #Constraints: 25621
1292.81/1295.94 c #Conflicts: 1261000 | #Constraints: 26621
1292.81/1295.94 c #Conflicts: 1262000 | #Constraints: 27621
1292.81/1295.94 c #Conflicts: 1263000 | #Constraints: 28621
1292.81/1295.94 c #Conflicts: 1264000 | #Constraints: 29621
1292.81/1295.94 c #Conflicts: 1265000 | #Constraints: 30621
1292.81/1295.94 c #Conflicts: 1266000 | #Constraints: 31621
1292.81/1295.94 c #Conflicts: 1267000 | #Constraints: 32621
1292.81/1295.94 c #Conflicts: 1268000 | #Constraints: 33621
1292.81/1295.94 c #Conflicts: 1269000 | #Constraints: 34621
1292.81/1295.94 c #Conflicts: 1270000 | #Constraints: 35621
1292.81/1295.94 c #Conflicts: 1271000 | #Constraints: 36621
1292.81/1295.94 c #Conflicts: 1272000 | #Constraints: 37621
1292.81/1295.94 c #Conflicts: 1273000 | #Constraints: 38621
1292.81/1295.94 c #Conflicts: 1274000 | #Constraints: 39621
1292.81/1295.94 c #Conflicts: 1275000 | #Constraints: 40621
1292.81/1295.94 c #Conflicts: 1276000 | #Constraints: 41621
1292.81/1295.94 c #Conflicts: 1277000 | #Constraints: 42621
1292.81/1295.94 c #Conflicts: 1278000 | #Constraints: 43621
1292.81/1295.94 c #Conflicts: 1279000 | #Constraints: 44621
1292.81/1295.94 c INPROCESSING
1292.81/1295.94 c GARBAGE COLLECT
1292.81/1295.94 c #Conflicts: 1280000 | #Constraints: 23220
1292.81/1295.94 c #Conflicts: 1281000 | #Constraints: 24220
1292.81/1295.94 c #Conflicts: 1282000 | #Constraints: 25220
1292.81/1295.94 c #Conflicts: 1283000 | #Constraints: 26220
1292.81/1295.94 c #Conflicts: 1284000 | #Constraints: 27220
1292.81/1295.94 c #Conflicts: 1285000 | #Constraints: 28220
1292.81/1295.94 c #Conflicts: 1286000 | #Constraints: 29220
1292.81/1295.94 c #Conflicts: 1287000 | #Constraints: 30220
1292.81/1295.94 c #Conflicts: 1288000 | #Constraints: 31220
1292.81/1295.94 c #Conflicts: 1289000 | #Constraints: 32220
1292.81/1295.94 c #Conflicts: 1290000 | #Constraints: 33220
1292.81/1295.94 c #Conflicts: 1291000 | #Constraints: 34220
1292.81/1295.94 c #Conflicts: 1292000 | #Constraints: 35220
1292.81/1295.94 c #Conflicts: 1293000 | #Constraints: 36220
1292.81/1295.94 c #Conflicts: 1294000 | #Constraints: 37220
1292.81/1295.94 c #Conflicts: 1295000 | #Constraints: 38220
1292.81/1295.94 c #Conflicts: 1296000 | #Constraints: 39220
1292.81/1295.94 c #Conflicts: 1297000 | #Constraints: 40220
1292.81/1295.94 c #Conflicts: 1298000 | #Constraints: 41220
1292.81/1295.94 c #Conflicts: 1299000 | #Constraints: 42220
1292.81/1295.94 c #Conflicts: 1300000 | #Constraints: 43220
1292.81/1295.94 c #Conflicts: 1301000 | #Constraints: 44220
1292.81/1295.94 c #Conflicts: 1302000 | #Constraints: 45220
1292.81/1295.94 c INPROCESSING
1292.81/1295.94 c GARBAGE COLLECT
1292.81/1295.94 c #Conflicts: 1303000 | #Constraints: 23621
1292.81/1295.94 c #Conflicts: 1304000 | #Constraints: 24621
1292.81/1295.94 c #Conflicts: 1305000 | #Constraints: 25621
1292.81/1295.94 c #Conflicts: 1306000 | #Constraints: 26621
1292.81/1295.94 c #Conflicts: 1307000 | #Constraints: 27621
1292.81/1295.94 c #Conflicts: 1308000 | #Constraints: 28621
1292.81/1295.94 c #Conflicts: 1309000 | #Constraints: 29621
1407.76/1411.16 c #Conflicts: 1310000 | #Constraints: 30621
1407.76/1411.16 c #Conflicts: 1311000 | #Constraints: 31621
1407.76/1411.16 c #Conflicts: 1312000 | #Constraints: 32621
1407.76/1411.16 c #Conflicts: 1313000 | #Constraints: 33621
1407.76/1411.16 c #Conflicts: 1314000 | #Constraints: 34621
1407.76/1411.16 c #Conflicts: 1315000 | #Constraints: 35621
1407.76/1411.16 c #Conflicts: 1316000 | #Constraints: 36621
1407.76/1411.16 c #Conflicts: 1317000 | #Constraints: 37621
1407.76/1411.16 c #Conflicts: 1318000 | #Constraints: 38621
1407.76/1411.16 c #Conflicts: 1319000 | #Constraints: 39621
1407.76/1411.16 c #Conflicts: 1320000 | #Constraints: 40621
1407.76/1411.16 c #Conflicts: 1321000 | #Constraints: 41621
1407.76/1411.16 c #Conflicts: 1322000 | #Constraints: 42621
1407.76/1411.16 c #Conflicts: 1323000 | #Constraints: 43621
1407.76/1411.16 c #Conflicts: 1324000 | #Constraints: 44621
1407.76/1411.16 c #Conflicts: 1325000 | #Constraints: 45621
1407.76/1411.16 c INPROCESSING
1407.76/1411.16 c GARBAGE COLLECT
1407.76/1411.16 c #Conflicts: 1326000 | #Constraints: 23821
1407.76/1411.16 c #Conflicts: 1327000 | #Constraints: 24821
1407.76/1411.16 c #Conflicts: 1328000 | #Constraints: 25821
1407.76/1411.16 c #Conflicts: 1329000 | #Constraints: 26821
1407.76/1411.16 c #Conflicts: 1330000 | #Constraints: 27821
1407.76/1411.16 c #Conflicts: 1331000 | #Constraints: 28821
1407.76/1411.16 c #Conflicts: 1332000 | #Constraints: 29821
1407.76/1411.16 c #Conflicts: 1333000 | #Constraints: 30821
1407.76/1411.16 c #Conflicts: 1334000 | #Constraints: 31821
1407.76/1411.16 c #Conflicts: 1335000 | #Constraints: 32821
1407.76/1411.16 c #Conflicts: 1336000 | #Constraints: 33821
1407.76/1411.16 c #Conflicts: 1337000 | #Constraints: 34821
1407.76/1411.16 c #Conflicts: 1338000 | #Constraints: 35821
1407.76/1411.16 c #Conflicts: 1339000 | #Constraints: 36821
1407.76/1411.16 c #Conflicts: 1340000 | #Constraints: 37821
1407.76/1411.16 c #Conflicts: 1341000 | #Constraints: 38821
1407.76/1411.16 c #Conflicts: 1342000 | #Constraints: 39821
1407.76/1411.16 c #Conflicts: 1343000 | #Constraints: 40821
1407.76/1411.16 c #Conflicts: 1344000 | #Constraints: 41821
1407.76/1411.16 c #Conflicts: 1345000 | #Constraints: 42821
1407.76/1411.16 c #Conflicts: 1346000 | #Constraints: 43821
1407.76/1411.16 c #Conflicts: 1347000 | #Constraints: 44821
1407.76/1411.16 c #Conflicts: 1348000 | #Constraints: 45821
1407.76/1411.16 c INPROCESSING
1407.76/1411.16 c GARBAGE COLLECT
1407.76/1411.16 c #Conflicts: 1349000 | #Constraints: 23824
1407.76/1411.16 c #Conflicts: 1350000 | #Constraints: 24824
1407.76/1411.16 c #Conflicts: 1351000 | #Constraints: 25824
1407.76/1411.16 c #Conflicts: 1352000 | #Constraints: 26824
1407.76/1411.16 c #Conflicts: 1353000 | #Constraints: 27824
1407.76/1411.16 c #Conflicts: 1354000 | #Constraints: 28824
1407.76/1411.16 c #Conflicts: 1355000 | #Constraints: 29824
1407.76/1411.16 c #Conflicts: 1356000 | #Constraints: 30824
1407.76/1411.16 c #Conflicts: 1357000 | #Constraints: 31824
1407.76/1411.16 c #Conflicts: 1358000 | #Constraints: 32824
1407.76/1411.16 c #Conflicts: 1359000 | #Constraints: 33824
1407.76/1411.16 c #Conflicts: 1360000 | #Constraints: 34824
1407.76/1411.16 c #Conflicts: 1361000 | #Constraints: 35824
1407.76/1411.16 c #Conflicts: 1362000 | #Constraints: 36824
1407.76/1411.16 c #Conflicts: 1363000 | #Constraints: 37824
1407.76/1411.16 c #Conflicts: 1364000 | #Constraints: 38824
1407.76/1411.16 c #Conflicts: 1365000 | #Constraints: 39824
1407.76/1411.16 c #Conflicts: 1366000 | #Constraints: 40824
1407.76/1411.16 c #Conflicts: 1367000 | #Constraints: 41824
1407.76/1411.16 c #Conflicts: 1368000 | #Constraints: 42824
1407.76/1411.16 c #Conflicts: 1369000 | #Constraints: 43824
1407.76/1411.16 c #Conflicts: 1370000 | #Constraints: 44824
1407.76/1411.16 c #Conflicts: 1371000 | #Constraints: 45824
1407.76/1411.16 c INPROCESSING
1407.76/1411.16 c GARBAGE COLLECT
1407.76/1411.16 c #Conflicts: 1372000 | #Constraints: 23624
1407.76/1411.16 c #Conflicts: 1373000 | #Constraints: 24624
1407.76/1411.16 c #Conflicts: 1374000 | #Constraints: 25624
1407.76/1411.16 c #Conflicts: 1375000 | #Constraints: 26624
1407.76/1411.16 c #Conflicts: 1376000 | #Constraints: 27624
1407.76/1411.16 c #Conflicts: 1377000 | #Constraints: 28624
1407.76/1411.16 c #Conflicts: 1378000 | #Constraints: 29624
1407.76/1411.16 c #Conflicts: 1379000 | #Constraints: 30624
1407.76/1411.16 c #Conflicts: 1380000 | #Constraints: 31624
1407.76/1411.16 c #Conflicts: 1381000 | #Constraints: 32624
1407.76/1411.16 c #Conflicts: 1382000 | #Constraints: 33624
1407.76/1411.16 c #Conflicts: 1383000 | #Constraints: 34624
1407.76/1411.16 c #Conflicts: 1384000 | #Constraints: 35624
1407.76/1411.16 c #Conflicts: 1385000 | #Constraints: 36624
1407.76/1411.16 c #Conflicts: 1386000 | #Constraints: 37624
1526.08/1529.70 c #Conflicts: 1387000 | #Constraints: 38624
1526.08/1529.70 c #Conflicts: 1388000 | #Constraints: 39624
1526.08/1529.70 c #Conflicts: 1389000 | #Constraints: 40624
1526.08/1529.70 c #Conflicts: 1390000 | #Constraints: 41624
1526.08/1529.70 c #Conflicts: 1391000 | #Constraints: 42624
1526.08/1529.70 c #Conflicts: 1392000 | #Constraints: 43624
1526.08/1529.70 c #Conflicts: 1393000 | #Constraints: 44624
1526.08/1529.70 c #Conflicts: 1394000 | #Constraints: 45624
1526.08/1529.70 c #Conflicts: 1395000 | #Constraints: 46624
1526.08/1529.70 c INPROCESSING
1526.08/1529.70 c GARBAGE COLLECT
1526.08/1529.70 c #Conflicts: 1396000 | #Constraints: 24224
1526.08/1529.70 c #Conflicts: 1397000 | #Constraints: 25224
1526.08/1529.70 c #Conflicts: 1398000 | #Constraints: 26224
1526.08/1529.70 c #Conflicts: 1399000 | #Constraints: 27224
1526.08/1529.70 c #Conflicts: 1400000 | #Constraints: 28224
1526.08/1529.70 c #Conflicts: 1401000 | #Constraints: 29224
1526.08/1529.70 c #Conflicts: 1402000 | #Constraints: 30224
1526.08/1529.70 c #Conflicts: 1403000 | #Constraints: 31224
1526.08/1529.70 c #Conflicts: 1404000 | #Constraints: 32224
1526.08/1529.70 c #Conflicts: 1405000 | #Constraints: 33224
1526.08/1529.70 c #Conflicts: 1406000 | #Constraints: 34224
1526.08/1529.70 c #Conflicts: 1407000 | #Constraints: 35224
1526.08/1529.70 c #Conflicts: 1408000 | #Constraints: 36224
1526.08/1529.70 c #Conflicts: 1409000 | #Constraints: 37224
1526.08/1529.70 c #Conflicts: 1410000 | #Constraints: 38224
1526.08/1529.70 c #Conflicts: 1411000 | #Constraints: 39224
1526.08/1529.70 c #Conflicts: 1412000 | #Constraints: 40224
1526.08/1529.70 c #Conflicts: 1413000 | #Constraints: 41224
1526.08/1529.70 c #Conflicts: 1414000 | #Constraints: 42224
1526.08/1529.70 c #Conflicts: 1415000 | #Constraints: 43224
1526.08/1529.70 c #Conflicts: 1416000 | #Constraints: 44224
1526.08/1529.70 c #Conflicts: 1417000 | #Constraints: 45224
1526.08/1529.70 c #Conflicts: 1418000 | #Constraints: 46224
1526.08/1529.70 c #Conflicts: 1419000 | #Constraints: 47224
1526.08/1529.70 c INPROCESSING
1526.08/1529.70 c GARBAGE COLLECT
1526.08/1529.70 c #Conflicts: 1420000 | #Constraints: 24624
1526.08/1529.70 c #Conflicts: 1421000 | #Constraints: 25624
1526.08/1529.70 c #Conflicts: 1422000 | #Constraints: 26624
1526.08/1529.70 c #Conflicts: 1423000 | #Constraints: 27624
1526.08/1529.70 c #Conflicts: 1424000 | #Constraints: 28624
1526.08/1529.70 c #Conflicts: 1425000 | #Constraints: 29624
1526.08/1529.70 c #Conflicts: 1426000 | #Constraints: 30624
1526.08/1529.70 c #Conflicts: 1427000 | #Constraints: 31624
1526.08/1529.70 c #Conflicts: 1428000 | #Constraints: 32624
1526.08/1529.70 c #Conflicts: 1429000 | #Constraints: 33624
1526.08/1529.70 c #Conflicts: 1430000 | #Constraints: 34624
1526.08/1529.70 c #Conflicts: 1431000 | #Constraints: 35624
1526.08/1529.70 c #Conflicts: 1432000 | #Constraints: 36624
1526.08/1529.70 c #Conflicts: 1433000 | #Constraints: 37624
1526.08/1529.70 c #Conflicts: 1434000 | #Constraints: 38624
1526.08/1529.70 c #Conflicts: 1435000 | #Constraints: 39624
1526.08/1529.70 c #Conflicts: 1436000 | #Constraints: 40624
1526.08/1529.70 c #Conflicts: 1437000 | #Constraints: 41624
1526.08/1529.70 c #Conflicts: 1438000 | #Constraints: 42624
1526.08/1529.70 c #Conflicts: 1439000 | #Constraints: 43624
1526.08/1529.70 c #Conflicts: 1440000 | #Constraints: 44624
1526.08/1529.70 c #Conflicts: 1441000 | #Constraints: 45624
1526.08/1529.70 c #Conflicts: 1442000 | #Constraints: 46624
1526.08/1529.70 c #Conflicts: 1443000 | #Constraints: 47624
1526.08/1529.70 c INPROCESSING
1526.08/1529.70 c GARBAGE COLLECT
1526.08/1529.70 c #Conflicts: 1444000 | #Constraints: 24826
1526.08/1529.70 c #Conflicts: 1445000 | #Constraints: 25826
1526.08/1529.70 c #Conflicts: 1446000 | #Constraints: 26826
1526.08/1529.70 c #Conflicts: 1447000 | #Constraints: 27826
1526.08/1529.70 c #Conflicts: 1448000 | #Constraints: 28826
1526.08/1529.70 c #Conflicts: 1449000 | #Constraints: 29826
1526.08/1529.70 c #Conflicts: 1450000 | #Constraints: 30826
1526.08/1529.70 c #Conflicts: 1451000 | #Constraints: 31826
1526.08/1529.70 c #Conflicts: 1452000 | #Constraints: 32826
1526.08/1529.70 c #Conflicts: 1453000 | #Constraints: 33826
1526.08/1529.70 c #Conflicts: 1454000 | #Constraints: 34826
1526.08/1529.70 c #Conflicts: 1455000 | #Constraints: 35826
1526.08/1529.70 c #Conflicts: 1456000 | #Constraints: 36826
1526.08/1529.70 c #Conflicts: 1457000 | #Constraints: 37826
1526.08/1529.70 c #Conflicts: 1458000 | #Constraints: 38826
1526.08/1529.70 c #Conflicts: 1459000 | #Constraints: 39826
1526.08/1529.70 c #Conflicts: 1460000 | #Constraints: 40826
1526.08/1529.70 c #Conflicts: 1461000 | #Constraints: 41826
1526.08/1529.70 c #Conflicts: 1462000 | #Constraints: 42826
1526.08/1529.70 c #Conflicts: 1463000 | #Constraints: 43826
1645.22/1649.13 c #Conflicts: 1464000 | #Constraints: 44826
1645.22/1649.13 c #Conflicts: 1465000 | #Constraints: 45826
1645.22/1649.13 c #Conflicts: 1466000 | #Constraints: 46826
1645.22/1649.13 c #Conflicts: 1467000 | #Constraints: 47826
1645.22/1649.13 c INPROCESSING
1645.22/1649.13 c GARBAGE COLLECT
1645.22/1649.13 c #Conflicts: 1468000 | #Constraints: 24824
1645.22/1649.13 c #Conflicts: 1469000 | #Constraints: 25824
1645.22/1649.13 c #Conflicts: 1470000 | #Constraints: 26824
1645.22/1649.13 c #Conflicts: 1471000 | #Constraints: 27824
1645.22/1649.13 c #Conflicts: 1472000 | #Constraints: 28824
1645.22/1649.13 c #Conflicts: 1473000 | #Constraints: 29824
1645.22/1649.13 c #Conflicts: 1474000 | #Constraints: 30824
1645.22/1649.13 c #Conflicts: 1475000 | #Constraints: 31824
1645.22/1649.13 c #Conflicts: 1476000 | #Constraints: 32824
1645.22/1649.13 c #Conflicts: 1477000 | #Constraints: 33824
1645.22/1649.13 c #Conflicts: 1478000 | #Constraints: 34824
1645.22/1649.13 c #Conflicts: 1479000 | #Constraints: 35824
1645.22/1649.13 c #Conflicts: 1480000 | #Constraints: 36824
1645.22/1649.13 c #Conflicts: 1481000 | #Constraints: 37824
1645.22/1649.13 c #Conflicts: 1482000 | #Constraints: 38824
1645.22/1649.13 c #Conflicts: 1483000 | #Constraints: 39824
1645.22/1649.13 c #Conflicts: 1484000 | #Constraints: 40824
1645.22/1649.13 c #Conflicts: 1485000 | #Constraints: 41824
1645.22/1649.13 c #Conflicts: 1486000 | #Constraints: 42824
1645.22/1649.13 c #Conflicts: 1487000 | #Constraints: 43824
1645.22/1649.13 c #Conflicts: 1488000 | #Constraints: 44824
1645.22/1649.13 c #Conflicts: 1489000 | #Constraints: 45824
1645.22/1649.13 c #Conflicts: 1490000 | #Constraints: 46824
1645.22/1649.13 c #Conflicts: 1491000 | #Constraints: 47824
1645.22/1649.13 c INPROCESSING
1645.22/1649.13 c GARBAGE COLLECT
1645.22/1649.13 c #Conflicts: 1492000 | #Constraints: 24621
1645.22/1649.13 c #Conflicts: 1493000 | #Constraints: 25621
1645.22/1649.13 c #Conflicts: 1494000 | #Constraints: 26621
1645.22/1649.13 c #Conflicts: 1495000 | #Constraints: 27621
1645.22/1649.13 c #Conflicts: 1496000 | #Constraints: 28621
1645.22/1649.13 c #Conflicts: 1497000 | #Constraints: 29621
1645.22/1649.13 c #Conflicts: 1498000 | #Constraints: 30621
1645.22/1649.13 c #Conflicts: 1499000 | #Constraints: 31621
1645.22/1649.13 c #Conflicts: 1500000 | #Constraints: 32621
1645.22/1649.13 c #Conflicts: 1501000 | #Constraints: 33621
1645.22/1649.13 c #Conflicts: 1502000 | #Constraints: 34621
1645.22/1649.13 c #Conflicts: 1503000 | #Constraints: 35621
1645.22/1649.13 c #Conflicts: 1504000 | #Constraints: 36621
1645.22/1649.13 c #Conflicts: 1505000 | #Constraints: 37621
1645.22/1649.13 c #Conflicts: 1506000 | #Constraints: 38621
1645.22/1649.13 c #Conflicts: 1507000 | #Constraints: 39621
1645.22/1649.13 c #Conflicts: 1508000 | #Constraints: 40621
1645.22/1649.13 c #Conflicts: 1509000 | #Constraints: 41621
1645.22/1649.13 c #Conflicts: 1510000 | #Constraints: 42621
1645.22/1649.13 c #Conflicts: 1511000 | #Constraints: 43621
1645.22/1649.13 c #Conflicts: 1512000 | #Constraints: 44621
1645.22/1649.13 c #Conflicts: 1513000 | #Constraints: 45621
1645.22/1649.13 c #Conflicts: 1514000 | #Constraints: 46621
1645.22/1649.13 c #Conflicts: 1515000 | #Constraints: 47621
1645.22/1649.13 c #Conflicts: 1516000 | #Constraints: 48621
1645.22/1649.13 c INPROCESSING
1645.22/1649.13 c GARBAGE COLLECT
1645.22/1649.13 c #Conflicts: 1517000 | #Constraints: 25222
1645.22/1649.13 c #Conflicts: 1518000 | #Constraints: 26222
1645.22/1649.13 c #Conflicts: 1519000 | #Constraints: 27222
1645.22/1649.13 c #Conflicts: 1520000 | #Constraints: 28222
1645.22/1649.13 c #Conflicts: 1521000 | #Constraints: 29222
1645.22/1649.13 c #Conflicts: 1522000 | #Constraints: 30222
1645.22/1649.13 c #Conflicts: 1523000 | #Constraints: 31222
1645.22/1649.13 c #Conflicts: 1524000 | #Constraints: 32222
1645.22/1649.13 c #Conflicts: 1525000 | #Constraints: 33222
1645.22/1649.13 c #Conflicts: 1526000 | #Constraints: 34222
1645.22/1649.13 c #Conflicts: 1527000 | #Constraints: 35222
1645.22/1649.13 c #Conflicts: 1528000 | #Constraints: 36222
1645.22/1649.13 c #Conflicts: 1529000 | #Constraints: 37222
1645.22/1649.13 c #Conflicts: 1530000 | #Constraints: 38222
1645.22/1649.13 c #Conflicts: 1531000 | #Constraints: 39222
1645.22/1649.13 c #Conflicts: 1532000 | #Constraints: 40222
1645.22/1649.13 c #Conflicts: 1533000 | #Constraints: 41222
1645.22/1649.13 c #Conflicts: 1534000 | #Constraints: 42222
1645.22/1649.13 c #Conflicts: 1535000 | #Constraints: 43222
1645.22/1649.13 c #Conflicts: 1536000 | #Constraints: 44222
1645.22/1649.13 c #Conflicts: 1537000 | #Constraints: 45222
1645.22/1649.13 c #Conflicts: 1538000 | #Constraints: 46222
1645.22/1649.13 c #Conflicts: 1539000 | #Constraints: 47222
1645.22/1649.13 c #Conflicts: 1540000 | #Constraints: 48222
1776.60/1780.82 c #Conflicts: 1541000 | #Constraints: 49222
1776.60/1780.82 c INPROCESSING
1776.60/1780.82 c GARBAGE COLLECT
1776.60/1780.82 c #Conflicts: 1542000 | #Constraints: 25625
1776.60/1780.82 c #Conflicts: 1543000 | #Constraints: 26625
1776.60/1780.82 c #Conflicts: 1544000 | #Constraints: 27625
1776.60/1780.82 c #Conflicts: 1545000 | #Constraints: 28625
1776.60/1780.82 c #Conflicts: 1546000 | #Constraints: 29625
1776.60/1780.82 c #Conflicts: 1547000 | #Constraints: 30625
1776.60/1780.82 c #Conflicts: 1548000 | #Constraints: 31625
1776.60/1780.82 c #Conflicts: 1549000 | #Constraints: 32625
1776.60/1780.82 c #Conflicts: 1550000 | #Constraints: 33625
1776.60/1780.82 c #Conflicts: 1551000 | #Constraints: 34625
1776.60/1780.82 c #Conflicts: 1552000 | #Constraints: 35625
1776.60/1780.82 c #Conflicts: 1553000 | #Constraints: 36625
1776.60/1780.82 c #Conflicts: 1554000 | #Constraints: 37625
1776.60/1780.82 c #Conflicts: 1555000 | #Constraints: 38625
1776.60/1780.82 c #Conflicts: 1556000 | #Constraints: 39625
1776.60/1780.82 c #Conflicts: 1557000 | #Constraints: 40625
1776.60/1780.82 c #Conflicts: 1558000 | #Constraints: 41625
1776.60/1780.82 c #Conflicts: 1559000 | #Constraints: 42625
1776.60/1780.82 c #Conflicts: 1560000 | #Constraints: 43625
1776.60/1780.82 c #Conflicts: 1561000 | #Constraints: 44625
1776.60/1780.82 c #Conflicts: 1562000 | #Constraints: 45625
1776.60/1780.82 c #Conflicts: 1563000 | #Constraints: 46625
1776.60/1780.82 c #Conflicts: 1564000 | #Constraints: 47625
1776.60/1780.82 c #Conflicts: 1565000 | #Constraints: 48625
1776.60/1780.82 c #Conflicts: 1566000 | #Constraints: 49625
1776.60/1780.82 c INPROCESSING
1776.60/1780.82 c GARBAGE COLLECT
1776.60/1780.82 c #Conflicts: 1567000 | #Constraints: 25825
1776.60/1780.82 c #Conflicts: 1568000 | #Constraints: 26825
1776.60/1780.82 c #Conflicts: 1569000 | #Constraints: 27825
1776.60/1780.82 c #Conflicts: 1570000 | #Constraints: 28825
1776.60/1780.82 c #Conflicts: 1571000 | #Constraints: 29825
1776.60/1780.82 c #Conflicts: 1572000 | #Constraints: 30825
1776.60/1780.82 c #Conflicts: 1573000 | #Constraints: 31825
1776.60/1780.82 c #Conflicts: 1574000 | #Constraints: 32825
1776.60/1780.82 c #Conflicts: 1575000 | #Constraints: 33825
1776.60/1780.82 c #Conflicts: 1576000 | #Constraints: 34825
1776.60/1780.82 c #Conflicts: 1577000 | #Constraints: 35825
1776.60/1780.82 c #Conflicts: 1578000 | #Constraints: 36825
1776.60/1780.82 c #Conflicts: 1579000 | #Constraints: 37825
1776.60/1780.82 c #Conflicts: 1580000 | #Constraints: 38825
1776.60/1780.82 c #Conflicts: 1581000 | #Constraints: 39825
1776.60/1780.82 c #Conflicts: 1582000 | #Constraints: 40825
1776.60/1780.82 c #Conflicts: 1583000 | #Constraints: 41825
1776.60/1780.82 c #Conflicts: 1584000 | #Constraints: 42825
1776.60/1780.82 c #Conflicts: 1585000 | #Constraints: 43825
1776.60/1780.82 c #Conflicts: 1586000 | #Constraints: 44825
1776.60/1780.82 c #Conflicts: 1587000 | #Constraints: 45825
1776.60/1780.82 c #Conflicts: 1588000 | #Constraints: 46825
1776.60/1780.82 c #Conflicts: 1589000 | #Constraints: 47825
1776.60/1780.82 c #Conflicts: 1590000 | #Constraints: 48825
1776.60/1780.82 c #Conflicts: 1591000 | #Constraints: 49825
1776.60/1780.82 c INPROCESSING
1776.60/1780.82 c GARBAGE COLLECT
1776.60/1780.82 c #Conflicts: 1592000 | #Constraints: 25825
1776.60/1780.82 c #Conflicts: 1593000 | #Constraints: 26825
1776.60/1780.82 c #Conflicts: 1594000 | #Constraints: 27825
1776.60/1780.82 c #Conflicts: 1595000 | #Constraints: 28825
1776.60/1780.82 c #Conflicts: 1596000 | #Constraints: 29825
1776.60/1780.82 c #Conflicts: 1597000 | #Constraints: 30825
1776.60/1780.82 c #Conflicts: 1598000 | #Constraints: 31825
1776.60/1780.82 c #Conflicts: 1599000 | #Constraints: 32825
1776.60/1780.82 c #Conflicts: 1600000 | #Constraints: 33825
1776.60/1780.82 c #Conflicts: 1601000 | #Constraints: 34825
1776.60/1780.82 c #Conflicts: 1602000 | #Constraints: 35825
1776.60/1780.82 c #Conflicts: 1603000 | #Constraints: 36825
1776.60/1780.82 c #Conflicts: 1604000 | #Constraints: 37825
1776.60/1780.82 c #Conflicts: 1605000 | #Constraints: 38825
1776.60/1780.82 c #Conflicts: 1606000 | #Constraints: 39825
1776.60/1780.82 c #Conflicts: 1607000 | #Constraints: 40825
1776.60/1780.82 c #Conflicts: 1608000 | #Constraints: 41825
1776.60/1780.82 c #Conflicts: 1609000 | #Constraints: 42825
1776.60/1780.82 c #Conflicts: 1610000 | #Constraints: 43825
1776.60/1780.82 c #Conflicts: 1611000 | #Constraints: 44825
1776.60/1780.82 c #Conflicts: 1612000 | #Constraints: 45825
1776.60/1780.82 c #Conflicts: 1613000 | #Constraints: 46825
1776.60/1780.82 c #Conflicts: 1614000 | #Constraints: 47825
1776.60/1780.82 c #Conflicts: 1615000 | #Constraints: 48825
1776.60/1780.82 c #Conflicts: 1616000 | #Constraints: 49825
1776.60/1780.82 c INPROCESSING
1776.60/1780.82 c GARBAGE COLLECT
1907.00/1911.51 c #Conflicts: 1617000 | #Constraints: 25625
1907.00/1911.51 c #Conflicts: 1618000 | #Constraints: 26625
1907.00/1911.51 c #Conflicts: 1619000 | #Constraints: 27625
1907.00/1911.51 c #Conflicts: 1620000 | #Constraints: 28625
1907.00/1911.51 c #Conflicts: 1621000 | #Constraints: 29625
1907.00/1911.51 c #Conflicts: 1622000 | #Constraints: 30625
1907.00/1911.51 c #Conflicts: 1623000 | #Constraints: 31625
1907.00/1911.51 c #Conflicts: 1624000 | #Constraints: 32625
1907.00/1911.51 c #Conflicts: 1625000 | #Constraints: 33625
1907.00/1911.51 c #Conflicts: 1626000 | #Constraints: 34625
1907.00/1911.51 c #Conflicts: 1627000 | #Constraints: 35625
1907.00/1911.51 c #Conflicts: 1628000 | #Constraints: 36625
1907.00/1911.51 c #Conflicts: 1629000 | #Constraints: 37625
1907.00/1911.51 c #Conflicts: 1630000 | #Constraints: 38625
1907.00/1911.51 c #Conflicts: 1631000 | #Constraints: 39625
1907.00/1911.51 c #Conflicts: 1632000 | #Constraints: 40625
1907.00/1911.51 c #Conflicts: 1633000 | #Constraints: 41625
1907.00/1911.51 c #Conflicts: 1634000 | #Constraints: 42625
1907.00/1911.51 c #Conflicts: 1635000 | #Constraints: 43625
1907.00/1911.51 c #Conflicts: 1636000 | #Constraints: 44625
1907.00/1911.51 c #Conflicts: 1637000 | #Constraints: 45625
1907.00/1911.51 c #Conflicts: 1638000 | #Constraints: 46625
1907.00/1911.51 c #Conflicts: 1639000 | #Constraints: 47625
1907.00/1911.51 c #Conflicts: 1640000 | #Constraints: 48625
1907.00/1911.51 c #Conflicts: 1641000 | #Constraints: 49625
1907.00/1911.51 c #Conflicts: 1642000 | #Constraints: 50625
1907.00/1911.51 c INPROCESSING
1907.00/1911.51 c GARBAGE COLLECT
1907.00/1911.51 c #Conflicts: 1643000 | #Constraints: 26221
1907.00/1911.51 c #Conflicts: 1644000 | #Constraints: 27221
1907.00/1911.51 c #Conflicts: 1645000 | #Constraints: 28221
1907.00/1911.51 c #Conflicts: 1646000 | #Constraints: 29221
1907.00/1911.51 c #Conflicts: 1647000 | #Constraints: 30221
1907.00/1911.51 c #Conflicts: 1648000 | #Constraints: 31221
1907.00/1911.51 c #Conflicts: 1649000 | #Constraints: 32221
1907.00/1911.51 c #Conflicts: 1650000 | #Constraints: 33221
1907.00/1911.51 c #Conflicts: 1651000 | #Constraints: 34221
1907.00/1911.51 c #Conflicts: 1652000 | #Constraints: 35221
1907.00/1911.51 c #Conflicts: 1653000 | #Constraints: 36221
1907.00/1911.51 c #Conflicts: 1654000 | #Constraints: 37221
1907.00/1911.51 c #Conflicts: 1655000 | #Constraints: 38221
1907.00/1911.51 c #Conflicts: 1656000 | #Constraints: 39221
1907.00/1911.51 c #Conflicts: 1657000 | #Constraints: 40221
1907.00/1911.51 c #Conflicts: 1658000 | #Constraints: 41221
1907.00/1911.51 c #Conflicts: 1659000 | #Constraints: 42221
1907.00/1911.51 c #Conflicts: 1660000 | #Constraints: 43221
1907.00/1911.51 c #Conflicts: 1661000 | #Constraints: 44221
1907.00/1911.51 c #Conflicts: 1662000 | #Constraints: 45221
1907.00/1911.51 c #Conflicts: 1663000 | #Constraints: 46221
1907.00/1911.51 c #Conflicts: 1664000 | #Constraints: 47221
1907.00/1911.51 c #Conflicts: 1665000 | #Constraints: 48221
1907.00/1911.51 c #Conflicts: 1666000 | #Constraints: 49221
1907.00/1911.51 c #Conflicts: 1667000 | #Constraints: 50221
1907.00/1911.51 c #Conflicts: 1668000 | #Constraints: 51221
1907.00/1911.51 c INPROCESSING
1907.00/1911.51 c GARBAGE COLLECT
1907.00/1911.51 c #Conflicts: 1669000 | #Constraints: 26623
1907.00/1911.51 c #Conflicts: 1670000 | #Constraints: 27623
1907.00/1911.51 c #Conflicts: 1671000 | #Constraints: 28623
1907.00/1911.51 c #Conflicts: 1672000 | #Constraints: 29623
1907.00/1911.51 c #Conflicts: 1673000 | #Constraints: 30623
1907.00/1911.51 c #Conflicts: 1674000 | #Constraints: 31623
1907.00/1911.51 c #Conflicts: 1675000 | #Constraints: 32623
1907.00/1911.51 c #Conflicts: 1676000 | #Constraints: 33623
1907.00/1911.51 c #Conflicts: 1677000 | #Constraints: 34623
1907.00/1911.51 c #Conflicts: 1678000 | #Constraints: 35623
1907.00/1911.51 c #Conflicts: 1679000 | #Constraints: 36623
1907.00/1911.51 c #Conflicts: 1680000 | #Constraints: 37623
1907.00/1911.51 c #Conflicts: 1681000 | #Constraints: 38623
1907.00/1911.51 c #Conflicts: 1682000 | #Constraints: 39623
1907.00/1911.51 c #Conflicts: 1683000 | #Constraints: 40623
1907.00/1911.51 c #Conflicts: 1684000 | #Constraints: 41623
1907.00/1911.51 c #Conflicts: 1685000 | #Constraints: 42623
1907.00/1911.51 c #Conflicts: 1686000 | #Constraints: 43623
1907.00/1911.51 c #Conflicts: 1687000 | #Constraints: 44623
1907.00/1911.51 c #Conflicts: 1688000 | #Constraints: 45623
1907.00/1911.51 c #Conflicts: 1689000 | #Constraints: 46623
1907.00/1911.51 c #Conflicts: 1690000 | #Constraints: 47623
1907.00/1911.51 c #Conflicts: 1691000 | #Constraints: 48623
1907.00/1911.51 c #Conflicts: 1692000 | #Constraints: 49623
1907.00/1911.51 c #Conflicts: 1693000 | #Constraints: 50623
1907.00/1911.51 c #Conflicts: 1694000 | #Constraints: 51623
2037.00/2041.87 c INPROCESSING
2037.00/2041.87 c GARBAGE COLLECT
2037.00/2041.87 c #Conflicts: 1695000 | #Constraints: 26822
2037.00/2041.87 c #Conflicts: 1696000 | #Constraints: 27822
2037.00/2041.87 c #Conflicts: 1697000 | #Constraints: 28822
2037.00/2041.87 c #Conflicts: 1698000 | #Constraints: 29822
2037.00/2041.87 c #Conflicts: 1699000 | #Constraints: 30822
2037.00/2041.87 c #Conflicts: 1700000 | #Constraints: 31822
2037.00/2041.87 c #Conflicts: 1701000 | #Constraints: 32822
2037.00/2041.87 c #Conflicts: 1702000 | #Constraints: 33822
2037.00/2041.87 c #Conflicts: 1703000 | #Constraints: 34822
2037.00/2041.87 c #Conflicts: 1704000 | #Constraints: 35822
2037.00/2041.87 c #Conflicts: 1705000 | #Constraints: 36822
2037.00/2041.87 c #Conflicts: 1706000 | #Constraints: 37822
2037.00/2041.87 c #Conflicts: 1707000 | #Constraints: 38822
2037.00/2041.87 c #Conflicts: 1708000 | #Constraints: 39822
2037.00/2041.87 c #Conflicts: 1709000 | #Constraints: 40822
2037.00/2041.87 c #Conflicts: 1710000 | #Constraints: 41822
2037.00/2041.87 c #Conflicts: 1711000 | #Constraints: 42822
2037.00/2041.87 c #Conflicts: 1712000 | #Constraints: 43822
2037.00/2041.87 c #Conflicts: 1713000 | #Constraints: 44822
2037.00/2041.87 c #Conflicts: 1714000 | #Constraints: 45822
2037.00/2041.87 c #Conflicts: 1715000 | #Constraints: 46822
2037.00/2041.87 c #Conflicts: 1716000 | #Constraints: 47822
2037.00/2041.87 c #Conflicts: 1717000 | #Constraints: 48822
2037.00/2041.87 c #Conflicts: 1718000 | #Constraints: 49822
2037.00/2041.87 c #Conflicts: 1719000 | #Constraints: 50822
2037.00/2041.87 c #Conflicts: 1720000 | #Constraints: 51822
2037.00/2041.87 c INPROCESSING
2037.00/2041.87 c GARBAGE COLLECT
2037.00/2041.87 c #Conflicts: 1721000 | #Constraints: 26821
2037.00/2041.87 c #Conflicts: 1722000 | #Constraints: 27821
2037.00/2041.87 c #Conflicts: 1723000 | #Constraints: 28821
2037.00/2041.87 c #Conflicts: 1724000 | #Constraints: 29821
2037.00/2041.87 c #Conflicts: 1725000 | #Constraints: 30821
2037.00/2041.87 c #Conflicts: 1726000 | #Constraints: 31821
2037.00/2041.87 c #Conflicts: 1727000 | #Constraints: 32821
2037.00/2041.87 c #Conflicts: 1728000 | #Constraints: 33821
2037.00/2041.87 c #Conflicts: 1729000 | #Constraints: 34821
2037.00/2041.87 c #Conflicts: 1730000 | #Constraints: 35821
2037.00/2041.87 c #Conflicts: 1731000 | #Constraints: 36821
2037.00/2041.87 c #Conflicts: 1732000 | #Constraints: 37821
2037.00/2041.87 c #Conflicts: 1733000 | #Constraints: 38821
2037.00/2041.87 c #Conflicts: 1734000 | #Constraints: 39821
2037.00/2041.87 c #Conflicts: 1735000 | #Constraints: 40821
2037.00/2041.87 c #Conflicts: 1736000 | #Constraints: 41821
2037.00/2041.87 c #Conflicts: 1737000 | #Constraints: 42821
2037.00/2041.87 c #Conflicts: 1738000 | #Constraints: 43821
2037.00/2041.87 c #Conflicts: 1739000 | #Constraints: 44821
2037.00/2041.87 c #Conflicts: 1740000 | #Constraints: 45821
2037.00/2041.87 c #Conflicts: 1741000 | #Constraints: 46821
2037.00/2041.87 c #Conflicts: 1742000 | #Constraints: 47821
2037.00/2041.87 c #Conflicts: 1743000 | #Constraints: 48821
2037.00/2041.87 c #Conflicts: 1744000 | #Constraints: 49821
2037.00/2041.87 c #Conflicts: 1745000 | #Constraints: 50821
2037.00/2041.87 c #Conflicts: 1746000 | #Constraints: 51821
2037.00/2041.87 c INPROCESSING
2037.00/2041.87 c GARBAGE COLLECT
2037.00/2041.87 c #Conflicts: 1747000 | #Constraints: 26621
2037.00/2041.87 c #Conflicts: 1748000 | #Constraints: 27621
2037.00/2041.87 c #Conflicts: 1749000 | #Constraints: 28621
2037.00/2041.87 c #Conflicts: 1750000 | #Constraints: 29621
2037.00/2041.87 c #Conflicts: 1751000 | #Constraints: 30621
2037.00/2041.87 c #Conflicts: 1752000 | #Constraints: 31621
2037.00/2041.87 c #Conflicts: 1753000 | #Constraints: 32621
2037.00/2041.87 c #Conflicts: 1754000 | #Constraints: 33621
2037.00/2041.87 c #Conflicts: 1755000 | #Constraints: 34621
2037.00/2041.87 c #Conflicts: 1756000 | #Constraints: 35621
2037.00/2041.87 c #Conflicts: 1757000 | #Constraints: 36621
2037.00/2041.87 c #Conflicts: 1758000 | #Constraints: 37621
2037.00/2041.87 c #Conflicts: 1759000 | #Constraints: 38621
2037.00/2041.87 c #Conflicts: 1760000 | #Constraints: 39621
2037.00/2041.87 c #Conflicts: 1761000 | #Constraints: 40621
2037.00/2041.87 c #Conflicts: 1762000 | #Constraints: 41621
2037.00/2041.87 c #Conflicts: 1763000 | #Constraints: 42621
2037.00/2041.87 c #Conflicts: 1764000 | #Constraints: 43621
2037.00/2041.87 c #Conflicts: 1765000 | #Constraints: 44621
2037.00/2041.87 c #Conflicts: 1766000 | #Constraints: 45621
2037.00/2041.87 c #Conflicts: 1767000 | #Constraints: 46621
2037.00/2041.87 c #Conflicts: 1768000 | #Constraints: 47621
2037.00/2041.87 c #Conflicts: 1769000 | #Constraints: 48621
2037.00/2041.87 c #Conflicts: 1770000 | #Constraints: 49621
2037.00/2041.87 c #Conflicts: 1771000 | #Constraints: 50621
2167.50/2172.65 c #Conflicts: 1772000 | #Constraints: 51621
2167.50/2172.65 c #Conflicts: 1773000 | #Constraints: 52621
2167.50/2172.65 c INPROCESSING
2167.50/2172.65 c GARBAGE COLLECT
2167.50/2172.65 c #Conflicts: 1774000 | #Constraints: 27220
2167.50/2172.65 c #Conflicts: 1775000 | #Constraints: 28220
2167.50/2172.65 c #Conflicts: 1776000 | #Constraints: 29220
2167.50/2172.65 c #Conflicts: 1777000 | #Constraints: 30220
2167.50/2172.65 c #Conflicts: 1778000 | #Constraints: 31220
2167.50/2172.65 c #Conflicts: 1779000 | #Constraints: 32220
2167.50/2172.65 c #Conflicts: 1780000 | #Constraints: 33220
2167.50/2172.65 c #Conflicts: 1781000 | #Constraints: 34220
2167.50/2172.65 c #Conflicts: 1782000 | #Constraints: 35220
2167.50/2172.65 c #Conflicts: 1783000 | #Constraints: 36220
2167.50/2172.65 c #Conflicts: 1784000 | #Constraints: 37220
2167.50/2172.65 c #Conflicts: 1785000 | #Constraints: 38220
2167.50/2172.65 c #Conflicts: 1786000 | #Constraints: 39220
2167.50/2172.65 c #Conflicts: 1787000 | #Constraints: 40220
2167.50/2172.65 c #Conflicts: 1788000 | #Constraints: 41220
2167.50/2172.65 c #Conflicts: 1789000 | #Constraints: 42220
2167.50/2172.65 c #Conflicts: 1790000 | #Constraints: 43220
2167.50/2172.65 c #Conflicts: 1791000 | #Constraints: 44220
2167.50/2172.65 c #Conflicts: 1792000 | #Constraints: 45220
2167.50/2172.65 c #Conflicts: 1793000 | #Constraints: 46220
2167.50/2172.65 c #Conflicts: 1794000 | #Constraints: 47220
2167.50/2172.65 c #Conflicts: 1795000 | #Constraints: 48220
2167.50/2172.65 c #Conflicts: 1796000 | #Constraints: 49220
2167.50/2172.65 c #Conflicts: 1797000 | #Constraints: 50220
2167.50/2172.65 c #Conflicts: 1798000 | #Constraints: 51220
2167.50/2172.65 c #Conflicts: 1799000 | #Constraints: 52220
2167.50/2172.65 c #Conflicts: 1800000 | #Constraints: 53220
2167.50/2172.65 c INPROCESSING
2167.50/2172.65 c GARBAGE COLLECT
2167.50/2172.65 c #Conflicts: 1801000 | #Constraints: 27620
2167.50/2172.65 c #Conflicts: 1802000 | #Constraints: 28620
2167.50/2172.65 c #Conflicts: 1803000 | #Constraints: 29620
2167.50/2172.65 c #Conflicts: 1804000 | #Constraints: 30620
2167.50/2172.65 c #Conflicts: 1805000 | #Constraints: 31620
2167.50/2172.65 c #Conflicts: 1806000 | #Constraints: 32620
2167.50/2172.65 c #Conflicts: 1807000 | #Constraints: 33620
2167.50/2172.65 c #Conflicts: 1808000 | #Constraints: 34620
2167.50/2172.65 c #Conflicts: 1809000 | #Constraints: 35620
2167.50/2172.65 c #Conflicts: 1810000 | #Constraints: 36620
2167.50/2172.65 c #Conflicts: 1811000 | #Constraints: 37620
2167.50/2172.65 c #Conflicts: 1812000 | #Constraints: 38620
2167.50/2172.65 c #Conflicts: 1813000 | #Constraints: 39620
2167.50/2172.65 c #Conflicts: 1814000 | #Constraints: 40620
2167.50/2172.65 c #Conflicts: 1815000 | #Constraints: 41620
2167.50/2172.65 c #Conflicts: 1816000 | #Constraints: 42620
2167.50/2172.65 c #Conflicts: 1817000 | #Constraints: 43620
2167.50/2172.65 c #Conflicts: 1818000 | #Constraints: 44620
2167.50/2172.65 c #Conflicts: 1819000 | #Constraints: 45620
2167.50/2172.65 c #Conflicts: 1820000 | #Constraints: 46620
2167.50/2172.65 c #Conflicts: 1821000 | #Constraints: 47620
2167.50/2172.65 c #Conflicts: 1822000 | #Constraints: 48620
2167.50/2172.65 c #Conflicts: 1823000 | #Constraints: 49620
2167.50/2172.65 c #Conflicts: 1824000 | #Constraints: 50620
2167.50/2172.65 c #Conflicts: 1825000 | #Constraints: 51620
2167.50/2172.65 c #Conflicts: 1826000 | #Constraints: 52620
2167.50/2172.65 c #Conflicts: 1827000 | #Constraints: 53620
2167.50/2172.65 c INPROCESSING
2167.50/2172.65 c GARBAGE COLLECT
2167.50/2172.65 c #Conflicts: 1828000 | #Constraints: 27820
2167.50/2172.65 c #Conflicts: 1829000 | #Constraints: 28820
2167.50/2172.65 c #Conflicts: 1830000 | #Constraints: 29820
2167.50/2172.65 c #Conflicts: 1831000 | #Constraints: 30820
2167.50/2172.65 c #Conflicts: 1832000 | #Constraints: 31820
2167.50/2172.65 c #Conflicts: 1833000 | #Constraints: 32820
2167.50/2172.65 c #Conflicts: 1834000 | #Constraints: 33820
2167.50/2172.65 c #Conflicts: 1835000 | #Constraints: 34820
2167.50/2172.65 c #Conflicts: 1836000 | #Constraints: 35820
2167.50/2172.65 c #Conflicts: 1837000 | #Constraints: 36820
2167.50/2172.65 c #Conflicts: 1838000 | #Constraints: 37820
2167.50/2172.65 c #Conflicts: 1839000 | #Constraints: 38820
2167.50/2172.65 c #Conflicts: 1840000 | #Constraints: 39820
2167.50/2172.65 c #Conflicts: 1841000 | #Constraints: 40820
2167.50/2172.65 c #Conflicts: 1842000 | #Constraints: 41820
2167.50/2172.65 c #Conflicts: 1843000 | #Constraints: 42820
2167.50/2172.65 c #Conflicts: 1844000 | #Constraints: 43820
2167.50/2172.65 c #Conflicts: 1845000 | #Constraints: 44820
2167.50/2172.65 c #Conflicts: 1846000 | #Constraints: 45820
2167.50/2172.65 c #Conflicts: 1847000 | #Constraints: 46820
2302.49/2307.91 c #Conflicts: 1848000 | #Constraints: 47820
2302.49/2307.91 c #Conflicts: 1849000 | #Constraints: 48820
2302.49/2307.91 c #Conflicts: 1850000 | #Constraints: 49820
2302.49/2307.91 c #Conflicts: 1851000 | #Constraints: 50820
2302.49/2307.91 c #Conflicts: 1852000 | #Constraints: 51820
2302.49/2307.91 c #Conflicts: 1853000 | #Constraints: 52820
2302.49/2307.91 c #Conflicts: 1854000 | #Constraints: 53820
2302.49/2307.91 c INPROCESSING
2302.49/2307.91 c GARBAGE COLLECT
2302.49/2307.91 c #Conflicts: 1855000 | #Constraints: 27823
2302.49/2307.91 c #Conflicts: 1856000 | #Constraints: 28823
2302.49/2307.91 c #Conflicts: 1857000 | #Constraints: 29823
2302.49/2307.91 c #Conflicts: 1858000 | #Constraints: 30823
2302.49/2307.91 c #Conflicts: 1859000 | #Constraints: 31823
2302.49/2307.91 c #Conflicts: 1860000 | #Constraints: 32823
2302.49/2307.91 c #Conflicts: 1861000 | #Constraints: 33823
2302.49/2307.91 c #Conflicts: 1862000 | #Constraints: 34823
2302.49/2307.91 c #Conflicts: 1863000 | #Constraints: 35823
2302.49/2307.91 c #Conflicts: 1864000 | #Constraints: 36823
2302.49/2307.91 c #Conflicts: 1865000 | #Constraints: 37823
2302.49/2307.91 c #Conflicts: 1866000 | #Constraints: 38823
2302.49/2307.91 c #Conflicts: 1867000 | #Constraints: 39823
2302.49/2307.91 c #Conflicts: 1868000 | #Constraints: 40823
2302.49/2307.91 c #Conflicts: 1869000 | #Constraints: 41823
2302.49/2307.91 c #Conflicts: 1870000 | #Constraints: 42823
2302.49/2307.91 c #Conflicts: 1871000 | #Constraints: 43823
2302.49/2307.91 c #Conflicts: 1872000 | #Constraints: 44823
2302.49/2307.91 c #Conflicts: 1873000 | #Constraints: 45823
2302.49/2307.91 c #Conflicts: 1874000 | #Constraints: 46823
2302.49/2307.91 c #Conflicts: 1875000 | #Constraints: 47823
2302.49/2307.91 c #Conflicts: 1876000 | #Constraints: 48823
2302.49/2307.91 c #Conflicts: 1877000 | #Constraints: 49823
2302.49/2307.91 c #Conflicts: 1878000 | #Constraints: 50823
2302.49/2307.91 c #Conflicts: 1879000 | #Constraints: 51823
2302.49/2307.91 c #Conflicts: 1880000 | #Constraints: 52823
2302.49/2307.91 c #Conflicts: 1881000 | #Constraints: 53823
2302.49/2307.91 c INPROCESSING
2302.49/2307.91 c GARBAGE COLLECT
2302.49/2307.91 c #Conflicts: 1882000 | #Constraints: 27624
2302.49/2307.91 c #Conflicts: 1883000 | #Constraints: 28624
2302.49/2307.91 c #Conflicts: 1884000 | #Constraints: 29624
2302.49/2307.91 c #Conflicts: 1885000 | #Constraints: 30624
2302.49/2307.91 c #Conflicts: 1886000 | #Constraints: 31624
2302.49/2307.91 c #Conflicts: 1887000 | #Constraints: 32624
2302.49/2307.91 c #Conflicts: 1888000 | #Constraints: 33624
2302.49/2307.91 c #Conflicts: 1889000 | #Constraints: 34624
2302.49/2307.91 c #Conflicts: 1890000 | #Constraints: 35624
2302.49/2307.91 c #Conflicts: 1891000 | #Constraints: 36624
2302.49/2307.91 c #Conflicts: 1892000 | #Constraints: 37624
2302.49/2307.91 c #Conflicts: 1893000 | #Constraints: 38624
2302.49/2307.91 c #Conflicts: 1894000 | #Constraints: 39624
2302.49/2307.91 c #Conflicts: 1895000 | #Constraints: 40624
2302.49/2307.91 c #Conflicts: 1896000 | #Constraints: 41624
2302.49/2307.91 c #Conflicts: 1897000 | #Constraints: 42624
2302.49/2307.91 c #Conflicts: 1898000 | #Constraints: 43624
2302.49/2307.91 c #Conflicts: 1899000 | #Constraints: 44624
2302.49/2307.91 c #Conflicts: 1900000 | #Constraints: 45624
2302.49/2307.91 c #Conflicts: 1901000 | #Constraints: 46624
2302.49/2307.91 c #Conflicts: 1902000 | #Constraints: 47624
2302.49/2307.91 c #Conflicts: 1903000 | #Constraints: 48624
2302.49/2307.91 c #Conflicts: 1904000 | #Constraints: 49624
2302.49/2307.91 c #Conflicts: 1905000 | #Constraints: 50624
2302.49/2307.91 c #Conflicts: 1906000 | #Constraints: 51624
2302.49/2307.91 c #Conflicts: 1907000 | #Constraints: 52624
2302.49/2307.91 c #Conflicts: 1908000 | #Constraints: 53624
2302.49/2307.91 c #Conflicts: 1909000 | #Constraints: 54624
2302.49/2307.91 c INPROCESSING
2302.49/2307.91 c GARBAGE COLLECT
2302.49/2307.91 c #Conflicts: 1910000 | #Constraints: 28223
2302.49/2307.91 c #Conflicts: 1911000 | #Constraints: 29223
2302.49/2307.91 c #Conflicts: 1912000 | #Constraints: 30223
2302.49/2307.91 c #Conflicts: 1913000 | #Constraints: 31223
2302.49/2307.91 c #Conflicts: 1914000 | #Constraints: 32223
2302.49/2307.91 c #Conflicts: 1915000 | #Constraints: 33223
2302.49/2307.91 c #Conflicts: 1916000 | #Constraints: 34223
2302.49/2307.91 c #Conflicts: 1917000 | #Constraints: 35223
2302.49/2307.91 c #Conflicts: 1918000 | #Constraints: 36223
2302.49/2307.91 c #Conflicts: 1919000 | #Constraints: 37223
2302.49/2307.91 c #Conflicts: 1920000 | #Constraints: 38223
2302.49/2307.91 c #Conflicts: 1921000 | #Constraints: 39223
2302.49/2307.91 c #Conflicts: 1922000 | #Constraints: 40223
2302.49/2307.91 c #Conflicts: 1923000 | #Constraints: 41223
2302.49/2307.91 c #Conflicts: 1924000 | #Constraints: 42223
2438.08/2443.83 c #Conflicts: 1925000 | #Constraints: 43223
2438.08/2443.83 c #Conflicts: 1926000 | #Constraints: 44223
2438.08/2443.83 c #Conflicts: 1927000 | #Constraints: 45223
2438.08/2443.83 c #Conflicts: 1928000 | #Constraints: 46223
2438.08/2443.83 c #Conflicts: 1929000 | #Constraints: 47223
2438.08/2443.83 c #Conflicts: 1930000 | #Constraints: 48223
2438.08/2443.83 c #Conflicts: 1931000 | #Constraints: 49223
2438.08/2443.83 c #Conflicts: 1932000 | #Constraints: 50223
2438.08/2443.83 c #Conflicts: 1933000 | #Constraints: 51223
2438.08/2443.83 c #Conflicts: 1934000 | #Constraints: 52223
2438.08/2443.83 c #Conflicts: 1935000 | #Constraints: 53223
2438.08/2443.83 c #Conflicts: 1936000 | #Constraints: 54223
2438.08/2443.83 c #Conflicts: 1937000 | #Constraints: 55223
2438.08/2443.83 c INPROCESSING
2438.08/2443.83 c GARBAGE COLLECT
2438.08/2443.83 c #Conflicts: 1938000 | #Constraints: 28623
2438.08/2443.83 c #Conflicts: 1939000 | #Constraints: 29623
2438.08/2443.83 c #Conflicts: 1940000 | #Constraints: 30623
2438.08/2443.83 c #Conflicts: 1941000 | #Constraints: 31623
2438.08/2443.83 c #Conflicts: 1942000 | #Constraints: 32623
2438.08/2443.83 c #Conflicts: 1943000 | #Constraints: 33623
2438.08/2443.83 c #Conflicts: 1944000 | #Constraints: 34623
2438.08/2443.83 c #Conflicts: 1945000 | #Constraints: 35623
2438.08/2443.83 c #Conflicts: 1946000 | #Constraints: 36623
2438.08/2443.83 c #Conflicts: 1947000 | #Constraints: 37623
2438.08/2443.83 c #Conflicts: 1948000 | #Constraints: 38623
2438.08/2443.83 c #Conflicts: 1949000 | #Constraints: 39623
2438.08/2443.83 c #Conflicts: 1950000 | #Constraints: 40623
2438.08/2443.83 c #Conflicts: 1951000 | #Constraints: 41623
2438.08/2443.83 c #Conflicts: 1952000 | #Constraints: 42623
2438.08/2443.83 c #Conflicts: 1953000 | #Constraints: 43623
2438.08/2443.83 c #Conflicts: 1954000 | #Constraints: 44623
2438.08/2443.83 c #Conflicts: 1955000 | #Constraints: 45623
2438.08/2443.83 c #Conflicts: 1956000 | #Constraints: 46623
2438.08/2443.83 c #Conflicts: 1957000 | #Constraints: 47623
2438.08/2443.83 c #Conflicts: 1958000 | #Constraints: 48623
2438.08/2443.83 c #Conflicts: 1959000 | #Constraints: 49623
2438.08/2443.83 c #Conflicts: 1960000 | #Constraints: 50623
2438.08/2443.83 c #Conflicts: 1961000 | #Constraints: 51623
2438.08/2443.83 c #Conflicts: 1962000 | #Constraints: 52623
2438.08/2443.83 c #Conflicts: 1963000 | #Constraints: 53623
2438.08/2443.83 c #Conflicts: 1964000 | #Constraints: 54623
2438.08/2443.83 c #Conflicts: 1965000 | #Constraints: 55623
2438.08/2443.83 c INPROCESSING
2438.08/2443.83 c GARBAGE COLLECT
2438.08/2443.83 c #Conflicts: 1966000 | #Constraints: 28825
2438.08/2443.83 c #Conflicts: 1967000 | #Constraints: 29825
2438.08/2443.83 c #Conflicts: 1968000 | #Constraints: 30825
2438.08/2443.83 c #Conflicts: 1969000 | #Constraints: 31825
2438.08/2443.83 c #Conflicts: 1970000 | #Constraints: 32825
2438.08/2443.83 c #Conflicts: 1971000 | #Constraints: 33825
2438.08/2443.83 c #Conflicts: 1972000 | #Constraints: 34825
2438.08/2443.83 c #Conflicts: 1973000 | #Constraints: 35825
2438.08/2443.83 c #Conflicts: 1974000 | #Constraints: 36825
2438.08/2443.83 c #Conflicts: 1975000 | #Constraints: 37825
2438.08/2443.83 c #Conflicts: 1976000 | #Constraints: 38825
2438.08/2443.83 c #Conflicts: 1977000 | #Constraints: 39825
2438.08/2443.83 c #Conflicts: 1978000 | #Constraints: 40825
2438.08/2443.83 c #Conflicts: 1979000 | #Constraints: 41825
2438.08/2443.83 c #Conflicts: 1980000 | #Constraints: 42825
2438.08/2443.83 c #Conflicts: 1981000 | #Constraints: 43825
2438.08/2443.83 c #Conflicts: 1982000 | #Constraints: 44825
2438.08/2443.83 c #Conflicts: 1983000 | #Constraints: 45825
2438.08/2443.83 c #Conflicts: 1984000 | #Constraints: 46825
2438.08/2443.83 c #Conflicts: 1985000 | #Constraints: 47825
2438.08/2443.83 c #Conflicts: 1986000 | #Constraints: 48825
2438.08/2443.83 c #Conflicts: 1987000 | #Constraints: 49825
2438.08/2443.83 c #Conflicts: 1988000 | #Constraints: 50825
2438.08/2443.83 c #Conflicts: 1989000 | #Constraints: 51825
2438.08/2443.83 c #Conflicts: 1990000 | #Constraints: 52825
2438.08/2443.83 c #Conflicts: 1991000 | #Constraints: 53825
2438.08/2443.83 c #Conflicts: 1992000 | #Constraints: 54825
2438.08/2443.83 c #Conflicts: 1993000 | #Constraints: 55825
2438.08/2443.83 c INPROCESSING
2438.08/2443.83 c GARBAGE COLLECT
2438.08/2443.83 c #Conflicts: 1994000 | #Constraints: 28823
2438.08/2443.83 c #Conflicts: 1995000 | #Constraints: 29823
2438.08/2443.83 c #Conflicts: 1996000 | #Constraints: 30823
2438.08/2443.83 c #Conflicts: 1997000 | #Constraints: 31823
2438.08/2443.83 c #Conflicts: 1998000 | #Constraints: 32823
2438.08/2443.83 c #Conflicts: 1999000 | #Constraints: 33823
2438.08/2443.83 c #Conflicts: 2000000 | #Constraints: 34823
2438.08/2443.83 c #Conflicts: 2001000 | #Constraints: 35823
2580.16/2586.29 c #Conflicts: 2002000 | #Constraints: 36823
2580.16/2586.29 c #Conflicts: 2003000 | #Constraints: 37823
2580.16/2586.29 c #Conflicts: 2004000 | #Constraints: 38823
2580.16/2586.29 c #Conflicts: 2005000 | #Constraints: 39823
2580.16/2586.29 c #Conflicts: 2006000 | #Constraints: 40823
2580.16/2586.29 c #Conflicts: 2007000 | #Constraints: 41823
2580.16/2586.29 c #Conflicts: 2008000 | #Constraints: 42823
2580.16/2586.29 c #Conflicts: 2009000 | #Constraints: 43823
2580.16/2586.29 c #Conflicts: 2010000 | #Constraints: 44823
2580.16/2586.29 c #Conflicts: 2011000 | #Constraints: 45823
2580.16/2586.29 c #Conflicts: 2012000 | #Constraints: 46823
2580.16/2586.29 c #Conflicts: 2013000 | #Constraints: 47823
2580.16/2586.29 c #Conflicts: 2014000 | #Constraints: 48823
2580.16/2586.29 c #Conflicts: 2015000 | #Constraints: 49823
2580.16/2586.29 c #Conflicts: 2016000 | #Constraints: 50823
2580.16/2586.29 c #Conflicts: 2017000 | #Constraints: 51823
2580.16/2586.29 c #Conflicts: 2018000 | #Constraints: 52823
2580.16/2586.29 c #Conflicts: 2019000 | #Constraints: 53823
2580.16/2586.29 c #Conflicts: 2020000 | #Constraints: 54823
2580.16/2586.29 c #Conflicts: 2021000 | #Constraints: 55823
2580.16/2586.29 c INPROCESSING
2580.16/2586.29 c GARBAGE COLLECT
2580.16/2586.29 c #Conflicts: 2022000 | #Constraints: 28622
2580.16/2586.29 c #Conflicts: 2023000 | #Constraints: 29622
2580.16/2586.29 c #Conflicts: 2024000 | #Constraints: 30622
2580.16/2586.29 c #Conflicts: 2025000 | #Constraints: 31622
2580.16/2586.29 c #Conflicts: 2026000 | #Constraints: 32622
2580.16/2586.29 c #Conflicts: 2027000 | #Constraints: 33622
2580.16/2586.29 c #Conflicts: 2028000 | #Constraints: 34622
2580.16/2586.29 c #Conflicts: 2029000 | #Constraints: 35622
2580.16/2586.29 c #Conflicts: 2030000 | #Constraints: 36622
2580.16/2586.29 c #Conflicts: 2031000 | #Constraints: 37622
2580.16/2586.29 c #Conflicts: 2032000 | #Constraints: 38622
2580.16/2586.29 c #Conflicts: 2033000 | #Constraints: 39622
2580.16/2586.29 c #Conflicts: 2034000 | #Constraints: 40622
2580.16/2586.29 c #Conflicts: 2035000 | #Constraints: 41622
2580.16/2586.29 c #Conflicts: 2036000 | #Constraints: 42622
2580.16/2586.29 c #Conflicts: 2037000 | #Constraints: 43622
2580.16/2586.29 c #Conflicts: 2038000 | #Constraints: 44622
2580.16/2586.29 c #Conflicts: 2039000 | #Constraints: 45622
2580.16/2586.29 c #Conflicts: 2040000 | #Constraints: 46622
2580.16/2586.29 c #Conflicts: 2041000 | #Constraints: 47622
2580.16/2586.29 c #Conflicts: 2042000 | #Constraints: 48622
2580.16/2586.29 c #Conflicts: 2043000 | #Constraints: 49622
2580.16/2586.29 c #Conflicts: 2044000 | #Constraints: 50622
2580.16/2586.29 c #Conflicts: 2045000 | #Constraints: 51622
2580.16/2586.29 c #Conflicts: 2046000 | #Constraints: 52622
2580.16/2586.29 c #Conflicts: 2047000 | #Constraints: 53622
2580.16/2586.29 c #Conflicts: 2048000 | #Constraints: 54622
2580.16/2586.29 c #Conflicts: 2049000 | #Constraints: 55622
2580.16/2586.29 c #Conflicts: 2050000 | #Constraints: 56622
2580.16/2586.29 c INPROCESSING
2580.16/2586.29 c GARBAGE COLLECT
2580.16/2586.29 c #Conflicts: 2051000 | #Constraints: 29223
2580.16/2586.29 c #Conflicts: 2052000 | #Constraints: 30223
2580.16/2586.29 c #Conflicts: 2053000 | #Constraints: 31223
2580.16/2586.29 c #Conflicts: 2054000 | #Constraints: 32223
2580.16/2586.29 c #Conflicts: 2055000 | #Constraints: 33223
2580.16/2586.29 c #Conflicts: 2056000 | #Constraints: 34223
2580.16/2586.29 c #Conflicts: 2057000 | #Constraints: 35223
2580.16/2586.29 c #Conflicts: 2058000 | #Constraints: 36223
2580.16/2586.29 c #Conflicts: 2059000 | #Constraints: 37223
2580.16/2586.29 c #Conflicts: 2060000 | #Constraints: 38223
2580.16/2586.29 c #Conflicts: 2061000 | #Constraints: 39223
2580.16/2586.29 c #Conflicts: 2062000 | #Constraints: 40223
2580.16/2586.29 c #Conflicts: 2063000 | #Constraints: 41223
2580.16/2586.29 c #Conflicts: 2064000 | #Constraints: 42223
2580.16/2586.29 c #Conflicts: 2065000 | #Constraints: 43223
2580.16/2586.29 c #Conflicts: 2066000 | #Constraints: 44223
2580.16/2586.29 c #Conflicts: 2067000 | #Constraints: 45223
2580.16/2586.29 c #Conflicts: 2068000 | #Constraints: 46223
2580.16/2586.29 c #Conflicts: 2069000 | #Constraints: 47223
2580.16/2586.29 c #Conflicts: 2070000 | #Constraints: 48223
2580.16/2586.29 c #Conflicts: 2071000 | #Constraints: 49223
2580.16/2586.29 c #Conflicts: 2072000 | #Constraints: 50223
2580.16/2586.29 c #Conflicts: 2073000 | #Constraints: 51223
2580.16/2586.29 c #Conflicts: 2074000 | #Constraints: 52223
2580.16/2586.29 c #Conflicts: 2075000 | #Constraints: 53223
2580.16/2586.29 c #Conflicts: 2076000 | #Constraints: 54223
2580.16/2586.29 c #Conflicts: 2077000 | #Constraints: 55223
2580.16/2586.29 c #Conflicts: 2078000 | #Constraints: 56223
2580.16/2586.29 c #Conflicts: 2079000 | #Constraints: 57223
2727.38/2733.85 c INPROCESSING
2727.38/2733.85 c GARBAGE COLLECT
2727.38/2733.85 c #Conflicts: 2080000 | #Constraints: 29624
2727.38/2733.85 c #Conflicts: 2081000 | #Constraints: 30624
2727.38/2733.85 c #Conflicts: 2082000 | #Constraints: 31624
2727.38/2733.85 c #Conflicts: 2083000 | #Constraints: 32624
2727.38/2733.85 c #Conflicts: 2084000 | #Constraints: 33624
2727.38/2733.85 c #Conflicts: 2085000 | #Constraints: 34624
2727.38/2733.85 c #Conflicts: 2086000 | #Constraints: 35624
2727.38/2733.85 c #Conflicts: 2087000 | #Constraints: 36624
2727.38/2733.85 c #Conflicts: 2088000 | #Constraints: 37624
2727.38/2733.85 c #Conflicts: 2089000 | #Constraints: 38624
2727.38/2733.85 c #Conflicts: 2090000 | #Constraints: 39624
2727.38/2733.85 c #Conflicts: 2091000 | #Constraints: 40624
2727.38/2733.85 c #Conflicts: 2092000 | #Constraints: 41624
2727.38/2733.85 c #Conflicts: 2093000 | #Constraints: 42624
2727.38/2733.85 c #Conflicts: 2094000 | #Constraints: 43624
2727.38/2733.85 c #Conflicts: 2095000 | #Constraints: 44624
2727.38/2733.85 c #Conflicts: 2096000 | #Constraints: 45624
2727.38/2733.85 c #Conflicts: 2097000 | #Constraints: 46624
2727.38/2733.85 c #Conflicts: 2098000 | #Constraints: 47624
2727.38/2733.85 c #Conflicts: 2099000 | #Constraints: 48624
2727.38/2733.85 c #Conflicts: 2100000 | #Constraints: 49624
2727.38/2733.85 c #Conflicts: 2101000 | #Constraints: 50624
2727.38/2733.85 c #Conflicts: 2102000 | #Constraints: 51624
2727.38/2733.85 c #Conflicts: 2103000 | #Constraints: 52624
2727.38/2733.85 c #Conflicts: 2104000 | #Constraints: 53624
2727.38/2733.85 c #Conflicts: 2105000 | #Constraints: 54624
2727.38/2733.85 c #Conflicts: 2106000 | #Constraints: 55624
2727.38/2733.85 c #Conflicts: 2107000 | #Constraints: 56624
2727.38/2733.85 c #Conflicts: 2108000 | #Constraints: 57624
2727.38/2733.85 c INPROCESSING
2727.38/2733.85 c GARBAGE COLLECT
2727.38/2733.85 c #Conflicts: 2109000 | #Constraints: 29822
2727.38/2733.85 c #Conflicts: 2110000 | #Constraints: 30822
2727.38/2733.85 c #Conflicts: 2111000 | #Constraints: 31822
2727.38/2733.85 c #Conflicts: 2112000 | #Constraints: 32822
2727.38/2733.85 c #Conflicts: 2113000 | #Constraints: 33822
2727.38/2733.85 c #Conflicts: 2114000 | #Constraints: 34822
2727.38/2733.85 c #Conflicts: 2115000 | #Constraints: 35822
2727.38/2733.85 c #Conflicts: 2116000 | #Constraints: 36822
2727.38/2733.85 c #Conflicts: 2117000 | #Constraints: 37822
2727.38/2733.85 c #Conflicts: 2118000 | #Constraints: 38822
2727.38/2733.85 c #Conflicts: 2119000 | #Constraints: 39822
2727.38/2733.85 c #Conflicts: 2120000 | #Constraints: 40822
2727.38/2733.85 c #Conflicts: 2121000 | #Constraints: 41822
2727.38/2733.85 c #Conflicts: 2122000 | #Constraints: 42822
2727.38/2733.85 c #Conflicts: 2123000 | #Constraints: 43822
2727.38/2733.85 c #Conflicts: 2124000 | #Constraints: 44822
2727.38/2733.85 c #Conflicts: 2125000 | #Constraints: 45822
2727.38/2733.85 c #Conflicts: 2126000 | #Constraints: 46822
2727.38/2733.85 c #Conflicts: 2127000 | #Constraints: 47822
2727.38/2733.85 c #Conflicts: 2128000 | #Constraints: 48822
2727.38/2733.85 c #Conflicts: 2129000 | #Constraints: 49822
2727.38/2733.85 c #Conflicts: 2130000 | #Constraints: 50822
2727.38/2733.85 c #Conflicts: 2131000 | #Constraints: 51822
2727.38/2733.85 c #Conflicts: 2132000 | #Constraints: 52822
2727.38/2733.85 c #Conflicts: 2133000 | #Constraints: 53822
2727.38/2733.85 c #Conflicts: 2134000 | #Constraints: 54822
2727.38/2733.85 c #Conflicts: 2135000 | #Constraints: 55822
2727.38/2733.85 c #Conflicts: 2136000 | #Constraints: 56822
2727.38/2733.85 c #Conflicts: 2137000 | #Constraints: 57822
2727.38/2733.85 c INPROCESSING
2727.38/2733.85 c GARBAGE COLLECT
2727.38/2733.85 c #Conflicts: 2138000 | #Constraints: 29823
2727.38/2733.85 c #Conflicts: 2139000 | #Constraints: 30823
2727.38/2733.85 c #Conflicts: 2140000 | #Constraints: 31823
2727.38/2733.85 c #Conflicts: 2141000 | #Constraints: 32823
2727.38/2733.85 c #Conflicts: 2142000 | #Constraints: 33823
2727.38/2733.85 c #Conflicts: 2143000 | #Constraints: 34823
2727.38/2733.85 c #Conflicts: 2144000 | #Constraints: 35823
2727.38/2733.85 c #Conflicts: 2145000 | #Constraints: 36823
2727.38/2733.85 c #Conflicts: 2146000 | #Constraints: 37823
2727.38/2733.85 c #Conflicts: 2147000 | #Constraints: 38823
2727.38/2733.85 c #Conflicts: 2148000 | #Constraints: 39823
2727.38/2733.85 c #Conflicts: 2149000 | #Constraints: 40823
2727.38/2733.85 c #Conflicts: 2150000 | #Constraints: 41823
2727.38/2733.85 c #Conflicts: 2151000 | #Constraints: 42823
2727.38/2733.85 c #Conflicts: 2152000 | #Constraints: 43823
2727.38/2733.85 c #Conflicts: 2153000 | #Constraints: 44823
2727.38/2733.85 c #Conflicts: 2154000 | #Constraints: 45823
2727.38/2733.85 c #Conflicts: 2155000 | #Constraints: 46823
2727.38/2733.85 c #Conflicts: 2156000 | #Constraints: 47823
2881.95/2888.86 c #Conflicts: 2157000 | #Constraints: 48823
2881.95/2888.86 c #Conflicts: 2158000 | #Constraints: 49823
2881.95/2888.86 c #Conflicts: 2159000 | #Constraints: 50823
2881.95/2888.86 c #Conflicts: 2160000 | #Constraints: 51823
2881.95/2888.86 c #Conflicts: 2161000 | #Constraints: 52823
2881.95/2888.86 c #Conflicts: 2162000 | #Constraints: 53823
2881.95/2888.86 c #Conflicts: 2163000 | #Constraints: 54823
2881.95/2888.86 c #Conflicts: 2164000 | #Constraints: 55823
2881.95/2888.86 c #Conflicts: 2165000 | #Constraints: 56823
2881.95/2888.86 c #Conflicts: 2166000 | #Constraints: 57823
2881.95/2888.86 c INPROCESSING
2881.95/2888.86 c GARBAGE COLLECT
2881.95/2888.86 c #Conflicts: 2167000 | #Constraints: 29625
2881.95/2888.86 c #Conflicts: 2168000 | #Constraints: 30625
2881.95/2888.86 c #Conflicts: 2169000 | #Constraints: 31625
2881.95/2888.86 c #Conflicts: 2170000 | #Constraints: 32625
2881.95/2888.86 c #Conflicts: 2171000 | #Constraints: 33625
2881.95/2888.86 c #Conflicts: 2172000 | #Constraints: 34625
2881.95/2888.86 c #Conflicts: 2173000 | #Constraints: 35625
2881.95/2888.86 c #Conflicts: 2174000 | #Constraints: 36625
2881.95/2888.86 c #Conflicts: 2175000 | #Constraints: 37625
2881.95/2888.86 c #Conflicts: 2176000 | #Constraints: 38625
2881.95/2888.86 c #Conflicts: 2177000 | #Constraints: 39625
2881.95/2888.86 c #Conflicts: 2178000 | #Constraints: 40625
2881.95/2888.86 c #Conflicts: 2179000 | #Constraints: 41625
2881.95/2888.86 c #Conflicts: 2180000 | #Constraints: 42625
2881.95/2888.86 c #Conflicts: 2181000 | #Constraints: 43625
2881.95/2888.86 c #Conflicts: 2182000 | #Constraints: 44625
2881.95/2888.86 c #Conflicts: 2183000 | #Constraints: 45625
2881.95/2888.86 c #Conflicts: 2184000 | #Constraints: 46625
2881.95/2888.86 c #Conflicts: 2185000 | #Constraints: 47625
2881.95/2888.86 c #Conflicts: 2186000 | #Constraints: 48625
2881.95/2888.86 c #Conflicts: 2187000 | #Constraints: 49625
2881.95/2888.86 c #Conflicts: 2188000 | #Constraints: 50625
2881.95/2888.86 c #Conflicts: 2189000 | #Constraints: 51625
2881.95/2888.86 c #Conflicts: 2190000 | #Constraints: 52625
2881.95/2888.86 c #Conflicts: 2191000 | #Constraints: 53625
2881.95/2888.86 c #Conflicts: 2192000 | #Constraints: 54625
2881.95/2888.86 c #Conflicts: 2193000 | #Constraints: 55625
2881.95/2888.86 c #Conflicts: 2194000 | #Constraints: 56625
2881.95/2888.86 c #Conflicts: 2195000 | #Constraints: 57625
2881.95/2888.86 c #Conflicts: 2196000 | #Constraints: 58625
2881.95/2888.86 c INPROCESSING
2881.95/2888.86 c GARBAGE COLLECT
2881.95/2888.86 c #Conflicts: 2197000 | #Constraints: 30227
2881.95/2888.86 c #Conflicts: 2198000 | #Constraints: 31227
2881.95/2888.86 c #Conflicts: 2199000 | #Constraints: 32227
2881.95/2888.86 c #Conflicts: 2200000 | #Constraints: 33227
2881.95/2888.86 c #Conflicts: 2201000 | #Constraints: 34227
2881.95/2888.86 c #Conflicts: 2202000 | #Constraints: 35227
2881.95/2888.86 c #Conflicts: 2203000 | #Constraints: 36227
2881.95/2888.86 c #Conflicts: 2204000 | #Constraints: 37227
2881.95/2888.86 c #Conflicts: 2205000 | #Constraints: 38227
2881.95/2888.86 c #Conflicts: 2206000 | #Constraints: 39227
2881.95/2888.86 c #Conflicts: 2207000 | #Constraints: 40227
2881.95/2888.86 c #Conflicts: 2208000 | #Constraints: 41227
2881.95/2888.86 c #Conflicts: 2209000 | #Constraints: 42227
2881.95/2888.86 c #Conflicts: 2210000 | #Constraints: 43227
2881.95/2888.86 c #Conflicts: 2211000 | #Constraints: 44227
2881.95/2888.86 c #Conflicts: 2212000 | #Constraints: 45227
2881.95/2888.86 c #Conflicts: 2213000 | #Constraints: 46227
2881.95/2888.86 c #Conflicts: 2214000 | #Constraints: 47227
2881.95/2888.86 c #Conflicts: 2215000 | #Constraints: 48227
2881.95/2888.86 c #Conflicts: 2216000 | #Constraints: 49227
2881.95/2888.86 c #Conflicts: 2217000 | #Constraints: 50227
2881.95/2888.86 c #Conflicts: 2218000 | #Constraints: 51227
2881.95/2888.86 c #Conflicts: 2219000 | #Constraints: 52227
2881.95/2888.86 c #Conflicts: 2220000 | #Constraints: 53227
2881.95/2888.86 c #Conflicts: 2221000 | #Constraints: 54227
2881.95/2888.86 c #Conflicts: 2222000 | #Constraints: 55227
2881.95/2888.86 c #Conflicts: 2223000 | #Constraints: 56227
2881.95/2888.86 c #Conflicts: 2224000 | #Constraints: 57227
2881.95/2888.86 c #Conflicts: 2225000 | #Constraints: 58227
2881.95/2888.86 c #Conflicts: 2226000 | #Constraints: 59227
2881.95/2888.86 c INPROCESSING
2881.95/2888.86 c GARBAGE COLLECT
2881.95/2888.86 c #Conflicts: 2227000 | #Constraints: 30628
2881.95/2888.86 c #Conflicts: 2228000 | #Constraints: 31628
2881.95/2888.86 c #Conflicts: 2229000 | #Constraints: 32628
2881.95/2888.86 c #Conflicts: 2230000 | #Constraints: 33628
2881.95/2888.86 c #Conflicts: 2231000 | #Constraints: 34628
2881.95/2888.86 c #Conflicts: 2232000 | #Constraints: 35628
3045.53/3052.83 c #Conflicts: 2233000 | #Constraints: 36628
3045.53/3052.83 c #Conflicts: 2234000 | #Constraints: 37628
3045.53/3052.83 c #Conflicts: 2235000 | #Constraints: 38628
3045.53/3052.83 c #Conflicts: 2236000 | #Constraints: 39628
3045.53/3052.83 c #Conflicts: 2237000 | #Constraints: 40628
3045.53/3052.83 c #Conflicts: 2238000 | #Constraints: 41628
3045.53/3052.83 c #Conflicts: 2239000 | #Constraints: 42628
3045.53/3052.83 c #Conflicts: 2240000 | #Constraints: 43628
3045.53/3052.83 c #Conflicts: 2241000 | #Constraints: 44628
3045.53/3052.83 c #Conflicts: 2242000 | #Constraints: 45628
3045.53/3052.83 c #Conflicts: 2243000 | #Constraints: 46628
3045.53/3052.83 c #Conflicts: 2244000 | #Constraints: 47628
3045.53/3052.83 c #Conflicts: 2245000 | #Constraints: 48628
3045.53/3052.83 c #Conflicts: 2246000 | #Constraints: 49628
3045.53/3052.83 c #Conflicts: 2247000 | #Constraints: 50628
3045.53/3052.83 c #Conflicts: 2248000 | #Constraints: 51628
3045.53/3052.83 c #Conflicts: 2249000 | #Constraints: 52628
3045.53/3052.83 c #Conflicts: 2250000 | #Constraints: 53628
3045.53/3052.83 c #Conflicts: 2251000 | #Constraints: 54628
3045.53/3052.83 c #Conflicts: 2252000 | #Constraints: 55628
3045.53/3052.83 c #Conflicts: 2253000 | #Constraints: 56628
3045.53/3052.83 c #Conflicts: 2254000 | #Constraints: 57628
3045.53/3052.83 c #Conflicts: 2255000 | #Constraints: 58628
3045.53/3052.83 c #Conflicts: 2256000 | #Constraints: 59628
3045.53/3052.83 c INPROCESSING
3045.53/3052.83 c GARBAGE COLLECT
3045.53/3052.83 c #Conflicts: 2257000 | #Constraints: 30826
3045.53/3052.83 c #Conflicts: 2258000 | #Constraints: 31826
3045.53/3052.83 c #Conflicts: 2259000 | #Constraints: 32826
3045.53/3052.83 c #Conflicts: 2260000 | #Constraints: 33826
3045.53/3052.83 c #Conflicts: 2261000 | #Constraints: 34826
3045.53/3052.83 c #Conflicts: 2262000 | #Constraints: 35826
3045.53/3052.83 c #Conflicts: 2263000 | #Constraints: 36826
3045.53/3052.83 c #Conflicts: 2264000 | #Constraints: 37826
3045.53/3052.83 c #Conflicts: 2265000 | #Constraints: 38826
3045.53/3052.83 c #Conflicts: 2266000 | #Constraints: 39826
3045.53/3052.83 c #Conflicts: 2267000 | #Constraints: 40826
3045.53/3052.83 c #Conflicts: 2268000 | #Constraints: 41826
3045.53/3052.83 c #Conflicts: 2269000 | #Constraints: 42826
3045.53/3052.83 c #Conflicts: 2270000 | #Constraints: 43826
3045.53/3052.83 c #Conflicts: 2271000 | #Constraints: 44826
3045.53/3052.83 c #Conflicts: 2272000 | #Constraints: 45826
3045.53/3052.83 c #Conflicts: 2273000 | #Constraints: 46826
3045.53/3052.83 c #Conflicts: 2274000 | #Constraints: 47826
3045.53/3052.83 c #Conflicts: 2275000 | #Constraints: 48826
3045.53/3052.83 c #Conflicts: 2276000 | #Constraints: 49826
3045.53/3052.83 c #Conflicts: 2277000 | #Constraints: 50826
3045.53/3052.83 c #Conflicts: 2278000 | #Constraints: 51826
3045.53/3052.83 c #Conflicts: 2279000 | #Constraints: 52826
3045.53/3052.83 c #Conflicts: 2280000 | #Constraints: 53826
3045.53/3052.83 c #Conflicts: 2281000 | #Constraints: 54826
3045.53/3052.83 c #Conflicts: 2282000 | #Constraints: 55826
3045.53/3052.83 c #Conflicts: 2283000 | #Constraints: 56826
3045.53/3052.83 c #Conflicts: 2284000 | #Constraints: 57826
3045.53/3052.83 c #Conflicts: 2285000 | #Constraints: 58826
3045.53/3052.83 c #Conflicts: 2286000 | #Constraints: 59826
3045.53/3052.83 c INPROCESSING
3045.53/3052.83 c GARBAGE COLLECT
3045.53/3052.83 c #Conflicts: 2287000 | #Constraints: 30825
3045.53/3052.83 c #Conflicts: 2288000 | #Constraints: 31825
3045.53/3052.83 c #Conflicts: 2289000 | #Constraints: 32825
3045.53/3052.83 c #Conflicts: 2290000 | #Constraints: 33825
3045.53/3052.83 c #Conflicts: 2291000 | #Constraints: 34825
3045.53/3052.83 c #Conflicts: 2292000 | #Constraints: 35825
3045.53/3052.83 c #Conflicts: 2293000 | #Constraints: 36825
3045.53/3052.83 c #Conflicts: 2294000 | #Constraints: 37825
3045.53/3052.83 c #Conflicts: 2295000 | #Constraints: 38825
3045.53/3052.83 c #Conflicts: 2296000 | #Constraints: 39825
3045.53/3052.83 c #Conflicts: 2297000 | #Constraints: 40825
3045.53/3052.83 c #Conflicts: 2298000 | #Constraints: 41825
3045.53/3052.83 c #Conflicts: 2299000 | #Constraints: 42825
3045.53/3052.83 c #Conflicts: 2300000 | #Constraints: 43825
3045.53/3052.83 c #Conflicts: 2301000 | #Constraints: 44825
3045.53/3052.83 c #Conflicts: 2302000 | #Constraints: 45825
3045.53/3052.83 c #Conflicts: 2303000 | #Constraints: 46825
3045.53/3052.83 c #Conflicts: 2304000 | #Constraints: 47825
3045.53/3052.83 c #Conflicts: 2305000 | #Constraints: 48825
3045.53/3052.83 c #Conflicts: 2306000 | #Constraints: 49825
3045.53/3052.83 c #Conflicts: 2307000 | #Constraints: 50825
3045.53/3052.83 c #Conflicts: 2308000 | #Constraints: 51825
3045.53/3052.83 c #Conflicts: 2309000 | #Constraints: 52825
3045.53/3052.83 c #Conflicts: 2310000 | #Constraints: 53825
3206.05/3213.79 c #Conflicts: 2311000 | #Constraints: 54825
3206.05/3213.79 c #Conflicts: 2312000 | #Constraints: 55825
3206.05/3213.79 c #Conflicts: 2313000 | #Constraints: 56825
3206.05/3213.79 c #Conflicts: 2314000 | #Constraints: 57825
3206.05/3213.79 c #Conflicts: 2315000 | #Constraints: 58825
3206.05/3213.79 c #Conflicts: 2316000 | #Constraints: 59825
3206.05/3213.79 c INPROCESSING
3206.05/3213.79 c GARBAGE COLLECT
3206.05/3213.79 c #Conflicts: 2317000 | #Constraints: 30624
3206.05/3213.79 c #Conflicts: 2318000 | #Constraints: 31624
3206.05/3213.79 c #Conflicts: 2319000 | #Constraints: 32624
3206.05/3213.79 c #Conflicts: 2320000 | #Constraints: 33624
3206.05/3213.79 c #Conflicts: 2321000 | #Constraints: 34624
3206.05/3213.79 c #Conflicts: 2322000 | #Constraints: 35624
3206.05/3213.79 c #Conflicts: 2323000 | #Constraints: 36624
3206.05/3213.79 c #Conflicts: 2324000 | #Constraints: 37624
3206.05/3213.79 c #Conflicts: 2325000 | #Constraints: 38624
3206.05/3213.79 c #Conflicts: 2326000 | #Constraints: 39624
3206.05/3213.79 c #Conflicts: 2327000 | #Constraints: 40624
3206.05/3213.79 c #Conflicts: 2328000 | #Constraints: 41624
3206.05/3213.79 c #Conflicts: 2329000 | #Constraints: 42624
3206.05/3213.79 c #Conflicts: 2330000 | #Constraints: 43624
3206.05/3213.79 c #Conflicts: 2331000 | #Constraints: 44624
3206.05/3213.79 c #Conflicts: 2332000 | #Constraints: 45624
3206.05/3213.79 c #Conflicts: 2333000 | #Constraints: 46624
3206.05/3213.79 c #Conflicts: 2334000 | #Constraints: 47624
3206.05/3213.79 c #Conflicts: 2335000 | #Constraints: 48624
3206.05/3213.79 c #Conflicts: 2336000 | #Constraints: 49624
3206.05/3213.79 c #Conflicts: 2337000 | #Constraints: 50624
3206.05/3213.79 c #Conflicts: 2338000 | #Constraints: 51624
3206.05/3213.79 c #Conflicts: 2339000 | #Constraints: 52624
3206.05/3213.79 c #Conflicts: 2340000 | #Constraints: 53624
3206.05/3213.79 c #Conflicts: 2341000 | #Constraints: 54624
3206.05/3213.79 c #Conflicts: 2342000 | #Constraints: 55624
3206.05/3213.79 c #Conflicts: 2343000 | #Constraints: 56624
3206.05/3213.79 c #Conflicts: 2344000 | #Constraints: 57624
3206.05/3213.79 c #Conflicts: 2345000 | #Constraints: 58624
3206.05/3213.79 c #Conflicts: 2346000 | #Constraints: 59624
3206.05/3213.79 c #Conflicts: 2347000 | #Constraints: 60624
3206.05/3213.79 c INPROCESSING
3206.05/3213.79 c GARBAGE COLLECT
3206.05/3213.79 c #Conflicts: 2348000 | #Constraints: 31227
3206.05/3213.79 c #Conflicts: 2349000 | #Constraints: 32227
3206.05/3213.79 c #Conflicts: 2350000 | #Constraints: 33227
3206.05/3213.79 c #Conflicts: 2351000 | #Constraints: 34227
3206.05/3213.79 c #Conflicts: 2352000 | #Constraints: 35227
3206.05/3213.79 c #Conflicts: 2353000 | #Constraints: 36227
3206.05/3213.79 c #Conflicts: 2354000 | #Constraints: 37227
3206.05/3213.79 c #Conflicts: 2355000 | #Constraints: 38227
3206.05/3213.79 c #Conflicts: 2356000 | #Constraints: 39227
3206.05/3213.79 c #Conflicts: 2357000 | #Constraints: 40227
3206.05/3213.79 c #Conflicts: 2358000 | #Constraints: 41227
3206.05/3213.79 c #Conflicts: 2359000 | #Constraints: 42227
3206.05/3213.79 c #Conflicts: 2360000 | #Constraints: 43227
3206.05/3213.79 c #Conflicts: 2361000 | #Constraints: 44227
3206.05/3213.79 c #Conflicts: 2362000 | #Constraints: 45227
3206.05/3213.79 c #Conflicts: 2363000 | #Constraints: 46227
3206.05/3213.79 c #Conflicts: 2364000 | #Constraints: 47227
3206.05/3213.79 c #Conflicts: 2365000 | #Constraints: 48227
3206.05/3213.79 c #Conflicts: 2366000 | #Constraints: 49227
3206.05/3213.79 c #Conflicts: 2367000 | #Constraints: 50227
3206.05/3213.79 c #Conflicts: 2368000 | #Constraints: 51227
3206.05/3213.79 c #Conflicts: 2369000 | #Constraints: 52227
3206.05/3213.79 c #Conflicts: 2370000 | #Constraints: 53227
3206.05/3213.79 c #Conflicts: 2371000 | #Constraints: 54227
3206.05/3213.79 c #Conflicts: 2372000 | #Constraints: 55227
3206.05/3213.79 c #Conflicts: 2373000 | #Constraints: 56227
3206.05/3213.79 c #Conflicts: 2374000 | #Constraints: 57227
3206.05/3213.79 c #Conflicts: 2375000 | #Constraints: 58227
3206.05/3213.79 c #Conflicts: 2376000 | #Constraints: 59227
3206.05/3213.79 c #Conflicts: 2377000 | #Constraints: 60227
3206.05/3213.79 c #Conflicts: 2378000 | #Constraints: 61227
3206.05/3213.79 c INPROCESSING
3206.05/3213.79 c GARBAGE COLLECT
3206.05/3213.79 c #Conflicts: 2379000 | #Constraints: 31628
3206.05/3213.79 c #Conflicts: 2380000 | #Constraints: 32628
3206.05/3213.79 c #Conflicts: 2381000 | #Constraints: 33628
3206.05/3213.79 c #Conflicts: 2382000 | #Constraints: 34628
3206.05/3213.79 c #Conflicts: 2383000 | #Constraints: 35628
3206.05/3213.79 c #Conflicts: 2384000 | #Constraints: 36628
3206.05/3213.79 c #Conflicts: 2385000 | #Constraints: 37628
3206.05/3213.79 c #Conflicts: 2386000 | #Constraints: 38628
3206.05/3213.79 c #Conflicts: 2387000 | #Constraints: 39628
3372.26/3380.39 c #Conflicts: 2388000 | #Constraints: 40628
3372.26/3380.39 c #Conflicts: 2389000 | #Constraints: 41628
3372.26/3380.39 c #Conflicts: 2390000 | #Constraints: 42628
3372.26/3380.39 c #Conflicts: 2391000 | #Constraints: 43628
3372.26/3380.39 c #Conflicts: 2392000 | #Constraints: 44628
3372.26/3380.39 c #Conflicts: 2393000 | #Constraints: 45628
3372.26/3380.39 c #Conflicts: 2394000 | #Constraints: 46628
3372.26/3380.39 c #Conflicts: 2395000 | #Constraints: 47628
3372.26/3380.39 c #Conflicts: 2396000 | #Constraints: 48628
3372.26/3380.39 c #Conflicts: 2397000 | #Constraints: 49628
3372.26/3380.39 c #Conflicts: 2398000 | #Constraints: 50628
3372.26/3380.39 c #Conflicts: 2399000 | #Constraints: 51628
3372.26/3380.39 c #Conflicts: 2400000 | #Constraints: 52628
3372.26/3380.39 c #Conflicts: 2401000 | #Constraints: 53628
3372.26/3380.39 c #Conflicts: 2402000 | #Constraints: 54628
3372.26/3380.39 c #Conflicts: 2403000 | #Constraints: 55628
3372.26/3380.39 c #Conflicts: 2404000 | #Constraints: 56628
3372.26/3380.39 c #Conflicts: 2405000 | #Constraints: 57628
3372.26/3380.39 c #Conflicts: 2406000 | #Constraints: 58628
3372.26/3380.39 c #Conflicts: 2407000 | #Constraints: 59628
3372.26/3380.39 c #Conflicts: 2408000 | #Constraints: 60628
3372.26/3380.39 c #Conflicts: 2409000 | #Constraints: 61628
3372.26/3380.39 c INPROCESSING
3372.26/3380.39 c GARBAGE COLLECT
3372.26/3380.39 c #Conflicts: 2410000 | #Constraints: 31825
3372.26/3380.39 c #Conflicts: 2411000 | #Constraints: 32825
3372.26/3380.39 c #Conflicts: 2412000 | #Constraints: 33825
3372.26/3380.39 c #Conflicts: 2413000 | #Constraints: 34825
3372.26/3380.39 c #Conflicts: 2414000 | #Constraints: 35825
3372.26/3380.39 c #Conflicts: 2415000 | #Constraints: 36825
3372.26/3380.39 c #Conflicts: 2416000 | #Constraints: 37825
3372.26/3380.39 c #Conflicts: 2417000 | #Constraints: 38825
3372.26/3380.39 c #Conflicts: 2418000 | #Constraints: 39825
3372.26/3380.39 c #Conflicts: 2419000 | #Constraints: 40825
3372.26/3380.39 c #Conflicts: 2420000 | #Constraints: 41825
3372.26/3380.39 c #Conflicts: 2421000 | #Constraints: 42825
3372.26/3380.39 c #Conflicts: 2422000 | #Constraints: 43825
3372.26/3380.39 c #Conflicts: 2423000 | #Constraints: 44825
3372.26/3380.39 c #Conflicts: 2424000 | #Constraints: 45825
3372.26/3380.39 c #Conflicts: 2425000 | #Constraints: 46825
3372.26/3380.39 c #Conflicts: 2426000 | #Constraints: 47825
3372.26/3380.39 c #Conflicts: 2427000 | #Constraints: 48825
3372.26/3380.39 c #Conflicts: 2428000 | #Constraints: 49825
3372.26/3380.39 c #Conflicts: 2429000 | #Constraints: 50825
3372.26/3380.39 c #Conflicts: 2430000 | #Constraints: 51825
3372.26/3380.39 c #Conflicts: 2431000 | #Constraints: 52825
3372.26/3380.39 c #Conflicts: 2432000 | #Constraints: 53825
3372.26/3380.39 c #Conflicts: 2433000 | #Constraints: 54825
3372.26/3380.39 c #Conflicts: 2434000 | #Constraints: 55825
3372.26/3380.39 c #Conflicts: 2435000 | #Constraints: 56825
3372.26/3380.39 c #Conflicts: 2436000 | #Constraints: 57825
3372.26/3380.39 c #Conflicts: 2437000 | #Constraints: 58825
3372.26/3380.39 c #Conflicts: 2438000 | #Constraints: 59825
3372.26/3380.39 c #Conflicts: 2439000 | #Constraints: 60825
3372.26/3380.39 c #Conflicts: 2440000 | #Constraints: 61825
3372.26/3380.39 c INPROCESSING
3372.26/3380.39 c GARBAGE COLLECT
3372.26/3380.39 c #Conflicts: 2441000 | #Constraints: 31827
3372.26/3380.39 c #Conflicts: 2442000 | #Constraints: 32827
3372.26/3380.39 c #Conflicts: 2443000 | #Constraints: 33827
3372.26/3380.39 c #Conflicts: 2444000 | #Constraints: 34827
3372.26/3380.39 c #Conflicts: 2445000 | #Constraints: 35827
3372.26/3380.39 c #Conflicts: 2446000 | #Constraints: 36827
3372.26/3380.39 c #Conflicts: 2447000 | #Constraints: 37827
3372.26/3380.39 c #Conflicts: 2448000 | #Constraints: 38827
3372.26/3380.39 c #Conflicts: 2449000 | #Constraints: 39827
3372.26/3380.39 c #Conflicts: 2450000 | #Constraints: 40827
3372.26/3380.39 c #Conflicts: 2451000 | #Constraints: 41827
3372.26/3380.39 c #Conflicts: 2452000 | #Constraints: 42827
3372.26/3380.39 c #Conflicts: 2453000 | #Constraints: 43827
3372.26/3380.39 c #Conflicts: 2454000 | #Constraints: 44827
3372.26/3380.39 c #Conflicts: 2455000 | #Constraints: 45827
3372.26/3380.39 c #Conflicts: 2456000 | #Constraints: 46827
3372.26/3380.39 c #Conflicts: 2457000 | #Constraints: 47827
3372.26/3380.39 c #Conflicts: 2458000 | #Constraints: 48827
3372.26/3380.39 c #Conflicts: 2459000 | #Constraints: 49827
3372.26/3380.39 c #Conflicts: 2460000 | #Constraints: 50827
3372.26/3380.39 c #Conflicts: 2461000 | #Constraints: 51827
3372.26/3380.39 c #Conflicts: 2462000 | #Constraints: 52827
3372.26/3380.39 c #Conflicts: 2463000 | #Constraints: 53827
3372.26/3380.39 c #Conflicts: 2464000 | #Constraints: 54827
3531.88/3540.35 c #Conflicts: 2465000 | #Constraints: 55827
3531.88/3540.35 c #Conflicts: 2466000 | #Constraints: 56827
3531.88/3540.35 c #Conflicts: 2467000 | #Constraints: 57827
3531.88/3540.35 c #Conflicts: 2468000 | #Constraints: 58827
3531.88/3540.35 c #Conflicts: 2469000 | #Constraints: 59827
3531.88/3540.35 c #Conflicts: 2470000 | #Constraints: 60827
3531.88/3540.35 c #Conflicts: 2471000 | #Constraints: 61827
3531.88/3540.35 c INPROCESSING
3531.88/3540.35 c GARBAGE COLLECT
3531.88/3540.35 c #Conflicts: 2472000 | #Constraints: 31626
3531.88/3540.35 c #Conflicts: 2473000 | #Constraints: 32626
3531.88/3540.35 c #Conflicts: 2474000 | #Constraints: 33626
3531.88/3540.35 c #Conflicts: 2475000 | #Constraints: 34626
3531.88/3540.35 c #Conflicts: 2476000 | #Constraints: 35626
3531.88/3540.35 c #Conflicts: 2477000 | #Constraints: 36626
3531.88/3540.35 c #Conflicts: 2478000 | #Constraints: 37626
3531.88/3540.35 c #Conflicts: 2479000 | #Constraints: 38626
3531.88/3540.35 c #Conflicts: 2480000 | #Constraints: 39626
3531.88/3540.35 c #Conflicts: 2481000 | #Constraints: 40626
3531.88/3540.35 c #Conflicts: 2482000 | #Constraints: 41626
3531.88/3540.35 c #Conflicts: 2483000 | #Constraints: 42626
3531.88/3540.35 c #Conflicts: 2484000 | #Constraints: 43626
3531.88/3540.35 c #Conflicts: 2485000 | #Constraints: 44626
3531.88/3540.35 c #Conflicts: 2486000 | #Constraints: 45626
3531.88/3540.35 c #Conflicts: 2487000 | #Constraints: 46626
3531.88/3540.35 c #Conflicts: 2488000 | #Constraints: 47626
3531.88/3540.35 c #Conflicts: 2489000 | #Constraints: 48626
3531.88/3540.35 c #Conflicts: 2490000 | #Constraints: 49626
3531.88/3540.35 c #Conflicts: 2491000 | #Constraints: 50626
3531.88/3540.35 c #Conflicts: 2492000 | #Constraints: 51626
3531.88/3540.35 c #Conflicts: 2493000 | #Constraints: 52626
3531.88/3540.35 c #Conflicts: 2494000 | #Constraints: 53626
3531.88/3540.35 c #Conflicts: 2495000 | #Constraints: 54626
3531.88/3540.35 c #Conflicts: 2496000 | #Constraints: 55626
3531.88/3540.35 c #Conflicts: 2497000 | #Constraints: 56626
3531.88/3540.35 c #Conflicts: 2498000 | #Constraints: 57626
3531.88/3540.35 c #Conflicts: 2499000 | #Constraints: 58626
3531.88/3540.35 c #Conflicts: 2500000 | #Constraints: 59626
3531.88/3540.35 c #Conflicts: 2501000 | #Constraints: 60626
3531.88/3540.35 c #Conflicts: 2502000 | #Constraints: 61626
3531.88/3540.35 c #Conflicts: 2503000 | #Constraints: 62626
3531.88/3540.35 c INPROCESSING
3531.88/3540.35 c GARBAGE COLLECT
3531.88/3540.35 c #Conflicts: 2504000 | #Constraints: 32222
3531.88/3540.35 c #Conflicts: 2505000 | #Constraints: 33222
3531.88/3540.35 c #Conflicts: 2506000 | #Constraints: 34222
3531.88/3540.35 c #Conflicts: 2507000 | #Constraints: 35222
3531.88/3540.35 c #Conflicts: 2508000 | #Constraints: 36222
3531.88/3540.35 c #Conflicts: 2509000 | #Constraints: 37222
3531.88/3540.35 c #Conflicts: 2510000 | #Constraints: 38222
3531.88/3540.35 c #Conflicts: 2511000 | #Constraints: 39222
3531.88/3540.35 c #Conflicts: 2512000 | #Constraints: 40222
3531.88/3540.35 c #Conflicts: 2513000 | #Constraints: 41222
3531.88/3540.35 c #Conflicts: 2514000 | #Constraints: 42222
3531.88/3540.35 c #Conflicts: 2515000 | #Constraints: 43222
3531.88/3540.35 c #Conflicts: 2516000 | #Constraints: 44222
3531.88/3540.35 c #Conflicts: 2517000 | #Constraints: 45222
3531.88/3540.35 c #Conflicts: 2518000 | #Constraints: 46222
3531.88/3540.35 c #Conflicts: 2519000 | #Constraints: 47222
3531.88/3540.35 c #Conflicts: 2520000 | #Constraints: 48222
3531.88/3540.35 c #Conflicts: 2521000 | #Constraints: 49222
3531.88/3540.35 c #Conflicts: 2522000 | #Constraints: 50222
3531.88/3540.35 c #Conflicts: 2523000 | #Constraints: 51222
3531.88/3540.35 c #Conflicts: 2524000 | #Constraints: 52222
3531.88/3540.35 c #Conflicts: 2525000 | #Constraints: 53222
3531.88/3540.35 c #Conflicts: 2526000 | #Constraints: 54222
3531.88/3540.35 c #Conflicts: 2527000 | #Constraints: 55222
3531.88/3540.35 c #Conflicts: 2528000 | #Constraints: 56222
3531.88/3540.35 c #Conflicts: 2529000 | #Constraints: 57222
3531.88/3540.35 c #Conflicts: 2530000 | #Constraints: 58222
3531.88/3540.35 c #Conflicts: 2531000 | #Constraints: 59222
3531.88/3540.35 c #Conflicts: 2532000 | #Constraints: 60222
3531.88/3540.35 c #Conflicts: 2533000 | #Constraints: 61222
3531.88/3540.35 c #Conflicts: 2534000 | #Constraints: 62222
3531.88/3540.35 c #Conflicts: 2535000 | #Constraints: 63222
3531.88/3540.35 c INPROCESSING
3531.88/3540.35 c GARBAGE COLLECT
3531.88/3540.35 c #Conflicts: 2536000 | #Constraints: 32624
3531.88/3540.35 c #Conflicts: 2537000 | #Constraints: 33624
3531.88/3540.35 c #Conflicts: 2538000 | #Constraints: 34624
3531.88/3540.35 c #Conflicts: 2539000 | #Constraints: 35624
3531.88/3540.35 c #Conflicts: 2540000 | #Constraints: 36624
3531.88/3540.35 c #Conflicts: 2541000 | #Constraints: 37624
3600.03/3608.60 c #Conflicts: 2542000 | #Constraints: 38624
3600.03/3608.60 c #Conflicts: 2543000 | #Constraints: 39624
3600.03/3608.60 c #Conflicts: 2544000 | #Constraints: 40624
3600.03/3608.60 c #Conflicts: 2545000 | #Constraints: 41624
3600.03/3608.60 c #Conflicts: 2546000 | #Constraints: 42624
3600.03/3608.60 c #Conflicts: 2547000 | #Constraints: 43624
3600.03/3608.60 c #Conflicts: 2548000 | #Constraints: 44624
3600.03/3608.60 c #Conflicts: 2549000 | #Constraints: 45624
3600.03/3608.60 c #Conflicts: 2550000 | #Constraints: 46624
3600.03/3608.60 c #Conflicts: 2551000 | #Constraints: 47624
3600.03/3608.60 c #Conflicts: 2552000 | #Constraints: 48624
3600.03/3608.60 c #Conflicts: 2553000 | #Constraints: 49624
3600.03/3608.60 c #Conflicts: 2554000 | #Constraints: 50624
3600.03/3608.60 c #Conflicts: 2555000 | #Constraints: 51624
3600.03/3608.60 c #Conflicts: 2556000 | #Constraints: 52624
3600.03/3608.60 c #Conflicts: 2557000 | #Constraints: 53624
3600.03/3608.60 c #Conflicts: 2558000 | #Constraints: 54624
3600.03/3608.60 c #Conflicts: 2559000 | #Constraints: 55624
3600.03/3608.60 c #Conflicts: 2560000 | #Constraints: 56624
3600.03/3608.60 c #Conflicts: 2561000 | #Constraints: 57624
3600.03/3608.60 c #Conflicts: 2562000 | #Constraints: 58624
3600.03/3608.60 c #Conflicts: 2563000 | #Constraints: 59624
3600.03/3608.60 c #Conflicts: 2564000 | #Constraints: 60624
3600.03/3608.60 c #Conflicts: 2565000 | #Constraints: 61624
3600.03/3608.60 c #Conflicts: 2566000 | #Constraints: 62624
3600.03/3608.60 c #Conflicts: 2567000 | #Constraints: 63624
3600.03/3608.60 c INPROCESSING
3600.03/3608.60 c GARBAGE COLLECT
3600.03/3608.60 c #Conflicts: 2568000 | #Constraints: 32823
3600.03/3608.60 c #Conflicts: 2569000 | #Constraints: 33823
3600.03/3608.60 c #Conflicts: 2570000 | #Constraints: 34823
3600.03/3608.60 c #Conflicts: 2571000 | #Constraints: 35823
3600.03/3608.60 c #Conflicts: 2572000 | #Constraints: 36823
3600.03/3608.60 c Program interrupted by user.
3600.03/3608.60 c cpu time 3589.9 s
3600.03/3608.60 c deterministic time 595432216834 5.95e+11
3600.03/3608.60 c optimization time 11.4757 s
3600.03/3608.60 c total solve time 3578.43 s
3600.03/3608.60 c core-guided solve time 3578.43 s
3600.03/3608.60 c propagation time 3419.42 s
3600.03/3608.60 c conflict analysis time 155.377 s
3600.03/3608.60 c propagations 25765645
3600.03/3608.60 c resolve steps 12275135
3600.03/3608.60 c decisions 3796888
3600.03/3608.60 c conflicts 2572790
3600.03/3608.60 c restarts 4395
3600.03/3608.60 c inprocessing phases 151
3600.03/3608.60 c input clauses 0
3600.03/3608.60 c input cardinalities 0
3600.03/3608.60 c input general constraints 16
3600.03/3608.60 c input average constraint length 59.25
3600.03/3608.60 c input average constraint degree 1237.81
3600.03/3608.60 c learned clauses 1694983
3600.03/3608.60 c learned cardinalities 0
3600.03/3608.60 c learned general constraints 877806
3600.03/3608.60 c learned average constraint length 44.21
3600.03/3608.60 c learned average constraint degree 3811.14
3600.03/3608.60 c watched constraints 874665
3600.03/3608.60 c counting constraints 3157
3600.03/3608.60 c gcd simplifications 1450985
3600.03/3608.60 c detected cardinalities 0
3600.03/3608.60 c weakened non-implied lits 22209723
3600.03/3608.60 c weakened non-implying lits 3260068
3600.03/3608.60 c original variables 120
3600.03/3608.60 c clausal propagations 386878
3600.03/3608.60 c cardinality propagations 0
3600.03/3608.60 c watched propagations 14392549
3600.03/3608.60 c counting propagations 8798033
3600.03/3608.60 c watch lookups 44628211874
3600.03/3608.60 c watch backjump lookups 20948384307
3600.03/3608.60 c watch checks 456724746938
3600.03/3608.60 c propagation checks 72333041933
3600.03/3608.60 c constraint additions 736134045
3600.03/3608.60 c trail pops 32135203
3600.03/3608.60 c formula constraints 10
3600.03/3608.60 c learned constraints 2572789
3600.03/3608.60 c bound constraints 6
3600.03/3608.60 c core-guided constraints 0
3600.03/3608.60 c encountered formula constraints 4755028
3600.03/3608.60 c encountered learned constraints 10092897
3600.03/3608.60 c encountered bound constraints 0
3600.03/3608.60 c encountered core-guided constraints 0
3600.03/3608.60 c LP total time 0 s
3600.03/3608.60 c LP solve time 0 s
3600.03/3608.60 c LP constraints added 0
3600.03/3608.60 c LP constraints removed 0
3600.03/3608.60 c LP pivots internal 0
3600.03/3608.60 c LP pivots root 0
3600.03/3608.60 c LP calls 0
3600.03/3608.60 c LP optimalities 0
3600.03/3608.60 c LP no pivot count 0
3600.03/3608.60 c LP infeasibilities 0
3600.03/3608.60 c LP valid Farkas constraints 0
3600.03/3608.60 c LP learned Farkas constraints 0
3600.03/3608.60 c LP basis resets 0
3600.03/3608.60 c LP cycling count 0
3600.03/3608.60 c LP singular count 0
3600.03/3608.60 c LP no primal count 0
3600.03/3608.60 c LP no farkas count 0
3600.03/3608.60 c LP other issue count 0
3600.03/3608.60 c LP Gomory cuts 0
3600.03/3608.60 c LP learned cuts 0
3600.03/3608.60 c LP deleted cuts 0
3600.03/3608.60 c LP encountered Gomory constraints 0
3600.03/3608.60 c LP encountered Farkas constraints 0
3600.03/3608.60 c LP encountered learned Farkas constraints 0
3600.03/3608.60 c CG auxiliary variables introduced 0
3600.03/3608.60 c CG solutions found 6
3600.03/3608.60 c CG cores constructed 0
3600.03/3608.60 c CG core cardinality constraints returned 0
3600.03/3608.60 c CG unit cores 0
3600.03/3608.60 c CG single cores 0
3600.03/3608.60 c CG blocks removed during cardinality reduction 0
3600.03/3608.60 c CG first core best 0
3600.03/3608.60 c CG decision core best 0
3600.03/3608.60 c CG core reduction tie 0
3600.03/3608.60 c CG core degree average 0.00
3600.03/3608.60 c CG core slack average 0.00
3600.03/3608.60 c CG exhausted 0
3600.03/3608.60 c CG exhaust time 0 s
3600.03/3608.60 c CG trimmed 0
3600.03/3608.60 c CG trim time 0 s
3600.03/3608.60 c CG minimized 0
3600.03/3608.60 c CG minimize time 0 s
3600.03/3608.60 c CG am1 prop time 0.000347 s
3600.03/3608.60 c CG # am1s reformulated 0
3600.03/3608.60 c CG lower bound derived from am1s 0
3600.03/3608.60 c CG # clausal cores 0
3600.03/3608.60 c CG # cardinality cores 0
3600.03/3608.60 c CG # pb cores 0
3600.03/3608.60 c CG # pb reforms 0
3600.03/3608.60 c CG # cores discarded because of pb reform 0
3600.03/3608.60 d LOWERBOUND 0
3600.03/3608.60 d NCORES 0
3600.03/3608.60 d NPBCORES 0
3600.03/3608.60 d NPBREFORM 0
3600.03/3608.60 d NTRIMMED 0
3600.03/3608.60 d NEXHAUSTED 0
3600.03/3608.60 d NAM1S 0
3600.03/3608.60 d AM1LB 0
3600.03/3608.60 o 6
3600.03/3608.60 s SATISFIABLE
3600.03/3608.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 x86 -x87 -x88 x89 x90 x91 x92 -x93 -x94 -x95 x96 x97 x98 -x99 -x100 -x101 -x102 -x103 x104 x105 x106 x107 x108 x109 x110 -x111 -x112 -x113 -x114 x115 x116 x117 -x118 -x119 x120
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: 64059 MiB (63158 MiB free)
memory of node 1: 64510 MiB (63532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435903-1721103893/watcher-4435903-1721103893 -o /tmp/evaluation-result-4435903-1721103893/solver-4435903-1721103893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828397 --watchdog 3760 pb-oll-rs HOME/instance-4435903-1721103893.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 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=828529, runsolver pid=828522
Current StackSize limit: 8192 KiB
[startup+0.100544 s]*
/proc/loadavg: 1.23 1.54 2.36 6/247 828594
/proc/meminfo: memFree=129731672/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=38920 memory=5992 CPUtime=0.1 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 346 0 0 0 9 1 0 0 20 0 1 0 162545712 39854080 1498 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 9730 1498 1357 291 0 1264 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38920 KiB
Current children cumulated memory: 5992 KiB
[startup+0.214194 s]*
/proc/loadavg: 1.23 1.54 2.36 6/247 828637
/proc/meminfo: memFree=129728336/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=39052 memory=6256 CPUtime=0.21 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 414 0 0 0 20 1 0 0 20 0 1 0 162545712 39989248 1564 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 9763 1564 1357 291 0 1297 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 6256 KiB
[startup+0.313736 s]*
/proc/loadavg: 1.23 1.54 2.36 7/247 828686
/proc/meminfo: memFree=129726840/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=39052 memory=6520 CPUtime=0.31 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 467 0 0 0 29 2 0 0 20 0 1 0 162545712 39989248 1630 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 9763 1630 1357 291 0 1297 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 6520 KiB
[startup+0.700287 s]
/proc/loadavg: 1.23 1.54 2.36 6/248 828776
/proc/meminfo: memFree=129724608/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=39304 memory=7264 CPUtime=0.68 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 560 0 0 0 65 3 0 0 20 0 1 0 162545712 40247296 1816 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 9826 1816 1415 291 0 1360 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39304 KiB
Current children cumulated memory: 7264 KiB
[startup+1.50026 s]
/proc/loadavg: 1.23 1.54 2.36 5/246 828802
/proc/meminfo: memFree=129723964/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=39540 memory=7948 CPUtime=1.48 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 729 0 0 0 143 5 0 0 20 0 1 0 162545712 40488960 1987 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 9885 1987 1415 291 0 1419 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39540 KiB
Current children cumulated memory: 7948 KiB
[startup+3.11267 s]
/proc/loadavg: 1.45 1.58 2.37 5/246 828802
/proc/meminfo: memFree=129713776/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=39996 memory=10420 CPUtime=3.09 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 875 0 0 0 300 9 0 0 20 0 1 0 162545712 40955904 2605 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 9999 2605 1415 291 0 1533 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 39996 KiB
Current children cumulated memory: 10420 KiB
[startup+6.30023 s]
/proc/loadavg: 1.45 1.58 2.37 5/246 828802
/proc/meminfo: memFree=129711328/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=40364 memory=10940 CPUtime=6.26 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 973 0 0 0 613 13 0 0 20 0 1 0 162545712 41332736 2735 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 10091 2735 1415 291 0 1625 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 40364 KiB
Current children cumulated memory: 10940 KiB
[startup+12.7002 s]
/proc/loadavg: 1.66 1.62 2.38 5/246 828804
/proc/meminfo: memFree=129707136/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=41020 memory=11244 CPUtime=12.65 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 1092 0 0 0 1244 21 0 0 20 0 1 0 162545712 42004480 2811 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 10255 2811 1415 291 0 1789 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41020 KiB
Current children cumulated memory: 11244 KiB
[startup+25.5003 s]
/proc/loadavg: 2.26 1.76 2.41 5/246 828805
/proc/meminfo: memFree=129698160/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=41740 memory=12384 CPUtime=25.42 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 1371 0 0 0 2508 34 0 0 20 0 1 0 162545712 42741760 3096 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 10435 3096 1415 291 0 1969 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 41740 KiB
Current children cumulated memory: 12384 KiB
[startup+51.1123 s]
/proc/loadavg: 2.93 1.95 2.46 5/245 828810
/proc/meminfo: memFree=129690272/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=42092 memory=13552 CPUtime=50.95 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 1681 0 0 0 5044 51 0 0 20 0 1 0 162545712 43102208 3388 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 10523 3388 1415 291 0 2057 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 42092 KiB
Current children cumulated memory: 13552 KiB
[startup+102.3 s]
/proc/loadavg: 3.54 2.27 2.54 5/245 828818
/proc/meminfo: memFree=129676412/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=46540 memory=16140 CPUtime=102.01 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 2377 0 0 0 10117 84 0 0 20 0 1 0 162545712 47656960 4035 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 11635 4035 1415 291 0 3169 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 46540 KiB
Current children cumulated memory: 16140 KiB
[startup+162.3 s]
/proc/loadavg: 3.88 2.60 2.64 5/245 828829
/proc/meminfo: memFree=129662948/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=47240 memory=17628 CPUtime=161.84 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 2932 0 0 0 16066 118 0 0 20 0 1 0 162545712 48373760 4407 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 11810 4407 1415 291 0 3344 0
Current children cumulated CPU time: 161.84 s
Current children cumulated vsize: 47240 KiB
Current children cumulated memory: 17628 KiB
[startup+222.3 s]
/proc/loadavg: 4.14 2.91 2.75 5/246 829008
/proc/meminfo: memFree=129654012/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=47636 memory=18868 CPUtime=221.67 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 3417 0 0 0 22019 148 0 0 20 0 1 0 162545712 48779264 4717 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 11909 4717 1415 291 0 3443 0
Current children cumulated CPU time: 221.67 s
Current children cumulated vsize: 47636 KiB
Current children cumulated memory: 18868 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 3.12 2.83 5/246 829018
/proc/meminfo: memFree=129642236/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=52320 memory=22060 CPUtime=281.52 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 3803 0 0 0 27977 175 0 0 20 0 1 0 162545712 53575680 5515 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 13080 5515 1415 291 0 4614 0
Current children cumulated CPU time: 281.52 s
Current children cumulated vsize: 52320 KiB
Current children cumulated memory: 22060 KiB
[startup+342.3 s]
/proc/loadavg: 4.23 3.33 2.92 5/246 829088
/proc/meminfo: memFree=129637056/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=53400 memory=22820 CPUtime=341.39 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 4094 0 0 0 33936 203 0 0 20 0 1 0 162545712 54681600 5705 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 13350 5705 1415 291 0 4884 0
Current children cumulated CPU time: 341.39 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 22820 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 3.50 3.01 5/246 829098
/proc/meminfo: memFree=129631708/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=53400 memory=22820 CPUtime=401.25 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 4132 0 0 0 39897 228 0 0 20 0 1 0 162545712 54681600 5705 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 13350 5705 1415 291 0 4884 0
Current children cumulated CPU time: 401.25 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 22820 KiB
[startup+462.3 s]
/proc/loadavg: 4.13 3.61 3.08 5/246 829108
/proc/meminfo: memFree=129622712/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=53624 memory=23228 CPUtime=461.11 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 4231 0 0 0 45861 250 0 0 20 0 1 0 162545712 54910976 5807 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
################
# More data... #
################
Current children cumulated memory: 36672 KiB
[startup+2862.3 s]
/proc/loadavg: 4.10 4.10 4.05 5/243 830105
/proc/meminfo: memFree=129541868/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=67492 memory=36964 CPUtime=2855.52 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 13279 0 0 0 284686 866 0 0 20 0 1 0 162545712 69111808 9241 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 16873 9241 1415 291 0 8407 0
Current children cumulated CPU time: 2855.52 s
Current children cumulated vsize: 67492 KiB
Current children cumulated memory: 36964 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.10 4.05 5/243 830115
/proc/meminfo: memFree=129538664/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=68260 memory=37400 CPUtime=2915.36 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 13514 0 0 0 290657 879 0 0 20 0 1 0 162545712 69898240 9350 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17065 9350 1415 291 0 8599 0
Current children cumulated CPU time: 2915.36 s
Current children cumulated vsize: 68260 KiB
Current children cumulated memory: 37400 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.09 4.05 5/243 830125
/proc/meminfo: memFree=129536820/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=68772 memory=38756 CPUtime=2975.2 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 13748 0 0 0 296626 894 0 0 20 0 1 0 162545712 70422528 9689 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17193 9689 1415 291 0 8727 0
Current children cumulated CPU time: 2975.2 s
Current children cumulated vsize: 68772 KiB
Current children cumulated memory: 38756 KiB
[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.06 5/243 830137
/proc/meminfo: memFree=129536036/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=69028 memory=38900 CPUtime=3035.05 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 13906 0 0 0 302599 906 0 0 20 0 1 0 162545712 70684672 9725 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17257 9725 1415 291 0 8791 0
Current children cumulated CPU time: 3035.05 s
Current children cumulated vsize: 69028 KiB
Current children cumulated memory: 38900 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.11 4.06 5/241 830147
/proc/meminfo: memFree=129533792/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=69028 memory=38924 CPUtime=3094.92 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14035 0 0 0 308572 920 0 0 20 0 1 0 162545712 70684672 9731 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17257 9731 1415 291 0 8791 0
Current children cumulated CPU time: 3094.92 s
Current children cumulated vsize: 69028 KiB
Current children cumulated memory: 38924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/241 830157
/proc/meminfo: memFree=129532784/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=69540 memory=39224 CPUtime=3154.77 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14233 0 0 0 314547 930 0 0 20 0 1 0 162545712 71208960 9806 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17385 9806 1415 291 0 8919 0
Current children cumulated CPU time: 3154.77 s
Current children cumulated vsize: 69540 KiB
Current children cumulated memory: 39224 KiB
[startup+3222.3 s]
/proc/loadavg: 4.06 4.09 4.06 5/241 830167
/proc/meminfo: memFree=129531744/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=69540 memory=39224 CPUtime=3214.64 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14357 0 0 0 320523 941 0 0 20 0 1 0 162545712 71208960 9806 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17385 9806 1415 291 0 8919 0
Current children cumulated CPU time: 3214.64 s
Current children cumulated vsize: 69540 KiB
Current children cumulated memory: 39224 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.10 4.06 5/241 830178
/proc/meminfo: memFree=129527548/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=69796 memory=40216 CPUtime=3274.49 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14522 0 0 0 326497 952 0 0 20 0 1 0 162545712 71471104 10054 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17449 10054 1415 291 0 8983 0
Current children cumulated CPU time: 3274.49 s
Current children cumulated vsize: 69796 KiB
Current children cumulated memory: 40216 KiB
[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.06 5/243 830192
/proc/meminfo: memFree=129527272/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=70052 memory=40388 CPUtime=3334.35 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14693 0 0 0 332470 965 0 0 20 0 1 0 162545712 71733248 10097 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17513 10097 1415 291 0 9047 0
Current children cumulated CPU time: 3334.35 s
Current children cumulated vsize: 70052 KiB
Current children cumulated memory: 40388 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.06 5/243 830202
/proc/meminfo: memFree=129523400/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=70892 memory=40852 CPUtime=3394.21 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14827 0 0 0 338446 975 0 0 20 0 1 0 162545712 72593408 10213 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17723 10213 1415 291 0 9257 0
Current children cumulated CPU time: 3394.21 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 40852 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.09 4.06 5/243 830214
/proc/meminfo: memFree=129520464/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=70892 memory=40852 CPUtime=3454.07 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14843 0 0 0 344421 986 0 0 20 0 1 0 162545712 72593408 10213 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17723 10213 1415 291 0 9257 0
Current children cumulated CPU time: 3454.07 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 40852 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.11 4.07 5/243 830224
/proc/meminfo: memFree=129519408/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=70892 memory=40852 CPUtime=3513.93 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14858 0 0 0 350396 997 0 0 20 0 1 0 162545712 72593408 10213 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17723 10213 1415 291 0 9257 0
Current children cumulated CPU time: 3513.93 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 40852 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/243 830234
/proc/meminfo: memFree=129517348/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=70892 memory=40852 CPUtime=3573.79 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14872 0 0 0 356371 1008 0 0 20 0 1 0 162545712 72593408 10213 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17723 10213 1415 291 0 9257 0
Current children cumulated CPU time: 3573.79 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 40852 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608.6 s]
/proc/loadavg: 4.06 4.10 4.07 5/243 830239
/proc/meminfo: memFree=129514688/131655788 swapFree=131071996/131071996
[pid=828529] ppid=828522 vsize=70564 memory=40672 CPUtime=3600.03 cores=1,3
/proc/828529/stat : 828529 (pb-oll-rs) R 828522 828529 828344 0 -1 4194304 14936 0 0 0 358990 1013 0 0 20 0 1 0 162545712 72257536 10168 134679101440 4194304 5384005 140731382623328 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 19447808 140731382629399 140731382629476 140731382629476 140731382636491 0
/proc/828529/statm: 17641 10168 1415 291 0 9175 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 70564 KiB
Current children cumulated memory: 40672 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.6 s]
# the end of solver process 828529 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.91 s, system=10.1354 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.6
CPU time (s): 3600.04
CPU user time (s): 3589.91
CPU system time (s): 10.1354
CPU usage (%): 99.7628
Max. virtual memory (cumulated for all children) (KiB): 70892
Max. memory (cumulated for all children) (KiB): 40852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.91
system time used= 10.1354
maximum resident set size= 40936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14951
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= 17
involuntary context switches= 1593
# summary of solver processes directly reported to runsolver:
# pid: 828529
# total CPU time (s): 3600.04
# total CPU user time (s): 3589.91
# total CPU system time (s): 10.1354
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.1631 second user time and 35.9007 second system time
The end
Begin job on nodeC008 at 2024-07-16 06:25:05
IDJOB=4435903
IDBENCH=147580
IDSOLVER=3067
FILE ID=nodeC008/4435903-1721103893
RUNJOBID= nodeC008-1721103905-828397
SLURM_JOB_ID= 7505622
Free space on /tmp= 723768 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435903-1721103893/watcher-4435903-1721103893 -o /tmp/evaluation-result-4435903-1721103893/solver-4435903-1721103893 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1721103905-828397 --watchdog 3760 pb-oll-rs HOME/instance-4435903-1721103893.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9
RANDOM SEED=1547212356
nodeC008.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3355.328
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.246
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.248
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.249
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.253
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.245
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.91
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.252
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi 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
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.31
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 129739888 kB
MemAvailable: 129987816 kB
Buffers: 408796 kB
Cached: 682912 kB
SwapCached: 0 kB
Active: 637752 kB
Inactive: 758408 kB
Active(anon): 1384 kB
Inactive(anon): 340768 kB
Active(file): 636368 kB
Inactive(file): 417640 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 7912 kB
Writeback: 0 kB
AnonPages: 304596 kB
Mapped: 104184 kB
Shmem: 37708 kB
KReclaimable: 67904 kB
Slab: 161360 kB
SReclaimable: 67904 kB
SUnreclaim: 93456 kB
KernelStack: 3636 kB
PageTables: 9712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 688668 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51840 kB
HardwareCorrupted: 0 kB
AnonHugePages: 180224 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 170824 kB
DirectMap2M: 19656704 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723760 MiB
End job on nodeC008 at 2024-07-16 07:25:14