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.02 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
298.93/300.09 c [STEP] preprocessing done, loading into solver
298.93/300.09 c [STEP] solving
298.93/300.09 c #variables 3211 #constraints 510
333.70/334.96 c #Conflicts: 1000 | #Constraints: 1509
333.70/334.96 c #Conflicts: 2000 | #Constraints: 2509
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 3000 | #Constraints: 2522
333.70/334.96 c #Conflicts: 4000 | #Constraints: 3522
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 5000 | #Constraints: 2933
333.70/334.96 c #Conflicts: 6000 | #Constraints: 3933
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 7000 | #Constraints: 2944
333.70/334.96 c #Conflicts: 8000 | #Constraints: 3944
333.70/334.96 c #Conflicts: 9000 | #Constraints: 4944
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 10000 | #Constraints: 3638
333.70/334.96 c #Conflicts: 11000 | #Constraints: 4638
333.70/334.96 c #Conflicts: 12000 | #Constraints: 5638
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 13000 | #Constraints: 4084
333.70/334.96 c #Conflicts: 14000 | #Constraints: 5084
333.70/334.96 c #Conflicts: 15000 | #Constraints: 6084
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 16000 | #Constraints: 4308
333.70/334.96 c #Conflicts: 17000 | #Constraints: 5308
333.70/334.96 c #Conflicts: 18000 | #Constraints: 6308
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 19000 | #Constraints: 4328
333.70/334.96 c #Conflicts: 20000 | #Constraints: 5328
333.70/334.96 c #Conflicts: 21000 | #Constraints: 6328
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 22000 | #Constraints: 4129
333.70/334.96 c #Conflicts: 23000 | #Constraints: 5129
333.70/334.96 c #Conflicts: 24000 | #Constraints: 6129
333.70/334.96 c #Conflicts: 25000 | #Constraints: 7129
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 26000 | #Constraints: 4732
333.70/334.96 c #Conflicts: 27000 | #Constraints: 5732
333.70/334.96 c #Conflicts: 28000 | #Constraints: 6732
333.70/334.96 c #Conflicts: 29000 | #Constraints: 7732
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 30000 | #Constraints: 5130
333.70/334.96 c #Conflicts: 31000 | #Constraints: 6130
333.70/334.96 c #Conflicts: 32000 | #Constraints: 7130
333.70/334.96 c #Conflicts: 33000 | #Constraints: 8130
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 34000 | #Constraints: 5339
333.70/334.96 c #Conflicts: 35000 | #Constraints: 6339
333.70/334.96 c #Conflicts: 36000 | #Constraints: 7339
333.70/334.96 c #Conflicts: 37000 | #Constraints: 8339
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 38000 | #Constraints: 5344
333.70/334.96 c #Conflicts: 39000 | #Constraints: 6344
333.70/334.96 c #Conflicts: 40000 | #Constraints: 7344
333.70/334.96 c #Conflicts: 41000 | #Constraints: 8344
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 42000 | #Constraints: 5155
333.70/334.96 c #Conflicts: 43000 | #Constraints: 6155
333.70/334.96 c #Conflicts: 44000 | #Constraints: 7155
333.70/334.96 c #Conflicts: 45000 | #Constraints: 8155
333.70/334.96 c #Conflicts: 46000 | #Constraints: 9155
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 47000 | #Constraints: 5749
333.70/334.96 c #Conflicts: 48000 | #Constraints: 6749
333.70/334.96 c #Conflicts: 49000 | #Constraints: 7749
333.70/334.96 c #Conflicts: 50000 | #Constraints: 8749
333.70/334.96 c #Conflicts: 51000 | #Constraints: 9749
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 52000 | #Constraints: 6150
333.70/334.96 c #Conflicts: 53000 | #Constraints: 7150
333.70/334.96 c #Conflicts: 54000 | #Constraints: 8150
333.70/334.96 c #Conflicts: 55000 | #Constraints: 9150
333.70/334.96 c #Conflicts: 56000 | #Constraints: 10150
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 57000 | #Constraints: 6350
333.70/334.96 c #Conflicts: 58000 | #Constraints: 7350
333.70/334.96 c #Conflicts: 59000 | #Constraints: 8350
333.70/334.96 c #Conflicts: 60000 | #Constraints: 9350
333.70/334.96 c #Conflicts: 61000 | #Constraints: 10350
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 62000 | #Constraints: 6340
333.70/334.96 c #Conflicts: 63000 | #Constraints: 7340
333.70/334.96 c #Conflicts: 64000 | #Constraints: 8340
333.70/334.96 c #Conflicts: 65000 | #Constraints: 9340
333.70/334.96 c #Conflicts: 66000 | #Constraints: 10340
333.70/334.96 c INPROCESSING
333.70/334.96 c GARBAGE COLLECT
333.70/334.96 c #Conflicts: 67000 | #Constraints: 6138
333.70/334.96 c #Conflicts: 68000 | #Constraints: 7138
398.41/399.81 c #Conflicts: 69000 | #Constraints: 8138
398.41/399.81 c #Conflicts: 70000 | #Constraints: 9138
398.41/399.81 c #Conflicts: 71000 | #Constraints: 10138
398.41/399.81 c #Conflicts: 72000 | #Constraints: 11138
398.41/399.81 c INPROCESSING
398.41/399.81 c GARBAGE COLLECT
398.41/399.81 c #Conflicts: 73000 | #Constraints: 6729
398.41/399.81 c #Conflicts: 74000 | #Constraints: 7729
398.41/399.81 c #Conflicts: 75000 | #Constraints: 8729
398.41/399.81 c #Conflicts: 76000 | #Constraints: 9729
398.41/399.81 c #Conflicts: 77000 | #Constraints: 10729
398.41/399.81 c #Conflicts: 78000 | #Constraints: 11729
398.41/399.81 c INPROCESSING
398.41/399.81 c GARBAGE COLLECT
398.41/399.81 c #Conflicts: 79000 | #Constraints: 7144
398.41/399.81 c #Conflicts: 80000 | #Constraints: 8144
398.41/399.81 c #Conflicts: 81000 | #Constraints: 9144
398.41/399.81 c #Conflicts: 82000 | #Constraints: 10144
398.41/399.81 c #Conflicts: 83000 | #Constraints: 11144
398.41/399.81 c #Conflicts: 84000 | #Constraints: 12144
398.41/399.81 c INPROCESSING
398.41/399.81 c GARBAGE COLLECT
398.41/399.81 c #Conflicts: 85000 | #Constraints: 7349
398.41/399.81 c #Conflicts: 86000 | #Constraints: 8349
398.41/399.81 c #Conflicts: 87000 | #Constraints: 9349
398.41/399.81 c #Conflicts: 88000 | #Constraints: 10349
398.41/399.81 c #Conflicts: 89000 | #Constraints: 11349
398.41/399.81 c #Conflicts: 90000 | #Constraints: 12349
398.41/399.81 c INPROCESSING
398.41/399.81 c GARBAGE COLLECT
398.41/399.81 c #Conflicts: 91000 | #Constraints: 7349
398.41/399.81 c #Conflicts: 92000 | #Constraints: 8349
398.41/399.81 c #Conflicts: 93000 | #Constraints: 9349
398.41/399.81 c #Conflicts: 94000 | #Constraints: 10349
398.41/399.81 c #Conflicts: 95000 | #Constraints: 11349
398.41/399.81 c #Conflicts: 96000 | #Constraints: 12349
398.41/399.81 c INPROCESSING
398.41/399.81 c GARBAGE COLLECT
398.41/399.81 c #Conflicts: 97000 | #Constraints: 7163
398.41/399.81 c #Conflicts: 98000 | #Constraints: 8163
398.41/399.81 c #Conflicts: 99000 | #Constraints: 9163
398.41/399.81 c #Conflicts: 100000 | #Constraints: 10163
398.41/399.81 c #Conflicts: 101000 | #Constraints: 11163
398.41/399.81 c #Conflicts: 102000 | #Constraints: 12163
398.41/399.81 c #Conflicts: 103000 | #Constraints: 13163
398.41/399.81 c INPROCESSING
398.41/399.81 c GARBAGE COLLECT
398.41/399.81 c #Conflicts: 104000 | #Constraints: 7753
398.41/399.81 c #Conflicts: 105000 | #Constraints: 8753
398.41/399.81 c #Conflicts: 106000 | #Constraints: 9753
398.41/399.81 c #Conflicts: 107000 | #Constraints: 10753
398.41/399.81 c #Conflicts: 108000 | #Constraints: 11753
398.41/399.81 c #Conflicts: 109000 | #Constraints: 12753
398.41/399.81 c #Conflicts: 110000 | #Constraints: 13753
398.41/399.81 c INPROCESSING
398.41/399.81 c GARBAGE COLLECT
398.41/399.81 c #Conflicts: 111000 | #Constraints: 8152
398.41/399.81 c #Conflicts: 112000 | #Constraints: 9152
398.41/399.81 c #Conflicts: 113000 | #Constraints: 10152
398.41/399.81 c #Conflicts: 114000 | #Constraints: 11152
398.41/399.81 c #Conflicts: 115000 | #Constraints: 12152
398.41/399.81 c #Conflicts: 116000 | #Constraints: 13152
398.41/399.81 c #Conflicts: 117000 | #Constraints: 14152
398.41/399.81 c INPROCESSING
398.41/399.81 c GARBAGE COLLECT
398.41/399.81 c #Conflicts: 118000 | #Constraints: 8345
398.41/399.81 c #Conflicts: 119000 | #Constraints: 9345
398.41/399.81 c #Conflicts: 120000 | #Constraints: 10345
398.41/399.81 c #Conflicts: 121000 | #Constraints: 11345
398.41/399.81 c #Conflicts: 122000 | #Constraints: 12345
398.41/399.82 c #Conflicts: 123000 | #Constraints: 13345
398.41/399.82 c #Conflicts: 124000 | #Constraints: 14345
398.41/399.82 c INPROCESSING
398.41/399.82 c GARBAGE COLLECT
398.41/399.82 c #Conflicts: 125000 | #Constraints: 8350
398.41/399.82 c #Conflicts: 126000 | #Constraints: 9350
398.41/399.82 c #Conflicts: 127000 | #Constraints: 10350
398.41/399.82 c #Conflicts: 128000 | #Constraints: 11350
398.41/399.82 c #Conflicts: 129000 | #Constraints: 12350
398.41/399.82 c #Conflicts: 130000 | #Constraints: 13350
398.41/399.82 c #Conflicts: 131000 | #Constraints: 14350
398.41/399.82 c INPROCESSING
398.41/399.82 c GARBAGE COLLECT
398.41/399.82 c #Conflicts: 132000 | #Constraints: 8143
398.41/399.82 c #Conflicts: 133000 | #Constraints: 9143
398.41/399.82 c #Conflicts: 134000 | #Constraints: 10143
398.41/399.82 c #Conflicts: 135000 | #Constraints: 11143
398.41/399.82 c #Conflicts: 136000 | #Constraints: 12143
398.41/399.82 c #Conflicts: 137000 | #Constraints: 13143
398.41/399.82 c #Conflicts: 138000 | #Constraints: 14143
398.41/399.82 c #Conflicts: 139000 | #Constraints: 15143
398.41/399.82 c INPROCESSING
398.41/399.82 c GARBAGE COLLECT
398.41/399.82 c #Conflicts: 140000 | #Constraints: 8754
485.63/487.37 c #Conflicts: 141000 | #Constraints: 9754
485.63/487.37 c #Conflicts: 142000 | #Constraints: 10754
485.63/487.37 c #Conflicts: 143000 | #Constraints: 11754
485.63/487.37 c #Conflicts: 144000 | #Constraints: 12754
485.63/487.37 c #Conflicts: 145000 | #Constraints: 13754
485.63/487.37 c #Conflicts: 146000 | #Constraints: 14754
485.63/487.37 c #Conflicts: 147000 | #Constraints: 15754
485.63/487.37 c INPROCESSING
485.63/487.37 c GARBAGE COLLECT
485.63/487.37 c #Conflicts: 148000 | #Constraints: 9180
485.63/487.37 c #Conflicts: 149000 | #Constraints: 10180
485.63/487.37 c #Conflicts: 150000 | #Constraints: 11180
485.63/487.37 c #Conflicts: 151000 | #Constraints: 12180
485.63/487.37 c #Conflicts: 152000 | #Constraints: 13180
485.63/487.37 c #Conflicts: 153000 | #Constraints: 14180
485.63/487.37 c #Conflicts: 154000 | #Constraints: 15180
485.63/487.37 c #Conflicts: 155000 | #Constraints: 16180
485.63/487.37 c INPROCESSING
485.63/487.37 c GARBAGE COLLECT
485.63/487.37 c #Conflicts: 156000 | #Constraints: 9365
485.63/487.37 c #Conflicts: 157000 | #Constraints: 10365
485.63/487.37 c #Conflicts: 158000 | #Constraints: 11365
485.63/487.37 c #Conflicts: 159000 | #Constraints: 12365
485.63/487.37 c #Conflicts: 160000 | #Constraints: 13365
485.63/487.37 c #Conflicts: 161000 | #Constraints: 14365
485.63/487.37 c #Conflicts: 162000 | #Constraints: 15365
485.63/487.37 c #Conflicts: 163000 | #Constraints: 16365
485.63/487.37 c INPROCESSING
485.63/487.37 c GARBAGE COLLECT
485.63/487.37 c #Conflicts: 164000 | #Constraints: 9355
485.63/487.37 c #Conflicts: 165000 | #Constraints: 10355
485.63/487.37 c #Conflicts: 166000 | #Constraints: 11355
485.63/487.37 c #Conflicts: 167000 | #Constraints: 12355
485.63/487.37 c #Conflicts: 168000 | #Constraints: 13355
485.63/487.37 c #Conflicts: 169000 | #Constraints: 14355
485.63/487.37 c #Conflicts: 170000 | #Constraints: 15355
485.63/487.37 c #Conflicts: 171000 | #Constraints: 16355
485.63/487.37 c INPROCESSING
485.63/487.37 c GARBAGE COLLECT
485.63/487.37 c #Conflicts: 172000 | #Constraints: 9147
485.63/487.37 c #Conflicts: 173000 | #Constraints: 10147
485.63/487.37 c #Conflicts: 174000 | #Constraints: 11147
485.63/487.37 c #Conflicts: 175000 | #Constraints: 12147
485.63/487.37 c #Conflicts: 176000 | #Constraints: 13147
485.63/487.37 c #Conflicts: 177000 | #Constraints: 14147
485.63/487.37 c #Conflicts: 178000 | #Constraints: 15147
485.63/487.37 c #Conflicts: 179000 | #Constraints: 16147
485.63/487.37 c #Conflicts: 180000 | #Constraints: 17147
485.63/487.37 c INPROCESSING
485.63/487.37 c GARBAGE COLLECT
485.63/487.37 c #Conflicts: 181000 | #Constraints: 9752
485.63/487.37 c #Conflicts: 182000 | #Constraints: 10752
485.63/487.37 c #Conflicts: 183000 | #Constraints: 11752
485.63/487.37 c #Conflicts: 184000 | #Constraints: 12752
485.63/487.37 c #Conflicts: 185000 | #Constraints: 13752
485.63/487.37 c #Conflicts: 186000 | #Constraints: 14752
485.63/487.37 c #Conflicts: 187000 | #Constraints: 15752
485.63/487.37 c #Conflicts: 188000 | #Constraints: 16752
485.63/487.37 c #Conflicts: 189000 | #Constraints: 17752
485.63/487.37 c INPROCESSING
485.63/487.37 c GARBAGE COLLECT
485.63/487.37 c #Conflicts: 190000 | #Constraints: 10171
485.63/487.37 c #Conflicts: 191000 | #Constraints: 11171
485.63/487.37 c #Conflicts: 192000 | #Constraints: 12171
485.63/487.37 c #Conflicts: 193000 | #Constraints: 13171
485.63/487.37 c #Conflicts: 194000 | #Constraints: 14171
485.63/487.37 c #Conflicts: 195000 | #Constraints: 15171
485.63/487.37 c #Conflicts: 196000 | #Constraints: 16171
485.63/487.37 c #Conflicts: 197000 | #Constraints: 17171
485.63/487.37 c #Conflicts: 198000 | #Constraints: 18171
485.63/487.37 c INPROCESSING
485.63/487.37 c GARBAGE COLLECT
485.63/487.37 c #Conflicts: 199000 | #Constraints: 10379
485.63/487.37 c #Conflicts: 200000 | #Constraints: 11379
485.63/487.37 c #Conflicts: 201000 | #Constraints: 12379
485.63/487.37 c #Conflicts: 202000 | #Constraints: 13379
485.63/487.37 c #Conflicts: 203000 | #Constraints: 14379
485.63/487.37 c #Conflicts: 204000 | #Constraints: 15379
485.63/487.37 c #Conflicts: 205000 | #Constraints: 16379
485.63/487.37 c #Conflicts: 206000 | #Constraints: 17379
485.63/487.37 c #Conflicts: 207000 | #Constraints: 18379
485.63/487.37 c INPROCESSING
485.63/487.37 c GARBAGE COLLECT
485.63/487.37 c #Conflicts: 208000 | #Constraints: 10405
485.63/487.37 c #Conflicts: 209000 | #Constraints: 11405
485.63/487.37 c #Conflicts: 210000 | #Constraints: 12405
485.63/487.37 c #Conflicts: 211000 | #Constraints: 13405
485.63/487.37 c #Conflicts: 212000 | #Constraints: 14405
485.63/487.37 c #Conflicts: 213000 | #Constraints: 15405
568.65/570.61 c #Conflicts: 214000 | #Constraints: 16405
568.65/570.61 c #Conflicts: 215000 | #Constraints: 17405
568.65/570.61 c #Conflicts: 216000 | #Constraints: 18405
568.65/570.61 c INPROCESSING
568.65/570.61 c GARBAGE COLLECT
568.65/570.61 c #Conflicts: 217000 | #Constraints: 10229
568.65/570.61 c #Conflicts: 218000 | #Constraints: 11229
568.65/570.61 c #Conflicts: 219000 | #Constraints: 12229
568.65/570.61 c #Conflicts: 220000 | #Constraints: 13229
568.65/570.61 c #Conflicts: 221000 | #Constraints: 14229
568.65/570.61 c #Conflicts: 222000 | #Constraints: 15229
568.65/570.61 c #Conflicts: 223000 | #Constraints: 16229
568.65/570.61 c #Conflicts: 224000 | #Constraints: 17229
568.65/570.61 c #Conflicts: 225000 | #Constraints: 18229
568.65/570.61 c #Conflicts: 226000 | #Constraints: 19229
568.65/570.61 c INPROCESSING
568.65/570.61 c GARBAGE COLLECT
568.65/570.61 c #Conflicts: 227000 | #Constraints: 10873
568.65/570.61 c #Conflicts: 228000 | #Constraints: 11873
568.65/570.61 c #Conflicts: 229000 | #Constraints: 12873
568.65/570.61 c #Conflicts: 230000 | #Constraints: 13873
568.65/570.61 c #Conflicts: 231000 | #Constraints: 14873
568.65/570.61 c #Conflicts: 232000 | #Constraints: 15873
568.65/570.61 c #Conflicts: 233000 | #Constraints: 16873
568.65/570.61 c #Conflicts: 234000 | #Constraints: 17873
568.65/570.61 c #Conflicts: 235000 | #Constraints: 18873
568.65/570.61 c #Conflicts: 236000 | #Constraints: 19873
568.65/570.61 c INPROCESSING
568.65/570.61 c GARBAGE COLLECT
568.65/570.61 c #Conflicts: 237000 | #Constraints: 11211
568.65/570.61 c #Conflicts: 238000 | #Constraints: 12211
568.65/570.61 c #Conflicts: 239000 | #Constraints: 13211
568.65/570.61 c #Conflicts: 240000 | #Constraints: 14211
568.65/570.61 c #Conflicts: 241000 | #Constraints: 15211
568.65/570.61 c #Conflicts: 242000 | #Constraints: 16211
568.65/570.61 c #Conflicts: 243000 | #Constraints: 17211
568.65/570.61 c #Conflicts: 244000 | #Constraints: 18211
568.65/570.61 c #Conflicts: 245000 | #Constraints: 19211
568.65/570.61 c #Conflicts: 246000 | #Constraints: 20211
568.65/570.61 c INPROCESSING
568.65/570.61 c GARBAGE COLLECT
568.65/570.61 c #Conflicts: 247000 | #Constraints: 11382
568.65/570.61 c #Conflicts: 248000 | #Constraints: 12382
568.65/570.61 c #Conflicts: 249000 | #Constraints: 13382
568.65/570.61 c #Conflicts: 250000 | #Constraints: 14382
568.65/570.61 c #Conflicts: 251000 | #Constraints: 15382
568.65/570.61 c #Conflicts: 252000 | #Constraints: 16382
568.65/570.61 c #Conflicts: 253000 | #Constraints: 17382
568.65/570.61 c #Conflicts: 254000 | #Constraints: 18382
568.65/570.61 c #Conflicts: 255000 | #Constraints: 19382
568.65/570.61 c #Conflicts: 256000 | #Constraints: 20382
568.65/570.61 c INPROCESSING
568.65/570.61 c GARBAGE COLLECT
568.65/570.61 c #Conflicts: 257000 | #Constraints: 11365
568.65/570.61 c #Conflicts: 258000 | #Constraints: 12365
568.65/570.61 c #Conflicts: 259000 | #Constraints: 13365
568.65/570.61 c #Conflicts: 260000 | #Constraints: 14365
568.65/570.61 c #Conflicts: 261000 | #Constraints: 15365
568.65/570.61 c #Conflicts: 262000 | #Constraints: 16365
568.65/570.61 c #Conflicts: 263000 | #Constraints: 17365
568.65/570.61 c #Conflicts: 264000 | #Constraints: 18365
568.65/570.61 c #Conflicts: 265000 | #Constraints: 19365
568.65/570.61 c #Conflicts: 266000 | #Constraints: 20365
568.65/570.61 c INPROCESSING
568.65/570.61 c GARBAGE COLLECT
568.65/570.61 c #Conflicts: 267000 | #Constraints: 11172
568.65/570.61 c #Conflicts: 268000 | #Constraints: 12172
568.65/570.61 c #Conflicts: 269000 | #Constraints: 13172
568.65/570.61 c #Conflicts: 270000 | #Constraints: 14172
568.65/570.61 c #Conflicts: 271000 | #Constraints: 15172
568.65/570.61 c #Conflicts: 272000 | #Constraints: 16172
568.65/570.61 c #Conflicts: 273000 | #Constraints: 17172
568.65/570.61 c #Conflicts: 274000 | #Constraints: 18172
568.65/570.61 c #Conflicts: 275000 | #Constraints: 19172
568.65/570.61 c #Conflicts: 276000 | #Constraints: 20172
568.65/570.61 c #Conflicts: 277000 | #Constraints: 21172
568.65/570.61 c INPROCESSING
568.65/570.61 c GARBAGE COLLECT
568.65/570.61 c #Conflicts: 278000 | #Constraints: 11758
568.65/570.61 c #Conflicts: 279000 | #Constraints: 12758
568.65/570.61 c #Conflicts: 280000 | #Constraints: 13758
568.65/570.61 c #Conflicts: 281000 | #Constraints: 14758
568.65/570.61 c #Conflicts: 282000 | #Constraints: 15758
568.65/570.61 c #Conflicts: 283000 | #Constraints: 16758
568.65/570.61 c #Conflicts: 284000 | #Constraints: 17758
568.65/570.61 c #Conflicts: 285000 | #Constraints: 18758
568.65/570.61 c #Conflicts: 286000 | #Constraints: 19758
568.65/570.61 c #Conflicts: 287000 | #Constraints: 20758
568.65/570.61 c #Conflicts: 288000 | #Constraints: 21758
656.25/658.51 c INPROCESSING
656.25/658.51 c GARBAGE COLLECT
656.25/658.51 c #Conflicts: 289000 | #Constraints: 12150
656.25/658.51 c #Conflicts: 290000 | #Constraints: 13150
656.25/658.51 c #Conflicts: 291000 | #Constraints: 14150
656.25/658.51 c #Conflicts: 292000 | #Constraints: 15150
656.25/658.51 c #Conflicts: 293000 | #Constraints: 16150
656.25/658.51 c #Conflicts: 294000 | #Constraints: 17150
656.25/658.51 c #Conflicts: 295000 | #Constraints: 18150
656.25/658.51 c #Conflicts: 296000 | #Constraints: 19150
656.25/658.51 c #Conflicts: 297000 | #Constraints: 20150
656.25/658.51 c #Conflicts: 298000 | #Constraints: 21150
656.25/658.51 c #Conflicts: 299000 | #Constraints: 22150
656.25/658.51 c INPROCESSING
656.25/658.51 c GARBAGE COLLECT
656.25/658.51 c #Conflicts: 300000 | #Constraints: 12350
656.25/658.51 c #Conflicts: 301000 | #Constraints: 13350
656.25/658.51 c #Conflicts: 302000 | #Constraints: 14350
656.25/658.51 c #Conflicts: 303000 | #Constraints: 15350
656.25/658.51 c #Conflicts: 304000 | #Constraints: 16350
656.25/658.51 c #Conflicts: 305000 | #Constraints: 17350
656.25/658.51 c #Conflicts: 306000 | #Constraints: 18350
656.25/658.51 c #Conflicts: 307000 | #Constraints: 19350
656.25/658.51 c #Conflicts: 308000 | #Constraints: 20350
656.25/658.51 c #Conflicts: 309000 | #Constraints: 21350
656.25/658.51 c #Conflicts: 310000 | #Constraints: 22350
656.25/658.51 c INPROCESSING
656.25/658.51 c GARBAGE COLLECT
656.25/658.51 c #Conflicts: 311000 | #Constraints: 12352
656.25/658.51 c #Conflicts: 312000 | #Constraints: 13352
656.25/658.51 c #Conflicts: 313000 | #Constraints: 14352
656.25/658.51 c #Conflicts: 314000 | #Constraints: 15352
656.25/658.51 c #Conflicts: 315000 | #Constraints: 16352
656.25/658.51 c #Conflicts: 316000 | #Constraints: 17352
656.25/658.51 c #Conflicts: 317000 | #Constraints: 18352
656.25/658.51 c #Conflicts: 318000 | #Constraints: 19352
656.25/658.51 c #Conflicts: 319000 | #Constraints: 20352
656.25/658.51 c #Conflicts: 320000 | #Constraints: 21352
656.25/658.51 c #Conflicts: 321000 | #Constraints: 22352
656.25/658.51 c INPROCESSING
656.25/658.51 c GARBAGE COLLECT
656.25/658.51 c #Conflicts: 322000 | #Constraints: 12157
656.25/658.51 c #Conflicts: 323000 | #Constraints: 13157
656.25/658.51 c #Conflicts: 324000 | #Constraints: 14157
656.25/658.51 c #Conflicts: 325000 | #Constraints: 15157
656.25/658.51 c #Conflicts: 326000 | #Constraints: 16157
656.25/658.51 c #Conflicts: 327000 | #Constraints: 17157
656.25/658.51 c #Conflicts: 328000 | #Constraints: 18157
656.25/658.51 c #Conflicts: 329000 | #Constraints: 19157
656.25/658.51 c #Conflicts: 330000 | #Constraints: 20157
656.25/658.51 c #Conflicts: 331000 | #Constraints: 21157
656.25/658.51 c #Conflicts: 332000 | #Constraints: 22157
656.25/658.51 c #Conflicts: 333000 | #Constraints: 23157
656.25/658.51 c INPROCESSING
656.25/658.51 c GARBAGE COLLECT
656.25/658.51 c #Conflicts: 334000 | #Constraints: 12755
656.25/658.51 c #Conflicts: 335000 | #Constraints: 13755
656.25/658.51 c #Conflicts: 336000 | #Constraints: 14755
656.25/658.51 c #Conflicts: 337000 | #Constraints: 15755
656.25/658.51 c #Conflicts: 338000 | #Constraints: 16755
656.25/658.51 c #Conflicts: 339000 | #Constraints: 17755
656.25/658.51 c #Conflicts: 340000 | #Constraints: 18755
656.25/658.51 c #Conflicts: 341000 | #Constraints: 19755
656.25/658.51 c #Conflicts: 342000 | #Constraints: 20755
656.25/658.51 c #Conflicts: 343000 | #Constraints: 21755
656.25/658.51 c #Conflicts: 344000 | #Constraints: 22755
656.25/658.51 c #Conflicts: 345000 | #Constraints: 23755
656.25/658.51 c INPROCESSING
656.25/658.51 c GARBAGE COLLECT
656.25/658.51 c #Conflicts: 346000 | #Constraints: 13145
656.25/658.51 c #Conflicts: 347000 | #Constraints: 14145
656.25/658.51 c #Conflicts: 348000 | #Constraints: 15145
656.25/658.51 c #Conflicts: 349000 | #Constraints: 16145
656.25/658.51 c #Conflicts: 350000 | #Constraints: 17145
656.25/658.51 c #Conflicts: 351000 | #Constraints: 18145
656.25/658.51 c #Conflicts: 352000 | #Constraints: 19145
656.25/658.51 c #Conflicts: 353000 | #Constraints: 20145
656.25/658.51 c #Conflicts: 354000 | #Constraints: 21145
656.25/658.51 c #Conflicts: 355000 | #Constraints: 22145
656.25/658.51 c #Conflicts: 356000 | #Constraints: 23145
656.25/658.51 c #Conflicts: 357000 | #Constraints: 24145
656.25/658.51 c INPROCESSING
656.25/658.51 c GARBAGE COLLECT
656.25/658.51 c #Conflicts: 358000 | #Constraints: 13340
656.25/658.51 c #Conflicts: 359000 | #Constraints: 14340
656.25/658.51 c #Conflicts: 360000 | #Constraints: 15340
656.25/658.51 c #Conflicts: 361000 | #Constraints: 16340
656.25/658.51 c #Conflicts: 362000 | #Constraints: 17340
736.29/738.85 c #Conflicts: 363000 | #Constraints: 18340
736.29/738.85 c #Conflicts: 364000 | #Constraints: 19340
736.29/738.85 c #Conflicts: 365000 | #Constraints: 20340
736.29/738.85 c #Conflicts: 366000 | #Constraints: 21340
736.29/738.85 c #Conflicts: 367000 | #Constraints: 22340
736.29/738.85 c #Conflicts: 368000 | #Constraints: 23340
736.29/738.85 c #Conflicts: 369000 | #Constraints: 24340
736.29/738.85 c INPROCESSING
736.29/738.85 c GARBAGE COLLECT
736.29/738.85 c #Conflicts: 370000 | #Constraints: 13363
736.29/738.85 c #Conflicts: 371000 | #Constraints: 14363
736.29/738.85 c #Conflicts: 372000 | #Constraints: 15363
736.29/738.85 c #Conflicts: 373000 | #Constraints: 16363
736.29/738.85 c #Conflicts: 374000 | #Constraints: 17363
736.29/738.85 c #Conflicts: 375000 | #Constraints: 18363
736.29/738.85 c #Conflicts: 376000 | #Constraints: 19363
736.29/738.85 c #Conflicts: 377000 | #Constraints: 20363
736.29/738.85 c #Conflicts: 378000 | #Constraints: 21363
736.29/738.85 c #Conflicts: 379000 | #Constraints: 22363
736.29/738.85 c #Conflicts: 380000 | #Constraints: 23363
736.29/738.85 c #Conflicts: 381000 | #Constraints: 24363
736.29/738.85 c INPROCESSING
736.29/738.85 c GARBAGE COLLECT
736.29/738.85 c #Conflicts: 382000 | #Constraints: 13153
736.29/738.85 c #Conflicts: 383000 | #Constraints: 14153
736.29/738.85 c #Conflicts: 384000 | #Constraints: 15153
736.29/738.85 c #Conflicts: 385000 | #Constraints: 16153
736.29/738.85 c #Conflicts: 386000 | #Constraints: 17153
736.29/738.85 c #Conflicts: 387000 | #Constraints: 18153
736.29/738.85 c #Conflicts: 388000 | #Constraints: 19153
736.29/738.85 c #Conflicts: 389000 | #Constraints: 20153
736.29/738.85 c #Conflicts: 390000 | #Constraints: 21153
736.29/738.85 c #Conflicts: 391000 | #Constraints: 22153
736.29/738.85 c #Conflicts: 392000 | #Constraints: 23153
736.29/738.85 c #Conflicts: 393000 | #Constraints: 24153
736.29/738.85 c #Conflicts: 394000 | #Constraints: 25153
736.29/738.85 c INPROCESSING
736.29/738.85 c GARBAGE COLLECT
736.29/738.85 c #Conflicts: 395000 | #Constraints: 13747
736.29/738.85 c #Conflicts: 396000 | #Constraints: 14747
736.29/738.85 c #Conflicts: 397000 | #Constraints: 15747
736.29/738.85 c #Conflicts: 398000 | #Constraints: 16747
736.29/738.85 c #Conflicts: 399000 | #Constraints: 17747
736.29/738.85 c #Conflicts: 400000 | #Constraints: 18747
736.29/738.85 c #Conflicts: 401000 | #Constraints: 19747
736.29/738.85 c #Conflicts: 402000 | #Constraints: 20747
736.29/738.85 c #Conflicts: 403000 | #Constraints: 21747
736.29/738.85 c #Conflicts: 404000 | #Constraints: 22747
736.29/738.85 c #Conflicts: 405000 | #Constraints: 23747
736.29/738.85 c #Conflicts: 406000 | #Constraints: 24747
736.29/738.85 c #Conflicts: 407000 | #Constraints: 25747
736.29/738.85 c INPROCESSING
736.29/738.85 c GARBAGE COLLECT
736.29/738.85 c #Conflicts: 408000 | #Constraints: 14142
736.29/738.85 c #Conflicts: 409000 | #Constraints: 15142
736.29/738.85 c #Conflicts: 410000 | #Constraints: 16142
736.29/738.85 c #Conflicts: 411000 | #Constraints: 17142
736.29/738.85 c #Conflicts: 412000 | #Constraints: 18142
736.29/738.85 c #Conflicts: 413000 | #Constraints: 19142
736.29/738.85 c #Conflicts: 414000 | #Constraints: 20142
736.29/738.85 c #Conflicts: 415000 | #Constraints: 21142
736.29/738.85 c #Conflicts: 416000 | #Constraints: 22142
736.29/738.85 c #Conflicts: 417000 | #Constraints: 23142
736.29/738.85 c #Conflicts: 418000 | #Constraints: 24142
736.29/738.85 c #Conflicts: 419000 | #Constraints: 25142
736.29/738.85 c #Conflicts: 420000 | #Constraints: 26142
736.29/738.85 c INPROCESSING
736.29/738.85 c GARBAGE COLLECT
736.29/738.85 c #Conflicts: 421000 | #Constraints: 14349
736.29/738.85 c #Conflicts: 422000 | #Constraints: 15349
736.29/738.85 c #Conflicts: 423000 | #Constraints: 16349
736.29/738.85 c #Conflicts: 424000 | #Constraints: 17349
736.29/738.85 c #Conflicts: 425000 | #Constraints: 18349
736.29/738.85 c #Conflicts: 426000 | #Constraints: 19349
736.29/738.85 c #Conflicts: 427000 | #Constraints: 20349
736.29/738.85 c #Conflicts: 428000 | #Constraints: 21349
736.29/738.85 c #Conflicts: 429000 | #Constraints: 22349
736.29/738.85 c #Conflicts: 430000 | #Constraints: 23349
736.29/738.85 c #Conflicts: 431000 | #Constraints: 24349
736.29/738.85 c #Conflicts: 432000 | #Constraints: 25349
736.29/738.85 c #Conflicts: 433000 | #Constraints: 26349
736.29/738.85 c INPROCESSING
736.29/738.85 c GARBAGE COLLECT
736.29/738.85 c #Conflicts: 434000 | #Constraints: 14351
736.29/738.85 c #Conflicts: 435000 | #Constraints: 15351
736.29/738.85 c #Conflicts: 436000 | #Constraints: 16351
736.29/738.85 c #Conflicts: 437000 | #Constraints: 17351
916.06/919.28 c #Conflicts: 438000 | #Constraints: 18351
916.06/919.28 c #Conflicts: 439000 | #Constraints: 19351
916.06/919.28 c #Conflicts: 440000 | #Constraints: 20351
916.06/919.28 c #Conflicts: 441000 | #Constraints: 21351
916.06/919.28 c #Conflicts: 442000 | #Constraints: 22351
916.06/919.28 c #Conflicts: 443000 | #Constraints: 23351
916.06/919.28 c #Conflicts: 444000 | #Constraints: 24351
916.06/919.28 c #Conflicts: 445000 | #Constraints: 25351
916.06/919.28 c #Conflicts: 446000 | #Constraints: 26351
916.06/919.28 c INPROCESSING
916.06/919.28 c GARBAGE COLLECT
916.06/919.28 c #Conflicts: 447000 | #Constraints: 14189
916.06/919.28 c #Conflicts: 448000 | #Constraints: 15189
916.06/919.28 c #Conflicts: 449000 | #Constraints: 16189
916.06/919.28 c #Conflicts: 450000 | #Constraints: 17189
916.06/919.28 c #Conflicts: 451000 | #Constraints: 18189
916.06/919.28 c #Conflicts: 452000 | #Constraints: 19189
916.06/919.28 c #Conflicts: 453000 | #Constraints: 20189
916.06/919.28 c #Conflicts: 454000 | #Constraints: 21189
916.06/919.28 c #Conflicts: 455000 | #Constraints: 22189
916.06/919.28 c #Conflicts: 456000 | #Constraints: 23189
916.06/919.28 c #Conflicts: 457000 | #Constraints: 24189
916.06/919.28 c #Conflicts: 458000 | #Constraints: 25189
916.06/919.28 c #Conflicts: 459000 | #Constraints: 26189
916.06/919.28 c #Conflicts: 460000 | #Constraints: 27189
916.06/919.28 c INPROCESSING
916.06/919.28 c GARBAGE COLLECT
916.06/919.28 c #Conflicts: 461000 | #Constraints: 14805
916.06/919.28 c #Conflicts: 462000 | #Constraints: 15805
916.06/919.28 c #Conflicts: 463000 | #Constraints: 16805
916.06/919.28 c #Conflicts: 464000 | #Constraints: 17805
916.06/919.28 c #Conflicts: 465000 | #Constraints: 18805
916.06/919.28 c #Conflicts: 466000 | #Constraints: 19805
916.06/919.28 c #Conflicts: 467000 | #Constraints: 20805
916.06/919.28 c #Conflicts: 468000 | #Constraints: 21805
916.06/919.28 c #Conflicts: 469000 | #Constraints: 22805
916.06/919.28 c #Conflicts: 470000 | #Constraints: 23805
916.06/919.28 c #Conflicts: 471000 | #Constraints: 24805
916.06/919.28 c #Conflicts: 472000 | #Constraints: 25805
916.06/919.28 c #Conflicts: 473000 | #Constraints: 26805
916.06/919.28 c #Conflicts: 474000 | #Constraints: 27805
916.06/919.28 c INPROCESSING
916.06/919.28 c GARBAGE COLLECT
916.06/919.28 c #Conflicts: 475000 | #Constraints: 15199
916.06/919.28 c #Conflicts: 476000 | #Constraints: 16199
916.06/919.28 c #Conflicts: 477000 | #Constraints: 17199
916.06/919.28 c #Conflicts: 478000 | #Constraints: 18199
916.06/919.28 c #Conflicts: 479000 | #Constraints: 19199
916.06/919.28 c #Conflicts: 480000 | #Constraints: 20199
916.06/919.28 c #Conflicts: 481000 | #Constraints: 21199
916.06/919.28 c #Conflicts: 482000 | #Constraints: 22199
916.06/919.28 c #Conflicts: 483000 | #Constraints: 23199
916.06/919.28 c #Conflicts: 484000 | #Constraints: 24199
916.06/919.28 c #Conflicts: 485000 | #Constraints: 25199
916.06/919.28 c #Conflicts: 486000 | #Constraints: 26199
916.06/919.28 c #Conflicts: 487000 | #Constraints: 27199
916.06/919.28 c #Conflicts: 488000 | #Constraints: 28199
916.06/919.28 c INPROCESSING
916.06/919.28 c GARBAGE COLLECT
916.06/919.28 c #Conflicts: 489000 | #Constraints: 15389
916.06/919.28 c #Conflicts: 490000 | #Constraints: 16389
916.06/919.28 c #Conflicts: 491000 | #Constraints: 17389
916.06/919.28 c #Conflicts: 492000 | #Constraints: 18389
916.06/919.28 c #Conflicts: 493000 | #Constraints: 19389
916.06/919.28 c #Conflicts: 494000 | #Constraints: 20389
916.06/919.28 c #Conflicts: 495000 | #Constraints: 21389
916.06/919.28 c #Conflicts: 496000 | #Constraints: 22389
916.06/919.28 c #Conflicts: 497000 | #Constraints: 23389
916.06/919.28 c #Conflicts: 498000 | #Constraints: 24389
916.06/919.28 c #Conflicts: 499000 | #Constraints: 25389
916.06/919.28 c #Conflicts: 500000 | #Constraints: 26389
916.06/919.28 c #Conflicts: 501000 | #Constraints: 27389
916.06/919.28 c #Conflicts: 502000 | #Constraints: 28389
916.06/919.28 c INPROCESSING
916.06/919.28 c GARBAGE COLLECT
916.06/919.28 c #Conflicts: 503000 | #Constraints: 15387
916.06/919.28 c #Conflicts: 504000 | #Constraints: 16387
916.06/919.28 c #Conflicts: 505000 | #Constraints: 17387
916.06/919.28 c #Conflicts: 506000 | #Constraints: 18387
916.06/919.28 c #Conflicts: 507000 | #Constraints: 19387
916.06/919.28 c #Conflicts: 508000 | #Constraints: 20387
916.06/919.28 c #Conflicts: 509000 | #Constraints: 21387
916.06/919.28 c #Conflicts: 510000 | #Constraints: 22387
916.06/919.28 c #Conflicts: 511000 | #Constraints: 23387
916.06/919.28 c #Conflicts: 512000 | #Constraints: 24387
916.06/919.28 c #Conflicts: 513000 | #Constraints: 25387
1034.66/1038.28 c #Conflicts: 514000 | #Constraints: 26387
1034.66/1038.28 c #Conflicts: 515000 | #Constraints: 27387
1034.66/1038.28 c #Conflicts: 516000 | #Constraints: 28387
1034.66/1038.28 c INPROCESSING
1034.66/1038.28 c GARBAGE COLLECT
1034.66/1038.28 c #Conflicts: 517000 | #Constraints: 15183
1034.66/1038.28 c #Conflicts: 518000 | #Constraints: 16183
1034.66/1038.28 c #Conflicts: 519000 | #Constraints: 17183
1034.66/1038.28 c #Conflicts: 520000 | #Constraints: 18183
1034.66/1038.28 c #Conflicts: 521000 | #Constraints: 19183
1034.66/1038.28 c #Conflicts: 522000 | #Constraints: 20183
1034.66/1038.28 c #Conflicts: 523000 | #Constraints: 21183
1034.66/1038.28 c #Conflicts: 524000 | #Constraints: 22183
1034.66/1038.28 c #Conflicts: 525000 | #Constraints: 23183
1034.66/1038.28 c #Conflicts: 526000 | #Constraints: 24183
1034.66/1038.28 c #Conflicts: 527000 | #Constraints: 25183
1034.66/1038.28 c #Conflicts: 528000 | #Constraints: 26183
1034.66/1038.28 c #Conflicts: 529000 | #Constraints: 27183
1034.66/1038.28 c #Conflicts: 530000 | #Constraints: 28183
1034.66/1038.28 c #Conflicts: 531000 | #Constraints: 29183
1034.66/1038.28 c INPROCESSING
1034.66/1038.28 c GARBAGE COLLECT
1034.66/1038.28 c #Conflicts: 532000 | #Constraints: 15776
1034.66/1038.28 c #Conflicts: 533000 | #Constraints: 16776
1034.66/1038.28 c #Conflicts: 534000 | #Constraints: 17776
1034.66/1038.28 c #Conflicts: 535000 | #Constraints: 18776
1034.66/1038.28 c #Conflicts: 536000 | #Constraints: 19776
1034.66/1038.28 c #Conflicts: 537000 | #Constraints: 20776
1034.66/1038.28 c #Conflicts: 538000 | #Constraints: 21776
1034.66/1038.28 c #Conflicts: 539000 | #Constraints: 22776
1034.66/1038.28 c #Conflicts: 540000 | #Constraints: 23776
1034.66/1038.28 c #Conflicts: 541000 | #Constraints: 24776
1034.66/1038.28 c #Conflicts: 542000 | #Constraints: 25776
1034.66/1038.28 c #Conflicts: 543000 | #Constraints: 26776
1034.66/1038.28 c #Conflicts: 544000 | #Constraints: 27776
1034.66/1038.28 c #Conflicts: 545000 | #Constraints: 28776
1034.66/1038.28 c #Conflicts: 546000 | #Constraints: 29776
1034.66/1038.28 c INPROCESSING
1034.66/1038.28 c GARBAGE COLLECT
1034.66/1038.28 c #Conflicts: 547000 | #Constraints: 16167
1034.66/1038.28 c #Conflicts: 548000 | #Constraints: 17167
1034.66/1038.28 c #Conflicts: 549000 | #Constraints: 18167
1034.66/1038.28 c #Conflicts: 550000 | #Constraints: 19167
1034.66/1038.28 c #Conflicts: 551000 | #Constraints: 20167
1034.66/1038.28 c #Conflicts: 552000 | #Constraints: 21167
1034.66/1038.28 c #Conflicts: 553000 | #Constraints: 22167
1034.66/1038.28 c #Conflicts: 554000 | #Constraints: 23167
1034.66/1038.28 c #Conflicts: 555000 | #Constraints: 24167
1034.66/1038.28 c #Conflicts: 556000 | #Constraints: 25167
1034.66/1038.28 c #Conflicts: 557000 | #Constraints: 26167
1034.66/1038.28 c #Conflicts: 558000 | #Constraints: 27167
1034.66/1038.28 c #Conflicts: 559000 | #Constraints: 28167
1034.66/1038.28 c #Conflicts: 560000 | #Constraints: 29167
1034.66/1038.28 c #Conflicts: 561000 | #Constraints: 30167
1034.66/1038.28 c INPROCESSING
1034.66/1038.28 c GARBAGE COLLECT
1034.66/1038.28 c #Conflicts: 562000 | #Constraints: 16350
1034.66/1038.28 c #Conflicts: 563000 | #Constraints: 17350
1034.66/1038.28 c #Conflicts: 564000 | #Constraints: 18350
1034.66/1038.28 c #Conflicts: 565000 | #Constraints: 19350
1034.66/1038.28 c #Conflicts: 566000 | #Constraints: 20350
1034.66/1038.28 c #Conflicts: 567000 | #Constraints: 21350
1034.66/1038.28 c #Conflicts: 568000 | #Constraints: 22350
1034.66/1038.28 c #Conflicts: 569000 | #Constraints: 23350
1034.66/1038.28 c #Conflicts: 570000 | #Constraints: 24350
1034.66/1038.28 c #Conflicts: 571000 | #Constraints: 25350
1034.66/1038.28 c #Conflicts: 572000 | #Constraints: 26350
1034.66/1038.28 c #Conflicts: 573000 | #Constraints: 27350
1034.66/1038.28 c #Conflicts: 574000 | #Constraints: 28350
1034.66/1038.28 c #Conflicts: 575000 | #Constraints: 29350
1034.66/1038.28 c #Conflicts: 576000 | #Constraints: 30350
1034.66/1038.28 c INPROCESSING
1034.66/1038.28 c GARBAGE COLLECT
1034.66/1038.28 c #Conflicts: 577000 | #Constraints: 16359
1034.66/1038.28 c #Conflicts: 578000 | #Constraints: 17359
1034.66/1038.28 c #Conflicts: 579000 | #Constraints: 18359
1034.66/1038.28 c #Conflicts: 580000 | #Constraints: 19359
1034.66/1038.28 c #Conflicts: 581000 | #Constraints: 20359
1034.66/1038.28 c #Conflicts: 582000 | #Constraints: 21359
1034.66/1038.28 c #Conflicts: 583000 | #Constraints: 22359
1034.66/1038.28 c #Conflicts: 584000 | #Constraints: 23359
1034.66/1038.28 c #Conflicts: 585000 | #Constraints: 24359
1034.66/1038.28 c #Conflicts: 586000 | #Constraints: 25359
1034.66/1038.28 c #Conflicts: 587000 | #Constraints: 26359
1034.66/1038.28 c #Conflicts: 588000 | #Constraints: 27359
1217.14/1221.34 c #Conflicts: 589000 | #Constraints: 28359
1217.14/1221.34 c #Conflicts: 590000 | #Constraints: 29359
1217.14/1221.34 c #Conflicts: 591000 | #Constraints: 30359
1217.14/1221.34 c INPROCESSING
1217.14/1221.34 c GARBAGE COLLECT
1217.14/1221.34 c #Conflicts: 592000 | #Constraints: 16155
1217.14/1221.34 c #Conflicts: 593000 | #Constraints: 17155
1217.14/1221.34 c #Conflicts: 594000 | #Constraints: 18155
1217.14/1221.34 c #Conflicts: 595000 | #Constraints: 19155
1217.14/1221.34 c #Conflicts: 596000 | #Constraints: 20155
1217.14/1221.34 c #Conflicts: 597000 | #Constraints: 21155
1217.14/1221.34 c #Conflicts: 598000 | #Constraints: 22155
1217.14/1221.34 c #Conflicts: 599000 | #Constraints: 23155
1217.14/1221.34 c #Conflicts: 600000 | #Constraints: 24155
1217.14/1221.34 c #Conflicts: 601000 | #Constraints: 25155
1217.14/1221.34 c #Conflicts: 602000 | #Constraints: 26155
1217.14/1221.34 c #Conflicts: 603000 | #Constraints: 27155
1217.14/1221.34 c #Conflicts: 604000 | #Constraints: 28155
1217.14/1221.34 c #Conflicts: 605000 | #Constraints: 29155
1217.14/1221.34 c #Conflicts: 606000 | #Constraints: 30155
1217.14/1221.34 c #Conflicts: 607000 | #Constraints: 31155
1217.14/1221.34 c INPROCESSING
1217.14/1221.34 c GARBAGE COLLECT
1217.14/1221.34 c #Conflicts: 608000 | #Constraints: 16776
1217.14/1221.34 c #Conflicts: 609000 | #Constraints: 17776
1217.14/1221.34 c #Conflicts: 610000 | #Constraints: 18776
1217.14/1221.34 c #Conflicts: 611000 | #Constraints: 19776
1217.14/1221.34 c #Conflicts: 612000 | #Constraints: 20776
1217.14/1221.34 c #Conflicts: 613000 | #Constraints: 21776
1217.14/1221.34 c #Conflicts: 614000 | #Constraints: 22776
1217.14/1221.34 c #Conflicts: 615000 | #Constraints: 23776
1217.14/1221.34 c #Conflicts: 616000 | #Constraints: 24776
1217.14/1221.34 c #Conflicts: 617000 | #Constraints: 25776
1217.14/1221.34 c #Conflicts: 618000 | #Constraints: 26776
1217.14/1221.34 c #Conflicts: 619000 | #Constraints: 27776
1217.14/1221.34 c #Conflicts: 620000 | #Constraints: 28776
1217.14/1221.34 c #Conflicts: 621000 | #Constraints: 29776
1217.14/1221.34 c #Conflicts: 622000 | #Constraints: 30776
1217.14/1221.34 c #Conflicts: 623000 | #Constraints: 31776
1217.14/1221.34 c INPROCESSING
1217.14/1221.34 c GARBAGE COLLECT
1217.14/1221.34 c #Conflicts: 624000 | #Constraints: 17170
1217.14/1221.34 c #Conflicts: 625000 | #Constraints: 18170
1217.14/1221.34 c #Conflicts: 626000 | #Constraints: 19170
1217.14/1221.34 c #Conflicts: 627000 | #Constraints: 20170
1217.14/1221.34 c #Conflicts: 628000 | #Constraints: 21170
1217.14/1221.34 c #Conflicts: 629000 | #Constraints: 22170
1217.14/1221.34 c #Conflicts: 630000 | #Constraints: 23170
1217.14/1221.34 c #Conflicts: 631000 | #Constraints: 24170
1217.14/1221.34 c #Conflicts: 632000 | #Constraints: 25170
1217.14/1221.34 c #Conflicts: 633000 | #Constraints: 26170
1217.14/1221.34 c #Conflicts: 634000 | #Constraints: 27170
1217.14/1221.34 c #Conflicts: 635000 | #Constraints: 28170
1217.14/1221.34 c #Conflicts: 636000 | #Constraints: 29170
1217.14/1221.34 c #Conflicts: 637000 | #Constraints: 30170
1217.14/1221.34 c #Conflicts: 638000 | #Constraints: 31170
1217.14/1221.34 c #Conflicts: 639000 | #Constraints: 32170
1217.14/1221.34 c INPROCESSING
1217.14/1221.34 c GARBAGE COLLECT
1217.14/1221.34 c #Conflicts: 640000 | #Constraints: 17355
1217.14/1221.34 c #Conflicts: 641000 | #Constraints: 18355
1217.14/1221.34 c #Conflicts: 642000 | #Constraints: 19355
1217.14/1221.34 c #Conflicts: 643000 | #Constraints: 20355
1217.14/1221.34 c #Conflicts: 644000 | #Constraints: 21355
1217.14/1221.34 c #Conflicts: 645000 | #Constraints: 22355
1217.14/1221.34 c #Conflicts: 646000 | #Constraints: 23355
1217.14/1221.34 c #Conflicts: 647000 | #Constraints: 24355
1217.14/1221.34 c #Conflicts: 648000 | #Constraints: 25355
1217.14/1221.34 c #Conflicts: 649000 | #Constraints: 26355
1217.14/1221.34 c #Conflicts: 650000 | #Constraints: 27355
1217.14/1221.34 c #Conflicts: 651000 | #Constraints: 28355
1217.14/1221.34 c #Conflicts: 652000 | #Constraints: 29355
1217.14/1221.34 c #Conflicts: 653000 | #Constraints: 30355
1217.14/1221.34 c #Conflicts: 654000 | #Constraints: 31355
1217.14/1221.34 c #Conflicts: 655000 | #Constraints: 32355
1217.14/1221.34 c INPROCESSING
1217.14/1221.34 c GARBAGE COLLECT
1217.14/1221.34 c #Conflicts: 656000 | #Constraints: 17355
1217.14/1221.34 c #Conflicts: 657000 | #Constraints: 18355
1217.14/1221.34 c #Conflicts: 658000 | #Constraints: 19355
1217.14/1221.34 c #Conflicts: 659000 | #Constraints: 20355
1217.14/1221.34 c #Conflicts: 660000 | #Constraints: 21355
1217.14/1221.34 c #Conflicts: 661000 | #Constraints: 22355
1217.14/1221.34 c #Conflicts: 662000 | #Constraints: 23355
1217.14/1221.34 c #Conflicts: 663000 | #Constraints: 24355
1217.14/1221.34 c #Conflicts: 664000 | #Constraints: 25355
1381.09/1385.80 c #Conflicts: 665000 | #Constraints: 26355
1381.09/1385.80 c #Conflicts: 666000 | #Constraints: 27355
1381.09/1385.80 c #Conflicts: 667000 | #Constraints: 28355
1381.09/1385.80 c #Conflicts: 668000 | #Constraints: 29355
1381.09/1385.80 c #Conflicts: 669000 | #Constraints: 30355
1381.09/1385.80 c #Conflicts: 670000 | #Constraints: 31355
1381.09/1385.80 c #Conflicts: 671000 | #Constraints: 32355
1381.09/1385.80 c INPROCESSING
1381.09/1385.80 c GARBAGE COLLECT
1381.09/1385.80 c #Conflicts: 672000 | #Constraints: 17152
1381.09/1385.80 c #Conflicts: 673000 | #Constraints: 18152
1381.09/1385.80 c #Conflicts: 674000 | #Constraints: 19152
1381.09/1385.80 c #Conflicts: 675000 | #Constraints: 20152
1381.09/1385.80 c #Conflicts: 676000 | #Constraints: 21152
1381.09/1385.80 c #Conflicts: 677000 | #Constraints: 22152
1381.09/1385.80 c #Conflicts: 678000 | #Constraints: 23152
1381.09/1385.80 c #Conflicts: 679000 | #Constraints: 24152
1381.09/1385.80 c #Conflicts: 680000 | #Constraints: 25152
1381.09/1385.80 c #Conflicts: 681000 | #Constraints: 26152
1381.09/1385.80 c #Conflicts: 682000 | #Constraints: 27152
1381.09/1385.80 c #Conflicts: 683000 | #Constraints: 28152
1381.09/1385.80 c #Conflicts: 684000 | #Constraints: 29152
1381.09/1385.80 c #Conflicts: 685000 | #Constraints: 30152
1381.09/1385.80 c #Conflicts: 686000 | #Constraints: 31152
1381.09/1385.80 c #Conflicts: 687000 | #Constraints: 32152
1381.09/1385.80 c #Conflicts: 688000 | #Constraints: 33152
1381.09/1385.80 c INPROCESSING
1381.09/1385.80 c GARBAGE COLLECT
1381.09/1385.80 c #Conflicts: 689000 | #Constraints: 17750
1381.09/1385.80 c #Conflicts: 690000 | #Constraints: 18750
1381.09/1385.80 c #Conflicts: 691000 | #Constraints: 19750
1381.09/1385.80 c #Conflicts: 692000 | #Constraints: 20750
1381.09/1385.80 c #Conflicts: 693000 | #Constraints: 21750
1381.09/1385.80 c #Conflicts: 694000 | #Constraints: 22750
1381.09/1385.80 c #Conflicts: 695000 | #Constraints: 23750
1381.09/1385.80 c #Conflicts: 696000 | #Constraints: 24750
1381.09/1385.80 c #Conflicts: 697000 | #Constraints: 25750
1381.09/1385.80 c #Conflicts: 698000 | #Constraints: 26750
1381.09/1385.80 c #Conflicts: 699000 | #Constraints: 27750
1381.09/1385.80 c #Conflicts: 700000 | #Constraints: 28750
1381.09/1385.80 c #Conflicts: 701000 | #Constraints: 29750
1381.09/1385.80 c #Conflicts: 702000 | #Constraints: 30750
1381.09/1385.80 c #Conflicts: 703000 | #Constraints: 31750
1381.09/1385.80 c #Conflicts: 704000 | #Constraints: 32750
1381.09/1385.80 c #Conflicts: 705000 | #Constraints: 33750
1381.09/1385.80 c INPROCESSING
1381.09/1385.80 c GARBAGE COLLECT
1381.09/1385.80 c #Conflicts: 706000 | #Constraints: 18152
1381.09/1385.80 c #Conflicts: 707000 | #Constraints: 19152
1381.09/1385.80 c #Conflicts: 708000 | #Constraints: 20152
1381.09/1385.80 c #Conflicts: 709000 | #Constraints: 21152
1381.09/1385.80 c #Conflicts: 710000 | #Constraints: 22152
1381.09/1385.80 c #Conflicts: 711000 | #Constraints: 23152
1381.09/1385.80 c #Conflicts: 712000 | #Constraints: 24152
1381.09/1385.80 c #Conflicts: 713000 | #Constraints: 25152
1381.09/1385.80 c #Conflicts: 714000 | #Constraints: 26152
1381.09/1385.80 c #Conflicts: 715000 | #Constraints: 27152
1381.09/1385.80 c #Conflicts: 716000 | #Constraints: 28152
1381.09/1385.80 c #Conflicts: 717000 | #Constraints: 29152
1381.09/1385.80 c #Conflicts: 718000 | #Constraints: 30152
1381.09/1385.80 c #Conflicts: 719000 | #Constraints: 31152
1381.09/1385.80 c #Conflicts: 720000 | #Constraints: 32152
1381.09/1385.80 c #Conflicts: 721000 | #Constraints: 33152
1381.09/1385.80 c #Conflicts: 722000 | #Constraints: 34152
1381.09/1385.80 c INPROCESSING
1381.09/1385.80 c GARBAGE COLLECT
1381.09/1385.80 c #Conflicts: 723000 | #Constraints: 18384
1381.09/1385.80 c #Conflicts: 724000 | #Constraints: 19384
1381.09/1385.80 c #Conflicts: 725000 | #Constraints: 20384
1381.09/1385.80 c #Conflicts: 726000 | #Constraints: 21384
1381.09/1385.80 c #Conflicts: 727000 | #Constraints: 22384
1381.09/1385.80 c #Conflicts: 728000 | #Constraints: 23384
1381.09/1385.80 c #Conflicts: 729000 | #Constraints: 24384
1381.09/1385.80 c #Conflicts: 730000 | #Constraints: 25384
1381.09/1385.80 c #Conflicts: 731000 | #Constraints: 26384
1381.09/1385.80 c #Conflicts: 732000 | #Constraints: 27384
1381.09/1385.80 c #Conflicts: 733000 | #Constraints: 28384
1381.09/1385.80 c #Conflicts: 734000 | #Constraints: 29384
1381.09/1385.80 c #Conflicts: 735000 | #Constraints: 30384
1381.09/1385.80 c #Conflicts: 736000 | #Constraints: 31384
1381.09/1385.80 c #Conflicts: 737000 | #Constraints: 32384
1381.09/1385.80 c #Conflicts: 738000 | #Constraints: 33384
1381.09/1385.80 c #Conflicts: 739000 | #Constraints: 34384
1381.09/1385.80 c INPROCESSING
1381.09/1385.80 c GARBAGE COLLECT
1497.69/1502.88 c #Conflicts: 740000 | #Constraints: 18414
1497.69/1502.88 c #Conflicts: 741000 | #Constraints: 19414
1497.69/1502.88 c #Conflicts: 742000 | #Constraints: 20414
1497.69/1502.88 c #Conflicts: 743000 | #Constraints: 21414
1497.69/1502.88 c #Conflicts: 744000 | #Constraints: 22414
1497.69/1502.88 c #Conflicts: 745000 | #Constraints: 23414
1497.69/1502.88 c #Conflicts: 746000 | #Constraints: 24414
1497.69/1502.88 c #Conflicts: 747000 | #Constraints: 25414
1497.69/1502.88 c #Conflicts: 748000 | #Constraints: 26414
1497.69/1502.88 c #Conflicts: 749000 | #Constraints: 27414
1497.69/1502.88 c #Conflicts: 750000 | #Constraints: 28414
1497.69/1502.88 c #Conflicts: 751000 | #Constraints: 29414
1497.69/1502.88 c #Conflicts: 752000 | #Constraints: 30414
1497.69/1502.88 c #Conflicts: 753000 | #Constraints: 31414
1497.69/1502.88 c #Conflicts: 754000 | #Constraints: 32414
1497.69/1502.88 c #Conflicts: 755000 | #Constraints: 33414
1497.69/1502.88 c #Conflicts: 756000 | #Constraints: 34414
1497.69/1502.88 c INPROCESSING
1497.69/1502.88 c GARBAGE COLLECT
1497.69/1502.88 c #Conflicts: 757000 | #Constraints: 18173
1497.69/1502.88 c #Conflicts: 758000 | #Constraints: 19173
1497.69/1502.88 c #Conflicts: 759000 | #Constraints: 20173
1497.69/1502.88 c #Conflicts: 760000 | #Constraints: 21173
1497.69/1502.88 c #Conflicts: 761000 | #Constraints: 22173
1497.69/1502.88 c #Conflicts: 762000 | #Constraints: 23173
1497.69/1502.88 c #Conflicts: 763000 | #Constraints: 24173
1497.69/1502.88 c #Conflicts: 764000 | #Constraints: 25173
1497.69/1502.88 c #Conflicts: 765000 | #Constraints: 26173
1497.69/1502.88 c #Conflicts: 766000 | #Constraints: 27173
1497.69/1502.88 c #Conflicts: 767000 | #Constraints: 28173
1497.69/1502.88 c #Conflicts: 768000 | #Constraints: 29173
1497.69/1502.88 c #Conflicts: 769000 | #Constraints: 30173
1497.69/1502.88 c #Conflicts: 770000 | #Constraints: 31173
1497.69/1502.88 c #Conflicts: 771000 | #Constraints: 32173
1497.69/1502.88 c #Conflicts: 772000 | #Constraints: 33173
1497.69/1502.88 c #Conflicts: 773000 | #Constraints: 34173
1497.69/1502.88 c #Conflicts: 774000 | #Constraints: 35173
1497.69/1502.88 c INPROCESSING
1497.69/1502.88 c GARBAGE COLLECT
1497.69/1502.88 c #Conflicts: 775000 | #Constraints: 18764
1497.69/1502.88 c #Conflicts: 776000 | #Constraints: 19764
1497.69/1502.88 c #Conflicts: 777000 | #Constraints: 20764
1497.69/1502.88 c #Conflicts: 778000 | #Constraints: 21764
1497.69/1502.88 c #Conflicts: 779000 | #Constraints: 22764
1497.69/1502.88 c #Conflicts: 780000 | #Constraints: 23764
1497.69/1502.88 c #Conflicts: 781000 | #Constraints: 24764
1497.69/1502.88 c #Conflicts: 782000 | #Constraints: 25764
1497.69/1502.88 c #Conflicts: 783000 | #Constraints: 26764
1497.69/1502.88 c #Conflicts: 784000 | #Constraints: 27764
1497.69/1502.88 c #Conflicts: 785000 | #Constraints: 28764
1497.69/1502.88 c #Conflicts: 786000 | #Constraints: 29764
1497.69/1502.88 c #Conflicts: 787000 | #Constraints: 30764
1497.69/1502.88 c #Conflicts: 788000 | #Constraints: 31764
1497.69/1502.88 c #Conflicts: 789000 | #Constraints: 32764
1497.69/1502.88 c #Conflicts: 790000 | #Constraints: 33764
1497.69/1502.88 c #Conflicts: 791000 | #Constraints: 34764
1497.69/1502.88 c #Conflicts: 792000 | #Constraints: 35764
1497.69/1502.88 c INPROCESSING
1497.69/1502.88 c GARBAGE COLLECT
1497.69/1502.88 c #Conflicts: 793000 | #Constraints: 19154
1497.69/1502.88 c #Conflicts: 794000 | #Constraints: 20154
1497.69/1502.88 c #Conflicts: 795000 | #Constraints: 21154
1497.69/1502.88 c #Conflicts: 796000 | #Constraints: 22154
1497.69/1502.88 c #Conflicts: 797000 | #Constraints: 23154
1497.69/1502.88 c #Conflicts: 798000 | #Constraints: 24154
1497.69/1502.88 c #Conflicts: 799000 | #Constraints: 25154
1497.69/1502.88 c #Conflicts: 800000 | #Constraints: 26154
1497.69/1502.88 c #Conflicts: 801000 | #Constraints: 27154
1497.69/1502.88 c #Conflicts: 802000 | #Constraints: 28154
1497.69/1502.88 c #Conflicts: 803000 | #Constraints: 29154
1497.69/1502.88 c #Conflicts: 804000 | #Constraints: 30154
1497.69/1502.88 c #Conflicts: 805000 | #Constraints: 31154
1497.69/1502.88 c #Conflicts: 806000 | #Constraints: 32154
1497.69/1502.88 c #Conflicts: 807000 | #Constraints: 33154
1497.69/1502.88 c #Conflicts: 808000 | #Constraints: 34154
1497.69/1502.88 c #Conflicts: 809000 | #Constraints: 35154
1497.69/1502.88 c #Conflicts: 810000 | #Constraints: 36154
1497.69/1502.88 c INPROCESSING
1497.69/1502.88 c GARBAGE COLLECT
1497.69/1502.88 c #Conflicts: 811000 | #Constraints: 19359
1497.69/1502.88 c #Conflicts: 812000 | #Constraints: 20359
1497.69/1502.88 c #Conflicts: 813000 | #Constraints: 21359
1497.69/1502.88 c #Conflicts: 814000 | #Constraints: 22359
1497.69/1502.88 c #Conflicts: 815000 | #Constraints: 23359
1497.69/1502.88 c #Conflicts: 816000 | #Constraints: 24359
1733.58/1739.56 c #Conflicts: 817000 | #Constraints: 25359
1733.58/1739.56 c #Conflicts: 818000 | #Constraints: 26359
1733.58/1739.56 c #Conflicts: 819000 | #Constraints: 27359
1733.58/1739.56 c #Conflicts: 820000 | #Constraints: 28359
1733.58/1739.56 c #Conflicts: 821000 | #Constraints: 29359
1733.58/1739.56 c #Conflicts: 822000 | #Constraints: 30359
1733.58/1739.56 c #Conflicts: 823000 | #Constraints: 31359
1733.58/1739.56 c #Conflicts: 824000 | #Constraints: 32359
1733.58/1739.56 c #Conflicts: 825000 | #Constraints: 33359
1733.58/1739.56 c #Conflicts: 826000 | #Constraints: 34359
1733.58/1739.56 c #Conflicts: 827000 | #Constraints: 35359
1733.58/1739.56 c #Conflicts: 828000 | #Constraints: 36359
1733.58/1739.56 c INPROCESSING
1733.58/1739.56 c GARBAGE COLLECT
1733.58/1739.56 c #Conflicts: 829000 | #Constraints: 19367
1733.58/1739.56 c #Conflicts: 830000 | #Constraints: 20367
1733.58/1739.56 c #Conflicts: 831000 | #Constraints: 21367
1733.58/1739.56 c #Conflicts: 832000 | #Constraints: 22367
1733.58/1739.56 c #Conflicts: 833000 | #Constraints: 23367
1733.58/1739.56 c #Conflicts: 834000 | #Constraints: 24367
1733.58/1739.56 c #Conflicts: 835000 | #Constraints: 25367
1733.58/1739.56 c #Conflicts: 836000 | #Constraints: 26367
1733.58/1739.56 c #Conflicts: 837000 | #Constraints: 27367
1733.58/1739.56 c #Conflicts: 838000 | #Constraints: 28367
1733.58/1739.56 c #Conflicts: 839000 | #Constraints: 29367
1733.58/1739.56 c #Conflicts: 840000 | #Constraints: 30367
1733.58/1739.56 c #Conflicts: 841000 | #Constraints: 31367
1733.58/1739.56 c #Conflicts: 842000 | #Constraints: 32367
1733.58/1739.56 c #Conflicts: 843000 | #Constraints: 33367
1733.58/1739.56 c #Conflicts: 844000 | #Constraints: 34367
1733.58/1739.56 c #Conflicts: 845000 | #Constraints: 35367
1733.58/1739.56 c #Conflicts: 846000 | #Constraints: 36367
1733.58/1739.56 c INPROCESSING
1733.58/1739.56 c GARBAGE COLLECT
1733.58/1739.56 c #Conflicts: 847000 | #Constraints: 19155
1733.58/1739.56 c #Conflicts: 848000 | #Constraints: 20155
1733.58/1739.56 c #Conflicts: 849000 | #Constraints: 21155
1733.58/1739.56 c #Conflicts: 850000 | #Constraints: 22155
1733.58/1739.56 c #Conflicts: 851000 | #Constraints: 23155
1733.58/1739.56 c #Conflicts: 852000 | #Constraints: 24155
1733.58/1739.56 c #Conflicts: 853000 | #Constraints: 25155
1733.58/1739.56 c #Conflicts: 854000 | #Constraints: 26155
1733.58/1739.56 c #Conflicts: 855000 | #Constraints: 27155
1733.58/1739.56 c #Conflicts: 856000 | #Constraints: 28155
1733.58/1739.56 c #Conflicts: 857000 | #Constraints: 29155
1733.58/1739.56 c #Conflicts: 858000 | #Constraints: 30155
1733.58/1739.56 c #Conflicts: 859000 | #Constraints: 31155
1733.58/1739.56 c #Conflicts: 860000 | #Constraints: 32155
1733.58/1739.56 c #Conflicts: 861000 | #Constraints: 33155
1733.58/1739.56 c #Conflicts: 862000 | #Constraints: 34155
1733.58/1739.56 c #Conflicts: 863000 | #Constraints: 35155
1733.58/1739.56 c #Conflicts: 864000 | #Constraints: 36155
1733.58/1739.56 c #Conflicts: 865000 | #Constraints: 37155
1733.58/1739.56 c INPROCESSING
1733.58/1739.56 c GARBAGE COLLECT
1733.58/1739.56 c #Conflicts: 866000 | #Constraints: 19755
1733.58/1739.56 c #Conflicts: 867000 | #Constraints: 20755
1733.58/1739.56 c #Conflicts: 868000 | #Constraints: 21755
1733.58/1739.56 c #Conflicts: 869000 | #Constraints: 22755
1733.58/1739.56 c #Conflicts: 870000 | #Constraints: 23755
1733.58/1739.56 c #Conflicts: 871000 | #Constraints: 24755
1733.58/1739.56 c #Conflicts: 872000 | #Constraints: 25755
1733.58/1739.56 c #Conflicts: 873000 | #Constraints: 26755
1733.58/1739.56 c #Conflicts: 874000 | #Constraints: 27755
1733.58/1739.56 c #Conflicts: 875000 | #Constraints: 28755
1733.58/1739.56 c #Conflicts: 876000 | #Constraints: 29755
1733.58/1739.56 c #Conflicts: 877000 | #Constraints: 30755
1733.58/1739.56 c #Conflicts: 878000 | #Constraints: 31755
1733.58/1739.56 c #Conflicts: 879000 | #Constraints: 32755
1733.58/1739.56 c #Conflicts: 880000 | #Constraints: 33755
1733.58/1739.56 c #Conflicts: 881000 | #Constraints: 34755
1733.58/1739.56 c #Conflicts: 882000 | #Constraints: 35755
1733.58/1739.56 c #Conflicts: 883000 | #Constraints: 36755
1733.58/1739.56 c #Conflicts: 884000 | #Constraints: 37755
1733.58/1739.56 c INPROCESSING
1733.58/1739.56 c GARBAGE COLLECT
1733.58/1739.56 c #Conflicts: 885000 | #Constraints: 20154
1733.58/1739.56 c #Conflicts: 886000 | #Constraints: 21154
1733.58/1739.56 c #Conflicts: 887000 | #Constraints: 22154
1733.58/1739.56 c #Conflicts: 888000 | #Constraints: 23154
1733.58/1739.56 c #Conflicts: 889000 | #Constraints: 24154
1733.58/1739.56 c #Conflicts: 890000 | #Constraints: 25154
1733.58/1739.56 c #Conflicts: 891000 | #Constraints: 26154
1733.58/1739.56 c #Conflicts: 892000 | #Constraints: 27154
1870.52/1876.84 c #Conflicts: 893000 | #Constraints: 28154
1870.52/1876.84 c #Conflicts: 894000 | #Constraints: 29154
1870.52/1876.84 c #Conflicts: 895000 | #Constraints: 30154
1870.52/1876.84 c #Conflicts: 896000 | #Constraints: 31154
1870.52/1876.84 c #Conflicts: 897000 | #Constraints: 32154
1870.52/1876.84 c #Conflicts: 898000 | #Constraints: 33154
1870.52/1876.84 c #Conflicts: 899000 | #Constraints: 34154
1870.52/1876.84 c #Conflicts: 900000 | #Constraints: 35154
1870.52/1876.84 c #Conflicts: 901000 | #Constraints: 36154
1870.52/1876.84 c #Conflicts: 902000 | #Constraints: 37154
1870.52/1876.84 c #Conflicts: 903000 | #Constraints: 38154
1870.52/1876.84 c INPROCESSING
1870.52/1876.84 c GARBAGE COLLECT
1870.52/1876.84 c #Conflicts: 904000 | #Constraints: 20345
1870.52/1876.84 c #Conflicts: 905000 | #Constraints: 21345
1870.52/1876.84 c #Conflicts: 906000 | #Constraints: 22345
1870.52/1876.84 c #Conflicts: 907000 | #Constraints: 23345
1870.52/1876.84 c #Conflicts: 908000 | #Constraints: 24345
1870.52/1876.84 c #Conflicts: 909000 | #Constraints: 25345
1870.52/1876.84 c #Conflicts: 910000 | #Constraints: 26345
1870.52/1876.84 c #Conflicts: 911000 | #Constraints: 27345
1870.52/1876.84 c #Conflicts: 912000 | #Constraints: 28345
1870.52/1876.84 c #Conflicts: 913000 | #Constraints: 29345
1870.52/1876.84 c #Conflicts: 914000 | #Constraints: 30345
1870.52/1876.84 c #Conflicts: 915000 | #Constraints: 31345
1870.52/1876.84 c #Conflicts: 916000 | #Constraints: 32345
1870.52/1876.84 c #Conflicts: 917000 | #Constraints: 33345
1870.52/1876.84 c #Conflicts: 918000 | #Constraints: 34345
1870.52/1876.84 c #Conflicts: 919000 | #Constraints: 35345
1870.52/1876.84 c #Conflicts: 920000 | #Constraints: 36345
1870.52/1876.84 c #Conflicts: 921000 | #Constraints: 37345
1870.52/1876.84 c #Conflicts: 922000 | #Constraints: 38345
1870.52/1876.84 c INPROCESSING
1870.52/1876.84 c GARBAGE COLLECT
1870.52/1876.84 c #Conflicts: 923000 | #Constraints: 20341
1870.52/1876.84 c #Conflicts: 924000 | #Constraints: 21341
1870.52/1876.84 c #Conflicts: 925000 | #Constraints: 22341
1870.52/1876.84 c #Conflicts: 926000 | #Constraints: 23341
1870.52/1876.84 c #Conflicts: 927000 | #Constraints: 24341
1870.52/1876.84 c #Conflicts: 928000 | #Constraints: 25341
1870.52/1876.84 c #Conflicts: 929000 | #Constraints: 26341
1870.52/1876.84 c #Conflicts: 930000 | #Constraints: 27341
1870.52/1876.84 c #Conflicts: 931000 | #Constraints: 28341
1870.52/1876.84 c #Conflicts: 932000 | #Constraints: 29341
1870.52/1876.84 c #Conflicts: 933000 | #Constraints: 30341
1870.52/1876.84 c #Conflicts: 934000 | #Constraints: 31341
1870.52/1876.84 c #Conflicts: 935000 | #Constraints: 32341
1870.52/1876.84 c #Conflicts: 936000 | #Constraints: 33341
1870.52/1876.84 c #Conflicts: 937000 | #Constraints: 34341
1870.52/1876.84 c #Conflicts: 938000 | #Constraints: 35341
1870.52/1876.84 c #Conflicts: 939000 | #Constraints: 36341
1870.52/1876.84 c #Conflicts: 940000 | #Constraints: 37341
1870.52/1876.84 c #Conflicts: 941000 | #Constraints: 38341
1870.52/1876.84 c INPROCESSING
1870.52/1876.84 c GARBAGE COLLECT
1870.52/1876.84 c #Conflicts: 942000 | #Constraints: 20167
1870.52/1876.84 c #Conflicts: 943000 | #Constraints: 21167
1870.52/1876.84 c #Conflicts: 944000 | #Constraints: 22167
1870.52/1876.84 c #Conflicts: 945000 | #Constraints: 23167
1870.52/1876.84 c #Conflicts: 946000 | #Constraints: 24167
1870.52/1876.84 c #Conflicts: 947000 | #Constraints: 25167
1870.52/1876.84 c #Conflicts: 948000 | #Constraints: 26167
1870.52/1876.84 c #Conflicts: 949000 | #Constraints: 27167
1870.52/1876.84 c #Conflicts: 950000 | #Constraints: 28167
1870.52/1876.84 c #Conflicts: 951000 | #Constraints: 29167
1870.52/1876.84 c #Conflicts: 952000 | #Constraints: 30167
1870.52/1876.84 c #Conflicts: 953000 | #Constraints: 31167
1870.52/1876.84 c #Conflicts: 954000 | #Constraints: 32167
1870.52/1876.84 c #Conflicts: 955000 | #Constraints: 33167
1870.52/1876.84 c #Conflicts: 956000 | #Constraints: 34167
1870.52/1876.84 c #Conflicts: 957000 | #Constraints: 35167
1870.52/1876.84 c #Conflicts: 958000 | #Constraints: 36167
1870.52/1876.84 c #Conflicts: 959000 | #Constraints: 37167
1870.52/1876.84 c #Conflicts: 960000 | #Constraints: 38167
1870.52/1876.84 c #Conflicts: 961000 | #Constraints: 39167
1870.52/1876.84 c INPROCESSING
1870.52/1876.84 c GARBAGE COLLECT
1870.52/1876.84 c #Conflicts: 962000 | #Constraints: 20790
1870.52/1876.84 c #Conflicts: 963000 | #Constraints: 21790
1870.52/1876.84 c #Conflicts: 964000 | #Constraints: 22790
1870.52/1876.84 c #Conflicts: 965000 | #Constraints: 23790
1870.52/1876.84 c #Conflicts: 966000 | #Constraints: 24790
1870.52/1876.84 c #Conflicts: 967000 | #Constraints: 25790
1870.52/1876.84 c #Conflicts: 968000 | #Constraints: 26790
2087.95/2094.80 c #Conflicts: 969000 | #Constraints: 27790
2087.95/2094.80 c #Conflicts: 970000 | #Constraints: 28790
2087.95/2094.80 c #Conflicts: 971000 | #Constraints: 29790
2087.95/2094.80 c #Conflicts: 972000 | #Constraints: 30790
2087.95/2094.80 c #Conflicts: 973000 | #Constraints: 31790
2087.95/2094.80 c #Conflicts: 974000 | #Constraints: 32790
2087.95/2094.80 c #Conflicts: 975000 | #Constraints: 33790
2087.95/2094.80 c #Conflicts: 976000 | #Constraints: 34790
2087.95/2094.80 c #Conflicts: 977000 | #Constraints: 35790
2087.95/2094.80 c #Conflicts: 978000 | #Constraints: 36790
2087.95/2094.80 c #Conflicts: 979000 | #Constraints: 37790
2087.95/2094.80 c #Conflicts: 980000 | #Constraints: 38790
2087.95/2094.80 c #Conflicts: 981000 | #Constraints: 39790
2087.95/2094.80 c INPROCESSING
2087.95/2094.80 c GARBAGE COLLECT
2087.95/2094.80 c #Conflicts: 982000 | #Constraints: 21179
2087.95/2094.80 c #Conflicts: 983000 | #Constraints: 22179
2087.95/2094.80 c #Conflicts: 984000 | #Constraints: 23179
2087.95/2094.80 c #Conflicts: 985000 | #Constraints: 24179
2087.95/2094.80 c #Conflicts: 986000 | #Constraints: 25179
2087.95/2094.80 c #Conflicts: 987000 | #Constraints: 26179
2087.95/2094.80 c #Conflicts: 988000 | #Constraints: 27179
2087.95/2094.80 c #Conflicts: 989000 | #Constraints: 28179
2087.95/2094.80 c #Conflicts: 990000 | #Constraints: 29179
2087.95/2094.80 c #Conflicts: 991000 | #Constraints: 30179
2087.95/2094.80 c #Conflicts: 992000 | #Constraints: 31179
2087.95/2094.80 c #Conflicts: 993000 | #Constraints: 32179
2087.95/2094.80 c #Conflicts: 994000 | #Constraints: 33179
2087.95/2094.80 c #Conflicts: 995000 | #Constraints: 34179
2087.95/2094.80 c #Conflicts: 996000 | #Constraints: 35179
2087.95/2094.80 c #Conflicts: 997000 | #Constraints: 36179
2087.95/2094.80 c #Conflicts: 998000 | #Constraints: 37179
2087.95/2094.80 c #Conflicts: 999000 | #Constraints: 38179
2087.95/2094.80 c #Conflicts: 1000000 | #Constraints: 39179
2087.95/2094.80 c #Conflicts: 1001000 | #Constraints: 40179
2087.95/2094.80 c INPROCESSING
2087.95/2094.80 c GARBAGE COLLECT
2087.95/2094.80 c #Conflicts: 1002000 | #Constraints: 21398
2087.95/2094.80 c #Conflicts: 1003000 | #Constraints: 22398
2087.95/2094.80 c #Conflicts: 1004000 | #Constraints: 23398
2087.95/2094.80 c #Conflicts: 1005000 | #Constraints: 24398
2087.95/2094.80 c #Conflicts: 1006000 | #Constraints: 25398
2087.95/2094.80 c #Conflicts: 1007000 | #Constraints: 26398
2087.95/2094.80 c #Conflicts: 1008000 | #Constraints: 27398
2087.95/2094.80 c #Conflicts: 1009000 | #Constraints: 28398
2087.95/2094.80 c #Conflicts: 1010000 | #Constraints: 29398
2087.95/2094.80 c #Conflicts: 1011000 | #Constraints: 30398
2087.95/2094.80 c #Conflicts: 1012000 | #Constraints: 31398
2087.95/2094.80 c #Conflicts: 1013000 | #Constraints: 32398
2087.95/2094.80 c #Conflicts: 1014000 | #Constraints: 33398
2087.95/2094.80 c #Conflicts: 1015000 | #Constraints: 34398
2087.95/2094.80 c #Conflicts: 1016000 | #Constraints: 35398
2087.95/2094.80 c #Conflicts: 1017000 | #Constraints: 36398
2087.95/2094.80 c #Conflicts: 1018000 | #Constraints: 37398
2087.95/2094.80 c #Conflicts: 1019000 | #Constraints: 38398
2087.95/2094.80 c #Conflicts: 1020000 | #Constraints: 39398
2087.95/2094.80 c #Conflicts: 1021000 | #Constraints: 40398
2087.95/2094.80 c INPROCESSING
2087.95/2094.80 c GARBAGE COLLECT
2087.95/2094.80 c #Conflicts: 1022000 | #Constraints: 21386
2087.95/2094.80 c #Conflicts: 1023000 | #Constraints: 22386
2087.95/2094.80 c #Conflicts: 1024000 | #Constraints: 23386
2087.95/2094.80 c #Conflicts: 1025000 | #Constraints: 24386
2087.95/2094.80 c #Conflicts: 1026000 | #Constraints: 25386
2087.95/2094.80 c #Conflicts: 1027000 | #Constraints: 26386
2087.95/2094.80 c #Conflicts: 1028000 | #Constraints: 27386
2087.95/2094.80 c #Conflicts: 1029000 | #Constraints: 28386
2087.95/2094.80 c #Conflicts: 1030000 | #Constraints: 29386
2087.95/2094.80 c #Conflicts: 1031000 | #Constraints: 30386
2087.95/2094.80 c #Conflicts: 1032000 | #Constraints: 31386
2087.95/2094.80 c #Conflicts: 1033000 | #Constraints: 32386
2087.95/2094.80 c #Conflicts: 1034000 | #Constraints: 33386
2087.95/2094.80 c #Conflicts: 1035000 | #Constraints: 34386
2087.95/2094.80 c #Conflicts: 1036000 | #Constraints: 35386
2087.95/2094.80 c #Conflicts: 1037000 | #Constraints: 36386
2087.95/2094.80 c #Conflicts: 1038000 | #Constraints: 37386
2087.95/2094.80 c #Conflicts: 1039000 | #Constraints: 38386
2087.95/2094.80 c #Conflicts: 1040000 | #Constraints: 39386
2087.95/2094.80 c #Conflicts: 1041000 | #Constraints: 40386
2087.95/2094.80 c INPROCESSING
2087.95/2094.80 c GARBAGE COLLECT
2087.95/2094.80 c #Conflicts: 1042000 | #Constraints: 21193
2087.95/2094.80 c #Conflicts: 1043000 | #Constraints: 22193
2087.95/2094.80 c #Conflicts: 1044000 | #Constraints: 23193
2453.18/2461.08 c #Conflicts: 1045000 | #Constraints: 24193
2453.18/2461.08 c #Conflicts: 1046000 | #Constraints: 25193
2453.18/2461.08 c #Conflicts: 1047000 | #Constraints: 26193
2453.18/2461.08 c #Conflicts: 1048000 | #Constraints: 27193
2453.18/2461.08 c #Conflicts: 1049000 | #Constraints: 28193
2453.18/2461.08 c #Conflicts: 1050000 | #Constraints: 29193
2453.18/2461.08 c #Conflicts: 1051000 | #Constraints: 30193
2453.18/2461.08 c #Conflicts: 1052000 | #Constraints: 31193
2453.18/2461.08 c #Conflicts: 1053000 | #Constraints: 32193
2453.18/2461.08 c #Conflicts: 1054000 | #Constraints: 33193
2453.18/2461.08 c #Conflicts: 1055000 | #Constraints: 34193
2453.18/2461.08 c #Conflicts: 1056000 | #Constraints: 35193
2453.18/2461.08 c #Conflicts: 1057000 | #Constraints: 36193
2453.18/2461.08 c #Conflicts: 1058000 | #Constraints: 37193
2453.18/2461.08 c #Conflicts: 1059000 | #Constraints: 38193
2453.18/2461.08 c #Conflicts: 1060000 | #Constraints: 39193
2453.18/2461.08 c #Conflicts: 1061000 | #Constraints: 40193
2453.18/2461.08 c #Conflicts: 1062000 | #Constraints: 41193
2453.18/2461.08 c INPROCESSING
2453.18/2461.08 c GARBAGE COLLECT
2453.18/2461.08 c #Conflicts: 1063000 | #Constraints: 21816
2453.18/2461.08 c #Conflicts: 1064000 | #Constraints: 22816
2453.18/2461.08 c #Conflicts: 1065000 | #Constraints: 23816
2453.18/2461.08 c #Conflicts: 1066000 | #Constraints: 24816
2453.18/2461.08 c #Conflicts: 1067000 | #Constraints: 25816
2453.18/2461.08 c #Conflicts: 1068000 | #Constraints: 26816
2453.18/2461.08 c #Conflicts: 1069000 | #Constraints: 27816
2453.18/2461.08 c #Conflicts: 1070000 | #Constraints: 28816
2453.18/2461.08 c #Conflicts: 1071000 | #Constraints: 29816
2453.18/2461.08 c #Conflicts: 1072000 | #Constraints: 30816
2453.18/2461.08 c #Conflicts: 1073000 | #Constraints: 31816
2453.18/2461.08 c #Conflicts: 1074000 | #Constraints: 32816
2453.18/2461.08 c #Conflicts: 1075000 | #Constraints: 33816
2453.18/2461.08 c #Conflicts: 1076000 | #Constraints: 34816
2453.18/2461.08 c #Conflicts: 1077000 | #Constraints: 35816
2453.18/2461.08 c #Conflicts: 1078000 | #Constraints: 36816
2453.18/2461.08 c #Conflicts: 1079000 | #Constraints: 37816
2453.18/2461.08 c #Conflicts: 1080000 | #Constraints: 38816
2453.18/2461.08 c #Conflicts: 1081000 | #Constraints: 39816
2453.18/2461.08 c #Conflicts: 1082000 | #Constraints: 40816
2453.18/2461.08 c #Conflicts: 1083000 | #Constraints: 41816
2453.18/2461.08 c INPROCESSING
2453.18/2461.08 c GARBAGE COLLECT
2453.18/2461.08 c #Conflicts: 1084000 | #Constraints: 22209
2453.18/2461.08 c #Conflicts: 1085000 | #Constraints: 23209
2453.18/2461.08 c #Conflicts: 1086000 | #Constraints: 24209
2453.18/2461.08 c #Conflicts: 1087000 | #Constraints: 25209
2453.18/2461.08 c #Conflicts: 1088000 | #Constraints: 26209
2453.18/2461.08 c #Conflicts: 1089000 | #Constraints: 27209
2453.18/2461.08 c #Conflicts: 1090000 | #Constraints: 28209
2453.18/2461.08 c #Conflicts: 1091000 | #Constraints: 29209
2453.18/2461.08 c #Conflicts: 1092000 | #Constraints: 30209
2453.18/2461.08 c #Conflicts: 1093000 | #Constraints: 31209
2453.18/2461.08 c #Conflicts: 1094000 | #Constraints: 32209
2453.18/2461.08 c #Conflicts: 1095000 | #Constraints: 33209
2453.18/2461.08 c #Conflicts: 1096000 | #Constraints: 34209
2453.18/2461.08 c #Conflicts: 1097000 | #Constraints: 35209
2453.18/2461.08 c #Conflicts: 1098000 | #Constraints: 36209
2453.18/2461.08 c #Conflicts: 1099000 | #Constraints: 37209
2453.18/2461.08 c #Conflicts: 1100000 | #Constraints: 38209
2453.18/2461.08 c #Conflicts: 1101000 | #Constraints: 39209
2453.18/2461.08 c #Conflicts: 1102000 | #Constraints: 40209
2453.18/2461.08 c #Conflicts: 1103000 | #Constraints: 41209
2453.18/2461.08 c #Conflicts: 1104000 | #Constraints: 42209
2453.18/2461.08 c INPROCESSING
2453.18/2461.08 c GARBAGE COLLECT
2453.18/2461.08 c #Conflicts: 1105000 | #Constraints: 22400
2453.18/2461.08 c #Conflicts: 1106000 | #Constraints: 23400
2453.18/2461.08 c #Conflicts: 1107000 | #Constraints: 24400
2453.18/2461.08 c #Conflicts: 1108000 | #Constraints: 25400
2453.18/2461.08 c #Conflicts: 1109000 | #Constraints: 26400
2453.18/2461.08 c #Conflicts: 1110000 | #Constraints: 27400
2453.18/2461.08 c #Conflicts: 1111000 | #Constraints: 28400
2453.18/2461.08 c #Conflicts: 1112000 | #Constraints: 29400
2453.18/2461.08 c #Conflicts: 1113000 | #Constraints: 30400
2453.18/2461.08 c #Conflicts: 1114000 | #Constraints: 31400
2453.18/2461.08 c #Conflicts: 1115000 | #Constraints: 32400
2453.18/2461.08 c #Conflicts: 1116000 | #Constraints: 33400
2453.18/2461.08 c #Conflicts: 1117000 | #Constraints: 34400
2453.18/2461.08 c #Conflicts: 1118000 | #Constraints: 35400
2453.18/2461.08 c #Conflicts: 1119000 | #Constraints: 36400
2453.18/2461.08 c #Conflicts: 1120000 | #Constraints: 37400
2453.18/2461.08 c #Conflicts: 1121000 | #Constraints: 38400
2613.65/2621.90 c #Conflicts: 1122000 | #Constraints: 39400
2613.65/2621.90 c #Conflicts: 1123000 | #Constraints: 40400
2613.65/2621.90 c #Conflicts: 1124000 | #Constraints: 41400
2613.65/2621.90 c #Conflicts: 1125000 | #Constraints: 42400
2613.65/2621.90 c INPROCESSING
2613.65/2621.90 c GARBAGE COLLECT
2613.65/2621.90 c #Conflicts: 1126000 | #Constraints: 22402
2613.65/2621.90 c #Conflicts: 1127000 | #Constraints: 23402
2613.65/2621.90 c #Conflicts: 1128000 | #Constraints: 24402
2613.65/2621.90 c #Conflicts: 1129000 | #Constraints: 25402
2613.65/2621.90 c #Conflicts: 1130000 | #Constraints: 26402
2613.65/2621.90 c #Conflicts: 1131000 | #Constraints: 27402
2613.65/2621.90 c #Conflicts: 1132000 | #Constraints: 28402
2613.65/2621.90 c #Conflicts: 1133000 | #Constraints: 29402
2613.65/2621.90 c #Conflicts: 1134000 | #Constraints: 30402
2613.65/2621.90 c #Conflicts: 1135000 | #Constraints: 31402
2613.65/2621.90 c #Conflicts: 1136000 | #Constraints: 32402
2613.65/2621.90 c #Conflicts: 1137000 | #Constraints: 33402
2613.65/2621.90 c #Conflicts: 1138000 | #Constraints: 34402
2613.65/2621.90 c #Conflicts: 1139000 | #Constraints: 35402
2613.65/2621.90 c #Conflicts: 1140000 | #Constraints: 36402
2613.65/2621.90 c #Conflicts: 1141000 | #Constraints: 37402
2613.65/2621.90 c #Conflicts: 1142000 | #Constraints: 38402
2613.65/2621.90 c #Conflicts: 1143000 | #Constraints: 39402
2613.65/2621.90 c #Conflicts: 1144000 | #Constraints: 40402
2613.65/2621.90 c #Conflicts: 1145000 | #Constraints: 41402
2613.65/2621.90 c #Conflicts: 1146000 | #Constraints: 42402
2613.65/2621.90 c INPROCESSING
2613.65/2621.90 c GARBAGE COLLECT
2613.65/2621.90 c #Conflicts: 1147000 | #Constraints: 22182
2613.65/2621.90 c #Conflicts: 1148000 | #Constraints: 23182
2613.65/2621.90 c #Conflicts: 1149000 | #Constraints: 24182
2613.65/2621.90 c #Conflicts: 1150000 | #Constraints: 25182
2613.65/2621.90 c #Conflicts: 1151000 | #Constraints: 26182
2613.65/2621.90 c #Conflicts: 1152000 | #Constraints: 27182
2613.65/2621.90 c #Conflicts: 1153000 | #Constraints: 28182
2613.65/2621.90 c #Conflicts: 1154000 | #Constraints: 29182
2613.65/2621.90 c #Conflicts: 1155000 | #Constraints: 30182
2613.65/2621.90 c #Conflicts: 1156000 | #Constraints: 31182
2613.65/2621.90 c #Conflicts: 1157000 | #Constraints: 32182
2613.65/2621.90 c #Conflicts: 1158000 | #Constraints: 33182
2613.65/2621.90 c #Conflicts: 1159000 | #Constraints: 34182
2613.65/2621.90 c #Conflicts: 1160000 | #Constraints: 35182
2613.65/2621.90 c #Conflicts: 1161000 | #Constraints: 36182
2613.65/2621.90 c #Conflicts: 1162000 | #Constraints: 37182
2613.65/2621.90 c #Conflicts: 1163000 | #Constraints: 38182
2613.65/2621.90 c #Conflicts: 1164000 | #Constraints: 39182
2613.65/2621.90 c #Conflicts: 1165000 | #Constraints: 40182
2613.65/2621.90 c #Conflicts: 1166000 | #Constraints: 41182
2613.65/2621.90 c #Conflicts: 1167000 | #Constraints: 42182
2613.65/2621.90 c #Conflicts: 1168000 | #Constraints: 43182
2613.65/2621.90 c INPROCESSING
2613.65/2621.90 c GARBAGE COLLECT
2613.65/2621.90 c #Conflicts: 1169000 | #Constraints: 22770
2613.65/2621.90 c #Conflicts: 1170000 | #Constraints: 23770
2613.65/2621.90 c #Conflicts: 1171000 | #Constraints: 24770
2613.65/2621.90 c #Conflicts: 1172000 | #Constraints: 25770
2613.65/2621.90 c #Conflicts: 1173000 | #Constraints: 26770
2613.65/2621.90 c #Conflicts: 1174000 | #Constraints: 27770
2613.65/2621.90 c #Conflicts: 1175000 | #Constraints: 28770
2613.65/2621.90 c #Conflicts: 1176000 | #Constraints: 29770
2613.65/2621.90 c #Conflicts: 1177000 | #Constraints: 30770
2613.65/2621.90 c #Conflicts: 1178000 | #Constraints: 31770
2613.65/2621.90 c #Conflicts: 1179000 | #Constraints: 32770
2613.65/2621.90 c #Conflicts: 1180000 | #Constraints: 33770
2613.65/2621.90 c #Conflicts: 1181000 | #Constraints: 34770
2613.65/2621.90 c #Conflicts: 1182000 | #Constraints: 35770
2613.65/2621.90 c #Conflicts: 1183000 | #Constraints: 36770
2613.65/2621.90 c #Conflicts: 1184000 | #Constraints: 37770
2613.65/2621.90 c #Conflicts: 1185000 | #Constraints: 38770
2613.65/2621.90 c #Conflicts: 1186000 | #Constraints: 39770
2613.65/2621.90 c #Conflicts: 1187000 | #Constraints: 40770
2613.65/2621.90 c #Conflicts: 1188000 | #Constraints: 41770
2613.65/2621.90 c #Conflicts: 1189000 | #Constraints: 42770
2613.65/2621.90 c #Conflicts: 1190000 | #Constraints: 43770
2613.65/2621.90 c INPROCESSING
2613.65/2621.90 c GARBAGE COLLECT
2613.65/2621.90 c #Conflicts: 1191000 | #Constraints: 23175
2613.65/2621.90 c #Conflicts: 1192000 | #Constraints: 24175
2613.65/2621.90 c #Conflicts: 1193000 | #Constraints: 25175
2613.65/2621.90 c #Conflicts: 1194000 | #Constraints: 26175
2613.65/2621.90 c #Conflicts: 1195000 | #Constraints: 27175
2613.65/2621.90 c #Conflicts: 1196000 | #Constraints: 28175
2613.65/2621.90 c #Conflicts: 1197000 | #Constraints: 29175
2792.40/2801.14 c #Conflicts: 1198000 | #Constraints: 30175
2792.40/2801.14 c #Conflicts: 1199000 | #Constraints: 31175
2792.40/2801.14 c #Conflicts: 1200000 | #Constraints: 32175
2792.40/2801.14 c #Conflicts: 1201000 | #Constraints: 33175
2792.40/2801.14 c #Conflicts: 1202000 | #Constraints: 34175
2792.40/2801.14 c #Conflicts: 1203000 | #Constraints: 35175
2792.40/2801.14 c #Conflicts: 1204000 | #Constraints: 36175
2792.40/2801.14 c #Conflicts: 1205000 | #Constraints: 37175
2792.40/2801.14 c #Conflicts: 1206000 | #Constraints: 38175
2792.40/2801.14 c #Conflicts: 1207000 | #Constraints: 39175
2792.40/2801.14 c #Conflicts: 1208000 | #Constraints: 40175
2792.40/2801.14 c #Conflicts: 1209000 | #Constraints: 41175
2792.40/2801.14 c #Conflicts: 1210000 | #Constraints: 42175
2792.40/2801.14 c #Conflicts: 1211000 | #Constraints: 43175
2792.40/2801.14 c #Conflicts: 1212000 | #Constraints: 44175
2792.40/2801.14 c INPROCESSING
2792.40/2801.14 c GARBAGE COLLECT
2792.40/2801.14 c #Conflicts: 1213000 | #Constraints: 23377
2792.40/2801.14 c #Conflicts: 1214000 | #Constraints: 24377
2792.40/2801.14 c #Conflicts: 1215000 | #Constraints: 25377
2792.40/2801.14 c #Conflicts: 1216000 | #Constraints: 26377
2792.40/2801.14 c #Conflicts: 1217000 | #Constraints: 27377
2792.40/2801.14 c #Conflicts: 1218000 | #Constraints: 28377
2792.40/2801.14 c #Conflicts: 1219000 | #Constraints: 29377
2792.40/2801.14 c #Conflicts: 1220000 | #Constraints: 30377
2792.40/2801.14 c #Conflicts: 1221000 | #Constraints: 31377
2792.40/2801.14 c #Conflicts: 1222000 | #Constraints: 32377
2792.40/2801.14 c #Conflicts: 1223000 | #Constraints: 33377
2792.40/2801.14 c #Conflicts: 1224000 | #Constraints: 34377
2792.40/2801.14 c #Conflicts: 1225000 | #Constraints: 35377
2792.40/2801.14 c #Conflicts: 1226000 | #Constraints: 36377
2792.40/2801.14 c #Conflicts: 1227000 | #Constraints: 37377
2792.40/2801.14 c #Conflicts: 1228000 | #Constraints: 38377
2792.40/2801.14 c #Conflicts: 1229000 | #Constraints: 39377
2792.40/2801.14 c #Conflicts: 1230000 | #Constraints: 40377
2792.40/2801.14 c #Conflicts: 1231000 | #Constraints: 41377
2792.40/2801.14 c #Conflicts: 1232000 | #Constraints: 42377
2792.40/2801.14 c #Conflicts: 1233000 | #Constraints: 43377
2792.40/2801.14 c #Conflicts: 1234000 | #Constraints: 44377
2792.40/2801.14 c INPROCESSING
2792.40/2801.14 c GARBAGE COLLECT
2792.40/2801.14 c #Conflicts: 1235000 | #Constraints: 23358
2792.40/2801.14 c #Conflicts: 1236000 | #Constraints: 24358
2792.40/2801.14 c #Conflicts: 1237000 | #Constraints: 25358
2792.40/2801.14 c #Conflicts: 1238000 | #Constraints: 26358
2792.40/2801.14 c #Conflicts: 1239000 | #Constraints: 27358
2792.40/2801.14 c #Conflicts: 1240000 | #Constraints: 28358
2792.40/2801.14 c #Conflicts: 1241000 | #Constraints: 29358
2792.40/2801.14 c #Conflicts: 1242000 | #Constraints: 30358
2792.40/2801.14 c #Conflicts: 1243000 | #Constraints: 31358
2792.40/2801.14 c #Conflicts: 1244000 | #Constraints: 32358
2792.40/2801.14 c #Conflicts: 1245000 | #Constraints: 33358
2792.40/2801.14 c #Conflicts: 1246000 | #Constraints: 34358
2792.40/2801.14 c #Conflicts: 1247000 | #Constraints: 35358
2792.40/2801.14 c #Conflicts: 1248000 | #Constraints: 36358
2792.40/2801.14 c #Conflicts: 1249000 | #Constraints: 37358
2792.40/2801.14 c #Conflicts: 1250000 | #Constraints: 38358
2792.40/2801.14 c #Conflicts: 1251000 | #Constraints: 39358
2792.40/2801.14 c #Conflicts: 1252000 | #Constraints: 40358
2792.40/2801.14 c #Conflicts: 1253000 | #Constraints: 41358
2792.40/2801.14 c #Conflicts: 1254000 | #Constraints: 42358
2792.40/2801.14 c #Conflicts: 1255000 | #Constraints: 43358
2792.40/2801.14 c #Conflicts: 1256000 | #Constraints: 44358
2792.40/2801.14 c INPROCESSING
2792.40/2801.14 c GARBAGE COLLECT
2792.40/2801.14 c #Conflicts: 1257000 | #Constraints: 23151
2792.40/2801.14 c #Conflicts: 1258000 | #Constraints: 24151
2792.40/2801.14 c #Conflicts: 1259000 | #Constraints: 25151
2792.40/2801.14 c #Conflicts: 1260000 | #Constraints: 26151
2792.40/2801.14 c #Conflicts: 1261000 | #Constraints: 27151
2792.40/2801.14 c #Conflicts: 1262000 | #Constraints: 28151
2792.40/2801.14 c #Conflicts: 1263000 | #Constraints: 29151
2792.40/2801.14 c #Conflicts: 1264000 | #Constraints: 30151
2792.40/2801.14 c #Conflicts: 1265000 | #Constraints: 31151
2792.40/2801.14 c #Conflicts: 1266000 | #Constraints: 32151
2792.40/2801.14 c #Conflicts: 1267000 | #Constraints: 33151
2792.40/2801.14 c #Conflicts: 1268000 | #Constraints: 34151
2792.40/2801.14 c #Conflicts: 1269000 | #Constraints: 35151
2792.40/2801.14 c #Conflicts: 1270000 | #Constraints: 36151
2792.40/2801.14 c #Conflicts: 1271000 | #Constraints: 37151
2792.40/2801.14 c #Conflicts: 1272000 | #Constraints: 38151
2792.40/2801.14 c #Conflicts: 1273000 | #Constraints: 39151
2792.40/2801.14 c #Conflicts: 1274000 | #Constraints: 40151
3028.07/3037.43 c #Conflicts: 1275000 | #Constraints: 41151
3028.07/3037.43 c #Conflicts: 1276000 | #Constraints: 42151
3028.07/3037.43 c #Conflicts: 1277000 | #Constraints: 43151
3028.07/3037.43 c #Conflicts: 1278000 | #Constraints: 44151
3028.07/3037.43 c #Conflicts: 1279000 | #Constraints: 45151
3028.07/3037.43 c INPROCESSING
3028.07/3037.43 c GARBAGE COLLECT
3028.07/3037.43 c #Conflicts: 1280000 | #Constraints: 23757
3028.07/3037.43 c #Conflicts: 1281000 | #Constraints: 24757
3028.07/3037.43 c #Conflicts: 1282000 | #Constraints: 25757
3028.07/3037.43 c #Conflicts: 1283000 | #Constraints: 26757
3028.07/3037.43 c #Conflicts: 1284000 | #Constraints: 27757
3028.07/3037.43 c #Conflicts: 1285000 | #Constraints: 28757
3028.07/3037.43 c #Conflicts: 1286000 | #Constraints: 29757
3028.07/3037.43 c #Conflicts: 1287000 | #Constraints: 30757
3028.07/3037.43 c #Conflicts: 1288000 | #Constraints: 31757
3028.07/3037.43 c #Conflicts: 1289000 | #Constraints: 32757
3028.07/3037.43 c #Conflicts: 1290000 | #Constraints: 33757
3028.07/3037.43 c #Conflicts: 1291000 | #Constraints: 34757
3028.07/3037.43 c #Conflicts: 1292000 | #Constraints: 35757
3028.07/3037.43 c #Conflicts: 1293000 | #Constraints: 36757
3028.07/3037.43 c #Conflicts: 1294000 | #Constraints: 37757
3028.07/3037.43 c #Conflicts: 1295000 | #Constraints: 38757
3028.07/3037.43 c #Conflicts: 1296000 | #Constraints: 39757
3028.07/3037.43 c #Conflicts: 1297000 | #Constraints: 40757
3028.07/3037.43 c #Conflicts: 1298000 | #Constraints: 41757
3028.07/3037.43 c #Conflicts: 1299000 | #Constraints: 42757
3028.07/3037.43 c #Conflicts: 1300000 | #Constraints: 43757
3028.07/3037.43 c #Conflicts: 1301000 | #Constraints: 44757
3028.07/3037.43 c #Conflicts: 1302000 | #Constraints: 45757
3028.07/3037.43 c INPROCESSING
3028.07/3037.43 c GARBAGE COLLECT
3028.07/3037.43 c #Conflicts: 1303000 | #Constraints: 24164
3028.07/3037.43 c #Conflicts: 1304000 | #Constraints: 25164
3028.07/3037.43 c #Conflicts: 1305000 | #Constraints: 26164
3028.07/3037.43 c #Conflicts: 1306000 | #Constraints: 27164
3028.07/3037.43 c #Conflicts: 1307000 | #Constraints: 28164
3028.07/3037.43 c #Conflicts: 1308000 | #Constraints: 29164
3028.07/3037.43 c #Conflicts: 1309000 | #Constraints: 30164
3028.07/3037.43 c #Conflicts: 1310000 | #Constraints: 31164
3028.07/3037.43 c #Conflicts: 1311000 | #Constraints: 32164
3028.07/3037.43 c #Conflicts: 1312000 | #Constraints: 33164
3028.07/3037.43 c #Conflicts: 1313000 | #Constraints: 34164
3028.07/3037.43 c #Conflicts: 1314000 | #Constraints: 35164
3028.07/3037.43 c #Conflicts: 1315000 | #Constraints: 36164
3028.07/3037.43 c #Conflicts: 1316000 | #Constraints: 37164
3028.07/3037.43 c #Conflicts: 1317000 | #Constraints: 38164
3028.07/3037.43 c #Conflicts: 1318000 | #Constraints: 39164
3028.07/3037.43 c #Conflicts: 1319000 | #Constraints: 40164
3028.07/3037.43 c #Conflicts: 1320000 | #Constraints: 41164
3028.07/3037.43 c #Conflicts: 1321000 | #Constraints: 42164
3028.07/3037.43 c #Conflicts: 1322000 | #Constraints: 43164
3028.07/3037.43 c #Conflicts: 1323000 | #Constraints: 44164
3028.07/3037.43 c #Conflicts: 1324000 | #Constraints: 45164
3028.07/3037.43 c #Conflicts: 1325000 | #Constraints: 46164
3028.07/3037.43 c INPROCESSING
3028.07/3037.43 c GARBAGE COLLECT
3028.07/3037.43 c #Conflicts: 1326000 | #Constraints: 24395
3028.07/3037.43 c #Conflicts: 1327000 | #Constraints: 25395
3028.07/3037.43 c #Conflicts: 1328000 | #Constraints: 26395
3028.07/3037.43 c #Conflicts: 1329000 | #Constraints: 27395
3028.07/3037.43 c #Conflicts: 1330000 | #Constraints: 28395
3028.07/3037.43 c #Conflicts: 1331000 | #Constraints: 29395
3028.07/3037.43 c #Conflicts: 1332000 | #Constraints: 30395
3028.07/3037.43 c #Conflicts: 1333000 | #Constraints: 31395
3028.07/3037.43 c #Conflicts: 1334000 | #Constraints: 32395
3028.07/3037.43 c #Conflicts: 1335000 | #Constraints: 33395
3028.07/3037.43 c #Conflicts: 1336000 | #Constraints: 34395
3028.07/3037.43 c #Conflicts: 1337000 | #Constraints: 35395
3028.07/3037.43 c #Conflicts: 1338000 | #Constraints: 36395
3028.07/3037.43 c #Conflicts: 1339000 | #Constraints: 37395
3028.07/3037.43 c #Conflicts: 1340000 | #Constraints: 38395
3028.07/3037.43 c #Conflicts: 1341000 | #Constraints: 39395
3028.07/3037.43 c #Conflicts: 1342000 | #Constraints: 40395
3028.07/3037.43 c #Conflicts: 1343000 | #Constraints: 41395
3028.07/3037.43 c #Conflicts: 1344000 | #Constraints: 42395
3028.07/3037.43 c #Conflicts: 1345000 | #Constraints: 43395
3028.07/3037.43 c #Conflicts: 1346000 | #Constraints: 44395
3028.07/3037.43 c #Conflicts: 1347000 | #Constraints: 45395
3028.07/3037.43 c #Conflicts: 1348000 | #Constraints: 46395
3028.07/3037.43 c INPROCESSING
3028.07/3037.43 c GARBAGE COLLECT
3028.07/3037.43 c #Conflicts: 1349000 | #Constraints: 24391
3028.07/3037.43 c #Conflicts: 1350000 | #Constraints: 25391
3226.85/3236.71 c #Conflicts: 1351000 | #Constraints: 26391
3226.85/3236.71 c #Conflicts: 1352000 | #Constraints: 27391
3226.85/3236.71 c #Conflicts: 1353000 | #Constraints: 28391
3226.85/3236.71 c #Conflicts: 1354000 | #Constraints: 29391
3226.85/3236.71 c #Conflicts: 1355000 | #Constraints: 30391
3226.85/3236.71 c #Conflicts: 1356000 | #Constraints: 31391
3226.85/3236.71 c #Conflicts: 1357000 | #Constraints: 32391
3226.85/3236.71 c #Conflicts: 1358000 | #Constraints: 33391
3226.85/3236.71 c #Conflicts: 1359000 | #Constraints: 34391
3226.85/3236.71 c #Conflicts: 1360000 | #Constraints: 35391
3226.85/3236.71 c #Conflicts: 1361000 | #Constraints: 36391
3226.85/3236.71 c #Conflicts: 1362000 | #Constraints: 37391
3226.85/3236.71 c #Conflicts: 1363000 | #Constraints: 38391
3226.85/3236.71 c #Conflicts: 1364000 | #Constraints: 39391
3226.85/3236.71 c #Conflicts: 1365000 | #Constraints: 40391
3226.85/3236.71 c #Conflicts: 1366000 | #Constraints: 41391
3226.85/3236.71 c #Conflicts: 1367000 | #Constraints: 42391
3226.85/3236.71 c #Conflicts: 1368000 | #Constraints: 43391
3226.85/3236.71 c #Conflicts: 1369000 | #Constraints: 44391
3226.85/3236.71 c #Conflicts: 1370000 | #Constraints: 45391
3226.85/3236.71 c #Conflicts: 1371000 | #Constraints: 46391
3226.85/3236.71 c INPROCESSING
3226.85/3236.71 c GARBAGE COLLECT
3226.85/3236.71 c #Conflicts: 1372000 | #Constraints: 24175
3226.85/3236.71 c #Conflicts: 1373000 | #Constraints: 25175
3226.85/3236.71 c #Conflicts: 1374000 | #Constraints: 26175
3226.85/3236.71 c #Conflicts: 1375000 | #Constraints: 27175
3226.85/3236.71 c #Conflicts: 1376000 | #Constraints: 28175
3226.85/3236.71 c #Conflicts: 1377000 | #Constraints: 29175
3226.85/3236.71 c #Conflicts: 1378000 | #Constraints: 30175
3226.85/3236.71 c #Conflicts: 1379000 | #Constraints: 31175
3226.85/3236.71 c #Conflicts: 1380000 | #Constraints: 32175
3226.85/3236.71 c #Conflicts: 1381000 | #Constraints: 33175
3226.85/3236.71 c #Conflicts: 1382000 | #Constraints: 34175
3226.85/3236.71 c #Conflicts: 1383000 | #Constraints: 35175
3226.85/3236.71 c #Conflicts: 1384000 | #Constraints: 36175
3226.85/3236.71 c #Conflicts: 1385000 | #Constraints: 37175
3226.85/3236.71 c #Conflicts: 1386000 | #Constraints: 38175
3226.85/3236.71 c #Conflicts: 1387000 | #Constraints: 39175
3226.85/3236.71 c #Conflicts: 1388000 | #Constraints: 40175
3226.85/3236.71 c #Conflicts: 1389000 | #Constraints: 41175
3226.85/3236.71 c #Conflicts: 1390000 | #Constraints: 42175
3226.85/3236.71 c #Conflicts: 1391000 | #Constraints: 43175
3226.85/3236.71 c #Conflicts: 1392000 | #Constraints: 44175
3226.85/3236.71 c #Conflicts: 1393000 | #Constraints: 45175
3226.85/3236.71 c #Conflicts: 1394000 | #Constraints: 46175
3226.85/3236.71 c #Conflicts: 1395000 | #Constraints: 47175
3226.85/3236.71 c INPROCESSING
3226.85/3236.71 c GARBAGE COLLECT
3226.85/3236.71 c #Conflicts: 1396000 | #Constraints: 24770
3226.85/3236.71 c #Conflicts: 1397000 | #Constraints: 25770
3226.85/3236.71 c #Conflicts: 1398000 | #Constraints: 26770
3226.85/3236.71 c #Conflicts: 1399000 | #Constraints: 27770
3226.85/3236.71 c #Conflicts: 1400000 | #Constraints: 28770
3226.85/3236.71 c #Conflicts: 1401000 | #Constraints: 29770
3226.85/3236.71 c #Conflicts: 1402000 | #Constraints: 30770
3226.85/3236.71 c #Conflicts: 1403000 | #Constraints: 31770
3226.85/3236.71 c #Conflicts: 1404000 | #Constraints: 32770
3226.85/3236.71 c #Conflicts: 1405000 | #Constraints: 33770
3226.85/3236.71 c #Conflicts: 1406000 | #Constraints: 34770
3226.85/3236.71 c #Conflicts: 1407000 | #Constraints: 35770
3226.85/3236.71 c #Conflicts: 1408000 | #Constraints: 36770
3226.85/3236.71 c #Conflicts: 1409000 | #Constraints: 37770
3226.85/3236.71 c #Conflicts: 1410000 | #Constraints: 38770
3226.85/3236.71 c #Conflicts: 1411000 | #Constraints: 39770
3226.85/3236.71 c #Conflicts: 1412000 | #Constraints: 40770
3226.85/3236.71 c #Conflicts: 1413000 | #Constraints: 41770
3226.85/3236.71 c #Conflicts: 1414000 | #Constraints: 42770
3226.85/3236.71 c #Conflicts: 1415000 | #Constraints: 43770
3226.85/3236.71 c #Conflicts: 1416000 | #Constraints: 44770
3226.85/3236.71 c #Conflicts: 1417000 | #Constraints: 45770
3226.85/3236.71 c #Conflicts: 1418000 | #Constraints: 46770
3226.85/3236.71 c #Conflicts: 1419000 | #Constraints: 47770
3226.85/3236.71 c INPROCESSING
3226.85/3236.71 c GARBAGE COLLECT
3226.85/3236.71 c #Conflicts: 1420000 | #Constraints: 25173
3226.85/3236.71 c #Conflicts: 1421000 | #Constraints: 26173
3226.85/3236.71 c #Conflicts: 1422000 | #Constraints: 27173
3226.85/3236.71 c #Conflicts: 1423000 | #Constraints: 28173
3226.85/3236.71 c #Conflicts: 1424000 | #Constraints: 29173
3226.85/3236.71 c #Conflicts: 1425000 | #Constraints: 30173
3226.85/3236.71 c #Conflicts: 1426000 | #Constraints: 31173
3226.85/3236.71 c #Conflicts: 1427000 | #Constraints: 32173
3404.77/3415.17 c #Conflicts: 1428000 | #Constraints: 33173
3404.77/3415.17 c #Conflicts: 1429000 | #Constraints: 34173
3404.77/3415.17 c #Conflicts: 1430000 | #Constraints: 35173
3404.77/3415.17 c #Conflicts: 1431000 | #Constraints: 36173
3404.77/3415.17 c #Conflicts: 1432000 | #Constraints: 37173
3404.77/3415.17 c #Conflicts: 1433000 | #Constraints: 38173
3404.77/3415.17 c #Conflicts: 1434000 | #Constraints: 39173
3404.77/3415.17 c #Conflicts: 1435000 | #Constraints: 40173
3404.77/3415.17 c #Conflicts: 1436000 | #Constraints: 41173
3404.77/3415.17 c #Conflicts: 1437000 | #Constraints: 42173
3404.77/3415.17 c #Conflicts: 1438000 | #Constraints: 43173
3404.77/3415.17 c #Conflicts: 1439000 | #Constraints: 44173
3404.77/3415.17 c #Conflicts: 1440000 | #Constraints: 45173
3404.77/3415.17 c #Conflicts: 1441000 | #Constraints: 46173
3404.77/3415.17 c #Conflicts: 1442000 | #Constraints: 47173
3404.77/3415.17 c #Conflicts: 1443000 | #Constraints: 48173
3404.77/3415.17 c INPROCESSING
3404.77/3415.17 c GARBAGE COLLECT
3404.77/3415.17 c #Conflicts: 1444000 | #Constraints: 25373
3404.77/3415.17 c #Conflicts: 1445000 | #Constraints: 26373
3404.77/3415.17 c #Conflicts: 1446000 | #Constraints: 27373
3404.77/3415.17 c #Conflicts: 1447000 | #Constraints: 28373
3404.77/3415.17 c #Conflicts: 1448000 | #Constraints: 29373
3404.77/3415.17 c #Conflicts: 1449000 | #Constraints: 30373
3404.77/3415.17 c #Conflicts: 1450000 | #Constraints: 31373
3404.77/3415.17 c #Conflicts: 1451000 | #Constraints: 32373
3404.77/3415.17 c #Conflicts: 1452000 | #Constraints: 33373
3404.77/3415.17 c #Conflicts: 1453000 | #Constraints: 34373
3404.77/3415.17 c #Conflicts: 1454000 | #Constraints: 35373
3404.77/3415.17 c #Conflicts: 1455000 | #Constraints: 36373
3404.77/3415.17 c #Conflicts: 1456000 | #Constraints: 37373
3404.77/3415.17 c #Conflicts: 1457000 | #Constraints: 38373
3404.77/3415.17 c #Conflicts: 1458000 | #Constraints: 39373
3404.77/3415.17 c #Conflicts: 1459000 | #Constraints: 40373
3404.77/3415.17 c #Conflicts: 1460000 | #Constraints: 41373
3404.77/3415.17 c #Conflicts: 1461000 | #Constraints: 42373
3404.77/3415.17 c #Conflicts: 1462000 | #Constraints: 43373
3404.77/3415.17 c #Conflicts: 1463000 | #Constraints: 44373
3404.77/3415.17 c #Conflicts: 1464000 | #Constraints: 45373
3404.77/3415.17 c #Conflicts: 1465000 | #Constraints: 46373
3404.77/3415.17 c #Conflicts: 1466000 | #Constraints: 47373
3404.77/3415.17 c #Conflicts: 1467000 | #Constraints: 48373
3404.77/3415.17 c INPROCESSING
3404.77/3415.17 c GARBAGE COLLECT
3404.77/3415.17 c #Conflicts: 1468000 | #Constraints: 25372
3404.77/3415.17 c #Conflicts: 1469000 | #Constraints: 26372
3404.77/3415.17 c #Conflicts: 1470000 | #Constraints: 27372
3404.77/3415.17 c #Conflicts: 1471000 | #Constraints: 28372
3404.77/3415.17 c #Conflicts: 1472000 | #Constraints: 29372
3404.77/3415.17 c #Conflicts: 1473000 | #Constraints: 30372
3404.77/3415.17 c #Conflicts: 1474000 | #Constraints: 31372
3404.77/3415.17 c #Conflicts: 1475000 | #Constraints: 32372
3404.77/3415.17 c #Conflicts: 1476000 | #Constraints: 33372
3404.77/3415.17 c #Conflicts: 1477000 | #Constraints: 34372
3404.77/3415.17 c #Conflicts: 1478000 | #Constraints: 35372
3404.77/3415.17 c #Conflicts: 1479000 | #Constraints: 36372
3404.77/3415.17 c #Conflicts: 1480000 | #Constraints: 37372
3404.77/3415.17 c #Conflicts: 1481000 | #Constraints: 38372
3404.77/3415.17 c #Conflicts: 1482000 | #Constraints: 39372
3404.77/3415.17 c #Conflicts: 1483000 | #Constraints: 40372
3404.77/3415.17 c #Conflicts: 1484000 | #Constraints: 41372
3404.77/3415.17 c #Conflicts: 1485000 | #Constraints: 42372
3404.77/3415.17 c #Conflicts: 1486000 | #Constraints: 43372
3404.77/3415.17 c #Conflicts: 1487000 | #Constraints: 44372
3404.77/3415.17 c #Conflicts: 1488000 | #Constraints: 45372
3404.77/3415.17 c #Conflicts: 1489000 | #Constraints: 46372
3404.77/3415.17 c #Conflicts: 1490000 | #Constraints: 47372
3404.77/3415.17 c #Conflicts: 1491000 | #Constraints: 48372
3404.77/3415.17 c INPROCESSING
3404.77/3415.17 c GARBAGE COLLECT
3404.77/3415.17 c #Conflicts: 1492000 | #Constraints: 25155
3404.77/3415.17 c #Conflicts: 1493000 | #Constraints: 26155
3404.77/3415.17 c #Conflicts: 1494000 | #Constraints: 27155
3404.77/3415.17 c #Conflicts: 1495000 | #Constraints: 28155
3404.77/3415.17 c #Conflicts: 1496000 | #Constraints: 29155
3404.77/3415.17 c #Conflicts: 1497000 | #Constraints: 30155
3404.77/3415.17 c #Conflicts: 1498000 | #Constraints: 31155
3404.77/3415.17 c #Conflicts: 1499000 | #Constraints: 32155
3404.77/3415.17 c #Conflicts: 1500000 | #Constraints: 33155
3404.77/3415.17 c #Conflicts: 1501000 | #Constraints: 34155
3404.77/3415.17 c #Conflicts: 1502000 | #Constraints: 35155
3404.77/3415.17 c #Conflicts: 1503000 | #Constraints: 36155
3404.77/3415.17 c #Conflicts: 1504000 | #Constraints: 37155
3600.06/3610.90 c #Conflicts: 1505000 | #Constraints: 38155
3600.06/3610.90 c #Conflicts: 1506000 | #Constraints: 39155
3600.06/3610.90 c #Conflicts: 1507000 | #Constraints: 40155
3600.06/3610.90 c #Conflicts: 1508000 | #Constraints: 41155
3600.06/3610.90 c #Conflicts: 1509000 | #Constraints: 42155
3600.06/3610.90 c #Conflicts: 1510000 | #Constraints: 43155
3600.06/3610.90 c #Conflicts: 1511000 | #Constraints: 44155
3600.06/3610.90 c #Conflicts: 1512000 | #Constraints: 45155
3600.06/3610.90 c #Conflicts: 1513000 | #Constraints: 46155
3600.06/3610.90 c #Conflicts: 1514000 | #Constraints: 47155
3600.06/3610.90 c #Conflicts: 1515000 | #Constraints: 48155
3600.06/3610.90 c #Conflicts: 1516000 | #Constraints: 49155
3600.06/3610.90 c INPROCESSING
3600.06/3610.90 c GARBAGE COLLECT
3600.06/3610.90 c #Conflicts: 1517000 | #Constraints: 25748
3600.06/3610.90 c #Conflicts: 1518000 | #Constraints: 26748
3600.06/3610.90 c #Conflicts: 1519000 | #Constraints: 27748
3600.06/3610.90 c #Conflicts: 1520000 | #Constraints: 28748
3600.06/3610.90 c #Conflicts: 1521000 | #Constraints: 29748
3600.06/3610.90 c #Conflicts: 1522000 | #Constraints: 30748
3600.06/3610.90 c #Conflicts: 1523000 | #Constraints: 31748
3600.06/3610.90 c #Conflicts: 1524000 | #Constraints: 32748
3600.06/3610.90 c #Conflicts: 1525000 | #Constraints: 33748
3600.06/3610.90 c #Conflicts: 1526000 | #Constraints: 34748
3600.06/3610.90 c #Conflicts: 1527000 | #Constraints: 35748
3600.06/3610.90 c #Conflicts: 1528000 | #Constraints: 36748
3600.06/3610.90 c #Conflicts: 1529000 | #Constraints: 37748
3600.06/3610.90 c #Conflicts: 1530000 | #Constraints: 38748
3600.06/3610.90 c #Conflicts: 1531000 | #Constraints: 39748
3600.06/3610.90 c #Conflicts: 1532000 | #Constraints: 40748
3600.06/3610.90 c #Conflicts: 1533000 | #Constraints: 41748
3600.06/3610.90 c #Conflicts: 1534000 | #Constraints: 42748
3600.06/3610.90 c #Conflicts: 1535000 | #Constraints: 43748
3600.06/3610.90 c #Conflicts: 1536000 | #Constraints: 44748
3600.06/3610.90 c #Conflicts: 1537000 | #Constraints: 45748
3600.06/3610.90 c #Conflicts: 1538000 | #Constraints: 46748
3600.06/3610.90 c #Conflicts: 1539000 | #Constraints: 47748
3600.06/3610.90 c #Conflicts: 1540000 | #Constraints: 48748
3600.06/3610.90 c #Conflicts: 1541000 | #Constraints: 49748
3600.06/3610.90 c INPROCESSING
3600.06/3610.90 c GARBAGE COLLECT
3600.06/3610.90 c #Conflicts: 1542000 | #Constraints: 26169
3600.06/3610.90 c #Conflicts: 1543000 | #Constraints: 27169
3600.06/3610.90 c #Conflicts: 1544000 | #Constraints: 28169
3600.06/3610.90 c #Conflicts: 1545000 | #Constraints: 29169
3600.06/3610.90 c #Conflicts: 1546000 | #Constraints: 30169
3600.06/3610.90 c #Conflicts: 1547000 | #Constraints: 31169
3600.06/3610.90 c #Conflicts: 1548000 | #Constraints: 32169
3600.06/3610.90 c #Conflicts: 1549000 | #Constraints: 33169
3600.06/3610.90 c #Conflicts: 1550000 | #Constraints: 34169
3600.06/3610.90 c #Conflicts: 1551000 | #Constraints: 35169
3600.06/3610.90 c #Conflicts: 1552000 | #Constraints: 36169
3600.06/3610.90 c #Conflicts: 1553000 | #Constraints: 37169
3600.06/3610.90 c #Conflicts: 1554000 | #Constraints: 38169
3600.06/3610.90 c #Conflicts: 1555000 | #Constraints: 39169
3600.06/3610.90 c #Conflicts: 1556000 | #Constraints: 40169
3600.06/3610.90 c #Conflicts: 1557000 | #Constraints: 41169
3600.06/3610.90 c #Conflicts: 1558000 | #Constraints: 42169
3600.06/3610.90 c #Conflicts: 1559000 | #Constraints: 43169
3600.06/3610.90 c #Conflicts: 1560000 | #Constraints: 44169
3600.06/3610.90 c #Conflicts: 1561000 | #Constraints: 45169
3600.06/3610.90 c #Conflicts: 1562000 | #Constraints: 46169
3600.06/3610.90 c Program interrupted by user.
3600.06/3610.90 c cpu time 3587.32 s
3600.06/3610.90 c deterministic time 610776201353 6.11e+11
3600.06/3610.90 c optimization time 97.4994 s
3600.06/3610.90 c total solve time 3191.02 s
3600.06/3610.90 c core-guided solve time 0 s
3600.06/3610.90 c propagation time 2739.82 s
3600.06/3610.90 c conflict analysis time 491.603 s
3600.06/3610.90 c propagations 424963980
3600.06/3610.90 c resolve steps 11865040
3600.06/3610.90 c decisions 8519284
3600.06/3610.90 c conflicts 1562581
3600.06/3610.90 c restarts 3068
3600.06/3610.90 c inprocessing phases 115
3600.06/3610.90 c input clauses 63
3600.06/3610.90 c input cardinalities 63
3600.06/3610.90 c input general constraints 384
3600.06/3610.90 c input average constraint length 60.02
3600.06/3610.90 c input average constraint degree 534.86
3600.06/3610.90 c learned clauses 189949
3600.06/3610.90 c learned cardinalities 16634
3600.06/3610.90 c learned general constraints 1355997
3600.06/3610.90 c learned average constraint length 482.11
3600.06/3610.90 c learned average constraint degree 10613654.07
3600.06/3610.90 c watched constraints 1036234
3600.06/3610.90 c counting constraints 320147
3600.06/3610.90 c gcd simplifications 142096
3600.06/3610.90 c detected cardinalities 586
3600.06/3610.90 c weakened non-implied lits 123012833
3600.06/3610.90 c weakened non-implying lits 175295
3600.06/3610.90 c original variables 3216
3600.06/3610.90 c clausal propagations 2148380
3600.06/3610.90 c cardinality propagations 8147774
3600.06/3610.90 c watched propagations 21965111
3600.06/3610.90 c counting propagations 390762934
3600.06/3610.90 c watch lookups 46928877134
3600.06/3610.90 c watch backjump lookups 42947059040
3600.06/3610.90 c watch checks 443116016700
3600.06/3610.90 c propagation checks 74347911122
3600.06/3610.90 c constraint additions 2567810734
3600.06/3610.90 c trail pops 435043358
3600.06/3610.90 c formula constraints 510
3600.06/3610.90 c learned constraints 1562580
3600.06/3610.90 c bound constraints 0
3600.06/3610.90 c core-guided constraints 0
3600.06/3610.90 c encountered formula constraints 6231670
3600.06/3610.90 c encountered learned constraints 7195951
3600.06/3610.90 c encountered bound constraints 0
3600.06/3610.90 c encountered core-guided constraints 0
3600.06/3610.90 c LP total time 0 s
3600.06/3610.90 c LP solve time 0 s
3600.06/3610.90 c LP constraints added 0
3600.06/3610.90 c LP constraints removed 0
3600.06/3610.90 c LP pivots internal 0
3600.06/3610.90 c LP pivots root 0
3600.06/3610.90 c LP calls 0
3600.06/3610.90 c LP optimalities 0
3600.06/3610.90 c LP no pivot count 0
3600.06/3610.90 c LP infeasibilities 0
3600.06/3610.90 c LP valid Farkas constraints 0
3600.06/3610.90 c LP learned Farkas constraints 0
3600.06/3610.90 c LP basis resets 0
3600.06/3610.90 c LP cycling count 0
3600.06/3610.90 c LP singular count 0
3600.06/3610.90 c LP no primal count 0
3600.06/3610.90 c LP no farkas count 0
3600.06/3610.90 c LP other issue count 0
3600.06/3610.90 c LP Gomory cuts 0
3600.06/3610.90 c LP learned cuts 0
3600.06/3610.90 c LP deleted cuts 0
3600.06/3610.90 c LP encountered Gomory constraints 0
3600.06/3610.90 c LP encountered Farkas constraints 0
3600.06/3610.90 c LP encountered learned Farkas constraints 0
3600.06/3610.90 c CG auxiliary variables introduced 0
3600.06/3610.90 c CG solutions found 0
3600.06/3610.90 c CG cores constructed 0
3600.06/3610.90 c CG core cardinality constraints returned 0
3600.06/3610.90 c CG unit cores 0
3600.06/3610.90 c CG single cores 0
3600.06/3610.90 c CG blocks removed during cardinality reduction 0
3600.06/3610.90 c CG first core best 0
3600.06/3610.90 c CG decision core best 0
3600.06/3610.90 c CG core reduction tie 0
3600.06/3610.90 c CG core degree average 0.00
3600.06/3610.90 c CG core slack average 0.00
3600.06/3610.90 c CG exhausted 0
3600.06/3610.90 c CG exhaust time 0 s
3600.06/3610.90 c CG trimmed 0
3600.06/3610.90 c CG trim time 0 s
3600.06/3610.90 c CG minimized 0
3600.06/3610.90 c CG minimize time 0 s
3600.06/3610.90 c CG am1 prop time 0 s
3600.06/3610.90 c CG # am1s reformulated 0
3600.06/3610.90 c CG lower bound derived from am1s 0
3600.06/3610.90 c CG # clausal cores 0
3600.06/3610.90 c CG # cardinality cores 0
3600.06/3610.90 c CG # pb cores 0
3600.06/3610.90 c CG # pb reforms 0
3600.06/3610.90 c CG # cores discarded because of pb reform 0
3600.06/3610.90 d LOWERBOUND 0
3600.06/3610.90 d NCORES 0
3600.06/3610.90 d NPBCORES 0
3600.06/3610.90 d NPBREFORM 0
3600.06/3610.90 d NTRIMMED 0
3600.06/3610.90 d NEXHAUSTED 0
3600.06/3610.90 d NAM1S 0
3600.06/3610.90 d AM1LB 0
3600.06/3610.90 c [Papilo Statistics]
3600.06/3610.90 c prepro time 0.010181s
3600.06/3610.90 c # tsx applied 12
3600.06/3610.90 c # tsx conflicts 0
3600.06/3610.90 c # bound changes 6
3600.06/3610.90 c # side changes 0
3600.06/3610.90 c # coef changes 0
3600.06/3610.90 c # rounds 2
3600.06/3610.90 c # deted vars 6
3600.06/3610.90 c # deted constrs 3211
3600.06/3610.90 c # consecutive rounds of only bound changes 0
3600.06/3610.90 s UNKNOWN
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 (62535 MiB free)
memory of node 1: 64473 MiB (63207 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454859-1721472382/watcher-4454859-1721472382 -o /tmp/evaluation-result-4454859-1721472382/solver-4454859-1721472382 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048077 --watchdog 3760 mixed-bag HOME/instance-4454859-1721472382.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1050101, runsolver pid=1050098
[startup+0.10017 s]*
/proc/loadavg: 4.09 4.10 4.04 6/254 1050108
/proc/meminfo: memFree=128722816/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=109420 memory=41204 CPUtime=0.09 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 7366 0 0 0 8 1 0 0 20 0 1 0 199405214 112046080 10301 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 27355 10301 3783 3002 0 11104 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 109420 KiB
Current children cumulated memory: 41204 KiB
[startup+0.205533 s]*
/proc/loadavg: 4.09 4.10 4.04 5/254 1050108
/proc/meminfo: memFree=128677120/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=128316 memory=54048 CPUtime=0.2 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 10599 0 0 0 19 1 0 0 20 0 1 0 199405214 131395584 13512 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 32079 13512 3815 3002 0 15828 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128316 KiB
Current children cumulated memory: 54048 KiB
[startup+0.305415 s]*
/proc/loadavg: 4.09 4.10 4.04 5/254 1050108
/proc/meminfo: memFree=128666368/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=130352 memory=55896 CPUtime=0.29 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 11028 0 0 0 28 1 0 0 20 0 1 0 199405214 133480448 13974 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 32588 13974 3815 3002 0 16337 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 130352 KiB
Current children cumulated memory: 55896 KiB
[startup+0.700182 s]
/proc/loadavg: 4.09 4.10 4.04 5/254 1050108
/proc/meminfo: memFree=128626400/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=147312 memory=72840 CPUtime=0.69 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 15252 0 0 0 67 2 0 0 20 0 1 0 199405214 150847488 18210 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 36828 18210 3828 3002 0 20577 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 147312 KiB
Current children cumulated memory: 72840 KiB
[startup+1.5002 s]
/proc/loadavg: 4.09 4.10 4.04 5/254 1050108
/proc/meminfo: memFree=128585284/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=158812 memory=84268 CPUtime=1.48 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 18054 0 0 0 146 2 0 0 20 0 1 0 199405214 162623488 21067 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 39703 21067 3940 3002 0 23452 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 158812 KiB
Current children cumulated memory: 84268 KiB
[startup+3.10535 s]
/proc/loadavg: 4.16 4.12 4.04 5/254 1050154
/proc/meminfo: memFree=128677540/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=192652 memory=117556 CPUtime=3.08 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 27380 0 0 0 305 3 0 0 20 0 1 0 199405214 197275648 29389 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 48163 29389 4036 3002 0 31912 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192652 KiB
Current children cumulated memory: 117556 KiB
[startup+6.3002 s]
/proc/loadavg: 4.16 4.12 4.04 5/254 1050200
/proc/meminfo: memFree=128611644/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=201796 memory=127680 CPUtime=6.27 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 32351 0 0 0 623 4 0 0 20 0 1 0 199405214 206639104 31920 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 50449 31920 4036 3002 0 34198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201796 KiB
Current children cumulated memory: 127680 KiB
[startup+12.7002 s]
/proc/loadavg: 4.07 4.10 4.04 5/254 1050247
/proc/meminfo: memFree=128471984/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=209704 memory=135568 CPUtime=12.64 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 35288 0 0 0 1260 4 0 0 20 0 1 0 199405214 214736896 33892 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 52426 33892 4036 3002 0 36175 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 209704 KiB
Current children cumulated memory: 135568 KiB
[startup+25.5002 s]
/proc/loadavg: 4.06 4.10 4.04 5/254 1050249
/proc/meminfo: memFree=128420748/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=217620 memory=143384 CPUtime=25.4 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 41726 0 0 0 2534 6 0 0 20 0 1 0 199405214 222842880 35846 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 54405 35846 4036 3002 0 38154 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 217620 KiB
Current children cumulated memory: 143384 KiB
[startup+51.1054 s]
/proc/loadavg: 4.12 4.10 4.04 5/254 1050253
/proc/meminfo: memFree=128315372/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=238240 memory=163088 CPUtime=50.91 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 52964 0 0 0 5083 8 0 0 20 0 1 0 199405214 243957760 40772 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 59560 40772 4036 3002 0 43309 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 238240 KiB
Current children cumulated memory: 163088 KiB
[startup+102.3 s]
/proc/loadavg: 4.16 4.12 4.05 5/254 1050263
/proc/meminfo: memFree=128288968/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=238240 memory=163088 CPUtime=101.93 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 52985 0 0 0 10180 13 0 0 20 0 1 0 199405214 243957760 40772 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 59560 40772 4036 3002 0 43309 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 238240 KiB
Current children cumulated memory: 163088 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.05 5/254 1050273
/proc/meminfo: memFree=128223168/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=250084 memory=174728 CPUtime=161.7 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 57437 0 0 0 16154 16 0 0 20 0 1 0 199405214 256086016 43682 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 62521 43682 4036 3002 0 46270 0
Current children cumulated CPU time: 161.7 s
Current children cumulated vsize: 250084 KiB
Current children cumulated memory: 174728 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.13 4.06 5/256 1050287
/proc/meminfo: memFree=128174364/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=266260 memory=192104 CPUtime=221.5 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 62525 0 0 0 22130 20 0 0 20 0 1 0 199405214 272650240 48026 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 66565 48026 4036 3002 0 50314 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 266260 KiB
Current children cumulated memory: 192104 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.12 4.06 5/256 1050298
/proc/meminfo: memFree=128127764/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=269872 memory=195776 CPUtime=281.28 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 65126 0 0 0 28107 21 0 0 20 0 1 0 199405214 276348928 48944 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 67468 48944 4167 3002 0 51217 0
Current children cumulated CPU time: 281.28 s
Current children cumulated vsize: 269872 KiB
Current children cumulated memory: 195776 KiB
[startup+342.3 s]
/proc/loadavg: 4.09 4.11 4.06 5/256 1050353
/proc/meminfo: memFree=128206032/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=286760 memory=222132 CPUtime=341.09 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 67695 0 0 0 34029 80 0 0 20 0 1 0 199405214 293642240 55533 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 71690 55533 4231 3002 0 55439 0
Current children cumulated CPU time: 341.09 s
Current children cumulated vsize: 286760 KiB
Current children cumulated memory: 222132 KiB
[startup+402.3 s]
/proc/loadavg: 4.14 4.12 4.06 5/256 1050364
/proc/meminfo: memFree=128154960/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=305728 memory=235484 CPUtime=400.9 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 68370 0 0 0 39960 130 0 0 20 0 1 0 199405214 313065472 58871 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 76432 58871 4231 3002 0 60181 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 305728 KiB
Current children cumulated memory: 235484 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.07 5/256 1050375
/proc/meminfo: memFree=128133236/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=305728 memory=246408 CPUtime=460.72 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 68550 0 0 0 45898 174 0 0 20 0 1 0 199405214 313065472 61602 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 76432 61602 4231 3002 0 60181 0
################
# More data... #
################
Current children cumulated memory: 374348 KiB
[startup+2922.3 s]
/proc/loadavg: 4.10 4.14 4.13 5/256 1052042
/proc/meminfo: memFree=127048572/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=503168 memory=374520 CPUtime=2913.27 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 82078 0 0 0 290260 1067 0 0 20 0 1 0 199405214 515244032 93630 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 125792 93630 4231 3002 0 109541 0
Current children cumulated CPU time: 2913.27 s
Current children cumulated vsize: 503168 KiB
Current children cumulated memory: 374520 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.14 4.13 5/254 1052052
/proc/meminfo: memFree=127046532/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=505592 memory=376200 CPUtime=2973.11 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 82682 0 0 0 296228 1083 0 0 20 0 1 0 199405214 517726208 94050 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 126398 94050 4231 3002 0 110147 0
Current children cumulated CPU time: 2973.11 s
Current children cumulated vsize: 505592 KiB
Current children cumulated memory: 376200 KiB
[startup+3042.3 s]
/proc/loadavg: 4.05 4.11 4.12 5/254 1052062
/proc/meminfo: memFree=127043856/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=508000 memory=377748 CPUtime=3032.96 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 83326 0 0 0 302202 1094 0 0 20 0 1 0 199405214 520192000 94437 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 127000 94437 4231 3002 0 110749 0
Current children cumulated CPU time: 3032.96 s
Current children cumulated vsize: 508000 KiB
Current children cumulated memory: 377748 KiB
[startup+3102.3 s]
/proc/loadavg: 4.06 4.11 4.11 5/254 1052074
/proc/meminfo: memFree=127042600/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=508256 memory=378224 CPUtime=3092.8 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 83535 0 0 0 308168 1112 0 0 20 0 1 0 199405214 520454144 94556 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 127064 94556 4231 3002 0 110813 0
Current children cumulated CPU time: 3092.8 s
Current children cumulated vsize: 508256 KiB
Current children cumulated memory: 378224 KiB
[startup+3162.3 s]
/proc/loadavg: 4.12 4.12 4.11 5/254 1052084
/proc/meminfo: memFree=127035856/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=508516 memory=378376 CPUtime=3152.65 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 83761 0 0 0 314129 1136 0 0 20 0 1 0 199405214 520720384 94594 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 127129 94594 4231 3002 0 110878 0
Current children cumulated CPU time: 3152.65 s
Current children cumulated vsize: 508516 KiB
Current children cumulated memory: 378376 KiB
[startup+3222.3 s]
/proc/loadavg: 4.14 4.12 4.11 5/256 1052098
/proc/meminfo: memFree=127034052/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=509120 memory=378852 CPUtime=3212.48 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 84017 0 0 0 320094 1154 0 0 20 0 1 0 199405214 521338880 94713 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 127280 94713 4231 3002 0 111029 0
Current children cumulated CPU time: 3212.48 s
Current children cumulated vsize: 509120 KiB
Current children cumulated memory: 378852 KiB
[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.11 5/256 1052109
/proc/meminfo: memFree=127025524/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=510244 memory=385520 CPUtime=3272.32 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 84403 0 0 0 326057 1175 0 0 20 0 1 0 199405214 522489856 96380 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 127561 96380 4231 3002 0 111310 0
Current children cumulated CPU time: 3272.32 s
Current children cumulated vsize: 510244 KiB
Current children cumulated memory: 385520 KiB
[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/256 1052119
/proc/meminfo: memFree=127021580/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=511528 memory=388548 CPUtime=3332.16 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 84810 0 0 0 332021 1195 0 0 20 0 1 0 199405214 523804672 97137 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 127882 97137 4231 3002 0 111631 0
Current children cumulated CPU time: 3332.16 s
Current children cumulated vsize: 511528 KiB
Current children cumulated memory: 388548 KiB
[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/256 1052130
/proc/meminfo: memFree=127005488/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=511528 memory=388656 CPUtime=3392 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 84968 0 0 0 337987 1213 0 0 20 0 1 0 199405214 523804672 97164 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 127882 97164 4231 3002 0 111631 0
Current children cumulated CPU time: 3392 s
Current children cumulated vsize: 511528 KiB
Current children cumulated memory: 388656 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/256 1052141
/proc/meminfo: memFree=126962400/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=512780 memory=389648 CPUtime=3451.84 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 85390 0 0 0 343953 1231 0 0 20 0 1 0 199405214 525086720 97412 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 128195 97412 4231 3002 0 111944 0
Current children cumulated CPU time: 3451.84 s
Current children cumulated vsize: 512780 KiB
Current children cumulated memory: 389648 KiB
[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/256 1052151
/proc/meminfo: memFree=126961264/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=513232 memory=390072 CPUtime=3511.68 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 85661 0 0 0 349916 1252 0 0 20 0 1 0 199405214 525549568 97518 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 128308 97518 4231 3002 0 112057 0
Current children cumulated CPU time: 3511.68 s
Current children cumulated vsize: 513232 KiB
Current children cumulated memory: 390072 KiB
[startup+3582.3 s]
/proc/loadavg: 4.28 4.15 4.10 5/257 1052166
/proc/meminfo: memFree=126922968/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=519040 memory=393368 CPUtime=3571.53 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 86664 0 0 0 355883 1270 0 0 20 0 1 0 199405214 531496960 98342 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 129760 98342 4231 3002 0 113509 0
Current children cumulated CPU time: 3571.53 s
Current children cumulated vsize: 519040 KiB
Current children cumulated memory: 393368 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3610.9 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 1052170
/proc/meminfo: memFree=126900964/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=526720 memory=398188 CPUtime=3600.06 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 87944 0 0 0 358732 1274 0 0 20 0 1 0 199405214 539361280 99547 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 131680 99547 4231 3002 0 115429 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 526720 KiB
Current children cumulated memory: 398188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3610.91 s]
# the end of solver process 1050101 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.33 s, system=12.7445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3610.9 s]
/proc/loadavg: 4.17 4.14 4.10 5/257 1052170
/proc/meminfo: memFree=126900964/131524600 swapFree=131071996/131071996
[pid=1050101] ppid=1050098 vsize=526720 memory=398188 CPUtime=3600.06 cores=5,7
/proc/1050101/stat : 1050101 (mixed-bag) R 1050098 1050101 1048064 0 -1 4194304 87944 0 0 0 358732 1274 0 0 20 0 1 0 199405214 539361280 99547 134679101440 4194304 16488053 140724556445232 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18731784 18742840 32804864 140724556448789 140724556448866 140724556448866 140724556455883 0
/proc/1050101/statm: 131680 99547 4231 3002 0 115429 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 526720 KiB
Current children cumulated memory: 398188 KiB
Child status: 0
Real time (s): 3610.91
CPU time (s): 3600.07
CPU user time (s): 3587.33
CPU system time (s): 12.7445
CPU usage (%): 99.6999
Max. virtual memory (cumulated for all children) (KiB): 526720
Max. memory (cumulated for all children) (KiB): 398188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.33
system time used= 12.7445
maximum resident set size= 398188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87961
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= 113
involuntary context switches= 3232
# summary of solver processes directly reported to runsolver:
# pid: 1050101
# total CPU time (s): 3600.07
# total CPU user time (s): 3587.33
# total CPU system time (s): 12.7445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.74319 second user time and 16.559 second system time
The end
Begin job on nodeC028 at 2024-07-20 12:46:34
IDJOB=4454859
IDBENCH=148772
IDSOLVER=3083
FILE ID=nodeC028/4454859-1721472382
RUNJOBID= nodeC028-1721468784-1048077
SLURM_JOB_ID= 7545726
Free space on /tmp= 890036 MiB
SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454859-1721472382/watcher-4454859-1721472382 -o /tmp/evaluation-result-4454859-1721472382/solver-4454859-1721472382 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721468784-1048077 --watchdog 3760 mixed-bag HOME/instance-4454859-1721472382.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1895627207
nodeC028.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 : 3667.343
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.56
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 : 3671.219
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt 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.59
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 : 3608.055
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.56
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.022
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.59
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 : 3664.037
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.56
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 : 3667.171
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.59
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 : 3661.708
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.56
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 : 3666.422
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.59
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128767008 kB
MemAvailable: 129433864 kB
Buffers: 554656 kB
Cached: 960916 kB
SwapCached: 0 kB
Active: 1099072 kB
Inactive: 1058832 kB
Active(anon): 1544 kB
Inactive(anon): 686712 kB
Active(file): 1097528 kB
Inactive(file): 372120 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 49880 kB
Writeback: 0 kB
AnonPages: 637632 kB
Mapped: 130072 kB
Shmem: 45912 kB
KReclaimable: 74060 kB
Slab: 182172 kB
SReclaimable: 74060 kB
SUnreclaim: 108112 kB
KernelStack: 4036 kB
PageTables: 10760 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 1070648 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 66336 kB
HardwareCorrupted: 0 kB
AnonHugePages: 452608 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: 197332 kB
DirectMap2M: 20547584 kB
DirectMap1G: 115343360 kB
Free space on /tmp at the end= 889996 MiB
End job on nodeC028 at 2024-07-20 13:46:45