0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.00 c [STEP] preprocessing with Papilo
0.00/0.00 c [STEP] solving with SCIP
299.71/300.90 c [STEP] preprocessing done, loading into solver
299.71/300.90 c [STEP] solving
299.71/300.90 c #variables 199 #constraints 16
299.71/300.90 c SMALL=int, LARGE=long long
299.71/300.90 c bounds - >= 0 @ 299.338
299.71/300.90 c stratification level: 32
313.78/315.04 c #Conflicts: 1000 | #Constraints: 1016
313.78/315.04 c #Conflicts: 2000 | #Constraints: 2016
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 3000 | #Constraints: 2020
313.78/315.04 c #Conflicts: 4000 | #Constraints: 3020
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 5000 | #Constraints: 2424
313.78/315.04 c #Conflicts: 6000 | #Constraints: 3424
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 7000 | #Constraints: 2425
313.78/315.04 c #Conflicts: 8000 | #Constraints: 3425
313.78/315.04 c #Conflicts: 9000 | #Constraints: 4425
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 10000 | #Constraints: 3127
313.78/315.04 c #Conflicts: 11000 | #Constraints: 4127
313.78/315.04 c #Conflicts: 12000 | #Constraints: 5127
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 13000 | #Constraints: 3577
313.78/315.04 c #Conflicts: 14000 | #Constraints: 4577
313.78/315.04 c #Conflicts: 15000 | #Constraints: 5577
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 16000 | #Constraints: 3804
313.78/315.04 c #Conflicts: 17000 | #Constraints: 4804
313.78/315.04 c #Conflicts: 18000 | #Constraints: 5804
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 19000 | #Constraints: 3822
313.78/315.04 c #Conflicts: 20000 | #Constraints: 4822
313.78/315.04 c #Conflicts: 21000 | #Constraints: 5822
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 22000 | #Constraints: 3627
313.78/315.04 c #Conflicts: 23000 | #Constraints: 4627
313.78/315.04 c #Conflicts: 24000 | #Constraints: 5627
313.78/315.04 c #Conflicts: 25000 | #Constraints: 6627
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 26000 | #Constraints: 4229
313.78/315.04 c #Conflicts: 27000 | #Constraints: 5229
313.78/315.04 c #Conflicts: 28000 | #Constraints: 6229
313.78/315.04 c #Conflicts: 29000 | #Constraints: 7229
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 30000 | #Constraints: 4631
313.78/315.04 c #Conflicts: 31000 | #Constraints: 5631
313.78/315.04 c #Conflicts: 32000 | #Constraints: 6631
313.78/315.04 c #Conflicts: 33000 | #Constraints: 7631
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 34000 | #Constraints: 4833
313.78/315.04 c #Conflicts: 35000 | #Constraints: 5833
313.78/315.04 c #Conflicts: 36000 | #Constraints: 6833
313.78/315.04 c #Conflicts: 37000 | #Constraints: 7833
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 38000 | #Constraints: 4837
313.78/315.04 c #Conflicts: 39000 | #Constraints: 5837
313.78/315.04 c #Conflicts: 40000 | #Constraints: 6837
313.78/315.04 c #Conflicts: 41000 | #Constraints: 7837
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 42000 | #Constraints: 4639
313.78/315.04 c #Conflicts: 43000 | #Constraints: 5639
313.78/315.04 c #Conflicts: 44000 | #Constraints: 6639
313.78/315.04 c #Conflicts: 45000 | #Constraints: 7639
313.78/315.04 c #Conflicts: 46000 | #Constraints: 8639
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 47000 | #Constraints: 5234
313.78/315.04 c #Conflicts: 48000 | #Constraints: 6234
313.78/315.04 c #Conflicts: 49000 | #Constraints: 7234
313.78/315.04 c #Conflicts: 50000 | #Constraints: 8234
313.78/315.04 c #Conflicts: 51000 | #Constraints: 9234
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 52000 | #Constraints: 5633
313.78/315.04 c #Conflicts: 53000 | #Constraints: 6633
313.78/315.04 c #Conflicts: 54000 | #Constraints: 7633
313.78/315.04 c #Conflicts: 55000 | #Constraints: 8633
313.78/315.04 c #Conflicts: 56000 | #Constraints: 9633
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 57000 | #Constraints: 5829
313.78/315.04 c #Conflicts: 58000 | #Constraints: 6829
313.78/315.04 c #Conflicts: 59000 | #Constraints: 7829
313.78/315.04 c #Conflicts: 60000 | #Constraints: 8829
313.78/315.04 c #Conflicts: 61000 | #Constraints: 9829
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 62000 | #Constraints: 5832
313.78/315.04 c #Conflicts: 63000 | #Constraints: 6832
313.78/315.04 c #Conflicts: 64000 | #Constraints: 7832
313.78/315.04 c #Conflicts: 65000 | #Constraints: 8832
313.78/315.04 c #Conflicts: 66000 | #Constraints: 9832
313.78/315.04 c INPROCESSING
313.78/315.04 c GARBAGE COLLECT
313.78/315.04 c #Conflicts: 67000 | #Constraints: 5634
313.78/315.04 c #Conflicts: 68000 | #Constraints: 6634
347.06/348.47 c #Conflicts: 69000 | #Constraints: 7634
347.06/348.47 c #Conflicts: 70000 | #Constraints: 8634
347.06/348.47 c #Conflicts: 71000 | #Constraints: 9634
347.06/348.47 c #Conflicts: 72000 | #Constraints: 10634
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 73000 | #Constraints: 6232
347.06/348.47 c #Conflicts: 74000 | #Constraints: 7232
347.06/348.47 c #Conflicts: 75000 | #Constraints: 8232
347.06/348.47 c #Conflicts: 76000 | #Constraints: 9232
347.06/348.47 c #Conflicts: 77000 | #Constraints: 10232
347.06/348.47 c #Conflicts: 78000 | #Constraints: 11232
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 79000 | #Constraints: 6639
347.06/348.47 c #Conflicts: 80000 | #Constraints: 7639
347.06/348.47 c #Conflicts: 81000 | #Constraints: 8639
347.06/348.47 c #Conflicts: 82000 | #Constraints: 9639
347.06/348.47 c #Conflicts: 83000 | #Constraints: 10639
347.06/348.47 c #Conflicts: 84000 | #Constraints: 11639
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 85000 | #Constraints: 6843
347.06/348.47 c #Conflicts: 86000 | #Constraints: 7843
347.06/348.47 c #Conflicts: 87000 | #Constraints: 8843
347.06/348.47 c #Conflicts: 88000 | #Constraints: 9843
347.06/348.47 c #Conflicts: 89000 | #Constraints: 10843
347.06/348.47 c #Conflicts: 90000 | #Constraints: 11843
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 91000 | #Constraints: 6841
347.06/348.47 c #Conflicts: 92000 | #Constraints: 7841
347.06/348.47 c #Conflicts: 93000 | #Constraints: 8841
347.06/348.47 c #Conflicts: 94000 | #Constraints: 9841
347.06/348.47 c #Conflicts: 95000 | #Constraints: 10841
347.06/348.47 c #Conflicts: 96000 | #Constraints: 11841
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 97000 | #Constraints: 6640
347.06/348.47 c #Conflicts: 98000 | #Constraints: 7640
347.06/348.47 c #Conflicts: 99000 | #Constraints: 8640
347.06/348.47 c #Conflicts: 100000 | #Constraints: 9640
347.06/348.47 c #Conflicts: 101000 | #Constraints: 10640
347.06/348.47 c #Conflicts: 102000 | #Constraints: 11640
347.06/348.47 c #Conflicts: 103000 | #Constraints: 12640
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 104000 | #Constraints: 7233
347.06/348.47 c #Conflicts: 105000 | #Constraints: 8233
347.06/348.47 c #Conflicts: 106000 | #Constraints: 9233
347.06/348.47 c #Conflicts: 107000 | #Constraints: 10233
347.06/348.47 c #Conflicts: 108000 | #Constraints: 11233
347.06/348.47 c #Conflicts: 109000 | #Constraints: 12233
347.06/348.47 c #Conflicts: 110000 | #Constraints: 13233
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 111000 | #Constraints: 7637
347.06/348.47 c #Conflicts: 112000 | #Constraints: 8637
347.06/348.47 c #Conflicts: 113000 | #Constraints: 9637
347.06/348.47 c #Conflicts: 114000 | #Constraints: 10637
347.06/348.47 c #Conflicts: 115000 | #Constraints: 11637
347.06/348.47 c #Conflicts: 116000 | #Constraints: 12637
347.06/348.47 c #Conflicts: 117000 | #Constraints: 13637
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 118000 | #Constraints: 7837
347.06/348.47 c #Conflicts: 119000 | #Constraints: 8837
347.06/348.47 c #Conflicts: 120000 | #Constraints: 9837
347.06/348.47 c #Conflicts: 121000 | #Constraints: 10837
347.06/348.47 c #Conflicts: 122000 | #Constraints: 11837
347.06/348.47 c #Conflicts: 123000 | #Constraints: 12837
347.06/348.47 c #Conflicts: 124000 | #Constraints: 13837
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 125000 | #Constraints: 7837
347.06/348.47 c #Conflicts: 126000 | #Constraints: 8837
347.06/348.47 c #Conflicts: 127000 | #Constraints: 9837
347.06/348.47 c #Conflicts: 128000 | #Constraints: 10837
347.06/348.47 c #Conflicts: 129000 | #Constraints: 11837
347.06/348.47 c #Conflicts: 130000 | #Constraints: 12837
347.06/348.47 c #Conflicts: 131000 | #Constraints: 13837
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 132000 | #Constraints: 7634
347.06/348.47 c #Conflicts: 133000 | #Constraints: 8634
347.06/348.47 c #Conflicts: 134000 | #Constraints: 9634
347.06/348.47 c #Conflicts: 135000 | #Constraints: 10634
347.06/348.47 c #Conflicts: 136000 | #Constraints: 11634
347.06/348.47 c #Conflicts: 137000 | #Constraints: 12634
347.06/348.47 c #Conflicts: 138000 | #Constraints: 13634
347.06/348.47 c #Conflicts: 139000 | #Constraints: 14634
347.06/348.47 c INPROCESSING
347.06/348.47 c GARBAGE COLLECT
347.06/348.47 c #Conflicts: 140000 | #Constraints: 8235
395.90/397.45 c #Conflicts: 141000 | #Constraints: 9235
395.90/397.45 c #Conflicts: 142000 | #Constraints: 10235
395.90/397.45 c #Conflicts: 143000 | #Constraints: 11235
395.90/397.45 c #Conflicts: 144000 | #Constraints: 12235
395.90/397.45 c #Conflicts: 145000 | #Constraints: 13235
395.90/397.45 c #Conflicts: 146000 | #Constraints: 14235
395.90/397.45 c #Conflicts: 147000 | #Constraints: 15235
395.90/397.45 c INPROCESSING
395.90/397.45 c GARBAGE COLLECT
395.90/397.45 c #Conflicts: 148000 | #Constraints: 8637
395.90/397.45 c #Conflicts: 149000 | #Constraints: 9637
395.90/397.45 c #Conflicts: 150000 | #Constraints: 10637
395.90/397.45 c #Conflicts: 151000 | #Constraints: 11637
395.90/397.45 c #Conflicts: 152000 | #Constraints: 12637
395.90/397.45 c #Conflicts: 153000 | #Constraints: 13637
395.90/397.45 c #Conflicts: 154000 | #Constraints: 14637
395.90/397.45 c #Conflicts: 155000 | #Constraints: 15637
395.90/397.45 c INPROCESSING
395.90/397.45 c GARBAGE COLLECT
395.90/397.45 c #Conflicts: 156000 | #Constraints: 8839
395.90/397.45 c #Conflicts: 157000 | #Constraints: 9839
395.90/397.45 c #Conflicts: 158000 | #Constraints: 10839
395.90/397.45 c #Conflicts: 159000 | #Constraints: 11839
395.90/397.45 c #Conflicts: 160000 | #Constraints: 12839
395.90/397.45 c #Conflicts: 161000 | #Constraints: 13839
395.90/397.45 c #Conflicts: 162000 | #Constraints: 14839
395.90/397.45 c #Conflicts: 163000 | #Constraints: 15839
395.90/397.45 c INPROCESSING
395.90/397.45 c GARBAGE COLLECT
395.90/397.45 c #Conflicts: 164000 | #Constraints: 8842
395.90/397.45 c #Conflicts: 165000 | #Constraints: 9842
395.90/397.45 c #Conflicts: 166000 | #Constraints: 10842
395.90/397.45 c #Conflicts: 167000 | #Constraints: 11842
395.90/397.45 c #Conflicts: 168000 | #Constraints: 12842
395.90/397.45 c #Conflicts: 169000 | #Constraints: 13842
395.90/397.45 c #Conflicts: 170000 | #Constraints: 14842
395.90/397.45 c #Conflicts: 171000 | #Constraints: 15842
395.90/397.45 c INPROCESSING
395.90/397.45 c GARBAGE COLLECT
395.90/397.45 c #Conflicts: 172000 | #Constraints: 8640
395.90/397.45 c #Conflicts: 173000 | #Constraints: 9640
395.90/397.45 c #Conflicts: 174000 | #Constraints: 10640
395.90/397.45 c #Conflicts: 175000 | #Constraints: 11640
395.90/397.45 c #Conflicts: 176000 | #Constraints: 12640
395.90/397.45 c #Conflicts: 177000 | #Constraints: 13640
395.90/397.45 c #Conflicts: 178000 | #Constraints: 14640
395.90/397.45 c #Conflicts: 179000 | #Constraints: 15640
395.90/397.45 c #Conflicts: 180000 | #Constraints: 16640
395.90/397.45 c INPROCESSING
395.90/397.45 c GARBAGE COLLECT
395.90/397.45 c #Conflicts: 181000 | #Constraints: 9237
395.90/397.45 c #Conflicts: 182000 | #Constraints: 10237
395.90/397.45 c #Conflicts: 183000 | #Constraints: 11237
395.90/397.45 c #Conflicts: 184000 | #Constraints: 12237
395.90/397.45 c #Conflicts: 185000 | #Constraints: 13237
395.90/397.45 c #Conflicts: 186000 | #Constraints: 14237
395.90/397.45 c #Conflicts: 187000 | #Constraints: 15237
395.90/397.45 c #Conflicts: 188000 | #Constraints: 16237
395.90/397.45 c #Conflicts: 189000 | #Constraints: 17237
395.90/397.45 c INPROCESSING
395.90/397.45 c GARBAGE COLLECT
395.90/397.45 c #Conflicts: 190000 | #Constraints: 9639
395.90/397.45 c #Conflicts: 191000 | #Constraints: 10639
395.90/397.45 c #Conflicts: 192000 | #Constraints: 11639
395.90/397.45 c #Conflicts: 193000 | #Constraints: 12639
395.90/397.45 c #Conflicts: 194000 | #Constraints: 13639
395.90/397.45 c #Conflicts: 195000 | #Constraints: 14639
395.90/397.45 c #Conflicts: 196000 | #Constraints: 15639
395.90/397.45 c #Conflicts: 197000 | #Constraints: 16639
395.90/397.45 c #Conflicts: 198000 | #Constraints: 17639
395.90/397.45 c INPROCESSING
395.90/397.45 c GARBAGE COLLECT
395.90/397.45 c #Conflicts: 199000 | #Constraints: 9844
395.90/397.45 c #Conflicts: 200000 | #Constraints: 10844
395.90/397.45 c #Conflicts: 201000 | #Constraints: 11844
395.90/397.45 c #Conflicts: 202000 | #Constraints: 12844
395.90/397.45 c #Conflicts: 203000 | #Constraints: 13844
395.90/397.45 c #Conflicts: 204000 | #Constraints: 14844
395.90/397.45 c #Conflicts: 205000 | #Constraints: 15844
395.90/397.45 c #Conflicts: 206000 | #Constraints: 16844
395.90/397.45 c #Conflicts: 207000 | #Constraints: 17844
395.90/397.45 c INPROCESSING
395.90/397.45 c GARBAGE COLLECT
395.90/397.45 c #Conflicts: 208000 | #Constraints: 9840
395.90/397.45 c #Conflicts: 209000 | #Constraints: 10840
395.90/397.45 c #Conflicts: 210000 | #Constraints: 11840
395.90/397.45 c #Conflicts: 211000 | #Constraints: 12840
395.90/397.45 c #Conflicts: 212000 | #Constraints: 13840
395.90/397.45 c #Conflicts: 213000 | #Constraints: 14840
405.67/407.22 c #Conflicts: 214000 | #Constraints: 15840
405.67/407.22 c #Conflicts: 215000 | #Constraints: 16840
405.67/407.22 c #Conflicts: 216000 | #Constraints: 17840
405.67/407.22 c INPROCESSING
405.67/407.22 c GARBAGE COLLECT
405.67/407.22 c #Conflicts: 217000 | #Constraints: 9644
405.67/407.22 c #Conflicts: 218000 | #Constraints: 10644
405.67/407.22 c #Conflicts: 219000 | #Constraints: 11644
405.67/407.22 c #Conflicts: 220000 | #Constraints: 12644
405.67/407.22 c #Conflicts: 221000 | #Constraints: 13644
405.67/407.22 c #Conflicts: 222000 | #Constraints: 14644
405.67/407.22 c #Conflicts: 223000 | #Constraints: 15644
405.67/407.22 c bounds 43 >= 0 @ 404.412
405.67/407.22 c stratification level: 16
405.67/407.23 c bounds 41 >= 0 @ 404.415
405.67/407.23 c stratification level: 8
466.67/468.45 c #Conflicts: 224000 | #Constraints: 16646
466.67/468.45 c #Conflicts: 225000 | #Constraints: 17646
466.67/468.45 c #Conflicts: 226000 | #Constraints: 18646
466.67/468.45 c INPROCESSING
466.67/468.45 c GARBAGE COLLECT
466.67/468.45 c #Conflicts: 227000 | #Constraints: 10241
466.67/468.45 c #Conflicts: 228000 | #Constraints: 11241
466.67/468.45 c #Conflicts: 229000 | #Constraints: 12241
466.67/468.45 c #Conflicts: 230000 | #Constraints: 13241
466.67/468.45 c #Conflicts: 231000 | #Constraints: 14241
466.67/468.45 c #Conflicts: 232000 | #Constraints: 15241
466.67/468.45 c #Conflicts: 233000 | #Constraints: 16241
466.67/468.45 c #Conflicts: 234000 | #Constraints: 17241
466.67/468.45 c #Conflicts: 235000 | #Constraints: 18241
466.67/468.45 c #Conflicts: 236000 | #Constraints: 19241
466.67/468.45 c INPROCESSING
466.67/468.45 c GARBAGE COLLECT
466.67/468.45 c #Conflicts: 237000 | #Constraints: 10639
466.67/468.45 c #Conflicts: 238000 | #Constraints: 11639
466.67/468.45 c #Conflicts: 239000 | #Constraints: 12639
466.67/468.45 c #Conflicts: 240000 | #Constraints: 13639
466.67/468.45 c #Conflicts: 241000 | #Constraints: 14639
466.67/468.45 c #Conflicts: 242000 | #Constraints: 15639
466.67/468.45 c #Conflicts: 243000 | #Constraints: 16639
466.67/468.45 c #Conflicts: 244000 | #Constraints: 17639
466.67/468.45 c #Conflicts: 245000 | #Constraints: 18639
466.67/468.45 c #Conflicts: 246000 | #Constraints: 19639
466.67/468.45 c INPROCESSING
466.67/468.45 c GARBAGE COLLECT
466.67/468.45 c #Conflicts: 247000 | #Constraints: 10844
466.67/468.45 c #Conflicts: 248000 | #Constraints: 11844
466.67/468.45 c #Conflicts: 249000 | #Constraints: 12844
466.67/468.45 c #Conflicts: 250000 | #Constraints: 13844
466.67/468.45 c #Conflicts: 251000 | #Constraints: 14844
466.67/468.45 c #Conflicts: 252000 | #Constraints: 15844
466.67/468.45 c #Conflicts: 253000 | #Constraints: 16844
466.67/468.45 c #Conflicts: 254000 | #Constraints: 17844
466.67/468.45 c #Conflicts: 255000 | #Constraints: 18844
466.67/468.45 c #Conflicts: 256000 | #Constraints: 19844
466.67/468.45 c INPROCESSING
466.67/468.45 c GARBAGE COLLECT
466.67/468.45 c #Conflicts: 257000 | #Constraints: 10838
466.67/468.45 c #Conflicts: 258000 | #Constraints: 11838
466.67/468.45 c #Conflicts: 259000 | #Constraints: 12838
466.67/468.45 c #Conflicts: 260000 | #Constraints: 13838
466.67/468.45 c #Conflicts: 261000 | #Constraints: 14838
466.67/468.45 c #Conflicts: 262000 | #Constraints: 15838
466.67/468.45 c #Conflicts: 263000 | #Constraints: 16838
466.67/468.45 c #Conflicts: 264000 | #Constraints: 17838
466.67/468.45 c #Conflicts: 265000 | #Constraints: 18838
466.67/468.45 c #Conflicts: 266000 | #Constraints: 19838
466.67/468.45 c INPROCESSING
466.67/468.45 c GARBAGE COLLECT
466.67/468.45 c #Conflicts: 267000 | #Constraints: 10639
466.67/468.45 c #Conflicts: 268000 | #Constraints: 11639
466.67/468.45 c #Conflicts: 269000 | #Constraints: 12639
466.67/468.45 c #Conflicts: 270000 | #Constraints: 13639
466.67/468.45 c #Conflicts: 271000 | #Constraints: 14639
466.67/468.45 c #Conflicts: 272000 | #Constraints: 15639
466.67/468.45 c #Conflicts: 273000 | #Constraints: 16639
466.67/468.45 c #Conflicts: 274000 | #Constraints: 17639
466.67/468.45 c #Conflicts: 275000 | #Constraints: 18639
466.67/468.45 c #Conflicts: 276000 | #Constraints: 19639
466.67/468.45 c #Conflicts: 277000 | #Constraints: 20639
466.67/468.45 c INPROCESSING
466.67/468.45 c GARBAGE COLLECT
466.67/468.45 c #Conflicts: 278000 | #Constraints: 11237
466.67/468.45 c #Conflicts: 279000 | #Constraints: 12237
466.67/468.45 c #Conflicts: 280000 | #Constraints: 13237
466.67/468.45 c #Conflicts: 281000 | #Constraints: 14237
466.67/468.45 c #Conflicts: 282000 | #Constraints: 15237
466.67/468.45 c #Conflicts: 283000 | #Constraints: 16237
466.67/468.45 c #Conflicts: 284000 | #Constraints: 17237
466.67/468.45 c #Conflicts: 285000 | #Constraints: 18237
466.67/468.45 c #Conflicts: 286000 | #Constraints: 19237
466.67/468.45 c #Conflicts: 287000 | #Constraints: 20237
466.67/468.45 c #Conflicts: 288000 | #Constraints: 21237
466.67/468.45 c INPROCESSING
466.67/468.45 c GARBAGE COLLECT
466.67/468.45 c #Conflicts: 289000 | #Constraints: 11638
466.67/468.45 c #Conflicts: 290000 | #Constraints: 12638
466.67/468.45 c #Conflicts: 291000 | #Constraints: 13638
466.67/468.45 c #Conflicts: 292000 | #Constraints: 14638
466.67/468.45 c #Conflicts: 293000 | #Constraints: 15638
466.67/468.45 c #Conflicts: 294000 | #Constraints: 16638
466.67/468.45 c #Conflicts: 295000 | #Constraints: 17638
466.67/468.45 c #Conflicts: 296000 | #Constraints: 18638
466.67/468.45 c #Conflicts: 297000 | #Constraints: 19638
466.67/468.45 c #Conflicts: 298000 | #Constraints: 20638
540.35/542.37 c #Conflicts: 299000 | #Constraints: 21638
540.35/542.37 c INPROCESSING
540.35/542.37 c GARBAGE COLLECT
540.35/542.37 c #Conflicts: 300000 | #Constraints: 11838
540.35/542.37 c #Conflicts: 301000 | #Constraints: 12838
540.35/542.37 c #Conflicts: 302000 | #Constraints: 13838
540.35/542.37 c #Conflicts: 303000 | #Constraints: 14838
540.35/542.37 c #Conflicts: 304000 | #Constraints: 15838
540.35/542.37 c #Conflicts: 305000 | #Constraints: 16838
540.35/542.37 c #Conflicts: 306000 | #Constraints: 17838
540.35/542.37 c #Conflicts: 307000 | #Constraints: 18838
540.35/542.37 c #Conflicts: 308000 | #Constraints: 19838
540.35/542.37 c #Conflicts: 309000 | #Constraints: 20838
540.35/542.37 c #Conflicts: 310000 | #Constraints: 21838
540.35/542.37 c INPROCESSING
540.35/542.37 c GARBAGE COLLECT
540.35/542.37 c #Conflicts: 311000 | #Constraints: 11837
540.35/542.37 c #Conflicts: 312000 | #Constraints: 12837
540.35/542.37 c #Conflicts: 313000 | #Constraints: 13837
540.35/542.37 c #Conflicts: 314000 | #Constraints: 14837
540.35/542.37 c #Conflicts: 315000 | #Constraints: 15837
540.35/542.37 c #Conflicts: 316000 | #Constraints: 16837
540.35/542.37 c #Conflicts: 317000 | #Constraints: 17837
540.35/542.37 c #Conflicts: 318000 | #Constraints: 18837
540.35/542.37 c #Conflicts: 319000 | #Constraints: 19837
540.35/542.37 c #Conflicts: 320000 | #Constraints: 20837
540.35/542.37 c #Conflicts: 321000 | #Constraints: 21837
540.35/542.37 c INPROCESSING
540.35/542.37 c GARBAGE COLLECT
540.35/542.37 c #Conflicts: 322000 | #Constraints: 11640
540.35/542.37 c #Conflicts: 323000 | #Constraints: 12640
540.35/542.37 c #Conflicts: 324000 | #Constraints: 13640
540.35/542.37 c #Conflicts: 325000 | #Constraints: 14640
540.35/542.37 c #Conflicts: 326000 | #Constraints: 15640
540.35/542.37 c #Conflicts: 327000 | #Constraints: 16640
540.35/542.37 c #Conflicts: 328000 | #Constraints: 17640
540.35/542.37 c #Conflicts: 329000 | #Constraints: 18640
540.35/542.37 c #Conflicts: 330000 | #Constraints: 19640
540.35/542.37 c #Conflicts: 331000 | #Constraints: 20640
540.35/542.37 c #Conflicts: 332000 | #Constraints: 21640
540.35/542.37 c #Conflicts: 333000 | #Constraints: 22640
540.35/542.37 c INPROCESSING
540.35/542.37 c GARBAGE COLLECT
540.35/542.37 c #Conflicts: 334000 | #Constraints: 12238
540.35/542.37 c #Conflicts: 335000 | #Constraints: 13238
540.35/542.37 c #Conflicts: 336000 | #Constraints: 14238
540.35/542.37 c #Conflicts: 337000 | #Constraints: 15238
540.35/542.37 c #Conflicts: 338000 | #Constraints: 16238
540.35/542.37 c #Conflicts: 339000 | #Constraints: 17238
540.35/542.37 c #Conflicts: 340000 | #Constraints: 18238
540.35/542.37 c #Conflicts: 341000 | #Constraints: 19238
540.35/542.37 c #Conflicts: 342000 | #Constraints: 20238
540.35/542.37 c #Conflicts: 343000 | #Constraints: 21238
540.35/542.37 c #Conflicts: 344000 | #Constraints: 22238
540.35/542.37 c #Conflicts: 345000 | #Constraints: 23238
540.35/542.37 c INPROCESSING
540.35/542.37 c GARBAGE COLLECT
540.35/542.37 c #Conflicts: 346000 | #Constraints: 12642
540.35/542.37 c #Conflicts: 347000 | #Constraints: 13642
540.35/542.37 c #Conflicts: 348000 | #Constraints: 14642
540.35/542.37 c #Conflicts: 349000 | #Constraints: 15642
540.35/542.37 c #Conflicts: 350000 | #Constraints: 16642
540.35/542.37 c #Conflicts: 351000 | #Constraints: 17642
540.35/542.37 c #Conflicts: 352000 | #Constraints: 18642
540.35/542.37 c #Conflicts: 353000 | #Constraints: 19642
540.35/542.37 c #Conflicts: 354000 | #Constraints: 20642
540.35/542.37 c #Conflicts: 355000 | #Constraints: 21642
540.35/542.37 c #Conflicts: 356000 | #Constraints: 22642
540.35/542.37 c #Conflicts: 357000 | #Constraints: 23642
540.35/542.37 c INPROCESSING
540.35/542.37 c GARBAGE COLLECT
540.35/542.37 c #Conflicts: 358000 | #Constraints: 12841
540.35/542.37 c #Conflicts: 359000 | #Constraints: 13841
540.35/542.37 c #Conflicts: 360000 | #Constraints: 14841
540.35/542.37 c #Conflicts: 361000 | #Constraints: 15841
540.35/542.37 c #Conflicts: 362000 | #Constraints: 16841
540.35/542.37 c #Conflicts: 363000 | #Constraints: 17841
540.35/542.37 c #Conflicts: 364000 | #Constraints: 18841
540.35/542.37 c #Conflicts: 365000 | #Constraints: 19841
540.35/542.37 c #Conflicts: 366000 | #Constraints: 20841
540.35/542.37 c #Conflicts: 367000 | #Constraints: 21841
540.35/542.37 c #Conflicts: 368000 | #Constraints: 22841
540.35/542.37 c #Conflicts: 369000 | #Constraints: 23841
540.35/542.37 c INPROCESSING
540.35/542.37 c GARBAGE COLLECT
540.35/542.37 c #Conflicts: 370000 | #Constraints: 12841
540.35/542.37 c #Conflicts: 371000 | #Constraints: 13841
540.35/542.37 c #Conflicts: 372000 | #Constraints: 14841
626.26/628.56 c #Conflicts: 373000 | #Constraints: 15841
626.26/628.56 c #Conflicts: 374000 | #Constraints: 16841
626.26/628.56 c #Conflicts: 375000 | #Constraints: 17841
626.26/628.56 c #Conflicts: 376000 | #Constraints: 18841
626.26/628.56 c #Conflicts: 377000 | #Constraints: 19841
626.26/628.56 c #Conflicts: 378000 | #Constraints: 20841
626.26/628.56 c #Conflicts: 379000 | #Constraints: 21841
626.26/628.56 c #Conflicts: 380000 | #Constraints: 22841
626.26/628.56 c #Conflicts: 381000 | #Constraints: 23841
626.26/628.56 c INPROCESSING
626.26/628.56 c GARBAGE COLLECT
626.26/628.56 c #Conflicts: 382000 | #Constraints: 12639
626.26/628.56 c #Conflicts: 383000 | #Constraints: 13639
626.26/628.56 c #Conflicts: 384000 | #Constraints: 14639
626.26/628.56 c #Conflicts: 385000 | #Constraints: 15639
626.26/628.56 c #Conflicts: 386000 | #Constraints: 16639
626.26/628.56 c #Conflicts: 387000 | #Constraints: 17639
626.26/628.56 c #Conflicts: 388000 | #Constraints: 18639
626.26/628.56 c #Conflicts: 389000 | #Constraints: 19639
626.26/628.56 c #Conflicts: 390000 | #Constraints: 20639
626.26/628.56 c #Conflicts: 391000 | #Constraints: 21639
626.26/628.56 c #Conflicts: 392000 | #Constraints: 22639
626.26/628.56 c #Conflicts: 393000 | #Constraints: 23639
626.26/628.56 c #Conflicts: 394000 | #Constraints: 24639
626.26/628.56 c INPROCESSING
626.26/628.56 c GARBAGE COLLECT
626.26/628.56 c #Conflicts: 395000 | #Constraints: 13238
626.26/628.56 c #Conflicts: 396000 | #Constraints: 14238
626.26/628.56 c #Conflicts: 397000 | #Constraints: 15238
626.26/628.56 c #Conflicts: 398000 | #Constraints: 16238
626.26/628.56 c #Conflicts: 399000 | #Constraints: 17238
626.26/628.56 c #Conflicts: 400000 | #Constraints: 18238
626.26/628.56 c #Conflicts: 401000 | #Constraints: 19238
626.26/628.56 c #Conflicts: 402000 | #Constraints: 20238
626.26/628.56 c #Conflicts: 403000 | #Constraints: 21238
626.26/628.56 c #Conflicts: 404000 | #Constraints: 22238
626.26/628.56 c #Conflicts: 405000 | #Constraints: 23238
626.26/628.56 c #Conflicts: 406000 | #Constraints: 24238
626.26/628.56 c #Conflicts: 407000 | #Constraints: 25238
626.26/628.56 c INPROCESSING
626.26/628.56 c GARBAGE COLLECT
626.26/628.56 c #Conflicts: 408000 | #Constraints: 13639
626.26/628.56 c #Conflicts: 409000 | #Constraints: 14639
626.26/628.56 c #Conflicts: 410000 | #Constraints: 15639
626.26/628.56 c #Conflicts: 411000 | #Constraints: 16639
626.26/628.56 c #Conflicts: 412000 | #Constraints: 17639
626.26/628.56 c #Conflicts: 413000 | #Constraints: 18639
626.26/628.56 c #Conflicts: 414000 | #Constraints: 19639
626.26/628.56 c #Conflicts: 415000 | #Constraints: 20639
626.26/628.56 c #Conflicts: 416000 | #Constraints: 21639
626.26/628.56 c #Conflicts: 417000 | #Constraints: 22639
626.26/628.56 c #Conflicts: 418000 | #Constraints: 23639
626.26/628.56 c #Conflicts: 419000 | #Constraints: 24639
626.26/628.56 c #Conflicts: 420000 | #Constraints: 25639
626.26/628.56 c INPROCESSING
626.26/628.56 c GARBAGE COLLECT
626.26/628.56 c #Conflicts: 421000 | #Constraints: 13841
626.26/628.56 c #Conflicts: 422000 | #Constraints: 14841
626.26/628.56 c #Conflicts: 423000 | #Constraints: 15841
626.26/628.56 c #Conflicts: 424000 | #Constraints: 16841
626.26/628.56 c #Conflicts: 425000 | #Constraints: 17841
626.26/628.56 c #Conflicts: 426000 | #Constraints: 18841
626.26/628.56 c #Conflicts: 427000 | #Constraints: 19841
626.26/628.56 c #Conflicts: 428000 | #Constraints: 20841
626.26/628.56 c #Conflicts: 429000 | #Constraints: 21841
626.26/628.56 c #Conflicts: 430000 | #Constraints: 22841
626.26/628.56 c #Conflicts: 431000 | #Constraints: 23841
626.26/628.56 c #Conflicts: 432000 | #Constraints: 24841
626.26/628.56 c #Conflicts: 433000 | #Constraints: 25841
626.26/628.56 c INPROCESSING
626.26/628.56 c GARBAGE COLLECT
626.26/628.56 c #Conflicts: 434000 | #Constraints: 13842
626.26/628.56 c #Conflicts: 435000 | #Constraints: 14842
626.26/628.56 c #Conflicts: 436000 | #Constraints: 15842
626.26/628.56 c #Conflicts: 437000 | #Constraints: 16842
626.26/628.56 c #Conflicts: 438000 | #Constraints: 17842
626.26/628.56 c #Conflicts: 439000 | #Constraints: 18842
626.26/628.56 c #Conflicts: 440000 | #Constraints: 19842
626.26/628.56 c #Conflicts: 441000 | #Constraints: 20842
626.26/628.56 c #Conflicts: 442000 | #Constraints: 21842
626.26/628.56 c #Conflicts: 443000 | #Constraints: 22842
626.26/628.56 c #Conflicts: 444000 | #Constraints: 23842
626.26/628.56 c #Conflicts: 445000 | #Constraints: 24842
626.26/628.56 c #Conflicts: 446000 | #Constraints: 25842
626.26/628.56 c INPROCESSING
626.26/628.56 c GARBAGE COLLECT
626.26/628.56 c #Conflicts: 447000 | #Constraints: 13643
704.81/707.34 c #Conflicts: 448000 | #Constraints: 14643
704.81/707.34 c #Conflicts: 449000 | #Constraints: 15643
704.81/707.34 c #Conflicts: 450000 | #Constraints: 16643
704.81/707.34 c #Conflicts: 451000 | #Constraints: 17643
704.81/707.34 c #Conflicts: 452000 | #Constraints: 18643
704.81/707.34 c #Conflicts: 453000 | #Constraints: 19643
704.81/707.34 c #Conflicts: 454000 | #Constraints: 20643
704.81/707.34 c #Conflicts: 455000 | #Constraints: 21643
704.81/707.34 c #Conflicts: 456000 | #Constraints: 22643
704.81/707.34 c #Conflicts: 457000 | #Constraints: 23643
704.81/707.34 c #Conflicts: 458000 | #Constraints: 24643
704.81/707.34 c #Conflicts: 459000 | #Constraints: 25643
704.81/707.34 c #Conflicts: 460000 | #Constraints: 26643
704.81/707.34 c INPROCESSING
704.81/707.34 c GARBAGE COLLECT
704.81/707.34 c #Conflicts: 461000 | #Constraints: 14243
704.81/707.34 c #Conflicts: 462000 | #Constraints: 15243
704.81/707.34 c #Conflicts: 463000 | #Constraints: 16243
704.81/707.34 c #Conflicts: 464000 | #Constraints: 17243
704.81/707.34 c #Conflicts: 465000 | #Constraints: 18243
704.81/707.34 c #Conflicts: 466000 | #Constraints: 19243
704.81/707.34 c #Conflicts: 467000 | #Constraints: 20243
704.81/707.34 c #Conflicts: 468000 | #Constraints: 21243
704.81/707.34 c #Conflicts: 469000 | #Constraints: 22243
704.81/707.34 c #Conflicts: 470000 | #Constraints: 23243
704.81/707.34 c #Conflicts: 471000 | #Constraints: 24243
704.81/707.34 c #Conflicts: 472000 | #Constraints: 25243
704.81/707.34 c #Conflicts: 473000 | #Constraints: 26243
704.81/707.34 c #Conflicts: 474000 | #Constraints: 27243
704.81/707.34 c INPROCESSING
704.81/707.34 c GARBAGE COLLECT
704.81/707.34 c #Conflicts: 475000 | #Constraints: 14639
704.81/707.34 c #Conflicts: 476000 | #Constraints: 15639
704.81/707.34 c #Conflicts: 477000 | #Constraints: 16639
704.81/707.34 c #Conflicts: 478000 | #Constraints: 17639
704.81/707.34 c #Conflicts: 479000 | #Constraints: 18639
704.81/707.34 c #Conflicts: 480000 | #Constraints: 19639
704.81/707.34 c #Conflicts: 481000 | #Constraints: 20639
704.81/707.34 c #Conflicts: 482000 | #Constraints: 21639
704.81/707.34 c #Conflicts: 483000 | #Constraints: 22639
704.81/707.34 c #Conflicts: 484000 | #Constraints: 23639
704.81/707.34 c #Conflicts: 485000 | #Constraints: 24639
704.81/707.34 c #Conflicts: 486000 | #Constraints: 25639
704.81/707.34 c #Conflicts: 487000 | #Constraints: 26639
704.81/707.34 c #Conflicts: 488000 | #Constraints: 27639
704.81/707.34 c INPROCESSING
704.81/707.34 c GARBAGE COLLECT
704.81/707.34 c #Conflicts: 489000 | #Constraints: 14842
704.81/707.34 c #Conflicts: 490000 | #Constraints: 15842
704.81/707.34 c #Conflicts: 491000 | #Constraints: 16842
704.81/707.34 c #Conflicts: 492000 | #Constraints: 17842
704.81/707.34 c #Conflicts: 493000 | #Constraints: 18842
704.81/707.34 c #Conflicts: 494000 | #Constraints: 19842
704.81/707.34 c #Conflicts: 495000 | #Constraints: 20842
704.81/707.34 c #Conflicts: 496000 | #Constraints: 21842
704.81/707.34 c #Conflicts: 497000 | #Constraints: 22842
704.81/707.34 c #Conflicts: 498000 | #Constraints: 23842
704.81/707.34 c #Conflicts: 499000 | #Constraints: 24842
704.81/707.34 c #Conflicts: 500000 | #Constraints: 25842
704.81/707.34 c #Conflicts: 501000 | #Constraints: 26842
704.81/707.34 c #Conflicts: 502000 | #Constraints: 27842
704.81/707.34 c INPROCESSING
704.81/707.34 c GARBAGE COLLECT
704.81/707.34 c #Conflicts: 503000 | #Constraints: 14846
704.81/707.34 c #Conflicts: 504000 | #Constraints: 15846
704.81/707.34 c #Conflicts: 505000 | #Constraints: 16846
704.81/707.34 c #Conflicts: 506000 | #Constraints: 17846
704.81/707.34 c bounds 40 >= 0 @ 702.176
704.81/707.34 c stratification level: 4
798.12/801.00 c #Conflicts: 507000 | #Constraints: 18847
798.12/801.00 c #Conflicts: 508000 | #Constraints: 19847
798.12/801.00 c #Conflicts: 509000 | #Constraints: 20847
798.12/801.00 c #Conflicts: 510000 | #Constraints: 21847
798.12/801.00 c #Conflicts: 511000 | #Constraints: 22847
798.12/801.00 c #Conflicts: 512000 | #Constraints: 23847
798.12/801.00 c #Conflicts: 513000 | #Constraints: 24847
798.12/801.00 c #Conflicts: 514000 | #Constraints: 25847
798.12/801.00 c #Conflicts: 515000 | #Constraints: 26847
798.12/801.00 c #Conflicts: 516000 | #Constraints: 27847
798.12/801.00 c INPROCESSING
798.12/801.00 c GARBAGE COLLECT
798.12/801.00 c #Conflicts: 517000 | #Constraints: 14641
798.12/801.00 c #Conflicts: 518000 | #Constraints: 15641
798.12/801.00 c #Conflicts: 519000 | #Constraints: 16641
798.12/801.00 c #Conflicts: 520000 | #Constraints: 17641
798.12/801.00 c #Conflicts: 521000 | #Constraints: 18641
798.12/801.00 c #Conflicts: 522000 | #Constraints: 19641
798.12/801.00 c #Conflicts: 523000 | #Constraints: 20641
798.12/801.00 c #Conflicts: 524000 | #Constraints: 21641
798.12/801.00 c #Conflicts: 525000 | #Constraints: 22641
798.12/801.00 c #Conflicts: 526000 | #Constraints: 23641
798.12/801.00 c #Conflicts: 527000 | #Constraints: 24641
798.12/801.00 c #Conflicts: 528000 | #Constraints: 25641
798.12/801.00 c #Conflicts: 529000 | #Constraints: 26641
798.12/801.00 c #Conflicts: 530000 | #Constraints: 27641
798.12/801.00 c #Conflicts: 531000 | #Constraints: 28641
798.12/801.00 c INPROCESSING
798.12/801.00 c GARBAGE COLLECT
798.12/801.00 c #Conflicts: 532000 | #Constraints: 15239
798.12/801.00 c #Conflicts: 533000 | #Constraints: 16239
798.12/801.00 c #Conflicts: 534000 | #Constraints: 17239
798.12/801.00 c #Conflicts: 535000 | #Constraints: 18239
798.12/801.00 c #Conflicts: 536000 | #Constraints: 19239
798.12/801.00 c #Conflicts: 537000 | #Constraints: 20239
798.12/801.00 c #Conflicts: 538000 | #Constraints: 21239
798.12/801.00 c #Conflicts: 539000 | #Constraints: 22239
798.12/801.00 c #Conflicts: 540000 | #Constraints: 23239
798.12/801.00 c #Conflicts: 541000 | #Constraints: 24239
798.12/801.00 c #Conflicts: 542000 | #Constraints: 25239
798.12/801.00 c #Conflicts: 543000 | #Constraints: 26239
798.12/801.00 c #Conflicts: 544000 | #Constraints: 27239
798.12/801.00 c #Conflicts: 545000 | #Constraints: 28239
798.12/801.00 c #Conflicts: 546000 | #Constraints: 29239
798.12/801.00 c INPROCESSING
798.12/801.00 c GARBAGE COLLECT
798.12/801.00 c #Conflicts: 547000 | #Constraints: 15639
798.12/801.00 c #Conflicts: 548000 | #Constraints: 16639
798.12/801.00 c #Conflicts: 549000 | #Constraints: 17639
798.12/801.00 c #Conflicts: 550000 | #Constraints: 18639
798.12/801.00 c #Conflicts: 551000 | #Constraints: 19639
798.12/801.00 c #Conflicts: 552000 | #Constraints: 20639
798.12/801.00 c #Conflicts: 553000 | #Constraints: 21639
798.12/801.00 c #Conflicts: 554000 | #Constraints: 22639
798.12/801.00 c #Conflicts: 555000 | #Constraints: 23639
798.12/801.00 c #Conflicts: 556000 | #Constraints: 24639
798.12/801.00 c #Conflicts: 557000 | #Constraints: 25639
798.12/801.00 c #Conflicts: 558000 | #Constraints: 26639
798.12/801.00 c #Conflicts: 559000 | #Constraints: 27639
798.12/801.00 c #Conflicts: 560000 | #Constraints: 28639
798.12/801.00 c #Conflicts: 561000 | #Constraints: 29639
798.12/801.00 c INPROCESSING
798.12/801.00 c GARBAGE COLLECT
798.12/801.00 c #Conflicts: 562000 | #Constraints: 15838
798.12/801.00 c #Conflicts: 563000 | #Constraints: 16838
798.12/801.00 c #Conflicts: 564000 | #Constraints: 17838
798.12/801.00 c #Conflicts: 565000 | #Constraints: 18838
798.12/801.00 c #Conflicts: 566000 | #Constraints: 19838
798.12/801.00 c #Conflicts: 567000 | #Constraints: 20838
798.12/801.00 c #Conflicts: 568000 | #Constraints: 21838
798.12/801.00 c #Conflicts: 569000 | #Constraints: 22838
798.12/801.00 c #Conflicts: 570000 | #Constraints: 23838
798.12/801.00 c #Conflicts: 571000 | #Constraints: 24838
798.12/801.00 c #Conflicts: 572000 | #Constraints: 25838
798.12/801.00 c #Conflicts: 573000 | #Constraints: 26838
798.12/801.00 c #Conflicts: 574000 | #Constraints: 27838
798.12/801.00 c #Conflicts: 575000 | #Constraints: 28838
798.12/801.00 c #Conflicts: 576000 | #Constraints: 29838
798.12/801.00 c INPROCESSING
798.12/801.00 c GARBAGE COLLECT
798.12/801.00 c #Conflicts: 577000 | #Constraints: 15837
798.12/801.00 c #Conflicts: 578000 | #Constraints: 16837
798.12/801.00 c #Conflicts: 579000 | #Constraints: 17837
798.12/801.00 c #Conflicts: 580000 | #Constraints: 18837
798.12/801.00 c #Conflicts: 581000 | #Constraints: 19837
798.12/801.00 c #Conflicts: 582000 | #Constraints: 20837
900.80/903.96 c #Conflicts: 583000 | #Constraints: 21837
900.80/903.96 c #Conflicts: 584000 | #Constraints: 22837
900.80/903.96 c #Conflicts: 585000 | #Constraints: 23837
900.80/903.96 c #Conflicts: 586000 | #Constraints: 24837
900.80/903.96 c #Conflicts: 587000 | #Constraints: 25837
900.80/903.96 c #Conflicts: 588000 | #Constraints: 26837
900.80/903.96 c #Conflicts: 589000 | #Constraints: 27837
900.80/903.96 c #Conflicts: 590000 | #Constraints: 28837
900.80/903.96 c #Conflicts: 591000 | #Constraints: 29837
900.80/903.96 c INPROCESSING
900.80/903.96 c GARBAGE COLLECT
900.80/903.96 c #Conflicts: 592000 | #Constraints: 15637
900.80/903.96 c #Conflicts: 593000 | #Constraints: 16637
900.80/903.96 c #Conflicts: 594000 | #Constraints: 17637
900.80/903.96 c #Conflicts: 595000 | #Constraints: 18637
900.80/903.96 c #Conflicts: 596000 | #Constraints: 19637
900.80/903.96 c #Conflicts: 597000 | #Constraints: 20637
900.80/903.96 c #Conflicts: 598000 | #Constraints: 21637
900.80/903.96 c #Conflicts: 599000 | #Constraints: 22637
900.80/903.96 c #Conflicts: 600000 | #Constraints: 23637
900.80/903.96 c #Conflicts: 601000 | #Constraints: 24637
900.80/903.96 c #Conflicts: 602000 | #Constraints: 25637
900.80/903.96 c #Conflicts: 603000 | #Constraints: 26637
900.80/903.96 c #Conflicts: 604000 | #Constraints: 27637
900.80/903.96 c #Conflicts: 605000 | #Constraints: 28637
900.80/903.96 c #Conflicts: 606000 | #Constraints: 29637
900.80/903.96 c #Conflicts: 607000 | #Constraints: 30637
900.80/903.96 c INPROCESSING
900.80/903.96 c GARBAGE COLLECT
900.80/903.96 c #Conflicts: 608000 | #Constraints: 16238
900.80/903.96 c #Conflicts: 609000 | #Constraints: 17238
900.80/903.96 c #Conflicts: 610000 | #Constraints: 18238
900.80/903.96 c #Conflicts: 611000 | #Constraints: 19238
900.80/903.96 c #Conflicts: 612000 | #Constraints: 20238
900.80/903.96 c #Conflicts: 613000 | #Constraints: 21238
900.80/903.96 c #Conflicts: 614000 | #Constraints: 22238
900.80/903.96 c #Conflicts: 615000 | #Constraints: 23238
900.80/903.96 c #Conflicts: 616000 | #Constraints: 24238
900.80/903.96 c #Conflicts: 617000 | #Constraints: 25238
900.80/903.96 c #Conflicts: 618000 | #Constraints: 26238
900.80/903.96 c #Conflicts: 619000 | #Constraints: 27238
900.80/903.96 c #Conflicts: 620000 | #Constraints: 28238
900.80/903.96 c #Conflicts: 621000 | #Constraints: 29238
900.80/903.96 c #Conflicts: 622000 | #Constraints: 30238
900.80/903.96 c #Conflicts: 623000 | #Constraints: 31238
900.80/903.96 c INPROCESSING
900.80/903.96 c GARBAGE COLLECT
900.80/903.96 c #Conflicts: 624000 | #Constraints: 16637
900.80/903.96 c #Conflicts: 625000 | #Constraints: 17637
900.80/903.96 c #Conflicts: 626000 | #Constraints: 18637
900.80/903.96 c #Conflicts: 627000 | #Constraints: 19637
900.80/903.96 c #Conflicts: 628000 | #Constraints: 20637
900.80/903.96 c #Conflicts: 629000 | #Constraints: 21637
900.80/903.96 c #Conflicts: 630000 | #Constraints: 22637
900.80/903.96 c #Conflicts: 631000 | #Constraints: 23637
900.80/903.96 c #Conflicts: 632000 | #Constraints: 24637
900.80/903.96 c #Conflicts: 633000 | #Constraints: 25637
900.80/903.96 c #Conflicts: 634000 | #Constraints: 26637
900.80/903.96 c #Conflicts: 635000 | #Constraints: 27637
900.80/903.96 c #Conflicts: 636000 | #Constraints: 28637
900.80/903.96 c #Conflicts: 637000 | #Constraints: 29637
900.80/903.96 c #Conflicts: 638000 | #Constraints: 30637
900.80/903.96 c #Conflicts: 639000 | #Constraints: 31637
900.80/903.96 c INPROCESSING
900.80/903.96 c GARBAGE COLLECT
900.80/903.96 c #Conflicts: 640000 | #Constraints: 16835
900.80/903.96 c #Conflicts: 641000 | #Constraints: 17835
900.80/903.96 c #Conflicts: 642000 | #Constraints: 18835
900.80/903.96 c #Conflicts: 643000 | #Constraints: 19835
900.80/903.96 c #Conflicts: 644000 | #Constraints: 20835
900.80/903.96 c #Conflicts: 645000 | #Constraints: 21835
900.80/903.96 c #Conflicts: 646000 | #Constraints: 22835
900.80/903.96 c #Conflicts: 647000 | #Constraints: 23835
900.80/903.96 c #Conflicts: 648000 | #Constraints: 24835
900.80/903.96 c #Conflicts: 649000 | #Constraints: 25835
900.80/903.96 c #Conflicts: 650000 | #Constraints: 26835
900.80/903.96 c #Conflicts: 651000 | #Constraints: 27835
900.80/903.96 c #Conflicts: 652000 | #Constraints: 28835
900.80/903.96 c #Conflicts: 653000 | #Constraints: 29835
900.80/903.96 c #Conflicts: 654000 | #Constraints: 30835
900.80/903.96 c #Conflicts: 655000 | #Constraints: 31835
900.80/903.96 c INPROCESSING
900.80/903.96 c GARBAGE COLLECT
900.80/903.96 c #Conflicts: 656000 | #Constraints: 16838
900.80/903.96 c #Conflicts: 657000 | #Constraints: 17838
900.80/903.96 c #Conflicts: 658000 | #Constraints: 18838
1013.35/1016.85 c #Conflicts: 659000 | #Constraints: 19838
1013.35/1016.85 c #Conflicts: 660000 | #Constraints: 20838
1013.35/1016.85 c #Conflicts: 661000 | #Constraints: 21838
1013.35/1016.85 c #Conflicts: 662000 | #Constraints: 22838
1013.35/1016.85 c #Conflicts: 663000 | #Constraints: 23838
1013.35/1016.85 c #Conflicts: 664000 | #Constraints: 24838
1013.35/1016.85 c #Conflicts: 665000 | #Constraints: 25838
1013.35/1016.85 c #Conflicts: 666000 | #Constraints: 26838
1013.35/1016.85 c #Conflicts: 667000 | #Constraints: 27838
1013.35/1016.85 c #Conflicts: 668000 | #Constraints: 28838
1013.35/1016.85 c #Conflicts: 669000 | #Constraints: 29838
1013.35/1016.85 c #Conflicts: 670000 | #Constraints: 30838
1013.35/1016.85 c #Conflicts: 671000 | #Constraints: 31838
1013.35/1016.85 c INPROCESSING
1013.35/1016.85 c GARBAGE COLLECT
1013.35/1016.85 c #Conflicts: 672000 | #Constraints: 16635
1013.35/1016.85 c #Conflicts: 673000 | #Constraints: 17635
1013.35/1016.85 c #Conflicts: 674000 | #Constraints: 18635
1013.35/1016.85 c #Conflicts: 675000 | #Constraints: 19635
1013.35/1016.85 c #Conflicts: 676000 | #Constraints: 20635
1013.35/1016.85 c #Conflicts: 677000 | #Constraints: 21635
1013.35/1016.85 c #Conflicts: 678000 | #Constraints: 22635
1013.35/1016.85 c #Conflicts: 679000 | #Constraints: 23635
1013.35/1016.85 c #Conflicts: 680000 | #Constraints: 24635
1013.35/1016.85 c #Conflicts: 681000 | #Constraints: 25635
1013.35/1016.85 c #Conflicts: 682000 | #Constraints: 26635
1013.35/1016.85 c #Conflicts: 683000 | #Constraints: 27635
1013.35/1016.85 c #Conflicts: 684000 | #Constraints: 28635
1013.35/1016.85 c #Conflicts: 685000 | #Constraints: 29635
1013.35/1016.85 c #Conflicts: 686000 | #Constraints: 30635
1013.35/1016.85 c #Conflicts: 687000 | #Constraints: 31635
1013.35/1016.85 c #Conflicts: 688000 | #Constraints: 32635
1013.35/1016.85 c INPROCESSING
1013.35/1016.85 c GARBAGE COLLECT
1013.35/1016.85 c #Conflicts: 689000 | #Constraints: 17236
1013.35/1016.85 c #Conflicts: 690000 | #Constraints: 18236
1013.35/1016.85 c #Conflicts: 691000 | #Constraints: 19236
1013.35/1016.85 c #Conflicts: 692000 | #Constraints: 20236
1013.35/1016.85 c #Conflicts: 693000 | #Constraints: 21236
1013.35/1016.85 c #Conflicts: 694000 | #Constraints: 22236
1013.35/1016.85 c #Conflicts: 695000 | #Constraints: 23236
1013.35/1016.85 c #Conflicts: 696000 | #Constraints: 24236
1013.35/1016.85 c #Conflicts: 697000 | #Constraints: 25236
1013.35/1016.85 c #Conflicts: 698000 | #Constraints: 26236
1013.35/1016.85 c #Conflicts: 699000 | #Constraints: 27236
1013.35/1016.85 c #Conflicts: 700000 | #Constraints: 28236
1013.35/1016.85 c #Conflicts: 701000 | #Constraints: 29236
1013.35/1016.85 c #Conflicts: 702000 | #Constraints: 30236
1013.35/1016.85 c #Conflicts: 703000 | #Constraints: 31236
1013.35/1016.85 c #Conflicts: 704000 | #Constraints: 32236
1013.35/1016.85 c #Conflicts: 705000 | #Constraints: 33236
1013.35/1016.85 c INPROCESSING
1013.35/1016.85 c GARBAGE COLLECT
1013.35/1016.85 c #Conflicts: 706000 | #Constraints: 17637
1013.35/1016.85 c #Conflicts: 707000 | #Constraints: 18637
1013.35/1016.85 c #Conflicts: 708000 | #Constraints: 19637
1013.35/1016.85 c #Conflicts: 709000 | #Constraints: 20637
1013.35/1016.85 c #Conflicts: 710000 | #Constraints: 21637
1013.35/1016.85 c #Conflicts: 711000 | #Constraints: 22637
1013.35/1016.85 c #Conflicts: 712000 | #Constraints: 23637
1013.35/1016.85 c #Conflicts: 713000 | #Constraints: 24637
1013.35/1016.85 c #Conflicts: 714000 | #Constraints: 25637
1013.35/1016.85 c #Conflicts: 715000 | #Constraints: 26637
1013.35/1016.85 c #Conflicts: 716000 | #Constraints: 27637
1013.35/1016.85 c #Conflicts: 717000 | #Constraints: 28637
1013.35/1016.85 c #Conflicts: 718000 | #Constraints: 29637
1013.35/1016.85 c #Conflicts: 719000 | #Constraints: 30637
1013.35/1016.85 c #Conflicts: 720000 | #Constraints: 31637
1013.35/1016.85 c #Conflicts: 721000 | #Constraints: 32637
1013.35/1016.85 c #Conflicts: 722000 | #Constraints: 33637
1013.35/1016.85 c INPROCESSING
1013.35/1016.85 c GARBAGE COLLECT
1013.35/1016.85 c #Conflicts: 723000 | #Constraints: 17840
1013.35/1016.85 c #Conflicts: 724000 | #Constraints: 18840
1013.35/1016.85 c #Conflicts: 725000 | #Constraints: 19840
1013.35/1016.85 c #Conflicts: 726000 | #Constraints: 20840
1013.35/1016.85 c #Conflicts: 727000 | #Constraints: 21840
1013.35/1016.85 c #Conflicts: 728000 | #Constraints: 22840
1013.35/1016.85 c #Conflicts: 729000 | #Constraints: 23840
1013.35/1016.85 c #Conflicts: 730000 | #Constraints: 24840
1013.35/1016.85 c #Conflicts: 731000 | #Constraints: 25840
1013.35/1016.85 c #Conflicts: 732000 | #Constraints: 26840
1013.35/1016.85 c #Conflicts: 733000 | #Constraints: 27840
1013.35/1016.85 c #Conflicts: 734000 | #Constraints: 28840
1134.38/1138.20 c #Conflicts: 735000 | #Constraints: 29840
1134.38/1138.20 c #Conflicts: 736000 | #Constraints: 30840
1134.38/1138.20 c #Conflicts: 737000 | #Constraints: 31840
1134.38/1138.20 c #Conflicts: 738000 | #Constraints: 32840
1134.38/1138.20 c #Conflicts: 739000 | #Constraints: 33840
1134.38/1138.20 c INPROCESSING
1134.38/1138.20 c GARBAGE COLLECT
1134.38/1138.20 c #Conflicts: 740000 | #Constraints: 17840
1134.38/1138.20 c #Conflicts: 741000 | #Constraints: 18840
1134.38/1138.20 c #Conflicts: 742000 | #Constraints: 19840
1134.38/1138.20 c #Conflicts: 743000 | #Constraints: 20840
1134.38/1138.20 c #Conflicts: 744000 | #Constraints: 21840
1134.38/1138.20 c #Conflicts: 745000 | #Constraints: 22840
1134.38/1138.20 c #Conflicts: 746000 | #Constraints: 23840
1134.38/1138.20 c #Conflicts: 747000 | #Constraints: 24840
1134.38/1138.20 c #Conflicts: 748000 | #Constraints: 25840
1134.38/1138.20 c #Conflicts: 749000 | #Constraints: 26840
1134.38/1138.20 c #Conflicts: 750000 | #Constraints: 27840
1134.38/1138.20 c #Conflicts: 751000 | #Constraints: 28840
1134.38/1138.20 c #Conflicts: 752000 | #Constraints: 29840
1134.38/1138.20 c #Conflicts: 753000 | #Constraints: 30840
1134.38/1138.20 c #Conflicts: 754000 | #Constraints: 31840
1134.38/1138.20 c #Conflicts: 755000 | #Constraints: 32840
1134.38/1138.20 c #Conflicts: 756000 | #Constraints: 33840
1134.38/1138.20 c INPROCESSING
1134.38/1138.20 c GARBAGE COLLECT
1134.38/1138.20 c #Conflicts: 757000 | #Constraints: 17637
1134.38/1138.20 c #Conflicts: 758000 | #Constraints: 18637
1134.38/1138.20 c #Conflicts: 759000 | #Constraints: 19637
1134.38/1138.20 c #Conflicts: 760000 | #Constraints: 20637
1134.38/1138.20 c #Conflicts: 761000 | #Constraints: 21637
1134.38/1138.20 c #Conflicts: 762000 | #Constraints: 22637
1134.38/1138.20 c #Conflicts: 763000 | #Constraints: 23637
1134.38/1138.20 c #Conflicts: 764000 | #Constraints: 24637
1134.38/1138.20 c #Conflicts: 765000 | #Constraints: 25637
1134.38/1138.20 c #Conflicts: 766000 | #Constraints: 26637
1134.38/1138.20 c #Conflicts: 767000 | #Constraints: 27637
1134.38/1138.20 c #Conflicts: 768000 | #Constraints: 28637
1134.38/1138.20 c #Conflicts: 769000 | #Constraints: 29637
1134.38/1138.20 c #Conflicts: 770000 | #Constraints: 30637
1134.38/1138.20 c #Conflicts: 771000 | #Constraints: 31637
1134.38/1138.20 c #Conflicts: 772000 | #Constraints: 32637
1134.38/1138.20 c #Conflicts: 773000 | #Constraints: 33637
1134.38/1138.20 c #Conflicts: 774000 | #Constraints: 34637
1134.38/1138.20 c INPROCESSING
1134.38/1138.20 c GARBAGE COLLECT
1134.38/1138.20 c #Conflicts: 775000 | #Constraints: 18236
1134.38/1138.20 c #Conflicts: 776000 | #Constraints: 19236
1134.38/1138.20 c #Conflicts: 777000 | #Constraints: 20236
1134.38/1138.20 c #Conflicts: 778000 | #Constraints: 21236
1134.38/1138.20 c #Conflicts: 779000 | #Constraints: 22236
1134.38/1138.20 c #Conflicts: 780000 | #Constraints: 23236
1134.38/1138.20 c #Conflicts: 781000 | #Constraints: 24236
1134.38/1138.20 c #Conflicts: 782000 | #Constraints: 25236
1134.38/1138.20 c #Conflicts: 783000 | #Constraints: 26236
1134.38/1138.20 c #Conflicts: 784000 | #Constraints: 27236
1134.38/1138.20 c #Conflicts: 785000 | #Constraints: 28236
1134.38/1138.20 c #Conflicts: 786000 | #Constraints: 29236
1134.38/1138.20 c #Conflicts: 787000 | #Constraints: 30236
1134.38/1138.20 c #Conflicts: 788000 | #Constraints: 31236
1134.38/1138.20 c #Conflicts: 789000 | #Constraints: 32236
1134.38/1138.20 c #Conflicts: 790000 | #Constraints: 33236
1134.38/1138.20 c #Conflicts: 791000 | #Constraints: 34236
1134.38/1138.20 c #Conflicts: 792000 | #Constraints: 35236
1134.38/1138.20 c INPROCESSING
1134.38/1138.20 c GARBAGE COLLECT
1134.38/1138.20 c #Conflicts: 793000 | #Constraints: 18640
1134.38/1138.20 c #Conflicts: 794000 | #Constraints: 19640
1134.38/1138.20 c #Conflicts: 795000 | #Constraints: 20640
1134.38/1138.20 c #Conflicts: 796000 | #Constraints: 21640
1134.38/1138.20 c #Conflicts: 797000 | #Constraints: 22640
1134.38/1138.20 c #Conflicts: 798000 | #Constraints: 23640
1134.38/1138.20 c #Conflicts: 799000 | #Constraints: 24640
1134.38/1138.20 c #Conflicts: 800000 | #Constraints: 25640
1134.38/1138.20 c #Conflicts: 801000 | #Constraints: 26640
1134.38/1138.20 c #Conflicts: 802000 | #Constraints: 27640
1134.38/1138.20 c #Conflicts: 803000 | #Constraints: 28640
1134.38/1138.20 c #Conflicts: 804000 | #Constraints: 29640
1134.38/1138.20 c #Conflicts: 805000 | #Constraints: 30640
1134.38/1138.20 c #Conflicts: 806000 | #Constraints: 31640
1134.38/1138.20 c #Conflicts: 807000 | #Constraints: 32640
1134.38/1138.20 c #Conflicts: 808000 | #Constraints: 33640
1134.38/1138.20 c #Conflicts: 809000 | #Constraints: 34640
1134.38/1138.20 c #Conflicts: 810000 | #Constraints: 35640
1261.09/1265.34 c INPROCESSING
1261.09/1265.34 c GARBAGE COLLECT
1261.09/1265.34 c #Conflicts: 811000 | #Constraints: 18842
1261.09/1265.34 c #Conflicts: 812000 | #Constraints: 19842
1261.09/1265.34 c #Conflicts: 813000 | #Constraints: 20842
1261.09/1265.34 c #Conflicts: 814000 | #Constraints: 21842
1261.09/1265.34 c #Conflicts: 815000 | #Constraints: 22842
1261.09/1265.34 c #Conflicts: 816000 | #Constraints: 23842
1261.09/1265.34 c #Conflicts: 817000 | #Constraints: 24842
1261.09/1265.34 c #Conflicts: 818000 | #Constraints: 25842
1261.09/1265.34 c #Conflicts: 819000 | #Constraints: 26842
1261.09/1265.34 c #Conflicts: 820000 | #Constraints: 27842
1261.09/1265.34 c #Conflicts: 821000 | #Constraints: 28842
1261.09/1265.34 c #Conflicts: 822000 | #Constraints: 29842
1261.09/1265.34 c #Conflicts: 823000 | #Constraints: 30842
1261.09/1265.34 c #Conflicts: 824000 | #Constraints: 31842
1261.09/1265.34 c #Conflicts: 825000 | #Constraints: 32842
1261.09/1265.34 c #Conflicts: 826000 | #Constraints: 33842
1261.09/1265.34 c #Conflicts: 827000 | #Constraints: 34842
1261.09/1265.34 c #Conflicts: 828000 | #Constraints: 35842
1261.09/1265.34 c INPROCESSING
1261.09/1265.34 c GARBAGE COLLECT
1261.09/1265.34 c #Conflicts: 829000 | #Constraints: 18844
1261.09/1265.34 c #Conflicts: 830000 | #Constraints: 19844
1261.09/1265.34 c #Conflicts: 831000 | #Constraints: 20844
1261.09/1265.34 c #Conflicts: 832000 | #Constraints: 21844
1261.09/1265.34 c #Conflicts: 833000 | #Constraints: 22844
1261.09/1265.34 c #Conflicts: 834000 | #Constraints: 23844
1261.09/1265.34 c #Conflicts: 835000 | #Constraints: 24844
1261.09/1265.34 c #Conflicts: 836000 | #Constraints: 25844
1261.09/1265.34 c #Conflicts: 837000 | #Constraints: 26844
1261.09/1265.34 c #Conflicts: 838000 | #Constraints: 27844
1261.09/1265.34 c #Conflicts: 839000 | #Constraints: 28844
1261.09/1265.34 c #Conflicts: 840000 | #Constraints: 29844
1261.09/1265.34 c #Conflicts: 841000 | #Constraints: 30844
1261.09/1265.34 c #Conflicts: 842000 | #Constraints: 31844
1261.09/1265.34 c #Conflicts: 843000 | #Constraints: 32844
1261.09/1265.34 c #Conflicts: 844000 | #Constraints: 33844
1261.09/1265.34 c #Conflicts: 845000 | #Constraints: 34844
1261.09/1265.34 c #Conflicts: 846000 | #Constraints: 35844
1261.09/1265.34 c INPROCESSING
1261.09/1265.34 c GARBAGE COLLECT
1261.09/1265.34 c #Conflicts: 847000 | #Constraints: 18641
1261.09/1265.34 c #Conflicts: 848000 | #Constraints: 19641
1261.09/1265.34 c #Conflicts: 849000 | #Constraints: 20641
1261.09/1265.34 c #Conflicts: 850000 | #Constraints: 21641
1261.09/1265.34 c #Conflicts: 851000 | #Constraints: 22641
1261.09/1265.34 c #Conflicts: 852000 | #Constraints: 23641
1261.09/1265.34 c #Conflicts: 853000 | #Constraints: 24641
1261.09/1265.34 c #Conflicts: 854000 | #Constraints: 25641
1261.09/1265.34 c #Conflicts: 855000 | #Constraints: 26641
1261.09/1265.34 c #Conflicts: 856000 | #Constraints: 27641
1261.09/1265.34 c #Conflicts: 857000 | #Constraints: 28641
1261.09/1265.34 c #Conflicts: 858000 | #Constraints: 29641
1261.09/1265.34 c #Conflicts: 859000 | #Constraints: 30641
1261.09/1265.34 c #Conflicts: 860000 | #Constraints: 31641
1261.09/1265.34 c #Conflicts: 861000 | #Constraints: 32641
1261.09/1265.34 c #Conflicts: 862000 | #Constraints: 33641
1261.09/1265.34 c #Conflicts: 863000 | #Constraints: 34641
1261.09/1265.34 c #Conflicts: 864000 | #Constraints: 35641
1261.09/1265.34 c #Conflicts: 865000 | #Constraints: 36641
1261.09/1265.34 c INPROCESSING
1261.09/1265.34 c GARBAGE COLLECT
1261.09/1265.34 c #Conflicts: 866000 | #Constraints: 19240
1261.09/1265.34 c #Conflicts: 867000 | #Constraints: 20240
1261.09/1265.34 c #Conflicts: 868000 | #Constraints: 21240
1261.09/1265.34 c #Conflicts: 869000 | #Constraints: 22240
1261.09/1265.34 c #Conflicts: 870000 | #Constraints: 23240
1261.09/1265.34 c #Conflicts: 871000 | #Constraints: 24240
1261.09/1265.34 c #Conflicts: 872000 | #Constraints: 25240
1261.09/1265.34 c #Conflicts: 873000 | #Constraints: 26240
1261.09/1265.34 c #Conflicts: 874000 | #Constraints: 27240
1261.09/1265.34 c #Conflicts: 875000 | #Constraints: 28240
1261.09/1265.34 c #Conflicts: 876000 | #Constraints: 29240
1261.09/1265.34 c #Conflicts: 877000 | #Constraints: 30240
1261.09/1265.34 c #Conflicts: 878000 | #Constraints: 31240
1261.09/1265.34 c #Conflicts: 879000 | #Constraints: 32240
1261.09/1265.34 c #Conflicts: 880000 | #Constraints: 33240
1261.09/1265.34 c #Conflicts: 881000 | #Constraints: 34240
1261.09/1265.34 c #Conflicts: 882000 | #Constraints: 35240
1261.09/1265.34 c #Conflicts: 883000 | #Constraints: 36240
1261.09/1265.34 c #Conflicts: 884000 | #Constraints: 37240
1261.09/1265.34 c INPROCESSING
1261.09/1265.34 c GARBAGE COLLECT
1261.09/1265.34 c #Conflicts: 885000 | #Constraints: 19639
1261.09/1265.34 c #Conflicts: 886000 | #Constraints: 20639
1398.45/1403.15 c #Conflicts: 887000 | #Constraints: 21639
1398.45/1403.15 c #Conflicts: 888000 | #Constraints: 22639
1398.45/1403.15 c #Conflicts: 889000 | #Constraints: 23639
1398.45/1403.15 c #Conflicts: 890000 | #Constraints: 24639
1398.45/1403.15 c #Conflicts: 891000 | #Constraints: 25639
1398.45/1403.15 c #Conflicts: 892000 | #Constraints: 26639
1398.45/1403.15 c #Conflicts: 893000 | #Constraints: 27639
1398.45/1403.15 c #Conflicts: 894000 | #Constraints: 28639
1398.45/1403.15 c #Conflicts: 895000 | #Constraints: 29639
1398.45/1403.15 c #Conflicts: 896000 | #Constraints: 30639
1398.45/1403.15 c #Conflicts: 897000 | #Constraints: 31639
1398.45/1403.15 c #Conflicts: 898000 | #Constraints: 32639
1398.45/1403.15 c #Conflicts: 899000 | #Constraints: 33639
1398.45/1403.15 c #Conflicts: 900000 | #Constraints: 34639
1398.45/1403.15 c #Conflicts: 901000 | #Constraints: 35639
1398.45/1403.15 c #Conflicts: 902000 | #Constraints: 36639
1398.45/1403.15 c #Conflicts: 903000 | #Constraints: 37639
1398.45/1403.15 c INPROCESSING
1398.45/1403.15 c GARBAGE COLLECT
1398.45/1403.15 c #Conflicts: 904000 | #Constraints: 19840
1398.45/1403.15 c #Conflicts: 905000 | #Constraints: 20840
1398.45/1403.15 c #Conflicts: 906000 | #Constraints: 21840
1398.45/1403.15 c #Conflicts: 907000 | #Constraints: 22840
1398.45/1403.15 c #Conflicts: 908000 | #Constraints: 23840
1398.45/1403.15 c #Conflicts: 909000 | #Constraints: 24840
1398.45/1403.15 c #Conflicts: 910000 | #Constraints: 25840
1398.45/1403.15 c #Conflicts: 911000 | #Constraints: 26840
1398.45/1403.15 c #Conflicts: 912000 | #Constraints: 27840
1398.45/1403.15 c #Conflicts: 913000 | #Constraints: 28840
1398.45/1403.15 c #Conflicts: 914000 | #Constraints: 29840
1398.45/1403.15 c #Conflicts: 915000 | #Constraints: 30840
1398.45/1403.15 c #Conflicts: 916000 | #Constraints: 31840
1398.45/1403.15 c #Conflicts: 917000 | #Constraints: 32840
1398.45/1403.15 c #Conflicts: 918000 | #Constraints: 33840
1398.45/1403.15 c #Conflicts: 919000 | #Constraints: 34840
1398.45/1403.15 c #Conflicts: 920000 | #Constraints: 35840
1398.45/1403.15 c #Conflicts: 921000 | #Constraints: 36840
1398.45/1403.15 c #Conflicts: 922000 | #Constraints: 37840
1398.45/1403.15 c INPROCESSING
1398.45/1403.15 c GARBAGE COLLECT
1398.45/1403.15 c #Conflicts: 923000 | #Constraints: 19839
1398.45/1403.15 c #Conflicts: 924000 | #Constraints: 20839
1398.45/1403.15 c #Conflicts: 925000 | #Constraints: 21839
1398.45/1403.15 c #Conflicts: 926000 | #Constraints: 22839
1398.45/1403.15 c #Conflicts: 927000 | #Constraints: 23839
1398.45/1403.15 c #Conflicts: 928000 | #Constraints: 24839
1398.45/1403.15 c #Conflicts: 929000 | #Constraints: 25839
1398.45/1403.15 c #Conflicts: 930000 | #Constraints: 26839
1398.45/1403.15 c #Conflicts: 931000 | #Constraints: 27839
1398.45/1403.15 c #Conflicts: 932000 | #Constraints: 28839
1398.45/1403.15 c #Conflicts: 933000 | #Constraints: 29839
1398.45/1403.15 c #Conflicts: 934000 | #Constraints: 30839
1398.45/1403.15 c #Conflicts: 935000 | #Constraints: 31839
1398.45/1403.15 c #Conflicts: 936000 | #Constraints: 32839
1398.45/1403.15 c #Conflicts: 937000 | #Constraints: 33839
1398.45/1403.15 c #Conflicts: 938000 | #Constraints: 34839
1398.45/1403.15 c #Conflicts: 939000 | #Constraints: 35839
1398.45/1403.15 c #Conflicts: 940000 | #Constraints: 36839
1398.45/1403.15 c #Conflicts: 941000 | #Constraints: 37839
1398.45/1403.15 c INPROCESSING
1398.45/1403.15 c GARBAGE COLLECT
1398.45/1403.15 c #Conflicts: 942000 | #Constraints: 19643
1398.45/1403.15 c #Conflicts: 943000 | #Constraints: 20643
1398.45/1403.15 c #Conflicts: 944000 | #Constraints: 21643
1398.45/1403.15 c #Conflicts: 945000 | #Constraints: 22643
1398.45/1403.15 c #Conflicts: 946000 | #Constraints: 23643
1398.45/1403.15 c #Conflicts: 947000 | #Constraints: 24643
1398.45/1403.15 c #Conflicts: 948000 | #Constraints: 25643
1398.45/1403.15 c #Conflicts: 949000 | #Constraints: 26643
1398.45/1403.15 c #Conflicts: 950000 | #Constraints: 27643
1398.45/1403.15 c #Conflicts: 951000 | #Constraints: 28643
1398.45/1403.15 c #Conflicts: 952000 | #Constraints: 29643
1398.45/1403.15 c #Conflicts: 953000 | #Constraints: 30643
1398.45/1403.15 c #Conflicts: 954000 | #Constraints: 31643
1398.45/1403.15 c #Conflicts: 955000 | #Constraints: 32643
1398.45/1403.15 c #Conflicts: 956000 | #Constraints: 33643
1398.45/1403.15 c #Conflicts: 957000 | #Constraints: 34643
1398.45/1403.15 c #Conflicts: 958000 | #Constraints: 35643
1398.45/1403.15 c #Conflicts: 959000 | #Constraints: 36643
1398.45/1403.15 c #Conflicts: 960000 | #Constraints: 37643
1398.45/1403.15 c #Conflicts: 961000 | #Constraints: 38643
1398.45/1403.15 c INPROCESSING
1398.45/1403.15 c GARBAGE COLLECT
1398.45/1403.15 c #Conflicts: 962000 | #Constraints: 20242
1579.86/1585.19 c #Conflicts: 963000 | #Constraints: 21242
1579.86/1585.19 c #Conflicts: 964000 | #Constraints: 22242
1579.86/1585.19 c #Conflicts: 965000 | #Constraints: 23242
1579.86/1585.19 c #Conflicts: 966000 | #Constraints: 24242
1579.86/1585.19 c #Conflicts: 967000 | #Constraints: 25242
1579.86/1585.19 c #Conflicts: 968000 | #Constraints: 26242
1579.86/1585.19 c #Conflicts: 969000 | #Constraints: 27242
1579.86/1585.19 c #Conflicts: 970000 | #Constraints: 28242
1579.86/1585.19 c #Conflicts: 971000 | #Constraints: 29242
1579.86/1585.19 c #Conflicts: 972000 | #Constraints: 30242
1579.86/1585.19 c #Conflicts: 973000 | #Constraints: 31242
1579.86/1585.19 c #Conflicts: 974000 | #Constraints: 32242
1579.86/1585.19 c #Conflicts: 975000 | #Constraints: 33242
1579.86/1585.19 c #Conflicts: 976000 | #Constraints: 34242
1579.86/1585.19 c #Conflicts: 977000 | #Constraints: 35242
1579.86/1585.19 c #Conflicts: 978000 | #Constraints: 36242
1579.86/1585.19 c #Conflicts: 979000 | #Constraints: 37242
1579.86/1585.19 c #Conflicts: 980000 | #Constraints: 38242
1579.86/1585.19 c #Conflicts: 981000 | #Constraints: 39242
1579.86/1585.19 c INPROCESSING
1579.86/1585.19 c GARBAGE COLLECT
1579.86/1585.19 c #Conflicts: 982000 | #Constraints: 20646
1579.86/1585.19 c #Conflicts: 983000 | #Constraints: 21646
1579.86/1585.19 c #Conflicts: 984000 | #Constraints: 22646
1579.86/1585.19 c #Conflicts: 985000 | #Constraints: 23646
1579.86/1585.19 c #Conflicts: 986000 | #Constraints: 24646
1579.86/1585.19 c #Conflicts: 987000 | #Constraints: 25646
1579.86/1585.19 c #Conflicts: 988000 | #Constraints: 26646
1579.86/1585.19 c #Conflicts: 989000 | #Constraints: 27646
1579.86/1585.19 c #Conflicts: 990000 | #Constraints: 28646
1579.86/1585.19 c #Conflicts: 991000 | #Constraints: 29646
1579.86/1585.19 c #Conflicts: 992000 | #Constraints: 30646
1579.86/1585.19 c #Conflicts: 993000 | #Constraints: 31646
1579.86/1585.19 c #Conflicts: 994000 | #Constraints: 32646
1579.86/1585.19 c #Conflicts: 995000 | #Constraints: 33646
1579.86/1585.19 c #Conflicts: 996000 | #Constraints: 34646
1579.86/1585.19 c #Conflicts: 997000 | #Constraints: 35646
1579.86/1585.19 c #Conflicts: 998000 | #Constraints: 36646
1579.86/1585.19 c #Conflicts: 999000 | #Constraints: 37646
1579.86/1585.19 c #Conflicts: 1000000 | #Constraints: 38646
1579.86/1585.19 c #Conflicts: 1001000 | #Constraints: 39646
1579.86/1585.19 c INPROCESSING
1579.86/1585.19 c GARBAGE COLLECT
1579.86/1585.19 c #Conflicts: 1002000 | #Constraints: 20846
1579.86/1585.19 c #Conflicts: 1003000 | #Constraints: 21846
1579.86/1585.19 c #Conflicts: 1004000 | #Constraints: 22846
1579.86/1585.19 c #Conflicts: 1005000 | #Constraints: 23846
1579.86/1585.19 c #Conflicts: 1006000 | #Constraints: 24846
1579.86/1585.19 c #Conflicts: 1007000 | #Constraints: 25846
1579.86/1585.19 c #Conflicts: 1008000 | #Constraints: 26846
1579.86/1585.19 c #Conflicts: 1009000 | #Constraints: 27846
1579.86/1585.19 c #Conflicts: 1010000 | #Constraints: 28846
1579.86/1585.19 c #Conflicts: 1011000 | #Constraints: 29846
1579.86/1585.19 c #Conflicts: 1012000 | #Constraints: 30846
1579.86/1585.19 c #Conflicts: 1013000 | #Constraints: 31846
1579.86/1585.19 c #Conflicts: 1014000 | #Constraints: 32846
1579.86/1585.19 c #Conflicts: 1015000 | #Constraints: 33846
1579.86/1585.19 c #Conflicts: 1016000 | #Constraints: 34846
1579.86/1585.19 c #Conflicts: 1017000 | #Constraints: 35846
1579.86/1585.19 c #Conflicts: 1018000 | #Constraints: 36846
1579.86/1585.19 c #Conflicts: 1019000 | #Constraints: 37846
1579.86/1585.19 c #Conflicts: 1020000 | #Constraints: 38846
1579.86/1585.19 c #Conflicts: 1021000 | #Constraints: 39846
1579.86/1585.19 c INPROCESSING
1579.86/1585.19 c GARBAGE COLLECT
1579.86/1585.19 c #Conflicts: 1022000 | #Constraints: 20844
1579.86/1585.19 c #Conflicts: 1023000 | #Constraints: 21844
1579.86/1585.19 c #Conflicts: 1024000 | #Constraints: 22844
1579.86/1585.19 c #Conflicts: 1025000 | #Constraints: 23844
1579.86/1585.19 c #Conflicts: 1026000 | #Constraints: 24844
1579.86/1585.19 c #Conflicts: 1027000 | #Constraints: 25844
1579.86/1585.19 c #Conflicts: 1028000 | #Constraints: 26844
1579.86/1585.19 c #Conflicts: 1029000 | #Constraints: 27844
1579.86/1585.19 c #Conflicts: 1030000 | #Constraints: 28844
1579.86/1585.19 c #Conflicts: 1031000 | #Constraints: 29844
1579.86/1585.19 c #Conflicts: 1032000 | #Constraints: 30844
1579.86/1585.19 c #Conflicts: 1033000 | #Constraints: 31844
1579.86/1585.19 c #Conflicts: 1034000 | #Constraints: 32844
1579.86/1585.19 c #Conflicts: 1035000 | #Constraints: 33844
1579.86/1585.19 c #Conflicts: 1036000 | #Constraints: 34844
1579.86/1585.19 c #Conflicts: 1037000 | #Constraints: 35844
1579.86/1585.19 c #Conflicts: 1038000 | #Constraints: 36844
1579.86/1585.19 c #Conflicts: 1039000 | #Constraints: 37844
1769.68/1775.52 c #Conflicts: 1040000 | #Constraints: 38844
1769.68/1775.52 c #Conflicts: 1041000 | #Constraints: 39844
1769.68/1775.52 c INPROCESSING
1769.68/1775.52 c GARBAGE COLLECT
1769.68/1775.52 c #Conflicts: 1042000 | #Constraints: 20642
1769.68/1775.52 c #Conflicts: 1043000 | #Constraints: 21642
1769.68/1775.52 c #Conflicts: 1044000 | #Constraints: 22642
1769.68/1775.52 c #Conflicts: 1045000 | #Constraints: 23642
1769.68/1775.52 c #Conflicts: 1046000 | #Constraints: 24642
1769.68/1775.52 c #Conflicts: 1047000 | #Constraints: 25642
1769.68/1775.52 c #Conflicts: 1048000 | #Constraints: 26642
1769.68/1775.52 c #Conflicts: 1049000 | #Constraints: 27642
1769.68/1775.52 c #Conflicts: 1050000 | #Constraints: 28642
1769.68/1775.52 c #Conflicts: 1051000 | #Constraints: 29642
1769.68/1775.52 c #Conflicts: 1052000 | #Constraints: 30642
1769.68/1775.52 c #Conflicts: 1053000 | #Constraints: 31642
1769.68/1775.52 c #Conflicts: 1054000 | #Constraints: 32642
1769.68/1775.52 c #Conflicts: 1055000 | #Constraints: 33642
1769.68/1775.52 c #Conflicts: 1056000 | #Constraints: 34642
1769.68/1775.52 c #Conflicts: 1057000 | #Constraints: 35642
1769.68/1775.52 c #Conflicts: 1058000 | #Constraints: 36642
1769.68/1775.52 c #Conflicts: 1059000 | #Constraints: 37642
1769.68/1775.52 c #Conflicts: 1060000 | #Constraints: 38642
1769.68/1775.52 c #Conflicts: 1061000 | #Constraints: 39642
1769.68/1775.52 c #Conflicts: 1062000 | #Constraints: 40642
1769.68/1775.52 c INPROCESSING
1769.68/1775.52 c GARBAGE COLLECT
1769.68/1775.52 c #Conflicts: 1063000 | #Constraints: 21241
1769.68/1775.52 c #Conflicts: 1064000 | #Constraints: 22241
1769.68/1775.52 c #Conflicts: 1065000 | #Constraints: 23241
1769.68/1775.52 c #Conflicts: 1066000 | #Constraints: 24241
1769.68/1775.52 c #Conflicts: 1067000 | #Constraints: 25241
1769.68/1775.52 c #Conflicts: 1068000 | #Constraints: 26241
1769.68/1775.52 c #Conflicts: 1069000 | #Constraints: 27241
1769.68/1775.52 c #Conflicts: 1070000 | #Constraints: 28241
1769.68/1775.52 c #Conflicts: 1071000 | #Constraints: 29241
1769.68/1775.52 c #Conflicts: 1072000 | #Constraints: 30241
1769.68/1775.52 c #Conflicts: 1073000 | #Constraints: 31241
1769.68/1775.52 c #Conflicts: 1074000 | #Constraints: 32241
1769.68/1775.52 c #Conflicts: 1075000 | #Constraints: 33241
1769.68/1775.52 c #Conflicts: 1076000 | #Constraints: 34241
1769.68/1775.52 c #Conflicts: 1077000 | #Constraints: 35241
1769.68/1775.52 c #Conflicts: 1078000 | #Constraints: 36241
1769.68/1775.52 c #Conflicts: 1079000 | #Constraints: 37241
1769.68/1775.52 c #Conflicts: 1080000 | #Constraints: 38241
1769.68/1775.52 c #Conflicts: 1081000 | #Constraints: 39241
1769.68/1775.52 c #Conflicts: 1082000 | #Constraints: 40241
1769.68/1775.52 c #Conflicts: 1083000 | #Constraints: 41241
1769.68/1775.52 c INPROCESSING
1769.68/1775.52 c GARBAGE COLLECT
1769.68/1775.52 c #Conflicts: 1084000 | #Constraints: 21639
1769.68/1775.52 c #Conflicts: 1085000 | #Constraints: 22639
1769.68/1775.52 c #Conflicts: 1086000 | #Constraints: 23639
1769.68/1775.52 c #Conflicts: 1087000 | #Constraints: 24639
1769.68/1775.52 c #Conflicts: 1088000 | #Constraints: 25639
1769.68/1775.52 c #Conflicts: 1089000 | #Constraints: 26639
1769.68/1775.52 c #Conflicts: 1090000 | #Constraints: 27639
1769.68/1775.52 c #Conflicts: 1091000 | #Constraints: 28639
1769.68/1775.52 c #Conflicts: 1092000 | #Constraints: 29639
1769.68/1775.52 c #Conflicts: 1093000 | #Constraints: 30639
1769.68/1775.52 c #Conflicts: 1094000 | #Constraints: 31639
1769.68/1775.52 c #Conflicts: 1095000 | #Constraints: 32639
1769.68/1775.52 c #Conflicts: 1096000 | #Constraints: 33639
1769.68/1775.52 c #Conflicts: 1097000 | #Constraints: 34639
1769.68/1775.52 c #Conflicts: 1098000 | #Constraints: 35639
1769.68/1775.52 c #Conflicts: 1099000 | #Constraints: 36639
1769.68/1775.52 c #Conflicts: 1100000 | #Constraints: 37639
1769.68/1775.52 c #Conflicts: 1101000 | #Constraints: 38639
1769.68/1775.52 c #Conflicts: 1102000 | #Constraints: 39639
1769.68/1775.52 c #Conflicts: 1103000 | #Constraints: 40639
1769.68/1775.52 c #Conflicts: 1104000 | #Constraints: 41639
1769.68/1775.52 c INPROCESSING
1769.68/1775.52 c GARBAGE COLLECT
1769.68/1775.52 c #Conflicts: 1105000 | #Constraints: 21843
1769.68/1775.52 c #Conflicts: 1106000 | #Constraints: 22843
1769.68/1775.52 c #Conflicts: 1107000 | #Constraints: 23843
1769.68/1775.52 c #Conflicts: 1108000 | #Constraints: 24843
1769.68/1775.52 c #Conflicts: 1109000 | #Constraints: 25843
1769.68/1775.52 c #Conflicts: 1110000 | #Constraints: 26843
1769.68/1775.52 c #Conflicts: 1111000 | #Constraints: 27843
1769.68/1775.52 c #Conflicts: 1112000 | #Constraints: 28843
1769.68/1775.52 c #Conflicts: 1113000 | #Constraints: 29843
1769.68/1775.52 c #Conflicts: 1114000 | #Constraints: 30843
1769.68/1775.52 c #Conflicts: 1115000 | #Constraints: 31843
1935.27/1941.69 c #Conflicts: 1116000 | #Constraints: 32843
1935.27/1941.69 c #Conflicts: 1117000 | #Constraints: 33843
1935.27/1941.69 c #Conflicts: 1118000 | #Constraints: 34843
1935.27/1941.69 c #Conflicts: 1119000 | #Constraints: 35843
1935.27/1941.69 c #Conflicts: 1120000 | #Constraints: 36843
1935.27/1941.69 c #Conflicts: 1121000 | #Constraints: 37843
1935.27/1941.69 c #Conflicts: 1122000 | #Constraints: 38843
1935.27/1941.69 c #Conflicts: 1123000 | #Constraints: 39843
1935.27/1941.69 c #Conflicts: 1124000 | #Constraints: 40843
1935.27/1941.69 c #Conflicts: 1125000 | #Constraints: 41843
1935.27/1941.69 c INPROCESSING
1935.27/1941.69 c GARBAGE COLLECT
1935.27/1941.69 c #Conflicts: 1126000 | #Constraints: 21841
1935.27/1941.69 c #Conflicts: 1127000 | #Constraints: 22841
1935.27/1941.69 c #Conflicts: 1128000 | #Constraints: 23841
1935.27/1941.69 c #Conflicts: 1129000 | #Constraints: 24841
1935.27/1941.69 c #Conflicts: 1130000 | #Constraints: 25841
1935.27/1941.69 c #Conflicts: 1131000 | #Constraints: 26841
1935.27/1941.69 c #Conflicts: 1132000 | #Constraints: 27841
1935.27/1941.69 c #Conflicts: 1133000 | #Constraints: 28841
1935.27/1941.69 c #Conflicts: 1134000 | #Constraints: 29841
1935.27/1941.69 c #Conflicts: 1135000 | #Constraints: 30841
1935.27/1941.69 c #Conflicts: 1136000 | #Constraints: 31841
1935.27/1941.69 c #Conflicts: 1137000 | #Constraints: 32841
1935.27/1941.69 c #Conflicts: 1138000 | #Constraints: 33841
1935.27/1941.69 c #Conflicts: 1139000 | #Constraints: 34841
1935.27/1941.69 c #Conflicts: 1140000 | #Constraints: 35841
1935.27/1941.69 c #Conflicts: 1141000 | #Constraints: 36841
1935.27/1941.69 c #Conflicts: 1142000 | #Constraints: 37841
1935.27/1941.69 c #Conflicts: 1143000 | #Constraints: 38841
1935.27/1941.69 c #Conflicts: 1144000 | #Constraints: 39841
1935.27/1941.69 c #Conflicts: 1145000 | #Constraints: 40841
1935.27/1941.69 c #Conflicts: 1146000 | #Constraints: 41841
1935.27/1941.69 c INPROCESSING
1935.27/1941.69 c GARBAGE COLLECT
1935.27/1941.69 c #Conflicts: 1147000 | #Constraints: 21637
1935.27/1941.69 c #Conflicts: 1148000 | #Constraints: 22637
1935.27/1941.69 c #Conflicts: 1149000 | #Constraints: 23637
1935.27/1941.69 c #Conflicts: 1150000 | #Constraints: 24637
1935.27/1941.69 c #Conflicts: 1151000 | #Constraints: 25637
1935.27/1941.69 c #Conflicts: 1152000 | #Constraints: 26637
1935.27/1941.69 c #Conflicts: 1153000 | #Constraints: 27637
1935.27/1941.69 c #Conflicts: 1154000 | #Constraints: 28637
1935.27/1941.69 c #Conflicts: 1155000 | #Constraints: 29637
1935.27/1941.69 c #Conflicts: 1156000 | #Constraints: 30637
1935.27/1941.69 c #Conflicts: 1157000 | #Constraints: 31637
1935.27/1941.69 c #Conflicts: 1158000 | #Constraints: 32637
1935.27/1941.69 c #Conflicts: 1159000 | #Constraints: 33637
1935.27/1941.69 c #Conflicts: 1160000 | #Constraints: 34637
1935.27/1941.69 c #Conflicts: 1161000 | #Constraints: 35637
1935.27/1941.69 c #Conflicts: 1162000 | #Constraints: 36637
1935.27/1941.69 c #Conflicts: 1163000 | #Constraints: 37637
1935.27/1941.69 c #Conflicts: 1164000 | #Constraints: 38637
1935.27/1941.69 c #Conflicts: 1165000 | #Constraints: 39637
1935.27/1941.69 c #Conflicts: 1166000 | #Constraints: 40637
1935.27/1941.69 c #Conflicts: 1167000 | #Constraints: 41637
1935.27/1941.69 c #Conflicts: 1168000 | #Constraints: 42637
1935.27/1941.69 c INPROCESSING
1935.27/1941.69 c GARBAGE COLLECT
1935.27/1941.69 c #Conflicts: 1169000 | #Constraints: 22239
1935.27/1941.69 c #Conflicts: 1170000 | #Constraints: 23239
1935.27/1941.69 c #Conflicts: 1171000 | #Constraints: 24239
1935.27/1941.69 c #Conflicts: 1172000 | #Constraints: 25239
1935.27/1941.69 c #Conflicts: 1173000 | #Constraints: 26239
1935.27/1941.69 c #Conflicts: 1174000 | #Constraints: 27239
1935.27/1941.69 c #Conflicts: 1175000 | #Constraints: 28239
1935.27/1941.69 c #Conflicts: 1176000 | #Constraints: 29239
1935.27/1941.69 c #Conflicts: 1177000 | #Constraints: 30239
1935.27/1941.69 c #Conflicts: 1178000 | #Constraints: 31239
1935.27/1941.69 c #Conflicts: 1179000 | #Constraints: 32239
1935.27/1941.69 c #Conflicts: 1180000 | #Constraints: 33239
1935.27/1941.69 c #Conflicts: 1181000 | #Constraints: 34239
1935.27/1941.69 c #Conflicts: 1182000 | #Constraints: 35239
1935.27/1941.69 c #Conflicts: 1183000 | #Constraints: 36239
1935.27/1941.69 c #Conflicts: 1184000 | #Constraints: 37239
1935.27/1941.69 c #Conflicts: 1185000 | #Constraints: 38239
1935.27/1941.69 c #Conflicts: 1186000 | #Constraints: 39239
1935.27/1941.69 c #Conflicts: 1187000 | #Constraints: 40239
1935.27/1941.69 c #Conflicts: 1188000 | #Constraints: 41239
1935.27/1941.69 c #Conflicts: 1189000 | #Constraints: 42239
1935.27/1941.69 c #Conflicts: 1190000 | #Constraints: 43239
1935.27/1941.69 c INPROCESSING
1935.27/1941.69 c GARBAGE COLLECT
1935.27/1941.69 c #Conflicts: 1191000 | #Constraints: 22639
2098.27/2105.18 c #Conflicts: 1192000 | #Constraints: 23639
2098.27/2105.18 c #Conflicts: 1193000 | #Constraints: 24639
2098.27/2105.18 c #Conflicts: 1194000 | #Constraints: 25639
2098.27/2105.18 c #Conflicts: 1195000 | #Constraints: 26639
2098.27/2105.18 c #Conflicts: 1196000 | #Constraints: 27639
2098.27/2105.18 c #Conflicts: 1197000 | #Constraints: 28639
2098.27/2105.18 c #Conflicts: 1198000 | #Constraints: 29639
2098.27/2105.18 c #Conflicts: 1199000 | #Constraints: 30639
2098.27/2105.18 c #Conflicts: 1200000 | #Constraints: 31639
2098.27/2105.18 c #Conflicts: 1201000 | #Constraints: 32639
2098.27/2105.18 c #Conflicts: 1202000 | #Constraints: 33639
2098.27/2105.18 c #Conflicts: 1203000 | #Constraints: 34639
2098.27/2105.18 c #Conflicts: 1204000 | #Constraints: 35639
2098.27/2105.18 c #Conflicts: 1205000 | #Constraints: 36639
2098.27/2105.18 c #Conflicts: 1206000 | #Constraints: 37639
2098.27/2105.18 c #Conflicts: 1207000 | #Constraints: 38639
2098.27/2105.18 c #Conflicts: 1208000 | #Constraints: 39639
2098.27/2105.18 c #Conflicts: 1209000 | #Constraints: 40639
2098.27/2105.18 c #Conflicts: 1210000 | #Constraints: 41639
2098.27/2105.18 c #Conflicts: 1211000 | #Constraints: 42639
2098.27/2105.18 c #Conflicts: 1212000 | #Constraints: 43639
2098.27/2105.18 c INPROCESSING
2098.27/2105.18 c GARBAGE COLLECT
2098.27/2105.18 c #Conflicts: 1213000 | #Constraints: 22840
2098.27/2105.18 c #Conflicts: 1214000 | #Constraints: 23840
2098.27/2105.18 c #Conflicts: 1215000 | #Constraints: 24840
2098.27/2105.18 c #Conflicts: 1216000 | #Constraints: 25840
2098.27/2105.18 c #Conflicts: 1217000 | #Constraints: 26840
2098.27/2105.18 c #Conflicts: 1218000 | #Constraints: 27840
2098.27/2105.18 c #Conflicts: 1219000 | #Constraints: 28840
2098.27/2105.18 c #Conflicts: 1220000 | #Constraints: 29840
2098.27/2105.18 c #Conflicts: 1221000 | #Constraints: 30840
2098.27/2105.18 c #Conflicts: 1222000 | #Constraints: 31840
2098.27/2105.18 c #Conflicts: 1223000 | #Constraints: 32840
2098.27/2105.18 c #Conflicts: 1224000 | #Constraints: 33840
2098.27/2105.18 c #Conflicts: 1225000 | #Constraints: 34840
2098.27/2105.18 c #Conflicts: 1226000 | #Constraints: 35840
2098.27/2105.18 c #Conflicts: 1227000 | #Constraints: 36840
2098.27/2105.18 c #Conflicts: 1228000 | #Constraints: 37840
2098.27/2105.18 c #Conflicts: 1229000 | #Constraints: 38840
2098.27/2105.18 c #Conflicts: 1230000 | #Constraints: 39840
2098.27/2105.18 c #Conflicts: 1231000 | #Constraints: 40840
2098.27/2105.18 c #Conflicts: 1232000 | #Constraints: 41840
2098.27/2105.18 c #Conflicts: 1233000 | #Constraints: 42840
2098.27/2105.18 c #Conflicts: 1234000 | #Constraints: 43840
2098.27/2105.18 c INPROCESSING
2098.27/2105.18 c GARBAGE COLLECT
2098.27/2105.18 c #Conflicts: 1235000 | #Constraints: 22836
2098.27/2105.18 c #Conflicts: 1236000 | #Constraints: 23836
2098.27/2105.18 c #Conflicts: 1237000 | #Constraints: 24836
2098.27/2105.18 c #Conflicts: 1238000 | #Constraints: 25836
2098.27/2105.18 c #Conflicts: 1239000 | #Constraints: 26836
2098.27/2105.18 c #Conflicts: 1240000 | #Constraints: 27836
2098.27/2105.18 c #Conflicts: 1241000 | #Constraints: 28836
2098.27/2105.18 c #Conflicts: 1242000 | #Constraints: 29836
2098.27/2105.18 c #Conflicts: 1243000 | #Constraints: 30836
2098.27/2105.18 c #Conflicts: 1244000 | #Constraints: 31836
2098.27/2105.18 c #Conflicts: 1245000 | #Constraints: 32836
2098.27/2105.18 c #Conflicts: 1246000 | #Constraints: 33836
2098.27/2105.18 c #Conflicts: 1247000 | #Constraints: 34836
2098.27/2105.18 c #Conflicts: 1248000 | #Constraints: 35836
2098.27/2105.18 c #Conflicts: 1249000 | #Constraints: 36836
2098.27/2105.18 c #Conflicts: 1250000 | #Constraints: 37836
2098.27/2105.18 c #Conflicts: 1251000 | #Constraints: 38836
2098.27/2105.18 c #Conflicts: 1252000 | #Constraints: 39836
2098.27/2105.18 c #Conflicts: 1253000 | #Constraints: 40836
2098.27/2105.18 c #Conflicts: 1254000 | #Constraints: 41836
2098.27/2105.18 c #Conflicts: 1255000 | #Constraints: 42836
2098.27/2105.18 c #Conflicts: 1256000 | #Constraints: 43836
2098.27/2105.18 c INPROCESSING
2098.27/2105.18 c GARBAGE COLLECT
2098.27/2105.18 c #Conflicts: 1257000 | #Constraints: 22638
2098.27/2105.18 c #Conflicts: 1258000 | #Constraints: 23638
2098.27/2105.18 c #Conflicts: 1259000 | #Constraints: 24638
2098.27/2105.18 c #Conflicts: 1260000 | #Constraints: 25638
2098.27/2105.18 c #Conflicts: 1261000 | #Constraints: 26638
2098.27/2105.18 c #Conflicts: 1262000 | #Constraints: 27638
2098.27/2105.18 c #Conflicts: 1263000 | #Constraints: 28638
2098.27/2105.18 c #Conflicts: 1264000 | #Constraints: 29638
2098.27/2105.18 c #Conflicts: 1265000 | #Constraints: 30638
2098.27/2105.18 c #Conflicts: 1266000 | #Constraints: 31638
2098.27/2105.18 c #Conflicts: 1267000 | #Constraints: 32638
2098.27/2105.18 c #Conflicts: 1268000 | #Constraints: 33638
2293.15/2300.63 c #Conflicts: 1269000 | #Constraints: 34638
2293.15/2300.63 c #Conflicts: 1270000 | #Constraints: 35638
2293.15/2300.63 c #Conflicts: 1271000 | #Constraints: 36638
2293.15/2300.63 c #Conflicts: 1272000 | #Constraints: 37638
2293.15/2300.63 c #Conflicts: 1273000 | #Constraints: 38638
2293.15/2300.63 c #Conflicts: 1274000 | #Constraints: 39638
2293.15/2300.63 c #Conflicts: 1275000 | #Constraints: 40638
2293.15/2300.63 c #Conflicts: 1276000 | #Constraints: 41638
2293.15/2300.63 c #Conflicts: 1277000 | #Constraints: 42638
2293.15/2300.63 c #Conflicts: 1278000 | #Constraints: 43638
2293.15/2300.63 c #Conflicts: 1279000 | #Constraints: 44638
2293.15/2300.63 c INPROCESSING
2293.15/2300.63 c GARBAGE COLLECT
2293.15/2300.63 c #Conflicts: 1280000 | #Constraints: 23239
2293.15/2300.63 c #Conflicts: 1281000 | #Constraints: 24239
2293.15/2300.63 c #Conflicts: 1282000 | #Constraints: 25239
2293.15/2300.63 c #Conflicts: 1283000 | #Constraints: 26239
2293.15/2300.63 c #Conflicts: 1284000 | #Constraints: 27239
2293.15/2300.63 c #Conflicts: 1285000 | #Constraints: 28239
2293.15/2300.63 c #Conflicts: 1286000 | #Constraints: 29239
2293.15/2300.63 c #Conflicts: 1287000 | #Constraints: 30239
2293.15/2300.63 c #Conflicts: 1288000 | #Constraints: 31239
2293.15/2300.63 c #Conflicts: 1289000 | #Constraints: 32239
2293.15/2300.63 c #Conflicts: 1290000 | #Constraints: 33239
2293.15/2300.63 c #Conflicts: 1291000 | #Constraints: 34239
2293.15/2300.63 c #Conflicts: 1292000 | #Constraints: 35239
2293.15/2300.63 c #Conflicts: 1293000 | #Constraints: 36239
2293.15/2300.63 c #Conflicts: 1294000 | #Constraints: 37239
2293.15/2300.63 c #Conflicts: 1295000 | #Constraints: 38239
2293.15/2300.63 c #Conflicts: 1296000 | #Constraints: 39239
2293.15/2300.63 c #Conflicts: 1297000 | #Constraints: 40239
2293.15/2300.63 c #Conflicts: 1298000 | #Constraints: 41239
2293.15/2300.63 c #Conflicts: 1299000 | #Constraints: 42239
2293.15/2300.63 c #Conflicts: 1300000 | #Constraints: 43239
2293.15/2300.63 c #Conflicts: 1301000 | #Constraints: 44239
2293.15/2300.63 c #Conflicts: 1302000 | #Constraints: 45239
2293.15/2300.63 c INPROCESSING
2293.15/2300.63 c GARBAGE COLLECT
2293.15/2300.63 c #Conflicts: 1303000 | #Constraints: 23641
2293.15/2300.63 c #Conflicts: 1304000 | #Constraints: 24641
2293.15/2300.63 c #Conflicts: 1305000 | #Constraints: 25641
2293.15/2300.63 c #Conflicts: 1306000 | #Constraints: 26641
2293.15/2300.63 c #Conflicts: 1307000 | #Constraints: 27641
2293.15/2300.63 c #Conflicts: 1308000 | #Constraints: 28641
2293.15/2300.63 c #Conflicts: 1309000 | #Constraints: 29641
2293.15/2300.63 c #Conflicts: 1310000 | #Constraints: 30641
2293.15/2300.63 c #Conflicts: 1311000 | #Constraints: 31641
2293.15/2300.63 c #Conflicts: 1312000 | #Constraints: 32641
2293.15/2300.63 c #Conflicts: 1313000 | #Constraints: 33641
2293.15/2300.63 c #Conflicts: 1314000 | #Constraints: 34641
2293.15/2300.63 c #Conflicts: 1315000 | #Constraints: 35641
2293.15/2300.63 c #Conflicts: 1316000 | #Constraints: 36641
2293.15/2300.63 c #Conflicts: 1317000 | #Constraints: 37641
2293.15/2300.63 c #Conflicts: 1318000 | #Constraints: 38641
2293.15/2300.63 c #Conflicts: 1319000 | #Constraints: 39641
2293.15/2300.63 c #Conflicts: 1320000 | #Constraints: 40641
2293.15/2300.63 c #Conflicts: 1321000 | #Constraints: 41641
2293.15/2300.63 c #Conflicts: 1322000 | #Constraints: 42641
2293.15/2300.63 c #Conflicts: 1323000 | #Constraints: 43641
2293.15/2300.63 c #Conflicts: 1324000 | #Constraints: 44641
2293.15/2300.63 c #Conflicts: 1325000 | #Constraints: 45641
2293.15/2300.63 c INPROCESSING
2293.15/2300.63 c GARBAGE COLLECT
2293.15/2300.63 c #Conflicts: 1326000 | #Constraints: 23837
2293.15/2300.63 c #Conflicts: 1327000 | #Constraints: 24837
2293.15/2300.63 c #Conflicts: 1328000 | #Constraints: 25837
2293.15/2300.63 c #Conflicts: 1329000 | #Constraints: 26837
2293.15/2300.63 c #Conflicts: 1330000 | #Constraints: 27837
2293.15/2300.63 c #Conflicts: 1331000 | #Constraints: 28837
2293.15/2300.63 c #Conflicts: 1332000 | #Constraints: 29837
2293.15/2300.63 c #Conflicts: 1333000 | #Constraints: 30837
2293.15/2300.63 c #Conflicts: 1334000 | #Constraints: 31837
2293.15/2300.63 c #Conflicts: 1335000 | #Constraints: 32837
2293.15/2300.63 c #Conflicts: 1336000 | #Constraints: 33837
2293.15/2300.63 c #Conflicts: 1337000 | #Constraints: 34837
2293.15/2300.63 c #Conflicts: 1338000 | #Constraints: 35837
2293.15/2300.63 c #Conflicts: 1339000 | #Constraints: 36837
2293.15/2300.63 c #Conflicts: 1340000 | #Constraints: 37837
2293.15/2300.63 c #Conflicts: 1341000 | #Constraints: 38837
2293.15/2300.63 c #Conflicts: 1342000 | #Constraints: 39837
2293.15/2300.63 c #Conflicts: 1343000 | #Constraints: 40837
2293.15/2300.63 c #Conflicts: 1344000 | #Constraints: 41837
2293.15/2300.63 c #Conflicts: 1345000 | #Constraints: 42837
2496.10/2504.24 c #Conflicts: 1346000 | #Constraints: 43837
2496.10/2504.24 c #Conflicts: 1347000 | #Constraints: 44837
2496.10/2504.24 c #Conflicts: 1348000 | #Constraints: 45837
2496.10/2504.24 c INPROCESSING
2496.10/2504.24 c GARBAGE COLLECT
2496.10/2504.24 c #Conflicts: 1349000 | #Constraints: 23843
2496.10/2504.24 c #Conflicts: 1350000 | #Constraints: 24843
2496.10/2504.24 c #Conflicts: 1351000 | #Constraints: 25843
2496.10/2504.24 c #Conflicts: 1352000 | #Constraints: 26843
2496.10/2504.24 c #Conflicts: 1353000 | #Constraints: 27843
2496.10/2504.24 c #Conflicts: 1354000 | #Constraints: 28843
2496.10/2504.24 c #Conflicts: 1355000 | #Constraints: 29843
2496.10/2504.24 c #Conflicts: 1356000 | #Constraints: 30843
2496.10/2504.24 c #Conflicts: 1357000 | #Constraints: 31843
2496.10/2504.24 c #Conflicts: 1358000 | #Constraints: 32843
2496.10/2504.24 c #Conflicts: 1359000 | #Constraints: 33843
2496.10/2504.24 c #Conflicts: 1360000 | #Constraints: 34843
2496.10/2504.24 c #Conflicts: 1361000 | #Constraints: 35843
2496.10/2504.24 c #Conflicts: 1362000 | #Constraints: 36843
2496.10/2504.24 c #Conflicts: 1363000 | #Constraints: 37843
2496.10/2504.24 c #Conflicts: 1364000 | #Constraints: 38843
2496.10/2504.24 c #Conflicts: 1365000 | #Constraints: 39843
2496.10/2504.24 c #Conflicts: 1366000 | #Constraints: 40843
2496.10/2504.24 c #Conflicts: 1367000 | #Constraints: 41843
2496.10/2504.24 c #Conflicts: 1368000 | #Constraints: 42843
2496.10/2504.24 c #Conflicts: 1369000 | #Constraints: 43843
2496.10/2504.24 c #Conflicts: 1370000 | #Constraints: 44843
2496.10/2504.24 c #Conflicts: 1371000 | #Constraints: 45843
2496.10/2504.24 c INPROCESSING
2496.10/2504.24 c GARBAGE COLLECT
2496.10/2504.24 c #Conflicts: 1372000 | #Constraints: 23641
2496.10/2504.24 c #Conflicts: 1373000 | #Constraints: 24641
2496.10/2504.24 c #Conflicts: 1374000 | #Constraints: 25641
2496.10/2504.24 c #Conflicts: 1375000 | #Constraints: 26641
2496.10/2504.24 c #Conflicts: 1376000 | #Constraints: 27641
2496.10/2504.24 c #Conflicts: 1377000 | #Constraints: 28641
2496.10/2504.24 c #Conflicts: 1378000 | #Constraints: 29641
2496.10/2504.24 c #Conflicts: 1379000 | #Constraints: 30641
2496.10/2504.24 c #Conflicts: 1380000 | #Constraints: 31641
2496.10/2504.24 c #Conflicts: 1381000 | #Constraints: 32641
2496.10/2504.24 c #Conflicts: 1382000 | #Constraints: 33641
2496.10/2504.24 c #Conflicts: 1383000 | #Constraints: 34641
2496.10/2504.24 c #Conflicts: 1384000 | #Constraints: 35641
2496.10/2504.24 c #Conflicts: 1385000 | #Constraints: 36641
2496.10/2504.24 c #Conflicts: 1386000 | #Constraints: 37641
2496.10/2504.24 c #Conflicts: 1387000 | #Constraints: 38641
2496.10/2504.24 c #Conflicts: 1388000 | #Constraints: 39641
2496.10/2504.24 c #Conflicts: 1389000 | #Constraints: 40641
2496.10/2504.24 c #Conflicts: 1390000 | #Constraints: 41641
2496.10/2504.24 c #Conflicts: 1391000 | #Constraints: 42641
2496.10/2504.24 c #Conflicts: 1392000 | #Constraints: 43641
2496.10/2504.24 c #Conflicts: 1393000 | #Constraints: 44641
2496.10/2504.24 c #Conflicts: 1394000 | #Constraints: 45641
2496.10/2504.24 c #Conflicts: 1395000 | #Constraints: 46641
2496.10/2504.24 c INPROCESSING
2496.10/2504.24 c GARBAGE COLLECT
2496.10/2504.24 c #Conflicts: 1396000 | #Constraints: 24240
2496.10/2504.24 c #Conflicts: 1397000 | #Constraints: 25240
2496.10/2504.24 c #Conflicts: 1398000 | #Constraints: 26240
2496.10/2504.24 c #Conflicts: 1399000 | #Constraints: 27240
2496.10/2504.24 c #Conflicts: 1400000 | #Constraints: 28240
2496.10/2504.24 c #Conflicts: 1401000 | #Constraints: 29240
2496.10/2504.24 c #Conflicts: 1402000 | #Constraints: 30240
2496.10/2504.24 c #Conflicts: 1403000 | #Constraints: 31240
2496.10/2504.24 c #Conflicts: 1404000 | #Constraints: 32240
2496.10/2504.24 c #Conflicts: 1405000 | #Constraints: 33240
2496.10/2504.24 c #Conflicts: 1406000 | #Constraints: 34240
2496.10/2504.24 c #Conflicts: 1407000 | #Constraints: 35240
2496.10/2504.24 c #Conflicts: 1408000 | #Constraints: 36240
2496.10/2504.24 c #Conflicts: 1409000 | #Constraints: 37240
2496.10/2504.24 c #Conflicts: 1410000 | #Constraints: 38240
2496.10/2504.24 c #Conflicts: 1411000 | #Constraints: 39240
2496.10/2504.24 c #Conflicts: 1412000 | #Constraints: 40240
2496.10/2504.24 c #Conflicts: 1413000 | #Constraints: 41240
2496.10/2504.24 c #Conflicts: 1414000 | #Constraints: 42240
2496.10/2504.24 c #Conflicts: 1415000 | #Constraints: 43240
2496.10/2504.24 c #Conflicts: 1416000 | #Constraints: 44240
2496.10/2504.24 c #Conflicts: 1417000 | #Constraints: 45240
2496.10/2504.24 c #Conflicts: 1418000 | #Constraints: 46240
2496.10/2504.24 c #Conflicts: 1419000 | #Constraints: 47240
2496.10/2504.24 c INPROCESSING
2496.10/2504.24 c GARBAGE COLLECT
2496.10/2504.24 c #Conflicts: 1420000 | #Constraints: 24636
2496.10/2504.24 c #Conflicts: 1421000 | #Constraints: 25636
2693.40/2702.18 c #Conflicts: 1422000 | #Constraints: 26636
2693.40/2702.18 c #Conflicts: 1423000 | #Constraints: 27636
2693.40/2702.18 c #Conflicts: 1424000 | #Constraints: 28636
2693.40/2702.18 c #Conflicts: 1425000 | #Constraints: 29636
2693.40/2702.18 c #Conflicts: 1426000 | #Constraints: 30636
2693.40/2702.18 c #Conflicts: 1427000 | #Constraints: 31636
2693.40/2702.18 c #Conflicts: 1428000 | #Constraints: 32636
2693.40/2702.18 c #Conflicts: 1429000 | #Constraints: 33636
2693.40/2702.18 c #Conflicts: 1430000 | #Constraints: 34636
2693.40/2702.18 c #Conflicts: 1431000 | #Constraints: 35636
2693.40/2702.18 c #Conflicts: 1432000 | #Constraints: 36636
2693.40/2702.18 c #Conflicts: 1433000 | #Constraints: 37636
2693.40/2702.18 c #Conflicts: 1434000 | #Constraints: 38636
2693.40/2702.18 c #Conflicts: 1435000 | #Constraints: 39636
2693.40/2702.18 c #Conflicts: 1436000 | #Constraints: 40636
2693.40/2702.18 c #Conflicts: 1437000 | #Constraints: 41636
2693.40/2702.18 c #Conflicts: 1438000 | #Constraints: 42636
2693.40/2702.18 c #Conflicts: 1439000 | #Constraints: 43636
2693.40/2702.18 c #Conflicts: 1440000 | #Constraints: 44636
2693.40/2702.18 c #Conflicts: 1441000 | #Constraints: 45636
2693.40/2702.18 c #Conflicts: 1442000 | #Constraints: 46636
2693.40/2702.18 c #Conflicts: 1443000 | #Constraints: 47636
2693.40/2702.18 c INPROCESSING
2693.40/2702.18 c GARBAGE COLLECT
2693.40/2702.18 c #Conflicts: 1444000 | #Constraints: 24841
2693.40/2702.18 c #Conflicts: 1445000 | #Constraints: 25841
2693.40/2702.18 c #Conflicts: 1446000 | #Constraints: 26841
2693.40/2702.18 c #Conflicts: 1447000 | #Constraints: 27841
2693.40/2702.18 c #Conflicts: 1448000 | #Constraints: 28841
2693.40/2702.18 c #Conflicts: 1449000 | #Constraints: 29841
2693.40/2702.18 c #Conflicts: 1450000 | #Constraints: 30841
2693.40/2702.18 c #Conflicts: 1451000 | #Constraints: 31841
2693.40/2702.18 c #Conflicts: 1452000 | #Constraints: 32841
2693.40/2702.18 c #Conflicts: 1453000 | #Constraints: 33841
2693.40/2702.18 c #Conflicts: 1454000 | #Constraints: 34841
2693.40/2702.18 c #Conflicts: 1455000 | #Constraints: 35841
2693.40/2702.18 c #Conflicts: 1456000 | #Constraints: 36841
2693.40/2702.18 c #Conflicts: 1457000 | #Constraints: 37841
2693.40/2702.18 c #Conflicts: 1458000 | #Constraints: 38841
2693.40/2702.18 c #Conflicts: 1459000 | #Constraints: 39841
2693.40/2702.18 c #Conflicts: 1460000 | #Constraints: 40841
2693.40/2702.18 c #Conflicts: 1461000 | #Constraints: 41841
2693.40/2702.18 c #Conflicts: 1462000 | #Constraints: 42841
2693.40/2702.18 c #Conflicts: 1463000 | #Constraints: 43841
2693.40/2702.18 c #Conflicts: 1464000 | #Constraints: 44841
2693.40/2702.18 c #Conflicts: 1465000 | #Constraints: 45841
2693.40/2702.18 c #Conflicts: 1466000 | #Constraints: 46841
2693.40/2702.18 c #Conflicts: 1467000 | #Constraints: 47841
2693.40/2702.18 c INPROCESSING
2693.40/2702.18 c GARBAGE COLLECT
2693.40/2702.18 c #Conflicts: 1468000 | #Constraints: 24840
2693.40/2702.18 c #Conflicts: 1469000 | #Constraints: 25840
2693.40/2702.18 c #Conflicts: 1470000 | #Constraints: 26840
2693.40/2702.18 c #Conflicts: 1471000 | #Constraints: 27840
2693.40/2702.18 c #Conflicts: 1472000 | #Constraints: 28840
2693.40/2702.18 c #Conflicts: 1473000 | #Constraints: 29840
2693.40/2702.18 c #Conflicts: 1474000 | #Constraints: 30840
2693.40/2702.18 c #Conflicts: 1475000 | #Constraints: 31840
2693.40/2702.18 c #Conflicts: 1476000 | #Constraints: 32840
2693.40/2702.18 c #Conflicts: 1477000 | #Constraints: 33840
2693.40/2702.18 c #Conflicts: 1478000 | #Constraints: 34840
2693.40/2702.18 c #Conflicts: 1479000 | #Constraints: 35840
2693.40/2702.18 c #Conflicts: 1480000 | #Constraints: 36840
2693.40/2702.18 c #Conflicts: 1481000 | #Constraints: 37840
2693.40/2702.18 c #Conflicts: 1482000 | #Constraints: 38840
2693.40/2702.18 c #Conflicts: 1483000 | #Constraints: 39840
2693.40/2702.18 c #Conflicts: 1484000 | #Constraints: 40840
2693.40/2702.18 c #Conflicts: 1485000 | #Constraints: 41840
2693.40/2702.18 c #Conflicts: 1486000 | #Constraints: 42840
2693.40/2702.18 c #Conflicts: 1487000 | #Constraints: 43840
2693.40/2702.18 c #Conflicts: 1488000 | #Constraints: 44840
2693.40/2702.18 c #Conflicts: 1489000 | #Constraints: 45840
2693.40/2702.18 c #Conflicts: 1490000 | #Constraints: 46840
2693.40/2702.18 c #Conflicts: 1491000 | #Constraints: 47840
2693.40/2702.18 c INPROCESSING
2693.40/2702.18 c GARBAGE COLLECT
2693.40/2702.18 c #Conflicts: 1492000 | #Constraints: 24641
2693.40/2702.18 c #Conflicts: 1493000 | #Constraints: 25641
2693.40/2702.18 c #Conflicts: 1494000 | #Constraints: 26641
2693.40/2702.18 c #Conflicts: 1495000 | #Constraints: 27641
2693.40/2702.18 c #Conflicts: 1496000 | #Constraints: 28641
2693.40/2702.18 c #Conflicts: 1497000 | #Constraints: 29641
2693.40/2702.18 c #Conflicts: 1498000 | #Constraints: 30641
2896.87/2906.20 c #Conflicts: 1499000 | #Constraints: 31641
2896.87/2906.20 c #Conflicts: 1500000 | #Constraints: 32641
2896.87/2906.20 c #Conflicts: 1501000 | #Constraints: 33641
2896.87/2906.20 c #Conflicts: 1502000 | #Constraints: 34641
2896.87/2906.20 c #Conflicts: 1503000 | #Constraints: 35641
2896.87/2906.20 c #Conflicts: 1504000 | #Constraints: 36641
2896.87/2906.20 c #Conflicts: 1505000 | #Constraints: 37641
2896.87/2906.20 c #Conflicts: 1506000 | #Constraints: 38641
2896.87/2906.20 c #Conflicts: 1507000 | #Constraints: 39641
2896.87/2906.20 c #Conflicts: 1508000 | #Constraints: 40641
2896.87/2906.20 c #Conflicts: 1509000 | #Constraints: 41641
2896.87/2906.20 c #Conflicts: 1510000 | #Constraints: 42641
2896.87/2906.20 c #Conflicts: 1511000 | #Constraints: 43641
2896.87/2906.20 c #Conflicts: 1512000 | #Constraints: 44641
2896.87/2906.20 c #Conflicts: 1513000 | #Constraints: 45641
2896.87/2906.20 c #Conflicts: 1514000 | #Constraints: 46641
2896.87/2906.20 c #Conflicts: 1515000 | #Constraints: 47641
2896.87/2906.20 c #Conflicts: 1516000 | #Constraints: 48641
2896.87/2906.20 c INPROCESSING
2896.87/2906.20 c GARBAGE COLLECT
2896.87/2906.20 c #Conflicts: 1517000 | #Constraints: 25240
2896.87/2906.20 c #Conflicts: 1518000 | #Constraints: 26240
2896.87/2906.20 c #Conflicts: 1519000 | #Constraints: 27240
2896.87/2906.20 c #Conflicts: 1520000 | #Constraints: 28240
2896.87/2906.20 c #Conflicts: 1521000 | #Constraints: 29240
2896.87/2906.20 c #Conflicts: 1522000 | #Constraints: 30240
2896.87/2906.20 c #Conflicts: 1523000 | #Constraints: 31240
2896.87/2906.20 c #Conflicts: 1524000 | #Constraints: 32240
2896.87/2906.20 c #Conflicts: 1525000 | #Constraints: 33240
2896.87/2906.20 c #Conflicts: 1526000 | #Constraints: 34240
2896.87/2906.20 c #Conflicts: 1527000 | #Constraints: 35240
2896.87/2906.20 c #Conflicts: 1528000 | #Constraints: 36240
2896.87/2906.20 c #Conflicts: 1529000 | #Constraints: 37240
2896.87/2906.20 c #Conflicts: 1530000 | #Constraints: 38240
2896.87/2906.20 c #Conflicts: 1531000 | #Constraints: 39240
2896.87/2906.20 c #Conflicts: 1532000 | #Constraints: 40240
2896.87/2906.20 c #Conflicts: 1533000 | #Constraints: 41240
2896.87/2906.20 c #Conflicts: 1534000 | #Constraints: 42240
2896.87/2906.20 c #Conflicts: 1535000 | #Constraints: 43240
2896.87/2906.20 c #Conflicts: 1536000 | #Constraints: 44240
2896.87/2906.20 c #Conflicts: 1537000 | #Constraints: 45240
2896.87/2906.20 c #Conflicts: 1538000 | #Constraints: 46240
2896.87/2906.20 c #Conflicts: 1539000 | #Constraints: 47240
2896.87/2906.20 c #Conflicts: 1540000 | #Constraints: 48240
2896.87/2906.20 c #Conflicts: 1541000 | #Constraints: 49240
2896.87/2906.20 c INPROCESSING
2896.87/2906.20 c GARBAGE COLLECT
2896.87/2906.20 c #Conflicts: 1542000 | #Constraints: 25640
2896.87/2906.20 c #Conflicts: 1543000 | #Constraints: 26640
2896.87/2906.20 c #Conflicts: 1544000 | #Constraints: 27640
2896.87/2906.20 c #Conflicts: 1545000 | #Constraints: 28640
2896.87/2906.20 c #Conflicts: 1546000 | #Constraints: 29640
2896.87/2906.20 c #Conflicts: 1547000 | #Constraints: 30640
2896.87/2906.20 c #Conflicts: 1548000 | #Constraints: 31640
2896.87/2906.20 c #Conflicts: 1549000 | #Constraints: 32640
2896.87/2906.20 c #Conflicts: 1550000 | #Constraints: 33640
2896.87/2906.20 c #Conflicts: 1551000 | #Constraints: 34640
2896.87/2906.20 c #Conflicts: 1552000 | #Constraints: 35640
2896.87/2906.20 c #Conflicts: 1553000 | #Constraints: 36640
2896.87/2906.20 c #Conflicts: 1554000 | #Constraints: 37640
2896.87/2906.20 c #Conflicts: 1555000 | #Constraints: 38640
2896.87/2906.20 c #Conflicts: 1556000 | #Constraints: 39640
2896.87/2906.20 c #Conflicts: 1557000 | #Constraints: 40640
2896.87/2906.20 c #Conflicts: 1558000 | #Constraints: 41640
2896.87/2906.20 c #Conflicts: 1559000 | #Constraints: 42640
2896.87/2906.20 c #Conflicts: 1560000 | #Constraints: 43640
2896.87/2906.20 c #Conflicts: 1561000 | #Constraints: 44640
2896.87/2906.20 c #Conflicts: 1562000 | #Constraints: 45640
2896.87/2906.20 c #Conflicts: 1563000 | #Constraints: 46640
2896.87/2906.20 c #Conflicts: 1564000 | #Constraints: 47640
2896.87/2906.20 c #Conflicts: 1565000 | #Constraints: 48640
2896.87/2906.20 c #Conflicts: 1566000 | #Constraints: 49640
2896.87/2906.20 c INPROCESSING
2896.87/2906.20 c GARBAGE COLLECT
2896.87/2906.20 c #Conflicts: 1567000 | #Constraints: 25840
2896.87/2906.20 c #Conflicts: 1568000 | #Constraints: 26840
2896.87/2906.20 c #Conflicts: 1569000 | #Constraints: 27840
2896.87/2906.20 c #Conflicts: 1570000 | #Constraints: 28840
2896.87/2906.20 c #Conflicts: 1571000 | #Constraints: 29840
2896.87/2906.20 c #Conflicts: 1572000 | #Constraints: 30840
2896.87/2906.20 c #Conflicts: 1573000 | #Constraints: 31840
2896.87/2906.20 c #Conflicts: 1574000 | #Constraints: 32840
2896.87/2906.20 c #Conflicts: 1575000 | #Constraints: 33840
3138.13/3148.21 c #Conflicts: 1576000 | #Constraints: 34840
3138.13/3148.21 c #Conflicts: 1577000 | #Constraints: 35840
3138.13/3148.21 c #Conflicts: 1578000 | #Constraints: 36840
3138.13/3148.21 c #Conflicts: 1579000 | #Constraints: 37840
3138.13/3148.21 c #Conflicts: 1580000 | #Constraints: 38840
3138.13/3148.21 c #Conflicts: 1581000 | #Constraints: 39840
3138.13/3148.21 c #Conflicts: 1582000 | #Constraints: 40840
3138.13/3148.21 c #Conflicts: 1583000 | #Constraints: 41840
3138.13/3148.21 c #Conflicts: 1584000 | #Constraints: 42840
3138.13/3148.21 c #Conflicts: 1585000 | #Constraints: 43840
3138.13/3148.21 c #Conflicts: 1586000 | #Constraints: 44840
3138.13/3148.21 c #Conflicts: 1587000 | #Constraints: 45840
3138.13/3148.21 c #Conflicts: 1588000 | #Constraints: 46840
3138.13/3148.21 c #Conflicts: 1589000 | #Constraints: 47840
3138.13/3148.21 c #Conflicts: 1590000 | #Constraints: 48840
3138.13/3148.21 c #Conflicts: 1591000 | #Constraints: 49840
3138.13/3148.21 c INPROCESSING
3138.13/3148.21 c GARBAGE COLLECT
3138.13/3148.21 c #Conflicts: 1592000 | #Constraints: 25840
3138.13/3148.21 c #Conflicts: 1593000 | #Constraints: 26840
3138.13/3148.21 c #Conflicts: 1594000 | #Constraints: 27840
3138.13/3148.21 c #Conflicts: 1595000 | #Constraints: 28840
3138.13/3148.21 c #Conflicts: 1596000 | #Constraints: 29840
3138.13/3148.21 c #Conflicts: 1597000 | #Constraints: 30840
3138.13/3148.21 c #Conflicts: 1598000 | #Constraints: 31840
3138.13/3148.21 c #Conflicts: 1599000 | #Constraints: 32840
3138.13/3148.21 c #Conflicts: 1600000 | #Constraints: 33840
3138.13/3148.21 c #Conflicts: 1601000 | #Constraints: 34840
3138.13/3148.21 c #Conflicts: 1602000 | #Constraints: 35840
3138.13/3148.21 c #Conflicts: 1603000 | #Constraints: 36840
3138.13/3148.21 c #Conflicts: 1604000 | #Constraints: 37840
3138.13/3148.21 c #Conflicts: 1605000 | #Constraints: 38840
3138.13/3148.21 c #Conflicts: 1606000 | #Constraints: 39840
3138.13/3148.21 c #Conflicts: 1607000 | #Constraints: 40840
3138.13/3148.21 c #Conflicts: 1608000 | #Constraints: 41840
3138.13/3148.21 c #Conflicts: 1609000 | #Constraints: 42840
3138.13/3148.21 c #Conflicts: 1610000 | #Constraints: 43840
3138.13/3148.21 c #Conflicts: 1611000 | #Constraints: 44840
3138.13/3148.21 c #Conflicts: 1612000 | #Constraints: 45840
3138.13/3148.21 c #Conflicts: 1613000 | #Constraints: 46840
3138.13/3148.21 c #Conflicts: 1614000 | #Constraints: 47840
3138.13/3148.21 c #Conflicts: 1615000 | #Constraints: 48840
3138.13/3148.21 c #Conflicts: 1616000 | #Constraints: 49840
3138.13/3148.21 c INPROCESSING
3138.13/3148.21 c GARBAGE COLLECT
3138.13/3148.21 c #Conflicts: 1617000 | #Constraints: 25642
3138.13/3148.21 c #Conflicts: 1618000 | #Constraints: 26642
3138.13/3148.21 c #Conflicts: 1619000 | #Constraints: 27642
3138.13/3148.21 c #Conflicts: 1620000 | #Constraints: 28642
3138.13/3148.21 c #Conflicts: 1621000 | #Constraints: 29642
3138.13/3148.21 c #Conflicts: 1622000 | #Constraints: 30642
3138.13/3148.21 c #Conflicts: 1623000 | #Constraints: 31642
3138.13/3148.21 c #Conflicts: 1624000 | #Constraints: 32642
3138.13/3148.21 c #Conflicts: 1625000 | #Constraints: 33642
3138.13/3148.21 c #Conflicts: 1626000 | #Constraints: 34642
3138.13/3148.21 c #Conflicts: 1627000 | #Constraints: 35642
3138.13/3148.21 c #Conflicts: 1628000 | #Constraints: 36642
3138.13/3148.21 c #Conflicts: 1629000 | #Constraints: 37642
3138.13/3148.21 c #Conflicts: 1630000 | #Constraints: 38642
3138.13/3148.21 c #Conflicts: 1631000 | #Constraints: 39642
3138.13/3148.21 c #Conflicts: 1632000 | #Constraints: 40642
3138.13/3148.21 c #Conflicts: 1633000 | #Constraints: 41642
3138.13/3148.21 c #Conflicts: 1634000 | #Constraints: 42642
3138.13/3148.21 c #Conflicts: 1635000 | #Constraints: 43642
3138.13/3148.21 c #Conflicts: 1636000 | #Constraints: 44642
3138.13/3148.21 c #Conflicts: 1637000 | #Constraints: 45642
3138.13/3148.21 c #Conflicts: 1638000 | #Constraints: 46642
3138.13/3148.21 c #Conflicts: 1639000 | #Constraints: 47642
3138.13/3148.21 c #Conflicts: 1640000 | #Constraints: 48642
3138.13/3148.21 c #Conflicts: 1641000 | #Constraints: 49642
3138.13/3148.21 c #Conflicts: 1642000 | #Constraints: 50642
3138.13/3148.21 c INPROCESSING
3138.13/3148.21 c GARBAGE COLLECT
3138.13/3148.21 c #Conflicts: 1643000 | #Constraints: 26242
3138.13/3148.21 c #Conflicts: 1644000 | #Constraints: 27242
3138.13/3148.21 c #Conflicts: 1645000 | #Constraints: 28242
3138.13/3148.21 c #Conflicts: 1646000 | #Constraints: 29242
3138.13/3148.21 c #Conflicts: 1647000 | #Constraints: 30242
3138.13/3148.21 c #Conflicts: 1648000 | #Constraints: 31242
3138.13/3148.21 c #Conflicts: 1649000 | #Constraints: 32242
3138.13/3148.21 c #Conflicts: 1650000 | #Constraints: 33242
3138.13/3148.21 c #Conflicts: 1651000 | #Constraints: 34242
3138.13/3148.21 c #Conflicts: 1652000 | #Constraints: 35242
3354.58/3365.31 c #Conflicts: 1653000 | #Constraints: 36242
3354.58/3365.31 c #Conflicts: 1654000 | #Constraints: 37242
3354.58/3365.31 c #Conflicts: 1655000 | #Constraints: 38242
3354.58/3365.31 c #Conflicts: 1656000 | #Constraints: 39242
3354.58/3365.31 c #Conflicts: 1657000 | #Constraints: 40242
3354.58/3365.31 c #Conflicts: 1658000 | #Constraints: 41242
3354.58/3365.31 c #Conflicts: 1659000 | #Constraints: 42242
3354.58/3365.31 c #Conflicts: 1660000 | #Constraints: 43242
3354.58/3365.31 c #Conflicts: 1661000 | #Constraints: 44242
3354.58/3365.31 c #Conflicts: 1662000 | #Constraints: 45242
3354.58/3365.31 c #Conflicts: 1663000 | #Constraints: 46242
3354.58/3365.31 c #Conflicts: 1664000 | #Constraints: 47242
3354.58/3365.31 c #Conflicts: 1665000 | #Constraints: 48242
3354.58/3365.31 c #Conflicts: 1666000 | #Constraints: 49242
3354.58/3365.31 c #Conflicts: 1667000 | #Constraints: 50242
3354.58/3365.31 c #Conflicts: 1668000 | #Constraints: 51242
3354.58/3365.31 c INPROCESSING
3354.58/3365.31 c GARBAGE COLLECT
3354.58/3365.31 c #Conflicts: 1669000 | #Constraints: 26640
3354.58/3365.31 c #Conflicts: 1670000 | #Constraints: 27640
3354.58/3365.31 c #Conflicts: 1671000 | #Constraints: 28640
3354.58/3365.31 c #Conflicts: 1672000 | #Constraints: 29640
3354.58/3365.31 c #Conflicts: 1673000 | #Constraints: 30640
3354.58/3365.31 c #Conflicts: 1674000 | #Constraints: 31640
3354.58/3365.31 c #Conflicts: 1675000 | #Constraints: 32640
3354.58/3365.31 c #Conflicts: 1676000 | #Constraints: 33640
3354.58/3365.31 c #Conflicts: 1677000 | #Constraints: 34640
3354.58/3365.31 c #Conflicts: 1678000 | #Constraints: 35640
3354.58/3365.31 c #Conflicts: 1679000 | #Constraints: 36640
3354.58/3365.31 c #Conflicts: 1680000 | #Constraints: 37640
3354.58/3365.31 c #Conflicts: 1681000 | #Constraints: 38640
3354.58/3365.31 c #Conflicts: 1682000 | #Constraints: 39640
3354.58/3365.31 c #Conflicts: 1683000 | #Constraints: 40640
3354.58/3365.31 c #Conflicts: 1684000 | #Constraints: 41640
3354.58/3365.31 c #Conflicts: 1685000 | #Constraints: 42640
3354.58/3365.31 c #Conflicts: 1686000 | #Constraints: 43640
3354.58/3365.31 c #Conflicts: 1687000 | #Constraints: 44640
3354.58/3365.31 c #Conflicts: 1688000 | #Constraints: 45640
3354.58/3365.31 c #Conflicts: 1689000 | #Constraints: 46640
3354.58/3365.31 c #Conflicts: 1690000 | #Constraints: 47640
3354.58/3365.31 c #Conflicts: 1691000 | #Constraints: 48640
3354.58/3365.31 c #Conflicts: 1692000 | #Constraints: 49640
3354.58/3365.31 c #Conflicts: 1693000 | #Constraints: 50640
3354.58/3365.31 c #Conflicts: 1694000 | #Constraints: 51640
3354.58/3365.31 c INPROCESSING
3354.58/3365.31 c GARBAGE COLLECT
3354.58/3365.31 c #Conflicts: 1695000 | #Constraints: 26841
3354.58/3365.31 c #Conflicts: 1696000 | #Constraints: 27841
3354.58/3365.31 c #Conflicts: 1697000 | #Constraints: 28841
3354.58/3365.31 c #Conflicts: 1698000 | #Constraints: 29841
3354.58/3365.31 c #Conflicts: 1699000 | #Constraints: 30841
3354.58/3365.31 c #Conflicts: 1700000 | #Constraints: 31841
3354.58/3365.31 c #Conflicts: 1701000 | #Constraints: 32841
3354.58/3365.31 c #Conflicts: 1702000 | #Constraints: 33841
3354.58/3365.31 c #Conflicts: 1703000 | #Constraints: 34841
3354.58/3365.31 c #Conflicts: 1704000 | #Constraints: 35841
3354.58/3365.31 c #Conflicts: 1705000 | #Constraints: 36841
3354.58/3365.31 c #Conflicts: 1706000 | #Constraints: 37841
3354.58/3365.31 c #Conflicts: 1707000 | #Constraints: 38841
3354.58/3365.31 c #Conflicts: 1708000 | #Constraints: 39841
3354.58/3365.31 c #Conflicts: 1709000 | #Constraints: 40841
3354.58/3365.31 c #Conflicts: 1710000 | #Constraints: 41841
3354.58/3365.31 c #Conflicts: 1711000 | #Constraints: 42841
3354.58/3365.31 c #Conflicts: 1712000 | #Constraints: 43841
3354.58/3365.31 c #Conflicts: 1713000 | #Constraints: 44841
3354.58/3365.31 c #Conflicts: 1714000 | #Constraints: 45841
3354.58/3365.31 c #Conflicts: 1715000 | #Constraints: 46841
3354.58/3365.31 c #Conflicts: 1716000 | #Constraints: 47841
3354.58/3365.31 c #Conflicts: 1717000 | #Constraints: 48841
3354.58/3365.31 c #Conflicts: 1718000 | #Constraints: 49841
3354.58/3365.31 c #Conflicts: 1719000 | #Constraints: 50841
3354.58/3365.31 c #Conflicts: 1720000 | #Constraints: 51841
3354.58/3365.31 c INPROCESSING
3354.58/3365.31 c GARBAGE COLLECT
3354.58/3365.31 c #Conflicts: 1721000 | #Constraints: 26840
3354.58/3365.31 c #Conflicts: 1722000 | #Constraints: 27840
3354.58/3365.31 c #Conflicts: 1723000 | #Constraints: 28840
3354.58/3365.31 c #Conflicts: 1724000 | #Constraints: 29840
3354.58/3365.31 c #Conflicts: 1725000 | #Constraints: 30840
3354.58/3365.31 c #Conflicts: 1726000 | #Constraints: 31840
3354.58/3365.31 c #Conflicts: 1727000 | #Constraints: 32840
3354.58/3365.31 c #Conflicts: 1728000 | #Constraints: 33840
3354.58/3365.31 c #Conflicts: 1729000 | #Constraints: 34840
3584.68/3596.13 c #Conflicts: 1730000 | #Constraints: 35840
3584.68/3596.13 c #Conflicts: 1731000 | #Constraints: 36840
3584.68/3596.13 c #Conflicts: 1732000 | #Constraints: 37840
3584.68/3596.13 c #Conflicts: 1733000 | #Constraints: 38840
3584.68/3596.13 c #Conflicts: 1734000 | #Constraints: 39840
3584.68/3596.13 c #Conflicts: 1735000 | #Constraints: 40840
3584.68/3596.13 c #Conflicts: 1736000 | #Constraints: 41840
3584.68/3596.13 c #Conflicts: 1737000 | #Constraints: 42840
3584.68/3596.13 c #Conflicts: 1738000 | #Constraints: 43840
3584.68/3596.13 c #Conflicts: 1739000 | #Constraints: 44840
3584.68/3596.13 c #Conflicts: 1740000 | #Constraints: 45840
3584.68/3596.13 c #Conflicts: 1741000 | #Constraints: 46840
3584.68/3596.13 c #Conflicts: 1742000 | #Constraints: 47840
3584.68/3596.13 c #Conflicts: 1743000 | #Constraints: 48840
3584.68/3596.13 c #Conflicts: 1744000 | #Constraints: 49840
3584.68/3596.13 c #Conflicts: 1745000 | #Constraints: 50840
3584.68/3596.13 c #Conflicts: 1746000 | #Constraints: 51840
3584.68/3596.13 c INPROCESSING
3584.68/3596.13 c GARBAGE COLLECT
3584.68/3596.13 c #Conflicts: 1747000 | #Constraints: 26637
3584.68/3596.13 c #Conflicts: 1748000 | #Constraints: 27637
3584.68/3596.13 c #Conflicts: 1749000 | #Constraints: 28637
3584.68/3596.13 c #Conflicts: 1750000 | #Constraints: 29637
3584.68/3596.13 c #Conflicts: 1751000 | #Constraints: 30637
3584.68/3596.13 c #Conflicts: 1752000 | #Constraints: 31637
3584.68/3596.13 c #Conflicts: 1753000 | #Constraints: 32637
3584.68/3596.13 c #Conflicts: 1754000 | #Constraints: 33637
3584.68/3596.13 c #Conflicts: 1755000 | #Constraints: 34637
3584.68/3596.13 c #Conflicts: 1756000 | #Constraints: 35637
3584.68/3596.13 c #Conflicts: 1757000 | #Constraints: 36637
3584.68/3596.13 c #Conflicts: 1758000 | #Constraints: 37637
3584.68/3596.13 c #Conflicts: 1759000 | #Constraints: 38637
3584.68/3596.13 c #Conflicts: 1760000 | #Constraints: 39637
3584.68/3596.13 c #Conflicts: 1761000 | #Constraints: 40637
3584.68/3596.13 c #Conflicts: 1762000 | #Constraints: 41637
3584.68/3596.13 c #Conflicts: 1763000 | #Constraints: 42637
3584.68/3596.13 c #Conflicts: 1764000 | #Constraints: 43637
3584.68/3596.13 c #Conflicts: 1765000 | #Constraints: 44637
3584.68/3596.13 c #Conflicts: 1766000 | #Constraints: 45637
3584.68/3596.13 c #Conflicts: 1767000 | #Constraints: 46637
3584.68/3596.13 c #Conflicts: 1768000 | #Constraints: 47637
3584.68/3596.13 c #Conflicts: 1769000 | #Constraints: 48637
3584.68/3596.13 c #Conflicts: 1770000 | #Constraints: 49637
3584.68/3596.13 c #Conflicts: 1771000 | #Constraints: 50637
3584.68/3596.13 c #Conflicts: 1772000 | #Constraints: 51637
3584.68/3596.13 c #Conflicts: 1773000 | #Constraints: 52637
3584.68/3596.13 c INPROCESSING
3584.68/3596.13 c GARBAGE COLLECT
3584.68/3596.13 c #Conflicts: 1774000 | #Constraints: 27242
3584.68/3596.13 c #Conflicts: 1775000 | #Constraints: 28242
3584.68/3596.13 c #Conflicts: 1776000 | #Constraints: 29242
3584.68/3596.13 c #Conflicts: 1777000 | #Constraints: 30242
3584.68/3596.13 c #Conflicts: 1778000 | #Constraints: 31242
3584.68/3596.13 c #Conflicts: 1779000 | #Constraints: 32242
3584.68/3596.13 c #Conflicts: 1780000 | #Constraints: 33242
3584.68/3596.13 c #Conflicts: 1781000 | #Constraints: 34242
3584.68/3596.13 c #Conflicts: 1782000 | #Constraints: 35242
3584.68/3596.13 c #Conflicts: 1783000 | #Constraints: 36242
3584.68/3596.13 c #Conflicts: 1784000 | #Constraints: 37242
3584.68/3596.13 c #Conflicts: 1785000 | #Constraints: 38242
3584.68/3596.13 c #Conflicts: 1786000 | #Constraints: 39242
3584.68/3596.13 c #Conflicts: 1787000 | #Constraints: 40242
3584.68/3596.13 c #Conflicts: 1788000 | #Constraints: 41242
3584.68/3596.13 c #Conflicts: 1789000 | #Constraints: 42242
3584.68/3596.13 c #Conflicts: 1790000 | #Constraints: 43242
3584.68/3596.13 c #Conflicts: 1791000 | #Constraints: 44242
3584.68/3596.13 c #Conflicts: 1792000 | #Constraints: 45242
3584.68/3596.13 c #Conflicts: 1793000 | #Constraints: 46242
3584.68/3596.13 c #Conflicts: 1794000 | #Constraints: 47242
3584.68/3596.13 c #Conflicts: 1795000 | #Constraints: 48242
3584.68/3596.13 c #Conflicts: 1796000 | #Constraints: 49242
3584.68/3596.13 c #Conflicts: 1797000 | #Constraints: 50242
3584.68/3596.13 c #Conflicts: 1798000 | #Constraints: 51242
3584.68/3596.13 c #Conflicts: 1799000 | #Constraints: 52242
3584.68/3596.13 c #Conflicts: 1800000 | #Constraints: 53242
3584.68/3596.13 c INPROCESSING
3584.68/3596.13 c GARBAGE COLLECT
3584.68/3596.13 c #Conflicts: 1801000 | #Constraints: 27638
3584.68/3596.13 c #Conflicts: 1802000 | #Constraints: 28638
3584.68/3596.13 c #Conflicts: 1803000 | #Constraints: 29638
3584.68/3596.13 c #Conflicts: 1804000 | #Constraints: 30638
3584.68/3596.13 c #Conflicts: 1805000 | #Constraints: 31638
3584.68/3596.13 c #Conflicts: 1806000 | #Constraints: 32638
3600.04/3611.50 c #Conflicts: 1807000 | #Constraints: 33638
3600.04/3611.50 c #Conflicts: 1808000 | #Constraints: 34638
3600.04/3611.50 c #Conflicts: 1809000 | #Constraints: 35638
3600.04/3611.50 c #Conflicts: 1810000 | #Constraints: 36638
3600.04/3611.50 c #Conflicts: 1811000 | #Constraints: 37638
3600.04/3611.50 c #Conflicts: 1812000 | #Constraints: 38638
3600.04/3611.50 c Program interrupted by user.
3600.04/3611.50 c cpu time 3591.17 s
3600.04/3611.50 c deterministic time 630549533232 6.31e+11
3600.04/3611.50 c optimization time 32.0407 s
3600.04/3611.50 c total solve time 3259.79 s
3600.04/3611.50 c core-guided solve time 3259.79 s
3600.04/3611.50 c propagation time 3134.51 s
3600.04/3611.50 c conflict analysis time 140.911 s
3600.04/3611.50 c propagations 30787880
3600.04/3611.50 c resolve steps 9323639
3600.04/3611.50 c decisions 3916285
3600.04/3611.50 c conflicts 1812397
3600.04/3611.50 c restarts 3544
3600.04/3611.50 c inprocessing phases 125
3600.04/3611.50 c input clauses 0
3600.04/3611.50 c input cardinalities 0
3600.04/3611.50 c input general constraints 20
3600.04/3611.50 c input average constraint length 88.50
3600.04/3611.50 c input average constraint degree 1878.35
3600.04/3611.50 c learned clauses 777101
3600.04/3611.50 c learned cardinalities 0
3600.04/3611.50 c learned general constraints 1035296
3600.04/3611.50 c learned average constraint length 89.20
3600.04/3611.50 c learned average constraint degree 1548404.31
3600.04/3611.50 c watched constraints 1033859
3600.04/3611.50 c counting constraints 1457
3600.04/3611.50 c gcd simplifications 682697
3600.04/3611.50 c detected cardinalities 0
3600.04/3611.50 c weakened non-implied lits 53619317
3600.04/3611.50 c weakened non-implying lits 1683387
3600.04/3611.50 c original variables 198
3600.04/3611.50 c clausal propagations 389043
3600.04/3611.50 c cardinality propagations 0
3600.04/3611.50 c watched propagations 24916020
3600.04/3611.50 c counting propagations 4314988
3600.04/3611.50 c watch lookups 25686695066
3600.04/3611.50 c watch backjump lookups 9702547220
3600.04/3611.50 c watch checks 552962052900
3600.04/3611.50 c propagation checks 40872937207
3600.04/3611.50 c constraint additions 1254080272
3600.04/3611.50 c trail pops 36516401
3600.04/3611.50 c formula constraints 16
3600.04/3611.50 c learned constraints 1812397
3600.04/3611.50 c bound constraints 4
3600.04/3611.50 c core-guided constraints 0
3600.04/3611.50 c encountered formula constraints 1711165
3600.04/3611.50 c encountered learned constraints 9423473
3600.04/3611.50 c encountered bound constraints 1398
3600.04/3611.50 c encountered core-guided constraints 0
3600.04/3611.50 c LP total time 0 s
3600.04/3611.50 c LP solve time 0 s
3600.04/3611.50 c LP constraints added 0
3600.04/3611.50 c LP constraints removed 0
3600.04/3611.50 c LP pivots internal 0
3600.04/3611.50 c LP pivots root 0
3600.04/3611.50 c LP calls 0
3600.04/3611.50 c LP optimalities 0
3600.04/3611.50 c LP no pivot count 0
3600.04/3611.50 c LP infeasibilities 0
3600.04/3611.50 c LP valid Farkas constraints 0
3600.04/3611.50 c LP learned Farkas constraints 0
3600.04/3611.50 c LP basis resets 0
3600.04/3611.50 c LP cycling count 0
3600.04/3611.50 c LP singular count 0
3600.04/3611.50 c LP no primal count 0
3600.04/3611.50 c LP no farkas count 0
3600.04/3611.50 c LP other issue count 0
3600.04/3611.50 c LP Gomory cuts 0
3600.04/3611.50 c LP learned cuts 0
3600.04/3611.50 c LP deleted cuts 0
3600.04/3611.50 c LP encountered Gomory constraints 0
3600.04/3611.50 c LP encountered Farkas constraints 0
3600.04/3611.50 c LP encountered learned Farkas constraints 0
3600.04/3611.50 c CG auxiliary variables introduced 0
3600.04/3611.50 c CG solutions found 3
3600.04/3611.50 c CG cores constructed 0
3600.04/3611.50 c CG core cardinality constraints returned 0
3600.04/3611.50 c CG unit cores 0
3600.04/3611.50 c CG single cores 0
3600.04/3611.50 c CG blocks removed during cardinality reduction 0
3600.04/3611.50 c CG first core best 0
3600.04/3611.50 c CG decision core best 0
3600.04/3611.50 c CG core reduction tie 0
3600.04/3611.50 c CG core degree average 0.00
3600.04/3611.50 c CG core slack average 0.00
3600.04/3611.50 c CG exhausted 0
3600.04/3611.50 c CG exhaust time 0 s
3600.04/3611.50 c CG trimmed 0
3600.04/3611.50 c CG trim time 0 s
3600.04/3611.50 c CG minimized 0
3600.04/3611.50 c CG minimize time 0 s
3600.04/3611.50 c CG am1 prop time 0.000189 s
3600.04/3611.50 c CG # am1s reformulated 0
3600.04/3611.50 c CG lower bound derived from am1s 0
3600.04/3611.50 c CG # clausal cores 0
3600.04/3611.50 c CG # cardinality cores 0
3600.04/3611.50 c CG # pb cores 0
3600.04/3611.50 c CG # pb reforms 0
3600.04/3611.50 c CG # cores discarded because of pb reform 0
3600.04/3611.50 d LOWERBOUND 0
3600.04/3611.50 d NCORES 0
3600.04/3611.50 d NPBCORES 0
3600.04/3611.50 d NPBREFORM 0
3600.04/3611.50 d NTRIMMED 0
3600.04/3611.50 d NEXHAUSTED 0
3600.04/3611.50 d NAM1S 0
3600.04/3611.50 d AM1LB 0
3600.04/3611.50 c [STEP] postprocessing with Papilo
3600.04/3611.50 o 40
3600.04/3611.50 s SATISFIABLE
3600.04/3611.50 v -x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 x74 x75 -x76 -x77 -x78 -x79 -x80 x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x105 -x106 x107 -x108 -x109 -x110 -x111 -x112 x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 x130 x131 -x132 -x133 x134 x135 -x136 x137 x138 x139 x140 -x141 -x142 -x143 -x144 x145 x146 -x147 -x148 x149 -x150 x151 -x152 -x153 x154 -x155 x156 -x157 x158 x159 x160 -x161 x162 -x163 -x164 x165 -x166 x167 -x168 x169 x170 -x171 -x172 -x173 x174 x175 x176 -x177 x178 -x179 x180 -x181 x182 x183 -x184 -x185 x186 x187 -x188 -x189 -x190 x191 -x192 x193 -x194 -x195 x196 x197 -x198
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: 63968 MiB (61929 MiB free)
memory of node 1: 64473 MiB (61326 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435505-1721099969/watcher-4435505-1721099969 -o /tmp/evaluation-result-4435505-1721099969/solver-4435505-1721099969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831065 --watchdog 3760 mixed-bag HOME/instance-4435505-1721099969.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=835432, runsolver pid=835429
Current StackSize limit: 8192 KiB
[startup+0.100087 s]*
/proc/loadavg: 4.13 4.15 4.10 5/255 835433
/proc/meminfo: memFree=126198748/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=99832 memory=31728 CPUtime=0.09 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 4303 0 0 0 9 0 0 0 20 0 1 0 162160712 102227968 7932 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 24958 7932 4036 3002 0 8709 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 99832 KiB
Current children cumulated memory: 31728 KiB
[startup+0.205579 s]*
/proc/loadavg: 4.13 4.15 4.10 5/255 835433
/proc/meminfo: memFree=126185980/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=108676 memory=40704 CPUtime=0.2 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 6563 0 0 0 19 1 0 0 20 0 1 0 162160712 111284224 10176 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 27169 10176 4036 3002 0 10920 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 108676 KiB
Current children cumulated memory: 40704 KiB
[startup+0.30551 s]*
/proc/loadavg: 4.13 4.15 4.10 6/255 835433
/proc/meminfo: memFree=126184852/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=107748 memory=40084 CPUtime=0.3 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 6600 0 0 0 29 1 0 0 20 0 1 0 162160712 110333952 10021 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 26937 10021 4036 3002 0 10688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 107748 KiB
Current children cumulated memory: 40084 KiB
[startup+0.700191 s]
/proc/loadavg: 4.13 4.15 4.10 5/255 835433
/proc/meminfo: memFree=126184184/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=108884 memory=41664 CPUtime=0.69 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 6983 0 0 0 68 1 0 0 20 0 1 0 162160712 111497216 10416 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 27221 10416 4036 3002 0 10972 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 108884 KiB
Current children cumulated memory: 41664 KiB
[startup+1.50019 s]
/proc/loadavg: 4.13 4.15 4.10 5/255 835433
/proc/meminfo: memFree=126178728/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=119012 memory=50264 CPUtime=1.48 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 9364 0 0 0 147 1 0 0 20 0 1 0 162160712 121868288 12566 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 29753 12566 4036 3002 0 13504 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 119012 KiB
Current children cumulated memory: 50264 KiB
[startup+3.10542 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 835433
/proc/meminfo: memFree=126162908/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=121608 memory=53204 CPUtime=3.08 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 10781 0 0 0 307 1 0 0 20 0 1 0 162160712 124526592 13301 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 30402 13301 4036 3002 0 14153 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 121608 KiB
Current children cumulated memory: 53204 KiB
[startup+6.30018 s]
/proc/loadavg: 4.12 4.14 4.10 5/255 835434
/proc/meminfo: memFree=126136028/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=132284 memory=64224 CPUtime=6.27 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 14234 0 0 0 625 2 0 0 20 0 1 0 162160712 135458816 16056 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 33071 16056 4177 3002 0 16822 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 132284 KiB
Current children cumulated memory: 64224 KiB
[startup+12.7002 s]
/proc/loadavg: 4.11 4.14 4.10 5/255 835434
/proc/meminfo: memFree=126079760/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=157080 memory=88508 CPUtime=12.64 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 20288 0 0 0 1261 3 0 0 20 0 1 0 162160712 160849920 22127 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 39270 22127 4177 3002 0 23021 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 157080 KiB
Current children cumulated memory: 88508 KiB
[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.11 5/257 835441
/proc/meminfo: memFree=125992876/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=184608 memory=113896 CPUtime=25.38 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 28415 0 0 0 2534 4 0 0 20 0 1 0 162160712 189038592 28474 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 46152 28474 4177 3002 0 29903 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 184608 KiB
Current children cumulated memory: 113896 KiB
[startup+51.1055 s]
/proc/loadavg: 4.11 4.14 4.10 5/257 835444
/proc/meminfo: memFree=125816644/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=263652 memory=187604 CPUtime=50.89 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 47302 0 0 0 5081 8 0 0 20 0 1 0 162160712 269979648 46901 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 65913 46901 4177 3002 0 49664 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 263652 KiB
Current children cumulated memory: 187604 KiB
[startup+102.3 s]
/proc/loadavg: 4.05 4.12 4.09 5/256 835454
/proc/meminfo: memFree=125527456/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=371608 memory=293728 CPUtime=101.89 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 74377 0 0 0 10171 18 0 0 20 0 1 0 162160712 380526592 73432 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 92902 73432 4177 3002 0 76653 0
Current children cumulated CPU time: 101.89 s
Current children cumulated vsize: 371608 KiB
Current children cumulated memory: 293728 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/256 835464
/proc/meminfo: memFree=125222324/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=483024 memory=401280 CPUtime=161.66 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 101859 0 0 0 16140 26 0 0 20 0 1 0 162160712 494616576 100320 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 120756 100320 4177 3002 0 104507 0
Current children cumulated CPU time: 161.66 s
Current children cumulated vsize: 483024 KiB
Current children cumulated memory: 401280 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/256 835475
/proc/meminfo: memFree=125006852/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=551384 memory=471324 CPUtime=221.44 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 119954 0 0 0 22113 31 0 0 20 0 1 0 162160712 564617216 117831 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 137846 117831 4177 3002 0 121597 0
Current children cumulated CPU time: 221.44 s
Current children cumulated vsize: 551384 KiB
Current children cumulated memory: 471324 KiB
[startup+282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/256 835486
/proc/meminfo: memFree=124772948/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=633836 memory=549264 CPUtime=281.19 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 139452 0 0 0 28083 36 0 0 20 0 1 0 162160712 649048064 137316 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 158459 137316 4177 3002 0 142210 0
Current children cumulated CPU time: 281.19 s
Current children cumulated vsize: 633836 KiB
Current children cumulated memory: 549264 KiB
[startup+342.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/256 835881
/proc/meminfo: memFree=125430228/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=534052 memory=460100 CPUtime=340.98 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 147517 0 0 0 34013 85 0 0 20 0 1 0 162160712 546869248 115025 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 133513 115025 4321 3002 0 117264 0
Current children cumulated CPU time: 340.98 s
Current children cumulated vsize: 534052 KiB
Current children cumulated memory: 460100 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/255 835891
/proc/meminfo: memFree=125415796/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=541232 memory=464084 CPUtime=400.78 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 147925 0 0 0 39952 126 0 0 20 0 1 0 162160712 554221568 116021 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 135308 116021 4321 3002 0 119059 0
Current children cumulated CPU time: 400.78 s
Current children cumulated vsize: 541232 KiB
Current children cumulated memory: 464084 KiB
[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/255 835901
/proc/meminfo: memFree=125404568/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=541232 memory=469220 CPUtime=460.59 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 148342 0 0 0 45900 159 0 0 20 0 1 0 162160712 554221568 117305 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 135308 117305 4321 3002 0 119059 0
################
# More data... #
################
Current children cumulated memory: 501084 KiB
[startup+2922.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/255 837142
/proc/meminfo: memFree=125295520/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=501084 CPUtime=2912.92 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 151808 0 0 0 290521 771 0 0 20 0 1 0 162160712 585601024 125271 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125271 4321 3002 0 126720 0
Current children cumulated CPU time: 2912.92 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 501084 KiB
[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 837152
/proc/meminfo: memFree=125292720/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=501084 CPUtime=2972.74 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 151878 0 0 0 296494 780 0 0 20 0 1 0 162160712 585601024 125271 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125271 4321 3002 0 126720 0
Current children cumulated CPU time: 2972.74 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 501084 KiB
[startup+3042.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/256 837166
/proc/meminfo: memFree=125289984/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3032.55 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 151953 0 0 0 302469 786 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3032.55 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3102.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/257 837178
/proc/meminfo: memFree=125288928/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3092.38 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152018 0 0 0 308442 796 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3092.38 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3162.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/257 837188
/proc/meminfo: memFree=125288052/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3152.19 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152093 0 0 0 314412 807 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/257 837199
/proc/meminfo: memFree=125287268/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3212.01 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152166 0 0 0 320383 818 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3212.01 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3282.3 s]
/proc/loadavg: 4.21 4.13 4.10 5/257 837210
/proc/meminfo: memFree=125284664/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3271.82 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152240 0 0 0 326354 828 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3271.82 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3342.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/255 837220
/proc/meminfo: memFree=125281724/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3331.64 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152313 0 0 0 332324 840 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3331.64 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3402.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/254 837230
/proc/meminfo: memFree=125281028/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3391.46 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152381 0 0 0 338295 851 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3391.46 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3462.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/255 837241
/proc/meminfo: memFree=125278244/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3451.28 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152456 0 0 0 344266 862 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3451.28 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/255 837254
/proc/meminfo: memFree=125277628/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3511.09 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152529 0 0 0 350237 872 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3511.09 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
[startup+3582.3 s]
/proc/loadavg: 4.05 4.11 4.09 5/255 837264
/proc/meminfo: memFree=125276672/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3570.92 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152602 0 0 0 356211 881 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3570.92 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3611.5 s]
/proc/loadavg: 3.56 4.00 4.05 2/234 837361
/proc/meminfo: memFree=125985404/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3600.04 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152631 0 0 0 359117 887 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3611.5 s]
# the end of solver process 835432 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3591.17 s, system=8.87406 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3611.5 s]
/proc/loadavg: 3.56 4.00 4.05 2/234 837361
/proc/meminfo: memFree=125985404/131524600 swapFree=131071996/131071996
[pid=835432] ppid=835429 vsize=571876 memory=503132 CPUtime=3600.04 cores=0,2
/proc/835432/stat : 835432 (mixed-bag) R 835429 835432 831055 0 -1 4194304 152631 0 0 0 359117 887 0 0 20 0 1 0 162160712 585601024 125783 134679101440 4194304 16487941 140730582573824 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18723592 18734648 32649216 140730582578199 140730582578276 140730582578276 140730582585291 0
/proc/835432/statm: 142969 125783 4321 3002 0 126720 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 571876 KiB
Current children cumulated memory: 503132 KiB
Child status: 0
Real time (s): 3611.5
CPU time (s): 3600.05
CPU user time (s): 3591.17
CPU system time (s): 8.87406
CPU usage (%): 99.6828
Max. virtual memory (cumulated for all children) (KiB): 659084
Max. memory (cumulated for all children) (KiB): 575612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.17
system time used= 8.87406
maximum resident set size= 575612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 152655
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= 49
involuntary context switches= 24675
# summary of solver processes directly reported to runsolver:
# pid: 835432
# total CPU time (s): 3600.05
# total CPU user time (s): 3591.17
# total CPU system time (s): 8.87406
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.1937 second user time and 16.1356 second system time
The end
Begin job on nodeC021 at 2024-07-16 05:19:41
IDJOB=4435505
IDBENCH=147586
IDSOLVER=3066
FILE ID=nodeC021/4435505-1721099969
RUNJOBID= nodeC021-1721092436-831065
SLURM_JOB_ID= 7505590
Free space on /tmp= 890036 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_3.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435505-1721099969/watcher-4435505-1721099969 -o /tmp/evaluation-result-4435505-1721099969/solver-4435505-1721099969 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC021-1721092436-831065 --watchdog 3760 mixed-bag HOME/instance-4435505-1721099969.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= d6e4abba593cb3232b5d1a2a9d687dd6
RANDOM SEED=113364293
nodeC021.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3662.562
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.522
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3667.518
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.123
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.446
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3681.617
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3609.174
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.42
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.023
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.23
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 126214752 kB
MemAvailable: 129535904 kB
Buffers: 383968 kB
Cached: 3739120 kB
SwapCached: 0 kB
Active: 722312 kB
Inactive: 3916428 kB
Active(anon): 1560 kB
Inactive(anon): 551812 kB
Active(file): 720752 kB
Inactive(file): 3364616 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 48912 kB
Writeback: 0 kB
AnonPages: 515432 kB
Mapped: 137432 kB
Shmem: 37720 kB
KReclaimable: 151212 kB
Slab: 264560 kB
SReclaimable: 151212 kB
SUnreclaim: 113348 kB
KernelStack: 4076 kB
PageTables: 10712 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 846976 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 61696 kB
HardwareCorrupted: 0 kB
AnonHugePages: 233472 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 256724 kB
DirectMap2M: 23633920 kB
DirectMap1G: 112197632 kB
Free space on /tmp at the end= 890068 MiB
End job on nodeC021 at 2024-07-16 06:19:53