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.10 c [STEP] solving
0.00/0.10 c #variables 760 #constraints 41263
0.00/0.10 c SMALL=int, LARGE=long long
0.00/0.10 c bounds - >= -760 @ 0.065942
0.00/0.10 c stratification level: 0
0.10/0.13 c bounds - >= -155 @ 0.085333
0.10/0.13 c bounds - >= -154 @ 0.085737
0.10/0.13 c bounds - >= -153 @ 0.085738
0.10/0.13 c bounds - >= -152 @ 0.085738
0.10/0.13 c bounds - >= -151 @ 0.086058
0.10/0.13 c bounds - >= -150 @ 0.086581
0.10/0.13 c bounds - >= -149 @ 0.087366
0.10/0.13 c bounds - >= -148 @ 0.087788
0.10/0.13 c bounds - >= -147 @ 0.088219
0.10/0.13 c bounds - >= -146 @ 0.088767
0.10/0.13 c bounds - >= -145 @ 0.089219
0.10/0.13 c bounds - >= -144 @ 0.089896
0.10/0.13 c bounds - >= -143 @ 0.090333
0.10/0.13 c bounds - >= -142 @ 0.090723
0.10/0.13 c bounds - >= -141 @ 0.090889
0.10/0.13 c bounds - >= -140 @ 0.091374
0.10/0.13 c bounds - >= -139 @ 0.09201
0.10/0.13 c finalizing WCE round: reformulating cores
17.44/17.53 c bounds -19 >= -153 @ 0.098138
17.44/17.53 c bounds -21 >= -150 @ 0.105686
17.44/17.53 c #Conflicts: 1000 | #Constraints: 42459
17.44/17.53 c bounds -28 >= -142 @ 0.31762
17.44/17.53 c #Conflicts: 2000 | #Constraints: 43479
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 3000 | #Constraints: 43407
17.44/17.53 c #Conflicts: 4000 | #Constraints: 44409
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 5000 | #Constraints: 43831
17.44/17.53 c bounds -31 >= -136 @ 1.30272
17.44/17.53 c bounds -31 >= -135 @ 1.30495
17.44/17.53 c bounds -31 >= -134 @ 1.30799
17.44/17.53 c bounds -31 >= -133 @ 1.31392
17.44/17.53 c bounds -31 >= -132 @ 1.3589
17.44/17.53 c #Conflicts: 6000 | #Constraints: 44914
17.44/17.53 c bounds -31 >= -131 @ 1.40771
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 7000 | #Constraints: 43931
17.44/17.53 c #Conflicts: 8000 | #Constraints: 44931
17.44/17.53 c bounds -31 >= -130 @ 1.63142
17.44/17.53 c #Conflicts: 9000 | #Constraints: 45971
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 10000 | #Constraints: 44671
17.44/17.53 c #Conflicts: 11000 | #Constraints: 45671
17.44/17.53 c bounds -31 >= -129 @ 2.07608
17.44/17.53 c #Conflicts: 12000 | #Constraints: 46717
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 13000 | #Constraints: 45157
17.44/17.53 c #Conflicts: 14000 | #Constraints: 46157
17.44/17.53 c #Conflicts: 15000 | #Constraints: 47157
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 16000 | #Constraints: 45385
17.44/17.53 c #Conflicts: 17000 | #Constraints: 46385
17.44/17.53 c #Conflicts: 18000 | #Constraints: 47385
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 19000 | #Constraints: 45408
17.44/17.53 c #Conflicts: 20000 | #Constraints: 46408
17.44/17.53 c #Conflicts: 21000 | #Constraints: 47408
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 22000 | #Constraints: 45218
17.44/17.53 c #Conflicts: 23000 | #Constraints: 46218
17.44/17.53 c #Conflicts: 24000 | #Constraints: 47218
17.44/17.53 c #Conflicts: 25000 | #Constraints: 48218
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 26000 | #Constraints: 45849
17.44/17.53 c #Conflicts: 27000 | #Constraints: 46849
17.44/17.53 c #Conflicts: 28000 | #Constraints: 47849
17.44/17.53 c #Conflicts: 29000 | #Constraints: 48849
17.44/17.53 c #Conflicts: 30000 | #Constraints: 49849
17.44/17.53 c #Conflicts: 31000 | #Constraints: 50849
17.44/17.53 c #Conflicts: 32000 | #Constraints: 51849
17.44/17.53 c #Conflicts: 33000 | #Constraints: 52849
17.44/17.53 c #Conflicts: 34000 | #Constraints: 53849
17.44/17.53 c #Conflicts: 35000 | #Constraints: 54849
17.44/17.53 c #Conflicts: 36000 | #Constraints: 55849
17.44/17.53 c #Conflicts: 37000 | #Constraints: 56849
17.44/17.53 c #Conflicts: 38000 | #Constraints: 57849
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 39000 | #Constraints: 50748
17.44/17.53 c #Conflicts: 40000 | #Constraints: 51748
17.44/17.53 c #Conflicts: 41000 | #Constraints: 52748
17.44/17.53 c #Conflicts: 42000 | #Constraints: 53748
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 43000 | #Constraints: 48246
17.44/17.53 c #Conflicts: 44000 | #Constraints: 49246
17.44/17.53 c #Conflicts: 45000 | #Constraints: 50246
17.44/17.53 c #Conflicts: 46000 | #Constraints: 51246
17.44/17.53 c #Conflicts: 47000 | #Constraints: 52246
17.44/17.53 c #Conflicts: 48000 | #Constraints: 53246
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 49000 | #Constraints: 48450
17.44/17.53 c #Conflicts: 50000 | #Constraints: 49450
17.44/17.53 c #Conflicts: 51000 | #Constraints: 50450
17.44/17.53 c #Conflicts: 52000 | #Constraints: 51450
17.44/17.53 c #Conflicts: 53000 | #Constraints: 52450
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 54000 | #Constraints: 47898
17.44/17.53 c #Conflicts: 55000 | #Constraints: 48898
17.44/17.53 c #Conflicts: 56000 | #Constraints: 49898
17.44/17.53 c #Conflicts: 57000 | #Constraints: 50898
17.44/17.53 c #Conflicts: 58000 | #Constraints: 51898
17.44/17.53 c INPROCESSING
17.44/17.53 c GARBAGE COLLECT
17.44/17.53 c #Conflicts: 59000 | #Constraints: 47376
17.44/17.53 c #Conflicts: 60000 | #Constraints: 48376
17.44/17.53 c #Conflicts: 61000 | #Constraints: 49376
17.44/17.53 c #Conflicts: 62000 | #Constraints: 50376
17.44/17.53 c #Conflicts: 63000 | #Constraints: 51376
17.44/17.53 c #Conflicts: 64000 | #Constraints: 52376
54.93/55.18 c INPROCESSING
54.93/55.18 c GARBAGE COLLECT
54.93/55.18 c #Conflicts: 65000 | #Constraints: 47750
54.93/55.18 c #Conflicts: 66000 | #Constraints: 48750
54.93/55.18 c #Conflicts: 67000 | #Constraints: 49750
54.93/55.18 c #Conflicts: 68000 | #Constraints: 50750
54.93/55.18 c #Conflicts: 69000 | #Constraints: 51750
54.93/55.18 c #Conflicts: 70000 | #Constraints: 52750
54.93/55.18 c INPROCESSING
54.93/55.18 c GARBAGE COLLECT
54.93/55.18 c #Conflicts: 71000 | #Constraints: 47998
54.93/55.18 c #Conflicts: 72000 | #Constraints: 48998
54.93/55.18 c #Conflicts: 73000 | #Constraints: 49998
54.93/55.18 c #Conflicts: 74000 | #Constraints: 50998
54.93/55.18 c #Conflicts: 75000 | #Constraints: 51998
54.93/55.18 c #Conflicts: 76000 | #Constraints: 52998
54.93/55.18 c #Conflicts: 77000 | #Constraints: 53998
54.93/55.18 c #Conflicts: 78000 | #Constraints: 54998
54.93/55.18 c #Conflicts: 79000 | #Constraints: 55998
54.93/55.18 c #Conflicts: 80000 | #Constraints: 56998
54.93/55.18 c #Conflicts: 81000 | #Constraints: 57998
54.93/55.18 c #Conflicts: 82000 | #Constraints: 58998
54.93/55.18 c #Conflicts: 83000 | #Constraints: 59998
54.93/55.18 c #Conflicts: 84000 | #Constraints: 60998
54.93/55.18 c #Conflicts: 85000 | #Constraints: 61998
54.93/55.18 c #Conflicts: 86000 | #Constraints: 62998
54.93/55.18 c #Conflicts: 87000 | #Constraints: 63998
54.93/55.18 c #Conflicts: 88000 | #Constraints: 64998
54.93/55.18 c #Conflicts: 89000 | #Constraints: 65998
54.93/55.18 c #Conflicts: 90000 | #Constraints: 66998
54.93/55.18 c #Conflicts: 91000 | #Constraints: 67998
54.93/55.18 c INPROCESSING
54.93/55.18 c GARBAGE COLLECT
54.93/55.18 c #Conflicts: 92000 | #Constraints: 55436
54.93/55.18 c #Conflicts: 93000 | #Constraints: 56436
54.93/55.18 c #Conflicts: 94000 | #Constraints: 57436
54.93/55.18 c #Conflicts: 95000 | #Constraints: 58436
54.93/55.18 c #Conflicts: 96000 | #Constraints: 59436
54.93/55.18 c #Conflicts: 97000 | #Constraints: 60436
54.93/55.18 c #Conflicts: 98000 | #Constraints: 61436
54.93/55.18 c #Conflicts: 99000 | #Constraints: 62436
54.93/55.18 c INPROCESSING
54.93/55.18 c GARBAGE COLLECT
54.93/55.18 c #Conflicts: 100000 | #Constraints: 53041
54.93/55.18 c #Conflicts: 101000 | #Constraints: 54041
54.93/55.18 c #Conflicts: 102000 | #Constraints: 55041
54.93/55.18 c #Conflicts: 103000 | #Constraints: 56041
54.93/55.18 c #Conflicts: 104000 | #Constraints: 57041
54.93/55.18 c #Conflicts: 105000 | #Constraints: 58041
54.93/55.18 c #Conflicts: 106000 | #Constraints: 59041
54.93/55.18 c INPROCESSING
54.93/55.18 c GARBAGE COLLECT
54.93/55.18 c #Conflicts: 107000 | #Constraints: 51155
54.93/55.18 c #Conflicts: 108000 | #Constraints: 52155
54.93/55.18 c #Conflicts: 109000 | #Constraints: 53155
54.93/55.18 c #Conflicts: 110000 | #Constraints: 54155
54.93/55.18 c #Conflicts: 111000 | #Constraints: 55155
54.93/55.18 c #Conflicts: 112000 | #Constraints: 56155
54.93/55.18 c #Conflicts: 113000 | #Constraints: 57155
54.93/55.18 c #Conflicts: 114000 | #Constraints: 58155
54.93/55.18 c INPROCESSING
54.93/55.18 c GARBAGE COLLECT
54.93/55.18 c #Conflicts: 115000 | #Constraints: 50900
54.93/55.18 c #Conflicts: 116000 | #Constraints: 51900
54.93/55.18 c #Conflicts: 117000 | #Constraints: 52900
54.93/55.18 c #Conflicts: 118000 | #Constraints: 53900
54.93/55.18 c #Conflicts: 119000 | #Constraints: 54900
54.93/55.18 c #Conflicts: 120000 | #Constraints: 55900
54.93/55.18 c #Conflicts: 121000 | #Constraints: 56900
54.93/55.18 c INPROCESSING
54.93/55.18 c GARBAGE COLLECT
54.93/55.18 c #Conflicts: 122000 | #Constraints: 49886
54.93/55.18 c #Conflicts: 123000 | #Constraints: 50886
54.93/55.18 c #Conflicts: 124000 | #Constraints: 51886
54.93/55.18 c #Conflicts: 125000 | #Constraints: 52886
54.93/55.18 c #Conflicts: 126000 | #Constraints: 53886
54.93/55.18 c #Conflicts: 127000 | #Constraints: 54886
54.93/55.18 c #Conflicts: 128000 | #Constraints: 55886
54.93/55.18 c #Conflicts: 129000 | #Constraints: 56886
54.93/55.18 c INPROCESSING
54.93/55.18 c GARBAGE COLLECT
54.93/55.18 c #Conflicts: 130000 | #Constraints: 49875
54.93/55.18 c #Conflicts: 131000 | #Constraints: 50875
54.93/55.18 c #Conflicts: 132000 | #Constraints: 51875
54.93/55.18 c #Conflicts: 133000 | #Constraints: 52875
54.93/55.18 c #Conflicts: 134000 | #Constraints: 53875
54.93/55.18 c #Conflicts: 135000 | #Constraints: 54875
54.93/55.18 c #Conflicts: 136000 | #Constraints: 55875
54.93/55.18 c #Conflicts: 137000 | #Constraints: 56875
111.05/111.42 c #Conflicts: 138000 | #Constraints: 57875
111.05/111.42 c INPROCESSING
111.05/111.42 c GARBAGE COLLECT
111.05/111.42 c #Conflicts: 139000 | #Constraints: 50764
111.05/111.42 c #Conflicts: 140000 | #Constraints: 51764
111.05/111.42 c #Conflicts: 141000 | #Constraints: 52764
111.05/111.42 c #Conflicts: 142000 | #Constraints: 53764
111.05/111.42 c #Conflicts: 143000 | #Constraints: 54764
111.05/111.42 c #Conflicts: 144000 | #Constraints: 55764
111.05/111.42 c #Conflicts: 145000 | #Constraints: 56764
111.05/111.42 c #Conflicts: 146000 | #Constraints: 57764
111.05/111.42 c INPROCESSING
111.05/111.42 c GARBAGE COLLECT
111.05/111.42 c #Conflicts: 147000 | #Constraints: 50503
111.05/111.42 c #Conflicts: 148000 | #Constraints: 51503
111.05/111.42 c #Conflicts: 149000 | #Constraints: 52503
111.05/111.42 c #Conflicts: 150000 | #Constraints: 53503
111.05/111.42 c #Conflicts: 151000 | #Constraints: 54503
111.05/111.42 c #Conflicts: 152000 | #Constraints: 55503
111.05/111.42 c #Conflicts: 153000 | #Constraints: 56503
111.05/111.42 c #Conflicts: 154000 | #Constraints: 57503
111.05/111.42 c #Conflicts: 155000 | #Constraints: 58503
111.05/111.42 c #Conflicts: 156000 | #Constraints: 59503
111.05/111.42 c #Conflicts: 157000 | #Constraints: 60503
111.05/111.42 c #Conflicts: 158000 | #Constraints: 61503
111.05/111.42 c #Conflicts: 159000 | #Constraints: 62503
111.05/111.42 c #Conflicts: 160000 | #Constraints: 63503
111.05/111.42 c #Conflicts: 161000 | #Constraints: 64503
111.05/111.42 c #Conflicts: 162000 | #Constraints: 65503
111.05/111.42 c #Conflicts: 163000 | #Constraints: 66503
111.05/111.42 c #Conflicts: 164000 | #Constraints: 67503
111.05/111.42 c #Conflicts: 165000 | #Constraints: 68503
111.05/111.42 c #Conflicts: 166000 | #Constraints: 69503
111.05/111.42 c #Conflicts: 167000 | #Constraints: 70503
111.05/111.42 c #Conflicts: 168000 | #Constraints: 71503
111.05/111.42 c #Conflicts: 169000 | #Constraints: 72503
111.05/111.42 c #Conflicts: 170000 | #Constraints: 73503
111.05/111.42 c #Conflicts: 171000 | #Constraints: 74503
111.05/111.42 c #Conflicts: 172000 | #Constraints: 75503
111.05/111.42 c #Conflicts: 173000 | #Constraints: 76503
111.05/111.42 c #Conflicts: 174000 | #Constraints: 77503
111.05/111.42 c #Conflicts: 175000 | #Constraints: 78503
111.05/111.42 c #Conflicts: 176000 | #Constraints: 79503
111.05/111.42 c #Conflicts: 177000 | #Constraints: 80503
111.05/111.42 c INPROCESSING
111.05/111.42 c GARBAGE COLLECT
111.05/111.42 c #Conflicts: 178000 | #Constraints: 61817
111.05/111.42 c #Conflicts: 179000 | #Constraints: 62817
111.05/111.42 c #Conflicts: 180000 | #Constraints: 63817
111.05/111.42 c #Conflicts: 181000 | #Constraints: 64817
111.05/111.42 c #Conflicts: 182000 | #Constraints: 65817
111.05/111.42 c #Conflicts: 183000 | #Constraints: 66817
111.05/111.42 c #Conflicts: 184000 | #Constraints: 67817
111.05/111.42 c #Conflicts: 185000 | #Constraints: 68817
111.05/111.42 c #Conflicts: 186000 | #Constraints: 69817
111.05/111.42 c #Conflicts: 187000 | #Constraints: 70817
111.05/111.42 c INPROCESSING
111.05/111.42 c GARBAGE COLLECT
111.05/111.42 c #Conflicts: 188000 | #Constraints: 57141
111.05/111.42 c #Conflicts: 189000 | #Constraints: 58141
111.05/111.42 c #Conflicts: 190000 | #Constraints: 59141
111.05/111.42 c #Conflicts: 191000 | #Constraints: 60141
111.05/111.42 c #Conflicts: 192000 | #Constraints: 61141
111.05/111.42 c #Conflicts: 193000 | #Constraints: 62141
111.05/111.42 c #Conflicts: 194000 | #Constraints: 63141
111.05/111.42 c #Conflicts: 195000 | #Constraints: 64141
111.05/111.42 c #Conflicts: 196000 | #Constraints: 65141
111.05/111.42 c #Conflicts: 197000 | #Constraints: 66141
111.05/111.42 c INPROCESSING
111.05/111.42 c GARBAGE COLLECT
111.05/111.42 c #Conflicts: 198000 | #Constraints: 54839
111.05/111.42 c #Conflicts: 199000 | #Constraints: 55839
111.05/111.42 c #Conflicts: 200000 | #Constraints: 56839
111.05/111.42 c #Conflicts: 201000 | #Constraints: 57839
111.05/111.42 c #Conflicts: 202000 | #Constraints: 58839
111.05/111.42 c #Conflicts: 203000 | #Constraints: 59839
111.05/111.42 c #Conflicts: 204000 | #Constraints: 60839
111.05/111.42 c #Conflicts: 205000 | #Constraints: 61839
111.05/111.42 c #Conflicts: 206000 | #Constraints: 62839
111.05/111.42 c #Conflicts: 207000 | #Constraints: 63839
111.05/111.42 c INPROCESSING
111.05/111.42 c GARBAGE COLLECT
111.05/111.42 c #Conflicts: 208000 | #Constraints: 53655
111.05/111.42 c #Conflicts: 209000 | #Constraints: 54655
111.05/111.42 c #Conflicts: 210000 | #Constraints: 55655
111.05/111.42 c #Conflicts: 211000 | #Constraints: 56655
111.05/111.42 c #Conflicts: 212000 | #Constraints: 57655
184.92/185.55 c #Conflicts: 213000 | #Constraints: 58655
184.92/185.55 c #Conflicts: 214000 | #Constraints: 59655
184.92/185.55 c #Conflicts: 215000 | #Constraints: 60655
184.92/185.55 c #Conflicts: 216000 | #Constraints: 61655
184.92/185.55 c #Conflicts: 217000 | #Constraints: 62655
184.92/185.55 c INPROCESSING
184.92/185.55 c GARBAGE COLLECT
184.92/185.55 c #Conflicts: 218000 | #Constraints: 52909
184.92/185.55 c #Conflicts: 219000 | #Constraints: 53909
184.92/185.55 c #Conflicts: 220000 | #Constraints: 54909
184.92/185.55 c #Conflicts: 221000 | #Constraints: 55909
184.92/185.55 c #Conflicts: 222000 | #Constraints: 56909
184.92/185.55 c #Conflicts: 223000 | #Constraints: 57909
184.92/185.55 c #Conflicts: 224000 | #Constraints: 58909
184.92/185.55 c #Conflicts: 225000 | #Constraints: 59909
184.92/185.55 c #Conflicts: 226000 | #Constraints: 60909
184.92/185.55 c #Conflicts: 227000 | #Constraints: 61909
184.92/185.55 c #Conflicts: 228000 | #Constraints: 62909
184.92/185.55 c INPROCESSING
184.92/185.55 c GARBAGE COLLECT
184.92/185.55 c #Conflicts: 229000 | #Constraints: 53277
184.92/185.55 c #Conflicts: 230000 | #Constraints: 54277
184.92/185.55 c #Conflicts: 231000 | #Constraints: 55277
184.92/185.55 c #Conflicts: 232000 | #Constraints: 56277
184.92/185.55 c #Conflicts: 233000 | #Constraints: 57277
184.92/185.55 c #Conflicts: 234000 | #Constraints: 58277
184.92/185.55 c #Conflicts: 235000 | #Constraints: 59277
184.92/185.55 c #Conflicts: 236000 | #Constraints: 60277
184.92/185.55 c #Conflicts: 237000 | #Constraints: 61277
184.92/185.55 c #Conflicts: 238000 | #Constraints: 62277
184.92/185.55 c INPROCESSING
184.92/185.55 c GARBAGE COLLECT
184.92/185.55 c #Conflicts: 239000 | #Constraints: 52619
184.92/185.55 c #Conflicts: 240000 | #Constraints: 53619
184.92/185.55 c #Conflicts: 241000 | #Constraints: 54619
184.92/185.55 c #Conflicts: 242000 | #Constraints: 55619
184.92/185.55 c #Conflicts: 243000 | #Constraints: 56619
184.92/185.55 c #Conflicts: 244000 | #Constraints: 57619
184.92/185.55 c #Conflicts: 245000 | #Constraints: 58619
184.92/185.55 c #Conflicts: 246000 | #Constraints: 59619
184.92/185.55 c #Conflicts: 247000 | #Constraints: 60619
184.92/185.55 c #Conflicts: 248000 | #Constraints: 61619
184.92/185.55 c #Conflicts: 249000 | #Constraints: 62619
184.92/185.55 c #Conflicts: 250000 | #Constraints: 63619
184.92/185.55 c #Conflicts: 251000 | #Constraints: 64619
184.92/185.55 c #Conflicts: 252000 | #Constraints: 65619
184.92/185.55 c #Conflicts: 253000 | #Constraints: 66619
184.92/185.55 c #Conflicts: 254000 | #Constraints: 67619
184.92/185.55 c #Conflicts: 255000 | #Constraints: 68619
184.92/185.55 c #Conflicts: 256000 | #Constraints: 69619
184.92/185.55 c #Conflicts: 257000 | #Constraints: 70619
184.92/185.55 c #Conflicts: 258000 | #Constraints: 71619
184.92/185.55 c #Conflicts: 259000 | #Constraints: 72619
184.92/185.55 c #Conflicts: 260000 | #Constraints: 73619
184.92/185.55 c #Conflicts: 261000 | #Constraints: 74619
184.92/185.55 c #Conflicts: 262000 | #Constraints: 75619
184.92/185.55 c #Conflicts: 263000 | #Constraints: 76619
184.92/185.55 c #Conflicts: 264000 | #Constraints: 77619
184.92/185.55 c #Conflicts: 265000 | #Constraints: 78619
184.92/185.55 c #Conflicts: 266000 | #Constraints: 79619
184.92/185.55 c #Conflicts: 267000 | #Constraints: 80619
184.92/185.55 c #Conflicts: 268000 | #Constraints: 81619
184.92/185.55 c #Conflicts: 269000 | #Constraints: 82619
184.92/185.55 c #Conflicts: 270000 | #Constraints: 83619
184.92/185.55 c #Conflicts: 271000 | #Constraints: 84619
184.92/185.55 c #Conflicts: 272000 | #Constraints: 85619
184.92/185.55 c #Conflicts: 273000 | #Constraints: 86619
184.92/185.55 c #Conflicts: 274000 | #Constraints: 87619
184.92/185.55 c #Conflicts: 275000 | #Constraints: 88619
184.92/185.55 c #Conflicts: 276000 | #Constraints: 89619
184.92/185.55 c #Conflicts: 277000 | #Constraints: 90619
184.92/185.55 c #Conflicts: 278000 | #Constraints: 91619
184.92/185.55 c INPROCESSING
184.92/185.55 c GARBAGE COLLECT
184.92/185.55 c #Conflicts: 279000 | #Constraints: 67448
184.92/185.55 c #Conflicts: 280000 | #Constraints: 68448
184.92/185.55 c #Conflicts: 281000 | #Constraints: 69448
184.92/185.55 c #Conflicts: 282000 | #Constraints: 70448
184.92/185.55 c #Conflicts: 283000 | #Constraints: 71448
184.92/185.55 c #Conflicts: 284000 | #Constraints: 72448
184.92/185.55 c #Conflicts: 285000 | #Constraints: 73448
184.92/185.55 c #Conflicts: 286000 | #Constraints: 74448
184.92/185.55 c #Conflicts: 287000 | #Constraints: 75448
184.92/185.55 c #Conflicts: 288000 | #Constraints: 76448
184.92/185.55 c #Conflicts: 289000 | #Constraints: 77448
256.99/257.86 c #Conflicts: 290000 | #Constraints: 78448
256.99/257.86 c INPROCESSING
256.99/257.86 c GARBAGE COLLECT
256.99/257.86 c #Conflicts: 291000 | #Constraints: 60856
256.99/257.86 c #Conflicts: 292000 | #Constraints: 61856
256.99/257.86 c #Conflicts: 293000 | #Constraints: 62856
256.99/257.86 c #Conflicts: 294000 | #Constraints: 63856
256.99/257.86 c #Conflicts: 295000 | #Constraints: 64856
256.99/257.86 c #Conflicts: 296000 | #Constraints: 65856
256.99/257.86 c #Conflicts: 297000 | #Constraints: 66856
256.99/257.86 c #Conflicts: 298000 | #Constraints: 67856
256.99/257.86 c #Conflicts: 299000 | #Constraints: 68856
256.99/257.86 c #Conflicts: 300000 | #Constraints: 69856
256.99/257.86 c #Conflicts: 301000 | #Constraints: 70856
256.99/257.86 c #Conflicts: 302000 | #Constraints: 71856
256.99/257.86 c INPROCESSING
256.99/257.86 c GARBAGE COLLECT
256.99/257.86 c #Conflicts: 303000 | #Constraints: 57462
256.99/257.86 c #Conflicts: 304000 | #Constraints: 58462
256.99/257.86 c #Conflicts: 305000 | #Constraints: 59462
256.99/257.86 c #Conflicts: 306000 | #Constraints: 60462
256.99/257.86 c #Conflicts: 307000 | #Constraints: 61462
256.99/257.86 c #Conflicts: 308000 | #Constraints: 62462
256.99/257.86 c #Conflicts: 309000 | #Constraints: 63462
256.99/257.86 c #Conflicts: 310000 | #Constraints: 64462
256.99/257.86 c #Conflicts: 311000 | #Constraints: 65462
256.99/257.86 c #Conflicts: 312000 | #Constraints: 66462
256.99/257.86 c #Conflicts: 313000 | #Constraints: 67462
256.99/257.86 c #Conflicts: 314000 | #Constraints: 68462
256.99/257.86 c #Conflicts: 315000 | #Constraints: 69462
256.99/257.86 c INPROCESSING
256.99/257.86 c GARBAGE COLLECT
256.99/257.86 c #Conflicts: 316000 | #Constraints: 56551
256.99/257.86 c #Conflicts: 317000 | #Constraints: 57551
256.99/257.86 c #Conflicts: 318000 | #Constraints: 58551
256.99/257.86 c #Conflicts: 319000 | #Constraints: 59551
256.99/257.86 c #Conflicts: 320000 | #Constraints: 60551
256.99/257.86 c #Conflicts: 321000 | #Constraints: 61551
256.99/257.86 c #Conflicts: 322000 | #Constraints: 62551
256.99/257.86 c #Conflicts: 323000 | #Constraints: 63551
256.99/257.86 c #Conflicts: 324000 | #Constraints: 64551
256.99/257.86 c #Conflicts: 325000 | #Constraints: 65551
256.99/257.86 c #Conflicts: 326000 | #Constraints: 66551
256.99/257.86 c #Conflicts: 327000 | #Constraints: 67551
256.99/257.86 c INPROCESSING
256.99/257.86 c GARBAGE COLLECT
256.99/257.86 c #Conflicts: 328000 | #Constraints: 55310
256.99/257.86 c #Conflicts: 329000 | #Constraints: 56310
256.99/257.86 c #Conflicts: 330000 | #Constraints: 57310
256.99/257.86 c #Conflicts: 331000 | #Constraints: 58310
256.99/257.86 c #Conflicts: 332000 | #Constraints: 59310
256.99/257.86 c #Conflicts: 333000 | #Constraints: 60310
256.99/257.86 c #Conflicts: 334000 | #Constraints: 61310
256.99/257.86 c #Conflicts: 335000 | #Constraints: 62310
256.99/257.86 c #Conflicts: 336000 | #Constraints: 63310
256.99/257.86 c #Conflicts: 337000 | #Constraints: 64310
256.99/257.86 c #Conflicts: 338000 | #Constraints: 65310
256.99/257.86 c #Conflicts: 339000 | #Constraints: 66310
256.99/257.86 c #Conflicts: 340000 | #Constraints: 67310
256.99/257.86 c INPROCESSING
256.99/257.86 c GARBAGE COLLECT
256.99/257.86 c #Conflicts: 341000 | #Constraints: 55282
256.99/257.86 c #Conflicts: 342000 | #Constraints: 56282
256.99/257.86 c #Conflicts: 343000 | #Constraints: 57282
256.99/257.86 c #Conflicts: 344000 | #Constraints: 58282
256.99/257.86 c #Conflicts: 345000 | #Constraints: 59282
256.99/257.86 c #Conflicts: 346000 | #Constraints: 60282
256.99/257.86 c #Conflicts: 347000 | #Constraints: 61282
256.99/257.86 c #Conflicts: 348000 | #Constraints: 62282
256.99/257.86 c #Conflicts: 349000 | #Constraints: 63282
256.99/257.86 c #Conflicts: 350000 | #Constraints: 64282
256.99/257.86 c #Conflicts: 351000 | #Constraints: 65282
256.99/257.86 c #Conflicts: 352000 | #Constraints: 66282
256.99/257.86 c #Conflicts: 353000 | #Constraints: 67282
256.99/257.86 c #Conflicts: 354000 | #Constraints: 68282
256.99/257.86 c #Conflicts: 355000 | #Constraints: 69282
256.99/257.86 c #Conflicts: 356000 | #Constraints: 70282
256.99/257.86 c #Conflicts: 357000 | #Constraints: 71282
256.99/257.86 c #Conflicts: 358000 | #Constraints: 72282
256.99/257.86 c #Conflicts: 359000 | #Constraints: 73282
256.99/257.86 c #Conflicts: 360000 | #Constraints: 74282
256.99/257.86 c #Conflicts: 361000 | #Constraints: 75282
256.99/257.86 c #Conflicts: 362000 | #Constraints: 76282
256.99/257.86 c #Conflicts: 363000 | #Constraints: 77282
256.99/257.86 c #Conflicts: 364000 | #Constraints: 78282
330.64/331.72 c #Conflicts: 365000 | #Constraints: 79282
330.64/331.72 c #Conflicts: 366000 | #Constraints: 80282
330.64/331.72 c #Conflicts: 367000 | #Constraints: 81282
330.64/331.72 c #Conflicts: 368000 | #Constraints: 82282
330.64/331.72 c #Conflicts: 369000 | #Constraints: 83282
330.64/331.72 c #Conflicts: 370000 | #Constraints: 84282
330.64/331.72 c #Conflicts: 371000 | #Constraints: 85282
330.64/331.72 c #Conflicts: 372000 | #Constraints: 86282
330.64/331.72 c #Conflicts: 373000 | #Constraints: 87282
330.64/331.72 c #Conflicts: 374000 | #Constraints: 88282
330.64/331.72 c #Conflicts: 375000 | #Constraints: 89282
330.64/331.72 c #Conflicts: 376000 | #Constraints: 90282
330.64/331.72 c #Conflicts: 377000 | #Constraints: 91282
330.64/331.72 c #Conflicts: 378000 | #Constraints: 92282
330.64/331.72 c #Conflicts: 379000 | #Constraints: 93282
330.64/331.72 c #Conflicts: 380000 | #Constraints: 94282
330.64/331.72 c #Conflicts: 381000 | #Constraints: 95282
330.64/331.72 c #Conflicts: 382000 | #Constraints: 96282
330.64/331.72 c #Conflicts: 383000 | #Constraints: 97282
330.64/331.72 c #Conflicts: 384000 | #Constraints: 98282
330.64/331.72 c #Conflicts: 385000 | #Constraints: 99282
330.64/331.72 c #Conflicts: 386000 | #Constraints: 100282
330.64/331.72 c bounds -31 >= -128 @ 292.353
330.64/331.72 c #Conflicts: 387000 | #Constraints: 101322
330.64/331.72 c INPROCESSING
330.64/331.72 c GARBAGE COLLECT
330.64/331.72 c #Conflicts: 388000 | #Constraints: 72195
330.64/331.72 c #Conflicts: 389000 | #Constraints: 73195
330.64/331.72 c #Conflicts: 390000 | #Constraints: 74195
330.64/331.72 c #Conflicts: 391000 | #Constraints: 75195
330.64/331.72 c #Conflicts: 392000 | #Constraints: 76195
330.64/331.72 c #Conflicts: 393000 | #Constraints: 77195
330.64/331.72 c #Conflicts: 394000 | #Constraints: 78195
330.64/331.72 c #Conflicts: 395000 | #Constraints: 79195
330.64/331.72 c #Conflicts: 396000 | #Constraints: 80195
330.64/331.72 c #Conflicts: 397000 | #Constraints: 81195
330.64/331.72 c #Conflicts: 398000 | #Constraints: 82195
330.64/331.72 c #Conflicts: 399000 | #Constraints: 83195
330.64/331.72 c #Conflicts: 400000 | #Constraints: 84195
330.64/331.72 c #Conflicts: 401000 | #Constraints: 85195
330.64/331.72 c INPROCESSING
330.64/331.72 c GARBAGE COLLECT
330.64/331.72 c #Conflicts: 402000 | #Constraints: 64096
330.64/331.72 c #Conflicts: 403000 | #Constraints: 65096
330.64/331.72 c #Conflicts: 404000 | #Constraints: 66096
330.64/331.72 c #Conflicts: 405000 | #Constraints: 67096
330.64/331.72 c #Conflicts: 406000 | #Constraints: 68096
330.64/331.72 c #Conflicts: 407000 | #Constraints: 69096
330.64/331.72 c #Conflicts: 408000 | #Constraints: 70096
330.64/331.72 c #Conflicts: 409000 | #Constraints: 71096
330.64/331.72 c #Conflicts: 410000 | #Constraints: 72096
330.64/331.72 c #Conflicts: 411000 | #Constraints: 73096
330.64/331.72 c #Conflicts: 412000 | #Constraints: 74096
330.64/331.72 c #Conflicts: 413000 | #Constraints: 75096
330.64/331.72 c #Conflicts: 414000 | #Constraints: 76096
330.64/331.72 c #Conflicts: 415000 | #Constraints: 77096
330.64/331.72 c #Conflicts: 416000 | #Constraints: 78096
330.64/331.72 c INPROCESSING
330.64/331.72 c GARBAGE COLLECT
330.64/331.72 c #Conflicts: 417000 | #Constraints: 60890
330.64/331.72 c #Conflicts: 418000 | #Constraints: 61890
330.64/331.72 c #Conflicts: 419000 | #Constraints: 62890
330.64/331.72 c #Conflicts: 420000 | #Constraints: 63890
330.64/331.72 c #Conflicts: 421000 | #Constraints: 64890
330.64/331.72 c #Conflicts: 422000 | #Constraints: 65890
330.64/331.72 c #Conflicts: 423000 | #Constraints: 66890
330.64/331.72 c #Conflicts: 424000 | #Constraints: 67890
330.64/331.72 c #Conflicts: 425000 | #Constraints: 68890
330.64/331.72 c #Conflicts: 426000 | #Constraints: 69890
330.64/331.72 c #Conflicts: 427000 | #Constraints: 70890
330.64/331.72 c #Conflicts: 428000 | #Constraints: 71890
330.64/331.72 c #Conflicts: 429000 | #Constraints: 72890
330.64/331.72 c #Conflicts: 430000 | #Constraints: 73890
330.64/331.72 c INPROCESSING
330.64/331.72 c GARBAGE COLLECT
330.64/331.72 c #Conflicts: 431000 | #Constraints: 58554
330.64/331.72 c #Conflicts: 432000 | #Constraints: 59554
330.64/331.72 c #Conflicts: 433000 | #Constraints: 60554
330.64/331.72 c #Conflicts: 434000 | #Constraints: 61554
330.64/331.72 c #Conflicts: 435000 | #Constraints: 62554
330.64/331.72 c #Conflicts: 436000 | #Constraints: 63554
330.64/331.72 c #Conflicts: 437000 | #Constraints: 64554
330.64/331.72 c #Conflicts: 438000 | #Constraints: 65554
330.64/331.72 c #Conflicts: 439000 | #Constraints: 66554
330.64/331.72 c #Conflicts: 440000 | #Constraints: 67554
418.95/420.39 c #Conflicts: 441000 | #Constraints: 68554
418.95/420.39 c #Conflicts: 442000 | #Constraints: 69554
418.95/420.39 c #Conflicts: 443000 | #Constraints: 70554
418.95/420.39 c #Conflicts: 444000 | #Constraints: 71554
418.95/420.39 c #Conflicts: 445000 | #Constraints: 72554
418.95/420.39 c INPROCESSING
418.95/420.39 c GARBAGE COLLECT
418.95/420.39 c #Conflicts: 446000 | #Constraints: 58014
418.95/420.39 c #Conflicts: 447000 | #Constraints: 59014
418.95/420.39 c #Conflicts: 448000 | #Constraints: 60014
418.95/420.39 c #Conflicts: 449000 | #Constraints: 61014
418.95/420.39 c #Conflicts: 450000 | #Constraints: 62014
418.95/420.39 c #Conflicts: 451000 | #Constraints: 63014
418.95/420.39 c #Conflicts: 452000 | #Constraints: 64014
418.95/420.39 c #Conflicts: 453000 | #Constraints: 65014
418.95/420.39 c #Conflicts: 454000 | #Constraints: 66014
418.95/420.39 c #Conflicts: 455000 | #Constraints: 67014
418.95/420.39 c #Conflicts: 456000 | #Constraints: 68014
418.95/420.39 c #Conflicts: 457000 | #Constraints: 69014
418.95/420.39 c #Conflicts: 458000 | #Constraints: 70014
418.95/420.39 c #Conflicts: 459000 | #Constraints: 71014
418.95/420.39 c #Conflicts: 460000 | #Constraints: 72014
418.95/420.39 c #Conflicts: 461000 | #Constraints: 73014
418.95/420.39 c #Conflicts: 462000 | #Constraints: 74014
418.95/420.39 c #Conflicts: 463000 | #Constraints: 75014
418.95/420.39 c #Conflicts: 464000 | #Constraints: 76014
418.95/420.39 c #Conflicts: 465000 | #Constraints: 77014
418.95/420.39 c #Conflicts: 466000 | #Constraints: 78014
418.95/420.39 c #Conflicts: 467000 | #Constraints: 79014
418.95/420.39 c #Conflicts: 468000 | #Constraints: 80014
418.95/420.39 c #Conflicts: 469000 | #Constraints: 81014
418.95/420.39 c #Conflicts: 470000 | #Constraints: 82014
418.95/420.39 c #Conflicts: 471000 | #Constraints: 83014
418.95/420.39 c #Conflicts: 472000 | #Constraints: 84014
418.95/420.39 c #Conflicts: 473000 | #Constraints: 85014
418.95/420.39 c #Conflicts: 474000 | #Constraints: 86014
418.95/420.39 c #Conflicts: 475000 | #Constraints: 87014
418.95/420.39 c #Conflicts: 476000 | #Constraints: 88014
418.95/420.39 c #Conflicts: 477000 | #Constraints: 89014
418.95/420.39 c #Conflicts: 478000 | #Constraints: 90014
418.95/420.39 c #Conflicts: 479000 | #Constraints: 91014
418.95/420.39 c #Conflicts: 480000 | #Constraints: 92014
418.95/420.39 c #Conflicts: 481000 | #Constraints: 93014
418.95/420.39 c #Conflicts: 482000 | #Constraints: 94014
418.95/420.39 c #Conflicts: 483000 | #Constraints: 95014
418.95/420.39 c #Conflicts: 484000 | #Constraints: 96014
418.95/420.39 c #Conflicts: 485000 | #Constraints: 97014
418.95/420.39 c #Conflicts: 486000 | #Constraints: 98014
418.95/420.39 c #Conflicts: 487000 | #Constraints: 99014
418.95/420.39 c #Conflicts: 488000 | #Constraints: 100014
418.95/420.39 c #Conflicts: 489000 | #Constraints: 101014
418.95/420.39 c #Conflicts: 490000 | #Constraints: 102014
418.95/420.39 c #Conflicts: 491000 | #Constraints: 103014
418.95/420.39 c #Conflicts: 492000 | #Constraints: 104014
418.95/420.39 c #Conflicts: 493000 | #Constraints: 105014
418.95/420.39 c #Conflicts: 494000 | #Constraints: 106014
418.95/420.39 c #Conflicts: 495000 | #Constraints: 107014
418.95/420.39 c #Conflicts: 496000 | #Constraints: 108014
418.95/420.39 c #Conflicts: 497000 | #Constraints: 109014
418.95/420.39 c #Conflicts: 498000 | #Constraints: 110014
418.95/420.39 c INPROCESSING
418.95/420.39 c GARBAGE COLLECT
418.95/420.39 c #Conflicts: 499000 | #Constraints: 76465
418.95/420.39 c #Conflicts: 500000 | #Constraints: 77465
418.95/420.39 c #Conflicts: 501000 | #Constraints: 78465
418.95/420.39 c #Conflicts: 502000 | #Constraints: 79465
418.95/420.39 c #Conflicts: 503000 | #Constraints: 80465
418.95/420.39 c #Conflicts: 504000 | #Constraints: 81465
418.95/420.39 c #Conflicts: 505000 | #Constraints: 82465
418.95/420.39 c #Conflicts: 506000 | #Constraints: 83465
418.95/420.39 c #Conflicts: 507000 | #Constraints: 84465
418.95/420.39 c #Conflicts: 508000 | #Constraints: 85465
418.95/420.39 c #Conflicts: 509000 | #Constraints: 86465
418.95/420.39 c #Conflicts: 510000 | #Constraints: 87465
418.95/420.39 c #Conflicts: 511000 | #Constraints: 88465
418.95/420.39 c #Conflicts: 512000 | #Constraints: 89465
418.95/420.39 c #Conflicts: 513000 | #Constraints: 90465
418.95/420.39 c #Conflicts: 514000 | #Constraints: 91465
418.95/420.39 c INPROCESSING
418.95/420.39 c GARBAGE COLLECT
418.95/420.39 c #Conflicts: 515000 | #Constraints: 67202
418.95/420.39 c #Conflicts: 516000 | #Constraints: 68202
418.95/420.39 c #Conflicts: 517000 | #Constraints: 69202
490.11/491.70 c #Conflicts: 518000 | #Constraints: 70202
490.11/491.70 c #Conflicts: 519000 | #Constraints: 71202
490.11/491.70 c #Conflicts: 520000 | #Constraints: 72202
490.11/491.70 c #Conflicts: 521000 | #Constraints: 73202
490.11/491.70 c #Conflicts: 522000 | #Constraints: 74202
490.11/491.70 c #Conflicts: 523000 | #Constraints: 75202
490.11/491.70 c #Conflicts: 524000 | #Constraints: 76202
490.11/491.70 c #Conflicts: 525000 | #Constraints: 77202
490.11/491.70 c #Conflicts: 526000 | #Constraints: 78202
490.11/491.70 c #Conflicts: 527000 | #Constraints: 79202
490.11/491.70 c #Conflicts: 528000 | #Constraints: 80202
490.11/491.70 c #Conflicts: 529000 | #Constraints: 81202
490.11/491.70 c #Conflicts: 530000 | #Constraints: 82202
490.11/491.70 c #Conflicts: 531000 | #Constraints: 83202
490.11/491.70 c INPROCESSING
490.11/491.70 c GARBAGE COLLECT
490.11/491.70 c #Conflicts: 532000 | #Constraints: 63466
490.11/491.70 c #Conflicts: 533000 | #Constraints: 64466
490.11/491.70 c #Conflicts: 534000 | #Constraints: 65466
490.11/491.70 c #Conflicts: 535000 | #Constraints: 66466
490.11/491.70 c #Conflicts: 536000 | #Constraints: 67466
490.11/491.70 c #Conflicts: 537000 | #Constraints: 68466
490.11/491.70 c #Conflicts: 538000 | #Constraints: 69466
490.11/491.70 c #Conflicts: 539000 | #Constraints: 70466
490.11/491.70 c #Conflicts: 540000 | #Constraints: 71466
490.11/491.70 c #Conflicts: 541000 | #Constraints: 72466
490.11/491.70 c #Conflicts: 542000 | #Constraints: 73466
490.11/491.70 c #Conflicts: 543000 | #Constraints: 74466
490.11/491.70 c #Conflicts: 544000 | #Constraints: 75466
490.11/491.70 c #Conflicts: 545000 | #Constraints: 76466
490.11/491.70 c #Conflicts: 546000 | #Constraints: 77466
490.11/491.70 c #Conflicts: 547000 | #Constraints: 78466
490.11/491.70 c INPROCESSING
490.11/491.70 c GARBAGE COLLECT
490.11/491.70 c #Conflicts: 548000 | #Constraints: 60892
490.11/491.70 c #Conflicts: 549000 | #Constraints: 61892
490.11/491.70 c #Conflicts: 550000 | #Constraints: 62892
490.11/491.70 c #Conflicts: 551000 | #Constraints: 63892
490.11/491.70 c #Conflicts: 552000 | #Constraints: 64892
490.11/491.70 c #Conflicts: 553000 | #Constraints: 65892
490.11/491.70 c #Conflicts: 554000 | #Constraints: 66892
490.11/491.70 c #Conflicts: 555000 | #Constraints: 67892
490.11/491.70 c #Conflicts: 556000 | #Constraints: 68892
490.11/491.70 c #Conflicts: 557000 | #Constraints: 69892
490.11/491.70 c #Conflicts: 558000 | #Constraints: 70892
490.11/491.70 c #Conflicts: 559000 | #Constraints: 71892
490.11/491.70 c #Conflicts: 560000 | #Constraints: 72892
490.11/491.70 c #Conflicts: 561000 | #Constraints: 73892
490.11/491.70 c #Conflicts: 562000 | #Constraints: 74892
490.11/491.70 c #Conflicts: 563000 | #Constraints: 75892
490.11/491.70 c #Conflicts: 564000 | #Constraints: 76892
490.11/491.70 c INPROCESSING
490.11/491.70 c GARBAGE COLLECT
490.11/491.70 c #Conflicts: 565000 | #Constraints: 60311
490.11/491.70 c #Conflicts: 566000 | #Constraints: 61311
490.11/491.70 c #Conflicts: 567000 | #Constraints: 62311
490.11/491.70 c #Conflicts: 568000 | #Constraints: 63311
490.11/491.70 c #Conflicts: 569000 | #Constraints: 64311
490.11/491.70 c #Conflicts: 570000 | #Constraints: 65311
490.11/491.70 c #Conflicts: 571000 | #Constraints: 66311
490.11/491.70 c #Conflicts: 572000 | #Constraints: 67311
490.11/491.70 c #Conflicts: 573000 | #Constraints: 68311
490.11/491.70 c #Conflicts: 574000 | #Constraints: 69311
490.11/491.70 c #Conflicts: 575000 | #Constraints: 70311
490.11/491.70 c #Conflicts: 576000 | #Constraints: 71311
490.11/491.70 c #Conflicts: 577000 | #Constraints: 72311
490.11/491.70 c #Conflicts: 578000 | #Constraints: 73311
490.11/491.70 c #Conflicts: 579000 | #Constraints: 74311
490.11/491.70 c #Conflicts: 580000 | #Constraints: 75311
490.11/491.70 c #Conflicts: 581000 | #Constraints: 76311
490.11/491.70 c #Conflicts: 582000 | #Constraints: 77311
490.11/491.70 c #Conflicts: 583000 | #Constraints: 78311
490.11/491.70 c #Conflicts: 584000 | #Constraints: 79311
490.11/491.70 c #Conflicts: 585000 | #Constraints: 80311
490.11/491.70 c #Conflicts: 586000 | #Constraints: 81311
490.11/491.70 c #Conflicts: 587000 | #Constraints: 82311
490.11/491.70 c #Conflicts: 588000 | #Constraints: 83311
490.11/491.70 c #Conflicts: 589000 | #Constraints: 84311
490.11/491.70 c #Conflicts: 590000 | #Constraints: 85311
490.11/491.70 c #Conflicts: 591000 | #Constraints: 86311
490.11/491.70 c #Conflicts: 592000 | #Constraints: 87311
490.11/491.70 c #Conflicts: 593000 | #Constraints: 88311
490.11/491.70 c #Conflicts: 594000 | #Constraints: 89311
615.89/617.99 c #Conflicts: 595000 | #Constraints: 90311
615.89/617.99 c #Conflicts: 596000 | #Constraints: 91311
615.89/617.99 c #Conflicts: 597000 | #Constraints: 92311
615.89/617.99 c #Conflicts: 598000 | #Constraints: 93311
615.89/617.99 c #Conflicts: 599000 | #Constraints: 94311
615.89/617.99 c #Conflicts: 600000 | #Constraints: 95311
615.89/617.99 c #Conflicts: 601000 | #Constraints: 96311
615.89/617.99 c #Conflicts: 602000 | #Constraints: 97311
615.89/617.99 c #Conflicts: 603000 | #Constraints: 98311
615.89/617.99 c #Conflicts: 604000 | #Constraints: 99311
615.89/617.99 c #Conflicts: 605000 | #Constraints: 100311
615.89/617.99 c #Conflicts: 606000 | #Constraints: 101311
615.89/617.99 c #Conflicts: 607000 | #Constraints: 102311
615.89/617.99 c #Conflicts: 608000 | #Constraints: 103311
615.89/617.99 c #Conflicts: 609000 | #Constraints: 104311
615.89/617.99 c #Conflicts: 610000 | #Constraints: 105311
615.89/617.99 c #Conflicts: 611000 | #Constraints: 106311
615.89/617.99 c #Conflicts: 612000 | #Constraints: 107311
615.89/617.99 c #Conflicts: 613000 | #Constraints: 108311
615.89/617.99 c #Conflicts: 614000 | #Constraints: 109311
615.89/617.99 c #Conflicts: 615000 | #Constraints: 110311
615.89/617.99 c #Conflicts: 616000 | #Constraints: 111311
615.89/617.99 c #Conflicts: 617000 | #Constraints: 112311
615.89/617.99 c #Conflicts: 618000 | #Constraints: 113311
615.89/617.99 c #Conflicts: 619000 | #Constraints: 114311
615.89/617.99 c #Conflicts: 620000 | #Constraints: 115311
615.89/617.99 c #Conflicts: 621000 | #Constraints: 116311
615.89/617.99 c #Conflicts: 622000 | #Constraints: 117311
615.89/617.99 c #Conflicts: 623000 | #Constraints: 118311
615.89/617.99 c #Conflicts: 624000 | #Constraints: 119311
615.89/617.99 c INPROCESSING
615.89/617.99 c GARBAGE COLLECT
615.89/617.99 c #Conflicts: 625000 | #Constraints: 81511
615.89/617.99 c #Conflicts: 626000 | #Constraints: 82511
615.89/617.99 c #Conflicts: 627000 | #Constraints: 83511
615.89/617.99 c #Conflicts: 628000 | #Constraints: 84511
615.89/617.99 c #Conflicts: 629000 | #Constraints: 85511
615.89/617.99 c #Conflicts: 630000 | #Constraints: 86511
615.89/617.99 c #Conflicts: 631000 | #Constraints: 87511
615.89/617.99 c #Conflicts: 632000 | #Constraints: 88511
615.89/617.99 c #Conflicts: 633000 | #Constraints: 89511
615.89/617.99 c #Conflicts: 634000 | #Constraints: 90511
615.89/617.99 c #Conflicts: 635000 | #Constraints: 91511
615.89/617.99 c #Conflicts: 636000 | #Constraints: 92511
615.89/617.99 c #Conflicts: 637000 | #Constraints: 93511
615.89/617.99 c #Conflicts: 638000 | #Constraints: 94511
615.89/617.99 c #Conflicts: 639000 | #Constraints: 95511
615.89/617.99 c #Conflicts: 640000 | #Constraints: 96511
615.89/617.99 c #Conflicts: 641000 | #Constraints: 97511
615.89/617.99 c INPROCESSING
615.89/617.99 c GARBAGE COLLECT
615.89/617.99 c #Conflicts: 642000 | #Constraints: 70179
615.89/617.99 c #Conflicts: 643000 | #Constraints: 71179
615.89/617.99 c #Conflicts: 644000 | #Constraints: 72179
615.89/617.99 c #Conflicts: 645000 | #Constraints: 73179
615.89/617.99 c #Conflicts: 646000 | #Constraints: 74179
615.89/617.99 c #Conflicts: 647000 | #Constraints: 75179
615.89/617.99 c #Conflicts: 648000 | #Constraints: 76179
615.89/617.99 c #Conflicts: 649000 | #Constraints: 77179
615.89/617.99 c #Conflicts: 650000 | #Constraints: 78179
615.89/617.99 c #Conflicts: 651000 | #Constraints: 79179
615.89/617.99 c #Conflicts: 652000 | #Constraints: 80179
615.89/617.99 c #Conflicts: 653000 | #Constraints: 81179
615.89/617.99 c #Conflicts: 654000 | #Constraints: 82179
615.89/617.99 c #Conflicts: 655000 | #Constraints: 83179
615.89/617.99 c #Conflicts: 656000 | #Constraints: 84179
615.89/617.99 c #Conflicts: 657000 | #Constraints: 85179
615.89/617.99 c #Conflicts: 658000 | #Constraints: 86179
615.89/617.99 c #Conflicts: 659000 | #Constraints: 87179
615.89/617.99 c #Conflicts: 660000 | #Constraints: 88179
615.89/617.99 c INPROCESSING
615.89/617.99 c GARBAGE COLLECT
615.89/617.99 c #Conflicts: 661000 | #Constraints: 65942
615.89/617.99 c #Conflicts: 662000 | #Constraints: 66942
615.89/617.99 c #Conflicts: 663000 | #Constraints: 67942
615.89/617.99 c #Conflicts: 664000 | #Constraints: 68942
615.89/617.99 c #Conflicts: 665000 | #Constraints: 69942
615.89/617.99 c #Conflicts: 666000 | #Constraints: 70942
615.89/617.99 c #Conflicts: 667000 | #Constraints: 71942
615.89/617.99 c #Conflicts: 668000 | #Constraints: 72942
615.89/617.99 c #Conflicts: 669000 | #Constraints: 73942
615.89/617.99 c #Conflicts: 670000 | #Constraints: 74942
615.89/617.99 c #Conflicts: 671000 | #Constraints: 75942
708.16/710.53 c #Conflicts: 672000 | #Constraints: 76942
708.16/710.53 c #Conflicts: 673000 | #Constraints: 77942
708.16/710.53 c #Conflicts: 674000 | #Constraints: 78942
708.16/710.53 c #Conflicts: 675000 | #Constraints: 79942
708.16/710.53 c #Conflicts: 676000 | #Constraints: 80942
708.16/710.53 c #Conflicts: 677000 | #Constraints: 81942
708.16/710.53 c #Conflicts: 678000 | #Constraints: 82942
708.16/710.53 c INPROCESSING
708.16/710.53 c GARBAGE COLLECT
708.16/710.53 c #Conflicts: 679000 | #Constraints: 63189
708.16/710.53 c #Conflicts: 680000 | #Constraints: 64189
708.16/710.53 c #Conflicts: 681000 | #Constraints: 65189
708.16/710.53 c #Conflicts: 682000 | #Constraints: 66189
708.16/710.53 c #Conflicts: 683000 | #Constraints: 67189
708.16/710.53 c #Conflicts: 684000 | #Constraints: 68189
708.16/710.53 c #Conflicts: 685000 | #Constraints: 69189
708.16/710.53 c #Conflicts: 686000 | #Constraints: 70189
708.16/710.53 c #Conflicts: 687000 | #Constraints: 71189
708.16/710.53 c #Conflicts: 688000 | #Constraints: 72189
708.16/710.53 c #Conflicts: 689000 | #Constraints: 73189
708.16/710.53 c #Conflicts: 690000 | #Constraints: 74189
708.16/710.53 c #Conflicts: 691000 | #Constraints: 75189
708.16/710.53 c #Conflicts: 692000 | #Constraints: 76189
708.16/710.53 c #Conflicts: 693000 | #Constraints: 77189
708.16/710.53 c #Conflicts: 694000 | #Constraints: 78189
708.16/710.53 c #Conflicts: 695000 | #Constraints: 79189
708.16/710.53 c #Conflicts: 696000 | #Constraints: 80189
708.16/710.53 c INPROCESSING
708.16/710.53 c GARBAGE COLLECT
708.16/710.53 c #Conflicts: 697000 | #Constraints: 61569
708.16/710.53 c #Conflicts: 698000 | #Constraints: 62569
708.16/710.53 c #Conflicts: 699000 | #Constraints: 63569
708.16/710.53 c #Conflicts: 700000 | #Constraints: 64569
708.16/710.53 c #Conflicts: 701000 | #Constraints: 65569
708.16/710.53 c #Conflicts: 702000 | #Constraints: 66569
708.16/710.53 c #Conflicts: 703000 | #Constraints: 67569
708.16/710.53 c #Conflicts: 704000 | #Constraints: 68569
708.16/710.53 c #Conflicts: 705000 | #Constraints: 69569
708.16/710.53 c #Conflicts: 706000 | #Constraints: 70569
708.16/710.53 c #Conflicts: 707000 | #Constraints: 71569
708.16/710.53 c #Conflicts: 708000 | #Constraints: 72569
708.16/710.53 c #Conflicts: 709000 | #Constraints: 73569
708.16/710.53 c #Conflicts: 710000 | #Constraints: 74569
708.16/710.53 c #Conflicts: 711000 | #Constraints: 75569
708.16/710.53 c #Conflicts: 712000 | #Constraints: 76569
708.16/710.53 c #Conflicts: 713000 | #Constraints: 77569
708.16/710.53 c #Conflicts: 714000 | #Constraints: 78569
708.16/710.53 c #Conflicts: 715000 | #Constraints: 79569
708.16/710.53 c #Conflicts: 716000 | #Constraints: 80569
708.16/710.53 c #Conflicts: 717000 | #Constraints: 81569
708.16/710.53 c #Conflicts: 718000 | #Constraints: 82569
708.16/710.53 c #Conflicts: 719000 | #Constraints: 83569
708.16/710.53 c #Conflicts: 720000 | #Constraints: 84569
708.16/710.53 c #Conflicts: 721000 | #Constraints: 85569
708.16/710.53 c #Conflicts: 722000 | #Constraints: 86569
708.16/710.53 c #Conflicts: 723000 | #Constraints: 87569
708.16/710.53 c #Conflicts: 724000 | #Constraints: 88569
708.16/710.53 c #Conflicts: 725000 | #Constraints: 89569
708.16/710.53 c #Conflicts: 726000 | #Constraints: 90569
708.16/710.53 c #Conflicts: 727000 | #Constraints: 91569
708.16/710.53 c #Conflicts: 728000 | #Constraints: 92569
708.16/710.53 c #Conflicts: 729000 | #Constraints: 93569
708.16/710.53 c #Conflicts: 730000 | #Constraints: 94569
708.16/710.53 c #Conflicts: 731000 | #Constraints: 95569
708.16/710.53 c #Conflicts: 732000 | #Constraints: 96569
708.16/710.53 c #Conflicts: 733000 | #Constraints: 97569
708.16/710.53 c #Conflicts: 734000 | #Constraints: 98569
708.16/710.53 c #Conflicts: 735000 | #Constraints: 99569
708.16/710.53 c #Conflicts: 736000 | #Constraints: 100569
708.16/710.53 c #Conflicts: 737000 | #Constraints: 101569
708.16/710.53 c #Conflicts: 738000 | #Constraints: 102569
708.16/710.53 c #Conflicts: 739000 | #Constraints: 103569
708.16/710.53 c #Conflicts: 740000 | #Constraints: 104569
708.16/710.53 c #Conflicts: 741000 | #Constraints: 105569
708.16/710.53 c #Conflicts: 742000 | #Constraints: 106569
708.16/710.53 c #Conflicts: 743000 | #Constraints: 107569
708.16/710.53 c #Conflicts: 744000 | #Constraints: 108569
708.16/710.53 c #Conflicts: 745000 | #Constraints: 109569
708.16/710.53 c #Conflicts: 746000 | #Constraints: 110569
708.16/710.53 c #Conflicts: 747000 | #Constraints: 111569
708.16/710.53 c #Conflicts: 748000 | #Constraints: 112569
827.88/830.60 c #Conflicts: 749000 | #Constraints: 113569
827.88/830.60 c #Conflicts: 750000 | #Constraints: 114569
827.88/830.60 c #Conflicts: 751000 | #Constraints: 115569
827.88/830.60 c #Conflicts: 752000 | #Constraints: 116569
827.88/830.60 c #Conflicts: 753000 | #Constraints: 117569
827.88/830.60 c #Conflicts: 754000 | #Constraints: 118569
827.88/830.60 c #Conflicts: 755000 | #Constraints: 119569
827.88/830.60 c #Conflicts: 756000 | #Constraints: 120569
827.88/830.60 c #Conflicts: 757000 | #Constraints: 121569
827.88/830.60 c #Conflicts: 758000 | #Constraints: 122569
827.88/830.60 c #Conflicts: 759000 | #Constraints: 123569
827.88/830.60 c #Conflicts: 760000 | #Constraints: 124569
827.88/830.60 c #Conflicts: 761000 | #Constraints: 125569
827.88/830.60 c #Conflicts: 762000 | #Constraints: 126569
827.88/830.60 c #Conflicts: 763000 | #Constraints: 127569
827.88/830.60 c INPROCESSING
827.88/830.60 c GARBAGE COLLECT
827.88/830.60 c #Conflicts: 764000 | #Constraints: 85562
827.88/830.60 c #Conflicts: 765000 | #Constraints: 86562
827.88/830.60 c #Conflicts: 766000 | #Constraints: 87562
827.88/830.60 c #Conflicts: 767000 | #Constraints: 88562
827.88/830.60 c #Conflicts: 768000 | #Constraints: 89562
827.88/830.60 c #Conflicts: 769000 | #Constraints: 90562
827.88/830.60 c #Conflicts: 770000 | #Constraints: 91562
827.88/830.60 c #Conflicts: 771000 | #Constraints: 92562
827.88/830.60 c #Conflicts: 772000 | #Constraints: 93562
827.88/830.60 c #Conflicts: 773000 | #Constraints: 94562
827.88/830.60 c #Conflicts: 774000 | #Constraints: 95562
827.88/830.60 c #Conflicts: 775000 | #Constraints: 96562
827.88/830.60 c #Conflicts: 776000 | #Constraints: 97562
827.88/830.60 c #Conflicts: 777000 | #Constraints: 98562
827.88/830.60 c #Conflicts: 778000 | #Constraints: 99562
827.88/830.60 c #Conflicts: 779000 | #Constraints: 100562
827.88/830.60 c #Conflicts: 780000 | #Constraints: 101562
827.88/830.60 c #Conflicts: 781000 | #Constraints: 102562
827.88/830.60 c #Conflicts: 782000 | #Constraints: 103562
827.88/830.60 c #Conflicts: 783000 | #Constraints: 104562
827.88/830.60 c INPROCESSING
827.88/830.60 c GARBAGE COLLECT
827.88/830.60 c #Conflicts: 784000 | #Constraints: 74145
827.88/830.60 c #Conflicts: 785000 | #Constraints: 75145
827.88/830.60 c #Conflicts: 786000 | #Constraints: 76145
827.88/830.60 c #Conflicts: 787000 | #Constraints: 77145
827.88/830.60 c #Conflicts: 788000 | #Constraints: 78145
827.88/830.60 c #Conflicts: 789000 | #Constraints: 79145
827.88/830.60 c #Conflicts: 790000 | #Constraints: 80145
827.88/830.60 c #Conflicts: 791000 | #Constraints: 81145
827.88/830.60 c #Conflicts: 792000 | #Constraints: 82145
827.88/830.60 c #Conflicts: 793000 | #Constraints: 83145
827.88/830.60 c #Conflicts: 794000 | #Constraints: 84145
827.88/830.60 c #Conflicts: 795000 | #Constraints: 85145
827.88/830.60 c #Conflicts: 796000 | #Constraints: 86145
827.88/830.60 c #Conflicts: 797000 | #Constraints: 87145
827.88/830.60 c #Conflicts: 798000 | #Constraints: 88145
827.88/830.60 c #Conflicts: 799000 | #Constraints: 89145
827.88/830.60 c #Conflicts: 800000 | #Constraints: 90145
827.88/830.60 c #Conflicts: 801000 | #Constraints: 91145
827.88/830.60 c #Conflicts: 802000 | #Constraints: 92145
827.88/830.60 c #Conflicts: 803000 | #Constraints: 93145
827.88/830.60 c INPROCESSING
827.88/830.60 c GARBAGE COLLECT
827.88/830.60 c #Conflicts: 804000 | #Constraints: 68443
827.88/830.60 c #Conflicts: 805000 | #Constraints: 69443
827.88/830.60 c #Conflicts: 806000 | #Constraints: 70443
827.88/830.60 c #Conflicts: 807000 | #Constraints: 71443
827.88/830.60 c #Conflicts: 808000 | #Constraints: 72443
827.88/830.60 c #Conflicts: 809000 | #Constraints: 73443
827.88/830.60 c #Conflicts: 810000 | #Constraints: 74443
827.88/830.60 c #Conflicts: 811000 | #Constraints: 75443
827.88/830.60 c #Conflicts: 812000 | #Constraints: 76443
827.88/830.60 c #Conflicts: 813000 | #Constraints: 77443
827.88/830.60 c #Conflicts: 814000 | #Constraints: 78443
827.88/830.60 c #Conflicts: 815000 | #Constraints: 79443
827.88/830.60 c #Conflicts: 816000 | #Constraints: 80443
827.88/830.60 c #Conflicts: 817000 | #Constraints: 81443
827.88/830.60 c #Conflicts: 818000 | #Constraints: 82443
827.88/830.60 c #Conflicts: 819000 | #Constraints: 83443
827.88/830.60 c #Conflicts: 820000 | #Constraints: 84443
827.88/830.60 c #Conflicts: 821000 | #Constraints: 85443
827.88/830.60 c #Conflicts: 822000 | #Constraints: 86443
827.88/830.60 c #Conflicts: 823000 | #Constraints: 87443
827.88/830.60 c INPROCESSING
827.88/830.60 c GARBAGE COLLECT
827.88/830.60 c #Conflicts: 824000 | #Constraints: 65486
927.37/930.46 c #Conflicts: 825000 | #Constraints: 66486
927.37/930.46 c #Conflicts: 826000 | #Constraints: 67486
927.37/930.46 c #Conflicts: 827000 | #Constraints: 68486
927.37/930.46 c #Conflicts: 828000 | #Constraints: 69486
927.37/930.46 c #Conflicts: 829000 | #Constraints: 70486
927.37/930.46 c #Conflicts: 830000 | #Constraints: 71486
927.37/930.46 c #Conflicts: 831000 | #Constraints: 72486
927.37/930.46 c #Conflicts: 832000 | #Constraints: 73486
927.37/930.46 c #Conflicts: 833000 | #Constraints: 74486
927.37/930.46 c #Conflicts: 834000 | #Constraints: 75486
927.37/930.46 c #Conflicts: 835000 | #Constraints: 76486
927.37/930.46 c #Conflicts: 836000 | #Constraints: 77486
927.37/930.46 c #Conflicts: 837000 | #Constraints: 78486
927.37/930.46 c #Conflicts: 838000 | #Constraints: 79486
927.37/930.46 c #Conflicts: 839000 | #Constraints: 80486
927.37/930.46 c #Conflicts: 840000 | #Constraints: 81486
927.37/930.46 c #Conflicts: 841000 | #Constraints: 82486
927.37/930.46 c #Conflicts: 842000 | #Constraints: 83486
927.37/930.46 c #Conflicts: 843000 | #Constraints: 84486
927.37/930.46 c INPROCESSING
927.37/930.46 c GARBAGE COLLECT
927.37/930.46 c #Conflicts: 844000 | #Constraints: 63801
927.37/930.46 c #Conflicts: 845000 | #Constraints: 64801
927.37/930.46 c #Conflicts: 846000 | #Constraints: 65801
927.37/930.46 c #Conflicts: 847000 | #Constraints: 66801
927.37/930.46 c #Conflicts: 848000 | #Constraints: 67801
927.37/930.46 c #Conflicts: 849000 | #Constraints: 68801
927.37/930.46 c #Conflicts: 850000 | #Constraints: 69801
927.37/930.46 c #Conflicts: 851000 | #Constraints: 70801
927.37/930.46 c #Conflicts: 852000 | #Constraints: 71801
927.37/930.46 c #Conflicts: 853000 | #Constraints: 72801
927.37/930.46 c #Conflicts: 854000 | #Constraints: 73801
927.37/930.46 c #Conflicts: 855000 | #Constraints: 74801
927.37/930.46 c #Conflicts: 856000 | #Constraints: 75801
927.37/930.46 c #Conflicts: 857000 | #Constraints: 76801
927.37/930.46 c #Conflicts: 858000 | #Constraints: 77801
927.37/930.46 c #Conflicts: 859000 | #Constraints: 78801
927.37/930.46 c #Conflicts: 860000 | #Constraints: 79801
927.37/930.46 c #Conflicts: 861000 | #Constraints: 80801
927.37/930.46 c #Conflicts: 862000 | #Constraints: 81801
927.37/930.46 c #Conflicts: 863000 | #Constraints: 82801
927.37/930.46 c #Conflicts: 864000 | #Constraints: 83801
927.37/930.46 c #Conflicts: 865000 | #Constraints: 84801
927.37/930.46 c #Conflicts: 866000 | #Constraints: 85801
927.37/930.46 c #Conflicts: 867000 | #Constraints: 86801
927.37/930.46 c #Conflicts: 868000 | #Constraints: 87801
927.37/930.46 c #Conflicts: 869000 | #Constraints: 88801
927.37/930.46 c #Conflicts: 870000 | #Constraints: 89801
927.37/930.46 c #Conflicts: 871000 | #Constraints: 90801
927.37/930.46 c #Conflicts: 872000 | #Constraints: 91801
927.37/930.46 c #Conflicts: 873000 | #Constraints: 92801
927.37/930.46 c #Conflicts: 874000 | #Constraints: 93801
927.37/930.46 c #Conflicts: 875000 | #Constraints: 94801
927.37/930.46 c #Conflicts: 876000 | #Constraints: 95801
927.37/930.46 c #Conflicts: 877000 | #Constraints: 96801
927.37/930.46 c #Conflicts: 878000 | #Constraints: 97801
927.37/930.46 c #Conflicts: 879000 | #Constraints: 98801
927.37/930.46 c #Conflicts: 880000 | #Constraints: 99801
927.37/930.46 c #Conflicts: 881000 | #Constraints: 100801
927.37/930.46 c #Conflicts: 882000 | #Constraints: 101801
927.37/930.46 c #Conflicts: 883000 | #Constraints: 102801
927.37/930.46 c #Conflicts: 884000 | #Constraints: 103801
927.37/930.46 c #Conflicts: 885000 | #Constraints: 104801
927.37/930.46 c #Conflicts: 886000 | #Constraints: 105801
927.37/930.46 c #Conflicts: 887000 | #Constraints: 106801
927.37/930.46 c #Conflicts: 888000 | #Constraints: 107801
927.37/930.46 c #Conflicts: 889000 | #Constraints: 108801
927.37/930.46 c #Conflicts: 890000 | #Constraints: 109801
927.37/930.46 c #Conflicts: 891000 | #Constraints: 110801
927.37/930.46 c #Conflicts: 892000 | #Constraints: 111801
927.37/930.46 c #Conflicts: 893000 | #Constraints: 112801
927.37/930.46 c #Conflicts: 894000 | #Constraints: 113801
927.37/930.46 c #Conflicts: 895000 | #Constraints: 114801
927.37/930.46 c #Conflicts: 896000 | #Constraints: 115801
927.37/930.46 c #Conflicts: 897000 | #Constraints: 116801
927.37/930.46 c #Conflicts: 898000 | #Constraints: 117801
927.37/930.46 c #Conflicts: 899000 | #Constraints: 118801
927.37/930.46 c #Conflicts: 900000 | #Constraints: 119801
927.37/930.46 c #Conflicts: 901000 | #Constraints: 120801
927.37/930.46 c #Conflicts: 902000 | #Constraints: 121801
1066.96/1070.58 c #Conflicts: 903000 | #Constraints: 122801
1066.96/1070.58 c #Conflicts: 904000 | #Constraints: 123801
1066.96/1070.58 c #Conflicts: 905000 | #Constraints: 124801
1066.96/1070.58 c #Conflicts: 906000 | #Constraints: 125801
1066.96/1070.58 c #Conflicts: 907000 | #Constraints: 126801
1066.96/1070.58 c #Conflicts: 908000 | #Constraints: 127801
1066.96/1070.58 c #Conflicts: 909000 | #Constraints: 128801
1066.96/1070.58 c #Conflicts: 910000 | #Constraints: 129801
1066.96/1070.58 c #Conflicts: 911000 | #Constraints: 130801
1066.96/1070.58 c #Conflicts: 912000 | #Constraints: 131801
1066.96/1070.58 c #Conflicts: 913000 | #Constraints: 132801
1066.96/1070.58 c #Conflicts: 914000 | #Constraints: 133801
1066.96/1070.58 c #Conflicts: 915000 | #Constraints: 134801
1066.96/1070.58 c #Conflicts: 916000 | #Constraints: 135801
1066.96/1070.58 c INPROCESSING
1066.96/1070.58 c GARBAGE COLLECT
1066.96/1070.58 c #Conflicts: 917000 | #Constraints: 89570
1066.96/1070.58 c #Conflicts: 918000 | #Constraints: 90570
1066.96/1070.58 c #Conflicts: 919000 | #Constraints: 91570
1066.96/1070.58 c #Conflicts: 920000 | #Constraints: 92570
1066.96/1070.58 c #Conflicts: 921000 | #Constraints: 93570
1066.96/1070.58 c #Conflicts: 922000 | #Constraints: 94570
1066.96/1070.58 c #Conflicts: 923000 | #Constraints: 95570
1066.96/1070.58 c #Conflicts: 924000 | #Constraints: 96570
1066.96/1070.58 c #Conflicts: 925000 | #Constraints: 97570
1066.96/1070.58 c #Conflicts: 926000 | #Constraints: 98570
1066.96/1070.58 c #Conflicts: 927000 | #Constraints: 99570
1066.96/1070.58 c #Conflicts: 928000 | #Constraints: 100570
1066.96/1070.58 c #Conflicts: 929000 | #Constraints: 101570
1066.96/1070.58 c #Conflicts: 930000 | #Constraints: 102570
1066.96/1070.58 c #Conflicts: 931000 | #Constraints: 103570
1066.96/1070.58 c #Conflicts: 932000 | #Constraints: 104570
1066.96/1070.58 c #Conflicts: 933000 | #Constraints: 105570
1066.96/1070.58 c #Conflicts: 934000 | #Constraints: 106570
1066.96/1070.58 c #Conflicts: 935000 | #Constraints: 107570
1066.96/1070.58 c #Conflicts: 936000 | #Constraints: 108570
1066.96/1070.58 c #Conflicts: 937000 | #Constraints: 109570
1066.96/1070.58 c #Conflicts: 938000 | #Constraints: 110570
1066.96/1070.58 c INPROCESSING
1066.96/1070.58 c GARBAGE COLLECT
1066.96/1070.58 c #Conflicts: 939000 | #Constraints: 77099
1066.96/1070.58 c #Conflicts: 940000 | #Constraints: 78099
1066.96/1070.58 c #Conflicts: 941000 | #Constraints: 79099
1066.96/1070.58 c #Conflicts: 942000 | #Constraints: 80099
1066.96/1070.58 c #Conflicts: 943000 | #Constraints: 81099
1066.96/1070.58 c #Conflicts: 944000 | #Constraints: 82099
1066.96/1070.58 c #Conflicts: 945000 | #Constraints: 83099
1066.96/1070.58 c #Conflicts: 946000 | #Constraints: 84099
1066.96/1070.58 c #Conflicts: 947000 | #Constraints: 85099
1066.96/1070.58 c #Conflicts: 948000 | #Constraints: 86099
1066.96/1070.58 c #Conflicts: 949000 | #Constraints: 87099
1066.96/1070.58 c #Conflicts: 950000 | #Constraints: 88099
1066.96/1070.58 c #Conflicts: 951000 | #Constraints: 89099
1066.96/1070.58 c #Conflicts: 952000 | #Constraints: 90099
1066.96/1070.58 c #Conflicts: 953000 | #Constraints: 91099
1066.96/1070.58 c #Conflicts: 954000 | #Constraints: 92099
1066.96/1070.58 c #Conflicts: 955000 | #Constraints: 93099
1066.96/1070.58 c #Conflicts: 956000 | #Constraints: 94099
1066.96/1070.58 c #Conflicts: 957000 | #Constraints: 95099
1066.96/1070.58 c #Conflicts: 958000 | #Constraints: 96099
1066.96/1070.58 c #Conflicts: 959000 | #Constraints: 97099
1066.96/1070.58 c #Conflicts: 960000 | #Constraints: 98099
1066.96/1070.58 c INPROCESSING
1066.96/1070.58 c GARBAGE COLLECT
1066.96/1070.58 c #Conflicts: 961000 | #Constraints: 70939
1066.96/1070.58 c #Conflicts: 962000 | #Constraints: 71939
1066.96/1070.58 c #Conflicts: 963000 | #Constraints: 72939
1066.96/1070.58 c #Conflicts: 964000 | #Constraints: 73939
1066.96/1070.58 c #Conflicts: 965000 | #Constraints: 74939
1066.96/1070.58 c #Conflicts: 966000 | #Constraints: 75939
1066.96/1070.58 c #Conflicts: 967000 | #Constraints: 76939
1066.96/1070.58 c #Conflicts: 968000 | #Constraints: 77939
1066.96/1070.58 c #Conflicts: 969000 | #Constraints: 78939
1066.96/1070.58 c #Conflicts: 970000 | #Constraints: 79939
1066.96/1070.58 c #Conflicts: 971000 | #Constraints: 80939
1066.96/1070.58 c #Conflicts: 972000 | #Constraints: 81939
1066.96/1070.58 c #Conflicts: 973000 | #Constraints: 82939
1066.96/1070.58 c #Conflicts: 974000 | #Constraints: 83939
1066.96/1070.58 c #Conflicts: 975000 | #Constraints: 84939
1066.96/1070.58 c #Conflicts: 976000 | #Constraints: 85939
1066.96/1070.58 c #Conflicts: 977000 | #Constraints: 86939
1066.96/1070.58 c #Conflicts: 978000 | #Constraints: 87939
1066.96/1070.58 c #Conflicts: 979000 | #Constraints: 88939
1165.92/1169.85 c #Conflicts: 980000 | #Constraints: 89939
1165.92/1169.85 c #Conflicts: 981000 | #Constraints: 90939
1165.92/1169.85 c #Conflicts: 982000 | #Constraints: 91939
1165.92/1169.85 c INPROCESSING
1165.92/1169.85 c GARBAGE COLLECT
1165.92/1169.85 c #Conflicts: 983000 | #Constraints: 67774
1165.92/1169.85 c #Conflicts: 984000 | #Constraints: 68774
1165.92/1169.85 c #Conflicts: 985000 | #Constraints: 69774
1165.92/1169.85 c #Conflicts: 986000 | #Constraints: 70774
1165.92/1169.85 c #Conflicts: 987000 | #Constraints: 71774
1165.92/1169.85 c #Conflicts: 988000 | #Constraints: 72774
1165.92/1169.85 c #Conflicts: 989000 | #Constraints: 73774
1165.92/1169.85 c #Conflicts: 990000 | #Constraints: 74774
1165.92/1169.85 c #Conflicts: 991000 | #Constraints: 75774
1165.92/1169.85 c #Conflicts: 992000 | #Constraints: 76774
1165.92/1169.85 c #Conflicts: 993000 | #Constraints: 77774
1165.92/1169.85 c #Conflicts: 994000 | #Constraints: 78774
1165.92/1169.85 c #Conflicts: 995000 | #Constraints: 79774
1165.92/1169.85 c #Conflicts: 996000 | #Constraints: 80774
1165.92/1169.85 c #Conflicts: 997000 | #Constraints: 81774
1165.92/1169.85 c #Conflicts: 998000 | #Constraints: 82774
1165.92/1169.85 c #Conflicts: 999000 | #Constraints: 83774
1165.92/1169.85 c #Conflicts: 1000000 | #Constraints: 84774
1165.92/1169.85 c #Conflicts: 1001000 | #Constraints: 85774
1165.92/1169.85 c #Conflicts: 1002000 | #Constraints: 86774
1165.92/1169.85 c #Conflicts: 1003000 | #Constraints: 87774
1165.92/1169.85 c #Conflicts: 1004000 | #Constraints: 88774
1165.92/1169.85 c INPROCESSING
1165.92/1169.85 c GARBAGE COLLECT
1165.92/1169.85 c #Conflicts: 1005000 | #Constraints: 66054
1165.92/1169.85 c #Conflicts: 1006000 | #Constraints: 67054
1165.92/1169.85 c #Conflicts: 1007000 | #Constraints: 68054
1165.92/1169.85 c #Conflicts: 1008000 | #Constraints: 69054
1165.92/1169.85 c #Conflicts: 1009000 | #Constraints: 70054
1165.92/1169.85 c #Conflicts: 1010000 | #Constraints: 71054
1165.92/1169.85 c #Conflicts: 1011000 | #Constraints: 72054
1165.92/1169.85 c #Conflicts: 1012000 | #Constraints: 73054
1165.92/1169.85 c #Conflicts: 1013000 | #Constraints: 74054
1165.92/1169.85 c #Conflicts: 1014000 | #Constraints: 75054
1165.92/1169.85 c #Conflicts: 1015000 | #Constraints: 76054
1165.92/1169.85 c #Conflicts: 1016000 | #Constraints: 77054
1165.92/1169.85 c #Conflicts: 1017000 | #Constraints: 78054
1165.92/1169.85 c #Conflicts: 1018000 | #Constraints: 79054
1165.92/1169.85 c #Conflicts: 1019000 | #Constraints: 80054
1165.92/1169.85 c #Conflicts: 1020000 | #Constraints: 81054
1165.92/1169.85 c #Conflicts: 1021000 | #Constraints: 82054
1165.92/1169.85 c #Conflicts: 1022000 | #Constraints: 83054
1165.92/1169.85 c #Conflicts: 1023000 | #Constraints: 84054
1165.92/1169.85 c #Conflicts: 1024000 | #Constraints: 85054
1165.92/1169.85 c #Conflicts: 1025000 | #Constraints: 86054
1165.92/1169.85 c #Conflicts: 1026000 | #Constraints: 87054
1165.92/1169.85 c #Conflicts: 1027000 | #Constraints: 88054
1165.92/1169.85 c #Conflicts: 1028000 | #Constraints: 89054
1165.92/1169.85 c #Conflicts: 1029000 | #Constraints: 90054
1165.92/1169.85 c #Conflicts: 1030000 | #Constraints: 91054
1165.92/1169.85 c #Conflicts: 1031000 | #Constraints: 92054
1165.92/1169.85 c #Conflicts: 1032000 | #Constraints: 93054
1165.92/1169.85 c #Conflicts: 1033000 | #Constraints: 94054
1165.92/1169.85 c #Conflicts: 1034000 | #Constraints: 95054
1165.92/1169.85 c #Conflicts: 1035000 | #Constraints: 96054
1165.92/1169.85 c #Conflicts: 1036000 | #Constraints: 97054
1165.92/1169.85 c #Conflicts: 1037000 | #Constraints: 98054
1165.92/1169.85 c #Conflicts: 1038000 | #Constraints: 99054
1165.92/1169.85 c #Conflicts: 1039000 | #Constraints: 100054
1165.92/1169.85 c #Conflicts: 1040000 | #Constraints: 101054
1165.92/1169.85 c #Conflicts: 1041000 | #Constraints: 102054
1165.92/1169.85 c #Conflicts: 1042000 | #Constraints: 103054
1165.92/1169.85 c #Conflicts: 1043000 | #Constraints: 104054
1165.92/1169.85 c #Conflicts: 1044000 | #Constraints: 105054
1165.92/1169.85 c #Conflicts: 1045000 | #Constraints: 106054
1165.92/1169.85 c #Conflicts: 1046000 | #Constraints: 107054
1165.92/1169.85 c #Conflicts: 1047000 | #Constraints: 108054
1165.92/1169.85 c #Conflicts: 1048000 | #Constraints: 109054
1165.92/1169.85 c #Conflicts: 1049000 | #Constraints: 110054
1165.92/1169.85 c #Conflicts: 1050000 | #Constraints: 111054
1165.92/1169.85 c #Conflicts: 1051000 | #Constraints: 112054
1165.92/1169.85 c #Conflicts: 1052000 | #Constraints: 113054
1165.92/1169.85 c #Conflicts: 1053000 | #Constraints: 114054
1165.92/1169.85 c #Conflicts: 1054000 | #Constraints: 115054
1165.92/1169.85 c #Conflicts: 1055000 | #Constraints: 116054
1165.92/1169.85 c #Conflicts: 1056000 | #Constraints: 117054
1165.92/1169.85 c #Conflicts: 1057000 | #Constraints: 118054
1327.71/1332.15 c #Conflicts: 1058000 | #Constraints: 119054
1327.71/1332.15 c #Conflicts: 1059000 | #Constraints: 120054
1327.71/1332.15 c #Conflicts: 1060000 | #Constraints: 121054
1327.71/1332.15 c #Conflicts: 1061000 | #Constraints: 122054
1327.71/1332.15 c #Conflicts: 1062000 | #Constraints: 123054
1327.71/1332.15 c #Conflicts: 1063000 | #Constraints: 124054
1327.71/1332.15 c #Conflicts: 1064000 | #Constraints: 125054
1327.71/1332.15 c #Conflicts: 1065000 | #Constraints: 126054
1327.71/1332.15 c #Conflicts: 1066000 | #Constraints: 127054
1327.71/1332.15 c #Conflicts: 1067000 | #Constraints: 128054
1327.71/1332.15 c #Conflicts: 1068000 | #Constraints: 129054
1327.71/1332.15 c #Conflicts: 1069000 | #Constraints: 130054
1327.71/1332.15 c #Conflicts: 1070000 | #Constraints: 131054
1327.71/1332.15 c #Conflicts: 1071000 | #Constraints: 132054
1327.71/1332.15 c #Conflicts: 1072000 | #Constraints: 133054
1327.71/1332.15 c #Conflicts: 1073000 | #Constraints: 134054
1327.71/1332.15 c #Conflicts: 1074000 | #Constraints: 135054
1327.71/1332.15 c #Conflicts: 1075000 | #Constraints: 136054
1327.71/1332.15 c #Conflicts: 1076000 | #Constraints: 137054
1327.71/1332.15 c #Conflicts: 1077000 | #Constraints: 138054
1327.71/1332.15 c #Conflicts: 1078000 | #Constraints: 139054
1327.71/1332.15 c #Conflicts: 1079000 | #Constraints: 140054
1327.71/1332.15 c #Conflicts: 1080000 | #Constraints: 141054
1327.71/1332.15 c #Conflicts: 1081000 | #Constraints: 142054
1327.71/1332.15 c #Conflicts: 1082000 | #Constraints: 143054
1327.71/1332.15 c #Conflicts: 1083000 | #Constraints: 144054
1327.71/1332.15 c INPROCESSING
1327.71/1332.15 c GARBAGE COLLECT
1327.71/1332.15 c #Conflicts: 1084000 | #Constraints: 93597
1327.71/1332.15 c #Conflicts: 1085000 | #Constraints: 94597
1327.71/1332.15 c #Conflicts: 1086000 | #Constraints: 95597
1327.71/1332.15 c #Conflicts: 1087000 | #Constraints: 96597
1327.71/1332.15 c #Conflicts: 1088000 | #Constraints: 97597
1327.71/1332.15 c #Conflicts: 1089000 | #Constraints: 98597
1327.71/1332.15 c #Conflicts: 1090000 | #Constraints: 99597
1327.71/1332.15 c #Conflicts: 1091000 | #Constraints: 100597
1327.71/1332.15 c #Conflicts: 1092000 | #Constraints: 101597
1327.71/1332.15 c #Conflicts: 1093000 | #Constraints: 102597
1327.71/1332.15 c #Conflicts: 1094000 | #Constraints: 103597
1327.71/1332.15 c #Conflicts: 1095000 | #Constraints: 104597
1327.71/1332.15 c #Conflicts: 1096000 | #Constraints: 105597
1327.71/1332.15 c #Conflicts: 1097000 | #Constraints: 106597
1327.71/1332.15 c #Conflicts: 1098000 | #Constraints: 107597
1327.71/1332.15 c #Conflicts: 1099000 | #Constraints: 108597
1327.71/1332.15 c #Conflicts: 1100000 | #Constraints: 109597
1327.71/1332.15 c #Conflicts: 1101000 | #Constraints: 110597
1327.71/1332.15 c #Conflicts: 1102000 | #Constraints: 111597
1327.71/1332.15 c #Conflicts: 1103000 | #Constraints: 112597
1327.71/1332.15 c #Conflicts: 1104000 | #Constraints: 113597
1327.71/1332.15 c #Conflicts: 1105000 | #Constraints: 114597
1327.71/1332.15 c #Conflicts: 1106000 | #Constraints: 115597
1327.71/1332.15 c #Conflicts: 1107000 | #Constraints: 116597
1327.71/1332.15 c INPROCESSING
1327.71/1332.15 c GARBAGE COLLECT
1327.71/1332.15 c #Conflicts: 1108000 | #Constraints: 80071
1327.71/1332.15 c #Conflicts: 1109000 | #Constraints: 81071
1327.71/1332.15 c #Conflicts: 1110000 | #Constraints: 82071
1327.71/1332.15 c #Conflicts: 1111000 | #Constraints: 83071
1327.71/1332.15 c #Conflicts: 1112000 | #Constraints: 84071
1327.71/1332.15 c #Conflicts: 1113000 | #Constraints: 85071
1327.71/1332.15 c #Conflicts: 1114000 | #Constraints: 86071
1327.71/1332.15 c #Conflicts: 1115000 | #Constraints: 87071
1327.71/1332.15 c #Conflicts: 1116000 | #Constraints: 88071
1327.71/1332.15 c #Conflicts: 1117000 | #Constraints: 89071
1327.71/1332.15 c #Conflicts: 1118000 | #Constraints: 90071
1327.71/1332.15 c #Conflicts: 1119000 | #Constraints: 91071
1327.71/1332.15 c #Conflicts: 1120000 | #Constraints: 92071
1327.71/1332.15 c #Conflicts: 1121000 | #Constraints: 93071
1327.71/1332.15 c #Conflicts: 1122000 | #Constraints: 94071
1327.71/1332.15 c #Conflicts: 1123000 | #Constraints: 95071
1327.71/1332.15 c #Conflicts: 1124000 | #Constraints: 96071
1327.71/1332.15 c #Conflicts: 1125000 | #Constraints: 97071
1327.71/1332.15 c #Conflicts: 1126000 | #Constraints: 98071
1327.71/1332.15 c #Conflicts: 1127000 | #Constraints: 99071
1327.71/1332.15 c #Conflicts: 1128000 | #Constraints: 100071
1327.71/1332.15 c #Conflicts: 1129000 | #Constraints: 101071
1327.71/1332.15 c #Conflicts: 1130000 | #Constraints: 102071
1327.71/1332.15 c #Conflicts: 1131000 | #Constraints: 103071
1327.71/1332.15 c INPROCESSING
1327.71/1332.15 c GARBAGE COLLECT
1327.71/1332.15 c #Conflicts: 1132000 | #Constraints: 73407
1327.71/1332.15 c #Conflicts: 1133000 | #Constraints: 74407
1327.71/1332.15 c #Conflicts: 1134000 | #Constraints: 75407
1423.58/1428.39 c #Conflicts: 1135000 | #Constraints: 76407
1423.58/1428.39 c #Conflicts: 1136000 | #Constraints: 77407
1423.58/1428.39 c #Conflicts: 1137000 | #Constraints: 78407
1423.58/1428.39 c #Conflicts: 1138000 | #Constraints: 79407
1423.58/1428.39 c #Conflicts: 1139000 | #Constraints: 80407
1423.58/1428.39 c #Conflicts: 1140000 | #Constraints: 81407
1423.58/1428.39 c #Conflicts: 1141000 | #Constraints: 82407
1423.58/1428.39 c #Conflicts: 1142000 | #Constraints: 83407
1423.58/1428.39 c #Conflicts: 1143000 | #Constraints: 84407
1423.58/1428.39 c #Conflicts: 1144000 | #Constraints: 85407
1423.58/1428.39 c #Conflicts: 1145000 | #Constraints: 86407
1423.58/1428.39 c #Conflicts: 1146000 | #Constraints: 87407
1423.58/1428.39 c #Conflicts: 1147000 | #Constraints: 88407
1423.58/1428.39 c #Conflicts: 1148000 | #Constraints: 89407
1423.58/1428.39 c #Conflicts: 1149000 | #Constraints: 90407
1423.58/1428.39 c #Conflicts: 1150000 | #Constraints: 91407
1423.58/1428.39 c #Conflicts: 1151000 | #Constraints: 92407
1423.58/1428.39 c #Conflicts: 1152000 | #Constraints: 93407
1423.58/1428.39 c #Conflicts: 1153000 | #Constraints: 94407
1423.58/1428.39 c #Conflicts: 1154000 | #Constraints: 95407
1423.58/1428.39 c #Conflicts: 1155000 | #Constraints: 96407
1423.58/1428.39 c INPROCESSING
1423.58/1428.39 c GARBAGE COLLECT
1423.58/1428.39 c #Conflicts: 1156000 | #Constraints: 70067
1423.58/1428.39 c #Conflicts: 1157000 | #Constraints: 71067
1423.58/1428.39 c #Conflicts: 1158000 | #Constraints: 72067
1423.58/1428.39 c #Conflicts: 1159000 | #Constraints: 73067
1423.58/1428.39 c #Conflicts: 1160000 | #Constraints: 74067
1423.58/1428.39 c #Conflicts: 1161000 | #Constraints: 75067
1423.58/1428.39 c #Conflicts: 1162000 | #Constraints: 76067
1423.58/1428.39 c #Conflicts: 1163000 | #Constraints: 77067
1423.58/1428.39 c #Conflicts: 1164000 | #Constraints: 78067
1423.58/1428.39 c #Conflicts: 1165000 | #Constraints: 79067
1423.58/1428.39 c #Conflicts: 1166000 | #Constraints: 80067
1423.58/1428.39 c #Conflicts: 1167000 | #Constraints: 81067
1423.58/1428.39 c #Conflicts: 1168000 | #Constraints: 82067
1423.58/1428.39 c #Conflicts: 1169000 | #Constraints: 83067
1423.58/1428.39 c #Conflicts: 1170000 | #Constraints: 84067
1423.58/1428.39 c #Conflicts: 1171000 | #Constraints: 85067
1423.58/1428.39 c #Conflicts: 1172000 | #Constraints: 86067
1423.58/1428.39 c #Conflicts: 1173000 | #Constraints: 87067
1423.58/1428.39 c #Conflicts: 1174000 | #Constraints: 88067
1423.58/1428.39 c #Conflicts: 1175000 | #Constraints: 89067
1423.58/1428.39 c #Conflicts: 1176000 | #Constraints: 90067
1423.58/1428.39 c #Conflicts: 1177000 | #Constraints: 91067
1423.58/1428.39 c #Conflicts: 1178000 | #Constraints: 92067
1423.58/1428.39 c #Conflicts: 1179000 | #Constraints: 93067
1423.58/1428.39 c INPROCESSING
1423.58/1428.39 c GARBAGE COLLECT
1423.58/1428.39 c #Conflicts: 1180000 | #Constraints: 68295
1423.58/1428.39 c #Conflicts: 1181000 | #Constraints: 69295
1423.58/1428.39 c #Conflicts: 1182000 | #Constraints: 70295
1423.58/1428.39 c #Conflicts: 1183000 | #Constraints: 71295
1423.58/1428.39 c #Conflicts: 1184000 | #Constraints: 72295
1423.58/1428.39 c #Conflicts: 1185000 | #Constraints: 73295
1423.58/1428.39 c #Conflicts: 1186000 | #Constraints: 74295
1423.58/1428.39 c #Conflicts: 1187000 | #Constraints: 75295
1423.58/1428.39 c #Conflicts: 1188000 | #Constraints: 76295
1423.58/1428.39 c #Conflicts: 1189000 | #Constraints: 77295
1423.58/1428.39 c #Conflicts: 1190000 | #Constraints: 78295
1423.58/1428.39 c #Conflicts: 1191000 | #Constraints: 79295
1423.58/1428.39 c #Conflicts: 1192000 | #Constraints: 80295
1423.58/1428.39 c #Conflicts: 1193000 | #Constraints: 81295
1423.58/1428.39 c #Conflicts: 1194000 | #Constraints: 82295
1423.58/1428.39 c #Conflicts: 1195000 | #Constraints: 83295
1423.58/1428.39 c #Conflicts: 1196000 | #Constraints: 84295
1423.58/1428.39 c #Conflicts: 1197000 | #Constraints: 85295
1423.58/1428.39 c #Conflicts: 1198000 | #Constraints: 86295
1423.58/1428.39 c #Conflicts: 1199000 | #Constraints: 87295
1423.58/1428.39 c #Conflicts: 1200000 | #Constraints: 88295
1423.58/1428.39 c #Conflicts: 1201000 | #Constraints: 89295
1423.58/1428.39 c #Conflicts: 1202000 | #Constraints: 90295
1423.58/1428.39 c #Conflicts: 1203000 | #Constraints: 91295
1423.58/1428.39 c #Conflicts: 1204000 | #Constraints: 92295
1423.58/1428.39 c #Conflicts: 1205000 | #Constraints: 93295
1423.58/1428.39 c #Conflicts: 1206000 | #Constraints: 94295
1423.58/1428.39 c #Conflicts: 1207000 | #Constraints: 95295
1423.58/1428.39 c #Conflicts: 1208000 | #Constraints: 96295
1423.58/1428.39 c #Conflicts: 1209000 | #Constraints: 97295
1423.58/1428.39 c #Conflicts: 1210000 | #Constraints: 98295
1423.58/1428.39 c #Conflicts: 1211000 | #Constraints: 99295
1626.28/1631.74 c #Conflicts: 1212000 | #Constraints: 100295
1626.28/1631.74 c #Conflicts: 1213000 | #Constraints: 101295
1626.28/1631.74 c #Conflicts: 1214000 | #Constraints: 102295
1626.28/1631.74 c #Conflicts: 1215000 | #Constraints: 103295
1626.28/1631.74 c #Conflicts: 1216000 | #Constraints: 104295
1626.28/1631.74 c #Conflicts: 1217000 | #Constraints: 105295
1626.28/1631.74 c #Conflicts: 1218000 | #Constraints: 106295
1626.28/1631.74 c #Conflicts: 1219000 | #Constraints: 107295
1626.28/1631.74 c #Conflicts: 1220000 | #Constraints: 108295
1626.28/1631.74 c #Conflicts: 1221000 | #Constraints: 109295
1626.28/1631.74 c #Conflicts: 1222000 | #Constraints: 110295
1626.28/1631.74 c #Conflicts: 1223000 | #Constraints: 111295
1626.28/1631.74 c #Conflicts: 1224000 | #Constraints: 112295
1626.28/1631.74 c #Conflicts: 1225000 | #Constraints: 113295
1626.28/1631.74 c #Conflicts: 1226000 | #Constraints: 114295
1626.28/1631.74 c #Conflicts: 1227000 | #Constraints: 115295
1626.28/1631.74 c #Conflicts: 1228000 | #Constraints: 116295
1626.28/1631.74 c #Conflicts: 1229000 | #Constraints: 117295
1626.28/1631.74 c #Conflicts: 1230000 | #Constraints: 118295
1626.28/1631.74 c #Conflicts: 1231000 | #Constraints: 119295
1626.28/1631.74 c #Conflicts: 1232000 | #Constraints: 120295
1626.28/1631.74 c #Conflicts: 1233000 | #Constraints: 121295
1626.28/1631.74 c #Conflicts: 1234000 | #Constraints: 122295
1626.28/1631.74 c #Conflicts: 1235000 | #Constraints: 123295
1626.28/1631.74 c #Conflicts: 1236000 | #Constraints: 124295
1626.28/1631.74 c #Conflicts: 1237000 | #Constraints: 125295
1626.28/1631.74 c #Conflicts: 1238000 | #Constraints: 126295
1626.28/1631.74 c #Conflicts: 1239000 | #Constraints: 127295
1626.28/1631.74 c #Conflicts: 1240000 | #Constraints: 128295
1626.28/1631.74 c #Conflicts: 1241000 | #Constraints: 129295
1626.28/1631.74 c #Conflicts: 1242000 | #Constraints: 130295
1626.28/1631.74 c #Conflicts: 1243000 | #Constraints: 131295
1626.28/1631.74 c #Conflicts: 1244000 | #Constraints: 132295
1626.28/1631.74 c #Conflicts: 1245000 | #Constraints: 133295
1626.28/1631.74 c #Conflicts: 1246000 | #Constraints: 134295
1626.28/1631.74 c #Conflicts: 1247000 | #Constraints: 135295
1626.28/1631.74 c #Conflicts: 1248000 | #Constraints: 136295
1626.28/1631.74 c #Conflicts: 1249000 | #Constraints: 137295
1626.28/1631.74 c #Conflicts: 1250000 | #Constraints: 138295
1626.28/1631.74 c #Conflicts: 1251000 | #Constraints: 139295
1626.28/1631.74 c #Conflicts: 1252000 | #Constraints: 140295
1626.28/1631.74 c #Conflicts: 1253000 | #Constraints: 141295
1626.28/1631.74 c #Conflicts: 1254000 | #Constraints: 142295
1626.28/1631.74 c #Conflicts: 1255000 | #Constraints: 143295
1626.28/1631.74 c #Conflicts: 1256000 | #Constraints: 144295
1626.28/1631.74 c #Conflicts: 1257000 | #Constraints: 145295
1626.28/1631.74 c #Conflicts: 1258000 | #Constraints: 146295
1626.28/1631.74 c #Conflicts: 1259000 | #Constraints: 147295
1626.28/1631.74 c #Conflicts: 1260000 | #Constraints: 148295
1626.28/1631.74 c #Conflicts: 1261000 | #Constraints: 149295
1626.28/1631.74 c #Conflicts: 1262000 | #Constraints: 150295
1626.28/1631.74 c #Conflicts: 1263000 | #Constraints: 151295
1626.28/1631.74 c #Conflicts: 1264000 | #Constraints: 152295
1626.28/1631.74 c INPROCESSING
1626.28/1631.74 c GARBAGE COLLECT
1626.28/1631.74 c #Conflicts: 1265000 | #Constraints: 97623
1626.28/1631.74 c #Conflicts: 1266000 | #Constraints: 98623
1626.28/1631.74 c #Conflicts: 1267000 | #Constraints: 99623
1626.28/1631.74 c #Conflicts: 1268000 | #Constraints: 100623
1626.28/1631.74 c #Conflicts: 1269000 | #Constraints: 101623
1626.28/1631.74 c #Conflicts: 1270000 | #Constraints: 102623
1626.28/1631.74 c #Conflicts: 1271000 | #Constraints: 103623
1626.28/1631.74 c #Conflicts: 1272000 | #Constraints: 104623
1626.28/1631.74 c #Conflicts: 1273000 | #Constraints: 105623
1626.28/1631.74 c #Conflicts: 1274000 | #Constraints: 106623
1626.28/1631.74 c #Conflicts: 1275000 | #Constraints: 107623
1626.28/1631.74 c #Conflicts: 1276000 | #Constraints: 108623
1626.28/1631.74 c #Conflicts: 1277000 | #Constraints: 109623
1626.28/1631.74 c #Conflicts: 1278000 | #Constraints: 110623
1626.28/1631.74 c #Conflicts: 1279000 | #Constraints: 111623
1626.28/1631.74 c #Conflicts: 1280000 | #Constraints: 112623
1626.28/1631.74 c #Conflicts: 1281000 | #Constraints: 113623
1626.28/1631.74 c #Conflicts: 1282000 | #Constraints: 114623
1626.28/1631.74 c #Conflicts: 1283000 | #Constraints: 115623
1626.28/1631.74 c #Conflicts: 1284000 | #Constraints: 116623
1626.28/1631.74 c #Conflicts: 1285000 | #Constraints: 117623
1626.28/1631.74 c #Conflicts: 1286000 | #Constraints: 118623
1626.28/1631.74 c #Conflicts: 1287000 | #Constraints: 119623
1626.28/1631.74 c #Conflicts: 1288000 | #Constraints: 120623
1626.28/1631.74 c #Conflicts: 1289000 | #Constraints: 121623
1749.28/1755.19 c #Conflicts: 1290000 | #Constraints: 122623
1749.28/1755.19 c INPROCESSING
1749.28/1755.19 c GARBAGE COLLECT
1749.28/1755.19 c #Conflicts: 1291000 | #Constraints: 83044
1749.28/1755.19 c #Conflicts: 1292000 | #Constraints: 84044
1749.28/1755.19 c #Conflicts: 1293000 | #Constraints: 85044
1749.28/1755.19 c #Conflicts: 1294000 | #Constraints: 86044
1749.28/1755.19 c #Conflicts: 1295000 | #Constraints: 87044
1749.28/1755.19 c #Conflicts: 1296000 | #Constraints: 88044
1749.28/1755.19 c #Conflicts: 1297000 | #Constraints: 89044
1749.28/1755.19 c #Conflicts: 1298000 | #Constraints: 90044
1749.28/1755.19 c #Conflicts: 1299000 | #Constraints: 91044
1749.28/1755.19 c #Conflicts: 1300000 | #Constraints: 92044
1749.28/1755.19 c #Conflicts: 1301000 | #Constraints: 93044
1749.28/1755.19 c #Conflicts: 1302000 | #Constraints: 94044
1749.28/1755.19 c #Conflicts: 1303000 | #Constraints: 95044
1749.28/1755.19 c #Conflicts: 1304000 | #Constraints: 96044
1749.28/1755.19 c #Conflicts: 1305000 | #Constraints: 97044
1749.28/1755.19 c #Conflicts: 1306000 | #Constraints: 98044
1749.28/1755.19 c #Conflicts: 1307000 | #Constraints: 99044
1749.28/1755.19 c #Conflicts: 1308000 | #Constraints: 100044
1749.28/1755.19 c #Conflicts: 1309000 | #Constraints: 101044
1749.28/1755.19 c #Conflicts: 1310000 | #Constraints: 102044
1749.28/1755.19 c #Conflicts: 1311000 | #Constraints: 103044
1749.28/1755.19 c #Conflicts: 1312000 | #Constraints: 104044
1749.28/1755.19 c #Conflicts: 1313000 | #Constraints: 105044
1749.28/1755.19 c #Conflicts: 1314000 | #Constraints: 106044
1749.28/1755.19 c #Conflicts: 1315000 | #Constraints: 107044
1749.28/1755.19 c #Conflicts: 1316000 | #Constraints: 108044
1749.28/1755.19 c INPROCESSING
1749.28/1755.19 c GARBAGE COLLECT
1749.28/1755.19 c #Conflicts: 1317000 | #Constraints: 75911
1749.28/1755.19 c #Conflicts: 1318000 | #Constraints: 76911
1749.28/1755.19 c #Conflicts: 1319000 | #Constraints: 77911
1749.28/1755.19 c #Conflicts: 1320000 | #Constraints: 78911
1749.28/1755.19 c #Conflicts: 1321000 | #Constraints: 79911
1749.28/1755.19 c #Conflicts: 1322000 | #Constraints: 80911
1749.28/1755.19 c #Conflicts: 1323000 | #Constraints: 81911
1749.28/1755.19 c #Conflicts: 1324000 | #Constraints: 82911
1749.28/1755.19 c #Conflicts: 1325000 | #Constraints: 83911
1749.28/1755.19 c #Conflicts: 1326000 | #Constraints: 84911
1749.28/1755.19 c #Conflicts: 1327000 | #Constraints: 85911
1749.28/1755.19 c #Conflicts: 1328000 | #Constraints: 86911
1749.28/1755.19 c #Conflicts: 1329000 | #Constraints: 87911
1749.28/1755.19 c #Conflicts: 1330000 | #Constraints: 88911
1749.28/1755.19 c #Conflicts: 1331000 | #Constraints: 89911
1749.28/1755.19 c #Conflicts: 1332000 | #Constraints: 90911
1749.28/1755.19 c #Conflicts: 1333000 | #Constraints: 91911
1749.28/1755.19 c #Conflicts: 1334000 | #Constraints: 92911
1749.28/1755.19 c #Conflicts: 1335000 | #Constraints: 93911
1749.28/1755.19 c #Conflicts: 1336000 | #Constraints: 94911
1749.28/1755.19 c #Conflicts: 1337000 | #Constraints: 95911
1749.28/1755.19 c #Conflicts: 1338000 | #Constraints: 96911
1749.28/1755.19 c #Conflicts: 1339000 | #Constraints: 97911
1749.28/1755.19 c #Conflicts: 1340000 | #Constraints: 98911
1749.28/1755.19 c #Conflicts: 1341000 | #Constraints: 99911
1749.28/1755.19 c INPROCESSING
1749.28/1755.19 c GARBAGE COLLECT
1749.28/1755.19 c #Conflicts: 1342000 | #Constraints: 71380
1749.28/1755.19 c #Conflicts: 1343000 | #Constraints: 72380
1749.28/1755.19 c #Conflicts: 1344000 | #Constraints: 73380
1749.28/1755.19 c #Conflicts: 1345000 | #Constraints: 74380
1749.28/1755.19 c #Conflicts: 1346000 | #Constraints: 75380
1749.28/1755.19 c #Conflicts: 1347000 | #Constraints: 76380
1749.28/1755.19 c #Conflicts: 1348000 | #Constraints: 77380
1749.28/1755.19 c #Conflicts: 1349000 | #Constraints: 78380
1749.28/1755.19 c #Conflicts: 1350000 | #Constraints: 79380
1749.28/1755.19 c #Conflicts: 1351000 | #Constraints: 80380
1749.28/1755.19 c #Conflicts: 1352000 | #Constraints: 81380
1749.28/1755.19 c #Conflicts: 1353000 | #Constraints: 82380
1749.28/1755.19 c #Conflicts: 1354000 | #Constraints: 83380
1749.28/1755.19 c #Conflicts: 1355000 | #Constraints: 84380
1749.28/1755.19 c #Conflicts: 1356000 | #Constraints: 85380
1749.28/1755.19 c #Conflicts: 1357000 | #Constraints: 86380
1749.28/1755.19 c #Conflicts: 1358000 | #Constraints: 87380
1749.28/1755.19 c #Conflicts: 1359000 | #Constraints: 88380
1749.28/1755.19 c #Conflicts: 1360000 | #Constraints: 89380
1749.28/1755.19 c #Conflicts: 1361000 | #Constraints: 90380
1749.28/1755.19 c #Conflicts: 1362000 | #Constraints: 91380
1749.28/1755.19 c #Conflicts: 1363000 | #Constraints: 92380
1749.28/1755.19 c #Conflicts: 1364000 | #Constraints: 93380
1749.28/1755.19 c #Conflicts: 1365000 | #Constraints: 94380
1749.28/1755.19 c #Conflicts: 1366000 | #Constraints: 95380
1917.22/1923.66 c #Conflicts: 1367000 | #Constraints: 96380
1917.22/1923.66 c #Conflicts: 1368000 | #Constraints: 97380
1917.22/1923.66 c INPROCESSING
1917.22/1923.66 c GARBAGE COLLECT
1917.22/1923.66 c #Conflicts: 1369000 | #Constraints: 70562
1917.22/1923.66 c #Conflicts: 1370000 | #Constraints: 71562
1917.22/1923.66 c #Conflicts: 1371000 | #Constraints: 72562
1917.22/1923.66 c #Conflicts: 1372000 | #Constraints: 73562
1917.22/1923.66 c #Conflicts: 1373000 | #Constraints: 74562
1917.22/1923.66 c #Conflicts: 1374000 | #Constraints: 75562
1917.22/1923.66 c #Conflicts: 1375000 | #Constraints: 76562
1917.22/1923.66 c #Conflicts: 1376000 | #Constraints: 77562
1917.22/1923.66 c #Conflicts: 1377000 | #Constraints: 78562
1917.22/1923.66 c #Conflicts: 1378000 | #Constraints: 79562
1917.22/1923.66 c #Conflicts: 1379000 | #Constraints: 80562
1917.22/1923.66 c #Conflicts: 1380000 | #Constraints: 81562
1917.22/1923.66 c #Conflicts: 1381000 | #Constraints: 82562
1917.22/1923.66 c #Conflicts: 1382000 | #Constraints: 83562
1917.22/1923.66 c #Conflicts: 1383000 | #Constraints: 84562
1917.22/1923.66 c #Conflicts: 1384000 | #Constraints: 85562
1917.22/1923.66 c #Conflicts: 1385000 | #Constraints: 86562
1917.22/1923.66 c #Conflicts: 1386000 | #Constraints: 87562
1917.22/1923.66 c #Conflicts: 1387000 | #Constraints: 88562
1917.22/1923.66 c #Conflicts: 1388000 | #Constraints: 89562
1917.22/1923.66 c #Conflicts: 1389000 | #Constraints: 90562
1917.22/1923.66 c #Conflicts: 1390000 | #Constraints: 91562
1917.22/1923.66 c #Conflicts: 1391000 | #Constraints: 92562
1917.22/1923.66 c #Conflicts: 1392000 | #Constraints: 93562
1917.22/1923.66 c #Conflicts: 1393000 | #Constraints: 94562
1917.22/1923.66 c #Conflicts: 1394000 | #Constraints: 95562
1917.22/1923.66 c #Conflicts: 1395000 | #Constraints: 96562
1917.22/1923.66 c #Conflicts: 1396000 | #Constraints: 97562
1917.22/1923.66 c #Conflicts: 1397000 | #Constraints: 98562
1917.22/1923.66 c #Conflicts: 1398000 | #Constraints: 99562
1917.22/1923.66 c #Conflicts: 1399000 | #Constraints: 100562
1917.22/1923.66 c #Conflicts: 1400000 | #Constraints: 101562
1917.22/1923.66 c #Conflicts: 1401000 | #Constraints: 102562
1917.22/1923.66 c #Conflicts: 1402000 | #Constraints: 103562
1917.22/1923.66 c #Conflicts: 1403000 | #Constraints: 104562
1917.22/1923.66 c #Conflicts: 1404000 | #Constraints: 105562
1917.22/1923.66 c #Conflicts: 1405000 | #Constraints: 106562
1917.22/1923.66 c #Conflicts: 1406000 | #Constraints: 107562
1917.22/1923.66 c #Conflicts: 1407000 | #Constraints: 108562
1917.22/1923.66 c #Conflicts: 1408000 | #Constraints: 109562
1917.22/1923.66 c #Conflicts: 1409000 | #Constraints: 110562
1917.22/1923.66 c #Conflicts: 1410000 | #Constraints: 111562
1917.22/1923.66 c #Conflicts: 1411000 | #Constraints: 112562
1917.22/1923.66 c #Conflicts: 1412000 | #Constraints: 113562
1917.22/1923.66 c #Conflicts: 1413000 | #Constraints: 114562
1917.22/1923.66 c #Conflicts: 1414000 | #Constraints: 115562
1917.22/1923.66 c #Conflicts: 1415000 | #Constraints: 116562
1917.22/1923.66 c #Conflicts: 1416000 | #Constraints: 117562
1917.22/1923.66 c #Conflicts: 1417000 | #Constraints: 118562
1917.22/1923.66 c #Conflicts: 1418000 | #Constraints: 119562
1917.22/1923.66 c #Conflicts: 1419000 | #Constraints: 120562
1917.22/1923.66 c #Conflicts: 1420000 | #Constraints: 121562
1917.22/1923.66 c #Conflicts: 1421000 | #Constraints: 122562
1917.22/1923.66 c #Conflicts: 1422000 | #Constraints: 123562
1917.22/1923.66 c #Conflicts: 1423000 | #Constraints: 124562
1917.22/1923.66 c #Conflicts: 1424000 | #Constraints: 125562
1917.22/1923.66 c #Conflicts: 1425000 | #Constraints: 126562
1917.22/1923.66 c #Conflicts: 1426000 | #Constraints: 127562
1917.22/1923.66 c #Conflicts: 1427000 | #Constraints: 128562
1917.22/1923.66 c #Conflicts: 1428000 | #Constraints: 129562
1917.22/1923.66 c #Conflicts: 1429000 | #Constraints: 130562
1917.22/1923.66 c #Conflicts: 1430000 | #Constraints: 131562
1917.22/1923.66 c #Conflicts: 1431000 | #Constraints: 132562
1917.22/1923.66 c #Conflicts: 1432000 | #Constraints: 133562
1917.22/1923.66 c #Conflicts: 1433000 | #Constraints: 134562
1917.22/1923.66 c #Conflicts: 1434000 | #Constraints: 135562
1917.22/1923.66 c #Conflicts: 1435000 | #Constraints: 136562
1917.22/1923.66 c #Conflicts: 1436000 | #Constraints: 137562
1917.22/1923.66 c #Conflicts: 1437000 | #Constraints: 138562
1917.22/1923.66 c #Conflicts: 1438000 | #Constraints: 139562
1917.22/1923.66 c #Conflicts: 1439000 | #Constraints: 140562
1917.22/1923.66 c #Conflicts: 1440000 | #Constraints: 141562
1917.22/1923.66 c #Conflicts: 1441000 | #Constraints: 142562
1917.22/1923.66 c #Conflicts: 1442000 | #Constraints: 143562
1917.22/1923.66 c #Conflicts: 1443000 | #Constraints: 144562
1917.22/1923.66 c #Conflicts: 1444000 | #Constraints: 145562
2137.20/2144.39 c #Conflicts: 1445000 | #Constraints: 146562
2137.20/2144.39 c #Conflicts: 1446000 | #Constraints: 147562
2137.20/2144.39 c #Conflicts: 1447000 | #Constraints: 148562
2137.20/2144.39 c #Conflicts: 1448000 | #Constraints: 149562
2137.20/2144.39 c #Conflicts: 1449000 | #Constraints: 150562
2137.20/2144.39 c #Conflicts: 1450000 | #Constraints: 151562
2137.20/2144.39 c #Conflicts: 1451000 | #Constraints: 152562
2137.20/2144.39 c #Conflicts: 1452000 | #Constraints: 153562
2137.20/2144.39 c #Conflicts: 1453000 | #Constraints: 154562
2137.20/2144.39 c #Conflicts: 1454000 | #Constraints: 155562
2137.20/2144.39 c #Conflicts: 1455000 | #Constraints: 156562
2137.20/2144.39 c #Conflicts: 1456000 | #Constraints: 157562
2137.20/2144.39 c #Conflicts: 1457000 | #Constraints: 158562
2137.20/2144.39 c #Conflicts: 1458000 | #Constraints: 159562
2137.20/2144.39 c #Conflicts: 1459000 | #Constraints: 160562
2137.20/2144.39 c #Conflicts: 1460000 | #Constraints: 161562
2137.20/2144.39 c INPROCESSING
2137.20/2144.39 c GARBAGE COLLECT
2137.20/2144.39 c #Conflicts: 1461000 | #Constraints: 102662
2137.20/2144.39 c #Conflicts: 1462000 | #Constraints: 103662
2137.20/2144.39 c #Conflicts: 1463000 | #Constraints: 104662
2137.20/2144.39 c #Conflicts: 1464000 | #Constraints: 105662
2137.20/2144.39 c #Conflicts: 1465000 | #Constraints: 106662
2137.20/2144.39 c #Conflicts: 1466000 | #Constraints: 107662
2137.20/2144.39 c #Conflicts: 1467000 | #Constraints: 108662
2137.20/2144.39 c #Conflicts: 1468000 | #Constraints: 109662
2137.20/2144.39 c #Conflicts: 1469000 | #Constraints: 110662
2137.20/2144.39 c #Conflicts: 1470000 | #Constraints: 111662
2137.20/2144.39 c #Conflicts: 1471000 | #Constraints: 112662
2137.20/2144.39 c #Conflicts: 1472000 | #Constraints: 113662
2137.20/2144.39 c #Conflicts: 1473000 | #Constraints: 114662
2137.20/2144.39 c #Conflicts: 1474000 | #Constraints: 115662
2137.20/2144.39 c #Conflicts: 1475000 | #Constraints: 116662
2137.20/2144.39 c #Conflicts: 1476000 | #Constraints: 117662
2137.20/2144.39 c #Conflicts: 1477000 | #Constraints: 118662
2137.20/2144.39 c #Conflicts: 1478000 | #Constraints: 119662
2137.20/2144.39 c #Conflicts: 1479000 | #Constraints: 120662
2137.20/2144.39 c #Conflicts: 1480000 | #Constraints: 121662
2137.20/2144.39 c #Conflicts: 1481000 | #Constraints: 122662
2137.20/2144.39 c #Conflicts: 1482000 | #Constraints: 123662
2137.20/2144.39 c #Conflicts: 1483000 | #Constraints: 124662
2137.20/2144.39 c #Conflicts: 1484000 | #Constraints: 125662
2137.20/2144.39 c #Conflicts: 1485000 | #Constraints: 126662
2137.20/2144.39 c #Conflicts: 1486000 | #Constraints: 127662
2137.20/2144.39 c #Conflicts: 1487000 | #Constraints: 128662
2137.20/2144.39 c INPROCESSING
2137.20/2144.39 c GARBAGE COLLECT
2137.20/2144.39 c #Conflicts: 1488000 | #Constraints: 86046
2137.20/2144.39 c #Conflicts: 1489000 | #Constraints: 87046
2137.20/2144.39 c #Conflicts: 1490000 | #Constraints: 88046
2137.20/2144.39 c #Conflicts: 1491000 | #Constraints: 89046
2137.20/2144.39 c #Conflicts: 1492000 | #Constraints: 90046
2137.20/2144.39 c #Conflicts: 1493000 | #Constraints: 91046
2137.20/2144.39 c #Conflicts: 1494000 | #Constraints: 92046
2137.20/2144.39 c #Conflicts: 1495000 | #Constraints: 93046
2137.20/2144.39 c #Conflicts: 1496000 | #Constraints: 94046
2137.20/2144.39 c #Conflicts: 1497000 | #Constraints: 95046
2137.20/2144.39 c #Conflicts: 1498000 | #Constraints: 96046
2137.20/2144.39 c #Conflicts: 1499000 | #Constraints: 97046
2137.20/2144.39 c #Conflicts: 1500000 | #Constraints: 98046
2137.20/2144.39 c #Conflicts: 1501000 | #Constraints: 99046
2137.20/2144.39 c #Conflicts: 1502000 | #Constraints: 100046
2137.20/2144.39 c #Conflicts: 1503000 | #Constraints: 101046
2137.20/2144.39 c #Conflicts: 1504000 | #Constraints: 102046
2137.20/2144.39 c #Conflicts: 1505000 | #Constraints: 103046
2137.20/2144.39 c #Conflicts: 1506000 | #Constraints: 104046
2137.20/2144.39 c #Conflicts: 1507000 | #Constraints: 105046
2137.20/2144.39 c #Conflicts: 1508000 | #Constraints: 106046
2137.20/2144.39 c #Conflicts: 1509000 | #Constraints: 107046
2137.20/2144.39 c #Conflicts: 1510000 | #Constraints: 108046
2137.20/2144.39 c #Conflicts: 1511000 | #Constraints: 109046
2137.20/2144.39 c #Conflicts: 1512000 | #Constraints: 110046
2137.20/2144.39 c #Conflicts: 1513000 | #Constraints: 111046
2137.20/2144.39 c #Conflicts: 1514000 | #Constraints: 112046
2137.20/2144.39 c #Conflicts: 1515000 | #Constraints: 113046
2137.20/2144.39 c INPROCESSING
2137.20/2144.39 c GARBAGE COLLECT
2137.20/2144.39 c #Conflicts: 1516000 | #Constraints: 78396
2137.20/2144.39 c #Conflicts: 1517000 | #Constraints: 79396
2137.20/2144.39 c #Conflicts: 1518000 | #Constraints: 80396
2137.20/2144.39 c #Conflicts: 1519000 | #Constraints: 81396
2137.20/2144.39 c #Conflicts: 1520000 | #Constraints: 82396
2137.20/2144.39 c #Conflicts: 1521000 | #Constraints: 83396
2256.62/2264.12 c #Conflicts: 1522000 | #Constraints: 84396
2256.62/2264.12 c #Conflicts: 1523000 | #Constraints: 85396
2256.62/2264.12 c #Conflicts: 1524000 | #Constraints: 86396
2256.62/2264.12 c #Conflicts: 1525000 | #Constraints: 87396
2256.62/2264.12 c #Conflicts: 1526000 | #Constraints: 88396
2256.62/2264.12 c #Conflicts: 1527000 | #Constraints: 89396
2256.62/2264.12 c #Conflicts: 1528000 | #Constraints: 90396
2256.62/2264.12 c #Conflicts: 1529000 | #Constraints: 91396
2256.62/2264.12 c #Conflicts: 1530000 | #Constraints: 92396
2256.62/2264.12 c #Conflicts: 1531000 | #Constraints: 93396
2256.62/2264.12 c #Conflicts: 1532000 | #Constraints: 94396
2256.62/2264.12 c #Conflicts: 1533000 | #Constraints: 95396
2256.62/2264.12 c #Conflicts: 1534000 | #Constraints: 96396
2256.62/2264.12 c #Conflicts: 1535000 | #Constraints: 97396
2256.62/2264.12 c #Conflicts: 1536000 | #Constraints: 98396
2256.62/2264.12 c #Conflicts: 1537000 | #Constraints: 99396
2256.62/2264.12 c #Conflicts: 1538000 | #Constraints: 100396
2256.62/2264.12 c #Conflicts: 1539000 | #Constraints: 101396
2256.62/2264.12 c #Conflicts: 1540000 | #Constraints: 102396
2256.62/2264.12 c #Conflicts: 1541000 | #Constraints: 103396
2256.62/2264.12 c #Conflicts: 1542000 | #Constraints: 104396
2256.62/2264.12 c INPROCESSING
2256.62/2264.12 c GARBAGE COLLECT
2256.62/2264.12 c #Conflicts: 1543000 | #Constraints: 73669
2256.62/2264.12 c #Conflicts: 1544000 | #Constraints: 74669
2256.62/2264.12 c #Conflicts: 1545000 | #Constraints: 75669
2256.62/2264.12 c #Conflicts: 1546000 | #Constraints: 76669
2256.62/2264.12 c #Conflicts: 1547000 | #Constraints: 77669
2256.62/2264.12 c #Conflicts: 1548000 | #Constraints: 78669
2256.62/2264.12 c #Conflicts: 1549000 | #Constraints: 79669
2256.62/2264.12 c #Conflicts: 1550000 | #Constraints: 80669
2256.62/2264.12 c #Conflicts: 1551000 | #Constraints: 81669
2256.62/2264.12 c #Conflicts: 1552000 | #Constraints: 82669
2256.62/2264.12 c #Conflicts: 1553000 | #Constraints: 83669
2256.62/2264.12 c #Conflicts: 1554000 | #Constraints: 84669
2256.62/2264.12 c #Conflicts: 1555000 | #Constraints: 85669
2256.62/2264.12 c #Conflicts: 1556000 | #Constraints: 86669
2256.62/2264.12 c #Conflicts: 1557000 | #Constraints: 87669
2256.62/2264.12 c #Conflicts: 1558000 | #Constraints: 88669
2256.62/2264.12 c #Conflicts: 1559000 | #Constraints: 89669
2256.62/2264.12 c #Conflicts: 1560000 | #Constraints: 90669
2256.62/2264.12 c #Conflicts: 1561000 | #Constraints: 91669
2256.62/2264.12 c #Conflicts: 1562000 | #Constraints: 92669
2256.62/2264.12 c #Conflicts: 1563000 | #Constraints: 93669
2256.62/2264.12 c #Conflicts: 1564000 | #Constraints: 94669
2256.62/2264.12 c #Conflicts: 1565000 | #Constraints: 95669
2256.62/2264.12 c #Conflicts: 1566000 | #Constraints: 96669
2256.62/2264.12 c #Conflicts: 1567000 | #Constraints: 97669
2256.62/2264.12 c #Conflicts: 1568000 | #Constraints: 98669
2256.62/2264.12 c #Conflicts: 1569000 | #Constraints: 99669
2256.62/2264.12 c #Conflicts: 1570000 | #Constraints: 100669
2256.62/2264.12 c INPROCESSING
2256.62/2264.12 c GARBAGE COLLECT
2256.62/2264.12 c #Conflicts: 1571000 | #Constraints: 71797
2256.62/2264.12 c #Conflicts: 1572000 | #Constraints: 72797
2256.62/2264.12 c #Conflicts: 1573000 | #Constraints: 73797
2256.62/2264.12 c #Conflicts: 1574000 | #Constraints: 74797
2256.62/2264.12 c #Conflicts: 1575000 | #Constraints: 75797
2256.62/2264.12 c #Conflicts: 1576000 | #Constraints: 76797
2256.62/2264.12 c #Conflicts: 1577000 | #Constraints: 77797
2256.62/2264.12 c #Conflicts: 1578000 | #Constraints: 78797
2256.62/2264.12 c #Conflicts: 1579000 | #Constraints: 79797
2256.62/2264.12 c #Conflicts: 1580000 | #Constraints: 80797
2256.62/2264.12 c #Conflicts: 1581000 | #Constraints: 81797
2256.62/2264.12 c #Conflicts: 1582000 | #Constraints: 82797
2256.62/2264.12 c #Conflicts: 1583000 | #Constraints: 83797
2256.62/2264.12 c #Conflicts: 1584000 | #Constraints: 84797
2256.62/2264.12 c #Conflicts: 1585000 | #Constraints: 85797
2256.62/2264.12 c #Conflicts: 1586000 | #Constraints: 86797
2256.62/2264.12 c #Conflicts: 1587000 | #Constraints: 87797
2256.62/2264.12 c #Conflicts: 1588000 | #Constraints: 88797
2256.62/2264.12 c #Conflicts: 1589000 | #Constraints: 89797
2256.62/2264.12 c #Conflicts: 1590000 | #Constraints: 90797
2256.62/2264.12 c #Conflicts: 1591000 | #Constraints: 91797
2256.62/2264.12 c #Conflicts: 1592000 | #Constraints: 92797
2256.62/2264.12 c #Conflicts: 1593000 | #Constraints: 93797
2256.62/2264.12 c #Conflicts: 1594000 | #Constraints: 94797
2256.62/2264.12 c #Conflicts: 1595000 | #Constraints: 95797
2256.62/2264.12 c #Conflicts: 1596000 | #Constraints: 96797
2256.62/2264.12 c #Conflicts: 1597000 | #Constraints: 97797
2256.62/2264.12 c #Conflicts: 1598000 | #Constraints: 98797
2256.62/2264.12 c #Conflicts: 1599000 | #Constraints: 99797
2484.66/2492.99 c #Conflicts: 1600000 | #Constraints: 100797
2484.66/2492.99 c #Conflicts: 1601000 | #Constraints: 101797
2484.66/2492.99 c #Conflicts: 1602000 | #Constraints: 102797
2484.66/2492.99 c #Conflicts: 1603000 | #Constraints: 103797
2484.66/2492.99 c #Conflicts: 1604000 | #Constraints: 104797
2484.66/2492.99 c #Conflicts: 1605000 | #Constraints: 105797
2484.66/2492.99 c #Conflicts: 1606000 | #Constraints: 106797
2484.66/2492.99 c #Conflicts: 1607000 | #Constraints: 107797
2484.66/2492.99 c #Conflicts: 1608000 | #Constraints: 108797
2484.66/2492.99 c #Conflicts: 1609000 | #Constraints: 109797
2484.66/2492.99 c #Conflicts: 1610000 | #Constraints: 110797
2484.66/2492.99 c #Conflicts: 1611000 | #Constraints: 111797
2484.66/2492.99 c #Conflicts: 1612000 | #Constraints: 112797
2484.66/2492.99 c #Conflicts: 1613000 | #Constraints: 113797
2484.66/2492.99 c #Conflicts: 1614000 | #Constraints: 114797
2484.66/2492.99 c #Conflicts: 1615000 | #Constraints: 115797
2484.66/2492.99 c #Conflicts: 1616000 | #Constraints: 116797
2484.66/2492.99 c #Conflicts: 1617000 | #Constraints: 117797
2484.66/2492.99 c #Conflicts: 1618000 | #Constraints: 118797
2484.66/2492.99 c #Conflicts: 1619000 | #Constraints: 119797
2484.66/2492.99 c #Conflicts: 1620000 | #Constraints: 120797
2484.66/2492.99 c #Conflicts: 1621000 | #Constraints: 121797
2484.66/2492.99 c #Conflicts: 1622000 | #Constraints: 122797
2484.66/2492.99 c #Conflicts: 1623000 | #Constraints: 123797
2484.66/2492.99 c #Conflicts: 1624000 | #Constraints: 124797
2484.66/2492.99 c #Conflicts: 1625000 | #Constraints: 125797
2484.66/2492.99 c #Conflicts: 1626000 | #Constraints: 126797
2484.66/2492.99 c #Conflicts: 1627000 | #Constraints: 127797
2484.66/2492.99 c #Conflicts: 1628000 | #Constraints: 128797
2484.66/2492.99 c #Conflicts: 1629000 | #Constraints: 129797
2484.66/2492.99 c #Conflicts: 1630000 | #Constraints: 130797
2484.66/2492.99 c #Conflicts: 1631000 | #Constraints: 131797
2484.66/2492.99 c #Conflicts: 1632000 | #Constraints: 132797
2484.66/2492.99 c #Conflicts: 1633000 | #Constraints: 133797
2484.66/2492.99 c #Conflicts: 1634000 | #Constraints: 134797
2484.66/2492.99 c #Conflicts: 1635000 | #Constraints: 135797
2484.66/2492.99 c #Conflicts: 1636000 | #Constraints: 136797
2484.66/2492.99 c #Conflicts: 1637000 | #Constraints: 137797
2484.66/2492.99 c #Conflicts: 1638000 | #Constraints: 138797
2484.66/2492.99 c #Conflicts: 1639000 | #Constraints: 139797
2484.66/2492.99 c #Conflicts: 1640000 | #Constraints: 140797
2484.66/2492.99 c #Conflicts: 1641000 | #Constraints: 141797
2484.66/2492.99 c #Conflicts: 1642000 | #Constraints: 142797
2484.66/2492.99 c #Conflicts: 1643000 | #Constraints: 143797
2484.66/2492.99 c #Conflicts: 1644000 | #Constraints: 144797
2484.66/2492.99 c #Conflicts: 1645000 | #Constraints: 145797
2484.66/2492.99 c #Conflicts: 1646000 | #Constraints: 146797
2484.66/2492.99 c #Conflicts: 1647000 | #Constraints: 147797
2484.66/2492.99 c #Conflicts: 1648000 | #Constraints: 148797
2484.66/2492.99 c #Conflicts: 1649000 | #Constraints: 149797
2484.66/2492.99 c #Conflicts: 1650000 | #Constraints: 150797
2484.66/2492.99 c #Conflicts: 1651000 | #Constraints: 151797
2484.66/2492.99 c #Conflicts: 1652000 | #Constraints: 152797
2484.66/2492.99 c #Conflicts: 1653000 | #Constraints: 153797
2484.66/2492.99 c #Conflicts: 1654000 | #Constraints: 154797
2484.66/2492.99 c #Conflicts: 1655000 | #Constraints: 155797
2484.66/2492.99 c #Conflicts: 1656000 | #Constraints: 156797
2484.66/2492.99 c #Conflicts: 1657000 | #Constraints: 157797
2484.66/2492.99 c #Conflicts: 1658000 | #Constraints: 158797
2484.66/2492.99 c #Conflicts: 1659000 | #Constraints: 159797
2484.66/2492.99 c #Conflicts: 1660000 | #Constraints: 160797
2484.66/2492.99 c #Conflicts: 1661000 | #Constraints: 161797
2484.66/2492.99 c #Conflicts: 1662000 | #Constraints: 162797
2484.66/2492.99 c #Conflicts: 1663000 | #Constraints: 163797
2484.66/2492.99 c #Conflicts: 1664000 | #Constraints: 164797
2484.66/2492.99 c #Conflicts: 1665000 | #Constraints: 165797
2484.66/2492.99 c #Conflicts: 1666000 | #Constraints: 166797
2484.66/2492.99 c #Conflicts: 1667000 | #Constraints: 167797
2484.66/2492.99 c #Conflicts: 1668000 | #Constraints: 168797
2484.66/2492.99 c #Conflicts: 1669000 | #Constraints: 169797
2484.66/2492.99 c INPROCESSING
2484.66/2492.99 c GARBAGE COLLECT
2484.66/2492.99 c #Conflicts: 1670000 | #Constraints: 106682
2484.66/2492.99 c #Conflicts: 1671000 | #Constraints: 107682
2484.66/2492.99 c #Conflicts: 1672000 | #Constraints: 108682
2484.66/2492.99 c #Conflicts: 1673000 | #Constraints: 109682
2484.66/2492.99 c #Conflicts: 1674000 | #Constraints: 110682
2484.66/2492.99 c #Conflicts: 1675000 | #Constraints: 111682
2484.66/2492.99 c #Conflicts: 1676000 | #Constraints: 112682
2484.66/2492.99 c #Conflicts: 1677000 | #Constraints: 113682
2689.29/2698.29 c #Conflicts: 1678000 | #Constraints: 114682
2689.29/2698.29 c #Conflicts: 1679000 | #Constraints: 115682
2689.29/2698.29 c #Conflicts: 1680000 | #Constraints: 116682
2689.29/2698.29 c #Conflicts: 1681000 | #Constraints: 117682
2689.29/2698.29 c #Conflicts: 1682000 | #Constraints: 118682
2689.29/2698.29 c #Conflicts: 1683000 | #Constraints: 119682
2689.29/2698.29 c #Conflicts: 1684000 | #Constraints: 120682
2689.29/2698.29 c #Conflicts: 1685000 | #Constraints: 121682
2689.29/2698.29 c #Conflicts: 1686000 | #Constraints: 122682
2689.29/2698.29 c #Conflicts: 1687000 | #Constraints: 123682
2689.29/2698.29 c #Conflicts: 1688000 | #Constraints: 124682
2689.29/2698.29 c #Conflicts: 1689000 | #Constraints: 125682
2689.29/2698.29 c #Conflicts: 1690000 | #Constraints: 126682
2689.29/2698.29 c #Conflicts: 1691000 | #Constraints: 127682
2689.29/2698.29 c #Conflicts: 1692000 | #Constraints: 128682
2689.29/2698.29 c #Conflicts: 1693000 | #Constraints: 129682
2689.29/2698.29 c #Conflicts: 1694000 | #Constraints: 130682
2689.29/2698.29 c #Conflicts: 1695000 | #Constraints: 131682
2689.29/2698.29 c #Conflicts: 1696000 | #Constraints: 132682
2689.29/2698.29 c #Conflicts: 1697000 | #Constraints: 133682
2689.29/2698.29 c #Conflicts: 1698000 | #Constraints: 134682
2689.29/2698.29 c INPROCESSING
2689.29/2698.29 c GARBAGE COLLECT
2689.29/2698.29 c #Conflicts: 1699000 | #Constraints: 88966
2689.29/2698.29 c #Conflicts: 1700000 | #Constraints: 89966
2689.29/2698.29 c #Conflicts: 1701000 | #Constraints: 90966
2689.29/2698.29 c #Conflicts: 1702000 | #Constraints: 91966
2689.29/2698.29 c #Conflicts: 1703000 | #Constraints: 92966
2689.29/2698.29 c #Conflicts: 1704000 | #Constraints: 93966
2689.29/2698.29 c #Conflicts: 1705000 | #Constraints: 94966
2689.29/2698.29 c #Conflicts: 1706000 | #Constraints: 95966
2689.29/2698.29 c #Conflicts: 1707000 | #Constraints: 96966
2689.29/2698.29 c #Conflicts: 1708000 | #Constraints: 97966
2689.29/2698.29 c #Conflicts: 1709000 | #Constraints: 98966
2689.29/2698.29 c #Conflicts: 1710000 | #Constraints: 99966
2689.29/2698.29 c #Conflicts: 1711000 | #Constraints: 100966
2689.29/2698.29 c #Conflicts: 1712000 | #Constraints: 101966
2689.29/2698.29 c #Conflicts: 1713000 | #Constraints: 102966
2689.29/2698.29 c #Conflicts: 1714000 | #Constraints: 103966
2689.29/2698.29 c #Conflicts: 1715000 | #Constraints: 104966
2689.29/2698.29 c #Conflicts: 1716000 | #Constraints: 105966
2689.29/2698.29 c #Conflicts: 1717000 | #Constraints: 106966
2689.29/2698.29 c #Conflicts: 1718000 | #Constraints: 107966
2689.29/2698.29 c #Conflicts: 1719000 | #Constraints: 108966
2689.29/2698.29 c #Conflicts: 1720000 | #Constraints: 109966
2689.29/2698.29 c #Conflicts: 1721000 | #Constraints: 110966
2689.29/2698.29 c #Conflicts: 1722000 | #Constraints: 111966
2689.29/2698.29 c #Conflicts: 1723000 | #Constraints: 112966
2689.29/2698.29 c #Conflicts: 1724000 | #Constraints: 113966
2689.29/2698.29 c #Conflicts: 1725000 | #Constraints: 114966
2689.29/2698.29 c #Conflicts: 1726000 | #Constraints: 115966
2689.29/2698.29 c #Conflicts: 1727000 | #Constraints: 116966
2689.29/2698.29 c #Conflicts: 1728000 | #Constraints: 117966
2689.29/2698.29 c INPROCESSING
2689.29/2698.29 c GARBAGE COLLECT
2689.29/2698.29 c #Conflicts: 1729000 | #Constraints: 80866
2689.29/2698.29 c #Conflicts: 1730000 | #Constraints: 81866
2689.29/2698.29 c #Conflicts: 1731000 | #Constraints: 82866
2689.29/2698.29 c #Conflicts: 1732000 | #Constraints: 83866
2689.29/2698.29 c #Conflicts: 1733000 | #Constraints: 84866
2689.29/2698.29 c #Conflicts: 1734000 | #Constraints: 85866
2689.29/2698.29 c #Conflicts: 1735000 | #Constraints: 86866
2689.29/2698.29 c #Conflicts: 1736000 | #Constraints: 87866
2689.29/2698.29 c #Conflicts: 1737000 | #Constraints: 88866
2689.29/2698.29 c #Conflicts: 1738000 | #Constraints: 89866
2689.29/2698.29 c #Conflicts: 1739000 | #Constraints: 90866
2689.29/2698.29 c #Conflicts: 1740000 | #Constraints: 91866
2689.29/2698.29 c #Conflicts: 1741000 | #Constraints: 92866
2689.29/2698.29 c #Conflicts: 1742000 | #Constraints: 93866
2689.29/2698.29 c #Conflicts: 1743000 | #Constraints: 94866
2689.29/2698.29 c #Conflicts: 1744000 | #Constraints: 95866
2689.29/2698.29 c #Conflicts: 1745000 | #Constraints: 96866
2689.29/2698.29 c #Conflicts: 1746000 | #Constraints: 97866
2689.29/2698.29 c #Conflicts: 1747000 | #Constraints: 98866
2689.29/2698.29 c #Conflicts: 1748000 | #Constraints: 99866
2689.29/2698.29 c #Conflicts: 1749000 | #Constraints: 100866
2689.29/2698.29 c #Conflicts: 1750000 | #Constraints: 101866
2689.29/2698.29 c #Conflicts: 1751000 | #Constraints: 102866
2689.29/2698.29 c #Conflicts: 1752000 | #Constraints: 103866
2689.29/2698.29 c #Conflicts: 1753000 | #Constraints: 104866
2689.29/2698.29 c #Conflicts: 1754000 | #Constraints: 105866
2830.33/2839.76 c #Conflicts: 1755000 | #Constraints: 106866
2830.33/2839.76 c #Conflicts: 1756000 | #Constraints: 107866
2830.33/2839.76 c #Conflicts: 1757000 | #Constraints: 108866
2830.33/2839.76 c INPROCESSING
2830.33/2839.76 c GARBAGE COLLECT
2830.33/2839.76 c #Conflicts: 1758000 | #Constraints: 75977
2830.33/2839.76 c #Conflicts: 1759000 | #Constraints: 76977
2830.33/2839.76 c #Conflicts: 1760000 | #Constraints: 77977
2830.33/2839.76 c #Conflicts: 1761000 | #Constraints: 78977
2830.33/2839.76 c #Conflicts: 1762000 | #Constraints: 79977
2830.33/2839.76 c #Conflicts: 1763000 | #Constraints: 80977
2830.33/2839.76 c #Conflicts: 1764000 | #Constraints: 81977
2830.33/2839.76 c #Conflicts: 1765000 | #Constraints: 82977
2830.33/2839.76 c #Conflicts: 1766000 | #Constraints: 83977
2830.33/2839.76 c #Conflicts: 1767000 | #Constraints: 84977
2830.33/2839.76 c #Conflicts: 1768000 | #Constraints: 85977
2830.33/2839.76 c #Conflicts: 1769000 | #Constraints: 86977
2830.33/2839.76 c #Conflicts: 1770000 | #Constraints: 87977
2830.33/2839.76 c #Conflicts: 1771000 | #Constraints: 88977
2830.33/2839.76 c #Conflicts: 1772000 | #Constraints: 89977
2830.33/2839.76 c #Conflicts: 1773000 | #Constraints: 90977
2830.33/2839.76 c #Conflicts: 1774000 | #Constraints: 91977
2830.33/2839.76 c #Conflicts: 1775000 | #Constraints: 92977
2830.33/2839.76 c #Conflicts: 1776000 | #Constraints: 93977
2830.33/2839.76 c #Conflicts: 1777000 | #Constraints: 94977
2830.33/2839.76 c #Conflicts: 1778000 | #Constraints: 95977
2830.33/2839.76 c #Conflicts: 1779000 | #Constraints: 96977
2830.33/2839.76 c #Conflicts: 1780000 | #Constraints: 97977
2830.33/2839.76 c #Conflicts: 1781000 | #Constraints: 98977
2830.33/2839.76 c #Conflicts: 1782000 | #Constraints: 99977
2830.33/2839.76 c #Conflicts: 1783000 | #Constraints: 100977
2830.33/2839.76 c #Conflicts: 1784000 | #Constraints: 101977
2830.33/2839.76 c #Conflicts: 1785000 | #Constraints: 102977
2830.33/2839.76 c #Conflicts: 1786000 | #Constraints: 103977
2830.33/2839.76 c #Conflicts: 1787000 | #Constraints: 104977
2830.33/2839.76 c INPROCESSING
2830.33/2839.76 c GARBAGE COLLECT
2830.33/2839.76 c #Conflicts: 1788000 | #Constraints: 74088
2830.33/2839.76 c #Conflicts: 1789000 | #Constraints: 75088
2830.33/2839.76 c #Conflicts: 1790000 | #Constraints: 76088
2830.33/2839.76 c #Conflicts: 1791000 | #Constraints: 77088
2830.33/2839.76 c #Conflicts: 1792000 | #Constraints: 78088
2830.33/2839.76 c #Conflicts: 1793000 | #Constraints: 79088
2830.33/2839.76 c #Conflicts: 1794000 | #Constraints: 80088
2830.33/2839.76 c #Conflicts: 1795000 | #Constraints: 81088
2830.33/2839.76 c #Conflicts: 1796000 | #Constraints: 82088
2830.33/2839.76 c #Conflicts: 1797000 | #Constraints: 83088
2830.33/2839.76 c #Conflicts: 1798000 | #Constraints: 84088
2830.33/2839.76 c #Conflicts: 1799000 | #Constraints: 85088
2830.33/2839.76 c #Conflicts: 1800000 | #Constraints: 86088
2830.33/2839.76 c #Conflicts: 1801000 | #Constraints: 87088
2830.33/2839.76 c #Conflicts: 1802000 | #Constraints: 88088
2830.33/2839.76 c #Conflicts: 1803000 | #Constraints: 89088
2830.33/2839.76 c #Conflicts: 1804000 | #Constraints: 90088
2830.33/2839.76 c #Conflicts: 1805000 | #Constraints: 91088
2830.33/2839.76 c #Conflicts: 1806000 | #Constraints: 92088
2830.33/2839.76 c #Conflicts: 1807000 | #Constraints: 93088
2830.33/2839.76 c #Conflicts: 1808000 | #Constraints: 94088
2830.33/2839.76 c #Conflicts: 1809000 | #Constraints: 95088
2830.33/2839.76 c #Conflicts: 1810000 | #Constraints: 96088
2830.33/2839.76 c #Conflicts: 1811000 | #Constraints: 97088
2830.33/2839.76 c #Conflicts: 1812000 | #Constraints: 98088
2830.33/2839.76 c #Conflicts: 1813000 | #Constraints: 99088
2830.33/2839.76 c #Conflicts: 1814000 | #Constraints: 100088
2830.33/2839.76 c #Conflicts: 1815000 | #Constraints: 101088
2830.33/2839.76 c #Conflicts: 1816000 | #Constraints: 102088
2830.33/2839.76 c #Conflicts: 1817000 | #Constraints: 103088
2830.33/2839.76 c #Conflicts: 1818000 | #Constraints: 104088
2830.33/2839.76 c #Conflicts: 1819000 | #Constraints: 105088
2830.33/2839.76 c #Conflicts: 1820000 | #Constraints: 106088
2830.33/2839.76 c #Conflicts: 1821000 | #Constraints: 107088
2830.33/2839.76 c #Conflicts: 1822000 | #Constraints: 108088
2830.33/2839.76 c #Conflicts: 1823000 | #Constraints: 109088
2830.33/2839.76 c #Conflicts: 1824000 | #Constraints: 110088
2830.33/2839.76 c #Conflicts: 1825000 | #Constraints: 111088
2830.33/2839.76 c #Conflicts: 1826000 | #Constraints: 112088
2830.33/2839.76 c #Conflicts: 1827000 | #Constraints: 113088
2830.33/2839.76 c #Conflicts: 1828000 | #Constraints: 114088
2830.33/2839.76 c #Conflicts: 1829000 | #Constraints: 115088
2830.33/2839.76 c #Conflicts: 1830000 | #Constraints: 116088
2830.33/2839.76 c #Conflicts: 1831000 | #Constraints: 117088
2830.33/2839.76 c #Conflicts: 1832000 | #Constraints: 118088
3114.90/3125.20 c #Conflicts: 1833000 | #Constraints: 119088
3114.90/3125.20 c #Conflicts: 1834000 | #Constraints: 120088
3114.90/3125.20 c #Conflicts: 1835000 | #Constraints: 121088
3114.90/3125.20 c #Conflicts: 1836000 | #Constraints: 122088
3114.90/3125.20 c #Conflicts: 1837000 | #Constraints: 123088
3114.90/3125.20 c #Conflicts: 1838000 | #Constraints: 124088
3114.90/3125.20 c #Conflicts: 1839000 | #Constraints: 125088
3114.90/3125.20 c #Conflicts: 1840000 | #Constraints: 126088
3114.90/3125.20 c #Conflicts: 1841000 | #Constraints: 127088
3114.90/3125.20 c #Conflicts: 1842000 | #Constraints: 128088
3114.90/3125.20 c #Conflicts: 1843000 | #Constraints: 129088
3114.90/3125.20 c #Conflicts: 1844000 | #Constraints: 130088
3114.90/3125.20 c #Conflicts: 1845000 | #Constraints: 131088
3114.90/3125.20 c #Conflicts: 1846000 | #Constraints: 132088
3114.90/3125.20 c #Conflicts: 1847000 | #Constraints: 133088
3114.90/3125.20 c #Conflicts: 1848000 | #Constraints: 134088
3114.90/3125.20 c #Conflicts: 1849000 | #Constraints: 135088
3114.90/3125.20 c #Conflicts: 1850000 | #Constraints: 136088
3114.90/3125.20 c #Conflicts: 1851000 | #Constraints: 137088
3114.90/3125.20 c #Conflicts: 1852000 | #Constraints: 138088
3114.90/3125.20 c #Conflicts: 1853000 | #Constraints: 139088
3114.90/3125.20 c #Conflicts: 1854000 | #Constraints: 140088
3114.90/3125.20 c #Conflicts: 1855000 | #Constraints: 141088
3114.90/3125.20 c #Conflicts: 1856000 | #Constraints: 142088
3114.90/3125.20 c #Conflicts: 1857000 | #Constraints: 143088
3114.90/3125.20 c #Conflicts: 1858000 | #Constraints: 144088
3114.90/3125.20 c #Conflicts: 1859000 | #Constraints: 145088
3114.90/3125.20 c #Conflicts: 1860000 | #Constraints: 146088
3114.90/3125.20 c #Conflicts: 1861000 | #Constraints: 147088
3114.90/3125.20 c #Conflicts: 1862000 | #Constraints: 148088
3114.90/3125.20 c #Conflicts: 1863000 | #Constraints: 149088
3114.90/3125.20 c #Conflicts: 1864000 | #Constraints: 150088
3114.90/3125.20 c #Conflicts: 1865000 | #Constraints: 151088
3114.90/3125.20 c #Conflicts: 1866000 | #Constraints: 152088
3114.90/3125.20 c #Conflicts: 1867000 | #Constraints: 153088
3114.90/3125.20 c #Conflicts: 1868000 | #Constraints: 154088
3114.90/3125.20 c #Conflicts: 1869000 | #Constraints: 155088
3114.90/3125.20 c #Conflicts: 1870000 | #Constraints: 156088
3114.90/3125.20 c #Conflicts: 1871000 | #Constraints: 157088
3114.90/3125.20 c #Conflicts: 1872000 | #Constraints: 158088
3114.90/3125.20 c #Conflicts: 1873000 | #Constraints: 159088
3114.90/3125.20 c #Conflicts: 1874000 | #Constraints: 160088
3114.90/3125.20 c #Conflicts: 1875000 | #Constraints: 161088
3114.90/3125.20 c #Conflicts: 1876000 | #Constraints: 162088
3114.90/3125.20 c #Conflicts: 1877000 | #Constraints: 163088
3114.90/3125.20 c #Conflicts: 1878000 | #Constraints: 164088
3114.90/3125.20 c #Conflicts: 1879000 | #Constraints: 165088
3114.90/3125.20 c #Conflicts: 1880000 | #Constraints: 166088
3114.90/3125.20 c #Conflicts: 1881000 | #Constraints: 167088
3114.90/3125.20 c #Conflicts: 1882000 | #Constraints: 168088
3114.90/3125.20 c #Conflicts: 1883000 | #Constraints: 169088
3114.90/3125.20 c #Conflicts: 1884000 | #Constraints: 170088
3114.90/3125.20 c #Conflicts: 1885000 | #Constraints: 171088
3114.90/3125.20 c #Conflicts: 1886000 | #Constraints: 172088
3114.90/3125.20 c #Conflicts: 1887000 | #Constraints: 173088
3114.90/3125.20 c #Conflicts: 1888000 | #Constraints: 174088
3114.90/3125.20 c #Conflicts: 1889000 | #Constraints: 175088
3114.90/3125.20 c #Conflicts: 1890000 | #Constraints: 176088
3114.90/3125.20 c #Conflicts: 1891000 | #Constraints: 177088
3114.90/3125.20 c #Conflicts: 1892000 | #Constraints: 178088
3114.90/3125.20 c INPROCESSING
3114.90/3125.20 c GARBAGE COLLECT
3114.90/3125.20 c #Conflicts: 1893000 | #Constraints: 110741
3114.90/3125.20 c #Conflicts: 1894000 | #Constraints: 111741
3114.90/3125.20 c #Conflicts: 1895000 | #Constraints: 112741
3114.90/3125.20 c #Conflicts: 1896000 | #Constraints: 113741
3114.90/3125.20 c #Conflicts: 1897000 | #Constraints: 114741
3114.90/3125.20 c #Conflicts: 1898000 | #Constraints: 115741
3114.90/3125.20 c #Conflicts: 1899000 | #Constraints: 116741
3114.90/3125.20 c #Conflicts: 1900000 | #Constraints: 117741
3114.90/3125.20 c #Conflicts: 1901000 | #Constraints: 118741
3114.90/3125.20 c #Conflicts: 1902000 | #Constraints: 119741
3114.90/3125.20 c #Conflicts: 1903000 | #Constraints: 120741
3114.90/3125.20 c #Conflicts: 1904000 | #Constraints: 121741
3114.90/3125.20 c #Conflicts: 1905000 | #Constraints: 122741
3114.90/3125.20 c #Conflicts: 1906000 | #Constraints: 123741
3114.90/3125.20 c #Conflicts: 1907000 | #Constraints: 124741
3114.90/3125.20 c #Conflicts: 1908000 | #Constraints: 125741
3114.90/3125.20 c #Conflicts: 1909000 | #Constraints: 126741
3114.90/3125.20 c #Conflicts: 1910000 | #Constraints: 127741
3333.48/3344.59 c #Conflicts: 1911000 | #Constraints: 128741
3333.48/3344.59 c #Conflicts: 1912000 | #Constraints: 129741
3333.48/3344.59 c #Conflicts: 1913000 | #Constraints: 130741
3333.48/3344.59 c #Conflicts: 1914000 | #Constraints: 131741
3333.48/3344.59 c #Conflicts: 1915000 | #Constraints: 132741
3333.48/3344.59 c #Conflicts: 1916000 | #Constraints: 133741
3333.48/3344.59 c #Conflicts: 1917000 | #Constraints: 134741
3333.48/3344.59 c #Conflicts: 1918000 | #Constraints: 135741
3333.48/3344.59 c #Conflicts: 1919000 | #Constraints: 136741
3333.48/3344.59 c #Conflicts: 1920000 | #Constraints: 137741
3333.48/3344.59 c #Conflicts: 1921000 | #Constraints: 138741
3333.48/3344.59 c #Conflicts: 1922000 | #Constraints: 139741
3333.48/3344.59 c #Conflicts: 1923000 | #Constraints: 140741
3333.48/3344.59 c INPROCESSING
3333.48/3344.59 c GARBAGE COLLECT
3333.48/3344.59 c #Conflicts: 1924000 | #Constraints: 91965
3333.48/3344.59 c #Conflicts: 1925000 | #Constraints: 92965
3333.48/3344.59 c #Conflicts: 1926000 | #Constraints: 93965
3333.48/3344.59 c #Conflicts: 1927000 | #Constraints: 94965
3333.48/3344.59 c #Conflicts: 1928000 | #Constraints: 95965
3333.48/3344.59 c #Conflicts: 1929000 | #Constraints: 96965
3333.48/3344.59 c #Conflicts: 1930000 | #Constraints: 97965
3333.48/3344.59 c #Conflicts: 1931000 | #Constraints: 98965
3333.48/3344.59 c #Conflicts: 1932000 | #Constraints: 99965
3333.48/3344.59 c #Conflicts: 1933000 | #Constraints: 100965
3333.48/3344.59 c #Conflicts: 1934000 | #Constraints: 101965
3333.48/3344.59 c #Conflicts: 1935000 | #Constraints: 102965
3333.48/3344.59 c #Conflicts: 1936000 | #Constraints: 103965
3333.48/3344.59 c #Conflicts: 1937000 | #Constraints: 104965
3333.48/3344.59 c #Conflicts: 1938000 | #Constraints: 105965
3333.48/3344.59 c #Conflicts: 1939000 | #Constraints: 106965
3333.48/3344.59 c #Conflicts: 1940000 | #Constraints: 107965
3333.48/3344.59 c #Conflicts: 1941000 | #Constraints: 108965
3333.48/3344.59 c #Conflicts: 1942000 | #Constraints: 109965
3333.48/3344.59 c #Conflicts: 1943000 | #Constraints: 110965
3333.48/3344.59 c #Conflicts: 1944000 | #Constraints: 111965
3333.48/3344.59 c #Conflicts: 1945000 | #Constraints: 112965
3333.48/3344.59 c #Conflicts: 1946000 | #Constraints: 113965
3333.48/3344.59 c #Conflicts: 1947000 | #Constraints: 114965
3333.48/3344.59 c #Conflicts: 1948000 | #Constraints: 115965
3333.48/3344.59 c #Conflicts: 1949000 | #Constraints: 116965
3333.48/3344.59 c #Conflicts: 1950000 | #Constraints: 117965
3333.48/3344.59 c #Conflicts: 1951000 | #Constraints: 118965
3333.48/3344.59 c #Conflicts: 1952000 | #Constraints: 119965
3333.48/3344.59 c #Conflicts: 1953000 | #Constraints: 120965
3333.48/3344.59 c #Conflicts: 1954000 | #Constraints: 121965
3333.48/3344.59 c #Conflicts: 1955000 | #Constraints: 122965
3333.48/3344.59 c INPROCESSING
3333.48/3344.59 c GARBAGE COLLECT
3333.48/3344.59 c #Conflicts: 1956000 | #Constraints: 83375
3333.48/3344.59 c #Conflicts: 1957000 | #Constraints: 84375
3333.48/3344.59 c #Conflicts: 1958000 | #Constraints: 85375
3333.48/3344.59 c #Conflicts: 1959000 | #Constraints: 86375
3333.48/3344.59 c #Conflicts: 1960000 | #Constraints: 87375
3333.48/3344.59 c #Conflicts: 1961000 | #Constraints: 88375
3333.48/3344.59 c #Conflicts: 1962000 | #Constraints: 89375
3333.48/3344.59 c #Conflicts: 1963000 | #Constraints: 90375
3333.48/3344.59 c #Conflicts: 1964000 | #Constraints: 91375
3333.48/3344.59 c #Conflicts: 1965000 | #Constraints: 92375
3333.48/3344.59 c #Conflicts: 1966000 | #Constraints: 93375
3333.48/3344.59 c #Conflicts: 1967000 | #Constraints: 94375
3333.48/3344.59 c #Conflicts: 1968000 | #Constraints: 95375
3333.48/3344.59 c #Conflicts: 1969000 | #Constraints: 96375
3333.48/3344.59 c #Conflicts: 1970000 | #Constraints: 97375
3333.48/3344.59 c #Conflicts: 1971000 | #Constraints: 98375
3333.48/3344.59 c #Conflicts: 1972000 | #Constraints: 99375
3333.48/3344.59 c #Conflicts: 1973000 | #Constraints: 100375
3333.48/3344.59 c #Conflicts: 1974000 | #Constraints: 101375
3333.48/3344.59 c #Conflicts: 1975000 | #Constraints: 102375
3333.48/3344.59 c #Conflicts: 1976000 | #Constraints: 103375
3333.48/3344.59 c #Conflicts: 1977000 | #Constraints: 104375
3333.48/3344.59 c #Conflicts: 1978000 | #Constraints: 105375
3333.48/3344.59 c #Conflicts: 1979000 | #Constraints: 106375
3333.48/3344.59 c #Conflicts: 1980000 | #Constraints: 107375
3333.48/3344.59 c #Conflicts: 1981000 | #Constraints: 108375
3333.48/3344.59 c #Conflicts: 1982000 | #Constraints: 109375
3333.48/3344.59 c #Conflicts: 1983000 | #Constraints: 110375
3333.48/3344.59 c #Conflicts: 1984000 | #Constraints: 111375
3333.48/3344.59 c #Conflicts: 1985000 | #Constraints: 112375
3333.48/3344.59 c #Conflicts: 1986000 | #Constraints: 113375
3333.48/3344.59 c INPROCESSING
3333.48/3344.59 c GARBAGE COLLECT
3333.48/3344.59 c #Conflicts: 1987000 | #Constraints: 78292
3484.67/3496.20 c #Conflicts: 1988000 | #Constraints: 79292
3484.67/3496.20 c #Conflicts: 1989000 | #Constraints: 80292
3484.67/3496.20 c #Conflicts: 1990000 | #Constraints: 81292
3484.67/3496.20 c #Conflicts: 1991000 | #Constraints: 82292
3484.67/3496.20 c #Conflicts: 1992000 | #Constraints: 83292
3484.67/3496.20 c #Conflicts: 1993000 | #Constraints: 84292
3484.67/3496.20 c #Conflicts: 1994000 | #Constraints: 85292
3484.67/3496.20 c #Conflicts: 1995000 | #Constraints: 86292
3484.67/3496.20 c #Conflicts: 1996000 | #Constraints: 87292
3484.67/3496.20 c #Conflicts: 1997000 | #Constraints: 88292
3484.67/3496.20 c #Conflicts: 1998000 | #Constraints: 89292
3484.67/3496.20 c #Conflicts: 1999000 | #Constraints: 90292
3484.67/3496.20 c #Conflicts: 2000000 | #Constraints: 91292
3484.67/3496.20 c #Conflicts: 2001000 | #Constraints: 92292
3484.67/3496.20 c #Conflicts: 2002000 | #Constraints: 93292
3484.67/3496.20 c #Conflicts: 2003000 | #Constraints: 94292
3484.67/3496.20 c #Conflicts: 2004000 | #Constraints: 95292
3484.67/3496.20 c #Conflicts: 2005000 | #Constraints: 96292
3484.67/3496.20 c #Conflicts: 2006000 | #Constraints: 97292
3484.67/3496.20 c #Conflicts: 2007000 | #Constraints: 98292
3484.67/3496.20 c #Conflicts: 2008000 | #Constraints: 99292
3484.67/3496.20 c #Conflicts: 2009000 | #Constraints: 100292
3484.67/3496.20 c #Conflicts: 2010000 | #Constraints: 101292
3484.67/3496.20 c #Conflicts: 2011000 | #Constraints: 102292
3484.67/3496.20 c #Conflicts: 2012000 | #Constraints: 103292
3484.67/3496.20 c #Conflicts: 2013000 | #Constraints: 104292
3484.67/3496.20 c #Conflicts: 2014000 | #Constraints: 105292
3484.67/3496.20 c #Conflicts: 2015000 | #Constraints: 106292
3484.67/3496.20 c #Conflicts: 2016000 | #Constraints: 107292
3484.67/3496.20 c #Conflicts: 2017000 | #Constraints: 108292
3484.67/3496.20 c #Conflicts: 2018000 | #Constraints: 109292
3484.67/3496.20 c INPROCESSING
3484.67/3496.20 c GARBAGE COLLECT
3484.67/3496.20 c #Conflicts: 2019000 | #Constraints: 76342
3484.67/3496.20 c #Conflicts: 2020000 | #Constraints: 77342
3484.67/3496.20 c #Conflicts: 2021000 | #Constraints: 78342
3484.67/3496.20 c #Conflicts: 2022000 | #Constraints: 79342
3484.67/3496.20 c #Conflicts: 2023000 | #Constraints: 80342
3484.67/3496.20 c #Conflicts: 2024000 | #Constraints: 81342
3484.67/3496.20 c #Conflicts: 2025000 | #Constraints: 82342
3484.67/3496.20 c #Conflicts: 2026000 | #Constraints: 83342
3484.67/3496.20 c #Conflicts: 2027000 | #Constraints: 84342
3484.67/3496.20 c #Conflicts: 2028000 | #Constraints: 85342
3484.67/3496.20 c #Conflicts: 2029000 | #Constraints: 86342
3484.67/3496.20 c #Conflicts: 2030000 | #Constraints: 87342
3484.67/3496.20 c #Conflicts: 2031000 | #Constraints: 88342
3484.67/3496.20 c #Conflicts: 2032000 | #Constraints: 89342
3484.67/3496.20 c #Conflicts: 2033000 | #Constraints: 90342
3484.67/3496.20 c #Conflicts: 2034000 | #Constraints: 91342
3484.67/3496.20 c #Conflicts: 2035000 | #Constraints: 92342
3484.67/3496.20 c #Conflicts: 2036000 | #Constraints: 93342
3484.67/3496.20 c #Conflicts: 2037000 | #Constraints: 94342
3484.67/3496.20 c #Conflicts: 2038000 | #Constraints: 95342
3484.67/3496.20 c #Conflicts: 2039000 | #Constraints: 96342
3484.67/3496.20 c #Conflicts: 2040000 | #Constraints: 97342
3484.67/3496.20 c #Conflicts: 2041000 | #Constraints: 98342
3484.67/3496.20 c #Conflicts: 2042000 | #Constraints: 99342
3484.67/3496.20 c #Conflicts: 2043000 | #Constraints: 100342
3484.67/3496.20 c #Conflicts: 2044000 | #Constraints: 101342
3484.67/3496.20 c #Conflicts: 2045000 | #Constraints: 102342
3484.67/3496.20 c #Conflicts: 2046000 | #Constraints: 103342
3484.67/3496.20 c #Conflicts: 2047000 | #Constraints: 104342
3484.67/3496.20 c #Conflicts: 2048000 | #Constraints: 105342
3484.67/3496.20 c #Conflicts: 2049000 | #Constraints: 106342
3484.67/3496.20 c #Conflicts: 2050000 | #Constraints: 107342
3484.67/3496.20 c #Conflicts: 2051000 | #Constraints: 108342
3484.67/3496.20 c #Conflicts: 2052000 | #Constraints: 109342
3484.67/3496.20 c #Conflicts: 2053000 | #Constraints: 110342
3484.67/3496.20 c #Conflicts: 2054000 | #Constraints: 111342
3484.67/3496.20 c #Conflicts: 2055000 | #Constraints: 112342
3484.67/3496.20 c #Conflicts: 2056000 | #Constraints: 113342
3484.67/3496.20 c #Conflicts: 2057000 | #Constraints: 114342
3484.67/3496.20 c #Conflicts: 2058000 | #Constraints: 115342
3484.67/3496.20 c #Conflicts: 2059000 | #Constraints: 116342
3484.67/3496.20 c #Conflicts: 2060000 | #Constraints: 117342
3484.67/3496.20 c #Conflicts: 2061000 | #Constraints: 118342
3484.67/3496.20 c #Conflicts: 2062000 | #Constraints: 119342
3484.67/3496.20 c #Conflicts: 2063000 | #Constraints: 120342
3484.67/3496.20 c #Conflicts: 2064000 | #Constraints: 121342
3484.67/3496.20 c #Conflicts: 2065000 | #Constraints: 122342
3600.09/3612.01 c #Conflicts: 2066000 | #Constraints: 123342
3600.09/3612.01 c #Conflicts: 2067000 | #Constraints: 124342
3600.09/3612.01 c #Conflicts: 2068000 | #Constraints: 125342
3600.09/3612.01 c #Conflicts: 2069000 | #Constraints: 126342
3600.09/3612.01 c #Conflicts: 2070000 | #Constraints: 127342
3600.09/3612.01 c #Conflicts: 2071000 | #Constraints: 128342
3600.09/3612.01 c #Conflicts: 2072000 | #Constraints: 129342
3600.09/3612.01 c #Conflicts: 2073000 | #Constraints: 130342
3600.09/3612.01 c #Conflicts: 2074000 | #Constraints: 131342
3600.09/3612.01 c #Conflicts: 2075000 | #Constraints: 132342
3600.09/3612.01 c #Conflicts: 2076000 | #Constraints: 133342
3600.09/3612.01 c #Conflicts: 2077000 | #Constraints: 134342
3600.09/3612.01 c #Conflicts: 2078000 | #Constraints: 135342
3600.09/3612.01 c #Conflicts: 2079000 | #Constraints: 136342
3600.09/3612.01 c #Conflicts: 2080000 | #Constraints: 137342
3600.09/3612.01 c #Conflicts: 2081000 | #Constraints: 138342
3600.09/3612.01 c #Conflicts: 2082000 | #Constraints: 139342
3600.09/3612.01 c #Conflicts: 2083000 | #Constraints: 140342
3600.09/3612.01 c #Conflicts: 2084000 | #Constraints: 141342
3600.09/3612.01 c #Conflicts: 2085000 | #Constraints: 142342
3600.09/3612.01 c #Conflicts: 2086000 | #Constraints: 143342
3600.09/3612.01 c #Conflicts: 2087000 | #Constraints: 144342
3600.09/3612.01 c #Conflicts: 2088000 | #Constraints: 145342
3600.09/3612.01 c #Conflicts: 2089000 | #Constraints: 146342
3600.09/3612.01 c #Conflicts: 2090000 | #Constraints: 147342
3600.09/3612.01 c #Conflicts: 2091000 | #Constraints: 148342
3600.09/3612.01 c #Conflicts: 2092000 | #Constraints: 149342
3600.09/3612.01 c #Conflicts: 2093000 | #Constraints: 150342
3600.09/3612.01 c #Conflicts: 2094000 | #Constraints: 151342
3600.09/3612.01 c #Conflicts: 2095000 | #Constraints: 152342
3600.09/3612.01 c #Conflicts: 2096000 | #Constraints: 153342
3600.09/3612.01 c #Conflicts: 2097000 | #Constraints: 154342
3600.09/3612.01 c #Conflicts: 2098000 | #Constraints: 155342
3600.09/3612.01 c #Conflicts: 2099000 | #Constraints: 156342
3600.09/3612.01 c Program interrupted by user.
3600.09/3612.01 c cpu time 3590.08 s
3600.09/3612.01 c deterministic time 349036265882 3.49e+11
3600.09/3612.01 c optimization time 209.28 s
3600.09/3612.01 c total solve time 3380.74 s
3600.09/3612.01 c core-guided solve time 3380.74 s
3600.09/3612.01 c propagation time 2966.18 s
3600.09/3612.01 c conflict analysis time 603.79 s
3600.09/3612.01 c propagations 568130149
3600.09/3612.01 c resolve steps 45633627
3600.09/3612.01 c decisions 3923923
3600.09/3612.01 c conflicts 2099988
3600.09/3612.01 c restarts 4091
3600.09/3612.01 c inprocessing phases 87
3600.09/3612.01 c input clauses 41493
3600.09/3612.01 c input cardinalities 139
3600.09/3612.01 c input general constraints 85
3600.09/3612.01 c input average constraint length 2.79
3600.09/3612.01 c input average constraint degree 1.40
3600.09/3612.01 c learned clauses 1694730
3600.09/3612.01 c learned cardinalities 2162
3600.09/3612.01 c learned general constraints 403093
3600.09/3612.01 c learned average constraint length 57.81
3600.09/3612.01 c learned average constraint degree 278.88
3600.09/3612.01 c watched constraints 357002
3600.09/3612.01 c counting constraints 46176
3600.09/3612.01 c gcd simplifications 7219
3600.09/3612.01 c detected cardinalities 235
3600.09/3612.01 c weakened non-implied lits 10063941
3600.09/3612.01 c weakened non-implying lits 15671
3600.09/3612.01 c original variables 760
3600.09/3612.01 c clausal propagations 532315411
3600.09/3612.01 c cardinality propagations 144405
3600.09/3612.01 c watched propagations 4971253
3600.09/3612.01 c counting propagations 28932344
3600.09/3612.01 c watch lookups 94556752717
3600.09/3612.01 c watch backjump lookups 80838379822
3600.09/3612.01 c watch checks 155388335591
3600.09/3612.01 c propagation checks 16674483226
3600.09/3612.01 c constraint additions 432106638
3600.09/3612.01 c trail pops 574153815
3600.09/3612.01 c formula constraints 41263
3600.09/3612.01 c learned constraints 2099985
3600.09/3612.01 c bound constraints 40
3600.09/3612.01 c core-guided constraints 414
3600.09/3612.01 c encountered formula constraints 19765544
3600.09/3612.01 c encountered learned constraints 25919882
3600.09/3612.01 c encountered bound constraints 181
3600.09/3612.01 c encountered core-guided constraints 2048008
3600.09/3612.01 c LP total time 0 s
3600.09/3612.01 c LP solve time 0 s
3600.09/3612.01 c LP constraints added 0
3600.09/3612.01 c LP constraints removed 0
3600.09/3612.01 c LP pivots internal 0
3600.09/3612.01 c LP pivots root 0
3600.09/3612.01 c LP calls 0
3600.09/3612.01 c LP optimalities 0
3600.09/3612.01 c LP no pivot count 0
3600.09/3612.01 c LP infeasibilities 0
3600.09/3612.01 c LP valid Farkas constraints 0
3600.09/3612.01 c LP learned Farkas constraints 0
3600.09/3612.01 c LP basis resets 0
3600.09/3612.01 c LP cycling count 0
3600.09/3612.01 c LP singular count 0
3600.09/3612.01 c LP no primal count 0
3600.09/3612.01 c LP no farkas count 0
3600.09/3612.01 c LP other issue count 0
3600.09/3612.01 c LP Gomory cuts 0
3600.09/3612.01 c LP learned cuts 0
3600.09/3612.01 c LP deleted cuts 0
3600.09/3612.01 c LP encountered Gomory constraints 0
3600.09/3612.01 c LP encountered Farkas constraints 0
3600.09/3612.01 c LP encountered learned Farkas constraints 0
3600.09/3612.01 c CG auxiliary variables introduced 247
3600.09/3612.01 c CG solutions found 1
3600.09/3612.01 c CG cores constructed 25
3600.09/3612.01 c CG core cardinality constraints returned 0
3600.09/3612.01 c CG unit cores 0
3600.09/3612.01 c CG single cores 25
3600.09/3612.01 c CG blocks removed during cardinality reduction 0
3600.09/3612.01 c CG first core best 0
3600.09/3612.01 c CG decision core best 0
3600.09/3612.01 c CG core reduction tie 0
3600.09/3612.01 c CG core degree average 1.00
3600.09/3612.01 c CG core slack average 8.28
3600.09/3612.01 c CG exhausted 3
3600.09/3612.01 c CG exhaust time 1.20933 s
3600.09/3612.01 c CG trimmed 7
3600.09/3612.01 c CG trim time 0.000995 s
3600.09/3612.01 c CG minimized 0
3600.09/3612.01 c CG minimize time 0 s
3600.09/3612.01 c CG am1 prop time 0.002957 s
3600.09/3612.01 c CG # am1s reformulated 155
3600.09/3612.01 c CG lower bound derived from am1s 604
3600.09/3612.01 c CG # clausal cores 25
3600.09/3612.01 c CG # cardinality cores 0
3600.09/3612.01 c CG # pb cores 0
3600.09/3612.01 c CG # pb reforms 0
3600.09/3612.01 c CG # cores discarded because of pb reform 0
3600.09/3612.01 d LOWERBOUND -128
3600.09/3612.01 d NCORES 25
3600.09/3612.01 d NPBCORES 0
3600.09/3612.01 d NPBREFORM 0
3600.09/3612.01 d NTRIMMED 7
3600.09/3612.01 d NEXHAUSTED 3
3600.09/3612.01 d NAM1S 155
3600.09/3612.01 d AM1LB 604
3600.09/3612.01 o -31
3600.09/3612.01 s SATISFIABLE
3600.09/3612.01 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: 64059 MiB (61860 MiB free)
memory of node 1: 64510 MiB (63570 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435923-1721068450/watcher-4435923-1721068450 -o /tmp/evaluation-result-4435923-1721068450/solver-4435923-1721068450 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800991 --watchdog 3760 pb-oll-rs HOME/instance-4435923-1721068450.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=805132, runsolver pid=805129
[startup+0.100094 s]*
/proc/loadavg: 4.13 4.17 4.17 5/246 805133
/proc/meminfo: memFree=128436420/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=42932 memory=11920 CPUtime=0.1 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 1328 0 0 0 7 3 0 0 20 0 1 0 159004645 43962368 2980 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 10733 2980 1295 291 0 2267 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42932 KiB
Current children cumulated memory: 11920 KiB
[startup+0.212907 s]*
/proc/loadavg: 4.13 4.17 4.17 5/246 805133
/proc/meminfo: memFree=128430284/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=44592 memory=15564 CPUtime=0.21 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 1747 0 0 0 17 4 0 0 20 0 1 0 159004645 45662208 3891 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 11148 3891 1373 291 0 2682 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 44592 KiB
Current children cumulated memory: 15564 KiB
[startup+0.312541 s]*
/proc/loadavg: 4.13 4.17 4.17 5/246 805133
/proc/meminfo: memFree=128429028/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=47972 memory=16980 CPUtime=0.31 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 2052 0 0 0 27 4 0 0 20 0 1 0 159004645 49123328 4245 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 11993 4245 1389 291 0 3527 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 47972 KiB
Current children cumulated memory: 16980 KiB
[startup+0.700254 s]
/proc/loadavg: 4.13 4.17 4.17 5/246 805133
/proc/meminfo: memFree=128424496/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=49796 memory=21036 CPUtime=0.69 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 3281 0 0 0 64 5 0 0 20 0 1 0 159004645 50991104 5259 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 12449 5259 1438 291 0 3983 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49796 KiB
Current children cumulated memory: 21036 KiB
[startup+1.50029 s]
/proc/loadavg: 4.13 4.17 4.17 5/246 805133
/proc/meminfo: memFree=128420212/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=55660 memory=26120 CPUtime=1.49 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 4364 0 0 0 142 7 0 0 20 0 1 0 159004645 56995840 6530 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 13915 6530 1438 291 0 5449 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 55660 KiB
Current children cumulated memory: 26120 KiB
[startup+3.11245 s]
/proc/loadavg: 4.12 4.17 4.17 5/246 805133
/proc/meminfo: memFree=128416904/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=57036 memory=27716 CPUtime=3.09 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 6375 0 0 0 296 13 0 0 20 0 1 0 159004645 58404864 6929 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 14259 6929 1438 291 0 5793 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 57036 KiB
Current children cumulated memory: 27716 KiB
[startup+6.30025 s]
/proc/loadavg: 4.12 4.17 4.17 5/246 805135
/proc/meminfo: memFree=128415992/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=57216 memory=27900 CPUtime=6.28 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 7031 0 0 0 609 19 0 0 20 0 1 0 159004645 58589184 6975 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 14304 6975 1438 291 0 5838 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 57216 KiB
Current children cumulated memory: 27900 KiB
[startup+12.7003 s]
/proc/loadavg: 4.10 4.16 4.17 5/246 805135
/proc/meminfo: memFree=128410048/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=59744 memory=30100 CPUtime=12.65 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 7901 0 0 0 1239 26 0 0 20 0 1 0 159004645 61177856 7525 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 14936 7525 1438 291 0 6470 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 59744 KiB
Current children cumulated memory: 30100 KiB
[startup+25.5003 s]
/proc/loadavg: 4.09 4.16 4.17 5/246 805138
/proc/meminfo: memFree=128401424/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=59764 memory=30264 CPUtime=25.4 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 8534 0 0 0 2501 39 0 0 20 0 1 0 159004645 61198336 7566 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 14941 7566 1438 291 0 6475 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 59764 KiB
Current children cumulated memory: 30264 KiB
[startup+51.1127 s]
/proc/loadavg: 4.12 4.16 4.17 5/246 805141
/proc/meminfo: memFree=128391760/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=61120 memory=31748 CPUtime=50.95 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 9483 0 0 0 5034 61 0 0 20 0 1 0 159004645 62586880 7937 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 15280 7937 1438 291 0 6814 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 61120 KiB
Current children cumulated memory: 31748 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.16 4.17 5/241 805151
/proc/meminfo: memFree=128371608/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=62564 memory=32968 CPUtime=101.97 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 10758 0 0 0 10105 92 0 0 20 0 1 0 159004645 64065536 8242 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 15641 8242 1438 291 0 7175 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 62564 KiB
Current children cumulated memory: 32968 KiB
[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.17 5/242 805162
/proc/meminfo: memFree=128364760/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=69728 memory=33724 CPUtime=161.79 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 11062 0 0 0 16054 125 0 0 20 0 1 0 159004645 71401472 8431 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 17432 8431 1438 291 0 8966 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 69728 KiB
Current children cumulated memory: 33724 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/242 805172
/proc/meminfo: memFree=128346616/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=72280 memory=39032 CPUtime=221.6 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 12210 0 0 0 22011 149 0 0 20 0 1 0 159004645 74014720 9758 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 18070 9758 1438 291 0 9604 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 72280 KiB
Current children cumulated memory: 39032 KiB
[startup+282.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/242 805183
/proc/meminfo: memFree=128338744/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=72280 memory=39244 CPUtime=281.41 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 12241 0 0 0 27967 174 0 0 20 0 1 0 159004645 74014720 9811 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 18070 9811 1438 291 0 9604 0
Current children cumulated CPU time: 281.41 s
Current children cumulated vsize: 72280 KiB
Current children cumulated memory: 39244 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.13 4.16 5/242 805193
/proc/meminfo: memFree=128324196/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=74444 memory=44152 CPUtime=341.2 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 13186 0 0 0 33911 209 0 0 20 0 1 0 159004645 76230656 11038 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 18611 11038 1438 291 0 10145 0
Current children cumulated CPU time: 341.2 s
Current children cumulated vsize: 74444 KiB
Current children cumulated memory: 44152 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/244 805207
/proc/meminfo: memFree=128307572/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=88396 memory=52080 CPUtime=401.01 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 14666 0 0 0 39867 234 0 0 20 0 1 0 159004645 90517504 13020 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 22099 13020 1438 291 0 13633 0
Current children cumulated CPU time: 401.01 s
Current children cumulated vsize: 88396 KiB
Current children cumulated memory: 52080 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/243 805217
/proc/meminfo: memFree=128299744/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=88396 memory=52080 CPUtime=460.81 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 14725 0 0 0 45816 265 0 0 20 0 1 0 159004645 90517504 13020 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 22099 13020 1438 291 0 13633 0
################
# More data... #
################
Current children cumulated memory: 77136 KiB
[startup+2862.3 s]
/proc/loadavg: 4.12 4.20 4.19 5/243 806221
/proc/meminfo: memFree=128205196/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=115860 memory=77160 CPUtime=2852.85 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 22391 0 0 0 284415 870 0 0 20 0 1 0 159004645 118640640 19290 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 28965 19290 1438 291 0 20499 0
Current children cumulated CPU time: 2852.85 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 77160 KiB
[startup+2922.3 s]
/proc/loadavg: 4.08 4.18 4.18 5/243 806233
/proc/meminfo: memFree=128204368/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=115860 memory=77160 CPUtime=2912.65 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 22424 0 0 0 290386 879 0 0 20 0 1 0 159004645 118640640 19290 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 28965 19290 1438 291 0 20499 0
Current children cumulated CPU time: 2912.65 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 77160 KiB
[startup+2982.3 s]
/proc/loadavg: 4.16 4.19 4.18 5/243 806243
/proc/meminfo: memFree=128198132/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=115860 memory=77160 CPUtime=2972.47 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 22458 0 0 0 296358 889 0 0 20 0 1 0 159004645 118640640 19290 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 28965 19290 1438 291 0 20499 0
Current children cumulated CPU time: 2972.47 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 77160 KiB
[startup+3042.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/243 806254
/proc/meminfo: memFree=128195648/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=115860 memory=79208 CPUtime=3032.26 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 22494 0 0 0 302330 896 0 0 20 0 1 0 159004645 118640640 19802 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 28965 19802 1438 291 0 20499 0
Current children cumulated CPU time: 3032.26 s
Current children cumulated vsize: 115860 KiB
Current children cumulated memory: 79208 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.17 4.17 5/245 806649
/proc/meminfo: memFree=128189560/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=119136 memory=84280 CPUtime=3092.07 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23291 0 0 0 308303 904 0 0 20 0 1 0 159004645 121995264 21070 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29784 21070 1438 291 0 21318 0
Current children cumulated CPU time: 3092.07 s
Current children cumulated vsize: 119136 KiB
Current children cumulated memory: 84280 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.15 4.17 5/243 806659
/proc/meminfo: memFree=128186280/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=119136 memory=84340 CPUtime=3151.87 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23320 0 0 0 314276 911 0 0 20 0 1 0 159004645 121995264 21085 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29784 21085 1438 291 0 21318 0
Current children cumulated CPU time: 3151.87 s
Current children cumulated vsize: 119136 KiB
Current children cumulated memory: 84340 KiB
[startup+3222.3 s]
/proc/loadavg: 4.08 4.13 4.16 5/243 806669
/proc/meminfo: memFree=128185704/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=119136 memory=84576 CPUtime=3211.68 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23402 0 0 0 320247 921 0 0 20 0 1 0 159004645 121995264 21144 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29784 21144 1438 291 0 21318 0
Current children cumulated CPU time: 3211.68 s
Current children cumulated vsize: 119136 KiB
Current children cumulated memory: 84576 KiB
[startup+3282.3 s]
/proc/loadavg: 4.06 4.12 4.16 5/245 806850
/proc/meminfo: memFree=128188156/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=117424 memory=82740 CPUtime=3271.48 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23721 0 0 0 326217 931 0 0 20 0 1 0 159004645 120242176 20685 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29356 20685 1438 291 0 20890 0
Current children cumulated CPU time: 3271.48 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 82740 KiB
[startup+3342.3 s]
/proc/loadavg: 4.07 4.11 4.15 5/245 806860
/proc/meminfo: memFree=128186836/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=117424 memory=82872 CPUtime=3331.28 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23749 0 0 0 332182 946 0 0 20 0 1 0 159004645 120242176 20718 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29356 20718 1438 291 0 20890 0
Current children cumulated CPU time: 3331.28 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 82872 KiB
[startup+3402.3 s]
/proc/loadavg: 4.14 4.12 4.15 5/246 806928
/proc/meminfo: memFree=128183768/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=117424 memory=82872 CPUtime=3391.08 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23775 0 0 0 338147 961 0 0 20 0 1 0 159004645 120242176 20718 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29356 20718 1438 291 0 20890 0
Current children cumulated CPU time: 3391.08 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 82872 KiB
[startup+3462.3 s]
/proc/loadavg: 4.34 4.16 4.16 5/246 806938
/proc/meminfo: memFree=128173516/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=117424 memory=82872 CPUtime=3450.88 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23800 0 0 0 344111 977 0 0 20 0 1 0 159004645 120242176 20718 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29356 20718 1438 291 0 20890 0
Current children cumulated CPU time: 3450.88 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 82872 KiB
[startup+3522.3 s]
/proc/loadavg: 4.66 4.30 4.21 5/246 806949
/proc/meminfo: memFree=128172720/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=117424 memory=82872 CPUtime=3510.67 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23831 0 0 0 350079 988 0 0 20 0 1 0 159004645 120242176 20718 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29356 20718 1438 291 0 20890 0
Current children cumulated CPU time: 3510.67 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 82872 KiB
[startup+3582.3 s]
/proc/loadavg: 4.34 4.27 4.20 5/245 806960
/proc/meminfo: memFree=128169656/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=117424 memory=82872 CPUtime=3570.48 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23865 0 0 0 356050 998 0 0 20 0 1 0 159004645 120242176 20718 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29356 20718 1438 291 0 20890 0
Current children cumulated CPU time: 3570.48 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 82872 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612 s]*
/proc/loadavg: 3.97 4.20 4.18 2/224 807059
/proc/meminfo: memFree=128492776/131655788 swapFree=131071996/131071996
[pid=805132] ppid=805129 vsize=117424 memory=82872 CPUtime=3600.09 cores=0,2
/proc/805132/stat : 805132 (pb-oll-rs) R 805129 805132 800981 0 -1 4194304 23866 0 0 0 359007 1002 0 0 20 0 1 0 159004645 120242176 20718 134679101440 4194304 5384005 140732370590384 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 13692928 140732370592791 140732370592868 140732370592868 140732370599883 0
/proc/805132/statm: 29356 20718 1438 291 0 20890 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 117424 KiB
Current children cumulated memory: 82872 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.02 s]
# the end of solver process 805132 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3590.09 s, system=10.0278 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3612.02
CPU time (s): 3600.11
CPU user time (s): 3590.09
CPU system time (s): 10.0278
CPU usage (%): 99.6704
Max. virtual memory (cumulated for all children) (KiB): 119136
Max. memory (cumulated for all children) (KiB): 84576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.09
system time used= 10.0278
maximum resident set size= 84576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23882
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= 32
involuntary context switches= 24651
# summary of solver processes directly reported to runsolver:
# pid: 805132
# total CPU time (s): 3600.11
# total CPU user time (s): 3590.09
# total CPU system time (s): 10.0278
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.9015 second user time and 29.8899 second system time
The end
Begin job on nodeC009 at 2024-07-15 20:34:22
IDJOB=4435923
IDBENCH=146695
IDSOLVER=3067
FILE ID=nodeC009/4435923-1721068450
RUNJOBID= nodeC009-1721061236-800991
SLURM_JOB_ID= 7505510
Free space on /tmp= 723760 MiB
SOLVER NAME= pb-oll-rs 2024-07-02
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-4435923-1721068450/watcher-4435923-1721068450 -o /tmp/evaluation-result-4435923-1721068450/solver-4435923-1721068450 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721061236-800991 --watchdog 3760 pb-oll-rs HOME/instance-4435923-1721068450.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= dbca78014701662c42e2f44b8d3d4cf2
RANDOM SEED=1788551081
nodeC009.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3492.207
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3655.753
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.318
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.473
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3657.555
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3655.974
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.383
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6984.34
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 1197.397
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6983.27
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131655788 kB
MemFree: 128440836 kB
MemAvailable: 129882916 kB
Buffers: 373940 kB
Cached: 1896692 kB
SwapCached: 0 kB
Active: 602088 kB
Inactive: 2061568 kB
Active(anon): 1476 kB
Inactive(anon): 429252 kB
Active(file): 600612 kB
Inactive(file): 1632316 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 10524 kB
Writeback: 0 kB
AnonPages: 393148 kB
Mapped: 108192 kB
Shmem: 37700 kB
KReclaimable: 98364 kB
Slab: 195412 kB
SReclaimable: 98364 kB
SUnreclaim: 97048 kB
KernelStack: 3964 kB
PageTables: 10268 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196899888 kB
Committed_AS: 739164 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 51456 kB
HardwareCorrupted: 0 kB
AnonHugePages: 280576 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 187208 kB
DirectMap2M: 19640320 kB
DirectMap1G: 116391936 kB
Free space on /tmp at the end= 723768 MiB
End job on nodeC009 at 2024-07-15 21:34:35