0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.04 c [STEP] solving
0.00/0.04 c #variables 450 #constraints 17794
0.00/0.04 c SMALL=int, LARGE=long long
0.00/0.04 c bounds - >= -450 @ 0.028269
0.00/0.04 c stratification level: 0
0.00/0.06 c bounds - >= -91 @ 0.038698
0.00/0.06 c bounds - >= -90 @ 0.038698
0.00/0.06 c bounds - >= -89 @ 0.038747
0.00/0.06 c bounds - >= -88 @ 0.039011
0.00/0.06 c bounds - >= -87 @ 0.039357
0.00/0.06 c bounds - >= -86 @ 0.039805
0.00/0.06 c bounds - >= -85 @ 0.039873
0.00/0.06 c bounds - >= -84 @ 0.039873
0.00/0.06 c bounds - >= -83 @ 0.039873
0.00/0.06 c bounds - >= -82 @ 0.039873
0.00/0.06 c bounds - >= -81 @ 0.040017
0.00/0.06 c bounds - >= -80 @ 0.040269
0.00/0.06 c bounds - >= -79 @ 0.040664
0.00/0.06 c finalizing WCE round: reformulating cores
5.87/5.98 c bounds -15 >= -89 @ 0.041865
5.87/5.98 c bounds -18 >= -85 @ 0.063974
5.87/5.98 c bounds -18 >= -85 @ 0.064671
5.87/5.98 c bounds -21 >= -80 @ 0.099323
5.87/5.98 c bounds -21 >= -80 @ 0.100869
5.87/5.98 c #Conflicts: 1000 | #Constraints: 18935
5.87/5.98 c #Conflicts: 2000 | #Constraints: 19941
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 3000 | #Constraints: 19852
5.87/5.98 c bounds -24 >= -74 @ 0.577192
5.87/5.98 c #Conflicts: 4000 | #Constraints: 20854
5.87/5.98 c bounds -24 >= -73 @ 0.582036
5.87/5.98 c bounds -24 >= -72 @ 0.592238
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c bounds -24 >= -71 @ 0.632784
5.87/5.98 c #Conflicts: 5000 | #Constraints: 20356
5.87/5.98 c bounds -24 >= -70 @ 0.820931
5.87/5.98 c #Conflicts: 6000 | #Constraints: 21393
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 7000 | #Constraints: 20412
5.87/5.98 c #Conflicts: 8000 | #Constraints: 21412
5.87/5.98 c #Conflicts: 9000 | #Constraints: 22412
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 10000 | #Constraints: 21114
5.87/5.98 c #Conflicts: 11000 | #Constraints: 22114
5.87/5.98 c #Conflicts: 12000 | #Constraints: 23114
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 13000 | #Constraints: 21569
5.87/5.98 c #Conflicts: 14000 | #Constraints: 22569
5.87/5.98 c #Conflicts: 15000 | #Constraints: 23569
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 16000 | #Constraints: 21826
5.87/5.98 c #Conflicts: 17000 | #Constraints: 22826
5.87/5.98 c #Conflicts: 18000 | #Constraints: 23826
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 19000 | #Constraints: 21839
5.87/5.98 c #Conflicts: 20000 | #Constraints: 22839
5.87/5.98 c #Conflicts: 21000 | #Constraints: 23839
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 22000 | #Constraints: 21646
5.87/5.98 c #Conflicts: 23000 | #Constraints: 22646
5.87/5.98 c #Conflicts: 24000 | #Constraints: 23646
5.87/5.98 c #Conflicts: 25000 | #Constraints: 24646
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 26000 | #Constraints: 22266
5.87/5.98 c #Conflicts: 27000 | #Constraints: 23266
5.87/5.98 c #Conflicts: 28000 | #Constraints: 24266
5.87/5.98 c #Conflicts: 29000 | #Constraints: 25266
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 30000 | #Constraints: 22658
5.87/5.98 c #Conflicts: 31000 | #Constraints: 23658
5.87/5.98 c #Conflicts: 32000 | #Constraints: 24658
5.87/5.98 c #Conflicts: 33000 | #Constraints: 25658
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 34000 | #Constraints: 22852
5.87/5.98 c #Conflicts: 35000 | #Constraints: 23852
5.87/5.98 c #Conflicts: 36000 | #Constraints: 24852
5.87/5.98 c #Conflicts: 37000 | #Constraints: 25852
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 38000 | #Constraints: 22859
5.87/5.98 c #Conflicts: 39000 | #Constraints: 23859
5.87/5.98 c #Conflicts: 40000 | #Constraints: 24859
5.87/5.98 c #Conflicts: 41000 | #Constraints: 25859
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 42000 | #Constraints: 22664
5.87/5.98 c #Conflicts: 43000 | #Constraints: 23664
5.87/5.98 c #Conflicts: 44000 | #Constraints: 24664
5.87/5.98 c #Conflicts: 45000 | #Constraints: 25664
5.87/5.98 c #Conflicts: 46000 | #Constraints: 26664
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 47000 | #Constraints: 23256
5.87/5.98 c #Conflicts: 48000 | #Constraints: 24256
5.87/5.98 c #Conflicts: 49000 | #Constraints: 25256
5.87/5.98 c #Conflicts: 50000 | #Constraints: 26256
5.87/5.98 c #Conflicts: 51000 | #Constraints: 27256
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 52000 | #Constraints: 23671
5.87/5.98 c #Conflicts: 53000 | #Constraints: 24671
5.87/5.98 c #Conflicts: 54000 | #Constraints: 25671
5.87/5.98 c #Conflicts: 55000 | #Constraints: 26671
5.87/5.98 c #Conflicts: 56000 | #Constraints: 27671
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 57000 | #Constraints: 23873
5.87/5.98 c #Conflicts: 58000 | #Constraints: 24873
5.87/5.98 c #Conflicts: 59000 | #Constraints: 25873
5.87/5.98 c #Conflicts: 60000 | #Constraints: 26873
5.87/5.98 c #Conflicts: 61000 | #Constraints: 27873
5.87/5.98 c INPROCESSING
5.87/5.98 c GARBAGE COLLECT
5.87/5.98 c #Conflicts: 62000 | #Constraints: 23885
5.87/5.98 c #Conflicts: 63000 | #Constraints: 24885
13.85/13.99 c #Conflicts: 64000 | #Constraints: 25885
13.85/13.99 c #Conflicts: 65000 | #Constraints: 26885
13.85/13.99 c #Conflicts: 66000 | #Constraints: 27885
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 67000 | #Constraints: 23673
13.85/13.99 c #Conflicts: 68000 | #Constraints: 24673
13.85/13.99 c #Conflicts: 69000 | #Constraints: 25673
13.85/13.99 c #Conflicts: 70000 | #Constraints: 26673
13.85/13.99 c #Conflicts: 71000 | #Constraints: 27673
13.85/13.99 c #Conflicts: 72000 | #Constraints: 28673
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 73000 | #Constraints: 24275
13.85/13.99 c #Conflicts: 74000 | #Constraints: 25275
13.85/13.99 c #Conflicts: 75000 | #Constraints: 26275
13.85/13.99 c #Conflicts: 76000 | #Constraints: 27275
13.85/13.99 c #Conflicts: 77000 | #Constraints: 28275
13.85/13.99 c #Conflicts: 78000 | #Constraints: 29275
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 79000 | #Constraints: 24682
13.85/13.99 c #Conflicts: 80000 | #Constraints: 25682
13.85/13.99 c #Conflicts: 81000 | #Constraints: 26682
13.85/13.99 c #Conflicts: 82000 | #Constraints: 27682
13.85/13.99 c #Conflicts: 83000 | #Constraints: 28682
13.85/13.99 c #Conflicts: 84000 | #Constraints: 29682
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 85000 | #Constraints: 24879
13.85/13.99 c #Conflicts: 86000 | #Constraints: 25879
13.85/13.99 c #Conflicts: 87000 | #Constraints: 26879
13.85/13.99 c #Conflicts: 88000 | #Constraints: 27879
13.85/13.99 c #Conflicts: 89000 | #Constraints: 28879
13.85/13.99 c #Conflicts: 90000 | #Constraints: 29879
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 91000 | #Constraints: 24868
13.85/13.99 c #Conflicts: 92000 | #Constraints: 25868
13.85/13.99 c #Conflicts: 93000 | #Constraints: 26868
13.85/13.99 c #Conflicts: 94000 | #Constraints: 27868
13.85/13.99 c #Conflicts: 95000 | #Constraints: 28868
13.85/13.99 c #Conflicts: 96000 | #Constraints: 29868
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 97000 | #Constraints: 24685
13.85/13.99 c #Conflicts: 98000 | #Constraints: 25685
13.85/13.99 c #Conflicts: 99000 | #Constraints: 26685
13.85/13.99 c #Conflicts: 100000 | #Constraints: 27685
13.85/13.99 c #Conflicts: 101000 | #Constraints: 28685
13.85/13.99 c #Conflicts: 102000 | #Constraints: 29685
13.85/13.99 c #Conflicts: 103000 | #Constraints: 30685
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 104000 | #Constraints: 25270
13.85/13.99 c #Conflicts: 105000 | #Constraints: 26270
13.85/13.99 c #Conflicts: 106000 | #Constraints: 27270
13.85/13.99 c #Conflicts: 107000 | #Constraints: 28270
13.85/13.99 c #Conflicts: 108000 | #Constraints: 29270
13.85/13.99 c #Conflicts: 109000 | #Constraints: 30270
13.85/13.99 c #Conflicts: 110000 | #Constraints: 31270
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 111000 | #Constraints: 25676
13.85/13.99 c #Conflicts: 112000 | #Constraints: 26676
13.85/13.99 c #Conflicts: 113000 | #Constraints: 27676
13.85/13.99 c #Conflicts: 114000 | #Constraints: 28676
13.85/13.99 c #Conflicts: 115000 | #Constraints: 29676
13.85/13.99 c #Conflicts: 116000 | #Constraints: 30676
13.85/13.99 c #Conflicts: 117000 | #Constraints: 31676
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 118000 | #Constraints: 25877
13.85/13.99 c #Conflicts: 119000 | #Constraints: 26877
13.85/13.99 c #Conflicts: 120000 | #Constraints: 27877
13.85/13.99 c #Conflicts: 121000 | #Constraints: 28877
13.85/13.99 c #Conflicts: 122000 | #Constraints: 29877
13.85/13.99 c #Conflicts: 123000 | #Constraints: 30877
13.85/13.99 c #Conflicts: 124000 | #Constraints: 31877
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 125000 | #Constraints: 25895
13.85/13.99 c #Conflicts: 126000 | #Constraints: 26895
13.85/13.99 c #Conflicts: 127000 | #Constraints: 27895
13.85/13.99 c #Conflicts: 128000 | #Constraints: 28895
13.85/13.99 c #Conflicts: 129000 | #Constraints: 29895
13.85/13.99 c #Conflicts: 130000 | #Constraints: 30895
13.85/13.99 c #Conflicts: 131000 | #Constraints: 31895
13.85/13.99 c INPROCESSING
13.85/13.99 c GARBAGE COLLECT
13.85/13.99 c #Conflicts: 132000 | #Constraints: 25687
13.85/13.99 c #Conflicts: 133000 | #Constraints: 26687
13.85/13.99 c #Conflicts: 134000 | #Constraints: 27687
16.65/16.79 c #Conflicts: 135000 | #Constraints: 28687
16.65/16.79 c #Conflicts: 136000 | #Constraints: 29687
16.65/16.79 c #Conflicts: 137000 | #Constraints: 30687
16.65/16.79 c #Conflicts: 138000 | #Constraints: 31687
16.65/16.79 c #Conflicts: 139000 | #Constraints: 32687
16.65/16.79 c INPROCESSING
16.65/16.79 c GARBAGE COLLECT
16.65/16.79 c #Conflicts: 140000 | #Constraints: 26293
16.65/16.79 c #Conflicts: 141000 | #Constraints: 27293
16.65/16.79 c #Conflicts: 142000 | #Constraints: 28293
16.65/16.79 c #Conflicts: 143000 | #Constraints: 29293
16.65/16.79 c #Conflicts: 144000 | #Constraints: 30293
16.65/16.79 c #Conflicts: 145000 | #Constraints: 31293
16.65/16.79 c #Conflicts: 146000 | #Constraints: 32293
16.65/16.79 c #Conflicts: 147000 | #Constraints: 33293
16.65/16.79 c INPROCESSING
16.65/16.79 c GARBAGE COLLECT
16.65/16.79 c #Conflicts: 148000 | #Constraints: 26695
16.65/16.79 c #Conflicts: 149000 | #Constraints: 27695
16.65/16.79 c #Conflicts: 150000 | #Constraints: 28695
16.65/16.79 c #Conflicts: 151000 | #Constraints: 29695
16.65/16.79 c #Conflicts: 152000 | #Constraints: 30695
16.65/16.79 c #Conflicts: 153000 | #Constraints: 31695
16.65/16.79 c #Conflicts: 154000 | #Constraints: 32695
16.65/16.79 c #Conflicts: 155000 | #Constraints: 33695
16.65/16.79 c INPROCESSING
16.65/16.79 c GARBAGE COLLECT
16.65/16.79 c bounds -24 >= -69 @ 16.2579
16.65/16.79 c finalizing WCE round: reformulating cores
28.62/28.79 c #Conflicts: 156000 | #Constraints: 26931
28.62/28.79 c #Conflicts: 157000 | #Constraints: 27933
28.62/28.79 c bounds -25 >= -71 @ 16.4583
28.62/28.79 c #Conflicts: 158000 | #Constraints: 28937
28.62/28.79 c bounds -25 >= -69 @ 16.5276
28.62/28.79 c bounds -25 >= -69 @ 16.538
28.62/28.79 c #Conflicts: 159000 | #Constraints: 29943
28.62/28.79 c bounds -25 >= -69 @ 16.5903
28.62/28.79 c #Conflicts: 160000 | #Constraints: 30945
28.62/28.79 c bounds -25 >= -65 @ 16.6477
28.62/28.79 c bounds -25 >= -65 @ 16.6591
28.62/28.79 c bounds -25 >= -63 @ 16.7361
28.62/28.79 c #Conflicts: 161000 | #Constraints: 31951
28.62/28.79 c bounds -25 >= -62 @ 16.8908
28.62/28.79 c #Conflicts: 162000 | #Constraints: 32973
28.62/28.79 c #Conflicts: 163000 | #Constraints: 33973
28.62/28.79 c INPROCESSING
28.62/28.79 c GARBAGE COLLECT
28.62/28.79 c #Conflicts: 164000 | #Constraints: 26616
28.62/28.79 c #Conflicts: 165000 | #Constraints: 27616
28.62/28.79 c #Conflicts: 166000 | #Constraints: 28616
28.62/28.79 c bounds -25 >= -61 @ 17.3944
28.62/28.79 c #Conflicts: 167000 | #Constraints: 29638
28.62/28.79 c #Conflicts: 168000 | #Constraints: 30638
28.62/28.79 c #Conflicts: 169000 | #Constraints: 31638
28.62/28.79 c #Conflicts: 170000 | #Constraints: 32638
28.62/28.79 c #Conflicts: 171000 | #Constraints: 33638
28.62/28.79 c #Conflicts: 172000 | #Constraints: 34638
28.62/28.79 c #Conflicts: 173000 | #Constraints: 35638
28.62/28.79 c bounds -25 >= -60 @ 18.1227
28.62/28.79 c #Conflicts: 174000 | #Constraints: 36657
28.62/28.79 c #Conflicts: 175000 | #Constraints: 37657
28.62/28.79 c #Conflicts: 176000 | #Constraints: 38657
28.62/28.79 c #Conflicts: 177000 | #Constraints: 39657
28.62/28.79 c #Conflicts: 178000 | #Constraints: 40657
28.62/28.79 c #Conflicts: 179000 | #Constraints: 41657
28.62/28.79 c #Conflicts: 180000 | #Constraints: 42657
28.62/28.79 c #Conflicts: 181000 | #Constraints: 43657
28.62/28.79 c #Conflicts: 182000 | #Constraints: 44657
28.62/28.79 c bounds -25 >= -59 @ 19.5509
28.62/28.79 c #Conflicts: 183000 | #Constraints: 45673
28.62/28.79 c #Conflicts: 184000 | #Constraints: 46673
28.62/28.79 c #Conflicts: 185000 | #Constraints: 47673
28.62/28.79 c #Conflicts: 186000 | #Constraints: 48673
28.62/28.79 c #Conflicts: 187000 | #Constraints: 49673
28.62/28.79 c #Conflicts: 188000 | #Constraints: 50673
28.62/28.79 c #Conflicts: 189000 | #Constraints: 51673
28.62/28.79 c #Conflicts: 190000 | #Constraints: 52673
28.62/28.79 c #Conflicts: 191000 | #Constraints: 53673
28.62/28.79 c #Conflicts: 192000 | #Constraints: 54673
28.62/28.79 c #Conflicts: 193000 | #Constraints: 55673
28.62/28.79 c #Conflicts: 194000 | #Constraints: 56673
28.62/28.79 c #Conflicts: 195000 | #Constraints: 57673
28.62/28.79 c #Conflicts: 196000 | #Constraints: 58673
28.62/28.79 c #Conflicts: 197000 | #Constraints: 59673
28.62/28.79 c #Conflicts: 198000 | #Constraints: 60673
28.62/28.79 c #Conflicts: 199000 | #Constraints: 61673
28.62/28.79 c #Conflicts: 200000 | #Constraints: 62673
28.62/28.79 c #Conflicts: 201000 | #Constraints: 63673
28.62/28.79 c INPROCESSING
28.62/28.79 c GARBAGE COLLECT
28.62/28.79 c #Conflicts: 202000 | #Constraints: 41762
28.62/28.79 c #Conflicts: 203000 | #Constraints: 42762
28.62/28.79 c #Conflicts: 204000 | #Constraints: 43762
28.62/28.79 c bounds -25 >= -58 @ 24.2249
28.62/28.79 c #Conflicts: 205000 | #Constraints: 44781
28.62/28.79 c #Conflicts: 206000 | #Constraints: 45781
28.62/28.79 c #Conflicts: 207000 | #Constraints: 46781
28.62/28.79 c #Conflicts: 208000 | #Constraints: 47781
28.62/28.79 c #Conflicts: 209000 | #Constraints: 48781
28.62/28.79 c #Conflicts: 210000 | #Constraints: 49781
28.62/28.79 c INPROCESSING
28.62/28.79 c GARBAGE COLLECT
28.62/28.79 c #Conflicts: 211000 | #Constraints: 34575
28.62/28.79 c #Conflicts: 212000 | #Constraints: 35575
28.62/28.79 c #Conflicts: 213000 | #Constraints: 36575
28.62/28.79 c #Conflicts: 214000 | #Constraints: 37575
28.62/28.79 c #Conflicts: 215000 | #Constraints: 38575
28.62/28.79 c #Conflicts: 216000 | #Constraints: 39575
28.62/28.79 c #Conflicts: 217000 | #Constraints: 40575
28.62/28.79 c #Conflicts: 218000 | #Constraints: 41575
28.62/28.79 c #Conflicts: 219000 | #Constraints: 42575
28.62/28.79 c #Conflicts: 220000 | #Constraints: 43575
28.62/28.79 c INPROCESSING
28.62/28.79 c GARBAGE COLLECT
28.62/28.79 c #Conflicts: 221000 | #Constraints: 31664
28.62/28.79 c #Conflicts: 222000 | #Constraints: 32664
28.62/28.79 c #Conflicts: 223000 | #Constraints: 33664
28.62/28.79 c #Conflicts: 224000 | #Constraints: 34664
28.62/28.79 c #Conflicts: 225000 | #Constraints: 35664
52.17/52.30 c #Conflicts: 226000 | #Constraints: 36664
52.17/52.30 c #Conflicts: 227000 | #Constraints: 37664
52.17/52.30 c #Conflicts: 228000 | #Constraints: 38664
52.17/52.30 c #Conflicts: 229000 | #Constraints: 39664
52.17/52.30 c #Conflicts: 230000 | #Constraints: 40664
52.17/52.30 c #Conflicts: 231000 | #Constraints: 41664
52.17/52.30 c #Conflicts: 232000 | #Constraints: 42664
52.17/52.30 c #Conflicts: 233000 | #Constraints: 43664
52.17/52.30 c #Conflicts: 234000 | #Constraints: 44664
52.17/52.30 c #Conflicts: 235000 | #Constraints: 45664
52.17/52.30 c #Conflicts: 236000 | #Constraints: 46664
52.17/52.30 c #Conflicts: 237000 | #Constraints: 47664
52.17/52.30 c #Conflicts: 238000 | #Constraints: 48664
52.17/52.30 c #Conflicts: 239000 | #Constraints: 49664
52.17/52.30 c #Conflicts: 240000 | #Constraints: 50664
52.17/52.30 c #Conflicts: 241000 | #Constraints: 51664
52.17/52.30 c #Conflicts: 242000 | #Constraints: 52664
52.17/52.30 c #Conflicts: 243000 | #Constraints: 53664
52.17/52.30 c #Conflicts: 244000 | #Constraints: 54664
52.17/52.30 c #Conflicts: 245000 | #Constraints: 55664
52.17/52.30 c #Conflicts: 246000 | #Constraints: 56664
52.17/52.30 c #Conflicts: 247000 | #Constraints: 57664
52.17/52.30 c #Conflicts: 248000 | #Constraints: 58664
52.17/52.30 c #Conflicts: 249000 | #Constraints: 59664
52.17/52.30 c #Conflicts: 250000 | #Constraints: 60664
52.17/52.30 c #Conflicts: 251000 | #Constraints: 61664
52.17/52.30 c #Conflicts: 252000 | #Constraints: 62664
52.17/52.30 c #Conflicts: 253000 | #Constraints: 63664
52.17/52.30 c #Conflicts: 254000 | #Constraints: 64664
52.17/52.30 c #Conflicts: 255000 | #Constraints: 65664
52.17/52.30 c #Conflicts: 256000 | #Constraints: 66664
52.17/52.30 c #Conflicts: 257000 | #Constraints: 67664
52.17/52.30 c #Conflicts: 258000 | #Constraints: 68664
52.17/52.30 c #Conflicts: 259000 | #Constraints: 69664
52.17/52.30 c #Conflicts: 260000 | #Constraints: 70664
52.17/52.30 c #Conflicts: 261000 | #Constraints: 71664
52.17/52.30 c #Conflicts: 262000 | #Constraints: 72664
52.17/52.30 c INPROCESSING
52.17/52.30 c GARBAGE COLLECT
52.17/52.30 c #Conflicts: 263000 | #Constraints: 46045
52.17/52.30 c #Conflicts: 264000 | #Constraints: 47045
52.17/52.30 c #Conflicts: 265000 | #Constraints: 48045
52.17/52.30 c #Conflicts: 266000 | #Constraints: 49045
52.17/52.30 c #Conflicts: 267000 | #Constraints: 50045
52.17/52.30 c #Conflicts: 268000 | #Constraints: 51045
52.17/52.30 c #Conflicts: 269000 | #Constraints: 52045
52.17/52.30 c #Conflicts: 270000 | #Constraints: 53045
52.17/52.30 c #Conflicts: 271000 | #Constraints: 54045
52.17/52.30 c #Conflicts: 272000 | #Constraints: 55045
52.17/52.30 c #Conflicts: 273000 | #Constraints: 56045
52.17/52.30 c INPROCESSING
52.17/52.30 c GARBAGE COLLECT
52.17/52.30 c #Conflicts: 274000 | #Constraints: 37714
52.17/52.30 c #Conflicts: 275000 | #Constraints: 38714
52.17/52.30 c #Conflicts: 276000 | #Constraints: 39714
52.17/52.30 c #Conflicts: 277000 | #Constraints: 40714
52.17/52.30 c #Conflicts: 278000 | #Constraints: 41714
52.17/52.30 c #Conflicts: 279000 | #Constraints: 42714
52.17/52.30 c #Conflicts: 280000 | #Constraints: 43714
52.17/52.30 c #Conflicts: 281000 | #Constraints: 44714
52.17/52.30 c #Conflicts: 282000 | #Constraints: 45714
52.17/52.30 c #Conflicts: 283000 | #Constraints: 46714
52.17/52.30 c #Conflicts: 284000 | #Constraints: 47714
52.17/52.30 c #Conflicts: 285000 | #Constraints: 48714
52.17/52.30 c INPROCESSING
52.17/52.30 c GARBAGE COLLECT
52.17/52.30 c #Conflicts: 286000 | #Constraints: 34473
52.17/52.30 c #Conflicts: 287000 | #Constraints: 35473
52.17/52.30 c #Conflicts: 288000 | #Constraints: 36473
52.17/52.30 c #Conflicts: 289000 | #Constraints: 37473
52.17/52.30 c #Conflicts: 290000 | #Constraints: 38473
52.17/52.30 c #Conflicts: 291000 | #Constraints: 39473
52.17/52.30 c #Conflicts: 292000 | #Constraints: 40473
52.17/52.30 c #Conflicts: 293000 | #Constraints: 41473
52.17/52.30 c #Conflicts: 294000 | #Constraints: 42473
52.17/52.30 c #Conflicts: 295000 | #Constraints: 43473
52.17/52.30 c #Conflicts: 296000 | #Constraints: 44473
52.17/52.30 c #Conflicts: 297000 | #Constraints: 45473
52.17/52.30 c #Conflicts: 298000 | #Constraints: 46473
52.17/52.30 c #Conflicts: 299000 | #Constraints: 47473
52.17/52.30 c #Conflicts: 300000 | #Constraints: 48473
52.17/52.30 c #Conflicts: 301000 | #Constraints: 49473
52.17/52.30 c #Conflicts: 302000 | #Constraints: 50473
80.11/80.38 c #Conflicts: 303000 | #Constraints: 51473
80.11/80.38 c #Conflicts: 304000 | #Constraints: 52473
80.11/80.38 c #Conflicts: 305000 | #Constraints: 53473
80.11/80.38 c #Conflicts: 306000 | #Constraints: 54473
80.11/80.38 c #Conflicts: 307000 | #Constraints: 55473
80.11/80.38 c #Conflicts: 308000 | #Constraints: 56473
80.11/80.38 c #Conflicts: 309000 | #Constraints: 57473
80.11/80.38 c #Conflicts: 310000 | #Constraints: 58473
80.11/80.38 c #Conflicts: 311000 | #Constraints: 59473
80.11/80.38 c #Conflicts: 312000 | #Constraints: 60473
80.11/80.38 c #Conflicts: 313000 | #Constraints: 61473
80.11/80.38 c #Conflicts: 314000 | #Constraints: 62473
80.11/80.38 c #Conflicts: 315000 | #Constraints: 63473
80.11/80.38 c #Conflicts: 316000 | #Constraints: 64473
80.11/80.38 c #Conflicts: 317000 | #Constraints: 65473
80.11/80.38 c #Conflicts: 318000 | #Constraints: 66473
80.11/80.38 c #Conflicts: 319000 | #Constraints: 67473
80.11/80.38 c #Conflicts: 320000 | #Constraints: 68473
80.11/80.38 c #Conflicts: 321000 | #Constraints: 69473
80.11/80.38 c #Conflicts: 322000 | #Constraints: 70473
80.11/80.38 c #Conflicts: 323000 | #Constraints: 71473
80.11/80.38 c #Conflicts: 324000 | #Constraints: 72473
80.11/80.38 c #Conflicts: 325000 | #Constraints: 73473
80.11/80.38 c #Conflicts: 326000 | #Constraints: 74473
80.11/80.38 c #Conflicts: 327000 | #Constraints: 75473
80.11/80.38 c #Conflicts: 328000 | #Constraints: 76473
80.11/80.38 c #Conflicts: 329000 | #Constraints: 77473
80.11/80.38 c #Conflicts: 330000 | #Constraints: 78473
80.11/80.38 c #Conflicts: 331000 | #Constraints: 79473
80.11/80.38 c INPROCESSING
80.11/80.38 c GARBAGE COLLECT
80.11/80.38 c #Conflicts: 332000 | #Constraints: 49613
80.11/80.38 c #Conflicts: 333000 | #Constraints: 50613
80.11/80.38 c #Conflicts: 334000 | #Constraints: 51613
80.11/80.38 c #Conflicts: 335000 | #Constraints: 52613
80.11/80.38 c #Conflicts: 336000 | #Constraints: 53613
80.11/80.38 c #Conflicts: 337000 | #Constraints: 54613
80.11/80.38 c #Conflicts: 338000 | #Constraints: 55613
80.11/80.38 c #Conflicts: 339000 | #Constraints: 56613
80.11/80.38 c #Conflicts: 340000 | #Constraints: 57613
80.11/80.38 c #Conflicts: 341000 | #Constraints: 58613
80.11/80.38 c #Conflicts: 342000 | #Constraints: 59613
80.11/80.38 c #Conflicts: 343000 | #Constraints: 60613
80.11/80.38 c #Conflicts: 344000 | #Constraints: 61613
80.11/80.38 c INPROCESSING
80.11/80.38 c GARBAGE COLLECT
80.11/80.38 c #Conflicts: 345000 | #Constraints: 40924
80.11/80.38 c #Conflicts: 346000 | #Constraints: 41924
80.11/80.38 c #Conflicts: 347000 | #Constraints: 42924
80.11/80.38 c #Conflicts: 348000 | #Constraints: 43924
80.11/80.38 c #Conflicts: 349000 | #Constraints: 44924
80.11/80.38 c #Conflicts: 350000 | #Constraints: 45924
80.11/80.38 c #Conflicts: 351000 | #Constraints: 46924
80.11/80.38 c #Conflicts: 352000 | #Constraints: 47924
80.11/80.38 c #Conflicts: 353000 | #Constraints: 48924
80.11/80.38 c #Conflicts: 354000 | #Constraints: 49924
80.11/80.38 c #Conflicts: 355000 | #Constraints: 50924
80.11/80.38 c #Conflicts: 356000 | #Constraints: 51924
80.11/80.38 c INPROCESSING
80.11/80.38 c GARBAGE COLLECT
80.11/80.38 c #Conflicts: 357000 | #Constraints: 35738
80.11/80.38 c #Conflicts: 358000 | #Constraints: 36738
80.11/80.38 c #Conflicts: 359000 | #Constraints: 37738
80.11/80.38 c #Conflicts: 360000 | #Constraints: 38738
80.11/80.38 c #Conflicts: 361000 | #Constraints: 39738
80.11/80.38 c #Conflicts: 362000 | #Constraints: 40738
80.11/80.38 c #Conflicts: 363000 | #Constraints: 41738
80.11/80.38 c #Conflicts: 364000 | #Constraints: 42738
80.11/80.38 c #Conflicts: 365000 | #Constraints: 43738
80.11/80.38 c #Conflicts: 366000 | #Constraints: 44738
80.11/80.38 c #Conflicts: 367000 | #Constraints: 45738
80.11/80.38 c #Conflicts: 368000 | #Constraints: 46738
80.11/80.38 c #Conflicts: 369000 | #Constraints: 47738
80.11/80.38 c #Conflicts: 370000 | #Constraints: 48738
80.11/80.38 c #Conflicts: 371000 | #Constraints: 49738
80.11/80.38 c #Conflicts: 372000 | #Constraints: 50738
80.11/80.38 c #Conflicts: 373000 | #Constraints: 51738
80.11/80.38 c #Conflicts: 374000 | #Constraints: 52738
80.11/80.38 c #Conflicts: 375000 | #Constraints: 53738
80.11/80.38 c #Conflicts: 376000 | #Constraints: 54738
80.11/80.38 c #Conflicts: 377000 | #Constraints: 55738
80.11/80.38 c #Conflicts: 378000 | #Constraints: 56738
80.11/80.38 c #Conflicts: 379000 | #Constraints: 57738
111.74/112.05 c #Conflicts: 380000 | #Constraints: 58738
111.74/112.05 c #Conflicts: 381000 | #Constraints: 59738
111.74/112.05 c #Conflicts: 382000 | #Constraints: 60738
111.74/112.05 c #Conflicts: 383000 | #Constraints: 61738
111.74/112.05 c #Conflicts: 384000 | #Constraints: 62738
111.74/112.05 c #Conflicts: 385000 | #Constraints: 63738
111.74/112.05 c #Conflicts: 386000 | #Constraints: 64738
111.74/112.05 c #Conflicts: 387000 | #Constraints: 65738
111.74/112.05 c #Conflicts: 388000 | #Constraints: 66738
111.74/112.05 c #Conflicts: 389000 | #Constraints: 67738
111.74/112.05 c #Conflicts: 390000 | #Constraints: 68738
111.74/112.05 c #Conflicts: 391000 | #Constraints: 69738
111.74/112.05 c #Conflicts: 392000 | #Constraints: 70738
111.74/112.05 c #Conflicts: 393000 | #Constraints: 71738
111.74/112.05 c #Conflicts: 394000 | #Constraints: 72738
111.74/112.05 c #Conflicts: 395000 | #Constraints: 73738
111.74/112.05 c #Conflicts: 396000 | #Constraints: 74738
111.74/112.05 c #Conflicts: 397000 | #Constraints: 75738
111.74/112.05 c #Conflicts: 398000 | #Constraints: 76738
111.74/112.05 c #Conflicts: 399000 | #Constraints: 77738
111.74/112.05 c #Conflicts: 400000 | #Constraints: 78738
111.74/112.05 c #Conflicts: 401000 | #Constraints: 79738
111.74/112.05 c #Conflicts: 402000 | #Constraints: 80738
111.74/112.05 c #Conflicts: 403000 | #Constraints: 81738
111.74/112.05 c #Conflicts: 404000 | #Constraints: 82738
111.74/112.05 c #Conflicts: 405000 | #Constraints: 83738
111.74/112.05 c #Conflicts: 406000 | #Constraints: 84738
111.74/112.05 c #Conflicts: 407000 | #Constraints: 85738
111.74/112.05 c INPROCESSING
111.74/112.05 c GARBAGE COLLECT
111.74/112.05 c #Conflicts: 408000 | #Constraints: 52785
111.74/112.05 c #Conflicts: 409000 | #Constraints: 53785
111.74/112.05 c #Conflicts: 410000 | #Constraints: 54785
111.74/112.05 c #Conflicts: 411000 | #Constraints: 55785
111.74/112.05 c #Conflicts: 412000 | #Constraints: 56785
111.74/112.05 c #Conflicts: 413000 | #Constraints: 57785
111.74/112.05 c #Conflicts: 414000 | #Constraints: 58785
111.74/112.05 c #Conflicts: 415000 | #Constraints: 59785
111.74/112.05 c #Conflicts: 416000 | #Constraints: 60785
111.74/112.05 c #Conflicts: 417000 | #Constraints: 61785
111.74/112.05 c #Conflicts: 418000 | #Constraints: 62785
111.74/112.05 c #Conflicts: 419000 | #Constraints: 63785
111.74/112.05 c #Conflicts: 420000 | #Constraints: 64785
111.74/112.05 c #Conflicts: 421000 | #Constraints: 65785
111.74/112.05 c INPROCESSING
111.74/112.05 c GARBAGE COLLECT
111.74/112.05 c #Conflicts: 422000 | #Constraints: 42817
111.74/112.05 c #Conflicts: 423000 | #Constraints: 43817
111.74/112.05 c #Conflicts: 424000 | #Constraints: 44817
111.74/112.05 c #Conflicts: 425000 | #Constraints: 45817
111.74/112.05 c #Conflicts: 426000 | #Constraints: 46817
111.74/112.05 c #Conflicts: 427000 | #Constraints: 47817
111.74/112.05 c #Conflicts: 428000 | #Constraints: 48817
111.74/112.05 c #Conflicts: 429000 | #Constraints: 49817
111.74/112.05 c #Conflicts: 430000 | #Constraints: 50817
111.74/112.05 c #Conflicts: 431000 | #Constraints: 51817
111.74/112.05 c #Conflicts: 432000 | #Constraints: 52817
111.74/112.05 c #Conflicts: 433000 | #Constraints: 53817
111.74/112.05 c #Conflicts: 434000 | #Constraints: 54817
111.74/112.05 c #Conflicts: 435000 | #Constraints: 55817
111.74/112.05 c INPROCESSING
111.74/112.05 c GARBAGE COLLECT
111.74/112.05 c #Conflicts: 436000 | #Constraints: 37715
111.74/112.05 c #Conflicts: 437000 | #Constraints: 38715
111.74/112.05 c #Conflicts: 438000 | #Constraints: 39715
111.74/112.05 c #Conflicts: 439000 | #Constraints: 40715
111.74/112.05 c #Conflicts: 440000 | #Constraints: 41715
111.74/112.05 c #Conflicts: 441000 | #Constraints: 42715
111.74/112.05 c #Conflicts: 442000 | #Constraints: 43715
111.74/112.05 c #Conflicts: 443000 | #Constraints: 44715
111.74/112.05 c #Conflicts: 444000 | #Constraints: 45715
111.74/112.05 c #Conflicts: 445000 | #Constraints: 46715
111.74/112.05 c #Conflicts: 446000 | #Constraints: 47715
111.74/112.05 c #Conflicts: 447000 | #Constraints: 48715
111.74/112.05 c #Conflicts: 448000 | #Constraints: 49715
111.74/112.05 c #Conflicts: 449000 | #Constraints: 50715
111.74/112.05 c #Conflicts: 450000 | #Constraints: 51715
111.74/112.05 c #Conflicts: 451000 | #Constraints: 52715
111.74/112.05 c #Conflicts: 452000 | #Constraints: 53715
111.74/112.05 c #Conflicts: 453000 | #Constraints: 54715
111.74/112.05 c #Conflicts: 454000 | #Constraints: 55715
111.74/112.05 c #Conflicts: 455000 | #Constraints: 56715
141.77/142.12 c #Conflicts: 456000 | #Constraints: 57715
141.77/142.12 c #Conflicts: 457000 | #Constraints: 58715
141.77/142.12 c #Conflicts: 458000 | #Constraints: 59715
141.77/142.12 c #Conflicts: 459000 | #Constraints: 60715
141.77/142.12 c #Conflicts: 460000 | #Constraints: 61715
141.77/142.12 c #Conflicts: 461000 | #Constraints: 62715
141.77/142.12 c #Conflicts: 462000 | #Constraints: 63715
141.77/142.12 c #Conflicts: 463000 | #Constraints: 64715
141.77/142.12 c #Conflicts: 464000 | #Constraints: 65715
141.77/142.12 c #Conflicts: 465000 | #Constraints: 66715
141.77/142.12 c #Conflicts: 466000 | #Constraints: 67715
141.77/142.12 c #Conflicts: 467000 | #Constraints: 68715
141.77/142.12 c #Conflicts: 468000 | #Constraints: 69715
141.77/142.12 c #Conflicts: 469000 | #Constraints: 70715
141.77/142.12 c #Conflicts: 470000 | #Constraints: 71715
141.77/142.12 c #Conflicts: 471000 | #Constraints: 72715
141.77/142.12 c #Conflicts: 472000 | #Constraints: 73715
141.77/142.12 c #Conflicts: 473000 | #Constraints: 74715
141.77/142.12 c #Conflicts: 474000 | #Constraints: 75715
141.77/142.12 c #Conflicts: 475000 | #Constraints: 76715
141.77/142.12 c #Conflicts: 476000 | #Constraints: 77715
141.77/142.12 c #Conflicts: 477000 | #Constraints: 78715
141.77/142.12 c #Conflicts: 478000 | #Constraints: 79715
141.77/142.12 c #Conflicts: 479000 | #Constraints: 80715
141.77/142.12 c #Conflicts: 480000 | #Constraints: 81715
141.77/142.12 c #Conflicts: 481000 | #Constraints: 82715
141.77/142.12 c #Conflicts: 482000 | #Constraints: 83715
141.77/142.12 c #Conflicts: 483000 | #Constraints: 84715
141.77/142.12 c #Conflicts: 484000 | #Constraints: 85715
141.77/142.12 c #Conflicts: 485000 | #Constraints: 86715
141.77/142.12 c #Conflicts: 486000 | #Constraints: 87715
141.77/142.12 c #Conflicts: 487000 | #Constraints: 88715
141.77/142.12 c #Conflicts: 488000 | #Constraints: 89715
141.77/142.12 c #Conflicts: 489000 | #Constraints: 90715
141.77/142.12 c #Conflicts: 490000 | #Constraints: 91715
141.77/142.12 c INPROCESSING
141.77/142.12 c GARBAGE COLLECT
141.77/142.12 c #Conflicts: 491000 | #Constraints: 55728
141.77/142.12 c #Conflicts: 492000 | #Constraints: 56728
141.77/142.12 c #Conflicts: 493000 | #Constraints: 57728
141.77/142.12 c #Conflicts: 494000 | #Constraints: 58728
141.77/142.12 c #Conflicts: 495000 | #Constraints: 59728
141.77/142.12 c #Conflicts: 496000 | #Constraints: 60728
141.77/142.12 c #Conflicts: 497000 | #Constraints: 61728
141.77/142.12 c #Conflicts: 498000 | #Constraints: 62728
141.77/142.12 c #Conflicts: 499000 | #Constraints: 63728
141.77/142.12 c #Conflicts: 500000 | #Constraints: 64728
141.77/142.12 c #Conflicts: 501000 | #Constraints: 65728
141.77/142.12 c #Conflicts: 502000 | #Constraints: 66728
141.77/142.12 c #Conflicts: 503000 | #Constraints: 67728
141.77/142.12 c #Conflicts: 504000 | #Constraints: 68728
141.77/142.12 c #Conflicts: 505000 | #Constraints: 69728
141.77/142.12 c #Conflicts: 506000 | #Constraints: 70728
141.77/142.12 c INPROCESSING
141.77/142.12 c GARBAGE COLLECT
141.77/142.12 c #Conflicts: 507000 | #Constraints: 45467
141.77/142.12 c #Conflicts: 508000 | #Constraints: 46467
141.77/142.12 c #Conflicts: 509000 | #Constraints: 47467
141.77/142.12 c #Conflicts: 510000 | #Constraints: 48467
141.77/142.12 c #Conflicts: 511000 | #Constraints: 49467
141.77/142.12 c #Conflicts: 512000 | #Constraints: 50467
141.77/142.12 c #Conflicts: 513000 | #Constraints: 51467
141.77/142.12 c #Conflicts: 514000 | #Constraints: 52467
141.77/142.12 c #Conflicts: 515000 | #Constraints: 53467
141.77/142.12 c #Conflicts: 516000 | #Constraints: 54467
141.77/142.12 c #Conflicts: 517000 | #Constraints: 55467
141.77/142.12 c #Conflicts: 518000 | #Constraints: 56467
141.77/142.12 c #Conflicts: 519000 | #Constraints: 57467
141.77/142.12 c #Conflicts: 520000 | #Constraints: 58467
141.77/142.12 c #Conflicts: 521000 | #Constraints: 59467
141.77/142.12 c INPROCESSING
141.77/142.12 c GARBAGE COLLECT
141.77/142.12 c #Conflicts: 522000 | #Constraints: 39474
141.77/142.12 c #Conflicts: 523000 | #Constraints: 40474
141.77/142.12 c #Conflicts: 524000 | #Constraints: 41474
141.77/142.12 c #Conflicts: 525000 | #Constraints: 42474
141.77/142.12 c #Conflicts: 526000 | #Constraints: 43474
141.77/142.12 c #Conflicts: 527000 | #Constraints: 44474
141.77/142.12 c #Conflicts: 528000 | #Constraints: 45474
141.77/142.12 c #Conflicts: 529000 | #Constraints: 46474
141.77/142.12 c #Conflicts: 530000 | #Constraints: 47474
141.77/142.12 c #Conflicts: 531000 | #Constraints: 48474
141.77/142.12 c #Conflicts: 532000 | #Constraints: 49474
164.11/164.55 c #Conflicts: 533000 | #Constraints: 50474
164.11/164.55 c #Conflicts: 534000 | #Constraints: 51474
164.11/164.55 c #Conflicts: 535000 | #Constraints: 52474
164.11/164.55 c #Conflicts: 536000 | #Constraints: 53474
164.11/164.55 c #Conflicts: 537000 | #Constraints: 54474
164.11/164.55 c #Conflicts: 538000 | #Constraints: 55474
164.11/164.55 c #Conflicts: 539000 | #Constraints: 56474
164.11/164.55 c #Conflicts: 540000 | #Constraints: 57474
164.11/164.55 c #Conflicts: 541000 | #Constraints: 58474
164.11/164.55 c #Conflicts: 542000 | #Constraints: 59474
164.11/164.55 c #Conflicts: 543000 | #Constraints: 60474
164.11/164.55 c #Conflicts: 544000 | #Constraints: 61474
164.11/164.55 c #Conflicts: 545000 | #Constraints: 62474
164.11/164.55 c #Conflicts: 546000 | #Constraints: 63474
164.11/164.55 c #Conflicts: 547000 | #Constraints: 64474
164.11/164.55 c #Conflicts: 548000 | #Constraints: 65474
164.11/164.55 c #Conflicts: 549000 | #Constraints: 66474
164.11/164.55 c #Conflicts: 550000 | #Constraints: 67474
164.11/164.55 c #Conflicts: 551000 | #Constraints: 68474
164.11/164.55 c #Conflicts: 552000 | #Constraints: 69474
164.11/164.55 c #Conflicts: 553000 | #Constraints: 70474
164.11/164.55 c #Conflicts: 554000 | #Constraints: 71474
164.11/164.55 c #Conflicts: 555000 | #Constraints: 72474
164.11/164.55 c #Conflicts: 556000 | #Constraints: 73474
164.11/164.55 c #Conflicts: 557000 | #Constraints: 74474
164.11/164.55 c #Conflicts: 558000 | #Constraints: 75474
164.11/164.55 c #Conflicts: 559000 | #Constraints: 76474
164.11/164.55 c #Conflicts: 560000 | #Constraints: 77474
164.11/164.55 c #Conflicts: 561000 | #Constraints: 78474
164.11/164.55 c #Conflicts: 562000 | #Constraints: 79474
164.11/164.55 c #Conflicts: 563000 | #Constraints: 80474
164.11/164.55 c #Conflicts: 564000 | #Constraints: 81474
164.11/164.55 c #Conflicts: 565000 | #Constraints: 82474
164.11/164.55 c #Conflicts: 566000 | #Constraints: 83474
164.11/164.55 c #Conflicts: 567000 | #Constraints: 84474
164.11/164.55 c #Conflicts: 568000 | #Constraints: 85474
164.11/164.55 c #Conflicts: 569000 | #Constraints: 86474
164.11/164.55 c #Conflicts: 570000 | #Constraints: 87474
164.11/164.55 c #Conflicts: 571000 | #Constraints: 88474
164.11/164.55 c #Conflicts: 572000 | #Constraints: 89474
164.11/164.55 c #Conflicts: 573000 | #Constraints: 90474
164.11/164.55 c #Conflicts: 574000 | #Constraints: 91474
164.11/164.55 c bounds -25 >= -57 @ 160.637
164.11/164.55 c #Conflicts: 575000 | #Constraints: 92484
164.11/164.55 c #Conflicts: 576000 | #Constraints: 93484
164.11/164.55 c #Conflicts: 577000 | #Constraints: 94484
164.11/164.55 c #Conflicts: 578000 | #Constraints: 95484
164.11/164.55 c #Conflicts: 579000 | #Constraints: 96484
164.11/164.55 c finalizing WCE round: reformulating cores
191.44/191.92 c #Conflicts: 580000 | #Constraints: 97487
191.44/191.92 c INPROCESSING
191.44/191.92 c GARBAGE COLLECT
191.44/191.92 c #Conflicts: 581000 | #Constraints: 58445
191.44/191.92 c #Conflicts: 582000 | #Constraints: 59447
191.44/191.92 c #Conflicts: 583000 | #Constraints: 60449
191.44/191.92 c bounds -26 >= -57 @ 163.765
191.44/191.92 c #Conflicts: 584000 | #Constraints: 61455
191.44/191.92 c bounds -26 >= -56 @ 163.975
191.44/191.92 c #Conflicts: 585000 | #Constraints: 62455
191.44/191.92 c bounds -26 >= -55 @ 164.231
191.44/191.92 c #Conflicts: 586000 | #Constraints: 63477
191.44/191.92 c #Conflicts: 587000 | #Constraints: 64477
191.44/191.92 c #Conflicts: 588000 | #Constraints: 65477
191.44/191.92 c #Conflicts: 589000 | #Constraints: 66477
191.44/191.92 c #Conflicts: 590000 | #Constraints: 67477
191.44/191.92 c #Conflicts: 591000 | #Constraints: 68477
191.44/191.92 c #Conflicts: 592000 | #Constraints: 69477
191.44/191.92 c #Conflicts: 593000 | #Constraints: 70477
191.44/191.92 c #Conflicts: 594000 | #Constraints: 71477
191.44/191.92 c bounds -26 >= -54 @ 167.561
191.44/191.92 c #Conflicts: 595000 | #Constraints: 72487
191.44/191.92 c #Conflicts: 596000 | #Constraints: 73487
191.44/191.92 c #Conflicts: 597000 | #Constraints: 74487
191.44/191.92 c INPROCESSING
191.44/191.92 c GARBAGE COLLECT
191.44/191.92 c #Conflicts: 598000 | #Constraints: 46922
191.44/191.92 c #Conflicts: 599000 | #Constraints: 47922
191.44/191.92 c #Conflicts: 600000 | #Constraints: 48922
191.44/191.92 c #Conflicts: 601000 | #Constraints: 49922
191.44/191.92 c #Conflicts: 602000 | #Constraints: 50922
191.44/191.92 c #Conflicts: 603000 | #Constraints: 51922
191.44/191.92 c #Conflicts: 604000 | #Constraints: 52922
191.44/191.92 c #Conflicts: 605000 | #Constraints: 53922
191.44/191.92 c #Conflicts: 606000 | #Constraints: 54922
191.44/191.92 c #Conflicts: 607000 | #Constraints: 55922
191.44/191.92 c #Conflicts: 608000 | #Constraints: 56922
191.44/191.92 c #Conflicts: 609000 | #Constraints: 57922
191.44/191.92 c #Conflicts: 610000 | #Constraints: 58922
191.44/191.92 c #Conflicts: 611000 | #Constraints: 59922
191.44/191.92 c #Conflicts: 612000 | #Constraints: 60922
191.44/191.92 c #Conflicts: 613000 | #Constraints: 61922
191.44/191.92 c #Conflicts: 614000 | #Constraints: 62922
191.44/191.92 c #Conflicts: 615000 | #Constraints: 63922
191.44/191.92 c INPROCESSING
191.44/191.92 c GARBAGE COLLECT
191.44/191.92 c #Conflicts: 616000 | #Constraints: 43403
191.44/191.92 c #Conflicts: 617000 | #Constraints: 44403
191.44/191.92 c #Conflicts: 618000 | #Constraints: 45403
191.44/191.92 c #Conflicts: 619000 | #Constraints: 46403
191.44/191.92 c #Conflicts: 620000 | #Constraints: 47403
191.44/191.92 c #Conflicts: 621000 | #Constraints: 48403
191.44/191.92 c #Conflicts: 622000 | #Constraints: 49403
191.44/191.92 c #Conflicts: 623000 | #Constraints: 50403
191.44/191.92 c #Conflicts: 624000 | #Constraints: 51403
191.44/191.92 c #Conflicts: 625000 | #Constraints: 52403
191.44/191.92 c #Conflicts: 626000 | #Constraints: 53403
191.44/191.92 c #Conflicts: 627000 | #Constraints: 54403
191.44/191.92 c #Conflicts: 628000 | #Constraints: 55403
191.44/191.92 c #Conflicts: 629000 | #Constraints: 56403
191.44/191.92 c #Conflicts: 630000 | #Constraints: 57403
191.44/191.92 c #Conflicts: 631000 | #Constraints: 58403
191.44/191.92 c #Conflicts: 632000 | #Constraints: 59403
191.44/191.92 c #Conflicts: 633000 | #Constraints: 60403
191.44/191.92 c #Conflicts: 634000 | #Constraints: 61403
191.44/191.92 c #Conflicts: 635000 | #Constraints: 62403
191.44/191.92 c #Conflicts: 636000 | #Constraints: 63403
191.44/191.92 c #Conflicts: 637000 | #Constraints: 64403
191.44/191.92 c #Conflicts: 638000 | #Constraints: 65403
191.44/191.92 c #Conflicts: 639000 | #Constraints: 66403
191.44/191.92 c #Conflicts: 640000 | #Constraints: 67403
191.44/191.92 c #Conflicts: 641000 | #Constraints: 68403
191.44/191.92 c #Conflicts: 642000 | #Constraints: 69403
191.44/191.92 c #Conflicts: 643000 | #Constraints: 70403
191.44/191.92 c #Conflicts: 644000 | #Constraints: 71403
191.44/191.92 c #Conflicts: 645000 | #Constraints: 72403
191.44/191.92 c #Conflicts: 646000 | #Constraints: 73403
191.44/191.92 c #Conflicts: 647000 | #Constraints: 74403
191.44/191.92 c #Conflicts: 648000 | #Constraints: 75403
191.44/191.92 c #Conflicts: 649000 | #Constraints: 76403
191.44/191.92 c #Conflicts: 650000 | #Constraints: 77403
191.44/191.92 c #Conflicts: 651000 | #Constraints: 78403
191.44/191.92 c #Conflicts: 652000 | #Constraints: 79403
191.44/191.92 c bounds -26 >= -53 @ 188.725
191.44/191.92 c #Conflicts: 653000 | #Constraints: 80428
225.95/226.56 c #Conflicts: 654000 | #Constraints: 81428
225.95/226.56 c #Conflicts: 655000 | #Constraints: 82428
225.95/226.56 c #Conflicts: 656000 | #Constraints: 83428
225.95/226.56 c #Conflicts: 657000 | #Constraints: 84428
225.95/226.56 c #Conflicts: 658000 | #Constraints: 85428
225.95/226.56 c #Conflicts: 659000 | #Constraints: 86428
225.95/226.56 c #Conflicts: 660000 | #Constraints: 87428
225.95/226.56 c #Conflicts: 661000 | #Constraints: 88428
225.95/226.56 c #Conflicts: 662000 | #Constraints: 89428
225.95/226.56 c #Conflicts: 663000 | #Constraints: 90428
225.95/226.56 c #Conflicts: 664000 | #Constraints: 91428
225.95/226.56 c #Conflicts: 665000 | #Constraints: 92428
225.95/226.56 c #Conflicts: 666000 | #Constraints: 93428
225.95/226.56 c #Conflicts: 667000 | #Constraints: 94428
225.95/226.56 c #Conflicts: 668000 | #Constraints: 95428
225.95/226.56 c #Conflicts: 669000 | #Constraints: 96428
225.95/226.56 c #Conflicts: 670000 | #Constraints: 97428
225.95/226.56 c #Conflicts: 671000 | #Constraints: 98428
225.95/226.56 c #Conflicts: 672000 | #Constraints: 99428
225.95/226.56 c #Conflicts: 673000 | #Constraints: 100428
225.95/226.56 c #Conflicts: 674000 | #Constraints: 101428
225.95/226.56 c #Conflicts: 675000 | #Constraints: 102428
225.95/226.56 c #Conflicts: 676000 | #Constraints: 103428
225.95/226.56 c #Conflicts: 677000 | #Constraints: 104428
225.95/226.56 c #Conflicts: 678000 | #Constraints: 105428
225.95/226.56 c INPROCESSING
225.95/226.56 c GARBAGE COLLECT
225.95/226.56 c #Conflicts: 679000 | #Constraints: 62679
225.95/226.56 c #Conflicts: 680000 | #Constraints: 63679
225.95/226.56 c #Conflicts: 681000 | #Constraints: 64679
225.95/226.56 c #Conflicts: 682000 | #Constraints: 65679
225.95/226.56 c #Conflicts: 683000 | #Constraints: 66679
225.95/226.56 c #Conflicts: 684000 | #Constraints: 67679
225.95/226.56 c #Conflicts: 685000 | #Constraints: 68679
225.95/226.56 c #Conflicts: 686000 | #Constraints: 69679
225.95/226.56 c #Conflicts: 687000 | #Constraints: 70679
225.95/226.56 c #Conflicts: 688000 | #Constraints: 71679
225.95/226.56 c #Conflicts: 689000 | #Constraints: 72679
225.95/226.56 c #Conflicts: 690000 | #Constraints: 73679
225.95/226.56 c #Conflicts: 691000 | #Constraints: 74679
225.95/226.56 c #Conflicts: 692000 | #Constraints: 75679
225.95/226.56 c #Conflicts: 693000 | #Constraints: 76679
225.95/226.56 c #Conflicts: 694000 | #Constraints: 77679
225.95/226.56 c #Conflicts: 695000 | #Constraints: 78679
225.95/226.56 c #Conflicts: 696000 | #Constraints: 79679
225.95/226.56 c INPROCESSING
225.95/226.56 c GARBAGE COLLECT
225.95/226.56 c #Conflicts: 697000 | #Constraints: 49565
225.95/226.56 c #Conflicts: 698000 | #Constraints: 50565
225.95/226.56 c #Conflicts: 699000 | #Constraints: 51565
225.95/226.56 c #Conflicts: 700000 | #Constraints: 52565
225.95/226.56 c #Conflicts: 701000 | #Constraints: 53565
225.95/226.56 c #Conflicts: 702000 | #Constraints: 54565
225.95/226.56 c #Conflicts: 703000 | #Constraints: 55565
225.95/226.56 c #Conflicts: 704000 | #Constraints: 56565
225.95/226.56 c #Conflicts: 705000 | #Constraints: 57565
225.95/226.56 c #Conflicts: 706000 | #Constraints: 58565
225.95/226.56 c #Conflicts: 707000 | #Constraints: 59565
225.95/226.56 c #Conflicts: 708000 | #Constraints: 60565
225.95/226.56 c #Conflicts: 709000 | #Constraints: 61565
225.95/226.56 c #Conflicts: 710000 | #Constraints: 62565
225.95/226.56 c #Conflicts: 711000 | #Constraints: 63565
225.95/226.56 c #Conflicts: 712000 | #Constraints: 64565
225.95/226.56 c #Conflicts: 713000 | #Constraints: 65565
225.95/226.56 c #Conflicts: 714000 | #Constraints: 66565
225.95/226.56 c #Conflicts: 715000 | #Constraints: 67565
225.95/226.56 c #Conflicts: 716000 | #Constraints: 68565
225.95/226.56 c #Conflicts: 717000 | #Constraints: 69565
225.95/226.56 c #Conflicts: 718000 | #Constraints: 70565
225.95/226.56 c #Conflicts: 719000 | #Constraints: 71565
225.95/226.56 c #Conflicts: 720000 | #Constraints: 72565
225.95/226.56 c #Conflicts: 721000 | #Constraints: 73565
225.95/226.56 c #Conflicts: 722000 | #Constraints: 74565
225.95/226.56 c #Conflicts: 723000 | #Constraints: 75565
225.95/226.56 c #Conflicts: 724000 | #Constraints: 76565
225.95/226.56 c #Conflicts: 725000 | #Constraints: 77565
225.95/226.56 c #Conflicts: 726000 | #Constraints: 78565
225.95/226.56 c #Conflicts: 727000 | #Constraints: 79565
225.95/226.56 c #Conflicts: 728000 | #Constraints: 80565
225.95/226.56 c #Conflicts: 729000 | #Constraints: 81565
225.95/226.56 c #Conflicts: 730000 | #Constraints: 82565
225.95/226.56 c #Conflicts: 731000 | #Constraints: 83565
278.02/278.75 c #Conflicts: 732000 | #Constraints: 84565
278.02/278.75 c #Conflicts: 733000 | #Constraints: 85565
278.02/278.75 c #Conflicts: 734000 | #Constraints: 86565
278.02/278.75 c #Conflicts: 735000 | #Constraints: 87565
278.02/278.75 c #Conflicts: 736000 | #Constraints: 88565
278.02/278.75 c #Conflicts: 737000 | #Constraints: 89565
278.02/278.75 c #Conflicts: 738000 | #Constraints: 90565
278.02/278.75 c #Conflicts: 739000 | #Constraints: 91565
278.02/278.75 c #Conflicts: 740000 | #Constraints: 92565
278.02/278.75 c #Conflicts: 741000 | #Constraints: 93565
278.02/278.75 c #Conflicts: 742000 | #Constraints: 94565
278.02/278.75 c #Conflicts: 743000 | #Constraints: 95565
278.02/278.75 c #Conflicts: 744000 | #Constraints: 96565
278.02/278.75 c #Conflicts: 745000 | #Constraints: 97565
278.02/278.75 c #Conflicts: 746000 | #Constraints: 98565
278.02/278.75 c #Conflicts: 747000 | #Constraints: 99565
278.02/278.75 c #Conflicts: 748000 | #Constraints: 100565
278.02/278.75 c #Conflicts: 749000 | #Constraints: 101565
278.02/278.75 c #Conflicts: 750000 | #Constraints: 102565
278.02/278.75 c #Conflicts: 751000 | #Constraints: 103565
278.02/278.75 c #Conflicts: 752000 | #Constraints: 104565
278.02/278.75 c #Conflicts: 753000 | #Constraints: 105565
278.02/278.75 c #Conflicts: 754000 | #Constraints: 106565
278.02/278.75 c #Conflicts: 755000 | #Constraints: 107565
278.02/278.75 c #Conflicts: 756000 | #Constraints: 108565
278.02/278.75 c #Conflicts: 757000 | #Constraints: 109565
278.02/278.75 c #Conflicts: 758000 | #Constraints: 110565
278.02/278.75 c #Conflicts: 759000 | #Constraints: 111565
278.02/278.75 c #Conflicts: 760000 | #Constraints: 112565
278.02/278.75 c #Conflicts: 761000 | #Constraints: 113565
278.02/278.75 c #Conflicts: 762000 | #Constraints: 114565
278.02/278.75 c #Conflicts: 763000 | #Constraints: 115565
278.02/278.75 c INPROCESSING
278.02/278.75 c GARBAGE COLLECT
278.02/278.75 c #Conflicts: 764000 | #Constraints: 67798
278.02/278.75 c #Conflicts: 765000 | #Constraints: 68798
278.02/278.75 c #Conflicts: 766000 | #Constraints: 69798
278.02/278.75 c #Conflicts: 767000 | #Constraints: 70798
278.02/278.75 c #Conflicts: 768000 | #Constraints: 71798
278.02/278.75 c #Conflicts: 769000 | #Constraints: 72798
278.02/278.75 c #Conflicts: 770000 | #Constraints: 73798
278.02/278.75 c #Conflicts: 771000 | #Constraints: 74798
278.02/278.75 c #Conflicts: 772000 | #Constraints: 75798
278.02/278.75 c #Conflicts: 773000 | #Constraints: 76798
278.02/278.75 c #Conflicts: 774000 | #Constraints: 77798
278.02/278.75 c #Conflicts: 775000 | #Constraints: 78798
278.02/278.75 c #Conflicts: 776000 | #Constraints: 79798
278.02/278.75 c #Conflicts: 777000 | #Constraints: 80798
278.02/278.75 c #Conflicts: 778000 | #Constraints: 81798
278.02/278.75 c #Conflicts: 779000 | #Constraints: 82798
278.02/278.75 c #Conflicts: 780000 | #Constraints: 83798
278.02/278.75 c #Conflicts: 781000 | #Constraints: 84798
278.02/278.75 c #Conflicts: 782000 | #Constraints: 85798
278.02/278.75 c #Conflicts: 783000 | #Constraints: 86798
278.02/278.75 c INPROCESSING
278.02/278.75 c GARBAGE COLLECT
278.02/278.75 c #Conflicts: 784000 | #Constraints: 53542
278.02/278.75 c #Conflicts: 785000 | #Constraints: 54542
278.02/278.75 c #Conflicts: 786000 | #Constraints: 55542
278.02/278.75 c #Conflicts: 787000 | #Constraints: 56542
278.02/278.75 c #Conflicts: 788000 | #Constraints: 57542
278.02/278.75 c #Conflicts: 789000 | #Constraints: 58542
278.02/278.75 c #Conflicts: 790000 | #Constraints: 59542
278.02/278.75 c #Conflicts: 791000 | #Constraints: 60542
278.02/278.75 c #Conflicts: 792000 | #Constraints: 61542
278.02/278.75 c #Conflicts: 793000 | #Constraints: 62542
278.02/278.75 c #Conflicts: 794000 | #Constraints: 63542
278.02/278.75 c #Conflicts: 795000 | #Constraints: 64542
278.02/278.75 c #Conflicts: 796000 | #Constraints: 65542
278.02/278.75 c #Conflicts: 797000 | #Constraints: 66542
278.02/278.75 c #Conflicts: 798000 | #Constraints: 67542
278.02/278.75 c #Conflicts: 799000 | #Constraints: 68542
278.02/278.75 c #Conflicts: 800000 | #Constraints: 69542
278.02/278.75 c #Conflicts: 801000 | #Constraints: 70542
278.02/278.75 c #Conflicts: 802000 | #Constraints: 71542
278.02/278.75 c #Conflicts: 803000 | #Constraints: 72542
278.02/278.75 c #Conflicts: 804000 | #Constraints: 73542
278.02/278.75 c #Conflicts: 805000 | #Constraints: 74542
278.02/278.75 c #Conflicts: 806000 | #Constraints: 75542
278.02/278.75 c #Conflicts: 807000 | #Constraints: 76542
278.02/278.75 c #Conflicts: 808000 | #Constraints: 77542
345.24/346.12 c #Conflicts: 809000 | #Constraints: 78542
345.24/346.12 c #Conflicts: 810000 | #Constraints: 79542
345.24/346.12 c #Conflicts: 811000 | #Constraints: 80542
345.24/346.12 c #Conflicts: 812000 | #Constraints: 81542
345.24/346.12 c #Conflicts: 813000 | #Constraints: 82542
345.24/346.12 c #Conflicts: 814000 | #Constraints: 83542
345.24/346.12 c #Conflicts: 815000 | #Constraints: 84542
345.24/346.12 c #Conflicts: 816000 | #Constraints: 85542
345.24/346.12 c #Conflicts: 817000 | #Constraints: 86542
345.24/346.12 c #Conflicts: 818000 | #Constraints: 87542
345.24/346.12 c #Conflicts: 819000 | #Constraints: 88542
345.24/346.12 c #Conflicts: 820000 | #Constraints: 89542
345.24/346.12 c #Conflicts: 821000 | #Constraints: 90542
345.24/346.12 c #Conflicts: 822000 | #Constraints: 91542
345.24/346.12 c #Conflicts: 823000 | #Constraints: 92542
345.24/346.12 c #Conflicts: 824000 | #Constraints: 93542
345.24/346.12 c #Conflicts: 825000 | #Constraints: 94542
345.24/346.12 c #Conflicts: 826000 | #Constraints: 95542
345.24/346.12 c #Conflicts: 827000 | #Constraints: 96542
345.24/346.12 c #Conflicts: 828000 | #Constraints: 97542
345.24/346.12 c #Conflicts: 829000 | #Constraints: 98542
345.24/346.12 c #Conflicts: 830000 | #Constraints: 99542
345.24/346.12 c #Conflicts: 831000 | #Constraints: 100542
345.24/346.12 c #Conflicts: 832000 | #Constraints: 101542
345.24/346.12 c #Conflicts: 833000 | #Constraints: 102542
345.24/346.12 c #Conflicts: 834000 | #Constraints: 103542
345.24/346.12 c #Conflicts: 835000 | #Constraints: 104542
345.24/346.12 c #Conflicts: 836000 | #Constraints: 105542
345.24/346.12 c #Conflicts: 837000 | #Constraints: 106542
345.24/346.12 c #Conflicts: 838000 | #Constraints: 107542
345.24/346.12 c #Conflicts: 839000 | #Constraints: 108542
345.24/346.12 c #Conflicts: 840000 | #Constraints: 109542
345.24/346.12 c #Conflicts: 841000 | #Constraints: 110542
345.24/346.12 c #Conflicts: 842000 | #Constraints: 111542
345.24/346.12 c #Conflicts: 843000 | #Constraints: 112542
345.24/346.12 c #Conflicts: 844000 | #Constraints: 113542
345.24/346.12 c #Conflicts: 845000 | #Constraints: 114542
345.24/346.12 c #Conflicts: 846000 | #Constraints: 115542
345.24/346.12 c #Conflicts: 847000 | #Constraints: 116542
345.24/346.12 c #Conflicts: 848000 | #Constraints: 117542
345.24/346.12 c #Conflicts: 849000 | #Constraints: 118542
345.24/346.12 c #Conflicts: 850000 | #Constraints: 119542
345.24/346.12 c #Conflicts: 851000 | #Constraints: 120542
345.24/346.12 c #Conflicts: 852000 | #Constraints: 121542
345.24/346.12 c INPROCESSING
345.24/346.12 c GARBAGE COLLECT
345.24/346.12 c #Conflicts: 853000 | #Constraints: 70652
345.24/346.12 c #Conflicts: 854000 | #Constraints: 71652
345.24/346.12 c #Conflicts: 855000 | #Constraints: 72652
345.24/346.12 c #Conflicts: 856000 | #Constraints: 73652
345.24/346.12 c #Conflicts: 857000 | #Constraints: 74652
345.24/346.12 c #Conflicts: 858000 | #Constraints: 75652
345.24/346.12 c #Conflicts: 859000 | #Constraints: 76652
345.24/346.12 c #Conflicts: 860000 | #Constraints: 77652
345.24/346.12 c #Conflicts: 861000 | #Constraints: 78652
345.24/346.12 c #Conflicts: 862000 | #Constraints: 79652
345.24/346.12 c #Conflicts: 863000 | #Constraints: 80652
345.24/346.12 c #Conflicts: 864000 | #Constraints: 81652
345.24/346.12 c #Conflicts: 865000 | #Constraints: 82652
345.24/346.12 c #Conflicts: 866000 | #Constraints: 83652
345.24/346.12 c #Conflicts: 867000 | #Constraints: 84652
345.24/346.12 c #Conflicts: 868000 | #Constraints: 85652
345.24/346.12 c #Conflicts: 869000 | #Constraints: 86652
345.24/346.12 c #Conflicts: 870000 | #Constraints: 87652
345.24/346.12 c #Conflicts: 871000 | #Constraints: 88652
345.24/346.12 c #Conflicts: 872000 | #Constraints: 89652
345.24/346.12 c #Conflicts: 873000 | #Constraints: 90652
345.24/346.12 c INPROCESSING
345.24/346.12 c GARBAGE COLLECT
345.24/346.12 c #Conflicts: 874000 | #Constraints: 55147
345.24/346.12 c #Conflicts: 875000 | #Constraints: 56147
345.24/346.12 c #Conflicts: 876000 | #Constraints: 57147
345.24/346.12 c #Conflicts: 877000 | #Constraints: 58147
345.24/346.12 c #Conflicts: 878000 | #Constraints: 59147
345.24/346.12 c #Conflicts: 879000 | #Constraints: 60147
345.24/346.12 c #Conflicts: 880000 | #Constraints: 61147
345.24/346.12 c #Conflicts: 881000 | #Constraints: 62147
345.24/346.12 c #Conflicts: 882000 | #Constraints: 63147
345.24/346.12 c #Conflicts: 883000 | #Constraints: 64147
345.24/346.12 c #Conflicts: 884000 | #Constraints: 65147
345.24/346.12 c #Conflicts: 885000 | #Constraints: 66147
345.24/346.12 c #Conflicts: 886000 | #Constraints: 67147
413.97/415.02 c #Conflicts: 887000 | #Constraints: 68147
413.97/415.02 c #Conflicts: 888000 | #Constraints: 69147
413.97/415.02 c #Conflicts: 889000 | #Constraints: 70147
413.97/415.02 c #Conflicts: 890000 | #Constraints: 71147
413.97/415.02 c #Conflicts: 891000 | #Constraints: 72147
413.97/415.02 c #Conflicts: 892000 | #Constraints: 73147
413.97/415.02 c #Conflicts: 893000 | #Constraints: 74147
413.97/415.02 c #Conflicts: 894000 | #Constraints: 75147
413.97/415.02 c #Conflicts: 895000 | #Constraints: 76147
413.97/415.02 c #Conflicts: 896000 | #Constraints: 77147
413.97/415.02 c #Conflicts: 897000 | #Constraints: 78147
413.97/415.02 c #Conflicts: 898000 | #Constraints: 79147
413.97/415.02 c #Conflicts: 899000 | #Constraints: 80147
413.97/415.02 c #Conflicts: 900000 | #Constraints: 81147
413.97/415.02 c #Conflicts: 901000 | #Constraints: 82147
413.97/415.02 c #Conflicts: 902000 | #Constraints: 83147
413.97/415.02 c #Conflicts: 903000 | #Constraints: 84147
413.97/415.02 c #Conflicts: 904000 | #Constraints: 85147
413.97/415.02 c #Conflicts: 905000 | #Constraints: 86147
413.97/415.02 c #Conflicts: 906000 | #Constraints: 87147
413.97/415.02 c #Conflicts: 907000 | #Constraints: 88147
413.97/415.02 c #Conflicts: 908000 | #Constraints: 89147
413.97/415.02 c #Conflicts: 909000 | #Constraints: 90147
413.97/415.02 c #Conflicts: 910000 | #Constraints: 91147
413.97/415.02 c #Conflicts: 911000 | #Constraints: 92147
413.97/415.02 c #Conflicts: 912000 | #Constraints: 93147
413.97/415.02 c #Conflicts: 913000 | #Constraints: 94147
413.97/415.02 c #Conflicts: 914000 | #Constraints: 95147
413.97/415.02 c #Conflicts: 915000 | #Constraints: 96147
413.97/415.02 c #Conflicts: 916000 | #Constraints: 97147
413.97/415.02 c #Conflicts: 917000 | #Constraints: 98147
413.97/415.02 c #Conflicts: 918000 | #Constraints: 99147
413.97/415.02 c #Conflicts: 919000 | #Constraints: 100147
413.97/415.02 c #Conflicts: 920000 | #Constraints: 101147
413.97/415.02 c #Conflicts: 921000 | #Constraints: 102147
413.97/415.02 c #Conflicts: 922000 | #Constraints: 103147
413.97/415.02 c #Conflicts: 923000 | #Constraints: 104147
413.97/415.02 c #Conflicts: 924000 | #Constraints: 105147
413.97/415.02 c #Conflicts: 925000 | #Constraints: 106147
413.97/415.02 c #Conflicts: 926000 | #Constraints: 107147
413.97/415.02 c #Conflicts: 927000 | #Constraints: 108147
413.97/415.02 c #Conflicts: 928000 | #Constraints: 109147
413.97/415.02 c #Conflicts: 929000 | #Constraints: 110147
413.97/415.02 c #Conflicts: 930000 | #Constraints: 111147
413.97/415.02 c #Conflicts: 931000 | #Constraints: 112147
413.97/415.02 c #Conflicts: 932000 | #Constraints: 113147
413.97/415.02 c #Conflicts: 933000 | #Constraints: 114147
413.97/415.02 c #Conflicts: 934000 | #Constraints: 115147
413.97/415.02 c #Conflicts: 935000 | #Constraints: 116147
413.97/415.02 c #Conflicts: 936000 | #Constraints: 117147
413.97/415.02 c #Conflicts: 937000 | #Constraints: 118147
413.97/415.02 c #Conflicts: 938000 | #Constraints: 119147
413.97/415.02 c #Conflicts: 939000 | #Constraints: 120147
413.97/415.02 c #Conflicts: 940000 | #Constraints: 121147
413.97/415.02 c #Conflicts: 941000 | #Constraints: 122147
413.97/415.02 c #Conflicts: 942000 | #Constraints: 123147
413.97/415.02 c #Conflicts: 943000 | #Constraints: 124147
413.97/415.02 c #Conflicts: 944000 | #Constraints: 125147
413.97/415.02 c #Conflicts: 945000 | #Constraints: 126147
413.97/415.02 c #Conflicts: 946000 | #Constraints: 127147
413.97/415.02 c INPROCESSING
413.97/415.02 c GARBAGE COLLECT
413.97/415.02 c #Conflicts: 947000 | #Constraints: 73597
413.97/415.02 c #Conflicts: 948000 | #Constraints: 74597
413.97/415.02 c #Conflicts: 949000 | #Constraints: 75597
413.97/415.02 c #Conflicts: 950000 | #Constraints: 76597
413.97/415.02 c #Conflicts: 951000 | #Constraints: 77597
413.97/415.02 c #Conflicts: 952000 | #Constraints: 78597
413.97/415.02 c #Conflicts: 953000 | #Constraints: 79597
413.97/415.02 c #Conflicts: 954000 | #Constraints: 80597
413.97/415.02 c #Conflicts: 955000 | #Constraints: 81597
413.97/415.02 c #Conflicts: 956000 | #Constraints: 82597
413.97/415.02 c #Conflicts: 957000 | #Constraints: 83597
413.97/415.02 c #Conflicts: 958000 | #Constraints: 84597
413.97/415.02 c #Conflicts: 959000 | #Constraints: 85597
413.97/415.02 c #Conflicts: 960000 | #Constraints: 86597
413.97/415.02 c #Conflicts: 961000 | #Constraints: 87597
413.97/415.02 c #Conflicts: 962000 | #Constraints: 88597
413.97/415.02 c #Conflicts: 963000 | #Constraints: 89597
413.97/415.02 c #Conflicts: 964000 | #Constraints: 90597
482.51/483.70 c #Conflicts: 965000 | #Constraints: 91597
482.51/483.70 c #Conflicts: 966000 | #Constraints: 92597
482.51/483.70 c #Conflicts: 967000 | #Constraints: 93597
482.51/483.70 c #Conflicts: 968000 | #Constraints: 94597
482.51/483.70 c INPROCESSING
482.51/483.70 c GARBAGE COLLECT
482.51/483.70 c #Conflicts: 969000 | #Constraints: 57119
482.51/483.70 c #Conflicts: 970000 | #Constraints: 58119
482.51/483.70 c #Conflicts: 971000 | #Constraints: 59119
482.51/483.70 c #Conflicts: 972000 | #Constraints: 60119
482.51/483.70 c #Conflicts: 973000 | #Constraints: 61119
482.51/483.70 c #Conflicts: 974000 | #Constraints: 62119
482.51/483.70 c #Conflicts: 975000 | #Constraints: 63119
482.51/483.70 c #Conflicts: 976000 | #Constraints: 64119
482.51/483.70 c #Conflicts: 977000 | #Constraints: 65119
482.51/483.70 c #Conflicts: 978000 | #Constraints: 66119
482.51/483.70 c #Conflicts: 979000 | #Constraints: 67119
482.51/483.70 c #Conflicts: 980000 | #Constraints: 68119
482.51/483.70 c #Conflicts: 981000 | #Constraints: 69119
482.51/483.70 c #Conflicts: 982000 | #Constraints: 70119
482.51/483.70 c #Conflicts: 983000 | #Constraints: 71119
482.51/483.70 c #Conflicts: 984000 | #Constraints: 72119
482.51/483.70 c #Conflicts: 985000 | #Constraints: 73119
482.51/483.70 c #Conflicts: 986000 | #Constraints: 74119
482.51/483.70 c #Conflicts: 987000 | #Constraints: 75119
482.51/483.70 c #Conflicts: 988000 | #Constraints: 76119
482.51/483.70 c #Conflicts: 989000 | #Constraints: 77119
482.51/483.70 c #Conflicts: 990000 | #Constraints: 78119
482.51/483.70 c #Conflicts: 991000 | #Constraints: 79119
482.51/483.70 c #Conflicts: 992000 | #Constraints: 80119
482.51/483.70 c #Conflicts: 993000 | #Constraints: 81119
482.51/483.70 c #Conflicts: 994000 | #Constraints: 82119
482.51/483.70 c #Conflicts: 995000 | #Constraints: 83119
482.51/483.70 c #Conflicts: 996000 | #Constraints: 84119
482.51/483.70 c #Conflicts: 997000 | #Constraints: 85119
482.51/483.70 c #Conflicts: 998000 | #Constraints: 86119
482.51/483.70 c #Conflicts: 999000 | #Constraints: 87119
482.51/483.70 c #Conflicts: 1000000 | #Constraints: 88119
482.51/483.70 c #Conflicts: 1001000 | #Constraints: 89119
482.51/483.70 c #Conflicts: 1002000 | #Constraints: 90119
482.51/483.70 c #Conflicts: 1003000 | #Constraints: 91119
482.51/483.70 c #Conflicts: 1004000 | #Constraints: 92119
482.51/483.70 c #Conflicts: 1005000 | #Constraints: 93119
482.51/483.70 c #Conflicts: 1006000 | #Constraints: 94119
482.51/483.70 c #Conflicts: 1007000 | #Constraints: 95119
482.51/483.70 c #Conflicts: 1008000 | #Constraints: 96119
482.51/483.70 c #Conflicts: 1009000 | #Constraints: 97119
482.51/483.70 c #Conflicts: 1010000 | #Constraints: 98119
482.51/483.70 c #Conflicts: 1011000 | #Constraints: 99119
482.51/483.70 c #Conflicts: 1012000 | #Constraints: 100119
482.51/483.70 c #Conflicts: 1013000 | #Constraints: 101119
482.51/483.70 c #Conflicts: 1014000 | #Constraints: 102119
482.51/483.70 c #Conflicts: 1015000 | #Constraints: 103119
482.51/483.70 c #Conflicts: 1016000 | #Constraints: 104119
482.51/483.70 c #Conflicts: 1017000 | #Constraints: 105119
482.51/483.70 c #Conflicts: 1018000 | #Constraints: 106119
482.51/483.70 c #Conflicts: 1019000 | #Constraints: 107119
482.51/483.70 c #Conflicts: 1020000 | #Constraints: 108119
482.51/483.70 c #Conflicts: 1021000 | #Constraints: 109119
482.51/483.70 c #Conflicts: 1022000 | #Constraints: 110119
482.51/483.70 c #Conflicts: 1023000 | #Constraints: 111119
482.51/483.70 c #Conflicts: 1024000 | #Constraints: 112119
482.51/483.70 c #Conflicts: 1025000 | #Constraints: 113119
482.51/483.70 c #Conflicts: 1026000 | #Constraints: 114119
482.51/483.70 c #Conflicts: 1027000 | #Constraints: 115119
482.51/483.70 c #Conflicts: 1028000 | #Constraints: 116119
482.51/483.70 c #Conflicts: 1029000 | #Constraints: 117119
482.51/483.70 c #Conflicts: 1030000 | #Constraints: 118119
482.51/483.70 c #Conflicts: 1031000 | #Constraints: 119119
482.51/483.70 c #Conflicts: 1032000 | #Constraints: 120119
482.51/483.70 c #Conflicts: 1033000 | #Constraints: 121119
482.51/483.70 c #Conflicts: 1034000 | #Constraints: 122119
482.51/483.70 c #Conflicts: 1035000 | #Constraints: 123119
482.51/483.70 c #Conflicts: 1036000 | #Constraints: 124119
482.51/483.70 c #Conflicts: 1037000 | #Constraints: 125119
482.51/483.70 c #Conflicts: 1038000 | #Constraints: 126119
482.51/483.70 c #Conflicts: 1039000 | #Constraints: 127119
482.51/483.70 c #Conflicts: 1040000 | #Constraints: 128119
482.51/483.70 c #Conflicts: 1041000 | #Constraints: 129119
482.51/483.70 c #Conflicts: 1042000 | #Constraints: 130119
545.77/547.18 c #Conflicts: 1043000 | #Constraints: 131119
545.77/547.18 c #Conflicts: 1044000 | #Constraints: 132119
545.77/547.18 c INPROCESSING
545.77/547.18 c GARBAGE COLLECT
545.77/547.18 c #Conflicts: 1045000 | #Constraints: 76075
545.77/547.18 c #Conflicts: 1046000 | #Constraints: 77075
545.77/547.18 c #Conflicts: 1047000 | #Constraints: 78075
545.77/547.18 c #Conflicts: 1048000 | #Constraints: 79075
545.77/547.18 c #Conflicts: 1049000 | #Constraints: 80075
545.77/547.18 c #Conflicts: 1050000 | #Constraints: 81075
545.77/547.18 c #Conflicts: 1051000 | #Constraints: 82075
545.77/547.18 c #Conflicts: 1052000 | #Constraints: 83075
545.77/547.18 c #Conflicts: 1053000 | #Constraints: 84075
545.77/547.18 c #Conflicts: 1054000 | #Constraints: 85075
545.77/547.18 c #Conflicts: 1055000 | #Constraints: 86075
545.77/547.18 c #Conflicts: 1056000 | #Constraints: 87075
545.77/547.18 c #Conflicts: 1057000 | #Constraints: 88075
545.77/547.18 c #Conflicts: 1058000 | #Constraints: 89075
545.77/547.18 c #Conflicts: 1059000 | #Constraints: 90075
545.77/547.18 c #Conflicts: 1060000 | #Constraints: 91075
545.77/547.18 c #Conflicts: 1061000 | #Constraints: 92075
545.77/547.18 c #Conflicts: 1062000 | #Constraints: 93075
545.77/547.18 c #Conflicts: 1063000 | #Constraints: 94075
545.77/547.18 c #Conflicts: 1064000 | #Constraints: 95075
545.77/547.18 c #Conflicts: 1065000 | #Constraints: 96075
545.77/547.18 c #Conflicts: 1066000 | #Constraints: 97075
545.77/547.18 c #Conflicts: 1067000 | #Constraints: 98075
545.77/547.18 c #Conflicts: 1068000 | #Constraints: 99075
545.77/547.18 c INPROCESSING
545.77/547.18 c GARBAGE COLLECT
545.77/547.18 c #Conflicts: 1069000 | #Constraints: 59689
545.77/547.18 c #Conflicts: 1070000 | #Constraints: 60689
545.77/547.18 c #Conflicts: 1071000 | #Constraints: 61689
545.77/547.18 c #Conflicts: 1072000 | #Constraints: 62689
545.77/547.18 c #Conflicts: 1073000 | #Constraints: 63689
545.77/547.18 c #Conflicts: 1074000 | #Constraints: 64689
545.77/547.18 c #Conflicts: 1075000 | #Constraints: 65689
545.77/547.18 c #Conflicts: 1076000 | #Constraints: 66689
545.77/547.18 c #Conflicts: 1077000 | #Constraints: 67689
545.77/547.18 c #Conflicts: 1078000 | #Constraints: 68689
545.77/547.18 c #Conflicts: 1079000 | #Constraints: 69689
545.77/547.18 c #Conflicts: 1080000 | #Constraints: 70689
545.77/547.18 c #Conflicts: 1081000 | #Constraints: 71689
545.77/547.18 c #Conflicts: 1082000 | #Constraints: 72689
545.77/547.18 c #Conflicts: 1083000 | #Constraints: 73689
545.77/547.18 c #Conflicts: 1084000 | #Constraints: 74689
545.77/547.18 c #Conflicts: 1085000 | #Constraints: 75689
545.77/547.18 c #Conflicts: 1086000 | #Constraints: 76689
545.77/547.18 c #Conflicts: 1087000 | #Constraints: 77689
545.77/547.18 c #Conflicts: 1088000 | #Constraints: 78689
545.77/547.18 c #Conflicts: 1089000 | #Constraints: 79689
545.77/547.18 c #Conflicts: 1090000 | #Constraints: 80689
545.77/547.18 c #Conflicts: 1091000 | #Constraints: 81689
545.77/547.18 c #Conflicts: 1092000 | #Constraints: 82689
545.77/547.18 c #Conflicts: 1093000 | #Constraints: 83689
545.77/547.18 c #Conflicts: 1094000 | #Constraints: 84689
545.77/547.18 c #Conflicts: 1095000 | #Constraints: 85689
545.77/547.18 c #Conflicts: 1096000 | #Constraints: 86689
545.77/547.18 c #Conflicts: 1097000 | #Constraints: 87689
545.77/547.18 c #Conflicts: 1098000 | #Constraints: 88689
545.77/547.18 c #Conflicts: 1099000 | #Constraints: 89689
545.77/547.18 c #Conflicts: 1100000 | #Constraints: 90689
545.77/547.18 c #Conflicts: 1101000 | #Constraints: 91689
545.77/547.18 c #Conflicts: 1102000 | #Constraints: 92689
545.77/547.18 c #Conflicts: 1103000 | #Constraints: 93689
545.77/547.18 c #Conflicts: 1104000 | #Constraints: 94689
545.77/547.18 c #Conflicts: 1105000 | #Constraints: 95689
545.77/547.18 c #Conflicts: 1106000 | #Constraints: 96689
545.77/547.18 c #Conflicts: 1107000 | #Constraints: 97689
545.77/547.18 c #Conflicts: 1108000 | #Constraints: 98689
545.77/547.18 c #Conflicts: 1109000 | #Constraints: 99689
545.77/547.18 c #Conflicts: 1110000 | #Constraints: 100689
545.77/547.18 c #Conflicts: 1111000 | #Constraints: 101689
545.77/547.18 c #Conflicts: 1112000 | #Constraints: 102689
545.77/547.18 c #Conflicts: 1113000 | #Constraints: 103689
545.77/547.18 c #Conflicts: 1114000 | #Constraints: 104689
545.77/547.18 c #Conflicts: 1115000 | #Constraints: 105689
545.77/547.18 c #Conflicts: 1116000 | #Constraints: 106689
545.77/547.18 c #Conflicts: 1117000 | #Constraints: 107689
545.77/547.18 c #Conflicts: 1118000 | #Constraints: 108689
545.77/547.18 c #Conflicts: 1119000 | #Constraints: 109689
545.77/547.18 c #Conflicts: 1120000 | #Constraints: 110689
624.09/625.68 c #Conflicts: 1121000 | #Constraints: 111689
624.09/625.68 c #Conflicts: 1122000 | #Constraints: 112689
624.09/625.68 c #Conflicts: 1123000 | #Constraints: 113689
624.09/625.68 c #Conflicts: 1124000 | #Constraints: 114689
624.09/625.68 c #Conflicts: 1125000 | #Constraints: 115689
624.09/625.68 c #Conflicts: 1126000 | #Constraints: 116689
624.09/625.68 c #Conflicts: 1127000 | #Constraints: 117689
624.09/625.68 c #Conflicts: 1128000 | #Constraints: 118689
624.09/625.68 c #Conflicts: 1129000 | #Constraints: 119689
624.09/625.68 c #Conflicts: 1130000 | #Constraints: 120689
624.09/625.68 c #Conflicts: 1131000 | #Constraints: 121689
624.09/625.68 c #Conflicts: 1132000 | #Constraints: 122689
624.09/625.68 c #Conflicts: 1133000 | #Constraints: 123689
624.09/625.68 c #Conflicts: 1134000 | #Constraints: 124689
624.09/625.68 c #Conflicts: 1135000 | #Constraints: 125689
624.09/625.68 c #Conflicts: 1136000 | #Constraints: 126689
624.09/625.68 c #Conflicts: 1137000 | #Constraints: 127689
624.09/625.68 c #Conflicts: 1138000 | #Constraints: 128689
624.09/625.68 c #Conflicts: 1139000 | #Constraints: 129689
624.09/625.68 c #Conflicts: 1140000 | #Constraints: 130689
624.09/625.68 c #Conflicts: 1141000 | #Constraints: 131689
624.09/625.68 c #Conflicts: 1142000 | #Constraints: 132689
624.09/625.68 c #Conflicts: 1143000 | #Constraints: 133689
624.09/625.68 c #Conflicts: 1144000 | #Constraints: 134689
624.09/625.68 c #Conflicts: 1145000 | #Constraints: 135689
624.09/625.68 c #Conflicts: 1146000 | #Constraints: 136689
624.09/625.68 c INPROCESSING
624.09/625.68 c GARBAGE COLLECT
624.09/625.68 c #Conflicts: 1147000 | #Constraints: 78080
624.09/625.68 c #Conflicts: 1148000 | #Constraints: 79080
624.09/625.68 c #Conflicts: 1149000 | #Constraints: 80080
624.09/625.68 c #Conflicts: 1150000 | #Constraints: 81080
624.09/625.68 c #Conflicts: 1151000 | #Constraints: 82080
624.09/625.68 c #Conflicts: 1152000 | #Constraints: 83080
624.09/625.68 c #Conflicts: 1153000 | #Constraints: 84080
624.09/625.68 c #Conflicts: 1154000 | #Constraints: 85080
624.09/625.68 c #Conflicts: 1155000 | #Constraints: 86080
624.09/625.68 c #Conflicts: 1156000 | #Constraints: 87080
624.09/625.68 c #Conflicts: 1157000 | #Constraints: 88080
624.09/625.68 c #Conflicts: 1158000 | #Constraints: 89080
624.09/625.68 c #Conflicts: 1159000 | #Constraints: 90080
624.09/625.68 c #Conflicts: 1160000 | #Constraints: 91080
624.09/625.68 c #Conflicts: 1161000 | #Constraints: 92080
624.09/625.68 c #Conflicts: 1162000 | #Constraints: 93080
624.09/625.68 c #Conflicts: 1163000 | #Constraints: 94080
624.09/625.68 c #Conflicts: 1164000 | #Constraints: 95080
624.09/625.68 c #Conflicts: 1165000 | #Constraints: 96080
624.09/625.68 c #Conflicts: 1166000 | #Constraints: 97080
624.09/625.68 c #Conflicts: 1167000 | #Constraints: 98080
624.09/625.68 c #Conflicts: 1168000 | #Constraints: 99080
624.09/625.68 c #Conflicts: 1169000 | #Constraints: 100080
624.09/625.68 c #Conflicts: 1170000 | #Constraints: 101080
624.09/625.68 c #Conflicts: 1171000 | #Constraints: 102080
624.09/625.68 c INPROCESSING
624.09/625.68 c GARBAGE COLLECT
624.09/625.68 c #Conflicts: 1172000 | #Constraints: 60777
624.09/625.68 c #Conflicts: 1173000 | #Constraints: 61777
624.09/625.68 c #Conflicts: 1174000 | #Constraints: 62777
624.09/625.68 c #Conflicts: 1175000 | #Constraints: 63777
624.09/625.68 c #Conflicts: 1176000 | #Constraints: 64777
624.09/625.68 c #Conflicts: 1177000 | #Constraints: 65777
624.09/625.68 c #Conflicts: 1178000 | #Constraints: 66777
624.09/625.68 c #Conflicts: 1179000 | #Constraints: 67777
624.09/625.68 c #Conflicts: 1180000 | #Constraints: 68777
624.09/625.68 c #Conflicts: 1181000 | #Constraints: 69777
624.09/625.68 c #Conflicts: 1182000 | #Constraints: 70777
624.09/625.68 c #Conflicts: 1183000 | #Constraints: 71777
624.09/625.68 c #Conflicts: 1184000 | #Constraints: 72777
624.09/625.68 c #Conflicts: 1185000 | #Constraints: 73777
624.09/625.68 c #Conflicts: 1186000 | #Constraints: 74777
624.09/625.68 c #Conflicts: 1187000 | #Constraints: 75777
624.09/625.68 c #Conflicts: 1188000 | #Constraints: 76777
624.09/625.68 c #Conflicts: 1189000 | #Constraints: 77777
624.09/625.68 c #Conflicts: 1190000 | #Constraints: 78777
624.09/625.68 c #Conflicts: 1191000 | #Constraints: 79777
624.09/625.68 c #Conflicts: 1192000 | #Constraints: 80777
624.09/625.68 c #Conflicts: 1193000 | #Constraints: 81777
624.09/625.68 c #Conflicts: 1194000 | #Constraints: 82777
624.09/625.68 c #Conflicts: 1195000 | #Constraints: 83777
624.09/625.68 c #Conflicts: 1196000 | #Constraints: 84777
624.09/625.68 c #Conflicts: 1197000 | #Constraints: 85777
723.46/725.27 c #Conflicts: 1198000 | #Constraints: 86777
723.46/725.27 c #Conflicts: 1199000 | #Constraints: 87777
723.46/725.27 c #Conflicts: 1200000 | #Constraints: 88777
723.46/725.27 c #Conflicts: 1201000 | #Constraints: 89777
723.46/725.27 c #Conflicts: 1202000 | #Constraints: 90777
723.46/725.27 c #Conflicts: 1203000 | #Constraints: 91777
723.46/725.27 c #Conflicts: 1204000 | #Constraints: 92777
723.46/725.27 c #Conflicts: 1205000 | #Constraints: 93777
723.46/725.27 c #Conflicts: 1206000 | #Constraints: 94777
723.46/725.27 c #Conflicts: 1207000 | #Constraints: 95777
723.46/725.27 c #Conflicts: 1208000 | #Constraints: 96777
723.46/725.27 c #Conflicts: 1209000 | #Constraints: 97777
723.46/725.27 c #Conflicts: 1210000 | #Constraints: 98777
723.46/725.27 c #Conflicts: 1211000 | #Constraints: 99777
723.46/725.27 c #Conflicts: 1212000 | #Constraints: 100777
723.46/725.27 c #Conflicts: 1213000 | #Constraints: 101777
723.46/725.27 c #Conflicts: 1214000 | #Constraints: 102777
723.46/725.27 c #Conflicts: 1215000 | #Constraints: 103777
723.46/725.27 c #Conflicts: 1216000 | #Constraints: 104777
723.46/725.27 c #Conflicts: 1217000 | #Constraints: 105777
723.46/725.27 c #Conflicts: 1218000 | #Constraints: 106777
723.46/725.27 c #Conflicts: 1219000 | #Constraints: 107777
723.46/725.27 c #Conflicts: 1220000 | #Constraints: 108777
723.46/725.27 c #Conflicts: 1221000 | #Constraints: 109777
723.46/725.27 c #Conflicts: 1222000 | #Constraints: 110777
723.46/725.27 c #Conflicts: 1223000 | #Constraints: 111777
723.46/725.27 c #Conflicts: 1224000 | #Constraints: 112777
723.46/725.27 c #Conflicts: 1225000 | #Constraints: 113777
723.46/725.27 c #Conflicts: 1226000 | #Constraints: 114777
723.46/725.27 c #Conflicts: 1227000 | #Constraints: 115777
723.46/725.27 c #Conflicts: 1228000 | #Constraints: 116777
723.46/725.27 c #Conflicts: 1229000 | #Constraints: 117777
723.46/725.27 c #Conflicts: 1230000 | #Constraints: 118777
723.46/725.27 c #Conflicts: 1231000 | #Constraints: 119777
723.46/725.27 c #Conflicts: 1232000 | #Constraints: 120777
723.46/725.27 c #Conflicts: 1233000 | #Constraints: 121777
723.46/725.27 c #Conflicts: 1234000 | #Constraints: 122777
723.46/725.27 c #Conflicts: 1235000 | #Constraints: 123777
723.46/725.27 c #Conflicts: 1236000 | #Constraints: 124777
723.46/725.27 c #Conflicts: 1237000 | #Constraints: 125777
723.46/725.27 c #Conflicts: 1238000 | #Constraints: 126777
723.46/725.27 c #Conflicts: 1239000 | #Constraints: 127777
723.46/725.27 c #Conflicts: 1240000 | #Constraints: 128777
723.46/725.27 c #Conflicts: 1241000 | #Constraints: 129777
723.46/725.27 c #Conflicts: 1242000 | #Constraints: 130777
723.46/725.27 c #Conflicts: 1243000 | #Constraints: 131777
723.46/725.27 c #Conflicts: 1244000 | #Constraints: 132777
723.46/725.27 c #Conflicts: 1245000 | #Constraints: 133777
723.46/725.27 c #Conflicts: 1246000 | #Constraints: 134777
723.46/725.27 c #Conflicts: 1247000 | #Constraints: 135777
723.46/725.27 c #Conflicts: 1248000 | #Constraints: 136777
723.46/725.27 c #Conflicts: 1249000 | #Constraints: 137777
723.46/725.27 c #Conflicts: 1250000 | #Constraints: 138777
723.46/725.27 c #Conflicts: 1251000 | #Constraints: 139777
723.46/725.27 c #Conflicts: 1252000 | #Constraints: 140777
723.46/725.27 c #Conflicts: 1253000 | #Constraints: 141777
723.46/725.27 c INPROCESSING
723.46/725.27 c GARBAGE COLLECT
723.46/725.27 c #Conflicts: 1254000 | #Constraints: 80653
723.46/725.27 c #Conflicts: 1255000 | #Constraints: 81653
723.46/725.27 c #Conflicts: 1256000 | #Constraints: 82653
723.46/725.27 c #Conflicts: 1257000 | #Constraints: 83653
723.46/725.27 c #Conflicts: 1258000 | #Constraints: 84653
723.46/725.27 c #Conflicts: 1259000 | #Constraints: 85653
723.46/725.27 c #Conflicts: 1260000 | #Constraints: 86653
723.46/725.27 c #Conflicts: 1261000 | #Constraints: 87653
723.46/725.27 c #Conflicts: 1262000 | #Constraints: 88653
723.46/725.27 c #Conflicts: 1263000 | #Constraints: 89653
723.46/725.27 c #Conflicts: 1264000 | #Constraints: 90653
723.46/725.27 c #Conflicts: 1265000 | #Constraints: 91653
723.46/725.27 c #Conflicts: 1266000 | #Constraints: 92653
723.46/725.27 c #Conflicts: 1267000 | #Constraints: 93653
723.46/725.27 c #Conflicts: 1268000 | #Constraints: 94653
723.46/725.27 c #Conflicts: 1269000 | #Constraints: 95653
723.46/725.27 c #Conflicts: 1270000 | #Constraints: 96653
723.46/725.27 c #Conflicts: 1271000 | #Constraints: 97653
723.46/725.27 c #Conflicts: 1272000 | #Constraints: 98653
723.46/725.27 c #Conflicts: 1273000 | #Constraints: 99653
723.46/725.27 c #Conflicts: 1274000 | #Constraints: 100653
723.46/725.27 c #Conflicts: 1275000 | #Constraints: 101653
813.94/815.94 c #Conflicts: 1276000 | #Constraints: 102653
813.94/815.94 c #Conflicts: 1277000 | #Constraints: 103653
813.94/815.94 c #Conflicts: 1278000 | #Constraints: 104653
813.94/815.94 c #Conflicts: 1279000 | #Constraints: 105653
813.94/815.94 c #Conflicts: 1280000 | #Constraints: 106653
813.94/815.94 c INPROCESSING
813.94/815.94 c GARBAGE COLLECT
813.94/815.94 c #Conflicts: 1281000 | #Constraints: 63459
813.94/815.94 c #Conflicts: 1282000 | #Constraints: 64459
813.94/815.94 c #Conflicts: 1283000 | #Constraints: 65459
813.94/815.94 c #Conflicts: 1284000 | #Constraints: 66459
813.94/815.94 c #Conflicts: 1285000 | #Constraints: 67459
813.94/815.94 c #Conflicts: 1286000 | #Constraints: 68459
813.94/815.94 c #Conflicts: 1287000 | #Constraints: 69459
813.94/815.94 c #Conflicts: 1288000 | #Constraints: 70459
813.94/815.94 c #Conflicts: 1289000 | #Constraints: 71459
813.94/815.94 c #Conflicts: 1290000 | #Constraints: 72459
813.94/815.94 c #Conflicts: 1291000 | #Constraints: 73459
813.94/815.94 c #Conflicts: 1292000 | #Constraints: 74459
813.94/815.94 c #Conflicts: 1293000 | #Constraints: 75459
813.94/815.94 c #Conflicts: 1294000 | #Constraints: 76459
813.94/815.94 c #Conflicts: 1295000 | #Constraints: 77459
813.94/815.94 c #Conflicts: 1296000 | #Constraints: 78459
813.94/815.94 c #Conflicts: 1297000 | #Constraints: 79459
813.94/815.94 c #Conflicts: 1298000 | #Constraints: 80459
813.94/815.94 c #Conflicts: 1299000 | #Constraints: 81459
813.94/815.94 c #Conflicts: 1300000 | #Constraints: 82459
813.94/815.94 c #Conflicts: 1301000 | #Constraints: 83459
813.94/815.94 c #Conflicts: 1302000 | #Constraints: 84459
813.94/815.94 c #Conflicts: 1303000 | #Constraints: 85459
813.94/815.94 c #Conflicts: 1304000 | #Constraints: 86459
813.94/815.94 c #Conflicts: 1305000 | #Constraints: 87459
813.94/815.94 c #Conflicts: 1306000 | #Constraints: 88459
813.94/815.94 c #Conflicts: 1307000 | #Constraints: 89459
813.94/815.94 c #Conflicts: 1308000 | #Constraints: 90459
813.94/815.94 c #Conflicts: 1309000 | #Constraints: 91459
813.94/815.94 c #Conflicts: 1310000 | #Constraints: 92459
813.94/815.94 c #Conflicts: 1311000 | #Constraints: 93459
813.94/815.94 c #Conflicts: 1312000 | #Constraints: 94459
813.94/815.94 c #Conflicts: 1313000 | #Constraints: 95459
813.94/815.94 c #Conflicts: 1314000 | #Constraints: 96459
813.94/815.94 c #Conflicts: 1315000 | #Constraints: 97459
813.94/815.94 c #Conflicts: 1316000 | #Constraints: 98459
813.94/815.94 c #Conflicts: 1317000 | #Constraints: 99459
813.94/815.94 c #Conflicts: 1318000 | #Constraints: 100459
813.94/815.94 c #Conflicts: 1319000 | #Constraints: 101459
813.94/815.94 c #Conflicts: 1320000 | #Constraints: 102459
813.94/815.94 c #Conflicts: 1321000 | #Constraints: 103459
813.94/815.94 c #Conflicts: 1322000 | #Constraints: 104459
813.94/815.94 c #Conflicts: 1323000 | #Constraints: 105459
813.94/815.94 c #Conflicts: 1324000 | #Constraints: 106459
813.94/815.94 c #Conflicts: 1325000 | #Constraints: 107459
813.94/815.94 c #Conflicts: 1326000 | #Constraints: 108459
813.94/815.94 c #Conflicts: 1327000 | #Constraints: 109459
813.94/815.94 c #Conflicts: 1328000 | #Constraints: 110459
813.94/815.94 c #Conflicts: 1329000 | #Constraints: 111459
813.94/815.94 c #Conflicts: 1330000 | #Constraints: 112459
813.94/815.94 c #Conflicts: 1331000 | #Constraints: 113459
813.94/815.94 c #Conflicts: 1332000 | #Constraints: 114459
813.94/815.94 c #Conflicts: 1333000 | #Constraints: 115459
813.94/815.94 c #Conflicts: 1334000 | #Constraints: 116459
813.94/815.94 c #Conflicts: 1335000 | #Constraints: 117459
813.94/815.94 c #Conflicts: 1336000 | #Constraints: 118459
813.94/815.94 c #Conflicts: 1337000 | #Constraints: 119459
813.94/815.94 c #Conflicts: 1338000 | #Constraints: 120459
813.94/815.94 c #Conflicts: 1339000 | #Constraints: 121459
813.94/815.94 c #Conflicts: 1340000 | #Constraints: 122459
813.94/815.94 c #Conflicts: 1341000 | #Constraints: 123459
813.94/815.94 c #Conflicts: 1342000 | #Constraints: 124459
813.94/815.94 c #Conflicts: 1343000 | #Constraints: 125459
813.94/815.94 c #Conflicts: 1344000 | #Constraints: 126459
813.94/815.94 c #Conflicts: 1345000 | #Constraints: 127459
813.94/815.94 c #Conflicts: 1346000 | #Constraints: 128459
813.94/815.94 c #Conflicts: 1347000 | #Constraints: 129459
813.94/815.94 c #Conflicts: 1348000 | #Constraints: 130459
813.94/815.94 c #Conflicts: 1349000 | #Constraints: 131459
813.94/815.94 c #Conflicts: 1350000 | #Constraints: 132459
813.94/815.94 c #Conflicts: 1351000 | #Constraints: 133459
813.94/815.94 c #Conflicts: 1352000 | #Constraints: 134459
813.94/815.94 c #Conflicts: 1353000 | #Constraints: 135459
813.94/815.94 c #Conflicts: 1354000 | #Constraints: 136459
904.04/906.27 c #Conflicts: 1355000 | #Constraints: 137459
904.04/906.27 c #Conflicts: 1356000 | #Constraints: 138459
904.04/906.27 c #Conflicts: 1357000 | #Constraints: 139459
904.04/906.27 c #Conflicts: 1358000 | #Constraints: 140459
904.04/906.27 c #Conflicts: 1359000 | #Constraints: 141459
904.04/906.27 c #Conflicts: 1360000 | #Constraints: 142459
904.04/906.27 c #Conflicts: 1361000 | #Constraints: 143459
904.04/906.27 c #Conflicts: 1362000 | #Constraints: 144459
904.04/906.27 c #Conflicts: 1363000 | #Constraints: 145459
904.04/906.27 c #Conflicts: 1364000 | #Constraints: 146459
904.04/906.27 c #Conflicts: 1365000 | #Constraints: 147459
904.04/906.27 c INPROCESSING
904.04/906.27 c GARBAGE COLLECT
904.04/906.27 c #Conflicts: 1366000 | #Constraints: 83846
904.04/906.27 c #Conflicts: 1367000 | #Constraints: 84846
904.04/906.27 c #Conflicts: 1368000 | #Constraints: 85846
904.04/906.27 c #Conflicts: 1369000 | #Constraints: 86846
904.04/906.27 c #Conflicts: 1370000 | #Constraints: 87846
904.04/906.27 c #Conflicts: 1371000 | #Constraints: 88846
904.04/906.27 c #Conflicts: 1372000 | #Constraints: 89846
904.04/906.27 c #Conflicts: 1373000 | #Constraints: 90846
904.04/906.27 c #Conflicts: 1374000 | #Constraints: 91846
904.04/906.27 c #Conflicts: 1375000 | #Constraints: 92846
904.04/906.27 c #Conflicts: 1376000 | #Constraints: 93846
904.04/906.27 c #Conflicts: 1377000 | #Constraints: 94846
904.04/906.27 c #Conflicts: 1378000 | #Constraints: 95846
904.04/906.27 c #Conflicts: 1379000 | #Constraints: 96846
904.04/906.27 c #Conflicts: 1380000 | #Constraints: 97846
904.04/906.27 c #Conflicts: 1381000 | #Constraints: 98846
904.04/906.27 c #Conflicts: 1382000 | #Constraints: 99846
904.04/906.27 c #Conflicts: 1383000 | #Constraints: 100846
904.04/906.27 c #Conflicts: 1384000 | #Constraints: 101846
904.04/906.27 c #Conflicts: 1385000 | #Constraints: 102846
904.04/906.27 c #Conflicts: 1386000 | #Constraints: 103846
904.04/906.27 c #Conflicts: 1387000 | #Constraints: 104846
904.04/906.27 c #Conflicts: 1388000 | #Constraints: 105846
904.04/906.27 c #Conflicts: 1389000 | #Constraints: 106846
904.04/906.27 c #Conflicts: 1390000 | #Constraints: 107846
904.04/906.27 c #Conflicts: 1391000 | #Constraints: 108846
904.04/906.27 c #Conflicts: 1392000 | #Constraints: 109846
904.04/906.27 c INPROCESSING
904.04/906.27 c GARBAGE COLLECT
904.04/906.27 c #Conflicts: 1393000 | #Constraints: 64755
904.04/906.27 c #Conflicts: 1394000 | #Constraints: 65755
904.04/906.27 c #Conflicts: 1395000 | #Constraints: 66755
904.04/906.27 c #Conflicts: 1396000 | #Constraints: 67755
904.04/906.27 c #Conflicts: 1397000 | #Constraints: 68755
904.04/906.27 c #Conflicts: 1398000 | #Constraints: 69755
904.04/906.27 c #Conflicts: 1399000 | #Constraints: 70755
904.04/906.27 c #Conflicts: 1400000 | #Constraints: 71755
904.04/906.27 c #Conflicts: 1401000 | #Constraints: 72755
904.04/906.27 c #Conflicts: 1402000 | #Constraints: 73755
904.04/906.27 c #Conflicts: 1403000 | #Constraints: 74755
904.04/906.27 c #Conflicts: 1404000 | #Constraints: 75755
904.04/906.27 c #Conflicts: 1405000 | #Constraints: 76755
904.04/906.27 c #Conflicts: 1406000 | #Constraints: 77755
904.04/906.27 c #Conflicts: 1407000 | #Constraints: 78755
904.04/906.27 c #Conflicts: 1408000 | #Constraints: 79755
904.04/906.27 c #Conflicts: 1409000 | #Constraints: 80755
904.04/906.27 c #Conflicts: 1410000 | #Constraints: 81755
904.04/906.27 c #Conflicts: 1411000 | #Constraints: 82755
904.04/906.27 c #Conflicts: 1412000 | #Constraints: 83755
904.04/906.27 c #Conflicts: 1413000 | #Constraints: 84755
904.04/906.27 c #Conflicts: 1414000 | #Constraints: 85755
904.04/906.27 c #Conflicts: 1415000 | #Constraints: 86755
904.04/906.27 c #Conflicts: 1416000 | #Constraints: 87755
904.04/906.27 c #Conflicts: 1417000 | #Constraints: 88755
904.04/906.27 c #Conflicts: 1418000 | #Constraints: 89755
904.04/906.27 c #Conflicts: 1419000 | #Constraints: 90755
904.04/906.27 c #Conflicts: 1420000 | #Constraints: 91755
904.04/906.27 c #Conflicts: 1421000 | #Constraints: 92755
904.04/906.27 c #Conflicts: 1422000 | #Constraints: 93755
904.04/906.27 c #Conflicts: 1423000 | #Constraints: 94755
904.04/906.27 c #Conflicts: 1424000 | #Constraints: 95755
904.04/906.27 c #Conflicts: 1425000 | #Constraints: 96755
904.04/906.27 c #Conflicts: 1426000 | #Constraints: 97755
904.04/906.27 c #Conflicts: 1427000 | #Constraints: 98755
904.04/906.27 c #Conflicts: 1428000 | #Constraints: 99755
904.04/906.27 c #Conflicts: 1429000 | #Constraints: 100755
904.04/906.27 c #Conflicts: 1430000 | #Constraints: 101755
904.04/906.27 c #Conflicts: 1431000 | #Constraints: 102755
1032.12/1034.65 c #Conflicts: 1432000 | #Constraints: 103755
1032.12/1034.65 c #Conflicts: 1433000 | #Constraints: 104755
1032.12/1034.65 c #Conflicts: 1434000 | #Constraints: 105755
1032.12/1034.65 c #Conflicts: 1435000 | #Constraints: 106755
1032.12/1034.65 c #Conflicts: 1436000 | #Constraints: 107755
1032.12/1034.65 c #Conflicts: 1437000 | #Constraints: 108755
1032.12/1034.65 c #Conflicts: 1438000 | #Constraints: 109755
1032.12/1034.65 c #Conflicts: 1439000 | #Constraints: 110755
1032.12/1034.65 c #Conflicts: 1440000 | #Constraints: 111755
1032.12/1034.65 c #Conflicts: 1441000 | #Constraints: 112755
1032.12/1034.65 c #Conflicts: 1442000 | #Constraints: 113755
1032.12/1034.65 c #Conflicts: 1443000 | #Constraints: 114755
1032.12/1034.65 c #Conflicts: 1444000 | #Constraints: 115755
1032.12/1034.65 c #Conflicts: 1445000 | #Constraints: 116755
1032.12/1034.65 c #Conflicts: 1446000 | #Constraints: 117755
1032.12/1034.65 c #Conflicts: 1447000 | #Constraints: 118755
1032.12/1034.65 c #Conflicts: 1448000 | #Constraints: 119755
1032.12/1034.65 c #Conflicts: 1449000 | #Constraints: 120755
1032.12/1034.65 c #Conflicts: 1450000 | #Constraints: 121755
1032.12/1034.65 c #Conflicts: 1451000 | #Constraints: 122755
1032.12/1034.65 c #Conflicts: 1452000 | #Constraints: 123755
1032.12/1034.65 c #Conflicts: 1453000 | #Constraints: 124755
1032.12/1034.65 c #Conflicts: 1454000 | #Constraints: 125755
1032.12/1034.65 c #Conflicts: 1455000 | #Constraints: 126755
1032.12/1034.65 c #Conflicts: 1456000 | #Constraints: 127755
1032.12/1034.65 c #Conflicts: 1457000 | #Constraints: 128755
1032.12/1034.65 c #Conflicts: 1458000 | #Constraints: 129755
1032.12/1034.65 c #Conflicts: 1459000 | #Constraints: 130755
1032.12/1034.65 c #Conflicts: 1460000 | #Constraints: 131755
1032.12/1034.65 c #Conflicts: 1461000 | #Constraints: 132755
1032.12/1034.65 c #Conflicts: 1462000 | #Constraints: 133755
1032.12/1034.65 c #Conflicts: 1463000 | #Constraints: 134755
1032.12/1034.65 c #Conflicts: 1464000 | #Constraints: 135755
1032.12/1034.65 c #Conflicts: 1465000 | #Constraints: 136755
1032.12/1034.65 c #Conflicts: 1466000 | #Constraints: 137755
1032.12/1034.65 c #Conflicts: 1467000 | #Constraints: 138755
1032.12/1034.65 c #Conflicts: 1468000 | #Constraints: 139755
1032.12/1034.65 c #Conflicts: 1469000 | #Constraints: 140755
1032.12/1034.65 c #Conflicts: 1470000 | #Constraints: 141755
1032.12/1034.65 c #Conflicts: 1471000 | #Constraints: 142755
1032.12/1034.65 c #Conflicts: 1472000 | #Constraints: 143755
1032.12/1034.65 c #Conflicts: 1473000 | #Constraints: 144755
1032.12/1034.65 c #Conflicts: 1474000 | #Constraints: 145755
1032.12/1034.65 c #Conflicts: 1475000 | #Constraints: 146755
1032.12/1034.65 c #Conflicts: 1476000 | #Constraints: 147755
1032.12/1034.65 c #Conflicts: 1477000 | #Constraints: 148755
1032.12/1034.65 c #Conflicts: 1478000 | #Constraints: 149755
1032.12/1034.65 c #Conflicts: 1479000 | #Constraints: 150755
1032.12/1034.65 c #Conflicts: 1480000 | #Constraints: 151755
1032.12/1034.65 c INPROCESSING
1032.12/1034.65 c GARBAGE COLLECT
1032.12/1034.65 c #Conflicts: 1481000 | #Constraints: 85680
1032.12/1034.65 c #Conflicts: 1482000 | #Constraints: 86680
1032.12/1034.65 c #Conflicts: 1483000 | #Constraints: 87680
1032.12/1034.65 c #Conflicts: 1484000 | #Constraints: 88680
1032.12/1034.65 c #Conflicts: 1485000 | #Constraints: 89680
1032.12/1034.65 c #Conflicts: 1486000 | #Constraints: 90680
1032.12/1034.65 c #Conflicts: 1487000 | #Constraints: 91680
1032.12/1034.65 c #Conflicts: 1488000 | #Constraints: 92680
1032.12/1034.65 c #Conflicts: 1489000 | #Constraints: 93680
1032.12/1034.65 c #Conflicts: 1490000 | #Constraints: 94680
1032.12/1034.65 c #Conflicts: 1491000 | #Constraints: 95680
1032.12/1034.65 c #Conflicts: 1492000 | #Constraints: 96680
1032.12/1034.65 c #Conflicts: 1493000 | #Constraints: 97680
1032.12/1034.65 c #Conflicts: 1494000 | #Constraints: 98680
1032.12/1034.65 c #Conflicts: 1495000 | #Constraints: 99680
1032.12/1034.65 c #Conflicts: 1496000 | #Constraints: 100680
1032.12/1034.65 c #Conflicts: 1497000 | #Constraints: 101680
1032.12/1034.65 c #Conflicts: 1498000 | #Constraints: 102680
1032.12/1034.65 c #Conflicts: 1499000 | #Constraints: 103680
1032.12/1034.65 c #Conflicts: 1500000 | #Constraints: 104680
1032.12/1034.65 c #Conflicts: 1501000 | #Constraints: 105680
1032.12/1034.65 c #Conflicts: 1502000 | #Constraints: 106680
1032.12/1034.65 c #Conflicts: 1503000 | #Constraints: 107680
1032.12/1034.65 c #Conflicts: 1504000 | #Constraints: 108680
1032.12/1034.65 c #Conflicts: 1505000 | #Constraints: 109680
1032.12/1034.65 c #Conflicts: 1506000 | #Constraints: 110680
1032.12/1034.65 c #Conflicts: 1507000 | #Constraints: 111680
1032.12/1034.65 c #Conflicts: 1508000 | #Constraints: 112680
1032.12/1034.65 c #Conflicts: 1509000 | #Constraints: 113680
1139.46/1142.23 c INPROCESSING
1139.46/1142.23 c GARBAGE COLLECT
1139.46/1142.23 c #Conflicts: 1510000 | #Constraints: 66685
1139.46/1142.23 c #Conflicts: 1511000 | #Constraints: 67685
1139.46/1142.23 c #Conflicts: 1512000 | #Constraints: 68685
1139.46/1142.23 c #Conflicts: 1513000 | #Constraints: 69685
1139.46/1142.23 c #Conflicts: 1514000 | #Constraints: 70685
1139.46/1142.23 c #Conflicts: 1515000 | #Constraints: 71685
1139.46/1142.23 c #Conflicts: 1516000 | #Constraints: 72685
1139.46/1142.23 c #Conflicts: 1517000 | #Constraints: 73685
1139.46/1142.23 c #Conflicts: 1518000 | #Constraints: 74685
1139.46/1142.23 c #Conflicts: 1519000 | #Constraints: 75685
1139.46/1142.23 c #Conflicts: 1520000 | #Constraints: 76685
1139.46/1142.23 c #Conflicts: 1521000 | #Constraints: 77685
1139.46/1142.23 c #Conflicts: 1522000 | #Constraints: 78685
1139.46/1142.23 c #Conflicts: 1523000 | #Constraints: 79685
1139.46/1142.23 c #Conflicts: 1524000 | #Constraints: 80685
1139.46/1142.23 c #Conflicts: 1525000 | #Constraints: 81685
1139.46/1142.23 c #Conflicts: 1526000 | #Constraints: 82685
1139.46/1142.23 c #Conflicts: 1527000 | #Constraints: 83685
1139.46/1142.23 c #Conflicts: 1528000 | #Constraints: 84685
1139.46/1142.23 c #Conflicts: 1529000 | #Constraints: 85685
1139.46/1142.23 c #Conflicts: 1530000 | #Constraints: 86685
1139.46/1142.23 c #Conflicts: 1531000 | #Constraints: 87685
1139.46/1142.23 c #Conflicts: 1532000 | #Constraints: 88685
1139.46/1142.23 c #Conflicts: 1533000 | #Constraints: 89685
1139.46/1142.23 c #Conflicts: 1534000 | #Constraints: 90685
1139.46/1142.23 c #Conflicts: 1535000 | #Constraints: 91685
1139.46/1142.23 c #Conflicts: 1536000 | #Constraints: 92685
1139.46/1142.23 c #Conflicts: 1537000 | #Constraints: 93685
1139.46/1142.23 c #Conflicts: 1538000 | #Constraints: 94685
1139.46/1142.23 c #Conflicts: 1539000 | #Constraints: 95685
1139.46/1142.23 c #Conflicts: 1540000 | #Constraints: 96685
1139.46/1142.23 c #Conflicts: 1541000 | #Constraints: 97685
1139.46/1142.23 c #Conflicts: 1542000 | #Constraints: 98685
1139.46/1142.23 c #Conflicts: 1543000 | #Constraints: 99685
1139.46/1142.23 c #Conflicts: 1544000 | #Constraints: 100685
1139.46/1142.23 c #Conflicts: 1545000 | #Constraints: 101685
1139.46/1142.23 c #Conflicts: 1546000 | #Constraints: 102685
1139.46/1142.23 c #Conflicts: 1547000 | #Constraints: 103685
1139.46/1142.23 c #Conflicts: 1548000 | #Constraints: 104685
1139.46/1142.23 c #Conflicts: 1549000 | #Constraints: 105685
1139.46/1142.23 c #Conflicts: 1550000 | #Constraints: 106685
1139.46/1142.23 c #Conflicts: 1551000 | #Constraints: 107685
1139.46/1142.23 c #Conflicts: 1552000 | #Constraints: 108685
1139.46/1142.23 c #Conflicts: 1553000 | #Constraints: 109685
1139.46/1142.23 c #Conflicts: 1554000 | #Constraints: 110685
1139.46/1142.23 c #Conflicts: 1555000 | #Constraints: 111685
1139.46/1142.23 c #Conflicts: 1556000 | #Constraints: 112685
1139.46/1142.23 c #Conflicts: 1557000 | #Constraints: 113685
1139.46/1142.23 c #Conflicts: 1558000 | #Constraints: 114685
1139.46/1142.23 c #Conflicts: 1559000 | #Constraints: 115685
1139.46/1142.23 c #Conflicts: 1560000 | #Constraints: 116685
1139.46/1142.23 c #Conflicts: 1561000 | #Constraints: 117685
1139.46/1142.23 c #Conflicts: 1562000 | #Constraints: 118685
1139.46/1142.23 c #Conflicts: 1563000 | #Constraints: 119685
1139.46/1142.23 c #Conflicts: 1564000 | #Constraints: 120685
1139.46/1142.23 c #Conflicts: 1565000 | #Constraints: 121685
1139.46/1142.23 c #Conflicts: 1566000 | #Constraints: 122685
1139.46/1142.23 c #Conflicts: 1567000 | #Constraints: 123685
1139.46/1142.23 c #Conflicts: 1568000 | #Constraints: 124685
1139.46/1142.23 c #Conflicts: 1569000 | #Constraints: 125685
1139.46/1142.23 c #Conflicts: 1570000 | #Constraints: 126685
1139.46/1142.23 c #Conflicts: 1571000 | #Constraints: 127685
1139.46/1142.23 c #Conflicts: 1572000 | #Constraints: 128685
1139.46/1142.23 c #Conflicts: 1573000 | #Constraints: 129685
1139.46/1142.23 c #Conflicts: 1574000 | #Constraints: 130685
1139.46/1142.23 c #Conflicts: 1575000 | #Constraints: 131685
1139.46/1142.23 c #Conflicts: 1576000 | #Constraints: 132685
1139.46/1142.23 c #Conflicts: 1577000 | #Constraints: 133685
1139.46/1142.23 c #Conflicts: 1578000 | #Constraints: 134685
1139.46/1142.23 c #Conflicts: 1579000 | #Constraints: 135685
1139.46/1142.23 c #Conflicts: 1580000 | #Constraints: 136685
1139.46/1142.23 c #Conflicts: 1581000 | #Constraints: 137685
1139.46/1142.23 c #Conflicts: 1582000 | #Constraints: 138685
1139.46/1142.23 c #Conflicts: 1583000 | #Constraints: 139685
1139.46/1142.23 c #Conflicts: 1584000 | #Constraints: 140685
1139.46/1142.23 c #Conflicts: 1585000 | #Constraints: 141685
1139.46/1142.23 c #Conflicts: 1586000 | #Constraints: 142685
1139.46/1142.23 c #Conflicts: 1587000 | #Constraints: 143685
1251.15/1254.30 c #Conflicts: 1588000 | #Constraints: 144685
1251.15/1254.30 c #Conflicts: 1589000 | #Constraints: 145685
1251.15/1254.30 c #Conflicts: 1590000 | #Constraints: 146685
1251.15/1254.30 c #Conflicts: 1591000 | #Constraints: 147685
1251.15/1254.30 c #Conflicts: 1592000 | #Constraints: 148685
1251.15/1254.30 c #Conflicts: 1593000 | #Constraints: 149685
1251.15/1254.30 c #Conflicts: 1594000 | #Constraints: 150685
1251.15/1254.30 c #Conflicts: 1595000 | #Constraints: 151685
1251.15/1254.30 c #Conflicts: 1596000 | #Constraints: 152685
1251.15/1254.30 c #Conflicts: 1597000 | #Constraints: 153685
1251.15/1254.30 c #Conflicts: 1598000 | #Constraints: 154685
1251.15/1254.30 c #Conflicts: 1599000 | #Constraints: 155685
1251.15/1254.30 c #Conflicts: 1600000 | #Constraints: 156685
1251.15/1254.30 c INPROCESSING
1251.15/1254.30 c GARBAGE COLLECT
1251.15/1254.30 c #Conflicts: 1601000 | #Constraints: 88076
1251.15/1254.30 c #Conflicts: 1602000 | #Constraints: 89076
1251.15/1254.30 c #Conflicts: 1603000 | #Constraints: 90076
1251.15/1254.30 c #Conflicts: 1604000 | #Constraints: 91076
1251.15/1254.30 c #Conflicts: 1605000 | #Constraints: 92076
1251.15/1254.30 c #Conflicts: 1606000 | #Constraints: 93076
1251.15/1254.30 c #Conflicts: 1607000 | #Constraints: 94076
1251.15/1254.30 c #Conflicts: 1608000 | #Constraints: 95076
1251.15/1254.30 c #Conflicts: 1609000 | #Constraints: 96076
1251.15/1254.30 c #Conflicts: 1610000 | #Constraints: 97076
1251.15/1254.30 c #Conflicts: 1611000 | #Constraints: 98076
1251.15/1254.30 c #Conflicts: 1612000 | #Constraints: 99076
1251.15/1254.30 c #Conflicts: 1613000 | #Constraints: 100076
1251.15/1254.30 c #Conflicts: 1614000 | #Constraints: 101076
1251.15/1254.30 c #Conflicts: 1615000 | #Constraints: 102076
1251.15/1254.30 c #Conflicts: 1616000 | #Constraints: 103076
1251.15/1254.30 c #Conflicts: 1617000 | #Constraints: 104076
1251.15/1254.30 c #Conflicts: 1618000 | #Constraints: 105076
1251.15/1254.30 c #Conflicts: 1619000 | #Constraints: 106076
1251.15/1254.30 c #Conflicts: 1620000 | #Constraints: 107076
1251.15/1254.30 c #Conflicts: 1621000 | #Constraints: 108076
1251.15/1254.30 c #Conflicts: 1622000 | #Constraints: 109076
1251.15/1254.30 c #Conflicts: 1623000 | #Constraints: 110076
1251.15/1254.30 c #Conflicts: 1624000 | #Constraints: 111076
1251.15/1254.30 c #Conflicts: 1625000 | #Constraints: 112076
1251.15/1254.30 c #Conflicts: 1626000 | #Constraints: 113076
1251.15/1254.30 c #Conflicts: 1627000 | #Constraints: 114076
1251.15/1254.30 c #Conflicts: 1628000 | #Constraints: 115076
1251.15/1254.30 c #Conflicts: 1629000 | #Constraints: 116076
1251.15/1254.30 c #Conflicts: 1630000 | #Constraints: 117076
1251.15/1254.30 c #Conflicts: 1631000 | #Constraints: 118076
1251.15/1254.30 c INPROCESSING
1251.15/1254.30 c GARBAGE COLLECT
1251.15/1254.30 c #Conflicts: 1632000 | #Constraints: 69180
1251.15/1254.30 c #Conflicts: 1633000 | #Constraints: 70180
1251.15/1254.30 c #Conflicts: 1634000 | #Constraints: 71180
1251.15/1254.30 c #Conflicts: 1635000 | #Constraints: 72180
1251.15/1254.30 c #Conflicts: 1636000 | #Constraints: 73180
1251.15/1254.30 c #Conflicts: 1637000 | #Constraints: 74180
1251.15/1254.30 c #Conflicts: 1638000 | #Constraints: 75180
1251.15/1254.30 c #Conflicts: 1639000 | #Constraints: 76180
1251.15/1254.30 c #Conflicts: 1640000 | #Constraints: 77180
1251.15/1254.30 c #Conflicts: 1641000 | #Constraints: 78180
1251.15/1254.30 c #Conflicts: 1642000 | #Constraints: 79180
1251.15/1254.30 c #Conflicts: 1643000 | #Constraints: 80180
1251.15/1254.30 c #Conflicts: 1644000 | #Constraints: 81180
1251.15/1254.30 c #Conflicts: 1645000 | #Constraints: 82180
1251.15/1254.30 c #Conflicts: 1646000 | #Constraints: 83180
1251.15/1254.30 c #Conflicts: 1647000 | #Constraints: 84180
1251.15/1254.30 c #Conflicts: 1648000 | #Constraints: 85180
1251.15/1254.30 c #Conflicts: 1649000 | #Constraints: 86180
1251.15/1254.30 c #Conflicts: 1650000 | #Constraints: 87180
1251.15/1254.30 c #Conflicts: 1651000 | #Constraints: 88180
1251.15/1254.30 c #Conflicts: 1652000 | #Constraints: 89180
1251.15/1254.30 c #Conflicts: 1653000 | #Constraints: 90180
1251.15/1254.30 c #Conflicts: 1654000 | #Constraints: 91180
1251.15/1254.30 c #Conflicts: 1655000 | #Constraints: 92180
1251.15/1254.30 c #Conflicts: 1656000 | #Constraints: 93180
1251.15/1254.30 c #Conflicts: 1657000 | #Constraints: 94180
1251.15/1254.30 c #Conflicts: 1658000 | #Constraints: 95180
1251.15/1254.30 c #Conflicts: 1659000 | #Constraints: 96180
1251.15/1254.30 c #Conflicts: 1660000 | #Constraints: 97180
1251.15/1254.30 c #Conflicts: 1661000 | #Constraints: 98180
1251.15/1254.30 c #Conflicts: 1662000 | #Constraints: 99180
1251.15/1254.30 c #Conflicts: 1663000 | #Constraints: 100180
1251.15/1254.30 c #Conflicts: 1664000 | #Constraints: 101180
1251.15/1254.30 c #Conflicts: 1665000 | #Constraints: 102180
1401.92/1405.46 c #Conflicts: 1666000 | #Constraints: 103180
1401.92/1405.46 c #Conflicts: 1667000 | #Constraints: 104180
1401.92/1405.46 c #Conflicts: 1668000 | #Constraints: 105180
1401.92/1405.46 c #Conflicts: 1669000 | #Constraints: 106180
1401.92/1405.46 c #Conflicts: 1670000 | #Constraints: 107180
1401.92/1405.46 c #Conflicts: 1671000 | #Constraints: 108180
1401.92/1405.46 c #Conflicts: 1672000 | #Constraints: 109180
1401.92/1405.46 c #Conflicts: 1673000 | #Constraints: 110180
1401.92/1405.46 c #Conflicts: 1674000 | #Constraints: 111180
1401.92/1405.46 c #Conflicts: 1675000 | #Constraints: 112180
1401.92/1405.46 c #Conflicts: 1676000 | #Constraints: 113180
1401.92/1405.46 c #Conflicts: 1677000 | #Constraints: 114180
1401.92/1405.46 c #Conflicts: 1678000 | #Constraints: 115180
1401.92/1405.46 c #Conflicts: 1679000 | #Constraints: 116180
1401.92/1405.46 c #Conflicts: 1680000 | #Constraints: 117180
1401.92/1405.46 c #Conflicts: 1681000 | #Constraints: 118180
1401.92/1405.46 c #Conflicts: 1682000 | #Constraints: 119180
1401.92/1405.46 c #Conflicts: 1683000 | #Constraints: 120180
1401.92/1405.46 c #Conflicts: 1684000 | #Constraints: 121180
1401.92/1405.46 c #Conflicts: 1685000 | #Constraints: 122180
1401.92/1405.46 c #Conflicts: 1686000 | #Constraints: 123180
1401.92/1405.46 c #Conflicts: 1687000 | #Constraints: 124180
1401.92/1405.46 c #Conflicts: 1688000 | #Constraints: 125180
1401.92/1405.46 c #Conflicts: 1689000 | #Constraints: 126180
1401.92/1405.46 c #Conflicts: 1690000 | #Constraints: 127180
1401.92/1405.46 c #Conflicts: 1691000 | #Constraints: 128180
1401.92/1405.46 c #Conflicts: 1692000 | #Constraints: 129180
1401.92/1405.46 c #Conflicts: 1693000 | #Constraints: 130180
1401.92/1405.46 c #Conflicts: 1694000 | #Constraints: 131180
1401.92/1405.46 c #Conflicts: 1695000 | #Constraints: 132180
1401.92/1405.46 c #Conflicts: 1696000 | #Constraints: 133180
1401.92/1405.46 c #Conflicts: 1697000 | #Constraints: 134180
1401.92/1405.46 c #Conflicts: 1698000 | #Constraints: 135180
1401.92/1405.46 c #Conflicts: 1699000 | #Constraints: 136180
1401.92/1405.46 c #Conflicts: 1700000 | #Constraints: 137180
1401.92/1405.46 c #Conflicts: 1701000 | #Constraints: 138180
1401.92/1405.46 c #Conflicts: 1702000 | #Constraints: 139180
1401.92/1405.46 c #Conflicts: 1703000 | #Constraints: 140180
1401.92/1405.46 c #Conflicts: 1704000 | #Constraints: 141180
1401.92/1405.46 c #Conflicts: 1705000 | #Constraints: 142180
1401.92/1405.46 c #Conflicts: 1706000 | #Constraints: 143180
1401.92/1405.46 c #Conflicts: 1707000 | #Constraints: 144180
1401.92/1405.46 c #Conflicts: 1708000 | #Constraints: 145180
1401.92/1405.46 c #Conflicts: 1709000 | #Constraints: 146180
1401.92/1405.46 c #Conflicts: 1710000 | #Constraints: 147180
1401.92/1405.46 c #Conflicts: 1711000 | #Constraints: 148180
1401.92/1405.46 c #Conflicts: 1712000 | #Constraints: 149180
1401.92/1405.46 c #Conflicts: 1713000 | #Constraints: 150180
1401.92/1405.46 c #Conflicts: 1714000 | #Constraints: 151180
1401.92/1405.46 c #Conflicts: 1715000 | #Constraints: 152180
1401.92/1405.46 c #Conflicts: 1716000 | #Constraints: 153180
1401.92/1405.46 c #Conflicts: 1717000 | #Constraints: 154180
1401.92/1405.46 c #Conflicts: 1718000 | #Constraints: 155180
1401.92/1405.46 c #Conflicts: 1719000 | #Constraints: 156180
1401.92/1405.46 c #Conflicts: 1720000 | #Constraints: 157180
1401.92/1405.46 c #Conflicts: 1721000 | #Constraints: 158180
1401.92/1405.46 c #Conflicts: 1722000 | #Constraints: 159180
1401.92/1405.46 c #Conflicts: 1723000 | #Constraints: 160180
1401.92/1405.46 c #Conflicts: 1724000 | #Constraints: 161180
1401.92/1405.46 c #Conflicts: 1725000 | #Constraints: 162180
1401.92/1405.46 c INPROCESSING
1401.92/1405.46 c GARBAGE COLLECT
1401.92/1405.46 c #Conflicts: 1726000 | #Constraints: 91085
1401.92/1405.46 c #Conflicts: 1727000 | #Constraints: 92085
1401.92/1405.46 c #Conflicts: 1728000 | #Constraints: 93085
1401.92/1405.46 c #Conflicts: 1729000 | #Constraints: 94085
1401.92/1405.46 c #Conflicts: 1730000 | #Constraints: 95085
1401.92/1405.46 c #Conflicts: 1731000 | #Constraints: 96085
1401.92/1405.46 c #Conflicts: 1732000 | #Constraints: 97085
1401.92/1405.46 c #Conflicts: 1733000 | #Constraints: 98085
1401.92/1405.46 c #Conflicts: 1734000 | #Constraints: 99085
1401.92/1405.46 c #Conflicts: 1735000 | #Constraints: 100085
1401.92/1405.46 c #Conflicts: 1736000 | #Constraints: 101085
1401.92/1405.46 c #Conflicts: 1737000 | #Constraints: 102085
1401.92/1405.46 c #Conflicts: 1738000 | #Constraints: 103085
1401.92/1405.46 c #Conflicts: 1739000 | #Constraints: 104085
1401.92/1405.46 c #Conflicts: 1740000 | #Constraints: 105085
1401.92/1405.46 c #Conflicts: 1741000 | #Constraints: 106085
1401.92/1405.46 c #Conflicts: 1742000 | #Constraints: 107085
1401.92/1405.46 c #Conflicts: 1743000 | #Constraints: 108085
1523.88/1527.71 c #Conflicts: 1744000 | #Constraints: 109085
1523.88/1527.71 c #Conflicts: 1745000 | #Constraints: 110085
1523.88/1527.71 c #Conflicts: 1746000 | #Constraints: 111085
1523.88/1527.71 c #Conflicts: 1747000 | #Constraints: 112085
1523.88/1527.71 c #Conflicts: 1748000 | #Constraints: 113085
1523.88/1527.71 c #Conflicts: 1749000 | #Constraints: 114085
1523.88/1527.71 c #Conflicts: 1750000 | #Constraints: 115085
1523.88/1527.71 c #Conflicts: 1751000 | #Constraints: 116085
1523.88/1527.71 c #Conflicts: 1752000 | #Constraints: 117085
1523.88/1527.71 c #Conflicts: 1753000 | #Constraints: 118085
1523.88/1527.71 c #Conflicts: 1754000 | #Constraints: 119085
1523.88/1527.71 c #Conflicts: 1755000 | #Constraints: 120085
1523.88/1527.71 c #Conflicts: 1756000 | #Constraints: 121085
1523.88/1527.71 c INPROCESSING
1523.88/1527.71 c GARBAGE COLLECT
1523.88/1527.71 c #Conflicts: 1757000 | #Constraints: 70260
1523.88/1527.71 c #Conflicts: 1758000 | #Constraints: 71260
1523.88/1527.71 c #Conflicts: 1759000 | #Constraints: 72260
1523.88/1527.71 c #Conflicts: 1760000 | #Constraints: 73260
1523.88/1527.71 c #Conflicts: 1761000 | #Constraints: 74260
1523.88/1527.71 c #Conflicts: 1762000 | #Constraints: 75260
1523.88/1527.71 c #Conflicts: 1763000 | #Constraints: 76260
1523.88/1527.71 c #Conflicts: 1764000 | #Constraints: 77260
1523.88/1527.71 c #Conflicts: 1765000 | #Constraints: 78260
1523.88/1527.71 c #Conflicts: 1766000 | #Constraints: 79260
1523.88/1527.71 c #Conflicts: 1767000 | #Constraints: 80260
1523.88/1527.71 c #Conflicts: 1768000 | #Constraints: 81260
1523.88/1527.71 c #Conflicts: 1769000 | #Constraints: 82260
1523.88/1527.71 c #Conflicts: 1770000 | #Constraints: 83260
1523.88/1527.71 c #Conflicts: 1771000 | #Constraints: 84260
1523.88/1527.71 c #Conflicts: 1772000 | #Constraints: 85260
1523.88/1527.71 c #Conflicts: 1773000 | #Constraints: 86260
1523.88/1527.71 c #Conflicts: 1774000 | #Constraints: 87260
1523.88/1527.71 c #Conflicts: 1775000 | #Constraints: 88260
1523.88/1527.71 c #Conflicts: 1776000 | #Constraints: 89260
1523.88/1527.71 c #Conflicts: 1777000 | #Constraints: 90260
1523.88/1527.71 c #Conflicts: 1778000 | #Constraints: 91260
1523.88/1527.71 c #Conflicts: 1779000 | #Constraints: 92260
1523.88/1527.71 c #Conflicts: 1780000 | #Constraints: 93260
1523.88/1527.71 c #Conflicts: 1781000 | #Constraints: 94260
1523.88/1527.71 c #Conflicts: 1782000 | #Constraints: 95260
1523.88/1527.71 c #Conflicts: 1783000 | #Constraints: 96260
1523.88/1527.71 c #Conflicts: 1784000 | #Constraints: 97260
1523.88/1527.71 c #Conflicts: 1785000 | #Constraints: 98260
1523.88/1527.71 c #Conflicts: 1786000 | #Constraints: 99260
1523.88/1527.71 c #Conflicts: 1787000 | #Constraints: 100260
1523.88/1527.71 c #Conflicts: 1788000 | #Constraints: 101260
1523.88/1527.71 c #Conflicts: 1789000 | #Constraints: 102260
1523.88/1527.71 c #Conflicts: 1790000 | #Constraints: 103260
1523.88/1527.71 c #Conflicts: 1791000 | #Constraints: 104260
1523.88/1527.71 c #Conflicts: 1792000 | #Constraints: 105260
1523.88/1527.71 c #Conflicts: 1793000 | #Constraints: 106260
1523.88/1527.71 c #Conflicts: 1794000 | #Constraints: 107260
1523.88/1527.71 c #Conflicts: 1795000 | #Constraints: 108260
1523.88/1527.71 c #Conflicts: 1796000 | #Constraints: 109260
1523.88/1527.71 c #Conflicts: 1797000 | #Constraints: 110260
1523.88/1527.71 c #Conflicts: 1798000 | #Constraints: 111260
1523.88/1527.71 c #Conflicts: 1799000 | #Constraints: 112260
1523.88/1527.71 c #Conflicts: 1800000 | #Constraints: 113260
1523.88/1527.71 c #Conflicts: 1801000 | #Constraints: 114260
1523.88/1527.71 c #Conflicts: 1802000 | #Constraints: 115260
1523.88/1527.71 c #Conflicts: 1803000 | #Constraints: 116260
1523.88/1527.71 c #Conflicts: 1804000 | #Constraints: 117260
1523.88/1527.71 c #Conflicts: 1805000 | #Constraints: 118260
1523.88/1527.71 c #Conflicts: 1806000 | #Constraints: 119260
1523.88/1527.71 c #Conflicts: 1807000 | #Constraints: 120260
1523.88/1527.71 c #Conflicts: 1808000 | #Constraints: 121260
1523.88/1527.71 c #Conflicts: 1809000 | #Constraints: 122260
1523.88/1527.71 c #Conflicts: 1810000 | #Constraints: 123260
1523.88/1527.71 c #Conflicts: 1811000 | #Constraints: 124260
1523.88/1527.71 c #Conflicts: 1812000 | #Constraints: 125260
1523.88/1527.71 c #Conflicts: 1813000 | #Constraints: 126260
1523.88/1527.71 c #Conflicts: 1814000 | #Constraints: 127260
1523.88/1527.71 c #Conflicts: 1815000 | #Constraints: 128260
1523.88/1527.71 c #Conflicts: 1816000 | #Constraints: 129260
1523.88/1527.71 c #Conflicts: 1817000 | #Constraints: 130260
1523.88/1527.71 c #Conflicts: 1818000 | #Constraints: 131260
1523.88/1527.71 c #Conflicts: 1819000 | #Constraints: 132260
1523.88/1527.71 c #Conflicts: 1820000 | #Constraints: 133260
1523.88/1527.71 c #Conflicts: 1821000 | #Constraints: 134260
1685.13/1689.42 c #Conflicts: 1822000 | #Constraints: 135260
1685.13/1689.42 c #Conflicts: 1823000 | #Constraints: 136260
1685.13/1689.42 c #Conflicts: 1824000 | #Constraints: 137260
1685.13/1689.42 c #Conflicts: 1825000 | #Constraints: 138260
1685.13/1689.42 c #Conflicts: 1826000 | #Constraints: 139260
1685.13/1689.42 c #Conflicts: 1827000 | #Constraints: 140260
1685.13/1689.42 c #Conflicts: 1828000 | #Constraints: 141260
1685.13/1689.42 c #Conflicts: 1829000 | #Constraints: 142260
1685.13/1689.42 c #Conflicts: 1830000 | #Constraints: 143260
1685.13/1689.42 c #Conflicts: 1831000 | #Constraints: 144260
1685.13/1689.42 c #Conflicts: 1832000 | #Constraints: 145260
1685.13/1689.42 c #Conflicts: 1833000 | #Constraints: 146260
1685.13/1689.42 c #Conflicts: 1834000 | #Constraints: 147260
1685.13/1689.42 c #Conflicts: 1835000 | #Constraints: 148260
1685.13/1689.42 c #Conflicts: 1836000 | #Constraints: 149260
1685.13/1689.42 c #Conflicts: 1837000 | #Constraints: 150260
1685.13/1689.42 c #Conflicts: 1838000 | #Constraints: 151260
1685.13/1689.42 c #Conflicts: 1839000 | #Constraints: 152260
1685.13/1689.42 c #Conflicts: 1840000 | #Constraints: 153260
1685.13/1689.42 c #Conflicts: 1841000 | #Constraints: 154260
1685.13/1689.42 c #Conflicts: 1842000 | #Constraints: 155260
1685.13/1689.42 c #Conflicts: 1843000 | #Constraints: 156260
1685.13/1689.42 c #Conflicts: 1844000 | #Constraints: 157260
1685.13/1689.42 c #Conflicts: 1845000 | #Constraints: 158260
1685.13/1689.42 c #Conflicts: 1846000 | #Constraints: 159260
1685.13/1689.42 c #Conflicts: 1847000 | #Constraints: 160260
1685.13/1689.42 c #Conflicts: 1848000 | #Constraints: 161260
1685.13/1689.42 c #Conflicts: 1849000 | #Constraints: 162260
1685.13/1689.42 c #Conflicts: 1850000 | #Constraints: 163260
1685.13/1689.42 c #Conflicts: 1851000 | #Constraints: 164260
1685.13/1689.42 c #Conflicts: 1852000 | #Constraints: 165260
1685.13/1689.42 c #Conflicts: 1853000 | #Constraints: 166260
1685.13/1689.42 c #Conflicts: 1854000 | #Constraints: 167260
1685.13/1689.42 c INPROCESSING
1685.13/1689.42 c GARBAGE COLLECT
1685.13/1689.42 c #Conflicts: 1855000 | #Constraints: 93677
1685.13/1689.42 c #Conflicts: 1856000 | #Constraints: 94677
1685.13/1689.42 c #Conflicts: 1857000 | #Constraints: 95677
1685.13/1689.42 c #Conflicts: 1858000 | #Constraints: 96677
1685.13/1689.42 c #Conflicts: 1859000 | #Constraints: 97677
1685.13/1689.42 c #Conflicts: 1860000 | #Constraints: 98677
1685.13/1689.42 c #Conflicts: 1861000 | #Constraints: 99677
1685.13/1689.42 c #Conflicts: 1862000 | #Constraints: 100677
1685.13/1689.42 c #Conflicts: 1863000 | #Constraints: 101677
1685.13/1689.42 c #Conflicts: 1864000 | #Constraints: 102677
1685.13/1689.42 c #Conflicts: 1865000 | #Constraints: 103677
1685.13/1689.42 c #Conflicts: 1866000 | #Constraints: 104677
1685.13/1689.42 c #Conflicts: 1867000 | #Constraints: 105677
1685.13/1689.42 c #Conflicts: 1868000 | #Constraints: 106677
1685.13/1689.42 c #Conflicts: 1869000 | #Constraints: 107677
1685.13/1689.42 c #Conflicts: 1870000 | #Constraints: 108677
1685.13/1689.42 c #Conflicts: 1871000 | #Constraints: 109677
1685.13/1689.42 c #Conflicts: 1872000 | #Constraints: 110677
1685.13/1689.42 c #Conflicts: 1873000 | #Constraints: 111677
1685.13/1689.42 c #Conflicts: 1874000 | #Constraints: 112677
1685.13/1689.42 c #Conflicts: 1875000 | #Constraints: 113677
1685.13/1689.42 c #Conflicts: 1876000 | #Constraints: 114677
1685.13/1689.42 c #Conflicts: 1877000 | #Constraints: 115677
1685.13/1689.42 c #Conflicts: 1878000 | #Constraints: 116677
1685.13/1689.42 c #Conflicts: 1879000 | #Constraints: 117677
1685.13/1689.42 c #Conflicts: 1880000 | #Constraints: 118677
1685.13/1689.42 c #Conflicts: 1881000 | #Constraints: 119677
1685.13/1689.42 c #Conflicts: 1882000 | #Constraints: 120677
1685.13/1689.42 c #Conflicts: 1883000 | #Constraints: 121677
1685.13/1689.42 c #Conflicts: 1884000 | #Constraints: 122677
1685.13/1689.42 c #Conflicts: 1885000 | #Constraints: 123677
1685.13/1689.42 c #Conflicts: 1886000 | #Constraints: 124677
1685.13/1689.42 c #Conflicts: 1887000 | #Constraints: 125677
1685.13/1689.42 c INPROCESSING
1685.13/1689.42 c GARBAGE COLLECT
1685.13/1689.42 c #Conflicts: 1888000 | #Constraints: 73001
1685.13/1689.42 c #Conflicts: 1889000 | #Constraints: 74001
1685.13/1689.42 c #Conflicts: 1890000 | #Constraints: 75001
1685.13/1689.42 c #Conflicts: 1891000 | #Constraints: 76001
1685.13/1689.42 c #Conflicts: 1892000 | #Constraints: 77001
1685.13/1689.42 c #Conflicts: 1893000 | #Constraints: 78001
1685.13/1689.42 c #Conflicts: 1894000 | #Constraints: 79001
1685.13/1689.42 c #Conflicts: 1895000 | #Constraints: 80001
1685.13/1689.42 c #Conflicts: 1896000 | #Constraints: 81001
1685.13/1689.42 c #Conflicts: 1897000 | #Constraints: 82001
1685.13/1689.42 c #Conflicts: 1898000 | #Constraints: 83001
1685.13/1689.42 c #Conflicts: 1899000 | #Constraints: 84001
1840.40/1845.14 c #Conflicts: 1900000 | #Constraints: 85001
1840.40/1845.14 c #Conflicts: 1901000 | #Constraints: 86001
1840.40/1845.14 c #Conflicts: 1902000 | #Constraints: 87001
1840.40/1845.14 c #Conflicts: 1903000 | #Constraints: 88001
1840.40/1845.14 c #Conflicts: 1904000 | #Constraints: 89001
1840.40/1845.14 c #Conflicts: 1905000 | #Constraints: 90001
1840.40/1845.14 c #Conflicts: 1906000 | #Constraints: 91001
1840.40/1845.14 c #Conflicts: 1907000 | #Constraints: 92001
1840.40/1845.14 c #Conflicts: 1908000 | #Constraints: 93001
1840.40/1845.14 c #Conflicts: 1909000 | #Constraints: 94001
1840.40/1845.14 c #Conflicts: 1910000 | #Constraints: 95001
1840.40/1845.14 c #Conflicts: 1911000 | #Constraints: 96001
1840.40/1845.14 c #Conflicts: 1912000 | #Constraints: 97001
1840.40/1845.14 c #Conflicts: 1913000 | #Constraints: 98001
1840.40/1845.14 c #Conflicts: 1914000 | #Constraints: 99001
1840.40/1845.14 c #Conflicts: 1915000 | #Constraints: 100001
1840.40/1845.14 c #Conflicts: 1916000 | #Constraints: 101001
1840.40/1845.14 c #Conflicts: 1917000 | #Constraints: 102001
1840.40/1845.14 c #Conflicts: 1918000 | #Constraints: 103001
1840.40/1845.14 c #Conflicts: 1919000 | #Constraints: 104001
1840.40/1845.14 c #Conflicts: 1920000 | #Constraints: 105001
1840.40/1845.14 c #Conflicts: 1921000 | #Constraints: 106001
1840.40/1845.14 c #Conflicts: 1922000 | #Constraints: 107001
1840.40/1845.14 c #Conflicts: 1923000 | #Constraints: 108001
1840.40/1845.14 c #Conflicts: 1924000 | #Constraints: 109001
1840.40/1845.14 c #Conflicts: 1925000 | #Constraints: 110001
1840.40/1845.14 c #Conflicts: 1926000 | #Constraints: 111001
1840.40/1845.14 c #Conflicts: 1927000 | #Constraints: 112001
1840.40/1845.14 c #Conflicts: 1928000 | #Constraints: 113001
1840.40/1845.14 c #Conflicts: 1929000 | #Constraints: 114001
1840.40/1845.14 c #Conflicts: 1930000 | #Constraints: 115001
1840.40/1845.14 c #Conflicts: 1931000 | #Constraints: 116001
1840.40/1845.14 c #Conflicts: 1932000 | #Constraints: 117001
1840.40/1845.14 c #Conflicts: 1933000 | #Constraints: 118001
1840.40/1845.14 c #Conflicts: 1934000 | #Constraints: 119001
1840.40/1845.14 c #Conflicts: 1935000 | #Constraints: 120001
1840.40/1845.14 c #Conflicts: 1936000 | #Constraints: 121001
1840.40/1845.14 c #Conflicts: 1937000 | #Constraints: 122001
1840.40/1845.14 c #Conflicts: 1938000 | #Constraints: 123001
1840.40/1845.14 c #Conflicts: 1939000 | #Constraints: 124001
1840.40/1845.14 c #Conflicts: 1940000 | #Constraints: 125001
1840.40/1845.14 c #Conflicts: 1941000 | #Constraints: 126001
1840.40/1845.14 c #Conflicts: 1942000 | #Constraints: 127001
1840.40/1845.14 c #Conflicts: 1943000 | #Constraints: 128001
1840.40/1845.14 c #Conflicts: 1944000 | #Constraints: 129001
1840.40/1845.14 c #Conflicts: 1945000 | #Constraints: 130001
1840.40/1845.14 c #Conflicts: 1946000 | #Constraints: 131001
1840.40/1845.14 c #Conflicts: 1947000 | #Constraints: 132001
1840.40/1845.14 c #Conflicts: 1948000 | #Constraints: 133001
1840.40/1845.14 c #Conflicts: 1949000 | #Constraints: 134001
1840.40/1845.14 c #Conflicts: 1950000 | #Constraints: 135001
1840.40/1845.14 c #Conflicts: 1951000 | #Constraints: 136001
1840.40/1845.14 c #Conflicts: 1952000 | #Constraints: 137001
1840.40/1845.14 c #Conflicts: 1953000 | #Constraints: 138001
1840.40/1845.14 c #Conflicts: 1954000 | #Constraints: 139001
1840.40/1845.14 c #Conflicts: 1955000 | #Constraints: 140001
1840.40/1845.14 c #Conflicts: 1956000 | #Constraints: 141001
1840.40/1845.14 c #Conflicts: 1957000 | #Constraints: 142001
1840.40/1845.14 c #Conflicts: 1958000 | #Constraints: 143001
1840.40/1845.14 c #Conflicts: 1959000 | #Constraints: 144001
1840.40/1845.14 c #Conflicts: 1960000 | #Constraints: 145001
1840.40/1845.14 c #Conflicts: 1961000 | #Constraints: 146001
1840.40/1845.14 c #Conflicts: 1962000 | #Constraints: 147001
1840.40/1845.14 c #Conflicts: 1963000 | #Constraints: 148001
1840.40/1845.14 c #Conflicts: 1964000 | #Constraints: 149001
1840.40/1845.14 c #Conflicts: 1965000 | #Constraints: 150001
1840.40/1845.14 c #Conflicts: 1966000 | #Constraints: 151001
1840.40/1845.14 c #Conflicts: 1967000 | #Constraints: 152001
1840.40/1845.14 c #Conflicts: 1968000 | #Constraints: 153001
1840.40/1845.14 c #Conflicts: 1969000 | #Constraints: 154001
1840.40/1845.14 c #Conflicts: 1970000 | #Constraints: 155001
1840.40/1845.14 c #Conflicts: 1971000 | #Constraints: 156001
1840.40/1845.14 c #Conflicts: 1972000 | #Constraints: 157001
1840.40/1845.14 c #Conflicts: 1973000 | #Constraints: 158001
1840.40/1845.14 c #Conflicts: 1974000 | #Constraints: 159001
1840.40/1845.14 c #Conflicts: 1975000 | #Constraints: 160001
1840.40/1845.14 c #Conflicts: 1976000 | #Constraints: 161001
1840.40/1845.14 c #Conflicts: 1977000 | #Constraints: 162001
1988.92/1994.08 c #Conflicts: 1978000 | #Constraints: 163001
1988.92/1994.08 c #Conflicts: 1979000 | #Constraints: 164001
1988.92/1994.08 c #Conflicts: 1980000 | #Constraints: 165001
1988.92/1994.08 c #Conflicts: 1981000 | #Constraints: 166001
1988.92/1994.08 c #Conflicts: 1982000 | #Constraints: 167001
1988.92/1994.08 c #Conflicts: 1983000 | #Constraints: 168001
1988.92/1994.08 c #Conflicts: 1984000 | #Constraints: 169001
1988.92/1994.08 c #Conflicts: 1985000 | #Constraints: 170001
1988.92/1994.08 c #Conflicts: 1986000 | #Constraints: 171001
1988.92/1994.08 c #Conflicts: 1987000 | #Constraints: 172001
1988.92/1994.08 c INPROCESSING
1988.92/1994.08 c GARBAGE COLLECT
1988.92/1994.08 c #Conflicts: 1988000 | #Constraints: 95926
1988.92/1994.08 c #Conflicts: 1989000 | #Constraints: 96926
1988.92/1994.08 c #Conflicts: 1990000 | #Constraints: 97926
1988.92/1994.08 c #Conflicts: 1991000 | #Constraints: 98926
1988.92/1994.08 c #Conflicts: 1992000 | #Constraints: 99926
1988.92/1994.08 c #Conflicts: 1993000 | #Constraints: 100926
1988.92/1994.08 c #Conflicts: 1994000 | #Constraints: 101926
1988.92/1994.08 c #Conflicts: 1995000 | #Constraints: 102926
1988.92/1994.08 c #Conflicts: 1996000 | #Constraints: 103926
1988.92/1994.08 c #Conflicts: 1997000 | #Constraints: 104926
1988.92/1994.08 c #Conflicts: 1998000 | #Constraints: 105926
1988.92/1994.08 c #Conflicts: 1999000 | #Constraints: 106926
1988.92/1994.08 c #Conflicts: 2000000 | #Constraints: 107926
1988.92/1994.08 c #Conflicts: 2001000 | #Constraints: 108926
1988.92/1994.08 c #Conflicts: 2002000 | #Constraints: 109926
1988.92/1994.08 c #Conflicts: 2003000 | #Constraints: 110926
1988.92/1994.08 c #Conflicts: 2004000 | #Constraints: 111926
1988.92/1994.08 c #Conflicts: 2005000 | #Constraints: 112926
1988.92/1994.08 c #Conflicts: 2006000 | #Constraints: 113926
1988.92/1994.08 c #Conflicts: 2007000 | #Constraints: 114926
1988.92/1994.08 c #Conflicts: 2008000 | #Constraints: 115926
1988.92/1994.08 c #Conflicts: 2009000 | #Constraints: 116926
1988.92/1994.08 c #Conflicts: 2010000 | #Constraints: 117926
1988.92/1994.08 c #Conflicts: 2011000 | #Constraints: 118926
1988.92/1994.08 c #Conflicts: 2012000 | #Constraints: 119926
1988.92/1994.08 c #Conflicts: 2013000 | #Constraints: 120926
1988.92/1994.08 c #Conflicts: 2014000 | #Constraints: 121926
1988.92/1994.08 c #Conflicts: 2015000 | #Constraints: 122926
1988.92/1994.08 c #Conflicts: 2016000 | #Constraints: 123926
1988.92/1994.08 c #Conflicts: 2017000 | #Constraints: 124926
1988.92/1994.08 c #Conflicts: 2018000 | #Constraints: 125926
1988.92/1994.08 c #Conflicts: 2019000 | #Constraints: 126926
1988.92/1994.08 c #Conflicts: 2020000 | #Constraints: 127926
1988.92/1994.08 c #Conflicts: 2021000 | #Constraints: 128926
1988.92/1994.08 c INPROCESSING
1988.92/1994.08 c GARBAGE COLLECT
1988.92/1994.08 c #Conflicts: 2022000 | #Constraints: 74336
1988.92/1994.08 c #Conflicts: 2023000 | #Constraints: 75336
1988.92/1994.08 c #Conflicts: 2024000 | #Constraints: 76336
1988.92/1994.08 c #Conflicts: 2025000 | #Constraints: 77336
1988.92/1994.08 c #Conflicts: 2026000 | #Constraints: 78336
1988.92/1994.08 c #Conflicts: 2027000 | #Constraints: 79336
1988.92/1994.08 c #Conflicts: 2028000 | #Constraints: 80336
1988.92/1994.08 c #Conflicts: 2029000 | #Constraints: 81336
1988.92/1994.08 c #Conflicts: 2030000 | #Constraints: 82336
1988.92/1994.08 c #Conflicts: 2031000 | #Constraints: 83336
1988.92/1994.08 c #Conflicts: 2032000 | #Constraints: 84336
1988.92/1994.08 c #Conflicts: 2033000 | #Constraints: 85336
1988.92/1994.08 c #Conflicts: 2034000 | #Constraints: 86336
1988.92/1994.08 c #Conflicts: 2035000 | #Constraints: 87336
1988.92/1994.08 c #Conflicts: 2036000 | #Constraints: 88336
1988.92/1994.08 c #Conflicts: 2037000 | #Constraints: 89336
1988.92/1994.08 c #Conflicts: 2038000 | #Constraints: 90336
1988.92/1994.08 c #Conflicts: 2039000 | #Constraints: 91336
1988.92/1994.08 c #Conflicts: 2040000 | #Constraints: 92336
1988.92/1994.08 c #Conflicts: 2041000 | #Constraints: 93336
1988.92/1994.08 c #Conflicts: 2042000 | #Constraints: 94336
1988.92/1994.08 c #Conflicts: 2043000 | #Constraints: 95336
1988.92/1994.08 c #Conflicts: 2044000 | #Constraints: 96336
1988.92/1994.08 c #Conflicts: 2045000 | #Constraints: 97336
1988.92/1994.08 c #Conflicts: 2046000 | #Constraints: 98336
1988.92/1994.08 c #Conflicts: 2047000 | #Constraints: 99336
1988.92/1994.08 c #Conflicts: 2048000 | #Constraints: 100336
1988.92/1994.08 c #Conflicts: 2049000 | #Constraints: 101336
1988.92/1994.08 c #Conflicts: 2050000 | #Constraints: 102336
1988.92/1994.08 c #Conflicts: 2051000 | #Constraints: 103336
1988.92/1994.08 c #Conflicts: 2052000 | #Constraints: 104336
1988.92/1994.08 c #Conflicts: 2053000 | #Constraints: 105336
1988.92/1994.08 c #Conflicts: 2054000 | #Constraints: 106336
1988.92/1994.08 c #Conflicts: 2055000 | #Constraints: 107336
2182.95/2188.58 c #Conflicts: 2056000 | #Constraints: 108336
2182.95/2188.58 c #Conflicts: 2057000 | #Constraints: 109336
2182.95/2188.58 c #Conflicts: 2058000 | #Constraints: 110336
2182.95/2188.58 c #Conflicts: 2059000 | #Constraints: 111336
2182.95/2188.58 c #Conflicts: 2060000 | #Constraints: 112336
2182.95/2188.58 c #Conflicts: 2061000 | #Constraints: 113336
2182.95/2188.58 c #Conflicts: 2062000 | #Constraints: 114336
2182.95/2188.58 c #Conflicts: 2063000 | #Constraints: 115336
2182.95/2188.58 c #Conflicts: 2064000 | #Constraints: 116336
2182.95/2188.58 c #Conflicts: 2065000 | #Constraints: 117336
2182.95/2188.58 c #Conflicts: 2066000 | #Constraints: 118336
2182.95/2188.58 c #Conflicts: 2067000 | #Constraints: 119336
2182.95/2188.58 c #Conflicts: 2068000 | #Constraints: 120336
2182.95/2188.58 c #Conflicts: 2069000 | #Constraints: 121336
2182.95/2188.58 c #Conflicts: 2070000 | #Constraints: 122336
2182.95/2188.58 c #Conflicts: 2071000 | #Constraints: 123336
2182.95/2188.58 c #Conflicts: 2072000 | #Constraints: 124336
2182.95/2188.58 c #Conflicts: 2073000 | #Constraints: 125336
2182.95/2188.58 c #Conflicts: 2074000 | #Constraints: 126336
2182.95/2188.58 c #Conflicts: 2075000 | #Constraints: 127336
2182.95/2188.58 c #Conflicts: 2076000 | #Constraints: 128336
2182.95/2188.58 c #Conflicts: 2077000 | #Constraints: 129336
2182.95/2188.58 c #Conflicts: 2078000 | #Constraints: 130336
2182.95/2188.58 c #Conflicts: 2079000 | #Constraints: 131336
2182.95/2188.58 c #Conflicts: 2080000 | #Constraints: 132336
2182.95/2188.58 c #Conflicts: 2081000 | #Constraints: 133336
2182.95/2188.58 c #Conflicts: 2082000 | #Constraints: 134336
2182.95/2188.58 c #Conflicts: 2083000 | #Constraints: 135336
2182.95/2188.58 c #Conflicts: 2084000 | #Constraints: 136336
2182.95/2188.58 c #Conflicts: 2085000 | #Constraints: 137336
2182.95/2188.58 c #Conflicts: 2086000 | #Constraints: 138336
2182.95/2188.58 c #Conflicts: 2087000 | #Constraints: 139336
2182.95/2188.58 c #Conflicts: 2088000 | #Constraints: 140336
2182.95/2188.58 c #Conflicts: 2089000 | #Constraints: 141336
2182.95/2188.58 c #Conflicts: 2090000 | #Constraints: 142336
2182.95/2188.58 c #Conflicts: 2091000 | #Constraints: 143336
2182.95/2188.58 c #Conflicts: 2092000 | #Constraints: 144336
2182.95/2188.58 c #Conflicts: 2093000 | #Constraints: 145336
2182.95/2188.58 c #Conflicts: 2094000 | #Constraints: 146336
2182.95/2188.58 c #Conflicts: 2095000 | #Constraints: 147336
2182.95/2188.58 c #Conflicts: 2096000 | #Constraints: 148336
2182.95/2188.58 c #Conflicts: 2097000 | #Constraints: 149336
2182.95/2188.58 c #Conflicts: 2098000 | #Constraints: 150336
2182.95/2188.58 c #Conflicts: 2099000 | #Constraints: 151336
2182.95/2188.58 c #Conflicts: 2100000 | #Constraints: 152336
2182.95/2188.58 c #Conflicts: 2101000 | #Constraints: 153336
2182.95/2188.58 c #Conflicts: 2102000 | #Constraints: 154336
2182.95/2188.58 c #Conflicts: 2103000 | #Constraints: 155336
2182.95/2188.58 c #Conflicts: 2104000 | #Constraints: 156336
2182.95/2188.58 c #Conflicts: 2105000 | #Constraints: 157336
2182.95/2188.58 c #Conflicts: 2106000 | #Constraints: 158336
2182.95/2188.58 c #Conflicts: 2107000 | #Constraints: 159336
2182.95/2188.58 c #Conflicts: 2108000 | #Constraints: 160336
2182.95/2188.58 c #Conflicts: 2109000 | #Constraints: 161336
2182.95/2188.58 c #Conflicts: 2110000 | #Constraints: 162336
2182.95/2188.58 c #Conflicts: 2111000 | #Constraints: 163336
2182.95/2188.58 c #Conflicts: 2112000 | #Constraints: 164336
2182.95/2188.58 c #Conflicts: 2113000 | #Constraints: 165336
2182.95/2188.58 c #Conflicts: 2114000 | #Constraints: 166336
2182.95/2188.58 c #Conflicts: 2115000 | #Constraints: 167336
2182.95/2188.58 c #Conflicts: 2116000 | #Constraints: 168336
2182.95/2188.58 c #Conflicts: 2117000 | #Constraints: 169336
2182.95/2188.58 c #Conflicts: 2118000 | #Constraints: 170336
2182.95/2188.58 c #Conflicts: 2119000 | #Constraints: 171336
2182.95/2188.58 c #Conflicts: 2120000 | #Constraints: 172336
2182.95/2188.58 c #Conflicts: 2121000 | #Constraints: 173336
2182.95/2188.58 c #Conflicts: 2122000 | #Constraints: 174336
2182.95/2188.58 c #Conflicts: 2123000 | #Constraints: 175336
2182.95/2188.58 c #Conflicts: 2124000 | #Constraints: 176336
2182.95/2188.58 c #Conflicts: 2125000 | #Constraints: 177336
2182.95/2188.58 c INPROCESSING
2182.95/2188.58 c GARBAGE COLLECT
2182.95/2188.58 c #Conflicts: 2126000 | #Constraints: 98716
2182.95/2188.58 c #Conflicts: 2127000 | #Constraints: 99716
2182.95/2188.58 c #Conflicts: 2128000 | #Constraints: 100716
2182.95/2188.58 c #Conflicts: 2129000 | #Constraints: 101716
2182.95/2188.58 c #Conflicts: 2130000 | #Constraints: 102716
2182.95/2188.58 c #Conflicts: 2131000 | #Constraints: 103716
2182.95/2188.58 c #Conflicts: 2132000 | #Constraints: 104716
2182.95/2188.58 c #Conflicts: 2133000 | #Constraints: 105716
2329.21/2335.18 c #Conflicts: 2134000 | #Constraints: 106716
2329.21/2335.18 c #Conflicts: 2135000 | #Constraints: 107716
2329.21/2335.18 c #Conflicts: 2136000 | #Constraints: 108716
2329.21/2335.18 c #Conflicts: 2137000 | #Constraints: 109716
2329.21/2335.18 c #Conflicts: 2138000 | #Constraints: 110716
2329.21/2335.18 c #Conflicts: 2139000 | #Constraints: 111716
2329.21/2335.18 c #Conflicts: 2140000 | #Constraints: 112716
2329.21/2335.18 c #Conflicts: 2141000 | #Constraints: 113716
2329.21/2335.18 c #Conflicts: 2142000 | #Constraints: 114716
2329.21/2335.18 c #Conflicts: 2143000 | #Constraints: 115716
2329.21/2335.18 c #Conflicts: 2144000 | #Constraints: 116716
2329.21/2335.18 c #Conflicts: 2145000 | #Constraints: 117716
2329.21/2335.18 c #Conflicts: 2146000 | #Constraints: 118716
2329.21/2335.18 c #Conflicts: 2147000 | #Constraints: 119716
2329.21/2335.18 c #Conflicts: 2148000 | #Constraints: 120716
2329.21/2335.18 c #Conflicts: 2149000 | #Constraints: 121716
2329.21/2335.18 c #Conflicts: 2150000 | #Constraints: 122716
2329.21/2335.18 c #Conflicts: 2151000 | #Constraints: 123716
2329.21/2335.18 c #Conflicts: 2152000 | #Constraints: 124716
2329.21/2335.18 c #Conflicts: 2153000 | #Constraints: 125716
2329.21/2335.18 c #Conflicts: 2154000 | #Constraints: 126716
2329.21/2335.18 c #Conflicts: 2155000 | #Constraints: 127716
2329.21/2335.18 c #Conflicts: 2156000 | #Constraints: 128716
2329.21/2335.18 c #Conflicts: 2157000 | #Constraints: 129716
2329.21/2335.18 c #Conflicts: 2158000 | #Constraints: 130716
2329.21/2335.18 c #Conflicts: 2159000 | #Constraints: 131716
2329.21/2335.18 c #Conflicts: 2160000 | #Constraints: 132716
2329.21/2335.18 c INPROCESSING
2329.21/2335.18 c GARBAGE COLLECT
2329.21/2335.18 c #Conflicts: 2161000 | #Constraints: 76194
2329.21/2335.18 c #Conflicts: 2162000 | #Constraints: 77194
2329.21/2335.18 c #Conflicts: 2163000 | #Constraints: 78194
2329.21/2335.18 c #Conflicts: 2164000 | #Constraints: 79194
2329.21/2335.18 c #Conflicts: 2165000 | #Constraints: 80194
2329.21/2335.18 c #Conflicts: 2166000 | #Constraints: 81194
2329.21/2335.18 c #Conflicts: 2167000 | #Constraints: 82194
2329.21/2335.18 c #Conflicts: 2168000 | #Constraints: 83194
2329.21/2335.18 c #Conflicts: 2169000 | #Constraints: 84194
2329.21/2335.18 c #Conflicts: 2170000 | #Constraints: 85194
2329.21/2335.18 c #Conflicts: 2171000 | #Constraints: 86194
2329.21/2335.18 c #Conflicts: 2172000 | #Constraints: 87194
2329.21/2335.18 c #Conflicts: 2173000 | #Constraints: 88194
2329.21/2335.18 c #Conflicts: 2174000 | #Constraints: 89194
2329.21/2335.18 c #Conflicts: 2175000 | #Constraints: 90194
2329.21/2335.18 c #Conflicts: 2176000 | #Constraints: 91194
2329.21/2335.18 c #Conflicts: 2177000 | #Constraints: 92194
2329.21/2335.18 c #Conflicts: 2178000 | #Constraints: 93194
2329.21/2335.18 c #Conflicts: 2179000 | #Constraints: 94194
2329.21/2335.18 c #Conflicts: 2180000 | #Constraints: 95194
2329.21/2335.18 c #Conflicts: 2181000 | #Constraints: 96194
2329.21/2335.18 c #Conflicts: 2182000 | #Constraints: 97194
2329.21/2335.18 c #Conflicts: 2183000 | #Constraints: 98194
2329.21/2335.18 c #Conflicts: 2184000 | #Constraints: 99194
2329.21/2335.18 c #Conflicts: 2185000 | #Constraints: 100194
2329.21/2335.18 c #Conflicts: 2186000 | #Constraints: 101194
2329.21/2335.18 c #Conflicts: 2187000 | #Constraints: 102194
2329.21/2335.18 c #Conflicts: 2188000 | #Constraints: 103194
2329.21/2335.18 c #Conflicts: 2189000 | #Constraints: 104194
2329.21/2335.18 c #Conflicts: 2190000 | #Constraints: 105194
2329.21/2335.18 c #Conflicts: 2191000 | #Constraints: 106194
2329.21/2335.18 c #Conflicts: 2192000 | #Constraints: 107194
2329.21/2335.18 c #Conflicts: 2193000 | #Constraints: 108194
2329.21/2335.18 c #Conflicts: 2194000 | #Constraints: 109194
2329.21/2335.18 c #Conflicts: 2195000 | #Constraints: 110194
2329.21/2335.18 c #Conflicts: 2196000 | #Constraints: 111194
2329.21/2335.18 c #Conflicts: 2197000 | #Constraints: 112194
2329.21/2335.18 c #Conflicts: 2198000 | #Constraints: 113194
2329.21/2335.18 c #Conflicts: 2199000 | #Constraints: 114194
2329.21/2335.18 c #Conflicts: 2200000 | #Constraints: 115194
2329.21/2335.18 c #Conflicts: 2201000 | #Constraints: 116194
2329.21/2335.18 c #Conflicts: 2202000 | #Constraints: 117194
2329.21/2335.18 c #Conflicts: 2203000 | #Constraints: 118194
2329.21/2335.18 c #Conflicts: 2204000 | #Constraints: 119194
2329.21/2335.18 c #Conflicts: 2205000 | #Constraints: 120194
2329.21/2335.18 c #Conflicts: 2206000 | #Constraints: 121194
2329.21/2335.18 c #Conflicts: 2207000 | #Constraints: 122194
2329.21/2335.18 c #Conflicts: 2208000 | #Constraints: 123194
2329.21/2335.18 c #Conflicts: 2209000 | #Constraints: 124194
2329.21/2335.18 c #Conflicts: 2210000 | #Constraints: 125194
2329.21/2335.18 c #Conflicts: 2211000 | #Constraints: 126194
2552.58/2559.10 c #Conflicts: 2212000 | #Constraints: 127194
2552.58/2559.10 c #Conflicts: 2213000 | #Constraints: 128194
2552.58/2559.10 c #Conflicts: 2214000 | #Constraints: 129194
2552.58/2559.10 c #Conflicts: 2215000 | #Constraints: 130194
2552.58/2559.10 c #Conflicts: 2216000 | #Constraints: 131194
2552.58/2559.10 c #Conflicts: 2217000 | #Constraints: 132194
2552.58/2559.10 c #Conflicts: 2218000 | #Constraints: 133194
2552.58/2559.10 c #Conflicts: 2219000 | #Constraints: 134194
2552.58/2559.10 c #Conflicts: 2220000 | #Constraints: 135194
2552.58/2559.10 c #Conflicts: 2221000 | #Constraints: 136194
2552.58/2559.10 c #Conflicts: 2222000 | #Constraints: 137194
2552.58/2559.10 c #Conflicts: 2223000 | #Constraints: 138194
2552.58/2559.10 c #Conflicts: 2224000 | #Constraints: 139194
2552.58/2559.10 c #Conflicts: 2225000 | #Constraints: 140194
2552.58/2559.10 c #Conflicts: 2226000 | #Constraints: 141194
2552.58/2559.10 c #Conflicts: 2227000 | #Constraints: 142194
2552.58/2559.10 c #Conflicts: 2228000 | #Constraints: 143194
2552.58/2559.10 c #Conflicts: 2229000 | #Constraints: 144194
2552.58/2559.10 c #Conflicts: 2230000 | #Constraints: 145194
2552.58/2559.10 c #Conflicts: 2231000 | #Constraints: 146194
2552.58/2559.10 c #Conflicts: 2232000 | #Constraints: 147194
2552.58/2559.10 c #Conflicts: 2233000 | #Constraints: 148194
2552.58/2559.10 c #Conflicts: 2234000 | #Constraints: 149194
2552.58/2559.10 c #Conflicts: 2235000 | #Constraints: 150194
2552.58/2559.10 c #Conflicts: 2236000 | #Constraints: 151194
2552.58/2559.10 c #Conflicts: 2237000 | #Constraints: 152194
2552.58/2559.10 c #Conflicts: 2238000 | #Constraints: 153194
2552.58/2559.10 c #Conflicts: 2239000 | #Constraints: 154194
2552.58/2559.10 c #Conflicts: 2240000 | #Constraints: 155194
2552.58/2559.10 c #Conflicts: 2241000 | #Constraints: 156194
2552.58/2559.10 c #Conflicts: 2242000 | #Constraints: 157194
2552.58/2559.10 c #Conflicts: 2243000 | #Constraints: 158194
2552.58/2559.10 c #Conflicts: 2244000 | #Constraints: 159194
2552.58/2559.10 c #Conflicts: 2245000 | #Constraints: 160194
2552.58/2559.10 c #Conflicts: 2246000 | #Constraints: 161194
2552.58/2559.10 c #Conflicts: 2247000 | #Constraints: 162194
2552.58/2559.10 c #Conflicts: 2248000 | #Constraints: 163194
2552.58/2559.10 c #Conflicts: 2249000 | #Constraints: 164194
2552.58/2559.10 c #Conflicts: 2250000 | #Constraints: 165194
2552.58/2559.10 c #Conflicts: 2251000 | #Constraints: 166194
2552.58/2559.10 c #Conflicts: 2252000 | #Constraints: 167194
2552.58/2559.10 c #Conflicts: 2253000 | #Constraints: 168194
2552.58/2559.10 c #Conflicts: 2254000 | #Constraints: 169194
2552.58/2559.10 c #Conflicts: 2255000 | #Constraints: 170194
2552.58/2559.10 c #Conflicts: 2256000 | #Constraints: 171194
2552.58/2559.10 c #Conflicts: 2257000 | #Constraints: 172194
2552.58/2559.10 c #Conflicts: 2258000 | #Constraints: 173194
2552.58/2559.10 c #Conflicts: 2259000 | #Constraints: 174194
2552.58/2559.10 c #Conflicts: 2260000 | #Constraints: 175194
2552.58/2559.10 c #Conflicts: 2261000 | #Constraints: 176194
2552.58/2559.10 c #Conflicts: 2262000 | #Constraints: 177194
2552.58/2559.10 c #Conflicts: 2263000 | #Constraints: 178194
2552.58/2559.10 c #Conflicts: 2264000 | #Constraints: 179194
2552.58/2559.10 c #Conflicts: 2265000 | #Constraints: 180194
2552.58/2559.10 c #Conflicts: 2266000 | #Constraints: 181194
2552.58/2559.10 c #Conflicts: 2267000 | #Constraints: 182194
2552.58/2559.10 c INPROCESSING
2552.58/2559.10 c GARBAGE COLLECT
2552.58/2559.10 c #Conflicts: 2268000 | #Constraints: 101100
2552.58/2559.10 c #Conflicts: 2269000 | #Constraints: 102100
2552.58/2559.10 c #Conflicts: 2270000 | #Constraints: 103100
2552.58/2559.10 c #Conflicts: 2271000 | #Constraints: 104100
2552.58/2559.10 c #Conflicts: 2272000 | #Constraints: 105100
2552.58/2559.10 c #Conflicts: 2273000 | #Constraints: 106100
2552.58/2559.10 c #Conflicts: 2274000 | #Constraints: 107100
2552.58/2559.10 c #Conflicts: 2275000 | #Constraints: 108100
2552.58/2559.10 c #Conflicts: 2276000 | #Constraints: 109100
2552.58/2559.10 c #Conflicts: 2277000 | #Constraints: 110100
2552.58/2559.10 c #Conflicts: 2278000 | #Constraints: 111100
2552.58/2559.10 c #Conflicts: 2279000 | #Constraints: 112100
2552.58/2559.10 c #Conflicts: 2280000 | #Constraints: 113100
2552.58/2559.10 c #Conflicts: 2281000 | #Constraints: 114100
2552.58/2559.10 c #Conflicts: 2282000 | #Constraints: 115100
2552.58/2559.10 c #Conflicts: 2283000 | #Constraints: 116100
2552.58/2559.10 c #Conflicts: 2284000 | #Constraints: 117100
2552.58/2559.10 c #Conflicts: 2285000 | #Constraints: 118100
2552.58/2559.10 c #Conflicts: 2286000 | #Constraints: 119100
2552.58/2559.10 c #Conflicts: 2287000 | #Constraints: 120100
2552.58/2559.10 c #Conflicts: 2288000 | #Constraints: 121100
2552.58/2559.10 c #Conflicts: 2289000 | #Constraints: 122100
2716.49/2723.36 c #Conflicts: 2290000 | #Constraints: 123100
2716.49/2723.36 c #Conflicts: 2291000 | #Constraints: 124100
2716.49/2723.36 c #Conflicts: 2292000 | #Constraints: 125100
2716.49/2723.36 c #Conflicts: 2293000 | #Constraints: 126100
2716.49/2723.36 c #Conflicts: 2294000 | #Constraints: 127100
2716.49/2723.36 c #Conflicts: 2295000 | #Constraints: 128100
2716.49/2723.36 c #Conflicts: 2296000 | #Constraints: 129100
2716.49/2723.36 c #Conflicts: 2297000 | #Constraints: 130100
2716.49/2723.36 c #Conflicts: 2298000 | #Constraints: 131100
2716.49/2723.36 c #Conflicts: 2299000 | #Constraints: 132100
2716.49/2723.36 c #Conflicts: 2300000 | #Constraints: 133100
2716.49/2723.36 c #Conflicts: 2301000 | #Constraints: 134100
2716.49/2723.36 c #Conflicts: 2302000 | #Constraints: 135100
2716.49/2723.36 c #Conflicts: 2303000 | #Constraints: 136100
2716.49/2723.36 c #Conflicts: 2304000 | #Constraints: 137100
2716.49/2723.36 c INPROCESSING
2716.49/2723.36 c GARBAGE COLLECT
2716.49/2723.36 c #Conflicts: 2305000 | #Constraints: 78685
2716.49/2723.36 c #Conflicts: 2306000 | #Constraints: 79685
2716.49/2723.36 c #Conflicts: 2307000 | #Constraints: 80685
2716.49/2723.36 c #Conflicts: 2308000 | #Constraints: 81685
2716.49/2723.36 c #Conflicts: 2309000 | #Constraints: 82685
2716.49/2723.36 c #Conflicts: 2310000 | #Constraints: 83685
2716.49/2723.36 c #Conflicts: 2311000 | #Constraints: 84685
2716.49/2723.36 c #Conflicts: 2312000 | #Constraints: 85685
2716.49/2723.36 c #Conflicts: 2313000 | #Constraints: 86685
2716.49/2723.36 c #Conflicts: 2314000 | #Constraints: 87685
2716.49/2723.36 c #Conflicts: 2315000 | #Constraints: 88685
2716.49/2723.36 c #Conflicts: 2316000 | #Constraints: 89685
2716.49/2723.36 c #Conflicts: 2317000 | #Constraints: 90685
2716.49/2723.36 c #Conflicts: 2318000 | #Constraints: 91685
2716.49/2723.36 c #Conflicts: 2319000 | #Constraints: 92685
2716.49/2723.36 c #Conflicts: 2320000 | #Constraints: 93685
2716.49/2723.36 c #Conflicts: 2321000 | #Constraints: 94685
2716.49/2723.36 c #Conflicts: 2322000 | #Constraints: 95685
2716.49/2723.36 c #Conflicts: 2323000 | #Constraints: 96685
2716.49/2723.36 c #Conflicts: 2324000 | #Constraints: 97685
2716.49/2723.36 c #Conflicts: 2325000 | #Constraints: 98685
2716.49/2723.36 c #Conflicts: 2326000 | #Constraints: 99685
2716.49/2723.36 c #Conflicts: 2327000 | #Constraints: 100685
2716.49/2723.36 c #Conflicts: 2328000 | #Constraints: 101685
2716.49/2723.36 c #Conflicts: 2329000 | #Constraints: 102685
2716.49/2723.36 c #Conflicts: 2330000 | #Constraints: 103685
2716.49/2723.36 c #Conflicts: 2331000 | #Constraints: 104685
2716.49/2723.36 c #Conflicts: 2332000 | #Constraints: 105685
2716.49/2723.36 c #Conflicts: 2333000 | #Constraints: 106685
2716.49/2723.36 c #Conflicts: 2334000 | #Constraints: 107685
2716.49/2723.36 c #Conflicts: 2335000 | #Constraints: 108685
2716.49/2723.36 c #Conflicts: 2336000 | #Constraints: 109685
2716.49/2723.36 c #Conflicts: 2337000 | #Constraints: 110685
2716.49/2723.36 c #Conflicts: 2338000 | #Constraints: 111685
2716.49/2723.36 c #Conflicts: 2339000 | #Constraints: 112685
2716.49/2723.36 c #Conflicts: 2340000 | #Constraints: 113685
2716.49/2723.36 c #Conflicts: 2341000 | #Constraints: 114685
2716.49/2723.36 c #Conflicts: 2342000 | #Constraints: 115685
2716.49/2723.36 c #Conflicts: 2343000 | #Constraints: 116685
2716.49/2723.36 c #Conflicts: 2344000 | #Constraints: 117685
2716.49/2723.36 c #Conflicts: 2345000 | #Constraints: 118685
2716.49/2723.36 c #Conflicts: 2346000 | #Constraints: 119685
2716.49/2723.36 c #Conflicts: 2347000 | #Constraints: 120685
2716.49/2723.36 c #Conflicts: 2348000 | #Constraints: 121685
2716.49/2723.36 c #Conflicts: 2349000 | #Constraints: 122685
2716.49/2723.36 c #Conflicts: 2350000 | #Constraints: 123685
2716.49/2723.36 c #Conflicts: 2351000 | #Constraints: 124685
2716.49/2723.36 c #Conflicts: 2352000 | #Constraints: 125685
2716.49/2723.36 c #Conflicts: 2353000 | #Constraints: 126685
2716.49/2723.36 c #Conflicts: 2354000 | #Constraints: 127685
2716.49/2723.36 c #Conflicts: 2355000 | #Constraints: 128685
2716.49/2723.36 c #Conflicts: 2356000 | #Constraints: 129685
2716.49/2723.36 c #Conflicts: 2357000 | #Constraints: 130685
2716.49/2723.36 c #Conflicts: 2358000 | #Constraints: 131685
2716.49/2723.36 c #Conflicts: 2359000 | #Constraints: 132685
2716.49/2723.36 c #Conflicts: 2360000 | #Constraints: 133685
2716.49/2723.36 c #Conflicts: 2361000 | #Constraints: 134685
2716.49/2723.36 c #Conflicts: 2362000 | #Constraints: 135685
2716.49/2723.36 c #Conflicts: 2363000 | #Constraints: 136685
2716.49/2723.36 c #Conflicts: 2364000 | #Constraints: 137685
2716.49/2723.36 c #Conflicts: 2365000 | #Constraints: 138685
2716.49/2723.36 c #Conflicts: 2366000 | #Constraints: 139685
2716.49/2723.36 c #Conflicts: 2367000 | #Constraints: 140685
2964.19/2971.60 c #Conflicts: 2368000 | #Constraints: 141685
2964.19/2971.60 c #Conflicts: 2369000 | #Constraints: 142685
2964.19/2971.60 c #Conflicts: 2370000 | #Constraints: 143685
2964.19/2971.60 c #Conflicts: 2371000 | #Constraints: 144685
2964.19/2971.60 c #Conflicts: 2372000 | #Constraints: 145685
2964.19/2971.60 c #Conflicts: 2373000 | #Constraints: 146685
2964.19/2971.60 c #Conflicts: 2374000 | #Constraints: 147685
2964.19/2971.60 c #Conflicts: 2375000 | #Constraints: 148685
2964.19/2971.60 c #Conflicts: 2376000 | #Constraints: 149685
2964.19/2971.60 c #Conflicts: 2377000 | #Constraints: 150685
2964.19/2971.60 c #Conflicts: 2378000 | #Constraints: 151685
2964.19/2971.60 c #Conflicts: 2379000 | #Constraints: 152685
2964.19/2971.60 c #Conflicts: 2380000 | #Constraints: 153685
2964.19/2971.60 c #Conflicts: 2381000 | #Constraints: 154685
2964.19/2971.60 c #Conflicts: 2382000 | #Constraints: 155685
2964.19/2971.60 c #Conflicts: 2383000 | #Constraints: 156685
2964.19/2971.60 c #Conflicts: 2384000 | #Constraints: 157685
2964.19/2971.60 c #Conflicts: 2385000 | #Constraints: 158685
2964.19/2971.60 c #Conflicts: 2386000 | #Constraints: 159685
2964.19/2971.60 c #Conflicts: 2387000 | #Constraints: 160685
2964.19/2971.60 c #Conflicts: 2388000 | #Constraints: 161685
2964.19/2971.60 c #Conflicts: 2389000 | #Constraints: 162685
2964.19/2971.60 c #Conflicts: 2390000 | #Constraints: 163685
2964.19/2971.60 c #Conflicts: 2391000 | #Constraints: 164685
2964.19/2971.60 c #Conflicts: 2392000 | #Constraints: 165685
2964.19/2971.60 c #Conflicts: 2393000 | #Constraints: 166685
2964.19/2971.60 c #Conflicts: 2394000 | #Constraints: 167685
2964.19/2971.60 c #Conflicts: 2395000 | #Constraints: 168685
2964.19/2971.60 c #Conflicts: 2396000 | #Constraints: 169685
2964.19/2971.60 c #Conflicts: 2397000 | #Constraints: 170685
2964.19/2971.60 c #Conflicts: 2398000 | #Constraints: 171685
2964.19/2971.60 c #Conflicts: 2399000 | #Constraints: 172685
2964.19/2971.60 c #Conflicts: 2400000 | #Constraints: 173685
2964.19/2971.60 c #Conflicts: 2401000 | #Constraints: 174685
2964.19/2971.60 c #Conflicts: 2402000 | #Constraints: 175685
2964.19/2971.60 c #Conflicts: 2403000 | #Constraints: 176685
2964.19/2971.60 c #Conflicts: 2404000 | #Constraints: 177685
2964.19/2971.60 c #Conflicts: 2405000 | #Constraints: 178685
2964.19/2971.60 c #Conflicts: 2406000 | #Constraints: 179685
2964.19/2971.60 c #Conflicts: 2407000 | #Constraints: 180685
2964.19/2971.60 c #Conflicts: 2408000 | #Constraints: 181685
2964.19/2971.60 c #Conflicts: 2409000 | #Constraints: 182685
2964.19/2971.60 c #Conflicts: 2410000 | #Constraints: 183685
2964.19/2971.60 c #Conflicts: 2411000 | #Constraints: 184685
2964.19/2971.60 c #Conflicts: 2412000 | #Constraints: 185685
2964.19/2971.60 c #Conflicts: 2413000 | #Constraints: 186685
2964.19/2971.60 c INPROCESSING
2964.19/2971.60 c GARBAGE COLLECT
2964.19/2971.60 c #Conflicts: 2414000 | #Constraints: 103085
2964.19/2971.60 c #Conflicts: 2415000 | #Constraints: 104085
2964.19/2971.60 c #Conflicts: 2416000 | #Constraints: 105085
2964.19/2971.60 c #Conflicts: 2417000 | #Constraints: 106085
2964.19/2971.60 c #Conflicts: 2418000 | #Constraints: 107085
2964.19/2971.60 c #Conflicts: 2419000 | #Constraints: 108085
2964.19/2971.60 c #Conflicts: 2420000 | #Constraints: 109085
2964.19/2971.60 c #Conflicts: 2421000 | #Constraints: 110085
2964.19/2971.60 c #Conflicts: 2422000 | #Constraints: 111085
2964.19/2971.60 c #Conflicts: 2423000 | #Constraints: 112085
2964.19/2971.60 c #Conflicts: 2424000 | #Constraints: 113085
2964.19/2971.60 c #Conflicts: 2425000 | #Constraints: 114085
2964.19/2971.60 c #Conflicts: 2426000 | #Constraints: 115085
2964.19/2971.60 c #Conflicts: 2427000 | #Constraints: 116085
2964.19/2971.60 c #Conflicts: 2428000 | #Constraints: 117085
2964.19/2971.60 c #Conflicts: 2429000 | #Constraints: 118085
2964.19/2971.60 c #Conflicts: 2430000 | #Constraints: 119085
2964.19/2971.60 c #Conflicts: 2431000 | #Constraints: 120085
2964.19/2971.60 c #Conflicts: 2432000 | #Constraints: 121085
2964.19/2971.60 c #Conflicts: 2433000 | #Constraints: 122085
2964.19/2971.60 c #Conflicts: 2434000 | #Constraints: 123085
2964.19/2971.60 c #Conflicts: 2435000 | #Constraints: 124085
2964.19/2971.60 c #Conflicts: 2436000 | #Constraints: 125085
2964.19/2971.60 c #Conflicts: 2437000 | #Constraints: 126085
2964.19/2971.60 c #Conflicts: 2438000 | #Constraints: 127085
2964.19/2971.60 c #Conflicts: 2439000 | #Constraints: 128085
2964.19/2971.60 c #Conflicts: 2440000 | #Constraints: 129085
2964.19/2971.60 c #Conflicts: 2441000 | #Constraints: 130085
2964.19/2971.60 c #Conflicts: 2442000 | #Constraints: 131085
2964.19/2971.60 c #Conflicts: 2443000 | #Constraints: 132085
2964.19/2971.60 c #Conflicts: 2444000 | #Constraints: 133085
2964.19/2971.60 c #Conflicts: 2445000 | #Constraints: 134085
3141.58/3149.46 c #Conflicts: 2446000 | #Constraints: 135085
3141.58/3149.46 c #Conflicts: 2447000 | #Constraints: 136085
3141.58/3149.46 c #Conflicts: 2448000 | #Constraints: 137085
3141.58/3149.46 c #Conflicts: 2449000 | #Constraints: 138085
3141.58/3149.46 c #Conflicts: 2450000 | #Constraints: 139085
3141.58/3149.46 c #Conflicts: 2451000 | #Constraints: 140085
3141.58/3149.46 c INPROCESSING
3141.58/3149.46 c GARBAGE COLLECT
3141.58/3149.46 c #Conflicts: 2452000 | #Constraints: 79809
3141.58/3149.46 c #Conflicts: 2453000 | #Constraints: 80809
3141.58/3149.46 c #Conflicts: 2454000 | #Constraints: 81809
3141.58/3149.46 c #Conflicts: 2455000 | #Constraints: 82809
3141.58/3149.46 c #Conflicts: 2456000 | #Constraints: 83809
3141.58/3149.46 c #Conflicts: 2457000 | #Constraints: 84809
3141.58/3149.46 c #Conflicts: 2458000 | #Constraints: 85809
3141.58/3149.46 c #Conflicts: 2459000 | #Constraints: 86809
3141.58/3149.46 c #Conflicts: 2460000 | #Constraints: 87809
3141.58/3149.46 c #Conflicts: 2461000 | #Constraints: 88809
3141.58/3149.46 c #Conflicts: 2462000 | #Constraints: 89809
3141.58/3149.46 c #Conflicts: 2463000 | #Constraints: 90809
3141.58/3149.46 c #Conflicts: 2464000 | #Constraints: 91809
3141.58/3149.46 c #Conflicts: 2465000 | #Constraints: 92809
3141.58/3149.46 c #Conflicts: 2466000 | #Constraints: 93809
3141.58/3149.46 c #Conflicts: 2467000 | #Constraints: 94809
3141.58/3149.46 c #Conflicts: 2468000 | #Constraints: 95809
3141.58/3149.46 c #Conflicts: 2469000 | #Constraints: 96809
3141.58/3149.46 c #Conflicts: 2470000 | #Constraints: 97809
3141.58/3149.46 c #Conflicts: 2471000 | #Constraints: 98809
3141.58/3149.46 c #Conflicts: 2472000 | #Constraints: 99809
3141.58/3149.46 c #Conflicts: 2473000 | #Constraints: 100809
3141.58/3149.46 c #Conflicts: 2474000 | #Constraints: 101809
3141.58/3149.46 c #Conflicts: 2475000 | #Constraints: 102809
3141.58/3149.46 c #Conflicts: 2476000 | #Constraints: 103809
3141.58/3149.46 c #Conflicts: 2477000 | #Constraints: 104809
3141.58/3149.46 c #Conflicts: 2478000 | #Constraints: 105809
3141.58/3149.46 c #Conflicts: 2479000 | #Constraints: 106809
3141.58/3149.46 c #Conflicts: 2480000 | #Constraints: 107809
3141.58/3149.46 c #Conflicts: 2481000 | #Constraints: 108809
3141.58/3149.46 c #Conflicts: 2482000 | #Constraints: 109809
3141.58/3149.46 c #Conflicts: 2483000 | #Constraints: 110809
3141.58/3149.46 c #Conflicts: 2484000 | #Constraints: 111809
3141.58/3149.46 c #Conflicts: 2485000 | #Constraints: 112809
3141.58/3149.46 c #Conflicts: 2486000 | #Constraints: 113809
3141.58/3149.46 c #Conflicts: 2487000 | #Constraints: 114809
3141.58/3149.46 c #Conflicts: 2488000 | #Constraints: 115809
3141.58/3149.46 c #Conflicts: 2489000 | #Constraints: 116809
3141.58/3149.46 c #Conflicts: 2490000 | #Constraints: 117809
3141.58/3149.46 c #Conflicts: 2491000 | #Constraints: 118809
3141.58/3149.46 c #Conflicts: 2492000 | #Constraints: 119809
3141.58/3149.46 c #Conflicts: 2493000 | #Constraints: 120809
3141.58/3149.46 c #Conflicts: 2494000 | #Constraints: 121809
3141.58/3149.46 c #Conflicts: 2495000 | #Constraints: 122809
3141.58/3149.46 c #Conflicts: 2496000 | #Constraints: 123809
3141.58/3149.46 c #Conflicts: 2497000 | #Constraints: 124809
3141.58/3149.46 c #Conflicts: 2498000 | #Constraints: 125809
3141.58/3149.46 c #Conflicts: 2499000 | #Constraints: 126809
3141.58/3149.46 c #Conflicts: 2500000 | #Constraints: 127809
3141.58/3149.46 c #Conflicts: 2501000 | #Constraints: 128809
3141.58/3149.46 c #Conflicts: 2502000 | #Constraints: 129809
3141.58/3149.46 c #Conflicts: 2503000 | #Constraints: 130809
3141.58/3149.46 c #Conflicts: 2504000 | #Constraints: 131809
3141.58/3149.46 c #Conflicts: 2505000 | #Constraints: 132809
3141.58/3149.46 c #Conflicts: 2506000 | #Constraints: 133809
3141.58/3149.46 c #Conflicts: 2507000 | #Constraints: 134809
3141.58/3149.46 c #Conflicts: 2508000 | #Constraints: 135809
3141.58/3149.46 c #Conflicts: 2509000 | #Constraints: 136809
3141.58/3149.46 c #Conflicts: 2510000 | #Constraints: 137809
3141.58/3149.46 c #Conflicts: 2511000 | #Constraints: 138809
3141.58/3149.46 c #Conflicts: 2512000 | #Constraints: 139809
3141.58/3149.46 c #Conflicts: 2513000 | #Constraints: 140809
3141.58/3149.46 c #Conflicts: 2514000 | #Constraints: 141809
3141.58/3149.46 c #Conflicts: 2515000 | #Constraints: 142809
3141.58/3149.46 c #Conflicts: 2516000 | #Constraints: 143809
3141.58/3149.46 c #Conflicts: 2517000 | #Constraints: 144809
3141.58/3149.46 c #Conflicts: 2518000 | #Constraints: 145809
3141.58/3149.46 c #Conflicts: 2519000 | #Constraints: 146809
3141.58/3149.46 c #Conflicts: 2520000 | #Constraints: 147809
3141.58/3149.46 c #Conflicts: 2521000 | #Constraints: 148809
3141.58/3149.46 c #Conflicts: 2522000 | #Constraints: 149809
3141.58/3149.46 c #Conflicts: 2523000 | #Constraints: 150809
3141.58/3149.46 c #Conflicts: 2524000 | #Constraints: 151809
3394.48/3402.99 c #Conflicts: 2525000 | #Constraints: 152809
3394.48/3402.99 c #Conflicts: 2526000 | #Constraints: 153809
3394.48/3402.99 c #Conflicts: 2527000 | #Constraints: 154809
3394.48/3402.99 c #Conflicts: 2528000 | #Constraints: 155809
3394.48/3402.99 c #Conflicts: 2529000 | #Constraints: 156809
3394.48/3402.99 c #Conflicts: 2530000 | #Constraints: 157809
3394.48/3402.99 c #Conflicts: 2531000 | #Constraints: 158809
3394.48/3402.99 c #Conflicts: 2532000 | #Constraints: 159809
3394.48/3402.99 c #Conflicts: 2533000 | #Constraints: 160809
3394.48/3402.99 c #Conflicts: 2534000 | #Constraints: 161809
3394.48/3402.99 c #Conflicts: 2535000 | #Constraints: 162809
3394.48/3402.99 c #Conflicts: 2536000 | #Constraints: 163809
3394.48/3402.99 c #Conflicts: 2537000 | #Constraints: 164809
3394.48/3402.99 c #Conflicts: 2538000 | #Constraints: 165809
3394.48/3402.99 c #Conflicts: 2539000 | #Constraints: 166809
3394.48/3402.99 c #Conflicts: 2540000 | #Constraints: 167809
3394.48/3402.99 c #Conflicts: 2541000 | #Constraints: 168809
3394.48/3402.99 c #Conflicts: 2542000 | #Constraints: 169809
3394.48/3402.99 c #Conflicts: 2543000 | #Constraints: 170809
3394.48/3402.99 c #Conflicts: 2544000 | #Constraints: 171809
3394.48/3402.99 c #Conflicts: 2545000 | #Constraints: 172809
3394.48/3402.99 c #Conflicts: 2546000 | #Constraints: 173809
3394.48/3402.99 c #Conflicts: 2547000 | #Constraints: 174809
3394.48/3402.99 c #Conflicts: 2548000 | #Constraints: 175809
3394.48/3402.99 c #Conflicts: 2549000 | #Constraints: 176809
3394.48/3402.99 c #Conflicts: 2550000 | #Constraints: 177809
3394.48/3402.99 c #Conflicts: 2551000 | #Constraints: 178809
3394.48/3402.99 c #Conflicts: 2552000 | #Constraints: 179809
3394.48/3402.99 c #Conflicts: 2553000 | #Constraints: 180809
3394.48/3402.99 c #Conflicts: 2554000 | #Constraints: 181809
3394.48/3402.99 c #Conflicts: 2555000 | #Constraints: 182809
3394.48/3402.99 c #Conflicts: 2556000 | #Constraints: 183809
3394.48/3402.99 c #Conflicts: 2557000 | #Constraints: 184809
3394.48/3402.99 c #Conflicts: 2558000 | #Constraints: 185809
3394.48/3402.99 c #Conflicts: 2559000 | #Constraints: 186809
3394.48/3402.99 c #Conflicts: 2560000 | #Constraints: 187809
3394.48/3402.99 c #Conflicts: 2561000 | #Constraints: 188809
3394.48/3402.99 c #Conflicts: 2562000 | #Constraints: 189809
3394.48/3402.99 c #Conflicts: 2563000 | #Constraints: 190809
3394.48/3402.99 c #Conflicts: 2564000 | #Constraints: 191809
3394.48/3402.99 c INPROCESSING
3394.48/3402.99 c GARBAGE COLLECT
3394.48/3402.99 c #Conflicts: 2565000 | #Constraints: 105699
3394.48/3402.99 c #Conflicts: 2566000 | #Constraints: 106699
3394.48/3402.99 c #Conflicts: 2567000 | #Constraints: 107699
3394.48/3402.99 c #Conflicts: 2568000 | #Constraints: 108699
3394.48/3402.99 c #Conflicts: 2569000 | #Constraints: 109699
3394.48/3402.99 c #Conflicts: 2570000 | #Constraints: 110699
3394.48/3402.99 c #Conflicts: 2571000 | #Constraints: 111699
3394.48/3402.99 c #Conflicts: 2572000 | #Constraints: 112699
3394.48/3402.99 c #Conflicts: 2573000 | #Constraints: 113699
3394.48/3402.99 c #Conflicts: 2574000 | #Constraints: 114699
3394.48/3402.99 c #Conflicts: 2575000 | #Constraints: 115699
3394.48/3402.99 c #Conflicts: 2576000 | #Constraints: 116699
3394.48/3402.99 c #Conflicts: 2577000 | #Constraints: 117699
3394.48/3402.99 c #Conflicts: 2578000 | #Constraints: 118699
3394.48/3402.99 c #Conflicts: 2579000 | #Constraints: 119699
3394.48/3402.99 c #Conflicts: 2580000 | #Constraints: 120699
3394.48/3402.99 c #Conflicts: 2581000 | #Constraints: 121699
3394.48/3402.99 c #Conflicts: 2582000 | #Constraints: 122699
3394.48/3402.99 c #Conflicts: 2583000 | #Constraints: 123699
3394.48/3402.99 c #Conflicts: 2584000 | #Constraints: 124699
3394.48/3402.99 c #Conflicts: 2585000 | #Constraints: 125699
3394.48/3402.99 c #Conflicts: 2586000 | #Constraints: 126699
3394.48/3402.99 c #Conflicts: 2587000 | #Constraints: 127699
3394.48/3402.99 c #Conflicts: 2588000 | #Constraints: 128699
3394.48/3402.99 c #Conflicts: 2589000 | #Constraints: 129699
3394.48/3402.99 c #Conflicts: 2590000 | #Constraints: 130699
3394.48/3402.99 c #Conflicts: 2591000 | #Constraints: 131699
3394.48/3402.99 c #Conflicts: 2592000 | #Constraints: 132699
3394.48/3402.99 c #Conflicts: 2593000 | #Constraints: 133699
3394.48/3402.99 c #Conflicts: 2594000 | #Constraints: 134699
3394.48/3402.99 c #Conflicts: 2595000 | #Constraints: 135699
3394.48/3402.99 c #Conflicts: 2596000 | #Constraints: 136699
3394.48/3402.99 c #Conflicts: 2597000 | #Constraints: 137699
3394.48/3402.99 c #Conflicts: 2598000 | #Constraints: 138699
3394.48/3402.99 c #Conflicts: 2599000 | #Constraints: 139699
3394.48/3402.99 c #Conflicts: 2600000 | #Constraints: 140699
3394.48/3402.99 c #Conflicts: 2601000 | #Constraints: 141699
3394.48/3402.99 c #Conflicts: 2602000 | #Constraints: 142699
3593.30/3602.27 c #Conflicts: 2603000 | #Constraints: 143699
3593.30/3602.27 c #Conflicts: 2604000 | #Constraints: 144699
3593.30/3602.27 c INPROCESSING
3593.30/3602.27 c GARBAGE COLLECT
3593.30/3602.27 c #Conflicts: 2605000 | #Constraints: 82486
3593.30/3602.27 c #Conflicts: 2606000 | #Constraints: 83486
3593.30/3602.27 c #Conflicts: 2607000 | #Constraints: 84486
3593.30/3602.27 c #Conflicts: 2608000 | #Constraints: 85486
3593.30/3602.27 c #Conflicts: 2609000 | #Constraints: 86486
3593.30/3602.27 c #Conflicts: 2610000 | #Constraints: 87486
3593.30/3602.27 c #Conflicts: 2611000 | #Constraints: 88486
3593.30/3602.27 c #Conflicts: 2612000 | #Constraints: 89486
3593.30/3602.27 c #Conflicts: 2613000 | #Constraints: 90486
3593.30/3602.27 c #Conflicts: 2614000 | #Constraints: 91486
3593.30/3602.27 c #Conflicts: 2615000 | #Constraints: 92486
3593.30/3602.27 c #Conflicts: 2616000 | #Constraints: 93486
3593.30/3602.27 c #Conflicts: 2617000 | #Constraints: 94486
3593.30/3602.27 c #Conflicts: 2618000 | #Constraints: 95486
3593.30/3602.27 c #Conflicts: 2619000 | #Constraints: 96486
3593.30/3602.27 c #Conflicts: 2620000 | #Constraints: 97486
3593.30/3602.27 c #Conflicts: 2621000 | #Constraints: 98486
3593.30/3602.27 c #Conflicts: 2622000 | #Constraints: 99486
3593.30/3602.27 c #Conflicts: 2623000 | #Constraints: 100486
3593.30/3602.27 c #Conflicts: 2624000 | #Constraints: 101486
3593.30/3602.27 c #Conflicts: 2625000 | #Constraints: 102486
3593.30/3602.27 c #Conflicts: 2626000 | #Constraints: 103486
3593.30/3602.27 c #Conflicts: 2627000 | #Constraints: 104486
3593.30/3602.27 c #Conflicts: 2628000 | #Constraints: 105486
3593.30/3602.27 c #Conflicts: 2629000 | #Constraints: 106486
3593.30/3602.27 c #Conflicts: 2630000 | #Constraints: 107486
3593.30/3602.27 c #Conflicts: 2631000 | #Constraints: 108486
3593.30/3602.27 c #Conflicts: 2632000 | #Constraints: 109486
3593.30/3602.27 c #Conflicts: 2633000 | #Constraints: 110486
3593.30/3602.27 c #Conflicts: 2634000 | #Constraints: 111486
3593.30/3602.27 c #Conflicts: 2635000 | #Constraints: 112486
3593.30/3602.27 c #Conflicts: 2636000 | #Constraints: 113486
3593.30/3602.27 c #Conflicts: 2637000 | #Constraints: 114486
3593.30/3602.27 c #Conflicts: 2638000 | #Constraints: 115486
3593.30/3602.27 c #Conflicts: 2639000 | #Constraints: 116486
3593.30/3602.27 c #Conflicts: 2640000 | #Constraints: 117486
3593.30/3602.27 c #Conflicts: 2641000 | #Constraints: 118486
3593.30/3602.27 c #Conflicts: 2642000 | #Constraints: 119486
3593.30/3602.27 c #Conflicts: 2643000 | #Constraints: 120486
3593.30/3602.27 c #Conflicts: 2644000 | #Constraints: 121486
3593.30/3602.27 c #Conflicts: 2645000 | #Constraints: 122486
3593.30/3602.27 c #Conflicts: 2646000 | #Constraints: 123486
3593.30/3602.27 c #Conflicts: 2647000 | #Constraints: 124486
3593.30/3602.27 c #Conflicts: 2648000 | #Constraints: 125486
3593.30/3602.27 c #Conflicts: 2649000 | #Constraints: 126486
3593.30/3602.27 c #Conflicts: 2650000 | #Constraints: 127486
3593.30/3602.27 c #Conflicts: 2651000 | #Constraints: 128486
3593.30/3602.27 c #Conflicts: 2652000 | #Constraints: 129486
3593.30/3602.27 c #Conflicts: 2653000 | #Constraints: 130486
3593.30/3602.27 c #Conflicts: 2654000 | #Constraints: 131486
3593.30/3602.27 c #Conflicts: 2655000 | #Constraints: 132486
3593.30/3602.27 c #Conflicts: 2656000 | #Constraints: 133486
3593.30/3602.27 c #Conflicts: 2657000 | #Constraints: 134486
3593.30/3602.27 c #Conflicts: 2658000 | #Constraints: 135486
3593.30/3602.27 c #Conflicts: 2659000 | #Constraints: 136486
3593.30/3602.27 c #Conflicts: 2660000 | #Constraints: 137486
3593.30/3602.27 c #Conflicts: 2661000 | #Constraints: 138486
3593.30/3602.27 c #Conflicts: 2662000 | #Constraints: 139486
3593.30/3602.27 c #Conflicts: 2663000 | #Constraints: 140486
3593.30/3602.27 c #Conflicts: 2664000 | #Constraints: 141486
3593.30/3602.27 c #Conflicts: 2665000 | #Constraints: 142486
3593.30/3602.27 c #Conflicts: 2666000 | #Constraints: 143486
3593.30/3602.27 c #Conflicts: 2667000 | #Constraints: 144486
3593.30/3602.27 c #Conflicts: 2668000 | #Constraints: 145486
3593.30/3602.27 c #Conflicts: 2669000 | #Constraints: 146486
3593.30/3602.27 c #Conflicts: 2670000 | #Constraints: 147486
3593.30/3602.27 c #Conflicts: 2671000 | #Constraints: 148486
3593.30/3602.27 c #Conflicts: 2672000 | #Constraints: 149486
3593.30/3602.27 c #Conflicts: 2673000 | #Constraints: 150486
3593.30/3602.27 c #Conflicts: 2674000 | #Constraints: 151486
3593.30/3602.27 c #Conflicts: 2675000 | #Constraints: 152486
3593.30/3602.27 c #Conflicts: 2676000 | #Constraints: 153486
3593.30/3602.27 c #Conflicts: 2677000 | #Constraints: 154486
3593.30/3602.27 c #Conflicts: 2678000 | #Constraints: 155486
3593.30/3602.27 c #Conflicts: 2679000 | #Constraints: 156486
3593.30/3602.27 c #Conflicts: 2680000 | #Constraints: 157486
3600.09/3609.00 c #Conflicts: 2681000 | #Constraints: 158486
3600.09/3609.00 c Program interrupted by user.
3600.09/3609.00 c cpu time 3588.39 s
3600.09/3609.00 c deterministic time 339318189147 3.39e+11
3600.09/3609.00 c optimization time 200.895 s
3600.09/3609.00 c total solve time 3387.46 s
3600.09/3609.00 c core-guided solve time 3387.46 s
3600.09/3609.00 c propagation time 2990.45 s
3600.09/3609.00 c conflict analysis time 577.12 s
3600.09/3609.00 c propagations 438258647
3600.09/3609.00 c resolve steps 61362708
3600.09/3609.00 c decisions 4886160
3600.09/3609.00 c conflicts 2681722
3600.09/3609.00 c restarts 4605
3600.09/3609.00 c inprocessing phases 84
3600.09/3609.00 c input clauses 17995
3600.09/3609.00 c input cardinalities 189
3600.09/3609.00 c input general constraints 118
3600.09/3609.00 c input average constraint length 3.16
3600.09/3609.00 c input average constraint degree 1.64
3600.09/3609.00 c learned clauses 2279603
3600.09/3609.00 c learned cardinalities 4899
3600.09/3609.00 c learned general constraints 397207
3600.09/3609.00 c learned average constraint length 65.94
3600.09/3609.00 c learned average constraint degree 7911.33
3600.09/3609.00 c watched constraints 379782
3600.09/3609.00 c counting constraints 17543
3600.09/3609.00 c gcd simplifications 15272
3600.09/3609.00 c detected cardinalities 143
3600.09/3609.00 c weakened non-implied lits 11462384
3600.09/3609.00 c weakened non-implying lits 71554
3600.09/3609.00 c original variables 450
3600.09/3609.00 c clausal propagations 396145426
3600.09/3609.00 c cardinality propagations 2314570
3600.09/3609.00 c watched propagations 9806128
3600.09/3609.00 c counting propagations 27559708
3600.09/3609.00 c watch lookups 86918187414
3600.09/3609.00 c watch backjump lookups 69803291056
3600.09/3609.00 c watch checks 153041380217
3600.09/3609.00 c propagation checks 28096029799
3600.09/3609.00 c constraint additions 570329792
3600.09/3609.00 c trail pops 445826061
3600.09/3609.00 c formula constraints 17794
3600.09/3609.00 c learned constraints 2681709
3600.09/3609.00 c bound constraints 41
3600.09/3609.00 c core-guided constraints 467
3600.09/3609.00 c encountered formula constraints 25431924
3600.09/3609.00 c encountered learned constraints 34324852
3600.09/3609.00 c encountered bound constraints 255
3600.09/3609.00 c encountered core-guided constraints 4287399
3600.09/3609.00 c LP total time 0 s
3600.09/3609.00 c LP solve time 0 s
3600.09/3609.00 c LP constraints added 0
3600.09/3609.00 c LP constraints removed 0
3600.09/3609.00 c LP pivots internal 0
3600.09/3609.00 c LP pivots root 0
3600.09/3609.00 c LP calls 0
3600.09/3609.00 c LP optimalities 0
3600.09/3609.00 c LP no pivot count 0
3600.09/3609.00 c LP infeasibilities 0
3600.09/3609.00 c LP valid Farkas constraints 0
3600.09/3609.00 c LP learned Farkas constraints 0
3600.09/3609.00 c LP basis resets 0
3600.09/3609.00 c LP cycling count 0
3600.09/3609.00 c LP singular count 0
3600.09/3609.00 c LP no primal count 0
3600.09/3609.00 c LP no farkas count 0
3600.09/3609.00 c LP other issue count 0
3600.09/3609.00 c LP Gomory cuts 0
3600.09/3609.00 c LP learned cuts 0
3600.09/3609.00 c LP deleted cuts 0
3600.09/3609.00 c LP encountered Gomory constraints 0
3600.09/3609.00 c LP encountered Farkas constraints 0
3600.09/3609.00 c LP encountered learned Farkas constraints 0
3600.09/3609.00 c CG auxiliary variables introduced 225
3600.09/3609.00 c CG solutions found 3
3600.09/3609.00 c CG cores constructed 27
3600.09/3609.00 c CG core cardinality constraints returned 0
3600.09/3609.00 c CG unit cores 0
3600.09/3609.00 c CG single cores 27
3600.09/3609.00 c CG blocks removed during cardinality reduction 0
3600.09/3609.00 c CG first core best 0
3600.09/3609.00 c CG decision core best 0
3600.09/3609.00 c CG core reduction tie 0
3600.09/3609.00 c CG core degree average 1.00
3600.09/3609.00 c CG core slack average 6.56
3600.09/3609.00 c CG exhausted 12
3600.09/3609.00 c CG exhaust time 2.94547 s
3600.09/3609.00 c CG trimmed 1
3600.09/3609.00 c CG trim time 0.000696 s
3600.09/3609.00 c CG minimized 0
3600.09/3609.00 c CG minimize time 0 s
3600.09/3609.00 c CG am1 prop time 0.001959 s
3600.09/3609.00 c CG # am1s reformulated 92
3600.09/3609.00 c CG lower bound derived from am1s 358
3600.09/3609.00 c CG # clausal cores 27
3600.09/3609.00 c CG # cardinality cores 0
3600.09/3609.00 c CG # pb cores 0
3600.09/3609.00 c CG # pb reforms 0
3600.09/3609.00 c CG # cores discarded because of pb reform 0
3600.09/3609.00 d LOWERBOUND -53
3600.09/3609.00 d NCORES 27
3600.09/3609.00 d NPBCORES 0
3600.09/3609.00 d NPBREFORM 0
3600.09/3609.00 d NTRIMMED 1
3600.09/3609.00 d NEXHAUSTED 12
3600.09/3609.00 d NAM1S 92
3600.09/3609.00 d AM1LB 358
3600.09/3609.00 o -26
3600.09/3609.00 s SATISFIABLE
3600.09/3609.00 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 x242 -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
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 (59869 MiB free)
memory of node 1: 64510 MiB (60224 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454362-1721437673/watcher-4454362-1721437673 -o /tmp/evaluation-result-4454362-1721437673/solver-4454362-1721437673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063213 --watchdog 3760 pb-oll-rs HOME/instance-4454362-1721437673.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1065179, runsolver pid=1065176
[startup+0.100781 s]*
/proc/loadavg: 4.15 4.14 4.09 5/256 1065180
/proc/meminfo: memFree=122969796/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=42072 memory=11872 CPUtime=0.09 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 1292 0 0 0 8 1 0 0 20 0 1 0 195932654 43081728 2968 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 10518 2968 1376 291 0 2052 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42072 KiB
Current children cumulated memory: 11872 KiB
[startup+0.205748 s]*
/proc/loadavg: 4.15 4.14 4.09 5/256 1065180
/proc/meminfo: memFree=122968788/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=42728 memory=12720 CPUtime=0.2 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 1481 0 0 0 18 2 0 0 20 0 1 0 195932654 43753472 3180 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 10682 3180 1392 291 0 2216 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42728 KiB
Current children cumulated memory: 12720 KiB
[startup+0.305703 s]*
/proc/loadavg: 4.13 4.14 4.09 5/256 1065180
/proc/meminfo: memFree=122966772/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=43664 memory=14464 CPUtime=0.3 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 1917 0 0 0 27 3 0 0 20 0 1 0 195932654 44711936 3616 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 10916 3616 1392 291 0 2450 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 43664 KiB
Current children cumulated memory: 14464 KiB
[startup+0.700224 s]
/proc/loadavg: 4.13 4.14 4.09 5/256 1065180
/proc/meminfo: memFree=122965272/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=47964 memory=18008 CPUtime=0.68 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 2805 0 0 0 65 3 0 0 20 0 1 0 195932654 49115136 4502 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 11991 4502 1443 291 0 3525 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 47964 KiB
Current children cumulated memory: 18008 KiB
[startup+1.50022 s]
/proc/loadavg: 4.13 4.14 4.09 4/253 1065194
/proc/meminfo: memFree=123198208/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=48360 memory=18272 CPUtime=1.48 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 2884 0 0 0 141 7 0 0 20 0 1 0 195932654 49520640 4568 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 12090 4568 1443 291 0 3624 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 48360 KiB
Current children cumulated memory: 18272 KiB
[startup+3.10497 s]
/proc/loadavg: 4.13 4.14 4.09 5/256 1065320
/proc/meminfo: memFree=123488108/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=48756 memory=18812 CPUtime=3.08 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 3093 0 0 0 295 13 0 0 20 0 1 0 195932654 49926144 4703 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 12189 4703 1443 291 0 3723 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 48756 KiB
Current children cumulated memory: 18812 KiB
[startup+6.30015 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 1065320
/proc/meminfo: memFree=123475336/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=48960 memory=19532 CPUtime=6.27 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 3360 0 0 0 605 22 0 0 20 0 1 0 195932654 50135040 4883 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 12240 4883 1443 291 0 3774 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48960 KiB
Current children cumulated memory: 19532 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 1065321
/proc/meminfo: memFree=123470336/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=49280 memory=19608 CPUtime=12.66 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 4140 0 0 0 1226 40 0 0 20 0 1 0 195932654 50462720 4902 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 12320 4902 1443 291 0 3854 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 49280 KiB
Current children cumulated memory: 19608 KiB
[startup+25.5002 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 1065323
/proc/meminfo: memFree=123461620/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=56656 memory=25664 CPUtime=25.43 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 5280 0 0 0 2479 64 0 0 20 0 1 0 195932654 58015744 6416 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 14164 6416 1443 291 0 5698 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 56656 KiB
Current children cumulated memory: 25664 KiB
[startup+51.1052 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 1065326
/proc/meminfo: memFree=123447380/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=65512 memory=33512 CPUtime=50.98 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 6395 0 0 0 4999 99 0 0 20 0 1 0 195932654 67084288 8378 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 16378 8378 1443 291 0 7912 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 65512 KiB
Current children cumulated memory: 33512 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 1065336
/proc/meminfo: memFree=123425172/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=67852 memory=37868 CPUtime=102.05 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 7005 0 0 0 10054 151 0 0 20 0 1 0 195932654 69480448 9467 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 16963 9467 1443 291 0 8497 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 67852 KiB
Current children cumulated memory: 37868 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1065351
/proc/meminfo: memFree=123421592/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=68684 memory=38908 CPUtime=161.9 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 7622 0 0 0 15980 210 0 0 20 0 1 0 195932654 70332416 9727 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 17171 9727 1443 291 0 8705 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 68684 KiB
Current children cumulated memory: 38908 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1065362
/proc/meminfo: memFree=123405760/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=83888 memory=45924 CPUtime=221.76 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 8880 0 0 0 21898 278 0 0 20 0 1 0 195932654 85901312 11481 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 20972 11481 1443 291 0 12506 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 83888 KiB
Current children cumulated memory: 45924 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1065372
/proc/meminfo: memFree=123394376/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=85652 memory=51516 CPUtime=281.61 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 9609 0 0 0 27838 323 0 0 20 0 1 0 195932654 87707648 12879 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 21413 12879 1443 291 0 12947 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 85652 KiB
Current children cumulated memory: 51516 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 1065383
/proc/meminfo: memFree=123384552/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=87264 memory=55748 CPUtime=341.44 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 10066 0 0 0 33793 351 0 0 20 0 1 0 195932654 89358336 13937 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 21816 13937 1443 291 0 13350 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 87264 KiB
Current children cumulated memory: 55748 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/258 1065395
/proc/meminfo: memFree=123365284/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=88128 memory=56632 CPUtime=401.3 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 10299 0 0 0 39749 381 0 0 20 0 1 0 195932654 90243072 14158 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 22032 14158 1443 291 0 13566 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 88128 KiB
Current children cumulated memory: 56632 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/256 1065406
/proc/meminfo: memFree=123355860/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=88128 memory=56632 CPUtime=461.17 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 10319 0 0 0 45700 417 0 0 20 0 1 0 195932654 90243072 14158 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 22032 14158 1443 291 0 13566 0
################
# More data... #
################
Current children cumulated memory: 87292 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/257 1066859
/proc/meminfo: memFree=123143696/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=114908 memory=84656 CPUtime=2855.15 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 16777 0 0 0 284476 1039 0 0 20 0 1 0 195932654 117665792 21164 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 28727 21164 1443 291 0 20261 0
Current children cumulated CPU time: 2855.15 s
Current children cumulated vsize: 114908 KiB
Current children cumulated memory: 84656 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/257 1066869
/proc/meminfo: memFree=123136844/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=119120 memory=88844 CPUtime=2915.01 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 17857 0 0 0 290452 1049 0 0 20 0 1 0 195932654 121978880 22211 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 29780 22211 1443 291 0 21314 0
Current children cumulated CPU time: 2915.01 s
Current children cumulated vsize: 119120 KiB
Current children cumulated memory: 88844 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/257 1066880
/proc/meminfo: memFree=123136936/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=119120 memory=88844 CPUtime=2974.87 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 17888 0 0 0 296427 1060 0 0 20 0 1 0 195932654 121978880 22211 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 29780 22211 1443 291 0 21314 0
Current children cumulated CPU time: 2974.87 s
Current children cumulated vsize: 119120 KiB
Current children cumulated memory: 88844 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/259 1067060
/proc/meminfo: memFree=123130908/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=119120 memory=89152 CPUtime=3034.73 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 17988 0 0 0 302397 1076 0 0 20 0 1 0 195932654 121978880 22288 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 29780 22288 1443 291 0 21314 0
Current children cumulated CPU time: 3034.73 s
Current children cumulated vsize: 119120 KiB
Current children cumulated memory: 89152 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/259 1067071
/proc/meminfo: memFree=123127168/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=119120 memory=89152 CPUtime=3094.59 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18019 0 0 0 308372 1087 0 0 20 0 1 0 195932654 121978880 22288 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 29780 22288 1443 291 0 21314 0
Current children cumulated CPU time: 3094.59 s
Current children cumulated vsize: 119120 KiB
Current children cumulated memory: 89152 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/258 1067084
/proc/meminfo: memFree=123126072/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=119120 memory=89184 CPUtime=3154.44 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18054 0 0 0 314346 1098 0 0 20 0 1 0 195932654 121978880 22296 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 29780 22296 1443 291 0 21314 0
Current children cumulated CPU time: 3154.44 s
Current children cumulated vsize: 119120 KiB
Current children cumulated memory: 89184 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 1067106
/proc/meminfo: memFree=123126732/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=119120 memory=89200 CPUtime=3214.31 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18096 0 0 0 320325 1106 0 0 20 0 1 0 195932654 121978880 22300 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 29780 22300 1443 291 0 21314 0
Current children cumulated CPU time: 3214.31 s
Current children cumulated vsize: 119120 KiB
Current children cumulated memory: 89200 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1067116
/proc/meminfo: memFree=123125108/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=149940 memory=90056 CPUtime=3274.16 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18357 0 0 0 326303 1113 0 0 20 0 1 0 195932654 153538560 22514 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 37485 22514 1443 291 0 29019 0
Current children cumulated CPU time: 3274.16 s
Current children cumulated vsize: 149940 KiB
Current children cumulated memory: 90056 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1067127
/proc/meminfo: memFree=123118452/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=150764 memory=93980 CPUtime=3334.02 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18797 0 0 0 332278 1124 0 0 20 0 1 0 195932654 154382336 23495 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 37691 23495 1443 291 0 29225 0
Current children cumulated CPU time: 3334.02 s
Current children cumulated vsize: 150764 KiB
Current children cumulated memory: 93980 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1067139
/proc/meminfo: memFree=123115088/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=150764 memory=94088 CPUtime=3393.88 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18831 0 0 0 338255 1133 0 0 20 0 1 0 195932654 154382336 23522 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 37691 23522 1443 291 0 29225 0
Current children cumulated CPU time: 3393.88 s
Current children cumulated vsize: 150764 KiB
Current children cumulated memory: 94088 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 1067149
/proc/meminfo: memFree=123106964/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=150764 memory=94088 CPUtime=3453.73 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18855 0 0 0 344227 1146 0 0 20 0 1 0 195932654 154382336 23522 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 37691 23522 1443 291 0 29225 0
Current children cumulated CPU time: 3453.73 s
Current children cumulated vsize: 150764 KiB
Current children cumulated memory: 94088 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/255 1067160
/proc/meminfo: memFree=123106112/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=150764 memory=94088 CPUtime=3513.6 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18887 0 0 0 350202 1158 0 0 20 0 1 0 195932654 154382336 23522 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 37691 23522 1443 291 0 29225 0
Current children cumulated CPU time: 3513.6 s
Current children cumulated vsize: 150764 KiB
Current children cumulated memory: 94088 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 1067171
/proc/meminfo: memFree=123104692/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=150764 memory=94088 CPUtime=3573.45 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18921 0 0 0 356178 1167 0 0 20 0 1 0 195932654 154382336 23522 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 37691 23522 1443 291 0 29225 0
Current children cumulated CPU time: 3573.45 s
Current children cumulated vsize: 150764 KiB
Current children cumulated memory: 94088 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609 s]*
/proc/loadavg: 4.12 4.11 4.09 5/256 1067176
/proc/meminfo: memFree=123104440/131524600 swapFree=131071996/131071996
[pid=1065179] ppid=1065176 vsize=150764 memory=94088 CPUtime=3600.09 cores=4,6
/proc/1065179/stat : 1065179 (pb-oll-rs) R 1065176 1065179 1063202 0 -1 4194304 18923 0 0 0 358838 1171 0 0 20 0 1 0 195932654 154382336 23522 134679101440 4194304 5384485 140726592040400 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5674704 5678696 19587072 140726592042005 140726592042082 140726592042082 140726592049099 0
/proc/1065179/statm: 37691 23522 1443 291 0 29225 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 150764 KiB
Current children cumulated memory: 94088 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.01 s]
# the end of solver process 1065179 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.39 s, system=11.7199 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.01
CPU time (s): 3600.11
CPU user time (s): 3588.39
CPU system time (s): 11.7199
CPU usage (%): 99.7533
Max. virtual memory (cumulated for all children) (KiB): 150764
Max. memory (cumulated for all children) (KiB): 94088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.39
system time used= 11.7199
maximum resident set size= 94088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18939
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= 43
involuntary context switches= 1410
# summary of solver processes directly reported to runsolver:
# pid: 1065179
# total CPU time (s): 3600.11
# total CPU user time (s): 3588.39
# total CPU system time (s): 11.7199
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.28913 second user time and 16.184 second system time
The end
Begin job on nodeC025 at 2024-07-20 03:08:06
IDJOB=4454362
IDBENCH=146688
IDSOLVER=3082
FILE ID=nodeC025/4454362-1721437673
RUNJOBID= nodeC025-1721434076-1063213
SLURM_JOB_ID= 7545633
Free space on /tmp= 890024 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454362-1721437673/watcher-4454362-1721437673 -o /tmp/evaluation-result-4454362-1721437673/solver-4454362-1721437673 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063213 --watchdog 3760 pb-oll-rs HOME/instance-4454362-1721437673.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 6f27158fc75cdb45f11467b416377039
RANDOM SEED=1826637962
nodeC025.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 : 3659.953
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.72
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 : 3697.855
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 : 7007.09
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 : 3603.580
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.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.203
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 : 7007.09
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 : 3644.978
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.72
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 : 3698.014
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 : 7007.09
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 : 3637.509
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.72
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 : 3599.984
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 : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 122976512 kB
MemAvailable: 129034128 kB
Buffers: 561564 kB
Cached: 6265772 kB
SwapCached: 0 kB
Active: 1140536 kB
Inactive: 6625228 kB
Active(anon): 1556 kB
Inactive(anon): 982452 kB
Active(file): 1138980 kB
Inactive(file): 5642776 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 2128 kB
Writeback: 0 kB
AnonPages: 930340 kB
Mapped: 110988 kB
Shmem: 45912 kB
KReclaimable: 231012 kB
Slab: 360204 kB
SReclaimable: 231012 kB
SUnreclaim: 129192 kB
KernelStack: 4124 kB
PageTables: 11196 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1284880 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 714752 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: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890020 MiB
End job on nodeC025 at 2024-07-20 04:08:15