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.20/0.21 c [STEP] solving
0.20/0.21 c #variables 1272 #constraints 94227
0.20/0.21 c SMALL=int, LARGE=long long
0.20/0.21 c bounds - >= -1272 @ 0.148422
0.20/0.21 c stratification level: 0
0.20/0.30 c bounds - >= -238 @ 0.207156
0.20/0.30 c bounds - >= -237 @ 0.208119
0.20/0.30 c bounds - >= -236 @ 0.209143
0.20/0.30 c bounds - >= -235 @ 0.209663
0.20/0.30 c bounds - >= -234 @ 0.210114
0.20/0.30 c bounds - >= -233 @ 0.211488
0.20/0.30 c bounds - >= -232 @ 0.21209
0.20/0.30 c bounds - >= -231 @ 0.212333
0.20/0.30 c bounds - >= -230 @ 0.212333
0.20/0.30 c bounds - >= -229 @ 0.212333
0.20/0.30 c bounds - >= -228 @ 0.212334
0.20/0.30 c bounds - >= -227 @ 0.212334
0.20/0.30 c bounds - >= -226 @ 0.212334
0.20/0.30 c bounds - >= -225 @ 0.212336
0.20/0.30 c bounds - >= -224 @ 0.212708
0.20/0.30 c bounds - >= -223 @ 0.213332
0.20/0.30 c bounds - >= -222 @ 0.213332
0.20/0.30 c bounds - >= -221 @ 0.213799
0.20/0.30 c bounds - >= -220 @ 0.214526
0.20/0.30 c bounds - >= -219 @ 0.215313
0.20/0.30 c bounds - >= -218 @ 0.216227
0.20/0.30 c bounds - >= -217 @ 0.216326
0.20/0.30 c bounds - >= -216 @ 0.216486
0.20/0.30 c bounds - >= -215 @ 0.216987
0.20/0.30 c bounds - >= -214 @ 0.21784
0.20/0.30 c bounds - >= -213 @ 0.21869
0.20/0.30 c bounds - >= -212 @ 0.219798
0.20/0.30 c bounds - >= -211 @ 0.22057
0.20/0.30 c bounds - >= -210 @ 0.220922
0.20/0.30 c bounds - >= -209 @ 0.22131
0.20/0.30 c bounds - >= -208 @ 0.222452
0.20/0.30 c finalizing WCE round: reformulating cores
15.05/15.19 c bounds -22 >= -237 @ 0.228522
15.05/15.19 c bounds -25 >= -234 @ 0.239607
15.05/15.19 c #Conflicts: 1000 | #Constraints: 95513
15.05/15.19 c bounds -28 >= -230 @ 0.518073
15.05/15.19 c bounds -28 >= -230 @ 0.525063
15.05/15.19 c bounds -28 >= -230 @ 0.532031
15.05/15.19 c #Conflicts: 2000 | #Constraints: 96525
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c bounds -28 >= -230 @ 0.563469
15.05/15.19 c #Conflicts: 3000 | #Constraints: 96378
15.05/15.19 c bounds -29 >= -224 @ 0.84564
15.05/15.19 c #Conflicts: 4000 | #Constraints: 97382
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 5000 | #Constraints: 96691
15.05/15.19 c #Conflicts: 6000 | #Constraints: 97694
15.05/15.19 c bounds -30 >= -219 @ 1.89598
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 7000 | #Constraints: 96796
15.05/15.19 c #Conflicts: 8000 | #Constraints: 97798
15.05/15.19 c bounds -31 >= -215 @ 2.85133
15.05/15.19 c bounds -31 >= -215 @ 2.86489
15.05/15.19 c #Conflicts: 9000 | #Constraints: 98807
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 10000 | #Constraints: 97516
15.05/15.19 c bounds -32 >= -210 @ 3.7795
15.05/15.19 c #Conflicts: 11000 | #Constraints: 98522
15.05/15.19 c #Conflicts: 12000 | #Constraints: 99524
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 13000 | #Constraints: 98012
15.05/15.19 c #Conflicts: 14000 | #Constraints: 99017
15.05/15.19 c #Conflicts: 15000 | #Constraints: 100019
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 16000 | #Constraints: 98283
15.05/15.19 c bounds -33 >= -202 @ 6.54174
15.05/15.19 c #Conflicts: 17000 | #Constraints: 99287
15.05/15.19 c #Conflicts: 18000 | #Constraints: 100289
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c bounds -33 >= -198 @ 7.83342
15.05/15.19 c #Conflicts: 19000 | #Constraints: 98308
15.05/15.19 c #Conflicts: 20000 | #Constraints: 99313
15.05/15.19 c bounds -34 >= -195 @ 8.65395
15.05/15.19 c bounds -34 >= -194 @ 8.65742
15.05/15.19 c bounds -34 >= -193 @ 8.66625
15.05/15.19 c bounds -34 >= -192 @ 8.6811
15.05/15.19 c bounds -34 >= -191 @ 8.7259
15.05/15.19 c #Conflicts: 21000 | #Constraints: 100431
15.05/15.19 c bounds -34 >= -190 @ 8.81103
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 22000 | #Constraints: 98259
15.05/15.19 c bounds -34 >= -189 @ 9.05192
15.05/15.19 c #Conflicts: 23000 | #Constraints: 99317
15.05/15.19 c #Conflicts: 24000 | #Constraints: 100317
15.05/15.19 c #Conflicts: 25000 | #Constraints: 101317
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 26000 | #Constraints: 98905
15.05/15.19 c #Conflicts: 27000 | #Constraints: 99905
15.05/15.19 c bounds -34 >= -188 @ 9.63451
15.05/15.19 c #Conflicts: 28000 | #Constraints: 100942
15.05/15.19 c #Conflicts: 29000 | #Constraints: 101942
15.05/15.19 c INPROCESSING
15.05/15.19 c #Conflicts: 30000 | #Constraints: 99328
15.05/15.19 c #Conflicts: 31000 | #Constraints: 100328
15.05/15.19 c #Conflicts: 32000 | #Constraints: 101328
15.05/15.19 c #Conflicts: 33000 | #Constraints: 102328
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 34000 | #Constraints: 99519
15.05/15.19 c #Conflicts: 35000 | #Constraints: 100519
15.05/15.19 c #Conflicts: 36000 | #Constraints: 101519
15.05/15.19 c #Conflicts: 37000 | #Constraints: 102519
15.05/15.19 c INPROCESSING
15.05/15.19 c #Conflicts: 38000 | #Constraints: 99531
15.05/15.19 c #Conflicts: 39000 | #Constraints: 100531
15.05/15.19 c #Conflicts: 40000 | #Constraints: 101531
15.05/15.19 c #Conflicts: 41000 | #Constraints: 102531
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 42000 | #Constraints: 99332
15.05/15.19 c #Conflicts: 43000 | #Constraints: 100332
15.05/15.19 c #Conflicts: 44000 | #Constraints: 101332
15.05/15.19 c #Conflicts: 45000 | #Constraints: 102332
15.05/15.19 c #Conflicts: 46000 | #Constraints: 103332
15.05/15.19 c INPROCESSING
15.05/15.19 c #Conflicts: 47000 | #Constraints: 99941
15.05/15.19 c #Conflicts: 48000 | #Constraints: 100941
15.05/15.19 c #Conflicts: 49000 | #Constraints: 101941
15.05/15.19 c #Conflicts: 50000 | #Constraints: 102941
15.05/15.19 c #Conflicts: 51000 | #Constraints: 103941
15.05/15.19 c INPROCESSING
15.05/15.19 c GARBAGE COLLECT
15.05/15.19 c #Conflicts: 52000 | #Constraints: 100344
15.05/15.19 c #Conflicts: 53000 | #Constraints: 101344
15.05/15.19 c #Conflicts: 54000 | #Constraints: 102344
15.05/15.19 c #Conflicts: 55000 | #Constraints: 103344
15.05/15.19 c #Conflicts: 56000 | #Constraints: 104344
15.05/15.19 c INPROCESSING
15.05/15.19 c #Conflicts: 57000 | #Constraints: 100540
15.05/15.19 c #Conflicts: 58000 | #Constraints: 101540
39.88/40.04 c #Conflicts: 59000 | #Constraints: 102540
39.88/40.04 c #Conflicts: 60000 | #Constraints: 103540
39.88/40.04 c #Conflicts: 61000 | #Constraints: 104540
39.88/40.04 c INPROCESSING
39.88/40.04 c GARBAGE COLLECT
39.88/40.04 c #Conflicts: 62000 | #Constraints: 100535
39.88/40.04 c #Conflicts: 63000 | #Constraints: 101535
39.88/40.04 c #Conflicts: 64000 | #Constraints: 102535
39.88/40.04 c #Conflicts: 65000 | #Constraints: 103535
39.88/40.04 c #Conflicts: 66000 | #Constraints: 104535
39.88/40.04 c INPROCESSING
39.88/40.04 c #Conflicts: 67000 | #Constraints: 100334
39.88/40.04 c #Conflicts: 68000 | #Constraints: 101334
39.88/40.04 c #Conflicts: 69000 | #Constraints: 102334
39.88/40.04 c #Conflicts: 70000 | #Constraints: 103334
39.88/40.04 c #Conflicts: 71000 | #Constraints: 104334
39.88/40.04 c #Conflicts: 72000 | #Constraints: 105334
39.88/40.04 c INPROCESSING
39.88/40.04 c GARBAGE COLLECT
39.88/40.04 c #Conflicts: 73000 | #Constraints: 100934
39.88/40.04 c #Conflicts: 74000 | #Constraints: 101934
39.88/40.04 c #Conflicts: 75000 | #Constraints: 102934
39.88/40.04 c #Conflicts: 76000 | #Constraints: 103934
39.88/40.04 c #Conflicts: 77000 | #Constraints: 104934
39.88/40.04 c #Conflicts: 78000 | #Constraints: 105934
39.88/40.04 c INPROCESSING
39.88/40.04 c #Conflicts: 79000 | #Constraints: 101343
39.88/40.04 c #Conflicts: 80000 | #Constraints: 102343
39.88/40.04 c #Conflicts: 81000 | #Constraints: 103343
39.88/40.04 c #Conflicts: 82000 | #Constraints: 104343
39.88/40.04 c #Conflicts: 83000 | #Constraints: 105343
39.88/40.04 c #Conflicts: 84000 | #Constraints: 106343
39.88/40.04 c INPROCESSING
39.88/40.04 c GARBAGE COLLECT
39.88/40.04 c #Conflicts: 85000 | #Constraints: 101545
39.88/40.04 c #Conflicts: 86000 | #Constraints: 102545
39.88/40.04 c #Conflicts: 87000 | #Constraints: 103545
39.88/40.04 c #Conflicts: 88000 | #Constraints: 104545
39.88/40.04 c #Conflicts: 89000 | #Constraints: 105545
39.88/40.04 c #Conflicts: 90000 | #Constraints: 106545
39.88/40.04 c INPROCESSING
39.88/40.04 c #Conflicts: 91000 | #Constraints: 101547
39.88/40.04 c #Conflicts: 92000 | #Constraints: 102547
39.88/40.04 c #Conflicts: 93000 | #Constraints: 103547
39.88/40.04 c #Conflicts: 94000 | #Constraints: 104547
39.88/40.04 c #Conflicts: 95000 | #Constraints: 105547
39.88/40.04 c #Conflicts: 96000 | #Constraints: 106547
39.88/40.04 c INPROCESSING
39.88/40.04 c GARBAGE COLLECT
39.88/40.04 c #Conflicts: 97000 | #Constraints: 101345
39.88/40.04 c #Conflicts: 98000 | #Constraints: 102345
39.88/40.04 c #Conflicts: 99000 | #Constraints: 103345
39.88/40.04 c #Conflicts: 100000 | #Constraints: 104345
39.88/40.04 c #Conflicts: 101000 | #Constraints: 105345
39.88/40.04 c #Conflicts: 102000 | #Constraints: 106345
39.88/40.04 c #Conflicts: 103000 | #Constraints: 107345
39.88/40.04 c INPROCESSING
39.88/40.04 c #Conflicts: 104000 | #Constraints: 101949
39.88/40.04 c #Conflicts: 105000 | #Constraints: 102949
39.88/40.04 c #Conflicts: 106000 | #Constraints: 103949
39.88/40.04 c #Conflicts: 107000 | #Constraints: 104949
39.88/40.04 c bounds -34 >= -187 @ 28.318
39.88/40.04 c #Conflicts: 108000 | #Constraints: 106004
39.88/40.04 c #Conflicts: 109000 | #Constraints: 107004
39.88/40.04 c #Conflicts: 110000 | #Constraints: 108004
39.88/40.04 c #Conflicts: 111000 | #Constraints: 109004
39.88/40.04 c #Conflicts: 112000 | #Constraints: 110004
39.88/40.04 c #Conflicts: 113000 | #Constraints: 111004
39.88/40.04 c #Conflicts: 114000 | #Constraints: 112004
39.88/40.04 c #Conflicts: 115000 | #Constraints: 113004
39.88/40.04 c #Conflicts: 116000 | #Constraints: 114004
39.88/40.04 c #Conflicts: 117000 | #Constraints: 115004
39.88/40.04 c #Conflicts: 118000 | #Constraints: 116004
39.88/40.04 c #Conflicts: 119000 | #Constraints: 117004
39.88/40.04 c #Conflicts: 120000 | #Constraints: 118004
39.88/40.04 c #Conflicts: 121000 | #Constraints: 119004
39.88/40.04 c #Conflicts: 122000 | #Constraints: 120004
39.88/40.04 c #Conflicts: 123000 | #Constraints: 121004
39.88/40.04 c #Conflicts: 124000 | #Constraints: 122004
39.88/40.04 c #Conflicts: 125000 | #Constraints: 123004
39.88/40.04 c #Conflicts: 126000 | #Constraints: 124004
39.88/40.04 c #Conflicts: 127000 | #Constraints: 125004
39.88/40.04 c #Conflicts: 128000 | #Constraints: 126004
39.88/40.04 c #Conflicts: 129000 | #Constraints: 127004
39.88/40.04 c #Conflicts: 130000 | #Constraints: 128004
39.88/40.04 c #Conflicts: 131000 | #Constraints: 129004
39.88/40.04 c #Conflicts: 132000 | #Constraints: 130004
86.44/86.72 c INPROCESSING
86.44/86.72 c GARBAGE COLLECT
86.44/86.72 c #Conflicts: 133000 | #Constraints: 113158
86.44/86.72 c #Conflicts: 134000 | #Constraints: 114158
86.44/86.72 c #Conflicts: 135000 | #Constraints: 115158
86.44/86.72 c #Conflicts: 136000 | #Constraints: 116158
86.44/86.72 c #Conflicts: 137000 | #Constraints: 117158
86.44/86.72 c #Conflicts: 138000 | #Constraints: 118158
86.44/86.72 c #Conflicts: 139000 | #Constraints: 119158
86.44/86.72 c #Conflicts: 140000 | #Constraints: 120158
86.44/86.72 c INPROCESSING
86.44/86.72 c GARBAGE COLLECT
86.44/86.72 c #Conflicts: 141000 | #Constraints: 108290
86.44/86.72 c #Conflicts: 142000 | #Constraints: 109290
86.44/86.72 c #Conflicts: 143000 | #Constraints: 110290
86.44/86.72 c #Conflicts: 144000 | #Constraints: 111290
86.44/86.72 c #Conflicts: 145000 | #Constraints: 112290
86.44/86.72 c #Conflicts: 146000 | #Constraints: 113290
86.44/86.72 c #Conflicts: 147000 | #Constraints: 114290
86.44/86.72 c #Conflicts: 148000 | #Constraints: 115290
86.44/86.72 c INPROCESSING
86.44/86.72 c GARBAGE COLLECT
86.44/86.72 c #Conflicts: 149000 | #Constraints: 105804
86.44/86.72 c #Conflicts: 150000 | #Constraints: 106804
86.44/86.72 c #Conflicts: 151000 | #Constraints: 107804
86.44/86.72 c #Conflicts: 152000 | #Constraints: 108804
86.44/86.72 c #Conflicts: 153000 | #Constraints: 109804
86.44/86.72 c #Conflicts: 154000 | #Constraints: 110804
86.44/86.72 c #Conflicts: 155000 | #Constraints: 111804
86.44/86.72 c #Conflicts: 156000 | #Constraints: 112804
86.44/86.72 c INPROCESSING
86.44/86.72 c GARBAGE COLLECT
86.44/86.72 c #Conflicts: 157000 | #Constraints: 104434
86.44/86.72 c #Conflicts: 158000 | #Constraints: 105434
86.44/86.72 c #Conflicts: 159000 | #Constraints: 106434
86.44/86.72 c #Conflicts: 160000 | #Constraints: 107434
86.44/86.72 c #Conflicts: 161000 | #Constraints: 108434
86.44/86.72 c #Conflicts: 162000 | #Constraints: 109434
86.44/86.72 c #Conflicts: 163000 | #Constraints: 110434
86.44/86.72 c #Conflicts: 164000 | #Constraints: 111434
86.44/86.72 c #Conflicts: 165000 | #Constraints: 112434
86.44/86.72 c #Conflicts: 166000 | #Constraints: 113434
86.44/86.72 c #Conflicts: 167000 | #Constraints: 114434
86.44/86.72 c #Conflicts: 168000 | #Constraints: 115434
86.44/86.72 c #Conflicts: 169000 | #Constraints: 116434
86.44/86.72 c #Conflicts: 170000 | #Constraints: 117434
86.44/86.72 c #Conflicts: 171000 | #Constraints: 118434
86.44/86.72 c #Conflicts: 172000 | #Constraints: 119434
86.44/86.72 c #Conflicts: 173000 | #Constraints: 120434
86.44/86.72 c #Conflicts: 174000 | #Constraints: 121434
86.44/86.72 c #Conflicts: 175000 | #Constraints: 122434
86.44/86.72 c #Conflicts: 176000 | #Constraints: 123434
86.44/86.72 c #Conflicts: 177000 | #Constraints: 124434
86.44/86.72 c #Conflicts: 178000 | #Constraints: 125434
86.44/86.72 c #Conflicts: 179000 | #Constraints: 126434
86.44/86.72 c #Conflicts: 180000 | #Constraints: 127434
86.44/86.72 c #Conflicts: 181000 | #Constraints: 128434
86.44/86.72 c #Conflicts: 182000 | #Constraints: 129434
86.44/86.72 c #Conflicts: 183000 | #Constraints: 130434
86.44/86.72 c #Conflicts: 184000 | #Constraints: 131434
86.44/86.72 c #Conflicts: 185000 | #Constraints: 132434
86.44/86.72 c #Conflicts: 186000 | #Constraints: 133434
86.44/86.72 c #Conflicts: 187000 | #Constraints: 134434
86.44/86.72 c #Conflicts: 188000 | #Constraints: 135434
86.44/86.72 c #Conflicts: 189000 | #Constraints: 136434
86.44/86.72 c #Conflicts: 190000 | #Constraints: 137434
86.44/86.72 c #Conflicts: 191000 | #Constraints: 138434
86.44/86.72 c INPROCESSING
86.44/86.72 c GARBAGE COLLECT
86.44/86.72 c #Conflicts: 192000 | #Constraints: 117451
86.44/86.72 c #Conflicts: 193000 | #Constraints: 118451
86.44/86.72 c #Conflicts: 194000 | #Constraints: 119451
86.44/86.72 c #Conflicts: 195000 | #Constraints: 120451
86.44/86.72 c #Conflicts: 196000 | #Constraints: 121451
86.44/86.72 c #Conflicts: 197000 | #Constraints: 122451
86.44/86.72 c #Conflicts: 198000 | #Constraints: 123451
86.44/86.72 c #Conflicts: 199000 | #Constraints: 124451
86.44/86.72 c #Conflicts: 200000 | #Constraints: 125451
86.44/86.72 c #Conflicts: 201000 | #Constraints: 126451
86.44/86.72 c INPROCESSING
86.44/86.72 c GARBAGE COLLECT
86.44/86.72 c #Conflicts: 202000 | #Constraints: 111640
86.44/86.72 c #Conflicts: 203000 | #Constraints: 112640
86.44/86.72 c #Conflicts: 204000 | #Constraints: 113640
86.44/86.72 c #Conflicts: 205000 | #Constraints: 114640
86.44/86.72 c #Conflicts: 206000 | #Constraints: 115640
86.44/86.72 c #Conflicts: 207000 | #Constraints: 116640
142.58/143.09 c #Conflicts: 208000 | #Constraints: 117640
142.58/143.09 c #Conflicts: 209000 | #Constraints: 118640
142.58/143.09 c #Conflicts: 210000 | #Constraints: 119640
142.58/143.09 c INPROCESSING
142.58/143.09 c GARBAGE COLLECT
142.58/143.09 c #Conflicts: 211000 | #Constraints: 107869
142.58/143.09 c #Conflicts: 212000 | #Constraints: 108869
142.58/143.09 c #Conflicts: 213000 | #Constraints: 109869
142.58/143.09 c #Conflicts: 214000 | #Constraints: 110869
142.58/143.09 c #Conflicts: 215000 | #Constraints: 111869
142.58/143.09 c #Conflicts: 216000 | #Constraints: 112869
142.58/143.09 c #Conflicts: 217000 | #Constraints: 113869
142.58/143.09 c #Conflicts: 218000 | #Constraints: 114869
142.58/143.09 c #Conflicts: 219000 | #Constraints: 115869
142.58/143.09 c #Conflicts: 220000 | #Constraints: 116869
142.58/143.09 c INPROCESSING
142.58/143.09 c GARBAGE COLLECT
142.58/143.09 c #Conflicts: 221000 | #Constraints: 106451
142.58/143.09 c #Conflicts: 222000 | #Constraints: 107451
142.58/143.09 c #Conflicts: 223000 | #Constraints: 108451
142.58/143.09 c #Conflicts: 224000 | #Constraints: 109451
142.58/143.09 c #Conflicts: 225000 | #Constraints: 110451
142.58/143.09 c #Conflicts: 226000 | #Constraints: 111451
142.58/143.09 c #Conflicts: 227000 | #Constraints: 112451
142.58/143.09 c #Conflicts: 228000 | #Constraints: 113451
142.58/143.09 c #Conflicts: 229000 | #Constraints: 114451
142.58/143.09 c #Conflicts: 230000 | #Constraints: 115451
142.58/143.09 c #Conflicts: 231000 | #Constraints: 116451
142.58/143.09 c #Conflicts: 232000 | #Constraints: 117451
142.58/143.09 c #Conflicts: 233000 | #Constraints: 118451
142.58/143.09 c #Conflicts: 234000 | #Constraints: 119451
142.58/143.09 c #Conflicts: 235000 | #Constraints: 120451
142.58/143.09 c #Conflicts: 236000 | #Constraints: 121451
142.58/143.09 c #Conflicts: 237000 | #Constraints: 122451
142.58/143.09 c #Conflicts: 238000 | #Constraints: 123451
142.58/143.09 c #Conflicts: 239000 | #Constraints: 124451
142.58/143.09 c #Conflicts: 240000 | #Constraints: 125451
142.58/143.09 c #Conflicts: 241000 | #Constraints: 126451
142.58/143.09 c #Conflicts: 242000 | #Constraints: 127451
142.58/143.09 c #Conflicts: 243000 | #Constraints: 128451
142.58/143.09 c #Conflicts: 244000 | #Constraints: 129451
142.58/143.09 c #Conflicts: 245000 | #Constraints: 130451
142.58/143.09 c #Conflicts: 246000 | #Constraints: 131451
142.58/143.09 c #Conflicts: 247000 | #Constraints: 132451
142.58/143.09 c #Conflicts: 248000 | #Constraints: 133451
142.58/143.09 c #Conflicts: 249000 | #Constraints: 134451
142.58/143.09 c #Conflicts: 250000 | #Constraints: 135451
142.58/143.09 c #Conflicts: 251000 | #Constraints: 136451
142.58/143.09 c #Conflicts: 252000 | #Constraints: 137451
142.58/143.09 c #Conflicts: 253000 | #Constraints: 138451
142.58/143.09 c #Conflicts: 254000 | #Constraints: 139451
142.58/143.09 c #Conflicts: 255000 | #Constraints: 140451
142.58/143.09 c #Conflicts: 256000 | #Constraints: 141451
142.58/143.09 c #Conflicts: 257000 | #Constraints: 142451
142.58/143.09 c #Conflicts: 258000 | #Constraints: 143451
142.58/143.09 c #Conflicts: 259000 | #Constraints: 144451
142.58/143.09 c #Conflicts: 260000 | #Constraints: 145451
142.58/143.09 c INPROCESSING
142.58/143.09 c GARBAGE COLLECT
142.58/143.09 c #Conflicts: 261000 | #Constraints: 120818
142.58/143.09 c #Conflicts: 262000 | #Constraints: 121818
142.58/143.09 c #Conflicts: 263000 | #Constraints: 122818
142.58/143.09 c #Conflicts: 264000 | #Constraints: 123818
142.58/143.09 c #Conflicts: 265000 | #Constraints: 124818
142.58/143.09 c #Conflicts: 266000 | #Constraints: 125818
142.58/143.09 c #Conflicts: 267000 | #Constraints: 126818
142.58/143.09 c #Conflicts: 268000 | #Constraints: 127818
142.58/143.09 c #Conflicts: 269000 | #Constraints: 128818
142.58/143.09 c #Conflicts: 270000 | #Constraints: 129818
142.58/143.09 c #Conflicts: 271000 | #Constraints: 130818
142.58/143.09 c #Conflicts: 272000 | #Constraints: 131818
142.58/143.09 c INPROCESSING
142.58/143.09 c GARBAGE COLLECT
142.58/143.09 c #Conflicts: 273000 | #Constraints: 114353
142.58/143.09 c #Conflicts: 274000 | #Constraints: 115353
142.58/143.09 c #Conflicts: 275000 | #Constraints: 116353
142.58/143.09 c #Conflicts: 276000 | #Constraints: 117353
142.58/143.09 c #Conflicts: 277000 | #Constraints: 118353
142.58/143.09 c #Conflicts: 278000 | #Constraints: 119353
142.58/143.09 c #Conflicts: 279000 | #Constraints: 120353
142.58/143.09 c #Conflicts: 280000 | #Constraints: 121353
142.58/143.09 c #Conflicts: 281000 | #Constraints: 122353
142.58/143.09 c #Conflicts: 282000 | #Constraints: 123353
142.58/143.09 c #Conflicts: 283000 | #Constraints: 124353
142.58/143.09 c INPROCESSING
208.28/208.96 c GARBAGE COLLECT
208.28/208.96 c #Conflicts: 284000 | #Constraints: 110389
208.28/208.96 c #Conflicts: 285000 | #Constraints: 111389
208.28/208.96 c #Conflicts: 286000 | #Constraints: 112389
208.28/208.96 c #Conflicts: 287000 | #Constraints: 113389
208.28/208.96 c #Conflicts: 288000 | #Constraints: 114389
208.28/208.96 c #Conflicts: 289000 | #Constraints: 115389
208.28/208.96 c #Conflicts: 290000 | #Constraints: 116389
208.28/208.96 c #Conflicts: 291000 | #Constraints: 117389
208.28/208.96 c #Conflicts: 292000 | #Constraints: 118389
208.28/208.96 c #Conflicts: 293000 | #Constraints: 119389
208.28/208.96 c #Conflicts: 294000 | #Constraints: 120389
208.28/208.96 c #Conflicts: 295000 | #Constraints: 121389
208.28/208.96 c INPROCESSING
208.28/208.96 c GARBAGE COLLECT
208.28/208.96 c #Conflicts: 296000 | #Constraints: 109032
208.28/208.96 c #Conflicts: 297000 | #Constraints: 110032
208.28/208.96 c #Conflicts: 298000 | #Constraints: 111032
208.28/208.96 c #Conflicts: 299000 | #Constraints: 112032
208.28/208.96 c #Conflicts: 300000 | #Constraints: 113032
208.28/208.96 c #Conflicts: 301000 | #Constraints: 114032
208.28/208.96 c #Conflicts: 302000 | #Constraints: 115032
208.28/208.96 c #Conflicts: 303000 | #Constraints: 116032
208.28/208.96 c #Conflicts: 304000 | #Constraints: 117032
208.28/208.96 c #Conflicts: 305000 | #Constraints: 118032
208.28/208.96 c #Conflicts: 306000 | #Constraints: 119032
208.28/208.96 c #Conflicts: 307000 | #Constraints: 120032
208.28/208.96 c #Conflicts: 308000 | #Constraints: 121032
208.28/208.96 c #Conflicts: 309000 | #Constraints: 122032
208.28/208.96 c #Conflicts: 310000 | #Constraints: 123032
208.28/208.96 c #Conflicts: 311000 | #Constraints: 124032
208.28/208.96 c #Conflicts: 312000 | #Constraints: 125032
208.28/208.96 c #Conflicts: 313000 | #Constraints: 126032
208.28/208.96 c #Conflicts: 314000 | #Constraints: 127032
208.28/208.96 c #Conflicts: 315000 | #Constraints: 128032
208.28/208.96 c #Conflicts: 316000 | #Constraints: 129032
208.28/208.96 c #Conflicts: 317000 | #Constraints: 130032
208.28/208.96 c #Conflicts: 318000 | #Constraints: 131032
208.28/208.96 c #Conflicts: 319000 | #Constraints: 132032
208.28/208.96 c #Conflicts: 320000 | #Constraints: 133032
208.28/208.96 c #Conflicts: 321000 | #Constraints: 134032
208.28/208.96 c #Conflicts: 322000 | #Constraints: 135032
208.28/208.96 c #Conflicts: 323000 | #Constraints: 136032
208.28/208.96 c #Conflicts: 324000 | #Constraints: 137032
208.28/208.96 c #Conflicts: 325000 | #Constraints: 138032
208.28/208.96 c #Conflicts: 326000 | #Constraints: 139032
208.28/208.96 c #Conflicts: 327000 | #Constraints: 140032
208.28/208.96 c #Conflicts: 328000 | #Constraints: 141032
208.28/208.96 c #Conflicts: 329000 | #Constraints: 142032
208.28/208.96 c #Conflicts: 330000 | #Constraints: 143032
208.28/208.96 c #Conflicts: 331000 | #Constraints: 144032
208.28/208.96 c #Conflicts: 332000 | #Constraints: 145032
208.28/208.96 c #Conflicts: 333000 | #Constraints: 146032
208.28/208.96 c #Conflicts: 334000 | #Constraints: 147032
208.28/208.96 c #Conflicts: 335000 | #Constraints: 148032
208.28/208.96 c #Conflicts: 336000 | #Constraints: 149032
208.28/208.96 c #Conflicts: 337000 | #Constraints: 150032
208.28/208.96 c #Conflicts: 338000 | #Constraints: 151032
208.28/208.96 c #Conflicts: 339000 | #Constraints: 152032
208.28/208.96 c #Conflicts: 340000 | #Constraints: 153032
208.28/208.96 c INPROCESSING
208.28/208.96 c GARBAGE COLLECT
208.28/208.96 c #Conflicts: 341000 | #Constraints: 124774
208.28/208.96 c #Conflicts: 342000 | #Constraints: 125774
208.28/208.96 c #Conflicts: 343000 | #Constraints: 126774
208.28/208.96 c #Conflicts: 344000 | #Constraints: 127774
208.28/208.96 c #Conflicts: 345000 | #Constraints: 128774
208.28/208.96 c #Conflicts: 346000 | #Constraints: 129774
208.28/208.96 c #Conflicts: 347000 | #Constraints: 130774
208.28/208.96 c #Conflicts: 348000 | #Constraints: 131774
208.28/208.96 c #Conflicts: 349000 | #Constraints: 132774
208.28/208.96 c #Conflicts: 350000 | #Constraints: 133774
208.28/208.96 c #Conflicts: 351000 | #Constraints: 134774
208.28/208.96 c #Conflicts: 352000 | #Constraints: 135774
208.28/208.96 c #Conflicts: 353000 | #Constraints: 136774
208.28/208.96 c INPROCESSING
208.28/208.96 c GARBAGE COLLECT
208.28/208.96 c #Conflicts: 354000 | #Constraints: 116632
208.28/208.96 c #Conflicts: 355000 | #Constraints: 117632
208.28/208.96 c #Conflicts: 356000 | #Constraints: 118632
208.28/208.96 c #Conflicts: 357000 | #Constraints: 119632
208.28/208.96 c #Conflicts: 358000 | #Constraints: 120632
208.28/208.96 c #Conflicts: 359000 | #Constraints: 121632
208.28/208.96 c #Conflicts: 360000 | #Constraints: 122632
265.95/266.79 c #Conflicts: 361000 | #Constraints: 123632
265.95/266.79 c #Conflicts: 362000 | #Constraints: 124632
265.95/266.79 c #Conflicts: 363000 | #Constraints: 125632
265.95/266.79 c #Conflicts: 364000 | #Constraints: 126632
265.95/266.79 c #Conflicts: 365000 | #Constraints: 127632
265.95/266.79 c #Conflicts: 366000 | #Constraints: 128632
265.95/266.79 c INPROCESSING
265.95/266.79 c GARBAGE COLLECT
265.95/266.79 c #Conflicts: 367000 | #Constraints: 112425
265.95/266.79 c #Conflicts: 368000 | #Constraints: 113425
265.95/266.79 c #Conflicts: 369000 | #Constraints: 114425
265.95/266.79 c #Conflicts: 370000 | #Constraints: 115425
265.95/266.79 c #Conflicts: 371000 | #Constraints: 116425
265.95/266.79 c #Conflicts: 372000 | #Constraints: 117425
265.95/266.79 c #Conflicts: 373000 | #Constraints: 118425
265.95/266.79 c #Conflicts: 374000 | #Constraints: 119425
265.95/266.79 c #Conflicts: 375000 | #Constraints: 120425
265.95/266.79 c #Conflicts: 376000 | #Constraints: 121425
265.95/266.79 c #Conflicts: 377000 | #Constraints: 122425
265.95/266.79 c #Conflicts: 378000 | #Constraints: 123425
265.95/266.79 c #Conflicts: 379000 | #Constraints: 124425
265.95/266.79 c #Conflicts: 380000 | #Constraints: 125425
265.95/266.79 c INPROCESSING
265.95/266.79 c GARBAGE COLLECT
265.95/266.79 c #Conflicts: 381000 | #Constraints: 111154
265.95/266.79 c #Conflicts: 382000 | #Constraints: 112154
265.95/266.79 c #Conflicts: 383000 | #Constraints: 113154
265.95/266.79 c #Conflicts: 384000 | #Constraints: 114154
265.95/266.79 c #Conflicts: 385000 | #Constraints: 115154
265.95/266.79 c #Conflicts: 386000 | #Constraints: 116154
265.95/266.79 c #Conflicts: 387000 | #Constraints: 117154
265.95/266.79 c #Conflicts: 388000 | #Constraints: 118154
265.95/266.79 c #Conflicts: 389000 | #Constraints: 119154
265.95/266.79 c #Conflicts: 390000 | #Constraints: 120154
265.95/266.79 c #Conflicts: 391000 | #Constraints: 121154
265.95/266.79 c #Conflicts: 392000 | #Constraints: 122154
265.95/266.79 c #Conflicts: 393000 | #Constraints: 123154
265.95/266.79 c #Conflicts: 394000 | #Constraints: 124154
265.95/266.79 c #Conflicts: 395000 | #Constraints: 125154
265.95/266.79 c #Conflicts: 396000 | #Constraints: 126154
265.95/266.79 c #Conflicts: 397000 | #Constraints: 127154
265.95/266.79 c #Conflicts: 398000 | #Constraints: 128154
265.95/266.79 c #Conflicts: 399000 | #Constraints: 129154
265.95/266.79 c #Conflicts: 400000 | #Constraints: 130154
265.95/266.79 c #Conflicts: 401000 | #Constraints: 131154
265.95/266.79 c #Conflicts: 402000 | #Constraints: 132154
265.95/266.79 c #Conflicts: 403000 | #Constraints: 133154
265.95/266.79 c #Conflicts: 404000 | #Constraints: 134154
265.95/266.79 c #Conflicts: 405000 | #Constraints: 135154
265.95/266.79 c #Conflicts: 406000 | #Constraints: 136154
265.95/266.79 c #Conflicts: 407000 | #Constraints: 137154
265.95/266.79 c #Conflicts: 408000 | #Constraints: 138154
265.95/266.79 c #Conflicts: 409000 | #Constraints: 139154
265.95/266.79 c #Conflicts: 410000 | #Constraints: 140154
265.95/266.79 c #Conflicts: 411000 | #Constraints: 141154
265.95/266.79 c #Conflicts: 412000 | #Constraints: 142154
265.95/266.79 c #Conflicts: 413000 | #Constraints: 143154
265.95/266.79 c #Conflicts: 414000 | #Constraints: 144154
265.95/266.79 c #Conflicts: 415000 | #Constraints: 145154
265.95/266.79 c #Conflicts: 416000 | #Constraints: 146154
265.95/266.79 c #Conflicts: 417000 | #Constraints: 147154
265.95/266.79 c #Conflicts: 418000 | #Constraints: 148154
265.95/266.79 c #Conflicts: 419000 | #Constraints: 149154
265.95/266.79 c #Conflicts: 420000 | #Constraints: 150154
265.95/266.79 c #Conflicts: 421000 | #Constraints: 151154
265.95/266.79 c #Conflicts: 422000 | #Constraints: 152154
265.95/266.79 c bounds -34 >= -186 @ 258.06
265.95/266.79 c #Conflicts: 423000 | #Constraints: 153203
265.95/266.79 c #Conflicts: 424000 | #Constraints: 154203
265.95/266.79 c #Conflicts: 425000 | #Constraints: 155203
265.95/266.79 c #Conflicts: 426000 | #Constraints: 156203
265.95/266.79 c #Conflicts: 427000 | #Constraints: 157203
265.95/266.79 c #Conflicts: 428000 | #Constraints: 158203
265.95/266.79 c #Conflicts: 429000 | #Constraints: 159203
265.95/266.79 c #Conflicts: 430000 | #Constraints: 160203
265.95/266.79 c INPROCESSING
265.95/266.79 c GARBAGE COLLECT
265.95/266.79 c #Conflicts: 431000 | #Constraints: 128308
265.95/266.79 c #Conflicts: 432000 | #Constraints: 129308
265.95/266.79 c #Conflicts: 433000 | #Constraints: 130308
265.95/266.79 c #Conflicts: 434000 | #Constraints: 131308
265.95/266.79 c #Conflicts: 435000 | #Constraints: 132308
265.95/266.79 c #Conflicts: 436000 | #Constraints: 133308
321.32/322.25 c #Conflicts: 437000 | #Constraints: 134308
321.32/322.25 c #Conflicts: 438000 | #Constraints: 135308
321.32/322.25 c #Conflicts: 439000 | #Constraints: 136308
321.32/322.25 c #Conflicts: 440000 | #Constraints: 137308
321.32/322.25 c #Conflicts: 441000 | #Constraints: 138308
321.32/322.25 c #Conflicts: 442000 | #Constraints: 139308
321.32/322.25 c #Conflicts: 443000 | #Constraints: 140308
321.32/322.25 c #Conflicts: 444000 | #Constraints: 141308
321.32/322.25 c #Conflicts: 445000 | #Constraints: 142308
321.32/322.25 c INPROCESSING
321.32/322.25 c GARBAGE COLLECT
321.32/322.25 c #Conflicts: 446000 | #Constraints: 119522
321.32/322.25 c #Conflicts: 447000 | #Constraints: 120522
321.32/322.25 c #Conflicts: 448000 | #Constraints: 121522
321.32/322.25 c #Conflicts: 449000 | #Constraints: 122522
321.32/322.25 c #Conflicts: 450000 | #Constraints: 123522
321.32/322.25 c #Conflicts: 451000 | #Constraints: 124522
321.32/322.25 c #Conflicts: 452000 | #Constraints: 125522
321.32/322.25 c #Conflicts: 453000 | #Constraints: 126522
321.32/322.25 c #Conflicts: 454000 | #Constraints: 127522
321.32/322.25 c #Conflicts: 455000 | #Constraints: 128522
321.32/322.25 c #Conflicts: 456000 | #Constraints: 129522
321.32/322.25 c #Conflicts: 457000 | #Constraints: 130522
321.32/322.25 c #Conflicts: 458000 | #Constraints: 131522
321.32/322.25 c #Conflicts: 459000 | #Constraints: 132522
321.32/322.25 c #Conflicts: 460000 | #Constraints: 133522
321.32/322.25 c INPROCESSING
321.32/322.25 c GARBAGE COLLECT
321.32/322.25 c #Conflicts: 461000 | #Constraints: 115148
321.32/322.25 c #Conflicts: 462000 | #Constraints: 116148
321.32/322.25 c #Conflicts: 463000 | #Constraints: 117148
321.32/322.25 c #Conflicts: 464000 | #Constraints: 118148
321.32/322.25 c #Conflicts: 465000 | #Constraints: 119148
321.32/322.25 c #Conflicts: 466000 | #Constraints: 120148
321.32/322.25 c #Conflicts: 467000 | #Constraints: 121148
321.32/322.25 c #Conflicts: 468000 | #Constraints: 122148
321.32/322.25 c #Conflicts: 469000 | #Constraints: 123148
321.32/322.25 c #Conflicts: 470000 | #Constraints: 124148
321.32/322.25 c #Conflicts: 471000 | #Constraints: 125148
321.32/322.25 c #Conflicts: 472000 | #Constraints: 126148
321.32/322.25 c #Conflicts: 473000 | #Constraints: 127148
321.32/322.25 c #Conflicts: 474000 | #Constraints: 128148
321.32/322.25 c #Conflicts: 475000 | #Constraints: 129148
321.32/322.25 c INPROCESSING
321.32/322.25 c GARBAGE COLLECT
321.32/322.25 c #Conflicts: 476000 | #Constraints: 112919
321.32/322.25 c #Conflicts: 477000 | #Constraints: 113919
321.32/322.25 c #Conflicts: 478000 | #Constraints: 114919
321.32/322.25 c #Conflicts: 479000 | #Constraints: 115919
321.32/322.25 c #Conflicts: 480000 | #Constraints: 116919
321.32/322.25 c #Conflicts: 481000 | #Constraints: 117919
321.32/322.25 c #Conflicts: 482000 | #Constraints: 118919
321.32/322.25 c #Conflicts: 483000 | #Constraints: 119919
321.32/322.25 c #Conflicts: 484000 | #Constraints: 120919
321.32/322.25 c #Conflicts: 485000 | #Constraints: 121919
321.32/322.25 c #Conflicts: 486000 | #Constraints: 122919
321.32/322.25 c #Conflicts: 487000 | #Constraints: 123919
321.32/322.25 c #Conflicts: 488000 | #Constraints: 124919
321.32/322.25 c #Conflicts: 489000 | #Constraints: 125919
321.32/322.25 c #Conflicts: 490000 | #Constraints: 126919
321.32/322.25 c #Conflicts: 491000 | #Constraints: 127919
321.32/322.25 c #Conflicts: 492000 | #Constraints: 128919
321.32/322.25 c #Conflicts: 493000 | #Constraints: 129919
321.32/322.25 c #Conflicts: 494000 | #Constraints: 130919
321.32/322.25 c #Conflicts: 495000 | #Constraints: 131919
321.32/322.25 c #Conflicts: 496000 | #Constraints: 132919
321.32/322.25 c #Conflicts: 497000 | #Constraints: 133919
321.32/322.25 c #Conflicts: 498000 | #Constraints: 134919
321.32/322.25 c #Conflicts: 499000 | #Constraints: 135919
321.32/322.25 c #Conflicts: 500000 | #Constraints: 136919
321.32/322.25 c #Conflicts: 501000 | #Constraints: 137919
321.32/322.25 c #Conflicts: 502000 | #Constraints: 138919
321.32/322.25 c #Conflicts: 503000 | #Constraints: 139919
321.32/322.25 c #Conflicts: 504000 | #Constraints: 140919
321.32/322.25 c #Conflicts: 505000 | #Constraints: 141919
321.32/322.25 c #Conflicts: 506000 | #Constraints: 142919
321.32/322.25 c #Conflicts: 507000 | #Constraints: 143919
321.32/322.25 c #Conflicts: 508000 | #Constraints: 144919
321.32/322.25 c #Conflicts: 509000 | #Constraints: 145919
321.32/322.25 c #Conflicts: 510000 | #Constraints: 146919
321.32/322.25 c #Conflicts: 511000 | #Constraints: 147919
321.32/322.25 c #Conflicts: 512000 | #Constraints: 148919
321.32/322.25 c #Conflicts: 513000 | #Constraints: 149919
402.63/403.73 c #Conflicts: 514000 | #Constraints: 150919
402.63/403.73 c #Conflicts: 515000 | #Constraints: 151919
402.63/403.73 c #Conflicts: 516000 | #Constraints: 152919
402.63/403.73 c #Conflicts: 517000 | #Constraints: 153919
402.63/403.73 c #Conflicts: 518000 | #Constraints: 154919
402.63/403.73 c #Conflicts: 519000 | #Constraints: 155919
402.63/403.73 c #Conflicts: 520000 | #Constraints: 156919
402.63/403.73 c #Conflicts: 521000 | #Constraints: 157919
402.63/403.73 c #Conflicts: 522000 | #Constraints: 158919
402.63/403.73 c #Conflicts: 523000 | #Constraints: 159919
402.63/403.73 c #Conflicts: 524000 | #Constraints: 160919
402.63/403.73 c #Conflicts: 525000 | #Constraints: 161919
402.63/403.73 c #Conflicts: 526000 | #Constraints: 162919
402.63/403.73 c #Conflicts: 527000 | #Constraints: 163919
402.63/403.73 c #Conflicts: 528000 | #Constraints: 164919
402.63/403.73 c #Conflicts: 529000 | #Constraints: 165919
402.63/403.73 c #Conflicts: 530000 | #Constraints: 166919
402.63/403.73 c #Conflicts: 531000 | #Constraints: 167919
402.63/403.73 c INPROCESSING
402.63/403.73 c GARBAGE COLLECT
402.63/403.73 c #Conflicts: 532000 | #Constraints: 132420
402.63/403.73 c #Conflicts: 533000 | #Constraints: 133420
402.63/403.73 c #Conflicts: 534000 | #Constraints: 134420
402.63/403.73 c #Conflicts: 535000 | #Constraints: 135420
402.63/403.73 c #Conflicts: 536000 | #Constraints: 136420
402.63/403.73 c #Conflicts: 537000 | #Constraints: 137420
402.63/403.73 c #Conflicts: 538000 | #Constraints: 138420
402.63/403.73 c #Conflicts: 539000 | #Constraints: 139420
402.63/403.73 c #Conflicts: 540000 | #Constraints: 140420
402.63/403.73 c #Conflicts: 541000 | #Constraints: 141420
402.63/403.73 c #Conflicts: 542000 | #Constraints: 142420
402.63/403.73 c #Conflicts: 543000 | #Constraints: 143420
402.63/403.73 c #Conflicts: 544000 | #Constraints: 144420
402.63/403.73 c #Conflicts: 545000 | #Constraints: 145420
402.63/403.73 c #Conflicts: 546000 | #Constraints: 146420
402.63/403.73 c #Conflicts: 547000 | #Constraints: 147420
402.63/403.73 c INPROCESSING
402.63/403.73 c GARBAGE COLLECT
402.63/403.73 c #Conflicts: 548000 | #Constraints: 121951
402.63/403.73 c #Conflicts: 549000 | #Constraints: 122951
402.63/403.73 c #Conflicts: 550000 | #Constraints: 123951
402.63/403.73 c #Conflicts: 551000 | #Constraints: 124951
402.63/403.73 c #Conflicts: 552000 | #Constraints: 125951
402.63/403.73 c #Conflicts: 553000 | #Constraints: 126951
402.63/403.73 c #Conflicts: 554000 | #Constraints: 127951
402.63/403.73 c #Conflicts: 555000 | #Constraints: 128951
402.63/403.73 c #Conflicts: 556000 | #Constraints: 129951
402.63/403.73 c #Conflicts: 557000 | #Constraints: 130951
402.63/403.73 c #Conflicts: 558000 | #Constraints: 131951
402.63/403.73 c #Conflicts: 559000 | #Constraints: 132951
402.63/403.73 c #Conflicts: 560000 | #Constraints: 133951
402.63/403.73 c #Conflicts: 561000 | #Constraints: 134951
402.63/403.73 c #Conflicts: 562000 | #Constraints: 135951
402.63/403.73 c #Conflicts: 563000 | #Constraints: 136951
402.63/403.73 c #Conflicts: 564000 | #Constraints: 137951
402.63/403.73 c INPROCESSING
402.63/403.73 c GARBAGE COLLECT
402.63/403.73 c #Conflicts: 565000 | #Constraints: 117421
402.63/403.73 c #Conflicts: 566000 | #Constraints: 118421
402.63/403.73 c #Conflicts: 567000 | #Constraints: 119421
402.63/403.73 c #Conflicts: 568000 | #Constraints: 120421
402.63/403.73 c #Conflicts: 569000 | #Constraints: 121421
402.63/403.73 c #Conflicts: 570000 | #Constraints: 122421
402.63/403.73 c #Conflicts: 571000 | #Constraints: 123421
402.63/403.73 c #Conflicts: 572000 | #Constraints: 124421
402.63/403.73 c #Conflicts: 573000 | #Constraints: 125421
402.63/403.73 c #Conflicts: 574000 | #Constraints: 126421
402.63/403.73 c #Conflicts: 575000 | #Constraints: 127421
402.63/403.73 c #Conflicts: 576000 | #Constraints: 128421
402.63/403.73 c #Conflicts: 577000 | #Constraints: 129421
402.63/403.73 c #Conflicts: 578000 | #Constraints: 130421
402.63/403.73 c #Conflicts: 579000 | #Constraints: 131421
402.63/403.73 c #Conflicts: 580000 | #Constraints: 132421
402.63/403.73 c INPROCESSING
402.63/403.73 c GARBAGE COLLECT
402.63/403.73 c #Conflicts: 581000 | #Constraints: 114281
402.63/403.73 c #Conflicts: 582000 | #Constraints: 115281
402.63/403.73 c #Conflicts: 583000 | #Constraints: 116281
402.63/403.73 c #Conflicts: 584000 | #Constraints: 117281
402.63/403.73 c #Conflicts: 585000 | #Constraints: 118281
402.63/403.73 c #Conflicts: 586000 | #Constraints: 119281
402.63/403.73 c #Conflicts: 587000 | #Constraints: 120281
402.63/403.73 c #Conflicts: 588000 | #Constraints: 121281
402.63/403.73 c #Conflicts: 589000 | #Constraints: 122281
517.65/519.05 c #Conflicts: 590000 | #Constraints: 123281
517.65/519.05 c #Conflicts: 591000 | #Constraints: 124281
517.65/519.05 c #Conflicts: 592000 | #Constraints: 125281
517.65/519.05 c #Conflicts: 593000 | #Constraints: 126281
517.65/519.05 c #Conflicts: 594000 | #Constraints: 127281
517.65/519.05 c #Conflicts: 595000 | #Constraints: 128281
517.65/519.05 c #Conflicts: 596000 | #Constraints: 129281
517.65/519.05 c #Conflicts: 597000 | #Constraints: 130281
517.65/519.05 c #Conflicts: 598000 | #Constraints: 131281
517.65/519.05 c #Conflicts: 599000 | #Constraints: 132281
517.65/519.05 c #Conflicts: 600000 | #Constraints: 133281
517.65/519.05 c #Conflicts: 601000 | #Constraints: 134281
517.65/519.05 c #Conflicts: 602000 | #Constraints: 135281
517.65/519.05 c #Conflicts: 603000 | #Constraints: 136281
517.65/519.05 c #Conflicts: 604000 | #Constraints: 137281
517.65/519.05 c #Conflicts: 605000 | #Constraints: 138281
517.65/519.05 c #Conflicts: 606000 | #Constraints: 139281
517.65/519.05 c #Conflicts: 607000 | #Constraints: 140281
517.65/519.05 c #Conflicts: 608000 | #Constraints: 141281
517.65/519.05 c #Conflicts: 609000 | #Constraints: 142281
517.65/519.05 c #Conflicts: 610000 | #Constraints: 143281
517.65/519.05 c #Conflicts: 611000 | #Constraints: 144281
517.65/519.05 c #Conflicts: 612000 | #Constraints: 145281
517.65/519.05 c #Conflicts: 613000 | #Constraints: 146281
517.65/519.05 c #Conflicts: 614000 | #Constraints: 147281
517.65/519.05 c #Conflicts: 615000 | #Constraints: 148281
517.65/519.05 c #Conflicts: 616000 | #Constraints: 149281
517.65/519.05 c #Conflicts: 617000 | #Constraints: 150281
517.65/519.05 c #Conflicts: 618000 | #Constraints: 151281
517.65/519.05 c #Conflicts: 619000 | #Constraints: 152281
517.65/519.05 c #Conflicts: 620000 | #Constraints: 153281
517.65/519.05 c #Conflicts: 621000 | #Constraints: 154281
517.65/519.05 c #Conflicts: 622000 | #Constraints: 155281
517.65/519.05 c #Conflicts: 623000 | #Constraints: 156281
517.65/519.05 c #Conflicts: 624000 | #Constraints: 157281
517.65/519.05 c #Conflicts: 625000 | #Constraints: 158281
517.65/519.05 c #Conflicts: 626000 | #Constraints: 159281
517.65/519.05 c #Conflicts: 627000 | #Constraints: 160281
517.65/519.05 c #Conflicts: 628000 | #Constraints: 161281
517.65/519.05 c #Conflicts: 629000 | #Constraints: 162281
517.65/519.05 c #Conflicts: 630000 | #Constraints: 163281
517.65/519.05 c #Conflicts: 631000 | #Constraints: 164281
517.65/519.05 c #Conflicts: 632000 | #Constraints: 165281
517.65/519.05 c #Conflicts: 633000 | #Constraints: 166281
517.65/519.05 c #Conflicts: 634000 | #Constraints: 167281
517.65/519.05 c #Conflicts: 635000 | #Constraints: 168281
517.65/519.05 c #Conflicts: 636000 | #Constraints: 169281
517.65/519.05 c #Conflicts: 637000 | #Constraints: 170281
517.65/519.05 c #Conflicts: 638000 | #Constraints: 171281
517.65/519.05 c #Conflicts: 639000 | #Constraints: 172281
517.65/519.05 c #Conflicts: 640000 | #Constraints: 173281
517.65/519.05 c #Conflicts: 641000 | #Constraints: 174281
517.65/519.05 c INPROCESSING
517.65/519.05 c GARBAGE COLLECT
517.65/519.05 c #Conflicts: 642000 | #Constraints: 135161
517.65/519.05 c #Conflicts: 643000 | #Constraints: 136161
517.65/519.05 c #Conflicts: 644000 | #Constraints: 137161
517.65/519.05 c #Conflicts: 645000 | #Constraints: 138161
517.65/519.05 c #Conflicts: 646000 | #Constraints: 139161
517.65/519.05 c #Conflicts: 647000 | #Constraints: 140161
517.65/519.05 c #Conflicts: 648000 | #Constraints: 141161
517.65/519.05 c #Conflicts: 649000 | #Constraints: 142161
517.65/519.05 c #Conflicts: 650000 | #Constraints: 143161
517.65/519.05 c #Conflicts: 651000 | #Constraints: 144161
517.65/519.05 c #Conflicts: 652000 | #Constraints: 145161
517.65/519.05 c #Conflicts: 653000 | #Constraints: 146161
517.65/519.05 c #Conflicts: 654000 | #Constraints: 147161
517.65/519.05 c #Conflicts: 655000 | #Constraints: 148161
517.65/519.05 c #Conflicts: 656000 | #Constraints: 149161
517.65/519.05 c #Conflicts: 657000 | #Constraints: 150161
517.65/519.05 c #Conflicts: 658000 | #Constraints: 151161
517.65/519.05 c #Conflicts: 659000 | #Constraints: 152161
517.65/519.05 c #Conflicts: 660000 | #Constraints: 153161
517.65/519.05 c INPROCESSING
517.65/519.05 c GARBAGE COLLECT
517.65/519.05 c #Conflicts: 661000 | #Constraints: 125093
517.65/519.05 c #Conflicts: 662000 | #Constraints: 126093
517.65/519.05 c #Conflicts: 663000 | #Constraints: 127093
517.65/519.05 c #Conflicts: 664000 | #Constraints: 128093
517.65/519.05 c #Conflicts: 665000 | #Constraints: 129093
517.65/519.05 c #Conflicts: 666000 | #Constraints: 130093
517.65/519.05 c #Conflicts: 667000 | #Constraints: 131093
602.95/604.54 c #Conflicts: 668000 | #Constraints: 132093
602.95/604.54 c #Conflicts: 669000 | #Constraints: 133093
602.95/604.54 c #Conflicts: 670000 | #Constraints: 134093
602.95/604.54 c #Conflicts: 671000 | #Constraints: 135093
602.95/604.54 c #Conflicts: 672000 | #Constraints: 136093
602.95/604.54 c #Conflicts: 673000 | #Constraints: 137093
602.95/604.54 c #Conflicts: 674000 | #Constraints: 138093
602.95/604.54 c #Conflicts: 675000 | #Constraints: 139093
602.95/604.54 c #Conflicts: 676000 | #Constraints: 140093
602.95/604.54 c #Conflicts: 677000 | #Constraints: 141093
602.95/604.54 c #Conflicts: 678000 | #Constraints: 142093
602.95/604.54 c INPROCESSING
602.95/604.54 c GARBAGE COLLECT
602.95/604.54 c #Conflicts: 679000 | #Constraints: 119365
602.95/604.54 c #Conflicts: 680000 | #Constraints: 120365
602.95/604.54 c #Conflicts: 681000 | #Constraints: 121365
602.95/604.54 c #Conflicts: 682000 | #Constraints: 122365
602.95/604.54 c #Conflicts: 683000 | #Constraints: 123365
602.95/604.54 c #Conflicts: 684000 | #Constraints: 124365
602.95/604.54 c #Conflicts: 685000 | #Constraints: 125365
602.95/604.54 c #Conflicts: 686000 | #Constraints: 126365
602.95/604.54 c #Conflicts: 687000 | #Constraints: 127365
602.95/604.54 c #Conflicts: 688000 | #Constraints: 128365
602.95/604.54 c #Conflicts: 689000 | #Constraints: 129365
602.95/604.54 c #Conflicts: 690000 | #Constraints: 130365
602.95/604.54 c #Conflicts: 691000 | #Constraints: 131365
602.95/604.54 c #Conflicts: 692000 | #Constraints: 132365
602.95/604.54 c #Conflicts: 693000 | #Constraints: 133365
602.95/604.54 c #Conflicts: 694000 | #Constraints: 134365
602.95/604.54 c #Conflicts: 695000 | #Constraints: 135365
602.95/604.54 c #Conflicts: 696000 | #Constraints: 136365
602.95/604.54 c INPROCESSING
602.95/604.54 c GARBAGE COLLECT
602.95/604.54 c #Conflicts: 697000 | #Constraints: 116257
602.95/604.54 c #Conflicts: 698000 | #Constraints: 117257
602.95/604.54 c #Conflicts: 699000 | #Constraints: 118257
602.95/604.54 c #Conflicts: 700000 | #Constraints: 119257
602.95/604.54 c #Conflicts: 701000 | #Constraints: 120257
602.95/604.54 c #Conflicts: 702000 | #Constraints: 121257
602.95/604.54 c #Conflicts: 703000 | #Constraints: 122257
602.95/604.54 c #Conflicts: 704000 | #Constraints: 123257
602.95/604.54 c #Conflicts: 705000 | #Constraints: 124257
602.95/604.54 c #Conflicts: 706000 | #Constraints: 125257
602.95/604.54 c #Conflicts: 707000 | #Constraints: 126257
602.95/604.54 c #Conflicts: 708000 | #Constraints: 127257
602.95/604.54 c #Conflicts: 709000 | #Constraints: 128257
602.95/604.54 c #Conflicts: 710000 | #Constraints: 129257
602.95/604.54 c #Conflicts: 711000 | #Constraints: 130257
602.95/604.54 c #Conflicts: 712000 | #Constraints: 131257
602.95/604.54 c #Conflicts: 713000 | #Constraints: 132257
602.95/604.54 c #Conflicts: 714000 | #Constraints: 133257
602.95/604.54 c #Conflicts: 715000 | #Constraints: 134257
602.95/604.54 c #Conflicts: 716000 | #Constraints: 135257
602.95/604.54 c #Conflicts: 717000 | #Constraints: 136257
602.95/604.54 c #Conflicts: 718000 | #Constraints: 137257
602.95/604.54 c #Conflicts: 719000 | #Constraints: 138257
602.95/604.54 c #Conflicts: 720000 | #Constraints: 139257
602.95/604.54 c #Conflicts: 721000 | #Constraints: 140257
602.95/604.54 c #Conflicts: 722000 | #Constraints: 141257
602.95/604.54 c #Conflicts: 723000 | #Constraints: 142257
602.95/604.54 c #Conflicts: 724000 | #Constraints: 143257
602.95/604.54 c #Conflicts: 725000 | #Constraints: 144257
602.95/604.54 c #Conflicts: 726000 | #Constraints: 145257
602.95/604.54 c #Conflicts: 727000 | #Constraints: 146257
602.95/604.54 c #Conflicts: 728000 | #Constraints: 147257
602.95/604.54 c #Conflicts: 729000 | #Constraints: 148257
602.95/604.54 c #Conflicts: 730000 | #Constraints: 149257
602.95/604.54 c #Conflicts: 731000 | #Constraints: 150257
602.95/604.54 c #Conflicts: 732000 | #Constraints: 151257
602.95/604.54 c #Conflicts: 733000 | #Constraints: 152257
602.95/604.54 c #Conflicts: 734000 | #Constraints: 153257
602.95/604.54 c #Conflicts: 735000 | #Constraints: 154257
602.95/604.54 c #Conflicts: 736000 | #Constraints: 155257
602.95/604.54 c #Conflicts: 737000 | #Constraints: 156257
602.95/604.54 c #Conflicts: 738000 | #Constraints: 157257
602.95/604.54 c #Conflicts: 739000 | #Constraints: 158257
602.95/604.54 c #Conflicts: 740000 | #Constraints: 159257
602.95/604.54 c #Conflicts: 741000 | #Constraints: 160257
602.95/604.54 c #Conflicts: 742000 | #Constraints: 161257
602.95/604.54 c #Conflicts: 743000 | #Constraints: 162257
602.95/604.54 c #Conflicts: 744000 | #Constraints: 163257
721.26/723.15 c #Conflicts: 745000 | #Constraints: 164257
721.26/723.15 c #Conflicts: 746000 | #Constraints: 165257
721.26/723.15 c #Conflicts: 747000 | #Constraints: 166257
721.26/723.15 c #Conflicts: 748000 | #Constraints: 167257
721.26/723.15 c #Conflicts: 749000 | #Constraints: 168257
721.26/723.15 c #Conflicts: 750000 | #Constraints: 169257
721.26/723.15 c #Conflicts: 751000 | #Constraints: 170257
721.26/723.15 c #Conflicts: 752000 | #Constraints: 171257
721.26/723.15 c #Conflicts: 753000 | #Constraints: 172257
721.26/723.15 c #Conflicts: 754000 | #Constraints: 173257
721.26/723.15 c #Conflicts: 755000 | #Constraints: 174257
721.26/723.15 c #Conflicts: 756000 | #Constraints: 175257
721.26/723.15 c #Conflicts: 757000 | #Constraints: 176257
721.26/723.15 c #Conflicts: 758000 | #Constraints: 177257
721.26/723.15 c #Conflicts: 759000 | #Constraints: 178257
721.26/723.15 c #Conflicts: 760000 | #Constraints: 179257
721.26/723.15 c #Conflicts: 761000 | #Constraints: 180257
721.26/723.15 c #Conflicts: 762000 | #Constraints: 181257
721.26/723.15 c #Conflicts: 763000 | #Constraints: 182257
721.26/723.15 c INPROCESSING
721.26/723.15 c GARBAGE COLLECT
721.26/723.15 c #Conflicts: 764000 | #Constraints: 139528
721.26/723.15 c #Conflicts: 765000 | #Constraints: 140528
721.26/723.15 c #Conflicts: 766000 | #Constraints: 141528
721.26/723.15 c #Conflicts: 767000 | #Constraints: 142528
721.26/723.15 c #Conflicts: 768000 | #Constraints: 143528
721.26/723.15 c #Conflicts: 769000 | #Constraints: 144528
721.26/723.15 c #Conflicts: 770000 | #Constraints: 145528
721.26/723.15 c #Conflicts: 771000 | #Constraints: 146528
721.26/723.15 c #Conflicts: 772000 | #Constraints: 147528
721.26/723.15 c #Conflicts: 773000 | #Constraints: 148528
721.26/723.15 c #Conflicts: 774000 | #Constraints: 149528
721.26/723.15 c #Conflicts: 775000 | #Constraints: 150528
721.26/723.15 c #Conflicts: 776000 | #Constraints: 151528
721.26/723.15 c #Conflicts: 777000 | #Constraints: 152528
721.26/723.15 c #Conflicts: 778000 | #Constraints: 153528
721.26/723.15 c #Conflicts: 779000 | #Constraints: 154528
721.26/723.15 c #Conflicts: 780000 | #Constraints: 155528
721.26/723.15 c #Conflicts: 781000 | #Constraints: 156528
721.26/723.15 c #Conflicts: 782000 | #Constraints: 157528
721.26/723.15 c #Conflicts: 783000 | #Constraints: 158528
721.26/723.15 c INPROCESSING
721.26/723.15 c GARBAGE COLLECT
721.26/723.15 c #Conflicts: 784000 | #Constraints: 127748
721.26/723.15 c #Conflicts: 785000 | #Constraints: 128748
721.26/723.15 c #Conflicts: 786000 | #Constraints: 129748
721.26/723.15 c #Conflicts: 787000 | #Constraints: 130748
721.26/723.15 c #Conflicts: 788000 | #Constraints: 131748
721.26/723.15 c #Conflicts: 789000 | #Constraints: 132748
721.26/723.15 c #Conflicts: 790000 | #Constraints: 133748
721.26/723.15 c #Conflicts: 791000 | #Constraints: 134748
721.26/723.15 c #Conflicts: 792000 | #Constraints: 135748
721.26/723.15 c #Conflicts: 793000 | #Constraints: 136748
721.26/723.15 c #Conflicts: 794000 | #Constraints: 137748
721.26/723.15 c #Conflicts: 795000 | #Constraints: 138748
721.26/723.15 c #Conflicts: 796000 | #Constraints: 139748
721.26/723.15 c #Conflicts: 797000 | #Constraints: 140748
721.26/723.15 c #Conflicts: 798000 | #Constraints: 141748
721.26/723.15 c #Conflicts: 799000 | #Constraints: 142748
721.26/723.15 c #Conflicts: 800000 | #Constraints: 143748
721.26/723.15 c #Conflicts: 801000 | #Constraints: 144748
721.26/723.15 c #Conflicts: 802000 | #Constraints: 145748
721.26/723.15 c #Conflicts: 803000 | #Constraints: 146748
721.26/723.15 c INPROCESSING
721.26/723.15 c GARBAGE COLLECT
721.26/723.15 c #Conflicts: 804000 | #Constraints: 121849
721.26/723.15 c #Conflicts: 805000 | #Constraints: 122849
721.26/723.15 c #Conflicts: 806000 | #Constraints: 123849
721.26/723.15 c #Conflicts: 807000 | #Constraints: 124849
721.26/723.15 c #Conflicts: 808000 | #Constraints: 125849
721.26/723.15 c #Conflicts: 809000 | #Constraints: 126849
721.26/723.15 c #Conflicts: 810000 | #Constraints: 127849
721.26/723.15 c #Conflicts: 811000 | #Constraints: 128849
721.26/723.15 c #Conflicts: 812000 | #Constraints: 129849
721.26/723.15 c #Conflicts: 813000 | #Constraints: 130849
721.26/723.15 c #Conflicts: 814000 | #Constraints: 131849
721.26/723.15 c #Conflicts: 815000 | #Constraints: 132849
721.26/723.15 c #Conflicts: 816000 | #Constraints: 133849
721.26/723.15 c #Conflicts: 817000 | #Constraints: 134849
721.26/723.15 c #Conflicts: 818000 | #Constraints: 135849
721.26/723.15 c #Conflicts: 819000 | #Constraints: 136849
721.26/723.15 c #Conflicts: 820000 | #Constraints: 137849
721.26/723.15 c #Conflicts: 821000 | #Constraints: 138849
851.39/853.62 c #Conflicts: 822000 | #Constraints: 139849
851.39/853.62 c #Conflicts: 823000 | #Constraints: 140849
851.39/853.62 c INPROCESSING
851.39/853.62 c GARBAGE COLLECT
851.39/853.62 c #Conflicts: 824000 | #Constraints: 118820
851.39/853.62 c #Conflicts: 825000 | #Constraints: 119820
851.39/853.62 c #Conflicts: 826000 | #Constraints: 120820
851.39/853.62 c #Conflicts: 827000 | #Constraints: 121820
851.39/853.62 c #Conflicts: 828000 | #Constraints: 122820
851.39/853.62 c #Conflicts: 829000 | #Constraints: 123820
851.39/853.62 c #Conflicts: 830000 | #Constraints: 124820
851.39/853.62 c #Conflicts: 831000 | #Constraints: 125820
851.39/853.62 c #Conflicts: 832000 | #Constraints: 126820
851.39/853.62 c #Conflicts: 833000 | #Constraints: 127820
851.39/853.62 c #Conflicts: 834000 | #Constraints: 128820
851.39/853.62 c #Conflicts: 835000 | #Constraints: 129820
851.39/853.62 c #Conflicts: 836000 | #Constraints: 130820
851.39/853.62 c #Conflicts: 837000 | #Constraints: 131820
851.39/853.62 c #Conflicts: 838000 | #Constraints: 132820
851.39/853.62 c #Conflicts: 839000 | #Constraints: 133820
851.39/853.62 c #Conflicts: 840000 | #Constraints: 134820
851.39/853.62 c #Conflicts: 841000 | #Constraints: 135820
851.39/853.62 c #Conflicts: 842000 | #Constraints: 136820
851.39/853.62 c #Conflicts: 843000 | #Constraints: 137820
851.39/853.62 c #Conflicts: 844000 | #Constraints: 138820
851.39/853.62 c #Conflicts: 845000 | #Constraints: 139820
851.39/853.62 c #Conflicts: 846000 | #Constraints: 140820
851.39/853.62 c #Conflicts: 847000 | #Constraints: 141820
851.39/853.62 c #Conflicts: 848000 | #Constraints: 142820
851.39/853.62 c #Conflicts: 849000 | #Constraints: 143820
851.39/853.62 c #Conflicts: 850000 | #Constraints: 144820
851.39/853.62 c #Conflicts: 851000 | #Constraints: 145820
851.39/853.62 c #Conflicts: 852000 | #Constraints: 146820
851.39/853.62 c #Conflicts: 853000 | #Constraints: 147820
851.39/853.62 c #Conflicts: 854000 | #Constraints: 148820
851.39/853.62 c #Conflicts: 855000 | #Constraints: 149820
851.39/853.62 c #Conflicts: 856000 | #Constraints: 150820
851.39/853.62 c #Conflicts: 857000 | #Constraints: 151820
851.39/853.62 c #Conflicts: 858000 | #Constraints: 152820
851.39/853.62 c #Conflicts: 859000 | #Constraints: 153820
851.39/853.62 c #Conflicts: 860000 | #Constraints: 154820
851.39/853.62 c #Conflicts: 861000 | #Constraints: 155820
851.39/853.62 c #Conflicts: 862000 | #Constraints: 156820
851.39/853.62 c #Conflicts: 863000 | #Constraints: 157820
851.39/853.62 c #Conflicts: 864000 | #Constraints: 158820
851.39/853.62 c #Conflicts: 865000 | #Constraints: 159820
851.39/853.62 c #Conflicts: 866000 | #Constraints: 160820
851.39/853.62 c #Conflicts: 867000 | #Constraints: 161820
851.39/853.62 c #Conflicts: 868000 | #Constraints: 162820
851.39/853.62 c #Conflicts: 869000 | #Constraints: 163820
851.39/853.62 c #Conflicts: 870000 | #Constraints: 164820
851.39/853.62 c #Conflicts: 871000 | #Constraints: 165820
851.39/853.62 c #Conflicts: 872000 | #Constraints: 166820
851.39/853.62 c #Conflicts: 873000 | #Constraints: 167820
851.39/853.62 c #Conflicts: 874000 | #Constraints: 168820
851.39/853.62 c #Conflicts: 875000 | #Constraints: 169820
851.39/853.62 c #Conflicts: 876000 | #Constraints: 170820
851.39/853.62 c #Conflicts: 877000 | #Constraints: 171820
851.39/853.62 c #Conflicts: 878000 | #Constraints: 172820
851.39/853.62 c #Conflicts: 879000 | #Constraints: 173820
851.39/853.62 c #Conflicts: 880000 | #Constraints: 174820
851.39/853.62 c #Conflicts: 881000 | #Constraints: 175820
851.39/853.62 c #Conflicts: 882000 | #Constraints: 176820
851.39/853.62 c #Conflicts: 883000 | #Constraints: 177820
851.39/853.62 c #Conflicts: 884000 | #Constraints: 178820
851.39/853.62 c #Conflicts: 885000 | #Constraints: 179820
851.39/853.62 c #Conflicts: 886000 | #Constraints: 180820
851.39/853.62 c #Conflicts: 887000 | #Constraints: 181820
851.39/853.62 c #Conflicts: 888000 | #Constraints: 182820
851.39/853.62 c #Conflicts: 889000 | #Constraints: 183820
851.39/853.62 c #Conflicts: 890000 | #Constraints: 184820
851.39/853.62 c #Conflicts: 891000 | #Constraints: 185820
851.39/853.62 c #Conflicts: 892000 | #Constraints: 186820
851.39/853.62 c #Conflicts: 893000 | #Constraints: 187820
851.39/853.62 c #Conflicts: 894000 | #Constraints: 188820
851.39/853.62 c INPROCESSING
851.39/853.62 c GARBAGE COLLECT
851.39/853.62 c #Conflicts: 895000 | #Constraints: 142432
851.39/853.62 c #Conflicts: 896000 | #Constraints: 143432
851.39/853.62 c #Conflicts: 897000 | #Constraints: 144432
851.39/853.62 c #Conflicts: 898000 | #Constraints: 145432
851.39/853.62 c #Conflicts: 899000 | #Constraints: 146432
949.82/952.37 c #Conflicts: 900000 | #Constraints: 147432
949.82/952.37 c #Conflicts: 901000 | #Constraints: 148432
949.82/952.37 c #Conflicts: 902000 | #Constraints: 149432
949.82/952.37 c #Conflicts: 903000 | #Constraints: 150432
949.82/952.37 c #Conflicts: 904000 | #Constraints: 151432
949.82/952.37 c #Conflicts: 905000 | #Constraints: 152432
949.82/952.37 c #Conflicts: 906000 | #Constraints: 153432
949.82/952.37 c #Conflicts: 907000 | #Constraints: 154432
949.82/952.37 c #Conflicts: 908000 | #Constraints: 155432
949.82/952.37 c #Conflicts: 909000 | #Constraints: 156432
949.82/952.37 c #Conflicts: 910000 | #Constraints: 157432
949.82/952.37 c #Conflicts: 911000 | #Constraints: 158432
949.82/952.37 c #Conflicts: 912000 | #Constraints: 159432
949.82/952.37 c #Conflicts: 913000 | #Constraints: 160432
949.82/952.37 c #Conflicts: 914000 | #Constraints: 161432
949.82/952.37 c #Conflicts: 915000 | #Constraints: 162432
949.82/952.37 c #Conflicts: 916000 | #Constraints: 163432
949.82/952.37 c INPROCESSING
949.82/952.37 c GARBAGE COLLECT
949.82/952.37 c #Conflicts: 917000 | #Constraints: 130025
949.82/952.37 c #Conflicts: 918000 | #Constraints: 131025
949.82/952.37 c #Conflicts: 919000 | #Constraints: 132025
949.82/952.37 c #Conflicts: 920000 | #Constraints: 133025
949.82/952.37 c #Conflicts: 921000 | #Constraints: 134025
949.82/952.37 c #Conflicts: 922000 | #Constraints: 135025
949.82/952.37 c #Conflicts: 923000 | #Constraints: 136025
949.82/952.37 c #Conflicts: 924000 | #Constraints: 137025
949.82/952.37 c #Conflicts: 925000 | #Constraints: 138025
949.82/952.37 c #Conflicts: 926000 | #Constraints: 139025
949.82/952.37 c #Conflicts: 927000 | #Constraints: 140025
949.82/952.37 c #Conflicts: 928000 | #Constraints: 141025
949.82/952.37 c #Conflicts: 929000 | #Constraints: 142025
949.82/952.37 c #Conflicts: 930000 | #Constraints: 143025
949.82/952.37 c #Conflicts: 931000 | #Constraints: 144025
949.82/952.37 c #Conflicts: 932000 | #Constraints: 145025
949.82/952.37 c #Conflicts: 933000 | #Constraints: 146025
949.82/952.37 c #Conflicts: 934000 | #Constraints: 147025
949.82/952.37 c #Conflicts: 935000 | #Constraints: 148025
949.82/952.37 c #Conflicts: 936000 | #Constraints: 149025
949.82/952.37 c #Conflicts: 937000 | #Constraints: 150025
949.82/952.37 c #Conflicts: 938000 | #Constraints: 151025
949.82/952.37 c INPROCESSING
949.82/952.37 c GARBAGE COLLECT
949.82/952.37 c #Conflicts: 939000 | #Constraints: 123930
949.82/952.37 c #Conflicts: 940000 | #Constraints: 124930
949.82/952.37 c #Conflicts: 941000 | #Constraints: 125930
949.82/952.37 c #Conflicts: 942000 | #Constraints: 126930
949.82/952.37 c #Conflicts: 943000 | #Constraints: 127930
949.82/952.37 c #Conflicts: 944000 | #Constraints: 128930
949.82/952.37 c #Conflicts: 945000 | #Constraints: 129930
949.82/952.37 c #Conflicts: 946000 | #Constraints: 130930
949.82/952.37 c #Conflicts: 947000 | #Constraints: 131930
949.82/952.37 c #Conflicts: 948000 | #Constraints: 132930
949.82/952.37 c #Conflicts: 949000 | #Constraints: 133930
949.82/952.37 c #Conflicts: 950000 | #Constraints: 134930
949.82/952.37 c #Conflicts: 951000 | #Constraints: 135930
949.82/952.37 c #Conflicts: 952000 | #Constraints: 136930
949.82/952.37 c #Conflicts: 953000 | #Constraints: 137930
949.82/952.37 c #Conflicts: 954000 | #Constraints: 138930
949.82/952.37 c #Conflicts: 955000 | #Constraints: 139930
949.82/952.37 c #Conflicts: 956000 | #Constraints: 140930
949.82/952.37 c #Conflicts: 957000 | #Constraints: 141930
949.82/952.37 c #Conflicts: 958000 | #Constraints: 142930
949.82/952.37 c #Conflicts: 959000 | #Constraints: 143930
949.82/952.37 c #Conflicts: 960000 | #Constraints: 144930
949.82/952.37 c INPROCESSING
949.82/952.37 c GARBAGE COLLECT
949.82/952.37 c #Conflicts: 961000 | #Constraints: 120966
949.82/952.37 c #Conflicts: 962000 | #Constraints: 121966
949.82/952.37 c #Conflicts: 963000 | #Constraints: 122966
949.82/952.37 c #Conflicts: 964000 | #Constraints: 123966
949.82/952.37 c #Conflicts: 965000 | #Constraints: 124966
949.82/952.37 c #Conflicts: 966000 | #Constraints: 125966
949.82/952.37 c #Conflicts: 967000 | #Constraints: 126966
949.82/952.37 c #Conflicts: 968000 | #Constraints: 127966
949.82/952.37 c #Conflicts: 969000 | #Constraints: 128966
949.82/952.37 c #Conflicts: 970000 | #Constraints: 129966
949.82/952.37 c #Conflicts: 971000 | #Constraints: 130966
949.82/952.37 c #Conflicts: 972000 | #Constraints: 131966
949.82/952.37 c #Conflicts: 973000 | #Constraints: 132966
949.82/952.37 c #Conflicts: 974000 | #Constraints: 133966
949.82/952.37 c #Conflicts: 975000 | #Constraints: 134966
1100.99/1103.99 c #Conflicts: 976000 | #Constraints: 135966
1100.99/1103.99 c #Conflicts: 977000 | #Constraints: 136966
1100.99/1103.99 c #Conflicts: 978000 | #Constraints: 137966
1100.99/1103.99 c #Conflicts: 979000 | #Constraints: 138966
1100.99/1103.99 c #Conflicts: 980000 | #Constraints: 139966
1100.99/1103.99 c #Conflicts: 981000 | #Constraints: 140966
1100.99/1103.99 c #Conflicts: 982000 | #Constraints: 141966
1100.99/1103.99 c #Conflicts: 983000 | #Constraints: 142966
1100.99/1103.99 c #Conflicts: 984000 | #Constraints: 143966
1100.99/1103.99 c #Conflicts: 985000 | #Constraints: 144966
1100.99/1103.99 c #Conflicts: 986000 | #Constraints: 145966
1100.99/1103.99 c #Conflicts: 987000 | #Constraints: 146966
1100.99/1103.99 c #Conflicts: 988000 | #Constraints: 147966
1100.99/1103.99 c #Conflicts: 989000 | #Constraints: 148966
1100.99/1103.99 c #Conflicts: 990000 | #Constraints: 149966
1100.99/1103.99 c #Conflicts: 991000 | #Constraints: 150966
1100.99/1103.99 c #Conflicts: 992000 | #Constraints: 151966
1100.99/1103.99 c #Conflicts: 993000 | #Constraints: 152966
1100.99/1103.99 c #Conflicts: 994000 | #Constraints: 153966
1100.99/1103.99 c #Conflicts: 995000 | #Constraints: 154966
1100.99/1103.99 c #Conflicts: 996000 | #Constraints: 155966
1100.99/1103.99 c #Conflicts: 997000 | #Constraints: 156966
1100.99/1103.99 c #Conflicts: 998000 | #Constraints: 157966
1100.99/1103.99 c #Conflicts: 999000 | #Constraints: 158966
1100.99/1103.99 c #Conflicts: 1000000 | #Constraints: 159966
1100.99/1103.99 c #Conflicts: 1001000 | #Constraints: 160966
1100.99/1103.99 c #Conflicts: 1002000 | #Constraints: 161966
1100.99/1103.99 c #Conflicts: 1003000 | #Constraints: 162966
1100.99/1103.99 c #Conflicts: 1004000 | #Constraints: 163966
1100.99/1103.99 c #Conflicts: 1005000 | #Constraints: 164966
1100.99/1103.99 c #Conflicts: 1006000 | #Constraints: 165966
1100.99/1103.99 c #Conflicts: 1007000 | #Constraints: 166966
1100.99/1103.99 c #Conflicts: 1008000 | #Constraints: 167966
1100.99/1103.99 c #Conflicts: 1009000 | #Constraints: 168966
1100.99/1103.99 c #Conflicts: 1010000 | #Constraints: 169966
1100.99/1103.99 c #Conflicts: 1011000 | #Constraints: 170966
1100.99/1103.99 c #Conflicts: 1012000 | #Constraints: 171966
1100.99/1103.99 c #Conflicts: 1013000 | #Constraints: 172966
1100.99/1103.99 c #Conflicts: 1014000 | #Constraints: 173966
1100.99/1103.99 c #Conflicts: 1015000 | #Constraints: 174966
1100.99/1103.99 c #Conflicts: 1016000 | #Constraints: 175966
1100.99/1103.99 c #Conflicts: 1017000 | #Constraints: 176966
1100.99/1103.99 c #Conflicts: 1018000 | #Constraints: 177966
1100.99/1103.99 c #Conflicts: 1019000 | #Constraints: 178966
1100.99/1103.99 c #Conflicts: 1020000 | #Constraints: 179966
1100.99/1103.99 c #Conflicts: 1021000 | #Constraints: 180966
1100.99/1103.99 c #Conflicts: 1022000 | #Constraints: 181966
1100.99/1103.99 c #Conflicts: 1023000 | #Constraints: 182966
1100.99/1103.99 c #Conflicts: 1024000 | #Constraints: 183966
1100.99/1103.99 c #Conflicts: 1025000 | #Constraints: 184966
1100.99/1103.99 c #Conflicts: 1026000 | #Constraints: 185966
1100.99/1103.99 c #Conflicts: 1027000 | #Constraints: 186966
1100.99/1103.99 c #Conflicts: 1028000 | #Constraints: 187966
1100.99/1103.99 c #Conflicts: 1029000 | #Constraints: 188966
1100.99/1103.99 c #Conflicts: 1030000 | #Constraints: 189966
1100.99/1103.99 c #Conflicts: 1031000 | #Constraints: 190966
1100.99/1103.99 c #Conflicts: 1032000 | #Constraints: 191966
1100.99/1103.99 c #Conflicts: 1033000 | #Constraints: 192966
1100.99/1103.99 c #Conflicts: 1034000 | #Constraints: 193966
1100.99/1103.99 c #Conflicts: 1035000 | #Constraints: 194966
1100.99/1103.99 c #Conflicts: 1036000 | #Constraints: 195966
1100.99/1103.99 c #Conflicts: 1037000 | #Constraints: 196966
1100.99/1103.99 c INPROCESSING
1100.99/1103.99 c GARBAGE COLLECT
1100.99/1103.99 c #Conflicts: 1038000 | #Constraints: 146981
1100.99/1103.99 c #Conflicts: 1039000 | #Constraints: 147981
1100.99/1103.99 c #Conflicts: 1040000 | #Constraints: 148981
1100.99/1103.99 c #Conflicts: 1041000 | #Constraints: 149981
1100.99/1103.99 c #Conflicts: 1042000 | #Constraints: 150981
1100.99/1103.99 c #Conflicts: 1043000 | #Constraints: 151981
1100.99/1103.99 c #Conflicts: 1044000 | #Constraints: 152981
1100.99/1103.99 c #Conflicts: 1045000 | #Constraints: 153981
1100.99/1103.99 c #Conflicts: 1046000 | #Constraints: 154981
1100.99/1103.99 c #Conflicts: 1047000 | #Constraints: 155981
1100.99/1103.99 c #Conflicts: 1048000 | #Constraints: 156981
1100.99/1103.99 c #Conflicts: 1049000 | #Constraints: 157981
1100.99/1103.99 c #Conflicts: 1050000 | #Constraints: 158981
1100.99/1103.99 c #Conflicts: 1051000 | #Constraints: 159981
1100.99/1103.99 c #Conflicts: 1052000 | #Constraints: 160981
1100.99/1103.99 c #Conflicts: 1053000 | #Constraints: 161981
1100.99/1103.99 c #Conflicts: 1054000 | #Constraints: 162981
1193.63/1196.88 c #Conflicts: 1055000 | #Constraints: 163981
1193.63/1196.88 c #Conflicts: 1056000 | #Constraints: 164981
1193.63/1196.88 c #Conflicts: 1057000 | #Constraints: 165981
1193.63/1196.88 c #Conflicts: 1058000 | #Constraints: 166981
1193.63/1196.88 c #Conflicts: 1059000 | #Constraints: 167981
1193.63/1196.88 c #Conflicts: 1060000 | #Constraints: 168981
1193.63/1196.88 c INPROCESSING
1193.63/1196.88 c GARBAGE COLLECT
1193.63/1196.88 c #Conflicts: 1061000 | #Constraints: 132867
1193.63/1196.88 c #Conflicts: 1062000 | #Constraints: 133867
1193.63/1196.88 c #Conflicts: 1063000 | #Constraints: 134867
1193.63/1196.88 c #Conflicts: 1064000 | #Constraints: 135867
1193.63/1196.88 c #Conflicts: 1065000 | #Constraints: 136867
1193.63/1196.88 c #Conflicts: 1066000 | #Constraints: 137867
1193.63/1196.88 c #Conflicts: 1067000 | #Constraints: 138867
1193.63/1196.88 c #Conflicts: 1068000 | #Constraints: 139867
1193.63/1196.88 c #Conflicts: 1069000 | #Constraints: 140867
1193.63/1196.88 c #Conflicts: 1070000 | #Constraints: 141867
1193.63/1196.88 c #Conflicts: 1071000 | #Constraints: 142867
1193.63/1196.88 c #Conflicts: 1072000 | #Constraints: 143867
1193.63/1196.88 c #Conflicts: 1073000 | #Constraints: 144867
1193.63/1196.88 c #Conflicts: 1074000 | #Constraints: 145867
1193.63/1196.88 c #Conflicts: 1075000 | #Constraints: 146867
1193.63/1196.88 c #Conflicts: 1076000 | #Constraints: 147867
1193.63/1196.88 c #Conflicts: 1077000 | #Constraints: 148867
1193.63/1196.88 c #Conflicts: 1078000 | #Constraints: 149867
1193.63/1196.88 c #Conflicts: 1079000 | #Constraints: 150867
1193.63/1196.88 c #Conflicts: 1080000 | #Constraints: 151867
1193.63/1196.88 c #Conflicts: 1081000 | #Constraints: 152867
1193.63/1196.88 c #Conflicts: 1082000 | #Constraints: 153867
1193.63/1196.88 c #Conflicts: 1083000 | #Constraints: 154867
1193.63/1196.88 c INPROCESSING
1193.63/1196.88 c GARBAGE COLLECT
1193.63/1196.88 c #Conflicts: 1084000 | #Constraints: 125618
1193.63/1196.88 c #Conflicts: 1085000 | #Constraints: 126618
1193.63/1196.88 c #Conflicts: 1086000 | #Constraints: 127618
1193.63/1196.88 c #Conflicts: 1087000 | #Constraints: 128618
1193.63/1196.88 c #Conflicts: 1088000 | #Constraints: 129618
1193.63/1196.88 c #Conflicts: 1089000 | #Constraints: 130618
1193.63/1196.88 c #Conflicts: 1090000 | #Constraints: 131618
1193.63/1196.88 c #Conflicts: 1091000 | #Constraints: 132618
1193.63/1196.88 c #Conflicts: 1092000 | #Constraints: 133618
1193.63/1196.88 c #Conflicts: 1093000 | #Constraints: 134618
1193.63/1196.88 c #Conflicts: 1094000 | #Constraints: 135618
1193.63/1196.88 c #Conflicts: 1095000 | #Constraints: 136618
1193.63/1196.88 c #Conflicts: 1096000 | #Constraints: 137618
1193.63/1196.88 c #Conflicts: 1097000 | #Constraints: 138618
1193.63/1196.88 c #Conflicts: 1098000 | #Constraints: 139618
1193.63/1196.88 c #Conflicts: 1099000 | #Constraints: 140618
1193.63/1196.88 c #Conflicts: 1100000 | #Constraints: 141618
1193.63/1196.88 c #Conflicts: 1101000 | #Constraints: 142618
1193.63/1196.88 c #Conflicts: 1102000 | #Constraints: 143618
1193.63/1196.88 c #Conflicts: 1103000 | #Constraints: 144618
1193.63/1196.88 c #Conflicts: 1104000 | #Constraints: 145618
1193.63/1196.88 c #Conflicts: 1105000 | #Constraints: 146618
1193.63/1196.88 c #Conflicts: 1106000 | #Constraints: 147618
1193.63/1196.88 c #Conflicts: 1107000 | #Constraints: 148618
1193.63/1196.88 c INPROCESSING
1193.63/1196.88 c GARBAGE COLLECT
1193.63/1196.88 c #Conflicts: 1108000 | #Constraints: 122688
1193.63/1196.88 c #Conflicts: 1109000 | #Constraints: 123688
1193.63/1196.88 c #Conflicts: 1110000 | #Constraints: 124688
1193.63/1196.88 c #Conflicts: 1111000 | #Constraints: 125688
1193.63/1196.88 c #Conflicts: 1112000 | #Constraints: 126688
1193.63/1196.88 c #Conflicts: 1113000 | #Constraints: 127688
1193.63/1196.88 c #Conflicts: 1114000 | #Constraints: 128688
1193.63/1196.88 c #Conflicts: 1115000 | #Constraints: 129688
1193.63/1196.88 c #Conflicts: 1116000 | #Constraints: 130688
1193.63/1196.88 c #Conflicts: 1117000 | #Constraints: 131688
1193.63/1196.88 c #Conflicts: 1118000 | #Constraints: 132688
1193.63/1196.88 c #Conflicts: 1119000 | #Constraints: 133688
1193.63/1196.88 c #Conflicts: 1120000 | #Constraints: 134688
1193.63/1196.88 c #Conflicts: 1121000 | #Constraints: 135688
1193.63/1196.88 c #Conflicts: 1122000 | #Constraints: 136688
1193.63/1196.88 c #Conflicts: 1123000 | #Constraints: 137688
1193.63/1196.88 c #Conflicts: 1124000 | #Constraints: 138688
1193.63/1196.88 c #Conflicts: 1125000 | #Constraints: 139688
1193.63/1196.88 c #Conflicts: 1126000 | #Constraints: 140688
1193.63/1196.88 c #Conflicts: 1127000 | #Constraints: 141688
1193.63/1196.88 c #Conflicts: 1128000 | #Constraints: 142688
1193.63/1196.88 c #Conflicts: 1129000 | #Constraints: 143688
1193.63/1196.88 c #Conflicts: 1130000 | #Constraints: 144688
1391.17/1394.94 c #Conflicts: 1131000 | #Constraints: 145688
1391.17/1394.94 c #Conflicts: 1132000 | #Constraints: 146688
1391.17/1394.94 c #Conflicts: 1133000 | #Constraints: 147688
1391.17/1394.94 c #Conflicts: 1134000 | #Constraints: 148688
1391.17/1394.94 c #Conflicts: 1135000 | #Constraints: 149688
1391.17/1394.94 c #Conflicts: 1136000 | #Constraints: 150688
1391.17/1394.94 c #Conflicts: 1137000 | #Constraints: 151688
1391.17/1394.94 c #Conflicts: 1138000 | #Constraints: 152688
1391.17/1394.94 c #Conflicts: 1139000 | #Constraints: 153688
1391.17/1394.94 c #Conflicts: 1140000 | #Constraints: 154688
1391.17/1394.94 c #Conflicts: 1141000 | #Constraints: 155688
1391.17/1394.94 c #Conflicts: 1142000 | #Constraints: 156688
1391.17/1394.94 c #Conflicts: 1143000 | #Constraints: 157688
1391.17/1394.94 c #Conflicts: 1144000 | #Constraints: 158688
1391.17/1394.94 c #Conflicts: 1145000 | #Constraints: 159688
1391.17/1394.94 c #Conflicts: 1146000 | #Constraints: 160688
1391.17/1394.94 c #Conflicts: 1147000 | #Constraints: 161688
1391.17/1394.94 c #Conflicts: 1148000 | #Constraints: 162688
1391.17/1394.94 c #Conflicts: 1149000 | #Constraints: 163688
1391.17/1394.94 c #Conflicts: 1150000 | #Constraints: 164688
1391.17/1394.94 c #Conflicts: 1151000 | #Constraints: 165688
1391.17/1394.94 c #Conflicts: 1152000 | #Constraints: 166688
1391.17/1394.94 c #Conflicts: 1153000 | #Constraints: 167688
1391.17/1394.94 c #Conflicts: 1154000 | #Constraints: 168688
1391.17/1394.94 c #Conflicts: 1155000 | #Constraints: 169688
1391.17/1394.94 c #Conflicts: 1156000 | #Constraints: 170688
1391.17/1394.94 c #Conflicts: 1157000 | #Constraints: 171688
1391.17/1394.94 c #Conflicts: 1158000 | #Constraints: 172688
1391.17/1394.94 c #Conflicts: 1159000 | #Constraints: 173688
1391.17/1394.94 c #Conflicts: 1160000 | #Constraints: 174688
1391.17/1394.94 c #Conflicts: 1161000 | #Constraints: 175688
1391.17/1394.94 c #Conflicts: 1162000 | #Constraints: 176688
1391.17/1394.94 c #Conflicts: 1163000 | #Constraints: 177688
1391.17/1394.94 c #Conflicts: 1164000 | #Constraints: 178688
1391.17/1394.94 c #Conflicts: 1165000 | #Constraints: 179688
1391.17/1394.94 c #Conflicts: 1166000 | #Constraints: 180688
1391.17/1394.94 c #Conflicts: 1167000 | #Constraints: 181688
1391.17/1394.94 c #Conflicts: 1168000 | #Constraints: 182688
1391.17/1394.94 c #Conflicts: 1169000 | #Constraints: 183688
1391.17/1394.94 c #Conflicts: 1170000 | #Constraints: 184688
1391.17/1394.94 c #Conflicts: 1171000 | #Constraints: 185688
1391.17/1394.94 c #Conflicts: 1172000 | #Constraints: 186688
1391.17/1394.94 c #Conflicts: 1173000 | #Constraints: 187688
1391.17/1394.94 c #Conflicts: 1174000 | #Constraints: 188688
1391.17/1394.94 c #Conflicts: 1175000 | #Constraints: 189688
1391.17/1394.94 c #Conflicts: 1176000 | #Constraints: 190688
1391.17/1394.94 c #Conflicts: 1177000 | #Constraints: 191688
1391.17/1394.94 c #Conflicts: 1178000 | #Constraints: 192688
1391.17/1394.94 c #Conflicts: 1179000 | #Constraints: 193688
1391.17/1394.94 c #Conflicts: 1180000 | #Constraints: 194688
1391.17/1394.94 c #Conflicts: 1181000 | #Constraints: 195688
1391.17/1394.94 c #Conflicts: 1182000 | #Constraints: 196688
1391.17/1394.94 c #Conflicts: 1183000 | #Constraints: 197688
1391.17/1394.94 c #Conflicts: 1184000 | #Constraints: 198688
1391.17/1394.94 c #Conflicts: 1185000 | #Constraints: 199688
1391.17/1394.94 c #Conflicts: 1186000 | #Constraints: 200688
1391.17/1394.94 c #Conflicts: 1187000 | #Constraints: 201688
1391.17/1394.94 c #Conflicts: 1188000 | #Constraints: 202688
1391.17/1394.94 c #Conflicts: 1189000 | #Constraints: 203688
1391.17/1394.94 c INPROCESSING
1391.17/1394.94 c GARBAGE COLLECT
1391.17/1394.94 c #Conflicts: 1190000 | #Constraints: 150038
1391.17/1394.94 c #Conflicts: 1191000 | #Constraints: 151038
1391.17/1394.94 c #Conflicts: 1192000 | #Constraints: 152038
1391.17/1394.94 c #Conflicts: 1193000 | #Constraints: 153038
1391.17/1394.94 c #Conflicts: 1194000 | #Constraints: 154038
1391.17/1394.94 c #Conflicts: 1195000 | #Constraints: 155038
1391.17/1394.94 c #Conflicts: 1196000 | #Constraints: 156038
1391.17/1394.94 c #Conflicts: 1197000 | #Constraints: 157038
1391.17/1394.94 c #Conflicts: 1198000 | #Constraints: 158038
1391.17/1394.94 c #Conflicts: 1199000 | #Constraints: 159038
1391.17/1394.94 c #Conflicts: 1200000 | #Constraints: 160038
1391.17/1394.94 c #Conflicts: 1201000 | #Constraints: 161038
1391.17/1394.94 c #Conflicts: 1202000 | #Constraints: 162038
1391.17/1394.94 c #Conflicts: 1203000 | #Constraints: 163038
1391.17/1394.94 c #Conflicts: 1204000 | #Constraints: 164038
1391.17/1394.94 c #Conflicts: 1205000 | #Constraints: 165038
1391.17/1394.94 c #Conflicts: 1206000 | #Constraints: 166038
1391.17/1394.94 c #Conflicts: 1207000 | #Constraints: 167038
1391.17/1394.94 c #Conflicts: 1208000 | #Constraints: 168038
1391.17/1394.94 c #Conflicts: 1209000 | #Constraints: 169038
1498.68/1502.70 c #Conflicts: 1210000 | #Constraints: 170038
1498.68/1502.70 c #Conflicts: 1211000 | #Constraints: 171038
1498.68/1502.70 c #Conflicts: 1212000 | #Constraints: 172038
1498.68/1502.70 c #Conflicts: 1213000 | #Constraints: 173038
1498.68/1502.70 c #Conflicts: 1214000 | #Constraints: 174038
1498.68/1502.70 c INPROCESSING
1498.68/1502.70 c GARBAGE COLLECT
1498.68/1502.70 c #Conflicts: 1215000 | #Constraints: 135319
1498.68/1502.70 c #Conflicts: 1216000 | #Constraints: 136319
1498.68/1502.70 c #Conflicts: 1217000 | #Constraints: 137319
1498.68/1502.70 c #Conflicts: 1218000 | #Constraints: 138319
1498.68/1502.70 c #Conflicts: 1219000 | #Constraints: 139319
1498.68/1502.70 c #Conflicts: 1220000 | #Constraints: 140319
1498.68/1502.70 c #Conflicts: 1221000 | #Constraints: 141319
1498.68/1502.70 c #Conflicts: 1222000 | #Constraints: 142319
1498.68/1502.70 c #Conflicts: 1223000 | #Constraints: 143319
1498.68/1502.70 c #Conflicts: 1224000 | #Constraints: 144319
1498.68/1502.70 c #Conflicts: 1225000 | #Constraints: 145319
1498.68/1502.70 c #Conflicts: 1226000 | #Constraints: 146319
1498.68/1502.70 c #Conflicts: 1227000 | #Constraints: 147319
1498.68/1502.70 c #Conflicts: 1228000 | #Constraints: 148319
1498.68/1502.70 c #Conflicts: 1229000 | #Constraints: 149319
1498.68/1502.70 c #Conflicts: 1230000 | #Constraints: 150319
1498.68/1502.70 c #Conflicts: 1231000 | #Constraints: 151319
1498.68/1502.70 c #Conflicts: 1232000 | #Constraints: 152319
1498.68/1502.70 c #Conflicts: 1233000 | #Constraints: 153319
1498.68/1502.70 c #Conflicts: 1234000 | #Constraints: 154319
1498.68/1502.70 c #Conflicts: 1235000 | #Constraints: 155319
1498.68/1502.70 c #Conflicts: 1236000 | #Constraints: 156319
1498.68/1502.70 c #Conflicts: 1237000 | #Constraints: 157319
1498.68/1502.70 c #Conflicts: 1238000 | #Constraints: 158319
1498.68/1502.70 c #Conflicts: 1239000 | #Constraints: 159319
1498.68/1502.70 c INPROCESSING
1498.68/1502.70 c GARBAGE COLLECT
1498.68/1502.70 c #Conflicts: 1240000 | #Constraints: 127899
1498.68/1502.70 c #Conflicts: 1241000 | #Constraints: 128899
1498.68/1502.70 c #Conflicts: 1242000 | #Constraints: 129899
1498.68/1502.70 c #Conflicts: 1243000 | #Constraints: 130899
1498.68/1502.70 c #Conflicts: 1244000 | #Constraints: 131899
1498.68/1502.70 c #Conflicts: 1245000 | #Constraints: 132899
1498.68/1502.70 c #Conflicts: 1246000 | #Constraints: 133899
1498.68/1502.70 c #Conflicts: 1247000 | #Constraints: 134899
1498.68/1502.70 c #Conflicts: 1248000 | #Constraints: 135899
1498.68/1502.70 c #Conflicts: 1249000 | #Constraints: 136899
1498.68/1502.70 c #Conflicts: 1250000 | #Constraints: 137899
1498.68/1502.70 c #Conflicts: 1251000 | #Constraints: 138899
1498.68/1502.70 c #Conflicts: 1252000 | #Constraints: 139899
1498.68/1502.70 c #Conflicts: 1253000 | #Constraints: 140899
1498.68/1502.70 c #Conflicts: 1254000 | #Constraints: 141899
1498.68/1502.70 c #Conflicts: 1255000 | #Constraints: 142899
1498.68/1502.70 c #Conflicts: 1256000 | #Constraints: 143899
1498.68/1502.70 c #Conflicts: 1257000 | #Constraints: 144899
1498.68/1502.70 c #Conflicts: 1258000 | #Constraints: 145899
1498.68/1502.70 c #Conflicts: 1259000 | #Constraints: 146899
1498.68/1502.70 c #Conflicts: 1260000 | #Constraints: 147899
1498.68/1502.70 c #Conflicts: 1261000 | #Constraints: 148899
1498.68/1502.70 c #Conflicts: 1262000 | #Constraints: 149899
1498.68/1502.70 c #Conflicts: 1263000 | #Constraints: 150899
1498.68/1502.70 c #Conflicts: 1264000 | #Constraints: 151899
1498.68/1502.70 c INPROCESSING
1498.68/1502.70 c GARBAGE COLLECT
1498.68/1502.70 c #Conflicts: 1265000 | #Constraints: 124000
1498.68/1502.70 c #Conflicts: 1266000 | #Constraints: 125000
1498.68/1502.70 c #Conflicts: 1267000 | #Constraints: 126000
1498.68/1502.70 c #Conflicts: 1268000 | #Constraints: 127000
1498.68/1502.70 c #Conflicts: 1269000 | #Constraints: 128000
1498.68/1502.70 c #Conflicts: 1270000 | #Constraints: 129000
1498.68/1502.70 c #Conflicts: 1271000 | #Constraints: 130000
1498.68/1502.70 c #Conflicts: 1272000 | #Constraints: 131000
1498.68/1502.70 c #Conflicts: 1273000 | #Constraints: 132000
1498.68/1502.70 c #Conflicts: 1274000 | #Constraints: 133000
1498.68/1502.70 c #Conflicts: 1275000 | #Constraints: 134000
1498.68/1502.70 c #Conflicts: 1276000 | #Constraints: 135000
1498.68/1502.70 c #Conflicts: 1277000 | #Constraints: 136000
1498.68/1502.70 c #Conflicts: 1278000 | #Constraints: 137000
1498.68/1502.70 c #Conflicts: 1279000 | #Constraints: 138000
1498.68/1502.70 c #Conflicts: 1280000 | #Constraints: 139000
1498.68/1502.70 c #Conflicts: 1281000 | #Constraints: 140000
1498.68/1502.70 c #Conflicts: 1282000 | #Constraints: 141000
1498.68/1502.70 c #Conflicts: 1283000 | #Constraints: 142000
1498.68/1502.70 c #Conflicts: 1284000 | #Constraints: 143000
1498.68/1502.70 c #Conflicts: 1285000 | #Constraints: 144000
1702.55/1707.15 c #Conflicts: 1286000 | #Constraints: 145000
1702.55/1707.15 c #Conflicts: 1287000 | #Constraints: 146000
1702.55/1707.15 c #Conflicts: 1288000 | #Constraints: 147000
1702.55/1707.15 c #Conflicts: 1289000 | #Constraints: 148000
1702.55/1707.15 c #Conflicts: 1290000 | #Constraints: 149000
1702.55/1707.15 c #Conflicts: 1291000 | #Constraints: 150000
1702.55/1707.15 c #Conflicts: 1292000 | #Constraints: 151000
1702.55/1707.15 c #Conflicts: 1293000 | #Constraints: 152000
1702.55/1707.15 c #Conflicts: 1294000 | #Constraints: 153000
1702.55/1707.15 c #Conflicts: 1295000 | #Constraints: 154000
1702.55/1707.15 c #Conflicts: 1296000 | #Constraints: 155000
1702.55/1707.15 c #Conflicts: 1297000 | #Constraints: 156000
1702.55/1707.15 c #Conflicts: 1298000 | #Constraints: 157000
1702.55/1707.15 c #Conflicts: 1299000 | #Constraints: 158000
1702.55/1707.15 c #Conflicts: 1300000 | #Constraints: 159000
1702.55/1707.15 c #Conflicts: 1301000 | #Constraints: 160000
1702.55/1707.15 c #Conflicts: 1302000 | #Constraints: 161000
1702.55/1707.15 c #Conflicts: 1303000 | #Constraints: 162000
1702.55/1707.15 c #Conflicts: 1304000 | #Constraints: 163000
1702.55/1707.15 c #Conflicts: 1305000 | #Constraints: 164000
1702.55/1707.15 c #Conflicts: 1306000 | #Constraints: 165000
1702.55/1707.15 c #Conflicts: 1307000 | #Constraints: 166000
1702.55/1707.15 c #Conflicts: 1308000 | #Constraints: 167000
1702.55/1707.15 c #Conflicts: 1309000 | #Constraints: 168000
1702.55/1707.15 c #Conflicts: 1310000 | #Constraints: 169000
1702.55/1707.15 c #Conflicts: 1311000 | #Constraints: 170000
1702.55/1707.15 c #Conflicts: 1312000 | #Constraints: 171000
1702.55/1707.15 c #Conflicts: 1313000 | #Constraints: 172000
1702.55/1707.15 c #Conflicts: 1314000 | #Constraints: 173000
1702.55/1707.15 c #Conflicts: 1315000 | #Constraints: 174000
1702.55/1707.15 c #Conflicts: 1316000 | #Constraints: 175000
1702.55/1707.15 c #Conflicts: 1317000 | #Constraints: 176000
1702.55/1707.15 c #Conflicts: 1318000 | #Constraints: 177000
1702.55/1707.15 c #Conflicts: 1319000 | #Constraints: 178000
1702.55/1707.15 c #Conflicts: 1320000 | #Constraints: 179000
1702.55/1707.15 c #Conflicts: 1321000 | #Constraints: 180000
1702.55/1707.15 c #Conflicts: 1322000 | #Constraints: 181000
1702.55/1707.15 c #Conflicts: 1323000 | #Constraints: 182000
1702.55/1707.15 c #Conflicts: 1324000 | #Constraints: 183000
1702.55/1707.15 c #Conflicts: 1325000 | #Constraints: 184000
1702.55/1707.15 c #Conflicts: 1326000 | #Constraints: 185000
1702.55/1707.15 c #Conflicts: 1327000 | #Constraints: 186000
1702.55/1707.15 c #Conflicts: 1328000 | #Constraints: 187000
1702.55/1707.15 c #Conflicts: 1329000 | #Constraints: 188000
1702.55/1707.15 c #Conflicts: 1330000 | #Constraints: 189000
1702.55/1707.15 c #Conflicts: 1331000 | #Constraints: 190000
1702.55/1707.15 c #Conflicts: 1332000 | #Constraints: 191000
1702.55/1707.15 c #Conflicts: 1333000 | #Constraints: 192000
1702.55/1707.15 c #Conflicts: 1334000 | #Constraints: 193000
1702.55/1707.15 c #Conflicts: 1335000 | #Constraints: 194000
1702.55/1707.15 c #Conflicts: 1336000 | #Constraints: 195000
1702.55/1707.15 c #Conflicts: 1337000 | #Constraints: 196000
1702.55/1707.15 c #Conflicts: 1338000 | #Constraints: 197000
1702.55/1707.15 c #Conflicts: 1339000 | #Constraints: 198000
1702.55/1707.15 c #Conflicts: 1340000 | #Constraints: 199000
1702.55/1707.15 c #Conflicts: 1341000 | #Constraints: 200000
1702.55/1707.15 c #Conflicts: 1342000 | #Constraints: 201000
1702.55/1707.15 c #Conflicts: 1343000 | #Constraints: 202000
1702.55/1707.15 c #Conflicts: 1344000 | #Constraints: 203000
1702.55/1707.15 c #Conflicts: 1345000 | #Constraints: 204000
1702.55/1707.15 c #Conflicts: 1346000 | #Constraints: 205000
1702.55/1707.15 c #Conflicts: 1347000 | #Constraints: 206000
1702.55/1707.15 c #Conflicts: 1348000 | #Constraints: 207000
1702.55/1707.15 c #Conflicts: 1349000 | #Constraints: 208000
1702.55/1707.15 c #Conflicts: 1350000 | #Constraints: 209000
1702.55/1707.15 c #Conflicts: 1351000 | #Constraints: 210000
1702.55/1707.15 c #Conflicts: 1352000 | #Constraints: 211000
1702.55/1707.15 c INPROCESSING
1702.55/1707.15 c GARBAGE COLLECT
1702.55/1707.15 c #Conflicts: 1353000 | #Constraints: 153802
1702.55/1707.15 c #Conflicts: 1354000 | #Constraints: 154802
1702.55/1707.15 c #Conflicts: 1355000 | #Constraints: 155802
1702.55/1707.15 c #Conflicts: 1356000 | #Constraints: 156802
1702.55/1707.15 c #Conflicts: 1357000 | #Constraints: 157802
1702.55/1707.15 c #Conflicts: 1358000 | #Constraints: 158802
1702.55/1707.15 c #Conflicts: 1359000 | #Constraints: 159802
1702.55/1707.15 c #Conflicts: 1360000 | #Constraints: 160802
1702.55/1707.15 c #Conflicts: 1361000 | #Constraints: 161802
1702.55/1707.15 c #Conflicts: 1362000 | #Constraints: 162802
1702.55/1707.15 c #Conflicts: 1363000 | #Constraints: 163802
1702.55/1707.15 c #Conflicts: 1364000 | #Constraints: 164802
1839.39/1844.36 c #Conflicts: 1365000 | #Constraints: 165802
1839.39/1844.36 c #Conflicts: 1366000 | #Constraints: 166802
1839.39/1844.36 c #Conflicts: 1367000 | #Constraints: 167802
1839.39/1844.36 c #Conflicts: 1368000 | #Constraints: 168802
1839.39/1844.36 c #Conflicts: 1369000 | #Constraints: 169802
1839.39/1844.36 c #Conflicts: 1370000 | #Constraints: 170802
1839.39/1844.36 c #Conflicts: 1371000 | #Constraints: 171802
1839.39/1844.36 c #Conflicts: 1372000 | #Constraints: 172802
1839.39/1844.36 c #Conflicts: 1373000 | #Constraints: 173802
1839.39/1844.36 c #Conflicts: 1374000 | #Constraints: 174802
1839.39/1844.36 c #Conflicts: 1375000 | #Constraints: 175802
1839.39/1844.36 c #Conflicts: 1376000 | #Constraints: 176802
1839.39/1844.36 c #Conflicts: 1377000 | #Constraints: 177802
1839.39/1844.36 c #Conflicts: 1378000 | #Constraints: 178802
1839.39/1844.36 c #Conflicts: 1379000 | #Constraints: 179802
1839.39/1844.36 c INPROCESSING
1839.39/1844.36 c GARBAGE COLLECT
1839.39/1844.36 c #Conflicts: 1380000 | #Constraints: 138353
1839.39/1844.36 c #Conflicts: 1381000 | #Constraints: 139353
1839.39/1844.36 c #Conflicts: 1382000 | #Constraints: 140353
1839.39/1844.36 c #Conflicts: 1383000 | #Constraints: 141353
1839.39/1844.36 c #Conflicts: 1384000 | #Constraints: 142353
1839.39/1844.36 c #Conflicts: 1385000 | #Constraints: 143353
1839.39/1844.36 c #Conflicts: 1386000 | #Constraints: 144353
1839.39/1844.36 c #Conflicts: 1387000 | #Constraints: 145353
1839.39/1844.36 c #Conflicts: 1388000 | #Constraints: 146353
1839.39/1844.36 c #Conflicts: 1389000 | #Constraints: 147353
1839.39/1844.36 c #Conflicts: 1390000 | #Constraints: 148353
1839.39/1844.36 c #Conflicts: 1391000 | #Constraints: 149353
1839.39/1844.36 c #Conflicts: 1392000 | #Constraints: 150353
1839.39/1844.36 c #Conflicts: 1393000 | #Constraints: 151353
1839.39/1844.36 c #Conflicts: 1394000 | #Constraints: 152353
1839.39/1844.36 c #Conflicts: 1395000 | #Constraints: 153353
1839.39/1844.36 c #Conflicts: 1396000 | #Constraints: 154353
1839.39/1844.36 c #Conflicts: 1397000 | #Constraints: 155353
1839.39/1844.36 c #Conflicts: 1398000 | #Constraints: 156353
1839.39/1844.36 c #Conflicts: 1399000 | #Constraints: 157353
1839.39/1844.36 c #Conflicts: 1400000 | #Constraints: 158353
1839.39/1844.36 c #Conflicts: 1401000 | #Constraints: 159353
1839.39/1844.36 c #Conflicts: 1402000 | #Constraints: 160353
1839.39/1844.36 c #Conflicts: 1403000 | #Constraints: 161353
1839.39/1844.36 c #Conflicts: 1404000 | #Constraints: 162353
1839.39/1844.36 c #Conflicts: 1405000 | #Constraints: 163353
1839.39/1844.36 c INPROCESSING
1839.39/1844.36 c GARBAGE COLLECT
1839.39/1844.36 c #Conflicts: 1406000 | #Constraints: 129754
1839.39/1844.36 c #Conflicts: 1407000 | #Constraints: 130754
1839.39/1844.36 c #Conflicts: 1408000 | #Constraints: 131754
1839.39/1844.36 c #Conflicts: 1409000 | #Constraints: 132754
1839.39/1844.36 c #Conflicts: 1410000 | #Constraints: 133754
1839.39/1844.36 c #Conflicts: 1411000 | #Constraints: 134754
1839.39/1844.36 c #Conflicts: 1412000 | #Constraints: 135754
1839.39/1844.36 c #Conflicts: 1413000 | #Constraints: 136754
1839.39/1844.36 c #Conflicts: 1414000 | #Constraints: 137754
1839.39/1844.36 c #Conflicts: 1415000 | #Constraints: 138754
1839.39/1844.36 c #Conflicts: 1416000 | #Constraints: 139754
1839.39/1844.36 c #Conflicts: 1417000 | #Constraints: 140754
1839.39/1844.36 c #Conflicts: 1418000 | #Constraints: 141754
1839.39/1844.36 c #Conflicts: 1419000 | #Constraints: 142754
1839.39/1844.36 c #Conflicts: 1420000 | #Constraints: 143754
1839.39/1844.36 c #Conflicts: 1421000 | #Constraints: 144754
1839.39/1844.36 c #Conflicts: 1422000 | #Constraints: 145754
1839.39/1844.36 c #Conflicts: 1423000 | #Constraints: 146754
1839.39/1844.36 c #Conflicts: 1424000 | #Constraints: 147754
1839.39/1844.36 c #Conflicts: 1425000 | #Constraints: 148754
1839.39/1844.36 c #Conflicts: 1426000 | #Constraints: 149754
1839.39/1844.36 c #Conflicts: 1427000 | #Constraints: 150754
1839.39/1844.36 c #Conflicts: 1428000 | #Constraints: 151754
1839.39/1844.36 c #Conflicts: 1429000 | #Constraints: 152754
1839.39/1844.36 c #Conflicts: 1430000 | #Constraints: 153754
1839.39/1844.36 c #Conflicts: 1431000 | #Constraints: 154754
1839.39/1844.36 c #Conflicts: 1432000 | #Constraints: 155754
1839.39/1844.36 c INPROCESSING
1839.39/1844.36 c GARBAGE COLLECT
1839.39/1844.36 c #Conflicts: 1433000 | #Constraints: 125931
1839.39/1844.36 c #Conflicts: 1434000 | #Constraints: 126931
1839.39/1844.36 c #Conflicts: 1435000 | #Constraints: 127931
1839.39/1844.36 c #Conflicts: 1436000 | #Constraints: 128931
1839.39/1844.36 c #Conflicts: 1437000 | #Constraints: 129931
1839.39/1844.36 c #Conflicts: 1438000 | #Constraints: 130931
1839.39/1844.36 c #Conflicts: 1439000 | #Constraints: 131931
1839.39/1844.36 c #Conflicts: 1440000 | #Constraints: 132931
2024.22/2029.65 c #Conflicts: 1441000 | #Constraints: 133931
2024.22/2029.65 c #Conflicts: 1442000 | #Constraints: 134931
2024.22/2029.65 c #Conflicts: 1443000 | #Constraints: 135931
2024.22/2029.65 c #Conflicts: 1444000 | #Constraints: 136931
2024.22/2029.65 c #Conflicts: 1445000 | #Constraints: 137931
2024.22/2029.65 c #Conflicts: 1446000 | #Constraints: 138931
2024.22/2029.65 c #Conflicts: 1447000 | #Constraints: 139931
2024.22/2029.65 c #Conflicts: 1448000 | #Constraints: 140931
2024.22/2029.65 c #Conflicts: 1449000 | #Constraints: 141931
2024.22/2029.65 c #Conflicts: 1450000 | #Constraints: 142931
2024.22/2029.65 c #Conflicts: 1451000 | #Constraints: 143931
2024.22/2029.65 c #Conflicts: 1452000 | #Constraints: 144931
2024.22/2029.65 c #Conflicts: 1453000 | #Constraints: 145931
2024.22/2029.65 c #Conflicts: 1454000 | #Constraints: 146931
2024.22/2029.65 c #Conflicts: 1455000 | #Constraints: 147931
2024.22/2029.65 c #Conflicts: 1456000 | #Constraints: 148931
2024.22/2029.65 c #Conflicts: 1457000 | #Constraints: 149931
2024.22/2029.65 c #Conflicts: 1458000 | #Constraints: 150931
2024.22/2029.65 c #Conflicts: 1459000 | #Constraints: 151931
2024.22/2029.65 c #Conflicts: 1460000 | #Constraints: 152931
2024.22/2029.65 c #Conflicts: 1461000 | #Constraints: 153931
2024.22/2029.65 c #Conflicts: 1462000 | #Constraints: 154931
2024.22/2029.65 c #Conflicts: 1463000 | #Constraints: 155931
2024.22/2029.65 c #Conflicts: 1464000 | #Constraints: 156931
2024.22/2029.65 c #Conflicts: 1465000 | #Constraints: 157931
2024.22/2029.65 c #Conflicts: 1466000 | #Constraints: 158931
2024.22/2029.65 c #Conflicts: 1467000 | #Constraints: 159931
2024.22/2029.65 c #Conflicts: 1468000 | #Constraints: 160931
2024.22/2029.65 c #Conflicts: 1469000 | #Constraints: 161931
2024.22/2029.65 c #Conflicts: 1470000 | #Constraints: 162931
2024.22/2029.65 c #Conflicts: 1471000 | #Constraints: 163931
2024.22/2029.65 c #Conflicts: 1472000 | #Constraints: 164931
2024.22/2029.65 c #Conflicts: 1473000 | #Constraints: 165931
2024.22/2029.65 c #Conflicts: 1474000 | #Constraints: 166931
2024.22/2029.65 c #Conflicts: 1475000 | #Constraints: 167931
2024.22/2029.65 c #Conflicts: 1476000 | #Constraints: 168931
2024.22/2029.65 c #Conflicts: 1477000 | #Constraints: 169931
2024.22/2029.65 c #Conflicts: 1478000 | #Constraints: 170931
2024.22/2029.65 c #Conflicts: 1479000 | #Constraints: 171931
2024.22/2029.65 c #Conflicts: 1480000 | #Constraints: 172931
2024.22/2029.65 c #Conflicts: 1481000 | #Constraints: 173931
2024.22/2029.65 c #Conflicts: 1482000 | #Constraints: 174931
2024.22/2029.65 c #Conflicts: 1483000 | #Constraints: 175931
2024.22/2029.65 c #Conflicts: 1484000 | #Constraints: 176931
2024.22/2029.65 c #Conflicts: 1485000 | #Constraints: 177931
2024.22/2029.65 c #Conflicts: 1486000 | #Constraints: 178931
2024.22/2029.65 c #Conflicts: 1487000 | #Constraints: 179931
2024.22/2029.65 c #Conflicts: 1488000 | #Constraints: 180931
2024.22/2029.65 c #Conflicts: 1489000 | #Constraints: 181931
2024.22/2029.65 c #Conflicts: 1490000 | #Constraints: 182931
2024.22/2029.65 c #Conflicts: 1491000 | #Constraints: 183931
2024.22/2029.65 c #Conflicts: 1492000 | #Constraints: 184931
2024.22/2029.65 c #Conflicts: 1493000 | #Constraints: 185931
2024.22/2029.65 c #Conflicts: 1494000 | #Constraints: 186931
2024.22/2029.65 c #Conflicts: 1495000 | #Constraints: 187931
2024.22/2029.65 c #Conflicts: 1496000 | #Constraints: 188931
2024.22/2029.65 c #Conflicts: 1497000 | #Constraints: 189931
2024.22/2029.65 c #Conflicts: 1498000 | #Constraints: 190931
2024.22/2029.65 c #Conflicts: 1499000 | #Constraints: 191931
2024.22/2029.65 c #Conflicts: 1500000 | #Constraints: 192931
2024.22/2029.65 c #Conflicts: 1501000 | #Constraints: 193931
2024.22/2029.65 c #Conflicts: 1502000 | #Constraints: 194931
2024.22/2029.65 c #Conflicts: 1503000 | #Constraints: 195931
2024.22/2029.65 c #Conflicts: 1504000 | #Constraints: 196931
2024.22/2029.65 c #Conflicts: 1505000 | #Constraints: 197931
2024.22/2029.65 c #Conflicts: 1506000 | #Constraints: 198931
2024.22/2029.65 c #Conflicts: 1507000 | #Constraints: 199931
2024.22/2029.65 c #Conflicts: 1508000 | #Constraints: 200931
2024.22/2029.65 c #Conflicts: 1509000 | #Constraints: 201931
2024.22/2029.65 c #Conflicts: 1510000 | #Constraints: 202931
2024.22/2029.65 c #Conflicts: 1511000 | #Constraints: 203931
2024.22/2029.65 c #Conflicts: 1512000 | #Constraints: 204931
2024.22/2029.65 c #Conflicts: 1513000 | #Constraints: 205931
2024.22/2029.65 c #Conflicts: 1514000 | #Constraints: 206931
2024.22/2029.65 c #Conflicts: 1515000 | #Constraints: 207931
2024.22/2029.65 c #Conflicts: 1516000 | #Constraints: 208931
2024.22/2029.65 c #Conflicts: 1517000 | #Constraints: 209931
2024.22/2029.65 c #Conflicts: 1518000 | #Constraints: 210931
2024.22/2029.65 c #Conflicts: 1519000 | #Constraints: 211931
2204.27/2210.15 c #Conflicts: 1520000 | #Constraints: 212931
2204.27/2210.15 c #Conflicts: 1521000 | #Constraints: 213931
2204.27/2210.15 c #Conflicts: 1522000 | #Constraints: 214931
2204.27/2210.15 c #Conflicts: 1523000 | #Constraints: 215931
2204.27/2210.15 c #Conflicts: 1524000 | #Constraints: 216931
2204.27/2210.15 c #Conflicts: 1525000 | #Constraints: 217931
2204.27/2210.15 c INPROCESSING
2204.27/2210.15 c GARBAGE COLLECT
2204.27/2210.15 c #Conflicts: 1526000 | #Constraints: 157108
2204.27/2210.15 c #Conflicts: 1527000 | #Constraints: 158108
2204.27/2210.15 c #Conflicts: 1528000 | #Constraints: 159108
2204.27/2210.15 c #Conflicts: 1529000 | #Constraints: 160108
2204.27/2210.15 c #Conflicts: 1530000 | #Constraints: 161108
2204.27/2210.15 c #Conflicts: 1531000 | #Constraints: 162108
2204.27/2210.15 c #Conflicts: 1532000 | #Constraints: 163108
2204.27/2210.15 c #Conflicts: 1533000 | #Constraints: 164108
2204.27/2210.15 c #Conflicts: 1534000 | #Constraints: 165108
2204.27/2210.15 c #Conflicts: 1535000 | #Constraints: 166108
2204.27/2210.15 c #Conflicts: 1536000 | #Constraints: 167108
2204.27/2210.15 c #Conflicts: 1537000 | #Constraints: 168108
2204.27/2210.15 c #Conflicts: 1538000 | #Constraints: 169108
2204.27/2210.15 c #Conflicts: 1539000 | #Constraints: 170108
2204.27/2210.15 c #Conflicts: 1540000 | #Constraints: 171108
2204.27/2210.15 c #Conflicts: 1541000 | #Constraints: 172108
2204.27/2210.15 c #Conflicts: 1542000 | #Constraints: 173108
2204.27/2210.15 c #Conflicts: 1543000 | #Constraints: 174108
2204.27/2210.15 c #Conflicts: 1544000 | #Constraints: 175108
2204.27/2210.15 c #Conflicts: 1545000 | #Constraints: 176108
2204.27/2210.15 c #Conflicts: 1546000 | #Constraints: 177108
2204.27/2210.15 c #Conflicts: 1547000 | #Constraints: 178108
2204.27/2210.15 c #Conflicts: 1548000 | #Constraints: 179108
2204.27/2210.15 c #Conflicts: 1549000 | #Constraints: 180108
2204.27/2210.15 c #Conflicts: 1550000 | #Constraints: 181108
2204.27/2210.15 c #Conflicts: 1551000 | #Constraints: 182108
2204.27/2210.15 c #Conflicts: 1552000 | #Constraints: 183108
2204.27/2210.15 c #Conflicts: 1553000 | #Constraints: 184108
2204.27/2210.15 c #Conflicts: 1554000 | #Constraints: 185108
2204.27/2210.15 c INPROCESSING
2204.27/2210.15 c GARBAGE COLLECT
2204.27/2210.15 c #Conflicts: 1555000 | #Constraints: 141062
2204.27/2210.15 c #Conflicts: 1556000 | #Constraints: 142062
2204.27/2210.15 c #Conflicts: 1557000 | #Constraints: 143062
2204.27/2210.15 c #Conflicts: 1558000 | #Constraints: 144062
2204.27/2210.15 c #Conflicts: 1559000 | #Constraints: 145062
2204.27/2210.15 c #Conflicts: 1560000 | #Constraints: 146062
2204.27/2210.15 c #Conflicts: 1561000 | #Constraints: 147062
2204.27/2210.15 c #Conflicts: 1562000 | #Constraints: 148062
2204.27/2210.15 c #Conflicts: 1563000 | #Constraints: 149062
2204.27/2210.15 c #Conflicts: 1564000 | #Constraints: 150062
2204.27/2210.15 c #Conflicts: 1565000 | #Constraints: 151062
2204.27/2210.15 c #Conflicts: 1566000 | #Constraints: 152062
2204.27/2210.15 c #Conflicts: 1567000 | #Constraints: 153062
2204.27/2210.15 c #Conflicts: 1568000 | #Constraints: 154062
2204.27/2210.15 c #Conflicts: 1569000 | #Constraints: 155062
2204.27/2210.15 c #Conflicts: 1570000 | #Constraints: 156062
2204.27/2210.15 c #Conflicts: 1571000 | #Constraints: 157062
2204.27/2210.15 c #Conflicts: 1572000 | #Constraints: 158062
2204.27/2210.15 c #Conflicts: 1573000 | #Constraints: 159062
2204.27/2210.15 c #Conflicts: 1574000 | #Constraints: 160062
2204.27/2210.15 c #Conflicts: 1575000 | #Constraints: 161062
2204.27/2210.15 c #Conflicts: 1576000 | #Constraints: 162062
2204.27/2210.15 c #Conflicts: 1577000 | #Constraints: 163062
2204.27/2210.15 c #Conflicts: 1578000 | #Constraints: 164062
2204.27/2210.15 c #Conflicts: 1579000 | #Constraints: 165062
2204.27/2210.15 c #Conflicts: 1580000 | #Constraints: 166062
2204.27/2210.15 c #Conflicts: 1581000 | #Constraints: 167062
2204.27/2210.15 c #Conflicts: 1582000 | #Constraints: 168062
2204.27/2210.15 c INPROCESSING
2204.27/2210.15 c GARBAGE COLLECT
2204.27/2210.15 c #Conflicts: 1583000 | #Constraints: 132305
2204.27/2210.15 c #Conflicts: 1584000 | #Constraints: 133305
2204.27/2210.15 c #Conflicts: 1585000 | #Constraints: 134305
2204.27/2210.15 c #Conflicts: 1586000 | #Constraints: 135305
2204.27/2210.15 c #Conflicts: 1587000 | #Constraints: 136305
2204.27/2210.15 c #Conflicts: 1588000 | #Constraints: 137305
2204.27/2210.15 c #Conflicts: 1589000 | #Constraints: 138305
2204.27/2210.15 c #Conflicts: 1590000 | #Constraints: 139305
2204.27/2210.15 c #Conflicts: 1591000 | #Constraints: 140305
2204.27/2210.15 c #Conflicts: 1592000 | #Constraints: 141305
2204.27/2210.15 c #Conflicts: 1593000 | #Constraints: 142305
2204.27/2210.15 c #Conflicts: 1594000 | #Constraints: 143305
2204.27/2210.15 c #Conflicts: 1595000 | #Constraints: 144305
2204.27/2210.15 c #Conflicts: 1596000 | #Constraints: 145305
2342.11/2348.39 c #Conflicts: 1597000 | #Constraints: 146305
2342.11/2348.39 c #Conflicts: 1598000 | #Constraints: 147305
2342.11/2348.39 c #Conflicts: 1599000 | #Constraints: 148305
2342.11/2348.39 c #Conflicts: 1600000 | #Constraints: 149305
2342.11/2348.39 c #Conflicts: 1601000 | #Constraints: 150305
2342.11/2348.39 c #Conflicts: 1602000 | #Constraints: 151305
2342.11/2348.39 c #Conflicts: 1603000 | #Constraints: 152305
2342.11/2348.39 c #Conflicts: 1604000 | #Constraints: 153305
2342.11/2348.39 c #Conflicts: 1605000 | #Constraints: 154305
2342.11/2348.39 c #Conflicts: 1606000 | #Constraints: 155305
2342.11/2348.39 c #Conflicts: 1607000 | #Constraints: 156305
2342.11/2348.39 c #Conflicts: 1608000 | #Constraints: 157305
2342.11/2348.39 c #Conflicts: 1609000 | #Constraints: 158305
2342.11/2348.39 c #Conflicts: 1610000 | #Constraints: 159305
2342.11/2348.39 c #Conflicts: 1611000 | #Constraints: 160305
2342.11/2348.39 c INPROCESSING
2342.11/2348.39 c GARBAGE COLLECT
2342.11/2348.39 c #Conflicts: 1612000 | #Constraints: 128540
2342.11/2348.39 c #Conflicts: 1613000 | #Constraints: 129540
2342.11/2348.39 c #Conflicts: 1614000 | #Constraints: 130540
2342.11/2348.39 c #Conflicts: 1615000 | #Constraints: 131540
2342.11/2348.39 c #Conflicts: 1616000 | #Constraints: 132540
2342.11/2348.39 c #Conflicts: 1617000 | #Constraints: 133540
2342.11/2348.39 c #Conflicts: 1618000 | #Constraints: 134540
2342.11/2348.39 c #Conflicts: 1619000 | #Constraints: 135540
2342.11/2348.39 c #Conflicts: 1620000 | #Constraints: 136540
2342.11/2348.39 c #Conflicts: 1621000 | #Constraints: 137540
2342.11/2348.39 c #Conflicts: 1622000 | #Constraints: 138540
2342.11/2348.39 c #Conflicts: 1623000 | #Constraints: 139540
2342.11/2348.39 c #Conflicts: 1624000 | #Constraints: 140540
2342.11/2348.39 c #Conflicts: 1625000 | #Constraints: 141540
2342.11/2348.39 c #Conflicts: 1626000 | #Constraints: 142540
2342.11/2348.39 c #Conflicts: 1627000 | #Constraints: 143540
2342.11/2348.39 c #Conflicts: 1628000 | #Constraints: 144540
2342.11/2348.39 c #Conflicts: 1629000 | #Constraints: 145540
2342.11/2348.39 c #Conflicts: 1630000 | #Constraints: 146540
2342.11/2348.39 c #Conflicts: 1631000 | #Constraints: 147540
2342.11/2348.39 c #Conflicts: 1632000 | #Constraints: 148540
2342.11/2348.39 c #Conflicts: 1633000 | #Constraints: 149540
2342.11/2348.39 c #Conflicts: 1634000 | #Constraints: 150540
2342.11/2348.39 c #Conflicts: 1635000 | #Constraints: 151540
2342.11/2348.39 c #Conflicts: 1636000 | #Constraints: 152540
2342.11/2348.39 c #Conflicts: 1637000 | #Constraints: 153540
2342.11/2348.39 c #Conflicts: 1638000 | #Constraints: 154540
2342.11/2348.39 c #Conflicts: 1639000 | #Constraints: 155540
2342.11/2348.39 c #Conflicts: 1640000 | #Constraints: 156540
2342.11/2348.39 c #Conflicts: 1641000 | #Constraints: 157540
2342.11/2348.39 c #Conflicts: 1642000 | #Constraints: 158540
2342.11/2348.39 c #Conflicts: 1643000 | #Constraints: 159540
2342.11/2348.39 c #Conflicts: 1644000 | #Constraints: 160540
2342.11/2348.39 c #Conflicts: 1645000 | #Constraints: 161540
2342.11/2348.39 c #Conflicts: 1646000 | #Constraints: 162540
2342.11/2348.39 c #Conflicts: 1647000 | #Constraints: 163540
2342.11/2348.39 c #Conflicts: 1648000 | #Constraints: 164540
2342.11/2348.39 c #Conflicts: 1649000 | #Constraints: 165540
2342.11/2348.39 c #Conflicts: 1650000 | #Constraints: 166540
2342.11/2348.39 c #Conflicts: 1651000 | #Constraints: 167540
2342.11/2348.39 c #Conflicts: 1652000 | #Constraints: 168540
2342.11/2348.39 c #Conflicts: 1653000 | #Constraints: 169540
2342.11/2348.39 c #Conflicts: 1654000 | #Constraints: 170540
2342.11/2348.39 c #Conflicts: 1655000 | #Constraints: 171540
2342.11/2348.39 c #Conflicts: 1656000 | #Constraints: 172540
2342.11/2348.39 c #Conflicts: 1657000 | #Constraints: 173540
2342.11/2348.39 c #Conflicts: 1658000 | #Constraints: 174540
2342.11/2348.39 c #Conflicts: 1659000 | #Constraints: 175540
2342.11/2348.39 c #Conflicts: 1660000 | #Constraints: 176540
2342.11/2348.39 c #Conflicts: 1661000 | #Constraints: 177540
2342.11/2348.39 c #Conflicts: 1662000 | #Constraints: 178540
2342.11/2348.39 c #Conflicts: 1663000 | #Constraints: 179540
2342.11/2348.39 c #Conflicts: 1664000 | #Constraints: 180540
2342.11/2348.39 c #Conflicts: 1665000 | #Constraints: 181540
2342.11/2348.39 c #Conflicts: 1666000 | #Constraints: 182540
2342.11/2348.39 c #Conflicts: 1667000 | #Constraints: 183540
2342.11/2348.39 c #Conflicts: 1668000 | #Constraints: 184540
2342.11/2348.39 c #Conflicts: 1669000 | #Constraints: 185540
2342.11/2348.39 c #Conflicts: 1670000 | #Constraints: 186540
2342.11/2348.39 c #Conflicts: 1671000 | #Constraints: 187540
2342.11/2348.39 c #Conflicts: 1672000 | #Constraints: 188540
2342.11/2348.39 c #Conflicts: 1673000 | #Constraints: 189540
2342.11/2348.39 c #Conflicts: 1674000 | #Constraints: 190540
2605.70/2612.68 c #Conflicts: 1675000 | #Constraints: 191540
2605.70/2612.68 c #Conflicts: 1676000 | #Constraints: 192540
2605.70/2612.68 c #Conflicts: 1677000 | #Constraints: 193540
2605.70/2612.68 c #Conflicts: 1678000 | #Constraints: 194540
2605.70/2612.68 c #Conflicts: 1679000 | #Constraints: 195540
2605.70/2612.68 c #Conflicts: 1680000 | #Constraints: 196540
2605.70/2612.68 c #Conflicts: 1681000 | #Constraints: 197540
2605.70/2612.68 c #Conflicts: 1682000 | #Constraints: 198540
2605.70/2612.68 c #Conflicts: 1683000 | #Constraints: 199540
2605.70/2612.68 c #Conflicts: 1684000 | #Constraints: 200540
2605.70/2612.68 c #Conflicts: 1685000 | #Constraints: 201540
2605.70/2612.68 c #Conflicts: 1686000 | #Constraints: 202540
2605.70/2612.68 c #Conflicts: 1687000 | #Constraints: 203540
2605.70/2612.68 c #Conflicts: 1688000 | #Constraints: 204540
2605.70/2612.68 c #Conflicts: 1689000 | #Constraints: 205540
2605.70/2612.68 c #Conflicts: 1690000 | #Constraints: 206540
2605.70/2612.68 c #Conflicts: 1691000 | #Constraints: 207540
2605.70/2612.68 c #Conflicts: 1692000 | #Constraints: 208540
2605.70/2612.68 c #Conflicts: 1693000 | #Constraints: 209540
2605.70/2612.68 c #Conflicts: 1694000 | #Constraints: 210540
2605.70/2612.68 c #Conflicts: 1695000 | #Constraints: 211540
2605.70/2612.68 c #Conflicts: 1696000 | #Constraints: 212540
2605.70/2612.68 c #Conflicts: 1697000 | #Constraints: 213540
2605.70/2612.68 c #Conflicts: 1698000 | #Constraints: 214540
2605.70/2612.68 c #Conflicts: 1699000 | #Constraints: 215540
2605.70/2612.68 c #Conflicts: 1700000 | #Constraints: 216540
2605.70/2612.68 c #Conflicts: 1701000 | #Constraints: 217540
2605.70/2612.68 c #Conflicts: 1702000 | #Constraints: 218540
2605.70/2612.68 c #Conflicts: 1703000 | #Constraints: 219540
2605.70/2612.68 c #Conflicts: 1704000 | #Constraints: 220540
2605.70/2612.68 c #Conflicts: 1705000 | #Constraints: 221540
2605.70/2612.68 c #Conflicts: 1706000 | #Constraints: 222540
2605.70/2612.68 c #Conflicts: 1707000 | #Constraints: 223540
2605.70/2612.68 c #Conflicts: 1708000 | #Constraints: 224540
2605.70/2612.68 c #Conflicts: 1709000 | #Constraints: 225540
2605.70/2612.68 c INPROCESSING
2605.70/2612.68 c GARBAGE COLLECT
2605.70/2612.68 c #Conflicts: 1710000 | #Constraints: 161039
2605.70/2612.68 c #Conflicts: 1711000 | #Constraints: 162039
2605.70/2612.68 c #Conflicts: 1712000 | #Constraints: 163039
2605.70/2612.68 c #Conflicts: 1713000 | #Constraints: 164039
2605.70/2612.68 c #Conflicts: 1714000 | #Constraints: 165039
2605.70/2612.68 c #Conflicts: 1715000 | #Constraints: 166039
2605.70/2612.68 c #Conflicts: 1716000 | #Constraints: 167039
2605.70/2612.68 c #Conflicts: 1717000 | #Constraints: 168039
2605.70/2612.68 c #Conflicts: 1718000 | #Constraints: 169039
2605.70/2612.68 c #Conflicts: 1719000 | #Constraints: 170039
2605.70/2612.68 c #Conflicts: 1720000 | #Constraints: 171039
2605.70/2612.68 c #Conflicts: 1721000 | #Constraints: 172039
2605.70/2612.68 c #Conflicts: 1722000 | #Constraints: 173039
2605.70/2612.68 c #Conflicts: 1723000 | #Constraints: 174039
2605.70/2612.68 c #Conflicts: 1724000 | #Constraints: 175039
2605.70/2612.68 c #Conflicts: 1725000 | #Constraints: 176039
2605.70/2612.68 c #Conflicts: 1726000 | #Constraints: 177039
2605.70/2612.68 c #Conflicts: 1727000 | #Constraints: 178039
2605.70/2612.68 c #Conflicts: 1728000 | #Constraints: 179039
2605.70/2612.68 c #Conflicts: 1729000 | #Constraints: 180039
2605.70/2612.68 c #Conflicts: 1730000 | #Constraints: 181039
2605.70/2612.68 c #Conflicts: 1731000 | #Constraints: 182039
2605.70/2612.68 c #Conflicts: 1732000 | #Constraints: 183039
2605.70/2612.68 c #Conflicts: 1733000 | #Constraints: 184039
2605.70/2612.68 c #Conflicts: 1734000 | #Constraints: 185039
2605.70/2612.68 c #Conflicts: 1735000 | #Constraints: 186039
2605.70/2612.68 c #Conflicts: 1736000 | #Constraints: 187039
2605.70/2612.68 c #Conflicts: 1737000 | #Constraints: 188039
2605.70/2612.68 c #Conflicts: 1738000 | #Constraints: 189039
2605.70/2612.68 c #Conflicts: 1739000 | #Constraints: 190039
2605.70/2612.68 c INPROCESSING
2605.70/2612.68 c GARBAGE COLLECT
2605.70/2612.68 c #Conflicts: 1740000 | #Constraints: 143294
2605.70/2612.68 c #Conflicts: 1741000 | #Constraints: 144294
2605.70/2612.68 c #Conflicts: 1742000 | #Constraints: 145294
2605.70/2612.68 c #Conflicts: 1743000 | #Constraints: 146294
2605.70/2612.68 c #Conflicts: 1744000 | #Constraints: 147294
2605.70/2612.68 c #Conflicts: 1745000 | #Constraints: 148294
2605.70/2612.68 c #Conflicts: 1746000 | #Constraints: 149294
2605.70/2612.68 c #Conflicts: 1747000 | #Constraints: 150294
2605.70/2612.68 c #Conflicts: 1748000 | #Constraints: 151294
2605.70/2612.68 c #Conflicts: 1749000 | #Constraints: 152294
2605.70/2612.68 c #Conflicts: 1750000 | #Constraints: 153294
2605.70/2612.68 c #Conflicts: 1751000 | #Constraints: 154294
2605.70/2612.68 c #Conflicts: 1752000 | #Constraints: 155294
2750.10/2757.45 c #Conflicts: 1753000 | #Constraints: 156294
2750.10/2757.45 c #Conflicts: 1754000 | #Constraints: 157294
2750.10/2757.45 c #Conflicts: 1755000 | #Constraints: 158294
2750.10/2757.45 c #Conflicts: 1756000 | #Constraints: 159294
2750.10/2757.45 c #Conflicts: 1757000 | #Constraints: 160294
2750.10/2757.45 c #Conflicts: 1758000 | #Constraints: 161294
2750.10/2757.45 c #Conflicts: 1759000 | #Constraints: 162294
2750.10/2757.45 c #Conflicts: 1760000 | #Constraints: 163294
2750.10/2757.45 c #Conflicts: 1761000 | #Constraints: 164294
2750.10/2757.45 c #Conflicts: 1762000 | #Constraints: 165294
2750.10/2757.45 c #Conflicts: 1763000 | #Constraints: 166294
2750.10/2757.45 c #Conflicts: 1764000 | #Constraints: 167294
2750.10/2757.45 c #Conflicts: 1765000 | #Constraints: 168294
2750.10/2757.45 c #Conflicts: 1766000 | #Constraints: 169294
2750.10/2757.45 c #Conflicts: 1767000 | #Constraints: 170294
2750.10/2757.45 c #Conflicts: 1768000 | #Constraints: 171294
2750.10/2757.45 c #Conflicts: 1769000 | #Constraints: 172294
2750.10/2757.45 c INPROCESSING
2750.10/2757.45 c GARBAGE COLLECT
2750.10/2757.45 c #Conflicts: 1770000 | #Constraints: 134350
2750.10/2757.45 c #Conflicts: 1771000 | #Constraints: 135350
2750.10/2757.45 c #Conflicts: 1772000 | #Constraints: 136350
2750.10/2757.45 c #Conflicts: 1773000 | #Constraints: 137350
2750.10/2757.45 c #Conflicts: 1774000 | #Constraints: 138350
2750.10/2757.45 c #Conflicts: 1775000 | #Constraints: 139350
2750.10/2757.45 c #Conflicts: 1776000 | #Constraints: 140350
2750.10/2757.45 c #Conflicts: 1777000 | #Constraints: 141350
2750.10/2757.45 c #Conflicts: 1778000 | #Constraints: 142350
2750.10/2757.45 c #Conflicts: 1779000 | #Constraints: 143350
2750.10/2757.45 c #Conflicts: 1780000 | #Constraints: 144350
2750.10/2757.45 c #Conflicts: 1781000 | #Constraints: 145350
2750.10/2757.45 c #Conflicts: 1782000 | #Constraints: 146350
2750.10/2757.45 c #Conflicts: 1783000 | #Constraints: 147350
2750.10/2757.45 c #Conflicts: 1784000 | #Constraints: 148350
2750.10/2757.45 c #Conflicts: 1785000 | #Constraints: 149350
2750.10/2757.45 c #Conflicts: 1786000 | #Constraints: 150350
2750.10/2757.45 c #Conflicts: 1787000 | #Constraints: 151350
2750.10/2757.45 c #Conflicts: 1788000 | #Constraints: 152350
2750.10/2757.45 c #Conflicts: 1789000 | #Constraints: 153350
2750.10/2757.45 c #Conflicts: 1790000 | #Constraints: 154350
2750.10/2757.45 c #Conflicts: 1791000 | #Constraints: 155350
2750.10/2757.45 c #Conflicts: 1792000 | #Constraints: 156350
2750.10/2757.45 c #Conflicts: 1793000 | #Constraints: 157350
2750.10/2757.45 c #Conflicts: 1794000 | #Constraints: 158350
2750.10/2757.45 c #Conflicts: 1795000 | #Constraints: 159350
2750.10/2757.45 c #Conflicts: 1796000 | #Constraints: 160350
2750.10/2757.45 c #Conflicts: 1797000 | #Constraints: 161350
2750.10/2757.45 c #Conflicts: 1798000 | #Constraints: 162350
2750.10/2757.45 c #Conflicts: 1799000 | #Constraints: 163350
2750.10/2757.45 c #Conflicts: 1800000 | #Constraints: 164350
2750.10/2757.45 c INPROCESSING
2750.10/2757.45 c GARBAGE COLLECT
2750.10/2757.45 c #Conflicts: 1801000 | #Constraints: 130690
2750.10/2757.45 c #Conflicts: 1802000 | #Constraints: 131690
2750.10/2757.45 c #Conflicts: 1803000 | #Constraints: 132690
2750.10/2757.45 c #Conflicts: 1804000 | #Constraints: 133690
2750.10/2757.45 c #Conflicts: 1805000 | #Constraints: 134690
2750.10/2757.45 c #Conflicts: 1806000 | #Constraints: 135690
2750.10/2757.45 c #Conflicts: 1807000 | #Constraints: 136690
2750.10/2757.45 c #Conflicts: 1808000 | #Constraints: 137690
2750.10/2757.45 c #Conflicts: 1809000 | #Constraints: 138690
2750.10/2757.45 c #Conflicts: 1810000 | #Constraints: 139690
2750.10/2757.45 c #Conflicts: 1811000 | #Constraints: 140690
2750.10/2757.45 c #Conflicts: 1812000 | #Constraints: 141690
2750.10/2757.45 c #Conflicts: 1813000 | #Constraints: 142690
2750.10/2757.45 c #Conflicts: 1814000 | #Constraints: 143690
2750.10/2757.45 c #Conflicts: 1815000 | #Constraints: 144690
2750.10/2757.45 c #Conflicts: 1816000 | #Constraints: 145690
2750.10/2757.45 c #Conflicts: 1817000 | #Constraints: 146690
2750.10/2757.45 c #Conflicts: 1818000 | #Constraints: 147690
2750.10/2757.45 c #Conflicts: 1819000 | #Constraints: 148690
2750.10/2757.45 c #Conflicts: 1820000 | #Constraints: 149690
2750.10/2757.45 c #Conflicts: 1821000 | #Constraints: 150690
2750.10/2757.45 c #Conflicts: 1822000 | #Constraints: 151690
2750.10/2757.45 c #Conflicts: 1823000 | #Constraints: 152690
2750.10/2757.45 c #Conflicts: 1824000 | #Constraints: 153690
2750.10/2757.45 c #Conflicts: 1825000 | #Constraints: 154690
2750.10/2757.45 c #Conflicts: 1826000 | #Constraints: 155690
2750.10/2757.45 c #Conflicts: 1827000 | #Constraints: 156690
2750.10/2757.45 c #Conflicts: 1828000 | #Constraints: 157690
2750.10/2757.45 c #Conflicts: 1829000 | #Constraints: 158690
3016.44/3024.51 c #Conflicts: 1830000 | #Constraints: 159690
3016.44/3024.51 c #Conflicts: 1831000 | #Constraints: 160690
3016.44/3024.51 c #Conflicts: 1832000 | #Constraints: 161690
3016.44/3024.51 c #Conflicts: 1833000 | #Constraints: 162690
3016.44/3024.51 c #Conflicts: 1834000 | #Constraints: 163690
3016.44/3024.51 c #Conflicts: 1835000 | #Constraints: 164690
3016.44/3024.51 c #Conflicts: 1836000 | #Constraints: 165690
3016.44/3024.51 c #Conflicts: 1837000 | #Constraints: 166690
3016.44/3024.51 c #Conflicts: 1838000 | #Constraints: 167690
3016.44/3024.51 c #Conflicts: 1839000 | #Constraints: 168690
3016.44/3024.51 c #Conflicts: 1840000 | #Constraints: 169690
3016.44/3024.51 c #Conflicts: 1841000 | #Constraints: 170690
3016.44/3024.51 c #Conflicts: 1842000 | #Constraints: 171690
3016.44/3024.51 c #Conflicts: 1843000 | #Constraints: 172690
3016.44/3024.51 c #Conflicts: 1844000 | #Constraints: 173690
3016.44/3024.51 c #Conflicts: 1845000 | #Constraints: 174690
3016.44/3024.51 c #Conflicts: 1846000 | #Constraints: 175690
3016.44/3024.51 c #Conflicts: 1847000 | #Constraints: 176690
3016.44/3024.51 c #Conflicts: 1848000 | #Constraints: 177690
3016.44/3024.51 c #Conflicts: 1849000 | #Constraints: 178690
3016.44/3024.51 c #Conflicts: 1850000 | #Constraints: 179690
3016.44/3024.51 c #Conflicts: 1851000 | #Constraints: 180690
3016.44/3024.51 c #Conflicts: 1852000 | #Constraints: 181690
3016.44/3024.51 c #Conflicts: 1853000 | #Constraints: 182690
3016.44/3024.51 c #Conflicts: 1854000 | #Constraints: 183690
3016.44/3024.51 c #Conflicts: 1855000 | #Constraints: 184690
3016.44/3024.51 c #Conflicts: 1856000 | #Constraints: 185690
3016.44/3024.51 c #Conflicts: 1857000 | #Constraints: 186690
3016.44/3024.51 c #Conflicts: 1858000 | #Constraints: 187690
3016.44/3024.51 c #Conflicts: 1859000 | #Constraints: 188690
3016.44/3024.51 c #Conflicts: 1860000 | #Constraints: 189690
3016.44/3024.51 c #Conflicts: 1861000 | #Constraints: 190690
3016.44/3024.51 c #Conflicts: 1862000 | #Constraints: 191690
3016.44/3024.51 c #Conflicts: 1863000 | #Constraints: 192690
3016.44/3024.51 c #Conflicts: 1864000 | #Constraints: 193690
3016.44/3024.51 c #Conflicts: 1865000 | #Constraints: 194690
3016.44/3024.51 c #Conflicts: 1866000 | #Constraints: 195690
3016.44/3024.51 c #Conflicts: 1867000 | #Constraints: 196690
3016.44/3024.51 c #Conflicts: 1868000 | #Constraints: 197690
3016.44/3024.51 c #Conflicts: 1869000 | #Constraints: 198690
3016.44/3024.51 c #Conflicts: 1870000 | #Constraints: 199690
3016.44/3024.51 c #Conflicts: 1871000 | #Constraints: 200690
3016.44/3024.51 c #Conflicts: 1872000 | #Constraints: 201690
3016.44/3024.51 c #Conflicts: 1873000 | #Constraints: 202690
3016.44/3024.51 c #Conflicts: 1874000 | #Constraints: 203690
3016.44/3024.51 c #Conflicts: 1875000 | #Constraints: 204690
3016.44/3024.51 c #Conflicts: 1876000 | #Constraints: 205690
3016.44/3024.51 c #Conflicts: 1877000 | #Constraints: 206690
3016.44/3024.51 c #Conflicts: 1878000 | #Constraints: 207690
3016.44/3024.51 c #Conflicts: 1879000 | #Constraints: 208690
3016.44/3024.51 c #Conflicts: 1880000 | #Constraints: 209690
3016.44/3024.51 c #Conflicts: 1881000 | #Constraints: 210690
3016.44/3024.51 c #Conflicts: 1882000 | #Constraints: 211690
3016.44/3024.51 c #Conflicts: 1883000 | #Constraints: 212690
3016.44/3024.51 c #Conflicts: 1884000 | #Constraints: 213690
3016.44/3024.51 c #Conflicts: 1885000 | #Constraints: 214690
3016.44/3024.51 c #Conflicts: 1886000 | #Constraints: 215690
3016.44/3024.51 c #Conflicts: 1887000 | #Constraints: 216690
3016.44/3024.51 c #Conflicts: 1888000 | #Constraints: 217690
3016.44/3024.51 c #Conflicts: 1889000 | #Constraints: 218690
3016.44/3024.51 c #Conflicts: 1890000 | #Constraints: 219690
3016.44/3024.51 c #Conflicts: 1891000 | #Constraints: 220690
3016.44/3024.51 c #Conflicts: 1892000 | #Constraints: 221690
3016.44/3024.51 c #Conflicts: 1893000 | #Constraints: 222690
3016.44/3024.51 c #Conflicts: 1894000 | #Constraints: 223690
3016.44/3024.51 c #Conflicts: 1895000 | #Constraints: 224690
3016.44/3024.51 c #Conflicts: 1896000 | #Constraints: 225690
3016.44/3024.51 c #Conflicts: 1897000 | #Constraints: 226690
3016.44/3024.51 c #Conflicts: 1898000 | #Constraints: 227690
3016.44/3024.51 c #Conflicts: 1899000 | #Constraints: 228690
3016.44/3024.51 c #Conflicts: 1900000 | #Constraints: 229690
3016.44/3024.51 c #Conflicts: 1901000 | #Constraints: 230690
3016.44/3024.51 c #Conflicts: 1902000 | #Constraints: 231690
3016.44/3024.51 c #Conflicts: 1903000 | #Constraints: 232690
3016.44/3024.51 c INPROCESSING
3016.44/3024.51 c GARBAGE COLLECT
3016.44/3024.51 c #Conflicts: 1904000 | #Constraints: 164586
3016.44/3024.51 c #Conflicts: 1905000 | #Constraints: 165586
3016.44/3024.51 c #Conflicts: 1906000 | #Constraints: 166586
3016.44/3024.51 c #Conflicts: 1907000 | #Constraints: 167586
3223.68/3232.34 c #Conflicts: 1908000 | #Constraints: 168586
3223.68/3232.34 c #Conflicts: 1909000 | #Constraints: 169586
3223.68/3232.34 c #Conflicts: 1910000 | #Constraints: 170586
3223.68/3232.34 c #Conflicts: 1911000 | #Constraints: 171586
3223.68/3232.34 c #Conflicts: 1912000 | #Constraints: 172586
3223.68/3232.34 c #Conflicts: 1913000 | #Constraints: 173586
3223.68/3232.34 c #Conflicts: 1914000 | #Constraints: 174586
3223.68/3232.34 c #Conflicts: 1915000 | #Constraints: 175586
3223.68/3232.34 c #Conflicts: 1916000 | #Constraints: 176586
3223.68/3232.34 c #Conflicts: 1917000 | #Constraints: 177586
3223.68/3232.34 c #Conflicts: 1918000 | #Constraints: 178586
3223.68/3232.34 c #Conflicts: 1919000 | #Constraints: 179586
3223.68/3232.34 c #Conflicts: 1920000 | #Constraints: 180586
3223.68/3232.34 c #Conflicts: 1921000 | #Constraints: 181586
3223.68/3232.34 c #Conflicts: 1922000 | #Constraints: 182586
3223.68/3232.34 c #Conflicts: 1923000 | #Constraints: 183586
3223.68/3232.34 c #Conflicts: 1924000 | #Constraints: 184586
3223.68/3232.34 c #Conflicts: 1925000 | #Constraints: 185586
3223.68/3232.34 c #Conflicts: 1926000 | #Constraints: 186586
3223.68/3232.34 c #Conflicts: 1927000 | #Constraints: 187586
3223.68/3232.34 c #Conflicts: 1928000 | #Constraints: 188586
3223.68/3232.34 c #Conflicts: 1929000 | #Constraints: 189586
3223.68/3232.34 c #Conflicts: 1930000 | #Constraints: 190586
3223.68/3232.34 c #Conflicts: 1931000 | #Constraints: 191586
3223.68/3232.34 c #Conflicts: 1932000 | #Constraints: 192586
3223.68/3232.34 c #Conflicts: 1933000 | #Constraints: 193586
3223.68/3232.34 c #Conflicts: 1934000 | #Constraints: 194586
3223.68/3232.34 c #Conflicts: 1935000 | #Constraints: 195586
3223.68/3232.34 c INPROCESSING
3223.68/3232.34 c GARBAGE COLLECT
3223.68/3232.34 c #Conflicts: 1936000 | #Constraints: 146194
3223.68/3232.34 c #Conflicts: 1937000 | #Constraints: 147194
3223.68/3232.34 c #Conflicts: 1938000 | #Constraints: 148194
3223.68/3232.34 c #Conflicts: 1939000 | #Constraints: 149194
3223.68/3232.34 c #Conflicts: 1940000 | #Constraints: 150194
3223.68/3232.34 c #Conflicts: 1941000 | #Constraints: 151194
3223.68/3232.34 c #Conflicts: 1942000 | #Constraints: 152194
3223.68/3232.34 c #Conflicts: 1943000 | #Constraints: 153194
3223.68/3232.34 c #Conflicts: 1944000 | #Constraints: 154194
3223.68/3232.34 c #Conflicts: 1945000 | #Constraints: 155194
3223.68/3232.34 c #Conflicts: 1946000 | #Constraints: 156194
3223.68/3232.34 c #Conflicts: 1947000 | #Constraints: 157194
3223.68/3232.34 c #Conflicts: 1948000 | #Constraints: 158194
3223.68/3232.34 c #Conflicts: 1949000 | #Constraints: 159194
3223.68/3232.34 c #Conflicts: 1950000 | #Constraints: 160194
3223.68/3232.34 c #Conflicts: 1951000 | #Constraints: 161194
3223.68/3232.34 c #Conflicts: 1952000 | #Constraints: 162194
3223.68/3232.34 c #Conflicts: 1953000 | #Constraints: 163194
3223.68/3232.34 c #Conflicts: 1954000 | #Constraints: 164194
3223.68/3232.34 c #Conflicts: 1955000 | #Constraints: 165194
3223.68/3232.34 c #Conflicts: 1956000 | #Constraints: 166194
3223.68/3232.34 c #Conflicts: 1957000 | #Constraints: 167194
3223.68/3232.34 c #Conflicts: 1958000 | #Constraints: 168194
3223.68/3232.34 c #Conflicts: 1959000 | #Constraints: 169194
3223.68/3232.34 c #Conflicts: 1960000 | #Constraints: 170194
3223.68/3232.34 c #Conflicts: 1961000 | #Constraints: 171194
3223.68/3232.34 c #Conflicts: 1962000 | #Constraints: 172194
3223.68/3232.34 c #Conflicts: 1963000 | #Constraints: 173194
3223.68/3232.34 c #Conflicts: 1964000 | #Constraints: 174194
3223.68/3232.34 c #Conflicts: 1965000 | #Constraints: 175194
3223.68/3232.34 c #Conflicts: 1966000 | #Constraints: 176194
3223.68/3232.34 c #Conflicts: 1967000 | #Constraints: 177194
3223.68/3232.34 c INPROCESSING
3223.68/3232.34 c GARBAGE COLLECT
3223.68/3232.34 c #Conflicts: 1968000 | #Constraints: 137035
3223.68/3232.34 c #Conflicts: 1969000 | #Constraints: 138035
3223.68/3232.34 c #Conflicts: 1970000 | #Constraints: 139035
3223.68/3232.34 c #Conflicts: 1971000 | #Constraints: 140035
3223.68/3232.34 c #Conflicts: 1972000 | #Constraints: 141035
3223.68/3232.34 c #Conflicts: 1973000 | #Constraints: 142035
3223.68/3232.34 c #Conflicts: 1974000 | #Constraints: 143035
3223.68/3232.34 c #Conflicts: 1975000 | #Constraints: 144035
3223.68/3232.34 c #Conflicts: 1976000 | #Constraints: 145035
3223.68/3232.34 c #Conflicts: 1977000 | #Constraints: 146035
3223.68/3232.34 c #Conflicts: 1978000 | #Constraints: 147035
3223.68/3232.34 c #Conflicts: 1979000 | #Constraints: 148035
3223.68/3232.34 c #Conflicts: 1980000 | #Constraints: 149035
3223.68/3232.34 c #Conflicts: 1981000 | #Constraints: 150035
3223.68/3232.34 c #Conflicts: 1982000 | #Constraints: 151035
3223.68/3232.34 c #Conflicts: 1983000 | #Constraints: 152035
3223.68/3232.34 c #Conflicts: 1984000 | #Constraints: 153035
3223.68/3232.34 c #Conflicts: 1985000 | #Constraints: 154035
3388.75/3397.84 c #Conflicts: 1986000 | #Constraints: 155035
3388.75/3397.84 c #Conflicts: 1987000 | #Constraints: 156035
3388.75/3397.84 c #Conflicts: 1988000 | #Constraints: 157035
3388.75/3397.84 c #Conflicts: 1989000 | #Constraints: 158035
3388.75/3397.84 c #Conflicts: 1990000 | #Constraints: 159035
3388.75/3397.84 c #Conflicts: 1991000 | #Constraints: 160035
3388.75/3397.84 c #Conflicts: 1992000 | #Constraints: 161035
3388.75/3397.84 c #Conflicts: 1993000 | #Constraints: 162035
3388.75/3397.84 c #Conflicts: 1994000 | #Constraints: 163035
3388.75/3397.84 c #Conflicts: 1995000 | #Constraints: 164035
3388.75/3397.84 c #Conflicts: 1996000 | #Constraints: 165035
3388.75/3397.84 c #Conflicts: 1997000 | #Constraints: 166035
3388.75/3397.84 c #Conflicts: 1998000 | #Constraints: 167035
3388.75/3397.84 c #Conflicts: 1999000 | #Constraints: 168035
3388.75/3397.84 c INPROCESSING
3388.75/3397.84 c GARBAGE COLLECT
3388.75/3397.84 c #Conflicts: 2000000 | #Constraints: 132412
3388.75/3397.84 c #Conflicts: 2001000 | #Constraints: 133412
3388.75/3397.84 c #Conflicts: 2002000 | #Constraints: 134412
3388.75/3397.84 c #Conflicts: 2003000 | #Constraints: 135412
3388.75/3397.84 c #Conflicts: 2004000 | #Constraints: 136412
3388.75/3397.84 c #Conflicts: 2005000 | #Constraints: 137412
3388.75/3397.84 c #Conflicts: 2006000 | #Constraints: 138412
3388.75/3397.84 c #Conflicts: 2007000 | #Constraints: 139412
3388.75/3397.84 c #Conflicts: 2008000 | #Constraints: 140412
3388.75/3397.84 c #Conflicts: 2009000 | #Constraints: 141412
3388.75/3397.84 c #Conflicts: 2010000 | #Constraints: 142412
3388.75/3397.84 c #Conflicts: 2011000 | #Constraints: 143412
3388.75/3397.84 c #Conflicts: 2012000 | #Constraints: 144412
3388.75/3397.84 c #Conflicts: 2013000 | #Constraints: 145412
3388.75/3397.84 c #Conflicts: 2014000 | #Constraints: 146412
3388.75/3397.84 c #Conflicts: 2015000 | #Constraints: 147412
3388.75/3397.84 c #Conflicts: 2016000 | #Constraints: 148412
3388.75/3397.84 c #Conflicts: 2017000 | #Constraints: 149412
3388.75/3397.84 c #Conflicts: 2018000 | #Constraints: 150412
3388.75/3397.84 c #Conflicts: 2019000 | #Constraints: 151412
3388.75/3397.84 c #Conflicts: 2020000 | #Constraints: 152412
3388.75/3397.84 c #Conflicts: 2021000 | #Constraints: 153412
3388.75/3397.84 c #Conflicts: 2022000 | #Constraints: 154412
3388.75/3397.84 c #Conflicts: 2023000 | #Constraints: 155412
3388.75/3397.84 c #Conflicts: 2024000 | #Constraints: 156412
3388.75/3397.84 c #Conflicts: 2025000 | #Constraints: 157412
3388.75/3397.84 c #Conflicts: 2026000 | #Constraints: 158412
3388.75/3397.84 c #Conflicts: 2027000 | #Constraints: 159412
3388.75/3397.84 c #Conflicts: 2028000 | #Constraints: 160412
3388.75/3397.84 c #Conflicts: 2029000 | #Constraints: 161412
3388.75/3397.84 c #Conflicts: 2030000 | #Constraints: 162412
3388.75/3397.84 c #Conflicts: 2031000 | #Constraints: 163412
3388.75/3397.84 c #Conflicts: 2032000 | #Constraints: 164412
3388.75/3397.84 c #Conflicts: 2033000 | #Constraints: 165412
3388.75/3397.84 c #Conflicts: 2034000 | #Constraints: 166412
3388.75/3397.84 c #Conflicts: 2035000 | #Constraints: 167412
3388.75/3397.84 c #Conflicts: 2036000 | #Constraints: 168412
3388.75/3397.84 c #Conflicts: 2037000 | #Constraints: 169412
3388.75/3397.84 c #Conflicts: 2038000 | #Constraints: 170412
3388.75/3397.84 c #Conflicts: 2039000 | #Constraints: 171412
3388.75/3397.84 c #Conflicts: 2040000 | #Constraints: 172412
3388.75/3397.84 c #Conflicts: 2041000 | #Constraints: 173412
3388.75/3397.84 c #Conflicts: 2042000 | #Constraints: 174412
3388.75/3397.84 c #Conflicts: 2043000 | #Constraints: 175412
3388.75/3397.84 c #Conflicts: 2044000 | #Constraints: 176412
3388.75/3397.84 c #Conflicts: 2045000 | #Constraints: 177412
3388.75/3397.84 c #Conflicts: 2046000 | #Constraints: 178412
3388.75/3397.84 c #Conflicts: 2047000 | #Constraints: 179412
3388.75/3397.84 c #Conflicts: 2048000 | #Constraints: 180412
3388.75/3397.84 c #Conflicts: 2049000 | #Constraints: 181412
3388.75/3397.84 c #Conflicts: 2050000 | #Constraints: 182412
3388.75/3397.84 c #Conflicts: 2051000 | #Constraints: 183412
3388.75/3397.84 c #Conflicts: 2052000 | #Constraints: 184412
3388.75/3397.84 c #Conflicts: 2053000 | #Constraints: 185412
3388.75/3397.84 c #Conflicts: 2054000 | #Constraints: 186412
3388.75/3397.84 c #Conflicts: 2055000 | #Constraints: 187412
3388.75/3397.84 c #Conflicts: 2056000 | #Constraints: 188412
3388.75/3397.84 c #Conflicts: 2057000 | #Constraints: 189412
3388.75/3397.84 c #Conflicts: 2058000 | #Constraints: 190412
3388.75/3397.84 c #Conflicts: 2059000 | #Constraints: 191412
3388.75/3397.84 c #Conflicts: 2060000 | #Constraints: 192412
3388.75/3397.84 c #Conflicts: 2061000 | #Constraints: 193412
3388.75/3397.84 c #Conflicts: 2062000 | #Constraints: 194412
3388.75/3397.84 c #Conflicts: 2063000 | #Constraints: 195412
3600.06/3609.70 c #Conflicts: 2064000 | #Constraints: 196412
3600.06/3609.70 c #Conflicts: 2065000 | #Constraints: 197412
3600.06/3609.70 c #Conflicts: 2066000 | #Constraints: 198412
3600.06/3609.70 c #Conflicts: 2067000 | #Constraints: 199412
3600.06/3609.70 c #Conflicts: 2068000 | #Constraints: 200412
3600.06/3609.70 c #Conflicts: 2069000 | #Constraints: 201412
3600.06/3609.70 c #Conflicts: 2070000 | #Constraints: 202412
3600.06/3609.70 c #Conflicts: 2071000 | #Constraints: 203412
3600.06/3609.70 c #Conflicts: 2072000 | #Constraints: 204412
3600.06/3609.70 c #Conflicts: 2073000 | #Constraints: 205412
3600.06/3609.70 c #Conflicts: 2074000 | #Constraints: 206412
3600.06/3609.70 c #Conflicts: 2075000 | #Constraints: 207412
3600.06/3609.70 c #Conflicts: 2076000 | #Constraints: 208412
3600.06/3609.70 c #Conflicts: 2077000 | #Constraints: 209412
3600.06/3609.70 c #Conflicts: 2078000 | #Constraints: 210412
3600.06/3609.70 c #Conflicts: 2079000 | #Constraints: 211412
3600.06/3609.70 c #Conflicts: 2080000 | #Constraints: 212412
3600.06/3609.70 c #Conflicts: 2081000 | #Constraints: 213412
3600.06/3609.70 c #Conflicts: 2082000 | #Constraints: 214412
3600.06/3609.70 c #Conflicts: 2083000 | #Constraints: 215412
3600.06/3609.70 c #Conflicts: 2084000 | #Constraints: 216412
3600.06/3609.70 c #Conflicts: 2085000 | #Constraints: 217412
3600.06/3609.70 c #Conflicts: 2086000 | #Constraints: 218412
3600.06/3609.70 c #Conflicts: 2087000 | #Constraints: 219412
3600.06/3609.70 c #Conflicts: 2088000 | #Constraints: 220412
3600.06/3609.70 c #Conflicts: 2089000 | #Constraints: 221412
3600.06/3609.70 c #Conflicts: 2090000 | #Constraints: 222412
3600.06/3609.70 c #Conflicts: 2091000 | #Constraints: 223412
3600.06/3609.70 c #Conflicts: 2092000 | #Constraints: 224412
3600.06/3609.70 c #Conflicts: 2093000 | #Constraints: 225412
3600.06/3609.70 c #Conflicts: 2094000 | #Constraints: 226412
3600.06/3609.70 c #Conflicts: 2095000 | #Constraints: 227412
3600.06/3609.70 c #Conflicts: 2096000 | #Constraints: 228412
3600.06/3609.70 c #Conflicts: 2097000 | #Constraints: 229412
3600.06/3609.70 c #Conflicts: 2098000 | #Constraints: 230412
3600.06/3609.70 c #Conflicts: 2099000 | #Constraints: 231412
3600.06/3609.70 c #Conflicts: 2100000 | #Constraints: 232412
3600.06/3609.70 c #Conflicts: 2101000 | #Constraints: 233412
3600.06/3609.70 c #Conflicts: 2102000 | #Constraints: 234412
3600.06/3609.70 c #Conflicts: 2103000 | #Constraints: 235412
3600.06/3609.70 c #Conflicts: 2104000 | #Constraints: 236412
3600.06/3609.70 c #Conflicts: 2105000 | #Constraints: 237412
3600.06/3609.70 c #Conflicts: 2106000 | #Constraints: 238412
3600.06/3609.70 c #Conflicts: 2107000 | #Constraints: 239412
3600.06/3609.70 c #Conflicts: 2108000 | #Constraints: 240412
3600.06/3609.70 c INPROCESSING
3600.06/3609.70 c GARBAGE COLLECT
3600.06/3609.70 c #Conflicts: 2109000 | #Constraints: 168703
3600.06/3609.70 c #Conflicts: 2110000 | #Constraints: 169703
3600.06/3609.70 c #Conflicts: 2111000 | #Constraints: 170703
3600.06/3609.70 c #Conflicts: 2112000 | #Constraints: 171703
3600.06/3609.70 c #Conflicts: 2113000 | #Constraints: 172703
3600.06/3609.70 c #Conflicts: 2114000 | #Constraints: 173703
3600.06/3609.70 c #Conflicts: 2115000 | #Constraints: 174703
3600.06/3609.70 c #Conflicts: 2116000 | #Constraints: 175703
3600.06/3609.70 c Program interrupted by user.
3600.06/3609.70 c cpu time 3589.99 s
3600.06/3609.70 c deterministic time 363041809638 3.63e+11
3600.06/3609.70 c optimization time 38.1382 s
3600.06/3609.70 c total solve time 3551.71 s
3600.06/3609.70 c core-guided solve time 3551.71 s
3600.06/3609.70 c propagation time 3017.89 s
3600.06/3609.70 c conflict analysis time 548.861 s
3600.06/3609.70 c propagations 769316056
3600.06/3609.70 c resolve steps 52726733
3600.06/3609.70 c decisions 4084898
3600.06/3609.70 c conflicts 2116473
3600.06/3609.70 c restarts 4092
3600.06/3609.70 c inprocessing phases 85
3600.06/3609.70 c input clauses 94592
3600.06/3609.70 c input cardinalities 232
3600.06/3609.70 c input general constraints 141
3600.06/3609.70 c input average constraint length 2.75
3600.06/3609.70 c input average constraint degree 1.46
3600.06/3609.70 c learned clauses 1731038
3600.06/3609.70 c learned cardinalities 6467
3600.06/3609.70 c learned general constraints 378955
3600.06/3609.70 c learned average constraint length 91.22
3600.06/3609.70 c learned average constraint degree 43.28
3600.06/3609.70 c watched constraints 339815
3600.06/3609.70 c counting constraints 39281
3600.06/3609.70 c gcd simplifications 9144
3600.06/3609.70 c detected cardinalities 769
3600.06/3609.70 c weakened non-implied lits 10308240
3600.06/3609.70 c weakened non-implying lits 14807
3600.06/3609.70 c original variables 1272
3600.06/3609.70 c clausal propagations 733936199
3600.06/3609.70 c cardinality propagations 498258
3600.06/3609.70 c watched propagations 6118219
3600.06/3609.70 c counting propagations 26881854
3600.06/3609.70 c watch lookups 81427201997
3600.06/3609.70 c watch backjump lookups 64646412747
3600.06/3609.70 c watch checks 199715059910
3600.06/3609.70 c propagation checks 15102598920
3600.06/3609.70 c constraint additions 601618779
3600.06/3609.70 c trail pops 775516330
3600.06/3609.70 c formula constraints 94227
3600.06/3609.70 c learned constraints 2116460
3600.06/3609.70 c bound constraints 53
3600.06/3609.70 c core-guided constraints 685
3600.06/3609.70 c encountered formula constraints 22994011
3600.06/3609.70 c encountered learned constraints 29799145
3600.06/3609.70 c encountered bound constraints 393
3600.06/3609.70 c encountered core-guided constraints 2049657
3600.06/3609.70 c LP total time 0 s
3600.06/3609.70 c LP solve time 0 s
3600.06/3609.70 c LP constraints added 0
3600.06/3609.70 c LP constraints removed 0
3600.06/3609.70 c LP pivots internal 0
3600.06/3609.70 c LP pivots root 0
3600.06/3609.70 c LP calls 0
3600.06/3609.70 c LP optimalities 0
3600.06/3609.70 c LP no pivot count 0
3600.06/3609.70 c LP infeasibilities 0
3600.06/3609.70 c LP valid Farkas constraints 0
3600.06/3609.70 c LP learned Farkas constraints 0
3600.06/3609.70 c LP basis resets 0
3600.06/3609.70 c LP cycling count 0
3600.06/3609.70 c LP singular count 0
3600.06/3609.70 c LP no primal count 0
3600.06/3609.70 c LP no farkas count 0
3600.06/3609.70 c LP other issue count 0
3600.06/3609.70 c LP Gomory cuts 0
3600.06/3609.70 c LP learned cuts 0
3600.06/3609.70 c LP deleted cuts 0
3600.06/3609.70 c LP encountered Gomory constraints 0
3600.06/3609.70 c LP encountered Farkas constraints 0
3600.06/3609.70 c LP encountered learned Farkas constraints 0
3600.06/3609.70 c CG auxiliary variables introduced 396
3600.06/3609.70 c CG solutions found 1
3600.06/3609.70 c CG cores constructed 40
3600.06/3609.70 c CG core cardinality constraints returned 0
3600.06/3609.70 c CG unit cores 0
3600.06/3609.70 c CG single cores 40
3600.06/3609.70 c CG blocks removed during cardinality reduction 0
3600.06/3609.70 c CG first core best 0
3600.06/3609.70 c CG decision core best 0
3600.06/3609.70 c CG core reduction tie 0
3600.06/3609.70 c CG core degree average 1.00
3600.06/3609.70 c CG core slack average 8.25
3600.06/3609.70 c CG exhausted 13
3600.06/3609.70 c CG exhaust time 8.42638 s
3600.06/3609.70 c CG trimmed 4
3600.06/3609.70 c CG trim time 0.000761 s
3600.06/3609.70 c CG minimized 0
3600.06/3609.70 c CG minimize time 0 s
3600.06/3609.70 c CG am1 prop time 0.007164 s
3600.06/3609.70 c CG # am1s reformulated 236
3600.06/3609.70 c CG lower bound derived from am1s 1033
3600.06/3609.70 c CG # clausal cores 40
3600.06/3609.70 c CG # cardinality cores 0
3600.06/3609.70 c CG # pb cores 0
3600.06/3609.70 c CG # pb reforms 0
3600.06/3609.70 c CG # cores discarded because of pb reform 0
3600.06/3609.70 d LOWERBOUND -186
3600.06/3609.70 d NCORES 40
3600.06/3609.70 d NPBCORES 0
3600.06/3609.70 d NPBREFORM 0
3600.06/3609.70 d NTRIMMED 4
3600.06/3609.70 d NEXHAUSTED 13
3600.06/3609.70 d NAM1S 236
3600.06/3609.70 d AM1LB 1033
3600.06/3609.71 o -34
3600.06/3609.71 s SATISFIABLE
3600.06/3609.71 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 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (61229 MiB free)
memory of node 1: 64510 MiB (59233 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435926-1721066094/watcher-4435926-1721066094 -o /tmp/evaluation-result-4435926-1721066094/solver-4435926-1721066094 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721058885-807329 --watchdog 3760 pb-oll-rs HOME/instance-4435926-1721066094.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=811420, runsolver pid=811417
Current StackSize limit: 8192 KiB
[startup+0.1001 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 811421
/proc/meminfo: memFree=123349928/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=40508 memory=9248 CPUtime=0.09 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 809 0 0 0 7 2 0 0 20 0 1 0 158773559 41480192 2312 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 10127 2312 1217 291 0 1661 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40508 KiB
Current children cumulated memory: 9248 KiB
[startup+0.205625 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 811421
/proc/meminfo: memFree=123347156/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=41828 memory=11888 CPUtime=0.2 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 1415 0 0 0 14 6 0 0 20 0 1 0 158773559 42831872 2972 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 10457 2972 1217 291 0 1991 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 41828 KiB
Current children cumulated memory: 11888 KiB
[startup+0.305537 s]*
/proc/loadavg: 4.13 4.12 4.09 5/258 811421
/proc/meminfo: memFree=123337608/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=51312 memory=21716 CPUtime=0.29 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 3854 0 0 0 22 7 0 0 20 0 1 0 158773559 52543488 5429 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 12828 5429 1375 291 0 4362 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 51312 KiB
Current children cumulated memory: 21716 KiB
[startup+0.700236 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 811421
/proc/meminfo: memFree=123333436/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=61940 memory=32448 CPUtime=0.68 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 6515 0 0 0 60 8 0 0 20 0 1 0 158773559 63426560 8112 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 15485 8112 1390 291 0 7019 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 61940 KiB
Current children cumulated memory: 32448 KiB
[startup+1.50025 s]
/proc/loadavg: 4.13 4.12 4.09 5/258 811421
/proc/meminfo: memFree=123323340/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=71832 memory=39428 CPUtime=1.48 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 7682 0 0 0 138 10 0 0 20 0 1 0 158773559 73555968 9857 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 17958 9857 1441 291 0 9492 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 71832 KiB
Current children cumulated memory: 39428 KiB
[startup+3.10556 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 811421
/proc/meminfo: memFree=123297224/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=82484 memory=46452 CPUtime=3.08 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 8525 0 0 0 296 12 0 0 20 0 1 0 158773559 84463616 11613 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 20621 11613 1441 291 0 12155 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 82484 KiB
Current children cumulated memory: 46452 KiB
[startup+6.30024 s]
/proc/loadavg: 4.12 4.12 4.09 5/260 811852
/proc/meminfo: memFree=124988688/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=88016 memory=58040 CPUtime=6.27 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 11797 0 0 0 611 16 0 0 20 0 1 0 158773559 90128384 14510 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 22004 14510 1441 291 0 13538 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 88016 KiB
Current children cumulated memory: 58040 KiB
[startup+12.7002 s]
/proc/loadavg: 4.10 4.11 4.09 5/260 811852
/proc/meminfo: memFree=124947316/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=93104 memory=63772 CPUtime=12.65 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 14508 0 0 0 1235 30 0 0 20 0 1 0 158773559 95338496 15943 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 23276 15943 1441 291 0 14810 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 93104 KiB
Current children cumulated memory: 63772 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.12 4.09 5/260 811901
/proc/meminfo: memFree=128178832/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=93944 memory=64564 CPUtime=25.42 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 14721 0 0 0 2491 51 0 0 20 0 1 0 158773559 96198656 16141 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 23486 16141 1441 291 0 15020 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 93944 KiB
Current children cumulated memory: 64564 KiB
[startup+51.1054 s]
/proc/loadavg: 4.11 4.11 4.09 5/257 811904
/proc/meminfo: memFree=128161172/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=96112 memory=66940 CPUtime=50.95 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 15301 0 0 0 5016 79 0 0 20 0 1 0 158773559 98418688 16735 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 24028 16735 1441 291 0 15562 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 96112 KiB
Current children cumulated memory: 66940 KiB
[startup+102.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/257 811913
/proc/meminfo: memFree=128134608/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=97788 memory=68584 CPUtime=102 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 16413 0 0 0 10082 118 0 0 20 0 1 0 158773559 100134912 17146 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 24447 17146 1441 291 0 15981 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 97788 KiB
Current children cumulated memory: 68584 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 811924
/proc/meminfo: memFree=128117956/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=98388 memory=69188 CPUtime=161.82 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 17310 0 0 0 16030 152 0 0 20 0 1 0 158773559 100749312 17297 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 24597 17297 1441 291 0 16131 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 98388 KiB
Current children cumulated memory: 69188 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/258 812104
/proc/meminfo: memFree=128102684/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=99140 memory=69956 CPUtime=221.65 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 18302 0 0 0 21986 179 0 0 20 0 1 0 158773559 101519360 17489 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 24785 17489 1441 291 0 16319 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 99140 KiB
Current children cumulated memory: 69956 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/258 812114
/proc/meminfo: memFree=128098376/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=100632 memory=71640 CPUtime=281.51 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 19367 0 0 0 27939 212 0 0 20 0 1 0 158773559 103047168 17910 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 25158 17910 1441 291 0 16692 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 100632 KiB
Current children cumulated memory: 71640 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/258 812129
/proc/meminfo: memFree=128096812/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=100632 memory=71640 CPUtime=341.37 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 19402 0 0 0 33898 239 0 0 20 0 1 0 158773559 103047168 17910 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 25158 17910 1441 291 0 16692 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 100632 KiB
Current children cumulated memory: 71640 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/258 812150
/proc/meminfo: memFree=128094384/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=123340 memory=76176 CPUtime=401.23 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 20579 0 0 0 39857 266 0 0 20 0 1 0 158773559 126300160 19044 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 30835 19044 1441 291 0 22369 0
Current children cumulated CPU time: 401.23 s
Current children cumulated vsize: 123340 KiB
Current children cumulated memory: 76176 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/259 812161
/proc/meminfo: memFree=128086648/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=123340 memory=76292 CPUtime=461.09 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 20608 0 0 0 45822 287 0 0 20 0 1 0 158773559 126300160 19073 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 30835 19073 1441 291 0 22369 0
################
# More data... #
################
Current children cumulated memory: 110312 KiB
[startup+2922.3 s]
/proc/loadavg: 4.20 4.13 4.10 5/257 813272
/proc/meminfo: memFree=128191864/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=164820 memory=110312 CPUtime=2914.52 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 27110 0 0 0 290564 888 0 0 20 0 1 0 158773559 168775680 27578 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41205 27578 1441 291 0 32739 0
Current children cumulated CPU time: 2914.52 s
Current children cumulated vsize: 164820 KiB
Current children cumulated memory: 110312 KiB
[startup+2982.3 s]
/proc/loadavg: 4.52 4.22 4.13 5/257 813284
/proc/meminfo: memFree=128184728/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=164820 memory=110312 CPUtime=2974.36 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 27162 0 0 0 296539 897 0 0 20 0 1 0 158773559 168775680 27578 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41205 27578 1441 291 0 32739 0
Current children cumulated CPU time: 2974.36 s
Current children cumulated vsize: 164820 KiB
Current children cumulated memory: 110312 KiB
[startup+3042.3 s]
/proc/loadavg: 4.30 4.21 4.13 5/255 813294
/proc/meminfo: memFree=128178928/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=166572 memory=116148 CPUtime=3034.19 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 27655 0 0 0 302512 907 0 0 20 0 1 0 158773559 170569728 29037 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41643 29037 1441 291 0 33177 0
Current children cumulated CPU time: 3034.19 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 116148 KiB
[startup+3102.3 s]
/proc/loadavg: 4.25 4.21 4.13 5/255 813304
/proc/meminfo: memFree=128179704/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=166572 memory=116148 CPUtime=3094.03 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 27693 0 0 0 308487 916 0 0 20 0 1 0 158773559 170569728 29037 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41643 29037 1441 291 0 33177 0
Current children cumulated CPU time: 3094.03 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 116148 KiB
[startup+3162.3 s]
/proc/loadavg: 4.19 4.20 4.13 5/255 813315
/proc/meminfo: memFree=128179420/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=166572 memory=116168 CPUtime=3153.87 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 27736 0 0 0 314459 928 0 0 20 0 1 0 158773559 170569728 29042 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41643 29042 1441 291 0 33177 0
Current children cumulated CPU time: 3153.87 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 116168 KiB
[startup+3222.3 s]
/proc/loadavg: 4.18 4.19 4.13 5/255 813326
/proc/meminfo: memFree=128176248/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=166572 memory=116168 CPUtime=3213.71 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 27774 0 0 0 320431 940 0 0 20 0 1 0 158773559 170569728 29042 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41643 29042 1441 291 0 33177 0
Current children cumulated CPU time: 3213.71 s
Current children cumulated vsize: 166572 KiB
Current children cumulated memory: 116168 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.17 4.13 5/255 813336
/proc/meminfo: memFree=128175412/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=165384 memory=114780 CPUtime=3273.56 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 28201 0 0 0 326399 957 0 0 20 0 1 0 158773559 169353216 28695 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41346 28695 1441 291 0 32880 0
Current children cumulated CPU time: 3273.56 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 114780 KiB
[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.13 5/257 813352
/proc/meminfo: memFree=128175060/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=165384 memory=115028 CPUtime=3333.4 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 28239 0 0 0 332369 971 0 0 20 0 1 0 158773559 169353216 28757 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41346 28757 1441 291 0 32880 0
Current children cumulated CPU time: 3333.4 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 115028 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.12 5/257 813362
/proc/meminfo: memFree=128176344/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=165384 memory=115028 CPUtime=3393.23 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 28283 0 0 0 338343 980 0 0 20 0 1 0 158773559 169353216 28757 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41346 28757 1441 291 0 32880 0
Current children cumulated CPU time: 3393.23 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 115028 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.14 4.11 5/257 813372
/proc/meminfo: memFree=128176084/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=165384 memory=115028 CPUtime=3453.07 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 28331 0 0 0 344318 989 0 0 20 0 1 0 158773559 169353216 28757 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41346 28757 1441 291 0 32880 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 115028 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.12 4.11 5/257 813382
/proc/meminfo: memFree=128175728/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=165384 memory=115028 CPUtime=3512.9 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 28381 0 0 0 350294 996 0 0 20 0 1 0 158773559 169353216 28757 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41346 28757 1441 291 0 32880 0
Current children cumulated CPU time: 3512.9 s
Current children cumulated vsize: 165384 KiB
Current children cumulated memory: 115028 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.13 4.11 5/257 813394
/proc/meminfo: memFree=128165160/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=167600 memory=119056 CPUtime=3572.73 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 28973 0 0 0 356269 1004 0 0 20 0 1 0 158773559 171622400 29764 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41900 29764 1441 291 0 33434 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 167600 KiB
Current children cumulated memory: 119056 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.15 4.13 4.11 5/259 813782
/proc/meminfo: memFree=128161988/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=167600 memory=119224 CPUtime=3600.06 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 29008 0 0 0 358998 1008 0 0 20 0 1 0 158773559 171622400 29806 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41900 29806 1441 291 0 33434 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 167600 KiB
Current children cumulated memory: 119224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 811420 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590 s, system=10.0852 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.15 4.13 4.11 5/259 813782
/proc/meminfo: memFree=128161988/131524600 swapFree=131071996/131071996
[pid=811420] ppid=811417 vsize=167600 memory=119224 CPUtime=3600.06 cores=5,7
/proc/811420/stat : 811420 (pb-oll-rs) R 811417 811420 807316 0 -1 4194304 29008 0 0 0 358998 1008 0 0 20 0 1 0 158773559 171622400 29806 134679101440 4194304 5384005 140720794355520 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 14503936 140720794358807 140720794358884 140720794358884 140720794365899 0
/proc/811420/statm: 41900 29806 1441 291 0 33434 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 167600 KiB
Current children cumulated memory: 119224 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.08
CPU user time (s): 3590
CPU system time (s): 10.0852
CPU usage (%): 99.7332
Max. virtual memory (cumulated for all children) (KiB): 167600
Max. memory (cumulated for all children) (KiB): 119224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590
system time used= 10.0852
maximum resident set size= 119904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29024
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= 50
involuntary context switches= 1174
# summary of solver processes directly reported to runsolver:
# pid: 811420
# total CPU time (s): 3600.08
# total CPU user time (s): 3590
# total CPU system time (s): 10.0852
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.554 second user time and 12.0966 second system time
The end
Begin job on nodeC022 at 2024-07-15 19:55:07
IDJOB=4435926
IDBENCH=146672
IDSOLVER=3067
FILE ID=nodeC022/4435926-1721066094
RUNJOBID= nodeC022-1721058885-807329
SLURM_JOB_ID= 7505493
Free space on /tmp= 890076 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435926-1721066094/watcher-4435926-1721066094 -o /tmp/evaluation-result-4435926-1721066094/solver-4435926-1721066094 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1721058885-807329 --watchdog 3760 pb-oll-rs HOME/instance-4435926-1721066094.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9
RANDOM SEED=672542657
nodeC022.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 : 3675.900
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.66
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 : 3687.797
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.068
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.66
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 : 3641.003
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3675.921
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.66
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 : 3647.186
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.937
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.66
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 : 3672.044
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 : 7006.96
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123354864 kB
MemAvailable: 124537540 kB
Buffers: 371184 kB
Cached: 1642656 kB
SwapCached: 0 kB
Active: 634152 kB
Inactive: 6925068 kB
Active(anon): 1572 kB
Inactive(anon): 5581520 kB
Active(file): 632580 kB
Inactive(file): 1343548 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 4048 kB
Writeback: 0 kB
AnonPages: 5541300 kB
Mapped: 107432 kB
Shmem: 37720 kB
KReclaimable: 92392 kB
Slab: 196168 kB
SReclaimable: 92392 kB
SUnreclaim: 103776 kB
KernelStack: 4156 kB
PageTables: 21460 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 7024732 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 59584 kB
HardwareCorrupted: 0 kB
AnonHugePages: 3266560 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: 228052 kB
DirectMap2M: 22614016 kB
DirectMap1G: 113246208 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC022 at 2024-07-15 20:55:16