0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c [STEP] parsing instance
0.00/0.09 c [STEP] solving
0.00/0.09 c #variables 760 #constraints 41263
0.00/0.09 c SMALL=int, LARGE=long long
0.00/0.09 c bounds - >= -760 @ 0.055736
0.00/0.09 c stratification level: 0
0.09/0.13 c bounds - >= -155 @ 0.075178
0.09/0.13 c bounds - >= -154 @ 0.07583
0.09/0.13 c bounds - >= -153 @ 0.07583
0.09/0.13 c bounds - >= -152 @ 0.075831
0.09/0.13 c bounds - >= -151 @ 0.075831
0.09/0.13 c bounds - >= -150 @ 0.075832
0.09/0.13 c bounds - >= -149 @ 0.076089
0.09/0.13 c bounds - >= -148 @ 0.076489
0.09/0.13 c bounds - >= -147 @ 0.076898
0.09/0.13 c bounds - >= -146 @ 0.07741
0.09/0.13 c bounds - >= -145 @ 0.077838
0.09/0.13 c bounds - >= -144 @ 0.078477
0.09/0.13 c bounds - >= -143 @ 0.078892
0.09/0.13 c bounds - >= -142 @ 0.07957
0.09/0.13 c bounds - >= -141 @ 0.080346
0.09/0.13 c bounds - >= -140 @ 0.080809
0.09/0.13 c bounds - >= -139 @ 0.081449
0.09/0.13 c finalizing WCE round: reformulating cores
17.34/17.45 c bounds -19 >= -153 @ 0.087203
17.34/17.45 c bounds -21 >= -150 @ 0.096526
17.34/17.45 c #Conflicts: 1000 | #Constraints: 42459
17.34/17.45 c bounds -28 >= -142 @ 0.30211
17.34/17.45 c #Conflicts: 2000 | #Constraints: 43479
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 3000 | #Constraints: 43407
17.34/17.45 c #Conflicts: 4000 | #Constraints: 44409
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 5000 | #Constraints: 43831
17.34/17.45 c bounds -31 >= -136 @ 1.2682
17.34/17.45 c bounds -31 >= -135 @ 1.27064
17.34/17.45 c bounds -31 >= -134 @ 1.27408
17.34/17.45 c bounds -31 >= -133 @ 1.27977
17.34/17.45 c bounds -31 >= -132 @ 1.32589
17.34/17.45 c #Conflicts: 6000 | #Constraints: 44914
17.34/17.45 c bounds -31 >= -131 @ 1.37173
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 7000 | #Constraints: 43931
17.34/17.45 c #Conflicts: 8000 | #Constraints: 44931
17.34/17.45 c bounds -31 >= -130 @ 1.59916
17.34/17.45 c #Conflicts: 9000 | #Constraints: 45971
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 10000 | #Constraints: 44671
17.34/17.45 c #Conflicts: 11000 | #Constraints: 45671
17.34/17.45 c bounds -31 >= -129 @ 2.04584
17.34/17.45 c #Conflicts: 12000 | #Constraints: 46717
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 13000 | #Constraints: 45157
17.34/17.45 c #Conflicts: 14000 | #Constraints: 46157
17.34/17.45 c #Conflicts: 15000 | #Constraints: 47157
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 16000 | #Constraints: 45385
17.34/17.45 c #Conflicts: 17000 | #Constraints: 46385
17.34/17.45 c #Conflicts: 18000 | #Constraints: 47385
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 19000 | #Constraints: 45408
17.34/17.45 c #Conflicts: 20000 | #Constraints: 46408
17.34/17.45 c #Conflicts: 21000 | #Constraints: 47408
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 22000 | #Constraints: 45218
17.34/17.45 c #Conflicts: 23000 | #Constraints: 46218
17.34/17.45 c #Conflicts: 24000 | #Constraints: 47218
17.34/17.45 c #Conflicts: 25000 | #Constraints: 48218
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 26000 | #Constraints: 45849
17.34/17.45 c #Conflicts: 27000 | #Constraints: 46849
17.34/17.45 c #Conflicts: 28000 | #Constraints: 47849
17.34/17.45 c #Conflicts: 29000 | #Constraints: 48849
17.34/17.45 c #Conflicts: 30000 | #Constraints: 49849
17.34/17.45 c #Conflicts: 31000 | #Constraints: 50849
17.34/17.45 c #Conflicts: 32000 | #Constraints: 51849
17.34/17.45 c #Conflicts: 33000 | #Constraints: 52849
17.34/17.45 c #Conflicts: 34000 | #Constraints: 53849
17.34/17.45 c #Conflicts: 35000 | #Constraints: 54849
17.34/17.45 c #Conflicts: 36000 | #Constraints: 55849
17.34/17.45 c #Conflicts: 37000 | #Constraints: 56849
17.34/17.45 c #Conflicts: 38000 | #Constraints: 57849
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 39000 | #Constraints: 50748
17.34/17.45 c #Conflicts: 40000 | #Constraints: 51748
17.34/17.45 c #Conflicts: 41000 | #Constraints: 52748
17.34/17.45 c #Conflicts: 42000 | #Constraints: 53748
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 43000 | #Constraints: 48246
17.34/17.45 c #Conflicts: 44000 | #Constraints: 49246
17.34/17.45 c #Conflicts: 45000 | #Constraints: 50246
17.34/17.45 c #Conflicts: 46000 | #Constraints: 51246
17.34/17.45 c #Conflicts: 47000 | #Constraints: 52246
17.34/17.45 c #Conflicts: 48000 | #Constraints: 53246
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 49000 | #Constraints: 48450
17.34/17.45 c #Conflicts: 50000 | #Constraints: 49450
17.34/17.45 c #Conflicts: 51000 | #Constraints: 50450
17.34/17.45 c #Conflicts: 52000 | #Constraints: 51450
17.34/17.45 c #Conflicts: 53000 | #Constraints: 52450
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 54000 | #Constraints: 47898
17.34/17.45 c #Conflicts: 55000 | #Constraints: 48898
17.34/17.45 c #Conflicts: 56000 | #Constraints: 49898
17.34/17.45 c #Conflicts: 57000 | #Constraints: 50898
17.34/17.45 c #Conflicts: 58000 | #Constraints: 51898
17.34/17.45 c INPROCESSING
17.34/17.45 c GARBAGE COLLECT
17.34/17.45 c #Conflicts: 59000 | #Constraints: 47376
17.34/17.45 c #Conflicts: 60000 | #Constraints: 48376
17.34/17.45 c #Conflicts: 61000 | #Constraints: 49376
17.34/17.45 c #Conflicts: 62000 | #Constraints: 50376
17.34/17.45 c #Conflicts: 63000 | #Constraints: 51376
17.34/17.45 c #Conflicts: 64000 | #Constraints: 52376
55.32/55.52 c INPROCESSING
55.32/55.52 c GARBAGE COLLECT
55.32/55.52 c #Conflicts: 65000 | #Constraints: 47750
55.32/55.52 c #Conflicts: 66000 | #Constraints: 48750
55.32/55.52 c #Conflicts: 67000 | #Constraints: 49750
55.32/55.52 c #Conflicts: 68000 | #Constraints: 50750
55.32/55.52 c #Conflicts: 69000 | #Constraints: 51750
55.32/55.52 c #Conflicts: 70000 | #Constraints: 52750
55.32/55.52 c INPROCESSING
55.32/55.52 c GARBAGE COLLECT
55.32/55.52 c #Conflicts: 71000 | #Constraints: 47998
55.32/55.52 c #Conflicts: 72000 | #Constraints: 48998
55.32/55.52 c #Conflicts: 73000 | #Constraints: 49998
55.32/55.52 c #Conflicts: 74000 | #Constraints: 50998
55.32/55.52 c #Conflicts: 75000 | #Constraints: 51998
55.32/55.52 c #Conflicts: 76000 | #Constraints: 52998
55.32/55.52 c #Conflicts: 77000 | #Constraints: 53998
55.32/55.52 c #Conflicts: 78000 | #Constraints: 54998
55.32/55.52 c #Conflicts: 79000 | #Constraints: 55998
55.32/55.52 c #Conflicts: 80000 | #Constraints: 56998
55.32/55.52 c #Conflicts: 81000 | #Constraints: 57998
55.32/55.52 c #Conflicts: 82000 | #Constraints: 58998
55.32/55.52 c #Conflicts: 83000 | #Constraints: 59998
55.32/55.52 c #Conflicts: 84000 | #Constraints: 60998
55.32/55.52 c #Conflicts: 85000 | #Constraints: 61998
55.32/55.52 c #Conflicts: 86000 | #Constraints: 62998
55.32/55.52 c #Conflicts: 87000 | #Constraints: 63998
55.32/55.52 c #Conflicts: 88000 | #Constraints: 64998
55.32/55.52 c #Conflicts: 89000 | #Constraints: 65998
55.32/55.52 c #Conflicts: 90000 | #Constraints: 66998
55.32/55.52 c #Conflicts: 91000 | #Constraints: 67998
55.32/55.52 c INPROCESSING
55.32/55.52 c GARBAGE COLLECT
55.32/55.52 c #Conflicts: 92000 | #Constraints: 55436
55.32/55.52 c #Conflicts: 93000 | #Constraints: 56436
55.32/55.52 c #Conflicts: 94000 | #Constraints: 57436
55.32/55.52 c #Conflicts: 95000 | #Constraints: 58436
55.32/55.52 c #Conflicts: 96000 | #Constraints: 59436
55.32/55.52 c #Conflicts: 97000 | #Constraints: 60436
55.32/55.52 c #Conflicts: 98000 | #Constraints: 61436
55.32/55.52 c #Conflicts: 99000 | #Constraints: 62436
55.32/55.52 c INPROCESSING
55.32/55.52 c GARBAGE COLLECT
55.32/55.52 c #Conflicts: 100000 | #Constraints: 53041
55.32/55.52 c #Conflicts: 101000 | #Constraints: 54041
55.32/55.52 c #Conflicts: 102000 | #Constraints: 55041
55.32/55.52 c #Conflicts: 103000 | #Constraints: 56041
55.32/55.52 c #Conflicts: 104000 | #Constraints: 57041
55.32/55.52 c #Conflicts: 105000 | #Constraints: 58041
55.32/55.52 c #Conflicts: 106000 | #Constraints: 59041
55.32/55.52 c INPROCESSING
55.32/55.52 c GARBAGE COLLECT
55.32/55.52 c #Conflicts: 107000 | #Constraints: 51155
55.32/55.52 c #Conflicts: 108000 | #Constraints: 52155
55.32/55.52 c #Conflicts: 109000 | #Constraints: 53155
55.32/55.52 c #Conflicts: 110000 | #Constraints: 54155
55.32/55.52 c #Conflicts: 111000 | #Constraints: 55155
55.32/55.52 c #Conflicts: 112000 | #Constraints: 56155
55.32/55.52 c #Conflicts: 113000 | #Constraints: 57155
55.32/55.52 c #Conflicts: 114000 | #Constraints: 58155
55.32/55.52 c INPROCESSING
55.32/55.52 c GARBAGE COLLECT
55.32/55.52 c #Conflicts: 115000 | #Constraints: 50900
55.32/55.52 c #Conflicts: 116000 | #Constraints: 51900
55.32/55.52 c #Conflicts: 117000 | #Constraints: 52900
55.32/55.52 c #Conflicts: 118000 | #Constraints: 53900
55.32/55.52 c #Conflicts: 119000 | #Constraints: 54900
55.32/55.52 c #Conflicts: 120000 | #Constraints: 55900
55.32/55.52 c #Conflicts: 121000 | #Constraints: 56900
55.32/55.52 c INPROCESSING
55.32/55.52 c GARBAGE COLLECT
55.32/55.52 c #Conflicts: 122000 | #Constraints: 49886
55.32/55.52 c #Conflicts: 123000 | #Constraints: 50886
55.32/55.52 c #Conflicts: 124000 | #Constraints: 51886
55.32/55.52 c #Conflicts: 125000 | #Constraints: 52886
55.32/55.52 c #Conflicts: 126000 | #Constraints: 53886
55.32/55.52 c #Conflicts: 127000 | #Constraints: 54886
55.32/55.52 c #Conflicts: 128000 | #Constraints: 55886
55.32/55.52 c #Conflicts: 129000 | #Constraints: 56886
55.32/55.52 c INPROCESSING
55.32/55.52 c GARBAGE COLLECT
55.32/55.52 c #Conflicts: 130000 | #Constraints: 49875
55.32/55.52 c #Conflicts: 131000 | #Constraints: 50875
55.32/55.52 c #Conflicts: 132000 | #Constraints: 51875
55.32/55.52 c #Conflicts: 133000 | #Constraints: 52875
55.32/55.52 c #Conflicts: 134000 | #Constraints: 53875
55.32/55.52 c #Conflicts: 135000 | #Constraints: 54875
55.32/55.52 c #Conflicts: 136000 | #Constraints: 55875
55.32/55.52 c #Conflicts: 137000 | #Constraints: 56875
111.15/111.52 c #Conflicts: 138000 | #Constraints: 57875
111.15/111.52 c INPROCESSING
111.15/111.52 c GARBAGE COLLECT
111.15/111.52 c #Conflicts: 139000 | #Constraints: 50764
111.15/111.52 c #Conflicts: 140000 | #Constraints: 51764
111.15/111.52 c #Conflicts: 141000 | #Constraints: 52764
111.15/111.52 c #Conflicts: 142000 | #Constraints: 53764
111.15/111.52 c #Conflicts: 143000 | #Constraints: 54764
111.15/111.52 c #Conflicts: 144000 | #Constraints: 55764
111.15/111.52 c #Conflicts: 145000 | #Constraints: 56764
111.15/111.52 c #Conflicts: 146000 | #Constraints: 57764
111.15/111.52 c INPROCESSING
111.15/111.52 c GARBAGE COLLECT
111.15/111.52 c #Conflicts: 147000 | #Constraints: 50503
111.15/111.52 c #Conflicts: 148000 | #Constraints: 51503
111.15/111.52 c #Conflicts: 149000 | #Constraints: 52503
111.15/111.52 c #Conflicts: 150000 | #Constraints: 53503
111.15/111.52 c #Conflicts: 151000 | #Constraints: 54503
111.15/111.52 c #Conflicts: 152000 | #Constraints: 55503
111.15/111.52 c #Conflicts: 153000 | #Constraints: 56503
111.15/111.52 c #Conflicts: 154000 | #Constraints: 57503
111.15/111.52 c #Conflicts: 155000 | #Constraints: 58503
111.15/111.52 c #Conflicts: 156000 | #Constraints: 59503
111.15/111.52 c #Conflicts: 157000 | #Constraints: 60503
111.15/111.52 c #Conflicts: 158000 | #Constraints: 61503
111.15/111.52 c #Conflicts: 159000 | #Constraints: 62503
111.15/111.52 c #Conflicts: 160000 | #Constraints: 63503
111.15/111.52 c #Conflicts: 161000 | #Constraints: 64503
111.15/111.52 c #Conflicts: 162000 | #Constraints: 65503
111.15/111.52 c #Conflicts: 163000 | #Constraints: 66503
111.15/111.52 c #Conflicts: 164000 | #Constraints: 67503
111.15/111.52 c #Conflicts: 165000 | #Constraints: 68503
111.15/111.52 c #Conflicts: 166000 | #Constraints: 69503
111.15/111.52 c #Conflicts: 167000 | #Constraints: 70503
111.15/111.52 c #Conflicts: 168000 | #Constraints: 71503
111.15/111.52 c #Conflicts: 169000 | #Constraints: 72503
111.15/111.52 c #Conflicts: 170000 | #Constraints: 73503
111.15/111.52 c #Conflicts: 171000 | #Constraints: 74503
111.15/111.52 c #Conflicts: 172000 | #Constraints: 75503
111.15/111.52 c #Conflicts: 173000 | #Constraints: 76503
111.15/111.52 c #Conflicts: 174000 | #Constraints: 77503
111.15/111.52 c #Conflicts: 175000 | #Constraints: 78503
111.15/111.52 c #Conflicts: 176000 | #Constraints: 79503
111.15/111.52 c #Conflicts: 177000 | #Constraints: 80503
111.15/111.52 c INPROCESSING
111.15/111.52 c GARBAGE COLLECT
111.15/111.52 c #Conflicts: 178000 | #Constraints: 61817
111.15/111.52 c #Conflicts: 179000 | #Constraints: 62817
111.15/111.52 c #Conflicts: 180000 | #Constraints: 63817
111.15/111.52 c #Conflicts: 181000 | #Constraints: 64817
111.15/111.52 c #Conflicts: 182000 | #Constraints: 65817
111.15/111.52 c #Conflicts: 183000 | #Constraints: 66817
111.15/111.52 c #Conflicts: 184000 | #Constraints: 67817
111.15/111.52 c #Conflicts: 185000 | #Constraints: 68817
111.15/111.52 c #Conflicts: 186000 | #Constraints: 69817
111.15/111.52 c #Conflicts: 187000 | #Constraints: 70817
111.15/111.52 c INPROCESSING
111.15/111.52 c GARBAGE COLLECT
111.15/111.52 c #Conflicts: 188000 | #Constraints: 57141
111.15/111.52 c #Conflicts: 189000 | #Constraints: 58141
111.15/111.52 c #Conflicts: 190000 | #Constraints: 59141
111.15/111.52 c #Conflicts: 191000 | #Constraints: 60141
111.15/111.52 c #Conflicts: 192000 | #Constraints: 61141
111.15/111.52 c #Conflicts: 193000 | #Constraints: 62141
111.15/111.52 c #Conflicts: 194000 | #Constraints: 63141
111.15/111.52 c #Conflicts: 195000 | #Constraints: 64141
111.15/111.52 c #Conflicts: 196000 | #Constraints: 65141
111.15/111.52 c #Conflicts: 197000 | #Constraints: 66141
111.15/111.52 c INPROCESSING
111.15/111.52 c GARBAGE COLLECT
111.15/111.52 c #Conflicts: 198000 | #Constraints: 54839
111.15/111.52 c #Conflicts: 199000 | #Constraints: 55839
111.15/111.52 c #Conflicts: 200000 | #Constraints: 56839
111.15/111.52 c #Conflicts: 201000 | #Constraints: 57839
111.15/111.52 c #Conflicts: 202000 | #Constraints: 58839
111.15/111.52 c #Conflicts: 203000 | #Constraints: 59839
111.15/111.52 c #Conflicts: 204000 | #Constraints: 60839
111.15/111.52 c #Conflicts: 205000 | #Constraints: 61839
111.15/111.52 c #Conflicts: 206000 | #Constraints: 62839
111.15/111.52 c #Conflicts: 207000 | #Constraints: 63839
111.15/111.52 c INPROCESSING
111.15/111.52 c GARBAGE COLLECT
111.15/111.52 c #Conflicts: 208000 | #Constraints: 53655
111.15/111.52 c #Conflicts: 209000 | #Constraints: 54655
111.15/111.52 c #Conflicts: 210000 | #Constraints: 55655
111.15/111.52 c #Conflicts: 211000 | #Constraints: 56655
111.15/111.52 c #Conflicts: 212000 | #Constraints: 57655
184.62/185.27 c #Conflicts: 213000 | #Constraints: 58655
184.62/185.27 c #Conflicts: 214000 | #Constraints: 59655
184.62/185.27 c #Conflicts: 215000 | #Constraints: 60655
184.62/185.27 c #Conflicts: 216000 | #Constraints: 61655
184.62/185.27 c #Conflicts: 217000 | #Constraints: 62655
184.62/185.27 c INPROCESSING
184.62/185.27 c GARBAGE COLLECT
184.62/185.27 c #Conflicts: 218000 | #Constraints: 52909
184.62/185.27 c #Conflicts: 219000 | #Constraints: 53909
184.62/185.27 c #Conflicts: 220000 | #Constraints: 54909
184.62/185.27 c #Conflicts: 221000 | #Constraints: 55909
184.62/185.27 c #Conflicts: 222000 | #Constraints: 56909
184.62/185.27 c #Conflicts: 223000 | #Constraints: 57909
184.62/185.27 c #Conflicts: 224000 | #Constraints: 58909
184.62/185.27 c #Conflicts: 225000 | #Constraints: 59909
184.62/185.27 c #Conflicts: 226000 | #Constraints: 60909
184.62/185.27 c #Conflicts: 227000 | #Constraints: 61909
184.62/185.27 c #Conflicts: 228000 | #Constraints: 62909
184.62/185.27 c INPROCESSING
184.62/185.27 c GARBAGE COLLECT
184.62/185.27 c #Conflicts: 229000 | #Constraints: 53277
184.62/185.27 c #Conflicts: 230000 | #Constraints: 54277
184.62/185.27 c #Conflicts: 231000 | #Constraints: 55277
184.62/185.27 c #Conflicts: 232000 | #Constraints: 56277
184.62/185.27 c #Conflicts: 233000 | #Constraints: 57277
184.62/185.27 c #Conflicts: 234000 | #Constraints: 58277
184.62/185.27 c #Conflicts: 235000 | #Constraints: 59277
184.62/185.27 c #Conflicts: 236000 | #Constraints: 60277
184.62/185.27 c #Conflicts: 237000 | #Constraints: 61277
184.62/185.27 c #Conflicts: 238000 | #Constraints: 62277
184.62/185.27 c INPROCESSING
184.62/185.27 c GARBAGE COLLECT
184.62/185.27 c #Conflicts: 239000 | #Constraints: 52619
184.62/185.27 c #Conflicts: 240000 | #Constraints: 53619
184.62/185.27 c #Conflicts: 241000 | #Constraints: 54619
184.62/185.27 c #Conflicts: 242000 | #Constraints: 55619
184.62/185.27 c #Conflicts: 243000 | #Constraints: 56619
184.62/185.27 c #Conflicts: 244000 | #Constraints: 57619
184.62/185.27 c #Conflicts: 245000 | #Constraints: 58619
184.62/185.27 c #Conflicts: 246000 | #Constraints: 59619
184.62/185.27 c #Conflicts: 247000 | #Constraints: 60619
184.62/185.27 c #Conflicts: 248000 | #Constraints: 61619
184.62/185.27 c #Conflicts: 249000 | #Constraints: 62619
184.62/185.27 c #Conflicts: 250000 | #Constraints: 63619
184.62/185.27 c #Conflicts: 251000 | #Constraints: 64619
184.62/185.27 c #Conflicts: 252000 | #Constraints: 65619
184.62/185.27 c #Conflicts: 253000 | #Constraints: 66619
184.62/185.27 c #Conflicts: 254000 | #Constraints: 67619
184.62/185.27 c #Conflicts: 255000 | #Constraints: 68619
184.62/185.27 c #Conflicts: 256000 | #Constraints: 69619
184.62/185.27 c #Conflicts: 257000 | #Constraints: 70619
184.62/185.27 c #Conflicts: 258000 | #Constraints: 71619
184.62/185.27 c #Conflicts: 259000 | #Constraints: 72619
184.62/185.27 c #Conflicts: 260000 | #Constraints: 73619
184.62/185.27 c #Conflicts: 261000 | #Constraints: 74619
184.62/185.27 c #Conflicts: 262000 | #Constraints: 75619
184.62/185.27 c #Conflicts: 263000 | #Constraints: 76619
184.62/185.27 c #Conflicts: 264000 | #Constraints: 77619
184.62/185.27 c #Conflicts: 265000 | #Constraints: 78619
184.62/185.27 c #Conflicts: 266000 | #Constraints: 79619
184.62/185.27 c #Conflicts: 267000 | #Constraints: 80619
184.62/185.27 c #Conflicts: 268000 | #Constraints: 81619
184.62/185.27 c #Conflicts: 269000 | #Constraints: 82619
184.62/185.27 c #Conflicts: 270000 | #Constraints: 83619
184.62/185.27 c #Conflicts: 271000 | #Constraints: 84619
184.62/185.27 c #Conflicts: 272000 | #Constraints: 85619
184.62/185.27 c #Conflicts: 273000 | #Constraints: 86619
184.62/185.27 c #Conflicts: 274000 | #Constraints: 87619
184.62/185.27 c #Conflicts: 275000 | #Constraints: 88619
184.62/185.27 c #Conflicts: 276000 | #Constraints: 89619
184.62/185.27 c #Conflicts: 277000 | #Constraints: 90619
184.62/185.27 c #Conflicts: 278000 | #Constraints: 91619
184.62/185.27 c INPROCESSING
184.62/185.27 c GARBAGE COLLECT
184.62/185.27 c #Conflicts: 279000 | #Constraints: 67448
184.62/185.27 c #Conflicts: 280000 | #Constraints: 68448
184.62/185.27 c #Conflicts: 281000 | #Constraints: 69448
184.62/185.27 c #Conflicts: 282000 | #Constraints: 70448
184.62/185.27 c #Conflicts: 283000 | #Constraints: 71448
184.62/185.27 c #Conflicts: 284000 | #Constraints: 72448
184.62/185.27 c #Conflicts: 285000 | #Constraints: 73448
184.62/185.27 c #Conflicts: 286000 | #Constraints: 74448
184.62/185.27 c #Conflicts: 287000 | #Constraints: 75448
184.62/185.27 c #Conflicts: 288000 | #Constraints: 76448
184.62/185.27 c #Conflicts: 289000 | #Constraints: 77448
256.40/257.23 c #Conflicts: 290000 | #Constraints: 78448
256.40/257.23 c INPROCESSING
256.40/257.23 c GARBAGE COLLECT
256.40/257.23 c #Conflicts: 291000 | #Constraints: 60856
256.40/257.23 c #Conflicts: 292000 | #Constraints: 61856
256.40/257.23 c #Conflicts: 293000 | #Constraints: 62856
256.40/257.23 c #Conflicts: 294000 | #Constraints: 63856
256.40/257.23 c #Conflicts: 295000 | #Constraints: 64856
256.40/257.23 c #Conflicts: 296000 | #Constraints: 65856
256.40/257.23 c #Conflicts: 297000 | #Constraints: 66856
256.40/257.23 c #Conflicts: 298000 | #Constraints: 67856
256.40/257.23 c #Conflicts: 299000 | #Constraints: 68856
256.40/257.23 c #Conflicts: 300000 | #Constraints: 69856
256.40/257.23 c #Conflicts: 301000 | #Constraints: 70856
256.40/257.23 c #Conflicts: 302000 | #Constraints: 71856
256.40/257.23 c INPROCESSING
256.40/257.23 c GARBAGE COLLECT
256.40/257.23 c #Conflicts: 303000 | #Constraints: 57462
256.40/257.23 c #Conflicts: 304000 | #Constraints: 58462
256.40/257.23 c #Conflicts: 305000 | #Constraints: 59462
256.40/257.23 c #Conflicts: 306000 | #Constraints: 60462
256.40/257.23 c #Conflicts: 307000 | #Constraints: 61462
256.40/257.23 c #Conflicts: 308000 | #Constraints: 62462
256.40/257.23 c #Conflicts: 309000 | #Constraints: 63462
256.40/257.23 c #Conflicts: 310000 | #Constraints: 64462
256.40/257.23 c #Conflicts: 311000 | #Constraints: 65462
256.40/257.23 c #Conflicts: 312000 | #Constraints: 66462
256.40/257.23 c #Conflicts: 313000 | #Constraints: 67462
256.40/257.23 c #Conflicts: 314000 | #Constraints: 68462
256.40/257.23 c #Conflicts: 315000 | #Constraints: 69462
256.40/257.23 c INPROCESSING
256.40/257.23 c GARBAGE COLLECT
256.40/257.23 c #Conflicts: 316000 | #Constraints: 56551
256.40/257.23 c #Conflicts: 317000 | #Constraints: 57551
256.40/257.23 c #Conflicts: 318000 | #Constraints: 58551
256.40/257.23 c #Conflicts: 319000 | #Constraints: 59551
256.40/257.23 c #Conflicts: 320000 | #Constraints: 60551
256.40/257.23 c #Conflicts: 321000 | #Constraints: 61551
256.40/257.23 c #Conflicts: 322000 | #Constraints: 62551
256.40/257.23 c #Conflicts: 323000 | #Constraints: 63551
256.40/257.23 c #Conflicts: 324000 | #Constraints: 64551
256.40/257.23 c #Conflicts: 325000 | #Constraints: 65551
256.40/257.23 c #Conflicts: 326000 | #Constraints: 66551
256.40/257.23 c #Conflicts: 327000 | #Constraints: 67551
256.40/257.23 c INPROCESSING
256.40/257.23 c GARBAGE COLLECT
256.40/257.23 c #Conflicts: 328000 | #Constraints: 55310
256.40/257.23 c #Conflicts: 329000 | #Constraints: 56310
256.40/257.23 c #Conflicts: 330000 | #Constraints: 57310
256.40/257.23 c #Conflicts: 331000 | #Constraints: 58310
256.40/257.23 c #Conflicts: 332000 | #Constraints: 59310
256.40/257.23 c #Conflicts: 333000 | #Constraints: 60310
256.40/257.23 c #Conflicts: 334000 | #Constraints: 61310
256.40/257.23 c #Conflicts: 335000 | #Constraints: 62310
256.40/257.23 c #Conflicts: 336000 | #Constraints: 63310
256.40/257.23 c #Conflicts: 337000 | #Constraints: 64310
256.40/257.23 c #Conflicts: 338000 | #Constraints: 65310
256.40/257.23 c #Conflicts: 339000 | #Constraints: 66310
256.40/257.23 c #Conflicts: 340000 | #Constraints: 67310
256.40/257.23 c INPROCESSING
256.40/257.23 c GARBAGE COLLECT
256.40/257.23 c #Conflicts: 341000 | #Constraints: 55282
256.40/257.23 c #Conflicts: 342000 | #Constraints: 56282
256.40/257.23 c #Conflicts: 343000 | #Constraints: 57282
256.40/257.23 c #Conflicts: 344000 | #Constraints: 58282
256.40/257.23 c #Conflicts: 345000 | #Constraints: 59282
256.40/257.23 c #Conflicts: 346000 | #Constraints: 60282
256.40/257.23 c #Conflicts: 347000 | #Constraints: 61282
256.40/257.23 c #Conflicts: 348000 | #Constraints: 62282
256.40/257.23 c #Conflicts: 349000 | #Constraints: 63282
256.40/257.23 c #Conflicts: 350000 | #Constraints: 64282
256.40/257.23 c #Conflicts: 351000 | #Constraints: 65282
256.40/257.23 c #Conflicts: 352000 | #Constraints: 66282
256.40/257.23 c #Conflicts: 353000 | #Constraints: 67282
256.40/257.23 c #Conflicts: 354000 | #Constraints: 68282
256.40/257.23 c #Conflicts: 355000 | #Constraints: 69282
256.40/257.23 c #Conflicts: 356000 | #Constraints: 70282
256.40/257.23 c #Conflicts: 357000 | #Constraints: 71282
256.40/257.23 c #Conflicts: 358000 | #Constraints: 72282
256.40/257.23 c #Conflicts: 359000 | #Constraints: 73282
256.40/257.23 c #Conflicts: 360000 | #Constraints: 74282
256.40/257.23 c #Conflicts: 361000 | #Constraints: 75282
256.40/257.23 c #Conflicts: 362000 | #Constraints: 76282
256.40/257.23 c #Conflicts: 363000 | #Constraints: 77282
256.40/257.23 c #Conflicts: 364000 | #Constraints: 78282
329.56/330.65 c #Conflicts: 365000 | #Constraints: 79282
329.56/330.65 c #Conflicts: 366000 | #Constraints: 80282
329.56/330.65 c #Conflicts: 367000 | #Constraints: 81282
329.56/330.65 c #Conflicts: 368000 | #Constraints: 82282
329.56/330.65 c #Conflicts: 369000 | #Constraints: 83282
329.56/330.65 c #Conflicts: 370000 | #Constraints: 84282
329.56/330.65 c #Conflicts: 371000 | #Constraints: 85282
329.56/330.65 c #Conflicts: 372000 | #Constraints: 86282
329.56/330.65 c #Conflicts: 373000 | #Constraints: 87282
329.56/330.65 c #Conflicts: 374000 | #Constraints: 88282
329.56/330.65 c #Conflicts: 375000 | #Constraints: 89282
329.56/330.65 c #Conflicts: 376000 | #Constraints: 90282
329.56/330.65 c #Conflicts: 377000 | #Constraints: 91282
329.56/330.65 c #Conflicts: 378000 | #Constraints: 92282
329.56/330.65 c #Conflicts: 379000 | #Constraints: 93282
329.56/330.65 c #Conflicts: 380000 | #Constraints: 94282
329.56/330.65 c #Conflicts: 381000 | #Constraints: 95282
329.56/330.65 c #Conflicts: 382000 | #Constraints: 96282
329.56/330.65 c #Conflicts: 383000 | #Constraints: 97282
329.56/330.65 c #Conflicts: 384000 | #Constraints: 98282
329.56/330.65 c #Conflicts: 385000 | #Constraints: 99282
329.56/330.65 c #Conflicts: 386000 | #Constraints: 100282
329.56/330.65 c bounds -31 >= -128 @ 291.468
329.56/330.65 c #Conflicts: 387000 | #Constraints: 101322
329.56/330.65 c INPROCESSING
329.56/330.65 c GARBAGE COLLECT
329.56/330.65 c #Conflicts: 388000 | #Constraints: 72195
329.56/330.65 c #Conflicts: 389000 | #Constraints: 73195
329.56/330.65 c #Conflicts: 390000 | #Constraints: 74195
329.56/330.65 c #Conflicts: 391000 | #Constraints: 75195
329.56/330.65 c #Conflicts: 392000 | #Constraints: 76195
329.56/330.65 c #Conflicts: 393000 | #Constraints: 77195
329.56/330.65 c #Conflicts: 394000 | #Constraints: 78195
329.56/330.65 c #Conflicts: 395000 | #Constraints: 79195
329.56/330.65 c #Conflicts: 396000 | #Constraints: 80195
329.56/330.65 c #Conflicts: 397000 | #Constraints: 81195
329.56/330.65 c #Conflicts: 398000 | #Constraints: 82195
329.56/330.65 c #Conflicts: 399000 | #Constraints: 83195
329.56/330.65 c #Conflicts: 400000 | #Constraints: 84195
329.56/330.65 c #Conflicts: 401000 | #Constraints: 85195
329.56/330.65 c INPROCESSING
329.56/330.65 c GARBAGE COLLECT
329.56/330.65 c #Conflicts: 402000 | #Constraints: 64096
329.56/330.65 c #Conflicts: 403000 | #Constraints: 65096
329.56/330.65 c #Conflicts: 404000 | #Constraints: 66096
329.56/330.65 c #Conflicts: 405000 | #Constraints: 67096
329.56/330.65 c #Conflicts: 406000 | #Constraints: 68096
329.56/330.65 c #Conflicts: 407000 | #Constraints: 69096
329.56/330.65 c #Conflicts: 408000 | #Constraints: 70096
329.56/330.65 c #Conflicts: 409000 | #Constraints: 71096
329.56/330.65 c #Conflicts: 410000 | #Constraints: 72096
329.56/330.65 c #Conflicts: 411000 | #Constraints: 73096
329.56/330.65 c #Conflicts: 412000 | #Constraints: 74096
329.56/330.65 c #Conflicts: 413000 | #Constraints: 75096
329.56/330.65 c #Conflicts: 414000 | #Constraints: 76096
329.56/330.65 c #Conflicts: 415000 | #Constraints: 77096
329.56/330.65 c #Conflicts: 416000 | #Constraints: 78096
329.56/330.65 c INPROCESSING
329.56/330.65 c GARBAGE COLLECT
329.56/330.65 c #Conflicts: 417000 | #Constraints: 60890
329.56/330.65 c #Conflicts: 418000 | #Constraints: 61890
329.56/330.65 c #Conflicts: 419000 | #Constraints: 62890
329.56/330.65 c #Conflicts: 420000 | #Constraints: 63890
329.56/330.65 c #Conflicts: 421000 | #Constraints: 64890
329.56/330.65 c #Conflicts: 422000 | #Constraints: 65890
329.56/330.65 c #Conflicts: 423000 | #Constraints: 66890
329.56/330.65 c #Conflicts: 424000 | #Constraints: 67890
329.56/330.65 c #Conflicts: 425000 | #Constraints: 68890
329.56/330.65 c #Conflicts: 426000 | #Constraints: 69890
329.56/330.65 c #Conflicts: 427000 | #Constraints: 70890
329.56/330.65 c #Conflicts: 428000 | #Constraints: 71890
329.56/330.65 c #Conflicts: 429000 | #Constraints: 72890
329.56/330.65 c #Conflicts: 430000 | #Constraints: 73890
329.56/330.65 c INPROCESSING
329.56/330.65 c GARBAGE COLLECT
329.56/330.65 c #Conflicts: 431000 | #Constraints: 58554
329.56/330.65 c #Conflicts: 432000 | #Constraints: 59554
329.56/330.65 c #Conflicts: 433000 | #Constraints: 60554
329.56/330.65 c #Conflicts: 434000 | #Constraints: 61554
329.56/330.65 c #Conflicts: 435000 | #Constraints: 62554
329.56/330.65 c #Conflicts: 436000 | #Constraints: 63554
329.56/330.65 c #Conflicts: 437000 | #Constraints: 64554
329.56/330.65 c #Conflicts: 438000 | #Constraints: 65554
329.56/330.65 c #Conflicts: 439000 | #Constraints: 66554
329.56/330.65 c #Conflicts: 440000 | #Constraints: 67554
417.48/418.81 c #Conflicts: 441000 | #Constraints: 68554
417.48/418.81 c #Conflicts: 442000 | #Constraints: 69554
417.48/418.81 c #Conflicts: 443000 | #Constraints: 70554
417.48/418.81 c #Conflicts: 444000 | #Constraints: 71554
417.48/418.81 c #Conflicts: 445000 | #Constraints: 72554
417.48/418.81 c INPROCESSING
417.48/418.81 c GARBAGE COLLECT
417.48/418.81 c #Conflicts: 446000 | #Constraints: 58014
417.48/418.81 c #Conflicts: 447000 | #Constraints: 59014
417.48/418.81 c #Conflicts: 448000 | #Constraints: 60014
417.48/418.81 c #Conflicts: 449000 | #Constraints: 61014
417.48/418.81 c #Conflicts: 450000 | #Constraints: 62014
417.48/418.81 c #Conflicts: 451000 | #Constraints: 63014
417.48/418.81 c #Conflicts: 452000 | #Constraints: 64014
417.48/418.81 c #Conflicts: 453000 | #Constraints: 65014
417.48/418.81 c #Conflicts: 454000 | #Constraints: 66014
417.48/418.81 c #Conflicts: 455000 | #Constraints: 67014
417.48/418.81 c #Conflicts: 456000 | #Constraints: 68014
417.48/418.81 c #Conflicts: 457000 | #Constraints: 69014
417.48/418.81 c #Conflicts: 458000 | #Constraints: 70014
417.48/418.81 c #Conflicts: 459000 | #Constraints: 71014
417.48/418.81 c #Conflicts: 460000 | #Constraints: 72014
417.48/418.81 c #Conflicts: 461000 | #Constraints: 73014
417.48/418.81 c #Conflicts: 462000 | #Constraints: 74014
417.48/418.81 c #Conflicts: 463000 | #Constraints: 75014
417.48/418.81 c #Conflicts: 464000 | #Constraints: 76014
417.48/418.81 c #Conflicts: 465000 | #Constraints: 77014
417.48/418.81 c #Conflicts: 466000 | #Constraints: 78014
417.48/418.81 c #Conflicts: 467000 | #Constraints: 79014
417.48/418.81 c #Conflicts: 468000 | #Constraints: 80014
417.48/418.81 c #Conflicts: 469000 | #Constraints: 81014
417.48/418.81 c #Conflicts: 470000 | #Constraints: 82014
417.48/418.81 c #Conflicts: 471000 | #Constraints: 83014
417.48/418.81 c #Conflicts: 472000 | #Constraints: 84014
417.48/418.81 c #Conflicts: 473000 | #Constraints: 85014
417.48/418.81 c #Conflicts: 474000 | #Constraints: 86014
417.48/418.81 c #Conflicts: 475000 | #Constraints: 87014
417.48/418.81 c #Conflicts: 476000 | #Constraints: 88014
417.48/418.81 c #Conflicts: 477000 | #Constraints: 89014
417.48/418.81 c #Conflicts: 478000 | #Constraints: 90014
417.48/418.81 c #Conflicts: 479000 | #Constraints: 91014
417.48/418.81 c #Conflicts: 480000 | #Constraints: 92014
417.48/418.81 c #Conflicts: 481000 | #Constraints: 93014
417.48/418.81 c #Conflicts: 482000 | #Constraints: 94014
417.48/418.81 c #Conflicts: 483000 | #Constraints: 95014
417.48/418.81 c #Conflicts: 484000 | #Constraints: 96014
417.48/418.81 c #Conflicts: 485000 | #Constraints: 97014
417.48/418.81 c #Conflicts: 486000 | #Constraints: 98014
417.48/418.81 c #Conflicts: 487000 | #Constraints: 99014
417.48/418.81 c #Conflicts: 488000 | #Constraints: 100014
417.48/418.81 c #Conflicts: 489000 | #Constraints: 101014
417.48/418.81 c #Conflicts: 490000 | #Constraints: 102014
417.48/418.81 c #Conflicts: 491000 | #Constraints: 103014
417.48/418.81 c #Conflicts: 492000 | #Constraints: 104014
417.48/418.81 c #Conflicts: 493000 | #Constraints: 105014
417.48/418.81 c #Conflicts: 494000 | #Constraints: 106014
417.48/418.81 c #Conflicts: 495000 | #Constraints: 107014
417.48/418.81 c #Conflicts: 496000 | #Constraints: 108014
417.48/418.81 c #Conflicts: 497000 | #Constraints: 109014
417.48/418.81 c #Conflicts: 498000 | #Constraints: 110014
417.48/418.81 c INPROCESSING
417.48/418.81 c GARBAGE COLLECT
417.48/418.81 c #Conflicts: 499000 | #Constraints: 76465
417.48/418.81 c #Conflicts: 500000 | #Constraints: 77465
417.48/418.81 c #Conflicts: 501000 | #Constraints: 78465
417.48/418.81 c #Conflicts: 502000 | #Constraints: 79465
417.48/418.81 c #Conflicts: 503000 | #Constraints: 80465
417.48/418.81 c #Conflicts: 504000 | #Constraints: 81465
417.48/418.81 c #Conflicts: 505000 | #Constraints: 82465
417.48/418.81 c #Conflicts: 506000 | #Constraints: 83465
417.48/418.81 c #Conflicts: 507000 | #Constraints: 84465
417.48/418.81 c #Conflicts: 508000 | #Constraints: 85465
417.48/418.81 c #Conflicts: 509000 | #Constraints: 86465
417.48/418.81 c #Conflicts: 510000 | #Constraints: 87465
417.48/418.81 c #Conflicts: 511000 | #Constraints: 88465
417.48/418.81 c #Conflicts: 512000 | #Constraints: 89465
417.48/418.81 c #Conflicts: 513000 | #Constraints: 90465
417.48/418.81 c #Conflicts: 514000 | #Constraints: 91465
417.48/418.81 c INPROCESSING
417.48/418.81 c GARBAGE COLLECT
417.48/418.81 c #Conflicts: 515000 | #Constraints: 67202
417.48/418.81 c #Conflicts: 516000 | #Constraints: 68202
417.48/418.81 c #Conflicts: 517000 | #Constraints: 69202
488.16/489.71 c #Conflicts: 518000 | #Constraints: 70202
488.16/489.71 c #Conflicts: 519000 | #Constraints: 71202
488.16/489.71 c #Conflicts: 520000 | #Constraints: 72202
488.16/489.71 c #Conflicts: 521000 | #Constraints: 73202
488.16/489.71 c #Conflicts: 522000 | #Constraints: 74202
488.16/489.71 c #Conflicts: 523000 | #Constraints: 75202
488.16/489.71 c #Conflicts: 524000 | #Constraints: 76202
488.16/489.71 c #Conflicts: 525000 | #Constraints: 77202
488.16/489.71 c #Conflicts: 526000 | #Constraints: 78202
488.16/489.71 c #Conflicts: 527000 | #Constraints: 79202
488.16/489.71 c #Conflicts: 528000 | #Constraints: 80202
488.16/489.71 c #Conflicts: 529000 | #Constraints: 81202
488.16/489.71 c #Conflicts: 530000 | #Constraints: 82202
488.16/489.71 c #Conflicts: 531000 | #Constraints: 83202
488.16/489.71 c INPROCESSING
488.16/489.71 c GARBAGE COLLECT
488.16/489.71 c #Conflicts: 532000 | #Constraints: 63466
488.16/489.71 c #Conflicts: 533000 | #Constraints: 64466
488.16/489.71 c #Conflicts: 534000 | #Constraints: 65466
488.16/489.71 c #Conflicts: 535000 | #Constraints: 66466
488.16/489.71 c #Conflicts: 536000 | #Constraints: 67466
488.16/489.71 c #Conflicts: 537000 | #Constraints: 68466
488.16/489.71 c #Conflicts: 538000 | #Constraints: 69466
488.16/489.71 c #Conflicts: 539000 | #Constraints: 70466
488.16/489.71 c #Conflicts: 540000 | #Constraints: 71466
488.16/489.71 c #Conflicts: 541000 | #Constraints: 72466
488.16/489.71 c #Conflicts: 542000 | #Constraints: 73466
488.16/489.71 c #Conflicts: 543000 | #Constraints: 74466
488.16/489.71 c #Conflicts: 544000 | #Constraints: 75466
488.16/489.71 c #Conflicts: 545000 | #Constraints: 76466
488.16/489.71 c #Conflicts: 546000 | #Constraints: 77466
488.16/489.71 c #Conflicts: 547000 | #Constraints: 78466
488.16/489.71 c INPROCESSING
488.16/489.71 c GARBAGE COLLECT
488.16/489.71 c #Conflicts: 548000 | #Constraints: 60892
488.16/489.71 c #Conflicts: 549000 | #Constraints: 61892
488.16/489.71 c #Conflicts: 550000 | #Constraints: 62892
488.16/489.71 c #Conflicts: 551000 | #Constraints: 63892
488.16/489.71 c #Conflicts: 552000 | #Constraints: 64892
488.16/489.71 c #Conflicts: 553000 | #Constraints: 65892
488.16/489.71 c #Conflicts: 554000 | #Constraints: 66892
488.16/489.71 c #Conflicts: 555000 | #Constraints: 67892
488.16/489.71 c #Conflicts: 556000 | #Constraints: 68892
488.16/489.71 c #Conflicts: 557000 | #Constraints: 69892
488.16/489.71 c #Conflicts: 558000 | #Constraints: 70892
488.16/489.71 c #Conflicts: 559000 | #Constraints: 71892
488.16/489.71 c #Conflicts: 560000 | #Constraints: 72892
488.16/489.71 c #Conflicts: 561000 | #Constraints: 73892
488.16/489.71 c #Conflicts: 562000 | #Constraints: 74892
488.16/489.71 c #Conflicts: 563000 | #Constraints: 75892
488.16/489.71 c #Conflicts: 564000 | #Constraints: 76892
488.16/489.71 c INPROCESSING
488.16/489.71 c GARBAGE COLLECT
488.16/489.71 c #Conflicts: 565000 | #Constraints: 60311
488.16/489.71 c #Conflicts: 566000 | #Constraints: 61311
488.16/489.71 c #Conflicts: 567000 | #Constraints: 62311
488.16/489.71 c #Conflicts: 568000 | #Constraints: 63311
488.16/489.71 c #Conflicts: 569000 | #Constraints: 64311
488.16/489.71 c #Conflicts: 570000 | #Constraints: 65311
488.16/489.71 c #Conflicts: 571000 | #Constraints: 66311
488.16/489.71 c #Conflicts: 572000 | #Constraints: 67311
488.16/489.71 c #Conflicts: 573000 | #Constraints: 68311
488.16/489.71 c #Conflicts: 574000 | #Constraints: 69311
488.16/489.71 c #Conflicts: 575000 | #Constraints: 70311
488.16/489.71 c #Conflicts: 576000 | #Constraints: 71311
488.16/489.71 c #Conflicts: 577000 | #Constraints: 72311
488.16/489.71 c #Conflicts: 578000 | #Constraints: 73311
488.16/489.71 c #Conflicts: 579000 | #Constraints: 74311
488.16/489.71 c #Conflicts: 580000 | #Constraints: 75311
488.16/489.71 c #Conflicts: 581000 | #Constraints: 76311
488.16/489.71 c #Conflicts: 582000 | #Constraints: 77311
488.16/489.71 c #Conflicts: 583000 | #Constraints: 78311
488.16/489.71 c #Conflicts: 584000 | #Constraints: 79311
488.16/489.71 c #Conflicts: 585000 | #Constraints: 80311
488.16/489.71 c #Conflicts: 586000 | #Constraints: 81311
488.16/489.71 c #Conflicts: 587000 | #Constraints: 82311
488.16/489.71 c #Conflicts: 588000 | #Constraints: 83311
488.16/489.71 c #Conflicts: 589000 | #Constraints: 84311
488.16/489.71 c #Conflicts: 590000 | #Constraints: 85311
488.16/489.71 c #Conflicts: 591000 | #Constraints: 86311
488.16/489.71 c #Conflicts: 592000 | #Constraints: 87311
488.16/489.71 c #Conflicts: 593000 | #Constraints: 88311
488.16/489.71 c #Conflicts: 594000 | #Constraints: 89311
612.74/614.77 c #Conflicts: 595000 | #Constraints: 90311
612.74/614.77 c #Conflicts: 596000 | #Constraints: 91311
612.74/614.77 c #Conflicts: 597000 | #Constraints: 92311
612.74/614.77 c #Conflicts: 598000 | #Constraints: 93311
612.74/614.77 c #Conflicts: 599000 | #Constraints: 94311
612.74/614.77 c #Conflicts: 600000 | #Constraints: 95311
612.74/614.77 c #Conflicts: 601000 | #Constraints: 96311
612.74/614.77 c #Conflicts: 602000 | #Constraints: 97311
612.74/614.77 c #Conflicts: 603000 | #Constraints: 98311
612.74/614.77 c #Conflicts: 604000 | #Constraints: 99311
612.74/614.77 c #Conflicts: 605000 | #Constraints: 100311
612.74/614.77 c #Conflicts: 606000 | #Constraints: 101311
612.74/614.77 c #Conflicts: 607000 | #Constraints: 102311
612.74/614.77 c #Conflicts: 608000 | #Constraints: 103311
612.74/614.77 c #Conflicts: 609000 | #Constraints: 104311
612.74/614.77 c #Conflicts: 610000 | #Constraints: 105311
612.74/614.77 c #Conflicts: 611000 | #Constraints: 106311
612.74/614.77 c #Conflicts: 612000 | #Constraints: 107311
612.74/614.77 c #Conflicts: 613000 | #Constraints: 108311
612.74/614.77 c #Conflicts: 614000 | #Constraints: 109311
612.74/614.77 c #Conflicts: 615000 | #Constraints: 110311
612.74/614.77 c #Conflicts: 616000 | #Constraints: 111311
612.74/614.77 c #Conflicts: 617000 | #Constraints: 112311
612.74/614.77 c #Conflicts: 618000 | #Constraints: 113311
612.74/614.77 c #Conflicts: 619000 | #Constraints: 114311
612.74/614.77 c #Conflicts: 620000 | #Constraints: 115311
612.74/614.77 c #Conflicts: 621000 | #Constraints: 116311
612.74/614.77 c #Conflicts: 622000 | #Constraints: 117311
612.74/614.77 c #Conflicts: 623000 | #Constraints: 118311
612.74/614.77 c #Conflicts: 624000 | #Constraints: 119311
612.74/614.77 c INPROCESSING
612.74/614.77 c GARBAGE COLLECT
612.74/614.77 c #Conflicts: 625000 | #Constraints: 81511
612.74/614.77 c #Conflicts: 626000 | #Constraints: 82511
612.74/614.77 c #Conflicts: 627000 | #Constraints: 83511
612.74/614.77 c #Conflicts: 628000 | #Constraints: 84511
612.74/614.77 c #Conflicts: 629000 | #Constraints: 85511
612.74/614.77 c #Conflicts: 630000 | #Constraints: 86511
612.74/614.77 c #Conflicts: 631000 | #Constraints: 87511
612.74/614.77 c #Conflicts: 632000 | #Constraints: 88511
612.74/614.77 c #Conflicts: 633000 | #Constraints: 89511
612.74/614.77 c #Conflicts: 634000 | #Constraints: 90511
612.74/614.77 c #Conflicts: 635000 | #Constraints: 91511
612.74/614.77 c #Conflicts: 636000 | #Constraints: 92511
612.74/614.77 c #Conflicts: 637000 | #Constraints: 93511
612.74/614.77 c #Conflicts: 638000 | #Constraints: 94511
612.74/614.77 c #Conflicts: 639000 | #Constraints: 95511
612.74/614.77 c #Conflicts: 640000 | #Constraints: 96511
612.74/614.77 c #Conflicts: 641000 | #Constraints: 97511
612.74/614.77 c INPROCESSING
612.74/614.77 c GARBAGE COLLECT
612.74/614.77 c #Conflicts: 642000 | #Constraints: 70179
612.74/614.77 c #Conflicts: 643000 | #Constraints: 71179
612.74/614.77 c #Conflicts: 644000 | #Constraints: 72179
612.74/614.77 c #Conflicts: 645000 | #Constraints: 73179
612.74/614.77 c #Conflicts: 646000 | #Constraints: 74179
612.74/614.77 c #Conflicts: 647000 | #Constraints: 75179
612.74/614.77 c #Conflicts: 648000 | #Constraints: 76179
612.74/614.77 c #Conflicts: 649000 | #Constraints: 77179
612.74/614.77 c #Conflicts: 650000 | #Constraints: 78179
612.74/614.77 c #Conflicts: 651000 | #Constraints: 79179
612.74/614.77 c #Conflicts: 652000 | #Constraints: 80179
612.74/614.77 c #Conflicts: 653000 | #Constraints: 81179
612.74/614.77 c #Conflicts: 654000 | #Constraints: 82179
612.74/614.77 c #Conflicts: 655000 | #Constraints: 83179
612.74/614.77 c #Conflicts: 656000 | #Constraints: 84179
612.74/614.77 c #Conflicts: 657000 | #Constraints: 85179
612.74/614.77 c #Conflicts: 658000 | #Constraints: 86179
612.74/614.77 c #Conflicts: 659000 | #Constraints: 87179
612.74/614.77 c #Conflicts: 660000 | #Constraints: 88179
612.74/614.77 c INPROCESSING
612.74/614.77 c GARBAGE COLLECT
612.74/614.77 c #Conflicts: 661000 | #Constraints: 65942
612.74/614.77 c #Conflicts: 662000 | #Constraints: 66942
612.74/614.77 c #Conflicts: 663000 | #Constraints: 67942
612.74/614.77 c #Conflicts: 664000 | #Constraints: 68942
612.74/614.77 c #Conflicts: 665000 | #Constraints: 69942
612.74/614.77 c #Conflicts: 666000 | #Constraints: 70942
612.74/614.77 c #Conflicts: 667000 | #Constraints: 71942
612.74/614.77 c #Conflicts: 668000 | #Constraints: 72942
612.74/614.77 c #Conflicts: 669000 | #Constraints: 73942
612.74/614.77 c #Conflicts: 670000 | #Constraints: 74942
612.74/614.77 c #Conflicts: 671000 | #Constraints: 75942
705.51/707.89 c #Conflicts: 672000 | #Constraints: 76942
705.51/707.89 c #Conflicts: 673000 | #Constraints: 77942
705.51/707.89 c #Conflicts: 674000 | #Constraints: 78942
705.51/707.89 c #Conflicts: 675000 | #Constraints: 79942
705.51/707.89 c #Conflicts: 676000 | #Constraints: 80942
705.51/707.89 c #Conflicts: 677000 | #Constraints: 81942
705.51/707.89 c #Conflicts: 678000 | #Constraints: 82942
705.51/707.89 c INPROCESSING
705.51/707.89 c GARBAGE COLLECT
705.51/707.89 c #Conflicts: 679000 | #Constraints: 63189
705.51/707.89 c #Conflicts: 680000 | #Constraints: 64189
705.51/707.89 c #Conflicts: 681000 | #Constraints: 65189
705.51/707.89 c #Conflicts: 682000 | #Constraints: 66189
705.51/707.89 c #Conflicts: 683000 | #Constraints: 67189
705.51/707.89 c #Conflicts: 684000 | #Constraints: 68189
705.51/707.89 c #Conflicts: 685000 | #Constraints: 69189
705.51/707.89 c #Conflicts: 686000 | #Constraints: 70189
705.51/707.89 c #Conflicts: 687000 | #Constraints: 71189
705.51/707.89 c #Conflicts: 688000 | #Constraints: 72189
705.51/707.89 c #Conflicts: 689000 | #Constraints: 73189
705.51/707.89 c #Conflicts: 690000 | #Constraints: 74189
705.51/707.89 c #Conflicts: 691000 | #Constraints: 75189
705.51/707.89 c #Conflicts: 692000 | #Constraints: 76189
705.51/707.89 c #Conflicts: 693000 | #Constraints: 77189
705.51/707.89 c #Conflicts: 694000 | #Constraints: 78189
705.51/707.89 c #Conflicts: 695000 | #Constraints: 79189
705.51/707.89 c #Conflicts: 696000 | #Constraints: 80189
705.51/707.89 c INPROCESSING
705.51/707.89 c GARBAGE COLLECT
705.51/707.89 c #Conflicts: 697000 | #Constraints: 61569
705.51/707.89 c #Conflicts: 698000 | #Constraints: 62569
705.51/707.89 c #Conflicts: 699000 | #Constraints: 63569
705.51/707.89 c #Conflicts: 700000 | #Constraints: 64569
705.51/707.89 c #Conflicts: 701000 | #Constraints: 65569
705.51/707.89 c #Conflicts: 702000 | #Constraints: 66569
705.51/707.89 c #Conflicts: 703000 | #Constraints: 67569
705.51/707.89 c #Conflicts: 704000 | #Constraints: 68569
705.51/707.89 c #Conflicts: 705000 | #Constraints: 69569
705.51/707.89 c #Conflicts: 706000 | #Constraints: 70569
705.51/707.89 c #Conflicts: 707000 | #Constraints: 71569
705.51/707.89 c #Conflicts: 708000 | #Constraints: 72569
705.51/707.89 c #Conflicts: 709000 | #Constraints: 73569
705.51/707.89 c #Conflicts: 710000 | #Constraints: 74569
705.51/707.89 c #Conflicts: 711000 | #Constraints: 75569
705.51/707.89 c #Conflicts: 712000 | #Constraints: 76569
705.51/707.89 c #Conflicts: 713000 | #Constraints: 77569
705.51/707.89 c #Conflicts: 714000 | #Constraints: 78569
705.51/707.89 c #Conflicts: 715000 | #Constraints: 79569
705.51/707.89 c #Conflicts: 716000 | #Constraints: 80569
705.51/707.89 c #Conflicts: 717000 | #Constraints: 81569
705.51/707.89 c #Conflicts: 718000 | #Constraints: 82569
705.51/707.89 c #Conflicts: 719000 | #Constraints: 83569
705.51/707.89 c #Conflicts: 720000 | #Constraints: 84569
705.51/707.89 c #Conflicts: 721000 | #Constraints: 85569
705.51/707.89 c #Conflicts: 722000 | #Constraints: 86569
705.51/707.89 c #Conflicts: 723000 | #Constraints: 87569
705.51/707.89 c #Conflicts: 724000 | #Constraints: 88569
705.51/707.89 c #Conflicts: 725000 | #Constraints: 89569
705.51/707.89 c #Conflicts: 726000 | #Constraints: 90569
705.51/707.89 c #Conflicts: 727000 | #Constraints: 91569
705.51/707.89 c #Conflicts: 728000 | #Constraints: 92569
705.51/707.89 c #Conflicts: 729000 | #Constraints: 93569
705.51/707.89 c #Conflicts: 730000 | #Constraints: 94569
705.51/707.89 c #Conflicts: 731000 | #Constraints: 95569
705.51/707.89 c #Conflicts: 732000 | #Constraints: 96569
705.51/707.89 c #Conflicts: 733000 | #Constraints: 97569
705.51/707.89 c #Conflicts: 734000 | #Constraints: 98569
705.51/707.89 c #Conflicts: 735000 | #Constraints: 99569
705.51/707.89 c #Conflicts: 736000 | #Constraints: 100569
705.51/707.89 c #Conflicts: 737000 | #Constraints: 101569
705.51/707.89 c #Conflicts: 738000 | #Constraints: 102569
705.51/707.89 c #Conflicts: 739000 | #Constraints: 103569
705.51/707.89 c #Conflicts: 740000 | #Constraints: 104569
705.51/707.89 c #Conflicts: 741000 | #Constraints: 105569
705.51/707.89 c #Conflicts: 742000 | #Constraints: 106569
705.51/707.89 c #Conflicts: 743000 | #Constraints: 107569
705.51/707.89 c #Conflicts: 744000 | #Constraints: 108569
705.51/707.89 c #Conflicts: 745000 | #Constraints: 109569
705.51/707.89 c #Conflicts: 746000 | #Constraints: 110569
705.51/707.89 c #Conflicts: 747000 | #Constraints: 111569
705.51/707.89 c #Conflicts: 748000 | #Constraints: 112569
826.90/829.62 c #Conflicts: 749000 | #Constraints: 113569
826.90/829.62 c #Conflicts: 750000 | #Constraints: 114569
826.90/829.62 c #Conflicts: 751000 | #Constraints: 115569
826.90/829.62 c #Conflicts: 752000 | #Constraints: 116569
826.90/829.62 c #Conflicts: 753000 | #Constraints: 117569
826.90/829.62 c #Conflicts: 754000 | #Constraints: 118569
826.90/829.62 c #Conflicts: 755000 | #Constraints: 119569
826.90/829.62 c #Conflicts: 756000 | #Constraints: 120569
826.90/829.62 c #Conflicts: 757000 | #Constraints: 121569
826.90/829.62 c #Conflicts: 758000 | #Constraints: 122569
826.90/829.62 c #Conflicts: 759000 | #Constraints: 123569
826.90/829.62 c #Conflicts: 760000 | #Constraints: 124569
826.90/829.62 c #Conflicts: 761000 | #Constraints: 125569
826.90/829.62 c #Conflicts: 762000 | #Constraints: 126569
826.90/829.62 c #Conflicts: 763000 | #Constraints: 127569
826.90/829.62 c INPROCESSING
826.90/829.62 c GARBAGE COLLECT
826.90/829.62 c #Conflicts: 764000 | #Constraints: 85562
826.90/829.62 c #Conflicts: 765000 | #Constraints: 86562
826.90/829.62 c #Conflicts: 766000 | #Constraints: 87562
826.90/829.62 c #Conflicts: 767000 | #Constraints: 88562
826.90/829.62 c #Conflicts: 768000 | #Constraints: 89562
826.90/829.62 c #Conflicts: 769000 | #Constraints: 90562
826.90/829.62 c #Conflicts: 770000 | #Constraints: 91562
826.90/829.62 c #Conflicts: 771000 | #Constraints: 92562
826.90/829.62 c #Conflicts: 772000 | #Constraints: 93562
826.90/829.62 c #Conflicts: 773000 | #Constraints: 94562
826.90/829.62 c #Conflicts: 774000 | #Constraints: 95562
826.90/829.62 c #Conflicts: 775000 | #Constraints: 96562
826.90/829.62 c #Conflicts: 776000 | #Constraints: 97562
826.90/829.62 c #Conflicts: 777000 | #Constraints: 98562
826.90/829.62 c #Conflicts: 778000 | #Constraints: 99562
826.90/829.62 c #Conflicts: 779000 | #Constraints: 100562
826.90/829.62 c #Conflicts: 780000 | #Constraints: 101562
826.90/829.62 c #Conflicts: 781000 | #Constraints: 102562
826.90/829.62 c #Conflicts: 782000 | #Constraints: 103562
826.90/829.62 c #Conflicts: 783000 | #Constraints: 104562
826.90/829.62 c INPROCESSING
826.90/829.62 c GARBAGE COLLECT
826.90/829.62 c #Conflicts: 784000 | #Constraints: 74145
826.90/829.62 c #Conflicts: 785000 | #Constraints: 75145
826.90/829.62 c #Conflicts: 786000 | #Constraints: 76145
826.90/829.62 c #Conflicts: 787000 | #Constraints: 77145
826.90/829.62 c #Conflicts: 788000 | #Constraints: 78145
826.90/829.62 c #Conflicts: 789000 | #Constraints: 79145
826.90/829.62 c #Conflicts: 790000 | #Constraints: 80145
826.90/829.62 c #Conflicts: 791000 | #Constraints: 81145
826.90/829.62 c #Conflicts: 792000 | #Constraints: 82145
826.90/829.62 c #Conflicts: 793000 | #Constraints: 83145
826.90/829.62 c #Conflicts: 794000 | #Constraints: 84145
826.90/829.62 c #Conflicts: 795000 | #Constraints: 85145
826.90/829.62 c #Conflicts: 796000 | #Constraints: 86145
826.90/829.62 c #Conflicts: 797000 | #Constraints: 87145
826.90/829.62 c #Conflicts: 798000 | #Constraints: 88145
826.90/829.62 c #Conflicts: 799000 | #Constraints: 89145
826.90/829.62 c #Conflicts: 800000 | #Constraints: 90145
826.90/829.62 c #Conflicts: 801000 | #Constraints: 91145
826.90/829.62 c #Conflicts: 802000 | #Constraints: 92145
826.90/829.62 c #Conflicts: 803000 | #Constraints: 93145
826.90/829.62 c INPROCESSING
826.90/829.62 c GARBAGE COLLECT
826.90/829.62 c #Conflicts: 804000 | #Constraints: 68443
826.90/829.62 c #Conflicts: 805000 | #Constraints: 69443
826.90/829.62 c #Conflicts: 806000 | #Constraints: 70443
826.90/829.62 c #Conflicts: 807000 | #Constraints: 71443
826.90/829.62 c #Conflicts: 808000 | #Constraints: 72443
826.90/829.62 c #Conflicts: 809000 | #Constraints: 73443
826.90/829.62 c #Conflicts: 810000 | #Constraints: 74443
826.90/829.62 c #Conflicts: 811000 | #Constraints: 75443
826.90/829.62 c #Conflicts: 812000 | #Constraints: 76443
826.90/829.62 c #Conflicts: 813000 | #Constraints: 77443
826.90/829.62 c #Conflicts: 814000 | #Constraints: 78443
826.90/829.62 c #Conflicts: 815000 | #Constraints: 79443
826.90/829.62 c #Conflicts: 816000 | #Constraints: 80443
826.90/829.62 c #Conflicts: 817000 | #Constraints: 81443
826.90/829.62 c #Conflicts: 818000 | #Constraints: 82443
826.90/829.62 c #Conflicts: 819000 | #Constraints: 83443
826.90/829.62 c #Conflicts: 820000 | #Constraints: 84443
826.90/829.62 c #Conflicts: 821000 | #Constraints: 85443
826.90/829.62 c #Conflicts: 822000 | #Constraints: 86443
826.90/829.62 c #Conflicts: 823000 | #Constraints: 87443
826.90/829.62 c INPROCESSING
826.90/829.62 c GARBAGE COLLECT
826.90/829.62 c #Conflicts: 824000 | #Constraints: 65486
925.60/928.60 c #Conflicts: 825000 | #Constraints: 66486
925.60/928.60 c #Conflicts: 826000 | #Constraints: 67486
925.60/928.60 c #Conflicts: 827000 | #Constraints: 68486
925.60/928.60 c #Conflicts: 828000 | #Constraints: 69486
925.60/928.60 c #Conflicts: 829000 | #Constraints: 70486
925.60/928.60 c #Conflicts: 830000 | #Constraints: 71486
925.60/928.60 c #Conflicts: 831000 | #Constraints: 72486
925.60/928.60 c #Conflicts: 832000 | #Constraints: 73486
925.60/928.60 c #Conflicts: 833000 | #Constraints: 74486
925.60/928.60 c #Conflicts: 834000 | #Constraints: 75486
925.60/928.60 c #Conflicts: 835000 | #Constraints: 76486
925.60/928.60 c #Conflicts: 836000 | #Constraints: 77486
925.60/928.60 c #Conflicts: 837000 | #Constraints: 78486
925.60/928.60 c #Conflicts: 838000 | #Constraints: 79486
925.60/928.60 c #Conflicts: 839000 | #Constraints: 80486
925.60/928.60 c #Conflicts: 840000 | #Constraints: 81486
925.60/928.60 c #Conflicts: 841000 | #Constraints: 82486
925.60/928.60 c #Conflicts: 842000 | #Constraints: 83486
925.60/928.60 c #Conflicts: 843000 | #Constraints: 84486
925.60/928.60 c INPROCESSING
925.60/928.60 c GARBAGE COLLECT
925.60/928.60 c #Conflicts: 844000 | #Constraints: 63801
925.60/928.60 c #Conflicts: 845000 | #Constraints: 64801
925.60/928.60 c #Conflicts: 846000 | #Constraints: 65801
925.60/928.60 c #Conflicts: 847000 | #Constraints: 66801
925.60/928.60 c #Conflicts: 848000 | #Constraints: 67801
925.60/928.60 c #Conflicts: 849000 | #Constraints: 68801
925.60/928.60 c #Conflicts: 850000 | #Constraints: 69801
925.60/928.60 c #Conflicts: 851000 | #Constraints: 70801
925.60/928.60 c #Conflicts: 852000 | #Constraints: 71801
925.60/928.60 c #Conflicts: 853000 | #Constraints: 72801
925.60/928.60 c #Conflicts: 854000 | #Constraints: 73801
925.60/928.60 c #Conflicts: 855000 | #Constraints: 74801
925.60/928.60 c #Conflicts: 856000 | #Constraints: 75801
925.60/928.60 c #Conflicts: 857000 | #Constraints: 76801
925.60/928.60 c #Conflicts: 858000 | #Constraints: 77801
925.60/928.60 c #Conflicts: 859000 | #Constraints: 78801
925.60/928.60 c #Conflicts: 860000 | #Constraints: 79801
925.60/928.60 c #Conflicts: 861000 | #Constraints: 80801
925.60/928.60 c #Conflicts: 862000 | #Constraints: 81801
925.60/928.60 c #Conflicts: 863000 | #Constraints: 82801
925.60/928.60 c #Conflicts: 864000 | #Constraints: 83801
925.60/928.60 c #Conflicts: 865000 | #Constraints: 84801
925.60/928.60 c #Conflicts: 866000 | #Constraints: 85801
925.60/928.60 c #Conflicts: 867000 | #Constraints: 86801
925.60/928.60 c #Conflicts: 868000 | #Constraints: 87801
925.60/928.60 c #Conflicts: 869000 | #Constraints: 88801
925.60/928.60 c #Conflicts: 870000 | #Constraints: 89801
925.60/928.60 c #Conflicts: 871000 | #Constraints: 90801
925.60/928.60 c #Conflicts: 872000 | #Constraints: 91801
925.60/928.60 c #Conflicts: 873000 | #Constraints: 92801
925.60/928.60 c #Conflicts: 874000 | #Constraints: 93801
925.60/928.60 c #Conflicts: 875000 | #Constraints: 94801
925.60/928.60 c #Conflicts: 876000 | #Constraints: 95801
925.60/928.60 c #Conflicts: 877000 | #Constraints: 96801
925.60/928.60 c #Conflicts: 878000 | #Constraints: 97801
925.60/928.60 c #Conflicts: 879000 | #Constraints: 98801
925.60/928.60 c #Conflicts: 880000 | #Constraints: 99801
925.60/928.60 c #Conflicts: 881000 | #Constraints: 100801
925.60/928.60 c #Conflicts: 882000 | #Constraints: 101801
925.60/928.60 c #Conflicts: 883000 | #Constraints: 102801
925.60/928.60 c #Conflicts: 884000 | #Constraints: 103801
925.60/928.60 c #Conflicts: 885000 | #Constraints: 104801
925.60/928.60 c #Conflicts: 886000 | #Constraints: 105801
925.60/928.60 c #Conflicts: 887000 | #Constraints: 106801
925.60/928.60 c #Conflicts: 888000 | #Constraints: 107801
925.60/928.60 c #Conflicts: 889000 | #Constraints: 108801
925.60/928.60 c #Conflicts: 890000 | #Constraints: 109801
925.60/928.60 c #Conflicts: 891000 | #Constraints: 110801
925.60/928.60 c #Conflicts: 892000 | #Constraints: 111801
925.60/928.60 c #Conflicts: 893000 | #Constraints: 112801
925.60/928.60 c #Conflicts: 894000 | #Constraints: 113801
925.60/928.60 c #Conflicts: 895000 | #Constraints: 114801
925.60/928.60 c #Conflicts: 896000 | #Constraints: 115801
925.60/928.60 c #Conflicts: 897000 | #Constraints: 116801
925.60/928.60 c #Conflicts: 898000 | #Constraints: 117801
925.60/928.60 c #Conflicts: 899000 | #Constraints: 118801
925.60/928.60 c #Conflicts: 900000 | #Constraints: 119801
925.60/928.60 c #Conflicts: 901000 | #Constraints: 120801
925.60/928.60 c #Conflicts: 902000 | #Constraints: 121801
1062.77/1066.26 c #Conflicts: 903000 | #Constraints: 122801
1062.77/1066.26 c #Conflicts: 904000 | #Constraints: 123801
1062.77/1066.26 c #Conflicts: 905000 | #Constraints: 124801
1062.77/1066.26 c #Conflicts: 906000 | #Constraints: 125801
1062.77/1066.26 c #Conflicts: 907000 | #Constraints: 126801
1062.77/1066.26 c #Conflicts: 908000 | #Constraints: 127801
1062.77/1066.26 c #Conflicts: 909000 | #Constraints: 128801
1062.77/1066.26 c #Conflicts: 910000 | #Constraints: 129801
1062.77/1066.26 c #Conflicts: 911000 | #Constraints: 130801
1062.77/1066.26 c #Conflicts: 912000 | #Constraints: 131801
1062.77/1066.26 c #Conflicts: 913000 | #Constraints: 132801
1062.77/1066.26 c #Conflicts: 914000 | #Constraints: 133801
1062.77/1066.26 c #Conflicts: 915000 | #Constraints: 134801
1062.77/1066.26 c #Conflicts: 916000 | #Constraints: 135801
1062.77/1066.26 c INPROCESSING
1062.77/1066.26 c GARBAGE COLLECT
1062.77/1066.26 c #Conflicts: 917000 | #Constraints: 89570
1062.77/1066.26 c #Conflicts: 918000 | #Constraints: 90570
1062.77/1066.26 c #Conflicts: 919000 | #Constraints: 91570
1062.77/1066.26 c #Conflicts: 920000 | #Constraints: 92570
1062.77/1066.26 c #Conflicts: 921000 | #Constraints: 93570
1062.77/1066.26 c #Conflicts: 922000 | #Constraints: 94570
1062.77/1066.26 c #Conflicts: 923000 | #Constraints: 95570
1062.77/1066.26 c #Conflicts: 924000 | #Constraints: 96570
1062.77/1066.26 c #Conflicts: 925000 | #Constraints: 97570
1062.77/1066.26 c #Conflicts: 926000 | #Constraints: 98570
1062.77/1066.26 c #Conflicts: 927000 | #Constraints: 99570
1062.77/1066.26 c #Conflicts: 928000 | #Constraints: 100570
1062.77/1066.26 c #Conflicts: 929000 | #Constraints: 101570
1062.77/1066.26 c #Conflicts: 930000 | #Constraints: 102570
1062.77/1066.26 c #Conflicts: 931000 | #Constraints: 103570
1062.77/1066.26 c #Conflicts: 932000 | #Constraints: 104570
1062.77/1066.26 c #Conflicts: 933000 | #Constraints: 105570
1062.77/1066.26 c #Conflicts: 934000 | #Constraints: 106570
1062.77/1066.26 c #Conflicts: 935000 | #Constraints: 107570
1062.77/1066.26 c #Conflicts: 936000 | #Constraints: 108570
1062.77/1066.26 c #Conflicts: 937000 | #Constraints: 109570
1062.77/1066.26 c #Conflicts: 938000 | #Constraints: 110570
1062.77/1066.26 c INPROCESSING
1062.77/1066.26 c GARBAGE COLLECT
1062.77/1066.26 c #Conflicts: 939000 | #Constraints: 77099
1062.77/1066.26 c #Conflicts: 940000 | #Constraints: 78099
1062.77/1066.26 c #Conflicts: 941000 | #Constraints: 79099
1062.77/1066.26 c #Conflicts: 942000 | #Constraints: 80099
1062.77/1066.26 c #Conflicts: 943000 | #Constraints: 81099
1062.77/1066.26 c #Conflicts: 944000 | #Constraints: 82099
1062.77/1066.26 c #Conflicts: 945000 | #Constraints: 83099
1062.77/1066.26 c #Conflicts: 946000 | #Constraints: 84099
1062.77/1066.26 c #Conflicts: 947000 | #Constraints: 85099
1062.77/1066.26 c #Conflicts: 948000 | #Constraints: 86099
1062.77/1066.26 c #Conflicts: 949000 | #Constraints: 87099
1062.77/1066.26 c #Conflicts: 950000 | #Constraints: 88099
1062.77/1066.26 c #Conflicts: 951000 | #Constraints: 89099
1062.77/1066.26 c #Conflicts: 952000 | #Constraints: 90099
1062.77/1066.26 c #Conflicts: 953000 | #Constraints: 91099
1062.77/1066.26 c #Conflicts: 954000 | #Constraints: 92099
1062.77/1066.26 c #Conflicts: 955000 | #Constraints: 93099
1062.77/1066.26 c #Conflicts: 956000 | #Constraints: 94099
1062.77/1066.26 c #Conflicts: 957000 | #Constraints: 95099
1062.77/1066.26 c #Conflicts: 958000 | #Constraints: 96099
1062.77/1066.26 c #Conflicts: 959000 | #Constraints: 97099
1062.77/1066.26 c #Conflicts: 960000 | #Constraints: 98099
1062.77/1066.26 c INPROCESSING
1062.77/1066.26 c GARBAGE COLLECT
1062.77/1066.26 c #Conflicts: 961000 | #Constraints: 70939
1062.77/1066.26 c #Conflicts: 962000 | #Constraints: 71939
1062.77/1066.26 c #Conflicts: 963000 | #Constraints: 72939
1062.77/1066.26 c #Conflicts: 964000 | #Constraints: 73939
1062.77/1066.26 c #Conflicts: 965000 | #Constraints: 74939
1062.77/1066.26 c #Conflicts: 966000 | #Constraints: 75939
1062.77/1066.26 c #Conflicts: 967000 | #Constraints: 76939
1062.77/1066.26 c #Conflicts: 968000 | #Constraints: 77939
1062.77/1066.26 c #Conflicts: 969000 | #Constraints: 78939
1062.77/1066.26 c #Conflicts: 970000 | #Constraints: 79939
1062.77/1066.26 c #Conflicts: 971000 | #Constraints: 80939
1062.77/1066.26 c #Conflicts: 972000 | #Constraints: 81939
1062.77/1066.26 c #Conflicts: 973000 | #Constraints: 82939
1062.77/1066.26 c #Conflicts: 974000 | #Constraints: 83939
1062.77/1066.26 c #Conflicts: 975000 | #Constraints: 84939
1062.77/1066.26 c #Conflicts: 976000 | #Constraints: 85939
1062.77/1066.26 c #Conflicts: 977000 | #Constraints: 86939
1062.77/1066.26 c #Conflicts: 978000 | #Constraints: 87939
1062.77/1066.26 c #Conflicts: 979000 | #Constraints: 88939
1160.56/1164.36 c #Conflicts: 980000 | #Constraints: 89939
1160.56/1164.36 c #Conflicts: 981000 | #Constraints: 90939
1160.56/1164.36 c #Conflicts: 982000 | #Constraints: 91939
1160.56/1164.36 c INPROCESSING
1160.56/1164.36 c GARBAGE COLLECT
1160.56/1164.36 c #Conflicts: 983000 | #Constraints: 67774
1160.56/1164.36 c #Conflicts: 984000 | #Constraints: 68774
1160.56/1164.36 c #Conflicts: 985000 | #Constraints: 69774
1160.56/1164.36 c #Conflicts: 986000 | #Constraints: 70774
1160.56/1164.36 c #Conflicts: 987000 | #Constraints: 71774
1160.56/1164.36 c #Conflicts: 988000 | #Constraints: 72774
1160.56/1164.36 c #Conflicts: 989000 | #Constraints: 73774
1160.56/1164.36 c #Conflicts: 990000 | #Constraints: 74774
1160.56/1164.36 c #Conflicts: 991000 | #Constraints: 75774
1160.56/1164.36 c #Conflicts: 992000 | #Constraints: 76774
1160.56/1164.36 c #Conflicts: 993000 | #Constraints: 77774
1160.56/1164.36 c #Conflicts: 994000 | #Constraints: 78774
1160.56/1164.36 c #Conflicts: 995000 | #Constraints: 79774
1160.56/1164.36 c #Conflicts: 996000 | #Constraints: 80774
1160.56/1164.36 c #Conflicts: 997000 | #Constraints: 81774
1160.56/1164.36 c #Conflicts: 998000 | #Constraints: 82774
1160.56/1164.36 c #Conflicts: 999000 | #Constraints: 83774
1160.56/1164.36 c #Conflicts: 1000000 | #Constraints: 84774
1160.56/1164.36 c #Conflicts: 1001000 | #Constraints: 85774
1160.56/1164.36 c #Conflicts: 1002000 | #Constraints: 86774
1160.56/1164.36 c #Conflicts: 1003000 | #Constraints: 87774
1160.56/1164.36 c #Conflicts: 1004000 | #Constraints: 88774
1160.56/1164.36 c INPROCESSING
1160.56/1164.36 c GARBAGE COLLECT
1160.56/1164.36 c #Conflicts: 1005000 | #Constraints: 66054
1160.56/1164.36 c #Conflicts: 1006000 | #Constraints: 67054
1160.56/1164.36 c #Conflicts: 1007000 | #Constraints: 68054
1160.56/1164.36 c #Conflicts: 1008000 | #Constraints: 69054
1160.56/1164.36 c #Conflicts: 1009000 | #Constraints: 70054
1160.56/1164.36 c #Conflicts: 1010000 | #Constraints: 71054
1160.56/1164.36 c #Conflicts: 1011000 | #Constraints: 72054
1160.56/1164.36 c #Conflicts: 1012000 | #Constraints: 73054
1160.56/1164.36 c #Conflicts: 1013000 | #Constraints: 74054
1160.56/1164.36 c #Conflicts: 1014000 | #Constraints: 75054
1160.56/1164.36 c #Conflicts: 1015000 | #Constraints: 76054
1160.56/1164.36 c #Conflicts: 1016000 | #Constraints: 77054
1160.56/1164.36 c #Conflicts: 1017000 | #Constraints: 78054
1160.56/1164.36 c #Conflicts: 1018000 | #Constraints: 79054
1160.56/1164.36 c #Conflicts: 1019000 | #Constraints: 80054
1160.56/1164.36 c #Conflicts: 1020000 | #Constraints: 81054
1160.56/1164.36 c #Conflicts: 1021000 | #Constraints: 82054
1160.56/1164.36 c #Conflicts: 1022000 | #Constraints: 83054
1160.56/1164.36 c #Conflicts: 1023000 | #Constraints: 84054
1160.56/1164.36 c #Conflicts: 1024000 | #Constraints: 85054
1160.56/1164.36 c #Conflicts: 1025000 | #Constraints: 86054
1160.56/1164.36 c #Conflicts: 1026000 | #Constraints: 87054
1160.56/1164.36 c #Conflicts: 1027000 | #Constraints: 88054
1160.56/1164.36 c #Conflicts: 1028000 | #Constraints: 89054
1160.56/1164.36 c #Conflicts: 1029000 | #Constraints: 90054
1160.56/1164.36 c #Conflicts: 1030000 | #Constraints: 91054
1160.56/1164.36 c #Conflicts: 1031000 | #Constraints: 92054
1160.56/1164.36 c #Conflicts: 1032000 | #Constraints: 93054
1160.56/1164.36 c #Conflicts: 1033000 | #Constraints: 94054
1160.56/1164.36 c #Conflicts: 1034000 | #Constraints: 95054
1160.56/1164.36 c #Conflicts: 1035000 | #Constraints: 96054
1160.56/1164.36 c #Conflicts: 1036000 | #Constraints: 97054
1160.56/1164.36 c #Conflicts: 1037000 | #Constraints: 98054
1160.56/1164.36 c #Conflicts: 1038000 | #Constraints: 99054
1160.56/1164.36 c #Conflicts: 1039000 | #Constraints: 100054
1160.56/1164.36 c #Conflicts: 1040000 | #Constraints: 101054
1160.56/1164.36 c #Conflicts: 1041000 | #Constraints: 102054
1160.56/1164.36 c #Conflicts: 1042000 | #Constraints: 103054
1160.56/1164.36 c #Conflicts: 1043000 | #Constraints: 104054
1160.56/1164.36 c #Conflicts: 1044000 | #Constraints: 105054
1160.56/1164.36 c #Conflicts: 1045000 | #Constraints: 106054
1160.56/1164.36 c #Conflicts: 1046000 | #Constraints: 107054
1160.56/1164.36 c #Conflicts: 1047000 | #Constraints: 108054
1160.56/1164.36 c #Conflicts: 1048000 | #Constraints: 109054
1160.56/1164.36 c #Conflicts: 1049000 | #Constraints: 110054
1160.56/1164.36 c #Conflicts: 1050000 | #Constraints: 111054
1160.56/1164.36 c #Conflicts: 1051000 | #Constraints: 112054
1160.56/1164.36 c #Conflicts: 1052000 | #Constraints: 113054
1160.56/1164.36 c #Conflicts: 1053000 | #Constraints: 114054
1160.56/1164.36 c #Conflicts: 1054000 | #Constraints: 115054
1160.56/1164.36 c #Conflicts: 1055000 | #Constraints: 116054
1160.56/1164.36 c #Conflicts: 1056000 | #Constraints: 117054
1160.56/1164.36 c #Conflicts: 1057000 | #Constraints: 118054
1318.77/1323.06 c #Conflicts: 1058000 | #Constraints: 119054
1318.77/1323.06 c #Conflicts: 1059000 | #Constraints: 120054
1318.77/1323.06 c #Conflicts: 1060000 | #Constraints: 121054
1318.77/1323.06 c #Conflicts: 1061000 | #Constraints: 122054
1318.77/1323.06 c #Conflicts: 1062000 | #Constraints: 123054
1318.77/1323.06 c #Conflicts: 1063000 | #Constraints: 124054
1318.77/1323.06 c #Conflicts: 1064000 | #Constraints: 125054
1318.77/1323.06 c #Conflicts: 1065000 | #Constraints: 126054
1318.77/1323.06 c #Conflicts: 1066000 | #Constraints: 127054
1318.77/1323.06 c #Conflicts: 1067000 | #Constraints: 128054
1318.77/1323.06 c #Conflicts: 1068000 | #Constraints: 129054
1318.77/1323.06 c #Conflicts: 1069000 | #Constraints: 130054
1318.77/1323.06 c #Conflicts: 1070000 | #Constraints: 131054
1318.77/1323.06 c #Conflicts: 1071000 | #Constraints: 132054
1318.77/1323.06 c #Conflicts: 1072000 | #Constraints: 133054
1318.77/1323.06 c #Conflicts: 1073000 | #Constraints: 134054
1318.77/1323.06 c #Conflicts: 1074000 | #Constraints: 135054
1318.77/1323.06 c #Conflicts: 1075000 | #Constraints: 136054
1318.77/1323.06 c #Conflicts: 1076000 | #Constraints: 137054
1318.77/1323.06 c #Conflicts: 1077000 | #Constraints: 138054
1318.77/1323.06 c #Conflicts: 1078000 | #Constraints: 139054
1318.77/1323.06 c #Conflicts: 1079000 | #Constraints: 140054
1318.77/1323.06 c #Conflicts: 1080000 | #Constraints: 141054
1318.77/1323.06 c #Conflicts: 1081000 | #Constraints: 142054
1318.77/1323.06 c #Conflicts: 1082000 | #Constraints: 143054
1318.77/1323.06 c #Conflicts: 1083000 | #Constraints: 144054
1318.77/1323.06 c INPROCESSING
1318.77/1323.06 c GARBAGE COLLECT
1318.77/1323.06 c #Conflicts: 1084000 | #Constraints: 93597
1318.77/1323.06 c #Conflicts: 1085000 | #Constraints: 94597
1318.77/1323.06 c #Conflicts: 1086000 | #Constraints: 95597
1318.77/1323.06 c #Conflicts: 1087000 | #Constraints: 96597
1318.77/1323.06 c #Conflicts: 1088000 | #Constraints: 97597
1318.77/1323.06 c #Conflicts: 1089000 | #Constraints: 98597
1318.77/1323.06 c #Conflicts: 1090000 | #Constraints: 99597
1318.77/1323.06 c #Conflicts: 1091000 | #Constraints: 100597
1318.77/1323.06 c #Conflicts: 1092000 | #Constraints: 101597
1318.77/1323.06 c #Conflicts: 1093000 | #Constraints: 102597
1318.77/1323.06 c #Conflicts: 1094000 | #Constraints: 103597
1318.77/1323.06 c #Conflicts: 1095000 | #Constraints: 104597
1318.77/1323.06 c #Conflicts: 1096000 | #Constraints: 105597
1318.77/1323.06 c #Conflicts: 1097000 | #Constraints: 106597
1318.77/1323.06 c #Conflicts: 1098000 | #Constraints: 107597
1318.77/1323.06 c #Conflicts: 1099000 | #Constraints: 108597
1318.77/1323.06 c #Conflicts: 1100000 | #Constraints: 109597
1318.77/1323.06 c #Conflicts: 1101000 | #Constraints: 110597
1318.77/1323.06 c #Conflicts: 1102000 | #Constraints: 111597
1318.77/1323.06 c #Conflicts: 1103000 | #Constraints: 112597
1318.77/1323.06 c #Conflicts: 1104000 | #Constraints: 113597
1318.77/1323.06 c #Conflicts: 1105000 | #Constraints: 114597
1318.77/1323.06 c #Conflicts: 1106000 | #Constraints: 115597
1318.77/1323.06 c #Conflicts: 1107000 | #Constraints: 116597
1318.77/1323.06 c INPROCESSING
1318.77/1323.06 c GARBAGE COLLECT
1318.77/1323.06 c #Conflicts: 1108000 | #Constraints: 80071
1318.77/1323.06 c #Conflicts: 1109000 | #Constraints: 81071
1318.77/1323.06 c #Conflicts: 1110000 | #Constraints: 82071
1318.77/1323.06 c #Conflicts: 1111000 | #Constraints: 83071
1318.77/1323.06 c #Conflicts: 1112000 | #Constraints: 84071
1318.77/1323.06 c #Conflicts: 1113000 | #Constraints: 85071
1318.77/1323.06 c #Conflicts: 1114000 | #Constraints: 86071
1318.77/1323.06 c #Conflicts: 1115000 | #Constraints: 87071
1318.77/1323.06 c #Conflicts: 1116000 | #Constraints: 88071
1318.77/1323.06 c #Conflicts: 1117000 | #Constraints: 89071
1318.77/1323.06 c #Conflicts: 1118000 | #Constraints: 90071
1318.77/1323.06 c #Conflicts: 1119000 | #Constraints: 91071
1318.77/1323.06 c #Conflicts: 1120000 | #Constraints: 92071
1318.77/1323.06 c #Conflicts: 1121000 | #Constraints: 93071
1318.77/1323.06 c #Conflicts: 1122000 | #Constraints: 94071
1318.77/1323.06 c #Conflicts: 1123000 | #Constraints: 95071
1318.77/1323.06 c #Conflicts: 1124000 | #Constraints: 96071
1318.77/1323.06 c #Conflicts: 1125000 | #Constraints: 97071
1318.77/1323.06 c #Conflicts: 1126000 | #Constraints: 98071
1318.77/1323.06 c #Conflicts: 1127000 | #Constraints: 99071
1318.77/1323.06 c #Conflicts: 1128000 | #Constraints: 100071
1318.77/1323.06 c #Conflicts: 1129000 | #Constraints: 101071
1318.77/1323.06 c #Conflicts: 1130000 | #Constraints: 102071
1318.77/1323.06 c #Conflicts: 1131000 | #Constraints: 103071
1318.77/1323.06 c INPROCESSING
1318.77/1323.06 c GARBAGE COLLECT
1318.77/1323.06 c #Conflicts: 1132000 | #Constraints: 73407
1318.77/1323.06 c #Conflicts: 1133000 | #Constraints: 74407
1318.77/1323.06 c #Conflicts: 1134000 | #Constraints: 75407
1413.67/1418.29 c #Conflicts: 1135000 | #Constraints: 76407
1413.67/1418.29 c #Conflicts: 1136000 | #Constraints: 77407
1413.67/1418.29 c #Conflicts: 1137000 | #Constraints: 78407
1413.67/1418.29 c #Conflicts: 1138000 | #Constraints: 79407
1413.67/1418.29 c #Conflicts: 1139000 | #Constraints: 80407
1413.67/1418.29 c #Conflicts: 1140000 | #Constraints: 81407
1413.67/1418.29 c #Conflicts: 1141000 | #Constraints: 82407
1413.67/1418.29 c #Conflicts: 1142000 | #Constraints: 83407
1413.67/1418.29 c #Conflicts: 1143000 | #Constraints: 84407
1413.67/1418.29 c #Conflicts: 1144000 | #Constraints: 85407
1413.67/1418.29 c #Conflicts: 1145000 | #Constraints: 86407
1413.67/1418.29 c #Conflicts: 1146000 | #Constraints: 87407
1413.67/1418.29 c #Conflicts: 1147000 | #Constraints: 88407
1413.67/1418.29 c #Conflicts: 1148000 | #Constraints: 89407
1413.67/1418.29 c #Conflicts: 1149000 | #Constraints: 90407
1413.67/1418.29 c #Conflicts: 1150000 | #Constraints: 91407
1413.67/1418.29 c #Conflicts: 1151000 | #Constraints: 92407
1413.67/1418.29 c #Conflicts: 1152000 | #Constraints: 93407
1413.67/1418.29 c #Conflicts: 1153000 | #Constraints: 94407
1413.67/1418.29 c #Conflicts: 1154000 | #Constraints: 95407
1413.67/1418.29 c #Conflicts: 1155000 | #Constraints: 96407
1413.67/1418.29 c INPROCESSING
1413.67/1418.29 c GARBAGE COLLECT
1413.67/1418.29 c #Conflicts: 1156000 | #Constraints: 70067
1413.67/1418.29 c #Conflicts: 1157000 | #Constraints: 71067
1413.67/1418.29 c #Conflicts: 1158000 | #Constraints: 72067
1413.67/1418.29 c #Conflicts: 1159000 | #Constraints: 73067
1413.67/1418.29 c #Conflicts: 1160000 | #Constraints: 74067
1413.67/1418.29 c #Conflicts: 1161000 | #Constraints: 75067
1413.67/1418.29 c #Conflicts: 1162000 | #Constraints: 76067
1413.67/1418.29 c #Conflicts: 1163000 | #Constraints: 77067
1413.67/1418.29 c #Conflicts: 1164000 | #Constraints: 78067
1413.67/1418.29 c #Conflicts: 1165000 | #Constraints: 79067
1413.67/1418.29 c #Conflicts: 1166000 | #Constraints: 80067
1413.67/1418.29 c #Conflicts: 1167000 | #Constraints: 81067
1413.67/1418.29 c #Conflicts: 1168000 | #Constraints: 82067
1413.67/1418.29 c #Conflicts: 1169000 | #Constraints: 83067
1413.67/1418.29 c #Conflicts: 1170000 | #Constraints: 84067
1413.67/1418.29 c #Conflicts: 1171000 | #Constraints: 85067
1413.67/1418.29 c #Conflicts: 1172000 | #Constraints: 86067
1413.67/1418.29 c #Conflicts: 1173000 | #Constraints: 87067
1413.67/1418.29 c #Conflicts: 1174000 | #Constraints: 88067
1413.67/1418.29 c #Conflicts: 1175000 | #Constraints: 89067
1413.67/1418.29 c #Conflicts: 1176000 | #Constraints: 90067
1413.67/1418.29 c #Conflicts: 1177000 | #Constraints: 91067
1413.67/1418.29 c #Conflicts: 1178000 | #Constraints: 92067
1413.67/1418.29 c #Conflicts: 1179000 | #Constraints: 93067
1413.67/1418.29 c INPROCESSING
1413.67/1418.29 c GARBAGE COLLECT
1413.67/1418.29 c #Conflicts: 1180000 | #Constraints: 68295
1413.67/1418.29 c #Conflicts: 1181000 | #Constraints: 69295
1413.67/1418.29 c #Conflicts: 1182000 | #Constraints: 70295
1413.67/1418.29 c #Conflicts: 1183000 | #Constraints: 71295
1413.67/1418.29 c #Conflicts: 1184000 | #Constraints: 72295
1413.67/1418.29 c #Conflicts: 1185000 | #Constraints: 73295
1413.67/1418.29 c #Conflicts: 1186000 | #Constraints: 74295
1413.67/1418.29 c #Conflicts: 1187000 | #Constraints: 75295
1413.67/1418.29 c #Conflicts: 1188000 | #Constraints: 76295
1413.67/1418.29 c #Conflicts: 1189000 | #Constraints: 77295
1413.67/1418.29 c #Conflicts: 1190000 | #Constraints: 78295
1413.67/1418.29 c #Conflicts: 1191000 | #Constraints: 79295
1413.67/1418.29 c #Conflicts: 1192000 | #Constraints: 80295
1413.67/1418.29 c #Conflicts: 1193000 | #Constraints: 81295
1413.67/1418.29 c #Conflicts: 1194000 | #Constraints: 82295
1413.67/1418.29 c #Conflicts: 1195000 | #Constraints: 83295
1413.67/1418.29 c #Conflicts: 1196000 | #Constraints: 84295
1413.67/1418.29 c #Conflicts: 1197000 | #Constraints: 85295
1413.67/1418.29 c #Conflicts: 1198000 | #Constraints: 86295
1413.67/1418.29 c #Conflicts: 1199000 | #Constraints: 87295
1413.67/1418.29 c #Conflicts: 1200000 | #Constraints: 88295
1413.67/1418.29 c #Conflicts: 1201000 | #Constraints: 89295
1413.67/1418.29 c #Conflicts: 1202000 | #Constraints: 90295
1413.67/1418.29 c #Conflicts: 1203000 | #Constraints: 91295
1413.67/1418.29 c #Conflicts: 1204000 | #Constraints: 92295
1413.67/1418.29 c #Conflicts: 1205000 | #Constraints: 93295
1413.67/1418.29 c #Conflicts: 1206000 | #Constraints: 94295
1413.67/1418.29 c #Conflicts: 1207000 | #Constraints: 95295
1413.67/1418.29 c #Conflicts: 1208000 | #Constraints: 96295
1413.67/1418.29 c #Conflicts: 1209000 | #Constraints: 97295
1413.67/1418.29 c #Conflicts: 1210000 | #Constraints: 98295
1413.67/1418.29 c #Conflicts: 1211000 | #Constraints: 99295
1610.86/1616.10 c #Conflicts: 1212000 | #Constraints: 100295
1610.86/1616.10 c #Conflicts: 1213000 | #Constraints: 101295
1610.86/1616.10 c #Conflicts: 1214000 | #Constraints: 102295
1610.86/1616.10 c #Conflicts: 1215000 | #Constraints: 103295
1610.86/1616.10 c #Conflicts: 1216000 | #Constraints: 104295
1610.86/1616.10 c #Conflicts: 1217000 | #Constraints: 105295
1610.86/1616.10 c #Conflicts: 1218000 | #Constraints: 106295
1610.86/1616.10 c #Conflicts: 1219000 | #Constraints: 107295
1610.86/1616.10 c #Conflicts: 1220000 | #Constraints: 108295
1610.86/1616.10 c #Conflicts: 1221000 | #Constraints: 109295
1610.86/1616.10 c #Conflicts: 1222000 | #Constraints: 110295
1610.86/1616.10 c #Conflicts: 1223000 | #Constraints: 111295
1610.86/1616.10 c #Conflicts: 1224000 | #Constraints: 112295
1610.86/1616.10 c #Conflicts: 1225000 | #Constraints: 113295
1610.86/1616.10 c #Conflicts: 1226000 | #Constraints: 114295
1610.86/1616.10 c #Conflicts: 1227000 | #Constraints: 115295
1610.86/1616.10 c #Conflicts: 1228000 | #Constraints: 116295
1610.86/1616.10 c #Conflicts: 1229000 | #Constraints: 117295
1610.86/1616.10 c #Conflicts: 1230000 | #Constraints: 118295
1610.86/1616.10 c #Conflicts: 1231000 | #Constraints: 119295
1610.86/1616.10 c #Conflicts: 1232000 | #Constraints: 120295
1610.86/1616.10 c #Conflicts: 1233000 | #Constraints: 121295
1610.86/1616.10 c #Conflicts: 1234000 | #Constraints: 122295
1610.86/1616.10 c #Conflicts: 1235000 | #Constraints: 123295
1610.86/1616.10 c #Conflicts: 1236000 | #Constraints: 124295
1610.86/1616.10 c #Conflicts: 1237000 | #Constraints: 125295
1610.86/1616.10 c #Conflicts: 1238000 | #Constraints: 126295
1610.86/1616.10 c #Conflicts: 1239000 | #Constraints: 127295
1610.86/1616.10 c #Conflicts: 1240000 | #Constraints: 128295
1610.86/1616.10 c #Conflicts: 1241000 | #Constraints: 129295
1610.86/1616.10 c #Conflicts: 1242000 | #Constraints: 130295
1610.86/1616.10 c #Conflicts: 1243000 | #Constraints: 131295
1610.86/1616.10 c #Conflicts: 1244000 | #Constraints: 132295
1610.86/1616.10 c #Conflicts: 1245000 | #Constraints: 133295
1610.86/1616.10 c #Conflicts: 1246000 | #Constraints: 134295
1610.86/1616.10 c #Conflicts: 1247000 | #Constraints: 135295
1610.86/1616.10 c #Conflicts: 1248000 | #Constraints: 136295
1610.86/1616.10 c #Conflicts: 1249000 | #Constraints: 137295
1610.86/1616.10 c #Conflicts: 1250000 | #Constraints: 138295
1610.86/1616.10 c #Conflicts: 1251000 | #Constraints: 139295
1610.86/1616.10 c #Conflicts: 1252000 | #Constraints: 140295
1610.86/1616.10 c #Conflicts: 1253000 | #Constraints: 141295
1610.86/1616.10 c #Conflicts: 1254000 | #Constraints: 142295
1610.86/1616.10 c #Conflicts: 1255000 | #Constraints: 143295
1610.86/1616.10 c #Conflicts: 1256000 | #Constraints: 144295
1610.86/1616.10 c #Conflicts: 1257000 | #Constraints: 145295
1610.86/1616.10 c #Conflicts: 1258000 | #Constraints: 146295
1610.86/1616.10 c #Conflicts: 1259000 | #Constraints: 147295
1610.86/1616.10 c #Conflicts: 1260000 | #Constraints: 148295
1610.86/1616.10 c #Conflicts: 1261000 | #Constraints: 149295
1610.86/1616.10 c #Conflicts: 1262000 | #Constraints: 150295
1610.86/1616.10 c #Conflicts: 1263000 | #Constraints: 151295
1610.86/1616.10 c #Conflicts: 1264000 | #Constraints: 152295
1610.86/1616.10 c INPROCESSING
1610.86/1616.10 c GARBAGE COLLECT
1610.86/1616.10 c #Conflicts: 1265000 | #Constraints: 97623
1610.86/1616.10 c #Conflicts: 1266000 | #Constraints: 98623
1610.86/1616.10 c #Conflicts: 1267000 | #Constraints: 99623
1610.86/1616.10 c #Conflicts: 1268000 | #Constraints: 100623
1610.86/1616.10 c #Conflicts: 1269000 | #Constraints: 101623
1610.86/1616.10 c #Conflicts: 1270000 | #Constraints: 102623
1610.86/1616.10 c #Conflicts: 1271000 | #Constraints: 103623
1610.86/1616.10 c #Conflicts: 1272000 | #Constraints: 104623
1610.86/1616.10 c #Conflicts: 1273000 | #Constraints: 105623
1610.86/1616.10 c #Conflicts: 1274000 | #Constraints: 106623
1610.86/1616.10 c #Conflicts: 1275000 | #Constraints: 107623
1610.86/1616.10 c #Conflicts: 1276000 | #Constraints: 108623
1610.86/1616.10 c #Conflicts: 1277000 | #Constraints: 109623
1610.86/1616.10 c #Conflicts: 1278000 | #Constraints: 110623
1610.86/1616.10 c #Conflicts: 1279000 | #Constraints: 111623
1610.86/1616.10 c #Conflicts: 1280000 | #Constraints: 112623
1610.86/1616.10 c #Conflicts: 1281000 | #Constraints: 113623
1610.86/1616.10 c #Conflicts: 1282000 | #Constraints: 114623
1610.86/1616.10 c #Conflicts: 1283000 | #Constraints: 115623
1610.86/1616.10 c #Conflicts: 1284000 | #Constraints: 116623
1610.86/1616.10 c #Conflicts: 1285000 | #Constraints: 117623
1610.86/1616.10 c #Conflicts: 1286000 | #Constraints: 118623
1610.86/1616.10 c #Conflicts: 1287000 | #Constraints: 119623
1610.86/1616.10 c #Conflicts: 1288000 | #Constraints: 120623
1610.86/1616.10 c #Conflicts: 1289000 | #Constraints: 121623
1731.57/1737.14 c #Conflicts: 1290000 | #Constraints: 122623
1731.57/1737.14 c INPROCESSING
1731.57/1737.14 c GARBAGE COLLECT
1731.57/1737.14 c #Conflicts: 1291000 | #Constraints: 83044
1731.57/1737.14 c #Conflicts: 1292000 | #Constraints: 84044
1731.57/1737.14 c #Conflicts: 1293000 | #Constraints: 85044
1731.57/1737.14 c #Conflicts: 1294000 | #Constraints: 86044
1731.57/1737.14 c #Conflicts: 1295000 | #Constraints: 87044
1731.57/1737.14 c #Conflicts: 1296000 | #Constraints: 88044
1731.57/1737.14 c #Conflicts: 1297000 | #Constraints: 89044
1731.57/1737.14 c #Conflicts: 1298000 | #Constraints: 90044
1731.57/1737.14 c #Conflicts: 1299000 | #Constraints: 91044
1731.57/1737.14 c #Conflicts: 1300000 | #Constraints: 92044
1731.57/1737.14 c #Conflicts: 1301000 | #Constraints: 93044
1731.57/1737.14 c #Conflicts: 1302000 | #Constraints: 94044
1731.57/1737.14 c #Conflicts: 1303000 | #Constraints: 95044
1731.57/1737.14 c #Conflicts: 1304000 | #Constraints: 96044
1731.57/1737.14 c #Conflicts: 1305000 | #Constraints: 97044
1731.57/1737.14 c #Conflicts: 1306000 | #Constraints: 98044
1731.57/1737.14 c #Conflicts: 1307000 | #Constraints: 99044
1731.57/1737.14 c #Conflicts: 1308000 | #Constraints: 100044
1731.57/1737.14 c #Conflicts: 1309000 | #Constraints: 101044
1731.57/1737.14 c #Conflicts: 1310000 | #Constraints: 102044
1731.57/1737.14 c #Conflicts: 1311000 | #Constraints: 103044
1731.57/1737.14 c #Conflicts: 1312000 | #Constraints: 104044
1731.57/1737.14 c #Conflicts: 1313000 | #Constraints: 105044
1731.57/1737.14 c #Conflicts: 1314000 | #Constraints: 106044
1731.57/1737.14 c #Conflicts: 1315000 | #Constraints: 107044
1731.57/1737.14 c #Conflicts: 1316000 | #Constraints: 108044
1731.57/1737.14 c INPROCESSING
1731.57/1737.14 c GARBAGE COLLECT
1731.57/1737.14 c #Conflicts: 1317000 | #Constraints: 75911
1731.57/1737.14 c #Conflicts: 1318000 | #Constraints: 76911
1731.57/1737.14 c #Conflicts: 1319000 | #Constraints: 77911
1731.57/1737.14 c #Conflicts: 1320000 | #Constraints: 78911
1731.57/1737.14 c #Conflicts: 1321000 | #Constraints: 79911
1731.57/1737.14 c #Conflicts: 1322000 | #Constraints: 80911
1731.57/1737.14 c #Conflicts: 1323000 | #Constraints: 81911
1731.57/1737.14 c #Conflicts: 1324000 | #Constraints: 82911
1731.57/1737.14 c #Conflicts: 1325000 | #Constraints: 83911
1731.57/1737.14 c #Conflicts: 1326000 | #Constraints: 84911
1731.57/1737.14 c #Conflicts: 1327000 | #Constraints: 85911
1731.57/1737.14 c #Conflicts: 1328000 | #Constraints: 86911
1731.57/1737.14 c #Conflicts: 1329000 | #Constraints: 87911
1731.57/1737.14 c #Conflicts: 1330000 | #Constraints: 88911
1731.57/1737.14 c #Conflicts: 1331000 | #Constraints: 89911
1731.57/1737.14 c #Conflicts: 1332000 | #Constraints: 90911
1731.57/1737.14 c #Conflicts: 1333000 | #Constraints: 91911
1731.57/1737.14 c #Conflicts: 1334000 | #Constraints: 92911
1731.57/1737.14 c #Conflicts: 1335000 | #Constraints: 93911
1731.57/1737.14 c #Conflicts: 1336000 | #Constraints: 94911
1731.57/1737.14 c #Conflicts: 1337000 | #Constraints: 95911
1731.57/1737.14 c #Conflicts: 1338000 | #Constraints: 96911
1731.57/1737.14 c #Conflicts: 1339000 | #Constraints: 97911
1731.57/1737.14 c #Conflicts: 1340000 | #Constraints: 98911
1731.57/1737.14 c #Conflicts: 1341000 | #Constraints: 99911
1731.57/1737.14 c INPROCESSING
1731.57/1737.14 c GARBAGE COLLECT
1731.57/1737.14 c #Conflicts: 1342000 | #Constraints: 71380
1731.57/1737.14 c #Conflicts: 1343000 | #Constraints: 72380
1731.57/1737.14 c #Conflicts: 1344000 | #Constraints: 73380
1731.57/1737.14 c #Conflicts: 1345000 | #Constraints: 74380
1731.57/1737.14 c #Conflicts: 1346000 | #Constraints: 75380
1731.57/1737.14 c #Conflicts: 1347000 | #Constraints: 76380
1731.57/1737.14 c #Conflicts: 1348000 | #Constraints: 77380
1731.57/1737.14 c #Conflicts: 1349000 | #Constraints: 78380
1731.57/1737.14 c #Conflicts: 1350000 | #Constraints: 79380
1731.57/1737.14 c #Conflicts: 1351000 | #Constraints: 80380
1731.57/1737.14 c #Conflicts: 1352000 | #Constraints: 81380
1731.57/1737.14 c #Conflicts: 1353000 | #Constraints: 82380
1731.57/1737.14 c #Conflicts: 1354000 | #Constraints: 83380
1731.57/1737.14 c #Conflicts: 1355000 | #Constraints: 84380
1731.57/1737.14 c #Conflicts: 1356000 | #Constraints: 85380
1731.57/1737.14 c #Conflicts: 1357000 | #Constraints: 86380
1731.57/1737.14 c #Conflicts: 1358000 | #Constraints: 87380
1731.57/1737.14 c #Conflicts: 1359000 | #Constraints: 88380
1731.57/1737.14 c #Conflicts: 1360000 | #Constraints: 89380
1731.57/1737.14 c #Conflicts: 1361000 | #Constraints: 90380
1731.57/1737.14 c #Conflicts: 1362000 | #Constraints: 91380
1731.57/1737.14 c #Conflicts: 1363000 | #Constraints: 92380
1731.57/1737.14 c #Conflicts: 1364000 | #Constraints: 93380
1731.57/1737.14 c #Conflicts: 1365000 | #Constraints: 94380
1731.57/1737.14 c #Conflicts: 1366000 | #Constraints: 95380
1895.25/1901.30 c #Conflicts: 1367000 | #Constraints: 96380
1895.25/1901.30 c #Conflicts: 1368000 | #Constraints: 97380
1895.25/1901.30 c INPROCESSING
1895.25/1901.30 c GARBAGE COLLECT
1895.25/1901.30 c #Conflicts: 1369000 | #Constraints: 70562
1895.25/1901.30 c #Conflicts: 1370000 | #Constraints: 71562
1895.25/1901.30 c #Conflicts: 1371000 | #Constraints: 72562
1895.25/1901.30 c #Conflicts: 1372000 | #Constraints: 73562
1895.25/1901.30 c #Conflicts: 1373000 | #Constraints: 74562
1895.25/1901.30 c #Conflicts: 1374000 | #Constraints: 75562
1895.25/1901.30 c #Conflicts: 1375000 | #Constraints: 76562
1895.25/1901.30 c #Conflicts: 1376000 | #Constraints: 77562
1895.25/1901.30 c #Conflicts: 1377000 | #Constraints: 78562
1895.25/1901.30 c #Conflicts: 1378000 | #Constraints: 79562
1895.25/1901.30 c #Conflicts: 1379000 | #Constraints: 80562
1895.25/1901.30 c #Conflicts: 1380000 | #Constraints: 81562
1895.25/1901.30 c #Conflicts: 1381000 | #Constraints: 82562
1895.25/1901.30 c #Conflicts: 1382000 | #Constraints: 83562
1895.25/1901.30 c #Conflicts: 1383000 | #Constraints: 84562
1895.25/1901.30 c #Conflicts: 1384000 | #Constraints: 85562
1895.25/1901.30 c #Conflicts: 1385000 | #Constraints: 86562
1895.25/1901.30 c #Conflicts: 1386000 | #Constraints: 87562
1895.25/1901.30 c #Conflicts: 1387000 | #Constraints: 88562
1895.25/1901.30 c #Conflicts: 1388000 | #Constraints: 89562
1895.25/1901.30 c #Conflicts: 1389000 | #Constraints: 90562
1895.25/1901.30 c #Conflicts: 1390000 | #Constraints: 91562
1895.25/1901.30 c #Conflicts: 1391000 | #Constraints: 92562
1895.25/1901.30 c #Conflicts: 1392000 | #Constraints: 93562
1895.25/1901.30 c #Conflicts: 1393000 | #Constraints: 94562
1895.25/1901.30 c #Conflicts: 1394000 | #Constraints: 95562
1895.25/1901.30 c #Conflicts: 1395000 | #Constraints: 96562
1895.25/1901.30 c #Conflicts: 1396000 | #Constraints: 97562
1895.25/1901.30 c #Conflicts: 1397000 | #Constraints: 98562
1895.25/1901.30 c #Conflicts: 1398000 | #Constraints: 99562
1895.25/1901.30 c #Conflicts: 1399000 | #Constraints: 100562
1895.25/1901.30 c #Conflicts: 1400000 | #Constraints: 101562
1895.25/1901.30 c #Conflicts: 1401000 | #Constraints: 102562
1895.25/1901.30 c #Conflicts: 1402000 | #Constraints: 103562
1895.25/1901.30 c #Conflicts: 1403000 | #Constraints: 104562
1895.25/1901.30 c #Conflicts: 1404000 | #Constraints: 105562
1895.25/1901.30 c #Conflicts: 1405000 | #Constraints: 106562
1895.25/1901.30 c #Conflicts: 1406000 | #Constraints: 107562
1895.25/1901.30 c #Conflicts: 1407000 | #Constraints: 108562
1895.25/1901.30 c #Conflicts: 1408000 | #Constraints: 109562
1895.25/1901.30 c #Conflicts: 1409000 | #Constraints: 110562
1895.25/1901.30 c #Conflicts: 1410000 | #Constraints: 111562
1895.25/1901.30 c #Conflicts: 1411000 | #Constraints: 112562
1895.25/1901.30 c #Conflicts: 1412000 | #Constraints: 113562
1895.25/1901.30 c #Conflicts: 1413000 | #Constraints: 114562
1895.25/1901.30 c #Conflicts: 1414000 | #Constraints: 115562
1895.25/1901.30 c #Conflicts: 1415000 | #Constraints: 116562
1895.25/1901.30 c #Conflicts: 1416000 | #Constraints: 117562
1895.25/1901.30 c #Conflicts: 1417000 | #Constraints: 118562
1895.25/1901.30 c #Conflicts: 1418000 | #Constraints: 119562
1895.25/1901.30 c #Conflicts: 1419000 | #Constraints: 120562
1895.25/1901.30 c #Conflicts: 1420000 | #Constraints: 121562
1895.25/1901.30 c #Conflicts: 1421000 | #Constraints: 122562
1895.25/1901.30 c #Conflicts: 1422000 | #Constraints: 123562
1895.25/1901.30 c #Conflicts: 1423000 | #Constraints: 124562
1895.25/1901.30 c #Conflicts: 1424000 | #Constraints: 125562
1895.25/1901.30 c #Conflicts: 1425000 | #Constraints: 126562
1895.25/1901.30 c #Conflicts: 1426000 | #Constraints: 127562
1895.25/1901.30 c #Conflicts: 1427000 | #Constraints: 128562
1895.25/1901.30 c #Conflicts: 1428000 | #Constraints: 129562
1895.25/1901.30 c #Conflicts: 1429000 | #Constraints: 130562
1895.25/1901.30 c #Conflicts: 1430000 | #Constraints: 131562
1895.25/1901.30 c #Conflicts: 1431000 | #Constraints: 132562
1895.25/1901.30 c #Conflicts: 1432000 | #Constraints: 133562
1895.25/1901.30 c #Conflicts: 1433000 | #Constraints: 134562
1895.25/1901.30 c #Conflicts: 1434000 | #Constraints: 135562
1895.25/1901.30 c #Conflicts: 1435000 | #Constraints: 136562
1895.25/1901.30 c #Conflicts: 1436000 | #Constraints: 137562
1895.25/1901.30 c #Conflicts: 1437000 | #Constraints: 138562
1895.25/1901.30 c #Conflicts: 1438000 | #Constraints: 139562
1895.25/1901.30 c #Conflicts: 1439000 | #Constraints: 140562
1895.25/1901.30 c #Conflicts: 1440000 | #Constraints: 141562
1895.25/1901.30 c #Conflicts: 1441000 | #Constraints: 142562
1895.25/1901.30 c #Conflicts: 1442000 | #Constraints: 143562
1895.25/1901.30 c #Conflicts: 1443000 | #Constraints: 144562
1895.25/1901.30 c #Conflicts: 1444000 | #Constraints: 145562
2108.28/2115.02 c #Conflicts: 1445000 | #Constraints: 146562
2108.28/2115.02 c #Conflicts: 1446000 | #Constraints: 147562
2108.28/2115.02 c #Conflicts: 1447000 | #Constraints: 148562
2108.28/2115.02 c #Conflicts: 1448000 | #Constraints: 149562
2108.28/2115.02 c #Conflicts: 1449000 | #Constraints: 150562
2108.28/2115.02 c #Conflicts: 1450000 | #Constraints: 151562
2108.28/2115.02 c #Conflicts: 1451000 | #Constraints: 152562
2108.28/2115.02 c #Conflicts: 1452000 | #Constraints: 153562
2108.28/2115.02 c #Conflicts: 1453000 | #Constraints: 154562
2108.28/2115.02 c #Conflicts: 1454000 | #Constraints: 155562
2108.28/2115.02 c #Conflicts: 1455000 | #Constraints: 156562
2108.28/2115.02 c #Conflicts: 1456000 | #Constraints: 157562
2108.28/2115.02 c #Conflicts: 1457000 | #Constraints: 158562
2108.28/2115.02 c #Conflicts: 1458000 | #Constraints: 159562
2108.28/2115.02 c #Conflicts: 1459000 | #Constraints: 160562
2108.28/2115.02 c #Conflicts: 1460000 | #Constraints: 161562
2108.28/2115.02 c INPROCESSING
2108.28/2115.02 c GARBAGE COLLECT
2108.28/2115.02 c #Conflicts: 1461000 | #Constraints: 102662
2108.28/2115.02 c #Conflicts: 1462000 | #Constraints: 103662
2108.28/2115.02 c #Conflicts: 1463000 | #Constraints: 104662
2108.28/2115.02 c #Conflicts: 1464000 | #Constraints: 105662
2108.28/2115.02 c #Conflicts: 1465000 | #Constraints: 106662
2108.28/2115.02 c #Conflicts: 1466000 | #Constraints: 107662
2108.28/2115.02 c #Conflicts: 1467000 | #Constraints: 108662
2108.28/2115.02 c #Conflicts: 1468000 | #Constraints: 109662
2108.28/2115.02 c #Conflicts: 1469000 | #Constraints: 110662
2108.28/2115.02 c #Conflicts: 1470000 | #Constraints: 111662
2108.28/2115.02 c #Conflicts: 1471000 | #Constraints: 112662
2108.28/2115.02 c #Conflicts: 1472000 | #Constraints: 113662
2108.28/2115.02 c #Conflicts: 1473000 | #Constraints: 114662
2108.28/2115.02 c #Conflicts: 1474000 | #Constraints: 115662
2108.28/2115.02 c #Conflicts: 1475000 | #Constraints: 116662
2108.28/2115.02 c #Conflicts: 1476000 | #Constraints: 117662
2108.28/2115.02 c #Conflicts: 1477000 | #Constraints: 118662
2108.28/2115.02 c #Conflicts: 1478000 | #Constraints: 119662
2108.28/2115.02 c #Conflicts: 1479000 | #Constraints: 120662
2108.28/2115.02 c #Conflicts: 1480000 | #Constraints: 121662
2108.28/2115.02 c #Conflicts: 1481000 | #Constraints: 122662
2108.28/2115.02 c #Conflicts: 1482000 | #Constraints: 123662
2108.28/2115.02 c #Conflicts: 1483000 | #Constraints: 124662
2108.28/2115.02 c #Conflicts: 1484000 | #Constraints: 125662
2108.28/2115.02 c #Conflicts: 1485000 | #Constraints: 126662
2108.28/2115.02 c #Conflicts: 1486000 | #Constraints: 127662
2108.28/2115.02 c #Conflicts: 1487000 | #Constraints: 128662
2108.28/2115.02 c INPROCESSING
2108.28/2115.02 c GARBAGE COLLECT
2108.28/2115.02 c #Conflicts: 1488000 | #Constraints: 86046
2108.28/2115.02 c #Conflicts: 1489000 | #Constraints: 87046
2108.28/2115.02 c #Conflicts: 1490000 | #Constraints: 88046
2108.28/2115.02 c #Conflicts: 1491000 | #Constraints: 89046
2108.28/2115.02 c #Conflicts: 1492000 | #Constraints: 90046
2108.28/2115.02 c #Conflicts: 1493000 | #Constraints: 91046
2108.28/2115.02 c #Conflicts: 1494000 | #Constraints: 92046
2108.28/2115.02 c #Conflicts: 1495000 | #Constraints: 93046
2108.28/2115.02 c #Conflicts: 1496000 | #Constraints: 94046
2108.28/2115.02 c #Conflicts: 1497000 | #Constraints: 95046
2108.28/2115.02 c #Conflicts: 1498000 | #Constraints: 96046
2108.28/2115.02 c #Conflicts: 1499000 | #Constraints: 97046
2108.28/2115.02 c #Conflicts: 1500000 | #Constraints: 98046
2108.28/2115.02 c #Conflicts: 1501000 | #Constraints: 99046
2108.28/2115.02 c #Conflicts: 1502000 | #Constraints: 100046
2108.28/2115.02 c #Conflicts: 1503000 | #Constraints: 101046
2108.28/2115.02 c #Conflicts: 1504000 | #Constraints: 102046
2108.28/2115.02 c #Conflicts: 1505000 | #Constraints: 103046
2108.28/2115.02 c #Conflicts: 1506000 | #Constraints: 104046
2108.28/2115.02 c #Conflicts: 1507000 | #Constraints: 105046
2108.28/2115.02 c #Conflicts: 1508000 | #Constraints: 106046
2108.28/2115.02 c #Conflicts: 1509000 | #Constraints: 107046
2108.28/2115.02 c #Conflicts: 1510000 | #Constraints: 108046
2108.28/2115.02 c #Conflicts: 1511000 | #Constraints: 109046
2108.28/2115.02 c #Conflicts: 1512000 | #Constraints: 110046
2108.28/2115.02 c #Conflicts: 1513000 | #Constraints: 111046
2108.28/2115.02 c #Conflicts: 1514000 | #Constraints: 112046
2108.28/2115.02 c #Conflicts: 1515000 | #Constraints: 113046
2108.28/2115.02 c INPROCESSING
2108.28/2115.02 c GARBAGE COLLECT
2108.28/2115.02 c #Conflicts: 1516000 | #Constraints: 78396
2108.28/2115.02 c #Conflicts: 1517000 | #Constraints: 79396
2108.28/2115.02 c #Conflicts: 1518000 | #Constraints: 80396
2108.28/2115.02 c #Conflicts: 1519000 | #Constraints: 81396
2108.28/2115.02 c #Conflicts: 1520000 | #Constraints: 82396
2108.28/2115.02 c #Conflicts: 1521000 | #Constraints: 83396
2225.80/2232.99 c #Conflicts: 1522000 | #Constraints: 84396
2225.80/2232.99 c #Conflicts: 1523000 | #Constraints: 85396
2225.80/2232.99 c #Conflicts: 1524000 | #Constraints: 86396
2225.80/2232.99 c #Conflicts: 1525000 | #Constraints: 87396
2225.80/2232.99 c #Conflicts: 1526000 | #Constraints: 88396
2225.80/2232.99 c #Conflicts: 1527000 | #Constraints: 89396
2225.80/2232.99 c #Conflicts: 1528000 | #Constraints: 90396
2225.80/2232.99 c #Conflicts: 1529000 | #Constraints: 91396
2225.80/2232.99 c #Conflicts: 1530000 | #Constraints: 92396
2225.80/2232.99 c #Conflicts: 1531000 | #Constraints: 93396
2225.80/2232.99 c #Conflicts: 1532000 | #Constraints: 94396
2225.80/2232.99 c #Conflicts: 1533000 | #Constraints: 95396
2225.80/2232.99 c #Conflicts: 1534000 | #Constraints: 96396
2225.80/2232.99 c #Conflicts: 1535000 | #Constraints: 97396
2225.80/2232.99 c #Conflicts: 1536000 | #Constraints: 98396
2225.80/2232.99 c #Conflicts: 1537000 | #Constraints: 99396
2225.80/2232.99 c #Conflicts: 1538000 | #Constraints: 100396
2225.80/2232.99 c #Conflicts: 1539000 | #Constraints: 101396
2225.80/2232.99 c #Conflicts: 1540000 | #Constraints: 102396
2225.80/2232.99 c #Conflicts: 1541000 | #Constraints: 103396
2225.80/2232.99 c #Conflicts: 1542000 | #Constraints: 104396
2225.80/2232.99 c INPROCESSING
2225.80/2232.99 c GARBAGE COLLECT
2225.80/2232.99 c #Conflicts: 1543000 | #Constraints: 73669
2225.80/2232.99 c #Conflicts: 1544000 | #Constraints: 74669
2225.80/2232.99 c #Conflicts: 1545000 | #Constraints: 75669
2225.80/2232.99 c #Conflicts: 1546000 | #Constraints: 76669
2225.80/2232.99 c #Conflicts: 1547000 | #Constraints: 77669
2225.80/2232.99 c #Conflicts: 1548000 | #Constraints: 78669
2225.80/2232.99 c #Conflicts: 1549000 | #Constraints: 79669
2225.80/2232.99 c #Conflicts: 1550000 | #Constraints: 80669
2225.80/2232.99 c #Conflicts: 1551000 | #Constraints: 81669
2225.80/2232.99 c #Conflicts: 1552000 | #Constraints: 82669
2225.80/2232.99 c #Conflicts: 1553000 | #Constraints: 83669
2225.80/2232.99 c #Conflicts: 1554000 | #Constraints: 84669
2225.80/2232.99 c #Conflicts: 1555000 | #Constraints: 85669
2225.80/2232.99 c #Conflicts: 1556000 | #Constraints: 86669
2225.80/2232.99 c #Conflicts: 1557000 | #Constraints: 87669
2225.80/2232.99 c #Conflicts: 1558000 | #Constraints: 88669
2225.80/2232.99 c #Conflicts: 1559000 | #Constraints: 89669
2225.80/2232.99 c #Conflicts: 1560000 | #Constraints: 90669
2225.80/2232.99 c #Conflicts: 1561000 | #Constraints: 91669
2225.80/2232.99 c #Conflicts: 1562000 | #Constraints: 92669
2225.80/2232.99 c #Conflicts: 1563000 | #Constraints: 93669
2225.80/2232.99 c #Conflicts: 1564000 | #Constraints: 94669
2225.80/2232.99 c #Conflicts: 1565000 | #Constraints: 95669
2225.80/2232.99 c #Conflicts: 1566000 | #Constraints: 96669
2225.80/2232.99 c #Conflicts: 1567000 | #Constraints: 97669
2225.80/2232.99 c #Conflicts: 1568000 | #Constraints: 98669
2225.80/2232.99 c #Conflicts: 1569000 | #Constraints: 99669
2225.80/2232.99 c #Conflicts: 1570000 | #Constraints: 100669
2225.80/2232.99 c INPROCESSING
2225.80/2232.99 c GARBAGE COLLECT
2225.80/2232.99 c #Conflicts: 1571000 | #Constraints: 71797
2225.80/2232.99 c #Conflicts: 1572000 | #Constraints: 72797
2225.80/2232.99 c #Conflicts: 1573000 | #Constraints: 73797
2225.80/2232.99 c #Conflicts: 1574000 | #Constraints: 74797
2225.80/2232.99 c #Conflicts: 1575000 | #Constraints: 75797
2225.80/2232.99 c #Conflicts: 1576000 | #Constraints: 76797
2225.80/2232.99 c #Conflicts: 1577000 | #Constraints: 77797
2225.80/2232.99 c #Conflicts: 1578000 | #Constraints: 78797
2225.80/2232.99 c #Conflicts: 1579000 | #Constraints: 79797
2225.80/2232.99 c #Conflicts: 1580000 | #Constraints: 80797
2225.80/2232.99 c #Conflicts: 1581000 | #Constraints: 81797
2225.80/2232.99 c #Conflicts: 1582000 | #Constraints: 82797
2225.80/2232.99 c #Conflicts: 1583000 | #Constraints: 83797
2225.80/2232.99 c #Conflicts: 1584000 | #Constraints: 84797
2225.80/2232.99 c #Conflicts: 1585000 | #Constraints: 85797
2225.80/2232.99 c #Conflicts: 1586000 | #Constraints: 86797
2225.80/2232.99 c #Conflicts: 1587000 | #Constraints: 87797
2225.80/2232.99 c #Conflicts: 1588000 | #Constraints: 88797
2225.80/2232.99 c #Conflicts: 1589000 | #Constraints: 89797
2225.80/2232.99 c #Conflicts: 1590000 | #Constraints: 90797
2225.80/2232.99 c #Conflicts: 1591000 | #Constraints: 91797
2225.80/2232.99 c #Conflicts: 1592000 | #Constraints: 92797
2225.80/2232.99 c #Conflicts: 1593000 | #Constraints: 93797
2225.80/2232.99 c #Conflicts: 1594000 | #Constraints: 94797
2225.80/2232.99 c #Conflicts: 1595000 | #Constraints: 95797
2225.80/2232.99 c #Conflicts: 1596000 | #Constraints: 96797
2225.80/2232.99 c #Conflicts: 1597000 | #Constraints: 97797
2225.80/2232.99 c #Conflicts: 1598000 | #Constraints: 98797
2225.80/2232.99 c #Conflicts: 1599000 | #Constraints: 99797
2447.30/2455.16 c #Conflicts: 1600000 | #Constraints: 100797
2447.30/2455.16 c #Conflicts: 1601000 | #Constraints: 101797
2447.30/2455.16 c #Conflicts: 1602000 | #Constraints: 102797
2447.30/2455.16 c #Conflicts: 1603000 | #Constraints: 103797
2447.30/2455.16 c #Conflicts: 1604000 | #Constraints: 104797
2447.30/2455.16 c #Conflicts: 1605000 | #Constraints: 105797
2447.30/2455.16 c #Conflicts: 1606000 | #Constraints: 106797
2447.30/2455.16 c #Conflicts: 1607000 | #Constraints: 107797
2447.30/2455.16 c #Conflicts: 1608000 | #Constraints: 108797
2447.30/2455.16 c #Conflicts: 1609000 | #Constraints: 109797
2447.30/2455.16 c #Conflicts: 1610000 | #Constraints: 110797
2447.30/2455.16 c #Conflicts: 1611000 | #Constraints: 111797
2447.30/2455.16 c #Conflicts: 1612000 | #Constraints: 112797
2447.30/2455.16 c #Conflicts: 1613000 | #Constraints: 113797
2447.30/2455.16 c #Conflicts: 1614000 | #Constraints: 114797
2447.30/2455.16 c #Conflicts: 1615000 | #Constraints: 115797
2447.30/2455.16 c #Conflicts: 1616000 | #Constraints: 116797
2447.30/2455.16 c #Conflicts: 1617000 | #Constraints: 117797
2447.30/2455.16 c #Conflicts: 1618000 | #Constraints: 118797
2447.30/2455.16 c #Conflicts: 1619000 | #Constraints: 119797
2447.30/2455.16 c #Conflicts: 1620000 | #Constraints: 120797
2447.30/2455.16 c #Conflicts: 1621000 | #Constraints: 121797
2447.30/2455.16 c #Conflicts: 1622000 | #Constraints: 122797
2447.30/2455.16 c #Conflicts: 1623000 | #Constraints: 123797
2447.30/2455.16 c #Conflicts: 1624000 | #Constraints: 124797
2447.30/2455.16 c #Conflicts: 1625000 | #Constraints: 125797
2447.30/2455.16 c #Conflicts: 1626000 | #Constraints: 126797
2447.30/2455.16 c #Conflicts: 1627000 | #Constraints: 127797
2447.30/2455.16 c #Conflicts: 1628000 | #Constraints: 128797
2447.30/2455.16 c #Conflicts: 1629000 | #Constraints: 129797
2447.30/2455.16 c #Conflicts: 1630000 | #Constraints: 130797
2447.30/2455.16 c #Conflicts: 1631000 | #Constraints: 131797
2447.30/2455.16 c #Conflicts: 1632000 | #Constraints: 132797
2447.30/2455.16 c #Conflicts: 1633000 | #Constraints: 133797
2447.30/2455.16 c #Conflicts: 1634000 | #Constraints: 134797
2447.30/2455.16 c #Conflicts: 1635000 | #Constraints: 135797
2447.30/2455.16 c #Conflicts: 1636000 | #Constraints: 136797
2447.30/2455.16 c #Conflicts: 1637000 | #Constraints: 137797
2447.30/2455.16 c #Conflicts: 1638000 | #Constraints: 138797
2447.30/2455.16 c #Conflicts: 1639000 | #Constraints: 139797
2447.30/2455.16 c #Conflicts: 1640000 | #Constraints: 140797
2447.30/2455.16 c #Conflicts: 1641000 | #Constraints: 141797
2447.30/2455.16 c #Conflicts: 1642000 | #Constraints: 142797
2447.30/2455.16 c #Conflicts: 1643000 | #Constraints: 143797
2447.30/2455.16 c #Conflicts: 1644000 | #Constraints: 144797
2447.30/2455.16 c #Conflicts: 1645000 | #Constraints: 145797
2447.30/2455.16 c #Conflicts: 1646000 | #Constraints: 146797
2447.30/2455.16 c #Conflicts: 1647000 | #Constraints: 147797
2447.30/2455.16 c #Conflicts: 1648000 | #Constraints: 148797
2447.30/2455.16 c #Conflicts: 1649000 | #Constraints: 149797
2447.30/2455.16 c #Conflicts: 1650000 | #Constraints: 150797
2447.30/2455.16 c #Conflicts: 1651000 | #Constraints: 151797
2447.30/2455.16 c #Conflicts: 1652000 | #Constraints: 152797
2447.30/2455.16 c #Conflicts: 1653000 | #Constraints: 153797
2447.30/2455.16 c #Conflicts: 1654000 | #Constraints: 154797
2447.30/2455.16 c #Conflicts: 1655000 | #Constraints: 155797
2447.30/2455.16 c #Conflicts: 1656000 | #Constraints: 156797
2447.30/2455.16 c #Conflicts: 1657000 | #Constraints: 157797
2447.30/2455.16 c #Conflicts: 1658000 | #Constraints: 158797
2447.30/2455.16 c #Conflicts: 1659000 | #Constraints: 159797
2447.30/2455.16 c #Conflicts: 1660000 | #Constraints: 160797
2447.30/2455.16 c #Conflicts: 1661000 | #Constraints: 161797
2447.30/2455.16 c #Conflicts: 1662000 | #Constraints: 162797
2447.30/2455.16 c #Conflicts: 1663000 | #Constraints: 163797
2447.30/2455.16 c #Conflicts: 1664000 | #Constraints: 164797
2447.30/2455.16 c #Conflicts: 1665000 | #Constraints: 165797
2447.30/2455.16 c #Conflicts: 1666000 | #Constraints: 166797
2447.30/2455.16 c #Conflicts: 1667000 | #Constraints: 167797
2447.30/2455.16 c #Conflicts: 1668000 | #Constraints: 168797
2447.30/2455.16 c #Conflicts: 1669000 | #Constraints: 169797
2447.30/2455.16 c INPROCESSING
2447.30/2455.16 c GARBAGE COLLECT
2447.30/2455.16 c #Conflicts: 1670000 | #Constraints: 106682
2447.30/2455.16 c #Conflicts: 1671000 | #Constraints: 107682
2447.30/2455.16 c #Conflicts: 1672000 | #Constraints: 108682
2447.30/2455.16 c #Conflicts: 1673000 | #Constraints: 109682
2447.30/2455.16 c #Conflicts: 1674000 | #Constraints: 110682
2447.30/2455.16 c #Conflicts: 1675000 | #Constraints: 111682
2447.30/2455.16 c #Conflicts: 1676000 | #Constraints: 112682
2447.30/2455.16 c #Conflicts: 1677000 | #Constraints: 113682
2646.75/2655.22 c #Conflicts: 1678000 | #Constraints: 114682
2646.75/2655.22 c #Conflicts: 1679000 | #Constraints: 115682
2646.75/2655.22 c #Conflicts: 1680000 | #Constraints: 116682
2646.75/2655.22 c #Conflicts: 1681000 | #Constraints: 117682
2646.75/2655.22 c #Conflicts: 1682000 | #Constraints: 118682
2646.75/2655.22 c #Conflicts: 1683000 | #Constraints: 119682
2646.75/2655.22 c #Conflicts: 1684000 | #Constraints: 120682
2646.75/2655.22 c #Conflicts: 1685000 | #Constraints: 121682
2646.75/2655.22 c #Conflicts: 1686000 | #Constraints: 122682
2646.75/2655.22 c #Conflicts: 1687000 | #Constraints: 123682
2646.75/2655.22 c #Conflicts: 1688000 | #Constraints: 124682
2646.75/2655.22 c #Conflicts: 1689000 | #Constraints: 125682
2646.75/2655.22 c #Conflicts: 1690000 | #Constraints: 126682
2646.75/2655.22 c #Conflicts: 1691000 | #Constraints: 127682
2646.75/2655.22 c #Conflicts: 1692000 | #Constraints: 128682
2646.75/2655.22 c #Conflicts: 1693000 | #Constraints: 129682
2646.75/2655.22 c #Conflicts: 1694000 | #Constraints: 130682
2646.75/2655.22 c #Conflicts: 1695000 | #Constraints: 131682
2646.75/2655.22 c #Conflicts: 1696000 | #Constraints: 132682
2646.75/2655.22 c #Conflicts: 1697000 | #Constraints: 133682
2646.75/2655.22 c #Conflicts: 1698000 | #Constraints: 134682
2646.75/2655.22 c INPROCESSING
2646.75/2655.22 c GARBAGE COLLECT
2646.75/2655.22 c #Conflicts: 1699000 | #Constraints: 88966
2646.75/2655.22 c #Conflicts: 1700000 | #Constraints: 89966
2646.75/2655.22 c #Conflicts: 1701000 | #Constraints: 90966
2646.75/2655.22 c #Conflicts: 1702000 | #Constraints: 91966
2646.75/2655.22 c #Conflicts: 1703000 | #Constraints: 92966
2646.75/2655.22 c #Conflicts: 1704000 | #Constraints: 93966
2646.75/2655.22 c #Conflicts: 1705000 | #Constraints: 94966
2646.75/2655.22 c #Conflicts: 1706000 | #Constraints: 95966
2646.75/2655.22 c #Conflicts: 1707000 | #Constraints: 96966
2646.75/2655.22 c #Conflicts: 1708000 | #Constraints: 97966
2646.75/2655.22 c #Conflicts: 1709000 | #Constraints: 98966
2646.75/2655.22 c #Conflicts: 1710000 | #Constraints: 99966
2646.75/2655.22 c #Conflicts: 1711000 | #Constraints: 100966
2646.75/2655.22 c #Conflicts: 1712000 | #Constraints: 101966
2646.75/2655.22 c #Conflicts: 1713000 | #Constraints: 102966
2646.75/2655.22 c #Conflicts: 1714000 | #Constraints: 103966
2646.75/2655.22 c #Conflicts: 1715000 | #Constraints: 104966
2646.75/2655.22 c #Conflicts: 1716000 | #Constraints: 105966
2646.75/2655.22 c #Conflicts: 1717000 | #Constraints: 106966
2646.75/2655.22 c #Conflicts: 1718000 | #Constraints: 107966
2646.75/2655.22 c #Conflicts: 1719000 | #Constraints: 108966
2646.75/2655.22 c #Conflicts: 1720000 | #Constraints: 109966
2646.75/2655.22 c #Conflicts: 1721000 | #Constraints: 110966
2646.75/2655.22 c #Conflicts: 1722000 | #Constraints: 111966
2646.75/2655.22 c #Conflicts: 1723000 | #Constraints: 112966
2646.75/2655.22 c #Conflicts: 1724000 | #Constraints: 113966
2646.75/2655.22 c #Conflicts: 1725000 | #Constraints: 114966
2646.75/2655.22 c #Conflicts: 1726000 | #Constraints: 115966
2646.75/2655.22 c #Conflicts: 1727000 | #Constraints: 116966
2646.75/2655.22 c #Conflicts: 1728000 | #Constraints: 117966
2646.75/2655.22 c INPROCESSING
2646.75/2655.22 c GARBAGE COLLECT
2646.75/2655.22 c #Conflicts: 1729000 | #Constraints: 80866
2646.75/2655.22 c #Conflicts: 1730000 | #Constraints: 81866
2646.75/2655.22 c #Conflicts: 1731000 | #Constraints: 82866
2646.75/2655.22 c #Conflicts: 1732000 | #Constraints: 83866
2646.75/2655.22 c #Conflicts: 1733000 | #Constraints: 84866
2646.75/2655.22 c #Conflicts: 1734000 | #Constraints: 85866
2646.75/2655.22 c #Conflicts: 1735000 | #Constraints: 86866
2646.75/2655.22 c #Conflicts: 1736000 | #Constraints: 87866
2646.75/2655.22 c #Conflicts: 1737000 | #Constraints: 88866
2646.75/2655.22 c #Conflicts: 1738000 | #Constraints: 89866
2646.75/2655.22 c #Conflicts: 1739000 | #Constraints: 90866
2646.75/2655.22 c #Conflicts: 1740000 | #Constraints: 91866
2646.75/2655.22 c #Conflicts: 1741000 | #Constraints: 92866
2646.75/2655.22 c #Conflicts: 1742000 | #Constraints: 93866
2646.75/2655.22 c #Conflicts: 1743000 | #Constraints: 94866
2646.75/2655.22 c #Conflicts: 1744000 | #Constraints: 95866
2646.75/2655.22 c #Conflicts: 1745000 | #Constraints: 96866
2646.75/2655.22 c #Conflicts: 1746000 | #Constraints: 97866
2646.75/2655.22 c #Conflicts: 1747000 | #Constraints: 98866
2646.75/2655.22 c #Conflicts: 1748000 | #Constraints: 99866
2646.75/2655.22 c #Conflicts: 1749000 | #Constraints: 100866
2646.75/2655.22 c #Conflicts: 1750000 | #Constraints: 101866
2646.75/2655.22 c #Conflicts: 1751000 | #Constraints: 102866
2646.75/2655.22 c #Conflicts: 1752000 | #Constraints: 103866
2646.75/2655.22 c #Conflicts: 1753000 | #Constraints: 104866
2646.75/2655.22 c #Conflicts: 1754000 | #Constraints: 105866
2785.31/2794.21 c #Conflicts: 1755000 | #Constraints: 106866
2785.31/2794.21 c #Conflicts: 1756000 | #Constraints: 107866
2785.31/2794.21 c #Conflicts: 1757000 | #Constraints: 108866
2785.31/2794.21 c INPROCESSING
2785.31/2794.21 c GARBAGE COLLECT
2785.31/2794.21 c #Conflicts: 1758000 | #Constraints: 75977
2785.31/2794.21 c #Conflicts: 1759000 | #Constraints: 76977
2785.31/2794.21 c #Conflicts: 1760000 | #Constraints: 77977
2785.31/2794.21 c #Conflicts: 1761000 | #Constraints: 78977
2785.31/2794.21 c #Conflicts: 1762000 | #Constraints: 79977
2785.31/2794.21 c #Conflicts: 1763000 | #Constraints: 80977
2785.31/2794.21 c #Conflicts: 1764000 | #Constraints: 81977
2785.31/2794.21 c #Conflicts: 1765000 | #Constraints: 82977
2785.31/2794.21 c #Conflicts: 1766000 | #Constraints: 83977
2785.31/2794.21 c #Conflicts: 1767000 | #Constraints: 84977
2785.31/2794.21 c #Conflicts: 1768000 | #Constraints: 85977
2785.31/2794.21 c #Conflicts: 1769000 | #Constraints: 86977
2785.31/2794.21 c #Conflicts: 1770000 | #Constraints: 87977
2785.31/2794.21 c #Conflicts: 1771000 | #Constraints: 88977
2785.31/2794.21 c #Conflicts: 1772000 | #Constraints: 89977
2785.31/2794.21 c #Conflicts: 1773000 | #Constraints: 90977
2785.31/2794.21 c #Conflicts: 1774000 | #Constraints: 91977
2785.31/2794.21 c #Conflicts: 1775000 | #Constraints: 92977
2785.31/2794.21 c #Conflicts: 1776000 | #Constraints: 93977
2785.31/2794.21 c #Conflicts: 1777000 | #Constraints: 94977
2785.31/2794.21 c #Conflicts: 1778000 | #Constraints: 95977
2785.31/2794.21 c #Conflicts: 1779000 | #Constraints: 96977
2785.31/2794.21 c #Conflicts: 1780000 | #Constraints: 97977
2785.31/2794.21 c #Conflicts: 1781000 | #Constraints: 98977
2785.31/2794.21 c #Conflicts: 1782000 | #Constraints: 99977
2785.31/2794.21 c #Conflicts: 1783000 | #Constraints: 100977
2785.31/2794.21 c #Conflicts: 1784000 | #Constraints: 101977
2785.31/2794.21 c #Conflicts: 1785000 | #Constraints: 102977
2785.31/2794.21 c #Conflicts: 1786000 | #Constraints: 103977
2785.31/2794.21 c #Conflicts: 1787000 | #Constraints: 104977
2785.31/2794.21 c INPROCESSING
2785.31/2794.21 c GARBAGE COLLECT
2785.31/2794.21 c #Conflicts: 1788000 | #Constraints: 74088
2785.31/2794.21 c #Conflicts: 1789000 | #Constraints: 75088
2785.31/2794.21 c #Conflicts: 1790000 | #Constraints: 76088
2785.31/2794.21 c #Conflicts: 1791000 | #Constraints: 77088
2785.31/2794.21 c #Conflicts: 1792000 | #Constraints: 78088
2785.31/2794.21 c #Conflicts: 1793000 | #Constraints: 79088
2785.31/2794.21 c #Conflicts: 1794000 | #Constraints: 80088
2785.31/2794.21 c #Conflicts: 1795000 | #Constraints: 81088
2785.31/2794.21 c #Conflicts: 1796000 | #Constraints: 82088
2785.31/2794.21 c #Conflicts: 1797000 | #Constraints: 83088
2785.31/2794.21 c #Conflicts: 1798000 | #Constraints: 84088
2785.31/2794.21 c #Conflicts: 1799000 | #Constraints: 85088
2785.31/2794.21 c #Conflicts: 1800000 | #Constraints: 86088
2785.31/2794.21 c #Conflicts: 1801000 | #Constraints: 87088
2785.31/2794.21 c #Conflicts: 1802000 | #Constraints: 88088
2785.31/2794.21 c #Conflicts: 1803000 | #Constraints: 89088
2785.31/2794.21 c #Conflicts: 1804000 | #Constraints: 90088
2785.31/2794.21 c #Conflicts: 1805000 | #Constraints: 91088
2785.31/2794.21 c #Conflicts: 1806000 | #Constraints: 92088
2785.31/2794.21 c #Conflicts: 1807000 | #Constraints: 93088
2785.31/2794.21 c #Conflicts: 1808000 | #Constraints: 94088
2785.31/2794.21 c #Conflicts: 1809000 | #Constraints: 95088
2785.31/2794.21 c #Conflicts: 1810000 | #Constraints: 96088
2785.31/2794.21 c #Conflicts: 1811000 | #Constraints: 97088
2785.31/2794.21 c #Conflicts: 1812000 | #Constraints: 98088
2785.31/2794.21 c #Conflicts: 1813000 | #Constraints: 99088
2785.31/2794.21 c #Conflicts: 1814000 | #Constraints: 100088
2785.31/2794.21 c #Conflicts: 1815000 | #Constraints: 101088
2785.31/2794.21 c #Conflicts: 1816000 | #Constraints: 102088
2785.31/2794.21 c #Conflicts: 1817000 | #Constraints: 103088
2785.31/2794.21 c #Conflicts: 1818000 | #Constraints: 104088
2785.31/2794.21 c #Conflicts: 1819000 | #Constraints: 105088
2785.31/2794.21 c #Conflicts: 1820000 | #Constraints: 106088
2785.31/2794.21 c #Conflicts: 1821000 | #Constraints: 107088
2785.31/2794.21 c #Conflicts: 1822000 | #Constraints: 108088
2785.31/2794.21 c #Conflicts: 1823000 | #Constraints: 109088
2785.31/2794.21 c #Conflicts: 1824000 | #Constraints: 110088
2785.31/2794.21 c #Conflicts: 1825000 | #Constraints: 111088
2785.31/2794.21 c #Conflicts: 1826000 | #Constraints: 112088
2785.31/2794.21 c #Conflicts: 1827000 | #Constraints: 113088
2785.31/2794.21 c #Conflicts: 1828000 | #Constraints: 114088
2785.31/2794.21 c #Conflicts: 1829000 | #Constraints: 115088
2785.31/2794.21 c #Conflicts: 1830000 | #Constraints: 116088
2785.31/2794.21 c #Conflicts: 1831000 | #Constraints: 117088
2785.31/2794.21 c #Conflicts: 1832000 | #Constraints: 118088
3059.65/3069.54 c #Conflicts: 1833000 | #Constraints: 119088
3059.65/3069.54 c #Conflicts: 1834000 | #Constraints: 120088
3059.65/3069.54 c #Conflicts: 1835000 | #Constraints: 121088
3059.65/3069.54 c #Conflicts: 1836000 | #Constraints: 122088
3059.65/3069.54 c #Conflicts: 1837000 | #Constraints: 123088
3059.65/3069.54 c #Conflicts: 1838000 | #Constraints: 124088
3059.65/3069.54 c #Conflicts: 1839000 | #Constraints: 125088
3059.65/3069.54 c #Conflicts: 1840000 | #Constraints: 126088
3059.65/3069.54 c #Conflicts: 1841000 | #Constraints: 127088
3059.65/3069.54 c #Conflicts: 1842000 | #Constraints: 128088
3059.65/3069.54 c #Conflicts: 1843000 | #Constraints: 129088
3059.65/3069.54 c #Conflicts: 1844000 | #Constraints: 130088
3059.65/3069.54 c #Conflicts: 1845000 | #Constraints: 131088
3059.65/3069.54 c #Conflicts: 1846000 | #Constraints: 132088
3059.65/3069.54 c #Conflicts: 1847000 | #Constraints: 133088
3059.65/3069.54 c #Conflicts: 1848000 | #Constraints: 134088
3059.65/3069.54 c #Conflicts: 1849000 | #Constraints: 135088
3059.65/3069.54 c #Conflicts: 1850000 | #Constraints: 136088
3059.65/3069.54 c #Conflicts: 1851000 | #Constraints: 137088
3059.65/3069.54 c #Conflicts: 1852000 | #Constraints: 138088
3059.65/3069.54 c #Conflicts: 1853000 | #Constraints: 139088
3059.65/3069.54 c #Conflicts: 1854000 | #Constraints: 140088
3059.65/3069.54 c #Conflicts: 1855000 | #Constraints: 141088
3059.65/3069.54 c #Conflicts: 1856000 | #Constraints: 142088
3059.65/3069.54 c #Conflicts: 1857000 | #Constraints: 143088
3059.65/3069.54 c #Conflicts: 1858000 | #Constraints: 144088
3059.65/3069.54 c #Conflicts: 1859000 | #Constraints: 145088
3059.65/3069.54 c #Conflicts: 1860000 | #Constraints: 146088
3059.65/3069.54 c #Conflicts: 1861000 | #Constraints: 147088
3059.65/3069.54 c #Conflicts: 1862000 | #Constraints: 148088
3059.65/3069.54 c #Conflicts: 1863000 | #Constraints: 149088
3059.65/3069.54 c #Conflicts: 1864000 | #Constraints: 150088
3059.65/3069.54 c #Conflicts: 1865000 | #Constraints: 151088
3059.65/3069.54 c #Conflicts: 1866000 | #Constraints: 152088
3059.65/3069.54 c #Conflicts: 1867000 | #Constraints: 153088
3059.65/3069.54 c #Conflicts: 1868000 | #Constraints: 154088
3059.65/3069.54 c #Conflicts: 1869000 | #Constraints: 155088
3059.65/3069.54 c #Conflicts: 1870000 | #Constraints: 156088
3059.65/3069.54 c #Conflicts: 1871000 | #Constraints: 157088
3059.65/3069.54 c #Conflicts: 1872000 | #Constraints: 158088
3059.65/3069.54 c #Conflicts: 1873000 | #Constraints: 159088
3059.65/3069.54 c #Conflicts: 1874000 | #Constraints: 160088
3059.65/3069.54 c #Conflicts: 1875000 | #Constraints: 161088
3059.65/3069.54 c #Conflicts: 1876000 | #Constraints: 162088
3059.65/3069.54 c #Conflicts: 1877000 | #Constraints: 163088
3059.65/3069.54 c #Conflicts: 1878000 | #Constraints: 164088
3059.65/3069.54 c #Conflicts: 1879000 | #Constraints: 165088
3059.65/3069.54 c #Conflicts: 1880000 | #Constraints: 166088
3059.65/3069.54 c #Conflicts: 1881000 | #Constraints: 167088
3059.65/3069.54 c #Conflicts: 1882000 | #Constraints: 168088
3059.65/3069.54 c #Conflicts: 1883000 | #Constraints: 169088
3059.65/3069.54 c #Conflicts: 1884000 | #Constraints: 170088
3059.65/3069.54 c #Conflicts: 1885000 | #Constraints: 171088
3059.65/3069.54 c #Conflicts: 1886000 | #Constraints: 172088
3059.65/3069.54 c #Conflicts: 1887000 | #Constraints: 173088
3059.65/3069.54 c #Conflicts: 1888000 | #Constraints: 174088
3059.65/3069.54 c #Conflicts: 1889000 | #Constraints: 175088
3059.65/3069.54 c #Conflicts: 1890000 | #Constraints: 176088
3059.65/3069.54 c #Conflicts: 1891000 | #Constraints: 177088
3059.65/3069.54 c #Conflicts: 1892000 | #Constraints: 178088
3059.65/3069.54 c INPROCESSING
3059.65/3069.54 c GARBAGE COLLECT
3059.65/3069.54 c #Conflicts: 1893000 | #Constraints: 110741
3059.65/3069.54 c #Conflicts: 1894000 | #Constraints: 111741
3059.65/3069.54 c #Conflicts: 1895000 | #Constraints: 112741
3059.65/3069.54 c #Conflicts: 1896000 | #Constraints: 113741
3059.65/3069.54 c #Conflicts: 1897000 | #Constraints: 114741
3059.65/3069.54 c #Conflicts: 1898000 | #Constraints: 115741
3059.65/3069.54 c #Conflicts: 1899000 | #Constraints: 116741
3059.65/3069.54 c #Conflicts: 1900000 | #Constraints: 117741
3059.65/3069.54 c #Conflicts: 1901000 | #Constraints: 118741
3059.65/3069.54 c #Conflicts: 1902000 | #Constraints: 119741
3059.65/3069.54 c #Conflicts: 1903000 | #Constraints: 120741
3059.65/3069.54 c #Conflicts: 1904000 | #Constraints: 121741
3059.65/3069.54 c #Conflicts: 1905000 | #Constraints: 122741
3059.65/3069.54 c #Conflicts: 1906000 | #Constraints: 123741
3059.65/3069.54 c #Conflicts: 1907000 | #Constraints: 124741
3059.65/3069.54 c #Conflicts: 1908000 | #Constraints: 125741
3059.65/3069.54 c #Conflicts: 1909000 | #Constraints: 126741
3059.65/3069.54 c #Conflicts: 1910000 | #Constraints: 127741
3272.19/3282.80 c #Conflicts: 1911000 | #Constraints: 128741
3272.19/3282.80 c #Conflicts: 1912000 | #Constraints: 129741
3272.19/3282.80 c #Conflicts: 1913000 | #Constraints: 130741
3272.19/3282.80 c #Conflicts: 1914000 | #Constraints: 131741
3272.19/3282.80 c #Conflicts: 1915000 | #Constraints: 132741
3272.19/3282.80 c #Conflicts: 1916000 | #Constraints: 133741
3272.19/3282.80 c #Conflicts: 1917000 | #Constraints: 134741
3272.19/3282.80 c #Conflicts: 1918000 | #Constraints: 135741
3272.19/3282.80 c #Conflicts: 1919000 | #Constraints: 136741
3272.19/3282.80 c #Conflicts: 1920000 | #Constraints: 137741
3272.19/3282.80 c #Conflicts: 1921000 | #Constraints: 138741
3272.19/3282.80 c #Conflicts: 1922000 | #Constraints: 139741
3272.19/3282.80 c #Conflicts: 1923000 | #Constraints: 140741
3272.19/3282.80 c INPROCESSING
3272.19/3282.80 c GARBAGE COLLECT
3272.19/3282.80 c #Conflicts: 1924000 | #Constraints: 91965
3272.19/3282.80 c #Conflicts: 1925000 | #Constraints: 92965
3272.19/3282.80 c #Conflicts: 1926000 | #Constraints: 93965
3272.19/3282.80 c #Conflicts: 1927000 | #Constraints: 94965
3272.19/3282.80 c #Conflicts: 1928000 | #Constraints: 95965
3272.19/3282.80 c #Conflicts: 1929000 | #Constraints: 96965
3272.19/3282.80 c #Conflicts: 1930000 | #Constraints: 97965
3272.19/3282.80 c #Conflicts: 1931000 | #Constraints: 98965
3272.19/3282.80 c #Conflicts: 1932000 | #Constraints: 99965
3272.19/3282.80 c #Conflicts: 1933000 | #Constraints: 100965
3272.19/3282.80 c #Conflicts: 1934000 | #Constraints: 101965
3272.19/3282.80 c #Conflicts: 1935000 | #Constraints: 102965
3272.19/3282.80 c #Conflicts: 1936000 | #Constraints: 103965
3272.19/3282.80 c #Conflicts: 1937000 | #Constraints: 104965
3272.19/3282.80 c #Conflicts: 1938000 | #Constraints: 105965
3272.19/3282.80 c #Conflicts: 1939000 | #Constraints: 106965
3272.19/3282.80 c #Conflicts: 1940000 | #Constraints: 107965
3272.19/3282.80 c #Conflicts: 1941000 | #Constraints: 108965
3272.19/3282.80 c #Conflicts: 1942000 | #Constraints: 109965
3272.19/3282.80 c #Conflicts: 1943000 | #Constraints: 110965
3272.19/3282.80 c #Conflicts: 1944000 | #Constraints: 111965
3272.19/3282.80 c #Conflicts: 1945000 | #Constraints: 112965
3272.19/3282.80 c #Conflicts: 1946000 | #Constraints: 113965
3272.19/3282.80 c #Conflicts: 1947000 | #Constraints: 114965
3272.19/3282.80 c #Conflicts: 1948000 | #Constraints: 115965
3272.19/3282.80 c #Conflicts: 1949000 | #Constraints: 116965
3272.19/3282.80 c #Conflicts: 1950000 | #Constraints: 117965
3272.19/3282.80 c #Conflicts: 1951000 | #Constraints: 118965
3272.19/3282.80 c #Conflicts: 1952000 | #Constraints: 119965
3272.19/3282.80 c #Conflicts: 1953000 | #Constraints: 120965
3272.19/3282.80 c #Conflicts: 1954000 | #Constraints: 121965
3272.19/3282.80 c #Conflicts: 1955000 | #Constraints: 122965
3272.19/3282.80 c INPROCESSING
3272.19/3282.80 c GARBAGE COLLECT
3272.19/3282.80 c #Conflicts: 1956000 | #Constraints: 83375
3272.19/3282.80 c #Conflicts: 1957000 | #Constraints: 84375
3272.19/3282.80 c #Conflicts: 1958000 | #Constraints: 85375
3272.19/3282.80 c #Conflicts: 1959000 | #Constraints: 86375
3272.19/3282.80 c #Conflicts: 1960000 | #Constraints: 87375
3272.19/3282.80 c #Conflicts: 1961000 | #Constraints: 88375
3272.19/3282.80 c #Conflicts: 1962000 | #Constraints: 89375
3272.19/3282.80 c #Conflicts: 1963000 | #Constraints: 90375
3272.19/3282.80 c #Conflicts: 1964000 | #Constraints: 91375
3272.19/3282.80 c #Conflicts: 1965000 | #Constraints: 92375
3272.19/3282.80 c #Conflicts: 1966000 | #Constraints: 93375
3272.19/3282.80 c #Conflicts: 1967000 | #Constraints: 94375
3272.19/3282.80 c #Conflicts: 1968000 | #Constraints: 95375
3272.19/3282.80 c #Conflicts: 1969000 | #Constraints: 96375
3272.19/3282.80 c #Conflicts: 1970000 | #Constraints: 97375
3272.19/3282.80 c #Conflicts: 1971000 | #Constraints: 98375
3272.19/3282.80 c #Conflicts: 1972000 | #Constraints: 99375
3272.19/3282.80 c #Conflicts: 1973000 | #Constraints: 100375
3272.19/3282.80 c #Conflicts: 1974000 | #Constraints: 101375
3272.19/3282.80 c #Conflicts: 1975000 | #Constraints: 102375
3272.19/3282.80 c #Conflicts: 1976000 | #Constraints: 103375
3272.19/3282.80 c #Conflicts: 1977000 | #Constraints: 104375
3272.19/3282.80 c #Conflicts: 1978000 | #Constraints: 105375
3272.19/3282.80 c #Conflicts: 1979000 | #Constraints: 106375
3272.19/3282.80 c #Conflicts: 1980000 | #Constraints: 107375
3272.19/3282.80 c #Conflicts: 1981000 | #Constraints: 108375
3272.19/3282.80 c #Conflicts: 1982000 | #Constraints: 109375
3272.19/3282.80 c #Conflicts: 1983000 | #Constraints: 110375
3272.19/3282.80 c #Conflicts: 1984000 | #Constraints: 111375
3272.19/3282.80 c #Conflicts: 1985000 | #Constraints: 112375
3272.19/3282.80 c #Conflicts: 1986000 | #Constraints: 113375
3272.19/3282.80 c INPROCESSING
3272.19/3282.80 c GARBAGE COLLECT
3272.19/3282.80 c #Conflicts: 1987000 | #Constraints: 78292
3421.86/3433.05 c #Conflicts: 1988000 | #Constraints: 79292
3421.86/3433.05 c #Conflicts: 1989000 | #Constraints: 80292
3421.86/3433.05 c #Conflicts: 1990000 | #Constraints: 81292
3421.86/3433.05 c #Conflicts: 1991000 | #Constraints: 82292
3421.86/3433.05 c #Conflicts: 1992000 | #Constraints: 83292
3421.86/3433.05 c #Conflicts: 1993000 | #Constraints: 84292
3421.86/3433.05 c #Conflicts: 1994000 | #Constraints: 85292
3421.86/3433.05 c #Conflicts: 1995000 | #Constraints: 86292
3421.86/3433.05 c #Conflicts: 1996000 | #Constraints: 87292
3421.86/3433.05 c #Conflicts: 1997000 | #Constraints: 88292
3421.86/3433.05 c #Conflicts: 1998000 | #Constraints: 89292
3421.86/3433.05 c #Conflicts: 1999000 | #Constraints: 90292
3421.86/3433.05 c #Conflicts: 2000000 | #Constraints: 91292
3421.86/3433.05 c #Conflicts: 2001000 | #Constraints: 92292
3421.86/3433.05 c #Conflicts: 2002000 | #Constraints: 93292
3421.86/3433.05 c #Conflicts: 2003000 | #Constraints: 94292
3421.86/3433.05 c #Conflicts: 2004000 | #Constraints: 95292
3421.86/3433.05 c #Conflicts: 2005000 | #Constraints: 96292
3421.86/3433.05 c #Conflicts: 2006000 | #Constraints: 97292
3421.86/3433.05 c #Conflicts: 2007000 | #Constraints: 98292
3421.86/3433.05 c #Conflicts: 2008000 | #Constraints: 99292
3421.86/3433.05 c #Conflicts: 2009000 | #Constraints: 100292
3421.86/3433.05 c #Conflicts: 2010000 | #Constraints: 101292
3421.86/3433.05 c #Conflicts: 2011000 | #Constraints: 102292
3421.86/3433.05 c #Conflicts: 2012000 | #Constraints: 103292
3421.86/3433.05 c #Conflicts: 2013000 | #Constraints: 104292
3421.86/3433.05 c #Conflicts: 2014000 | #Constraints: 105292
3421.86/3433.05 c #Conflicts: 2015000 | #Constraints: 106292
3421.86/3433.05 c #Conflicts: 2016000 | #Constraints: 107292
3421.86/3433.05 c #Conflicts: 2017000 | #Constraints: 108292
3421.86/3433.05 c #Conflicts: 2018000 | #Constraints: 109292
3421.86/3433.05 c INPROCESSING
3421.86/3433.05 c GARBAGE COLLECT
3421.86/3433.05 c #Conflicts: 2019000 | #Constraints: 76342
3421.86/3433.05 c #Conflicts: 2020000 | #Constraints: 77342
3421.86/3433.05 c #Conflicts: 2021000 | #Constraints: 78342
3421.86/3433.05 c #Conflicts: 2022000 | #Constraints: 79342
3421.86/3433.05 c #Conflicts: 2023000 | #Constraints: 80342
3421.86/3433.05 c #Conflicts: 2024000 | #Constraints: 81342
3421.86/3433.05 c #Conflicts: 2025000 | #Constraints: 82342
3421.86/3433.05 c #Conflicts: 2026000 | #Constraints: 83342
3421.86/3433.05 c #Conflicts: 2027000 | #Constraints: 84342
3421.86/3433.05 c #Conflicts: 2028000 | #Constraints: 85342
3421.86/3433.05 c #Conflicts: 2029000 | #Constraints: 86342
3421.86/3433.05 c #Conflicts: 2030000 | #Constraints: 87342
3421.86/3433.05 c #Conflicts: 2031000 | #Constraints: 88342
3421.86/3433.05 c #Conflicts: 2032000 | #Constraints: 89342
3421.86/3433.05 c #Conflicts: 2033000 | #Constraints: 90342
3421.86/3433.05 c #Conflicts: 2034000 | #Constraints: 91342
3421.86/3433.05 c #Conflicts: 2035000 | #Constraints: 92342
3421.86/3433.05 c #Conflicts: 2036000 | #Constraints: 93342
3421.86/3433.05 c #Conflicts: 2037000 | #Constraints: 94342
3421.86/3433.05 c #Conflicts: 2038000 | #Constraints: 95342
3421.86/3433.05 c #Conflicts: 2039000 | #Constraints: 96342
3421.86/3433.05 c #Conflicts: 2040000 | #Constraints: 97342
3421.86/3433.05 c #Conflicts: 2041000 | #Constraints: 98342
3421.86/3433.05 c #Conflicts: 2042000 | #Constraints: 99342
3421.86/3433.05 c #Conflicts: 2043000 | #Constraints: 100342
3421.86/3433.05 c #Conflicts: 2044000 | #Constraints: 101342
3421.86/3433.05 c #Conflicts: 2045000 | #Constraints: 102342
3421.86/3433.05 c #Conflicts: 2046000 | #Constraints: 103342
3421.86/3433.05 c #Conflicts: 2047000 | #Constraints: 104342
3421.86/3433.05 c #Conflicts: 2048000 | #Constraints: 105342
3421.86/3433.05 c #Conflicts: 2049000 | #Constraints: 106342
3421.86/3433.05 c #Conflicts: 2050000 | #Constraints: 107342
3421.86/3433.05 c #Conflicts: 2051000 | #Constraints: 108342
3421.86/3433.05 c #Conflicts: 2052000 | #Constraints: 109342
3421.86/3433.05 c #Conflicts: 2053000 | #Constraints: 110342
3421.86/3433.05 c #Conflicts: 2054000 | #Constraints: 111342
3421.86/3433.05 c #Conflicts: 2055000 | #Constraints: 112342
3421.86/3433.05 c #Conflicts: 2056000 | #Constraints: 113342
3421.86/3433.05 c #Conflicts: 2057000 | #Constraints: 114342
3421.86/3433.05 c #Conflicts: 2058000 | #Constraints: 115342
3421.86/3433.05 c #Conflicts: 2059000 | #Constraints: 116342
3421.86/3433.05 c #Conflicts: 2060000 | #Constraints: 117342
3421.86/3433.05 c #Conflicts: 2061000 | #Constraints: 118342
3421.86/3433.05 c #Conflicts: 2062000 | #Constraints: 119342
3421.86/3433.05 c #Conflicts: 2063000 | #Constraints: 120342
3421.86/3433.05 c #Conflicts: 2064000 | #Constraints: 121342
3421.86/3433.05 c #Conflicts: 2065000 | #Constraints: 122342
3600.02/3611.80 c #Conflicts: 2066000 | #Constraints: 123342
3600.02/3611.80 c #Conflicts: 2067000 | #Constraints: 124342
3600.02/3611.80 c #Conflicts: 2068000 | #Constraints: 125342
3600.02/3611.80 c #Conflicts: 2069000 | #Constraints: 126342
3600.02/3611.80 c #Conflicts: 2070000 | #Constraints: 127342
3600.02/3611.80 c #Conflicts: 2071000 | #Constraints: 128342
3600.02/3611.80 c #Conflicts: 2072000 | #Constraints: 129342
3600.02/3611.80 c #Conflicts: 2073000 | #Constraints: 130342
3600.02/3611.80 c #Conflicts: 2074000 | #Constraints: 131342
3600.02/3611.80 c #Conflicts: 2075000 | #Constraints: 132342
3600.02/3611.80 c #Conflicts: 2076000 | #Constraints: 133342
3600.02/3611.80 c #Conflicts: 2077000 | #Constraints: 134342
3600.02/3611.80 c #Conflicts: 2078000 | #Constraints: 135342
3600.02/3611.80 c #Conflicts: 2079000 | #Constraints: 136342
3600.02/3611.80 c #Conflicts: 2080000 | #Constraints: 137342
3600.02/3611.80 c #Conflicts: 2081000 | #Constraints: 138342
3600.02/3611.80 c #Conflicts: 2082000 | #Constraints: 139342
3600.02/3611.80 c #Conflicts: 2083000 | #Constraints: 140342
3600.02/3611.80 c #Conflicts: 2084000 | #Constraints: 141342
3600.02/3611.80 c #Conflicts: 2085000 | #Constraints: 142342
3600.02/3611.80 c #Conflicts: 2086000 | #Constraints: 143342
3600.02/3611.80 c #Conflicts: 2087000 | #Constraints: 144342
3600.02/3611.80 c #Conflicts: 2088000 | #Constraints: 145342
3600.02/3611.80 c #Conflicts: 2089000 | #Constraints: 146342
3600.02/3611.80 c #Conflicts: 2090000 | #Constraints: 147342
3600.02/3611.80 c #Conflicts: 2091000 | #Constraints: 148342
3600.02/3611.80 c #Conflicts: 2092000 | #Constraints: 149342
3600.02/3611.80 c #Conflicts: 2093000 | #Constraints: 150342
3600.02/3611.80 c #Conflicts: 2094000 | #Constraints: 151342
3600.02/3611.80 c #Conflicts: 2095000 | #Constraints: 152342
3600.02/3611.80 c #Conflicts: 2096000 | #Constraints: 153342
3600.02/3611.80 c #Conflicts: 2097000 | #Constraints: 154342
3600.02/3611.80 c #Conflicts: 2098000 | #Constraints: 155342
3600.02/3611.80 c #Conflicts: 2099000 | #Constraints: 156342
3600.02/3611.80 c #Conflicts: 2100000 | #Constraints: 157342
3600.02/3611.80 c #Conflicts: 2101000 | #Constraints: 158342
3600.02/3611.80 c #Conflicts: 2102000 | #Constraints: 159342
3600.02/3611.80 c #Conflicts: 2103000 | #Constraints: 160342
3600.02/3611.80 c #Conflicts: 2104000 | #Constraints: 161342
3600.02/3611.80 c #Conflicts: 2105000 | #Constraints: 162342
3600.02/3611.80 c #Conflicts: 2106000 | #Constraints: 163342
3600.02/3611.80 c #Conflicts: 2107000 | #Constraints: 164342
3600.02/3611.80 c #Conflicts: 2108000 | #Constraints: 165342
3600.02/3611.80 c #Conflicts: 2109000 | #Constraints: 166342
3600.02/3611.80 c #Conflicts: 2110000 | #Constraints: 167342
3600.02/3611.80 c #Conflicts: 2111000 | #Constraints: 168342
3600.02/3611.80 c #Conflicts: 2112000 | #Constraints: 169342
3600.02/3611.80 c #Conflicts: 2113000 | #Constraints: 170342
3600.02/3611.80 c #Conflicts: 2114000 | #Constraints: 171342
3600.02/3611.80 c #Conflicts: 2115000 | #Constraints: 172342
3600.02/3611.80 c Program interrupted by user.
3600.02/3611.80 c cpu time 3590.2 s
3600.02/3611.80 c deterministic time 354238399249 3.54e+11
3600.02/3611.80 c optimization time 270.902 s
3600.02/3611.80 c total solve time 3319.24 s
3600.02/3611.80 c core-guided solve time 3319.24 s
3600.02/3611.80 c propagation time 2965.19 s
3600.02/3611.80 c conflict analysis time 605.269 s
3600.02/3611.80 c propagations 572396113
3600.02/3611.80 c resolve steps 46015011
3600.02/3611.80 c decisions 3949704
3600.02/3611.80 c conflicts 2115547
3600.02/3611.80 c restarts 4092
3600.02/3611.80 c inprocessing phases 87
3600.02/3611.80 c input clauses 41493
3600.02/3611.80 c input cardinalities 139
3600.02/3611.80 c input general constraints 85
3600.02/3611.80 c input average constraint length 2.79
3600.02/3611.80 c input average constraint degree 1.40
3600.02/3611.80 c learned clauses 1707693
3600.02/3611.80 c learned cardinalities 2162
3600.02/3611.80 c learned general constraints 405688
3600.02/3611.80 c learned average constraint length 57.88
3600.02/3611.80 c learned average constraint degree 277.06
3600.02/3611.80 c watched constraints 359399
3600.02/3611.80 c counting constraints 46374
3600.02/3611.80 c gcd simplifications 7252
3600.02/3611.80 c detected cardinalities 235
3600.02/3611.80 c weakened non-implied lits 10137104
3600.02/3611.80 c weakened non-implying lits 15769
3600.02/3611.80 c original variables 760
3600.02/3611.80 c clausal propagations 536310282
3600.02/3611.80 c cardinality propagations 145371
3600.02/3611.80 c watched propagations 5015757
3600.02/3611.80 c counting propagations 29144674
3600.02/3611.80 c watch lookups 95741037404
3600.02/3611.80 c watch backjump lookups 81791870632
3600.02/3611.80 c watch checks 158216006521
3600.02/3611.80 c propagation checks 16898802187
3600.02/3611.80 c constraint additions 435875842
3600.02/3611.80 c trail pops 578460845
3600.02/3611.80 c formula constraints 41263
3600.02/3611.80 c learned constraints 2115543
3600.02/3611.80 c bound constraints 40
3600.02/3611.80 c core-guided constraints 414
3600.02/3611.80 c encountered formula constraints 19927885
3600.02/3611.80 c encountered learned constraints 26140640
3600.02/3611.80 c encountered bound constraints 181
3600.02/3611.80 c encountered core-guided constraints 2061852
3600.02/3611.80 c LP total time 0 s
3600.02/3611.80 c LP solve time 0 s
3600.02/3611.80 c LP constraints added 0
3600.02/3611.80 c LP constraints removed 0
3600.02/3611.80 c LP pivots internal 0
3600.02/3611.80 c LP pivots root 0
3600.02/3611.80 c LP calls 0
3600.02/3611.80 c LP optimalities 0
3600.02/3611.80 c LP no pivot count 0
3600.02/3611.80 c LP infeasibilities 0
3600.02/3611.80 c LP valid Farkas constraints 0
3600.02/3611.80 c LP learned Farkas constraints 0
3600.02/3611.80 c LP basis resets 0
3600.02/3611.80 c LP cycling count 0
3600.02/3611.80 c LP singular count 0
3600.02/3611.80 c LP no primal count 0
3600.02/3611.80 c LP no farkas count 0
3600.02/3611.80 c LP other issue count 0
3600.02/3611.80 c LP Gomory cuts 0
3600.02/3611.80 c LP learned cuts 0
3600.02/3611.80 c LP deleted cuts 0
3600.02/3611.80 c LP encountered Gomory constraints 0
3600.02/3611.80 c LP encountered Farkas constraints 0
3600.02/3611.80 c LP encountered learned Farkas constraints 0
3600.02/3611.80 c CG auxiliary variables introduced 247
3600.02/3611.80 c CG solutions found 1
3600.02/3611.80 c CG cores constructed 25
3600.02/3611.80 c CG core cardinality constraints returned 0
3600.02/3611.80 c CG unit cores 0
3600.02/3611.80 c CG single cores 25
3600.02/3611.80 c CG blocks removed during cardinality reduction 0
3600.02/3611.80 c CG first core best 0
3600.02/3611.80 c CG decision core best 0
3600.02/3611.80 c CG core reduction tie 0
3600.02/3611.80 c CG core degree average 1.00
3600.02/3611.80 c CG core slack average 8.28
3600.02/3611.80 c CG exhausted 3
3600.02/3611.80 c CG exhaust time 1.18537 s
3600.02/3611.80 c CG trimmed 7
3600.02/3611.80 c CG trim time 0.001028 s
3600.02/3611.80 c CG minimized 0
3600.02/3611.80 c CG minimize time 0 s
3600.02/3611.80 c CG am1 prop time 0.00275 s
3600.02/3611.80 c CG # am1s reformulated 155
3600.02/3611.80 c CG lower bound derived from am1s 604
3600.02/3611.80 c CG # clausal cores 25
3600.02/3611.80 c CG # cardinality cores 0
3600.02/3611.80 c CG # pb cores 0
3600.02/3611.80 c CG # pb reforms 0
3600.02/3611.80 c CG # cores discarded because of pb reform 0
3600.02/3611.80 d LOWERBOUND -128
3600.02/3611.80 d NCORES 25
3600.02/3611.80 d NPBCORES 0
3600.02/3611.80 d NPBREFORM 0
3600.02/3611.80 d NTRIMMED 7
3600.02/3611.80 d NEXHAUSTED 3
3600.02/3611.80 d NAM1S 155
3600.02/3611.80 d AM1LB 604
3600.02/3611.80 o -31
3600.02/3611.80 s SATISFIABLE
3600.02/3611.80 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63931 MiB (59962 MiB free)
memory of node 1: 64510 MiB (60642 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454365-1721437676/watcher-4454365-1721437676 -o /tmp/evaluation-result-4454365-1721437676/solver-4454365-1721437676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063212 --watchdog 3760 pb-oll-rs HOME/instance-4454365-1721437676.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1065319, runsolver pid=1065316
[startup+0.100208 s]*
/proc/loadavg: 4.13 4.14 4.09 5/256 1065320
/proc/meminfo: memFree=123493496/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=41616 memory=11856 CPUtime=0.09 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 1297 0 0 0 6 3 0 0 20 0 1 0 195932925 42614784 2964 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 10404 2964 1320 291 0 1938 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41616 KiB
Current children cumulated memory: 11856 KiB
[startup+0.20534 s]*
/proc/loadavg: 4.13 4.14 4.09 5/256 1065320
/proc/meminfo: memFree=123490124/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=44592 memory=14700 CPUtime=0.19 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 2018 0 0 0 15 4 0 0 20 0 1 0 195932925 45662208 3675 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 11148 3675 1397 291 0 2682 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 44592 KiB
Current children cumulated memory: 14700 KiB
[startup+0.304996 s]*
/proc/loadavg: 4.13 4.14 4.09 5/256 1065320
/proc/meminfo: memFree=123487772/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=47708 memory=16748 CPUtime=0.29 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 2498 0 0 0 25 4 0 0 20 0 1 0 195932925 48852992 4187 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 11927 4187 1397 291 0 3461 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 47708 KiB
Current children cumulated memory: 16748 KiB
[startup+0.700152 s]
/proc/loadavg: 4.13 4.14 4.09 5/256 1065320
/proc/meminfo: memFree=123483152/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=54216 memory=21412 CPUtime=0.68 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 3868 0 0 0 63 5 0 0 20 0 1 0 195932925 55517184 5353 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 13554 5353 1450 291 0 5088 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 54216 KiB
Current children cumulated memory: 21412 KiB
[startup+1.50017 s]
/proc/loadavg: 4.13 4.14 4.09 5/256 1065320
/proc/meminfo: memFree=123478816/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=55660 memory=26060 CPUtime=1.48 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 4854 0 0 0 141 7 0 0 20 0 1 0 195932925 56995840 6515 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 13915 6515 1450 291 0 5449 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55660 KiB
Current children cumulated memory: 26060 KiB
[startup+3.10504 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 1065320
/proc/meminfo: memFree=123475376/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=57036 memory=27656 CPUtime=3.09 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 6865 0 0 0 297 12 0 0 20 0 1 0 195932925 58404864 6914 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 14259 6914 1450 291 0 5793 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57036 KiB
Current children cumulated memory: 27656 KiB
[startup+6.30014 s]
/proc/loadavg: 4.12 4.13 4.09 5/256 1065320
/proc/meminfo: memFree=123472936/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=57216 memory=27840 CPUtime=6.27 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 7521 0 0 0 610 17 0 0 20 0 1 0 195932925 58589184 6960 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 14304 6960 1450 291 0 5838 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 57216 KiB
Current children cumulated memory: 27840 KiB
[startup+12.7001 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 1065321
/proc/meminfo: memFree=123469312/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=59744 memory=30028 CPUtime=12.65 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 8387 0 0 0 1241 24 0 0 20 0 1 0 195932925 61177856 7507 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 14936 7507 1450 291 0 6470 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59744 KiB
Current children cumulated memory: 30028 KiB
[startup+25.5002 s]
/proc/loadavg: 4.09 4.12 4.09 5/256 1065323
/proc/meminfo: memFree=123459656/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=59764 memory=30060 CPUtime=25.41 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 9009 0 0 0 2503 38 0 0 20 0 1 0 195932925 61198336 7515 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 14941 7515 1450 291 0 6475 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 59764 KiB
Current children cumulated memory: 30060 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.13 4.09 5/256 1065327
/proc/meminfo: memFree=123445952/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=61120 memory=31688 CPUtime=50.94 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 9983 0 0 0 5034 60 0 0 20 0 1 0 195932925 62586880 7922 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 15280 7922 1450 291 0 6814 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 61120 KiB
Current children cumulated memory: 31688 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/256 1065336
/proc/meminfo: memFree=123425424/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=62564 memory=32908 CPUtime=101.98 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 11272 0 0 0 10106 92 0 0 20 0 1 0 195932925 64065536 8227 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 15641 8227 1450 291 0 7175 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 62564 KiB
Current children cumulated memory: 32908 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/258 1065351
/proc/meminfo: memFree=123419744/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=69728 memory=33772 CPUtime=161.79 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 11607 0 0 0 16057 122 0 0 20 0 1 0 195932925 71401472 8443 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 17432 8443 1450 291 0 8966 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 69728 KiB
Current children cumulated memory: 33772 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/258 1065362
/proc/meminfo: memFree=123405760/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=72280 memory=38112 CPUtime=221.61 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 12507 0 0 0 22016 145 0 0 20 0 1 0 195932925 74014720 9528 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 18070 9528 1450 291 0 9604 0
Current children cumulated CPU time: 221.61 s
Current children cumulated vsize: 72280 KiB
Current children cumulated memory: 38112 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/258 1065372
/proc/meminfo: memFree=123394736/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=72280 memory=38332 CPUtime=281.41 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 12536 0 0 0 27972 169 0 0 20 0 1 0 195932925 74014720 9583 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 18070 9583 1450 291 0 9604 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 72280 KiB
Current children cumulated memory: 38332 KiB
[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/258 1065383
/proc/meminfo: memFree=123384352/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=74444 memory=42584 CPUtime=341.22 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 13479 0 0 0 33922 200 0 0 20 0 1 0 195932925 76230656 10646 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 18611 10646 1450 291 0 10145 0
Current children cumulated CPU time: 341.22 s
Current children cumulated vsize: 74444 KiB
Current children cumulated memory: 42584 KiB
[startup+402.3 s]
/proc/loadavg: 4.26 4.15 4.10 5/258 1065395
/proc/meminfo: memFree=123364416/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=88396 memory=51108 CPUtime=401.04 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 14454 0 0 0 39879 225 0 0 20 0 1 0 195932925 90517504 12777 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 22099 12777 1450 291 0 13633 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 88396 KiB
Current children cumulated memory: 51108 KiB
[startup+462.3 s]
/proc/loadavg: 4.21 4.15 4.10 5/256 1065406
/proc/meminfo: memFree=123356652/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=87612 memory=50464 CPUtime=460.84 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 14806 0 0 0 45828 256 0 0 20 0 1 0 195932925 89714688 12616 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 21903 12616 1450 291 0 13437 0
################
# More data... #
################
Current children cumulated memory: 78288 KiB
[startup+2862.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/257 1066859
/proc/meminfo: memFree=123143724/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=115860 memory=78288 CPUtime=2853.18 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 21635 0 0 0 284460 858 0 0 20 0 1 0 195932925 118640640 19572 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 28965 19572 1450 291 0 20499 0
Current children cumulated CPU time: 2853.18 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 78288 KiB
[startup+2922.3 s]
/proc/loadavg: 4.13 4.13 4.11 5/257 1066869
/proc/meminfo: memFree=123136852/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=115860 memory=78288 CPUtime=2912.98 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 21666 0 0 0 290430 868 0 0 20 0 1 0 195932925 118640640 19572 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 28965 19572 1450 291 0 20499 0
Current children cumulated CPU time: 2912.98 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 78288 KiB
[startup+2982.3 s]
/proc/loadavg: 4.09 4.12 4.11 5/257 1066880
/proc/meminfo: memFree=123136940/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=115860 memory=78288 CPUtime=2972.76 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 21700 0 0 0 296402 874 0 0 20 0 1 0 195932925 118640640 19572 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 28965 19572 1450 291 0 20499 0
Current children cumulated CPU time: 2972.76 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 78288 KiB
[startup+3042.3 s]
/proc/loadavg: 4.15 4.13 4.11 5/259 1067060
/proc/meminfo: memFree=123131000/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=119136 memory=83408 CPUtime=3032.55 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 22506 0 0 0 302373 882 0 0 20 0 1 0 195932925 121995264 20852 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29784 20852 1450 291 0 21318 0
Current children cumulated CPU time: 3032.55 s
Current children cumulated vsize: 119136 KiB
Current children cumulated memory: 83408 KiB
[startup+3102.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/259 1067071
/proc/meminfo: memFree=123127176/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=119136 memory=83408 CPUtime=3092.34 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 22533 0 0 0 308345 889 0 0 20 0 1 0 195932925 121995264 20852 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29784 20852 1450 291 0 21318 0
Current children cumulated CPU time: 3092.34 s
Current children cumulated vsize: 119136 KiB
Current children cumulated memory: 83408 KiB
[startup+3162.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/258 1067084
/proc/meminfo: memFree=123126076/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=119136 memory=83448 CPUtime=3152.12 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 22621 0 0 0 314312 900 0 0 20 0 1 0 195932925 121995264 20862 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29784 20862 1450 291 0 21318 0
Current children cumulated CPU time: 3152.12 s
Current children cumulated vsize: 119136 KiB
Current children cumulated memory: 83448 KiB
[startup+3222.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/258 1067106
/proc/meminfo: memFree=123126740/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=117424 memory=81820 CPUtime=3211.9 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 22943 0 0 0 320278 912 0 0 20 0 1 0 195932925 120242176 20455 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29356 20455 1450 291 0 20890 0
Current children cumulated CPU time: 3211.9 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 81820 KiB
[startup+3282.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/258 1067116
/proc/meminfo: memFree=123124752/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=117424 memory=81820 CPUtime=3271.69 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 22968 0 0 0 326245 924 0 0 20 0 1 0 195932925 120242176 20455 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29356 20455 1450 291 0 20890 0
Current children cumulated CPU time: 3271.69 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 81820 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/257 1067127
/proc/meminfo: memFree=123118480/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=117424 memory=81952 CPUtime=3331.49 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 22992 0 0 0 332210 939 0 0 20 0 1 0 195932925 120242176 20488 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29356 20488 1450 291 0 20890 0
Current children cumulated CPU time: 3331.49 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 81952 KiB
[startup+3402.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/257 1067139
/proc/meminfo: memFree=123115036/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=117424 memory=81952 CPUtime=3391.26 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 23017 0 0 0 338172 954 0 0 20 0 1 0 195932925 120242176 20488 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29356 20488 1450 291 0 20890 0
Current children cumulated CPU time: 3391.26 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 81952 KiB
[startup+3462.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/255 1067149
/proc/meminfo: memFree=123106964/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=117424 memory=81952 CPUtime=3451.05 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 23046 0 0 0 344141 964 0 0 20 0 1 0 195932925 120242176 20488 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29356 20488 1450 291 0 20890 0
Current children cumulated CPU time: 3451.05 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 81952 KiB
[startup+3522.3 s]
/proc/loadavg: 4.21 4.12 4.10 5/255 1067160
/proc/meminfo: memFree=123105552/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=117424 memory=81952 CPUtime=3510.83 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 23078 0 0 0 350111 972 0 0 20 0 1 0 195932925 120242176 20488 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29356 20488 1450 291 0 20890 0
Current children cumulated CPU time: 3510.83 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 81952 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 1067171
/proc/meminfo: memFree=123104692/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=117424 memory=81952 CPUtime=3570.62 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 23111 0 0 0 356083 979 0 0 20 0 1 0 195932925 120242176 20488 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29356 20488 1450 291 0 20890 0
Current children cumulated CPU time: 3570.62 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 81952 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.8 s]
/proc/loadavg: 4.19 4.12 4.10 5/256 1067316
/proc/meminfo: memFree=123231972/131524600 swapFree=131071996/131071996
[pid=1065319] ppid=1065316 vsize=117424 memory=81952 CPUtime=3600.02 cores=0,2
/proc/1065319/stat : 1065319 (pb-oll-rs) R 1065316 1065319 1063202 0 -1 4194304 23146 0 0 0 359019 983 0 0 20 0 1 0 195932925 120242176 20488 134679101440 4194304 5384485 140724971846608 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13283328 140724971852821 140724971852898 140724971852898 140724971859915 0
/proc/1065319/statm: 29356 20488 1450 291 0 20890 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 81952 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.81 s]
# the end of solver process 1065319 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.2 s, system=9.83064 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3611.81
CPU time (s): 3600.03
CPU user time (s): 3590.2
CPU system time (s): 9.83064
CPU usage (%): 99.674
Max. virtual memory (cumulated for all children) (KiB): 119136
Max. memory (cumulated for all children) (KiB): 83656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.2
system time used= 9.83064
maximum resident set size= 83656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23164
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= 26
involuntary context switches= 24665
# summary of solver processes directly reported to runsolver:
# pid: 1065319
# total CPU time (s): 3600.03
# total CPU user time (s): 3590.2
# total CPU system time (s): 9.83064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4073 second user time and 9.70192 second system time
The end
Begin job on nodeC025 at 2024-07-20 03:08:08
IDJOB=4454365
IDBENCH=146695
IDSOLVER=3082
FILE ID=nodeC025/4454365-1721437676
RUNJOBID= nodeC025-1721434076-1063212
SLURM_JOB_ID= 7545633
Free space on /tmp= 890024 MiB
SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454365-1721437676/watcher-4454365-1721437676 -o /tmp/evaluation-result-4454365-1721437676/solver-4454365-1721437676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1721434076-1063212 --watchdog 3760 pb-oll-rs HOME/instance-4454365-1721437676.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=1826637962
nodeC025.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3658.192
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.157
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3655.004
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.894
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.721
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3678.266
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3608.504
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.72
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.330
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.09
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 123500276 kB
MemAvailable: 129559336 kB
Buffers: 561580 kB
Cached: 6267840 kB
SwapCached: 0 kB
Active: 1141700 kB
Inactive: 6101520 kB
Active(anon): 1556 kB
Inactive(anon): 458512 kB
Active(file): 1140144 kB
Inactive(file): 5643008 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 10396 kB
Writeback: 0 kB
AnonPages: 412076 kB
Mapped: 111400 kB
Shmem: 45912 kB
KReclaimable: 231108 kB
Slab: 360404 kB
SReclaimable: 231108 kB
SUnreclaim: 129296 kB
KernelStack: 4124 kB
PageTables: 10116 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 887660 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 73344 kB
HardwareCorrupted: 0 kB
AnonHugePages: 282624 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 318164 kB
DirectMap2M: 43495424 kB
DirectMap1G: 92274688 kB
Free space on /tmp at the end= 890016 MiB
End job on nodeC025 at 2024-07-20 04:08:20