0.00/0.00 c RoundingSat 2
0.00/0.00 c branch
0.00/0.00 c commit
0.00/0.00 c with Papilo
0.00/0.00 c with SCIP
0.00/0.00 c [STEP] parsing instance
0.00/0.03 c [STEP] preprocessing with Papilo
0.00/0.04 c [STEP] solving with SCIP
299.12/300.08 c [STEP] preprocessing done, loading into solver
299.12/300.09 c [STEP] solving
299.12/300.09 c #variables 3211 #constraints 510
333.63/334.66 c #Conflicts: 1000 | #Constraints: 1509
333.63/334.66 c #Conflicts: 2000 | #Constraints: 2509
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 3000 | #Constraints: 2522
333.63/334.66 c #Conflicts: 4000 | #Constraints: 3522
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 5000 | #Constraints: 2933
333.63/334.66 c #Conflicts: 6000 | #Constraints: 3933
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 7000 | #Constraints: 2944
333.63/334.66 c #Conflicts: 8000 | #Constraints: 3944
333.63/334.66 c #Conflicts: 9000 | #Constraints: 4944
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 10000 | #Constraints: 3638
333.63/334.66 c #Conflicts: 11000 | #Constraints: 4638
333.63/334.66 c #Conflicts: 12000 | #Constraints: 5638
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 13000 | #Constraints: 4084
333.63/334.66 c #Conflicts: 14000 | #Constraints: 5084
333.63/334.66 c #Conflicts: 15000 | #Constraints: 6084
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 16000 | #Constraints: 4308
333.63/334.66 c #Conflicts: 17000 | #Constraints: 5308
333.63/334.66 c #Conflicts: 18000 | #Constraints: 6308
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 19000 | #Constraints: 4328
333.63/334.66 c #Conflicts: 20000 | #Constraints: 5328
333.63/334.66 c #Conflicts: 21000 | #Constraints: 6328
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 22000 | #Constraints: 4129
333.63/334.66 c #Conflicts: 23000 | #Constraints: 5129
333.63/334.66 c #Conflicts: 24000 | #Constraints: 6129
333.63/334.66 c #Conflicts: 25000 | #Constraints: 7129
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 26000 | #Constraints: 4732
333.63/334.66 c #Conflicts: 27000 | #Constraints: 5732
333.63/334.66 c #Conflicts: 28000 | #Constraints: 6732
333.63/334.66 c #Conflicts: 29000 | #Constraints: 7732
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 30000 | #Constraints: 5130
333.63/334.66 c #Conflicts: 31000 | #Constraints: 6130
333.63/334.66 c #Conflicts: 32000 | #Constraints: 7130
333.63/334.66 c #Conflicts: 33000 | #Constraints: 8130
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 34000 | #Constraints: 5339
333.63/334.66 c #Conflicts: 35000 | #Constraints: 6339
333.63/334.66 c #Conflicts: 36000 | #Constraints: 7339
333.63/334.66 c #Conflicts: 37000 | #Constraints: 8339
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 38000 | #Constraints: 5344
333.63/334.66 c #Conflicts: 39000 | #Constraints: 6344
333.63/334.66 c #Conflicts: 40000 | #Constraints: 7344
333.63/334.66 c #Conflicts: 41000 | #Constraints: 8344
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 42000 | #Constraints: 5155
333.63/334.66 c #Conflicts: 43000 | #Constraints: 6155
333.63/334.66 c #Conflicts: 44000 | #Constraints: 7155
333.63/334.66 c #Conflicts: 45000 | #Constraints: 8155
333.63/334.66 c #Conflicts: 46000 | #Constraints: 9155
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 47000 | #Constraints: 5749
333.63/334.66 c #Conflicts: 48000 | #Constraints: 6749
333.63/334.66 c #Conflicts: 49000 | #Constraints: 7749
333.63/334.66 c #Conflicts: 50000 | #Constraints: 8749
333.63/334.66 c #Conflicts: 51000 | #Constraints: 9749
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 52000 | #Constraints: 6150
333.63/334.66 c #Conflicts: 53000 | #Constraints: 7150
333.63/334.66 c #Conflicts: 54000 | #Constraints: 8150
333.63/334.66 c #Conflicts: 55000 | #Constraints: 9150
333.63/334.66 c #Conflicts: 56000 | #Constraints: 10150
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 57000 | #Constraints: 6350
333.63/334.66 c #Conflicts: 58000 | #Constraints: 7350
333.63/334.66 c #Conflicts: 59000 | #Constraints: 8350
333.63/334.66 c #Conflicts: 60000 | #Constraints: 9350
333.63/334.66 c #Conflicts: 61000 | #Constraints: 10350
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 62000 | #Constraints: 6340
333.63/334.66 c #Conflicts: 63000 | #Constraints: 7340
333.63/334.66 c #Conflicts: 64000 | #Constraints: 8340
333.63/334.66 c #Conflicts: 65000 | #Constraints: 9340
333.63/334.66 c #Conflicts: 66000 | #Constraints: 10340
333.63/334.66 c INPROCESSING
333.63/334.66 c GARBAGE COLLECT
333.63/334.66 c #Conflicts: 67000 | #Constraints: 6138
333.63/334.66 c #Conflicts: 68000 | #Constraints: 7138
401.54/402.79 c #Conflicts: 69000 | #Constraints: 8138
401.54/402.79 c #Conflicts: 70000 | #Constraints: 9138
401.54/402.79 c #Conflicts: 71000 | #Constraints: 10138
401.54/402.79 c #Conflicts: 72000 | #Constraints: 11138
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 73000 | #Constraints: 6729
401.54/402.79 c #Conflicts: 74000 | #Constraints: 7729
401.54/402.79 c #Conflicts: 75000 | #Constraints: 8729
401.54/402.79 c #Conflicts: 76000 | #Constraints: 9729
401.54/402.79 c #Conflicts: 77000 | #Constraints: 10729
401.54/402.79 c #Conflicts: 78000 | #Constraints: 11729
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 79000 | #Constraints: 7144
401.54/402.79 c #Conflicts: 80000 | #Constraints: 8144
401.54/402.79 c #Conflicts: 81000 | #Constraints: 9144
401.54/402.79 c #Conflicts: 82000 | #Constraints: 10144
401.54/402.79 c #Conflicts: 83000 | #Constraints: 11144
401.54/402.79 c #Conflicts: 84000 | #Constraints: 12144
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 85000 | #Constraints: 7349
401.54/402.79 c #Conflicts: 86000 | #Constraints: 8349
401.54/402.79 c #Conflicts: 87000 | #Constraints: 9349
401.54/402.79 c #Conflicts: 88000 | #Constraints: 10349
401.54/402.79 c #Conflicts: 89000 | #Constraints: 11349
401.54/402.79 c #Conflicts: 90000 | #Constraints: 12349
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 91000 | #Constraints: 7349
401.54/402.79 c #Conflicts: 92000 | #Constraints: 8349
401.54/402.79 c #Conflicts: 93000 | #Constraints: 9349
401.54/402.79 c #Conflicts: 94000 | #Constraints: 10349
401.54/402.79 c #Conflicts: 95000 | #Constraints: 11349
401.54/402.79 c #Conflicts: 96000 | #Constraints: 12349
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 97000 | #Constraints: 7163
401.54/402.79 c #Conflicts: 98000 | #Constraints: 8163
401.54/402.79 c #Conflicts: 99000 | #Constraints: 9163
401.54/402.79 c #Conflicts: 100000 | #Constraints: 10163
401.54/402.79 c #Conflicts: 101000 | #Constraints: 11163
401.54/402.79 c #Conflicts: 102000 | #Constraints: 12163
401.54/402.79 c #Conflicts: 103000 | #Constraints: 13163
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 104000 | #Constraints: 7753
401.54/402.79 c #Conflicts: 105000 | #Constraints: 8753
401.54/402.79 c #Conflicts: 106000 | #Constraints: 9753
401.54/402.79 c #Conflicts: 107000 | #Constraints: 10753
401.54/402.79 c #Conflicts: 108000 | #Constraints: 11753
401.54/402.79 c #Conflicts: 109000 | #Constraints: 12753
401.54/402.79 c #Conflicts: 110000 | #Constraints: 13753
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 111000 | #Constraints: 8152
401.54/402.79 c #Conflicts: 112000 | #Constraints: 9152
401.54/402.79 c #Conflicts: 113000 | #Constraints: 10152
401.54/402.79 c #Conflicts: 114000 | #Constraints: 11152
401.54/402.79 c #Conflicts: 115000 | #Constraints: 12152
401.54/402.79 c #Conflicts: 116000 | #Constraints: 13152
401.54/402.79 c #Conflicts: 117000 | #Constraints: 14152
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 118000 | #Constraints: 8345
401.54/402.79 c #Conflicts: 119000 | #Constraints: 9345
401.54/402.79 c #Conflicts: 120000 | #Constraints: 10345
401.54/402.79 c #Conflicts: 121000 | #Constraints: 11345
401.54/402.79 c #Conflicts: 122000 | #Constraints: 12345
401.54/402.79 c #Conflicts: 123000 | #Constraints: 13345
401.54/402.79 c #Conflicts: 124000 | #Constraints: 14345
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 125000 | #Constraints: 8350
401.54/402.79 c #Conflicts: 126000 | #Constraints: 9350
401.54/402.79 c #Conflicts: 127000 | #Constraints: 10350
401.54/402.79 c #Conflicts: 128000 | #Constraints: 11350
401.54/402.79 c #Conflicts: 129000 | #Constraints: 12350
401.54/402.79 c #Conflicts: 130000 | #Constraints: 13350
401.54/402.79 c #Conflicts: 131000 | #Constraints: 14350
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 132000 | #Constraints: 8143
401.54/402.79 c #Conflicts: 133000 | #Constraints: 9143
401.54/402.79 c #Conflicts: 134000 | #Constraints: 10143
401.54/402.79 c #Conflicts: 135000 | #Constraints: 11143
401.54/402.79 c #Conflicts: 136000 | #Constraints: 12143
401.54/402.79 c #Conflicts: 137000 | #Constraints: 13143
401.54/402.79 c #Conflicts: 138000 | #Constraints: 14143
401.54/402.79 c #Conflicts: 139000 | #Constraints: 15143
401.54/402.79 c INPROCESSING
401.54/402.79 c GARBAGE COLLECT
401.54/402.79 c #Conflicts: 140000 | #Constraints: 8754
496.56/498.02 c #Conflicts: 141000 | #Constraints: 9754
496.56/498.02 c #Conflicts: 142000 | #Constraints: 10754
496.56/498.02 c #Conflicts: 143000 | #Constraints: 11754
496.56/498.02 c #Conflicts: 144000 | #Constraints: 12754
496.56/498.02 c #Conflicts: 145000 | #Constraints: 13754
496.56/498.02 c #Conflicts: 146000 | #Constraints: 14754
496.56/498.02 c #Conflicts: 147000 | #Constraints: 15754
496.56/498.02 c INPROCESSING
496.56/498.02 c GARBAGE COLLECT
496.56/498.02 c #Conflicts: 148000 | #Constraints: 9180
496.56/498.02 c #Conflicts: 149000 | #Constraints: 10180
496.56/498.02 c #Conflicts: 150000 | #Constraints: 11180
496.56/498.02 c #Conflicts: 151000 | #Constraints: 12180
496.56/498.02 c #Conflicts: 152000 | #Constraints: 13180
496.56/498.02 c #Conflicts: 153000 | #Constraints: 14180
496.56/498.02 c #Conflicts: 154000 | #Constraints: 15180
496.56/498.02 c #Conflicts: 155000 | #Constraints: 16180
496.56/498.02 c INPROCESSING
496.56/498.02 c GARBAGE COLLECT
496.56/498.02 c #Conflicts: 156000 | #Constraints: 9365
496.56/498.02 c #Conflicts: 157000 | #Constraints: 10365
496.56/498.02 c #Conflicts: 158000 | #Constraints: 11365
496.56/498.02 c #Conflicts: 159000 | #Constraints: 12365
496.56/498.02 c #Conflicts: 160000 | #Constraints: 13365
496.56/498.02 c #Conflicts: 161000 | #Constraints: 14365
496.56/498.02 c #Conflicts: 162000 | #Constraints: 15365
496.56/498.02 c #Conflicts: 163000 | #Constraints: 16365
496.56/498.02 c INPROCESSING
496.56/498.02 c GARBAGE COLLECT
496.56/498.02 c #Conflicts: 164000 | #Constraints: 9355
496.56/498.02 c #Conflicts: 165000 | #Constraints: 10355
496.56/498.02 c #Conflicts: 166000 | #Constraints: 11355
496.56/498.02 c #Conflicts: 167000 | #Constraints: 12355
496.56/498.02 c #Conflicts: 168000 | #Constraints: 13355
496.56/498.02 c #Conflicts: 169000 | #Constraints: 14355
496.56/498.02 c #Conflicts: 170000 | #Constraints: 15355
496.56/498.02 c #Conflicts: 171000 | #Constraints: 16355
496.56/498.02 c INPROCESSING
496.56/498.02 c GARBAGE COLLECT
496.56/498.02 c #Conflicts: 172000 | #Constraints: 9147
496.56/498.02 c #Conflicts: 173000 | #Constraints: 10147
496.56/498.02 c #Conflicts: 174000 | #Constraints: 11147
496.56/498.02 c #Conflicts: 175000 | #Constraints: 12147
496.56/498.02 c #Conflicts: 176000 | #Constraints: 13147
496.56/498.02 c #Conflicts: 177000 | #Constraints: 14147
496.56/498.02 c #Conflicts: 178000 | #Constraints: 15147
496.56/498.02 c #Conflicts: 179000 | #Constraints: 16147
496.56/498.02 c #Conflicts: 180000 | #Constraints: 17147
496.56/498.02 c INPROCESSING
496.56/498.02 c GARBAGE COLLECT
496.56/498.02 c #Conflicts: 181000 | #Constraints: 9752
496.56/498.02 c #Conflicts: 182000 | #Constraints: 10752
496.56/498.02 c #Conflicts: 183000 | #Constraints: 11752
496.56/498.02 c #Conflicts: 184000 | #Constraints: 12752
496.56/498.02 c #Conflicts: 185000 | #Constraints: 13752
496.56/498.02 c #Conflicts: 186000 | #Constraints: 14752
496.56/498.02 c #Conflicts: 187000 | #Constraints: 15752
496.56/498.02 c #Conflicts: 188000 | #Constraints: 16752
496.56/498.02 c #Conflicts: 189000 | #Constraints: 17752
496.56/498.02 c INPROCESSING
496.56/498.02 c GARBAGE COLLECT
496.56/498.02 c #Conflicts: 190000 | #Constraints: 10171
496.56/498.02 c #Conflicts: 191000 | #Constraints: 11171
496.56/498.02 c #Conflicts: 192000 | #Constraints: 12171
496.56/498.02 c #Conflicts: 193000 | #Constraints: 13171
496.56/498.02 c #Conflicts: 194000 | #Constraints: 14171
496.56/498.02 c #Conflicts: 195000 | #Constraints: 15171
496.56/498.02 c #Conflicts: 196000 | #Constraints: 16171
496.56/498.02 c #Conflicts: 197000 | #Constraints: 17171
496.56/498.02 c #Conflicts: 198000 | #Constraints: 18171
496.56/498.02 c INPROCESSING
496.56/498.02 c GARBAGE COLLECT
496.56/498.02 c #Conflicts: 199000 | #Constraints: 10379
496.56/498.02 c #Conflicts: 200000 | #Constraints: 11379
496.56/498.02 c #Conflicts: 201000 | #Constraints: 12379
496.56/498.02 c #Conflicts: 202000 | #Constraints: 13379
496.56/498.02 c #Conflicts: 203000 | #Constraints: 14379
496.56/498.02 c #Conflicts: 204000 | #Constraints: 15379
496.56/498.02 c #Conflicts: 205000 | #Constraints: 16379
496.56/498.02 c #Conflicts: 206000 | #Constraints: 17379
496.56/498.02 c #Conflicts: 207000 | #Constraints: 18379
496.56/498.02 c INPROCESSING
496.56/498.02 c GARBAGE COLLECT
496.56/498.02 c #Conflicts: 208000 | #Constraints: 10405
496.56/498.02 c #Conflicts: 209000 | #Constraints: 11405
496.56/498.02 c #Conflicts: 210000 | #Constraints: 12405
496.56/498.02 c #Conflicts: 211000 | #Constraints: 13405
496.56/498.02 c #Conflicts: 212000 | #Constraints: 14405
496.56/498.02 c #Conflicts: 213000 | #Constraints: 15405
588.18/589.95 c #Conflicts: 214000 | #Constraints: 16405
588.18/589.95 c #Conflicts: 215000 | #Constraints: 17405
588.18/589.95 c #Conflicts: 216000 | #Constraints: 18405
588.18/589.95 c INPROCESSING
588.18/589.95 c GARBAGE COLLECT
588.18/589.95 c #Conflicts: 217000 | #Constraints: 10229
588.18/589.95 c #Conflicts: 218000 | #Constraints: 11229
588.18/589.95 c #Conflicts: 219000 | #Constraints: 12229
588.18/589.95 c #Conflicts: 220000 | #Constraints: 13229
588.18/589.95 c #Conflicts: 221000 | #Constraints: 14229
588.18/589.95 c #Conflicts: 222000 | #Constraints: 15229
588.18/589.95 c #Conflicts: 223000 | #Constraints: 16229
588.18/589.95 c #Conflicts: 224000 | #Constraints: 17229
588.18/589.95 c #Conflicts: 225000 | #Constraints: 18229
588.18/589.95 c #Conflicts: 226000 | #Constraints: 19229
588.18/589.95 c INPROCESSING
588.18/589.95 c GARBAGE COLLECT
588.18/589.95 c #Conflicts: 227000 | #Constraints: 10873
588.18/589.95 c #Conflicts: 228000 | #Constraints: 11873
588.18/589.95 c #Conflicts: 229000 | #Constraints: 12873
588.18/589.95 c #Conflicts: 230000 | #Constraints: 13873
588.18/589.95 c #Conflicts: 231000 | #Constraints: 14873
588.18/589.95 c #Conflicts: 232000 | #Constraints: 15873
588.18/589.95 c #Conflicts: 233000 | #Constraints: 16873
588.18/589.95 c #Conflicts: 234000 | #Constraints: 17873
588.18/589.95 c #Conflicts: 235000 | #Constraints: 18873
588.18/589.95 c #Conflicts: 236000 | #Constraints: 19873
588.18/589.95 c INPROCESSING
588.18/589.95 c GARBAGE COLLECT
588.18/589.95 c #Conflicts: 237000 | #Constraints: 11211
588.18/589.95 c #Conflicts: 238000 | #Constraints: 12211
588.18/589.95 c #Conflicts: 239000 | #Constraints: 13211
588.18/589.95 c #Conflicts: 240000 | #Constraints: 14211
588.18/589.95 c #Conflicts: 241000 | #Constraints: 15211
588.18/589.95 c #Conflicts: 242000 | #Constraints: 16211
588.18/589.95 c #Conflicts: 243000 | #Constraints: 17211
588.18/589.95 c #Conflicts: 244000 | #Constraints: 18211
588.18/589.95 c #Conflicts: 245000 | #Constraints: 19211
588.18/589.95 c #Conflicts: 246000 | #Constraints: 20211
588.18/589.95 c INPROCESSING
588.18/589.95 c GARBAGE COLLECT
588.18/589.95 c #Conflicts: 247000 | #Constraints: 11382
588.18/589.95 c #Conflicts: 248000 | #Constraints: 12382
588.18/589.95 c #Conflicts: 249000 | #Constraints: 13382
588.18/589.95 c #Conflicts: 250000 | #Constraints: 14382
588.18/589.95 c #Conflicts: 251000 | #Constraints: 15382
588.18/589.95 c #Conflicts: 252000 | #Constraints: 16382
588.18/589.95 c #Conflicts: 253000 | #Constraints: 17382
588.18/589.95 c #Conflicts: 254000 | #Constraints: 18382
588.18/589.95 c #Conflicts: 255000 | #Constraints: 19382
588.18/589.95 c #Conflicts: 256000 | #Constraints: 20382
588.18/589.95 c INPROCESSING
588.18/589.95 c GARBAGE COLLECT
588.18/589.95 c #Conflicts: 257000 | #Constraints: 11365
588.18/589.95 c #Conflicts: 258000 | #Constraints: 12365
588.18/589.95 c #Conflicts: 259000 | #Constraints: 13365
588.18/589.95 c #Conflicts: 260000 | #Constraints: 14365
588.18/589.95 c #Conflicts: 261000 | #Constraints: 15365
588.18/589.95 c #Conflicts: 262000 | #Constraints: 16365
588.18/589.95 c #Conflicts: 263000 | #Constraints: 17365
588.18/589.95 c #Conflicts: 264000 | #Constraints: 18365
588.18/589.95 c #Conflicts: 265000 | #Constraints: 19365
588.18/589.95 c #Conflicts: 266000 | #Constraints: 20365
588.18/589.95 c INPROCESSING
588.18/589.95 c GARBAGE COLLECT
588.18/589.95 c #Conflicts: 267000 | #Constraints: 11172
588.18/589.95 c #Conflicts: 268000 | #Constraints: 12172
588.18/589.95 c #Conflicts: 269000 | #Constraints: 13172
588.18/589.95 c #Conflicts: 270000 | #Constraints: 14172
588.18/589.95 c #Conflicts: 271000 | #Constraints: 15172
588.18/589.95 c #Conflicts: 272000 | #Constraints: 16172
588.18/589.95 c #Conflicts: 273000 | #Constraints: 17172
588.18/589.95 c #Conflicts: 274000 | #Constraints: 18172
588.18/589.95 c #Conflicts: 275000 | #Constraints: 19172
588.18/589.95 c #Conflicts: 276000 | #Constraints: 20172
588.18/589.95 c #Conflicts: 277000 | #Constraints: 21172
588.18/589.95 c INPROCESSING
588.18/589.95 c GARBAGE COLLECT
588.18/589.95 c #Conflicts: 278000 | #Constraints: 11758
588.18/589.95 c #Conflicts: 279000 | #Constraints: 12758
588.18/589.95 c #Conflicts: 280000 | #Constraints: 13758
588.18/589.95 c #Conflicts: 281000 | #Constraints: 14758
588.18/589.95 c #Conflicts: 282000 | #Constraints: 15758
588.18/589.95 c #Conflicts: 283000 | #Constraints: 16758
588.18/589.95 c #Conflicts: 284000 | #Constraints: 17758
588.18/589.95 c #Conflicts: 285000 | #Constraints: 18758
588.18/589.95 c #Conflicts: 286000 | #Constraints: 19758
588.18/589.95 c #Conflicts: 287000 | #Constraints: 20758
588.18/589.95 c #Conflicts: 288000 | #Constraints: 21758
677.71/679.72 c INPROCESSING
677.71/679.72 c GARBAGE COLLECT
677.71/679.72 c #Conflicts: 289000 | #Constraints: 12150
677.71/679.72 c #Conflicts: 290000 | #Constraints: 13150
677.71/679.72 c #Conflicts: 291000 | #Constraints: 14150
677.71/679.72 c #Conflicts: 292000 | #Constraints: 15150
677.71/679.72 c #Conflicts: 293000 | #Constraints: 16150
677.71/679.72 c #Conflicts: 294000 | #Constraints: 17150
677.71/679.72 c #Conflicts: 295000 | #Constraints: 18150
677.71/679.72 c #Conflicts: 296000 | #Constraints: 19150
677.71/679.72 c #Conflicts: 297000 | #Constraints: 20150
677.71/679.72 c #Conflicts: 298000 | #Constraints: 21150
677.71/679.72 c #Conflicts: 299000 | #Constraints: 22150
677.71/679.72 c INPROCESSING
677.71/679.72 c GARBAGE COLLECT
677.71/679.72 c #Conflicts: 300000 | #Constraints: 12350
677.71/679.72 c #Conflicts: 301000 | #Constraints: 13350
677.71/679.72 c #Conflicts: 302000 | #Constraints: 14350
677.71/679.72 c #Conflicts: 303000 | #Constraints: 15350
677.71/679.72 c #Conflicts: 304000 | #Constraints: 16350
677.71/679.72 c #Conflicts: 305000 | #Constraints: 17350
677.71/679.72 c #Conflicts: 306000 | #Constraints: 18350
677.71/679.72 c #Conflicts: 307000 | #Constraints: 19350
677.71/679.72 c #Conflicts: 308000 | #Constraints: 20350
677.71/679.72 c #Conflicts: 309000 | #Constraints: 21350
677.71/679.72 c #Conflicts: 310000 | #Constraints: 22350
677.71/679.72 c INPROCESSING
677.71/679.72 c GARBAGE COLLECT
677.71/679.72 c #Conflicts: 311000 | #Constraints: 12352
677.71/679.72 c #Conflicts: 312000 | #Constraints: 13352
677.71/679.72 c #Conflicts: 313000 | #Constraints: 14352
677.71/679.72 c #Conflicts: 314000 | #Constraints: 15352
677.71/679.72 c #Conflicts: 315000 | #Constraints: 16352
677.71/679.72 c #Conflicts: 316000 | #Constraints: 17352
677.71/679.72 c #Conflicts: 317000 | #Constraints: 18352
677.71/679.72 c #Conflicts: 318000 | #Constraints: 19352
677.71/679.72 c #Conflicts: 319000 | #Constraints: 20352
677.71/679.72 c #Conflicts: 320000 | #Constraints: 21352
677.71/679.72 c #Conflicts: 321000 | #Constraints: 22352
677.71/679.72 c INPROCESSING
677.71/679.72 c GARBAGE COLLECT
677.71/679.72 c #Conflicts: 322000 | #Constraints: 12157
677.71/679.72 c #Conflicts: 323000 | #Constraints: 13157
677.71/679.72 c #Conflicts: 324000 | #Constraints: 14157
677.71/679.72 c #Conflicts: 325000 | #Constraints: 15157
677.71/679.72 c #Conflicts: 326000 | #Constraints: 16157
677.71/679.72 c #Conflicts: 327000 | #Constraints: 17157
677.71/679.72 c #Conflicts: 328000 | #Constraints: 18157
677.71/679.72 c #Conflicts: 329000 | #Constraints: 19157
677.71/679.72 c #Conflicts: 330000 | #Constraints: 20157
677.71/679.72 c #Conflicts: 331000 | #Constraints: 21157
677.71/679.72 c #Conflicts: 332000 | #Constraints: 22157
677.71/679.72 c #Conflicts: 333000 | #Constraints: 23157
677.71/679.72 c INPROCESSING
677.71/679.72 c GARBAGE COLLECT
677.71/679.72 c #Conflicts: 334000 | #Constraints: 12755
677.71/679.72 c #Conflicts: 335000 | #Constraints: 13755
677.71/679.72 c #Conflicts: 336000 | #Constraints: 14755
677.71/679.72 c #Conflicts: 337000 | #Constraints: 15755
677.71/679.72 c #Conflicts: 338000 | #Constraints: 16755
677.71/679.72 c #Conflicts: 339000 | #Constraints: 17755
677.71/679.72 c #Conflicts: 340000 | #Constraints: 18755
677.71/679.72 c #Conflicts: 341000 | #Constraints: 19755
677.71/679.72 c #Conflicts: 342000 | #Constraints: 20755
677.71/679.72 c #Conflicts: 343000 | #Constraints: 21755
677.71/679.72 c #Conflicts: 344000 | #Constraints: 22755
677.71/679.72 c #Conflicts: 345000 | #Constraints: 23755
677.71/679.72 c INPROCESSING
677.71/679.72 c GARBAGE COLLECT
677.71/679.72 c #Conflicts: 346000 | #Constraints: 13145
677.71/679.72 c #Conflicts: 347000 | #Constraints: 14145
677.71/679.72 c #Conflicts: 348000 | #Constraints: 15145
677.71/679.72 c #Conflicts: 349000 | #Constraints: 16145
677.71/679.72 c #Conflicts: 350000 | #Constraints: 17145
677.71/679.72 c #Conflicts: 351000 | #Constraints: 18145
677.71/679.72 c #Conflicts: 352000 | #Constraints: 19145
677.71/679.72 c #Conflicts: 353000 | #Constraints: 20145
677.71/679.72 c #Conflicts: 354000 | #Constraints: 21145
677.71/679.72 c #Conflicts: 355000 | #Constraints: 22145
677.71/679.72 c #Conflicts: 356000 | #Constraints: 23145
677.71/679.72 c #Conflicts: 357000 | #Constraints: 24145
677.71/679.72 c INPROCESSING
677.71/679.72 c GARBAGE COLLECT
677.71/679.72 c #Conflicts: 358000 | #Constraints: 13340
677.71/679.72 c #Conflicts: 359000 | #Constraints: 14340
677.71/679.72 c #Conflicts: 360000 | #Constraints: 15340
677.71/679.72 c #Conflicts: 361000 | #Constraints: 16340
677.71/679.72 c #Conflicts: 362000 | #Constraints: 17340
761.87/764.11 c #Conflicts: 363000 | #Constraints: 18340
761.87/764.11 c #Conflicts: 364000 | #Constraints: 19340
761.87/764.11 c #Conflicts: 365000 | #Constraints: 20340
761.87/764.11 c #Conflicts: 366000 | #Constraints: 21340
761.87/764.11 c #Conflicts: 367000 | #Constraints: 22340
761.87/764.11 c #Conflicts: 368000 | #Constraints: 23340
761.87/764.11 c #Conflicts: 369000 | #Constraints: 24340
761.87/764.11 c INPROCESSING
761.87/764.11 c GARBAGE COLLECT
761.87/764.11 c #Conflicts: 370000 | #Constraints: 13363
761.87/764.11 c #Conflicts: 371000 | #Constraints: 14363
761.87/764.11 c #Conflicts: 372000 | #Constraints: 15363
761.87/764.11 c #Conflicts: 373000 | #Constraints: 16363
761.87/764.11 c #Conflicts: 374000 | #Constraints: 17363
761.87/764.11 c #Conflicts: 375000 | #Constraints: 18363
761.87/764.11 c #Conflicts: 376000 | #Constraints: 19363
761.87/764.11 c #Conflicts: 377000 | #Constraints: 20363
761.87/764.11 c #Conflicts: 378000 | #Constraints: 21363
761.87/764.11 c #Conflicts: 379000 | #Constraints: 22363
761.87/764.11 c #Conflicts: 380000 | #Constraints: 23363
761.87/764.11 c #Conflicts: 381000 | #Constraints: 24363
761.87/764.11 c INPROCESSING
761.87/764.11 c GARBAGE COLLECT
761.87/764.11 c #Conflicts: 382000 | #Constraints: 13153
761.87/764.11 c #Conflicts: 383000 | #Constraints: 14153
761.87/764.11 c #Conflicts: 384000 | #Constraints: 15153
761.87/764.11 c #Conflicts: 385000 | #Constraints: 16153
761.87/764.11 c #Conflicts: 386000 | #Constraints: 17153
761.87/764.11 c #Conflicts: 387000 | #Constraints: 18153
761.87/764.11 c #Conflicts: 388000 | #Constraints: 19153
761.87/764.11 c #Conflicts: 389000 | #Constraints: 20153
761.87/764.11 c #Conflicts: 390000 | #Constraints: 21153
761.87/764.11 c #Conflicts: 391000 | #Constraints: 22153
761.87/764.11 c #Conflicts: 392000 | #Constraints: 23153
761.87/764.11 c #Conflicts: 393000 | #Constraints: 24153
761.87/764.11 c #Conflicts: 394000 | #Constraints: 25153
761.87/764.11 c INPROCESSING
761.87/764.11 c GARBAGE COLLECT
761.87/764.11 c #Conflicts: 395000 | #Constraints: 13747
761.87/764.11 c #Conflicts: 396000 | #Constraints: 14747
761.87/764.11 c #Conflicts: 397000 | #Constraints: 15747
761.87/764.11 c #Conflicts: 398000 | #Constraints: 16747
761.87/764.11 c #Conflicts: 399000 | #Constraints: 17747
761.87/764.11 c #Conflicts: 400000 | #Constraints: 18747
761.87/764.11 c #Conflicts: 401000 | #Constraints: 19747
761.87/764.11 c #Conflicts: 402000 | #Constraints: 20747
761.87/764.11 c #Conflicts: 403000 | #Constraints: 21747
761.87/764.11 c #Conflicts: 404000 | #Constraints: 22747
761.87/764.11 c #Conflicts: 405000 | #Constraints: 23747
761.87/764.11 c #Conflicts: 406000 | #Constraints: 24747
761.87/764.11 c #Conflicts: 407000 | #Constraints: 25747
761.87/764.11 c INPROCESSING
761.87/764.11 c GARBAGE COLLECT
761.87/764.11 c #Conflicts: 408000 | #Constraints: 14142
761.87/764.11 c #Conflicts: 409000 | #Constraints: 15142
761.87/764.11 c #Conflicts: 410000 | #Constraints: 16142
761.87/764.11 c #Conflicts: 411000 | #Constraints: 17142
761.87/764.11 c #Conflicts: 412000 | #Constraints: 18142
761.87/764.11 c #Conflicts: 413000 | #Constraints: 19142
761.87/764.11 c #Conflicts: 414000 | #Constraints: 20142
761.87/764.11 c #Conflicts: 415000 | #Constraints: 21142
761.87/764.11 c #Conflicts: 416000 | #Constraints: 22142
761.87/764.11 c #Conflicts: 417000 | #Constraints: 23142
761.87/764.11 c #Conflicts: 418000 | #Constraints: 24142
761.87/764.11 c #Conflicts: 419000 | #Constraints: 25142
761.87/764.11 c #Conflicts: 420000 | #Constraints: 26142
761.87/764.11 c INPROCESSING
761.87/764.11 c GARBAGE COLLECT
761.87/764.11 c #Conflicts: 421000 | #Constraints: 14349
761.87/764.11 c #Conflicts: 422000 | #Constraints: 15349
761.87/764.11 c #Conflicts: 423000 | #Constraints: 16349
761.87/764.11 c #Conflicts: 424000 | #Constraints: 17349
761.87/764.11 c #Conflicts: 425000 | #Constraints: 18349
761.87/764.11 c #Conflicts: 426000 | #Constraints: 19349
761.87/764.11 c #Conflicts: 427000 | #Constraints: 20349
761.87/764.11 c #Conflicts: 428000 | #Constraints: 21349
761.87/764.11 c #Conflicts: 429000 | #Constraints: 22349
761.87/764.11 c #Conflicts: 430000 | #Constraints: 23349
761.87/764.11 c #Conflicts: 431000 | #Constraints: 24349
761.87/764.11 c #Conflicts: 432000 | #Constraints: 25349
761.87/764.11 c #Conflicts: 433000 | #Constraints: 26349
761.87/764.11 c INPROCESSING
761.87/764.11 c GARBAGE COLLECT
761.87/764.11 c #Conflicts: 434000 | #Constraints: 14351
761.87/764.11 c #Conflicts: 435000 | #Constraints: 15351
761.87/764.11 c #Conflicts: 436000 | #Constraints: 16351
761.87/764.11 c #Conflicts: 437000 | #Constraints: 17351
949.50/952.33 c #Conflicts: 438000 | #Constraints: 18351
949.50/952.33 c #Conflicts: 439000 | #Constraints: 19351
949.50/952.33 c #Conflicts: 440000 | #Constraints: 20351
949.50/952.33 c #Conflicts: 441000 | #Constraints: 21351
949.50/952.33 c #Conflicts: 442000 | #Constraints: 22351
949.50/952.33 c #Conflicts: 443000 | #Constraints: 23351
949.50/952.33 c #Conflicts: 444000 | #Constraints: 24351
949.50/952.33 c #Conflicts: 445000 | #Constraints: 25351
949.50/952.33 c #Conflicts: 446000 | #Constraints: 26351
949.50/952.33 c INPROCESSING
949.50/952.33 c GARBAGE COLLECT
949.50/952.33 c #Conflicts: 447000 | #Constraints: 14189
949.50/952.33 c #Conflicts: 448000 | #Constraints: 15189
949.50/952.33 c #Conflicts: 449000 | #Constraints: 16189
949.50/952.33 c #Conflicts: 450000 | #Constraints: 17189
949.50/952.33 c #Conflicts: 451000 | #Constraints: 18189
949.50/952.33 c #Conflicts: 452000 | #Constraints: 19189
949.50/952.33 c #Conflicts: 453000 | #Constraints: 20189
949.50/952.33 c #Conflicts: 454000 | #Constraints: 21189
949.50/952.33 c #Conflicts: 455000 | #Constraints: 22189
949.50/952.33 c #Conflicts: 456000 | #Constraints: 23189
949.50/952.33 c #Conflicts: 457000 | #Constraints: 24189
949.50/952.33 c #Conflicts: 458000 | #Constraints: 25189
949.50/952.33 c #Conflicts: 459000 | #Constraints: 26189
949.50/952.33 c #Conflicts: 460000 | #Constraints: 27189
949.50/952.33 c INPROCESSING
949.50/952.33 c GARBAGE COLLECT
949.50/952.33 c #Conflicts: 461000 | #Constraints: 14805
949.50/952.33 c #Conflicts: 462000 | #Constraints: 15805
949.50/952.33 c #Conflicts: 463000 | #Constraints: 16805
949.50/952.33 c #Conflicts: 464000 | #Constraints: 17805
949.50/952.33 c #Conflicts: 465000 | #Constraints: 18805
949.50/952.33 c #Conflicts: 466000 | #Constraints: 19805
949.50/952.33 c #Conflicts: 467000 | #Constraints: 20805
949.50/952.33 c #Conflicts: 468000 | #Constraints: 21805
949.50/952.33 c #Conflicts: 469000 | #Constraints: 22805
949.50/952.33 c #Conflicts: 470000 | #Constraints: 23805
949.50/952.33 c #Conflicts: 471000 | #Constraints: 24805
949.50/952.33 c #Conflicts: 472000 | #Constraints: 25805
949.50/952.33 c #Conflicts: 473000 | #Constraints: 26805
949.50/952.33 c #Conflicts: 474000 | #Constraints: 27805
949.50/952.33 c INPROCESSING
949.50/952.33 c GARBAGE COLLECT
949.50/952.33 c #Conflicts: 475000 | #Constraints: 15199
949.50/952.33 c #Conflicts: 476000 | #Constraints: 16199
949.50/952.33 c #Conflicts: 477000 | #Constraints: 17199
949.50/952.33 c #Conflicts: 478000 | #Constraints: 18199
949.50/952.33 c #Conflicts: 479000 | #Constraints: 19199
949.50/952.33 c #Conflicts: 480000 | #Constraints: 20199
949.50/952.33 c #Conflicts: 481000 | #Constraints: 21199
949.50/952.33 c #Conflicts: 482000 | #Constraints: 22199
949.50/952.33 c #Conflicts: 483000 | #Constraints: 23199
949.50/952.33 c #Conflicts: 484000 | #Constraints: 24199
949.50/952.33 c #Conflicts: 485000 | #Constraints: 25199
949.50/952.33 c #Conflicts: 486000 | #Constraints: 26199
949.50/952.33 c #Conflicts: 487000 | #Constraints: 27199
949.50/952.33 c #Conflicts: 488000 | #Constraints: 28199
949.50/952.33 c INPROCESSING
949.50/952.33 c GARBAGE COLLECT
949.50/952.33 c #Conflicts: 489000 | #Constraints: 15389
949.50/952.33 c #Conflicts: 490000 | #Constraints: 16389
949.50/952.33 c #Conflicts: 491000 | #Constraints: 17389
949.50/952.33 c #Conflicts: 492000 | #Constraints: 18389
949.50/952.33 c #Conflicts: 493000 | #Constraints: 19389
949.50/952.33 c #Conflicts: 494000 | #Constraints: 20389
949.50/952.33 c #Conflicts: 495000 | #Constraints: 21389
949.50/952.33 c #Conflicts: 496000 | #Constraints: 22389
949.50/952.33 c #Conflicts: 497000 | #Constraints: 23389
949.50/952.33 c #Conflicts: 498000 | #Constraints: 24389
949.50/952.33 c #Conflicts: 499000 | #Constraints: 25389
949.50/952.33 c #Conflicts: 500000 | #Constraints: 26389
949.50/952.33 c #Conflicts: 501000 | #Constraints: 27389
949.50/952.33 c #Conflicts: 502000 | #Constraints: 28389
949.50/952.33 c INPROCESSING
949.50/952.33 c GARBAGE COLLECT
949.50/952.33 c #Conflicts: 503000 | #Constraints: 15387
949.50/952.33 c #Conflicts: 504000 | #Constraints: 16387
949.50/952.33 c #Conflicts: 505000 | #Constraints: 17387
949.50/952.33 c #Conflicts: 506000 | #Constraints: 18387
949.50/952.33 c #Conflicts: 507000 | #Constraints: 19387
949.50/952.33 c #Conflicts: 508000 | #Constraints: 20387
949.50/952.33 c #Conflicts: 509000 | #Constraints: 21387
949.50/952.33 c #Conflicts: 510000 | #Constraints: 22387
949.50/952.33 c #Conflicts: 511000 | #Constraints: 23387
949.50/952.33 c #Conflicts: 512000 | #Constraints: 24387
949.50/952.33 c #Conflicts: 513000 | #Constraints: 25387
1071.32/1074.55 c #Conflicts: 514000 | #Constraints: 26387
1071.32/1074.55 c #Conflicts: 515000 | #Constraints: 27387
1071.32/1074.55 c #Conflicts: 516000 | #Constraints: 28387
1071.32/1074.55 c INPROCESSING
1071.32/1074.55 c GARBAGE COLLECT
1071.32/1074.55 c #Conflicts: 517000 | #Constraints: 15183
1071.32/1074.55 c #Conflicts: 518000 | #Constraints: 16183
1071.32/1074.55 c #Conflicts: 519000 | #Constraints: 17183
1071.32/1074.55 c #Conflicts: 520000 | #Constraints: 18183
1071.32/1074.55 c #Conflicts: 521000 | #Constraints: 19183
1071.32/1074.55 c #Conflicts: 522000 | #Constraints: 20183
1071.32/1074.55 c #Conflicts: 523000 | #Constraints: 21183
1071.32/1074.55 c #Conflicts: 524000 | #Constraints: 22183
1071.32/1074.55 c #Conflicts: 525000 | #Constraints: 23183
1071.32/1074.55 c #Conflicts: 526000 | #Constraints: 24183
1071.32/1074.55 c #Conflicts: 527000 | #Constraints: 25183
1071.32/1074.55 c #Conflicts: 528000 | #Constraints: 26183
1071.32/1074.55 c #Conflicts: 529000 | #Constraints: 27183
1071.32/1074.55 c #Conflicts: 530000 | #Constraints: 28183
1071.32/1074.55 c #Conflicts: 531000 | #Constraints: 29183
1071.32/1074.55 c INPROCESSING
1071.32/1074.55 c GARBAGE COLLECT
1071.32/1074.55 c #Conflicts: 532000 | #Constraints: 15776
1071.32/1074.55 c #Conflicts: 533000 | #Constraints: 16776
1071.32/1074.55 c #Conflicts: 534000 | #Constraints: 17776
1071.32/1074.55 c #Conflicts: 535000 | #Constraints: 18776
1071.32/1074.55 c #Conflicts: 536000 | #Constraints: 19776
1071.32/1074.55 c #Conflicts: 537000 | #Constraints: 20776
1071.32/1074.55 c #Conflicts: 538000 | #Constraints: 21776
1071.32/1074.55 c #Conflicts: 539000 | #Constraints: 22776
1071.32/1074.55 c #Conflicts: 540000 | #Constraints: 23776
1071.32/1074.55 c #Conflicts: 541000 | #Constraints: 24776
1071.32/1074.55 c #Conflicts: 542000 | #Constraints: 25776
1071.32/1074.55 c #Conflicts: 543000 | #Constraints: 26776
1071.32/1074.55 c #Conflicts: 544000 | #Constraints: 27776
1071.32/1074.55 c #Conflicts: 545000 | #Constraints: 28776
1071.32/1074.55 c #Conflicts: 546000 | #Constraints: 29776
1071.32/1074.55 c INPROCESSING
1071.32/1074.55 c GARBAGE COLLECT
1071.32/1074.55 c #Conflicts: 547000 | #Constraints: 16167
1071.32/1074.55 c #Conflicts: 548000 | #Constraints: 17167
1071.32/1074.55 c #Conflicts: 549000 | #Constraints: 18167
1071.32/1074.55 c #Conflicts: 550000 | #Constraints: 19167
1071.32/1074.55 c #Conflicts: 551000 | #Constraints: 20167
1071.32/1074.55 c #Conflicts: 552000 | #Constraints: 21167
1071.32/1074.55 c #Conflicts: 553000 | #Constraints: 22167
1071.32/1074.55 c #Conflicts: 554000 | #Constraints: 23167
1071.32/1074.55 c #Conflicts: 555000 | #Constraints: 24167
1071.32/1074.55 c #Conflicts: 556000 | #Constraints: 25167
1071.32/1074.55 c #Conflicts: 557000 | #Constraints: 26167
1071.32/1074.55 c #Conflicts: 558000 | #Constraints: 27167
1071.32/1074.55 c #Conflicts: 559000 | #Constraints: 28167
1071.32/1074.55 c #Conflicts: 560000 | #Constraints: 29167
1071.32/1074.55 c #Conflicts: 561000 | #Constraints: 30167
1071.32/1074.55 c INPROCESSING
1071.32/1074.55 c GARBAGE COLLECT
1071.32/1074.55 c #Conflicts: 562000 | #Constraints: 16350
1071.32/1074.55 c #Conflicts: 563000 | #Constraints: 17350
1071.32/1074.55 c #Conflicts: 564000 | #Constraints: 18350
1071.32/1074.55 c #Conflicts: 565000 | #Constraints: 19350
1071.32/1074.55 c #Conflicts: 566000 | #Constraints: 20350
1071.32/1074.55 c #Conflicts: 567000 | #Constraints: 21350
1071.32/1074.55 c #Conflicts: 568000 | #Constraints: 22350
1071.32/1074.55 c #Conflicts: 569000 | #Constraints: 23350
1071.32/1074.55 c #Conflicts: 570000 | #Constraints: 24350
1071.32/1074.55 c #Conflicts: 571000 | #Constraints: 25350
1071.32/1074.55 c #Conflicts: 572000 | #Constraints: 26350
1071.32/1074.55 c #Conflicts: 573000 | #Constraints: 27350
1071.32/1074.55 c #Conflicts: 574000 | #Constraints: 28350
1071.32/1074.55 c #Conflicts: 575000 | #Constraints: 29350
1071.32/1074.55 c #Conflicts: 576000 | #Constraints: 30350
1071.32/1074.55 c INPROCESSING
1071.32/1074.55 c GARBAGE COLLECT
1071.32/1074.55 c #Conflicts: 577000 | #Constraints: 16359
1071.32/1074.55 c #Conflicts: 578000 | #Constraints: 17359
1071.32/1074.55 c #Conflicts: 579000 | #Constraints: 18359
1071.32/1074.55 c #Conflicts: 580000 | #Constraints: 19359
1071.32/1074.55 c #Conflicts: 581000 | #Constraints: 20359
1071.32/1074.55 c #Conflicts: 582000 | #Constraints: 21359
1071.32/1074.55 c #Conflicts: 583000 | #Constraints: 22359
1071.32/1074.55 c #Conflicts: 584000 | #Constraints: 23359
1071.32/1074.55 c #Conflicts: 585000 | #Constraints: 24359
1071.32/1074.55 c #Conflicts: 586000 | #Constraints: 25359
1071.32/1074.55 c #Conflicts: 587000 | #Constraints: 26359
1071.32/1074.55 c #Conflicts: 588000 | #Constraints: 27359
1261.66/1265.43 c #Conflicts: 589000 | #Constraints: 28359
1261.66/1265.43 c #Conflicts: 590000 | #Constraints: 29359
1261.66/1265.43 c #Conflicts: 591000 | #Constraints: 30359
1261.66/1265.43 c INPROCESSING
1261.66/1265.43 c GARBAGE COLLECT
1261.66/1265.43 c #Conflicts: 592000 | #Constraints: 16155
1261.66/1265.43 c #Conflicts: 593000 | #Constraints: 17155
1261.66/1265.43 c #Conflicts: 594000 | #Constraints: 18155
1261.66/1265.43 c #Conflicts: 595000 | #Constraints: 19155
1261.66/1265.43 c #Conflicts: 596000 | #Constraints: 20155
1261.66/1265.43 c #Conflicts: 597000 | #Constraints: 21155
1261.66/1265.43 c #Conflicts: 598000 | #Constraints: 22155
1261.66/1265.43 c #Conflicts: 599000 | #Constraints: 23155
1261.66/1265.43 c #Conflicts: 600000 | #Constraints: 24155
1261.66/1265.43 c #Conflicts: 601000 | #Constraints: 25155
1261.66/1265.43 c #Conflicts: 602000 | #Constraints: 26155
1261.66/1265.43 c #Conflicts: 603000 | #Constraints: 27155
1261.66/1265.43 c #Conflicts: 604000 | #Constraints: 28155
1261.66/1265.43 c #Conflicts: 605000 | #Constraints: 29155
1261.66/1265.43 c #Conflicts: 606000 | #Constraints: 30155
1261.66/1265.43 c #Conflicts: 607000 | #Constraints: 31155
1261.66/1265.43 c INPROCESSING
1261.66/1265.43 c GARBAGE COLLECT
1261.66/1265.43 c #Conflicts: 608000 | #Constraints: 16776
1261.66/1265.43 c #Conflicts: 609000 | #Constraints: 17776
1261.66/1265.43 c #Conflicts: 610000 | #Constraints: 18776
1261.66/1265.43 c #Conflicts: 611000 | #Constraints: 19776
1261.66/1265.43 c #Conflicts: 612000 | #Constraints: 20776
1261.66/1265.43 c #Conflicts: 613000 | #Constraints: 21776
1261.66/1265.43 c #Conflicts: 614000 | #Constraints: 22776
1261.66/1265.43 c #Conflicts: 615000 | #Constraints: 23776
1261.66/1265.43 c #Conflicts: 616000 | #Constraints: 24776
1261.66/1265.43 c #Conflicts: 617000 | #Constraints: 25776
1261.66/1265.43 c #Conflicts: 618000 | #Constraints: 26776
1261.66/1265.43 c #Conflicts: 619000 | #Constraints: 27776
1261.66/1265.43 c #Conflicts: 620000 | #Constraints: 28776
1261.66/1265.43 c #Conflicts: 621000 | #Constraints: 29776
1261.66/1265.43 c #Conflicts: 622000 | #Constraints: 30776
1261.66/1265.43 c #Conflicts: 623000 | #Constraints: 31776
1261.66/1265.43 c INPROCESSING
1261.66/1265.43 c GARBAGE COLLECT
1261.66/1265.43 c #Conflicts: 624000 | #Constraints: 17170
1261.66/1265.43 c #Conflicts: 625000 | #Constraints: 18170
1261.66/1265.43 c #Conflicts: 626000 | #Constraints: 19170
1261.66/1265.43 c #Conflicts: 627000 | #Constraints: 20170
1261.66/1265.43 c #Conflicts: 628000 | #Constraints: 21170
1261.66/1265.43 c #Conflicts: 629000 | #Constraints: 22170
1261.66/1265.43 c #Conflicts: 630000 | #Constraints: 23170
1261.66/1265.43 c #Conflicts: 631000 | #Constraints: 24170
1261.66/1265.43 c #Conflicts: 632000 | #Constraints: 25170
1261.66/1265.43 c #Conflicts: 633000 | #Constraints: 26170
1261.66/1265.43 c #Conflicts: 634000 | #Constraints: 27170
1261.66/1265.43 c #Conflicts: 635000 | #Constraints: 28170
1261.66/1265.43 c #Conflicts: 636000 | #Constraints: 29170
1261.66/1265.43 c #Conflicts: 637000 | #Constraints: 30170
1261.66/1265.43 c #Conflicts: 638000 | #Constraints: 31170
1261.66/1265.43 c #Conflicts: 639000 | #Constraints: 32170
1261.66/1265.43 c INPROCESSING
1261.66/1265.43 c GARBAGE COLLECT
1261.66/1265.43 c #Conflicts: 640000 | #Constraints: 17355
1261.66/1265.43 c #Conflicts: 641000 | #Constraints: 18355
1261.66/1265.43 c #Conflicts: 642000 | #Constraints: 19355
1261.66/1265.43 c #Conflicts: 643000 | #Constraints: 20355
1261.66/1265.43 c #Conflicts: 644000 | #Constraints: 21355
1261.66/1265.43 c #Conflicts: 645000 | #Constraints: 22355
1261.66/1265.43 c #Conflicts: 646000 | #Constraints: 23355
1261.66/1265.43 c #Conflicts: 647000 | #Constraints: 24355
1261.66/1265.43 c #Conflicts: 648000 | #Constraints: 25355
1261.66/1265.43 c #Conflicts: 649000 | #Constraints: 26355
1261.66/1265.43 c #Conflicts: 650000 | #Constraints: 27355
1261.66/1265.43 c #Conflicts: 651000 | #Constraints: 28355
1261.66/1265.43 c #Conflicts: 652000 | #Constraints: 29355
1261.66/1265.43 c #Conflicts: 653000 | #Constraints: 30355
1261.66/1265.43 c #Conflicts: 654000 | #Constraints: 31355
1261.66/1265.43 c #Conflicts: 655000 | #Constraints: 32355
1261.66/1265.43 c INPROCESSING
1261.66/1265.43 c GARBAGE COLLECT
1261.66/1265.43 c #Conflicts: 656000 | #Constraints: 17355
1261.66/1265.43 c #Conflicts: 657000 | #Constraints: 18355
1261.66/1265.43 c #Conflicts: 658000 | #Constraints: 19355
1261.66/1265.43 c #Conflicts: 659000 | #Constraints: 20355
1261.66/1265.43 c #Conflicts: 660000 | #Constraints: 21355
1261.66/1265.43 c #Conflicts: 661000 | #Constraints: 22355
1261.66/1265.43 c #Conflicts: 662000 | #Constraints: 23355
1261.66/1265.43 c #Conflicts: 663000 | #Constraints: 24355
1261.66/1265.43 c #Conflicts: 664000 | #Constraints: 25355
1421.90/1426.11 c #Conflicts: 665000 | #Constraints: 26355
1421.90/1426.11 c #Conflicts: 666000 | #Constraints: 27355
1421.90/1426.11 c #Conflicts: 667000 | #Constraints: 28355
1421.90/1426.11 c #Conflicts: 668000 | #Constraints: 29355
1421.90/1426.11 c #Conflicts: 669000 | #Constraints: 30355
1421.90/1426.11 c #Conflicts: 670000 | #Constraints: 31355
1421.90/1426.11 c #Conflicts: 671000 | #Constraints: 32355
1421.90/1426.11 c INPROCESSING
1421.90/1426.11 c GARBAGE COLLECT
1421.90/1426.11 c #Conflicts: 672000 | #Constraints: 17152
1421.90/1426.11 c #Conflicts: 673000 | #Constraints: 18152
1421.90/1426.11 c #Conflicts: 674000 | #Constraints: 19152
1421.90/1426.11 c #Conflicts: 675000 | #Constraints: 20152
1421.90/1426.11 c #Conflicts: 676000 | #Constraints: 21152
1421.90/1426.11 c #Conflicts: 677000 | #Constraints: 22152
1421.90/1426.11 c #Conflicts: 678000 | #Constraints: 23152
1421.90/1426.11 c #Conflicts: 679000 | #Constraints: 24152
1421.90/1426.11 c #Conflicts: 680000 | #Constraints: 25152
1421.90/1426.11 c #Conflicts: 681000 | #Constraints: 26152
1421.90/1426.11 c #Conflicts: 682000 | #Constraints: 27152
1421.90/1426.11 c #Conflicts: 683000 | #Constraints: 28152
1421.90/1426.11 c #Conflicts: 684000 | #Constraints: 29152
1421.90/1426.11 c #Conflicts: 685000 | #Constraints: 30152
1421.90/1426.11 c #Conflicts: 686000 | #Constraints: 31152
1421.90/1426.11 c #Conflicts: 687000 | #Constraints: 32152
1421.90/1426.11 c #Conflicts: 688000 | #Constraints: 33152
1421.90/1426.11 c INPROCESSING
1421.90/1426.11 c GARBAGE COLLECT
1421.90/1426.11 c #Conflicts: 689000 | #Constraints: 17750
1421.90/1426.11 c #Conflicts: 690000 | #Constraints: 18750
1421.90/1426.11 c #Conflicts: 691000 | #Constraints: 19750
1421.90/1426.11 c #Conflicts: 692000 | #Constraints: 20750
1421.90/1426.11 c #Conflicts: 693000 | #Constraints: 21750
1421.90/1426.11 c #Conflicts: 694000 | #Constraints: 22750
1421.90/1426.11 c #Conflicts: 695000 | #Constraints: 23750
1421.90/1426.11 c #Conflicts: 696000 | #Constraints: 24750
1421.90/1426.11 c #Conflicts: 697000 | #Constraints: 25750
1421.90/1426.11 c #Conflicts: 698000 | #Constraints: 26750
1421.90/1426.11 c #Conflicts: 699000 | #Constraints: 27750
1421.90/1426.11 c #Conflicts: 700000 | #Constraints: 28750
1421.90/1426.11 c #Conflicts: 701000 | #Constraints: 29750
1421.90/1426.11 c #Conflicts: 702000 | #Constraints: 30750
1421.90/1426.11 c #Conflicts: 703000 | #Constraints: 31750
1421.90/1426.11 c #Conflicts: 704000 | #Constraints: 32750
1421.90/1426.11 c #Conflicts: 705000 | #Constraints: 33750
1421.90/1426.11 c INPROCESSING
1421.90/1426.11 c GARBAGE COLLECT
1421.90/1426.11 c #Conflicts: 706000 | #Constraints: 18152
1421.90/1426.11 c #Conflicts: 707000 | #Constraints: 19152
1421.90/1426.11 c #Conflicts: 708000 | #Constraints: 20152
1421.90/1426.11 c #Conflicts: 709000 | #Constraints: 21152
1421.90/1426.11 c #Conflicts: 710000 | #Constraints: 22152
1421.90/1426.11 c #Conflicts: 711000 | #Constraints: 23152
1421.90/1426.11 c #Conflicts: 712000 | #Constraints: 24152
1421.90/1426.11 c #Conflicts: 713000 | #Constraints: 25152
1421.90/1426.11 c #Conflicts: 714000 | #Constraints: 26152
1421.90/1426.11 c #Conflicts: 715000 | #Constraints: 27152
1421.90/1426.11 c #Conflicts: 716000 | #Constraints: 28152
1421.90/1426.11 c #Conflicts: 717000 | #Constraints: 29152
1421.90/1426.11 c #Conflicts: 718000 | #Constraints: 30152
1421.90/1426.11 c #Conflicts: 719000 | #Constraints: 31152
1421.90/1426.11 c #Conflicts: 720000 | #Constraints: 32152
1421.90/1426.11 c #Conflicts: 721000 | #Constraints: 33152
1421.90/1426.11 c #Conflicts: 722000 | #Constraints: 34152
1421.90/1426.11 c INPROCESSING
1421.90/1426.11 c GARBAGE COLLECT
1421.90/1426.11 c #Conflicts: 723000 | #Constraints: 18384
1421.90/1426.11 c #Conflicts: 724000 | #Constraints: 19384
1421.90/1426.11 c #Conflicts: 725000 | #Constraints: 20384
1421.90/1426.11 c #Conflicts: 726000 | #Constraints: 21384
1421.90/1426.11 c #Conflicts: 727000 | #Constraints: 22384
1421.90/1426.11 c #Conflicts: 728000 | #Constraints: 23384
1421.90/1426.11 c #Conflicts: 729000 | #Constraints: 24384
1421.90/1426.11 c #Conflicts: 730000 | #Constraints: 25384
1421.90/1426.11 c #Conflicts: 731000 | #Constraints: 26384
1421.90/1426.11 c #Conflicts: 732000 | #Constraints: 27384
1421.90/1426.11 c #Conflicts: 733000 | #Constraints: 28384
1421.90/1426.11 c #Conflicts: 734000 | #Constraints: 29384
1421.90/1426.11 c #Conflicts: 735000 | #Constraints: 30384
1421.90/1426.11 c #Conflicts: 736000 | #Constraints: 31384
1421.90/1426.11 c #Conflicts: 737000 | #Constraints: 32384
1421.90/1426.11 c #Conflicts: 738000 | #Constraints: 33384
1421.90/1426.11 c #Conflicts: 739000 | #Constraints: 34384
1421.90/1426.11 c INPROCESSING
1421.90/1426.11 c GARBAGE COLLECT
1540.45/1545.10 c #Conflicts: 740000 | #Constraints: 18414
1540.45/1545.10 c #Conflicts: 741000 | #Constraints: 19414
1540.45/1545.10 c #Conflicts: 742000 | #Constraints: 20414
1540.45/1545.10 c #Conflicts: 743000 | #Constraints: 21414
1540.45/1545.10 c #Conflicts: 744000 | #Constraints: 22414
1540.45/1545.10 c #Conflicts: 745000 | #Constraints: 23414
1540.45/1545.10 c #Conflicts: 746000 | #Constraints: 24414
1540.45/1545.10 c #Conflicts: 747000 | #Constraints: 25414
1540.45/1545.10 c #Conflicts: 748000 | #Constraints: 26414
1540.45/1545.10 c #Conflicts: 749000 | #Constraints: 27414
1540.45/1545.10 c #Conflicts: 750000 | #Constraints: 28414
1540.45/1545.10 c #Conflicts: 751000 | #Constraints: 29414
1540.45/1545.10 c #Conflicts: 752000 | #Constraints: 30414
1540.45/1545.10 c #Conflicts: 753000 | #Constraints: 31414
1540.45/1545.10 c #Conflicts: 754000 | #Constraints: 32414
1540.45/1545.10 c #Conflicts: 755000 | #Constraints: 33414
1540.45/1545.10 c #Conflicts: 756000 | #Constraints: 34414
1540.45/1545.10 c INPROCESSING
1540.45/1545.10 c GARBAGE COLLECT
1540.45/1545.10 c #Conflicts: 757000 | #Constraints: 18173
1540.45/1545.10 c #Conflicts: 758000 | #Constraints: 19173
1540.45/1545.10 c #Conflicts: 759000 | #Constraints: 20173
1540.45/1545.10 c #Conflicts: 760000 | #Constraints: 21173
1540.45/1545.10 c #Conflicts: 761000 | #Constraints: 22173
1540.45/1545.10 c #Conflicts: 762000 | #Constraints: 23173
1540.45/1545.10 c #Conflicts: 763000 | #Constraints: 24173
1540.45/1545.10 c #Conflicts: 764000 | #Constraints: 25173
1540.45/1545.10 c #Conflicts: 765000 | #Constraints: 26173
1540.45/1545.10 c #Conflicts: 766000 | #Constraints: 27173
1540.45/1545.10 c #Conflicts: 767000 | #Constraints: 28173
1540.45/1545.10 c #Conflicts: 768000 | #Constraints: 29173
1540.45/1545.10 c #Conflicts: 769000 | #Constraints: 30173
1540.45/1545.10 c #Conflicts: 770000 | #Constraints: 31173
1540.45/1545.10 c #Conflicts: 771000 | #Constraints: 32173
1540.45/1545.10 c #Conflicts: 772000 | #Constraints: 33173
1540.45/1545.10 c #Conflicts: 773000 | #Constraints: 34173
1540.45/1545.10 c #Conflicts: 774000 | #Constraints: 35173
1540.45/1545.10 c INPROCESSING
1540.45/1545.10 c GARBAGE COLLECT
1540.45/1545.10 c #Conflicts: 775000 | #Constraints: 18764
1540.45/1545.10 c #Conflicts: 776000 | #Constraints: 19764
1540.45/1545.10 c #Conflicts: 777000 | #Constraints: 20764
1540.45/1545.10 c #Conflicts: 778000 | #Constraints: 21764
1540.45/1545.10 c #Conflicts: 779000 | #Constraints: 22764
1540.45/1545.10 c #Conflicts: 780000 | #Constraints: 23764
1540.45/1545.10 c #Conflicts: 781000 | #Constraints: 24764
1540.45/1545.10 c #Conflicts: 782000 | #Constraints: 25764
1540.45/1545.10 c #Conflicts: 783000 | #Constraints: 26764
1540.45/1545.10 c #Conflicts: 784000 | #Constraints: 27764
1540.45/1545.10 c #Conflicts: 785000 | #Constraints: 28764
1540.45/1545.10 c #Conflicts: 786000 | #Constraints: 29764
1540.45/1545.10 c #Conflicts: 787000 | #Constraints: 30764
1540.45/1545.10 c #Conflicts: 788000 | #Constraints: 31764
1540.45/1545.10 c #Conflicts: 789000 | #Constraints: 32764
1540.45/1545.10 c #Conflicts: 790000 | #Constraints: 33764
1540.45/1545.10 c #Conflicts: 791000 | #Constraints: 34764
1540.45/1545.10 c #Conflicts: 792000 | #Constraints: 35764
1540.45/1545.10 c INPROCESSING
1540.45/1545.10 c GARBAGE COLLECT
1540.45/1545.10 c #Conflicts: 793000 | #Constraints: 19154
1540.45/1545.10 c #Conflicts: 794000 | #Constraints: 20154
1540.45/1545.10 c #Conflicts: 795000 | #Constraints: 21154
1540.45/1545.10 c #Conflicts: 796000 | #Constraints: 22154
1540.45/1545.10 c #Conflicts: 797000 | #Constraints: 23154
1540.45/1545.10 c #Conflicts: 798000 | #Constraints: 24154
1540.45/1545.10 c #Conflicts: 799000 | #Constraints: 25154
1540.45/1545.10 c #Conflicts: 800000 | #Constraints: 26154
1540.45/1545.10 c #Conflicts: 801000 | #Constraints: 27154
1540.45/1545.10 c #Conflicts: 802000 | #Constraints: 28154
1540.45/1545.10 c #Conflicts: 803000 | #Constraints: 29154
1540.45/1545.10 c #Conflicts: 804000 | #Constraints: 30154
1540.45/1545.10 c #Conflicts: 805000 | #Constraints: 31154
1540.45/1545.10 c #Conflicts: 806000 | #Constraints: 32154
1540.45/1545.10 c #Conflicts: 807000 | #Constraints: 33154
1540.45/1545.10 c #Conflicts: 808000 | #Constraints: 34154
1540.45/1545.10 c #Conflicts: 809000 | #Constraints: 35154
1540.45/1545.10 c #Conflicts: 810000 | #Constraints: 36154
1540.45/1545.10 c INPROCESSING
1540.45/1545.10 c GARBAGE COLLECT
1540.45/1545.10 c #Conflicts: 811000 | #Constraints: 19359
1540.45/1545.10 c #Conflicts: 812000 | #Constraints: 20359
1540.45/1545.10 c #Conflicts: 813000 | #Constraints: 21359
1540.45/1545.10 c #Conflicts: 814000 | #Constraints: 22359
1540.45/1545.10 c #Conflicts: 815000 | #Constraints: 23359
1540.45/1545.10 c #Conflicts: 816000 | #Constraints: 24359
1758.62/1763.82 c #Conflicts: 817000 | #Constraints: 25359
1758.62/1763.82 c #Conflicts: 818000 | #Constraints: 26359
1758.62/1763.82 c #Conflicts: 819000 | #Constraints: 27359
1758.62/1763.82 c #Conflicts: 820000 | #Constraints: 28359
1758.62/1763.82 c #Conflicts: 821000 | #Constraints: 29359
1758.62/1763.82 c #Conflicts: 822000 | #Constraints: 30359
1758.62/1763.82 c #Conflicts: 823000 | #Constraints: 31359
1758.62/1763.82 c #Conflicts: 824000 | #Constraints: 32359
1758.62/1763.82 c #Conflicts: 825000 | #Constraints: 33359
1758.62/1763.82 c #Conflicts: 826000 | #Constraints: 34359
1758.62/1763.82 c #Conflicts: 827000 | #Constraints: 35359
1758.62/1763.82 c #Conflicts: 828000 | #Constraints: 36359
1758.62/1763.82 c INPROCESSING
1758.62/1763.82 c GARBAGE COLLECT
1758.62/1763.82 c #Conflicts: 829000 | #Constraints: 19367
1758.62/1763.82 c #Conflicts: 830000 | #Constraints: 20367
1758.62/1763.82 c #Conflicts: 831000 | #Constraints: 21367
1758.62/1763.82 c #Conflicts: 832000 | #Constraints: 22367
1758.62/1763.82 c #Conflicts: 833000 | #Constraints: 23367
1758.62/1763.82 c #Conflicts: 834000 | #Constraints: 24367
1758.62/1763.82 c #Conflicts: 835000 | #Constraints: 25367
1758.62/1763.82 c #Conflicts: 836000 | #Constraints: 26367
1758.62/1763.82 c #Conflicts: 837000 | #Constraints: 27367
1758.62/1763.82 c #Conflicts: 838000 | #Constraints: 28367
1758.62/1763.82 c #Conflicts: 839000 | #Constraints: 29367
1758.62/1763.82 c #Conflicts: 840000 | #Constraints: 30367
1758.62/1763.82 c #Conflicts: 841000 | #Constraints: 31367
1758.62/1763.82 c #Conflicts: 842000 | #Constraints: 32367
1758.62/1763.82 c #Conflicts: 843000 | #Constraints: 33367
1758.62/1763.82 c #Conflicts: 844000 | #Constraints: 34367
1758.62/1763.82 c #Conflicts: 845000 | #Constraints: 35367
1758.62/1763.82 c #Conflicts: 846000 | #Constraints: 36367
1758.62/1763.82 c INPROCESSING
1758.62/1763.82 c GARBAGE COLLECT
1758.62/1763.82 c #Conflicts: 847000 | #Constraints: 19155
1758.62/1763.82 c #Conflicts: 848000 | #Constraints: 20155
1758.62/1763.82 c #Conflicts: 849000 | #Constraints: 21155
1758.62/1763.82 c #Conflicts: 850000 | #Constraints: 22155
1758.62/1763.82 c #Conflicts: 851000 | #Constraints: 23155
1758.62/1763.82 c #Conflicts: 852000 | #Constraints: 24155
1758.62/1763.82 c #Conflicts: 853000 | #Constraints: 25155
1758.62/1763.82 c #Conflicts: 854000 | #Constraints: 26155
1758.62/1763.82 c #Conflicts: 855000 | #Constraints: 27155
1758.62/1763.82 c #Conflicts: 856000 | #Constraints: 28155
1758.62/1763.82 c #Conflicts: 857000 | #Constraints: 29155
1758.62/1763.82 c #Conflicts: 858000 | #Constraints: 30155
1758.62/1763.82 c #Conflicts: 859000 | #Constraints: 31155
1758.62/1763.82 c #Conflicts: 860000 | #Constraints: 32155
1758.62/1763.82 c #Conflicts: 861000 | #Constraints: 33155
1758.62/1763.82 c #Conflicts: 862000 | #Constraints: 34155
1758.62/1763.82 c #Conflicts: 863000 | #Constraints: 35155
1758.62/1763.82 c #Conflicts: 864000 | #Constraints: 36155
1758.62/1763.82 c #Conflicts: 865000 | #Constraints: 37155
1758.62/1763.82 c INPROCESSING
1758.62/1763.82 c GARBAGE COLLECT
1758.62/1763.82 c #Conflicts: 866000 | #Constraints: 19755
1758.62/1763.82 c #Conflicts: 867000 | #Constraints: 20755
1758.62/1763.82 c #Conflicts: 868000 | #Constraints: 21755
1758.62/1763.82 c #Conflicts: 869000 | #Constraints: 22755
1758.62/1763.82 c #Conflicts: 870000 | #Constraints: 23755
1758.62/1763.82 c #Conflicts: 871000 | #Constraints: 24755
1758.62/1763.82 c #Conflicts: 872000 | #Constraints: 25755
1758.62/1763.82 c #Conflicts: 873000 | #Constraints: 26755
1758.62/1763.82 c #Conflicts: 874000 | #Constraints: 27755
1758.62/1763.82 c #Conflicts: 875000 | #Constraints: 28755
1758.62/1763.82 c #Conflicts: 876000 | #Constraints: 29755
1758.62/1763.82 c #Conflicts: 877000 | #Constraints: 30755
1758.62/1763.82 c #Conflicts: 878000 | #Constraints: 31755
1758.62/1763.82 c #Conflicts: 879000 | #Constraints: 32755
1758.62/1763.82 c #Conflicts: 880000 | #Constraints: 33755
1758.62/1763.82 c #Conflicts: 881000 | #Constraints: 34755
1758.62/1763.82 c #Conflicts: 882000 | #Constraints: 35755
1758.62/1763.82 c #Conflicts: 883000 | #Constraints: 36755
1758.62/1763.82 c #Conflicts: 884000 | #Constraints: 37755
1758.62/1763.82 c INPROCESSING
1758.62/1763.82 c GARBAGE COLLECT
1758.62/1763.82 c #Conflicts: 885000 | #Constraints: 20154
1758.62/1763.82 c #Conflicts: 886000 | #Constraints: 21154
1758.62/1763.82 c #Conflicts: 887000 | #Constraints: 22154
1758.62/1763.82 c #Conflicts: 888000 | #Constraints: 23154
1758.62/1763.82 c #Conflicts: 889000 | #Constraints: 24154
1758.62/1763.82 c #Conflicts: 890000 | #Constraints: 25154
1758.62/1763.82 c #Conflicts: 891000 | #Constraints: 26154
1758.62/1763.82 c #Conflicts: 892000 | #Constraints: 27154
1900.40/1906.01 c #Conflicts: 893000 | #Constraints: 28154
1900.40/1906.01 c #Conflicts: 894000 | #Constraints: 29154
1900.40/1906.01 c #Conflicts: 895000 | #Constraints: 30154
1900.40/1906.01 c #Conflicts: 896000 | #Constraints: 31154
1900.40/1906.01 c #Conflicts: 897000 | #Constraints: 32154
1900.40/1906.01 c #Conflicts: 898000 | #Constraints: 33154
1900.40/1906.01 c #Conflicts: 899000 | #Constraints: 34154
1900.40/1906.01 c #Conflicts: 900000 | #Constraints: 35154
1900.40/1906.01 c #Conflicts: 901000 | #Constraints: 36154
1900.40/1906.01 c #Conflicts: 902000 | #Constraints: 37154
1900.40/1906.01 c #Conflicts: 903000 | #Constraints: 38154
1900.40/1906.01 c INPROCESSING
1900.40/1906.01 c GARBAGE COLLECT
1900.40/1906.01 c #Conflicts: 904000 | #Constraints: 20345
1900.40/1906.01 c #Conflicts: 905000 | #Constraints: 21345
1900.40/1906.01 c #Conflicts: 906000 | #Constraints: 22345
1900.40/1906.01 c #Conflicts: 907000 | #Constraints: 23345
1900.40/1906.01 c #Conflicts: 908000 | #Constraints: 24345
1900.40/1906.01 c #Conflicts: 909000 | #Constraints: 25345
1900.40/1906.01 c #Conflicts: 910000 | #Constraints: 26345
1900.40/1906.01 c #Conflicts: 911000 | #Constraints: 27345
1900.40/1906.01 c #Conflicts: 912000 | #Constraints: 28345
1900.40/1906.01 c #Conflicts: 913000 | #Constraints: 29345
1900.40/1906.01 c #Conflicts: 914000 | #Constraints: 30345
1900.40/1906.01 c #Conflicts: 915000 | #Constraints: 31345
1900.40/1906.01 c #Conflicts: 916000 | #Constraints: 32345
1900.40/1906.01 c #Conflicts: 917000 | #Constraints: 33345
1900.40/1906.01 c #Conflicts: 918000 | #Constraints: 34345
1900.40/1906.01 c #Conflicts: 919000 | #Constraints: 35345
1900.40/1906.01 c #Conflicts: 920000 | #Constraints: 36345
1900.40/1906.01 c #Conflicts: 921000 | #Constraints: 37345
1900.40/1906.01 c #Conflicts: 922000 | #Constraints: 38345
1900.40/1906.01 c INPROCESSING
1900.40/1906.01 c GARBAGE COLLECT
1900.40/1906.01 c #Conflicts: 923000 | #Constraints: 20341
1900.40/1906.01 c #Conflicts: 924000 | #Constraints: 21341
1900.40/1906.01 c #Conflicts: 925000 | #Constraints: 22341
1900.40/1906.01 c #Conflicts: 926000 | #Constraints: 23341
1900.40/1906.01 c #Conflicts: 927000 | #Constraints: 24341
1900.40/1906.01 c #Conflicts: 928000 | #Constraints: 25341
1900.40/1906.01 c #Conflicts: 929000 | #Constraints: 26341
1900.40/1906.01 c #Conflicts: 930000 | #Constraints: 27341
1900.40/1906.01 c #Conflicts: 931000 | #Constraints: 28341
1900.40/1906.01 c #Conflicts: 932000 | #Constraints: 29341
1900.40/1906.01 c #Conflicts: 933000 | #Constraints: 30341
1900.40/1906.01 c #Conflicts: 934000 | #Constraints: 31341
1900.40/1906.01 c #Conflicts: 935000 | #Constraints: 32341
1900.40/1906.01 c #Conflicts: 936000 | #Constraints: 33341
1900.40/1906.01 c #Conflicts: 937000 | #Constraints: 34341
1900.40/1906.01 c #Conflicts: 938000 | #Constraints: 35341
1900.40/1906.01 c #Conflicts: 939000 | #Constraints: 36341
1900.40/1906.01 c #Conflicts: 940000 | #Constraints: 37341
1900.40/1906.01 c #Conflicts: 941000 | #Constraints: 38341
1900.40/1906.01 c INPROCESSING
1900.40/1906.01 c GARBAGE COLLECT
1900.40/1906.01 c #Conflicts: 942000 | #Constraints: 20167
1900.40/1906.01 c #Conflicts: 943000 | #Constraints: 21167
1900.40/1906.01 c #Conflicts: 944000 | #Constraints: 22167
1900.40/1906.01 c #Conflicts: 945000 | #Constraints: 23167
1900.40/1906.01 c #Conflicts: 946000 | #Constraints: 24167
1900.40/1906.01 c #Conflicts: 947000 | #Constraints: 25167
1900.40/1906.01 c #Conflicts: 948000 | #Constraints: 26167
1900.40/1906.01 c #Conflicts: 949000 | #Constraints: 27167
1900.40/1906.01 c #Conflicts: 950000 | #Constraints: 28167
1900.40/1906.01 c #Conflicts: 951000 | #Constraints: 29167
1900.40/1906.01 c #Conflicts: 952000 | #Constraints: 30167
1900.40/1906.01 c #Conflicts: 953000 | #Constraints: 31167
1900.40/1906.01 c #Conflicts: 954000 | #Constraints: 32167
1900.40/1906.01 c #Conflicts: 955000 | #Constraints: 33167
1900.40/1906.01 c #Conflicts: 956000 | #Constraints: 34167
1900.40/1906.01 c #Conflicts: 957000 | #Constraints: 35167
1900.40/1906.01 c #Conflicts: 958000 | #Constraints: 36167
1900.40/1906.01 c #Conflicts: 959000 | #Constraints: 37167
1900.40/1906.01 c #Conflicts: 960000 | #Constraints: 38167
1900.40/1906.01 c #Conflicts: 961000 | #Constraints: 39167
1900.40/1906.01 c INPROCESSING
1900.40/1906.01 c GARBAGE COLLECT
1900.40/1906.01 c #Conflicts: 962000 | #Constraints: 20790
1900.40/1906.01 c #Conflicts: 963000 | #Constraints: 21790
1900.40/1906.01 c #Conflicts: 964000 | #Constraints: 22790
1900.40/1906.01 c #Conflicts: 965000 | #Constraints: 23790
1900.40/1906.01 c #Conflicts: 966000 | #Constraints: 24790
1900.40/1906.01 c #Conflicts: 967000 | #Constraints: 25790
1900.40/1906.01 c #Conflicts: 968000 | #Constraints: 26790
2137.57/2143.96 c #Conflicts: 969000 | #Constraints: 27790
2137.57/2143.96 c #Conflicts: 970000 | #Constraints: 28790
2137.57/2143.96 c #Conflicts: 971000 | #Constraints: 29790
2137.57/2143.96 c #Conflicts: 972000 | #Constraints: 30790
2137.57/2143.96 c #Conflicts: 973000 | #Constraints: 31790
2137.57/2143.96 c #Conflicts: 974000 | #Constraints: 32790
2137.57/2143.96 c #Conflicts: 975000 | #Constraints: 33790
2137.57/2143.96 c #Conflicts: 976000 | #Constraints: 34790
2137.57/2143.96 c #Conflicts: 977000 | #Constraints: 35790
2137.57/2143.96 c #Conflicts: 978000 | #Constraints: 36790
2137.57/2143.96 c #Conflicts: 979000 | #Constraints: 37790
2137.57/2143.96 c #Conflicts: 980000 | #Constraints: 38790
2137.57/2143.96 c #Conflicts: 981000 | #Constraints: 39790
2137.57/2143.96 c INPROCESSING
2137.57/2143.96 c GARBAGE COLLECT
2137.57/2143.96 c #Conflicts: 982000 | #Constraints: 21179
2137.57/2143.96 c #Conflicts: 983000 | #Constraints: 22179
2137.57/2143.96 c #Conflicts: 984000 | #Constraints: 23179
2137.57/2143.96 c #Conflicts: 985000 | #Constraints: 24179
2137.57/2143.96 c #Conflicts: 986000 | #Constraints: 25179
2137.57/2143.96 c #Conflicts: 987000 | #Constraints: 26179
2137.57/2143.96 c #Conflicts: 988000 | #Constraints: 27179
2137.57/2143.96 c #Conflicts: 989000 | #Constraints: 28179
2137.57/2143.96 c #Conflicts: 990000 | #Constraints: 29179
2137.57/2143.96 c #Conflicts: 991000 | #Constraints: 30179
2137.57/2143.96 c #Conflicts: 992000 | #Constraints: 31179
2137.57/2143.96 c #Conflicts: 993000 | #Constraints: 32179
2137.57/2143.96 c #Conflicts: 994000 | #Constraints: 33179
2137.57/2143.96 c #Conflicts: 995000 | #Constraints: 34179
2137.57/2143.96 c #Conflicts: 996000 | #Constraints: 35179
2137.57/2143.96 c #Conflicts: 997000 | #Constraints: 36179
2137.57/2143.96 c #Conflicts: 998000 | #Constraints: 37179
2137.57/2143.96 c #Conflicts: 999000 | #Constraints: 38179
2137.57/2143.96 c #Conflicts: 1000000 | #Constraints: 39179
2137.57/2143.96 c #Conflicts: 1001000 | #Constraints: 40179
2137.57/2143.96 c INPROCESSING
2137.57/2143.96 c GARBAGE COLLECT
2137.57/2143.96 c #Conflicts: 1002000 | #Constraints: 21398
2137.57/2143.96 c #Conflicts: 1003000 | #Constraints: 22398
2137.57/2143.96 c #Conflicts: 1004000 | #Constraints: 23398
2137.57/2143.96 c #Conflicts: 1005000 | #Constraints: 24398
2137.57/2143.96 c #Conflicts: 1006000 | #Constraints: 25398
2137.57/2143.96 c #Conflicts: 1007000 | #Constraints: 26398
2137.57/2143.96 c #Conflicts: 1008000 | #Constraints: 27398
2137.57/2143.96 c #Conflicts: 1009000 | #Constraints: 28398
2137.57/2143.96 c #Conflicts: 1010000 | #Constraints: 29398
2137.57/2143.96 c #Conflicts: 1011000 | #Constraints: 30398
2137.57/2143.96 c #Conflicts: 1012000 | #Constraints: 31398
2137.57/2143.96 c #Conflicts: 1013000 | #Constraints: 32398
2137.57/2143.96 c #Conflicts: 1014000 | #Constraints: 33398
2137.57/2143.96 c #Conflicts: 1015000 | #Constraints: 34398
2137.57/2143.96 c #Conflicts: 1016000 | #Constraints: 35398
2137.57/2143.96 c #Conflicts: 1017000 | #Constraints: 36398
2137.57/2143.96 c #Conflicts: 1018000 | #Constraints: 37398
2137.57/2143.96 c #Conflicts: 1019000 | #Constraints: 38398
2137.57/2143.96 c #Conflicts: 1020000 | #Constraints: 39398
2137.57/2143.96 c #Conflicts: 1021000 | #Constraints: 40398
2137.57/2143.96 c INPROCESSING
2137.57/2143.96 c GARBAGE COLLECT
2137.57/2143.96 c #Conflicts: 1022000 | #Constraints: 21386
2137.57/2143.96 c #Conflicts: 1023000 | #Constraints: 22386
2137.57/2143.96 c #Conflicts: 1024000 | #Constraints: 23386
2137.57/2143.96 c #Conflicts: 1025000 | #Constraints: 24386
2137.57/2143.96 c #Conflicts: 1026000 | #Constraints: 25386
2137.57/2143.96 c #Conflicts: 1027000 | #Constraints: 26386
2137.57/2143.96 c #Conflicts: 1028000 | #Constraints: 27386
2137.57/2143.96 c #Conflicts: 1029000 | #Constraints: 28386
2137.57/2143.96 c #Conflicts: 1030000 | #Constraints: 29386
2137.57/2143.96 c #Conflicts: 1031000 | #Constraints: 30386
2137.57/2143.96 c #Conflicts: 1032000 | #Constraints: 31386
2137.57/2143.96 c #Conflicts: 1033000 | #Constraints: 32386
2137.57/2143.96 c #Conflicts: 1034000 | #Constraints: 33386
2137.57/2143.96 c #Conflicts: 1035000 | #Constraints: 34386
2137.57/2143.96 c #Conflicts: 1036000 | #Constraints: 35386
2137.57/2143.96 c #Conflicts: 1037000 | #Constraints: 36386
2137.57/2143.96 c #Conflicts: 1038000 | #Constraints: 37386
2137.57/2143.96 c #Conflicts: 1039000 | #Constraints: 38386
2137.57/2143.96 c #Conflicts: 1040000 | #Constraints: 39386
2137.57/2143.96 c #Conflicts: 1041000 | #Constraints: 40386
2137.57/2143.96 c INPROCESSING
2137.57/2143.96 c GARBAGE COLLECT
2137.57/2143.96 c #Conflicts: 1042000 | #Constraints: 21193
2137.57/2143.96 c #Conflicts: 1043000 | #Constraints: 22193
2137.57/2143.96 c #Conflicts: 1044000 | #Constraints: 23193
2521.84/2529.32 c #Conflicts: 1045000 | #Constraints: 24193
2521.84/2529.32 c #Conflicts: 1046000 | #Constraints: 25193
2521.84/2529.32 c #Conflicts: 1047000 | #Constraints: 26193
2521.84/2529.32 c #Conflicts: 1048000 | #Constraints: 27193
2521.84/2529.32 c #Conflicts: 1049000 | #Constraints: 28193
2521.84/2529.32 c #Conflicts: 1050000 | #Constraints: 29193
2521.84/2529.32 c #Conflicts: 1051000 | #Constraints: 30193
2521.84/2529.32 c #Conflicts: 1052000 | #Constraints: 31193
2521.84/2529.32 c #Conflicts: 1053000 | #Constraints: 32193
2521.84/2529.32 c #Conflicts: 1054000 | #Constraints: 33193
2521.84/2529.32 c #Conflicts: 1055000 | #Constraints: 34193
2521.84/2529.32 c #Conflicts: 1056000 | #Constraints: 35193
2521.84/2529.32 c #Conflicts: 1057000 | #Constraints: 36193
2521.84/2529.32 c #Conflicts: 1058000 | #Constraints: 37193
2521.84/2529.32 c #Conflicts: 1059000 | #Constraints: 38193
2521.84/2529.32 c #Conflicts: 1060000 | #Constraints: 39193
2521.84/2529.32 c #Conflicts: 1061000 | #Constraints: 40193
2521.84/2529.32 c #Conflicts: 1062000 | #Constraints: 41193
2521.84/2529.32 c INPROCESSING
2521.84/2529.32 c GARBAGE COLLECT
2521.84/2529.32 c #Conflicts: 1063000 | #Constraints: 21816
2521.84/2529.32 c #Conflicts: 1064000 | #Constraints: 22816
2521.84/2529.32 c #Conflicts: 1065000 | #Constraints: 23816
2521.84/2529.32 c #Conflicts: 1066000 | #Constraints: 24816
2521.84/2529.32 c #Conflicts: 1067000 | #Constraints: 25816
2521.84/2529.32 c #Conflicts: 1068000 | #Constraints: 26816
2521.84/2529.32 c #Conflicts: 1069000 | #Constraints: 27816
2521.84/2529.32 c #Conflicts: 1070000 | #Constraints: 28816
2521.84/2529.32 c #Conflicts: 1071000 | #Constraints: 29816
2521.84/2529.32 c #Conflicts: 1072000 | #Constraints: 30816
2521.84/2529.32 c #Conflicts: 1073000 | #Constraints: 31816
2521.84/2529.32 c #Conflicts: 1074000 | #Constraints: 32816
2521.84/2529.32 c #Conflicts: 1075000 | #Constraints: 33816
2521.84/2529.32 c #Conflicts: 1076000 | #Constraints: 34816
2521.84/2529.32 c #Conflicts: 1077000 | #Constraints: 35816
2521.84/2529.32 c #Conflicts: 1078000 | #Constraints: 36816
2521.84/2529.32 c #Conflicts: 1079000 | #Constraints: 37816
2521.84/2529.32 c #Conflicts: 1080000 | #Constraints: 38816
2521.84/2529.32 c #Conflicts: 1081000 | #Constraints: 39816
2521.84/2529.32 c #Conflicts: 1082000 | #Constraints: 40816
2521.84/2529.32 c #Conflicts: 1083000 | #Constraints: 41816
2521.84/2529.32 c INPROCESSING
2521.84/2529.32 c GARBAGE COLLECT
2521.84/2529.32 c #Conflicts: 1084000 | #Constraints: 22209
2521.84/2529.32 c #Conflicts: 1085000 | #Constraints: 23209
2521.84/2529.32 c #Conflicts: 1086000 | #Constraints: 24209
2521.84/2529.32 c #Conflicts: 1087000 | #Constraints: 25209
2521.84/2529.32 c #Conflicts: 1088000 | #Constraints: 26209
2521.84/2529.32 c #Conflicts: 1089000 | #Constraints: 27209
2521.84/2529.32 c #Conflicts: 1090000 | #Constraints: 28209
2521.84/2529.32 c #Conflicts: 1091000 | #Constraints: 29209
2521.84/2529.32 c #Conflicts: 1092000 | #Constraints: 30209
2521.84/2529.32 c #Conflicts: 1093000 | #Constraints: 31209
2521.84/2529.32 c #Conflicts: 1094000 | #Constraints: 32209
2521.84/2529.32 c #Conflicts: 1095000 | #Constraints: 33209
2521.84/2529.32 c #Conflicts: 1096000 | #Constraints: 34209
2521.84/2529.32 c #Conflicts: 1097000 | #Constraints: 35209
2521.84/2529.32 c #Conflicts: 1098000 | #Constraints: 36209
2521.84/2529.32 c #Conflicts: 1099000 | #Constraints: 37209
2521.84/2529.32 c #Conflicts: 1100000 | #Constraints: 38209
2521.84/2529.32 c #Conflicts: 1101000 | #Constraints: 39209
2521.84/2529.32 c #Conflicts: 1102000 | #Constraints: 40209
2521.84/2529.32 c #Conflicts: 1103000 | #Constraints: 41209
2521.84/2529.32 c #Conflicts: 1104000 | #Constraints: 42209
2521.84/2529.32 c INPROCESSING
2521.84/2529.32 c GARBAGE COLLECT
2521.84/2529.32 c #Conflicts: 1105000 | #Constraints: 22400
2521.84/2529.32 c #Conflicts: 1106000 | #Constraints: 23400
2521.84/2529.32 c #Conflicts: 1107000 | #Constraints: 24400
2521.84/2529.32 c #Conflicts: 1108000 | #Constraints: 25400
2521.84/2529.32 c #Conflicts: 1109000 | #Constraints: 26400
2521.84/2529.32 c #Conflicts: 1110000 | #Constraints: 27400
2521.84/2529.32 c #Conflicts: 1111000 | #Constraints: 28400
2521.84/2529.32 c #Conflicts: 1112000 | #Constraints: 29400
2521.84/2529.32 c #Conflicts: 1113000 | #Constraints: 30400
2521.84/2529.32 c #Conflicts: 1114000 | #Constraints: 31400
2521.84/2529.32 c #Conflicts: 1115000 | #Constraints: 32400
2521.84/2529.32 c #Conflicts: 1116000 | #Constraints: 33400
2521.84/2529.32 c #Conflicts: 1117000 | #Constraints: 34400
2521.84/2529.32 c #Conflicts: 1118000 | #Constraints: 35400
2521.84/2529.32 c #Conflicts: 1119000 | #Constraints: 36400
2521.84/2529.32 c #Conflicts: 1120000 | #Constraints: 37400
2521.84/2529.32 c #Conflicts: 1121000 | #Constraints: 38400
2691.07/2699.02 c #Conflicts: 1122000 | #Constraints: 39400
2691.07/2699.02 c #Conflicts: 1123000 | #Constraints: 40400
2691.07/2699.02 c #Conflicts: 1124000 | #Constraints: 41400
2691.07/2699.02 c #Conflicts: 1125000 | #Constraints: 42400
2691.07/2699.02 c INPROCESSING
2691.07/2699.02 c GARBAGE COLLECT
2691.07/2699.02 c #Conflicts: 1126000 | #Constraints: 22402
2691.07/2699.02 c #Conflicts: 1127000 | #Constraints: 23402
2691.07/2699.02 c #Conflicts: 1128000 | #Constraints: 24402
2691.07/2699.02 c #Conflicts: 1129000 | #Constraints: 25402
2691.07/2699.02 c #Conflicts: 1130000 | #Constraints: 26402
2691.07/2699.02 c #Conflicts: 1131000 | #Constraints: 27402
2691.07/2699.02 c #Conflicts: 1132000 | #Constraints: 28402
2691.07/2699.02 c #Conflicts: 1133000 | #Constraints: 29402
2691.07/2699.02 c #Conflicts: 1134000 | #Constraints: 30402
2691.07/2699.02 c #Conflicts: 1135000 | #Constraints: 31402
2691.07/2699.02 c #Conflicts: 1136000 | #Constraints: 32402
2691.07/2699.02 c #Conflicts: 1137000 | #Constraints: 33402
2691.07/2699.02 c #Conflicts: 1138000 | #Constraints: 34402
2691.07/2699.02 c #Conflicts: 1139000 | #Constraints: 35402
2691.07/2699.02 c #Conflicts: 1140000 | #Constraints: 36402
2691.07/2699.02 c #Conflicts: 1141000 | #Constraints: 37402
2691.07/2699.02 c #Conflicts: 1142000 | #Constraints: 38402
2691.07/2699.02 c #Conflicts: 1143000 | #Constraints: 39402
2691.07/2699.02 c #Conflicts: 1144000 | #Constraints: 40402
2691.07/2699.02 c #Conflicts: 1145000 | #Constraints: 41402
2691.07/2699.02 c #Conflicts: 1146000 | #Constraints: 42402
2691.07/2699.02 c INPROCESSING
2691.07/2699.02 c GARBAGE COLLECT
2691.07/2699.02 c #Conflicts: 1147000 | #Constraints: 22182
2691.07/2699.02 c #Conflicts: 1148000 | #Constraints: 23182
2691.07/2699.02 c #Conflicts: 1149000 | #Constraints: 24182
2691.07/2699.02 c #Conflicts: 1150000 | #Constraints: 25182
2691.07/2699.02 c #Conflicts: 1151000 | #Constraints: 26182
2691.07/2699.02 c #Conflicts: 1152000 | #Constraints: 27182
2691.07/2699.02 c #Conflicts: 1153000 | #Constraints: 28182
2691.07/2699.02 c #Conflicts: 1154000 | #Constraints: 29182
2691.07/2699.02 c #Conflicts: 1155000 | #Constraints: 30182
2691.07/2699.02 c #Conflicts: 1156000 | #Constraints: 31182
2691.07/2699.02 c #Conflicts: 1157000 | #Constraints: 32182
2691.07/2699.02 c #Conflicts: 1158000 | #Constraints: 33182
2691.07/2699.02 c #Conflicts: 1159000 | #Constraints: 34182
2691.07/2699.02 c #Conflicts: 1160000 | #Constraints: 35182
2691.07/2699.02 c #Conflicts: 1161000 | #Constraints: 36182
2691.07/2699.02 c #Conflicts: 1162000 | #Constraints: 37182
2691.07/2699.02 c #Conflicts: 1163000 | #Constraints: 38182
2691.07/2699.02 c #Conflicts: 1164000 | #Constraints: 39182
2691.07/2699.02 c #Conflicts: 1165000 | #Constraints: 40182
2691.07/2699.02 c #Conflicts: 1166000 | #Constraints: 41182
2691.07/2699.02 c #Conflicts: 1167000 | #Constraints: 42182
2691.07/2699.02 c #Conflicts: 1168000 | #Constraints: 43182
2691.07/2699.02 c INPROCESSING
2691.07/2699.02 c GARBAGE COLLECT
2691.07/2699.02 c #Conflicts: 1169000 | #Constraints: 22770
2691.07/2699.02 c #Conflicts: 1170000 | #Constraints: 23770
2691.07/2699.02 c #Conflicts: 1171000 | #Constraints: 24770
2691.07/2699.02 c #Conflicts: 1172000 | #Constraints: 25770
2691.07/2699.02 c #Conflicts: 1173000 | #Constraints: 26770
2691.07/2699.02 c #Conflicts: 1174000 | #Constraints: 27770
2691.07/2699.02 c #Conflicts: 1175000 | #Constraints: 28770
2691.07/2699.02 c #Conflicts: 1176000 | #Constraints: 29770
2691.07/2699.02 c #Conflicts: 1177000 | #Constraints: 30770
2691.07/2699.02 c #Conflicts: 1178000 | #Constraints: 31770
2691.07/2699.02 c #Conflicts: 1179000 | #Constraints: 32770
2691.07/2699.02 c #Conflicts: 1180000 | #Constraints: 33770
2691.07/2699.02 c #Conflicts: 1181000 | #Constraints: 34770
2691.07/2699.02 c #Conflicts: 1182000 | #Constraints: 35770
2691.07/2699.02 c #Conflicts: 1183000 | #Constraints: 36770
2691.07/2699.02 c #Conflicts: 1184000 | #Constraints: 37770
2691.07/2699.02 c #Conflicts: 1185000 | #Constraints: 38770
2691.07/2699.02 c #Conflicts: 1186000 | #Constraints: 39770
2691.07/2699.02 c #Conflicts: 1187000 | #Constraints: 40770
2691.07/2699.02 c #Conflicts: 1188000 | #Constraints: 41770
2691.07/2699.02 c #Conflicts: 1189000 | #Constraints: 42770
2691.07/2699.02 c #Conflicts: 1190000 | #Constraints: 43770
2691.07/2699.02 c INPROCESSING
2691.07/2699.02 c GARBAGE COLLECT
2691.07/2699.02 c #Conflicts: 1191000 | #Constraints: 23175
2691.07/2699.02 c #Conflicts: 1192000 | #Constraints: 24175
2691.07/2699.02 c #Conflicts: 1193000 | #Constraints: 25175
2691.07/2699.02 c #Conflicts: 1194000 | #Constraints: 26175
2691.07/2699.02 c #Conflicts: 1195000 | #Constraints: 27175
2691.07/2699.02 c #Conflicts: 1196000 | #Constraints: 28175
2691.07/2699.02 c #Conflicts: 1197000 | #Constraints: 29175
2841.76/2850.04 c #Conflicts: 1198000 | #Constraints: 30175
2841.76/2850.04 c #Conflicts: 1199000 | #Constraints: 31175
2841.76/2850.04 c #Conflicts: 1200000 | #Constraints: 32175
2841.76/2850.04 c #Conflicts: 1201000 | #Constraints: 33175
2841.76/2850.04 c #Conflicts: 1202000 | #Constraints: 34175
2841.76/2850.04 c #Conflicts: 1203000 | #Constraints: 35175
2841.76/2850.04 c #Conflicts: 1204000 | #Constraints: 36175
2841.76/2850.04 c #Conflicts: 1205000 | #Constraints: 37175
2841.76/2850.04 c #Conflicts: 1206000 | #Constraints: 38175
2841.76/2850.04 c #Conflicts: 1207000 | #Constraints: 39175
2841.76/2850.04 c #Conflicts: 1208000 | #Constraints: 40175
2841.76/2850.04 c #Conflicts: 1209000 | #Constraints: 41175
2841.76/2850.04 c #Conflicts: 1210000 | #Constraints: 42175
2841.76/2850.04 c #Conflicts: 1211000 | #Constraints: 43175
2841.76/2850.04 c #Conflicts: 1212000 | #Constraints: 44175
2841.76/2850.04 c INPROCESSING
2841.76/2850.04 c GARBAGE COLLECT
2841.76/2850.04 c #Conflicts: 1213000 | #Constraints: 23377
2841.76/2850.04 c #Conflicts: 1214000 | #Constraints: 24377
2841.76/2850.04 c #Conflicts: 1215000 | #Constraints: 25377
2841.76/2850.04 c #Conflicts: 1216000 | #Constraints: 26377
2841.76/2850.04 c #Conflicts: 1217000 | #Constraints: 27377
2841.76/2850.04 c #Conflicts: 1218000 | #Constraints: 28377
2841.76/2850.04 c #Conflicts: 1219000 | #Constraints: 29377
2841.76/2850.04 c #Conflicts: 1220000 | #Constraints: 30377
2841.76/2850.04 c #Conflicts: 1221000 | #Constraints: 31377
2841.76/2850.04 c #Conflicts: 1222000 | #Constraints: 32377
2841.76/2850.04 c #Conflicts: 1223000 | #Constraints: 33377
2841.76/2850.04 c #Conflicts: 1224000 | #Constraints: 34377
2841.76/2850.04 c #Conflicts: 1225000 | #Constraints: 35377
2841.76/2850.04 c #Conflicts: 1226000 | #Constraints: 36377
2841.76/2850.04 c #Conflicts: 1227000 | #Constraints: 37377
2841.76/2850.04 c #Conflicts: 1228000 | #Constraints: 38377
2841.76/2850.04 c #Conflicts: 1229000 | #Constraints: 39377
2841.76/2850.04 c #Conflicts: 1230000 | #Constraints: 40377
2841.76/2850.04 c #Conflicts: 1231000 | #Constraints: 41377
2841.76/2850.04 c #Conflicts: 1232000 | #Constraints: 42377
2841.76/2850.04 c #Conflicts: 1233000 | #Constraints: 43377
2841.76/2850.04 c #Conflicts: 1234000 | #Constraints: 44377
2841.76/2850.04 c INPROCESSING
2841.76/2850.04 c GARBAGE COLLECT
2841.76/2850.04 c #Conflicts: 1235000 | #Constraints: 23358
2841.76/2850.04 c #Conflicts: 1236000 | #Constraints: 24358
2841.76/2850.04 c #Conflicts: 1237000 | #Constraints: 25358
2841.76/2850.04 c #Conflicts: 1238000 | #Constraints: 26358
2841.76/2850.04 c #Conflicts: 1239000 | #Constraints: 27358
2841.76/2850.04 c #Conflicts: 1240000 | #Constraints: 28358
2841.76/2850.04 c #Conflicts: 1241000 | #Constraints: 29358
2841.76/2850.04 c #Conflicts: 1242000 | #Constraints: 30358
2841.76/2850.04 c #Conflicts: 1243000 | #Constraints: 31358
2841.76/2850.04 c #Conflicts: 1244000 | #Constraints: 32358
2841.76/2850.04 c #Conflicts: 1245000 | #Constraints: 33358
2841.76/2850.04 c #Conflicts: 1246000 | #Constraints: 34358
2841.76/2850.04 c #Conflicts: 1247000 | #Constraints: 35358
2841.76/2850.04 c #Conflicts: 1248000 | #Constraints: 36358
2841.76/2850.04 c #Conflicts: 1249000 | #Constraints: 37358
2841.76/2850.04 c #Conflicts: 1250000 | #Constraints: 38358
2841.76/2850.04 c #Conflicts: 1251000 | #Constraints: 39358
2841.76/2850.04 c #Conflicts: 1252000 | #Constraints: 40358
2841.76/2850.04 c #Conflicts: 1253000 | #Constraints: 41358
2841.76/2850.04 c #Conflicts: 1254000 | #Constraints: 42358
2841.76/2850.04 c #Conflicts: 1255000 | #Constraints: 43358
2841.76/2850.04 c #Conflicts: 1256000 | #Constraints: 44358
2841.76/2850.04 c INPROCESSING
2841.76/2850.04 c GARBAGE COLLECT
2841.76/2850.04 c #Conflicts: 1257000 | #Constraints: 23151
2841.76/2850.04 c #Conflicts: 1258000 | #Constraints: 24151
2841.76/2850.04 c #Conflicts: 1259000 | #Constraints: 25151
2841.76/2850.04 c #Conflicts: 1260000 | #Constraints: 26151
2841.76/2850.04 c #Conflicts: 1261000 | #Constraints: 27151
2841.76/2850.04 c #Conflicts: 1262000 | #Constraints: 28151
2841.76/2850.04 c #Conflicts: 1263000 | #Constraints: 29151
2841.76/2850.04 c #Conflicts: 1264000 | #Constraints: 30151
2841.76/2850.04 c #Conflicts: 1265000 | #Constraints: 31151
2841.76/2850.04 c #Conflicts: 1266000 | #Constraints: 32151
2841.76/2850.04 c #Conflicts: 1267000 | #Constraints: 33151
2841.76/2850.04 c #Conflicts: 1268000 | #Constraints: 34151
2841.76/2850.04 c #Conflicts: 1269000 | #Constraints: 35151
2841.76/2850.04 c #Conflicts: 1270000 | #Constraints: 36151
2841.76/2850.04 c #Conflicts: 1271000 | #Constraints: 37151
2841.76/2850.04 c #Conflicts: 1272000 | #Constraints: 38151
2841.76/2850.04 c #Conflicts: 1273000 | #Constraints: 39151
2841.76/2850.04 c #Conflicts: 1274000 | #Constraints: 40151
3034.58/3043.28 c #Conflicts: 1275000 | #Constraints: 41151
3034.58/3043.28 c #Conflicts: 1276000 | #Constraints: 42151
3034.58/3043.28 c #Conflicts: 1277000 | #Constraints: 43151
3034.58/3043.28 c #Conflicts: 1278000 | #Constraints: 44151
3034.58/3043.28 c #Conflicts: 1279000 | #Constraints: 45151
3034.58/3043.28 c INPROCESSING
3034.58/3043.28 c GARBAGE COLLECT
3034.58/3043.28 c #Conflicts: 1280000 | #Constraints: 23757
3034.58/3043.28 c #Conflicts: 1281000 | #Constraints: 24757
3034.58/3043.28 c #Conflicts: 1282000 | #Constraints: 25757
3034.58/3043.28 c #Conflicts: 1283000 | #Constraints: 26757
3034.58/3043.28 c #Conflicts: 1284000 | #Constraints: 27757
3034.58/3043.28 c #Conflicts: 1285000 | #Constraints: 28757
3034.58/3043.28 c #Conflicts: 1286000 | #Constraints: 29757
3034.58/3043.28 c #Conflicts: 1287000 | #Constraints: 30757
3034.58/3043.28 c #Conflicts: 1288000 | #Constraints: 31757
3034.58/3043.28 c #Conflicts: 1289000 | #Constraints: 32757
3034.58/3043.28 c #Conflicts: 1290000 | #Constraints: 33757
3034.58/3043.28 c #Conflicts: 1291000 | #Constraints: 34757
3034.58/3043.28 c #Conflicts: 1292000 | #Constraints: 35757
3034.58/3043.28 c #Conflicts: 1293000 | #Constraints: 36757
3034.58/3043.28 c #Conflicts: 1294000 | #Constraints: 37757
3034.58/3043.28 c #Conflicts: 1295000 | #Constraints: 38757
3034.58/3043.28 c #Conflicts: 1296000 | #Constraints: 39757
3034.58/3043.28 c #Conflicts: 1297000 | #Constraints: 40757
3034.58/3043.28 c #Conflicts: 1298000 | #Constraints: 41757
3034.58/3043.28 c #Conflicts: 1299000 | #Constraints: 42757
3034.58/3043.28 c #Conflicts: 1300000 | #Constraints: 43757
3034.58/3043.28 c #Conflicts: 1301000 | #Constraints: 44757
3034.58/3043.28 c #Conflicts: 1302000 | #Constraints: 45757
3034.58/3043.28 c INPROCESSING
3034.58/3043.28 c GARBAGE COLLECT
3034.58/3043.28 c #Conflicts: 1303000 | #Constraints: 24164
3034.58/3043.28 c #Conflicts: 1304000 | #Constraints: 25164
3034.58/3043.28 c #Conflicts: 1305000 | #Constraints: 26164
3034.58/3043.28 c #Conflicts: 1306000 | #Constraints: 27164
3034.58/3043.28 c #Conflicts: 1307000 | #Constraints: 28164
3034.58/3043.28 c #Conflicts: 1308000 | #Constraints: 29164
3034.58/3043.28 c #Conflicts: 1309000 | #Constraints: 30164
3034.58/3043.28 c #Conflicts: 1310000 | #Constraints: 31164
3034.58/3043.28 c #Conflicts: 1311000 | #Constraints: 32164
3034.58/3043.28 c #Conflicts: 1312000 | #Constraints: 33164
3034.58/3043.28 c #Conflicts: 1313000 | #Constraints: 34164
3034.58/3043.28 c #Conflicts: 1314000 | #Constraints: 35164
3034.58/3043.28 c #Conflicts: 1315000 | #Constraints: 36164
3034.58/3043.28 c #Conflicts: 1316000 | #Constraints: 37164
3034.58/3043.28 c #Conflicts: 1317000 | #Constraints: 38164
3034.58/3043.28 c #Conflicts: 1318000 | #Constraints: 39164
3034.58/3043.28 c #Conflicts: 1319000 | #Constraints: 40164
3034.58/3043.28 c #Conflicts: 1320000 | #Constraints: 41164
3034.58/3043.28 c #Conflicts: 1321000 | #Constraints: 42164
3034.58/3043.28 c #Conflicts: 1322000 | #Constraints: 43164
3034.58/3043.28 c #Conflicts: 1323000 | #Constraints: 44164
3034.58/3043.28 c #Conflicts: 1324000 | #Constraints: 45164
3034.58/3043.28 c #Conflicts: 1325000 | #Constraints: 46164
3034.58/3043.28 c INPROCESSING
3034.58/3043.28 c GARBAGE COLLECT
3034.58/3043.28 c #Conflicts: 1326000 | #Constraints: 24395
3034.58/3043.28 c #Conflicts: 1327000 | #Constraints: 25395
3034.58/3043.28 c #Conflicts: 1328000 | #Constraints: 26395
3034.58/3043.28 c #Conflicts: 1329000 | #Constraints: 27395
3034.58/3043.28 c #Conflicts: 1330000 | #Constraints: 28395
3034.58/3043.28 c #Conflicts: 1331000 | #Constraints: 29395
3034.58/3043.28 c #Conflicts: 1332000 | #Constraints: 30395
3034.58/3043.28 c #Conflicts: 1333000 | #Constraints: 31395
3034.58/3043.28 c #Conflicts: 1334000 | #Constraints: 32395
3034.58/3043.28 c #Conflicts: 1335000 | #Constraints: 33395
3034.58/3043.28 c #Conflicts: 1336000 | #Constraints: 34395
3034.58/3043.28 c #Conflicts: 1337000 | #Constraints: 35395
3034.58/3043.28 c #Conflicts: 1338000 | #Constraints: 36395
3034.58/3043.28 c #Conflicts: 1339000 | #Constraints: 37395
3034.58/3043.28 c #Conflicts: 1340000 | #Constraints: 38395
3034.58/3043.28 c #Conflicts: 1341000 | #Constraints: 39395
3034.58/3043.28 c #Conflicts: 1342000 | #Constraints: 40395
3034.58/3043.28 c #Conflicts: 1343000 | #Constraints: 41395
3034.58/3043.28 c #Conflicts: 1344000 | #Constraints: 42395
3034.58/3043.28 c #Conflicts: 1345000 | #Constraints: 43395
3034.58/3043.28 c #Conflicts: 1346000 | #Constraints: 44395
3034.58/3043.28 c #Conflicts: 1347000 | #Constraints: 45395
3034.58/3043.28 c #Conflicts: 1348000 | #Constraints: 46395
3034.58/3043.28 c INPROCESSING
3034.58/3043.28 c GARBAGE COLLECT
3034.58/3043.28 c #Conflicts: 1349000 | #Constraints: 24391
3034.58/3043.28 c #Conflicts: 1350000 | #Constraints: 25391
3192.66/3201.61 c #Conflicts: 1351000 | #Constraints: 26391
3192.66/3201.61 c #Conflicts: 1352000 | #Constraints: 27391
3192.66/3201.61 c #Conflicts: 1353000 | #Constraints: 28391
3192.66/3201.61 c #Conflicts: 1354000 | #Constraints: 29391
3192.66/3201.61 c #Conflicts: 1355000 | #Constraints: 30391
3192.66/3201.61 c #Conflicts: 1356000 | #Constraints: 31391
3192.66/3201.61 c #Conflicts: 1357000 | #Constraints: 32391
3192.66/3201.61 c #Conflicts: 1358000 | #Constraints: 33391
3192.66/3201.61 c #Conflicts: 1359000 | #Constraints: 34391
3192.66/3201.61 c #Conflicts: 1360000 | #Constraints: 35391
3192.66/3201.61 c #Conflicts: 1361000 | #Constraints: 36391
3192.66/3201.61 c #Conflicts: 1362000 | #Constraints: 37391
3192.66/3201.61 c #Conflicts: 1363000 | #Constraints: 38391
3192.66/3201.61 c #Conflicts: 1364000 | #Constraints: 39391
3192.66/3201.61 c #Conflicts: 1365000 | #Constraints: 40391
3192.66/3201.61 c #Conflicts: 1366000 | #Constraints: 41391
3192.66/3201.61 c #Conflicts: 1367000 | #Constraints: 42391
3192.66/3201.61 c #Conflicts: 1368000 | #Constraints: 43391
3192.66/3201.61 c #Conflicts: 1369000 | #Constraints: 44391
3192.66/3201.61 c #Conflicts: 1370000 | #Constraints: 45391
3192.66/3201.61 c #Conflicts: 1371000 | #Constraints: 46391
3192.66/3201.61 c INPROCESSING
3192.66/3201.61 c GARBAGE COLLECT
3192.66/3201.61 c #Conflicts: 1372000 | #Constraints: 24175
3192.66/3201.61 c #Conflicts: 1373000 | #Constraints: 25175
3192.66/3201.61 c #Conflicts: 1374000 | #Constraints: 26175
3192.66/3201.61 c #Conflicts: 1375000 | #Constraints: 27175
3192.66/3201.61 c #Conflicts: 1376000 | #Constraints: 28175
3192.66/3201.61 c #Conflicts: 1377000 | #Constraints: 29175
3192.66/3201.61 c #Conflicts: 1378000 | #Constraints: 30175
3192.66/3201.61 c #Conflicts: 1379000 | #Constraints: 31175
3192.66/3201.61 c #Conflicts: 1380000 | #Constraints: 32175
3192.66/3201.61 c #Conflicts: 1381000 | #Constraints: 33175
3192.66/3201.61 c #Conflicts: 1382000 | #Constraints: 34175
3192.66/3201.61 c #Conflicts: 1383000 | #Constraints: 35175
3192.66/3201.61 c #Conflicts: 1384000 | #Constraints: 36175
3192.66/3201.61 c #Conflicts: 1385000 | #Constraints: 37175
3192.66/3201.61 c #Conflicts: 1386000 | #Constraints: 38175
3192.66/3201.61 c #Conflicts: 1387000 | #Constraints: 39175
3192.66/3201.61 c #Conflicts: 1388000 | #Constraints: 40175
3192.66/3201.61 c #Conflicts: 1389000 | #Constraints: 41175
3192.66/3201.61 c #Conflicts: 1390000 | #Constraints: 42175
3192.66/3201.61 c #Conflicts: 1391000 | #Constraints: 43175
3192.66/3201.61 c #Conflicts: 1392000 | #Constraints: 44175
3192.66/3201.61 c #Conflicts: 1393000 | #Constraints: 45175
3192.66/3201.61 c #Conflicts: 1394000 | #Constraints: 46175
3192.66/3201.61 c #Conflicts: 1395000 | #Constraints: 47175
3192.66/3201.61 c INPROCESSING
3192.66/3201.61 c GARBAGE COLLECT
3192.66/3201.61 c #Conflicts: 1396000 | #Constraints: 24770
3192.66/3201.61 c #Conflicts: 1397000 | #Constraints: 25770
3192.66/3201.61 c #Conflicts: 1398000 | #Constraints: 26770
3192.66/3201.61 c #Conflicts: 1399000 | #Constraints: 27770
3192.66/3201.61 c #Conflicts: 1400000 | #Constraints: 28770
3192.66/3201.61 c #Conflicts: 1401000 | #Constraints: 29770
3192.66/3201.61 c #Conflicts: 1402000 | #Constraints: 30770
3192.66/3201.61 c #Conflicts: 1403000 | #Constraints: 31770
3192.66/3201.61 c #Conflicts: 1404000 | #Constraints: 32770
3192.66/3201.61 c #Conflicts: 1405000 | #Constraints: 33770
3192.66/3201.61 c #Conflicts: 1406000 | #Constraints: 34770
3192.66/3201.61 c #Conflicts: 1407000 | #Constraints: 35770
3192.66/3201.61 c #Conflicts: 1408000 | #Constraints: 36770
3192.66/3201.61 c #Conflicts: 1409000 | #Constraints: 37770
3192.66/3201.61 c #Conflicts: 1410000 | #Constraints: 38770
3192.66/3201.61 c #Conflicts: 1411000 | #Constraints: 39770
3192.66/3201.61 c #Conflicts: 1412000 | #Constraints: 40770
3192.66/3201.61 c #Conflicts: 1413000 | #Constraints: 41770
3192.66/3201.61 c #Conflicts: 1414000 | #Constraints: 42770
3192.66/3201.61 c #Conflicts: 1415000 | #Constraints: 43770
3192.66/3201.61 c #Conflicts: 1416000 | #Constraints: 44770
3192.66/3201.61 c #Conflicts: 1417000 | #Constraints: 45770
3192.66/3201.61 c #Conflicts: 1418000 | #Constraints: 46770
3192.66/3201.61 c #Conflicts: 1419000 | #Constraints: 47770
3192.66/3201.61 c INPROCESSING
3192.66/3201.61 c GARBAGE COLLECT
3192.66/3201.61 c #Conflicts: 1420000 | #Constraints: 25173
3192.66/3201.61 c #Conflicts: 1421000 | #Constraints: 26173
3192.66/3201.61 c #Conflicts: 1422000 | #Constraints: 27173
3192.66/3201.61 c #Conflicts: 1423000 | #Constraints: 28173
3192.66/3201.61 c #Conflicts: 1424000 | #Constraints: 29173
3192.66/3201.61 c #Conflicts: 1425000 | #Constraints: 30173
3192.66/3201.61 c #Conflicts: 1426000 | #Constraints: 31173
3192.66/3201.61 c #Conflicts: 1427000 | #Constraints: 32173
3335.68/3344.97 c #Conflicts: 1428000 | #Constraints: 33173
3335.68/3344.97 c #Conflicts: 1429000 | #Constraints: 34173
3335.68/3344.97 c #Conflicts: 1430000 | #Constraints: 35173
3335.68/3344.97 c #Conflicts: 1431000 | #Constraints: 36173
3335.68/3344.97 c #Conflicts: 1432000 | #Constraints: 37173
3335.68/3344.97 c #Conflicts: 1433000 | #Constraints: 38173
3335.68/3344.97 c #Conflicts: 1434000 | #Constraints: 39173
3335.68/3344.97 c #Conflicts: 1435000 | #Constraints: 40173
3335.68/3344.97 c #Conflicts: 1436000 | #Constraints: 41173
3335.68/3344.97 c #Conflicts: 1437000 | #Constraints: 42173
3335.68/3344.97 c #Conflicts: 1438000 | #Constraints: 43173
3335.68/3344.97 c #Conflicts: 1439000 | #Constraints: 44173
3335.68/3344.97 c #Conflicts: 1440000 | #Constraints: 45173
3335.68/3344.97 c #Conflicts: 1441000 | #Constraints: 46173
3335.68/3344.97 c #Conflicts: 1442000 | #Constraints: 47173
3335.68/3344.97 c #Conflicts: 1443000 | #Constraints: 48173
3335.68/3344.97 c INPROCESSING
3335.68/3344.97 c GARBAGE COLLECT
3335.68/3344.97 c #Conflicts: 1444000 | #Constraints: 25373
3335.68/3344.97 c #Conflicts: 1445000 | #Constraints: 26373
3335.68/3344.97 c #Conflicts: 1446000 | #Constraints: 27373
3335.68/3344.97 c #Conflicts: 1447000 | #Constraints: 28373
3335.68/3344.97 c #Conflicts: 1448000 | #Constraints: 29373
3335.68/3344.97 c #Conflicts: 1449000 | #Constraints: 30373
3335.68/3344.97 c #Conflicts: 1450000 | #Constraints: 31373
3335.68/3344.97 c #Conflicts: 1451000 | #Constraints: 32373
3335.68/3344.97 c #Conflicts: 1452000 | #Constraints: 33373
3335.68/3344.97 c #Conflicts: 1453000 | #Constraints: 34373
3335.68/3344.97 c #Conflicts: 1454000 | #Constraints: 35373
3335.68/3344.97 c #Conflicts: 1455000 | #Constraints: 36373
3335.68/3344.97 c #Conflicts: 1456000 | #Constraints: 37373
3335.68/3344.97 c #Conflicts: 1457000 | #Constraints: 38373
3335.68/3344.97 c #Conflicts: 1458000 | #Constraints: 39373
3335.68/3344.97 c #Conflicts: 1459000 | #Constraints: 40373
3335.68/3344.97 c #Conflicts: 1460000 | #Constraints: 41373
3335.68/3344.97 c #Conflicts: 1461000 | #Constraints: 42373
3335.68/3344.97 c #Conflicts: 1462000 | #Constraints: 43373
3335.68/3344.97 c #Conflicts: 1463000 | #Constraints: 44373
3335.68/3344.97 c #Conflicts: 1464000 | #Constraints: 45373
3335.68/3344.97 c #Conflicts: 1465000 | #Constraints: 46373
3335.68/3344.97 c #Conflicts: 1466000 | #Constraints: 47373
3335.68/3344.97 c #Conflicts: 1467000 | #Constraints: 48373
3335.68/3344.97 c INPROCESSING
3335.68/3344.97 c GARBAGE COLLECT
3335.68/3344.97 c #Conflicts: 1468000 | #Constraints: 25372
3335.68/3344.97 c #Conflicts: 1469000 | #Constraints: 26372
3335.68/3344.97 c #Conflicts: 1470000 | #Constraints: 27372
3335.68/3344.97 c #Conflicts: 1471000 | #Constraints: 28372
3335.68/3344.97 c #Conflicts: 1472000 | #Constraints: 29372
3335.68/3344.97 c #Conflicts: 1473000 | #Constraints: 30372
3335.68/3344.97 c #Conflicts: 1474000 | #Constraints: 31372
3335.68/3344.97 c #Conflicts: 1475000 | #Constraints: 32372
3335.68/3344.97 c #Conflicts: 1476000 | #Constraints: 33372
3335.68/3344.97 c #Conflicts: 1477000 | #Constraints: 34372
3335.68/3344.97 c #Conflicts: 1478000 | #Constraints: 35372
3335.68/3344.97 c #Conflicts: 1479000 | #Constraints: 36372
3335.68/3344.97 c #Conflicts: 1480000 | #Constraints: 37372
3335.68/3344.97 c #Conflicts: 1481000 | #Constraints: 38372
3335.68/3344.97 c #Conflicts: 1482000 | #Constraints: 39372
3335.68/3344.97 c #Conflicts: 1483000 | #Constraints: 40372
3335.68/3344.97 c #Conflicts: 1484000 | #Constraints: 41372
3335.68/3344.97 c #Conflicts: 1485000 | #Constraints: 42372
3335.68/3344.97 c #Conflicts: 1486000 | #Constraints: 43372
3335.68/3344.97 c #Conflicts: 1487000 | #Constraints: 44372
3335.68/3344.97 c #Conflicts: 1488000 | #Constraints: 45372
3335.68/3344.97 c #Conflicts: 1489000 | #Constraints: 46372
3335.68/3344.97 c #Conflicts: 1490000 | #Constraints: 47372
3335.68/3344.97 c #Conflicts: 1491000 | #Constraints: 48372
3335.68/3344.97 c INPROCESSING
3335.68/3344.97 c GARBAGE COLLECT
3335.68/3344.97 c #Conflicts: 1492000 | #Constraints: 25155
3335.68/3344.97 c #Conflicts: 1493000 | #Constraints: 26155
3335.68/3344.97 c #Conflicts: 1494000 | #Constraints: 27155
3335.68/3344.97 c #Conflicts: 1495000 | #Constraints: 28155
3335.68/3344.97 c #Conflicts: 1496000 | #Constraints: 29155
3335.68/3344.97 c #Conflicts: 1497000 | #Constraints: 30155
3335.68/3344.97 c #Conflicts: 1498000 | #Constraints: 31155
3335.68/3344.97 c #Conflicts: 1499000 | #Constraints: 32155
3335.68/3344.97 c #Conflicts: 1500000 | #Constraints: 33155
3335.68/3344.97 c #Conflicts: 1501000 | #Constraints: 34155
3335.68/3344.97 c #Conflicts: 1502000 | #Constraints: 35155
3335.68/3344.97 c #Conflicts: 1503000 | #Constraints: 36155
3335.68/3344.97 c #Conflicts: 1504000 | #Constraints: 37155
3548.16/3557.82 c #Conflicts: 1505000 | #Constraints: 38155
3548.16/3557.82 c #Conflicts: 1506000 | #Constraints: 39155
3548.16/3557.82 c #Conflicts: 1507000 | #Constraints: 40155
3548.16/3557.82 c #Conflicts: 1508000 | #Constraints: 41155
3548.16/3557.82 c #Conflicts: 1509000 | #Constraints: 42155
3548.16/3557.82 c #Conflicts: 1510000 | #Constraints: 43155
3548.16/3557.82 c #Conflicts: 1511000 | #Constraints: 44155
3548.16/3557.82 c #Conflicts: 1512000 | #Constraints: 45155
3548.16/3557.82 c #Conflicts: 1513000 | #Constraints: 46155
3548.16/3557.82 c #Conflicts: 1514000 | #Constraints: 47155
3548.16/3557.82 c #Conflicts: 1515000 | #Constraints: 48155
3548.16/3557.82 c #Conflicts: 1516000 | #Constraints: 49155
3548.16/3557.82 c INPROCESSING
3548.16/3557.82 c GARBAGE COLLECT
3548.16/3557.82 c #Conflicts: 1517000 | #Constraints: 25748
3548.16/3557.82 c #Conflicts: 1518000 | #Constraints: 26748
3548.16/3557.82 c #Conflicts: 1519000 | #Constraints: 27748
3548.16/3557.82 c #Conflicts: 1520000 | #Constraints: 28748
3548.16/3557.82 c #Conflicts: 1521000 | #Constraints: 29748
3548.16/3557.82 c #Conflicts: 1522000 | #Constraints: 30748
3548.16/3557.82 c #Conflicts: 1523000 | #Constraints: 31748
3548.16/3557.82 c #Conflicts: 1524000 | #Constraints: 32748
3548.16/3557.82 c #Conflicts: 1525000 | #Constraints: 33748
3548.16/3557.82 c #Conflicts: 1526000 | #Constraints: 34748
3548.16/3557.82 c #Conflicts: 1527000 | #Constraints: 35748
3548.16/3557.82 c #Conflicts: 1528000 | #Constraints: 36748
3548.16/3557.82 c #Conflicts: 1529000 | #Constraints: 37748
3548.16/3557.82 c #Conflicts: 1530000 | #Constraints: 38748
3548.16/3557.82 c #Conflicts: 1531000 | #Constraints: 39748
3548.16/3557.82 c #Conflicts: 1532000 | #Constraints: 40748
3548.16/3557.82 c #Conflicts: 1533000 | #Constraints: 41748
3548.16/3557.82 c #Conflicts: 1534000 | #Constraints: 42748
3548.16/3557.82 c #Conflicts: 1535000 | #Constraints: 43748
3548.16/3557.82 c #Conflicts: 1536000 | #Constraints: 44748
3548.16/3557.82 c #Conflicts: 1537000 | #Constraints: 45748
3548.16/3557.82 c #Conflicts: 1538000 | #Constraints: 46748
3548.16/3557.82 c #Conflicts: 1539000 | #Constraints: 47748
3548.16/3557.82 c #Conflicts: 1540000 | #Constraints: 48748
3548.16/3557.82 c #Conflicts: 1541000 | #Constraints: 49748
3548.16/3557.82 c INPROCESSING
3548.16/3557.82 c GARBAGE COLLECT
3548.16/3557.82 c #Conflicts: 1542000 | #Constraints: 26169
3548.16/3557.82 c #Conflicts: 1543000 | #Constraints: 27169
3548.16/3557.82 c #Conflicts: 1544000 | #Constraints: 28169
3548.16/3557.82 c #Conflicts: 1545000 | #Constraints: 29169
3548.16/3557.82 c #Conflicts: 1546000 | #Constraints: 30169
3548.16/3557.82 c #Conflicts: 1547000 | #Constraints: 31169
3548.16/3557.82 c #Conflicts: 1548000 | #Constraints: 32169
3548.16/3557.82 c #Conflicts: 1549000 | #Constraints: 33169
3548.16/3557.82 c #Conflicts: 1550000 | #Constraints: 34169
3548.16/3557.82 c #Conflicts: 1551000 | #Constraints: 35169
3548.16/3557.82 c #Conflicts: 1552000 | #Constraints: 36169
3548.16/3557.82 c #Conflicts: 1553000 | #Constraints: 37169
3548.16/3557.82 c #Conflicts: 1554000 | #Constraints: 38169
3548.16/3557.82 c #Conflicts: 1555000 | #Constraints: 39169
3548.16/3557.82 c #Conflicts: 1556000 | #Constraints: 40169
3548.16/3557.82 c #Conflicts: 1557000 | #Constraints: 41169
3548.16/3557.82 c #Conflicts: 1558000 | #Constraints: 42169
3548.16/3557.82 c #Conflicts: 1559000 | #Constraints: 43169
3548.16/3557.82 c #Conflicts: 1560000 | #Constraints: 44169
3548.16/3557.82 c #Conflicts: 1561000 | #Constraints: 45169
3548.16/3557.82 c #Conflicts: 1562000 | #Constraints: 46169
3548.16/3557.82 c #Conflicts: 1563000 | #Constraints: 47169
3548.16/3557.82 c #Conflicts: 1564000 | #Constraints: 48169
3548.16/3557.82 c #Conflicts: 1565000 | #Constraints: 49169
3548.16/3557.82 c #Conflicts: 1566000 | #Constraints: 50169
3548.16/3557.82 c INPROCESSING
3548.16/3557.82 c GARBAGE COLLECT
3548.16/3557.82 c #Conflicts: 1567000 | #Constraints: 26373
3548.16/3557.82 c #Conflicts: 1568000 | #Constraints: 27373
3548.16/3557.82 c #Conflicts: 1569000 | #Constraints: 28373
3548.16/3557.82 c #Conflicts: 1570000 | #Constraints: 29373
3548.16/3557.82 c #Conflicts: 1571000 | #Constraints: 30373
3548.16/3557.82 c #Conflicts: 1572000 | #Constraints: 31373
3548.16/3557.82 c #Conflicts: 1573000 | #Constraints: 32373
3548.16/3557.82 c #Conflicts: 1574000 | #Constraints: 33373
3548.16/3557.82 c #Conflicts: 1575000 | #Constraints: 34373
3548.16/3557.82 c #Conflicts: 1576000 | #Constraints: 35373
3548.16/3557.82 c #Conflicts: 1577000 | #Constraints: 36373
3548.16/3557.82 c #Conflicts: 1578000 | #Constraints: 37373
3548.16/3557.82 c #Conflicts: 1579000 | #Constraints: 38373
3548.16/3557.82 c #Conflicts: 1580000 | #Constraints: 39373
3548.16/3557.82 c #Conflicts: 1581000 | #Constraints: 40373
3600.06/3609.80 c #Conflicts: 1582000 | #Constraints: 41373
3600.06/3609.80 c #Conflicts: 1583000 | #Constraints: 42373
3600.06/3609.80 c #Conflicts: 1584000 | #Constraints: 43373
3600.06/3609.80 c #Conflicts: 1585000 | #Constraints: 44373
3600.06/3609.80 c #Conflicts: 1586000 | #Constraints: 45373
3600.06/3609.80 c #Conflicts: 1587000 | #Constraints: 46373
3600.06/3609.80 c #Conflicts: 1588000 | #Constraints: 47373
3600.06/3609.80 c #Conflicts: 1589000 | #Constraints: 48373
3600.06/3609.80 c #Conflicts: 1590000 | #Constraints: 49373
3600.06/3609.80 c #Conflicts: 1591000 | #Constraints: 50373
3600.06/3609.80 c INPROCESSING
3600.06/3609.80 c GARBAGE COLLECT
3600.06/3609.80 c #Conflicts: 1592000 | #Constraints: 26373
3600.06/3609.80 c #Conflicts: 1593000 | #Constraints: 27373
3600.06/3609.80 c #Conflicts: 1594000 | #Constraints: 28373
3600.06/3609.80 c #Conflicts: 1595000 | #Constraints: 29373
3600.06/3609.80 c #Conflicts: 1596000 | #Constraints: 30373
3600.06/3609.80 c #Conflicts: 1597000 | #Constraints: 31373
3600.06/3609.80 c #Conflicts: 1598000 | #Constraints: 32373
3600.06/3609.80 c #Conflicts: 1599000 | #Constraints: 33373
3600.06/3609.80 c Program interrupted by user.
3600.06/3609.80 c cpu time 3585.62 s
3600.06/3609.80 c deterministic time 633461766569 6.33e+11
3600.06/3609.80 c optimization time 24.1185 s
3600.06/3609.80 c total solve time 3262.39 s
3600.06/3609.80 c core-guided solve time 0 s
3600.06/3609.80 c propagation time 2725.62 s
3600.06/3609.80 c conflict analysis time 503.079 s
3600.06/3609.80 c propagations 437808260
3600.06/3609.80 c resolve steps 12238515
3600.06/3609.80 c decisions 8684834
3600.06/3609.80 c conflicts 1599926
3600.06/3609.80 c restarts 3069
3600.06/3609.80 c inprocessing phases 117
3600.06/3609.80 c input clauses 63
3600.06/3609.80 c input cardinalities 63
3600.06/3609.80 c input general constraints 384
3600.06/3609.80 c input average constraint length 60.02
3600.06/3609.80 c input average constraint degree 534.86
3600.06/3609.80 c learned clauses 193573
3600.06/3609.80 c learned cardinalities 16831
3600.06/3609.80 c learned general constraints 1389522
3600.06/3609.80 c learned average constraint length 485.27
3600.06/3609.80 c learned average constraint degree 11768123.00
3600.06/3609.80 c watched constraints 1063644
3600.06/3609.80 c counting constraints 326262
3600.06/3609.80 c gcd simplifications 145494
3600.06/3609.80 c detected cardinalities 586
3600.06/3609.80 c weakened non-implied lits 127278871
3600.06/3609.80 c weakened non-implying lits 181902
3600.06/3609.80 c original variables 3216
3600.06/3609.80 c clausal propagations 2214706
3600.06/3609.80 c cardinality propagations 8314423
3600.06/3609.80 c watched propagations 22662145
3600.06/3609.80 c counting propagations 402643598
3600.06/3609.80 c watch lookups 48606188853
3600.06/3609.80 c watch backjump lookups 44488940835
3600.06/3609.80 c watch checks 459386866871
3600.06/3609.80 c propagation checks 77431233570
3600.06/3609.80 c constraint additions 2653952237
3600.06/3609.80 c trail pops 448091108
3600.06/3609.80 c formula constraints 510
3600.06/3609.80 c learned constraints 1599926
3600.06/3609.80 c bound constraints 0
3600.06/3609.80 c core-guided constraints 0
3600.06/3609.80 c encountered formula constraints 6425198
3600.06/3609.80 c encountered learned constraints 7413243
3600.06/3609.80 c encountered bound constraints 0
3600.06/3609.80 c encountered core-guided constraints 0
3600.06/3609.80 c LP total time 0 s
3600.06/3609.80 c LP solve time 0 s
3600.06/3609.80 c LP constraints added 0
3600.06/3609.80 c LP constraints removed 0
3600.06/3609.80 c LP pivots internal 0
3600.06/3609.80 c LP pivots root 0
3600.06/3609.80 c LP calls 0
3600.06/3609.80 c LP optimalities 0
3600.06/3609.80 c LP no pivot count 0
3600.06/3609.80 c LP infeasibilities 0
3600.06/3609.80 c LP valid Farkas constraints 0
3600.06/3609.80 c LP learned Farkas constraints 0
3600.06/3609.80 c LP basis resets 0
3600.06/3609.80 c LP cycling count 0
3600.06/3609.80 c LP singular count 0
3600.06/3609.80 c LP no primal count 0
3600.06/3609.80 c LP no farkas count 0
3600.06/3609.80 c LP other issue count 0
3600.06/3609.80 c LP Gomory cuts 0
3600.06/3609.80 c LP learned cuts 0
3600.06/3609.80 c LP deleted cuts 0
3600.06/3609.80 c LP encountered Gomory constraints 0
3600.06/3609.80 c LP encountered Farkas constraints 0
3600.06/3609.80 c LP encountered learned Farkas constraints 0
3600.06/3609.80 c CG auxiliary variables introduced 0
3600.06/3609.80 c CG solutions found 0
3600.06/3609.80 c CG cores constructed 0
3600.06/3609.80 c CG core cardinality constraints returned 0
3600.06/3609.80 c CG unit cores 0
3600.06/3609.80 c CG single cores 0
3600.06/3609.80 c CG blocks removed during cardinality reduction 0
3600.06/3609.80 c CG first core best 0
3600.06/3609.80 c CG decision core best 0
3600.06/3609.80 c CG core reduction tie 0
3600.06/3609.80 c CG core degree average 0.00
3600.06/3609.80 c CG core slack average 0.00
3600.06/3609.80 c CG exhausted 0
3600.06/3609.80 c CG exhaust time 0 s
3600.06/3609.80 c CG trimmed 0
3600.06/3609.80 c CG trim time 0 s
3600.06/3609.80 c CG minimized 0
3600.06/3609.80 c CG minimize time 0 s
3600.06/3609.80 c CG am1 prop time 0 s
3600.06/3609.80 c CG # am1s reformulated 0
3600.06/3609.80 c CG lower bound derived from am1s 0
3600.06/3609.80 c CG # clausal cores 0
3600.06/3609.80 c CG # cardinality cores 0
3600.06/3609.80 c CG # pb cores 0
3600.06/3609.80 c CG # pb reforms 0
3600.06/3609.80 c CG # cores discarded because of pb reform 0
3600.06/3609.80 d LOWERBOUND 0
3600.06/3609.80 d NCORES 0
3600.06/3609.80 d NPBCORES 0
3600.06/3609.80 d NPBREFORM 0
3600.06/3609.80 d NTRIMMED 0
3600.06/3609.80 d NEXHAUSTED 0
3600.06/3609.80 d NAM1S 0
3600.06/3609.80 d AM1LB 0
3600.06/3609.80 c [Papilo Statistics]
3600.06/3609.80 c prepro time 0.0110045s
3600.06/3609.80 c # tsx applied 12
3600.06/3609.80 c # tsx conflicts 0
3600.06/3609.80 c # bound changes 6
3600.06/3609.80 c # side changes 0
3600.06/3609.80 c # coef changes 0
3600.06/3609.80 c # rounds 2
3600.06/3609.80 c # deted vars 6
3600.06/3609.80 c # deted constrs 3211
3600.06/3609.80 c # consecutive rounds of only bound changes 0
3600.06/3609.80 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 63968 MiB (62273 MiB free)
memory of node 1: 64473 MiB (62824 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435601-1721110528/watcher-4435601-1721110528 -o /tmp/evaluation-result-4435601-1721110528/solver-4435601-1721110528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840501 --watchdog 3760 mixed-bag HOME/instance-4435601-1721110528.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB
solver pid=844576, runsolver pid=844573
[startup+0.100094 s]*
/proc/loadavg: 4.18 4.16 4.11 4/251 844591
/proc/meminfo: memFree=128070772/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=109128 memory=41200 CPUtime=0.1 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 7332 0 0 0 9 1 0 0 20 0 1 0 163223667 111747072 10300 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 27282 10300 3782 3002 0 11033 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 109128 KiB
Current children cumulated memory: 41200 KiB
[startup+0.205715 s]*
/proc/loadavg: 4.18 4.16 4.11 5/249 844601
/proc/meminfo: memFree=128058488/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=128308 memory=54044 CPUtime=0.2 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 10574 0 0 0 19 1 0 0 20 0 1 0 163223667 131387392 13511 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 32077 13511 3814 3002 0 15828 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128308 KiB
Current children cumulated memory: 54044 KiB
[startup+0.305908 s]*
/proc/loadavg: 4.18 4.16 4.11 5/248 844613
/proc/meminfo: memFree=128056196/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=130344 memory=55628 CPUtime=0.3 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 11010 0 0 0 29 1 0 0 20 0 1 0 163223667 133472256 13907 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 32586 13907 3814 3002 0 16337 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130344 KiB
Current children cumulated memory: 55628 KiB
[startup+0.700234 s]
/proc/loadavg: 4.18 4.16 4.11 5/254 844623
/proc/meminfo: memFree=127990224/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=147304 memory=72836 CPUtime=0.69 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 15253 0 0 0 67 2 0 0 20 0 1 0 163223667 150839296 18209 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 36826 18209 3827 3002 0 20577 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 147304 KiB
Current children cumulated memory: 72836 KiB
[startup+1.50019 s]
/proc/loadavg: 4.18 4.16 4.11 6/254 844624
/proc/meminfo: memFree=127953800/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=154688 memory=80024 CPUtime=1.49 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 17078 0 0 0 147 2 0 0 20 0 1 0 163223667 158400512 20006 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 38672 20006 3843 3002 0 22423 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 154688 KiB
Current children cumulated memory: 80024 KiB
[startup+3.10556 s]
/proc/loadavg: 4.18 4.16 4.11 5/254 844670
/proc/meminfo: memFree=128291836/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=192644 memory=117556 CPUtime=3.08 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 27382 0 0 0 305 3 0 0 20 0 1 0 163223667 197267456 29389 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 48161 29389 4035 3002 0 31912 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 192644 KiB
Current children cumulated memory: 117556 KiB
[startup+6.30022 s]
/proc/loadavg: 4.16 4.15 4.11 5/254 844670
/proc/meminfo: memFree=128223328/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=201788 memory=127676 CPUtime=6.27 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 32352 0 0 0 622 5 0 0 20 0 1 0 163223667 206630912 31919 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 50447 31919 4035 3002 0 34198 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 201788 KiB
Current children cumulated memory: 127676 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.15 4.11 5/254 844718
/proc/meminfo: memFree=128138724/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=209696 memory=135564 CPUtime=12.65 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 35284 0 0 0 1260 5 0 0 20 0 1 0 163223667 214728704 33891 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 52424 33891 4035 3002 0 36175 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 209696 KiB
Current children cumulated memory: 135564 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.14 4.11 5/254 844766
/proc/meminfo: memFree=128484000/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=217612 memory=143380 CPUtime=25.4 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 41727 0 0 0 2534 6 0 0 20 0 1 0 163223667 222834688 35845 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 54403 35845 4035 3002 0 38154 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 217612 KiB
Current children cumulated memory: 143380 KiB
[startup+51.1057 s]
/proc/loadavg: 4.08 4.13 4.10 5/254 844770
/proc/meminfo: memFree=128401188/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=238232 memory=165108 CPUtime=50.93 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 53001 0 0 0 5085 8 0 0 20 0 1 0 163223667 243949568 41277 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 59558 41277 4035 3002 0 43309 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 238232 KiB
Current children cumulated memory: 165108 KiB
[startup+102.3 s]
/proc/loadavg: 4.13 4.14 4.11 5/255 844781
/proc/meminfo: memFree=128383120/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=238232 memory=166284 CPUtime=101.97 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 53154 0 0 0 10189 8 0 0 20 0 1 0 163223667 243949568 41571 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 59558 41571 4035 3002 0 43309 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 238232 KiB
Current children cumulated memory: 166284 KiB
[startup+162.3 s]
/proc/loadavg: 4.37 4.22 4.13 5/255 844792
/proc/meminfo: memFree=128318864/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=250076 memory=183572 CPUtime=161.81 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 57106 0 0 0 16172 9 0 0 20 0 1 0 163223667 256077824 45893 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 62519 45893 4035 3002 0 46270 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 250076 KiB
Current children cumulated memory: 183572 KiB
[startup+222.3 s]
/proc/loadavg: 4.20 4.19 4.13 5/255 844802
/proc/meminfo: memFree=128286940/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=266252 memory=200764 CPUtime=221.64 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 62215 0 0 0 22154 10 0 0 20 0 1 0 163223667 272642048 50191 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 66563 50191 4035 3002 0 50314 0
Current children cumulated CPU time: 221.64 s
Current children cumulated vsize: 266252 KiB
Current children cumulated memory: 200764 KiB
[startup+282.3 s]
/proc/loadavg: 4.13 4.17 4.12 5/257 844816
/proc/meminfo: memFree=128237208/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=269864 memory=204532 CPUtime=281.47 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 64335 0 0 0 28137 10 0 0 20 0 1 0 163223667 276340736 51133 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 67466 51133 4194 3002 0 51217 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 269864 KiB
Current children cumulated memory: 204532 KiB
[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.12 5/257 844918
/proc/meminfo: memFree=128424660/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=286752 memory=225060 CPUtime=341.32 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 66390 0 0 0 34060 72 0 0 20 0 1 0 163223667 293634048 56265 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 71688 56265 4258 3002 0 55439 0
Current children cumulated CPU time: 341.32 s
Current children cumulated vsize: 286752 KiB
Current children cumulated memory: 225060 KiB
[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.12 5/256 844929
/proc/meminfo: memFree=128390664/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=305720 memory=237688 CPUtime=401.14 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 67006 0 0 0 39993 121 0 0 20 0 1 0 163223667 313057280 59422 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 76430 59422 4258 3002 0 60181 0
Current children cumulated CPU time: 401.14 s
Current children cumulated vsize: 305720 KiB
Current children cumulated memory: 237688 KiB
[startup+462.3 s]
/proc/loadavg: 4.08 4.13 4.11 5/256 844939
/proc/meminfo: memFree=128343372/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=305720 memory=245916 CPUtime=460.96 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 67061 0 0 0 45927 169 0 0 20 0 1 0 163223667 313057280 61479 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 76430 61479 4258 3002 0 60181 0
################
# More data... #
################
Current children cumulated memory: 379892 KiB
[startup+2862.3 s]
/proc/loadavg: 3.31 3.89 4.02 4/248 848365
/proc/meminfo: memFree=127903976/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=503016 memory=380072 CPUtime=2854.03 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 78935 0 0 0 284210 1193 0 0 20 0 1 0 163223667 515088384 95018 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 125754 95018 4258 3002 0 109505 0
Current children cumulated CPU time: 2854.03 s
Current children cumulated vsize: 503016 KiB
Current children cumulated memory: 380072 KiB
[startup+2922.3 s]
/proc/loadavg: 3.18 3.74 3.96 4/248 848377
/proc/meminfo: memFree=127897972/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=503276 memory=380332 CPUtime=2913.91 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 79150 0 0 0 290169 1222 0 0 20 0 1 0 163223667 515354624 95083 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 125819 95083 4258 3002 0 109570 0
Current children cumulated CPU time: 2913.91 s
Current children cumulated vsize: 503276 KiB
Current children cumulated memory: 380332 KiB
[startup+2982.3 s]
/proc/loadavg: 3.12 3.62 3.90 4/248 848387
/proc/meminfo: memFree=127895616/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=505520 memory=381900 CPUtime=2973.8 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 79711 0 0 0 296140 1240 0 0 20 0 1 0 163223667 517652480 95475 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 126380 95475 4258 3002 0 110131 0
Current children cumulated CPU time: 2973.8 s
Current children cumulated vsize: 505520 KiB
Current children cumulated memory: 381900 KiB
[startup+3042.3 s]
/proc/loadavg: 3.12 3.53 3.86 4/247 848397
/proc/meminfo: memFree=127891288/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=507864 memory=383392 CPUtime=3033.68 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 80288 0 0 0 302117 1251 0 0 20 0 1 0 163223667 520052736 95848 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 126966 95848 4258 3002 0 110717 0
Current children cumulated CPU time: 3033.68 s
Current children cumulated vsize: 507864 KiB
Current children cumulated memory: 383392 KiB
[startup+3102.3 s]
/proc/loadavg: 3.08 3.45 3.80 4/247 848407
/proc/meminfo: memFree=127888368/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=508120 memory=383568 CPUtime=3093.57 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 80507 0 0 0 308085 1272 0 0 20 0 1 0 163223667 520314880 95892 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 127030 95892 4258 3002 0 110781 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 508120 KiB
Current children cumulated memory: 383568 KiB
[startup+3162.3 s]
/proc/loadavg: 3.07 3.38 3.76 4/247 848418
/proc/meminfo: memFree=127882876/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=508472 memory=384144 CPUtime=3153.44 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 80752 0 0 0 314048 1296 0 0 20 0 1 0 163223667 520675328 96036 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 127118 96036 4258 3002 0 110869 0
Current children cumulated CPU time: 3153.44 s
Current children cumulated vsize: 508472 KiB
Current children cumulated memory: 384144 KiB
[startup+3222.3 s]
/proc/loadavg: 3.13 3.34 3.72 4/247 848428
/proc/meminfo: memFree=127881124/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=510236 memory=385480 CPUtime=3213.32 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 81242 0 0 0 320011 1321 0 0 20 0 1 0 163223667 522481664 96370 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 127559 96370 4258 3002 0 111310 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 510236 KiB
Current children cumulated memory: 385480 KiB
[startup+3282.3 s]
/proc/loadavg: 3.10 3.29 3.68 4/249 848442
/proc/meminfo: memFree=127878912/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=511520 memory=386468 CPUtime=3273.21 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 81652 0 0 0 325975 1346 0 0 20 0 1 0 163223667 523796480 96617 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 127880 96617 4258 3002 0 111631 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 511520 KiB
Current children cumulated memory: 386468 KiB
[startup+3342.3 s]
/proc/loadavg: 3.12 3.25 3.64 4/249 848453
/proc/meminfo: memFree=127876384/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=511520 memory=386620 CPUtime=3333.08 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 81829 0 0 0 331942 1366 0 0 20 0 1 0 163223667 523796480 96655 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 127880 96655 4258 3002 0 111631 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 511520 KiB
Current children cumulated memory: 386620 KiB
[startup+3402.3 s]
/proc/loadavg: 3.10 3.22 3.60 4/250 848465
/proc/meminfo: memFree=127874424/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=512900 memory=387692 CPUtime=3392.96 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 82253 0 0 0 337907 1389 0 0 20 0 1 0 163223667 525209600 96923 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 128225 96923 4258 3002 0 111976 0
Current children cumulated CPU time: 3392.96 s
Current children cumulated vsize: 512900 KiB
Current children cumulated memory: 387692 KiB
[startup+3462.3 s]
/proc/loadavg: 3.12 3.21 3.57 4/250 848475
/proc/meminfo: memFree=127870928/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=513288 memory=388080 CPUtime=3452.85 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 82505 0 0 0 343873 1412 0 0 20 0 1 0 163223667 525606912 97020 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 128322 97020 4258 3002 0 112073 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 513288 KiB
Current children cumulated memory: 388080 KiB
[startup+3522.3 s]
/proc/loadavg: 3.13 3.20 3.54 4/250 848486
/proc/meminfo: memFree=127859016/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=531324 memory=399248 CPUtime=3512.73 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 85523 0 0 0 349851 1422 0 0 20 0 1 0 163223667 544075776 99812 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 132831 99812 4258 3002 0 116582 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 531324 KiB
Current children cumulated memory: 399248 KiB
[startup+3582.3 s]
/proc/loadavg: 3.21 3.20 3.52 4/248 848496
/proc/meminfo: memFree=127852596/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=533672 memory=405068 CPUtime=3572.61 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 86058 0 0 0 355826 1435 0 0 20 0 1 0 163223667 546480128 101267 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 133418 101267 4258 3002 0 117169 0
Current children cumulated CPU time: 3572.61 s
Current children cumulated vsize: 533672 KiB
Current children cumulated memory: 405068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.8 s]
/proc/loadavg: 3.21 3.20 3.52 4/248 848499
/proc/meminfo: memFree=127852464/131524600 swapFree=131071996/131071996
[pid=844576] ppid=844573 vsize=533672 memory=405068 CPUtime=3600.06 cores=4,6
/proc/844576/stat : 844576 (mixed-bag) R 844573 844576 840490 0 -1 4194304 86091 0 0 0 358562 1444 0 0 20 0 1 0 163223667 546480128 101267 134679101440 4194304 16487941 140721256513840 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 46661632 140721256522775 140721256522852 140721256522852 140721256529867 0
/proc/844576/statm: 133418 101267 4258 3002 0 117169 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 533672 KiB
Current children cumulated memory: 405068 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.8 s]
# the end of solver process 844576 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3585.62 s, system=14.4439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 3609.8
CPU time (s): 3600.07
CPU user time (s): 3585.62
CPU system time (s): 14.4439
CPU usage (%): 99.7303
Max. virtual memory (cumulated for all children) (KiB): 533672
Max. memory (cumulated for all children) (KiB): 405068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3585.62
system time used= 14.4439
maximum resident set size= 405068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86107
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= 87
involuntary context switches= 1798
# summary of solver processes directly reported to runsolver:
# pid: 844576
# total CPU time (s): 3600.07
# total CPU user time (s): 3585.62
# total CPU system time (s): 14.4439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.24544 second user time and 17.8471 second system time
The end
Begin job on nodeC035 at 2024-07-16 08:15:41
IDJOB=4435601
IDBENCH=148772
IDSOLVER=3066
FILE ID=nodeC035/4435601-1721110528
RUNJOBID= nodeC035-1721103319-840501
SLURM_JOB_ID= 7505619
Free space on /tmp= 890016 MiB
SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435601-1721110528/watcher-4435601-1721110528 -o /tmp/evaluation-result-4435601-1721110528/solver-4435601-1721110528 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721103319-840501 --watchdog 3760 mixed-bag HOME/instance-4435601-1721110528.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=1431127557
nodeC035.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.214
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3688.998
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3611.870
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3628.656
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3666.073
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3679.227
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
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 : 3657.918
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.65
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 : 3615.540
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7005.79
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 128100612 kB
MemAvailable: 128647240 kB
Buffers: 383308 kB
Cached: 1001724 kB
SwapCached: 0 kB
Active: 707040 kB
Inactive: 2125768 kB
Active(anon): 1560 kB
Inactive(anon): 1483652 kB
Active(file): 705480 kB
Inactive(file): 642116 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 16632 kB
Writeback: 0 kB
AnonPages: 1446620 kB
Mapped: 128080 kB
Shmem: 37724 kB
KReclaimable: 77708 kB
Slab: 181504 kB
SReclaimable: 77708 kB
SUnreclaim: 103796 kB
KernelStack: 4092 kB
PageTables: 12328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 2051428 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 63168 kB
HardwareCorrupted: 0 kB
AnonHugePages: 1548288 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 199380 kB
DirectMap2M: 18448384 kB
DirectMap1G: 117440512 kB
Free space on /tmp at the end= 890012 MiB
End job on nodeC035 at 2024-07-16 09:15:51