0.00/0.01 c RoundingSat 2
0.00/0.01 c branch
0.00/0.01 c commit
0.00/0.01 c with Papilo
0.00/0.01 c with SCIP
0.00/0.01 c [STEP] parsing instance
0.00/0.04 c [STEP] preprocessing with Papilo
0.00/0.05 c [STEP] solving with SCIP
299.14/300.10 c [STEP] preprocessing done, loading into solver
299.24/300.11 c [STEP] solving
299.24/300.11 c #variables 3211 #constraints 510
334.63/335.69 c #Conflicts: 1000 | #Constraints: 1509
334.63/335.69 c #Conflicts: 2000 | #Constraints: 2509
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 3000 | #Constraints: 2522
334.63/335.69 c #Conflicts: 4000 | #Constraints: 3522
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 5000 | #Constraints: 2933
334.63/335.69 c #Conflicts: 6000 | #Constraints: 3933
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 7000 | #Constraints: 2944
334.63/335.69 c #Conflicts: 8000 | #Constraints: 3944
334.63/335.69 c #Conflicts: 9000 | #Constraints: 4944
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 10000 | #Constraints: 3638
334.63/335.69 c #Conflicts: 11000 | #Constraints: 4638
334.63/335.69 c #Conflicts: 12000 | #Constraints: 5638
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 13000 | #Constraints: 4084
334.63/335.69 c #Conflicts: 14000 | #Constraints: 5084
334.63/335.69 c #Conflicts: 15000 | #Constraints: 6084
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 16000 | #Constraints: 4308
334.63/335.69 c #Conflicts: 17000 | #Constraints: 5308
334.63/335.69 c #Conflicts: 18000 | #Constraints: 6308
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 19000 | #Constraints: 4328
334.63/335.69 c #Conflicts: 20000 | #Constraints: 5328
334.63/335.69 c #Conflicts: 21000 | #Constraints: 6328
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 22000 | #Constraints: 4129
334.63/335.69 c #Conflicts: 23000 | #Constraints: 5129
334.63/335.69 c #Conflicts: 24000 | #Constraints: 6129
334.63/335.69 c #Conflicts: 25000 | #Constraints: 7129
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 26000 | #Constraints: 4732
334.63/335.69 c #Conflicts: 27000 | #Constraints: 5732
334.63/335.69 c #Conflicts: 28000 | #Constraints: 6732
334.63/335.69 c #Conflicts: 29000 | #Constraints: 7732
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 30000 | #Constraints: 5130
334.63/335.69 c #Conflicts: 31000 | #Constraints: 6130
334.63/335.69 c #Conflicts: 32000 | #Constraints: 7130
334.63/335.69 c #Conflicts: 33000 | #Constraints: 8130
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 34000 | #Constraints: 5339
334.63/335.69 c #Conflicts: 35000 | #Constraints: 6339
334.63/335.69 c #Conflicts: 36000 | #Constraints: 7339
334.63/335.69 c #Conflicts: 37000 | #Constraints: 8339
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 38000 | #Constraints: 5344
334.63/335.69 c #Conflicts: 39000 | #Constraints: 6344
334.63/335.69 c #Conflicts: 40000 | #Constraints: 7344
334.63/335.69 c #Conflicts: 41000 | #Constraints: 8344
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 42000 | #Constraints: 5155
334.63/335.69 c #Conflicts: 43000 | #Constraints: 6155
334.63/335.69 c #Conflicts: 44000 | #Constraints: 7155
334.63/335.69 c #Conflicts: 45000 | #Constraints: 8155
334.63/335.69 c #Conflicts: 46000 | #Constraints: 9155
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 47000 | #Constraints: 5749
334.63/335.69 c #Conflicts: 48000 | #Constraints: 6749
334.63/335.69 c #Conflicts: 49000 | #Constraints: 7749
334.63/335.69 c #Conflicts: 50000 | #Constraints: 8749
334.63/335.69 c #Conflicts: 51000 | #Constraints: 9749
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 52000 | #Constraints: 6150
334.63/335.69 c #Conflicts: 53000 | #Constraints: 7150
334.63/335.69 c #Conflicts: 54000 | #Constraints: 8150
334.63/335.69 c #Conflicts: 55000 | #Constraints: 9150
334.63/335.69 c #Conflicts: 56000 | #Constraints: 10150
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 57000 | #Constraints: 6350
334.63/335.69 c #Conflicts: 58000 | #Constraints: 7350
334.63/335.69 c #Conflicts: 59000 | #Constraints: 8350
334.63/335.69 c #Conflicts: 60000 | #Constraints: 9350
334.63/335.69 c #Conflicts: 61000 | #Constraints: 10350
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 62000 | #Constraints: 6340
334.63/335.69 c #Conflicts: 63000 | #Constraints: 7340
334.63/335.69 c #Conflicts: 64000 | #Constraints: 8340
334.63/335.69 c #Conflicts: 65000 | #Constraints: 9340
334.63/335.69 c #Conflicts: 66000 | #Constraints: 10340
334.63/335.69 c INPROCESSING
334.63/335.69 c GARBAGE COLLECT
334.63/335.69 c #Conflicts: 67000 | #Constraints: 6138
334.63/335.69 c #Conflicts: 68000 | #Constraints: 7138
399.62/400.88 c #Conflicts: 69000 | #Constraints: 8138
399.62/400.88 c #Conflicts: 70000 | #Constraints: 9138
399.62/400.88 c #Conflicts: 71000 | #Constraints: 10138
399.62/400.88 c #Conflicts: 72000 | #Constraints: 11138
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 73000 | #Constraints: 6729
399.62/400.88 c #Conflicts: 74000 | #Constraints: 7729
399.62/400.88 c #Conflicts: 75000 | #Constraints: 8729
399.62/400.88 c #Conflicts: 76000 | #Constraints: 9729
399.62/400.88 c #Conflicts: 77000 | #Constraints: 10729
399.62/400.88 c #Conflicts: 78000 | #Constraints: 11729
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 79000 | #Constraints: 7144
399.62/400.88 c #Conflicts: 80000 | #Constraints: 8144
399.62/400.88 c #Conflicts: 81000 | #Constraints: 9144
399.62/400.88 c #Conflicts: 82000 | #Constraints: 10144
399.62/400.88 c #Conflicts: 83000 | #Constraints: 11144
399.62/400.88 c #Conflicts: 84000 | #Constraints: 12144
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 85000 | #Constraints: 7349
399.62/400.88 c #Conflicts: 86000 | #Constraints: 8349
399.62/400.88 c #Conflicts: 87000 | #Constraints: 9349
399.62/400.88 c #Conflicts: 88000 | #Constraints: 10349
399.62/400.88 c #Conflicts: 89000 | #Constraints: 11349
399.62/400.88 c #Conflicts: 90000 | #Constraints: 12349
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 91000 | #Constraints: 7349
399.62/400.88 c #Conflicts: 92000 | #Constraints: 8349
399.62/400.88 c #Conflicts: 93000 | #Constraints: 9349
399.62/400.88 c #Conflicts: 94000 | #Constraints: 10349
399.62/400.88 c #Conflicts: 95000 | #Constraints: 11349
399.62/400.88 c #Conflicts: 96000 | #Constraints: 12349
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 97000 | #Constraints: 7163
399.62/400.88 c #Conflicts: 98000 | #Constraints: 8163
399.62/400.88 c #Conflicts: 99000 | #Constraints: 9163
399.62/400.88 c #Conflicts: 100000 | #Constraints: 10163
399.62/400.88 c #Conflicts: 101000 | #Constraints: 11163
399.62/400.88 c #Conflicts: 102000 | #Constraints: 12163
399.62/400.88 c #Conflicts: 103000 | #Constraints: 13163
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 104000 | #Constraints: 7753
399.62/400.88 c #Conflicts: 105000 | #Constraints: 8753
399.62/400.88 c #Conflicts: 106000 | #Constraints: 9753
399.62/400.88 c #Conflicts: 107000 | #Constraints: 10753
399.62/400.88 c #Conflicts: 108000 | #Constraints: 11753
399.62/400.88 c #Conflicts: 109000 | #Constraints: 12753
399.62/400.88 c #Conflicts: 110000 | #Constraints: 13753
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 111000 | #Constraints: 8152
399.62/400.88 c #Conflicts: 112000 | #Constraints: 9152
399.62/400.88 c #Conflicts: 113000 | #Constraints: 10152
399.62/400.88 c #Conflicts: 114000 | #Constraints: 11152
399.62/400.88 c #Conflicts: 115000 | #Constraints: 12152
399.62/400.88 c #Conflicts: 116000 | #Constraints: 13152
399.62/400.88 c #Conflicts: 117000 | #Constraints: 14152
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 118000 | #Constraints: 8345
399.62/400.88 c #Conflicts: 119000 | #Constraints: 9345
399.62/400.88 c #Conflicts: 120000 | #Constraints: 10345
399.62/400.88 c #Conflicts: 121000 | #Constraints: 11345
399.62/400.88 c #Conflicts: 122000 | #Constraints: 12345
399.62/400.88 c #Conflicts: 123000 | #Constraints: 13345
399.62/400.88 c #Conflicts: 124000 | #Constraints: 14345
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 125000 | #Constraints: 8350
399.62/400.88 c #Conflicts: 126000 | #Constraints: 9350
399.62/400.88 c #Conflicts: 127000 | #Constraints: 10350
399.62/400.88 c #Conflicts: 128000 | #Constraints: 11350
399.62/400.88 c #Conflicts: 129000 | #Constraints: 12350
399.62/400.88 c #Conflicts: 130000 | #Constraints: 13350
399.62/400.88 c #Conflicts: 131000 | #Constraints: 14350
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 132000 | #Constraints: 8143
399.62/400.88 c #Conflicts: 133000 | #Constraints: 9143
399.62/400.88 c #Conflicts: 134000 | #Constraints: 10143
399.62/400.88 c #Conflicts: 135000 | #Constraints: 11143
399.62/400.88 c #Conflicts: 136000 | #Constraints: 12143
399.62/400.88 c #Conflicts: 137000 | #Constraints: 13143
399.62/400.88 c #Conflicts: 138000 | #Constraints: 14143
399.62/400.88 c #Conflicts: 139000 | #Constraints: 15143
399.62/400.88 c INPROCESSING
399.62/400.88 c GARBAGE COLLECT
399.62/400.88 c #Conflicts: 140000 | #Constraints: 8754
491.23/492.72 c #Conflicts: 141000 | #Constraints: 9754
491.23/492.72 c #Conflicts: 142000 | #Constraints: 10754
491.23/492.72 c #Conflicts: 143000 | #Constraints: 11754
491.23/492.72 c #Conflicts: 144000 | #Constraints: 12754
491.23/492.72 c #Conflicts: 145000 | #Constraints: 13754
491.23/492.72 c #Conflicts: 146000 | #Constraints: 14754
491.23/492.72 c #Conflicts: 147000 | #Constraints: 15754
491.23/492.72 c INPROCESSING
491.23/492.72 c GARBAGE COLLECT
491.23/492.72 c #Conflicts: 148000 | #Constraints: 9180
491.23/492.72 c #Conflicts: 149000 | #Constraints: 10180
491.23/492.72 c #Conflicts: 150000 | #Constraints: 11180
491.23/492.72 c #Conflicts: 151000 | #Constraints: 12180
491.23/492.72 c #Conflicts: 152000 | #Constraints: 13180
491.23/492.72 c #Conflicts: 153000 | #Constraints: 14180
491.23/492.72 c #Conflicts: 154000 | #Constraints: 15180
491.23/492.72 c #Conflicts: 155000 | #Constraints: 16180
491.23/492.72 c INPROCESSING
491.23/492.72 c GARBAGE COLLECT
491.23/492.72 c #Conflicts: 156000 | #Constraints: 9365
491.23/492.72 c #Conflicts: 157000 | #Constraints: 10365
491.23/492.72 c #Conflicts: 158000 | #Constraints: 11365
491.23/492.72 c #Conflicts: 159000 | #Constraints: 12365
491.23/492.72 c #Conflicts: 160000 | #Constraints: 13365
491.23/492.72 c #Conflicts: 161000 | #Constraints: 14365
491.23/492.72 c #Conflicts: 162000 | #Constraints: 15365
491.23/492.72 c #Conflicts: 163000 | #Constraints: 16365
491.23/492.72 c INPROCESSING
491.23/492.72 c GARBAGE COLLECT
491.23/492.72 c #Conflicts: 164000 | #Constraints: 9355
491.23/492.72 c #Conflicts: 165000 | #Constraints: 10355
491.23/492.72 c #Conflicts: 166000 | #Constraints: 11355
491.23/492.72 c #Conflicts: 167000 | #Constraints: 12355
491.23/492.72 c #Conflicts: 168000 | #Constraints: 13355
491.23/492.72 c #Conflicts: 169000 | #Constraints: 14355
491.23/492.72 c #Conflicts: 170000 | #Constraints: 15355
491.23/492.72 c #Conflicts: 171000 | #Constraints: 16355
491.23/492.72 c INPROCESSING
491.23/492.72 c GARBAGE COLLECT
491.23/492.72 c #Conflicts: 172000 | #Constraints: 9147
491.23/492.72 c #Conflicts: 173000 | #Constraints: 10147
491.23/492.72 c #Conflicts: 174000 | #Constraints: 11147
491.23/492.72 c #Conflicts: 175000 | #Constraints: 12147
491.23/492.72 c #Conflicts: 176000 | #Constraints: 13147
491.23/492.72 c #Conflicts: 177000 | #Constraints: 14147
491.23/492.72 c #Conflicts: 178000 | #Constraints: 15147
491.23/492.72 c #Conflicts: 179000 | #Constraints: 16147
491.23/492.72 c #Conflicts: 180000 | #Constraints: 17147
491.23/492.72 c INPROCESSING
491.23/492.72 c GARBAGE COLLECT
491.23/492.72 c #Conflicts: 181000 | #Constraints: 9752
491.23/492.72 c #Conflicts: 182000 | #Constraints: 10752
491.23/492.72 c #Conflicts: 183000 | #Constraints: 11752
491.23/492.72 c #Conflicts: 184000 | #Constraints: 12752
491.23/492.72 c #Conflicts: 185000 | #Constraints: 13752
491.23/492.72 c #Conflicts: 186000 | #Constraints: 14752
491.23/492.72 c #Conflicts: 187000 | #Constraints: 15752
491.23/492.72 c #Conflicts: 188000 | #Constraints: 16752
491.23/492.72 c #Conflicts: 189000 | #Constraints: 17752
491.23/492.72 c INPROCESSING
491.23/492.72 c GARBAGE COLLECT
491.23/492.72 c #Conflicts: 190000 | #Constraints: 10171
491.23/492.72 c #Conflicts: 191000 | #Constraints: 11171
491.23/492.72 c #Conflicts: 192000 | #Constraints: 12171
491.23/492.72 c #Conflicts: 193000 | #Constraints: 13171
491.23/492.72 c #Conflicts: 194000 | #Constraints: 14171
491.23/492.72 c #Conflicts: 195000 | #Constraints: 15171
491.23/492.72 c #Conflicts: 196000 | #Constraints: 16171
491.23/492.72 c #Conflicts: 197000 | #Constraints: 17171
491.23/492.72 c #Conflicts: 198000 | #Constraints: 18171
491.23/492.72 c INPROCESSING
491.23/492.72 c GARBAGE COLLECT
491.23/492.72 c #Conflicts: 199000 | #Constraints: 10379
491.23/492.72 c #Conflicts: 200000 | #Constraints: 11379
491.23/492.72 c #Conflicts: 201000 | #Constraints: 12379
491.23/492.72 c #Conflicts: 202000 | #Constraints: 13379
491.23/492.72 c #Conflicts: 203000 | #Constraints: 14379
491.23/492.72 c #Conflicts: 204000 | #Constraints: 15379
491.23/492.72 c #Conflicts: 205000 | #Constraints: 16379
491.23/492.72 c #Conflicts: 206000 | #Constraints: 17379
491.23/492.72 c #Conflicts: 207000 | #Constraints: 18379
491.23/492.72 c INPROCESSING
491.23/492.72 c GARBAGE COLLECT
491.23/492.72 c #Conflicts: 208000 | #Constraints: 10405
491.23/492.72 c #Conflicts: 209000 | #Constraints: 11405
491.23/492.72 c #Conflicts: 210000 | #Constraints: 12405
491.23/492.72 c #Conflicts: 211000 | #Constraints: 13405
491.23/492.72 c #Conflicts: 212000 | #Constraints: 14405
491.23/492.72 c #Conflicts: 213000 | #Constraints: 15405
578.47/580.24 c #Conflicts: 214000 | #Constraints: 16405
578.47/580.24 c #Conflicts: 215000 | #Constraints: 17405
578.47/580.24 c #Conflicts: 216000 | #Constraints: 18405
578.47/580.24 c INPROCESSING
578.47/580.24 c GARBAGE COLLECT
578.47/580.24 c #Conflicts: 217000 | #Constraints: 10229
578.47/580.24 c #Conflicts: 218000 | #Constraints: 11229
578.47/580.24 c #Conflicts: 219000 | #Constraints: 12229
578.47/580.24 c #Conflicts: 220000 | #Constraints: 13229
578.47/580.24 c #Conflicts: 221000 | #Constraints: 14229
578.47/580.24 c #Conflicts: 222000 | #Constraints: 15229
578.47/580.24 c #Conflicts: 223000 | #Constraints: 16229
578.47/580.24 c #Conflicts: 224000 | #Constraints: 17229
578.47/580.24 c #Conflicts: 225000 | #Constraints: 18229
578.47/580.24 c #Conflicts: 226000 | #Constraints: 19229
578.47/580.24 c INPROCESSING
578.47/580.24 c GARBAGE COLLECT
578.47/580.24 c #Conflicts: 227000 | #Constraints: 10873
578.47/580.24 c #Conflicts: 228000 | #Constraints: 11873
578.47/580.24 c #Conflicts: 229000 | #Constraints: 12873
578.47/580.24 c #Conflicts: 230000 | #Constraints: 13873
578.47/580.24 c #Conflicts: 231000 | #Constraints: 14873
578.47/580.24 c #Conflicts: 232000 | #Constraints: 15873
578.47/580.24 c #Conflicts: 233000 | #Constraints: 16873
578.47/580.24 c #Conflicts: 234000 | #Constraints: 17873
578.47/580.24 c #Conflicts: 235000 | #Constraints: 18873
578.47/580.24 c #Conflicts: 236000 | #Constraints: 19873
578.47/580.24 c INPROCESSING
578.47/580.24 c GARBAGE COLLECT
578.47/580.24 c #Conflicts: 237000 | #Constraints: 11211
578.47/580.24 c #Conflicts: 238000 | #Constraints: 12211
578.47/580.24 c #Conflicts: 239000 | #Constraints: 13211
578.47/580.24 c #Conflicts: 240000 | #Constraints: 14211
578.47/580.24 c #Conflicts: 241000 | #Constraints: 15211
578.47/580.24 c #Conflicts: 242000 | #Constraints: 16211
578.47/580.24 c #Conflicts: 243000 | #Constraints: 17211
578.47/580.24 c #Conflicts: 244000 | #Constraints: 18211
578.47/580.24 c #Conflicts: 245000 | #Constraints: 19211
578.47/580.24 c #Conflicts: 246000 | #Constraints: 20211
578.47/580.24 c INPROCESSING
578.47/580.24 c GARBAGE COLLECT
578.47/580.24 c #Conflicts: 247000 | #Constraints: 11382
578.47/580.24 c #Conflicts: 248000 | #Constraints: 12382
578.47/580.24 c #Conflicts: 249000 | #Constraints: 13382
578.47/580.24 c #Conflicts: 250000 | #Constraints: 14382
578.47/580.24 c #Conflicts: 251000 | #Constraints: 15382
578.47/580.24 c #Conflicts: 252000 | #Constraints: 16382
578.47/580.24 c #Conflicts: 253000 | #Constraints: 17382
578.47/580.24 c #Conflicts: 254000 | #Constraints: 18382
578.47/580.24 c #Conflicts: 255000 | #Constraints: 19382
578.47/580.24 c #Conflicts: 256000 | #Constraints: 20382
578.47/580.24 c INPROCESSING
578.47/580.24 c GARBAGE COLLECT
578.47/580.24 c #Conflicts: 257000 | #Constraints: 11365
578.47/580.24 c #Conflicts: 258000 | #Constraints: 12365
578.47/580.24 c #Conflicts: 259000 | #Constraints: 13365
578.47/580.24 c #Conflicts: 260000 | #Constraints: 14365
578.47/580.24 c #Conflicts: 261000 | #Constraints: 15365
578.47/580.24 c #Conflicts: 262000 | #Constraints: 16365
578.47/580.24 c #Conflicts: 263000 | #Constraints: 17365
578.47/580.24 c #Conflicts: 264000 | #Constraints: 18365
578.47/580.24 c #Conflicts: 265000 | #Constraints: 19365
578.47/580.24 c #Conflicts: 266000 | #Constraints: 20365
578.47/580.24 c INPROCESSING
578.47/580.24 c GARBAGE COLLECT
578.47/580.24 c #Conflicts: 267000 | #Constraints: 11172
578.47/580.24 c #Conflicts: 268000 | #Constraints: 12172
578.47/580.24 c #Conflicts: 269000 | #Constraints: 13172
578.47/580.24 c #Conflicts: 270000 | #Constraints: 14172
578.47/580.24 c #Conflicts: 271000 | #Constraints: 15172
578.47/580.24 c #Conflicts: 272000 | #Constraints: 16172
578.47/580.24 c #Conflicts: 273000 | #Constraints: 17172
578.47/580.24 c #Conflicts: 274000 | #Constraints: 18172
578.47/580.24 c #Conflicts: 275000 | #Constraints: 19172
578.47/580.24 c #Conflicts: 276000 | #Constraints: 20172
578.47/580.24 c #Conflicts: 277000 | #Constraints: 21172
578.47/580.24 c INPROCESSING
578.47/580.24 c GARBAGE COLLECT
578.47/580.24 c #Conflicts: 278000 | #Constraints: 11758
578.47/580.24 c #Conflicts: 279000 | #Constraints: 12758
578.47/580.24 c #Conflicts: 280000 | #Constraints: 13758
578.47/580.24 c #Conflicts: 281000 | #Constraints: 14758
578.47/580.24 c #Conflicts: 282000 | #Constraints: 15758
578.47/580.24 c #Conflicts: 283000 | #Constraints: 16758
578.47/580.24 c #Conflicts: 284000 | #Constraints: 17758
578.47/580.24 c #Conflicts: 285000 | #Constraints: 18758
578.47/580.24 c #Conflicts: 286000 | #Constraints: 19758
578.47/580.24 c #Conflicts: 287000 | #Constraints: 20758
578.47/580.24 c #Conflicts: 288000 | #Constraints: 21758
665.35/667.38 c INPROCESSING
665.35/667.38 c GARBAGE COLLECT
665.35/667.38 c #Conflicts: 289000 | #Constraints: 12150
665.35/667.38 c #Conflicts: 290000 | #Constraints: 13150
665.35/667.38 c #Conflicts: 291000 | #Constraints: 14150
665.35/667.38 c #Conflicts: 292000 | #Constraints: 15150
665.35/667.38 c #Conflicts: 293000 | #Constraints: 16150
665.35/667.38 c #Conflicts: 294000 | #Constraints: 17150
665.35/667.38 c #Conflicts: 295000 | #Constraints: 18150
665.35/667.38 c #Conflicts: 296000 | #Constraints: 19150
665.35/667.38 c #Conflicts: 297000 | #Constraints: 20150
665.35/667.38 c #Conflicts: 298000 | #Constraints: 21150
665.35/667.38 c #Conflicts: 299000 | #Constraints: 22150
665.35/667.38 c INPROCESSING
665.35/667.38 c GARBAGE COLLECT
665.35/667.38 c #Conflicts: 300000 | #Constraints: 12350
665.35/667.38 c #Conflicts: 301000 | #Constraints: 13350
665.35/667.38 c #Conflicts: 302000 | #Constraints: 14350
665.35/667.38 c #Conflicts: 303000 | #Constraints: 15350
665.35/667.38 c #Conflicts: 304000 | #Constraints: 16350
665.35/667.38 c #Conflicts: 305000 | #Constraints: 17350
665.35/667.38 c #Conflicts: 306000 | #Constraints: 18350
665.35/667.38 c #Conflicts: 307000 | #Constraints: 19350
665.35/667.38 c #Conflicts: 308000 | #Constraints: 20350
665.35/667.38 c #Conflicts: 309000 | #Constraints: 21350
665.35/667.38 c #Conflicts: 310000 | #Constraints: 22350
665.35/667.38 c INPROCESSING
665.35/667.38 c GARBAGE COLLECT
665.35/667.38 c #Conflicts: 311000 | #Constraints: 12352
665.35/667.38 c #Conflicts: 312000 | #Constraints: 13352
665.35/667.38 c #Conflicts: 313000 | #Constraints: 14352
665.35/667.38 c #Conflicts: 314000 | #Constraints: 15352
665.35/667.38 c #Conflicts: 315000 | #Constraints: 16352
665.35/667.38 c #Conflicts: 316000 | #Constraints: 17352
665.35/667.38 c #Conflicts: 317000 | #Constraints: 18352
665.35/667.38 c #Conflicts: 318000 | #Constraints: 19352
665.35/667.38 c #Conflicts: 319000 | #Constraints: 20352
665.35/667.38 c #Conflicts: 320000 | #Constraints: 21352
665.35/667.38 c #Conflicts: 321000 | #Constraints: 22352
665.35/667.38 c INPROCESSING
665.35/667.38 c GARBAGE COLLECT
665.35/667.38 c #Conflicts: 322000 | #Constraints: 12157
665.35/667.38 c #Conflicts: 323000 | #Constraints: 13157
665.35/667.38 c #Conflicts: 324000 | #Constraints: 14157
665.35/667.38 c #Conflicts: 325000 | #Constraints: 15157
665.35/667.38 c #Conflicts: 326000 | #Constraints: 16157
665.35/667.38 c #Conflicts: 327000 | #Constraints: 17157
665.35/667.38 c #Conflicts: 328000 | #Constraints: 18157
665.35/667.38 c #Conflicts: 329000 | #Constraints: 19157
665.35/667.38 c #Conflicts: 330000 | #Constraints: 20157
665.35/667.38 c #Conflicts: 331000 | #Constraints: 21157
665.35/667.38 c #Conflicts: 332000 | #Constraints: 22157
665.35/667.38 c #Conflicts: 333000 | #Constraints: 23157
665.35/667.38 c INPROCESSING
665.35/667.38 c GARBAGE COLLECT
665.35/667.38 c #Conflicts: 334000 | #Constraints: 12755
665.35/667.38 c #Conflicts: 335000 | #Constraints: 13755
665.35/667.38 c #Conflicts: 336000 | #Constraints: 14755
665.35/667.38 c #Conflicts: 337000 | #Constraints: 15755
665.35/667.38 c #Conflicts: 338000 | #Constraints: 16755
665.35/667.38 c #Conflicts: 339000 | #Constraints: 17755
665.35/667.38 c #Conflicts: 340000 | #Constraints: 18755
665.35/667.38 c #Conflicts: 341000 | #Constraints: 19755
665.35/667.38 c #Conflicts: 342000 | #Constraints: 20755
665.35/667.38 c #Conflicts: 343000 | #Constraints: 21755
665.35/667.38 c #Conflicts: 344000 | #Constraints: 22755
665.35/667.38 c #Conflicts: 345000 | #Constraints: 23755
665.35/667.38 c INPROCESSING
665.35/667.38 c GARBAGE COLLECT
665.35/667.38 c #Conflicts: 346000 | #Constraints: 13145
665.35/667.38 c #Conflicts: 347000 | #Constraints: 14145
665.35/667.38 c #Conflicts: 348000 | #Constraints: 15145
665.35/667.38 c #Conflicts: 349000 | #Constraints: 16145
665.35/667.38 c #Conflicts: 350000 | #Constraints: 17145
665.35/667.38 c #Conflicts: 351000 | #Constraints: 18145
665.35/667.38 c #Conflicts: 352000 | #Constraints: 19145
665.35/667.38 c #Conflicts: 353000 | #Constraints: 20145
665.35/667.38 c #Conflicts: 354000 | #Constraints: 21145
665.35/667.38 c #Conflicts: 355000 | #Constraints: 22145
665.35/667.38 c #Conflicts: 356000 | #Constraints: 23145
665.35/667.38 c #Conflicts: 357000 | #Constraints: 24145
665.35/667.38 c INPROCESSING
665.35/667.38 c GARBAGE COLLECT
665.35/667.38 c #Conflicts: 358000 | #Constraints: 13340
665.35/667.38 c #Conflicts: 359000 | #Constraints: 14340
665.35/667.38 c #Conflicts: 360000 | #Constraints: 15340
665.35/667.38 c #Conflicts: 361000 | #Constraints: 16340
665.35/667.38 c #Conflicts: 362000 | #Constraints: 17340
746.44/748.65 c #Conflicts: 363000 | #Constraints: 18340
746.44/748.65 c #Conflicts: 364000 | #Constraints: 19340
746.44/748.65 c #Conflicts: 365000 | #Constraints: 20340
746.44/748.65 c #Conflicts: 366000 | #Constraints: 21340
746.44/748.65 c #Conflicts: 367000 | #Constraints: 22340
746.44/748.65 c #Conflicts: 368000 | #Constraints: 23340
746.44/748.65 c #Conflicts: 369000 | #Constraints: 24340
746.44/748.65 c INPROCESSING
746.44/748.65 c GARBAGE COLLECT
746.44/748.65 c #Conflicts: 370000 | #Constraints: 13363
746.44/748.65 c #Conflicts: 371000 | #Constraints: 14363
746.44/748.65 c #Conflicts: 372000 | #Constraints: 15363
746.44/748.65 c #Conflicts: 373000 | #Constraints: 16363
746.44/748.65 c #Conflicts: 374000 | #Constraints: 17363
746.44/748.65 c #Conflicts: 375000 | #Constraints: 18363
746.44/748.65 c #Conflicts: 376000 | #Constraints: 19363
746.44/748.65 c #Conflicts: 377000 | #Constraints: 20363
746.44/748.65 c #Conflicts: 378000 | #Constraints: 21363
746.44/748.65 c #Conflicts: 379000 | #Constraints: 22363
746.44/748.65 c #Conflicts: 380000 | #Constraints: 23363
746.44/748.65 c #Conflicts: 381000 | #Constraints: 24363
746.44/748.65 c INPROCESSING
746.44/748.65 c GARBAGE COLLECT
746.44/748.65 c #Conflicts: 382000 | #Constraints: 13153
746.44/748.65 c #Conflicts: 383000 | #Constraints: 14153
746.44/748.65 c #Conflicts: 384000 | #Constraints: 15153
746.44/748.65 c #Conflicts: 385000 | #Constraints: 16153
746.44/748.65 c #Conflicts: 386000 | #Constraints: 17153
746.44/748.65 c #Conflicts: 387000 | #Constraints: 18153
746.44/748.65 c #Conflicts: 388000 | #Constraints: 19153
746.44/748.65 c #Conflicts: 389000 | #Constraints: 20153
746.44/748.65 c #Conflicts: 390000 | #Constraints: 21153
746.44/748.65 c #Conflicts: 391000 | #Constraints: 22153
746.44/748.65 c #Conflicts: 392000 | #Constraints: 23153
746.44/748.65 c #Conflicts: 393000 | #Constraints: 24153
746.44/748.65 c #Conflicts: 394000 | #Constraints: 25153
746.44/748.65 c INPROCESSING
746.44/748.65 c GARBAGE COLLECT
746.44/748.65 c #Conflicts: 395000 | #Constraints: 13747
746.44/748.65 c #Conflicts: 396000 | #Constraints: 14747
746.44/748.65 c #Conflicts: 397000 | #Constraints: 15747
746.44/748.65 c #Conflicts: 398000 | #Constraints: 16747
746.44/748.65 c #Conflicts: 399000 | #Constraints: 17747
746.44/748.65 c #Conflicts: 400000 | #Constraints: 18747
746.44/748.65 c #Conflicts: 401000 | #Constraints: 19747
746.44/748.65 c #Conflicts: 402000 | #Constraints: 20747
746.44/748.65 c #Conflicts: 403000 | #Constraints: 21747
746.44/748.65 c #Conflicts: 404000 | #Constraints: 22747
746.44/748.65 c #Conflicts: 405000 | #Constraints: 23747
746.44/748.65 c #Conflicts: 406000 | #Constraints: 24747
746.44/748.65 c #Conflicts: 407000 | #Constraints: 25747
746.44/748.65 c INPROCESSING
746.44/748.65 c GARBAGE COLLECT
746.44/748.65 c #Conflicts: 408000 | #Constraints: 14142
746.44/748.65 c #Conflicts: 409000 | #Constraints: 15142
746.44/748.65 c #Conflicts: 410000 | #Constraints: 16142
746.44/748.65 c #Conflicts: 411000 | #Constraints: 17142
746.44/748.65 c #Conflicts: 412000 | #Constraints: 18142
746.44/748.65 c #Conflicts: 413000 | #Constraints: 19142
746.44/748.65 c #Conflicts: 414000 | #Constraints: 20142
746.44/748.65 c #Conflicts: 415000 | #Constraints: 21142
746.44/748.65 c #Conflicts: 416000 | #Constraints: 22142
746.44/748.65 c #Conflicts: 417000 | #Constraints: 23142
746.44/748.65 c #Conflicts: 418000 | #Constraints: 24142
746.44/748.65 c #Conflicts: 419000 | #Constraints: 25142
746.44/748.65 c #Conflicts: 420000 | #Constraints: 26142
746.44/748.65 c INPROCESSING
746.44/748.65 c GARBAGE COLLECT
746.44/748.65 c #Conflicts: 421000 | #Constraints: 14349
746.44/748.65 c #Conflicts: 422000 | #Constraints: 15349
746.44/748.65 c #Conflicts: 423000 | #Constraints: 16349
746.44/748.65 c #Conflicts: 424000 | #Constraints: 17349
746.44/748.65 c #Conflicts: 425000 | #Constraints: 18349
746.44/748.65 c #Conflicts: 426000 | #Constraints: 19349
746.44/748.65 c #Conflicts: 427000 | #Constraints: 20349
746.44/748.65 c #Conflicts: 428000 | #Constraints: 21349
746.44/748.65 c #Conflicts: 429000 | #Constraints: 22349
746.44/748.65 c #Conflicts: 430000 | #Constraints: 23349
746.44/748.65 c #Conflicts: 431000 | #Constraints: 24349
746.44/748.65 c #Conflicts: 432000 | #Constraints: 25349
746.44/748.65 c #Conflicts: 433000 | #Constraints: 26349
746.44/748.65 c INPROCESSING
746.44/748.65 c GARBAGE COLLECT
746.44/748.65 c #Conflicts: 434000 | #Constraints: 14351
746.44/748.65 c #Conflicts: 435000 | #Constraints: 15351
746.44/748.65 c #Conflicts: 436000 | #Constraints: 16351
746.44/748.65 c #Conflicts: 437000 | #Constraints: 17351
924.77/927.46 c #Conflicts: 438000 | #Constraints: 18351
924.77/927.46 c #Conflicts: 439000 | #Constraints: 19351
924.77/927.46 c #Conflicts: 440000 | #Constraints: 20351
924.77/927.46 c #Conflicts: 441000 | #Constraints: 21351
924.77/927.46 c #Conflicts: 442000 | #Constraints: 22351
924.77/927.46 c #Conflicts: 443000 | #Constraints: 23351
924.77/927.46 c #Conflicts: 444000 | #Constraints: 24351
924.77/927.46 c #Conflicts: 445000 | #Constraints: 25351
924.77/927.46 c #Conflicts: 446000 | #Constraints: 26351
924.77/927.46 c INPROCESSING
924.77/927.46 c GARBAGE COLLECT
924.77/927.46 c #Conflicts: 447000 | #Constraints: 14189
924.77/927.46 c #Conflicts: 448000 | #Constraints: 15189
924.77/927.46 c #Conflicts: 449000 | #Constraints: 16189
924.77/927.46 c #Conflicts: 450000 | #Constraints: 17189
924.77/927.46 c #Conflicts: 451000 | #Constraints: 18189
924.77/927.46 c #Conflicts: 452000 | #Constraints: 19189
924.77/927.46 c #Conflicts: 453000 | #Constraints: 20189
924.77/927.46 c #Conflicts: 454000 | #Constraints: 21189
924.77/927.46 c #Conflicts: 455000 | #Constraints: 22189
924.77/927.46 c #Conflicts: 456000 | #Constraints: 23189
924.77/927.46 c #Conflicts: 457000 | #Constraints: 24189
924.77/927.46 c #Conflicts: 458000 | #Constraints: 25189
924.77/927.46 c #Conflicts: 459000 | #Constraints: 26189
924.77/927.46 c #Conflicts: 460000 | #Constraints: 27189
924.77/927.46 c INPROCESSING
924.77/927.46 c GARBAGE COLLECT
924.77/927.46 c #Conflicts: 461000 | #Constraints: 14805
924.77/927.46 c #Conflicts: 462000 | #Constraints: 15805
924.77/927.46 c #Conflicts: 463000 | #Constraints: 16805
924.77/927.46 c #Conflicts: 464000 | #Constraints: 17805
924.77/927.46 c #Conflicts: 465000 | #Constraints: 18805
924.77/927.46 c #Conflicts: 466000 | #Constraints: 19805
924.77/927.46 c #Conflicts: 467000 | #Constraints: 20805
924.77/927.46 c #Conflicts: 468000 | #Constraints: 21805
924.77/927.46 c #Conflicts: 469000 | #Constraints: 22805
924.77/927.46 c #Conflicts: 470000 | #Constraints: 23805
924.77/927.46 c #Conflicts: 471000 | #Constraints: 24805
924.77/927.46 c #Conflicts: 472000 | #Constraints: 25805
924.77/927.46 c #Conflicts: 473000 | #Constraints: 26805
924.77/927.46 c #Conflicts: 474000 | #Constraints: 27805
924.77/927.46 c INPROCESSING
924.77/927.46 c GARBAGE COLLECT
924.77/927.46 c #Conflicts: 475000 | #Constraints: 15199
924.77/927.46 c #Conflicts: 476000 | #Constraints: 16199
924.77/927.46 c #Conflicts: 477000 | #Constraints: 17199
924.77/927.46 c #Conflicts: 478000 | #Constraints: 18199
924.77/927.46 c #Conflicts: 479000 | #Constraints: 19199
924.77/927.46 c #Conflicts: 480000 | #Constraints: 20199
924.77/927.46 c #Conflicts: 481000 | #Constraints: 21199
924.77/927.46 c #Conflicts: 482000 | #Constraints: 22199
924.77/927.46 c #Conflicts: 483000 | #Constraints: 23199
924.77/927.46 c #Conflicts: 484000 | #Constraints: 24199
924.77/927.46 c #Conflicts: 485000 | #Constraints: 25199
924.77/927.46 c #Conflicts: 486000 | #Constraints: 26199
924.77/927.46 c #Conflicts: 487000 | #Constraints: 27199
924.77/927.46 c #Conflicts: 488000 | #Constraints: 28199
924.77/927.46 c INPROCESSING
924.77/927.46 c GARBAGE COLLECT
924.77/927.46 c #Conflicts: 489000 | #Constraints: 15389
924.77/927.46 c #Conflicts: 490000 | #Constraints: 16389
924.77/927.46 c #Conflicts: 491000 | #Constraints: 17389
924.77/927.46 c #Conflicts: 492000 | #Constraints: 18389
924.77/927.46 c #Conflicts: 493000 | #Constraints: 19389
924.77/927.46 c #Conflicts: 494000 | #Constraints: 20389
924.77/927.46 c #Conflicts: 495000 | #Constraints: 21389
924.77/927.46 c #Conflicts: 496000 | #Constraints: 22389
924.77/927.46 c #Conflicts: 497000 | #Constraints: 23389
924.77/927.46 c #Conflicts: 498000 | #Constraints: 24389
924.77/927.46 c #Conflicts: 499000 | #Constraints: 25389
924.77/927.46 c #Conflicts: 500000 | #Constraints: 26389
924.77/927.46 c #Conflicts: 501000 | #Constraints: 27389
924.77/927.46 c #Conflicts: 502000 | #Constraints: 28389
924.77/927.46 c INPROCESSING
924.77/927.46 c GARBAGE COLLECT
924.77/927.46 c #Conflicts: 503000 | #Constraints: 15387
924.77/927.46 c #Conflicts: 504000 | #Constraints: 16387
924.77/927.46 c #Conflicts: 505000 | #Constraints: 17387
924.77/927.46 c #Conflicts: 506000 | #Constraints: 18387
924.77/927.46 c #Conflicts: 507000 | #Constraints: 19387
924.77/927.46 c #Conflicts: 508000 | #Constraints: 20387
924.77/927.46 c #Conflicts: 509000 | #Constraints: 21387
924.77/927.46 c #Conflicts: 510000 | #Constraints: 22387
924.77/927.46 c #Conflicts: 511000 | #Constraints: 23387
924.77/927.46 c #Conflicts: 512000 | #Constraints: 24387
924.77/927.46 c #Conflicts: 513000 | #Constraints: 25387
1043.25/1046.28 c #Conflicts: 514000 | #Constraints: 26387
1043.25/1046.28 c #Conflicts: 515000 | #Constraints: 27387
1043.25/1046.28 c #Conflicts: 516000 | #Constraints: 28387
1043.25/1046.28 c INPROCESSING
1043.25/1046.28 c GARBAGE COLLECT
1043.25/1046.28 c #Conflicts: 517000 | #Constraints: 15183
1043.25/1046.28 c #Conflicts: 518000 | #Constraints: 16183
1043.25/1046.28 c #Conflicts: 519000 | #Constraints: 17183
1043.25/1046.28 c #Conflicts: 520000 | #Constraints: 18183
1043.25/1046.28 c #Conflicts: 521000 | #Constraints: 19183
1043.25/1046.28 c #Conflicts: 522000 | #Constraints: 20183
1043.25/1046.28 c #Conflicts: 523000 | #Constraints: 21183
1043.25/1046.28 c #Conflicts: 524000 | #Constraints: 22183
1043.25/1046.28 c #Conflicts: 525000 | #Constraints: 23183
1043.25/1046.28 c #Conflicts: 526000 | #Constraints: 24183
1043.25/1046.28 c #Conflicts: 527000 | #Constraints: 25183
1043.25/1046.28 c #Conflicts: 528000 | #Constraints: 26183
1043.25/1046.28 c #Conflicts: 529000 | #Constraints: 27183
1043.25/1046.28 c #Conflicts: 530000 | #Constraints: 28183
1043.25/1046.28 c #Conflicts: 531000 | #Constraints: 29183
1043.25/1046.28 c INPROCESSING
1043.25/1046.28 c GARBAGE COLLECT
1043.25/1046.28 c #Conflicts: 532000 | #Constraints: 15776
1043.25/1046.28 c #Conflicts: 533000 | #Constraints: 16776
1043.25/1046.28 c #Conflicts: 534000 | #Constraints: 17776
1043.25/1046.28 c #Conflicts: 535000 | #Constraints: 18776
1043.25/1046.28 c #Conflicts: 536000 | #Constraints: 19776
1043.25/1046.28 c #Conflicts: 537000 | #Constraints: 20776
1043.25/1046.28 c #Conflicts: 538000 | #Constraints: 21776
1043.25/1046.28 c #Conflicts: 539000 | #Constraints: 22776
1043.25/1046.28 c #Conflicts: 540000 | #Constraints: 23776
1043.25/1046.28 c #Conflicts: 541000 | #Constraints: 24776
1043.25/1046.28 c #Conflicts: 542000 | #Constraints: 25776
1043.25/1046.28 c #Conflicts: 543000 | #Constraints: 26776
1043.25/1046.28 c #Conflicts: 544000 | #Constraints: 27776
1043.25/1046.28 c #Conflicts: 545000 | #Constraints: 28776
1043.25/1046.28 c #Conflicts: 546000 | #Constraints: 29776
1043.25/1046.28 c INPROCESSING
1043.25/1046.28 c GARBAGE COLLECT
1043.25/1046.28 c #Conflicts: 547000 | #Constraints: 16167
1043.25/1046.28 c #Conflicts: 548000 | #Constraints: 17167
1043.25/1046.28 c #Conflicts: 549000 | #Constraints: 18167
1043.25/1046.28 c #Conflicts: 550000 | #Constraints: 19167
1043.25/1046.28 c #Conflicts: 551000 | #Constraints: 20167
1043.25/1046.28 c #Conflicts: 552000 | #Constraints: 21167
1043.25/1046.28 c #Conflicts: 553000 | #Constraints: 22167
1043.25/1046.28 c #Conflicts: 554000 | #Constraints: 23167
1043.25/1046.28 c #Conflicts: 555000 | #Constraints: 24167
1043.25/1046.28 c #Conflicts: 556000 | #Constraints: 25167
1043.25/1046.28 c #Conflicts: 557000 | #Constraints: 26167
1043.25/1046.28 c #Conflicts: 558000 | #Constraints: 27167
1043.25/1046.28 c #Conflicts: 559000 | #Constraints: 28167
1043.25/1046.28 c #Conflicts: 560000 | #Constraints: 29167
1043.25/1046.28 c #Conflicts: 561000 | #Constraints: 30167
1043.25/1046.28 c INPROCESSING
1043.25/1046.28 c GARBAGE COLLECT
1043.25/1046.28 c #Conflicts: 562000 | #Constraints: 16350
1043.25/1046.28 c #Conflicts: 563000 | #Constraints: 17350
1043.25/1046.28 c #Conflicts: 564000 | #Constraints: 18350
1043.25/1046.28 c #Conflicts: 565000 | #Constraints: 19350
1043.25/1046.28 c #Conflicts: 566000 | #Constraints: 20350
1043.25/1046.28 c #Conflicts: 567000 | #Constraints: 21350
1043.25/1046.28 c #Conflicts: 568000 | #Constraints: 22350
1043.25/1046.28 c #Conflicts: 569000 | #Constraints: 23350
1043.25/1046.28 c #Conflicts: 570000 | #Constraints: 24350
1043.25/1046.28 c #Conflicts: 571000 | #Constraints: 25350
1043.25/1046.28 c #Conflicts: 572000 | #Constraints: 26350
1043.25/1046.28 c #Conflicts: 573000 | #Constraints: 27350
1043.25/1046.28 c #Conflicts: 574000 | #Constraints: 28350
1043.25/1046.28 c #Conflicts: 575000 | #Constraints: 29350
1043.25/1046.28 c #Conflicts: 576000 | #Constraints: 30350
1043.25/1046.28 c INPROCESSING
1043.25/1046.28 c GARBAGE COLLECT
1043.25/1046.28 c #Conflicts: 577000 | #Constraints: 16359
1043.25/1046.28 c #Conflicts: 578000 | #Constraints: 17359
1043.25/1046.28 c #Conflicts: 579000 | #Constraints: 18359
1043.25/1046.28 c #Conflicts: 580000 | #Constraints: 19359
1043.25/1046.28 c #Conflicts: 581000 | #Constraints: 20359
1043.25/1046.28 c #Conflicts: 582000 | #Constraints: 21359
1043.25/1046.28 c #Conflicts: 583000 | #Constraints: 22359
1043.25/1046.28 c #Conflicts: 584000 | #Constraints: 23359
1043.25/1046.28 c #Conflicts: 585000 | #Constraints: 24359
1043.25/1046.28 c #Conflicts: 586000 | #Constraints: 25359
1043.25/1046.28 c #Conflicts: 587000 | #Constraints: 26359
1043.25/1046.28 c #Conflicts: 588000 | #Constraints: 27359
1225.77/1229.24 c #Conflicts: 589000 | #Constraints: 28359
1225.77/1229.24 c #Conflicts: 590000 | #Constraints: 29359
1225.77/1229.24 c #Conflicts: 591000 | #Constraints: 30359
1225.77/1229.24 c INPROCESSING
1225.77/1229.24 c GARBAGE COLLECT
1225.77/1229.24 c #Conflicts: 592000 | #Constraints: 16155
1225.77/1229.24 c #Conflicts: 593000 | #Constraints: 17155
1225.77/1229.24 c #Conflicts: 594000 | #Constraints: 18155
1225.77/1229.24 c #Conflicts: 595000 | #Constraints: 19155
1225.77/1229.24 c #Conflicts: 596000 | #Constraints: 20155
1225.77/1229.24 c #Conflicts: 597000 | #Constraints: 21155
1225.77/1229.24 c #Conflicts: 598000 | #Constraints: 22155
1225.77/1229.24 c #Conflicts: 599000 | #Constraints: 23155
1225.77/1229.24 c #Conflicts: 600000 | #Constraints: 24155
1225.77/1229.24 c #Conflicts: 601000 | #Constraints: 25155
1225.77/1229.24 c #Conflicts: 602000 | #Constraints: 26155
1225.77/1229.24 c #Conflicts: 603000 | #Constraints: 27155
1225.77/1229.24 c #Conflicts: 604000 | #Constraints: 28155
1225.77/1229.24 c #Conflicts: 605000 | #Constraints: 29155
1225.77/1229.24 c #Conflicts: 606000 | #Constraints: 30155
1225.77/1229.24 c #Conflicts: 607000 | #Constraints: 31155
1225.77/1229.24 c INPROCESSING
1225.77/1229.24 c GARBAGE COLLECT
1225.77/1229.24 c #Conflicts: 608000 | #Constraints: 16776
1225.77/1229.24 c #Conflicts: 609000 | #Constraints: 17776
1225.77/1229.24 c #Conflicts: 610000 | #Constraints: 18776
1225.77/1229.24 c #Conflicts: 611000 | #Constraints: 19776
1225.77/1229.24 c #Conflicts: 612000 | #Constraints: 20776
1225.77/1229.24 c #Conflicts: 613000 | #Constraints: 21776
1225.77/1229.24 c #Conflicts: 614000 | #Constraints: 22776
1225.77/1229.24 c #Conflicts: 615000 | #Constraints: 23776
1225.77/1229.24 c #Conflicts: 616000 | #Constraints: 24776
1225.77/1229.24 c #Conflicts: 617000 | #Constraints: 25776
1225.77/1229.24 c #Conflicts: 618000 | #Constraints: 26776
1225.77/1229.24 c #Conflicts: 619000 | #Constraints: 27776
1225.77/1229.24 c #Conflicts: 620000 | #Constraints: 28776
1225.77/1229.24 c #Conflicts: 621000 | #Constraints: 29776
1225.77/1229.24 c #Conflicts: 622000 | #Constraints: 30776
1225.77/1229.24 c #Conflicts: 623000 | #Constraints: 31776
1225.77/1229.24 c INPROCESSING
1225.77/1229.24 c GARBAGE COLLECT
1225.77/1229.24 c #Conflicts: 624000 | #Constraints: 17170
1225.77/1229.24 c #Conflicts: 625000 | #Constraints: 18170
1225.77/1229.24 c #Conflicts: 626000 | #Constraints: 19170
1225.77/1229.24 c #Conflicts: 627000 | #Constraints: 20170
1225.77/1229.24 c #Conflicts: 628000 | #Constraints: 21170
1225.77/1229.24 c #Conflicts: 629000 | #Constraints: 22170
1225.77/1229.24 c #Conflicts: 630000 | #Constraints: 23170
1225.77/1229.24 c #Conflicts: 631000 | #Constraints: 24170
1225.77/1229.24 c #Conflicts: 632000 | #Constraints: 25170
1225.77/1229.24 c #Conflicts: 633000 | #Constraints: 26170
1225.77/1229.24 c #Conflicts: 634000 | #Constraints: 27170
1225.77/1229.24 c #Conflicts: 635000 | #Constraints: 28170
1225.77/1229.24 c #Conflicts: 636000 | #Constraints: 29170
1225.77/1229.24 c #Conflicts: 637000 | #Constraints: 30170
1225.77/1229.24 c #Conflicts: 638000 | #Constraints: 31170
1225.77/1229.24 c #Conflicts: 639000 | #Constraints: 32170
1225.77/1229.24 c INPROCESSING
1225.77/1229.24 c GARBAGE COLLECT
1225.77/1229.24 c #Conflicts: 640000 | #Constraints: 17355
1225.77/1229.24 c #Conflicts: 641000 | #Constraints: 18355
1225.77/1229.24 c #Conflicts: 642000 | #Constraints: 19355
1225.77/1229.24 c #Conflicts: 643000 | #Constraints: 20355
1225.77/1229.24 c #Conflicts: 644000 | #Constraints: 21355
1225.77/1229.24 c #Conflicts: 645000 | #Constraints: 22355
1225.77/1229.24 c #Conflicts: 646000 | #Constraints: 23355
1225.77/1229.24 c #Conflicts: 647000 | #Constraints: 24355
1225.77/1229.24 c #Conflicts: 648000 | #Constraints: 25355
1225.77/1229.24 c #Conflicts: 649000 | #Constraints: 26355
1225.77/1229.24 c #Conflicts: 650000 | #Constraints: 27355
1225.77/1229.24 c #Conflicts: 651000 | #Constraints: 28355
1225.77/1229.24 c #Conflicts: 652000 | #Constraints: 29355
1225.77/1229.24 c #Conflicts: 653000 | #Constraints: 30355
1225.77/1229.24 c #Conflicts: 654000 | #Constraints: 31355
1225.77/1229.24 c #Conflicts: 655000 | #Constraints: 32355
1225.77/1229.24 c INPROCESSING
1225.77/1229.24 c GARBAGE COLLECT
1225.77/1229.24 c #Conflicts: 656000 | #Constraints: 17355
1225.77/1229.24 c #Conflicts: 657000 | #Constraints: 18355
1225.77/1229.24 c #Conflicts: 658000 | #Constraints: 19355
1225.77/1229.24 c #Conflicts: 659000 | #Constraints: 20355
1225.77/1229.24 c #Conflicts: 660000 | #Constraints: 21355
1225.77/1229.24 c #Conflicts: 661000 | #Constraints: 22355
1225.77/1229.24 c #Conflicts: 662000 | #Constraints: 23355
1225.77/1229.24 c #Conflicts: 663000 | #Constraints: 24355
1225.77/1229.24 c #Conflicts: 664000 | #Constraints: 25355
1383.43/1387.31 c #Conflicts: 665000 | #Constraints: 26355
1383.43/1387.31 c #Conflicts: 666000 | #Constraints: 27355
1383.43/1387.31 c #Conflicts: 667000 | #Constraints: 28355
1383.43/1387.31 c #Conflicts: 668000 | #Constraints: 29355
1383.43/1387.31 c #Conflicts: 669000 | #Constraints: 30355
1383.43/1387.31 c #Conflicts: 670000 | #Constraints: 31355
1383.43/1387.31 c #Conflicts: 671000 | #Constraints: 32355
1383.43/1387.31 c INPROCESSING
1383.43/1387.31 c GARBAGE COLLECT
1383.43/1387.31 c #Conflicts: 672000 | #Constraints: 17152
1383.43/1387.31 c #Conflicts: 673000 | #Constraints: 18152
1383.43/1387.31 c #Conflicts: 674000 | #Constraints: 19152
1383.43/1387.31 c #Conflicts: 675000 | #Constraints: 20152
1383.43/1387.31 c #Conflicts: 676000 | #Constraints: 21152
1383.43/1387.31 c #Conflicts: 677000 | #Constraints: 22152
1383.43/1387.31 c #Conflicts: 678000 | #Constraints: 23152
1383.43/1387.31 c #Conflicts: 679000 | #Constraints: 24152
1383.43/1387.31 c #Conflicts: 680000 | #Constraints: 25152
1383.43/1387.31 c #Conflicts: 681000 | #Constraints: 26152
1383.43/1387.31 c #Conflicts: 682000 | #Constraints: 27152
1383.43/1387.31 c #Conflicts: 683000 | #Constraints: 28152
1383.43/1387.31 c #Conflicts: 684000 | #Constraints: 29152
1383.43/1387.31 c #Conflicts: 685000 | #Constraints: 30152
1383.43/1387.31 c #Conflicts: 686000 | #Constraints: 31152
1383.43/1387.31 c #Conflicts: 687000 | #Constraints: 32152
1383.43/1387.31 c #Conflicts: 688000 | #Constraints: 33152
1383.43/1387.31 c INPROCESSING
1383.43/1387.31 c GARBAGE COLLECT
1383.43/1387.31 c #Conflicts: 689000 | #Constraints: 17750
1383.43/1387.31 c #Conflicts: 690000 | #Constraints: 18750
1383.43/1387.31 c #Conflicts: 691000 | #Constraints: 19750
1383.43/1387.31 c #Conflicts: 692000 | #Constraints: 20750
1383.43/1387.31 c #Conflicts: 693000 | #Constraints: 21750
1383.43/1387.31 c #Conflicts: 694000 | #Constraints: 22750
1383.43/1387.31 c #Conflicts: 695000 | #Constraints: 23750
1383.43/1387.31 c #Conflicts: 696000 | #Constraints: 24750
1383.43/1387.31 c #Conflicts: 697000 | #Constraints: 25750
1383.43/1387.31 c #Conflicts: 698000 | #Constraints: 26750
1383.43/1387.31 c #Conflicts: 699000 | #Constraints: 27750
1383.43/1387.31 c #Conflicts: 700000 | #Constraints: 28750
1383.43/1387.31 c #Conflicts: 701000 | #Constraints: 29750
1383.43/1387.31 c #Conflicts: 702000 | #Constraints: 30750
1383.43/1387.31 c #Conflicts: 703000 | #Constraints: 31750
1383.43/1387.31 c #Conflicts: 704000 | #Constraints: 32750
1383.43/1387.31 c #Conflicts: 705000 | #Constraints: 33750
1383.43/1387.31 c INPROCESSING
1383.43/1387.31 c GARBAGE COLLECT
1383.43/1387.31 c #Conflicts: 706000 | #Constraints: 18152
1383.43/1387.31 c #Conflicts: 707000 | #Constraints: 19152
1383.43/1387.31 c #Conflicts: 708000 | #Constraints: 20152
1383.43/1387.31 c #Conflicts: 709000 | #Constraints: 21152
1383.43/1387.31 c #Conflicts: 710000 | #Constraints: 22152
1383.43/1387.31 c #Conflicts: 711000 | #Constraints: 23152
1383.43/1387.31 c #Conflicts: 712000 | #Constraints: 24152
1383.43/1387.31 c #Conflicts: 713000 | #Constraints: 25152
1383.43/1387.31 c #Conflicts: 714000 | #Constraints: 26152
1383.43/1387.31 c #Conflicts: 715000 | #Constraints: 27152
1383.43/1387.31 c #Conflicts: 716000 | #Constraints: 28152
1383.43/1387.31 c #Conflicts: 717000 | #Constraints: 29152
1383.43/1387.31 c #Conflicts: 718000 | #Constraints: 30152
1383.43/1387.31 c #Conflicts: 719000 | #Constraints: 31152
1383.43/1387.31 c #Conflicts: 720000 | #Constraints: 32152
1383.43/1387.31 c #Conflicts: 721000 | #Constraints: 33152
1383.43/1387.31 c #Conflicts: 722000 | #Constraints: 34152
1383.43/1387.31 c INPROCESSING
1383.43/1387.31 c GARBAGE COLLECT
1383.43/1387.31 c #Conflicts: 723000 | #Constraints: 18384
1383.43/1387.31 c #Conflicts: 724000 | #Constraints: 19384
1383.43/1387.31 c #Conflicts: 725000 | #Constraints: 20384
1383.43/1387.31 c #Conflicts: 726000 | #Constraints: 21384
1383.43/1387.31 c #Conflicts: 727000 | #Constraints: 22384
1383.43/1387.31 c #Conflicts: 728000 | #Constraints: 23384
1383.43/1387.31 c #Conflicts: 729000 | #Constraints: 24384
1383.43/1387.31 c #Conflicts: 730000 | #Constraints: 25384
1383.43/1387.31 c #Conflicts: 731000 | #Constraints: 26384
1383.43/1387.31 c #Conflicts: 732000 | #Constraints: 27384
1383.43/1387.31 c #Conflicts: 733000 | #Constraints: 28384
1383.43/1387.31 c #Conflicts: 734000 | #Constraints: 29384
1383.43/1387.31 c #Conflicts: 735000 | #Constraints: 30384
1383.43/1387.31 c #Conflicts: 736000 | #Constraints: 31384
1383.43/1387.31 c #Conflicts: 737000 | #Constraints: 32384
1383.43/1387.31 c #Conflicts: 738000 | #Constraints: 33384
1383.43/1387.31 c #Conflicts: 739000 | #Constraints: 34384
1383.43/1387.31 c INPROCESSING
1383.43/1387.31 c GARBAGE COLLECT
1488.87/1493.01 c #Conflicts: 740000 | #Constraints: 18414
1488.87/1493.01 c #Conflicts: 741000 | #Constraints: 19414
1488.87/1493.01 c #Conflicts: 742000 | #Constraints: 20414
1488.87/1493.01 c #Conflicts: 743000 | #Constraints: 21414
1488.87/1493.01 c #Conflicts: 744000 | #Constraints: 22414
1488.87/1493.01 c #Conflicts: 745000 | #Constraints: 23414
1488.87/1493.01 c #Conflicts: 746000 | #Constraints: 24414
1488.87/1493.01 c #Conflicts: 747000 | #Constraints: 25414
1488.87/1493.01 c #Conflicts: 748000 | #Constraints: 26414
1488.87/1493.01 c #Conflicts: 749000 | #Constraints: 27414
1488.87/1493.01 c #Conflicts: 750000 | #Constraints: 28414
1488.87/1493.01 c #Conflicts: 751000 | #Constraints: 29414
1488.87/1493.01 c #Conflicts: 752000 | #Constraints: 30414
1488.87/1493.01 c #Conflicts: 753000 | #Constraints: 31414
1488.87/1493.01 c #Conflicts: 754000 | #Constraints: 32414
1488.87/1493.01 c #Conflicts: 755000 | #Constraints: 33414
1488.87/1493.01 c #Conflicts: 756000 | #Constraints: 34414
1488.87/1493.01 c INPROCESSING
1488.87/1493.01 c GARBAGE COLLECT
1488.87/1493.01 c #Conflicts: 757000 | #Constraints: 18173
1488.87/1493.01 c #Conflicts: 758000 | #Constraints: 19173
1488.87/1493.01 c #Conflicts: 759000 | #Constraints: 20173
1488.87/1493.01 c #Conflicts: 760000 | #Constraints: 21173
1488.87/1493.01 c #Conflicts: 761000 | #Constraints: 22173
1488.87/1493.01 c #Conflicts: 762000 | #Constraints: 23173
1488.87/1493.01 c #Conflicts: 763000 | #Constraints: 24173
1488.87/1493.01 c #Conflicts: 764000 | #Constraints: 25173
1488.87/1493.01 c #Conflicts: 765000 | #Constraints: 26173
1488.87/1493.01 c #Conflicts: 766000 | #Constraints: 27173
1488.87/1493.01 c #Conflicts: 767000 | #Constraints: 28173
1488.87/1493.01 c #Conflicts: 768000 | #Constraints: 29173
1488.87/1493.01 c #Conflicts: 769000 | #Constraints: 30173
1488.87/1493.01 c #Conflicts: 770000 | #Constraints: 31173
1488.87/1493.01 c #Conflicts: 771000 | #Constraints: 32173
1488.87/1493.01 c #Conflicts: 772000 | #Constraints: 33173
1488.87/1493.01 c #Conflicts: 773000 | #Constraints: 34173
1488.87/1493.01 c #Conflicts: 774000 | #Constraints: 35173
1488.87/1493.01 c INPROCESSING
1488.87/1493.01 c GARBAGE COLLECT
1488.87/1493.01 c #Conflicts: 775000 | #Constraints: 18764
1488.87/1493.01 c #Conflicts: 776000 | #Constraints: 19764
1488.87/1493.01 c #Conflicts: 777000 | #Constraints: 20764
1488.87/1493.01 c #Conflicts: 778000 | #Constraints: 21764
1488.87/1493.01 c #Conflicts: 779000 | #Constraints: 22764
1488.87/1493.01 c #Conflicts: 780000 | #Constraints: 23764
1488.87/1493.01 c #Conflicts: 781000 | #Constraints: 24764
1488.87/1493.01 c #Conflicts: 782000 | #Constraints: 25764
1488.87/1493.01 c #Conflicts: 783000 | #Constraints: 26764
1488.87/1493.01 c #Conflicts: 784000 | #Constraints: 27764
1488.87/1493.01 c #Conflicts: 785000 | #Constraints: 28764
1488.87/1493.01 c #Conflicts: 786000 | #Constraints: 29764
1488.87/1493.01 c #Conflicts: 787000 | #Constraints: 30764
1488.87/1493.01 c #Conflicts: 788000 | #Constraints: 31764
1488.87/1493.01 c #Conflicts: 789000 | #Constraints: 32764
1488.87/1493.01 c #Conflicts: 790000 | #Constraints: 33764
1488.87/1493.01 c #Conflicts: 791000 | #Constraints: 34764
1488.87/1493.01 c #Conflicts: 792000 | #Constraints: 35764
1488.87/1493.01 c INPROCESSING
1488.87/1493.01 c GARBAGE COLLECT
1488.87/1493.01 c #Conflicts: 793000 | #Constraints: 19154
1488.87/1493.01 c #Conflicts: 794000 | #Constraints: 20154
1488.87/1493.01 c #Conflicts: 795000 | #Constraints: 21154
1488.87/1493.01 c #Conflicts: 796000 | #Constraints: 22154
1488.87/1493.01 c #Conflicts: 797000 | #Constraints: 23154
1488.87/1493.01 c #Conflicts: 798000 | #Constraints: 24154
1488.87/1493.01 c #Conflicts: 799000 | #Constraints: 25154
1488.87/1493.01 c #Conflicts: 800000 | #Constraints: 26154
1488.87/1493.01 c #Conflicts: 801000 | #Constraints: 27154
1488.87/1493.01 c #Conflicts: 802000 | #Constraints: 28154
1488.87/1493.01 c #Conflicts: 803000 | #Constraints: 29154
1488.87/1493.01 c #Conflicts: 804000 | #Constraints: 30154
1488.87/1493.01 c #Conflicts: 805000 | #Constraints: 31154
1488.87/1493.01 c #Conflicts: 806000 | #Constraints: 32154
1488.87/1493.01 c #Conflicts: 807000 | #Constraints: 33154
1488.87/1493.01 c #Conflicts: 808000 | #Constraints: 34154
1488.87/1493.01 c #Conflicts: 809000 | #Constraints: 35154
1488.87/1493.01 c #Conflicts: 810000 | #Constraints: 36154
1488.87/1493.01 c INPROCESSING
1488.87/1493.01 c GARBAGE COLLECT
1488.87/1493.01 c #Conflicts: 811000 | #Constraints: 19359
1488.87/1493.01 c #Conflicts: 812000 | #Constraints: 20359
1488.87/1493.01 c #Conflicts: 813000 | #Constraints: 21359
1488.87/1493.01 c #Conflicts: 814000 | #Constraints: 22359
1488.87/1493.01 c #Conflicts: 815000 | #Constraints: 23359
1488.87/1493.01 c #Conflicts: 816000 | #Constraints: 24359
1706.40/1711.14 c #Conflicts: 817000 | #Constraints: 25359
1706.40/1711.14 c #Conflicts: 818000 | #Constraints: 26359
1706.40/1711.14 c #Conflicts: 819000 | #Constraints: 27359
1706.40/1711.14 c #Conflicts: 820000 | #Constraints: 28359
1706.40/1711.14 c #Conflicts: 821000 | #Constraints: 29359
1706.40/1711.14 c #Conflicts: 822000 | #Constraints: 30359
1706.40/1711.14 c #Conflicts: 823000 | #Constraints: 31359
1706.40/1711.14 c #Conflicts: 824000 | #Constraints: 32359
1706.40/1711.14 c #Conflicts: 825000 | #Constraints: 33359
1706.40/1711.14 c #Conflicts: 826000 | #Constraints: 34359
1706.40/1711.14 c #Conflicts: 827000 | #Constraints: 35359
1706.40/1711.14 c #Conflicts: 828000 | #Constraints: 36359
1706.40/1711.14 c INPROCESSING
1706.40/1711.14 c GARBAGE COLLECT
1706.40/1711.14 c #Conflicts: 829000 | #Constraints: 19367
1706.40/1711.14 c #Conflicts: 830000 | #Constraints: 20367
1706.40/1711.14 c #Conflicts: 831000 | #Constraints: 21367
1706.40/1711.14 c #Conflicts: 832000 | #Constraints: 22367
1706.40/1711.14 c #Conflicts: 833000 | #Constraints: 23367
1706.40/1711.14 c #Conflicts: 834000 | #Constraints: 24367
1706.40/1711.14 c #Conflicts: 835000 | #Constraints: 25367
1706.40/1711.14 c #Conflicts: 836000 | #Constraints: 26367
1706.40/1711.14 c #Conflicts: 837000 | #Constraints: 27367
1706.40/1711.14 c #Conflicts: 838000 | #Constraints: 28367
1706.40/1711.14 c #Conflicts: 839000 | #Constraints: 29367
1706.40/1711.14 c #Conflicts: 840000 | #Constraints: 30367
1706.40/1711.14 c #Conflicts: 841000 | #Constraints: 31367
1706.40/1711.14 c #Conflicts: 842000 | #Constraints: 32367
1706.40/1711.14 c #Conflicts: 843000 | #Constraints: 33367
1706.40/1711.14 c #Conflicts: 844000 | #Constraints: 34367
1706.40/1711.14 c #Conflicts: 845000 | #Constraints: 35367
1706.40/1711.14 c #Conflicts: 846000 | #Constraints: 36367
1706.40/1711.14 c INPROCESSING
1706.40/1711.14 c GARBAGE COLLECT
1706.40/1711.14 c #Conflicts: 847000 | #Constraints: 19155
1706.40/1711.14 c #Conflicts: 848000 | #Constraints: 20155
1706.40/1711.14 c #Conflicts: 849000 | #Constraints: 21155
1706.40/1711.14 c #Conflicts: 850000 | #Constraints: 22155
1706.40/1711.14 c #Conflicts: 851000 | #Constraints: 23155
1706.40/1711.14 c #Conflicts: 852000 | #Constraints: 24155
1706.40/1711.14 c #Conflicts: 853000 | #Constraints: 25155
1706.40/1711.14 c #Conflicts: 854000 | #Constraints: 26155
1706.40/1711.14 c #Conflicts: 855000 | #Constraints: 27155
1706.40/1711.14 c #Conflicts: 856000 | #Constraints: 28155
1706.40/1711.14 c #Conflicts: 857000 | #Constraints: 29155
1706.40/1711.14 c #Conflicts: 858000 | #Constraints: 30155
1706.40/1711.14 c #Conflicts: 859000 | #Constraints: 31155
1706.40/1711.14 c #Conflicts: 860000 | #Constraints: 32155
1706.40/1711.14 c #Conflicts: 861000 | #Constraints: 33155
1706.40/1711.14 c #Conflicts: 862000 | #Constraints: 34155
1706.40/1711.14 c #Conflicts: 863000 | #Constraints: 35155
1706.40/1711.14 c #Conflicts: 864000 | #Constraints: 36155
1706.40/1711.14 c #Conflicts: 865000 | #Constraints: 37155
1706.40/1711.14 c INPROCESSING
1706.40/1711.14 c GARBAGE COLLECT
1706.40/1711.14 c #Conflicts: 866000 | #Constraints: 19755
1706.40/1711.14 c #Conflicts: 867000 | #Constraints: 20755
1706.40/1711.14 c #Conflicts: 868000 | #Constraints: 21755
1706.40/1711.14 c #Conflicts: 869000 | #Constraints: 22755
1706.40/1711.14 c #Conflicts: 870000 | #Constraints: 23755
1706.40/1711.14 c #Conflicts: 871000 | #Constraints: 24755
1706.40/1711.14 c #Conflicts: 872000 | #Constraints: 25755
1706.40/1711.14 c #Conflicts: 873000 | #Constraints: 26755
1706.40/1711.14 c #Conflicts: 874000 | #Constraints: 27755
1706.40/1711.14 c #Conflicts: 875000 | #Constraints: 28755
1706.40/1711.14 c #Conflicts: 876000 | #Constraints: 29755
1706.40/1711.14 c #Conflicts: 877000 | #Constraints: 30755
1706.40/1711.14 c #Conflicts: 878000 | #Constraints: 31755
1706.40/1711.14 c #Conflicts: 879000 | #Constraints: 32755
1706.40/1711.14 c #Conflicts: 880000 | #Constraints: 33755
1706.40/1711.14 c #Conflicts: 881000 | #Constraints: 34755
1706.40/1711.14 c #Conflicts: 882000 | #Constraints: 35755
1706.40/1711.14 c #Conflicts: 883000 | #Constraints: 36755
1706.40/1711.14 c #Conflicts: 884000 | #Constraints: 37755
1706.40/1711.14 c INPROCESSING
1706.40/1711.14 c GARBAGE COLLECT
1706.40/1711.14 c #Conflicts: 885000 | #Constraints: 20154
1706.40/1711.14 c #Conflicts: 886000 | #Constraints: 21154
1706.40/1711.14 c #Conflicts: 887000 | #Constraints: 22154
1706.40/1711.14 c #Conflicts: 888000 | #Constraints: 23154
1706.40/1711.14 c #Conflicts: 889000 | #Constraints: 24154
1706.40/1711.14 c #Conflicts: 890000 | #Constraints: 25154
1706.40/1711.14 c #Conflicts: 891000 | #Constraints: 26154
1706.40/1711.14 c #Conflicts: 892000 | #Constraints: 27154
1844.04/1849.11 c #Conflicts: 893000 | #Constraints: 28154
1844.04/1849.11 c #Conflicts: 894000 | #Constraints: 29154
1844.04/1849.11 c #Conflicts: 895000 | #Constraints: 30154
1844.04/1849.11 c #Conflicts: 896000 | #Constraints: 31154
1844.04/1849.11 c #Conflicts: 897000 | #Constraints: 32154
1844.04/1849.11 c #Conflicts: 898000 | #Constraints: 33154
1844.04/1849.11 c #Conflicts: 899000 | #Constraints: 34154
1844.04/1849.11 c #Conflicts: 900000 | #Constraints: 35154
1844.04/1849.11 c #Conflicts: 901000 | #Constraints: 36154
1844.04/1849.11 c #Conflicts: 902000 | #Constraints: 37154
1844.04/1849.11 c #Conflicts: 903000 | #Constraints: 38154
1844.04/1849.11 c INPROCESSING
1844.04/1849.11 c GARBAGE COLLECT
1844.04/1849.11 c #Conflicts: 904000 | #Constraints: 20345
1844.04/1849.11 c #Conflicts: 905000 | #Constraints: 21345
1844.04/1849.11 c #Conflicts: 906000 | #Constraints: 22345
1844.04/1849.11 c #Conflicts: 907000 | #Constraints: 23345
1844.04/1849.11 c #Conflicts: 908000 | #Constraints: 24345
1844.04/1849.11 c #Conflicts: 909000 | #Constraints: 25345
1844.04/1849.11 c #Conflicts: 910000 | #Constraints: 26345
1844.04/1849.11 c #Conflicts: 911000 | #Constraints: 27345
1844.04/1849.11 c #Conflicts: 912000 | #Constraints: 28345
1844.04/1849.11 c #Conflicts: 913000 | #Constraints: 29345
1844.04/1849.11 c #Conflicts: 914000 | #Constraints: 30345
1844.04/1849.11 c #Conflicts: 915000 | #Constraints: 31345
1844.04/1849.11 c #Conflicts: 916000 | #Constraints: 32345
1844.04/1849.11 c #Conflicts: 917000 | #Constraints: 33345
1844.04/1849.11 c #Conflicts: 918000 | #Constraints: 34345
1844.04/1849.11 c #Conflicts: 919000 | #Constraints: 35345
1844.04/1849.11 c #Conflicts: 920000 | #Constraints: 36345
1844.04/1849.11 c #Conflicts: 921000 | #Constraints: 37345
1844.04/1849.11 c #Conflicts: 922000 | #Constraints: 38345
1844.04/1849.11 c INPROCESSING
1844.04/1849.11 c GARBAGE COLLECT
1844.04/1849.11 c #Conflicts: 923000 | #Constraints: 20341
1844.04/1849.11 c #Conflicts: 924000 | #Constraints: 21341
1844.04/1849.11 c #Conflicts: 925000 | #Constraints: 22341
1844.04/1849.11 c #Conflicts: 926000 | #Constraints: 23341
1844.04/1849.11 c #Conflicts: 927000 | #Constraints: 24341
1844.04/1849.11 c #Conflicts: 928000 | #Constraints: 25341
1844.04/1849.11 c #Conflicts: 929000 | #Constraints: 26341
1844.04/1849.11 c #Conflicts: 930000 | #Constraints: 27341
1844.04/1849.11 c #Conflicts: 931000 | #Constraints: 28341
1844.04/1849.11 c #Conflicts: 932000 | #Constraints: 29341
1844.04/1849.11 c #Conflicts: 933000 | #Constraints: 30341
1844.04/1849.11 c #Conflicts: 934000 | #Constraints: 31341
1844.04/1849.11 c #Conflicts: 935000 | #Constraints: 32341
1844.04/1849.11 c #Conflicts: 936000 | #Constraints: 33341
1844.04/1849.11 c #Conflicts: 937000 | #Constraints: 34341
1844.04/1849.11 c #Conflicts: 938000 | #Constraints: 35341
1844.04/1849.11 c #Conflicts: 939000 | #Constraints: 36341
1844.04/1849.11 c #Conflicts: 940000 | #Constraints: 37341
1844.04/1849.11 c #Conflicts: 941000 | #Constraints: 38341
1844.04/1849.11 c INPROCESSING
1844.04/1849.11 c GARBAGE COLLECT
1844.04/1849.11 c #Conflicts: 942000 | #Constraints: 20167
1844.04/1849.11 c #Conflicts: 943000 | #Constraints: 21167
1844.04/1849.11 c #Conflicts: 944000 | #Constraints: 22167
1844.04/1849.11 c #Conflicts: 945000 | #Constraints: 23167
1844.04/1849.11 c #Conflicts: 946000 | #Constraints: 24167
1844.04/1849.11 c #Conflicts: 947000 | #Constraints: 25167
1844.04/1849.11 c #Conflicts: 948000 | #Constraints: 26167
1844.04/1849.11 c #Conflicts: 949000 | #Constraints: 27167
1844.04/1849.11 c #Conflicts: 950000 | #Constraints: 28167
1844.04/1849.11 c #Conflicts: 951000 | #Constraints: 29167
1844.04/1849.11 c #Conflicts: 952000 | #Constraints: 30167
1844.04/1849.11 c #Conflicts: 953000 | #Constraints: 31167
1844.04/1849.11 c #Conflicts: 954000 | #Constraints: 32167
1844.04/1849.11 c #Conflicts: 955000 | #Constraints: 33167
1844.04/1849.11 c #Conflicts: 956000 | #Constraints: 34167
1844.04/1849.11 c #Conflicts: 957000 | #Constraints: 35167
1844.04/1849.11 c #Conflicts: 958000 | #Constraints: 36167
1844.04/1849.11 c #Conflicts: 959000 | #Constraints: 37167
1844.04/1849.11 c #Conflicts: 960000 | #Constraints: 38167
1844.04/1849.11 c #Conflicts: 961000 | #Constraints: 39167
1844.04/1849.11 c INPROCESSING
1844.04/1849.11 c GARBAGE COLLECT
1844.04/1849.11 c #Conflicts: 962000 | #Constraints: 20790
1844.04/1849.11 c #Conflicts: 963000 | #Constraints: 21790
1844.04/1849.11 c #Conflicts: 964000 | #Constraints: 22790
1844.04/1849.11 c #Conflicts: 965000 | #Constraints: 23790
1844.04/1849.11 c #Conflicts: 966000 | #Constraints: 24790
1844.04/1849.11 c #Conflicts: 967000 | #Constraints: 25790
1844.04/1849.11 c #Conflicts: 968000 | #Constraints: 26790
2063.16/2068.89 c #Conflicts: 969000 | #Constraints: 27790
2063.16/2068.89 c #Conflicts: 970000 | #Constraints: 28790
2063.16/2068.89 c #Conflicts: 971000 | #Constraints: 29790
2063.16/2068.89 c #Conflicts: 972000 | #Constraints: 30790
2063.16/2068.89 c #Conflicts: 973000 | #Constraints: 31790
2063.16/2068.89 c #Conflicts: 974000 | #Constraints: 32790
2063.16/2068.89 c #Conflicts: 975000 | #Constraints: 33790
2063.16/2068.89 c #Conflicts: 976000 | #Constraints: 34790
2063.16/2068.89 c #Conflicts: 977000 | #Constraints: 35790
2063.16/2068.89 c #Conflicts: 978000 | #Constraints: 36790
2063.16/2068.89 c #Conflicts: 979000 | #Constraints: 37790
2063.16/2068.89 c #Conflicts: 980000 | #Constraints: 38790
2063.16/2068.89 c #Conflicts: 981000 | #Constraints: 39790
2063.16/2068.89 c INPROCESSING
2063.16/2068.89 c GARBAGE COLLECT
2063.16/2068.89 c #Conflicts: 982000 | #Constraints: 21179
2063.16/2068.89 c #Conflicts: 983000 | #Constraints: 22179
2063.16/2068.89 c #Conflicts: 984000 | #Constraints: 23179
2063.16/2068.89 c #Conflicts: 985000 | #Constraints: 24179
2063.16/2068.89 c #Conflicts: 986000 | #Constraints: 25179
2063.16/2068.89 c #Conflicts: 987000 | #Constraints: 26179
2063.16/2068.89 c #Conflicts: 988000 | #Constraints: 27179
2063.16/2068.89 c #Conflicts: 989000 | #Constraints: 28179
2063.16/2068.89 c #Conflicts: 990000 | #Constraints: 29179
2063.16/2068.89 c #Conflicts: 991000 | #Constraints: 30179
2063.16/2068.89 c #Conflicts: 992000 | #Constraints: 31179
2063.16/2068.89 c #Conflicts: 993000 | #Constraints: 32179
2063.16/2068.89 c #Conflicts: 994000 | #Constraints: 33179
2063.16/2068.89 c #Conflicts: 995000 | #Constraints: 34179
2063.16/2068.89 c #Conflicts: 996000 | #Constraints: 35179
2063.16/2068.89 c #Conflicts: 997000 | #Constraints: 36179
2063.16/2068.89 c #Conflicts: 998000 | #Constraints: 37179
2063.16/2068.89 c #Conflicts: 999000 | #Constraints: 38179
2063.16/2068.89 c #Conflicts: 1000000 | #Constraints: 39179
2063.16/2068.89 c #Conflicts: 1001000 | #Constraints: 40179
2063.16/2068.89 c INPROCESSING
2063.16/2068.89 c GARBAGE COLLECT
2063.16/2068.89 c #Conflicts: 1002000 | #Constraints: 21398
2063.16/2068.89 c #Conflicts: 1003000 | #Constraints: 22398
2063.16/2068.89 c #Conflicts: 1004000 | #Constraints: 23398
2063.16/2068.89 c #Conflicts: 1005000 | #Constraints: 24398
2063.16/2068.89 c #Conflicts: 1006000 | #Constraints: 25398
2063.16/2068.89 c #Conflicts: 1007000 | #Constraints: 26398
2063.16/2068.89 c #Conflicts: 1008000 | #Constraints: 27398
2063.16/2068.89 c #Conflicts: 1009000 | #Constraints: 28398
2063.16/2068.89 c #Conflicts: 1010000 | #Constraints: 29398
2063.16/2068.89 c #Conflicts: 1011000 | #Constraints: 30398
2063.16/2068.89 c #Conflicts: 1012000 | #Constraints: 31398
2063.16/2068.89 c #Conflicts: 1013000 | #Constraints: 32398
2063.16/2068.89 c #Conflicts: 1014000 | #Constraints: 33398
2063.16/2068.89 c #Conflicts: 1015000 | #Constraints: 34398
2063.16/2068.89 c #Conflicts: 1016000 | #Constraints: 35398
2063.16/2068.89 c #Conflicts: 1017000 | #Constraints: 36398
2063.16/2068.89 c #Conflicts: 1018000 | #Constraints: 37398
2063.16/2068.89 c #Conflicts: 1019000 | #Constraints: 38398
2063.16/2068.89 c #Conflicts: 1020000 | #Constraints: 39398
2063.16/2068.89 c #Conflicts: 1021000 | #Constraints: 40398
2063.16/2068.89 c INPROCESSING
2063.16/2068.89 c GARBAGE COLLECT
2063.16/2068.89 c #Conflicts: 1022000 | #Constraints: 21386
2063.16/2068.89 c #Conflicts: 1023000 | #Constraints: 22386
2063.16/2068.89 c #Conflicts: 1024000 | #Constraints: 23386
2063.16/2068.89 c #Conflicts: 1025000 | #Constraints: 24386
2063.16/2068.89 c #Conflicts: 1026000 | #Constraints: 25386
2063.16/2068.89 c #Conflicts: 1027000 | #Constraints: 26386
2063.16/2068.89 c #Conflicts: 1028000 | #Constraints: 27386
2063.16/2068.89 c #Conflicts: 1029000 | #Constraints: 28386
2063.16/2068.89 c #Conflicts: 1030000 | #Constraints: 29386
2063.16/2068.89 c #Conflicts: 1031000 | #Constraints: 30386
2063.16/2068.89 c #Conflicts: 1032000 | #Constraints: 31386
2063.16/2068.89 c #Conflicts: 1033000 | #Constraints: 32386
2063.16/2068.89 c #Conflicts: 1034000 | #Constraints: 33386
2063.16/2068.89 c #Conflicts: 1035000 | #Constraints: 34386
2063.16/2068.89 c #Conflicts: 1036000 | #Constraints: 35386
2063.16/2068.89 c #Conflicts: 1037000 | #Constraints: 36386
2063.16/2068.89 c #Conflicts: 1038000 | #Constraints: 37386
2063.16/2068.89 c #Conflicts: 1039000 | #Constraints: 38386
2063.16/2068.89 c #Conflicts: 1040000 | #Constraints: 39386
2063.16/2068.89 c #Conflicts: 1041000 | #Constraints: 40386
2063.16/2068.89 c INPROCESSING
2063.16/2068.89 c GARBAGE COLLECT
2063.16/2068.89 c #Conflicts: 1042000 | #Constraints: 21193
2063.16/2068.89 c #Conflicts: 1043000 | #Constraints: 22193
2063.16/2068.89 c #Conflicts: 1044000 | #Constraints: 23193
2429.40/2436.07 c #Conflicts: 1045000 | #Constraints: 24193
2429.40/2436.07 c #Conflicts: 1046000 | #Constraints: 25193
2429.40/2436.07 c #Conflicts: 1047000 | #Constraints: 26193
2429.40/2436.07 c #Conflicts: 1048000 | #Constraints: 27193
2429.40/2436.07 c #Conflicts: 1049000 | #Constraints: 28193
2429.40/2436.07 c #Conflicts: 1050000 | #Constraints: 29193
2429.40/2436.07 c #Conflicts: 1051000 | #Constraints: 30193
2429.40/2436.07 c #Conflicts: 1052000 | #Constraints: 31193
2429.40/2436.07 c #Conflicts: 1053000 | #Constraints: 32193
2429.40/2436.07 c #Conflicts: 1054000 | #Constraints: 33193
2429.40/2436.07 c #Conflicts: 1055000 | #Constraints: 34193
2429.40/2436.07 c #Conflicts: 1056000 | #Constraints: 35193
2429.40/2436.07 c #Conflicts: 1057000 | #Constraints: 36193
2429.40/2436.07 c #Conflicts: 1058000 | #Constraints: 37193
2429.40/2436.07 c #Conflicts: 1059000 | #Constraints: 38193
2429.40/2436.07 c #Conflicts: 1060000 | #Constraints: 39193
2429.40/2436.07 c #Conflicts: 1061000 | #Constraints: 40193
2429.40/2436.07 c #Conflicts: 1062000 | #Constraints: 41193
2429.40/2436.07 c INPROCESSING
2429.40/2436.07 c GARBAGE COLLECT
2429.40/2436.07 c #Conflicts: 1063000 | #Constraints: 21816
2429.40/2436.07 c #Conflicts: 1064000 | #Constraints: 22816
2429.40/2436.07 c #Conflicts: 1065000 | #Constraints: 23816
2429.40/2436.07 c #Conflicts: 1066000 | #Constraints: 24816
2429.40/2436.07 c #Conflicts: 1067000 | #Constraints: 25816
2429.40/2436.07 c #Conflicts: 1068000 | #Constraints: 26816
2429.40/2436.07 c #Conflicts: 1069000 | #Constraints: 27816
2429.40/2436.07 c #Conflicts: 1070000 | #Constraints: 28816
2429.40/2436.07 c #Conflicts: 1071000 | #Constraints: 29816
2429.40/2436.07 c #Conflicts: 1072000 | #Constraints: 30816
2429.40/2436.07 c #Conflicts: 1073000 | #Constraints: 31816
2429.40/2436.07 c #Conflicts: 1074000 | #Constraints: 32816
2429.40/2436.07 c #Conflicts: 1075000 | #Constraints: 33816
2429.40/2436.07 c #Conflicts: 1076000 | #Constraints: 34816
2429.40/2436.07 c #Conflicts: 1077000 | #Constraints: 35816
2429.40/2436.07 c #Conflicts: 1078000 | #Constraints: 36816
2429.40/2436.07 c #Conflicts: 1079000 | #Constraints: 37816
2429.40/2436.07 c #Conflicts: 1080000 | #Constraints: 38816
2429.40/2436.07 c #Conflicts: 1081000 | #Constraints: 39816
2429.40/2436.07 c #Conflicts: 1082000 | #Constraints: 40816
2429.40/2436.07 c #Conflicts: 1083000 | #Constraints: 41816
2429.40/2436.07 c INPROCESSING
2429.40/2436.07 c GARBAGE COLLECT
2429.40/2436.07 c #Conflicts: 1084000 | #Constraints: 22209
2429.40/2436.07 c #Conflicts: 1085000 | #Constraints: 23209
2429.40/2436.07 c #Conflicts: 1086000 | #Constraints: 24209
2429.40/2436.07 c #Conflicts: 1087000 | #Constraints: 25209
2429.40/2436.07 c #Conflicts: 1088000 | #Constraints: 26209
2429.40/2436.07 c #Conflicts: 1089000 | #Constraints: 27209
2429.40/2436.07 c #Conflicts: 1090000 | #Constraints: 28209
2429.40/2436.07 c #Conflicts: 1091000 | #Constraints: 29209
2429.40/2436.07 c #Conflicts: 1092000 | #Constraints: 30209
2429.40/2436.07 c #Conflicts: 1093000 | #Constraints: 31209
2429.40/2436.07 c #Conflicts: 1094000 | #Constraints: 32209
2429.40/2436.07 c #Conflicts: 1095000 | #Constraints: 33209
2429.40/2436.07 c #Conflicts: 1096000 | #Constraints: 34209
2429.40/2436.07 c #Conflicts: 1097000 | #Constraints: 35209
2429.40/2436.07 c #Conflicts: 1098000 | #Constraints: 36209
2429.40/2436.07 c #Conflicts: 1099000 | #Constraints: 37209
2429.40/2436.07 c #Conflicts: 1100000 | #Constraints: 38209
2429.40/2436.07 c #Conflicts: 1101000 | #Constraints: 39209
2429.40/2436.07 c #Conflicts: 1102000 | #Constraints: 40209
2429.40/2436.07 c #Conflicts: 1103000 | #Constraints: 41209
2429.40/2436.07 c #Conflicts: 1104000 | #Constraints: 42209
2429.40/2436.07 c INPROCESSING
2429.40/2436.07 c GARBAGE COLLECT
2429.40/2436.07 c #Conflicts: 1105000 | #Constraints: 22400
2429.40/2436.07 c #Conflicts: 1106000 | #Constraints: 23400
2429.40/2436.07 c #Conflicts: 1107000 | #Constraints: 24400
2429.40/2436.07 c #Conflicts: 1108000 | #Constraints: 25400
2429.40/2436.07 c #Conflicts: 1109000 | #Constraints: 26400
2429.40/2436.07 c #Conflicts: 1110000 | #Constraints: 27400
2429.40/2436.07 c #Conflicts: 1111000 | #Constraints: 28400
2429.40/2436.07 c #Conflicts: 1112000 | #Constraints: 29400
2429.40/2436.07 c #Conflicts: 1113000 | #Constraints: 30400
2429.40/2436.07 c #Conflicts: 1114000 | #Constraints: 31400
2429.40/2436.07 c #Conflicts: 1115000 | #Constraints: 32400
2429.40/2436.07 c #Conflicts: 1116000 | #Constraints: 33400
2429.40/2436.07 c #Conflicts: 1117000 | #Constraints: 34400
2429.40/2436.07 c #Conflicts: 1118000 | #Constraints: 35400
2429.40/2436.07 c #Conflicts: 1119000 | #Constraints: 36400
2429.40/2436.07 c #Conflicts: 1120000 | #Constraints: 37400
2429.40/2436.07 c #Conflicts: 1121000 | #Constraints: 38400
2591.97/2599.04 c #Conflicts: 1122000 | #Constraints: 39400
2591.97/2599.04 c #Conflicts: 1123000 | #Constraints: 40400
2591.97/2599.04 c #Conflicts: 1124000 | #Constraints: 41400
2591.97/2599.04 c #Conflicts: 1125000 | #Constraints: 42400
2591.97/2599.04 c INPROCESSING
2591.97/2599.04 c GARBAGE COLLECT
2591.97/2599.04 c #Conflicts: 1126000 | #Constraints: 22402
2591.97/2599.04 c #Conflicts: 1127000 | #Constraints: 23402
2591.97/2599.04 c #Conflicts: 1128000 | #Constraints: 24402
2591.97/2599.04 c #Conflicts: 1129000 | #Constraints: 25402
2591.97/2599.04 c #Conflicts: 1130000 | #Constraints: 26402
2591.97/2599.04 c #Conflicts: 1131000 | #Constraints: 27402
2591.97/2599.04 c #Conflicts: 1132000 | #Constraints: 28402
2591.97/2599.04 c #Conflicts: 1133000 | #Constraints: 29402
2591.97/2599.04 c #Conflicts: 1134000 | #Constraints: 30402
2591.97/2599.04 c #Conflicts: 1135000 | #Constraints: 31402
2591.97/2599.04 c #Conflicts: 1136000 | #Constraints: 32402
2591.97/2599.04 c #Conflicts: 1137000 | #Constraints: 33402
2591.97/2599.04 c #Conflicts: 1138000 | #Constraints: 34402
2591.97/2599.04 c #Conflicts: 1139000 | #Constraints: 35402
2591.97/2599.04 c #Conflicts: 1140000 | #Constraints: 36402
2591.97/2599.04 c #Conflicts: 1141000 | #Constraints: 37402
2591.97/2599.04 c #Conflicts: 1142000 | #Constraints: 38402
2591.97/2599.04 c #Conflicts: 1143000 | #Constraints: 39402
2591.97/2599.04 c #Conflicts: 1144000 | #Constraints: 40402
2591.97/2599.04 c #Conflicts: 1145000 | #Constraints: 41402
2591.97/2599.04 c #Conflicts: 1146000 | #Constraints: 42402
2591.97/2599.04 c INPROCESSING
2591.97/2599.04 c GARBAGE COLLECT
2591.97/2599.04 c #Conflicts: 1147000 | #Constraints: 22182
2591.97/2599.04 c #Conflicts: 1148000 | #Constraints: 23182
2591.97/2599.04 c #Conflicts: 1149000 | #Constraints: 24182
2591.97/2599.04 c #Conflicts: 1150000 | #Constraints: 25182
2591.97/2599.04 c #Conflicts: 1151000 | #Constraints: 26182
2591.97/2599.04 c #Conflicts: 1152000 | #Constraints: 27182
2591.97/2599.04 c #Conflicts: 1153000 | #Constraints: 28182
2591.97/2599.04 c #Conflicts: 1154000 | #Constraints: 29182
2591.97/2599.04 c #Conflicts: 1155000 | #Constraints: 30182
2591.97/2599.04 c #Conflicts: 1156000 | #Constraints: 31182
2591.97/2599.04 c #Conflicts: 1157000 | #Constraints: 32182
2591.97/2599.04 c #Conflicts: 1158000 | #Constraints: 33182
2591.97/2599.04 c #Conflicts: 1159000 | #Constraints: 34182
2591.97/2599.04 c #Conflicts: 1160000 | #Constraints: 35182
2591.97/2599.04 c #Conflicts: 1161000 | #Constraints: 36182
2591.97/2599.04 c #Conflicts: 1162000 | #Constraints: 37182
2591.97/2599.04 c #Conflicts: 1163000 | #Constraints: 38182
2591.97/2599.04 c #Conflicts: 1164000 | #Constraints: 39182
2591.97/2599.04 c #Conflicts: 1165000 | #Constraints: 40182
2591.97/2599.04 c #Conflicts: 1166000 | #Constraints: 41182
2591.97/2599.04 c #Conflicts: 1167000 | #Constraints: 42182
2591.97/2599.04 c #Conflicts: 1168000 | #Constraints: 43182
2591.97/2599.04 c INPROCESSING
2591.97/2599.04 c GARBAGE COLLECT
2591.97/2599.04 c #Conflicts: 1169000 | #Constraints: 22770
2591.97/2599.04 c #Conflicts: 1170000 | #Constraints: 23770
2591.97/2599.04 c #Conflicts: 1171000 | #Constraints: 24770
2591.97/2599.04 c #Conflicts: 1172000 | #Constraints: 25770
2591.97/2599.04 c #Conflicts: 1173000 | #Constraints: 26770
2591.97/2599.04 c #Conflicts: 1174000 | #Constraints: 27770
2591.97/2599.04 c #Conflicts: 1175000 | #Constraints: 28770
2591.97/2599.04 c #Conflicts: 1176000 | #Constraints: 29770
2591.97/2599.04 c #Conflicts: 1177000 | #Constraints: 30770
2591.97/2599.04 c #Conflicts: 1178000 | #Constraints: 31770
2591.97/2599.04 c #Conflicts: 1179000 | #Constraints: 32770
2591.97/2599.04 c #Conflicts: 1180000 | #Constraints: 33770
2591.97/2599.04 c #Conflicts: 1181000 | #Constraints: 34770
2591.97/2599.04 c #Conflicts: 1182000 | #Constraints: 35770
2591.97/2599.04 c #Conflicts: 1183000 | #Constraints: 36770
2591.97/2599.04 c #Conflicts: 1184000 | #Constraints: 37770
2591.97/2599.04 c #Conflicts: 1185000 | #Constraints: 38770
2591.97/2599.04 c #Conflicts: 1186000 | #Constraints: 39770
2591.97/2599.04 c #Conflicts: 1187000 | #Constraints: 40770
2591.97/2599.04 c #Conflicts: 1188000 | #Constraints: 41770
2591.97/2599.04 c #Conflicts: 1189000 | #Constraints: 42770
2591.97/2599.04 c #Conflicts: 1190000 | #Constraints: 43770
2591.97/2599.04 c INPROCESSING
2591.97/2599.04 c GARBAGE COLLECT
2591.97/2599.04 c #Conflicts: 1191000 | #Constraints: 23175
2591.97/2599.04 c #Conflicts: 1192000 | #Constraints: 24175
2591.97/2599.04 c #Conflicts: 1193000 | #Constraints: 25175
2591.97/2599.04 c #Conflicts: 1194000 | #Constraints: 26175
2591.97/2599.04 c #Conflicts: 1195000 | #Constraints: 27175
2591.97/2599.04 c #Conflicts: 1196000 | #Constraints: 28175
2591.97/2599.04 c #Conflicts: 1197000 | #Constraints: 29175
2774.60/2782.16 c #Conflicts: 1198000 | #Constraints: 30175
2774.60/2782.16 c #Conflicts: 1199000 | #Constraints: 31175
2774.60/2782.16 c #Conflicts: 1200000 | #Constraints: 32175
2774.60/2782.16 c #Conflicts: 1201000 | #Constraints: 33175
2774.60/2782.16 c #Conflicts: 1202000 | #Constraints: 34175
2774.60/2782.16 c #Conflicts: 1203000 | #Constraints: 35175
2774.60/2782.16 c #Conflicts: 1204000 | #Constraints: 36175
2774.60/2782.16 c #Conflicts: 1205000 | #Constraints: 37175
2774.60/2782.16 c #Conflicts: 1206000 | #Constraints: 38175
2774.60/2782.16 c #Conflicts: 1207000 | #Constraints: 39175
2774.60/2782.16 c #Conflicts: 1208000 | #Constraints: 40175
2774.60/2782.16 c #Conflicts: 1209000 | #Constraints: 41175
2774.60/2782.16 c #Conflicts: 1210000 | #Constraints: 42175
2774.60/2782.16 c #Conflicts: 1211000 | #Constraints: 43175
2774.60/2782.16 c #Conflicts: 1212000 | #Constraints: 44175
2774.60/2782.16 c INPROCESSING
2774.60/2782.16 c GARBAGE COLLECT
2774.60/2782.16 c #Conflicts: 1213000 | #Constraints: 23377
2774.60/2782.16 c #Conflicts: 1214000 | #Constraints: 24377
2774.60/2782.16 c #Conflicts: 1215000 | #Constraints: 25377
2774.60/2782.16 c #Conflicts: 1216000 | #Constraints: 26377
2774.60/2782.16 c #Conflicts: 1217000 | #Constraints: 27377
2774.60/2782.16 c #Conflicts: 1218000 | #Constraints: 28377
2774.60/2782.16 c #Conflicts: 1219000 | #Constraints: 29377
2774.60/2782.16 c #Conflicts: 1220000 | #Constraints: 30377
2774.60/2782.16 c #Conflicts: 1221000 | #Constraints: 31377
2774.60/2782.16 c #Conflicts: 1222000 | #Constraints: 32377
2774.60/2782.16 c #Conflicts: 1223000 | #Constraints: 33377
2774.60/2782.16 c #Conflicts: 1224000 | #Constraints: 34377
2774.60/2782.16 c #Conflicts: 1225000 | #Constraints: 35377
2774.60/2782.16 c #Conflicts: 1226000 | #Constraints: 36377
2774.60/2782.16 c #Conflicts: 1227000 | #Constraints: 37377
2774.60/2782.16 c #Conflicts: 1228000 | #Constraints: 38377
2774.60/2782.16 c #Conflicts: 1229000 | #Constraints: 39377
2774.60/2782.16 c #Conflicts: 1230000 | #Constraints: 40377
2774.60/2782.16 c #Conflicts: 1231000 | #Constraints: 41377
2774.60/2782.16 c #Conflicts: 1232000 | #Constraints: 42377
2774.60/2782.16 c #Conflicts: 1233000 | #Constraints: 43377
2774.60/2782.16 c #Conflicts: 1234000 | #Constraints: 44377
2774.60/2782.16 c INPROCESSING
2774.60/2782.16 c GARBAGE COLLECT
2774.60/2782.16 c #Conflicts: 1235000 | #Constraints: 23358
2774.60/2782.16 c #Conflicts: 1236000 | #Constraints: 24358
2774.60/2782.16 c #Conflicts: 1237000 | #Constraints: 25358
2774.60/2782.16 c #Conflicts: 1238000 | #Constraints: 26358
2774.60/2782.16 c #Conflicts: 1239000 | #Constraints: 27358
2774.60/2782.16 c #Conflicts: 1240000 | #Constraints: 28358
2774.60/2782.16 c #Conflicts: 1241000 | #Constraints: 29358
2774.60/2782.16 c #Conflicts: 1242000 | #Constraints: 30358
2774.60/2782.16 c #Conflicts: 1243000 | #Constraints: 31358
2774.60/2782.16 c #Conflicts: 1244000 | #Constraints: 32358
2774.60/2782.16 c #Conflicts: 1245000 | #Constraints: 33358
2774.60/2782.16 c #Conflicts: 1246000 | #Constraints: 34358
2774.60/2782.16 c #Conflicts: 1247000 | #Constraints: 35358
2774.60/2782.16 c #Conflicts: 1248000 | #Constraints: 36358
2774.60/2782.16 c #Conflicts: 1249000 | #Constraints: 37358
2774.60/2782.16 c #Conflicts: 1250000 | #Constraints: 38358
2774.60/2782.16 c #Conflicts: 1251000 | #Constraints: 39358
2774.60/2782.16 c #Conflicts: 1252000 | #Constraints: 40358
2774.60/2782.16 c #Conflicts: 1253000 | #Constraints: 41358
2774.60/2782.16 c #Conflicts: 1254000 | #Constraints: 42358
2774.60/2782.16 c #Conflicts: 1255000 | #Constraints: 43358
2774.60/2782.16 c #Conflicts: 1256000 | #Constraints: 44358
2774.60/2782.16 c INPROCESSING
2774.60/2782.16 c GARBAGE COLLECT
2774.60/2782.16 c #Conflicts: 1257000 | #Constraints: 23151
2774.60/2782.16 c #Conflicts: 1258000 | #Constraints: 24151
2774.60/2782.16 c #Conflicts: 1259000 | #Constraints: 25151
2774.60/2782.16 c #Conflicts: 1260000 | #Constraints: 26151
2774.60/2782.16 c #Conflicts: 1261000 | #Constraints: 27151
2774.60/2782.16 c #Conflicts: 1262000 | #Constraints: 28151
2774.60/2782.16 c #Conflicts: 1263000 | #Constraints: 29151
2774.60/2782.16 c #Conflicts: 1264000 | #Constraints: 30151
2774.60/2782.16 c #Conflicts: 1265000 | #Constraints: 31151
2774.60/2782.16 c #Conflicts: 1266000 | #Constraints: 32151
2774.60/2782.16 c #Conflicts: 1267000 | #Constraints: 33151
2774.60/2782.16 c #Conflicts: 1268000 | #Constraints: 34151
2774.60/2782.16 c #Conflicts: 1269000 | #Constraints: 35151
2774.60/2782.16 c #Conflicts: 1270000 | #Constraints: 36151
2774.60/2782.16 c #Conflicts: 1271000 | #Constraints: 37151
2774.60/2782.16 c #Conflicts: 1272000 | #Constraints: 38151
2774.60/2782.16 c #Conflicts: 1273000 | #Constraints: 39151
2774.60/2782.16 c #Conflicts: 1274000 | #Constraints: 40151
3010.99/3019.18 c #Conflicts: 1275000 | #Constraints: 41151
3010.99/3019.18 c #Conflicts: 1276000 | #Constraints: 42151
3010.99/3019.18 c #Conflicts: 1277000 | #Constraints: 43151
3010.99/3019.18 c #Conflicts: 1278000 | #Constraints: 44151
3010.99/3019.18 c #Conflicts: 1279000 | #Constraints: 45151
3010.99/3019.18 c INPROCESSING
3010.99/3019.18 c GARBAGE COLLECT
3010.99/3019.18 c #Conflicts: 1280000 | #Constraints: 23757
3010.99/3019.18 c #Conflicts: 1281000 | #Constraints: 24757
3010.99/3019.18 c #Conflicts: 1282000 | #Constraints: 25757
3010.99/3019.18 c #Conflicts: 1283000 | #Constraints: 26757
3010.99/3019.18 c #Conflicts: 1284000 | #Constraints: 27757
3010.99/3019.18 c #Conflicts: 1285000 | #Constraints: 28757
3010.99/3019.18 c #Conflicts: 1286000 | #Constraints: 29757
3010.99/3019.18 c #Conflicts: 1287000 | #Constraints: 30757
3010.99/3019.18 c #Conflicts: 1288000 | #Constraints: 31757
3010.99/3019.18 c #Conflicts: 1289000 | #Constraints: 32757
3010.99/3019.18 c #Conflicts: 1290000 | #Constraints: 33757
3010.99/3019.18 c #Conflicts: 1291000 | #Constraints: 34757
3010.99/3019.18 c #Conflicts: 1292000 | #Constraints: 35757
3010.99/3019.18 c #Conflicts: 1293000 | #Constraints: 36757
3010.99/3019.18 c #Conflicts: 1294000 | #Constraints: 37757
3010.99/3019.18 c #Conflicts: 1295000 | #Constraints: 38757
3010.99/3019.18 c #Conflicts: 1296000 | #Constraints: 39757
3010.99/3019.18 c #Conflicts: 1297000 | #Constraints: 40757
3010.99/3019.18 c #Conflicts: 1298000 | #Constraints: 41757
3010.99/3019.18 c #Conflicts: 1299000 | #Constraints: 42757
3010.99/3019.18 c #Conflicts: 1300000 | #Constraints: 43757
3010.99/3019.18 c #Conflicts: 1301000 | #Constraints: 44757
3010.99/3019.18 c #Conflicts: 1302000 | #Constraints: 45757
3010.99/3019.18 c INPROCESSING
3010.99/3019.18 c GARBAGE COLLECT
3010.99/3019.18 c #Conflicts: 1303000 | #Constraints: 24164
3010.99/3019.18 c #Conflicts: 1304000 | #Constraints: 25164
3010.99/3019.18 c #Conflicts: 1305000 | #Constraints: 26164
3010.99/3019.18 c #Conflicts: 1306000 | #Constraints: 27164
3010.99/3019.18 c #Conflicts: 1307000 | #Constraints: 28164
3010.99/3019.18 c #Conflicts: 1308000 | #Constraints: 29164
3010.99/3019.18 c #Conflicts: 1309000 | #Constraints: 30164
3010.99/3019.18 c #Conflicts: 1310000 | #Constraints: 31164
3010.99/3019.18 c #Conflicts: 1311000 | #Constraints: 32164
3010.99/3019.18 c #Conflicts: 1312000 | #Constraints: 33164
3010.99/3019.18 c #Conflicts: 1313000 | #Constraints: 34164
3010.99/3019.18 c #Conflicts: 1314000 | #Constraints: 35164
3010.99/3019.18 c #Conflicts: 1315000 | #Constraints: 36164
3010.99/3019.18 c #Conflicts: 1316000 | #Constraints: 37164
3010.99/3019.18 c #Conflicts: 1317000 | #Constraints: 38164
3010.99/3019.18 c #Conflicts: 1318000 | #Constraints: 39164
3010.99/3019.18 c #Conflicts: 1319000 | #Constraints: 40164
3010.99/3019.18 c #Conflicts: 1320000 | #Constraints: 41164
3010.99/3019.18 c #Conflicts: 1321000 | #Constraints: 42164
3010.99/3019.18 c #Conflicts: 1322000 | #Constraints: 43164
3010.99/3019.18 c #Conflicts: 1323000 | #Constraints: 44164
3010.99/3019.18 c #Conflicts: 1324000 | #Constraints: 45164
3010.99/3019.18 c #Conflicts: 1325000 | #Constraints: 46164
3010.99/3019.18 c INPROCESSING
3010.99/3019.18 c GARBAGE COLLECT
3010.99/3019.18 c #Conflicts: 1326000 | #Constraints: 24395
3010.99/3019.18 c #Conflicts: 1327000 | #Constraints: 25395
3010.99/3019.18 c #Conflicts: 1328000 | #Constraints: 26395
3010.99/3019.18 c #Conflicts: 1329000 | #Constraints: 27395
3010.99/3019.18 c #Conflicts: 1330000 | #Constraints: 28395
3010.99/3019.18 c #Conflicts: 1331000 | #Constraints: 29395
3010.99/3019.18 c #Conflicts: 1332000 | #Constraints: 30395
3010.99/3019.18 c #Conflicts: 1333000 | #Constraints: 31395
3010.99/3019.18 c #Conflicts: 1334000 | #Constraints: 32395
3010.99/3019.18 c #Conflicts: 1335000 | #Constraints: 33395
3010.99/3019.18 c #Conflicts: 1336000 | #Constraints: 34395
3010.99/3019.18 c #Conflicts: 1337000 | #Constraints: 35395
3010.99/3019.18 c #Conflicts: 1338000 | #Constraints: 36395
3010.99/3019.18 c #Conflicts: 1339000 | #Constraints: 37395
3010.99/3019.18 c #Conflicts: 1340000 | #Constraints: 38395
3010.99/3019.18 c #Conflicts: 1341000 | #Constraints: 39395
3010.99/3019.18 c #Conflicts: 1342000 | #Constraints: 40395
3010.99/3019.18 c #Conflicts: 1343000 | #Constraints: 41395
3010.99/3019.18 c #Conflicts: 1344000 | #Constraints: 42395
3010.99/3019.18 c #Conflicts: 1345000 | #Constraints: 43395
3010.99/3019.18 c #Conflicts: 1346000 | #Constraints: 44395
3010.99/3019.18 c #Conflicts: 1347000 | #Constraints: 45395
3010.99/3019.18 c #Conflicts: 1348000 | #Constraints: 46395
3010.99/3019.18 c INPROCESSING
3010.99/3019.18 c GARBAGE COLLECT
3010.99/3019.18 c #Conflicts: 1349000 | #Constraints: 24391
3010.99/3019.18 c #Conflicts: 1350000 | #Constraints: 25391
3217.06/3225.77 c #Conflicts: 1351000 | #Constraints: 26391
3217.06/3225.77 c #Conflicts: 1352000 | #Constraints: 27391
3217.06/3225.77 c #Conflicts: 1353000 | #Constraints: 28391
3217.06/3225.77 c #Conflicts: 1354000 | #Constraints: 29391
3217.06/3225.77 c #Conflicts: 1355000 | #Constraints: 30391
3217.06/3225.77 c #Conflicts: 1356000 | #Constraints: 31391
3217.06/3225.77 c #Conflicts: 1357000 | #Constraints: 32391
3217.06/3225.77 c #Conflicts: 1358000 | #Constraints: 33391
3217.06/3225.77 c #Conflicts: 1359000 | #Constraints: 34391
3217.06/3225.77 c #Conflicts: 1360000 | #Constraints: 35391
3217.06/3225.77 c #Conflicts: 1361000 | #Constraints: 36391
3217.06/3225.77 c #Conflicts: 1362000 | #Constraints: 37391
3217.06/3225.77 c #Conflicts: 1363000 | #Constraints: 38391
3217.06/3225.77 c #Conflicts: 1364000 | #Constraints: 39391
3217.06/3225.77 c #Conflicts: 1365000 | #Constraints: 40391
3217.06/3225.77 c #Conflicts: 1366000 | #Constraints: 41391
3217.06/3225.77 c #Conflicts: 1367000 | #Constraints: 42391
3217.06/3225.77 c #Conflicts: 1368000 | #Constraints: 43391
3217.06/3225.77 c #Conflicts: 1369000 | #Constraints: 44391
3217.06/3225.77 c #Conflicts: 1370000 | #Constraints: 45391
3217.06/3225.77 c #Conflicts: 1371000 | #Constraints: 46391
3217.06/3225.77 c INPROCESSING
3217.06/3225.77 c GARBAGE COLLECT
3217.06/3225.77 c #Conflicts: 1372000 | #Constraints: 24175
3217.06/3225.77 c #Conflicts: 1373000 | #Constraints: 25175
3217.06/3225.77 c #Conflicts: 1374000 | #Constraints: 26175
3217.06/3225.77 c #Conflicts: 1375000 | #Constraints: 27175
3217.06/3225.77 c #Conflicts: 1376000 | #Constraints: 28175
3217.06/3225.77 c #Conflicts: 1377000 | #Constraints: 29175
3217.06/3225.77 c #Conflicts: 1378000 | #Constraints: 30175
3217.06/3225.77 c #Conflicts: 1379000 | #Constraints: 31175
3217.06/3225.77 c #Conflicts: 1380000 | #Constraints: 32175
3217.06/3225.77 c #Conflicts: 1381000 | #Constraints: 33175
3217.06/3225.77 c #Conflicts: 1382000 | #Constraints: 34175
3217.06/3225.77 c #Conflicts: 1383000 | #Constraints: 35175
3217.06/3225.77 c #Conflicts: 1384000 | #Constraints: 36175
3217.06/3225.77 c #Conflicts: 1385000 | #Constraints: 37175
3217.06/3225.77 c #Conflicts: 1386000 | #Constraints: 38175
3217.06/3225.77 c #Conflicts: 1387000 | #Constraints: 39175
3217.06/3225.77 c #Conflicts: 1388000 | #Constraints: 40175
3217.06/3225.77 c #Conflicts: 1389000 | #Constraints: 41175
3217.06/3225.77 c #Conflicts: 1390000 | #Constraints: 42175
3217.06/3225.77 c #Conflicts: 1391000 | #Constraints: 43175
3217.06/3225.77 c #Conflicts: 1392000 | #Constraints: 44175
3217.06/3225.77 c #Conflicts: 1393000 | #Constraints: 45175
3217.06/3225.77 c #Conflicts: 1394000 | #Constraints: 46175
3217.06/3225.77 c #Conflicts: 1395000 | #Constraints: 47175
3217.06/3225.77 c INPROCESSING
3217.06/3225.77 c GARBAGE COLLECT
3217.06/3225.77 c #Conflicts: 1396000 | #Constraints: 24770
3217.06/3225.77 c #Conflicts: 1397000 | #Constraints: 25770
3217.06/3225.77 c #Conflicts: 1398000 | #Constraints: 26770
3217.06/3225.77 c #Conflicts: 1399000 | #Constraints: 27770
3217.06/3225.77 c #Conflicts: 1400000 | #Constraints: 28770
3217.06/3225.77 c #Conflicts: 1401000 | #Constraints: 29770
3217.06/3225.77 c #Conflicts: 1402000 | #Constraints: 30770
3217.06/3225.77 c #Conflicts: 1403000 | #Constraints: 31770
3217.06/3225.77 c #Conflicts: 1404000 | #Constraints: 32770
3217.06/3225.77 c #Conflicts: 1405000 | #Constraints: 33770
3217.06/3225.77 c #Conflicts: 1406000 | #Constraints: 34770
3217.06/3225.77 c #Conflicts: 1407000 | #Constraints: 35770
3217.06/3225.77 c #Conflicts: 1408000 | #Constraints: 36770
3217.06/3225.77 c #Conflicts: 1409000 | #Constraints: 37770
3217.06/3225.77 c #Conflicts: 1410000 | #Constraints: 38770
3217.06/3225.77 c #Conflicts: 1411000 | #Constraints: 39770
3217.06/3225.77 c #Conflicts: 1412000 | #Constraints: 40770
3217.06/3225.77 c #Conflicts: 1413000 | #Constraints: 41770
3217.06/3225.77 c #Conflicts: 1414000 | #Constraints: 42770
3217.06/3225.77 c #Conflicts: 1415000 | #Constraints: 43770
3217.06/3225.77 c #Conflicts: 1416000 | #Constraints: 44770
3217.06/3225.77 c #Conflicts: 1417000 | #Constraints: 45770
3217.06/3225.77 c #Conflicts: 1418000 | #Constraints: 46770
3217.06/3225.77 c #Conflicts: 1419000 | #Constraints: 47770
3217.06/3225.77 c INPROCESSING
3217.06/3225.77 c GARBAGE COLLECT
3217.06/3225.77 c #Conflicts: 1420000 | #Constraints: 25173
3217.06/3225.77 c #Conflicts: 1421000 | #Constraints: 26173
3217.06/3225.77 c #Conflicts: 1422000 | #Constraints: 27173
3217.06/3225.77 c #Conflicts: 1423000 | #Constraints: 28173
3217.06/3225.77 c #Conflicts: 1424000 | #Constraints: 29173
3217.06/3225.77 c #Conflicts: 1425000 | #Constraints: 30173
3217.06/3225.77 c #Conflicts: 1426000 | #Constraints: 31173
3217.06/3225.77 c #Conflicts: 1427000 | #Constraints: 32173
3400.88/3410.05 c #Conflicts: 1428000 | #Constraints: 33173
3400.88/3410.05 c #Conflicts: 1429000 | #Constraints: 34173
3400.88/3410.05 c #Conflicts: 1430000 | #Constraints: 35173
3400.88/3410.05 c #Conflicts: 1431000 | #Constraints: 36173
3400.88/3410.05 c #Conflicts: 1432000 | #Constraints: 37173
3400.88/3410.05 c #Conflicts: 1433000 | #Constraints: 38173
3400.88/3410.05 c #Conflicts: 1434000 | #Constraints: 39173
3400.88/3410.05 c #Conflicts: 1435000 | #Constraints: 40173
3400.88/3410.05 c #Conflicts: 1436000 | #Constraints: 41173
3400.88/3410.05 c #Conflicts: 1437000 | #Constraints: 42173
3400.88/3410.05 c #Conflicts: 1438000 | #Constraints: 43173
3400.88/3410.05 c #Conflicts: 1439000 | #Constraints: 44173
3400.88/3410.05 c #Conflicts: 1440000 | #Constraints: 45173
3400.88/3410.05 c #Conflicts: 1441000 | #Constraints: 46173
3400.88/3410.05 c #Conflicts: 1442000 | #Constraints: 47173
3400.88/3410.05 c #Conflicts: 1443000 | #Constraints: 48173
3400.88/3410.05 c INPROCESSING
3400.88/3410.05 c GARBAGE COLLECT
3400.88/3410.05 c #Conflicts: 1444000 | #Constraints: 25373
3400.88/3410.05 c #Conflicts: 1445000 | #Constraints: 26373
3400.88/3410.05 c #Conflicts: 1446000 | #Constraints: 27373
3400.88/3410.05 c #Conflicts: 1447000 | #Constraints: 28373
3400.88/3410.05 c #Conflicts: 1448000 | #Constraints: 29373
3400.88/3410.05 c #Conflicts: 1449000 | #Constraints: 30373
3400.88/3410.05 c #Conflicts: 1450000 | #Constraints: 31373
3400.88/3410.05 c #Conflicts: 1451000 | #Constraints: 32373
3400.88/3410.05 c #Conflicts: 1452000 | #Constraints: 33373
3400.88/3410.05 c #Conflicts: 1453000 | #Constraints: 34373
3400.88/3410.05 c #Conflicts: 1454000 | #Constraints: 35373
3400.88/3410.05 c #Conflicts: 1455000 | #Constraints: 36373
3400.88/3410.05 c #Conflicts: 1456000 | #Constraints: 37373
3400.88/3410.05 c #Conflicts: 1457000 | #Constraints: 38373
3400.88/3410.05 c #Conflicts: 1458000 | #Constraints: 39373
3400.88/3410.05 c #Conflicts: 1459000 | #Constraints: 40373
3400.88/3410.05 c #Conflicts: 1460000 | #Constraints: 41373
3400.88/3410.05 c #Conflicts: 1461000 | #Constraints: 42373
3400.88/3410.05 c #Conflicts: 1462000 | #Constraints: 43373
3400.88/3410.05 c #Conflicts: 1463000 | #Constraints: 44373
3400.88/3410.05 c #Conflicts: 1464000 | #Constraints: 45373
3400.88/3410.05 c #Conflicts: 1465000 | #Constraints: 46373
3400.88/3410.05 c #Conflicts: 1466000 | #Constraints: 47373
3400.88/3410.05 c #Conflicts: 1467000 | #Constraints: 48373
3400.88/3410.05 c INPROCESSING
3400.88/3410.05 c GARBAGE COLLECT
3400.88/3410.05 c #Conflicts: 1468000 | #Constraints: 25372
3400.88/3410.05 c #Conflicts: 1469000 | #Constraints: 26372
3400.88/3410.05 c #Conflicts: 1470000 | #Constraints: 27372
3400.88/3410.05 c #Conflicts: 1471000 | #Constraints: 28372
3400.88/3410.05 c #Conflicts: 1472000 | #Constraints: 29372
3400.88/3410.05 c #Conflicts: 1473000 | #Constraints: 30372
3400.88/3410.05 c #Conflicts: 1474000 | #Constraints: 31372
3400.88/3410.05 c #Conflicts: 1475000 | #Constraints: 32372
3400.88/3410.05 c #Conflicts: 1476000 | #Constraints: 33372
3400.88/3410.05 c #Conflicts: 1477000 | #Constraints: 34372
3400.88/3410.05 c #Conflicts: 1478000 | #Constraints: 35372
3400.88/3410.05 c #Conflicts: 1479000 | #Constraints: 36372
3400.88/3410.05 c #Conflicts: 1480000 | #Constraints: 37372
3400.88/3410.05 c #Conflicts: 1481000 | #Constraints: 38372
3400.88/3410.05 c #Conflicts: 1482000 | #Constraints: 39372
3400.88/3410.05 c #Conflicts: 1483000 | #Constraints: 40372
3400.88/3410.05 c #Conflicts: 1484000 | #Constraints: 41372
3400.88/3410.05 c #Conflicts: 1485000 | #Constraints: 42372
3400.88/3410.05 c #Conflicts: 1486000 | #Constraints: 43372
3400.88/3410.05 c #Conflicts: 1487000 | #Constraints: 44372
3400.88/3410.05 c #Conflicts: 1488000 | #Constraints: 45372
3400.88/3410.05 c #Conflicts: 1489000 | #Constraints: 46372
3400.88/3410.05 c #Conflicts: 1490000 | #Constraints: 47372
3400.88/3410.05 c #Conflicts: 1491000 | #Constraints: 48372
3400.88/3410.05 c INPROCESSING
3400.88/3410.05 c GARBAGE COLLECT
3400.88/3410.05 c #Conflicts: 1492000 | #Constraints: 25155
3400.88/3410.05 c #Conflicts: 1493000 | #Constraints: 26155
3400.88/3410.05 c #Conflicts: 1494000 | #Constraints: 27155
3400.88/3410.05 c #Conflicts: 1495000 | #Constraints: 28155
3400.88/3410.05 c #Conflicts: 1496000 | #Constraints: 29155
3400.88/3410.05 c #Conflicts: 1497000 | #Constraints: 30155
3400.88/3410.05 c #Conflicts: 1498000 | #Constraints: 31155
3400.88/3410.05 c #Conflicts: 1499000 | #Constraints: 32155
3400.88/3410.05 c #Conflicts: 1500000 | #Constraints: 33155
3400.88/3410.05 c #Conflicts: 1501000 | #Constraints: 34155
3400.88/3410.05 c #Conflicts: 1502000 | #Constraints: 35155
3400.88/3410.05 c #Conflicts: 1503000 | #Constraints: 36155
3400.88/3410.05 c #Conflicts: 1504000 | #Constraints: 37155
3600.02/3609.70 c #Conflicts: 1505000 | #Constraints: 38155
3600.02/3609.70 c #Conflicts: 1506000 | #Constraints: 39155
3600.02/3609.70 c #Conflicts: 1507000 | #Constraints: 40155
3600.02/3609.70 c #Conflicts: 1508000 | #Constraints: 41155
3600.02/3609.70 c #Conflicts: 1509000 | #Constraints: 42155
3600.02/3609.70 c #Conflicts: 1510000 | #Constraints: 43155
3600.02/3609.70 c #Conflicts: 1511000 | #Constraints: 44155
3600.02/3609.70 c #Conflicts: 1512000 | #Constraints: 45155
3600.02/3609.70 c #Conflicts: 1513000 | #Constraints: 46155
3600.02/3609.70 c #Conflicts: 1514000 | #Constraints: 47155
3600.02/3609.70 c #Conflicts: 1515000 | #Constraints: 48155
3600.02/3609.70 c #Conflicts: 1516000 | #Constraints: 49155
3600.02/3609.70 c INPROCESSING
3600.02/3609.70 c GARBAGE COLLECT
3600.02/3609.70 c #Conflicts: 1517000 | #Constraints: 25748
3600.02/3609.70 c #Conflicts: 1518000 | #Constraints: 26748
3600.02/3609.70 c #Conflicts: 1519000 | #Constraints: 27748
3600.02/3609.70 c #Conflicts: 1520000 | #Constraints: 28748
3600.02/3609.70 c #Conflicts: 1521000 | #Constraints: 29748
3600.02/3609.70 c #Conflicts: 1522000 | #Constraints: 30748
3600.02/3609.70 c #Conflicts: 1523000 | #Constraints: 31748
3600.02/3609.70 c #Conflicts: 1524000 | #Constraints: 32748
3600.02/3609.70 c #Conflicts: 1525000 | #Constraints: 33748
3600.02/3609.70 c #Conflicts: 1526000 | #Constraints: 34748
3600.02/3609.70 c #Conflicts: 1527000 | #Constraints: 35748
3600.02/3609.70 c #Conflicts: 1528000 | #Constraints: 36748
3600.02/3609.70 c #Conflicts: 1529000 | #Constraints: 37748
3600.02/3609.70 c #Conflicts: 1530000 | #Constraints: 38748
3600.02/3609.70 c #Conflicts: 1531000 | #Constraints: 39748
3600.02/3609.70 c #Conflicts: 1532000 | #Constraints: 40748
3600.02/3609.70 c #Conflicts: 1533000 | #Constraints: 41748
3600.02/3609.70 c #Conflicts: 1534000 | #Constraints: 42748
3600.02/3609.70 c #Conflicts: 1535000 | #Constraints: 43748
3600.02/3609.70 c #Conflicts: 1536000 | #Constraints: 44748
3600.02/3609.70 c #Conflicts: 1537000 | #Constraints: 45748
3600.02/3609.70 c #Conflicts: 1538000 | #Constraints: 46748
3600.02/3609.70 c #Conflicts: 1539000 | #Constraints: 47748
3600.02/3609.70 c #Conflicts: 1540000 | #Constraints: 48748
3600.02/3609.70 c #Conflicts: 1541000 | #Constraints: 49748
3600.02/3609.70 c INPROCESSING
3600.02/3609.70 c GARBAGE COLLECT
3600.02/3609.70 c #Conflicts: 1542000 | #Constraints: 26169
3600.02/3609.70 c #Conflicts: 1543000 | #Constraints: 27169
3600.02/3609.70 c #Conflicts: 1544000 | #Constraints: 28169
3600.02/3609.70 c #Conflicts: 1545000 | #Constraints: 29169
3600.02/3609.70 c #Conflicts: 1546000 | #Constraints: 30169
3600.02/3609.70 c #Conflicts: 1547000 | #Constraints: 31169
3600.02/3609.70 c #Conflicts: 1548000 | #Constraints: 32169
3600.02/3609.70 c #Conflicts: 1549000 | #Constraints: 33169
3600.02/3609.70 c #Conflicts: 1550000 | #Constraints: 34169
3600.02/3609.70 c #Conflicts: 1551000 | #Constraints: 35169
3600.02/3609.70 c #Conflicts: 1552000 | #Constraints: 36169
3600.02/3609.70 c #Conflicts: 1553000 | #Constraints: 37169
3600.02/3609.70 c #Conflicts: 1554000 | #Constraints: 38169
3600.02/3609.70 c #Conflicts: 1555000 | #Constraints: 39169
3600.02/3609.70 c #Conflicts: 1556000 | #Constraints: 40169
3600.02/3609.70 c #Conflicts: 1557000 | #Constraints: 41169
3600.02/3609.70 c #Conflicts: 1558000 | #Constraints: 42169
3600.02/3609.70 c #Conflicts: 1559000 | #Constraints: 43169
3600.02/3609.70 c #Conflicts: 1560000 | #Constraints: 44169
3600.02/3609.70 c #Conflicts: 1561000 | #Constraints: 45169
3600.02/3609.70 c #Conflicts: 1562000 | #Constraints: 46169
3600.02/3609.70 c Program interrupted by user.
3600.02/3609.70 c cpu time 3587.82 s
3600.02/3609.70 c deterministic time 611249944046 6.11e+11
3600.02/3609.70 c optimization time 99.9039 s
3600.02/3609.70 c total solve time 3188.77 s
3600.02/3609.70 c core-guided solve time 0 s
3600.02/3609.70 c propagation time 2721.37 s
3600.02/3609.70 c conflict analysis time 509.273 s
3600.02/3609.70 c propagations 425045266
3600.02/3609.70 c resolve steps 11867386
3600.02/3609.70 c decisions 8519782
3600.02/3609.70 c conflicts 1562759
3600.02/3609.70 c restarts 3068
3600.02/3609.70 c inprocessing phases 115
3600.02/3609.70 c input clauses 63
3600.02/3609.70 c input cardinalities 63
3600.02/3609.70 c input general constraints 384
3600.02/3609.70 c input average constraint length 60.02
3600.02/3609.70 c input average constraint degree 534.86
3600.02/3609.70 c learned clauses 189960
3600.02/3609.70 c learned cardinalities 16634
3600.02/3609.70 c learned general constraints 1356164
3600.02/3609.70 c learned average constraint length 482.12
3600.02/3609.70 c learned average constraint degree 10613418.63
3600.02/3609.70 c watched constraints 1036376
3600.02/3609.70 c counting constraints 320172
3600.02/3609.70 c gcd simplifications 142143
3600.02/3609.70 c detected cardinalities 586
3600.02/3609.70 c weakened non-implied lits 123054893
3600.02/3609.70 c weakened non-implying lits 175344
3600.02/3609.70 c original variables 3216
3600.02/3609.70 c clausal propagations 2148763
3600.02/3609.70 c cardinality propagations 8148235
3600.02/3609.70 c watched propagations 21966531
3600.02/3609.70 c counting propagations 390841774
3600.02/3609.70 c watch lookups 46958830092
3600.02/3609.70 c watch backjump lookups 42974255367
3600.02/3609.70 c watch checks 443503537206
3600.02/3609.70 c propagation checks 74376434355
3600.02/3609.70 c constraint additions 2568196658
3600.02/3609.70 c trail pops 435125319
3600.02/3609.70 c formula constraints 510
3600.02/3609.70 c learned constraints 1562758
3600.02/3609.70 c bound constraints 0
3600.02/3609.70 c core-guided constraints 0
3600.02/3609.70 c encountered formula constraints 6233236
3600.02/3609.70 c encountered learned constraints 7196909
3600.02/3609.70 c encountered bound constraints 0
3600.02/3609.70 c encountered core-guided constraints 0
3600.02/3609.70 c LP total time 0 s
3600.02/3609.70 c LP solve time 0 s
3600.02/3609.70 c LP constraints added 0
3600.02/3609.70 c LP constraints removed 0
3600.02/3609.70 c LP pivots internal 0
3600.02/3609.70 c LP pivots root 0
3600.02/3609.70 c LP calls 0
3600.02/3609.70 c LP optimalities 0
3600.02/3609.70 c LP no pivot count 0
3600.02/3609.70 c LP infeasibilities 0
3600.02/3609.70 c LP valid Farkas constraints 0
3600.02/3609.70 c LP learned Farkas constraints 0
3600.02/3609.70 c LP basis resets 0
3600.02/3609.70 c LP cycling count 0
3600.02/3609.70 c LP singular count 0
3600.02/3609.70 c LP no primal count 0
3600.02/3609.70 c LP no farkas count 0
3600.02/3609.70 c LP other issue count 0
3600.02/3609.70 c LP Gomory cuts 0
3600.02/3609.70 c LP learned cuts 0
3600.02/3609.70 c LP deleted cuts 0
3600.02/3609.70 c LP encountered Gomory constraints 0
3600.02/3609.70 c LP encountered Farkas constraints 0
3600.02/3609.70 c LP encountered learned Farkas constraints 0
3600.02/3609.70 c CG auxiliary variables introduced 0
3600.02/3609.70 c CG solutions found 0
3600.02/3609.70 c CG cores constructed 0
3600.02/3609.70 c CG core cardinality constraints returned 0
3600.02/3609.70 c CG unit cores 0
3600.02/3609.70 c CG single cores 0
3600.02/3609.70 c CG blocks removed during cardinality reduction 0
3600.02/3609.70 c CG first core best 0
3600.02/3609.70 c CG decision core best 0
3600.02/3609.70 c CG core reduction tie 0
3600.02/3609.70 c CG core degree average 0.00
3600.02/3609.70 c CG core slack average 0.00
3600.02/3609.70 c CG exhausted 0
3600.02/3609.70 c CG exhaust time 0 s
3600.02/3609.70 c CG trimmed 0
3600.02/3609.70 c CG trim time 0 s
3600.02/3609.70 c CG minimized 0
3600.02/3609.70 c CG minimize time 0 s
3600.02/3609.70 c CG am1 prop time 0 s
3600.02/3609.70 c CG # am1s reformulated 0
3600.02/3609.70 c CG lower bound derived from am1s 0
3600.02/3609.70 c CG # clausal cores 0
3600.02/3609.70 c CG # cardinality cores 0
3600.02/3609.70 c CG # pb cores 0
3600.02/3609.70 c CG # pb reforms 0
3600.02/3609.70 c CG # cores discarded because of pb reform 0
3600.02/3609.70 d LOWERBOUND 0
3600.02/3609.70 d NCORES 0
3600.02/3609.70 d NPBCORES 0
3600.02/3609.70 d NPBREFORM 0
3600.02/3609.70 d NTRIMMED 0
3600.02/3609.70 d NEXHAUSTED 0
3600.02/3609.70 d NAM1S 0
3600.02/3609.70 d AM1LB 0
3600.02/3609.70 c [Papilo Statistics]
3600.02/3609.70 c prepro time 0.00957917s
3600.02/3609.70 c # tsx applied 12
3600.02/3609.70 c # tsx conflicts 0
3600.02/3609.70 c # bound changes 6
3600.02/3609.70 c # side changes 0
3600.02/3609.70 c # coef changes 0
3600.02/3609.70 c # rounds 2
3600.02/3609.70 c # deted vars 6
3600.02/3609.70 c # deted constrs 3211
3600.02/3609.70 c # consecutive rounds of only bound changes 0
3600.02/3609.70 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: 63708 MiB (50975 MiB free)
memory of node 1: 64465 MiB (55174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4499157-1751404609/watcher-4499157-1751404609 -o /tmp/evaluation-result-4499157-1751404609/solver-4499157-1751404609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55035 --watchdog 3760 mixed-bag HOME/instance-4499157-1751404609.opb
running on 2 cores: 0,2
CPU governors:
performance: 0 2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=56275, runsolver pid=56272
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 4.26 4.16 4.11 5/262 56276
/proc/meminfo: memFree=108673300/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=117404 memory=42576 CPUtime=0.09 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 7423 0 0 0 8 1 0 0 20 0 1 0 56139444 120221696 10644 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 29351 10644 4096 2842 0 11045 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 117404 KiB
Current children cumulated memory: 42576 KiB
[startup+0.205416 s]*
/proc/loadavg: 4.26 4.16 4.11 5/262 56276
/proc/meminfo: memFree=108665236/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=136584 memory=55248 CPUtime=0.19 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 10627 0 0 0 18 1 0 0 20 0 1 0 56139444 139862016 13812 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 34146 13812 4128 2842 0 15840 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 136584 KiB
Current children cumulated memory: 55248 KiB
[startup+0.305262 s]*
/proc/loadavg: 4.26 4.16 4.11 5/262 56276
/proc/meminfo: memFree=108665236/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=137600 memory=56784 CPUtime=0.28 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 10995 0 0 0 27 1 0 0 20 0 1 0 56139444 140902400 14196 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 34400 14196 4128 2842 0 16094 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 137600 KiB
Current children cumulated memory: 56784 KiB
[startup+0.700138 s]
/proc/loadavg: 4.26 4.16 4.11 5/262 56276
/proc/meminfo: memFree=108664984/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=155584 memory=74192 CPUtime=0.68 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 15342 0 0 0 66 2 0 0 20 0 1 0 56139444 159318016 18548 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 38896 18548 4128 2842 0 20590 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 155584 KiB
Current children cumulated memory: 74192 KiB
[startup+1.50013 s]
/proc/loadavg: 4.26 4.16 4.11 5/262 56276
/proc/meminfo: memFree=108664984/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=164656 memory=83024 CPUtime=1.47 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 17548 0 0 0 145 2 0 0 20 0 1 0 56139444 168607744 20756 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 41199 20756 4160 2842 0 22893 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 164656 KiB
Current children cumulated memory: 83024 KiB
[startup+3.10521 s]
/proc/loadavg: 4.24 4.16 4.11 5/262 56276
/proc/meminfo: memFree=108601228/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=200924 memory=118700 CPUtime=3.08 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 27479 0 0 0 304 4 0 0 20 0 1 0 56139444 205746176 29675 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 50231 29675 4288 2842 0 31925 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 200924 KiB
Current children cumulated memory: 118700 KiB
[startup+6.30015 s]
/proc/loadavg: 4.24 4.16 4.11 5/264 56326
/proc/meminfo: memFree=108710168/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=210064 memory=128732 CPUtime=6.26 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 32478 0 0 0 621 5 0 0 20 0 1 0 56139444 215105536 32183 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 52516 32183 4288 2842 0 34210 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 210064 KiB
Current children cumulated memory: 128732 KiB
[startup+12.7001 s]
/proc/loadavg: 4.22 4.15 4.11 5/264 56326
/proc/meminfo: memFree=108642560/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=217976 memory=136660 CPUtime=12.64 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 35420 0 0 0 1259 5 0 0 20 0 1 0 56139444 223207424 34165 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 54494 34165 4288 2842 0 36188 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 217976 KiB
Current children cumulated memory: 136660 KiB
[startup+25.5001 s]
/proc/loadavg: 4.25 4.16 4.11 5/264 56326
/proc/meminfo: memFree=108494384/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=225544 memory=144068 CPUtime=25.41 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 41779 0 0 0 2535 6 0 0 20 0 1 0 56139444 230957056 36017 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 56386 36017 4288 2842 0 38080 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 225544 KiB
Current children cumulated memory: 144068 KiB
[startup+51.1051 s]
/proc/loadavg: 4.25 4.16 4.12 5/264 56326
/proc/meminfo: memFree=108422060/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=246504 memory=164140 CPUtime=50.94 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 50367 0 0 0 5087 7 0 0 20 0 1 0 56139444 252420096 41035 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 61626 41035 4288 2842 0 43320 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 246504 KiB
Current children cumulated memory: 164140 KiB
[startup+102.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/265 56333
/proc/meminfo: memFree=108397504/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=246504 memory=164140 CPUtime=102 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 50380 0 0 0 10192 8 0 0 20 0 1 0 56139444 252420096 41035 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 61626 41035 4288 2842 0 43320 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 246504 KiB
Current children cumulated memory: 164140 KiB
[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.11 5/265 56335
/proc/meminfo: memFree=108325084/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=258348 memory=175796 CPUtime=161.83 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 54469 0 0 0 16174 9 0 0 20 0 1 0 56139444 264548352 43949 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 64587 43949 4288 2842 0 46281 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 258348 KiB
Current children cumulated memory: 175796 KiB
[startup+222.3 s]
/proc/loadavg: 4.09 4.13 4.10 5/265 56337
/proc/meminfo: memFree=108282876/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=274532 memory=193960 CPUtime=221.66 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 59585 0 0 0 22156 10 0 0 20 0 1 0 56139444 281120768 48490 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 68633 48490 4448 2842 0 50327 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 274532 KiB
Current children cumulated memory: 193960 KiB
[startup+282.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/265 56351
/proc/meminfo: memFree=108267804/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=278144 memory=196548 CPUtime=281.48 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 61605 0 0 0 28138 10 0 0 20 0 1 0 56139444 284819456 49137 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 69536 49137 4448 2842 0 51230 0
Current children cumulated CPU time: 281.48 s
Current children cumulated vsize: 278144 KiB
Current children cumulated memory: 196548 KiB
[startup+342.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 56488
/proc/meminfo: memFree=109003228/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=295032 memory=220516 CPUtime=341.31 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 63160 0 0 0 34062 69 0 0 20 0 1 0 56139444 302112768 55129 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 73758 55129 4512 2842 0 55452 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 295032 KiB
Current children cumulated memory: 220516 KiB
[startup+402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/262 56490
/proc/meminfo: memFree=108936244/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=314000 memory=235248 CPUtime=401.12 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 63786 0 0 0 39995 117 0 0 20 0 1 0 56139444 321536000 58812 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 78500 58812 4512 2842 0 60194 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 314000 KiB
Current children cumulated memory: 235248 KiB
[startup+462.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/263 56493
/proc/meminfo: memFree=108903796/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=314000 memory=242976 CPUtime=460.92 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 63839 0 0 0 45927 165 0 0 20 0 1 0 56139444 321536000 60744 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 78500 60744 4512 2842 0 60194 0
Current children cumulated CPU time: 460.92 s
################
# More data... #
################
Current children cumulated memory: 380520 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/263 56633
/proc/meminfo: memFree=108398104/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=513736 memory=382312 CPUtime=2914.44 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 72143 0 0 0 290410 1034 0 0 20 0 1 0 56139444 526065664 95578 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 128434 95578 4512 2842 0 110128 0
Current children cumulated CPU time: 2914.44 s
Current children cumulated vsize: 513736 KiB
Current children cumulated memory: 382312 KiB
[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 56635
/proc/meminfo: memFree=108401988/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=513736 memory=382312 CPUtime=2974.28 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 72156 0 0 0 296382 1046 0 0 20 0 1 0 56139444 526065664 95578 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 128434 95578 4512 2842 0 110128 0
Current children cumulated CPU time: 2974.28 s
Current children cumulated vsize: 513736 KiB
Current children cumulated memory: 382312 KiB
[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/264 56640
/proc/meminfo: memFree=108393172/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=516016 memory=383848 CPUtime=3034.13 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 72550 0 0 0 302357 1056 0 0 20 0 1 0 56139444 528400384 95962 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 129004 95962 4512 2842 0 110698 0
Current children cumulated CPU time: 3034.13 s
Current children cumulated vsize: 516016 KiB
Current children cumulated memory: 383848 KiB
[startup+3102.3 s]
/proc/loadavg: 4.04 4.08 4.08 5/265 56647
/proc/meminfo: memFree=108394208/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=516272 memory=384104 CPUtime=3093.97 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 72615 0 0 0 308321 1076 0 0 20 0 1 0 56139444 528662528 96026 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 129068 96026 4512 2842 0 110762 0
Current children cumulated CPU time: 3093.97 s
Current children cumulated vsize: 516272 KiB
Current children cumulated memory: 384104 KiB
[startup+3162.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/265 56649
/proc/meminfo: memFree=108394808/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=516624 memory=384488 CPUtime=3153.82 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 72703 0 0 0 314289 1093 0 0 20 0 1 0 56139444 529022976 96122 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 129156 96122 4512 2842 0 110850 0
Current children cumulated CPU time: 3153.82 s
Current children cumulated vsize: 516624 KiB
Current children cumulated memory: 384488 KiB
[startup+3222.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/264 56651
/proc/meminfo: memFree=108395408/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=518356 memory=385896 CPUtime=3213.67 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 73040 0 0 0 320254 1113 0 0 20 0 1 0 56139444 530796544 96474 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 129589 96474 4512 2842 0 111283 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 518356 KiB
Current children cumulated memory: 385896 KiB
[startup+3282.3 s]
/proc/loadavg: 4.07 4.08 4.09 5/264 56653
/proc/meminfo: memFree=108375164/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=518356 memory=388712 CPUtime=3273.51 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 73046 0 0 0 326220 1131 0 0 20 0 1 0 56139444 530796544 97178 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 129589 97178 4512 2842 0 111283 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 518356 KiB
Current children cumulated memory: 388712 KiB
[startup+3342.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/264 56656
/proc/meminfo: memFree=108376000/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=519480 memory=389608 CPUtime=3333.36 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 73278 0 0 0 332184 1152 0 0 20 0 1 0 56139444 531947520 97402 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 129870 97402 4512 2842 0 111564 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 519480 KiB
Current children cumulated memory: 389608 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/263 56658
/proc/meminfo: memFree=108376868/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=519480 memory=389736 CPUtime=3393.2 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 73303 0 0 0 338152 1168 0 0 20 0 1 0 56139444 531947520 97434 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 129870 97434 4512 2842 0 111564 0
Current children cumulated CPU time: 3393.2 s
Current children cumulated vsize: 519480 KiB
Current children cumulated memory: 389736 KiB
[startup+3462.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/263 56660
/proc/meminfo: memFree=108369672/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=520540 memory=390504 CPUtime=3453.04 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 73513 0 0 0 344120 1184 0 0 20 0 1 0 56139444 533032960 97626 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 130135 97626 4512 2842 0 111829 0
Current children cumulated CPU time: 3453.04 s
Current children cumulated vsize: 520540 KiB
Current children cumulated memory: 390504 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.08 4.09 5/263 56662
/proc/meminfo: memFree=108366256/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=520992 memory=391016 CPUtime=3512.89 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 73626 0 0 0 350087 1202 0 0 20 0 1 0 56139444 533495808 97754 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 130248 97754 4512 2842 0 111942 0
Current children cumulated CPU time: 3512.89 s
Current children cumulated vsize: 520992 KiB
Current children cumulated memory: 391016 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/264 56665
/proc/meminfo: memFree=108328148/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=528656 memory=395624 CPUtime=3572.73 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 74776 0 0 0 356056 1217 0 0 20 0 1 0 56139444 541343744 98906 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 132164 98906 4512 2842 0 113858 0
Current children cumulated CPU time: 3572.73 s
Current children cumulated vsize: 528656 KiB
Current children cumulated memory: 395624 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.7 s]
/proc/loadavg: 4.00 4.07 4.08 4/258 56696
/proc/meminfo: memFree=108600840/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=535568 memory=400104 CPUtime=3600.02 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 75892 0 0 0 358781 1221 0 0 20 0 1 0 56139444 548421632 100026 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 133892 100026 4512 2842 0 115586 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 535568 KiB
Current children cumulated memory: 400104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.71 s]
# the end of solver process 56275 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3587.82 s, system=12.2225 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.7 s]
/proc/loadavg: 4.00 4.07 4.08 4/258 56696
/proc/meminfo: memFree=108600840/131249988 swapFree=33010416/33010684
[pid=56275] ppid=56272 vsize=535568 memory=400104 CPUtime=3600.02 cores=0,2
/proc/56275/stat : 56275 (mixed-bag) R 56272 56275 55025 0 -1 4194304 75892 0 0 0 358781 1221 0 0 20 0 1 0 56139444 548421632 100026 18446744073709551615 4235264 15874749 140730959679408 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 18096864 18107984 29417472 140730959681948 140730959682025 140730959682025 140730959687627 0
/proc/56275/statm: 133892 100026 4512 2842 0 115586 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 535568 KiB
Current children cumulated memory: 400104 KiB
Child status: 0
Real time (s): 3609.71
CPU time (s): 3600.04
CPU user time (s): 3587.82
CPU system time (s): 12.2225
CPU usage (%): 99.7322
Max. virtual memory (cumulated for all children) (KiB): 535568
Max. memory (cumulated for all children) (KiB): 400104
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.82
system time used= 12.2225
maximum resident set size= 400232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75915
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= 205
involuntary context switches= 7916
# summary of solver processes directly reported to runsolver:
# pid: 56275
# total CPU time (s): 3600.04
# total CPU user time (s): 3587.82
# total CPU system time (s): 12.2225
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.7295 second user time and 16.1402 second system time
The end
Begin job on nodeC031 at 2025-07-01 23:16:49
IDJOB=4499157
IDBENCH=148772
IDSOLVER=3340
FILE ID=nodeC031/4499157-1751404609
RUNJOBID= nodeC031-1751397381-55035
SLURM_JOB_ID= 9598276
Free space on /tmp= 432676 MiB
SOLVER NAME= mixed-bag-2024 2025-05-06
BENCH NAME= PB24/normalized-PB09/OPT-LIN/flexray/normalized-fx63.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4499157-1751404609/watcher-4499157-1751404609 -o /tmp/evaluation-result-4499157-1751404609/solver-4499157-1751404609 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1751397381-55035 --watchdog 3760 mixed-bag HOME/instance-4499157-1751404609.opb
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7c2ff02722ff3a09887b085a032d3a00
RANDOM SEED=115831225
nodeC031 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.889
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.803
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3603.407
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.181
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.945
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3599.900
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.802
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
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 : 3700.000
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags : vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips : 6999.78
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131249988 kB
MemFree: 108697492 kB
MemAvailable: 128653388 kB
Buffers: 2128 kB
Cached: 20642224 kB
SwapCached: 12 kB
Active: 1419224 kB
Inactive: 20236288 kB
Active(anon): 1018744 kB
Inactive(anon): 10472 kB
Active(file): 400480 kB
Inactive(file): 20225816 kB
Unevictable: 3072 kB
Mlocked: 0 kB
SwapTotal: 33010684 kB
SwapFree: 33010416 kB
Zswap: 0 kB
Zswapped: 0 kB
Dirty: 42796 kB
Writeback: 20 kB
AnonPages: 1012440 kB
Mapped: 137616 kB
Shmem: 18052 kB
KReclaimable: 337680 kB
Slab: 428768 kB
SReclaimable: 337680 kB
SUnreclaim: 91088 kB
KernelStack: 4236 kB
PageTables: 5408 kB
SecPageTables: 0 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 98635676 kB
Committed_AS: 1530960 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 150472 kB
VmallocChunk: 0 kB
Percpu: 3808 kB
HardwareCorrupted: 0 kB
AnonHugePages: 475136 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
CmaTotal: 0 kB
CmaFree: 0 kB
Unaccepted: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 191188 kB
DirectMap2M: 9017344 kB
DirectMap1G: 126877696 kB
Free space on /tmp at the end= 432676 MiB
End job on nodeC031 at 2025-07-02 00:16:59