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