0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
299.13/300.09 c [STEP] preprocessing done, loading into solver
299.13/300.10 c [STEP] solving
299.13/300.10 c #variables 3211 #constraints 510
334.54/335.56 c #Conflicts: 1000 | #Constraints: 1509
334.54/335.56 c #Conflicts: 2000 | #Constraints: 2509
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 3000 | #Constraints: 2522
334.54/335.56 c #Conflicts: 4000 | #Constraints: 3522
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 5000 | #Constraints: 2933
334.54/335.56 c #Conflicts: 6000 | #Constraints: 3933
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 7000 | #Constraints: 2944
334.54/335.56 c #Conflicts: 8000 | #Constraints: 3944
334.54/335.56 c #Conflicts: 9000 | #Constraints: 4944
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 10000 | #Constraints: 3638
334.54/335.56 c #Conflicts: 11000 | #Constraints: 4638
334.54/335.56 c #Conflicts: 12000 | #Constraints: 5638
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 13000 | #Constraints: 4084
334.54/335.56 c #Conflicts: 14000 | #Constraints: 5084
334.54/335.56 c #Conflicts: 15000 | #Constraints: 6084
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 16000 | #Constraints: 4308
334.54/335.56 c #Conflicts: 17000 | #Constraints: 5308
334.54/335.56 c #Conflicts: 18000 | #Constraints: 6308
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 19000 | #Constraints: 4328
334.54/335.56 c #Conflicts: 20000 | #Constraints: 5328
334.54/335.56 c #Conflicts: 21000 | #Constraints: 6328
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 22000 | #Constraints: 4129
334.54/335.56 c #Conflicts: 23000 | #Constraints: 5129
334.54/335.56 c #Conflicts: 24000 | #Constraints: 6129
334.54/335.56 c #Conflicts: 25000 | #Constraints: 7129
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 26000 | #Constraints: 4732
334.54/335.56 c #Conflicts: 27000 | #Constraints: 5732
334.54/335.56 c #Conflicts: 28000 | #Constraints: 6732
334.54/335.56 c #Conflicts: 29000 | #Constraints: 7732
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 30000 | #Constraints: 5130
334.54/335.56 c #Conflicts: 31000 | #Constraints: 6130
334.54/335.56 c #Conflicts: 32000 | #Constraints: 7130
334.54/335.56 c #Conflicts: 33000 | #Constraints: 8130
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 34000 | #Constraints: 5339
334.54/335.56 c #Conflicts: 35000 | #Constraints: 6339
334.54/335.56 c #Conflicts: 36000 | #Constraints: 7339
334.54/335.56 c #Conflicts: 37000 | #Constraints: 8339
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 38000 | #Constraints: 5344
334.54/335.56 c #Conflicts: 39000 | #Constraints: 6344
334.54/335.56 c #Conflicts: 40000 | #Constraints: 7344
334.54/335.56 c #Conflicts: 41000 | #Constraints: 8344
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 42000 | #Constraints: 5155
334.54/335.56 c #Conflicts: 43000 | #Constraints: 6155
334.54/335.56 c #Conflicts: 44000 | #Constraints: 7155
334.54/335.56 c #Conflicts: 45000 | #Constraints: 8155
334.54/335.56 c #Conflicts: 46000 | #Constraints: 9155
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 47000 | #Constraints: 5749
334.54/335.56 c #Conflicts: 48000 | #Constraints: 6749
334.54/335.56 c #Conflicts: 49000 | #Constraints: 7749
334.54/335.56 c #Conflicts: 50000 | #Constraints: 8749
334.54/335.56 c #Conflicts: 51000 | #Constraints: 9749
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 52000 | #Constraints: 6150
334.54/335.56 c #Conflicts: 53000 | #Constraints: 7150
334.54/335.56 c #Conflicts: 54000 | #Constraints: 8150
334.54/335.56 c #Conflicts: 55000 | #Constraints: 9150
334.54/335.56 c #Conflicts: 56000 | #Constraints: 10150
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 57000 | #Constraints: 6350
334.54/335.56 c #Conflicts: 58000 | #Constraints: 7350
334.54/335.56 c #Conflicts: 59000 | #Constraints: 8350
334.54/335.56 c #Conflicts: 60000 | #Constraints: 9350
334.54/335.56 c #Conflicts: 61000 | #Constraints: 10350
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 62000 | #Constraints: 6340
334.54/335.56 c #Conflicts: 63000 | #Constraints: 7340
334.54/335.56 c #Conflicts: 64000 | #Constraints: 8340
334.54/335.56 c #Conflicts: 65000 | #Constraints: 9340
334.54/335.56 c #Conflicts: 66000 | #Constraints: 10340
334.54/335.56 c INPROCESSING
334.54/335.56 c GARBAGE COLLECT
334.54/335.56 c #Conflicts: 67000 | #Constraints: 6138
334.54/335.56 c #Conflicts: 68000 | #Constraints: 7138
398.27/399.43 c #Conflicts: 69000 | #Constraints: 8138
398.27/399.43 c #Conflicts: 70000 | #Constraints: 9138
398.27/399.43 c #Conflicts: 71000 | #Constraints: 10138
398.27/399.43 c #Conflicts: 72000 | #Constraints: 11138
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 73000 | #Constraints: 6729
398.27/399.43 c #Conflicts: 74000 | #Constraints: 7729
398.27/399.43 c #Conflicts: 75000 | #Constraints: 8729
398.27/399.43 c #Conflicts: 76000 | #Constraints: 9729
398.27/399.43 c #Conflicts: 77000 | #Constraints: 10729
398.27/399.43 c #Conflicts: 78000 | #Constraints: 11729
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 79000 | #Constraints: 7144
398.27/399.43 c #Conflicts: 80000 | #Constraints: 8144
398.27/399.43 c #Conflicts: 81000 | #Constraints: 9144
398.27/399.43 c #Conflicts: 82000 | #Constraints: 10144
398.27/399.43 c #Conflicts: 83000 | #Constraints: 11144
398.27/399.43 c #Conflicts: 84000 | #Constraints: 12144
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 85000 | #Constraints: 7349
398.27/399.43 c #Conflicts: 86000 | #Constraints: 8349
398.27/399.43 c #Conflicts: 87000 | #Constraints: 9349
398.27/399.43 c #Conflicts: 88000 | #Constraints: 10349
398.27/399.43 c #Conflicts: 89000 | #Constraints: 11349
398.27/399.43 c #Conflicts: 90000 | #Constraints: 12349
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 91000 | #Constraints: 7349
398.27/399.43 c #Conflicts: 92000 | #Constraints: 8349
398.27/399.43 c #Conflicts: 93000 | #Constraints: 9349
398.27/399.43 c #Conflicts: 94000 | #Constraints: 10349
398.27/399.43 c #Conflicts: 95000 | #Constraints: 11349
398.27/399.43 c #Conflicts: 96000 | #Constraints: 12349
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 97000 | #Constraints: 7163
398.27/399.43 c #Conflicts: 98000 | #Constraints: 8163
398.27/399.43 c #Conflicts: 99000 | #Constraints: 9163
398.27/399.43 c #Conflicts: 100000 | #Constraints: 10163
398.27/399.43 c #Conflicts: 101000 | #Constraints: 11163
398.27/399.43 c #Conflicts: 102000 | #Constraints: 12163
398.27/399.43 c #Conflicts: 103000 | #Constraints: 13163
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 104000 | #Constraints: 7753
398.27/399.43 c #Conflicts: 105000 | #Constraints: 8753
398.27/399.43 c #Conflicts: 106000 | #Constraints: 9753
398.27/399.43 c #Conflicts: 107000 | #Constraints: 10753
398.27/399.43 c #Conflicts: 108000 | #Constraints: 11753
398.27/399.43 c #Conflicts: 109000 | #Constraints: 12753
398.27/399.43 c #Conflicts: 110000 | #Constraints: 13753
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 111000 | #Constraints: 8152
398.27/399.43 c #Conflicts: 112000 | #Constraints: 9152
398.27/399.43 c #Conflicts: 113000 | #Constraints: 10152
398.27/399.43 c #Conflicts: 114000 | #Constraints: 11152
398.27/399.43 c #Conflicts: 115000 | #Constraints: 12152
398.27/399.43 c #Conflicts: 116000 | #Constraints: 13152
398.27/399.43 c #Conflicts: 117000 | #Constraints: 14152
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 118000 | #Constraints: 8345
398.27/399.43 c #Conflicts: 119000 | #Constraints: 9345
398.27/399.43 c #Conflicts: 120000 | #Constraints: 10345
398.27/399.43 c #Conflicts: 121000 | #Constraints: 11345
398.27/399.43 c #Conflicts: 122000 | #Constraints: 12345
398.27/399.43 c #Conflicts: 123000 | #Constraints: 13345
398.27/399.43 c #Conflicts: 124000 | #Constraints: 14345
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 125000 | #Constraints: 8350
398.27/399.43 c #Conflicts: 126000 | #Constraints: 9350
398.27/399.43 c #Conflicts: 127000 | #Constraints: 10350
398.27/399.43 c #Conflicts: 128000 | #Constraints: 11350
398.27/399.43 c #Conflicts: 129000 | #Constraints: 12350
398.27/399.43 c #Conflicts: 130000 | #Constraints: 13350
398.27/399.43 c #Conflicts: 131000 | #Constraints: 14350
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 132000 | #Constraints: 8143
398.27/399.43 c #Conflicts: 133000 | #Constraints: 9143
398.27/399.43 c #Conflicts: 134000 | #Constraints: 10143
398.27/399.43 c #Conflicts: 135000 | #Constraints: 11143
398.27/399.43 c #Conflicts: 136000 | #Constraints: 12143
398.27/399.43 c #Conflicts: 137000 | #Constraints: 13143
398.27/399.43 c #Conflicts: 138000 | #Constraints: 14143
398.27/399.43 c #Conflicts: 139000 | #Constraints: 15143
398.27/399.43 c INPROCESSING
398.27/399.43 c GARBAGE COLLECT
398.27/399.43 c #Conflicts: 140000 | #Constraints: 8754
492.41/493.82 c #Conflicts: 141000 | #Constraints: 9754
492.41/493.82 c #Conflicts: 142000 | #Constraints: 10754
492.41/493.82 c #Conflicts: 143000 | #Constraints: 11754
492.41/493.82 c #Conflicts: 144000 | #Constraints: 12754
492.41/493.82 c #Conflicts: 145000 | #Constraints: 13754
492.41/493.82 c #Conflicts: 146000 | #Constraints: 14754
492.41/493.82 c #Conflicts: 147000 | #Constraints: 15754
492.41/493.82 c INPROCESSING
492.41/493.82 c GARBAGE COLLECT
492.41/493.82 c #Conflicts: 148000 | #Constraints: 9180
492.41/493.82 c #Conflicts: 149000 | #Constraints: 10180
492.41/493.82 c #Conflicts: 150000 | #Constraints: 11180
492.41/493.82 c #Conflicts: 151000 | #Constraints: 12180
492.41/493.82 c #Conflicts: 152000 | #Constraints: 13180
492.41/493.82 c #Conflicts: 153000 | #Constraints: 14180
492.41/493.82 c #Conflicts: 154000 | #Constraints: 15180
492.41/493.82 c #Conflicts: 155000 | #Constraints: 16180
492.41/493.82 c INPROCESSING
492.41/493.82 c GARBAGE COLLECT
492.41/493.82 c #Conflicts: 156000 | #Constraints: 9365
492.41/493.82 c #Conflicts: 157000 | #Constraints: 10365
492.41/493.82 c #Conflicts: 158000 | #Constraints: 11365
492.41/493.82 c #Conflicts: 159000 | #Constraints: 12365
492.41/493.82 c #Conflicts: 160000 | #Constraints: 13365
492.41/493.82 c #Conflicts: 161000 | #Constraints: 14365
492.41/493.82 c #Conflicts: 162000 | #Constraints: 15365
492.41/493.82 c #Conflicts: 163000 | #Constraints: 16365
492.41/493.82 c INPROCESSING
492.41/493.82 c GARBAGE COLLECT
492.41/493.82 c #Conflicts: 164000 | #Constraints: 9355
492.41/493.82 c #Conflicts: 165000 | #Constraints: 10355
492.41/493.82 c #Conflicts: 166000 | #Constraints: 11355
492.41/493.82 c #Conflicts: 167000 | #Constraints: 12355
492.41/493.82 c #Conflicts: 168000 | #Constraints: 13355
492.41/493.82 c #Conflicts: 169000 | #Constraints: 14355
492.41/493.82 c #Conflicts: 170000 | #Constraints: 15355
492.41/493.82 c #Conflicts: 171000 | #Constraints: 16355
492.41/493.82 c INPROCESSING
492.41/493.82 c GARBAGE COLLECT
492.41/493.82 c #Conflicts: 172000 | #Constraints: 9147
492.41/493.82 c #Conflicts: 173000 | #Constraints: 10147
492.41/493.82 c #Conflicts: 174000 | #Constraints: 11147
492.41/493.82 c #Conflicts: 175000 | #Constraints: 12147
492.41/493.82 c #Conflicts: 176000 | #Constraints: 13147
492.41/493.82 c #Conflicts: 177000 | #Constraints: 14147
492.41/493.82 c #Conflicts: 178000 | #Constraints: 15147
492.41/493.82 c #Conflicts: 179000 | #Constraints: 16147
492.41/493.82 c #Conflicts: 180000 | #Constraints: 17147
492.41/493.82 c INPROCESSING
492.41/493.82 c GARBAGE COLLECT
492.41/493.82 c #Conflicts: 181000 | #Constraints: 9752
492.41/493.82 c #Conflicts: 182000 | #Constraints: 10752
492.41/493.82 c #Conflicts: 183000 | #Constraints: 11752
492.41/493.82 c #Conflicts: 184000 | #Constraints: 12752
492.41/493.82 c #Conflicts: 185000 | #Constraints: 13752
492.41/493.82 c #Conflicts: 186000 | #Constraints: 14752
492.41/493.82 c #Conflicts: 187000 | #Constraints: 15752
492.41/493.82 c #Conflicts: 188000 | #Constraints: 16752
492.41/493.82 c #Conflicts: 189000 | #Constraints: 17752
492.41/493.82 c INPROCESSING
492.41/493.82 c GARBAGE COLLECT
492.41/493.82 c #Conflicts: 190000 | #Constraints: 10171
492.41/493.82 c #Conflicts: 191000 | #Constraints: 11171
492.41/493.82 c #Conflicts: 192000 | #Constraints: 12171
492.41/493.82 c #Conflicts: 193000 | #Constraints: 13171
492.41/493.82 c #Conflicts: 194000 | #Constraints: 14171
492.41/493.82 c #Conflicts: 195000 | #Constraints: 15171
492.41/493.82 c #Conflicts: 196000 | #Constraints: 16171
492.41/493.82 c #Conflicts: 197000 | #Constraints: 17171
492.41/493.82 c #Conflicts: 198000 | #Constraints: 18171
492.41/493.82 c INPROCESSING
492.41/493.82 c GARBAGE COLLECT
492.41/493.82 c #Conflicts: 199000 | #Constraints: 10379
492.41/493.82 c #Conflicts: 200000 | #Constraints: 11379
492.41/493.82 c #Conflicts: 201000 | #Constraints: 12379
492.41/493.82 c #Conflicts: 202000 | #Constraints: 13379
492.41/493.82 c #Conflicts: 203000 | #Constraints: 14379
492.41/493.82 c #Conflicts: 204000 | #Constraints: 15379
492.41/493.82 c #Conflicts: 205000 | #Constraints: 16379
492.41/493.82 c #Conflicts: 206000 | #Constraints: 17379
492.41/493.82 c #Conflicts: 207000 | #Constraints: 18379
492.41/493.82 c INPROCESSING
492.41/493.82 c GARBAGE COLLECT
492.41/493.82 c #Conflicts: 208000 | #Constraints: 10405
492.41/493.82 c #Conflicts: 209000 | #Constraints: 11405
492.41/493.82 c #Conflicts: 210000 | #Constraints: 12405
492.41/493.82 c #Conflicts: 211000 | #Constraints: 13405
492.41/493.82 c #Conflicts: 212000 | #Constraints: 14405
492.41/493.82 c #Conflicts: 213000 | #Constraints: 15405
585.64/587.37 c #Conflicts: 214000 | #Constraints: 16405
585.64/587.37 c #Conflicts: 215000 | #Constraints: 17405
585.64/587.37 c #Conflicts: 216000 | #Constraints: 18405
585.64/587.37 c INPROCESSING
585.64/587.37 c GARBAGE COLLECT
585.64/587.37 c #Conflicts: 217000 | #Constraints: 10229
585.64/587.37 c #Conflicts: 218000 | #Constraints: 11229
585.64/587.37 c #Conflicts: 219000 | #Constraints: 12229
585.64/587.37 c #Conflicts: 220000 | #Constraints: 13229
585.64/587.37 c #Conflicts: 221000 | #Constraints: 14229
585.64/587.37 c #Conflicts: 222000 | #Constraints: 15229
585.64/587.37 c #Conflicts: 223000 | #Constraints: 16229
585.64/587.37 c #Conflicts: 224000 | #Constraints: 17229
585.64/587.37 c #Conflicts: 225000 | #Constraints: 18229
585.64/587.37 c #Conflicts: 226000 | #Constraints: 19229
585.64/587.37 c INPROCESSING
585.64/587.37 c GARBAGE COLLECT
585.64/587.37 c #Conflicts: 227000 | #Constraints: 10873
585.64/587.37 c #Conflicts: 228000 | #Constraints: 11873
585.64/587.37 c #Conflicts: 229000 | #Constraints: 12873
585.64/587.37 c #Conflicts: 230000 | #Constraints: 13873
585.64/587.37 c #Conflicts: 231000 | #Constraints: 14873
585.64/587.37 c #Conflicts: 232000 | #Constraints: 15873
585.64/587.37 c #Conflicts: 233000 | #Constraints: 16873
585.64/587.37 c #Conflicts: 234000 | #Constraints: 17873
585.64/587.37 c #Conflicts: 235000 | #Constraints: 18873
585.64/587.37 c #Conflicts: 236000 | #Constraints: 19873
585.64/587.37 c INPROCESSING
585.64/587.37 c GARBAGE COLLECT
585.64/587.37 c #Conflicts: 237000 | #Constraints: 11211
585.64/587.37 c #Conflicts: 238000 | #Constraints: 12211
585.64/587.37 c #Conflicts: 239000 | #Constraints: 13211
585.64/587.37 c #Conflicts: 240000 | #Constraints: 14211
585.64/587.37 c #Conflicts: 241000 | #Constraints: 15211
585.64/587.37 c #Conflicts: 242000 | #Constraints: 16211
585.64/587.37 c #Conflicts: 243000 | #Constraints: 17211
585.64/587.37 c #Conflicts: 244000 | #Constraints: 18211
585.64/587.37 c #Conflicts: 245000 | #Constraints: 19211
585.64/587.37 c #Conflicts: 246000 | #Constraints: 20211
585.64/587.37 c INPROCESSING
585.64/587.37 c GARBAGE COLLECT
585.64/587.37 c #Conflicts: 247000 | #Constraints: 11382
585.64/587.37 c #Conflicts: 248000 | #Constraints: 12382
585.64/587.37 c #Conflicts: 249000 | #Constraints: 13382
585.64/587.37 c #Conflicts: 250000 | #Constraints: 14382
585.64/587.37 c #Conflicts: 251000 | #Constraints: 15382
585.64/587.37 c #Conflicts: 252000 | #Constraints: 16382
585.64/587.37 c #Conflicts: 253000 | #Constraints: 17382
585.64/587.37 c #Conflicts: 254000 | #Constraints: 18382
585.64/587.37 c #Conflicts: 255000 | #Constraints: 19382
585.64/587.37 c #Conflicts: 256000 | #Constraints: 20382
585.64/587.37 c INPROCESSING
585.64/587.37 c GARBAGE COLLECT
585.64/587.37 c #Conflicts: 257000 | #Constraints: 11365
585.64/587.37 c #Conflicts: 258000 | #Constraints: 12365
585.64/587.37 c #Conflicts: 259000 | #Constraints: 13365
585.64/587.37 c #Conflicts: 260000 | #Constraints: 14365
585.64/587.37 c #Conflicts: 261000 | #Constraints: 15365
585.64/587.37 c #Conflicts: 262000 | #Constraints: 16365
585.64/587.37 c #Conflicts: 263000 | #Constraints: 17365
585.64/587.37 c #Conflicts: 264000 | #Constraints: 18365
585.64/587.37 c #Conflicts: 265000 | #Constraints: 19365
585.64/587.37 c #Conflicts: 266000 | #Constraints: 20365
585.64/587.37 c INPROCESSING
585.64/587.37 c GARBAGE COLLECT
585.64/587.37 c #Conflicts: 267000 | #Constraints: 11172
585.64/587.37 c #Conflicts: 268000 | #Constraints: 12172
585.64/587.37 c #Conflicts: 269000 | #Constraints: 13172
585.64/587.37 c #Conflicts: 270000 | #Constraints: 14172
585.64/587.37 c #Conflicts: 271000 | #Constraints: 15172
585.64/587.37 c #Conflicts: 272000 | #Constraints: 16172
585.64/587.37 c #Conflicts: 273000 | #Constraints: 17172
585.64/587.37 c #Conflicts: 274000 | #Constraints: 18172
585.64/587.37 c #Conflicts: 275000 | #Constraints: 19172
585.64/587.37 c #Conflicts: 276000 | #Constraints: 20172
585.64/587.37 c #Conflicts: 277000 | #Constraints: 21172
585.64/587.37 c INPROCESSING
585.64/587.37 c GARBAGE COLLECT
585.64/587.37 c #Conflicts: 278000 | #Constraints: 11758
585.64/587.37 c #Conflicts: 279000 | #Constraints: 12758
585.64/587.37 c #Conflicts: 280000 | #Constraints: 13758
585.64/587.37 c #Conflicts: 281000 | #Constraints: 14758
585.64/587.37 c #Conflicts: 282000 | #Constraints: 15758
585.64/587.37 c #Conflicts: 283000 | #Constraints: 16758
585.64/587.37 c #Conflicts: 284000 | #Constraints: 17758
585.64/587.37 c #Conflicts: 285000 | #Constraints: 18758
585.64/587.37 c #Conflicts: 286000 | #Constraints: 19758
585.64/587.37 c #Conflicts: 287000 | #Constraints: 20758
585.64/587.37 c #Conflicts: 288000 | #Constraints: 21758
681.28/683.21 c INPROCESSING
681.28/683.21 c GARBAGE COLLECT
681.28/683.21 c #Conflicts: 289000 | #Constraints: 12150
681.28/683.21 c #Conflicts: 290000 | #Constraints: 13150
681.28/683.21 c #Conflicts: 291000 | #Constraints: 14150
681.28/683.21 c #Conflicts: 292000 | #Constraints: 15150
681.28/683.21 c #Conflicts: 293000 | #Constraints: 16150
681.28/683.21 c #Conflicts: 294000 | #Constraints: 17150
681.28/683.21 c #Conflicts: 295000 | #Constraints: 18150
681.28/683.21 c #Conflicts: 296000 | #Constraints: 19150
681.28/683.21 c #Conflicts: 297000 | #Constraints: 20150
681.28/683.21 c #Conflicts: 298000 | #Constraints: 21150
681.28/683.21 c #Conflicts: 299000 | #Constraints: 22150
681.28/683.21 c INPROCESSING
681.28/683.21 c GARBAGE COLLECT
681.28/683.21 c #Conflicts: 300000 | #Constraints: 12350
681.28/683.21 c #Conflicts: 301000 | #Constraints: 13350
681.28/683.21 c #Conflicts: 302000 | #Constraints: 14350
681.28/683.21 c #Conflicts: 303000 | #Constraints: 15350
681.28/683.21 c #Conflicts: 304000 | #Constraints: 16350
681.28/683.21 c #Conflicts: 305000 | #Constraints: 17350
681.28/683.21 c #Conflicts: 306000 | #Constraints: 18350
681.28/683.21 c #Conflicts: 307000 | #Constraints: 19350
681.28/683.21 c #Conflicts: 308000 | #Constraints: 20350
681.28/683.21 c #Conflicts: 309000 | #Constraints: 21350
681.28/683.21 c #Conflicts: 310000 | #Constraints: 22350
681.28/683.21 c INPROCESSING
681.28/683.21 c GARBAGE COLLECT
681.28/683.21 c #Conflicts: 311000 | #Constraints: 12352
681.28/683.21 c #Conflicts: 312000 | #Constraints: 13352
681.28/683.21 c #Conflicts: 313000 | #Constraints: 14352
681.28/683.21 c #Conflicts: 314000 | #Constraints: 15352
681.28/683.21 c #Conflicts: 315000 | #Constraints: 16352
681.28/683.21 c #Conflicts: 316000 | #Constraints: 17352
681.28/683.21 c #Conflicts: 317000 | #Constraints: 18352
681.28/683.21 c #Conflicts: 318000 | #Constraints: 19352
681.28/683.21 c #Conflicts: 319000 | #Constraints: 20352
681.28/683.21 c #Conflicts: 320000 | #Constraints: 21352
681.28/683.21 c #Conflicts: 321000 | #Constraints: 22352
681.28/683.21 c INPROCESSING
681.28/683.21 c GARBAGE COLLECT
681.28/683.21 c #Conflicts: 322000 | #Constraints: 12157
681.28/683.21 c #Conflicts: 323000 | #Constraints: 13157
681.28/683.21 c #Conflicts: 324000 | #Constraints: 14157
681.28/683.21 c #Conflicts: 325000 | #Constraints: 15157
681.28/683.21 c #Conflicts: 326000 | #Constraints: 16157
681.28/683.21 c #Conflicts: 327000 | #Constraints: 17157
681.28/683.21 c #Conflicts: 328000 | #Constraints: 18157
681.28/683.21 c #Conflicts: 329000 | #Constraints: 19157
681.28/683.21 c #Conflicts: 330000 | #Constraints: 20157
681.28/683.21 c #Conflicts: 331000 | #Constraints: 21157
681.28/683.21 c #Conflicts: 332000 | #Constraints: 22157
681.28/683.21 c #Conflicts: 333000 | #Constraints: 23157
681.28/683.21 c INPROCESSING
681.28/683.21 c GARBAGE COLLECT
681.28/683.21 c #Conflicts: 334000 | #Constraints: 12755
681.28/683.21 c #Conflicts: 335000 | #Constraints: 13755
681.28/683.21 c #Conflicts: 336000 | #Constraints: 14755
681.28/683.21 c #Conflicts: 337000 | #Constraints: 15755
681.28/683.21 c #Conflicts: 338000 | #Constraints: 16755
681.28/683.21 c #Conflicts: 339000 | #Constraints: 17755
681.28/683.21 c #Conflicts: 340000 | #Constraints: 18755
681.28/683.21 c #Conflicts: 341000 | #Constraints: 19755
681.28/683.21 c #Conflicts: 342000 | #Constraints: 20755
681.28/683.21 c #Conflicts: 343000 | #Constraints: 21755
681.28/683.21 c #Conflicts: 344000 | #Constraints: 22755
681.28/683.21 c #Conflicts: 345000 | #Constraints: 23755
681.28/683.21 c INPROCESSING
681.28/683.21 c GARBAGE COLLECT
681.28/683.21 c #Conflicts: 346000 | #Constraints: 13145
681.28/683.21 c #Conflicts: 347000 | #Constraints: 14145
681.28/683.21 c #Conflicts: 348000 | #Constraints: 15145
681.28/683.21 c #Conflicts: 349000 | #Constraints: 16145
681.28/683.21 c #Conflicts: 350000 | #Constraints: 17145
681.28/683.21 c #Conflicts: 351000 | #Constraints: 18145
681.28/683.21 c #Conflicts: 352000 | #Constraints: 19145
681.28/683.21 c #Conflicts: 353000 | #Constraints: 20145
681.28/683.21 c #Conflicts: 354000 | #Constraints: 21145
681.28/683.21 c #Conflicts: 355000 | #Constraints: 22145
681.28/683.21 c #Conflicts: 356000 | #Constraints: 23145
681.28/683.21 c #Conflicts: 357000 | #Constraints: 24145
681.28/683.21 c INPROCESSING
681.28/683.21 c GARBAGE COLLECT
681.28/683.21 c #Conflicts: 358000 | #Constraints: 13340
681.28/683.21 c #Conflicts: 359000 | #Constraints: 14340
681.28/683.21 c #Conflicts: 360000 | #Constraints: 15340
681.28/683.21 c #Conflicts: 361000 | #Constraints: 16340
681.28/683.21 c #Conflicts: 362000 | #Constraints: 17340
763.66/765.86 c #Conflicts: 363000 | #Constraints: 18340
763.66/765.86 c #Conflicts: 364000 | #Constraints: 19340
763.66/765.86 c #Conflicts: 365000 | #Constraints: 20340
763.66/765.86 c #Conflicts: 366000 | #Constraints: 21340
763.66/765.86 c #Conflicts: 367000 | #Constraints: 22340
763.66/765.86 c #Conflicts: 368000 | #Constraints: 23340
763.66/765.86 c #Conflicts: 369000 | #Constraints: 24340
763.66/765.86 c INPROCESSING
763.66/765.86 c GARBAGE COLLECT
763.66/765.86 c #Conflicts: 370000 | #Constraints: 13363
763.66/765.86 c #Conflicts: 371000 | #Constraints: 14363
763.66/765.86 c #Conflicts: 372000 | #Constraints: 15363
763.66/765.86 c #Conflicts: 373000 | #Constraints: 16363
763.66/765.86 c #Conflicts: 374000 | #Constraints: 17363
763.66/765.86 c #Conflicts: 375000 | #Constraints: 18363
763.66/765.86 c #Conflicts: 376000 | #Constraints: 19363
763.66/765.86 c #Conflicts: 377000 | #Constraints: 20363
763.66/765.86 c #Conflicts: 378000 | #Constraints: 21363
763.66/765.86 c #Conflicts: 379000 | #Constraints: 22363
763.66/765.86 c #Conflicts: 380000 | #Constraints: 23363
763.66/765.86 c #Conflicts: 381000 | #Constraints: 24363
763.66/765.86 c INPROCESSING
763.66/765.86 c GARBAGE COLLECT
763.66/765.86 c #Conflicts: 382000 | #Constraints: 13153
763.66/765.86 c #Conflicts: 383000 | #Constraints: 14153
763.66/765.86 c #Conflicts: 384000 | #Constraints: 15153
763.66/765.86 c #Conflicts: 385000 | #Constraints: 16153
763.66/765.86 c #Conflicts: 386000 | #Constraints: 17153
763.66/765.86 c #Conflicts: 387000 | #Constraints: 18153
763.66/765.86 c #Conflicts: 388000 | #Constraints: 19153
763.66/765.86 c #Conflicts: 389000 | #Constraints: 20153
763.66/765.86 c #Conflicts: 390000 | #Constraints: 21153
763.66/765.86 c #Conflicts: 391000 | #Constraints: 22153
763.66/765.86 c #Conflicts: 392000 | #Constraints: 23153
763.66/765.86 c #Conflicts: 393000 | #Constraints: 24153
763.66/765.86 c #Conflicts: 394000 | #Constraints: 25153
763.66/765.86 c INPROCESSING
763.66/765.86 c GARBAGE COLLECT
763.66/765.86 c #Conflicts: 395000 | #Constraints: 13747
763.66/765.86 c #Conflicts: 396000 | #Constraints: 14747
763.66/765.86 c #Conflicts: 397000 | #Constraints: 15747
763.66/765.86 c #Conflicts: 398000 | #Constraints: 16747
763.66/765.86 c #Conflicts: 399000 | #Constraints: 17747
763.66/765.86 c #Conflicts: 400000 | #Constraints: 18747
763.66/765.86 c #Conflicts: 401000 | #Constraints: 19747
763.66/765.86 c #Conflicts: 402000 | #Constraints: 20747
763.66/765.86 c #Conflicts: 403000 | #Constraints: 21747
763.66/765.86 c #Conflicts: 404000 | #Constraints: 22747
763.66/765.86 c #Conflicts: 405000 | #Constraints: 23747
763.66/765.86 c #Conflicts: 406000 | #Constraints: 24747
763.66/765.86 c #Conflicts: 407000 | #Constraints: 25747
763.66/765.86 c INPROCESSING
763.66/765.86 c GARBAGE COLLECT
763.66/765.86 c #Conflicts: 408000 | #Constraints: 14142
763.66/765.86 c #Conflicts: 409000 | #Constraints: 15142
763.66/765.86 c #Conflicts: 410000 | #Constraints: 16142
763.66/765.86 c #Conflicts: 411000 | #Constraints: 17142
763.66/765.86 c #Conflicts: 412000 | #Constraints: 18142
763.66/765.86 c #Conflicts: 413000 | #Constraints: 19142
763.66/765.86 c #Conflicts: 414000 | #Constraints: 20142
763.66/765.86 c #Conflicts: 415000 | #Constraints: 21142
763.66/765.86 c #Conflicts: 416000 | #Constraints: 22142
763.66/765.86 c #Conflicts: 417000 | #Constraints: 23142
763.66/765.86 c #Conflicts: 418000 | #Constraints: 24142
763.66/765.86 c #Conflicts: 419000 | #Constraints: 25142
763.66/765.86 c #Conflicts: 420000 | #Constraints: 26142
763.66/765.86 c INPROCESSING
763.66/765.86 c GARBAGE COLLECT
763.66/765.86 c #Conflicts: 421000 | #Constraints: 14349
763.66/765.86 c #Conflicts: 422000 | #Constraints: 15349
763.66/765.86 c #Conflicts: 423000 | #Constraints: 16349
763.66/765.86 c #Conflicts: 424000 | #Constraints: 17349
763.66/765.86 c #Conflicts: 425000 | #Constraints: 18349
763.66/765.86 c #Conflicts: 426000 | #Constraints: 19349
763.66/765.86 c #Conflicts: 427000 | #Constraints: 20349
763.66/765.86 c #Conflicts: 428000 | #Constraints: 21349
763.66/765.86 c #Conflicts: 429000 | #Constraints: 22349
763.66/765.86 c #Conflicts: 430000 | #Constraints: 23349
763.66/765.86 c #Conflicts: 431000 | #Constraints: 24349
763.66/765.86 c #Conflicts: 432000 | #Constraints: 25349
763.66/765.86 c #Conflicts: 433000 | #Constraints: 26349
763.66/765.86 c INPROCESSING
763.66/765.86 c GARBAGE COLLECT
763.66/765.86 c #Conflicts: 434000 | #Constraints: 14351
763.66/765.86 c #Conflicts: 435000 | #Constraints: 15351
763.66/765.86 c #Conflicts: 436000 | #Constraints: 16351
763.66/765.86 c #Conflicts: 437000 | #Constraints: 17351
939.91/942.52 c #Conflicts: 438000 | #Constraints: 18351
939.91/942.52 c #Conflicts: 439000 | #Constraints: 19351
939.91/942.52 c #Conflicts: 440000 | #Constraints: 20351
939.91/942.52 c #Conflicts: 441000 | #Constraints: 21351
939.91/942.52 c #Conflicts: 442000 | #Constraints: 22351
939.91/942.52 c #Conflicts: 443000 | #Constraints: 23351
939.91/942.52 c #Conflicts: 444000 | #Constraints: 24351
939.91/942.52 c #Conflicts: 445000 | #Constraints: 25351
939.91/942.52 c #Conflicts: 446000 | #Constraints: 26351
939.91/942.52 c INPROCESSING
939.91/942.52 c GARBAGE COLLECT
939.91/942.52 c #Conflicts: 447000 | #Constraints: 14189
939.91/942.52 c #Conflicts: 448000 | #Constraints: 15189
939.91/942.52 c #Conflicts: 449000 | #Constraints: 16189
939.91/942.52 c #Conflicts: 450000 | #Constraints: 17189
939.91/942.52 c #Conflicts: 451000 | #Constraints: 18189
939.91/942.52 c #Conflicts: 452000 | #Constraints: 19189
939.91/942.52 c #Conflicts: 453000 | #Constraints: 20189
939.91/942.52 c #Conflicts: 454000 | #Constraints: 21189
939.91/942.52 c #Conflicts: 455000 | #Constraints: 22189
939.91/942.52 c #Conflicts: 456000 | #Constraints: 23189
939.91/942.52 c #Conflicts: 457000 | #Constraints: 24189
939.91/942.52 c #Conflicts: 458000 | #Constraints: 25189
939.91/942.52 c #Conflicts: 459000 | #Constraints: 26189
939.91/942.52 c #Conflicts: 460000 | #Constraints: 27189
939.91/942.52 c INPROCESSING
939.91/942.52 c GARBAGE COLLECT
939.91/942.52 c #Conflicts: 461000 | #Constraints: 14805
939.91/942.52 c #Conflicts: 462000 | #Constraints: 15805
939.91/942.52 c #Conflicts: 463000 | #Constraints: 16805
939.91/942.52 c #Conflicts: 464000 | #Constraints: 17805
939.91/942.52 c #Conflicts: 465000 | #Constraints: 18805
939.91/942.52 c #Conflicts: 466000 | #Constraints: 19805
939.91/942.52 c #Conflicts: 467000 | #Constraints: 20805
939.91/942.52 c #Conflicts: 468000 | #Constraints: 21805
939.91/942.52 c #Conflicts: 469000 | #Constraints: 22805
939.91/942.52 c #Conflicts: 470000 | #Constraints: 23805
939.91/942.52 c #Conflicts: 471000 | #Constraints: 24805
939.91/942.52 c #Conflicts: 472000 | #Constraints: 25805
939.91/942.52 c #Conflicts: 473000 | #Constraints: 26805
939.91/942.52 c #Conflicts: 474000 | #Constraints: 27805
939.91/942.52 c INPROCESSING
939.91/942.52 c GARBAGE COLLECT
939.91/942.52 c #Conflicts: 475000 | #Constraints: 15199
939.91/942.52 c #Conflicts: 476000 | #Constraints: 16199
939.91/942.52 c #Conflicts: 477000 | #Constraints: 17199
939.91/942.52 c #Conflicts: 478000 | #Constraints: 18199
939.91/942.52 c #Conflicts: 479000 | #Constraints: 19199
939.91/942.52 c #Conflicts: 480000 | #Constraints: 20199
939.91/942.52 c #Conflicts: 481000 | #Constraints: 21199
939.91/942.52 c #Conflicts: 482000 | #Constraints: 22199
939.91/942.52 c #Conflicts: 483000 | #Constraints: 23199
939.91/942.52 c #Conflicts: 484000 | #Constraints: 24199
939.91/942.52 c #Conflicts: 485000 | #Constraints: 25199
939.91/942.52 c #Conflicts: 486000 | #Constraints: 26199
939.91/942.52 c #Conflicts: 487000 | #Constraints: 27199
939.91/942.52 c #Conflicts: 488000 | #Constraints: 28199
939.91/942.52 c INPROCESSING
939.91/942.52 c GARBAGE COLLECT
939.91/942.52 c #Conflicts: 489000 | #Constraints: 15389
939.91/942.52 c #Conflicts: 490000 | #Constraints: 16389
939.91/942.52 c #Conflicts: 491000 | #Constraints: 17389
939.91/942.52 c #Conflicts: 492000 | #Constraints: 18389
939.91/942.52 c #Conflicts: 493000 | #Constraints: 19389
939.91/942.52 c #Conflicts: 494000 | #Constraints: 20389
939.91/942.52 c #Conflicts: 495000 | #Constraints: 21389
939.91/942.52 c #Conflicts: 496000 | #Constraints: 22389
939.91/942.52 c #Conflicts: 497000 | #Constraints: 23389
939.91/942.52 c #Conflicts: 498000 | #Constraints: 24389
939.91/942.52 c #Conflicts: 499000 | #Constraints: 25389
939.91/942.52 c #Conflicts: 500000 | #Constraints: 26389
939.91/942.52 c #Conflicts: 501000 | #Constraints: 27389
939.91/942.52 c #Conflicts: 502000 | #Constraints: 28389
939.91/942.52 c INPROCESSING
939.91/942.52 c GARBAGE COLLECT
939.91/942.52 c #Conflicts: 503000 | #Constraints: 15387
939.91/942.52 c #Conflicts: 504000 | #Constraints: 16387
939.91/942.52 c #Conflicts: 505000 | #Constraints: 17387
939.91/942.52 c #Conflicts: 506000 | #Constraints: 18387
939.91/942.52 c #Conflicts: 507000 | #Constraints: 19387
939.91/942.52 c #Conflicts: 508000 | #Constraints: 20387
939.91/942.52 c #Conflicts: 509000 | #Constraints: 21387
939.91/942.52 c #Conflicts: 510000 | #Constraints: 22387
939.91/942.52 c #Conflicts: 511000 | #Constraints: 23387
939.91/942.52 c #Conflicts: 512000 | #Constraints: 24387
939.91/942.52 c #Conflicts: 513000 | #Constraints: 25387
1053.00/1055.91 c #Conflicts: 514000 | #Constraints: 26387
1053.00/1055.91 c #Conflicts: 515000 | #Constraints: 27387
1053.00/1055.91 c #Conflicts: 516000 | #Constraints: 28387
1053.00/1055.91 c INPROCESSING
1053.00/1055.91 c GARBAGE COLLECT
1053.00/1055.91 c #Conflicts: 517000 | #Constraints: 15183
1053.00/1055.91 c #Conflicts: 518000 | #Constraints: 16183
1053.00/1055.91 c #Conflicts: 519000 | #Constraints: 17183
1053.00/1055.91 c #Conflicts: 520000 | #Constraints: 18183
1053.00/1055.91 c #Conflicts: 521000 | #Constraints: 19183
1053.00/1055.91 c #Conflicts: 522000 | #Constraints: 20183
1053.00/1055.91 c #Conflicts: 523000 | #Constraints: 21183
1053.00/1055.91 c #Conflicts: 524000 | #Constraints: 22183
1053.00/1055.91 c #Conflicts: 525000 | #Constraints: 23183
1053.00/1055.91 c #Conflicts: 526000 | #Constraints: 24183
1053.00/1055.91 c #Conflicts: 527000 | #Constraints: 25183
1053.00/1055.91 c #Conflicts: 528000 | #Constraints: 26183
1053.00/1055.91 c #Conflicts: 529000 | #Constraints: 27183
1053.00/1055.91 c #Conflicts: 530000 | #Constraints: 28183
1053.00/1055.91 c #Conflicts: 531000 | #Constraints: 29183
1053.00/1055.91 c INPROCESSING
1053.00/1055.91 c GARBAGE COLLECT
1053.00/1055.91 c #Conflicts: 532000 | #Constraints: 15776
1053.00/1055.91 c #Conflicts: 533000 | #Constraints: 16776
1053.00/1055.91 c #Conflicts: 534000 | #Constraints: 17776
1053.00/1055.91 c #Conflicts: 535000 | #Constraints: 18776
1053.00/1055.91 c #Conflicts: 536000 | #Constraints: 19776
1053.00/1055.91 c #Conflicts: 537000 | #Constraints: 20776
1053.00/1055.91 c #Conflicts: 538000 | #Constraints: 21776
1053.00/1055.91 c #Conflicts: 539000 | #Constraints: 22776
1053.00/1055.91 c #Conflicts: 540000 | #Constraints: 23776
1053.00/1055.91 c #Conflicts: 541000 | #Constraints: 24776
1053.00/1055.91 c #Conflicts: 542000 | #Constraints: 25776
1053.00/1055.91 c #Conflicts: 543000 | #Constraints: 26776
1053.00/1055.91 c #Conflicts: 544000 | #Constraints: 27776
1053.00/1055.91 c #Conflicts: 545000 | #Constraints: 28776
1053.00/1055.91 c #Conflicts: 546000 | #Constraints: 29776
1053.00/1055.91 c INPROCESSING
1053.00/1055.91 c GARBAGE COLLECT
1053.00/1055.91 c #Conflicts: 547000 | #Constraints: 16167
1053.00/1055.91 c #Conflicts: 548000 | #Constraints: 17167
1053.00/1055.91 c #Conflicts: 549000 | #Constraints: 18167
1053.00/1055.91 c #Conflicts: 550000 | #Constraints: 19167
1053.00/1055.91 c #Conflicts: 551000 | #Constraints: 20167
1053.00/1055.91 c #Conflicts: 552000 | #Constraints: 21167
1053.00/1055.91 c #Conflicts: 553000 | #Constraints: 22167
1053.00/1055.91 c #Conflicts: 554000 | #Constraints: 23167
1053.00/1055.91 c #Conflicts: 555000 | #Constraints: 24167
1053.00/1055.91 c #Conflicts: 556000 | #Constraints: 25167
1053.00/1055.91 c #Conflicts: 557000 | #Constraints: 26167
1053.00/1055.91 c #Conflicts: 558000 | #Constraints: 27167
1053.00/1055.91 c #Conflicts: 559000 | #Constraints: 28167
1053.00/1055.91 c #Conflicts: 560000 | #Constraints: 29167
1053.00/1055.91 c #Conflicts: 561000 | #Constraints: 30167
1053.00/1055.91 c INPROCESSING
1053.00/1055.91 c GARBAGE COLLECT
1053.00/1055.91 c #Conflicts: 562000 | #Constraints: 16350
1053.00/1055.91 c #Conflicts: 563000 | #Constraints: 17350
1053.00/1055.91 c #Conflicts: 564000 | #Constraints: 18350
1053.00/1055.91 c #Conflicts: 565000 | #Constraints: 19350
1053.00/1055.91 c #Conflicts: 566000 | #Constraints: 20350
1053.00/1055.91 c #Conflicts: 567000 | #Constraints: 21350
1053.00/1055.91 c #Conflicts: 568000 | #Constraints: 22350
1053.00/1055.91 c #Conflicts: 569000 | #Constraints: 23350
1053.00/1055.91 c #Conflicts: 570000 | #Constraints: 24350
1053.00/1055.91 c #Conflicts: 571000 | #Constraints: 25350
1053.00/1055.91 c #Conflicts: 572000 | #Constraints: 26350
1053.00/1055.91 c #Conflicts: 573000 | #Constraints: 27350
1053.00/1055.91 c #Conflicts: 574000 | #Constraints: 28350
1053.00/1055.91 c #Conflicts: 575000 | #Constraints: 29350
1053.00/1055.91 c #Conflicts: 576000 | #Constraints: 30350
1053.00/1055.91 c INPROCESSING
1053.00/1055.91 c GARBAGE COLLECT
1053.00/1055.91 c #Conflicts: 577000 | #Constraints: 16359
1053.00/1055.91 c #Conflicts: 578000 | #Constraints: 17359
1053.00/1055.91 c #Conflicts: 579000 | #Constraints: 18359
1053.00/1055.91 c #Conflicts: 580000 | #Constraints: 19359
1053.00/1055.91 c #Conflicts: 581000 | #Constraints: 20359
1053.00/1055.91 c #Conflicts: 582000 | #Constraints: 21359
1053.00/1055.91 c #Conflicts: 583000 | #Constraints: 22359
1053.00/1055.91 c #Conflicts: 584000 | #Constraints: 23359
1053.00/1055.91 c #Conflicts: 585000 | #Constraints: 24359
1053.00/1055.91 c #Conflicts: 586000 | #Constraints: 25359
1053.00/1055.91 c #Conflicts: 587000 | #Constraints: 26359
1053.00/1055.91 c #Conflicts: 588000 | #Constraints: 27359
1226.93/1230.35 c #Conflicts: 589000 | #Constraints: 28359
1226.93/1230.35 c #Conflicts: 590000 | #Constraints: 29359
1226.93/1230.35 c #Conflicts: 591000 | #Constraints: 30359
1226.93/1230.35 c INPROCESSING
1226.93/1230.35 c GARBAGE COLLECT
1226.93/1230.35 c #Conflicts: 592000 | #Constraints: 16155
1226.93/1230.35 c #Conflicts: 593000 | #Constraints: 17155
1226.93/1230.35 c #Conflicts: 594000 | #Constraints: 18155
1226.93/1230.35 c #Conflicts: 595000 | #Constraints: 19155
1226.93/1230.35 c #Conflicts: 596000 | #Constraints: 20155
1226.93/1230.35 c #Conflicts: 597000 | #Constraints: 21155
1226.93/1230.35 c #Conflicts: 598000 | #Constraints: 22155
1226.93/1230.35 c #Conflicts: 599000 | #Constraints: 23155
1226.93/1230.35 c #Conflicts: 600000 | #Constraints: 24155
1226.93/1230.35 c #Conflicts: 601000 | #Constraints: 25155
1226.93/1230.35 c #Conflicts: 602000 | #Constraints: 26155
1226.93/1230.35 c #Conflicts: 603000 | #Constraints: 27155
1226.93/1230.35 c #Conflicts: 604000 | #Constraints: 28155
1226.93/1230.35 c #Conflicts: 605000 | #Constraints: 29155
1226.93/1230.35 c #Conflicts: 606000 | #Constraints: 30155
1226.93/1230.35 c #Conflicts: 607000 | #Constraints: 31155
1226.93/1230.35 c INPROCESSING
1226.93/1230.35 c GARBAGE COLLECT
1226.93/1230.35 c #Conflicts: 608000 | #Constraints: 16776
1226.93/1230.35 c #Conflicts: 609000 | #Constraints: 17776
1226.93/1230.35 c #Conflicts: 610000 | #Constraints: 18776
1226.93/1230.35 c #Conflicts: 611000 | #Constraints: 19776
1226.93/1230.35 c #Conflicts: 612000 | #Constraints: 20776
1226.93/1230.35 c #Conflicts: 613000 | #Constraints: 21776
1226.93/1230.35 c #Conflicts: 614000 | #Constraints: 22776
1226.93/1230.35 c #Conflicts: 615000 | #Constraints: 23776
1226.93/1230.35 c #Conflicts: 616000 | #Constraints: 24776
1226.93/1230.35 c #Conflicts: 617000 | #Constraints: 25776
1226.93/1230.35 c #Conflicts: 618000 | #Constraints: 26776
1226.93/1230.35 c #Conflicts: 619000 | #Constraints: 27776
1226.93/1230.35 c #Conflicts: 620000 | #Constraints: 28776
1226.93/1230.35 c #Conflicts: 621000 | #Constraints: 29776
1226.93/1230.35 c #Conflicts: 622000 | #Constraints: 30776
1226.93/1230.35 c #Conflicts: 623000 | #Constraints: 31776
1226.93/1230.35 c INPROCESSING
1226.93/1230.35 c GARBAGE COLLECT
1226.93/1230.35 c #Conflicts: 624000 | #Constraints: 17170
1226.93/1230.35 c #Conflicts: 625000 | #Constraints: 18170
1226.93/1230.35 c #Conflicts: 626000 | #Constraints: 19170
1226.93/1230.35 c #Conflicts: 627000 | #Constraints: 20170
1226.93/1230.35 c #Conflicts: 628000 | #Constraints: 21170
1226.93/1230.35 c #Conflicts: 629000 | #Constraints: 22170
1226.93/1230.35 c #Conflicts: 630000 | #Constraints: 23170
1226.93/1230.35 c #Conflicts: 631000 | #Constraints: 24170
1226.93/1230.35 c #Conflicts: 632000 | #Constraints: 25170
1226.93/1230.35 c #Conflicts: 633000 | #Constraints: 26170
1226.93/1230.35 c #Conflicts: 634000 | #Constraints: 27170
1226.93/1230.35 c #Conflicts: 635000 | #Constraints: 28170
1226.93/1230.35 c #Conflicts: 636000 | #Constraints: 29170
1226.93/1230.35 c #Conflicts: 637000 | #Constraints: 30170
1226.93/1230.35 c #Conflicts: 638000 | #Constraints: 31170
1226.93/1230.35 c #Conflicts: 639000 | #Constraints: 32170
1226.93/1230.35 c INPROCESSING
1226.93/1230.35 c GARBAGE COLLECT
1226.93/1230.35 c #Conflicts: 640000 | #Constraints: 17355
1226.93/1230.35 c #Conflicts: 641000 | #Constraints: 18355
1226.93/1230.35 c #Conflicts: 642000 | #Constraints: 19355
1226.93/1230.35 c #Conflicts: 643000 | #Constraints: 20355
1226.93/1230.35 c #Conflicts: 644000 | #Constraints: 21355
1226.93/1230.35 c #Conflicts: 645000 | #Constraints: 22355
1226.93/1230.35 c #Conflicts: 646000 | #Constraints: 23355
1226.93/1230.35 c #Conflicts: 647000 | #Constraints: 24355
1226.93/1230.35 c #Conflicts: 648000 | #Constraints: 25355
1226.93/1230.35 c #Conflicts: 649000 | #Constraints: 26355
1226.93/1230.35 c #Conflicts: 650000 | #Constraints: 27355
1226.93/1230.35 c #Conflicts: 651000 | #Constraints: 28355
1226.93/1230.35 c #Conflicts: 652000 | #Constraints: 29355
1226.93/1230.35 c #Conflicts: 653000 | #Constraints: 30355
1226.93/1230.35 c #Conflicts: 654000 | #Constraints: 31355
1226.93/1230.35 c #Conflicts: 655000 | #Constraints: 32355
1226.93/1230.35 c INPROCESSING
1226.93/1230.35 c GARBAGE COLLECT
1226.93/1230.35 c #Conflicts: 656000 | #Constraints: 17355
1226.93/1230.35 c #Conflicts: 657000 | #Constraints: 18355
1226.93/1230.35 c #Conflicts: 658000 | #Constraints: 19355
1226.93/1230.35 c #Conflicts: 659000 | #Constraints: 20355
1226.93/1230.35 c #Conflicts: 660000 | #Constraints: 21355
1226.93/1230.35 c #Conflicts: 661000 | #Constraints: 22355
1226.93/1230.35 c #Conflicts: 662000 | #Constraints: 23355
1226.93/1230.35 c #Conflicts: 663000 | #Constraints: 24355
1226.93/1230.35 c #Conflicts: 664000 | #Constraints: 25355
1383.22/1387.07 c #Conflicts: 665000 | #Constraints: 26355
1383.22/1387.07 c #Conflicts: 666000 | #Constraints: 27355
1383.22/1387.07 c #Conflicts: 667000 | #Constraints: 28355
1383.22/1387.07 c #Conflicts: 668000 | #Constraints: 29355
1383.22/1387.07 c #Conflicts: 669000 | #Constraints: 30355
1383.22/1387.07 c #Conflicts: 670000 | #Constraints: 31355
1383.22/1387.07 c #Conflicts: 671000 | #Constraints: 32355
1383.22/1387.07 c INPROCESSING
1383.22/1387.07 c GARBAGE COLLECT
1383.22/1387.07 c #Conflicts: 672000 | #Constraints: 17152
1383.22/1387.07 c #Conflicts: 673000 | #Constraints: 18152
1383.22/1387.07 c #Conflicts: 674000 | #Constraints: 19152
1383.22/1387.07 c #Conflicts: 675000 | #Constraints: 20152
1383.22/1387.07 c #Conflicts: 676000 | #Constraints: 21152
1383.22/1387.07 c #Conflicts: 677000 | #Constraints: 22152
1383.22/1387.07 c #Conflicts: 678000 | #Constraints: 23152
1383.22/1387.07 c #Conflicts: 679000 | #Constraints: 24152
1383.22/1387.07 c #Conflicts: 680000 | #Constraints: 25152
1383.22/1387.07 c #Conflicts: 681000 | #Constraints: 26152
1383.22/1387.07 c #Conflicts: 682000 | #Constraints: 27152
1383.22/1387.07 c #Conflicts: 683000 | #Constraints: 28152
1383.22/1387.07 c #Conflicts: 684000 | #Constraints: 29152
1383.22/1387.07 c #Conflicts: 685000 | #Constraints: 30152
1383.22/1387.07 c #Conflicts: 686000 | #Constraints: 31152
1383.22/1387.07 c #Conflicts: 687000 | #Constraints: 32152
1383.22/1387.07 c #Conflicts: 688000 | #Constraints: 33152
1383.22/1387.07 c INPROCESSING
1383.22/1387.07 c GARBAGE COLLECT
1383.22/1387.07 c #Conflicts: 689000 | #Constraints: 17750
1383.22/1387.07 c #Conflicts: 690000 | #Constraints: 18750
1383.22/1387.07 c #Conflicts: 691000 | #Constraints: 19750
1383.22/1387.07 c #Conflicts: 692000 | #Constraints: 20750
1383.22/1387.07 c #Conflicts: 693000 | #Constraints: 21750
1383.22/1387.07 c #Conflicts: 694000 | #Constraints: 22750
1383.22/1387.07 c #Conflicts: 695000 | #Constraints: 23750
1383.22/1387.07 c #Conflicts: 696000 | #Constraints: 24750
1383.22/1387.07 c #Conflicts: 697000 | #Constraints: 25750
1383.22/1387.07 c #Conflicts: 698000 | #Constraints: 26750
1383.22/1387.07 c #Conflicts: 699000 | #Constraints: 27750
1383.22/1387.07 c #Conflicts: 700000 | #Constraints: 28750
1383.22/1387.07 c #Conflicts: 701000 | #Constraints: 29750
1383.22/1387.07 c #Conflicts: 702000 | #Constraints: 30750
1383.22/1387.07 c #Conflicts: 703000 | #Constraints: 31750
1383.22/1387.07 c #Conflicts: 704000 | #Constraints: 32750
1383.22/1387.07 c #Conflicts: 705000 | #Constraints: 33750
1383.22/1387.07 c INPROCESSING
1383.22/1387.07 c GARBAGE COLLECT
1383.22/1387.07 c #Conflicts: 706000 | #Constraints: 18152
1383.22/1387.07 c #Conflicts: 707000 | #Constraints: 19152
1383.22/1387.07 c #Conflicts: 708000 | #Constraints: 20152
1383.22/1387.07 c #Conflicts: 709000 | #Constraints: 21152
1383.22/1387.07 c #Conflicts: 710000 | #Constraints: 22152
1383.22/1387.07 c #Conflicts: 711000 | #Constraints: 23152
1383.22/1387.07 c #Conflicts: 712000 | #Constraints: 24152
1383.22/1387.07 c #Conflicts: 713000 | #Constraints: 25152
1383.22/1387.07 c #Conflicts: 714000 | #Constraints: 26152
1383.22/1387.07 c #Conflicts: 715000 | #Constraints: 27152
1383.22/1387.07 c #Conflicts: 716000 | #Constraints: 28152
1383.22/1387.07 c #Conflicts: 717000 | #Constraints: 29152
1383.22/1387.07 c #Conflicts: 718000 | #Constraints: 30152
1383.22/1387.07 c #Conflicts: 719000 | #Constraints: 31152
1383.22/1387.07 c #Conflicts: 720000 | #Constraints: 32152
1383.22/1387.07 c #Conflicts: 721000 | #Constraints: 33152
1383.22/1387.07 c #Conflicts: 722000 | #Constraints: 34152
1383.22/1387.07 c INPROCESSING
1383.22/1387.07 c GARBAGE COLLECT
1383.22/1387.07 c #Conflicts: 723000 | #Constraints: 18384
1383.22/1387.07 c #Conflicts: 724000 | #Constraints: 19384
1383.22/1387.07 c #Conflicts: 725000 | #Constraints: 20384
1383.22/1387.07 c #Conflicts: 726000 | #Constraints: 21384
1383.22/1387.07 c #Conflicts: 727000 | #Constraints: 22384
1383.22/1387.07 c #Conflicts: 728000 | #Constraints: 23384
1383.22/1387.07 c #Conflicts: 729000 | #Constraints: 24384
1383.22/1387.07 c #Conflicts: 730000 | #Constraints: 25384
1383.22/1387.07 c #Conflicts: 731000 | #Constraints: 26384
1383.22/1387.07 c #Conflicts: 732000 | #Constraints: 27384
1383.22/1387.07 c #Conflicts: 733000 | #Constraints: 28384
1383.22/1387.07 c #Conflicts: 734000 | #Constraints: 29384
1383.22/1387.07 c #Conflicts: 735000 | #Constraints: 30384
1383.22/1387.07 c #Conflicts: 736000 | #Constraints: 31384
1383.22/1387.07 c #Conflicts: 737000 | #Constraints: 32384
1383.22/1387.07 c #Conflicts: 738000 | #Constraints: 33384
1383.22/1387.07 c #Conflicts: 739000 | #Constraints: 34384
1383.22/1387.07 c INPROCESSING
1383.22/1387.07 c GARBAGE COLLECT
1495.12/1499.26 c #Conflicts: 740000 | #Constraints: 18414
1495.12/1499.26 c #Conflicts: 741000 | #Constraints: 19414
1495.12/1499.26 c #Conflicts: 742000 | #Constraints: 20414
1495.12/1499.26 c #Conflicts: 743000 | #Constraints: 21414
1495.12/1499.26 c #Conflicts: 744000 | #Constraints: 22414
1495.12/1499.26 c #Conflicts: 745000 | #Constraints: 23414
1495.12/1499.26 c #Conflicts: 746000 | #Constraints: 24414
1495.12/1499.26 c #Conflicts: 747000 | #Constraints: 25414
1495.12/1499.26 c #Conflicts: 748000 | #Constraints: 26414
1495.12/1499.26 c #Conflicts: 749000 | #Constraints: 27414
1495.12/1499.26 c #Conflicts: 750000 | #Constraints: 28414
1495.12/1499.26 c #Conflicts: 751000 | #Constraints: 29414
1495.12/1499.26 c #Conflicts: 752000 | #Constraints: 30414
1495.12/1499.26 c #Conflicts: 753000 | #Constraints: 31414
1495.12/1499.26 c #Conflicts: 754000 | #Constraints: 32414
1495.12/1499.26 c #Conflicts: 755000 | #Constraints: 33414
1495.12/1499.26 c #Conflicts: 756000 | #Constraints: 34414
1495.12/1499.26 c INPROCESSING
1495.12/1499.26 c GARBAGE COLLECT
1495.12/1499.26 c #Conflicts: 757000 | #Constraints: 18173
1495.12/1499.26 c #Conflicts: 758000 | #Constraints: 19173
1495.12/1499.26 c #Conflicts: 759000 | #Constraints: 20173
1495.12/1499.26 c #Conflicts: 760000 | #Constraints: 21173
1495.12/1499.26 c #Conflicts: 761000 | #Constraints: 22173
1495.12/1499.26 c #Conflicts: 762000 | #Constraints: 23173
1495.12/1499.26 c #Conflicts: 763000 | #Constraints: 24173
1495.12/1499.26 c #Conflicts: 764000 | #Constraints: 25173
1495.12/1499.26 c #Conflicts: 765000 | #Constraints: 26173
1495.12/1499.26 c #Conflicts: 766000 | #Constraints: 27173
1495.12/1499.26 c #Conflicts: 767000 | #Constraints: 28173
1495.12/1499.26 c #Conflicts: 768000 | #Constraints: 29173
1495.12/1499.26 c #Conflicts: 769000 | #Constraints: 30173
1495.12/1499.26 c #Conflicts: 770000 | #Constraints: 31173
1495.12/1499.26 c #Conflicts: 771000 | #Constraints: 32173
1495.12/1499.26 c #Conflicts: 772000 | #Constraints: 33173
1495.12/1499.26 c #Conflicts: 773000 | #Constraints: 34173
1495.12/1499.26 c #Conflicts: 774000 | #Constraints: 35173
1495.12/1499.26 c INPROCESSING
1495.12/1499.26 c GARBAGE COLLECT
1495.12/1499.26 c #Conflicts: 775000 | #Constraints: 18764
1495.12/1499.26 c #Conflicts: 776000 | #Constraints: 19764
1495.12/1499.26 c #Conflicts: 777000 | #Constraints: 20764
1495.12/1499.26 c #Conflicts: 778000 | #Constraints: 21764
1495.12/1499.26 c #Conflicts: 779000 | #Constraints: 22764
1495.12/1499.26 c #Conflicts: 780000 | #Constraints: 23764
1495.12/1499.26 c #Conflicts: 781000 | #Constraints: 24764
1495.12/1499.26 c #Conflicts: 782000 | #Constraints: 25764
1495.12/1499.26 c #Conflicts: 783000 | #Constraints: 26764
1495.12/1499.26 c #Conflicts: 784000 | #Constraints: 27764
1495.12/1499.26 c #Conflicts: 785000 | #Constraints: 28764
1495.12/1499.26 c #Conflicts: 786000 | #Constraints: 29764
1495.12/1499.26 c #Conflicts: 787000 | #Constraints: 30764
1495.12/1499.26 c #Conflicts: 788000 | #Constraints: 31764
1495.12/1499.26 c #Conflicts: 789000 | #Constraints: 32764
1495.12/1499.26 c #Conflicts: 790000 | #Constraints: 33764
1495.12/1499.26 c #Conflicts: 791000 | #Constraints: 34764
1495.12/1499.26 c #Conflicts: 792000 | #Constraints: 35764
1495.12/1499.26 c INPROCESSING
1495.12/1499.26 c GARBAGE COLLECT
1495.12/1499.26 c #Conflicts: 793000 | #Constraints: 19154
1495.12/1499.26 c #Conflicts: 794000 | #Constraints: 20154
1495.12/1499.26 c #Conflicts: 795000 | #Constraints: 21154
1495.12/1499.26 c #Conflicts: 796000 | #Constraints: 22154
1495.12/1499.26 c #Conflicts: 797000 | #Constraints: 23154
1495.12/1499.26 c #Conflicts: 798000 | #Constraints: 24154
1495.12/1499.26 c #Conflicts: 799000 | #Constraints: 25154
1495.12/1499.26 c #Conflicts: 800000 | #Constraints: 26154
1495.12/1499.26 c #Conflicts: 801000 | #Constraints: 27154
1495.12/1499.26 c #Conflicts: 802000 | #Constraints: 28154
1495.12/1499.26 c #Conflicts: 803000 | #Constraints: 29154
1495.12/1499.26 c #Conflicts: 804000 | #Constraints: 30154
1495.12/1499.26 c #Conflicts: 805000 | #Constraints: 31154
1495.12/1499.26 c #Conflicts: 806000 | #Constraints: 32154
1495.12/1499.26 c #Conflicts: 807000 | #Constraints: 33154
1495.12/1499.26 c #Conflicts: 808000 | #Constraints: 34154
1495.12/1499.26 c #Conflicts: 809000 | #Constraints: 35154
1495.12/1499.26 c #Conflicts: 810000 | #Constraints: 36154
1495.12/1499.26 c INPROCESSING
1495.12/1499.26 c GARBAGE COLLECT
1495.12/1499.26 c #Conflicts: 811000 | #Constraints: 19359
1495.12/1499.26 c #Conflicts: 812000 | #Constraints: 20359
1495.12/1499.26 c #Conflicts: 813000 | #Constraints: 21359
1495.12/1499.26 c #Conflicts: 814000 | #Constraints: 22359
1495.12/1499.26 c #Conflicts: 815000 | #Constraints: 23359
1495.12/1499.26 c #Conflicts: 816000 | #Constraints: 24359
1723.03/1727.76 c #Conflicts: 817000 | #Constraints: 25359
1723.03/1727.76 c #Conflicts: 818000 | #Constraints: 26359
1723.03/1727.76 c #Conflicts: 819000 | #Constraints: 27359
1723.03/1727.76 c #Conflicts: 820000 | #Constraints: 28359
1723.03/1727.76 c #Conflicts: 821000 | #Constraints: 29359
1723.03/1727.76 c #Conflicts: 822000 | #Constraints: 30359
1723.03/1727.76 c #Conflicts: 823000 | #Constraints: 31359
1723.03/1727.76 c #Conflicts: 824000 | #Constraints: 32359
1723.03/1727.76 c #Conflicts: 825000 | #Constraints: 33359
1723.03/1727.76 c #Conflicts: 826000 | #Constraints: 34359
1723.03/1727.76 c #Conflicts: 827000 | #Constraints: 35359
1723.03/1727.76 c #Conflicts: 828000 | #Constraints: 36359
1723.03/1727.76 c INPROCESSING
1723.03/1727.76 c GARBAGE COLLECT
1723.03/1727.76 c #Conflicts: 829000 | #Constraints: 19367
1723.03/1727.76 c #Conflicts: 830000 | #Constraints: 20367
1723.03/1727.76 c #Conflicts: 831000 | #Constraints: 21367
1723.03/1727.76 c #Conflicts: 832000 | #Constraints: 22367
1723.03/1727.76 c #Conflicts: 833000 | #Constraints: 23367
1723.03/1727.76 c #Conflicts: 834000 | #Constraints: 24367
1723.03/1727.76 c #Conflicts: 835000 | #Constraints: 25367
1723.03/1727.76 c #Conflicts: 836000 | #Constraints: 26367
1723.03/1727.76 c #Conflicts: 837000 | #Constraints: 27367
1723.03/1727.76 c #Conflicts: 838000 | #Constraints: 28367
1723.03/1727.76 c #Conflicts: 839000 | #Constraints: 29367
1723.03/1727.76 c #Conflicts: 840000 | #Constraints: 30367
1723.03/1727.76 c #Conflicts: 841000 | #Constraints: 31367
1723.03/1727.76 c #Conflicts: 842000 | #Constraints: 32367
1723.03/1727.76 c #Conflicts: 843000 | #Constraints: 33367
1723.03/1727.76 c #Conflicts: 844000 | #Constraints: 34367
1723.03/1727.76 c #Conflicts: 845000 | #Constraints: 35367
1723.03/1727.76 c #Conflicts: 846000 | #Constraints: 36367
1723.03/1727.76 c INPROCESSING
1723.03/1727.76 c GARBAGE COLLECT
1723.03/1727.76 c #Conflicts: 847000 | #Constraints: 19155
1723.03/1727.76 c #Conflicts: 848000 | #Constraints: 20155
1723.03/1727.76 c #Conflicts: 849000 | #Constraints: 21155
1723.03/1727.76 c #Conflicts: 850000 | #Constraints: 22155
1723.03/1727.76 c #Conflicts: 851000 | #Constraints: 23155
1723.03/1727.76 c #Conflicts: 852000 | #Constraints: 24155
1723.03/1727.76 c #Conflicts: 853000 | #Constraints: 25155
1723.03/1727.76 c #Conflicts: 854000 | #Constraints: 26155
1723.03/1727.76 c #Conflicts: 855000 | #Constraints: 27155
1723.03/1727.76 c #Conflicts: 856000 | #Constraints: 28155
1723.03/1727.76 c #Conflicts: 857000 | #Constraints: 29155
1723.03/1727.76 c #Conflicts: 858000 | #Constraints: 30155
1723.03/1727.76 c #Conflicts: 859000 | #Constraints: 31155
1723.03/1727.76 c #Conflicts: 860000 | #Constraints: 32155
1723.03/1727.76 c #Conflicts: 861000 | #Constraints: 33155
1723.03/1727.76 c #Conflicts: 862000 | #Constraints: 34155
1723.03/1727.76 c #Conflicts: 863000 | #Constraints: 35155
1723.03/1727.76 c #Conflicts: 864000 | #Constraints: 36155
1723.03/1727.76 c #Conflicts: 865000 | #Constraints: 37155
1723.03/1727.76 c INPROCESSING
1723.03/1727.76 c GARBAGE COLLECT
1723.03/1727.76 c #Conflicts: 866000 | #Constraints: 19755
1723.03/1727.76 c #Conflicts: 867000 | #Constraints: 20755
1723.03/1727.76 c #Conflicts: 868000 | #Constraints: 21755
1723.03/1727.76 c #Conflicts: 869000 | #Constraints: 22755
1723.03/1727.76 c #Conflicts: 870000 | #Constraints: 23755
1723.03/1727.76 c #Conflicts: 871000 | #Constraints: 24755
1723.03/1727.76 c #Conflicts: 872000 | #Constraints: 25755
1723.03/1727.76 c #Conflicts: 873000 | #Constraints: 26755
1723.03/1727.76 c #Conflicts: 874000 | #Constraints: 27755
1723.03/1727.76 c #Conflicts: 875000 | #Constraints: 28755
1723.03/1727.76 c #Conflicts: 876000 | #Constraints: 29755
1723.03/1727.76 c #Conflicts: 877000 | #Constraints: 30755
1723.03/1727.76 c #Conflicts: 878000 | #Constraints: 31755
1723.03/1727.76 c #Conflicts: 879000 | #Constraints: 32755
1723.03/1727.76 c #Conflicts: 880000 | #Constraints: 33755
1723.03/1727.76 c #Conflicts: 881000 | #Constraints: 34755
1723.03/1727.76 c #Conflicts: 882000 | #Constraints: 35755
1723.03/1727.76 c #Conflicts: 883000 | #Constraints: 36755
1723.03/1727.76 c #Conflicts: 884000 | #Constraints: 37755
1723.03/1727.76 c INPROCESSING
1723.03/1727.76 c GARBAGE COLLECT
1723.03/1727.76 c #Conflicts: 885000 | #Constraints: 20154
1723.03/1727.76 c #Conflicts: 886000 | #Constraints: 21154
1723.03/1727.76 c #Conflicts: 887000 | #Constraints: 22154
1723.03/1727.76 c #Conflicts: 888000 | #Constraints: 23154
1723.03/1727.76 c #Conflicts: 889000 | #Constraints: 24154
1723.03/1727.76 c #Conflicts: 890000 | #Constraints: 25154
1723.03/1727.76 c #Conflicts: 891000 | #Constraints: 26154
1723.03/1727.76 c #Conflicts: 892000 | #Constraints: 27154
1868.67/1873.70 c #Conflicts: 893000 | #Constraints: 28154
1868.67/1873.70 c #Conflicts: 894000 | #Constraints: 29154
1868.67/1873.70 c #Conflicts: 895000 | #Constraints: 30154
1868.67/1873.70 c #Conflicts: 896000 | #Constraints: 31154
1868.67/1873.70 c #Conflicts: 897000 | #Constraints: 32154
1868.67/1873.70 c #Conflicts: 898000 | #Constraints: 33154
1868.67/1873.70 c #Conflicts: 899000 | #Constraints: 34154
1868.67/1873.70 c #Conflicts: 900000 | #Constraints: 35154
1868.67/1873.70 c #Conflicts: 901000 | #Constraints: 36154
1868.67/1873.70 c #Conflicts: 902000 | #Constraints: 37154
1868.67/1873.70 c #Conflicts: 903000 | #Constraints: 38154
1868.67/1873.70 c INPROCESSING
1868.67/1873.70 c GARBAGE COLLECT
1868.67/1873.70 c #Conflicts: 904000 | #Constraints: 20345
1868.67/1873.70 c #Conflicts: 905000 | #Constraints: 21345
1868.67/1873.70 c #Conflicts: 906000 | #Constraints: 22345
1868.67/1873.70 c #Conflicts: 907000 | #Constraints: 23345
1868.67/1873.70 c #Conflicts: 908000 | #Constraints: 24345
1868.67/1873.70 c #Conflicts: 909000 | #Constraints: 25345
1868.67/1873.70 c #Conflicts: 910000 | #Constraints: 26345
1868.67/1873.70 c #Conflicts: 911000 | #Constraints: 27345
1868.67/1873.70 c #Conflicts: 912000 | #Constraints: 28345
1868.67/1873.70 c #Conflicts: 913000 | #Constraints: 29345
1868.67/1873.70 c #Conflicts: 914000 | #Constraints: 30345
1868.67/1873.70 c #Conflicts: 915000 | #Constraints: 31345
1868.67/1873.70 c #Conflicts: 916000 | #Constraints: 32345
1868.67/1873.70 c #Conflicts: 917000 | #Constraints: 33345
1868.67/1873.70 c #Conflicts: 918000 | #Constraints: 34345
1868.67/1873.70 c #Conflicts: 919000 | #Constraints: 35345
1868.67/1873.70 c #Conflicts: 920000 | #Constraints: 36345
1868.67/1873.70 c #Conflicts: 921000 | #Constraints: 37345
1868.67/1873.70 c #Conflicts: 922000 | #Constraints: 38345
1868.67/1873.70 c INPROCESSING
1868.67/1873.70 c GARBAGE COLLECT
1868.67/1873.70 c #Conflicts: 923000 | #Constraints: 20341
1868.67/1873.70 c #Conflicts: 924000 | #Constraints: 21341
1868.67/1873.70 c #Conflicts: 925000 | #Constraints: 22341
1868.67/1873.70 c #Conflicts: 926000 | #Constraints: 23341
1868.67/1873.70 c #Conflicts: 927000 | #Constraints: 24341
1868.67/1873.70 c #Conflicts: 928000 | #Constraints: 25341
1868.67/1873.70 c #Conflicts: 929000 | #Constraints: 26341
1868.67/1873.70 c #Conflicts: 930000 | #Constraints: 27341
1868.67/1873.70 c #Conflicts: 931000 | #Constraints: 28341
1868.67/1873.70 c #Conflicts: 932000 | #Constraints: 29341
1868.67/1873.70 c #Conflicts: 933000 | #Constraints: 30341
1868.67/1873.70 c #Conflicts: 934000 | #Constraints: 31341
1868.67/1873.70 c #Conflicts: 935000 | #Constraints: 32341
1868.67/1873.70 c #Conflicts: 936000 | #Constraints: 33341
1868.67/1873.70 c #Conflicts: 937000 | #Constraints: 34341
1868.67/1873.70 c #Conflicts: 938000 | #Constraints: 35341
1868.67/1873.70 c #Conflicts: 939000 | #Constraints: 36341
1868.67/1873.70 c #Conflicts: 940000 | #Constraints: 37341
1868.67/1873.70 c #Conflicts: 941000 | #Constraints: 38341
1868.67/1873.70 c INPROCESSING
1868.67/1873.70 c GARBAGE COLLECT
1868.67/1873.70 c #Conflicts: 942000 | #Constraints: 20167
1868.67/1873.70 c #Conflicts: 943000 | #Constraints: 21167
1868.67/1873.70 c #Conflicts: 944000 | #Constraints: 22167
1868.67/1873.70 c #Conflicts: 945000 | #Constraints: 23167
1868.67/1873.70 c #Conflicts: 946000 | #Constraints: 24167
1868.67/1873.70 c #Conflicts: 947000 | #Constraints: 25167
1868.67/1873.70 c #Conflicts: 948000 | #Constraints: 26167
1868.67/1873.70 c #Conflicts: 949000 | #Constraints: 27167
1868.67/1873.70 c #Conflicts: 950000 | #Constraints: 28167
1868.67/1873.70 c #Conflicts: 951000 | #Constraints: 29167
1868.67/1873.70 c #Conflicts: 952000 | #Constraints: 30167
1868.67/1873.70 c #Conflicts: 953000 | #Constraints: 31167
1868.67/1873.70 c #Conflicts: 954000 | #Constraints: 32167
1868.67/1873.70 c #Conflicts: 955000 | #Constraints: 33167
1868.67/1873.70 c #Conflicts: 956000 | #Constraints: 34167
1868.67/1873.70 c #Conflicts: 957000 | #Constraints: 35167
1868.67/1873.70 c #Conflicts: 958000 | #Constraints: 36167
1868.67/1873.70 c #Conflicts: 959000 | #Constraints: 37167
1868.67/1873.70 c #Conflicts: 960000 | #Constraints: 38167
1868.67/1873.70 c #Conflicts: 961000 | #Constraints: 39167
1868.67/1873.70 c INPROCESSING
1868.67/1873.70 c GARBAGE COLLECT
1868.67/1873.70 c #Conflicts: 962000 | #Constraints: 20790
1868.67/1873.70 c #Conflicts: 963000 | #Constraints: 21790
1868.67/1873.70 c #Conflicts: 964000 | #Constraints: 22790
1868.67/1873.70 c #Conflicts: 965000 | #Constraints: 23790
1868.67/1873.70 c #Conflicts: 966000 | #Constraints: 24790
1868.67/1873.70 c #Conflicts: 967000 | #Constraints: 25790
1868.67/1873.70 c #Conflicts: 968000 | #Constraints: 26790
2097.16/2102.83 c #Conflicts: 969000 | #Constraints: 27790
2097.16/2102.83 c #Conflicts: 970000 | #Constraints: 28790
2097.16/2102.83 c #Conflicts: 971000 | #Constraints: 29790
2097.16/2102.83 c #Conflicts: 972000 | #Constraints: 30790
2097.16/2102.83 c #Conflicts: 973000 | #Constraints: 31790
2097.16/2102.83 c #Conflicts: 974000 | #Constraints: 32790
2097.16/2102.83 c #Conflicts: 975000 | #Constraints: 33790
2097.16/2102.83 c #Conflicts: 976000 | #Constraints: 34790
2097.16/2102.83 c #Conflicts: 977000 | #Constraints: 35790
2097.16/2102.83 c #Conflicts: 978000 | #Constraints: 36790
2097.16/2102.83 c #Conflicts: 979000 | #Constraints: 37790
2097.16/2102.83 c #Conflicts: 980000 | #Constraints: 38790
2097.16/2102.83 c #Conflicts: 981000 | #Constraints: 39790
2097.16/2102.83 c INPROCESSING
2097.16/2102.83 c GARBAGE COLLECT
2097.16/2102.83 c #Conflicts: 982000 | #Constraints: 21179
2097.16/2102.83 c #Conflicts: 983000 | #Constraints: 22179
2097.16/2102.83 c #Conflicts: 984000 | #Constraints: 23179
2097.16/2102.83 c #Conflicts: 985000 | #Constraints: 24179
2097.16/2102.83 c #Conflicts: 986000 | #Constraints: 25179
2097.16/2102.83 c #Conflicts: 987000 | #Constraints: 26179
2097.16/2102.83 c #Conflicts: 988000 | #Constraints: 27179
2097.16/2102.83 c #Conflicts: 989000 | #Constraints: 28179
2097.16/2102.83 c #Conflicts: 990000 | #Constraints: 29179
2097.16/2102.83 c #Conflicts: 991000 | #Constraints: 30179
2097.16/2102.83 c #Conflicts: 992000 | #Constraints: 31179
2097.16/2102.83 c #Conflicts: 993000 | #Constraints: 32179
2097.16/2102.83 c #Conflicts: 994000 | #Constraints: 33179
2097.16/2102.83 c #Conflicts: 995000 | #Constraints: 34179
2097.16/2102.83 c #Conflicts: 996000 | #Constraints: 35179
2097.16/2102.83 c #Conflicts: 997000 | #Constraints: 36179
2097.16/2102.83 c #Conflicts: 998000 | #Constraints: 37179
2097.16/2102.83 c #Conflicts: 999000 | #Constraints: 38179
2097.16/2102.83 c #Conflicts: 1000000 | #Constraints: 39179
2097.16/2102.83 c #Conflicts: 1001000 | #Constraints: 40179
2097.16/2102.83 c INPROCESSING
2097.16/2102.83 c GARBAGE COLLECT
2097.16/2102.83 c #Conflicts: 1002000 | #Constraints: 21398
2097.16/2102.83 c #Conflicts: 1003000 | #Constraints: 22398
2097.16/2102.83 c #Conflicts: 1004000 | #Constraints: 23398
2097.16/2102.83 c #Conflicts: 1005000 | #Constraints: 24398
2097.16/2102.83 c #Conflicts: 1006000 | #Constraints: 25398
2097.16/2102.83 c #Conflicts: 1007000 | #Constraints: 26398
2097.16/2102.83 c #Conflicts: 1008000 | #Constraints: 27398
2097.16/2102.83 c #Conflicts: 1009000 | #Constraints: 28398
2097.16/2102.83 c #Conflicts: 1010000 | #Constraints: 29398
2097.16/2102.83 c #Conflicts: 1011000 | #Constraints: 30398
2097.16/2102.83 c #Conflicts: 1012000 | #Constraints: 31398
2097.16/2102.83 c #Conflicts: 1013000 | #Constraints: 32398
2097.16/2102.83 c #Conflicts: 1014000 | #Constraints: 33398
2097.16/2102.83 c #Conflicts: 1015000 | #Constraints: 34398
2097.16/2102.83 c #Conflicts: 1016000 | #Constraints: 35398
2097.16/2102.83 c #Conflicts: 1017000 | #Constraints: 36398
2097.16/2102.83 c #Conflicts: 1018000 | #Constraints: 37398
2097.16/2102.83 c #Conflicts: 1019000 | #Constraints: 38398
2097.16/2102.83 c #Conflicts: 1020000 | #Constraints: 39398
2097.16/2102.83 c #Conflicts: 1021000 | #Constraints: 40398
2097.16/2102.83 c INPROCESSING
2097.16/2102.83 c GARBAGE COLLECT
2097.16/2102.83 c #Conflicts: 1022000 | #Constraints: 21386
2097.16/2102.83 c #Conflicts: 1023000 | #Constraints: 22386
2097.16/2102.83 c #Conflicts: 1024000 | #Constraints: 23386
2097.16/2102.83 c #Conflicts: 1025000 | #Constraints: 24386
2097.16/2102.83 c #Conflicts: 1026000 | #Constraints: 25386
2097.16/2102.83 c #Conflicts: 1027000 | #Constraints: 26386
2097.16/2102.83 c #Conflicts: 1028000 | #Constraints: 27386
2097.16/2102.83 c #Conflicts: 1029000 | #Constraints: 28386
2097.16/2102.83 c #Conflicts: 1030000 | #Constraints: 29386
2097.16/2102.83 c #Conflicts: 1031000 | #Constraints: 30386
2097.16/2102.83 c #Conflicts: 1032000 | #Constraints: 31386
2097.16/2102.83 c #Conflicts: 1033000 | #Constraints: 32386
2097.16/2102.83 c #Conflicts: 1034000 | #Constraints: 33386
2097.16/2102.83 c #Conflicts: 1035000 | #Constraints: 34386
2097.16/2102.83 c #Conflicts: 1036000 | #Constraints: 35386
2097.16/2102.83 c #Conflicts: 1037000 | #Constraints: 36386
2097.16/2102.83 c #Conflicts: 1038000 | #Constraints: 37386
2097.16/2102.83 c #Conflicts: 1039000 | #Constraints: 38386
2097.16/2102.83 c #Conflicts: 1040000 | #Constraints: 39386
2097.16/2102.83 c #Conflicts: 1041000 | #Constraints: 40386
2097.16/2102.83 c INPROCESSING
2097.16/2102.83 c GARBAGE COLLECT
2097.16/2102.83 c #Conflicts: 1042000 | #Constraints: 21193
2097.16/2102.83 c #Conflicts: 1043000 | #Constraints: 22193
2097.16/2102.83 c #Conflicts: 1044000 | #Constraints: 23193
2464.46/2471.16 c #Conflicts: 1045000 | #Constraints: 24193
2464.46/2471.16 c #Conflicts: 1046000 | #Constraints: 25193
2464.46/2471.16 c #Conflicts: 1047000 | #Constraints: 26193
2464.46/2471.16 c #Conflicts: 1048000 | #Constraints: 27193
2464.46/2471.16 c #Conflicts: 1049000 | #Constraints: 28193
2464.46/2471.16 c #Conflicts: 1050000 | #Constraints: 29193
2464.46/2471.16 c #Conflicts: 1051000 | #Constraints: 30193
2464.46/2471.16 c #Conflicts: 1052000 | #Constraints: 31193
2464.46/2471.16 c #Conflicts: 1053000 | #Constraints: 32193
2464.46/2471.16 c #Conflicts: 1054000 | #Constraints: 33193
2464.46/2471.16 c #Conflicts: 1055000 | #Constraints: 34193
2464.46/2471.16 c #Conflicts: 1056000 | #Constraints: 35193
2464.46/2471.16 c #Conflicts: 1057000 | #Constraints: 36193
2464.46/2471.16 c #Conflicts: 1058000 | #Constraints: 37193
2464.46/2471.16 c #Conflicts: 1059000 | #Constraints: 38193
2464.46/2471.16 c #Conflicts: 1060000 | #Constraints: 39193
2464.46/2471.16 c #Conflicts: 1061000 | #Constraints: 40193
2464.46/2471.16 c #Conflicts: 1062000 | #Constraints: 41193
2464.46/2471.16 c INPROCESSING
2464.46/2471.16 c GARBAGE COLLECT
2464.46/2471.16 c #Conflicts: 1063000 | #Constraints: 21816
2464.46/2471.16 c #Conflicts: 1064000 | #Constraints: 22816
2464.46/2471.16 c #Conflicts: 1065000 | #Constraints: 23816
2464.46/2471.16 c #Conflicts: 1066000 | #Constraints: 24816
2464.46/2471.16 c #Conflicts: 1067000 | #Constraints: 25816
2464.46/2471.16 c #Conflicts: 1068000 | #Constraints: 26816
2464.46/2471.16 c #Conflicts: 1069000 | #Constraints: 27816
2464.46/2471.16 c #Conflicts: 1070000 | #Constraints: 28816
2464.46/2471.16 c #Conflicts: 1071000 | #Constraints: 29816
2464.46/2471.16 c #Conflicts: 1072000 | #Constraints: 30816
2464.46/2471.16 c #Conflicts: 1073000 | #Constraints: 31816
2464.46/2471.16 c #Conflicts: 1074000 | #Constraints: 32816
2464.46/2471.16 c #Conflicts: 1075000 | #Constraints: 33816
2464.46/2471.16 c #Conflicts: 1076000 | #Constraints: 34816
2464.46/2471.16 c #Conflicts: 1077000 | #Constraints: 35816
2464.46/2471.16 c #Conflicts: 1078000 | #Constraints: 36816
2464.46/2471.16 c #Conflicts: 1079000 | #Constraints: 37816
2464.46/2471.16 c #Conflicts: 1080000 | #Constraints: 38816
2464.46/2471.16 c #Conflicts: 1081000 | #Constraints: 39816
2464.46/2471.16 c #Conflicts: 1082000 | #Constraints: 40816
2464.46/2471.16 c #Conflicts: 1083000 | #Constraints: 41816
2464.46/2471.16 c INPROCESSING
2464.46/2471.16 c GARBAGE COLLECT
2464.46/2471.16 c #Conflicts: 1084000 | #Constraints: 22209
2464.46/2471.16 c #Conflicts: 1085000 | #Constraints: 23209
2464.46/2471.16 c #Conflicts: 1086000 | #Constraints: 24209
2464.46/2471.16 c #Conflicts: 1087000 | #Constraints: 25209
2464.46/2471.16 c #Conflicts: 1088000 | #Constraints: 26209
2464.46/2471.16 c #Conflicts: 1089000 | #Constraints: 27209
2464.46/2471.16 c #Conflicts: 1090000 | #Constraints: 28209
2464.46/2471.16 c #Conflicts: 1091000 | #Constraints: 29209
2464.46/2471.16 c #Conflicts: 1092000 | #Constraints: 30209
2464.46/2471.16 c #Conflicts: 1093000 | #Constraints: 31209
2464.46/2471.16 c #Conflicts: 1094000 | #Constraints: 32209
2464.46/2471.16 c #Conflicts: 1095000 | #Constraints: 33209
2464.46/2471.16 c #Conflicts: 1096000 | #Constraints: 34209
2464.46/2471.16 c #Conflicts: 1097000 | #Constraints: 35209
2464.46/2471.16 c #Conflicts: 1098000 | #Constraints: 36209
2464.46/2471.16 c #Conflicts: 1099000 | #Constraints: 37209
2464.46/2471.16 c #Conflicts: 1100000 | #Constraints: 38209
2464.46/2471.16 c #Conflicts: 1101000 | #Constraints: 39209
2464.46/2471.16 c #Conflicts: 1102000 | #Constraints: 40209
2464.46/2471.16 c #Conflicts: 1103000 | #Constraints: 41209
2464.46/2471.16 c #Conflicts: 1104000 | #Constraints: 42209
2464.46/2471.16 c INPROCESSING
2464.46/2471.16 c GARBAGE COLLECT
2464.46/2471.16 c #Conflicts: 1105000 | #Constraints: 22400
2464.46/2471.16 c #Conflicts: 1106000 | #Constraints: 23400
2464.46/2471.16 c #Conflicts: 1107000 | #Constraints: 24400
2464.46/2471.16 c #Conflicts: 1108000 | #Constraints: 25400
2464.46/2471.16 c #Conflicts: 1109000 | #Constraints: 26400
2464.46/2471.16 c #Conflicts: 1110000 | #Constraints: 27400
2464.46/2471.16 c #Conflicts: 1111000 | #Constraints: 28400
2464.46/2471.16 c #Conflicts: 1112000 | #Constraints: 29400
2464.46/2471.16 c #Conflicts: 1113000 | #Constraints: 30400
2464.46/2471.16 c #Conflicts: 1114000 | #Constraints: 31400
2464.46/2471.16 c #Conflicts: 1115000 | #Constraints: 32400
2464.46/2471.16 c #Conflicts: 1116000 | #Constraints: 33400
2464.46/2471.16 c #Conflicts: 1117000 | #Constraints: 34400
2464.46/2471.16 c #Conflicts: 1118000 | #Constraints: 35400
2464.46/2471.16 c #Conflicts: 1119000 | #Constraints: 36400
2464.46/2471.16 c #Conflicts: 1120000 | #Constraints: 37400
2464.46/2471.16 c #Conflicts: 1121000 | #Constraints: 38400
2616.97/2624.04 c #Conflicts: 1122000 | #Constraints: 39400
2616.97/2624.04 c #Conflicts: 1123000 | #Constraints: 40400
2616.97/2624.04 c #Conflicts: 1124000 | #Constraints: 41400
2616.97/2624.04 c #Conflicts: 1125000 | #Constraints: 42400
2616.97/2624.04 c INPROCESSING
2616.97/2624.04 c GARBAGE COLLECT
2616.97/2624.04 c #Conflicts: 1126000 | #Constraints: 22402
2616.97/2624.04 c #Conflicts: 1127000 | #Constraints: 23402
2616.97/2624.04 c #Conflicts: 1128000 | #Constraints: 24402
2616.97/2624.04 c #Conflicts: 1129000 | #Constraints: 25402
2616.97/2624.04 c #Conflicts: 1130000 | #Constraints: 26402
2616.97/2624.04 c #Conflicts: 1131000 | #Constraints: 27402
2616.97/2624.04 c #Conflicts: 1132000 | #Constraints: 28402
2616.97/2624.04 c #Conflicts: 1133000 | #Constraints: 29402
2616.97/2624.04 c #Conflicts: 1134000 | #Constraints: 30402
2616.97/2624.04 c #Conflicts: 1135000 | #Constraints: 31402
2616.97/2624.04 c #Conflicts: 1136000 | #Constraints: 32402
2616.97/2624.04 c #Conflicts: 1137000 | #Constraints: 33402
2616.97/2624.04 c #Conflicts: 1138000 | #Constraints: 34402
2616.97/2624.04 c #Conflicts: 1139000 | #Constraints: 35402
2616.97/2624.04 c #Conflicts: 1140000 | #Constraints: 36402
2616.97/2624.04 c #Conflicts: 1141000 | #Constraints: 37402
2616.97/2624.04 c #Conflicts: 1142000 | #Constraints: 38402
2616.97/2624.04 c #Conflicts: 1143000 | #Constraints: 39402
2616.97/2624.04 c #Conflicts: 1144000 | #Constraints: 40402
2616.97/2624.04 c #Conflicts: 1145000 | #Constraints: 41402
2616.97/2624.04 c #Conflicts: 1146000 | #Constraints: 42402
2616.97/2624.04 c INPROCESSING
2616.97/2624.04 c GARBAGE COLLECT
2616.97/2624.04 c #Conflicts: 1147000 | #Constraints: 22182
2616.97/2624.04 c #Conflicts: 1148000 | #Constraints: 23182
2616.97/2624.04 c #Conflicts: 1149000 | #Constraints: 24182
2616.97/2624.04 c #Conflicts: 1150000 | #Constraints: 25182
2616.97/2624.04 c #Conflicts: 1151000 | #Constraints: 26182
2616.97/2624.04 c #Conflicts: 1152000 | #Constraints: 27182
2616.97/2624.04 c #Conflicts: 1153000 | #Constraints: 28182
2616.97/2624.04 c #Conflicts: 1154000 | #Constraints: 29182
2616.97/2624.04 c #Conflicts: 1155000 | #Constraints: 30182
2616.97/2624.04 c #Conflicts: 1156000 | #Constraints: 31182
2616.97/2624.04 c #Conflicts: 1157000 | #Constraints: 32182
2616.97/2624.04 c #Conflicts: 1158000 | #Constraints: 33182
2616.97/2624.04 c #Conflicts: 1159000 | #Constraints: 34182
2616.97/2624.04 c #Conflicts: 1160000 | #Constraints: 35182
2616.97/2624.04 c #Conflicts: 1161000 | #Constraints: 36182
2616.97/2624.04 c #Conflicts: 1162000 | #Constraints: 37182
2616.97/2624.04 c #Conflicts: 1163000 | #Constraints: 38182
2616.97/2624.04 c #Conflicts: 1164000 | #Constraints: 39182
2616.97/2624.04 c #Conflicts: 1165000 | #Constraints: 40182
2616.97/2624.04 c #Conflicts: 1166000 | #Constraints: 41182
2616.97/2624.04 c #Conflicts: 1167000 | #Constraints: 42182
2616.97/2624.04 c #Conflicts: 1168000 | #Constraints: 43182
2616.97/2624.04 c INPROCESSING
2616.97/2624.04 c GARBAGE COLLECT
2616.97/2624.04 c #Conflicts: 1169000 | #Constraints: 22770
2616.97/2624.04 c #Conflicts: 1170000 | #Constraints: 23770
2616.97/2624.04 c #Conflicts: 1171000 | #Constraints: 24770
2616.97/2624.04 c #Conflicts: 1172000 | #Constraints: 25770
2616.97/2624.04 c #Conflicts: 1173000 | #Constraints: 26770
2616.97/2624.04 c #Conflicts: 1174000 | #Constraints: 27770
2616.97/2624.04 c #Conflicts: 1175000 | #Constraints: 28770
2616.97/2624.04 c #Conflicts: 1176000 | #Constraints: 29770
2616.97/2624.04 c #Conflicts: 1177000 | #Constraints: 30770
2616.97/2624.04 c #Conflicts: 1178000 | #Constraints: 31770
2616.97/2624.04 c #Conflicts: 1179000 | #Constraints: 32770
2616.97/2624.04 c #Conflicts: 1180000 | #Constraints: 33770
2616.97/2624.04 c #Conflicts: 1181000 | #Constraints: 34770
2616.97/2624.04 c #Conflicts: 1182000 | #Constraints: 35770
2616.97/2624.04 c #Conflicts: 1183000 | #Constraints: 36770
2616.97/2624.04 c #Conflicts: 1184000 | #Constraints: 37770
2616.97/2624.04 c #Conflicts: 1185000 | #Constraints: 38770
2616.97/2624.04 c #Conflicts: 1186000 | #Constraints: 39770
2616.97/2624.04 c #Conflicts: 1187000 | #Constraints: 40770
2616.97/2624.04 c #Conflicts: 1188000 | #Constraints: 41770
2616.97/2624.04 c #Conflicts: 1189000 | #Constraints: 42770
2616.97/2624.04 c #Conflicts: 1190000 | #Constraints: 43770
2616.97/2624.04 c INPROCESSING
2616.97/2624.04 c GARBAGE COLLECT
2616.97/2624.04 c #Conflicts: 1191000 | #Constraints: 23175
2616.97/2624.04 c #Conflicts: 1192000 | #Constraints: 24175
2616.97/2624.04 c #Conflicts: 1193000 | #Constraints: 25175
2616.97/2624.04 c #Conflicts: 1194000 | #Constraints: 26175
2616.97/2624.04 c #Conflicts: 1195000 | #Constraints: 27175
2616.97/2624.04 c #Conflicts: 1196000 | #Constraints: 28175
2616.97/2624.04 c #Conflicts: 1197000 | #Constraints: 29175
2787.63/2795.18 c #Conflicts: 1198000 | #Constraints: 30175
2787.63/2795.18 c #Conflicts: 1199000 | #Constraints: 31175
2787.63/2795.18 c #Conflicts: 1200000 | #Constraints: 32175
2787.63/2795.18 c #Conflicts: 1201000 | #Constraints: 33175
2787.63/2795.18 c #Conflicts: 1202000 | #Constraints: 34175
2787.63/2795.18 c #Conflicts: 1203000 | #Constraints: 35175
2787.63/2795.18 c #Conflicts: 1204000 | #Constraints: 36175
2787.63/2795.18 c #Conflicts: 1205000 | #Constraints: 37175
2787.63/2795.18 c #Conflicts: 1206000 | #Constraints: 38175
2787.63/2795.18 c #Conflicts: 1207000 | #Constraints: 39175
2787.63/2795.18 c #Conflicts: 1208000 | #Constraints: 40175
2787.63/2795.18 c #Conflicts: 1209000 | #Constraints: 41175
2787.63/2795.18 c #Conflicts: 1210000 | #Constraints: 42175
2787.63/2795.18 c #Conflicts: 1211000 | #Constraints: 43175
2787.63/2795.18 c #Conflicts: 1212000 | #Constraints: 44175
2787.63/2795.18 c INPROCESSING
2787.63/2795.18 c GARBAGE COLLECT
2787.63/2795.18 c #Conflicts: 1213000 | #Constraints: 23377
2787.63/2795.18 c #Conflicts: 1214000 | #Constraints: 24377
2787.63/2795.18 c #Conflicts: 1215000 | #Constraints: 25377
2787.63/2795.18 c #Conflicts: 1216000 | #Constraints: 26377
2787.63/2795.18 c #Conflicts: 1217000 | #Constraints: 27377
2787.63/2795.18 c #Conflicts: 1218000 | #Constraints: 28377
2787.63/2795.18 c #Conflicts: 1219000 | #Constraints: 29377
2787.63/2795.18 c #Conflicts: 1220000 | #Constraints: 30377
2787.63/2795.18 c #Conflicts: 1221000 | #Constraints: 31377
2787.63/2795.18 c #Conflicts: 1222000 | #Constraints: 32377
2787.63/2795.18 c #Conflicts: 1223000 | #Constraints: 33377
2787.63/2795.18 c #Conflicts: 1224000 | #Constraints: 34377
2787.63/2795.18 c #Conflicts: 1225000 | #Constraints: 35377
2787.63/2795.18 c #Conflicts: 1226000 | #Constraints: 36377
2787.63/2795.18 c #Conflicts: 1227000 | #Constraints: 37377
2787.63/2795.18 c #Conflicts: 1228000 | #Constraints: 38377
2787.63/2795.18 c #Conflicts: 1229000 | #Constraints: 39377
2787.63/2795.18 c #Conflicts: 1230000 | #Constraints: 40377
2787.63/2795.18 c #Conflicts: 1231000 | #Constraints: 41377
2787.63/2795.18 c #Conflicts: 1232000 | #Constraints: 42377
2787.63/2795.18 c #Conflicts: 1233000 | #Constraints: 43377
2787.63/2795.18 c #Conflicts: 1234000 | #Constraints: 44377
2787.63/2795.18 c INPROCESSING
2787.63/2795.18 c GARBAGE COLLECT
2787.63/2795.18 c #Conflicts: 1235000 | #Constraints: 23358
2787.63/2795.18 c #Conflicts: 1236000 | #Constraints: 24358
2787.63/2795.18 c #Conflicts: 1237000 | #Constraints: 25358
2787.63/2795.18 c #Conflicts: 1238000 | #Constraints: 26358
2787.63/2795.18 c #Conflicts: 1239000 | #Constraints: 27358
2787.63/2795.18 c #Conflicts: 1240000 | #Constraints: 28358
2787.63/2795.18 c #Conflicts: 1241000 | #Constraints: 29358
2787.63/2795.18 c #Conflicts: 1242000 | #Constraints: 30358
2787.63/2795.18 c #Conflicts: 1243000 | #Constraints: 31358
2787.63/2795.18 c #Conflicts: 1244000 | #Constraints: 32358
2787.63/2795.18 c #Conflicts: 1245000 | #Constraints: 33358
2787.63/2795.18 c #Conflicts: 1246000 | #Constraints: 34358
2787.63/2795.18 c #Conflicts: 1247000 | #Constraints: 35358
2787.63/2795.18 c #Conflicts: 1248000 | #Constraints: 36358
2787.63/2795.18 c #Conflicts: 1249000 | #Constraints: 37358
2787.63/2795.18 c #Conflicts: 1250000 | #Constraints: 38358
2787.63/2795.18 c #Conflicts: 1251000 | #Constraints: 39358
2787.63/2795.18 c #Conflicts: 1252000 | #Constraints: 40358
2787.63/2795.18 c #Conflicts: 1253000 | #Constraints: 41358
2787.63/2795.18 c #Conflicts: 1254000 | #Constraints: 42358
2787.63/2795.18 c #Conflicts: 1255000 | #Constraints: 43358
2787.63/2795.18 c #Conflicts: 1256000 | #Constraints: 44358
2787.63/2795.18 c INPROCESSING
2787.63/2795.18 c GARBAGE COLLECT
2787.63/2795.18 c #Conflicts: 1257000 | #Constraints: 23151
2787.63/2795.18 c #Conflicts: 1258000 | #Constraints: 24151
2787.63/2795.18 c #Conflicts: 1259000 | #Constraints: 25151
2787.63/2795.18 c #Conflicts: 1260000 | #Constraints: 26151
2787.63/2795.18 c #Conflicts: 1261000 | #Constraints: 27151
2787.63/2795.18 c #Conflicts: 1262000 | #Constraints: 28151
2787.63/2795.18 c #Conflicts: 1263000 | #Constraints: 29151
2787.63/2795.18 c #Conflicts: 1264000 | #Constraints: 30151
2787.63/2795.18 c #Conflicts: 1265000 | #Constraints: 31151
2787.63/2795.18 c #Conflicts: 1266000 | #Constraints: 32151
2787.63/2795.18 c #Conflicts: 1267000 | #Constraints: 33151
2787.63/2795.18 c #Conflicts: 1268000 | #Constraints: 34151
2787.63/2795.18 c #Conflicts: 1269000 | #Constraints: 35151
2787.63/2795.18 c #Conflicts: 1270000 | #Constraints: 36151
2787.63/2795.18 c #Conflicts: 1271000 | #Constraints: 37151
2787.63/2795.18 c #Conflicts: 1272000 | #Constraints: 38151
2787.63/2795.18 c #Conflicts: 1273000 | #Constraints: 39151
2787.63/2795.18 c #Conflicts: 1274000 | #Constraints: 40151
3013.24/3021.45 c #Conflicts: 1275000 | #Constraints: 41151
3013.24/3021.45 c #Conflicts: 1276000 | #Constraints: 42151
3013.24/3021.45 c #Conflicts: 1277000 | #Constraints: 43151
3013.24/3021.45 c #Conflicts: 1278000 | #Constraints: 44151
3013.24/3021.45 c #Conflicts: 1279000 | #Constraints: 45151
3013.24/3021.45 c INPROCESSING
3013.24/3021.45 c GARBAGE COLLECT
3013.24/3021.45 c #Conflicts: 1280000 | #Constraints: 23757
3013.24/3021.45 c #Conflicts: 1281000 | #Constraints: 24757
3013.24/3021.45 c #Conflicts: 1282000 | #Constraints: 25757
3013.24/3021.45 c #Conflicts: 1283000 | #Constraints: 26757
3013.24/3021.45 c #Conflicts: 1284000 | #Constraints: 27757
3013.24/3021.45 c #Conflicts: 1285000 | #Constraints: 28757
3013.24/3021.45 c #Conflicts: 1286000 | #Constraints: 29757
3013.24/3021.45 c #Conflicts: 1287000 | #Constraints: 30757
3013.24/3021.45 c #Conflicts: 1288000 | #Constraints: 31757
3013.24/3021.45 c #Conflicts: 1289000 | #Constraints: 32757
3013.24/3021.45 c #Conflicts: 1290000 | #Constraints: 33757
3013.24/3021.45 c #Conflicts: 1291000 | #Constraints: 34757
3013.24/3021.45 c #Conflicts: 1292000 | #Constraints: 35757
3013.24/3021.45 c #Conflicts: 1293000 | #Constraints: 36757
3013.24/3021.45 c #Conflicts: 1294000 | #Constraints: 37757
3013.24/3021.45 c #Conflicts: 1295000 | #Constraints: 38757
3013.24/3021.45 c #Conflicts: 1296000 | #Constraints: 39757
3013.24/3021.45 c #Conflicts: 1297000 | #Constraints: 40757
3013.24/3021.45 c #Conflicts: 1298000 | #Constraints: 41757
3013.24/3021.45 c #Conflicts: 1299000 | #Constraints: 42757
3013.24/3021.45 c #Conflicts: 1300000 | #Constraints: 43757
3013.24/3021.45 c #Conflicts: 1301000 | #Constraints: 44757
3013.24/3021.45 c #Conflicts: 1302000 | #Constraints: 45757
3013.24/3021.45 c INPROCESSING
3013.24/3021.45 c GARBAGE COLLECT
3013.24/3021.45 c #Conflicts: 1303000 | #Constraints: 24164
3013.24/3021.45 c #Conflicts: 1304000 | #Constraints: 25164
3013.24/3021.45 c #Conflicts: 1305000 | #Constraints: 26164
3013.24/3021.45 c #Conflicts: 1306000 | #Constraints: 27164
3013.24/3021.45 c #Conflicts: 1307000 | #Constraints: 28164
3013.24/3021.45 c #Conflicts: 1308000 | #Constraints: 29164
3013.24/3021.45 c #Conflicts: 1309000 | #Constraints: 30164
3013.24/3021.45 c #Conflicts: 1310000 | #Constraints: 31164
3013.24/3021.45 c #Conflicts: 1311000 | #Constraints: 32164
3013.24/3021.45 c #Conflicts: 1312000 | #Constraints: 33164
3013.24/3021.45 c #Conflicts: 1313000 | #Constraints: 34164
3013.24/3021.45 c #Conflicts: 1314000 | #Constraints: 35164
3013.24/3021.45 c #Conflicts: 1315000 | #Constraints: 36164
3013.24/3021.45 c #Conflicts: 1316000 | #Constraints: 37164
3013.24/3021.45 c #Conflicts: 1317000 | #Constraints: 38164
3013.24/3021.45 c #Conflicts: 1318000 | #Constraints: 39164
3013.24/3021.45 c #Conflicts: 1319000 | #Constraints: 40164
3013.24/3021.45 c #Conflicts: 1320000 | #Constraints: 41164
3013.24/3021.45 c #Conflicts: 1321000 | #Constraints: 42164
3013.24/3021.45 c #Conflicts: 1322000 | #Constraints: 43164
3013.24/3021.45 c #Conflicts: 1323000 | #Constraints: 44164
3013.24/3021.45 c #Conflicts: 1324000 | #Constraints: 45164
3013.24/3021.45 c #Conflicts: 1325000 | #Constraints: 46164
3013.24/3021.45 c INPROCESSING
3013.24/3021.45 c GARBAGE COLLECT
3013.24/3021.45 c #Conflicts: 1326000 | #Constraints: 24395
3013.24/3021.45 c #Conflicts: 1327000 | #Constraints: 25395
3013.24/3021.45 c #Conflicts: 1328000 | #Constraints: 26395
3013.24/3021.45 c #Conflicts: 1329000 | #Constraints: 27395
3013.24/3021.45 c #Conflicts: 1330000 | #Constraints: 28395
3013.24/3021.45 c #Conflicts: 1331000 | #Constraints: 29395
3013.24/3021.45 c #Conflicts: 1332000 | #Constraints: 30395
3013.24/3021.45 c #Conflicts: 1333000 | #Constraints: 31395
3013.24/3021.45 c #Conflicts: 1334000 | #Constraints: 32395
3013.24/3021.45 c #Conflicts: 1335000 | #Constraints: 33395
3013.24/3021.45 c #Conflicts: 1336000 | #Constraints: 34395
3013.24/3021.45 c #Conflicts: 1337000 | #Constraints: 35395
3013.24/3021.45 c #Conflicts: 1338000 | #Constraints: 36395
3013.24/3021.45 c #Conflicts: 1339000 | #Constraints: 37395
3013.24/3021.45 c #Conflicts: 1340000 | #Constraints: 38395
3013.24/3021.45 c #Conflicts: 1341000 | #Constraints: 39395
3013.24/3021.45 c #Conflicts: 1342000 | #Constraints: 40395
3013.24/3021.45 c #Conflicts: 1343000 | #Constraints: 41395
3013.24/3021.45 c #Conflicts: 1344000 | #Constraints: 42395
3013.24/3021.45 c #Conflicts: 1345000 | #Constraints: 43395
3013.24/3021.45 c #Conflicts: 1346000 | #Constraints: 44395
3013.24/3021.45 c #Conflicts: 1347000 | #Constraints: 45395
3013.24/3021.45 c #Conflicts: 1348000 | #Constraints: 46395
3013.24/3021.45 c INPROCESSING
3013.24/3021.45 c GARBAGE COLLECT
3013.24/3021.45 c #Conflicts: 1349000 | #Constraints: 24391
3013.24/3021.45 c #Conflicts: 1350000 | #Constraints: 25391
3204.49/3213.22 c #Conflicts: 1351000 | #Constraints: 26391
3204.49/3213.22 c #Conflicts: 1352000 | #Constraints: 27391
3204.49/3213.22 c #Conflicts: 1353000 | #Constraints: 28391
3204.49/3213.22 c #Conflicts: 1354000 | #Constraints: 29391
3204.49/3213.22 c #Conflicts: 1355000 | #Constraints: 30391
3204.49/3213.22 c #Conflicts: 1356000 | #Constraints: 31391
3204.49/3213.22 c #Conflicts: 1357000 | #Constraints: 32391
3204.49/3213.22 c #Conflicts: 1358000 | #Constraints: 33391
3204.49/3213.22 c #Conflicts: 1359000 | #Constraints: 34391
3204.49/3213.22 c #Conflicts: 1360000 | #Constraints: 35391
3204.49/3213.22 c #Conflicts: 1361000 | #Constraints: 36391
3204.49/3213.22 c #Conflicts: 1362000 | #Constraints: 37391
3204.49/3213.22 c #Conflicts: 1363000 | #Constraints: 38391
3204.49/3213.22 c #Conflicts: 1364000 | #Constraints: 39391
3204.49/3213.22 c #Conflicts: 1365000 | #Constraints: 40391
3204.49/3213.22 c #Conflicts: 1366000 | #Constraints: 41391
3204.49/3213.22 c #Conflicts: 1367000 | #Constraints: 42391
3204.49/3213.22 c #Conflicts: 1368000 | #Constraints: 43391
3204.49/3213.22 c #Conflicts: 1369000 | #Constraints: 44391
3204.49/3213.22 c #Conflicts: 1370000 | #Constraints: 45391
3204.49/3213.22 c #Conflicts: 1371000 | #Constraints: 46391
3204.49/3213.22 c INPROCESSING
3204.49/3213.22 c GARBAGE COLLECT
3204.49/3213.22 c #Conflicts: 1372000 | #Constraints: 24175
3204.49/3213.22 c #Conflicts: 1373000 | #Constraints: 25175
3204.49/3213.22 c #Conflicts: 1374000 | #Constraints: 26175
3204.49/3213.22 c #Conflicts: 1375000 | #Constraints: 27175
3204.49/3213.22 c #Conflicts: 1376000 | #Constraints: 28175
3204.49/3213.22 c #Conflicts: 1377000 | #Constraints: 29175
3204.49/3213.22 c #Conflicts: 1378000 | #Constraints: 30175
3204.49/3213.22 c #Conflicts: 1379000 | #Constraints: 31175
3204.49/3213.22 c #Conflicts: 1380000 | #Constraints: 32175
3204.49/3213.22 c #Conflicts: 1381000 | #Constraints: 33175
3204.49/3213.22 c #Conflicts: 1382000 | #Constraints: 34175
3204.49/3213.22 c #Conflicts: 1383000 | #Constraints: 35175
3204.49/3213.22 c #Conflicts: 1384000 | #Constraints: 36175
3204.49/3213.22 c #Conflicts: 1385000 | #Constraints: 37175
3204.49/3213.22 c #Conflicts: 1386000 | #Constraints: 38175
3204.49/3213.22 c #Conflicts: 1387000 | #Constraints: 39175
3204.49/3213.22 c #Conflicts: 1388000 | #Constraints: 40175
3204.49/3213.22 c #Conflicts: 1389000 | #Constraints: 41175
3204.49/3213.22 c #Conflicts: 1390000 | #Constraints: 42175
3204.49/3213.22 c #Conflicts: 1391000 | #Constraints: 43175
3204.49/3213.22 c #Conflicts: 1392000 | #Constraints: 44175
3204.49/3213.22 c #Conflicts: 1393000 | #Constraints: 45175
3204.49/3213.22 c #Conflicts: 1394000 | #Constraints: 46175
3204.49/3213.22 c #Conflicts: 1395000 | #Constraints: 47175
3204.49/3213.22 c INPROCESSING
3204.49/3213.22 c GARBAGE COLLECT
3204.49/3213.22 c #Conflicts: 1396000 | #Constraints: 24770
3204.49/3213.22 c #Conflicts: 1397000 | #Constraints: 25770
3204.49/3213.22 c #Conflicts: 1398000 | #Constraints: 26770
3204.49/3213.22 c #Conflicts: 1399000 | #Constraints: 27770
3204.49/3213.22 c #Conflicts: 1400000 | #Constraints: 28770
3204.49/3213.22 c #Conflicts: 1401000 | #Constraints: 29770
3204.49/3213.22 c #Conflicts: 1402000 | #Constraints: 30770
3204.49/3213.22 c #Conflicts: 1403000 | #Constraints: 31770
3204.49/3213.22 c #Conflicts: 1404000 | #Constraints: 32770
3204.49/3213.22 c #Conflicts: 1405000 | #Constraints: 33770
3204.49/3213.22 c #Conflicts: 1406000 | #Constraints: 34770
3204.49/3213.22 c #Conflicts: 1407000 | #Constraints: 35770
3204.49/3213.22 c #Conflicts: 1408000 | #Constraints: 36770
3204.49/3213.22 c #Conflicts: 1409000 | #Constraints: 37770
3204.49/3213.22 c #Conflicts: 1410000 | #Constraints: 38770
3204.49/3213.22 c #Conflicts: 1411000 | #Constraints: 39770
3204.49/3213.22 c #Conflicts: 1412000 | #Constraints: 40770
3204.49/3213.22 c #Conflicts: 1413000 | #Constraints: 41770
3204.49/3213.22 c #Conflicts: 1414000 | #Constraints: 42770
3204.49/3213.22 c #Conflicts: 1415000 | #Constraints: 43770
3204.49/3213.22 c #Conflicts: 1416000 | #Constraints: 44770
3204.49/3213.22 c #Conflicts: 1417000 | #Constraints: 45770
3204.49/3213.22 c #Conflicts: 1418000 | #Constraints: 46770
3204.49/3213.22 c #Conflicts: 1419000 | #Constraints: 47770
3204.49/3213.22 c INPROCESSING
3204.49/3213.22 c GARBAGE COLLECT
3204.49/3213.22 c #Conflicts: 1420000 | #Constraints: 25173
3204.49/3213.22 c #Conflicts: 1421000 | #Constraints: 26173
3204.49/3213.22 c #Conflicts: 1422000 | #Constraints: 27173
3204.49/3213.22 c #Conflicts: 1423000 | #Constraints: 28173
3204.49/3213.22 c #Conflicts: 1424000 | #Constraints: 29173
3204.49/3213.22 c #Conflicts: 1425000 | #Constraints: 30173
3204.49/3213.22 c #Conflicts: 1426000 | #Constraints: 31173
3204.49/3213.22 c #Conflicts: 1427000 | #Constraints: 32173
3377.40/3386.64 c #Conflicts: 1428000 | #Constraints: 33173
3377.40/3386.64 c #Conflicts: 1429000 | #Constraints: 34173
3377.40/3386.64 c #Conflicts: 1430000 | #Constraints: 35173
3377.40/3386.64 c #Conflicts: 1431000 | #Constraints: 36173
3377.40/3386.64 c #Conflicts: 1432000 | #Constraints: 37173
3377.40/3386.64 c #Conflicts: 1433000 | #Constraints: 38173
3377.40/3386.64 c #Conflicts: 1434000 | #Constraints: 39173
3377.40/3386.64 c #Conflicts: 1435000 | #Constraints: 40173
3377.40/3386.64 c #Conflicts: 1436000 | #Constraints: 41173
3377.40/3386.64 c #Conflicts: 1437000 | #Constraints: 42173
3377.40/3386.64 c #Conflicts: 1438000 | #Constraints: 43173
3377.40/3386.64 c #Conflicts: 1439000 | #Constraints: 44173
3377.40/3386.64 c #Conflicts: 1440000 | #Constraints: 45173
3377.40/3386.64 c #Conflicts: 1441000 | #Constraints: 46173
3377.40/3386.64 c #Conflicts: 1442000 | #Constraints: 47173
3377.40/3386.64 c #Conflicts: 1443000 | #Constraints: 48173
3377.40/3386.64 c INPROCESSING
3377.40/3386.64 c GARBAGE COLLECT
3377.40/3386.64 c #Conflicts: 1444000 | #Constraints: 25373
3377.40/3386.64 c #Conflicts: 1445000 | #Constraints: 26373
3377.40/3386.64 c #Conflicts: 1446000 | #Constraints: 27373
3377.40/3386.64 c #Conflicts: 1447000 | #Constraints: 28373
3377.40/3386.64 c #Conflicts: 1448000 | #Constraints: 29373
3377.40/3386.64 c #Conflicts: 1449000 | #Constraints: 30373
3377.40/3386.64 c #Conflicts: 1450000 | #Constraints: 31373
3377.40/3386.64 c #Conflicts: 1451000 | #Constraints: 32373
3377.40/3386.64 c #Conflicts: 1452000 | #Constraints: 33373
3377.40/3386.64 c #Conflicts: 1453000 | #Constraints: 34373
3377.40/3386.64 c #Conflicts: 1454000 | #Constraints: 35373
3377.40/3386.64 c #Conflicts: 1455000 | #Constraints: 36373
3377.40/3386.64 c #Conflicts: 1456000 | #Constraints: 37373
3377.40/3386.64 c #Conflicts: 1457000 | #Constraints: 38373
3377.40/3386.64 c #Conflicts: 1458000 | #Constraints: 39373
3377.40/3386.64 c #Conflicts: 1459000 | #Constraints: 40373
3377.40/3386.64 c #Conflicts: 1460000 | #Constraints: 41373
3377.40/3386.64 c #Conflicts: 1461000 | #Constraints: 42373
3377.40/3386.64 c #Conflicts: 1462000 | #Constraints: 43373
3377.40/3386.64 c #Conflicts: 1463000 | #Constraints: 44373
3377.40/3386.64 c #Conflicts: 1464000 | #Constraints: 45373
3377.40/3386.64 c #Conflicts: 1465000 | #Constraints: 46373
3377.40/3386.64 c #Conflicts: 1466000 | #Constraints: 47373
3377.40/3386.64 c #Conflicts: 1467000 | #Constraints: 48373
3377.40/3386.64 c INPROCESSING
3377.40/3386.64 c GARBAGE COLLECT
3377.40/3386.64 c #Conflicts: 1468000 | #Constraints: 25372
3377.40/3386.64 c #Conflicts: 1469000 | #Constraints: 26372
3377.40/3386.64 c #Conflicts: 1470000 | #Constraints: 27372
3377.40/3386.64 c #Conflicts: 1471000 | #Constraints: 28372
3377.40/3386.64 c #Conflicts: 1472000 | #Constraints: 29372
3377.40/3386.64 c #Conflicts: 1473000 | #Constraints: 30372
3377.40/3386.64 c #Conflicts: 1474000 | #Constraints: 31372
3377.40/3386.64 c #Conflicts: 1475000 | #Constraints: 32372
3377.40/3386.64 c #Conflicts: 1476000 | #Constraints: 33372
3377.40/3386.64 c #Conflicts: 1477000 | #Constraints: 34372
3377.40/3386.64 c #Conflicts: 1478000 | #Constraints: 35372
3377.40/3386.64 c #Conflicts: 1479000 | #Constraints: 36372
3377.40/3386.64 c #Conflicts: 1480000 | #Constraints: 37372
3377.40/3386.64 c #Conflicts: 1481000 | #Constraints: 38372
3377.40/3386.64 c #Conflicts: 1482000 | #Constraints: 39372
3377.40/3386.64 c #Conflicts: 1483000 | #Constraints: 40372
3377.40/3386.64 c #Conflicts: 1484000 | #Constraints: 41372
3377.40/3386.64 c #Conflicts: 1485000 | #Constraints: 42372
3377.40/3386.64 c #Conflicts: 1486000 | #Constraints: 43372
3377.40/3386.64 c #Conflicts: 1487000 | #Constraints: 44372
3377.40/3386.64 c #Conflicts: 1488000 | #Constraints: 45372
3377.40/3386.64 c #Conflicts: 1489000 | #Constraints: 46372
3377.40/3386.64 c #Conflicts: 1490000 | #Constraints: 47372
3377.40/3386.64 c #Conflicts: 1491000 | #Constraints: 48372
3377.40/3386.64 c INPROCESSING
3377.40/3386.64 c GARBAGE COLLECT
3377.40/3386.64 c #Conflicts: 1492000 | #Constraints: 25155
3377.40/3386.64 c #Conflicts: 1493000 | #Constraints: 26155
3377.40/3386.64 c #Conflicts: 1494000 | #Constraints: 27155
3377.40/3386.64 c #Conflicts: 1495000 | #Constraints: 28155
3377.40/3386.64 c #Conflicts: 1496000 | #Constraints: 29155
3377.40/3386.64 c #Conflicts: 1497000 | #Constraints: 30155
3377.40/3386.64 c #Conflicts: 1498000 | #Constraints: 31155
3377.40/3386.64 c #Conflicts: 1499000 | #Constraints: 32155
3377.40/3386.64 c #Conflicts: 1500000 | #Constraints: 33155
3377.40/3386.64 c #Conflicts: 1501000 | #Constraints: 34155
3377.40/3386.64 c #Conflicts: 1502000 | #Constraints: 35155
3377.40/3386.64 c #Conflicts: 1503000 | #Constraints: 36155
3377.40/3386.64 c #Conflicts: 1504000 | #Constraints: 37155
3600.07/3609.90 c #Conflicts: 1505000 | #Constraints: 38155
3600.07/3609.90 c #Conflicts: 1506000 | #Constraints: 39155
3600.07/3609.90 c #Conflicts: 1507000 | #Constraints: 40155
3600.07/3609.90 c #Conflicts: 1508000 | #Constraints: 41155
3600.07/3609.90 c #Conflicts: 1509000 | #Constraints: 42155
3600.07/3609.90 c #Conflicts: 1510000 | #Constraints: 43155
3600.07/3609.90 c #Conflicts: 1511000 | #Constraints: 44155
3600.07/3609.90 c #Conflicts: 1512000 | #Constraints: 45155
3600.07/3609.90 c #Conflicts: 1513000 | #Constraints: 46155
3600.07/3609.90 c #Conflicts: 1514000 | #Constraints: 47155
3600.07/3609.90 c #Conflicts: 1515000 | #Constraints: 48155
3600.07/3609.90 c #Conflicts: 1516000 | #Constraints: 49155
3600.07/3609.90 c INPROCESSING
3600.07/3609.90 c GARBAGE COLLECT
3600.07/3609.90 c #Conflicts: 1517000 | #Constraints: 25748
3600.07/3609.90 c #Conflicts: 1518000 | #Constraints: 26748
3600.07/3609.90 c #Conflicts: 1519000 | #Constraints: 27748
3600.07/3609.90 c #Conflicts: 1520000 | #Constraints: 28748
3600.07/3609.90 c #Conflicts: 1521000 | #Constraints: 29748
3600.07/3609.90 c #Conflicts: 1522000 | #Constraints: 30748
3600.07/3609.90 c #Conflicts: 1523000 | #Constraints: 31748
3600.07/3609.90 c #Conflicts: 1524000 | #Constraints: 32748
3600.07/3609.90 c #Conflicts: 1525000 | #Constraints: 33748
3600.07/3609.90 c #Conflicts: 1526000 | #Constraints: 34748
3600.07/3609.90 c #Conflicts: 1527000 | #Constraints: 35748
3600.07/3609.90 c #Conflicts: 1528000 | #Constraints: 36748
3600.07/3609.90 c #Conflicts: 1529000 | #Constraints: 37748
3600.07/3609.90 c #Conflicts: 1530000 | #Constraints: 38748
3600.07/3609.90 c #Conflicts: 1531000 | #Constraints: 39748
3600.07/3609.90 c #Conflicts: 1532000 | #Constraints: 40748
3600.07/3609.90 c #Conflicts: 1533000 | #Constraints: 41748
3600.07/3609.90 c #Conflicts: 1534000 | #Constraints: 42748
3600.07/3609.90 c #Conflicts: 1535000 | #Constraints: 43748
3600.07/3609.90 c #Conflicts: 1536000 | #Constraints: 44748
3600.07/3609.90 c #Conflicts: 1537000 | #Constraints: 45748
3600.07/3609.90 c #Conflicts: 1538000 | #Constraints: 46748
3600.07/3609.90 c #Conflicts: 1539000 | #Constraints: 47748
3600.07/3609.90 c #Conflicts: 1540000 | #Constraints: 48748
3600.07/3609.90 c #Conflicts: 1541000 | #Constraints: 49748
3600.07/3609.90 c INPROCESSING
3600.07/3609.90 c GARBAGE COLLECT
3600.07/3609.90 c #Conflicts: 1542000 | #Constraints: 26169
3600.07/3609.90 c #Conflicts: 1543000 | #Constraints: 27169
3600.07/3609.90 c #Conflicts: 1544000 | #Constraints: 28169
3600.07/3609.90 c #Conflicts: 1545000 | #Constraints: 29169
3600.07/3609.90 c #Conflicts: 1546000 | #Constraints: 30169
3600.07/3609.90 c #Conflicts: 1547000 | #Constraints: 31169
3600.07/3609.90 c #Conflicts: 1548000 | #Constraints: 32169
3600.07/3609.90 c #Conflicts: 1549000 | #Constraints: 33169
3600.07/3609.90 c #Conflicts: 1550000 | #Constraints: 34169
3600.07/3609.90 c #Conflicts: 1551000 | #Constraints: 35169
3600.07/3609.90 c #Conflicts: 1552000 | #Constraints: 36169
3600.07/3609.90 c #Conflicts: 1553000 | #Constraints: 37169
3600.07/3609.90 c #Conflicts: 1554000 | #Constraints: 38169
3600.07/3609.90 c #Conflicts: 1555000 | #Constraints: 39169
3600.07/3609.90 c #Conflicts: 1556000 | #Constraints: 40169
3600.07/3609.90 c #Conflicts: 1557000 | #Constraints: 41169
3600.07/3609.90 c #Conflicts: 1558000 | #Constraints: 42169
3600.07/3609.90 c #Conflicts: 1559000 | #Constraints: 43169
3600.07/3609.90 c #Conflicts: 1560000 | #Constraints: 44169
3600.07/3609.90 c #Conflicts: 1561000 | #Constraints: 45169
3600.07/3609.90 c #Conflicts: 1562000 | #Constraints: 46169
3600.07/3609.90 c #Conflicts: 1563000 | #Constraints: 47169
3600.07/3609.90 c #Conflicts: 1564000 | #Constraints: 48169
3600.07/3609.90 c #Conflicts: 1565000 | #Constraints: 49169
3600.07/3609.90 c #Conflicts: 1566000 | #Constraints: 50169
3600.07/3609.90 c INPROCESSING
3600.07/3609.90 c GARBAGE COLLECT
3600.07/3609.90 c #Conflicts: 1567000 | #Constraints: 26373
3600.07/3609.90 c #Conflicts: 1568000 | #Constraints: 27373
3600.07/3609.90 c #Conflicts: 1569000 | #Constraints: 28373
3600.07/3609.90 c #Conflicts: 1570000 | #Constraints: 29373
3600.07/3609.90 c Program interrupted by user.
3600.07/3609.90 c cpu time 3586.87 s
3600.07/3609.90 c deterministic time 616150173955 6.16e+11
3600.07/3609.90 c optimization time 6.48966 s
3600.07/3609.90 c total solve time 3281.31 s
3600.07/3609.90 c core-guided solve time 0 s
3600.07/3609.90 c propagation time 2719.81 s
3600.07/3609.90 c conflict analysis time 509.033 s
3600.07/3609.90 c propagations 428207885
3600.07/3609.90 c resolve steps 11954545
3600.07/3609.90 c decisions 8546180
3600.07/3609.90 c conflicts 1570856
3600.07/3609.90 c restarts 3068
3600.07/3609.90 c inprocessing phases 116
3600.07/3609.90 c input clauses 63
3600.07/3609.90 c input cardinalities 63
3600.07/3609.90 c input general constraints 384
3600.07/3609.90 c input average constraint length 60.02
3600.07/3609.90 c input average constraint degree 534.86
3600.07/3609.90 c learned clauses 191181
3600.07/3609.90 c learned cardinalities 16650
3600.07/3609.90 c learned general constraints 1363025
3600.07/3609.90 c learned average constraint length 482.37
3600.07/3609.90 c learned average constraint degree 10663863.86
3600.07/3609.90 c watched constraints 1042142
3600.07/3609.90 c counting constraints 321267
3600.07/3609.90 c gcd simplifications 143340
3600.07/3609.90 c detected cardinalities 586
3600.07/3609.90 c weakened non-implied lits 124139889
3600.07/3609.90 c weakened non-implying lits 177168
3600.07/3609.90 c original variables 3216
3600.07/3609.90 c clausal propagations 2170079
3600.07/3609.90 c cardinality propagations 8179020
3600.07/3609.90 c watched propagations 22129129
3600.07/3609.90 c counting propagations 393781600
3600.07/3609.90 c watch lookups 47517396921
3600.07/3609.90 c watch backjump lookups 43499818701
3600.07/3609.90 c watch checks 446755809771
3600.07/3609.90 c propagation checks 74917282076
3600.07/3609.90 c constraint additions 2584789342
3600.07/3609.90 c trail pops 438323078
3600.07/3609.90 c formula constraints 510
3600.07/3609.90 c learned constraints 1570856
3600.07/3609.90 c bound constraints 0
3600.07/3609.90 c core-guided constraints 0
3600.07/3609.90 c encountered formula constraints 6286706
3600.07/3609.90 c encountered learned constraints 7238695
3600.07/3609.90 c encountered bound constraints 0
3600.07/3609.90 c encountered core-guided constraints 0
3600.07/3609.90 c LP total time 0 s
3600.07/3609.90 c LP solve time 0 s
3600.07/3609.90 c LP constraints added 0
3600.07/3609.90 c LP constraints removed 0
3600.07/3609.90 c LP pivots internal 0
3600.07/3609.90 c LP pivots root 0
3600.07/3609.90 c LP calls 0
3600.07/3609.90 c LP optimalities 0
3600.07/3609.90 c LP no pivot count 0
3600.07/3609.90 c LP infeasibilities 0
3600.07/3609.90 c LP valid Farkas constraints 0
3600.07/3609.90 c LP learned Farkas constraints 0
3600.07/3609.90 c LP basis resets 0
3600.07/3609.90 c LP cycling count 0
3600.07/3609.90 c LP singular count 0
3600.07/3609.90 c LP no primal count 0
3600.07/3609.90 c LP no farkas count 0
3600.07/3609.90 c LP other issue count 0
3600.07/3609.90 c LP Gomory cuts 0
3600.07/3609.90 c LP learned cuts 0
3600.07/3609.90 c LP deleted cuts 0
3600.07/3609.90 c LP encountered Gomory constraints 0
3600.07/3609.90 c LP encountered Farkas constraints 0
3600.07/3609.90 c LP encountered learned Farkas constraints 0
3600.07/3609.90 c CG auxiliary variables introduced 0
3600.07/3609.90 c CG solutions found 0
3600.07/3609.90 c CG cores constructed 0
3600.07/3609.90 c CG core cardinality constraints returned 0
3600.07/3609.90 c CG unit cores 0
3600.07/3609.90 c CG single cores 0
3600.07/3609.90 c CG blocks removed during cardinality reduction 0
3600.07/3609.90 c CG first core best 0
3600.07/3609.90 c CG decision core best 0
3600.07/3609.90 c CG core reduction tie 0
3600.07/3609.90 c CG core degree average 0.00
3600.07/3609.90 c CG core slack average 0.00
3600.07/3609.90 c CG exhausted 0
3600.07/3609.90 c CG exhaust time 0 s
3600.07/3609.90 c CG trimmed 0
3600.07/3609.90 c CG trim time 0 s
3600.07/3609.90 c CG minimized 0
3600.07/3609.90 c CG minimize time 0 s
3600.07/3609.90 c CG am1 prop time 0 s
3600.07/3609.90 c CG # am1s reformulated 0
3600.07/3609.90 c CG lower bound derived from am1s 0
3600.07/3609.90 c CG # clausal cores 0
3600.07/3609.90 c CG # cardinality cores 0
3600.07/3609.90 c CG # pb cores 0
3600.07/3609.90 c CG # pb reforms 0
3600.07/3609.90 c CG # cores discarded because of pb reform 0
3600.07/3609.90 d LOWERBOUND 0
3600.07/3609.90 d NCORES 0
3600.07/3609.90 d NPBCORES 0
3600.07/3609.90 d NPBREFORM 0
3600.07/3609.90 d NTRIMMED 0
3600.07/3609.90 d NEXHAUSTED 0
3600.07/3609.90 d NAM1S 0
3600.07/3609.90 d AM1LB 0
3600.07/3609.90 c [Papilo Statistics]
3600.07/3609.90 c prepro time 0.00949707s
3600.07/3609.90 c # tsx applied 12
3600.07/3609.90 c # tsx conflicts 0
3600.07/3609.90 c # bound changes 6
3600.07/3609.90 c # side changes 0
3600.07/3609.90 c # coef changes 0
3600.07/3609.90 c # rounds 2
3600.07/3609.90 c # deted vars 6
3600.07/3609.90 c # deted constrs 3211
3600.07/3609.90 c # consecutive rounds of only bound changes 0
3600.07/3609.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: 63665 MiB (61846 MiB free)
memory of node 1: 64507 MiB (63566 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4529063-1752259760/watcher-4529063-1752259760 -o /tmp/evaluation-result-4529063-1752259760/solver-4529063-1752259760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121311 --watchdog 3760 mixed-bag HOME/instance-4529063-1752259760.opb
running on 2 cores: 5,7
CPU governors:
performance: 5 7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=121690, runsolver pid=121683
[startup+0.100062 s]*
/proc/loadavg: 4.20 4.13 4.10 5/266 121700
/proc/meminfo: memFree=128363100/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=115288 memory=42228 CPUtime=0.08 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 7383 0 0 0 7 1 0 0 20 0 1 0 141653900 118054912 10557 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 28822 10557 4032 2834 0 11027 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 115288 KiB
Current children cumulated memory: 42228 KiB
[startup+0.205049 s]*
/proc/loadavg: 4.20 4.13 4.10 4/264 121700
/proc/meminfo: memFree=128617780/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=134464 memory=55028 CPUtime=0.18 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 10588 0 0 0 17 1 0 0 20 0 1 0 141653900 137691136 13757 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 33616 13757 4096 2834 0 15821 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 134464 KiB
Current children cumulated memory: 55028 KiB
[startup+0.30458 s]*
/proc/loadavg: 4.20 4.13 4.10 5/264 121700
/proc/meminfo: memFree=128601748/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=135480 memory=56564 CPUtime=0.27 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 10956 0 0 0 26 1 0 0 20 0 1 0 141653900 138731520 14141 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 33870 14141 4096 2834 0 16075 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 135480 KiB
Current children cumulated memory: 56564 KiB
[startup+0.700148 s]
/proc/loadavg: 4.20 4.13 4.10 5/262 121708
/proc/meminfo: memFree=128555592/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=153460 memory=73972 CPUtime=0.66 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 15317 0 0 0 64 2 0 0 20 0 1 0 141653900 157143040 18493 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 7 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 38365 18493 4096 2834 0 20570 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 153460 KiB
Current children cumulated memory: 73972 KiB
[startup+1.50014 s]
/proc/loadavg: 4.20 4.13 4.10 4/262 121721
/proc/meminfo: memFree=128541076/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=164948 memory=85492 CPUtime=1.45 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 18094 0 0 0 143 2 0 0 20 0 1 0 141653900 168906752 21373 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 41237 21373 4256 2834 0 23442 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 164948 KiB
Current children cumulated memory: 85492 KiB
[startup+3.10459 s]
/proc/loadavg: 4.20 4.13 4.10 5/266 121745
/proc/meminfo: memFree=128320724/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=215392 memory=135456 CPUtime=3.05 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 31643 0 0 0 301 4 0 0 20 0 1 0 141653900 220561408 33864 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 53848 33864 4320 2834 0 36053 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 215392 KiB
Current children cumulated memory: 135456 KiB
[startup+6.30012 s]
/proc/loadavg: 4.19 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128251992/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=224560 memory=145016 CPUtime=6.23 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 35451 0 0 0 619 4 0 0 20 0 1 0 141653900 229949440 36254 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 56140 36254 4320 2834 0 38345 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 224560 KiB
Current children cumulated memory: 145016 KiB
[startup+12.7001 s]
/proc/loadavg: 4.17 4.13 4.10 5/266 121790
/proc/meminfo: memFree=128063204/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=227084 memory=147788 CPUtime=12.62 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 37942 0 0 0 1258 4 0 0 20 0 1 0 141653900 232534016 36947 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 56771 36947 4320 2834 0 38976 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 227084 KiB
Current children cumulated memory: 147788 KiB
[startup+25.5002 s]
/proc/loadavg: 4.21 4.14 4.10 5/266 121790
/proc/meminfo: memFree=127988880/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=247284 memory=167844 CPUtime=25.39 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 44711 0 0 0 2533 6 0 0 20 0 1 0 141653900 253218816 41961 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 61821 41961 4320 2834 0 44026 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 247284 KiB
Current children cumulated memory: 167844 KiB
[startup+51.1049 s]
/proc/loadavg: 4.13 4.12 4.09 5/266 121792
/proc/meminfo: memFree=127914376/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=251428 memory=171516 CPUtime=50.92 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 58813 0 0 0 5083 9 0 0 20 0 1 0 141653900 257462272 42879 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 62857 42879 4320 2834 0 45062 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 251428 KiB
Current children cumulated memory: 171516 KiB
[startup+102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/265 121794
/proc/meminfo: memFree=127782716/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=298532 memory=219548 CPUtime=101.98 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 87135 0 0 0 10183 15 0 0 20 0 1 0 141653900 305696768 54887 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 74633 54887 4320 2834 0 56838 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 298532 KiB
Current children cumulated memory: 219548 KiB
[startup+162.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 121840
/proc/meminfo: memFree=127879804/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=296396 memory=219824 CPUtime=161.8 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 87889 0 0 0 16165 15 0 0 20 0 1 0 141653900 303509504 54956 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 74099 54956 4320 2834 0 56304 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 296396 KiB
Current children cumulated memory: 219824 KiB
[startup+222.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/265 121842
/proc/meminfo: memFree=127874316/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=296396 memory=220592 CPUtime=221.63 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 87927 0 0 0 22148 15 0 0 20 0 1 0 141653900 303509504 55148 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 74099 55148 4320 2834 0 56304 0
Current children cumulated CPU time: 221.63 s
Current children cumulated vsize: 296396 KiB
Current children cumulated memory: 220592 KiB
[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/265 121844
/proc/meminfo: memFree=127830880/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=296396 memory=228528 CPUtime=281.47 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 88044 0 0 0 28132 15 0 0 20 0 1 0 141653900 303509504 57132 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 74099 57132 4320 2834 0 56304 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 296396 KiB
Current children cumulated memory: 228528 KiB
[startup+342.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/263 121846
/proc/meminfo: memFree=127754940/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=313284 memory=248448 CPUtime=341.31 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 90278 0 0 0 34062 69 0 0 20 0 1 0 141653900 320802816 62112 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 78321 62112 4384 2834 0 60526 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 313284 KiB
Current children cumulated memory: 248448 KiB
[startup+402.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 121901
/proc/meminfo: memFree=127533140/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=332252 memory=262952 CPUtime=401.16 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 90899 0 0 0 39997 119 0 0 20 0 1 0 141653900 340226048 65738 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 83063 65738 4384 2834 0 65268 0
Current children cumulated CPU time: 401.16 s
Current children cumulated vsize: 332252 KiB
Current children cumulated memory: 262952 KiB
[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/265 121904
/proc/meminfo: memFree=127389532/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=332252 memory=271144 CPUtime=461 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 90905 0 0 0 45936 164 0 0 20 0 1 0 141653900 340226048 67786 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 83063 67786 4384 2834 0 65268 0
Current children cumulated CPU time: 461 s
################
# More data... #
################
Current children cumulated memory: 384092 KiB
[startup+2922.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/265 122128
/proc/meminfo: memFree=124682472/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=511568 memory=385884 CPUtime=2914.44 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 96644 0 0 0 290322 1122 0 0 20 0 1 0 141653900 523845632 96471 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 127892 96471 4384 2834 0 110097 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 511568 KiB
Current children cumulated memory: 385884 KiB
[startup+2982.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/265 122131
/proc/meminfo: memFree=124650604/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=511568 memory=385884 CPUtime=2974.25 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 96648 0 0 0 296289 1136 0 0 20 0 1 0 141653900 523845632 96471 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 127892 96471 4384 2834 0 110097 0
Current children cumulated CPU time: 2974.25 s
Current children cumulated vsize: 511568 KiB
Current children cumulated memory: 385884 KiB
[startup+3042.3 s]
/proc/loadavg: 4.33 4.19 4.12 5/265 122133
/proc/meminfo: memFree=124602604/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=513976 memory=387676 CPUtime=3034.07 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 97085 0 0 0 302262 1145 0 0 20 0 1 0 141653900 526311424 96919 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 128494 96919 4384 2834 0 110699 0
Current children cumulated CPU time: 3034.07 s
Current children cumulated vsize: 513976 KiB
Current children cumulated memory: 387676 KiB
[startup+3102.3 s]
/proc/loadavg: 4.46 4.24 4.14 5/265 122134
/proc/meminfo: memFree=124558288/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=514232 memory=387932 CPUtime=3093.89 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 97150 0 0 0 308218 1171 0 0 20 0 1 0 141653900 526573568 96983 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 128558 96983 4384 2834 0 110763 0
Current children cumulated CPU time: 3093.89 s
Current children cumulated vsize: 514232 KiB
Current children cumulated memory: 387932 KiB
[startup+3162.3 s]
/proc/loadavg: 4.24 4.22 4.14 5/264 122136
/proc/meminfo: memFree=124433464/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=514648 memory=388316 CPUtime=3153.73 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 97254 0 0 0 314182 1191 0 0 20 0 1 0 141653900 526999552 97079 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 128662 97079 4384 2834 0 110867 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 514648 KiB
Current children cumulated memory: 388316 KiB
[startup+3222.3 s]
/proc/loadavg: 4.19 4.21 4.14 5/264 122138
/proc/meminfo: memFree=124413080/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=516092 memory=389468 CPUtime=3213.56 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 97527 0 0 0 320142 1214 0 0 20 0 1 0 141653900 528478208 97367 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 129023 97367 4384 2834 0 111228 0
Current children cumulated CPU time: 3213.56 s
Current children cumulated vsize: 516092 KiB
Current children cumulated memory: 389468 KiB
[startup+3282.3 s]
/proc/loadavg: 4.12 4.18 4.13 5/263 122141
/proc/meminfo: memFree=124407056/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=516092 memory=389468 CPUtime=3273.4 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 97527 0 0 0 326110 1230 0 0 20 0 1 0 141653900 528478208 97367 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 129023 97367 4384 2834 0 111228 0
Current children cumulated CPU time: 3273.4 s
Current children cumulated vsize: 516092 KiB
Current children cumulated memory: 389468 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.18 4.13 5/264 122145
/proc/meminfo: memFree=124399000/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=517248 memory=390364 CPUtime=3333.23 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 97764 0 0 0 332070 1253 0 0 20 0 1 0 141653900 529661952 97591 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 129312 97591 4384 2834 0 111517 0
Current children cumulated CPU time: 3333.23 s
Current children cumulated vsize: 517248 KiB
Current children cumulated memory: 390364 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.16 4.12 5/264 122147
/proc/meminfo: memFree=124297564/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=517408 memory=390492 CPUtime=3393.06 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 97805 0 0 0 338035 1271 0 0 20 0 1 0 141653900 529825792 97623 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 129352 97623 4384 2834 0 111557 0
Current children cumulated CPU time: 3393.06 s
Current children cumulated vsize: 517408 KiB
Current children cumulated memory: 390492 KiB
[startup+3462.3 s]
/proc/loadavg: 4.33 4.22 4.15 5/265 122156
/proc/meminfo: memFree=124215952/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=518564 memory=391516 CPUtime=3452.89 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 98052 0 0 0 343996 1293 0 0 20 0 1 0 141653900 531009536 97879 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 129641 97879 4384 2834 0 111846 0
Current children cumulated CPU time: 3452.89 s
Current children cumulated vsize: 518564 KiB
Current children cumulated memory: 391516 KiB
[startup+3522.3 s]
/proc/loadavg: 4.22 4.21 4.15 5/265 122158
/proc/meminfo: memFree=124211620/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=518948 memory=391900 CPUtime=3512.73 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 98299 0 0 0 349964 1309 0 0 20 0 1 0 141653900 531402752 97975 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 129737 97975 4384 2834 0 111942 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 518948 KiB
Current children cumulated memory: 391900 KiB
[startup+3582.3 s]
/proc/loadavg: 4.13 4.18 4.14 5/265 122160
/proc/meminfo: memFree=124189772/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=535512 memory=402012 CPUtime=3572.56 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 100855 0 0 0 355939 1317 0 0 20 0 1 0 141653900 548364288 100503 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 133878 100503 4384 2834 0 116083 0
Current children cumulated CPU time: 3572.56 s
Current children cumulated vsize: 535512 KiB
Current children cumulated memory: 402012 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.9 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 122163
/proc/meminfo: memFree=124140016/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=539492 memory=408904 CPUtime=3600.07 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 101541 0 0 0 358686 1321 0 0 20 0 1 0 141653900 552439808 102226 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 134873 102226 4384 2834 0 117078 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 539492 KiB
Current children cumulated memory: 408904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.91 s]
# the end of solver process 121690 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3586.87 s, system=13.2207 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.9 s]
/proc/loadavg: 4.15 4.18 4.14 5/265 122163
/proc/meminfo: memFree=124140016/131250000 swapFree=33010416/33010684
[pid=121690] ppid=121683 vsize=539492 memory=408904 CPUtime=3600.07 cores=5,7
/proc/121690/stat : 121690 (mixed-bag) R 121683 121690 121298 0 -1 4194304 101541 0 0 0 358686 1321 0 0 20 0 1 0 141653900 552439808 102226 18446744073709551615 4235264 15840557 140720374978608 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18047680 18058864 31776768 140720374983066 140720374983143 140720374983143 140720374988747 0
/proc/121690/statm: 134873 102226 4384 2834 0 117078 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 539492 KiB
Current children cumulated memory: 408904 KiB
Child status: 0
Real time (s): 3609.91
CPU time (s): 3600.09
CPU user time (s): 3586.87
CPU system time (s): 13.2207
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 539492
Max. memory (cumulated for all children) (KiB): 408904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.87
system time used= 13.2207
maximum resident set size= 409544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101574
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= 184
involuntary context switches= 1584
# summary of solver processes directly reported to runsolver:
# pid: 121690
# total CPU time (s): 3600.09
# total CPU user time (s): 3586.87
# total CPU system time (s): 13.2207
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.97481 second user time and 15.8393 second system time
The end
Begin job on nodeC018 at 2025-07-11 20:49:21
IDJOB=4529063
IDBENCH=148772
IDSOLVER=3386
FILE ID=nodeC018/4529063-1752259760
RUNJOBID= nodeC018-1752256148-121311
SLURM_JOB_ID= 9682594
Free space on /tmp= 432560 MiB
SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4529063-1752259760/watcher-4529063-1752259760 -o /tmp/evaluation-result-4529063-1752259760/solver-4529063-1752259760 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1752256148-121311 --watchdog 3760 mixed-bag HOME/instance-4529063-1752259760.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1877573857
nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.835
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3599.988
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3600.048
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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.001
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3601.578
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3746.806
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3599.882
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
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 : 3599.929
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 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.66
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131250000 kB
MemFree: 128421812 kB
MemAvailable: 129370812 kB
Buffers: 2128 kB
Cached: 1710268 kB
SwapCached: 32 kB
Active: 937332 kB
Inactive: 1181416 kB
Active(anon): 424108 kB
Inactive(anon): 288 kB
Active(file): 513224 kB
Inactive(file): 1181128 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 31604 kB
Writeback: 0 kB
AnonPages: 408760 kB
Mapped: 120052 kB
Shmem: 18044 kB
KReclaimable: 187372 kB
Slab: 281180 kB
SReclaimable: 187372 kB
SUnreclaim: 93808 kB
KernelStack: 4112 kB
PageTables: 3664 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635684 kB
Committed_AS: 788384 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150488 kB
VmallocChunk: 0 kB
Percpu: 3872 kB
HardwareCorrupted: 0 kB
AnonHugePages: 258048 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 201428 kB
DirectMap2M: 7958528 kB
DirectMap1G: 127926272 kB
Free space on /tmp at the end= 432512 MiB
End job on nodeC018 at 2025-07-11 21:49:31