0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 242 #constraints 6358
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.011401
0.00/0.01 c stratification level: 0
4.08/4.11 c #Conflicts: 1000 | #Constraints: 7357
4.08/4.11 c #Conflicts: 2000 | #Constraints: 8357
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 3000 | #Constraints: 8371
4.08/4.11 c #Conflicts: 4000 | #Constraints: 9371
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 5000 | #Constraints: 8778
4.08/4.11 c #Conflicts: 6000 | #Constraints: 9778
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 7000 | #Constraints: 8789
4.08/4.11 c #Conflicts: 8000 | #Constraints: 9789
4.08/4.11 c #Conflicts: 9000 | #Constraints: 10789
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 10000 | #Constraints: 9496
4.08/4.11 c #Conflicts: 11000 | #Constraints: 10496
4.08/4.11 c #Conflicts: 12000 | #Constraints: 11496
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 13000 | #Constraints: 9951
4.08/4.11 c #Conflicts: 14000 | #Constraints: 10951
4.08/4.11 c #Conflicts: 15000 | #Constraints: 11951
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 16000 | #Constraints: 10170
4.08/4.11 c #Conflicts: 17000 | #Constraints: 11170
4.08/4.11 c #Conflicts: 18000 | #Constraints: 12170
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 19000 | #Constraints: 10189
4.08/4.11 c #Conflicts: 20000 | #Constraints: 11189
4.08/4.11 c #Conflicts: 21000 | #Constraints: 12189
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 22000 | #Constraints: 9993
4.08/4.11 c #Conflicts: 23000 | #Constraints: 10993
4.08/4.11 c #Conflicts: 24000 | #Constraints: 11993
4.08/4.11 c #Conflicts: 25000 | #Constraints: 12993
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 26000 | #Constraints: 10602
4.08/4.11 c #Conflicts: 27000 | #Constraints: 11602
4.08/4.11 c #Conflicts: 28000 | #Constraints: 12602
4.08/4.11 c #Conflicts: 29000 | #Constraints: 13602
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 30000 | #Constraints: 11005
4.08/4.11 c #Conflicts: 31000 | #Constraints: 12005
4.08/4.11 c #Conflicts: 32000 | #Constraints: 13005
4.08/4.11 c #Conflicts: 33000 | #Constraints: 14005
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 34000 | #Constraints: 11205
4.08/4.11 c #Conflicts: 35000 | #Constraints: 12205
4.08/4.11 c #Conflicts: 36000 | #Constraints: 13205
4.08/4.11 c #Conflicts: 37000 | #Constraints: 14205
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 38000 | #Constraints: 11205
4.08/4.11 c #Conflicts: 39000 | #Constraints: 12205
4.08/4.11 c #Conflicts: 40000 | #Constraints: 13205
4.08/4.11 c #Conflicts: 41000 | #Constraints: 14205
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 42000 | #Constraints: 11001
4.08/4.11 c #Conflicts: 43000 | #Constraints: 12001
4.08/4.11 c #Conflicts: 44000 | #Constraints: 13001
4.08/4.11 c #Conflicts: 45000 | #Constraints: 14001
4.08/4.11 c #Conflicts: 46000 | #Constraints: 15001
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 47000 | #Constraints: 11603
4.08/4.11 c #Conflicts: 48000 | #Constraints: 12603
4.08/4.11 c #Conflicts: 49000 | #Constraints: 13603
4.08/4.11 c #Conflicts: 50000 | #Constraints: 14603
4.08/4.11 c #Conflicts: 51000 | #Constraints: 15603
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 52000 | #Constraints: 12006
4.08/4.11 c #Conflicts: 53000 | #Constraints: 13006
4.08/4.11 c #Conflicts: 54000 | #Constraints: 14006
4.08/4.11 c #Conflicts: 55000 | #Constraints: 15006
4.08/4.11 c #Conflicts: 56000 | #Constraints: 16006
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 57000 | #Constraints: 12202
4.08/4.11 c #Conflicts: 58000 | #Constraints: 13202
4.08/4.11 c #Conflicts: 59000 | #Constraints: 14202
4.08/4.11 c #Conflicts: 60000 | #Constraints: 15202
4.08/4.11 c #Conflicts: 61000 | #Constraints: 16202
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 62000 | #Constraints: 12203
4.08/4.11 c #Conflicts: 63000 | #Constraints: 13203
4.08/4.11 c #Conflicts: 64000 | #Constraints: 14203
4.08/4.11 c #Conflicts: 65000 | #Constraints: 15203
4.08/4.11 c #Conflicts: 66000 | #Constraints: 16203
4.08/4.11 c INPROCESSING
4.08/4.11 c GARBAGE COLLECT
4.08/4.11 c #Conflicts: 67000 | #Constraints: 12007
4.08/4.11 c #Conflicts: 68000 | #Constraints: 13007
6.37/6.43 c #Conflicts: 69000 | #Constraints: 14007
6.37/6.43 c #Conflicts: 70000 | #Constraints: 15007
6.37/6.43 c #Conflicts: 71000 | #Constraints: 16007
6.37/6.43 c #Conflicts: 72000 | #Constraints: 17007
6.37/6.43 c INPROCESSING
6.37/6.43 c GARBAGE COLLECT
6.37/6.43 c #Conflicts: 73000 | #Constraints: 12603
6.37/6.43 c #Conflicts: 74000 | #Constraints: 13603
6.37/6.43 c #Conflicts: 75000 | #Constraints: 14603
6.37/6.43 c #Conflicts: 76000 | #Constraints: 15603
6.37/6.43 c #Conflicts: 77000 | #Constraints: 16603
6.37/6.43 c #Conflicts: 78000 | #Constraints: 17603
6.37/6.43 c INPROCESSING
6.37/6.43 c GARBAGE COLLECT
6.37/6.43 c #Conflicts: 79000 | #Constraints: 13009
6.37/6.43 c #Conflicts: 80000 | #Constraints: 14009
6.37/6.43 c #Conflicts: 81000 | #Constraints: 15009
6.37/6.43 c #Conflicts: 82000 | #Constraints: 16009
6.37/6.43 c #Conflicts: 83000 | #Constraints: 17009
6.37/6.43 c #Conflicts: 84000 | #Constraints: 18009
6.37/6.43 c INPROCESSING
6.37/6.43 c GARBAGE COLLECT
6.37/6.43 c #Conflicts: 85000 | #Constraints: 13214
6.37/6.43 c #Conflicts: 86000 | #Constraints: 14214
6.37/6.43 c #Conflicts: 87000 | #Constraints: 15214
6.37/6.43 c #Conflicts: 88000 | #Constraints: 16214
6.37/6.43 c #Conflicts: 89000 | #Constraints: 17214
6.37/6.43 c #Conflicts: 90000 | #Constraints: 18214
6.37/6.43 c INPROCESSING
6.37/6.43 c GARBAGE COLLECT
6.37/6.43 c #Conflicts: 91000 | #Constraints: 13215
6.37/6.43 c #Conflicts: 92000 | #Constraints: 14215
6.37/6.43 c #Conflicts: 93000 | #Constraints: 15215
6.37/6.43 c #Conflicts: 94000 | #Constraints: 16215
6.37/6.43 c #Conflicts: 95000 | #Constraints: 17215
6.37/6.43 c #Conflicts: 96000 | #Constraints: 18215
6.37/6.43 c INPROCESSING
6.37/6.43 c GARBAGE COLLECT
6.37/6.43 c #Conflicts: 97000 | #Constraints: 13017
6.37/6.43 c #Conflicts: 98000 | #Constraints: 14017
6.37/6.43 c #Conflicts: 99000 | #Constraints: 15017
6.37/6.43 c #Conflicts: 100000 | #Constraints: 16017
6.37/6.43 c #Conflicts: 101000 | #Constraints: 17017
6.37/6.43 c #Conflicts: 102000 | #Constraints: 18017
6.37/6.43 c #Conflicts: 103000 | #Constraints: 19017
6.37/6.43 c INPROCESSING
6.37/6.43 c GARBAGE COLLECT
6.37/6.43 c #Conflicts: 104000 | #Constraints: 13616
6.37/6.43 c #Conflicts: 105000 | #Constraints: 14616
6.37/6.43 c #Conflicts: 106000 | #Constraints: 15616
6.37/6.43 c #Conflicts: 107000 | #Constraints: 16616
6.37/6.43 c #Conflicts: 108000 | #Constraints: 17616
6.37/6.43 c #Conflicts: 109000 | #Constraints: 18616
6.37/6.43 c #Conflicts: 110000 | #Constraints: 19616
6.37/6.43 c INPROCESSING
6.37/6.43 c GARBAGE COLLECT
6.37/6.43 c #Conflicts: 111000 | #Constraints: 14020
6.37/6.43 c #Conflicts: 112000 | #Constraints: 15020
6.37/6.43 c #Conflicts: 113000 | #Constraints: 16020
6.37/6.43 c #Conflicts: 114000 | #Constraints: 17020
6.37/6.43 c #Conflicts: 115000 | #Constraints: 18020
6.37/6.43 c bounds - >= 1 @ 6.04003
6.37/6.43 c finalizing WCE round: reformulating cores
22.74/22.84 c #Conflicts: 116000 | #Constraints: 19024
22.74/22.84 c bounds 6 >= 1 @ 6.08138
22.74/22.84 c #Conflicts: 117000 | #Constraints: 20024
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 118000 | #Constraints: 14199
22.74/22.84 c #Conflicts: 119000 | #Constraints: 15199
22.74/22.84 c #Conflicts: 120000 | #Constraints: 16199
22.74/22.84 c #Conflicts: 121000 | #Constraints: 17199
22.74/22.84 c #Conflicts: 122000 | #Constraints: 18199
22.74/22.84 c #Conflicts: 123000 | #Constraints: 19199
22.74/22.84 c #Conflicts: 124000 | #Constraints: 20199
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 125000 | #Constraints: 14191
22.74/22.84 c #Conflicts: 126000 | #Constraints: 15191
22.74/22.84 c #Conflicts: 127000 | #Constraints: 16191
22.74/22.84 c #Conflicts: 128000 | #Constraints: 17191
22.74/22.84 c #Conflicts: 129000 | #Constraints: 18191
22.74/22.84 c #Conflicts: 130000 | #Constraints: 19191
22.74/22.84 c #Conflicts: 131000 | #Constraints: 20191
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 132000 | #Constraints: 13986
22.74/22.84 c #Conflicts: 133000 | #Constraints: 14986
22.74/22.84 c #Conflicts: 134000 | #Constraints: 15986
22.74/22.84 c #Conflicts: 135000 | #Constraints: 16986
22.74/22.84 c #Conflicts: 136000 | #Constraints: 17986
22.74/22.84 c #Conflicts: 137000 | #Constraints: 18986
22.74/22.84 c #Conflicts: 138000 | #Constraints: 19986
22.74/22.84 c #Conflicts: 139000 | #Constraints: 20986
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 140000 | #Constraints: 14603
22.74/22.84 c #Conflicts: 141000 | #Constraints: 15603
22.74/22.84 c #Conflicts: 142000 | #Constraints: 16603
22.74/22.84 c #Conflicts: 143000 | #Constraints: 17603
22.74/22.84 c #Conflicts: 144000 | #Constraints: 18603
22.74/22.84 c #Conflicts: 145000 | #Constraints: 19603
22.74/22.84 c #Conflicts: 146000 | #Constraints: 20603
22.74/22.84 c #Conflicts: 147000 | #Constraints: 21603
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 148000 | #Constraints: 15017
22.74/22.84 c #Conflicts: 149000 | #Constraints: 16017
22.74/22.84 c #Conflicts: 150000 | #Constraints: 17017
22.74/22.84 c #Conflicts: 151000 | #Constraints: 18017
22.74/22.84 c #Conflicts: 152000 | #Constraints: 19017
22.74/22.84 c #Conflicts: 153000 | #Constraints: 20017
22.74/22.84 c #Conflicts: 154000 | #Constraints: 21017
22.74/22.84 c #Conflicts: 155000 | #Constraints: 22017
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 156000 | #Constraints: 15211
22.74/22.84 c #Conflicts: 157000 | #Constraints: 16211
22.74/22.84 c #Conflicts: 158000 | #Constraints: 17211
22.74/22.84 c #Conflicts: 159000 | #Constraints: 18211
22.74/22.84 c #Conflicts: 160000 | #Constraints: 19211
22.74/22.84 c #Conflicts: 161000 | #Constraints: 20211
22.74/22.84 c #Conflicts: 162000 | #Constraints: 21211
22.74/22.84 c #Conflicts: 163000 | #Constraints: 22211
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 164000 | #Constraints: 15209
22.74/22.84 c #Conflicts: 165000 | #Constraints: 16209
22.74/22.84 c #Conflicts: 166000 | #Constraints: 17209
22.74/22.84 c #Conflicts: 167000 | #Constraints: 18209
22.74/22.84 c #Conflicts: 168000 | #Constraints: 19209
22.74/22.84 c #Conflicts: 169000 | #Constraints: 20209
22.74/22.84 c #Conflicts: 170000 | #Constraints: 21209
22.74/22.84 c #Conflicts: 171000 | #Constraints: 22209
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 172000 | #Constraints: 15006
22.74/22.84 c #Conflicts: 173000 | #Constraints: 16006
22.74/22.84 c #Conflicts: 174000 | #Constraints: 17006
22.74/22.84 c #Conflicts: 175000 | #Constraints: 18006
22.74/22.84 c #Conflicts: 176000 | #Constraints: 19006
22.74/22.84 c #Conflicts: 177000 | #Constraints: 20006
22.74/22.84 c #Conflicts: 178000 | #Constraints: 21006
22.74/22.84 c #Conflicts: 179000 | #Constraints: 22006
22.74/22.84 c #Conflicts: 180000 | #Constraints: 23006
22.74/22.84 c INPROCESSING
22.74/22.84 c GARBAGE COLLECT
22.74/22.84 c #Conflicts: 181000 | #Constraints: 15605
22.74/22.84 c #Conflicts: 182000 | #Constraints: 16605
22.74/22.84 c #Conflicts: 183000 | #Constraints: 17605
22.74/22.84 c #Conflicts: 184000 | #Constraints: 18605
22.74/22.84 c #Conflicts: 185000 | #Constraints: 19605
22.74/22.84 c #Conflicts: 186000 | #Constraints: 20605
22.74/22.84 c #Conflicts: 187000 | #Constraints: 21605
22.74/22.84 c #Conflicts: 188000 | #Constraints: 22605
47.49/47.62 c #Conflicts: 189000 | #Constraints: 23605
47.49/47.62 c INPROCESSING
47.49/47.62 c GARBAGE COLLECT
47.49/47.62 c #Conflicts: 190000 | #Constraints: 16006
47.49/47.62 c #Conflicts: 191000 | #Constraints: 17006
47.49/47.62 c #Conflicts: 192000 | #Constraints: 18006
47.49/47.62 c #Conflicts: 193000 | #Constraints: 19006
47.49/47.62 c #Conflicts: 194000 | #Constraints: 20006
47.49/47.62 c #Conflicts: 195000 | #Constraints: 21006
47.49/47.62 c #Conflicts: 196000 | #Constraints: 22006
47.49/47.62 c #Conflicts: 197000 | #Constraints: 23006
47.49/47.62 c #Conflicts: 198000 | #Constraints: 24006
47.49/47.62 c INPROCESSING
47.49/47.62 c GARBAGE COLLECT
47.49/47.62 c #Conflicts: 199000 | #Constraints: 16206
47.49/47.62 c #Conflicts: 200000 | #Constraints: 17206
47.49/47.62 c #Conflicts: 201000 | #Constraints: 18206
47.49/47.62 c #Conflicts: 202000 | #Constraints: 19206
47.49/47.62 c #Conflicts: 203000 | #Constraints: 20206
47.49/47.62 c #Conflicts: 204000 | #Constraints: 21206
47.49/47.62 c #Conflicts: 205000 | #Constraints: 22206
47.49/47.62 c #Conflicts: 206000 | #Constraints: 23206
47.49/47.62 c #Conflicts: 207000 | #Constraints: 24206
47.49/47.62 c INPROCESSING
47.49/47.62 c GARBAGE COLLECT
47.49/47.62 c #Conflicts: 208000 | #Constraints: 16208
47.49/47.62 c #Conflicts: 209000 | #Constraints: 17208
47.49/47.62 c #Conflicts: 210000 | #Constraints: 18208
47.49/47.62 c #Conflicts: 211000 | #Constraints: 19208
47.49/47.62 c #Conflicts: 212000 | #Constraints: 20208
47.49/47.62 c #Conflicts: 213000 | #Constraints: 21208
47.49/47.62 c #Conflicts: 214000 | #Constraints: 22208
47.49/47.62 c #Conflicts: 215000 | #Constraints: 23208
47.49/47.62 c #Conflicts: 216000 | #Constraints: 24208
47.49/47.62 c INPROCESSING
47.49/47.62 c GARBAGE COLLECT
47.49/47.62 c #Conflicts: 217000 | #Constraints: 16006
47.49/47.62 c #Conflicts: 218000 | #Constraints: 17006
47.49/47.62 c #Conflicts: 219000 | #Constraints: 18006
47.49/47.62 c #Conflicts: 220000 | #Constraints: 19006
47.49/47.62 c #Conflicts: 221000 | #Constraints: 20006
47.49/47.62 c #Conflicts: 222000 | #Constraints: 21006
47.49/47.62 c #Conflicts: 223000 | #Constraints: 22006
47.49/47.62 c #Conflicts: 224000 | #Constraints: 23006
47.49/47.62 c #Conflicts: 225000 | #Constraints: 24006
47.49/47.62 c #Conflicts: 226000 | #Constraints: 25006
47.49/47.62 c INPROCESSING
47.49/47.62 c GARBAGE COLLECT
47.49/47.62 c #Conflicts: 227000 | #Constraints: 16607
47.49/47.62 c #Conflicts: 228000 | #Constraints: 17607
47.49/47.62 c #Conflicts: 229000 | #Constraints: 18607
47.49/47.62 c #Conflicts: 230000 | #Constraints: 19607
47.49/47.62 c #Conflicts: 231000 | #Constraints: 20607
47.49/47.62 c #Conflicts: 232000 | #Constraints: 21607
47.49/47.62 c #Conflicts: 233000 | #Constraints: 22607
47.49/47.62 c #Conflicts: 234000 | #Constraints: 23607
47.49/47.62 c #Conflicts: 235000 | #Constraints: 24607
47.49/47.62 c #Conflicts: 236000 | #Constraints: 25607
47.49/47.62 c INPROCESSING
47.49/47.62 c GARBAGE COLLECT
47.49/47.62 c #Conflicts: 237000 | #Constraints: 17011
47.49/47.62 c #Conflicts: 238000 | #Constraints: 18011
47.49/47.62 c #Conflicts: 239000 | #Constraints: 19011
47.49/47.62 c #Conflicts: 240000 | #Constraints: 20011
47.49/47.62 c #Conflicts: 241000 | #Constraints: 21011
47.49/47.62 c #Conflicts: 242000 | #Constraints: 22011
47.49/47.62 c #Conflicts: 243000 | #Constraints: 23011
47.49/47.62 c #Conflicts: 244000 | #Constraints: 24011
47.49/47.62 c #Conflicts: 245000 | #Constraints: 25011
47.49/47.62 c #Conflicts: 246000 | #Constraints: 26011
47.49/47.62 c INPROCESSING
47.49/47.62 c GARBAGE COLLECT
47.49/47.62 c #Conflicts: 247000 | #Constraints: 17213
47.49/47.62 c #Conflicts: 248000 | #Constraints: 18213
47.49/47.62 c #Conflicts: 249000 | #Constraints: 19213
47.49/47.62 c #Conflicts: 250000 | #Constraints: 20213
47.49/47.62 c #Conflicts: 251000 | #Constraints: 21213
47.49/47.62 c #Conflicts: 252000 | #Constraints: 22213
47.49/47.62 c #Conflicts: 253000 | #Constraints: 23213
47.49/47.62 c #Conflicts: 254000 | #Constraints: 24213
47.49/47.62 c #Conflicts: 255000 | #Constraints: 25213
47.49/47.62 c #Conflicts: 256000 | #Constraints: 26213
47.49/47.62 c INPROCESSING
47.49/47.62 c GARBAGE COLLECT
47.49/47.62 c #Conflicts: 257000 | #Constraints: 17213
47.49/47.62 c #Conflicts: 258000 | #Constraints: 18213
47.49/47.62 c #Conflicts: 259000 | #Constraints: 19213
47.49/47.62 c #Conflicts: 260000 | #Constraints: 20213
47.49/47.62 c #Conflicts: 261000 | #Constraints: 21213
47.49/47.62 c #Conflicts: 262000 | #Constraints: 22213
74.52/74.71 c #Conflicts: 263000 | #Constraints: 23213
74.52/74.71 c #Conflicts: 264000 | #Constraints: 24213
74.52/74.71 c #Conflicts: 265000 | #Constraints: 25213
74.52/74.71 c #Conflicts: 266000 | #Constraints: 26213
74.52/74.71 c INPROCESSING
74.52/74.71 c GARBAGE COLLECT
74.52/74.71 c #Conflicts: 267000 | #Constraints: 17021
74.52/74.71 c #Conflicts: 268000 | #Constraints: 18021
74.52/74.71 c #Conflicts: 269000 | #Constraints: 19021
74.52/74.71 c #Conflicts: 270000 | #Constraints: 20021
74.52/74.71 c #Conflicts: 271000 | #Constraints: 21021
74.52/74.71 c #Conflicts: 272000 | #Constraints: 22021
74.52/74.71 c #Conflicts: 273000 | #Constraints: 23021
74.52/74.71 c #Conflicts: 274000 | #Constraints: 24021
74.52/74.71 c #Conflicts: 275000 | #Constraints: 25021
74.52/74.71 c #Conflicts: 276000 | #Constraints: 26021
74.52/74.71 c #Conflicts: 277000 | #Constraints: 27021
74.52/74.71 c INPROCESSING
74.52/74.71 c GARBAGE COLLECT
74.52/74.71 c #Conflicts: 278000 | #Constraints: 17612
74.52/74.71 c #Conflicts: 279000 | #Constraints: 18612
74.52/74.71 c #Conflicts: 280000 | #Constraints: 19612
74.52/74.71 c #Conflicts: 281000 | #Constraints: 20612
74.52/74.71 c #Conflicts: 282000 | #Constraints: 21612
74.52/74.71 c #Conflicts: 283000 | #Constraints: 22612
74.52/74.71 c #Conflicts: 284000 | #Constraints: 23612
74.52/74.71 c #Conflicts: 285000 | #Constraints: 24612
74.52/74.71 c #Conflicts: 286000 | #Constraints: 25612
74.52/74.71 c #Conflicts: 287000 | #Constraints: 26612
74.52/74.71 c #Conflicts: 288000 | #Constraints: 27612
74.52/74.71 c INPROCESSING
74.52/74.71 c GARBAGE COLLECT
74.52/74.71 c #Conflicts: 289000 | #Constraints: 18014
74.52/74.71 c #Conflicts: 290000 | #Constraints: 19014
74.52/74.71 c #Conflicts: 291000 | #Constraints: 20014
74.52/74.71 c #Conflicts: 292000 | #Constraints: 21014
74.52/74.71 c #Conflicts: 293000 | #Constraints: 22014
74.52/74.71 c #Conflicts: 294000 | #Constraints: 23014
74.52/74.71 c #Conflicts: 295000 | #Constraints: 24014
74.52/74.71 c #Conflicts: 296000 | #Constraints: 25014
74.52/74.71 c #Conflicts: 297000 | #Constraints: 26014
74.52/74.71 c #Conflicts: 298000 | #Constraints: 27014
74.52/74.71 c #Conflicts: 299000 | #Constraints: 28014
74.52/74.71 c INPROCESSING
74.52/74.71 c GARBAGE COLLECT
74.52/74.71 c #Conflicts: 300000 | #Constraints: 18212
74.52/74.71 c #Conflicts: 301000 | #Constraints: 19212
74.52/74.71 c #Conflicts: 302000 | #Constraints: 20212
74.52/74.71 c #Conflicts: 303000 | #Constraints: 21212
74.52/74.71 c #Conflicts: 304000 | #Constraints: 22212
74.52/74.71 c #Conflicts: 305000 | #Constraints: 23212
74.52/74.71 c #Conflicts: 306000 | #Constraints: 24212
74.52/74.71 c #Conflicts: 307000 | #Constraints: 25212
74.52/74.71 c #Conflicts: 308000 | #Constraints: 26212
74.52/74.71 c #Conflicts: 309000 | #Constraints: 27212
74.52/74.71 c #Conflicts: 310000 | #Constraints: 28212
74.52/74.71 c INPROCESSING
74.52/74.71 c GARBAGE COLLECT
74.52/74.71 c #Conflicts: 311000 | #Constraints: 18214
74.52/74.71 c #Conflicts: 312000 | #Constraints: 19214
74.52/74.71 c #Conflicts: 313000 | #Constraints: 20214
74.52/74.71 c #Conflicts: 314000 | #Constraints: 21214
74.52/74.71 c #Conflicts: 315000 | #Constraints: 22214
74.52/74.71 c #Conflicts: 316000 | #Constraints: 23214
74.52/74.71 c #Conflicts: 317000 | #Constraints: 24214
74.52/74.71 c #Conflicts: 318000 | #Constraints: 25214
74.52/74.71 c #Conflicts: 319000 | #Constraints: 26214
74.52/74.71 c #Conflicts: 320000 | #Constraints: 27214
74.52/74.71 c #Conflicts: 321000 | #Constraints: 28214
74.52/74.71 c INPROCESSING
74.52/74.71 c GARBAGE COLLECT
74.52/74.71 c #Conflicts: 322000 | #Constraints: 18019
74.52/74.71 c #Conflicts: 323000 | #Constraints: 19019
74.52/74.71 c #Conflicts: 324000 | #Constraints: 20019
74.52/74.71 c #Conflicts: 325000 | #Constraints: 21019
74.52/74.71 c #Conflicts: 326000 | #Constraints: 22019
74.52/74.71 c #Conflicts: 327000 | #Constraints: 23019
74.52/74.71 c #Conflicts: 328000 | #Constraints: 24019
74.52/74.71 c #Conflicts: 329000 | #Constraints: 25019
74.52/74.71 c #Conflicts: 330000 | #Constraints: 26019
74.52/74.71 c #Conflicts: 331000 | #Constraints: 27019
74.52/74.71 c #Conflicts: 332000 | #Constraints: 28019
74.52/74.71 c #Conflicts: 333000 | #Constraints: 29019
74.52/74.71 c INPROCESSING
74.52/74.71 c GARBAGE COLLECT
74.52/74.71 c #Conflicts: 334000 | #Constraints: 18619
74.52/74.71 c #Conflicts: 335000 | #Constraints: 19619
74.52/74.71 c #Conflicts: 336000 | #Constraints: 20619
108.75/109.09 c #Conflicts: 337000 | #Constraints: 21619
108.75/109.09 c #Conflicts: 338000 | #Constraints: 22619
108.75/109.09 c #Conflicts: 339000 | #Constraints: 23619
108.75/109.09 c #Conflicts: 340000 | #Constraints: 24619
108.75/109.09 c #Conflicts: 341000 | #Constraints: 25619
108.75/109.09 c #Conflicts: 342000 | #Constraints: 26619
108.75/109.09 c #Conflicts: 343000 | #Constraints: 27619
108.75/109.09 c #Conflicts: 344000 | #Constraints: 28619
108.75/109.09 c #Conflicts: 345000 | #Constraints: 29619
108.75/109.09 c INPROCESSING
108.75/109.09 c GARBAGE COLLECT
108.75/109.09 c #Conflicts: 346000 | #Constraints: 19009
108.75/109.09 c #Conflicts: 347000 | #Constraints: 20009
108.75/109.09 c #Conflicts: 348000 | #Constraints: 21009
108.75/109.09 c #Conflicts: 349000 | #Constraints: 22009
108.75/109.09 c #Conflicts: 350000 | #Constraints: 23009
108.75/109.09 c #Conflicts: 351000 | #Constraints: 24009
108.75/109.09 c #Conflicts: 352000 | #Constraints: 25009
108.75/109.09 c #Conflicts: 353000 | #Constraints: 26009
108.75/109.09 c #Conflicts: 354000 | #Constraints: 27009
108.75/109.09 c #Conflicts: 355000 | #Constraints: 28009
108.75/109.09 c #Conflicts: 356000 | #Constraints: 29009
108.75/109.09 c #Conflicts: 357000 | #Constraints: 30009
108.75/109.09 c INPROCESSING
108.75/109.09 c GARBAGE COLLECT
108.75/109.09 c #Conflicts: 358000 | #Constraints: 19204
108.75/109.09 c #Conflicts: 359000 | #Constraints: 20204
108.75/109.09 c #Conflicts: 360000 | #Constraints: 21204
108.75/109.09 c #Conflicts: 361000 | #Constraints: 22204
108.75/109.09 c #Conflicts: 362000 | #Constraints: 23204
108.75/109.09 c #Conflicts: 363000 | #Constraints: 24204
108.75/109.09 c #Conflicts: 364000 | #Constraints: 25204
108.75/109.09 c #Conflicts: 365000 | #Constraints: 26204
108.75/109.09 c #Conflicts: 366000 | #Constraints: 27204
108.75/109.09 c #Conflicts: 367000 | #Constraints: 28204
108.75/109.09 c #Conflicts: 368000 | #Constraints: 29204
108.75/109.09 c #Conflicts: 369000 | #Constraints: 30204
108.75/109.09 c INPROCESSING
108.75/109.09 c GARBAGE COLLECT
108.75/109.09 c #Conflicts: 370000 | #Constraints: 19203
108.75/109.09 c #Conflicts: 371000 | #Constraints: 20203
108.75/109.09 c #Conflicts: 372000 | #Constraints: 21203
108.75/109.09 c #Conflicts: 373000 | #Constraints: 22203
108.75/109.09 c #Conflicts: 374000 | #Constraints: 23203
108.75/109.09 c #Conflicts: 375000 | #Constraints: 24203
108.75/109.09 c #Conflicts: 376000 | #Constraints: 25203
108.75/109.09 c #Conflicts: 377000 | #Constraints: 26203
108.75/109.09 c #Conflicts: 378000 | #Constraints: 27203
108.75/109.09 c #Conflicts: 379000 | #Constraints: 28203
108.75/109.09 c #Conflicts: 380000 | #Constraints: 29203
108.75/109.09 c #Conflicts: 381000 | #Constraints: 30203
108.75/109.09 c INPROCESSING
108.75/109.09 c GARBAGE COLLECT
108.75/109.09 c #Conflicts: 382000 | #Constraints: 19003
108.75/109.09 c #Conflicts: 383000 | #Constraints: 20003
108.75/109.09 c #Conflicts: 384000 | #Constraints: 21003
108.75/109.09 c #Conflicts: 385000 | #Constraints: 22003
108.75/109.09 c #Conflicts: 386000 | #Constraints: 23003
108.75/109.09 c #Conflicts: 387000 | #Constraints: 24003
108.75/109.09 c #Conflicts: 388000 | #Constraints: 25003
108.75/109.09 c #Conflicts: 389000 | #Constraints: 26003
108.75/109.09 c #Conflicts: 390000 | #Constraints: 27003
108.75/109.09 c #Conflicts: 391000 | #Constraints: 28003
108.75/109.09 c #Conflicts: 392000 | #Constraints: 29003
108.75/109.09 c #Conflicts: 393000 | #Constraints: 30003
108.75/109.09 c #Conflicts: 394000 | #Constraints: 31003
108.75/109.09 c INPROCESSING
108.75/109.09 c GARBAGE COLLECT
108.75/109.09 c #Conflicts: 395000 | #Constraints: 19607
108.75/109.09 c #Conflicts: 396000 | #Constraints: 20607
108.75/109.09 c #Conflicts: 397000 | #Constraints: 21607
108.75/109.09 c #Conflicts: 398000 | #Constraints: 22607
108.75/109.09 c #Conflicts: 399000 | #Constraints: 23607
108.75/109.09 c #Conflicts: 400000 | #Constraints: 24607
108.75/109.09 c #Conflicts: 401000 | #Constraints: 25607
108.75/109.09 c #Conflicts: 402000 | #Constraints: 26607
108.75/109.09 c #Conflicts: 403000 | #Constraints: 27607
108.75/109.09 c #Conflicts: 404000 | #Constraints: 28607
108.75/109.09 c #Conflicts: 405000 | #Constraints: 29607
108.75/109.09 c #Conflicts: 406000 | #Constraints: 30607
108.75/109.09 c #Conflicts: 407000 | #Constraints: 31607
108.75/109.09 c INPROCESSING
108.75/109.09 c GARBAGE COLLECT
108.75/109.09 c #Conflicts: 408000 | #Constraints: 20003
108.75/109.09 c #Conflicts: 409000 | #Constraints: 21003
108.75/109.09 c #Conflicts: 410000 | #Constraints: 22003
108.75/109.09 c #Conflicts: 411000 | #Constraints: 23003
147.95/148.37 c #Conflicts: 412000 | #Constraints: 24003
147.95/148.37 c #Conflicts: 413000 | #Constraints: 25003
147.95/148.37 c #Conflicts: 414000 | #Constraints: 26003
147.95/148.37 c #Conflicts: 415000 | #Constraints: 27003
147.95/148.37 c #Conflicts: 416000 | #Constraints: 28003
147.95/148.37 c #Conflicts: 417000 | #Constraints: 29003
147.95/148.37 c #Conflicts: 418000 | #Constraints: 30003
147.95/148.37 c #Conflicts: 419000 | #Constraints: 31003
147.95/148.37 c #Conflicts: 420000 | #Constraints: 32003
147.95/148.37 c INPROCESSING
147.95/148.37 c GARBAGE COLLECT
147.95/148.37 c #Conflicts: 421000 | #Constraints: 20206
147.95/148.37 c #Conflicts: 422000 | #Constraints: 21206
147.95/148.37 c #Conflicts: 423000 | #Constraints: 22206
147.95/148.37 c #Conflicts: 424000 | #Constraints: 23206
147.95/148.37 c #Conflicts: 425000 | #Constraints: 24206
147.95/148.37 c #Conflicts: 426000 | #Constraints: 25206
147.95/148.37 c #Conflicts: 427000 | #Constraints: 26206
147.95/148.37 c #Conflicts: 428000 | #Constraints: 27206
147.95/148.37 c #Conflicts: 429000 | #Constraints: 28206
147.95/148.37 c #Conflicts: 430000 | #Constraints: 29206
147.95/148.37 c #Conflicts: 431000 | #Constraints: 30206
147.95/148.37 c #Conflicts: 432000 | #Constraints: 31206
147.95/148.37 c #Conflicts: 433000 | #Constraints: 32206
147.95/148.37 c INPROCESSING
147.95/148.37 c GARBAGE COLLECT
147.95/148.37 c #Conflicts: 434000 | #Constraints: 20207
147.95/148.37 c #Conflicts: 435000 | #Constraints: 21207
147.95/148.37 c #Conflicts: 436000 | #Constraints: 22207
147.95/148.37 c #Conflicts: 437000 | #Constraints: 23207
147.95/148.37 c #Conflicts: 438000 | #Constraints: 24207
147.95/148.37 c #Conflicts: 439000 | #Constraints: 25207
147.95/148.37 c #Conflicts: 440000 | #Constraints: 26207
147.95/148.37 c #Conflicts: 441000 | #Constraints: 27207
147.95/148.37 c #Conflicts: 442000 | #Constraints: 28207
147.95/148.37 c #Conflicts: 443000 | #Constraints: 29207
147.95/148.37 c #Conflicts: 444000 | #Constraints: 30207
147.95/148.37 c #Conflicts: 445000 | #Constraints: 31207
147.95/148.37 c #Conflicts: 446000 | #Constraints: 32207
147.95/148.37 c INPROCESSING
147.95/148.37 c GARBAGE COLLECT
147.95/148.37 c #Conflicts: 447000 | #Constraints: 20017
147.95/148.37 c #Conflicts: 448000 | #Constraints: 21017
147.95/148.37 c #Conflicts: 449000 | #Constraints: 22017
147.95/148.37 c #Conflicts: 450000 | #Constraints: 23017
147.95/148.37 c #Conflicts: 451000 | #Constraints: 24017
147.95/148.37 c #Conflicts: 452000 | #Constraints: 25017
147.95/148.37 c #Conflicts: 453000 | #Constraints: 26017
147.95/148.37 c #Conflicts: 454000 | #Constraints: 27017
147.95/148.37 c #Conflicts: 455000 | #Constraints: 28017
147.95/148.37 c #Conflicts: 456000 | #Constraints: 29017
147.95/148.37 c #Conflicts: 457000 | #Constraints: 30017
147.95/148.37 c #Conflicts: 458000 | #Constraints: 31017
147.95/148.37 c #Conflicts: 459000 | #Constraints: 32017
147.95/148.37 c #Conflicts: 460000 | #Constraints: 33017
147.95/148.37 c INPROCESSING
147.95/148.37 c GARBAGE COLLECT
147.95/148.37 c #Conflicts: 461000 | #Constraints: 20620
147.95/148.37 c #Conflicts: 462000 | #Constraints: 21620
147.95/148.37 c #Conflicts: 463000 | #Constraints: 22620
147.95/148.37 c #Conflicts: 464000 | #Constraints: 23620
147.95/148.37 c #Conflicts: 465000 | #Constraints: 24620
147.95/148.37 c #Conflicts: 466000 | #Constraints: 25620
147.95/148.37 c #Conflicts: 467000 | #Constraints: 26620
147.95/148.37 c #Conflicts: 468000 | #Constraints: 27620
147.95/148.37 c #Conflicts: 469000 | #Constraints: 28620
147.95/148.37 c #Conflicts: 470000 | #Constraints: 29620
147.95/148.37 c #Conflicts: 471000 | #Constraints: 30620
147.95/148.37 c #Conflicts: 472000 | #Constraints: 31620
147.95/148.37 c #Conflicts: 473000 | #Constraints: 32620
147.95/148.37 c #Conflicts: 474000 | #Constraints: 33620
147.95/148.37 c INPROCESSING
147.95/148.37 c GARBAGE COLLECT
147.95/148.37 c #Conflicts: 475000 | #Constraints: 21021
147.95/148.37 c #Conflicts: 476000 | #Constraints: 22021
147.95/148.37 c #Conflicts: 477000 | #Constraints: 23021
147.95/148.37 c #Conflicts: 478000 | #Constraints: 24021
147.95/148.37 c #Conflicts: 479000 | #Constraints: 25021
147.95/148.37 c #Conflicts: 480000 | #Constraints: 26021
147.95/148.37 c #Conflicts: 481000 | #Constraints: 27021
147.95/148.37 c #Conflicts: 482000 | #Constraints: 28021
147.95/148.37 c #Conflicts: 483000 | #Constraints: 29021
147.95/148.37 c #Conflicts: 484000 | #Constraints: 30021
147.95/148.37 c #Conflicts: 485000 | #Constraints: 31021
147.95/148.37 c #Conflicts: 486000 | #Constraints: 32021
147.95/148.37 c #Conflicts: 487000 | #Constraints: 33021
195.15/195.67 c #Conflicts: 488000 | #Constraints: 34021
195.15/195.67 c INPROCESSING
195.15/195.67 c GARBAGE COLLECT
195.15/195.67 c #Conflicts: 489000 | #Constraints: 21212
195.15/195.67 c #Conflicts: 490000 | #Constraints: 22212
195.15/195.67 c #Conflicts: 491000 | #Constraints: 23212
195.15/195.67 c #Conflicts: 492000 | #Constraints: 24212
195.15/195.67 c #Conflicts: 493000 | #Constraints: 25212
195.15/195.67 c #Conflicts: 494000 | #Constraints: 26212
195.15/195.67 c #Conflicts: 495000 | #Constraints: 27212
195.15/195.67 c #Conflicts: 496000 | #Constraints: 28212
195.15/195.67 c #Conflicts: 497000 | #Constraints: 29212
195.15/195.67 c #Conflicts: 498000 | #Constraints: 30212
195.15/195.67 c #Conflicts: 499000 | #Constraints: 31212
195.15/195.67 c #Conflicts: 500000 | #Constraints: 32212
195.15/195.67 c #Conflicts: 501000 | #Constraints: 33212
195.15/195.67 c #Conflicts: 502000 | #Constraints: 34212
195.15/195.67 c INPROCESSING
195.15/195.67 c GARBAGE COLLECT
195.15/195.67 c #Conflicts: 503000 | #Constraints: 21218
195.15/195.67 c #Conflicts: 504000 | #Constraints: 22218
195.15/195.67 c #Conflicts: 505000 | #Constraints: 23218
195.15/195.68 c #Conflicts: 506000 | #Constraints: 24218
195.15/195.68 c #Conflicts: 507000 | #Constraints: 25218
195.15/195.68 c #Conflicts: 508000 | #Constraints: 26218
195.15/195.68 c #Conflicts: 509000 | #Constraints: 27218
195.15/195.68 c #Conflicts: 510000 | #Constraints: 28218
195.15/195.68 c #Conflicts: 511000 | #Constraints: 29218
195.15/195.68 c #Conflicts: 512000 | #Constraints: 30218
195.15/195.68 c #Conflicts: 513000 | #Constraints: 31218
195.15/195.68 c #Conflicts: 514000 | #Constraints: 32218
195.15/195.68 c #Conflicts: 515000 | #Constraints: 33218
195.15/195.68 c #Conflicts: 516000 | #Constraints: 34218
195.15/195.68 c INPROCESSING
195.15/195.68 c GARBAGE COLLECT
195.15/195.68 c #Conflicts: 517000 | #Constraints: 21014
195.15/195.68 c #Conflicts: 518000 | #Constraints: 22014
195.15/195.68 c #Conflicts: 519000 | #Constraints: 23014
195.15/195.68 c #Conflicts: 520000 | #Constraints: 24014
195.15/195.68 c #Conflicts: 521000 | #Constraints: 25014
195.15/195.68 c #Conflicts: 522000 | #Constraints: 26014
195.15/195.68 c #Conflicts: 523000 | #Constraints: 27014
195.15/195.68 c #Conflicts: 524000 | #Constraints: 28014
195.15/195.68 c #Conflicts: 525000 | #Constraints: 29014
195.15/195.68 c #Conflicts: 526000 | #Constraints: 30014
195.15/195.68 c #Conflicts: 527000 | #Constraints: 31014
195.15/195.68 c #Conflicts: 528000 | #Constraints: 32014
195.15/195.68 c #Conflicts: 529000 | #Constraints: 33014
195.15/195.68 c #Conflicts: 530000 | #Constraints: 34014
195.15/195.68 c #Conflicts: 531000 | #Constraints: 35014
195.15/195.68 c INPROCESSING
195.15/195.68 c GARBAGE COLLECT
195.15/195.68 c #Conflicts: 532000 | #Constraints: 21620
195.15/195.68 c #Conflicts: 533000 | #Constraints: 22620
195.15/195.68 c #Conflicts: 534000 | #Constraints: 23620
195.15/195.68 c #Conflicts: 535000 | #Constraints: 24620
195.15/195.68 c #Conflicts: 536000 | #Constraints: 25620
195.15/195.68 c #Conflicts: 537000 | #Constraints: 26620
195.15/195.68 c #Conflicts: 538000 | #Constraints: 27620
195.15/195.68 c #Conflicts: 539000 | #Constraints: 28620
195.15/195.68 c #Conflicts: 540000 | #Constraints: 29620
195.15/195.68 c #Conflicts: 541000 | #Constraints: 30620
195.15/195.68 c #Conflicts: 542000 | #Constraints: 31620
195.15/195.68 c #Conflicts: 543000 | #Constraints: 32620
195.15/195.68 c #Conflicts: 544000 | #Constraints: 33620
195.15/195.68 c #Conflicts: 545000 | #Constraints: 34620
195.15/195.68 c #Conflicts: 546000 | #Constraints: 35620
195.15/195.68 c INPROCESSING
195.15/195.68 c GARBAGE COLLECT
195.15/195.68 c #Conflicts: 547000 | #Constraints: 22020
195.15/195.68 c #Conflicts: 548000 | #Constraints: 23020
195.15/195.68 c #Conflicts: 549000 | #Constraints: 24020
195.15/195.68 c #Conflicts: 550000 | #Constraints: 25020
195.15/195.68 c #Conflicts: 551000 | #Constraints: 26020
195.15/195.68 c #Conflicts: 552000 | #Constraints: 27020
195.15/195.68 c #Conflicts: 553000 | #Constraints: 28020
195.15/195.68 c #Conflicts: 554000 | #Constraints: 29020
195.15/195.68 c #Conflicts: 555000 | #Constraints: 30020
195.15/195.68 c #Conflicts: 556000 | #Constraints: 31020
195.15/195.68 c #Conflicts: 557000 | #Constraints: 32020
195.15/195.68 c #Conflicts: 558000 | #Constraints: 33020
195.15/195.68 c #Conflicts: 559000 | #Constraints: 34020
195.15/195.68 c #Conflicts: 560000 | #Constraints: 35020
195.15/195.68 c #Conflicts: 561000 | #Constraints: 36020
195.15/195.68 c INPROCESSING
195.15/195.68 c GARBAGE COLLECT
195.15/195.68 c #Conflicts: 562000 | #Constraints: 22214
248.42/249.09 c #Conflicts: 563000 | #Constraints: 23214
248.42/249.09 c #Conflicts: 564000 | #Constraints: 24214
248.42/249.09 c #Conflicts: 565000 | #Constraints: 25214
248.42/249.09 c #Conflicts: 566000 | #Constraints: 26214
248.42/249.09 c #Conflicts: 567000 | #Constraints: 27214
248.42/249.09 c #Conflicts: 568000 | #Constraints: 28214
248.42/249.09 c #Conflicts: 569000 | #Constraints: 29214
248.42/249.09 c #Conflicts: 570000 | #Constraints: 30214
248.42/249.09 c #Conflicts: 571000 | #Constraints: 31214
248.42/249.09 c #Conflicts: 572000 | #Constraints: 32214
248.42/249.09 c #Conflicts: 573000 | #Constraints: 33214
248.42/249.09 c #Conflicts: 574000 | #Constraints: 34214
248.42/249.09 c #Conflicts: 575000 | #Constraints: 35214
248.42/249.09 c #Conflicts: 576000 | #Constraints: 36214
248.42/249.09 c INPROCESSING
248.42/249.09 c GARBAGE COLLECT
248.42/249.09 c #Conflicts: 577000 | #Constraints: 22218
248.42/249.09 c #Conflicts: 578000 | #Constraints: 23218
248.42/249.09 c #Conflicts: 579000 | #Constraints: 24218
248.42/249.09 c #Conflicts: 580000 | #Constraints: 25218
248.42/249.09 c #Conflicts: 581000 | #Constraints: 26218
248.42/249.09 c #Conflicts: 582000 | #Constraints: 27218
248.42/249.09 c #Conflicts: 583000 | #Constraints: 28218
248.42/249.09 c #Conflicts: 584000 | #Constraints: 29218
248.42/249.09 c #Conflicts: 585000 | #Constraints: 30218
248.42/249.09 c #Conflicts: 586000 | #Constraints: 31218
248.42/249.09 c #Conflicts: 587000 | #Constraints: 32218
248.42/249.09 c #Conflicts: 588000 | #Constraints: 33218
248.42/249.09 c #Conflicts: 589000 | #Constraints: 34218
248.42/249.09 c #Conflicts: 590000 | #Constraints: 35218
248.42/249.09 c #Conflicts: 591000 | #Constraints: 36218
248.42/249.09 c INPROCESSING
248.42/249.09 c GARBAGE COLLECT
248.42/249.09 c #Conflicts: 592000 | #Constraints: 22019
248.42/249.09 c #Conflicts: 593000 | #Constraints: 23019
248.42/249.09 c #Conflicts: 594000 | #Constraints: 24019
248.42/249.09 c #Conflicts: 595000 | #Constraints: 25019
248.42/249.09 c #Conflicts: 596000 | #Constraints: 26019
248.42/249.09 c #Conflicts: 597000 | #Constraints: 27019
248.42/249.09 c #Conflicts: 598000 | #Constraints: 28019
248.42/249.09 c #Conflicts: 599000 | #Constraints: 29019
248.42/249.09 c #Conflicts: 600000 | #Constraints: 30019
248.42/249.09 c #Conflicts: 601000 | #Constraints: 31019
248.42/249.09 c #Conflicts: 602000 | #Constraints: 32019
248.42/249.09 c #Conflicts: 603000 | #Constraints: 33019
248.42/249.09 c #Conflicts: 604000 | #Constraints: 34019
248.42/249.09 c #Conflicts: 605000 | #Constraints: 35019
248.42/249.09 c #Conflicts: 606000 | #Constraints: 36019
248.42/249.09 c #Conflicts: 607000 | #Constraints: 37019
248.42/249.09 c INPROCESSING
248.42/249.09 c GARBAGE COLLECT
248.42/249.09 c #Conflicts: 608000 | #Constraints: 22620
248.42/249.09 c #Conflicts: 609000 | #Constraints: 23620
248.42/249.09 c #Conflicts: 610000 | #Constraints: 24620
248.42/249.09 c #Conflicts: 611000 | #Constraints: 25620
248.42/249.09 c #Conflicts: 612000 | #Constraints: 26620
248.42/249.09 c #Conflicts: 613000 | #Constraints: 27620
248.42/249.09 c #Conflicts: 614000 | #Constraints: 28620
248.42/249.09 c #Conflicts: 615000 | #Constraints: 29620
248.42/249.09 c #Conflicts: 616000 | #Constraints: 30620
248.42/249.09 c #Conflicts: 617000 | #Constraints: 31620
248.42/249.09 c #Conflicts: 618000 | #Constraints: 32620
248.42/249.09 c #Conflicts: 619000 | #Constraints: 33620
248.42/249.09 c #Conflicts: 620000 | #Constraints: 34620
248.42/249.09 c #Conflicts: 621000 | #Constraints: 35620
248.42/249.09 c #Conflicts: 622000 | #Constraints: 36620
248.42/249.09 c #Conflicts: 623000 | #Constraints: 37620
248.42/249.09 c INPROCESSING
248.42/249.09 c GARBAGE COLLECT
248.42/249.09 c #Conflicts: 624000 | #Constraints: 23013
248.42/249.09 c #Conflicts: 625000 | #Constraints: 24013
248.42/249.09 c #Conflicts: 626000 | #Constraints: 25013
248.42/249.09 c #Conflicts: 627000 | #Constraints: 26013
248.42/249.09 c #Conflicts: 628000 | #Constraints: 27013
248.42/249.09 c #Conflicts: 629000 | #Constraints: 28013
248.42/249.09 c #Conflicts: 630000 | #Constraints: 29013
248.42/249.09 c #Conflicts: 631000 | #Constraints: 30013
248.42/249.09 c #Conflicts: 632000 | #Constraints: 31013
248.42/249.09 c #Conflicts: 633000 | #Constraints: 32013
248.42/249.09 c #Conflicts: 634000 | #Constraints: 33013
248.42/249.09 c #Conflicts: 635000 | #Constraints: 34013
248.42/249.09 c #Conflicts: 636000 | #Constraints: 35013
248.42/249.09 c #Conflicts: 637000 | #Constraints: 36013
248.42/249.09 c #Conflicts: 638000 | #Constraints: 37013
305.98/306.76 c #Conflicts: 639000 | #Constraints: 38013
305.98/306.76 c INPROCESSING
305.98/306.76 c GARBAGE COLLECT
305.98/306.76 c #Conflicts: 640000 | #Constraints: 23213
305.98/306.76 c #Conflicts: 641000 | #Constraints: 24213
305.98/306.76 c #Conflicts: 642000 | #Constraints: 25213
305.98/306.76 c #Conflicts: 643000 | #Constraints: 26213
305.98/306.76 c #Conflicts: 644000 | #Constraints: 27213
305.98/306.76 c #Conflicts: 645000 | #Constraints: 28213
305.98/306.76 c #Conflicts: 646000 | #Constraints: 29213
305.98/306.76 c #Conflicts: 647000 | #Constraints: 30213
305.98/306.76 c #Conflicts: 648000 | #Constraints: 31213
305.98/306.76 c #Conflicts: 649000 | #Constraints: 32213
305.98/306.76 c #Conflicts: 650000 | #Constraints: 33213
305.98/306.76 c #Conflicts: 651000 | #Constraints: 34213
305.98/306.76 c #Conflicts: 652000 | #Constraints: 35213
305.98/306.76 c #Conflicts: 653000 | #Constraints: 36213
305.98/306.76 c #Conflicts: 654000 | #Constraints: 37213
305.98/306.76 c #Conflicts: 655000 | #Constraints: 38213
305.98/306.76 c INPROCESSING
305.98/306.76 c GARBAGE COLLECT
305.98/306.76 c #Conflicts: 656000 | #Constraints: 23211
305.98/306.76 c #Conflicts: 657000 | #Constraints: 24211
305.98/306.76 c #Conflicts: 658000 | #Constraints: 25211
305.98/306.76 c #Conflicts: 659000 | #Constraints: 26211
305.98/306.76 c #Conflicts: 660000 | #Constraints: 27211
305.98/306.76 c #Conflicts: 661000 | #Constraints: 28211
305.98/306.76 c #Conflicts: 662000 | #Constraints: 29211
305.98/306.76 c #Conflicts: 663000 | #Constraints: 30211
305.98/306.76 c #Conflicts: 664000 | #Constraints: 31211
305.98/306.76 c #Conflicts: 665000 | #Constraints: 32211
305.98/306.76 c #Conflicts: 666000 | #Constraints: 33211
305.98/306.76 c #Conflicts: 667000 | #Constraints: 34211
305.98/306.76 c #Conflicts: 668000 | #Constraints: 35211
305.98/306.76 c #Conflicts: 669000 | #Constraints: 36211
305.98/306.76 c #Conflicts: 670000 | #Constraints: 37211
305.98/306.76 c #Conflicts: 671000 | #Constraints: 38211
305.98/306.76 c INPROCESSING
305.98/306.76 c GARBAGE COLLECT
305.98/306.76 c #Conflicts: 672000 | #Constraints: 23013
305.98/306.76 c #Conflicts: 673000 | #Constraints: 24013
305.98/306.76 c #Conflicts: 674000 | #Constraints: 25013
305.98/306.76 c #Conflicts: 675000 | #Constraints: 26013
305.98/306.76 c #Conflicts: 676000 | #Constraints: 27013
305.98/306.76 c #Conflicts: 677000 | #Constraints: 28013
305.98/306.76 c #Conflicts: 678000 | #Constraints: 29013
305.98/306.76 c #Conflicts: 679000 | #Constraints: 30013
305.98/306.76 c #Conflicts: 680000 | #Constraints: 31013
305.98/306.76 c #Conflicts: 681000 | #Constraints: 32013
305.98/306.76 c #Conflicts: 682000 | #Constraints: 33013
305.98/306.76 c #Conflicts: 683000 | #Constraints: 34013
305.98/306.76 c #Conflicts: 684000 | #Constraints: 35013
305.98/306.76 c #Conflicts: 685000 | #Constraints: 36013
305.98/306.76 c #Conflicts: 686000 | #Constraints: 37013
305.98/306.76 c #Conflicts: 687000 | #Constraints: 38013
305.98/306.76 c #Conflicts: 688000 | #Constraints: 39013
305.98/306.76 c INPROCESSING
305.98/306.76 c GARBAGE COLLECT
305.98/306.76 c #Conflicts: 689000 | #Constraints: 23622
305.98/306.76 c #Conflicts: 690000 | #Constraints: 24622
305.98/306.76 c #Conflicts: 691000 | #Constraints: 25622
305.98/306.76 c #Conflicts: 692000 | #Constraints: 26622
305.98/306.76 c #Conflicts: 693000 | #Constraints: 27622
305.98/306.76 c #Conflicts: 694000 | #Constraints: 28622
305.98/306.76 c #Conflicts: 695000 | #Constraints: 29622
305.98/306.76 c #Conflicts: 696000 | #Constraints: 30622
305.98/306.76 c #Conflicts: 697000 | #Constraints: 31622
305.98/306.76 c #Conflicts: 698000 | #Constraints: 32622
305.98/306.76 c #Conflicts: 699000 | #Constraints: 33622
305.98/306.76 c #Conflicts: 700000 | #Constraints: 34622
305.98/306.76 c #Conflicts: 701000 | #Constraints: 35622
305.98/306.76 c #Conflicts: 702000 | #Constraints: 36622
305.98/306.76 c #Conflicts: 703000 | #Constraints: 37622
305.98/306.76 c #Conflicts: 704000 | #Constraints: 38622
305.98/306.76 c #Conflicts: 705000 | #Constraints: 39622
305.98/306.76 c INPROCESSING
305.98/306.76 c GARBAGE COLLECT
305.98/306.76 c #Conflicts: 706000 | #Constraints: 24016
305.98/306.76 c #Conflicts: 707000 | #Constraints: 25016
305.98/306.76 c #Conflicts: 708000 | #Constraints: 26016
305.98/306.76 c #Conflicts: 709000 | #Constraints: 27016
305.98/306.76 c #Conflicts: 710000 | #Constraints: 28016
305.98/306.76 c #Conflicts: 711000 | #Constraints: 29016
305.98/306.76 c #Conflicts: 712000 | #Constraints: 30016
305.98/306.76 c #Conflicts: 713000 | #Constraints: 31016
370.43/371.33 c #Conflicts: 714000 | #Constraints: 32016
370.43/371.33 c #Conflicts: 715000 | #Constraints: 33016
370.43/371.33 c #Conflicts: 716000 | #Constraints: 34016
370.43/371.33 c #Conflicts: 717000 | #Constraints: 35016
370.43/371.33 c #Conflicts: 718000 | #Constraints: 36016
370.43/371.33 c #Conflicts: 719000 | #Constraints: 37016
370.43/371.33 c #Conflicts: 720000 | #Constraints: 38016
370.43/371.33 c #Conflicts: 721000 | #Constraints: 39016
370.43/371.33 c #Conflicts: 722000 | #Constraints: 40016
370.43/371.33 c INPROCESSING
370.43/371.33 c GARBAGE COLLECT
370.43/371.33 c #Conflicts: 723000 | #Constraints: 24221
370.43/371.33 c #Conflicts: 724000 | #Constraints: 25221
370.43/371.33 c #Conflicts: 725000 | #Constraints: 26221
370.43/371.33 c #Conflicts: 726000 | #Constraints: 27221
370.43/371.33 c #Conflicts: 727000 | #Constraints: 28221
370.43/371.33 c #Conflicts: 728000 | #Constraints: 29221
370.43/371.33 c #Conflicts: 729000 | #Constraints: 30221
370.43/371.33 c #Conflicts: 730000 | #Constraints: 31221
370.43/371.33 c #Conflicts: 731000 | #Constraints: 32221
370.43/371.33 c #Conflicts: 732000 | #Constraints: 33221
370.43/371.33 c #Conflicts: 733000 | #Constraints: 34221
370.43/371.33 c #Conflicts: 734000 | #Constraints: 35221
370.43/371.33 c #Conflicts: 735000 | #Constraints: 36221
370.43/371.33 c #Conflicts: 736000 | #Constraints: 37221
370.43/371.33 c #Conflicts: 737000 | #Constraints: 38221
370.43/371.33 c #Conflicts: 738000 | #Constraints: 39221
370.43/371.33 c #Conflicts: 739000 | #Constraints: 40221
370.43/371.33 c INPROCESSING
370.43/371.33 c GARBAGE COLLECT
370.43/371.33 c #Conflicts: 740000 | #Constraints: 24227
370.43/371.33 c #Conflicts: 741000 | #Constraints: 25227
370.43/371.33 c #Conflicts: 742000 | #Constraints: 26227
370.43/371.33 c #Conflicts: 743000 | #Constraints: 27227
370.43/371.33 c #Conflicts: 744000 | #Constraints: 28227
370.43/371.33 c #Conflicts: 745000 | #Constraints: 29227
370.43/371.33 c #Conflicts: 746000 | #Constraints: 30227
370.43/371.33 c #Conflicts: 747000 | #Constraints: 31227
370.43/371.33 c #Conflicts: 748000 | #Constraints: 32227
370.43/371.33 c #Conflicts: 749000 | #Constraints: 33227
370.43/371.33 c #Conflicts: 750000 | #Constraints: 34227
370.43/371.33 c #Conflicts: 751000 | #Constraints: 35227
370.43/371.33 c #Conflicts: 752000 | #Constraints: 36227
370.43/371.33 c #Conflicts: 753000 | #Constraints: 37227
370.43/371.33 c #Conflicts: 754000 | #Constraints: 38227
370.43/371.33 c #Conflicts: 755000 | #Constraints: 39227
370.43/371.33 c #Conflicts: 756000 | #Constraints: 40227
370.43/371.33 c INPROCESSING
370.43/371.33 c GARBAGE COLLECT
370.43/371.33 c #Conflicts: 757000 | #Constraints: 24029
370.43/371.33 c #Conflicts: 758000 | #Constraints: 25029
370.43/371.33 c #Conflicts: 759000 | #Constraints: 26029
370.43/371.33 c #Conflicts: 760000 | #Constraints: 27029
370.43/371.33 c #Conflicts: 761000 | #Constraints: 28029
370.43/371.33 c #Conflicts: 762000 | #Constraints: 29029
370.43/371.33 c #Conflicts: 763000 | #Constraints: 30029
370.43/371.33 c #Conflicts: 764000 | #Constraints: 31029
370.43/371.33 c #Conflicts: 765000 | #Constraints: 32029
370.43/371.33 c #Conflicts: 766000 | #Constraints: 33029
370.43/371.33 c #Conflicts: 767000 | #Constraints: 34029
370.43/371.33 c #Conflicts: 768000 | #Constraints: 35029
370.43/371.33 c #Conflicts: 769000 | #Constraints: 36029
370.43/371.33 c #Conflicts: 770000 | #Constraints: 37029
370.43/371.33 c #Conflicts: 771000 | #Constraints: 38029
370.43/371.33 c #Conflicts: 772000 | #Constraints: 39029
370.43/371.33 c #Conflicts: 773000 | #Constraints: 40029
370.43/371.33 c #Conflicts: 774000 | #Constraints: 41029
370.43/371.33 c INPROCESSING
370.43/371.33 c GARBAGE COLLECT
370.43/371.33 c #Conflicts: 775000 | #Constraints: 24625
370.43/371.33 c #Conflicts: 776000 | #Constraints: 25625
370.43/371.33 c #Conflicts: 777000 | #Constraints: 26625
370.43/371.33 c #Conflicts: 778000 | #Constraints: 27625
370.43/371.33 c #Conflicts: 779000 | #Constraints: 28625
370.43/371.33 c #Conflicts: 780000 | #Constraints: 29625
370.43/371.33 c #Conflicts: 781000 | #Constraints: 30625
370.43/371.33 c #Conflicts: 782000 | #Constraints: 31625
370.43/371.33 c #Conflicts: 783000 | #Constraints: 32625
370.43/371.33 c #Conflicts: 784000 | #Constraints: 33625
370.43/371.33 c #Conflicts: 785000 | #Constraints: 34625
370.43/371.33 c #Conflicts: 786000 | #Constraints: 35625
370.43/371.33 c #Conflicts: 787000 | #Constraints: 36625
370.43/371.33 c #Conflicts: 788000 | #Constraints: 37625
370.43/371.33 c #Conflicts: 789000 | #Constraints: 38625
370.43/371.33 c #Conflicts: 790000 | #Constraints: 39625
450.55/451.67 c #Conflicts: 791000 | #Constraints: 40625
450.55/451.67 c #Conflicts: 792000 | #Constraints: 41625
450.55/451.67 c INPROCESSING
450.55/451.67 c GARBAGE COLLECT
450.55/451.67 c #Conflicts: 793000 | #Constraints: 25033
450.55/451.67 c #Conflicts: 794000 | #Constraints: 26033
450.55/451.67 c #Conflicts: 795000 | #Constraints: 27033
450.55/451.67 c #Conflicts: 796000 | #Constraints: 28033
450.55/451.67 c #Conflicts: 797000 | #Constraints: 29033
450.55/451.67 c #Conflicts: 798000 | #Constraints: 30033
450.55/451.67 c #Conflicts: 799000 | #Constraints: 31033
450.55/451.67 c #Conflicts: 800000 | #Constraints: 32033
450.55/451.67 c #Conflicts: 801000 | #Constraints: 33033
450.55/451.67 c #Conflicts: 802000 | #Constraints: 34033
450.55/451.67 c #Conflicts: 803000 | #Constraints: 35033
450.55/451.67 c #Conflicts: 804000 | #Constraints: 36033
450.55/451.67 c #Conflicts: 805000 | #Constraints: 37033
450.55/451.67 c #Conflicts: 806000 | #Constraints: 38033
450.55/451.67 c #Conflicts: 807000 | #Constraints: 39033
450.55/451.67 c #Conflicts: 808000 | #Constraints: 40033
450.55/451.67 c #Conflicts: 809000 | #Constraints: 41033
450.55/451.67 c #Conflicts: 810000 | #Constraints: 42033
450.55/451.67 c INPROCESSING
450.55/451.67 c GARBAGE COLLECT
450.55/451.67 c #Conflicts: 811000 | #Constraints: 25229
450.55/451.67 c #Conflicts: 812000 | #Constraints: 26229
450.55/451.67 c #Conflicts: 813000 | #Constraints: 27229
450.55/451.67 c #Conflicts: 814000 | #Constraints: 28229
450.55/451.67 c #Conflicts: 815000 | #Constraints: 29229
450.55/451.67 c #Conflicts: 816000 | #Constraints: 30229
450.55/451.67 c #Conflicts: 817000 | #Constraints: 31229
450.55/451.67 c #Conflicts: 818000 | #Constraints: 32229
450.55/451.67 c #Conflicts: 819000 | #Constraints: 33229
450.55/451.67 c #Conflicts: 820000 | #Constraints: 34229
450.55/451.67 c #Conflicts: 821000 | #Constraints: 35229
450.55/451.67 c #Conflicts: 822000 | #Constraints: 36229
450.55/451.67 c #Conflicts: 823000 | #Constraints: 37229
450.55/451.67 c #Conflicts: 824000 | #Constraints: 38229
450.55/451.67 c #Conflicts: 825000 | #Constraints: 39229
450.55/451.67 c #Conflicts: 826000 | #Constraints: 40229
450.55/451.67 c #Conflicts: 827000 | #Constraints: 41229
450.55/451.67 c #Conflicts: 828000 | #Constraints: 42229
450.55/451.67 c INPROCESSING
450.55/451.67 c GARBAGE COLLECT
450.55/451.67 c #Conflicts: 829000 | #Constraints: 25226
450.55/451.67 c #Conflicts: 830000 | #Constraints: 26226
450.55/451.67 c #Conflicts: 831000 | #Constraints: 27226
450.55/451.67 c #Conflicts: 832000 | #Constraints: 28226
450.55/451.67 c #Conflicts: 833000 | #Constraints: 29226
450.55/451.67 c #Conflicts: 834000 | #Constraints: 30226
450.55/451.67 c #Conflicts: 835000 | #Constraints: 31226
450.55/451.67 c #Conflicts: 836000 | #Constraints: 32226
450.55/451.67 c #Conflicts: 837000 | #Constraints: 33226
450.55/451.67 c #Conflicts: 838000 | #Constraints: 34226
450.55/451.67 c #Conflicts: 839000 | #Constraints: 35226
450.55/451.67 c #Conflicts: 840000 | #Constraints: 36226
450.55/451.67 c #Conflicts: 841000 | #Constraints: 37226
450.55/451.67 c #Conflicts: 842000 | #Constraints: 38226
450.55/451.67 c #Conflicts: 843000 | #Constraints: 39226
450.55/451.67 c #Conflicts: 844000 | #Constraints: 40226
450.55/451.67 c #Conflicts: 845000 | #Constraints: 41226
450.55/451.67 c #Conflicts: 846000 | #Constraints: 42226
450.55/451.67 c INPROCESSING
450.55/451.67 c GARBAGE COLLECT
450.55/451.67 c #Conflicts: 847000 | #Constraints: 25025
450.55/451.67 c #Conflicts: 848000 | #Constraints: 26025
450.55/451.67 c #Conflicts: 849000 | #Constraints: 27025
450.55/451.67 c #Conflicts: 850000 | #Constraints: 28025
450.55/451.67 c #Conflicts: 851000 | #Constraints: 29025
450.55/451.67 c #Conflicts: 852000 | #Constraints: 30025
450.55/451.67 c #Conflicts: 853000 | #Constraints: 31025
450.55/451.67 c #Conflicts: 854000 | #Constraints: 32025
450.55/451.67 c #Conflicts: 855000 | #Constraints: 33025
450.55/451.67 c #Conflicts: 856000 | #Constraints: 34025
450.55/451.67 c #Conflicts: 857000 | #Constraints: 35025
450.55/451.67 c #Conflicts: 858000 | #Constraints: 36025
450.55/451.67 c #Conflicts: 859000 | #Constraints: 37025
450.55/451.67 c #Conflicts: 860000 | #Constraints: 38025
450.55/451.67 c #Conflicts: 861000 | #Constraints: 39025
450.55/451.67 c #Conflicts: 862000 | #Constraints: 40025
450.55/451.67 c #Conflicts: 863000 | #Constraints: 41025
450.55/451.67 c #Conflicts: 864000 | #Constraints: 42025
450.55/451.67 c #Conflicts: 865000 | #Constraints: 43025
450.55/451.67 c INPROCESSING
450.55/451.67 c GARBAGE COLLECT
525.77/527.07 c #Conflicts: 866000 | #Constraints: 25624
525.77/527.07 c #Conflicts: 867000 | #Constraints: 26624
525.77/527.07 c #Conflicts: 868000 | #Constraints: 27624
525.77/527.07 c #Conflicts: 869000 | #Constraints: 28624
525.77/527.07 c #Conflicts: 870000 | #Constraints: 29624
525.77/527.07 c #Conflicts: 871000 | #Constraints: 30624
525.77/527.07 c #Conflicts: 872000 | #Constraints: 31624
525.77/527.07 c #Conflicts: 873000 | #Constraints: 32624
525.77/527.07 c #Conflicts: 874000 | #Constraints: 33624
525.77/527.07 c #Conflicts: 875000 | #Constraints: 34624
525.77/527.07 c #Conflicts: 876000 | #Constraints: 35624
525.77/527.07 c #Conflicts: 877000 | #Constraints: 36624
525.77/527.07 c #Conflicts: 878000 | #Constraints: 37624
525.77/527.07 c #Conflicts: 879000 | #Constraints: 38624
525.77/527.07 c #Conflicts: 880000 | #Constraints: 39624
525.77/527.07 c #Conflicts: 881000 | #Constraints: 40624
525.77/527.07 c #Conflicts: 882000 | #Constraints: 41624
525.77/527.07 c #Conflicts: 883000 | #Constraints: 42624
525.77/527.07 c #Conflicts: 884000 | #Constraints: 43624
525.77/527.07 c INPROCESSING
525.77/527.07 c GARBAGE COLLECT
525.77/527.07 c #Conflicts: 885000 | #Constraints: 26022
525.77/527.07 c #Conflicts: 886000 | #Constraints: 27022
525.77/527.07 c #Conflicts: 887000 | #Constraints: 28022
525.77/527.07 c #Conflicts: 888000 | #Constraints: 29022
525.77/527.07 c #Conflicts: 889000 | #Constraints: 30022
525.77/527.07 c #Conflicts: 890000 | #Constraints: 31022
525.77/527.07 c #Conflicts: 891000 | #Constraints: 32022
525.77/527.07 c #Conflicts: 892000 | #Constraints: 33022
525.77/527.07 c #Conflicts: 893000 | #Constraints: 34022
525.77/527.07 c #Conflicts: 894000 | #Constraints: 35022
525.77/527.07 c #Conflicts: 895000 | #Constraints: 36022
525.77/527.07 c #Conflicts: 896000 | #Constraints: 37022
525.77/527.07 c #Conflicts: 897000 | #Constraints: 38022
525.77/527.07 c #Conflicts: 898000 | #Constraints: 39022
525.77/527.07 c #Conflicts: 899000 | #Constraints: 40022
525.77/527.07 c #Conflicts: 900000 | #Constraints: 41022
525.77/527.07 c #Conflicts: 901000 | #Constraints: 42022
525.77/527.07 c #Conflicts: 902000 | #Constraints: 43022
525.77/527.07 c #Conflicts: 903000 | #Constraints: 44022
525.77/527.07 c INPROCESSING
525.77/527.07 c GARBAGE COLLECT
525.77/527.07 c #Conflicts: 904000 | #Constraints: 26220
525.77/527.07 c #Conflicts: 905000 | #Constraints: 27220
525.77/527.07 c #Conflicts: 906000 | #Constraints: 28220
525.77/527.07 c #Conflicts: 907000 | #Constraints: 29220
525.77/527.07 c #Conflicts: 908000 | #Constraints: 30220
525.77/527.07 c #Conflicts: 909000 | #Constraints: 31220
525.77/527.07 c #Conflicts: 910000 | #Constraints: 32220
525.77/527.07 c #Conflicts: 911000 | #Constraints: 33220
525.77/527.07 c #Conflicts: 912000 | #Constraints: 34220
525.77/527.07 c #Conflicts: 913000 | #Constraints: 35220
525.77/527.07 c #Conflicts: 914000 | #Constraints: 36220
525.77/527.07 c #Conflicts: 915000 | #Constraints: 37220
525.77/527.07 c #Conflicts: 916000 | #Constraints: 38220
525.77/527.07 c #Conflicts: 917000 | #Constraints: 39220
525.77/527.07 c #Conflicts: 918000 | #Constraints: 40220
525.77/527.07 c #Conflicts: 919000 | #Constraints: 41220
525.77/527.07 c #Conflicts: 920000 | #Constraints: 42220
525.77/527.07 c #Conflicts: 921000 | #Constraints: 43220
525.77/527.07 c #Conflicts: 922000 | #Constraints: 44220
525.77/527.07 c INPROCESSING
525.77/527.07 c GARBAGE COLLECT
525.77/527.07 c #Conflicts: 923000 | #Constraints: 26221
525.77/527.07 c #Conflicts: 924000 | #Constraints: 27221
525.77/527.07 c #Conflicts: 925000 | #Constraints: 28221
525.77/527.07 c #Conflicts: 926000 | #Constraints: 29221
525.77/527.07 c #Conflicts: 927000 | #Constraints: 30221
525.77/527.07 c #Conflicts: 928000 | #Constraints: 31221
525.77/527.07 c #Conflicts: 929000 | #Constraints: 32221
525.77/527.07 c #Conflicts: 930000 | #Constraints: 33221
525.77/527.07 c #Conflicts: 931000 | #Constraints: 34221
525.77/527.07 c #Conflicts: 932000 | #Constraints: 35221
525.77/527.07 c #Conflicts: 933000 | #Constraints: 36221
525.77/527.07 c #Conflicts: 934000 | #Constraints: 37221
525.77/527.07 c #Conflicts: 935000 | #Constraints: 38221
525.77/527.07 c #Conflicts: 936000 | #Constraints: 39221
525.77/527.07 c #Conflicts: 937000 | #Constraints: 40221
525.77/527.07 c #Conflicts: 938000 | #Constraints: 41221
525.77/527.07 c #Conflicts: 939000 | #Constraints: 42221
525.77/527.07 c #Conflicts: 940000 | #Constraints: 43221
525.77/527.07 c #Conflicts: 941000 | #Constraints: 44221
525.77/527.07 c INPROCESSING
525.77/527.07 c GARBAGE COLLECT
596.49/597.91 c #Conflicts: 942000 | #Constraints: 26021
596.49/597.91 c #Conflicts: 943000 | #Constraints: 27021
596.49/597.91 c #Conflicts: 944000 | #Constraints: 28021
596.49/597.91 c #Conflicts: 945000 | #Constraints: 29021
596.49/597.91 c #Conflicts: 946000 | #Constraints: 30021
596.49/597.91 c #Conflicts: 947000 | #Constraints: 31021
596.49/597.91 c #Conflicts: 948000 | #Constraints: 32021
596.49/597.91 c #Conflicts: 949000 | #Constraints: 33021
596.49/597.91 c #Conflicts: 950000 | #Constraints: 34021
596.49/597.91 c #Conflicts: 951000 | #Constraints: 35021
596.49/597.91 c #Conflicts: 952000 | #Constraints: 36021
596.49/597.91 c #Conflicts: 953000 | #Constraints: 37021
596.49/597.91 c #Conflicts: 954000 | #Constraints: 38021
596.49/597.91 c #Conflicts: 955000 | #Constraints: 39021
596.49/597.91 c #Conflicts: 956000 | #Constraints: 40021
596.49/597.91 c #Conflicts: 957000 | #Constraints: 41021
596.49/597.91 c #Conflicts: 958000 | #Constraints: 42021
596.49/597.91 c #Conflicts: 959000 | #Constraints: 43021
596.49/597.91 c #Conflicts: 960000 | #Constraints: 44021
596.49/597.91 c #Conflicts: 961000 | #Constraints: 45021
596.49/597.91 c INPROCESSING
596.49/597.91 c GARBAGE COLLECT
596.49/597.91 c #Conflicts: 962000 | #Constraints: 26632
596.49/597.91 c #Conflicts: 963000 | #Constraints: 27632
596.49/597.91 c #Conflicts: 964000 | #Constraints: 28632
596.49/597.91 c #Conflicts: 965000 | #Constraints: 29632
596.49/597.91 c #Conflicts: 966000 | #Constraints: 30632
596.49/597.91 c #Conflicts: 967000 | #Constraints: 31632
596.49/597.91 c #Conflicts: 968000 | #Constraints: 32632
596.49/597.91 c #Conflicts: 969000 | #Constraints: 33632
596.49/597.91 c #Conflicts: 970000 | #Constraints: 34632
596.49/597.91 c #Conflicts: 971000 | #Constraints: 35632
596.49/597.91 c #Conflicts: 972000 | #Constraints: 36632
596.49/597.91 c #Conflicts: 973000 | #Constraints: 37632
596.49/597.91 c #Conflicts: 974000 | #Constraints: 38632
596.49/597.91 c #Conflicts: 975000 | #Constraints: 39632
596.49/597.91 c #Conflicts: 976000 | #Constraints: 40632
596.49/597.91 c #Conflicts: 977000 | #Constraints: 41632
596.49/597.91 c #Conflicts: 978000 | #Constraints: 42632
596.49/597.91 c #Conflicts: 979000 | #Constraints: 43632
596.49/597.91 c #Conflicts: 980000 | #Constraints: 44632
596.49/597.91 c #Conflicts: 981000 | #Constraints: 45632
596.49/597.91 c INPROCESSING
596.49/597.91 c GARBAGE COLLECT
596.49/597.91 c #Conflicts: 982000 | #Constraints: 27025
596.49/597.91 c #Conflicts: 983000 | #Constraints: 28025
596.49/597.91 c #Conflicts: 984000 | #Constraints: 29025
596.49/597.91 c #Conflicts: 985000 | #Constraints: 30025
596.49/597.91 c #Conflicts: 986000 | #Constraints: 31025
596.49/597.91 c #Conflicts: 987000 | #Constraints: 32025
596.49/597.91 c #Conflicts: 988000 | #Constraints: 33025
596.49/597.91 c #Conflicts: 989000 | #Constraints: 34025
596.49/597.91 c #Conflicts: 990000 | #Constraints: 35025
596.49/597.91 c #Conflicts: 991000 | #Constraints: 36025
596.49/597.91 c #Conflicts: 992000 | #Constraints: 37025
596.49/597.91 c #Conflicts: 993000 | #Constraints: 38025
596.49/597.91 c #Conflicts: 994000 | #Constraints: 39025
596.49/597.91 c #Conflicts: 995000 | #Constraints: 40025
596.49/597.91 c #Conflicts: 996000 | #Constraints: 41025
596.49/597.91 c #Conflicts: 997000 | #Constraints: 42025
596.49/597.91 c #Conflicts: 998000 | #Constraints: 43025
596.49/597.91 c #Conflicts: 999000 | #Constraints: 44025
596.49/597.91 c #Conflicts: 1000000 | #Constraints: 45025
596.49/597.91 c #Conflicts: 1001000 | #Constraints: 46025
596.49/597.91 c INPROCESSING
596.49/597.91 c GARBAGE COLLECT
596.49/597.91 c #Conflicts: 1002000 | #Constraints: 27229
596.49/597.91 c #Conflicts: 1003000 | #Constraints: 28229
596.49/597.91 c #Conflicts: 1004000 | #Constraints: 29229
596.49/597.91 c #Conflicts: 1005000 | #Constraints: 30229
596.49/597.91 c #Conflicts: 1006000 | #Constraints: 31229
596.49/597.91 c #Conflicts: 1007000 | #Constraints: 32229
596.49/597.91 c #Conflicts: 1008000 | #Constraints: 33229
596.49/597.91 c #Conflicts: 1009000 | #Constraints: 34229
596.49/597.91 c #Conflicts: 1010000 | #Constraints: 35229
596.49/597.91 c #Conflicts: 1011000 | #Constraints: 36229
596.49/597.91 c #Conflicts: 1012000 | #Constraints: 37229
596.49/597.91 c #Conflicts: 1013000 | #Constraints: 38229
596.49/597.91 c #Conflicts: 1014000 | #Constraints: 39229
596.49/597.91 c #Conflicts: 1015000 | #Constraints: 40229
596.49/597.91 c #Conflicts: 1016000 | #Constraints: 41229
596.49/597.91 c #Conflicts: 1017000 | #Constraints: 42229
596.49/597.91 c #Conflicts: 1018000 | #Constraints: 43229
667.83/669.48 c #Conflicts: 1019000 | #Constraints: 44229
667.83/669.48 c #Conflicts: 1020000 | #Constraints: 45229
667.83/669.48 c #Conflicts: 1021000 | #Constraints: 46229
667.83/669.48 c INPROCESSING
667.83/669.48 c GARBAGE COLLECT
667.83/669.48 c #Conflicts: 1022000 | #Constraints: 27236
667.83/669.48 c #Conflicts: 1023000 | #Constraints: 28236
667.83/669.48 c #Conflicts: 1024000 | #Constraints: 29236
667.83/669.48 c #Conflicts: 1025000 | #Constraints: 30236
667.83/669.48 c #Conflicts: 1026000 | #Constraints: 31236
667.83/669.48 c #Conflicts: 1027000 | #Constraints: 32236
667.83/669.48 c #Conflicts: 1028000 | #Constraints: 33236
667.83/669.48 c #Conflicts: 1029000 | #Constraints: 34236
667.83/669.48 c #Conflicts: 1030000 | #Constraints: 35236
667.83/669.48 c #Conflicts: 1031000 | #Constraints: 36236
667.83/669.48 c #Conflicts: 1032000 | #Constraints: 37236
667.83/669.48 c #Conflicts: 1033000 | #Constraints: 38236
667.83/669.48 c #Conflicts: 1034000 | #Constraints: 39236
667.83/669.48 c #Conflicts: 1035000 | #Constraints: 40236
667.83/669.48 c #Conflicts: 1036000 | #Constraints: 41236
667.83/669.48 c #Conflicts: 1037000 | #Constraints: 42236
667.83/669.48 c #Conflicts: 1038000 | #Constraints: 43236
667.83/669.48 c #Conflicts: 1039000 | #Constraints: 44236
667.83/669.48 c #Conflicts: 1040000 | #Constraints: 45236
667.83/669.48 c #Conflicts: 1041000 | #Constraints: 46236
667.83/669.48 c INPROCESSING
667.83/669.48 c GARBAGE COLLECT
667.83/669.48 c #Conflicts: 1042000 | #Constraints: 27026
667.83/669.48 c #Conflicts: 1043000 | #Constraints: 28026
667.83/669.48 c #Conflicts: 1044000 | #Constraints: 29026
667.83/669.48 c #Conflicts: 1045000 | #Constraints: 30026
667.83/669.48 c #Conflicts: 1046000 | #Constraints: 31026
667.83/669.48 c #Conflicts: 1047000 | #Constraints: 32026
667.83/669.48 c #Conflicts: 1048000 | #Constraints: 33026
667.83/669.48 c #Conflicts: 1049000 | #Constraints: 34026
667.83/669.48 c #Conflicts: 1050000 | #Constraints: 35026
667.83/669.48 c #Conflicts: 1051000 | #Constraints: 36026
667.83/669.48 c #Conflicts: 1052000 | #Constraints: 37026
667.83/669.48 c #Conflicts: 1053000 | #Constraints: 38026
667.83/669.48 c #Conflicts: 1054000 | #Constraints: 39026
667.83/669.48 c #Conflicts: 1055000 | #Constraints: 40026
667.83/669.48 c #Conflicts: 1056000 | #Constraints: 41026
667.83/669.48 c #Conflicts: 1057000 | #Constraints: 42026
667.83/669.48 c #Conflicts: 1058000 | #Constraints: 43026
667.83/669.48 c #Conflicts: 1059000 | #Constraints: 44026
667.83/669.48 c #Conflicts: 1060000 | #Constraints: 45026
667.83/669.48 c #Conflicts: 1061000 | #Constraints: 46026
667.83/669.48 c #Conflicts: 1062000 | #Constraints: 47026
667.83/669.48 c INPROCESSING
667.83/669.48 c GARBAGE COLLECT
667.83/669.48 c #Conflicts: 1063000 | #Constraints: 27629
667.83/669.48 c #Conflicts: 1064000 | #Constraints: 28629
667.83/669.48 c #Conflicts: 1065000 | #Constraints: 29629
667.83/669.48 c #Conflicts: 1066000 | #Constraints: 30629
667.83/669.48 c #Conflicts: 1067000 | #Constraints: 31629
667.83/669.48 c #Conflicts: 1068000 | #Constraints: 32629
667.83/669.48 c #Conflicts: 1069000 | #Constraints: 33629
667.83/669.48 c #Conflicts: 1070000 | #Constraints: 34629
667.83/669.48 c #Conflicts: 1071000 | #Constraints: 35629
667.83/669.48 c #Conflicts: 1072000 | #Constraints: 36629
667.83/669.48 c #Conflicts: 1073000 | #Constraints: 37629
667.83/669.48 c #Conflicts: 1074000 | #Constraints: 38629
667.83/669.48 c #Conflicts: 1075000 | #Constraints: 39629
667.83/669.48 c #Conflicts: 1076000 | #Constraints: 40629
667.83/669.48 c #Conflicts: 1077000 | #Constraints: 41629
667.83/669.48 c #Conflicts: 1078000 | #Constraints: 42629
667.83/669.48 c #Conflicts: 1079000 | #Constraints: 43629
667.83/669.48 c #Conflicts: 1080000 | #Constraints: 44629
667.83/669.48 c #Conflicts: 1081000 | #Constraints: 45629
667.83/669.48 c #Conflicts: 1082000 | #Constraints: 46629
667.83/669.48 c #Conflicts: 1083000 | #Constraints: 47629
667.83/669.48 c INPROCESSING
667.83/669.48 c GARBAGE COLLECT
667.83/669.48 c #Conflicts: 1084000 | #Constraints: 28032
667.83/669.48 c #Conflicts: 1085000 | #Constraints: 29032
667.83/669.48 c #Conflicts: 1086000 | #Constraints: 30032
667.83/669.48 c #Conflicts: 1087000 | #Constraints: 31032
667.83/669.48 c #Conflicts: 1088000 | #Constraints: 32032
667.83/669.48 c #Conflicts: 1089000 | #Constraints: 33032
667.83/669.48 c #Conflicts: 1090000 | #Constraints: 34032
667.83/669.48 c #Conflicts: 1091000 | #Constraints: 35032
667.83/669.48 c #Conflicts: 1092000 | #Constraints: 36032
667.83/669.48 c #Conflicts: 1093000 | #Constraints: 37032
667.83/669.48 c #Conflicts: 1094000 | #Constraints: 38032
667.83/669.48 c #Conflicts: 1095000 | #Constraints: 39032
748.12/749.97 c #Conflicts: 1096000 | #Constraints: 40032
748.12/749.97 c #Conflicts: 1097000 | #Constraints: 41032
748.12/749.97 c #Conflicts: 1098000 | #Constraints: 42032
748.12/749.97 c #Conflicts: 1099000 | #Constraints: 43032
748.12/749.97 c #Conflicts: 1100000 | #Constraints: 44032
748.12/749.97 c #Conflicts: 1101000 | #Constraints: 45032
748.12/749.97 c #Conflicts: 1102000 | #Constraints: 46032
748.12/749.97 c #Conflicts: 1103000 | #Constraints: 47032
748.12/749.97 c #Conflicts: 1104000 | #Constraints: 48032
748.12/749.97 c INPROCESSING
748.12/749.97 c GARBAGE COLLECT
748.12/749.97 c #Conflicts: 1105000 | #Constraints: 28235
748.12/749.97 c #Conflicts: 1106000 | #Constraints: 29235
748.12/749.97 c #Conflicts: 1107000 | #Constraints: 30235
748.12/749.97 c #Conflicts: 1108000 | #Constraints: 31235
748.12/749.97 c #Conflicts: 1109000 | #Constraints: 32235
748.12/749.97 c #Conflicts: 1110000 | #Constraints: 33235
748.12/749.97 c #Conflicts: 1111000 | #Constraints: 34235
748.12/749.97 c #Conflicts: 1112000 | #Constraints: 35235
748.12/749.97 c #Conflicts: 1113000 | #Constraints: 36235
748.12/749.97 c #Conflicts: 1114000 | #Constraints: 37235
748.12/749.97 c #Conflicts: 1115000 | #Constraints: 38235
748.12/749.97 c #Conflicts: 1116000 | #Constraints: 39235
748.12/749.97 c #Conflicts: 1117000 | #Constraints: 40235
748.12/749.97 c #Conflicts: 1118000 | #Constraints: 41235
748.12/749.97 c #Conflicts: 1119000 | #Constraints: 42235
748.12/749.97 c #Conflicts: 1120000 | #Constraints: 43235
748.12/749.97 c #Conflicts: 1121000 | #Constraints: 44235
748.12/749.97 c #Conflicts: 1122000 | #Constraints: 45235
748.12/749.97 c #Conflicts: 1123000 | #Constraints: 46235
748.12/749.97 c #Conflicts: 1124000 | #Constraints: 47235
748.12/749.97 c #Conflicts: 1125000 | #Constraints: 48235
748.12/749.97 c INPROCESSING
748.12/749.97 c GARBAGE COLLECT
748.12/749.97 c #Conflicts: 1126000 | #Constraints: 28231
748.12/749.97 c #Conflicts: 1127000 | #Constraints: 29231
748.12/749.97 c #Conflicts: 1128000 | #Constraints: 30231
748.12/749.97 c #Conflicts: 1129000 | #Constraints: 31231
748.12/749.97 c #Conflicts: 1130000 | #Constraints: 32231
748.12/749.97 c #Conflicts: 1131000 | #Constraints: 33231
748.12/749.97 c #Conflicts: 1132000 | #Constraints: 34231
748.12/749.97 c #Conflicts: 1133000 | #Constraints: 35231
748.12/749.97 c #Conflicts: 1134000 | #Constraints: 36231
748.12/749.97 c #Conflicts: 1135000 | #Constraints: 37231
748.12/749.97 c #Conflicts: 1136000 | #Constraints: 38231
748.12/749.97 c #Conflicts: 1137000 | #Constraints: 39231
748.12/749.97 c #Conflicts: 1138000 | #Constraints: 40231
748.12/749.97 c #Conflicts: 1139000 | #Constraints: 41231
748.12/749.97 c #Conflicts: 1140000 | #Constraints: 42231
748.12/749.97 c #Conflicts: 1141000 | #Constraints: 43231
748.12/749.97 c #Conflicts: 1142000 | #Constraints: 44231
748.12/749.97 c #Conflicts: 1143000 | #Constraints: 45231
748.12/749.97 c #Conflicts: 1144000 | #Constraints: 46231
748.12/749.97 c #Conflicts: 1145000 | #Constraints: 47231
748.12/749.97 c #Conflicts: 1146000 | #Constraints: 48231
748.12/749.97 c INPROCESSING
748.12/749.97 c GARBAGE COLLECT
748.12/749.97 c #Conflicts: 1147000 | #Constraints: 28031
748.12/749.97 c #Conflicts: 1148000 | #Constraints: 29031
748.12/749.97 c #Conflicts: 1149000 | #Constraints: 30031
748.12/749.97 c #Conflicts: 1150000 | #Constraints: 31031
748.12/749.97 c #Conflicts: 1151000 | #Constraints: 32031
748.12/749.97 c #Conflicts: 1152000 | #Constraints: 33031
748.12/749.97 c #Conflicts: 1153000 | #Constraints: 34031
748.12/749.97 c #Conflicts: 1154000 | #Constraints: 35031
748.12/749.97 c #Conflicts: 1155000 | #Constraints: 36031
748.12/749.97 c #Conflicts: 1156000 | #Constraints: 37031
748.12/749.97 c #Conflicts: 1157000 | #Constraints: 38031
748.12/749.97 c #Conflicts: 1158000 | #Constraints: 39031
748.12/749.97 c #Conflicts: 1159000 | #Constraints: 40031
748.12/749.97 c #Conflicts: 1160000 | #Constraints: 41031
748.12/749.97 c #Conflicts: 1161000 | #Constraints: 42031
748.12/749.97 c #Conflicts: 1162000 | #Constraints: 43031
748.12/749.97 c #Conflicts: 1163000 | #Constraints: 44031
748.12/749.97 c #Conflicts: 1164000 | #Constraints: 45031
748.12/749.97 c #Conflicts: 1165000 | #Constraints: 46031
748.12/749.97 c #Conflicts: 1166000 | #Constraints: 47031
748.12/749.97 c #Conflicts: 1167000 | #Constraints: 48031
748.12/749.97 c #Conflicts: 1168000 | #Constraints: 49031
748.12/749.97 c INPROCESSING
748.12/749.97 c GARBAGE COLLECT
748.12/749.97 c #Conflicts: 1169000 | #Constraints: 28625
748.12/749.97 c #Conflicts: 1170000 | #Constraints: 29625
748.12/749.97 c #Conflicts: 1171000 | #Constraints: 30625
831.89/833.92 c #Conflicts: 1172000 | #Constraints: 31625
831.89/833.92 c #Conflicts: 1173000 | #Constraints: 32625
831.89/833.92 c #Conflicts: 1174000 | #Constraints: 33625
831.89/833.92 c #Conflicts: 1175000 | #Constraints: 34625
831.89/833.92 c #Conflicts: 1176000 | #Constraints: 35625
831.89/833.92 c #Conflicts: 1177000 | #Constraints: 36625
831.89/833.92 c #Conflicts: 1178000 | #Constraints: 37625
831.89/833.92 c #Conflicts: 1179000 | #Constraints: 38625
831.89/833.92 c #Conflicts: 1180000 | #Constraints: 39625
831.89/833.92 c #Conflicts: 1181000 | #Constraints: 40625
831.89/833.92 c #Conflicts: 1182000 | #Constraints: 41625
831.89/833.92 c #Conflicts: 1183000 | #Constraints: 42625
831.89/833.92 c #Conflicts: 1184000 | #Constraints: 43625
831.89/833.92 c #Conflicts: 1185000 | #Constraints: 44625
831.89/833.92 c #Conflicts: 1186000 | #Constraints: 45625
831.89/833.92 c #Conflicts: 1187000 | #Constraints: 46625
831.89/833.92 c #Conflicts: 1188000 | #Constraints: 47625
831.89/833.92 c #Conflicts: 1189000 | #Constraints: 48625
831.89/833.92 c #Conflicts: 1190000 | #Constraints: 49625
831.89/833.92 c INPROCESSING
831.89/833.92 c GARBAGE COLLECT
831.89/833.92 c #Conflicts: 1191000 | #Constraints: 29023
831.89/833.92 c #Conflicts: 1192000 | #Constraints: 30023
831.89/833.92 c #Conflicts: 1193000 | #Constraints: 31023
831.89/833.92 c #Conflicts: 1194000 | #Constraints: 32023
831.89/833.92 c #Conflicts: 1195000 | #Constraints: 33023
831.89/833.92 c #Conflicts: 1196000 | #Constraints: 34023
831.89/833.92 c #Conflicts: 1197000 | #Constraints: 35023
831.89/833.92 c #Conflicts: 1198000 | #Constraints: 36023
831.89/833.92 c #Conflicts: 1199000 | #Constraints: 37023
831.89/833.92 c #Conflicts: 1200000 | #Constraints: 38023
831.89/833.92 c #Conflicts: 1201000 | #Constraints: 39023
831.89/833.92 c #Conflicts: 1202000 | #Constraints: 40023
831.89/833.92 c #Conflicts: 1203000 | #Constraints: 41023
831.89/833.92 c #Conflicts: 1204000 | #Constraints: 42023
831.89/833.92 c #Conflicts: 1205000 | #Constraints: 43023
831.89/833.92 c #Conflicts: 1206000 | #Constraints: 44023
831.89/833.92 c #Conflicts: 1207000 | #Constraints: 45023
831.89/833.92 c #Conflicts: 1208000 | #Constraints: 46023
831.89/833.92 c #Conflicts: 1209000 | #Constraints: 47023
831.89/833.92 c #Conflicts: 1210000 | #Constraints: 48023
831.89/833.92 c #Conflicts: 1211000 | #Constraints: 49023
831.89/833.92 c #Conflicts: 1212000 | #Constraints: 50023
831.89/833.92 c INPROCESSING
831.89/833.92 c GARBAGE COLLECT
831.89/833.92 c #Conflicts: 1213000 | #Constraints: 29223
831.89/833.92 c #Conflicts: 1214000 | #Constraints: 30223
831.89/833.92 c #Conflicts: 1215000 | #Constraints: 31223
831.89/833.92 c #Conflicts: 1216000 | #Constraints: 32223
831.89/833.92 c #Conflicts: 1217000 | #Constraints: 33223
831.89/833.92 c #Conflicts: 1218000 | #Constraints: 34223
831.89/833.92 c #Conflicts: 1219000 | #Constraints: 35223
831.89/833.92 c #Conflicts: 1220000 | #Constraints: 36223
831.89/833.92 c #Conflicts: 1221000 | #Constraints: 37223
831.89/833.92 c #Conflicts: 1222000 | #Constraints: 38223
831.89/833.92 c #Conflicts: 1223000 | #Constraints: 39223
831.89/833.92 c #Conflicts: 1224000 | #Constraints: 40223
831.89/833.92 c #Conflicts: 1225000 | #Constraints: 41223
831.89/833.92 c #Conflicts: 1226000 | #Constraints: 42223
831.89/833.92 c #Conflicts: 1227000 | #Constraints: 43223
831.89/833.92 c #Conflicts: 1228000 | #Constraints: 44223
831.89/833.92 c #Conflicts: 1229000 | #Constraints: 45223
831.89/833.92 c #Conflicts: 1230000 | #Constraints: 46223
831.89/833.92 c #Conflicts: 1231000 | #Constraints: 47223
831.89/833.92 c #Conflicts: 1232000 | #Constraints: 48223
831.89/833.92 c #Conflicts: 1233000 | #Constraints: 49223
831.89/833.92 c #Conflicts: 1234000 | #Constraints: 50223
831.89/833.92 c INPROCESSING
831.89/833.92 c GARBAGE COLLECT
831.89/833.92 c #Conflicts: 1235000 | #Constraints: 29224
831.89/833.92 c #Conflicts: 1236000 | #Constraints: 30224
831.89/833.92 c #Conflicts: 1237000 | #Constraints: 31224
831.89/833.92 c #Conflicts: 1238000 | #Constraints: 32224
831.89/833.92 c #Conflicts: 1239000 | #Constraints: 33224
831.89/833.92 c #Conflicts: 1240000 | #Constraints: 34224
831.89/833.92 c #Conflicts: 1241000 | #Constraints: 35224
831.89/833.92 c #Conflicts: 1242000 | #Constraints: 36224
831.89/833.92 c #Conflicts: 1243000 | #Constraints: 37224
831.89/833.92 c #Conflicts: 1244000 | #Constraints: 38224
831.89/833.92 c #Conflicts: 1245000 | #Constraints: 39224
831.89/833.92 c #Conflicts: 1246000 | #Constraints: 40224
831.89/833.92 c #Conflicts: 1247000 | #Constraints: 41224
831.89/833.92 c #Conflicts: 1248000 | #Constraints: 42224
925.73/928.07 c #Conflicts: 1249000 | #Constraints: 43224
925.73/928.07 c #Conflicts: 1250000 | #Constraints: 44224
925.73/928.07 c #Conflicts: 1251000 | #Constraints: 45224
925.73/928.07 c #Conflicts: 1252000 | #Constraints: 46224
925.73/928.07 c #Conflicts: 1253000 | #Constraints: 47224
925.73/928.07 c #Conflicts: 1254000 | #Constraints: 48224
925.73/928.07 c #Conflicts: 1255000 | #Constraints: 49224
925.73/928.07 c #Conflicts: 1256000 | #Constraints: 50224
925.73/928.07 c INPROCESSING
925.73/928.07 c GARBAGE COLLECT
925.73/928.07 c #Conflicts: 1257000 | #Constraints: 29035
925.73/928.07 c #Conflicts: 1258000 | #Constraints: 30035
925.73/928.07 c #Conflicts: 1259000 | #Constraints: 31035
925.73/928.07 c #Conflicts: 1260000 | #Constraints: 32035
925.73/928.07 c #Conflicts: 1261000 | #Constraints: 33035
925.73/928.07 c #Conflicts: 1262000 | #Constraints: 34035
925.73/928.07 c #Conflicts: 1263000 | #Constraints: 35035
925.73/928.07 c #Conflicts: 1264000 | #Constraints: 36035
925.73/928.07 c #Conflicts: 1265000 | #Constraints: 37035
925.73/928.07 c #Conflicts: 1266000 | #Constraints: 38035
925.73/928.07 c #Conflicts: 1267000 | #Constraints: 39035
925.73/928.07 c #Conflicts: 1268000 | #Constraints: 40035
925.73/928.07 c #Conflicts: 1269000 | #Constraints: 41035
925.73/928.07 c #Conflicts: 1270000 | #Constraints: 42035
925.73/928.07 c #Conflicts: 1271000 | #Constraints: 43035
925.73/928.07 c #Conflicts: 1272000 | #Constraints: 44035
925.73/928.07 c #Conflicts: 1273000 | #Constraints: 45035
925.73/928.07 c #Conflicts: 1274000 | #Constraints: 46035
925.73/928.07 c #Conflicts: 1275000 | #Constraints: 47035
925.73/928.07 c #Conflicts: 1276000 | #Constraints: 48035
925.73/928.07 c #Conflicts: 1277000 | #Constraints: 49035
925.73/928.07 c #Conflicts: 1278000 | #Constraints: 50035
925.73/928.07 c #Conflicts: 1279000 | #Constraints: 51035
925.73/928.07 c INPROCESSING
925.73/928.07 c GARBAGE COLLECT
925.73/928.07 c #Conflicts: 1280000 | #Constraints: 29632
925.73/928.07 c #Conflicts: 1281000 | #Constraints: 30632
925.73/928.07 c #Conflicts: 1282000 | #Constraints: 31632
925.73/928.07 c #Conflicts: 1283000 | #Constraints: 32632
925.73/928.07 c #Conflicts: 1284000 | #Constraints: 33632
925.73/928.07 c #Conflicts: 1285000 | #Constraints: 34632
925.73/928.07 c #Conflicts: 1286000 | #Constraints: 35632
925.73/928.07 c #Conflicts: 1287000 | #Constraints: 36632
925.73/928.07 c #Conflicts: 1288000 | #Constraints: 37632
925.73/928.07 c #Conflicts: 1289000 | #Constraints: 38632
925.73/928.07 c #Conflicts: 1290000 | #Constraints: 39632
925.73/928.07 c #Conflicts: 1291000 | #Constraints: 40632
925.73/928.07 c #Conflicts: 1292000 | #Constraints: 41632
925.73/928.07 c #Conflicts: 1293000 | #Constraints: 42632
925.73/928.07 c #Conflicts: 1294000 | #Constraints: 43632
925.73/928.07 c #Conflicts: 1295000 | #Constraints: 44632
925.73/928.07 c #Conflicts: 1296000 | #Constraints: 45632
925.73/928.07 c #Conflicts: 1297000 | #Constraints: 46632
925.73/928.07 c #Conflicts: 1298000 | #Constraints: 47632
925.73/928.07 c #Conflicts: 1299000 | #Constraints: 48632
925.73/928.07 c #Conflicts: 1300000 | #Constraints: 49632
925.73/928.07 c #Conflicts: 1301000 | #Constraints: 50632
925.73/928.07 c #Conflicts: 1302000 | #Constraints: 51632
925.73/928.07 c INPROCESSING
925.73/928.07 c GARBAGE COLLECT
925.73/928.07 c #Conflicts: 1303000 | #Constraints: 30024
925.73/928.07 c #Conflicts: 1304000 | #Constraints: 31024
925.73/928.07 c #Conflicts: 1305000 | #Constraints: 32024
925.73/928.07 c #Conflicts: 1306000 | #Constraints: 33024
925.73/928.07 c #Conflicts: 1307000 | #Constraints: 34024
925.73/928.07 c #Conflicts: 1308000 | #Constraints: 35024
925.73/928.07 c #Conflicts: 1309000 | #Constraints: 36024
925.73/928.07 c #Conflicts: 1310000 | #Constraints: 37024
925.73/928.07 c #Conflicts: 1311000 | #Constraints: 38024
925.73/928.07 c #Conflicts: 1312000 | #Constraints: 39024
925.73/928.07 c #Conflicts: 1313000 | #Constraints: 40024
925.73/928.07 c #Conflicts: 1314000 | #Constraints: 41024
925.73/928.07 c #Conflicts: 1315000 | #Constraints: 42024
925.73/928.07 c #Conflicts: 1316000 | #Constraints: 43024
925.73/928.07 c #Conflicts: 1317000 | #Constraints: 44024
925.73/928.07 c #Conflicts: 1318000 | #Constraints: 45024
925.73/928.07 c #Conflicts: 1319000 | #Constraints: 46024
925.73/928.07 c #Conflicts: 1320000 | #Constraints: 47024
925.73/928.07 c #Conflicts: 1321000 | #Constraints: 48024
925.73/928.07 c #Conflicts: 1322000 | #Constraints: 49024
925.73/928.07 c #Conflicts: 1323000 | #Constraints: 50024
925.73/928.07 c #Conflicts: 1324000 | #Constraints: 51024
925.73/928.07 c #Conflicts: 1325000 | #Constraints: 52024
1021.87/1024.42 c INPROCESSING
1021.87/1024.42 c GARBAGE COLLECT
1021.87/1024.42 c #Conflicts: 1326000 | #Constraints: 30235
1021.87/1024.42 c #Conflicts: 1327000 | #Constraints: 31235
1021.87/1024.42 c #Conflicts: 1328000 | #Constraints: 32235
1021.87/1024.42 c #Conflicts: 1329000 | #Constraints: 33235
1021.87/1024.42 c #Conflicts: 1330000 | #Constraints: 34235
1021.87/1024.42 c #Conflicts: 1331000 | #Constraints: 35235
1021.87/1024.42 c #Conflicts: 1332000 | #Constraints: 36235
1021.87/1024.42 c #Conflicts: 1333000 | #Constraints: 37235
1021.87/1024.42 c #Conflicts: 1334000 | #Constraints: 38235
1021.87/1024.42 c #Conflicts: 1335000 | #Constraints: 39235
1021.87/1024.42 c #Conflicts: 1336000 | #Constraints: 40235
1021.87/1024.42 c #Conflicts: 1337000 | #Constraints: 41235
1021.87/1024.42 c #Conflicts: 1338000 | #Constraints: 42235
1021.87/1024.42 c #Conflicts: 1339000 | #Constraints: 43235
1021.87/1024.42 c #Conflicts: 1340000 | #Constraints: 44235
1021.87/1024.42 c #Conflicts: 1341000 | #Constraints: 45235
1021.87/1024.42 c #Conflicts: 1342000 | #Constraints: 46235
1021.87/1024.42 c #Conflicts: 1343000 | #Constraints: 47235
1021.87/1024.42 c #Conflicts: 1344000 | #Constraints: 48235
1021.87/1024.42 c #Conflicts: 1345000 | #Constraints: 49235
1021.87/1024.42 c #Conflicts: 1346000 | #Constraints: 50235
1021.87/1024.42 c #Conflicts: 1347000 | #Constraints: 51235
1021.87/1024.42 c #Conflicts: 1348000 | #Constraints: 52235
1021.87/1024.42 c INPROCESSING
1021.87/1024.42 c GARBAGE COLLECT
1021.87/1024.42 c #Conflicts: 1349000 | #Constraints: 30230
1021.87/1024.42 c #Conflicts: 1350000 | #Constraints: 31230
1021.87/1024.42 c #Conflicts: 1351000 | #Constraints: 32230
1021.87/1024.42 c #Conflicts: 1352000 | #Constraints: 33230
1021.87/1024.42 c #Conflicts: 1353000 | #Constraints: 34230
1021.87/1024.42 c #Conflicts: 1354000 | #Constraints: 35230
1021.87/1024.42 c #Conflicts: 1355000 | #Constraints: 36230
1021.87/1024.42 c #Conflicts: 1356000 | #Constraints: 37230
1021.87/1024.42 c #Conflicts: 1357000 | #Constraints: 38230
1021.87/1024.42 c #Conflicts: 1358000 | #Constraints: 39230
1021.87/1024.42 c #Conflicts: 1359000 | #Constraints: 40230
1021.87/1024.42 c #Conflicts: 1360000 | #Constraints: 41230
1021.87/1024.42 c #Conflicts: 1361000 | #Constraints: 42230
1021.87/1024.42 c #Conflicts: 1362000 | #Constraints: 43230
1021.87/1024.42 c #Conflicts: 1363000 | #Constraints: 44230
1021.87/1024.42 c #Conflicts: 1364000 | #Constraints: 45230
1021.87/1024.42 c #Conflicts: 1365000 | #Constraints: 46230
1021.87/1024.42 c #Conflicts: 1366000 | #Constraints: 47230
1021.87/1024.42 c #Conflicts: 1367000 | #Constraints: 48230
1021.87/1024.42 c #Conflicts: 1368000 | #Constraints: 49230
1021.87/1024.42 c #Conflicts: 1369000 | #Constraints: 50230
1021.87/1024.42 c #Conflicts: 1370000 | #Constraints: 51230
1021.87/1024.42 c #Conflicts: 1371000 | #Constraints: 52230
1021.87/1024.42 c INPROCESSING
1021.87/1024.42 c GARBAGE COLLECT
1021.87/1024.42 c #Conflicts: 1372000 | #Constraints: 30037
1021.87/1024.42 c #Conflicts: 1373000 | #Constraints: 31037
1021.87/1024.42 c #Conflicts: 1374000 | #Constraints: 32037
1021.87/1024.42 c #Conflicts: 1375000 | #Constraints: 33037
1021.87/1024.42 c #Conflicts: 1376000 | #Constraints: 34037
1021.87/1024.42 c #Conflicts: 1377000 | #Constraints: 35037
1021.87/1024.42 c #Conflicts: 1378000 | #Constraints: 36037
1021.87/1024.42 c #Conflicts: 1379000 | #Constraints: 37037
1021.87/1024.42 c #Conflicts: 1380000 | #Constraints: 38037
1021.87/1024.42 c #Conflicts: 1381000 | #Constraints: 39037
1021.87/1024.42 c #Conflicts: 1382000 | #Constraints: 40037
1021.87/1024.42 c #Conflicts: 1383000 | #Constraints: 41037
1021.87/1024.42 c #Conflicts: 1384000 | #Constraints: 42037
1021.87/1024.42 c #Conflicts: 1385000 | #Constraints: 43037
1021.87/1024.42 c #Conflicts: 1386000 | #Constraints: 44037
1021.87/1024.42 c #Conflicts: 1387000 | #Constraints: 45037
1021.87/1024.42 c #Conflicts: 1388000 | #Constraints: 46037
1021.87/1024.42 c #Conflicts: 1389000 | #Constraints: 47037
1021.87/1024.42 c #Conflicts: 1390000 | #Constraints: 48037
1021.87/1024.42 c #Conflicts: 1391000 | #Constraints: 49037
1021.87/1024.42 c #Conflicts: 1392000 | #Constraints: 50037
1021.87/1024.42 c #Conflicts: 1393000 | #Constraints: 51037
1021.87/1024.42 c #Conflicts: 1394000 | #Constraints: 52037
1021.87/1024.42 c #Conflicts: 1395000 | #Constraints: 53037
1021.87/1024.42 c INPROCESSING
1021.87/1024.42 c GARBAGE COLLECT
1021.87/1024.42 c #Conflicts: 1396000 | #Constraints: 30642
1021.87/1024.42 c #Conflicts: 1397000 | #Constraints: 31642
1021.87/1024.42 c #Conflicts: 1398000 | #Constraints: 32642
1021.87/1024.42 c #Conflicts: 1399000 | #Constraints: 33642
1021.87/1024.42 c #Conflicts: 1400000 | #Constraints: 34642
1021.87/1024.42 c #Conflicts: 1401000 | #Constraints: 35642
1138.25/1141.15 c #Conflicts: 1402000 | #Constraints: 36642
1138.25/1141.15 c #Conflicts: 1403000 | #Constraints: 37642
1138.25/1141.15 c #Conflicts: 1404000 | #Constraints: 38642
1138.25/1141.15 c #Conflicts: 1405000 | #Constraints: 39642
1138.25/1141.15 c #Conflicts: 1406000 | #Constraints: 40642
1138.25/1141.15 c #Conflicts: 1407000 | #Constraints: 41642
1138.25/1141.15 c #Conflicts: 1408000 | #Constraints: 42642
1138.25/1141.15 c #Conflicts: 1409000 | #Constraints: 43642
1138.25/1141.15 c #Conflicts: 1410000 | #Constraints: 44642
1138.25/1141.15 c #Conflicts: 1411000 | #Constraints: 45642
1138.25/1141.15 c #Conflicts: 1412000 | #Constraints: 46642
1138.25/1141.15 c #Conflicts: 1413000 | #Constraints: 47642
1138.25/1141.15 c #Conflicts: 1414000 | #Constraints: 48642
1138.25/1141.15 c #Conflicts: 1415000 | #Constraints: 49642
1138.25/1141.15 c #Conflicts: 1416000 | #Constraints: 50642
1138.25/1141.15 c #Conflicts: 1417000 | #Constraints: 51642
1138.25/1141.15 c #Conflicts: 1418000 | #Constraints: 52642
1138.25/1141.15 c #Conflicts: 1419000 | #Constraints: 53642
1138.25/1141.15 c INPROCESSING
1138.25/1141.15 c GARBAGE COLLECT
1138.25/1141.15 c #Conflicts: 1420000 | #Constraints: 31044
1138.25/1141.15 c #Conflicts: 1421000 | #Constraints: 32044
1138.25/1141.15 c #Conflicts: 1422000 | #Constraints: 33044
1138.25/1141.15 c #Conflicts: 1423000 | #Constraints: 34044
1138.25/1141.15 c #Conflicts: 1424000 | #Constraints: 35044
1138.25/1141.15 c #Conflicts: 1425000 | #Constraints: 36044
1138.25/1141.15 c #Conflicts: 1426000 | #Constraints: 37044
1138.25/1141.15 c #Conflicts: 1427000 | #Constraints: 38044
1138.25/1141.15 c #Conflicts: 1428000 | #Constraints: 39044
1138.25/1141.15 c #Conflicts: 1429000 | #Constraints: 40044
1138.25/1141.15 c #Conflicts: 1430000 | #Constraints: 41044
1138.25/1141.15 c #Conflicts: 1431000 | #Constraints: 42044
1138.25/1141.15 c #Conflicts: 1432000 | #Constraints: 43044
1138.25/1141.15 c #Conflicts: 1433000 | #Constraints: 44044
1138.25/1141.15 c #Conflicts: 1434000 | #Constraints: 45044
1138.25/1141.15 c #Conflicts: 1435000 | #Constraints: 46044
1138.25/1141.15 c #Conflicts: 1436000 | #Constraints: 47044
1138.25/1141.15 c #Conflicts: 1437000 | #Constraints: 48044
1138.25/1141.15 c #Conflicts: 1438000 | #Constraints: 49044
1138.25/1141.15 c #Conflicts: 1439000 | #Constraints: 50044
1138.25/1141.15 c #Conflicts: 1440000 | #Constraints: 51044
1138.25/1141.15 c #Conflicts: 1441000 | #Constraints: 52044
1138.25/1141.15 c #Conflicts: 1442000 | #Constraints: 53044
1138.25/1141.15 c #Conflicts: 1443000 | #Constraints: 54044
1138.25/1141.15 c INPROCESSING
1138.25/1141.15 c GARBAGE COLLECT
1138.25/1141.15 c #Conflicts: 1444000 | #Constraints: 31248
1138.25/1141.15 c #Conflicts: 1445000 | #Constraints: 32248
1138.25/1141.15 c #Conflicts: 1446000 | #Constraints: 33248
1138.25/1141.15 c #Conflicts: 1447000 | #Constraints: 34248
1138.25/1141.15 c #Conflicts: 1448000 | #Constraints: 35248
1138.25/1141.15 c #Conflicts: 1449000 | #Constraints: 36248
1138.25/1141.15 c #Conflicts: 1450000 | #Constraints: 37248
1138.25/1141.15 c #Conflicts: 1451000 | #Constraints: 38248
1138.25/1141.15 c #Conflicts: 1452000 | #Constraints: 39248
1138.25/1141.15 c #Conflicts: 1453000 | #Constraints: 40248
1138.25/1141.15 c #Conflicts: 1454000 | #Constraints: 41248
1138.25/1141.15 c #Conflicts: 1455000 | #Constraints: 42248
1138.25/1141.15 c #Conflicts: 1456000 | #Constraints: 43248
1138.25/1141.15 c #Conflicts: 1457000 | #Constraints: 44248
1138.25/1141.15 c #Conflicts: 1458000 | #Constraints: 45248
1138.25/1141.15 c #Conflicts: 1459000 | #Constraints: 46248
1138.25/1141.15 c #Conflicts: 1460000 | #Constraints: 47248
1138.25/1141.15 c #Conflicts: 1461000 | #Constraints: 48248
1138.25/1141.15 c #Conflicts: 1462000 | #Constraints: 49248
1138.25/1141.15 c #Conflicts: 1463000 | #Constraints: 50248
1138.25/1141.15 c #Conflicts: 1464000 | #Constraints: 51248
1138.25/1141.15 c #Conflicts: 1465000 | #Constraints: 52248
1138.25/1141.15 c #Conflicts: 1466000 | #Constraints: 53248
1138.25/1141.15 c #Conflicts: 1467000 | #Constraints: 54248
1138.25/1141.15 c INPROCESSING
1138.25/1141.15 c GARBAGE COLLECT
1138.25/1141.15 c #Conflicts: 1468000 | #Constraints: 31243
1138.25/1141.15 c #Conflicts: 1469000 | #Constraints: 32243
1138.25/1141.15 c #Conflicts: 1470000 | #Constraints: 33243
1138.25/1141.15 c #Conflicts: 1471000 | #Constraints: 34243
1138.25/1141.15 c #Conflicts: 1472000 | #Constraints: 35243
1138.25/1141.15 c #Conflicts: 1473000 | #Constraints: 36243
1138.25/1141.15 c #Conflicts: 1474000 | #Constraints: 37243
1138.25/1141.15 c #Conflicts: 1475000 | #Constraints: 38243
1138.25/1141.15 c #Conflicts: 1476000 | #Constraints: 39243
1138.25/1141.15 c #Conflicts: 1477000 | #Constraints: 40243
1138.25/1141.15 c #Conflicts: 1478000 | #Constraints: 41243
1350.38/1353.89 c #Conflicts: 1479000 | #Constraints: 42243
1350.38/1353.89 c #Conflicts: 1480000 | #Constraints: 43243
1350.38/1353.89 c #Conflicts: 1481000 | #Constraints: 44243
1350.38/1353.89 c #Conflicts: 1482000 | #Constraints: 45243
1350.38/1353.89 c #Conflicts: 1483000 | #Constraints: 46243
1350.38/1353.89 c #Conflicts: 1484000 | #Constraints: 47243
1350.38/1353.89 c #Conflicts: 1485000 | #Constraints: 48243
1350.38/1353.89 c #Conflicts: 1486000 | #Constraints: 49243
1350.38/1353.89 c #Conflicts: 1487000 | #Constraints: 50243
1350.38/1353.89 c #Conflicts: 1488000 | #Constraints: 51243
1350.38/1353.89 c #Conflicts: 1489000 | #Constraints: 52243
1350.38/1353.89 c #Conflicts: 1490000 | #Constraints: 53243
1350.38/1353.89 c #Conflicts: 1491000 | #Constraints: 54243
1350.38/1353.89 c INPROCESSING
1350.38/1353.89 c GARBAGE COLLECT
1350.38/1353.89 c #Conflicts: 1492000 | #Constraints: 31048
1350.38/1353.89 c #Conflicts: 1493000 | #Constraints: 32048
1350.38/1353.89 c #Conflicts: 1494000 | #Constraints: 33048
1350.38/1353.89 c #Conflicts: 1495000 | #Constraints: 34048
1350.38/1353.89 c #Conflicts: 1496000 | #Constraints: 35048
1350.38/1353.89 c #Conflicts: 1497000 | #Constraints: 36048
1350.38/1353.89 c #Conflicts: 1498000 | #Constraints: 37048
1350.38/1353.89 c #Conflicts: 1499000 | #Constraints: 38048
1350.38/1353.89 c #Conflicts: 1500000 | #Constraints: 39048
1350.38/1353.89 c #Conflicts: 1501000 | #Constraints: 40048
1350.38/1353.89 c #Conflicts: 1502000 | #Constraints: 41048
1350.38/1353.89 c #Conflicts: 1503000 | #Constraints: 42048
1350.38/1353.89 c #Conflicts: 1504000 | #Constraints: 43048
1350.38/1353.89 c #Conflicts: 1505000 | #Constraints: 44048
1350.38/1353.89 c #Conflicts: 1506000 | #Constraints: 45048
1350.38/1353.89 c #Conflicts: 1507000 | #Constraints: 46048
1350.38/1353.89 c #Conflicts: 1508000 | #Constraints: 47048
1350.38/1353.89 c #Conflicts: 1509000 | #Constraints: 48048
1350.38/1353.89 c #Conflicts: 1510000 | #Constraints: 49048
1350.38/1353.89 c #Conflicts: 1511000 | #Constraints: 50048
1350.38/1353.89 c #Conflicts: 1512000 | #Constraints: 51048
1350.38/1353.89 c #Conflicts: 1513000 | #Constraints: 52048
1350.38/1353.89 c #Conflicts: 1514000 | #Constraints: 53048
1350.38/1353.89 c #Conflicts: 1515000 | #Constraints: 54048
1350.38/1353.89 c #Conflicts: 1516000 | #Constraints: 55048
1350.38/1353.89 c #Conflicts: 1517000 | #Constraints: 56048
1350.38/1353.89 c #Conflicts: 1518000 | #Constraints: 57048
1350.38/1353.89 c #Conflicts: 1519000 | #Constraints: 58048
1350.38/1353.89 c #Conflicts: 1520000 | #Constraints: 59048
1350.38/1353.89 c #Conflicts: 1521000 | #Constraints: 60048
1350.38/1353.89 c #Conflicts: 1522000 | #Constraints: 61048
1350.38/1353.89 c #Conflicts: 1523000 | #Constraints: 62048
1350.38/1353.89 c #Conflicts: 1524000 | #Constraints: 63048
1350.38/1353.89 c #Conflicts: 1525000 | #Constraints: 64048
1350.38/1353.89 c #Conflicts: 1526000 | #Constraints: 65048
1350.38/1353.89 c #Conflicts: 1527000 | #Constraints: 66048
1350.38/1353.89 c #Conflicts: 1528000 | #Constraints: 67048
1350.38/1353.89 c #Conflicts: 1529000 | #Constraints: 68048
1350.38/1353.89 c #Conflicts: 1530000 | #Constraints: 69048
1350.38/1353.89 c #Conflicts: 1531000 | #Constraints: 70048
1350.38/1353.89 c #Conflicts: 1532000 | #Constraints: 71048
1350.38/1353.89 c #Conflicts: 1533000 | #Constraints: 72048
1350.38/1353.89 c #Conflicts: 1534000 | #Constraints: 73048
1350.38/1353.89 c #Conflicts: 1535000 | #Constraints: 74048
1350.38/1353.89 c #Conflicts: 1536000 | #Constraints: 75048
1350.38/1353.89 c #Conflicts: 1537000 | #Constraints: 76048
1350.38/1353.89 c #Conflicts: 1538000 | #Constraints: 77048
1350.38/1353.89 c #Conflicts: 1539000 | #Constraints: 78048
1350.38/1353.89 c #Conflicts: 1540000 | #Constraints: 79048
1350.38/1353.89 c #Conflicts: 1541000 | #Constraints: 80048
1350.38/1353.89 c #Conflicts: 1542000 | #Constraints: 81048
1350.38/1353.89 c #Conflicts: 1543000 | #Constraints: 82048
1350.38/1353.89 c #Conflicts: 1544000 | #Constraints: 83048
1350.38/1353.89 c #Conflicts: 1545000 | #Constraints: 84048
1350.38/1353.89 c #Conflicts: 1546000 | #Constraints: 85048
1350.38/1353.89 c #Conflicts: 1547000 | #Constraints: 86048
1350.38/1353.89 c #Conflicts: 1548000 | #Constraints: 87048
1350.38/1353.89 c #Conflicts: 1549000 | #Constraints: 88048
1350.38/1353.89 c #Conflicts: 1550000 | #Constraints: 89048
1350.38/1353.89 c #Conflicts: 1551000 | #Constraints: 90048
1350.38/1353.89 c #Conflicts: 1552000 | #Constraints: 91048
1350.38/1353.89 c #Conflicts: 1553000 | #Constraints: 92048
1350.38/1353.89 c #Conflicts: 1554000 | #Constraints: 93048
1350.38/1353.89 c #Conflicts: 1555000 | #Constraints: 94048
1350.38/1353.89 c #Conflicts: 1556000 | #Constraints: 95048
1871.80/1876.65 c #Conflicts: 1557000 | #Constraints: 96048
1871.80/1876.65 c #Conflicts: 1558000 | #Constraints: 97048
1871.80/1876.65 c #Conflicts: 1559000 | #Constraints: 98048
1871.80/1876.65 c #Conflicts: 1560000 | #Constraints: 99048
1871.80/1876.65 c #Conflicts: 1561000 | #Constraints: 100048
1871.80/1876.65 c #Conflicts: 1562000 | #Constraints: 101048
1871.80/1876.65 c #Conflicts: 1563000 | #Constraints: 102048
1871.80/1876.65 c #Conflicts: 1564000 | #Constraints: 103048
1871.80/1876.65 c #Conflicts: 1565000 | #Constraints: 104048
1871.80/1876.65 c #Conflicts: 1566000 | #Constraints: 105048
1871.80/1876.65 c #Conflicts: 1567000 | #Constraints: 106048
1871.80/1876.65 c #Conflicts: 1568000 | #Constraints: 107048
1871.80/1876.65 c #Conflicts: 1569000 | #Constraints: 108048
1871.80/1876.65 c #Conflicts: 1570000 | #Constraints: 109048
1871.80/1876.65 c #Conflicts: 1571000 | #Constraints: 110048
1871.80/1876.65 c #Conflicts: 1572000 | #Constraints: 111048
1871.80/1876.65 c #Conflicts: 1573000 | #Constraints: 112048
1871.80/1876.65 c #Conflicts: 1574000 | #Constraints: 113048
1871.80/1876.65 c #Conflicts: 1575000 | #Constraints: 114048
1871.80/1876.65 c #Conflicts: 1576000 | #Constraints: 115048
1871.80/1876.65 c #Conflicts: 1577000 | #Constraints: 116048
1871.80/1876.65 c #Conflicts: 1578000 | #Constraints: 117048
1871.80/1876.65 c #Conflicts: 1579000 | #Constraints: 118048
1871.80/1876.65 c #Conflicts: 1580000 | #Constraints: 119048
1871.80/1876.65 c #Conflicts: 1581000 | #Constraints: 120048
1871.80/1876.65 c #Conflicts: 1582000 | #Constraints: 121048
1871.80/1876.65 c #Conflicts: 1583000 | #Constraints: 122048
1871.80/1876.65 c #Conflicts: 1584000 | #Constraints: 123048
1871.80/1876.65 c #Conflicts: 1585000 | #Constraints: 124048
1871.80/1876.65 c #Conflicts: 1586000 | #Constraints: 125048
1871.80/1876.65 c #Conflicts: 1587000 | #Constraints: 126048
1871.80/1876.65 c #Conflicts: 1588000 | #Constraints: 127048
1871.80/1876.65 c #Conflicts: 1589000 | #Constraints: 128048
1871.80/1876.65 c #Conflicts: 1590000 | #Constraints: 129048
1871.80/1876.65 c #Conflicts: 1591000 | #Constraints: 130048
1871.80/1876.65 c #Conflicts: 1592000 | #Constraints: 131048
1871.80/1876.65 c #Conflicts: 1593000 | #Constraints: 132048
1871.80/1876.65 c #Conflicts: 1594000 | #Constraints: 133048
1871.80/1876.65 c #Conflicts: 1595000 | #Constraints: 134048
1871.80/1876.65 c #Conflicts: 1596000 | #Constraints: 135048
1871.80/1876.65 c #Conflicts: 1597000 | #Constraints: 136048
1871.80/1876.65 c #Conflicts: 1598000 | #Constraints: 137048
1871.80/1876.65 c #Conflicts: 1599000 | #Constraints: 138048
1871.80/1876.65 c #Conflicts: 1600000 | #Constraints: 139048
1871.80/1876.65 c #Conflicts: 1601000 | #Constraints: 140048
1871.80/1876.65 c #Conflicts: 1602000 | #Constraints: 141048
1871.80/1876.65 c #Conflicts: 1603000 | #Constraints: 142048
1871.80/1876.65 c #Conflicts: 1604000 | #Constraints: 143048
1871.80/1876.65 c #Conflicts: 1605000 | #Constraints: 144048
1871.80/1876.65 c #Conflicts: 1606000 | #Constraints: 145048
1871.80/1876.65 c #Conflicts: 1607000 | #Constraints: 146048
1871.80/1876.65 c #Conflicts: 1608000 | #Constraints: 147048
1871.80/1876.65 c #Conflicts: 1609000 | #Constraints: 148048
1871.80/1876.65 c #Conflicts: 1610000 | #Constraints: 149048
1871.80/1876.65 c #Conflicts: 1611000 | #Constraints: 150048
1871.80/1876.65 c #Conflicts: 1612000 | #Constraints: 151048
1871.80/1876.65 c #Conflicts: 1613000 | #Constraints: 152048
1871.80/1876.65 c #Conflicts: 1614000 | #Constraints: 153048
1871.80/1876.65 c #Conflicts: 1615000 | #Constraints: 154048
1871.80/1876.65 c #Conflicts: 1616000 | #Constraints: 155048
1871.80/1876.65 c #Conflicts: 1617000 | #Constraints: 156048
1871.80/1876.65 c #Conflicts: 1618000 | #Constraints: 157048
1871.80/1876.65 c INPROCESSING
1871.80/1876.65 c GARBAGE COLLECT
1871.80/1876.65 c #Conflicts: 1619000 | #Constraints: 82344
1871.80/1876.65 c #Conflicts: 1620000 | #Constraints: 83344
1871.80/1876.65 c #Conflicts: 1621000 | #Constraints: 84344
1871.80/1876.65 c #Conflicts: 1622000 | #Constraints: 85344
1871.80/1876.65 c #Conflicts: 1623000 | #Constraints: 86344
1871.80/1876.65 c #Conflicts: 1624000 | #Constraints: 87344
1871.80/1876.65 c #Conflicts: 1625000 | #Constraints: 88344
1871.80/1876.65 c #Conflicts: 1626000 | #Constraints: 89344
1871.80/1876.65 c #Conflicts: 1627000 | #Constraints: 90344
1871.80/1876.65 c #Conflicts: 1628000 | #Constraints: 91344
1871.80/1876.65 c #Conflicts: 1629000 | #Constraints: 92344
1871.80/1876.65 c #Conflicts: 1630000 | #Constraints: 93344
1871.80/1876.65 c #Conflicts: 1631000 | #Constraints: 94344
1871.80/1876.65 c #Conflicts: 1632000 | #Constraints: 95344
1871.80/1876.65 c #Conflicts: 1633000 | #Constraints: 96344
1871.80/1876.65 c #Conflicts: 1634000 | #Constraints: 97344
2118.54/2124.08 c #Conflicts: 1635000 | #Constraints: 98344
2118.54/2124.08 c #Conflicts: 1636000 | #Constraints: 99344
2118.54/2124.08 c #Conflicts: 1637000 | #Constraints: 100344
2118.54/2124.08 c #Conflicts: 1638000 | #Constraints: 101344
2118.54/2124.08 c #Conflicts: 1639000 | #Constraints: 102344
2118.54/2124.08 c #Conflicts: 1640000 | #Constraints: 103344
2118.54/2124.08 c #Conflicts: 1641000 | #Constraints: 104344
2118.54/2124.08 c #Conflicts: 1642000 | #Constraints: 105344
2118.54/2124.08 c #Conflicts: 1643000 | #Constraints: 106344
2118.54/2124.08 c #Conflicts: 1644000 | #Constraints: 107344
2118.54/2124.08 c INPROCESSING
2118.54/2124.08 c GARBAGE COLLECT
2118.54/2124.08 c #Conflicts: 1645000 | #Constraints: 57646
2118.54/2124.08 c #Conflicts: 1646000 | #Constraints: 58646
2118.54/2124.08 c #Conflicts: 1647000 | #Constraints: 59646
2118.54/2124.08 c #Conflicts: 1648000 | #Constraints: 60646
2118.54/2124.08 c #Conflicts: 1649000 | #Constraints: 61646
2118.54/2124.08 c #Conflicts: 1650000 | #Constraints: 62646
2118.54/2124.08 c #Conflicts: 1651000 | #Constraints: 63646
2118.54/2124.08 c #Conflicts: 1652000 | #Constraints: 64646
2118.54/2124.08 c #Conflicts: 1653000 | #Constraints: 65646
2118.54/2124.08 c #Conflicts: 1654000 | #Constraints: 66646
2118.54/2124.08 c #Conflicts: 1655000 | #Constraints: 67646
2118.54/2124.08 c #Conflicts: 1656000 | #Constraints: 68646
2118.54/2124.08 c #Conflicts: 1657000 | #Constraints: 69646
2118.54/2124.08 c #Conflicts: 1658000 | #Constraints: 70646
2118.54/2124.08 c #Conflicts: 1659000 | #Constraints: 71646
2118.54/2124.08 c #Conflicts: 1660000 | #Constraints: 72646
2118.54/2124.08 c #Conflicts: 1661000 | #Constraints: 73646
2118.54/2124.08 c #Conflicts: 1662000 | #Constraints: 74646
2118.54/2124.08 c #Conflicts: 1663000 | #Constraints: 75646
2118.54/2124.08 c #Conflicts: 1664000 | #Constraints: 76646
2118.54/2124.08 c #Conflicts: 1665000 | #Constraints: 77646
2118.54/2124.08 c #Conflicts: 1666000 | #Constraints: 78646
2118.54/2124.08 c #Conflicts: 1667000 | #Constraints: 79646
2118.54/2124.08 c #Conflicts: 1668000 | #Constraints: 80646
2118.54/2124.08 c #Conflicts: 1669000 | #Constraints: 81646
2118.54/2124.08 c #Conflicts: 1670000 | #Constraints: 82646
2118.54/2124.08 c INPROCESSING
2118.54/2124.08 c GARBAGE COLLECT
2118.54/2124.08 c #Conflicts: 1671000 | #Constraints: 45355
2118.54/2124.08 c #Conflicts: 1672000 | #Constraints: 46355
2118.54/2124.08 c #Conflicts: 1673000 | #Constraints: 47355
2118.54/2124.08 c #Conflicts: 1674000 | #Constraints: 48355
2118.54/2124.08 c #Conflicts: 1675000 | #Constraints: 49355
2118.54/2124.08 c #Conflicts: 1676000 | #Constraints: 50355
2118.54/2124.08 c #Conflicts: 1677000 | #Constraints: 51355
2118.54/2124.08 c #Conflicts: 1678000 | #Constraints: 52355
2118.54/2124.08 c #Conflicts: 1679000 | #Constraints: 53355
2118.54/2124.08 c #Conflicts: 1680000 | #Constraints: 54355
2118.54/2124.08 c #Conflicts: 1681000 | #Constraints: 55355
2118.54/2124.08 c #Conflicts: 1682000 | #Constraints: 56355
2118.54/2124.08 c #Conflicts: 1683000 | #Constraints: 57355
2118.54/2124.08 c #Conflicts: 1684000 | #Constraints: 58355
2118.54/2124.08 c #Conflicts: 1685000 | #Constraints: 59355
2118.54/2124.08 c #Conflicts: 1686000 | #Constraints: 60355
2118.54/2124.08 c #Conflicts: 1687000 | #Constraints: 61355
2118.54/2124.08 c #Conflicts: 1688000 | #Constraints: 62355
2118.54/2124.08 c #Conflicts: 1689000 | #Constraints: 63355
2118.54/2124.08 c #Conflicts: 1690000 | #Constraints: 64355
2118.54/2124.08 c #Conflicts: 1691000 | #Constraints: 65355
2118.54/2124.08 c #Conflicts: 1692000 | #Constraints: 66355
2118.54/2124.08 c #Conflicts: 1693000 | #Constraints: 67355
2118.54/2124.08 c #Conflicts: 1694000 | #Constraints: 68355
2118.54/2124.08 c #Conflicts: 1695000 | #Constraints: 69355
2118.54/2124.08 c #Conflicts: 1696000 | #Constraints: 70355
2118.54/2124.08 c INPROCESSING
2118.54/2124.08 c GARBAGE COLLECT
2118.54/2124.08 c #Conflicts: 1697000 | #Constraints: 39154
2118.54/2124.08 c #Conflicts: 1698000 | #Constraints: 40154
2118.54/2124.08 c #Conflicts: 1699000 | #Constraints: 41154
2118.54/2124.08 c #Conflicts: 1700000 | #Constraints: 42154
2118.54/2124.08 c #Conflicts: 1701000 | #Constraints: 43154
2118.54/2124.08 c #Conflicts: 1702000 | #Constraints: 44154
2118.54/2124.08 c #Conflicts: 1703000 | #Constraints: 45154
2118.54/2124.08 c #Conflicts: 1704000 | #Constraints: 46154
2118.54/2124.08 c #Conflicts: 1705000 | #Constraints: 47154
2118.54/2124.08 c #Conflicts: 1706000 | #Constraints: 48154
2118.54/2124.08 c #Conflicts: 1707000 | #Constraints: 49154
2118.54/2124.08 c #Conflicts: 1708000 | #Constraints: 50154
2118.54/2124.08 c #Conflicts: 1709000 | #Constraints: 51154
2118.54/2124.08 c #Conflicts: 1710000 | #Constraints: 52154
2118.54/2124.08 c #Conflicts: 1711000 | #Constraints: 53154
2484.46/2490.85 c #Conflicts: 1712000 | #Constraints: 54154
2484.46/2490.85 c #Conflicts: 1713000 | #Constraints: 55154
2484.46/2490.85 c #Conflicts: 1714000 | #Constraints: 56154
2484.46/2490.85 c #Conflicts: 1715000 | #Constraints: 57154
2484.46/2490.85 c #Conflicts: 1716000 | #Constraints: 58154
2484.46/2490.85 c #Conflicts: 1717000 | #Constraints: 59154
2484.46/2490.85 c #Conflicts: 1718000 | #Constraints: 60154
2484.46/2490.85 c #Conflicts: 1719000 | #Constraints: 61154
2484.46/2490.85 c #Conflicts: 1720000 | #Constraints: 62154
2484.46/2490.85 c #Conflicts: 1721000 | #Constraints: 63154
2484.46/2490.85 c #Conflicts: 1722000 | #Constraints: 64154
2484.46/2490.85 c #Conflicts: 1723000 | #Constraints: 65154
2484.46/2490.85 c #Conflicts: 1724000 | #Constraints: 66154
2484.46/2490.85 c #Conflicts: 1725000 | #Constraints: 67154
2484.46/2490.85 c #Conflicts: 1726000 | #Constraints: 68154
2484.46/2490.85 c #Conflicts: 1727000 | #Constraints: 69154
2484.46/2490.85 c #Conflicts: 1728000 | #Constraints: 70154
2484.46/2490.85 c #Conflicts: 1729000 | #Constraints: 71154
2484.46/2490.85 c #Conflicts: 1730000 | #Constraints: 72154
2484.46/2490.85 c #Conflicts: 1731000 | #Constraints: 73154
2484.46/2490.85 c #Conflicts: 1732000 | #Constraints: 74154
2484.46/2490.85 c #Conflicts: 1733000 | #Constraints: 75154
2484.46/2490.85 c #Conflicts: 1734000 | #Constraints: 76154
2484.46/2490.85 c #Conflicts: 1735000 | #Constraints: 77154
2484.46/2490.85 c #Conflicts: 1736000 | #Constraints: 78154
2484.46/2490.85 c #Conflicts: 1737000 | #Constraints: 79154
2484.46/2490.85 c #Conflicts: 1738000 | #Constraints: 80154
2484.46/2490.85 c #Conflicts: 1739000 | #Constraints: 81154
2484.46/2490.85 c #Conflicts: 1740000 | #Constraints: 82154
2484.46/2490.85 c #Conflicts: 1741000 | #Constraints: 83154
2484.46/2490.85 c #Conflicts: 1742000 | #Constraints: 84154
2484.46/2490.85 c #Conflicts: 1743000 | #Constraints: 85154
2484.46/2490.85 c #Conflicts: 1744000 | #Constraints: 86154
2484.46/2490.85 c #Conflicts: 1745000 | #Constraints: 87154
2484.46/2490.85 c #Conflicts: 1746000 | #Constraints: 88154
2484.46/2490.85 c #Conflicts: 1747000 | #Constraints: 89154
2484.46/2490.85 c #Conflicts: 1748000 | #Constraints: 90154
2484.46/2490.85 c #Conflicts: 1749000 | #Constraints: 91154
2484.46/2490.85 c #Conflicts: 1750000 | #Constraints: 92154
2484.46/2490.85 c #Conflicts: 1751000 | #Constraints: 93154
2484.46/2490.85 c #Conflicts: 1752000 | #Constraints: 94154
2484.46/2490.85 c #Conflicts: 1753000 | #Constraints: 95154
2484.46/2490.85 c #Conflicts: 1754000 | #Constraints: 96154
2484.46/2490.85 c #Conflicts: 1755000 | #Constraints: 97154
2484.46/2490.85 c #Conflicts: 1756000 | #Constraints: 98154
2484.46/2490.85 c #Conflicts: 1757000 | #Constraints: 99154
2484.46/2490.85 c #Conflicts: 1758000 | #Constraints: 100154
2484.46/2490.85 c #Conflicts: 1759000 | #Constraints: 101154
2484.46/2490.85 c #Conflicts: 1760000 | #Constraints: 102154
2484.46/2490.85 c #Conflicts: 1761000 | #Constraints: 103154
2484.46/2490.85 c #Conflicts: 1762000 | #Constraints: 104154
2484.46/2490.85 c #Conflicts: 1763000 | #Constraints: 105154
2484.46/2490.85 c #Conflicts: 1764000 | #Constraints: 106154
2484.46/2490.85 c #Conflicts: 1765000 | #Constraints: 107154
2484.46/2490.85 c #Conflicts: 1766000 | #Constraints: 108154
2484.46/2490.85 c #Conflicts: 1767000 | #Constraints: 109154
2484.46/2490.85 c #Conflicts: 1768000 | #Constraints: 110154
2484.46/2490.85 c #Conflicts: 1769000 | #Constraints: 111154
2484.46/2490.85 c #Conflicts: 1770000 | #Constraints: 112154
2484.46/2490.85 c #Conflicts: 1771000 | #Constraints: 113154
2484.46/2490.85 c #Conflicts: 1772000 | #Constraints: 114154
2484.46/2490.85 c #Conflicts: 1773000 | #Constraints: 115154
2484.46/2490.85 c #Conflicts: 1774000 | #Constraints: 116154
2484.46/2490.85 c #Conflicts: 1775000 | #Constraints: 117154
2484.46/2490.85 c #Conflicts: 1776000 | #Constraints: 118154
2484.46/2490.85 c #Conflicts: 1777000 | #Constraints: 119154
2484.46/2490.85 c #Conflicts: 1778000 | #Constraints: 120154
2484.46/2490.85 c #Conflicts: 1779000 | #Constraints: 121154
2484.46/2490.85 c #Conflicts: 1780000 | #Constraints: 122154
2484.46/2490.85 c #Conflicts: 1781000 | #Constraints: 123154
2484.46/2490.85 c #Conflicts: 1782000 | #Constraints: 124154
2484.46/2490.85 c #Conflicts: 1783000 | #Constraints: 125154
2484.46/2490.85 c #Conflicts: 1784000 | #Constraints: 126154
2484.46/2490.85 c #Conflicts: 1785000 | #Constraints: 127154
2484.46/2490.85 c #Conflicts: 1786000 | #Constraints: 128154
2484.46/2490.85 c #Conflicts: 1787000 | #Constraints: 129154
2484.46/2490.85 c #Conflicts: 1788000 | #Constraints: 130154
2484.46/2490.85 c #Conflicts: 1789000 | #Constraints: 131154
2484.46/2490.85 c #Conflicts: 1790000 | #Constraints: 132154
2927.53/2935.06 c #Conflicts: 1791000 | #Constraints: 133154
2927.53/2935.06 c #Conflicts: 1792000 | #Constraints: 134154
2927.53/2935.06 c #Conflicts: 1793000 | #Constraints: 135154
2927.53/2935.06 c #Conflicts: 1794000 | #Constraints: 136154
2927.53/2935.06 c #Conflicts: 1795000 | #Constraints: 137154
2927.53/2935.06 c #Conflicts: 1796000 | #Constraints: 138154
2927.53/2935.06 c #Conflicts: 1797000 | #Constraints: 139154
2927.53/2935.06 c #Conflicts: 1798000 | #Constraints: 140154
2927.53/2935.06 c #Conflicts: 1799000 | #Constraints: 141154
2927.53/2935.06 c #Conflicts: 1800000 | #Constraints: 142154
2927.53/2935.06 c #Conflicts: 1801000 | #Constraints: 143154
2927.53/2935.06 c #Conflicts: 1802000 | #Constraints: 144154
2927.53/2935.06 c #Conflicts: 1803000 | #Constraints: 145154
2927.53/2935.06 c #Conflicts: 1804000 | #Constraints: 146154
2927.53/2935.06 c #Conflicts: 1805000 | #Constraints: 147154
2927.53/2935.06 c #Conflicts: 1806000 | #Constraints: 148154
2927.53/2935.06 c #Conflicts: 1807000 | #Constraints: 149154
2927.53/2935.06 c #Conflicts: 1808000 | #Constraints: 150154
2927.53/2935.06 c #Conflicts: 1809000 | #Constraints: 151154
2927.53/2935.06 c #Conflicts: 1810000 | #Constraints: 152154
2927.53/2935.06 c #Conflicts: 1811000 | #Constraints: 153154
2927.53/2935.06 c #Conflicts: 1812000 | #Constraints: 154154
2927.53/2935.06 c #Conflicts: 1813000 | #Constraints: 155154
2927.53/2935.06 c #Conflicts: 1814000 | #Constraints: 156154
2927.53/2935.06 c #Conflicts: 1815000 | #Constraints: 157154
2927.53/2935.06 c #Conflicts: 1816000 | #Constraints: 158154
2927.53/2935.06 c #Conflicts: 1817000 | #Constraints: 159154
2927.53/2935.06 c #Conflicts: 1818000 | #Constraints: 160154
2927.53/2935.06 c #Conflicts: 1819000 | #Constraints: 161154
2927.53/2935.06 c #Conflicts: 1820000 | #Constraints: 162154
2927.53/2935.06 c #Conflicts: 1821000 | #Constraints: 163154
2927.53/2935.06 c #Conflicts: 1822000 | #Constraints: 164154
2927.53/2935.06 c #Conflicts: 1823000 | #Constraints: 165154
2927.53/2935.06 c #Conflicts: 1824000 | #Constraints: 166154
2927.53/2935.06 c #Conflicts: 1825000 | #Constraints: 167154
2927.53/2935.06 c #Conflicts: 1826000 | #Constraints: 168154
2927.53/2935.06 c #Conflicts: 1827000 | #Constraints: 169154
2927.53/2935.06 c #Conflicts: 1828000 | #Constraints: 170154
2927.53/2935.06 c #Conflicts: 1829000 | #Constraints: 171154
2927.53/2935.06 c INPROCESSING
2927.53/2935.06 c GARBAGE COLLECT
2927.53/2935.06 c #Conflicts: 1830000 | #Constraints: 89798
2927.53/2935.06 c #Conflicts: 1831000 | #Constraints: 90798
2927.53/2935.06 c #Conflicts: 1832000 | #Constraints: 91798
2927.53/2935.06 c #Conflicts: 1833000 | #Constraints: 92798
2927.53/2935.06 c #Conflicts: 1834000 | #Constraints: 93798
2927.53/2935.06 c #Conflicts: 1835000 | #Constraints: 94798
2927.53/2935.06 c #Conflicts: 1836000 | #Constraints: 95798
2927.53/2935.06 c #Conflicts: 1837000 | #Constraints: 96798
2927.53/2935.06 c #Conflicts: 1838000 | #Constraints: 97798
2927.53/2935.06 c #Conflicts: 1839000 | #Constraints: 98798
2927.53/2935.06 c #Conflicts: 1840000 | #Constraints: 99798
2927.53/2935.06 c #Conflicts: 1841000 | #Constraints: 100798
2927.53/2935.06 c #Conflicts: 1842000 | #Constraints: 101798
2927.53/2935.06 c #Conflicts: 1843000 | #Constraints: 102798
2927.53/2935.06 c #Conflicts: 1844000 | #Constraints: 103798
2927.53/2935.06 c #Conflicts: 1845000 | #Constraints: 104798
2927.53/2935.06 c #Conflicts: 1846000 | #Constraints: 105798
2927.53/2935.06 c #Conflicts: 1847000 | #Constraints: 106798
2927.53/2935.06 c #Conflicts: 1848000 | #Constraints: 107798
2927.53/2935.06 c #Conflicts: 1849000 | #Constraints: 108798
2927.53/2935.06 c #Conflicts: 1850000 | #Constraints: 109798
2927.53/2935.06 c #Conflicts: 1851000 | #Constraints: 110798
2927.53/2935.06 c #Conflicts: 1852000 | #Constraints: 111798
2927.53/2935.06 c #Conflicts: 1853000 | #Constraints: 112798
2927.53/2935.06 c #Conflicts: 1854000 | #Constraints: 113798
2927.53/2935.06 c #Conflicts: 1855000 | #Constraints: 114798
2927.53/2935.06 c #Conflicts: 1856000 | #Constraints: 115798
2927.53/2935.06 c INPROCESSING
2927.53/2935.06 c GARBAGE COLLECT
2927.53/2935.06 c #Conflicts: 1857000 | #Constraints: 61932
2927.53/2935.06 c #Conflicts: 1858000 | #Constraints: 62932
2927.53/2935.06 c #Conflicts: 1859000 | #Constraints: 63932
2927.53/2935.06 c #Conflicts: 1860000 | #Constraints: 64932
2927.53/2935.06 c #Conflicts: 1861000 | #Constraints: 65932
2927.53/2935.06 c #Conflicts: 1862000 | #Constraints: 66932
2927.53/2935.06 c #Conflicts: 1863000 | #Constraints: 67932
2927.53/2935.06 c #Conflicts: 1864000 | #Constraints: 68932
2927.53/2935.06 c #Conflicts: 1865000 | #Constraints: 69932
2927.53/2935.06 c #Conflicts: 1866000 | #Constraints: 70932
2927.53/2935.06 c #Conflicts: 1867000 | #Constraints: 71932
3086.50/3094.33 c #Conflicts: 1868000 | #Constraints: 72932
3086.50/3094.33 c #Conflicts: 1869000 | #Constraints: 73932
3086.50/3094.33 c #Conflicts: 1870000 | #Constraints: 74932
3086.50/3094.33 c #Conflicts: 1871000 | #Constraints: 75932
3086.50/3094.33 c #Conflicts: 1872000 | #Constraints: 76932
3086.50/3094.33 c #Conflicts: 1873000 | #Constraints: 77932
3086.50/3094.33 c #Conflicts: 1874000 | #Constraints: 78932
3086.50/3094.33 c #Conflicts: 1875000 | #Constraints: 79932
3086.50/3094.33 c #Conflicts: 1876000 | #Constraints: 80932
3086.50/3094.33 c #Conflicts: 1877000 | #Constraints: 81932
3086.50/3094.33 c #Conflicts: 1878000 | #Constraints: 82932
3086.50/3094.33 c #Conflicts: 1879000 | #Constraints: 83932
3086.50/3094.33 c #Conflicts: 1880000 | #Constraints: 84932
3086.50/3094.33 c #Conflicts: 1881000 | #Constraints: 85932
3086.50/3094.33 c #Conflicts: 1882000 | #Constraints: 86932
3086.50/3094.33 c #Conflicts: 1883000 | #Constraints: 87932
3086.50/3094.33 c #Conflicts: 1884000 | #Constraints: 88932
3086.50/3094.33 c INPROCESSING
3086.50/3094.33 c GARBAGE COLLECT
3086.50/3094.33 c #Conflicts: 1885000 | #Constraints: 48700
3086.50/3094.33 c #Conflicts: 1886000 | #Constraints: 49700
3086.50/3094.33 c #Conflicts: 1887000 | #Constraints: 50700
3086.50/3094.33 c #Conflicts: 1888000 | #Constraints: 51700
3086.50/3094.33 c #Conflicts: 1889000 | #Constraints: 52700
3086.50/3094.33 c #Conflicts: 1890000 | #Constraints: 53700
3086.50/3094.33 c #Conflicts: 1891000 | #Constraints: 54700
3086.50/3094.33 c #Conflicts: 1892000 | #Constraints: 55700
3086.50/3094.33 c #Conflicts: 1893000 | #Constraints: 56700
3086.50/3094.33 c #Conflicts: 1894000 | #Constraints: 57700
3086.50/3094.33 c #Conflicts: 1895000 | #Constraints: 58700
3086.50/3094.33 c #Conflicts: 1896000 | #Constraints: 59700
3086.50/3094.33 c #Conflicts: 1897000 | #Constraints: 60700
3086.50/3094.33 c #Conflicts: 1898000 | #Constraints: 61700
3086.50/3094.33 c #Conflicts: 1899000 | #Constraints: 62700
3086.50/3094.33 c #Conflicts: 1900000 | #Constraints: 63700
3086.50/3094.33 c #Conflicts: 1901000 | #Constraints: 64700
3086.50/3094.33 c #Conflicts: 1902000 | #Constraints: 65700
3086.50/3094.33 c #Conflicts: 1903000 | #Constraints: 66700
3086.50/3094.33 c #Conflicts: 1904000 | #Constraints: 67700
3086.50/3094.33 c #Conflicts: 1905000 | #Constraints: 68700
3086.50/3094.33 c #Conflicts: 1906000 | #Constraints: 69700
3086.50/3094.33 c #Conflicts: 1907000 | #Constraints: 70700
3086.50/3094.33 c #Conflicts: 1908000 | #Constraints: 71700
3086.50/3094.33 c #Conflicts: 1909000 | #Constraints: 72700
3086.50/3094.33 c #Conflicts: 1910000 | #Constraints: 73700
3086.50/3094.33 c #Conflicts: 1911000 | #Constraints: 74700
3086.50/3094.33 c INPROCESSING
3086.50/3094.33 c GARBAGE COLLECT
3086.50/3094.33 c #Conflicts: 1912000 | #Constraints: 41183
3086.50/3094.33 c #Conflicts: 1913000 | #Constraints: 42183
3086.50/3094.33 c #Conflicts: 1914000 | #Constraints: 43183
3086.50/3094.33 c #Conflicts: 1915000 | #Constraints: 44183
3086.50/3094.33 c #Conflicts: 1916000 | #Constraints: 45183
3086.50/3094.33 c #Conflicts: 1917000 | #Constraints: 46183
3086.50/3094.33 c #Conflicts: 1918000 | #Constraints: 47183
3086.50/3094.33 c #Conflicts: 1919000 | #Constraints: 48183
3086.50/3094.33 c #Conflicts: 1920000 | #Constraints: 49183
3086.50/3094.33 c #Conflicts: 1921000 | #Constraints: 50183
3086.50/3094.33 c #Conflicts: 1922000 | #Constraints: 51183
3086.50/3094.33 c #Conflicts: 1923000 | #Constraints: 52183
3086.50/3094.33 c #Conflicts: 1924000 | #Constraints: 53183
3086.50/3094.33 c #Conflicts: 1925000 | #Constraints: 54183
3086.50/3094.33 c #Conflicts: 1926000 | #Constraints: 55183
3086.50/3094.33 c #Conflicts: 1927000 | #Constraints: 56183
3086.50/3094.33 c #Conflicts: 1928000 | #Constraints: 57183
3086.50/3094.33 c #Conflicts: 1929000 | #Constraints: 58183
3086.50/3094.33 c #Conflicts: 1930000 | #Constraints: 59183
3086.50/3094.33 c #Conflicts: 1931000 | #Constraints: 60183
3086.50/3094.33 c #Conflicts: 1932000 | #Constraints: 61183
3086.50/3094.33 c #Conflicts: 1933000 | #Constraints: 62183
3086.50/3094.33 c #Conflicts: 1934000 | #Constraints: 63183
3086.50/3094.33 c #Conflicts: 1935000 | #Constraints: 64183
3086.50/3094.33 c #Conflicts: 1936000 | #Constraints: 65183
3086.50/3094.33 c #Conflicts: 1937000 | #Constraints: 66183
3086.50/3094.33 c #Conflicts: 1938000 | #Constraints: 67183
3086.50/3094.33 c #Conflicts: 1939000 | #Constraints: 68183
3086.50/3094.33 c #Conflicts: 1940000 | #Constraints: 69183
3086.50/3094.33 c #Conflicts: 1941000 | #Constraints: 70183
3086.50/3094.33 c #Conflicts: 1942000 | #Constraints: 71183
3086.50/3094.33 c #Conflicts: 1943000 | #Constraints: 72183
3086.50/3094.33 c #Conflicts: 1944000 | #Constraints: 73183
3086.50/3094.33 c #Conflicts: 1945000 | #Constraints: 74183
3168.24/3176.25 c #Conflicts: 1946000 | #Constraints: 75183
3168.24/3176.25 c #Conflicts: 1947000 | #Constraints: 76183
3168.24/3176.25 c #Conflicts: 1948000 | #Constraints: 77183
3168.24/3176.25 c #Conflicts: 1949000 | #Constraints: 78183
3168.24/3176.25 c #Conflicts: 1950000 | #Constraints: 79183
3168.24/3176.25 c #Conflicts: 1951000 | #Constraints: 80183
3168.24/3176.25 c #Conflicts: 1952000 | #Constraints: 81183
3168.24/3176.25 c #Conflicts: 1953000 | #Constraints: 82183
3168.24/3176.25 c #Conflicts: 1954000 | #Constraints: 83183
3168.24/3176.25 c #Conflicts: 1955000 | #Constraints: 84183
3168.24/3176.25 c #Conflicts: 1956000 | #Constraints: 85183
3168.24/3176.25 c #Conflicts: 1957000 | #Constraints: 86183
3168.24/3176.25 c #Conflicts: 1958000 | #Constraints: 87183
3168.24/3176.25 c #Conflicts: 1959000 | #Constraints: 88183
3168.24/3176.25 c #Conflicts: 1960000 | #Constraints: 89183
3168.24/3176.25 c #Conflicts: 1961000 | #Constraints: 90183
3168.24/3176.25 c bounds 6 >= 2 @ 3116.04
3168.24/3176.25 c #Conflicts: 1962000 | #Constraints: 91186
3168.24/3176.25 c #Conflicts: 1963000 | #Constraints: 92186
3168.24/3176.25 c #Conflicts: 1964000 | #Constraints: 93186
3168.24/3176.25 c #Conflicts: 1965000 | #Constraints: 94186
3168.24/3176.25 c #Conflicts: 1966000 | #Constraints: 95186
3168.24/3176.25 c #Conflicts: 1967000 | #Constraints: 96186
3168.24/3176.25 c #Conflicts: 1968000 | #Constraints: 97186
3168.24/3176.25 c #Conflicts: 1969000 | #Constraints: 98186
3168.24/3176.25 c #Conflicts: 1970000 | #Constraints: 99186
3168.24/3176.25 c #Conflicts: 1971000 | #Constraints: 100186
3168.24/3176.25 c #Conflicts: 1972000 | #Constraints: 101186
3168.24/3176.25 c #Conflicts: 1973000 | #Constraints: 102186
3168.24/3176.25 c #Conflicts: 1974000 | #Constraints: 103186
3168.24/3176.25 c #Conflicts: 1975000 | #Constraints: 104186
3168.24/3176.25 c #Conflicts: 1976000 | #Constraints: 105186
3168.24/3176.25 c #Conflicts: 1977000 | #Constraints: 106186
3168.24/3176.25 c #Conflicts: 1978000 | #Constraints: 107186
3168.24/3176.25 c #Conflicts: 1979000 | #Constraints: 108186
3168.24/3176.25 c #Conflicts: 1980000 | #Constraints: 109186
3168.24/3176.25 c #Conflicts: 1981000 | #Constraints: 110186
3168.24/3176.25 c #Conflicts: 1982000 | #Constraints: 111186
3168.24/3176.25 c #Conflicts: 1983000 | #Constraints: 112186
3168.24/3176.25 c #Conflicts: 1984000 | #Constraints: 113186
3168.24/3176.25 c #Conflicts: 1985000 | #Constraints: 114186
3168.24/3176.25 c #Conflicts: 1986000 | #Constraints: 115186
3168.24/3176.25 c #Conflicts: 1987000 | #Constraints: 116186
3168.24/3176.25 c #Conflicts: 1988000 | #Constraints: 117186
3168.24/3176.25 c #Conflicts: 1989000 | #Constraints: 118186
3168.24/3176.25 c #Conflicts: 1990000 | #Constraints: 119186
3168.24/3176.25 c #Conflicts: 1991000 | #Constraints: 120186
3168.24/3176.25 c #Conflicts: 1992000 | #Constraints: 121186
3168.24/3176.25 c #Conflicts: 1993000 | #Constraints: 122186
3168.24/3176.25 c #Conflicts: 1994000 | #Constraints: 123186
3168.24/3176.25 c #Conflicts: 1995000 | #Constraints: 124186
3168.24/3176.25 c #Conflicts: 1996000 | #Constraints: 125186
3168.24/3176.25 c #Conflicts: 1997000 | #Constraints: 126186
3168.24/3176.25 c #Conflicts: 1998000 | #Constraints: 127186
3168.24/3176.25 c #Conflicts: 1999000 | #Constraints: 128186
3168.24/3176.25 c #Conflicts: 2000000 | #Constraints: 129186
3168.24/3176.25 c #Conflicts: 2001000 | #Constraints: 130186
3168.24/3176.25 c #Conflicts: 2002000 | #Constraints: 131186
3168.24/3176.25 c #Conflicts: 2003000 | #Constraints: 132186
3168.24/3176.25 c #Conflicts: 2004000 | #Constraints: 133186
3168.24/3176.25 c #Conflicts: 2005000 | #Constraints: 134186
3168.24/3176.25 c #Conflicts: 2006000 | #Constraints: 135186
3168.24/3176.25 c #Conflicts: 2007000 | #Constraints: 136186
3168.24/3176.25 c #Conflicts: 2008000 | #Constraints: 137186
3168.24/3176.25 c #Conflicts: 2009000 | #Constraints: 138186
3168.24/3176.25 c #Conflicts: 2010000 | #Constraints: 139186
3168.24/3176.25 c #Conflicts: 2011000 | #Constraints: 140186
3168.24/3176.25 c #Conflicts: 2012000 | #Constraints: 141186
3168.24/3176.25 c #Conflicts: 2013000 | #Constraints: 142186
3168.24/3176.25 c #Conflicts: 2014000 | #Constraints: 143186
3168.24/3176.25 c #Conflicts: 2015000 | #Constraints: 144186
3168.24/3176.25 c #Conflicts: 2016000 | #Constraints: 145186
3168.24/3176.25 c #Conflicts: 2017000 | #Constraints: 146186
3168.24/3176.25 c #Conflicts: 2018000 | #Constraints: 147186
3168.24/3176.25 c #Conflicts: 2019000 | #Constraints: 148186
3168.24/3176.25 c #Conflicts: 2020000 | #Constraints: 149186
3168.24/3176.25 c #Conflicts: 2021000 | #Constraints: 150186
3168.24/3176.25 c #Conflicts: 2022000 | #Constraints: 151186
3168.24/3176.25 c #Conflicts: 2023000 | #Constraints: 152186
3244.19/3252.31 c #Conflicts: 2024000 | #Constraints: 153186
3244.19/3252.31 c #Conflicts: 2025000 | #Constraints: 154186
3244.19/3252.31 c #Conflicts: 2026000 | #Constraints: 155186
3244.19/3252.31 c #Conflicts: 2027000 | #Constraints: 156186
3244.19/3252.31 c #Conflicts: 2028000 | #Constraints: 157186
3244.19/3252.31 c #Conflicts: 2029000 | #Constraints: 158186
3244.19/3252.31 c #Conflicts: 2030000 | #Constraints: 159186
3244.19/3252.31 c #Conflicts: 2031000 | #Constraints: 160186
3244.19/3252.31 c #Conflicts: 2032000 | #Constraints: 161186
3244.19/3252.31 c #Conflicts: 2033000 | #Constraints: 162186
3244.19/3252.31 c #Conflicts: 2034000 | #Constraints: 163186
3244.19/3252.31 c #Conflicts: 2035000 | #Constraints: 164186
3244.19/3252.31 c #Conflicts: 2036000 | #Constraints: 165186
3244.19/3252.31 c #Conflicts: 2037000 | #Constraints: 166186
3244.19/3252.31 c #Conflicts: 2038000 | #Constraints: 167186
3244.19/3252.31 c #Conflicts: 2039000 | #Constraints: 168186
3244.19/3252.31 c #Conflicts: 2040000 | #Constraints: 169186
3244.19/3252.31 c #Conflicts: 2041000 | #Constraints: 170186
3244.19/3252.31 c #Conflicts: 2042000 | #Constraints: 171186
3244.19/3252.31 c #Conflicts: 2043000 | #Constraints: 172186
3244.19/3252.31 c #Conflicts: 2044000 | #Constraints: 173186
3244.19/3252.31 c #Conflicts: 2045000 | #Constraints: 174186
3244.19/3252.31 c #Conflicts: 2046000 | #Constraints: 175186
3244.19/3252.31 c #Conflicts: 2047000 | #Constraints: 176186
3244.19/3252.31 c #Conflicts: 2048000 | #Constraints: 177186
3244.19/3252.31 c #Conflicts: 2049000 | #Constraints: 178186
3244.19/3252.31 c INPROCESSING
3244.19/3252.31 c GARBAGE COLLECT
3244.19/3252.31 c #Conflicts: 2050000 | #Constraints: 72882
3244.19/3252.31 c #Conflicts: 2051000 | #Constraints: 73882
3244.19/3252.31 c #Conflicts: 2052000 | #Constraints: 74882
3244.19/3252.31 c #Conflicts: 2053000 | #Constraints: 75882
3244.19/3252.31 c #Conflicts: 2054000 | #Constraints: 76882
3244.19/3252.31 c #Conflicts: 2055000 | #Constraints: 77882
3244.19/3252.31 c #Conflicts: 2056000 | #Constraints: 78882
3244.19/3252.31 c #Conflicts: 2057000 | #Constraints: 79882
3244.19/3252.31 c #Conflicts: 2058000 | #Constraints: 80882
3244.19/3252.31 c #Conflicts: 2059000 | #Constraints: 81882
3244.19/3252.31 c #Conflicts: 2060000 | #Constraints: 82882
3244.19/3252.31 c #Conflicts: 2061000 | #Constraints: 83882
3244.19/3252.31 c #Conflicts: 2062000 | #Constraints: 84882
3244.19/3252.31 c #Conflicts: 2063000 | #Constraints: 85882
3244.19/3252.31 c #Conflicts: 2064000 | #Constraints: 86882
3244.19/3252.31 c #Conflicts: 2065000 | #Constraints: 87882
3244.19/3252.31 c #Conflicts: 2066000 | #Constraints: 88882
3244.19/3252.31 c #Conflicts: 2067000 | #Constraints: 89882
3244.19/3252.31 c #Conflicts: 2068000 | #Constraints: 90882
3244.19/3252.31 c #Conflicts: 2069000 | #Constraints: 91882
3244.19/3252.31 c #Conflicts: 2070000 | #Constraints: 92882
3244.19/3252.31 c #Conflicts: 2071000 | #Constraints: 93882
3244.19/3252.31 c #Conflicts: 2072000 | #Constraints: 94882
3244.19/3252.31 c #Conflicts: 2073000 | #Constraints: 95882
3244.19/3252.31 c #Conflicts: 2074000 | #Constraints: 96882
3244.19/3252.31 c #Conflicts: 2075000 | #Constraints: 97882
3244.19/3252.31 c #Conflicts: 2076000 | #Constraints: 98882
3244.19/3252.31 c #Conflicts: 2077000 | #Constraints: 99882
3244.19/3252.31 c #Conflicts: 2078000 | #Constraints: 100882
3244.19/3252.31 c INPROCESSING
3244.19/3252.31 c GARBAGE COLLECT
3244.19/3252.31 c #Conflicts: 2079000 | #Constraints: 54309
3244.19/3252.31 c #Conflicts: 2080000 | #Constraints: 55309
3244.19/3252.31 c #Conflicts: 2081000 | #Constraints: 56309
3244.19/3252.31 c #Conflicts: 2082000 | #Constraints: 57309
3244.19/3252.31 c #Conflicts: 2083000 | #Constraints: 58309
3244.19/3252.31 c #Conflicts: 2084000 | #Constraints: 59309
3244.19/3252.31 c #Conflicts: 2085000 | #Constraints: 60309
3244.19/3252.31 c #Conflicts: 2086000 | #Constraints: 61309
3244.19/3252.31 c #Conflicts: 2087000 | #Constraints: 62309
3244.19/3252.31 c #Conflicts: 2088000 | #Constraints: 63309
3244.19/3252.31 c #Conflicts: 2089000 | #Constraints: 64309
3244.19/3252.31 c #Conflicts: 2090000 | #Constraints: 65309
3244.19/3252.31 c #Conflicts: 2091000 | #Constraints: 66309
3244.19/3252.31 c #Conflicts: 2092000 | #Constraints: 67309
3244.19/3252.31 c #Conflicts: 2093000 | #Constraints: 68309
3244.19/3252.31 c #Conflicts: 2094000 | #Constraints: 69309
3244.19/3252.31 c #Conflicts: 2095000 | #Constraints: 70309
3244.19/3252.31 c #Conflicts: 2096000 | #Constraints: 71309
3244.19/3252.31 c #Conflicts: 2097000 | #Constraints: 72309
3244.19/3252.31 c #Conflicts: 2098000 | #Constraints: 73309
3244.19/3252.31 c #Conflicts: 2099000 | #Constraints: 74309
3244.19/3252.31 c #Conflicts: 2100000 | #Constraints: 75309
3291.20/3299.47 c #Conflicts: 2101000 | #Constraints: 76309
3291.20/3299.47 c #Conflicts: 2102000 | #Constraints: 77309
3291.20/3299.47 c #Conflicts: 2103000 | #Constraints: 78309
3291.20/3299.47 c #Conflicts: 2104000 | #Constraints: 79309
3291.20/3299.47 c #Conflicts: 2105000 | #Constraints: 80309
3291.20/3299.47 c #Conflicts: 2106000 | #Constraints: 81309
3291.20/3299.47 c #Conflicts: 2107000 | #Constraints: 82309
3291.20/3299.47 c #Conflicts: 2108000 | #Constraints: 83309
3291.20/3299.47 c INPROCESSING
3291.20/3299.47 c GARBAGE COLLECT
3291.20/3299.47 c #Conflicts: 2109000 | #Constraints: 45873
3291.20/3299.47 c #Conflicts: 2110000 | #Constraints: 46873
3291.20/3299.47 c #Conflicts: 2111000 | #Constraints: 47873
3291.20/3299.47 c #Conflicts: 2112000 | #Constraints: 48873
3291.20/3299.47 c #Conflicts: 2113000 | #Constraints: 49873
3291.20/3299.47 c #Conflicts: 2114000 | #Constraints: 50873
3291.20/3299.47 c #Conflicts: 2115000 | #Constraints: 51873
3291.20/3299.47 c #Conflicts: 2116000 | #Constraints: 52873
3291.20/3299.47 c #Conflicts: 2117000 | #Constraints: 53873
3291.20/3299.47 c #Conflicts: 2118000 | #Constraints: 54873
3291.20/3299.47 c #Conflicts: 2119000 | #Constraints: 55873
3291.20/3299.47 c #Conflicts: 2120000 | #Constraints: 56873
3291.20/3299.47 c #Conflicts: 2121000 | #Constraints: 57873
3291.20/3299.47 c #Conflicts: 2122000 | #Constraints: 58873
3291.20/3299.47 c #Conflicts: 2123000 | #Constraints: 59873
3291.20/3299.47 c #Conflicts: 2124000 | #Constraints: 60873
3291.20/3299.47 c #Conflicts: 2125000 | #Constraints: 61873
3291.20/3299.47 c #Conflicts: 2126000 | #Constraints: 62873
3291.20/3299.47 c #Conflicts: 2127000 | #Constraints: 63873
3291.20/3299.47 c #Conflicts: 2128000 | #Constraints: 64873
3291.20/3299.47 c #Conflicts: 2129000 | #Constraints: 65873
3291.20/3299.47 c #Conflicts: 2130000 | #Constraints: 66873
3291.20/3299.47 c #Conflicts: 2131000 | #Constraints: 67873
3291.20/3299.47 c #Conflicts: 2132000 | #Constraints: 68873
3291.20/3299.47 c #Conflicts: 2133000 | #Constraints: 69873
3291.20/3299.47 c #Conflicts: 2134000 | #Constraints: 70873
3291.20/3299.47 c #Conflicts: 2135000 | #Constraints: 71873
3291.20/3299.47 c #Conflicts: 2136000 | #Constraints: 72873
3291.20/3299.47 c #Conflicts: 2137000 | #Constraints: 73873
3291.20/3299.47 c INPROCESSING
3291.20/3299.47 c GARBAGE COLLECT
3291.20/3299.47 c #Conflicts: 2138000 | #Constraints: 40893
3291.20/3299.47 c #Conflicts: 2139000 | #Constraints: 41893
3291.20/3299.47 c #Conflicts: 2140000 | #Constraints: 42893
3291.20/3299.47 c #Conflicts: 2141000 | #Constraints: 43893
3291.20/3299.47 c #Conflicts: 2142000 | #Constraints: 44893
3291.20/3299.47 c #Conflicts: 2143000 | #Constraints: 45893
3291.20/3299.47 c #Conflicts: 2144000 | #Constraints: 46893
3291.20/3299.47 c #Conflicts: 2145000 | #Constraints: 47893
3291.20/3299.47 c #Conflicts: 2146000 | #Constraints: 48893
3291.20/3299.47 c #Conflicts: 2147000 | #Constraints: 49893
3291.20/3299.47 c #Conflicts: 2148000 | #Constraints: 50893
3291.20/3299.47 c #Conflicts: 2149000 | #Constraints: 51893
3291.20/3299.47 c #Conflicts: 2150000 | #Constraints: 52893
3291.20/3299.47 c #Conflicts: 2151000 | #Constraints: 53893
3291.20/3299.47 c #Conflicts: 2152000 | #Constraints: 54893
3291.20/3299.47 c #Conflicts: 2153000 | #Constraints: 55893
3291.20/3299.47 c #Conflicts: 2154000 | #Constraints: 56893
3291.20/3299.47 c #Conflicts: 2155000 | #Constraints: 57893
3291.20/3299.47 c #Conflicts: 2156000 | #Constraints: 58893
3291.20/3299.47 c #Conflicts: 2157000 | #Constraints: 59893
3291.20/3299.47 c #Conflicts: 2158000 | #Constraints: 60893
3291.20/3299.47 c #Conflicts: 2159000 | #Constraints: 61893
3291.20/3299.47 c #Conflicts: 2160000 | #Constraints: 62893
3291.20/3299.47 c #Conflicts: 2161000 | #Constraints: 63893
3291.20/3299.47 c #Conflicts: 2162000 | #Constraints: 64893
3291.20/3299.47 c #Conflicts: 2163000 | #Constraints: 65893
3291.20/3299.47 c #Conflicts: 2164000 | #Constraints: 66893
3291.20/3299.47 c #Conflicts: 2165000 | #Constraints: 67893
3291.20/3299.47 c #Conflicts: 2166000 | #Constraints: 68893
3291.20/3299.47 c #Conflicts: 2167000 | #Constraints: 69893
3291.20/3299.47 c INPROCESSING
3291.20/3299.47 c GARBAGE COLLECT
3291.20/3299.47 c #Conflicts: 2168000 | #Constraints: 39059
3291.20/3299.47 c #Conflicts: 2169000 | #Constraints: 40059
3291.20/3299.47 c #Conflicts: 2170000 | #Constraints: 41059
3291.20/3299.47 c #Conflicts: 2171000 | #Constraints: 42059
3291.20/3299.47 c #Conflicts: 2172000 | #Constraints: 43059
3291.20/3299.47 c #Conflicts: 2173000 | #Constraints: 44059
3291.20/3299.47 c #Conflicts: 2174000 | #Constraints: 45059
3291.20/3299.47 c #Conflicts: 2175000 | #Constraints: 46059
3291.20/3299.47 c #Conflicts: 2176000 | #Constraints: 47059
3291.20/3299.47 c #Conflicts: 2177000 | #Constraints: 48059
3334.41/3342.78 c #Conflicts: 2178000 | #Constraints: 49059
3334.41/3342.78 c #Conflicts: 2179000 | #Constraints: 50059
3334.41/3342.78 c #Conflicts: 2180000 | #Constraints: 51059
3334.41/3342.78 c #Conflicts: 2181000 | #Constraints: 52059
3334.41/3342.78 c #Conflicts: 2182000 | #Constraints: 53059
3334.41/3342.78 c #Conflicts: 2183000 | #Constraints: 54059
3334.41/3342.78 c #Conflicts: 2184000 | #Constraints: 55059
3334.41/3342.78 c #Conflicts: 2185000 | #Constraints: 56059
3334.41/3342.78 c #Conflicts: 2186000 | #Constraints: 57059
3334.41/3342.78 c #Conflicts: 2187000 | #Constraints: 58059
3334.41/3342.78 c #Conflicts: 2188000 | #Constraints: 59059
3334.41/3342.78 c #Conflicts: 2189000 | #Constraints: 60059
3334.41/3342.78 c #Conflicts: 2190000 | #Constraints: 61059
3334.41/3342.78 c #Conflicts: 2191000 | #Constraints: 62059
3334.41/3342.78 c #Conflicts: 2192000 | #Constraints: 63059
3334.41/3342.78 c #Conflicts: 2193000 | #Constraints: 64059
3334.41/3342.78 c #Conflicts: 2194000 | #Constraints: 65059
3334.41/3342.78 c #Conflicts: 2195000 | #Constraints: 66059
3334.41/3342.78 c #Conflicts: 2196000 | #Constraints: 67059
3334.41/3342.78 c #Conflicts: 2197000 | #Constraints: 68059
3334.41/3342.78 c INPROCESSING
3334.41/3342.78 c GARBAGE COLLECT
3334.41/3342.78 c #Conflicts: 2198000 | #Constraints: 38195
3334.41/3342.78 c #Conflicts: 2199000 | #Constraints: 39195
3334.41/3342.78 c #Conflicts: 2200000 | #Constraints: 40195
3334.41/3342.78 c #Conflicts: 2201000 | #Constraints: 41195
3334.41/3342.78 c #Conflicts: 2202000 | #Constraints: 42195
3334.41/3342.78 c #Conflicts: 2203000 | #Constraints: 43195
3334.41/3342.78 c #Conflicts: 2204000 | #Constraints: 44195
3334.41/3342.78 c #Conflicts: 2205000 | #Constraints: 45195
3334.41/3342.78 c #Conflicts: 2206000 | #Constraints: 46195
3334.41/3342.78 c #Conflicts: 2207000 | #Constraints: 47195
3334.41/3342.78 c #Conflicts: 2208000 | #Constraints: 48195
3334.41/3342.78 c #Conflicts: 2209000 | #Constraints: 49195
3334.41/3342.78 c #Conflicts: 2210000 | #Constraints: 50195
3334.41/3342.78 c #Conflicts: 2211000 | #Constraints: 51195
3334.41/3342.78 c #Conflicts: 2212000 | #Constraints: 52195
3334.41/3342.78 c #Conflicts: 2213000 | #Constraints: 53195
3334.41/3342.78 c #Conflicts: 2214000 | #Constraints: 54195
3334.41/3342.78 c #Conflicts: 2215000 | #Constraints: 55195
3334.41/3342.78 c #Conflicts: 2216000 | #Constraints: 56195
3334.41/3342.78 c #Conflicts: 2217000 | #Constraints: 57195
3334.41/3342.78 c #Conflicts: 2218000 | #Constraints: 58195
3334.41/3342.78 c #Conflicts: 2219000 | #Constraints: 59195
3334.41/3342.78 c #Conflicts: 2220000 | #Constraints: 60195
3334.41/3342.78 c #Conflicts: 2221000 | #Constraints: 61195
3334.41/3342.78 c #Conflicts: 2222000 | #Constraints: 62195
3334.41/3342.78 c #Conflicts: 2223000 | #Constraints: 63195
3334.41/3342.78 c #Conflicts: 2224000 | #Constraints: 64195
3334.41/3342.78 c #Conflicts: 2225000 | #Constraints: 65195
3334.41/3342.78 c #Conflicts: 2226000 | #Constraints: 66195
3334.41/3342.78 c #Conflicts: 2227000 | #Constraints: 67195
3334.41/3342.78 c INPROCESSING
3334.41/3342.78 c GARBAGE COLLECT
3334.41/3342.78 c #Conflicts: 2228000 | #Constraints: 37710
3334.41/3342.78 c #Conflicts: 2229000 | #Constraints: 38710
3334.41/3342.78 c #Conflicts: 2230000 | #Constraints: 39710
3334.41/3342.78 c #Conflicts: 2231000 | #Constraints: 40710
3334.41/3342.78 c #Conflicts: 2232000 | #Constraints: 41710
3334.41/3342.78 c #Conflicts: 2233000 | #Constraints: 42710
3334.41/3342.78 c #Conflicts: 2234000 | #Constraints: 43710
3334.41/3342.78 c #Conflicts: 2235000 | #Constraints: 44710
3334.41/3342.78 c #Conflicts: 2236000 | #Constraints: 45710
3334.41/3342.78 c #Conflicts: 2237000 | #Constraints: 46710
3334.41/3342.78 c #Conflicts: 2238000 | #Constraints: 47710
3334.41/3342.78 c #Conflicts: 2239000 | #Constraints: 48710
3334.41/3342.78 c #Conflicts: 2240000 | #Constraints: 49710
3334.41/3342.78 c #Conflicts: 2241000 | #Constraints: 50710
3334.41/3342.78 c #Conflicts: 2242000 | #Constraints: 51710
3334.41/3342.78 c #Conflicts: 2243000 | #Constraints: 52710
3334.41/3342.78 c #Conflicts: 2244000 | #Constraints: 53710
3334.41/3342.78 c #Conflicts: 2245000 | #Constraints: 54710
3334.41/3342.78 c #Conflicts: 2246000 | #Constraints: 55710
3334.41/3342.78 c #Conflicts: 2247000 | #Constraints: 56710
3334.41/3342.78 c #Conflicts: 2248000 | #Constraints: 57710
3334.41/3342.78 c #Conflicts: 2249000 | #Constraints: 58710
3334.41/3342.78 c #Conflicts: 2250000 | #Constraints: 59710
3334.41/3342.78 c #Conflicts: 2251000 | #Constraints: 60710
3334.41/3342.78 c #Conflicts: 2252000 | #Constraints: 61710
3334.41/3342.78 c #Conflicts: 2253000 | #Constraints: 62710
3334.41/3342.78 c #Conflicts: 2254000 | #Constraints: 63710
3334.41/3342.78 c #Conflicts: 2255000 | #Constraints: 64710
3378.31/3386.74 c #Conflicts: 2256000 | #Constraints: 65710
3378.31/3386.74 c #Conflicts: 2257000 | #Constraints: 66710
3378.31/3386.74 c INPROCESSING
3378.31/3386.74 c GARBAGE COLLECT
3378.31/3386.74 c #Conflicts: 2258000 | #Constraints: 37308
3378.31/3386.74 c #Conflicts: 2259000 | #Constraints: 38308
3378.31/3386.74 c #Conflicts: 2260000 | #Constraints: 39308
3378.31/3386.74 c #Conflicts: 2261000 | #Constraints: 40308
3378.31/3386.74 c #Conflicts: 2262000 | #Constraints: 41308
3378.31/3386.74 c #Conflicts: 2263000 | #Constraints: 42308
3378.31/3386.74 c #Conflicts: 2264000 | #Constraints: 43308
3378.31/3386.74 c #Conflicts: 2265000 | #Constraints: 44308
3378.31/3386.74 c #Conflicts: 2266000 | #Constraints: 45308
3378.31/3386.74 c #Conflicts: 2267000 | #Constraints: 46308
3378.31/3386.74 c #Conflicts: 2268000 | #Constraints: 47308
3378.31/3386.74 c #Conflicts: 2269000 | #Constraints: 48308
3378.31/3386.74 c #Conflicts: 2270000 | #Constraints: 49308
3378.31/3386.74 c #Conflicts: 2271000 | #Constraints: 50308
3378.31/3386.74 c #Conflicts: 2272000 | #Constraints: 51308
3378.31/3386.74 c #Conflicts: 2273000 | #Constraints: 52308
3378.31/3386.74 c #Conflicts: 2274000 | #Constraints: 53308
3378.31/3386.74 c #Conflicts: 2275000 | #Constraints: 54308
3378.31/3386.74 c #Conflicts: 2276000 | #Constraints: 55308
3378.31/3386.74 c #Conflicts: 2277000 | #Constraints: 56308
3378.31/3386.74 c #Conflicts: 2278000 | #Constraints: 57308
3378.31/3386.74 c #Conflicts: 2279000 | #Constraints: 58308
3378.31/3386.74 c #Conflicts: 2280000 | #Constraints: 59308
3378.31/3386.74 c #Conflicts: 2281000 | #Constraints: 60308
3378.31/3386.74 c #Conflicts: 2282000 | #Constraints: 61308
3378.31/3386.74 c #Conflicts: 2283000 | #Constraints: 62308
3378.31/3386.74 c #Conflicts: 2284000 | #Constraints: 63308
3378.31/3386.74 c #Conflicts: 2285000 | #Constraints: 64308
3378.31/3386.74 c #Conflicts: 2286000 | #Constraints: 65308
3378.31/3386.74 c #Conflicts: 2287000 | #Constraints: 66308
3378.31/3386.74 c #Conflicts: 2288000 | #Constraints: 67308
3378.31/3386.74 c INPROCESSING
3378.31/3386.74 c GARBAGE COLLECT
3378.31/3386.74 c #Conflicts: 2289000 | #Constraints: 37860
3378.31/3386.74 c #Conflicts: 2290000 | #Constraints: 38860
3378.31/3386.74 c #Conflicts: 2291000 | #Constraints: 39860
3378.31/3386.74 c #Conflicts: 2292000 | #Constraints: 40860
3378.31/3386.74 c #Conflicts: 2293000 | #Constraints: 41860
3378.31/3386.74 c #Conflicts: 2294000 | #Constraints: 42860
3378.31/3386.74 c #Conflicts: 2295000 | #Constraints: 43860
3378.31/3386.74 c #Conflicts: 2296000 | #Constraints: 44860
3378.31/3386.74 c #Conflicts: 2297000 | #Constraints: 45860
3378.31/3386.74 c #Conflicts: 2298000 | #Constraints: 46860
3378.31/3386.74 c #Conflicts: 2299000 | #Constraints: 47860
3378.31/3386.74 c #Conflicts: 2300000 | #Constraints: 48860
3378.31/3386.74 c #Conflicts: 2301000 | #Constraints: 49860
3378.31/3386.74 c #Conflicts: 2302000 | #Constraints: 50860
3378.31/3386.74 c #Conflicts: 2303000 | #Constraints: 51860
3378.31/3386.74 c #Conflicts: 2304000 | #Constraints: 52860
3378.31/3386.74 c #Conflicts: 2305000 | #Constraints: 53860
3378.31/3386.74 c #Conflicts: 2306000 | #Constraints: 54860
3378.31/3386.74 c #Conflicts: 2307000 | #Constraints: 55860
3378.31/3386.74 c #Conflicts: 2308000 | #Constraints: 56860
3378.31/3386.74 c #Conflicts: 2309000 | #Constraints: 57860
3378.31/3386.74 c #Conflicts: 2310000 | #Constraints: 58860
3378.31/3386.74 c #Conflicts: 2311000 | #Constraints: 59860
3378.31/3386.74 c #Conflicts: 2312000 | #Constraints: 60860
3378.31/3386.74 c #Conflicts: 2313000 | #Constraints: 61860
3378.31/3386.74 c #Conflicts: 2314000 | #Constraints: 62860
3378.31/3386.74 c #Conflicts: 2315000 | #Constraints: 63860
3378.31/3386.74 c #Conflicts: 2316000 | #Constraints: 64860
3378.31/3386.74 c #Conflicts: 2317000 | #Constraints: 65860
3378.31/3386.74 c #Conflicts: 2318000 | #Constraints: 66860
3378.31/3386.74 c INPROCESSING
3378.31/3386.74 c GARBAGE COLLECT
3378.31/3386.74 c #Conflicts: 2319000 | #Constraints: 37292
3378.31/3386.74 c #Conflicts: 2320000 | #Constraints: 38292
3378.31/3386.74 c #Conflicts: 2321000 | #Constraints: 39292
3378.31/3386.74 c #Conflicts: 2322000 | #Constraints: 40292
3378.31/3386.74 c #Conflicts: 2323000 | #Constraints: 41292
3378.31/3386.74 c #Conflicts: 2324000 | #Constraints: 42292
3378.31/3386.74 c #Conflicts: 2325000 | #Constraints: 43292
3378.31/3386.74 c #Conflicts: 2326000 | #Constraints: 44292
3378.31/3386.74 c #Conflicts: 2327000 | #Constraints: 45292
3378.31/3386.74 c #Conflicts: 2328000 | #Constraints: 46292
3378.31/3386.74 c #Conflicts: 2329000 | #Constraints: 47292
3378.31/3386.74 c #Conflicts: 2330000 | #Constraints: 48292
3378.31/3386.74 c #Conflicts: 2331000 | #Constraints: 49292
3378.31/3386.74 c #Conflicts: 2332000 | #Constraints: 50292
3423.00/3431.51 c #Conflicts: 2333000 | #Constraints: 51292
3423.00/3431.51 c #Conflicts: 2334000 | #Constraints: 52292
3423.00/3431.51 c #Conflicts: 2335000 | #Constraints: 53292
3423.00/3431.51 c #Conflicts: 2336000 | #Constraints: 54292
3423.00/3431.51 c #Conflicts: 2337000 | #Constraints: 55292
3423.00/3431.51 c #Conflicts: 2338000 | #Constraints: 56292
3423.00/3431.51 c #Conflicts: 2339000 | #Constraints: 57292
3423.00/3431.51 c #Conflicts: 2340000 | #Constraints: 58292
3423.00/3431.51 c #Conflicts: 2341000 | #Constraints: 59292
3423.00/3431.51 c #Conflicts: 2342000 | #Constraints: 60292
3423.00/3431.51 c #Conflicts: 2343000 | #Constraints: 61292
3423.00/3431.51 c #Conflicts: 2344000 | #Constraints: 62292
3423.00/3431.51 c #Conflicts: 2345000 | #Constraints: 63292
3423.00/3431.51 c #Conflicts: 2346000 | #Constraints: 64292
3423.00/3431.51 c #Conflicts: 2347000 | #Constraints: 65292
3423.00/3431.51 c #Conflicts: 2348000 | #Constraints: 66292
3423.00/3431.51 c #Conflicts: 2349000 | #Constraints: 67292
3423.00/3431.51 c INPROCESSING
3423.00/3431.51 c GARBAGE COLLECT
3423.00/3431.51 c #Conflicts: 2350000 | #Constraints: 37555
3423.00/3431.51 c #Conflicts: 2351000 | #Constraints: 38555
3423.00/3431.51 c #Conflicts: 2352000 | #Constraints: 39555
3423.00/3431.51 c #Conflicts: 2353000 | #Constraints: 40555
3423.00/3431.51 c #Conflicts: 2354000 | #Constraints: 41555
3423.00/3431.51 c #Conflicts: 2355000 | #Constraints: 42555
3423.00/3431.51 c #Conflicts: 2356000 | #Constraints: 43555
3423.00/3431.51 c #Conflicts: 2357000 | #Constraints: 44555
3423.00/3431.51 c #Conflicts: 2358000 | #Constraints: 45555
3423.00/3431.51 c #Conflicts: 2359000 | #Constraints: 46555
3423.00/3431.51 c #Conflicts: 2360000 | #Constraints: 47555
3423.00/3431.51 c #Conflicts: 2361000 | #Constraints: 48555
3423.00/3431.51 c #Conflicts: 2362000 | #Constraints: 49555
3423.00/3431.51 c #Conflicts: 2363000 | #Constraints: 50555
3423.00/3431.51 c #Conflicts: 2364000 | #Constraints: 51555
3423.00/3431.51 c #Conflicts: 2365000 | #Constraints: 52555
3423.00/3431.51 c #Conflicts: 2366000 | #Constraints: 53555
3423.00/3431.51 c #Conflicts: 2367000 | #Constraints: 54555
3423.00/3431.51 c #Conflicts: 2368000 | #Constraints: 55555
3423.00/3431.51 c #Conflicts: 2369000 | #Constraints: 56555
3423.00/3431.51 c #Conflicts: 2370000 | #Constraints: 57555
3423.00/3431.51 c #Conflicts: 2371000 | #Constraints: 58555
3423.00/3431.51 c #Conflicts: 2372000 | #Constraints: 59555
3423.00/3431.51 c #Conflicts: 2373000 | #Constraints: 60555
3423.00/3431.51 c #Conflicts: 2374000 | #Constraints: 61555
3423.00/3431.51 c #Conflicts: 2375000 | #Constraints: 62555
3423.00/3431.51 c #Conflicts: 2376000 | #Constraints: 63555
3423.00/3431.51 c #Conflicts: 2377000 | #Constraints: 64555
3423.00/3431.51 c #Conflicts: 2378000 | #Constraints: 65555
3423.00/3431.51 c #Conflicts: 2379000 | #Constraints: 66555
3423.00/3431.51 c #Conflicts: 2380000 | #Constraints: 67555
3423.00/3431.51 c INPROCESSING
3423.00/3431.51 c GARBAGE COLLECT
3423.00/3431.51 c #Conflicts: 2381000 | #Constraints: 37642
3423.00/3431.51 c #Conflicts: 2382000 | #Constraints: 38642
3423.00/3431.51 c #Conflicts: 2383000 | #Constraints: 39642
3423.00/3431.51 c #Conflicts: 2384000 | #Constraints: 40642
3423.00/3431.51 c #Conflicts: 2385000 | #Constraints: 41642
3423.00/3431.51 c #Conflicts: 2386000 | #Constraints: 42642
3423.00/3431.51 c #Conflicts: 2387000 | #Constraints: 43642
3423.00/3431.51 c #Conflicts: 2388000 | #Constraints: 44642
3423.00/3431.51 c #Conflicts: 2389000 | #Constraints: 45642
3423.00/3431.51 c #Conflicts: 2390000 | #Constraints: 46642
3423.00/3431.51 c #Conflicts: 2391000 | #Constraints: 47642
3423.00/3431.51 c #Conflicts: 2392000 | #Constraints: 48642
3423.00/3431.51 c #Conflicts: 2393000 | #Constraints: 49642
3423.00/3431.51 c #Conflicts: 2394000 | #Constraints: 50642
3423.00/3431.51 c #Conflicts: 2395000 | #Constraints: 51642
3423.00/3431.51 c #Conflicts: 2396000 | #Constraints: 52642
3423.00/3431.51 c #Conflicts: 2397000 | #Constraints: 53642
3423.00/3431.51 c #Conflicts: 2398000 | #Constraints: 54642
3423.00/3431.51 c #Conflicts: 2399000 | #Constraints: 55642
3423.00/3431.51 c #Conflicts: 2400000 | #Constraints: 56642
3423.00/3431.51 c #Conflicts: 2401000 | #Constraints: 57642
3423.00/3431.51 c #Conflicts: 2402000 | #Constraints: 58642
3423.00/3431.51 c #Conflicts: 2403000 | #Constraints: 59642
3423.00/3431.51 c #Conflicts: 2404000 | #Constraints: 60642
3423.00/3431.51 c #Conflicts: 2405000 | #Constraints: 61642
3423.00/3431.51 c #Conflicts: 2406000 | #Constraints: 62642
3423.00/3431.51 c #Conflicts: 2407000 | #Constraints: 63642
3423.00/3431.51 c #Conflicts: 2408000 | #Constraints: 64642
3423.00/3431.51 c #Conflicts: 2409000 | #Constraints: 65642
3464.90/3473.59 c #Conflicts: 2410000 | #Constraints: 66642
3464.90/3473.59 c #Conflicts: 2411000 | #Constraints: 67642
3464.90/3473.59 c #Conflicts: 2412000 | #Constraints: 68642
3464.90/3473.59 c INPROCESSING
3464.90/3473.59 c GARBAGE COLLECT
3464.90/3473.59 c #Conflicts: 2413000 | #Constraints: 38534
3464.90/3473.59 c #Conflicts: 2414000 | #Constraints: 39534
3464.90/3473.59 c #Conflicts: 2415000 | #Constraints: 40534
3464.90/3473.59 c #Conflicts: 2416000 | #Constraints: 41534
3464.90/3473.59 c #Conflicts: 2417000 | #Constraints: 42534
3464.90/3473.59 c #Conflicts: 2418000 | #Constraints: 43534
3464.90/3473.59 c #Conflicts: 2419000 | #Constraints: 44534
3464.90/3473.59 c #Conflicts: 2420000 | #Constraints: 45534
3464.90/3473.59 c #Conflicts: 2421000 | #Constraints: 46534
3464.90/3473.59 c #Conflicts: 2422000 | #Constraints: 47534
3464.90/3473.59 c #Conflicts: 2423000 | #Constraints: 48534
3464.90/3473.59 c #Conflicts: 2424000 | #Constraints: 49534
3464.90/3473.59 c #Conflicts: 2425000 | #Constraints: 50534
3464.90/3473.59 c #Conflicts: 2426000 | #Constraints: 51534
3464.90/3473.59 c #Conflicts: 2427000 | #Constraints: 52534
3464.90/3473.59 c #Conflicts: 2428000 | #Constraints: 53534
3464.90/3473.59 c #Conflicts: 2429000 | #Constraints: 54534
3464.90/3473.59 c #Conflicts: 2430000 | #Constraints: 55534
3464.90/3473.59 c #Conflicts: 2431000 | #Constraints: 56534
3464.90/3473.59 c #Conflicts: 2432000 | #Constraints: 57534
3464.90/3473.59 c #Conflicts: 2433000 | #Constraints: 58534
3464.90/3473.59 c #Conflicts: 2434000 | #Constraints: 59534
3464.90/3473.59 c #Conflicts: 2435000 | #Constraints: 60534
3464.90/3473.59 c #Conflicts: 2436000 | #Constraints: 61534
3464.90/3473.59 c #Conflicts: 2437000 | #Constraints: 62534
3464.90/3473.59 c #Conflicts: 2438000 | #Constraints: 63534
3464.90/3473.59 c #Conflicts: 2439000 | #Constraints: 64534
3464.90/3473.59 c #Conflicts: 2440000 | #Constraints: 65534
3464.90/3473.59 c #Conflicts: 2441000 | #Constraints: 66534
3464.90/3473.59 c #Conflicts: 2442000 | #Constraints: 67534
3464.90/3473.59 c #Conflicts: 2443000 | #Constraints: 68534
3464.90/3473.59 c INPROCESSING
3464.90/3473.59 c GARBAGE COLLECT
3464.90/3473.59 c #Conflicts: 2444000 | #Constraints: 38220
3464.90/3473.59 c #Conflicts: 2445000 | #Constraints: 39220
3464.90/3473.59 c #Conflicts: 2446000 | #Constraints: 40220
3464.90/3473.59 c #Conflicts: 2447000 | #Constraints: 41220
3464.90/3473.59 c #Conflicts: 2448000 | #Constraints: 42220
3464.90/3473.59 c #Conflicts: 2449000 | #Constraints: 43220
3464.90/3473.59 c #Conflicts: 2450000 | #Constraints: 44220
3464.90/3473.59 c #Conflicts: 2451000 | #Constraints: 45220
3464.90/3473.59 c #Conflicts: 2452000 | #Constraints: 46220
3464.90/3473.59 c #Conflicts: 2453000 | #Constraints: 47220
3464.90/3473.59 c #Conflicts: 2454000 | #Constraints: 48220
3464.90/3473.59 c #Conflicts: 2455000 | #Constraints: 49220
3464.90/3473.59 c #Conflicts: 2456000 | #Constraints: 50220
3464.90/3473.59 c #Conflicts: 2457000 | #Constraints: 51220
3464.90/3473.59 c #Conflicts: 2458000 | #Constraints: 52220
3464.90/3473.59 c #Conflicts: 2459000 | #Constraints: 53220
3464.90/3473.59 c #Conflicts: 2460000 | #Constraints: 54220
3464.90/3473.59 c #Conflicts: 2461000 | #Constraints: 55220
3464.90/3473.59 c #Conflicts: 2462000 | #Constraints: 56220
3464.90/3473.59 c #Conflicts: 2463000 | #Constraints: 57220
3464.90/3473.59 c #Conflicts: 2464000 | #Constraints: 58220
3464.90/3473.59 c #Conflicts: 2465000 | #Constraints: 59220
3464.90/3473.59 c #Conflicts: 2466000 | #Constraints: 60220
3464.90/3473.59 c #Conflicts: 2467000 | #Constraints: 61220
3464.90/3473.59 c #Conflicts: 2468000 | #Constraints: 62220
3464.90/3473.59 c #Conflicts: 2469000 | #Constraints: 63220
3464.90/3473.59 c #Conflicts: 2470000 | #Constraints: 64220
3464.90/3473.59 c #Conflicts: 2471000 | #Constraints: 65220
3464.90/3473.59 c #Conflicts: 2472000 | #Constraints: 66220
3464.90/3473.59 c #Conflicts: 2473000 | #Constraints: 67220
3464.90/3473.59 c #Conflicts: 2474000 | #Constraints: 68220
3464.90/3473.59 c #Conflicts: 2475000 | #Constraints: 69220
3464.90/3473.59 c INPROCESSING
3464.90/3473.59 c GARBAGE COLLECT
3464.90/3473.59 c #Conflicts: 2476000 | #Constraints: 38711
3464.90/3473.59 c #Conflicts: 2477000 | #Constraints: 39711
3464.90/3473.59 c #Conflicts: 2478000 | #Constraints: 40711
3464.90/3473.59 c #Conflicts: 2479000 | #Constraints: 41711
3464.90/3473.59 c #Conflicts: 2480000 | #Constraints: 42711
3464.90/3473.59 c #Conflicts: 2481000 | #Constraints: 43711
3464.90/3473.59 c #Conflicts: 2482000 | #Constraints: 44711
3464.90/3473.59 c #Conflicts: 2483000 | #Constraints: 45711
3464.90/3473.59 c #Conflicts: 2484000 | #Constraints: 46711
3464.90/3473.59 c #Conflicts: 2485000 | #Constraints: 47711
3464.90/3473.59 c #Conflicts: 2486000 | #Constraints: 48711
3519.87/3528.63 c #Conflicts: 2487000 | #Constraints: 49711
3519.87/3528.63 c #Conflicts: 2488000 | #Constraints: 50711
3519.87/3528.63 c #Conflicts: 2489000 | #Constraints: 51711
3519.87/3528.63 c #Conflicts: 2490000 | #Constraints: 52711
3519.87/3528.63 c #Conflicts: 2491000 | #Constraints: 53711
3519.87/3528.63 c #Conflicts: 2492000 | #Constraints: 54711
3519.87/3528.63 c #Conflicts: 2493000 | #Constraints: 55711
3519.87/3528.63 c #Conflicts: 2494000 | #Constraints: 56711
3519.87/3528.63 c #Conflicts: 2495000 | #Constraints: 57711
3519.87/3528.63 c #Conflicts: 2496000 | #Constraints: 58711
3519.87/3528.63 c #Conflicts: 2497000 | #Constraints: 59711
3519.87/3528.63 c #Conflicts: 2498000 | #Constraints: 60711
3519.87/3528.63 c #Conflicts: 2499000 | #Constraints: 61711
3519.87/3528.63 c #Conflicts: 2500000 | #Constraints: 62711
3519.87/3528.63 c #Conflicts: 2501000 | #Constraints: 63711
3519.87/3528.63 c #Conflicts: 2502000 | #Constraints: 64711
3519.87/3528.63 c #Conflicts: 2503000 | #Constraints: 65711
3519.87/3528.63 c #Conflicts: 2504000 | #Constraints: 66711
3519.87/3528.63 c #Conflicts: 2505000 | #Constraints: 67711
3519.87/3528.63 c #Conflicts: 2506000 | #Constraints: 68711
3519.87/3528.63 c #Conflicts: 2507000 | #Constraints: 69711
3519.87/3528.63 c INPROCESSING
3519.87/3528.63 c GARBAGE COLLECT
3519.87/3528.63 c #Conflicts: 2508000 | #Constraints: 39011
3519.87/3528.63 c #Conflicts: 2509000 | #Constraints: 40011
3519.87/3528.63 c #Conflicts: 2510000 | #Constraints: 41011
3519.87/3528.63 c #Conflicts: 2511000 | #Constraints: 42011
3519.87/3528.63 c #Conflicts: 2512000 | #Constraints: 43011
3519.87/3528.63 c #Conflicts: 2513000 | #Constraints: 44011
3519.87/3528.63 c #Conflicts: 2514000 | #Constraints: 45011
3519.87/3528.63 c #Conflicts: 2515000 | #Constraints: 46011
3519.87/3528.63 c #Conflicts: 2516000 | #Constraints: 47011
3519.87/3528.63 c #Conflicts: 2517000 | #Constraints: 48011
3519.87/3528.63 c #Conflicts: 2518000 | #Constraints: 49011
3519.87/3528.63 c #Conflicts: 2519000 | #Constraints: 50011
3519.87/3528.63 c #Conflicts: 2520000 | #Constraints: 51011
3519.87/3528.63 c #Conflicts: 2521000 | #Constraints: 52011
3519.87/3528.63 c #Conflicts: 2522000 | #Constraints: 53011
3519.87/3528.63 c #Conflicts: 2523000 | #Constraints: 54011
3519.87/3528.63 c #Conflicts: 2524000 | #Constraints: 55011
3519.87/3528.63 c #Conflicts: 2525000 | #Constraints: 56011
3519.87/3528.63 c #Conflicts: 2526000 | #Constraints: 57011
3519.87/3528.63 c #Conflicts: 2527000 | #Constraints: 58011
3519.87/3528.63 c #Conflicts: 2528000 | #Constraints: 59011
3519.87/3528.63 c #Conflicts: 2529000 | #Constraints: 60011
3519.87/3528.63 c #Conflicts: 2530000 | #Constraints: 61011
3519.87/3528.63 c #Conflicts: 2531000 | #Constraints: 62011
3519.87/3528.63 c #Conflicts: 2532000 | #Constraints: 63011
3519.87/3528.63 c #Conflicts: 2533000 | #Constraints: 64011
3519.87/3528.63 c #Conflicts: 2534000 | #Constraints: 65011
3519.87/3528.63 c #Conflicts: 2535000 | #Constraints: 66011
3519.87/3528.63 c #Conflicts: 2536000 | #Constraints: 67011
3519.87/3528.63 c #Conflicts: 2537000 | #Constraints: 68011
3519.87/3528.63 c #Conflicts: 2538000 | #Constraints: 69011
3519.87/3528.63 c #Conflicts: 2539000 | #Constraints: 70011
3519.87/3528.63 c INPROCESSING
3519.87/3528.63 c GARBAGE COLLECT
3519.87/3528.63 c #Conflicts: 2540000 | #Constraints: 39111
3519.87/3528.63 c #Conflicts: 2541000 | #Constraints: 40111
3519.87/3528.63 c #Conflicts: 2542000 | #Constraints: 41111
3519.87/3528.63 c #Conflicts: 2543000 | #Constraints: 42111
3519.87/3528.63 c #Conflicts: 2544000 | #Constraints: 43111
3519.87/3528.63 c #Conflicts: 2545000 | #Constraints: 44111
3519.87/3528.63 c #Conflicts: 2546000 | #Constraints: 45111
3519.87/3528.63 c #Conflicts: 2547000 | #Constraints: 46111
3519.87/3528.63 c #Conflicts: 2548000 | #Constraints: 47111
3519.87/3528.63 c #Conflicts: 2549000 | #Constraints: 48111
3519.87/3528.63 c #Conflicts: 2550000 | #Constraints: 49111
3519.87/3528.63 c #Conflicts: 2551000 | #Constraints: 50111
3519.87/3528.63 c #Conflicts: 2552000 | #Constraints: 51111
3519.87/3528.63 c #Conflicts: 2553000 | #Constraints: 52111
3519.87/3528.63 c #Conflicts: 2554000 | #Constraints: 53111
3519.87/3528.63 c #Conflicts: 2555000 | #Constraints: 54111
3519.87/3528.63 c #Conflicts: 2556000 | #Constraints: 55111
3519.87/3528.63 c #Conflicts: 2557000 | #Constraints: 56111
3519.87/3528.63 c #Conflicts: 2558000 | #Constraints: 57111
3519.87/3528.63 c #Conflicts: 2559000 | #Constraints: 58111
3519.87/3528.63 c #Conflicts: 2560000 | #Constraints: 59111
3519.87/3528.63 c #Conflicts: 2561000 | #Constraints: 60111
3519.87/3528.63 c #Conflicts: 2562000 | #Constraints: 61111
3519.87/3528.63 c #Conflicts: 2563000 | #Constraints: 62111
3568.75/3577.61 c #Conflicts: 2564000 | #Constraints: 63111
3568.75/3577.61 c #Conflicts: 2565000 | #Constraints: 64111
3568.75/3577.61 c #Conflicts: 2566000 | #Constraints: 65111
3568.75/3577.61 c #Conflicts: 2567000 | #Constraints: 66111
3568.75/3577.61 c #Conflicts: 2568000 | #Constraints: 67111
3568.75/3577.61 c #Conflicts: 2569000 | #Constraints: 68111
3568.75/3577.61 c #Conflicts: 2570000 | #Constraints: 69111
3568.75/3577.61 c #Conflicts: 2571000 | #Constraints: 70111
3568.75/3577.61 c INPROCESSING
3568.75/3577.61 c GARBAGE COLLECT
3568.75/3577.61 c #Conflicts: 2572000 | #Constraints: 39008
3568.75/3577.61 c #Conflicts: 2573000 | #Constraints: 40008
3568.75/3577.61 c #Conflicts: 2574000 | #Constraints: 41008
3568.75/3577.61 c #Conflicts: 2575000 | #Constraints: 42008
3568.75/3577.61 c #Conflicts: 2576000 | #Constraints: 43008
3568.75/3577.61 c #Conflicts: 2577000 | #Constraints: 44008
3568.75/3577.61 c #Conflicts: 2578000 | #Constraints: 45008
3568.75/3577.61 c #Conflicts: 2579000 | #Constraints: 46008
3568.75/3577.61 c #Conflicts: 2580000 | #Constraints: 47008
3568.75/3577.61 c #Conflicts: 2581000 | #Constraints: 48008
3568.75/3577.61 c #Conflicts: 2582000 | #Constraints: 49008
3568.75/3577.61 c #Conflicts: 2583000 | #Constraints: 50008
3568.75/3577.61 c #Conflicts: 2584000 | #Constraints: 51008
3568.75/3577.61 c #Conflicts: 2585000 | #Constraints: 52008
3568.75/3577.61 c #Conflicts: 2586000 | #Constraints: 53008
3568.75/3577.61 c #Conflicts: 2587000 | #Constraints: 54008
3568.75/3577.61 c #Conflicts: 2588000 | #Constraints: 55008
3568.75/3577.61 c #Conflicts: 2589000 | #Constraints: 56008
3568.75/3577.61 c #Conflicts: 2590000 | #Constraints: 57008
3568.75/3577.61 c #Conflicts: 2591000 | #Constraints: 58008
3568.75/3577.61 c #Conflicts: 2592000 | #Constraints: 59008
3568.75/3577.61 c #Conflicts: 2593000 | #Constraints: 60008
3568.75/3577.61 c #Conflicts: 2594000 | #Constraints: 61008
3568.75/3577.61 c #Conflicts: 2595000 | #Constraints: 62008
3568.75/3577.61 c #Conflicts: 2596000 | #Constraints: 63008
3568.75/3577.61 c #Conflicts: 2597000 | #Constraints: 64008
3568.75/3577.61 c #Conflicts: 2598000 | #Constraints: 65008
3568.75/3577.61 c #Conflicts: 2599000 | #Constraints: 66008
3568.75/3577.61 c #Conflicts: 2600000 | #Constraints: 67008
3568.75/3577.61 c #Conflicts: 2601000 | #Constraints: 68008
3568.75/3577.61 c #Conflicts: 2602000 | #Constraints: 69008
3568.75/3577.61 c #Conflicts: 2603000 | #Constraints: 70008
3568.75/3577.61 c #Conflicts: 2604000 | #Constraints: 71008
3568.75/3577.61 c INPROCESSING
3568.75/3577.61 c GARBAGE COLLECT
3568.75/3577.61 c #Conflicts: 2605000 | #Constraints: 39707
3568.75/3577.61 c #Conflicts: 2606000 | #Constraints: 40707
3568.75/3577.61 c #Conflicts: 2607000 | #Constraints: 41707
3568.75/3577.61 c #Conflicts: 2608000 | #Constraints: 42707
3568.75/3577.61 c #Conflicts: 2609000 | #Constraints: 43707
3568.75/3577.61 c #Conflicts: 2610000 | #Constraints: 44707
3568.75/3577.61 c #Conflicts: 2611000 | #Constraints: 45707
3568.75/3577.61 c #Conflicts: 2612000 | #Constraints: 46707
3568.75/3577.61 c #Conflicts: 2613000 | #Constraints: 47707
3568.75/3577.61 c #Conflicts: 2614000 | #Constraints: 48707
3568.75/3577.61 c #Conflicts: 2615000 | #Constraints: 49707
3568.75/3577.61 c #Conflicts: 2616000 | #Constraints: 50707
3568.75/3577.61 c #Conflicts: 2617000 | #Constraints: 51707
3568.75/3577.61 c #Conflicts: 2618000 | #Constraints: 52707
3568.75/3577.61 c #Conflicts: 2619000 | #Constraints: 53707
3568.75/3577.61 c #Conflicts: 2620000 | #Constraints: 54707
3568.75/3577.61 c #Conflicts: 2621000 | #Constraints: 55707
3568.75/3577.61 c #Conflicts: 2622000 | #Constraints: 56707
3568.75/3577.61 c #Conflicts: 2623000 | #Constraints: 57707
3568.75/3577.61 c #Conflicts: 2624000 | #Constraints: 58707
3568.75/3577.61 c #Conflicts: 2625000 | #Constraints: 59707
3568.75/3577.61 c #Conflicts: 2626000 | #Constraints: 60707
3568.75/3577.61 c #Conflicts: 2627000 | #Constraints: 61707
3568.75/3577.61 c #Conflicts: 2628000 | #Constraints: 62707
3568.75/3577.61 c #Conflicts: 2629000 | #Constraints: 63707
3568.75/3577.61 c #Conflicts: 2630000 | #Constraints: 64707
3568.75/3577.61 c #Conflicts: 2631000 | #Constraints: 65707
3568.75/3577.61 c #Conflicts: 2632000 | #Constraints: 66707
3568.75/3577.61 c #Conflicts: 2633000 | #Constraints: 67707
3568.75/3577.61 c #Conflicts: 2634000 | #Constraints: 68707
3568.75/3577.61 c #Conflicts: 2635000 | #Constraints: 69707
3568.75/3577.61 c #Conflicts: 2636000 | #Constraints: 70707
3568.75/3577.61 c INPROCESSING
3568.75/3577.61 c GARBAGE COLLECT
3568.75/3577.61 c #Conflicts: 2637000 | #Constraints: 39212
3568.75/3577.61 c #Conflicts: 2638000 | #Constraints: 40212
3568.75/3577.61 c #Conflicts: 2639000 | #Constraints: 41212
3568.75/3577.61 c #Conflicts: 2640000 | #Constraints: 42212
3600.08/3609.00 c #Conflicts: 2641000 | #Constraints: 43212
3600.08/3609.00 c #Conflicts: 2642000 | #Constraints: 44212
3600.08/3609.00 c #Conflicts: 2643000 | #Constraints: 45212
3600.08/3609.00 c #Conflicts: 2644000 | #Constraints: 46212
3600.08/3609.00 c #Conflicts: 2645000 | #Constraints: 47212
3600.08/3609.00 c #Conflicts: 2646000 | #Constraints: 48212
3600.08/3609.00 c #Conflicts: 2647000 | #Constraints: 49212
3600.08/3609.00 c #Conflicts: 2648000 | #Constraints: 50212
3600.08/3609.00 c #Conflicts: 2649000 | #Constraints: 51212
3600.08/3609.00 c #Conflicts: 2650000 | #Constraints: 52212
3600.08/3609.00 c #Conflicts: 2651000 | #Constraints: 53212
3600.08/3609.00 c #Conflicts: 2652000 | #Constraints: 54212
3600.08/3609.00 c #Conflicts: 2653000 | #Constraints: 55212
3600.08/3609.00 c #Conflicts: 2654000 | #Constraints: 56212
3600.08/3609.00 c #Conflicts: 2655000 | #Constraints: 57212
3600.08/3609.00 c #Conflicts: 2656000 | #Constraints: 58212
3600.08/3609.00 c #Conflicts: 2657000 | #Constraints: 59212
3600.08/3609.00 c #Conflicts: 2658000 | #Constraints: 60212
3600.08/3609.00 c #Conflicts: 2659000 | #Constraints: 61212
3600.08/3609.00 c #Conflicts: 2660000 | #Constraints: 62212
3600.08/3609.00 c #Conflicts: 2661000 | #Constraints: 63212
3600.08/3609.00 c #Conflicts: 2662000 | #Constraints: 64212
3600.08/3609.00 c #Conflicts: 2663000 | #Constraints: 65212
3600.08/3609.00 c #Conflicts: 2664000 | #Constraints: 66212
3600.08/3609.00 c #Conflicts: 2665000 | #Constraints: 67212
3600.08/3609.00 c #Conflicts: 2666000 | #Constraints: 68212
3600.08/3609.00 c #Conflicts: 2667000 | #Constraints: 69212
3600.08/3609.00 c #Conflicts: 2668000 | #Constraints: 70212
3600.08/3609.00 c #Conflicts: 2669000 | #Constraints: 71212
3600.08/3609.00 c INPROCESSING
3600.08/3609.00 c GARBAGE COLLECT
3600.08/3609.00 c #Conflicts: 2670000 | #Constraints: 39512
3600.08/3609.00 c #Conflicts: 2671000 | #Constraints: 40512
3600.08/3609.00 c #Conflicts: 2672000 | #Constraints: 41512
3600.08/3609.00 c #Conflicts: 2673000 | #Constraints: 42512
3600.08/3609.00 c #Conflicts: 2674000 | #Constraints: 43512
3600.08/3609.00 c #Conflicts: 2675000 | #Constraints: 44512
3600.08/3609.00 c #Conflicts: 2676000 | #Constraints: 45512
3600.08/3609.00 c #Conflicts: 2677000 | #Constraints: 46512
3600.08/3609.00 c #Conflicts: 2678000 | #Constraints: 47512
3600.08/3609.00 c #Conflicts: 2679000 | #Constraints: 48512
3600.08/3609.00 c #Conflicts: 2680000 | #Constraints: 49512
3600.08/3609.00 c #Conflicts: 2681000 | #Constraints: 50512
3600.08/3609.00 c #Conflicts: 2682000 | #Constraints: 51512
3600.08/3609.00 c #Conflicts: 2683000 | #Constraints: 52512
3600.08/3609.00 c #Conflicts: 2684000 | #Constraints: 53512
3600.08/3609.00 c #Conflicts: 2685000 | #Constraints: 54512
3600.08/3609.00 c #Conflicts: 2686000 | #Constraints: 55512
3600.08/3609.00 c #Conflicts: 2687000 | #Constraints: 56512
3600.08/3609.00 c #Conflicts: 2688000 | #Constraints: 57512
3600.08/3609.00 c #Conflicts: 2689000 | #Constraints: 58512
3600.08/3609.00 c #Conflicts: 2690000 | #Constraints: 59512
3600.08/3609.00 c #Conflicts: 2691000 | #Constraints: 60512
3600.08/3609.00 c #Conflicts: 2692000 | #Constraints: 61512
3600.08/3609.00 c #Conflicts: 2693000 | #Constraints: 62512
3600.08/3609.00 c Program interrupted by user.
3600.08/3609.00 c cpu time 3582.24 s
3600.08/3609.00 c deterministic time 433875981258 4.34e+11
3600.08/3609.00 c optimization time 10.7654 s
3600.08/3609.00 c total solve time 3571.47 s
3600.08/3609.00 c core-guided solve time 3571.47 s
3600.08/3609.00 c propagation time 3248.26 s
3600.08/3609.00 c conflict analysis time 305.716 s
3600.08/3609.00 c propagations 70980526
3600.08/3609.00 c resolve steps 15963166
3600.08/3609.00 c decisions 9570209
3600.08/3609.00 c conflicts 2693125
3600.08/3609.00 c restarts 4622
3600.08/3609.00 c inprocessing phases 142
3600.08/3609.00 c input clauses 6348
3600.08/3609.00 c input cardinalities 15
3600.08/3609.00 c input general constraints 2
3600.08/3609.00 c input average constraint length 3.04
3600.08/3609.00 c input average constraint degree 1.02
3600.08/3609.00 c learned clauses 1589207
3600.08/3609.00 c learned cardinalities 4395
3600.08/3609.00 c learned general constraints 1099523
3600.08/3609.00 c learned average constraint length 58.24
3600.08/3609.00 c learned average constraint degree 301.25
3600.08/3609.00 c watched constraints 962425
3600.08/3609.00 c counting constraints 137100
3600.08/3609.00 c gcd simplifications 3627
3600.08/3609.00 c detected cardinalities 20
3600.08/3609.00 c weakened non-implied lits 13617048
3600.08/3609.00 c weakened non-implying lits 4446
3600.08/3609.00 c original variables 242
3600.08/3609.00 c clausal propagations 21586509
3600.08/3609.00 c cardinality propagations 9511912
3600.08/3609.00 c watched propagations 10419308
3600.08/3609.00 c counting propagations 27715330
3600.08/3609.00 c watch lookups 74056257449
3600.08/3609.00 c watch backjump lookups 63802242287
3600.08/3609.00 c watch checks 278171861154
3600.08/3609.00 c propagation checks 17213077100
3600.08/3609.00 c constraint additions 468748813
3600.08/3609.00 c trail pops 83243719
3600.08/3609.00 c formula constraints 6358
3600.08/3609.00 c learned constraints 2693125
3600.08/3609.00 c bound constraints 3
3600.08/3609.00 c core-guided constraints 4
3600.08/3609.00 c encountered formula constraints 7595918
3600.08/3609.00 c encountered learned constraints 11055507
3600.08/3609.00 c encountered bound constraints 88
3600.08/3609.00 c encountered core-guided constraints 4778
3600.08/3609.00 c LP total time 0 s
3600.08/3609.00 c LP solve time 0 s
3600.08/3609.00 c LP constraints added 0
3600.08/3609.00 c LP constraints removed 0
3600.08/3609.00 c LP pivots internal 0
3600.08/3609.00 c LP pivots root 0
3600.08/3609.00 c LP calls 0
3600.08/3609.00 c LP optimalities 0
3600.08/3609.00 c LP no pivot count 0
3600.08/3609.00 c LP infeasibilities 0
3600.08/3609.00 c LP valid Farkas constraints 0
3600.08/3609.00 c LP learned Farkas constraints 0
3600.08/3609.00 c LP basis resets 0
3600.08/3609.00 c LP cycling count 0
3600.08/3609.00 c LP singular count 0
3600.08/3609.00 c LP no primal count 0
3600.08/3609.00 c LP no farkas count 0
3600.08/3609.00 c LP other issue count 0
3600.08/3609.00 c LP Gomory cuts 0
3600.08/3609.00 c LP learned cuts 0
3600.08/3609.00 c LP deleted cuts 0
3600.08/3609.00 c LP encountered Gomory constraints 0
3600.08/3609.00 c LP encountered Farkas constraints 0
3600.08/3609.00 c LP encountered learned Farkas constraints 0
3600.08/3609.00 c CG auxiliary variables introduced 2
3600.08/3609.00 c CG solutions found 1
3600.08/3609.00 c CG cores constructed 2
3600.08/3609.00 c CG core cardinality constraints returned 0
3600.08/3609.00 c CG unit cores 1
3600.08/3609.00 c CG single cores 1
3600.08/3609.00 c CG blocks removed during cardinality reduction 0
3600.08/3609.00 c CG first core best 0
3600.08/3609.00 c CG decision core best 0
3600.08/3609.00 c CG core reduction tie 0
3600.08/3609.00 c CG core degree average 1.00
3600.08/3609.00 c CG core slack average 10.00
3600.08/3609.00 c CG exhausted 0
3600.08/3609.00 c CG exhaust time 0.036051 s
3600.08/3609.00 c CG trimmed 0
3600.08/3609.00 c CG trim time 3.1e-05 s
3600.08/3609.00 c CG minimized 0
3600.08/3609.00 c CG minimize time 0 s
3600.08/3609.00 c CG am1 prop time 4.7e-05 s
3600.08/3609.00 c CG # am1s reformulated 0
3600.08/3609.00 c CG lower bound derived from am1s 0
3600.08/3609.00 c CG # clausal cores 1
3600.08/3609.00 c CG # cardinality cores 0
3600.08/3609.00 c CG # pb cores 0
3600.08/3609.00 c CG # pb reforms 0
3600.08/3609.00 c CG # cores discarded because of pb reform 0
3600.08/3609.00 d LOWERBOUND 2
3600.08/3609.00 d NCORES 2
3600.08/3609.00 d NPBCORES 0
3600.08/3609.00 d NPBREFORM 0
3600.08/3609.00 d NTRIMMED 0
3600.08/3609.00 d NEXHAUSTED 0
3600.08/3609.00 d NAM1S 0
3600.08/3609.00 d AM1LB 0
3600.08/3609.00 o 6
3600.08/3609.00 s SATISFIABLE
3600.08/3609.00 v x1 x2 x3 x4 -x5 x6 -x7 x8 x9 x10 -x11 x12 -x13 x14 x15 x16 x17 -x18 x19 x20 x21 x22 x23 x24 x25 -x26 x27 -x28 x29 x30 x31 -x32 x33 x34 x35 x36 x37 -x38 x39 x40 x41 -x42 x43 x44 -x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 -x56 -x57 x58 x59 x60 x61 x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 x202 x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 -x213 x214 -x215 x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 x237 -x238 x239 -x240 -x241 -x242
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: 63968 MiB (58565 MiB free)
memory of node 1: 64473 MiB (61444 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454622-1721479153/watcher-4454622-1721479153 -o /tmp/evaluation-result-4454622-1721479153/solver-4454622-1721479153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721471928-1066116 --watchdog 3760 pb-oll-rs HOME/instance-4454622-1721479153.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1070440, runsolver pid=1070437
[startup+0.100833 s]*
/proc/loadavg: 4.15 4.17 4.12 5/256 1070441
/proc/meminfo: memFree=122886132/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=39236 memory=8684 CPUtime=0.09 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 498 0 0 0 8 1 0 0 20 0 1 0 200085805 40177664 2171 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 9809 2171 1319 291 0 1343 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 39236 KiB
Current children cumulated memory: 8684 KiB
[startup+0.205866 s]*
/proc/loadavg: 4.15 4.17 4.12 5/256 1070441
/proc/meminfo: memFree=122885516/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=39636 memory=8948 CPUtime=0.2 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 589 0 0 0 19 1 0 0 20 0 1 0 200085805 40587264 2237 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 9909 2237 1319 291 0 1443 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 39636 KiB
Current children cumulated memory: 8948 KiB
[startup+0.305846 s]*
/proc/loadavg: 4.15 4.17 4.12 5/256 1070441
/proc/meminfo: memFree=122885404/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=39768 memory=9440 CPUtime=0.29 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 631 0 0 0 28 1 0 0 20 0 1 0 200085805 40722432 2360 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 9942 2360 1380 291 0 1476 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 39768 KiB
Current children cumulated memory: 9440 KiB
[startup+0.700248 s]
/proc/loadavg: 4.15 4.17 4.12 5/256 1070441
/proc/meminfo: memFree=122884592/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=39912 memory=9440 CPUtime=0.68 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 689 0 0 0 65 3 0 0 20 0 1 0 200085805 40869888 2360 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 9978 2360 1380 291 0 1512 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 39912 KiB
Current children cumulated memory: 9440 KiB
[startup+1.50023 s]
/proc/loadavg: 4.15 4.17 4.12 5/256 1070441
/proc/meminfo: memFree=122880848/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=40428 memory=9968 CPUtime=1.48 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 792 0 0 0 141 7 0 0 20 0 1 0 200085805 41398272 2492 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 10107 2492 1380 291 0 1641 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 40428 KiB
Current children cumulated memory: 9968 KiB
[startup+3.10574 s]
/proc/loadavg: 4.14 4.16 4.11 5/256 1070441
/proc/meminfo: memFree=122868576/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=40724 memory=10744 CPUtime=3.08 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 1062 0 0 0 292 16 0 0 20 0 1 0 200085805 41701376 2686 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 10181 2686 1380 291 0 1715 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 40724 KiB
Current children cumulated memory: 10744 KiB
[startup+6.30022 s]
/proc/loadavg: 4.14 4.16 4.11 5/256 1070442
/proc/meminfo: memFree=122849564/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=41676 memory=11916 CPUtime=6.27 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 1548 0 0 0 592 35 0 0 20 0 1 0 200085805 42676224 2979 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 10419 2979 1380 291 0 1953 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 41676 KiB
Current children cumulated memory: 11916 KiB
[startup+12.7002 s]
/proc/loadavg: 4.13 4.16 4.11 5/256 1070442
/proc/meminfo: memFree=122829952/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=46912 memory=16432 CPUtime=12.66 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 2725 0 0 0 1214 52 0 0 20 0 1 0 200085805 48037888 4108 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 11728 4108 1380 291 0 3262 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 46912 KiB
Current children cumulated memory: 16432 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.15 4.11 5/256 1070444
/proc/meminfo: memFree=122814976/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=48540 memory=18832 CPUtime=25.43 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 3480 0 0 0 2469 74 0 0 20 0 1 0 200085805 49704960 4708 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 12135 4708 1380 291 0 3669 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 48540 KiB
Current children cumulated memory: 18832 KiB
[startup+51.1058 s]
/proc/loadavg: 4.13 4.16 4.11 5/256 1070448
/proc/meminfo: memFree=122801952/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=50744 memory=21620 CPUtime=50.98 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 4406 0 0 0 4981 117 0 0 20 0 1 0 200085805 51961856 5405 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 12686 5405 1380 291 0 4220 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 50744 KiB
Current children cumulated memory: 21620 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.14 4.11 5/259 1070463
/proc/meminfo: memFree=122770572/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=56888 memory=25228 CPUtime=102.06 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 5623 0 0 0 10014 192 0 0 20 0 1 0 200085805 58253312 6307 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 14222 6307 1380 291 0 5756 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 56888 KiB
Current children cumulated memory: 25228 KiB
[startup+162.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/258 1070473
/proc/meminfo: memFree=122720016/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=59040 memory=29488 CPUtime=161.92 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 6502 0 0 0 15928 264 0 0 20 0 1 0 200085805 60456960 7372 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 14760 7372 1380 291 0 6294 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 59040 KiB
Current children cumulated memory: 29488 KiB
[startup+222.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/258 1070484
/proc/meminfo: memFree=122685640/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=60728 memory=31092 CPUtime=221.78 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 7533 0 0 0 21853 325 0 0 20 0 1 0 200085805 62185472 7773 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 15182 7773 1380 291 0 6716 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 60728 KiB
Current children cumulated memory: 31092 KiB
[startup+282.3 s]
/proc/loadavg: 4.36 4.20 4.12 5/258 1070494
/proc/meminfo: memFree=122672288/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=69264 memory=33520 CPUtime=281.64 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 8696 0 0 0 27780 384 0 0 20 0 1 0 200085805 70926336 8380 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 17316 8380 1380 291 0 8850 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 69264 KiB
Current children cumulated memory: 33520 KiB
[startup+342.3 s]
/proc/loadavg: 4.25 4.20 4.12 5/257 1070506
/proc/meminfo: memFree=122617116/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=69596 memory=34556 CPUtime=341.5 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 9510 0 0 0 33711 439 0 0 20 0 1 0 200085805 71266304 8639 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 17399 8639 1380 291 0 8933 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 69596 KiB
Current children cumulated memory: 34556 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 4.19 4.12 5/254 1070516
/proc/meminfo: memFree=122554732/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=70252 memory=35228 CPUtime=401.36 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 10080 0 0 0 39643 493 0 0 20 0 1 0 200085805 71938048 8807 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 17563 8807 1380 291 0 9097 0
Current children cumulated CPU time: 401.36 s
Current children cumulated vsize: 70252 KiB
Current children cumulated memory: 35228 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.17 4.12 5/254 1070526
/proc/meminfo: memFree=122507348/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=71788 memory=38408 CPUtime=461.22 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 10740 0 0 0 45583 539 0 0 20 0 1 0 200085805 73510912 9602 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 17947 9602 1380 291 0 9481 0
################
# More data... #
################
Current children cumulated memory: 118620 KiB
[startup+2862.3 s]
/proc/loadavg: 2.19 2.76 3.07 3/243 1071977
/proc/meminfo: memFree=123681400/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=177396 memory=118620 CPUtime=2855.03 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 26966 0 0 0 284116 1387 0 0 20 0 1 0 200085805 181653504 29655 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44349 29655 1380 291 0 35883 0
Current children cumulated CPU time: 2855.03 s
Current children cumulated vsize: 177396 KiB
Current children cumulated memory: 118620 KiB
[startup+2922.3 s]
/proc/loadavg: 2.18 2.65 3.01 3/243 1071988
/proc/meminfo: memFree=123678660/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=177848 memory=119040 CPUtime=2914.86 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27092 0 0 0 290088 1398 0 0 20 0 1 0 200085805 182116352 29760 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44462 29760 1380 291 0 35996 0
Current children cumulated CPU time: 2914.86 s
Current children cumulated vsize: 177848 KiB
Current children cumulated memory: 119040 KiB
[startup+2982.3 s]
/proc/loadavg: 2.13 2.55 2.95 3/245 1072168
/proc/meminfo: memFree=123669688/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=177848 memory=125072 CPUtime=2974.71 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27133 0 0 0 296058 1413 0 0 20 0 1 0 200085805 182116352 31268 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44462 31268 1380 291 0 35996 0
Current children cumulated CPU time: 2974.71 s
Current children cumulated vsize: 177848 KiB
Current children cumulated memory: 125072 KiB
[startup+3042.3 s]
/proc/loadavg: 2.05 2.45 2.88 3/244 1072178
/proc/meminfo: memFree=123668668/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=177848 memory=125756 CPUtime=3034.59 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27171 0 0 0 302028 1431 0 0 20 0 1 0 200085805 182116352 31439 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44462 31439 1380 291 0 35996 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 177848 KiB
Current children cumulated memory: 125756 KiB
[startup+3102.3 s]
/proc/loadavg: 2.16 2.41 2.84 3/245 1072248
/proc/meminfo: memFree=123659500/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=177848 memory=125756 CPUtime=3094.48 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27210 0 0 0 307998 1450 0 0 20 0 1 0 200085805 182116352 31439 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44462 31439 1380 291 0 35996 0
Current children cumulated CPU time: 3094.48 s
Current children cumulated vsize: 177848 KiB
Current children cumulated memory: 125756 KiB
[startup+3162.3 s]
/proc/loadavg: 2.11 2.35 2.79 3/246 1072259
/proc/meminfo: memFree=123649968/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=177848 memory=125756 CPUtime=3154.36 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27260 0 0 0 313959 1477 0 0 20 0 1 0 200085805 182116352 31439 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44462 31439 1380 291 0 35996 0
Current children cumulated CPU time: 3154.36 s
Current children cumulated vsize: 177848 KiB
Current children cumulated memory: 125756 KiB
[startup+3222.3 s]
/proc/loadavg: 2.08 2.30 2.75 3/246 1072270
/proc/meminfo: memFree=123637888/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=179300 memory=128704 CPUtime=3214.25 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27612 0 0 0 319919 1506 0 0 20 0 1 0 200085805 183603200 32176 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44825 32176 1380 291 0 36359 0
Current children cumulated CPU time: 3214.25 s
Current children cumulated vsize: 179300 KiB
Current children cumulated memory: 128704 KiB
[startup+3282.3 s]
/proc/loadavg: 2.08 2.26 2.70 3/244 1072280
/proc/meminfo: memFree=123636776/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=179300 memory=129200 CPUtime=3274.13 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27709 0 0 0 325871 1542 0 0 20 0 1 0 200085805 183603200 32300 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44825 32300 1380 291 0 36359 0
Current children cumulated CPU time: 3274.13 s
Current children cumulated vsize: 179300 KiB
Current children cumulated memory: 129200 KiB
[startup+3342.3 s]
/proc/loadavg: 2.07 2.22 2.66 3/244 1072291
/proc/meminfo: memFree=123636064/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=179300 memory=129200 CPUtime=3334.01 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27747 0 0 0 331819 1582 0 0 20 0 1 0 200085805 183603200 32300 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44825 32300 1380 291 0 36359 0
Current children cumulated CPU time: 3334.01 s
Current children cumulated vsize: 179300 KiB
Current children cumulated memory: 129200 KiB
[startup+3402.3 s]
/proc/loadavg: 2.13 2.21 2.63 3/244 1072305
/proc/meminfo: memFree=123636812/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=179300 memory=129200 CPUtime=3393.87 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27785 0 0 0 337760 1627 0 0 20 0 1 0 200085805 183603200 32300 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44825 32300 1380 291 0 36359 0
Current children cumulated CPU time: 3393.87 s
Current children cumulated vsize: 179300 KiB
Current children cumulated memory: 129200 KiB
[startup+3462.3 s]
/proc/loadavg: 2.10 2.18 2.59 3/243 1072315
/proc/meminfo: memFree=123613772/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=179300 memory=129200 CPUtime=3453.73 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27823 0 0 0 343698 1675 0 0 20 0 1 0 200085805 183603200 32300 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44825 32300 1380 291 0 36359 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 179300 KiB
Current children cumulated memory: 129200 KiB
[startup+3522.3 s]
/proc/loadavg: 2.21 2.20 2.57 3/243 1072326
/proc/meminfo: memFree=123612856/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=179300 memory=129284 CPUtime=3513.59 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27862 0 0 0 349642 1717 0 0 20 0 1 0 200085805 183603200 32321 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44825 32321 1380 291 0 36359 0
Current children cumulated CPU time: 3513.59 s
Current children cumulated vsize: 179300 KiB
Current children cumulated memory: 129284 KiB
[startup+3582.3 s]
/proc/loadavg: 2.14 2.17 2.54 3/243 1072336
/proc/meminfo: memFree=123612332/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=179300 memory=129284 CPUtime=3573.44 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27902 0 0 0 355578 1766 0 0 20 0 1 0 200085805 183603200 32321 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44825 32321 1380 291 0 36359 0
Current children cumulated CPU time: 3573.44 s
Current children cumulated vsize: 179300 KiB
Current children cumulated memory: 129284 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 2.08 2.16 2.52 2/236 1072371
/proc/meminfo: memFree=123987112/131524596 swapFree=131071996/131071996
[pid=1070440] ppid=1070437 vsize=179300 memory=129284 CPUtime=3600.08 cores=4,6
/proc/1070440/stat : 1070440 (pb-oll-rs) R 1070437 1070440 1066105 0 -1 4194304 27902 0 0 0 358224 1784 0 0 20 0 1 0 200085805 183603200 32321 134679101440 4194304 5384485 140722087544048 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 6361088 140722087547925 140722087548002 140722087548002 140722087555019 0
/proc/1070440/statm: 44825 32321 1380 291 0 36359 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 179300 KiB
Current children cumulated memory: 129284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 1070440 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3582.24 s, system=17.8494 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.09
CPU user time (s): 3582.24
CPU system time (s): 17.8494
CPU usage (%): 99.753
Max. virtual memory (cumulated for all children) (KiB): 179420
Max. memory (cumulated for all children) (KiB): 129284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.24
system time used= 17.8494
maximum resident set size= 129284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27919
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= 47
involuntary context switches= 2200
# summary of solver processes directly reported to runsolver:
# pid: 1070440
# total CPU time (s): 3600.09
# total CPU user time (s): 3582.24
# total CPU system time (s): 17.8494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.50896 second user time and 16.5594 second system time
The end
Begin job on nodeC034 at 2024-07-20 14:39:25
IDJOB=4454622
IDBENCH=176105
IDSOLVER=3082
FILE ID=nodeC034/4454622-1721479153
RUNJOBID= nodeC034-1721471928-1066116
SLURM_JOB_ID= 7545740
Free space on /tmp= 890072 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB24/OPT-LIN/ihalainen/PBO-clique-coloring/normalized-clique-coloring-max-clique-n=11-t=5.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454622-1721479153/watcher-4454622-1721479153 -o /tmp/evaluation-result-4454622-1721479153/solver-4454622-1721479153 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1721471928-1066116 --watchdog 3760 pb-oll-rs HOME/instance-4454622-1721479153.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 8d06570fa4bf547e139dcdd4309b0d0f
RANDOM SEED=457086040
nodeC034.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3687.107
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.863
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.129
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.422
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3654.319
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3689.919
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3650.665
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.99
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.426
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.58
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524596 kB
MemFree: 122890184 kB
MemAvailable: 128456780 kB
Buffers: 557152 kB
Cached: 5787804 kB
SwapCached: 0 kB
Active: 1125976 kB
Inactive: 6738024 kB
Active(anon): 1508 kB
Inactive(anon): 1563440 kB
Active(file): 1124468 kB
Inactive(file): 5174584 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 6632 kB
Writeback: 0 kB
AnonPages: 1518784 kB
Mapped: 111732 kB
Shmem: 45912 kB
KReclaimable: 214736 kB
Slab: 344700 kB
SReclaimable: 214736 kB
SUnreclaim: 129964 kB
KernelStack: 4128 kB
PageTables: 12536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834292 kB
Committed_AS: 2135424 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 75200 kB
HardwareCorrupted: 0 kB
AnonHugePages: 307200 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 326356 kB
DirectMap2M: 44535808 kB
DirectMap1G: 91226112 kB
Free space on /tmp at the end= 890080 MiB
End job on nodeC034 at 2024-07-20 15:39:34