0.00/0.03 c RoundingSat 2
0.00/0.03 c branch pb25
0.00/0.03 c commit 63f22ad
0.00/0.03 c #variables 225 #constraints 225
0.00/0.03 c objective is ce32
0.00/0.04 c initial watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.04 c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.006817
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.007618
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.009042
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.009999
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.012074
0.00/0.04 c GLOBAL bounds - >= 0 @ 0.013082
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.015103
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.016629
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.018736
0.00/0.05 c GLOBAL bounds - >= 0 @ 0.019783
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.02178
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.024604
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.027022
0.00/0.06 c GLOBAL bounds - >= 0 @ 0.030432
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.033862
0.00/0.07 c GLOBAL bounds - >= 0 @ 0.037567
0.07/0.12 c GLOBAL bounds - >= 0 @ 0.071283
0.07/0.23 c GLOBAL bounds - >= 0 @ 0.169272
0.18/0.24 c GLOBAL bounds - >= 0 @ 0.179869
0.18/0.32 c #Conflicts: 1000 | #Constraints: 1259
0.18/0.32 c GLOBAL bounds - >= 0 @ 0.258642
0.56/0.62 c #Conflicts: 2000 | #Constraints: 2261
0.56/0.62 c INPROCESSING
0.56/0.62 c GARBAGE COLLECT
0.56/0.62 c GLOBAL bounds - >= 0 @ 0.535798
1.14/1.28 c #Conflicts: 3000 | #Constraints: 2281
1.14/1.28 c #Conflicts: 4000 | #Constraints: 3281
1.14/1.28 c INPROCESSING
1.14/1.28 c GARBAGE COLLECT
1.14/1.28 c GLOBAL bounds - >= 0 @ 1.1793
2.94/3.08 c #Conflicts: 5000 | #Constraints: 2691
2.94/3.08 c #Conflicts: 6000 | #Constraints: 3691
2.94/3.08 c INPROCESSING
2.94/3.08 c GARBAGE COLLECT
2.94/3.08 c #Conflicts: 7000 | #Constraints: 2690
2.94/3.08 c #Conflicts: 8000 | #Constraints: 3690
2.94/3.08 c #Conflicts: 9000 | #Constraints: 4690
2.94/3.08 c INPROCESSING
2.94/3.08 c GARBAGE COLLECT
2.94/3.08 c #Conflicts: 10000 | #Constraints: 3392
2.94/3.08 c #Conflicts: 11000 | #Constraints: 4392
2.94/3.08 c #Conflicts: 12000 | #Constraints: 5392
2.94/3.08 c INPROCESSING
2.94/3.08 c GARBAGE COLLECT
2.94/3.08 c GLOBAL bounds - >= 0 @ 2.89084
23.16/23.30 c #Conflicts: 13000 | #Constraints: 3849
23.16/23.30 c #Conflicts: 14000 | #Constraints: 4849
23.16/23.30 c #Conflicts: 15000 | #Constraints: 5849
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 16000 | #Constraints: 4077
23.16/23.30 c #Conflicts: 17000 | #Constraints: 5077
23.16/23.30 c #Conflicts: 18000 | #Constraints: 6077
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 19000 | #Constraints: 4095
23.16/23.30 c #Conflicts: 20000 | #Constraints: 5095
23.16/23.30 c #Conflicts: 21000 | #Constraints: 6095
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 22000 | #Constraints: 3901
23.16/23.30 c #Conflicts: 23000 | #Constraints: 4901
23.16/23.30 c #Conflicts: 24000 | #Constraints: 5901
23.16/23.30 c #Conflicts: 25000 | #Constraints: 6901
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 26000 | #Constraints: 4508
23.16/23.30 c #Conflicts: 27000 | #Constraints: 5508
23.16/23.30 c #Conflicts: 28000 | #Constraints: 6508
23.16/23.30 c #Conflicts: 29000 | #Constraints: 7508
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 30000 | #Constraints: 4908
23.16/23.30 c #Conflicts: 31000 | #Constraints: 5908
23.16/23.30 c #Conflicts: 32000 | #Constraints: 6908
23.16/23.30 c #Conflicts: 33000 | #Constraints: 7908
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 34000 | #Constraints: 5105
23.16/23.30 c #Conflicts: 35000 | #Constraints: 6105
23.16/23.30 c #Conflicts: 36000 | #Constraints: 7105
23.16/23.30 c #Conflicts: 37000 | #Constraints: 8105
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 38000 | #Constraints: 5110
23.16/23.30 c #Conflicts: 39000 | #Constraints: 6110
23.16/23.30 c #Conflicts: 40000 | #Constraints: 7110
23.16/23.30 c #Conflicts: 41000 | #Constraints: 8110
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 42000 | #Constraints: 4911
23.16/23.30 c #Conflicts: 43000 | #Constraints: 5911
23.16/23.30 c #Conflicts: 44000 | #Constraints: 6911
23.16/23.30 c #Conflicts: 45000 | #Constraints: 7911
23.16/23.30 c #Conflicts: 46000 | #Constraints: 8911
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 47000 | #Constraints: 5517
23.16/23.30 c #Conflicts: 48000 | #Constraints: 6517
23.16/23.30 c #Conflicts: 49000 | #Constraints: 7517
23.16/23.30 c #Conflicts: 50000 | #Constraints: 8517
23.16/23.30 c #Conflicts: 51000 | #Constraints: 9517
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 52000 | #Constraints: 5915
23.16/23.30 c #Conflicts: 53000 | #Constraints: 6915
23.16/23.30 c #Conflicts: 54000 | #Constraints: 7915
23.16/23.30 c #Conflicts: 55000 | #Constraints: 8915
23.16/23.30 c #Conflicts: 56000 | #Constraints: 9915
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 57000 | #Constraints: 6115
23.16/23.30 c #Conflicts: 58000 | #Constraints: 7115
23.16/23.30 c #Conflicts: 59000 | #Constraints: 8115
23.16/23.30 c #Conflicts: 60000 | #Constraints: 9115
23.16/23.30 c #Conflicts: 61000 | #Constraints: 10115
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 62000 | #Constraints: 6119
23.16/23.30 c #Conflicts: 63000 | #Constraints: 7119
23.16/23.30 c #Conflicts: 64000 | #Constraints: 8119
23.16/23.30 c #Conflicts: 65000 | #Constraints: 9119
23.16/23.30 c #Conflicts: 66000 | #Constraints: 10119
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 67000 | #Constraints: 5909
23.16/23.30 c #Conflicts: 68000 | #Constraints: 6909
23.16/23.30 c #Conflicts: 69000 | #Constraints: 7909
23.16/23.30 c #Conflicts: 70000 | #Constraints: 8909
23.16/23.30 c #Conflicts: 71000 | #Constraints: 9909
23.16/23.30 c #Conflicts: 72000 | #Constraints: 10909
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 73000 | #Constraints: 6513
23.16/23.30 c #Conflicts: 74000 | #Constraints: 7513
23.16/23.30 c #Conflicts: 75000 | #Constraints: 8513
23.16/23.30 c #Conflicts: 76000 | #Constraints: 9513
23.16/23.30 c #Conflicts: 77000 | #Constraints: 10513
23.16/23.30 c #Conflicts: 78000 | #Constraints: 11513
23.16/23.30 c INPROCESSING
23.16/23.30 c GARBAGE COLLECT
23.16/23.30 c #Conflicts: 79000 | #Constraints: 6913
23.16/23.30 c #Conflicts: 80000 | #Constraints: 7913
23.16/23.30 c #Conflicts: 81000 | #Constraints: 8913
23.16/23.30 c #Conflicts: 82000 | #Constraints: 9913
53.66/53.99 c #Conflicts: 83000 | #Constraints: 10913
53.66/53.99 c #Conflicts: 84000 | #Constraints: 11913
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 85000 | #Constraints: 7110
53.66/53.99 c #Conflicts: 86000 | #Constraints: 8110
53.66/53.99 c #Conflicts: 87000 | #Constraints: 9110
53.66/53.99 c #Conflicts: 88000 | #Constraints: 10110
53.66/53.99 c #Conflicts: 89000 | #Constraints: 11110
53.66/53.99 c #Conflicts: 90000 | #Constraints: 12110
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 91000 | #Constraints: 7104
53.66/53.99 c #Conflicts: 92000 | #Constraints: 8104
53.66/53.99 c #Conflicts: 93000 | #Constraints: 9104
53.66/53.99 c #Conflicts: 94000 | #Constraints: 10104
53.66/53.99 c #Conflicts: 95000 | #Constraints: 11104
53.66/53.99 c #Conflicts: 96000 | #Constraints: 12104
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 97000 | #Constraints: 6911
53.66/53.99 c #Conflicts: 98000 | #Constraints: 7911
53.66/53.99 c #Conflicts: 99000 | #Constraints: 8911
53.66/53.99 c #Conflicts: 100000 | #Constraints: 9911
53.66/53.99 c #Conflicts: 101000 | #Constraints: 10911
53.66/53.99 c #Conflicts: 102000 | #Constraints: 11911
53.66/53.99 c #Conflicts: 103000 | #Constraints: 12911
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 104000 | #Constraints: 7513
53.66/53.99 c #Conflicts: 105000 | #Constraints: 8513
53.66/53.99 c #Conflicts: 106000 | #Constraints: 9513
53.66/53.99 c #Conflicts: 107000 | #Constraints: 10513
53.66/53.99 c #Conflicts: 108000 | #Constraints: 11513
53.66/53.99 c #Conflicts: 109000 | #Constraints: 12513
53.66/53.99 c #Conflicts: 110000 | #Constraints: 13513
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 111000 | #Constraints: 7911
53.66/53.99 c #Conflicts: 112000 | #Constraints: 8911
53.66/53.99 c #Conflicts: 113000 | #Constraints: 9911
53.66/53.99 c #Conflicts: 114000 | #Constraints: 10911
53.66/53.99 c #Conflicts: 115000 | #Constraints: 11911
53.66/53.99 c #Conflicts: 116000 | #Constraints: 12911
53.66/53.99 c #Conflicts: 117000 | #Constraints: 13911
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 118000 | #Constraints: 8114
53.66/53.99 c #Conflicts: 119000 | #Constraints: 9114
53.66/53.99 c #Conflicts: 120000 | #Constraints: 10114
53.66/53.99 c #Conflicts: 121000 | #Constraints: 11114
53.66/53.99 c #Conflicts: 122000 | #Constraints: 12114
53.66/53.99 c #Conflicts: 123000 | #Constraints: 13114
53.66/53.99 c #Conflicts: 124000 | #Constraints: 14114
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 125000 | #Constraints: 8116
53.66/53.99 c #Conflicts: 126000 | #Constraints: 9116
53.66/53.99 c #Conflicts: 127000 | #Constraints: 10116
53.66/53.99 c #Conflicts: 128000 | #Constraints: 11116
53.66/53.99 c #Conflicts: 129000 | #Constraints: 12116
53.66/53.99 c #Conflicts: 130000 | #Constraints: 13116
53.66/53.99 c #Conflicts: 131000 | #Constraints: 14116
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 132000 | #Constraints: 7918
53.66/53.99 c #Conflicts: 133000 | #Constraints: 8918
53.66/53.99 c #Conflicts: 134000 | #Constraints: 9918
53.66/53.99 c #Conflicts: 135000 | #Constraints: 10918
53.66/53.99 c #Conflicts: 136000 | #Constraints: 11918
53.66/53.99 c #Conflicts: 137000 | #Constraints: 12918
53.66/53.99 c #Conflicts: 138000 | #Constraints: 13918
53.66/53.99 c #Conflicts: 139000 | #Constraints: 14918
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 140000 | #Constraints: 8514
53.66/53.99 c #Conflicts: 141000 | #Constraints: 9514
53.66/53.99 c #Conflicts: 142000 | #Constraints: 10514
53.66/53.99 c #Conflicts: 143000 | #Constraints: 11514
53.66/53.99 c #Conflicts: 144000 | #Constraints: 12514
53.66/53.99 c #Conflicts: 145000 | #Constraints: 13514
53.66/53.99 c #Conflicts: 146000 | #Constraints: 14514
53.66/53.99 c #Conflicts: 147000 | #Constraints: 15514
53.66/53.99 c INPROCESSING
53.66/53.99 c GARBAGE COLLECT
53.66/53.99 c #Conflicts: 148000 | #Constraints: 8919
53.66/53.99 c #Conflicts: 149000 | #Constraints: 9919
53.66/53.99 c #Conflicts: 150000 | #Constraints: 10919
53.66/53.99 c #Conflicts: 151000 | #Constraints: 11919
53.66/53.99 c #Conflicts: 152000 | #Constraints: 12919
53.66/53.99 c #Conflicts: 153000 | #Constraints: 13919
53.66/53.99 c #Conflicts: 154000 | #Constraints: 14919
90.04/90.43 c #Conflicts: 155000 | #Constraints: 15919
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 156000 | #Constraints: 9118
90.04/90.43 c #Conflicts: 157000 | #Constraints: 10118
90.04/90.43 c #Conflicts: 158000 | #Constraints: 11118
90.04/90.43 c #Conflicts: 159000 | #Constraints: 12118
90.04/90.43 c #Conflicts: 160000 | #Constraints: 13118
90.04/90.43 c #Conflicts: 161000 | #Constraints: 14118
90.04/90.43 c #Conflicts: 162000 | #Constraints: 15118
90.04/90.43 c #Conflicts: 163000 | #Constraints: 16118
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 164000 | #Constraints: 9118
90.04/90.43 c #Conflicts: 165000 | #Constraints: 10118
90.04/90.43 c #Conflicts: 166000 | #Constraints: 11118
90.04/90.43 c #Conflicts: 167000 | #Constraints: 12118
90.04/90.43 c #Conflicts: 168000 | #Constraints: 13118
90.04/90.43 c #Conflicts: 169000 | #Constraints: 14118
90.04/90.43 c #Conflicts: 170000 | #Constraints: 15118
90.04/90.43 c #Conflicts: 171000 | #Constraints: 16118
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 172000 | #Constraints: 8918
90.04/90.43 c #Conflicts: 173000 | #Constraints: 9918
90.04/90.43 c #Conflicts: 174000 | #Constraints: 10918
90.04/90.43 c #Conflicts: 175000 | #Constraints: 11918
90.04/90.43 c #Conflicts: 176000 | #Constraints: 12918
90.04/90.43 c #Conflicts: 177000 | #Constraints: 13918
90.04/90.43 c #Conflicts: 178000 | #Constraints: 14918
90.04/90.43 c #Conflicts: 179000 | #Constraints: 15918
90.04/90.43 c #Conflicts: 180000 | #Constraints: 16918
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 181000 | #Constraints: 9518
90.04/90.43 c #Conflicts: 182000 | #Constraints: 10518
90.04/90.43 c #Conflicts: 183000 | #Constraints: 11518
90.04/90.43 c #Conflicts: 184000 | #Constraints: 12518
90.04/90.43 c #Conflicts: 185000 | #Constraints: 13518
90.04/90.43 c #Conflicts: 186000 | #Constraints: 14518
90.04/90.43 c #Conflicts: 187000 | #Constraints: 15518
90.04/90.43 c #Conflicts: 188000 | #Constraints: 16518
90.04/90.43 c #Conflicts: 189000 | #Constraints: 17518
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 190000 | #Constraints: 9922
90.04/90.43 c #Conflicts: 191000 | #Constraints: 10922
90.04/90.43 c #Conflicts: 192000 | #Constraints: 11922
90.04/90.43 c #Conflicts: 193000 | #Constraints: 12922
90.04/90.43 c #Conflicts: 194000 | #Constraints: 13922
90.04/90.43 c #Conflicts: 195000 | #Constraints: 14922
90.04/90.43 c #Conflicts: 196000 | #Constraints: 15922
90.04/90.43 c #Conflicts: 197000 | #Constraints: 16922
90.04/90.43 c #Conflicts: 198000 | #Constraints: 17922
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 199000 | #Constraints: 10121
90.04/90.43 c #Conflicts: 200000 | #Constraints: 11121
90.04/90.43 c #Conflicts: 201000 | #Constraints: 12121
90.04/90.43 c #Conflicts: 202000 | #Constraints: 13121
90.04/90.43 c #Conflicts: 203000 | #Constraints: 14121
90.04/90.43 c #Conflicts: 204000 | #Constraints: 15121
90.04/90.43 c #Conflicts: 205000 | #Constraints: 16121
90.04/90.43 c #Conflicts: 206000 | #Constraints: 17121
90.04/90.43 c #Conflicts: 207000 | #Constraints: 18121
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 208000 | #Constraints: 10118
90.04/90.43 c #Conflicts: 209000 | #Constraints: 11118
90.04/90.43 c #Conflicts: 210000 | #Constraints: 12118
90.04/90.43 c #Conflicts: 211000 | #Constraints: 13118
90.04/90.43 c #Conflicts: 212000 | #Constraints: 14118
90.04/90.43 c #Conflicts: 213000 | #Constraints: 15118
90.04/90.43 c #Conflicts: 214000 | #Constraints: 16118
90.04/90.43 c #Conflicts: 215000 | #Constraints: 17118
90.04/90.43 c #Conflicts: 216000 | #Constraints: 18118
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 217000 | #Constraints: 9920
90.04/90.43 c #Conflicts: 218000 | #Constraints: 10920
90.04/90.43 c #Conflicts: 219000 | #Constraints: 11920
90.04/90.43 c #Conflicts: 220000 | #Constraints: 12920
90.04/90.43 c #Conflicts: 221000 | #Constraints: 13920
90.04/90.43 c #Conflicts: 222000 | #Constraints: 14920
90.04/90.43 c #Conflicts: 223000 | #Constraints: 15920
90.04/90.43 c #Conflicts: 224000 | #Constraints: 16920
90.04/90.43 c #Conflicts: 225000 | #Constraints: 17920
90.04/90.43 c #Conflicts: 226000 | #Constraints: 18920
90.04/90.43 c INPROCESSING
90.04/90.43 c GARBAGE COLLECT
90.04/90.43 c #Conflicts: 227000 | #Constraints: 10526
136.80/137.35 c #Conflicts: 228000 | #Constraints: 11526
136.80/137.35 c #Conflicts: 229000 | #Constraints: 12526
136.80/137.35 c #Conflicts: 230000 | #Constraints: 13526
136.80/137.35 c #Conflicts: 231000 | #Constraints: 14526
136.80/137.35 c #Conflicts: 232000 | #Constraints: 15526
136.80/137.35 c #Conflicts: 233000 | #Constraints: 16526
136.80/137.35 c #Conflicts: 234000 | #Constraints: 17526
136.80/137.35 c #Conflicts: 235000 | #Constraints: 18526
136.80/137.35 c #Conflicts: 236000 | #Constraints: 19526
136.80/137.35 c INPROCESSING
136.80/137.35 c GARBAGE COLLECT
136.80/137.35 c #Conflicts: 237000 | #Constraints: 10923
136.80/137.35 c #Conflicts: 238000 | #Constraints: 11923
136.80/137.35 c #Conflicts: 239000 | #Constraints: 12923
136.80/137.35 c #Conflicts: 240000 | #Constraints: 13923
136.80/137.35 c #Conflicts: 241000 | #Constraints: 14923
136.80/137.35 c #Conflicts: 242000 | #Constraints: 15923
136.80/137.35 c #Conflicts: 243000 | #Constraints: 16923
136.80/137.35 c #Conflicts: 244000 | #Constraints: 17923
136.80/137.35 c #Conflicts: 245000 | #Constraints: 18923
136.80/137.35 c #Conflicts: 246000 | #Constraints: 19923
136.80/137.35 c INPROCESSING
136.80/137.35 c GARBAGE COLLECT
136.80/137.35 c #Conflicts: 247000 | #Constraints: 11121
136.80/137.35 c #Conflicts: 248000 | #Constraints: 12121
136.80/137.35 c #Conflicts: 249000 | #Constraints: 13121
136.80/137.35 c #Conflicts: 250000 | #Constraints: 14121
136.80/137.35 c #Conflicts: 251000 | #Constraints: 15121
136.80/137.35 c #Conflicts: 252000 | #Constraints: 16121
136.80/137.35 c #Conflicts: 253000 | #Constraints: 17121
136.80/137.35 c #Conflicts: 254000 | #Constraints: 18121
136.80/137.35 c #Conflicts: 255000 | #Constraints: 19121
136.80/137.35 c #Conflicts: 256000 | #Constraints: 20121
136.80/137.35 c INPROCESSING
136.80/137.35 c GARBAGE COLLECT
136.80/137.35 c #Conflicts: 257000 | #Constraints: 11117
136.80/137.35 c #Conflicts: 258000 | #Constraints: 12117
136.80/137.35 c #Conflicts: 259000 | #Constraints: 13117
136.80/137.35 c #Conflicts: 260000 | #Constraints: 14117
136.80/137.35 c #Conflicts: 261000 | #Constraints: 15117
136.80/137.35 c #Conflicts: 262000 | #Constraints: 16117
136.80/137.35 c #Conflicts: 263000 | #Constraints: 17117
136.80/137.35 c #Conflicts: 264000 | #Constraints: 18117
136.80/137.35 c #Conflicts: 265000 | #Constraints: 19117
136.80/137.35 c #Conflicts: 266000 | #Constraints: 20117
136.80/137.35 c INPROCESSING
136.80/137.35 c GARBAGE COLLECT
136.80/137.35 c #Conflicts: 267000 | #Constraints: 10917
136.80/137.35 c #Conflicts: 268000 | #Constraints: 11917
136.80/137.35 c #Conflicts: 269000 | #Constraints: 12917
136.80/137.35 c #Conflicts: 270000 | #Constraints: 13917
136.80/137.35 c #Conflicts: 271000 | #Constraints: 14917
136.80/137.35 c #Conflicts: 272000 | #Constraints: 15917
136.80/137.35 c #Conflicts: 273000 | #Constraints: 16917
136.80/137.35 c #Conflicts: 274000 | #Constraints: 17917
136.80/137.35 c #Conflicts: 275000 | #Constraints: 18917
136.80/137.35 c #Conflicts: 276000 | #Constraints: 19917
136.80/137.35 c #Conflicts: 277000 | #Constraints: 20917
136.80/137.35 c INPROCESSING
136.80/137.35 c GARBAGE COLLECT
136.80/137.35 c #Conflicts: 278000 | #Constraints: 11512
136.80/137.35 c #Conflicts: 279000 | #Constraints: 12512
136.80/137.35 c #Conflicts: 280000 | #Constraints: 13512
136.80/137.35 c #Conflicts: 281000 | #Constraints: 14512
136.80/137.35 c #Conflicts: 282000 | #Constraints: 15512
136.80/137.35 c #Conflicts: 283000 | #Constraints: 16512
136.80/137.35 c #Conflicts: 284000 | #Constraints: 17512
136.80/137.35 c #Conflicts: 285000 | #Constraints: 18512
136.80/137.35 c #Conflicts: 286000 | #Constraints: 19512
136.80/137.35 c #Conflicts: 287000 | #Constraints: 20512
136.80/137.35 c #Conflicts: 288000 | #Constraints: 21512
136.80/137.35 c INPROCESSING
136.80/137.35 c GARBAGE COLLECT
136.80/137.35 c #Conflicts: 289000 | #Constraints: 11914
136.80/137.35 c #Conflicts: 290000 | #Constraints: 12914
136.80/137.35 c #Conflicts: 291000 | #Constraints: 13914
136.80/137.35 c #Conflicts: 292000 | #Constraints: 14914
136.80/137.35 c #Conflicts: 293000 | #Constraints: 15914
136.80/137.35 c #Conflicts: 294000 | #Constraints: 16914
136.80/137.35 c #Conflicts: 295000 | #Constraints: 17914
136.80/137.35 c #Conflicts: 296000 | #Constraints: 18914
136.80/137.35 c #Conflicts: 297000 | #Constraints: 19914
136.80/137.35 c #Conflicts: 298000 | #Constraints: 20914
136.80/137.35 c #Conflicts: 299000 | #Constraints: 21914
136.80/137.35 c INPROCESSING
136.80/137.35 c GARBAGE COLLECT
136.80/137.35 c #Conflicts: 300000 | #Constraints: 12115
136.80/137.35 c #Conflicts: 301000 | #Constraints: 13115
136.80/137.35 c #Conflicts: 302000 | #Constraints: 14115
188.83/189.52 c #Conflicts: 303000 | #Constraints: 15115
188.83/189.52 c #Conflicts: 304000 | #Constraints: 16115
188.83/189.52 c #Conflicts: 305000 | #Constraints: 17115
188.83/189.52 c #Conflicts: 306000 | #Constraints: 18115
188.83/189.52 c #Conflicts: 307000 | #Constraints: 19115
188.83/189.52 c #Conflicts: 308000 | #Constraints: 20115
188.83/189.52 c #Conflicts: 309000 | #Constraints: 21115
188.83/189.52 c #Conflicts: 310000 | #Constraints: 22115
188.83/189.52 c INPROCESSING
188.83/189.52 c GARBAGE COLLECT
188.83/189.52 c #Conflicts: 311000 | #Constraints: 12116
188.83/189.52 c #Conflicts: 312000 | #Constraints: 13116
188.83/189.52 c #Conflicts: 313000 | #Constraints: 14116
188.83/189.52 c #Conflicts: 314000 | #Constraints: 15116
188.83/189.52 c #Conflicts: 315000 | #Constraints: 16116
188.83/189.52 c #Conflicts: 316000 | #Constraints: 17116
188.83/189.52 c #Conflicts: 317000 | #Constraints: 18116
188.83/189.52 c #Conflicts: 318000 | #Constraints: 19116
188.83/189.52 c #Conflicts: 319000 | #Constraints: 20116
188.83/189.52 c #Conflicts: 320000 | #Constraints: 21116
188.83/189.52 c #Conflicts: 321000 | #Constraints: 22116
188.83/189.52 c INPROCESSING
188.83/189.52 c GARBAGE COLLECT
188.83/189.52 c #Conflicts: 322000 | #Constraints: 11921
188.83/189.52 c #Conflicts: 323000 | #Constraints: 12921
188.83/189.52 c #Conflicts: 324000 | #Constraints: 13921
188.83/189.52 c #Conflicts: 325000 | #Constraints: 14921
188.83/189.52 c #Conflicts: 326000 | #Constraints: 15921
188.83/189.52 c #Conflicts: 327000 | #Constraints: 16921
188.83/189.52 c #Conflicts: 328000 | #Constraints: 17921
188.83/189.52 c #Conflicts: 329000 | #Constraints: 18921
188.83/189.52 c #Conflicts: 330000 | #Constraints: 19921
188.83/189.52 c #Conflicts: 331000 | #Constraints: 20921
188.83/189.52 c #Conflicts: 332000 | #Constraints: 21921
188.83/189.52 c #Conflicts: 333000 | #Constraints: 22921
188.83/189.52 c INPROCESSING
188.83/189.52 c GARBAGE COLLECT
188.83/189.52 c #Conflicts: 334000 | #Constraints: 12525
188.83/189.52 c #Conflicts: 335000 | #Constraints: 13525
188.83/189.52 c #Conflicts: 336000 | #Constraints: 14525
188.83/189.52 c #Conflicts: 337000 | #Constraints: 15525
188.83/189.52 c #Conflicts: 338000 | #Constraints: 16525
188.83/189.52 c #Conflicts: 339000 | #Constraints: 17525
188.83/189.52 c #Conflicts: 340000 | #Constraints: 18525
188.83/189.52 c #Conflicts: 341000 | #Constraints: 19525
188.83/189.52 c #Conflicts: 342000 | #Constraints: 20525
188.83/189.52 c #Conflicts: 343000 | #Constraints: 21525
188.83/189.52 c #Conflicts: 344000 | #Constraints: 22525
188.83/189.52 c #Conflicts: 345000 | #Constraints: 23525
188.83/189.52 c INPROCESSING
188.83/189.52 c GARBAGE COLLECT
188.83/189.52 c #Conflicts: 346000 | #Constraints: 12922
188.83/189.52 c #Conflicts: 347000 | #Constraints: 13922
188.83/189.52 c #Conflicts: 348000 | #Constraints: 14922
188.83/189.52 c #Conflicts: 349000 | #Constraints: 15922
188.83/189.52 c #Conflicts: 350000 | #Constraints: 16922
188.83/189.52 c #Conflicts: 351000 | #Constraints: 17922
188.83/189.52 c #Conflicts: 352000 | #Constraints: 18922
188.83/189.52 c #Conflicts: 353000 | #Constraints: 19922
188.83/189.52 c #Conflicts: 354000 | #Constraints: 20922
188.83/189.52 c #Conflicts: 355000 | #Constraints: 21922
188.83/189.52 c #Conflicts: 356000 | #Constraints: 22922
188.83/189.52 c #Conflicts: 357000 | #Constraints: 23922
188.83/189.52 c INPROCESSING
188.83/189.52 c GARBAGE COLLECT
188.83/189.52 c #Conflicts: 358000 | #Constraints: 13120
188.83/189.52 c #Conflicts: 359000 | #Constraints: 14120
188.83/189.52 c #Conflicts: 360000 | #Constraints: 15120
188.83/189.52 c #Conflicts: 361000 | #Constraints: 16120
188.83/189.52 c #Conflicts: 362000 | #Constraints: 17120
188.83/189.52 c #Conflicts: 363000 | #Constraints: 18120
188.83/189.52 c #Conflicts: 364000 | #Constraints: 19120
188.83/189.52 c #Conflicts: 365000 | #Constraints: 20120
188.83/189.52 c #Conflicts: 366000 | #Constraints: 21120
188.83/189.52 c #Conflicts: 367000 | #Constraints: 22120
188.83/189.52 c #Conflicts: 368000 | #Constraints: 23120
188.83/189.52 c #Conflicts: 369000 | #Constraints: 24120
188.83/189.52 c INPROCESSING
188.83/189.52 c GARBAGE COLLECT
188.83/189.52 c #Conflicts: 370000 | #Constraints: 13121
188.83/189.52 c #Conflicts: 371000 | #Constraints: 14121
188.83/189.52 c #Conflicts: 372000 | #Constraints: 15121
188.83/189.52 c #Conflicts: 373000 | #Constraints: 16121
188.83/189.52 c #Conflicts: 374000 | #Constraints: 17121
188.83/189.52 c #Conflicts: 375000 | #Constraints: 18121
188.83/189.52 c #Conflicts: 376000 | #Constraints: 19121
188.83/189.52 c #Conflicts: 377000 | #Constraints: 20121
244.56/245.41 c #Conflicts: 378000 | #Constraints: 21121
244.56/245.41 c #Conflicts: 379000 | #Constraints: 22121
244.56/245.41 c #Conflicts: 380000 | #Constraints: 23121
244.56/245.41 c #Conflicts: 381000 | #Constraints: 24121
244.56/245.41 c INPROCESSING
244.56/245.41 c GARBAGE COLLECT
244.56/245.41 c #Conflicts: 382000 | #Constraints: 12919
244.56/245.41 c #Conflicts: 383000 | #Constraints: 13919
244.56/245.41 c #Conflicts: 384000 | #Constraints: 14919
244.56/245.41 c #Conflicts: 385000 | #Constraints: 15919
244.56/245.41 c #Conflicts: 386000 | #Constraints: 16919
244.56/245.41 c #Conflicts: 387000 | #Constraints: 17919
244.56/245.41 c #Conflicts: 388000 | #Constraints: 18919
244.56/245.41 c #Conflicts: 389000 | #Constraints: 19919
244.56/245.41 c #Conflicts: 390000 | #Constraints: 20919
244.56/245.41 c #Conflicts: 391000 | #Constraints: 21919
244.56/245.41 c #Conflicts: 392000 | #Constraints: 22919
244.56/245.41 c #Conflicts: 393000 | #Constraints: 23919
244.56/245.41 c #Conflicts: 394000 | #Constraints: 24919
244.56/245.41 c INPROCESSING
244.56/245.41 c GARBAGE COLLECT
244.56/245.41 c #Conflicts: 395000 | #Constraints: 13521
244.56/245.41 c #Conflicts: 396000 | #Constraints: 14521
244.56/245.41 c #Conflicts: 397000 | #Constraints: 15521
244.56/245.41 c #Conflicts: 398000 | #Constraints: 16521
244.56/245.41 c #Conflicts: 399000 | #Constraints: 17521
244.56/245.41 c #Conflicts: 400000 | #Constraints: 18521
244.56/245.41 c #Conflicts: 401000 | #Constraints: 19521
244.56/245.41 c #Conflicts: 402000 | #Constraints: 20521
244.56/245.41 c #Conflicts: 403000 | #Constraints: 21521
244.56/245.41 c #Conflicts: 404000 | #Constraints: 22521
244.56/245.41 c #Conflicts: 405000 | #Constraints: 23521
244.56/245.41 c #Conflicts: 406000 | #Constraints: 24521
244.56/245.41 c #Conflicts: 407000 | #Constraints: 25521
244.56/245.41 c INPROCESSING
244.56/245.41 c GARBAGE COLLECT
244.56/245.41 c #Conflicts: 408000 | #Constraints: 13922
244.56/245.41 c #Conflicts: 409000 | #Constraints: 14922
244.56/245.41 c #Conflicts: 410000 | #Constraints: 15922
244.56/245.41 c #Conflicts: 411000 | #Constraints: 16922
244.56/245.41 c #Conflicts: 412000 | #Constraints: 17922
244.56/245.41 c #Conflicts: 413000 | #Constraints: 18922
244.56/245.41 c #Conflicts: 414000 | #Constraints: 19922
244.56/245.41 c #Conflicts: 415000 | #Constraints: 20922
244.56/245.41 c #Conflicts: 416000 | #Constraints: 21922
244.56/245.41 c #Conflicts: 417000 | #Constraints: 22922
244.56/245.41 c #Conflicts: 418000 | #Constraints: 23922
244.56/245.41 c #Conflicts: 419000 | #Constraints: 24922
244.56/245.41 c #Conflicts: 420000 | #Constraints: 25922
244.56/245.41 c INPROCESSING
244.56/245.41 c GARBAGE COLLECT
244.56/245.41 c #Conflicts: 421000 | #Constraints: 14123
244.56/245.41 c #Conflicts: 422000 | #Constraints: 15123
244.56/245.41 c #Conflicts: 423000 | #Constraints: 16123
244.56/245.41 c #Conflicts: 424000 | #Constraints: 17123
244.56/245.41 c #Conflicts: 425000 | #Constraints: 18123
244.56/245.41 c #Conflicts: 426000 | #Constraints: 19123
244.56/245.41 c #Conflicts: 427000 | #Constraints: 20123
244.56/245.41 c #Conflicts: 428000 | #Constraints: 21123
244.56/245.41 c #Conflicts: 429000 | #Constraints: 22123
244.56/245.41 c #Conflicts: 430000 | #Constraints: 23123
244.56/245.41 c #Conflicts: 431000 | #Constraints: 24123
244.56/245.41 c #Conflicts: 432000 | #Constraints: 25123
244.56/245.41 c #Conflicts: 433000 | #Constraints: 26123
244.56/245.41 c INPROCESSING
244.56/245.41 c GARBAGE COLLECT
244.56/245.41 c #Conflicts: 434000 | #Constraints: 14123
244.56/245.41 c #Conflicts: 435000 | #Constraints: 15123
244.56/245.41 c #Conflicts: 436000 | #Constraints: 16123
244.56/245.41 c #Conflicts: 437000 | #Constraints: 17123
244.56/245.41 c #Conflicts: 438000 | #Constraints: 18123
244.56/245.41 c #Conflicts: 439000 | #Constraints: 19123
244.56/245.41 c #Conflicts: 440000 | #Constraints: 20123
244.56/245.41 c #Conflicts: 441000 | #Constraints: 21123
244.56/245.41 c #Conflicts: 442000 | #Constraints: 22123
244.56/245.41 c #Conflicts: 443000 | #Constraints: 23123
244.56/245.41 c #Conflicts: 444000 | #Constraints: 24123
244.56/245.41 c #Conflicts: 445000 | #Constraints: 25123
244.56/245.41 c #Conflicts: 446000 | #Constraints: 26123
244.56/245.41 c INPROCESSING
244.56/245.41 c GARBAGE COLLECT
244.56/245.41 c #Conflicts: 447000 | #Constraints: 13921
244.56/245.41 c #Conflicts: 448000 | #Constraints: 14921
244.56/245.41 c #Conflicts: 449000 | #Constraints: 15921
244.56/245.41 c #Conflicts: 450000 | #Constraints: 16921
244.56/245.41 c #Conflicts: 451000 | #Constraints: 17921
308.15/309.31 c #Conflicts: 452000 | #Constraints: 18921
308.15/309.31 c #Conflicts: 453000 | #Constraints: 19921
308.15/309.31 c #Conflicts: 454000 | #Constraints: 20921
308.15/309.31 c #Conflicts: 455000 | #Constraints: 21921
308.15/309.31 c #Conflicts: 456000 | #Constraints: 22921
308.15/309.31 c #Conflicts: 457000 | #Constraints: 23921
308.15/309.31 c #Conflicts: 458000 | #Constraints: 24921
308.15/309.31 c #Conflicts: 459000 | #Constraints: 25921
308.15/309.31 c #Conflicts: 460000 | #Constraints: 26921
308.15/309.31 c INPROCESSING
308.15/309.31 c GARBAGE COLLECT
308.15/309.31 c #Conflicts: 461000 | #Constraints: 14515
308.15/309.31 c #Conflicts: 462000 | #Constraints: 15515
308.15/309.31 c #Conflicts: 463000 | #Constraints: 16515
308.15/309.31 c #Conflicts: 464000 | #Constraints: 17515
308.15/309.31 c #Conflicts: 465000 | #Constraints: 18515
308.15/309.31 c #Conflicts: 466000 | #Constraints: 19515
308.15/309.31 c #Conflicts: 467000 | #Constraints: 20515
308.15/309.31 c #Conflicts: 468000 | #Constraints: 21515
308.15/309.31 c #Conflicts: 469000 | #Constraints: 22515
308.15/309.31 c #Conflicts: 470000 | #Constraints: 23515
308.15/309.31 c #Conflicts: 471000 | #Constraints: 24515
308.15/309.31 c #Conflicts: 472000 | #Constraints: 25515
308.15/309.31 c #Conflicts: 473000 | #Constraints: 26515
308.15/309.31 c #Conflicts: 474000 | #Constraints: 27515
308.15/309.31 c INPROCESSING
308.15/309.31 c GARBAGE COLLECT
308.15/309.31 c #Conflicts: 475000 | #Constraints: 14921
308.15/309.31 c #Conflicts: 476000 | #Constraints: 15921
308.15/309.31 c #Conflicts: 477000 | #Constraints: 16921
308.15/309.31 c #Conflicts: 478000 | #Constraints: 17921
308.15/309.31 c #Conflicts: 479000 | #Constraints: 18921
308.15/309.31 c #Conflicts: 480000 | #Constraints: 19921
308.15/309.31 c #Conflicts: 481000 | #Constraints: 20921
308.15/309.31 c #Conflicts: 482000 | #Constraints: 21921
308.15/309.31 c #Conflicts: 483000 | #Constraints: 22921
308.15/309.31 c #Conflicts: 484000 | #Constraints: 23921
308.15/309.31 c #Conflicts: 485000 | #Constraints: 24921
308.15/309.31 c #Conflicts: 486000 | #Constraints: 25921
308.15/309.31 c #Conflicts: 487000 | #Constraints: 26921
308.15/309.31 c #Conflicts: 488000 | #Constraints: 27921
308.15/309.31 c INPROCESSING
308.15/309.31 c GARBAGE COLLECT
308.15/309.31 c #Conflicts: 489000 | #Constraints: 15122
308.15/309.31 c #Conflicts: 490000 | #Constraints: 16122
308.15/309.31 c #Conflicts: 491000 | #Constraints: 17122
308.15/309.31 c #Conflicts: 492000 | #Constraints: 18122
308.15/309.31 c #Conflicts: 493000 | #Constraints: 19122
308.15/309.31 c #Conflicts: 494000 | #Constraints: 20122
308.15/309.31 c #Conflicts: 495000 | #Constraints: 21122
308.15/309.31 c #Conflicts: 496000 | #Constraints: 22122
308.15/309.31 c #Conflicts: 497000 | #Constraints: 23122
308.15/309.31 c #Conflicts: 498000 | #Constraints: 24122
308.15/309.31 c #Conflicts: 499000 | #Constraints: 25122
308.15/309.31 c #Conflicts: 500000 | #Constraints: 26122
308.15/309.31 c #Conflicts: 501000 | #Constraints: 27122
308.15/309.31 c #Conflicts: 502000 | #Constraints: 28122
308.15/309.31 c INPROCESSING
308.15/309.31 c GARBAGE COLLECT
308.15/309.31 c #Conflicts: 503000 | #Constraints: 15123
308.15/309.31 c #Conflicts: 504000 | #Constraints: 16123
308.15/309.31 c #Conflicts: 505000 | #Constraints: 17123
308.15/309.31 c #Conflicts: 506000 | #Constraints: 18123
308.15/309.31 c #Conflicts: 507000 | #Constraints: 19123
308.15/309.31 c #Conflicts: 508000 | #Constraints: 20123
308.15/309.31 c #Conflicts: 509000 | #Constraints: 21123
308.15/309.31 c #Conflicts: 510000 | #Constraints: 22123
308.15/309.31 c #Conflicts: 511000 | #Constraints: 23123
308.15/309.31 c #Conflicts: 512000 | #Constraints: 24123
308.15/309.31 c #Conflicts: 513000 | #Constraints: 25123
308.15/309.31 c #Conflicts: 514000 | #Constraints: 26123
308.15/309.31 c #Conflicts: 515000 | #Constraints: 27123
308.15/309.31 c #Conflicts: 516000 | #Constraints: 28123
308.15/309.31 c INPROCESSING
308.15/309.31 c GARBAGE COLLECT
308.15/309.31 c #Conflicts: 517000 | #Constraints: 14917
308.15/309.31 c #Conflicts: 518000 | #Constraints: 15917
308.15/309.31 c #Conflicts: 519000 | #Constraints: 16917
308.15/309.31 c #Conflicts: 520000 | #Constraints: 17917
308.15/309.31 c #Conflicts: 521000 | #Constraints: 18917
308.15/309.31 c #Conflicts: 522000 | #Constraints: 19917
308.15/309.31 c #Conflicts: 523000 | #Constraints: 20917
308.15/309.31 c #Conflicts: 524000 | #Constraints: 21917
308.15/309.31 c #Conflicts: 525000 | #Constraints: 22917
308.15/309.31 c #Conflicts: 526000 | #Constraints: 23917
308.15/309.31 c #Conflicts: 527000 | #Constraints: 24917
377.83/379.23 c #Conflicts: 528000 | #Constraints: 25917
377.83/379.23 c #Conflicts: 529000 | #Constraints: 26917
377.83/379.23 c #Conflicts: 530000 | #Constraints: 27917
377.83/379.23 c #Conflicts: 531000 | #Constraints: 28917
377.83/379.23 c INPROCESSING
377.83/379.23 c GARBAGE COLLECT
377.83/379.23 c #Conflicts: 532000 | #Constraints: 15518
377.83/379.23 c #Conflicts: 533000 | #Constraints: 16518
377.83/379.23 c #Conflicts: 534000 | #Constraints: 17518
377.83/379.23 c #Conflicts: 535000 | #Constraints: 18518
377.83/379.23 c #Conflicts: 536000 | #Constraints: 19518
377.83/379.23 c #Conflicts: 537000 | #Constraints: 20518
377.83/379.23 c #Conflicts: 538000 | #Constraints: 21518
377.83/379.23 c #Conflicts: 539000 | #Constraints: 22518
377.83/379.23 c #Conflicts: 540000 | #Constraints: 23518
377.83/379.23 c #Conflicts: 541000 | #Constraints: 24518
377.83/379.23 c #Conflicts: 542000 | #Constraints: 25518
377.83/379.23 c #Conflicts: 543000 | #Constraints: 26518
377.83/379.23 c #Conflicts: 544000 | #Constraints: 27518
377.83/379.23 c #Conflicts: 545000 | #Constraints: 28518
377.83/379.23 c #Conflicts: 546000 | #Constraints: 29518
377.83/379.23 c INPROCESSING
377.83/379.23 c GARBAGE COLLECT
377.83/379.23 c #Conflicts: 547000 | #Constraints: 15918
377.83/379.23 c #Conflicts: 548000 | #Constraints: 16918
377.83/379.23 c #Conflicts: 549000 | #Constraints: 17918
377.83/379.23 c #Conflicts: 550000 | #Constraints: 18918
377.83/379.23 c #Conflicts: 551000 | #Constraints: 19918
377.83/379.23 c #Conflicts: 552000 | #Constraints: 20918
377.83/379.23 c #Conflicts: 553000 | #Constraints: 21918
377.83/379.23 c #Conflicts: 554000 | #Constraints: 22918
377.83/379.23 c #Conflicts: 555000 | #Constraints: 23918
377.83/379.23 c #Conflicts: 556000 | #Constraints: 24918
377.83/379.23 c #Conflicts: 557000 | #Constraints: 25918
377.83/379.23 c #Conflicts: 558000 | #Constraints: 26918
377.83/379.23 c #Conflicts: 559000 | #Constraints: 27918
377.83/379.23 c #Conflicts: 560000 | #Constraints: 28918
377.83/379.23 c #Conflicts: 561000 | #Constraints: 29918
377.83/379.23 c INPROCESSING
377.83/379.23 c GARBAGE COLLECT
377.83/379.23 c #Conflicts: 562000 | #Constraints: 16124
377.83/379.23 c #Conflicts: 563000 | #Constraints: 17124
377.83/379.23 c #Conflicts: 564000 | #Constraints: 18124
377.83/379.23 c #Conflicts: 565000 | #Constraints: 19124
377.83/379.23 c #Conflicts: 566000 | #Constraints: 20124
377.83/379.23 c #Conflicts: 567000 | #Constraints: 21124
377.83/379.23 c #Conflicts: 568000 | #Constraints: 22124
377.83/379.23 c #Conflicts: 569000 | #Constraints: 23124
377.83/379.23 c #Conflicts: 570000 | #Constraints: 24124
377.83/379.23 c #Conflicts: 571000 | #Constraints: 25124
377.83/379.23 c #Conflicts: 572000 | #Constraints: 26124
377.83/379.23 c #Conflicts: 573000 | #Constraints: 27124
377.83/379.23 c #Conflicts: 574000 | #Constraints: 28124
377.83/379.23 c #Conflicts: 575000 | #Constraints: 29124
377.83/379.23 c #Conflicts: 576000 | #Constraints: 30124
377.83/379.23 c INPROCESSING
377.83/379.23 c GARBAGE COLLECT
377.83/379.23 c #Conflicts: 577000 | #Constraints: 16119
377.83/379.23 c #Conflicts: 578000 | #Constraints: 17119
377.83/379.23 c #Conflicts: 579000 | #Constraints: 18119
377.83/379.23 c #Conflicts: 580000 | #Constraints: 19119
377.83/379.23 c #Conflicts: 581000 | #Constraints: 20119
377.83/379.23 c #Conflicts: 582000 | #Constraints: 21119
377.83/379.23 c #Conflicts: 583000 | #Constraints: 22119
377.83/379.23 c #Conflicts: 584000 | #Constraints: 23119
377.83/379.23 c #Conflicts: 585000 | #Constraints: 24119
377.83/379.23 c #Conflicts: 586000 | #Constraints: 25119
377.83/379.23 c #Conflicts: 587000 | #Constraints: 26119
377.83/379.23 c #Conflicts: 588000 | #Constraints: 27119
377.83/379.23 c #Conflicts: 589000 | #Constraints: 28119
377.83/379.23 c #Conflicts: 590000 | #Constraints: 29119
377.83/379.23 c #Conflicts: 591000 | #Constraints: 30119
377.83/379.23 c INPROCESSING
377.83/379.23 c GARBAGE COLLECT
377.83/379.23 c #Conflicts: 592000 | #Constraints: 15925
377.83/379.23 c #Conflicts: 593000 | #Constraints: 16925
377.83/379.23 c #Conflicts: 594000 | #Constraints: 17925
377.83/379.23 c #Conflicts: 595000 | #Constraints: 18925
377.83/379.23 c #Conflicts: 596000 | #Constraints: 19925
377.83/379.23 c #Conflicts: 597000 | #Constraints: 20925
377.83/379.23 c #Conflicts: 598000 | #Constraints: 21925
377.83/379.23 c #Conflicts: 599000 | #Constraints: 22925
377.83/379.23 c #Conflicts: 600000 | #Constraints: 23925
377.83/379.23 c #Conflicts: 601000 | #Constraints: 24925
377.83/379.23 c #Conflicts: 602000 | #Constraints: 25925
377.83/379.23 c #Conflicts: 603000 | #Constraints: 26925
451.74/453.55 c #Conflicts: 604000 | #Constraints: 27925
451.74/453.55 c #Conflicts: 605000 | #Constraints: 28925
451.74/453.55 c #Conflicts: 606000 | #Constraints: 29925
451.74/453.55 c #Conflicts: 607000 | #Constraints: 30925
451.74/453.55 c INPROCESSING
451.74/453.55 c GARBAGE COLLECT
451.74/453.55 c #Conflicts: 608000 | #Constraints: 16528
451.74/453.55 c #Conflicts: 609000 | #Constraints: 17528
451.74/453.55 c #Conflicts: 610000 | #Constraints: 18528
451.74/453.55 c #Conflicts: 611000 | #Constraints: 19528
451.74/453.55 c #Conflicts: 612000 | #Constraints: 20528
451.74/453.55 c #Conflicts: 613000 | #Constraints: 21528
451.74/453.55 c #Conflicts: 614000 | #Constraints: 22528
451.74/453.55 c #Conflicts: 615000 | #Constraints: 23528
451.74/453.55 c #Conflicts: 616000 | #Constraints: 24528
451.74/453.55 c #Conflicts: 617000 | #Constraints: 25528
451.74/453.55 c #Conflicts: 618000 | #Constraints: 26528
451.74/453.55 c #Conflicts: 619000 | #Constraints: 27528
451.74/453.55 c #Conflicts: 620000 | #Constraints: 28528
451.74/453.55 c #Conflicts: 621000 | #Constraints: 29528
451.74/453.55 c #Conflicts: 622000 | #Constraints: 30528
451.74/453.55 c #Conflicts: 623000 | #Constraints: 31528
451.74/453.55 c INPROCESSING
451.74/453.55 c GARBAGE COLLECT
451.74/453.55 c #Conflicts: 624000 | #Constraints: 16925
451.74/453.55 c #Conflicts: 625000 | #Constraints: 17925
451.74/453.55 c #Conflicts: 626000 | #Constraints: 18925
451.74/453.55 c #Conflicts: 627000 | #Constraints: 19925
451.74/453.55 c #Conflicts: 628000 | #Constraints: 20925
451.74/453.55 c #Conflicts: 629000 | #Constraints: 21925
451.74/453.55 c #Conflicts: 630000 | #Constraints: 22925
451.74/453.55 c #Conflicts: 631000 | #Constraints: 23925
451.74/453.55 c #Conflicts: 632000 | #Constraints: 24925
451.74/453.55 c #Conflicts: 633000 | #Constraints: 25925
451.74/453.55 c #Conflicts: 634000 | #Constraints: 26925
451.74/453.55 c #Conflicts: 635000 | #Constraints: 27925
451.74/453.55 c #Conflicts: 636000 | #Constraints: 28925
451.74/453.55 c #Conflicts: 637000 | #Constraints: 29925
451.74/453.55 c #Conflicts: 638000 | #Constraints: 30925
451.74/453.55 c #Conflicts: 639000 | #Constraints: 31925
451.74/453.55 c INPROCESSING
451.74/453.55 c GARBAGE COLLECT
451.74/453.55 c #Conflicts: 640000 | #Constraints: 17123
451.74/453.55 c #Conflicts: 641000 | #Constraints: 18123
451.74/453.55 c #Conflicts: 642000 | #Constraints: 19123
451.74/453.55 c #Conflicts: 643000 | #Constraints: 20123
451.74/453.55 c #Conflicts: 644000 | #Constraints: 21123
451.74/453.55 c #Conflicts: 645000 | #Constraints: 22123
451.74/453.55 c #Conflicts: 646000 | #Constraints: 23123
451.74/453.55 c #Conflicts: 647000 | #Constraints: 24123
451.74/453.55 c #Conflicts: 648000 | #Constraints: 25123
451.74/453.55 c #Conflicts: 649000 | #Constraints: 26123
451.74/453.55 c #Conflicts: 650000 | #Constraints: 27123
451.74/453.55 c #Conflicts: 651000 | #Constraints: 28123
451.74/453.55 c #Conflicts: 652000 | #Constraints: 29123
451.74/453.55 c #Conflicts: 653000 | #Constraints: 30123
451.74/453.55 c #Conflicts: 654000 | #Constraints: 31123
451.74/453.55 c #Conflicts: 655000 | #Constraints: 32123
451.74/453.55 c INPROCESSING
451.74/453.55 c GARBAGE COLLECT
451.74/453.55 c #Conflicts: 656000 | #Constraints: 17118
451.74/453.55 c #Conflicts: 657000 | #Constraints: 18118
451.74/453.55 c #Conflicts: 658000 | #Constraints: 19118
451.74/453.55 c #Conflicts: 659000 | #Constraints: 20118
451.74/453.55 c #Conflicts: 660000 | #Constraints: 21118
451.74/453.55 c #Conflicts: 661000 | #Constraints: 22118
451.74/453.55 c #Conflicts: 662000 | #Constraints: 23118
451.74/453.55 c #Conflicts: 663000 | #Constraints: 24118
451.74/453.55 c #Conflicts: 664000 | #Constraints: 25118
451.74/453.55 c #Conflicts: 665000 | #Constraints: 26118
451.74/453.55 c #Conflicts: 666000 | #Constraints: 27118
451.74/453.55 c #Conflicts: 667000 | #Constraints: 28118
451.74/453.55 c #Conflicts: 668000 | #Constraints: 29118
451.74/453.55 c #Conflicts: 669000 | #Constraints: 30118
451.74/453.55 c #Conflicts: 670000 | #Constraints: 31118
451.74/453.55 c #Conflicts: 671000 | #Constraints: 32118
451.74/453.55 c INPROCESSING
451.74/453.55 c GARBAGE COLLECT
451.74/453.55 c #Conflicts: 672000 | #Constraints: 16917
451.74/453.55 c #Conflicts: 673000 | #Constraints: 17917
451.74/453.55 c #Conflicts: 674000 | #Constraints: 18917
451.74/453.55 c #Conflicts: 675000 | #Constraints: 19917
451.74/453.55 c #Conflicts: 676000 | #Constraints: 20917
451.74/453.55 c #Conflicts: 677000 | #Constraints: 21917
451.74/453.55 c #Conflicts: 678000 | #Constraints: 22917
535.06/537.12 c #Conflicts: 679000 | #Constraints: 23917
535.06/537.12 c #Conflicts: 680000 | #Constraints: 24917
535.06/537.12 c #Conflicts: 681000 | #Constraints: 25917
535.06/537.12 c #Conflicts: 682000 | #Constraints: 26917
535.06/537.12 c #Conflicts: 683000 | #Constraints: 27917
535.06/537.12 c #Conflicts: 684000 | #Constraints: 28917
535.06/537.12 c #Conflicts: 685000 | #Constraints: 29917
535.06/537.12 c #Conflicts: 686000 | #Constraints: 30917
535.06/537.12 c #Conflicts: 687000 | #Constraints: 31917
535.06/537.12 c #Conflicts: 688000 | #Constraints: 32917
535.06/537.12 c INPROCESSING
535.06/537.12 c GARBAGE COLLECT
535.06/537.12 c #Conflicts: 689000 | #Constraints: 17526
535.06/537.12 c #Conflicts: 690000 | #Constraints: 18526
535.06/537.12 c #Conflicts: 691000 | #Constraints: 19526
535.06/537.12 c #Conflicts: 692000 | #Constraints: 20526
535.06/537.12 c #Conflicts: 693000 | #Constraints: 21526
535.06/537.12 c #Conflicts: 694000 | #Constraints: 22526
535.06/537.12 c #Conflicts: 695000 | #Constraints: 23526
535.06/537.12 c #Conflicts: 696000 | #Constraints: 24526
535.06/537.12 c #Conflicts: 697000 | #Constraints: 25526
535.06/537.12 c #Conflicts: 698000 | #Constraints: 26526
535.06/537.12 c #Conflicts: 699000 | #Constraints: 27526
535.06/537.12 c #Conflicts: 700000 | #Constraints: 28526
535.06/537.12 c #Conflicts: 701000 | #Constraints: 29526
535.06/537.12 c #Conflicts: 702000 | #Constraints: 30526
535.06/537.12 c #Conflicts: 703000 | #Constraints: 31526
535.06/537.12 c #Conflicts: 704000 | #Constraints: 32526
535.06/537.12 c #Conflicts: 705000 | #Constraints: 33526
535.06/537.12 c INPROCESSING
535.06/537.12 c GARBAGE COLLECT
535.06/537.12 c #Conflicts: 706000 | #Constraints: 17923
535.06/537.12 c #Conflicts: 707000 | #Constraints: 18923
535.06/537.12 c #Conflicts: 708000 | #Constraints: 19923
535.06/537.12 c #Conflicts: 709000 | #Constraints: 20923
535.06/537.12 c #Conflicts: 710000 | #Constraints: 21923
535.06/537.12 c #Conflicts: 711000 | #Constraints: 22923
535.06/537.12 c #Conflicts: 712000 | #Constraints: 23923
535.06/537.12 c #Conflicts: 713000 | #Constraints: 24923
535.06/537.12 c #Conflicts: 714000 | #Constraints: 25923
535.06/537.12 c #Conflicts: 715000 | #Constraints: 26923
535.06/537.12 c #Conflicts: 716000 | #Constraints: 27923
535.06/537.12 c #Conflicts: 717000 | #Constraints: 28923
535.06/537.12 c #Conflicts: 718000 | #Constraints: 29923
535.06/537.12 c #Conflicts: 719000 | #Constraints: 30923
535.06/537.12 c #Conflicts: 720000 | #Constraints: 31923
535.06/537.12 c #Conflicts: 721000 | #Constraints: 32923
535.06/537.12 c #Conflicts: 722000 | #Constraints: 33923
535.06/537.12 c INPROCESSING
535.06/537.12 c GARBAGE COLLECT
535.06/537.12 c #Conflicts: 723000 | #Constraints: 18124
535.06/537.12 c #Conflicts: 724000 | #Constraints: 19124
535.06/537.12 c #Conflicts: 725000 | #Constraints: 20124
535.06/537.12 c #Conflicts: 726000 | #Constraints: 21124
535.06/537.12 c #Conflicts: 727000 | #Constraints: 22124
535.06/537.12 c #Conflicts: 728000 | #Constraints: 23124
535.06/537.12 c #Conflicts: 729000 | #Constraints: 24124
535.06/537.12 c #Conflicts: 730000 | #Constraints: 25124
535.06/537.12 c #Conflicts: 731000 | #Constraints: 26124
535.06/537.12 c #Conflicts: 732000 | #Constraints: 27124
535.06/537.12 c #Conflicts: 733000 | #Constraints: 28124
535.06/537.12 c #Conflicts: 734000 | #Constraints: 29124
535.06/537.12 c #Conflicts: 735000 | #Constraints: 30124
535.06/537.12 c #Conflicts: 736000 | #Constraints: 31124
535.06/537.12 c #Conflicts: 737000 | #Constraints: 32124
535.06/537.12 c #Conflicts: 738000 | #Constraints: 33124
535.06/537.12 c #Conflicts: 739000 | #Constraints: 34124
535.06/537.12 c INPROCESSING
535.06/537.12 c GARBAGE COLLECT
535.06/537.12 c #Conflicts: 740000 | #Constraints: 18124
535.06/537.12 c #Conflicts: 741000 | #Constraints: 19124
535.06/537.12 c #Conflicts: 742000 | #Constraints: 20124
535.06/537.12 c #Conflicts: 743000 | #Constraints: 21124
535.06/537.12 c #Conflicts: 744000 | #Constraints: 22124
535.06/537.12 c #Conflicts: 745000 | #Constraints: 23124
535.06/537.12 c #Conflicts: 746000 | #Constraints: 24124
535.06/537.12 c #Conflicts: 747000 | #Constraints: 25124
535.06/537.12 c #Conflicts: 748000 | #Constraints: 26124
535.06/537.12 c #Conflicts: 749000 | #Constraints: 27124
535.06/537.12 c #Conflicts: 750000 | #Constraints: 28124
535.06/537.12 c #Conflicts: 751000 | #Constraints: 29124
535.06/537.12 c #Conflicts: 752000 | #Constraints: 30124
535.06/537.12 c #Conflicts: 753000 | #Constraints: 31124
535.06/537.12 c #Conflicts: 754000 | #Constraints: 32124
619.06/621.41 c #Conflicts: 755000 | #Constraints: 33124
619.06/621.41 c #Conflicts: 756000 | #Constraints: 34124
619.06/621.41 c INPROCESSING
619.06/621.41 c GARBAGE COLLECT
619.06/621.41 c #Conflicts: 757000 | #Constraints: 17920
619.06/621.41 c #Conflicts: 758000 | #Constraints: 18920
619.06/621.41 c #Conflicts: 759000 | #Constraints: 19920
619.06/621.41 c #Conflicts: 760000 | #Constraints: 20920
619.06/621.41 c #Conflicts: 761000 | #Constraints: 21920
619.06/621.41 c #Conflicts: 762000 | #Constraints: 22920
619.06/621.41 c #Conflicts: 763000 | #Constraints: 23920
619.06/621.41 c #Conflicts: 764000 | #Constraints: 24920
619.06/621.41 c #Conflicts: 765000 | #Constraints: 25920
619.06/621.41 c #Conflicts: 766000 | #Constraints: 26920
619.06/621.41 c #Conflicts: 767000 | #Constraints: 27920
619.06/621.41 c #Conflicts: 768000 | #Constraints: 28920
619.06/621.41 c #Conflicts: 769000 | #Constraints: 29920
619.06/621.41 c #Conflicts: 770000 | #Constraints: 30920
619.06/621.41 c #Conflicts: 771000 | #Constraints: 31920
619.06/621.41 c #Conflicts: 772000 | #Constraints: 32920
619.06/621.41 c #Conflicts: 773000 | #Constraints: 33920
619.06/621.41 c #Conflicts: 774000 | #Constraints: 34920
619.06/621.41 c INPROCESSING
619.06/621.41 c GARBAGE COLLECT
619.06/621.41 c #Conflicts: 775000 | #Constraints: 18518
619.06/621.41 c #Conflicts: 776000 | #Constraints: 19518
619.06/621.41 c #Conflicts: 777000 | #Constraints: 20518
619.06/621.41 c #Conflicts: 778000 | #Constraints: 21518
619.06/621.41 c #Conflicts: 779000 | #Constraints: 22518
619.06/621.41 c #Conflicts: 780000 | #Constraints: 23518
619.06/621.41 c #Conflicts: 781000 | #Constraints: 24518
619.06/621.41 c #Conflicts: 782000 | #Constraints: 25518
619.06/621.41 c #Conflicts: 783000 | #Constraints: 26518
619.06/621.41 c #Conflicts: 784000 | #Constraints: 27518
619.06/621.41 c #Conflicts: 785000 | #Constraints: 28518
619.06/621.41 c #Conflicts: 786000 | #Constraints: 29518
619.06/621.41 c #Conflicts: 787000 | #Constraints: 30518
619.06/621.41 c #Conflicts: 788000 | #Constraints: 31518
619.06/621.41 c #Conflicts: 789000 | #Constraints: 32518
619.06/621.41 c #Conflicts: 790000 | #Constraints: 33518
619.06/621.41 c #Conflicts: 791000 | #Constraints: 34518
619.06/621.41 c #Conflicts: 792000 | #Constraints: 35518
619.06/621.41 c INPROCESSING
619.06/621.41 c GARBAGE COLLECT
619.06/621.41 c #Conflicts: 793000 | #Constraints: 18919
619.06/621.41 c #Conflicts: 794000 | #Constraints: 19919
619.06/621.41 c #Conflicts: 795000 | #Constraints: 20919
619.06/621.41 c #Conflicts: 796000 | #Constraints: 21919
619.06/621.41 c #Conflicts: 797000 | #Constraints: 22919
619.06/621.41 c #Conflicts: 798000 | #Constraints: 23919
619.06/621.41 c #Conflicts: 799000 | #Constraints: 24919
619.06/621.41 c #Conflicts: 800000 | #Constraints: 25919
619.06/621.41 c #Conflicts: 801000 | #Constraints: 26919
619.06/621.41 c #Conflicts: 802000 | #Constraints: 27919
619.06/621.41 c #Conflicts: 803000 | #Constraints: 28919
619.06/621.41 c #Conflicts: 804000 | #Constraints: 29919
619.06/621.41 c #Conflicts: 805000 | #Constraints: 30919
619.06/621.41 c #Conflicts: 806000 | #Constraints: 31919
619.06/621.41 c #Conflicts: 807000 | #Constraints: 32919
619.06/621.41 c #Conflicts: 808000 | #Constraints: 33919
619.06/621.41 c #Conflicts: 809000 | #Constraints: 34919
619.06/621.41 c #Conflicts: 810000 | #Constraints: 35919
619.06/621.41 c INPROCESSING
619.06/621.41 c GARBAGE COLLECT
619.06/621.41 c #Conflicts: 811000 | #Constraints: 19122
619.06/621.41 c #Conflicts: 812000 | #Constraints: 20122
619.06/621.41 c #Conflicts: 813000 | #Constraints: 21122
619.06/621.41 c #Conflicts: 814000 | #Constraints: 22122
619.06/621.41 c #Conflicts: 815000 | #Constraints: 23122
619.06/621.41 c #Conflicts: 816000 | #Constraints: 24122
619.06/621.41 c #Conflicts: 817000 | #Constraints: 25122
619.06/621.41 c #Conflicts: 818000 | #Constraints: 26122
619.06/621.41 c #Conflicts: 819000 | #Constraints: 27122
619.06/621.41 c #Conflicts: 820000 | #Constraints: 28122
619.06/621.41 c #Conflicts: 821000 | #Constraints: 29122
619.06/621.41 c #Conflicts: 822000 | #Constraints: 30122
619.06/621.41 c #Conflicts: 823000 | #Constraints: 31122
619.06/621.41 c #Conflicts: 824000 | #Constraints: 32122
619.06/621.41 c #Conflicts: 825000 | #Constraints: 33122
619.06/621.41 c #Conflicts: 826000 | #Constraints: 34122
619.06/621.41 c #Conflicts: 827000 | #Constraints: 35122
619.06/621.41 c #Conflicts: 828000 | #Constraints: 36122
619.06/621.41 c INPROCESSING
619.06/621.41 c GARBAGE COLLECT
619.06/621.41 c #Conflicts: 829000 | #Constraints: 19131
619.06/621.41 c #Conflicts: 830000 | #Constraints: 20131
707.25/710.01 c #Conflicts: 831000 | #Constraints: 21131
707.25/710.01 c #Conflicts: 832000 | #Constraints: 22131
707.25/710.01 c #Conflicts: 833000 | #Constraints: 23131
707.25/710.01 c #Conflicts: 834000 | #Constraints: 24131
707.25/710.01 c #Conflicts: 835000 | #Constraints: 25131
707.25/710.01 c #Conflicts: 836000 | #Constraints: 26131
707.25/710.01 c #Conflicts: 837000 | #Constraints: 27131
707.25/710.01 c #Conflicts: 838000 | #Constraints: 28131
707.25/710.01 c #Conflicts: 839000 | #Constraints: 29131
707.25/710.01 c #Conflicts: 840000 | #Constraints: 30131
707.25/710.01 c #Conflicts: 841000 | #Constraints: 31131
707.25/710.01 c #Conflicts: 842000 | #Constraints: 32131
707.25/710.01 c #Conflicts: 843000 | #Constraints: 33131
707.25/710.01 c #Conflicts: 844000 | #Constraints: 34131
707.25/710.01 c #Conflicts: 845000 | #Constraints: 35131
707.25/710.01 c #Conflicts: 846000 | #Constraints: 36131
707.25/710.01 c INPROCESSING
707.25/710.01 c GARBAGE COLLECT
707.25/710.01 c #Conflicts: 847000 | #Constraints: 18928
707.25/710.01 c #Conflicts: 848000 | #Constraints: 19928
707.25/710.01 c #Conflicts: 849000 | #Constraints: 20928
707.25/710.01 c #Conflicts: 850000 | #Constraints: 21928
707.25/710.01 c #Conflicts: 851000 | #Constraints: 22928
707.25/710.01 c #Conflicts: 852000 | #Constraints: 23928
707.25/710.01 c #Conflicts: 853000 | #Constraints: 24928
707.25/710.01 c #Conflicts: 854000 | #Constraints: 25928
707.25/710.01 c #Conflicts: 855000 | #Constraints: 26928
707.25/710.01 c #Conflicts: 856000 | #Constraints: 27928
707.25/710.01 c #Conflicts: 857000 | #Constraints: 28928
707.25/710.01 c #Conflicts: 858000 | #Constraints: 29928
707.25/710.01 c #Conflicts: 859000 | #Constraints: 30928
707.25/710.01 c #Conflicts: 860000 | #Constraints: 31928
707.25/710.01 c #Conflicts: 861000 | #Constraints: 32928
707.25/710.01 c #Conflicts: 862000 | #Constraints: 33928
707.25/710.01 c #Conflicts: 863000 | #Constraints: 34928
707.25/710.01 c #Conflicts: 864000 | #Constraints: 35928
707.25/710.01 c #Conflicts: 865000 | #Constraints: 36928
707.25/710.01 c INPROCESSING
707.25/710.01 c GARBAGE COLLECT
707.25/710.01 c #Conflicts: 866000 | #Constraints: 19519
707.25/710.01 c #Conflicts: 867000 | #Constraints: 20519
707.25/710.01 c #Conflicts: 868000 | #Constraints: 21519
707.25/710.01 c #Conflicts: 869000 | #Constraints: 22519
707.25/710.01 c #Conflicts: 870000 | #Constraints: 23519
707.25/710.01 c #Conflicts: 871000 | #Constraints: 24519
707.25/710.01 c #Conflicts: 872000 | #Constraints: 25519
707.25/710.01 c #Conflicts: 873000 | #Constraints: 26519
707.25/710.01 c #Conflicts: 874000 | #Constraints: 27519
707.25/710.01 c #Conflicts: 875000 | #Constraints: 28519
707.25/710.01 c #Conflicts: 876000 | #Constraints: 29519
707.25/710.01 c #Conflicts: 877000 | #Constraints: 30519
707.25/710.01 c #Conflicts: 878000 | #Constraints: 31519
707.25/710.01 c #Conflicts: 879000 | #Constraints: 32519
707.25/710.01 c #Conflicts: 880000 | #Constraints: 33519
707.25/710.01 c #Conflicts: 881000 | #Constraints: 34519
707.25/710.01 c #Conflicts: 882000 | #Constraints: 35519
707.25/710.01 c #Conflicts: 883000 | #Constraints: 36519
707.25/710.01 c #Conflicts: 884000 | #Constraints: 37519
707.25/710.01 c INPROCESSING
707.25/710.01 c GARBAGE COLLECT
707.25/710.01 c #Conflicts: 885000 | #Constraints: 19923
707.25/710.01 c #Conflicts: 886000 | #Constraints: 20923
707.25/710.01 c #Conflicts: 887000 | #Constraints: 21923
707.25/710.01 c #Conflicts: 888000 | #Constraints: 22923
707.25/710.01 c #Conflicts: 889000 | #Constraints: 23923
707.25/710.01 c #Conflicts: 890000 | #Constraints: 24923
707.25/710.01 c #Conflicts: 891000 | #Constraints: 25923
707.25/710.01 c #Conflicts: 892000 | #Constraints: 26923
707.25/710.01 c #Conflicts: 893000 | #Constraints: 27923
707.25/710.01 c #Conflicts: 894000 | #Constraints: 28923
707.25/710.01 c #Conflicts: 895000 | #Constraints: 29923
707.25/710.01 c #Conflicts: 896000 | #Constraints: 30923
707.25/710.01 c #Conflicts: 897000 | #Constraints: 31923
707.25/710.01 c #Conflicts: 898000 | #Constraints: 32923
707.25/710.01 c #Conflicts: 899000 | #Constraints: 33923
707.25/710.01 c #Conflicts: 900000 | #Constraints: 34923
707.25/710.01 c #Conflicts: 901000 | #Constraints: 35923
707.25/710.01 c #Conflicts: 902000 | #Constraints: 36923
707.25/710.01 c #Conflicts: 903000 | #Constraints: 37923
707.25/710.01 c INPROCESSING
707.25/710.01 c GARBAGE COLLECT
707.25/710.01 c #Conflicts: 904000 | #Constraints: 20115
707.25/710.01 c #Conflicts: 905000 | #Constraints: 21115
707.25/710.01 c #Conflicts: 906000 | #Constraints: 22115
799.84/802.86 c #Conflicts: 907000 | #Constraints: 23115
799.84/802.86 c #Conflicts: 908000 | #Constraints: 24115
799.84/802.86 c #Conflicts: 909000 | #Constraints: 25115
799.84/802.86 c #Conflicts: 910000 | #Constraints: 26115
799.84/802.86 c #Conflicts: 911000 | #Constraints: 27115
799.84/802.86 c #Conflicts: 912000 | #Constraints: 28115
799.84/802.86 c #Conflicts: 913000 | #Constraints: 29115
799.84/802.86 c #Conflicts: 914000 | #Constraints: 30115
799.84/802.86 c #Conflicts: 915000 | #Constraints: 31115
799.84/802.86 c #Conflicts: 916000 | #Constraints: 32115
799.84/802.86 c #Conflicts: 917000 | #Constraints: 33115
799.84/802.86 c #Conflicts: 918000 | #Constraints: 34115
799.84/802.86 c #Conflicts: 919000 | #Constraints: 35115
799.84/802.86 c #Conflicts: 920000 | #Constraints: 36115
799.84/802.86 c #Conflicts: 921000 | #Constraints: 37115
799.84/802.86 c #Conflicts: 922000 | #Constraints: 38115
799.84/802.86 c INPROCESSING
799.84/802.86 c GARBAGE COLLECT
799.84/802.86 c #Conflicts: 923000 | #Constraints: 20119
799.84/802.86 c #Conflicts: 924000 | #Constraints: 21119
799.84/802.86 c #Conflicts: 925000 | #Constraints: 22119
799.84/802.86 c #Conflicts: 926000 | #Constraints: 23119
799.84/802.86 c #Conflicts: 927000 | #Constraints: 24119
799.84/802.86 c #Conflicts: 928000 | #Constraints: 25119
799.84/802.86 c #Conflicts: 929000 | #Constraints: 26119
799.84/802.86 c #Conflicts: 930000 | #Constraints: 27119
799.84/802.86 c #Conflicts: 931000 | #Constraints: 28119
799.84/802.86 c #Conflicts: 932000 | #Constraints: 29119
799.84/802.86 c #Conflicts: 933000 | #Constraints: 30119
799.84/802.86 c #Conflicts: 934000 | #Constraints: 31119
799.84/802.86 c #Conflicts: 935000 | #Constraints: 32119
799.84/802.86 c #Conflicts: 936000 | #Constraints: 33119
799.84/802.86 c #Conflicts: 937000 | #Constraints: 34119
799.84/802.86 c #Conflicts: 938000 | #Constraints: 35119
799.84/802.86 c #Conflicts: 939000 | #Constraints: 36119
799.84/802.86 c #Conflicts: 940000 | #Constraints: 37119
799.84/802.86 c #Conflicts: 941000 | #Constraints: 38119
799.84/802.86 c INPROCESSING
799.84/802.86 c GARBAGE COLLECT
799.84/802.86 c #Conflicts: 942000 | #Constraints: 19927
799.84/802.86 c #Conflicts: 943000 | #Constraints: 20927
799.84/802.86 c #Conflicts: 944000 | #Constraints: 21927
799.84/802.86 c #Conflicts: 945000 | #Constraints: 22927
799.84/802.86 c #Conflicts: 946000 | #Constraints: 23927
799.84/802.86 c #Conflicts: 947000 | #Constraints: 24927
799.84/802.86 c #Conflicts: 948000 | #Constraints: 25927
799.84/802.86 c #Conflicts: 949000 | #Constraints: 26927
799.84/802.86 c #Conflicts: 950000 | #Constraints: 27927
799.84/802.86 c #Conflicts: 951000 | #Constraints: 28927
799.84/802.86 c #Conflicts: 952000 | #Constraints: 29927
799.84/802.86 c #Conflicts: 953000 | #Constraints: 30927
799.84/802.86 c #Conflicts: 954000 | #Constraints: 31927
799.84/802.86 c #Conflicts: 955000 | #Constraints: 32927
799.84/802.86 c #Conflicts: 956000 | #Constraints: 33927
799.84/802.86 c #Conflicts: 957000 | #Constraints: 34927
799.84/802.86 c #Conflicts: 958000 | #Constraints: 35927
799.84/802.86 c #Conflicts: 959000 | #Constraints: 36927
799.84/802.86 c #Conflicts: 960000 | #Constraints: 37927
799.84/802.86 c #Conflicts: 961000 | #Constraints: 38927
799.84/802.86 c INPROCESSING
799.84/802.86 c GARBAGE COLLECT
799.84/802.86 c #Conflicts: 962000 | #Constraints: 20523
799.84/802.86 c #Conflicts: 963000 | #Constraints: 21523
799.84/802.86 c #Conflicts: 964000 | #Constraints: 22523
799.84/802.86 c #Conflicts: 965000 | #Constraints: 23523
799.84/802.86 c #Conflicts: 966000 | #Constraints: 24523
799.84/802.86 c #Conflicts: 967000 | #Constraints: 25523
799.84/802.86 c #Conflicts: 968000 | #Constraints: 26523
799.84/802.86 c #Conflicts: 969000 | #Constraints: 27523
799.84/802.86 c #Conflicts: 970000 | #Constraints: 28523
799.84/802.86 c #Conflicts: 971000 | #Constraints: 29523
799.84/802.86 c #Conflicts: 972000 | #Constraints: 30523
799.84/802.86 c #Conflicts: 973000 | #Constraints: 31523
799.84/802.86 c #Conflicts: 974000 | #Constraints: 32523
799.84/802.86 c #Conflicts: 975000 | #Constraints: 33523
799.84/802.86 c #Conflicts: 976000 | #Constraints: 34523
799.84/802.86 c #Conflicts: 977000 | #Constraints: 35523
799.84/802.86 c #Conflicts: 978000 | #Constraints: 36523
799.84/802.86 c #Conflicts: 979000 | #Constraints: 37523
799.84/802.86 c #Conflicts: 980000 | #Constraints: 38523
799.84/802.86 c #Conflicts: 981000 | #Constraints: 39523
799.84/802.86 c INPROCESSING
799.84/802.86 c GARBAGE COLLECT
799.84/802.86 c #Conflicts: 982000 | #Constraints: 20924
799.84/802.86 c #Conflicts: 983000 | #Constraints: 21924
900.11/903.48 c #Conflicts: 984000 | #Constraints: 22924
900.11/903.48 c #Conflicts: 985000 | #Constraints: 23924
900.11/903.48 c #Conflicts: 986000 | #Constraints: 24924
900.11/903.48 c #Conflicts: 987000 | #Constraints: 25924
900.11/903.48 c #Conflicts: 988000 | #Constraints: 26924
900.11/903.48 c #Conflicts: 989000 | #Constraints: 27924
900.11/903.48 c #Conflicts: 990000 | #Constraints: 28924
900.11/903.48 c #Conflicts: 991000 | #Constraints: 29924
900.11/903.48 c #Conflicts: 992000 | #Constraints: 30924
900.11/903.48 c #Conflicts: 993000 | #Constraints: 31924
900.11/903.48 c #Conflicts: 994000 | #Constraints: 32924
900.11/903.48 c #Conflicts: 995000 | #Constraints: 33924
900.11/903.48 c #Conflicts: 996000 | #Constraints: 34924
900.11/903.48 c #Conflicts: 997000 | #Constraints: 35924
900.11/903.48 c #Conflicts: 998000 | #Constraints: 36924
900.11/903.48 c #Conflicts: 999000 | #Constraints: 37924
900.11/903.48 c #Conflicts: 1000000 | #Constraints: 38924
900.11/903.48 c #Conflicts: 1001000 | #Constraints: 39924
900.11/903.48 c INPROCESSING
900.11/903.48 c GARBAGE COLLECT
900.11/903.48 c #Conflicts: 1002000 | #Constraints: 21121
900.11/903.48 c #Conflicts: 1003000 | #Constraints: 22121
900.11/903.48 c #Conflicts: 1004000 | #Constraints: 23121
900.11/903.48 c #Conflicts: 1005000 | #Constraints: 24121
900.11/903.48 c #Conflicts: 1006000 | #Constraints: 25121
900.11/903.48 c #Conflicts: 1007000 | #Constraints: 26121
900.11/903.48 c #Conflicts: 1008000 | #Constraints: 27121
900.11/903.48 c #Conflicts: 1009000 | #Constraints: 28121
900.11/903.48 c #Conflicts: 1010000 | #Constraints: 29121
900.11/903.48 c #Conflicts: 1011000 | #Constraints: 30121
900.11/903.48 c #Conflicts: 1012000 | #Constraints: 31121
900.11/903.48 c #Conflicts: 1013000 | #Constraints: 32121
900.11/903.48 c #Conflicts: 1014000 | #Constraints: 33121
900.11/903.48 c #Conflicts: 1015000 | #Constraints: 34121
900.11/903.48 c #Conflicts: 1016000 | #Constraints: 35121
900.11/903.48 c #Conflicts: 1017000 | #Constraints: 36121
900.11/903.48 c #Conflicts: 1018000 | #Constraints: 37121
900.11/903.48 c #Conflicts: 1019000 | #Constraints: 38121
900.11/903.48 c #Conflicts: 1020000 | #Constraints: 39121
900.11/903.48 c #Conflicts: 1021000 | #Constraints: 40121
900.11/903.48 c INPROCESSING
900.11/903.48 c GARBAGE COLLECT
900.11/903.48 c #Conflicts: 1022000 | #Constraints: 21122
900.11/903.48 c #Conflicts: 1023000 | #Constraints: 22122
900.11/903.48 c #Conflicts: 1024000 | #Constraints: 23122
900.11/903.48 c #Conflicts: 1025000 | #Constraints: 24122
900.11/903.48 c #Conflicts: 1026000 | #Constraints: 25122
900.11/903.48 c #Conflicts: 1027000 | #Constraints: 26122
900.11/903.48 c #Conflicts: 1028000 | #Constraints: 27122
900.11/903.48 c #Conflicts: 1029000 | #Constraints: 28122
900.11/903.48 c #Conflicts: 1030000 | #Constraints: 29122
900.11/903.48 c #Conflicts: 1031000 | #Constraints: 30122
900.11/903.48 c #Conflicts: 1032000 | #Constraints: 31122
900.11/903.48 c #Conflicts: 1033000 | #Constraints: 32122
900.11/903.48 c #Conflicts: 1034000 | #Constraints: 33122
900.11/903.48 c #Conflicts: 1035000 | #Constraints: 34122
900.11/903.48 c #Conflicts: 1036000 | #Constraints: 35122
900.11/903.48 c #Conflicts: 1037000 | #Constraints: 36122
900.11/903.48 c #Conflicts: 1038000 | #Constraints: 37122
900.11/903.48 c #Conflicts: 1039000 | #Constraints: 38122
900.11/903.48 c #Conflicts: 1040000 | #Constraints: 39122
900.11/903.48 c #Conflicts: 1041000 | #Constraints: 40122
900.11/903.48 c INPROCESSING
900.11/903.48 c GARBAGE COLLECT
900.11/903.48 c #Conflicts: 1042000 | #Constraints: 20923
900.11/903.48 c #Conflicts: 1043000 | #Constraints: 21923
900.11/903.48 c #Conflicts: 1044000 | #Constraints: 22923
900.11/903.48 c #Conflicts: 1045000 | #Constraints: 23923
900.11/903.48 c #Conflicts: 1046000 | #Constraints: 24923
900.11/903.48 c #Conflicts: 1047000 | #Constraints: 25923
900.11/903.48 c #Conflicts: 1048000 | #Constraints: 26923
900.11/903.48 c #Conflicts: 1049000 | #Constraints: 27923
900.11/903.48 c #Conflicts: 1050000 | #Constraints: 28923
900.11/903.48 c #Conflicts: 1051000 | #Constraints: 29923
900.11/903.48 c #Conflicts: 1052000 | #Constraints: 30923
900.11/903.48 c #Conflicts: 1053000 | #Constraints: 31923
900.11/903.48 c #Conflicts: 1054000 | #Constraints: 32923
900.11/903.48 c #Conflicts: 1055000 | #Constraints: 33923
900.11/903.48 c #Conflicts: 1056000 | #Constraints: 34923
900.11/903.48 c #Conflicts: 1057000 | #Constraints: 35923
900.11/903.48 c #Conflicts: 1058000 | #Constraints: 36923
900.11/903.48 c #Conflicts: 1059000 | #Constraints: 37923
1004.43/1008.14 c #Conflicts: 1060000 | #Constraints: 38923
1004.43/1008.14 c #Conflicts: 1061000 | #Constraints: 39923
1004.43/1008.14 c #Conflicts: 1062000 | #Constraints: 40923
1004.43/1008.14 c INPROCESSING
1004.43/1008.14 c GARBAGE COLLECT
1004.43/1008.14 c #Conflicts: 1063000 | #Constraints: 21518
1004.43/1008.14 c #Conflicts: 1064000 | #Constraints: 22518
1004.43/1008.14 c #Conflicts: 1065000 | #Constraints: 23518
1004.43/1008.14 c #Conflicts: 1066000 | #Constraints: 24518
1004.43/1008.14 c #Conflicts: 1067000 | #Constraints: 25518
1004.43/1008.14 c #Conflicts: 1068000 | #Constraints: 26518
1004.43/1008.14 c #Conflicts: 1069000 | #Constraints: 27518
1004.43/1008.14 c #Conflicts: 1070000 | #Constraints: 28518
1004.43/1008.14 c #Conflicts: 1071000 | #Constraints: 29518
1004.43/1008.14 c #Conflicts: 1072000 | #Constraints: 30518
1004.43/1008.14 c #Conflicts: 1073000 | #Constraints: 31518
1004.43/1008.14 c #Conflicts: 1074000 | #Constraints: 32518
1004.43/1008.14 c #Conflicts: 1075000 | #Constraints: 33518
1004.43/1008.14 c #Conflicts: 1076000 | #Constraints: 34518
1004.43/1008.14 c #Conflicts: 1077000 | #Constraints: 35518
1004.43/1008.14 c #Conflicts: 1078000 | #Constraints: 36518
1004.43/1008.14 c #Conflicts: 1079000 | #Constraints: 37518
1004.43/1008.14 c #Conflicts: 1080000 | #Constraints: 38518
1004.43/1008.14 c #Conflicts: 1081000 | #Constraints: 39518
1004.43/1008.14 c #Conflicts: 1082000 | #Constraints: 40518
1004.43/1008.14 c #Conflicts: 1083000 | #Constraints: 41518
1004.43/1008.14 c INPROCESSING
1004.43/1008.14 c GARBAGE COLLECT
1004.43/1008.14 c #Conflicts: 1084000 | #Constraints: 21921
1004.43/1008.14 c #Conflicts: 1085000 | #Constraints: 22921
1004.43/1008.14 c #Conflicts: 1086000 | #Constraints: 23921
1004.43/1008.14 c #Conflicts: 1087000 | #Constraints: 24921
1004.43/1008.14 c #Conflicts: 1088000 | #Constraints: 25921
1004.43/1008.14 c #Conflicts: 1089000 | #Constraints: 26921
1004.43/1008.14 c #Conflicts: 1090000 | #Constraints: 27921
1004.43/1008.14 c #Conflicts: 1091000 | #Constraints: 28921
1004.43/1008.14 c #Conflicts: 1092000 | #Constraints: 29921
1004.43/1008.14 c #Conflicts: 1093000 | #Constraints: 30921
1004.43/1008.14 c #Conflicts: 1094000 | #Constraints: 31921
1004.43/1008.14 c #Conflicts: 1095000 | #Constraints: 32921
1004.43/1008.14 c #Conflicts: 1096000 | #Constraints: 33921
1004.43/1008.14 c #Conflicts: 1097000 | #Constraints: 34921
1004.43/1008.14 c #Conflicts: 1098000 | #Constraints: 35921
1004.43/1008.14 c #Conflicts: 1099000 | #Constraints: 36921
1004.43/1008.14 c #Conflicts: 1100000 | #Constraints: 37921
1004.43/1008.14 c #Conflicts: 1101000 | #Constraints: 38921
1004.43/1008.14 c #Conflicts: 1102000 | #Constraints: 39921
1004.43/1008.14 c #Conflicts: 1103000 | #Constraints: 40921
1004.43/1008.14 c #Conflicts: 1104000 | #Constraints: 41921
1004.43/1008.14 c INPROCESSING
1004.43/1008.14 c GARBAGE COLLECT
1004.43/1008.14 c #Conflicts: 1105000 | #Constraints: 22121
1004.43/1008.14 c #Conflicts: 1106000 | #Constraints: 23121
1004.43/1008.14 c #Conflicts: 1107000 | #Constraints: 24121
1004.43/1008.14 c #Conflicts: 1108000 | #Constraints: 25121
1004.43/1008.14 c #Conflicts: 1109000 | #Constraints: 26121
1004.43/1008.14 c #Conflicts: 1110000 | #Constraints: 27121
1004.43/1008.14 c #Conflicts: 1111000 | #Constraints: 28121
1004.43/1008.14 c #Conflicts: 1112000 | #Constraints: 29121
1004.43/1008.14 c #Conflicts: 1113000 | #Constraints: 30121
1004.43/1008.14 c #Conflicts: 1114000 | #Constraints: 31121
1004.43/1008.14 c #Conflicts: 1115000 | #Constraints: 32121
1004.43/1008.14 c #Conflicts: 1116000 | #Constraints: 33121
1004.43/1008.14 c #Conflicts: 1117000 | #Constraints: 34121
1004.43/1008.14 c #Conflicts: 1118000 | #Constraints: 35121
1004.43/1008.14 c #Conflicts: 1119000 | #Constraints: 36121
1004.43/1008.14 c #Conflicts: 1120000 | #Constraints: 37121
1004.43/1008.14 c #Conflicts: 1121000 | #Constraints: 38121
1004.43/1008.14 c #Conflicts: 1122000 | #Constraints: 39121
1004.43/1008.14 c #Conflicts: 1123000 | #Constraints: 40121
1004.43/1008.14 c #Conflicts: 1124000 | #Constraints: 41121
1004.43/1008.14 c #Conflicts: 1125000 | #Constraints: 42121
1004.43/1008.14 c INPROCESSING
1004.43/1008.14 c GARBAGE COLLECT
1004.43/1008.14 c #Conflicts: 1126000 | #Constraints: 22121
1004.43/1008.14 c #Conflicts: 1127000 | #Constraints: 23121
1004.43/1008.14 c #Conflicts: 1128000 | #Constraints: 24121
1004.43/1008.14 c #Conflicts: 1129000 | #Constraints: 25121
1004.43/1008.14 c #Conflicts: 1130000 | #Constraints: 26121
1004.43/1008.14 c #Conflicts: 1131000 | #Constraints: 27121
1004.43/1008.14 c #Conflicts: 1132000 | #Constraints: 28121
1004.43/1008.14 c #Conflicts: 1133000 | #Constraints: 29121
1004.43/1008.14 c #Conflicts: 1134000 | #Constraints: 30121
1004.43/1008.14 c #Conflicts: 1135000 | #Constraints: 31121
1004.43/1008.14 c #Conflicts: 1136000 | #Constraints: 32121
1120.07/1124.15 c #Conflicts: 1137000 | #Constraints: 33121
1120.07/1124.15 c #Conflicts: 1138000 | #Constraints: 34121
1120.07/1124.15 c #Conflicts: 1139000 | #Constraints: 35121
1120.07/1124.15 c #Conflicts: 1140000 | #Constraints: 36121
1120.07/1124.15 c #Conflicts: 1141000 | #Constraints: 37121
1120.07/1124.15 c #Conflicts: 1142000 | #Constraints: 38121
1120.07/1124.15 c #Conflicts: 1143000 | #Constraints: 39121
1120.07/1124.15 c #Conflicts: 1144000 | #Constraints: 40121
1120.07/1124.15 c #Conflicts: 1145000 | #Constraints: 41121
1120.07/1124.15 c #Conflicts: 1146000 | #Constraints: 42121
1120.07/1124.15 c INPROCESSING
1120.07/1124.15 c GARBAGE COLLECT
1120.07/1124.15 c #Conflicts: 1147000 | #Constraints: 21921
1120.07/1124.15 c #Conflicts: 1148000 | #Constraints: 22921
1120.07/1124.15 c #Conflicts: 1149000 | #Constraints: 23921
1120.07/1124.15 c #Conflicts: 1150000 | #Constraints: 24921
1120.07/1124.15 c #Conflicts: 1151000 | #Constraints: 25921
1120.07/1124.15 c #Conflicts: 1152000 | #Constraints: 26921
1120.07/1124.15 c #Conflicts: 1153000 | #Constraints: 27921
1120.07/1124.15 c #Conflicts: 1154000 | #Constraints: 28921
1120.07/1124.15 c #Conflicts: 1155000 | #Constraints: 29921
1120.07/1124.15 c #Conflicts: 1156000 | #Constraints: 30921
1120.07/1124.15 c #Conflicts: 1157000 | #Constraints: 31921
1120.07/1124.15 c #Conflicts: 1158000 | #Constraints: 32921
1120.07/1124.15 c #Conflicts: 1159000 | #Constraints: 33921
1120.07/1124.15 c #Conflicts: 1160000 | #Constraints: 34921
1120.07/1124.15 c #Conflicts: 1161000 | #Constraints: 35921
1120.07/1124.15 c #Conflicts: 1162000 | #Constraints: 36921
1120.07/1124.15 c #Conflicts: 1163000 | #Constraints: 37921
1120.07/1124.15 c #Conflicts: 1164000 | #Constraints: 38921
1120.07/1124.15 c #Conflicts: 1165000 | #Constraints: 39921
1120.07/1124.15 c #Conflicts: 1166000 | #Constraints: 40921
1120.07/1124.15 c #Conflicts: 1167000 | #Constraints: 41921
1120.07/1124.15 c #Conflicts: 1168000 | #Constraints: 42921
1120.07/1124.15 c INPROCESSING
1120.07/1124.15 c GARBAGE COLLECT
1120.07/1124.15 c #Conflicts: 1169000 | #Constraints: 22523
1120.07/1124.15 c #Conflicts: 1170000 | #Constraints: 23523
1120.07/1124.15 c #Conflicts: 1171000 | #Constraints: 24523
1120.07/1124.15 c #Conflicts: 1172000 | #Constraints: 25523
1120.07/1124.15 c #Conflicts: 1173000 | #Constraints: 26523
1120.07/1124.15 c #Conflicts: 1174000 | #Constraints: 27523
1120.07/1124.15 c #Conflicts: 1175000 | #Constraints: 28523
1120.07/1124.15 c #Conflicts: 1176000 | #Constraints: 29523
1120.07/1124.15 c #Conflicts: 1177000 | #Constraints: 30523
1120.07/1124.15 c #Conflicts: 1178000 | #Constraints: 31523
1120.07/1124.15 c #Conflicts: 1179000 | #Constraints: 32523
1120.07/1124.15 c #Conflicts: 1180000 | #Constraints: 33523
1120.07/1124.15 c #Conflicts: 1181000 | #Constraints: 34523
1120.07/1124.15 c #Conflicts: 1182000 | #Constraints: 35523
1120.07/1124.15 c #Conflicts: 1183000 | #Constraints: 36523
1120.07/1124.15 c #Conflicts: 1184000 | #Constraints: 37523
1120.07/1124.15 c #Conflicts: 1185000 | #Constraints: 38523
1120.07/1124.15 c #Conflicts: 1186000 | #Constraints: 39523
1120.07/1124.15 c #Conflicts: 1187000 | #Constraints: 40523
1120.07/1124.15 c #Conflicts: 1188000 | #Constraints: 41523
1120.07/1124.15 c #Conflicts: 1189000 | #Constraints: 42523
1120.07/1124.15 c #Conflicts: 1190000 | #Constraints: 43523
1120.07/1124.15 c INPROCESSING
1120.07/1124.15 c GARBAGE COLLECT
1120.07/1124.15 c #Conflicts: 1191000 | #Constraints: 22917
1120.07/1124.15 c #Conflicts: 1192000 | #Constraints: 23917
1120.07/1124.15 c #Conflicts: 1193000 | #Constraints: 24917
1120.07/1124.15 c #Conflicts: 1194000 | #Constraints: 25917
1120.07/1124.15 c #Conflicts: 1195000 | #Constraints: 26917
1120.07/1124.15 c #Conflicts: 1196000 | #Constraints: 27917
1120.07/1124.15 c #Conflicts: 1197000 | #Constraints: 28917
1120.07/1124.15 c #Conflicts: 1198000 | #Constraints: 29917
1120.07/1124.15 c #Conflicts: 1199000 | #Constraints: 30917
1120.07/1124.15 c #Conflicts: 1200000 | #Constraints: 31917
1120.07/1124.15 c #Conflicts: 1201000 | #Constraints: 32917
1120.07/1124.15 c #Conflicts: 1202000 | #Constraints: 33917
1120.07/1124.15 c #Conflicts: 1203000 | #Constraints: 34917
1120.07/1124.15 c #Conflicts: 1204000 | #Constraints: 35917
1120.07/1124.15 c #Conflicts: 1205000 | #Constraints: 36917
1120.07/1124.15 c #Conflicts: 1206000 | #Constraints: 37917
1120.07/1124.15 c #Conflicts: 1207000 | #Constraints: 38917
1120.07/1124.15 c #Conflicts: 1208000 | #Constraints: 39917
1120.07/1124.15 c #Conflicts: 1209000 | #Constraints: 40917
1120.07/1124.15 c #Conflicts: 1210000 | #Constraints: 41917
1120.07/1124.15 c #Conflicts: 1211000 | #Constraints: 42917
1120.07/1124.15 c #Conflicts: 1212000 | #Constraints: 43917
1120.07/1124.15 c INPROCESSING
1234.09/1238.52 c GARBAGE COLLECT
1234.09/1238.52 c #Conflicts: 1213000 | #Constraints: 23117
1234.09/1238.52 c #Conflicts: 1214000 | #Constraints: 24117
1234.09/1238.52 c #Conflicts: 1215000 | #Constraints: 25117
1234.09/1238.52 c #Conflicts: 1216000 | #Constraints: 26117
1234.09/1238.52 c #Conflicts: 1217000 | #Constraints: 27117
1234.09/1238.52 c #Conflicts: 1218000 | #Constraints: 28117
1234.09/1238.52 c #Conflicts: 1219000 | #Constraints: 29117
1234.09/1238.52 c #Conflicts: 1220000 | #Constraints: 30117
1234.09/1238.52 c #Conflicts: 1221000 | #Constraints: 31117
1234.09/1238.52 c #Conflicts: 1222000 | #Constraints: 32117
1234.09/1238.52 c #Conflicts: 1223000 | #Constraints: 33117
1234.09/1238.52 c #Conflicts: 1224000 | #Constraints: 34117
1234.09/1238.52 c #Conflicts: 1225000 | #Constraints: 35117
1234.09/1238.52 c #Conflicts: 1226000 | #Constraints: 36117
1234.09/1238.52 c #Conflicts: 1227000 | #Constraints: 37117
1234.09/1238.52 c #Conflicts: 1228000 | #Constraints: 38117
1234.09/1238.52 c #Conflicts: 1229000 | #Constraints: 39117
1234.09/1238.52 c #Conflicts: 1230000 | #Constraints: 40117
1234.09/1238.52 c #Conflicts: 1231000 | #Constraints: 41117
1234.09/1238.52 c #Conflicts: 1232000 | #Constraints: 42117
1234.09/1238.52 c #Conflicts: 1233000 | #Constraints: 43117
1234.09/1238.52 c #Conflicts: 1234000 | #Constraints: 44117
1234.09/1238.52 c INPROCESSING
1234.09/1238.52 c GARBAGE COLLECT
1234.09/1238.52 c #Conflicts: 1235000 | #Constraints: 23118
1234.09/1238.52 c #Conflicts: 1236000 | #Constraints: 24118
1234.09/1238.52 c #Conflicts: 1237000 | #Constraints: 25118
1234.09/1238.52 c #Conflicts: 1238000 | #Constraints: 26118
1234.09/1238.52 c #Conflicts: 1239000 | #Constraints: 27118
1234.09/1238.52 c #Conflicts: 1240000 | #Constraints: 28118
1234.09/1238.52 c #Conflicts: 1241000 | #Constraints: 29118
1234.09/1238.52 c #Conflicts: 1242000 | #Constraints: 30118
1234.09/1238.52 c #Conflicts: 1243000 | #Constraints: 31118
1234.09/1238.52 c #Conflicts: 1244000 | #Constraints: 32118
1234.09/1238.52 c #Conflicts: 1245000 | #Constraints: 33118
1234.09/1238.52 c #Conflicts: 1246000 | #Constraints: 34118
1234.09/1238.52 c #Conflicts: 1247000 | #Constraints: 35118
1234.09/1238.52 c #Conflicts: 1248000 | #Constraints: 36118
1234.09/1238.52 c #Conflicts: 1249000 | #Constraints: 37118
1234.09/1238.52 c #Conflicts: 1250000 | #Constraints: 38118
1234.09/1238.52 c #Conflicts: 1251000 | #Constraints: 39118
1234.09/1238.52 c #Conflicts: 1252000 | #Constraints: 40118
1234.09/1238.52 c #Conflicts: 1253000 | #Constraints: 41118
1234.09/1238.52 c #Conflicts: 1254000 | #Constraints: 42118
1234.09/1238.52 c #Conflicts: 1255000 | #Constraints: 43118
1234.09/1238.52 c #Conflicts: 1256000 | #Constraints: 44118
1234.09/1238.52 c INPROCESSING
1234.09/1238.52 c GARBAGE COLLECT
1234.09/1238.52 c #Conflicts: 1257000 | #Constraints: 22914
1234.09/1238.52 c #Conflicts: 1258000 | #Constraints: 23914
1234.09/1238.52 c #Conflicts: 1259000 | #Constraints: 24914
1234.09/1238.52 c #Conflicts: 1260000 | #Constraints: 25914
1234.09/1238.52 c #Conflicts: 1261000 | #Constraints: 26914
1234.09/1238.52 c #Conflicts: 1262000 | #Constraints: 27914
1234.09/1238.52 c #Conflicts: 1263000 | #Constraints: 28914
1234.09/1238.52 c #Conflicts: 1264000 | #Constraints: 29914
1234.09/1238.52 c #Conflicts: 1265000 | #Constraints: 30914
1234.09/1238.52 c #Conflicts: 1266000 | #Constraints: 31914
1234.09/1238.52 c #Conflicts: 1267000 | #Constraints: 32914
1234.09/1238.52 c #Conflicts: 1268000 | #Constraints: 33914
1234.09/1238.52 c #Conflicts: 1269000 | #Constraints: 34914
1234.09/1238.52 c #Conflicts: 1270000 | #Constraints: 35914
1234.09/1238.52 c #Conflicts: 1271000 | #Constraints: 36914
1234.09/1238.52 c #Conflicts: 1272000 | #Constraints: 37914
1234.09/1238.52 c #Conflicts: 1273000 | #Constraints: 38914
1234.09/1238.52 c #Conflicts: 1274000 | #Constraints: 39914
1234.09/1238.52 c #Conflicts: 1275000 | #Constraints: 40914
1234.09/1238.52 c #Conflicts: 1276000 | #Constraints: 41914
1234.09/1238.52 c #Conflicts: 1277000 | #Constraints: 42914
1234.09/1238.52 c #Conflicts: 1278000 | #Constraints: 43914
1234.09/1238.52 c #Conflicts: 1279000 | #Constraints: 44914
1234.09/1238.52 c INPROCESSING
1234.09/1238.52 c GARBAGE COLLECT
1234.09/1238.52 c #Conflicts: 1280000 | #Constraints: 23525
1234.09/1238.52 c #Conflicts: 1281000 | #Constraints: 24525
1234.09/1238.52 c #Conflicts: 1282000 | #Constraints: 25525
1234.09/1238.52 c #Conflicts: 1283000 | #Constraints: 26525
1234.09/1238.52 c #Conflicts: 1284000 | #Constraints: 27525
1234.09/1238.52 c #Conflicts: 1285000 | #Constraints: 28525
1234.09/1238.52 c #Conflicts: 1286000 | #Constraints: 29525
1234.09/1238.52 c #Conflicts: 1287000 | #Constraints: 30525
1234.09/1238.52 c #Conflicts: 1288000 | #Constraints: 31525
1234.09/1238.52 c #Conflicts: 1289000 | #Constraints: 32525
1355.72/1360.51 c #Conflicts: 1290000 | #Constraints: 33525
1355.72/1360.51 c #Conflicts: 1291000 | #Constraints: 34525
1355.72/1360.51 c #Conflicts: 1292000 | #Constraints: 35525
1355.72/1360.51 c #Conflicts: 1293000 | #Constraints: 36525
1355.72/1360.51 c #Conflicts: 1294000 | #Constraints: 37525
1355.72/1360.51 c #Conflicts: 1295000 | #Constraints: 38525
1355.72/1360.51 c #Conflicts: 1296000 | #Constraints: 39525
1355.72/1360.51 c #Conflicts: 1297000 | #Constraints: 40525
1355.72/1360.51 c #Conflicts: 1298000 | #Constraints: 41525
1355.72/1360.51 c #Conflicts: 1299000 | #Constraints: 42525
1355.72/1360.51 c #Conflicts: 1300000 | #Constraints: 43525
1355.72/1360.51 c #Conflicts: 1301000 | #Constraints: 44525
1355.72/1360.51 c #Conflicts: 1302000 | #Constraints: 45525
1355.72/1360.51 c INPROCESSING
1355.72/1360.51 c GARBAGE COLLECT
1355.72/1360.51 c #Conflicts: 1303000 | #Constraints: 23920
1355.72/1360.51 c #Conflicts: 1304000 | #Constraints: 24920
1355.72/1360.51 c #Conflicts: 1305000 | #Constraints: 25920
1355.72/1360.51 c #Conflicts: 1306000 | #Constraints: 26920
1355.72/1360.51 c #Conflicts: 1307000 | #Constraints: 27920
1355.72/1360.51 c #Conflicts: 1308000 | #Constraints: 28920
1355.72/1360.51 c #Conflicts: 1309000 | #Constraints: 29920
1355.72/1360.51 c #Conflicts: 1310000 | #Constraints: 30920
1355.72/1360.51 c #Conflicts: 1311000 | #Constraints: 31920
1355.72/1360.51 c #Conflicts: 1312000 | #Constraints: 32920
1355.72/1360.51 c #Conflicts: 1313000 | #Constraints: 33920
1355.72/1360.51 c #Conflicts: 1314000 | #Constraints: 34920
1355.72/1360.51 c #Conflicts: 1315000 | #Constraints: 35920
1355.72/1360.51 c #Conflicts: 1316000 | #Constraints: 36920
1355.72/1360.51 c #Conflicts: 1317000 | #Constraints: 37920
1355.72/1360.51 c #Conflicts: 1318000 | #Constraints: 38920
1355.72/1360.51 c #Conflicts: 1319000 | #Constraints: 39920
1355.72/1360.51 c #Conflicts: 1320000 | #Constraints: 40920
1355.72/1360.51 c #Conflicts: 1321000 | #Constraints: 41920
1355.72/1360.51 c #Conflicts: 1322000 | #Constraints: 42920
1355.72/1360.51 c #Conflicts: 1323000 | #Constraints: 43920
1355.72/1360.51 c #Conflicts: 1324000 | #Constraints: 44920
1355.72/1360.51 c #Conflicts: 1325000 | #Constraints: 45920
1355.72/1360.51 c INPROCESSING
1355.72/1360.51 c GARBAGE COLLECT
1355.72/1360.51 c #Conflicts: 1326000 | #Constraints: 24118
1355.72/1360.51 c #Conflicts: 1327000 | #Constraints: 25118
1355.72/1360.51 c #Conflicts: 1328000 | #Constraints: 26118
1355.72/1360.51 c #Conflicts: 1329000 | #Constraints: 27118
1355.72/1360.51 c #Conflicts: 1330000 | #Constraints: 28118
1355.72/1360.51 c #Conflicts: 1331000 | #Constraints: 29118
1355.72/1360.51 c #Conflicts: 1332000 | #Constraints: 30118
1355.72/1360.51 c #Conflicts: 1333000 | #Constraints: 31118
1355.72/1360.51 c #Conflicts: 1334000 | #Constraints: 32118
1355.72/1360.51 c #Conflicts: 1335000 | #Constraints: 33118
1355.72/1360.51 c #Conflicts: 1336000 | #Constraints: 34118
1355.72/1360.51 c #Conflicts: 1337000 | #Constraints: 35118
1355.72/1360.51 c #Conflicts: 1338000 | #Constraints: 36118
1355.72/1360.51 c #Conflicts: 1339000 | #Constraints: 37118
1355.72/1360.51 c #Conflicts: 1340000 | #Constraints: 38118
1355.72/1360.51 c #Conflicts: 1341000 | #Constraints: 39118
1355.72/1360.51 c #Conflicts: 1342000 | #Constraints: 40118
1355.72/1360.51 c #Conflicts: 1343000 | #Constraints: 41118
1355.72/1360.51 c #Conflicts: 1344000 | #Constraints: 42118
1355.72/1360.51 c #Conflicts: 1345000 | #Constraints: 43118
1355.72/1360.51 c #Conflicts: 1346000 | #Constraints: 44118
1355.72/1360.51 c #Conflicts: 1347000 | #Constraints: 45118
1355.72/1360.51 c #Conflicts: 1348000 | #Constraints: 46118
1355.72/1360.51 c INPROCESSING
1355.72/1360.51 c GARBAGE COLLECT
1355.72/1360.51 c #Conflicts: 1349000 | #Constraints: 24124
1355.72/1360.51 c #Conflicts: 1350000 | #Constraints: 25124
1355.72/1360.51 c #Conflicts: 1351000 | #Constraints: 26124
1355.72/1360.51 c #Conflicts: 1352000 | #Constraints: 27124
1355.72/1360.51 c #Conflicts: 1353000 | #Constraints: 28124
1355.72/1360.51 c #Conflicts: 1354000 | #Constraints: 29124
1355.72/1360.51 c #Conflicts: 1355000 | #Constraints: 30124
1355.72/1360.51 c #Conflicts: 1356000 | #Constraints: 31124
1355.72/1360.51 c #Conflicts: 1357000 | #Constraints: 32124
1355.72/1360.51 c #Conflicts: 1358000 | #Constraints: 33124
1355.72/1360.51 c #Conflicts: 1359000 | #Constraints: 34124
1355.72/1360.51 c #Conflicts: 1360000 | #Constraints: 35124
1355.72/1360.51 c #Conflicts: 1361000 | #Constraints: 36124
1355.72/1360.51 c #Conflicts: 1362000 | #Constraints: 37124
1355.72/1360.51 c #Conflicts: 1363000 | #Constraints: 38124
1355.72/1360.51 c #Conflicts: 1364000 | #Constraints: 39124
1355.72/1360.51 c #Conflicts: 1365000 | #Constraints: 40124
1355.72/1360.51 c #Conflicts: 1366000 | #Constraints: 41124
1484.02/1489.29 c #Conflicts: 1367000 | #Constraints: 42124
1484.02/1489.29 c #Conflicts: 1368000 | #Constraints: 43124
1484.02/1489.29 c #Conflicts: 1369000 | #Constraints: 44124
1484.02/1489.29 c #Conflicts: 1370000 | #Constraints: 45124
1484.02/1489.29 c #Conflicts: 1371000 | #Constraints: 46124
1484.02/1489.29 c INPROCESSING
1484.02/1489.29 c GARBAGE COLLECT
1484.02/1489.29 c #Conflicts: 1372000 | #Constraints: 23922
1484.02/1489.29 c #Conflicts: 1373000 | #Constraints: 24922
1484.02/1489.29 c #Conflicts: 1374000 | #Constraints: 25922
1484.02/1489.29 c #Conflicts: 1375000 | #Constraints: 26922
1484.02/1489.29 c #Conflicts: 1376000 | #Constraints: 27922
1484.02/1489.29 c #Conflicts: 1377000 | #Constraints: 28922
1484.02/1489.29 c #Conflicts: 1378000 | #Constraints: 29922
1484.02/1489.29 c #Conflicts: 1379000 | #Constraints: 30922
1484.02/1489.29 c #Conflicts: 1380000 | #Constraints: 31922
1484.02/1489.29 c #Conflicts: 1381000 | #Constraints: 32922
1484.02/1489.29 c #Conflicts: 1382000 | #Constraints: 33922
1484.02/1489.29 c #Conflicts: 1383000 | #Constraints: 34922
1484.02/1489.29 c #Conflicts: 1384000 | #Constraints: 35922
1484.02/1489.29 c #Conflicts: 1385000 | #Constraints: 36922
1484.02/1489.29 c #Conflicts: 1386000 | #Constraints: 37922
1484.02/1489.29 c #Conflicts: 1387000 | #Constraints: 38922
1484.02/1489.29 c #Conflicts: 1388000 | #Constraints: 39922
1484.02/1489.29 c #Conflicts: 1389000 | #Constraints: 40922
1484.02/1489.29 c #Conflicts: 1390000 | #Constraints: 41922
1484.02/1489.29 c #Conflicts: 1391000 | #Constraints: 42922
1484.02/1489.29 c #Conflicts: 1392000 | #Constraints: 43922
1484.02/1489.29 c #Conflicts: 1393000 | #Constraints: 44922
1484.02/1489.29 c #Conflicts: 1394000 | #Constraints: 45922
1484.02/1489.29 c #Conflicts: 1395000 | #Constraints: 46922
1484.02/1489.29 c INPROCESSING
1484.02/1489.29 c GARBAGE COLLECT
1484.02/1489.29 c #Conflicts: 1396000 | #Constraints: 24518
1484.02/1489.29 c #Conflicts: 1397000 | #Constraints: 25518
1484.02/1489.29 c #Conflicts: 1398000 | #Constraints: 26518
1484.02/1489.29 c #Conflicts: 1399000 | #Constraints: 27518
1484.02/1489.29 c #Conflicts: 1400000 | #Constraints: 28518
1484.02/1489.29 c #Conflicts: 1401000 | #Constraints: 29518
1484.02/1489.29 c #Conflicts: 1402000 | #Constraints: 30518
1484.02/1489.29 c #Conflicts: 1403000 | #Constraints: 31518
1484.02/1489.29 c #Conflicts: 1404000 | #Constraints: 32518
1484.02/1489.29 c #Conflicts: 1405000 | #Constraints: 33518
1484.02/1489.29 c #Conflicts: 1406000 | #Constraints: 34518
1484.02/1489.29 c #Conflicts: 1407000 | #Constraints: 35518
1484.02/1489.29 c #Conflicts: 1408000 | #Constraints: 36518
1484.02/1489.29 c #Conflicts: 1409000 | #Constraints: 37518
1484.02/1489.29 c #Conflicts: 1410000 | #Constraints: 38518
1484.02/1489.29 c #Conflicts: 1411000 | #Constraints: 39518
1484.02/1489.29 c #Conflicts: 1412000 | #Constraints: 40518
1484.02/1489.29 c #Conflicts: 1413000 | #Constraints: 41518
1484.02/1489.29 c #Conflicts: 1414000 | #Constraints: 42518
1484.02/1489.29 c #Conflicts: 1415000 | #Constraints: 43518
1484.02/1489.29 c #Conflicts: 1416000 | #Constraints: 44518
1484.02/1489.29 c #Conflicts: 1417000 | #Constraints: 45518
1484.02/1489.29 c #Conflicts: 1418000 | #Constraints: 46518
1484.02/1489.29 c #Conflicts: 1419000 | #Constraints: 47518
1484.02/1489.29 c INPROCESSING
1484.02/1489.29 c GARBAGE COLLECT
1484.02/1489.29 c #Conflicts: 1420000 | #Constraints: 24914
1484.02/1489.29 c #Conflicts: 1421000 | #Constraints: 25914
1484.02/1489.29 c #Conflicts: 1422000 | #Constraints: 26914
1484.02/1489.29 c #Conflicts: 1423000 | #Constraints: 27914
1484.02/1489.29 c #Conflicts: 1424000 | #Constraints: 28914
1484.02/1489.29 c #Conflicts: 1425000 | #Constraints: 29914
1484.02/1489.29 c #Conflicts: 1426000 | #Constraints: 30914
1484.02/1489.29 c #Conflicts: 1427000 | #Constraints: 31914
1484.02/1489.29 c #Conflicts: 1428000 | #Constraints: 32914
1484.02/1489.29 c #Conflicts: 1429000 | #Constraints: 33914
1484.02/1489.29 c #Conflicts: 1430000 | #Constraints: 34914
1484.02/1489.29 c #Conflicts: 1431000 | #Constraints: 35914
1484.02/1489.29 c #Conflicts: 1432000 | #Constraints: 36914
1484.02/1489.29 c #Conflicts: 1433000 | #Constraints: 37914
1484.02/1489.29 c #Conflicts: 1434000 | #Constraints: 38914
1484.02/1489.29 c #Conflicts: 1435000 | #Constraints: 39914
1484.02/1489.29 c #Conflicts: 1436000 | #Constraints: 40914
1484.02/1489.29 c #Conflicts: 1437000 | #Constraints: 41914
1484.02/1489.29 c #Conflicts: 1438000 | #Constraints: 42914
1484.02/1489.29 c #Conflicts: 1439000 | #Constraints: 43914
1484.02/1489.29 c #Conflicts: 1440000 | #Constraints: 44914
1484.02/1489.29 c #Conflicts: 1441000 | #Constraints: 45914
1484.02/1489.29 c #Conflicts: 1442000 | #Constraints: 46914
1611.62/1617.27 c #Conflicts: 1443000 | #Constraints: 47914
1611.62/1617.27 c INPROCESSING
1611.62/1617.27 c GARBAGE COLLECT
1611.62/1617.27 c #Conflicts: 1444000 | #Constraints: 25120
1611.62/1617.27 c #Conflicts: 1445000 | #Constraints: 26120
1611.62/1617.27 c #Conflicts: 1446000 | #Constraints: 27120
1611.62/1617.27 c #Conflicts: 1447000 | #Constraints: 28120
1611.62/1617.27 c #Conflicts: 1448000 | #Constraints: 29120
1611.62/1617.27 c #Conflicts: 1449000 | #Constraints: 30120
1611.62/1617.27 c #Conflicts: 1450000 | #Constraints: 31120
1611.62/1617.27 c #Conflicts: 1451000 | #Constraints: 32120
1611.62/1617.27 c #Conflicts: 1452000 | #Constraints: 33120
1611.62/1617.27 c #Conflicts: 1453000 | #Constraints: 34120
1611.62/1617.27 c #Conflicts: 1454000 | #Constraints: 35120
1611.62/1617.27 c #Conflicts: 1455000 | #Constraints: 36120
1611.62/1617.27 c #Conflicts: 1456000 | #Constraints: 37120
1611.62/1617.27 c #Conflicts: 1457000 | #Constraints: 38120
1611.62/1617.27 c #Conflicts: 1458000 | #Constraints: 39120
1611.62/1617.27 c #Conflicts: 1459000 | #Constraints: 40120
1611.62/1617.27 c #Conflicts: 1460000 | #Constraints: 41120
1611.62/1617.27 c #Conflicts: 1461000 | #Constraints: 42120
1611.62/1617.27 c #Conflicts: 1462000 | #Constraints: 43120
1611.62/1617.27 c #Conflicts: 1463000 | #Constraints: 44120
1611.62/1617.27 c #Conflicts: 1464000 | #Constraints: 45120
1611.62/1617.27 c #Conflicts: 1465000 | #Constraints: 46120
1611.62/1617.27 c #Conflicts: 1466000 | #Constraints: 47120
1611.62/1617.27 c #Conflicts: 1467000 | #Constraints: 48120
1611.62/1617.27 c INPROCESSING
1611.62/1617.27 c GARBAGE COLLECT
1611.62/1617.27 c #Conflicts: 1468000 | #Constraints: 25121
1611.62/1617.27 c #Conflicts: 1469000 | #Constraints: 26121
1611.62/1617.27 c #Conflicts: 1470000 | #Constraints: 27121
1611.62/1617.27 c #Conflicts: 1471000 | #Constraints: 28121
1611.62/1617.27 c #Conflicts: 1472000 | #Constraints: 29121
1611.62/1617.27 c #Conflicts: 1473000 | #Constraints: 30121
1611.62/1617.27 c #Conflicts: 1474000 | #Constraints: 31121
1611.62/1617.27 c #Conflicts: 1475000 | #Constraints: 32121
1611.62/1617.27 c #Conflicts: 1476000 | #Constraints: 33121
1611.62/1617.27 c #Conflicts: 1477000 | #Constraints: 34121
1611.62/1617.27 c #Conflicts: 1478000 | #Constraints: 35121
1611.62/1617.27 c #Conflicts: 1479000 | #Constraints: 36121
1611.62/1617.27 c #Conflicts: 1480000 | #Constraints: 37121
1611.62/1617.27 c #Conflicts: 1481000 | #Constraints: 38121
1611.62/1617.27 c #Conflicts: 1482000 | #Constraints: 39121
1611.62/1617.27 c #Conflicts: 1483000 | #Constraints: 40121
1611.62/1617.27 c #Conflicts: 1484000 | #Constraints: 41121
1611.62/1617.27 c #Conflicts: 1485000 | #Constraints: 42121
1611.62/1617.27 c #Conflicts: 1486000 | #Constraints: 43121
1611.62/1617.27 c #Conflicts: 1487000 | #Constraints: 44121
1611.62/1617.27 c #Conflicts: 1488000 | #Constraints: 45121
1611.62/1617.27 c #Conflicts: 1489000 | #Constraints: 46121
1611.62/1617.27 c #Conflicts: 1490000 | #Constraints: 47121
1611.62/1617.27 c #Conflicts: 1491000 | #Constraints: 48121
1611.62/1617.27 c INPROCESSING
1611.62/1617.27 c GARBAGE COLLECT
1611.62/1617.27 c #Conflicts: 1492000 | #Constraints: 24917
1611.62/1617.27 c #Conflicts: 1493000 | #Constraints: 25917
1611.62/1617.27 c #Conflicts: 1494000 | #Constraints: 26917
1611.62/1617.27 c #Conflicts: 1495000 | #Constraints: 27917
1611.62/1617.27 c #Conflicts: 1496000 | #Constraints: 28917
1611.62/1617.27 c #Conflicts: 1497000 | #Constraints: 29917
1611.62/1617.27 c #Conflicts: 1498000 | #Constraints: 30917
1611.62/1617.27 c #Conflicts: 1499000 | #Constraints: 31917
1611.62/1617.27 c #Conflicts: 1500000 | #Constraints: 32917
1611.62/1617.27 c #Conflicts: 1501000 | #Constraints: 33917
1611.62/1617.27 c #Conflicts: 1502000 | #Constraints: 34917
1611.62/1617.27 c #Conflicts: 1503000 | #Constraints: 35917
1611.62/1617.27 c #Conflicts: 1504000 | #Constraints: 36917
1611.62/1617.27 c #Conflicts: 1505000 | #Constraints: 37917
1611.62/1617.27 c #Conflicts: 1506000 | #Constraints: 38917
1611.62/1617.27 c #Conflicts: 1507000 | #Constraints: 39917
1611.62/1617.27 c #Conflicts: 1508000 | #Constraints: 40917
1611.62/1617.27 c #Conflicts: 1509000 | #Constraints: 41917
1611.62/1617.27 c #Conflicts: 1510000 | #Constraints: 42917
1611.62/1617.27 c #Conflicts: 1511000 | #Constraints: 43917
1611.62/1617.27 c #Conflicts: 1512000 | #Constraints: 44917
1611.62/1617.27 c #Conflicts: 1513000 | #Constraints: 45917
1611.62/1617.27 c #Conflicts: 1514000 | #Constraints: 46917
1611.62/1617.27 c #Conflicts: 1515000 | #Constraints: 47917
1611.62/1617.27 c #Conflicts: 1516000 | #Constraints: 48917
1611.62/1617.27 c INPROCESSING
1611.62/1617.27 c GARBAGE COLLECT
1611.62/1617.27 c #Conflicts: 1517000 | #Constraints: 25523
1611.62/1617.27 c #Conflicts: 1518000 | #Constraints: 26523
1611.62/1617.27 c #Conflicts: 1519000 | #Constraints: 27523
1743.29/1749.30 c #Conflicts: 1520000 | #Constraints: 28523
1743.29/1749.30 c #Conflicts: 1521000 | #Constraints: 29523
1743.29/1749.30 c #Conflicts: 1522000 | #Constraints: 30523
1743.29/1749.30 c #Conflicts: 1523000 | #Constraints: 31523
1743.29/1749.30 c #Conflicts: 1524000 | #Constraints: 32523
1743.29/1749.30 c #Conflicts: 1525000 | #Constraints: 33523
1743.29/1749.30 c #Conflicts: 1526000 | #Constraints: 34523
1743.29/1749.30 c #Conflicts: 1527000 | #Constraints: 35523
1743.29/1749.30 c #Conflicts: 1528000 | #Constraints: 36523
1743.29/1749.30 c #Conflicts: 1529000 | #Constraints: 37523
1743.29/1749.30 c #Conflicts: 1530000 | #Constraints: 38523
1743.29/1749.30 c #Conflicts: 1531000 | #Constraints: 39523
1743.29/1749.30 c #Conflicts: 1532000 | #Constraints: 40523
1743.29/1749.30 c #Conflicts: 1533000 | #Constraints: 41523
1743.29/1749.30 c #Conflicts: 1534000 | #Constraints: 42523
1743.29/1749.30 c #Conflicts: 1535000 | #Constraints: 43523
1743.29/1749.30 c #Conflicts: 1536000 | #Constraints: 44523
1743.29/1749.30 c #Conflicts: 1537000 | #Constraints: 45523
1743.29/1749.30 c #Conflicts: 1538000 | #Constraints: 46523
1743.29/1749.30 c #Conflicts: 1539000 | #Constraints: 47523
1743.29/1749.30 c #Conflicts: 1540000 | #Constraints: 48523
1743.29/1749.30 c #Conflicts: 1541000 | #Constraints: 49523
1743.29/1749.30 c INPROCESSING
1743.29/1749.30 c GARBAGE COLLECT
1743.29/1749.30 c #Conflicts: 1542000 | #Constraints: 25927
1743.29/1749.30 c #Conflicts: 1543000 | #Constraints: 26927
1743.29/1749.30 c #Conflicts: 1544000 | #Constraints: 27927
1743.29/1749.30 c #Conflicts: 1545000 | #Constraints: 28927
1743.29/1749.30 c #Conflicts: 1546000 | #Constraints: 29927
1743.29/1749.30 c #Conflicts: 1547000 | #Constraints: 30927
1743.29/1749.30 c #Conflicts: 1548000 | #Constraints: 31927
1743.29/1749.30 c #Conflicts: 1549000 | #Constraints: 32927
1743.29/1749.30 c #Conflicts: 1550000 | #Constraints: 33927
1743.29/1749.30 c #Conflicts: 1551000 | #Constraints: 34927
1743.29/1749.30 c #Conflicts: 1552000 | #Constraints: 35927
1743.29/1749.30 c #Conflicts: 1553000 | #Constraints: 36927
1743.29/1749.30 c #Conflicts: 1554000 | #Constraints: 37927
1743.29/1749.30 c #Conflicts: 1555000 | #Constraints: 38927
1743.29/1749.30 c #Conflicts: 1556000 | #Constraints: 39927
1743.29/1749.30 c #Conflicts: 1557000 | #Constraints: 40927
1743.29/1749.30 c #Conflicts: 1558000 | #Constraints: 41927
1743.29/1749.30 c #Conflicts: 1559000 | #Constraints: 42927
1743.29/1749.30 c #Conflicts: 1560000 | #Constraints: 43927
1743.29/1749.30 c #Conflicts: 1561000 | #Constraints: 44927
1743.29/1749.30 c #Conflicts: 1562000 | #Constraints: 45927
1743.29/1749.30 c #Conflicts: 1563000 | #Constraints: 46927
1743.29/1749.30 c #Conflicts: 1564000 | #Constraints: 47927
1743.29/1749.30 c #Conflicts: 1565000 | #Constraints: 48927
1743.29/1749.30 c #Conflicts: 1566000 | #Constraints: 49927
1743.29/1749.30 c INPROCESSING
1743.29/1749.30 c GARBAGE COLLECT
1743.29/1749.30 c #Conflicts: 1567000 | #Constraints: 26127
1743.29/1749.30 c #Conflicts: 1568000 | #Constraints: 27127
1743.29/1749.30 c #Conflicts: 1569000 | #Constraints: 28127
1743.29/1749.30 c #Conflicts: 1570000 | #Constraints: 29127
1743.29/1749.30 c #Conflicts: 1571000 | #Constraints: 30127
1743.29/1749.30 c #Conflicts: 1572000 | #Constraints: 31127
1743.29/1749.30 c #Conflicts: 1573000 | #Constraints: 32127
1743.29/1749.30 c #Conflicts: 1574000 | #Constraints: 33127
1743.29/1749.30 c #Conflicts: 1575000 | #Constraints: 34127
1743.29/1749.30 c #Conflicts: 1576000 | #Constraints: 35127
1743.29/1749.30 c #Conflicts: 1577000 | #Constraints: 36127
1743.29/1749.30 c #Conflicts: 1578000 | #Constraints: 37127
1743.29/1749.30 c #Conflicts: 1579000 | #Constraints: 38127
1743.29/1749.30 c #Conflicts: 1580000 | #Constraints: 39127
1743.29/1749.30 c #Conflicts: 1581000 | #Constraints: 40127
1743.29/1749.30 c #Conflicts: 1582000 | #Constraints: 41127
1743.29/1749.30 c #Conflicts: 1583000 | #Constraints: 42127
1743.29/1749.30 c #Conflicts: 1584000 | #Constraints: 43127
1743.29/1749.30 c #Conflicts: 1585000 | #Constraints: 44127
1743.29/1749.30 c #Conflicts: 1586000 | #Constraints: 45127
1743.29/1749.30 c #Conflicts: 1587000 | #Constraints: 46127
1743.29/1749.30 c #Conflicts: 1588000 | #Constraints: 47127
1743.29/1749.30 c #Conflicts: 1589000 | #Constraints: 48127
1743.29/1749.30 c #Conflicts: 1590000 | #Constraints: 49127
1743.29/1749.30 c #Conflicts: 1591000 | #Constraints: 50127
1743.29/1749.30 c INPROCESSING
1743.29/1749.30 c GARBAGE COLLECT
1743.29/1749.30 c #Conflicts: 1592000 | #Constraints: 26125
1743.29/1749.30 c #Conflicts: 1593000 | #Constraints: 27125
1743.29/1749.30 c #Conflicts: 1594000 | #Constraints: 28125
1743.29/1749.30 c #Conflicts: 1595000 | #Constraints: 29125
1743.29/1749.30 c #Conflicts: 1596000 | #Constraints: 30125
1882.53/1889.01 c #Conflicts: 1597000 | #Constraints: 31125
1882.53/1889.01 c #Conflicts: 1598000 | #Constraints: 32125
1882.53/1889.01 c #Conflicts: 1599000 | #Constraints: 33125
1882.53/1889.01 c #Conflicts: 1600000 | #Constraints: 34125
1882.53/1889.01 c #Conflicts: 1601000 | #Constraints: 35125
1882.53/1889.01 c #Conflicts: 1602000 | #Constraints: 36125
1882.53/1889.01 c #Conflicts: 1603000 | #Constraints: 37125
1882.53/1889.01 c #Conflicts: 1604000 | #Constraints: 38125
1882.53/1889.01 c #Conflicts: 1605000 | #Constraints: 39125
1882.53/1889.01 c #Conflicts: 1606000 | #Constraints: 40125
1882.53/1889.01 c #Conflicts: 1607000 | #Constraints: 41125
1882.53/1889.01 c #Conflicts: 1608000 | #Constraints: 42125
1882.53/1889.01 c #Conflicts: 1609000 | #Constraints: 43125
1882.53/1889.01 c #Conflicts: 1610000 | #Constraints: 44125
1882.53/1889.01 c #Conflicts: 1611000 | #Constraints: 45125
1882.53/1889.01 c #Conflicts: 1612000 | #Constraints: 46125
1882.53/1889.01 c #Conflicts: 1613000 | #Constraints: 47125
1882.53/1889.01 c #Conflicts: 1614000 | #Constraints: 48125
1882.53/1889.01 c #Conflicts: 1615000 | #Constraints: 49125
1882.53/1889.01 c #Conflicts: 1616000 | #Constraints: 50125
1882.53/1889.01 c INPROCESSING
1882.53/1889.01 c GARBAGE COLLECT
1882.53/1889.01 c #Conflicts: 1617000 | #Constraints: 25923
1882.53/1889.01 c #Conflicts: 1618000 | #Constraints: 26923
1882.53/1889.01 c #Conflicts: 1619000 | #Constraints: 27923
1882.53/1889.01 c #Conflicts: 1620000 | #Constraints: 28923
1882.53/1889.01 c #Conflicts: 1621000 | #Constraints: 29923
1882.53/1889.01 c #Conflicts: 1622000 | #Constraints: 30923
1882.53/1889.01 c #Conflicts: 1623000 | #Constraints: 31923
1882.53/1889.01 c #Conflicts: 1624000 | #Constraints: 32923
1882.53/1889.01 c #Conflicts: 1625000 | #Constraints: 33923
1882.53/1889.01 c #Conflicts: 1626000 | #Constraints: 34923
1882.53/1889.01 c #Conflicts: 1627000 | #Constraints: 35923
1882.53/1889.01 c #Conflicts: 1628000 | #Constraints: 36923
1882.53/1889.01 c #Conflicts: 1629000 | #Constraints: 37923
1882.53/1889.01 c #Conflicts: 1630000 | #Constraints: 38923
1882.53/1889.01 c #Conflicts: 1631000 | #Constraints: 39923
1882.53/1889.01 c #Conflicts: 1632000 | #Constraints: 40923
1882.53/1889.01 c #Conflicts: 1633000 | #Constraints: 41923
1882.53/1889.01 c #Conflicts: 1634000 | #Constraints: 42923
1882.53/1889.01 c #Conflicts: 1635000 | #Constraints: 43923
1882.53/1889.01 c #Conflicts: 1636000 | #Constraints: 44923
1882.53/1889.01 c #Conflicts: 1637000 | #Constraints: 45923
1882.53/1889.01 c #Conflicts: 1638000 | #Constraints: 46923
1882.53/1889.01 c #Conflicts: 1639000 | #Constraints: 47923
1882.53/1889.01 c #Conflicts: 1640000 | #Constraints: 48923
1882.53/1889.01 c #Conflicts: 1641000 | #Constraints: 49923
1882.53/1889.01 c #Conflicts: 1642000 | #Constraints: 50923
1882.53/1889.01 c INPROCESSING
1882.53/1889.01 c GARBAGE COLLECT
1882.53/1889.01 c #Conflicts: 1643000 | #Constraints: 26529
1882.53/1889.01 c #Conflicts: 1644000 | #Constraints: 27529
1882.53/1889.01 c #Conflicts: 1645000 | #Constraints: 28529
1882.53/1889.01 c #Conflicts: 1646000 | #Constraints: 29529
1882.53/1889.01 c #Conflicts: 1647000 | #Constraints: 30529
1882.53/1889.01 c #Conflicts: 1648000 | #Constraints: 31529
1882.53/1889.01 c #Conflicts: 1649000 | #Constraints: 32529
1882.53/1889.01 c #Conflicts: 1650000 | #Constraints: 33529
1882.53/1889.01 c #Conflicts: 1651000 | #Constraints: 34529
1882.53/1889.01 c #Conflicts: 1652000 | #Constraints: 35529
1882.53/1889.01 c #Conflicts: 1653000 | #Constraints: 36529
1882.53/1889.01 c #Conflicts: 1654000 | #Constraints: 37529
1882.53/1889.01 c #Conflicts: 1655000 | #Constraints: 38529
1882.53/1889.01 c #Conflicts: 1656000 | #Constraints: 39529
1882.53/1889.01 c #Conflicts: 1657000 | #Constraints: 40529
1882.53/1889.01 c #Conflicts: 1658000 | #Constraints: 41529
1882.53/1889.01 c #Conflicts: 1659000 | #Constraints: 42529
1882.53/1889.01 c #Conflicts: 1660000 | #Constraints: 43529
1882.53/1889.01 c #Conflicts: 1661000 | #Constraints: 44529
1882.53/1889.01 c #Conflicts: 1662000 | #Constraints: 45529
1882.53/1889.01 c #Conflicts: 1663000 | #Constraints: 46529
1882.53/1889.01 c #Conflicts: 1664000 | #Constraints: 47529
1882.53/1889.01 c #Conflicts: 1665000 | #Constraints: 48529
1882.53/1889.01 c #Conflicts: 1666000 | #Constraints: 49529
1882.53/1889.01 c #Conflicts: 1667000 | #Constraints: 50529
1882.53/1889.01 c #Conflicts: 1668000 | #Constraints: 51529
1882.53/1889.01 c INPROCESSING
1882.53/1889.01 c GARBAGE COLLECT
1882.53/1889.01 c #Conflicts: 1669000 | #Constraints: 26928
1882.53/1889.01 c #Conflicts: 1670000 | #Constraints: 27928
1882.53/1889.01 c #Conflicts: 1671000 | #Constraints: 28928
1882.53/1889.01 c #Conflicts: 1672000 | #Constraints: 29928
2032.41/2039.41 c #Conflicts: 1673000 | #Constraints: 30928
2032.41/2039.41 c #Conflicts: 1674000 | #Constraints: 31928
2032.41/2039.41 c #Conflicts: 1675000 | #Constraints: 32928
2032.41/2039.41 c #Conflicts: 1676000 | #Constraints: 33928
2032.41/2039.41 c #Conflicts: 1677000 | #Constraints: 34928
2032.41/2039.41 c #Conflicts: 1678000 | #Constraints: 35928
2032.41/2039.41 c #Conflicts: 1679000 | #Constraints: 36928
2032.41/2039.41 c #Conflicts: 1680000 | #Constraints: 37928
2032.41/2039.41 c #Conflicts: 1681000 | #Constraints: 38928
2032.41/2039.41 c #Conflicts: 1682000 | #Constraints: 39928
2032.41/2039.41 c #Conflicts: 1683000 | #Constraints: 40928
2032.41/2039.41 c #Conflicts: 1684000 | #Constraints: 41928
2032.41/2039.41 c #Conflicts: 1685000 | #Constraints: 42928
2032.41/2039.41 c #Conflicts: 1686000 | #Constraints: 43928
2032.41/2039.41 c #Conflicts: 1687000 | #Constraints: 44928
2032.41/2039.41 c #Conflicts: 1688000 | #Constraints: 45928
2032.41/2039.41 c #Conflicts: 1689000 | #Constraints: 46928
2032.41/2039.41 c #Conflicts: 1690000 | #Constraints: 47928
2032.41/2039.41 c #Conflicts: 1691000 | #Constraints: 48928
2032.41/2039.41 c #Conflicts: 1692000 | #Constraints: 49928
2032.41/2039.41 c #Conflicts: 1693000 | #Constraints: 50928
2032.41/2039.41 c #Conflicts: 1694000 | #Constraints: 51928
2032.41/2039.41 c INPROCESSING
2032.41/2039.41 c GARBAGE COLLECT
2032.41/2039.41 c #Conflicts: 1695000 | #Constraints: 27123
2032.41/2039.41 c #Conflicts: 1696000 | #Constraints: 28123
2032.41/2039.41 c #Conflicts: 1697000 | #Constraints: 29123
2032.41/2039.41 c #Conflicts: 1698000 | #Constraints: 30123
2032.41/2039.41 c #Conflicts: 1699000 | #Constraints: 31123
2032.41/2039.41 c #Conflicts: 1700000 | #Constraints: 32123
2032.41/2039.41 c #Conflicts: 1701000 | #Constraints: 33123
2032.41/2039.41 c #Conflicts: 1702000 | #Constraints: 34123
2032.41/2039.41 c #Conflicts: 1703000 | #Constraints: 35123
2032.41/2039.41 c #Conflicts: 1704000 | #Constraints: 36123
2032.41/2039.41 c #Conflicts: 1705000 | #Constraints: 37123
2032.41/2039.41 c #Conflicts: 1706000 | #Constraints: 38123
2032.41/2039.41 c #Conflicts: 1707000 | #Constraints: 39123
2032.41/2039.41 c #Conflicts: 1708000 | #Constraints: 40123
2032.41/2039.41 c #Conflicts: 1709000 | #Constraints: 41123
2032.41/2039.41 c #Conflicts: 1710000 | #Constraints: 42123
2032.41/2039.41 c #Conflicts: 1711000 | #Constraints: 43123
2032.41/2039.41 c #Conflicts: 1712000 | #Constraints: 44123
2032.41/2039.41 c #Conflicts: 1713000 | #Constraints: 45123
2032.41/2039.41 c #Conflicts: 1714000 | #Constraints: 46123
2032.41/2039.41 c #Conflicts: 1715000 | #Constraints: 47123
2032.41/2039.41 c #Conflicts: 1716000 | #Constraints: 48123
2032.41/2039.41 c #Conflicts: 1717000 | #Constraints: 49123
2032.41/2039.41 c #Conflicts: 1718000 | #Constraints: 50123
2032.41/2039.41 c #Conflicts: 1719000 | #Constraints: 51123
2032.41/2039.41 c #Conflicts: 1720000 | #Constraints: 52123
2032.41/2039.41 c INPROCESSING
2032.41/2039.41 c GARBAGE COLLECT
2032.41/2039.41 c #Conflicts: 1721000 | #Constraints: 27120
2032.41/2039.41 c #Conflicts: 1722000 | #Constraints: 28120
2032.41/2039.41 c #Conflicts: 1723000 | #Constraints: 29120
2032.41/2039.41 c #Conflicts: 1724000 | #Constraints: 30120
2032.41/2039.41 c #Conflicts: 1725000 | #Constraints: 31120
2032.41/2039.41 c #Conflicts: 1726000 | #Constraints: 32120
2032.41/2039.41 c #Conflicts: 1727000 | #Constraints: 33120
2032.41/2039.41 c #Conflicts: 1728000 | #Constraints: 34120
2032.41/2039.41 c #Conflicts: 1729000 | #Constraints: 35120
2032.41/2039.41 c #Conflicts: 1730000 | #Constraints: 36120
2032.41/2039.41 c #Conflicts: 1731000 | #Constraints: 37120
2032.41/2039.41 c #Conflicts: 1732000 | #Constraints: 38120
2032.41/2039.41 c #Conflicts: 1733000 | #Constraints: 39120
2032.41/2039.41 c #Conflicts: 1734000 | #Constraints: 40120
2032.41/2039.41 c #Conflicts: 1735000 | #Constraints: 41120
2032.41/2039.41 c #Conflicts: 1736000 | #Constraints: 42120
2032.41/2039.41 c #Conflicts: 1737000 | #Constraints: 43120
2032.41/2039.41 c #Conflicts: 1738000 | #Constraints: 44120
2032.41/2039.41 c #Conflicts: 1739000 | #Constraints: 45120
2032.41/2039.41 c #Conflicts: 1740000 | #Constraints: 46120
2032.41/2039.41 c #Conflicts: 1741000 | #Constraints: 47120
2032.41/2039.41 c #Conflicts: 1742000 | #Constraints: 48120
2032.41/2039.41 c #Conflicts: 1743000 | #Constraints: 49120
2032.41/2039.41 c #Conflicts: 1744000 | #Constraints: 50120
2032.41/2039.41 c #Conflicts: 1745000 | #Constraints: 51120
2032.41/2039.41 c #Conflicts: 1746000 | #Constraints: 52120
2032.41/2039.41 c INPROCESSING
2032.41/2039.41 c GARBAGE COLLECT
2032.41/2039.41 c #Conflicts: 1747000 | #Constraints: 26921
2032.41/2039.41 c #Conflicts: 1748000 | #Constraints: 27921
2032.41/2039.41 c #Conflicts: 1749000 | #Constraints: 28921
2190.51/2198.10 c #Conflicts: 1750000 | #Constraints: 29921
2190.51/2198.10 c #Conflicts: 1751000 | #Constraints: 30921
2190.51/2198.10 c #Conflicts: 1752000 | #Constraints: 31921
2190.51/2198.10 c #Conflicts: 1753000 | #Constraints: 32921
2190.51/2198.10 c #Conflicts: 1754000 | #Constraints: 33921
2190.51/2198.10 c #Conflicts: 1755000 | #Constraints: 34921
2190.51/2198.10 c #Conflicts: 1756000 | #Constraints: 35921
2190.51/2198.10 c #Conflicts: 1757000 | #Constraints: 36921
2190.51/2198.10 c #Conflicts: 1758000 | #Constraints: 37921
2190.51/2198.10 c #Conflicts: 1759000 | #Constraints: 38921
2190.51/2198.10 c #Conflicts: 1760000 | #Constraints: 39921
2190.51/2198.10 c #Conflicts: 1761000 | #Constraints: 40921
2190.51/2198.10 c #Conflicts: 1762000 | #Constraints: 41921
2190.51/2198.10 c #Conflicts: 1763000 | #Constraints: 42921
2190.51/2198.10 c #Conflicts: 1764000 | #Constraints: 43921
2190.51/2198.10 c #Conflicts: 1765000 | #Constraints: 44921
2190.51/2198.10 c #Conflicts: 1766000 | #Constraints: 45921
2190.51/2198.10 c #Conflicts: 1767000 | #Constraints: 46921
2190.51/2198.10 c #Conflicts: 1768000 | #Constraints: 47921
2190.51/2198.10 c #Conflicts: 1769000 | #Constraints: 48921
2190.51/2198.10 c #Conflicts: 1770000 | #Constraints: 49921
2190.51/2198.10 c #Conflicts: 1771000 | #Constraints: 50921
2190.51/2198.10 c #Conflicts: 1772000 | #Constraints: 51921
2190.51/2198.10 c #Conflicts: 1773000 | #Constraints: 52921
2190.51/2198.10 c INPROCESSING
2190.51/2198.10 c GARBAGE COLLECT
2190.51/2198.10 c #Conflicts: 1774000 | #Constraints: 27514
2190.51/2198.10 c #Conflicts: 1775000 | #Constraints: 28514
2190.51/2198.10 c #Conflicts: 1776000 | #Constraints: 29514
2190.51/2198.10 c #Conflicts: 1777000 | #Constraints: 30514
2190.51/2198.10 c #Conflicts: 1778000 | #Constraints: 31514
2190.51/2198.10 c #Conflicts: 1779000 | #Constraints: 32514
2190.51/2198.10 c #Conflicts: 1780000 | #Constraints: 33514
2190.51/2198.10 c #Conflicts: 1781000 | #Constraints: 34514
2190.51/2198.10 c #Conflicts: 1782000 | #Constraints: 35514
2190.51/2198.10 c #Conflicts: 1783000 | #Constraints: 36514
2190.51/2198.10 c #Conflicts: 1784000 | #Constraints: 37514
2190.51/2198.10 c #Conflicts: 1785000 | #Constraints: 38514
2190.51/2198.10 c #Conflicts: 1786000 | #Constraints: 39514
2190.51/2198.10 c #Conflicts: 1787000 | #Constraints: 40514
2190.51/2198.10 c #Conflicts: 1788000 | #Constraints: 41514
2190.51/2198.10 c #Conflicts: 1789000 | #Constraints: 42514
2190.51/2198.10 c #Conflicts: 1790000 | #Constraints: 43514
2190.51/2198.10 c #Conflicts: 1791000 | #Constraints: 44514
2190.51/2198.10 c #Conflicts: 1792000 | #Constraints: 45514
2190.51/2198.10 c #Conflicts: 1793000 | #Constraints: 46514
2190.51/2198.10 c #Conflicts: 1794000 | #Constraints: 47514
2190.51/2198.10 c #Conflicts: 1795000 | #Constraints: 48514
2190.51/2198.10 c #Conflicts: 1796000 | #Constraints: 49514
2190.51/2198.10 c #Conflicts: 1797000 | #Constraints: 50514
2190.51/2198.10 c #Conflicts: 1798000 | #Constraints: 51514
2190.51/2198.10 c #Conflicts: 1799000 | #Constraints: 52514
2190.51/2198.10 c #Conflicts: 1800000 | #Constraints: 53514
2190.51/2198.10 c INPROCESSING
2190.51/2198.10 c GARBAGE COLLECT
2190.51/2198.10 c #Conflicts: 1801000 | #Constraints: 27914
2190.51/2198.10 c #Conflicts: 1802000 | #Constraints: 28914
2190.51/2198.10 c #Conflicts: 1803000 | #Constraints: 29914
2190.51/2198.10 c #Conflicts: 1804000 | #Constraints: 30914
2190.51/2198.10 c #Conflicts: 1805000 | #Constraints: 31914
2190.51/2198.10 c #Conflicts: 1806000 | #Constraints: 32914
2190.51/2198.10 c #Conflicts: 1807000 | #Constraints: 33914
2190.51/2198.10 c #Conflicts: 1808000 | #Constraints: 34914
2190.51/2198.10 c #Conflicts: 1809000 | #Constraints: 35914
2190.51/2198.10 c #Conflicts: 1810000 | #Constraints: 36914
2190.51/2198.10 c #Conflicts: 1811000 | #Constraints: 37914
2190.51/2198.10 c #Conflicts: 1812000 | #Constraints: 38914
2190.51/2198.10 c #Conflicts: 1813000 | #Constraints: 39914
2190.51/2198.10 c #Conflicts: 1814000 | #Constraints: 40914
2190.51/2198.10 c #Conflicts: 1815000 | #Constraints: 41914
2190.51/2198.10 c #Conflicts: 1816000 | #Constraints: 42914
2190.51/2198.10 c #Conflicts: 1817000 | #Constraints: 43914
2190.51/2198.10 c #Conflicts: 1818000 | #Constraints: 44914
2190.51/2198.10 c #Conflicts: 1819000 | #Constraints: 45914
2190.51/2198.10 c #Conflicts: 1820000 | #Constraints: 46914
2190.51/2198.10 c #Conflicts: 1821000 | #Constraints: 47914
2190.51/2198.10 c #Conflicts: 1822000 | #Constraints: 48914
2190.51/2198.10 c #Conflicts: 1823000 | #Constraints: 49914
2190.51/2198.10 c #Conflicts: 1824000 | #Constraints: 50914
2190.51/2198.10 c #Conflicts: 1825000 | #Constraints: 51914
2190.51/2198.10 c #Conflicts: 1826000 | #Constraints: 52914
2190.51/2198.10 c #Conflicts: 1827000 | #Constraints: 53914
2341.52/2349.54 c INPROCESSING
2341.52/2349.54 c GARBAGE COLLECT
2341.52/2349.54 c #Conflicts: 1828000 | #Constraints: 28115
2341.52/2349.54 c #Conflicts: 1829000 | #Constraints: 29115
2341.52/2349.54 c #Conflicts: 1830000 | #Constraints: 30115
2341.52/2349.54 c #Conflicts: 1831000 | #Constraints: 31115
2341.52/2349.54 c #Conflicts: 1832000 | #Constraints: 32115
2341.52/2349.54 c #Conflicts: 1833000 | #Constraints: 33115
2341.52/2349.54 c #Conflicts: 1834000 | #Constraints: 34115
2341.52/2349.54 c #Conflicts: 1835000 | #Constraints: 35115
2341.52/2349.54 c #Conflicts: 1836000 | #Constraints: 36115
2341.52/2349.54 c #Conflicts: 1837000 | #Constraints: 37115
2341.52/2349.54 c #Conflicts: 1838000 | #Constraints: 38115
2341.52/2349.54 c #Conflicts: 1839000 | #Constraints: 39115
2341.52/2349.54 c #Conflicts: 1840000 | #Constraints: 40115
2341.52/2349.54 c #Conflicts: 1841000 | #Constraints: 41115
2341.52/2349.54 c #Conflicts: 1842000 | #Constraints: 42115
2341.52/2349.54 c #Conflicts: 1843000 | #Constraints: 43115
2341.52/2349.54 c #Conflicts: 1844000 | #Constraints: 44115
2341.52/2349.54 c #Conflicts: 1845000 | #Constraints: 45115
2341.52/2349.54 c #Conflicts: 1846000 | #Constraints: 46115
2341.52/2349.54 c #Conflicts: 1847000 | #Constraints: 47115
2341.52/2349.54 c #Conflicts: 1848000 | #Constraints: 48115
2341.52/2349.54 c #Conflicts: 1849000 | #Constraints: 49115
2341.52/2349.54 c #Conflicts: 1850000 | #Constraints: 50115
2341.52/2349.54 c #Conflicts: 1851000 | #Constraints: 51115
2341.52/2349.54 c #Conflicts: 1852000 | #Constraints: 52115
2341.52/2349.54 c #Conflicts: 1853000 | #Constraints: 53115
2341.52/2349.54 c #Conflicts: 1854000 | #Constraints: 54115
2341.52/2349.54 c INPROCESSING
2341.52/2349.54 c GARBAGE COLLECT
2341.52/2349.54 c #Conflicts: 1855000 | #Constraints: 28120
2341.52/2349.54 c #Conflicts: 1856000 | #Constraints: 29120
2341.52/2349.54 c #Conflicts: 1857000 | #Constraints: 30120
2341.52/2349.54 c #Conflicts: 1858000 | #Constraints: 31120
2341.52/2349.54 c #Conflicts: 1859000 | #Constraints: 32120
2341.52/2349.54 c #Conflicts: 1860000 | #Constraints: 33120
2341.52/2349.54 c #Conflicts: 1861000 | #Constraints: 34120
2341.52/2349.54 c #Conflicts: 1862000 | #Constraints: 35120
2341.52/2349.54 c #Conflicts: 1863000 | #Constraints: 36120
2341.52/2349.54 c #Conflicts: 1864000 | #Constraints: 37120
2341.52/2349.54 c #Conflicts: 1865000 | #Constraints: 38120
2341.52/2349.54 c #Conflicts: 1866000 | #Constraints: 39120
2341.52/2349.54 c #Conflicts: 1867000 | #Constraints: 40120
2341.52/2349.54 c #Conflicts: 1868000 | #Constraints: 41120
2341.52/2349.54 c #Conflicts: 1869000 | #Constraints: 42120
2341.52/2349.54 c #Conflicts: 1870000 | #Constraints: 43120
2341.52/2349.54 c #Conflicts: 1871000 | #Constraints: 44120
2341.52/2349.54 c #Conflicts: 1872000 | #Constraints: 45120
2341.52/2349.54 c #Conflicts: 1873000 | #Constraints: 46120
2341.52/2349.54 c #Conflicts: 1874000 | #Constraints: 47120
2341.52/2349.54 c #Conflicts: 1875000 | #Constraints: 48120
2341.52/2349.54 c #Conflicts: 1876000 | #Constraints: 49120
2341.52/2349.54 c #Conflicts: 1877000 | #Constraints: 50120
2341.52/2349.54 c #Conflicts: 1878000 | #Constraints: 51120
2341.52/2349.54 c #Conflicts: 1879000 | #Constraints: 52120
2341.52/2349.54 c #Conflicts: 1880000 | #Constraints: 53120
2341.52/2349.54 c #Conflicts: 1881000 | #Constraints: 54120
2341.52/2349.54 c INPROCESSING
2341.52/2349.54 c GARBAGE COLLECT
2341.52/2349.54 c #Conflicts: 1882000 | #Constraints: 27926
2341.52/2349.54 c #Conflicts: 1883000 | #Constraints: 28926
2341.52/2349.54 c #Conflicts: 1884000 | #Constraints: 29926
2341.52/2349.54 c #Conflicts: 1885000 | #Constraints: 30926
2341.52/2349.54 c #Conflicts: 1886000 | #Constraints: 31926
2341.52/2349.54 c #Conflicts: 1887000 | #Constraints: 32926
2341.52/2349.54 c #Conflicts: 1888000 | #Constraints: 33926
2341.52/2349.54 c #Conflicts: 1889000 | #Constraints: 34926
2341.52/2349.54 c #Conflicts: 1890000 | #Constraints: 35926
2341.52/2349.54 c #Conflicts: 1891000 | #Constraints: 36926
2341.52/2349.54 c #Conflicts: 1892000 | #Constraints: 37926
2341.52/2349.54 c #Conflicts: 1893000 | #Constraints: 38926
2341.52/2349.54 c #Conflicts: 1894000 | #Constraints: 39926
2341.52/2349.54 c #Conflicts: 1895000 | #Constraints: 40926
2341.52/2349.54 c #Conflicts: 1896000 | #Constraints: 41926
2341.52/2349.54 c #Conflicts: 1897000 | #Constraints: 42926
2341.52/2349.54 c #Conflicts: 1898000 | #Constraints: 43926
2341.52/2349.54 c #Conflicts: 1899000 | #Constraints: 44926
2341.52/2349.54 c #Conflicts: 1900000 | #Constraints: 45926
2341.52/2349.54 c #Conflicts: 1901000 | #Constraints: 46926
2341.52/2349.54 c #Conflicts: 1902000 | #Constraints: 47926
2341.52/2349.54 c #Conflicts: 1903000 | #Constraints: 48926
2341.52/2349.54 c #Conflicts: 1904000 | #Constraints: 49926
2498.61/2507.16 c #Conflicts: 1905000 | #Constraints: 50926
2498.61/2507.16 c #Conflicts: 1906000 | #Constraints: 51926
2498.61/2507.16 c #Conflicts: 1907000 | #Constraints: 52926
2498.61/2507.16 c #Conflicts: 1908000 | #Constraints: 53926
2498.61/2507.16 c #Conflicts: 1909000 | #Constraints: 54926
2498.61/2507.16 c INPROCESSING
2498.61/2507.16 c GARBAGE COLLECT
2498.61/2507.16 c #Conflicts: 1910000 | #Constraints: 28528
2498.61/2507.16 c #Conflicts: 1911000 | #Constraints: 29528
2498.61/2507.16 c #Conflicts: 1912000 | #Constraints: 30528
2498.61/2507.16 c #Conflicts: 1913000 | #Constraints: 31528
2498.61/2507.16 c #Conflicts: 1914000 | #Constraints: 32528
2498.61/2507.16 c #Conflicts: 1915000 | #Constraints: 33528
2498.61/2507.16 c #Conflicts: 1916000 | #Constraints: 34528
2498.61/2507.16 c #Conflicts: 1917000 | #Constraints: 35528
2498.61/2507.16 c #Conflicts: 1918000 | #Constraints: 36528
2498.61/2507.16 c #Conflicts: 1919000 | #Constraints: 37528
2498.61/2507.16 c #Conflicts: 1920000 | #Constraints: 38528
2498.61/2507.16 c #Conflicts: 1921000 | #Constraints: 39528
2498.61/2507.16 c #Conflicts: 1922000 | #Constraints: 40528
2498.61/2507.16 c #Conflicts: 1923000 | #Constraints: 41528
2498.61/2507.16 c #Conflicts: 1924000 | #Constraints: 42528
2498.61/2507.16 c #Conflicts: 1925000 | #Constraints: 43528
2498.61/2507.16 c #Conflicts: 1926000 | #Constraints: 44528
2498.61/2507.16 c #Conflicts: 1927000 | #Constraints: 45528
2498.61/2507.16 c #Conflicts: 1928000 | #Constraints: 46528
2498.61/2507.16 c #Conflicts: 1929000 | #Constraints: 47528
2498.61/2507.16 c #Conflicts: 1930000 | #Constraints: 48528
2498.61/2507.16 c #Conflicts: 1931000 | #Constraints: 49528
2498.61/2507.16 c #Conflicts: 1932000 | #Constraints: 50528
2498.61/2507.16 c #Conflicts: 1933000 | #Constraints: 51528
2498.61/2507.16 c #Conflicts: 1934000 | #Constraints: 52528
2498.61/2507.16 c #Conflicts: 1935000 | #Constraints: 53528
2498.61/2507.16 c #Conflicts: 1936000 | #Constraints: 54528
2498.61/2507.16 c #Conflicts: 1937000 | #Constraints: 55528
2498.61/2507.16 c INPROCESSING
2498.61/2507.16 c GARBAGE COLLECT
2498.61/2507.16 c #Conflicts: 1938000 | #Constraints: 28928
2498.61/2507.16 c #Conflicts: 1939000 | #Constraints: 29928
2498.61/2507.16 c #Conflicts: 1940000 | #Constraints: 30928
2498.61/2507.16 c #Conflicts: 1941000 | #Constraints: 31928
2498.61/2507.16 c #Conflicts: 1942000 | #Constraints: 32928
2498.61/2507.16 c #Conflicts: 1943000 | #Constraints: 33928
2498.61/2507.16 c #Conflicts: 1944000 | #Constraints: 34928
2498.61/2507.16 c #Conflicts: 1945000 | #Constraints: 35928
2498.61/2507.16 c #Conflicts: 1946000 | #Constraints: 36928
2498.61/2507.16 c #Conflicts: 1947000 | #Constraints: 37928
2498.61/2507.16 c #Conflicts: 1948000 | #Constraints: 38928
2498.61/2507.16 c #Conflicts: 1949000 | #Constraints: 39928
2498.61/2507.16 c #Conflicts: 1950000 | #Constraints: 40928
2498.61/2507.16 c #Conflicts: 1951000 | #Constraints: 41928
2498.61/2507.16 c #Conflicts: 1952000 | #Constraints: 42928
2498.61/2507.16 c #Conflicts: 1953000 | #Constraints: 43928
2498.61/2507.16 c #Conflicts: 1954000 | #Constraints: 44928
2498.61/2507.16 c #Conflicts: 1955000 | #Constraints: 45928
2498.61/2507.16 c #Conflicts: 1956000 | #Constraints: 46928
2498.61/2507.16 c #Conflicts: 1957000 | #Constraints: 47928
2498.61/2507.16 c #Conflicts: 1958000 | #Constraints: 48928
2498.61/2507.16 c #Conflicts: 1959000 | #Constraints: 49928
2498.61/2507.16 c #Conflicts: 1960000 | #Constraints: 50928
2498.61/2507.16 c #Conflicts: 1961000 | #Constraints: 51928
2498.61/2507.16 c #Conflicts: 1962000 | #Constraints: 52928
2498.61/2507.16 c #Conflicts: 1963000 | #Constraints: 53928
2498.61/2507.16 c #Conflicts: 1964000 | #Constraints: 54928
2498.61/2507.16 c #Conflicts: 1965000 | #Constraints: 55928
2498.61/2507.16 c INPROCESSING
2498.61/2507.16 c GARBAGE COLLECT
2498.61/2507.16 c #Conflicts: 1966000 | #Constraints: 29126
2498.61/2507.16 c #Conflicts: 1967000 | #Constraints: 30126
2498.61/2507.16 c #Conflicts: 1968000 | #Constraints: 31126
2498.61/2507.16 c #Conflicts: 1969000 | #Constraints: 32126
2498.61/2507.16 c #Conflicts: 1970000 | #Constraints: 33126
2498.61/2507.16 c #Conflicts: 1971000 | #Constraints: 34126
2498.61/2507.16 c #Conflicts: 1972000 | #Constraints: 35126
2498.61/2507.16 c #Conflicts: 1973000 | #Constraints: 36126
2498.61/2507.16 c #Conflicts: 1974000 | #Constraints: 37126
2498.61/2507.16 c #Conflicts: 1975000 | #Constraints: 38126
2498.61/2507.16 c #Conflicts: 1976000 | #Constraints: 39126
2498.61/2507.16 c #Conflicts: 1977000 | #Constraints: 40126
2498.61/2507.16 c #Conflicts: 1978000 | #Constraints: 41126
2498.61/2507.16 c #Conflicts: 1979000 | #Constraints: 42126
2498.61/2507.16 c #Conflicts: 1980000 | #Constraints: 43126
2498.61/2507.16 c #Conflicts: 1981000 | #Constraints: 44126
2663.17/2672.29 c #Conflicts: 1982000 | #Constraints: 45126
2663.17/2672.29 c #Conflicts: 1983000 | #Constraints: 46126
2663.17/2672.29 c #Conflicts: 1984000 | #Constraints: 47126
2663.17/2672.29 c #Conflicts: 1985000 | #Constraints: 48126
2663.17/2672.29 c #Conflicts: 1986000 | #Constraints: 49126
2663.17/2672.29 c #Conflicts: 1987000 | #Constraints: 50126
2663.17/2672.29 c #Conflicts: 1988000 | #Constraints: 51126
2663.17/2672.29 c #Conflicts: 1989000 | #Constraints: 52126
2663.17/2672.29 c #Conflicts: 1990000 | #Constraints: 53126
2663.17/2672.29 c #Conflicts: 1991000 | #Constraints: 54126
2663.17/2672.29 c #Conflicts: 1992000 | #Constraints: 55126
2663.17/2672.29 c #Conflicts: 1993000 | #Constraints: 56126
2663.17/2672.29 c INPROCESSING
2663.17/2672.29 c GARBAGE COLLECT
2663.17/2672.29 c #Conflicts: 1994000 | #Constraints: 29128
2663.17/2672.29 c #Conflicts: 1995000 | #Constraints: 30128
2663.17/2672.29 c #Conflicts: 1996000 | #Constraints: 31128
2663.17/2672.29 c #Conflicts: 1997000 | #Constraints: 32128
2663.17/2672.29 c #Conflicts: 1998000 | #Constraints: 33128
2663.17/2672.29 c #Conflicts: 1999000 | #Constraints: 34128
2663.17/2672.29 c #Conflicts: 2000000 | #Constraints: 35128
2663.17/2672.29 c #Conflicts: 2001000 | #Constraints: 36128
2663.17/2672.29 c #Conflicts: 2002000 | #Constraints: 37128
2663.17/2672.29 c #Conflicts: 2003000 | #Constraints: 38128
2663.17/2672.29 c #Conflicts: 2004000 | #Constraints: 39128
2663.17/2672.29 c #Conflicts: 2005000 | #Constraints: 40128
2663.17/2672.29 c #Conflicts: 2006000 | #Constraints: 41128
2663.17/2672.29 c #Conflicts: 2007000 | #Constraints: 42128
2663.17/2672.29 c #Conflicts: 2008000 | #Constraints: 43128
2663.17/2672.29 c #Conflicts: 2009000 | #Constraints: 44128
2663.17/2672.29 c #Conflicts: 2010000 | #Constraints: 45128
2663.17/2672.29 c #Conflicts: 2011000 | #Constraints: 46128
2663.17/2672.29 c #Conflicts: 2012000 | #Constraints: 47128
2663.17/2672.29 c #Conflicts: 2013000 | #Constraints: 48128
2663.17/2672.29 c #Conflicts: 2014000 | #Constraints: 49128
2663.17/2672.29 c #Conflicts: 2015000 | #Constraints: 50128
2663.17/2672.29 c #Conflicts: 2016000 | #Constraints: 51128
2663.17/2672.29 c #Conflicts: 2017000 | #Constraints: 52128
2663.17/2672.29 c #Conflicts: 2018000 | #Constraints: 53128
2663.17/2672.29 c #Conflicts: 2019000 | #Constraints: 54128
2663.17/2672.29 c #Conflicts: 2020000 | #Constraints: 55128
2663.17/2672.29 c #Conflicts: 2021000 | #Constraints: 56128
2663.17/2672.29 c INPROCESSING
2663.17/2672.29 c GARBAGE COLLECT
2663.17/2672.29 c #Conflicts: 2022000 | #Constraints: 28923
2663.17/2672.29 c #Conflicts: 2023000 | #Constraints: 29923
2663.17/2672.29 c #Conflicts: 2024000 | #Constraints: 30923
2663.17/2672.29 c #Conflicts: 2025000 | #Constraints: 31923
2663.17/2672.29 c #Conflicts: 2026000 | #Constraints: 32923
2663.17/2672.29 c #Conflicts: 2027000 | #Constraints: 33923
2663.17/2672.29 c #Conflicts: 2028000 | #Constraints: 34923
2663.17/2672.29 c #Conflicts: 2029000 | #Constraints: 35923
2663.17/2672.29 c #Conflicts: 2030000 | #Constraints: 36923
2663.17/2672.29 c #Conflicts: 2031000 | #Constraints: 37923
2663.17/2672.29 c #Conflicts: 2032000 | #Constraints: 38923
2663.17/2672.29 c #Conflicts: 2033000 | #Constraints: 39923
2663.17/2672.29 c #Conflicts: 2034000 | #Constraints: 40923
2663.17/2672.29 c #Conflicts: 2035000 | #Constraints: 41923
2663.17/2672.29 c #Conflicts: 2036000 | #Constraints: 42923
2663.17/2672.29 c #Conflicts: 2037000 | #Constraints: 43923
2663.17/2672.29 c #Conflicts: 2038000 | #Constraints: 44923
2663.17/2672.29 c #Conflicts: 2039000 | #Constraints: 45923
2663.17/2672.29 c #Conflicts: 2040000 | #Constraints: 46923
2663.17/2672.29 c #Conflicts: 2041000 | #Constraints: 47923
2663.17/2672.29 c #Conflicts: 2042000 | #Constraints: 48923
2663.17/2672.29 c #Conflicts: 2043000 | #Constraints: 49923
2663.17/2672.29 c #Conflicts: 2044000 | #Constraints: 50923
2663.17/2672.29 c #Conflicts: 2045000 | #Constraints: 51923
2663.17/2672.29 c #Conflicts: 2046000 | #Constraints: 52923
2663.17/2672.29 c #Conflicts: 2047000 | #Constraints: 53923
2663.17/2672.29 c #Conflicts: 2048000 | #Constraints: 54923
2663.17/2672.29 c #Conflicts: 2049000 | #Constraints: 55923
2663.17/2672.29 c #Conflicts: 2050000 | #Constraints: 56923
2663.17/2672.29 c INPROCESSING
2663.17/2672.29 c GARBAGE COLLECT
2663.17/2672.29 c #Conflicts: 2051000 | #Constraints: 29531
2663.17/2672.29 c #Conflicts: 2052000 | #Constraints: 30531
2663.17/2672.29 c #Conflicts: 2053000 | #Constraints: 31531
2663.17/2672.29 c #Conflicts: 2054000 | #Constraints: 32531
2663.17/2672.29 c #Conflicts: 2055000 | #Constraints: 33531
2663.17/2672.29 c #Conflicts: 2056000 | #Constraints: 34531
2663.17/2672.29 c #Conflicts: 2057000 | #Constraints: 35531
2832.13/2841.72 c #Conflicts: 2058000 | #Constraints: 36531
2832.13/2841.72 c #Conflicts: 2059000 | #Constraints: 37531
2832.13/2841.72 c #Conflicts: 2060000 | #Constraints: 38531
2832.13/2841.72 c #Conflicts: 2061000 | #Constraints: 39531
2832.13/2841.72 c #Conflicts: 2062000 | #Constraints: 40531
2832.13/2841.72 c #Conflicts: 2063000 | #Constraints: 41531
2832.13/2841.72 c #Conflicts: 2064000 | #Constraints: 42531
2832.13/2841.72 c #Conflicts: 2065000 | #Constraints: 43531
2832.13/2841.72 c #Conflicts: 2066000 | #Constraints: 44531
2832.13/2841.72 c #Conflicts: 2067000 | #Constraints: 45531
2832.13/2841.72 c #Conflicts: 2068000 | #Constraints: 46531
2832.13/2841.72 c #Conflicts: 2069000 | #Constraints: 47531
2832.13/2841.72 c #Conflicts: 2070000 | #Constraints: 48531
2832.13/2841.72 c #Conflicts: 2071000 | #Constraints: 49531
2832.13/2841.72 c #Conflicts: 2072000 | #Constraints: 50531
2832.13/2841.72 c #Conflicts: 2073000 | #Constraints: 51531
2832.13/2841.72 c #Conflicts: 2074000 | #Constraints: 52531
2832.13/2841.72 c #Conflicts: 2075000 | #Constraints: 53531
2832.13/2841.72 c #Conflicts: 2076000 | #Constraints: 54531
2832.13/2841.72 c #Conflicts: 2077000 | #Constraints: 55531
2832.13/2841.72 c #Conflicts: 2078000 | #Constraints: 56531
2832.13/2841.72 c #Conflicts: 2079000 | #Constraints: 57531
2832.13/2841.72 c INPROCESSING
2832.13/2841.72 c GARBAGE COLLECT
2832.13/2841.72 c #Conflicts: 2080000 | #Constraints: 29930
2832.13/2841.72 c #Conflicts: 2081000 | #Constraints: 30930
2832.13/2841.72 c #Conflicts: 2082000 | #Constraints: 31930
2832.13/2841.72 c #Conflicts: 2083000 | #Constraints: 32930
2832.13/2841.72 c #Conflicts: 2084000 | #Constraints: 33930
2832.13/2841.72 c #Conflicts: 2085000 | #Constraints: 34930
2832.13/2841.72 c #Conflicts: 2086000 | #Constraints: 35930
2832.13/2841.72 c #Conflicts: 2087000 | #Constraints: 36930
2832.13/2841.72 c #Conflicts: 2088000 | #Constraints: 37930
2832.13/2841.72 c #Conflicts: 2089000 | #Constraints: 38930
2832.13/2841.72 c #Conflicts: 2090000 | #Constraints: 39930
2832.13/2841.72 c #Conflicts: 2091000 | #Constraints: 40930
2832.13/2841.72 c #Conflicts: 2092000 | #Constraints: 41930
2832.13/2841.72 c #Conflicts: 2093000 | #Constraints: 42930
2832.13/2841.72 c #Conflicts: 2094000 | #Constraints: 43930
2832.13/2841.72 c #Conflicts: 2095000 | #Constraints: 44930
2832.13/2841.72 c #Conflicts: 2096000 | #Constraints: 45930
2832.13/2841.72 c #Conflicts: 2097000 | #Constraints: 46930
2832.13/2841.72 c #Conflicts: 2098000 | #Constraints: 47930
2832.13/2841.72 c #Conflicts: 2099000 | #Constraints: 48930
2832.13/2841.72 c #Conflicts: 2100000 | #Constraints: 49930
2832.13/2841.72 c #Conflicts: 2101000 | #Constraints: 50930
2832.13/2841.72 c #Conflicts: 2102000 | #Constraints: 51930
2832.13/2841.72 c #Conflicts: 2103000 | #Constraints: 52930
2832.13/2841.72 c #Conflicts: 2104000 | #Constraints: 53930
2832.13/2841.72 c #Conflicts: 2105000 | #Constraints: 54930
2832.13/2841.72 c #Conflicts: 2106000 | #Constraints: 55930
2832.13/2841.72 c #Conflicts: 2107000 | #Constraints: 56930
2832.13/2841.72 c #Conflicts: 2108000 | #Constraints: 57930
2832.13/2841.72 c INPROCESSING
2832.13/2841.72 c GARBAGE COLLECT
2832.13/2841.72 c #Conflicts: 2109000 | #Constraints: 30128
2832.13/2841.72 c #Conflicts: 2110000 | #Constraints: 31128
2832.13/2841.72 c #Conflicts: 2111000 | #Constraints: 32128
2832.13/2841.72 c #Conflicts: 2112000 | #Constraints: 33128
2832.13/2841.72 c #Conflicts: 2113000 | #Constraints: 34128
2832.13/2841.72 c #Conflicts: 2114000 | #Constraints: 35128
2832.13/2841.72 c #Conflicts: 2115000 | #Constraints: 36128
2832.13/2841.72 c #Conflicts: 2116000 | #Constraints: 37128
2832.13/2841.72 c #Conflicts: 2117000 | #Constraints: 38128
2832.13/2841.72 c #Conflicts: 2118000 | #Constraints: 39128
2832.13/2841.72 c #Conflicts: 2119000 | #Constraints: 40128
2832.13/2841.72 c #Conflicts: 2120000 | #Constraints: 41128
2832.13/2841.72 c #Conflicts: 2121000 | #Constraints: 42128
2832.13/2841.72 c #Conflicts: 2122000 | #Constraints: 43128
2832.13/2841.72 c #Conflicts: 2123000 | #Constraints: 44128
2832.13/2841.72 c #Conflicts: 2124000 | #Constraints: 45128
2832.13/2841.72 c #Conflicts: 2125000 | #Constraints: 46128
2832.13/2841.72 c #Conflicts: 2126000 | #Constraints: 47128
2832.13/2841.72 c #Conflicts: 2127000 | #Constraints: 48128
2832.13/2841.72 c #Conflicts: 2128000 | #Constraints: 49128
2832.13/2841.72 c #Conflicts: 2129000 | #Constraints: 50128
2832.13/2841.72 c #Conflicts: 2130000 | #Constraints: 51128
2832.13/2841.72 c #Conflicts: 2131000 | #Constraints: 52128
2832.13/2841.72 c #Conflicts: 2132000 | #Constraints: 53128
2832.13/2841.72 c #Conflicts: 2133000 | #Constraints: 54128
2832.13/2841.72 c #Conflicts: 2134000 | #Constraints: 55128
2832.13/2841.72 c #Conflicts: 2135000 | #Constraints: 56128
2995.80/3005.95 c #Conflicts: 2136000 | #Constraints: 57128
2995.80/3005.95 c #Conflicts: 2137000 | #Constraints: 58128
2995.80/3005.95 c INPROCESSING
2995.80/3005.95 c GARBAGE COLLECT
2995.80/3005.95 c #Conflicts: 2138000 | #Constraints: 30121
2995.80/3005.95 c #Conflicts: 2139000 | #Constraints: 31121
2995.80/3005.95 c #Conflicts: 2140000 | #Constraints: 32121
2995.80/3005.95 c #Conflicts: 2141000 | #Constraints: 33121
2995.80/3005.95 c #Conflicts: 2142000 | #Constraints: 34121
2995.80/3005.95 c #Conflicts: 2143000 | #Constraints: 35121
2995.80/3005.95 c #Conflicts: 2144000 | #Constraints: 36121
2995.80/3005.95 c #Conflicts: 2145000 | #Constraints: 37121
2995.80/3005.95 c #Conflicts: 2146000 | #Constraints: 38121
2995.80/3005.95 c #Conflicts: 2147000 | #Constraints: 39121
2995.80/3005.95 c #Conflicts: 2148000 | #Constraints: 40121
2995.80/3005.95 c #Conflicts: 2149000 | #Constraints: 41121
2995.80/3005.95 c #Conflicts: 2150000 | #Constraints: 42121
2995.80/3005.95 c #Conflicts: 2151000 | #Constraints: 43121
2995.80/3005.95 c #Conflicts: 2152000 | #Constraints: 44121
2995.80/3005.95 c #Conflicts: 2153000 | #Constraints: 45121
2995.80/3005.95 c #Conflicts: 2154000 | #Constraints: 46121
2995.80/3005.95 c #Conflicts: 2155000 | #Constraints: 47121
2995.80/3005.95 c #Conflicts: 2156000 | #Constraints: 48121
2995.80/3005.95 c #Conflicts: 2157000 | #Constraints: 49121
2995.80/3005.95 c #Conflicts: 2158000 | #Constraints: 50121
2995.80/3005.95 c #Conflicts: 2159000 | #Constraints: 51121
2995.80/3005.95 c #Conflicts: 2160000 | #Constraints: 52121
2995.80/3005.95 c #Conflicts: 2161000 | #Constraints: 53121
2995.80/3005.95 c #Conflicts: 2162000 | #Constraints: 54121
2995.80/3005.95 c #Conflicts: 2163000 | #Constraints: 55121
2995.80/3005.95 c #Conflicts: 2164000 | #Constraints: 56121
2995.80/3005.95 c #Conflicts: 2165000 | #Constraints: 57121
2995.80/3005.95 c #Conflicts: 2166000 | #Constraints: 58121
2995.80/3005.95 c INPROCESSING
2995.80/3005.95 c GARBAGE COLLECT
2995.80/3005.95 c #Conflicts: 2167000 | #Constraints: 29921
2995.80/3005.95 c #Conflicts: 2168000 | #Constraints: 30921
2995.80/3005.95 c #Conflicts: 2169000 | #Constraints: 31921
2995.80/3005.95 c #Conflicts: 2170000 | #Constraints: 32921
2995.80/3005.95 c #Conflicts: 2171000 | #Constraints: 33921
2995.80/3005.95 c #Conflicts: 2172000 | #Constraints: 34921
2995.80/3005.95 c #Conflicts: 2173000 | #Constraints: 35921
2995.80/3005.95 c #Conflicts: 2174000 | #Constraints: 36921
2995.80/3005.95 c #Conflicts: 2175000 | #Constraints: 37921
2995.80/3005.95 c #Conflicts: 2176000 | #Constraints: 38921
2995.80/3005.95 c #Conflicts: 2177000 | #Constraints: 39921
2995.80/3005.95 c #Conflicts: 2178000 | #Constraints: 40921
2995.80/3005.95 c #Conflicts: 2179000 | #Constraints: 41921
2995.80/3005.95 c #Conflicts: 2180000 | #Constraints: 42921
2995.80/3005.95 c #Conflicts: 2181000 | #Constraints: 43921
2995.80/3005.95 c #Conflicts: 2182000 | #Constraints: 44921
2995.80/3005.95 c #Conflicts: 2183000 | #Constraints: 45921
2995.80/3005.95 c #Conflicts: 2184000 | #Constraints: 46921
2995.80/3005.95 c #Conflicts: 2185000 | #Constraints: 47921
2995.80/3005.95 c #Conflicts: 2186000 | #Constraints: 48921
2995.80/3005.95 c #Conflicts: 2187000 | #Constraints: 49921
2995.80/3005.95 c #Conflicts: 2188000 | #Constraints: 50921
2995.80/3005.95 c #Conflicts: 2189000 | #Constraints: 51921
2995.80/3005.95 c #Conflicts: 2190000 | #Constraints: 52921
2995.80/3005.95 c #Conflicts: 2191000 | #Constraints: 53921
2995.80/3005.95 c #Conflicts: 2192000 | #Constraints: 54921
2995.80/3005.95 c #Conflicts: 2193000 | #Constraints: 55921
2995.80/3005.95 c #Conflicts: 2194000 | #Constraints: 56921
2995.80/3005.95 c #Conflicts: 2195000 | #Constraints: 57921
2995.80/3005.95 c #Conflicts: 2196000 | #Constraints: 58921
2995.80/3005.95 c INPROCESSING
2995.80/3005.95 c GARBAGE COLLECT
2995.80/3005.95 c #Conflicts: 2197000 | #Constraints: 30529
2995.80/3005.95 c #Conflicts: 2198000 | #Constraints: 31529
2995.80/3005.95 c #Conflicts: 2199000 | #Constraints: 32529
2995.80/3005.95 c #Conflicts: 2200000 | #Constraints: 33529
2995.80/3005.95 c #Conflicts: 2201000 | #Constraints: 34529
2995.80/3005.95 c #Conflicts: 2202000 | #Constraints: 35529
2995.80/3005.95 c #Conflicts: 2203000 | #Constraints: 36529
2995.80/3005.95 c #Conflicts: 2204000 | #Constraints: 37529
2995.80/3005.95 c #Conflicts: 2205000 | #Constraints: 38529
2995.80/3005.95 c #Conflicts: 2206000 | #Constraints: 39529
2995.80/3005.95 c #Conflicts: 2207000 | #Constraints: 40529
2995.80/3005.95 c #Conflicts: 2208000 | #Constraints: 41529
2995.80/3005.95 c #Conflicts: 2209000 | #Constraints: 42529
2995.80/3005.95 c #Conflicts: 2210000 | #Constraints: 43529
2995.80/3005.95 c #Conflicts: 2211000 | #Constraints: 44529
2995.80/3005.95 c #Conflicts: 2212000 | #Constraints: 45529
3190.67/3201.47 c #Conflicts: 2213000 | #Constraints: 46529
3190.67/3201.47 c #Conflicts: 2214000 | #Constraints: 47529
3190.67/3201.47 c #Conflicts: 2215000 | #Constraints: 48529
3190.67/3201.47 c #Conflicts: 2216000 | #Constraints: 49529
3190.67/3201.47 c #Conflicts: 2217000 | #Constraints: 50529
3190.67/3201.47 c #Conflicts: 2218000 | #Constraints: 51529
3190.67/3201.47 c #Conflicts: 2219000 | #Constraints: 52529
3190.67/3201.47 c #Conflicts: 2220000 | #Constraints: 53529
3190.67/3201.47 c #Conflicts: 2221000 | #Constraints: 54529
3190.67/3201.47 c #Conflicts: 2222000 | #Constraints: 55529
3190.67/3201.47 c #Conflicts: 2223000 | #Constraints: 56529
3190.67/3201.47 c #Conflicts: 2224000 | #Constraints: 57529
3190.67/3201.47 c #Conflicts: 2225000 | #Constraints: 58529
3190.67/3201.47 c #Conflicts: 2226000 | #Constraints: 59529
3190.67/3201.47 c INPROCESSING
3190.67/3201.47 c GARBAGE COLLECT
3190.67/3201.47 c #Conflicts: 2227000 | #Constraints: 30926
3190.67/3201.47 c #Conflicts: 2228000 | #Constraints: 31926
3190.67/3201.47 c #Conflicts: 2229000 | #Constraints: 32926
3190.67/3201.47 c #Conflicts: 2230000 | #Constraints: 33926
3190.67/3201.47 c #Conflicts: 2231000 | #Constraints: 34926
3190.67/3201.47 c #Conflicts: 2232000 | #Constraints: 35926
3190.67/3201.47 c #Conflicts: 2233000 | #Constraints: 36926
3190.67/3201.47 c #Conflicts: 2234000 | #Constraints: 37926
3190.67/3201.47 c #Conflicts: 2235000 | #Constraints: 38926
3190.67/3201.47 c #Conflicts: 2236000 | #Constraints: 39926
3190.67/3201.47 c #Conflicts: 2237000 | #Constraints: 40926
3190.67/3201.47 c #Conflicts: 2238000 | #Constraints: 41926
3190.67/3201.47 c #Conflicts: 2239000 | #Constraints: 42926
3190.67/3201.47 c #Conflicts: 2240000 | #Constraints: 43926
3190.67/3201.47 c #Conflicts: 2241000 | #Constraints: 44926
3190.67/3201.47 c #Conflicts: 2242000 | #Constraints: 45926
3190.67/3201.47 c #Conflicts: 2243000 | #Constraints: 46926
3190.67/3201.47 c #Conflicts: 2244000 | #Constraints: 47926
3190.67/3201.47 c #Conflicts: 2245000 | #Constraints: 48926
3190.67/3201.47 c #Conflicts: 2246000 | #Constraints: 49926
3190.67/3201.47 c #Conflicts: 2247000 | #Constraints: 50926
3190.67/3201.47 c #Conflicts: 2248000 | #Constraints: 51926
3190.67/3201.47 c #Conflicts: 2249000 | #Constraints: 52926
3190.67/3201.47 c #Conflicts: 2250000 | #Constraints: 53926
3190.67/3201.47 c #Conflicts: 2251000 | #Constraints: 54926
3190.67/3201.47 c #Conflicts: 2252000 | #Constraints: 55926
3190.67/3201.47 c #Conflicts: 2253000 | #Constraints: 56926
3190.67/3201.47 c #Conflicts: 2254000 | #Constraints: 57926
3190.67/3201.47 c #Conflicts: 2255000 | #Constraints: 58926
3190.67/3201.47 c #Conflicts: 2256000 | #Constraints: 59926
3190.67/3201.47 c INPROCESSING
3190.67/3201.47 c GARBAGE COLLECT
3190.67/3201.47 c #Conflicts: 2257000 | #Constraints: 31123
3190.67/3201.47 c #Conflicts: 2258000 | #Constraints: 32123
3190.67/3201.47 c #Conflicts: 2259000 | #Constraints: 33123
3190.67/3201.47 c #Conflicts: 2260000 | #Constraints: 34123
3190.67/3201.47 c #Conflicts: 2261000 | #Constraints: 35123
3190.67/3201.47 c #Conflicts: 2262000 | #Constraints: 36123
3190.67/3201.47 c #Conflicts: 2263000 | #Constraints: 37123
3190.67/3201.47 c #Conflicts: 2264000 | #Constraints: 38123
3190.67/3201.47 c #Conflicts: 2265000 | #Constraints: 39123
3190.67/3201.47 c #Conflicts: 2266000 | #Constraints: 40123
3190.67/3201.47 c #Conflicts: 2267000 | #Constraints: 41123
3190.67/3201.47 c #Conflicts: 2268000 | #Constraints: 42123
3190.67/3201.47 c #Conflicts: 2269000 | #Constraints: 43123
3190.67/3201.47 c #Conflicts: 2270000 | #Constraints: 44123
3190.67/3201.47 c #Conflicts: 2271000 | #Constraints: 45123
3190.67/3201.47 c #Conflicts: 2272000 | #Constraints: 46123
3190.67/3201.47 c #Conflicts: 2273000 | #Constraints: 47123
3190.67/3201.47 c #Conflicts: 2274000 | #Constraints: 48123
3190.67/3201.47 c #Conflicts: 2275000 | #Constraints: 49123
3190.67/3201.47 c #Conflicts: 2276000 | #Constraints: 50123
3190.67/3201.47 c #Conflicts: 2277000 | #Constraints: 51123
3190.67/3201.47 c #Conflicts: 2278000 | #Constraints: 52123
3190.67/3201.47 c #Conflicts: 2279000 | #Constraints: 53123
3190.67/3201.47 c #Conflicts: 2280000 | #Constraints: 54123
3190.67/3201.47 c #Conflicts: 2281000 | #Constraints: 55123
3190.67/3201.47 c #Conflicts: 2282000 | #Constraints: 56123
3190.67/3201.47 c #Conflicts: 2283000 | #Constraints: 57123
3190.67/3201.47 c #Conflicts: 2284000 | #Constraints: 58123
3190.67/3201.47 c #Conflicts: 2285000 | #Constraints: 59123
3190.67/3201.47 c #Conflicts: 2286000 | #Constraints: 60123
3190.67/3201.47 c INPROCESSING
3190.67/3201.47 c GARBAGE COLLECT
3190.67/3201.47 c #Conflicts: 2287000 | #Constraints: 31125
3190.67/3201.47 c #Conflicts: 2288000 | #Constraints: 32125
3190.67/3201.47 c #Conflicts: 2289000 | #Constraints: 33125
3365.98/3377.32 c #Conflicts: 2290000 | #Constraints: 34125
3365.98/3377.32 c #Conflicts: 2291000 | #Constraints: 35125
3365.98/3377.32 c #Conflicts: 2292000 | #Constraints: 36125
3365.98/3377.32 c #Conflicts: 2293000 | #Constraints: 37125
3365.98/3377.32 c #Conflicts: 2294000 | #Constraints: 38125
3365.98/3377.32 c #Conflicts: 2295000 | #Constraints: 39125
3365.98/3377.32 c #Conflicts: 2296000 | #Constraints: 40125
3365.98/3377.32 c #Conflicts: 2297000 | #Constraints: 41125
3365.98/3377.32 c #Conflicts: 2298000 | #Constraints: 42125
3365.98/3377.32 c #Conflicts: 2299000 | #Constraints: 43125
3365.98/3377.32 c #Conflicts: 2300000 | #Constraints: 44125
3365.98/3377.32 c #Conflicts: 2301000 | #Constraints: 45125
3365.98/3377.32 c #Conflicts: 2302000 | #Constraints: 46125
3365.98/3377.32 c #Conflicts: 2303000 | #Constraints: 47125
3365.98/3377.32 c #Conflicts: 2304000 | #Constraints: 48125
3365.98/3377.32 c #Conflicts: 2305000 | #Constraints: 49125
3365.98/3377.32 c #Conflicts: 2306000 | #Constraints: 50125
3365.98/3377.32 c #Conflicts: 2307000 | #Constraints: 51125
3365.98/3377.32 c #Conflicts: 2308000 | #Constraints: 52125
3365.98/3377.32 c #Conflicts: 2309000 | #Constraints: 53125
3365.98/3377.32 c #Conflicts: 2310000 | #Constraints: 54125
3365.98/3377.32 c #Conflicts: 2311000 | #Constraints: 55125
3365.98/3377.32 c #Conflicts: 2312000 | #Constraints: 56125
3365.98/3377.32 c #Conflicts: 2313000 | #Constraints: 57125
3365.98/3377.32 c #Conflicts: 2314000 | #Constraints: 58125
3365.98/3377.32 c #Conflicts: 2315000 | #Constraints: 59125
3365.98/3377.32 c #Conflicts: 2316000 | #Constraints: 60125
3365.98/3377.32 c INPROCESSING
3365.98/3377.32 c GARBAGE COLLECT
3365.98/3377.32 c #Conflicts: 2317000 | #Constraints: 30927
3365.98/3377.32 c #Conflicts: 2318000 | #Constraints: 31927
3365.98/3377.32 c #Conflicts: 2319000 | #Constraints: 32927
3365.98/3377.32 c #Conflicts: 2320000 | #Constraints: 33927
3365.98/3377.32 c #Conflicts: 2321000 | #Constraints: 34927
3365.98/3377.32 c #Conflicts: 2322000 | #Constraints: 35927
3365.98/3377.32 c #Conflicts: 2323000 | #Constraints: 36927
3365.98/3377.32 c #Conflicts: 2324000 | #Constraints: 37927
3365.98/3377.32 c #Conflicts: 2325000 | #Constraints: 38927
3365.98/3377.32 c #Conflicts: 2326000 | #Constraints: 39927
3365.98/3377.32 c #Conflicts: 2327000 | #Constraints: 40927
3365.98/3377.32 c #Conflicts: 2328000 | #Constraints: 41927
3365.98/3377.32 c #Conflicts: 2329000 | #Constraints: 42927
3365.98/3377.32 c #Conflicts: 2330000 | #Constraints: 43927
3365.98/3377.32 c #Conflicts: 2331000 | #Constraints: 44927
3365.98/3377.32 c #Conflicts: 2332000 | #Constraints: 45927
3365.98/3377.32 c #Conflicts: 2333000 | #Constraints: 46927
3365.98/3377.32 c #Conflicts: 2334000 | #Constraints: 47927
3365.98/3377.32 c #Conflicts: 2335000 | #Constraints: 48927
3365.98/3377.32 c #Conflicts: 2336000 | #Constraints: 49927
3365.98/3377.32 c #Conflicts: 2337000 | #Constraints: 50927
3365.98/3377.32 c #Conflicts: 2338000 | #Constraints: 51927
3365.98/3377.32 c #Conflicts: 2339000 | #Constraints: 52927
3365.98/3377.32 c #Conflicts: 2340000 | #Constraints: 53927
3365.98/3377.32 c #Conflicts: 2341000 | #Constraints: 54927
3365.98/3377.32 c #Conflicts: 2342000 | #Constraints: 55927
3365.98/3377.32 c #Conflicts: 2343000 | #Constraints: 56927
3365.98/3377.32 c #Conflicts: 2344000 | #Constraints: 57927
3365.98/3377.32 c #Conflicts: 2345000 | #Constraints: 58927
3365.98/3377.32 c #Conflicts: 2346000 | #Constraints: 59927
3365.98/3377.32 c #Conflicts: 2347000 | #Constraints: 60927
3365.98/3377.32 c INPROCESSING
3365.98/3377.32 c GARBAGE COLLECT
3365.98/3377.32 c #Conflicts: 2348000 | #Constraints: 31527
3365.98/3377.32 c #Conflicts: 2349000 | #Constraints: 32527
3365.98/3377.32 c #Conflicts: 2350000 | #Constraints: 33527
3365.98/3377.32 c #Conflicts: 2351000 | #Constraints: 34527
3365.98/3377.32 c #Conflicts: 2352000 | #Constraints: 35527
3365.98/3377.32 c #Conflicts: 2353000 | #Constraints: 36527
3365.98/3377.32 c #Conflicts: 2354000 | #Constraints: 37527
3365.98/3377.32 c #Conflicts: 2355000 | #Constraints: 38527
3365.98/3377.32 c #Conflicts: 2356000 | #Constraints: 39527
3365.98/3377.32 c #Conflicts: 2357000 | #Constraints: 40527
3365.98/3377.32 c #Conflicts: 2358000 | #Constraints: 41527
3365.98/3377.32 c #Conflicts: 2359000 | #Constraints: 42527
3365.98/3377.32 c #Conflicts: 2360000 | #Constraints: 43527
3365.98/3377.32 c #Conflicts: 2361000 | #Constraints: 44527
3365.98/3377.32 c #Conflicts: 2362000 | #Constraints: 45527
3365.98/3377.32 c #Conflicts: 2363000 | #Constraints: 46527
3365.98/3377.32 c #Conflicts: 2364000 | #Constraints: 47527
3365.98/3377.32 c #Conflicts: 2365000 | #Constraints: 48527
3365.98/3377.32 c #Conflicts: 2366000 | #Constraints: 49527
3551.79/3563.70 c #Conflicts: 2367000 | #Constraints: 50527
3551.79/3563.70 c #Conflicts: 2368000 | #Constraints: 51527
3551.79/3563.70 c #Conflicts: 2369000 | #Constraints: 52527
3551.79/3563.70 c #Conflicts: 2370000 | #Constraints: 53527
3551.79/3563.70 c #Conflicts: 2371000 | #Constraints: 54527
3551.79/3563.70 c #Conflicts: 2372000 | #Constraints: 55527
3551.79/3563.70 c #Conflicts: 2373000 | #Constraints: 56527
3551.79/3563.70 c #Conflicts: 2374000 | #Constraints: 57527
3551.79/3563.70 c #Conflicts: 2375000 | #Constraints: 58527
3551.79/3563.70 c #Conflicts: 2376000 | #Constraints: 59527
3551.79/3563.70 c #Conflicts: 2377000 | #Constraints: 60527
3551.79/3563.70 c #Conflicts: 2378000 | #Constraints: 61527
3551.79/3563.70 c INPROCESSING
3551.79/3563.70 c GARBAGE COLLECT
3551.79/3563.70 c #Conflicts: 2379000 | #Constraints: 31927
3551.79/3563.70 c #Conflicts: 2380000 | #Constraints: 32927
3551.79/3563.70 c #Conflicts: 2381000 | #Constraints: 33927
3551.79/3563.70 c #Conflicts: 2382000 | #Constraints: 34927
3551.79/3563.70 c #Conflicts: 2383000 | #Constraints: 35927
3551.79/3563.70 c #Conflicts: 2384000 | #Constraints: 36927
3551.79/3563.70 c #Conflicts: 2385000 | #Constraints: 37927
3551.79/3563.70 c #Conflicts: 2386000 | #Constraints: 38927
3551.79/3563.70 c #Conflicts: 2387000 | #Constraints: 39927
3551.79/3563.70 c #Conflicts: 2388000 | #Constraints: 40927
3551.79/3563.70 c #Conflicts: 2389000 | #Constraints: 41927
3551.79/3563.70 c #Conflicts: 2390000 | #Constraints: 42927
3551.79/3563.70 c #Conflicts: 2391000 | #Constraints: 43927
3551.79/3563.70 c #Conflicts: 2392000 | #Constraints: 44927
3551.79/3563.70 c #Conflicts: 2393000 | #Constraints: 45927
3551.79/3563.70 c #Conflicts: 2394000 | #Constraints: 46927
3551.79/3563.70 c #Conflicts: 2395000 | #Constraints: 47927
3551.79/3563.70 c #Conflicts: 2396000 | #Constraints: 48927
3551.79/3563.70 c #Conflicts: 2397000 | #Constraints: 49927
3551.79/3563.70 c #Conflicts: 2398000 | #Constraints: 50927
3551.79/3563.70 c #Conflicts: 2399000 | #Constraints: 51927
3551.79/3563.70 c #Conflicts: 2400000 | #Constraints: 52927
3551.79/3563.70 c #Conflicts: 2401000 | #Constraints: 53927
3551.79/3563.70 c #Conflicts: 2402000 | #Constraints: 54927
3551.79/3563.70 c #Conflicts: 2403000 | #Constraints: 55927
3551.79/3563.70 c #Conflicts: 2404000 | #Constraints: 56927
3551.79/3563.70 c #Conflicts: 2405000 | #Constraints: 57927
3551.79/3563.70 c #Conflicts: 2406000 | #Constraints: 58927
3551.79/3563.70 c #Conflicts: 2407000 | #Constraints: 59927
3551.79/3563.70 c #Conflicts: 2408000 | #Constraints: 60927
3551.79/3563.70 c #Conflicts: 2409000 | #Constraints: 61927
3551.79/3563.70 c INPROCESSING
3551.79/3563.70 c GARBAGE COLLECT
3551.79/3563.70 c #Conflicts: 2410000 | #Constraints: 32126
3551.79/3563.70 c #Conflicts: 2411000 | #Constraints: 33126
3551.79/3563.70 c #Conflicts: 2412000 | #Constraints: 34126
3551.79/3563.70 c #Conflicts: 2413000 | #Constraints: 35126
3551.79/3563.70 c #Conflicts: 2414000 | #Constraints: 36126
3551.79/3563.70 c #Conflicts: 2415000 | #Constraints: 37126
3551.79/3563.70 c #Conflicts: 2416000 | #Constraints: 38126
3551.79/3563.70 c #Conflicts: 2417000 | #Constraints: 39126
3551.79/3563.70 c #Conflicts: 2418000 | #Constraints: 40126
3551.79/3563.70 c #Conflicts: 2419000 | #Constraints: 41126
3551.79/3563.70 c #Conflicts: 2420000 | #Constraints: 42126
3551.79/3563.70 c #Conflicts: 2421000 | #Constraints: 43126
3551.79/3563.70 c #Conflicts: 2422000 | #Constraints: 44126
3551.79/3563.70 c #Conflicts: 2423000 | #Constraints: 45126
3551.79/3563.70 c #Conflicts: 2424000 | #Constraints: 46126
3551.79/3563.70 c #Conflicts: 2425000 | #Constraints: 47126
3551.79/3563.70 c #Conflicts: 2426000 | #Constraints: 48126
3551.79/3563.70 c #Conflicts: 2427000 | #Constraints: 49126
3551.79/3563.70 c #Conflicts: 2428000 | #Constraints: 50126
3551.79/3563.70 c #Conflicts: 2429000 | #Constraints: 51126
3551.79/3563.70 c #Conflicts: 2430000 | #Constraints: 52126
3551.79/3563.70 c #Conflicts: 2431000 | #Constraints: 53126
3551.79/3563.70 c #Conflicts: 2432000 | #Constraints: 54126
3551.79/3563.70 c #Conflicts: 2433000 | #Constraints: 55126
3551.79/3563.70 c #Conflicts: 2434000 | #Constraints: 56126
3551.79/3563.70 c #Conflicts: 2435000 | #Constraints: 57126
3551.79/3563.70 c #Conflicts: 2436000 | #Constraints: 58126
3551.79/3563.70 c #Conflicts: 2437000 | #Constraints: 59126
3551.79/3563.70 c #Conflicts: 2438000 | #Constraints: 60126
3551.79/3563.70 c #Conflicts: 2439000 | #Constraints: 61126
3551.79/3563.70 c #Conflicts: 2440000 | #Constraints: 62126
3551.79/3563.70 c INPROCESSING
3551.79/3563.70 c GARBAGE COLLECT
3551.79/3563.70 c #Conflicts: 2441000 | #Constraints: 32124
3551.79/3563.70 c #Conflicts: 2442000 | #Constraints: 33124
3551.79/3563.70 c #Conflicts: 2443000 | #Constraints: 34124
3600.02/3612.11 c #Conflicts: 2444000 | #Constraints: 35124
3600.02/3612.11 c #Conflicts: 2445000 | #Constraints: 36124
3600.02/3612.11 c #Conflicts: 2446000 | #Constraints: 37124
3600.02/3612.11 c #Conflicts: 2447000 | #Constraints: 38124
3600.02/3612.11 c #Conflicts: 2448000 | #Constraints: 39124
3600.02/3612.11 c #Conflicts: 2449000 | #Constraints: 40124
3600.02/3612.11 c #Conflicts: 2450000 | #Constraints: 41124
3600.02/3612.11 c #Conflicts: 2451000 | #Constraints: 42124
3600.02/3612.11 c #Conflicts: 2452000 | #Constraints: 43124
3600.02/3612.11 c #Conflicts: 2453000 | #Constraints: 44124
3600.02/3612.11 c #Conflicts: 2454000 | #Constraints: 45124
3600.02/3612.11 c #Conflicts: 2455000 | #Constraints: 46124
3600.02/3612.11 c #Conflicts: 2456000 | #Constraints: 47124
3600.02/3612.11 c #Conflicts: 2457000 | #Constraints: 48124
3600.02/3612.11 c #Conflicts: 2458000 | #Constraints: 49124
3600.02/3612.11 c #Conflicts: 2459000 | #Constraints: 50124
3600.02/3612.11 c #Conflicts: 2460000 | #Constraints: 51124
3600.02/3612.11 c #Conflicts: 2461000 | #Constraints: 52124
3600.02/3612.11 c #Conflicts: 2462000 | #Constraints: 53124
3600.02/3612.11 c #Conflicts: 2463000 | #Constraints: 54124
3600.02/3612.11 c #Conflicts: 2464000 | #Constraints: 55124
3600.02/3612.11 c cpu time 3582.58 s
3600.02/3612.11 c deterministic time 1 1.00e+00
3600.02/3612.11 c optimization time 3582.57 s
3600.02/3612.11 c total solve time 0 s
3600.02/3612.11 c core-guided solve time 0 s
3600.02/3612.11 c propagation time 0.000261 s
3600.02/3612.11 c conflict analysis time 0 s
3600.02/3612.11 c propagations 0
3600.02/3612.11 c resolve steps 0
3600.02/3612.11 c decisions 0
3600.02/3612.11 c conflicts 0
3600.02/3612.11 c restarts 0
3600.02/3612.11 c inprocessing phases 0
3600.02/3612.11 c garbage collections 0 ,( -nan )
3600.02/3612.11 c input clauses 225 ,( 100.00 )
3600.02/3612.11 c input cardinalities 0 ,( 0.00 )
3600.02/3612.11 c input general constraints 0 ,( 0.00 )
3600.02/3612.11 c input average constraint length 4.73
3600.02/3612.11 c input average constraint degree 1.00
3600.02/3612.11 c learned clauses 0 ,( 0.00 )
3600.02/3612.11 c learned cardinalities 0 ,( 0.00 )
3600.02/3612.11 c learned general constraints 0 ,( 0.00 )
3600.02/3612.11 c learned average constraint length 0.00
3600.02/3612.11 c learned average constraint degree 0.00
3600.02/3612.11 c watched CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
3600.02/3612.11 c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.02/3612.11 c watched constraints 0 ,( -nan )
3600.02/3612.11 c counting constraints 0 ,( -nan )
3600.02/3612.11 c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.02/3612.11 c gcd simplifications 0
3600.02/3612.11 c detected cardinalities 0
3600.02/3612.11 c weakened non-implied lits 0
3600.02/3612.11 c weakened non-implying lits 0
3600.02/3612.11 c original variables 225
3600.02/3612.11 c clausal propagations 0
3600.02/3612.11 c cardinality propagations 0
3600.02/3612.11 c watched propagations 0
3600.02/3612.11 c counting propagations 0
3600.02/3612.11 c watch lookups 0
3600.02/3612.11 c watch backjump lookups 0
3600.02/3612.11 c watch checks 0
3600.02/3612.11 c propagation checks 0
3600.02/3612.11 c constraint additions 0
3600.02/3612.11 c trail pops 0
3600.02/3612.11 c formula constraints 225
3600.02/3612.11 c learned constraints 0
3600.02/3612.11 c bound constraints 0
3600.02/3612.11 c core-guided constraints 0
3600.02/3612.11 c encountered formula constraints 0
3600.02/3612.11 c encountered learned constraints 0
3600.02/3612.11 c encountered bound constraints 0
3600.02/3612.11 c encountered core-guided constraints 0
3600.02/3612.11 c LP total time 0 s
3600.02/3612.11 c LP solve time 0 s
3600.02/3612.11 c LP constraints added 0
3600.02/3612.11 c LP constraints removed 0
3600.02/3612.11 c LP pivots internal 0
3600.02/3612.11 c LP pivots root 0
3600.02/3612.11 c LP calls 0
3600.02/3612.11 c LP optimalities 0
3600.02/3612.11 c LP no pivot count 0
3600.02/3612.11 c LP infeasibilities 0
3600.02/3612.11 c LP valid Farkas constraints 0
3600.02/3612.11 c LP learned Farkas constraints 0
3600.02/3612.11 c LP basis resets 0
3600.02/3612.11 c LP cycling count 0
3600.02/3612.11 c LP singular count 0
3600.02/3612.11 c LP no primal count 0
3600.02/3612.11 c LP no farkas count 0
3600.02/3612.11 c LP other issue count 0
3600.02/3612.11 c LP Gomory cuts 0
3600.02/3612.11 c LP learned cuts 0
3600.02/3612.11 c LP deleted cuts 0
3600.02/3612.11 c LP encountered Gomory constraints 0
3600.02/3612.11 c LP encountered Farkas constraints 0
3600.02/3612.11 c LP encountered learned Farkas constraints 0
3600.02/3612.11 c CG auxiliary variables introduced 0
3600.02/3612.11 c CG solutions found 0
3600.02/3612.11 c CG cores constructed 0
3600.02/3612.11 c CG core cardinality constraints returned 0
3600.02/3612.11 c CG unit cores 0
3600.02/3612.11 c CG single cores 0
3600.02/3612.11 c CG blocks removed during cardinality reduction 0
3600.02/3612.11 c CG first core best 0
3600.02/3612.11 c CG decision core best 0
3600.02/3612.11 c CG core reduction tie 0
3600.02/3612.11 c CG core degree average 0.00
3600.02/3612.11 c CG core slack average 0.00
3600.02/3612.11 c CG core upper bound improvements 0
3600.02/3612.11 c STR number of successful calls 0
3600.02/3612.11 c STR number of unsuccessful calls 0
3600.02/3612.11 c STR number of inconclusive calls 0
3600.02/3612.11 c STR number of successful attempts 0
3600.02/3612.11 c STR number of unsuccessful attempts 0
3600.02/3612.11 c STR number of inconclusive attempts 0
3600.02/3612.11 c STR average degree increase per successful call inf
3600.02/3612.11 c STR average degree increase per successful attempt inf
3600.02/3612.11 c STR total number of conflicts for successful attempts 0
3600.02/3612.11 c STR total number of conflicts for unsuccessful attempts 0
3600.02/3612.11 c STR total number of conflicts for inconclusive attempts 0
3600.02/3612.11 c STR average number of conflicts per successful attempt inf
3600.02/3612.11 c STR average number of conflicts per unsuccessful attempt inf
3600.02/3612.11 c STR average number of conflicts per inconclusive attempt inf
3600.02/3612.11 c AVG.sumWPerc -nan
3600.02/3612.11 c bigint constraints 0
3600.02/3612.11 s UNKNOWN
3600.02/3612.11 c Program interrupted by user.
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: 63837 MiB (45034 MiB free)
memory of node 1: 64465 MiB (63163 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488035-1751332833/watcher-4488035-1751332833 -o /tmp/evaluation-result-4488035-1751332833/solver-4488035-1751332833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751329194-41421 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488035-1751332833.opb PROOFDIR/proof-4488035-1751332833
running on 2 cores: 1,3
CPU governors:
performance: 1 3
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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=43009, runsolver pid=43006
Current StackSize limit: 8192 KiB
[startup+0.100079 s]*
/proc/loadavg: 4.16 4.14 4.10 5/264 43011
/proc/meminfo: memFree=110776804/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=61760 memory=12416 CPUtime=0.07 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 999 0 0 0 6 1 0 0 20 0 1 0 48961987 63242240 3104 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 15440 3104 2336 1147 0 2867 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 65952 KiB
Current children cumulated memory: 15488 KiB
[startup+0.218181 s]*
/proc/loadavg: 4.16 4.14 4.10 5/264 43011
/proc/meminfo: memFree=110774788/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=63328 memory=15832 CPUtime=0.18 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 1378 0 0 0 17 1 0 0 20 0 1 0 48961987 64847872 3958 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 15832 3958 2336 1147 0 3259 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 67520 KiB
Current children cumulated memory: 18904 KiB
[startup+0.314166 s]*
/proc/loadavg: 4.16 4.14 4.10 5/264 43011
/proc/meminfo: memFree=110774880/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=63472 memory=16088 CPUtime=0.28 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 1436 0 0 0 26 2 0 0 20 0 1 0 48961987 64995328 4022 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 15868 4022 2336 1147 0 3295 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 67664 KiB
Current children cumulated memory: 19160 KiB
[startup+0.70042 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 43011
/proc/meminfo: memFree=110774880/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=66324 memory=18392 CPUtime=0.65 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 1997 0 0 0 61 4 0 0 20 0 1 0 48961987 67915776 4598 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 16581 4598 2336 1147 0 4008 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 70516 KiB
Current children cumulated memory: 21464 KiB
[startup+1.50039 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 43011
/proc/meminfo: memFree=110766828/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=71164 memory=22488 CPUtime=1.45 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 3023 0 0 0 139 6 0 0 20 0 1 0 48961987 72871936 5622 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 17791 5622 2336 1147 0 5218 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 75356 KiB
Current children cumulated memory: 25560 KiB
[startup+3.11366 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 43011
/proc/meminfo: memFree=110484644/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=72716 memory=25304 CPUtime=3.04 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 3734 0 0 0 292 12 0 0 20 0 1 0 48961987 74461184 6326 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 18179 6326 2336 1147 0 5606 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 76908 KiB
Current children cumulated memory: 28376 KiB
[startup+6.30038 s]
/proc/loadavg: 4.22 4.16 4.10 5/264 43011
/proc/meminfo: memFree=110330804/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=78380 memory=29400 CPUtime=6.21 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 4772 0 0 0 603 18 0 0 20 0 1 0 48961987 80261120 7350 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 19595 7350 2336 1147 0 7022 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 82572 KiB
Current children cumulated memory: 32472 KiB
[startup+12.7004 s]
/proc/loadavg: 4.20 4.15 4.10 5/264 43011
/proc/meminfo: memFree=110163224/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=82420 memory=32344 CPUtime=12.59 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 5515 0 0 0 1233 26 0 0 20 0 1 0 48961987 84398080 8086 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 20605 8086 2336 1147 0 8032 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 86612 KiB
Current children cumulated memory: 35416 KiB
[startup+25.5004 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 43012
/proc/meminfo: memFree=109678644/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=86192 memory=35800 CPUtime=25.35 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 6784 0 0 0 2491 44 0 0 20 0 1 0 48961987 88260608 8950 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 21548 8950 2336 1147 0 8975 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 90384 KiB
Current children cumulated memory: 38872 KiB
[startup+51.1137 s]
/proc/loadavg: 4.26 4.17 4.10 5/263 43012
/proc/meminfo: memFree=108620508/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=96648 memory=43428 CPUtime=50.89 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 8952 0 0 0 5017 72 0 0 20 0 1 0 48961987 98967552 10857 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 24162 10857 2336 1147 0 11589 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 100840 KiB
Current children cumulated memory: 46500 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/264 43015
/proc/meminfo: memFree=107195204/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=101068 memory=48416 CPUtime=101.9 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 10551 0 0 0 10067 123 0 0 20 0 1 0 48961987 103493632 12104 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 25267 12104 2336 1147 0 12694 0
Current children cumulated CPU time: 101.9 s
Current children cumulated vsize: 105260 KiB
Current children cumulated memory: 51488 KiB
[startup+162.3 s]
/proc/loadavg: 4.10 4.14 4.09 5/263 43019
/proc/meminfo: memFree=105750612/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=112952 memory=54132 CPUtime=161.71 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 12612 0 0 0 15989 182 0 0 20 0 1 0 48961987 115662848 13533 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 28238 13533 2336 1147 0 15665 0
Current children cumulated CPU time: 161.71 s
Current children cumulated vsize: 117144 KiB
Current children cumulated memory: 57204 KiB
[startup+222.3 s]
/proc/loadavg: 4.16 4.14 4.09 5/260 43025
/proc/meminfo: memFree=104207040/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=116952 memory=57740 CPUtime=221.53 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 14419 0 0 0 21923 230 0 0 20 0 1 0 48961987 119758848 14435 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 29238 14435 2336 1147 0 16665 0
################
# More data... #
################
/proc/43011/statm: 51745 30247 2336 1147 0 39172 0
Current children cumulated CPU time: 3091.89 s
Current children cumulated vsize: 211172 KiB
Current children cumulated memory: 124060 KiB
[startup+3162.3 s]
/proc/loadavg: 4.06 4.19 4.17 5/260 43706
/proc/meminfo: memFree=77320168/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=207084 memory=121536 CPUtime=3151.7 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 40783 0 0 0 313583 1587 0 0 20 0 1 0 48961987 212054016 30384 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 51771 30384 2336 1147 0 39198 0
Current children cumulated CPU time: 3151.7 s
Current children cumulated vsize: 211276 KiB
Current children cumulated memory: 124608 KiB
[startup+3222.3 s]
/proc/loadavg: 4.07 4.17 4.17 5/262 43712
/proc/meminfo: memFree=76765976/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=208108 memory=122320 CPUtime=3211.5 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 41369 0 0 0 319542 1608 0 0 20 0 1 0 48961987 213102592 30580 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 52027 30580 2336 1147 0 39454 0
Current children cumulated CPU time: 3211.5 s
Current children cumulated vsize: 212300 KiB
Current children cumulated memory: 125392 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.18 4.17 5/263 43719
/proc/meminfo: memFree=76029216/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=212752 memory=127528 CPUtime=3271.28 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 42791 0 0 0 325499 1629 0 0 20 0 1 0 48961987 217858048 31882 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 53188 31882 2336 1147 0 40615 0
Current children cumulated CPU time: 3271.28 s
Current children cumulated vsize: 216944 KiB
Current children cumulated memory: 130600 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.17 4.17 5/263 43721
/proc/meminfo: memFree=75419892/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=212460 memory=127572 CPUtime=3331.1 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 42996 0 0 0 331461 1649 0 0 20 0 1 0 48961987 217559040 31893 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 53115 31893 2336 1147 0 40542 0
Current children cumulated CPU time: 3331.1 s
Current children cumulated vsize: 216652 KiB
Current children cumulated memory: 130644 KiB
[startup+3402.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/263 43723
/proc/meminfo: memFree=74795000/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=213996 memory=128852 CPUtime=3390.91 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 43338 0 0 0 337423 1668 0 0 20 0 1 0 48961987 219131904 32213 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 53499 32213 2336 1147 0 40926 0
Current children cumulated CPU time: 3390.91 s
Current children cumulated vsize: 218188 KiB
Current children cumulated memory: 131924 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.14 4.16 5/262 43725
/proc/meminfo: memFree=74302484/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=215316 memory=130560 CPUtime=3450.72 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 43897 0 0 0 343384 1688 0 0 20 0 1 0 48961987 220483584 32640 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 53829 32640 2336 1147 0 41256 0
Current children cumulated CPU time: 3450.72 s
Current children cumulated vsize: 219508 KiB
Current children cumulated memory: 133632 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.14 4.16 5/259 43727
/proc/meminfo: memFree=73667984/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=214764 memory=130384 CPUtime=3510.52 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 44060 0 0 0 349344 1708 0 0 20 0 1 0 48961987 219918336 32596 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 53691 32596 2336 1147 0 41118 0
Current children cumulated CPU time: 3510.52 s
Current children cumulated vsize: 218956 KiB
Current children cumulated memory: 133456 KiB
[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.15 5/260 43731
/proc/meminfo: memFree=72852240/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=218908 memory=132932 CPUtime=3570.33 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 45102 0 0 0 355300 1733 0 0 20 0 1 0 48961987 224161792 33233 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 54727 33233 2336 1147 0 42154 0
Current children cumulated CPU time: 3570.33 s
Current children cumulated vsize: 223100 KiB
Current children cumulated memory: 136004 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3612.11 s]
/proc/loadavg: 4.05 4.12 4.15 5/260 43824
/proc/meminfo: memFree=124161864/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=218908 memory=133316 CPUtime=3600.02 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 45131 0 0 0 358257 1745 0 0 20 0 1 0 48961987 224161792 33329 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 54727 33329 2336 1147 0 42154 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 223100 KiB
Current children cumulated memory: 136388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3612.12 s]
# the end of solver process 43009 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)
# cumulated CPU time of all completed processes: user=0 s, system=0.004928 s
[startup+3612.13 s]
# the end of solver process 43011 was just reported to runsolver
# Child status: 2
# cumulated CPU time of all completed processes: user=3582.58 s, system=17.4643 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3612.11 s]
/proc/loadavg: 4.05 4.12 4.15 5/260 43824
/proc/meminfo: memFree=124161864/131382120 swapFree=33010684/33010684
[pid=43009] ppid=43006 vsize=4192 memory=3072 CPUtime=0 cores=1,3
/proc/43009/stat : 43009 (run-opt-log.sh) S 43006 43009 41409 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 48961986 4292608 768 18446744073709551615 94395339558912 94395340453445 140726183359344 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94395340692496 94395340740240 94395341217792 140726183364897 140726183365092 140726183365092 140726183370694 0
/proc/43009/statm: 1048 768 704 219 0 110 0
[pid=43011] ppid=43009 vsize=218908 memory=133316 CPUtime=3600.02 cores=1,3
/proc/43011/stat : 43011 (roundingsat) R 43009 43009 41409 0 -1 4194304 45131 0 0 0 358257 1745 0 0 20 0 1 0 48961987 224161792 33329 18446744073709551615 4227072 8923433 140737436387264 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 31289344 140737436391762 140737436391976 140737436391976 140737436397546 0
/proc/43011/statm: 54727 33329 2336 1147 0 42154 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 223100 KiB
Current children cumulated memory: 136388 KiB
Child status: 2
Real time (s): 3612.14
CPU time (s): 3600.04
CPU user time (s): 3582.58
CPU system time (s): 17.4643
CPU usage (%): 99.6653
Max. virtual memory (cumulated for all children) (KiB): 223100
Max. memory (cumulated for all children) (KiB): 136388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3582.58
system time used= 17.4643
maximum resident set size= 133700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45362
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3824328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 446
involuntary context switches= 6347
# summary of solver processes directly reported to runsolver:
# pid: 43009,43011
# total CPU time (s): 3600.04
# total CPU user time (s): 3582.58
# total CPU system time (s): 17.4643
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4372 second user time and 39.4996 second system time
The end
Begin job on nodeC003 at 2025-07-01 03:20:33
IDJOB=4488035
IDBENCH=147228
IDSOLVER=3351
FILE ID=nodeC003/4488035-1751332833
RUNJOBID= nodeC003-1751329194-41421
SLURM_JOB_ID= 9594376
Free space on /tmp= 432732 MiB
SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/sorensson/garden/normalized-g15x15.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4488035-1751332833/watcher-4488035-1751332833 -o /tmp/evaluation-result-4488035-1751332833/solver-4488035-1751332833 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751329194-41421 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4488035-1751332833.opb PROOFDIR/proof-4488035-1751332833
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 83e8c133f6310d52aedf789f310352e0
RANDOM SEED=351618569
nodeC003 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00001f
cpu MHz : 3660.899
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 1197.159
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.831
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.499
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3601.579
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3659.495
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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.515
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
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 : 3700.000
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6983.44
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131382120 kB
MemFree: 110794696 kB
MemAvailable: 128690900 kB
Buffers: 3280 kB
Cached: 18682184 kB
SwapCached: 0 kB
Active: 1546948 kB
Inactive: 18432668 kB
Active(anon): 1312192 kB
Inactive(anon): 0 kB
Active(file): 234756 kB
Inactive(file): 18432668 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010684 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 391952 kB
Writeback: 8 kB
AnonPages: 1297232 kB
Mapped: 116688 kB
Shmem: 17960 kB
KReclaimable: 136812 kB
Slab: 232936 kB
SReclaimable: 136812 kB
SUnreclaim: 96124 kB
KernelStack: 4284 kB
PageTables: 5784 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98701744 kB
Committed_AS: 1797704 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 149560 kB
VmallocChunk: 0 kB
Percpu: 3776 kB
HardwareCorrupted: 0 kB
AnonHugePages: 716800 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191304 kB
DirectMap2M: 11245568 kB
DirectMap1G: 124780544 kB
Free space on /tmp at the end= 432728 MiB
End job on nodeC003 at 2025-07-01 04:20:45