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.000479
0.00/0.00 c stratification level: 64
0.00/0.00 c bounds 129 >= 0 @ 0.00394
0.00/0.00 c stratification level: 32
0.00/0.00 c bounds 118 >= 0 @ 0.004201
0.00/0.00 c stratification level: 16
0.00/0.00 c bounds 82 >= 0 @ 0.00452
0.00/0.00 c stratification level: 8
0.00/0.03 c bounds 29 >= 0 @ 0.033698
0.00/0.03 c stratification level: 4
0.09/0.21 c #Conflicts: 1000 | #Constraints: 1013
0.09/0.21 c #Conflicts: 2000 | #Constraints: 2013
0.09/0.21 c INPROCESSING
0.09/0.21 c GARBAGE COLLECT
0.09/0.21 c #Conflicts: 3000 | #Constraints: 2015
0.09/0.21 c bounds 16 >= 0 @ 0.198492
0.09/0.21 c stratification level: 2
16.75/16.87 c #Conflicts: 4000 | #Constraints: 3016
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 5000 | #Constraints: 2418
16.75/16.87 c #Conflicts: 6000 | #Constraints: 3418
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 7000 | #Constraints: 2419
16.75/16.87 c #Conflicts: 8000 | #Constraints: 3419
16.75/16.87 c #Conflicts: 9000 | #Constraints: 4419
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 10000 | #Constraints: 3117
16.75/16.87 c #Conflicts: 11000 | #Constraints: 4117
16.75/16.87 c #Conflicts: 12000 | #Constraints: 5117
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 13000 | #Constraints: 3567
16.75/16.87 c #Conflicts: 14000 | #Constraints: 4567
16.75/16.87 c #Conflicts: 15000 | #Constraints: 5567
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 16000 | #Constraints: 3794
16.75/16.87 c #Conflicts: 17000 | #Constraints: 4794
16.75/16.87 c #Conflicts: 18000 | #Constraints: 5794
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 19000 | #Constraints: 3808
16.75/16.87 c #Conflicts: 20000 | #Constraints: 4808
16.75/16.87 c #Conflicts: 21000 | #Constraints: 5808
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 22000 | #Constraints: 3613
16.75/16.87 c #Conflicts: 23000 | #Constraints: 4613
16.75/16.87 c #Conflicts: 24000 | #Constraints: 5613
16.75/16.87 c #Conflicts: 25000 | #Constraints: 6613
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 26000 | #Constraints: 4215
16.75/16.87 c #Conflicts: 27000 | #Constraints: 5215
16.75/16.87 c #Conflicts: 28000 | #Constraints: 6215
16.75/16.87 c #Conflicts: 29000 | #Constraints: 7215
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 30000 | #Constraints: 4616
16.75/16.87 c #Conflicts: 31000 | #Constraints: 5616
16.75/16.87 c #Conflicts: 32000 | #Constraints: 6616
16.75/16.87 c #Conflicts: 33000 | #Constraints: 7616
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 34000 | #Constraints: 4818
16.75/16.87 c #Conflicts: 35000 | #Constraints: 5818
16.75/16.87 c #Conflicts: 36000 | #Constraints: 6818
16.75/16.87 c #Conflicts: 37000 | #Constraints: 7818
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 38000 | #Constraints: 4819
16.75/16.87 c #Conflicts: 39000 | #Constraints: 5819
16.75/16.87 c #Conflicts: 40000 | #Constraints: 6819
16.75/16.87 c #Conflicts: 41000 | #Constraints: 7819
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 42000 | #Constraints: 4621
16.75/16.87 c #Conflicts: 43000 | #Constraints: 5621
16.75/16.87 c #Conflicts: 44000 | #Constraints: 6621
16.75/16.87 c #Conflicts: 45000 | #Constraints: 7621
16.75/16.87 c #Conflicts: 46000 | #Constraints: 8621
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 47000 | #Constraints: 5222
16.75/16.87 c #Conflicts: 48000 | #Constraints: 6222
16.75/16.87 c #Conflicts: 49000 | #Constraints: 7222
16.75/16.87 c #Conflicts: 50000 | #Constraints: 8222
16.75/16.87 c #Conflicts: 51000 | #Constraints: 9222
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 52000 | #Constraints: 5624
16.75/16.87 c #Conflicts: 53000 | #Constraints: 6624
16.75/16.87 c #Conflicts: 54000 | #Constraints: 7624
16.75/16.87 c #Conflicts: 55000 | #Constraints: 8624
16.75/16.87 c #Conflicts: 56000 | #Constraints: 9624
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 57000 | #Constraints: 5822
16.75/16.87 c #Conflicts: 58000 | #Constraints: 6822
16.75/16.87 c #Conflicts: 59000 | #Constraints: 7822
16.75/16.87 c #Conflicts: 60000 | #Constraints: 8822
16.75/16.87 c #Conflicts: 61000 | #Constraints: 9822
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 62000 | #Constraints: 5822
16.75/16.87 c #Conflicts: 63000 | #Constraints: 6822
16.75/16.87 c #Conflicts: 64000 | #Constraints: 7822
16.75/16.87 c #Conflicts: 65000 | #Constraints: 8822
16.75/16.87 c #Conflicts: 66000 | #Constraints: 9822
16.75/16.87 c INPROCESSING
16.75/16.87 c GARBAGE COLLECT
16.75/16.87 c #Conflicts: 67000 | #Constraints: 5622
16.75/16.87 c #Conflicts: 68000 | #Constraints: 6622
16.75/16.87 c #Conflicts: 69000 | #Constraints: 7622
16.75/16.87 c #Conflicts: 70000 | #Constraints: 8622
16.75/16.87 c #Conflicts: 71000 | #Constraints: 9622
47.57/47.73 c #Conflicts: 72000 | #Constraints: 10622
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 73000 | #Constraints: 6222
47.57/47.73 c #Conflicts: 74000 | #Constraints: 7222
47.57/47.73 c #Conflicts: 75000 | #Constraints: 8222
47.57/47.73 c #Conflicts: 76000 | #Constraints: 9222
47.57/47.73 c #Conflicts: 77000 | #Constraints: 10222
47.57/47.73 c #Conflicts: 78000 | #Constraints: 11222
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 79000 | #Constraints: 6624
47.57/47.73 c #Conflicts: 80000 | #Constraints: 7624
47.57/47.73 c #Conflicts: 81000 | #Constraints: 8624
47.57/47.73 c #Conflicts: 82000 | #Constraints: 9624
47.57/47.73 c #Conflicts: 83000 | #Constraints: 10624
47.57/47.73 c #Conflicts: 84000 | #Constraints: 11624
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 85000 | #Constraints: 6824
47.57/47.73 c #Conflicts: 86000 | #Constraints: 7824
47.57/47.73 c #Conflicts: 87000 | #Constraints: 8824
47.57/47.73 c #Conflicts: 88000 | #Constraints: 9824
47.57/47.73 c #Conflicts: 89000 | #Constraints: 10824
47.57/47.73 c #Conflicts: 90000 | #Constraints: 11824
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 91000 | #Constraints: 6827
47.57/47.73 c #Conflicts: 92000 | #Constraints: 7827
47.57/47.73 c #Conflicts: 93000 | #Constraints: 8827
47.57/47.73 c #Conflicts: 94000 | #Constraints: 9827
47.57/47.73 c #Conflicts: 95000 | #Constraints: 10827
47.57/47.73 c #Conflicts: 96000 | #Constraints: 11827
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 97000 | #Constraints: 6626
47.57/47.73 c #Conflicts: 98000 | #Constraints: 7626
47.57/47.73 c #Conflicts: 99000 | #Constraints: 8626
47.57/47.73 c #Conflicts: 100000 | #Constraints: 9626
47.57/47.73 c #Conflicts: 101000 | #Constraints: 10626
47.57/47.73 c #Conflicts: 102000 | #Constraints: 11626
47.57/47.73 c #Conflicts: 103000 | #Constraints: 12626
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 104000 | #Constraints: 7224
47.57/47.73 c #Conflicts: 105000 | #Constraints: 8224
47.57/47.73 c #Conflicts: 106000 | #Constraints: 9224
47.57/47.73 c #Conflicts: 107000 | #Constraints: 10224
47.57/47.73 c #Conflicts: 108000 | #Constraints: 11224
47.57/47.73 c #Conflicts: 109000 | #Constraints: 12224
47.57/47.73 c #Conflicts: 110000 | #Constraints: 13224
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 111000 | #Constraints: 7626
47.57/47.73 c #Conflicts: 112000 | #Constraints: 8626
47.57/47.73 c #Conflicts: 113000 | #Constraints: 9626
47.57/47.73 c #Conflicts: 114000 | #Constraints: 10626
47.57/47.73 c #Conflicts: 115000 | #Constraints: 11626
47.57/47.73 c #Conflicts: 116000 | #Constraints: 12626
47.57/47.73 c #Conflicts: 117000 | #Constraints: 13626
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 118000 | #Constraints: 7825
47.57/47.73 c #Conflicts: 119000 | #Constraints: 8825
47.57/47.73 c #Conflicts: 120000 | #Constraints: 9825
47.57/47.73 c #Conflicts: 121000 | #Constraints: 10825
47.57/47.73 c #Conflicts: 122000 | #Constraints: 11825
47.57/47.73 c #Conflicts: 123000 | #Constraints: 12825
47.57/47.73 c #Conflicts: 124000 | #Constraints: 13825
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 125000 | #Constraints: 7823
47.57/47.73 c #Conflicts: 126000 | #Constraints: 8823
47.57/47.73 c #Conflicts: 127000 | #Constraints: 9823
47.57/47.73 c #Conflicts: 128000 | #Constraints: 10823
47.57/47.73 c #Conflicts: 129000 | #Constraints: 11823
47.57/47.73 c #Conflicts: 130000 | #Constraints: 12823
47.57/47.73 c #Conflicts: 131000 | #Constraints: 13823
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 132000 | #Constraints: 7622
47.57/47.73 c #Conflicts: 133000 | #Constraints: 8622
47.57/47.73 c #Conflicts: 134000 | #Constraints: 9622
47.57/47.73 c #Conflicts: 135000 | #Constraints: 10622
47.57/47.73 c #Conflicts: 136000 | #Constraints: 11622
47.57/47.73 c #Conflicts: 137000 | #Constraints: 12622
47.57/47.73 c #Conflicts: 138000 | #Constraints: 13622
47.57/47.73 c #Conflicts: 139000 | #Constraints: 14622
47.57/47.73 c INPROCESSING
47.57/47.73 c GARBAGE COLLECT
47.57/47.73 c #Conflicts: 140000 | #Constraints: 8225
47.57/47.73 c #Conflicts: 141000 | #Constraints: 9225
47.57/47.73 c #Conflicts: 142000 | #Constraints: 10225
47.57/47.73 c #Conflicts: 143000 | #Constraints: 11225
89.08/89.36 c #Conflicts: 144000 | #Constraints: 12225
89.08/89.36 c #Conflicts: 145000 | #Constraints: 13225
89.08/89.36 c #Conflicts: 146000 | #Constraints: 14225
89.08/89.36 c #Conflicts: 147000 | #Constraints: 15225
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
89.08/89.36 c #Conflicts: 148000 | #Constraints: 8623
89.08/89.36 c #Conflicts: 149000 | #Constraints: 9623
89.08/89.36 c #Conflicts: 150000 | #Constraints: 10623
89.08/89.36 c #Conflicts: 151000 | #Constraints: 11623
89.08/89.36 c #Conflicts: 152000 | #Constraints: 12623
89.08/89.36 c #Conflicts: 153000 | #Constraints: 13623
89.08/89.36 c #Conflicts: 154000 | #Constraints: 14623
89.08/89.36 c #Conflicts: 155000 | #Constraints: 15623
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
89.08/89.36 c #Conflicts: 156000 | #Constraints: 8824
89.08/89.36 c #Conflicts: 157000 | #Constraints: 9824
89.08/89.36 c #Conflicts: 158000 | #Constraints: 10824
89.08/89.36 c #Conflicts: 159000 | #Constraints: 11824
89.08/89.36 c #Conflicts: 160000 | #Constraints: 12824
89.08/89.36 c #Conflicts: 161000 | #Constraints: 13824
89.08/89.36 c #Conflicts: 162000 | #Constraints: 14824
89.08/89.36 c #Conflicts: 163000 | #Constraints: 15824
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
89.08/89.36 c #Conflicts: 164000 | #Constraints: 8823
89.08/89.36 c #Conflicts: 165000 | #Constraints: 9823
89.08/89.36 c #Conflicts: 166000 | #Constraints: 10823
89.08/89.36 c #Conflicts: 167000 | #Constraints: 11823
89.08/89.36 c #Conflicts: 168000 | #Constraints: 12823
89.08/89.36 c #Conflicts: 169000 | #Constraints: 13823
89.08/89.36 c #Conflicts: 170000 | #Constraints: 14823
89.08/89.36 c #Conflicts: 171000 | #Constraints: 15823
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
89.08/89.36 c #Conflicts: 172000 | #Constraints: 8624
89.08/89.36 c #Conflicts: 173000 | #Constraints: 9624
89.08/89.36 c #Conflicts: 174000 | #Constraints: 10624
89.08/89.36 c #Conflicts: 175000 | #Constraints: 11624
89.08/89.36 c #Conflicts: 176000 | #Constraints: 12624
89.08/89.36 c #Conflicts: 177000 | #Constraints: 13624
89.08/89.36 c #Conflicts: 178000 | #Constraints: 14624
89.08/89.36 c #Conflicts: 179000 | #Constraints: 15624
89.08/89.36 c #Conflicts: 180000 | #Constraints: 16624
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
89.08/89.36 c #Conflicts: 181000 | #Constraints: 9225
89.08/89.36 c #Conflicts: 182000 | #Constraints: 10225
89.08/89.36 c #Conflicts: 183000 | #Constraints: 11225
89.08/89.36 c #Conflicts: 184000 | #Constraints: 12225
89.08/89.36 c #Conflicts: 185000 | #Constraints: 13225
89.08/89.36 c #Conflicts: 186000 | #Constraints: 14225
89.08/89.36 c #Conflicts: 187000 | #Constraints: 15225
89.08/89.36 c #Conflicts: 188000 | #Constraints: 16225
89.08/89.36 c #Conflicts: 189000 | #Constraints: 17225
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
89.08/89.36 c #Conflicts: 190000 | #Constraints: 9624
89.08/89.36 c #Conflicts: 191000 | #Constraints: 10624
89.08/89.36 c #Conflicts: 192000 | #Constraints: 11624
89.08/89.36 c #Conflicts: 193000 | #Constraints: 12624
89.08/89.36 c #Conflicts: 194000 | #Constraints: 13624
89.08/89.36 c #Conflicts: 195000 | #Constraints: 14624
89.08/89.36 c #Conflicts: 196000 | #Constraints: 15624
89.08/89.36 c #Conflicts: 197000 | #Constraints: 16624
89.08/89.36 c #Conflicts: 198000 | #Constraints: 17624
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
89.08/89.36 c #Conflicts: 199000 | #Constraints: 9825
89.08/89.36 c #Conflicts: 200000 | #Constraints: 10825
89.08/89.36 c #Conflicts: 201000 | #Constraints: 11825
89.08/89.36 c #Conflicts: 202000 | #Constraints: 12825
89.08/89.36 c #Conflicts: 203000 | #Constraints: 13825
89.08/89.36 c #Conflicts: 204000 | #Constraints: 14825
89.08/89.36 c #Conflicts: 205000 | #Constraints: 15825
89.08/89.36 c #Conflicts: 206000 | #Constraints: 16825
89.08/89.36 c #Conflicts: 207000 | #Constraints: 17825
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
89.08/89.36 c #Conflicts: 208000 | #Constraints: 9826
89.08/89.36 c #Conflicts: 209000 | #Constraints: 10826
89.08/89.36 c #Conflicts: 210000 | #Constraints: 11826
89.08/89.36 c #Conflicts: 211000 | #Constraints: 12826
89.08/89.36 c #Conflicts: 212000 | #Constraints: 13826
89.08/89.36 c #Conflicts: 213000 | #Constraints: 14826
89.08/89.36 c #Conflicts: 214000 | #Constraints: 15826
89.08/89.36 c #Conflicts: 215000 | #Constraints: 16826
89.08/89.36 c #Conflicts: 216000 | #Constraints: 17826
89.08/89.36 c INPROCESSING
89.08/89.36 c GARBAGE COLLECT
137.88/138.29 c #Conflicts: 217000 | #Constraints: 9624
137.88/138.29 c #Conflicts: 218000 | #Constraints: 10624
137.88/138.29 c #Conflicts: 219000 | #Constraints: 11624
137.88/138.29 c #Conflicts: 220000 | #Constraints: 12624
137.88/138.29 c #Conflicts: 221000 | #Constraints: 13624
137.88/138.29 c #Conflicts: 222000 | #Constraints: 14624
137.88/138.29 c #Conflicts: 223000 | #Constraints: 15624
137.88/138.29 c #Conflicts: 224000 | #Constraints: 16624
137.88/138.29 c #Conflicts: 225000 | #Constraints: 17624
137.88/138.29 c #Conflicts: 226000 | #Constraints: 18624
137.88/138.29 c INPROCESSING
137.88/138.29 c GARBAGE COLLECT
137.88/138.29 c #Conflicts: 227000 | #Constraints: 10226
137.88/138.29 c #Conflicts: 228000 | #Constraints: 11226
137.88/138.29 c #Conflicts: 229000 | #Constraints: 12226
137.88/138.29 c #Conflicts: 230000 | #Constraints: 13226
137.88/138.29 c #Conflicts: 231000 | #Constraints: 14226
137.88/138.29 c #Conflicts: 232000 | #Constraints: 15226
137.88/138.29 c #Conflicts: 233000 | #Constraints: 16226
137.88/138.29 c #Conflicts: 234000 | #Constraints: 17226
137.88/138.29 c #Conflicts: 235000 | #Constraints: 18226
137.88/138.29 c #Conflicts: 236000 | #Constraints: 19226
137.88/138.29 c INPROCESSING
137.88/138.29 c GARBAGE COLLECT
137.88/138.29 c #Conflicts: 237000 | #Constraints: 10624
137.88/138.29 c #Conflicts: 238000 | #Constraints: 11624
137.88/138.29 c #Conflicts: 239000 | #Constraints: 12624
137.88/138.29 c #Conflicts: 240000 | #Constraints: 13624
137.88/138.29 c #Conflicts: 241000 | #Constraints: 14624
137.88/138.29 c #Conflicts: 242000 | #Constraints: 15624
137.88/138.29 c #Conflicts: 243000 | #Constraints: 16624
137.88/138.29 c #Conflicts: 244000 | #Constraints: 17624
137.88/138.29 c #Conflicts: 245000 | #Constraints: 18624
137.88/138.29 c #Conflicts: 246000 | #Constraints: 19624
137.88/138.29 c INPROCESSING
137.88/138.29 c GARBAGE COLLECT
137.88/138.29 c #Conflicts: 247000 | #Constraints: 10824
137.88/138.29 c #Conflicts: 248000 | #Constraints: 11824
137.88/138.29 c #Conflicts: 249000 | #Constraints: 12824
137.88/138.29 c #Conflicts: 250000 | #Constraints: 13824
137.88/138.29 c #Conflicts: 251000 | #Constraints: 14824
137.88/138.29 c #Conflicts: 252000 | #Constraints: 15824
137.88/138.29 c #Conflicts: 253000 | #Constraints: 16824
137.88/138.29 c #Conflicts: 254000 | #Constraints: 17824
137.88/138.29 c #Conflicts: 255000 | #Constraints: 18824
137.88/138.29 c #Conflicts: 256000 | #Constraints: 19824
137.88/138.29 c INPROCESSING
137.88/138.29 c GARBAGE COLLECT
137.88/138.29 c #Conflicts: 257000 | #Constraints: 10825
137.88/138.29 c #Conflicts: 258000 | #Constraints: 11825
137.88/138.29 c #Conflicts: 259000 | #Constraints: 12825
137.88/138.29 c #Conflicts: 260000 | #Constraints: 13825
137.88/138.29 c #Conflicts: 261000 | #Constraints: 14825
137.88/138.29 c #Conflicts: 262000 | #Constraints: 15825
137.88/138.29 c #Conflicts: 263000 | #Constraints: 16825
137.88/138.29 c #Conflicts: 264000 | #Constraints: 17825
137.88/138.29 c #Conflicts: 265000 | #Constraints: 18825
137.88/138.29 c #Conflicts: 266000 | #Constraints: 19825
137.88/138.29 c INPROCESSING
137.88/138.29 c GARBAGE COLLECT
137.88/138.29 c #Conflicts: 267000 | #Constraints: 10626
137.88/138.29 c #Conflicts: 268000 | #Constraints: 11626
137.88/138.29 c #Conflicts: 269000 | #Constraints: 12626
137.88/138.29 c #Conflicts: 270000 | #Constraints: 13626
137.88/138.29 c #Conflicts: 271000 | #Constraints: 14626
137.88/138.29 c #Conflicts: 272000 | #Constraints: 15626
137.88/138.29 c #Conflicts: 273000 | #Constraints: 16626
137.88/138.29 c #Conflicts: 274000 | #Constraints: 17626
137.88/138.29 c #Conflicts: 275000 | #Constraints: 18626
137.88/138.29 c #Conflicts: 276000 | #Constraints: 19626
137.88/138.29 c #Conflicts: 277000 | #Constraints: 20626
137.88/138.29 c INPROCESSING
137.88/138.29 c GARBAGE COLLECT
137.88/138.29 c #Conflicts: 278000 | #Constraints: 11224
137.88/138.29 c #Conflicts: 279000 | #Constraints: 12224
137.88/138.29 c #Conflicts: 280000 | #Constraints: 13224
137.88/138.29 c #Conflicts: 281000 | #Constraints: 14224
137.88/138.29 c #Conflicts: 282000 | #Constraints: 15224
137.88/138.29 c #Conflicts: 283000 | #Constraints: 16224
137.88/138.29 c #Conflicts: 284000 | #Constraints: 17224
137.88/138.29 c #Conflicts: 285000 | #Constraints: 18224
137.88/138.29 c #Conflicts: 286000 | #Constraints: 19224
137.88/138.29 c #Conflicts: 287000 | #Constraints: 20224
137.88/138.29 c #Conflicts: 288000 | #Constraints: 21224
137.88/138.29 c INPROCESSING
137.88/138.29 c GARBAGE COLLECT
137.88/138.29 c #Conflicts: 289000 | #Constraints: 11623
137.88/138.29 c #Conflicts: 290000 | #Constraints: 12623
137.88/138.29 c #Conflicts: 291000 | #Constraints: 13623
193.66/194.18 c #Conflicts: 292000 | #Constraints: 14623
193.66/194.18 c #Conflicts: 293000 | #Constraints: 15623
193.66/194.18 c #Conflicts: 294000 | #Constraints: 16623
193.66/194.18 c #Conflicts: 295000 | #Constraints: 17623
193.66/194.18 c #Conflicts: 296000 | #Constraints: 18623
193.66/194.18 c #Conflicts: 297000 | #Constraints: 19623
193.66/194.18 c #Conflicts: 298000 | #Constraints: 20623
193.66/194.18 c #Conflicts: 299000 | #Constraints: 21623
193.66/194.18 c INPROCESSING
193.66/194.18 c GARBAGE COLLECT
193.66/194.18 c #Conflicts: 300000 | #Constraints: 11823
193.66/194.18 c #Conflicts: 301000 | #Constraints: 12823
193.66/194.18 c #Conflicts: 302000 | #Constraints: 13823
193.66/194.18 c #Conflicts: 303000 | #Constraints: 14823
193.66/194.18 c #Conflicts: 304000 | #Constraints: 15823
193.66/194.18 c #Conflicts: 305000 | #Constraints: 16823
193.66/194.18 c #Conflicts: 306000 | #Constraints: 17823
193.66/194.18 c #Conflicts: 307000 | #Constraints: 18823
193.66/194.18 c #Conflicts: 308000 | #Constraints: 19823
193.66/194.18 c #Conflicts: 309000 | #Constraints: 20823
193.66/194.18 c #Conflicts: 310000 | #Constraints: 21823
193.66/194.18 c INPROCESSING
193.66/194.18 c GARBAGE COLLECT
193.66/194.18 c #Conflicts: 311000 | #Constraints: 11824
193.66/194.18 c #Conflicts: 312000 | #Constraints: 12824
193.66/194.18 c #Conflicts: 313000 | #Constraints: 13824
193.66/194.18 c #Conflicts: 314000 | #Constraints: 14824
193.66/194.18 c #Conflicts: 315000 | #Constraints: 15824
193.66/194.18 c #Conflicts: 316000 | #Constraints: 16824
193.66/194.18 c #Conflicts: 317000 | #Constraints: 17824
193.66/194.18 c #Conflicts: 318000 | #Constraints: 18824
193.66/194.18 c #Conflicts: 319000 | #Constraints: 19824
193.66/194.18 c #Conflicts: 320000 | #Constraints: 20824
193.66/194.18 c #Conflicts: 321000 | #Constraints: 21824
193.66/194.18 c INPROCESSING
193.66/194.18 c GARBAGE COLLECT
193.66/194.18 c #Conflicts: 322000 | #Constraints: 11625
193.66/194.18 c #Conflicts: 323000 | #Constraints: 12625
193.66/194.18 c #Conflicts: 324000 | #Constraints: 13625
193.66/194.18 c #Conflicts: 325000 | #Constraints: 14625
193.66/194.18 c #Conflicts: 326000 | #Constraints: 15625
193.66/194.18 c #Conflicts: 327000 | #Constraints: 16625
193.66/194.18 c #Conflicts: 328000 | #Constraints: 17625
193.66/194.18 c #Conflicts: 329000 | #Constraints: 18625
193.66/194.18 c #Conflicts: 330000 | #Constraints: 19625
193.66/194.18 c #Conflicts: 331000 | #Constraints: 20625
193.66/194.18 c #Conflicts: 332000 | #Constraints: 21625
193.66/194.18 c #Conflicts: 333000 | #Constraints: 22625
193.66/194.18 c INPROCESSING
193.66/194.18 c GARBAGE COLLECT
193.66/194.18 c #Conflicts: 334000 | #Constraints: 12224
193.66/194.18 c #Conflicts: 335000 | #Constraints: 13224
193.66/194.18 c #Conflicts: 336000 | #Constraints: 14224
193.66/194.18 c #Conflicts: 337000 | #Constraints: 15224
193.66/194.18 c #Conflicts: 338000 | #Constraints: 16224
193.66/194.18 c #Conflicts: 339000 | #Constraints: 17224
193.66/194.18 c #Conflicts: 340000 | #Constraints: 18224
193.66/194.18 c #Conflicts: 341000 | #Constraints: 19224
193.66/194.18 c #Conflicts: 342000 | #Constraints: 20224
193.66/194.18 c #Conflicts: 343000 | #Constraints: 21224
193.66/194.18 c #Conflicts: 344000 | #Constraints: 22224
193.66/194.18 c #Conflicts: 345000 | #Constraints: 23224
193.66/194.18 c INPROCESSING
193.66/194.18 c GARBAGE COLLECT
193.66/194.18 c #Conflicts: 346000 | #Constraints: 12621
193.66/194.18 c #Conflicts: 347000 | #Constraints: 13621
193.66/194.18 c #Conflicts: 348000 | #Constraints: 14621
193.66/194.18 c #Conflicts: 349000 | #Constraints: 15621
193.66/194.18 c #Conflicts: 350000 | #Constraints: 16621
193.66/194.18 c #Conflicts: 351000 | #Constraints: 17621
193.66/194.18 c #Conflicts: 352000 | #Constraints: 18621
193.66/194.18 c #Conflicts: 353000 | #Constraints: 19621
193.66/194.18 c #Conflicts: 354000 | #Constraints: 20621
193.66/194.18 c #Conflicts: 355000 | #Constraints: 21621
193.66/194.18 c #Conflicts: 356000 | #Constraints: 22621
193.66/194.18 c #Conflicts: 357000 | #Constraints: 23621
193.66/194.18 c INPROCESSING
193.66/194.18 c GARBAGE COLLECT
193.66/194.18 c #Conflicts: 358000 | #Constraints: 12822
193.66/194.18 c #Conflicts: 359000 | #Constraints: 13822
193.66/194.18 c #Conflicts: 360000 | #Constraints: 14822
193.66/194.18 c #Conflicts: 361000 | #Constraints: 15822
193.66/194.18 c #Conflicts: 362000 | #Constraints: 16822
193.66/194.18 c #Conflicts: 363000 | #Constraints: 17822
193.66/194.18 c #Conflicts: 364000 | #Constraints: 18822
193.66/194.18 c #Conflicts: 365000 | #Constraints: 19822
193.66/194.18 c #Conflicts: 366000 | #Constraints: 20822
217.51/218.04 c #Conflicts: 367000 | #Constraints: 21822
217.51/218.04 c #Conflicts: 368000 | #Constraints: 22822
217.51/218.04 c #Conflicts: 369000 | #Constraints: 23822
217.51/218.04 c INPROCESSING
217.51/218.04 c GARBAGE COLLECT
217.51/218.04 c #Conflicts: 370000 | #Constraints: 12824
217.51/218.04 c #Conflicts: 371000 | #Constraints: 13824
217.51/218.04 c #Conflicts: 372000 | #Constraints: 14824
217.51/218.04 c #Conflicts: 373000 | #Constraints: 15824
217.51/218.04 c #Conflicts: 374000 | #Constraints: 16824
217.51/218.04 c #Conflicts: 375000 | #Constraints: 17824
217.51/218.04 c #Conflicts: 376000 | #Constraints: 18824
217.51/218.04 c #Conflicts: 377000 | #Constraints: 19824
217.51/218.04 c #Conflicts: 378000 | #Constraints: 20824
217.51/218.04 c #Conflicts: 379000 | #Constraints: 21824
217.51/218.04 c #Conflicts: 380000 | #Constraints: 22824
217.51/218.04 c #Conflicts: 381000 | #Constraints: 23824
217.51/218.04 c INPROCESSING
217.51/218.04 c GARBAGE COLLECT
217.51/218.04 c #Conflicts: 382000 | #Constraints: 12622
217.51/218.04 c #Conflicts: 383000 | #Constraints: 13622
217.51/218.04 c #Conflicts: 384000 | #Constraints: 14622
217.51/218.04 c #Conflicts: 385000 | #Constraints: 15622
217.51/218.04 c #Conflicts: 386000 | #Constraints: 16622
217.51/218.04 c #Conflicts: 387000 | #Constraints: 17622
217.51/218.04 c #Conflicts: 388000 | #Constraints: 18622
217.51/218.04 c #Conflicts: 389000 | #Constraints: 19622
217.51/218.04 c #Conflicts: 390000 | #Constraints: 20622
217.51/218.04 c #Conflicts: 391000 | #Constraints: 21622
217.51/218.04 c #Conflicts: 392000 | #Constraints: 22622
217.51/218.04 c #Conflicts: 393000 | #Constraints: 23622
217.51/218.04 c #Conflicts: 394000 | #Constraints: 24622
217.51/218.04 c INPROCESSING
217.51/218.04 c GARBAGE COLLECT
217.51/218.04 c #Conflicts: 395000 | #Constraints: 13225
217.51/218.04 c #Conflicts: 396000 | #Constraints: 14225
217.51/218.04 c bounds 6 >= 0 @ 216.216
217.51/218.04 c stratification level: 1
284.66/285.38 c #Conflicts: 397000 | #Constraints: 15226
284.66/285.38 c #Conflicts: 398000 | #Constraints: 16226
284.66/285.38 c #Conflicts: 399000 | #Constraints: 17226
284.66/285.38 c #Conflicts: 400000 | #Constraints: 18226
284.66/285.38 c #Conflicts: 401000 | #Constraints: 19226
284.66/285.38 c #Conflicts: 402000 | #Constraints: 20226
284.66/285.38 c #Conflicts: 403000 | #Constraints: 21226
284.66/285.38 c #Conflicts: 404000 | #Constraints: 22226
284.66/285.38 c #Conflicts: 405000 | #Constraints: 23226
284.66/285.38 c #Conflicts: 406000 | #Constraints: 24226
284.66/285.38 c #Conflicts: 407000 | #Constraints: 25226
284.66/285.38 c INPROCESSING
284.66/285.38 c GARBAGE COLLECT
284.66/285.38 c #Conflicts: 408000 | #Constraints: 13622
284.66/285.38 c #Conflicts: 409000 | #Constraints: 14622
284.66/285.38 c #Conflicts: 410000 | #Constraints: 15622
284.66/285.38 c #Conflicts: 411000 | #Constraints: 16622
284.66/285.38 c #Conflicts: 412000 | #Constraints: 17622
284.66/285.38 c #Conflicts: 413000 | #Constraints: 18622
284.66/285.38 c #Conflicts: 414000 | #Constraints: 19622
284.66/285.38 c #Conflicts: 415000 | #Constraints: 20622
284.66/285.38 c #Conflicts: 416000 | #Constraints: 21622
284.66/285.38 c #Conflicts: 417000 | #Constraints: 22622
284.66/285.38 c #Conflicts: 418000 | #Constraints: 23622
284.66/285.38 c #Conflicts: 419000 | #Constraints: 24622
284.66/285.38 c #Conflicts: 420000 | #Constraints: 25622
284.66/285.38 c INPROCESSING
284.66/285.38 c GARBAGE COLLECT
284.66/285.38 c #Conflicts: 421000 | #Constraints: 13822
284.66/285.38 c #Conflicts: 422000 | #Constraints: 14822
284.66/285.38 c #Conflicts: 423000 | #Constraints: 15822
284.66/285.38 c #Conflicts: 424000 | #Constraints: 16822
284.66/285.38 c #Conflicts: 425000 | #Constraints: 17822
284.66/285.38 c #Conflicts: 426000 | #Constraints: 18822
284.66/285.38 c #Conflicts: 427000 | #Constraints: 19822
284.66/285.38 c #Conflicts: 428000 | #Constraints: 20822
284.66/285.38 c #Conflicts: 429000 | #Constraints: 21822
284.66/285.38 c #Conflicts: 430000 | #Constraints: 22822
284.66/285.38 c #Conflicts: 431000 | #Constraints: 23822
284.66/285.38 c #Conflicts: 432000 | #Constraints: 24822
284.66/285.38 c #Conflicts: 433000 | #Constraints: 25822
284.66/285.38 c INPROCESSING
284.66/285.38 c GARBAGE COLLECT
284.66/285.38 c #Conflicts: 434000 | #Constraints: 13822
284.66/285.38 c #Conflicts: 435000 | #Constraints: 14822
284.66/285.38 c #Conflicts: 436000 | #Constraints: 15822
284.66/285.38 c #Conflicts: 437000 | #Constraints: 16822
284.66/285.38 c #Conflicts: 438000 | #Constraints: 17822
284.66/285.38 c #Conflicts: 439000 | #Constraints: 18822
284.66/285.38 c #Conflicts: 440000 | #Constraints: 19822
284.66/285.38 c #Conflicts: 441000 | #Constraints: 20822
284.66/285.38 c #Conflicts: 442000 | #Constraints: 21822
284.66/285.38 c #Conflicts: 443000 | #Constraints: 22822
284.66/285.38 c #Conflicts: 444000 | #Constraints: 23822
284.66/285.38 c #Conflicts: 445000 | #Constraints: 24822
284.66/285.38 c #Conflicts: 446000 | #Constraints: 25822
284.66/285.38 c INPROCESSING
284.66/285.38 c GARBAGE COLLECT
284.66/285.38 c #Conflicts: 447000 | #Constraints: 13625
284.66/285.38 c #Conflicts: 448000 | #Constraints: 14625
284.66/285.38 c #Conflicts: 449000 | #Constraints: 15625
284.66/285.38 c #Conflicts: 450000 | #Constraints: 16625
284.66/285.38 c #Conflicts: 451000 | #Constraints: 17625
284.66/285.38 c #Conflicts: 452000 | #Constraints: 18625
284.66/285.38 c #Conflicts: 453000 | #Constraints: 19625
284.66/285.38 c #Conflicts: 454000 | #Constraints: 20625
284.66/285.38 c #Conflicts: 455000 | #Constraints: 21625
284.66/285.38 c #Conflicts: 456000 | #Constraints: 22625
284.66/285.38 c #Conflicts: 457000 | #Constraints: 23625
284.66/285.38 c #Conflicts: 458000 | #Constraints: 24625
284.66/285.38 c #Conflicts: 459000 | #Constraints: 25625
284.66/285.38 c #Conflicts: 460000 | #Constraints: 26625
284.66/285.38 c INPROCESSING
284.66/285.38 c GARBAGE COLLECT
284.66/285.38 c #Conflicts: 461000 | #Constraints: 14224
284.66/285.38 c #Conflicts: 462000 | #Constraints: 15224
284.66/285.38 c #Conflicts: 463000 | #Constraints: 16224
284.66/285.38 c #Conflicts: 464000 | #Constraints: 17224
284.66/285.38 c #Conflicts: 465000 | #Constraints: 18224
284.66/285.38 c #Conflicts: 466000 | #Constraints: 19224
284.66/285.38 c #Conflicts: 467000 | #Constraints: 20224
284.66/285.38 c #Conflicts: 468000 | #Constraints: 21224
284.66/285.38 c #Conflicts: 469000 | #Constraints: 22224
284.66/285.38 c #Conflicts: 470000 | #Constraints: 23224
284.66/285.38 c #Conflicts: 471000 | #Constraints: 24224
284.66/285.38 c #Conflicts: 472000 | #Constraints: 25224
357.20/358.07 c #Conflicts: 473000 | #Constraints: 26224
357.20/358.07 c #Conflicts: 474000 | #Constraints: 27224
357.20/358.07 c INPROCESSING
357.20/358.07 c GARBAGE COLLECT
357.20/358.07 c #Conflicts: 475000 | #Constraints: 14623
357.20/358.07 c #Conflicts: 476000 | #Constraints: 15623
357.20/358.07 c #Conflicts: 477000 | #Constraints: 16623
357.20/358.07 c #Conflicts: 478000 | #Constraints: 17623
357.20/358.07 c #Conflicts: 479000 | #Constraints: 18623
357.20/358.07 c #Conflicts: 480000 | #Constraints: 19623
357.20/358.07 c #Conflicts: 481000 | #Constraints: 20623
357.20/358.07 c #Conflicts: 482000 | #Constraints: 21623
357.20/358.07 c #Conflicts: 483000 | #Constraints: 22623
357.20/358.07 c #Conflicts: 484000 | #Constraints: 23623
357.20/358.07 c #Conflicts: 485000 | #Constraints: 24623
357.20/358.07 c #Conflicts: 486000 | #Constraints: 25623
357.20/358.07 c #Conflicts: 487000 | #Constraints: 26623
357.20/358.07 c #Conflicts: 488000 | #Constraints: 27623
357.20/358.07 c INPROCESSING
357.20/358.07 c GARBAGE COLLECT
357.20/358.07 c #Conflicts: 489000 | #Constraints: 14825
357.20/358.07 c #Conflicts: 490000 | #Constraints: 15825
357.20/358.07 c #Conflicts: 491000 | #Constraints: 16825
357.20/358.07 c #Conflicts: 492000 | #Constraints: 17825
357.20/358.07 c #Conflicts: 493000 | #Constraints: 18825
357.20/358.07 c #Conflicts: 494000 | #Constraints: 19825
357.20/358.07 c #Conflicts: 495000 | #Constraints: 20825
357.20/358.07 c #Conflicts: 496000 | #Constraints: 21825
357.20/358.07 c #Conflicts: 497000 | #Constraints: 22825
357.20/358.07 c #Conflicts: 498000 | #Constraints: 23825
357.20/358.07 c #Conflicts: 499000 | #Constraints: 24825
357.20/358.07 c #Conflicts: 500000 | #Constraints: 25825
357.20/358.07 c #Conflicts: 501000 | #Constraints: 26825
357.20/358.07 c #Conflicts: 502000 | #Constraints: 27825
357.20/358.07 c INPROCESSING
357.20/358.07 c GARBAGE COLLECT
357.20/358.07 c #Conflicts: 503000 | #Constraints: 14827
357.20/358.07 c #Conflicts: 504000 | #Constraints: 15827
357.20/358.07 c #Conflicts: 505000 | #Constraints: 16827
357.20/358.07 c #Conflicts: 506000 | #Constraints: 17827
357.20/358.07 c #Conflicts: 507000 | #Constraints: 18827
357.20/358.07 c #Conflicts: 508000 | #Constraints: 19827
357.20/358.07 c #Conflicts: 509000 | #Constraints: 20827
357.20/358.07 c #Conflicts: 510000 | #Constraints: 21827
357.20/358.07 c #Conflicts: 511000 | #Constraints: 22827
357.20/358.07 c #Conflicts: 512000 | #Constraints: 23827
357.20/358.07 c #Conflicts: 513000 | #Constraints: 24827
357.20/358.07 c #Conflicts: 514000 | #Constraints: 25827
357.20/358.07 c #Conflicts: 515000 | #Constraints: 26827
357.20/358.07 c #Conflicts: 516000 | #Constraints: 27827
357.20/358.07 c INPROCESSING
357.20/358.07 c GARBAGE COLLECT
357.20/358.07 c #Conflicts: 517000 | #Constraints: 14626
357.20/358.07 c #Conflicts: 518000 | #Constraints: 15626
357.20/358.07 c #Conflicts: 519000 | #Constraints: 16626
357.20/358.07 c #Conflicts: 520000 | #Constraints: 17626
357.20/358.07 c #Conflicts: 521000 | #Constraints: 18626
357.20/358.07 c #Conflicts: 522000 | #Constraints: 19626
357.20/358.07 c #Conflicts: 523000 | #Constraints: 20626
357.20/358.07 c #Conflicts: 524000 | #Constraints: 21626
357.20/358.07 c #Conflicts: 525000 | #Constraints: 22626
357.20/358.07 c #Conflicts: 526000 | #Constraints: 23626
357.20/358.07 c #Conflicts: 527000 | #Constraints: 24626
357.20/358.07 c #Conflicts: 528000 | #Constraints: 25626
357.20/358.07 c #Conflicts: 529000 | #Constraints: 26626
357.20/358.07 c #Conflicts: 530000 | #Constraints: 27626
357.20/358.07 c #Conflicts: 531000 | #Constraints: 28626
357.20/358.07 c INPROCESSING
357.20/358.07 c GARBAGE COLLECT
357.20/358.07 c #Conflicts: 532000 | #Constraints: 15228
357.20/358.07 c #Conflicts: 533000 | #Constraints: 16228
357.20/358.07 c #Conflicts: 534000 | #Constraints: 17228
357.20/358.07 c #Conflicts: 535000 | #Constraints: 18228
357.20/358.07 c #Conflicts: 536000 | #Constraints: 19228
357.20/358.07 c #Conflicts: 537000 | #Constraints: 20228
357.20/358.07 c #Conflicts: 538000 | #Constraints: 21228
357.20/358.07 c #Conflicts: 539000 | #Constraints: 22228
357.20/358.07 c #Conflicts: 540000 | #Constraints: 23228
357.20/358.07 c #Conflicts: 541000 | #Constraints: 24228
357.20/358.07 c #Conflicts: 542000 | #Constraints: 25228
357.20/358.07 c #Conflicts: 543000 | #Constraints: 26228
357.20/358.07 c #Conflicts: 544000 | #Constraints: 27228
357.20/358.07 c #Conflicts: 545000 | #Constraints: 28228
357.20/358.07 c #Conflicts: 546000 | #Constraints: 29228
357.20/358.07 c INPROCESSING
357.20/358.07 c GARBAGE COLLECT
357.20/358.07 c #Conflicts: 547000 | #Constraints: 15625
432.14/433.18 c #Conflicts: 548000 | #Constraints: 16625
432.14/433.18 c #Conflicts: 549000 | #Constraints: 17625
432.14/433.18 c #Conflicts: 550000 | #Constraints: 18625
432.14/433.18 c #Conflicts: 551000 | #Constraints: 19625
432.14/433.18 c #Conflicts: 552000 | #Constraints: 20625
432.14/433.18 c #Conflicts: 553000 | #Constraints: 21625
432.14/433.18 c #Conflicts: 554000 | #Constraints: 22625
432.14/433.18 c #Conflicts: 555000 | #Constraints: 23625
432.14/433.18 c #Conflicts: 556000 | #Constraints: 24625
432.14/433.18 c #Conflicts: 557000 | #Constraints: 25625
432.14/433.18 c #Conflicts: 558000 | #Constraints: 26625
432.14/433.18 c #Conflicts: 559000 | #Constraints: 27625
432.14/433.18 c #Conflicts: 560000 | #Constraints: 28625
432.14/433.18 c #Conflicts: 561000 | #Constraints: 29625
432.14/433.18 c INPROCESSING
432.14/433.18 c GARBAGE COLLECT
432.14/433.18 c #Conflicts: 562000 | #Constraints: 15824
432.14/433.18 c #Conflicts: 563000 | #Constraints: 16824
432.14/433.18 c #Conflicts: 564000 | #Constraints: 17824
432.14/433.18 c #Conflicts: 565000 | #Constraints: 18824
432.14/433.18 c #Conflicts: 566000 | #Constraints: 19824
432.14/433.18 c #Conflicts: 567000 | #Constraints: 20824
432.14/433.18 c #Conflicts: 568000 | #Constraints: 21824
432.14/433.18 c #Conflicts: 569000 | #Constraints: 22824
432.14/433.18 c #Conflicts: 570000 | #Constraints: 23824
432.14/433.18 c #Conflicts: 571000 | #Constraints: 24824
432.14/433.18 c #Conflicts: 572000 | #Constraints: 25824
432.14/433.18 c #Conflicts: 573000 | #Constraints: 26824
432.14/433.18 c #Conflicts: 574000 | #Constraints: 27824
432.14/433.18 c #Conflicts: 575000 | #Constraints: 28824
432.14/433.18 c #Conflicts: 576000 | #Constraints: 29824
432.14/433.18 c INPROCESSING
432.14/433.18 c GARBAGE COLLECT
432.14/433.18 c #Conflicts: 577000 | #Constraints: 15825
432.14/433.18 c #Conflicts: 578000 | #Constraints: 16825
432.14/433.18 c #Conflicts: 579000 | #Constraints: 17825
432.14/433.18 c #Conflicts: 580000 | #Constraints: 18825
432.14/433.18 c #Conflicts: 581000 | #Constraints: 19825
432.14/433.18 c #Conflicts: 582000 | #Constraints: 20825
432.14/433.18 c #Conflicts: 583000 | #Constraints: 21825
432.14/433.18 c #Conflicts: 584000 | #Constraints: 22825
432.14/433.18 c #Conflicts: 585000 | #Constraints: 23825
432.14/433.18 c #Conflicts: 586000 | #Constraints: 24825
432.14/433.18 c #Conflicts: 587000 | #Constraints: 25825
432.14/433.18 c #Conflicts: 588000 | #Constraints: 26825
432.14/433.18 c #Conflicts: 589000 | #Constraints: 27825
432.14/433.18 c #Conflicts: 590000 | #Constraints: 28825
432.14/433.18 c #Conflicts: 591000 | #Constraints: 29825
432.14/433.18 c INPROCESSING
432.14/433.18 c GARBAGE COLLECT
432.14/433.18 c #Conflicts: 592000 | #Constraints: 15624
432.14/433.18 c #Conflicts: 593000 | #Constraints: 16624
432.14/433.18 c #Conflicts: 594000 | #Constraints: 17624
432.14/433.18 c #Conflicts: 595000 | #Constraints: 18624
432.14/433.18 c #Conflicts: 596000 | #Constraints: 19624
432.14/433.18 c #Conflicts: 597000 | #Constraints: 20624
432.14/433.18 c #Conflicts: 598000 | #Constraints: 21624
432.14/433.18 c #Conflicts: 599000 | #Constraints: 22624
432.14/433.18 c #Conflicts: 600000 | #Constraints: 23624
432.14/433.18 c #Conflicts: 601000 | #Constraints: 24624
432.14/433.18 c #Conflicts: 602000 | #Constraints: 25624
432.14/433.18 c #Conflicts: 603000 | #Constraints: 26624
432.14/433.18 c #Conflicts: 604000 | #Constraints: 27624
432.14/433.18 c #Conflicts: 605000 | #Constraints: 28624
432.14/433.18 c #Conflicts: 606000 | #Constraints: 29624
432.14/433.18 c #Conflicts: 607000 | #Constraints: 30624
432.14/433.18 c INPROCESSING
432.14/433.18 c GARBAGE COLLECT
432.14/433.18 c #Conflicts: 608000 | #Constraints: 16226
432.14/433.18 c #Conflicts: 609000 | #Constraints: 17226
432.14/433.18 c #Conflicts: 610000 | #Constraints: 18226
432.14/433.18 c #Conflicts: 611000 | #Constraints: 19226
432.14/433.18 c #Conflicts: 612000 | #Constraints: 20226
432.14/433.18 c #Conflicts: 613000 | #Constraints: 21226
432.14/433.18 c #Conflicts: 614000 | #Constraints: 22226
432.14/433.18 c #Conflicts: 615000 | #Constraints: 23226
432.14/433.18 c #Conflicts: 616000 | #Constraints: 24226
432.14/433.18 c #Conflicts: 617000 | #Constraints: 25226
432.14/433.18 c #Conflicts: 618000 | #Constraints: 26226
432.14/433.18 c #Conflicts: 619000 | #Constraints: 27226
432.14/433.18 c #Conflicts: 620000 | #Constraints: 28226
432.14/433.18 c #Conflicts: 621000 | #Constraints: 29226
432.14/433.18 c #Conflicts: 622000 | #Constraints: 30226
432.14/433.18 c #Conflicts: 623000 | #Constraints: 31226
511.26/512.40 c INPROCESSING
511.26/512.40 c GARBAGE COLLECT
511.26/512.40 c #Conflicts: 624000 | #Constraints: 16628
511.26/512.40 c #Conflicts: 625000 | #Constraints: 17628
511.26/512.40 c #Conflicts: 626000 | #Constraints: 18628
511.26/512.40 c #Conflicts: 627000 | #Constraints: 19628
511.26/512.40 c #Conflicts: 628000 | #Constraints: 20628
511.26/512.40 c #Conflicts: 629000 | #Constraints: 21628
511.26/512.40 c #Conflicts: 630000 | #Constraints: 22628
511.26/512.40 c #Conflicts: 631000 | #Constraints: 23628
511.26/512.40 c #Conflicts: 632000 | #Constraints: 24628
511.26/512.40 c #Conflicts: 633000 | #Constraints: 25628
511.26/512.40 c #Conflicts: 634000 | #Constraints: 26628
511.26/512.40 c #Conflicts: 635000 | #Constraints: 27628
511.26/512.40 c #Conflicts: 636000 | #Constraints: 28628
511.26/512.40 c #Conflicts: 637000 | #Constraints: 29628
511.26/512.40 c #Conflicts: 638000 | #Constraints: 30628
511.26/512.40 c #Conflicts: 639000 | #Constraints: 31628
511.26/512.40 c INPROCESSING
511.26/512.40 c GARBAGE COLLECT
511.26/512.40 c #Conflicts: 640000 | #Constraints: 16823
511.26/512.40 c #Conflicts: 641000 | #Constraints: 17823
511.26/512.40 c #Conflicts: 642000 | #Constraints: 18823
511.26/512.40 c #Conflicts: 643000 | #Constraints: 19823
511.26/512.40 c #Conflicts: 644000 | #Constraints: 20823
511.26/512.40 c #Conflicts: 645000 | #Constraints: 21823
511.26/512.40 c #Conflicts: 646000 | #Constraints: 22823
511.26/512.40 c #Conflicts: 647000 | #Constraints: 23823
511.26/512.40 c #Conflicts: 648000 | #Constraints: 24823
511.26/512.40 c #Conflicts: 649000 | #Constraints: 25823
511.26/512.40 c #Conflicts: 650000 | #Constraints: 26823
511.26/512.40 c #Conflicts: 651000 | #Constraints: 27823
511.26/512.40 c #Conflicts: 652000 | #Constraints: 28823
511.26/512.40 c #Conflicts: 653000 | #Constraints: 29823
511.26/512.40 c #Conflicts: 654000 | #Constraints: 30823
511.26/512.40 c #Conflicts: 655000 | #Constraints: 31823
511.26/512.40 c INPROCESSING
511.26/512.40 c GARBAGE COLLECT
511.26/512.40 c #Conflicts: 656000 | #Constraints: 16824
511.26/512.40 c #Conflicts: 657000 | #Constraints: 17824
511.26/512.40 c #Conflicts: 658000 | #Constraints: 18824
511.26/512.40 c #Conflicts: 659000 | #Constraints: 19824
511.26/512.40 c #Conflicts: 660000 | #Constraints: 20824
511.26/512.40 c #Conflicts: 661000 | #Constraints: 21824
511.26/512.40 c #Conflicts: 662000 | #Constraints: 22824
511.26/512.40 c #Conflicts: 663000 | #Constraints: 23824
511.26/512.40 c #Conflicts: 664000 | #Constraints: 24824
511.26/512.40 c #Conflicts: 665000 | #Constraints: 25824
511.26/512.40 c #Conflicts: 666000 | #Constraints: 26824
511.26/512.40 c #Conflicts: 667000 | #Constraints: 27824
511.26/512.40 c #Conflicts: 668000 | #Constraints: 28824
511.26/512.40 c #Conflicts: 669000 | #Constraints: 29824
511.26/512.40 c #Conflicts: 670000 | #Constraints: 30824
511.26/512.40 c #Conflicts: 671000 | #Constraints: 31824
511.26/512.40 c INPROCESSING
511.26/512.40 c GARBAGE COLLECT
511.26/512.40 c #Conflicts: 672000 | #Constraints: 16622
511.26/512.40 c #Conflicts: 673000 | #Constraints: 17622
511.26/512.40 c #Conflicts: 674000 | #Constraints: 18622
511.26/512.40 c #Conflicts: 675000 | #Constraints: 19622
511.26/512.40 c #Conflicts: 676000 | #Constraints: 20622
511.26/512.40 c #Conflicts: 677000 | #Constraints: 21622
511.26/512.40 c #Conflicts: 678000 | #Constraints: 22622
511.26/512.40 c #Conflicts: 679000 | #Constraints: 23622
511.26/512.40 c #Conflicts: 680000 | #Constraints: 24622
511.26/512.40 c #Conflicts: 681000 | #Constraints: 25622
511.26/512.40 c #Conflicts: 682000 | #Constraints: 26622
511.26/512.40 c #Conflicts: 683000 | #Constraints: 27622
511.26/512.40 c #Conflicts: 684000 | #Constraints: 28622
511.26/512.40 c #Conflicts: 685000 | #Constraints: 29622
511.26/512.40 c #Conflicts: 686000 | #Constraints: 30622
511.26/512.40 c #Conflicts: 687000 | #Constraints: 31622
511.26/512.40 c #Conflicts: 688000 | #Constraints: 32622
511.26/512.40 c INPROCESSING
511.26/512.40 c GARBAGE COLLECT
511.26/512.40 c #Conflicts: 689000 | #Constraints: 17221
511.26/512.40 c #Conflicts: 690000 | #Constraints: 18221
511.26/512.40 c #Conflicts: 691000 | #Constraints: 19221
511.26/512.40 c #Conflicts: 692000 | #Constraints: 20221
511.26/512.40 c #Conflicts: 693000 | #Constraints: 21221
511.26/512.40 c #Conflicts: 694000 | #Constraints: 22221
511.26/512.40 c #Conflicts: 695000 | #Constraints: 23221
511.26/512.40 c #Conflicts: 696000 | #Constraints: 24221
511.26/512.40 c #Conflicts: 697000 | #Constraints: 25221
511.26/512.40 c #Conflicts: 698000 | #Constraints: 26221
511.26/512.40 c #Conflicts: 699000 | #Constraints: 27221
592.49/593.89 c #Conflicts: 700000 | #Constraints: 28221
592.49/593.89 c #Conflicts: 701000 | #Constraints: 29221
592.49/593.89 c #Conflicts: 702000 | #Constraints: 30221
592.49/593.89 c #Conflicts: 703000 | #Constraints: 31221
592.49/593.89 c #Conflicts: 704000 | #Constraints: 32221
592.49/593.89 c #Conflicts: 705000 | #Constraints: 33221
592.49/593.89 c INPROCESSING
592.49/593.89 c GARBAGE COLLECT
592.49/593.89 c #Conflicts: 706000 | #Constraints: 17622
592.49/593.89 c #Conflicts: 707000 | #Constraints: 18622
592.49/593.89 c #Conflicts: 708000 | #Constraints: 19622
592.49/593.89 c #Conflicts: 709000 | #Constraints: 20622
592.49/593.89 c #Conflicts: 710000 | #Constraints: 21622
592.49/593.89 c #Conflicts: 711000 | #Constraints: 22622
592.49/593.89 c #Conflicts: 712000 | #Constraints: 23622
592.49/593.89 c #Conflicts: 713000 | #Constraints: 24622
592.49/593.89 c #Conflicts: 714000 | #Constraints: 25622
592.49/593.89 c #Conflicts: 715000 | #Constraints: 26622
592.49/593.89 c #Conflicts: 716000 | #Constraints: 27622
592.49/593.89 c #Conflicts: 717000 | #Constraints: 28622
592.49/593.89 c #Conflicts: 718000 | #Constraints: 29622
592.49/593.89 c #Conflicts: 719000 | #Constraints: 30622
592.49/593.89 c #Conflicts: 720000 | #Constraints: 31622
592.49/593.89 c #Conflicts: 721000 | #Constraints: 32622
592.49/593.89 c #Conflicts: 722000 | #Constraints: 33622
592.49/593.89 c INPROCESSING
592.49/593.89 c GARBAGE COLLECT
592.49/593.89 c #Conflicts: 723000 | #Constraints: 17824
592.49/593.89 c #Conflicts: 724000 | #Constraints: 18824
592.49/593.89 c #Conflicts: 725000 | #Constraints: 19824
592.49/593.89 c #Conflicts: 726000 | #Constraints: 20824
592.49/593.89 c #Conflicts: 727000 | #Constraints: 21824
592.49/593.89 c #Conflicts: 728000 | #Constraints: 22824
592.49/593.89 c #Conflicts: 729000 | #Constraints: 23824
592.49/593.89 c #Conflicts: 730000 | #Constraints: 24824
592.49/593.89 c #Conflicts: 731000 | #Constraints: 25824
592.49/593.89 c #Conflicts: 732000 | #Constraints: 26824
592.49/593.89 c #Conflicts: 733000 | #Constraints: 27824
592.49/593.89 c #Conflicts: 734000 | #Constraints: 28824
592.49/593.89 c #Conflicts: 735000 | #Constraints: 29824
592.49/593.89 c #Conflicts: 736000 | #Constraints: 30824
592.49/593.89 c #Conflicts: 737000 | #Constraints: 31824
592.49/593.89 c #Conflicts: 738000 | #Constraints: 32824
592.49/593.89 c #Conflicts: 739000 | #Constraints: 33824
592.49/593.89 c INPROCESSING
592.49/593.89 c GARBAGE COLLECT
592.49/593.89 c #Conflicts: 740000 | #Constraints: 17825
592.49/593.89 c #Conflicts: 741000 | #Constraints: 18825
592.49/593.89 c #Conflicts: 742000 | #Constraints: 19825
592.49/593.89 c #Conflicts: 743000 | #Constraints: 20825
592.49/593.89 c #Conflicts: 744000 | #Constraints: 21825
592.49/593.89 c #Conflicts: 745000 | #Constraints: 22825
592.49/593.89 c #Conflicts: 746000 | #Constraints: 23825
592.49/593.89 c #Conflicts: 747000 | #Constraints: 24825
592.49/593.89 c #Conflicts: 748000 | #Constraints: 25825
592.49/593.89 c #Conflicts: 749000 | #Constraints: 26825
592.49/593.89 c #Conflicts: 750000 | #Constraints: 27825
592.49/593.89 c #Conflicts: 751000 | #Constraints: 28825
592.49/593.89 c #Conflicts: 752000 | #Constraints: 29825
592.49/593.89 c #Conflicts: 753000 | #Constraints: 30825
592.49/593.89 c #Conflicts: 754000 | #Constraints: 31825
592.49/593.89 c #Conflicts: 755000 | #Constraints: 32825
592.49/593.89 c #Conflicts: 756000 | #Constraints: 33825
592.49/593.89 c INPROCESSING
592.49/593.89 c GARBAGE COLLECT
592.49/593.89 c #Conflicts: 757000 | #Constraints: 17625
592.49/593.89 c #Conflicts: 758000 | #Constraints: 18625
592.49/593.89 c #Conflicts: 759000 | #Constraints: 19625
592.49/593.89 c #Conflicts: 760000 | #Constraints: 20625
592.49/593.89 c #Conflicts: 761000 | #Constraints: 21625
592.49/593.89 c #Conflicts: 762000 | #Constraints: 22625
592.49/593.89 c #Conflicts: 763000 | #Constraints: 23625
592.49/593.89 c #Conflicts: 764000 | #Constraints: 24625
592.49/593.89 c #Conflicts: 765000 | #Constraints: 25625
592.49/593.89 c #Conflicts: 766000 | #Constraints: 26625
592.49/593.89 c #Conflicts: 767000 | #Constraints: 27625
592.49/593.89 c #Conflicts: 768000 | #Constraints: 28625
592.49/593.89 c #Conflicts: 769000 | #Constraints: 29625
592.49/593.89 c #Conflicts: 770000 | #Constraints: 30625
592.49/593.89 c #Conflicts: 771000 | #Constraints: 31625
592.49/593.89 c #Conflicts: 772000 | #Constraints: 32625
592.49/593.89 c #Conflicts: 773000 | #Constraints: 33625
592.49/593.89 c #Conflicts: 774000 | #Constraints: 34625
592.49/593.89 c INPROCESSING
592.49/593.89 c GARBAGE COLLECT
680.29/681.85 c #Conflicts: 775000 | #Constraints: 18220
680.29/681.85 c #Conflicts: 776000 | #Constraints: 19220
680.29/681.85 c #Conflicts: 777000 | #Constraints: 20220
680.29/681.85 c #Conflicts: 778000 | #Constraints: 21220
680.29/681.85 c #Conflicts: 779000 | #Constraints: 22220
680.29/681.85 c #Conflicts: 780000 | #Constraints: 23220
680.29/681.85 c #Conflicts: 781000 | #Constraints: 24220
680.29/681.85 c #Conflicts: 782000 | #Constraints: 25220
680.29/681.85 c #Conflicts: 783000 | #Constraints: 26220
680.29/681.85 c #Conflicts: 784000 | #Constraints: 27220
680.29/681.85 c #Conflicts: 785000 | #Constraints: 28220
680.29/681.85 c #Conflicts: 786000 | #Constraints: 29220
680.29/681.85 c #Conflicts: 787000 | #Constraints: 30220
680.29/681.85 c #Conflicts: 788000 | #Constraints: 31220
680.29/681.85 c #Conflicts: 789000 | #Constraints: 32220
680.29/681.85 c #Conflicts: 790000 | #Constraints: 33220
680.29/681.85 c #Conflicts: 791000 | #Constraints: 34220
680.29/681.85 c #Conflicts: 792000 | #Constraints: 35220
680.29/681.85 c INPROCESSING
680.29/681.85 c GARBAGE COLLECT
680.29/681.85 c #Conflicts: 793000 | #Constraints: 18623
680.29/681.85 c #Conflicts: 794000 | #Constraints: 19623
680.29/681.85 c #Conflicts: 795000 | #Constraints: 20623
680.29/681.85 c #Conflicts: 796000 | #Constraints: 21623
680.29/681.85 c #Conflicts: 797000 | #Constraints: 22623
680.29/681.85 c #Conflicts: 798000 | #Constraints: 23623
680.29/681.85 c #Conflicts: 799000 | #Constraints: 24623
680.29/681.85 c #Conflicts: 800000 | #Constraints: 25623
680.29/681.85 c #Conflicts: 801000 | #Constraints: 26623
680.29/681.85 c #Conflicts: 802000 | #Constraints: 27623
680.29/681.85 c #Conflicts: 803000 | #Constraints: 28623
680.29/681.85 c #Conflicts: 804000 | #Constraints: 29623
680.29/681.85 c #Conflicts: 805000 | #Constraints: 30623
680.29/681.85 c #Conflicts: 806000 | #Constraints: 31623
680.29/681.85 c #Conflicts: 807000 | #Constraints: 32623
680.29/681.85 c #Conflicts: 808000 | #Constraints: 33623
680.29/681.85 c #Conflicts: 809000 | #Constraints: 34623
680.29/681.85 c #Conflicts: 810000 | #Constraints: 35623
680.29/681.85 c INPROCESSING
680.29/681.85 c GARBAGE COLLECT
680.29/681.85 c #Conflicts: 811000 | #Constraints: 18823
680.29/681.85 c #Conflicts: 812000 | #Constraints: 19823
680.29/681.85 c #Conflicts: 813000 | #Constraints: 20823
680.29/681.85 c #Conflicts: 814000 | #Constraints: 21823
680.29/681.85 c #Conflicts: 815000 | #Constraints: 22823
680.29/681.85 c #Conflicts: 816000 | #Constraints: 23823
680.29/681.85 c #Conflicts: 817000 | #Constraints: 24823
680.29/681.85 c #Conflicts: 818000 | #Constraints: 25823
680.29/681.85 c #Conflicts: 819000 | #Constraints: 26823
680.29/681.85 c #Conflicts: 820000 | #Constraints: 27823
680.29/681.85 c #Conflicts: 821000 | #Constraints: 28823
680.29/681.85 c #Conflicts: 822000 | #Constraints: 29823
680.29/681.85 c #Conflicts: 823000 | #Constraints: 30823
680.29/681.85 c #Conflicts: 824000 | #Constraints: 31823
680.29/681.85 c #Conflicts: 825000 | #Constraints: 32823
680.29/681.85 c #Conflicts: 826000 | #Constraints: 33823
680.29/681.85 c #Conflicts: 827000 | #Constraints: 34823
680.29/681.85 c #Conflicts: 828000 | #Constraints: 35823
680.29/681.85 c INPROCESSING
680.29/681.85 c GARBAGE COLLECT
680.29/681.85 c #Conflicts: 829000 | #Constraints: 18825
680.29/681.85 c #Conflicts: 830000 | #Constraints: 19825
680.29/681.85 c #Conflicts: 831000 | #Constraints: 20825
680.29/681.85 c #Conflicts: 832000 | #Constraints: 21825
680.29/681.85 c #Conflicts: 833000 | #Constraints: 22825
680.29/681.85 c #Conflicts: 834000 | #Constraints: 23825
680.29/681.85 c #Conflicts: 835000 | #Constraints: 24825
680.29/681.85 c #Conflicts: 836000 | #Constraints: 25825
680.29/681.85 c #Conflicts: 837000 | #Constraints: 26825
680.29/681.85 c #Conflicts: 838000 | #Constraints: 27825
680.29/681.85 c #Conflicts: 839000 | #Constraints: 28825
680.29/681.85 c #Conflicts: 840000 | #Constraints: 29825
680.29/681.85 c #Conflicts: 841000 | #Constraints: 30825
680.29/681.85 c #Conflicts: 842000 | #Constraints: 31825
680.29/681.85 c #Conflicts: 843000 | #Constraints: 32825
680.29/681.85 c #Conflicts: 844000 | #Constraints: 33825
680.29/681.85 c #Conflicts: 845000 | #Constraints: 34825
680.29/681.85 c #Conflicts: 846000 | #Constraints: 35825
680.29/681.85 c INPROCESSING
680.29/681.85 c GARBAGE COLLECT
680.29/681.85 c #Conflicts: 847000 | #Constraints: 18622
680.29/681.85 c #Conflicts: 848000 | #Constraints: 19622
680.29/681.85 c #Conflicts: 849000 | #Constraints: 20622
680.29/681.85 c #Conflicts: 850000 | #Constraints: 21622
680.29/681.85 c #Conflicts: 851000 | #Constraints: 22622
768.41/770.19 c #Conflicts: 852000 | #Constraints: 23622
768.41/770.19 c #Conflicts: 853000 | #Constraints: 24622
768.41/770.19 c #Conflicts: 854000 | #Constraints: 25622
768.41/770.19 c #Conflicts: 855000 | #Constraints: 26622
768.41/770.19 c #Conflicts: 856000 | #Constraints: 27622
768.41/770.19 c #Conflicts: 857000 | #Constraints: 28622
768.41/770.19 c #Conflicts: 858000 | #Constraints: 29622
768.41/770.19 c #Conflicts: 859000 | #Constraints: 30622
768.41/770.19 c #Conflicts: 860000 | #Constraints: 31622
768.41/770.19 c #Conflicts: 861000 | #Constraints: 32622
768.41/770.19 c #Conflicts: 862000 | #Constraints: 33622
768.41/770.19 c #Conflicts: 863000 | #Constraints: 34622
768.41/770.19 c #Conflicts: 864000 | #Constraints: 35622
768.41/770.19 c #Conflicts: 865000 | #Constraints: 36622
768.41/770.19 c INPROCESSING
768.41/770.19 c GARBAGE COLLECT
768.41/770.19 c #Conflicts: 866000 | #Constraints: 19221
768.41/770.19 c #Conflicts: 867000 | #Constraints: 20221
768.41/770.19 c #Conflicts: 868000 | #Constraints: 21221
768.41/770.19 c #Conflicts: 869000 | #Constraints: 22221
768.41/770.19 c #Conflicts: 870000 | #Constraints: 23221
768.41/770.19 c #Conflicts: 871000 | #Constraints: 24221
768.41/770.19 c #Conflicts: 872000 | #Constraints: 25221
768.41/770.19 c #Conflicts: 873000 | #Constraints: 26221
768.41/770.19 c #Conflicts: 874000 | #Constraints: 27221
768.41/770.19 c #Conflicts: 875000 | #Constraints: 28221
768.41/770.19 c #Conflicts: 876000 | #Constraints: 29221
768.41/770.19 c #Conflicts: 877000 | #Constraints: 30221
768.41/770.19 c #Conflicts: 878000 | #Constraints: 31221
768.41/770.19 c #Conflicts: 879000 | #Constraints: 32221
768.41/770.19 c #Conflicts: 880000 | #Constraints: 33221
768.41/770.19 c #Conflicts: 881000 | #Constraints: 34221
768.41/770.19 c #Conflicts: 882000 | #Constraints: 35221
768.41/770.19 c #Conflicts: 883000 | #Constraints: 36221
768.41/770.19 c #Conflicts: 884000 | #Constraints: 37221
768.41/770.19 c INPROCESSING
768.41/770.19 c GARBAGE COLLECT
768.41/770.19 c #Conflicts: 885000 | #Constraints: 19623
768.41/770.19 c #Conflicts: 886000 | #Constraints: 20623
768.41/770.19 c #Conflicts: 887000 | #Constraints: 21623
768.41/770.19 c #Conflicts: 888000 | #Constraints: 22623
768.41/770.19 c #Conflicts: 889000 | #Constraints: 23623
768.41/770.19 c #Conflicts: 890000 | #Constraints: 24623
768.41/770.19 c #Conflicts: 891000 | #Constraints: 25623
768.41/770.19 c #Conflicts: 892000 | #Constraints: 26623
768.41/770.19 c #Conflicts: 893000 | #Constraints: 27623
768.41/770.19 c #Conflicts: 894000 | #Constraints: 28623
768.41/770.19 c #Conflicts: 895000 | #Constraints: 29623
768.41/770.19 c #Conflicts: 896000 | #Constraints: 30623
768.41/770.19 c #Conflicts: 897000 | #Constraints: 31623
768.41/770.19 c #Conflicts: 898000 | #Constraints: 32623
768.41/770.19 c #Conflicts: 899000 | #Constraints: 33623
768.41/770.19 c #Conflicts: 900000 | #Constraints: 34623
768.41/770.19 c #Conflicts: 901000 | #Constraints: 35623
768.41/770.19 c #Conflicts: 902000 | #Constraints: 36623
768.41/770.19 c #Conflicts: 903000 | #Constraints: 37623
768.41/770.19 c INPROCESSING
768.41/770.19 c GARBAGE COLLECT
768.41/770.19 c #Conflicts: 904000 | #Constraints: 19820
768.41/770.19 c #Conflicts: 905000 | #Constraints: 20820
768.41/770.19 c #Conflicts: 906000 | #Constraints: 21820
768.41/770.19 c #Conflicts: 907000 | #Constraints: 22820
768.41/770.19 c #Conflicts: 908000 | #Constraints: 23820
768.41/770.19 c #Conflicts: 909000 | #Constraints: 24820
768.41/770.19 c #Conflicts: 910000 | #Constraints: 25820
768.41/770.19 c #Conflicts: 911000 | #Constraints: 26820
768.41/770.19 c #Conflicts: 912000 | #Constraints: 27820
768.41/770.19 c #Conflicts: 913000 | #Constraints: 28820
768.41/770.19 c #Conflicts: 914000 | #Constraints: 29820
768.41/770.19 c #Conflicts: 915000 | #Constraints: 30820
768.41/770.19 c #Conflicts: 916000 | #Constraints: 31820
768.41/770.19 c #Conflicts: 917000 | #Constraints: 32820
768.41/770.19 c #Conflicts: 918000 | #Constraints: 33820
768.41/770.19 c #Conflicts: 919000 | #Constraints: 34820
768.41/770.19 c #Conflicts: 920000 | #Constraints: 35820
768.41/770.19 c #Conflicts: 921000 | #Constraints: 36820
768.41/770.19 c #Conflicts: 922000 | #Constraints: 37820
768.41/770.19 c INPROCESSING
768.41/770.19 c GARBAGE COLLECT
768.41/770.19 c #Conflicts: 923000 | #Constraints: 19817
768.41/770.19 c #Conflicts: 924000 | #Constraints: 20817
768.41/770.19 c #Conflicts: 925000 | #Constraints: 21817
768.41/770.19 c #Conflicts: 926000 | #Constraints: 22817
768.41/770.19 c #Conflicts: 927000 | #Constraints: 23817
864.79/866.70 c #Conflicts: 928000 | #Constraints: 24817
864.79/866.70 c #Conflicts: 929000 | #Constraints: 25817
864.79/866.70 c #Conflicts: 930000 | #Constraints: 26817
864.79/866.70 c #Conflicts: 931000 | #Constraints: 27817
864.79/866.70 c #Conflicts: 932000 | #Constraints: 28817
864.79/866.70 c #Conflicts: 933000 | #Constraints: 29817
864.79/866.70 c #Conflicts: 934000 | #Constraints: 30817
864.79/866.70 c #Conflicts: 935000 | #Constraints: 31817
864.79/866.70 c #Conflicts: 936000 | #Constraints: 32817
864.79/866.70 c #Conflicts: 937000 | #Constraints: 33817
864.79/866.70 c #Conflicts: 938000 | #Constraints: 34817
864.79/866.70 c #Conflicts: 939000 | #Constraints: 35817
864.79/866.70 c #Conflicts: 940000 | #Constraints: 36817
864.79/866.70 c #Conflicts: 941000 | #Constraints: 37817
864.79/866.70 c INPROCESSING
864.79/866.70 c GARBAGE COLLECT
864.79/866.70 c #Conflicts: 942000 | #Constraints: 19623
864.79/866.70 c #Conflicts: 943000 | #Constraints: 20623
864.79/866.70 c #Conflicts: 944000 | #Constraints: 21623
864.79/866.70 c #Conflicts: 945000 | #Constraints: 22623
864.79/866.70 c #Conflicts: 946000 | #Constraints: 23623
864.79/866.70 c #Conflicts: 947000 | #Constraints: 24623
864.79/866.70 c #Conflicts: 948000 | #Constraints: 25623
864.79/866.70 c #Conflicts: 949000 | #Constraints: 26623
864.79/866.70 c #Conflicts: 950000 | #Constraints: 27623
864.79/866.70 c #Conflicts: 951000 | #Constraints: 28623
864.79/866.70 c #Conflicts: 952000 | #Constraints: 29623
864.79/866.70 c #Conflicts: 953000 | #Constraints: 30623
864.79/866.70 c #Conflicts: 954000 | #Constraints: 31623
864.79/866.70 c #Conflicts: 955000 | #Constraints: 32623
864.79/866.70 c #Conflicts: 956000 | #Constraints: 33623
864.79/866.70 c #Conflicts: 957000 | #Constraints: 34623
864.79/866.70 c #Conflicts: 958000 | #Constraints: 35623
864.79/866.70 c #Conflicts: 959000 | #Constraints: 36623
864.79/866.70 c #Conflicts: 960000 | #Constraints: 37623
864.79/866.70 c #Conflicts: 961000 | #Constraints: 38623
864.79/866.70 c INPROCESSING
864.79/866.70 c GARBAGE COLLECT
864.79/866.70 c #Conflicts: 962000 | #Constraints: 20226
864.79/866.70 c #Conflicts: 963000 | #Constraints: 21226
864.79/866.70 c #Conflicts: 964000 | #Constraints: 22226
864.79/866.70 c #Conflicts: 965000 | #Constraints: 23226
864.79/866.70 c #Conflicts: 966000 | #Constraints: 24226
864.79/866.70 c #Conflicts: 967000 | #Constraints: 25226
864.79/866.70 c #Conflicts: 968000 | #Constraints: 26226
864.79/866.70 c #Conflicts: 969000 | #Constraints: 27226
864.79/866.70 c #Conflicts: 970000 | #Constraints: 28226
864.79/866.70 c #Conflicts: 971000 | #Constraints: 29226
864.79/866.70 c #Conflicts: 972000 | #Constraints: 30226
864.79/866.70 c #Conflicts: 973000 | #Constraints: 31226
864.79/866.70 c #Conflicts: 974000 | #Constraints: 32226
864.79/866.70 c #Conflicts: 975000 | #Constraints: 33226
864.79/866.70 c #Conflicts: 976000 | #Constraints: 34226
864.79/866.70 c #Conflicts: 977000 | #Constraints: 35226
864.79/866.70 c #Conflicts: 978000 | #Constraints: 36226
864.79/866.70 c #Conflicts: 979000 | #Constraints: 37226
864.79/866.70 c #Conflicts: 980000 | #Constraints: 38226
864.79/866.70 c #Conflicts: 981000 | #Constraints: 39226
864.79/866.70 c INPROCESSING
864.79/866.70 c GARBAGE COLLECT
864.79/866.70 c #Conflicts: 982000 | #Constraints: 20625
864.79/866.70 c #Conflicts: 983000 | #Constraints: 21625
864.79/866.70 c #Conflicts: 984000 | #Constraints: 22625
864.79/866.71 c #Conflicts: 985000 | #Constraints: 23625
864.79/866.71 c #Conflicts: 986000 | #Constraints: 24625
864.79/866.71 c #Conflicts: 987000 | #Constraints: 25625
864.79/866.71 c #Conflicts: 988000 | #Constraints: 26625
864.79/866.71 c #Conflicts: 989000 | #Constraints: 27625
864.79/866.71 c #Conflicts: 990000 | #Constraints: 28625
864.79/866.71 c #Conflicts: 991000 | #Constraints: 29625
864.79/866.71 c #Conflicts: 992000 | #Constraints: 30625
864.79/866.71 c #Conflicts: 993000 | #Constraints: 31625
864.79/866.71 c #Conflicts: 994000 | #Constraints: 32625
864.79/866.71 c #Conflicts: 995000 | #Constraints: 33625
864.79/866.71 c #Conflicts: 996000 | #Constraints: 34625
864.79/866.71 c #Conflicts: 997000 | #Constraints: 35625
864.79/866.71 c #Conflicts: 998000 | #Constraints: 36625
864.79/866.71 c #Conflicts: 999000 | #Constraints: 37625
864.79/866.71 c #Conflicts: 1000000 | #Constraints: 38625
864.79/866.71 c #Conflicts: 1001000 | #Constraints: 39625
864.79/866.71 c INPROCESSING
864.79/866.71 c GARBAGE COLLECT
864.79/866.71 c #Conflicts: 1002000 | #Constraints: 20827
864.79/866.71 c #Conflicts: 1003000 | #Constraints: 21827
969.57/971.77 c #Conflicts: 1004000 | #Constraints: 22827
969.57/971.77 c #Conflicts: 1005000 | #Constraints: 23827
969.57/971.77 c #Conflicts: 1006000 | #Constraints: 24827
969.57/971.77 c #Conflicts: 1007000 | #Constraints: 25827
969.57/971.77 c #Conflicts: 1008000 | #Constraints: 26827
969.57/971.77 c #Conflicts: 1009000 | #Constraints: 27827
969.57/971.77 c #Conflicts: 1010000 | #Constraints: 28827
969.57/971.77 c #Conflicts: 1011000 | #Constraints: 29827
969.57/971.77 c #Conflicts: 1012000 | #Constraints: 30827
969.57/971.77 c #Conflicts: 1013000 | #Constraints: 31827
969.57/971.77 c #Conflicts: 1014000 | #Constraints: 32827
969.57/971.77 c #Conflicts: 1015000 | #Constraints: 33827
969.57/971.77 c #Conflicts: 1016000 | #Constraints: 34827
969.57/971.77 c #Conflicts: 1017000 | #Constraints: 35827
969.57/971.77 c #Conflicts: 1018000 | #Constraints: 36827
969.57/971.77 c #Conflicts: 1019000 | #Constraints: 37827
969.57/971.77 c #Conflicts: 1020000 | #Constraints: 38827
969.57/971.77 c #Conflicts: 1021000 | #Constraints: 39827
969.57/971.77 c INPROCESSING
969.57/971.77 c GARBAGE COLLECT
969.57/971.77 c #Conflicts: 1022000 | #Constraints: 20827
969.57/971.77 c #Conflicts: 1023000 | #Constraints: 21827
969.57/971.77 c #Conflicts: 1024000 | #Constraints: 22827
969.57/971.77 c #Conflicts: 1025000 | #Constraints: 23827
969.57/971.77 c #Conflicts: 1026000 | #Constraints: 24827
969.57/971.77 c #Conflicts: 1027000 | #Constraints: 25827
969.57/971.77 c #Conflicts: 1028000 | #Constraints: 26827
969.57/971.77 c #Conflicts: 1029000 | #Constraints: 27827
969.57/971.77 c #Conflicts: 1030000 | #Constraints: 28827
969.57/971.77 c #Conflicts: 1031000 | #Constraints: 29827
969.57/971.77 c #Conflicts: 1032000 | #Constraints: 30827
969.57/971.77 c #Conflicts: 1033000 | #Constraints: 31827
969.57/971.77 c #Conflicts: 1034000 | #Constraints: 32827
969.57/971.77 c #Conflicts: 1035000 | #Constraints: 33827
969.57/971.77 c #Conflicts: 1036000 | #Constraints: 34827
969.57/971.77 c #Conflicts: 1037000 | #Constraints: 35827
969.57/971.77 c #Conflicts: 1038000 | #Constraints: 36827
969.57/971.77 c #Conflicts: 1039000 | #Constraints: 37827
969.57/971.77 c #Conflicts: 1040000 | #Constraints: 38827
969.57/971.77 c #Conflicts: 1041000 | #Constraints: 39827
969.57/971.77 c INPROCESSING
969.57/971.77 c GARBAGE COLLECT
969.57/971.77 c #Conflicts: 1042000 | #Constraints: 20628
969.57/971.77 c #Conflicts: 1043000 | #Constraints: 21628
969.57/971.77 c #Conflicts: 1044000 | #Constraints: 22628
969.57/971.77 c #Conflicts: 1045000 | #Constraints: 23628
969.57/971.77 c #Conflicts: 1046000 | #Constraints: 24628
969.57/971.77 c #Conflicts: 1047000 | #Constraints: 25628
969.57/971.77 c #Conflicts: 1048000 | #Constraints: 26628
969.57/971.77 c #Conflicts: 1049000 | #Constraints: 27628
969.57/971.77 c #Conflicts: 1050000 | #Constraints: 28628
969.57/971.77 c #Conflicts: 1051000 | #Constraints: 29628
969.57/971.77 c #Conflicts: 1052000 | #Constraints: 30628
969.57/971.77 c #Conflicts: 1053000 | #Constraints: 31628
969.57/971.77 c #Conflicts: 1054000 | #Constraints: 32628
969.57/971.77 c #Conflicts: 1055000 | #Constraints: 33628
969.57/971.77 c #Conflicts: 1056000 | #Constraints: 34628
969.57/971.77 c #Conflicts: 1057000 | #Constraints: 35628
969.57/971.77 c #Conflicts: 1058000 | #Constraints: 36628
969.57/971.77 c #Conflicts: 1059000 | #Constraints: 37628
969.57/971.77 c #Conflicts: 1060000 | #Constraints: 38628
969.57/971.77 c #Conflicts: 1061000 | #Constraints: 39628
969.57/971.77 c #Conflicts: 1062000 | #Constraints: 40628
969.57/971.77 c INPROCESSING
969.57/971.77 c GARBAGE COLLECT
969.57/971.77 c #Conflicts: 1063000 | #Constraints: 21226
969.57/971.77 c #Conflicts: 1064000 | #Constraints: 22226
969.57/971.77 c #Conflicts: 1065000 | #Constraints: 23226
969.57/971.77 c #Conflicts: 1066000 | #Constraints: 24226
969.57/971.77 c #Conflicts: 1067000 | #Constraints: 25226
969.57/971.77 c #Conflicts: 1068000 | #Constraints: 26226
969.57/971.77 c #Conflicts: 1069000 | #Constraints: 27226
969.57/971.77 c #Conflicts: 1070000 | #Constraints: 28226
969.57/971.77 c #Conflicts: 1071000 | #Constraints: 29226
969.57/971.77 c #Conflicts: 1072000 | #Constraints: 30226
969.57/971.77 c #Conflicts: 1073000 | #Constraints: 31226
969.57/971.77 c #Conflicts: 1074000 | #Constraints: 32226
969.57/971.77 c #Conflicts: 1075000 | #Constraints: 33226
969.57/971.77 c #Conflicts: 1076000 | #Constraints: 34226
969.57/971.77 c #Conflicts: 1077000 | #Constraints: 35226
969.57/971.77 c #Conflicts: 1078000 | #Constraints: 36226
969.57/971.77 c #Conflicts: 1079000 | #Constraints: 37226
969.57/971.77 c #Conflicts: 1080000 | #Constraints: 38226
1076.43/1078.81 c #Conflicts: 1081000 | #Constraints: 39226
1076.43/1078.81 c #Conflicts: 1082000 | #Constraints: 40226
1076.43/1078.81 c #Conflicts: 1083000 | #Constraints: 41226
1076.43/1078.81 c INPROCESSING
1076.43/1078.81 c GARBAGE COLLECT
1076.43/1078.81 c #Conflicts: 1084000 | #Constraints: 21625
1076.43/1078.81 c #Conflicts: 1085000 | #Constraints: 22625
1076.43/1078.81 c #Conflicts: 1086000 | #Constraints: 23625
1076.43/1078.81 c #Conflicts: 1087000 | #Constraints: 24625
1076.43/1078.81 c #Conflicts: 1088000 | #Constraints: 25625
1076.43/1078.81 c #Conflicts: 1089000 | #Constraints: 26625
1076.43/1078.81 c #Conflicts: 1090000 | #Constraints: 27625
1076.43/1078.81 c #Conflicts: 1091000 | #Constraints: 28625
1076.43/1078.81 c #Conflicts: 1092000 | #Constraints: 29625
1076.43/1078.81 c #Conflicts: 1093000 | #Constraints: 30625
1076.43/1078.81 c #Conflicts: 1094000 | #Constraints: 31625
1076.43/1078.81 c #Conflicts: 1095000 | #Constraints: 32625
1076.43/1078.81 c #Conflicts: 1096000 | #Constraints: 33625
1076.43/1078.81 c #Conflicts: 1097000 | #Constraints: 34625
1076.43/1078.81 c #Conflicts: 1098000 | #Constraints: 35625
1076.43/1078.81 c #Conflicts: 1099000 | #Constraints: 36625
1076.43/1078.81 c #Conflicts: 1100000 | #Constraints: 37625
1076.43/1078.81 c #Conflicts: 1101000 | #Constraints: 38625
1076.43/1078.81 c #Conflicts: 1102000 | #Constraints: 39625
1076.43/1078.81 c #Conflicts: 1103000 | #Constraints: 40625
1076.43/1078.81 c #Conflicts: 1104000 | #Constraints: 41625
1076.43/1078.81 c INPROCESSING
1076.43/1078.81 c GARBAGE COLLECT
1076.43/1078.81 c #Conflicts: 1105000 | #Constraints: 21824
1076.43/1078.81 c #Conflicts: 1106000 | #Constraints: 22824
1076.43/1078.81 c #Conflicts: 1107000 | #Constraints: 23824
1076.43/1078.81 c #Conflicts: 1108000 | #Constraints: 24824
1076.43/1078.81 c #Conflicts: 1109000 | #Constraints: 25824
1076.43/1078.81 c #Conflicts: 1110000 | #Constraints: 26824
1076.43/1078.81 c #Conflicts: 1111000 | #Constraints: 27824
1076.43/1078.81 c #Conflicts: 1112000 | #Constraints: 28824
1076.43/1078.81 c #Conflicts: 1113000 | #Constraints: 29824
1076.43/1078.81 c #Conflicts: 1114000 | #Constraints: 30824
1076.43/1078.81 c #Conflicts: 1115000 | #Constraints: 31824
1076.43/1078.81 c #Conflicts: 1116000 | #Constraints: 32824
1076.43/1078.81 c #Conflicts: 1117000 | #Constraints: 33824
1076.43/1078.81 c #Conflicts: 1118000 | #Constraints: 34824
1076.43/1078.81 c #Conflicts: 1119000 | #Constraints: 35824
1076.43/1078.81 c #Conflicts: 1120000 | #Constraints: 36824
1076.43/1078.81 c #Conflicts: 1121000 | #Constraints: 37824
1076.43/1078.81 c #Conflicts: 1122000 | #Constraints: 38824
1076.43/1078.81 c #Conflicts: 1123000 | #Constraints: 39824
1076.43/1078.81 c #Conflicts: 1124000 | #Constraints: 40824
1076.43/1078.81 c #Conflicts: 1125000 | #Constraints: 41824
1076.43/1078.81 c INPROCESSING
1076.43/1078.81 c GARBAGE COLLECT
1076.43/1078.81 c #Conflicts: 1126000 | #Constraints: 21828
1076.43/1078.81 c #Conflicts: 1127000 | #Constraints: 22828
1076.43/1078.81 c #Conflicts: 1128000 | #Constraints: 23828
1076.43/1078.81 c #Conflicts: 1129000 | #Constraints: 24828
1076.43/1078.81 c #Conflicts: 1130000 | #Constraints: 25828
1076.43/1078.81 c #Conflicts: 1131000 | #Constraints: 26828
1076.43/1078.81 c #Conflicts: 1132000 | #Constraints: 27828
1076.43/1078.81 c #Conflicts: 1133000 | #Constraints: 28828
1076.43/1078.81 c #Conflicts: 1134000 | #Constraints: 29828
1076.43/1078.81 c #Conflicts: 1135000 | #Constraints: 30828
1076.43/1078.81 c #Conflicts: 1136000 | #Constraints: 31828
1076.43/1078.81 c #Conflicts: 1137000 | #Constraints: 32828
1076.43/1078.81 c #Conflicts: 1138000 | #Constraints: 33828
1076.43/1078.81 c #Conflicts: 1139000 | #Constraints: 34828
1076.43/1078.81 c #Conflicts: 1140000 | #Constraints: 35828
1076.43/1078.81 c #Conflicts: 1141000 | #Constraints: 36828
1076.43/1078.81 c #Conflicts: 1142000 | #Constraints: 37828
1076.43/1078.81 c #Conflicts: 1143000 | #Constraints: 38828
1076.43/1078.81 c #Conflicts: 1144000 | #Constraints: 39828
1076.43/1078.81 c #Conflicts: 1145000 | #Constraints: 40828
1076.43/1078.81 c #Conflicts: 1146000 | #Constraints: 41828
1076.43/1078.81 c INPROCESSING
1076.43/1078.81 c GARBAGE COLLECT
1076.43/1078.81 c #Conflicts: 1147000 | #Constraints: 21626
1076.43/1078.81 c #Conflicts: 1148000 | #Constraints: 22626
1076.43/1078.81 c #Conflicts: 1149000 | #Constraints: 23626
1076.43/1078.81 c #Conflicts: 1150000 | #Constraints: 24626
1076.43/1078.81 c #Conflicts: 1151000 | #Constraints: 25626
1076.43/1078.81 c #Conflicts: 1152000 | #Constraints: 26626
1076.43/1078.81 c #Conflicts: 1153000 | #Constraints: 27626
1076.43/1078.81 c #Conflicts: 1154000 | #Constraints: 28626
1076.43/1078.81 c #Conflicts: 1155000 | #Constraints: 29626
1076.43/1078.81 c #Conflicts: 1156000 | #Constraints: 30626
1185.10/1187.73 c #Conflicts: 1157000 | #Constraints: 31626
1185.10/1187.73 c #Conflicts: 1158000 | #Constraints: 32626
1185.10/1187.73 c #Conflicts: 1159000 | #Constraints: 33626
1185.10/1187.73 c #Conflicts: 1160000 | #Constraints: 34626
1185.10/1187.73 c #Conflicts: 1161000 | #Constraints: 35626
1185.10/1187.73 c #Conflicts: 1162000 | #Constraints: 36626
1185.10/1187.73 c #Conflicts: 1163000 | #Constraints: 37626
1185.10/1187.73 c #Conflicts: 1164000 | #Constraints: 38626
1185.10/1187.73 c #Conflicts: 1165000 | #Constraints: 39626
1185.10/1187.73 c #Conflicts: 1166000 | #Constraints: 40626
1185.10/1187.73 c #Conflicts: 1167000 | #Constraints: 41626
1185.10/1187.73 c #Conflicts: 1168000 | #Constraints: 42626
1185.10/1187.73 c INPROCESSING
1185.10/1187.73 c GARBAGE COLLECT
1185.10/1187.73 c #Conflicts: 1169000 | #Constraints: 22225
1185.10/1187.73 c #Conflicts: 1170000 | #Constraints: 23225
1185.10/1187.73 c #Conflicts: 1171000 | #Constraints: 24225
1185.10/1187.73 c #Conflicts: 1172000 | #Constraints: 25225
1185.10/1187.73 c #Conflicts: 1173000 | #Constraints: 26225
1185.10/1187.73 c #Conflicts: 1174000 | #Constraints: 27225
1185.10/1187.73 c #Conflicts: 1175000 | #Constraints: 28225
1185.10/1187.73 c #Conflicts: 1176000 | #Constraints: 29225
1185.10/1187.73 c #Conflicts: 1177000 | #Constraints: 30225
1185.10/1187.73 c #Conflicts: 1178000 | #Constraints: 31225
1185.10/1187.73 c #Conflicts: 1179000 | #Constraints: 32225
1185.10/1187.73 c #Conflicts: 1180000 | #Constraints: 33225
1185.10/1187.73 c #Conflicts: 1181000 | #Constraints: 34225
1185.10/1187.73 c #Conflicts: 1182000 | #Constraints: 35225
1185.10/1187.73 c #Conflicts: 1183000 | #Constraints: 36225
1185.10/1187.73 c #Conflicts: 1184000 | #Constraints: 37225
1185.10/1187.73 c #Conflicts: 1185000 | #Constraints: 38225
1185.10/1187.73 c #Conflicts: 1186000 | #Constraints: 39225
1185.10/1187.73 c #Conflicts: 1187000 | #Constraints: 40225
1185.10/1187.73 c #Conflicts: 1188000 | #Constraints: 41225
1185.10/1187.73 c #Conflicts: 1189000 | #Constraints: 42225
1185.10/1187.73 c #Conflicts: 1190000 | #Constraints: 43225
1185.10/1187.73 c INPROCESSING
1185.10/1187.73 c GARBAGE COLLECT
1185.10/1187.73 c #Conflicts: 1191000 | #Constraints: 22625
1185.10/1187.73 c #Conflicts: 1192000 | #Constraints: 23625
1185.10/1187.73 c #Conflicts: 1193000 | #Constraints: 24625
1185.10/1187.73 c #Conflicts: 1194000 | #Constraints: 25625
1185.10/1187.73 c #Conflicts: 1195000 | #Constraints: 26625
1185.10/1187.73 c #Conflicts: 1196000 | #Constraints: 27625
1185.10/1187.73 c #Conflicts: 1197000 | #Constraints: 28625
1185.10/1187.73 c #Conflicts: 1198000 | #Constraints: 29625
1185.10/1187.73 c #Conflicts: 1199000 | #Constraints: 30625
1185.10/1187.73 c #Conflicts: 1200000 | #Constraints: 31625
1185.10/1187.73 c #Conflicts: 1201000 | #Constraints: 32625
1185.10/1187.73 c #Conflicts: 1202000 | #Constraints: 33625
1185.10/1187.73 c #Conflicts: 1203000 | #Constraints: 34625
1185.10/1187.73 c #Conflicts: 1204000 | #Constraints: 35625
1185.10/1187.73 c #Conflicts: 1205000 | #Constraints: 36625
1185.10/1187.73 c #Conflicts: 1206000 | #Constraints: 37625
1185.10/1187.73 c #Conflicts: 1207000 | #Constraints: 38625
1185.10/1187.73 c #Conflicts: 1208000 | #Constraints: 39625
1185.10/1187.73 c #Conflicts: 1209000 | #Constraints: 40625
1185.10/1187.73 c #Conflicts: 1210000 | #Constraints: 41625
1185.10/1187.73 c #Conflicts: 1211000 | #Constraints: 42625
1185.10/1187.73 c #Conflicts: 1212000 | #Constraints: 43625
1185.10/1187.73 c INPROCESSING
1185.10/1187.73 c GARBAGE COLLECT
1185.10/1187.73 c #Conflicts: 1213000 | #Constraints: 22823
1185.10/1187.73 c #Conflicts: 1214000 | #Constraints: 23823
1185.10/1187.73 c #Conflicts: 1215000 | #Constraints: 24823
1185.10/1187.73 c #Conflicts: 1216000 | #Constraints: 25823
1185.10/1187.73 c #Conflicts: 1217000 | #Constraints: 26823
1185.10/1187.73 c #Conflicts: 1218000 | #Constraints: 27823
1185.10/1187.73 c #Conflicts: 1219000 | #Constraints: 28823
1185.10/1187.73 c #Conflicts: 1220000 | #Constraints: 29823
1185.10/1187.73 c #Conflicts: 1221000 | #Constraints: 30823
1185.10/1187.73 c #Conflicts: 1222000 | #Constraints: 31823
1185.10/1187.73 c #Conflicts: 1223000 | #Constraints: 32823
1185.10/1187.73 c #Conflicts: 1224000 | #Constraints: 33823
1185.10/1187.73 c #Conflicts: 1225000 | #Constraints: 34823
1185.10/1187.73 c #Conflicts: 1226000 | #Constraints: 35823
1185.10/1187.73 c #Conflicts: 1227000 | #Constraints: 36823
1185.10/1187.73 c #Conflicts: 1228000 | #Constraints: 37823
1185.10/1187.73 c #Conflicts: 1229000 | #Constraints: 38823
1185.10/1187.73 c #Conflicts: 1230000 | #Constraints: 39823
1185.10/1187.73 c #Conflicts: 1231000 | #Constraints: 40823
1185.10/1187.73 c #Conflicts: 1232000 | #Constraints: 41823
1185.10/1187.73 c #Conflicts: 1233000 | #Constraints: 42823
1293.06/1295.97 c #Conflicts: 1234000 | #Constraints: 43823
1293.06/1295.97 c INPROCESSING
1293.06/1295.97 c GARBAGE COLLECT
1293.06/1295.97 c #Conflicts: 1235000 | #Constraints: 22823
1293.06/1295.97 c #Conflicts: 1236000 | #Constraints: 23823
1293.06/1295.97 c #Conflicts: 1237000 | #Constraints: 24823
1293.06/1295.97 c #Conflicts: 1238000 | #Constraints: 25823
1293.06/1295.97 c #Conflicts: 1239000 | #Constraints: 26823
1293.06/1295.97 c #Conflicts: 1240000 | #Constraints: 27823
1293.06/1295.97 c #Conflicts: 1241000 | #Constraints: 28823
1293.06/1295.97 c #Conflicts: 1242000 | #Constraints: 29823
1293.06/1295.97 c #Conflicts: 1243000 | #Constraints: 30823
1293.06/1295.97 c #Conflicts: 1244000 | #Constraints: 31823
1293.06/1295.97 c #Conflicts: 1245000 | #Constraints: 32823
1293.06/1295.97 c #Conflicts: 1246000 | #Constraints: 33823
1293.06/1295.97 c #Conflicts: 1247000 | #Constraints: 34823
1293.06/1295.97 c #Conflicts: 1248000 | #Constraints: 35823
1293.06/1295.97 c #Conflicts: 1249000 | #Constraints: 36823
1293.06/1295.97 c #Conflicts: 1250000 | #Constraints: 37823
1293.06/1295.97 c #Conflicts: 1251000 | #Constraints: 38823
1293.06/1295.97 c #Conflicts: 1252000 | #Constraints: 39823
1293.06/1295.97 c #Conflicts: 1253000 | #Constraints: 40823
1293.06/1295.97 c #Conflicts: 1254000 | #Constraints: 41823
1293.06/1295.97 c #Conflicts: 1255000 | #Constraints: 42823
1293.06/1295.97 c #Conflicts: 1256000 | #Constraints: 43823
1293.06/1295.97 c INPROCESSING
1293.06/1295.97 c GARBAGE COLLECT
1293.06/1295.97 c #Conflicts: 1257000 | #Constraints: 22621
1293.06/1295.97 c #Conflicts: 1258000 | #Constraints: 23621
1293.06/1295.97 c #Conflicts: 1259000 | #Constraints: 24621
1293.06/1295.97 c #Conflicts: 1260000 | #Constraints: 25621
1293.06/1295.97 c #Conflicts: 1261000 | #Constraints: 26621
1293.06/1295.97 c #Conflicts: 1262000 | #Constraints: 27621
1293.06/1295.97 c #Conflicts: 1263000 | #Constraints: 28621
1293.06/1295.97 c #Conflicts: 1264000 | #Constraints: 29621
1293.06/1295.97 c #Conflicts: 1265000 | #Constraints: 30621
1293.06/1295.97 c #Conflicts: 1266000 | #Constraints: 31621
1293.06/1295.97 c #Conflicts: 1267000 | #Constraints: 32621
1293.06/1295.97 c #Conflicts: 1268000 | #Constraints: 33621
1293.06/1295.97 c #Conflicts: 1269000 | #Constraints: 34621
1293.06/1295.97 c #Conflicts: 1270000 | #Constraints: 35621
1293.06/1295.97 c #Conflicts: 1271000 | #Constraints: 36621
1293.06/1295.97 c #Conflicts: 1272000 | #Constraints: 37621
1293.06/1295.97 c #Conflicts: 1273000 | #Constraints: 38621
1293.06/1295.97 c #Conflicts: 1274000 | #Constraints: 39621
1293.06/1295.97 c #Conflicts: 1275000 | #Constraints: 40621
1293.06/1295.97 c #Conflicts: 1276000 | #Constraints: 41621
1293.06/1295.97 c #Conflicts: 1277000 | #Constraints: 42621
1293.06/1295.97 c #Conflicts: 1278000 | #Constraints: 43621
1293.06/1295.97 c #Conflicts: 1279000 | #Constraints: 44621
1293.06/1295.97 c INPROCESSING
1293.06/1295.97 c GARBAGE COLLECT
1293.06/1295.97 c #Conflicts: 1280000 | #Constraints: 23220
1293.06/1295.97 c #Conflicts: 1281000 | #Constraints: 24220
1293.06/1295.97 c #Conflicts: 1282000 | #Constraints: 25220
1293.06/1295.97 c #Conflicts: 1283000 | #Constraints: 26220
1293.06/1295.97 c #Conflicts: 1284000 | #Constraints: 27220
1293.06/1295.97 c #Conflicts: 1285000 | #Constraints: 28220
1293.06/1295.97 c #Conflicts: 1286000 | #Constraints: 29220
1293.06/1295.97 c #Conflicts: 1287000 | #Constraints: 30220
1293.06/1295.97 c #Conflicts: 1288000 | #Constraints: 31220
1293.06/1295.97 c #Conflicts: 1289000 | #Constraints: 32220
1293.06/1295.97 c #Conflicts: 1290000 | #Constraints: 33220
1293.06/1295.97 c #Conflicts: 1291000 | #Constraints: 34220
1293.06/1295.97 c #Conflicts: 1292000 | #Constraints: 35220
1293.06/1295.97 c #Conflicts: 1293000 | #Constraints: 36220
1293.06/1295.97 c #Conflicts: 1294000 | #Constraints: 37220
1293.06/1295.97 c #Conflicts: 1295000 | #Constraints: 38220
1293.06/1295.97 c #Conflicts: 1296000 | #Constraints: 39220
1293.06/1295.97 c #Conflicts: 1297000 | #Constraints: 40220
1293.06/1295.97 c #Conflicts: 1298000 | #Constraints: 41220
1293.06/1295.97 c #Conflicts: 1299000 | #Constraints: 42220
1293.06/1295.97 c #Conflicts: 1300000 | #Constraints: 43220
1293.06/1295.97 c #Conflicts: 1301000 | #Constraints: 44220
1293.06/1295.97 c #Conflicts: 1302000 | #Constraints: 45220
1293.06/1295.97 c INPROCESSING
1293.06/1295.97 c GARBAGE COLLECT
1293.06/1295.97 c #Conflicts: 1303000 | #Constraints: 23621
1293.06/1295.97 c #Conflicts: 1304000 | #Constraints: 24621
1293.06/1295.97 c #Conflicts: 1305000 | #Constraints: 25621
1293.06/1295.97 c #Conflicts: 1306000 | #Constraints: 26621
1293.06/1295.97 c #Conflicts: 1307000 | #Constraints: 27621
1293.06/1295.97 c #Conflicts: 1308000 | #Constraints: 28621
1293.06/1295.97 c #Conflicts: 1309000 | #Constraints: 29621
1409.61/1412.70 c #Conflicts: 1310000 | #Constraints: 30621
1409.61/1412.70 c #Conflicts: 1311000 | #Constraints: 31621
1409.61/1412.70 c #Conflicts: 1312000 | #Constraints: 32621
1409.61/1412.70 c #Conflicts: 1313000 | #Constraints: 33621
1409.61/1412.70 c #Conflicts: 1314000 | #Constraints: 34621
1409.61/1412.70 c #Conflicts: 1315000 | #Constraints: 35621
1409.61/1412.70 c #Conflicts: 1316000 | #Constraints: 36621
1409.61/1412.70 c #Conflicts: 1317000 | #Constraints: 37621
1409.61/1412.70 c #Conflicts: 1318000 | #Constraints: 38621
1409.61/1412.70 c #Conflicts: 1319000 | #Constraints: 39621
1409.61/1412.70 c #Conflicts: 1320000 | #Constraints: 40621
1409.61/1412.70 c #Conflicts: 1321000 | #Constraints: 41621
1409.61/1412.70 c #Conflicts: 1322000 | #Constraints: 42621
1409.61/1412.70 c #Conflicts: 1323000 | #Constraints: 43621
1409.61/1412.70 c #Conflicts: 1324000 | #Constraints: 44621
1409.61/1412.70 c #Conflicts: 1325000 | #Constraints: 45621
1409.61/1412.70 c INPROCESSING
1409.61/1412.70 c GARBAGE COLLECT
1409.61/1412.70 c #Conflicts: 1326000 | #Constraints: 23821
1409.61/1412.70 c #Conflicts: 1327000 | #Constraints: 24821
1409.61/1412.70 c #Conflicts: 1328000 | #Constraints: 25821
1409.61/1412.70 c #Conflicts: 1329000 | #Constraints: 26821
1409.61/1412.70 c #Conflicts: 1330000 | #Constraints: 27821
1409.61/1412.70 c #Conflicts: 1331000 | #Constraints: 28821
1409.61/1412.70 c #Conflicts: 1332000 | #Constraints: 29821
1409.61/1412.70 c #Conflicts: 1333000 | #Constraints: 30821
1409.61/1412.70 c #Conflicts: 1334000 | #Constraints: 31821
1409.61/1412.70 c #Conflicts: 1335000 | #Constraints: 32821
1409.61/1412.70 c #Conflicts: 1336000 | #Constraints: 33821
1409.61/1412.70 c #Conflicts: 1337000 | #Constraints: 34821
1409.61/1412.70 c #Conflicts: 1338000 | #Constraints: 35821
1409.61/1412.70 c #Conflicts: 1339000 | #Constraints: 36821
1409.61/1412.70 c #Conflicts: 1340000 | #Constraints: 37821
1409.61/1412.70 c #Conflicts: 1341000 | #Constraints: 38821
1409.61/1412.70 c #Conflicts: 1342000 | #Constraints: 39821
1409.61/1412.70 c #Conflicts: 1343000 | #Constraints: 40821
1409.61/1412.70 c #Conflicts: 1344000 | #Constraints: 41821
1409.61/1412.70 c #Conflicts: 1345000 | #Constraints: 42821
1409.61/1412.70 c #Conflicts: 1346000 | #Constraints: 43821
1409.61/1412.70 c #Conflicts: 1347000 | #Constraints: 44821
1409.61/1412.70 c #Conflicts: 1348000 | #Constraints: 45821
1409.61/1412.70 c INPROCESSING
1409.61/1412.70 c GARBAGE COLLECT
1409.61/1412.70 c #Conflicts: 1349000 | #Constraints: 23824
1409.61/1412.70 c #Conflicts: 1350000 | #Constraints: 24824
1409.61/1412.70 c #Conflicts: 1351000 | #Constraints: 25824
1409.61/1412.70 c #Conflicts: 1352000 | #Constraints: 26824
1409.61/1412.70 c #Conflicts: 1353000 | #Constraints: 27824
1409.61/1412.70 c #Conflicts: 1354000 | #Constraints: 28824
1409.61/1412.70 c #Conflicts: 1355000 | #Constraints: 29824
1409.61/1412.70 c #Conflicts: 1356000 | #Constraints: 30824
1409.61/1412.70 c #Conflicts: 1357000 | #Constraints: 31824
1409.61/1412.70 c #Conflicts: 1358000 | #Constraints: 32824
1409.61/1412.70 c #Conflicts: 1359000 | #Constraints: 33824
1409.61/1412.70 c #Conflicts: 1360000 | #Constraints: 34824
1409.61/1412.70 c #Conflicts: 1361000 | #Constraints: 35824
1409.61/1412.70 c #Conflicts: 1362000 | #Constraints: 36824
1409.61/1412.70 c #Conflicts: 1363000 | #Constraints: 37824
1409.61/1412.70 c #Conflicts: 1364000 | #Constraints: 38824
1409.61/1412.70 c #Conflicts: 1365000 | #Constraints: 39824
1409.61/1412.70 c #Conflicts: 1366000 | #Constraints: 40824
1409.61/1412.70 c #Conflicts: 1367000 | #Constraints: 41824
1409.61/1412.70 c #Conflicts: 1368000 | #Constraints: 42824
1409.61/1412.70 c #Conflicts: 1369000 | #Constraints: 43824
1409.61/1412.70 c #Conflicts: 1370000 | #Constraints: 44824
1409.61/1412.70 c #Conflicts: 1371000 | #Constraints: 45824
1409.61/1412.70 c INPROCESSING
1409.61/1412.70 c GARBAGE COLLECT
1409.61/1412.70 c #Conflicts: 1372000 | #Constraints: 23624
1409.61/1412.70 c #Conflicts: 1373000 | #Constraints: 24624
1409.61/1412.70 c #Conflicts: 1374000 | #Constraints: 25624
1409.61/1412.70 c #Conflicts: 1375000 | #Constraints: 26624
1409.61/1412.70 c #Conflicts: 1376000 | #Constraints: 27624
1409.61/1412.70 c #Conflicts: 1377000 | #Constraints: 28624
1409.61/1412.70 c #Conflicts: 1378000 | #Constraints: 29624
1409.61/1412.70 c #Conflicts: 1379000 | #Constraints: 30624
1409.61/1412.70 c #Conflicts: 1380000 | #Constraints: 31624
1409.61/1412.70 c #Conflicts: 1381000 | #Constraints: 32624
1409.61/1412.70 c #Conflicts: 1382000 | #Constraints: 33624
1409.61/1412.70 c #Conflicts: 1383000 | #Constraints: 34624
1409.61/1412.70 c #Conflicts: 1384000 | #Constraints: 35624
1409.61/1412.70 c #Conflicts: 1385000 | #Constraints: 36624
1409.61/1412.70 c #Conflicts: 1386000 | #Constraints: 37624
1528.25/1531.67 c #Conflicts: 1387000 | #Constraints: 38624
1528.25/1531.67 c #Conflicts: 1388000 | #Constraints: 39624
1528.25/1531.67 c #Conflicts: 1389000 | #Constraints: 40624
1528.25/1531.67 c #Conflicts: 1390000 | #Constraints: 41624
1528.25/1531.67 c #Conflicts: 1391000 | #Constraints: 42624
1528.25/1531.67 c #Conflicts: 1392000 | #Constraints: 43624
1528.25/1531.67 c #Conflicts: 1393000 | #Constraints: 44624
1528.25/1531.67 c #Conflicts: 1394000 | #Constraints: 45624
1528.25/1531.67 c #Conflicts: 1395000 | #Constraints: 46624
1528.25/1531.67 c INPROCESSING
1528.25/1531.67 c GARBAGE COLLECT
1528.25/1531.67 c #Conflicts: 1396000 | #Constraints: 24224
1528.25/1531.67 c #Conflicts: 1397000 | #Constraints: 25224
1528.25/1531.67 c #Conflicts: 1398000 | #Constraints: 26224
1528.25/1531.67 c #Conflicts: 1399000 | #Constraints: 27224
1528.25/1531.67 c #Conflicts: 1400000 | #Constraints: 28224
1528.25/1531.67 c #Conflicts: 1401000 | #Constraints: 29224
1528.25/1531.67 c #Conflicts: 1402000 | #Constraints: 30224
1528.25/1531.67 c #Conflicts: 1403000 | #Constraints: 31224
1528.25/1531.67 c #Conflicts: 1404000 | #Constraints: 32224
1528.25/1531.67 c #Conflicts: 1405000 | #Constraints: 33224
1528.25/1531.67 c #Conflicts: 1406000 | #Constraints: 34224
1528.25/1531.67 c #Conflicts: 1407000 | #Constraints: 35224
1528.25/1531.67 c #Conflicts: 1408000 | #Constraints: 36224
1528.25/1531.67 c #Conflicts: 1409000 | #Constraints: 37224
1528.25/1531.67 c #Conflicts: 1410000 | #Constraints: 38224
1528.25/1531.67 c #Conflicts: 1411000 | #Constraints: 39224
1528.25/1531.67 c #Conflicts: 1412000 | #Constraints: 40224
1528.25/1531.67 c #Conflicts: 1413000 | #Constraints: 41224
1528.25/1531.67 c #Conflicts: 1414000 | #Constraints: 42224
1528.25/1531.67 c #Conflicts: 1415000 | #Constraints: 43224
1528.25/1531.67 c #Conflicts: 1416000 | #Constraints: 44224
1528.25/1531.67 c #Conflicts: 1417000 | #Constraints: 45224
1528.25/1531.67 c #Conflicts: 1418000 | #Constraints: 46224
1528.25/1531.67 c #Conflicts: 1419000 | #Constraints: 47224
1528.25/1531.67 c INPROCESSING
1528.25/1531.67 c GARBAGE COLLECT
1528.25/1531.67 c #Conflicts: 1420000 | #Constraints: 24624
1528.25/1531.67 c #Conflicts: 1421000 | #Constraints: 25624
1528.25/1531.67 c #Conflicts: 1422000 | #Constraints: 26624
1528.25/1531.67 c #Conflicts: 1423000 | #Constraints: 27624
1528.25/1531.67 c #Conflicts: 1424000 | #Constraints: 28624
1528.25/1531.67 c #Conflicts: 1425000 | #Constraints: 29624
1528.25/1531.67 c #Conflicts: 1426000 | #Constraints: 30624
1528.25/1531.67 c #Conflicts: 1427000 | #Constraints: 31624
1528.25/1531.67 c #Conflicts: 1428000 | #Constraints: 32624
1528.25/1531.67 c #Conflicts: 1429000 | #Constraints: 33624
1528.25/1531.67 c #Conflicts: 1430000 | #Constraints: 34624
1528.25/1531.67 c #Conflicts: 1431000 | #Constraints: 35624
1528.25/1531.67 c #Conflicts: 1432000 | #Constraints: 36624
1528.25/1531.67 c #Conflicts: 1433000 | #Constraints: 37624
1528.25/1531.67 c #Conflicts: 1434000 | #Constraints: 38624
1528.25/1531.67 c #Conflicts: 1435000 | #Constraints: 39624
1528.25/1531.67 c #Conflicts: 1436000 | #Constraints: 40624
1528.25/1531.67 c #Conflicts: 1437000 | #Constraints: 41624
1528.25/1531.67 c #Conflicts: 1438000 | #Constraints: 42624
1528.25/1531.67 c #Conflicts: 1439000 | #Constraints: 43624
1528.25/1531.67 c #Conflicts: 1440000 | #Constraints: 44624
1528.25/1531.67 c #Conflicts: 1441000 | #Constraints: 45624
1528.25/1531.67 c #Conflicts: 1442000 | #Constraints: 46624
1528.25/1531.67 c #Conflicts: 1443000 | #Constraints: 47624
1528.25/1531.67 c INPROCESSING
1528.25/1531.67 c GARBAGE COLLECT
1528.25/1531.67 c #Conflicts: 1444000 | #Constraints: 24826
1528.25/1531.67 c #Conflicts: 1445000 | #Constraints: 25826
1528.25/1531.67 c #Conflicts: 1446000 | #Constraints: 26826
1528.25/1531.67 c #Conflicts: 1447000 | #Constraints: 27826
1528.25/1531.67 c #Conflicts: 1448000 | #Constraints: 28826
1528.25/1531.67 c #Conflicts: 1449000 | #Constraints: 29826
1528.25/1531.67 c #Conflicts: 1450000 | #Constraints: 30826
1528.25/1531.67 c #Conflicts: 1451000 | #Constraints: 31826
1528.25/1531.67 c #Conflicts: 1452000 | #Constraints: 32826
1528.25/1531.67 c #Conflicts: 1453000 | #Constraints: 33826
1528.25/1531.67 c #Conflicts: 1454000 | #Constraints: 34826
1528.25/1531.67 c #Conflicts: 1455000 | #Constraints: 35826
1528.25/1531.67 c #Conflicts: 1456000 | #Constraints: 36826
1528.25/1531.67 c #Conflicts: 1457000 | #Constraints: 37826
1528.25/1531.67 c #Conflicts: 1458000 | #Constraints: 38826
1528.25/1531.67 c #Conflicts: 1459000 | #Constraints: 39826
1528.25/1531.67 c #Conflicts: 1460000 | #Constraints: 40826
1528.25/1531.67 c #Conflicts: 1461000 | #Constraints: 41826
1528.25/1531.67 c #Conflicts: 1462000 | #Constraints: 42826
1528.25/1531.67 c #Conflicts: 1463000 | #Constraints: 43826
1647.99/1651.66 c #Conflicts: 1464000 | #Constraints: 44826
1647.99/1651.66 c #Conflicts: 1465000 | #Constraints: 45826
1647.99/1651.66 c #Conflicts: 1466000 | #Constraints: 46826
1647.99/1651.66 c #Conflicts: 1467000 | #Constraints: 47826
1647.99/1651.66 c INPROCESSING
1647.99/1651.66 c GARBAGE COLLECT
1647.99/1651.66 c #Conflicts: 1468000 | #Constraints: 24824
1647.99/1651.66 c #Conflicts: 1469000 | #Constraints: 25824
1647.99/1651.66 c #Conflicts: 1470000 | #Constraints: 26824
1647.99/1651.66 c #Conflicts: 1471000 | #Constraints: 27824
1647.99/1651.66 c #Conflicts: 1472000 | #Constraints: 28824
1647.99/1651.66 c #Conflicts: 1473000 | #Constraints: 29824
1647.99/1651.66 c #Conflicts: 1474000 | #Constraints: 30824
1647.99/1651.66 c #Conflicts: 1475000 | #Constraints: 31824
1647.99/1651.66 c #Conflicts: 1476000 | #Constraints: 32824
1647.99/1651.66 c #Conflicts: 1477000 | #Constraints: 33824
1647.99/1651.66 c #Conflicts: 1478000 | #Constraints: 34824
1647.99/1651.66 c #Conflicts: 1479000 | #Constraints: 35824
1647.99/1651.66 c #Conflicts: 1480000 | #Constraints: 36824
1647.99/1651.66 c #Conflicts: 1481000 | #Constraints: 37824
1647.99/1651.66 c #Conflicts: 1482000 | #Constraints: 38824
1647.99/1651.66 c #Conflicts: 1483000 | #Constraints: 39824
1647.99/1651.66 c #Conflicts: 1484000 | #Constraints: 40824
1647.99/1651.66 c #Conflicts: 1485000 | #Constraints: 41824
1647.99/1651.66 c #Conflicts: 1486000 | #Constraints: 42824
1647.99/1651.66 c #Conflicts: 1487000 | #Constraints: 43824
1647.99/1651.66 c #Conflicts: 1488000 | #Constraints: 44824
1647.99/1651.66 c #Conflicts: 1489000 | #Constraints: 45824
1647.99/1651.66 c #Conflicts: 1490000 | #Constraints: 46824
1647.99/1651.66 c #Conflicts: 1491000 | #Constraints: 47824
1647.99/1651.66 c INPROCESSING
1647.99/1651.66 c GARBAGE COLLECT
1647.99/1651.66 c #Conflicts: 1492000 | #Constraints: 24621
1647.99/1651.66 c #Conflicts: 1493000 | #Constraints: 25621
1647.99/1651.66 c #Conflicts: 1494000 | #Constraints: 26621
1647.99/1651.66 c #Conflicts: 1495000 | #Constraints: 27621
1647.99/1651.66 c #Conflicts: 1496000 | #Constraints: 28621
1647.99/1651.66 c #Conflicts: 1497000 | #Constraints: 29621
1647.99/1651.66 c #Conflicts: 1498000 | #Constraints: 30621
1647.99/1651.66 c #Conflicts: 1499000 | #Constraints: 31621
1647.99/1651.66 c #Conflicts: 1500000 | #Constraints: 32621
1647.99/1651.66 c #Conflicts: 1501000 | #Constraints: 33621
1647.99/1651.66 c #Conflicts: 1502000 | #Constraints: 34621
1647.99/1651.66 c #Conflicts: 1503000 | #Constraints: 35621
1647.99/1651.66 c #Conflicts: 1504000 | #Constraints: 36621
1647.99/1651.66 c #Conflicts: 1505000 | #Constraints: 37621
1647.99/1651.66 c #Conflicts: 1506000 | #Constraints: 38621
1647.99/1651.66 c #Conflicts: 1507000 | #Constraints: 39621
1647.99/1651.66 c #Conflicts: 1508000 | #Constraints: 40621
1647.99/1651.66 c #Conflicts: 1509000 | #Constraints: 41621
1647.99/1651.66 c #Conflicts: 1510000 | #Constraints: 42621
1647.99/1651.66 c #Conflicts: 1511000 | #Constraints: 43621
1647.99/1651.66 c #Conflicts: 1512000 | #Constraints: 44621
1647.99/1651.66 c #Conflicts: 1513000 | #Constraints: 45621
1647.99/1651.66 c #Conflicts: 1514000 | #Constraints: 46621
1647.99/1651.66 c #Conflicts: 1515000 | #Constraints: 47621
1647.99/1651.66 c #Conflicts: 1516000 | #Constraints: 48621
1647.99/1651.66 c INPROCESSING
1647.99/1651.66 c GARBAGE COLLECT
1647.99/1651.66 c #Conflicts: 1517000 | #Constraints: 25222
1647.99/1651.66 c #Conflicts: 1518000 | #Constraints: 26222
1647.99/1651.66 c #Conflicts: 1519000 | #Constraints: 27222
1647.99/1651.66 c #Conflicts: 1520000 | #Constraints: 28222
1647.99/1651.66 c #Conflicts: 1521000 | #Constraints: 29222
1647.99/1651.66 c #Conflicts: 1522000 | #Constraints: 30222
1647.99/1651.66 c #Conflicts: 1523000 | #Constraints: 31222
1647.99/1651.66 c #Conflicts: 1524000 | #Constraints: 32222
1647.99/1651.66 c #Conflicts: 1525000 | #Constraints: 33222
1647.99/1651.66 c #Conflicts: 1526000 | #Constraints: 34222
1647.99/1651.66 c #Conflicts: 1527000 | #Constraints: 35222
1647.99/1651.66 c #Conflicts: 1528000 | #Constraints: 36222
1647.99/1651.66 c #Conflicts: 1529000 | #Constraints: 37222
1647.99/1651.66 c #Conflicts: 1530000 | #Constraints: 38222
1647.99/1651.66 c #Conflicts: 1531000 | #Constraints: 39222
1647.99/1651.66 c #Conflicts: 1532000 | #Constraints: 40222
1647.99/1651.66 c #Conflicts: 1533000 | #Constraints: 41222
1647.99/1651.66 c #Conflicts: 1534000 | #Constraints: 42222
1647.99/1651.66 c #Conflicts: 1535000 | #Constraints: 43222
1647.99/1651.66 c #Conflicts: 1536000 | #Constraints: 44222
1647.99/1651.66 c #Conflicts: 1537000 | #Constraints: 45222
1647.99/1651.66 c #Conflicts: 1538000 | #Constraints: 46222
1647.99/1651.66 c #Conflicts: 1539000 | #Constraints: 47222
1647.99/1651.66 c #Conflicts: 1540000 | #Constraints: 48222
1779.89/1783.84 c #Conflicts: 1541000 | #Constraints: 49222
1779.89/1783.84 c INPROCESSING
1779.89/1783.84 c GARBAGE COLLECT
1779.89/1783.84 c #Conflicts: 1542000 | #Constraints: 25625
1779.89/1783.84 c #Conflicts: 1543000 | #Constraints: 26625
1779.89/1783.84 c #Conflicts: 1544000 | #Constraints: 27625
1779.89/1783.84 c #Conflicts: 1545000 | #Constraints: 28625
1779.89/1783.84 c #Conflicts: 1546000 | #Constraints: 29625
1779.89/1783.84 c #Conflicts: 1547000 | #Constraints: 30625
1779.89/1783.84 c #Conflicts: 1548000 | #Constraints: 31625
1779.89/1783.84 c #Conflicts: 1549000 | #Constraints: 32625
1779.89/1783.84 c #Conflicts: 1550000 | #Constraints: 33625
1779.89/1783.84 c #Conflicts: 1551000 | #Constraints: 34625
1779.89/1783.84 c #Conflicts: 1552000 | #Constraints: 35625
1779.89/1783.84 c #Conflicts: 1553000 | #Constraints: 36625
1779.89/1783.84 c #Conflicts: 1554000 | #Constraints: 37625
1779.89/1783.84 c #Conflicts: 1555000 | #Constraints: 38625
1779.89/1783.84 c #Conflicts: 1556000 | #Constraints: 39625
1779.89/1783.84 c #Conflicts: 1557000 | #Constraints: 40625
1779.89/1783.84 c #Conflicts: 1558000 | #Constraints: 41625
1779.89/1783.84 c #Conflicts: 1559000 | #Constraints: 42625
1779.89/1783.84 c #Conflicts: 1560000 | #Constraints: 43625
1779.89/1783.84 c #Conflicts: 1561000 | #Constraints: 44625
1779.89/1783.84 c #Conflicts: 1562000 | #Constraints: 45625
1779.89/1783.84 c #Conflicts: 1563000 | #Constraints: 46625
1779.89/1783.84 c #Conflicts: 1564000 | #Constraints: 47625
1779.89/1783.84 c #Conflicts: 1565000 | #Constraints: 48625
1779.89/1783.84 c #Conflicts: 1566000 | #Constraints: 49625
1779.89/1783.84 c INPROCESSING
1779.89/1783.84 c GARBAGE COLLECT
1779.89/1783.84 c #Conflicts: 1567000 | #Constraints: 25825
1779.89/1783.84 c #Conflicts: 1568000 | #Constraints: 26825
1779.89/1783.84 c #Conflicts: 1569000 | #Constraints: 27825
1779.89/1783.84 c #Conflicts: 1570000 | #Constraints: 28825
1779.89/1783.84 c #Conflicts: 1571000 | #Constraints: 29825
1779.89/1783.84 c #Conflicts: 1572000 | #Constraints: 30825
1779.89/1783.84 c #Conflicts: 1573000 | #Constraints: 31825
1779.89/1783.84 c #Conflicts: 1574000 | #Constraints: 32825
1779.89/1783.84 c #Conflicts: 1575000 | #Constraints: 33825
1779.89/1783.84 c #Conflicts: 1576000 | #Constraints: 34825
1779.89/1783.84 c #Conflicts: 1577000 | #Constraints: 35825
1779.89/1783.84 c #Conflicts: 1578000 | #Constraints: 36825
1779.89/1783.84 c #Conflicts: 1579000 | #Constraints: 37825
1779.89/1783.84 c #Conflicts: 1580000 | #Constraints: 38825
1779.89/1783.84 c #Conflicts: 1581000 | #Constraints: 39825
1779.89/1783.84 c #Conflicts: 1582000 | #Constraints: 40825
1779.89/1783.84 c #Conflicts: 1583000 | #Constraints: 41825
1779.89/1783.84 c #Conflicts: 1584000 | #Constraints: 42825
1779.89/1783.84 c #Conflicts: 1585000 | #Constraints: 43825
1779.89/1783.84 c #Conflicts: 1586000 | #Constraints: 44825
1779.89/1783.84 c #Conflicts: 1587000 | #Constraints: 45825
1779.89/1783.84 c #Conflicts: 1588000 | #Constraints: 46825
1779.89/1783.84 c #Conflicts: 1589000 | #Constraints: 47825
1779.89/1783.84 c #Conflicts: 1590000 | #Constraints: 48825
1779.89/1783.84 c #Conflicts: 1591000 | #Constraints: 49825
1779.89/1783.84 c INPROCESSING
1779.89/1783.84 c GARBAGE COLLECT
1779.89/1783.84 c #Conflicts: 1592000 | #Constraints: 25825
1779.89/1783.84 c #Conflicts: 1593000 | #Constraints: 26825
1779.89/1783.84 c #Conflicts: 1594000 | #Constraints: 27825
1779.89/1783.84 c #Conflicts: 1595000 | #Constraints: 28825
1779.89/1783.84 c #Conflicts: 1596000 | #Constraints: 29825
1779.89/1783.84 c #Conflicts: 1597000 | #Constraints: 30825
1779.89/1783.84 c #Conflicts: 1598000 | #Constraints: 31825
1779.89/1783.84 c #Conflicts: 1599000 | #Constraints: 32825
1779.89/1783.84 c #Conflicts: 1600000 | #Constraints: 33825
1779.89/1783.84 c #Conflicts: 1601000 | #Constraints: 34825
1779.89/1783.84 c #Conflicts: 1602000 | #Constraints: 35825
1779.89/1783.84 c #Conflicts: 1603000 | #Constraints: 36825
1779.89/1783.84 c #Conflicts: 1604000 | #Constraints: 37825
1779.89/1783.84 c #Conflicts: 1605000 | #Constraints: 38825
1779.89/1783.84 c #Conflicts: 1606000 | #Constraints: 39825
1779.89/1783.84 c #Conflicts: 1607000 | #Constraints: 40825
1779.89/1783.84 c #Conflicts: 1608000 | #Constraints: 41825
1779.89/1783.84 c #Conflicts: 1609000 | #Constraints: 42825
1779.89/1783.84 c #Conflicts: 1610000 | #Constraints: 43825
1779.89/1783.84 c #Conflicts: 1611000 | #Constraints: 44825
1779.89/1783.84 c #Conflicts: 1612000 | #Constraints: 45825
1779.89/1783.84 c #Conflicts: 1613000 | #Constraints: 46825
1779.89/1783.84 c #Conflicts: 1614000 | #Constraints: 47825
1779.89/1783.84 c #Conflicts: 1615000 | #Constraints: 48825
1779.89/1783.84 c #Conflicts: 1616000 | #Constraints: 49825
1779.89/1783.84 c INPROCESSING
1779.89/1783.84 c GARBAGE COLLECT
1911.40/1915.69 c #Conflicts: 1617000 | #Constraints: 25625
1911.40/1915.69 c #Conflicts: 1618000 | #Constraints: 26625
1911.40/1915.69 c #Conflicts: 1619000 | #Constraints: 27625
1911.40/1915.69 c #Conflicts: 1620000 | #Constraints: 28625
1911.40/1915.69 c #Conflicts: 1621000 | #Constraints: 29625
1911.40/1915.69 c #Conflicts: 1622000 | #Constraints: 30625
1911.40/1915.69 c #Conflicts: 1623000 | #Constraints: 31625
1911.40/1915.69 c #Conflicts: 1624000 | #Constraints: 32625
1911.40/1915.69 c #Conflicts: 1625000 | #Constraints: 33625
1911.40/1915.69 c #Conflicts: 1626000 | #Constraints: 34625
1911.40/1915.69 c #Conflicts: 1627000 | #Constraints: 35625
1911.40/1915.69 c #Conflicts: 1628000 | #Constraints: 36625
1911.40/1915.69 c #Conflicts: 1629000 | #Constraints: 37625
1911.40/1915.69 c #Conflicts: 1630000 | #Constraints: 38625
1911.40/1915.69 c #Conflicts: 1631000 | #Constraints: 39625
1911.40/1915.69 c #Conflicts: 1632000 | #Constraints: 40625
1911.40/1915.69 c #Conflicts: 1633000 | #Constraints: 41625
1911.40/1915.69 c #Conflicts: 1634000 | #Constraints: 42625
1911.40/1915.69 c #Conflicts: 1635000 | #Constraints: 43625
1911.40/1915.69 c #Conflicts: 1636000 | #Constraints: 44625
1911.40/1915.69 c #Conflicts: 1637000 | #Constraints: 45625
1911.40/1915.69 c #Conflicts: 1638000 | #Constraints: 46625
1911.40/1915.69 c #Conflicts: 1639000 | #Constraints: 47625
1911.40/1915.69 c #Conflicts: 1640000 | #Constraints: 48625
1911.40/1915.69 c #Conflicts: 1641000 | #Constraints: 49625
1911.40/1915.69 c #Conflicts: 1642000 | #Constraints: 50625
1911.40/1915.69 c INPROCESSING
1911.40/1915.69 c GARBAGE COLLECT
1911.40/1915.69 c #Conflicts: 1643000 | #Constraints: 26221
1911.40/1915.69 c #Conflicts: 1644000 | #Constraints: 27221
1911.40/1915.69 c #Conflicts: 1645000 | #Constraints: 28221
1911.40/1915.69 c #Conflicts: 1646000 | #Constraints: 29221
1911.40/1915.69 c #Conflicts: 1647000 | #Constraints: 30221
1911.40/1915.69 c #Conflicts: 1648000 | #Constraints: 31221
1911.40/1915.69 c #Conflicts: 1649000 | #Constraints: 32221
1911.40/1915.69 c #Conflicts: 1650000 | #Constraints: 33221
1911.40/1915.69 c #Conflicts: 1651000 | #Constraints: 34221
1911.40/1915.69 c #Conflicts: 1652000 | #Constraints: 35221
1911.40/1915.69 c #Conflicts: 1653000 | #Constraints: 36221
1911.40/1915.69 c #Conflicts: 1654000 | #Constraints: 37221
1911.40/1915.69 c #Conflicts: 1655000 | #Constraints: 38221
1911.40/1915.69 c #Conflicts: 1656000 | #Constraints: 39221
1911.40/1915.69 c #Conflicts: 1657000 | #Constraints: 40221
1911.40/1915.69 c #Conflicts: 1658000 | #Constraints: 41221
1911.40/1915.69 c #Conflicts: 1659000 | #Constraints: 42221
1911.40/1915.69 c #Conflicts: 1660000 | #Constraints: 43221
1911.40/1915.69 c #Conflicts: 1661000 | #Constraints: 44221
1911.40/1915.69 c #Conflicts: 1662000 | #Constraints: 45221
1911.40/1915.69 c #Conflicts: 1663000 | #Constraints: 46221
1911.40/1915.69 c #Conflicts: 1664000 | #Constraints: 47221
1911.40/1915.69 c #Conflicts: 1665000 | #Constraints: 48221
1911.40/1915.69 c #Conflicts: 1666000 | #Constraints: 49221
1911.40/1915.69 c #Conflicts: 1667000 | #Constraints: 50221
1911.40/1915.69 c #Conflicts: 1668000 | #Constraints: 51221
1911.40/1915.69 c INPROCESSING
1911.40/1915.69 c GARBAGE COLLECT
1911.40/1915.69 c #Conflicts: 1669000 | #Constraints: 26623
1911.40/1915.69 c #Conflicts: 1670000 | #Constraints: 27623
1911.40/1915.69 c #Conflicts: 1671000 | #Constraints: 28623
1911.40/1915.69 c #Conflicts: 1672000 | #Constraints: 29623
1911.40/1915.69 c #Conflicts: 1673000 | #Constraints: 30623
1911.40/1915.69 c #Conflicts: 1674000 | #Constraints: 31623
1911.40/1915.69 c #Conflicts: 1675000 | #Constraints: 32623
1911.40/1915.69 c #Conflicts: 1676000 | #Constraints: 33623
1911.40/1915.69 c #Conflicts: 1677000 | #Constraints: 34623
1911.40/1915.69 c #Conflicts: 1678000 | #Constraints: 35623
1911.40/1915.69 c #Conflicts: 1679000 | #Constraints: 36623
1911.40/1915.69 c #Conflicts: 1680000 | #Constraints: 37623
1911.40/1915.69 c #Conflicts: 1681000 | #Constraints: 38623
1911.40/1915.69 c #Conflicts: 1682000 | #Constraints: 39623
1911.40/1915.69 c #Conflicts: 1683000 | #Constraints: 40623
1911.40/1915.69 c #Conflicts: 1684000 | #Constraints: 41623
1911.40/1915.69 c #Conflicts: 1685000 | #Constraints: 42623
1911.40/1915.69 c #Conflicts: 1686000 | #Constraints: 43623
1911.40/1915.69 c #Conflicts: 1687000 | #Constraints: 44623
1911.40/1915.69 c #Conflicts: 1688000 | #Constraints: 45623
1911.40/1915.69 c #Conflicts: 1689000 | #Constraints: 46623
1911.40/1915.69 c #Conflicts: 1690000 | #Constraints: 47623
1911.40/1915.69 c #Conflicts: 1691000 | #Constraints: 48623
1911.40/1915.69 c #Conflicts: 1692000 | #Constraints: 49623
1911.40/1915.69 c #Conflicts: 1693000 | #Constraints: 50623
1911.40/1915.69 c #Conflicts: 1694000 | #Constraints: 51623
2040.92/2045.45 c INPROCESSING
2040.92/2045.45 c GARBAGE COLLECT
2040.92/2045.45 c #Conflicts: 1695000 | #Constraints: 26822
2040.92/2045.45 c #Conflicts: 1696000 | #Constraints: 27822
2040.92/2045.45 c #Conflicts: 1697000 | #Constraints: 28822
2040.92/2045.45 c #Conflicts: 1698000 | #Constraints: 29822
2040.92/2045.45 c #Conflicts: 1699000 | #Constraints: 30822
2040.92/2045.45 c #Conflicts: 1700000 | #Constraints: 31822
2040.92/2045.45 c #Conflicts: 1701000 | #Constraints: 32822
2040.92/2045.45 c #Conflicts: 1702000 | #Constraints: 33822
2040.92/2045.45 c #Conflicts: 1703000 | #Constraints: 34822
2040.92/2045.45 c #Conflicts: 1704000 | #Constraints: 35822
2040.92/2045.45 c #Conflicts: 1705000 | #Constraints: 36822
2040.92/2045.45 c #Conflicts: 1706000 | #Constraints: 37822
2040.92/2045.45 c #Conflicts: 1707000 | #Constraints: 38822
2040.92/2045.45 c #Conflicts: 1708000 | #Constraints: 39822
2040.92/2045.45 c #Conflicts: 1709000 | #Constraints: 40822
2040.92/2045.45 c #Conflicts: 1710000 | #Constraints: 41822
2040.92/2045.45 c #Conflicts: 1711000 | #Constraints: 42822
2040.92/2045.45 c #Conflicts: 1712000 | #Constraints: 43822
2040.92/2045.45 c #Conflicts: 1713000 | #Constraints: 44822
2040.92/2045.45 c #Conflicts: 1714000 | #Constraints: 45822
2040.92/2045.45 c #Conflicts: 1715000 | #Constraints: 46822
2040.92/2045.45 c #Conflicts: 1716000 | #Constraints: 47822
2040.92/2045.45 c #Conflicts: 1717000 | #Constraints: 48822
2040.92/2045.45 c #Conflicts: 1718000 | #Constraints: 49822
2040.92/2045.45 c #Conflicts: 1719000 | #Constraints: 50822
2040.92/2045.45 c #Conflicts: 1720000 | #Constraints: 51822
2040.92/2045.45 c INPROCESSING
2040.92/2045.45 c GARBAGE COLLECT
2040.92/2045.45 c #Conflicts: 1721000 | #Constraints: 26821
2040.92/2045.45 c #Conflicts: 1722000 | #Constraints: 27821
2040.92/2045.45 c #Conflicts: 1723000 | #Constraints: 28821
2040.92/2045.45 c #Conflicts: 1724000 | #Constraints: 29821
2040.92/2045.45 c #Conflicts: 1725000 | #Constraints: 30821
2040.92/2045.45 c #Conflicts: 1726000 | #Constraints: 31821
2040.92/2045.45 c #Conflicts: 1727000 | #Constraints: 32821
2040.92/2045.45 c #Conflicts: 1728000 | #Constraints: 33821
2040.92/2045.45 c #Conflicts: 1729000 | #Constraints: 34821
2040.92/2045.45 c #Conflicts: 1730000 | #Constraints: 35821
2040.92/2045.45 c #Conflicts: 1731000 | #Constraints: 36821
2040.92/2045.45 c #Conflicts: 1732000 | #Constraints: 37821
2040.92/2045.45 c #Conflicts: 1733000 | #Constraints: 38821
2040.92/2045.45 c #Conflicts: 1734000 | #Constraints: 39821
2040.92/2045.45 c #Conflicts: 1735000 | #Constraints: 40821
2040.92/2045.45 c #Conflicts: 1736000 | #Constraints: 41821
2040.92/2045.45 c #Conflicts: 1737000 | #Constraints: 42821
2040.92/2045.45 c #Conflicts: 1738000 | #Constraints: 43821
2040.92/2045.45 c #Conflicts: 1739000 | #Constraints: 44821
2040.92/2045.45 c #Conflicts: 1740000 | #Constraints: 45821
2040.92/2045.45 c #Conflicts: 1741000 | #Constraints: 46821
2040.92/2045.45 c #Conflicts: 1742000 | #Constraints: 47821
2040.92/2045.45 c #Conflicts: 1743000 | #Constraints: 48821
2040.92/2045.45 c #Conflicts: 1744000 | #Constraints: 49821
2040.92/2045.45 c #Conflicts: 1745000 | #Constraints: 50821
2040.92/2045.45 c #Conflicts: 1746000 | #Constraints: 51821
2040.92/2045.45 c INPROCESSING
2040.92/2045.45 c GARBAGE COLLECT
2040.92/2045.45 c #Conflicts: 1747000 | #Constraints: 26621
2040.92/2045.45 c #Conflicts: 1748000 | #Constraints: 27621
2040.92/2045.45 c #Conflicts: 1749000 | #Constraints: 28621
2040.92/2045.45 c #Conflicts: 1750000 | #Constraints: 29621
2040.92/2045.45 c #Conflicts: 1751000 | #Constraints: 30621
2040.92/2045.45 c #Conflicts: 1752000 | #Constraints: 31621
2040.92/2045.45 c #Conflicts: 1753000 | #Constraints: 32621
2040.92/2045.45 c #Conflicts: 1754000 | #Constraints: 33621
2040.92/2045.45 c #Conflicts: 1755000 | #Constraints: 34621
2040.92/2045.45 c #Conflicts: 1756000 | #Constraints: 35621
2040.92/2045.45 c #Conflicts: 1757000 | #Constraints: 36621
2040.92/2045.45 c #Conflicts: 1758000 | #Constraints: 37621
2040.92/2045.45 c #Conflicts: 1759000 | #Constraints: 38621
2040.92/2045.45 c #Conflicts: 1760000 | #Constraints: 39621
2040.92/2045.45 c #Conflicts: 1761000 | #Constraints: 40621
2040.92/2045.45 c #Conflicts: 1762000 | #Constraints: 41621
2040.92/2045.45 c #Conflicts: 1763000 | #Constraints: 42621
2040.92/2045.45 c #Conflicts: 1764000 | #Constraints: 43621
2040.92/2045.45 c #Conflicts: 1765000 | #Constraints: 44621
2040.92/2045.45 c #Conflicts: 1766000 | #Constraints: 45621
2040.92/2045.45 c #Conflicts: 1767000 | #Constraints: 46621
2040.92/2045.45 c #Conflicts: 1768000 | #Constraints: 47621
2040.92/2045.45 c #Conflicts: 1769000 | #Constraints: 48621
2040.92/2045.45 c #Conflicts: 1770000 | #Constraints: 49621
2040.92/2045.45 c #Conflicts: 1771000 | #Constraints: 50621
2171.73/2176.54 c #Conflicts: 1772000 | #Constraints: 51621
2171.73/2176.54 c #Conflicts: 1773000 | #Constraints: 52621
2171.73/2176.54 c INPROCESSING
2171.73/2176.54 c GARBAGE COLLECT
2171.73/2176.54 c #Conflicts: 1774000 | #Constraints: 27220
2171.73/2176.54 c #Conflicts: 1775000 | #Constraints: 28220
2171.73/2176.54 c #Conflicts: 1776000 | #Constraints: 29220
2171.73/2176.54 c #Conflicts: 1777000 | #Constraints: 30220
2171.73/2176.54 c #Conflicts: 1778000 | #Constraints: 31220
2171.73/2176.54 c #Conflicts: 1779000 | #Constraints: 32220
2171.73/2176.54 c #Conflicts: 1780000 | #Constraints: 33220
2171.73/2176.54 c #Conflicts: 1781000 | #Constraints: 34220
2171.73/2176.54 c #Conflicts: 1782000 | #Constraints: 35220
2171.73/2176.54 c #Conflicts: 1783000 | #Constraints: 36220
2171.73/2176.54 c #Conflicts: 1784000 | #Constraints: 37220
2171.73/2176.54 c #Conflicts: 1785000 | #Constraints: 38220
2171.73/2176.54 c #Conflicts: 1786000 | #Constraints: 39220
2171.73/2176.54 c #Conflicts: 1787000 | #Constraints: 40220
2171.73/2176.54 c #Conflicts: 1788000 | #Constraints: 41220
2171.73/2176.54 c #Conflicts: 1789000 | #Constraints: 42220
2171.73/2176.54 c #Conflicts: 1790000 | #Constraints: 43220
2171.73/2176.54 c #Conflicts: 1791000 | #Constraints: 44220
2171.73/2176.54 c #Conflicts: 1792000 | #Constraints: 45220
2171.73/2176.54 c #Conflicts: 1793000 | #Constraints: 46220
2171.73/2176.54 c #Conflicts: 1794000 | #Constraints: 47220
2171.73/2176.54 c #Conflicts: 1795000 | #Constraints: 48220
2171.73/2176.54 c #Conflicts: 1796000 | #Constraints: 49220
2171.73/2176.54 c #Conflicts: 1797000 | #Constraints: 50220
2171.73/2176.54 c #Conflicts: 1798000 | #Constraints: 51220
2171.73/2176.54 c #Conflicts: 1799000 | #Constraints: 52220
2171.73/2176.54 c #Conflicts: 1800000 | #Constraints: 53220
2171.73/2176.54 c INPROCESSING
2171.73/2176.54 c GARBAGE COLLECT
2171.73/2176.54 c #Conflicts: 1801000 | #Constraints: 27620
2171.73/2176.54 c #Conflicts: 1802000 | #Constraints: 28620
2171.73/2176.54 c #Conflicts: 1803000 | #Constraints: 29620
2171.73/2176.54 c #Conflicts: 1804000 | #Constraints: 30620
2171.73/2176.54 c #Conflicts: 1805000 | #Constraints: 31620
2171.73/2176.54 c #Conflicts: 1806000 | #Constraints: 32620
2171.73/2176.54 c #Conflicts: 1807000 | #Constraints: 33620
2171.73/2176.54 c #Conflicts: 1808000 | #Constraints: 34620
2171.73/2176.54 c #Conflicts: 1809000 | #Constraints: 35620
2171.73/2176.54 c #Conflicts: 1810000 | #Constraints: 36620
2171.73/2176.54 c #Conflicts: 1811000 | #Constraints: 37620
2171.73/2176.54 c #Conflicts: 1812000 | #Constraints: 38620
2171.73/2176.54 c #Conflicts: 1813000 | #Constraints: 39620
2171.73/2176.54 c #Conflicts: 1814000 | #Constraints: 40620
2171.73/2176.54 c #Conflicts: 1815000 | #Constraints: 41620
2171.73/2176.54 c #Conflicts: 1816000 | #Constraints: 42620
2171.73/2176.54 c #Conflicts: 1817000 | #Constraints: 43620
2171.73/2176.54 c #Conflicts: 1818000 | #Constraints: 44620
2171.73/2176.54 c #Conflicts: 1819000 | #Constraints: 45620
2171.73/2176.54 c #Conflicts: 1820000 | #Constraints: 46620
2171.73/2176.54 c #Conflicts: 1821000 | #Constraints: 47620
2171.73/2176.54 c #Conflicts: 1822000 | #Constraints: 48620
2171.73/2176.54 c #Conflicts: 1823000 | #Constraints: 49620
2171.73/2176.54 c #Conflicts: 1824000 | #Constraints: 50620
2171.73/2176.54 c #Conflicts: 1825000 | #Constraints: 51620
2171.73/2176.54 c #Conflicts: 1826000 | #Constraints: 52620
2171.73/2176.54 c #Conflicts: 1827000 | #Constraints: 53620
2171.73/2176.54 c INPROCESSING
2171.73/2176.54 c GARBAGE COLLECT
2171.73/2176.54 c #Conflicts: 1828000 | #Constraints: 27820
2171.73/2176.54 c #Conflicts: 1829000 | #Constraints: 28820
2171.73/2176.54 c #Conflicts: 1830000 | #Constraints: 29820
2171.73/2176.54 c #Conflicts: 1831000 | #Constraints: 30820
2171.73/2176.54 c #Conflicts: 1832000 | #Constraints: 31820
2171.73/2176.54 c #Conflicts: 1833000 | #Constraints: 32820
2171.73/2176.54 c #Conflicts: 1834000 | #Constraints: 33820
2171.73/2176.54 c #Conflicts: 1835000 | #Constraints: 34820
2171.73/2176.54 c #Conflicts: 1836000 | #Constraints: 35820
2171.73/2176.54 c #Conflicts: 1837000 | #Constraints: 36820
2171.73/2176.54 c #Conflicts: 1838000 | #Constraints: 37820
2171.73/2176.54 c #Conflicts: 1839000 | #Constraints: 38820
2171.73/2176.54 c #Conflicts: 1840000 | #Constraints: 39820
2171.73/2176.54 c #Conflicts: 1841000 | #Constraints: 40820
2171.73/2176.54 c #Conflicts: 1842000 | #Constraints: 41820
2171.73/2176.54 c #Conflicts: 1843000 | #Constraints: 42820
2171.73/2176.54 c #Conflicts: 1844000 | #Constraints: 43820
2171.73/2176.54 c #Conflicts: 1845000 | #Constraints: 44820
2171.73/2176.54 c #Conflicts: 1846000 | #Constraints: 45820
2171.73/2176.54 c #Conflicts: 1847000 | #Constraints: 46820
2306.83/2311.92 c #Conflicts: 1848000 | #Constraints: 47820
2306.83/2311.92 c #Conflicts: 1849000 | #Constraints: 48820
2306.83/2311.92 c #Conflicts: 1850000 | #Constraints: 49820
2306.83/2311.92 c #Conflicts: 1851000 | #Constraints: 50820
2306.83/2311.92 c #Conflicts: 1852000 | #Constraints: 51820
2306.83/2311.92 c #Conflicts: 1853000 | #Constraints: 52820
2306.83/2311.92 c #Conflicts: 1854000 | #Constraints: 53820
2306.83/2311.92 c INPROCESSING
2306.83/2311.92 c GARBAGE COLLECT
2306.83/2311.92 c #Conflicts: 1855000 | #Constraints: 27823
2306.83/2311.92 c #Conflicts: 1856000 | #Constraints: 28823
2306.83/2311.92 c #Conflicts: 1857000 | #Constraints: 29823
2306.83/2311.92 c #Conflicts: 1858000 | #Constraints: 30823
2306.83/2311.92 c #Conflicts: 1859000 | #Constraints: 31823
2306.83/2311.92 c #Conflicts: 1860000 | #Constraints: 32823
2306.83/2311.92 c #Conflicts: 1861000 | #Constraints: 33823
2306.83/2311.92 c #Conflicts: 1862000 | #Constraints: 34823
2306.83/2311.92 c #Conflicts: 1863000 | #Constraints: 35823
2306.83/2311.92 c #Conflicts: 1864000 | #Constraints: 36823
2306.83/2311.92 c #Conflicts: 1865000 | #Constraints: 37823
2306.83/2311.92 c #Conflicts: 1866000 | #Constraints: 38823
2306.83/2311.92 c #Conflicts: 1867000 | #Constraints: 39823
2306.83/2311.92 c #Conflicts: 1868000 | #Constraints: 40823
2306.83/2311.92 c #Conflicts: 1869000 | #Constraints: 41823
2306.83/2311.92 c #Conflicts: 1870000 | #Constraints: 42823
2306.83/2311.92 c #Conflicts: 1871000 | #Constraints: 43823
2306.83/2311.92 c #Conflicts: 1872000 | #Constraints: 44823
2306.83/2311.92 c #Conflicts: 1873000 | #Constraints: 45823
2306.83/2311.92 c #Conflicts: 1874000 | #Constraints: 46823
2306.83/2311.92 c #Conflicts: 1875000 | #Constraints: 47823
2306.83/2311.92 c #Conflicts: 1876000 | #Constraints: 48823
2306.83/2311.92 c #Conflicts: 1877000 | #Constraints: 49823
2306.83/2311.92 c #Conflicts: 1878000 | #Constraints: 50823
2306.83/2311.92 c #Conflicts: 1879000 | #Constraints: 51823
2306.83/2311.92 c #Conflicts: 1880000 | #Constraints: 52823
2306.83/2311.92 c #Conflicts: 1881000 | #Constraints: 53823
2306.83/2311.92 c INPROCESSING
2306.83/2311.92 c GARBAGE COLLECT
2306.83/2311.92 c #Conflicts: 1882000 | #Constraints: 27624
2306.83/2311.92 c #Conflicts: 1883000 | #Constraints: 28624
2306.83/2311.92 c #Conflicts: 1884000 | #Constraints: 29624
2306.83/2311.92 c #Conflicts: 1885000 | #Constraints: 30624
2306.83/2311.92 c #Conflicts: 1886000 | #Constraints: 31624
2306.83/2311.92 c #Conflicts: 1887000 | #Constraints: 32624
2306.83/2311.92 c #Conflicts: 1888000 | #Constraints: 33624
2306.83/2311.92 c #Conflicts: 1889000 | #Constraints: 34624
2306.83/2311.92 c #Conflicts: 1890000 | #Constraints: 35624
2306.83/2311.92 c #Conflicts: 1891000 | #Constraints: 36624
2306.83/2311.92 c #Conflicts: 1892000 | #Constraints: 37624
2306.83/2311.92 c #Conflicts: 1893000 | #Constraints: 38624
2306.83/2311.92 c #Conflicts: 1894000 | #Constraints: 39624
2306.83/2311.92 c #Conflicts: 1895000 | #Constraints: 40624
2306.83/2311.92 c #Conflicts: 1896000 | #Constraints: 41624
2306.83/2311.92 c #Conflicts: 1897000 | #Constraints: 42624
2306.83/2311.92 c #Conflicts: 1898000 | #Constraints: 43624
2306.83/2311.92 c #Conflicts: 1899000 | #Constraints: 44624
2306.83/2311.92 c #Conflicts: 1900000 | #Constraints: 45624
2306.83/2311.92 c #Conflicts: 1901000 | #Constraints: 46624
2306.83/2311.92 c #Conflicts: 1902000 | #Constraints: 47624
2306.83/2311.92 c #Conflicts: 1903000 | #Constraints: 48624
2306.83/2311.92 c #Conflicts: 1904000 | #Constraints: 49624
2306.83/2311.92 c #Conflicts: 1905000 | #Constraints: 50624
2306.83/2311.92 c #Conflicts: 1906000 | #Constraints: 51624
2306.83/2311.92 c #Conflicts: 1907000 | #Constraints: 52624
2306.83/2311.92 c #Conflicts: 1908000 | #Constraints: 53624
2306.83/2311.92 c #Conflicts: 1909000 | #Constraints: 54624
2306.83/2311.92 c INPROCESSING
2306.83/2311.92 c GARBAGE COLLECT
2306.83/2311.92 c #Conflicts: 1910000 | #Constraints: 28223
2306.83/2311.92 c #Conflicts: 1911000 | #Constraints: 29223
2306.83/2311.92 c #Conflicts: 1912000 | #Constraints: 30223
2306.83/2311.92 c #Conflicts: 1913000 | #Constraints: 31223
2306.83/2311.92 c #Conflicts: 1914000 | #Constraints: 32223
2306.83/2311.92 c #Conflicts: 1915000 | #Constraints: 33223
2306.83/2311.92 c #Conflicts: 1916000 | #Constraints: 34223
2306.83/2311.92 c #Conflicts: 1917000 | #Constraints: 35223
2306.83/2311.92 c #Conflicts: 1918000 | #Constraints: 36223
2306.83/2311.92 c #Conflicts: 1919000 | #Constraints: 37223
2306.83/2311.92 c #Conflicts: 1920000 | #Constraints: 38223
2306.83/2311.92 c #Conflicts: 1921000 | #Constraints: 39223
2306.83/2311.92 c #Conflicts: 1922000 | #Constraints: 40223
2306.83/2311.92 c #Conflicts: 1923000 | #Constraints: 41223
2306.83/2311.92 c #Conflicts: 1924000 | #Constraints: 42223
2444.12/2449.59 c #Conflicts: 1925000 | #Constraints: 43223
2444.12/2449.59 c #Conflicts: 1926000 | #Constraints: 44223
2444.12/2449.59 c #Conflicts: 1927000 | #Constraints: 45223
2444.12/2449.59 c #Conflicts: 1928000 | #Constraints: 46223
2444.12/2449.59 c #Conflicts: 1929000 | #Constraints: 47223
2444.12/2449.59 c #Conflicts: 1930000 | #Constraints: 48223
2444.12/2449.59 c #Conflicts: 1931000 | #Constraints: 49223
2444.12/2449.59 c #Conflicts: 1932000 | #Constraints: 50223
2444.12/2449.59 c #Conflicts: 1933000 | #Constraints: 51223
2444.12/2449.59 c #Conflicts: 1934000 | #Constraints: 52223
2444.12/2449.59 c #Conflicts: 1935000 | #Constraints: 53223
2444.12/2449.59 c #Conflicts: 1936000 | #Constraints: 54223
2444.12/2449.59 c #Conflicts: 1937000 | #Constraints: 55223
2444.12/2449.59 c INPROCESSING
2444.12/2449.59 c GARBAGE COLLECT
2444.12/2449.59 c #Conflicts: 1938000 | #Constraints: 28623
2444.12/2449.59 c #Conflicts: 1939000 | #Constraints: 29623
2444.12/2449.59 c #Conflicts: 1940000 | #Constraints: 30623
2444.12/2449.59 c #Conflicts: 1941000 | #Constraints: 31623
2444.12/2449.59 c #Conflicts: 1942000 | #Constraints: 32623
2444.12/2449.59 c #Conflicts: 1943000 | #Constraints: 33623
2444.12/2449.59 c #Conflicts: 1944000 | #Constraints: 34623
2444.12/2449.59 c #Conflicts: 1945000 | #Constraints: 35623
2444.12/2449.59 c #Conflicts: 1946000 | #Constraints: 36623
2444.12/2449.59 c #Conflicts: 1947000 | #Constraints: 37623
2444.12/2449.59 c #Conflicts: 1948000 | #Constraints: 38623
2444.12/2449.59 c #Conflicts: 1949000 | #Constraints: 39623
2444.12/2449.59 c #Conflicts: 1950000 | #Constraints: 40623
2444.12/2449.59 c #Conflicts: 1951000 | #Constraints: 41623
2444.12/2449.59 c #Conflicts: 1952000 | #Constraints: 42623
2444.12/2449.59 c #Conflicts: 1953000 | #Constraints: 43623
2444.12/2449.59 c #Conflicts: 1954000 | #Constraints: 44623
2444.12/2449.59 c #Conflicts: 1955000 | #Constraints: 45623
2444.12/2449.59 c #Conflicts: 1956000 | #Constraints: 46623
2444.12/2449.59 c #Conflicts: 1957000 | #Constraints: 47623
2444.12/2449.59 c #Conflicts: 1958000 | #Constraints: 48623
2444.12/2449.59 c #Conflicts: 1959000 | #Constraints: 49623
2444.12/2449.59 c #Conflicts: 1960000 | #Constraints: 50623
2444.12/2449.59 c #Conflicts: 1961000 | #Constraints: 51623
2444.12/2449.59 c #Conflicts: 1962000 | #Constraints: 52623
2444.12/2449.59 c #Conflicts: 1963000 | #Constraints: 53623
2444.12/2449.59 c #Conflicts: 1964000 | #Constraints: 54623
2444.12/2449.59 c #Conflicts: 1965000 | #Constraints: 55623
2444.12/2449.59 c INPROCESSING
2444.12/2449.59 c GARBAGE COLLECT
2444.12/2449.59 c #Conflicts: 1966000 | #Constraints: 28825
2444.12/2449.59 c #Conflicts: 1967000 | #Constraints: 29825
2444.12/2449.59 c #Conflicts: 1968000 | #Constraints: 30825
2444.12/2449.59 c #Conflicts: 1969000 | #Constraints: 31825
2444.12/2449.59 c #Conflicts: 1970000 | #Constraints: 32825
2444.12/2449.59 c #Conflicts: 1971000 | #Constraints: 33825
2444.12/2449.59 c #Conflicts: 1972000 | #Constraints: 34825
2444.12/2449.59 c #Conflicts: 1973000 | #Constraints: 35825
2444.12/2449.59 c #Conflicts: 1974000 | #Constraints: 36825
2444.12/2449.59 c #Conflicts: 1975000 | #Constraints: 37825
2444.12/2449.59 c #Conflicts: 1976000 | #Constraints: 38825
2444.12/2449.59 c #Conflicts: 1977000 | #Constraints: 39825
2444.12/2449.59 c #Conflicts: 1978000 | #Constraints: 40825
2444.12/2449.59 c #Conflicts: 1979000 | #Constraints: 41825
2444.12/2449.59 c #Conflicts: 1980000 | #Constraints: 42825
2444.12/2449.59 c #Conflicts: 1981000 | #Constraints: 43825
2444.12/2449.59 c #Conflicts: 1982000 | #Constraints: 44825
2444.12/2449.59 c #Conflicts: 1983000 | #Constraints: 45825
2444.12/2449.59 c #Conflicts: 1984000 | #Constraints: 46825
2444.12/2449.59 c #Conflicts: 1985000 | #Constraints: 47825
2444.12/2449.59 c #Conflicts: 1986000 | #Constraints: 48825
2444.12/2449.59 c #Conflicts: 1987000 | #Constraints: 49825
2444.12/2449.59 c #Conflicts: 1988000 | #Constraints: 50825
2444.12/2449.59 c #Conflicts: 1989000 | #Constraints: 51825
2444.12/2449.59 c #Conflicts: 1990000 | #Constraints: 52825
2444.12/2449.59 c #Conflicts: 1991000 | #Constraints: 53825
2444.12/2449.59 c #Conflicts: 1992000 | #Constraints: 54825
2444.12/2449.59 c #Conflicts: 1993000 | #Constraints: 55825
2444.12/2449.59 c INPROCESSING
2444.12/2449.59 c GARBAGE COLLECT
2444.12/2449.59 c #Conflicts: 1994000 | #Constraints: 28823
2444.12/2449.59 c #Conflicts: 1995000 | #Constraints: 29823
2444.12/2449.59 c #Conflicts: 1996000 | #Constraints: 30823
2444.12/2449.59 c #Conflicts: 1997000 | #Constraints: 31823
2444.12/2449.59 c #Conflicts: 1998000 | #Constraints: 32823
2444.12/2449.59 c #Conflicts: 1999000 | #Constraints: 33823
2444.12/2449.59 c #Conflicts: 2000000 | #Constraints: 34823
2444.12/2449.59 c #Conflicts: 2001000 | #Constraints: 35823
2587.41/2593.12 c #Conflicts: 2002000 | #Constraints: 36823
2587.41/2593.12 c #Conflicts: 2003000 | #Constraints: 37823
2587.41/2593.12 c #Conflicts: 2004000 | #Constraints: 38823
2587.41/2593.12 c #Conflicts: 2005000 | #Constraints: 39823
2587.41/2593.12 c #Conflicts: 2006000 | #Constraints: 40823
2587.41/2593.12 c #Conflicts: 2007000 | #Constraints: 41823
2587.41/2593.12 c #Conflicts: 2008000 | #Constraints: 42823
2587.41/2593.12 c #Conflicts: 2009000 | #Constraints: 43823
2587.41/2593.12 c #Conflicts: 2010000 | #Constraints: 44823
2587.41/2593.12 c #Conflicts: 2011000 | #Constraints: 45823
2587.41/2593.12 c #Conflicts: 2012000 | #Constraints: 46823
2587.41/2593.12 c #Conflicts: 2013000 | #Constraints: 47823
2587.41/2593.12 c #Conflicts: 2014000 | #Constraints: 48823
2587.41/2593.12 c #Conflicts: 2015000 | #Constraints: 49823
2587.41/2593.12 c #Conflicts: 2016000 | #Constraints: 50823
2587.41/2593.12 c #Conflicts: 2017000 | #Constraints: 51823
2587.41/2593.12 c #Conflicts: 2018000 | #Constraints: 52823
2587.41/2593.12 c #Conflicts: 2019000 | #Constraints: 53823
2587.41/2593.12 c #Conflicts: 2020000 | #Constraints: 54823
2587.41/2593.12 c #Conflicts: 2021000 | #Constraints: 55823
2587.41/2593.12 c INPROCESSING
2587.41/2593.12 c GARBAGE COLLECT
2587.41/2593.12 c #Conflicts: 2022000 | #Constraints: 28622
2587.41/2593.12 c #Conflicts: 2023000 | #Constraints: 29622
2587.41/2593.12 c #Conflicts: 2024000 | #Constraints: 30622
2587.41/2593.12 c #Conflicts: 2025000 | #Constraints: 31622
2587.41/2593.12 c #Conflicts: 2026000 | #Constraints: 32622
2587.41/2593.12 c #Conflicts: 2027000 | #Constraints: 33622
2587.41/2593.12 c #Conflicts: 2028000 | #Constraints: 34622
2587.41/2593.12 c #Conflicts: 2029000 | #Constraints: 35622
2587.41/2593.12 c #Conflicts: 2030000 | #Constraints: 36622
2587.41/2593.12 c #Conflicts: 2031000 | #Constraints: 37622
2587.41/2593.12 c #Conflicts: 2032000 | #Constraints: 38622
2587.41/2593.12 c #Conflicts: 2033000 | #Constraints: 39622
2587.41/2593.12 c #Conflicts: 2034000 | #Constraints: 40622
2587.41/2593.12 c #Conflicts: 2035000 | #Constraints: 41622
2587.41/2593.12 c #Conflicts: 2036000 | #Constraints: 42622
2587.41/2593.12 c #Conflicts: 2037000 | #Constraints: 43622
2587.41/2593.12 c #Conflicts: 2038000 | #Constraints: 44622
2587.41/2593.12 c #Conflicts: 2039000 | #Constraints: 45622
2587.41/2593.12 c #Conflicts: 2040000 | #Constraints: 46622
2587.41/2593.12 c #Conflicts: 2041000 | #Constraints: 47622
2587.41/2593.12 c #Conflicts: 2042000 | #Constraints: 48622
2587.41/2593.12 c #Conflicts: 2043000 | #Constraints: 49622
2587.41/2593.12 c #Conflicts: 2044000 | #Constraints: 50622
2587.41/2593.12 c #Conflicts: 2045000 | #Constraints: 51622
2587.41/2593.12 c #Conflicts: 2046000 | #Constraints: 52622
2587.41/2593.12 c #Conflicts: 2047000 | #Constraints: 53622
2587.41/2593.12 c #Conflicts: 2048000 | #Constraints: 54622
2587.41/2593.12 c #Conflicts: 2049000 | #Constraints: 55622
2587.41/2593.12 c #Conflicts: 2050000 | #Constraints: 56622
2587.41/2593.12 c INPROCESSING
2587.41/2593.12 c GARBAGE COLLECT
2587.41/2593.12 c #Conflicts: 2051000 | #Constraints: 29223
2587.41/2593.12 c #Conflicts: 2052000 | #Constraints: 30223
2587.41/2593.12 c #Conflicts: 2053000 | #Constraints: 31223
2587.41/2593.12 c #Conflicts: 2054000 | #Constraints: 32223
2587.41/2593.12 c #Conflicts: 2055000 | #Constraints: 33223
2587.41/2593.12 c #Conflicts: 2056000 | #Constraints: 34223
2587.41/2593.12 c #Conflicts: 2057000 | #Constraints: 35223
2587.41/2593.12 c #Conflicts: 2058000 | #Constraints: 36223
2587.41/2593.12 c #Conflicts: 2059000 | #Constraints: 37223
2587.41/2593.12 c #Conflicts: 2060000 | #Constraints: 38223
2587.41/2593.12 c #Conflicts: 2061000 | #Constraints: 39223
2587.41/2593.12 c #Conflicts: 2062000 | #Constraints: 40223
2587.41/2593.12 c #Conflicts: 2063000 | #Constraints: 41223
2587.41/2593.12 c #Conflicts: 2064000 | #Constraints: 42223
2587.41/2593.12 c #Conflicts: 2065000 | #Constraints: 43223
2587.41/2593.12 c #Conflicts: 2066000 | #Constraints: 44223
2587.41/2593.12 c #Conflicts: 2067000 | #Constraints: 45223
2587.41/2593.12 c #Conflicts: 2068000 | #Constraints: 46223
2587.41/2593.12 c #Conflicts: 2069000 | #Constraints: 47223
2587.41/2593.12 c #Conflicts: 2070000 | #Constraints: 48223
2587.41/2593.12 c #Conflicts: 2071000 | #Constraints: 49223
2587.41/2593.12 c #Conflicts: 2072000 | #Constraints: 50223
2587.41/2593.12 c #Conflicts: 2073000 | #Constraints: 51223
2587.41/2593.12 c #Conflicts: 2074000 | #Constraints: 52223
2587.41/2593.12 c #Conflicts: 2075000 | #Constraints: 53223
2587.41/2593.12 c #Conflicts: 2076000 | #Constraints: 54223
2587.41/2593.12 c #Conflicts: 2077000 | #Constraints: 55223
2587.41/2593.12 c #Conflicts: 2078000 | #Constraints: 56223
2587.41/2593.12 c #Conflicts: 2079000 | #Constraints: 57223
2734.86/2740.95 c INPROCESSING
2734.86/2740.95 c GARBAGE COLLECT
2734.86/2740.95 c #Conflicts: 2080000 | #Constraints: 29624
2734.86/2740.95 c #Conflicts: 2081000 | #Constraints: 30624
2734.86/2740.95 c #Conflicts: 2082000 | #Constraints: 31624
2734.86/2740.95 c #Conflicts: 2083000 | #Constraints: 32624
2734.86/2740.95 c #Conflicts: 2084000 | #Constraints: 33624
2734.86/2740.95 c #Conflicts: 2085000 | #Constraints: 34624
2734.86/2740.95 c #Conflicts: 2086000 | #Constraints: 35624
2734.86/2740.95 c #Conflicts: 2087000 | #Constraints: 36624
2734.86/2740.95 c #Conflicts: 2088000 | #Constraints: 37624
2734.86/2740.95 c #Conflicts: 2089000 | #Constraints: 38624
2734.86/2740.95 c #Conflicts: 2090000 | #Constraints: 39624
2734.86/2740.95 c #Conflicts: 2091000 | #Constraints: 40624
2734.86/2740.95 c #Conflicts: 2092000 | #Constraints: 41624
2734.86/2740.95 c #Conflicts: 2093000 | #Constraints: 42624
2734.86/2740.95 c #Conflicts: 2094000 | #Constraints: 43624
2734.86/2740.95 c #Conflicts: 2095000 | #Constraints: 44624
2734.86/2740.95 c #Conflicts: 2096000 | #Constraints: 45624
2734.86/2740.95 c #Conflicts: 2097000 | #Constraints: 46624
2734.86/2740.95 c #Conflicts: 2098000 | #Constraints: 47624
2734.86/2740.95 c #Conflicts: 2099000 | #Constraints: 48624
2734.86/2740.95 c #Conflicts: 2100000 | #Constraints: 49624
2734.86/2740.95 c #Conflicts: 2101000 | #Constraints: 50624
2734.86/2740.95 c #Conflicts: 2102000 | #Constraints: 51624
2734.86/2740.95 c #Conflicts: 2103000 | #Constraints: 52624
2734.86/2740.95 c #Conflicts: 2104000 | #Constraints: 53624
2734.86/2740.95 c #Conflicts: 2105000 | #Constraints: 54624
2734.86/2740.95 c #Conflicts: 2106000 | #Constraints: 55624
2734.86/2740.95 c #Conflicts: 2107000 | #Constraints: 56624
2734.86/2740.95 c #Conflicts: 2108000 | #Constraints: 57624
2734.86/2740.95 c INPROCESSING
2734.86/2740.95 c GARBAGE COLLECT
2734.86/2740.95 c #Conflicts: 2109000 | #Constraints: 29822
2734.86/2740.95 c #Conflicts: 2110000 | #Constraints: 30822
2734.86/2740.95 c #Conflicts: 2111000 | #Constraints: 31822
2734.86/2740.95 c #Conflicts: 2112000 | #Constraints: 32822
2734.86/2740.95 c #Conflicts: 2113000 | #Constraints: 33822
2734.86/2740.95 c #Conflicts: 2114000 | #Constraints: 34822
2734.86/2740.95 c #Conflicts: 2115000 | #Constraints: 35822
2734.86/2740.95 c #Conflicts: 2116000 | #Constraints: 36822
2734.86/2740.95 c #Conflicts: 2117000 | #Constraints: 37822
2734.86/2740.95 c #Conflicts: 2118000 | #Constraints: 38822
2734.86/2740.95 c #Conflicts: 2119000 | #Constraints: 39822
2734.86/2740.95 c #Conflicts: 2120000 | #Constraints: 40822
2734.86/2740.95 c #Conflicts: 2121000 | #Constraints: 41822
2734.86/2740.95 c #Conflicts: 2122000 | #Constraints: 42822
2734.86/2740.95 c #Conflicts: 2123000 | #Constraints: 43822
2734.86/2740.95 c #Conflicts: 2124000 | #Constraints: 44822
2734.86/2740.95 c #Conflicts: 2125000 | #Constraints: 45822
2734.86/2740.95 c #Conflicts: 2126000 | #Constraints: 46822
2734.86/2740.95 c #Conflicts: 2127000 | #Constraints: 47822
2734.86/2740.95 c #Conflicts: 2128000 | #Constraints: 48822
2734.86/2740.95 c #Conflicts: 2129000 | #Constraints: 49822
2734.86/2740.95 c #Conflicts: 2130000 | #Constraints: 50822
2734.86/2740.95 c #Conflicts: 2131000 | #Constraints: 51822
2734.86/2740.95 c #Conflicts: 2132000 | #Constraints: 52822
2734.86/2740.95 c #Conflicts: 2133000 | #Constraints: 53822
2734.86/2740.95 c #Conflicts: 2134000 | #Constraints: 54822
2734.86/2740.95 c #Conflicts: 2135000 | #Constraints: 55822
2734.86/2740.95 c #Conflicts: 2136000 | #Constraints: 56822
2734.86/2740.95 c #Conflicts: 2137000 | #Constraints: 57822
2734.86/2740.95 c INPROCESSING
2734.86/2740.95 c GARBAGE COLLECT
2734.86/2740.95 c #Conflicts: 2138000 | #Constraints: 29823
2734.86/2740.95 c #Conflicts: 2139000 | #Constraints: 30823
2734.86/2740.95 c #Conflicts: 2140000 | #Constraints: 31823
2734.86/2740.95 c #Conflicts: 2141000 | #Constraints: 32823
2734.86/2740.95 c #Conflicts: 2142000 | #Constraints: 33823
2734.86/2740.95 c #Conflicts: 2143000 | #Constraints: 34823
2734.86/2740.95 c #Conflicts: 2144000 | #Constraints: 35823
2734.86/2740.95 c #Conflicts: 2145000 | #Constraints: 36823
2734.86/2740.95 c #Conflicts: 2146000 | #Constraints: 37823
2734.86/2740.95 c #Conflicts: 2147000 | #Constraints: 38823
2734.86/2740.95 c #Conflicts: 2148000 | #Constraints: 39823
2734.86/2740.95 c #Conflicts: 2149000 | #Constraints: 40823
2734.86/2740.95 c #Conflicts: 2150000 | #Constraints: 41823
2734.86/2740.95 c #Conflicts: 2151000 | #Constraints: 42823
2734.86/2740.95 c #Conflicts: 2152000 | #Constraints: 43823
2734.86/2740.95 c #Conflicts: 2153000 | #Constraints: 44823
2734.86/2740.95 c #Conflicts: 2154000 | #Constraints: 45823
2734.86/2740.95 c #Conflicts: 2155000 | #Constraints: 46823
2734.86/2740.95 c #Conflicts: 2156000 | #Constraints: 47823
2889.31/2895.73 c #Conflicts: 2157000 | #Constraints: 48823
2889.31/2895.73 c #Conflicts: 2158000 | #Constraints: 49823
2889.31/2895.73 c #Conflicts: 2159000 | #Constraints: 50823
2889.31/2895.73 c #Conflicts: 2160000 | #Constraints: 51823
2889.31/2895.73 c #Conflicts: 2161000 | #Constraints: 52823
2889.31/2895.73 c #Conflicts: 2162000 | #Constraints: 53823
2889.31/2895.73 c #Conflicts: 2163000 | #Constraints: 54823
2889.31/2895.73 c #Conflicts: 2164000 | #Constraints: 55823
2889.31/2895.73 c #Conflicts: 2165000 | #Constraints: 56823
2889.31/2895.73 c #Conflicts: 2166000 | #Constraints: 57823
2889.31/2895.73 c INPROCESSING
2889.31/2895.73 c GARBAGE COLLECT
2889.31/2895.73 c #Conflicts: 2167000 | #Constraints: 29625
2889.31/2895.73 c #Conflicts: 2168000 | #Constraints: 30625
2889.31/2895.73 c #Conflicts: 2169000 | #Constraints: 31625
2889.31/2895.73 c #Conflicts: 2170000 | #Constraints: 32625
2889.31/2895.73 c #Conflicts: 2171000 | #Constraints: 33625
2889.31/2895.73 c #Conflicts: 2172000 | #Constraints: 34625
2889.31/2895.73 c #Conflicts: 2173000 | #Constraints: 35625
2889.31/2895.73 c #Conflicts: 2174000 | #Constraints: 36625
2889.31/2895.73 c #Conflicts: 2175000 | #Constraints: 37625
2889.31/2895.73 c #Conflicts: 2176000 | #Constraints: 38625
2889.31/2895.73 c #Conflicts: 2177000 | #Constraints: 39625
2889.31/2895.73 c #Conflicts: 2178000 | #Constraints: 40625
2889.31/2895.73 c #Conflicts: 2179000 | #Constraints: 41625
2889.31/2895.73 c #Conflicts: 2180000 | #Constraints: 42625
2889.31/2895.73 c #Conflicts: 2181000 | #Constraints: 43625
2889.31/2895.73 c #Conflicts: 2182000 | #Constraints: 44625
2889.31/2895.73 c #Conflicts: 2183000 | #Constraints: 45625
2889.31/2895.73 c #Conflicts: 2184000 | #Constraints: 46625
2889.31/2895.73 c #Conflicts: 2185000 | #Constraints: 47625
2889.31/2895.73 c #Conflicts: 2186000 | #Constraints: 48625
2889.31/2895.73 c #Conflicts: 2187000 | #Constraints: 49625
2889.31/2895.73 c #Conflicts: 2188000 | #Constraints: 50625
2889.31/2895.73 c #Conflicts: 2189000 | #Constraints: 51625
2889.31/2895.73 c #Conflicts: 2190000 | #Constraints: 52625
2889.31/2895.73 c #Conflicts: 2191000 | #Constraints: 53625
2889.31/2895.73 c #Conflicts: 2192000 | #Constraints: 54625
2889.31/2895.73 c #Conflicts: 2193000 | #Constraints: 55625
2889.31/2895.73 c #Conflicts: 2194000 | #Constraints: 56625
2889.31/2895.73 c #Conflicts: 2195000 | #Constraints: 57625
2889.31/2895.73 c #Conflicts: 2196000 | #Constraints: 58625
2889.31/2895.73 c INPROCESSING
2889.31/2895.73 c GARBAGE COLLECT
2889.31/2895.73 c #Conflicts: 2197000 | #Constraints: 30227
2889.31/2895.73 c #Conflicts: 2198000 | #Constraints: 31227
2889.31/2895.73 c #Conflicts: 2199000 | #Constraints: 32227
2889.31/2895.73 c #Conflicts: 2200000 | #Constraints: 33227
2889.31/2895.73 c #Conflicts: 2201000 | #Constraints: 34227
2889.31/2895.73 c #Conflicts: 2202000 | #Constraints: 35227
2889.31/2895.73 c #Conflicts: 2203000 | #Constraints: 36227
2889.31/2895.73 c #Conflicts: 2204000 | #Constraints: 37227
2889.31/2895.73 c #Conflicts: 2205000 | #Constraints: 38227
2889.31/2895.73 c #Conflicts: 2206000 | #Constraints: 39227
2889.31/2895.73 c #Conflicts: 2207000 | #Constraints: 40227
2889.31/2895.73 c #Conflicts: 2208000 | #Constraints: 41227
2889.31/2895.73 c #Conflicts: 2209000 | #Constraints: 42227
2889.31/2895.73 c #Conflicts: 2210000 | #Constraints: 43227
2889.31/2895.73 c #Conflicts: 2211000 | #Constraints: 44227
2889.31/2895.73 c #Conflicts: 2212000 | #Constraints: 45227
2889.31/2895.73 c #Conflicts: 2213000 | #Constraints: 46227
2889.31/2895.73 c #Conflicts: 2214000 | #Constraints: 47227
2889.31/2895.73 c #Conflicts: 2215000 | #Constraints: 48227
2889.31/2895.73 c #Conflicts: 2216000 | #Constraints: 49227
2889.31/2895.73 c #Conflicts: 2217000 | #Constraints: 50227
2889.31/2895.73 c #Conflicts: 2218000 | #Constraints: 51227
2889.31/2895.73 c #Conflicts: 2219000 | #Constraints: 52227
2889.31/2895.73 c #Conflicts: 2220000 | #Constraints: 53227
2889.31/2895.73 c #Conflicts: 2221000 | #Constraints: 54227
2889.31/2895.73 c #Conflicts: 2222000 | #Constraints: 55227
2889.31/2895.73 c #Conflicts: 2223000 | #Constraints: 56227
2889.31/2895.73 c #Conflicts: 2224000 | #Constraints: 57227
2889.31/2895.73 c #Conflicts: 2225000 | #Constraints: 58227
2889.31/2895.73 c #Conflicts: 2226000 | #Constraints: 59227
2889.31/2895.73 c INPROCESSING
2889.31/2895.73 c GARBAGE COLLECT
2889.31/2895.73 c #Conflicts: 2227000 | #Constraints: 30628
2889.31/2895.73 c #Conflicts: 2228000 | #Constraints: 31628
2889.31/2895.73 c #Conflicts: 2229000 | #Constraints: 32628
2889.31/2895.73 c #Conflicts: 2230000 | #Constraints: 33628
2889.31/2895.73 c #Conflicts: 2231000 | #Constraints: 34628
2889.31/2895.73 c #Conflicts: 2232000 | #Constraints: 35628
3051.61/3058.46 c #Conflicts: 2233000 | #Constraints: 36628
3051.61/3058.46 c #Conflicts: 2234000 | #Constraints: 37628
3051.61/3058.46 c #Conflicts: 2235000 | #Constraints: 38628
3051.61/3058.46 c #Conflicts: 2236000 | #Constraints: 39628
3051.61/3058.46 c #Conflicts: 2237000 | #Constraints: 40628
3051.61/3058.46 c #Conflicts: 2238000 | #Constraints: 41628
3051.61/3058.46 c #Conflicts: 2239000 | #Constraints: 42628
3051.61/3058.46 c #Conflicts: 2240000 | #Constraints: 43628
3051.61/3058.46 c #Conflicts: 2241000 | #Constraints: 44628
3051.61/3058.46 c #Conflicts: 2242000 | #Constraints: 45628
3051.61/3058.46 c #Conflicts: 2243000 | #Constraints: 46628
3051.61/3058.46 c #Conflicts: 2244000 | #Constraints: 47628
3051.61/3058.46 c #Conflicts: 2245000 | #Constraints: 48628
3051.61/3058.46 c #Conflicts: 2246000 | #Constraints: 49628
3051.61/3058.46 c #Conflicts: 2247000 | #Constraints: 50628
3051.61/3058.46 c #Conflicts: 2248000 | #Constraints: 51628
3051.61/3058.46 c #Conflicts: 2249000 | #Constraints: 52628
3051.61/3058.46 c #Conflicts: 2250000 | #Constraints: 53628
3051.61/3058.46 c #Conflicts: 2251000 | #Constraints: 54628
3051.61/3058.46 c #Conflicts: 2252000 | #Constraints: 55628
3051.61/3058.46 c #Conflicts: 2253000 | #Constraints: 56628
3051.61/3058.46 c #Conflicts: 2254000 | #Constraints: 57628
3051.61/3058.46 c #Conflicts: 2255000 | #Constraints: 58628
3051.61/3058.46 c #Conflicts: 2256000 | #Constraints: 59628
3051.61/3058.46 c INPROCESSING
3051.61/3058.46 c GARBAGE COLLECT
3051.61/3058.46 c #Conflicts: 2257000 | #Constraints: 30826
3051.61/3058.46 c #Conflicts: 2258000 | #Constraints: 31826
3051.61/3058.46 c #Conflicts: 2259000 | #Constraints: 32826
3051.61/3058.46 c #Conflicts: 2260000 | #Constraints: 33826
3051.61/3058.46 c #Conflicts: 2261000 | #Constraints: 34826
3051.61/3058.46 c #Conflicts: 2262000 | #Constraints: 35826
3051.61/3058.46 c #Conflicts: 2263000 | #Constraints: 36826
3051.61/3058.46 c #Conflicts: 2264000 | #Constraints: 37826
3051.61/3058.46 c #Conflicts: 2265000 | #Constraints: 38826
3051.61/3058.46 c #Conflicts: 2266000 | #Constraints: 39826
3051.61/3058.46 c #Conflicts: 2267000 | #Constraints: 40826
3051.61/3058.46 c #Conflicts: 2268000 | #Constraints: 41826
3051.61/3058.46 c #Conflicts: 2269000 | #Constraints: 42826
3051.61/3058.46 c #Conflicts: 2270000 | #Constraints: 43826
3051.61/3058.46 c #Conflicts: 2271000 | #Constraints: 44826
3051.61/3058.46 c #Conflicts: 2272000 | #Constraints: 45826
3051.61/3058.46 c #Conflicts: 2273000 | #Constraints: 46826
3051.61/3058.46 c #Conflicts: 2274000 | #Constraints: 47826
3051.61/3058.46 c #Conflicts: 2275000 | #Constraints: 48826
3051.61/3058.46 c #Conflicts: 2276000 | #Constraints: 49826
3051.61/3058.46 c #Conflicts: 2277000 | #Constraints: 50826
3051.61/3058.46 c #Conflicts: 2278000 | #Constraints: 51826
3051.61/3058.46 c #Conflicts: 2279000 | #Constraints: 52826
3051.61/3058.46 c #Conflicts: 2280000 | #Constraints: 53826
3051.61/3058.46 c #Conflicts: 2281000 | #Constraints: 54826
3051.61/3058.46 c #Conflicts: 2282000 | #Constraints: 55826
3051.61/3058.46 c #Conflicts: 2283000 | #Constraints: 56826
3051.61/3058.46 c #Conflicts: 2284000 | #Constraints: 57826
3051.61/3058.46 c #Conflicts: 2285000 | #Constraints: 58826
3051.61/3058.46 c #Conflicts: 2286000 | #Constraints: 59826
3051.61/3058.46 c INPROCESSING
3051.61/3058.46 c GARBAGE COLLECT
3051.61/3058.46 c #Conflicts: 2287000 | #Constraints: 30825
3051.61/3058.46 c #Conflicts: 2288000 | #Constraints: 31825
3051.61/3058.46 c #Conflicts: 2289000 | #Constraints: 32825
3051.61/3058.46 c #Conflicts: 2290000 | #Constraints: 33825
3051.61/3058.46 c #Conflicts: 2291000 | #Constraints: 34825
3051.61/3058.46 c #Conflicts: 2292000 | #Constraints: 35825
3051.61/3058.46 c #Conflicts: 2293000 | #Constraints: 36825
3051.61/3058.46 c #Conflicts: 2294000 | #Constraints: 37825
3051.61/3058.46 c #Conflicts: 2295000 | #Constraints: 38825
3051.61/3058.46 c #Conflicts: 2296000 | #Constraints: 39825
3051.61/3058.46 c #Conflicts: 2297000 | #Constraints: 40825
3051.61/3058.46 c #Conflicts: 2298000 | #Constraints: 41825
3051.61/3058.46 c #Conflicts: 2299000 | #Constraints: 42825
3051.61/3058.46 c #Conflicts: 2300000 | #Constraints: 43825
3051.61/3058.46 c #Conflicts: 2301000 | #Constraints: 44825
3051.61/3058.46 c #Conflicts: 2302000 | #Constraints: 45825
3051.61/3058.46 c #Conflicts: 2303000 | #Constraints: 46825
3051.61/3058.46 c #Conflicts: 2304000 | #Constraints: 47825
3051.61/3058.46 c #Conflicts: 2305000 | #Constraints: 48825
3051.61/3058.46 c #Conflicts: 2306000 | #Constraints: 49825
3051.61/3058.46 c #Conflicts: 2307000 | #Constraints: 50825
3051.61/3058.46 c #Conflicts: 2308000 | #Constraints: 51825
3051.61/3058.46 c #Conflicts: 2309000 | #Constraints: 52825
3051.61/3058.46 c #Conflicts: 2310000 | #Constraints: 53825
3211.26/3218.45 c #Conflicts: 2311000 | #Constraints: 54825
3211.26/3218.45 c #Conflicts: 2312000 | #Constraints: 55825
3211.26/3218.45 c #Conflicts: 2313000 | #Constraints: 56825
3211.26/3218.45 c #Conflicts: 2314000 | #Constraints: 57825
3211.26/3218.45 c #Conflicts: 2315000 | #Constraints: 58825
3211.26/3218.45 c #Conflicts: 2316000 | #Constraints: 59825
3211.26/3218.45 c INPROCESSING
3211.26/3218.45 c GARBAGE COLLECT
3211.26/3218.45 c #Conflicts: 2317000 | #Constraints: 30624
3211.26/3218.45 c #Conflicts: 2318000 | #Constraints: 31624
3211.26/3218.45 c #Conflicts: 2319000 | #Constraints: 32624
3211.26/3218.45 c #Conflicts: 2320000 | #Constraints: 33624
3211.26/3218.45 c #Conflicts: 2321000 | #Constraints: 34624
3211.26/3218.45 c #Conflicts: 2322000 | #Constraints: 35624
3211.26/3218.45 c #Conflicts: 2323000 | #Constraints: 36624
3211.26/3218.45 c #Conflicts: 2324000 | #Constraints: 37624
3211.26/3218.45 c #Conflicts: 2325000 | #Constraints: 38624
3211.26/3218.45 c #Conflicts: 2326000 | #Constraints: 39624
3211.26/3218.45 c #Conflicts: 2327000 | #Constraints: 40624
3211.26/3218.45 c #Conflicts: 2328000 | #Constraints: 41624
3211.26/3218.45 c #Conflicts: 2329000 | #Constraints: 42624
3211.26/3218.45 c #Conflicts: 2330000 | #Constraints: 43624
3211.26/3218.45 c #Conflicts: 2331000 | #Constraints: 44624
3211.26/3218.45 c #Conflicts: 2332000 | #Constraints: 45624
3211.26/3218.45 c #Conflicts: 2333000 | #Constraints: 46624
3211.26/3218.45 c #Conflicts: 2334000 | #Constraints: 47624
3211.26/3218.45 c #Conflicts: 2335000 | #Constraints: 48624
3211.26/3218.45 c #Conflicts: 2336000 | #Constraints: 49624
3211.26/3218.45 c #Conflicts: 2337000 | #Constraints: 50624
3211.26/3218.45 c #Conflicts: 2338000 | #Constraints: 51624
3211.26/3218.45 c #Conflicts: 2339000 | #Constraints: 52624
3211.26/3218.45 c #Conflicts: 2340000 | #Constraints: 53624
3211.26/3218.45 c #Conflicts: 2341000 | #Constraints: 54624
3211.26/3218.45 c #Conflicts: 2342000 | #Constraints: 55624
3211.26/3218.45 c #Conflicts: 2343000 | #Constraints: 56624
3211.26/3218.45 c #Conflicts: 2344000 | #Constraints: 57624
3211.26/3218.45 c #Conflicts: 2345000 | #Constraints: 58624
3211.26/3218.45 c #Conflicts: 2346000 | #Constraints: 59624
3211.26/3218.45 c #Conflicts: 2347000 | #Constraints: 60624
3211.26/3218.45 c INPROCESSING
3211.26/3218.45 c GARBAGE COLLECT
3211.26/3218.45 c #Conflicts: 2348000 | #Constraints: 31227
3211.26/3218.45 c #Conflicts: 2349000 | #Constraints: 32227
3211.26/3218.45 c #Conflicts: 2350000 | #Constraints: 33227
3211.26/3218.45 c #Conflicts: 2351000 | #Constraints: 34227
3211.26/3218.45 c #Conflicts: 2352000 | #Constraints: 35227
3211.26/3218.45 c #Conflicts: 2353000 | #Constraints: 36227
3211.26/3218.45 c #Conflicts: 2354000 | #Constraints: 37227
3211.26/3218.45 c #Conflicts: 2355000 | #Constraints: 38227
3211.26/3218.45 c #Conflicts: 2356000 | #Constraints: 39227
3211.26/3218.45 c #Conflicts: 2357000 | #Constraints: 40227
3211.26/3218.45 c #Conflicts: 2358000 | #Constraints: 41227
3211.26/3218.45 c #Conflicts: 2359000 | #Constraints: 42227
3211.26/3218.45 c #Conflicts: 2360000 | #Constraints: 43227
3211.26/3218.45 c #Conflicts: 2361000 | #Constraints: 44227
3211.26/3218.45 c #Conflicts: 2362000 | #Constraints: 45227
3211.26/3218.45 c #Conflicts: 2363000 | #Constraints: 46227
3211.26/3218.45 c #Conflicts: 2364000 | #Constraints: 47227
3211.26/3218.45 c #Conflicts: 2365000 | #Constraints: 48227
3211.26/3218.45 c #Conflicts: 2366000 | #Constraints: 49227
3211.26/3218.45 c #Conflicts: 2367000 | #Constraints: 50227
3211.26/3218.45 c #Conflicts: 2368000 | #Constraints: 51227
3211.26/3218.45 c #Conflicts: 2369000 | #Constraints: 52227
3211.26/3218.45 c #Conflicts: 2370000 | #Constraints: 53227
3211.26/3218.45 c #Conflicts: 2371000 | #Constraints: 54227
3211.26/3218.45 c #Conflicts: 2372000 | #Constraints: 55227
3211.26/3218.45 c #Conflicts: 2373000 | #Constraints: 56227
3211.26/3218.45 c #Conflicts: 2374000 | #Constraints: 57227
3211.26/3218.45 c #Conflicts: 2375000 | #Constraints: 58227
3211.26/3218.45 c #Conflicts: 2376000 | #Constraints: 59227
3211.26/3218.45 c #Conflicts: 2377000 | #Constraints: 60227
3211.26/3218.45 c #Conflicts: 2378000 | #Constraints: 61227
3211.26/3218.45 c INPROCESSING
3211.26/3218.45 c GARBAGE COLLECT
3211.26/3218.45 c #Conflicts: 2379000 | #Constraints: 31628
3211.26/3218.45 c #Conflicts: 2380000 | #Constraints: 32628
3211.26/3218.45 c #Conflicts: 2381000 | #Constraints: 33628
3211.26/3218.45 c #Conflicts: 2382000 | #Constraints: 34628
3211.26/3218.45 c #Conflicts: 2383000 | #Constraints: 35628
3211.26/3218.45 c #Conflicts: 2384000 | #Constraints: 36628
3211.26/3218.45 c #Conflicts: 2385000 | #Constraints: 37628
3211.26/3218.45 c #Conflicts: 2386000 | #Constraints: 38628
3211.26/3218.45 c #Conflicts: 2387000 | #Constraints: 39628
3376.00/3383.59 c #Conflicts: 2388000 | #Constraints: 40628
3376.00/3383.59 c #Conflicts: 2389000 | #Constraints: 41628
3376.00/3383.59 c #Conflicts: 2390000 | #Constraints: 42628
3376.00/3383.59 c #Conflicts: 2391000 | #Constraints: 43628
3376.00/3383.59 c #Conflicts: 2392000 | #Constraints: 44628
3376.00/3383.59 c #Conflicts: 2393000 | #Constraints: 45628
3376.00/3383.59 c #Conflicts: 2394000 | #Constraints: 46628
3376.00/3383.59 c #Conflicts: 2395000 | #Constraints: 47628
3376.00/3383.59 c #Conflicts: 2396000 | #Constraints: 48628
3376.00/3383.59 c #Conflicts: 2397000 | #Constraints: 49628
3376.00/3383.59 c #Conflicts: 2398000 | #Constraints: 50628
3376.00/3383.59 c #Conflicts: 2399000 | #Constraints: 51628
3376.00/3383.59 c #Conflicts: 2400000 | #Constraints: 52628
3376.00/3383.59 c #Conflicts: 2401000 | #Constraints: 53628
3376.00/3383.59 c #Conflicts: 2402000 | #Constraints: 54628
3376.00/3383.59 c #Conflicts: 2403000 | #Constraints: 55628
3376.00/3383.59 c #Conflicts: 2404000 | #Constraints: 56628
3376.00/3383.59 c #Conflicts: 2405000 | #Constraints: 57628
3376.00/3383.59 c #Conflicts: 2406000 | #Constraints: 58628
3376.00/3383.59 c #Conflicts: 2407000 | #Constraints: 59628
3376.00/3383.59 c #Conflicts: 2408000 | #Constraints: 60628
3376.00/3383.59 c #Conflicts: 2409000 | #Constraints: 61628
3376.00/3383.59 c INPROCESSING
3376.00/3383.59 c GARBAGE COLLECT
3376.00/3383.59 c #Conflicts: 2410000 | #Constraints: 31825
3376.00/3383.59 c #Conflicts: 2411000 | #Constraints: 32825
3376.00/3383.59 c #Conflicts: 2412000 | #Constraints: 33825
3376.00/3383.59 c #Conflicts: 2413000 | #Constraints: 34825
3376.00/3383.59 c #Conflicts: 2414000 | #Constraints: 35825
3376.00/3383.59 c #Conflicts: 2415000 | #Constraints: 36825
3376.00/3383.59 c #Conflicts: 2416000 | #Constraints: 37825
3376.00/3383.59 c #Conflicts: 2417000 | #Constraints: 38825
3376.00/3383.59 c #Conflicts: 2418000 | #Constraints: 39825
3376.00/3383.59 c #Conflicts: 2419000 | #Constraints: 40825
3376.00/3383.59 c #Conflicts: 2420000 | #Constraints: 41825
3376.00/3383.59 c #Conflicts: 2421000 | #Constraints: 42825
3376.00/3383.59 c #Conflicts: 2422000 | #Constraints: 43825
3376.00/3383.59 c #Conflicts: 2423000 | #Constraints: 44825
3376.00/3383.59 c #Conflicts: 2424000 | #Constraints: 45825
3376.00/3383.59 c #Conflicts: 2425000 | #Constraints: 46825
3376.00/3383.59 c #Conflicts: 2426000 | #Constraints: 47825
3376.00/3383.59 c #Conflicts: 2427000 | #Constraints: 48825
3376.00/3383.59 c #Conflicts: 2428000 | #Constraints: 49825
3376.00/3383.59 c #Conflicts: 2429000 | #Constraints: 50825
3376.00/3383.59 c #Conflicts: 2430000 | #Constraints: 51825
3376.00/3383.59 c #Conflicts: 2431000 | #Constraints: 52825
3376.00/3383.59 c #Conflicts: 2432000 | #Constraints: 53825
3376.00/3383.59 c #Conflicts: 2433000 | #Constraints: 54825
3376.00/3383.59 c #Conflicts: 2434000 | #Constraints: 55825
3376.00/3383.59 c #Conflicts: 2435000 | #Constraints: 56825
3376.00/3383.59 c #Conflicts: 2436000 | #Constraints: 57825
3376.00/3383.59 c #Conflicts: 2437000 | #Constraints: 58825
3376.00/3383.59 c #Conflicts: 2438000 | #Constraints: 59825
3376.00/3383.59 c #Conflicts: 2439000 | #Constraints: 60825
3376.00/3383.59 c #Conflicts: 2440000 | #Constraints: 61825
3376.00/3383.59 c INPROCESSING
3376.00/3383.59 c GARBAGE COLLECT
3376.00/3383.59 c #Conflicts: 2441000 | #Constraints: 31827
3376.00/3383.59 c #Conflicts: 2442000 | #Constraints: 32827
3376.00/3383.59 c #Conflicts: 2443000 | #Constraints: 33827
3376.00/3383.59 c #Conflicts: 2444000 | #Constraints: 34827
3376.00/3383.59 c #Conflicts: 2445000 | #Constraints: 35827
3376.00/3383.59 c #Conflicts: 2446000 | #Constraints: 36827
3376.00/3383.59 c #Conflicts: 2447000 | #Constraints: 37827
3376.00/3383.59 c #Conflicts: 2448000 | #Constraints: 38827
3376.00/3383.59 c #Conflicts: 2449000 | #Constraints: 39827
3376.00/3383.59 c #Conflicts: 2450000 | #Constraints: 40827
3376.00/3383.59 c #Conflicts: 2451000 | #Constraints: 41827
3376.00/3383.59 c #Conflicts: 2452000 | #Constraints: 42827
3376.00/3383.59 c #Conflicts: 2453000 | #Constraints: 43827
3376.00/3383.59 c #Conflicts: 2454000 | #Constraints: 44827
3376.00/3383.59 c #Conflicts: 2455000 | #Constraints: 45827
3376.00/3383.59 c #Conflicts: 2456000 | #Constraints: 46827
3376.00/3383.59 c #Conflicts: 2457000 | #Constraints: 47827
3376.00/3383.59 c #Conflicts: 2458000 | #Constraints: 48827
3376.00/3383.59 c #Conflicts: 2459000 | #Constraints: 49827
3376.00/3383.59 c #Conflicts: 2460000 | #Constraints: 50827
3376.00/3383.59 c #Conflicts: 2461000 | #Constraints: 51827
3376.00/3383.59 c #Conflicts: 2462000 | #Constraints: 52827
3376.00/3383.59 c #Conflicts: 2463000 | #Constraints: 53827
3376.00/3383.59 c #Conflicts: 2464000 | #Constraints: 54827
3533.55/3541.43 c #Conflicts: 2465000 | #Constraints: 55827
3533.55/3541.43 c #Conflicts: 2466000 | #Constraints: 56827
3533.55/3541.43 c #Conflicts: 2467000 | #Constraints: 57827
3533.55/3541.43 c #Conflicts: 2468000 | #Constraints: 58827
3533.55/3541.43 c #Conflicts: 2469000 | #Constraints: 59827
3533.55/3541.43 c #Conflicts: 2470000 | #Constraints: 60827
3533.55/3541.43 c #Conflicts: 2471000 | #Constraints: 61827
3533.55/3541.43 c INPROCESSING
3533.55/3541.43 c GARBAGE COLLECT
3533.55/3541.43 c #Conflicts: 2472000 | #Constraints: 31626
3533.55/3541.43 c #Conflicts: 2473000 | #Constraints: 32626
3533.55/3541.43 c #Conflicts: 2474000 | #Constraints: 33626
3533.55/3541.43 c #Conflicts: 2475000 | #Constraints: 34626
3533.55/3541.43 c #Conflicts: 2476000 | #Constraints: 35626
3533.55/3541.43 c #Conflicts: 2477000 | #Constraints: 36626
3533.55/3541.43 c #Conflicts: 2478000 | #Constraints: 37626
3533.55/3541.43 c #Conflicts: 2479000 | #Constraints: 38626
3533.55/3541.43 c #Conflicts: 2480000 | #Constraints: 39626
3533.55/3541.43 c #Conflicts: 2481000 | #Constraints: 40626
3533.55/3541.43 c #Conflicts: 2482000 | #Constraints: 41626
3533.55/3541.43 c #Conflicts: 2483000 | #Constraints: 42626
3533.55/3541.43 c #Conflicts: 2484000 | #Constraints: 43626
3533.55/3541.43 c #Conflicts: 2485000 | #Constraints: 44626
3533.55/3541.43 c #Conflicts: 2486000 | #Constraints: 45626
3533.55/3541.43 c #Conflicts: 2487000 | #Constraints: 46626
3533.55/3541.43 c #Conflicts: 2488000 | #Constraints: 47626
3533.55/3541.43 c #Conflicts: 2489000 | #Constraints: 48626
3533.55/3541.43 c #Conflicts: 2490000 | #Constraints: 49626
3533.55/3541.43 c #Conflicts: 2491000 | #Constraints: 50626
3533.55/3541.43 c #Conflicts: 2492000 | #Constraints: 51626
3533.55/3541.43 c #Conflicts: 2493000 | #Constraints: 52626
3533.55/3541.43 c #Conflicts: 2494000 | #Constraints: 53626
3533.55/3541.43 c #Conflicts: 2495000 | #Constraints: 54626
3533.55/3541.43 c #Conflicts: 2496000 | #Constraints: 55626
3533.55/3541.43 c #Conflicts: 2497000 | #Constraints: 56626
3533.55/3541.43 c #Conflicts: 2498000 | #Constraints: 57626
3533.55/3541.43 c #Conflicts: 2499000 | #Constraints: 58626
3533.55/3541.43 c #Conflicts: 2500000 | #Constraints: 59626
3533.55/3541.43 c #Conflicts: 2501000 | #Constraints: 60626
3533.55/3541.43 c #Conflicts: 2502000 | #Constraints: 61626
3533.55/3541.43 c #Conflicts: 2503000 | #Constraints: 62626
3533.55/3541.43 c INPROCESSING
3533.55/3541.43 c GARBAGE COLLECT
3533.55/3541.43 c #Conflicts: 2504000 | #Constraints: 32222
3533.55/3541.43 c #Conflicts: 2505000 | #Constraints: 33222
3533.55/3541.43 c #Conflicts: 2506000 | #Constraints: 34222
3533.55/3541.43 c #Conflicts: 2507000 | #Constraints: 35222
3533.55/3541.43 c #Conflicts: 2508000 | #Constraints: 36222
3533.55/3541.43 c #Conflicts: 2509000 | #Constraints: 37222
3533.55/3541.43 c #Conflicts: 2510000 | #Constraints: 38222
3533.55/3541.43 c #Conflicts: 2511000 | #Constraints: 39222
3533.55/3541.43 c #Conflicts: 2512000 | #Constraints: 40222
3533.55/3541.43 c #Conflicts: 2513000 | #Constraints: 41222
3533.55/3541.43 c #Conflicts: 2514000 | #Constraints: 42222
3533.55/3541.43 c #Conflicts: 2515000 | #Constraints: 43222
3533.55/3541.43 c #Conflicts: 2516000 | #Constraints: 44222
3533.55/3541.43 c #Conflicts: 2517000 | #Constraints: 45222
3533.55/3541.43 c #Conflicts: 2518000 | #Constraints: 46222
3533.55/3541.43 c #Conflicts: 2519000 | #Constraints: 47222
3533.55/3541.43 c #Conflicts: 2520000 | #Constraints: 48222
3533.55/3541.43 c #Conflicts: 2521000 | #Constraints: 49222
3533.55/3541.43 c #Conflicts: 2522000 | #Constraints: 50222
3533.55/3541.43 c #Conflicts: 2523000 | #Constraints: 51222
3533.55/3541.43 c #Conflicts: 2524000 | #Constraints: 52222
3533.55/3541.43 c #Conflicts: 2525000 | #Constraints: 53222
3533.55/3541.43 c #Conflicts: 2526000 | #Constraints: 54222
3533.55/3541.43 c #Conflicts: 2527000 | #Constraints: 55222
3533.55/3541.43 c #Conflicts: 2528000 | #Constraints: 56222
3533.55/3541.43 c #Conflicts: 2529000 | #Constraints: 57222
3533.55/3541.43 c #Conflicts: 2530000 | #Constraints: 58222
3533.55/3541.43 c #Conflicts: 2531000 | #Constraints: 59222
3533.55/3541.43 c #Conflicts: 2532000 | #Constraints: 60222
3533.55/3541.43 c #Conflicts: 2533000 | #Constraints: 61222
3533.55/3541.43 c #Conflicts: 2534000 | #Constraints: 62222
3533.55/3541.43 c #Conflicts: 2535000 | #Constraints: 63222
3533.55/3541.43 c INPROCESSING
3533.55/3541.43 c GARBAGE COLLECT
3533.55/3541.43 c #Conflicts: 2536000 | #Constraints: 32624
3533.55/3541.43 c #Conflicts: 2537000 | #Constraints: 33624
3533.55/3541.43 c #Conflicts: 2538000 | #Constraints: 34624
3533.55/3541.43 c #Conflicts: 2539000 | #Constraints: 35624
3533.55/3541.43 c #Conflicts: 2540000 | #Constraints: 36624
3533.55/3541.43 c #Conflicts: 2541000 | #Constraints: 37624
3600.01/3608.00 c #Conflicts: 2542000 | #Constraints: 38624
3600.01/3608.00 c #Conflicts: 2543000 | #Constraints: 39624
3600.01/3608.00 c #Conflicts: 2544000 | #Constraints: 40624
3600.01/3608.00 c #Conflicts: 2545000 | #Constraints: 41624
3600.01/3608.00 c #Conflicts: 2546000 | #Constraints: 42624
3600.01/3608.00 c #Conflicts: 2547000 | #Constraints: 43624
3600.01/3608.00 c #Conflicts: 2548000 | #Constraints: 44624
3600.01/3608.00 c #Conflicts: 2549000 | #Constraints: 45624
3600.01/3608.00 c #Conflicts: 2550000 | #Constraints: 46624
3600.01/3608.00 c #Conflicts: 2551000 | #Constraints: 47624
3600.01/3608.00 c #Conflicts: 2552000 | #Constraints: 48624
3600.01/3608.00 c #Conflicts: 2553000 | #Constraints: 49624
3600.01/3608.00 c #Conflicts: 2554000 | #Constraints: 50624
3600.01/3608.00 c #Conflicts: 2555000 | #Constraints: 51624
3600.01/3608.00 c #Conflicts: 2556000 | #Constraints: 52624
3600.01/3608.00 c #Conflicts: 2557000 | #Constraints: 53624
3600.01/3608.00 c #Conflicts: 2558000 | #Constraints: 54624
3600.01/3608.00 c #Conflicts: 2559000 | #Constraints: 55624
3600.01/3608.00 c #Conflicts: 2560000 | #Constraints: 56624
3600.01/3608.00 c #Conflicts: 2561000 | #Constraints: 57624
3600.01/3608.00 c #Conflicts: 2562000 | #Constraints: 58624
3600.01/3608.00 c #Conflicts: 2563000 | #Constraints: 59624
3600.01/3608.00 c #Conflicts: 2564000 | #Constraints: 60624
3600.01/3608.00 c #Conflicts: 2565000 | #Constraints: 61624
3600.01/3608.00 c #Conflicts: 2566000 | #Constraints: 62624
3600.01/3608.00 c #Conflicts: 2567000 | #Constraints: 63624
3600.01/3608.00 c INPROCESSING
3600.01/3608.00 c GARBAGE COLLECT
3600.01/3608.00 c #Conflicts: 2568000 | #Constraints: 32823
3600.01/3608.00 c #Conflicts: 2569000 | #Constraints: 33823
3600.01/3608.00 c #Conflicts: 2570000 | #Constraints: 34823
3600.01/3608.00 c #Conflicts: 2571000 | #Constraints: 35823
3600.01/3608.00 c #Conflicts: 2572000 | #Constraints: 36823
3600.01/3608.00 c Program interrupted by user.
3600.01/3608.00 c cpu time 3589.99 s
3600.01/3608.00 c deterministic time 595311854444 5.95e+11
3600.01/3608.00 c optimization time 10.5895 s
3600.01/3608.00 c total solve time 3579.4 s
3600.01/3608.00 c core-guided solve time 3579.4 s
3600.01/3608.00 c propagation time 3421.09 s
3600.01/3608.00 c conflict analysis time 154.028 s
3600.01/3608.00 c propagations 25762070
3600.01/3608.00 c resolve steps 12273415
3600.01/3608.00 c decisions 3796333
3600.01/3608.00 c conflicts 2572432
3600.01/3608.00 c restarts 4394
3600.01/3608.00 c inprocessing phases 151
3600.01/3608.00 c input clauses 0
3600.01/3608.00 c input cardinalities 0
3600.01/3608.00 c input general constraints 16
3600.01/3608.00 c input average constraint length 59.25
3600.01/3608.00 c input average constraint degree 1237.81
3600.01/3608.00 c learned clauses 1694747
3600.01/3608.00 c learned cardinalities 0
3600.01/3608.00 c learned general constraints 877684
3600.01/3608.00 c learned average constraint length 44.21
3600.01/3608.00 c learned average constraint degree 3811.54
3600.01/3608.00 c watched constraints 874543
3600.01/3608.00 c counting constraints 3157
3600.01/3608.00 c gcd simplifications 1450784
3600.01/3608.00 c detected cardinalities 0
3600.01/3608.00 c weakened non-implied lits 22206824
3600.01/3608.00 c weakened non-implying lits 3259628
3600.01/3608.00 c original variables 120
3600.01/3608.00 c clausal propagations 386817
3600.01/3608.00 c cardinality propagations 0
3600.01/3608.00 c watched propagations 14390639
3600.01/3608.00 c counting propagations 8796728
3600.01/3608.00 c watch lookups 44619132505
3600.01/3608.00 c watch backjump lookups 20943837314
3600.01/3608.00 c watch checks 456634067848
3600.01/3608.00 c propagation checks 72317095525
3600.01/3608.00 c constraint additions 736032133
3600.01/3608.00 c trail pops 32130715
3600.01/3608.00 c formula constraints 10
3600.01/3608.00 c learned constraints 2572431
3600.01/3608.00 c bound constraints 6
3600.01/3608.00 c core-guided constraints 0
3600.01/3608.00 c encountered formula constraints 4754406
3600.01/3608.00 c encountered learned constraints 10091441
3600.01/3608.00 c encountered bound constraints 0
3600.01/3608.00 c encountered core-guided constraints 0
3600.01/3608.00 c LP total time 0 s
3600.01/3608.00 c LP solve time 0 s
3600.01/3608.00 c LP constraints added 0
3600.01/3608.00 c LP constraints removed 0
3600.01/3608.00 c LP pivots internal 0
3600.01/3608.00 c LP pivots root 0
3600.01/3608.00 c LP calls 0
3600.01/3608.00 c LP optimalities 0
3600.01/3608.00 c LP no pivot count 0
3600.01/3608.00 c LP infeasibilities 0
3600.01/3608.00 c LP valid Farkas constraints 0
3600.01/3608.00 c LP learned Farkas constraints 0
3600.01/3608.00 c LP basis resets 0
3600.01/3608.00 c LP cycling count 0
3600.01/3608.00 c LP singular count 0
3600.01/3608.00 c LP no primal count 0
3600.01/3608.00 c LP no farkas count 0
3600.01/3608.00 c LP other issue count 0
3600.01/3608.00 c LP Gomory cuts 0
3600.01/3608.00 c LP learned cuts 0
3600.01/3608.00 c LP deleted cuts 0
3600.01/3608.00 c LP encountered Gomory constraints 0
3600.01/3608.00 c LP encountered Farkas constraints 0
3600.01/3608.00 c LP encountered learned Farkas constraints 0
3600.01/3608.00 c CG auxiliary variables introduced 0
3600.01/3608.00 c CG solutions found 6
3600.01/3608.00 c CG cores constructed 0
3600.01/3608.00 c CG core cardinality constraints returned 0
3600.01/3608.00 c CG unit cores 0
3600.01/3608.00 c CG single cores 0
3600.01/3608.00 c CG blocks removed during cardinality reduction 0
3600.01/3608.00 c CG first core best 0
3600.01/3608.00 c CG decision core best 0
3600.01/3608.00 c CG core reduction tie 0
3600.01/3608.00 c CG core degree average 0.00
3600.01/3608.00 c CG core slack average 0.00
3600.01/3608.00 c CG exhausted 0
3600.01/3608.00 c CG exhaust time 0 s
3600.01/3608.00 c CG trimmed 0
3600.01/3608.00 c CG trim time 0 s
3600.01/3608.00 c CG minimized 0
3600.01/3608.00 c CG minimize time 0 s
3600.01/3608.00 c CG am1 prop time 0.000208 s
3600.01/3608.00 c CG # am1s reformulated 0
3600.01/3608.00 c CG lower bound derived from am1s 0
3600.01/3608.00 c CG # clausal cores 0
3600.01/3608.00 c CG # cardinality cores 0
3600.01/3608.00 c CG # pb cores 0
3600.01/3608.00 c CG # pb reforms 0
3600.01/3608.00 c CG # cores discarded because of pb reform 0
3600.01/3608.00 d LOWERBOUND 0
3600.01/3608.00 d NCORES 0
3600.01/3608.00 d NPBCORES 0
3600.01/3608.00 d NPBREFORM 0
3600.01/3608.00 d NTRIMMED 0
3600.01/3608.00 d NEXHAUSTED 0
3600.01/3608.00 d NAM1S 0
3600.01/3608.00 d AM1LB 0
3600.01/3608.00 o 6
3600.01/3608.00 s SATISFIABLE
3600.01/3608.00 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: 63931 MiB (61183 MiB free)
memory of node 1: 64510 MiB (61637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454345-1721470955/watcher-4454345-1721470955 -o /tmp/evaluation-result-4454345-1721470955/solver-4454345-1721470955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064621 --watchdog 3760 pb-oll-rs HOME/instance-4454345-1721470955.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
Starting watchdog thread
solver pid=1064672, runsolver pid=1064664
Current StackSize limit: 8192 KiB
[startup+0.100102 s]*
/proc/loadavg: 1.13 1.25 2.10 6/260 1064684
/proc/meminfo: memFree=125762720/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=39052 memory=6616 CPUtime=0.09 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 472 0 0 0 9 0 0 0 20 0 1 0 199254689 39989248 1654 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 9763 1654 1382 291 0 1297 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39052 KiB
Current children cumulated memory: 6616 KiB
[startup+0.206799 s]*
/proc/loadavg: 1.13 1.25 2.10 9/260 1064684
/proc/meminfo: memFree=125760776/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=39160 memory=6888 CPUtime=0.2 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 519 0 0 0 20 0 0 0 20 0 1 0 199254689 40099840 1722 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 9790 1722 1382 291 0 1324 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39160 KiB
Current children cumulated memory: 6888 KiB
[startup+0.305641 s]*
/proc/loadavg: 1.13 1.25 2.10 8/260 1064684
/proc/meminfo: memFree=125758052/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=39304 memory=7388 CPUtime=0.3 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 628 0 0 0 29 1 0 0 20 0 1 0 199254689 40247296 1847 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 9826 1847 1446 291 0 1360 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 39304 KiB
Current children cumulated memory: 7388 KiB
[startup+0.700156 s]
/proc/loadavg: 1.13 1.25 2.10 6/260 1064684
/proc/meminfo: memFree=125753692/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=39540 memory=8072 CPUtime=0.69 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 733 0 0 0 67 2 0 0 20 0 1 0 199254689 40488960 2018 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 9885 2018 1446 291 0 1419 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 39540 KiB
Current children cumulated memory: 8072 KiB
[startup+1.50016 s]
/proc/loadavg: 1.13 1.25 2.10 6/260 1064684
/proc/meminfo: memFree=125747132/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=39860 memory=8716 CPUtime=1.48 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 894 0 0 0 144 4 0 0 20 0 1 0 199254689 40816640 2179 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 9965 2179 1446 291 0 1499 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 39860 KiB
Current children cumulated memory: 8716 KiB
[startup+3.10599 s]
/proc/loadavg: 1.36 1.29 2.11 6/260 1064684
/proc/meminfo: memFree=125741688/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=40268 memory=11392 CPUtime=3.09 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 1052 0 0 0 302 7 0 0 20 0 1 0 199254689 41234432 2848 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 10067 2848 1446 291 0 1601 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 40268 KiB
Current children cumulated memory: 11392 KiB
[startup+6.30015 s]
/proc/loadavg: 1.36 1.29 2.11 6/260 1064684
/proc/meminfo: memFree=125739908/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=40364 memory=11500 CPUtime=6.28 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 1094 0 0 0 615 13 0 0 20 0 1 0 199254689 41332736 2875 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 10091 2875 1446 291 0 1625 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 40364 KiB
Current children cumulated memory: 11500 KiB
[startup+12.7002 s]
/proc/loadavg: 1.76 1.38 2.13 6/260 1064686
/proc/meminfo: memFree=125736288/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=41084 memory=12112 CPUtime=12.65 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 1235 0 0 0 1245 20 0 0 20 0 1 0 199254689 42070016 3028 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 10271 3028 1446 291 0 1805 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 41084 KiB
Current children cumulated memory: 12112 KiB
[startup+25.5002 s]
/proc/loadavg: 2.11 1.47 2.15 6/260 1064687
/proc/meminfo: memFree=125728276/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=41740 memory=12804 CPUtime=25.43 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 1449 0 0 0 2510 33 0 0 20 0 1 0 199254689 42741760 3201 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 10435 3201 1446 291 0 1969 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 41740 KiB
Current children cumulated memory: 12804 KiB
[startup+51.1063 s]
/proc/loadavg: 2.81 1.69 2.21 6/260 1064692
/proc/meminfo: memFree=125714908/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=42092 memory=13720 CPUtime=50.96 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 1686 0 0 0 5047 49 0 0 20 0 1 0 199254689 43102208 3430 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 10523 3430 1446 291 0 2057 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 42092 KiB
Current children cumulated memory: 13720 KiB
[startup+102.3 s]
/proc/loadavg: 3.65 2.11 2.33 6/260 1064703
/proc/meminfo: memFree=125700792/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=46604 memory=17728 CPUtime=102.05 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 2238 0 0 0 10128 77 0 0 20 0 1 0 199254689 47722496 4432 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 11651 4432 1446 291 0 3185 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 46604 KiB
Current children cumulated memory: 17728 KiB
[startup+162.3 s]
/proc/loadavg: 3.99 2.49 2.44 6/260 1064713
/proc/meminfo: memFree=125688716/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=47304 memory=18416 CPUtime=161.93 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 2594 0 0 0 16086 107 0 0 20 0 1 0 199254689 48439296 4604 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 11826 4604 1446 291 0 3360 0
Current children cumulated CPU time: 161.93 s
Current children cumulated vsize: 47304 KiB
Current children cumulated memory: 18416 KiB
[startup+222.3 s]
/proc/loadavg: 4.05 2.78 2.55 6/259 1065108
/proc/meminfo: memFree=125682084/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=47636 memory=18992 CPUtime=221.79 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 2911 0 0 0 22043 136 0 0 20 0 1 0 199254689 48779264 4748 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 11909 4748 1446 291 0 3443 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 47636 KiB
Current children cumulated memory: 18992 KiB
[startup+282.3 s]
/proc/loadavg: 4.06 3.02 2.65 6/259 1065118
/proc/meminfo: memFree=125675784/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=52320 memory=20040 CPUtime=281.66 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 3322 0 0 0 28003 163 0 0 20 0 1 0 199254689 53575680 5010 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 13080 5010 1446 291 0 4614 0
Current children cumulated CPU time: 281.66 s
Current children cumulated vsize: 52320 KiB
Current children cumulated memory: 20040 KiB
[startup+342.3 s]
/proc/loadavg: 4.28 3.27 2.76 6/257 1065128
/proc/meminfo: memFree=125663692/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=53400 memory=23264 CPUtime=341.52 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 3727 0 0 0 33965 187 0 0 20 0 1 0 199254689 54681600 5816 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 13350 5816 1446 291 0 4884 0
Current children cumulated CPU time: 341.52 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 23264 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 3.42 2.84 6/259 1065310
/proc/meminfo: memFree=125658132/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=53400 memory=23520 CPUtime=401.4 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 3767 0 0 0 39930 210 0 0 20 0 1 0 199254689 54681600 5880 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 13350 5880 1446 291 0 4884 0
Current children cumulated CPU time: 401.4 s
Current children cumulated vsize: 53400 KiB
Current children cumulated memory: 23520 KiB
[startup+462.3 s]
/proc/loadavg: 4.20 3.57 2.93 6/259 1065321
/proc/meminfo: memFree=125651128/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=53624 memory=23788 CPUtime=461.27 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 3870 0 0 0 45893 234 0 0 20 0 1 0 199254689 54910976 5947 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 13406 5947 1446 291 0 4940 0
################
# More data... #
################
Current children cumulated memory: 35184 KiB
[startup+2862.3 s]
/proc/loadavg: 4.09 4.21 4.15 6/255 1066387
/proc/meminfo: memFree=125654000/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=67236 memory=35476 CPUtime=2855.99 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 12901 0 0 0 284748 851 0 0 20 0 1 0 199254689 68849664 8869 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 16809 8869 1446 291 0 8343 0
Current children cumulated CPU time: 2855.99 s
Current children cumulated vsize: 67236 KiB
Current children cumulated memory: 35476 KiB
[startup+2922.3 s]
/proc/loadavg: 4.14 4.20 4.15 6/257 1066402
/proc/meminfo: memFree=125650604/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=68260 memory=37960 CPUtime=2915.86 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 13135 0 0 0 290724 862 0 0 20 0 1 0 199254689 69898240 9490 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17065 9490 1446 291 0 8599 0
Current children cumulated CPU time: 2915.86 s
Current children cumulated vsize: 68260 KiB
Current children cumulated memory: 37960 KiB
[startup+2982.3 s]
/proc/loadavg: 4.14 4.19 4.15 6/257 1066412
/proc/meminfo: memFree=125648428/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=68772 memory=38436 CPUtime=2975.7 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 13372 0 0 0 296696 874 0 0 20 0 1 0 199254689 70422528 9609 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17193 9609 1446 291 0 8727 0
Current children cumulated CPU time: 2975.7 s
Current children cumulated vsize: 68772 KiB
Current children cumulated memory: 38436 KiB
[startup+3042.3 s]
/proc/loadavg: 4.18 4.19 4.15 6/257 1066423
/proc/meminfo: memFree=125644232/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=69028 memory=40092 CPUtime=3035.55 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 13545 0 0 0 302669 886 0 0 20 0 1 0 199254689 70684672 10023 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17257 10023 1446 291 0 8791 0
Current children cumulated CPU time: 3035.55 s
Current children cumulated vsize: 69028 KiB
Current children cumulated memory: 40092 KiB
[startup+3102.3 s]
/proc/loadavg: 4.13 4.17 4.14 6/257 1066435
/proc/meminfo: memFree=125643708/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=69028 memory=40096 CPUtime=3095.42 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 13670 0 0 0 308645 897 0 0 20 0 1 0 199254689 70684672 10024 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17257 10024 1446 291 0 8791 0
Current children cumulated CPU time: 3095.42 s
Current children cumulated vsize: 69028 KiB
Current children cumulated memory: 40096 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.15 4.14 6/258 1066446
/proc/meminfo: memFree=125642524/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=69540 memory=40396 CPUtime=3155.29 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 13869 0 0 0 314618 911 0 0 20 0 1 0 199254689 71208960 10099 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17385 10099 1446 291 0 8919 0
Current children cumulated CPU time: 3155.29 s
Current children cumulated vsize: 69540 KiB
Current children cumulated memory: 40396 KiB
[startup+3222.3 s]
/proc/loadavg: 4.15 4.15 4.14 6/256 1066456
/proc/meminfo: memFree=125638016/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=69540 memory=40396 CPUtime=3215.15 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 13993 0 0 0 320593 922 0 0 20 0 1 0 199254689 71208960 10099 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17385 10099 1446 291 0 8919 0
Current children cumulated CPU time: 3215.15 s
Current children cumulated vsize: 69540 KiB
Current children cumulated memory: 40396 KiB
[startup+3282.3 s]
/proc/loadavg: 4.11 4.14 4.13 6/256 1066466
/proc/meminfo: memFree=125636524/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=69796 memory=40560 CPUtime=3275.02 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 14159 0 0 0 326569 933 0 0 20 0 1 0 199254689 71471104 10140 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17449 10140 1446 291 0 8983 0
Current children cumulated CPU time: 3275.02 s
Current children cumulated vsize: 69796 KiB
Current children cumulated memory: 40560 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.12 4.13 6/256 1066477
/proc/meminfo: memFree=125633456/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=70052 memory=40732 CPUtime=3334.89 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 14330 0 0 0 332545 944 0 0 20 0 1 0 199254689 71733248 10183 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17513 10183 1446 291 0 9047 0
Current children cumulated CPU time: 3334.89 s
Current children cumulated vsize: 70052 KiB
Current children cumulated memory: 40732 KiB
[startup+3402.3 s]
/proc/loadavg: 4.20 4.16 4.14 6/256 1066488
/proc/meminfo: memFree=125631536/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=70892 memory=41196 CPUtime=3394.76 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 14464 0 0 0 338518 958 0 0 20 0 1 0 199254689 72593408 10299 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17723 10299 1446 291 0 9257 0
Current children cumulated CPU time: 3394.76 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 41196 KiB
[startup+3462.3 s]
/proc/loadavg: 4.13 4.14 4.13 6/255 1066498
/proc/meminfo: memFree=125630824/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=70892 memory=41196 CPUtime=3454.62 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 14479 0 0 0 344492 970 0 0 20 0 1 0 199254689 72593408 10299 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17723 10299 1446 291 0 9257 0
Current children cumulated CPU time: 3454.62 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 41196 KiB
[startup+3522.3 s]
/proc/loadavg: 4.15 4.14 4.13 6/257 1066513
/proc/meminfo: memFree=125629920/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=70892 memory=41196 CPUtime=3514.48 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 14494 0 0 0 350465 983 0 0 20 0 1 0 199254689 72593408 10299 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17723 10299 1446 291 0 9257 0
Current children cumulated CPU time: 3514.48 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 41196 KiB
[startup+3582.3 s]
/proc/loadavg: 4.11 4.13 4.12 6/257 1066523
/proc/meminfo: memFree=125623924/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=70892 memory=41196 CPUtime=3574.35 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 14509 0 0 0 356440 995 0 0 20 0 1 0 199254689 72593408 10299 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17723 10299 1446 291 0 9257 0
Current children cumulated CPU time: 3574.35 s
Current children cumulated vsize: 70892 KiB
Current children cumulated memory: 41196 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3608 s]*
/proc/loadavg: 4.14 4.14 4.12 6/257 1066529
/proc/meminfo: memFree=125623708/131524600 swapFree=130799640/131071996
[pid=1064672] ppid=1064664 vsize=70564 memory=41016 CPUtime=3600.01 cores=1,3
/proc/1064672/stat : 1064672 (pb-oll-rs) R 1064664 1064672 1064609 0 -1 4194304 14573 0 0 0 358999 1002 0 0 20 0 1 0 199254689 72257536 10254 134679101440 4194304 5384485 140732743793952 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 24113152 140732743799829 140732743799906 140732743799906 140732743806923 0
/proc/1064672/statm: 17641 10254 1446 291 0 9175 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 70564 KiB
Current children cumulated memory: 41016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3608.01 s]
# the end of solver process 1064672 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3589.99 s, system=10.0217 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3608.01
CPU time (s): 3600.01
CPU user time (s): 3589.99
CPU system time (s): 10.0217
CPU usage (%): 99.7784
Max. virtual memory (cumulated for all children) (KiB): 70892
Max. memory (cumulated for all children) (KiB): 41196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.99
system time used= 10.0217
maximum resident set size= 41280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14590
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= 18
involuntary context switches= 1709
# summary of solver processes directly reported to runsolver:
# pid: 1064672
# total CPU time (s): 3600.01
# total CPU user time (s): 3589.99
# total CPU system time (s): 10.0217
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.63736 second user time and 22.0474 second system time
The end
Begin job on nodeC014 at 2024-07-20 12:22:48
IDJOB=4454345
IDBENCH=147580
IDSOLVER=3082
FILE ID=nodeC014/4454345-1721470955
RUNJOBID= nodeC014-1721470968-1064621
SLURM_JOB_ID= 7545736
Free space on /tmp= 890036 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
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-4454345-1721470955/watcher-4454345-1721470955 -o /tmp/evaluation-result-4454345-1721470955/solver-4454345-1721470955 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721470968-1064621 --watchdog 3760 pb-oll-rs HOME/instance-4454345-1721470955.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 31fd86554dd2fe3e1cfc98032a9196a9
RANDOM SEED=1703260688
nodeC014.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 : 0xb00002a
cpu MHz : 3552.818
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3577.736
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3367.128
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3387.580
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3527.618
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3545.576
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3436.614
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.32
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3404.831
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 125770584 kB
MemAvailable: 129980904 kB
Buffers: 518416 kB
Cached: 4486976 kB
SwapCached: 12808 kB
Active: 1549092 kB
Inactive: 3578120 kB
Active(anon): 9064 kB
Inactive(anon): 142484 kB
Active(file): 1540028 kB
Inactive(file): 3435636 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 130799640 kB
Dirty: 7932 kB
Writeback: 0 kB
AnonPages: 113276 kB
Mapped: 51064 kB
Shmem: 29720 kB
KReclaimable: 148608 kB
Slab: 251644 kB
SReclaimable: 148608 kB
SUnreclaim: 103036 kB
KernelStack: 3888 kB
PageTables: 9748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 742308 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 37056 kB
HardwareCorrupted: 0 kB
AnonHugePages: 36864 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: 303828 kB
DirectMap2M: 38266880 kB
DirectMap1G: 97517568 kB
Free space on /tmp at the end= 890028 MiB
End job on nodeC014 at 2024-07-20 13:22:56