0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 94 #constraints 8
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.000906
0.00/0.01 c stratification level: 64
0.00/0.02 c bounds 136 >= 0 @ 0.011662
0.00/0.02 c stratification level: 32
0.00/0.02 c bounds 105 >= 0 @ 0.011838
0.00/0.02 c stratification level: 16
0.00/0.03 c bounds 40 >= 0 @ 0.018897
0.00/0.03 c stratification level: 8
0.00/0.09 c bounds 31 >= 0 @ 0.07468
0.00/0.09 c stratification level: 4
1.09/1.17 c #Conflicts: 1000 | #Constraints: 1011
1.09/1.17 c #Conflicts: 2000 | #Constraints: 2011
1.09/1.17 c INPROCESSING
1.09/1.17 c GARBAGE COLLECT
1.09/1.17 c #Conflicts: 3000 | #Constraints: 2012
1.09/1.17 c #Conflicts: 4000 | #Constraints: 3012
1.09/1.17 c INPROCESSING
1.09/1.17 c GARBAGE COLLECT
1.09/1.17 c #Conflicts: 5000 | #Constraints: 2414
1.09/1.17 c #Conflicts: 6000 | #Constraints: 3414
1.09/1.17 c INPROCESSING
1.09/1.17 c GARBAGE COLLECT
1.09/1.17 c #Conflicts: 7000 | #Constraints: 2419
1.09/1.17 c bounds 10 >= 0 @ 1.12045
1.09/1.17 c stratification level: 2
1.57/1.64 c #Conflicts: 8000 | #Constraints: 3420
1.57/1.64 c #Conflicts: 9000 | #Constraints: 4420
1.57/1.64 c INPROCESSING
1.57/1.64 c GARBAGE COLLECT
1.57/1.64 c bounds 4 >= 0 @ 1.5804
1.57/1.64 c stratification level: 1
24.03/24.15 c #Conflicts: 10000 | #Constraints: 3118
24.03/24.15 c #Conflicts: 11000 | #Constraints: 4118
24.03/24.15 c #Conflicts: 12000 | #Constraints: 5118
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 13000 | #Constraints: 3567
24.03/24.15 c #Conflicts: 14000 | #Constraints: 4567
24.03/24.15 c #Conflicts: 15000 | #Constraints: 5567
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 16000 | #Constraints: 3793
24.03/24.15 c #Conflicts: 17000 | #Constraints: 4793
24.03/24.15 c #Conflicts: 18000 | #Constraints: 5793
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 19000 | #Constraints: 3807
24.03/24.15 c #Conflicts: 20000 | #Constraints: 4807
24.03/24.15 c #Conflicts: 21000 | #Constraints: 5807
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 22000 | #Constraints: 3614
24.03/24.15 c #Conflicts: 23000 | #Constraints: 4614
24.03/24.15 c #Conflicts: 24000 | #Constraints: 5614
24.03/24.15 c #Conflicts: 25000 | #Constraints: 6614
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 26000 | #Constraints: 4216
24.03/24.15 c #Conflicts: 27000 | #Constraints: 5216
24.03/24.15 c #Conflicts: 28000 | #Constraints: 6216
24.03/24.15 c #Conflicts: 29000 | #Constraints: 7216
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 30000 | #Constraints: 4617
24.03/24.15 c #Conflicts: 31000 | #Constraints: 5617
24.03/24.15 c #Conflicts: 32000 | #Constraints: 6617
24.03/24.15 c #Conflicts: 33000 | #Constraints: 7617
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 34000 | #Constraints: 4816
24.03/24.15 c #Conflicts: 35000 | #Constraints: 5816
24.03/24.15 c #Conflicts: 36000 | #Constraints: 6816
24.03/24.15 c #Conflicts: 37000 | #Constraints: 7816
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 38000 | #Constraints: 4817
24.03/24.15 c #Conflicts: 39000 | #Constraints: 5817
24.03/24.15 c #Conflicts: 40000 | #Constraints: 6817
24.03/24.15 c #Conflicts: 41000 | #Constraints: 7817
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 42000 | #Constraints: 4620
24.03/24.15 c #Conflicts: 43000 | #Constraints: 5620
24.03/24.15 c #Conflicts: 44000 | #Constraints: 6620
24.03/24.15 c #Conflicts: 45000 | #Constraints: 7620
24.03/24.15 c #Conflicts: 46000 | #Constraints: 8620
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 47000 | #Constraints: 5221
24.03/24.15 c #Conflicts: 48000 | #Constraints: 6221
24.03/24.15 c #Conflicts: 49000 | #Constraints: 7221
24.03/24.15 c #Conflicts: 50000 | #Constraints: 8221
24.03/24.15 c #Conflicts: 51000 | #Constraints: 9221
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 52000 | #Constraints: 5620
24.03/24.15 c #Conflicts: 53000 | #Constraints: 6620
24.03/24.15 c #Conflicts: 54000 | #Constraints: 7620
24.03/24.15 c #Conflicts: 55000 | #Constraints: 8620
24.03/24.15 c #Conflicts: 56000 | #Constraints: 9620
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 57000 | #Constraints: 5821
24.03/24.15 c #Conflicts: 58000 | #Constraints: 6821
24.03/24.15 c #Conflicts: 59000 | #Constraints: 7821
24.03/24.15 c #Conflicts: 60000 | #Constraints: 8821
24.03/24.15 c #Conflicts: 61000 | #Constraints: 9821
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 62000 | #Constraints: 5821
24.03/24.15 c #Conflicts: 63000 | #Constraints: 6821
24.03/24.15 c #Conflicts: 64000 | #Constraints: 7821
24.03/24.15 c #Conflicts: 65000 | #Constraints: 8821
24.03/24.15 c #Conflicts: 66000 | #Constraints: 9821
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 67000 | #Constraints: 5620
24.03/24.15 c #Conflicts: 68000 | #Constraints: 6620
24.03/24.15 c #Conflicts: 69000 | #Constraints: 7620
24.03/24.15 c #Conflicts: 70000 | #Constraints: 8620
24.03/24.15 c #Conflicts: 71000 | #Constraints: 9620
24.03/24.15 c #Conflicts: 72000 | #Constraints: 10620
24.03/24.15 c INPROCESSING
24.03/24.15 c GARBAGE COLLECT
24.03/24.15 c #Conflicts: 73000 | #Constraints: 6219
24.03/24.15 c #Conflicts: 74000 | #Constraints: 7219
24.03/24.15 c #Conflicts: 75000 | #Constraints: 8219
24.03/24.15 c #Conflicts: 76000 | #Constraints: 9219
24.03/24.15 c #Conflicts: 77000 | #Constraints: 10219
24.03/24.15 c #Conflicts: 78000 | #Constraints: 11219
24.03/24.15 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 79000 | #Constraints: 6621
65.53/65.72 c #Conflicts: 80000 | #Constraints: 7621
65.53/65.72 c #Conflicts: 81000 | #Constraints: 8621
65.53/65.72 c #Conflicts: 82000 | #Constraints: 9621
65.53/65.72 c #Conflicts: 83000 | #Constraints: 10621
65.53/65.72 c #Conflicts: 84000 | #Constraints: 11621
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 85000 | #Constraints: 6821
65.53/65.72 c #Conflicts: 86000 | #Constraints: 7821
65.53/65.72 c #Conflicts: 87000 | #Constraints: 8821
65.53/65.72 c #Conflicts: 88000 | #Constraints: 9821
65.53/65.72 c #Conflicts: 89000 | #Constraints: 10821
65.53/65.72 c #Conflicts: 90000 | #Constraints: 11821
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 91000 | #Constraints: 6822
65.53/65.72 c #Conflicts: 92000 | #Constraints: 7822
65.53/65.72 c #Conflicts: 93000 | #Constraints: 8822
65.53/65.72 c #Conflicts: 94000 | #Constraints: 9822
65.53/65.72 c #Conflicts: 95000 | #Constraints: 10822
65.53/65.72 c #Conflicts: 96000 | #Constraints: 11822
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 97000 | #Constraints: 6621
65.53/65.72 c #Conflicts: 98000 | #Constraints: 7621
65.53/65.72 c #Conflicts: 99000 | #Constraints: 8621
65.53/65.72 c #Conflicts: 100000 | #Constraints: 9621
65.53/65.72 c #Conflicts: 101000 | #Constraints: 10621
65.53/65.72 c #Conflicts: 102000 | #Constraints: 11621
65.53/65.72 c #Conflicts: 103000 | #Constraints: 12621
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 104000 | #Constraints: 7221
65.53/65.72 c #Conflicts: 105000 | #Constraints: 8221
65.53/65.72 c #Conflicts: 106000 | #Constraints: 9221
65.53/65.72 c #Conflicts: 107000 | #Constraints: 10221
65.53/65.72 c #Conflicts: 108000 | #Constraints: 11221
65.53/65.72 c #Conflicts: 109000 | #Constraints: 12221
65.53/65.72 c #Conflicts: 110000 | #Constraints: 13221
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 111000 | #Constraints: 7622
65.53/65.72 c #Conflicts: 112000 | #Constraints: 8622
65.53/65.72 c #Conflicts: 113000 | #Constraints: 9622
65.53/65.72 c #Conflicts: 114000 | #Constraints: 10622
65.53/65.72 c #Conflicts: 115000 | #Constraints: 11622
65.53/65.72 c #Conflicts: 116000 | #Constraints: 12622
65.53/65.72 c #Conflicts: 117000 | #Constraints: 13622
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 118000 | #Constraints: 7822
65.53/65.72 c #Conflicts: 119000 | #Constraints: 8822
65.53/65.72 c #Conflicts: 120000 | #Constraints: 9822
65.53/65.72 c #Conflicts: 121000 | #Constraints: 10822
65.53/65.72 c #Conflicts: 122000 | #Constraints: 11822
65.53/65.72 c #Conflicts: 123000 | #Constraints: 12822
65.53/65.72 c #Conflicts: 124000 | #Constraints: 13822
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 125000 | #Constraints: 7821
65.53/65.72 c #Conflicts: 126000 | #Constraints: 8821
65.53/65.72 c #Conflicts: 127000 | #Constraints: 9821
65.53/65.72 c #Conflicts: 128000 | #Constraints: 10821
65.53/65.72 c #Conflicts: 129000 | #Constraints: 11821
65.53/65.72 c #Conflicts: 130000 | #Constraints: 12821
65.53/65.72 c #Conflicts: 131000 | #Constraints: 13821
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 132000 | #Constraints: 7622
65.53/65.72 c #Conflicts: 133000 | #Constraints: 8622
65.53/65.72 c #Conflicts: 134000 | #Constraints: 9622
65.53/65.72 c #Conflicts: 135000 | #Constraints: 10622
65.53/65.72 c #Conflicts: 136000 | #Constraints: 11622
65.53/65.72 c #Conflicts: 137000 | #Constraints: 12622
65.53/65.72 c #Conflicts: 138000 | #Constraints: 13622
65.53/65.72 c #Conflicts: 139000 | #Constraints: 14622
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 140000 | #Constraints: 8222
65.53/65.72 c #Conflicts: 141000 | #Constraints: 9222
65.53/65.72 c #Conflicts: 142000 | #Constraints: 10222
65.53/65.72 c #Conflicts: 143000 | #Constraints: 11222
65.53/65.72 c #Conflicts: 144000 | #Constraints: 12222
65.53/65.72 c #Conflicts: 145000 | #Constraints: 13222
65.53/65.72 c #Conflicts: 146000 | #Constraints: 14222
65.53/65.72 c #Conflicts: 147000 | #Constraints: 15222
65.53/65.72 c INPROCESSING
65.53/65.72 c GARBAGE COLLECT
65.53/65.72 c #Conflicts: 148000 | #Constraints: 8623
65.53/65.72 c #Conflicts: 149000 | #Constraints: 9623
65.53/65.72 c #Conflicts: 150000 | #Constraints: 10623
65.53/65.72 c #Conflicts: 151000 | #Constraints: 11623
119.29/119.69 c #Conflicts: 152000 | #Constraints: 12623
119.29/119.69 c #Conflicts: 153000 | #Constraints: 13623
119.29/119.69 c #Conflicts: 154000 | #Constraints: 14623
119.29/119.69 c #Conflicts: 155000 | #Constraints: 15623
119.29/119.69 c INPROCESSING
119.29/119.69 c GARBAGE COLLECT
119.29/119.69 c #Conflicts: 156000 | #Constraints: 8821
119.29/119.69 c #Conflicts: 157000 | #Constraints: 9821
119.29/119.69 c #Conflicts: 158000 | #Constraints: 10821
119.29/119.69 c #Conflicts: 159000 | #Constraints: 11821
119.29/119.69 c #Conflicts: 160000 | #Constraints: 12821
119.29/119.69 c #Conflicts: 161000 | #Constraints: 13821
119.29/119.69 c #Conflicts: 162000 | #Constraints: 14821
119.29/119.69 c #Conflicts: 163000 | #Constraints: 15821
119.29/119.69 c INPROCESSING
119.29/119.69 c GARBAGE COLLECT
119.29/119.69 c #Conflicts: 164000 | #Constraints: 8821
119.29/119.69 c #Conflicts: 165000 | #Constraints: 9821
119.29/119.69 c #Conflicts: 166000 | #Constraints: 10821
119.29/119.69 c #Conflicts: 167000 | #Constraints: 11821
119.29/119.69 c #Conflicts: 168000 | #Constraints: 12821
119.29/119.69 c #Conflicts: 169000 | #Constraints: 13821
119.29/119.69 c #Conflicts: 170000 | #Constraints: 14821
119.29/119.69 c #Conflicts: 171000 | #Constraints: 15821
119.29/119.69 c INPROCESSING
119.29/119.69 c GARBAGE COLLECT
119.29/119.69 c #Conflicts: 172000 | #Constraints: 8618
119.29/119.69 c #Conflicts: 173000 | #Constraints: 9618
119.29/119.69 c #Conflicts: 174000 | #Constraints: 10618
119.29/119.69 c #Conflicts: 175000 | #Constraints: 11618
119.29/119.69 c #Conflicts: 176000 | #Constraints: 12618
119.29/119.69 c #Conflicts: 177000 | #Constraints: 13618
119.29/119.69 c #Conflicts: 178000 | #Constraints: 14618
119.29/119.69 c #Conflicts: 179000 | #Constraints: 15618
119.29/119.69 c #Conflicts: 180000 | #Constraints: 16618
119.29/119.69 c INPROCESSING
119.29/119.69 c GARBAGE COLLECT
119.29/119.69 c #Conflicts: 181000 | #Constraints: 9217
119.29/119.69 c #Conflicts: 182000 | #Constraints: 10217
119.29/119.69 c #Conflicts: 183000 | #Constraints: 11217
119.29/119.69 c #Conflicts: 184000 | #Constraints: 12217
119.29/119.69 c #Conflicts: 185000 | #Constraints: 13217
119.29/119.69 c #Conflicts: 186000 | #Constraints: 14217
119.29/119.69 c #Conflicts: 187000 | #Constraints: 15217
119.29/119.69 c #Conflicts: 188000 | #Constraints: 16217
119.29/119.69 c #Conflicts: 189000 | #Constraints: 17217
119.29/119.69 c INPROCESSING
119.29/119.69 c GARBAGE COLLECT
119.29/119.69 c #Conflicts: 190000 | #Constraints: 9620
119.29/119.69 c #Conflicts: 191000 | #Constraints: 10620
119.29/119.69 c #Conflicts: 192000 | #Constraints: 11620
119.29/119.69 c #Conflicts: 193000 | #Constraints: 12620
119.29/119.69 c #Conflicts: 194000 | #Constraints: 13620
119.29/119.69 c #Conflicts: 195000 | #Constraints: 14620
119.29/119.69 c #Conflicts: 196000 | #Constraints: 15620
119.29/119.69 c #Conflicts: 197000 | #Constraints: 16620
119.29/119.69 c #Conflicts: 198000 | #Constraints: 17620
119.29/119.69 c INPROCESSING
119.29/119.69 c GARBAGE COLLECT
119.29/119.69 c #Conflicts: 199000 | #Constraints: 9822
119.29/119.69 c #Conflicts: 200000 | #Constraints: 10822
119.29/119.69 c #Conflicts: 201000 | #Constraints: 11822
119.29/119.69 c #Conflicts: 202000 | #Constraints: 12822
119.29/119.69 c #Conflicts: 203000 | #Constraints: 13822
119.29/119.69 c #Conflicts: 204000 | #Constraints: 14822
119.29/119.69 c #Conflicts: 205000 | #Constraints: 15822
119.29/119.69 c #Conflicts: 206000 | #Constraints: 16822
119.29/119.69 c #Conflicts: 207000 | #Constraints: 17822
119.29/119.69 c INPROCESSING
119.29/119.69 c GARBAGE COLLECT
119.29/119.69 c #Conflicts: 208000 | #Constraints: 9822
119.29/119.69 c #Conflicts: 209000 | #Constraints: 10822
119.29/119.69 c #Conflicts: 210000 | #Constraints: 11822
119.29/119.69 c #Conflicts: 211000 | #Constraints: 12822
119.29/119.69 c #Conflicts: 212000 | #Constraints: 13822
119.29/119.69 c #Conflicts: 213000 | #Constraints: 14822
119.29/119.69 c #Conflicts: 214000 | #Constraints: 15822
119.29/119.69 c #Conflicts: 215000 | #Constraints: 16822
119.29/119.69 c #Conflicts: 216000 | #Constraints: 17822
119.29/119.69 c INPROCESSING
119.29/119.69 c GARBAGE COLLECT
119.29/119.69 c #Conflicts: 217000 | #Constraints: 9621
119.29/119.69 c #Conflicts: 218000 | #Constraints: 10621
119.29/119.69 c #Conflicts: 219000 | #Constraints: 11621
119.29/119.69 c #Conflicts: 220000 | #Constraints: 12621
119.29/119.69 c #Conflicts: 221000 | #Constraints: 13621
119.29/119.69 c #Conflicts: 222000 | #Constraints: 14621
119.29/119.69 c #Conflicts: 223000 | #Constraints: 15621
119.29/119.69 c #Conflicts: 224000 | #Constraints: 16621
183.14/183.66 c #Conflicts: 225000 | #Constraints: 17621
183.14/183.66 c #Conflicts: 226000 | #Constraints: 18621
183.14/183.66 c INPROCESSING
183.14/183.66 c GARBAGE COLLECT
183.14/183.66 c #Conflicts: 227000 | #Constraints: 10221
183.14/183.66 c #Conflicts: 228000 | #Constraints: 11221
183.14/183.66 c #Conflicts: 229000 | #Constraints: 12221
183.14/183.66 c #Conflicts: 230000 | #Constraints: 13221
183.14/183.66 c #Conflicts: 231000 | #Constraints: 14221
183.14/183.66 c #Conflicts: 232000 | #Constraints: 15221
183.14/183.66 c #Conflicts: 233000 | #Constraints: 16221
183.14/183.66 c #Conflicts: 234000 | #Constraints: 17221
183.14/183.66 c #Conflicts: 235000 | #Constraints: 18221
183.14/183.66 c #Conflicts: 236000 | #Constraints: 19221
183.14/183.66 c INPROCESSING
183.14/183.66 c GARBAGE COLLECT
183.14/183.66 c #Conflicts: 237000 | #Constraints: 10621
183.14/183.66 c #Conflicts: 238000 | #Constraints: 11621
183.14/183.66 c #Conflicts: 239000 | #Constraints: 12621
183.14/183.66 c #Conflicts: 240000 | #Constraints: 13621
183.14/183.66 c #Conflicts: 241000 | #Constraints: 14621
183.14/183.66 c #Conflicts: 242000 | #Constraints: 15621
183.14/183.66 c #Conflicts: 243000 | #Constraints: 16621
183.14/183.66 c #Conflicts: 244000 | #Constraints: 17621
183.14/183.66 c #Conflicts: 245000 | #Constraints: 18621
183.14/183.66 c #Conflicts: 246000 | #Constraints: 19621
183.14/183.66 c INPROCESSING
183.14/183.66 c GARBAGE COLLECT
183.14/183.66 c #Conflicts: 247000 | #Constraints: 10819
183.14/183.66 c #Conflicts: 248000 | #Constraints: 11819
183.14/183.66 c #Conflicts: 249000 | #Constraints: 12819
183.14/183.66 c #Conflicts: 250000 | #Constraints: 13819
183.14/183.66 c #Conflicts: 251000 | #Constraints: 14819
183.14/183.66 c #Conflicts: 252000 | #Constraints: 15819
183.14/183.66 c #Conflicts: 253000 | #Constraints: 16819
183.14/183.66 c #Conflicts: 254000 | #Constraints: 17819
183.14/183.66 c #Conflicts: 255000 | #Constraints: 18819
183.14/183.66 c #Conflicts: 256000 | #Constraints: 19819
183.14/183.66 c INPROCESSING
183.14/183.66 c GARBAGE COLLECT
183.14/183.66 c #Conflicts: 257000 | #Constraints: 10819
183.14/183.66 c #Conflicts: 258000 | #Constraints: 11819
183.14/183.66 c #Conflicts: 259000 | #Constraints: 12819
183.14/183.66 c #Conflicts: 260000 | #Constraints: 13819
183.14/183.66 c #Conflicts: 261000 | #Constraints: 14819
183.14/183.66 c #Conflicts: 262000 | #Constraints: 15819
183.14/183.66 c #Conflicts: 263000 | #Constraints: 16819
183.14/183.66 c #Conflicts: 264000 | #Constraints: 17819
183.14/183.66 c #Conflicts: 265000 | #Constraints: 18819
183.14/183.66 c #Conflicts: 266000 | #Constraints: 19819
183.14/183.66 c INPROCESSING
183.14/183.66 c GARBAGE COLLECT
183.14/183.66 c #Conflicts: 267000 | #Constraints: 10620
183.14/183.66 c #Conflicts: 268000 | #Constraints: 11620
183.14/183.66 c #Conflicts: 269000 | #Constraints: 12620
183.14/183.66 c #Conflicts: 270000 | #Constraints: 13620
183.14/183.66 c #Conflicts: 271000 | #Constraints: 14620
183.14/183.66 c #Conflicts: 272000 | #Constraints: 15620
183.14/183.66 c #Conflicts: 273000 | #Constraints: 16620
183.14/183.66 c #Conflicts: 274000 | #Constraints: 17620
183.14/183.66 c #Conflicts: 275000 | #Constraints: 18620
183.14/183.66 c #Conflicts: 276000 | #Constraints: 19620
183.14/183.66 c #Conflicts: 277000 | #Constraints: 20620
183.14/183.66 c INPROCESSING
183.14/183.66 c GARBAGE COLLECT
183.14/183.66 c #Conflicts: 278000 | #Constraints: 11220
183.14/183.66 c #Conflicts: 279000 | #Constraints: 12220
183.14/183.66 c #Conflicts: 280000 | #Constraints: 13220
183.14/183.66 c #Conflicts: 281000 | #Constraints: 14220
183.14/183.66 c #Conflicts: 282000 | #Constraints: 15220
183.14/183.66 c #Conflicts: 283000 | #Constraints: 16220
183.14/183.66 c #Conflicts: 284000 | #Constraints: 17220
183.14/183.66 c #Conflicts: 285000 | #Constraints: 18220
183.14/183.66 c #Conflicts: 286000 | #Constraints: 19220
183.14/183.66 c #Conflicts: 287000 | #Constraints: 20220
183.14/183.66 c #Conflicts: 288000 | #Constraints: 21220
183.14/183.66 c INPROCESSING
183.14/183.66 c GARBAGE COLLECT
183.14/183.66 c #Conflicts: 289000 | #Constraints: 11619
183.14/183.66 c #Conflicts: 290000 | #Constraints: 12619
183.14/183.66 c #Conflicts: 291000 | #Constraints: 13619
183.14/183.66 c #Conflicts: 292000 | #Constraints: 14619
183.14/183.66 c #Conflicts: 293000 | #Constraints: 15619
183.14/183.66 c #Conflicts: 294000 | #Constraints: 16619
183.14/183.66 c #Conflicts: 295000 | #Constraints: 17619
183.14/183.66 c #Conflicts: 296000 | #Constraints: 18619
183.14/183.66 c #Conflicts: 297000 | #Constraints: 19619
183.14/183.66 c #Conflicts: 298000 | #Constraints: 20619
183.14/183.66 c #Conflicts: 299000 | #Constraints: 21619
254.17/254.87 c INPROCESSING
254.17/254.87 c GARBAGE COLLECT
254.17/254.87 c #Conflicts: 300000 | #Constraints: 11821
254.17/254.87 c #Conflicts: 301000 | #Constraints: 12821
254.17/254.87 c #Conflicts: 302000 | #Constraints: 13821
254.17/254.87 c #Conflicts: 303000 | #Constraints: 14821
254.17/254.87 c #Conflicts: 304000 | #Constraints: 15821
254.17/254.87 c #Conflicts: 305000 | #Constraints: 16821
254.17/254.87 c #Conflicts: 306000 | #Constraints: 17821
254.17/254.87 c #Conflicts: 307000 | #Constraints: 18821
254.17/254.87 c #Conflicts: 308000 | #Constraints: 19821
254.17/254.87 c #Conflicts: 309000 | #Constraints: 20821
254.17/254.87 c #Conflicts: 310000 | #Constraints: 21821
254.17/254.87 c INPROCESSING
254.17/254.87 c GARBAGE COLLECT
254.17/254.87 c #Conflicts: 311000 | #Constraints: 11821
254.17/254.87 c #Conflicts: 312000 | #Constraints: 12821
254.17/254.87 c #Conflicts: 313000 | #Constraints: 13821
254.17/254.87 c #Conflicts: 314000 | #Constraints: 14821
254.17/254.87 c #Conflicts: 315000 | #Constraints: 15821
254.17/254.87 c #Conflicts: 316000 | #Constraints: 16821
254.17/254.87 c #Conflicts: 317000 | #Constraints: 17821
254.17/254.87 c #Conflicts: 318000 | #Constraints: 18821
254.17/254.87 c #Conflicts: 319000 | #Constraints: 19821
254.17/254.87 c #Conflicts: 320000 | #Constraints: 20821
254.17/254.87 c #Conflicts: 321000 | #Constraints: 21821
254.17/254.87 c INPROCESSING
254.17/254.87 c GARBAGE COLLECT
254.17/254.87 c #Conflicts: 322000 | #Constraints: 11620
254.17/254.87 c #Conflicts: 323000 | #Constraints: 12620
254.17/254.87 c #Conflicts: 324000 | #Constraints: 13620
254.17/254.87 c #Conflicts: 325000 | #Constraints: 14620
254.17/254.87 c #Conflicts: 326000 | #Constraints: 15620
254.17/254.87 c #Conflicts: 327000 | #Constraints: 16620
254.17/254.87 c #Conflicts: 328000 | #Constraints: 17620
254.17/254.87 c #Conflicts: 329000 | #Constraints: 18620
254.17/254.87 c #Conflicts: 330000 | #Constraints: 19620
254.17/254.87 c #Conflicts: 331000 | #Constraints: 20620
254.17/254.87 c #Conflicts: 332000 | #Constraints: 21620
254.17/254.87 c #Conflicts: 333000 | #Constraints: 22620
254.17/254.87 c INPROCESSING
254.17/254.87 c GARBAGE COLLECT
254.17/254.87 c #Conflicts: 334000 | #Constraints: 12218
254.17/254.87 c #Conflicts: 335000 | #Constraints: 13218
254.17/254.87 c #Conflicts: 336000 | #Constraints: 14218
254.17/254.87 c #Conflicts: 337000 | #Constraints: 15218
254.17/254.87 c #Conflicts: 338000 | #Constraints: 16218
254.17/254.87 c #Conflicts: 339000 | #Constraints: 17218
254.17/254.87 c #Conflicts: 340000 | #Constraints: 18218
254.17/254.87 c #Conflicts: 341000 | #Constraints: 19218
254.17/254.87 c #Conflicts: 342000 | #Constraints: 20218
254.17/254.87 c #Conflicts: 343000 | #Constraints: 21218
254.17/254.87 c #Conflicts: 344000 | #Constraints: 22218
254.17/254.87 c #Conflicts: 345000 | #Constraints: 23218
254.17/254.87 c INPROCESSING
254.17/254.87 c GARBAGE COLLECT
254.17/254.87 c #Conflicts: 346000 | #Constraints: 12619
254.17/254.87 c #Conflicts: 347000 | #Constraints: 13619
254.17/254.87 c #Conflicts: 348000 | #Constraints: 14619
254.17/254.87 c #Conflicts: 349000 | #Constraints: 15619
254.17/254.87 c #Conflicts: 350000 | #Constraints: 16619
254.17/254.87 c #Conflicts: 351000 | #Constraints: 17619
254.17/254.87 c #Conflicts: 352000 | #Constraints: 18619
254.17/254.87 c #Conflicts: 353000 | #Constraints: 19619
254.17/254.87 c #Conflicts: 354000 | #Constraints: 20619
254.17/254.87 c #Conflicts: 355000 | #Constraints: 21619
254.17/254.87 c #Conflicts: 356000 | #Constraints: 22619
254.17/254.87 c #Conflicts: 357000 | #Constraints: 23619
254.17/254.87 c INPROCESSING
254.17/254.87 c GARBAGE COLLECT
254.17/254.87 c #Conflicts: 358000 | #Constraints: 12818
254.17/254.87 c #Conflicts: 359000 | #Constraints: 13818
254.17/254.87 c #Conflicts: 360000 | #Constraints: 14818
254.17/254.87 c #Conflicts: 361000 | #Constraints: 15818
254.17/254.87 c #Conflicts: 362000 | #Constraints: 16818
254.17/254.87 c #Conflicts: 363000 | #Constraints: 17818
254.17/254.87 c #Conflicts: 364000 | #Constraints: 18818
254.17/254.87 c #Conflicts: 365000 | #Constraints: 19818
254.17/254.87 c #Conflicts: 366000 | #Constraints: 20818
254.17/254.87 c #Conflicts: 367000 | #Constraints: 21818
254.17/254.87 c #Conflicts: 368000 | #Constraints: 22818
254.17/254.87 c #Conflicts: 369000 | #Constraints: 23818
254.17/254.87 c INPROCESSING
254.17/254.87 c GARBAGE COLLECT
254.17/254.87 c #Conflicts: 370000 | #Constraints: 12820
254.17/254.87 c #Conflicts: 371000 | #Constraints: 13820
254.17/254.87 c #Conflicts: 372000 | #Constraints: 14820
254.17/254.87 c #Conflicts: 373000 | #Constraints: 15820
334.96/335.89 c #Conflicts: 374000 | #Constraints: 16820
334.96/335.89 c #Conflicts: 375000 | #Constraints: 17820
334.96/335.89 c #Conflicts: 376000 | #Constraints: 18820
334.96/335.89 c #Conflicts: 377000 | #Constraints: 19820
334.96/335.89 c #Conflicts: 378000 | #Constraints: 20820
334.96/335.89 c #Conflicts: 379000 | #Constraints: 21820
334.96/335.89 c #Conflicts: 380000 | #Constraints: 22820
334.96/335.89 c #Conflicts: 381000 | #Constraints: 23820
334.96/335.89 c INPROCESSING
334.96/335.89 c GARBAGE COLLECT
334.96/335.89 c #Conflicts: 382000 | #Constraints: 12619
334.96/335.89 c #Conflicts: 383000 | #Constraints: 13619
334.96/335.89 c #Conflicts: 384000 | #Constraints: 14619
334.96/335.89 c #Conflicts: 385000 | #Constraints: 15619
334.96/335.89 c #Conflicts: 386000 | #Constraints: 16619
334.96/335.89 c #Conflicts: 387000 | #Constraints: 17619
334.96/335.89 c #Conflicts: 388000 | #Constraints: 18619
334.96/335.89 c #Conflicts: 389000 | #Constraints: 19619
334.96/335.89 c #Conflicts: 390000 | #Constraints: 20619
334.96/335.89 c #Conflicts: 391000 | #Constraints: 21619
334.96/335.89 c #Conflicts: 392000 | #Constraints: 22619
334.96/335.89 c #Conflicts: 393000 | #Constraints: 23619
334.96/335.89 c #Conflicts: 394000 | #Constraints: 24619
334.96/335.89 c INPROCESSING
334.96/335.89 c GARBAGE COLLECT
334.96/335.89 c #Conflicts: 395000 | #Constraints: 13220
334.96/335.89 c #Conflicts: 396000 | #Constraints: 14220
334.96/335.89 c #Conflicts: 397000 | #Constraints: 15220
334.96/335.89 c #Conflicts: 398000 | #Constraints: 16220
334.96/335.89 c #Conflicts: 399000 | #Constraints: 17220
334.96/335.89 c #Conflicts: 400000 | #Constraints: 18220
334.96/335.89 c #Conflicts: 401000 | #Constraints: 19220
334.96/335.89 c #Conflicts: 402000 | #Constraints: 20220
334.96/335.89 c #Conflicts: 403000 | #Constraints: 21220
334.96/335.89 c #Conflicts: 404000 | #Constraints: 22220
334.96/335.89 c #Conflicts: 405000 | #Constraints: 23220
334.96/335.89 c #Conflicts: 406000 | #Constraints: 24220
334.96/335.89 c #Conflicts: 407000 | #Constraints: 25220
334.96/335.89 c INPROCESSING
334.96/335.89 c GARBAGE COLLECT
334.96/335.89 c #Conflicts: 408000 | #Constraints: 13619
334.96/335.89 c #Conflicts: 409000 | #Constraints: 14619
334.96/335.89 c #Conflicts: 410000 | #Constraints: 15619
334.96/335.89 c #Conflicts: 411000 | #Constraints: 16619
334.96/335.89 c #Conflicts: 412000 | #Constraints: 17619
334.96/335.89 c #Conflicts: 413000 | #Constraints: 18619
334.96/335.89 c #Conflicts: 414000 | #Constraints: 19619
334.96/335.89 c #Conflicts: 415000 | #Constraints: 20619
334.96/335.89 c #Conflicts: 416000 | #Constraints: 21619
334.96/335.89 c #Conflicts: 417000 | #Constraints: 22619
334.96/335.89 c #Conflicts: 418000 | #Constraints: 23619
334.96/335.89 c #Conflicts: 419000 | #Constraints: 24619
334.96/335.89 c #Conflicts: 420000 | #Constraints: 25619
334.96/335.89 c INPROCESSING
334.96/335.89 c GARBAGE COLLECT
334.96/335.89 c #Conflicts: 421000 | #Constraints: 13821
334.96/335.89 c #Conflicts: 422000 | #Constraints: 14821
334.96/335.89 c #Conflicts: 423000 | #Constraints: 15821
334.96/335.89 c #Conflicts: 424000 | #Constraints: 16821
334.96/335.89 c #Conflicts: 425000 | #Constraints: 17821
334.96/335.89 c #Conflicts: 426000 | #Constraints: 18821
334.96/335.89 c #Conflicts: 427000 | #Constraints: 19821
334.96/335.89 c #Conflicts: 428000 | #Constraints: 20821
334.96/335.89 c #Conflicts: 429000 | #Constraints: 21821
334.96/335.89 c #Conflicts: 430000 | #Constraints: 22821
334.96/335.89 c #Conflicts: 431000 | #Constraints: 23821
334.96/335.89 c #Conflicts: 432000 | #Constraints: 24821
334.96/335.89 c #Conflicts: 433000 | #Constraints: 25821
334.96/335.89 c INPROCESSING
334.96/335.89 c GARBAGE COLLECT
334.96/335.89 c #Conflicts: 434000 | #Constraints: 13824
334.96/335.89 c #Conflicts: 435000 | #Constraints: 14824
334.96/335.89 c #Conflicts: 436000 | #Constraints: 15824
334.96/335.89 c #Conflicts: 437000 | #Constraints: 16824
334.96/335.89 c #Conflicts: 438000 | #Constraints: 17824
334.96/335.89 c #Conflicts: 439000 | #Constraints: 18824
334.96/335.89 c #Conflicts: 440000 | #Constraints: 19824
334.96/335.89 c #Conflicts: 441000 | #Constraints: 20824
334.96/335.89 c #Conflicts: 442000 | #Constraints: 21824
334.96/335.89 c #Conflicts: 443000 | #Constraints: 22824
334.96/335.89 c #Conflicts: 444000 | #Constraints: 23824
334.96/335.89 c #Conflicts: 445000 | #Constraints: 24824
334.96/335.89 c #Conflicts: 446000 | #Constraints: 25824
334.96/335.89 c INPROCESSING
334.96/335.89 c GARBAGE COLLECT
334.96/335.89 c #Conflicts: 447000 | #Constraints: 13621
334.96/335.89 c #Conflicts: 448000 | #Constraints: 14621
425.44/426.55 c #Conflicts: 449000 | #Constraints: 15621
425.44/426.55 c #Conflicts: 450000 | #Constraints: 16621
425.44/426.55 c #Conflicts: 451000 | #Constraints: 17621
425.44/426.55 c #Conflicts: 452000 | #Constraints: 18621
425.44/426.55 c #Conflicts: 453000 | #Constraints: 19621
425.44/426.55 c #Conflicts: 454000 | #Constraints: 20621
425.44/426.55 c #Conflicts: 455000 | #Constraints: 21621
425.44/426.55 c #Conflicts: 456000 | #Constraints: 22621
425.44/426.55 c #Conflicts: 457000 | #Constraints: 23621
425.44/426.55 c #Conflicts: 458000 | #Constraints: 24621
425.44/426.55 c #Conflicts: 459000 | #Constraints: 25621
425.44/426.55 c #Conflicts: 460000 | #Constraints: 26621
425.44/426.55 c INPROCESSING
425.44/426.55 c GARBAGE COLLECT
425.44/426.55 c #Conflicts: 461000 | #Constraints: 14222
425.44/426.55 c #Conflicts: 462000 | #Constraints: 15222
425.44/426.55 c #Conflicts: 463000 | #Constraints: 16222
425.44/426.55 c #Conflicts: 464000 | #Constraints: 17222
425.44/426.55 c #Conflicts: 465000 | #Constraints: 18222
425.44/426.55 c #Conflicts: 466000 | #Constraints: 19222
425.44/426.55 c #Conflicts: 467000 | #Constraints: 20222
425.44/426.55 c #Conflicts: 468000 | #Constraints: 21222
425.44/426.55 c #Conflicts: 469000 | #Constraints: 22222
425.44/426.55 c #Conflicts: 470000 | #Constraints: 23222
425.44/426.55 c #Conflicts: 471000 | #Constraints: 24222
425.44/426.55 c #Conflicts: 472000 | #Constraints: 25222
425.44/426.55 c #Conflicts: 473000 | #Constraints: 26222
425.44/426.55 c #Conflicts: 474000 | #Constraints: 27222
425.44/426.55 c INPROCESSING
425.44/426.55 c GARBAGE COLLECT
425.44/426.55 c #Conflicts: 475000 | #Constraints: 14622
425.44/426.55 c #Conflicts: 476000 | #Constraints: 15622
425.44/426.55 c #Conflicts: 477000 | #Constraints: 16622
425.44/426.55 c #Conflicts: 478000 | #Constraints: 17622
425.44/426.55 c #Conflicts: 479000 | #Constraints: 18622
425.44/426.55 c #Conflicts: 480000 | #Constraints: 19622
425.44/426.55 c #Conflicts: 481000 | #Constraints: 20622
425.44/426.55 c #Conflicts: 482000 | #Constraints: 21622
425.44/426.55 c #Conflicts: 483000 | #Constraints: 22622
425.44/426.55 c #Conflicts: 484000 | #Constraints: 23622
425.44/426.55 c #Conflicts: 485000 | #Constraints: 24622
425.44/426.55 c #Conflicts: 486000 | #Constraints: 25622
425.44/426.55 c #Conflicts: 487000 | #Constraints: 26622
425.44/426.55 c #Conflicts: 488000 | #Constraints: 27622
425.44/426.55 c INPROCESSING
425.44/426.55 c GARBAGE COLLECT
425.44/426.55 c #Conflicts: 489000 | #Constraints: 14823
425.44/426.55 c #Conflicts: 490000 | #Constraints: 15823
425.44/426.55 c #Conflicts: 491000 | #Constraints: 16823
425.44/426.55 c #Conflicts: 492000 | #Constraints: 17823
425.44/426.55 c #Conflicts: 493000 | #Constraints: 18823
425.44/426.55 c #Conflicts: 494000 | #Constraints: 19823
425.44/426.55 c #Conflicts: 495000 | #Constraints: 20823
425.44/426.55 c #Conflicts: 496000 | #Constraints: 21823
425.44/426.55 c #Conflicts: 497000 | #Constraints: 22823
425.44/426.55 c #Conflicts: 498000 | #Constraints: 23823
425.44/426.55 c #Conflicts: 499000 | #Constraints: 24823
425.44/426.55 c #Conflicts: 500000 | #Constraints: 25823
425.44/426.55 c #Conflicts: 501000 | #Constraints: 26823
425.44/426.55 c #Conflicts: 502000 | #Constraints: 27823
425.44/426.55 c INPROCESSING
425.44/426.55 c GARBAGE COLLECT
425.44/426.55 c #Conflicts: 503000 | #Constraints: 14823
425.44/426.55 c #Conflicts: 504000 | #Constraints: 15823
425.44/426.55 c #Conflicts: 505000 | #Constraints: 16823
425.44/426.55 c #Conflicts: 506000 | #Constraints: 17823
425.44/426.55 c #Conflicts: 507000 | #Constraints: 18823
425.44/426.55 c #Conflicts: 508000 | #Constraints: 19823
425.44/426.55 c #Conflicts: 509000 | #Constraints: 20823
425.44/426.55 c #Conflicts: 510000 | #Constraints: 21823
425.44/426.55 c #Conflicts: 511000 | #Constraints: 22823
425.44/426.55 c #Conflicts: 512000 | #Constraints: 23823
425.44/426.55 c #Conflicts: 513000 | #Constraints: 24823
425.44/426.55 c #Conflicts: 514000 | #Constraints: 25823
425.44/426.55 c #Conflicts: 515000 | #Constraints: 26823
425.44/426.55 c #Conflicts: 516000 | #Constraints: 27823
425.44/426.55 c INPROCESSING
425.44/426.55 c GARBAGE COLLECT
425.44/426.55 c #Conflicts: 517000 | #Constraints: 14622
425.44/426.55 c #Conflicts: 518000 | #Constraints: 15622
425.44/426.55 c #Conflicts: 519000 | #Constraints: 16622
425.44/426.55 c #Conflicts: 520000 | #Constraints: 17622
425.44/426.55 c #Conflicts: 521000 | #Constraints: 18622
425.44/426.55 c #Conflicts: 522000 | #Constraints: 19622
425.44/426.55 c #Conflicts: 523000 | #Constraints: 20622
520.61/521.95 c #Conflicts: 524000 | #Constraints: 21622
520.61/521.95 c #Conflicts: 525000 | #Constraints: 22622
520.61/521.95 c #Conflicts: 526000 | #Constraints: 23622
520.61/521.95 c #Conflicts: 527000 | #Constraints: 24622
520.61/521.95 c #Conflicts: 528000 | #Constraints: 25622
520.61/521.95 c #Conflicts: 529000 | #Constraints: 26622
520.61/521.95 c #Conflicts: 530000 | #Constraints: 27622
520.61/521.95 c #Conflicts: 531000 | #Constraints: 28622
520.61/521.95 c INPROCESSING
520.61/521.95 c GARBAGE COLLECT
520.61/521.95 c #Conflicts: 532000 | #Constraints: 15223
520.61/521.95 c #Conflicts: 533000 | #Constraints: 16223
520.61/521.95 c #Conflicts: 534000 | #Constraints: 17223
520.61/521.95 c #Conflicts: 535000 | #Constraints: 18223
520.61/521.95 c #Conflicts: 536000 | #Constraints: 19223
520.61/521.95 c #Conflicts: 537000 | #Constraints: 20223
520.61/521.95 c #Conflicts: 538000 | #Constraints: 21223
520.61/521.95 c #Conflicts: 539000 | #Constraints: 22223
520.61/521.95 c #Conflicts: 540000 | #Constraints: 23223
520.61/521.95 c #Conflicts: 541000 | #Constraints: 24223
520.61/521.95 c #Conflicts: 542000 | #Constraints: 25223
520.61/521.95 c #Conflicts: 543000 | #Constraints: 26223
520.61/521.95 c #Conflicts: 544000 | #Constraints: 27223
520.61/521.95 c #Conflicts: 545000 | #Constraints: 28223
520.61/521.95 c #Conflicts: 546000 | #Constraints: 29223
520.61/521.95 c INPROCESSING
520.61/521.95 c GARBAGE COLLECT
520.61/521.95 c #Conflicts: 547000 | #Constraints: 15621
520.61/521.95 c #Conflicts: 548000 | #Constraints: 16621
520.61/521.95 c #Conflicts: 549000 | #Constraints: 17621
520.61/521.95 c #Conflicts: 550000 | #Constraints: 18621
520.61/521.95 c #Conflicts: 551000 | #Constraints: 19621
520.61/521.95 c #Conflicts: 552000 | #Constraints: 20621
520.61/521.95 c #Conflicts: 553000 | #Constraints: 21621
520.61/521.95 c #Conflicts: 554000 | #Constraints: 22621
520.61/521.95 c #Conflicts: 555000 | #Constraints: 23621
520.61/521.95 c #Conflicts: 556000 | #Constraints: 24621
520.61/521.95 c #Conflicts: 557000 | #Constraints: 25621
520.61/521.95 c #Conflicts: 558000 | #Constraints: 26621
520.61/521.95 c #Conflicts: 559000 | #Constraints: 27621
520.61/521.95 c #Conflicts: 560000 | #Constraints: 28621
520.61/521.95 c #Conflicts: 561000 | #Constraints: 29621
520.61/521.95 c INPROCESSING
520.61/521.95 c GARBAGE COLLECT
520.61/521.95 c #Conflicts: 562000 | #Constraints: 15822
520.61/521.95 c #Conflicts: 563000 | #Constraints: 16822
520.61/521.95 c #Conflicts: 564000 | #Constraints: 17822
520.61/521.95 c #Conflicts: 565000 | #Constraints: 18822
520.61/521.95 c #Conflicts: 566000 | #Constraints: 19822
520.61/521.95 c #Conflicts: 567000 | #Constraints: 20822
520.61/521.95 c #Conflicts: 568000 | #Constraints: 21822
520.61/521.95 c #Conflicts: 569000 | #Constraints: 22822
520.61/521.95 c #Conflicts: 570000 | #Constraints: 23822
520.61/521.95 c #Conflicts: 571000 | #Constraints: 24822
520.61/521.95 c #Conflicts: 572000 | #Constraints: 25822
520.61/521.95 c #Conflicts: 573000 | #Constraints: 26822
520.61/521.95 c #Conflicts: 574000 | #Constraints: 27822
520.61/521.95 c #Conflicts: 575000 | #Constraints: 28822
520.61/521.95 c #Conflicts: 576000 | #Constraints: 29822
520.61/521.95 c INPROCESSING
520.61/521.95 c GARBAGE COLLECT
520.61/521.95 c #Conflicts: 577000 | #Constraints: 15825
520.61/521.95 c #Conflicts: 578000 | #Constraints: 16825
520.61/521.95 c #Conflicts: 579000 | #Constraints: 17825
520.61/521.95 c #Conflicts: 580000 | #Constraints: 18825
520.61/521.95 c #Conflicts: 581000 | #Constraints: 19825
520.61/521.95 c #Conflicts: 582000 | #Constraints: 20825
520.61/521.95 c #Conflicts: 583000 | #Constraints: 21825
520.61/521.95 c #Conflicts: 584000 | #Constraints: 22825
520.61/521.95 c #Conflicts: 585000 | #Constraints: 23825
520.61/521.95 c #Conflicts: 586000 | #Constraints: 24825
520.61/521.95 c #Conflicts: 587000 | #Constraints: 25825
520.61/521.95 c #Conflicts: 588000 | #Constraints: 26825
520.61/521.95 c #Conflicts: 589000 | #Constraints: 27825
520.61/521.95 c #Conflicts: 590000 | #Constraints: 28825
520.61/521.95 c #Conflicts: 591000 | #Constraints: 29825
520.61/521.95 c INPROCESSING
520.61/521.95 c GARBAGE COLLECT
520.61/521.95 c #Conflicts: 592000 | #Constraints: 15624
520.61/521.95 c #Conflicts: 593000 | #Constraints: 16624
520.61/521.95 c #Conflicts: 594000 | #Constraints: 17624
520.61/521.95 c #Conflicts: 595000 | #Constraints: 18624
520.61/521.95 c #Conflicts: 596000 | #Constraints: 19624
520.61/521.95 c #Conflicts: 597000 | #Constraints: 20624
520.61/521.95 c #Conflicts: 598000 | #Constraints: 21624
520.61/521.95 c #Conflicts: 599000 | #Constraints: 22624
619.26/620.86 c #Conflicts: 600000 | #Constraints: 23624
619.26/620.86 c #Conflicts: 601000 | #Constraints: 24624
619.26/620.86 c #Conflicts: 602000 | #Constraints: 25624
619.26/620.86 c #Conflicts: 603000 | #Constraints: 26624
619.26/620.86 c #Conflicts: 604000 | #Constraints: 27624
619.26/620.86 c #Conflicts: 605000 | #Constraints: 28624
619.26/620.86 c #Conflicts: 606000 | #Constraints: 29624
619.26/620.86 c #Conflicts: 607000 | #Constraints: 30624
619.26/620.86 c INPROCESSING
619.26/620.86 c GARBAGE COLLECT
619.26/620.86 c #Conflicts: 608000 | #Constraints: 16223
619.26/620.86 c #Conflicts: 609000 | #Constraints: 17223
619.26/620.86 c #Conflicts: 610000 | #Constraints: 18223
619.26/620.86 c #Conflicts: 611000 | #Constraints: 19223
619.26/620.86 c #Conflicts: 612000 | #Constraints: 20223
619.26/620.86 c #Conflicts: 613000 | #Constraints: 21223
619.26/620.86 c #Conflicts: 614000 | #Constraints: 22223
619.26/620.86 c #Conflicts: 615000 | #Constraints: 23223
619.26/620.86 c #Conflicts: 616000 | #Constraints: 24223
619.26/620.86 c #Conflicts: 617000 | #Constraints: 25223
619.26/620.86 c #Conflicts: 618000 | #Constraints: 26223
619.26/620.86 c #Conflicts: 619000 | #Constraints: 27223
619.26/620.86 c #Conflicts: 620000 | #Constraints: 28223
619.26/620.86 c #Conflicts: 621000 | #Constraints: 29223
619.26/620.86 c #Conflicts: 622000 | #Constraints: 30223
619.26/620.86 c #Conflicts: 623000 | #Constraints: 31223
619.26/620.86 c INPROCESSING
619.26/620.86 c GARBAGE COLLECT
619.26/620.86 c #Conflicts: 624000 | #Constraints: 16621
619.26/620.86 c #Conflicts: 625000 | #Constraints: 17621
619.26/620.86 c #Conflicts: 626000 | #Constraints: 18621
619.26/620.86 c #Conflicts: 627000 | #Constraints: 19621
619.26/620.86 c #Conflicts: 628000 | #Constraints: 20621
619.26/620.86 c #Conflicts: 629000 | #Constraints: 21621
619.26/620.86 c #Conflicts: 630000 | #Constraints: 22621
619.26/620.86 c #Conflicts: 631000 | #Constraints: 23621
619.26/620.86 c #Conflicts: 632000 | #Constraints: 24621
619.26/620.86 c #Conflicts: 633000 | #Constraints: 25621
619.26/620.86 c #Conflicts: 634000 | #Constraints: 26621
619.26/620.86 c #Conflicts: 635000 | #Constraints: 27621
619.26/620.86 c #Conflicts: 636000 | #Constraints: 28621
619.26/620.86 c #Conflicts: 637000 | #Constraints: 29621
619.26/620.86 c #Conflicts: 638000 | #Constraints: 30621
619.26/620.86 c #Conflicts: 639000 | #Constraints: 31621
619.26/620.86 c INPROCESSING
619.26/620.86 c GARBAGE COLLECT
619.26/620.86 c #Conflicts: 640000 | #Constraints: 16821
619.26/620.86 c #Conflicts: 641000 | #Constraints: 17821
619.26/620.86 c #Conflicts: 642000 | #Constraints: 18821
619.26/620.86 c #Conflicts: 643000 | #Constraints: 19821
619.26/620.86 c #Conflicts: 644000 | #Constraints: 20821
619.26/620.86 c #Conflicts: 645000 | #Constraints: 21821
619.26/620.86 c #Conflicts: 646000 | #Constraints: 22821
619.26/620.86 c #Conflicts: 647000 | #Constraints: 23821
619.26/620.86 c #Conflicts: 648000 | #Constraints: 24821
619.26/620.86 c #Conflicts: 649000 | #Constraints: 25821
619.26/620.86 c #Conflicts: 650000 | #Constraints: 26821
619.26/620.86 c #Conflicts: 651000 | #Constraints: 27821
619.26/620.86 c #Conflicts: 652000 | #Constraints: 28821
619.26/620.86 c #Conflicts: 653000 | #Constraints: 29821
619.26/620.86 c #Conflicts: 654000 | #Constraints: 30821
619.26/620.86 c #Conflicts: 655000 | #Constraints: 31821
619.26/620.86 c INPROCESSING
619.26/620.86 c GARBAGE COLLECT
619.26/620.86 c #Conflicts: 656000 | #Constraints: 16822
619.26/620.86 c #Conflicts: 657000 | #Constraints: 17822
619.26/620.86 c #Conflicts: 658000 | #Constraints: 18822
619.26/620.86 c #Conflicts: 659000 | #Constraints: 19822
619.26/620.86 c #Conflicts: 660000 | #Constraints: 20822
619.26/620.86 c #Conflicts: 661000 | #Constraints: 21822
619.26/620.86 c #Conflicts: 662000 | #Constraints: 22822
619.26/620.86 c #Conflicts: 663000 | #Constraints: 23822
619.26/620.86 c #Conflicts: 664000 | #Constraints: 24822
619.26/620.86 c #Conflicts: 665000 | #Constraints: 25822
619.26/620.86 c #Conflicts: 666000 | #Constraints: 26822
619.26/620.86 c #Conflicts: 667000 | #Constraints: 27822
619.26/620.86 c #Conflicts: 668000 | #Constraints: 28822
619.26/620.86 c #Conflicts: 669000 | #Constraints: 29822
619.26/620.86 c #Conflicts: 670000 | #Constraints: 30822
619.26/620.86 c #Conflicts: 671000 | #Constraints: 31822
619.26/620.86 c INPROCESSING
619.26/620.86 c GARBAGE COLLECT
619.26/620.86 c #Conflicts: 672000 | #Constraints: 16620
619.26/620.86 c #Conflicts: 673000 | #Constraints: 17620
619.26/620.86 c #Conflicts: 674000 | #Constraints: 18620
619.26/620.86 c #Conflicts: 675000 | #Constraints: 19620
730.69/732.54 c #Conflicts: 676000 | #Constraints: 20620
730.69/732.54 c #Conflicts: 677000 | #Constraints: 21620
730.69/732.54 c #Conflicts: 678000 | #Constraints: 22620
730.69/732.54 c #Conflicts: 679000 | #Constraints: 23620
730.69/732.54 c #Conflicts: 680000 | #Constraints: 24620
730.69/732.54 c #Conflicts: 681000 | #Constraints: 25620
730.69/732.54 c #Conflicts: 682000 | #Constraints: 26620
730.69/732.54 c #Conflicts: 683000 | #Constraints: 27620
730.69/732.54 c #Conflicts: 684000 | #Constraints: 28620
730.69/732.54 c #Conflicts: 685000 | #Constraints: 29620
730.69/732.54 c #Conflicts: 686000 | #Constraints: 30620
730.69/732.54 c #Conflicts: 687000 | #Constraints: 31620
730.69/732.54 c #Conflicts: 688000 | #Constraints: 32620
730.69/732.54 c INPROCESSING
730.69/732.54 c GARBAGE COLLECT
730.69/732.54 c #Conflicts: 689000 | #Constraints: 17219
730.69/732.54 c #Conflicts: 690000 | #Constraints: 18219
730.69/732.54 c #Conflicts: 691000 | #Constraints: 19219
730.69/732.54 c #Conflicts: 692000 | #Constraints: 20219
730.69/732.54 c #Conflicts: 693000 | #Constraints: 21219
730.69/732.54 c #Conflicts: 694000 | #Constraints: 22219
730.69/732.54 c #Conflicts: 695000 | #Constraints: 23219
730.69/732.54 c #Conflicts: 696000 | #Constraints: 24219
730.69/732.54 c #Conflicts: 697000 | #Constraints: 25219
730.69/732.54 c #Conflicts: 698000 | #Constraints: 26219
730.69/732.54 c #Conflicts: 699000 | #Constraints: 27219
730.69/732.54 c #Conflicts: 700000 | #Constraints: 28219
730.69/732.54 c #Conflicts: 701000 | #Constraints: 29219
730.69/732.54 c #Conflicts: 702000 | #Constraints: 30219
730.69/732.54 c #Conflicts: 703000 | #Constraints: 31219
730.69/732.54 c #Conflicts: 704000 | #Constraints: 32219
730.69/732.54 c #Conflicts: 705000 | #Constraints: 33219
730.69/732.54 c INPROCESSING
730.69/732.54 c GARBAGE COLLECT
730.69/732.54 c #Conflicts: 706000 | #Constraints: 17621
730.69/732.54 c #Conflicts: 707000 | #Constraints: 18621
730.69/732.54 c #Conflicts: 708000 | #Constraints: 19621
730.69/732.54 c #Conflicts: 709000 | #Constraints: 20621
730.69/732.54 c #Conflicts: 710000 | #Constraints: 21621
730.69/732.54 c #Conflicts: 711000 | #Constraints: 22621
730.69/732.54 c #Conflicts: 712000 | #Constraints: 23621
730.69/732.54 c #Conflicts: 713000 | #Constraints: 24621
730.69/732.54 c #Conflicts: 714000 | #Constraints: 25621
730.69/732.54 c #Conflicts: 715000 | #Constraints: 26621
730.69/732.54 c #Conflicts: 716000 | #Constraints: 27621
730.69/732.54 c #Conflicts: 717000 | #Constraints: 28621
730.69/732.54 c #Conflicts: 718000 | #Constraints: 29621
730.69/732.54 c #Conflicts: 719000 | #Constraints: 30621
730.69/732.54 c #Conflicts: 720000 | #Constraints: 31621
730.69/732.54 c #Conflicts: 721000 | #Constraints: 32621
730.69/732.54 c #Conflicts: 722000 | #Constraints: 33621
730.69/732.54 c INPROCESSING
730.69/732.54 c GARBAGE COLLECT
730.69/732.54 c #Conflicts: 723000 | #Constraints: 17821
730.69/732.54 c #Conflicts: 724000 | #Constraints: 18821
730.69/732.54 c #Conflicts: 725000 | #Constraints: 19821
730.69/732.54 c #Conflicts: 726000 | #Constraints: 20821
730.69/732.54 c #Conflicts: 727000 | #Constraints: 21821
730.69/732.54 c #Conflicts: 728000 | #Constraints: 22821
730.69/732.54 c #Conflicts: 729000 | #Constraints: 23821
730.69/732.54 c #Conflicts: 730000 | #Constraints: 24821
730.69/732.54 c #Conflicts: 731000 | #Constraints: 25821
730.69/732.54 c #Conflicts: 732000 | #Constraints: 26821
730.69/732.54 c #Conflicts: 733000 | #Constraints: 27821
730.69/732.54 c #Conflicts: 734000 | #Constraints: 28821
730.69/732.54 c #Conflicts: 735000 | #Constraints: 29821
730.69/732.54 c #Conflicts: 736000 | #Constraints: 30821
730.69/732.54 c #Conflicts: 737000 | #Constraints: 31821
730.69/732.54 c #Conflicts: 738000 | #Constraints: 32821
730.69/732.54 c #Conflicts: 739000 | #Constraints: 33821
730.69/732.54 c INPROCESSING
730.69/732.54 c GARBAGE COLLECT
730.69/732.54 c #Conflicts: 740000 | #Constraints: 17822
730.69/732.54 c #Conflicts: 741000 | #Constraints: 18822
730.69/732.54 c #Conflicts: 742000 | #Constraints: 19822
730.69/732.54 c #Conflicts: 743000 | #Constraints: 20822
730.69/732.54 c #Conflicts: 744000 | #Constraints: 21822
730.69/732.54 c #Conflicts: 745000 | #Constraints: 22822
730.69/732.54 c #Conflicts: 746000 | #Constraints: 23822
730.69/732.54 c #Conflicts: 747000 | #Constraints: 24822
730.69/732.54 c #Conflicts: 748000 | #Constraints: 25822
730.69/732.54 c #Conflicts: 749000 | #Constraints: 26822
730.69/732.54 c #Conflicts: 750000 | #Constraints: 27822
730.69/732.54 c #Conflicts: 751000 | #Constraints: 28822
848.59/850.79 c #Conflicts: 752000 | #Constraints: 29822
848.59/850.79 c #Conflicts: 753000 | #Constraints: 30822
848.59/850.79 c #Conflicts: 754000 | #Constraints: 31822
848.59/850.79 c #Conflicts: 755000 | #Constraints: 32822
848.59/850.79 c #Conflicts: 756000 | #Constraints: 33822
848.59/850.79 c INPROCESSING
848.59/850.79 c GARBAGE COLLECT
848.59/850.79 c #Conflicts: 757000 | #Constraints: 17621
848.59/850.79 c #Conflicts: 758000 | #Constraints: 18621
848.59/850.79 c #Conflicts: 759000 | #Constraints: 19621
848.59/850.79 c #Conflicts: 760000 | #Constraints: 20621
848.59/850.79 c #Conflicts: 761000 | #Constraints: 21621
848.59/850.79 c #Conflicts: 762000 | #Constraints: 22621
848.59/850.79 c #Conflicts: 763000 | #Constraints: 23621
848.59/850.79 c #Conflicts: 764000 | #Constraints: 24621
848.59/850.79 c #Conflicts: 765000 | #Constraints: 25621
848.59/850.79 c #Conflicts: 766000 | #Constraints: 26621
848.59/850.79 c #Conflicts: 767000 | #Constraints: 27621
848.59/850.79 c #Conflicts: 768000 | #Constraints: 28621
848.59/850.79 c #Conflicts: 769000 | #Constraints: 29621
848.59/850.79 c #Conflicts: 770000 | #Constraints: 30621
848.59/850.79 c #Conflicts: 771000 | #Constraints: 31621
848.59/850.79 c #Conflicts: 772000 | #Constraints: 32621
848.59/850.79 c #Conflicts: 773000 | #Constraints: 33621
848.59/850.79 c #Conflicts: 774000 | #Constraints: 34621
848.59/850.79 c INPROCESSING
848.59/850.79 c GARBAGE COLLECT
848.59/850.79 c #Conflicts: 775000 | #Constraints: 18218
848.59/850.79 c #Conflicts: 776000 | #Constraints: 19218
848.59/850.79 c #Conflicts: 777000 | #Constraints: 20218
848.59/850.79 c #Conflicts: 778000 | #Constraints: 21218
848.59/850.79 c #Conflicts: 779000 | #Constraints: 22218
848.59/850.79 c #Conflicts: 780000 | #Constraints: 23218
848.59/850.79 c #Conflicts: 781000 | #Constraints: 24218
848.59/850.79 c #Conflicts: 782000 | #Constraints: 25218
848.59/850.79 c #Conflicts: 783000 | #Constraints: 26218
848.59/850.79 c #Conflicts: 784000 | #Constraints: 27218
848.59/850.79 c #Conflicts: 785000 | #Constraints: 28218
848.59/850.79 c #Conflicts: 786000 | #Constraints: 29218
848.59/850.79 c #Conflicts: 787000 | #Constraints: 30218
848.59/850.79 c #Conflicts: 788000 | #Constraints: 31218
848.59/850.79 c #Conflicts: 789000 | #Constraints: 32218
848.59/850.79 c #Conflicts: 790000 | #Constraints: 33218
848.59/850.79 c #Conflicts: 791000 | #Constraints: 34218
848.59/850.79 c #Conflicts: 792000 | #Constraints: 35218
848.59/850.79 c INPROCESSING
848.59/850.79 c GARBAGE COLLECT
848.59/850.79 c #Conflicts: 793000 | #Constraints: 18618
848.59/850.79 c #Conflicts: 794000 | #Constraints: 19618
848.59/850.79 c #Conflicts: 795000 | #Constraints: 20618
848.59/850.79 c #Conflicts: 796000 | #Constraints: 21618
848.59/850.79 c #Conflicts: 797000 | #Constraints: 22618
848.59/850.79 c #Conflicts: 798000 | #Constraints: 23618
848.59/850.79 c #Conflicts: 799000 | #Constraints: 24618
848.59/850.79 c #Conflicts: 800000 | #Constraints: 25618
848.59/850.79 c #Conflicts: 801000 | #Constraints: 26618
848.59/850.79 c #Conflicts: 802000 | #Constraints: 27618
848.59/850.79 c #Conflicts: 803000 | #Constraints: 28618
848.59/850.79 c #Conflicts: 804000 | #Constraints: 29618
848.59/850.79 c #Conflicts: 805000 | #Constraints: 30618
848.59/850.79 c #Conflicts: 806000 | #Constraints: 31618
848.59/850.79 c #Conflicts: 807000 | #Constraints: 32618
848.59/850.79 c #Conflicts: 808000 | #Constraints: 33618
848.59/850.79 c #Conflicts: 809000 | #Constraints: 34618
848.59/850.79 c #Conflicts: 810000 | #Constraints: 35618
848.59/850.79 c INPROCESSING
848.59/850.79 c GARBAGE COLLECT
848.59/850.79 c #Conflicts: 811000 | #Constraints: 18821
848.59/850.79 c #Conflicts: 812000 | #Constraints: 19821
848.59/850.79 c #Conflicts: 813000 | #Constraints: 20821
848.59/850.79 c #Conflicts: 814000 | #Constraints: 21821
848.59/850.79 c #Conflicts: 815000 | #Constraints: 22821
848.59/850.79 c #Conflicts: 816000 | #Constraints: 23821
848.59/850.79 c #Conflicts: 817000 | #Constraints: 24821
848.59/850.79 c #Conflicts: 818000 | #Constraints: 25821
848.59/850.79 c #Conflicts: 819000 | #Constraints: 26821
848.59/850.79 c #Conflicts: 820000 | #Constraints: 27821
848.59/850.79 c #Conflicts: 821000 | #Constraints: 28821
848.59/850.79 c #Conflicts: 822000 | #Constraints: 29821
848.59/850.79 c #Conflicts: 823000 | #Constraints: 30821
848.59/850.79 c #Conflicts: 824000 | #Constraints: 31821
848.59/850.79 c #Conflicts: 825000 | #Constraints: 32821
848.59/850.79 c #Conflicts: 826000 | #Constraints: 33821
848.59/850.79 c #Conflicts: 827000 | #Constraints: 34821
971.18/973.60 c #Conflicts: 828000 | #Constraints: 35821
971.18/973.60 c INPROCESSING
971.18/973.60 c GARBAGE COLLECT
971.18/973.60 c #Conflicts: 829000 | #Constraints: 18820
971.18/973.60 c #Conflicts: 830000 | #Constraints: 19820
971.18/973.60 c #Conflicts: 831000 | #Constraints: 20820
971.18/973.60 c #Conflicts: 832000 | #Constraints: 21820
971.18/973.60 c #Conflicts: 833000 | #Constraints: 22820
971.18/973.60 c #Conflicts: 834000 | #Constraints: 23820
971.18/973.60 c #Conflicts: 835000 | #Constraints: 24820
971.18/973.60 c #Conflicts: 836000 | #Constraints: 25820
971.18/973.60 c #Conflicts: 837000 | #Constraints: 26820
971.18/973.60 c #Conflicts: 838000 | #Constraints: 27820
971.18/973.60 c #Conflicts: 839000 | #Constraints: 28820
971.18/973.60 c #Conflicts: 840000 | #Constraints: 29820
971.18/973.60 c #Conflicts: 841000 | #Constraints: 30820
971.18/973.60 c #Conflicts: 842000 | #Constraints: 31820
971.18/973.60 c #Conflicts: 843000 | #Constraints: 32820
971.18/973.60 c #Conflicts: 844000 | #Constraints: 33820
971.18/973.60 c #Conflicts: 845000 | #Constraints: 34820
971.18/973.60 c #Conflicts: 846000 | #Constraints: 35820
971.18/973.60 c INPROCESSING
971.18/973.60 c GARBAGE COLLECT
971.18/973.60 c #Conflicts: 847000 | #Constraints: 18620
971.18/973.60 c #Conflicts: 848000 | #Constraints: 19620
971.18/973.60 c #Conflicts: 849000 | #Constraints: 20620
971.18/973.60 c #Conflicts: 850000 | #Constraints: 21620
971.18/973.60 c #Conflicts: 851000 | #Constraints: 22620
971.18/973.60 c #Conflicts: 852000 | #Constraints: 23620
971.18/973.60 c #Conflicts: 853000 | #Constraints: 24620
971.18/973.60 c #Conflicts: 854000 | #Constraints: 25620
971.18/973.60 c #Conflicts: 855000 | #Constraints: 26620
971.18/973.60 c #Conflicts: 856000 | #Constraints: 27620
971.18/973.60 c #Conflicts: 857000 | #Constraints: 28620
971.18/973.60 c #Conflicts: 858000 | #Constraints: 29620
971.18/973.60 c #Conflicts: 859000 | #Constraints: 30620
971.18/973.60 c #Conflicts: 860000 | #Constraints: 31620
971.18/973.60 c #Conflicts: 861000 | #Constraints: 32620
971.18/973.60 c #Conflicts: 862000 | #Constraints: 33620
971.18/973.60 c #Conflicts: 863000 | #Constraints: 34620
971.18/973.60 c #Conflicts: 864000 | #Constraints: 35620
971.18/973.60 c #Conflicts: 865000 | #Constraints: 36620
971.18/973.60 c INPROCESSING
971.18/973.60 c GARBAGE COLLECT
971.18/973.60 c #Conflicts: 866000 | #Constraints: 19219
971.18/973.60 c #Conflicts: 867000 | #Constraints: 20219
971.18/973.60 c #Conflicts: 868000 | #Constraints: 21219
971.18/973.60 c #Conflicts: 869000 | #Constraints: 22219
971.18/973.60 c #Conflicts: 870000 | #Constraints: 23219
971.18/973.60 c #Conflicts: 871000 | #Constraints: 24219
971.18/973.60 c #Conflicts: 872000 | #Constraints: 25219
971.18/973.60 c #Conflicts: 873000 | #Constraints: 26219
971.18/973.60 c #Conflicts: 874000 | #Constraints: 27219
971.18/973.60 c #Conflicts: 875000 | #Constraints: 28219
971.18/973.60 c #Conflicts: 876000 | #Constraints: 29219
971.18/973.60 c #Conflicts: 877000 | #Constraints: 30219
971.18/973.60 c #Conflicts: 878000 | #Constraints: 31219
971.18/973.60 c #Conflicts: 879000 | #Constraints: 32219
971.18/973.60 c #Conflicts: 880000 | #Constraints: 33219
971.18/973.60 c #Conflicts: 881000 | #Constraints: 34219
971.18/973.60 c #Conflicts: 882000 | #Constraints: 35219
971.18/973.60 c #Conflicts: 883000 | #Constraints: 36219
971.18/973.60 c #Conflicts: 884000 | #Constraints: 37219
971.18/973.60 c INPROCESSING
971.18/973.60 c GARBAGE COLLECT
971.18/973.60 c #Conflicts: 885000 | #Constraints: 19621
971.18/973.60 c #Conflicts: 886000 | #Constraints: 20621
971.18/973.60 c #Conflicts: 887000 | #Constraints: 21621
971.18/973.60 c #Conflicts: 888000 | #Constraints: 22621
971.18/973.60 c #Conflicts: 889000 | #Constraints: 23621
971.18/973.60 c #Conflicts: 890000 | #Constraints: 24621
971.18/973.60 c #Conflicts: 891000 | #Constraints: 25621
971.18/973.60 c #Conflicts: 892000 | #Constraints: 26621
971.18/973.60 c #Conflicts: 893000 | #Constraints: 27621
971.18/973.60 c #Conflicts: 894000 | #Constraints: 28621
971.18/973.60 c #Conflicts: 895000 | #Constraints: 29621
971.18/973.60 c #Conflicts: 896000 | #Constraints: 30621
971.18/973.60 c #Conflicts: 897000 | #Constraints: 31621
971.18/973.60 c #Conflicts: 898000 | #Constraints: 32621
971.18/973.60 c #Conflicts: 899000 | #Constraints: 33621
971.18/973.60 c #Conflicts: 900000 | #Constraints: 34621
971.18/973.60 c #Conflicts: 901000 | #Constraints: 35621
971.18/973.60 c #Conflicts: 902000 | #Constraints: 36621
971.18/973.60 c #Conflicts: 903000 | #Constraints: 37621
1100.06/1102.87 c INPROCESSING
1100.06/1102.87 c GARBAGE COLLECT
1100.06/1102.87 c #Conflicts: 904000 | #Constraints: 19820
1100.06/1102.87 c #Conflicts: 905000 | #Constraints: 20820
1100.06/1102.87 c #Conflicts: 906000 | #Constraints: 21820
1100.06/1102.87 c #Conflicts: 907000 | #Constraints: 22820
1100.06/1102.87 c #Conflicts: 908000 | #Constraints: 23820
1100.06/1102.87 c #Conflicts: 909000 | #Constraints: 24820
1100.06/1102.87 c #Conflicts: 910000 | #Constraints: 25820
1100.06/1102.87 c #Conflicts: 911000 | #Constraints: 26820
1100.06/1102.87 c #Conflicts: 912000 | #Constraints: 27820
1100.06/1102.87 c #Conflicts: 913000 | #Constraints: 28820
1100.06/1102.87 c #Conflicts: 914000 | #Constraints: 29820
1100.06/1102.87 c #Conflicts: 915000 | #Constraints: 30820
1100.06/1102.87 c #Conflicts: 916000 | #Constraints: 31820
1100.06/1102.87 c #Conflicts: 917000 | #Constraints: 32820
1100.06/1102.87 c #Conflicts: 918000 | #Constraints: 33820
1100.06/1102.87 c #Conflicts: 919000 | #Constraints: 34820
1100.06/1102.87 c #Conflicts: 920000 | #Constraints: 35820
1100.06/1102.87 c #Conflicts: 921000 | #Constraints: 36820
1100.06/1102.87 c #Conflicts: 922000 | #Constraints: 37820
1100.06/1102.88 c INPROCESSING
1100.06/1102.88 c GARBAGE COLLECT
1100.06/1102.88 c #Conflicts: 923000 | #Constraints: 19819
1100.06/1102.88 c #Conflicts: 924000 | #Constraints: 20819
1100.06/1102.88 c #Conflicts: 925000 | #Constraints: 21819
1100.06/1102.88 c #Conflicts: 926000 | #Constraints: 22819
1100.06/1102.88 c #Conflicts: 927000 | #Constraints: 23819
1100.06/1102.88 c #Conflicts: 928000 | #Constraints: 24819
1100.06/1102.88 c #Conflicts: 929000 | #Constraints: 25819
1100.06/1102.88 c #Conflicts: 930000 | #Constraints: 26819
1100.06/1102.88 c #Conflicts: 931000 | #Constraints: 27819
1100.06/1102.88 c #Conflicts: 932000 | #Constraints: 28819
1100.06/1102.88 c #Conflicts: 933000 | #Constraints: 29819
1100.06/1102.88 c #Conflicts: 934000 | #Constraints: 30819
1100.06/1102.88 c #Conflicts: 935000 | #Constraints: 31819
1100.06/1102.88 c #Conflicts: 936000 | #Constraints: 32819
1100.06/1102.88 c #Conflicts: 937000 | #Constraints: 33819
1100.06/1102.88 c #Conflicts: 938000 | #Constraints: 34819
1100.06/1102.88 c #Conflicts: 939000 | #Constraints: 35819
1100.06/1102.88 c #Conflicts: 940000 | #Constraints: 36819
1100.06/1102.88 c #Conflicts: 941000 | #Constraints: 37819
1100.06/1102.88 c INPROCESSING
1100.06/1102.88 c GARBAGE COLLECT
1100.06/1102.88 c #Conflicts: 942000 | #Constraints: 19621
1100.06/1102.88 c #Conflicts: 943000 | #Constraints: 20621
1100.06/1102.88 c #Conflicts: 944000 | #Constraints: 21621
1100.06/1102.88 c #Conflicts: 945000 | #Constraints: 22621
1100.06/1102.88 c #Conflicts: 946000 | #Constraints: 23621
1100.06/1102.88 c #Conflicts: 947000 | #Constraints: 24621
1100.06/1102.88 c #Conflicts: 948000 | #Constraints: 25621
1100.06/1102.88 c #Conflicts: 949000 | #Constraints: 26621
1100.06/1102.88 c #Conflicts: 950000 | #Constraints: 27621
1100.06/1102.88 c #Conflicts: 951000 | #Constraints: 28621
1100.06/1102.88 c #Conflicts: 952000 | #Constraints: 29621
1100.06/1102.88 c #Conflicts: 953000 | #Constraints: 30621
1100.06/1102.88 c #Conflicts: 954000 | #Constraints: 31621
1100.06/1102.88 c #Conflicts: 955000 | #Constraints: 32621
1100.06/1102.88 c #Conflicts: 956000 | #Constraints: 33621
1100.06/1102.88 c #Conflicts: 957000 | #Constraints: 34621
1100.06/1102.88 c #Conflicts: 958000 | #Constraints: 35621
1100.06/1102.88 c #Conflicts: 959000 | #Constraints: 36621
1100.06/1102.88 c #Conflicts: 960000 | #Constraints: 37621
1100.06/1102.88 c #Conflicts: 961000 | #Constraints: 38621
1100.06/1102.88 c INPROCESSING
1100.06/1102.88 c GARBAGE COLLECT
1100.06/1102.88 c #Conflicts: 962000 | #Constraints: 20222
1100.06/1102.88 c #Conflicts: 963000 | #Constraints: 21222
1100.06/1102.88 c #Conflicts: 964000 | #Constraints: 22222
1100.06/1102.88 c #Conflicts: 965000 | #Constraints: 23222
1100.06/1102.88 c #Conflicts: 966000 | #Constraints: 24222
1100.06/1102.88 c #Conflicts: 967000 | #Constraints: 25222
1100.06/1102.88 c #Conflicts: 968000 | #Constraints: 26222
1100.06/1102.88 c #Conflicts: 969000 | #Constraints: 27222
1100.06/1102.88 c #Conflicts: 970000 | #Constraints: 28222
1100.06/1102.88 c #Conflicts: 971000 | #Constraints: 29222
1100.06/1102.88 c #Conflicts: 972000 | #Constraints: 30222
1100.06/1102.88 c #Conflicts: 973000 | #Constraints: 31222
1100.06/1102.88 c #Conflicts: 974000 | #Constraints: 32222
1100.06/1102.88 c #Conflicts: 975000 | #Constraints: 33222
1100.06/1102.88 c #Conflicts: 976000 | #Constraints: 34222
1100.06/1102.88 c #Conflicts: 977000 | #Constraints: 35222
1100.06/1102.88 c #Conflicts: 978000 | #Constraints: 36222
1100.06/1102.88 c #Conflicts: 979000 | #Constraints: 37222
1100.06/1102.88 c #Conflicts: 980000 | #Constraints: 38222
1232.52/1235.65 c #Conflicts: 981000 | #Constraints: 39222
1232.52/1235.65 c INPROCESSING
1232.52/1235.65 c GARBAGE COLLECT
1232.52/1235.65 c #Conflicts: 982000 | #Constraints: 20623
1232.52/1235.65 c #Conflicts: 983000 | #Constraints: 21623
1232.52/1235.65 c #Conflicts: 984000 | #Constraints: 22623
1232.52/1235.65 c #Conflicts: 985000 | #Constraints: 23623
1232.52/1235.65 c #Conflicts: 986000 | #Constraints: 24623
1232.52/1235.65 c #Conflicts: 987000 | #Constraints: 25623
1232.52/1235.65 c #Conflicts: 988000 | #Constraints: 26623
1232.52/1235.65 c #Conflicts: 989000 | #Constraints: 27623
1232.52/1235.65 c #Conflicts: 990000 | #Constraints: 28623
1232.52/1235.65 c #Conflicts: 991000 | #Constraints: 29623
1232.52/1235.65 c #Conflicts: 992000 | #Constraints: 30623
1232.52/1235.65 c #Conflicts: 993000 | #Constraints: 31623
1232.52/1235.65 c #Conflicts: 994000 | #Constraints: 32623
1232.52/1235.65 c #Conflicts: 995000 | #Constraints: 33623
1232.52/1235.65 c #Conflicts: 996000 | #Constraints: 34623
1232.52/1235.65 c #Conflicts: 997000 | #Constraints: 35623
1232.52/1235.65 c #Conflicts: 998000 | #Constraints: 36623
1232.52/1235.65 c #Conflicts: 999000 | #Constraints: 37623
1232.52/1235.65 c #Conflicts: 1000000 | #Constraints: 38623
1232.52/1235.65 c #Conflicts: 1001000 | #Constraints: 39623
1232.52/1235.65 c INPROCESSING
1232.52/1235.65 c GARBAGE COLLECT
1232.52/1235.65 c #Conflicts: 1002000 | #Constraints: 20823
1232.52/1235.65 c #Conflicts: 1003000 | #Constraints: 21823
1232.52/1235.65 c #Conflicts: 1004000 | #Constraints: 22823
1232.52/1235.65 c #Conflicts: 1005000 | #Constraints: 23823
1232.52/1235.65 c #Conflicts: 1006000 | #Constraints: 24823
1232.52/1235.65 c #Conflicts: 1007000 | #Constraints: 25823
1232.52/1235.65 c #Conflicts: 1008000 | #Constraints: 26823
1232.52/1235.65 c #Conflicts: 1009000 | #Constraints: 27823
1232.52/1235.65 c #Conflicts: 1010000 | #Constraints: 28823
1232.52/1235.65 c #Conflicts: 1011000 | #Constraints: 29823
1232.52/1235.65 c #Conflicts: 1012000 | #Constraints: 30823
1232.52/1235.65 c #Conflicts: 1013000 | #Constraints: 31823
1232.52/1235.65 c #Conflicts: 1014000 | #Constraints: 32823
1232.52/1235.65 c #Conflicts: 1015000 | #Constraints: 33823
1232.52/1235.65 c #Conflicts: 1016000 | #Constraints: 34823
1232.52/1235.65 c #Conflicts: 1017000 | #Constraints: 35823
1232.52/1235.65 c #Conflicts: 1018000 | #Constraints: 36823
1232.52/1235.65 c #Conflicts: 1019000 | #Constraints: 37823
1232.52/1235.65 c #Conflicts: 1020000 | #Constraints: 38823
1232.52/1235.65 c #Conflicts: 1021000 | #Constraints: 39823
1232.52/1235.65 c INPROCESSING
1232.52/1235.65 c GARBAGE COLLECT
1232.52/1235.65 c #Conflicts: 1022000 | #Constraints: 20824
1232.52/1235.65 c #Conflicts: 1023000 | #Constraints: 21824
1232.52/1235.65 c #Conflicts: 1024000 | #Constraints: 22824
1232.52/1235.65 c #Conflicts: 1025000 | #Constraints: 23824
1232.52/1235.65 c #Conflicts: 1026000 | #Constraints: 24824
1232.52/1235.65 c #Conflicts: 1027000 | #Constraints: 25824
1232.52/1235.65 c #Conflicts: 1028000 | #Constraints: 26824
1232.52/1235.65 c #Conflicts: 1029000 | #Constraints: 27824
1232.52/1235.65 c #Conflicts: 1030000 | #Constraints: 28824
1232.52/1235.65 c #Conflicts: 1031000 | #Constraints: 29824
1232.52/1235.65 c #Conflicts: 1032000 | #Constraints: 30824
1232.52/1235.65 c #Conflicts: 1033000 | #Constraints: 31824
1232.52/1235.65 c #Conflicts: 1034000 | #Constraints: 32824
1232.52/1235.65 c #Conflicts: 1035000 | #Constraints: 33824
1232.52/1235.65 c #Conflicts: 1036000 | #Constraints: 34824
1232.52/1235.65 c #Conflicts: 1037000 | #Constraints: 35824
1232.52/1235.65 c #Conflicts: 1038000 | #Constraints: 36824
1232.52/1235.65 c #Conflicts: 1039000 | #Constraints: 37824
1232.52/1235.65 c #Conflicts: 1040000 | #Constraints: 38824
1232.52/1235.65 c #Conflicts: 1041000 | #Constraints: 39824
1232.52/1235.65 c INPROCESSING
1232.52/1235.65 c GARBAGE COLLECT
1232.52/1235.65 c #Conflicts: 1042000 | #Constraints: 20623
1232.52/1235.65 c #Conflicts: 1043000 | #Constraints: 21623
1232.52/1235.65 c #Conflicts: 1044000 | #Constraints: 22623
1232.52/1235.65 c #Conflicts: 1045000 | #Constraints: 23623
1232.52/1235.65 c #Conflicts: 1046000 | #Constraints: 24623
1232.52/1235.65 c #Conflicts: 1047000 | #Constraints: 25623
1232.52/1235.65 c #Conflicts: 1048000 | #Constraints: 26623
1232.52/1235.65 c #Conflicts: 1049000 | #Constraints: 27623
1232.52/1235.65 c #Conflicts: 1050000 | #Constraints: 28623
1232.52/1235.65 c #Conflicts: 1051000 | #Constraints: 29623
1232.52/1235.65 c #Conflicts: 1052000 | #Constraints: 30623
1232.52/1235.65 c #Conflicts: 1053000 | #Constraints: 31623
1232.52/1235.65 c #Conflicts: 1054000 | #Constraints: 32623
1232.52/1235.65 c #Conflicts: 1055000 | #Constraints: 33623
1232.52/1235.65 c #Conflicts: 1056000 | #Constraints: 34623
1366.09/1369.54 c #Conflicts: 1057000 | #Constraints: 35623
1366.09/1369.54 c #Conflicts: 1058000 | #Constraints: 36623
1366.09/1369.54 c #Conflicts: 1059000 | #Constraints: 37623
1366.09/1369.54 c #Conflicts: 1060000 | #Constraints: 38623
1366.09/1369.54 c #Conflicts: 1061000 | #Constraints: 39623
1366.09/1369.54 c #Conflicts: 1062000 | #Constraints: 40623
1366.09/1369.54 c INPROCESSING
1366.09/1369.54 c GARBAGE COLLECT
1366.09/1369.54 c #Conflicts: 1063000 | #Constraints: 21225
1366.09/1369.54 c #Conflicts: 1064000 | #Constraints: 22225
1366.09/1369.54 c #Conflicts: 1065000 | #Constraints: 23225
1366.09/1369.54 c #Conflicts: 1066000 | #Constraints: 24225
1366.09/1369.54 c #Conflicts: 1067000 | #Constraints: 25225
1366.09/1369.54 c #Conflicts: 1068000 | #Constraints: 26225
1366.09/1369.54 c #Conflicts: 1069000 | #Constraints: 27225
1366.09/1369.54 c #Conflicts: 1070000 | #Constraints: 28225
1366.09/1369.54 c #Conflicts: 1071000 | #Constraints: 29225
1366.09/1369.54 c #Conflicts: 1072000 | #Constraints: 30225
1366.09/1369.54 c #Conflicts: 1073000 | #Constraints: 31225
1366.09/1369.54 c #Conflicts: 1074000 | #Constraints: 32225
1366.09/1369.54 c #Conflicts: 1075000 | #Constraints: 33225
1366.09/1369.54 c #Conflicts: 1076000 | #Constraints: 34225
1366.09/1369.54 c #Conflicts: 1077000 | #Constraints: 35225
1366.09/1369.54 c #Conflicts: 1078000 | #Constraints: 36225
1366.09/1369.54 c #Conflicts: 1079000 | #Constraints: 37225
1366.09/1369.54 c #Conflicts: 1080000 | #Constraints: 38225
1366.09/1369.54 c #Conflicts: 1081000 | #Constraints: 39225
1366.09/1369.54 c #Conflicts: 1082000 | #Constraints: 40225
1366.09/1369.54 c #Conflicts: 1083000 | #Constraints: 41225
1366.09/1369.54 c INPROCESSING
1366.09/1369.54 c GARBAGE COLLECT
1366.09/1369.54 c #Conflicts: 1084000 | #Constraints: 21622
1366.09/1369.54 c #Conflicts: 1085000 | #Constraints: 22622
1366.09/1369.54 c #Conflicts: 1086000 | #Constraints: 23622
1366.09/1369.54 c #Conflicts: 1087000 | #Constraints: 24622
1366.09/1369.54 c #Conflicts: 1088000 | #Constraints: 25622
1366.09/1369.54 c #Conflicts: 1089000 | #Constraints: 26622
1366.09/1369.54 c #Conflicts: 1090000 | #Constraints: 27622
1366.09/1369.54 c #Conflicts: 1091000 | #Constraints: 28622
1366.09/1369.54 c #Conflicts: 1092000 | #Constraints: 29622
1366.09/1369.54 c #Conflicts: 1093000 | #Constraints: 30622
1366.09/1369.54 c #Conflicts: 1094000 | #Constraints: 31622
1366.09/1369.54 c #Conflicts: 1095000 | #Constraints: 32622
1366.09/1369.54 c #Conflicts: 1096000 | #Constraints: 33622
1366.09/1369.54 c #Conflicts: 1097000 | #Constraints: 34622
1366.09/1369.54 c #Conflicts: 1098000 | #Constraints: 35622
1366.09/1369.54 c #Conflicts: 1099000 | #Constraints: 36622
1366.09/1369.54 c #Conflicts: 1100000 | #Constraints: 37622
1366.09/1369.54 c #Conflicts: 1101000 | #Constraints: 38622
1366.09/1369.54 c #Conflicts: 1102000 | #Constraints: 39622
1366.09/1369.54 c #Conflicts: 1103000 | #Constraints: 40622
1366.09/1369.54 c #Conflicts: 1104000 | #Constraints: 41622
1366.09/1369.54 c INPROCESSING
1366.09/1369.54 c GARBAGE COLLECT
1366.09/1369.54 c #Conflicts: 1105000 | #Constraints: 21825
1366.09/1369.54 c #Conflicts: 1106000 | #Constraints: 22825
1366.09/1369.54 c #Conflicts: 1107000 | #Constraints: 23825
1366.09/1369.54 c #Conflicts: 1108000 | #Constraints: 24825
1366.09/1369.54 c #Conflicts: 1109000 | #Constraints: 25825
1366.09/1369.54 c #Conflicts: 1110000 | #Constraints: 26825
1366.09/1369.54 c #Conflicts: 1111000 | #Constraints: 27825
1366.09/1369.54 c #Conflicts: 1112000 | #Constraints: 28825
1366.09/1369.54 c #Conflicts: 1113000 | #Constraints: 29825
1366.09/1369.54 c #Conflicts: 1114000 | #Constraints: 30825
1366.09/1369.54 c #Conflicts: 1115000 | #Constraints: 31825
1366.09/1369.54 c #Conflicts: 1116000 | #Constraints: 32825
1366.09/1369.54 c #Conflicts: 1117000 | #Constraints: 33825
1366.09/1369.54 c #Conflicts: 1118000 | #Constraints: 34825
1366.09/1369.54 c #Conflicts: 1119000 | #Constraints: 35825
1366.09/1369.54 c #Conflicts: 1120000 | #Constraints: 36825
1366.09/1369.54 c #Conflicts: 1121000 | #Constraints: 37825
1366.09/1369.54 c #Conflicts: 1122000 | #Constraints: 38825
1366.09/1369.54 c #Conflicts: 1123000 | #Constraints: 39825
1366.09/1369.54 c #Conflicts: 1124000 | #Constraints: 40825
1366.09/1369.54 c #Conflicts: 1125000 | #Constraints: 41825
1366.09/1369.54 c INPROCESSING
1366.09/1369.54 c GARBAGE COLLECT
1366.09/1369.54 c #Conflicts: 1126000 | #Constraints: 21825
1366.09/1369.54 c #Conflicts: 1127000 | #Constraints: 22825
1366.09/1369.54 c #Conflicts: 1128000 | #Constraints: 23825
1366.09/1369.54 c #Conflicts: 1129000 | #Constraints: 24825
1366.09/1369.54 c #Conflicts: 1130000 | #Constraints: 25825
1366.09/1369.54 c #Conflicts: 1131000 | #Constraints: 26825
1366.09/1369.54 c #Conflicts: 1132000 | #Constraints: 27825
1500.16/1503.91 c #Conflicts: 1133000 | #Constraints: 28825
1500.16/1503.91 c #Conflicts: 1134000 | #Constraints: 29825
1500.16/1503.91 c #Conflicts: 1135000 | #Constraints: 30825
1500.16/1503.91 c #Conflicts: 1136000 | #Constraints: 31825
1500.16/1503.91 c #Conflicts: 1137000 | #Constraints: 32825
1500.16/1503.91 c #Conflicts: 1138000 | #Constraints: 33825
1500.16/1503.91 c #Conflicts: 1139000 | #Constraints: 34825
1500.16/1503.91 c #Conflicts: 1140000 | #Constraints: 35825
1500.16/1503.91 c #Conflicts: 1141000 | #Constraints: 36825
1500.16/1503.91 c #Conflicts: 1142000 | #Constraints: 37825
1500.16/1503.91 c #Conflicts: 1143000 | #Constraints: 38825
1500.16/1503.91 c #Conflicts: 1144000 | #Constraints: 39825
1500.16/1503.91 c #Conflicts: 1145000 | #Constraints: 40825
1500.16/1503.91 c #Conflicts: 1146000 | #Constraints: 41825
1500.16/1503.91 c INPROCESSING
1500.16/1503.91 c GARBAGE COLLECT
1500.16/1503.91 c #Conflicts: 1147000 | #Constraints: 21625
1500.16/1503.91 c #Conflicts: 1148000 | #Constraints: 22625
1500.16/1503.91 c #Conflicts: 1149000 | #Constraints: 23625
1500.16/1503.91 c #Conflicts: 1150000 | #Constraints: 24625
1500.16/1503.91 c #Conflicts: 1151000 | #Constraints: 25625
1500.16/1503.91 c #Conflicts: 1152000 | #Constraints: 26625
1500.16/1503.91 c #Conflicts: 1153000 | #Constraints: 27625
1500.16/1503.91 c #Conflicts: 1154000 | #Constraints: 28625
1500.16/1503.91 c #Conflicts: 1155000 | #Constraints: 29625
1500.16/1503.91 c #Conflicts: 1156000 | #Constraints: 30625
1500.16/1503.91 c #Conflicts: 1157000 | #Constraints: 31625
1500.16/1503.91 c #Conflicts: 1158000 | #Constraints: 32625
1500.16/1503.91 c #Conflicts: 1159000 | #Constraints: 33625
1500.16/1503.91 c #Conflicts: 1160000 | #Constraints: 34625
1500.16/1503.91 c #Conflicts: 1161000 | #Constraints: 35625
1500.16/1503.91 c #Conflicts: 1162000 | #Constraints: 36625
1500.16/1503.91 c #Conflicts: 1163000 | #Constraints: 37625
1500.16/1503.91 c #Conflicts: 1164000 | #Constraints: 38625
1500.16/1503.91 c #Conflicts: 1165000 | #Constraints: 39625
1500.16/1503.91 c #Conflicts: 1166000 | #Constraints: 40625
1500.16/1503.91 c #Conflicts: 1167000 | #Constraints: 41625
1500.16/1503.91 c #Conflicts: 1168000 | #Constraints: 42625
1500.16/1503.91 c INPROCESSING
1500.16/1503.91 c GARBAGE COLLECT
1500.16/1503.91 c #Conflicts: 1169000 | #Constraints: 22223
1500.16/1503.91 c #Conflicts: 1170000 | #Constraints: 23223
1500.16/1503.91 c #Conflicts: 1171000 | #Constraints: 24223
1500.16/1503.91 c #Conflicts: 1172000 | #Constraints: 25223
1500.16/1503.91 c #Conflicts: 1173000 | #Constraints: 26223
1500.16/1503.91 c #Conflicts: 1174000 | #Constraints: 27223
1500.16/1503.91 c #Conflicts: 1175000 | #Constraints: 28223
1500.16/1503.91 c #Conflicts: 1176000 | #Constraints: 29223
1500.16/1503.91 c #Conflicts: 1177000 | #Constraints: 30223
1500.16/1503.91 c #Conflicts: 1178000 | #Constraints: 31223
1500.16/1503.91 c #Conflicts: 1179000 | #Constraints: 32223
1500.16/1503.91 c #Conflicts: 1180000 | #Constraints: 33223
1500.16/1503.91 c #Conflicts: 1181000 | #Constraints: 34223
1500.16/1503.91 c #Conflicts: 1182000 | #Constraints: 35223
1500.16/1503.91 c #Conflicts: 1183000 | #Constraints: 36223
1500.16/1503.91 c #Conflicts: 1184000 | #Constraints: 37223
1500.16/1503.91 c #Conflicts: 1185000 | #Constraints: 38223
1500.16/1503.91 c #Conflicts: 1186000 | #Constraints: 39223
1500.16/1503.91 c #Conflicts: 1187000 | #Constraints: 40223
1500.16/1503.91 c #Conflicts: 1188000 | #Constraints: 41223
1500.16/1503.91 c #Conflicts: 1189000 | #Constraints: 42223
1500.16/1503.91 c #Conflicts: 1190000 | #Constraints: 43223
1500.16/1503.91 c INPROCESSING
1500.16/1503.91 c GARBAGE COLLECT
1500.16/1503.91 c #Conflicts: 1191000 | #Constraints: 22623
1500.16/1503.91 c #Conflicts: 1192000 | #Constraints: 23623
1500.16/1503.91 c #Conflicts: 1193000 | #Constraints: 24623
1500.16/1503.91 c #Conflicts: 1194000 | #Constraints: 25623
1500.16/1503.91 c #Conflicts: 1195000 | #Constraints: 26623
1500.16/1503.91 c #Conflicts: 1196000 | #Constraints: 27623
1500.16/1503.91 c #Conflicts: 1197000 | #Constraints: 28623
1500.16/1503.91 c #Conflicts: 1198000 | #Constraints: 29623
1500.16/1503.91 c #Conflicts: 1199000 | #Constraints: 30623
1500.16/1503.91 c #Conflicts: 1200000 | #Constraints: 31623
1500.16/1503.91 c #Conflicts: 1201000 | #Constraints: 32623
1500.16/1503.91 c #Conflicts: 1202000 | #Constraints: 33623
1500.16/1503.91 c #Conflicts: 1203000 | #Constraints: 34623
1500.16/1503.91 c #Conflicts: 1204000 | #Constraints: 35623
1500.16/1503.91 c #Conflicts: 1205000 | #Constraints: 36623
1500.16/1503.91 c #Conflicts: 1206000 | #Constraints: 37623
1500.16/1503.91 c #Conflicts: 1207000 | #Constraints: 38623
1500.16/1503.91 c #Conflicts: 1208000 | #Constraints: 39623
1500.16/1503.91 c #Conflicts: 1209000 | #Constraints: 40623
1636.22/1640.32 c #Conflicts: 1210000 | #Constraints: 41623
1636.22/1640.32 c #Conflicts: 1211000 | #Constraints: 42623
1636.22/1640.32 c #Conflicts: 1212000 | #Constraints: 43623
1636.22/1640.32 c INPROCESSING
1636.22/1640.32 c GARBAGE COLLECT
1636.22/1640.32 c #Conflicts: 1213000 | #Constraints: 22822
1636.22/1640.32 c #Conflicts: 1214000 | #Constraints: 23822
1636.22/1640.32 c #Conflicts: 1215000 | #Constraints: 24822
1636.22/1640.32 c #Conflicts: 1216000 | #Constraints: 25822
1636.22/1640.32 c #Conflicts: 1217000 | #Constraints: 26822
1636.22/1640.32 c #Conflicts: 1218000 | #Constraints: 27822
1636.22/1640.32 c #Conflicts: 1219000 | #Constraints: 28822
1636.22/1640.32 c #Conflicts: 1220000 | #Constraints: 29822
1636.22/1640.32 c #Conflicts: 1221000 | #Constraints: 30822
1636.22/1640.32 c #Conflicts: 1222000 | #Constraints: 31822
1636.22/1640.32 c #Conflicts: 1223000 | #Constraints: 32822
1636.22/1640.32 c #Conflicts: 1224000 | #Constraints: 33822
1636.22/1640.32 c #Conflicts: 1225000 | #Constraints: 34822
1636.22/1640.32 c #Conflicts: 1226000 | #Constraints: 35822
1636.22/1640.32 c #Conflicts: 1227000 | #Constraints: 36822
1636.22/1640.32 c #Conflicts: 1228000 | #Constraints: 37822
1636.22/1640.32 c #Conflicts: 1229000 | #Constraints: 38822
1636.22/1640.32 c #Conflicts: 1230000 | #Constraints: 39822
1636.22/1640.32 c #Conflicts: 1231000 | #Constraints: 40822
1636.22/1640.32 c #Conflicts: 1232000 | #Constraints: 41822
1636.22/1640.32 c #Conflicts: 1233000 | #Constraints: 42822
1636.22/1640.32 c #Conflicts: 1234000 | #Constraints: 43822
1636.22/1640.32 c INPROCESSING
1636.22/1640.32 c GARBAGE COLLECT
1636.22/1640.32 c #Conflicts: 1235000 | #Constraints: 22820
1636.22/1640.32 c #Conflicts: 1236000 | #Constraints: 23820
1636.22/1640.32 c #Conflicts: 1237000 | #Constraints: 24820
1636.22/1640.32 c #Conflicts: 1238000 | #Constraints: 25820
1636.22/1640.32 c #Conflicts: 1239000 | #Constraints: 26820
1636.22/1640.32 c #Conflicts: 1240000 | #Constraints: 27820
1636.22/1640.32 c #Conflicts: 1241000 | #Constraints: 28820
1636.22/1640.32 c #Conflicts: 1242000 | #Constraints: 29820
1636.22/1640.32 c #Conflicts: 1243000 | #Constraints: 30820
1636.22/1640.32 c #Conflicts: 1244000 | #Constraints: 31820
1636.22/1640.32 c #Conflicts: 1245000 | #Constraints: 32820
1636.22/1640.32 c #Conflicts: 1246000 | #Constraints: 33820
1636.22/1640.32 c #Conflicts: 1247000 | #Constraints: 34820
1636.22/1640.32 c #Conflicts: 1248000 | #Constraints: 35820
1636.22/1640.32 c #Conflicts: 1249000 | #Constraints: 36820
1636.22/1640.32 c #Conflicts: 1250000 | #Constraints: 37820
1636.22/1640.32 c #Conflicts: 1251000 | #Constraints: 38820
1636.22/1640.32 c #Conflicts: 1252000 | #Constraints: 39820
1636.22/1640.32 c #Conflicts: 1253000 | #Constraints: 40820
1636.22/1640.32 c #Conflicts: 1254000 | #Constraints: 41820
1636.22/1640.32 c #Conflicts: 1255000 | #Constraints: 42820
1636.22/1640.32 c #Conflicts: 1256000 | #Constraints: 43820
1636.22/1640.32 c INPROCESSING
1636.22/1640.32 c GARBAGE COLLECT
1636.22/1640.32 c #Conflicts: 1257000 | #Constraints: 22621
1636.22/1640.32 c #Conflicts: 1258000 | #Constraints: 23621
1636.22/1640.32 c #Conflicts: 1259000 | #Constraints: 24621
1636.22/1640.32 c #Conflicts: 1260000 | #Constraints: 25621
1636.22/1640.32 c #Conflicts: 1261000 | #Constraints: 26621
1636.22/1640.32 c #Conflicts: 1262000 | #Constraints: 27621
1636.22/1640.32 c #Conflicts: 1263000 | #Constraints: 28621
1636.22/1640.32 c #Conflicts: 1264000 | #Constraints: 29621
1636.22/1640.32 c #Conflicts: 1265000 | #Constraints: 30621
1636.22/1640.32 c #Conflicts: 1266000 | #Constraints: 31621
1636.22/1640.32 c #Conflicts: 1267000 | #Constraints: 32621
1636.22/1640.32 c #Conflicts: 1268000 | #Constraints: 33621
1636.22/1640.32 c #Conflicts: 1269000 | #Constraints: 34621
1636.22/1640.32 c #Conflicts: 1270000 | #Constraints: 35621
1636.22/1640.32 c #Conflicts: 1271000 | #Constraints: 36621
1636.22/1640.32 c #Conflicts: 1272000 | #Constraints: 37621
1636.22/1640.32 c #Conflicts: 1273000 | #Constraints: 38621
1636.22/1640.32 c #Conflicts: 1274000 | #Constraints: 39621
1636.22/1640.32 c #Conflicts: 1275000 | #Constraints: 40621
1636.22/1640.32 c #Conflicts: 1276000 | #Constraints: 41621
1636.22/1640.32 c #Conflicts: 1277000 | #Constraints: 42621
1636.22/1640.32 c #Conflicts: 1278000 | #Constraints: 43621
1636.22/1640.32 c #Conflicts: 1279000 | #Constraints: 44621
1636.22/1640.32 c INPROCESSING
1636.22/1640.32 c GARBAGE COLLECT
1636.22/1640.32 c #Conflicts: 1280000 | #Constraints: 23222
1636.22/1640.32 c #Conflicts: 1281000 | #Constraints: 24222
1636.22/1640.32 c #Conflicts: 1282000 | #Constraints: 25222
1636.22/1640.32 c #Conflicts: 1283000 | #Constraints: 26222
1636.22/1640.32 c #Conflicts: 1284000 | #Constraints: 27222
1636.22/1640.32 c #Conflicts: 1285000 | #Constraints: 28222
1779.59/1784.07 c #Conflicts: 1286000 | #Constraints: 29222
1779.59/1784.07 c #Conflicts: 1287000 | #Constraints: 30222
1779.59/1784.07 c #Conflicts: 1288000 | #Constraints: 31222
1779.59/1784.07 c #Conflicts: 1289000 | #Constraints: 32222
1779.59/1784.07 c #Conflicts: 1290000 | #Constraints: 33222
1779.59/1784.07 c #Conflicts: 1291000 | #Constraints: 34222
1779.59/1784.07 c #Conflicts: 1292000 | #Constraints: 35222
1779.59/1784.07 c #Conflicts: 1293000 | #Constraints: 36222
1779.59/1784.07 c #Conflicts: 1294000 | #Constraints: 37222
1779.59/1784.07 c #Conflicts: 1295000 | #Constraints: 38222
1779.59/1784.07 c #Conflicts: 1296000 | #Constraints: 39222
1779.59/1784.07 c #Conflicts: 1297000 | #Constraints: 40222
1779.59/1784.07 c #Conflicts: 1298000 | #Constraints: 41222
1779.59/1784.07 c #Conflicts: 1299000 | #Constraints: 42222
1779.59/1784.07 c #Conflicts: 1300000 | #Constraints: 43222
1779.59/1784.07 c #Conflicts: 1301000 | #Constraints: 44222
1779.59/1784.07 c #Conflicts: 1302000 | #Constraints: 45222
1779.59/1784.07 c INPROCESSING
1779.59/1784.07 c GARBAGE COLLECT
1779.59/1784.07 c #Conflicts: 1303000 | #Constraints: 23620
1779.59/1784.07 c #Conflicts: 1304000 | #Constraints: 24620
1779.59/1784.07 c #Conflicts: 1305000 | #Constraints: 25620
1779.59/1784.07 c #Conflicts: 1306000 | #Constraints: 26620
1779.59/1784.07 c #Conflicts: 1307000 | #Constraints: 27620
1779.59/1784.07 c #Conflicts: 1308000 | #Constraints: 28620
1779.59/1784.07 c #Conflicts: 1309000 | #Constraints: 29620
1779.59/1784.07 c #Conflicts: 1310000 | #Constraints: 30620
1779.59/1784.07 c #Conflicts: 1311000 | #Constraints: 31620
1779.59/1784.07 c #Conflicts: 1312000 | #Constraints: 32620
1779.59/1784.07 c #Conflicts: 1313000 | #Constraints: 33620
1779.59/1784.07 c #Conflicts: 1314000 | #Constraints: 34620
1779.59/1784.07 c #Conflicts: 1315000 | #Constraints: 35620
1779.59/1784.07 c #Conflicts: 1316000 | #Constraints: 36620
1779.59/1784.07 c #Conflicts: 1317000 | #Constraints: 37620
1779.59/1784.07 c #Conflicts: 1318000 | #Constraints: 38620
1779.59/1784.07 c #Conflicts: 1319000 | #Constraints: 39620
1779.59/1784.07 c #Conflicts: 1320000 | #Constraints: 40620
1779.59/1784.07 c #Conflicts: 1321000 | #Constraints: 41620
1779.59/1784.07 c #Conflicts: 1322000 | #Constraints: 42620
1779.59/1784.07 c #Conflicts: 1323000 | #Constraints: 43620
1779.59/1784.07 c #Conflicts: 1324000 | #Constraints: 44620
1779.59/1784.07 c #Conflicts: 1325000 | #Constraints: 45620
1779.59/1784.07 c INPROCESSING
1779.59/1784.07 c GARBAGE COLLECT
1779.59/1784.07 c #Conflicts: 1326000 | #Constraints: 23821
1779.59/1784.07 c #Conflicts: 1327000 | #Constraints: 24821
1779.59/1784.07 c #Conflicts: 1328000 | #Constraints: 25821
1779.59/1784.07 c #Conflicts: 1329000 | #Constraints: 26821
1779.59/1784.07 c #Conflicts: 1330000 | #Constraints: 27821
1779.59/1784.07 c #Conflicts: 1331000 | #Constraints: 28821
1779.59/1784.07 c #Conflicts: 1332000 | #Constraints: 29821
1779.59/1784.07 c #Conflicts: 1333000 | #Constraints: 30821
1779.59/1784.07 c #Conflicts: 1334000 | #Constraints: 31821
1779.59/1784.07 c #Conflicts: 1335000 | #Constraints: 32821
1779.59/1784.07 c #Conflicts: 1336000 | #Constraints: 33821
1779.59/1784.07 c #Conflicts: 1337000 | #Constraints: 34821
1779.59/1784.07 c #Conflicts: 1338000 | #Constraints: 35821
1779.59/1784.07 c #Conflicts: 1339000 | #Constraints: 36821
1779.59/1784.07 c #Conflicts: 1340000 | #Constraints: 37821
1779.59/1784.07 c #Conflicts: 1341000 | #Constraints: 38821
1779.59/1784.07 c #Conflicts: 1342000 | #Constraints: 39821
1779.59/1784.07 c #Conflicts: 1343000 | #Constraints: 40821
1779.59/1784.07 c #Conflicts: 1344000 | #Constraints: 41821
1779.59/1784.07 c #Conflicts: 1345000 | #Constraints: 42821
1779.59/1784.07 c #Conflicts: 1346000 | #Constraints: 43821
1779.59/1784.07 c #Conflicts: 1347000 | #Constraints: 44821
1779.59/1784.07 c #Conflicts: 1348000 | #Constraints: 45821
1779.59/1784.07 c INPROCESSING
1779.59/1784.07 c GARBAGE COLLECT
1779.59/1784.07 c #Conflicts: 1349000 | #Constraints: 23822
1779.59/1784.07 c #Conflicts: 1350000 | #Constraints: 24822
1779.59/1784.07 c #Conflicts: 1351000 | #Constraints: 25822
1779.59/1784.07 c #Conflicts: 1352000 | #Constraints: 26822
1779.59/1784.07 c #Conflicts: 1353000 | #Constraints: 27822
1779.59/1784.07 c #Conflicts: 1354000 | #Constraints: 28822
1779.59/1784.07 c #Conflicts: 1355000 | #Constraints: 29822
1779.59/1784.07 c #Conflicts: 1356000 | #Constraints: 30822
1779.59/1784.07 c #Conflicts: 1357000 | #Constraints: 31822
1779.59/1784.07 c #Conflicts: 1358000 | #Constraints: 32822
1779.59/1784.07 c #Conflicts: 1359000 | #Constraints: 33822
1779.59/1784.07 c #Conflicts: 1360000 | #Constraints: 34822
1779.59/1784.07 c #Conflicts: 1361000 | #Constraints: 35822
1779.59/1784.07 c #Conflicts: 1362000 | #Constraints: 36822
1926.51/1931.36 c #Conflicts: 1363000 | #Constraints: 37822
1926.51/1931.36 c #Conflicts: 1364000 | #Constraints: 38822
1926.51/1931.36 c #Conflicts: 1365000 | #Constraints: 39822
1926.51/1931.36 c #Conflicts: 1366000 | #Constraints: 40822
1926.51/1931.36 c #Conflicts: 1367000 | #Constraints: 41822
1926.51/1931.36 c #Conflicts: 1368000 | #Constraints: 42822
1926.51/1931.36 c #Conflicts: 1369000 | #Constraints: 43822
1926.51/1931.36 c #Conflicts: 1370000 | #Constraints: 44822
1926.51/1931.36 c #Conflicts: 1371000 | #Constraints: 45822
1926.51/1931.36 c INPROCESSING
1926.51/1931.36 c GARBAGE COLLECT
1926.51/1931.36 c #Conflicts: 1372000 | #Constraints: 23620
1926.51/1931.36 c #Conflicts: 1373000 | #Constraints: 24620
1926.51/1931.36 c #Conflicts: 1374000 | #Constraints: 25620
1926.51/1931.36 c #Conflicts: 1375000 | #Constraints: 26620
1926.51/1931.36 c #Conflicts: 1376000 | #Constraints: 27620
1926.51/1931.36 c #Conflicts: 1377000 | #Constraints: 28620
1926.51/1931.36 c #Conflicts: 1378000 | #Constraints: 29620
1926.51/1931.36 c #Conflicts: 1379000 | #Constraints: 30620
1926.51/1931.36 c #Conflicts: 1380000 | #Constraints: 31620
1926.51/1931.36 c #Conflicts: 1381000 | #Constraints: 32620
1926.51/1931.36 c #Conflicts: 1382000 | #Constraints: 33620
1926.51/1931.36 c #Conflicts: 1383000 | #Constraints: 34620
1926.51/1931.36 c #Conflicts: 1384000 | #Constraints: 35620
1926.51/1931.36 c #Conflicts: 1385000 | #Constraints: 36620
1926.51/1931.36 c #Conflicts: 1386000 | #Constraints: 37620
1926.51/1931.36 c #Conflicts: 1387000 | #Constraints: 38620
1926.51/1931.36 c #Conflicts: 1388000 | #Constraints: 39620
1926.51/1931.36 c #Conflicts: 1389000 | #Constraints: 40620
1926.51/1931.36 c #Conflicts: 1390000 | #Constraints: 41620
1926.51/1931.36 c #Conflicts: 1391000 | #Constraints: 42620
1926.51/1931.36 c #Conflicts: 1392000 | #Constraints: 43620
1926.51/1931.36 c #Conflicts: 1393000 | #Constraints: 44620
1926.51/1931.36 c #Conflicts: 1394000 | #Constraints: 45620
1926.51/1931.36 c #Conflicts: 1395000 | #Constraints: 46620
1926.51/1931.36 c INPROCESSING
1926.51/1931.36 c GARBAGE COLLECT
1926.51/1931.36 c #Conflicts: 1396000 | #Constraints: 24221
1926.51/1931.36 c #Conflicts: 1397000 | #Constraints: 25221
1926.51/1931.36 c #Conflicts: 1398000 | #Constraints: 26221
1926.51/1931.36 c #Conflicts: 1399000 | #Constraints: 27221
1926.51/1931.36 c #Conflicts: 1400000 | #Constraints: 28221
1926.51/1931.36 c #Conflicts: 1401000 | #Constraints: 29221
1926.51/1931.36 c #Conflicts: 1402000 | #Constraints: 30221
1926.51/1931.36 c #Conflicts: 1403000 | #Constraints: 31221
1926.51/1931.36 c #Conflicts: 1404000 | #Constraints: 32221
1926.51/1931.36 c #Conflicts: 1405000 | #Constraints: 33221
1926.51/1931.36 c #Conflicts: 1406000 | #Constraints: 34221
1926.51/1931.36 c #Conflicts: 1407000 | #Constraints: 35221
1926.51/1931.36 c #Conflicts: 1408000 | #Constraints: 36221
1926.51/1931.36 c #Conflicts: 1409000 | #Constraints: 37221
1926.51/1931.36 c #Conflicts: 1410000 | #Constraints: 38221
1926.51/1931.36 c #Conflicts: 1411000 | #Constraints: 39221
1926.51/1931.36 c #Conflicts: 1412000 | #Constraints: 40221
1926.51/1931.36 c #Conflicts: 1413000 | #Constraints: 41221
1926.51/1931.36 c #Conflicts: 1414000 | #Constraints: 42221
1926.51/1931.36 c #Conflicts: 1415000 | #Constraints: 43221
1926.51/1931.36 c #Conflicts: 1416000 | #Constraints: 44221
1926.51/1931.36 c #Conflicts: 1417000 | #Constraints: 45221
1926.51/1931.36 c #Conflicts: 1418000 | #Constraints: 46221
1926.51/1931.36 c #Conflicts: 1419000 | #Constraints: 47221
1926.51/1931.36 c INPROCESSING
1926.51/1931.36 c GARBAGE COLLECT
1926.51/1931.36 c #Conflicts: 1420000 | #Constraints: 24620
1926.51/1931.36 c #Conflicts: 1421000 | #Constraints: 25620
1926.51/1931.36 c #Conflicts: 1422000 | #Constraints: 26620
1926.51/1931.36 c #Conflicts: 1423000 | #Constraints: 27620
1926.51/1931.36 c #Conflicts: 1424000 | #Constraints: 28620
1926.51/1931.36 c #Conflicts: 1425000 | #Constraints: 29620
1926.51/1931.36 c #Conflicts: 1426000 | #Constraints: 30620
1926.51/1931.36 c #Conflicts: 1427000 | #Constraints: 31620
1926.51/1931.36 c #Conflicts: 1428000 | #Constraints: 32620
1926.51/1931.36 c #Conflicts: 1429000 | #Constraints: 33620
1926.51/1931.36 c #Conflicts: 1430000 | #Constraints: 34620
1926.51/1931.36 c #Conflicts: 1431000 | #Constraints: 35620
1926.51/1931.36 c #Conflicts: 1432000 | #Constraints: 36620
1926.51/1931.36 c #Conflicts: 1433000 | #Constraints: 37620
1926.51/1931.36 c #Conflicts: 1434000 | #Constraints: 38620
1926.51/1931.36 c #Conflicts: 1435000 | #Constraints: 39620
1926.51/1931.36 c #Conflicts: 1436000 | #Constraints: 40620
1926.51/1931.36 c #Conflicts: 1437000 | #Constraints: 41620
1926.51/1931.36 c #Conflicts: 1438000 | #Constraints: 42620
1926.51/1931.36 c #Conflicts: 1439000 | #Constraints: 43620
2078.24/2083.42 c #Conflicts: 1440000 | #Constraints: 44620
2078.24/2083.42 c #Conflicts: 1441000 | #Constraints: 45620
2078.24/2083.42 c #Conflicts: 1442000 | #Constraints: 46620
2078.24/2083.42 c #Conflicts: 1443000 | #Constraints: 47620
2078.24/2083.42 c INPROCESSING
2078.24/2083.42 c GARBAGE COLLECT
2078.24/2083.42 c #Conflicts: 1444000 | #Constraints: 24821
2078.24/2083.42 c #Conflicts: 1445000 | #Constraints: 25821
2078.24/2083.42 c #Conflicts: 1446000 | #Constraints: 26821
2078.24/2083.42 c #Conflicts: 1447000 | #Constraints: 27821
2078.24/2083.42 c #Conflicts: 1448000 | #Constraints: 28821
2078.24/2083.42 c #Conflicts: 1449000 | #Constraints: 29821
2078.24/2083.42 c #Conflicts: 1450000 | #Constraints: 30821
2078.24/2083.42 c #Conflicts: 1451000 | #Constraints: 31821
2078.24/2083.42 c #Conflicts: 1452000 | #Constraints: 32821
2078.24/2083.42 c #Conflicts: 1453000 | #Constraints: 33821
2078.24/2083.42 c #Conflicts: 1454000 | #Constraints: 34821
2078.24/2083.42 c #Conflicts: 1455000 | #Constraints: 35821
2078.24/2083.42 c #Conflicts: 1456000 | #Constraints: 36821
2078.24/2083.42 c #Conflicts: 1457000 | #Constraints: 37821
2078.24/2083.42 c #Conflicts: 1458000 | #Constraints: 38821
2078.24/2083.42 c #Conflicts: 1459000 | #Constraints: 39821
2078.24/2083.42 c #Conflicts: 1460000 | #Constraints: 40821
2078.24/2083.42 c #Conflicts: 1461000 | #Constraints: 41821
2078.24/2083.42 c #Conflicts: 1462000 | #Constraints: 42821
2078.24/2083.42 c #Conflicts: 1463000 | #Constraints: 43821
2078.24/2083.42 c #Conflicts: 1464000 | #Constraints: 44821
2078.24/2083.42 c #Conflicts: 1465000 | #Constraints: 45821
2078.24/2083.42 c #Conflicts: 1466000 | #Constraints: 46821
2078.24/2083.42 c #Conflicts: 1467000 | #Constraints: 47821
2078.24/2083.42 c INPROCESSING
2078.24/2083.42 c GARBAGE COLLECT
2078.24/2083.42 c #Conflicts: 1468000 | #Constraints: 24819
2078.24/2083.42 c #Conflicts: 1469000 | #Constraints: 25819
2078.24/2083.42 c #Conflicts: 1470000 | #Constraints: 26819
2078.24/2083.42 c #Conflicts: 1471000 | #Constraints: 27819
2078.24/2083.42 c #Conflicts: 1472000 | #Constraints: 28819
2078.24/2083.42 c #Conflicts: 1473000 | #Constraints: 29819
2078.24/2083.42 c #Conflicts: 1474000 | #Constraints: 30819
2078.24/2083.42 c #Conflicts: 1475000 | #Constraints: 31819
2078.24/2083.42 c #Conflicts: 1476000 | #Constraints: 32819
2078.24/2083.42 c #Conflicts: 1477000 | #Constraints: 33819
2078.24/2083.43 c #Conflicts: 1478000 | #Constraints: 34819
2078.24/2083.43 c #Conflicts: 1479000 | #Constraints: 35819
2078.24/2083.43 c #Conflicts: 1480000 | #Constraints: 36819
2078.24/2083.43 c #Conflicts: 1481000 | #Constraints: 37819
2078.24/2083.43 c #Conflicts: 1482000 | #Constraints: 38819
2078.24/2083.43 c #Conflicts: 1483000 | #Constraints: 39819
2078.24/2083.43 c #Conflicts: 1484000 | #Constraints: 40819
2078.24/2083.43 c #Conflicts: 1485000 | #Constraints: 41819
2078.24/2083.43 c #Conflicts: 1486000 | #Constraints: 42819
2078.24/2083.43 c #Conflicts: 1487000 | #Constraints: 43819
2078.24/2083.43 c #Conflicts: 1488000 | #Constraints: 44819
2078.24/2083.43 c #Conflicts: 1489000 | #Constraints: 45819
2078.24/2083.43 c #Conflicts: 1490000 | #Constraints: 46819
2078.24/2083.43 c #Conflicts: 1491000 | #Constraints: 47819
2078.24/2083.43 c INPROCESSING
2078.24/2083.43 c GARBAGE COLLECT
2078.24/2083.43 c #Conflicts: 1492000 | #Constraints: 24618
2078.24/2083.43 c #Conflicts: 1493000 | #Constraints: 25618
2078.24/2083.43 c #Conflicts: 1494000 | #Constraints: 26618
2078.24/2083.43 c #Conflicts: 1495000 | #Constraints: 27618
2078.24/2083.43 c #Conflicts: 1496000 | #Constraints: 28618
2078.24/2083.43 c #Conflicts: 1497000 | #Constraints: 29618
2078.24/2083.43 c #Conflicts: 1498000 | #Constraints: 30618
2078.24/2083.43 c #Conflicts: 1499000 | #Constraints: 31618
2078.24/2083.43 c #Conflicts: 1500000 | #Constraints: 32618
2078.24/2083.43 c #Conflicts: 1501000 | #Constraints: 33618
2078.24/2083.43 c #Conflicts: 1502000 | #Constraints: 34618
2078.24/2083.43 c #Conflicts: 1503000 | #Constraints: 35618
2078.24/2083.43 c #Conflicts: 1504000 | #Constraints: 36618
2078.24/2083.43 c #Conflicts: 1505000 | #Constraints: 37618
2078.24/2083.43 c #Conflicts: 1506000 | #Constraints: 38618
2078.24/2083.43 c #Conflicts: 1507000 | #Constraints: 39618
2078.24/2083.43 c #Conflicts: 1508000 | #Constraints: 40618
2078.24/2083.43 c #Conflicts: 1509000 | #Constraints: 41618
2078.24/2083.43 c #Conflicts: 1510000 | #Constraints: 42618
2078.24/2083.43 c #Conflicts: 1511000 | #Constraints: 43618
2078.24/2083.43 c #Conflicts: 1512000 | #Constraints: 44618
2078.24/2083.43 c #Conflicts: 1513000 | #Constraints: 45618
2078.24/2083.43 c #Conflicts: 1514000 | #Constraints: 46618
2078.24/2083.43 c #Conflicts: 1515000 | #Constraints: 47618
2078.24/2083.43 c #Conflicts: 1516000 | #Constraints: 48618
2233.35/2238.91 c INPROCESSING
2233.35/2238.91 c GARBAGE COLLECT
2233.35/2238.91 c #Conflicts: 1517000 | #Constraints: 25221
2233.35/2238.91 c #Conflicts: 1518000 | #Constraints: 26221
2233.35/2238.91 c #Conflicts: 1519000 | #Constraints: 27221
2233.35/2238.91 c #Conflicts: 1520000 | #Constraints: 28221
2233.35/2238.91 c #Conflicts: 1521000 | #Constraints: 29221
2233.35/2238.91 c #Conflicts: 1522000 | #Constraints: 30221
2233.35/2238.91 c #Conflicts: 1523000 | #Constraints: 31221
2233.35/2238.91 c #Conflicts: 1524000 | #Constraints: 32221
2233.35/2238.91 c #Conflicts: 1525000 | #Constraints: 33221
2233.35/2238.91 c #Conflicts: 1526000 | #Constraints: 34221
2233.35/2238.91 c #Conflicts: 1527000 | #Constraints: 35221
2233.35/2238.91 c #Conflicts: 1528000 | #Constraints: 36221
2233.35/2238.91 c #Conflicts: 1529000 | #Constraints: 37221
2233.35/2238.91 c #Conflicts: 1530000 | #Constraints: 38221
2233.35/2238.91 c #Conflicts: 1531000 | #Constraints: 39221
2233.35/2238.91 c #Conflicts: 1532000 | #Constraints: 40221
2233.35/2238.91 c #Conflicts: 1533000 | #Constraints: 41221
2233.35/2238.91 c #Conflicts: 1534000 | #Constraints: 42221
2233.35/2238.91 c #Conflicts: 1535000 | #Constraints: 43221
2233.35/2238.91 c #Conflicts: 1536000 | #Constraints: 44221
2233.35/2238.91 c #Conflicts: 1537000 | #Constraints: 45221
2233.35/2238.91 c #Conflicts: 1538000 | #Constraints: 46221
2233.35/2238.91 c #Conflicts: 1539000 | #Constraints: 47221
2233.35/2238.91 c #Conflicts: 1540000 | #Constraints: 48221
2233.35/2238.91 c #Conflicts: 1541000 | #Constraints: 49221
2233.35/2238.91 c INPROCESSING
2233.35/2238.91 c GARBAGE COLLECT
2233.35/2238.91 c #Conflicts: 1542000 | #Constraints: 25623
2233.35/2238.91 c #Conflicts: 1543000 | #Constraints: 26623
2233.35/2238.91 c #Conflicts: 1544000 | #Constraints: 27623
2233.35/2238.91 c #Conflicts: 1545000 | #Constraints: 28623
2233.35/2238.91 c #Conflicts: 1546000 | #Constraints: 29623
2233.35/2238.91 c #Conflicts: 1547000 | #Constraints: 30623
2233.35/2238.91 c #Conflicts: 1548000 | #Constraints: 31623
2233.35/2238.91 c #Conflicts: 1549000 | #Constraints: 32623
2233.35/2238.91 c #Conflicts: 1550000 | #Constraints: 33623
2233.35/2238.91 c #Conflicts: 1551000 | #Constraints: 34623
2233.35/2238.91 c #Conflicts: 1552000 | #Constraints: 35623
2233.35/2238.91 c #Conflicts: 1553000 | #Constraints: 36623
2233.35/2238.91 c #Conflicts: 1554000 | #Constraints: 37623
2233.35/2238.91 c #Conflicts: 1555000 | #Constraints: 38623
2233.35/2238.91 c #Conflicts: 1556000 | #Constraints: 39623
2233.35/2238.91 c #Conflicts: 1557000 | #Constraints: 40623
2233.35/2238.91 c #Conflicts: 1558000 | #Constraints: 41623
2233.35/2238.91 c #Conflicts: 1559000 | #Constraints: 42623
2233.35/2238.91 c #Conflicts: 1560000 | #Constraints: 43623
2233.35/2238.91 c #Conflicts: 1561000 | #Constraints: 44623
2233.35/2238.91 c #Conflicts: 1562000 | #Constraints: 45623
2233.35/2238.91 c #Conflicts: 1563000 | #Constraints: 46623
2233.35/2238.91 c #Conflicts: 1564000 | #Constraints: 47623
2233.35/2238.91 c #Conflicts: 1565000 | #Constraints: 48623
2233.35/2238.91 c #Conflicts: 1566000 | #Constraints: 49623
2233.35/2238.91 c INPROCESSING
2233.35/2238.91 c GARBAGE COLLECT
2233.35/2238.91 c #Conflicts: 1567000 | #Constraints: 25823
2233.35/2238.91 c #Conflicts: 1568000 | #Constraints: 26823
2233.35/2238.91 c #Conflicts: 1569000 | #Constraints: 27823
2233.35/2238.91 c #Conflicts: 1570000 | #Constraints: 28823
2233.35/2238.91 c #Conflicts: 1571000 | #Constraints: 29823
2233.35/2238.91 c #Conflicts: 1572000 | #Constraints: 30823
2233.35/2238.91 c #Conflicts: 1573000 | #Constraints: 31823
2233.35/2238.91 c #Conflicts: 1574000 | #Constraints: 32823
2233.35/2238.91 c #Conflicts: 1575000 | #Constraints: 33823
2233.35/2238.91 c #Conflicts: 1576000 | #Constraints: 34823
2233.35/2238.91 c #Conflicts: 1577000 | #Constraints: 35823
2233.35/2238.91 c #Conflicts: 1578000 | #Constraints: 36823
2233.35/2238.91 c #Conflicts: 1579000 | #Constraints: 37823
2233.35/2238.91 c #Conflicts: 1580000 | #Constraints: 38823
2233.35/2238.91 c #Conflicts: 1581000 | #Constraints: 39823
2233.35/2238.91 c #Conflicts: 1582000 | #Constraints: 40823
2233.35/2238.91 c #Conflicts: 1583000 | #Constraints: 41823
2233.35/2238.91 c #Conflicts: 1584000 | #Constraints: 42823
2233.35/2238.91 c #Conflicts: 1585000 | #Constraints: 43823
2233.35/2238.91 c #Conflicts: 1586000 | #Constraints: 44823
2233.35/2238.91 c #Conflicts: 1587000 | #Constraints: 45823
2233.35/2238.91 c #Conflicts: 1588000 | #Constraints: 46823
2233.35/2238.91 c #Conflicts: 1589000 | #Constraints: 47823
2233.35/2238.91 c #Conflicts: 1590000 | #Constraints: 48823
2233.35/2238.91 c #Conflicts: 1591000 | #Constraints: 49823
2233.35/2238.91 c INPROCESSING
2233.35/2238.91 c GARBAGE COLLECT
2233.35/2238.91 c #Conflicts: 1592000 | #Constraints: 25824
2406.41/2412.47 c #Conflicts: 1593000 | #Constraints: 26824
2406.41/2412.47 c #Conflicts: 1594000 | #Constraints: 27824
2406.41/2412.47 c #Conflicts: 1595000 | #Constraints: 28824
2406.41/2412.47 c #Conflicts: 1596000 | #Constraints: 29824
2406.41/2412.47 c #Conflicts: 1597000 | #Constraints: 30824
2406.41/2412.47 c #Conflicts: 1598000 | #Constraints: 31824
2406.41/2412.47 c #Conflicts: 1599000 | #Constraints: 32824
2406.41/2412.47 c #Conflicts: 1600000 | #Constraints: 33824
2406.41/2412.47 c #Conflicts: 1601000 | #Constraints: 34824
2406.41/2412.47 c #Conflicts: 1602000 | #Constraints: 35824
2406.41/2412.47 c #Conflicts: 1603000 | #Constraints: 36824
2406.41/2412.47 c #Conflicts: 1604000 | #Constraints: 37824
2406.41/2412.47 c #Conflicts: 1605000 | #Constraints: 38824
2406.41/2412.47 c #Conflicts: 1606000 | #Constraints: 39824
2406.41/2412.47 c #Conflicts: 1607000 | #Constraints: 40824
2406.41/2412.47 c #Conflicts: 1608000 | #Constraints: 41824
2406.41/2412.47 c #Conflicts: 1609000 | #Constraints: 42824
2406.41/2412.47 c #Conflicts: 1610000 | #Constraints: 43824
2406.41/2412.47 c #Conflicts: 1611000 | #Constraints: 44824
2406.41/2412.47 c #Conflicts: 1612000 | #Constraints: 45824
2406.41/2412.47 c #Conflicts: 1613000 | #Constraints: 46824
2406.41/2412.47 c #Conflicts: 1614000 | #Constraints: 47824
2406.41/2412.47 c #Conflicts: 1615000 | #Constraints: 48824
2406.41/2412.47 c #Conflicts: 1616000 | #Constraints: 49824
2406.41/2412.47 c INPROCESSING
2406.41/2412.47 c GARBAGE COLLECT
2406.41/2412.47 c #Conflicts: 1617000 | #Constraints: 25625
2406.41/2412.47 c #Conflicts: 1618000 | #Constraints: 26625
2406.41/2412.47 c #Conflicts: 1619000 | #Constraints: 27625
2406.41/2412.47 c #Conflicts: 1620000 | #Constraints: 28625
2406.41/2412.47 c #Conflicts: 1621000 | #Constraints: 29625
2406.41/2412.47 c #Conflicts: 1622000 | #Constraints: 30625
2406.41/2412.47 c #Conflicts: 1623000 | #Constraints: 31625
2406.41/2412.47 c #Conflicts: 1624000 | #Constraints: 32625
2406.41/2412.47 c #Conflicts: 1625000 | #Constraints: 33625
2406.41/2412.47 c #Conflicts: 1626000 | #Constraints: 34625
2406.41/2412.47 c #Conflicts: 1627000 | #Constraints: 35625
2406.41/2412.47 c #Conflicts: 1628000 | #Constraints: 36625
2406.41/2412.47 c #Conflicts: 1629000 | #Constraints: 37625
2406.41/2412.47 c #Conflicts: 1630000 | #Constraints: 38625
2406.41/2412.47 c #Conflicts: 1631000 | #Constraints: 39625
2406.41/2412.47 c #Conflicts: 1632000 | #Constraints: 40625
2406.41/2412.47 c #Conflicts: 1633000 | #Constraints: 41625
2406.41/2412.47 c #Conflicts: 1634000 | #Constraints: 42625
2406.41/2412.47 c #Conflicts: 1635000 | #Constraints: 43625
2406.41/2412.47 c #Conflicts: 1636000 | #Constraints: 44625
2406.41/2412.47 c #Conflicts: 1637000 | #Constraints: 45625
2406.41/2412.47 c #Conflicts: 1638000 | #Constraints: 46625
2406.41/2412.47 c #Conflicts: 1639000 | #Constraints: 47625
2406.41/2412.47 c #Conflicts: 1640000 | #Constraints: 48625
2406.41/2412.47 c #Conflicts: 1641000 | #Constraints: 49625
2406.41/2412.47 c #Conflicts: 1642000 | #Constraints: 50625
2406.41/2412.47 c INPROCESSING
2406.41/2412.47 c GARBAGE COLLECT
2406.41/2412.47 c #Conflicts: 1643000 | #Constraints: 26224
2406.41/2412.47 c #Conflicts: 1644000 | #Constraints: 27224
2406.41/2412.47 c #Conflicts: 1645000 | #Constraints: 28224
2406.41/2412.47 c #Conflicts: 1646000 | #Constraints: 29224
2406.41/2412.47 c #Conflicts: 1647000 | #Constraints: 30224
2406.41/2412.47 c #Conflicts: 1648000 | #Constraints: 31224
2406.41/2412.47 c #Conflicts: 1649000 | #Constraints: 32224
2406.41/2412.47 c #Conflicts: 1650000 | #Constraints: 33224
2406.41/2412.47 c #Conflicts: 1651000 | #Constraints: 34224
2406.41/2412.47 c #Conflicts: 1652000 | #Constraints: 35224
2406.41/2412.47 c #Conflicts: 1653000 | #Constraints: 36224
2406.41/2412.47 c #Conflicts: 1654000 | #Constraints: 37224
2406.41/2412.47 c #Conflicts: 1655000 | #Constraints: 38224
2406.41/2412.47 c #Conflicts: 1656000 | #Constraints: 39224
2406.41/2412.47 c #Conflicts: 1657000 | #Constraints: 40224
2406.41/2412.47 c #Conflicts: 1658000 | #Constraints: 41224
2406.41/2412.47 c #Conflicts: 1659000 | #Constraints: 42224
2406.41/2412.47 c #Conflicts: 1660000 | #Constraints: 43224
2406.41/2412.47 c #Conflicts: 1661000 | #Constraints: 44224
2406.41/2412.47 c #Conflicts: 1662000 | #Constraints: 45224
2406.41/2412.47 c #Conflicts: 1663000 | #Constraints: 46224
2406.41/2412.47 c #Conflicts: 1664000 | #Constraints: 47224
2406.41/2412.47 c #Conflicts: 1665000 | #Constraints: 48224
2406.41/2412.47 c #Conflicts: 1666000 | #Constraints: 49224
2406.41/2412.47 c #Conflicts: 1667000 | #Constraints: 50224
2406.41/2412.47 c #Conflicts: 1668000 | #Constraints: 51224
2406.41/2412.47 c INPROCESSING
2406.41/2412.47 c GARBAGE COLLECT
2406.41/2412.47 c #Conflicts: 1669000 | #Constraints: 26622
2586.33/2592.85 c #Conflicts: 1670000 | #Constraints: 27622
2586.33/2592.85 c #Conflicts: 1671000 | #Constraints: 28622
2586.33/2592.85 c #Conflicts: 1672000 | #Constraints: 29622
2586.33/2592.85 c #Conflicts: 1673000 | #Constraints: 30622
2586.33/2592.85 c #Conflicts: 1674000 | #Constraints: 31622
2586.33/2592.85 c #Conflicts: 1675000 | #Constraints: 32622
2586.33/2592.85 c #Conflicts: 1676000 | #Constraints: 33622
2586.33/2592.85 c #Conflicts: 1677000 | #Constraints: 34622
2586.33/2592.85 c #Conflicts: 1678000 | #Constraints: 35622
2586.33/2592.85 c #Conflicts: 1679000 | #Constraints: 36622
2586.33/2592.85 c #Conflicts: 1680000 | #Constraints: 37622
2586.33/2592.85 c #Conflicts: 1681000 | #Constraints: 38622
2586.33/2592.85 c #Conflicts: 1682000 | #Constraints: 39622
2586.33/2592.85 c #Conflicts: 1683000 | #Constraints: 40622
2586.33/2592.85 c #Conflicts: 1684000 | #Constraints: 41622
2586.33/2592.85 c #Conflicts: 1685000 | #Constraints: 42622
2586.33/2592.85 c #Conflicts: 1686000 | #Constraints: 43622
2586.33/2592.85 c #Conflicts: 1687000 | #Constraints: 44622
2586.33/2592.85 c #Conflicts: 1688000 | #Constraints: 45622
2586.33/2592.85 c #Conflicts: 1689000 | #Constraints: 46622
2586.33/2592.85 c #Conflicts: 1690000 | #Constraints: 47622
2586.33/2592.85 c #Conflicts: 1691000 | #Constraints: 48622
2586.33/2592.85 c #Conflicts: 1692000 | #Constraints: 49622
2586.33/2592.85 c #Conflicts: 1693000 | #Constraints: 50622
2586.33/2592.85 c #Conflicts: 1694000 | #Constraints: 51622
2586.33/2592.85 c INPROCESSING
2586.33/2592.85 c GARBAGE COLLECT
2586.33/2592.85 c #Conflicts: 1695000 | #Constraints: 26822
2586.33/2592.85 c #Conflicts: 1696000 | #Constraints: 27822
2586.33/2592.85 c #Conflicts: 1697000 | #Constraints: 28822
2586.33/2592.85 c #Conflicts: 1698000 | #Constraints: 29822
2586.33/2592.85 c #Conflicts: 1699000 | #Constraints: 30822
2586.33/2592.85 c #Conflicts: 1700000 | #Constraints: 31822
2586.33/2592.85 c #Conflicts: 1701000 | #Constraints: 32822
2586.33/2592.85 c #Conflicts: 1702000 | #Constraints: 33822
2586.33/2592.85 c #Conflicts: 1703000 | #Constraints: 34822
2586.33/2592.85 c #Conflicts: 1704000 | #Constraints: 35822
2586.33/2592.85 c #Conflicts: 1705000 | #Constraints: 36822
2586.33/2592.85 c #Conflicts: 1706000 | #Constraints: 37822
2586.33/2592.85 c #Conflicts: 1707000 | #Constraints: 38822
2586.33/2592.85 c #Conflicts: 1708000 | #Constraints: 39822
2586.33/2592.85 c #Conflicts: 1709000 | #Constraints: 40822
2586.33/2592.85 c #Conflicts: 1710000 | #Constraints: 41822
2586.33/2592.85 c #Conflicts: 1711000 | #Constraints: 42822
2586.33/2592.85 c #Conflicts: 1712000 | #Constraints: 43822
2586.33/2592.85 c #Conflicts: 1713000 | #Constraints: 44822
2586.33/2592.85 c #Conflicts: 1714000 | #Constraints: 45822
2586.33/2592.85 c #Conflicts: 1715000 | #Constraints: 46822
2586.33/2592.85 c #Conflicts: 1716000 | #Constraints: 47822
2586.33/2592.85 c #Conflicts: 1717000 | #Constraints: 48822
2586.33/2592.85 c #Conflicts: 1718000 | #Constraints: 49822
2586.33/2592.85 c #Conflicts: 1719000 | #Constraints: 50822
2586.33/2592.85 c #Conflicts: 1720000 | #Constraints: 51822
2586.33/2592.85 c INPROCESSING
2586.33/2592.85 c GARBAGE COLLECT
2586.33/2592.85 c #Conflicts: 1721000 | #Constraints: 26821
2586.33/2592.85 c #Conflicts: 1722000 | #Constraints: 27821
2586.33/2592.85 c #Conflicts: 1723000 | #Constraints: 28821
2586.33/2592.85 c #Conflicts: 1724000 | #Constraints: 29821
2586.33/2592.85 c #Conflicts: 1725000 | #Constraints: 30821
2586.33/2592.85 c #Conflicts: 1726000 | #Constraints: 31821
2586.33/2592.85 c #Conflicts: 1727000 | #Constraints: 32821
2586.33/2592.85 c #Conflicts: 1728000 | #Constraints: 33821
2586.33/2592.85 c #Conflicts: 1729000 | #Constraints: 34821
2586.33/2592.85 c #Conflicts: 1730000 | #Constraints: 35821
2586.33/2592.85 c #Conflicts: 1731000 | #Constraints: 36821
2586.33/2592.85 c #Conflicts: 1732000 | #Constraints: 37821
2586.33/2592.85 c #Conflicts: 1733000 | #Constraints: 38821
2586.33/2592.85 c #Conflicts: 1734000 | #Constraints: 39821
2586.33/2592.85 c #Conflicts: 1735000 | #Constraints: 40821
2586.33/2592.85 c #Conflicts: 1736000 | #Constraints: 41821
2586.33/2592.85 c #Conflicts: 1737000 | #Constraints: 42821
2586.33/2592.85 c #Conflicts: 1738000 | #Constraints: 43821
2586.33/2592.85 c #Conflicts: 1739000 | #Constraints: 44821
2586.33/2592.85 c #Conflicts: 1740000 | #Constraints: 45821
2586.33/2592.85 c #Conflicts: 1741000 | #Constraints: 46821
2586.33/2592.85 c #Conflicts: 1742000 | #Constraints: 47821
2586.33/2592.85 c #Conflicts: 1743000 | #Constraints: 48821
2586.33/2592.85 c #Conflicts: 1744000 | #Constraints: 49821
2586.33/2592.85 c #Conflicts: 1745000 | #Constraints: 50821
2586.33/2592.85 c #Conflicts: 1746000 | #Constraints: 51821
2771.46/2778.47 c INPROCESSING
2771.46/2778.47 c GARBAGE COLLECT
2771.46/2778.47 c #Conflicts: 1747000 | #Constraints: 26619
2771.46/2778.47 c #Conflicts: 1748000 | #Constraints: 27619
2771.46/2778.47 c #Conflicts: 1749000 | #Constraints: 28619
2771.46/2778.47 c #Conflicts: 1750000 | #Constraints: 29619
2771.46/2778.47 c #Conflicts: 1751000 | #Constraints: 30619
2771.46/2778.47 c #Conflicts: 1752000 | #Constraints: 31619
2771.46/2778.47 c #Conflicts: 1753000 | #Constraints: 32619
2771.46/2778.47 c #Conflicts: 1754000 | #Constraints: 33619
2771.46/2778.47 c #Conflicts: 1755000 | #Constraints: 34619
2771.46/2778.47 c #Conflicts: 1756000 | #Constraints: 35619
2771.46/2778.47 c #Conflicts: 1757000 | #Constraints: 36619
2771.46/2778.47 c #Conflicts: 1758000 | #Constraints: 37619
2771.46/2778.47 c #Conflicts: 1759000 | #Constraints: 38619
2771.46/2778.47 c #Conflicts: 1760000 | #Constraints: 39619
2771.46/2778.47 c #Conflicts: 1761000 | #Constraints: 40619
2771.46/2778.47 c #Conflicts: 1762000 | #Constraints: 41619
2771.46/2778.47 c #Conflicts: 1763000 | #Constraints: 42619
2771.46/2778.47 c #Conflicts: 1764000 | #Constraints: 43619
2771.46/2778.47 c #Conflicts: 1765000 | #Constraints: 44619
2771.46/2778.47 c #Conflicts: 1766000 | #Constraints: 45619
2771.46/2778.47 c #Conflicts: 1767000 | #Constraints: 46619
2771.46/2778.47 c #Conflicts: 1768000 | #Constraints: 47619
2771.46/2778.47 c #Conflicts: 1769000 | #Constraints: 48619
2771.46/2778.47 c #Conflicts: 1770000 | #Constraints: 49619
2771.46/2778.47 c #Conflicts: 1771000 | #Constraints: 50619
2771.46/2778.47 c #Conflicts: 1772000 | #Constraints: 51619
2771.46/2778.47 c #Conflicts: 1773000 | #Constraints: 52619
2771.46/2778.47 c INPROCESSING
2771.46/2778.47 c GARBAGE COLLECT
2771.46/2778.47 c #Conflicts: 1774000 | #Constraints: 27218
2771.46/2778.47 c #Conflicts: 1775000 | #Constraints: 28218
2771.46/2778.47 c #Conflicts: 1776000 | #Constraints: 29218
2771.46/2778.47 c #Conflicts: 1777000 | #Constraints: 30218
2771.46/2778.47 c #Conflicts: 1778000 | #Constraints: 31218
2771.46/2778.47 c #Conflicts: 1779000 | #Constraints: 32218
2771.46/2778.47 c #Conflicts: 1780000 | #Constraints: 33218
2771.46/2778.47 c #Conflicts: 1781000 | #Constraints: 34218
2771.46/2778.47 c #Conflicts: 1782000 | #Constraints: 35218
2771.46/2778.47 c #Conflicts: 1783000 | #Constraints: 36218
2771.46/2778.47 c #Conflicts: 1784000 | #Constraints: 37218
2771.46/2778.47 c #Conflicts: 1785000 | #Constraints: 38218
2771.46/2778.47 c #Conflicts: 1786000 | #Constraints: 39218
2771.46/2778.47 c #Conflicts: 1787000 | #Constraints: 40218
2771.46/2778.47 c #Conflicts: 1788000 | #Constraints: 41218
2771.46/2778.47 c #Conflicts: 1789000 | #Constraints: 42218
2771.46/2778.47 c #Conflicts: 1790000 | #Constraints: 43218
2771.46/2778.47 c #Conflicts: 1791000 | #Constraints: 44218
2771.46/2778.47 c #Conflicts: 1792000 | #Constraints: 45218
2771.46/2778.47 c #Conflicts: 1793000 | #Constraints: 46218
2771.46/2778.47 c #Conflicts: 1794000 | #Constraints: 47218
2771.46/2778.47 c #Conflicts: 1795000 | #Constraints: 48218
2771.46/2778.47 c #Conflicts: 1796000 | #Constraints: 49218
2771.46/2778.47 c #Conflicts: 1797000 | #Constraints: 50218
2771.46/2778.47 c #Conflicts: 1798000 | #Constraints: 51218
2771.46/2778.47 c #Conflicts: 1799000 | #Constraints: 52218
2771.46/2778.47 c #Conflicts: 1800000 | #Constraints: 53218
2771.46/2778.47 c INPROCESSING
2771.46/2778.47 c GARBAGE COLLECT
2771.46/2778.47 c #Conflicts: 1801000 | #Constraints: 27619
2771.46/2778.47 c #Conflicts: 1802000 | #Constraints: 28619
2771.46/2778.47 c #Conflicts: 1803000 | #Constraints: 29619
2771.46/2778.47 c #Conflicts: 1804000 | #Constraints: 30619
2771.46/2778.47 c #Conflicts: 1805000 | #Constraints: 31619
2771.46/2778.47 c #Conflicts: 1806000 | #Constraints: 32619
2771.46/2778.47 c #Conflicts: 1807000 | #Constraints: 33619
2771.46/2778.47 c #Conflicts: 1808000 | #Constraints: 34619
2771.46/2778.47 c #Conflicts: 1809000 | #Constraints: 35619
2771.46/2778.47 c #Conflicts: 1810000 | #Constraints: 36619
2771.46/2778.47 c #Conflicts: 1811000 | #Constraints: 37619
2771.46/2778.47 c #Conflicts: 1812000 | #Constraints: 38619
2771.46/2778.47 c #Conflicts: 1813000 | #Constraints: 39619
2771.46/2778.47 c #Conflicts: 1814000 | #Constraints: 40619
2771.46/2778.47 c #Conflicts: 1815000 | #Constraints: 41619
2771.46/2778.47 c #Conflicts: 1816000 | #Constraints: 42619
2771.46/2778.47 c #Conflicts: 1817000 | #Constraints: 43619
2771.46/2778.47 c #Conflicts: 1818000 | #Constraints: 44619
2771.46/2778.47 c #Conflicts: 1819000 | #Constraints: 45619
2771.46/2778.47 c #Conflicts: 1820000 | #Constraints: 46619
2771.46/2778.47 c #Conflicts: 1821000 | #Constraints: 47619
2771.46/2778.47 c #Conflicts: 1822000 | #Constraints: 48619
2771.46/2778.47 c #Conflicts: 1823000 | #Constraints: 49619
2963.45/2970.90 c #Conflicts: 1824000 | #Constraints: 50619
2963.45/2970.90 c #Conflicts: 1825000 | #Constraints: 51619
2963.45/2970.90 c #Conflicts: 1826000 | #Constraints: 52619
2963.45/2970.90 c #Conflicts: 1827000 | #Constraints: 53619
2963.45/2970.90 c INPROCESSING
2963.45/2970.90 c GARBAGE COLLECT
2963.45/2970.90 c #Conflicts: 1828000 | #Constraints: 27822
2963.45/2970.90 c #Conflicts: 1829000 | #Constraints: 28822
2963.45/2970.90 c #Conflicts: 1830000 | #Constraints: 29822
2963.45/2970.90 c #Conflicts: 1831000 | #Constraints: 30822
2963.45/2970.90 c #Conflicts: 1832000 | #Constraints: 31822
2963.45/2970.90 c #Conflicts: 1833000 | #Constraints: 32822
2963.45/2970.90 c #Conflicts: 1834000 | #Constraints: 33822
2963.45/2970.90 c #Conflicts: 1835000 | #Constraints: 34822
2963.45/2970.90 c #Conflicts: 1836000 | #Constraints: 35822
2963.45/2970.90 c #Conflicts: 1837000 | #Constraints: 36822
2963.45/2970.90 c #Conflicts: 1838000 | #Constraints: 37822
2963.45/2970.90 c #Conflicts: 1839000 | #Constraints: 38822
2963.45/2970.90 c #Conflicts: 1840000 | #Constraints: 39822
2963.45/2970.90 c #Conflicts: 1841000 | #Constraints: 40822
2963.45/2970.90 c #Conflicts: 1842000 | #Constraints: 41822
2963.45/2970.90 c #Conflicts: 1843000 | #Constraints: 42822
2963.45/2970.90 c #Conflicts: 1844000 | #Constraints: 43822
2963.45/2970.90 c #Conflicts: 1845000 | #Constraints: 44822
2963.45/2970.90 c #Conflicts: 1846000 | #Constraints: 45822
2963.45/2970.90 c #Conflicts: 1847000 | #Constraints: 46822
2963.45/2970.90 c #Conflicts: 1848000 | #Constraints: 47822
2963.45/2970.90 c #Conflicts: 1849000 | #Constraints: 48822
2963.45/2970.90 c #Conflicts: 1850000 | #Constraints: 49822
2963.45/2970.90 c #Conflicts: 1851000 | #Constraints: 50822
2963.45/2970.90 c #Conflicts: 1852000 | #Constraints: 51822
2963.45/2970.90 c #Conflicts: 1853000 | #Constraints: 52822
2963.45/2970.90 c #Conflicts: 1854000 | #Constraints: 53822
2963.45/2970.90 c INPROCESSING
2963.45/2970.90 c GARBAGE COLLECT
2963.45/2970.90 c #Conflicts: 1855000 | #Constraints: 27821
2963.45/2970.90 c #Conflicts: 1856000 | #Constraints: 28821
2963.45/2970.90 c #Conflicts: 1857000 | #Constraints: 29821
2963.45/2970.90 c #Conflicts: 1858000 | #Constraints: 30821
2963.45/2970.90 c #Conflicts: 1859000 | #Constraints: 31821
2963.45/2970.90 c #Conflicts: 1860000 | #Constraints: 32821
2963.45/2970.90 c #Conflicts: 1861000 | #Constraints: 33821
2963.45/2970.90 c #Conflicts: 1862000 | #Constraints: 34821
2963.45/2970.90 c #Conflicts: 1863000 | #Constraints: 35821
2963.45/2970.90 c #Conflicts: 1864000 | #Constraints: 36821
2963.45/2970.90 c #Conflicts: 1865000 | #Constraints: 37821
2963.45/2970.90 c #Conflicts: 1866000 | #Constraints: 38821
2963.45/2970.90 c #Conflicts: 1867000 | #Constraints: 39821
2963.45/2970.90 c #Conflicts: 1868000 | #Constraints: 40821
2963.45/2970.90 c #Conflicts: 1869000 | #Constraints: 41821
2963.45/2970.90 c #Conflicts: 1870000 | #Constraints: 42821
2963.45/2970.90 c #Conflicts: 1871000 | #Constraints: 43821
2963.45/2970.90 c #Conflicts: 1872000 | #Constraints: 44821
2963.45/2970.90 c #Conflicts: 1873000 | #Constraints: 45821
2963.45/2970.90 c #Conflicts: 1874000 | #Constraints: 46821
2963.45/2970.90 c #Conflicts: 1875000 | #Constraints: 47821
2963.45/2970.90 c #Conflicts: 1876000 | #Constraints: 48821
2963.45/2970.90 c #Conflicts: 1877000 | #Constraints: 49821
2963.45/2970.90 c #Conflicts: 1878000 | #Constraints: 50821
2963.45/2970.90 c #Conflicts: 1879000 | #Constraints: 51821
2963.45/2970.90 c #Conflicts: 1880000 | #Constraints: 52821
2963.45/2970.90 c #Conflicts: 1881000 | #Constraints: 53821
2963.45/2970.90 c INPROCESSING
2963.45/2970.90 c GARBAGE COLLECT
2963.45/2970.90 c #Conflicts: 1882000 | #Constraints: 27620
2963.45/2970.90 c #Conflicts: 1883000 | #Constraints: 28620
2963.45/2970.90 c #Conflicts: 1884000 | #Constraints: 29620
2963.45/2970.90 c #Conflicts: 1885000 | #Constraints: 30620
2963.45/2970.90 c #Conflicts: 1886000 | #Constraints: 31620
2963.45/2970.90 c #Conflicts: 1887000 | #Constraints: 32620
2963.45/2970.90 c #Conflicts: 1888000 | #Constraints: 33620
2963.45/2970.90 c #Conflicts: 1889000 | #Constraints: 34620
2963.45/2970.90 c #Conflicts: 1890000 | #Constraints: 35620
2963.45/2970.90 c #Conflicts: 1891000 | #Constraints: 36620
2963.45/2970.90 c #Conflicts: 1892000 | #Constraints: 37620
2963.45/2970.90 c #Conflicts: 1893000 | #Constraints: 38620
2963.45/2970.90 c #Conflicts: 1894000 | #Constraints: 39620
2963.45/2970.90 c #Conflicts: 1895000 | #Constraints: 40620
2963.45/2970.90 c #Conflicts: 1896000 | #Constraints: 41620
2963.45/2970.90 c #Conflicts: 1897000 | #Constraints: 42620
2963.45/2970.90 c #Conflicts: 1898000 | #Constraints: 43620
2963.45/2970.90 c #Conflicts: 1899000 | #Constraints: 44620
2963.45/2970.90 c #Conflicts: 1900000 | #Constraints: 45620
3165.66/3173.73 c #Conflicts: 1901000 | #Constraints: 46620
3165.66/3173.73 c #Conflicts: 1902000 | #Constraints: 47620
3165.66/3173.73 c #Conflicts: 1903000 | #Constraints: 48620
3165.66/3173.73 c #Conflicts: 1904000 | #Constraints: 49620
3165.66/3173.73 c #Conflicts: 1905000 | #Constraints: 50620
3165.66/3173.73 c #Conflicts: 1906000 | #Constraints: 51620
3165.66/3173.73 c #Conflicts: 1907000 | #Constraints: 52620
3165.66/3173.73 c #Conflicts: 1908000 | #Constraints: 53620
3165.66/3173.73 c #Conflicts: 1909000 | #Constraints: 54620
3165.66/3173.73 c INPROCESSING
3165.66/3173.73 c GARBAGE COLLECT
3165.66/3173.73 c #Conflicts: 1910000 | #Constraints: 28219
3165.66/3173.73 c #Conflicts: 1911000 | #Constraints: 29219
3165.66/3173.73 c #Conflicts: 1912000 | #Constraints: 30219
3165.66/3173.73 c #Conflicts: 1913000 | #Constraints: 31219
3165.66/3173.73 c #Conflicts: 1914000 | #Constraints: 32219
3165.66/3173.73 c #Conflicts: 1915000 | #Constraints: 33219
3165.66/3173.73 c #Conflicts: 1916000 | #Constraints: 34219
3165.66/3173.73 c #Conflicts: 1917000 | #Constraints: 35219
3165.66/3173.73 c #Conflicts: 1918000 | #Constraints: 36219
3165.66/3173.73 c #Conflicts: 1919000 | #Constraints: 37219
3165.66/3173.74 c #Conflicts: 1920000 | #Constraints: 38219
3165.66/3173.74 c #Conflicts: 1921000 | #Constraints: 39219
3165.66/3173.74 c #Conflicts: 1922000 | #Constraints: 40219
3165.66/3173.74 c #Conflicts: 1923000 | #Constraints: 41219
3165.66/3173.74 c #Conflicts: 1924000 | #Constraints: 42219
3165.66/3173.74 c #Conflicts: 1925000 | #Constraints: 43219
3165.66/3173.74 c #Conflicts: 1926000 | #Constraints: 44219
3165.66/3173.74 c #Conflicts: 1927000 | #Constraints: 45219
3165.66/3173.74 c #Conflicts: 1928000 | #Constraints: 46219
3165.66/3173.74 c #Conflicts: 1929000 | #Constraints: 47219
3165.66/3173.74 c #Conflicts: 1930000 | #Constraints: 48219
3165.66/3173.74 c #Conflicts: 1931000 | #Constraints: 49219
3165.66/3173.74 c #Conflicts: 1932000 | #Constraints: 50219
3165.66/3173.74 c #Conflicts: 1933000 | #Constraints: 51219
3165.66/3173.74 c #Conflicts: 1934000 | #Constraints: 52219
3165.66/3173.74 c #Conflicts: 1935000 | #Constraints: 53219
3165.66/3173.74 c #Conflicts: 1936000 | #Constraints: 54219
3165.66/3173.74 c #Conflicts: 1937000 | #Constraints: 55219
3165.66/3173.74 c INPROCESSING
3165.66/3173.74 c GARBAGE COLLECT
3165.66/3173.74 c #Conflicts: 1938000 | #Constraints: 28620
3165.66/3173.74 c #Conflicts: 1939000 | #Constraints: 29620
3165.66/3173.74 c #Conflicts: 1940000 | #Constraints: 30620
3165.66/3173.74 c #Conflicts: 1941000 | #Constraints: 31620
3165.66/3173.74 c #Conflicts: 1942000 | #Constraints: 32620
3165.66/3173.74 c #Conflicts: 1943000 | #Constraints: 33620
3165.66/3173.74 c #Conflicts: 1944000 | #Constraints: 34620
3165.66/3173.74 c #Conflicts: 1945000 | #Constraints: 35620
3165.66/3173.74 c #Conflicts: 1946000 | #Constraints: 36620
3165.66/3173.74 c #Conflicts: 1947000 | #Constraints: 37620
3165.66/3173.74 c #Conflicts: 1948000 | #Constraints: 38620
3165.66/3173.74 c #Conflicts: 1949000 | #Constraints: 39620
3165.66/3173.74 c #Conflicts: 1950000 | #Constraints: 40620
3165.66/3173.74 c #Conflicts: 1951000 | #Constraints: 41620
3165.66/3173.74 c #Conflicts: 1952000 | #Constraints: 42620
3165.66/3173.74 c #Conflicts: 1953000 | #Constraints: 43620
3165.66/3173.74 c #Conflicts: 1954000 | #Constraints: 44620
3165.66/3173.74 c #Conflicts: 1955000 | #Constraints: 45620
3165.66/3173.74 c #Conflicts: 1956000 | #Constraints: 46620
3165.66/3173.74 c #Conflicts: 1957000 | #Constraints: 47620
3165.66/3173.74 c #Conflicts: 1958000 | #Constraints: 48620
3165.66/3173.74 c #Conflicts: 1959000 | #Constraints: 49620
3165.66/3173.74 c #Conflicts: 1960000 | #Constraints: 50620
3165.66/3173.74 c #Conflicts: 1961000 | #Constraints: 51620
3165.66/3173.74 c #Conflicts: 1962000 | #Constraints: 52620
3165.66/3173.74 c #Conflicts: 1963000 | #Constraints: 53620
3165.66/3173.74 c #Conflicts: 1964000 | #Constraints: 54620
3165.66/3173.74 c #Conflicts: 1965000 | #Constraints: 55620
3165.66/3173.74 c INPROCESSING
3165.66/3173.74 c GARBAGE COLLECT
3165.66/3173.74 c #Conflicts: 1966000 | #Constraints: 28822
3165.66/3173.74 c #Conflicts: 1967000 | #Constraints: 29822
3165.66/3173.74 c #Conflicts: 1968000 | #Constraints: 30822
3165.66/3173.74 c #Conflicts: 1969000 | #Constraints: 31822
3165.66/3173.74 c #Conflicts: 1970000 | #Constraints: 32822
3165.66/3173.74 c #Conflicts: 1971000 | #Constraints: 33822
3165.66/3173.74 c #Conflicts: 1972000 | #Constraints: 34822
3165.66/3173.74 c #Conflicts: 1973000 | #Constraints: 35822
3165.66/3173.74 c #Conflicts: 1974000 | #Constraints: 36822
3165.66/3173.74 c #Conflicts: 1975000 | #Constraints: 37822
3165.66/3173.74 c #Conflicts: 1976000 | #Constraints: 38822
3165.66/3173.74 c #Conflicts: 1977000 | #Constraints: 39822
3372.00/3380.78 c #Conflicts: 1978000 | #Constraints: 40822
3372.00/3380.78 c #Conflicts: 1979000 | #Constraints: 41822
3372.00/3380.78 c #Conflicts: 1980000 | #Constraints: 42822
3372.00/3380.78 c #Conflicts: 1981000 | #Constraints: 43822
3372.00/3380.78 c #Conflicts: 1982000 | #Constraints: 44822
3372.00/3380.78 c #Conflicts: 1983000 | #Constraints: 45822
3372.00/3380.78 c #Conflicts: 1984000 | #Constraints: 46822
3372.00/3380.78 c #Conflicts: 1985000 | #Constraints: 47822
3372.00/3380.78 c #Conflicts: 1986000 | #Constraints: 48822
3372.00/3380.78 c #Conflicts: 1987000 | #Constraints: 49822
3372.00/3380.78 c #Conflicts: 1988000 | #Constraints: 50822
3372.00/3380.78 c #Conflicts: 1989000 | #Constraints: 51822
3372.00/3380.78 c #Conflicts: 1990000 | #Constraints: 52822
3372.00/3380.78 c #Conflicts: 1991000 | #Constraints: 53822
3372.00/3380.78 c #Conflicts: 1992000 | #Constraints: 54822
3372.00/3380.78 c #Conflicts: 1993000 | #Constraints: 55822
3372.00/3380.78 c INPROCESSING
3372.00/3380.78 c GARBAGE COLLECT
3372.00/3380.78 c #Conflicts: 1994000 | #Constraints: 28822
3372.00/3380.78 c #Conflicts: 1995000 | #Constraints: 29822
3372.00/3380.78 c #Conflicts: 1996000 | #Constraints: 30822
3372.00/3380.78 c #Conflicts: 1997000 | #Constraints: 31822
3372.00/3380.78 c #Conflicts: 1998000 | #Constraints: 32822
3372.00/3380.78 c #Conflicts: 1999000 | #Constraints: 33822
3372.00/3380.78 c #Conflicts: 2000000 | #Constraints: 34822
3372.00/3380.78 c #Conflicts: 2001000 | #Constraints: 35822
3372.00/3380.78 c #Conflicts: 2002000 | #Constraints: 36822
3372.00/3380.78 c #Conflicts: 2003000 | #Constraints: 37822
3372.00/3380.78 c #Conflicts: 2004000 | #Constraints: 38822
3372.00/3380.78 c #Conflicts: 2005000 | #Constraints: 39822
3372.00/3380.78 c #Conflicts: 2006000 | #Constraints: 40822
3372.00/3380.78 c #Conflicts: 2007000 | #Constraints: 41822
3372.00/3380.78 c #Conflicts: 2008000 | #Constraints: 42822
3372.00/3380.78 c #Conflicts: 2009000 | #Constraints: 43822
3372.00/3380.78 c #Conflicts: 2010000 | #Constraints: 44822
3372.00/3380.78 c #Conflicts: 2011000 | #Constraints: 45822
3372.00/3380.78 c #Conflicts: 2012000 | #Constraints: 46822
3372.00/3380.78 c #Conflicts: 2013000 | #Constraints: 47822
3372.00/3380.78 c #Conflicts: 2014000 | #Constraints: 48822
3372.00/3380.78 c #Conflicts: 2015000 | #Constraints: 49822
3372.00/3380.78 c #Conflicts: 2016000 | #Constraints: 50822
3372.00/3380.78 c #Conflicts: 2017000 | #Constraints: 51822
3372.00/3380.78 c #Conflicts: 2018000 | #Constraints: 52822
3372.00/3380.78 c #Conflicts: 2019000 | #Constraints: 53822
3372.00/3380.78 c #Conflicts: 2020000 | #Constraints: 54822
3372.00/3380.78 c #Conflicts: 2021000 | #Constraints: 55822
3372.00/3380.78 c INPROCESSING
3372.00/3380.78 c GARBAGE COLLECT
3372.00/3380.78 c #Conflicts: 2022000 | #Constraints: 28619
3372.00/3380.78 c #Conflicts: 2023000 | #Constraints: 29619
3372.00/3380.78 c #Conflicts: 2024000 | #Constraints: 30619
3372.00/3380.78 c #Conflicts: 2025000 | #Constraints: 31619
3372.00/3380.78 c #Conflicts: 2026000 | #Constraints: 32619
3372.00/3380.78 c #Conflicts: 2027000 | #Constraints: 33619
3372.00/3380.78 c #Conflicts: 2028000 | #Constraints: 34619
3372.00/3380.78 c #Conflicts: 2029000 | #Constraints: 35619
3372.00/3380.78 c #Conflicts: 2030000 | #Constraints: 36619
3372.00/3380.78 c #Conflicts: 2031000 | #Constraints: 37619
3372.00/3380.78 c #Conflicts: 2032000 | #Constraints: 38619
3372.00/3380.78 c #Conflicts: 2033000 | #Constraints: 39619
3372.00/3380.78 c #Conflicts: 2034000 | #Constraints: 40619
3372.00/3380.78 c #Conflicts: 2035000 | #Constraints: 41619
3372.00/3380.78 c #Conflicts: 2036000 | #Constraints: 42619
3372.00/3380.78 c #Conflicts: 2037000 | #Constraints: 43619
3372.00/3380.78 c #Conflicts: 2038000 | #Constraints: 44619
3372.00/3380.78 c #Conflicts: 2039000 | #Constraints: 45619
3372.00/3380.78 c #Conflicts: 2040000 | #Constraints: 46619
3372.00/3380.78 c #Conflicts: 2041000 | #Constraints: 47619
3372.00/3380.78 c #Conflicts: 2042000 | #Constraints: 48619
3372.00/3380.78 c #Conflicts: 2043000 | #Constraints: 49619
3372.00/3380.78 c #Conflicts: 2044000 | #Constraints: 50619
3372.00/3380.78 c #Conflicts: 2045000 | #Constraints: 51619
3372.00/3380.78 c #Conflicts: 2046000 | #Constraints: 52619
3372.00/3380.78 c #Conflicts: 2047000 | #Constraints: 53619
3372.00/3380.78 c #Conflicts: 2048000 | #Constraints: 54619
3372.00/3380.78 c #Conflicts: 2049000 | #Constraints: 55619
3372.00/3380.78 c #Conflicts: 2050000 | #Constraints: 56619
3372.00/3380.78 c INPROCESSING
3372.00/3380.78 c GARBAGE COLLECT
3372.00/3380.78 c #Conflicts: 2051000 | #Constraints: 29218
3372.00/3380.78 c #Conflicts: 2052000 | #Constraints: 30218
3372.00/3380.78 c #Conflicts: 2053000 | #Constraints: 31218
3372.00/3380.78 c #Conflicts: 2054000 | #Constraints: 32218
3572.85/3582.20 c #Conflicts: 2055000 | #Constraints: 33218
3572.85/3582.20 c #Conflicts: 2056000 | #Constraints: 34218
3572.85/3582.20 c #Conflicts: 2057000 | #Constraints: 35218
3572.85/3582.20 c #Conflicts: 2058000 | #Constraints: 36218
3572.85/3582.20 c #Conflicts: 2059000 | #Constraints: 37218
3572.85/3582.20 c #Conflicts: 2060000 | #Constraints: 38218
3572.85/3582.20 c #Conflicts: 2061000 | #Constraints: 39218
3572.85/3582.20 c #Conflicts: 2062000 | #Constraints: 40218
3572.85/3582.20 c #Conflicts: 2063000 | #Constraints: 41218
3572.85/3582.20 c #Conflicts: 2064000 | #Constraints: 42218
3572.85/3582.20 c #Conflicts: 2065000 | #Constraints: 43218
3572.85/3582.20 c #Conflicts: 2066000 | #Constraints: 44218
3572.85/3582.20 c #Conflicts: 2067000 | #Constraints: 45218
3572.85/3582.20 c #Conflicts: 2068000 | #Constraints: 46218
3572.85/3582.20 c #Conflicts: 2069000 | #Constraints: 47218
3572.85/3582.20 c #Conflicts: 2070000 | #Constraints: 48218
3572.85/3582.20 c #Conflicts: 2071000 | #Constraints: 49218
3572.85/3582.20 c #Conflicts: 2072000 | #Constraints: 50218
3572.85/3582.20 c #Conflicts: 2073000 | #Constraints: 51218
3572.85/3582.20 c #Conflicts: 2074000 | #Constraints: 52218
3572.85/3582.20 c #Conflicts: 2075000 | #Constraints: 53218
3572.85/3582.20 c #Conflicts: 2076000 | #Constraints: 54218
3572.85/3582.20 c #Conflicts: 2077000 | #Constraints: 55218
3572.85/3582.20 c #Conflicts: 2078000 | #Constraints: 56218
3572.85/3582.20 c #Conflicts: 2079000 | #Constraints: 57218
3572.85/3582.20 c INPROCESSING
3572.85/3582.20 c GARBAGE COLLECT
3572.85/3582.20 c #Conflicts: 2080000 | #Constraints: 29621
3572.85/3582.20 c #Conflicts: 2081000 | #Constraints: 30621
3572.85/3582.20 c #Conflicts: 2082000 | #Constraints: 31621
3572.85/3582.20 c #Conflicts: 2083000 | #Constraints: 32621
3572.85/3582.20 c #Conflicts: 2084000 | #Constraints: 33621
3572.85/3582.20 c #Conflicts: 2085000 | #Constraints: 34621
3572.85/3582.20 c #Conflicts: 2086000 | #Constraints: 35621
3572.85/3582.20 c #Conflicts: 2087000 | #Constraints: 36621
3572.85/3582.20 c #Conflicts: 2088000 | #Constraints: 37621
3572.85/3582.20 c #Conflicts: 2089000 | #Constraints: 38621
3572.85/3582.20 c #Conflicts: 2090000 | #Constraints: 39621
3572.85/3582.20 c #Conflicts: 2091000 | #Constraints: 40621
3572.85/3582.20 c #Conflicts: 2092000 | #Constraints: 41621
3572.85/3582.20 c #Conflicts: 2093000 | #Constraints: 42621
3572.85/3582.20 c #Conflicts: 2094000 | #Constraints: 43621
3572.85/3582.20 c #Conflicts: 2095000 | #Constraints: 44621
3572.85/3582.20 c #Conflicts: 2096000 | #Constraints: 45621
3572.85/3582.20 c #Conflicts: 2097000 | #Constraints: 46621
3572.85/3582.20 c #Conflicts: 2098000 | #Constraints: 47621
3572.85/3582.20 c #Conflicts: 2099000 | #Constraints: 48621
3572.85/3582.20 c #Conflicts: 2100000 | #Constraints: 49621
3572.85/3582.20 c #Conflicts: 2101000 | #Constraints: 50621
3572.85/3582.20 c #Conflicts: 2102000 | #Constraints: 51621
3572.85/3582.20 c #Conflicts: 2103000 | #Constraints: 52621
3572.85/3582.20 c #Conflicts: 2104000 | #Constraints: 53621
3572.85/3582.20 c #Conflicts: 2105000 | #Constraints: 54621
3572.85/3582.20 c #Conflicts: 2106000 | #Constraints: 55621
3572.85/3582.20 c #Conflicts: 2107000 | #Constraints: 56621
3572.85/3582.20 c #Conflicts: 2108000 | #Constraints: 57621
3572.85/3582.20 c INPROCESSING
3572.85/3582.20 c GARBAGE COLLECT
3572.85/3582.20 c #Conflicts: 2109000 | #Constraints: 29821
3572.85/3582.20 c #Conflicts: 2110000 | #Constraints: 30821
3572.85/3582.20 c #Conflicts: 2111000 | #Constraints: 31821
3572.85/3582.20 c #Conflicts: 2112000 | #Constraints: 32821
3572.85/3582.20 c #Conflicts: 2113000 | #Constraints: 33821
3572.85/3582.20 c #Conflicts: 2114000 | #Constraints: 34821
3572.85/3582.20 c #Conflicts: 2115000 | #Constraints: 35821
3572.85/3582.20 c #Conflicts: 2116000 | #Constraints: 36821
3572.85/3582.20 c #Conflicts: 2117000 | #Constraints: 37821
3572.85/3582.20 c #Conflicts: 2118000 | #Constraints: 38821
3572.85/3582.20 c #Conflicts: 2119000 | #Constraints: 39821
3572.85/3582.20 c #Conflicts: 2120000 | #Constraints: 40821
3572.85/3582.20 c #Conflicts: 2121000 | #Constraints: 41821
3572.85/3582.20 c #Conflicts: 2122000 | #Constraints: 42821
3572.85/3582.20 c #Conflicts: 2123000 | #Constraints: 43821
3572.85/3582.20 c #Conflicts: 2124000 | #Constraints: 44821
3572.85/3582.20 c #Conflicts: 2125000 | #Constraints: 45821
3572.85/3582.20 c #Conflicts: 2126000 | #Constraints: 46821
3572.85/3582.20 c #Conflicts: 2127000 | #Constraints: 47821
3572.85/3582.20 c #Conflicts: 2128000 | #Constraints: 48821
3572.85/3582.20 c #Conflicts: 2129000 | #Constraints: 49821
3572.85/3582.20 c #Conflicts: 2130000 | #Constraints: 50821
3572.85/3582.20 c #Conflicts: 2131000 | #Constraints: 51821
3600.08/3609.50 c #Conflicts: 2132000 | #Constraints: 52821
3600.08/3609.50 c #Conflicts: 2133000 | #Constraints: 53821
3600.08/3609.50 c #Conflicts: 2134000 | #Constraints: 54821
3600.08/3609.50 c #Conflicts: 2135000 | #Constraints: 55821
3600.08/3609.50 c #Conflicts: 2136000 | #Constraints: 56821
3600.08/3609.50 c #Conflicts: 2137000 | #Constraints: 57821
3600.08/3609.50 c INPROCESSING
3600.08/3609.50 c GARBAGE COLLECT
3600.08/3609.50 c #Conflicts: 2138000 | #Constraints: 29825
3600.08/3609.50 c #Conflicts: 2139000 | #Constraints: 30825
3600.08/3609.50 c #Conflicts: 2140000 | #Constraints: 31825
3600.08/3609.50 c #Conflicts: 2141000 | #Constraints: 32825
3600.08/3609.50 c #Conflicts: 2142000 | #Constraints: 33825
3600.08/3609.50 c Program interrupted by user.
3600.08/3609.50 c cpu time 3591.59 s
3600.08/3609.50 c deterministic time 578525342589 5.79e+11
3600.08/3609.50 c optimization time 9.96458 s
3600.08/3609.50 c total solve time 3581.62 s
3600.08/3609.50 c core-guided solve time 3581.62 s
3600.08/3609.50 c propagation time 3365.34 s
3600.08/3609.50 c conflict analysis time 212.18 s
3600.08/3609.50 c propagations 18259415
3600.08/3609.50 c resolve steps 9093473
3600.08/3609.50 c decisions 3089162
3600.08/3609.50 c conflicts 2142091
3600.08/3609.50 c restarts 4092
3600.08/3609.50 c inprocessing phases 137
3600.08/3609.50 c input clauses 0
3600.08/3609.50 c input cardinalities 0
3600.08/3609.50 c input general constraints 14
3600.08/3609.50 c input average constraint length 47.86
3600.08/3609.50 c input average constraint degree 993.14
3600.08/3609.50 c learned clauses 1250755
3600.08/3609.50 c learned cardinalities 0
3600.08/3609.50 c learned general constraints 891336
3600.08/3609.50 c learned average constraint length 28.19
3600.08/3609.50 c learned average constraint degree 9464.80
3600.08/3609.50 c watched constraints 824946
3600.08/3609.50 c counting constraints 66404
3600.08/3609.50 c gcd simplifications 1114280
3600.08/3609.50 c detected cardinalities 0
3600.08/3609.50 c weakened non-implied lits 11650593
3600.08/3609.50 c weakened non-implying lits 1588102
3600.08/3609.50 c original variables 94
3600.08/3609.50 c clausal propagations 258279
3600.08/3609.50 c cardinality propagations 0
3600.08/3609.50 c watched propagations 8005382
3600.08/3609.50 c counting propagations 8223754
3600.08/3609.50 c watch lookups 58933428898
3600.08/3609.50 c watch backjump lookups 42135667199
3600.08/3609.50 c watch checks 303011973190
3600.08/3609.50 c propagation checks 174023271807
3600.08/3609.50 c constraint additions 376162337
3600.08/3609.50 c trail pops 23490580
3600.08/3609.50 c formula constraints 8
3600.08/3609.50 c learned constraints 2142091
3600.08/3609.50 c bound constraints 6
3600.08/3609.50 c core-guided constraints 0
3600.08/3609.50 c encountered formula constraints 2364753
3600.08/3609.50 c encountered learned constraints 8870811
3600.08/3609.50 c encountered bound constraints 0
3600.08/3609.50 c encountered core-guided constraints 0
3600.08/3609.50 c LP total time 0 s
3600.08/3609.50 c LP solve time 0 s
3600.08/3609.50 c LP constraints added 0
3600.08/3609.50 c LP constraints removed 0
3600.08/3609.50 c LP pivots internal 0
3600.08/3609.50 c LP pivots root 0
3600.08/3609.50 c LP calls 0
3600.08/3609.50 c LP optimalities 0
3600.08/3609.50 c LP no pivot count 0
3600.08/3609.50 c LP infeasibilities 0
3600.08/3609.50 c LP valid Farkas constraints 0
3600.08/3609.50 c LP learned Farkas constraints 0
3600.08/3609.50 c LP basis resets 0
3600.08/3609.50 c LP cycling count 0
3600.08/3609.50 c LP singular count 0
3600.08/3609.50 c LP no primal count 0
3600.08/3609.50 c LP no farkas count 0
3600.08/3609.50 c LP other issue count 0
3600.08/3609.50 c LP Gomory cuts 0
3600.08/3609.50 c LP learned cuts 0
3600.08/3609.50 c LP deleted cuts 0
3600.08/3609.50 c LP encountered Gomory constraints 0
3600.08/3609.50 c LP encountered Farkas constraints 0
3600.08/3609.50 c LP encountered learned Farkas constraints 0
3600.08/3609.50 c CG auxiliary variables introduced 0
3600.08/3609.50 c CG solutions found 6
3600.08/3609.50 c CG cores constructed 0
3600.08/3609.50 c CG core cardinality constraints returned 0
3600.08/3609.50 c CG unit cores 0
3600.08/3609.50 c CG single cores 0
3600.08/3609.50 c CG blocks removed during cardinality reduction 0
3600.08/3609.50 c CG first core best 0
3600.08/3609.50 c CG decision core best 0
3600.08/3609.50 c CG core reduction tie 0
3600.08/3609.50 c CG core degree average 0.00
3600.08/3609.50 c CG core slack average 0.00
3600.08/3609.50 c CG exhausted 0
3600.08/3609.50 c CG exhaust time 0 s
3600.08/3609.50 c CG trimmed 0
3600.08/3609.50 c CG trim time 0 s
3600.08/3609.50 c CG minimized 0
3600.08/3609.50 c CG minimize time 0 s
3600.08/3609.50 c CG am1 prop time 0.000178 s
3600.08/3609.50 c CG # am1s reformulated 0
3600.08/3609.50 c CG lower bound derived from am1s 0
3600.08/3609.50 c CG # clausal cores 0
3600.08/3609.50 c CG # cardinality cores 0
3600.08/3609.50 c CG # pb cores 0
3600.08/3609.50 c CG # pb reforms 0
3600.08/3609.50 c CG # cores discarded because of pb reform 0
3600.08/3609.50 d LOWERBOUND 0
3600.08/3609.50 d NCORES 0
3600.08/3609.50 d NPBCORES 0
3600.08/3609.50 d NPBREFORM 0
3600.08/3609.50 d NTRIMMED 0
3600.08/3609.50 d NEXHAUSTED 0
3600.08/3609.50 d NAM1S 0
3600.08/3609.50 d AM1LB 0
3600.08/3609.50 o 4
3600.08/3609.50 s SATISFIABLE
3600.08/3609.50 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
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: 63837 MiB (62658 MiB free)
memory of node 1: 64465 MiB (63493 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4490284-1751363980/watcher-4490284-1751363980 -o /tmp/evaluation-result-4490284-1751363980/solver-4490284-1751363980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61297 --watchdog 3760 pb-oll-rs HOME/instance-4490284-1751363980.opb
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=62093, runsolver pid=62090
[startup+0.100067 s]*
/proc/loadavg: 4.20 4.18 4.20 5/252 62094
/proc/meminfo: memFree=129179380/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=20080 memory=6144 CPUtime=0.09 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 356 0 0 0 8 1 0 0 20 0 1 0 52077124 20561920 1536 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5020 1536 1376 243 0 1269 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 20080 KiB
Current children cumulated memory: 6144 KiB
[startup+0.212775 s]*
/proc/loadavg: 4.20 4.18 4.20 5/252 62094
/proc/meminfo: memFree=129179380/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=20208 memory=6528 CPUtime=0.2 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 449 0 0 0 19 1 0 0 20 0 1 0 52077124 20692992 1632 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5052 1632 1376 243 0 1301 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 20208 KiB
Current children cumulated memory: 6528 KiB
[startup+0.312316 s]*
/proc/loadavg: 4.20 4.18 4.20 5/252 62094
/proc/meminfo: memFree=129179380/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=20208 memory=6528 CPUtime=0.31 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 457 0 0 0 29 2 0 0 20 0 1 0 52077124 20692992 1632 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5052 1632 1376 243 0 1301 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 20208 KiB
Current children cumulated memory: 6528 KiB
[startup+0.700219 s]
/proc/loadavg: 4.20 4.18 4.20 5/252 62094
/proc/meminfo: memFree=129179380/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=20344 memory=6912 CPUtime=0.68 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 568 0 0 0 65 3 0 0 20 0 1 0 52077124 20832256 1728 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5086 1728 1376 243 0 1335 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 20344 KiB
Current children cumulated memory: 6912 KiB
[startup+1.50024 s]
/proc/loadavg: 4.20 4.18 4.20 5/252 62094
/proc/meminfo: memFree=129179428/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=20568 memory=7424 CPUtime=1.47 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 699 0 0 0 143 4 0 0 20 0 1 0 52077124 21061632 1856 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5142 1856 1376 243 0 1391 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 20568 KiB
Current children cumulated memory: 7424 KiB
[startup+3.11257 s]
/proc/loadavg: 4.18 4.18 4.19 5/252 62094
/proc/meminfo: memFree=129179428/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=20992 memory=10008 CPUtime=3.08 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 830 0 0 0 301 7 0 0 20 0 1 0 52077124 21495808 2502 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5248 2502 1376 243 0 1497 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 20992 KiB
Current children cumulated memory: 10008 KiB
[startup+6.30024 s]
/proc/loadavg: 4.18 4.18 4.19 5/252 62094
/proc/meminfo: memFree=129154852/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=21344 memory=10392 CPUtime=6.26 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 918 0 0 0 616 10 0 0 20 0 1 0 52077124 21856256 2598 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5336 2598 1376 243 0 1585 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 21344 KiB
Current children cumulated memory: 10392 KiB
[startup+12.7003 s]
/proc/loadavg: 4.17 4.18 4.19 5/252 62094
/proc/meminfo: memFree=129151016/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=21984 memory=10904 CPUtime=12.65 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 1049 0 0 0 1249 16 0 0 20 0 1 0 52077124 22511616 2726 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5496 2726 1376 243 0 1745 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 21984 KiB
Current children cumulated memory: 10904 KiB
[startup+25.5003 s]
/proc/loadavg: 4.13 4.17 4.19 5/252 62095
/proc/meminfo: memFree=129124832/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=22176 memory=11288 CPUtime=25.42 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 1149 0 0 0 2516 26 0 0 20 0 1 0 52077124 22708224 2822 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5544 2822 1376 243 0 1793 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 22176 KiB
Current children cumulated memory: 11288 KiB
[startup+51.1125 s]
/proc/loadavg: 4.15 4.17 4.19 5/252 62095
/proc/meminfo: memFree=129057136/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=22816 memory=11928 CPUtime=50.97 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 1341 0 0 0 5057 40 0 0 20 0 1 0 52077124 23363584 2982 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5704 2982 1376 243 0 1953 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 22816 KiB
Current children cumulated memory: 11928 KiB
[startup+102.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/251 62108
/proc/meminfo: memFree=129003672/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=23908 memory=13464 CPUtime=102.03 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 1771 0 0 0 10136 67 0 0 20 0 1 0 52077124 24481792 3366 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 5977 3366 1376 243 0 2226 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 23908 KiB
Current children cumulated memory: 13464 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.16 4.18 5/250 62112
/proc/meminfo: memFree=128975816/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=26884 memory=14360 CPUtime=161.9 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 2049 0 0 0 16099 91 0 0 20 0 1 0 52077124 27529216 3590 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 6721 3590 1376 243 0 2970 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 26884 KiB
Current children cumulated memory: 14360 KiB
[startup+222.3 s]
/proc/loadavg: 4.79 4.34 4.24 5/250 62114
/proc/meminfo: memFree=128935416/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=27076 memory=15256 CPUtime=221.75 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 2446 0 0 0 22060 115 0 0 20 0 1 0 52077124 27725824 3814 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 6769 3814 1376 243 0 3018 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 27076 KiB
Current children cumulated memory: 15256 KiB
[startup+282.3 s]
/proc/loadavg: 4.34 4.29 4.23 5/249 62116
/proc/meminfo: memFree=128868556/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=27588 memory=16280 CPUtime=281.6 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 2848 0 0 0 28020 140 0 0 20 0 1 0 52077124 28250112 4070 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 6897 4070 1376 243 0 3146 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 27588 KiB
Current children cumulated memory: 16280 KiB
[startup+342.3 s]
/proc/loadavg: 4.24 4.27 4.22 5/250 62123
/proc/meminfo: memFree=128840088/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=28776 memory=17304 CPUtime=341.46 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 3152 0 0 0 33984 162 0 0 20 0 1 0 52077124 29466624 4326 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 7194 4326 1376 243 0 3443 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 28776 KiB
Current children cumulated memory: 17304 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.23 4.21 5/249 62125
/proc/meminfo: memFree=128810972/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=29876 memory=18840 CPUtime=401.3 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 3659 0 0 0 39949 181 0 0 20 0 1 0 52077124 30593024 4710 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 7469 4710 1376 243 0 3718 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 29876 KiB
Current children cumulated memory: 18840 KiB
[startup+462.3 s]
/proc/loadavg: 4.10 4.20 4.20 5/250 62128
/proc/meminfo: memFree=128839176/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=30440 memory=19352 CPUtime=461.16 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 3801 0 0 0 45912 204 0 0 20 0 1 0 52077124 31170560 4838 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 7610 4838 1376 243 0 3859 0
Current children cumulated CPU time: 461.16 s
################
# More data... #
################
Current children cumulated memory: 31916 KiB
[startup+2922.3 s]
/proc/loadavg: 4.16 4.12 4.11 5/251 62243
/proc/meminfo: memFree=120966840/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47248 memory=31916 CPUtime=2914.98 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 6622 0 0 0 290759 739 0 0 20 0 1 0 52077124 48381952 7979 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11812 7979 1376 243 0 8061 0
Current children cumulated CPU time: 2914.98 s
Current children cumulated vsize: 47248 KiB
Current children cumulated memory: 31916 KiB
[startup+2982.3 s]
/proc/loadavg: 4.12 4.11 4.10 5/251 62245
/proc/meminfo: memFree=119884340/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47248 memory=31924 CPUtime=2974.82 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 6727 0 0 0 296732 750 0 0 20 0 1 0 52077124 48381952 7981 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11812 7981 1376 243 0 8061 0
Current children cumulated CPU time: 2974.82 s
Current children cumulated vsize: 47248 KiB
Current children cumulated memory: 31924 KiB
[startup+3042.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/251 62247
/proc/meminfo: memFree=119863844/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47248 memory=31924 CPUtime=3034.67 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 6831 0 0 0 302707 760 0 0 20 0 1 0 52077124 48381952 7981 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11812 7981 1376 243 0 8061 0
Current children cumulated CPU time: 3034.67 s
Current children cumulated vsize: 47248 KiB
Current children cumulated memory: 31924 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/251 62250
/proc/meminfo: memFree=119845412/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47248 memory=31924 CPUtime=3094.49 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 6935 0 0 0 308680 769 0 0 20 0 1 0 52077124 48381952 7981 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11812 7981 1376 243 0 8061 0
Current children cumulated CPU time: 3094.49 s
Current children cumulated vsize: 47248 KiB
Current children cumulated memory: 31924 KiB
[startup+3162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/249 62254
/proc/meminfo: memFree=119790336/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47504 memory=32072 CPUtime=3154.3 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7082 0 0 0 314651 779 0 0 20 0 1 0 52077124 48644096 8018 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11876 8018 1376 243 0 8125 0
Current children cumulated CPU time: 3154.3 s
Current children cumulated vsize: 47504 KiB
Current children cumulated memory: 32072 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/249 62256
/proc/meminfo: memFree=119725424/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47760 memory=32220 CPUtime=3214.1 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7224 0 0 0 320623 787 0 0 20 0 1 0 52077124 48906240 8055 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11940 8055 1376 243 0 8189 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 32220 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/249 62258
/proc/meminfo: memFree=119659404/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47760 memory=32220 CPUtime=3273.91 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7224 0 0 0 326594 797 0 0 20 0 1 0 52077124 48906240 8055 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11940 8055 1376 243 0 8189 0
Current children cumulated CPU time: 3273.91 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 32220 KiB
[startup+3342.3 s]
/proc/loadavg: 4.11 4.12 4.09 5/250 62265
/proc/meminfo: memFree=119506772/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47760 memory=32224 CPUtime=3333.72 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7331 0 0 0 332565 807 0 0 20 0 1 0 52077124 48906240 8056 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11940 8056 1376 243 0 8189 0
Current children cumulated CPU time: 3333.72 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 32224 KiB
[startup+3402.3 s]
/proc/loadavg: 4.49 4.21 4.12 5/250 62267
/proc/meminfo: memFree=119480024/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47760 memory=32236 CPUtime=3393.53 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7440 0 0 0 338537 816 0 0 20 0 1 0 52077124 48906240 8059 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11940 8059 1376 243 0 8189 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 32236 KiB
[startup+3462.3 s]
/proc/loadavg: 4.65 4.32 4.17 5/250 62269
/proc/meminfo: memFree=119470488/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=47760 memory=32260 CPUtime=3453.33 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7552 0 0 0 344510 823 0 0 20 0 1 0 52077124 48906240 8065 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 11940 8065 1376 243 0 8189 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 47760 KiB
Current children cumulated memory: 32260 KiB
[startup+3522.3 s]
/proc/loadavg: 4.36 4.29 4.17 5/250 62271
/proc/meminfo: memFree=119442276/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=48016 memory=32260 CPUtime=3513.14 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7560 0 0 0 350480 834 0 0 20 0 1 0 52077124 49168384 8065 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 12004 8065 1376 243 0 8253 0
Current children cumulated CPU time: 3513.14 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 32260 KiB
[startup+3582.3 s]
/proc/loadavg: 4.19 4.25 4.16 5/250 62406
/proc/meminfo: memFree=129667740/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=48272 memory=33188 CPUtime=3572.95 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7704 0 0 0 356450 845 0 0 20 0 1 0 52077124 49430528 8297 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 12068 8297 1376 243 0 8317 0
Current children cumulated CPU time: 3572.95 s
Current children cumulated vsize: 48272 KiB
Current children cumulated memory: 33188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.5 s]
/proc/loadavg: 4.27 4.26 4.17 5/250 62408
/proc/meminfo: memFree=129649592/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=48272 memory=33372 CPUtime=3600.08 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7854 0 0 0 359158 850 0 0 20 0 1 0 52077124 49430528 8343 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 12068 8343 1376 243 0 8317 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 48272 KiB
Current children cumulated memory: 33372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.5 s]
# the end of solver process 62093 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.59 s, system=8.50736 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.5 s]
/proc/loadavg: 4.27 4.26 4.17 5/250 62408
/proc/meminfo: memFree=129649592/131382112 swapFree=33010684/33010684
[pid=62093] ppid=62090 vsize=48272 memory=33372 CPUtime=3600.08 cores=1,3
/proc/62093/stat : 62093 (pb-oll-rs) R 62090 62093 61285 0 -1 4194304 7854 0 0 0 359158 850 0 0 20 0 1 0 52077124 49430528 8343 18446744073709551615 4218880 5211445 140725230818528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5494472 5498400 29794304 140725230819740 140725230819817 140725230819817 140725230825419 0
/proc/62093/statm: 12068 8343 1376 243 0 8317 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 48272 KiB
Current children cumulated memory: 33372 KiB
Child status: 0
Real time (s): 3609.5
CPU time (s): 3600.1
CPU user time (s): 3591.59
CPU system time (s): 8.50736
CPU usage (%): 99.7394
Max. virtual memory (cumulated for all children) (KiB): 48272
Max. memory (cumulated for all children) (KiB): 33372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.59
system time used= 8.50736
maximum resident set size= 33700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7869
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= 93
involuntary context switches= 1581
# summary of solver processes directly reported to runsolver:
# pid: 62093
# total CPU time (s): 3600.1
# total CPU user time (s): 3591.59
# total CPU system time (s): 8.50736
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0142 second user time and 33.3291 second system time
The end
Begin job on nodeC007 at 2025-07-01 11:59:40
IDJOB=4490284
IDBENCH=147577
IDSOLVER=3345
FILE ID=nodeC007/4490284-1751363980
RUNJOBID= nodeC007-1751360282-61297
SLURM_JOB_ID= 9598160
Free space on /tmp= 432964 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4490284-1751363980/watcher-4490284-1751363980 -o /tmp/evaluation-result-4490284-1751363980/solver-4490284-1751363980 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1751360282-61297 --watchdog 3760 pb-oll-rs HOME/instance-4490284-1751363980.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 86001821498b0a30bc65df6451678f5a
RANDOM SEED=1116577124
nodeC007 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.687
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3493.325
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.488
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.206
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3662.654
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3664.755
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.693
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.383
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.68
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382112 kB
MemFree: 129179380 kB
MemAvailable: 129432988 kB
Buffers: 3280 kB
Cached: 1060120 kB
SwapCached: 0 kB
Active: 838016 kB
Inactive: 813488 kB
Active(anon): 606064 kB
Inactive(anon): 0 kB
Active(file): 231952 kB
Inactive(file): 813488 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1628 kB
Writeback: 16 kB
AnonPages: 591132 kB
Mapped: 106432 kB
Shmem: 17960 kB
KReclaimable: 95592 kB
Slab: 178968 kB
SReclaimable: 95592 kB
SUnreclaim: 83376 kB
KernelStack: 4064 kB
PageTables: 4260 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701740 kB
Committed_AS: 1026748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149400 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 73728 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201544 kB
DirectMap2M: 10186752 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 433008 MiB
End job on nodeC007 at 2025-07-01 12:59:50