0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c [STEP] parsing instance
0.00/0.01 c [STEP] solving
0.00/0.01 c #variables 200 #constraints 1999
0.00/0.01 c SMALL=int, LARGE=long long
0.00/0.01 c bounds - >= 0 @ 0.002673
0.00/0.01 c stratification level: 0
0.00/0.01 c bounds - >= 117 @ 0.003321
0.00/0.01 c bounds - >= 118 @ 0.003511
0.00/0.01 c bounds - >= 119 @ 0.003548
0.00/0.01 c bounds - >= 120 @ 0.003584
0.00/0.01 c bounds - >= 121 @ 0.003616
0.00/0.01 c bounds - >= 122 @ 0.003689
0.00/0.01 c bounds - >= 123 @ 0.003764
0.00/0.01 c bounds - >= 124 @ 0.003914
0.00/0.01 c bounds - >= 125 @ 0.004034
0.00/0.01 c bounds - >= 126 @ 0.004148
0.00/0.01 c bounds - >= 127 @ 0.004285
0.00/0.01 c bounds - >= 128 @ 0.004401
0.00/0.01 c bounds - >= 129 @ 0.004541
0.00/0.01 c finalizing WCE round: reformulating cores
0.40/0.47 c #Conflicts: 1000 | #Constraints: 3123
0.40/0.47 c #Conflicts: 2000 | #Constraints: 4127
0.40/0.47 c INPROCESSING
0.40/0.47 c GARBAGE COLLECT
0.40/0.47 c bounds 165 >= 129 @ 0.23111
0.40/0.47 c bounds 165 >= 130 @ 0.231654
0.40/0.47 c bounds 165 >= 131 @ 0.233331
0.40/0.47 c bounds 165 >= 132 @ 0.244357
0.40/0.47 c #Conflicts: 3000 | #Constraints: 4161
0.40/0.47 c bounds 165 >= 133 @ 0.395833
0.40/0.47 c finalizing WCE round: reformulating cores
17.54/17.65 c #Conflicts: 4000 | #Constraints: 5189
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 5000 | #Constraints: 4586
17.54/17.65 c bounds 164 >= 131 @ 0.602595
17.54/17.65 c bounds 164 >= 133 @ 0.67897
17.54/17.65 c #Conflicts: 6000 | #Constraints: 5592
17.54/17.65 c bounds 164 >= 133 @ 0.686328
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 7000 | #Constraints: 4523
17.54/17.65 c bounds 163 >= 136 @ 0.799984
17.54/17.65 c bounds 163 >= 137 @ 0.800477
17.54/17.65 c #Conflicts: 8000 | #Constraints: 5530
17.54/17.65 c bounds 163 >= 138 @ 0.886061
17.54/17.65 c #Conflicts: 9000 | #Constraints: 6558
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 10000 | #Constraints: 5290
17.54/17.65 c bounds 163 >= 139 @ 1.14312
17.54/17.65 c #Conflicts: 11000 | #Constraints: 6315
17.54/17.65 c #Conflicts: 12000 | #Constraints: 7315
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 13000 | #Constraints: 5769
17.54/17.65 c #Conflicts: 14000 | #Constraints: 6769
17.54/17.65 c #Conflicts: 15000 | #Constraints: 7769
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 16000 | #Constraints: 6009
17.54/17.65 c #Conflicts: 17000 | #Constraints: 7009
17.54/17.65 c #Conflicts: 18000 | #Constraints: 8009
17.54/17.65 c #Conflicts: 19000 | #Constraints: 9009
17.54/17.65 c #Conflicts: 20000 | #Constraints: 10009
17.54/17.65 c #Conflicts: 21000 | #Constraints: 11009
17.54/17.65 c #Conflicts: 22000 | #Constraints: 12009
17.54/17.65 c bounds 163 >= 140 @ 3.39082
17.54/17.65 c #Conflicts: 23000 | #Constraints: 13034
17.54/17.65 c #Conflicts: 24000 | #Constraints: 14034
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 25000 | #Constraints: 8897
17.54/17.65 c #Conflicts: 26000 | #Constraints: 9897
17.54/17.65 c #Conflicts: 27000 | #Constraints: 10897
17.54/17.65 c #Conflicts: 28000 | #Constraints: 11897
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 29000 | #Constraints: 7669
17.54/17.65 c #Conflicts: 30000 | #Constraints: 8669
17.54/17.65 c #Conflicts: 31000 | #Constraints: 9669
17.54/17.65 c #Conflicts: 32000 | #Constraints: 10669
17.54/17.65 c #Conflicts: 33000 | #Constraints: 11669
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 34000 | #Constraints: 7815
17.54/17.65 c #Conflicts: 35000 | #Constraints: 8815
17.54/17.65 c #Conflicts: 36000 | #Constraints: 9815
17.54/17.65 c #Conflicts: 37000 | #Constraints: 10815
17.54/17.65 c #Conflicts: 38000 | #Constraints: 11815
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 39000 | #Constraints: 8060
17.54/17.65 c #Conflicts: 40000 | #Constraints: 9060
17.54/17.65 c #Conflicts: 41000 | #Constraints: 10060
17.54/17.65 c #Conflicts: 42000 | #Constraints: 11060
17.54/17.65 c #Conflicts: 43000 | #Constraints: 12060
17.54/17.65 c #Conflicts: 44000 | #Constraints: 13060
17.54/17.65 c #Conflicts: 45000 | #Constraints: 14060
17.54/17.65 c #Conflicts: 46000 | #Constraints: 15060
17.54/17.65 c #Conflicts: 47000 | #Constraints: 16060
17.54/17.65 c #Conflicts: 48000 | #Constraints: 17060
17.54/17.65 c #Conflicts: 49000 | #Constraints: 18060
17.54/17.65 c #Conflicts: 50000 | #Constraints: 19060
17.54/17.65 c #Conflicts: 51000 | #Constraints: 20060
17.54/17.65 c #Conflicts: 52000 | #Constraints: 21060
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 53000 | #Constraints: 12269
17.54/17.65 c #Conflicts: 54000 | #Constraints: 13269
17.54/17.65 c #Conflicts: 55000 | #Constraints: 14269
17.54/17.65 c #Conflicts: 56000 | #Constraints: 15269
17.54/17.65 c #Conflicts: 57000 | #Constraints: 16269
17.54/17.65 c #Conflicts: 58000 | #Constraints: 17269
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 59000 | #Constraints: 10375
17.54/17.65 c #Conflicts: 60000 | #Constraints: 11375
17.54/17.65 c #Conflicts: 61000 | #Constraints: 12375
17.54/17.65 c #Conflicts: 62000 | #Constraints: 13375
17.54/17.65 c #Conflicts: 63000 | #Constraints: 14375
17.54/17.65 c #Conflicts: 64000 | #Constraints: 15375
17.54/17.65 c #Conflicts: 65000 | #Constraints: 16375
17.54/17.65 c INPROCESSING
17.54/17.65 c GARBAGE COLLECT
17.54/17.65 c #Conflicts: 66000 | #Constraints: 10337
17.54/17.65 c #Conflicts: 67000 | #Constraints: 11337
17.54/17.65 c #Conflicts: 68000 | #Constraints: 12337
17.54/17.65 c #Conflicts: 69000 | #Constraints: 13337
17.54/17.65 c #Conflicts: 70000 | #Constraints: 14337
49.13/49.39 c #Conflicts: 71000 | #Constraints: 15337
49.13/49.39 c INPROCESSING
49.13/49.39 c GARBAGE COLLECT
49.13/49.39 c #Conflicts: 72000 | #Constraints: 9603
49.13/49.39 c #Conflicts: 73000 | #Constraints: 10603
49.13/49.39 c #Conflicts: 74000 | #Constraints: 11603
49.13/49.39 c #Conflicts: 75000 | #Constraints: 12603
49.13/49.39 c #Conflicts: 76000 | #Constraints: 13603
49.13/49.39 c #Conflicts: 77000 | #Constraints: 14603
49.13/49.39 c #Conflicts: 78000 | #Constraints: 15603
49.13/49.39 c INPROCESSING
49.13/49.39 c GARBAGE COLLECT
49.13/49.39 c #Conflicts: 79000 | #Constraints: 9941
49.13/49.39 c #Conflicts: 80000 | #Constraints: 10941
49.13/49.39 c #Conflicts: 81000 | #Constraints: 11941
49.13/49.39 c #Conflicts: 82000 | #Constraints: 12941
49.13/49.39 c #Conflicts: 83000 | #Constraints: 13941
49.13/49.39 c #Conflicts: 84000 | #Constraints: 14941
49.13/49.39 c #Conflicts: 85000 | #Constraints: 15941
49.13/49.39 c #Conflicts: 86000 | #Constraints: 16941
49.13/49.39 c #Conflicts: 87000 | #Constraints: 17941
49.13/49.39 c #Conflicts: 88000 | #Constraints: 18941
49.13/49.39 c #Conflicts: 89000 | #Constraints: 19941
49.13/49.39 c #Conflicts: 90000 | #Constraints: 20941
49.13/49.39 c #Conflicts: 91000 | #Constraints: 21941
49.13/49.39 c #Conflicts: 92000 | #Constraints: 22941
49.13/49.39 c #Conflicts: 93000 | #Constraints: 23941
49.13/49.39 c #Conflicts: 94000 | #Constraints: 24941
49.13/49.39 c #Conflicts: 95000 | #Constraints: 25941
49.13/49.39 c #Conflicts: 96000 | #Constraints: 26941
49.13/49.39 c #Conflicts: 97000 | #Constraints: 27941
49.13/49.39 c #Conflicts: 98000 | #Constraints: 28941
49.13/49.39 c #Conflicts: 99000 | #Constraints: 29941
49.13/49.39 c INPROCESSING
49.13/49.39 c GARBAGE COLLECT
49.13/49.39 c #Conflicts: 100000 | #Constraints: 17018
49.13/49.39 c #Conflicts: 101000 | #Constraints: 18018
49.13/49.39 c #Conflicts: 102000 | #Constraints: 19018
49.13/49.39 c #Conflicts: 103000 | #Constraints: 20018
49.13/49.39 c #Conflicts: 104000 | #Constraints: 21018
49.13/49.39 c #Conflicts: 105000 | #Constraints: 22018
49.13/49.39 c #Conflicts: 106000 | #Constraints: 23018
49.13/49.39 c #Conflicts: 107000 | #Constraints: 24018
49.13/49.39 c INPROCESSING
49.13/49.39 c GARBAGE COLLECT
49.13/49.39 c #Conflicts: 108000 | #Constraints: 14097
49.13/49.39 c #Conflicts: 109000 | #Constraints: 15097
49.13/49.39 c #Conflicts: 110000 | #Constraints: 16097
49.13/49.39 c #Conflicts: 111000 | #Constraints: 17097
49.13/49.39 c #Conflicts: 112000 | #Constraints: 18097
49.13/49.39 c #Conflicts: 113000 | #Constraints: 19097
49.13/49.39 c #Conflicts: 114000 | #Constraints: 20097
49.13/49.39 c #Conflicts: 115000 | #Constraints: 21097
49.13/49.39 c INPROCESSING
49.13/49.39 c GARBAGE COLLECT
49.13/49.39 c #Conflicts: 116000 | #Constraints: 12593
49.13/49.39 c #Conflicts: 117000 | #Constraints: 13593
49.13/49.39 c #Conflicts: 118000 | #Constraints: 14593
49.13/49.39 c #Conflicts: 119000 | #Constraints: 15593
49.13/49.39 c #Conflicts: 120000 | #Constraints: 16593
49.13/49.39 c #Conflicts: 121000 | #Constraints: 17593
49.13/49.39 c #Conflicts: 122000 | #Constraints: 18593
49.13/49.39 c #Conflicts: 123000 | #Constraints: 19593
49.13/49.39 c INPROCESSING
49.13/49.39 c GARBAGE COLLECT
49.13/49.39 c #Conflicts: 124000 | #Constraints: 11694
49.13/49.39 c #Conflicts: 125000 | #Constraints: 12694
49.13/49.39 c #Conflicts: 126000 | #Constraints: 13694
49.13/49.39 c #Conflicts: 127000 | #Constraints: 14694
49.13/49.39 c #Conflicts: 128000 | #Constraints: 15694
49.13/49.39 c #Conflicts: 129000 | #Constraints: 16694
49.13/49.39 c #Conflicts: 130000 | #Constraints: 17694
49.13/49.39 c #Conflicts: 131000 | #Constraints: 18694
49.13/49.39 c #Conflicts: 132000 | #Constraints: 19694
49.13/49.39 c INPROCESSING
49.13/49.39 c GARBAGE COLLECT
49.13/49.39 c #Conflicts: 133000 | #Constraints: 12008
49.13/49.39 c #Conflicts: 134000 | #Constraints: 13008
49.13/49.39 c #Conflicts: 135000 | #Constraints: 14008
49.13/49.39 c #Conflicts: 136000 | #Constraints: 15008
49.13/49.39 c #Conflicts: 137000 | #Constraints: 16008
49.13/49.39 c #Conflicts: 138000 | #Constraints: 17008
49.13/49.39 c #Conflicts: 139000 | #Constraints: 18008
49.13/49.39 c #Conflicts: 140000 | #Constraints: 19008
49.13/49.39 c INPROCESSING
49.13/49.39 c GARBAGE COLLECT
49.13/49.39 c #Conflicts: 141000 | #Constraints: 11309
49.13/49.39 c #Conflicts: 142000 | #Constraints: 12309
49.13/49.39 c #Conflicts: 143000 | #Constraints: 13309
49.13/49.39 c #Conflicts: 144000 | #Constraints: 14309
91.20/91.57 c #Conflicts: 145000 | #Constraints: 15309
91.20/91.57 c #Conflicts: 146000 | #Constraints: 16309
91.20/91.57 c #Conflicts: 147000 | #Constraints: 17309
91.20/91.57 c #Conflicts: 148000 | #Constraints: 18309
91.20/91.57 c #Conflicts: 149000 | #Constraints: 19309
91.20/91.57 c #Conflicts: 150000 | #Constraints: 20309
91.20/91.57 c #Conflicts: 151000 | #Constraints: 21309
91.20/91.57 c #Conflicts: 152000 | #Constraints: 22309
91.20/91.57 c #Conflicts: 153000 | #Constraints: 23309
91.20/91.57 c #Conflicts: 154000 | #Constraints: 24309
91.20/91.57 c #Conflicts: 155000 | #Constraints: 25309
91.20/91.57 c #Conflicts: 156000 | #Constraints: 26309
91.20/91.57 c #Conflicts: 157000 | #Constraints: 27309
91.20/91.57 c #Conflicts: 158000 | #Constraints: 28309
91.20/91.57 c #Conflicts: 159000 | #Constraints: 29309
91.20/91.57 c #Conflicts: 160000 | #Constraints: 30309
91.20/91.57 c #Conflicts: 161000 | #Constraints: 31309
91.20/91.57 c #Conflicts: 162000 | #Constraints: 32309
91.20/91.57 c #Conflicts: 163000 | #Constraints: 33309
91.20/91.57 c #Conflicts: 164000 | #Constraints: 34309
91.20/91.57 c #Conflicts: 165000 | #Constraints: 35309
91.20/91.57 c #Conflicts: 166000 | #Constraints: 36309
91.20/91.57 c #Conflicts: 167000 | #Constraints: 37309
91.20/91.57 c #Conflicts: 168000 | #Constraints: 38309
91.20/91.57 c #Conflicts: 169000 | #Constraints: 39309
91.20/91.57 c INPROCESSING
91.20/91.57 c GARBAGE COLLECT
91.20/91.57 c #Conflicts: 170000 | #Constraints: 21604
91.20/91.57 c #Conflicts: 171000 | #Constraints: 22604
91.20/91.57 c #Conflicts: 172000 | #Constraints: 23604
91.20/91.57 c #Conflicts: 173000 | #Constraints: 24604
91.20/91.57 c #Conflicts: 174000 | #Constraints: 25604
91.20/91.57 c #Conflicts: 175000 | #Constraints: 26604
91.20/91.57 c #Conflicts: 176000 | #Constraints: 27604
91.20/91.57 c #Conflicts: 177000 | #Constraints: 28604
91.20/91.57 c #Conflicts: 178000 | #Constraints: 29604
91.20/91.57 c #Conflicts: 179000 | #Constraints: 30604
91.20/91.57 c INPROCESSING
91.20/91.57 c GARBAGE COLLECT
91.20/91.57 c #Conflicts: 180000 | #Constraints: 17248
91.20/91.57 c #Conflicts: 181000 | #Constraints: 18248
91.20/91.57 c #Conflicts: 182000 | #Constraints: 19248
91.20/91.57 c #Conflicts: 183000 | #Constraints: 20248
91.20/91.57 c #Conflicts: 184000 | #Constraints: 21248
91.20/91.57 c #Conflicts: 185000 | #Constraints: 22248
91.20/91.57 c #Conflicts: 186000 | #Constraints: 23248
91.20/91.57 c #Conflicts: 187000 | #Constraints: 24248
91.20/91.57 c #Conflicts: 188000 | #Constraints: 25248
91.20/91.57 c #Conflicts: 189000 | #Constraints: 26248
91.20/91.57 c INPROCESSING
91.20/91.57 c GARBAGE COLLECT
91.20/91.57 c #Conflicts: 190000 | #Constraints: 14963
91.20/91.57 c #Conflicts: 191000 | #Constraints: 15963
91.20/91.57 c #Conflicts: 192000 | #Constraints: 16963
91.20/91.57 c #Conflicts: 193000 | #Constraints: 17963
91.20/91.57 c #Conflicts: 194000 | #Constraints: 18963
91.20/91.57 c #Conflicts: 195000 | #Constraints: 19963
91.20/91.57 c #Conflicts: 196000 | #Constraints: 20963
91.20/91.57 c #Conflicts: 197000 | #Constraints: 21963
91.20/91.57 c #Conflicts: 198000 | #Constraints: 22963
91.20/91.57 c #Conflicts: 199000 | #Constraints: 23963
91.20/91.57 c #Conflicts: 200000 | #Constraints: 24963
91.20/91.57 c INPROCESSING
91.20/91.57 c GARBAGE COLLECT
91.20/91.57 c #Conflicts: 201000 | #Constraints: 14638
91.20/91.57 c #Conflicts: 202000 | #Constraints: 15638
91.20/91.57 c #Conflicts: 203000 | #Constraints: 16638
91.20/91.57 c #Conflicts: 204000 | #Constraints: 17638
91.20/91.57 c #Conflicts: 205000 | #Constraints: 18638
91.20/91.57 c #Conflicts: 206000 | #Constraints: 19638
91.20/91.57 c #Conflicts: 207000 | #Constraints: 20638
91.20/91.57 c #Conflicts: 208000 | #Constraints: 21638
91.20/91.57 c #Conflicts: 209000 | #Constraints: 22638
91.20/91.57 c #Conflicts: 210000 | #Constraints: 23638
91.20/91.57 c INPROCESSING
91.20/91.57 c GARBAGE COLLECT
91.20/91.57 c #Conflicts: 211000 | #Constraints: 13664
91.20/91.57 c #Conflicts: 212000 | #Constraints: 14664
91.20/91.57 c #Conflicts: 213000 | #Constraints: 15664
91.20/91.57 c #Conflicts: 214000 | #Constraints: 16664
91.20/91.57 c #Conflicts: 215000 | #Constraints: 17664
91.20/91.57 c #Conflicts: 216000 | #Constraints: 18664
91.20/91.57 c #Conflicts: 217000 | #Constraints: 19664
91.20/91.57 c #Conflicts: 218000 | #Constraints: 20664
91.20/91.57 c #Conflicts: 219000 | #Constraints: 21664
147.32/147.82 c #Conflicts: 220000 | #Constraints: 22664
147.32/147.82 c #Conflicts: 221000 | #Constraints: 23664
147.32/147.82 c INPROCESSING
147.32/147.82 c GARBAGE COLLECT
147.32/147.82 c #Conflicts: 222000 | #Constraints: 13774
147.32/147.82 c #Conflicts: 223000 | #Constraints: 14774
147.32/147.82 c #Conflicts: 224000 | #Constraints: 15774
147.32/147.82 c #Conflicts: 225000 | #Constraints: 16774
147.32/147.82 c #Conflicts: 226000 | #Constraints: 17774
147.32/147.82 c #Conflicts: 227000 | #Constraints: 18774
147.32/147.82 c #Conflicts: 228000 | #Constraints: 19774
147.32/147.82 c #Conflicts: 229000 | #Constraints: 20774
147.32/147.82 c #Conflicts: 230000 | #Constraints: 21774
147.32/147.82 c #Conflicts: 231000 | #Constraints: 22774
147.32/147.82 c #Conflicts: 232000 | #Constraints: 23774
147.32/147.82 c #Conflicts: 233000 | #Constraints: 24774
147.32/147.82 c #Conflicts: 234000 | #Constraints: 25774
147.32/147.82 c #Conflicts: 235000 | #Constraints: 26774
147.32/147.82 c #Conflicts: 236000 | #Constraints: 27774
147.32/147.82 c #Conflicts: 237000 | #Constraints: 28774
147.32/147.82 c #Conflicts: 238000 | #Constraints: 29774
147.32/147.82 c #Conflicts: 239000 | #Constraints: 30774
147.32/147.82 c #Conflicts: 240000 | #Constraints: 31774
147.32/147.82 c #Conflicts: 241000 | #Constraints: 32774
147.32/147.82 c #Conflicts: 242000 | #Constraints: 33774
147.32/147.82 c #Conflicts: 243000 | #Constraints: 34774
147.32/147.82 c #Conflicts: 244000 | #Constraints: 35774
147.32/147.82 c #Conflicts: 245000 | #Constraints: 36774
147.32/147.82 c #Conflicts: 246000 | #Constraints: 37774
147.32/147.82 c #Conflicts: 247000 | #Constraints: 38774
147.32/147.82 c #Conflicts: 248000 | #Constraints: 39774
147.32/147.82 c #Conflicts: 249000 | #Constraints: 40774
147.32/147.82 c #Conflicts: 250000 | #Constraints: 41774
147.32/147.82 c #Conflicts: 251000 | #Constraints: 42774
147.32/147.82 c #Conflicts: 252000 | #Constraints: 43774
147.32/147.82 c #Conflicts: 253000 | #Constraints: 44774
147.32/147.82 c #Conflicts: 254000 | #Constraints: 45774
147.32/147.82 c #Conflicts: 255000 | #Constraints: 46774
147.32/147.82 c #Conflicts: 256000 | #Constraints: 47774
147.32/147.82 c #Conflicts: 257000 | #Constraints: 48774
147.32/147.82 c INPROCESSING
147.32/147.82 c GARBAGE COLLECT
147.32/147.82 c #Conflicts: 258000 | #Constraints: 26236
147.32/147.82 c #Conflicts: 259000 | #Constraints: 27236
147.32/147.82 c #Conflicts: 260000 | #Constraints: 28236
147.32/147.82 c #Conflicts: 261000 | #Constraints: 29236
147.32/147.82 c #Conflicts: 262000 | #Constraints: 30236
147.32/147.82 c #Conflicts: 263000 | #Constraints: 31236
147.32/147.82 c #Conflicts: 264000 | #Constraints: 32236
147.32/147.82 c #Conflicts: 265000 | #Constraints: 33236
147.32/147.82 c #Conflicts: 266000 | #Constraints: 34236
147.32/147.82 c #Conflicts: 267000 | #Constraints: 35236
147.32/147.82 c #Conflicts: 268000 | #Constraints: 36236
147.32/147.82 c #Conflicts: 269000 | #Constraints: 37236
147.32/147.82 c INPROCESSING
147.32/147.82 c GARBAGE COLLECT
147.32/147.82 c #Conflicts: 270000 | #Constraints: 20434
147.32/147.82 c #Conflicts: 271000 | #Constraints: 21434
147.32/147.82 c #Conflicts: 272000 | #Constraints: 22434
147.32/147.82 c #Conflicts: 273000 | #Constraints: 23434
147.32/147.82 c #Conflicts: 274000 | #Constraints: 24434
147.32/147.82 c #Conflicts: 275000 | #Constraints: 25434
147.32/147.82 c #Conflicts: 276000 | #Constraints: 26434
147.32/147.82 c #Conflicts: 277000 | #Constraints: 27434
147.32/147.82 c #Conflicts: 278000 | #Constraints: 28434
147.32/147.82 c #Conflicts: 279000 | #Constraints: 29434
147.32/147.82 c #Conflicts: 280000 | #Constraints: 30434
147.32/147.82 c #Conflicts: 281000 | #Constraints: 31434
147.32/147.82 c #Conflicts: 282000 | #Constraints: 32434
147.32/147.82 c INPROCESSING
147.32/147.82 c GARBAGE COLLECT
147.32/147.82 c #Conflicts: 283000 | #Constraints: 18363
147.32/147.82 c #Conflicts: 284000 | #Constraints: 19363
147.32/147.82 c #Conflicts: 285000 | #Constraints: 20363
147.32/147.82 c #Conflicts: 286000 | #Constraints: 21363
147.32/147.82 c #Conflicts: 287000 | #Constraints: 22363
147.32/147.82 c #Conflicts: 288000 | #Constraints: 23363
147.32/147.82 c #Conflicts: 289000 | #Constraints: 24363
147.32/147.82 c #Conflicts: 290000 | #Constraints: 25363
147.32/147.82 c #Conflicts: 291000 | #Constraints: 26363
147.32/147.82 c #Conflicts: 292000 | #Constraints: 27363
147.32/147.82 c #Conflicts: 293000 | #Constraints: 28363
147.32/147.82 c #Conflicts: 294000 | #Constraints: 29363
147.32/147.82 c INPROCESSING
147.32/147.82 c GARBAGE COLLECT
147.32/147.82 c #Conflicts: 295000 | #Constraints: 16587
213.59/214.38 c #Conflicts: 296000 | #Constraints: 17587
213.59/214.38 c #Conflicts: 297000 | #Constraints: 18587
213.59/214.38 c #Conflicts: 298000 | #Constraints: 19587
213.59/214.38 c #Conflicts: 299000 | #Constraints: 20587
213.59/214.38 c #Conflicts: 300000 | #Constraints: 21587
213.59/214.38 c #Conflicts: 301000 | #Constraints: 22587
213.59/214.38 c #Conflicts: 302000 | #Constraints: 23587
213.59/214.38 c #Conflicts: 303000 | #Constraints: 24587
213.59/214.38 c #Conflicts: 304000 | #Constraints: 25587
213.59/214.38 c #Conflicts: 305000 | #Constraints: 26587
213.59/214.38 c #Conflicts: 306000 | #Constraints: 27587
213.59/214.38 c #Conflicts: 307000 | #Constraints: 28587
213.59/214.38 c INPROCESSING
213.59/214.38 c GARBAGE COLLECT
213.59/214.38 c #Conflicts: 308000 | #Constraints: 16336
213.59/214.38 c #Conflicts: 309000 | #Constraints: 17336
213.59/214.38 c #Conflicts: 310000 | #Constraints: 18336
213.59/214.38 c #Conflicts: 311000 | #Constraints: 19336
213.59/214.38 c #Conflicts: 312000 | #Constraints: 20336
213.59/214.38 c #Conflicts: 313000 | #Constraints: 21336
213.59/214.38 c #Conflicts: 314000 | #Constraints: 22336
213.59/214.38 c #Conflicts: 315000 | #Constraints: 23336
213.59/214.38 c #Conflicts: 316000 | #Constraints: 24336
213.59/214.38 c #Conflicts: 317000 | #Constraints: 25336
213.59/214.38 c #Conflicts: 318000 | #Constraints: 26336
213.59/214.38 c #Conflicts: 319000 | #Constraints: 27336
213.59/214.38 c #Conflicts: 320000 | #Constraints: 28336
213.59/214.38 c INPROCESSING
213.59/214.38 c GARBAGE COLLECT
213.59/214.38 c #Conflicts: 321000 | #Constraints: 16285
213.59/214.38 c #Conflicts: 322000 | #Constraints: 17285
213.59/214.38 c #Conflicts: 323000 | #Constraints: 18285
213.59/214.38 c #Conflicts: 324000 | #Constraints: 19285
213.59/214.38 c #Conflicts: 325000 | #Constraints: 20285
213.59/214.38 c #Conflicts: 326000 | #Constraints: 21285
213.59/214.38 c #Conflicts: 327000 | #Constraints: 22285
213.59/214.38 c #Conflicts: 328000 | #Constraints: 23285
213.59/214.38 c #Conflicts: 329000 | #Constraints: 24285
213.59/214.38 c #Conflicts: 330000 | #Constraints: 25285
213.59/214.38 c #Conflicts: 331000 | #Constraints: 26285
213.59/214.38 c #Conflicts: 332000 | #Constraints: 27285
213.59/214.38 c #Conflicts: 333000 | #Constraints: 28285
213.59/214.38 c #Conflicts: 334000 | #Constraints: 29285
213.59/214.38 c #Conflicts: 335000 | #Constraints: 30285
213.59/214.38 c #Conflicts: 336000 | #Constraints: 31285
213.59/214.38 c #Conflicts: 337000 | #Constraints: 32285
213.59/214.38 c #Conflicts: 338000 | #Constraints: 33285
213.59/214.38 c #Conflicts: 339000 | #Constraints: 34285
213.59/214.38 c #Conflicts: 340000 | #Constraints: 35285
213.59/214.38 c #Conflicts: 341000 | #Constraints: 36285
213.59/214.38 c #Conflicts: 342000 | #Constraints: 37285
213.59/214.38 c #Conflicts: 343000 | #Constraints: 38285
213.59/214.38 c #Conflicts: 344000 | #Constraints: 39285
213.59/214.38 c #Conflicts: 345000 | #Constraints: 40285
213.59/214.38 c #Conflicts: 346000 | #Constraints: 41285
213.59/214.38 c #Conflicts: 347000 | #Constraints: 42285
213.59/214.38 c #Conflicts: 348000 | #Constraints: 43285
213.59/214.38 c #Conflicts: 349000 | #Constraints: 44285
213.59/214.38 c #Conflicts: 350000 | #Constraints: 45285
213.59/214.38 c #Conflicts: 351000 | #Constraints: 46285
213.59/214.38 c #Conflicts: 352000 | #Constraints: 47285
213.59/214.38 c #Conflicts: 353000 | #Constraints: 48285
213.59/214.38 c #Conflicts: 354000 | #Constraints: 49285
213.59/214.38 c #Conflicts: 355000 | #Constraints: 50285
213.59/214.38 c #Conflicts: 356000 | #Constraints: 51285
213.59/214.38 c #Conflicts: 357000 | #Constraints: 52285
213.59/214.38 c #Conflicts: 358000 | #Constraints: 53285
213.59/214.38 c #Conflicts: 359000 | #Constraints: 54285
213.59/214.38 c #Conflicts: 360000 | #Constraints: 55285
213.59/214.38 c #Conflicts: 361000 | #Constraints: 56285
213.59/214.38 c #Conflicts: 362000 | #Constraints: 57285
213.59/214.38 c #Conflicts: 363000 | #Constraints: 58285
213.59/214.38 c INPROCESSING
213.59/214.38 c GARBAGE COLLECT
213.59/214.38 c #Conflicts: 364000 | #Constraints: 30900
213.59/214.38 c #Conflicts: 365000 | #Constraints: 31900
213.59/214.38 c #Conflicts: 366000 | #Constraints: 32900
213.59/214.38 c #Conflicts: 367000 | #Constraints: 33900
213.59/214.38 c #Conflicts: 368000 | #Constraints: 34900
213.59/214.38 c #Conflicts: 369000 | #Constraints: 35900
213.59/214.38 c #Conflicts: 370000 | #Constraints: 36900
213.59/214.38 c #Conflicts: 371000 | #Constraints: 37900
213.59/214.38 c #Conflicts: 372000 | #Constraints: 38900
247.29/248.14 c #Conflicts: 373000 | #Constraints: 39900
247.29/248.14 c #Conflicts: 374000 | #Constraints: 40900
247.29/248.14 c #Conflicts: 375000 | #Constraints: 41900
247.29/248.14 c #Conflicts: 376000 | #Constraints: 42900
247.29/248.14 c #Conflicts: 377000 | #Constraints: 43900
247.29/248.14 c #Conflicts: 378000 | #Constraints: 44900
247.29/248.14 c INPROCESSING
247.29/248.14 c GARBAGE COLLECT
247.29/248.14 c #Conflicts: 379000 | #Constraints: 24600
247.29/248.14 c #Conflicts: 380000 | #Constraints: 25600
247.29/248.14 c #Conflicts: 381000 | #Constraints: 26600
247.29/248.14 c #Conflicts: 382000 | #Constraints: 27600
247.29/248.14 c #Conflicts: 383000 | #Constraints: 28600
247.29/248.14 c #Conflicts: 384000 | #Constraints: 29600
247.29/248.14 c #Conflicts: 385000 | #Constraints: 30600
247.29/248.14 c #Conflicts: 386000 | #Constraints: 31600
247.29/248.14 c #Conflicts: 387000 | #Constraints: 32600
247.29/248.14 c #Conflicts: 388000 | #Constraints: 33600
247.29/248.14 c #Conflicts: 389000 | #Constraints: 34600
247.29/248.14 c #Conflicts: 390000 | #Constraints: 35600
247.29/248.14 c #Conflicts: 391000 | #Constraints: 36600
247.29/248.14 c #Conflicts: 392000 | #Constraints: 37600
247.29/248.14 c INPROCESSING
247.29/248.14 c GARBAGE COLLECT
247.29/248.14 c #Conflicts: 393000 | #Constraints: 20750
247.29/248.14 c #Conflicts: 394000 | #Constraints: 21750
247.29/248.14 c #Conflicts: 395000 | #Constraints: 22750
247.29/248.14 c #Conflicts: 396000 | #Constraints: 23750
247.29/248.14 c #Conflicts: 397000 | #Constraints: 24750
247.29/248.14 c #Conflicts: 398000 | #Constraints: 25750
247.29/248.14 c #Conflicts: 399000 | #Constraints: 26750
247.29/248.14 c #Conflicts: 400000 | #Constraints: 27750
247.29/248.14 c #Conflicts: 401000 | #Constraints: 28750
247.29/248.14 c #Conflicts: 402000 | #Constraints: 29750
247.29/248.14 c #Conflicts: 403000 | #Constraints: 30750
247.29/248.14 c #Conflicts: 404000 | #Constraints: 31750
247.29/248.14 c #Conflicts: 405000 | #Constraints: 32750
247.29/248.14 c #Conflicts: 406000 | #Constraints: 33750
247.29/248.14 c #Conflicts: 407000 | #Constraints: 34750
247.29/248.14 c INPROCESSING
247.29/248.14 c GARBAGE COLLECT
247.29/248.14 c #Conflicts: 408000 | #Constraints: 19529
247.29/248.14 c #Conflicts: 409000 | #Constraints: 20529
247.29/248.14 c #Conflicts: 410000 | #Constraints: 21529
247.29/248.14 c bounds 163 >= 141 @ 244.916
247.29/248.14 c #Conflicts: 411000 | #Constraints: 22551
247.29/248.14 c #Conflicts: 412000 | #Constraints: 23551
247.29/248.14 c finalizing WCE round: reformulating cores
298.41/299.48 c #Conflicts: 413000 | #Constraints: 24554
298.41/299.48 c #Conflicts: 414000 | #Constraints: 25558
298.41/299.48 c #Conflicts: 415000 | #Constraints: 26560
298.41/299.48 c bounds 162 >= 140 @ 247
298.41/299.48 c #Conflicts: 416000 | #Constraints: 27562
298.41/299.48 c bounds 162 >= 142 @ 247.511
298.41/299.48 c bounds 162 >= 143 @ 247.514
298.41/299.48 c #Conflicts: 417000 | #Constraints: 28574
298.41/299.48 c #Conflicts: 418000 | #Constraints: 29574
298.41/299.48 c #Conflicts: 419000 | #Constraints: 30574
298.41/299.48 c #Conflicts: 420000 | #Constraints: 31574
298.41/299.48 c #Conflicts: 421000 | #Constraints: 32574
298.41/299.48 c INPROCESSING
298.41/299.48 c GARBAGE COLLECT
298.41/299.48 c #Conflicts: 422000 | #Constraints: 17944
298.41/299.48 c #Conflicts: 423000 | #Constraints: 18944
298.41/299.48 c #Conflicts: 424000 | #Constraints: 19944
298.41/299.48 c #Conflicts: 425000 | #Constraints: 20944
298.41/299.48 c #Conflicts: 426000 | #Constraints: 21944
298.41/299.48 c #Conflicts: 427000 | #Constraints: 22944
298.41/299.48 c #Conflicts: 428000 | #Constraints: 23944
298.41/299.48 c #Conflicts: 429000 | #Constraints: 24944
298.41/299.48 c #Conflicts: 430000 | #Constraints: 25944
298.41/299.48 c #Conflicts: 431000 | #Constraints: 26944
298.41/299.48 c #Conflicts: 432000 | #Constraints: 27944
298.41/299.48 c #Conflicts: 433000 | #Constraints: 28944
298.41/299.48 c #Conflicts: 434000 | #Constraints: 29944
298.41/299.48 c #Conflicts: 435000 | #Constraints: 30944
298.41/299.48 c #Conflicts: 436000 | #Constraints: 31944
298.41/299.48 c #Conflicts: 437000 | #Constraints: 32944
298.41/299.48 c #Conflicts: 438000 | #Constraints: 33944
298.41/299.48 c #Conflicts: 439000 | #Constraints: 34944
298.41/299.48 c #Conflicts: 440000 | #Constraints: 35944
298.41/299.48 c #Conflicts: 441000 | #Constraints: 36944
298.41/299.48 c bounds 162 >= 144 @ 261.242
298.41/299.48 c #Conflicts: 442000 | #Constraints: 37969
298.41/299.48 c #Conflicts: 443000 | #Constraints: 38969
298.41/299.48 c #Conflicts: 444000 | #Constraints: 39969
298.41/299.48 c #Conflicts: 445000 | #Constraints: 40969
298.41/299.48 c #Conflicts: 446000 | #Constraints: 41969
298.41/299.48 c #Conflicts: 447000 | #Constraints: 42969
298.41/299.48 c #Conflicts: 448000 | #Constraints: 43969
298.41/299.48 c #Conflicts: 449000 | #Constraints: 44969
298.41/299.48 c #Conflicts: 450000 | #Constraints: 45969
298.41/299.48 c #Conflicts: 451000 | #Constraints: 46969
298.41/299.48 c #Conflicts: 452000 | #Constraints: 47969
298.41/299.48 c #Conflicts: 453000 | #Constraints: 48969
298.41/299.48 c #Conflicts: 454000 | #Constraints: 49969
298.41/299.48 c #Conflicts: 455000 | #Constraints: 50969
298.41/299.48 c #Conflicts: 456000 | #Constraints: 51969
298.41/299.48 c #Conflicts: 457000 | #Constraints: 52969
298.41/299.48 c #Conflicts: 458000 | #Constraints: 53969
298.41/299.48 c #Conflicts: 459000 | #Constraints: 54969
298.41/299.48 c #Conflicts: 460000 | #Constraints: 55969
298.41/299.48 c #Conflicts: 461000 | #Constraints: 56969
298.41/299.48 c #Conflicts: 462000 | #Constraints: 57969
298.41/299.48 c #Conflicts: 463000 | #Constraints: 58969
298.41/299.48 c #Conflicts: 464000 | #Constraints: 59969
298.41/299.48 c #Conflicts: 465000 | #Constraints: 60969
298.41/299.48 c #Conflicts: 466000 | #Constraints: 61969
298.41/299.48 c #Conflicts: 467000 | #Constraints: 62969
298.41/299.48 c #Conflicts: 468000 | #Constraints: 63969
298.41/299.48 c #Conflicts: 469000 | #Constraints: 64969
298.41/299.48 c #Conflicts: 470000 | #Constraints: 65969
298.41/299.48 c #Conflicts: 471000 | #Constraints: 66969
298.41/299.48 c INPROCESSING
298.41/299.48 c GARBAGE COLLECT
298.41/299.48 c #Conflicts: 472000 | #Constraints: 35191
298.41/299.48 c #Conflicts: 473000 | #Constraints: 36191
298.41/299.48 c #Conflicts: 474000 | #Constraints: 37191
298.41/299.48 c #Conflicts: 475000 | #Constraints: 38191
298.41/299.48 c #Conflicts: 476000 | #Constraints: 39191
298.41/299.48 c #Conflicts: 477000 | #Constraints: 40191
298.41/299.48 c #Conflicts: 478000 | #Constraints: 41191
298.41/299.48 c #Conflicts: 479000 | #Constraints: 42191
298.41/299.48 c #Conflicts: 480000 | #Constraints: 43191
298.41/299.48 c #Conflicts: 481000 | #Constraints: 44191
298.41/299.48 c #Conflicts: 482000 | #Constraints: 45191
298.41/299.48 c #Conflicts: 483000 | #Constraints: 46191
298.41/299.48 c #Conflicts: 484000 | #Constraints: 47191
298.41/299.48 c #Conflicts: 485000 | #Constraints: 48191
298.41/299.48 c #Conflicts: 486000 | #Constraints: 49191
298.41/299.48 c #Conflicts: 487000 | #Constraints: 50191
298.41/299.48 c #Conflicts: 488000 | #Constraints: 51191
365.20/366.42 c INPROCESSING
365.20/366.42 c GARBAGE COLLECT
365.20/366.42 c #Conflicts: 489000 | #Constraints: 27764
365.20/366.42 c #Conflicts: 490000 | #Constraints: 28764
365.20/366.42 c #Conflicts: 491000 | #Constraints: 29764
365.20/366.42 c #Conflicts: 492000 | #Constraints: 30764
365.20/366.42 c #Conflicts: 493000 | #Constraints: 31764
365.20/366.42 c #Conflicts: 494000 | #Constraints: 32764
365.20/366.42 c #Conflicts: 495000 | #Constraints: 33764
365.20/366.42 c #Conflicts: 496000 | #Constraints: 34764
365.20/366.42 c #Conflicts: 497000 | #Constraints: 35764
365.20/366.42 c #Conflicts: 498000 | #Constraints: 36764
365.20/366.42 c #Conflicts: 499000 | #Constraints: 37764
365.20/366.42 c #Conflicts: 500000 | #Constraints: 38764
365.20/366.42 c #Conflicts: 501000 | #Constraints: 39764
365.20/366.42 c #Conflicts: 502000 | #Constraints: 40764
365.20/366.42 c #Conflicts: 503000 | #Constraints: 41764
365.20/366.42 c #Conflicts: 504000 | #Constraints: 42764
365.20/366.42 c INPROCESSING
365.20/366.42 c GARBAGE COLLECT
365.20/366.42 c #Conflicts: 505000 | #Constraints: 23392
365.20/366.42 c #Conflicts: 506000 | #Constraints: 24392
365.20/366.42 c #Conflicts: 507000 | #Constraints: 25392
365.20/366.42 c #Conflicts: 508000 | #Constraints: 26392
365.20/366.42 c #Conflicts: 509000 | #Constraints: 27392
365.20/366.42 c #Conflicts: 510000 | #Constraints: 28392
365.20/366.42 c #Conflicts: 511000 | #Constraints: 29392
365.20/366.42 c #Conflicts: 512000 | #Constraints: 30392
365.20/366.42 c #Conflicts: 513000 | #Constraints: 31392
365.20/366.42 c #Conflicts: 514000 | #Constraints: 32392
365.20/366.42 c #Conflicts: 515000 | #Constraints: 33392
365.20/366.42 c #Conflicts: 516000 | #Constraints: 34392
365.20/366.42 c #Conflicts: 517000 | #Constraints: 35392
365.20/366.42 c #Conflicts: 518000 | #Constraints: 36392
365.20/366.42 c #Conflicts: 519000 | #Constraints: 37392
365.20/366.42 c #Conflicts: 520000 | #Constraints: 38392
365.20/366.42 c #Conflicts: 521000 | #Constraints: 39392
365.20/366.42 c #Conflicts: 522000 | #Constraints: 40392
365.20/366.42 c #Conflicts: 523000 | #Constraints: 41392
365.20/366.42 c #Conflicts: 524000 | #Constraints: 42392
365.20/366.42 c #Conflicts: 525000 | #Constraints: 43392
365.20/366.42 c #Conflicts: 526000 | #Constraints: 44392
365.20/366.42 c #Conflicts: 527000 | #Constraints: 45392
365.20/366.42 c #Conflicts: 528000 | #Constraints: 46392
365.20/366.42 c #Conflicts: 529000 | #Constraints: 47392
365.20/366.42 c #Conflicts: 530000 | #Constraints: 48392
365.20/366.42 c #Conflicts: 531000 | #Constraints: 49392
365.20/366.42 c #Conflicts: 532000 | #Constraints: 50392
365.20/366.42 c #Conflicts: 533000 | #Constraints: 51392
365.20/366.42 c #Conflicts: 534000 | #Constraints: 52392
365.20/366.42 c #Conflicts: 535000 | #Constraints: 53392
365.20/366.42 c #Conflicts: 536000 | #Constraints: 54392
365.20/366.42 c #Conflicts: 537000 | #Constraints: 55392
365.20/366.42 c #Conflicts: 538000 | #Constraints: 56392
365.20/366.42 c #Conflicts: 539000 | #Constraints: 57392
365.20/366.42 c #Conflicts: 540000 | #Constraints: 58392
365.20/366.42 c #Conflicts: 541000 | #Constraints: 59392
365.20/366.42 c #Conflicts: 542000 | #Constraints: 60392
365.20/366.42 c #Conflicts: 543000 | #Constraints: 61392
365.20/366.42 c #Conflicts: 544000 | #Constraints: 62392
365.20/366.42 c #Conflicts: 545000 | #Constraints: 63392
365.20/366.42 c #Conflicts: 546000 | #Constraints: 64392
365.20/366.42 c #Conflicts: 547000 | #Constraints: 65392
365.20/366.42 c #Conflicts: 548000 | #Constraints: 66392
365.20/366.42 c #Conflicts: 549000 | #Constraints: 67392
365.20/366.42 c #Conflicts: 550000 | #Constraints: 68392
365.20/366.42 c #Conflicts: 551000 | #Constraints: 69392
365.20/366.42 c #Conflicts: 552000 | #Constraints: 70392
365.20/366.42 c #Conflicts: 553000 | #Constraints: 71392
365.20/366.42 c #Conflicts: 554000 | #Constraints: 72392
365.20/366.42 c #Conflicts: 555000 | #Constraints: 73392
365.20/366.42 c #Conflicts: 556000 | #Constraints: 74392
365.20/366.42 c #Conflicts: 557000 | #Constraints: 75392
365.20/366.42 c #Conflicts: 558000 | #Constraints: 76392
365.20/366.42 c INPROCESSING
365.20/366.42 c GARBAGE COLLECT
365.20/366.42 c #Conflicts: 559000 | #Constraints: 40070
365.20/366.42 c #Conflicts: 560000 | #Constraints: 41070
365.20/366.42 c #Conflicts: 561000 | #Constraints: 42070
365.20/366.42 c #Conflicts: 562000 | #Constraints: 43070
365.20/366.42 c #Conflicts: 563000 | #Constraints: 44070
365.20/366.42 c #Conflicts: 564000 | #Constraints: 45070
365.20/366.42 c #Conflicts: 565000 | #Constraints: 46070
435.56/437.05 c #Conflicts: 566000 | #Constraints: 47070
435.56/437.05 c #Conflicts: 567000 | #Constraints: 48070
435.56/437.05 c #Conflicts: 568000 | #Constraints: 49070
435.56/437.05 c #Conflicts: 569000 | #Constraints: 50070
435.56/437.05 c #Conflicts: 570000 | #Constraints: 51070
435.56/437.05 c #Conflicts: 571000 | #Constraints: 52070
435.56/437.05 c #Conflicts: 572000 | #Constraints: 53070
435.56/437.05 c #Conflicts: 573000 | #Constraints: 54070
435.56/437.05 c #Conflicts: 574000 | #Constraints: 55070
435.56/437.05 c #Conflicts: 575000 | #Constraints: 56070
435.56/437.05 c #Conflicts: 576000 | #Constraints: 57070
435.56/437.05 c INPROCESSING
435.56/437.05 c GARBAGE COLLECT
435.56/437.05 c #Conflicts: 577000 | #Constraints: 30600
435.56/437.05 c #Conflicts: 578000 | #Constraints: 31600
435.56/437.05 c #Conflicts: 579000 | #Constraints: 32600
435.56/437.05 c #Conflicts: 580000 | #Constraints: 33600
435.56/437.05 c #Conflicts: 581000 | #Constraints: 34600
435.56/437.05 c #Conflicts: 582000 | #Constraints: 35600
435.56/437.05 c #Conflicts: 583000 | #Constraints: 36600
435.56/437.05 c #Conflicts: 584000 | #Constraints: 37600
435.56/437.05 c #Conflicts: 585000 | #Constraints: 38600
435.56/437.05 c #Conflicts: 586000 | #Constraints: 39600
435.56/437.05 c #Conflicts: 587000 | #Constraints: 40600
435.56/437.05 c #Conflicts: 588000 | #Constraints: 41600
435.56/437.05 c #Conflicts: 589000 | #Constraints: 42600
435.56/437.05 c #Conflicts: 590000 | #Constraints: 43600
435.56/437.05 c #Conflicts: 591000 | #Constraints: 44600
435.56/437.05 c #Conflicts: 592000 | #Constraints: 45600
435.56/437.05 c #Conflicts: 593000 | #Constraints: 46600
435.56/437.05 c #Conflicts: 594000 | #Constraints: 47600
435.56/437.05 c INPROCESSING
435.56/437.05 c GARBAGE COLLECT
435.56/437.05 c #Conflicts: 595000 | #Constraints: 25979
435.56/437.05 c #Conflicts: 596000 | #Constraints: 26979
435.56/437.05 c #Conflicts: 597000 | #Constraints: 27979
435.56/437.05 c #Conflicts: 598000 | #Constraints: 28979
435.56/437.05 c #Conflicts: 599000 | #Constraints: 29979
435.56/437.05 c #Conflicts: 600000 | #Constraints: 30979
435.56/437.05 c #Conflicts: 601000 | #Constraints: 31979
435.56/437.05 c #Conflicts: 602000 | #Constraints: 32979
435.56/437.05 c #Conflicts: 603000 | #Constraints: 33979
435.56/437.05 c #Conflicts: 604000 | #Constraints: 34979
435.56/437.05 c #Conflicts: 605000 | #Constraints: 35979
435.56/437.05 c #Conflicts: 606000 | #Constraints: 36979
435.56/437.05 c #Conflicts: 607000 | #Constraints: 37979
435.56/437.05 c #Conflicts: 608000 | #Constraints: 38979
435.56/437.05 c #Conflicts: 609000 | #Constraints: 39979
435.56/437.05 c #Conflicts: 610000 | #Constraints: 40979
435.56/437.05 c #Conflicts: 611000 | #Constraints: 41979
435.56/437.05 c #Conflicts: 612000 | #Constraints: 42979
435.56/437.05 c #Conflicts: 613000 | #Constraints: 43979
435.56/437.05 c #Conflicts: 614000 | #Constraints: 44979
435.56/437.05 c #Conflicts: 615000 | #Constraints: 45979
435.56/437.05 c #Conflicts: 616000 | #Constraints: 46979
435.56/437.05 c #Conflicts: 617000 | #Constraints: 47979
435.56/437.05 c #Conflicts: 618000 | #Constraints: 48979
435.56/437.05 c #Conflicts: 619000 | #Constraints: 49979
435.56/437.05 c #Conflicts: 620000 | #Constraints: 50979
435.56/437.05 c #Conflicts: 621000 | #Constraints: 51979
435.56/437.05 c #Conflicts: 622000 | #Constraints: 52979
435.56/437.05 c #Conflicts: 623000 | #Constraints: 53979
435.56/437.05 c #Conflicts: 624000 | #Constraints: 54979
435.56/437.05 c #Conflicts: 625000 | #Constraints: 55979
435.56/437.05 c #Conflicts: 626000 | #Constraints: 56979
435.56/437.05 c #Conflicts: 627000 | #Constraints: 57979
435.56/437.05 c #Conflicts: 628000 | #Constraints: 58979
435.56/437.05 c #Conflicts: 629000 | #Constraints: 59979
435.56/437.05 c #Conflicts: 630000 | #Constraints: 60979
435.56/437.05 c #Conflicts: 631000 | #Constraints: 61979
435.56/437.05 c #Conflicts: 632000 | #Constraints: 62979
435.56/437.05 c #Conflicts: 633000 | #Constraints: 63979
435.56/437.05 c #Conflicts: 634000 | #Constraints: 64979
435.56/437.05 c #Conflicts: 635000 | #Constraints: 65979
435.56/437.05 c #Conflicts: 636000 | #Constraints: 66979
435.56/437.05 c #Conflicts: 637000 | #Constraints: 67979
435.56/437.05 c #Conflicts: 638000 | #Constraints: 68979
435.56/437.05 c #Conflicts: 639000 | #Constraints: 69979
435.56/437.05 c #Conflicts: 640000 | #Constraints: 70979
435.56/437.05 c #Conflicts: 641000 | #Constraints: 71979
435.56/437.05 c #Conflicts: 642000 | #Constraints: 72979
512.20/513.92 c #Conflicts: 643000 | #Constraints: 73979
512.20/513.92 c #Conflicts: 644000 | #Constraints: 74979
512.20/513.92 c #Conflicts: 645000 | #Constraints: 75979
512.20/513.92 c #Conflicts: 646000 | #Constraints: 76979
512.20/513.92 c #Conflicts: 647000 | #Constraints: 77979
512.20/513.92 c #Conflicts: 648000 | #Constraints: 78979
512.20/513.92 c #Conflicts: 649000 | #Constraints: 79979
512.20/513.92 c #Conflicts: 650000 | #Constraints: 80979
512.20/513.92 c #Conflicts: 651000 | #Constraints: 81979
512.20/513.92 c #Conflicts: 652000 | #Constraints: 82979
512.20/513.92 c INPROCESSING
512.20/513.92 c GARBAGE COLLECT
512.20/513.92 c #Conflicts: 653000 | #Constraints: 43399
512.20/513.92 c #Conflicts: 654000 | #Constraints: 44399
512.20/513.92 c #Conflicts: 655000 | #Constraints: 45399
512.20/513.92 c #Conflicts: 656000 | #Constraints: 46399
512.20/513.92 c #Conflicts: 657000 | #Constraints: 47399
512.20/513.92 c #Conflicts: 658000 | #Constraints: 48399
512.20/513.92 c #Conflicts: 659000 | #Constraints: 49399
512.20/513.92 c #Conflicts: 660000 | #Constraints: 50399
512.20/513.92 c #Conflicts: 661000 | #Constraints: 51399
512.20/513.92 c #Conflicts: 662000 | #Constraints: 52399
512.20/513.92 c #Conflicts: 663000 | #Constraints: 53399
512.20/513.92 c #Conflicts: 664000 | #Constraints: 54399
512.20/513.92 c #Conflicts: 665000 | #Constraints: 55399
512.20/513.92 c #Conflicts: 666000 | #Constraints: 56399
512.20/513.92 c #Conflicts: 667000 | #Constraints: 57399
512.20/513.92 c #Conflicts: 668000 | #Constraints: 58399
512.20/513.92 c #Conflicts: 669000 | #Constraints: 59399
512.20/513.92 c #Conflicts: 670000 | #Constraints: 60399
512.20/513.92 c #Conflicts: 671000 | #Constraints: 61399
512.20/513.92 c INPROCESSING
512.20/513.92 c GARBAGE COLLECT
512.20/513.92 c #Conflicts: 672000 | #Constraints: 32568
512.20/513.92 c #Conflicts: 673000 | #Constraints: 33568
512.20/513.92 c #Conflicts: 674000 | #Constraints: 34568
512.20/513.92 c #Conflicts: 675000 | #Constraints: 35568
512.20/513.92 c #Conflicts: 676000 | #Constraints: 36568
512.20/513.92 c #Conflicts: 677000 | #Constraints: 37568
512.20/513.92 c #Conflicts: 678000 | #Constraints: 38568
512.20/513.92 c #Conflicts: 679000 | #Constraints: 39568
512.20/513.92 c #Conflicts: 680000 | #Constraints: 40568
512.20/513.92 c #Conflicts: 681000 | #Constraints: 41568
512.20/513.92 c #Conflicts: 682000 | #Constraints: 42568
512.20/513.92 c #Conflicts: 683000 | #Constraints: 43568
512.20/513.92 c #Conflicts: 684000 | #Constraints: 44568
512.20/513.92 c #Conflicts: 685000 | #Constraints: 45568
512.20/513.92 c #Conflicts: 686000 | #Constraints: 46568
512.20/513.92 c #Conflicts: 687000 | #Constraints: 47568
512.20/513.92 c #Conflicts: 688000 | #Constraints: 48568
512.20/513.92 c #Conflicts: 689000 | #Constraints: 49568
512.20/513.92 c #Conflicts: 690000 | #Constraints: 50568
512.20/513.92 c INPROCESSING
512.20/513.92 c GARBAGE COLLECT
512.20/513.92 c #Conflicts: 691000 | #Constraints: 26999
512.20/513.92 c #Conflicts: 692000 | #Constraints: 27999
512.20/513.92 c #Conflicts: 693000 | #Constraints: 28999
512.20/513.92 c #Conflicts: 694000 | #Constraints: 29999
512.20/513.92 c #Conflicts: 695000 | #Constraints: 30999
512.20/513.92 c #Conflicts: 696000 | #Constraints: 31999
512.20/513.92 c #Conflicts: 697000 | #Constraints: 32999
512.20/513.92 c #Conflicts: 698000 | #Constraints: 33999
512.20/513.92 c #Conflicts: 699000 | #Constraints: 34999
512.20/513.92 c #Conflicts: 700000 | #Constraints: 35999
512.20/513.92 c #Conflicts: 701000 | #Constraints: 36999
512.20/513.92 c #Conflicts: 702000 | #Constraints: 37999
512.20/513.92 c #Conflicts: 703000 | #Constraints: 38999
512.20/513.92 c #Conflicts: 704000 | #Constraints: 39999
512.20/513.92 c #Conflicts: 705000 | #Constraints: 40999
512.20/513.92 c #Conflicts: 706000 | #Constraints: 41999
512.20/513.92 c #Conflicts: 707000 | #Constraints: 42999
512.20/513.92 c #Conflicts: 708000 | #Constraints: 43999
512.20/513.92 c #Conflicts: 709000 | #Constraints: 44999
512.20/513.92 c #Conflicts: 710000 | #Constraints: 45999
512.20/513.92 c #Conflicts: 711000 | #Constraints: 46999
512.20/513.92 c #Conflicts: 712000 | #Constraints: 47999
512.20/513.92 c #Conflicts: 713000 | #Constraints: 48999
512.20/513.92 c #Conflicts: 714000 | #Constraints: 49999
512.20/513.92 c #Conflicts: 715000 | #Constraints: 50999
512.20/513.92 c #Conflicts: 716000 | #Constraints: 51999
512.20/513.92 c #Conflicts: 717000 | #Constraints: 52999
512.20/513.92 c #Conflicts: 718000 | #Constraints: 53999
512.20/513.92 c #Conflicts: 719000 | #Constraints: 54999
600.15/602.13 c #Conflicts: 720000 | #Constraints: 55999
600.15/602.13 c #Conflicts: 721000 | #Constraints: 56999
600.15/602.13 c #Conflicts: 722000 | #Constraints: 57999
600.15/602.13 c #Conflicts: 723000 | #Constraints: 58999
600.15/602.13 c #Conflicts: 724000 | #Constraints: 59999
600.15/602.13 c #Conflicts: 725000 | #Constraints: 60999
600.15/602.13 c #Conflicts: 726000 | #Constraints: 61999
600.15/602.13 c #Conflicts: 727000 | #Constraints: 62999
600.15/602.13 c #Conflicts: 728000 | #Constraints: 63999
600.15/602.13 c #Conflicts: 729000 | #Constraints: 64999
600.15/602.13 c #Conflicts: 730000 | #Constraints: 65999
600.15/602.13 c #Conflicts: 731000 | #Constraints: 66999
600.15/602.13 c #Conflicts: 732000 | #Constraints: 67999
600.15/602.13 c #Conflicts: 733000 | #Constraints: 68999
600.15/602.13 c #Conflicts: 734000 | #Constraints: 69999
600.15/602.13 c #Conflicts: 735000 | #Constraints: 70999
600.15/602.13 c #Conflicts: 736000 | #Constraints: 71999
600.15/602.13 c #Conflicts: 737000 | #Constraints: 72999
600.15/602.13 c #Conflicts: 738000 | #Constraints: 73999
600.15/602.13 c #Conflicts: 739000 | #Constraints: 74999
600.15/602.13 c #Conflicts: 740000 | #Constraints: 75999
600.15/602.13 c #Conflicts: 741000 | #Constraints: 76999
600.15/602.13 c #Conflicts: 742000 | #Constraints: 77999
600.15/602.13 c #Conflicts: 743000 | #Constraints: 78999
600.15/602.13 c #Conflicts: 744000 | #Constraints: 79999
600.15/602.13 c #Conflicts: 745000 | #Constraints: 80999
600.15/602.13 c #Conflicts: 746000 | #Constraints: 81999
600.15/602.13 c #Conflicts: 747000 | #Constraints: 82999
600.15/602.13 c #Conflicts: 748000 | #Constraints: 83999
600.15/602.13 c #Conflicts: 749000 | #Constraints: 84999
600.15/602.13 c #Conflicts: 750000 | #Constraints: 85999
600.15/602.13 c #Conflicts: 751000 | #Constraints: 86999
600.15/602.13 c #Conflicts: 752000 | #Constraints: 87999
600.15/602.13 c #Conflicts: 753000 | #Constraints: 88999
600.15/602.13 c INPROCESSING
600.15/602.13 c GARBAGE COLLECT
600.15/602.13 c #Conflicts: 754000 | #Constraints: 46371
600.15/602.13 c #Conflicts: 755000 | #Constraints: 47371
600.15/602.13 c #Conflicts: 756000 | #Constraints: 48371
600.15/602.13 c #Conflicts: 757000 | #Constraints: 49371
600.15/602.13 c #Conflicts: 758000 | #Constraints: 50371
600.15/602.13 c #Conflicts: 759000 | #Constraints: 51371
600.15/602.13 c #Conflicts: 760000 | #Constraints: 52371
600.15/602.13 c #Conflicts: 761000 | #Constraints: 53371
600.15/602.13 c #Conflicts: 762000 | #Constraints: 54371
600.15/602.13 c #Conflicts: 763000 | #Constraints: 55371
600.15/602.13 c #Conflicts: 764000 | #Constraints: 56371
600.15/602.13 c #Conflicts: 765000 | #Constraints: 57371
600.15/602.13 c #Conflicts: 766000 | #Constraints: 58371
600.15/602.13 c #Conflicts: 767000 | #Constraints: 59371
600.15/602.13 c #Conflicts: 768000 | #Constraints: 60371
600.15/602.13 c #Conflicts: 769000 | #Constraints: 61371
600.15/602.13 c #Conflicts: 770000 | #Constraints: 62371
600.15/602.13 c #Conflicts: 771000 | #Constraints: 63371
600.15/602.13 c #Conflicts: 772000 | #Constraints: 64371
600.15/602.13 c #Conflicts: 773000 | #Constraints: 65371
600.15/602.13 c #Conflicts: 774000 | #Constraints: 66371
600.15/602.13 c INPROCESSING
600.15/602.13 c GARBAGE COLLECT
600.15/602.13 c #Conflicts: 775000 | #Constraints: 35250
600.15/602.13 c #Conflicts: 776000 | #Constraints: 36250
600.15/602.13 c #Conflicts: 777000 | #Constraints: 37250
600.15/602.13 c #Conflicts: 778000 | #Constraints: 38250
600.15/602.13 c #Conflicts: 779000 | #Constraints: 39250
600.15/602.13 c #Conflicts: 780000 | #Constraints: 40250
600.15/602.13 c #Conflicts: 781000 | #Constraints: 41250
600.15/602.13 c #Conflicts: 782000 | #Constraints: 42250
600.15/602.13 c #Conflicts: 783000 | #Constraints: 43250
600.15/602.13 c #Conflicts: 784000 | #Constraints: 44250
600.15/602.13 c #Conflicts: 785000 | #Constraints: 45250
600.15/602.13 c #Conflicts: 786000 | #Constraints: 46250
600.15/602.13 c #Conflicts: 787000 | #Constraints: 47250
600.15/602.13 c #Conflicts: 788000 | #Constraints: 48250
600.15/602.13 c #Conflicts: 789000 | #Constraints: 49250
600.15/602.13 c #Conflicts: 790000 | #Constraints: 50250
600.15/602.13 c #Conflicts: 791000 | #Constraints: 51250
600.15/602.13 c #Conflicts: 792000 | #Constraints: 52250
600.15/602.13 c #Conflicts: 793000 | #Constraints: 53250
600.15/602.13 c #Conflicts: 794000 | #Constraints: 54250
600.15/602.13 c #Conflicts: 795000 | #Constraints: 55250
600.15/602.13 c INPROCESSING
600.15/602.13 c GARBAGE COLLECT
600.15/602.13 c #Conflicts: 796000 | #Constraints: 29787
696.17/698.49 c #Conflicts: 797000 | #Constraints: 30787
696.17/698.49 c #Conflicts: 798000 | #Constraints: 31787
696.17/698.49 c #Conflicts: 799000 | #Constraints: 32787
696.17/698.49 c #Conflicts: 800000 | #Constraints: 33787
696.17/698.49 c #Conflicts: 801000 | #Constraints: 34787
696.17/698.49 c #Conflicts: 802000 | #Constraints: 35787
696.17/698.49 c #Conflicts: 803000 | #Constraints: 36787
696.17/698.49 c #Conflicts: 804000 | #Constraints: 37787
696.17/698.49 c #Conflicts: 805000 | #Constraints: 38787
696.17/698.49 c #Conflicts: 806000 | #Constraints: 39787
696.17/698.49 c #Conflicts: 807000 | #Constraints: 40787
696.17/698.49 c #Conflicts: 808000 | #Constraints: 41787
696.17/698.49 c #Conflicts: 809000 | #Constraints: 42787
696.17/698.49 c #Conflicts: 810000 | #Constraints: 43787
696.17/698.49 c #Conflicts: 811000 | #Constraints: 44787
696.17/698.49 c #Conflicts: 812000 | #Constraints: 45787
696.17/698.49 c #Conflicts: 813000 | #Constraints: 46787
696.17/698.49 c #Conflicts: 814000 | #Constraints: 47787
696.17/698.49 c #Conflicts: 815000 | #Constraints: 48787
696.17/698.49 c #Conflicts: 816000 | #Constraints: 49787
696.17/698.49 c #Conflicts: 817000 | #Constraints: 50787
696.17/698.49 c #Conflicts: 818000 | #Constraints: 51787
696.17/698.49 c #Conflicts: 819000 | #Constraints: 52787
696.17/698.49 c #Conflicts: 820000 | #Constraints: 53787
696.17/698.49 c #Conflicts: 821000 | #Constraints: 54787
696.17/698.49 c #Conflicts: 822000 | #Constraints: 55787
696.17/698.49 c #Conflicts: 823000 | #Constraints: 56787
696.17/698.49 c #Conflicts: 824000 | #Constraints: 57787
696.17/698.49 c #Conflicts: 825000 | #Constraints: 58787
696.17/698.49 c #Conflicts: 826000 | #Constraints: 59787
696.17/698.49 c #Conflicts: 827000 | #Constraints: 60787
696.17/698.49 c #Conflicts: 828000 | #Constraints: 61787
696.17/698.49 c #Conflicts: 829000 | #Constraints: 62787
696.17/698.49 c #Conflicts: 830000 | #Constraints: 63787
696.17/698.49 c #Conflicts: 831000 | #Constraints: 64787
696.17/698.49 c #Conflicts: 832000 | #Constraints: 65787
696.17/698.49 c #Conflicts: 833000 | #Constraints: 66787
696.17/698.49 c #Conflicts: 834000 | #Constraints: 67787
696.17/698.49 c #Conflicts: 835000 | #Constraints: 68787
696.17/698.49 c #Conflicts: 836000 | #Constraints: 69787
696.17/698.49 c #Conflicts: 837000 | #Constraints: 70787
696.17/698.49 c #Conflicts: 838000 | #Constraints: 71787
696.17/698.49 c #Conflicts: 839000 | #Constraints: 72787
696.17/698.49 c #Conflicts: 840000 | #Constraints: 73787
696.17/698.49 c #Conflicts: 841000 | #Constraints: 74787
696.17/698.49 c #Conflicts: 842000 | #Constraints: 75787
696.17/698.49 c #Conflicts: 843000 | #Constraints: 76787
696.17/698.49 c #Conflicts: 844000 | #Constraints: 77787
696.17/698.49 c #Conflicts: 845000 | #Constraints: 78787
696.17/698.49 c #Conflicts: 846000 | #Constraints: 79787
696.17/698.49 c #Conflicts: 847000 | #Constraints: 80787
696.17/698.49 c #Conflicts: 848000 | #Constraints: 81787
696.17/698.49 c #Conflicts: 849000 | #Constraints: 82787
696.17/698.49 c #Conflicts: 850000 | #Constraints: 83787
696.17/698.49 c #Conflicts: 851000 | #Constraints: 84787
696.17/698.49 c #Conflicts: 852000 | #Constraints: 85787
696.17/698.49 c #Conflicts: 853000 | #Constraints: 86787
696.17/698.49 c #Conflicts: 854000 | #Constraints: 87787
696.17/698.49 c #Conflicts: 855000 | #Constraints: 88787
696.17/698.49 c #Conflicts: 856000 | #Constraints: 89787
696.17/698.49 c #Conflicts: 857000 | #Constraints: 90787
696.17/698.49 c #Conflicts: 858000 | #Constraints: 91787
696.17/698.49 c #Conflicts: 859000 | #Constraints: 92787
696.17/698.49 c #Conflicts: 860000 | #Constraints: 93787
696.17/698.49 c #Conflicts: 861000 | #Constraints: 94787
696.17/698.49 c INPROCESSING
696.17/698.49 c GARBAGE COLLECT
696.17/698.49 c #Conflicts: 862000 | #Constraints: 49125
696.17/698.49 c #Conflicts: 863000 | #Constraints: 50125
696.17/698.49 c #Conflicts: 864000 | #Constraints: 51125
696.17/698.49 c #Conflicts: 865000 | #Constraints: 52125
696.17/698.49 c #Conflicts: 866000 | #Constraints: 53125
696.17/698.49 c #Conflicts: 867000 | #Constraints: 54125
696.17/698.49 c #Conflicts: 868000 | #Constraints: 55125
696.17/698.49 c #Conflicts: 869000 | #Constraints: 56125
696.17/698.49 c #Conflicts: 870000 | #Constraints: 57125
696.17/698.49 c #Conflicts: 871000 | #Constraints: 58125
696.17/698.49 c #Conflicts: 872000 | #Constraints: 59125
696.17/698.49 c #Conflicts: 873000 | #Constraints: 60125
696.17/698.49 c #Conflicts: 874000 | #Constraints: 61125
766.97/769.47 c #Conflicts: 875000 | #Constraints: 62125
766.97/769.47 c #Conflicts: 876000 | #Constraints: 63125
766.97/769.47 c #Conflicts: 877000 | #Constraints: 64125
766.97/769.47 c #Conflicts: 878000 | #Constraints: 65125
766.97/769.47 c #Conflicts: 879000 | #Constraints: 66125
766.97/769.47 c #Conflicts: 880000 | #Constraints: 67125
766.97/769.47 c #Conflicts: 881000 | #Constraints: 68125
766.97/769.47 c bounds 162 >= 145 @ 702.996
766.97/769.47 c #Conflicts: 882000 | #Constraints: 69150
766.97/769.47 c #Conflicts: 883000 | #Constraints: 70150
766.97/769.47 c #Conflicts: 884000 | #Constraints: 71150
766.97/769.47 c INPROCESSING
766.97/769.47 c GARBAGE COLLECT
766.97/769.47 c #Conflicts: 885000 | #Constraints: 37742
766.97/769.47 c #Conflicts: 886000 | #Constraints: 38742
766.97/769.47 c #Conflicts: 887000 | #Constraints: 39742
766.97/769.47 c #Conflicts: 888000 | #Constraints: 40742
766.97/769.47 c #Conflicts: 889000 | #Constraints: 41742
766.97/769.47 c #Conflicts: 890000 | #Constraints: 42742
766.97/769.47 c #Conflicts: 891000 | #Constraints: 43742
766.97/769.47 c #Conflicts: 892000 | #Constraints: 44742
766.97/769.47 c #Conflicts: 893000 | #Constraints: 45742
766.97/769.47 c #Conflicts: 894000 | #Constraints: 46742
766.97/769.47 c #Conflicts: 895000 | #Constraints: 47742
766.97/769.47 c #Conflicts: 896000 | #Constraints: 48742
766.97/769.47 c #Conflicts: 897000 | #Constraints: 49742
766.97/769.47 c #Conflicts: 898000 | #Constraints: 50742
766.97/769.47 c #Conflicts: 899000 | #Constraints: 51742
766.97/769.47 c #Conflicts: 900000 | #Constraints: 52742
766.97/769.47 c #Conflicts: 901000 | #Constraints: 53742
766.97/769.47 c #Conflicts: 902000 | #Constraints: 54742
766.97/769.47 c #Conflicts: 903000 | #Constraints: 55742
766.97/769.47 c #Conflicts: 904000 | #Constraints: 56742
766.97/769.47 c #Conflicts: 905000 | #Constraints: 57742
766.97/769.47 c #Conflicts: 906000 | #Constraints: 58742
766.97/769.47 c INPROCESSING
766.97/769.47 c GARBAGE COLLECT
766.97/769.47 c #Conflicts: 907000 | #Constraints: 31391
766.97/769.47 c #Conflicts: 908000 | #Constraints: 32391
766.97/769.47 c #Conflicts: 909000 | #Constraints: 33391
766.97/769.47 c #Conflicts: 910000 | #Constraints: 34391
766.97/769.47 c #Conflicts: 911000 | #Constraints: 35391
766.97/769.47 c #Conflicts: 912000 | #Constraints: 36391
766.97/769.47 c #Conflicts: 913000 | #Constraints: 37391
766.97/769.47 c #Conflicts: 914000 | #Constraints: 38391
766.97/769.47 c #Conflicts: 915000 | #Constraints: 39391
766.97/769.47 c #Conflicts: 916000 | #Constraints: 40391
766.97/769.47 c #Conflicts: 917000 | #Constraints: 41391
766.97/769.47 c #Conflicts: 918000 | #Constraints: 42391
766.97/769.47 c #Conflicts: 919000 | #Constraints: 43391
766.97/769.47 c #Conflicts: 920000 | #Constraints: 44391
766.97/769.47 c #Conflicts: 921000 | #Constraints: 45391
766.97/769.47 c #Conflicts: 922000 | #Constraints: 46391
766.97/769.47 c #Conflicts: 923000 | #Constraints: 47391
766.97/769.47 c #Conflicts: 924000 | #Constraints: 48391
766.97/769.47 c #Conflicts: 925000 | #Constraints: 49391
766.97/769.47 c #Conflicts: 926000 | #Constraints: 50391
766.97/769.47 c #Conflicts: 927000 | #Constraints: 51391
766.97/769.47 c #Conflicts: 928000 | #Constraints: 52391
766.97/769.47 c #Conflicts: 929000 | #Constraints: 53391
766.97/769.47 c #Conflicts: 930000 | #Constraints: 54391
766.97/769.47 c #Conflicts: 931000 | #Constraints: 55391
766.97/769.47 c #Conflicts: 932000 | #Constraints: 56391
766.97/769.47 c #Conflicts: 933000 | #Constraints: 57391
766.97/769.47 c #Conflicts: 934000 | #Constraints: 58391
766.97/769.47 c #Conflicts: 935000 | #Constraints: 59391
766.97/769.47 c #Conflicts: 936000 | #Constraints: 60391
766.97/769.47 c #Conflicts: 937000 | #Constraints: 61391
766.97/769.47 c #Conflicts: 938000 | #Constraints: 62391
766.97/769.47 c #Conflicts: 939000 | #Constraints: 63391
766.97/769.47 c #Conflicts: 940000 | #Constraints: 64391
766.97/769.47 c #Conflicts: 941000 | #Constraints: 65391
766.97/769.47 c #Conflicts: 942000 | #Constraints: 66391
766.97/769.47 c #Conflicts: 943000 | #Constraints: 67391
766.97/769.47 c #Conflicts: 944000 | #Constraints: 68391
766.97/769.47 c #Conflicts: 945000 | #Constraints: 69391
766.97/769.47 c #Conflicts: 946000 | #Constraints: 70391
766.97/769.47 c #Conflicts: 947000 | #Constraints: 71391
766.97/769.47 c #Conflicts: 948000 | #Constraints: 72391
766.97/769.47 c #Conflicts: 949000 | #Constraints: 73391
766.97/769.47 c #Conflicts: 950000 | #Constraints: 74391
766.97/769.47 c #Conflicts: 951000 | #Constraints: 75391
856.51/859.23 c #Conflicts: 952000 | #Constraints: 76391
856.51/859.23 c #Conflicts: 953000 | #Constraints: 77391
856.51/859.23 c #Conflicts: 954000 | #Constraints: 78391
856.51/859.23 c #Conflicts: 955000 | #Constraints: 79391
856.51/859.23 c #Conflicts: 956000 | #Constraints: 80391
856.51/859.23 c #Conflicts: 957000 | #Constraints: 81391
856.51/859.23 c #Conflicts: 958000 | #Constraints: 82391
856.51/859.23 c #Conflicts: 959000 | #Constraints: 83391
856.51/859.23 c #Conflicts: 960000 | #Constraints: 84391
856.51/859.23 c #Conflicts: 961000 | #Constraints: 85391
856.51/859.23 c #Conflicts: 962000 | #Constraints: 86391
856.51/859.23 c #Conflicts: 963000 | #Constraints: 87391
856.51/859.23 c #Conflicts: 964000 | #Constraints: 88391
856.51/859.23 c #Conflicts: 965000 | #Constraints: 89391
856.51/859.23 c #Conflicts: 966000 | #Constraints: 90391
856.51/859.23 c #Conflicts: 967000 | #Constraints: 91391
856.51/859.23 c #Conflicts: 968000 | #Constraints: 92391
856.51/859.23 c #Conflicts: 969000 | #Constraints: 93391
856.51/859.23 c #Conflicts: 970000 | #Constraints: 94391
856.51/859.23 c #Conflicts: 971000 | #Constraints: 95391
856.51/859.23 c #Conflicts: 972000 | #Constraints: 96391
856.51/859.23 c #Conflicts: 973000 | #Constraints: 97391
856.51/859.23 c #Conflicts: 974000 | #Constraints: 98391
856.51/859.23 c #Conflicts: 975000 | #Constraints: 99391
856.51/859.23 c #Conflicts: 976000 | #Constraints: 100391
856.51/859.23 c #Conflicts: 977000 | #Constraints: 101391
856.51/859.23 c INPROCESSING
856.51/859.23 c GARBAGE COLLECT
856.51/859.23 c #Conflicts: 978000 | #Constraints: 52670
856.51/859.23 c #Conflicts: 979000 | #Constraints: 53670
856.51/859.23 c #Conflicts: 980000 | #Constraints: 54670
856.51/859.23 c #Conflicts: 981000 | #Constraints: 55670
856.51/859.23 c #Conflicts: 982000 | #Constraints: 56670
856.51/859.23 c #Conflicts: 983000 | #Constraints: 57670
856.51/859.23 c #Conflicts: 984000 | #Constraints: 58670
856.51/859.23 c #Conflicts: 985000 | #Constraints: 59670
856.51/859.23 c #Conflicts: 986000 | #Constraints: 60670
856.51/859.23 c #Conflicts: 987000 | #Constraints: 61670
856.51/859.23 c #Conflicts: 988000 | #Constraints: 62670
856.51/859.23 c #Conflicts: 989000 | #Constraints: 63670
856.51/859.23 c #Conflicts: 990000 | #Constraints: 64670
856.51/859.23 c #Conflicts: 991000 | #Constraints: 65670
856.51/859.23 c #Conflicts: 992000 | #Constraints: 66670
856.51/859.23 c #Conflicts: 993000 | #Constraints: 67670
856.51/859.23 c #Conflicts: 994000 | #Constraints: 68670
856.51/859.23 c #Conflicts: 995000 | #Constraints: 69670
856.51/859.23 c #Conflicts: 996000 | #Constraints: 70670
856.51/859.23 c #Conflicts: 997000 | #Constraints: 71670
856.51/859.23 c #Conflicts: 998000 | #Constraints: 72670
856.51/859.23 c #Conflicts: 999000 | #Constraints: 73670
856.51/859.23 c #Conflicts: 1000000 | #Constraints: 74670
856.51/859.23 c #Conflicts: 1001000 | #Constraints: 75670
856.51/859.23 c INPROCESSING
856.51/859.23 c GARBAGE COLLECT
856.51/859.23 c #Conflicts: 1002000 | #Constraints: 40001
856.51/859.23 c #Conflicts: 1003000 | #Constraints: 41001
856.51/859.23 c #Conflicts: 1004000 | #Constraints: 42001
856.51/859.23 c #Conflicts: 1005000 | #Constraints: 43001
856.51/859.23 c #Conflicts: 1006000 | #Constraints: 44001
856.51/859.23 c #Conflicts: 1007000 | #Constraints: 45001
856.51/859.23 c #Conflicts: 1008000 | #Constraints: 46001
856.51/859.23 c #Conflicts: 1009000 | #Constraints: 47001
856.51/859.23 c #Conflicts: 1010000 | #Constraints: 48001
856.51/859.23 c #Conflicts: 1011000 | #Constraints: 49001
856.51/859.23 c #Conflicts: 1012000 | #Constraints: 50001
856.51/859.23 c #Conflicts: 1013000 | #Constraints: 51001
856.51/859.23 c #Conflicts: 1014000 | #Constraints: 52001
856.51/859.23 c #Conflicts: 1015000 | #Constraints: 53001
856.51/859.23 c #Conflicts: 1016000 | #Constraints: 54001
856.51/859.23 c #Conflicts: 1017000 | #Constraints: 55001
856.51/859.23 c #Conflicts: 1018000 | #Constraints: 56001
856.51/859.23 c #Conflicts: 1019000 | #Constraints: 57001
856.51/859.23 c #Conflicts: 1020000 | #Constraints: 58001
856.51/859.23 c #Conflicts: 1021000 | #Constraints: 59001
856.51/859.23 c #Conflicts: 1022000 | #Constraints: 60001
856.51/859.23 c #Conflicts: 1023000 | #Constraints: 61001
856.51/859.23 c #Conflicts: 1024000 | #Constraints: 62001
856.51/859.23 c INPROCESSING
856.51/859.23 c GARBAGE COLLECT
856.51/859.23 c #Conflicts: 1025000 | #Constraints: 32777
856.51/859.23 c #Conflicts: 1026000 | #Constraints: 33777
856.51/859.23 c #Conflicts: 1027000 | #Constraints: 34777
856.51/859.23 c #Conflicts: 1028000 | #Constraints: 35777
944.77/947.79 c #Conflicts: 1029000 | #Constraints: 36777
944.77/947.79 c #Conflicts: 1030000 | #Constraints: 37777
944.77/947.79 c #Conflicts: 1031000 | #Constraints: 38777
944.77/947.79 c #Conflicts: 1032000 | #Constraints: 39777
944.77/947.79 c #Conflicts: 1033000 | #Constraints: 40777
944.77/947.79 c #Conflicts: 1034000 | #Constraints: 41777
944.77/947.79 c #Conflicts: 1035000 | #Constraints: 42777
944.77/947.79 c #Conflicts: 1036000 | #Constraints: 43777
944.77/947.79 c #Conflicts: 1037000 | #Constraints: 44777
944.77/947.79 c #Conflicts: 1038000 | #Constraints: 45777
944.77/947.79 c #Conflicts: 1039000 | #Constraints: 46777
944.77/947.79 c #Conflicts: 1040000 | #Constraints: 47777
944.77/947.79 c #Conflicts: 1041000 | #Constraints: 48777
944.77/947.79 c #Conflicts: 1042000 | #Constraints: 49777
944.77/947.79 c #Conflicts: 1043000 | #Constraints: 50777
944.77/947.79 c #Conflicts: 1044000 | #Constraints: 51777
944.77/947.79 c #Conflicts: 1045000 | #Constraints: 52777
944.77/947.79 c #Conflicts: 1046000 | #Constraints: 53777
944.77/947.79 c #Conflicts: 1047000 | #Constraints: 54777
944.77/947.79 c #Conflicts: 1048000 | #Constraints: 55777
944.77/947.79 c #Conflicts: 1049000 | #Constraints: 56777
944.77/947.79 c #Conflicts: 1050000 | #Constraints: 57777
944.77/947.79 c #Conflicts: 1051000 | #Constraints: 58777
944.77/947.79 c #Conflicts: 1052000 | #Constraints: 59777
944.77/947.79 c #Conflicts: 1053000 | #Constraints: 60777
944.77/947.79 c #Conflicts: 1054000 | #Constraints: 61777
944.77/947.79 c #Conflicts: 1055000 | #Constraints: 62777
944.77/947.79 c #Conflicts: 1056000 | #Constraints: 63777
944.77/947.79 c #Conflicts: 1057000 | #Constraints: 64777
944.77/947.79 c #Conflicts: 1058000 | #Constraints: 65777
944.77/947.79 c #Conflicts: 1059000 | #Constraints: 66777
944.77/947.79 c #Conflicts: 1060000 | #Constraints: 67777
944.77/947.79 c #Conflicts: 1061000 | #Constraints: 68777
944.77/947.79 c #Conflicts: 1062000 | #Constraints: 69777
944.77/947.79 c #Conflicts: 1063000 | #Constraints: 70777
944.77/947.79 c #Conflicts: 1064000 | #Constraints: 71777
944.77/947.79 c #Conflicts: 1065000 | #Constraints: 72777
944.77/947.79 c #Conflicts: 1066000 | #Constraints: 73777
944.77/947.79 c #Conflicts: 1067000 | #Constraints: 74777
944.77/947.79 c #Conflicts: 1068000 | #Constraints: 75777
944.77/947.79 c #Conflicts: 1069000 | #Constraints: 76777
944.77/947.79 c #Conflicts: 1070000 | #Constraints: 77777
944.77/947.79 c #Conflicts: 1071000 | #Constraints: 78777
944.77/947.79 c #Conflicts: 1072000 | #Constraints: 79777
944.77/947.79 c #Conflicts: 1073000 | #Constraints: 80777
944.77/947.79 c #Conflicts: 1074000 | #Constraints: 81777
944.77/947.79 c #Conflicts: 1075000 | #Constraints: 82777
944.77/947.79 c #Conflicts: 1076000 | #Constraints: 83777
944.77/947.79 c #Conflicts: 1077000 | #Constraints: 84777
944.77/947.79 c #Conflicts: 1078000 | #Constraints: 85777
944.77/947.79 c #Conflicts: 1079000 | #Constraints: 86777
944.77/947.79 c #Conflicts: 1080000 | #Constraints: 87777
944.77/947.79 c #Conflicts: 1081000 | #Constraints: 88777
944.77/947.79 c #Conflicts: 1082000 | #Constraints: 89777
944.77/947.79 c #Conflicts: 1083000 | #Constraints: 90777
944.77/947.79 c #Conflicts: 1084000 | #Constraints: 91777
944.77/947.79 c #Conflicts: 1085000 | #Constraints: 92777
944.77/947.79 c #Conflicts: 1086000 | #Constraints: 93777
944.77/947.79 c #Conflicts: 1087000 | #Constraints: 94777
944.77/947.79 c #Conflicts: 1088000 | #Constraints: 95777
944.77/947.79 c #Conflicts: 1089000 | #Constraints: 96777
944.77/947.79 c #Conflicts: 1090000 | #Constraints: 97777
944.77/947.79 c #Conflicts: 1091000 | #Constraints: 98777
944.77/947.79 c #Conflicts: 1092000 | #Constraints: 99777
944.77/947.79 c #Conflicts: 1093000 | #Constraints: 100777
944.77/947.79 c #Conflicts: 1094000 | #Constraints: 101777
944.77/947.79 c #Conflicts: 1095000 | #Constraints: 102777
944.77/947.79 c #Conflicts: 1096000 | #Constraints: 103777
944.77/947.79 c #Conflicts: 1097000 | #Constraints: 104777
944.77/947.79 c #Conflicts: 1098000 | #Constraints: 105777
944.77/947.79 c #Conflicts: 1099000 | #Constraints: 106777
944.77/947.79 c #Conflicts: 1100000 | #Constraints: 107777
944.77/947.79 c INPROCESSING
944.77/947.79 c GARBAGE COLLECT
944.77/947.79 c #Conflicts: 1101000 | #Constraints: 56003
944.77/947.79 c #Conflicts: 1102000 | #Constraints: 57003
944.77/947.79 c #Conflicts: 1103000 | #Constraints: 58003
944.77/947.79 c #Conflicts: 1104000 | #Constraints: 59003
944.77/947.79 c #Conflicts: 1105000 | #Constraints: 60003
944.77/947.79 c #Conflicts: 1106000 | #Constraints: 61003
1021.34/1024.53 c #Conflicts: 1107000 | #Constraints: 62003
1021.34/1024.53 c #Conflicts: 1108000 | #Constraints: 63003
1021.34/1024.53 c #Conflicts: 1109000 | #Constraints: 64003
1021.34/1024.53 c #Conflicts: 1110000 | #Constraints: 65003
1021.34/1024.53 c #Conflicts: 1111000 | #Constraints: 66003
1021.34/1024.53 c #Conflicts: 1112000 | #Constraints: 67003
1021.34/1024.53 c #Conflicts: 1113000 | #Constraints: 68003
1021.34/1024.53 c #Conflicts: 1114000 | #Constraints: 69003
1021.34/1024.53 c #Conflicts: 1115000 | #Constraints: 70003
1021.34/1024.53 c #Conflicts: 1116000 | #Constraints: 71003
1021.34/1024.53 c #Conflicts: 1117000 | #Constraints: 72003
1021.34/1024.53 c #Conflicts: 1118000 | #Constraints: 73003
1021.34/1024.53 c #Conflicts: 1119000 | #Constraints: 74003
1021.34/1024.53 c #Conflicts: 1120000 | #Constraints: 75003
1021.34/1024.53 c #Conflicts: 1121000 | #Constraints: 76003
1021.34/1024.53 c #Conflicts: 1122000 | #Constraints: 77003
1021.34/1024.53 c #Conflicts: 1123000 | #Constraints: 78003
1021.34/1024.53 c #Conflicts: 1124000 | #Constraints: 79003
1021.34/1024.53 c #Conflicts: 1125000 | #Constraints: 80003
1021.34/1024.53 c INPROCESSING
1021.34/1024.53 c GARBAGE COLLECT
1021.34/1024.53 c #Conflicts: 1126000 | #Constraints: 42075
1021.34/1024.53 c #Conflicts: 1127000 | #Constraints: 43075
1021.34/1024.53 c #Conflicts: 1128000 | #Constraints: 44075
1021.34/1024.53 c #Conflicts: 1129000 | #Constraints: 45075
1021.34/1024.53 c #Conflicts: 1130000 | #Constraints: 46075
1021.34/1024.53 c #Conflicts: 1131000 | #Constraints: 47075
1021.34/1024.53 c #Conflicts: 1132000 | #Constraints: 48075
1021.34/1024.53 c #Conflicts: 1133000 | #Constraints: 49075
1021.34/1024.53 c #Conflicts: 1134000 | #Constraints: 50075
1021.34/1024.53 c #Conflicts: 1135000 | #Constraints: 51075
1021.34/1024.53 c #Conflicts: 1136000 | #Constraints: 52075
1021.34/1024.53 c #Conflicts: 1137000 | #Constraints: 53075
1021.34/1024.53 c #Conflicts: 1138000 | #Constraints: 54075
1021.34/1024.53 c #Conflicts: 1139000 | #Constraints: 55075
1021.34/1024.53 c #Conflicts: 1140000 | #Constraints: 56075
1021.34/1024.53 c #Conflicts: 1141000 | #Constraints: 57075
1021.34/1024.53 c #Conflicts: 1142000 | #Constraints: 58075
1021.34/1024.53 c #Conflicts: 1143000 | #Constraints: 59075
1021.34/1024.53 c #Conflicts: 1144000 | #Constraints: 60075
1021.34/1024.53 c #Conflicts: 1145000 | #Constraints: 61075
1021.34/1024.53 c #Conflicts: 1146000 | #Constraints: 62075
1021.34/1024.53 c #Conflicts: 1147000 | #Constraints: 63075
1021.34/1024.53 c #Conflicts: 1148000 | #Constraints: 64075
1021.34/1024.53 c #Conflicts: 1149000 | #Constraints: 65075
1021.34/1024.53 c #Conflicts: 1150000 | #Constraints: 66075
1021.34/1024.53 c INPROCESSING
1021.34/1024.53 c GARBAGE COLLECT
1021.34/1024.53 c #Conflicts: 1151000 | #Constraints: 34962
1021.34/1024.53 c #Conflicts: 1152000 | #Constraints: 35962
1021.34/1024.53 c #Conflicts: 1153000 | #Constraints: 36962
1021.34/1024.53 c #Conflicts: 1154000 | #Constraints: 37962
1021.34/1024.53 c #Conflicts: 1155000 | #Constraints: 38962
1021.34/1024.53 c #Conflicts: 1156000 | #Constraints: 39962
1021.34/1024.53 c #Conflicts: 1157000 | #Constraints: 40962
1021.34/1024.53 c #Conflicts: 1158000 | #Constraints: 41962
1021.34/1024.53 c #Conflicts: 1159000 | #Constraints: 42962
1021.34/1024.53 c #Conflicts: 1160000 | #Constraints: 43962
1021.34/1024.53 c #Conflicts: 1161000 | #Constraints: 44962
1021.34/1024.53 c #Conflicts: 1162000 | #Constraints: 45962
1021.34/1024.53 c #Conflicts: 1163000 | #Constraints: 46962
1021.34/1024.53 c #Conflicts: 1164000 | #Constraints: 47962
1021.34/1024.53 c #Conflicts: 1165000 | #Constraints: 48962
1021.34/1024.53 c #Conflicts: 1166000 | #Constraints: 49962
1021.34/1024.53 c #Conflicts: 1167000 | #Constraints: 50962
1021.34/1024.53 c #Conflicts: 1168000 | #Constraints: 51962
1021.34/1024.53 c #Conflicts: 1169000 | #Constraints: 52962
1021.34/1024.53 c #Conflicts: 1170000 | #Constraints: 53962
1021.34/1024.53 c #Conflicts: 1171000 | #Constraints: 54962
1021.34/1024.53 c #Conflicts: 1172000 | #Constraints: 55962
1021.34/1024.53 c #Conflicts: 1173000 | #Constraints: 56962
1021.34/1024.53 c #Conflicts: 1174000 | #Constraints: 57962
1021.34/1024.53 c #Conflicts: 1175000 | #Constraints: 58962
1021.34/1024.53 c #Conflicts: 1176000 | #Constraints: 59962
1021.34/1024.53 c #Conflicts: 1177000 | #Constraints: 60962
1021.34/1024.53 c #Conflicts: 1178000 | #Constraints: 61962
1021.34/1024.53 c #Conflicts: 1179000 | #Constraints: 62962
1021.34/1024.53 c #Conflicts: 1180000 | #Constraints: 63962
1021.34/1024.53 c #Conflicts: 1181000 | #Constraints: 64962
1021.34/1024.53 c #Conflicts: 1182000 | #Constraints: 65962
1021.34/1024.53 c #Conflicts: 1183000 | #Constraints: 66962
1141.39/1144.93 c #Conflicts: 1184000 | #Constraints: 67962
1141.39/1144.93 c #Conflicts: 1185000 | #Constraints: 68962
1141.39/1144.93 c #Conflicts: 1186000 | #Constraints: 69962
1141.39/1144.93 c #Conflicts: 1187000 | #Constraints: 70962
1141.39/1144.93 c #Conflicts: 1188000 | #Constraints: 71962
1141.39/1144.93 c #Conflicts: 1189000 | #Constraints: 72962
1141.39/1144.93 c #Conflicts: 1190000 | #Constraints: 73962
1141.39/1144.93 c #Conflicts: 1191000 | #Constraints: 74962
1141.39/1144.93 c #Conflicts: 1192000 | #Constraints: 75962
1141.39/1144.93 c #Conflicts: 1193000 | #Constraints: 76962
1141.39/1144.93 c #Conflicts: 1194000 | #Constraints: 77962
1141.39/1144.93 c #Conflicts: 1195000 | #Constraints: 78962
1141.39/1144.93 c #Conflicts: 1196000 | #Constraints: 79962
1141.39/1144.93 c #Conflicts: 1197000 | #Constraints: 80962
1141.39/1144.93 c #Conflicts: 1198000 | #Constraints: 81962
1141.39/1144.93 c #Conflicts: 1199000 | #Constraints: 82962
1141.39/1144.93 c #Conflicts: 1200000 | #Constraints: 83962
1141.39/1144.93 c #Conflicts: 1201000 | #Constraints: 84962
1141.39/1144.93 c #Conflicts: 1202000 | #Constraints: 85962
1141.39/1144.93 c #Conflicts: 1203000 | #Constraints: 86962
1141.39/1144.93 c #Conflicts: 1204000 | #Constraints: 87962
1141.39/1144.93 c #Conflicts: 1205000 | #Constraints: 88962
1141.39/1144.93 c #Conflicts: 1206000 | #Constraints: 89962
1141.39/1144.93 c #Conflicts: 1207000 | #Constraints: 90962
1141.39/1144.93 c #Conflicts: 1208000 | #Constraints: 91962
1141.39/1144.93 c #Conflicts: 1209000 | #Constraints: 92962
1141.39/1144.93 c #Conflicts: 1210000 | #Constraints: 93962
1141.39/1144.93 c #Conflicts: 1211000 | #Constraints: 94962
1141.39/1144.93 c #Conflicts: 1212000 | #Constraints: 95962
1141.39/1144.93 c #Conflicts: 1213000 | #Constraints: 96962
1141.39/1144.93 c #Conflicts: 1214000 | #Constraints: 97962
1141.39/1144.93 c #Conflicts: 1215000 | #Constraints: 98962
1141.39/1144.93 c #Conflicts: 1216000 | #Constraints: 99962
1141.39/1144.93 c #Conflicts: 1217000 | #Constraints: 100962
1141.39/1144.93 c #Conflicts: 1218000 | #Constraints: 101962
1141.39/1144.93 c #Conflicts: 1219000 | #Constraints: 102962
1141.39/1144.93 c #Conflicts: 1220000 | #Constraints: 103962
1141.39/1144.93 c #Conflicts: 1221000 | #Constraints: 104962
1141.39/1144.93 c #Conflicts: 1222000 | #Constraints: 105962
1141.39/1144.93 c #Conflicts: 1223000 | #Constraints: 106962
1141.39/1144.93 c #Conflicts: 1224000 | #Constraints: 107962
1141.39/1144.93 c #Conflicts: 1225000 | #Constraints: 108962
1141.39/1144.93 c #Conflicts: 1226000 | #Constraints: 109962
1141.39/1144.93 c #Conflicts: 1227000 | #Constraints: 110962
1141.39/1144.93 c #Conflicts: 1228000 | #Constraints: 111962
1141.39/1144.93 c #Conflicts: 1229000 | #Constraints: 112962
1141.39/1144.93 c #Conflicts: 1230000 | #Constraints: 113962
1141.39/1144.93 c INPROCESSING
1141.39/1144.93 c GARBAGE COLLECT
1141.39/1144.93 c #Conflicts: 1231000 | #Constraints: 59159
1141.39/1144.93 c #Conflicts: 1232000 | #Constraints: 60159
1141.39/1144.93 c #Conflicts: 1233000 | #Constraints: 61159
1141.39/1144.93 c #Conflicts: 1234000 | #Constraints: 62159
1141.39/1144.93 c #Conflicts: 1235000 | #Constraints: 63159
1141.39/1144.93 c #Conflicts: 1236000 | #Constraints: 64159
1141.39/1144.93 c #Conflicts: 1237000 | #Constraints: 65159
1141.39/1144.93 c #Conflicts: 1238000 | #Constraints: 66159
1141.39/1144.93 c #Conflicts: 1239000 | #Constraints: 67159
1141.39/1144.93 c #Conflicts: 1240000 | #Constraints: 68159
1141.39/1144.93 c #Conflicts: 1241000 | #Constraints: 69159
1141.39/1144.93 c #Conflicts: 1242000 | #Constraints: 70159
1141.39/1144.93 c #Conflicts: 1243000 | #Constraints: 71159
1141.39/1144.93 c #Conflicts: 1244000 | #Constraints: 72159
1141.39/1144.93 c #Conflicts: 1245000 | #Constraints: 73159
1141.39/1144.93 c #Conflicts: 1246000 | #Constraints: 74159
1141.39/1144.93 c #Conflicts: 1247000 | #Constraints: 75159
1141.39/1144.93 c #Conflicts: 1248000 | #Constraints: 76159
1141.39/1144.93 c #Conflicts: 1249000 | #Constraints: 77159
1141.39/1144.93 c #Conflicts: 1250000 | #Constraints: 78159
1141.39/1144.93 c #Conflicts: 1251000 | #Constraints: 79159
1141.39/1144.93 c #Conflicts: 1252000 | #Constraints: 80159
1141.39/1144.93 c #Conflicts: 1253000 | #Constraints: 81159
1141.39/1144.93 c #Conflicts: 1254000 | #Constraints: 82159
1141.39/1144.93 c #Conflicts: 1255000 | #Constraints: 83159
1141.39/1144.93 c #Conflicts: 1256000 | #Constraints: 84159
1141.39/1144.93 c INPROCESSING
1141.39/1144.93 c GARBAGE COLLECT
1141.39/1144.93 c #Conflicts: 1257000 | #Constraints: 43948
1141.39/1144.93 c #Conflicts: 1258000 | #Constraints: 44948
1141.39/1144.93 c #Conflicts: 1259000 | #Constraints: 45948
1141.39/1144.93 c #Conflicts: 1260000 | #Constraints: 46948
1141.39/1144.93 c #Conflicts: 1261000 | #Constraints: 47948
1235.60/1239.41 c #Conflicts: 1262000 | #Constraints: 48948
1235.60/1239.41 c #Conflicts: 1263000 | #Constraints: 49948
1235.60/1239.41 c #Conflicts: 1264000 | #Constraints: 50948
1235.60/1239.41 c #Conflicts: 1265000 | #Constraints: 51948
1235.60/1239.41 c #Conflicts: 1266000 | #Constraints: 52948
1235.60/1239.41 c #Conflicts: 1267000 | #Constraints: 53948
1235.60/1239.41 c #Conflicts: 1268000 | #Constraints: 54948
1235.60/1239.41 c #Conflicts: 1269000 | #Constraints: 55948
1235.60/1239.41 c #Conflicts: 1270000 | #Constraints: 56948
1235.60/1239.41 c #Conflicts: 1271000 | #Constraints: 57948
1235.60/1239.41 c #Conflicts: 1272000 | #Constraints: 58948
1235.60/1239.41 c #Conflicts: 1273000 | #Constraints: 59948
1235.60/1239.41 c #Conflicts: 1274000 | #Constraints: 60948
1235.60/1239.41 c #Conflicts: 1275000 | #Constraints: 61948
1235.60/1239.41 c #Conflicts: 1276000 | #Constraints: 62948
1235.60/1239.41 c #Conflicts: 1277000 | #Constraints: 63948
1235.60/1239.41 c #Conflicts: 1278000 | #Constraints: 64948
1235.60/1239.41 c #Conflicts: 1279000 | #Constraints: 65948
1235.60/1239.41 c #Conflicts: 1280000 | #Constraints: 66948
1235.60/1239.41 c #Conflicts: 1281000 | #Constraints: 67948
1235.60/1239.41 c #Conflicts: 1282000 | #Constraints: 68948
1235.60/1239.41 c #Conflicts: 1283000 | #Constraints: 69948
1235.60/1239.41 c INPROCESSING
1235.60/1239.41 c GARBAGE COLLECT
1235.60/1239.41 c #Conflicts: 1284000 | #Constraints: 36942
1235.60/1239.41 c #Conflicts: 1285000 | #Constraints: 37942
1235.60/1239.41 c #Conflicts: 1286000 | #Constraints: 38942
1235.60/1239.41 c #Conflicts: 1287000 | #Constraints: 39942
1235.60/1239.41 c #Conflicts: 1288000 | #Constraints: 40942
1235.60/1239.41 c #Conflicts: 1289000 | #Constraints: 41942
1235.60/1239.41 c #Conflicts: 1290000 | #Constraints: 42942
1235.60/1239.41 c #Conflicts: 1291000 | #Constraints: 43942
1235.60/1239.41 c #Conflicts: 1292000 | #Constraints: 44942
1235.60/1239.41 c #Conflicts: 1293000 | #Constraints: 45942
1235.60/1239.41 c #Conflicts: 1294000 | #Constraints: 46942
1235.60/1239.41 c #Conflicts: 1295000 | #Constraints: 47942
1235.60/1239.41 c #Conflicts: 1296000 | #Constraints: 48942
1235.60/1239.41 c #Conflicts: 1297000 | #Constraints: 49942
1235.60/1239.41 c #Conflicts: 1298000 | #Constraints: 50942
1235.60/1239.41 c #Conflicts: 1299000 | #Constraints: 51942
1235.60/1239.41 c #Conflicts: 1300000 | #Constraints: 52942
1235.60/1239.41 c #Conflicts: 1301000 | #Constraints: 53942
1235.60/1239.41 c #Conflicts: 1302000 | #Constraints: 54942
1235.60/1239.41 c #Conflicts: 1303000 | #Constraints: 55942
1235.60/1239.41 c #Conflicts: 1304000 | #Constraints: 56942
1235.60/1239.41 c #Conflicts: 1305000 | #Constraints: 57942
1235.60/1239.41 c #Conflicts: 1306000 | #Constraints: 58942
1235.60/1239.41 c #Conflicts: 1307000 | #Constraints: 59942
1235.60/1239.41 c #Conflicts: 1308000 | #Constraints: 60942
1235.60/1239.41 c #Conflicts: 1309000 | #Constraints: 61942
1235.60/1239.41 c #Conflicts: 1310000 | #Constraints: 62942
1235.60/1239.41 c #Conflicts: 1311000 | #Constraints: 63942
1235.60/1239.41 c #Conflicts: 1312000 | #Constraints: 64942
1235.60/1239.41 c #Conflicts: 1313000 | #Constraints: 65942
1235.60/1239.41 c #Conflicts: 1314000 | #Constraints: 66942
1235.60/1239.41 c #Conflicts: 1315000 | #Constraints: 67942
1235.60/1239.41 c #Conflicts: 1316000 | #Constraints: 68942
1235.60/1239.41 c #Conflicts: 1317000 | #Constraints: 69942
1235.60/1239.41 c #Conflicts: 1318000 | #Constraints: 70942
1235.60/1239.41 c #Conflicts: 1319000 | #Constraints: 71942
1235.60/1239.41 c #Conflicts: 1320000 | #Constraints: 72942
1235.60/1239.41 c #Conflicts: 1321000 | #Constraints: 73942
1235.60/1239.41 c #Conflicts: 1322000 | #Constraints: 74942
1235.60/1239.41 c #Conflicts: 1323000 | #Constraints: 75942
1235.60/1239.41 c #Conflicts: 1324000 | #Constraints: 76942
1235.60/1239.41 c #Conflicts: 1325000 | #Constraints: 77942
1235.60/1239.41 c #Conflicts: 1326000 | #Constraints: 78942
1235.60/1239.41 c #Conflicts: 1327000 | #Constraints: 79942
1235.60/1239.41 c #Conflicts: 1328000 | #Constraints: 80942
1235.60/1239.41 c #Conflicts: 1329000 | #Constraints: 81942
1235.60/1239.41 c #Conflicts: 1330000 | #Constraints: 82942
1235.60/1239.41 c #Conflicts: 1331000 | #Constraints: 83942
1235.60/1239.41 c #Conflicts: 1332000 | #Constraints: 84942
1235.60/1239.41 c #Conflicts: 1333000 | #Constraints: 85942
1235.60/1239.41 c #Conflicts: 1334000 | #Constraints: 86942
1235.60/1239.41 c #Conflicts: 1335000 | #Constraints: 87942
1235.60/1239.41 c #Conflicts: 1336000 | #Constraints: 88942
1235.60/1239.41 c #Conflicts: 1337000 | #Constraints: 89942
1235.60/1239.41 c #Conflicts: 1338000 | #Constraints: 90942
1235.60/1239.41 c #Conflicts: 1339000 | #Constraints: 91942
1366.71/1370.95 c #Conflicts: 1340000 | #Constraints: 92942
1366.71/1370.95 c #Conflicts: 1341000 | #Constraints: 93942
1366.71/1370.95 c #Conflicts: 1342000 | #Constraints: 94942
1366.71/1370.95 c #Conflicts: 1343000 | #Constraints: 95942
1366.71/1370.95 c #Conflicts: 1344000 | #Constraints: 96942
1366.71/1370.95 c #Conflicts: 1345000 | #Constraints: 97942
1366.71/1370.95 c #Conflicts: 1346000 | #Constraints: 98942
1366.71/1370.95 c #Conflicts: 1347000 | #Constraints: 99942
1366.71/1370.95 c #Conflicts: 1348000 | #Constraints: 100942
1366.71/1370.95 c #Conflicts: 1349000 | #Constraints: 101942
1366.71/1370.95 c #Conflicts: 1350000 | #Constraints: 102942
1366.71/1370.95 c #Conflicts: 1351000 | #Constraints: 103942
1366.71/1370.95 c #Conflicts: 1352000 | #Constraints: 104942
1366.71/1370.95 c #Conflicts: 1353000 | #Constraints: 105942
1366.71/1370.95 c #Conflicts: 1354000 | #Constraints: 106942
1366.71/1370.95 c #Conflicts: 1355000 | #Constraints: 107942
1366.71/1370.95 c #Conflicts: 1356000 | #Constraints: 108942
1366.71/1370.95 c #Conflicts: 1357000 | #Constraints: 109942
1366.71/1370.95 c #Conflicts: 1358000 | #Constraints: 110942
1366.71/1370.95 c #Conflicts: 1359000 | #Constraints: 111942
1366.71/1370.95 c #Conflicts: 1360000 | #Constraints: 112942
1366.71/1370.95 c #Conflicts: 1361000 | #Constraints: 113942
1366.71/1370.95 c #Conflicts: 1362000 | #Constraints: 114942
1366.71/1370.95 c #Conflicts: 1363000 | #Constraints: 115942
1366.71/1370.95 c #Conflicts: 1364000 | #Constraints: 116942
1366.71/1370.95 c #Conflicts: 1365000 | #Constraints: 117942
1366.71/1370.95 c #Conflicts: 1366000 | #Constraints: 118942
1366.71/1370.95 c #Conflicts: 1367000 | #Constraints: 119942
1366.71/1370.95 c INPROCESSING
1366.71/1370.95 c GARBAGE COLLECT
1366.71/1370.95 c #Conflicts: 1368000 | #Constraints: 62107
1366.71/1370.95 c #Conflicts: 1369000 | #Constraints: 63107
1366.71/1370.95 c #Conflicts: 1370000 | #Constraints: 64107
1366.71/1370.95 c #Conflicts: 1371000 | #Constraints: 65107
1366.71/1370.95 c #Conflicts: 1372000 | #Constraints: 66107
1366.71/1370.95 c #Conflicts: 1373000 | #Constraints: 67107
1366.71/1370.95 c #Conflicts: 1374000 | #Constraints: 68107
1366.71/1370.95 c #Conflicts: 1375000 | #Constraints: 69107
1366.71/1370.95 c #Conflicts: 1376000 | #Constraints: 70107
1366.71/1370.95 c #Conflicts: 1377000 | #Constraints: 71107
1366.71/1370.95 c #Conflicts: 1378000 | #Constraints: 72107
1366.71/1370.95 c #Conflicts: 1379000 | #Constraints: 73107
1366.71/1370.95 c #Conflicts: 1380000 | #Constraints: 74107
1366.71/1370.95 c #Conflicts: 1381000 | #Constraints: 75107
1366.71/1370.95 c #Conflicts: 1382000 | #Constraints: 76107
1366.71/1370.95 c #Conflicts: 1383000 | #Constraints: 77107
1366.71/1370.95 c #Conflicts: 1384000 | #Constraints: 78107
1366.71/1370.95 c #Conflicts: 1385000 | #Constraints: 79107
1366.71/1370.95 c #Conflicts: 1386000 | #Constraints: 80107
1366.71/1370.95 c #Conflicts: 1387000 | #Constraints: 81107
1366.71/1370.95 c #Conflicts: 1388000 | #Constraints: 82107
1366.71/1370.95 c #Conflicts: 1389000 | #Constraints: 83107
1366.71/1370.95 c #Conflicts: 1390000 | #Constraints: 84107
1366.71/1370.95 c #Conflicts: 1391000 | #Constraints: 85107
1366.71/1370.95 c #Conflicts: 1392000 | #Constraints: 86107
1366.71/1370.95 c #Conflicts: 1393000 | #Constraints: 87107
1366.71/1370.95 c #Conflicts: 1394000 | #Constraints: 88107
1366.71/1370.95 c #Conflicts: 1395000 | #Constraints: 89107
1366.71/1370.95 c INPROCESSING
1366.71/1370.95 c GARBAGE COLLECT
1366.71/1370.95 c #Conflicts: 1396000 | #Constraints: 46632
1366.71/1370.95 c #Conflicts: 1397000 | #Constraints: 47632
1366.71/1370.95 c #Conflicts: 1398000 | #Constraints: 48632
1366.71/1370.95 c #Conflicts: 1399000 | #Constraints: 49632
1366.71/1370.95 c #Conflicts: 1400000 | #Constraints: 50632
1366.71/1370.95 c #Conflicts: 1401000 | #Constraints: 51632
1366.71/1370.95 c #Conflicts: 1402000 | #Constraints: 52632
1366.71/1370.95 c #Conflicts: 1403000 | #Constraints: 53632
1366.71/1370.95 c #Conflicts: 1404000 | #Constraints: 54632
1366.71/1370.95 c #Conflicts: 1405000 | #Constraints: 55632
1366.71/1370.95 c #Conflicts: 1406000 | #Constraints: 56632
1366.71/1370.95 c #Conflicts: 1407000 | #Constraints: 57632
1366.71/1370.95 c #Conflicts: 1408000 | #Constraints: 58632
1366.71/1370.95 c #Conflicts: 1409000 | #Constraints: 59632
1366.71/1370.95 c #Conflicts: 1410000 | #Constraints: 60632
1366.71/1370.95 c #Conflicts: 1411000 | #Constraints: 61632
1366.71/1370.95 c #Conflicts: 1412000 | #Constraints: 62632
1366.71/1370.95 c #Conflicts: 1413000 | #Constraints: 63632
1366.71/1370.95 c #Conflicts: 1414000 | #Constraints: 64632
1366.71/1370.95 c #Conflicts: 1415000 | #Constraints: 65632
1366.71/1370.95 c #Conflicts: 1416000 | #Constraints: 66632
1366.71/1370.95 c #Conflicts: 1417000 | #Constraints: 67632
1487.04/1491.61 c #Conflicts: 1418000 | #Constraints: 68632
1487.04/1491.61 c #Conflicts: 1419000 | #Constraints: 69632
1487.04/1491.61 c #Conflicts: 1420000 | #Constraints: 70632
1487.04/1491.61 c #Conflicts: 1421000 | #Constraints: 71632
1487.04/1491.61 c #Conflicts: 1422000 | #Constraints: 72632
1487.04/1491.61 c #Conflicts: 1423000 | #Constraints: 73632
1487.04/1491.61 c INPROCESSING
1487.04/1491.61 c GARBAGE COLLECT
1487.04/1491.61 c #Conflicts: 1424000 | #Constraints: 38735
1487.04/1491.61 c #Conflicts: 1425000 | #Constraints: 39735
1487.04/1491.61 c #Conflicts: 1426000 | #Constraints: 40735
1487.04/1491.61 c #Conflicts: 1427000 | #Constraints: 41735
1487.04/1491.61 c #Conflicts: 1428000 | #Constraints: 42735
1487.04/1491.61 c #Conflicts: 1429000 | #Constraints: 43735
1487.04/1491.61 c #Conflicts: 1430000 | #Constraints: 44735
1487.04/1491.61 c #Conflicts: 1431000 | #Constraints: 45735
1487.04/1491.61 c #Conflicts: 1432000 | #Constraints: 46735
1487.04/1491.61 c #Conflicts: 1433000 | #Constraints: 47735
1487.04/1491.61 c #Conflicts: 1434000 | #Constraints: 48735
1487.04/1491.61 c #Conflicts: 1435000 | #Constraints: 49735
1487.04/1491.61 c #Conflicts: 1436000 | #Constraints: 50735
1487.04/1491.61 c #Conflicts: 1437000 | #Constraints: 51735
1487.04/1491.61 c #Conflicts: 1438000 | #Constraints: 52735
1487.04/1491.61 c #Conflicts: 1439000 | #Constraints: 53735
1487.04/1491.61 c #Conflicts: 1440000 | #Constraints: 54735
1487.04/1491.61 c #Conflicts: 1441000 | #Constraints: 55735
1487.04/1491.61 c #Conflicts: 1442000 | #Constraints: 56735
1487.04/1491.61 c #Conflicts: 1443000 | #Constraints: 57735
1487.04/1491.61 c #Conflicts: 1444000 | #Constraints: 58735
1487.04/1491.61 c #Conflicts: 1445000 | #Constraints: 59735
1487.04/1491.61 c #Conflicts: 1446000 | #Constraints: 60735
1487.04/1491.61 c #Conflicts: 1447000 | #Constraints: 61735
1487.04/1491.61 c #Conflicts: 1448000 | #Constraints: 62735
1487.04/1491.61 c #Conflicts: 1449000 | #Constraints: 63735
1487.04/1491.61 c #Conflicts: 1450000 | #Constraints: 64735
1487.04/1491.61 c #Conflicts: 1451000 | #Constraints: 65735
1487.04/1491.61 c #Conflicts: 1452000 | #Constraints: 66735
1487.04/1491.61 c #Conflicts: 1453000 | #Constraints: 67735
1487.04/1491.61 c #Conflicts: 1454000 | #Constraints: 68735
1487.04/1491.61 c #Conflicts: 1455000 | #Constraints: 69735
1487.04/1491.61 c #Conflicts: 1456000 | #Constraints: 70735
1487.04/1491.61 c #Conflicts: 1457000 | #Constraints: 71735
1487.04/1491.61 c #Conflicts: 1458000 | #Constraints: 72735
1487.04/1491.61 c #Conflicts: 1459000 | #Constraints: 73735
1487.04/1491.61 c #Conflicts: 1460000 | #Constraints: 74735
1487.04/1491.61 c #Conflicts: 1461000 | #Constraints: 75735
1487.04/1491.61 c #Conflicts: 1462000 | #Constraints: 76735
1487.04/1491.61 c #Conflicts: 1463000 | #Constraints: 77735
1487.04/1491.61 c #Conflicts: 1464000 | #Constraints: 78735
1487.04/1491.61 c #Conflicts: 1465000 | #Constraints: 79735
1487.04/1491.61 c #Conflicts: 1466000 | #Constraints: 80735
1487.04/1491.61 c #Conflicts: 1467000 | #Constraints: 81735
1487.04/1491.61 c #Conflicts: 1468000 | #Constraints: 82735
1487.04/1491.61 c #Conflicts: 1469000 | #Constraints: 83735
1487.04/1491.61 c #Conflicts: 1470000 | #Constraints: 84735
1487.04/1491.61 c #Conflicts: 1471000 | #Constraints: 85735
1487.04/1491.61 c #Conflicts: 1472000 | #Constraints: 86735
1487.04/1491.61 c #Conflicts: 1473000 | #Constraints: 87735
1487.04/1491.61 c #Conflicts: 1474000 | #Constraints: 88735
1487.04/1491.61 c #Conflicts: 1475000 | #Constraints: 89735
1487.04/1491.61 c #Conflicts: 1476000 | #Constraints: 90735
1487.04/1491.61 c #Conflicts: 1477000 | #Constraints: 91735
1487.04/1491.61 c #Conflicts: 1478000 | #Constraints: 92735
1487.04/1491.61 c #Conflicts: 1479000 | #Constraints: 93735
1487.04/1491.61 c #Conflicts: 1480000 | #Constraints: 94735
1487.04/1491.61 c #Conflicts: 1481000 | #Constraints: 95735
1487.04/1491.61 c #Conflicts: 1482000 | #Constraints: 96735
1487.04/1491.61 c #Conflicts: 1483000 | #Constraints: 97735
1487.04/1491.61 c #Conflicts: 1484000 | #Constraints: 98735
1487.04/1491.61 c #Conflicts: 1485000 | #Constraints: 99735
1487.04/1491.61 c #Conflicts: 1486000 | #Constraints: 100735
1487.04/1491.61 c #Conflicts: 1487000 | #Constraints: 101735
1487.04/1491.61 c #Conflicts: 1488000 | #Constraints: 102735
1487.04/1491.61 c #Conflicts: 1489000 | #Constraints: 103735
1487.04/1491.61 c #Conflicts: 1490000 | #Constraints: 104735
1487.04/1491.61 c #Conflicts: 1491000 | #Constraints: 105735
1487.04/1491.61 c #Conflicts: 1492000 | #Constraints: 106735
1487.04/1491.61 c #Conflicts: 1493000 | #Constraints: 107735
1487.04/1491.61 c #Conflicts: 1494000 | #Constraints: 108735
1487.04/1491.61 c #Conflicts: 1495000 | #Constraints: 109735
1624.33/1629.35 c #Conflicts: 1496000 | #Constraints: 110735
1624.33/1629.35 c #Conflicts: 1497000 | #Constraints: 111735
1624.33/1629.35 c #Conflicts: 1498000 | #Constraints: 112735
1624.33/1629.35 c #Conflicts: 1499000 | #Constraints: 113735
1624.33/1629.35 c #Conflicts: 1500000 | #Constraints: 114735
1624.33/1629.35 c #Conflicts: 1501000 | #Constraints: 115735
1624.33/1629.35 c #Conflicts: 1502000 | #Constraints: 116735
1624.33/1629.35 c #Conflicts: 1503000 | #Constraints: 117735
1624.33/1629.35 c #Conflicts: 1504000 | #Constraints: 118735
1624.33/1629.35 c #Conflicts: 1505000 | #Constraints: 119735
1624.33/1629.35 c #Conflicts: 1506000 | #Constraints: 120735
1624.33/1629.35 c #Conflicts: 1507000 | #Constraints: 121735
1624.33/1629.35 c #Conflicts: 1508000 | #Constraints: 122735
1624.33/1629.35 c #Conflicts: 1509000 | #Constraints: 123735
1624.33/1629.35 c #Conflicts: 1510000 | #Constraints: 124735
1624.33/1629.35 c #Conflicts: 1511000 | #Constraints: 125735
1624.33/1629.35 c INPROCESSING
1624.33/1629.35 c GARBAGE COLLECT
1624.33/1629.35 c #Conflicts: 1512000 | #Constraints: 64851
1624.33/1629.35 c #Conflicts: 1513000 | #Constraints: 65851
1624.33/1629.35 c #Conflicts: 1514000 | #Constraints: 66851
1624.33/1629.35 c #Conflicts: 1515000 | #Constraints: 67851
1624.33/1629.35 c #Conflicts: 1516000 | #Constraints: 68851
1624.33/1629.35 c #Conflicts: 1517000 | #Constraints: 69851
1624.33/1629.35 c #Conflicts: 1518000 | #Constraints: 70851
1624.33/1629.35 c #Conflicts: 1519000 | #Constraints: 71851
1624.33/1629.35 c #Conflicts: 1520000 | #Constraints: 72851
1624.33/1629.35 c #Conflicts: 1521000 | #Constraints: 73851
1624.33/1629.35 c #Conflicts: 1522000 | #Constraints: 74851
1624.33/1629.35 c #Conflicts: 1523000 | #Constraints: 75851
1624.33/1629.35 c #Conflicts: 1524000 | #Constraints: 76851
1624.33/1629.35 c #Conflicts: 1525000 | #Constraints: 77851
1624.33/1629.35 c #Conflicts: 1526000 | #Constraints: 78851
1624.33/1629.35 c #Conflicts: 1527000 | #Constraints: 79851
1624.33/1629.35 c #Conflicts: 1528000 | #Constraints: 80851
1624.33/1629.35 c #Conflicts: 1529000 | #Constraints: 81851
1624.33/1629.35 c #Conflicts: 1530000 | #Constraints: 82851
1624.33/1629.35 c #Conflicts: 1531000 | #Constraints: 83851
1624.33/1629.35 c #Conflicts: 1532000 | #Constraints: 84851
1624.33/1629.35 c #Conflicts: 1533000 | #Constraints: 85851
1624.33/1629.35 c #Conflicts: 1534000 | #Constraints: 86851
1624.33/1629.35 c #Conflicts: 1535000 | #Constraints: 87851
1624.33/1629.35 c #Conflicts: 1536000 | #Constraints: 88851
1624.33/1629.35 c #Conflicts: 1537000 | #Constraints: 89851
1624.33/1629.35 c #Conflicts: 1538000 | #Constraints: 90851
1624.33/1629.35 c #Conflicts: 1539000 | #Constraints: 91851
1624.33/1629.35 c #Conflicts: 1540000 | #Constraints: 92851
1624.33/1629.35 c #Conflicts: 1541000 | #Constraints: 93851
1624.33/1629.35 c INPROCESSING
1624.33/1629.35 c GARBAGE COLLECT
1624.33/1629.35 c #Conflicts: 1542000 | #Constraints: 49113
1624.33/1629.35 c #Conflicts: 1543000 | #Constraints: 50113
1624.33/1629.35 c #Conflicts: 1544000 | #Constraints: 51113
1624.33/1629.35 c #Conflicts: 1545000 | #Constraints: 52113
1624.33/1629.35 c #Conflicts: 1546000 | #Constraints: 53113
1624.33/1629.35 c #Conflicts: 1547000 | #Constraints: 54113
1624.33/1629.35 c #Conflicts: 1548000 | #Constraints: 55113
1624.33/1629.35 c #Conflicts: 1549000 | #Constraints: 56113
1624.33/1629.35 c #Conflicts: 1550000 | #Constraints: 57113
1624.33/1629.35 c #Conflicts: 1551000 | #Constraints: 58113
1624.33/1629.35 c #Conflicts: 1552000 | #Constraints: 59113
1624.33/1629.35 c #Conflicts: 1553000 | #Constraints: 60113
1624.33/1629.35 c #Conflicts: 1554000 | #Constraints: 61113
1624.33/1629.35 c #Conflicts: 1555000 | #Constraints: 62113
1624.33/1629.35 c #Conflicts: 1556000 | #Constraints: 63113
1624.33/1629.35 c #Conflicts: 1557000 | #Constraints: 64113
1624.33/1629.35 c #Conflicts: 1558000 | #Constraints: 65113
1624.33/1629.35 c #Conflicts: 1559000 | #Constraints: 66113
1624.33/1629.35 c #Conflicts: 1560000 | #Constraints: 67113
1624.33/1629.35 c #Conflicts: 1561000 | #Constraints: 68113
1624.33/1629.35 c #Conflicts: 1562000 | #Constraints: 69113
1624.33/1629.35 c #Conflicts: 1563000 | #Constraints: 70113
1624.33/1629.35 c #Conflicts: 1564000 | #Constraints: 71113
1624.33/1629.35 c #Conflicts: 1565000 | #Constraints: 72113
1624.33/1629.35 c #Conflicts: 1566000 | #Constraints: 73113
1624.33/1629.35 c #Conflicts: 1567000 | #Constraints: 74113
1624.33/1629.35 c #Conflicts: 1568000 | #Constraints: 75113
1624.33/1629.35 c #Conflicts: 1569000 | #Constraints: 76113
1624.33/1629.35 c #Conflicts: 1570000 | #Constraints: 77113
1624.33/1629.35 c INPROCESSING
1624.33/1629.35 c GARBAGE COLLECT
1624.33/1629.35 c #Conflicts: 1571000 | #Constraints: 40345
1624.33/1629.35 c #Conflicts: 1572000 | #Constraints: 41345
1758.53/1763.90 c #Conflicts: 1573000 | #Constraints: 42345
1758.53/1763.90 c #Conflicts: 1574000 | #Constraints: 43345
1758.53/1763.90 c #Conflicts: 1575000 | #Constraints: 44345
1758.53/1763.90 c #Conflicts: 1576000 | #Constraints: 45345
1758.53/1763.90 c #Conflicts: 1577000 | #Constraints: 46345
1758.53/1763.90 c #Conflicts: 1578000 | #Constraints: 47345
1758.53/1763.90 c #Conflicts: 1579000 | #Constraints: 48345
1758.53/1763.90 c #Conflicts: 1580000 | #Constraints: 49345
1758.53/1763.90 c #Conflicts: 1581000 | #Constraints: 50345
1758.53/1763.90 c #Conflicts: 1582000 | #Constraints: 51345
1758.53/1763.90 c #Conflicts: 1583000 | #Constraints: 52345
1758.53/1763.90 c #Conflicts: 1584000 | #Constraints: 53345
1758.53/1763.90 c #Conflicts: 1585000 | #Constraints: 54345
1758.53/1763.90 c #Conflicts: 1586000 | #Constraints: 55345
1758.53/1763.90 c #Conflicts: 1587000 | #Constraints: 56345
1758.53/1763.90 c #Conflicts: 1588000 | #Constraints: 57345
1758.53/1763.90 c #Conflicts: 1589000 | #Constraints: 58345
1758.53/1763.90 c #Conflicts: 1590000 | #Constraints: 59345
1758.53/1763.90 c #Conflicts: 1591000 | #Constraints: 60345
1758.53/1763.90 c #Conflicts: 1592000 | #Constraints: 61345
1758.53/1763.90 c #Conflicts: 1593000 | #Constraints: 62345
1758.53/1763.90 c #Conflicts: 1594000 | #Constraints: 63345
1758.53/1763.90 c #Conflicts: 1595000 | #Constraints: 64345
1758.53/1763.90 c #Conflicts: 1596000 | #Constraints: 65345
1758.53/1763.90 c #Conflicts: 1597000 | #Constraints: 66345
1758.53/1763.90 c #Conflicts: 1598000 | #Constraints: 67345
1758.53/1763.90 c #Conflicts: 1599000 | #Constraints: 68345
1758.53/1763.90 c #Conflicts: 1600000 | #Constraints: 69345
1758.53/1763.90 c #Conflicts: 1601000 | #Constraints: 70345
1758.53/1763.90 c #Conflicts: 1602000 | #Constraints: 71345
1758.53/1763.90 c #Conflicts: 1603000 | #Constraints: 72345
1758.53/1763.90 c #Conflicts: 1604000 | #Constraints: 73345
1758.53/1763.90 c #Conflicts: 1605000 | #Constraints: 74345
1758.53/1763.90 c #Conflicts: 1606000 | #Constraints: 75345
1758.53/1763.90 c #Conflicts: 1607000 | #Constraints: 76345
1758.53/1763.90 c #Conflicts: 1608000 | #Constraints: 77345
1758.53/1763.90 c #Conflicts: 1609000 | #Constraints: 78345
1758.53/1763.90 c #Conflicts: 1610000 | #Constraints: 79345
1758.53/1763.90 c #Conflicts: 1611000 | #Constraints: 80345
1758.53/1763.90 c #Conflicts: 1612000 | #Constraints: 81345
1758.53/1763.90 c #Conflicts: 1613000 | #Constraints: 82345
1758.53/1763.90 c #Conflicts: 1614000 | #Constraints: 83345
1758.53/1763.90 c #Conflicts: 1615000 | #Constraints: 84345
1758.53/1763.90 c #Conflicts: 1616000 | #Constraints: 85345
1758.53/1763.90 c #Conflicts: 1617000 | #Constraints: 86345
1758.53/1763.90 c #Conflicts: 1618000 | #Constraints: 87345
1758.53/1763.90 c #Conflicts: 1619000 | #Constraints: 88345
1758.53/1763.90 c #Conflicts: 1620000 | #Constraints: 89345
1758.53/1763.90 c #Conflicts: 1621000 | #Constraints: 90345
1758.53/1763.90 c #Conflicts: 1622000 | #Constraints: 91345
1758.53/1763.90 c #Conflicts: 1623000 | #Constraints: 92345
1758.53/1763.90 c #Conflicts: 1624000 | #Constraints: 93345
1758.53/1763.90 c #Conflicts: 1625000 | #Constraints: 94345
1758.53/1763.90 c #Conflicts: 1626000 | #Constraints: 95345
1758.53/1763.90 c #Conflicts: 1627000 | #Constraints: 96345
1758.53/1763.90 c #Conflicts: 1628000 | #Constraints: 97345
1758.53/1763.90 c #Conflicts: 1629000 | #Constraints: 98345
1758.53/1763.90 c #Conflicts: 1630000 | #Constraints: 99345
1758.53/1763.90 c #Conflicts: 1631000 | #Constraints: 100345
1758.53/1763.90 c #Conflicts: 1632000 | #Constraints: 101345
1758.53/1763.90 c #Conflicts: 1633000 | #Constraints: 102345
1758.53/1763.90 c #Conflicts: 1634000 | #Constraints: 103345
1758.53/1763.90 c #Conflicts: 1635000 | #Constraints: 104345
1758.53/1763.90 c #Conflicts: 1636000 | #Constraints: 105345
1758.53/1763.90 c #Conflicts: 1637000 | #Constraints: 106345
1758.53/1763.90 c #Conflicts: 1638000 | #Constraints: 107345
1758.53/1763.90 c #Conflicts: 1639000 | #Constraints: 108345
1758.53/1763.90 c #Conflicts: 1640000 | #Constraints: 109345
1758.53/1763.90 c #Conflicts: 1641000 | #Constraints: 110345
1758.53/1763.90 c #Conflicts: 1642000 | #Constraints: 111345
1758.53/1763.90 c #Conflicts: 1643000 | #Constraints: 112345
1758.53/1763.90 c #Conflicts: 1644000 | #Constraints: 113345
1758.53/1763.90 c #Conflicts: 1645000 | #Constraints: 114345
1758.53/1763.90 c #Conflicts: 1646000 | #Constraints: 115345
1758.53/1763.90 c #Conflicts: 1647000 | #Constraints: 116345
1758.53/1763.90 c #Conflicts: 1648000 | #Constraints: 117345
1758.53/1763.90 c #Conflicts: 1649000 | #Constraints: 118345
1758.53/1763.90 c #Conflicts: 1650000 | #Constraints: 119345
1907.60/1913.47 c #Conflicts: 1651000 | #Constraints: 120345
1907.60/1913.47 c #Conflicts: 1652000 | #Constraints: 121345
1907.60/1913.47 c #Conflicts: 1653000 | #Constraints: 122345
1907.60/1913.47 c #Conflicts: 1654000 | #Constraints: 123345
1907.60/1913.47 c #Conflicts: 1655000 | #Constraints: 124345
1907.60/1913.47 c #Conflicts: 1656000 | #Constraints: 125345
1907.60/1913.47 c #Conflicts: 1657000 | #Constraints: 126345
1907.60/1913.47 c #Conflicts: 1658000 | #Constraints: 127345
1907.60/1913.47 c #Conflicts: 1659000 | #Constraints: 128345
1907.60/1913.47 c #Conflicts: 1660000 | #Constraints: 129345
1907.60/1913.47 c #Conflicts: 1661000 | #Constraints: 130345
1907.60/1913.47 c #Conflicts: 1662000 | #Constraints: 131345
1907.60/1913.47 c INPROCESSING
1907.60/1913.47 c GARBAGE COLLECT
1907.60/1913.47 c #Conflicts: 1663000 | #Constraints: 67394
1907.60/1913.47 c #Conflicts: 1664000 | #Constraints: 68394
1907.60/1913.47 c #Conflicts: 1665000 | #Constraints: 69394
1907.60/1913.47 c #Conflicts: 1666000 | #Constraints: 70394
1907.60/1913.47 c #Conflicts: 1667000 | #Constraints: 71394
1907.60/1913.47 c #Conflicts: 1668000 | #Constraints: 72394
1907.60/1913.47 c #Conflicts: 1669000 | #Constraints: 73394
1907.60/1913.47 c #Conflicts: 1670000 | #Constraints: 74394
1907.60/1913.47 c #Conflicts: 1671000 | #Constraints: 75394
1907.60/1913.47 c #Conflicts: 1672000 | #Constraints: 76394
1907.60/1913.47 c #Conflicts: 1673000 | #Constraints: 77394
1907.60/1913.47 c #Conflicts: 1674000 | #Constraints: 78394
1907.60/1913.47 c #Conflicts: 1675000 | #Constraints: 79394
1907.60/1913.47 c #Conflicts: 1676000 | #Constraints: 80394
1907.60/1913.47 c #Conflicts: 1677000 | #Constraints: 81394
1907.60/1913.47 c #Conflicts: 1678000 | #Constraints: 82394
1907.60/1913.47 c #Conflicts: 1679000 | #Constraints: 83394
1907.60/1913.47 c #Conflicts: 1680000 | #Constraints: 84394
1907.60/1913.47 c #Conflicts: 1681000 | #Constraints: 85394
1907.60/1913.47 c #Conflicts: 1682000 | #Constraints: 86394
1907.60/1913.47 c #Conflicts: 1683000 | #Constraints: 87394
1907.60/1913.47 c #Conflicts: 1684000 | #Constraints: 88394
1907.60/1913.47 c #Conflicts: 1685000 | #Constraints: 89394
1907.60/1913.47 c #Conflicts: 1686000 | #Constraints: 90394
1907.60/1913.47 c #Conflicts: 1687000 | #Constraints: 91394
1907.60/1913.47 c #Conflicts: 1688000 | #Constraints: 92394
1907.60/1913.47 c #Conflicts: 1689000 | #Constraints: 93394
1907.60/1913.47 c #Conflicts: 1690000 | #Constraints: 94394
1907.60/1913.47 c #Conflicts: 1691000 | #Constraints: 95394
1907.60/1913.47 c #Conflicts: 1692000 | #Constraints: 96394
1907.60/1913.47 c #Conflicts: 1693000 | #Constraints: 97394
1907.60/1913.47 c #Conflicts: 1694000 | #Constraints: 98394
1907.60/1913.47 c INPROCESSING
1907.60/1913.47 c GARBAGE COLLECT
1907.60/1913.47 c #Conflicts: 1695000 | #Constraints: 51374
1907.60/1913.47 c #Conflicts: 1696000 | #Constraints: 52374
1907.60/1913.47 c #Conflicts: 1697000 | #Constraints: 53374
1907.60/1913.47 c #Conflicts: 1698000 | #Constraints: 54374
1907.60/1913.47 c #Conflicts: 1699000 | #Constraints: 55374
1907.60/1913.47 c #Conflicts: 1700000 | #Constraints: 56374
1907.60/1913.47 c #Conflicts: 1701000 | #Constraints: 57374
1907.60/1913.47 c #Conflicts: 1702000 | #Constraints: 58374
1907.60/1913.47 c #Conflicts: 1703000 | #Constraints: 59374
1907.60/1913.47 c #Conflicts: 1704000 | #Constraints: 60374
1907.60/1913.47 c #Conflicts: 1705000 | #Constraints: 61374
1907.60/1913.47 c #Conflicts: 1706000 | #Constraints: 62374
1907.60/1913.47 c #Conflicts: 1707000 | #Constraints: 63374
1907.60/1913.47 c #Conflicts: 1708000 | #Constraints: 64374
1907.60/1913.47 c #Conflicts: 1709000 | #Constraints: 65374
1907.60/1913.47 c #Conflicts: 1710000 | #Constraints: 66374
1907.60/1913.47 c #Conflicts: 1711000 | #Constraints: 67374
1907.60/1913.47 c #Conflicts: 1712000 | #Constraints: 68374
1907.60/1913.47 c #Conflicts: 1713000 | #Constraints: 69374
1907.60/1913.47 c #Conflicts: 1714000 | #Constraints: 70374
1907.60/1913.47 c #Conflicts: 1715000 | #Constraints: 71374
1907.60/1913.47 c #Conflicts: 1716000 | #Constraints: 72374
1907.60/1913.47 c #Conflicts: 1717000 | #Constraints: 73374
1907.60/1913.47 c #Conflicts: 1718000 | #Constraints: 74374
1907.60/1913.47 c #Conflicts: 1719000 | #Constraints: 75374
1907.60/1913.47 c #Conflicts: 1720000 | #Constraints: 76374
1907.60/1913.47 c #Conflicts: 1721000 | #Constraints: 77374
1907.60/1913.47 c #Conflicts: 1722000 | #Constraints: 78374
1907.60/1913.47 c #Conflicts: 1723000 | #Constraints: 79374
1907.60/1913.47 c #Conflicts: 1724000 | #Constraints: 80374
1907.60/1913.47 c #Conflicts: 1725000 | #Constraints: 81374
1907.60/1913.47 c INPROCESSING
1907.60/1913.47 c GARBAGE COLLECT
1907.60/1913.47 c #Conflicts: 1726000 | #Constraints: 42714
1907.60/1913.47 c #Conflicts: 1727000 | #Constraints: 43714
2060.38/2066.64 c #Conflicts: 1728000 | #Constraints: 44714
2060.38/2066.64 c #Conflicts: 1729000 | #Constraints: 45714
2060.38/2066.64 c #Conflicts: 1730000 | #Constraints: 46714
2060.38/2066.64 c #Conflicts: 1731000 | #Constraints: 47714
2060.38/2066.64 c #Conflicts: 1732000 | #Constraints: 48714
2060.38/2066.64 c #Conflicts: 1733000 | #Constraints: 49714
2060.38/2066.64 c #Conflicts: 1734000 | #Constraints: 50714
2060.38/2066.64 c #Conflicts: 1735000 | #Constraints: 51714
2060.38/2066.64 c #Conflicts: 1736000 | #Constraints: 52714
2060.38/2066.64 c #Conflicts: 1737000 | #Constraints: 53714
2060.38/2066.64 c #Conflicts: 1738000 | #Constraints: 54714
2060.38/2066.64 c #Conflicts: 1739000 | #Constraints: 55714
2060.38/2066.64 c #Conflicts: 1740000 | #Constraints: 56714
2060.38/2066.64 c #Conflicts: 1741000 | #Constraints: 57714
2060.38/2066.64 c #Conflicts: 1742000 | #Constraints: 58714
2060.38/2066.64 c #Conflicts: 1743000 | #Constraints: 59714
2060.38/2066.64 c #Conflicts: 1744000 | #Constraints: 60714
2060.38/2066.64 c #Conflicts: 1745000 | #Constraints: 61714
2060.38/2066.64 c #Conflicts: 1746000 | #Constraints: 62714
2060.38/2066.64 c #Conflicts: 1747000 | #Constraints: 63714
2060.38/2066.64 c #Conflicts: 1748000 | #Constraints: 64714
2060.38/2066.64 c #Conflicts: 1749000 | #Constraints: 65714
2060.38/2066.64 c #Conflicts: 1750000 | #Constraints: 66714
2060.38/2066.64 c #Conflicts: 1751000 | #Constraints: 67714
2060.38/2066.64 c #Conflicts: 1752000 | #Constraints: 68714
2060.38/2066.64 c #Conflicts: 1753000 | #Constraints: 69714
2060.38/2066.64 c #Conflicts: 1754000 | #Constraints: 70714
2060.38/2066.64 c #Conflicts: 1755000 | #Constraints: 71714
2060.38/2066.64 c #Conflicts: 1756000 | #Constraints: 72714
2060.38/2066.64 c #Conflicts: 1757000 | #Constraints: 73714
2060.38/2066.64 c #Conflicts: 1758000 | #Constraints: 74714
2060.38/2066.64 c #Conflicts: 1759000 | #Constraints: 75714
2060.38/2066.64 c #Conflicts: 1760000 | #Constraints: 76714
2060.38/2066.64 c #Conflicts: 1761000 | #Constraints: 77714
2060.38/2066.64 c #Conflicts: 1762000 | #Constraints: 78714
2060.38/2066.64 c #Conflicts: 1763000 | #Constraints: 79714
2060.38/2066.64 c #Conflicts: 1764000 | #Constraints: 80714
2060.38/2066.64 c #Conflicts: 1765000 | #Constraints: 81714
2060.38/2066.64 c #Conflicts: 1766000 | #Constraints: 82714
2060.38/2066.64 c #Conflicts: 1767000 | #Constraints: 83714
2060.38/2066.64 c #Conflicts: 1768000 | #Constraints: 84714
2060.38/2066.64 c #Conflicts: 1769000 | #Constraints: 85714
2060.38/2066.64 c #Conflicts: 1770000 | #Constraints: 86714
2060.38/2066.64 c #Conflicts: 1771000 | #Constraints: 87714
2060.38/2066.64 c #Conflicts: 1772000 | #Constraints: 88714
2060.38/2066.64 c #Conflicts: 1773000 | #Constraints: 89714
2060.38/2066.64 c #Conflicts: 1774000 | #Constraints: 90714
2060.38/2066.64 c #Conflicts: 1775000 | #Constraints: 91714
2060.38/2066.64 c #Conflicts: 1776000 | #Constraints: 92714
2060.38/2066.64 c #Conflicts: 1777000 | #Constraints: 93714
2060.38/2066.64 c #Conflicts: 1778000 | #Constraints: 94714
2060.38/2066.64 c #Conflicts: 1779000 | #Constraints: 95714
2060.38/2066.64 c #Conflicts: 1780000 | #Constraints: 96714
2060.38/2066.64 c #Conflicts: 1781000 | #Constraints: 97714
2060.38/2066.64 c #Conflicts: 1782000 | #Constraints: 98714
2060.38/2066.64 c #Conflicts: 1783000 | #Constraints: 99714
2060.38/2066.64 c #Conflicts: 1784000 | #Constraints: 100714
2060.38/2066.64 c #Conflicts: 1785000 | #Constraints: 101714
2060.38/2066.64 c #Conflicts: 1786000 | #Constraints: 102714
2060.38/2066.64 c #Conflicts: 1787000 | #Constraints: 103714
2060.38/2066.64 c #Conflicts: 1788000 | #Constraints: 104714
2060.38/2066.64 c #Conflicts: 1789000 | #Constraints: 105714
2060.38/2066.64 c #Conflicts: 1790000 | #Constraints: 106714
2060.38/2066.64 c #Conflicts: 1791000 | #Constraints: 107714
2060.38/2066.64 c #Conflicts: 1792000 | #Constraints: 108714
2060.38/2066.64 c #Conflicts: 1793000 | #Constraints: 109714
2060.38/2066.64 c #Conflicts: 1794000 | #Constraints: 110714
2060.38/2066.64 c #Conflicts: 1795000 | #Constraints: 111714
2060.38/2066.64 c #Conflicts: 1796000 | #Constraints: 112714
2060.38/2066.64 c #Conflicts: 1797000 | #Constraints: 113714
2060.38/2066.64 c #Conflicts: 1798000 | #Constraints: 114714
2060.38/2066.64 c #Conflicts: 1799000 | #Constraints: 115714
2060.38/2066.64 c #Conflicts: 1800000 | #Constraints: 116714
2060.38/2066.64 c #Conflicts: 1801000 | #Constraints: 117714
2060.38/2066.64 c #Conflicts: 1802000 | #Constraints: 118714
2060.38/2066.64 c #Conflicts: 1803000 | #Constraints: 119714
2060.38/2066.64 c #Conflicts: 1804000 | #Constraints: 120714
2060.38/2066.64 c #Conflicts: 1805000 | #Constraints: 121714
2060.38/2066.64 c #Conflicts: 1806000 | #Constraints: 122714
2216.63/2223.31 c #Conflicts: 1807000 | #Constraints: 123714
2216.63/2223.31 c #Conflicts: 1808000 | #Constraints: 124714
2216.63/2223.31 c #Conflicts: 1809000 | #Constraints: 125714
2216.63/2223.31 c #Conflicts: 1810000 | #Constraints: 126714
2216.63/2223.31 c #Conflicts: 1811000 | #Constraints: 127714
2216.63/2223.31 c #Conflicts: 1812000 | #Constraints: 128714
2216.63/2223.31 c #Conflicts: 1813000 | #Constraints: 129714
2216.63/2223.31 c #Conflicts: 1814000 | #Constraints: 130714
2216.63/2223.31 c #Conflicts: 1815000 | #Constraints: 131714
2216.63/2223.31 c #Conflicts: 1816000 | #Constraints: 132714
2216.63/2223.31 c #Conflicts: 1817000 | #Constraints: 133714
2216.63/2223.31 c #Conflicts: 1818000 | #Constraints: 134714
2216.63/2223.31 c #Conflicts: 1819000 | #Constraints: 135714
2216.63/2223.31 c #Conflicts: 1820000 | #Constraints: 136714
2216.63/2223.31 c #Conflicts: 1821000 | #Constraints: 137714
2216.63/2223.31 c INPROCESSING
2216.63/2223.31 c GARBAGE COLLECT
2216.63/2223.31 c #Conflicts: 1822000 | #Constraints: 70743
2216.63/2223.31 c #Conflicts: 1823000 | #Constraints: 71743
2216.63/2223.31 c #Conflicts: 1824000 | #Constraints: 72743
2216.63/2223.31 c #Conflicts: 1825000 | #Constraints: 73743
2216.63/2223.31 c #Conflicts: 1826000 | #Constraints: 74743
2216.63/2223.31 c #Conflicts: 1827000 | #Constraints: 75743
2216.63/2223.31 c #Conflicts: 1828000 | #Constraints: 76743
2216.63/2223.31 c #Conflicts: 1829000 | #Constraints: 77743
2216.63/2223.31 c #Conflicts: 1830000 | #Constraints: 78743
2216.63/2223.31 c #Conflicts: 1831000 | #Constraints: 79743
2216.63/2223.31 c #Conflicts: 1832000 | #Constraints: 80743
2216.63/2223.31 c #Conflicts: 1833000 | #Constraints: 81743
2216.63/2223.31 c #Conflicts: 1834000 | #Constraints: 82743
2216.63/2223.31 c #Conflicts: 1835000 | #Constraints: 83743
2216.63/2223.31 c #Conflicts: 1836000 | #Constraints: 84743
2216.63/2223.31 c #Conflicts: 1837000 | #Constraints: 85743
2216.63/2223.31 c #Conflicts: 1838000 | #Constraints: 86743
2216.63/2223.31 c #Conflicts: 1839000 | #Constraints: 87743
2216.63/2223.31 c #Conflicts: 1840000 | #Constraints: 88743
2216.63/2223.31 c #Conflicts: 1841000 | #Constraints: 89743
2216.63/2223.31 c #Conflicts: 1842000 | #Constraints: 90743
2216.63/2223.31 c #Conflicts: 1843000 | #Constraints: 91743
2216.63/2223.31 c #Conflicts: 1844000 | #Constraints: 92743
2216.63/2223.31 c #Conflicts: 1845000 | #Constraints: 93743
2216.63/2223.31 c #Conflicts: 1846000 | #Constraints: 94743
2216.63/2223.31 c #Conflicts: 1847000 | #Constraints: 95743
2216.63/2223.31 c #Conflicts: 1848000 | #Constraints: 96743
2216.63/2223.31 c #Conflicts: 1849000 | #Constraints: 97743
2216.63/2223.31 c #Conflicts: 1850000 | #Constraints: 98743
2216.63/2223.31 c #Conflicts: 1851000 | #Constraints: 99743
2216.63/2223.31 c #Conflicts: 1852000 | #Constraints: 100743
2216.63/2223.31 c #Conflicts: 1853000 | #Constraints: 101743
2216.63/2223.31 c #Conflicts: 1854000 | #Constraints: 102743
2216.63/2223.31 c INPROCESSING
2216.63/2223.31 c GARBAGE COLLECT
2216.63/2223.31 c #Conflicts: 1855000 | #Constraints: 53461
2216.63/2223.31 c #Conflicts: 1856000 | #Constraints: 54461
2216.63/2223.31 c #Conflicts: 1857000 | #Constraints: 55461
2216.63/2223.31 c #Conflicts: 1858000 | #Constraints: 56461
2216.63/2223.31 c #Conflicts: 1859000 | #Constraints: 57461
2216.63/2223.31 c #Conflicts: 1860000 | #Constraints: 58461
2216.63/2223.31 c #Conflicts: 1861000 | #Constraints: 59461
2216.63/2223.31 c #Conflicts: 1862000 | #Constraints: 60461
2216.63/2223.31 c #Conflicts: 1863000 | #Constraints: 61461
2216.63/2223.31 c #Conflicts: 1864000 | #Constraints: 62461
2216.63/2223.31 c #Conflicts: 1865000 | #Constraints: 63461
2216.63/2223.31 c #Conflicts: 1866000 | #Constraints: 64461
2216.63/2223.31 c #Conflicts: 1867000 | #Constraints: 65461
2216.63/2223.31 c #Conflicts: 1868000 | #Constraints: 66461
2216.63/2223.31 c #Conflicts: 1869000 | #Constraints: 67461
2216.63/2223.31 c #Conflicts: 1870000 | #Constraints: 68461
2216.63/2223.31 c #Conflicts: 1871000 | #Constraints: 69461
2216.63/2223.31 c #Conflicts: 1872000 | #Constraints: 70461
2216.63/2223.31 c #Conflicts: 1873000 | #Constraints: 71461
2216.63/2223.31 c #Conflicts: 1874000 | #Constraints: 72461
2216.63/2223.31 c #Conflicts: 1875000 | #Constraints: 73461
2216.63/2223.31 c #Conflicts: 1876000 | #Constraints: 74461
2216.63/2223.31 c #Conflicts: 1877000 | #Constraints: 75461
2216.63/2223.31 c #Conflicts: 1878000 | #Constraints: 76461
2216.63/2223.31 c #Conflicts: 1879000 | #Constraints: 77461
2216.63/2223.31 c #Conflicts: 1880000 | #Constraints: 78461
2216.63/2223.31 c #Conflicts: 1881000 | #Constraints: 79461
2216.63/2223.31 c #Conflicts: 1882000 | #Constraints: 80461
2216.63/2223.31 c #Conflicts: 1883000 | #Constraints: 81461
2361.54/2368.66 c #Conflicts: 1884000 | #Constraints: 82461
2361.54/2368.66 c #Conflicts: 1885000 | #Constraints: 83461
2361.54/2368.66 c #Conflicts: 1886000 | #Constraints: 84461
2361.54/2368.66 c #Conflicts: 1887000 | #Constraints: 85461
2361.54/2368.66 c INPROCESSING
2361.54/2368.66 c GARBAGE COLLECT
2361.54/2368.66 c #Conflicts: 1888000 | #Constraints: 44909
2361.54/2368.66 c #Conflicts: 1889000 | #Constraints: 45909
2361.54/2368.66 c #Conflicts: 1890000 | #Constraints: 46909
2361.54/2368.66 c #Conflicts: 1891000 | #Constraints: 47909
2361.54/2368.66 c #Conflicts: 1892000 | #Constraints: 48909
2361.54/2368.66 c #Conflicts: 1893000 | #Constraints: 49909
2361.54/2368.66 c #Conflicts: 1894000 | #Constraints: 50909
2361.54/2368.66 c #Conflicts: 1895000 | #Constraints: 51909
2361.54/2368.66 c #Conflicts: 1896000 | #Constraints: 52909
2361.54/2368.66 c #Conflicts: 1897000 | #Constraints: 53909
2361.54/2368.66 c #Conflicts: 1898000 | #Constraints: 54909
2361.54/2368.66 c #Conflicts: 1899000 | #Constraints: 55909
2361.54/2368.66 c #Conflicts: 1900000 | #Constraints: 56909
2361.54/2368.66 c #Conflicts: 1901000 | #Constraints: 57909
2361.54/2368.66 c #Conflicts: 1902000 | #Constraints: 58909
2361.54/2368.66 c #Conflicts: 1903000 | #Constraints: 59909
2361.54/2368.66 c #Conflicts: 1904000 | #Constraints: 60909
2361.54/2368.66 c #Conflicts: 1905000 | #Constraints: 61909
2361.54/2368.66 c #Conflicts: 1906000 | #Constraints: 62909
2361.54/2368.66 c #Conflicts: 1907000 | #Constraints: 63909
2361.54/2368.66 c #Conflicts: 1908000 | #Constraints: 64909
2361.54/2368.66 c #Conflicts: 1909000 | #Constraints: 65909
2361.54/2368.66 c #Conflicts: 1910000 | #Constraints: 66909
2361.54/2368.66 c #Conflicts: 1911000 | #Constraints: 67909
2361.54/2368.66 c #Conflicts: 1912000 | #Constraints: 68909
2361.54/2368.66 c #Conflicts: 1913000 | #Constraints: 69909
2361.54/2368.66 c #Conflicts: 1914000 | #Constraints: 70909
2361.54/2368.66 c #Conflicts: 1915000 | #Constraints: 71909
2361.54/2368.66 c #Conflicts: 1916000 | #Constraints: 72909
2361.54/2368.66 c #Conflicts: 1917000 | #Constraints: 73909
2361.54/2368.66 c #Conflicts: 1918000 | #Constraints: 74909
2361.54/2368.66 c #Conflicts: 1919000 | #Constraints: 75909
2361.54/2368.66 c #Conflicts: 1920000 | #Constraints: 76909
2361.54/2368.66 c #Conflicts: 1921000 | #Constraints: 77909
2361.54/2368.66 c #Conflicts: 1922000 | #Constraints: 78909
2361.54/2368.66 c #Conflicts: 1923000 | #Constraints: 79909
2361.54/2368.66 c #Conflicts: 1924000 | #Constraints: 80909
2361.54/2368.66 c #Conflicts: 1925000 | #Constraints: 81909
2361.54/2368.66 c #Conflicts: 1926000 | #Constraints: 82909
2361.54/2368.66 c #Conflicts: 1927000 | #Constraints: 83909
2361.54/2368.66 c #Conflicts: 1928000 | #Constraints: 84909
2361.54/2368.66 c #Conflicts: 1929000 | #Constraints: 85909
2361.54/2368.66 c #Conflicts: 1930000 | #Constraints: 86909
2361.54/2368.66 c #Conflicts: 1931000 | #Constraints: 87909
2361.54/2368.66 c #Conflicts: 1932000 | #Constraints: 88909
2361.54/2368.66 c #Conflicts: 1933000 | #Constraints: 89909
2361.54/2368.66 c #Conflicts: 1934000 | #Constraints: 90909
2361.54/2368.66 c #Conflicts: 1935000 | #Constraints: 91909
2361.54/2368.66 c #Conflicts: 1936000 | #Constraints: 92909
2361.54/2368.66 c #Conflicts: 1937000 | #Constraints: 93909
2361.54/2368.66 c #Conflicts: 1938000 | #Constraints: 94909
2361.54/2368.66 c #Conflicts: 1939000 | #Constraints: 95909
2361.54/2368.66 c #Conflicts: 1940000 | #Constraints: 96909
2361.54/2368.66 c #Conflicts: 1941000 | #Constraints: 97909
2361.54/2368.66 c #Conflicts: 1942000 | #Constraints: 98909
2361.54/2368.66 c #Conflicts: 1943000 | #Constraints: 99909
2361.54/2368.66 c #Conflicts: 1944000 | #Constraints: 100909
2361.54/2368.66 c #Conflicts: 1945000 | #Constraints: 101909
2361.54/2368.66 c #Conflicts: 1946000 | #Constraints: 102909
2361.54/2368.66 c #Conflicts: 1947000 | #Constraints: 103909
2361.54/2368.66 c #Conflicts: 1948000 | #Constraints: 104909
2361.54/2368.66 c #Conflicts: 1949000 | #Constraints: 105909
2361.54/2368.66 c #Conflicts: 1950000 | #Constraints: 106909
2361.54/2368.66 c #Conflicts: 1951000 | #Constraints: 107909
2361.54/2368.66 c #Conflicts: 1952000 | #Constraints: 108909
2361.54/2368.66 c #Conflicts: 1953000 | #Constraints: 109909
2361.54/2368.66 c #Conflicts: 1954000 | #Constraints: 110909
2361.54/2368.66 c #Conflicts: 1955000 | #Constraints: 111909
2361.54/2368.66 c #Conflicts: 1956000 | #Constraints: 112909
2361.54/2368.66 c #Conflicts: 1957000 | #Constraints: 113909
2361.54/2368.66 c #Conflicts: 1958000 | #Constraints: 114909
2361.54/2368.66 c #Conflicts: 1959000 | #Constraints: 115909
2361.54/2368.66 c #Conflicts: 1960000 | #Constraints: 116909
2361.54/2368.66 c #Conflicts: 1961000 | #Constraints: 117909
2361.54/2368.66 c #Conflicts: 1962000 | #Constraints: 118909
2545.31/2552.92 c #Conflicts: 1963000 | #Constraints: 119909
2545.31/2552.92 c #Conflicts: 1964000 | #Constraints: 120909
2545.31/2552.92 c #Conflicts: 1965000 | #Constraints: 121909
2545.31/2552.92 c #Conflicts: 1966000 | #Constraints: 122909
2545.31/2552.92 c #Conflicts: 1967000 | #Constraints: 123909
2545.31/2552.92 c #Conflicts: 1968000 | #Constraints: 124909
2545.31/2552.92 c #Conflicts: 1969000 | #Constraints: 125909
2545.31/2552.92 c #Conflicts: 1970000 | #Constraints: 126909
2545.31/2552.92 c #Conflicts: 1971000 | #Constraints: 127909
2545.31/2552.92 c #Conflicts: 1972000 | #Constraints: 128909
2545.31/2552.92 c #Conflicts: 1973000 | #Constraints: 129909
2545.31/2552.92 c #Conflicts: 1974000 | #Constraints: 130909
2545.31/2552.92 c #Conflicts: 1975000 | #Constraints: 131909
2545.31/2552.92 c #Conflicts: 1976000 | #Constraints: 132909
2545.31/2552.92 c #Conflicts: 1977000 | #Constraints: 133909
2545.31/2552.92 c #Conflicts: 1978000 | #Constraints: 134909
2545.31/2552.92 c #Conflicts: 1979000 | #Constraints: 135909
2545.31/2552.92 c #Conflicts: 1980000 | #Constraints: 136909
2545.31/2552.92 c #Conflicts: 1981000 | #Constraints: 137909
2545.31/2552.92 c #Conflicts: 1982000 | #Constraints: 138909
2545.31/2552.92 c #Conflicts: 1983000 | #Constraints: 139909
2545.31/2552.92 c #Conflicts: 1984000 | #Constraints: 140909
2545.31/2552.92 c #Conflicts: 1985000 | #Constraints: 141909
2545.31/2552.92 c #Conflicts: 1986000 | #Constraints: 142909
2545.31/2552.92 c #Conflicts: 1987000 | #Constraints: 143909
2545.31/2552.92 c INPROCESSING
2545.31/2552.92 c GARBAGE COLLECT
2545.31/2552.92 c #Conflicts: 1988000 | #Constraints: 73890
2545.31/2552.92 c #Conflicts: 1989000 | #Constraints: 74890
2545.31/2552.92 c #Conflicts: 1990000 | #Constraints: 75890
2545.31/2552.92 c #Conflicts: 1991000 | #Constraints: 76890
2545.31/2552.92 c #Conflicts: 1992000 | #Constraints: 77890
2545.31/2552.92 c #Conflicts: 1993000 | #Constraints: 78890
2545.31/2552.92 c #Conflicts: 1994000 | #Constraints: 79890
2545.31/2552.92 c #Conflicts: 1995000 | #Constraints: 80890
2545.31/2552.92 c #Conflicts: 1996000 | #Constraints: 81890
2545.31/2552.92 c #Conflicts: 1997000 | #Constraints: 82890
2545.31/2552.92 c #Conflicts: 1998000 | #Constraints: 83890
2545.31/2552.92 c #Conflicts: 1999000 | #Constraints: 84890
2545.31/2552.92 c #Conflicts: 2000000 | #Constraints: 85890
2545.31/2552.92 c #Conflicts: 2001000 | #Constraints: 86890
2545.31/2552.92 c #Conflicts: 2002000 | #Constraints: 87890
2545.31/2552.92 c #Conflicts: 2003000 | #Constraints: 88890
2545.31/2552.92 c #Conflicts: 2004000 | #Constraints: 89890
2545.31/2552.92 c #Conflicts: 2005000 | #Constraints: 90890
2545.31/2552.92 c #Conflicts: 2006000 | #Constraints: 91890
2545.31/2552.92 c #Conflicts: 2007000 | #Constraints: 92890
2545.31/2552.92 c #Conflicts: 2008000 | #Constraints: 93890
2545.31/2552.92 c #Conflicts: 2009000 | #Constraints: 94890
2545.31/2552.92 c #Conflicts: 2010000 | #Constraints: 95890
2545.31/2552.92 c #Conflicts: 2011000 | #Constraints: 96890
2545.31/2552.92 c #Conflicts: 2012000 | #Constraints: 97890
2545.31/2552.92 c #Conflicts: 2013000 | #Constraints: 98890
2545.31/2552.92 c #Conflicts: 2014000 | #Constraints: 99890
2545.31/2552.92 c #Conflicts: 2015000 | #Constraints: 100890
2545.31/2552.92 c #Conflicts: 2016000 | #Constraints: 101890
2545.31/2552.92 c #Conflicts: 2017000 | #Constraints: 102890
2545.31/2552.92 c #Conflicts: 2018000 | #Constraints: 103890
2545.31/2552.92 c #Conflicts: 2019000 | #Constraints: 104890
2545.31/2552.92 c #Conflicts: 2020000 | #Constraints: 105890
2545.31/2552.92 c #Conflicts: 2021000 | #Constraints: 106890
2545.31/2552.92 c INPROCESSING
2545.31/2552.92 c GARBAGE COLLECT
2545.31/2552.92 c #Conflicts: 2022000 | #Constraints: 55336
2545.31/2552.92 c #Conflicts: 2023000 | #Constraints: 56336
2545.31/2552.92 c #Conflicts: 2024000 | #Constraints: 57336
2545.31/2552.92 c #Conflicts: 2025000 | #Constraints: 58336
2545.31/2552.92 c #Conflicts: 2026000 | #Constraints: 59336
2545.31/2552.92 c #Conflicts: 2027000 | #Constraints: 60336
2545.31/2552.92 c #Conflicts: 2028000 | #Constraints: 61336
2545.31/2552.92 c #Conflicts: 2029000 | #Constraints: 62336
2545.31/2552.92 c #Conflicts: 2030000 | #Constraints: 63336
2545.31/2552.92 c #Conflicts: 2031000 | #Constraints: 64336
2545.31/2552.92 c #Conflicts: 2032000 | #Constraints: 65336
2545.31/2552.92 c #Conflicts: 2033000 | #Constraints: 66336
2545.31/2552.92 c #Conflicts: 2034000 | #Constraints: 67336
2545.31/2552.92 c #Conflicts: 2035000 | #Constraints: 68336
2545.31/2552.92 c #Conflicts: 2036000 | #Constraints: 69336
2545.31/2552.92 c #Conflicts: 2037000 | #Constraints: 70336
2545.31/2552.92 c #Conflicts: 2038000 | #Constraints: 71336
2545.31/2552.92 c #Conflicts: 2039000 | #Constraints: 72336
2687.32/2695.32 c #Conflicts: 2040000 | #Constraints: 73336
2687.32/2695.32 c #Conflicts: 2041000 | #Constraints: 74336
2687.32/2695.32 c #Conflicts: 2042000 | #Constraints: 75336
2687.32/2695.32 c #Conflicts: 2043000 | #Constraints: 76336
2687.32/2695.32 c #Conflicts: 2044000 | #Constraints: 77336
2687.32/2695.32 c #Conflicts: 2045000 | #Constraints: 78336
2687.32/2695.32 c #Conflicts: 2046000 | #Constraints: 79336
2687.32/2695.32 c #Conflicts: 2047000 | #Constraints: 80336
2687.32/2695.32 c #Conflicts: 2048000 | #Constraints: 81336
2687.32/2695.32 c #Conflicts: 2049000 | #Constraints: 82336
2687.32/2695.32 c #Conflicts: 2050000 | #Constraints: 83336
2687.32/2695.32 c #Conflicts: 2051000 | #Constraints: 84336
2687.32/2695.32 c #Conflicts: 2052000 | #Constraints: 85336
2687.32/2695.32 c #Conflicts: 2053000 | #Constraints: 86336
2687.32/2695.32 c #Conflicts: 2054000 | #Constraints: 87336
2687.32/2695.32 c #Conflicts: 2055000 | #Constraints: 88336
2687.32/2695.32 c INPROCESSING
2687.32/2695.32 c GARBAGE COLLECT
2687.32/2695.32 c #Conflicts: 2056000 | #Constraints: 45911
2687.32/2695.32 c #Conflicts: 2057000 | #Constraints: 46911
2687.32/2695.32 c #Conflicts: 2058000 | #Constraints: 47911
2687.32/2695.32 c #Conflicts: 2059000 | #Constraints: 48911
2687.32/2695.32 c #Conflicts: 2060000 | #Constraints: 49911
2687.32/2695.32 c #Conflicts: 2061000 | #Constraints: 50911
2687.32/2695.32 c #Conflicts: 2062000 | #Constraints: 51911
2687.32/2695.32 c #Conflicts: 2063000 | #Constraints: 52911
2687.32/2695.32 c #Conflicts: 2064000 | #Constraints: 53911
2687.32/2695.32 c #Conflicts: 2065000 | #Constraints: 54911
2687.32/2695.32 c #Conflicts: 2066000 | #Constraints: 55911
2687.32/2695.32 c #Conflicts: 2067000 | #Constraints: 56911
2687.32/2695.32 c #Conflicts: 2068000 | #Constraints: 57911
2687.32/2695.32 c #Conflicts: 2069000 | #Constraints: 58911
2687.32/2695.32 c #Conflicts: 2070000 | #Constraints: 59911
2687.32/2695.32 c #Conflicts: 2071000 | #Constraints: 60911
2687.32/2695.32 c #Conflicts: 2072000 | #Constraints: 61911
2687.32/2695.32 c #Conflicts: 2073000 | #Constraints: 62911
2687.32/2695.32 c #Conflicts: 2074000 | #Constraints: 63911
2687.32/2695.32 c #Conflicts: 2075000 | #Constraints: 64911
2687.32/2695.32 c #Conflicts: 2076000 | #Constraints: 65911
2687.32/2695.32 c #Conflicts: 2077000 | #Constraints: 66911
2687.32/2695.32 c #Conflicts: 2078000 | #Constraints: 67911
2687.32/2695.32 c #Conflicts: 2079000 | #Constraints: 68911
2687.32/2695.32 c #Conflicts: 2080000 | #Constraints: 69911
2687.32/2695.32 c #Conflicts: 2081000 | #Constraints: 70911
2687.32/2695.32 c #Conflicts: 2082000 | #Constraints: 71911
2687.32/2695.32 c #Conflicts: 2083000 | #Constraints: 72911
2687.32/2695.32 c #Conflicts: 2084000 | #Constraints: 73911
2687.32/2695.32 c #Conflicts: 2085000 | #Constraints: 74911
2687.32/2695.32 c #Conflicts: 2086000 | #Constraints: 75911
2687.32/2695.32 c #Conflicts: 2087000 | #Constraints: 76911
2687.32/2695.32 c #Conflicts: 2088000 | #Constraints: 77911
2687.32/2695.32 c #Conflicts: 2089000 | #Constraints: 78911
2687.32/2695.32 c #Conflicts: 2090000 | #Constraints: 79911
2687.32/2695.32 c #Conflicts: 2091000 | #Constraints: 80911
2687.32/2695.32 c #Conflicts: 2092000 | #Constraints: 81911
2687.32/2695.32 c #Conflicts: 2093000 | #Constraints: 82911
2687.32/2695.32 c #Conflicts: 2094000 | #Constraints: 83911
2687.32/2695.32 c #Conflicts: 2095000 | #Constraints: 84911
2687.32/2695.32 c #Conflicts: 2096000 | #Constraints: 85911
2687.32/2695.32 c #Conflicts: 2097000 | #Constraints: 86911
2687.32/2695.32 c #Conflicts: 2098000 | #Constraints: 87911
2687.32/2695.32 c #Conflicts: 2099000 | #Constraints: 88911
2687.32/2695.32 c #Conflicts: 2100000 | #Constraints: 89911
2687.32/2695.32 c #Conflicts: 2101000 | #Constraints: 90911
2687.32/2695.32 c #Conflicts: 2102000 | #Constraints: 91911
2687.32/2695.32 c #Conflicts: 2103000 | #Constraints: 92911
2687.32/2695.32 c #Conflicts: 2104000 | #Constraints: 93911
2687.32/2695.32 c #Conflicts: 2105000 | #Constraints: 94911
2687.32/2695.32 c #Conflicts: 2106000 | #Constraints: 95911
2687.32/2695.32 c #Conflicts: 2107000 | #Constraints: 96911
2687.32/2695.32 c #Conflicts: 2108000 | #Constraints: 97911
2687.32/2695.32 c #Conflicts: 2109000 | #Constraints: 98911
2687.32/2695.32 c #Conflicts: 2110000 | #Constraints: 99911
2687.32/2695.32 c #Conflicts: 2111000 | #Constraints: 100911
2687.32/2695.32 c #Conflicts: 2112000 | #Constraints: 101911
2687.32/2695.32 c #Conflicts: 2113000 | #Constraints: 102911
2687.32/2695.32 c #Conflicts: 2114000 | #Constraints: 103911
2687.32/2695.32 c #Conflicts: 2115000 | #Constraints: 104911
2687.32/2695.32 c #Conflicts: 2116000 | #Constraints: 105911
2687.32/2695.32 c #Conflicts: 2117000 | #Constraints: 106911
2900.21/2908.80 c #Conflicts: 2118000 | #Constraints: 107911
2900.21/2908.80 c #Conflicts: 2119000 | #Constraints: 108911
2900.21/2908.80 c #Conflicts: 2120000 | #Constraints: 109911
2900.21/2908.80 c #Conflicts: 2121000 | #Constraints: 110911
2900.21/2908.80 c #Conflicts: 2122000 | #Constraints: 111911
2900.21/2908.80 c #Conflicts: 2123000 | #Constraints: 112911
2900.21/2908.80 c #Conflicts: 2124000 | #Constraints: 113911
2900.21/2908.80 c #Conflicts: 2125000 | #Constraints: 114911
2900.21/2908.80 c #Conflicts: 2126000 | #Constraints: 115911
2900.21/2908.80 c #Conflicts: 2127000 | #Constraints: 116911
2900.21/2908.80 c #Conflicts: 2128000 | #Constraints: 117911
2900.21/2908.80 c #Conflicts: 2129000 | #Constraints: 118911
2900.21/2908.80 c #Conflicts: 2130000 | #Constraints: 119911
2900.21/2908.80 c #Conflicts: 2131000 | #Constraints: 120911
2900.21/2908.80 c #Conflicts: 2132000 | #Constraints: 121911
2900.21/2908.80 c #Conflicts: 2133000 | #Constraints: 122911
2900.21/2908.80 c #Conflicts: 2134000 | #Constraints: 123911
2900.21/2908.80 c #Conflicts: 2135000 | #Constraints: 124911
2900.21/2908.80 c #Conflicts: 2136000 | #Constraints: 125911
2900.21/2908.80 c #Conflicts: 2137000 | #Constraints: 126911
2900.21/2908.80 c #Conflicts: 2138000 | #Constraints: 127911
2900.21/2908.80 c #Conflicts: 2139000 | #Constraints: 128911
2900.21/2908.80 c #Conflicts: 2140000 | #Constraints: 129911
2900.21/2908.80 c #Conflicts: 2141000 | #Constraints: 130911
2900.21/2908.80 c #Conflicts: 2142000 | #Constraints: 131911
2900.21/2908.80 c #Conflicts: 2143000 | #Constraints: 132911
2900.21/2908.80 c #Conflicts: 2144000 | #Constraints: 133911
2900.21/2908.80 c #Conflicts: 2145000 | #Constraints: 134911
2900.21/2908.80 c #Conflicts: 2146000 | #Constraints: 135911
2900.21/2908.80 c #Conflicts: 2147000 | #Constraints: 136911
2900.21/2908.80 c #Conflicts: 2148000 | #Constraints: 137911
2900.21/2908.80 c #Conflicts: 2149000 | #Constraints: 138911
2900.21/2908.80 c #Conflicts: 2150000 | #Constraints: 139911
2900.21/2908.80 c #Conflicts: 2151000 | #Constraints: 140911
2900.21/2908.80 c #Conflicts: 2152000 | #Constraints: 141911
2900.21/2908.80 c #Conflicts: 2153000 | #Constraints: 142911
2900.21/2908.80 c #Conflicts: 2154000 | #Constraints: 143911
2900.21/2908.80 c #Conflicts: 2155000 | #Constraints: 144911
2900.21/2908.80 c #Conflicts: 2156000 | #Constraints: 145911
2900.21/2908.80 c #Conflicts: 2157000 | #Constraints: 146911
2900.21/2908.80 c #Conflicts: 2158000 | #Constraints: 147911
2900.21/2908.80 c #Conflicts: 2159000 | #Constraints: 148911
2900.21/2908.80 c #Conflicts: 2160000 | #Constraints: 149911
2900.21/2908.80 c INPROCESSING
2900.21/2908.80 c GARBAGE COLLECT
2900.21/2908.80 c #Conflicts: 2161000 | #Constraints: 76845
2900.21/2908.80 c #Conflicts: 2162000 | #Constraints: 77845
2900.21/2908.80 c #Conflicts: 2163000 | #Constraints: 78845
2900.21/2908.80 c #Conflicts: 2164000 | #Constraints: 79845
2900.21/2908.80 c #Conflicts: 2165000 | #Constraints: 80845
2900.21/2908.80 c #Conflicts: 2166000 | #Constraints: 81845
2900.21/2908.80 c #Conflicts: 2167000 | #Constraints: 82845
2900.21/2908.80 c #Conflicts: 2168000 | #Constraints: 83845
2900.21/2908.80 c #Conflicts: 2169000 | #Constraints: 84845
2900.21/2908.80 c #Conflicts: 2170000 | #Constraints: 85845
2900.21/2908.80 c #Conflicts: 2171000 | #Constraints: 86845
2900.21/2908.80 c #Conflicts: 2172000 | #Constraints: 87845
2900.21/2908.80 c #Conflicts: 2173000 | #Constraints: 88845
2900.21/2908.80 c #Conflicts: 2174000 | #Constraints: 89845
2900.21/2908.80 c #Conflicts: 2175000 | #Constraints: 90845
2900.21/2908.80 c #Conflicts: 2176000 | #Constraints: 91845
2900.21/2908.80 c #Conflicts: 2177000 | #Constraints: 92845
2900.21/2908.80 c #Conflicts: 2178000 | #Constraints: 93845
2900.21/2908.80 c #Conflicts: 2179000 | #Constraints: 94845
2900.21/2908.80 c #Conflicts: 2180000 | #Constraints: 95845
2900.21/2908.80 c #Conflicts: 2181000 | #Constraints: 96845
2900.21/2908.80 c #Conflicts: 2182000 | #Constraints: 97845
2900.21/2908.80 c #Conflicts: 2183000 | #Constraints: 98845
2900.21/2908.80 c #Conflicts: 2184000 | #Constraints: 99845
2900.21/2908.80 c #Conflicts: 2185000 | #Constraints: 100845
2900.21/2908.80 c #Conflicts: 2186000 | #Constraints: 101845
2900.21/2908.80 c #Conflicts: 2187000 | #Constraints: 102845
2900.21/2908.80 c #Conflicts: 2188000 | #Constraints: 103845
2900.21/2908.80 c #Conflicts: 2189000 | #Constraints: 104845
2900.21/2908.80 c #Conflicts: 2190000 | #Constraints: 105845
2900.21/2908.80 c #Conflicts: 2191000 | #Constraints: 106845
2900.21/2908.80 c #Conflicts: 2192000 | #Constraints: 107845
2900.21/2908.80 c #Conflicts: 2193000 | #Constraints: 108845
2900.21/2908.80 c #Conflicts: 2194000 | #Constraints: 109845
2900.21/2908.80 c #Conflicts: 2195000 | #Constraints: 110845
3040.42/3049.46 c #Conflicts: 2196000 | #Constraints: 111845
3040.42/3049.46 c INPROCESSING
3040.42/3049.46 c GARBAGE COLLECT
3040.42/3049.46 c #Conflicts: 2197000 | #Constraints: 57997
3040.42/3049.46 c #Conflicts: 2198000 | #Constraints: 58997
3040.42/3049.46 c #Conflicts: 2199000 | #Constraints: 59997
3040.42/3049.46 c #Conflicts: 2200000 | #Constraints: 60997
3040.42/3049.46 c #Conflicts: 2201000 | #Constraints: 61997
3040.42/3049.46 c #Conflicts: 2202000 | #Constraints: 62997
3040.42/3049.46 c #Conflicts: 2203000 | #Constraints: 63997
3040.42/3049.46 c #Conflicts: 2204000 | #Constraints: 64997
3040.42/3049.46 c #Conflicts: 2205000 | #Constraints: 65997
3040.42/3049.46 c #Conflicts: 2206000 | #Constraints: 66997
3040.42/3049.46 c #Conflicts: 2207000 | #Constraints: 67997
3040.42/3049.46 c #Conflicts: 2208000 | #Constraints: 68997
3040.42/3049.46 c #Conflicts: 2209000 | #Constraints: 69997
3040.42/3049.46 c #Conflicts: 2210000 | #Constraints: 70997
3040.42/3049.46 c #Conflicts: 2211000 | #Constraints: 71997
3040.42/3049.46 c #Conflicts: 2212000 | #Constraints: 72997
3040.42/3049.46 c #Conflicts: 2213000 | #Constraints: 73997
3040.42/3049.46 c #Conflicts: 2214000 | #Constraints: 74997
3040.42/3049.46 c #Conflicts: 2215000 | #Constraints: 75997
3040.42/3049.46 c #Conflicts: 2216000 | #Constraints: 76997
3040.42/3049.46 c #Conflicts: 2217000 | #Constraints: 77997
3040.42/3049.46 c #Conflicts: 2218000 | #Constraints: 78997
3040.42/3049.46 c #Conflicts: 2219000 | #Constraints: 79997
3040.42/3049.46 c #Conflicts: 2220000 | #Constraints: 80997
3040.42/3049.46 c #Conflicts: 2221000 | #Constraints: 81997
3040.42/3049.46 c #Conflicts: 2222000 | #Constraints: 82997
3040.42/3049.46 c #Conflicts: 2223000 | #Constraints: 83997
3040.42/3049.46 c #Conflicts: 2224000 | #Constraints: 84997
3040.42/3049.46 c #Conflicts: 2225000 | #Constraints: 85997
3040.42/3049.46 c #Conflicts: 2226000 | #Constraints: 86997
3040.42/3049.46 c #Conflicts: 2227000 | #Constraints: 87997
3040.42/3049.46 c #Conflicts: 2228000 | #Constraints: 88997
3040.42/3049.46 c #Conflicts: 2229000 | #Constraints: 89997
3040.42/3049.46 c #Conflicts: 2230000 | #Constraints: 90997
3040.42/3049.46 c #Conflicts: 2231000 | #Constraints: 91997
3040.42/3049.46 c #Conflicts: 2232000 | #Constraints: 92997
3040.42/3049.46 c INPROCESSING
3040.42/3049.46 c GARBAGE COLLECT
3040.42/3049.46 c #Conflicts: 2233000 | #Constraints: 48673
3040.42/3049.46 c #Conflicts: 2234000 | #Constraints: 49673
3040.42/3049.46 c #Conflicts: 2235000 | #Constraints: 50673
3040.42/3049.46 c #Conflicts: 2236000 | #Constraints: 51673
3040.42/3049.46 c #Conflicts: 2237000 | #Constraints: 52673
3040.42/3049.46 c #Conflicts: 2238000 | #Constraints: 53673
3040.42/3049.46 c #Conflicts: 2239000 | #Constraints: 54673
3040.42/3049.46 c #Conflicts: 2240000 | #Constraints: 55673
3040.42/3049.46 c #Conflicts: 2241000 | #Constraints: 56673
3040.42/3049.46 c #Conflicts: 2242000 | #Constraints: 57673
3040.42/3049.46 c #Conflicts: 2243000 | #Constraints: 58673
3040.42/3049.46 c #Conflicts: 2244000 | #Constraints: 59673
3040.42/3049.46 c #Conflicts: 2245000 | #Constraints: 60673
3040.42/3049.46 c #Conflicts: 2246000 | #Constraints: 61673
3040.42/3049.46 c #Conflicts: 2247000 | #Constraints: 62673
3040.42/3049.46 c #Conflicts: 2248000 | #Constraints: 63673
3040.42/3049.46 c #Conflicts: 2249000 | #Constraints: 64673
3040.42/3049.46 c #Conflicts: 2250000 | #Constraints: 65673
3040.42/3049.46 c #Conflicts: 2251000 | #Constraints: 66673
3040.42/3049.46 c #Conflicts: 2252000 | #Constraints: 67673
3040.42/3049.46 c #Conflicts: 2253000 | #Constraints: 68673
3040.42/3049.46 c #Conflicts: 2254000 | #Constraints: 69673
3040.42/3049.46 c #Conflicts: 2255000 | #Constraints: 70673
3040.42/3049.46 c #Conflicts: 2256000 | #Constraints: 71673
3040.42/3049.46 c #Conflicts: 2257000 | #Constraints: 72673
3040.42/3049.46 c #Conflicts: 2258000 | #Constraints: 73673
3040.42/3049.46 c #Conflicts: 2259000 | #Constraints: 74673
3040.42/3049.46 c #Conflicts: 2260000 | #Constraints: 75673
3040.42/3049.46 c #Conflicts: 2261000 | #Constraints: 76673
3040.42/3049.46 c #Conflicts: 2262000 | #Constraints: 77673
3040.42/3049.46 c #Conflicts: 2263000 | #Constraints: 78673
3040.42/3049.46 c #Conflicts: 2264000 | #Constraints: 79673
3040.42/3049.46 c #Conflicts: 2265000 | #Constraints: 80673
3040.42/3049.46 c #Conflicts: 2266000 | #Constraints: 81673
3040.42/3049.46 c #Conflicts: 2267000 | #Constraints: 82673
3040.42/3049.46 c #Conflicts: 2268000 | #Constraints: 83673
3040.42/3049.46 c #Conflicts: 2269000 | #Constraints: 84673
3040.42/3049.46 c #Conflicts: 2270000 | #Constraints: 85673
3040.42/3049.46 c #Conflicts: 2271000 | #Constraints: 86673
3040.42/3049.46 c #Conflicts: 2272000 | #Constraints: 87673
3040.42/3049.46 c #Conflicts: 2273000 | #Constraints: 88673
3251.72/3261.33 c #Conflicts: 2274000 | #Constraints: 89673
3251.72/3261.33 c #Conflicts: 2275000 | #Constraints: 90673
3251.72/3261.33 c #Conflicts: 2276000 | #Constraints: 91673
3251.72/3261.33 c #Conflicts: 2277000 | #Constraints: 92673
3251.72/3261.33 c #Conflicts: 2278000 | #Constraints: 93673
3251.72/3261.33 c #Conflicts: 2279000 | #Constraints: 94673
3251.72/3261.33 c #Conflicts: 2280000 | #Constraints: 95673
3251.72/3261.33 c #Conflicts: 2281000 | #Constraints: 96673
3251.72/3261.33 c #Conflicts: 2282000 | #Constraints: 97673
3251.72/3261.33 c #Conflicts: 2283000 | #Constraints: 98673
3251.72/3261.33 c #Conflicts: 2284000 | #Constraints: 99673
3251.72/3261.33 c #Conflicts: 2285000 | #Constraints: 100673
3251.72/3261.33 c #Conflicts: 2286000 | #Constraints: 101673
3251.72/3261.33 c #Conflicts: 2287000 | #Constraints: 102673
3251.72/3261.33 c #Conflicts: 2288000 | #Constraints: 103673
3251.72/3261.33 c #Conflicts: 2289000 | #Constraints: 104673
3251.72/3261.33 c #Conflicts: 2290000 | #Constraints: 105673
3251.72/3261.33 c #Conflicts: 2291000 | #Constraints: 106673
3251.72/3261.33 c #Conflicts: 2292000 | #Constraints: 107673
3251.72/3261.33 c #Conflicts: 2293000 | #Constraints: 108673
3251.72/3261.33 c #Conflicts: 2294000 | #Constraints: 109673
3251.72/3261.33 c #Conflicts: 2295000 | #Constraints: 110673
3251.72/3261.33 c #Conflicts: 2296000 | #Constraints: 111673
3251.72/3261.33 c #Conflicts: 2297000 | #Constraints: 112673
3251.72/3261.33 c #Conflicts: 2298000 | #Constraints: 113673
3251.72/3261.33 c #Conflicts: 2299000 | #Constraints: 114673
3251.72/3261.33 c #Conflicts: 2300000 | #Constraints: 115673
3251.72/3261.33 c #Conflicts: 2301000 | #Constraints: 116673
3251.72/3261.33 c #Conflicts: 2302000 | #Constraints: 117673
3251.72/3261.33 c #Conflicts: 2303000 | #Constraints: 118673
3251.72/3261.33 c #Conflicts: 2304000 | #Constraints: 119673
3251.72/3261.33 c #Conflicts: 2305000 | #Constraints: 120673
3251.72/3261.33 c #Conflicts: 2306000 | #Constraints: 121673
3251.72/3261.33 c #Conflicts: 2307000 | #Constraints: 122673
3251.72/3261.33 c #Conflicts: 2308000 | #Constraints: 123673
3251.72/3261.33 c #Conflicts: 2309000 | #Constraints: 124673
3251.72/3261.33 c #Conflicts: 2310000 | #Constraints: 125673
3251.72/3261.33 c #Conflicts: 2311000 | #Constraints: 126673
3251.72/3261.33 c #Conflicts: 2312000 | #Constraints: 127673
3251.72/3261.33 c #Conflicts: 2313000 | #Constraints: 128673
3251.72/3261.33 c #Conflicts: 2314000 | #Constraints: 129673
3251.72/3261.33 c #Conflicts: 2315000 | #Constraints: 130673
3251.72/3261.33 c #Conflicts: 2316000 | #Constraints: 131673
3251.72/3261.33 c #Conflicts: 2317000 | #Constraints: 132673
3251.72/3261.33 c #Conflicts: 2318000 | #Constraints: 133673
3251.72/3261.33 c #Conflicts: 2319000 | #Constraints: 134673
3251.72/3261.33 c #Conflicts: 2320000 | #Constraints: 135673
3251.72/3261.33 c #Conflicts: 2321000 | #Constraints: 136673
3251.72/3261.33 c #Conflicts: 2322000 | #Constraints: 137673
3251.72/3261.33 c #Conflicts: 2323000 | #Constraints: 138673
3251.72/3261.33 c #Conflicts: 2324000 | #Constraints: 139673
3251.72/3261.33 c #Conflicts: 2325000 | #Constraints: 140673
3251.72/3261.33 c #Conflicts: 2326000 | #Constraints: 141673
3251.72/3261.33 c #Conflicts: 2327000 | #Constraints: 142673
3251.72/3261.33 c #Conflicts: 2328000 | #Constraints: 143673
3251.72/3261.33 c #Conflicts: 2329000 | #Constraints: 144673
3251.72/3261.33 c #Conflicts: 2330000 | #Constraints: 145673
3251.72/3261.33 c #Conflicts: 2331000 | #Constraints: 146673
3251.72/3261.33 c #Conflicts: 2332000 | #Constraints: 147673
3251.72/3261.33 c #Conflicts: 2333000 | #Constraints: 148673
3251.72/3261.33 c #Conflicts: 2334000 | #Constraints: 149673
3251.72/3261.33 c #Conflicts: 2335000 | #Constraints: 150673
3251.72/3261.33 c #Conflicts: 2336000 | #Constraints: 151673
3251.72/3261.33 c #Conflicts: 2337000 | #Constraints: 152673
3251.72/3261.33 c #Conflicts: 2338000 | #Constraints: 153673
3251.72/3261.33 c #Conflicts: 2339000 | #Constraints: 154673
3251.72/3261.33 c #Conflicts: 2340000 | #Constraints: 155673
3251.72/3261.33 c INPROCESSING
3251.72/3261.33 c GARBAGE COLLECT
3251.72/3261.33 c #Conflicts: 2341000 | #Constraints: 79573
3251.72/3261.33 c #Conflicts: 2342000 | #Constraints: 80573
3251.72/3261.33 c #Conflicts: 2343000 | #Constraints: 81573
3251.72/3261.33 c #Conflicts: 2344000 | #Constraints: 82573
3251.72/3261.33 c #Conflicts: 2345000 | #Constraints: 83573
3251.72/3261.33 c #Conflicts: 2346000 | #Constraints: 84573
3251.72/3261.33 c #Conflicts: 2347000 | #Constraints: 85573
3251.72/3261.33 c #Conflicts: 2348000 | #Constraints: 86573
3251.72/3261.33 c #Conflicts: 2349000 | #Constraints: 87573
3251.72/3261.33 c #Conflicts: 2350000 | #Constraints: 88573
3251.72/3261.33 c #Conflicts: 2351000 | #Constraints: 89573
3415.74/3425.83 c #Conflicts: 2352000 | #Constraints: 90573
3415.74/3425.83 c #Conflicts: 2353000 | #Constraints: 91573
3415.74/3425.83 c #Conflicts: 2354000 | #Constraints: 92573
3415.74/3425.83 c #Conflicts: 2355000 | #Constraints: 93573
3415.74/3425.83 c #Conflicts: 2356000 | #Constraints: 94573
3415.74/3425.83 c #Conflicts: 2357000 | #Constraints: 95573
3415.74/3425.83 c #Conflicts: 2358000 | #Constraints: 96573
3415.74/3425.83 c #Conflicts: 2359000 | #Constraints: 97573
3415.74/3425.83 c #Conflicts: 2360000 | #Constraints: 98573
3415.74/3425.83 c #Conflicts: 2361000 | #Constraints: 99573
3415.74/3425.83 c #Conflicts: 2362000 | #Constraints: 100573
3415.74/3425.83 c #Conflicts: 2363000 | #Constraints: 101573
3415.74/3425.83 c #Conflicts: 2364000 | #Constraints: 102573
3415.74/3425.83 c #Conflicts: 2365000 | #Constraints: 103573
3415.74/3425.83 c #Conflicts: 2366000 | #Constraints: 104573
3415.74/3425.83 c #Conflicts: 2367000 | #Constraints: 105573
3415.74/3425.83 c #Conflicts: 2368000 | #Constraints: 106573
3415.74/3425.83 c #Conflicts: 2369000 | #Constraints: 107573
3415.74/3425.83 c #Conflicts: 2370000 | #Constraints: 108573
3415.74/3425.83 c #Conflicts: 2371000 | #Constraints: 109573
3415.74/3425.83 c #Conflicts: 2372000 | #Constraints: 110573
3415.74/3425.83 c #Conflicts: 2373000 | #Constraints: 111573
3415.74/3425.83 c #Conflicts: 2374000 | #Constraints: 112573
3415.74/3425.83 c #Conflicts: 2375000 | #Constraints: 113573
3415.74/3425.83 c #Conflicts: 2376000 | #Constraints: 114573
3415.74/3425.83 c #Conflicts: 2377000 | #Constraints: 115573
3415.74/3425.83 c #Conflicts: 2378000 | #Constraints: 116573
3415.74/3425.83 c INPROCESSING
3415.74/3425.83 c GARBAGE COLLECT
3415.74/3425.83 c #Conflicts: 2379000 | #Constraints: 60463
3415.74/3425.83 c #Conflicts: 2380000 | #Constraints: 61463
3415.74/3425.83 c #Conflicts: 2381000 | #Constraints: 62463
3415.74/3425.83 c #Conflicts: 2382000 | #Constraints: 63463
3415.74/3425.83 c #Conflicts: 2383000 | #Constraints: 64463
3415.74/3425.83 c #Conflicts: 2384000 | #Constraints: 65463
3415.74/3425.83 c #Conflicts: 2385000 | #Constraints: 66463
3415.74/3425.83 c #Conflicts: 2386000 | #Constraints: 67463
3415.74/3425.83 c #Conflicts: 2387000 | #Constraints: 68463
3415.74/3425.83 c #Conflicts: 2388000 | #Constraints: 69463
3415.74/3425.83 c #Conflicts: 2389000 | #Constraints: 70463
3415.74/3425.83 c #Conflicts: 2390000 | #Constraints: 71463
3415.74/3425.83 c #Conflicts: 2391000 | #Constraints: 72463
3415.74/3425.83 c #Conflicts: 2392000 | #Constraints: 73463
3415.74/3425.83 c #Conflicts: 2393000 | #Constraints: 74463
3415.74/3425.83 c #Conflicts: 2394000 | #Constraints: 75463
3415.74/3425.83 c #Conflicts: 2395000 | #Constraints: 76463
3415.74/3425.83 c #Conflicts: 2396000 | #Constraints: 77463
3415.74/3425.83 c #Conflicts: 2397000 | #Constraints: 78463
3415.74/3425.83 c #Conflicts: 2398000 | #Constraints: 79463
3415.74/3425.83 c #Conflicts: 2399000 | #Constraints: 80463
3415.74/3425.83 c #Conflicts: 2400000 | #Constraints: 81463
3415.74/3425.83 c #Conflicts: 2401000 | #Constraints: 82463
3415.74/3425.83 c #Conflicts: 2402000 | #Constraints: 83463
3415.74/3425.83 c #Conflicts: 2403000 | #Constraints: 84463
3415.74/3425.83 c #Conflicts: 2404000 | #Constraints: 85463
3415.74/3425.83 c #Conflicts: 2405000 | #Constraints: 86463
3415.74/3425.83 c #Conflicts: 2406000 | #Constraints: 87463
3415.74/3425.83 c #Conflicts: 2407000 | #Constraints: 88463
3415.74/3425.83 c #Conflicts: 2408000 | #Constraints: 89463
3415.74/3425.83 c #Conflicts: 2409000 | #Constraints: 90463
3415.74/3425.83 c #Conflicts: 2410000 | #Constraints: 91463
3415.74/3425.83 c #Conflicts: 2411000 | #Constraints: 92463
3415.74/3425.83 c #Conflicts: 2412000 | #Constraints: 93463
3415.74/3425.83 c #Conflicts: 2413000 | #Constraints: 94463
3415.74/3425.83 c #Conflicts: 2414000 | #Constraints: 95463
3415.74/3425.83 c #Conflicts: 2415000 | #Constraints: 96463
3415.74/3425.83 c INPROCESSING
3415.74/3425.83 c GARBAGE COLLECT
3415.74/3425.83 c #Conflicts: 2416000 | #Constraints: 50484
3415.74/3425.83 c #Conflicts: 2417000 | #Constraints: 51484
3415.74/3425.83 c #Conflicts: 2418000 | #Constraints: 52484
3415.74/3425.83 c #Conflicts: 2419000 | #Constraints: 53484
3415.74/3425.83 c #Conflicts: 2420000 | #Constraints: 54484
3415.74/3425.83 c #Conflicts: 2421000 | #Constraints: 55484
3415.74/3425.83 c #Conflicts: 2422000 | #Constraints: 56484
3415.74/3425.83 c #Conflicts: 2423000 | #Constraints: 57484
3415.74/3425.83 c #Conflicts: 2424000 | #Constraints: 58484
3415.74/3425.83 c #Conflicts: 2425000 | #Constraints: 59484
3415.74/3425.83 c #Conflicts: 2426000 | #Constraints: 60484
3415.74/3425.83 c #Conflicts: 2427000 | #Constraints: 61484
3415.74/3425.83 c #Conflicts: 2428000 | #Constraints: 62484
3600.00/3610.60 c #Conflicts: 2429000 | #Constraints: 63484
3600.00/3610.60 c #Conflicts: 2430000 | #Constraints: 64484
3600.00/3610.60 c #Conflicts: 2431000 | #Constraints: 65484
3600.00/3610.60 c #Conflicts: 2432000 | #Constraints: 66484
3600.00/3610.60 c #Conflicts: 2433000 | #Constraints: 67484
3600.00/3610.60 c #Conflicts: 2434000 | #Constraints: 68484
3600.00/3610.60 c #Conflicts: 2435000 | #Constraints: 69484
3600.00/3610.60 c #Conflicts: 2436000 | #Constraints: 70484
3600.00/3610.60 c #Conflicts: 2437000 | #Constraints: 71484
3600.00/3610.60 c #Conflicts: 2438000 | #Constraints: 72484
3600.00/3610.60 c #Conflicts: 2439000 | #Constraints: 73484
3600.00/3610.60 c #Conflicts: 2440000 | #Constraints: 74484
3600.00/3610.60 c #Conflicts: 2441000 | #Constraints: 75484
3600.00/3610.60 c #Conflicts: 2442000 | #Constraints: 76484
3600.00/3610.60 c #Conflicts: 2443000 | #Constraints: 77484
3600.00/3610.60 c #Conflicts: 2444000 | #Constraints: 78484
3600.00/3610.60 c #Conflicts: 2445000 | #Constraints: 79484
3600.00/3610.60 c #Conflicts: 2446000 | #Constraints: 80484
3600.00/3610.60 c #Conflicts: 2447000 | #Constraints: 81484
3600.00/3610.60 c #Conflicts: 2448000 | #Constraints: 82484
3600.00/3610.60 c #Conflicts: 2449000 | #Constraints: 83484
3600.00/3610.60 c #Conflicts: 2450000 | #Constraints: 84484
3600.00/3610.60 c #Conflicts: 2451000 | #Constraints: 85484
3600.00/3610.60 c #Conflicts: 2452000 | #Constraints: 86484
3600.00/3610.60 c #Conflicts: 2453000 | #Constraints: 87484
3600.00/3610.60 c #Conflicts: 2454000 | #Constraints: 88484
3600.00/3610.60 c #Conflicts: 2455000 | #Constraints: 89484
3600.00/3610.60 c #Conflicts: 2456000 | #Constraints: 90484
3600.00/3610.60 c #Conflicts: 2457000 | #Constraints: 91484
3600.00/3610.60 c #Conflicts: 2458000 | #Constraints: 92484
3600.00/3610.60 c #Conflicts: 2459000 | #Constraints: 93484
3600.00/3610.60 c #Conflicts: 2460000 | #Constraints: 94484
3600.00/3610.60 c #Conflicts: 2461000 | #Constraints: 95484
3600.00/3610.60 c #Conflicts: 2462000 | #Constraints: 96484
3600.00/3610.60 c #Conflicts: 2463000 | #Constraints: 97484
3600.00/3610.60 c #Conflicts: 2464000 | #Constraints: 98484
3600.00/3610.60 c #Conflicts: 2465000 | #Constraints: 99484
3600.00/3610.60 c #Conflicts: 2466000 | #Constraints: 100484
3600.00/3610.60 c #Conflicts: 2467000 | #Constraints: 101484
3600.00/3610.60 c #Conflicts: 2468000 | #Constraints: 102484
3600.00/3610.60 c #Conflicts: 2469000 | #Constraints: 103484
3600.00/3610.60 c #Conflicts: 2470000 | #Constraints: 104484
3600.00/3610.60 c #Conflicts: 2471000 | #Constraints: 105484
3600.00/3610.60 c #Conflicts: 2472000 | #Constraints: 106484
3600.00/3610.60 c #Conflicts: 2473000 | #Constraints: 107484
3600.00/3610.60 c #Conflicts: 2474000 | #Constraints: 108484
3600.00/3610.60 c #Conflicts: 2475000 | #Constraints: 109484
3600.00/3610.60 c #Conflicts: 2476000 | #Constraints: 110484
3600.00/3610.60 c #Conflicts: 2477000 | #Constraints: 111484
3600.00/3610.60 c #Conflicts: 2478000 | #Constraints: 112484
3600.00/3610.60 c #Conflicts: 2479000 | #Constraints: 113484
3600.00/3610.60 c #Conflicts: 2480000 | #Constraints: 114484
3600.00/3610.60 c #Conflicts: 2481000 | #Constraints: 115484
3600.00/3610.60 c #Conflicts: 2482000 | #Constraints: 116484
3600.00/3610.60 c #Conflicts: 2483000 | #Constraints: 117484
3600.00/3610.60 c #Conflicts: 2484000 | #Constraints: 118484
3600.00/3610.60 c #Conflicts: 2485000 | #Constraints: 119484
3600.00/3610.60 c #Conflicts: 2486000 | #Constraints: 120484
3600.00/3610.60 c #Conflicts: 2487000 | #Constraints: 121484
3600.00/3610.60 c #Conflicts: 2488000 | #Constraints: 122484
3600.00/3610.60 c #Conflicts: 2489000 | #Constraints: 123484
3600.00/3610.60 c #Conflicts: 2490000 | #Constraints: 124484
3600.00/3610.60 c #Conflicts: 2491000 | #Constraints: 125484
3600.00/3610.60 c #Conflicts: 2492000 | #Constraints: 126484
3600.00/3610.60 c #Conflicts: 2493000 | #Constraints: 127484
3600.00/3610.60 c #Conflicts: 2494000 | #Constraints: 128484
3600.00/3610.60 c #Conflicts: 2495000 | #Constraints: 129484
3600.00/3610.60 c #Conflicts: 2496000 | #Constraints: 130484
3600.00/3610.60 c #Conflicts: 2497000 | #Constraints: 131484
3600.00/3610.60 c #Conflicts: 2498000 | #Constraints: 132484
3600.00/3610.60 c #Conflicts: 2499000 | #Constraints: 133484
3600.00/3610.60 c #Conflicts: 2500000 | #Constraints: 134484
3600.00/3610.60 c #Conflicts: 2501000 | #Constraints: 135484
3600.00/3610.60 c #Conflicts: 2502000 | #Constraints: 136484
3600.00/3610.60 c #Conflicts: 2503000 | #Constraints: 137484
3600.00/3610.60 c Program interrupted by user.
3600.00/3610.60 c cpu time 3587.68 s
3600.00/3610.60 c deterministic time 303079015936 3.03e+11
3600.00/3610.60 c optimization time 206.068 s
3600.00/3610.60 c total solve time 3381.61 s
3600.00/3610.60 c core-guided solve time 3381.61 s
3600.00/3610.60 c propagation time 3015.83 s
3600.00/3610.60 c conflict analysis time 551.079 s
3600.00/3610.60 c propagations 239080187
3600.00/3610.60 c resolve steps 49544377
3600.00/3610.60 c decisions 4988055
3600.00/3610.60 c conflicts 2503124
3600.00/3610.60 c restarts 4221
3600.00/3610.60 c inprocessing phases 83
3600.00/3610.60 c input clauses 2154
3600.00/3610.60 c input cardinalities 156
3600.00/3610.60 c input general constraints 91
3600.00/3610.60 c input average constraint length 6.11
3600.00/3610.60 c input average constraint degree 2.95
3600.00/3610.60 c learned clauses 1884799
3600.00/3610.60 c learned cardinalities 2448
3600.00/3610.60 c learned general constraints 615878
3600.00/3610.60 c learned average constraint length 48.43
3600.00/3610.60 c learned average constraint degree 340.22
3600.00/3610.60 c watched constraints 567072
3600.00/3610.60 c counting constraints 48897
3600.00/3610.60 c gcd simplifications 29809
3600.00/3610.60 c detected cardinalities 45
3600.00/3610.60 c weakened non-implied lits 15004401
3600.00/3610.60 c weakened non-implying lits 88536
3600.00/3610.60 c original variables 200
3600.00/3610.60 c clausal propagations 176785994
3600.00/3610.60 c cardinality propagations 2257963
3600.00/3610.60 c watched propagations 10194937
3600.00/3610.60 c counting propagations 47786819
3600.00/3610.60 c watch lookups 80567774509
3600.00/3610.60 c watch backjump lookups 63142608000
3600.00/3610.60 c watch checks 141304892052
3600.00/3610.60 c propagation checks 17112933029
3600.00/3610.60 c constraint additions 460169023
3600.00/3610.60 c trail pops 246571080
3600.00/3610.60 c formula constraints 1999
3600.00/3610.60 c learned constraints 2503125
3600.00/3610.60 c bound constraints 39
3600.00/3610.60 c core-guided constraints 363
3600.00/3610.60 c encountered formula constraints 15213237
3600.00/3610.60 c encountered learned constraints 28976785
3600.00/3610.60 c encountered bound constraints 151
3600.00/3610.60 c encountered core-guided constraints 7857328
3600.00/3610.60 c LP total time 0 s
3600.00/3610.60 c LP solve time 0 s
3600.00/3610.60 c LP constraints added 0
3600.00/3610.60 c LP constraints removed 0
3600.00/3610.60 c LP pivots internal 0
3600.00/3610.60 c LP pivots root 0
3600.00/3610.60 c LP calls 0
3600.00/3610.60 c LP optimalities 0
3600.00/3610.60 c LP no pivot count 0
3600.00/3610.60 c LP infeasibilities 0
3600.00/3610.60 c LP valid Farkas constraints 0
3600.00/3610.60 c LP learned Farkas constraints 0
3600.00/3610.60 c LP basis resets 0
3600.00/3610.60 c LP cycling count 0
3600.00/3610.60 c LP singular count 0
3600.00/3610.60 c LP no primal count 0
3600.00/3610.60 c LP no farkas count 0
3600.00/3610.60 c LP other issue count 0
3600.00/3610.60 c LP Gomory cuts 0
3600.00/3610.60 c LP learned cuts 0
3600.00/3610.60 c LP deleted cuts 0
3600.00/3610.60 c LP encountered Gomory constraints 0
3600.00/3610.60 c LP encountered Farkas constraints 0
3600.00/3610.60 c LP encountered learned Farkas constraints 0
3600.00/3610.60 c CG auxiliary variables introduced 177
3600.00/3610.60 c CG solutions found 3
3600.00/3610.60 c CG cores constructed 25
3600.00/3610.60 c CG core cardinality constraints returned 0
3600.00/3610.60 c CG unit cores 0
3600.00/3610.60 c CG single cores 25
3600.00/3610.60 c CG blocks removed during cardinality reduction 0
3600.00/3610.60 c CG first core best 0
3600.00/3610.60 c CG decision core best 0
3600.00/3610.60 c CG core reduction tie 0
3600.00/3610.60 c CG core degree average 1.00
3600.00/3610.60 c CG core slack average 5.96
3600.00/3610.60 c CG exhausted 4
3600.00/3610.60 c CG exhaust time 2.47599 s
3600.00/3610.60 c CG trimmed 1
3600.00/3610.60 c CG trim time 0.001435 s
3600.00/3610.60 c CG minimized 0
3600.00/3610.60 c CG minimize time 0 s
3600.00/3610.60 c CG am1 prop time 0.000766 s
3600.00/3610.60 c CG # am1s reformulated 73
3600.00/3610.60 c CG lower bound derived from am1s 116
3600.00/3610.60 c CG # clausal cores 25
3600.00/3610.60 c CG # cardinality cores 0
3600.00/3610.60 c CG # pb cores 0
3600.00/3610.60 c CG # pb reforms 0
3600.00/3610.60 c CG # cores discarded because of pb reform 0
3600.00/3610.60 d LOWERBOUND 145
3600.00/3610.60 d NCORES 25
3600.00/3610.60 d NPBCORES 0
3600.00/3610.60 d NPBREFORM 0
3600.00/3610.60 d NTRIMMED 1
3600.00/3610.60 d NEXHAUSTED 4
3600.00/3610.60 d NAM1S 73
3600.00/3610.60 d AM1LB 116
3600.00/3610.60 o 162
3600.00/3610.60 s SATISFIABLE
3600.00/3610.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
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: 63665 MiB (62640 MiB free)
memory of node 1: 64507 MiB (60790 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4502734-1751427841/watcher-4502734-1751427841 -o /tmp/evaluation-result-4502734-1751427841/solver-4502734-1751427841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64437 --watchdog 3760 pb-oll-rs HOME/instance-4502734-1751427841.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=65037, runsolver pid=65034
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.04 4.11 4.08 5/264 65038
/proc/meminfo: memFree=126393364/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=21008 memory=7936 CPUtime=0.09 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 820 0 0 0 8 1 0 0 20 0 1 0 58461835 21512192 1984 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 5252 1984 1376 243 0 1501 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 21008 KiB
Current children cumulated memory: 7936 KiB
[startup+0.205556 s]*
/proc/loadavg: 4.04 4.11 4.08 5/264 65038
/proc/meminfo: memFree=126393364/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=21648 memory=10692 CPUtime=0.19 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 991 0 0 0 18 1 0 0 20 0 1 0 58461835 22167552 2673 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 5412 2673 1376 243 0 1661 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 21648 KiB
Current children cumulated memory: 10692 KiB
[startup+0.304968 s]*
/proc/loadavg: 4.04 4.11 4.08 5/264 65038
/proc/meminfo: memFree=126393364/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=21784 memory=10820 CPUtime=0.3 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 1013 0 0 0 28 2 0 0 20 0 1 0 58461835 22306816 2705 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 5446 2705 1376 243 0 1695 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 21784 KiB
Current children cumulated memory: 10820 KiB
[startup+0.700125 s]
/proc/loadavg: 4.04 4.11 4.08 5/264 65038
/proc/meminfo: memFree=126393652/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=22064 memory=11076 CPUtime=0.69 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 1100 0 0 0 66 3 0 0 20 0 1 0 58461835 22593536 2769 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 5516 2769 1376 243 0 1765 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 22064 KiB
Current children cumulated memory: 11076 KiB
[startup+1.50011 s]
/proc/loadavg: 4.04 4.11 4.08 5/264 65038
/proc/meminfo: memFree=126391636/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=22600 memory=11588 CPUtime=1.48 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 1222 0 0 0 143 5 0 0 20 0 1 0 58461835 23142400 2897 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 5650 2897 1376 243 0 1899 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 22600 KiB
Current children cumulated memory: 11588 KiB
[startup+3.10541 s]
/proc/loadavg: 4.04 4.11 4.08 5/264 65038
/proc/meminfo: memFree=126347360/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=23020 memory=11972 CPUtime=3.08 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 1315 0 0 0 301 7 0 0 20 0 1 0 58461835 23572480 2993 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 5755 2993 1376 243 0 2004 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 23020 KiB
Current children cumulated memory: 11972 KiB
[startup+6.30011 s]
/proc/loadavg: 4.04 4.11 4.07 5/265 65039
/proc/meminfo: memFree=126327012/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=23604 memory=12612 CPUtime=6.27 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 1482 0 0 0 614 13 0 0 20 0 1 0 58461835 24170496 3153 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 5901 3153 1376 243 0 2150 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 23604 KiB
Current children cumulated memory: 12612 KiB
[startup+12.7001 s]
/proc/loadavg: 4.04 4.10 4.07 5/265 65039
/proc/meminfo: memFree=126270640/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=27384 memory=15152 CPUtime=12.65 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 2163 0 0 0 1245 20 0 0 20 0 1 0 58461835 28041216 3788 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 6846 3788 1376 243 0 3095 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 27384 KiB
Current children cumulated memory: 15152 KiB
[startup+25.5001 s]
/proc/loadavg: 4.03 4.10 4.07 5/265 65039
/proc/meminfo: memFree=126206452/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=27524 memory=15408 CPUtime=25.4 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 2230 0 0 0 2508 32 0 0 20 0 1 0 58461835 28184576 3852 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 6881 3852 1376 243 0 3130 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 27524 KiB
Current children cumulated memory: 15408 KiB
[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.08 5/265 65039
/proc/meminfo: memFree=126113488/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=33248 memory=19292 CPUtime=50.93 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 3318 0 0 0 5038 55 0 0 20 0 1 0 58461835 34045952 4823 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 8312 4823 1376 243 0 4561 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 33248 KiB
Current children cumulated memory: 19292 KiB
[startup+102.3 s]
/proc/loadavg: 4.11 4.10 4.08 5/265 65041
/proc/meminfo: memFree=126026204/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=35000 memory=22548 CPUtime=101.97 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 3744 0 0 0 10107 90 0 0 20 0 1 0 58461835 35840000 5637 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 8750 5637 1376 243 0 4999 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 35000 KiB
Current children cumulated memory: 22548 KiB
[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.08 5/266 65044
/proc/meminfo: memFree=125931152/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=43692 memory=27972 CPUtime=161.77 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 4759 0 0 0 16050 127 0 0 20 0 1 0 58461835 44740608 6993 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 10923 6993 1376 243 0 7172 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 43692 KiB
Current children cumulated memory: 27972 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.08 5/266 65046
/proc/meminfo: memFree=125877624/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=45456 memory=31764 CPUtime=221.56 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 5185 0 0 0 21999 157 0 0 20 0 1 0 58461835 46546944 7941 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 11364 7941 1376 243 0 7613 0
Current children cumulated CPU time: 221.56 s
Current children cumulated vsize: 45456 KiB
Current children cumulated memory: 31764 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.09 4.08 5/265 65052
/proc/meminfo: memFree=125845676/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=46832 memory=32880 CPUtime=281.37 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 5592 0 0 0 27940 197 0 0 20 0 1 0 58461835 47955968 8220 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 11708 8220 1376 243 0 7957 0
Current children cumulated CPU time: 281.37 s
Current children cumulated vsize: 46832 KiB
Current children cumulated memory: 32880 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.09 4.08 5/264 65054
/proc/meminfo: memFree=125788264/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=48744 memory=34592 CPUtime=341.17 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 6070 0 0 0 33880 237 0 0 20 0 1 0 58461835 49913856 8648 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 12186 8648 1376 243 0 8435 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 48744 KiB
Current children cumulated memory: 34592 KiB
[startup+402.3 s]
/proc/loadavg: 4.06 4.08 4.08 5/264 65056
/proc/meminfo: memFree=125759828/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=50428 memory=38076 CPUtime=400.98 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 6602 0 0 0 39830 268 0 0 20 0 1 0 58461835 51638272 9519 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 12607 9519 1376 243 0 8856 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 50428 KiB
Current children cumulated memory: 38076 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/263 65148
/proc/meminfo: memFree=125202140/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=51756 memory=39388 CPUtime=460.77 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 7073 0 0 0 45782 295 0 0 20 0 1 0 58461835 52998144 9847 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 12939 9847 1376 243 0 9188 0
################
# More data... #
################
Current children cumulated memory: 68700 KiB
[startup+2862.3 s]
/proc/loadavg: 4.33 4.16 4.11 5/262 65274
/proc/meminfo: memFree=122717988/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=93384 memory=71652 CPUtime=2853.84 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13076 0 0 0 284294 1090 0 0 20 0 1 0 58461835 95625216 17913 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23346 17913 1376 243 0 19595 0
Current children cumulated CPU time: 2853.84 s
Current children cumulated vsize: 93384 KiB
Current children cumulated memory: 71652 KiB
[startup+2922.3 s]
/proc/loadavg: 4.23 4.17 4.11 5/263 65279
/proc/meminfo: memFree=122682028/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=93384 memory=71652 CPUtime=2913.68 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13076 0 0 0 290267 1101 0 0 20 0 1 0 58461835 95625216 17913 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23346 17913 1376 243 0 19595 0
Current children cumulated CPU time: 2913.68 s
Current children cumulated vsize: 93384 KiB
Current children cumulated memory: 71652 KiB
[startup+2982.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/263 65281
/proc/meminfo: memFree=122657168/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=93384 memory=71652 CPUtime=2973.51 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13076 0 0 0 296238 1113 0 0 20 0 1 0 58461835 95625216 17913 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23346 17913 1376 243 0 19595 0
Current children cumulated CPU time: 2973.51 s
Current children cumulated vsize: 93384 KiB
Current children cumulated memory: 71652 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/264 65284
/proc/meminfo: memFree=122584044/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=93384 memory=71652 CPUtime=3033.34 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13076 0 0 0 302207 1127 0 0 20 0 1 0 58461835 95625216 17913 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23346 17913 1376 243 0 19595 0
Current children cumulated CPU time: 3033.34 s
Current children cumulated vsize: 93384 KiB
Current children cumulated memory: 71652 KiB
[startup+3102.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/264 65286
/proc/meminfo: memFree=122523472/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=93384 memory=71652 CPUtime=3093.17 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13076 0 0 0 308178 1139 0 0 20 0 1 0 58461835 95625216 17913 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23346 17913 1376 243 0 19595 0
Current children cumulated CPU time: 3093.17 s
Current children cumulated vsize: 93384 KiB
Current children cumulated memory: 71652 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/264 65288
/proc/meminfo: memFree=122484456/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=91516 memory=69876 CPUtime=3153.01 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13076 0 0 0 314151 1150 0 0 20 0 1 0 58461835 93712384 17469 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 22879 17469 1376 243 0 19128 0
Current children cumulated CPU time: 3153.01 s
Current children cumulated vsize: 91516 KiB
Current children cumulated memory: 69876 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/263 65290
/proc/meminfo: memFree=122446684/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=91516 memory=69876 CPUtime=3212.84 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13078 0 0 0 320126 1158 0 0 20 0 1 0 58461835 93712384 17469 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 22879 17469 1376 243 0 19128 0
Current children cumulated CPU time: 3212.84 s
Current children cumulated vsize: 91516 KiB
Current children cumulated memory: 69876 KiB
[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/264 65297
/proc/meminfo: memFree=122409088/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=94212 memory=72180 CPUtime=3272.66 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13665 0 0 0 326097 1169 0 0 20 0 1 0 58461835 96473088 18045 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23553 18045 1376 243 0 19802 0
Current children cumulated CPU time: 3272.66 s
Current children cumulated vsize: 94212 KiB
Current children cumulated memory: 72180 KiB
[startup+3342.3 s]
/proc/loadavg: 4.28 4.18 4.12 5/264 65299
/proc/meminfo: memFree=122376116/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=94212 memory=72308 CPUtime=3332.49 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13712 0 0 0 332069 1180 0 0 20 0 1 0 58461835 96473088 18077 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23553 18077 1376 243 0 19802 0
Current children cumulated CPU time: 3332.49 s
Current children cumulated vsize: 94212 KiB
Current children cumulated memory: 72308 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.16 4.11 5/264 65302
/proc/meminfo: memFree=122257200/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=94212 memory=72308 CPUtime=3392.31 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13712 0 0 0 338039 1192 0 0 20 0 1 0 58461835 96473088 18077 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23553 18077 1376 243 0 19802 0
Current children cumulated CPU time: 3392.31 s
Current children cumulated vsize: 94212 KiB
Current children cumulated memory: 72308 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.14 4.10 5/264 65304
/proc/meminfo: memFree=122192356/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=94212 memory=72308 CPUtime=3452.13 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13712 0 0 0 344008 1205 0 0 20 0 1 0 58461835 96473088 18077 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23553 18077 1376 243 0 19802 0
Current children cumulated CPU time: 3452.13 s
Current children cumulated vsize: 94212 KiB
Current children cumulated memory: 72308 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.10 5/264 65308
/proc/meminfo: memFree=122166868/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=94212 memory=72308 CPUtime=3511.96 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13712 0 0 0 349979 1217 0 0 20 0 1 0 58461835 96473088 18077 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23553 18077 1376 243 0 19802 0
Current children cumulated CPU time: 3511.96 s
Current children cumulated vsize: 94212 KiB
Current children cumulated memory: 72308 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/264 65310
/proc/meminfo: memFree=122166684/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=94212 memory=72308 CPUtime=3571.78 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13712 0 0 0 355951 1227 0 0 20 0 1 0 58461835 96473088 18077 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23553 18077 1376 243 0 19802 0
Current children cumulated CPU time: 3571.78 s
Current children cumulated vsize: 94212 KiB
Current children cumulated memory: 72308 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.6 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 65400
/proc/meminfo: memFree=122799816/131249996 swapFree=33010684/33010684
[pid=65037] ppid=65034 vsize=92232 memory=70560 CPUtime=3600 cores=5,7
/proc/65037/stat : 65037 (pb-oll-rs) R 65034 65037 64424 0 -1 4194304 13712 0 0 0 358768 1232 0 0 20 0 1 0 58461835 94445568 17640 18446744073709551615 4218880 5211445 140728855390512 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5494472 5498400 22331392 140728855398812 140728855398889 140728855398889 140728855404491 0
/proc/65037/statm: 23058 17640 1376 243 0 19307 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 92232 KiB
Current children cumulated memory: 70560 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.6 s]
# the end of solver process 65037 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.68 s, system=12.3252 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3610.6
CPU time (s): 3600.01
CPU user time (s): 3587.68
CPU system time (s): 12.3252
CPU usage (%): 99.7066
Max. virtual memory (cumulated for all children) (KiB): 94212
Max. memory (cumulated for all children) (KiB): 72308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.68
system time used= 12.3252
maximum resident set size= 72308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13727
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= 106
involuntary context switches= 18893
# summary of solver processes directly reported to runsolver:
# pid: 65037
# total CPU time (s): 3600.01
# total CPU user time (s): 3587.68
# total CPU system time (s): 12.3252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18418 second user time and 16.2352 second system time
The end
Begin job on nodeC017 at 2025-07-02 05:44:01
IDJOB=4502734
IDBENCH=155375
IDSOLVER=3345
FILE ID=nodeC017/4502734-1751427841
RUNJOBID= nodeC017-1751424222-64437
SLURM_JOB_ID= 9598356
Free space on /tmp= 432904 MiB
SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-neos-1616732.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4502734-1751427841/watcher-4502734-1751427841 -o /tmp/evaluation-result-4502734-1751427841/solver-4502734-1751427841 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC017-1751424222-64437 --watchdog 3760 pb-oll-rs HOME/instance-4502734-1751427841.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 75f9ad7c30513194432fdca99f15ae89
RANDOM SEED=850026132
nodeC017 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.131
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.904
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3542.363
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3597.747
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.052
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3598.508
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3603.181
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.033
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 7000.12
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249996 kB
MemFree: 126393540 kB
MemAvailable: 129557572 kB
Buffers: 2380 kB
Cached: 3933444 kB
SwapCached: 0 kB
Active: 577684 kB
Inactive: 3616144 kB
Active(anon): 276072 kB
Inactive(anon): 12 kB
Active(file): 301612 kB
Inactive(file): 3616132 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 1632 kB
Writeback: 20 kB
AnonPages: 261152 kB
Mapped: 107080 kB
Shmem: 18080 kB
KReclaimable: 170652 kB
Slab: 260128 kB
SReclaimable: 170652 kB
SUnreclaim: 89476 kB
KernelStack: 4288 kB
PageTables: 3560 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635680 kB
Committed_AS: 602816 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150504 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 47104 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 176852 kB
DirectMap2M: 6934528 kB
DirectMap1G: 128974848 kB
Free space on /tmp at the end= 432808 MiB
End job on nodeC017 at 2025-07-02 06:44:12