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